0.00/0.00 c Parsing...
0.00/0.01 c ==============================================================================
0.00/0.01 c | | ORIGINAL | LEARNT | |
0.00/0.01 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.01 c ==============================================================================
0.00/0.01 c | 0 | 13833 41796 | 4149 0 0 nan | 0.000 % |
0.09/0.15 c | 0 | 13536 45268 | -- 0 -- -- | -- | -297/3472
0.09/0.15 c ==============================================================================
0.09/0.15 c Result : #vars: 891 #clauses: 13536 #literals: 45268
0.09/0.15 c CPU time: 0.148977 s
0.09/0.15 c ==============================================================================
0.09/0.17 c This is MiniSat 2.0 beta
0.09/0.17 c WARNING: for repeatability, setting FPU to use double precision
0.09/0.17 c ============================[ Problem Statistics ]=============================
0.09/0.17 c | |
0.09/0.17 c | Number of variables: 891 |
0.09/0.17 c | Number of clauses: 13536 |
0.09/0.18 c | Parsing time: 0.01 s |
0.09/0.18 c ============================[ Search Statistics ]==============================
0.09/0.18 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.09/0.18 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.09/0.18 c ===============================================================================
0.09/0.18 c | 0 | 891 13536 45268 | 4512 0 nan | 0.000 % |
0.09/0.19 c | 101 | 891 13536 45268 | 4512 101 28 | 0.000 % |
0.09/0.19 c | 201 | 891 13536 45268 | 4512 201 26 | 0.000 % |
0.16/0.20 c | 301 | 891 13536 45268 | 4512 301 26 | 0.000 % |
0.16/0.21 c | 411 | 891 13536 45268 | 4512 411 30 | 0.000 % |
0.16/0.22 c | 511 | 891 13536 45268 | 4512 511 31 | 0.000 % |
0.16/0.22 c | 621 | 891 13536 45268 | 4512 621 30 | 0.000 % |
0.16/0.23 c | 742 | 891 13536 45268 | 4512 742 29 | 0.000 % |
0.16/0.24 c | 842 | 891 13536 45268 | 4512 842 29 | 0.000 % |
0.16/0.25 c | 952 | 891 13536 45268 | 4512 952 31 | 0.000 % |
0.16/0.26 c | 1073 | 891 13536 45268 | 4512 1073 31 | 0.000 % |
0.16/0.27 c | 1206 | 891 13536 45268 | 4512 1206 31 | 0.000 % |
0.16/0.28 c | 1307 | 891 13536 45268 | 4512 1307 30 | 0.000 % |
0.16/0.28 c | 1417 | 891 13536 45268 | 4512 1417 30 | 0.000 % |
0.16/0.30 c | 1538 | 891 13536 45268 | 4512 1538 30 | 0.000 % |
0.16/0.31 c | 1673 | 891 13536 45268 | 4512 1673 30 | 0.000 % |
0.16/0.32 c | 1819 | 891 13536 45268 | 4512 1819 30 | 0.000 % |
0.16/0.33 c | 1920 | 891 13536 45268 | 4512 1920 31 | 0.000 % |
0.16/0.34 c | 2032 | 891 13536 45268 | 4512 2032 31 | 0.000 % |
0.16/0.35 c | 2155 | 891 13536 45268 | 4512 2155 31 | 0.000 % |
0.16/0.36 c | 2288 | 891 13536 45268 | 4512 2288 31 | 0.000 % |
0.16/0.37 c | 2436 | 891 13536 45268 | 4512 2436 32 | 0.000 % |
0.16/0.39 c | 2596 | 891 13536 45268 | 4512 2596 31 | 0.000 % |
0.16/0.40 c | 2696 | 891 13536 45268 | 4512 2696 32 | 0.000 % |
0.16/0.41 c | 2809 | 891 13536 45268 | 4512 2809 32 | 0.000 % |
0.16/0.42 c | 2932 | 891 13536 45268 | 4512 2932 32 | 0.000 % |
0.16/0.44 c | 3065 | 891 13536 45268 | 4512 3065 32 | 0.000 % |
0.16/0.45 c | 3213 | 891 13536 45268 | 4512 3213 32 | 0.000 % |
0.16/0.46 c | 3373 | 891 13536 45268 | 4512 3373 32 | 0.000 % |
0.16/0.48 c | 3550 | 891 13536 45268 | 4512 3550 32 | 0.000 % |
0.16/0.49 c | 3650 | 891 13536 45268 | 4512 3650 32 | 0.000 % |
0.16/0.50 c | 3761 | 891 13536 45268 | 4512 3761 32 | 0.000 % |
0.16/0.51 c | 3882 | 891 13536 45268 | 4512 3882 32 | 0.000 % |
0.16/0.52 c | 4016 | 891 13536 45268 | 4512 4016 32 | 0.000 % |
0.16/0.54 c | 4162 | 891 13536 45268 | 4512 4162 32 | 0.000 % |
0.16/0.55 c | 4322 | 891 13536 45268 | 4512 4322 33 | 0.000 % |
0.16/0.57 c | 4498 | 891 13536 45268 | 4512 4498 33 | 0.000 % |
0.16/0.59 c | 4691 | 891 13536 45268 | 4512 4691 33 | 0.000 % |
0.16/0.60 c | 4792 | 891 13536 45268 | 4512 4323 32 | 0.000 % |
0.16/0.61 c | 4902 | 891 13536 45268 | 4512 4433 32 | 0.000 % |
0.16/0.62 c | 5023 | 891 13536 45268 | 4512 4554 32 | 0.000 % |
0.16/0.64 c | 5156 | 891 13536 45268 | 4512 4232 32 | 0.000 % |
0.16/0.66 c | 5302 | 891 13536 45268 | 4512 4378 32 | 0.000 % |
0.16/0.67 c | 5462 | 891 13536 45268 | 4512 4538 32 | 0.000 % |
0.16/0.69 c | 5638 | 891 13536 45268 | 4512 4261 32 | 0.000 % |
0.16/0.71 c | 5832 | 891 13536 45268 | 4512 4455 32 | 0.000 % |
0.16/0.73 c | 6044 | 891 13536 45268 | 4512 4667 32 | 0.000 % |
0.16/0.75 c | 6144 | 891 13536 45268 | 4512 4301 32 | 0.000 % |
0.16/0.76 c | 6255 | 891 13536 45268 | 4512 4412 32 | 0.000 % |
0.16/0.77 c | 6379 | 891 13536 45268 | 4512 4536 32 | 0.000 % |
0.16/0.78 c | 6512 | 891 13536 45268 | 4512 4216 31 | 0.000 % |
0.16/0.80 c | 6659 | 891 13536 45268 | 4512 4363 31 | 0.000 % |
0.16/0.82 c | 6820 | 891 13536 45268 | 4512 4524 32 | 0.000 % |
0.16/0.85 c | 6996 | 891 13536 45268 | 4512 4248 32 | 0.000 % |
0.16/0.87 c | 7189 | 891 13536 45268 | 4512 4441 32 | 0.000 % |
0.16/0.91 c | 7401 | 891 13536 45268 | 4512 4653 33 | 0.000 % |
0.16/0.93 c | 7635 | 891 13536 45268 | 4512 4422 32 | 0.000 % |
0.16/0.95 c | 7736 | 891 13536 45268 | 4512 4523 32 | 0.000 % |
0.16/0.96 c | 7846 | 891 13536 45268 | 4512 4181 32 | 0.000 % |
0.16/0.97 c | 7969 | 891 13536 45268 | 4512 4304 32 | 0.000 % |
0.16/0.99 c | 8103 | 891 13536 45268 | 4512 4438 32 | 0.000 % |
0.98/1.00 c | 8252 | 891 13536 45268 | 4512 4587 32 | 0.000 % |
0.98/1.02 c | 8413 | 891 13536 45268 | 4512 4290 31 | 0.000 % |
0.98/1.03 c | 8589 | 891 13536 45268 | 4512 4466 31 | 0.000 % |
0.98/1.06 c | 8782 | 891 13536 45268 | 4512 4659 32 | 0.000 % |
0.98/1.08 c | 8994 | 891 13536 45268 | 4512 4406 31 | 0.000 % |
1.08/1.11 c | 9227 | 891 13536 45268 | 4512 4639 32 | 0.000 % |
1.08/1.13 c | 9484 | 891 13536 45268 | 4512 4433 32 | 0.000 % |
1.08/1.14 c | 9584 | 891 13536 45268 | 4512 4533 32 | 0.000 % |
1.08/1.15 c | 9695 | 891 13536 45268 | 4512 4191 31 | 0.000 % |
1.08/1.17 c | 9816 | 891 13536 45268 | 4512 4312 31 | 0.000 % |
1.08/1.18 c | 9949 | 891 13536 45268 | 4512 4445 32 | 0.000 % |
1.17/1.20 c | 10095 | 891 13536 45268 | 2147483647 4591 32 | 0.000 % |
1.17/1.22 c | 10256 | 891 13536 45268 | 2147483647 4752 32 | 0.000 % |
1.17/1.24 c | 10434 | 891 13536 45268 | 2147483647 4930 32 | 0.000 % |
1.17/1.26 c | 10627 | 891 13536 45268 | 2147483647 5123 33 | 0.000 % |
1.17/1.28 c | 10840 | 891 13536 45268 | 2147483647 5336 32 | 0.000 % |
1.27/1.31 c | 11073 | 891 13536 45268 | 2147483647 5569 33 | 0.000 % |
1.27/1.33 c | 11329 | 891 13536 45268 | 2147483647 5825 33 | 0.000 % |
1.27/1.36 c | 11610 | 891 13536 45268 | 2147483647 6106 33 | 0.000 % |
1.27/1.37 c | 11710 | 891 13536 45268 | 2147483647 6206 33 | 0.000 % |
1.27/1.38 c | 11820 | 891 13536 45268 | 2147483647 6316 33 | 0.000 % |
1.27/1.40 c | 11942 | 891 13536 45268 | 2147483647 6438 34 | 0.000 % |
1.37/1.41 c | 12075 | 891 13536 45268 | 2147483647 6571 34 | 0.000 % |
1.37/1.43 c | 12223 | 891 13536 45268 | 2147483647 6719 34 | 0.000 % |
1.37/1.45 c | 12383 | 891 13536 45268 | 2147483647 6879 34 | 0.000 % |
1.37/1.46 c | 12559 | 891 13536 45268 | 2147483647 7055 34 | 0.000 % |
1.37/1.48 c | 12752 | 891 13536 45268 | 2147483647 7248 34 | 0.000 % |
1.47/1.50 c | 12965 | 891 13536 45268 | 2147483647 7461 34 | 0.000 % |
1.47/1.53 c | 13199 | 891 13536 45268 | 2147483647 7695 34 | 0.000 % |
1.47/1.56 c | 13455 | 891 13536 45268 | 2147483647 7951 34 | 0.000 % |
1.57/1.60 c | 13737 | 891 13536 45268 | 2147483647 8233 34 | 0.000 % |
1.57/1.63 c | 14046 | 891 13536 45268 | 2147483647 8542 34 | 0.000 % |
1.57/1.65 c | 14146 | 891 13536 45268 | 2147483647 8642 34 | 0.000 % |
1.57/1.66 c | 14256 | 891 13536 45268 | 2147483647 8752 34 | 0.000 % |
1.57/1.67 c | 14379 | 891 13536 45268 | 2147483647 8875 34 | 0.000 % |
1.57/1.69 c | 14512 | 891 13536 45268 | 2147483647 9008 34 | 0.000 % |
1.67/1.70 c | 14658 | 891 13536 45268 | 2147483647 9154 34 | 0.000 % |
1.67/1.72 c | 14820 | 891 13536 45268 | 2147483647 9316 34 | 0.000 % |
1.67/1.74 c | 14998 | 891 13536 45268 | 2147483647 9494 34 | 0.000 % |
1.67/1.76 c | 15192 | 891 13536 45268 | 2147483647 9688 34 | 0.000 % |
1.67/1.78 c | 15404 | 891 13536 45268 | 2147483647 9900 34 | 0.000 % |
1.77/1.81 c | 15638 | 891 13536 45268 | 2147483647 10134 34 | 0.000 % |
1.77/1.84 c | 15895 | 891 13536 45268 | 2147483647 10391 34 | 0.000 % |
1.77/1.87 c | 16176 | 891 13536 45268 | 2147483647 10672 34 | 0.000 % |
1.87/1.92 c | 16486 | 891 13536 45268 | 2147483647 10982 35 | 0.000 % |
1.87/1.98 c | 16827 | 891 13536 45268 | 2147483647 11323 35 | 0.000 % |
1.97/2.00 c | 16928 | 891 13536 45268 | 2147483647 11424 35 | 0.000 % |
1.97/2.02 c | 17039 | 891 13536 45268 | 2147483647 11535 35 | 0.000 % |
1.97/2.03 c | 17160 | 891 13536 45268 | 2147483647 11656 35 | 0.000 % |
1.97/2.05 c | 17294 | 891 13536 45268 | 2147483647 11790 35 | 0.000 % |
1.97/2.07 c | 17442 | 891 13536 45268 | 2147483647 11938 35 | 0.000 % |
1.97/2.09 c | 17602 | 891 13536 45268 | 2147483647 12098 35 | 0.000 % |
2.08/2.11 c | 17778 | 891 13536 45268 | 2147483647 12274 35 | 0.000 % |
2.08/2.14 c | 17971 | 891 13536 45268 | 2147483647 12467 35 | 0.000 % |
2.08/2.16 c | 18183 | 891 13536 45268 | 2147483647 12679 35 | 0.000 % |
2.08/2.20 c | 18418 | 891 13536 45268 | 2147483647 12914 35 | 0.000 % |
2.17/2.23 c | 18675 | 891 13536 45268 | 2147483647 13171 35 | 0.000 % |
2.17/2.27 c | 18956 | 891 13536 45268 | 2147483647 13452 36 | 0.000 % |
2.27/2.32 c | 19265 | 891 13536 45268 | 2147483647 13761 36 | 0.000 % |
2.27/2.39 c | 19605 | 891 13536 45268 | 2147483647 14101 36 | 0.000 % |
2.37/2.44 c | 19978 | 891 13536 45268 | 2147483647 14474 36 | 0.000 % |
2.37/2.45 c | 20078 | 891 13536 45268 | 2147483647 14574 36 | 0.000 % |
2.37/2.46 c | 20188 | 891 13536 45268 | 2147483647 14684 36 | 0.000 % |
2.37/2.48 c | 20309 | 891 13536 45268 | 2147483647 14805 36 | 0.000 % |
2.47/2.50 c | 20443 | 891 13536 45268 | 2147483647 14939 36 | 0.000 % |
2.47/2.52 c | 20589 | 891 13536 45268 | 2147483647 15085 36 | 0.000 % |
2.47/2.55 c | 20749 | 891 13536 45268 | 2147483647 15245 36 | 0.000 % |
2.47/2.59 c | 20927 | 891 13536 45268 | 2147483647 15423 36 | 0.000 % |
2.57/2.62 c | 21122 | 891 13536 45268 | 2147483647 15618 36 | 0.000 % |
2.57/2.67 c | 21334 | 891 13536 45268 | 2147483647 15830 36 | 0.000 % |
2.67/2.71 c | 21567 | 891 13536 45268 | 2147483647 16063 36 | 0.000 % |
2.67/2.74 c | 21823 | 891 13536 45268 | 2147483647 16319 36 | 0.000 % |
2.67/2.79 c | 22104 | 891 13536 45268 | 2147483647 16600 36 | 0.000 % |
2.77/2.85 c | 22415 | 891 13536 45268 | 2147483647 16911 36 | 0.000 % |
2.87/2.91 c | 22754 | 891 13536 45268 | 2147483647 17250 36 | 0.000 % |
2.87/2.99 c | 23128 | 891 13536 45268 | 2147483647 17624 36 | 0.000 % |
2.97/3.08 c | 23538 | 891 13536 45268 | 2147483647 18034 36 | 0.000 % |
3.07/3.10 c | 23640 | 891 13536 45268 | 2147483647 18136 36 | 0.000 % |
3.07/3.12 c | 23752 | 891 13536 45268 | 2147483647 18248 36 | 0.000 % |
3.07/3.14 c | 23875 | 891 13536 45268 | 2147483647 18371 36 | 0.000 % |
3.07/3.17 c | 24008 | 891 13536 45268 | 2147483647 18504 37 | 0.000 % |
3.07/3.19 c | 24154 | 891 13536 45268 | 2147483647 18650 36 | 0.000 % |
3.17/3.21 c | 24314 | 891 13536 45268 | 2147483647 18810 36 | 0.000 % |
3.17/3.25 c | 24491 | 891 13536 45268 | 2147483647 18987 36 | 0.000 % |
3.17/3.28 c | 24687 | 891 13536 45268 | 2147483647 19183 36 | 0.000 % |
3.27/3.32 c | 24900 | 891 13536 45268 | 2147483647 19396 36 | 0.000 % |
3.27/3.37 c | 25133 | 891 13536 45268 | 2147483647 19629 37 | 0.000 % |
3.37/3.41 c | 25389 | 891 13536 45268 | 2147483647 19885 37 | 0.000 % |
3.37/3.47 c | 25670 | 891 13536 45268 | 2147483647 20166 37 | 0.000 % |
3.47/3.53 c | 25979 | 891 13536 45268 | 2147483647 20475 37 | 0.000 % |
3.57/3.61 c | 26318 | 891 13536 45268 | 2147483647 20814 37 | 0.000 % |
3.57/3.68 c | 26690 | 891 13536 45268 | 2147483647 21186 37 | 0.000 % |
3.67/3.78 c | 27099 | 891 13536 45268 | 2147483647 21595 37 | 0.000 % |
3.77/3.89 c | 27548 | 891 13536 45268 | 2147483647 22044 37 | 0.000 % |
3.87/3.92 c | 27650 | 891 13536 45268 | 2147483647 22146 37 | 0.000 % |
3.87/3.94 c | 27761 | 891 13536 45268 | 2147483647 22257 37 | 0.000 % |
3.87/3.96 c | 27883 | 891 13536 45268 | 2147483647 22379 37 | 0.000 % |
3.87/3.99 c | 28017 | 891 13536 45268 | 2147483647 22513 37 | 0.000 % |
3.97/4.03 c | 28164 | 891 13536 45268 | 2147483647 22660 37 | 0.000 % |
3.97/4.05 c | 28327 | 891 13536 45268 | 2147483647 22823 37 | 0.000 % |
4.07/4.10 c | 28504 | 891 13536 45268 | 2147483647 23000 37 | 0.000 % |
4.07/4.13 c | 28699 | 891 13536 45268 | 2147483647 23195 37 | 0.000 % |
4.07/4.17 c | 28911 | 891 13536 45268 | 2147483647 23407 37 | 0.000 % |
4.17/4.22 c | 29144 | 891 13536 45268 | 2147483647 23640 37 | 0.000 % |
4.17/4.27 c | 29400 | 891 13536 45268 | 2147483647 23896 38 | 0.000 % |
4.27/4.32 c | 29681 | 891 13536 45268 | 2147483647 24177 38 | 0.000 % |
4.27/4.39 c | 29991 | 891 13536 45268 | 2147483647 24487 38 | 0.000 % |
4.37/4.48 c | 30330 | 891 13536 45268 | 2147483647 24826 38 | 0.000 % |
4.47/4.57 c | 30702 | 891 13536 45268 | 2147483647 25198 38 | 0.000 % |
4.57/4.66 c | 31112 | 891 13536 45268 | 2147483647 25608 38 | 0.000 % |
4.67/4.75 c | 31561 | 891 13536 45268 | 2147483647 26057 38 | 0.000 % |
4.77/4.85 c | 32054 | 891 13536 45268 | 2147483647 26550 38 | 0.000 % |
4.77/4.87 c | 32154 | 891 13536 45268 | 2147483647 26650 38 | 0.000 % |
4.77/4.88 c | 32264 | 891 13536 45268 | 2147483647 26760 38 | 0.000 % |
4.87/4.91 c | 32385 | 891 13536 45268 | 2147483647 26881 38 | 0.000 % |
4.87/4.94 c | 32519 | 891 13536 45268 | 2147483647 27015 38 | 0.000 % |
4.87/4.97 c | 32665 | 891 13536 45268 | 2147483647 27161 38 | 0.000 % |
4.97/5.01 c | 32826 | 891 13536 45268 | 2147483647 27322 38 | 0.000 % |
4.97/5.05 c | 33003 | 891 13536 45268 | 2147483647 27499 38 | 0.000 % |
4.97/5.09 c | 33197 | 891 13536 45268 | 2147483647 27693 38 | 0.000 % |
5.07/5.16 c | 33409 | 891 13536 45268 | 2147483647 27905 38 | 0.000 % |
5.17/5.22 c | 33642 | 891 13536 45268 | 2147483647 28138 38 | 0.000 % |
5.27/5.31 c | 33899 | 891 13536 45268 | 2147483647 28395 38 | 0.000 % |
5.27/5.37 c | 34183 | 891 13536 45268 | 2147483647 28679 38 | 0.000 % |
5.38/5.47 c | 34494 | 891 13536 45268 | 2147483647 28990 38 | 0.000 % |
5.48/5.57 c | 34833 | 891 13536 45268 | 2147483647 29329 38 | 0.000 % |
5.57/5.67 c | 35207 | 891 13536 45268 | 2147483647 29703 38 | 0.000 % |
5.67/5.79 c | 35616 | 891 13536 45268 | 2147483647 30112 38 | 0.000 % |
5.87/5.91 c | 36065 | 891 13536 45268 | 2147483647 30561 38 | 0.000 % |
5.97/6.06 c | 36559 | 891 13536 45268 | 2147483647 31055 38 | 0.000 % |
6.17/6.23 c | 37101 | 891 13536 45268 | 2147483647 31597 39 | 0.000 % |
6.17/6.25 c | 37201 | 891 13536 45268 | 2147483647 31697 39 | 0.000 % |
6.17/6.28 c | 37311 | 891 13536 45268 | 2147483647 31807 39 | 0.000 % |
6.27/6.31 c | 37432 | 891 13536 45268 | 2147483647 31928 39 | 0.000 % |
6.27/6.34 c | 37567 | 891 13536 45268 | 2147483647 32063 39 | 0.000 % |
6.27/6.37 c | 37713 | 891 13536 45268 | 2147483647 32209 39 | 0.000 % |
6.37/6.41 c | 37873 | 891 13536 45268 | 2147483647 32369 39 | 0.000 % |
6.37/6.47 c | 38049 | 891 13536 45268 | 2147483647 32545 39 | 0.000 % |
6.47/6.54 c | 38245 | 891 13536 45268 | 2147483647 32741 39 | 0.000 % |
6.57/6.63 c | 38458 | 891 13536 45268 | 2147483647 32954 39 | 0.000 % |
6.67/6.70 c | 38692 | 891 13536 45268 | 2147483647 33188 39 | 0.000 % |
6.67/6.80 c | 38950 | 891 13536 45268 | 2147483647 33446 39 | 0.000 % |
6.77/6.88 c | 39231 | 891 13536 45268 | 2147483647 33727 39 | 0.000 % |
6.87/6.98 c | 39540 | 891 13536 45268 | 2147483647 34036 39 | 0.000 % |
7.06/7.11 c | 39879 | 891 13536 45268 | 2147483647 34375 39 | 0.000 % |
7.06/7.20 c | 40251 | 891 13536 45268 | 2147483647 34747 39 | 0.000 % |
7.26/7.36 c | 40660 | 891 13536 45268 | 2147483647 35156 39 | 0.000 % |
7.47/7.50 c | 41110 | 891 13536 45268 | 2147483647 35606 39 | 0.000 % |
7.58/7.64 c | 41604 | 891 13536 45268 | 2147483647 36100 39 | 0.000 % |
7.77/7.80 c | 42147 | 891 13536 45268 | 2147483647 36643 39 | 0.000 % |
7.87/7.99 c | 42745 | 891 13536 45268 | 2147483647 37241 39 | 0.000 % |
7.97/8.03 c | 42845 | 891 13536 45268 | 2147483647 37341 39 | 0.000 % |
7.97/8.06 c | 42955 | 891 13536 45268 | 2147483647 37451 39 | 0.000 % |
8.07/8.10 c | 43078 | 891 13536 45268 | 2147483647 37574 39 | 0.000 % |
8.07/8.16 c | 43212 | 891 13536 45268 | 2147483647 37708 39 | 0.000 % |
8.17/8.22 c | 43358 | 891 13536 45268 | 2147483647 37854 39 | 0.000 % |
8.17/8.27 c | 43519 | 891 13536 45268 | 2147483647 38015 39 | 0.000 % |
8.27/8.35 c | 43697 | 891 13536 45268 | 2147483647 38193 39 | 0.000 % |
8.37/8.44 c | 43891 | 891 13536 45268 | 2147483647 38387 39 | 0.000 % |
8.47/8.52 c | 44106 | 891 13536 45268 | 2147483647 38602 39 | 0.000 % |
8.57/8.60 c | 44340 | 891 13536 45268 | 2147483647 38836 39 | 0.000 % |
8.57/8.68 c | 44596 | 891 13536 45268 | 2147483647 39092 39 | 0.000 % |
8.68/8.80 c | 44877 | 891 13536 45268 | 2147483647 39373 39 | 0.000 % |
8.87/8.92 c | 45186 | 891 13536 45268 | 2147483647 39682 39 | 0.000 % |
8.97/9.04 c | 45525 | 891 13536 45268 | 2147483647 40021 39 | 0.000 % |
9.07/9.18 c | 45901 | 891 13536 45268 | 2147483647 40397 39 | 0.000 % |
9.27/9.31 c | 46312 | 891 13536 45268 | 2147483647 40808 39 | 0.000 % |
9.37/9.46 c | 46762 | 891 13536 45268 | 2147483647 41258 39 | 0.000 % |
9.67/9.73 c | 47255 | 891 13536 45268 | 2147483647 41751 39 | 0.000 % |
9.88/9.99 c | 47797 | 891 13536 45268 | 2147483647 42293 39 | 0.000 % |
10.17/10.23 c | 48393 | 891 13536 45268 | 2147483647 42889 39 | 0.000 % |
10.37/10.48 c | 49048 | 891 13536 45268 | 2147483647 43544 39 | 0.000 % |
10.47/10.52 c | 49150 | 891 13536 45268 | 2147483647 43646 39 | 0.000 % |
10.47/10.56 c | 49262 | 891 13536 45268 | 2147483647 43758 39 | 0.000 % |
10.57/10.60 c | 49385 | 891 13536 45268 | 2147483647 43881 39 | 0.000 % |
10.57/10.66 c | 49518 | 891 13536 45268 | 2147483647 44014 39 | 0.000 % |
10.67/10.72 c | 49665 | 891 13536 45268 | 2147483647 44161 39 | 0.000 % |
10.67/10.79 c | 49826 | 891 13536 45268 | 2147483647 44322 39 | 0.000 % |
10.77/10.88 c | 50003 | 891 13536 45268 | 2147483647 44499 39 | 0.000 % |
10.87/10.97 c | 50196 | 891 13536 45268 | 2147483647 44692 39 | 0.000 % |
10.97/11.07 c | 50409 | 891 13536 45268 | 2147483647 44905 39 | 0.000 % |
11.07/11.16 c | 50643 | 891 13536 45268 | 2147483647 45139 39 | 0.000 % |
11.17/11.27 c | 50900 | 891 13536 45268 | 2147483647 45396 39 | 0.000 % |
11.37/11.45 c | 51181 | 891 13536 45268 | 2147483647 45677 39 | 0.000 % |
11.57/11.65 c | 51490 | 891 13536 45268 | 2147483647 45986 39 | 0.000 % |
11.67/11.77 c | 51830 | 891 13536 45268 | 2147483647 46326 39 | 0.000 % |
11.87/11.93 c | 52205 | 891 13536 45268 | 2147483647 46701 40 | 0.000 % |
11.97/12.08 c | 52616 | 891 13536 45268 | 2147483647 47112 40 | 0.000 % |
12.17/12.23 c | 53065 | 891 13536 45268 | 2147483647 47561 40 | 0.000 % |
12.37/12.41 c | 53560 | 891 13536 45268 | 2147483647 48056 40 | 0.000 % |
12.57/12.64 c | 54103 | 891 13536 45268 | 2147483647 48599 40 | 0.000 % |
12.87/12.97 c | 54700 | 891 13536 45268 | 2147483647 49196 40 | 0.000 % |
13.17/13.24 c | 55356 | 891 13536 45268 | 2147483647 49852 40 | 0.000 % |
13.57/13.60 c | 56077 | 891 13536 45268 | 2147483647 50573 40 | 0.000 % |
13.57/13.65 c | 56177 | 891 13536 45268 | 2147483647 50673 40 | 0.000 % |
13.67/13.72 c | 56289 | 891 13536 45268 | 2147483647 50785 40 | 0.000 % |
13.67/13.78 c | 56410 | 891 13536 45268 | 2147483647 50906 40 | 0.000 % |
13.77/13.85 c | 56545 | 891 13536 45268 | 2147483647 51041 40 | 0.000 % |
13.87/13.91 c | 56691 | 891 13536 45268 | 2147483647 51187 40 | 0.000 % |
13.87/13.97 c | 56852 | 891 13536 45268 | 2147483647 51348 40 | 0.000 % |
13.97/14.06 c | 57028 | 891 13536 45268 | 2147483647 51524 40 | 0.000 % |
14.07/14.15 c | 57222 | 891 13536 45268 | 2147483647 51718 40 | 0.000 % |
14.17/14.26 c | 57434 | 891 13536 45268 | 2147483647 51930 40 | 0.000 % |
14.27/14.35 c | 57667 | 891 13536 45268 | 2147483647 52163 40 | 0.000 % |
14.37/14.47 c | 57926 | 891 13536 45268 | 2147483647 52422 40 | 0.000 % |
14.47/14.59 c | 58207 | 891 13536 45268 | 2147483647 52703 40 | 0.000 % |
14.67/14.75 c | 58517 | 891 13536 45268 | 2147483647 53013 40 | 0.000 % |
14.87/14.92 c | 58856 | 891 13536 45268 | 2147483647 53352 40 | 0.000 % |
15.07/15.10 c | 59229 | 891 13536 45268 | 2147483647 53725 40 | 0.000 % |
15.27/15.34 c | 59640 | 891 13536 45268 | 2147483647 54136 40 | 0.000 % |
15.57/15.60 c | 60089 | 891 13536 45268 | 2147483647 54585 40 | 0.000 % |
15.77/15.84 c | 60582 | 891 13536 45268 | 2147483647 55078 40 | 0.000 % |
16.07/16.16 c | 61124 | 891 13536 45268 | 2147483647 55620 40 | 0.000 % |
16.37/16.50 c | 61720 | 891 13536 45268 | 2147483647 56216 40 | 0.000 % |
16.67/16.73 c | 62377 | 891 13536 45268 | 2147483647 56873 40 | 0.000 % |
17.07/17.20 c | 63097 | 891 13536 45268 | 2147483647 57593 40 | 0.000 % |
17.57/17.62 c | 63890 | 891 13536 45268 | 2147483647 58386 40 | 0.000 % |
17.57/17.67 c | 63990 | 891 13536 45268 | 2147483647 58486 40 | 0.000 % |
17.67/17.72 c | 64100 | 891 13536 45268 | 2147483647 58596 40 | 0.000 % |
17.67/17.77 c | 64221 | 891 13536 45268 | 2147483647 58717 40 | 0.000 % |
17.77/17.82 c | 64354 | 891 13536 45268 | 2147483647 58850 40 | 0.000 % |
17.87/17.92 c | 64502 | 891 13536 45268 | 2147483647 58998 40 | 0.000 % |
17.97/18.04 c | 64663 | 891 13536 45268 | 2147483647 59159 40 | 0.000 % |
18.07/18.12 c | 64839 | 891 13536 45268 | 2147483647 59335 40 | 0.000 % |
18.17/18.22 c | 65032 | 891 13536 45268 | 2147483647 59528 40 | 0.000 % |
18.27/18.33 c | 65245 | 891 13536 45268 | 2147483647 59741 40 | 0.000 % |
18.37/18.44 c | 65478 | 891 13536 45268 | 2147483647 59974 40 | 0.000 % |
18.47/18.54 c | 65735 | 891 13536 45268 | 2147483647 60231 40 | 0.000 % |
18.67/18.72 c | 66017 | 891 13536 45268 | 2147483647 60513 40 | 0.000 % |
18.86/18.91 c | 66327 | 891 13536 45268 | 2147483647 60823 40 | 0.001 % |
18.96/19.06 c | 66667 | 891 13536 45268 | 2147483647 61163 40 | 0.000 % |
19.16/19.25 c | 67039 | 891 13536 45268 | 2147483647 61535 40 | 0.000 % |
19.37/19.49 c | 67449 | 891 13536 45268 | 2147483647 61945 40 | 0.000 % |
19.67/19.73 c | 67898 | 891 13536 45268 | 2147483647 62394 40 | 0.000 % |
19.97/20.06 c | 68392 | 891 13536 45268 | 2147483647 62888 40 | 0.000 % |
20.37/20.40 c | 68936 | 891 13536 45268 | 2147483647 63432 40 | 0.000 % |
20.57/20.69 c | 69533 | 891 13536 45268 | 2147483647 64029 40 | 0.000 % |
21.07/21.12 c | 70189 | 891 13536 45268 | 64498 64685 40 | 0.000 % |
21.47/21.52 c | 70909 | 891 13536 45268 | 64498 57197 40 | 0.000 % |
21.97/22.02 c | 71701 | 891 13536 45268 | 64498 57989 40 | 0.000 % |
22.36/22.46 c | 72572 | 891 13536 45268 | 64498 58860 40 | 0.000 % |
22.46/22.52 c | 72675 | 891 13536 45268 | 64498 58963 40 | 0.000 % |
22.46/22.58 c | 72786 | 891 13536 45268 | 64498 59074 40 | 0.000 % |
22.56/22.63 c | 72909 | 891 13536 45268 | 64498 59197 40 | 0.000 % |
22.66/22.71 c | 73044 | 891 13536 45268 | 64498 59332 40 | 0.000 % |
22.66/22.79 c | 73192 | 891 13536 45268 | 64498 59480 40 | 0.000 % |
22.76/22.88 c | 73353 | 891 13536 45268 | 64498 59641 40 | 0.000 % |
22.86/22.95 c | 73529 | 891 13536 45268 | 64498 59817 40 | 0.000 % |
22.97/23.08 c | 73722 | 891 13536 45268 | 64498 60010 40 | 0.000 % |
23.07/23.17 c | 73934 | 891 13536 45268 | 64498 60222 40 | 0.000 % |
23.26/23.34 c | 74167 | 891 13536 45268 | 64498 60455 40 | 0.000 % |
23.36/23.47 c | 74423 | 891 13536 45268 | 64498 60711 40 | 0.000 % |
23.56/23.65 c | 74704 | 891 13536 45268 | 64498 60992 40 | 0.000 % |
23.76/23.84 c | 75014 | 891 13536 45268 | 64498 61302 40 | 0.000 % |
24.07/24.15 c | 75354 | 891 13536 45268 | 64498 61642 40 | 0.000 % |
24.36/24.47 c | 75726 | 891 13536 45268 | 64498 62014 40 | 0.000 % |
24.76/24.88 c | 76137 | 891 13536 45268 | 64498 62425 41 | 0.000 % |
25.17/25.24 c | 76586 | 891 13536 45268 | 64498 62874 41 | 0.000 % |
25.56/25.67 c | 77079 | 891 13536 45268 | 64498 63367 41 | 0.000 % |
25.96/26.03 c | 77621 | 891 13536 45268 | 64498 63909 41 | 0.000 % |
26.27/26.38 c | 78220 | 891 13536 45268 | 64498 64508 41 | 0.000 % |
26.66/26.71 c | 78875 | 891 13536 45268 | 64498 55684 40 | 0.000 % |
26.96/27.03 c | 79595 | 891 13536 45268 | 64498 56404 40 | 0.000 % |
27.47/27.57 c | 80389 | 891 13536 45268 | 56809 49016 39 | 0.000 % |
27.86/27.92 c | 81261 | 891 13536 45268 | 56809 49888 39 | 0.000 % |
28.26/28.37 c | 82219 | 891 13536 45268 | 56809 50846 39 | 0.000 % |
28.36/28.41 c | 82319 | 891 13536 45268 | 56809 50946 39 | 0.000 % |
28.36/28.46 c | 82430 | 891 13536 45268 | 56809 51057 39 | 0.000 % |
28.47/28.51 c | 82552 | 891 13536 45268 | 56809 51179 39 | 0.000 % |
28.47/28.58 c | 82685 | 891 13536 45268 | 56809 51312 39 | 0.000 % |
28.57/28.64 c | 82831 | 891 13536 45268 | 56809 51458 39 | 0.001 % |
28.66/28.74 c | 82993 | 891 13536 45268 | 56809 51620 39 | 0.000 % |
28.76/28.83 c | 83169 | 891 13536 45268 | 56809 51796 39 | 0.001 % |
28.86/28.91 c | 83362 | 891 13536 45268 | 56809 51989 39 | 0.000 % |
28.96/29.01 c | 83574 | 891 13536 45268 | 56809 52201 39 | 0.000 % |
29.06/29.15 c | 83807 | 891 13536 45268 | 56809 52434 40 | 0.000 % |
29.26/29.33 c | 84063 | 891 13536 45268 | 56809 52690 40 | 0.000 % |
29.36/29.48 c | 84345 | 891 13536 45268 | 56809 52972 40 | 0.000 % |
29.57/29.63 c | 84657 | 891 13536 45268 | 56809 53284 40 | 0.000 % |
29.67/29.76 c | 84996 | 891 13536 45268 | 56809 53623 40 | 0.000 % |
29.86/29.91 c | 85368 | 891 13536 45268 | 56809 53995 40 | 0.000 % |
29.96/30.08 c | 85779 | 891 13536 45268 | 56809 54406 40 | 0.000 % |
30.26/30.34 c | 86228 | 891 13536 45268 | 56809 54855 40 | 0.000 % |
30.46/30.56 c | 86722 | 891 13536 45268 | 56809 55349 40 | 0.000 % |
30.67/30.75 c | 87267 | 891 13536 45268 | 56809 55894 40 | 0.000 % |
30.96/31.02 c | 87863 | 891 13536 45268 | 56809 56490 40 | 0.000 % |
31.26/31.39 c | 88519 | 891 13536 45268 | 56809 50753 39 | 0.000 % |
31.56/31.69 c | 89241 | 891 13536 45268 | 56809 51475 39 | 0.000 % |
32.06/32.16 c | 90033 | 891 13536 45268 | 52234 52267 39 | 0.000 % |
32.46/32.55 c | 90905 | 891 13536 45268 | 52234 47407 39 | 0.000 % |
32.86/32.94 c | 91863 | 891 13536 45268 | 52234 48365 39 | 0.000 % |
33.26/33.33 c | 92916 | 891 13536 45268 | 52234 49418 39 | 0.000 % |
33.26/33.38 c | 93016 | 891 13536 45268 | 52234 49518 39 | 0.000 % |
33.36/33.44 c | 93127 | 891 13536 45268 | 52234 49629 39 | 0.000 % |
33.46/33.51 c | 93249 | 891 13536 45268 | 52234 49751 39 | 0.000 % |
33.56/33.61 c | 93382 | 891 13536 45268 | 52234 49884 39 | 0.000 % |
33.66/33.71 c | 93528 | 891 13536 45268 | 52234 50030 39 | 0.000 % |
33.66/33.79 c | 93688 | 891 13536 45268 | 52234 50190 39 | 0.000 % |
33.86/33.90 c | 93865 | 891 13536 45268 | 52234 50367 39 | 0.000 % |
33.96/34.04 c | 94058 | 891 13536 45268 | 52234 50560 39 | 0.000 % |
34.06/34.19 c | 94270 | 891 13536 45268 | 52234 50772 39 | 0.000 % |
34.26/34.30 c | 94504 | 891 13536 45268 | 52234 51006 39 | 0.000 % |
34.36/34.46 c | 94762 | 891 13536 45268 | 52234 51264 39 | 0.000 % |
34.56/34.60 c | 95044 | 891 13536 45268 | 52234 51546 39 | 0.000 % |
34.76/34.85 c | 95353 | 891 13536 45268 | 52234 51855 39 | 0.000 % |
34.96/35.00 c | 95695 | 891 13536 45268 | 52234 52197 39 | 0.000 % |
35.16/35.21 c | 96068 | 891 13536 45268 | 52234 47322 39 | 0.000 % |
35.26/35.39 c | 96477 | 891 13536 45268 | 52234 47731 39 | 0.000 % |
35.46/35.58 c | 96926 | 891 13536 45268 | 52234 48180 39 | 0.000 % |
35.66/35.78 c | 97419 | 891 13536 45268 | 52234 48673 39 | 0.000 % |
35.96/36.09 c | 97961 | 891 13536 45268 | 52234 49215 39 | 0.000 % |
36.36/36.42 c | 98557 | 891 13536 45268 | 52234 49811 39 | 0.000 % |
36.76/36.84 c | 99212 | 891 13536 45268 | 52234 50466 39 | 0.000 % |
37.16/37.24 c | 99934 | 891 13536 45268 | 52234 51188 39 | 0.000 % |
37.56/37.68 c | 100726 | 891 13536 45268 | 51256 46804 39 | 0.000 % |
37.96/38.07 c | 101598 | 891 13536 45268 | 51256 47676 39 | 0.000 % |
38.36/38.44 c | 102556 | 891 13536 45268 | 51256 48634 39 | 0.000 % |
38.76/38.87 c | 103610 | 891 13536 45268 | 51256 49688 39 | 0.000 % |
39.36/39.43 c | 104770 | 891 13536 45268 | 51256 50848 39 | 0.000 % |
39.36/39.48 c | 104870 | 891 13536 45268 | 51256 50948 39 | 0.000 % |
39.46/39.52 c | 104981 | 891 13536 45268 | 51256 51059 39 | 0.000 % |
39.46/39.58 c | 105105 | 891 13536 45268 | 51256 51183 39 | 0.000 % |
39.56/39.65 c | 105239 | 891 13536 45268 | 51256 51317 39 | 0.000 % |
39.66/39.74 c | 105385 | 891 13536 45268 | 51256 46332 39 | 0.000 % |
39.66/39.80 c | 105545 | 891 13536 45268 | 51256 46492 39 | 0.000 % |
39.76/39.87 c | 105721 | 891 13536 45268 | 51256 46668 39 | 0.000 % |
39.86/39.98 c | 105914 | 891 13536 45268 | 51256 46861 39 | 0.000 % |
39.96/40.08 c | 106127 | 891 13536 45268 | 51256 47074 39 | 0.000 % |
40.06/40.20 c | 106360 | 891 13536 45268 | 51256 47307 39 | 0.000 % |
40.16/40.29 c | 106616 | 891 13536 45268 | 51256 47563 39 | 0.000 % |
40.36/40.40 c | 106897 | 891 13536 45268 | 51256 47844 39 | 0.000 % |
40.46/40.54 c | 107207 | 891 13536 45268 | 51256 48154 39 | 0.000 % |
40.56/40.66 c | 107546 | 891 13536 45268 | 51256 48493 39 | 0.000 % |
40.76/40.84 c | 107921 | 891 13536 45268 | 51256 48868 39 | 0.000 % |
40.96/41.00 c | 108331 | 891 13536 45268 | 51256 49278 39 | 0.000 % |
41.06/41.17 c | 108780 | 891 13536 45268 | 51256 49727 39 | 0.000 % |
41.26/41.34 c | 109273 | 891 13536 45268 | 51256 50220 39 | 0.000 % |
41.56/41.62 c | 109817 | 891 13536 45268 | 51256 50764 39 | 0.000 % |
41.76/41.88 c | 110413 | 891 13536 45268 | 2147483647 51360 39 | 0.000 % |
42.06/42.16 c | 111068 | 891 13536 45268 | 2147483647 52015 39 | 0.000 % |
42.46/42.56 c | 111788 | 891 13536 45268 | 2147483647 52735 39 | 0.000 % |
43.26/43.31 c | 112581 | 891 13536 45268 | 2147483647 53528 40 | 0.000 % |
43.86/43.93 c | 113453 | 891 13536 45268 | 2147483647 54400 40 | 0.000 % |
44.46/44.51 c | 114412 | 891 13536 45268 | 2147483647 55359 40 | 0.000 % |
44.96/45.05 c | 115466 | 891 13536 45268 | 2147483647 56413 40 | 0.000 % |
45.56/45.62 c | 116625 | 891 13536 45268 | 2147483647 57572 40 | 0.000 % |
46.26/46.33 c | 117899 | 891 13536 45268 | 2147483647 58846 40 | 0.000 % |
46.26/46.37 c | 118001 | 891 13536 45268 | 2147483647 58948 40 | 0.000 % |
46.36/46.44 c | 118111 | 891 13536 45268 | 2147483647 59058 40 | 0.000 % |
46.46/46.52 c | 118232 | 891 13536 45268 | 2147483647 59179 40 | 0.000 % |
46.56/46.62 c | 118365 | 891 13536 45268 | 2147483647 59312 40 | 0.000 % |
46.66/46.75 c | 118511 | 891 13536 45268 | 2147483647 59458 40 | 0.000 % |
46.76/46.86 c | 118673 | 891 13536 45268 | 2147483647 59620 40 | 0.001 % |
46.86/46.96 c | 118850 | 891 13536 45268 | 2147483647 59797 40 | 0.000 % |
46.96/47.07 c | 119044 | 891 13536 45268 | 2147483647 59991 40 | 0.000 % |
47.16/47.23 c | 119256 | 891 13536 45268 | 2147483647 60203 40 | 0.000 % |
47.26/47.35 c | 119489 | 891 13536 45268 | 2147483647 60436 40 | 0.000 % |
47.36/47.48 c | 119747 | 891 13536 45268 | 2147483647 60694 40 | 0.000 % |
47.56/47.64 c | 120028 | 891 13536 45268 | 60949 60975 40 | 0.000 % |
47.86/47.90 c | 120339 | 891 13536 45268 | 60949 53428 39 | 0.001 % |
48.06/48.14 c | 120679 | 891 13536 45268 | 60949 53768 39 | 0.000 % |
48.26/48.35 c | 121051 | 891 13536 45268 | 60949 54140 39 | 0.000 % |
48.46/48.55 c | 121460 | 891 13536 45268 | 60949 54549 39 | 0.000 % |
48.66/48.75 c | 121909 | 891 13536 45268 | 60949 54998 39 | 0.000 % |
48.95/49.02 c | 122403 | 891 13536 45268 | 60949 55492 39 | 0.000 % |
49.15/49.29 c | 122945 | 891 13536 45268 | 60949 56034 39 | 0.000 % |
49.55/49.61 c | 123542 | 891 13536 45268 | 60949 56631 39 | 0.000 % |
49.75/49.89 c | 124200 | 891 13536 45268 | 60949 57289 39 | 0.000 % |
50.15/50.20 c | 124922 | 891 13536 45268 | 60949 58011 40 | 0.000 % |
50.56/50.67 c | 125714 | 891 13536 45268 | 60949 58803 40 | 0.000 % |
51.05/51.17 c | 126587 | 891 13536 45268 | 60949 59676 40 | 0.000 % |
51.75/51.82 c | 127546 | 891 13536 45268 | 60949 60635 40 | 0.000 % |
52.46/52.55 c | 128599 | 891 13536 45268 | 60949 54077 39 | 0.000 % |
53.05/53.10 c | 129757 | 891 13536 45268 | 60949 55235 39 | 0.001 % |
53.55/53.68 c | 131030 | 891 13536 45268 | 55479 49362 38 | 0.000 % |
54.35/54.44 c | 132430 | 891 13536 45268 | 55479 50762 38 | 0.000 % |
54.35/54.48 c | 132532 | 891 13536 45268 | 55479 50864 38 | 0.000 % |
54.45/54.53 c | 132642 | 891 13536 45268 | 55479 50974 38 | 0.000 % |
54.55/54.61 c | 132763 | 891 13536 45268 | 55479 51095 38 | 0.000 % |
54.55/54.69 c | 132896 | 891 13536 45268 | 55479 51228 38 | 0.000 % |
54.65/54.76 c | 133042 | 891 13536 45268 | 55479 51374 38 | 0.000 % |
54.75/54.84 c | 133204 | 891 13536 45268 | 55479 51536 38 | 0.000 % |
54.86/54.95 c | 133380 | 891 13536 45268 | 55479 51712 38 | 0.000 % |
55.05/55.10 c | 133574 | 891 13536 45268 | 55479 51906 39 | 0.000 % |
55.15/55.23 c | 133790 | 891 13536 45268 | 55479 52122 39 | 0.000 % |
55.25/55.38 c | 134025 | 891 13536 45268 | 55479 52357 39 | 0.000 % |
55.45/55.54 c | 134282 | 891 13536 45268 | 55479 52614 39 | 0.000 % |
55.55/55.68 c | 134565 | 891 13536 45268 | 55479 52897 39 | 0.000 % |
55.75/55.82 c | 134875 | 891 13536 45268 | 55479 53207 39 | 0.000 % |
55.85/55.97 c | 135216 | 891 13536 45268 | 55479 53548 39 | 0.000 % |
56.06/56.11 c | 135588 | 891 13536 45268 | 55479 53920 39 | 0.000 % |
56.35/56.42 c | 135998 | 891 13536 45268 | 55479 54330 39 | 0.000 % |
56.55/56.66 c | 136447 | 891 13536 45268 | 55479 54779 39 | 0.000 % |
56.75/56.89 c | 136941 | 891 13536 45268 | 55479 55273 39 | 0.000 % |
57.16/57.28 c | 137485 | 891 13536 45268 | 55479 49141 38 | 0.000 % |
57.55/57.61 c | 138081 | 891 13536 45268 | 55479 49737 38 | 0.000 % |
57.85/57.91 c | 138736 | 891 13536 45268 | 55479 50392 38 | 0.000 % |
58.05/58.17 c | 139456 | 891 13536 45268 | 55479 51112 38 | 0.000 % |
58.45/58.59 c | 140248 | 891 13536 45268 | 51657 45954 37 | 0.000 % |
58.95/59.05 c | 141119 | 891 13536 45268 | 51657 46825 37 | 0.000 % |
59.36/59.42 c | 142078 | 891 13536 45268 | 51657 47784 37 | 0.000 % |
59.85/59.92 c | 143131 | 891 13536 45268 | 51657 48837 38 | 0.000 % |
60.46/60.53 c | 144290 | 891 13536 45268 | 51657 49996 38 | 0.000 % |
60.95/61.09 c | 145563 | 891 13536 45268 | 51657 51269 38 | 0.000 % |
61.65/61.79 c | 146965 | 891 13536 45268 | 51657 47483 38 | 0.000 % |
62.35/62.41 c | 148506 | 891 13536 45268 | 51657 49024 38 | 0.000 % |
62.35/62.45 c | 148608 | 891 13536 45268 | 51657 49126 38 | 0.000 % |
62.45/62.51 c | 148718 | 891 13536 45268 | 51657 49236 38 | 0.000 % |
62.45/62.56 c | 148839 | 891 13536 45268 | 51657 49357 38 | 0.000 % |
62.56/62.61 c | 148972 | 891 13536 45268 | 51657 49490 38 | 0.000 % |
62.56/62.68 c | 149118 | 891 13536 45268 | 51657 49636 38 | 0.000 % |
62.66/62.75 c | 149278 | 891 13536 45268 | 51657 49796 38 | 0.000 % |
62.75/62.83 c | 149455 | 891 13536 45268 | 51657 49973 38 | 0.000 % |
62.85/62.94 c | 149648 | 891 13536 45268 | 51657 50166 38 | 0.000 % |
62.95/63.08 c | 149861 | 891 13536 45268 | 51657 50379 38 | 0.000 % |
63.15/63.21 c | 150095 | 891 13536 45268 | 2147483647 50613 38 | 0.000 % |
63.25/63.39 c | 150353 | 891 13536 45268 | 2147483647 50871 38 | 0.000 % |
63.45/63.54 c | 150634 | 891 13536 45268 | 2147483647 51152 38 | 0.000 % |
63.55/63.70 c | 150943 | 891 13536 45268 | 2147483647 51461 38 | 0.000 % |
63.76/63.85 c | 151282 | 891 13536 45268 | 2147483647 51800 38 | 0.000 % |
63.95/64.02 c | 151656 | 891 13536 45268 | 2147483647 52174 38 | 0.000 % |
64.05/64.19 c | 152065 | 891 13536 45268 | 2147483647 52583 38 | 0.000 % |
64.35/64.41 c | 152514 | 891 13536 45268 | 2147483647 53032 38 | 0.000 % |
64.55/64.61 c | 153007 | 891 13536 45268 | 2147483647 53525 39 | 0.000 % |
64.75/64.89 c | 153550 | 891 13536 45268 | 2147483647 54068 39 | 0.000 % |
65.05/65.19 c | 154146 | 891 13536 45268 | 2147483647 54664 39 | 0.000 % |
65.45/65.51 c | 154801 | 891 13536 45268 | 2147483647 55319 39 | 0.000 % |
66.05/66.17 c | 155521 | 891 13536 45268 | 2147483647 56039 39 | 0.000 % |
66.45/66.51 c | 156316 | 891 13536 45268 | 2147483647 56834 39 | 0.000 % |
66.85/67.00 c | 157189 | 891 13536 45268 | 2147483647 57707 39 | 0.000 % |
67.45/67.59 c | 158147 | 891 13536 45268 | 2147483647 58665 39 | 0.000 % |
67.95/68.10 c | 159201 | 891 13536 45268 | 2147483647 59719 39 | 0.000 % |
68.85/68.99 c | 160361 | 891 13536 45268 | 60518 53430 39 | 0.000 % |
69.85/69.98 c | 161635 | 891 13536 45268 | 60518 54704 39 | 0.000 % |
70.85/70.90 c | 163036 | 891 13536 45268 | 60518 56105 39 | 0.000 % |
71.55/71.66 c | 164576 | 891 13536 45268 | 60518 57645 39 | 0.000 % |
72.84/72.98 c | 166272 | 891 13536 45268 | 60518 59341 40 | 0.000 % |
72.94/73.04 c | 166372 | 891 13536 45268 | 60518 59441 40 | 0.000 % |
73.04/73.11 c | 166483 | 891 13536 45268 | 60518 59552 40 | 0.000 % |
73.04/73.15 c | 166604 | 891 13536 45268 | 60518 59673 40 | 0.000 % |
73.14/73.23 c | 166737 | 891 13536 45268 | 60518 59806 40 | 0.000 % |
73.24/73.31 c | 166885 | 891 13536 45268 | 60518 59954 40 | 0.000 % |
73.34/73.44 c | 167047 | 891 13536 45268 | 60518 60116 40 | 0.000 % |
73.44/73.54 c | 167223 | 891 13536 45268 | 60518 60292 40 | 0.000 % |
73.55/73.65 c | 167417 | 891 13536 45268 | 60518 60486 40 | 0.000 % |
73.65/73.76 c | 167631 | 891 13536 45268 | 60518 60700 40 | 0.000 % |
73.84/73.91 c | 167864 | 891 13536 45268 | 60518 52690 39 | 0.000 % |
73.94/74.06 c | 168120 | 891 13536 45268 | 60518 52946 39 | 0.000 % |
74.14/74.22 c | 168401 | 891 13536 45268 | 60518 53227 39 | 0.000 % |
74.24/74.37 c | 168711 | 891 13536 45268 | 60518 53537 39 | 0.000 % |
74.44/74.53 c | 169050 | 891 13536 45268 | 60518 53876 39 | 0.000 % |
74.65/74.76 c | 169424 | 891 13536 45268 | 60518 54250 39 | 0.000 % |
74.84/74.96 c | 169833 | 891 13536 45268 | 60518 54659 39 | 0.000 % |
75.14/75.23 c | 170282 | 891 13536 45268 | 54827 48013 38 | 0.000 % |
75.34/75.45 c | 170775 | 891 13536 45268 | 54827 48506 38 | 0.000 % |
75.54/75.69 c | 171317 | 891 13536 45268 | 54827 49048 38 | 0.000 % |
75.84/75.98 c | 171913 | 891 13536 45268 | 54827 49644 38 | 0.000 % |
76.34/76.49 c | 172568 | 891 13536 45268 | 54827 50299 38 | 0.000 % |
76.94/77.08 c | 173290 | 891 13536 45268 | 54827 51021 39 | 0.000 % |
77.54/77.69 c | 174083 | 891 13536 45268 | 54827 51814 39 | 0.000 % |
78.14/78.23 c | 174955 | 891 13536 45268 | 54827 52686 39 | 0.000 % |
78.54/78.64 c | 175913 | 891 13536 45268 | 54827 53644 39 | 0.000 % |
79.04/79.16 c | 176967 | 891 13536 45268 | 54827 54698 39 | 0.000 % |
79.74/79.81 c | 178125 | 891 13536 45268 | 54827 49698 38 | 0.000 % |
80.24/80.36 c | 179398 | 891 13536 45268 | 54827 50971 38 | 0.000 % |
81.14/81.22 c | 180800 | 891 13536 45268 | 51574 47099 37 | 0.000 % |
81.74/81.82 c | 182340 | 891 13536 45268 | 51574 48639 38 | 0.001 % |
82.84/82.96 c | 184035 | 891 13536 45268 | 51574 50334 38 | 0.000 % |
83.74/83.89 c | 185898 | 891 13536 45268 | 51574 47013 38 | 0.000 % |
83.84/83.95 c | 186001 | 891 13536 45268 | 51574 47116 38 | 0.000 % |
83.94/84.02 c | 186112 | 891 13536 45268 | 51574 47227 38 | 0.000 % |
84.04/84.10 c | 186236 | 891 13536 45268 | 51574 47351 38 | 0.000 % |
84.04/84.19 c | 186370 | 891 13536 45268 | 51574 47485 38 | 0.000 % |
84.14/84.28 c | 186517 | 891 13536 45268 | 51574 47632 38 | 0.000 % |
84.24/84.35 c | 186678 | 891 13536 45268 | 51574 47793 38 | 0.000 % |
84.34/84.42 c | 186855 | 891 13536 45268 | 51574 47970 38 | 0.000 % |
84.44/84.50 c | 187049 | 891 13536 45268 | 51574 48164 38 | 0.000 % |
84.44/84.60 c | 187261 | 891 13536 45268 | 51574 48376 38 | 0.000 % |
84.64/84.71 c | 187494 | 891 13536 45268 | 51574 48609 38 | 0.000 % |
84.74/84.85 c | 187750 | 891 13536 45268 | 51574 48865 38 | 0.000 % |
84.84/84.99 c | 188031 | 891 13536 45268 | 51574 49146 38 | 0.000 % |
85.14/85.20 c | 188340 | 891 13536 45268 | 51574 49455 38 | 0.000 % |
85.24/85.37 c | 188682 | 891 13536 45268 | 51574 49797 38 | 0.000 % |
85.44/85.55 c | 189054 | 891 13536 45268 | 51574 50169 38 | 0.000 % |
85.64/85.74 c | 189465 | 891 13536 45268 | 51574 50580 38 | 0.000 % |
85.83/85.97 c | 189915 | 891 13536 45268 | 51574 51030 38 | 0.000 % |
86.03/86.16 c | 190408 | 891 13536 45268 | 2147483647 51523 38 | 0.000 % |
86.33/86.40 c | 190950 | 891 13536 45268 | 2147483647 52065 39 | 0.000 % |
86.64/86.70 c | 191546 | 891 13536 45268 | 2147483647 52661 39 | 0.000 % |
86.94/87.00 c | 192202 | 891 13536 45268 | 2147483647 53317 39 | 0.000 % |
87.14/87.29 c | 192923 | 891 13536 45268 | 2147483647 54038 39 | 0.000 % |
87.54/87.67 c | 193716 | 891 13536 45268 | 2147483647 54831 39 | 0.000 % |
87.94/88.07 c | 194588 | 891 13536 45268 | 2147483647 55703 39 | 0.000 % |
88.63/88.74 c | 195548 | 891 13536 45268 | 2147483647 56663 39 | 0.000 % |
89.23/89.34 c | 196602 | 891 13536 45268 | 2147483647 57717 39 | 0.000 % |
89.83/89.96 c | 197761 | 891 13536 45268 | 2147483647 58876 39 | 0.000 % |
90.53/90.60 c | 199035 | 891 13536 45268 | 2147483647 60150 40 | 0.000 % |
91.33/91.49 c | 200437 | 891 13536 45268 | 61115 53852 39 | 0.000 % |
92.13/92.26 c | 201977 | 891 13536 45268 | 61115 55392 39 | 0.000 % |
92.93/93.07 c | 203672 | 891 13536 45268 | 61115 57087 39 | 0.000 % |
94.03/94.19 c | 205535 | 891 13536 45268 | 61115 58950 39 | 0.000 % |
95.23/95.37 c | 207585 | 891 13536 45268 | 61115 61000 39 | 0.000 % |
95.33/95.44 c | 207685 | 891 13536 45268 | 61115 61100 39 | 0.000 % |
95.33/95.49 c | 207795 | 891 13536 45268 | 61115 61210 39 | 0.000 % |
95.43/95.59 c | 207916 | 891 13536 45268 | 61115 53123 38 | 0.000 % |
95.54/95.67 c | 208050 | 891 13536 45268 | 61115 53257 38 | 0.000 % |
95.64/95.75 c | 208196 | 891 13536 45268 | 61115 53403 38 | 0.000 % |
95.73/95.80 c | 208356 | 891 13536 45268 | 61115 53563 38 | 0.000 % |
95.83/95.90 c | 208532 | 891 13536 45268 | 61115 53739 38 | 0.000 % |
95.93/96.02 c | 208727 | 891 13536 45268 | 61115 53934 38 | 0.000 % |
96.03/96.12 c | 208940 | 891 13536 45268 | 61115 54147 38 | 0.000 % |
96.13/96.25 c | 209173 | 891 13536 45268 | 61115 54380 38 | 0.000 % |
96.23/96.39 c | 209429 | 891 13536 45268 | 61115 54636 38 | 0.000 % |
96.43/96.56 c | 209710 | 891 13536 45268 | 61115 54917 38 | 0.000 % |
96.63/96.75 c | 210019 | 891 13536 45268 | 55207 55226 38 | 0.000 % |
96.83/96.93 c | 210358 | 891 13536 45268 | 55207 48046 37 | 0.000 % |
97.03/97.13 c | 210730 | 891 13536 45268 | 55207 48418 37 | 0.000 % |
97.23/97.31 c | 211140 | 891 13536 45268 | 55207 48828 37 | 0.000 % |
97.33/97.49 c | 211589 | 891 13536 45268 | 55207 49277 38 | 0.000 % |
97.73/97.80 c | 212082 | 891 13536 45268 | 55207 49770 38 | 0.000 % |
97.93/98.03 c | 212626 | 891 13536 45268 | 55207 50314 38 | 0.000 % |
98.23/98.30 c | 213222 | 891 13536 45268 | 55207 50910 38 | 0.000 % |
98.63/98.73 c | 213877 | 891 13536 45268 | 55207 51565 38 | 0.000 % |
99.03/99.19 c | 214597 | 891 13536 45268 | 55207 52285 38 | 0.000 % |
99.53/99.60 c | 215389 | 891 13536 45268 | 55207 53077 38 | 0.000 % |
99.93/100.04 c | 216262 | 891 13536 45268 | 55207 53950 38 | 0.000 % |
100.33/100.44 c | 217222 | 891 13536 45268 | 55207 54910 38 | 0.000 % |
100.83/100.99 c | 218276 | 891 13536 45268 | 55207 49155 37 | 0.000 % |
101.53/101.64 c | 219434 | 891 13536 45268 | 55207 50313 38 | 0.000 % |
102.03/102.18 c | 220708 | 891 13536 45268 | 50879 46194 37 | 0.000 % |
102.73/102.89 c | 222108 | 891 13536 45268 | 50879 47594 37 | 0.000 % |
103.83/103.90 c | 223649 | 891 13536 45268 | 50879 49135 37 | 0.000 % |
105.13/105.25 c | 225343 | 891 13536 45268 | 50879 50829 38 | 0.000 % |
106.63/106.70 c | 227206 | 891 13536 45268 | 50879 47502 37 | 0.000 % |
108.12/108.20 c | 229257 | 891 13536 45268 | 50879 49553 38 | 0.000 % |
109.42/109.58 c | 231510 | 891 13536 45268 | 50297 46679 37 | 0.000 % |
109.52/109.65 c | 231610 | 891 13536 45268 | 50297 46779 37 | 0.000 % |
109.62/109.71 c | 231720 | 891 13536 45268 | 50297 46889 37 | 0.000 % |
109.62/109.79 c | 231842 | 891 13536 45268 | 50297 47011 37 | 0.001 % |
109.83/109.94 c | 231975 | 891 13536 45268 | 50297 47144 37 | 0.000 % |
109.83/110.00 c | 232121 | 891 13536 45268 | 50297 47290 37 | 0.000 % |
109.93/110.09 c | 232282 | 891 13536 45268 | 50297 47451 37 | 0.000 % |
110.02/110.19 c | 232458 | 891 13536 45268 | 50297 47627 38 | 0.000 % |
110.12/110.30 c | 232653 | 891 13536 45268 | 50297 47822 38 | 0.000 % |
110.22/110.39 c | 232867 | 891 13536 45268 | 50297 48036 38 | 0.000 % |
110.32/110.49 c | 233102 | 891 13536 45268 | 50297 48271 38 | 0.000 % |
110.52/110.62 c | 233360 | 891 13536 45268 | 50297 48529 38 | 0.000 % |
110.62/110.77 c | 233641 | 891 13536 45268 | 50297 48810 38 | 0.000 % |
110.82/110.91 c | 233950 | 891 13536 45268 | 50297 49119 38 | 0.000 % |
110.93/111.09 c | 234289 | 891 13536 45268 | 50297 49458 38 | 0.000 % |
111.23/111.32 c | 234662 | 891 13536 45268 | 50297 49831 38 | 0.000 % |
111.43/111.52 c | 235071 | 891 13536 45268 | 50297 50240 38 | 0.000 % |
111.63/111.76 c | 235523 | 891 13536 45268 | 50297 45457 37 | 0.000 % |
111.83/111.97 c | 236016 | 891 13536 45268 | 50297 45950 37 | 0.000 % |
112.23/112.34 c | 236558 | 891 13536 45268 | 50297 46492 37 | 0.000 % |
112.53/112.65 c | 237155 | 891 13536 45268 | 50297 47089 37 | 0.000 % |
112.93/113.01 c | 237812 | 891 13536 45268 | 50297 47746 37 | 0.000 % |
113.33/113.45 c | 238533 | 891 13536 45268 | 50297 48467 38 | 0.000 % |
113.73/113.89 c | 239325 | 891 13536 45268 | 50297 49259 38 | 0.000 % |
114.33/114.45 c | 240197 | 891 13536 45268 | 49934 44753 37 | 0.000 % |
114.83/114.92 c | 241155 | 891 13536 45268 | 49934 45711 37 | 0.000 % |
115.33/115.46 c | 242209 | 891 13536 45268 | 49934 46765 38 | 0.000 % |
115.93/116.04 c | 243367 | 891 13536 45268 | 49934 47923 38 | 0.000 % |
116.53/116.60 c | 244641 | 891 13536 45268 | 49934 49197 38 | 0.000 % |
117.13/117.26 c | 246041 | 891 13536 45268 | 49934 45584 37 | 0.000 % |
117.93/118.00 c | 247585 | 891 13536 45268 | 49934 47128 37 | 0.000 % |
118.83/118.95 c | 249279 | 891 13536 45268 | 49934 48822 37 | 0.000 % |
119.73/119.83 c | 251143 | 891 13536 45268 | 2147483647 50686 38 | 0.000 % |
121.12/121.21 c | 253192 | 891 13536 45268 | 2147483647 52735 38 | 0.000 % |
122.12/122.28 c | 255445 | 891 13536 45268 | 2147483647 54988 38 | 0.000 % |
123.42/123.54 c | 257923 | 891 13536 45268 | 2147483647 57466 39 | 0.000 % |
123.42/123.59 c | 258024 | 891 13536 45268 | 2147483647 57567 39 | 0.000 % |
123.52/123.65 c | 258134 | 891 13536 45268 | 2147483647 57677 39 | 0.000 % |
123.62/123.74 c | 258256 | 891 13536 45268 | 2147483647 57799 39 | 0.000 % |
123.72/123.83 c | 258389 | 891 13536 45268 | 2147483647 57932 39 | 0.000 % |
123.82/123.92 c | 258535 | 891 13536 45268 | 2147483647 58078 39 | 0.000 % |
123.92/124.05 c | 258695 | 891 13536 45268 | 2147483647 58238 39 | 0.000 % |
124.02/124.20 c | 258872 | 891 13536 45268 | 2147483647 58415 39 | 0.000 % |
124.23/124.35 c | 259065 | 891 13536 45268 | 2147483647 58608 39 | 0.000 % |
124.42/124.51 c | 259279 | 891 13536 45268 | 2147483647 58822 39 | 0.000 % |
124.52/124.69 c | 259514 | 891 13536 45268 | 2147483647 59057 39 | 0.000 % |
124.72/124.84 c | 259771 | 891 13536 45268 | 2147483647 59314 39 | 0.000 % |
124.82/124.98 c | 260052 | 891 13536 45268 | 59543 59595 39 | 0.000 % |
125.12/125.24 c | 260361 | 891 13536 45268 | 59543 52382 38 | 0.000 % |
125.33/125.43 c | 260704 | 891 13536 45268 | 59543 52725 38 | 0.000 % |
125.52/125.61 c | 261076 | 891 13536 45268 | 59543 53097 38 | 0.000 % |
125.72/125.80 c | 261485 | 891 13536 45268 | 59543 53506 38 | 0.000 % |
125.92/126.06 c | 261934 | 891 13536 45268 | 59543 53955 38 | 0.000 % |
126.22/126.32 c | 262427 | 891 13536 45268 | 59543 54448 38 | 0.000 % |
126.52/126.62 c | 262970 | 891 13536 45268 | 59543 54991 38 | 0.000 % |
126.92/127.01 c | 263566 | 891 13536 45268 | 59543 55587 38 | 0.000 % |
127.42/127.54 c | 264225 | 891 13536 45268 | 59543 56246 38 | 0.000 % |
127.92/128.04 c | 264947 | 891 13536 45268 | 59543 56968 38 | 0.000 % |
128.72/128.81 c | 265739 | 891 13536 45268 | 59543 57760 39 | 0.000 % |
129.22/129.36 c | 266612 | 891 13536 45268 | 59543 58633 39 | 0.000 % |
129.72/129.86 c | 267570 | 891 13536 45268 | 59543 59591 39 | 0.000 % |
130.32/130.48 c | 268626 | 891 13536 45268 | 59543 52251 37 | 0.000 % |
131.12/131.24 c | 269784 | 891 13536 45268 | 59543 53409 37 | 0.000 % |
131.62/131.79 c | 271057 | 891 13536 45268 | 53628 47177 36 | 0.000 % |
132.52/132.65 c | 272457 | 891 13536 45268 | 53628 48577 36 | 0.000 % |
133.32/133.42 c | 273997 | 891 13536 45268 | 53628 50117 37 | 0.000 % |
134.12/134.23 c | 275691 | 891 13536 45268 | 53628 51811 37 | 0.000 % |
135.12/135.23 c | 277555 | 891 13536 45268 | 53628 53675 37 | 0.000 % |
136.12/136.20 c | 279604 | 891 13536 45268 | 53628 49218 36 | 0.000 % |
137.22/137.34 c | 281857 | 891 13536 45268 | 49614 45719 36 | 0.000 % |
138.52/138.60 c | 284335 | 891 13536 45268 | 49614 48197 36 | 0.000 % |
140.31/140.42 c | 287061 | 891 13536 45268 | 49614 45876 36 | 0.000 % |
140.31/140.47 c | 287161 | 891 13536 45268 | 49614 45976 36 | 0.000 % |
140.41/140.52 c | 287271 | 891 13536 45268 | 49614 46086 36 | 0.000 % |
140.41/140.58 c | 287393 | 891 13536 45268 | 49614 46208 36 | 0.000 % |
140.51/140.64 c | 287526 | 891 13536 45268 | 49614 46341 36 | 0.000 % |
140.62/140.73 c | 287672 | 891 13536 45268 | 49614 46487 36 | 0.000 % |
140.62/140.80 c | 287832 | 891 13536 45268 | 49614 46647 36 | 0.000 % |
140.81/140.91 c | 288010 | 891 13536 45268 | 49614 46825 36 | 0.000 % |
140.91/141.02 c | 288204 | 891 13536 45268 | 49614 47019 36 | 0.000 % |
141.01/141.16 c | 288416 | 891 13536 45268 | 49614 47231 36 | 0.000 % |
141.11/141.28 c | 288650 | 891 13536 45268 | 49614 47465 36 | 0.000 % |
141.31/141.41 c | 288906 | 891 13536 45268 | 49614 47721 36 | 0.000 % |
141.41/141.55 c | 289188 | 891 13536 45268 | 49614 48003 36 | 0.000 % |
141.51/141.67 c | 289499 | 891 13536 45268 | 49614 48314 36 | 0.000 % |
141.72/141.86 c | 289839 | 891 13536 45268 | 49614 48654 36 | 0.000 % |
141.91/142.01 c | 290211 | 891 13536 45268 | 2147483647 49026 36 | 0.000 % |
142.01/142.19 c | 290622 | 891 13536 45268 | 2147483647 49437 37 | 0.000 % |
142.31/142.49 c | 291071 | 891 13536 45268 | 2147483647 49886 37 | 0.000 % |
142.61/142.79 c | 291565 | 891 13536 45268 | 2147483647 50380 37 | 0.000 % |
143.01/143.11 c | 292107 | 891 13536 45268 | 2147483647 50922 37 | 0.000 % |
143.31/143.43 c | 292703 | 891 13536 45268 | 2147483647 51518 37 | 0.000 % |
143.61/143.75 c | 293358 | 891 13536 45268 | 2147483647 52173 37 | 0.000 % |
143.92/144.08 c | 294078 | 891 13536 45268 | 2147483647 52893 37 | 0.000 % |
144.51/144.66 c | 294871 | 891 13536 45268 | 2147483647 53686 37 | 0.000 % |
145.01/145.20 c | 295743 | 891 13536 45268 | 2147483647 54558 37 | 0.000 % |
145.71/145.85 c | 296701 | 891 13536 45268 | 2147483647 55516 38 | 0.000 % |
146.31/146.48 c | 297758 | 891 13536 45268 | 2147483647 56573 38 | 0.000 % |
146.91/147.03 c | 298917 | 891 13536 45268 | 2147483647 57732 38 | 0.000 % |
147.71/147.82 c | 300190 | 891 13536 45268 | 58816 59005 38 | 0.000 % |
148.41/148.55 c | 301590 | 891 13536 45268 | 58816 53140 37 | 0.000 % |
149.21/149.36 c | 303131 | 891 13536 45268 | 58816 54681 37 | 0.000 % |
150.01/150.15 c | 304825 | 891 13536 45268 | 58816 56375 38 | 0.000 % |
151.11/151.22 c | 306688 | 891 13536 45268 | 58816 58238 38 | 0.000 % |
152.21/152.33 c | 308737 | 891 13536 45268 | 58816 52869 37 | 0.000 % |
154.31/154.47 c | 310991 | 891 13536 45268 | 54134 47769 37 | 0.000 % |
156.61/156.76 c | 313469 | 891 13536 45268 | 54134 50247 38 | 0.000 % |
158.10/158.28 c | 316195 | 891 13536 45268 | 54134 52973 38 | 0.000 % |
160.00/160.19 c | 319194 | 891 13536 45268 | 54134 48098 37 | 0.000 % |
160.10/160.25 c | 319295 | 891 13536 45268 | 54134 48199 37 | 0.000 % |
160.20/160.32 c | 319407 | 891 13536 45268 | 54134 48311 37 | 0.000 % |
160.20/160.37 c | 319529 | 891 13536 45268 | 54134 48433 37 | 0.000 % |
160.30/160.44 c | 319662 | 891 13536 45268 | 54134 48566 37 | 0.000 % |
160.41/160.51 c | 319808 | 891 13536 45268 | 54134 48712 37 | 0.000 % |
160.41/160.58 c | 319970 | 891 13536 45268 | 54134 48874 37 | 0.000 % |
160.51/160.67 c | 320146 | 891 13536 45268 | 48904 49050 37 | 0.000 % |
160.70/160.80 c | 320339 | 891 13536 45268 | 48904 42337 36 | 0.000 % |
160.70/160.89 c | 320552 | 891 13536 45268 | 48904 42550 36 | 0.000 % |
160.80/160.99 c | 320786 | 891 13536 45268 | 48904 42784 36 | 0.000 % |
161.00/161.13 c | 321042 | 891 13536 45268 | 48904 43040 36 | 0.000 % |
161.10/161.29 c | 321324 | 891 13536 45268 | 48904 43322 36 | 0.000 % |
161.30/161.48 c | 321634 | 891 13536 45268 | 48904 43632 36 | 0.000 % |
161.51/161.64 c | 321976 | 891 13536 45268 | 48904 43974 36 | 0.000 % |
161.70/161.81 c | 322348 | 891 13536 45268 | 48904 44346 36 | 0.000 % |
161.80/161.97 c | 322757 | 891 13536 45268 | 48904 44755 36 | 0.000 % |
162.00/162.19 c | 323206 | 891 13536 45268 | 48904 45204 36 | 0.000 % |
162.30/162.40 c | 323699 | 891 13536 45268 | 48904 45697 36 | 0.000 % |
162.50/162.68 c | 324244 | 891 13536 45268 | 48904 46242 37 | 0.000 % |
162.80/162.98 c | 324841 | 891 13536 45268 | 48904 46839 37 | 0.000 % |
163.30/163.43 c | 325496 | 891 13536 45268 | 48904 47494 37 | 0.000 % |
163.71/163.85 c | 326217 | 891 13536 45268 | 48904 48215 37 | 0.000 % |
164.10/164.28 c | 327010 | 891 13536 45268 | 48904 44113 36 | 0.000 % |
164.50/164.65 c | 327881 | 891 13536 45268 | 48904 44984 36 | 0.000 % |
164.91/165.07 c | 328839 | 891 13536 45268 | 48904 45942 36 | 0.000 % |
165.30/165.48 c | 329895 | 891 13536 45268 | 48904 46998 37 | 0.000 % |
165.90/166.06 c | 331054 | 891 13536 45268 | 2147483647 48157 37 | 0.000 % |
166.60/166.77 c | 332328 | 891 13536 45268 | 2147483647 49431 37 | 0.000 % |
167.40/167.52 c | 333729 | 891 13536 45268 | 2147483647 50832 37 | 0.000 % |
168.30/168.50 c | 335270 | 891 13536 45268 | 2147483647 52373 37 | 0.000 % |
169.20/169.34 c | 336964 | 891 13536 45268 | 2147483647 54067 37 | 0.000 % |
170.10/170.28 c | 338827 | 891 13536 45268 | 2147483647 55930 38 | 0.000 % |
171.40/171.55 c | 340877 | 891 13536 45268 | 57103 50892 37 | 0.000 % |
172.80/172.90 c | 343130 | 891 13536 45268 | 57103 53145 37 | 0.000 % |
174.50/174.67 c | 345609 | 891 13536 45268 | 57103 55624 38 | 0.000 % |
176.00/176.10 c | 348334 | 891 13536 45268 | 57103 50676 36 | 0.000 % |
177.40/177.59 c | 351332 | 891 13536 45268 | 52342 46647 35 | 0.000 % |
178.70/178.89 c | 354629 | 891 13536 45268 | 52342 49944 36 | 0.000 % |
178.80/178.95 c | 354729 | 891 13536 45268 | 52342 50044 36 | 0.000 % |
178.90/179.02 c | 354839 | 891 13536 45268 | 52342 50154 36 | 0.000 % |
178.90/179.07 c | 354960 | 891 13536 45268 | 52342 50275 36 | 0.001 % |
178.99/179.17 c | 355093 | 891 13536 45268 | 52342 50408 36 | 0.000 % |
179.10/179.21 c | 355240 | 891 13536 45268 | 52342 50555 36 | 0.000 % |
179.10/179.29 c | 355400 | 891 13536 45268 | 52342 50715 36 | 0.000 % |
179.20/179.35 c | 355576 | 891 13536 45268 | 52342 50891 36 | 0.000 % |
179.29/179.43 c | 355769 | 891 13536 45268 | 52342 51084 36 | 0.000 % |
179.39/179.50 c | 355983 | 891 13536 45268 | 52342 51298 36 | 0.000 % |
179.49/179.62 c | 356216 | 891 13536 45268 | 52342 51531 36 | 0.000 % |
179.59/179.72 c | 356473 | 891 13536 45268 | 52342 51788 36 | 0.000 % |
179.69/179.86 c | 356758 | 891 13536 45268 | 52342 52073 36 | 0.000 % |
179.89/180.05 c | 357068 | 891 13536 45268 | 52342 52383 36 | 0.000 % |
180.10/180.23 c | 357407 | 891 13536 45268 | 52342 47032 36 | 0.000 % |
180.31/180.41 c | 357780 | 891 13536 45268 | 52342 47405 36 | 0.000 % |
180.40/180.59 c | 358190 | 891 13536 45268 | 52342 47815 36 | 0.000 % |
180.70/180.86 c | 358639 | 891 13536 45268 | 52342 48264 36 | 0.000 % |
180.90/181.05 c | 359132 | 891 13536 45268 | 52342 48757 36 | 0.000 % |
181.10/181.28 c | 359674 | 891 13536 45268 | 52342 49299 36 | 0.000 % |
181.41/181.58 c | 360271 | 891 13536 45268 | 49625 44634 35 | 0.000 % |
181.70/181.84 c | 360927 | 891 13536 45268 | 49625 45290 36 | 0.000 % |
182.00/182.14 c | 361647 | 891 13536 45268 | 49625 46010 36 | 0.000 % |
182.30/182.45 c | 362439 | 891 13536 45268 | 49625 46802 36 | 0.000 % |
182.70/182.89 c | 363312 | 891 13536 45268 | 49625 47675 36 | 0.000 % |
183.20/183.32 c | 364270 | 891 13536 45268 | 49625 48633 36 | 0.000 % |
183.70/183.87 c | 365324 | 891 13536 45268 | 49625 49687 36 | 0.000 % |
184.40/184.59 c | 366482 | 891 13536 45268 | 49625 45877 36 | 0.000 % |
185.10/185.26 c | 367755 | 891 13536 45268 | 49625 47150 36 | 0.000 % |
185.90/186.01 c | 369155 | 891 13536 45268 | 49625 48550 36 | 0.000 % |
186.50/186.62 c | 370696 | 891 13536 45268 | 2147483647 50091 37 | 0.000 % |
187.50/187.61 c | 372391 | 891 13536 45268 | 2147483647 51786 37 | 0.000 % |
188.30/188.46 c | 374255 | 891 13536 45268 | 2147483647 53650 37 | 0.000 % |
189.20/189.39 c | 376304 | 891 13536 45268 | 2147483647 55699 37 | 0.000 % |
190.50/190.67 c | 378558 | 891 13536 45268 | 2147483647 57953 38 | 0.000 % |
191.80/192.00 c | 381036 | 891 13536 45268 | 2147483647 60431 38 | 0.001 % |
193.80/193.90 c | 383761 | 891 13536 45268 | 2147483647 63156 38 | 0.000 % |
196.20/196.31 c | 386758 | 891 13536 45268 | 2147483647 66153 38 | 0.000 % |
198.30/198.48 c | 390054 | 891 13536 45268 | 69396 69449 39 | 0.001 % |
200.30/200.49 c | 393679 | 891 13536 45268 | 69396 61798 38 | 0.000 % |
200.40/200.55 c | 393781 | 891 13536 45268 | 69396 61900 38 | 0.000 % |
200.50/200.61 c | 393892 | 891 13536 45268 | 69396 62011 38 | 0.000 % |
200.50/200.66 c | 394013 | 891 13536 45268 | 69396 62132 38 | 0.000 % |
200.60/200.76 c | 394146 | 891 13536 45268 | 69396 62265 38 | 0.000 % |
200.70/200.84 c | 394295 | 891 13536 45268 | 69396 62414 38 | 0.000 % |
200.80/200.97 c | 394455 | 891 13536 45268 | 69396 62574 38 | 0.000 % |
201.00/201.11 c | 394632 | 891 13536 45268 | 69396 62751 38 | 0.000 % |
201.10/201.22 c | 394827 | 891 13536 45268 | 69396 62946 38 | 0.000 % |
201.20/201.37 c | 395041 | 891 13536 45268 | 69396 63160 38 | 0.000 % |
201.40/201.55 c | 395275 | 891 13536 45268 | 69396 63394 38 | 0.000 % |
201.50/201.69 c | 395533 | 891 13536 45268 | 69396 63652 38 | 0.000 % |
201.69/201.87 c | 395815 | 891 13536 45268 | 69396 63934 38 | 0.000 % |
201.89/202.03 c | 396126 | 891 13536 45268 | 69396 64245 38 | 0.000 % |
202.09/202.25 c | 396466 | 891 13536 45268 | 69396 64585 38 | 0.000 % |
202.30/202.45 c | 396841 | 891 13536 45268 | 69396 64960 38 | 0.000 % |
202.59/202.70 c | 397251 | 891 13536 45268 | 69396 65370 38 | 0.000 % |
202.89/203.05 c | 397701 | 891 13536 45268 | 69396 65820 38 | 0.000 % |
203.19/203.36 c | 398194 | 891 13536 45268 | 69396 66313 38 | 0.000 % |
203.59/203.74 c | 398736 | 891 13536 45268 | 69396 66855 38 | 0.000 % |
203.89/204.06 c | 399334 | 891 13536 45268 | 69396 67453 38 | 0.000 % |
204.29/204.46 c | 399989 | 891 13536 45268 | 69396 68108 39 | 0.001 % |
204.79/204.94 c | 400710 | 891 13536 45268 | 68120 57060 37 | 0.000 % |
205.19/205.33 c | 401504 | 891 13536 45268 | 68120 57854 37 | 0.000 % |
205.69/205.88 c | 402375 | 891 13536 45268 | 68120 58725 37 | 0.000 % |
206.49/206.64 c | 403336 | 891 13536 45268 | 68120 59686 37 | 0.000 % |
207.19/207.33 c | 404389 | 891 13536 45268 | 68120 60739 37 | 0.000 % |
207.99/208.17 c | 405548 | 891 13536 45268 | 68120 61898 37 | 0.000 % |
208.80/208.98 c | 406821 | 891 13536 45268 | 68120 63171 38 | 0.000 % |
209.49/209.69 c | 408221 | 891 13536 45268 | 68120 64571 38 | 0.000 % |
210.49/210.63 c | 409762 | 891 13536 45268 | 68120 66112 38 | 0.000 % |
211.49/211.65 c | 411456 | 891 13536 45268 | 66351 56948 37 | 0.000 % |
212.89/213.03 c | 413321 | 891 13536 45268 | 66351 58813 37 | 0.000 % |
214.29/214.46 c | 415372 | 891 13536 45268 | 66351 60864 38 | 0.000 % |
216.29/216.42 c | 417626 | 891 13536 45268 | 66351 63118 38 | 0.000 % |
218.19/218.34 c | 420104 | 891 13536 45268 | 65494 65596 38 | 0.000 % |
219.89/220.04 c | 422831 | 891 13536 45268 | 65494 58496 37 | 0.000 % |
221.69/221.87 c | 425828 | 891 13536 45268 | 65494 61493 38 | 0.000 % |
224.29/224.47 c | 429124 | 891 13536 45268 | 65494 64789 38 | 0.001 % |
227.19/227.32 c | 432751 | 891 13536 45268 | 65665 57589 37 | 0.000 % |
229.99/230.19 c | 436738 | 891 13536 45268 | 65665 61576 38 | 0.000 % |
230.09/230.25 c | 436838 | 891 13536 45268 | 65665 61676 38 | 0.001 % |
230.19/230.33 c | 436950 | 891 13536 45268 | 65665 61788 38 | 0.000 % |
230.29/230.40 c | 437072 | 891 13536 45268 | 65665 61910 38 | 0.000 % |
230.39/230.50 c | 437206 | 891 13536 45268 | 65665 62044 38 | 0.000 % |
230.39/230.60 c | 437353 | 891 13536 45268 | 65665 62191 38 | 0.000 % |
230.58/230.74 c | 437514 | 891 13536 45268 | 65665 62352 38 | 0.000 % |
230.68/230.88 c | 437691 | 891 13536 45268 | 65665 62529 38 | 0.000 % |
230.89/231.04 c | 437885 | 891 13536 45268 | 65665 62723 38 | 0.000 % |
230.98/231.17 c | 438099 | 891 13536 45268 | 65665 62937 38 | 0.000 % |
231.08/231.27 c | 438336 | 891 13536 45268 | 65665 63174 38 | 0.000 % |
231.28/231.42 c | 438593 | 891 13536 45268 | 65665 63431 38 | 0.000 % |
231.48/231.63 c | 438875 | 891 13536 45268 | 65665 63713 38 | 0.000 % |
231.68/231.81 c | 439184 | 891 13536 45268 | 65665 64022 38 | 0.000 % |
231.89/232.06 c | 439523 | 891 13536 45268 | 65665 64361 38 | 0.000 % |
232.18/232.31 c | 439895 | 891 13536 45268 | 65665 64733 38 | 0.000 % |
232.48/232.64 c | 440304 | 891 13536 45268 | 64838 53162 37 | 0.000 % |
232.68/232.85 c | 440754 | 891 13536 45268 | 64838 53612 37 | 0.000 % |
232.99/233.13 c | 441247 | 891 13536 45268 | 64838 54105 37 | 0.000 % |
233.28/233.41 c | 441791 | 891 13536 45268 | 64838 54649 37 | 0.000 % |
233.58/233.73 c | 442388 | 891 13536 45268 | 64838 55246 37 | 0.000 % |
233.88/234.07 c | 443044 | 891 13536 45268 | 64838 55902 37 | 0.000 % |
234.38/234.56 c | 443766 | 891 13536 45268 | 64838 56624 37 | 0.000 % |
234.88/235.04 c | 444558 | 891 13536 45268 | 64838 57416 37 | 0.000 % |
235.38/235.50 c | 445430 | 891 13536 45268 | 64838 58288 37 | 0.000 % |
235.88/236.05 c | 446389 | 891 13536 45268 | 64838 59247 38 | 0.000 % |
236.58/236.71 c | 447442 | 891 13536 45268 | 64838 60300 38 | 0.000 % |
237.28/237.46 c | 448601 | 891 13536 45268 | 64838 61459 38 | 0.000 % |
238.08/238.27 c | 449874 | 891 13536 45268 | 64838 62732 38 | 0.000 % |
238.98/239.17 c | 451275 | 891 13536 45268 | 62858 54392 37 | 0.000 % |
239.98/240.11 c | 452818 | 891 13536 45268 | 62858 55935 37 | 0.000 % |
241.18/241.30 c | 454512 | 891 13536 45268 | 62858 57629 37 | 0.000 % |
242.18/242.38 c | 456375 | 891 13536 45268 | 62858 59492 38 | 0.000 % |
243.38/243.54 c | 458424 | 891 13536 45268 | 62858 61541 38 | 0.000 % |
244.88/245.09 c | 460677 | 891 13536 45268 | 54122 47113 35 | 0.000 % |
246.18/246.38 c | 463157 | 891 13536 45268 | 54122 49593 35 | 0.000 % |
247.68/247.80 c | 465883 | 891 13536 45268 | 54122 52319 35 | 0.000 % |
249.78/249.92 c | 468880 | 891 13536 45268 | 54122 48214 35 | 0.000 % |
251.68/251.88 c | 472177 | 891 13536 45268 | 49334 45122 34 | 0.001 % |
253.98/254.14 c | 475802 | 891 13536 45268 | 49334 48747 35 | 0.000 % |
256.18/256.36 c | 479789 | 891 13536 45268 | 49334 46607 35 | 0.000 % |
258.97/259.10 c | 484176 | 891 13536 45268 | 46819 45513 36 | 0.000 % |
258.97/259.15 c | 484277 | 891 13536 45268 | 46819 45614 36 | 0.000 % |
259.07/259.20 c | 484389 | 891 13536 45268 | 46819 45726 36 | 0.000 % |
259.07/259.26 c | 484510 | 891 13536 45268 | 46819 45847 36 | 0.000 % |
259.17/259.33 c | 484646 | 891 13536 45268 | 46819 45983 36 | 0.000 % |
259.27/259.40 c | 484793 | 891 13536 45268 | 46819 46130 36 | 0.000 % |
259.27/259.47 c | 484956 | 891 13536 45268 | 46819 46293 36 | 0.000 % |
259.38/259.58 c | 485132 | 891 13536 45268 | 46819 46469 36 | 0.000 % |
259.48/259.66 c | 485327 | 891 13536 45268 | 46819 46664 36 | 0.000 % |
259.57/259.78 c | 485540 | 891 13536 45268 | 46819 46877 36 | 0.000 % |
259.77/259.94 c | 485773 | 891 13536 45268 | 46819 42131 35 | 0.000 % |
259.87/260.03 c | 486030 | 891 13536 45268 | 46819 42388 35 | 0.000 % |
260.07/260.21 c | 486313 | 891 13536 45268 | 46819 42671 35 | 0.000 % |
260.17/260.38 c | 486622 | 891 13536 45268 | 46819 42980 36 | 0.000 % |
260.37/260.56 c | 486961 | 891 13536 45268 | 46819 43319 36 | 0.000 % |
260.58/260.79 c | 487336 | 891 13536 45268 | 46819 43694 36 | 0.000 % |
260.87/261.08 c | 487745 | 891 13536 45268 | 46819 44103 36 | 0.000 % |
261.17/261.38 c | 488194 | 891 13536 45268 | 46819 44552 36 | 0.000 % |
261.37/261.56 c | 488687 | 891 13536 45268 | 46819 45045 36 | 0.000 % |
261.68/261.81 c | 489229 | 891 13536 45268 | 46819 45587 36 | 0.000 % |
261.87/262.06 c | 489826 | 891 13536 45268 | 46819 46184 36 | 0.000 % |
262.17/262.35 c | 490482 | 891 13536 45268 | 2147483647 46840 36 | 0.000 % |
262.57/262.74 c | 491202 | 891 13536 45268 | 2147483647 47560 36 | 0.000 % |
262.97/263.17 c | 491994 | 891 13536 45268 | 2147483647 48352 36 | 0.000 % |
263.47/263.65 c | 492865 | 891 13536 45268 | 2147483647 49223 37 | 0.000 % |
263.97/264.14 c | 493823 | 891 13536 45268 | 2147483647 50181 37 | 0.000 % |
264.57/264.71 c | 494876 | 891 13536 45268 | 2147483647 51234 37 | 0.000 % |
265.37/265.50 c | 496038 | 891 13536 45268 | 2147483647 52396 37 | 0.000 % |
266.17/266.37 c | 497313 | 891 13536 45268 | 2147483647 53671 38 | 0.000 % |
267.17/267.33 c | 498713 | 891 13536 45268 | 2147483647 55071 38 | 0.000 % |
268.17/268.33 c | 500253 | 891 13536 45268 | 56358 49512 37 | 0.000 % |
269.17/269.37 c | 501947 | 891 13536 45268 | 56358 51206 38 | 0.001 % |
270.27/270.43 c | 503811 | 891 13536 45268 | 56358 53070 38 | 0.000 % |
271.47/271.65 c | 505861 | 891 13536 45268 | 56358 55120 38 | 0.000 % |
272.77/272.94 c | 508116 | 891 13536 45268 | 56358 50490 38 | 0.000 % |
274.27/274.43 c | 510595 | 891 13536 45268 | 52374 46960 38 | 0.000 % |
275.57/275.70 c | 513320 | 891 13536 45268 | 52374 49685 38 | 0.000 % |
277.86/278.07 c | 516318 | 891 13536 45268 | 52374 46629 38 | 0.000 % |
279.86/280.08 c | 519614 | 891 13536 45268 | 52374 49925 38 | 0.000 % |
281.96/282.19 c | 523240 | 891 13536 45268 | 50311 47965 38 | 0.000 % |
284.46/284.61 c | 527227 | 891 13536 45268 | 50311 46602 37 | 0.000 % |
287.56/287.76 c | 531614 | 891 13536 45268 | 49375 45863 37 | 0.000 % |
290.96/291.19 c | 536437 | 891 13536 45268 | 49375 45494 36 | 0.000 % |
291.06/291.26 c | 536538 | 891 13536 45268 | 49375 45595 36 | 0.000 % |
291.16/291.33 c | 536649 | 891 13536 45268 | 49375 45706 36 | 0.000 % |
291.16/291.39 c | 536770 | 891 13536 45268 | 49375 45827 36 | 0.000 % |
291.26/291.46 c | 536903 | 891 13536 45268 | 49375 45960 36 | 0.000 % |
291.36/291.52 c | 537049 | 891 13536 45268 | 49375 46106 36 | 0.000 % |
291.46/291.61 c | 537210 | 891 13536 45268 | 49375 46267 36 | 0.000 % |
291.46/291.68 c | 537388 | 891 13536 45268 | 49375 46445 36 | 0.000 % |
291.56/291.78 c | 537581 | 891 13536 45268 | 49375 46638 36 | 0.000 % |
291.66/291.87 c | 537793 | 891 13536 45268 | 49375 46850 36 | 0.000 % |
291.76/291.97 c | 538026 | 891 13536 45268 | 49375 47083 36 | 0.000 % |
291.96/292.11 c | 538282 | 891 13536 45268 | 49375 47339 36 | 0.000 % |
292.06/292.21 c | 538563 | 891 13536 45268 | 49375 47620 37 | 0.000 % |
292.16/292.35 c | 538872 | 891 13536 45268 | 49375 47929 37 | 0.000 % |
292.26/292.50 c | 539212 | 891 13536 45268 | 49375 48269 37 | 0.000 % |
292.46/292.69 c | 539584 | 891 13536 45268 | 49375 48641 37 | 0.000 % |
292.76/292.94 c | 539993 | 891 13536 45268 | 49375 49050 37 | 0.000 % |
293.06/293.26 c | 540442 | 891 13536 45268 | 49057 44132 36 | 0.000 % |
293.26/293.49 c | 540935 | 891 13536 45268 | 49057 44625 36 | 0.000 % |
293.66/293.81 c | 541478 | 891 13536 45268 | 49057 45168 36 | 0.000 % |
293.96/294.12 c | 542077 | 891 13536 45268 | 49057 45767 36 | 0.001 % |
294.16/294.38 c | 542732 | 891 13536 45268 | 49057 46422 36 | 0.000 % |
294.56/294.75 c | 543452 | 891 13536 45268 | 49057 47142 36 | 0.000 % |
295.06/295.21 c | 544244 | 891 13536 45268 | 49057 47934 36 | 0.000 % |
295.56/295.77 c | 545117 | 891 13536 45268 | 49057 48807 37 | 0.000 % |
296.16/296.33 c | 546076 | 891 13536 45268 | 49057 44839 35 | 0.000 % |
296.76/296.98 c | 547130 | 891 13536 45268 | 49057 45893 36 | 0.000 % |
297.45/297.63 c | 548290 | 891 13536 45268 | 49057 47053 36 | 0.000 % |
298.05/298.29 c | 549565 | 891 13536 45268 | 49057 48328 36 | 0.000 % |
298.65/298.84 c | 550965 | 891 13536 45268 | 2147483647 49728 36 | 0.000 % |
299.35/299.51 c | 552505 | 891 13536 45268 | 2147483647 51268 36 | 0.000 % |
300.16/300.39 c | 554199 | 891 13536 45268 | 2147483647 52962 37 | 0.000 % |
301.35/301.53 c | 556063 | 891 13536 45268 | 2147483647 54826 37 | 0.000 % |
302.65/302.82 c | 558112 | 891 13536 45268 | 2147483647 56875 37 | 0.000 % |
304.05/304.23 c | 560365 | 891 13536 45268 | 2147483647 59128 37 | 0.000 % |
305.85/306.09 c | 562843 | 891 13536 45268 | 2147483647 61606 37 | 0.000 % |
307.55/307.78 c | 565568 | 891 13536 45268 | 2147483647 64331 37 | 0.000 % |
309.75/309.99 c | 568566 | 891 13536 45268 | 2147483647 67329 38 | 0.000 % |
312.05/312.22 c | 571863 | 891 13536 45268 | 68765 58956 36 | 0.000 % |
314.35/314.56 c | 575488 | 891 13536 45268 | 68765 62581 37 | 0.000 % |
317.05/317.23 c | 579475 | 891 13536 45268 | 68765 66568 37 | 0.000 % |
319.85/320.04 c | 583861 | 891 13536 45268 | 67093 59264 37 | 0.000 % |
322.84/323.09 c | 588684 | 891 13536 45268 | 67093 64087 38 | 0.000 % |
326.74/326.92 c | 593989 | 891 13536 45268 | 65403 58036 38 | 0.001 % |
326.74/326.98 c | 594089 | 891 13536 45268 | 65403 58136 38 | 0.000 % |
326.84/327.05 c | 594199 | 891 13536 45268 | 65403 58246 38 | 0.000 % |
326.94/327.11 c | 594320 | 891 13536 45268 | 65403 58367 38 | 0.000 % |
326.94/327.19 c | 594453 | 891 13536 45268 | 65403 58500 38 | 0.000 % |
327.14/327.31 c | 594599 | 891 13536 45268 | 65403 58646 38 | 0.000 % |
327.24/327.40 c | 594761 | 891 13536 45268 | 65403 58808 38 | 0.000 % |
327.34/327.52 c | 594940 | 891 13536 45268 | 65403 58987 38 | 0.000 % |
327.44/327.66 c | 595133 | 891 13536 45268 | 65403 59180 38 | 0.000 % |
327.65/327.82 c | 595346 | 891 13536 45268 | 65403 59393 38 | 0.000 % |
327.74/327.99 c | 595579 | 891 13536 45268 | 65403 59626 38 | 0.000 % |
328.04/328.20 c | 595836 | 891 13536 45268 | 65403 59883 38 | 0.000 % |
328.24/328.47 c | 596119 | 891 13536 45268 | 65403 60166 38 | 0.000 % |
328.44/328.63 c | 596428 | 891 13536 45268 | 65403 60475 38 | 0.000 % |
328.65/328.80 c | 596768 | 891 13536 45268 | 65403 60815 38 | 0.000 % |
328.84/329.02 c | 597140 | 891 13536 45268 | 65403 61187 38 | 0.000 % |
329.14/329.33 c | 597550 | 891 13536 45268 | 65403 61597 38 | 0.000 % |
329.34/329.54 c | 597999 | 891 13536 45268 | 65403 62046 38 | 0.000 % |
329.54/329.77 c | 598492 | 891 13536 45268 | 65403 62539 38 | 0.000 % |
329.84/330.04 c | 599034 | 891 13536 45268 | 65403 63081 38 | 0.000 % |
330.24/330.45 c | 599630 | 891 13536 45268 | 65403 63677 38 | 0.000 % |
330.84/331.05 c | 600286 | 891 13536 45268 | 64048 53350 37 | 0.000 % |
331.24/331.47 c | 601006 | 891 13536 45268 | 64048 54070 37 | 0.000 % |
331.64/331.89 c | 601798 | 891 13536 45268 | 64048 54862 38 | 0.000 % |
332.14/332.34 c | 602670 | 891 13536 45268 | 64048 55734 38 | 0.000 % |
332.64/332.81 c | 603628 | 891 13536 45268 | 64048 56692 38 | 0.000 % |
333.24/333.47 c | 604681 | 891 13536 45268 | 64048 57745 38 | 0.000 % |
333.94/334.10 c | 605840 | 891 13536 45268 | 64048 58904 38 | 0.001 % |
334.64/334.82 c | 607115 | 891 13536 45268 | 64048 60179 38 | 0.000 % |
335.54/335.70 c | 608516 | 891 13536 45268 | 64048 61580 38 | 0.000 % |
336.44/336.61 c | 610056 | 891 13536 45268 | 63064 63120 39 | 0.000 % |
337.64/337.84 c | 611750 | 891 13536 45268 | 63064 55661 38 | 0.000 % |
338.84/339.02 c | 613615 | 891 13536 45268 | 63064 57526 39 | 0.000 % |
339.64/339.88 c | 615666 | 891 13536 45268 | 63064 59577 39 | 0.000 % |
340.94/341.12 c | 617920 | 891 13536 45268 | 63064 61831 39 | 0.000 % |
342.53/342.74 c | 620398 | 891 13536 45268 | 54692 47369 37 | 0.000 % |
344.14/344.34 c | 623123 | 891 13536 45268 | 54692 50094 38 | 0.000 % |
346.13/346.36 c | 626121 | 891 13536 45268 | 54692 53092 38 | 0.000 % |
348.44/348.61 c | 629417 | 891 13536 45268 | 54692 49906 38 | 0.000 % |
350.64/350.85 c | 633042 | 891 13536 45268 | 50489 47687 37 | 0.000 % |
353.13/353.37 c | 637030 | 891 13536 45268 | 50489 45735 37 | 0.000 % |
356.23/356.42 c | 641416 | 891 13536 45268 | 48706 44480 37 | 0.000 % |
359.63/359.86 c | 646240 | 891 13536 45268 | 48706 43152 38 | 0.000 % |
362.53/362.73 c | 651548 | 891 13536 45268 | 46912 42795 38 | 0.000 % |
365.43/365.65 c | 657384 | 891 13536 45268 | 46912 43098 38 | 0.000 % |
365.53/365.70 c | 657484 | 891 13536 45268 | 46912 43198 38 | 0.000 % |
365.53/365.76 c | 657595 | 891 13536 45268 | 46912 43309 39 | 0.000 % |
365.63/365.83 c | 657716 | 891 13536 45268 | 46912 43430 39 | 0.000 % |
365.63/365.89 c | 657850 | 891 13536 45268 | 46912 43564 39 | 0.001 % |
365.73/365.97 c | 657996 | 891 13536 45268 | 46912 43710 39 | 0.000 % |
365.83/366.04 c | 658158 | 891 13536 45268 | 46912 43872 39 | 0.000 % |
365.93/366.12 c | 658334 | 891 13536 45268 | 46912 44048 39 | 0.000 % |
365.93/366.19 c | 658528 | 891 13536 45268 | 46912 44242 39 | 0.000 % |
366.03/366.29 c | 658743 | 891 13536 45268 | 46912 44457 39 | 0.000 % |
366.23/366.40 c | 658976 | 891 13536 45268 | 46912 44690 39 | 0.000 % |
366.33/366.51 c | 659233 | 891 13536 45268 | 46912 44947 39 | 0.000 % |
366.43/366.66 c | 659514 | 891 13536 45268 | 46912 45228 39 | 0.000 % |
366.63/366.82 c | 659824 | 891 13536 45268 | 46912 45538 39 | 0.000 % |
366.73/367.00 c | 660163 | 891 13536 45268 | 45714 45877 39 | 0.000 % |
366.93/367.16 c | 660535 | 891 13536 45268 | 45714 41475 38 | 0.000 % |
367.13/367.31 c | 660945 | 891 13536 45268 | 45714 41885 38 | 0.000 % |
367.23/367.48 c | 661394 | 891 13536 45268 | 45714 42334 38 | 0.000 % |
367.53/367.72 c | 661887 | 891 13536 45268 | 45714 42827 38 | 0.001 % |
367.83/368.04 c | 662429 | 891 13536 45268 | 45714 43369 38 | 0.001 % |
368.03/368.25 c | 663025 | 891 13536 45268 | 45714 43965 38 | 0.000 % |
368.33/368.55 c | 663680 | 891 13536 45268 | 45714 44620 38 | 0.000 % |
368.63/368.86 c | 664400 | 891 13536 45268 | 45714 45340 38 | 0.000 % |
369.13/369.32 c | 665193 | 891 13536 45268 | 45714 41540 38 | 0.001 % |
369.53/369.73 c | 666064 | 891 13536 45268 | 45714 42411 38 | 0.000 % |
370.03/370.20 c | 667022 | 891 13536 45268 | 45714 43369 38 | 0.000 % |
370.43/370.63 c | 668076 | 891 13536 45268 | 45714 44423 38 | 0.000 % |
370.93/371.11 c | 669236 | 891 13536 45268 | 45714 45583 38 | 0.000 % |
371.53/371.75 c | 670509 | 891 13536 45268 | 2147483647 42262 38 | 0.000 % |
372.23/372.40 c | 671910 | 891 13536 45268 | 2147483647 43663 38 | 0.000 % |
373.12/373.30 c | 673450 | 891 13536 45268 | 2147483647 45203 38 | 0.000 % |
374.12/374.33 c | 675146 | 891 13536 45268 | 2147483647 46899 38 | 0.000 % |
375.02/375.21 c | 677009 | 891 13536 45268 | 2147483647 48762 39 | 0.000 % |
376.12/376.35 c | 679058 | 891 13536 45268 | 2147483647 50811 39 | 0.000 % |
377.52/377.72 c | 681311 | 891 13536 45268 | 2147483647 53064 39 | 0.000 % |
378.92/379.14 c | 683790 | 891 13536 45268 | 2147483647 55543 39 | 0.000 % |
380.43/380.62 c | 686517 | 891 13536 45268 | 2147483647 58270 40 | 0.000 % |
382.22/382.45 c | 689514 | 891 13536 45268 | 2147483647 61267 40 | 0.000 % |
384.32/384.51 c | 692811 | 891 13536 45268 | 61754 56120 39 | 0.000 % |
386.32/386.60 c | 696436 | 891 13536 45268 | 61754 59745 39 | 0.000 % |
388.72/388.90 c | 700425 | 891 13536 45268 | 54342 46975 36 | 0.001 % |
390.82/391.05 c | 704810 | 891 13536 45268 | 54342 51360 37 | 0.001 % |
393.22/393.44 c | 709633 | 891 13536 45268 | 54342 49743 37 | 0.000 % |
396.32/396.51 c | 714941 | 891 13536 45268 | 50110 49198 37 | 0.000 % |
400.52/400.77 c | 720778 | 891 13536 45268 | 2147483647 49253 37 | 0.000 % |
404.62/404.86 c | 727197 | 891 13536 45268 | 2147483647 55672 38 | 0.000 % |
404.72/404.91 c | 727297 | 891 13536 45268 | 2147483647 55772 38 | 0.000 % |
404.72/404.99 c | 727407 | 891 13536 45268 | 2147483647 55882 38 | 0.000 % |
404.82/405.06 c | 727529 | 891 13536 45268 | 2147483647 56004 38 | 0.000 % |
404.92/405.16 c | 727662 | 891 13536 45268 | 2147483647 56137 38 | 0.000 % |
405.02/405.23 c | 727810 | 891 13536 45268 | 2147483647 56285 38 | 0.000 % |
405.12/405.34 c | 727972 | 891 13536 45268 | 2147483647 56447 38 | 0.000 % |
405.22/405.44 c | 728150 | 891 13536 45268 | 2147483647 56625 38 | 0.000 % |
405.32/405.55 c | 728346 | 891 13536 45268 | 2147483647 56821 38 | 0.000 % |
405.52/405.70 c | 728561 | 891 13536 45268 | 2147483647 57036 38 | 0.000 % |
405.62/405.85 c | 728795 | 891 13536 45268 | 2147483647 57270 38 | 0.000 % |
405.81/406.02 c | 729053 | 891 13536 45268 | 2147483647 57528 38 | 0.000 % |
406.01/406.25 c | 729334 | 891 13536 45268 | 2147483647 57809 38 | 0.000 % |
406.21/406.42 c | 729643 | 891 13536 45268 | 2147483647 58118 38 | 0.000 % |
406.41/406.65 c | 729985 | 891 13536 45268 | 2147483647 58460 38 | 0.000 % |
406.72/406.90 c | 730357 | 891 13536 45268 | 58475 51848 37 | 0.000 % |
406.91/407.13 c | 730767 | 891 13536 45268 | 58475 52258 37 | 0.000 % |
407.11/407.37 c | 731216 | 891 13536 45268 | 58475 52707 37 | 0.000 % |
407.41/407.61 c | 731709 | 891 13536 45268 | 58475 53200 37 | 0.000 % |
407.71/407.91 c | 732253 | 891 13536 45268 | 58475 53744 37 | 0.000 % |
407.92/408.15 c | 732851 | 891 13536 45268 | 58475 54342 38 | 0.000 % |
408.21/408.41 c | 733506 | 891 13536 45268 | 58475 54997 38 | 0.000 % |
408.81/409.00 c | 734226 | 891 13536 45268 | 58475 55717 38 | 0.000 % |
409.21/409.45 c | 735018 | 891 13536 45268 | 58475 56509 38 | 0.000 % |
409.71/409.99 c | 735891 | 891 13536 45268 | 58475 57382 38 | 0.000 % |
410.41/410.69 c | 736851 | 891 13536 45268 | 58475 58342 38 | 0.000 % |
410.91/411.19 c | 737905 | 891 13536 45268 | 58475 52450 37 | 0.000 % |
411.71/411.91 c | 739063 | 891 13536 45268 | 58475 53608 37 | 0.000 % |
412.51/412.79 c | 740336 | 891 13536 45268 | 54547 47937 37 | 0.000 % |
413.42/413.61 c | 741736 | 891 13536 45268 | 54547 49337 37 | 0.000 % |
414.31/414.55 c | 743276 | 891 13536 45268 | 54547 50877 37 | 0.000 % |
415.31/415.57 c | 744970 | 891 13536 45268 | 54547 52571 37 | 0.000 % |
416.31/416.53 c | 746835 | 891 13536 45268 | 54547 54436 37 | 0.000 % |
417.51/417.77 c | 748884 | 891 13536 45268 | 54547 49956 37 | 0.000 % |
418.91/419.19 c | 751139 | 891 13536 45268 | 51075 46252 36 | 0.000 % |
420.41/420.64 c | 753617 | 891 13536 45268 | 51075 48730 36 | 0.000 % |
421.81/422.05 c | 756342 | 891 13536 45268 | 51075 46325 36 | 0.000 % |
423.51/423.72 c | 759339 | 891 13536 45268 | 51075 49322 36 | 0.000 % |
425.71/425.92 c | 762636 | 891 13536 45268 | 2147483647 52619 37 | 0.000 % |
428.20/428.47 c | 766262 | 891 13536 45268 | 2147483647 56245 37 | 0.000 % |
430.91/431.11 c | 770249 | 891 13536 45268 | 59983 60232 37 | 0.000 % |
433.60/433.84 c | 774637 | 891 13536 45268 | 59983 56538 37 | 0.000 % |
436.70/436.98 c | 779460 | 891 13536 45268 | 59983 52324 37 | 0.000 % |
440.00/440.27 c | 784766 | 891 13536 45268 | 52864 49856 36 | 0.000 % |
444.40/444.64 c | 790601 | 891 13536 45268 | 48009 42457 36 | 0.000 % |
448.30/448.52 c | 797020 | 891 13536 45268 | 48009 44008 36 | 0.001 % |
453.50/453.74 c | 804080 | 891 13536 45268 | 2147483647 51068 37 | 0.000 % |
453.50/453.80 c | 804180 | 891 13536 45268 | 2147483647 51168 37 | 0.000 % |
453.60/453.86 c | 804291 | 891 13536 45268 | 2147483647 51279 37 | 0.000 % |
453.70/453.92 c | 804412 | 891 13536 45268 | 2147483647 51400 37 | 0.000 % |
453.70/453.97 c | 804547 | 891 13536 45268 | 2147483647 51535 37 | 0.000 % |
453.80/454.04 c | 804694 | 891 13536 45268 | 2147483647 51682 37 | 0.000 % |
453.90/454.14 c | 804855 | 891 13536 45268 | 2147483647 51843 37 | 0.000 % |
454.00/454.23 c | 805032 | 891 13536 45268 | 2147483647 52020 37 | 0.000 % |
454.10/454.35 c | 805226 | 891 13536 45268 | 2147483647 52214 37 | 0.000 % |
454.20/454.45 c | 805438 | 891 13536 45268 | 2147483647 52426 37 | 0.000 % |
454.30/454.55 c | 805671 | 891 13536 45268 | 2147483647 52659 37 | 0.000 % |
454.40/454.67 c | 805927 | 891 13536 45268 | 2147483647 52915 37 | 0.001 % |
454.60/454.84 c | 806208 | 891 13536 45268 | 2147483647 53196 37 | 0.000 % |
454.80/455.01 c | 806518 | 891 13536 45268 | 2147483647 53506 37 | 0.000 % |
454.90/455.18 c | 806860 | 891 13536 45268 | 2147483647 53848 37 | 0.000 % |
455.20/455.40 c | 807232 | 891 13536 45268 | 2147483647 54220 38 | 0.000 % |
455.40/455.65 c | 807641 | 891 13536 45268 | 2147483647 54629 38 | 0.000 % |
455.60/455.83 c | 808091 | 891 13536 45268 | 2147483647 55079 38 | 0.000 % |
455.90/456.11 c | 808586 | 891 13536 45268 | 2147483647 55574 38 | 0.000 % |
456.10/456.36 c | 809128 | 891 13536 45268 | 2147483647 56116 38 | 0.000 % |
456.40/456.66 c | 809725 | 891 13536 45268 | 2147483647 56713 38 | 0.000 % |
456.80/457.09 c | 810381 | 891 13536 45268 | 56990 50862 37 | 0.000 % |
457.20/457.45 c | 811103 | 891 13536 45268 | 56990 51584 37 | 0.000 % |
457.50/457.71 c | 811897 | 891 13536 45268 | 56990 52378 37 | 0.000 % |
458.10/458.32 c | 812769 | 891 13536 45268 | 56990 53250 37 | 0.000 % |
458.80/459.01 c | 813728 | 891 13536 45268 | 56990 54209 38 | 0.000 % |
459.30/459.60 c | 814781 | 891 13536 45268 | 56990 55262 38 | 0.000 % |
459.89/460.13 c | 815940 | 891 13536 45268 | 56990 56421 38 | 0.000 % |
460.79/461.00 c | 817213 | 891 13536 45268 | 56990 50220 38 | 0.000 % |
461.80/462.06 c | 818615 | 891 13536 45268 | 56990 51622 38 | 0.000 % |
462.80/463.09 c | 820156 | 891 13536 45268 | 53008 53163 38 | 0.000 % |
464.29/464.53 c | 821850 | 891 13536 45268 | 53008 48138 38 | 0.000 % |
465.59/465.81 c | 823713 | 891 13536 45268 | 53008 50001 38 | 0.000 % |
466.99/467.24 c | 825762 | 891 13536 45268 | 53008 52050 38 | 0.000 % |
468.40/468.65 c | 828017 | 891 13536 45268 | 53008 47662 38 | 0.000 % |
469.99/470.30 c | 830495 | 891 13536 45268 | 49645 44105 38 | 0.000 % |
471.69/471.92 c | 833220 | 891 13536 45268 | 49645 46830 38 | 0.000 % |
473.39/473.65 c | 836219 | 891 13536 45268 | 49645 49829 39 | 0.000 % |
474.89/475.20 c | 839515 | 891 13536 45268 | 49645 47976 39 | 0.000 % |
477.19/477.40 c | 843140 | 891 13536 45268 | 2147483647 51601 39 | 0.000 % |
479.29/479.56 c | 847128 | 891 13536 45268 | 2147483647 55589 40 | 0.000 % |
482.19/482.42 c | 851513 | 891 13536 45268 | 58461 52030 40 | 0.000 % |
484.79/485.01 c | 856338 | 891 13536 45268 | 58461 56855 41 | 0.000 % |
488.48/488.71 c | 861643 | 891 13536 45268 | 52228 46713 39 | 0.000 % |
492.28/492.58 c | 867478 | 891 13536 45268 | 52228 45505 39 | 0.000 % |
496.58/496.88 c | 873897 | 891 13536 45268 | 48027 45815 40 | 0.000 % |
500.88/501.14 c | 880956 | 891 13536 45268 | 2147483647 47787 41 | 0.000 % |
505.98/506.30 c | 888720 | 891 13536 45268 | 2147483647 55551 42 | 0.000 % |
506.08/506.35 c | 888821 | 891 13536 45268 | 2147483647 55652 42 | 0.000 % |
506.18/506.43 c | 888931 | 891 13536 45268 | 2147483647 55762 42 | 0.000 % |
506.18/506.49 c | 889052 | 891 13536 45268 | 2147483647 55883 42 | 0.000 % |
506.28/506.57 c | 889185 | 891 13536 45268 | 2147483647 56016 42 | 0.000 % |
506.38/506.66 c | 889331 | 891 13536 45268 | 2147483647 56162 42 | 0.000 % |
506.48/506.79 c | 889492 | 891 13536 45268 | 2147483647 56323 42 | 0.000 % |
506.58/506.89 c | 889670 | 891 13536 45268 | 2147483647 56501 42 | 0.000 % |
506.78/507.01 c | 889863 | 891 13536 45268 | 2147483647 56694 42 | 0.000 % |
506.88/507.17 c | 890077 | 891 13536 45268 | 56833 56908 42 | 0.000 % |
507.08/507.33 c | 890312 | 891 13536 45268 | 56833 49149 41 | 0.001 % |
507.18/507.49 c | 890568 | 891 13536 45268 | 56833 49405 41 | 0.000 % |
507.38/507.70 c | 890850 | 891 13536 45268 | 56833 49687 41 | 0.000 % |
507.68/507.94 c | 891159 | 891 13536 45268 | 56833 49996 41 | 0.000 % |
507.88/508.11 c | 891499 | 891 13536 45268 | 56833 50336 41 | 0.000 % |
508.08/508.31 c | 891871 | 891 13536 45268 | 56833 50708 41 | 0.000 % |
508.38/508.60 c | 892283 | 891 13536 45268 | 56833 51120 41 | 0.000 % |
508.58/508.80 c | 892733 | 891 13536 45268 | 56833 51570 41 | 0.000 % |
508.78/509.03 c | 893226 | 891 13536 45268 | 56833 52063 41 | 0.000 % |
508.98/509.24 c | 893768 | 891 13536 45268 | 56833 52605 41 | 0.000 % |
509.28/509.50 c | 894366 | 891 13536 45268 | 56833 53203 41 | 0.000 % |
509.58/509.87 c | 895023 | 891 13536 45268 | 56833 53860 41 | 0.000 % |
510.08/510.35 c | 895744 | 891 13536 45268 | 56833 54581 41 | 0.000 % |
510.38/510.69 c | 896536 | 891 13536 45268 | 56833 55373 41 | 0.000 % |
510.88/511.11 c | 897409 | 891 13536 45268 | 56833 56246 41 | 0.000 % |
511.38/511.69 c | 898369 | 891 13536 45268 | 56833 50482 40 | 0.000 % |
512.08/512.31 c | 899422 | 891 13536 45268 | 56833 51535 40 | 0.000 % |
512.58/512.82 c | 900580 | 891 13536 45268 | 52115 47031 40 | 0.000 % |
513.28/513.54 c | 901854 | 891 13536 45268 | 52115 48305 40 | 0.000 % |
513.97/514.24 c | 903257 | 891 13536 45268 | 52115 49708 40 | 0.000 % |
514.77/515.05 c | 904797 | 891 13536 45268 | 52115 51248 40 | 0.000 % |
515.47/515.76 c | 906492 | 891 13536 45268 | 52115 47699 40 | 0.000 % |
516.47/516.70 c | 908356 | 891 13536 45268 | 52115 49563 40 | 0.000 % |
517.37/517.65 c | 910409 | 891 13536 45268 | 2147483647 51616 40 | 0.000 % |
518.57/518.84 c | 912665 | 891 13536 45268 | 2147483647 53872 40 | 0.000 % |
519.87/520.12 c | 915143 | 891 13536 45268 | 2147483647 56350 40 | 0.000 % |
521.47/521.74 c | 917871 | 891 13536 45268 | 2147483647 59078 40 | 0.000 % |
523.67/523.96 c | 920868 | 891 13536 45268 | 61208 54286 38 | 0.000 % |
525.78/526.07 c | 924164 | 891 13536 45268 | 61208 57582 39 | 0.000 % |
527.98/528.21 c | 927790 | 891 13536 45268 | 61208 61208 39 | 0.000 % |
530.48/530.79 c | 931778 | 891 13536 45268 | 55275 49902 37 | 0.000 % |
533.08/533.35 c | 936163 | 891 13536 45268 | 55275 54287 38 | 0.000 % |
536.48/536.73 c | 940988 | 891 13536 45268 | 50935 45566 37 | 0.000 % |
540.48/540.71 c | 946293 | 891 13536 45268 | 50935 50871 38 | 0.000 % |
543.77/544.00 c | 952130 | 891 13536 45268 | 48142 44592 39 | 0.000 % |
548.47/548.75 c | 958548 | 891 13536 45268 | 48142 45994 40 | 0.000 % |
552.67/552.95 c | 965608 | 891 13536 45268 | 47446 43436 40 | 0.000 % |
557.48/557.74 c | 973374 | 891 13536 45268 | 2147483647 46439 40 | 0.000 % |
564.17/564.41 c | 981915 | 891 13536 45268 | 2147483647 54980 41 | 0.000 % |
564.17/564.47 c | 982016 | 891 13536 45268 | 2147483647 55081 41 | 0.000 % |
564.27/564.55 c | 982127 | 891 13536 45268 | 2147483647 55192 41 | 0.000 % |
564.37/564.60 c | 982248 | 891 13536 45268 | 2147483647 55313 41 | 0.000 % |
564.37/564.67 c | 982381 | 891 13536 45268 | 2147483647 55446 41 | 0.000 % |
564.47/564.75 c | 982527 | 891 13536 45268 | 2147483647 55592 41 | 0.000 % |
564.57/564.84 c | 982688 | 891 13536 45268 | 2147483647 55753 41 | 0.000 % |
564.67/564.96 c | 982864 | 891 13536 45268 | 2147483647 55929 41 | 0.000 % |
564.77/565.04 c | 983058 | 891 13536 45268 | 2147483647 56123 41 | 0.000 % |
564.87/565.14 c | 983270 | 891 13536 45268 | 2147483647 56335 41 | 0.000 % |
564.97/565.26 c | 983505 | 891 13536 45268 | 2147483647 56570 41 | 0.000 % |
565.07/565.38 c | 983761 | 891 13536 45268 | 2147483647 56826 41 | 0.000 % |
565.27/565.54 c | 984042 | 891 13536 45268 | 2147483647 57107 41 | 0.000 % |
565.47/565.70 c | 984351 | 891 13536 45268 | 2147483647 57416 41 | 0.000 % |
565.67/565.94 c | 984690 | 891 13536 45268 | 2147483647 57755 41 | 0.000 % |
565.87/566.12 c | 985062 | 891 13536 45268 | 2147483647 58127 41 | 0.000 % |
566.07/566.34 c | 985471 | 891 13536 45268 | 2147483647 58536 41 | 0.000 % |
566.37/566.60 c | 985920 | 891 13536 45268 | 2147483647 58985 41 | 0.000 % |
566.57/566.87 c | 986414 | 891 13536 45268 | 2147483647 59479 41 | 0.000 % |
566.87/567.14 c | 986959 | 891 13536 45268 | 2147483647 60024 41 | 0.000 % |
567.27/567.51 c | 987556 | 891 13536 45268 | 2147483647 60621 41 | 0.000 % |
567.67/567.99 c | 988212 | 891 13536 45268 | 2147483647 61277 41 | 0.000 % |
568.17/568.41 c | 988932 | 891 13536 45268 | 2147483647 61997 41 | 0.000 % |
568.57/568.85 c | 989725 | 891 13536 45268 | 2147483647 62790 41 | 0.000 % |
569.07/569.36 c | 990597 | 891 13536 45268 | 63066 54790 40 | 0.000 % |
569.57/569.83 c | 991556 | 891 13536 45268 | 63066 55749 40 | 0.001 % |
569.97/570.27 c | 992609 | 891 13536 45268 | 63066 56802 40 | 0.000 % |
570.67/570.91 c | 993767 | 891 13536 45268 | 63066 57960 40 | 0.000 % |
571.27/571.59 c | 995040 | 891 13536 45268 | 63066 59233 40 | 0.000 % |
572.36/572.63 c | 996440 | 891 13536 45268 | 63066 60633 40 | 0.000 % |
573.06/573.38 c | 997981 | 891 13536 45268 | 63066 62174 40 | 0.000 % |
574.16/574.41 c | 999676 | 891 13536 45268 | 63066 55079 39 | 0.000 % |
574.86/575.17 c | 1001541 | 891 13536 45268 | 55405 49335 38 | 0.000 % |
576.07/576.31 c | 1003591 | 891 13536 45268 | 55405 51385 38 | 0.000 % |
577.46/577.78 c | 1005844 | 891 13536 45268 | 55405 53638 38 | 0.000 % |
578.96/579.23 c | 1008322 | 891 13536 45268 | 55405 49739 38 | 0.000 % |
580.36/580.66 c | 1011047 | 891 13536 45268 | 51418 46357 37 | 0.000 % |
581.86/582.19 c | 1014044 | 891 13536 45268 | 51418 49354 38 | 0.000 % |
583.66/583.90 c | 1017340 | 891 13536 45268 | 51418 46954 37 | 0.000 % |
585.86/586.17 c | 1020966 | 891 13536 45268 | 49614 45245 38 | 0.000 % |
588.46/588.73 c | 1024953 | 891 13536 45268 | 49614 49232 38 | 0.000 % |
590.76/591.07 c | 1029338 | 891 13536 45268 | 49614 48629 38 | 0.001 % |
593.16/593.40 c | 1034161 | 891 13536 45268 | 2147483647 53452 39 | 0.000 % |
596.56/596.86 c | 1039467 | 891 13536 45268 | 2147483647 58758 40 | 0.000 % |
599.86/600.14 c | 1045303 | 891 13536 45268 | 59294 57319 39 | 0.000 % |
604.45/604.72 c | 1051721 | 891 13536 45268 | 53970 48242 38 | 0.000 % |
608.95/609.27 c | 1058780 | 891 13536 45268 | 53970 48531 37 | 0.000 % |
613.95/614.28 c | 1066545 | 891 13536 45268 | 49752 44287 36 | 0.001 % |
619.85/620.14 c | 1075088 | 891 13536 45268 | 47742 47049 38 | 0.001 % |
625.95/626.21 c | 1084482 | 891 13536 45268 | 46501 46290 37 | 0.000 % |
625.95/626.28 c | 1084582 | 891 13536 45268 | 46501 46390 37 | 0.000 % |
626.05/626.34 c | 1084693 | 891 13536 45268 | 46501 46501 37 | 0.000 % |
626.15/626.42 c | 1084815 | 891 13536 45268 | 46501 41973 37 | 0.000 % |
626.15/626.48 c | 1084951 | 891 13536 45268 | 46501 42109 37 | 0.000 % |
626.25/626.55 c | 1085097 | 891 13536 45268 | 46501 42255 37 | 0.000 % |
626.35/626.61 c | 1085258 | 891 13536 45268 | 46501 42416 37 | 0.000 % |
626.35/626.68 c | 1085435 | 891 13536 45268 | 46501 42593 37 | 0.000 % |
626.45/626.75 c | 1085628 | 891 13536 45268 | 46501 42786 37 | 0.000 % |
626.55/626.85 c | 1085841 | 891 13536 45268 | 46501 42999 37 | 0.000 % |
626.65/626.96 c | 1086074 | 891 13536 45268 | 46501 43232 37 | 0.000 % |
626.75/627.07 c | 1086330 | 891 13536 45268 | 46501 43488 37 | 0.001 % |
626.95/627.20 c | 1086611 | 891 13536 45268 | 46501 43769 37 | 0.000 % |
626.95/627.29 c | 1086920 | 891 13536 45268 | 46501 44078 37 | 0.000 % |
627.15/627.41 c | 1087260 | 891 13536 45268 | 46501 44418 37 | 0.000 % |
627.25/627.54 c | 1087634 | 891 13536 45268 | 46501 44792 37 | 0.000 % |
627.45/627.72 c | 1088044 | 891 13536 45268 | 46501 45202 37 | 0.000 % |
627.65/627.92 c | 1088495 | 891 13536 45268 | 46501 45653 37 | 0.000 % |
627.85/628.17 c | 1088989 | 891 13536 45268 | 46501 46147 37 | 0.000 % |
628.15/628.44 c | 1089531 | 891 13536 45268 | 46501 46689 37 | 0.000 % |
628.45/628.74 c | 1090128 | 891 13536 45268 | 2147483647 42618 37 | 0.000 % |
628.65/628.98 c | 1090783 | 891 13536 45268 | 2147483647 43273 37 | 0.001 % |
628.95/629.27 c | 1091504 | 891 13536 45268 | 2147483647 43994 37 | 0.001 % |
629.35/629.62 c | 1092296 | 891 13536 45268 | 2147483647 44786 37 | 0.000 % |
629.75/630.03 c | 1093169 | 891 13536 45268 | 2147483647 45659 37 | 0.000 % |
630.15/630.47 c | 1094129 | 891 13536 45268 | 2147483647 46619 37 | 0.000 % |
630.75/631.05 c | 1095183 | 891 13536 45268 | 2147483647 47673 37 | 0.000 % |
631.35/631.62 c | 1096342 | 891 13536 45268 | 2147483647 48832 37 | 0.000 % |
632.04/632.30 c | 1097616 | 891 13536 45268 | 2147483647 50106 37 | 0.000 % |
632.74/633.07 c | 1099019 | 891 13536 45268 | 2147483647 51509 38 | 0.000 % |
633.64/633.92 c | 1100559 | 891 13536 45268 | 2147483647 53049 38 | 0.000 % |
634.64/634.97 c | 1102253 | 891 13536 45268 | 2147483647 54743 38 | 0.000 % |
635.55/635.88 c | 1104118 | 891 13536 45268 | 2147483647 56608 38 | 0.000 % |
636.74/637.02 c | 1106170 | 891 13536 45268 | 2147483647 58660 38 | 0.000 % |
638.24/638.59 c | 1108424 | 891 13536 45268 | 2147483647 60914 38 | 0.000 % |
640.04/640.37 c | 1110903 | 891 13536 45268 | 62491 55946 38 | 0.000 % |
641.64/641.94 c | 1113628 | 891 13536 45268 | 62491 58671 38 | 0.000 % |
643.34/643.66 c | 1116625 | 891 13536 45268 | 62491 61668 39 | 0.000 % |
645.64/645.92 c | 1119921 | 891 13536 45268 | 62491 55939 38 | 0.000 % |
647.44/647.74 c | 1123547 | 891 13536 45268 | 56019 51721 38 | 0.000 % |
649.34/649.63 c | 1127534 | 891 13536 45268 | 56019 55708 38 | 0.000 % |
652.14/652.41 c | 1131921 | 891 13536 45268 | 51530 47363 37 | 0.000 % |
654.84/655.16 c | 1136744 | 891 13536 45268 | 51530 46936 36 | 0.000 % |
657.84/658.13 c | 1142049 | 891 13536 45268 | 2147483647 52241 37 | 0.000 % |
661.44/661.74 c | 1147884 | 891 13536 45268 | 2147483647 58076 37 | 0.000 % |
665.54/665.86 c | 1154302 | 891 13536 45268 | 60192 56060 38 | 0.001 % |
670.53/670.81 c | 1161363 | 891 13536 45268 | 53177 47026 36 | 0.000 % |
676.43/676.75 c | 1169127 | 891 13536 45268 | 53177 47933 35 | 0.000 % |
681.64/681.90 c | 1177667 | 891 13536 45268 | 48809 45399 37 | 0.001 % |
687.33/687.66 c | 1187061 | 891 13536 45268 | 47732 44665 38 | 0.000 % |
693.33/693.67 c | 1197394 | 891 13536 45268 | 47605 44396 38 | 0.000 % |
693.43/693.72 c | 1197494 | 891 13536 45268 | 47605 44496 38 | 0.000 % |
693.43/693.79 c | 1197604 | 891 13536 45268 | 47605 44606 38 | 0.000 % |
693.53/693.84 c | 1197725 | 891 13536 45268 | 47605 44727 38 | 0.000 % |
693.63/693.94 c | 1197860 | 891 13536 45268 | 47605 44862 38 | 0.000 % |
693.63/694.00 c | 1198006 | 891 13536 45268 | 47605 45008 38 | 0.000 % |
693.83/694.10 c | 1198169 | 891 13536 45268 | 47605 45171 38 | 0.001 % |
693.83/694.19 c | 1198346 | 891 13536 45268 | 47605 45348 38 | 0.000 % |
693.93/694.28 c | 1198539 | 891 13536 45268 | 47605 45541 38 | 0.000 % |
694.13/694.42 c | 1198751 | 891 13536 45268 | 47605 45753 38 | 0.000 % |
694.23/694.52 c | 1198985 | 891 13536 45268 | 47605 45987 38 | 0.000 % |
694.33/694.62 c | 1199242 | 891 13536 45268 | 47605 46244 38 | 0.000 % |
694.43/694.70 c | 1199524 | 891 13536 45268 | 47605 46526 38 | 0.000 % |
694.53/694.87 c | 1199833 | 891 13536 45268 | 47605 46835 38 | 0.000 % |
694.73/695.02 c | 1200172 | 891 13536 45268 | 47004 47174 38 | 0.000 % |
694.83/695.16 c | 1200545 | 891 13536 45268 | 47004 42830 38 | 0.000 % |
695.13/695.40 c | 1200954 | 891 13536 45268 | 47004 43239 38 | 0.000 % |
695.33/695.61 c | 1201403 | 891 13536 45268 | 47004 43688 38 | 0.000 % |
695.53/695.84 c | 1201896 | 891 13536 45268 | 47004 44181 38 | 0.000 % |
695.82/696.15 c | 1202438 | 891 13536 45268 | 47004 44723 38 | 0.000 % |
696.12/696.42 c | 1203035 | 891 13536 45268 | 47004 45320 38 | 0.001 % |
696.52/696.88 c | 1203691 | 891 13536 45268 | 47004 45976 38 | 0.000 % |
696.92/697.24 c | 1204413 | 891 13536 45268 | 47004 46698 38 | 0.001 % |
697.32/697.61 c | 1205206 | 891 13536 45268 | 47004 42759 38 | 0.000 % |
697.62/697.91 c | 1206079 | 891 13536 45268 | 47004 43632 38 | 0.000 % |
697.92/698.27 c | 1207037 | 891 13536 45268 | 47004 44590 38 | 0.000 % |
698.42/698.71 c | 1208090 | 891 13536 45268 | 47004 45643 38 | 0.000 % |
698.92/699.26 c | 1209248 | 891 13536 45268 | 47004 46801 38 | 0.001 % |
699.52/699.86 c | 1210521 | 891 13536 45268 | 2147483647 43345 38 | 0.000 % |
700.22/700.59 c | 1211922 | 891 13536 45268 | 2147483647 44746 38 | 0.000 % |
701.02/701.30 c | 1213463 | 891 13536 45268 | 2147483647 46287 38 | 0.000 % |
701.82/702.13 c | 1215158 | 891 13536 45268 | 2147483647 47982 38 | 0.000 % |
702.92/703.21 c | 1217021 | 891 13536 45268 | 2147483647 49845 38 | 0.000 % |
703.82/704.18 c | 1219070 | 891 13536 45268 | 2147483647 51894 38 | 0.000 % |
704.92/705.23 c | 1221324 | 891 13536 45268 | 2147483647 54148 39 | 0.000 % |
706.52/706.84 c | 1223802 | 891 13536 45268 | 2147483647 56626 39 | 0.000 % |
708.82/709.18 c | 1226528 | 891 13536 45268 | 2147483647 59352 39 | 0.000 % |
711.02/711.38 c | 1229525 | 891 13536 45268 | 2147483647 62349 39 | 0.001 % |
713.12/713.48 c | 1232821 | 891 13536 45268 | 62824 57019 38 | 0.000 % |
715.52/715.86 c | 1236449 | 891 13536 45268 | 62824 60647 38 | 0.000 % |
718.72/719.03 c | 1240436 | 891 13536 45268 | 54735 46945 38 | 0.000 % |
720.82/721.19 c | 1244821 | 891 13536 45268 | 54735 51330 38 | 0.000 % |
723.42/723.75 c | 1249646 | 891 13536 45268 | 54735 49363 38 | 0.000 % |
726.01/726.34 c | 1254952 | 891 13536 45268 | 49719 48735 38 | 0.000 % |
729.11/729.40 c | 1260788 | 891 13536 45268 | 2147483647 49578 38 | 0.001 % |
732.71/733.07 c | 1267209 | 891 13536 45268 | 2147483647 55999 38 | 0.000 % |
737.21/737.52 c | 1274268 | 891 13536 45268 | 58792 56403 39 | 0.000 % |
742.31/742.69 c | 1282033 | 891 13536 45268 | 54103 48868 38 | 0.000 % |
747.31/747.64 c | 1290574 | 891 13536 45268 | 49278 43031 37 | 0.000 % |
752.61/752.94 c | 1299968 | 891 13536 45268 | 49278 46782 38 | 0.000 % |
757.40/757.76 c | 1310302 | 891 13536 45268 | 2147483647 47261 38 | 0.000 % |
765.21/765.50 c | 1321669 | 891 13536 45268 | 56960 50407 38 | 0.000 % |
765.21/765.58 c | 1321772 | 891 13536 45268 | 56960 50510 38 | 0.000 % |
765.30/765.65 c | 1321883 | 891 13536 45268 | 56960 50621 38 | 0.000 % |
765.40/765.73 c | 1322007 | 891 13536 45268 | 56960 50745 38 | 0.000 % |
765.50/765.82 c | 1322140 | 891 13536 45268 | 56960 50878 38 | 0.000 % |
765.60/765.91 c | 1322286 | 891 13536 45268 | 56960 51024 38 | 0.000 % |
765.70/766.01 c | 1322447 | 891 13536 45268 | 56960 51185 38 | 0.000 % |
765.80/766.12 c | 1322624 | 891 13536 45268 | 56960 51362 38 | 0.000 % |
765.90/766.24 c | 1322818 | 891 13536 45268 | 56960 51556 38 | 0.000 % |
766.00/766.37 c | 1323032 | 891 13536 45268 | 56960 51770 38 | 0.000 % |
766.10/766.50 c | 1323268 | 891 13536 45268 | 56960 52006 38 | 0.000 % |
766.30/766.65 c | 1323525 | 891 13536 45268 | 56960 52263 38 | 0.000 % |
766.50/766.86 c | 1323806 | 891 13536 45268 | 56960 52544 38 | 0.000 % |
766.60/766.99 c | 1324115 | 891 13536 45268 | 56960 52853 38 | 0.000 % |
766.80/767.19 c | 1324455 | 891 13536 45268 | 56960 53193 38 | 0.001 % |
767.10/767.42 c | 1324829 | 891 13536 45268 | 56960 53567 38 | 0.000 % |
767.30/767.69 c | 1325238 | 891 13536 45268 | 56960 53976 38 | 0.000 % |
767.60/767.95 c | 1325687 | 891 13536 45268 | 56960 54425 38 | 0.000 % |
767.90/768.27 c | 1326180 | 891 13536 45268 | 56960 54918 38 | 0.000 % |
768.30/768.60 c | 1326722 | 891 13536 45268 | 56960 55460 38 | 0.000 % |
768.60/768.97 c | 1327319 | 891 13536 45268 | 56960 56057 38 | 0.000 % |
769.00/769.34 c | 1327974 | 891 13536 45268 | 56960 56712 38 | 0.001 % |
769.30/769.67 c | 1328695 | 891 13536 45268 | 56960 49414 37 | 0.000 % |
769.60/769.98 c | 1329489 | 891 13536 45268 | 56960 50208 37 | 0.000 % |
770.20/770.50 c | 1330361 | 891 13536 45268 | 50719 44306 36 | 0.001 % |
770.60/770.92 c | 1331321 | 891 13536 45268 | 50719 45266 36 | 0.000 % |
771.00/771.30 c | 1332376 | 891 13536 45268 | 50719 46321 37 | 0.000 % |
771.40/771.78 c | 1333535 | 891 13536 45268 | 50719 47480 37 | 0.000 % |
771.90/772.28 c | 1334808 | 891 13536 45268 | 50719 48753 37 | 0.000 % |
772.59/772.95 c | 1336208 | 891 13536 45268 | 50719 50153 37 | 0.000 % |
773.59/773.91 c | 1337749 | 891 13536 45268 | 50719 46602 37 | 0.000 % |
774.49/774.86 c | 1339446 | 891 13536 45268 | 50719 48299 37 | 0.000 % |
775.59/775.92 c | 1341310 | 891 13536 45268 | 2147483647 50163 37 | 0.000 % |
776.99/777.30 c | 1343359 | 891 13536 45268 | 2147483647 52212 37 | 0.000 % |
778.29/778.65 c | 1345613 | 891 13536 45268 | 2147483647 54466 38 | 0.000 % |
779.79/780.15 c | 1348093 | 891 13536 45268 | 2147483647 56946 38 | 0.000 % |
781.70/782.00 c | 1350818 | 891 13536 45268 | 2147483647 59671 38 | 0.000 % |
783.89/784.21 c | 1353816 | 891 13536 45268 | 2147483647 62669 38 | 0.000 % |
786.49/786.80 c | 1357112 | 891 13536 45268 | 2147483647 65965 38 | 0.000 % |
789.19/789.54 c | 1360740 | 891 13536 45268 | 68853 59065 37 | 0.001 % |
791.89/792.25 c | 1364728 | 891 13536 45268 | 68853 63053 37 | 0.000 % |
795.39/795.73 c | 1369113 | 891 13536 45268 | 68853 67438 37 | 0.000 % |
798.98/799.38 c | 1373936 | 891 13536 45268 | 68325 60874 37 | 0.000 % |
802.78/803.17 c | 1379242 | 891 13536 45268 | 68325 66180 37 | 0.000 % |
806.78/807.19 c | 1385077 | 891 13536 45268 | 66938 60474 37 | 0.000 % |
812.49/812.88 c | 1391496 | 891 13536 45268 | 65397 54988 36 | 0.000 % |
817.28/817.67 c | 1398555 | 891 13536 45268 | 65397 62047 37 | 0.000 % |
822.38/822.80 c | 1406320 | 891 13536 45268 | 63492 59062 36 | 0.000 % |
828.38/828.71 c | 1414861 | 891 13536 45268 | 62743 57004 37 | 0.000 % |
835.68/836.08 c | 1424256 | 891 13536 45268 | 62145 54690 38 | 0.000 % |
844.38/844.73 c | 1434592 | 891 13536 45268 | 60434 54097 38 | 0.001 % |
853.37/853.78 c | 1445958 | 891 13536 45268 | 59505 56257 39 | 0.000 % |
861.47/861.87 c | 1458463 | 891 13536 45268 | 51209 45231 37 | 0.000 % |
861.57/861.94 c | 1458563 | 891 13536 45268 | 51209 45331 37 | 0.000 % |
861.67/862.02 c | 1458673 | 891 13536 45268 | 51209 45441 37 | 0.000 % |
861.67/862.10 c | 1458796 | 891 13536 45268 | 51209 45564 37 | 0.000 % |
861.77/862.17 c | 1458929 | 891 13536 45268 | 51209 45697 37 | 0.000 % |
861.87/862.24 c | 1459075 | 891 13536 45268 | 51209 45843 37 | 0.000 % |
861.97/862.32 c | 1459236 | 891 13536 45268 | 51209 46004 37 | 0.001 % |
861.97/862.38 c | 1459413 | 891 13536 45268 | 51209 46181 37 | 0.000 % |
862.07/862.48 c | 1459606 | 891 13536 45268 | 51209 46374 37 | 0.001 % |
862.27/862.63 c | 1459819 | 891 13536 45268 | 51209 46587 37 | 0.001 % |
862.37/862.76 c | 1460052 | 891 13536 45268 | 46769 46820 37 | 0.001 % |
862.57/862.93 c | 1460311 | 891 13536 45268 | 46769 41145 36 | 0.000 % |
862.77/863.12 c | 1460593 | 891 13536 45268 | 46769 41427 36 | 0.001 % |
862.97/863.36 c | 1460902 | 891 13536 45268 | 46769 41736 36 | 0.000 % |
863.17/863.60 c | 1461244 | 891 13536 45268 | 46769 42078 36 | 0.001 % |
863.37/863.77 c | 1461618 | 891 13536 45268 | 46769 42452 36 | 0.000 % |
863.57/863.93 c | 1462031 | 891 13536 45268 | 46769 42865 36 | 0.000 % |
863.77/864.15 c | 1462481 | 891 13536 45268 | 46769 43315 36 | 0.000 % |
863.97/864.35 c | 1462974 | 891 13536 45268 | 46769 43808 36 | 0.000 % |
864.17/864.60 c | 1463517 | 891 13536 45268 | 46769 44351 37 | 0.000 % |
864.57/864.94 c | 1464114 | 891 13536 45268 | 46769 44948 37 | 0.000 % |
864.87/865.25 c | 1464770 | 891 13536 45268 | 46769 45604 37 | 0.000 % |
865.17/865.55 c | 1465492 | 891 13536 45268 | 46769 46326 37 | 0.001 % |
865.57/865.95 c | 1466285 | 891 13536 45268 | 46769 42419 36 | 0.000 % |
865.87/866.28 c | 1467156 | 891 13536 45268 | 46769 43290 36 | 0.001 % |
866.47/866.85 c | 1468114 | 891 13536 45268 | 46769 44248 37 | 0.000 % |
866.97/867.30 c | 1469167 | 891 13536 45268 | 46769 45301 37 | 0.000 % |
867.47/867.83 c | 1470325 | 891 13536 45268 | 2147483647 46459 37 | 0.000 % |
867.87/868.29 c | 1471600 | 891 13536 45268 | 2147483647 47734 37 | 0.000 % |
868.57/868.92 c | 1473001 | 891 13536 45268 | 2147483647 49135 38 | 0.000 % |
869.36/869.70 c | 1474541 | 891 13536 45268 | 2147483647 50675 38 | 0.000 % |
870.16/870.56 c | 1476236 | 891 13536 45268 | 2147483647 52370 38 | 0.000 % |
871.16/871.51 c | 1478101 | 891 13536 45268 | 2147483647 54235 38 | 0.000 % |
872.16/872.53 c | 1480150 | 891 13536 45268 | 2147483647 56284 38 | 0.000 % |
873.36/873.72 c | 1482403 | 891 13536 45268 | 2147483647 58537 38 | 0.000 % |
874.76/875.14 c | 1484882 | 891 13536 45268 | 2147483647 61016 39 | 0.000 % |
876.56/876.90 c | 1487608 | 891 13536 45268 | 2147483647 63742 39 | 0.000 % |
879.36/879.77 c | 1490606 | 891 13536 45268 | 66134 59361 39 | 0.000 % |
881.56/881.97 c | 1493904 | 891 13536 45268 | 66134 62659 40 | 0.000 % |
884.36/884.75 c | 1497530 | 891 13536 45268 | 66134 66285 40 | 0.000 % |
887.96/888.39 c | 1501517 | 891 13536 45268 | 60045 53379 40 | 0.000 % |
890.96/891.31 c | 1505906 | 891 13536 45268 | 60045 57768 40 | 0.000 % |
893.76/894.11 c | 1510729 | 891 13536 45268 | 53652 47272 39 | 0.000 % |
896.86/897.20 c | 1516035 | 891 13536 45268 | 53652 52578 39 | 0.000 % |
901.75/902.10 c | 1521871 | 891 13536 45268 | 50372 46389 39 | 0.001 % |
905.45/905.83 c | 1528290 | 891 13536 45268 | 50372 47220 38 | 0.000 % |
910.15/910.51 c | 1535350 | 891 13536 45268 | 48930 44259 36 | 0.001 % |
915.25/915.66 c | 1543115 | 891 13536 45268 | 2147483647 52024 37 | 0.000 % |
922.15/922.59 c | 1551657 | 891 13536 45268 | 58909 52758 37 | 0.000 % |
930.35/930.72 c | 1561052 | 891 13536 45268 | 52527 45955 36 | 0.000 % |
938.14/938.59 c | 1571386 | 891 13536 45268 | 47801 42758 37 | 0.000 % |
946.54/946.94 c | 1582753 | 891 13536 45268 | 46224 44290 37 | 0.000 % |
955.64/956.01 c | 1595255 | 891 13536 45268 | 2147483647 47510 37 | 0.000 % |
965.54/965.92 c | 1609007 | 891 13536 45268 | 2147483647 61262 38 | 0.000 % |
965.64/966.02 c | 1609109 | 891 13536 45268 | 2147483647 61364 38 | 0.000 % |
965.74/966.10 c | 1609219 | 891 13536 45268 | 2147483647 61474 38 | 0.000 % |
965.74/966.17 c | 1609340 | 891 13536 45268 | 2147483647 61595 38 | 0.000 % |
965.84/966.26 c | 1609474 | 891 13536 45268 | 2147483647 61729 38 | 0.000 % |
965.94/966.33 c | 1609620 | 891 13536 45268 | 2147483647 61875 38 | 0.000 % |
966.04/966.45 c | 1609781 | 891 13536 45268 | 2147483647 62036 38 | 0.000 % |
966.13/966.54 c | 1609958 | 891 13536 45268 | 2147483647 62213 38 | 0.000 % |
966.23/966.64 c | 1610151 | 891 13536 45268 | 62255 62406 38 | 0.000 % |
966.33/966.79 c | 1610365 | 891 13536 45268 | 62255 53775 38 | 0.000 % |
966.54/966.90 c | 1610598 | 891 13536 45268 | 62255 54008 38 | 0.001 % |
966.63/967.07 c | 1610854 | 891 13536 45268 | 62255 54264 38 | 0.000 % |
966.73/967.18 c | 1611136 | 891 13536 45268 | 62255 54546 38 | 0.000 % |
966.93/967.31 c | 1611445 | 891 13536 45268 | 62255 54855 38 | 0.000 % |
967.13/967.52 c | 1611786 | 891 13536 45268 | 62255 55196 38 | 0.000 % |
967.33/967.72 c | 1612158 | 891 13536 45268 | 62255 55568 38 | 0.000 % |
967.54/967.93 c | 1612568 | 891 13536 45268 | 62255 55978 38 | 0.000 % |
967.73/968.13 c | 1613017 | 891 13536 45268 | 62255 56427 38 | 0.000 % |
967.93/968.33 c | 1613511 | 891 13536 45268 | 62255 56921 38 | 0.000 % |
968.23/968.64 c | 1614054 | 891 13536 45268 | 62255 57464 38 | 0.000 % |
968.64/969.01 c | 1614650 | 891 13536 45268 | 62255 58060 38 | 0.000 % |
968.93/969.36 c | 1615305 | 891 13536 45268 | 62255 58715 38 | 0.000 % |
969.23/969.68 c | 1616026 | 891 13536 45268 | 62255 59436 38 | 0.000 % |
969.74/970.13 c | 1616819 | 891 13536 45268 | 62255 60229 38 | 0.001 % |
970.33/970.71 c | 1617691 | 891 13536 45268 | 62255 61101 38 | 0.001 % |
971.03/971.43 c | 1618649 | 891 13536 45268 | 62255 62059 39 | 0.000 % |
971.53/971.97 c | 1619702 | 891 13536 45268 | 62255 54990 38 | 0.000 % |
972.33/972.76 c | 1620862 | 891 13536 45268 | 55289 49282 37 | 0.000 % |
973.13/973.51 c | 1622135 | 891 13536 45268 | 55289 50555 38 | 0.000 % |
973.73/974.18 c | 1623535 | 891 13536 45268 | 55289 51955 38 | 0.000 % |
974.63/975.05 c | 1625075 | 891 13536 45268 | 55289 53495 38 | 0.000 % |
975.93/976.30 c | 1626774 | 891 13536 45268 | 55289 55194 38 | 0.000 % |
977.03/977.48 c | 1628637 | 891 13536 45268 | 55289 51507 38 | 0.000 % |
978.13/978.55 c | 1630686 | 891 13536 45268 | 2147483647 53556 38 | 0.000 % |
979.23/979.68 c | 1632940 | 891 13536 45268 | 2147483647 55810 39 | 0.000 % |
980.53/980.94 c | 1635419 | 891 13536 45268 | 2147483647 58289 39 | 0.001 % |
982.53/982.90 c | 1638144 | 891 13536 45268 | 2147483647 61014 39 | 0.001 % |
984.53/984.98 c | 1641142 | 891 13536 45268 | 62872 57118 39 | 0.000 % |
986.93/987.31 c | 1644439 | 891 13536 45268 | 62872 60415 39 | 0.000 % |
989.63/990.02 c | 1648064 | 891 13536 45268 | 62872 56818 40 | 0.000 % |
993.12/993.50 c | 1652052 | 891 13536 45268 | 58755 53778 40 | 0.001 % |
995.72/996.15 c | 1656437 | 891 13536 45268 | 58755 58163 40 | 0.000 % |
998.92/999.31 c | 1661263 | 891 13536 45268 | 54924 49850 40 | 0.000 % |
1002.62/1003.05 c | 1666569 | 891 13536 45268 | 54924 49066 40 | 0.000 % |
1006.22/1006.67 c | 1672405 | 891 13536 45268 | 52497 49080 40 | 0.001 % |
1010.92/1011.38 c | 1678823 | 891 13536 45268 | 52497 49280 40 | 0.000 % |
1014.82/1015.29 c | 1685883 | 891 13536 45268 | 50457 50295 41 | 0.000 % |
1020.01/1020.40 c | 1693647 | 891 13536 45268 | 49224 47806 40 | 0.000 % |
1026.11/1026.54 c | 1702189 | 891 13536 45268 | 48896 46076 39 | 0.000 % |
1033.01/1033.41 c | 1711586 | 891 13536 45268 | 48483 44528 40 | 0.000 % |
1039.51/1039.98 c | 1721919 | 891 13536 45268 | 48047 44931 40 | 0.000 % |
1047.51/1047.96 c | 1733285 | 891 13536 45268 | 47715 45522 39 | 0.000 % |
1056.50/1056.95 c | 1745787 | 891 13536 45268 | 46663 42486 38 | 0.000 % |
1066.70/1067.18 c | 1759539 | 891 13536 45268 | 46700 45648 40 | 0.000 % |
1075.50/1075.92 c | 1774666 | 891 13536 45268 | 2147483647 50499 41 | 0.000 % |
1075.50/1075.97 c | 1774766 | 891 13536 45268 | 2147483647 50599 41 | 0.000 % |
1075.60/1076.08 c | 1774878 | 891 13536 45268 | 2147483647 50711 41 | 0.000 % |
1075.70/1076.15 c | 1775000 | 891 13536 45268 | 2147483647 50833 41 | 0.000 % |
1075.80/1076.23 c | 1775134 | 891 13536 45268 | 2147483647 50967 41 | 0.000 % |
1075.80/1076.30 c | 1775281 | 891 13536 45268 | 2147483647 51114 41 | 0.000 % |
1075.90/1076.38 c | 1775442 | 891 13536 45268 | 2147483647 51275 41 | 0.001 % |
1076.00/1076.49 c | 1775621 | 891 13536 45268 | 2147483647 51454 41 | 0.000 % |
1076.20/1076.62 c | 1775814 | 891 13536 45268 | 2147483647 51647 41 | 0.000 % |
1076.30/1076.74 c | 1776027 | 891 13536 45268 | 2147483647 51860 41 | 0.000 % |
1076.50/1076.97 c | 1776260 | 891 13536 45268 | 2147483647 52093 41 | 0.000 % |
1076.70/1077.11 c | 1776516 | 891 13536 45268 | 2147483647 52349 41 | 0.000 % |
1076.80/1077.27 c | 1776797 | 891 13536 45268 | 2147483647 52630 41 | 0.000 % |
1077.00/1077.41 c | 1777109 | 891 13536 45268 | 2147483647 52942 41 | 0.000 % |
1077.10/1077.54 c | 1777448 | 891 13536 45268 | 2147483647 53281 41 | 0.000 % |
1077.30/1077.76 c | 1777822 | 891 13536 45268 | 2147483647 53655 41 | 0.000 % |
1077.50/1077.93 c | 1778231 | 891 13536 45268 | 2147483647 54064 41 | 0.000 % |
1077.80/1078.24 c | 1778680 | 891 13536 45268 | 2147483647 54513 41 | 0.000 % |
1078.10/1078.57 c | 1779174 | 891 13536 45268 | 2147483647 55007 41 | 0.001 % |
1078.50/1078.95 c | 1779717 | 891 13536 45268 | 2147483647 55550 41 | 0.000 % |
1079.00/1079.43 c | 1780313 | 891 13536 45268 | 55834 49165 41 | 0.000 % |
1079.30/1079.79 c | 1780968 | 891 13536 45268 | 55834 49820 41 | 0.000 % |
1079.70/1080.17 c | 1781689 | 891 13536 45268 | 55834 50541 41 | 0.000 % |
1080.10/1080.59 c | 1782481 | 891 13536 45268 | 55834 51333 41 | 0.000 % |
1080.50/1080.97 c | 1783352 | 891 13536 45268 | 55834 52204 41 | 0.000 % |
1081.00/1081.49 c | 1784310 | 891 13536 45268 | 55834 53162 41 | 0.000 % |
1081.60/1082.04 c | 1785364 | 891 13536 45268 | 55834 54216 41 | 0.000 % |
1082.20/1082.61 c | 1786523 | 891 13536 45268 | 55834 55375 41 | 0.000 % |
1082.90/1083.33 c | 1787796 | 891 13536 45268 | 55834 51048 41 | 0.000 % |
1083.70/1084.18 c | 1789196 | 891 13536 45268 | 55834 52448 41 | 0.000 % |
1084.40/1084.87 c | 1790736 | 891 13536 45268 | 2147483647 53988 41 | 0.000 % |
1085.30/1085.74 c | 1792430 | 891 13536 45268 | 2147483647 55682 41 | 0.000 % |
1086.40/1086.89 c | 1794293 | 891 13536 45268 | 2147483647 57545 41 | 0.000 % |
1087.50/1087.98 c | 1796343 | 891 13536 45268 | 2147483647 59595 41 | 0.000 % |
1088.69/1089.19 c | 1798597 | 891 13536 45268 | 2147483647 61849 41 | 0.000 % |
1090.29/1090.70 c | 1801075 | 891 13536 45268 | 63254 55614 40 | 0.000 % |
1092.69/1093.11 c | 1803801 | 891 13536 45268 | 63254 58340 40 | 0.000 % |
1094.89/1095.33 c | 1806798 | 891 13536 45268 | 63254 61337 41 | 0.000 % |
1097.19/1097.70 c | 1810095 | 891 13536 45268 | 55255 55349 39 | 0.000 % |
1099.59/1100.09 c | 1813720 | 891 13536 45268 | 55255 50990 38 | 0.000 % |
1101.69/1102.14 c | 1817708 | 891 13536 45268 | 55255 54978 39 | 0.000 % |
1104.69/1105.17 c | 1822093 | 891 13536 45268 | 51077 47571 39 | 0.000 % |
1108.29/1108.72 c | 1826916 | 891 13536 45268 | 51077 47265 39 | 0.000 % |
1111.89/1112.31 c | 1832222 | 891 13536 45268 | 2147483647 52571 39 | 0.000 % |
1115.89/1116.39 c | 1838058 | 891 13536 45268 | 2147483647 58407 39 | 0.000 % |
1120.39/1120.89 c | 1844477 | 891 13536 45268 | 60351 57763 39 | 0.000 % |
1125.38/1125.81 c | 1851536 | 891 13536 45268 | 53591 46543 39 | 0.000 % |
1130.58/1131.06 c | 1859300 | 891 13536 45268 | 53591 47706 39 | 0.001 % |
1135.28/1135.79 c | 1867840 | 891 13536 45268 | 48406 45693 37 | 0.000 % |
1141.68/1142.13 c | 1877235 | 891 13536 45268 | 2147483647 55088 37 | 0.000 % |
1149.08/1149.54 c | 1887568 | 891 13536 45268 | 57854 49933 37 | 0.000 % |
1158.37/1158.84 c | 1898934 | 891 13536 45268 | 52366 45913 39 | 0.000 % |
1166.68/1167.15 c | 1911437 | 891 13536 45268 | 2147483647 46893 41 | 0.000 % |
1177.77/1178.26 c | 1925190 | 891 13536 45268 | 55457 53667 42 | 0.000 % |
1187.97/1188.45 c | 1940319 | 891 13536 45268 | 2147483647 51678 41 | 0.000 % |
1200.07/1200.50 HOME/SatELiteGTI: line 36: 11008 Terminated $MS $TMP.cnf $TMP.result
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1832191-1242770317/watcher-1832191-1242770317 -o /tmp/evaluation-result-1832191-1242770317/solver-1832191-1242770317 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832191-1242770317.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.92 0.98 0.99 3/65 11002
/proc/meminfo: memFree=1816336/2055920 swapFree=4120964/4192956
[pid=11002] ppid=11000 vsize=5356 CPUtime=0
/proc/11002/stat : 11002 (SatELiteGTI) S 11000 11002 10880 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 305061355 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11002/statm: 1339 237 197 169 0 50 0
[pid=11006] ppid=11002 vsize=1004 CPUtime=0
/proc/11006/stat : 11006 (SatELite_releas) R 11002 11002 10880 0 -1 4194304 122 0 0 0 0 0 0 0 18 0 1 0 305061356 1028096 108 1992294400 134512640 135223648 4294956128 18446744073709551615 134734703 0 0 4096 3 0 0 0 17 1 0 0
/proc/11006/statm: 251 110 49 173 0 76 0
[startup+0.0896049 s]
/proc/loadavg: 0.92 0.98 0.99 3/65 11002
/proc/meminfo: memFree=1816336/2055920 swapFree=4120964/4192956
[pid=11002] ppid=11000 vsize=5356 CPUtime=0
/proc/11002/stat : 11002 (SatELiteGTI) S 11000 11002 10880 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 305061355 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11002/statm: 1339 237 197 169 0 50 0
[pid=11006] ppid=11002 vsize=2760 CPUtime=0.07
/proc/11006/stat : 11006 (SatELite_releas) R 11002 11002 10880 0 -1 4194304 539 0 0 0 7 0 0 0 18 0 1 0 305061356 2826240 525 1992294400 134512640 135223648 4294956128 18446744073709551615 134585480 0 0 4096 3 0 0 0 17 1 0 0
/proc/11006/statm: 690 525 76 173 0 515 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 8116
[startup+0.102606 s]
/proc/loadavg: 0.92 0.98 0.99 3/65 11002
/proc/meminfo: memFree=1816336/2055920 swapFree=4120964/4192956
[pid=11002] ppid=11000 vsize=5356 CPUtime=0
/proc/11002/stat : 11002 (SatELiteGTI) S 11000 11002 10880 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 305061355 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11002/statm: 1339 237 197 169 0 50 0
[pid=11006] ppid=11002 vsize=2760 CPUtime=0.09
/proc/11006/stat : 11006 (SatELite_releas) R 11002 11002 10880 0 -1 4194304 540 0 0 0 9 0 0 0 18 0 1 0 305061356 2826240 526 1992294400 134512640 135223648 4294956128 18446744073709551615 134585461 0 0 4096 3 0 0 0 17 1 0 0
/proc/11006/statm: 690 526 76 173 0 515 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 8116
[startup+0.30163 s]
/proc/loadavg: 0.92 0.98 0.99 3/65 11002
/proc/meminfo: memFree=1816336/2055920 swapFree=4120964/4192956
[pid=11002] ppid=11000 vsize=5356 CPUtime=0.16
/proc/11002/stat : 11002 (SatELiteGTI) S 11000 11002 10880 0 -1 4194304 336 820 0 0 0 0 16 0 15 0 1 0 305061355 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11002/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 5356
[startup+0.701676 s]
/proc/loadavg: 0.92 0.98 0.99 3/65 11002
/proc/meminfo: memFree=1816336/2055920 swapFree=4120964/4192956
[pid=11002] ppid=11000 vsize=5356 CPUtime=0.16
/proc/11002/stat : 11002 (SatELiteGTI) S 11000 11002 10880 0 -1 4194304 336 820 0 0 0 0 16 0 15 0 1 0 305061355 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11002/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 5356
[startup+1.50276 s]
/proc/loadavg: 0.92 0.98 0.99 2/67 11008
/proc/meminfo: memFree=1813824/2055920 swapFree=4120964/4192956
[pid=11002] ppid=11000 vsize=5356 CPUtime=0.16
/proc/11002/stat : 11002 (SatELiteGTI) S 11000 11002 10880 0 -1 4194304 336 820 0 0 0 0 16 0 15 0 1 0 305061355 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11002/statm: 1339 239 197 169 0 50 0
[pid=11008] ppid=11002 vsize=3740 CPUtime=1.31
/proc/11008/stat : 11008 (minisat_static) R 11002 11002 10880 0 -1 4194304 644 0 0 0 131 0 0 0 25 0 1 0 305061372 3829760 630 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/11008/statm: 935 630 76 171 0 762 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 9096
[startup+3.10194 s]
/proc/loadavg: 0.92 0.98 0.99 2/67 11008
/proc/meminfo: memFree=1812352/2055920 swapFree=4120964/4192956
[pid=11002] ppid=11000 vsize=5356 CPUtime=0.16
/proc/11002/stat : 11002 (SatELiteGTI) S 11000 11002 10880 0 -1 4194304 336 820 0 0 0 0 16 0 15 0 1 0 305061355 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11002/statm: 1339 239 197 169 0 50 0
[pid=11008] ppid=11002 vsize=5740 CPUtime=2.91
/proc/11008/stat : 11008 (minisat_static) R 11002 11002 10880 0 -1 4194304 1142 0 0 0 291 0 0 0 25 0 1 0 305061372 5877760 1128 1992294400 134512640 135215339 4294956240 18446744073709551615 134528809 0 0 4096 3 0 0 0 17 1 0 0
/proc/11008/statm: 1435 1128 76 171 0 1262 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 11096
[startup+6.3013 s]
/proc/loadavg: 0.93 0.98 0.99 2/67 11008
/proc/meminfo: memFree=1809096/2055920 swapFree=4120964/4192956
[pid=11002] ppid=11000 vsize=5356 CPUtime=0.16
/proc/11002/stat : 11002 (SatELiteGTI) S 11000 11002 10880 0 -1 4194304 336 820 0 0 0 0 16 0 15 0 1 0 305061355 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11002/statm: 1339 239 197 169 0 50 0
[pid=11008] ppid=11002 vsize=8512 CPUtime=6.11
/proc/11008/stat : 11008 (minisat_static) R 11002 11002 10880 0 -1 4194304 1827 0 0 0 610 1 0 0 25 0 1 0 305061372 8716288 1813 1992294400 134512640 135215339 4294956240 18446744073709551615 134528872 0 0 4096 3 0 0 0 17 1 0 0
/proc/11008/statm: 2128 1813 76 171 0 1955 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 13868
[startup+12.702 s]
/proc/loadavg: 0.93 0.98 0.99 2/67 11008
/proc/meminfo: memFree=1805328/2055920 swapFree=4120964/4192956
[pid=11002] ppid=11000 vsize=5356 CPUtime=0.16
/proc/11002/stat : 11002 (SatELiteGTI) S 11000 11002 10880 0 -1 4194304 336 820 0 0 0 0 16 0 15 0 1 0 305061355 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11002/statm: 1339 239 197 169 0 50 0
[pid=11008] ppid=11002 vsize=12028 CPUtime=12.51
/proc/11008/stat : 11008 (minisat_static) R 11002 11002 10880 0 -1 4194304 2676 0 0 0 1249 2 0 0 25 0 1 0 305061372 12316672 2662 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/11008/statm: 3007 2662 76 171 0 2834 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 17384
[startup+25.5014 s]
/proc/loadavg: 0.95 0.98 0.99 2/67 11008
/proc/meminfo: memFree=1801680/2055920 swapFree=4120964/4192956
[pid=11002] ppid=11000 vsize=5356 CPUtime=0.16
/proc/11002/stat : 11002 (SatELiteGTI) S 11000 11002 10880 0 -1 4194304 336 820 0 0 0 0 16 0 15 0 1 0 305061355 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11002/statm: 1339 239 197 169 0 50 0
[pid=11008] ppid=11002 vsize=15328 CPUtime=25.3
/proc/11008/stat : 11008 (minisat_static) R 11002 11002 10880 0 -1 4194304 3497 0 0 0 2527 3 0 0 25 0 1 0 305061372 15695872 3483 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/11008/statm: 3832 3483 76 171 0 3659 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 20684
[startup+51.1013 s]
/proc/loadavg: 0.96 0.98 0.99 2/67 11008
/proc/meminfo: memFree=1801360/2055920 swapFree=4120964/4192956
[pid=11002] ppid=11000 vsize=5356 CPUtime=0.16
/proc/11002/stat : 11002 (SatELiteGTI) S 11000 11002 10880 0 -1 4194304 336 820 0 0 0 0 16 0 15 0 1 0 305061355 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11002/statm: 1339 239 197 169 0 50 0
[pid=11008] ppid=11002 vsize=15600 CPUtime=50.89
/proc/11008/stat : 11008 (minisat_static) R 11002 11002 10880 0 -1 4194304 3551 0 0 0 5086 3 0 0 25 0 1 0 305061372 15974400 3537 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/11008/statm: 3900 3537 76 171 0 3727 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 20956
[startup+102.306 s]
/proc/loadavg: 0.98 0.98 0.99 2/67 11008
/proc/meminfo: memFree=1801232/2055920 swapFree=4120964/4192956
[pid=11002] ppid=11000 vsize=5356 CPUtime=0.16
/proc/11002/stat : 11002 (SatELiteGTI) S 11000 11002 10880 0 -1 4194304 336 820 0 0 0 0 16 0 15 0 1 0 305061355 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11002/statm: 1339 239 197 169 0 50 0
[pid=11008] ppid=11002 vsize=15600 CPUtime=102.07
/proc/11008/stat : 11008 (minisat_static) R 11002 11002 10880 0 -1 4194304 3563 0 0 0 10204 3 0 0 25 0 1 0 305061372 15974400 3549 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/11008/statm: 3900 3549 76 171 0 3727 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 20956
[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 11014
/proc/meminfo: memFree=1800912/2055920 swapFree=4120964/4192956
[pid=11002] ppid=11000 vsize=5356 CPUtime=0.16
/proc/11002/stat : 11002 (SatELiteGTI) S 11000 11002 10880 0 -1 4194304 336 820 0 0 0 0 16 0 15 0 1 0 305061355 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11002/statm: 1339 239 197 169 0 50 0
[pid=11008] ppid=11002 vsize=15736 CPUtime=162.04
/proc/11008/stat : 11008 (minisat_static) R 11002 11002 10880 0 -1 4194304 3583 0 0 0 16200 4 0 0 25 0 1 0 305061372 16113664 3569 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/11008/statm: 3934 3569 76 171 0 3761 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 21092
[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 11014
/proc/meminfo: memFree=1799632/2055920 swapFree=4120964/4192956
[pid=11002] ppid=11000 vsize=5356 CPUtime=0.16
/proc/11002/stat : 11002 (SatELiteGTI) S 11000 11002 10880 0 -1 4194304 336 820 0 0 0 0 16 0 15 0 1 0 305061355 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11002/statm: 1339 239 197 169 0 50 0
[pid=11008] ppid=11002 vsize=16940 CPUtime=222.03
/proc/11008/stat : 11008 (minisat_static) R 11002 11002 10880 0 -1 4194304 3894 0 0 0 22198 5 0 0 25 0 1 0 305061372 17346560 3880 1992294400 134512640 135215339 4294956240 18446744073709551615 134528782 0 0 4096 3 0 0 0 17 1 0 0
/proc/11008/statm: 4235 3880 76 171 0 4062 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 22296
[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 11014
/proc/meminfo: memFree=1799440/2055920 swapFree=4120964/4192956
[pid=11002] ppid=11000 vsize=5356 CPUtime=0.16
/proc/11002/stat : 11002 (SatELiteGTI) S 11000 11002 10880 0 -1 4194304 336 820 0 0 0 0 16 0 15 0 1 0 305061355 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11002/statm: 1339 239 197 169 0 50 0
[pid=11008] ppid=11002 vsize=17084 CPUtime=282
/proc/11008/stat : 11008 (minisat_static) R 11002 11002 10880 0 -1 4194304 3930 0 0 0 28195 5 0 0 25 0 1 0 305061372 17494016 3916 1992294400 134512640 135215339 4294956240 18446744073709551615 134529051 0 0 4096 3 0 0 0 17 1 0 0
/proc/11008/statm: 4271 3916 76 171 0 4098 0
Current children cumulated CPU time (s) 282.16
Current children cumulated vsize (KiB) 22440
[startup+342.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 11014
/proc/meminfo: memFree=1799184/2055920 swapFree=4120964/4192956
[pid=11002] ppid=11000 vsize=5356 CPUtime=0.16
/proc/11002/stat : 11002 (SatELiteGTI) S 11000 11002 10880 0 -1 4194304 336 820 0 0 0 0 16 0 15 0 1 0 305061355 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11002/statm: 1339 239 197 169 0 50 0
[pid=11008] ppid=11002 vsize=17228 CPUtime=341.98
/proc/11008/stat : 11008 (minisat_static) R 11002 11002 10880 0 -1 4194304 3969 0 0 0 34193 5 0 0 25 0 1 0 305061372 17641472 3955 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/11008/statm: 4307 3955 76 171 0 4134 0
Current children cumulated CPU time (s) 342.14
Current children cumulated vsize (KiB) 22584
[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 11014
/proc/meminfo: memFree=1799120/2055920 swapFree=4120964/4192956
[pid=11002] ppid=11000 vsize=5356 CPUtime=0.16
################
# More data... #
################
[pid=11008] ppid=11002 vsize=17228 CPUtime=521.91
/proc/11008/stat : 11008 (minisat_static) R 11002 11002 10880 0 -1 4194304 3985 0 0 0 52186 5 0 0 25 0 1 0 305061372 17641472 3971 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/11008/statm: 4307 3971 76 171 0 4134 0
Current children cumulated CPU time (s) 522.07
Current children cumulated vsize (KiB) 22584
[startup+582.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 11014
/proc/meminfo: memFree=1798352/2055920 swapFree=4120964/4192956
[pid=11002] ppid=11000 vsize=5356 CPUtime=0.16
/proc/11002/stat : 11002 (SatELiteGTI) S 11000 11002 10880 0 -1 4194304 336 820 0 0 0 0 16 0 15 0 1 0 305061355 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11002/statm: 1339 239 197 169 0 50 0
[pid=11008] ppid=11002 vsize=17656 CPUtime=581.9
/proc/11008/stat : 11008 (minisat_static) R 11002 11002 10880 0 -1 4194304 4084 0 0 0 58184 6 0 0 25 0 1 0 305061372 18079744 4070 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/11008/statm: 4414 4070 76 171 0 4241 0
Current children cumulated CPU time (s) 582.06
Current children cumulated vsize (KiB) 23012
[startup+642.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 11014
/proc/meminfo: memFree=1798224/2055920 swapFree=4120964/4192956
[pid=11002] ppid=11000 vsize=5356 CPUtime=0.16
/proc/11002/stat : 11002 (SatELiteGTI) S 11000 11002 10880 0 -1 4194304 336 820 0 0 0 0 16 0 15 0 1 0 305061355 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11002/statm: 1339 239 197 169 0 50 0
[pid=11008] ppid=11002 vsize=17792 CPUtime=641.89
/proc/11008/stat : 11008 (minisat_static) R 11002 11002 10880 0 -1 4194304 4093 0 0 0 64183 6 0 0 25 0 1 0 305061372 18219008 4079 1992294400 134512640 135215339 4294956240 18446744073709551615 134528688 0 0 4096 3 0 0 0 17 1 0 0
/proc/11008/statm: 4448 4079 76 171 0 4275 0
Current children cumulated CPU time (s) 642.05
Current children cumulated vsize (KiB) 23148
[startup+702.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 11014
/proc/meminfo: memFree=1797968/2055920 swapFree=4120964/4192956
[pid=11002] ppid=11000 vsize=5356 CPUtime=0.16
/proc/11002/stat : 11002 (SatELiteGTI) S 11000 11002 10880 0 -1 4194304 336 820 0 0 0 0 16 0 15 0 1 0 305061355 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11002/statm: 1339 239 197 169 0 50 0
[pid=11008] ppid=11002 vsize=17792 CPUtime=701.86
/proc/11008/stat : 11008 (minisat_static) R 11002 11002 10880 0 -1 4194304 4093 0 0 0 70180 6 0 0 25 0 1 0 305061372 18219008 4079 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/11008/statm: 4448 4079 76 171 0 4275 0
Current children cumulated CPU time (s) 702.02
Current children cumulated vsize (KiB) 23148
[startup+762.305 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 11014
/proc/meminfo: memFree=1797904/2055920 swapFree=4120964/4192956
[pid=11002] ppid=11000 vsize=5356 CPUtime=0.16
/proc/11002/stat : 11002 (SatELiteGTI) S 11000 11002 10880 0 -1 4194304 336 820 0 0 0 0 16 0 15 0 1 0 305061355 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11002/statm: 1339 239 197 169 0 50 0
[pid=11008] ppid=11002 vsize=17792 CPUtime=761.85
/proc/11008/stat : 11008 (minisat_static) R 11002 11002 10880 0 -1 4194304 4093 0 0 0 76179 6 0 0 25 0 1 0 305061372 18219008 4079 1992294400 134512640 135215339 4294956240 18446744073709551615 134528795 0 0 4096 3 0 0 0 17 1 0 0
/proc/11008/statm: 4448 4079 76 171 0 4275 0
Current children cumulated CPU time (s) 762.01
Current children cumulated vsize (KiB) 23148
[startup+822.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 11014
/proc/meminfo: memFree=1797136/2055920 swapFree=4120964/4192956
[pid=11002] ppid=11000 vsize=5356 CPUtime=0.16
/proc/11002/stat : 11002 (SatELiteGTI) S 11000 11002 10880 0 -1 4194304 336 820 0 0 0 0 16 0 15 0 1 0 305061355 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11002/statm: 1339 239 197 169 0 50 0
[pid=11008] ppid=11002 vsize=18452 CPUtime=821.82
/proc/11008/stat : 11008 (minisat_static) R 11002 11002 10880 0 -1 4194304 4275 0 0 0 82176 6 0 0 25 0 1 0 305061372 18894848 4261 1992294400 134512640 135215339 4294956240 18446744073709551615 134527276 0 0 4096 3 0 0 0 17 1 0 0
/proc/11008/statm: 4613 4261 76 171 0 4440 0
Current children cumulated CPU time (s) 821.98
Current children cumulated vsize (KiB) 23808
[startup+882.303 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 11014
/proc/meminfo: memFree=1796816/2055920 swapFree=4120964/4192956
[pid=11002] ppid=11000 vsize=5356 CPUtime=0.16
/proc/11002/stat : 11002 (SatELiteGTI) S 11000 11002 10880 0 -1 4194304 336 820 0 0 0 0 16 0 15 0 1 0 305061355 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11002/statm: 1339 239 197 169 0 50 0
[pid=11008] ppid=11002 vsize=18600 CPUtime=881.8
/proc/11008/stat : 11008 (minisat_static) R 11002 11002 10880 0 -1 4194304 4313 0 0 0 88174 6 0 0 25 0 1 0 305061372 19046400 4299 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/11008/statm: 4650 4299 76 171 0 4477 0
Current children cumulated CPU time (s) 881.96
Current children cumulated vsize (KiB) 23956
[startup+942.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 11014
/proc/meminfo: memFree=1796688/2055920 swapFree=4120964/4192956
[pid=11002] ppid=11000 vsize=5356 CPUtime=0.16
/proc/11002/stat : 11002 (SatELiteGTI) S 11000 11002 10880 0 -1 4194304 336 820 0 0 0 0 16 0 15 0 1 0 305061355 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11002/statm: 1339 239 197 169 0 50 0
[pid=11008] ppid=11002 vsize=18732 CPUtime=941.78
/proc/11008/stat : 11008 (minisat_static) R 11002 11002 10880 0 -1 4194304 4339 0 0 0 94172 6 0 0 25 0 1 0 305061372 19181568 4325 1992294400 134512640 135215339 4294956240 18446744073709551615 134545892 0 0 4096 3 0 0 0 17 1 0 0
/proc/11008/statm: 4683 4325 76 171 0 4510 0
Current children cumulated CPU time (s) 941.94
Current children cumulated vsize (KiB) 24088
[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 11014
/proc/meminfo: memFree=1796432/2055920 swapFree=4120964/4192956
[pid=11002] ppid=11000 vsize=5356 CPUtime=0.16
/proc/11002/stat : 11002 (SatELiteGTI) S 11000 11002 10880 0 -1 4194304 336 820 0 0 0 0 16 0 15 0 1 0 305061355 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11002/statm: 1339 239 197 169 0 50 0
[pid=11008] ppid=11002 vsize=18872 CPUtime=1001.76
/proc/11008/stat : 11008 (minisat_static) R 11002 11002 10880 0 -1 4194304 4381 0 0 0 100170 6 0 0 25 0 1 0 305061372 19324928 4367 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/11008/statm: 4718 4367 76 171 0 4545 0
Current children cumulated CPU time (s) 1001.92
Current children cumulated vsize (KiB) 24228
[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 11014
/proc/meminfo: memFree=1796304/2055920 swapFree=4120964/4192956
[pid=11002] ppid=11000 vsize=5356 CPUtime=0.16
/proc/11002/stat : 11002 (SatELiteGTI) S 11000 11002 10880 0 -1 4194304 336 820 0 0 0 0 16 0 15 0 1 0 305061355 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11002/statm: 1339 239 197 169 0 50 0
[pid=11008] ppid=11002 vsize=19016 CPUtime=1061.74
/proc/11008/stat : 11008 (minisat_static) R 11002 11002 10880 0 -1 4194304 4391 0 0 0 106168 6 0 0 25 0 1 0 305061372 19472384 4377 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/11008/statm: 4754 4377 76 171 0 4581 0
Current children cumulated CPU time (s) 1061.9
Current children cumulated vsize (KiB) 24372
[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 11014
/proc/meminfo: memFree=1795984/2055920 swapFree=4120964/4192956
[pid=11002] ppid=11000 vsize=5356 CPUtime=0.16
/proc/11002/stat : 11002 (SatELiteGTI) S 11000 11002 10880 0 -1 4194304 336 820 0 0 0 0 16 0 15 0 1 0 305061355 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11002/statm: 1339 239 197 169 0 50 0
[pid=11008] ppid=11002 vsize=19148 CPUtime=1121.73
/proc/11008/stat : 11008 (minisat_static) R 11002 11002 10880 0 -1 4194304 4443 0 0 0 112167 6 0 0 25 0 1 0 305061372 19607552 4429 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/11008/statm: 4787 4429 76 171 0 4614 0
Current children cumulated CPU time (s) 1121.89
Current children cumulated vsize (KiB) 24504
[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 11014
/proc/meminfo: memFree=1795856/2055920 swapFree=4120964/4192956
[pid=11002] ppid=11000 vsize=5356 CPUtime=0.16
/proc/11002/stat : 11002 (SatELiteGTI) S 11000 11002 10880 0 -1 4194304 336 820 0 0 0 0 16 0 15 0 1 0 305061355 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11002/statm: 1339 239 197 169 0 50 0
[pid=11008] ppid=11002 vsize=19284 CPUtime=1181.71
/proc/11008/stat : 11008 (minisat_static) R 11002 11002 10880 0 -1 4194304 4456 0 0 0 118165 6 0 0 25 0 1 0 305061372 19746816 4442 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/11008/statm: 4821 4442 76 171 0 4648 0
Current children cumulated CPU time (s) 1181.87
Current children cumulated vsize (KiB) 24640
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.5 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 11014
/proc/meminfo: memFree=1795856/2055920 swapFree=4120964/4192956
[pid=11002] ppid=11000 vsize=5356 CPUtime=0.16
/proc/11002/stat : 11002 (SatELiteGTI) S 11000 11002 10880 0 -1 4194304 336 820 0 0 0 0 16 0 15 0 1 0 305061355 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11002/statm: 1339 239 197 169 0 50 0
[pid=11008] ppid=11002 vsize=19284 CPUtime=1199.91
/proc/11008/stat : 11008 (minisat_static) R 11002 11002 10880 0 -1 4194304 4460 0 0 0 119985 6 0 0 25 0 1 0 305061372 19746816 4446 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/11008/statm: 4821 4446 76 171 0 4648 0
Current children cumulated CPU time (s) 1200.07
Current children cumulated vsize (KiB) 24640
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1200.5 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 11014
/proc/meminfo: memFree=1795856/2055920 swapFree=4120964/4192956
[pid=11002] ppid=11000 vsize=5356 CPUtime=0.16
/proc/11002/stat : 11002 (SatELiteGTI) S 11000 11002 10880 0 -1 4194304 336 820 0 0 0 0 16 0 15 0 1 0 305061355 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11002/statm: 1339 239 197 169 0 50 0
[pid=11008] ppid=11002 vsize=19284 CPUtime=1199.91
/proc/11008/stat : 11008 (minisat_static) R 11002 11002 10880 0 -1 4194304 4460 0 0 0 119985 6 0 0 25 0 1 0 305061372 19746816 4446 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/11008/statm: 4821 4446 76 171 0 4648 0
Current children cumulated CPU time (s) 1200.07
Current children cumulated vsize (KiB) 24640
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.51
CPU time (s): 1200.1
CPU user time (s): 1200.01
CPU system time (s): 0.083987
CPU usage (%): 99.9655
Max. virtual memory (cumulated for all children) (KiB): 24640
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1200.01
system time used= 0.083987
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5626
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= 31
involuntary context switches= 4255
runsolver used 1.11983 second user time and 3.36749 second system time
The end
Begin job on node86 at 2009-05-19 23:58:37
IDJOB=1832191
IDBENCH=24615
IDSOLVER=671
FILE ID=node86/1832191-1242770317
PBS_JOBID= 9322218
Free space on /tmp= 66364 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT07/crafted/Hard/contest04/connamacher/connm-ue-csp-sat-n1200-d-0.02-s383740539.sat05-534.reshuffled-07.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832191-1242770317/watcher-1832191-1242770317 -o /tmp/evaluation-result-1832191-1242770317/solver-1832191-1242770317 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832191-1242770317.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 84c61ea490109e11c1f7afe1d2e5d438
RANDOM SEED=882859424
node86.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.213
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.213
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5996.54
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1816816 kB
Buffers: 14716 kB
Cached: 125268 kB
SwapCached: 66192 kB
Active: 74768 kB
Inactive: 133596 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1816816 kB
SwapTotal: 4192956 kB
SwapFree: 4120964 kB
Dirty: 1808 kB
Writeback: 0 kB
Mapped: 13948 kB
Slab: 16600 kB
Committed_AS: 1053236 kB
PageTables: 1464 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= 66360 MiB
End job on node86 at 2009-05-20 00:18:40