0.00/0.00 c Parsing...
0.00/0.02 c ==============================================================================
0.00/0.02 c | | ORIGINAL | LEARNT | |
0.00/0.02 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.02 c ==============================================================================
0.00/0.02 c | 0 | 25200 75600 | 7559 0 0 nan | 0.000 % |
0.00/0.08 c | 0 | 25049 76011 | -- 0 -- -- | -- | -151/411
0.00/0.08 c ==============================================================================
0.00/0.08 c Result : #vars: 5862 #clauses: 25049 #literals: 76011
0.00/0.08 c CPU time: 0.069989 s
0.00/0.08 c ==============================================================================
0.00/0.11 c This is MiniSat 2.0 beta
0.00/0.11 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.11 c ============================[ Problem Statistics ]=============================
0.00/0.11 c | |
0.00/0.11 c | Number of variables: 5862 |
0.00/0.11 c | Number of clauses: 25049 |
0.00/0.12 c | Parsing time: 0.02 s |
0.00/0.13 c ============================[ Search Statistics ]==============================
0.00/0.13 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.00/0.13 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.00/0.13 c ===============================================================================
0.00/0.13 c | 0 | 5862 25049 76011 | 8349 0 nan | 0.000 % |
0.00/0.14 c | 101 | 5862 25049 76011 | 8349 101 91 | 0.000 % |
0.00/0.16 c | 202 | 5862 25049 76011 | 8349 202 99 | 0.000 % |
0.00/0.18 c | 304 | 5862 25049 76011 | 8349 304 110 | 0.000 % |
0.00/0.19 c | 414 | 5862 25049 76011 | 8349 414 111 | 0.000 % |
0.10/0.21 c | 514 | 5862 25049 76011 | 8349 514 113 | 0.000 % |
0.10/0.23 c | 624 | 5862 25049 76011 | 8349 624 109 | 0.000 % |
0.10/0.25 c | 746 | 5862 25049 76011 | 8349 746 107 | 0.000 % |
0.10/0.27 c | 846 | 5862 25049 76011 | 8349 846 109 | 0.000 % |
0.10/0.29 c | 958 | 5862 25049 76011 | 8349 958 112 | 0.000 % |
0.10/0.31 c | 1079 | 5862 25049 76011 | 8349 1079 113 | 0.000 % |
0.10/0.33 c | 1212 | 5862 25049 76011 | 8349 1212 114 | 0.000 % |
0.10/0.35 c | 1313 | 5862 25049 76011 | 8349 1313 116 | 0.000 % |
0.10/0.37 c | 1425 | 5862 25049 76011 | 8349 1425 116 | 0.000 % |
0.10/0.39 c | 1547 | 5862 25049 76011 | 8349 1547 116 | 0.000 % |
0.10/0.41 c | 1686 | 5862 25049 76011 | 8349 1686 114 | 0.000 % |
0.10/0.44 c | 1833 | 5862 25049 76011 | 8349 1833 114 | 0.000 % |
0.10/0.46 c | 1933 | 5862 25049 76011 | 8349 1933 114 | 0.000 % |
0.10/0.48 c | 2043 | 5862 25049 76011 | 8349 2043 114 | 0.000 % |
0.10/0.50 c | 2164 | 5862 25049 76011 | 8349 2164 113 | 0.000 % |
0.10/0.52 c | 2297 | 5862 25049 76011 | 8349 2297 114 | 0.000 % |
0.10/0.55 c | 2443 | 5862 25049 76011 | 8349 2443 115 | 0.000 % |
0.10/0.58 c | 2604 | 5862 25049 76011 | 8349 2604 115 | 0.000 % |
0.10/0.60 c | 2705 | 5862 25049 76011 | 8349 2705 116 | 0.000 % |
0.10/0.61 c | 2816 | 5862 25049 76011 | 8349 2816 115 | 0.000 % |
0.10/0.64 c | 2937 | 5862 25049 76011 | 8349 2937 116 | 0.000 % |
0.10/0.66 c | 3073 | 5862 25049 76011 | 8349 3073 115 | 0.000 % |
0.10/0.69 c | 3219 | 5862 25049 76011 | 8349 3219 116 | 0.000 % |
0.10/0.72 c | 3379 | 5862 25049 76011 | 8349 3379 117 | 0.000 % |
0.10/0.76 c | 3558 | 5862 25049 76011 | 8349 3558 116 | 0.000 % |
0.10/0.77 c | 3658 | 5862 25049 76011 | 8349 3658 116 | 0.000 % |
0.10/0.79 c | 3768 | 5862 25049 76011 | 8349 3768 116 | 0.000 % |
0.10/0.82 c | 3890 | 5862 25049 76011 | 8349 3890 116 | 0.000 % |
0.10/0.84 c | 4023 | 5862 25049 76011 | 8349 4023 116 | 0.000 % |
0.10/0.87 c | 4169 | 5862 25049 76011 | 8349 4169 116 | 0.000 % |
0.10/0.91 c | 4332 | 5862 25049 76011 | 8349 4332 117 | 0.000 % |
0.10/0.94 c | 4510 | 5862 25049 76011 | 8349 4510 117 | 0.000 % |
0.10/0.98 c | 4703 | 5862 25049 76011 | 8349 4703 117 | 0.000 % |
0.10/1.00 c | 4803 | 5862 25049 76011 | 8349 4803 117 | 0.000 % |
0.98/1.02 c | 4913 | 5862 25049 76011 | 8349 4913 117 | 0.000 % |
0.98/1.05 c | 5034 | 5862 25049 76011 | 8349 5034 117 | 0.000 % |
0.98/1.08 c | 5170 | 5862 25049 76011 | 8349 5170 117 | 0.000 % |
1.08/1.10 c | 5317 | 5862 25049 76011 | 8349 5317 117 | 0.000 % |
1.08/1.14 c | 5478 | 5862 25049 76011 | 8349 5478 117 | 0.000 % |
1.08/1.18 c | 5654 | 5862 25049 76011 | 8349 5654 117 | 0.000 % |
1.17/1.22 c | 5848 | 5862 25049 76011 | 8349 5848 116 | 0.000 % |
1.17/1.26 c | 6060 | 5862 25049 76011 | 8349 6060 116 | 0.000 % |
1.17/1.28 c | 6161 | 5862 25049 76011 | 8349 6161 116 | 0.000 % |
1.27/1.30 c | 6272 | 5862 25049 76011 | 8349 6272 117 | 0.000 % |
1.27/1.33 c | 6393 | 5862 25049 76011 | 8349 6393 116 | 0.000 % |
1.27/1.36 c | 6527 | 5862 25049 76011 | 8349 6527 116 | 0.000 % |
1.27/1.39 c | 6678 | 5862 25049 76011 | 8349 6678 117 | 0.000 % |
1.37/1.43 c | 6839 | 5862 25049 76011 | 8349 6839 117 | 0.000 % |
1.37/1.46 c | 7015 | 5862 25049 76011 | 8349 7015 117 | 0.000 % |
1.48/1.51 c | 7208 | 5862 25049 76011 | 8349 7208 118 | 0.000 % |
1.48/1.56 c | 7425 | 5862 25049 76011 | 8349 7425 119 | 0.000 % |
1.57/1.61 c | 7659 | 5862 25049 76011 | 8349 7659 119 | 0.000 % |
1.57/1.63 c | 7760 | 5862 25049 76011 | 8349 7760 119 | 0.000 % |
1.57/1.65 c | 7871 | 5862 25049 76011 | 8349 7871 119 | 0.000 % |
1.57/1.68 c | 7994 | 5862 25049 76011 | 8349 7994 119 | 0.000 % |
1.67/1.71 c | 8129 | 5862 25049 76011 | 8349 8129 118 | 0.000 % |
1.67/1.74 c | 8279 | 5862 25049 76011 | 8349 8279 118 | 0.000 % |
1.67/1.78 c | 8440 | 5862 25049 76011 | 8349 8440 119 | 0.000 % |
1.77/1.83 c | 8616 | 5862 25049 76011 | 8349 7772 118 | 0.000 % |
1.77/1.87 c | 8810 | 5862 25049 76011 | 8349 7966 118 | 0.000 % |
1.87/1.92 c | 9022 | 5862 25049 76011 | 8349 8178 119 | 0.000 % |
1.87/1.97 c | 9255 | 5862 25049 76011 | 8349 8411 119 | 0.000 % |
1.97/2.03 c | 9511 | 5862 25049 76011 | 8349 7826 119 | 0.000 % |
1.97/2.05 c | 9611 | 5862 25049 76011 | 8349 7926 119 | 0.000 % |
1.97/2.07 c | 9721 | 5862 25049 76011 | 8349 8036 119 | 0.000 % |
2.08/2.10 c | 9842 | 5862 25049 76011 | 8349 8157 119 | 0.000 % |
2.08/2.14 c | 9975 | 5862 25049 76011 | 8349 8290 120 | 0.000 % |
2.08/2.17 c | 10121 | 5862 25049 76011 | 2147483647 8436 120 | 0.000 % |
2.18/2.20 c | 10281 | 5862 25049 76011 | 2147483647 8596 119 | 0.000 % |
2.18/2.24 c | 10458 | 5862 25049 76011 | 2147483647 8773 119 | 0.000 % |
2.18/2.29 c | 10651 | 5862 25049 76011 | 2147483647 8966 120 | 0.000 % |
2.27/2.33 c | 10863 | 5862 25049 76011 | 2147483647 9178 120 | 0.000 % |
2.27/2.39 c | 11096 | 5862 25049 76011 | 2147483647 9411 120 | 0.000 % |
2.37/2.45 c | 11353 | 5862 25049 76011 | 2147483647 9668 120 | 0.000 % |
2.47/2.51 c | 11635 | 5862 25049 76011 | 2147483647 9950 120 | 0.000 % |
2.47/2.54 c | 11736 | 5862 25049 76011 | 2147483647 10051 119 | 0.000 % |
2.47/2.56 c | 11846 | 5862 25049 76011 | 2147483647 10161 119 | 0.000 % |
2.47/2.60 c | 11968 | 5862 25049 76011 | 2147483647 10283 119 | 0.000 % |
2.57/2.63 c | 12103 | 5862 25049 76011 | 2147483647 10418 119 | 0.000 % |
2.57/2.66 c | 12249 | 5862 25049 76011 | 2147483647 10564 119 | 0.000 % |
2.67/2.70 c | 12411 | 5862 25049 76011 | 2147483647 10726 120 | 0.000 % |
2.67/2.75 c | 12587 | 5862 25049 76011 | 2147483647 10902 120 | 0.000 % |
2.67/2.79 c | 12781 | 5862 25049 76011 | 2147483647 11096 119 | 0.000 % |
2.77/2.84 c | 12993 | 5862 25049 76011 | 2147483647 11308 119 | 0.000 % |
2.87/2.90 c | 13226 | 5862 25049 76011 | 2147483647 11541 119 | 0.000 % |
2.87/2.96 c | 13482 | 5862 25049 76011 | 2147483647 11797 120 | 0.000 % |
2.97/3.03 c | 13763 | 5862 25049 76011 | 2147483647 12078 120 | 0.000 % |
3.08/3.11 c | 14072 | 5862 25049 76011 | 2147483647 12387 120 | 0.000 % |
3.08/3.14 c | 14173 | 5862 25049 76011 | 2147483647 12488 120 | 0.000 % |
3.08/3.17 c | 14283 | 5862 25049 76011 | 2147483647 12598 120 | 0.000 % |
3.08/3.20 c | 14405 | 5862 25049 76011 | 2147483647 12720 120 | 0.000 % |
3.18/3.23 c | 14539 | 5862 25049 76011 | 2147483647 12854 120 | 0.000 % |
3.18/3.26 c | 14685 | 5862 25049 76011 | 2147483647 13000 120 | 0.000 % |
3.28/3.30 c | 14846 | 5862 25049 76011 | 2147483647 13161 120 | 0.000 % |
3.28/3.35 c | 15025 | 5862 25049 76011 | 2147483647 13340 120 | 0.000 % |
3.38/3.40 c | 15218 | 5862 25049 76011 | 2147483647 13533 120 | 0.000 % |
3.38/3.46 c | 15432 | 5862 25049 76011 | 2147483647 13747 120 | 0.000 % |
3.48/3.52 c | 15666 | 5862 25049 76011 | 2147483647 13981 120 | 0.000 % |
3.48/3.59 c | 15924 | 5862 25049 76011 | 2147483647 14239 120 | 0.000 % |
3.58/3.67 c | 16205 | 5862 25049 76011 | 2147483647 14520 120 | 0.000 % |
3.67/3.75 c | 16514 | 5862 25049 76011 | 2147483647 14829 120 | 0.000 % |
3.77/3.85 c | 16854 | 5862 25049 76011 | 2147483647 15169 121 | 0.000 % |
3.77/3.88 c | 16954 | 5862 25049 76011 | 2147483647 15269 121 | 0.000 % |
3.87/3.91 c | 17065 | 5862 25049 76011 | 2147483647 15380 121 | 0.000 % |
3.87/3.94 c | 17187 | 5862 25049 76011 | 2147483647 15502 121 | 0.000 % |
3.87/3.98 c | 17320 | 5862 25049 76011 | 2147483647 15635 121 | 0.000 % |
3.97/4.02 c | 17466 | 5862 25049 76011 | 2147483647 15781 121 | 0.000 % |
3.97/4.07 c | 17626 | 5862 25049 76011 | 2147483647 15941 121 | 0.000 % |
4.07/4.12 c | 17802 | 5862 25049 76011 | 2147483647 16117 121 | 0.000 % |
4.07/4.17 c | 17996 | 5862 25049 76011 | 2147483647 16311 122 | 0.000 % |
4.17/4.23 c | 18208 | 5862 25049 76011 | 2147483647 16523 122 | 0.000 % |
4.17/4.30 c | 18443 | 5862 25049 76011 | 2147483647 16758 122 | 0.000 % |
4.28/4.38 c | 18701 | 5862 25049 76011 | 2147483647 17016 122 | 0.000 % |
4.38/4.46 c | 18982 | 5862 25049 76011 | 2147483647 17297 122 | 0.000 % |
4.47/4.55 c | 19291 | 5862 25049 76011 | 2147483647 17606 122 | 0.000 % |
4.57/4.65 c | 19630 | 5862 25049 76011 | 2147483647 17945 123 | 0.000 % |
4.67/4.76 c | 20002 | 5862 25049 76011 | 2147483647 18317 123 | 0.000 % |
4.67/4.80 c | 20102 | 5862 25049 76011 | 2147483647 18417 123 | 0.000 % |
4.77/4.83 c | 20213 | 5862 25049 76011 | 2147483647 18528 123 | 0.000 % |
4.77/4.87 c | 20334 | 5862 25049 76011 | 2147483647 18649 123 | 0.000 % |
4.87/4.90 c | 20468 | 5862 25049 76011 | 2147483647 18783 123 | 0.000 % |
4.87/4.95 c | 20614 | 5862 25049 76011 | 2147483647 18929 123 | 0.000 % |
4.97/5.00 c | 20774 | 5862 25049 76011 | 2147483647 19089 123 | 0.000 % |
4.97/5.06 c | 20951 | 5862 25049 76011 | 2147483647 19266 123 | 0.000 % |
5.07/5.13 c | 21144 | 5862 25049 76011 | 2147483647 19459 123 | 0.000 % |
5.07/5.19 c | 21357 | 5862 25049 76011 | 2147483647 19672 123 | 0.000 % |
5.17/5.26 c | 21591 | 5862 25049 76011 | 2147483647 19906 123 | 0.000 % |
5.28/5.33 c | 21847 | 5862 25049 76011 | 2147483647 20162 123 | 0.000 % |
5.38/5.42 c | 22129 | 5862 25049 76011 | 2147483647 20444 123 | 0.000 % |
5.48/5.51 c | 22439 | 5862 25049 76011 | 2147483647 20754 123 | 0.000 % |
5.58/5.62 c | 22780 | 5862 25049 76011 | 2147483647 21095 123 | 0.000 % |
5.67/5.74 c | 23153 | 5862 25049 76011 | 2147483647 21468 123 | 0.000 % |
5.77/5.87 c | 23562 | 5862 25049 76011 | 2147483647 21877 123 | 0.000 % |
5.87/5.91 c | 23662 | 5862 25049 76011 | 2147483647 21977 123 | 0.000 % |
5.87/5.95 c | 23772 | 5862 25049 76011 | 2147483647 22087 123 | 0.000 % |
5.87/5.99 c | 23893 | 5862 25049 76011 | 2147483647 22208 123 | 0.000 % |
5.97/6.04 c | 24027 | 5862 25049 76011 | 2147483647 22342 123 | 0.000 % |
5.97/6.09 c | 24174 | 5862 25049 76011 | 2147483647 22489 123 | 0.000 % |
6.07/6.15 c | 24334 | 5862 25049 76011 | 2147483647 22649 123 | 0.000 % |
6.17/6.20 c | 24514 | 5862 25049 76011 | 2147483647 22829 123 | 0.000 % |
6.17/6.27 c | 24707 | 5862 25049 76011 | 2147483647 23022 123 | 0.000 % |
6.27/6.33 c | 24922 | 5862 25049 76011 | 2147483647 23237 122 | 0.000 % |
6.37/6.41 c | 25155 | 5862 25049 76011 | 2147483647 23470 123 | 0.000 % |
6.37/6.50 c | 25413 | 5862 25049 76011 | 2147483647 23728 123 | 0.000 % |
6.48/6.60 c | 25697 | 5862 25049 76011 | 2147483647 24012 123 | 0.000 % |
6.67/6.71 c | 26007 | 5862 25049 76011 | 2147483647 24322 123 | 0.000 % |
6.77/6.83 c | 26348 | 5862 25049 76011 | 2147483647 24663 123 | 0.000 % |
6.87/6.95 c | 26721 | 5862 25049 76011 | 2147483647 25036 123 | 0.000 % |
6.97/7.09 c | 27133 | 5862 25049 76011 | 2147483647 25448 123 | 0.000 % |
7.17/7.24 c | 27583 | 5862 25049 76011 | 2147483647 25898 123 | 0.000 % |
7.17/7.28 c | 27683 | 5862 25049 76011 | 2147483647 25998 123 | 0.000 % |
7.27/7.32 c | 27793 | 5862 25049 76011 | 2147483647 26108 123 | 0.000 % |
7.27/7.36 c | 27914 | 5862 25049 76011 | 2147483647 26229 123 | 0.000 % |
7.36/7.41 c | 28047 | 5862 25049 76011 | 2147483647 26362 123 | 0.000 % |
7.36/7.47 c | 28194 | 5862 25049 76011 | 2147483647 26509 123 | 0.000 % |
7.46/7.53 c | 28354 | 5862 25049 76011 | 2147483647 26669 123 | 0.000 % |
7.46/7.59 c | 28531 | 5862 25049 76011 | 2147483647 26846 123 | 0.000 % |
7.58/7.67 c | 28728 | 5862 25049 76011 | 2147483647 27043 123 | 0.000 % |
7.68/7.75 c | 28940 | 5862 25049 76011 | 2147483647 27255 123 | 0.000 % |
7.77/7.84 c | 29173 | 5862 25049 76011 | 2147483647 27488 123 | 0.000 % |
7.87/7.93 c | 29430 | 5862 25049 76011 | 2147483647 27745 123 | 0.000 % |
7.97/8.03 c | 29711 | 5862 25049 76011 | 2147483647 28026 123 | 0.000 % |
8.07/8.15 c | 30020 | 5862 25049 76011 | 2147483647 28335 123 | 0.000 % |
8.17/8.27 c | 30360 | 5862 25049 76011 | 2147483647 28675 123 | 0.000 % |
8.37/8.41 c | 30732 | 5862 25049 76011 | 2147483647 29047 123 | 0.000 % |
8.47/8.55 c | 31141 | 5862 25049 76011 | 2147483647 29456 123 | 0.000 % |
8.67/8.71 c | 31590 | 5862 25049 76011 | 2147483647 29905 124 | 0.000 % |
8.77/8.89 c | 32086 | 5862 25049 76011 | 2147483647 30401 124 | 0.000 % |
8.87/8.93 c | 32186 | 5862 25049 76011 | 2147483647 30501 123 | 0.000 % |
8.87/8.98 c | 32296 | 5862 25049 76011 | 2147483647 30611 123 | 0.000 % |
8.97/9.03 c | 32419 | 5862 25049 76011 | 2147483647 30734 123 | 0.000 % |
8.97/9.09 c | 32552 | 5862 25049 76011 | 2147483647 30867 123 | 0.000 % |
9.06/9.15 c | 32701 | 5862 25049 76011 | 2147483647 31016 123 | 0.000 % |
9.16/9.22 c | 32861 | 5862 25049 76011 | 2147483647 31176 123 | 0.000 % |
9.16/9.28 c | 33038 | 5862 25049 76011 | 2147483647 31353 123 | 0.000 % |
9.27/9.36 c | 33231 | 5862 25049 76011 | 2147483647 31546 123 | 0.000 % |
9.37/9.44 c | 33444 | 5862 25049 76011 | 2147483647 31759 123 | 0.000 % |
9.47/9.53 c | 33678 | 5862 25049 76011 | 2147483647 31993 123 | 0.000 % |
9.57/9.63 c | 33937 | 5862 25049 76011 | 2147483647 32252 123 | 0.000 % |
9.67/9.75 c | 34219 | 5862 25049 76011 | 2147483647 32534 123 | 0.000 % |
9.77/9.87 c | 34529 | 5862 25049 76011 | 2147483647 32844 124 | 0.000 % |
9.97/10.01 c | 34868 | 5862 25049 76011 | 2147483647 33183 124 | 0.000 % |
10.07/10.15 c | 35240 | 5862 25049 76011 | 2147483647 33555 124 | 0.000 % |
10.26/10.31 c | 35652 | 5862 25049 76011 | 2147483647 33967 124 | 0.000 % |
10.36/10.49 c | 36103 | 5862 25049 76011 | 2147483647 34418 124 | 0.000 % |
10.56/10.68 c | 36596 | 5862 25049 76011 | 2147483647 34911 124 | 0.000 % |
10.87/10.90 c | 37138 | 5862 25049 76011 | 2147483647 35453 124 | 0.000 % |
10.87/10.94 c | 37238 | 5862 25049 76011 | 2147483647 35553 124 | 0.000 % |
10.87/10.99 c | 37349 | 5862 25049 76011 | 2147483647 35664 124 | 0.000 % |
10.97/11.05 c | 37471 | 5862 25049 76011 | 2147483647 35786 124 | 0.000 % |
11.07/11.11 c | 37604 | 5862 25049 76011 | 2147483647 35919 124 | 0.000 % |
11.07/11.17 c | 37750 | 5862 25049 76011 | 2147483647 36065 124 | 0.000 % |
11.17/11.24 c | 37911 | 5862 25049 76011 | 2147483647 36226 124 | 0.000 % |
11.27/11.32 c | 38090 | 5862 25049 76011 | 2147483647 36405 124 | 0.000 % |
11.37/11.40 c | 38283 | 5862 25049 76011 | 2147483647 36598 124 | 0.000 % |
11.37/11.49 c | 38496 | 5862 25049 76011 | 2147483647 36811 124 | 0.000 % |
11.47/11.59 c | 38730 | 5862 25049 76011 | 2147483647 37045 124 | 0.000 % |
11.67/11.70 c | 38986 | 5862 25049 76011 | 2147483647 37301 124 | 0.000 % |
11.77/11.83 c | 39269 | 5862 25049 76011 | 2147483647 37584 124 | 0.000 % |
11.87/11.96 c | 39578 | 5862 25049 76011 | 2147483647 37893 124 | 0.000 % |
12.07/12.11 c | 39918 | 5862 25049 76011 | 2147483647 38233 124 | 0.000 % |
12.17/12.26 c | 40291 | 5862 25049 76011 | 2147483647 38606 124 | 0.000 % |
12.37/12.45 c | 40702 | 5862 25049 76011 | 2147483647 39017 124 | 0.000 % |
12.57/12.63 c | 41154 | 5862 25049 76011 | 2147483647 39469 125 | 0.000 % |
12.77/12.83 c | 41648 | 5862 25049 76011 | 2147483647 39963 125 | 0.000 % |
12.97/13.07 c | 42190 | 5862 25049 76011 | 2147483647 40505 125 | 0.000 % |
13.26/13.32 c | 42787 | 5862 25049 76011 | 2147483647 41102 125 | 0.000 % |
13.26/13.37 c | 42888 | 5862 25049 76011 | 2147483647 41203 125 | 0.000 % |
13.36/13.42 c | 42999 | 5862 25049 76011 | 2147483647 41314 125 | 0.000 % |
13.36/13.47 c | 43120 | 5862 25049 76011 | 2147483647 41435 125 | 0.000 % |
13.46/13.54 c | 43254 | 5862 25049 76011 | 2147483647 41569 125 | 0.000 % |
13.56/13.61 c | 43400 | 5862 25049 76011 | 2147483647 41715 125 | 0.000 % |
13.56/13.68 c | 43561 | 5862 25049 76011 | 2147483647 41876 125 | 0.000 % |
13.66/13.78 c | 43737 | 5862 25049 76011 | 2147483647 42052 125 | 0.000 % |
13.76/13.87 c | 43931 | 5862 25049 76011 | 2147483647 42246 125 | 0.000 % |
13.86/13.97 c | 44144 | 5862 25049 76011 | 2147483647 42459 125 | 0.000 % |
13.96/14.07 c | 44377 | 5862 25049 76011 | 2147483647 42692 125 | 0.000 % |
14.06/14.18 c | 44633 | 5862 25049 76011 | 2147483647 42948 125 | 0.000 % |
14.27/14.31 c | 44917 | 5862 25049 76011 | 2147483647 43232 125 | 0.000 % |
14.36/14.45 c | 45228 | 5862 25049 76011 | 2147483647 43543 125 | 0.000 % |
14.56/14.60 c | 45567 | 5862 25049 76011 | 2147483647 43882 125 | 0.000 % |
14.66/14.77 c | 45940 | 5862 25049 76011 | 2147483647 44255 125 | 0.000 % |
14.86/14.97 c | 46349 | 5862 25049 76011 | 2147483647 44664 125 | 0.000 % |
15.06/15.16 c | 46800 | 5862 25049 76011 | 2147483647 45115 125 | 0.000 % |
15.27/15.39 c | 47293 | 5862 25049 76011 | 2147483647 45608 125 | 0.000 % |
15.56/15.65 c | 47837 | 5862 25049 76011 | 2147483647 46152 126 | 0.000 % |
15.86/15.94 c | 48435 | 5862 25049 76011 | 2147483647 46750 126 | 0.000 % |
16.16/16.24 c | 49090 | 5862 25049 76011 | 2147483647 47405 126 | 0.000 % |
16.26/16.30 c | 49190 | 5862 25049 76011 | 2147483647 47505 126 | 0.000 % |
16.26/16.36 c | 49300 | 5862 25049 76011 | 2147483647 47615 126 | 0.000 % |
16.36/16.43 c | 49423 | 5862 25049 76011 | 2147483647 47738 126 | 0.000 % |
16.36/16.49 c | 49557 | 5862 25049 76011 | 2147483647 47872 126 | 0.000 % |
16.46/16.57 c | 49703 | 5862 25049 76011 | 2147483647 48018 126 | 0.000 % |
16.56/16.65 c | 49863 | 5862 25049 76011 | 2147483647 48178 126 | 0.000 % |
16.66/16.74 c | 50039 | 5862 25049 76011 | 2147483647 48354 126 | 0.000 % |
16.76/16.84 c | 50232 | 5862 25049 76011 | 2147483647 48547 126 | 0.000 % |
16.86/16.96 c | 50444 | 5862 25049 76011 | 2147483647 48759 126 | 0.000 % |
16.96/17.06 c | 50678 | 5862 25049 76011 | 2147483647 48993 126 | 0.000 % |
17.06/17.19 c | 50935 | 5862 25049 76011 | 2147483647 49250 126 | 0.000 % |
17.25/17.33 c | 51217 | 5862 25049 76011 | 2147483647 49532 126 | 0.000 % |
17.47/17.50 c | 51529 | 5862 25049 76011 | 2147483647 49844 126 | 0.000 % |
17.57/17.68 c | 51869 | 5862 25049 76011 | 2147483647 50184 126 | 0.000 % |
17.76/17.87 c | 52241 | 5862 25049 76011 | 2147483647 50556 127 | 0.000 % |
17.96/18.07 c | 52650 | 5862 25049 76011 | 2147483647 50965 127 | 0.000 % |
18.16/18.29 c | 53100 | 5862 25049 76011 | 2147483647 51415 127 | 0.000 % |
18.46/18.52 c | 53594 | 5862 25049 76011 | 2147483647 51909 127 | 0.000 % |
18.76/18.81 c | 54141 | 5862 25049 76011 | 2147483647 52456 127 | 0.000 % |
19.06/19.10 c | 54738 | 5862 25049 76011 | 2147483647 53053 128 | 0.000 % |
19.36/19.42 c | 55395 | 5862 25049 76011 | 2147483647 53710 128 | 0.000 % |
19.66/19.77 c | 56115 | 5862 25049 76011 | 2147483647 54430 128 | 0.000 % |
19.76/19.81 c | 56215 | 5862 25049 76011 | 2147483647 54530 128 | 0.000 % |
19.76/19.87 c | 56326 | 5862 25049 76011 | 2147483647 54641 128 | 0.000 % |
19.86/19.95 c | 56447 | 5862 25049 76011 | 2147483647 54762 128 | 0.000 % |
19.95/20.02 c | 56580 | 5862 25049 76011 | 2147483647 54895 128 | 0.000 % |
20.05/20.11 c | 56726 | 5862 25049 76011 | 2147483647 55041 127 | 0.000 % |
20.05/20.19 c | 56887 | 5862 25049 76011 | 2147483647 55202 127 | 0.000 % |
20.15/20.28 c | 57063 | 5862 25049 76011 | 2147483647 55378 127 | 0.000 % |
20.25/20.39 c | 57257 | 5862 25049 76011 | 2147483647 55572 127 | 0.000 % |
20.35/20.49 c | 57469 | 5862 25049 76011 | 2147483647 55784 127 | 0.000 % |
20.55/20.63 c | 57702 | 5862 25049 76011 | 2147483647 56017 127 | 0.000 % |
20.65/20.77 c | 57959 | 5862 25049 76011 | 2147483647 56274 127 | 0.000 % |
20.86/20.93 c | 58240 | 5862 25049 76011 | 2147483647 56555 128 | 0.000 % |
21.06/21.10 c | 58549 | 5862 25049 76011 | 2147483647 56864 128 | 0.000 % |
21.16/21.29 c | 58889 | 5862 25049 76011 | 2147483647 57204 128 | 0.000 % |
21.46/21.50 c | 59262 | 5862 25049 76011 | 2147483647 57577 128 | 0.000 % |
21.66/21.70 c | 59671 | 5862 25049 76011 | 2147483647 57986 128 | 0.000 % |
21.86/21.95 c | 60120 | 5862 25049 76011 | 2147483647 58435 128 | 0.000 % |
22.16/22.21 c | 60613 | 5862 25049 76011 | 2147483647 58928 128 | 0.000 % |
22.46/22.52 c | 61156 | 5862 25049 76011 | 2147483647 59471 128 | 0.000 % |
22.75/22.84 c | 61753 | 5862 25049 76011 | 2147483647 60068 128 | 0.000 % |
23.16/23.20 c | 62409 | 5862 25049 76011 | 2147483647 60724 128 | 0.000 % |
23.55/23.62 c | 63130 | 5862 25049 76011 | 2147483647 61445 128 | 0.000 % |
23.95/24.04 c | 63922 | 5862 25049 76011 | 2147483647 62237 128 | 0.000 % |
23.95/24.10 c | 64022 | 5862 25049 76011 | 2147483647 62337 128 | 0.000 % |
24.06/24.17 c | 64132 | 5862 25049 76011 | 2147483647 62447 128 | 0.000 % |
24.16/24.25 c | 64254 | 5862 25049 76011 | 2147483647 62569 128 | 0.000 % |
24.25/24.33 c | 64389 | 5862 25049 76011 | 2147483647 62704 128 | 0.000 % |
24.35/24.42 c | 64535 | 5862 25049 76011 | 2147483647 62850 128 | 0.000 % |
24.45/24.53 c | 64696 | 5862 25049 76011 | 2147483647 63011 128 | 0.000 % |
24.55/24.64 c | 64872 | 5862 25049 76011 | 2147483647 63187 128 | 0.000 % |
24.65/24.76 c | 65068 | 5862 25049 76011 | 2147483647 63383 128 | 0.000 % |
24.75/24.88 c | 65280 | 5862 25049 76011 | 2147483647 63595 128 | 0.000 % |
24.95/25.02 c | 65514 | 5862 25049 76011 | 2147483647 63829 128 | 0.000 % |
25.05/25.18 c | 65771 | 5862 25049 76011 | 2147483647 64086 128 | 0.000 % |
25.25/25.36 c | 66053 | 5862 25049 76011 | 2147483647 64368 128 | 0.000 % |
25.45/25.54 c | 66364 | 5862 25049 76011 | 2147483647 64679 128 | 0.000 % |
25.65/25.77 c | 66703 | 5862 25049 76011 | 2147483647 65018 128 | 0.000 % |
25.86/25.98 c | 67075 | 5862 25049 76011 | 2147483647 65390 128 | 0.000 % |
26.16/26.25 c | 67485 | 5862 25049 76011 | 2147483647 65800 128 | 0.000 % |
26.46/26.52 c | 67935 | 5862 25049 76011 | 2147483647 66250 128 | 0.000 % |
26.75/26.82 c | 68430 | 5862 25049 76011 | 2147483647 66745 128 | 0.000 % |
27.05/27.15 c | 68973 | 5862 25049 76011 | 2147483647 67288 128 | 0.000 % |
27.46/27.51 c | 69569 | 5862 25049 76011 | 2147483647 67884 128 | 0.000 % |
27.85/27.91 c | 70226 | 5862 25049 76011 | 2147483647 68541 128 | 0.000 % |
28.25/28.33 c | 70946 | 5862 25049 76011 | 2147483647 69261 128 | 0.000 % |
28.75/28.80 c | 71739 | 5862 25049 76011 | 2147483647 70054 128 | 0.000 % |
29.25/29.35 c | 72610 | 5862 25049 76011 | 2147483647 70925 129 | 0.000 % |
29.35/29.43 c | 72711 | 5862 25049 76011 | 2147483647 71026 129 | 0.000 % |
29.45/29.51 c | 72823 | 5862 25049 76011 | 2147483647 71138 129 | 0.000 % |
29.45/29.59 c | 72944 | 5862 25049 76011 | 2147483647 71259 129 | 0.000 % |
29.55/29.68 c | 73081 | 5862 25049 76011 | 2147483647 71396 129 | 0.000 % |
29.65/29.79 c | 73227 | 5862 25049 76011 | 2147483647 71542 129 | 0.000 % |
29.85/29.90 c | 73387 | 5862 25049 76011 | 2147483647 71702 129 | 0.000 % |
29.95/30.02 c | 73566 | 5862 25049 76011 | 2147483647 71881 129 | 0.000 % |
30.05/30.15 c | 73759 | 5862 25049 76011 | 2147483647 72074 129 | 0.000 % |
30.25/30.30 c | 73972 | 5862 25049 76011 | 2147483647 72287 129 | 0.000 % |
30.35/30.46 c | 74205 | 5862 25049 76011 | 2147483647 72520 129 | 0.000 % |
30.55/30.62 c | 74463 | 5862 25049 76011 | 2147483647 72778 129 | 0.000 % |
30.75/30.81 c | 74747 | 5862 25049 76011 | 2147483647 73062 129 | 0.000 % |
30.95/31.01 c | 75058 | 5862 25049 76011 | 2147483647 73373 129 | 0.000 % |
31.15/31.25 c | 75400 | 5862 25049 76011 | 2147483647 73715 129 | 0.000 % |
31.45/31.50 c | 75774 | 5862 25049 76011 | 2147483647 74089 129 | 0.000 % |
31.65/31.76 c | 76183 | 5862 25049 76011 | 2147483647 74498 129 | 0.000 % |
31.95/32.05 c | 76632 | 5862 25049 76011 | 2147483647 74947 129 | 0.000 % |
32.25/32.39 c | 77127 | 5862 25049 76011 | 2147483647 75442 129 | 0.000 % |
32.65/32.74 c | 77670 | 5862 25049 76011 | 2147483647 75985 129 | 0.000 % |
33.05/33.12 c | 78266 | 5862 25049 76011 | 2147483647 76581 129 | 0.000 % |
33.45/33.54 c | 78921 | 5862 25049 76011 | 2147483647 77236 129 | 0.000 % |
33.95/34.03 c | 79641 | 5862 25049 76011 | 2147483647 77956 129 | 0.000 % |
34.44/34.50 c | 80433 | 5862 25049 76011 | 2147483647 78748 129 | 0.000 % |
35.05/35.11 c | 81304 | 5862 25049 76011 | 2147483647 79619 130 | 0.000 % |
35.64/35.73 c | 82263 | 5862 25049 76011 | 2147483647 80578 130 | 0.000 % |
35.74/35.81 c | 82363 | 5862 25049 76011 | 2147483647 80678 130 | 0.000 % |
35.84/35.90 c | 82473 | 5862 25049 76011 | 2147483647 80788 130 | 0.000 % |
35.84/35.99 c | 82596 | 5862 25049 76011 | 2147483647 80911 130 | 0.000 % |
36.04/36.11 c | 82730 | 5862 25049 76011 | 2147483647 81045 130 | 0.000 % |
36.15/36.22 c | 82877 | 5862 25049 76011 | 2147483647 81192 130 | 0.000 % |
36.25/36.34 c | 83039 | 5862 25049 76011 | 2147483647 81354 130 | 0.000 % |
36.44/36.50 c | 83215 | 5862 25049 76011 | 2147483647 81530 130 | 0.000 % |
36.55/36.63 c | 83408 | 5862 25049 76011 | 2147483647 81723 130 | 0.000 % |
36.65/36.80 c | 83620 | 5862 25049 76011 | 2147483647 81935 130 | 0.000 % |
36.85/36.98 c | 83854 | 5862 25049 76011 | 2147483647 82169 130 | 0.000 % |
37.05/37.18 c | 84110 | 5862 25049 76011 | 2147483647 82425 130 | 0.000 % |
37.25/37.38 c | 84394 | 5862 25049 76011 | 2147483647 82709 130 | 0.000 % |
37.55/37.60 c | 84704 | 5862 25049 76011 | 2147483647 83019 130 | 0.000 % |
37.75/37.84 c | 85044 | 5862 25049 76011 | 2147483647 83359 130 | 0.000 % |
38.04/38.12 c | 85416 | 5862 25049 76011 | 2147483647 83731 130 | 0.000 % |
38.35/38.42 c | 85827 | 5862 25049 76011 | 2147483647 84142 130 | 0.000 % |
38.64/38.73 c | 86277 | 5862 25049 76011 | 2147483647 84592 130 | 0.000 % |
38.94/39.07 c | 86770 | 5862 25049 76011 | 2147483647 85085 130 | 0.000 % |
39.34/39.45 c | 87312 | 5862 25049 76011 | 2147483647 85627 130 | 0.000 % |
39.74/39.88 c | 87909 | 5862 25049 76011 | 2147483647 86224 130 | 0.000 % |
40.25/40.33 c | 88564 | 5862 25049 76011 | 2147483647 86879 130 | 0.000 % |
40.75/40.82 c | 89284 | 5862 25049 76011 | 2147483647 87599 130 | 0.000 % |
41.35/41.41 c | 90076 | 5862 25049 76011 | 2147483647 88391 130 | 0.000 % |
41.94/42.02 c | 90947 | 5862 25049 76011 | 2147483647 89262 131 | 0.000 % |
42.64/42.70 c | 91905 | 5862 25049 76011 | 2147483647 90220 131 | 0.000 % |
43.34/43.42 c | 92961 | 5862 25049 76011 | 2147483647 91276 131 | 0.000 % |
43.44/43.51 c | 93062 | 5862 25049 76011 | 2147483647 91377 131 | 0.000 % |
43.54/43.61 c | 93172 | 5862 25049 76011 | 2147483647 91487 131 | 0.000 % |
43.64/43.73 c | 93295 | 5862 25049 76011 | 2147483647 91610 131 | 0.000 % |
43.74/43.84 c | 93428 | 5862 25049 76011 | 2147483647 91743 131 | 0.000 % |
43.85/43.96 c | 93577 | 5862 25049 76011 | 2147483647 91892 131 | 0.000 % |
44.05/44.11 c | 93737 | 5862 25049 76011 | 2147483647 92052 131 | 0.000 % |
44.15/44.26 c | 93914 | 5862 25049 76011 | 2147483647 92229 131 | 0.000 % |
44.35/44.41 c | 94110 | 5862 25049 76011 | 2147483647 92425 131 | 0.000 % |
44.45/44.59 c | 94323 | 5862 25049 76011 | 2147483647 92638 131 | 0.000 % |
44.64/44.77 c | 94557 | 5862 25049 76011 | 2147483647 92872 131 | 0.000 % |
44.84/44.98 c | 94813 | 5862 25049 76011 | 2147483647 93128 131 | 0.000 % |
45.14/45.22 c | 95094 | 5862 25049 76011 | 2147483647 93409 131 | 0.000 % |
45.34/45.48 c | 95403 | 5862 25049 76011 | 2147483647 93718 131 | 0.000 % |
45.64/45.77 c | 95742 | 5862 25049 76011 | 2147483647 94057 131 | 0.000 % |
45.94/46.05 c | 96115 | 5862 25049 76011 | 2147483647 94430 131 | 0.000 % |
46.24/46.37 c | 96524 | 5862 25049 76011 | 2147483647 94839 131 | 0.000 % |
46.64/46.73 c | 96975 | 5862 25049 76011 | 2147483647 95290 131 | 0.000 % |
47.04/47.13 c | 97468 | 5862 25049 76011 | 2147483647 95783 131 | 0.000 % |
47.44/47.55 c | 98012 | 5862 25049 76011 | 2147483647 96327 131 | 0.000 % |
47.94/48.03 c | 98610 | 5862 25049 76011 | 2147483647 96925 131 | 0.000 % |
48.44/48.54 c | 99266 | 5862 25049 76011 | 2147483647 97581 131 | 0.000 % |
48.95/49.07 c | 99986 | 5862 25049 76011 | 2147483647 98301 131 | 0.000 % |
49.54/49.65 c | 100778 | 5862 25049 76011 | 2147483647 99093 131 | 0.000 % |
50.24/50.35 c | 101649 | 5862 25049 76011 | 2147483647 99964 131 | 0.000 % |
50.94/51.08 c | 102607 | 5862 25049 76011 | 2147483647 100922 131 | 0.000 % |
51.74/51.87 c | 103662 | 5862 25049 76011 | 2147483647 101977 131 | 0.000 % |
52.64/52.74 c | 104820 | 5862 25049 76011 | 2147483647 103135 131 | 0.000 % |
52.75/52.83 c | 104920 | 5862 25049 76011 | 2147483647 103235 131 | 0.000 % |
52.84/52.93 c | 105032 | 5862 25049 76011 | 2147483647 103347 131 | 0.000 % |
52.94/53.05 c | 105153 | 5862 25049 76011 | 2147483647 103468 131 | 0.000 % |
53.04/53.17 c | 105287 | 5862 25049 76011 | 2147483647 103602 131 | 0.000 % |
53.14/53.29 c | 105433 | 5862 25049 76011 | 2147483647 103748 131 | 0.000 % |
53.34/53.42 c | 105593 | 5862 25049 76011 | 2147483647 103908 131 | 0.000 % |
53.44/53.57 c | 105769 | 5862 25049 76011 | 2147483647 104084 131 | 0.000 % |
53.64/53.74 c | 105962 | 5862 25049 76011 | 2147483647 104277 131 | 0.000 % |
53.84/53.92 c | 106175 | 5862 25049 76011 | 2147483647 104490 131 | 0.000 % |
54.04/54.14 c | 106409 | 5862 25049 76011 | 2147483647 104724 131 | 0.000 % |
54.24/54.35 c | 106665 | 5862 25049 76011 | 2147483647 104980 131 | 0.000 % |
54.44/54.59 c | 106947 | 5862 25049 76011 | 2147483647 105262 131 | 0.000 % |
54.74/54.86 c | 107256 | 5862 25049 76011 | 2147483647 105571 131 | 0.000 % |
55.03/55.14 c | 107596 | 5862 25049 76011 | 2147483647 105911 131 | 0.000 % |
55.33/55.48 c | 107969 | 5862 25049 76011 | 2147483647 106284 131 | 0.000 % |
55.73/55.84 c | 108378 | 5862 25049 76011 | 2147483647 106693 131 | 0.000 % |
56.04/56.18 c | 108828 | 5862 25049 76011 | 2147483647 107143 131 | 0.000 % |
56.43/56.58 c | 109322 | 5862 25049 76011 | 2147483647 107637 131 | 0.000 % |
56.93/57.04 c | 109864 | 5862 25049 76011 | 2147483647 108179 131 | 0.000 % |
57.44/57.54 c | 110462 | 5862 25049 76011 | 2147483647 108777 131 | 0.000 % |
57.94/58.09 c | 111118 | 5862 25049 76011 | 2147483647 109433 131 | 0.000 % |
58.64/58.70 c | 111838 | 5862 25049 76011 | 2147483647 110153 131 | 0.000 % |
59.24/59.35 c | 112632 | 5862 25049 76011 | 2147483647 110947 131 | 0.000 % |
59.94/60.03 c | 113503 | 5862 25049 76011 | 2147483647 111818 131 | 0.000 % |
60.74/60.85 c | 114464 | 5862 25049 76011 | 2147483647 112779 131 | 0.000 % |
61.64/61.78 c | 115518 | 5862 25049 76011 | 2147483647 113833 131 | 0.000 % |
62.64/62.76 c | 116676 | 5862 25049 76011 | 2147483647 114991 132 | 0.000 % |
63.74/63.84 c | 117953 | 5862 25049 76011 | 2147483647 116268 132 | 0.000 % |
63.83/63.96 c | 118056 | 5862 25049 76011 | 2147483647 116371 132 | 0.000 % |
63.93/64.09 c | 118167 | 5862 25049 76011 | 2147483647 116482 132 | 0.000 % |
64.13/64.21 c | 118289 | 5862 25049 76011 | 2147483647 116604 132 | 0.000 % |
64.23/64.35 c | 118424 | 5862 25049 76011 | 2147483647 116739 132 | 0.000 % |
64.43/64.52 c | 118571 | 5862 25049 76011 | 2147483647 116886 132 | 0.000 % |
64.53/64.68 c | 118733 | 5862 25049 76011 | 2147483647 117048 132 | 0.000 % |
64.73/64.84 c | 118910 | 5862 25049 76011 | 2147483647 117225 132 | 0.000 % |
64.93/65.03 c | 119105 | 5862 25049 76011 | 2147483647 117420 132 | 0.000 % |
65.13/65.23 c | 119317 | 5862 25049 76011 | 2147483647 117632 132 | 0.000 % |
65.34/65.44 c | 119552 | 5862 25049 76011 | 2147483647 117867 132 | 0.000 % |
65.64/65.72 c | 119811 | 5862 25049 76011 | 2147483647 118126 132 | 0.000 % |
65.94/66.00 c | 120093 | 5862 25049 76011 | 2147483647 118408 132 | 0.000 % |
66.14/66.29 c | 120406 | 5862 25049 76011 | 2147483647 118721 132 | 0.000 % |
66.53/66.61 c | 120745 | 5862 25049 76011 | 2147483647 119060 132 | 0.000 % |
66.83/66.95 c | 121117 | 5862 25049 76011 | 2147483647 119432 132 | 0.000 % |
67.23/67.30 c | 121528 | 5862 25049 76011 | 2147483647 119843 132 | 0.000 % |
67.63/67.72 c | 121978 | 5862 25049 76011 | 2147483647 120293 132 | 0.000 % |
68.03/68.15 c | 122472 | 5862 25049 76011 | 2147483647 120787 132 | 0.000 % |
68.53/68.66 c | 123016 | 5862 25049 76011 | 2147483647 121331 132 | 0.000 % |
69.14/69.25 c | 123614 | 5862 25049 76011 | 2147483647 121929 132 | 0.000 % |
69.73/69.80 c | 124270 | 5862 25049 76011 | 2147483647 122585 132 | 0.000 % |
70.33/70.47 c | 124990 | 5862 25049 76011 | 2147483647 123305 132 | 0.000 % |
71.13/71.21 c | 125783 | 5862 25049 76011 | 2147483647 124098 132 | 0.000 % |
71.93/72.06 c | 126654 | 5862 25049 76011 | 2147483647 124969 132 | 0.000 % |
72.82/72.94 c | 127613 | 5862 25049 76011 | 2147483647 125928 132 | 0.000 % |
73.72/73.81 c | 128666 | 5862 25049 76011 | 2147483647 126981 132 | 0.000 % |
74.73/74.87 c | 129825 | 5862 25049 76011 | 2147483647 128140 132 | 0.000 % |
75.93/76.02 c | 131100 | 5862 25049 76011 | 2147483647 129415 132 | 0.000 % |
77.23/77.33 c | 132500 | 5862 25049 76011 | 2147483647 130815 133 | 0.000 % |
77.33/77.46 c | 132604 | 5862 25049 76011 | 2147483647 130919 133 | 0.000 % |
77.43/77.58 c | 132714 | 5862 25049 76011 | 2147483647 131029 133 | 0.000 % |
77.63/77.71 c | 132835 | 5862 25049 76011 | 2147483647 131150 133 | 0.000 % |
77.73/77.86 c | 132969 | 5862 25049 76011 | 2147483647 131284 133 | 0.000 % |
77.93/78.04 c | 133115 | 5862 25049 76011 | 2147483647 131430 133 | 0.000 % |
78.13/78.21 c | 133275 | 5862 25049 76011 | 2147483647 131590 133 | 0.000 % |
78.33/78.40 c | 133453 | 5862 25049 76011 | 2147483647 131768 132 | 0.000 % |
78.53/78.60 c | 133648 | 5862 25049 76011 | 2147483647 131963 132 | 0.000 % |
78.73/78.82 c | 133860 | 5862 25049 76011 | 2147483647 132175 132 | 0.000 % |
78.92/79.07 c | 134093 | 5862 25049 76011 | 2147483647 132408 132 | 0.000 % |
79.22/79.37 c | 134349 | 5862 25049 76011 | 2147483647 132664 132 | 0.000 % |
79.52/79.68 c | 134630 | 5862 25049 76011 | 2147483647 132945 132 | 0.000 % |
79.92/80.01 c | 134939 | 5862 25049 76011 | 2147483647 133254 132 | 0.000 % |
80.22/80.36 c | 135279 | 5862 25049 76011 | 2147483647 133594 132 | 0.000 % |
80.62/80.75 c | 135652 | 5862 25049 76011 | 2147483647 133967 132 | 0.000 % |
81.02/81.15 c | 136062 | 5862 25049 76011 | 2147483647 134377 132 | 0.000 % |
81.52/81.68 c | 136512 | 5862 25049 76011 | 2147483647 134827 132 | 0.000 % |
82.03/82.17 c | 137006 | 5862 25049 76011 | 2147483647 135321 132 | 0.000 % |
82.63/82.76 c | 137549 | 5862 25049 76011 | 2147483647 135864 132 | 0.000 % |
83.33/83.42 c | 138145 | 5862 25049 76011 | 2147483647 136460 132 | 0.000 % |
83.93/84.05 c | 138800 | 5862 25049 76011 | 2147483647 137115 132 | 0.000 % |
84.63/84.79 c | 139520 | 5862 25049 76011 | 2147483647 137835 132 | 0.000 % |
85.52/85.64 c | 140312 | 5862 25049 76011 | 2147483647 138627 132 | 0.000 % |
86.42/86.51 c | 141183 | 5862 25049 76011 | 2147483647 139498 133 | 0.000 % |
87.32/87.41 c | 142141 | 5862 25049 76011 | 2147483647 140456 133 | 0.000 % |
88.22/88.39 c | 143196 | 5862 25049 76011 | 2147483647 141511 133 | 0.000 % |
89.42/89.54 c | 144354 | 5862 25049 76011 | 2147483647 142669 133 | 0.000 % |
90.62/90.78 c | 145628 | 5862 25049 76011 | 2147483647 143943 133 | 0.000 % |
92.12/92.21 c | 147030 | 5862 25049 76011 | 2147483647 145345 133 | 0.000 % |
93.62/93.79 c | 148571 | 5862 25049 76011 | 2147483647 146886 133 | 0.000 % |
93.82/93.92 c | 148675 | 5862 25049 76011 | 2147483647 146990 133 | 0.000 % |
93.92/94.05 c | 148786 | 5862 25049 76011 | 2147483647 147101 133 | 0.000 % |
94.12/94.20 c | 148907 | 5862 25049 76011 | 2147483647 147222 133 | 0.000 % |
94.22/94.36 c | 149040 | 5862 25049 76011 | 2147483647 147355 133 | 0.000 % |
94.42/94.56 c | 149188 | 5862 25049 76011 | 2147483647 147503 133 | 0.000 % |
94.62/94.74 c | 149349 | 5862 25049 76011 | 2147483647 147664 133 | 0.000 % |
94.82/94.94 c | 149525 | 5862 25049 76011 | 2147483647 147840 133 | 0.000 % |
95.02/95.18 c | 149718 | 5862 25049 76011 | 2147483647 148033 133 | 0.000 % |
95.32/95.41 c | 149932 | 5862 25049 76011 | 2147483647 148247 133 | 0.000 % |
95.52/95.68 c | 150165 | 5862 25049 76011 | 2147483647 148480 133 | 0.000 % |
95.82/95.96 c | 150421 | 5862 25049 76011 | 2147483647 148736 133 | 0.000 % |
96.12/96.25 c | 150703 | 5862 25049 76011 | 2147483647 149018 133 | 0.000 % |
96.42/96.58 c | 151012 | 5862 25049 76011 | 2147483647 149327 133 | 0.000 % |
96.92/97.00 c | 151351 | 5862 25049 76011 | 2147483647 149666 133 | 0.000 % |
97.32/97.45 c | 151726 | 5862 25049 76011 | 2147483647 150041 133 | 0.000 % |
97.82/97.93 c | 152135 | 5862 25049 76011 | 2147483647 150450 133 | 0.000 % |
98.32/98.41 c | 152584 | 5862 25049 76011 | 2147483647 150899 133 | 0.000 % |
98.82/98.95 c | 153078 | 5862 25049 76011 | 2147483647 151393 133 | 0.000 % |
99.42/99.54 c | 153621 | 5862 25049 76011 | 2147483647 151936 133 | 0.000 % |
100.02/100.17 c | 154217 | 5862 25049 76011 | 2147483647 152532 133 | 0.000 % |
100.72/100.87 c | 154874 | 5862 25049 76011 | 2147483647 153189 133 | 0.000 % |
101.51/101.61 c | 155594 | 5862 25049 76011 | 2147483647 153909 133 | 0.000 % |
102.41/102.53 c | 156386 | 5862 25049 76011 | 2147483647 154701 133 | 0.000 % |
103.33/103.47 c | 157259 | 5862 25049 76011 | 2147483647 155574 133 | 0.000 % |
104.42/104.51 c | 158220 | 5862 25049 76011 | 2147483647 156535 133 | 0.000 % |
105.52/105.67 c | 159273 | 5862 25049 76011 | 2147483647 157588 134 | 0.000 % |
106.71/106.89 c | 160432 | 5862 25049 76011 | 2147483647 158747 134 | 0.000 % |
108.11/108.26 c | 161705 | 5862 25049 76011 | 2147483647 160020 134 | 0.000 % |
109.62/109.77 c | 163108 | 5862 25049 76011 | 2147483647 161423 134 | 0.000 % |
111.32/111.48 c | 164648 | 5862 25049 76011 | 2147483647 162963 134 | 0.000 % |
113.21/113.33 c | 166343 | 5862 25049 76011 | 2147483647 164658 134 | 0.000 % |
113.31/113.44 c | 166445 | 5862 25049 76011 | 2147483647 164760 134 | 0.000 % |
113.41/113.59 c | 166555 | 5862 25049 76011 | 2147483647 164870 134 | 0.000 % |
113.61/113.76 c | 166677 | 5862 25049 76011 | 2147483647 164992 134 | 0.000 % |
113.81/113.92 c | 166810 | 5862 25049 76011 | 2147483647 165125 134 | 0.000 % |
114.01/114.14 c | 166956 | 5862 25049 76011 | 2147483647 165271 134 | 0.000 % |
114.21/114.37 c | 167116 | 5862 25049 76011 | 2147483647 165431 134 | 0.000 % |
114.52/114.62 c | 167292 | 5862 25049 76011 | 2147483647 165607 134 | 0.000 % |
114.72/114.88 c | 167486 | 5862 25049 76011 | 2147483647 165801 134 | 0.000 % |
115.12/115.20 c | 167700 | 5862 25049 76011 | 2147483647 166015 134 | 0.000 % |
115.42/115.51 c | 167933 | 5862 25049 76011 | 2147483647 166248 134 | 0.000 % |
115.72/115.83 c | 168189 | 5862 25049 76011 | 2147483647 166504 134 | 0.000 % |
116.02/116.15 c | 168470 | 5862 25049 76011 | 2147483647 166785 134 | 0.000 % |
116.42/116.56 c | 168780 | 5862 25049 76011 | 2147483647 167095 134 | 0.000 % |
116.92/117.03 c | 169122 | 5862 25049 76011 | 2147483647 167437 134 | 0.000 % |
117.42/117.56 c | 169497 | 5862 25049 76011 | 2147483647 167812 134 | 0.000 % |
117.92/118.05 c | 169906 | 5862 25049 76011 | 2147483647 168221 134 | 0.000 % |
118.42/118.58 c | 170355 | 5862 25049 76011 | 2147483647 168670 134 | 0.000 % |
119.01/119.17 c | 170849 | 5862 25049 76011 | 2147483647 169164 134 | 0.000 % |
119.72/119.81 c | 171392 | 5862 25049 76011 | 2147483647 169707 134 | 0.000 % |
120.41/120.54 c | 171988 | 5862 25049 76011 | 2147483647 170303 134 | 0.000 % |
121.21/121.30 c | 172645 | 5862 25049 76011 | 2147483647 170960 134 | 0.000 % |
122.01/122.19 c | 173369 | 5862 25049 76011 | 2147483647 171684 134 | 0.000 % |
123.01/123.13 c | 174161 | 5862 25049 76011 | 2147483647 172476 134 | 0.000 % |
124.01/124.15 c | 175033 | 5862 25049 76011 | 2147483647 173348 134 | 0.000 % |
125.22/125.32 c | 175992 | 5862 25049 76011 | 2147483647 174307 134 | 0.000 % |
126.42/126.50 c | 177045 | 5862 25049 76011 | 2147483647 175360 135 | 0.000 % |
127.81/127.90 c | 178206 | 5862 25049 76011 | 2147483647 176521 134 | 0.000 % |
129.41/129.52 c | 179484 | 5862 25049 76011 | 2147483647 177799 135 | 0.000 % |
131.21/131.33 c | 180885 | 5862 25049 76011 | 2147483647 179200 135 | 0.000 % |
133.01/133.16 c | 182425 | 5862 25049 76011 | 2147483647 180740 135 | 0.000 % |
135.11/135.27 c | 184119 | 5862 25049 76011 | 2147483647 182434 135 | 0.000 % |
137.51/137.62 c | 185983 | 5862 25049 76011 | 2147483647 184298 135 | 0.000 % |
137.61/137.80 c | 186083 | 5862 25049 76011 | 2147483647 184398 135 | 0.000 % |
137.91/138.00 c | 186194 | 5862 25049 76011 | 2147483647 184509 135 | 0.000 % |
138.11/138.20 c | 186315 | 5862 25049 76011 | 2147483647 184630 135 | 0.000 % |
138.21/138.39 c | 186450 | 5862 25049 76011 | 2147483647 184765 135 | 0.000 % |
138.51/138.62 c | 186599 | 5862 25049 76011 | 2147483647 184914 135 | 0.000 % |
138.70/138.87 c | 186763 | 5862 25049 76011 | 2147483647 185078 135 | 0.000 % |
139.00/139.12 c | 186941 | 5862 25049 76011 | 2147483647 185256 135 | 0.000 % |
139.30/139.40 c | 187134 | 5862 25049 76011 | 2147483647 185449 135 | 0.000 % |
139.61/139.72 c | 187346 | 5862 25049 76011 | 2147483647 185661 135 | 0.000 % |
139.90/140.05 c | 187581 | 5862 25049 76011 | 2147483647 185896 135 | 0.000 % |
140.30/140.41 c | 187838 | 5862 25049 76011 | 2147483647 186153 135 | 0.000 % |
140.71/140.80 c | 188122 | 5862 25049 76011 | 2147483647 186437 135 | 0.000 % |
141.10/141.25 c | 188434 | 5862 25049 76011 | 2147483647 186749 135 | 0.000 % |
141.60/141.70 c | 188773 | 5862 25049 76011 | 2147483647 187088 135 | 0.000 % |
142.10/142.21 c | 189145 | 5862 25049 76011 | 2147483647 187460 135 | 0.000 % |
142.60/142.75 c | 189554 | 5862 25049 76011 | 2147483647 187869 135 | 0.000 % |
143.20/143.35 c | 190003 | 5862 25049 76011 | 2147483647 188318 135 | 0.000 % |
143.90/144.04 c | 190497 | 5862 25049 76011 | 2147483647 188812 135 | 0.000 % |
144.60/144.73 c | 191040 | 5862 25049 76011 | 2147483647 189355 135 | 0.000 % |
145.40/145.53 c | 191636 | 5862 25049 76011 | 2147483647 189951 135 | 0.000 % |
146.21/146.34 c | 192291 | 5862 25049 76011 | 2147483647 190606 135 | 0.000 % |
147.10/147.24 c | 193011 | 5862 25049 76011 | 2147483647 191326 135 | 0.000 % |
148.20/148.38 c | 193805 | 5862 25049 76011 | 2147483647 192120 135 | 0.000 % |
149.40/149.52 c | 194677 | 5862 25049 76011 | 2147483647 192992 135 | 0.000 % |
150.60/150.74 c | 195638 | 5862 25049 76011 | 2147483647 193953 135 | 0.000 % |
151.90/152.06 c | 196691 | 5862 25049 76011 | 2147483647 195006 135 | 0.000 % |
153.30/153.48 c | 197849 | 5862 25049 76011 | 2147483647 196164 135 | 0.000 % |
155.00/155.11 c | 199122 | 5862 25049 76011 | 2147483647 197437 135 | 0.000 % |
156.69/156.82 c | 200524 | 5862 25049 76011 | 2147483647 198839 135 | 0.000 % |
158.80/158.97 c | 202064 | 5862 25049 76011 | 2147483647 200379 135 | 0.000 % |
161.00/161.10 c | 203759 | 5862 25049 76011 | 2147483647 202074 135 | 0.000 % |
163.29/163.41 c | 205623 | 5862 25049 76011 | 2147483647 203938 136 | 0.000 % |
165.90/166.01 c | 207672 | 5862 25049 76011 | 2147483647 205987 136 | 0.000 % |
166.00/166.16 c | 207777 | 5862 25049 76011 | 2147483647 206092 136 | 0.000 % |
166.20/166.34 c | 207888 | 5862 25049 76011 | 2147483647 206203 136 | 0.000 % |
166.40/166.55 c | 208011 | 5862 25049 76011 | 2147483647 206326 136 | 0.000 % |
166.70/166.80 c | 208146 | 5862 25049 76011 | 2147483647 206461 136 | 0.000 % |
166.90/167.07 c | 208292 | 5862 25049 76011 | 2147483647 206607 136 | 0.000 % |
167.20/167.33 c | 208456 | 5862 25049 76011 | 2147483647 206771 136 | 0.000 % |
167.40/167.60 c | 208632 | 5862 25049 76011 | 2147483647 206947 136 | 0.000 % |
167.70/167.89 c | 208825 | 5862 25049 76011 | 2147483647 207140 136 | 0.000 % |
168.10/168.23 c | 209038 | 5862 25049 76011 | 2147483647 207353 136 | 0.000 % |
168.49/168.62 c | 209272 | 5862 25049 76011 | 2147483647 207587 136 | 0.000 % |
168.89/169.02 c | 209529 | 5862 25049 76011 | 2147483647 207844 136 | 0.000 % |
169.30/169.50 c | 209811 | 5862 25049 76011 | 2147483647 208126 136 | 0.000 % |
169.79/169.95 c | 210121 | 5862 25049 76011 | 2147483647 208436 136 | 0.000 % |
170.30/170.43 c | 210460 | 5862 25049 76011 | 2147483647 208775 136 | 0.000 % |
170.89/171.00 c | 210833 | 5862 25049 76011 | 2147483647 209148 136 | 0.000 % |
171.39/171.59 c | 211245 | 5862 25049 76011 | 2147483647 209560 136 | 0.000 % |
172.09/172.23 c | 211694 | 5862 25049 76011 | 2147483647 210009 136 | 0.000 % |
172.89/173.02 c | 212187 | 5862 25049 76011 | 2147483647 210502 136 | 0.000 % |
173.70/173.85 c | 212730 | 5862 25049 76011 | 2147483647 211045 136 | 0.000 % |
174.59/174.80 c | 213327 | 5862 25049 76011 | 2147483647 211642 136 | 0.000 % |
175.49/175.69 c | 213982 | 5862 25049 76011 | 2147483647 212297 136 | 0.000 % |
176.49/176.70 c | 214702 | 5862 25049 76011 | 2147483647 213017 136 | 0.000 % |
177.69/177.88 c | 215494 | 5862 25049 76011 | 2147483647 213809 136 | 0.000 % |
178.78/178.99 c | 216365 | 5862 25049 76011 | 2147483647 214680 136 | 0.000 % |
180.19/180.33 c | 217323 | 5862 25049 76011 | 2147483647 215638 136 | 0.000 % |
181.69/181.82 c | 218378 | 5862 25049 76011 | 2147483647 216693 136 | 0.000 % |
183.29/183.45 c | 219537 | 5862 25049 76011 | 2147483647 217852 136 | 0.000 % |
185.18/185.39 c | 220810 | 5862 25049 76011 | 2147483647 219125 136 | 0.000 % |
187.09/187.21 c | 222212 | 5862 25049 76011 | 2147483647 220527 136 | 0.000 % |
189.19/189.31 c | 223753 | 5862 25049 76011 | 2147483647 222068 136 | 0.000 % |
191.58/191.79 c | 225447 | 5862 25049 76011 | 2147483647 223762 136 | 0.000 % |
194.29/194.48 c | 227310 | 5862 25049 76011 | 2147483647 225625 137 | 0.000 % |
197.28/197.42 c | 229359 | 5862 25049 76011 | 2147483647 227674 137 | 0.000 % |
200.18/200.37 c | 231613 | 5862 25049 76011 | 2147483647 229928 137 | 0.000 % |
200.38/200.52 c | 231713 | 5862 25049 76011 | 2147483647 230028 137 | 0.000 % |
200.58/200.73 c | 231827 | 5862 25049 76011 | 2147483647 230142 137 | 0.000 % |
200.78/200.96 c | 231948 | 5862 25049 76011 | 2147483647 230263 137 | 0.000 % |
201.09/201.21 c | 232081 | 5862 25049 76011 | 2147483647 230396 137 | 0.000 % |
201.28/201.49 c | 232229 | 5862 25049 76011 | 2147483647 230544 137 | 0.000 % |
201.58/201.78 c | 232390 | 5862 25049 76011 | 2147483647 230705 137 | 0.000 % |
201.88/202.08 c | 232566 | 5862 25049 76011 | 2147483647 230881 137 | 0.000 % |
202.28/202.47 c | 232759 | 5862 25049 76011 | 2147483647 231074 137 | 0.000 % |
202.68/202.89 c | 232971 | 5862 25049 76011 | 2147483647 231286 137 | 0.000 % |
203.08/203.30 c | 233205 | 5862 25049 76011 | 2147483647 231520 137 | 0.000 % |
203.58/203.71 c | 233462 | 5862 25049 76011 | 2147483647 231777 137 | 0.000 % |
203.98/204.17 c | 233745 | 5862 25049 76011 | 2147483647 232060 137 | 0.000 % |
204.48/204.68 c | 234055 | 5862 25049 76011 | 2147483647 232370 137 | 0.000 % |
205.07/205.29 c | 234394 | 5862 25049 76011 | 2147483647 232709 137 | 0.000 % |
205.77/205.91 c | 234766 | 5862 25049 76011 | 2147483647 233081 137 | 0.000 % |
206.37/206.55 c | 235175 | 5862 25049 76011 | 2147483647 233490 137 | 0.000 % |
207.07/207.28 c | 235628 | 5862 25049 76011 | 2147483647 233943 137 | 0.000 % |
207.87/208.05 c | 236121 | 5862 25049 76011 | 2147483647 234436 137 | 0.000 % |
208.67/208.85 c | 236665 | 5862 25049 76011 | 2147483647 234980 137 | 0.000 % |
209.57/209.76 c | 237261 | 5862 25049 76011 | 2147483647 235576 137 | 0.000 % |
210.58/210.78 c | 237916 | 5862 25049 76011 | 2147483647 236231 137 | 0.000 % |
211.78/211.98 c | 238637 | 5862 25049 76011 | 2147483647 236952 137 | 0.000 % |
213.18/213.33 c | 239431 | 5862 25049 76011 | 2147483647 237746 137 | 0.000 % |
214.57/214.71 c | 240302 | 5862 25049 76011 | 2147483647 238617 137 | 0.000 % |
215.97/216.17 c | 241260 | 5862 25049 76011 | 2147483647 239575 137 | 0.000 % |
217.68/217.87 c | 242315 | 5862 25049 76011 | 2147483647 240630 137 | 0.000 % |
219.58/219.73 c | 243473 | 5862 25049 76011 | 2147483647 241788 137 | 0.000 % |
221.47/221.70 c | 244746 | 5862 25049 76011 | 2147483647 243061 137 | 0.000 % |
223.77/223.91 c | 246147 | 5862 25049 76011 | 2147483647 244462 137 | 0.000 % |
226.07/226.23 c | 247687 | 5862 25049 76011 | 2147483647 246002 137 | 0.000 % |
228.77/228.92 c | 249381 | 5862 25049 76011 | 2147483647 247696 137 | 0.000 % |
231.57/231.73 c | 251245 | 5862 25049 76011 | 2147483647 249560 137 | 0.000 % |
234.77/234.97 c | 253294 | 5862 25049 76011 | 2147483647 251609 137 | 0.000 % |
238.17/238.40 c | 255547 | 5862 25049 76011 | 2147483647 253862 137 | 0.000 % |
242.26/242.40 c | 258025 | 5862 25049 76011 | 2147483647 256340 138 | 0.000 % |
242.46/242.64 c | 258125 | 5862 25049 76011 | 2147483647 256440 138 | 0.000 % |
242.66/242.87 c | 258236 | 5862 25049 76011 | 2147483647 256551 138 | 0.000 % |
242.97/243.11 c | 258357 | 5862 25049 76011 | 2147483647 256672 138 | 0.000 % |
243.16/243.36 c | 258491 | 5862 25049 76011 | 2147483647 256806 138 | 0.000 % |
243.46/243.67 c | 258638 | 5862 25049 76011 | 2147483647 256953 138 | 0.000 % |
243.86/244.00 c | 258799 | 5862 25049 76011 | 2147483647 257114 138 | 0.000 % |
244.16/244.35 c | 258975 | 5862 25049 76011 | 2147483647 257290 138 | 0.000 % |
244.56/244.77 c | 259168 | 5862 25049 76011 | 2147483647 257483 138 | 0.000 % |
244.96/245.16 c | 259384 | 5862 25049 76011 | 2147483647 257699 138 | 0.000 % |
245.36/245.59 c | 259617 | 5862 25049 76011 | 2147483647 257932 138 | 0.000 % |
245.86/246.05 c | 259873 | 5862 25049 76011 | 2147483647 258188 138 | 0.000 % |
246.37/246.55 c | 260154 | 5862 25049 76011 | 2147483647 258469 137 | 0.000 % |
246.97/247.12 c | 260464 | 5862 25049 76011 | 2147483647 258779 138 | 0.000 % |
247.57/247.79 c | 260806 | 5862 25049 76011 | 2147483647 259121 138 | 0.000 % |
248.27/248.48 c | 261178 | 5862 25049 76011 | 2147483647 259493 137 | 0.000 % |
249.06/249.25 c | 261588 | 5862 25049 76011 | 2147483647 259903 137 | 0.000 % |
249.96/250.10 c | 262038 | 5862 25049 76011 | 2147483647 260353 137 | 0.000 % |
250.76/250.99 c | 262531 | 5862 25049 76011 | 2147483647 260846 137 | 0.000 % |
251.76/251.97 c | 263073 | 5862 25049 76011 | 2147483647 261388 137 | 0.000 % |
252.86/253.07 c | 263669 | 5862 25049 76011 | 2147483647 261984 137 | 0.000 % |
254.06/254.27 c | 264324 | 5862 25049 76011 | 2147483647 262639 137 | 0.000 % |
255.37/255.50 c | 265046 | 5862 25049 76011 | 2147483647 263361 137 | 0.000 % |
256.77/256.98 c | 265838 | 5862 25049 76011 | 2147483647 264153 137 | 0.000 % |
258.26/258.49 c | 266710 | 5862 25049 76011 | 2147483647 265025 137 | 0.000 % |
259.86/260.08 c | 267668 | 5862 25049 76011 | 2147483647 265983 137 | 0.000 % |
261.66/261.85 c | 268721 | 5862 25049 76011 | 2147483647 267036 137 | 0.000 % |
263.56/263.76 c | 269881 | 5862 25049 76011 | 2147483647 268196 138 | 0.000 % |
265.66/265.89 c | 271154 | 5862 25049 76011 | 2147483647 269469 138 | 0.000 % |
267.96/268.15 c | 272554 | 5862 25049 76011 | 2147483647 270869 138 | 0.000 % |
270.65/270.85 c | 274094 | 5862 25049 76011 | 2147483647 272409 138 | 0.000 % |
273.46/273.66 c | 275788 | 5862 25049 76011 | 2147483647 274103 138 | 0.000 % |
276.66/276.86 c | 277652 | 5862 25049 76011 | 2147483647 275967 138 | 0.000 % |
280.05/280.28 c | 279703 | 5862 25049 76011 | 2147483647 278018 138 | 0.000 % |
283.96/284.19 c | 281959 | 5862 25049 76011 | 2147483647 280274 139 | 0.000 % |
288.25/288.44 c | 284440 | 5862 25049 76011 | 2147483647 282755 139 | 0.000 % |
292.74/292.97 c | 287166 | 5862 25049 76011 | 2147483647 285481 139 | 0.000 % |
292.94/293.19 c | 287266 | 5862 25049 76011 | 2147483647 285581 139 | 0.000 % |
293.24/293.44 c | 287376 | 5862 25049 76011 | 2147483647 285691 139 | 0.000 % |
293.55/293.70 c | 287497 | 5862 25049 76011 | 2147483647 285812 139 | 0.000 % |
293.84/294.00 c | 287630 | 5862 25049 76011 | 2147483647 285945 139 | 0.000 % |
294.14/294.35 c | 287776 | 5862 25049 76011 | 2147483647 286091 139 | 0.000 % |
294.56/294.72 c | 287937 | 5862 25049 76011 | 2147483647 286252 139 | 0.000 % |
294.95/295.11 c | 288113 | 5862 25049 76011 | 2147483647 286428 139 | 0.000 % |
295.25/295.49 c | 288306 | 5862 25049 76011 | 2147483647 286621 139 | 0.000 % |
295.75/295.94 c | 288519 | 5862 25049 76011 | 2147483647 286834 139 | 0.000 % |
296.25/296.46 c | 288753 | 5862 25049 76011 | 2147483647 287068 139 | 0.000 % |
296.85/297.00 c | 289009 | 5862 25049 76011 | 2147483647 287324 139 | 0.000 % |
297.45/297.63 c | 289290 | 5862 25049 76011 | 2147483647 287605 139 | 0.000 % |
298.05/298.26 c | 289601 | 5862 25049 76011 | 2147483647 287916 139 | 0.000 % |
298.74/298.92 c | 289940 | 5862 25049 76011 | 2147483647 288255 139 | 0.000 % |
299.44/299.66 c | 290315 | 5862 25049 76011 | 2147483647 288630 139 | 0.000 % |
300.34/300.54 c | 290725 | 5862 25049 76011 | 2147483647 289040 139 | 0.000 % |
301.25/301.40 c | 291175 | 5862 25049 76011 | 2147483647 289490 139 | 0.000 % |
302.04/302.29 c | 291668 | 5862 25049 76011 | 2147483647 289983 139 | 0.000 % |
303.14/303.33 c | 292210 | 5862 25049 76011 | 2147483647 290525 139 | 0.000 % |
304.24/304.42 c | 292806 | 5862 25049 76011 | 2147483647 291121 139 | 0.000 % |
305.44/305.67 c | 293461 | 5862 25049 76011 | 2147483647 291776 139 | 0.000 % |
306.75/306.93 c | 294182 | 5862 25049 76011 | 2147483647 292497 139 | 0.000 % |
308.24/308.44 c | 294975 | 5862 25049 76011 | 2147483647 293290 139 | 0.000 % |
309.84/310.06 c | 295847 | 5862 25049 76011 | 2147483647 294162 139 | 0.000 % |
311.54/311.78 c | 296805 | 5862 25049 76011 | 2147483647 295120 139 | 0.000 % |
313.44/313.64 c | 297858 | 5862 25049 76011 | 2147483647 296173 139 | 0.000 % |
315.54/315.76 c | 299017 | 5862 25049 76011 | 2147483647 297332 139 | 0.000 % |
318.14/318.36 c | 300290 | 5862 25049 76011 | 2147483647 298605 139 | 0.000 % |
320.84/321.10 c | 301691 | 5862 25049 76011 | 2147483647 300006 139 | 0.000 % |
323.54/323.74 c | 303231 | 5862 25049 76011 | 2147483647 301546 139 | 0.000 % |
326.63/326.87 c | 304926 | 5862 25049 76011 | 2147483647 303241 139 | 0.000 % |
330.04/330.28 c | 306792 | 5862 25049 76011 | 2147483647 305107 139 | 0.000 % |
333.73/333.93 c | 308843 | 5862 25049 76011 | 2147483647 307158 139 | 0.000 % |
337.63/337.86 c | 311096 | 5862 25049 76011 | 2147483647 309411 140 | 0.000 % |
342.23/342.47 c | 313575 | 5862 25049 76011 | 2147483647 311890 140 | 0.000 % |
347.53/347.71 c | 316300 | 5862 25049 76011 | 2147483647 314615 140 | 0.000 % |
353.13/353.40 c | 319299 | 5862 25049 76011 | 2147483647 317614 140 | 0.000 % |
353.43/353.67 c | 319400 | 5862 25049 76011 | 2147483647 317715 140 | 0.000 % |
353.73/353.94 c | 319510 | 5862 25049 76011 | 2147483647 317825 140 | 0.000 % |
354.03/354.26 c | 319632 | 5862 25049 76011 | 2147483647 317947 140 | 0.000 % |
354.33/354.57 c | 319765 | 5862 25049 76011 | 2147483647 318080 140 | 0.000 % |
354.73/354.93 c | 319914 | 5862 25049 76011 | 2147483647 318229 140 | 0.000 % |
355.13/355.35 c | 320074 | 5862 25049 76011 | 2147483647 318389 140 | 0.000 % |
355.63/355.82 c | 320251 | 5862 25049 76011 | 2147483647 318566 140 | 0.000 % |
356.02/356.26 c | 320444 | 5862 25049 76011 | 2147483647 318759 140 | 0.000 % |
356.62/356.81 c | 320656 | 5862 25049 76011 | 2147483647 318971 140 | 0.000 % |
357.12/357.35 c | 320889 | 5862 25049 76011 | 2147483647 319204 140 | 0.000 % |
357.72/357.96 c | 321145 | 5862 25049 76011 | 2147483647 319460 139 | 0.000 % |
358.43/358.67 c | 321429 | 5862 25049 76011 | 2147483647 319744 139 | 0.000 % |
359.13/359.32 c | 321740 | 5862 25049 76011 | 2147483647 320055 140 | 0.000 % |
359.83/360.02 c | 322079 | 5862 25049 76011 | 2147483647 320394 140 | 0.000 % |
360.63/360.89 c | 322453 | 5862 25049 76011 | 2147483647 320768 140 | 0.000 % |
361.43/361.66 c | 322862 | 5862 25049 76011 | 2147483647 321177 140 | 0.000 % |
362.42/362.64 c | 323312 | 5862 25049 76011 | 2147483647 321627 140 | 0.000 % |
363.52/363.72 c | 323805 | 5862 25049 76011 | 2147483647 322120 140 | 0.000 % |
364.62/364.81 c | 324347 | 5862 25049 76011 | 2147483647 322662 140 | 0.000 % |
365.92/366.16 c | 324943 | 5862 25049 76011 | 2147483647 323258 140 | 0.000 % |
367.32/367.58 c | 325598 | 5862 25049 76011 | 2147483647 323913 140 | 0.000 % |
369.03/369.24 c | 326318 | 5862 25049 76011 | 2147483647 324633 140 | 0.000 % |
370.73/370.97 c | 327110 | 5862 25049 76011 | 2147483647 325425 140 | 0.000 % |
372.63/372.83 c | 327981 | 5862 25049 76011 | 2147483647 326296 140 | 0.000 % |
374.52/374.76 c | 328942 | 5862 25049 76011 | 2147483647 327257 140 | 0.000 % |
376.72/376.92 c | 329998 | 5862 25049 76011 | 2147483647 328313 140 | 0.000 % |
379.52/379.76 c | 331156 | 5862 25049 76011 | 328315 289359 139 | 0.000 % |
381.82/382.02 c | 332431 | 5862 25049 76011 | 328315 290634 139 | 0.000 % |
384.31/384.52 c | 333832 | 5862 25049 76011 | 328315 292035 139 | 0.000 % |
387.02/387.24 c | 335372 | 5862 25049 76011 | 328315 293575 139 | 0.000 % |
390.31/390.53 c | 337067 | 5862 25049 76011 | 328315 295270 139 | 0.000 % |
393.81/394.02 c | 338932 | 5862 25049 76011 | 328315 297135 139 | 0.000 % |
397.71/397.99 c | 340982 | 5862 25049 76011 | 2147483647 299185 140 | 0.000 % |
401.91/402.17 c | 343236 | 5862 25049 76011 | 2147483647 301439 140 | 0.000 % |
406.61/406.80 c | 345716 | 5862 25049 76011 | 2147483647 303919 140 | 0.000 % |
411.40/411.61 c | 348444 | 5862 25049 76011 | 2147483647 306647 140 | 0.000 % |
417.00/417.23 c | 351441 | 5862 25049 76011 | 2147483647 309644 140 | 0.000 % |
423.40/423.60 c | 354737 | 5862 25049 76011 | 2147483647 312940 140 | 0.000 % |
423.60/423.86 c | 354838 | 5862 25049 76011 | 2147483647 313041 140 | 0.000 % |
423.90/424.11 c | 354949 | 5862 25049 76011 | 2147483647 313152 140 | 0.000 % |
424.21/424.40 c | 355070 | 5862 25049 76011 | 2147483647 313273 140 | 0.000 % |
424.51/424.78 c | 355204 | 5862 25049 76011 | 2147483647 313407 140 | 0.000 % |
424.91/425.13 c | 355350 | 5862 25049 76011 | 2147483647 313553 140 | 0.000 % |
425.31/425.54 c | 355511 | 5862 25049 76011 | 2147483647 313714 140 | 0.000 % |
425.71/425.99 c | 355687 | 5862 25049 76011 | 2147483647 313890 140 | 0.000 % |
426.21/426.49 c | 355881 | 5862 25049 76011 | 2147483647 314084 140 | 0.000 % |
426.71/426.95 c | 356093 | 5862 25049 76011 | 2147483647 314296 140 | 0.000 % |
427.30/427.54 c | 356326 | 5862 25049 76011 | 2147483647 314529 140 | 0.000 % |
428.00/428.21 c | 356582 | 5862 25049 76011 | 2147483647 314785 140 | 0.000 % |
428.71/428.92 c | 356863 | 5862 25049 76011 | 2147483647 315066 140 | 0.000 % |
429.40/429.63 c | 357172 | 5862 25049 76011 | 2147483647 315375 140 | 0.000 % |
430.10/430.39 c | 357513 | 5862 25049 76011 | 2147483647 315716 140 | 0.000 % |
431.10/431.30 c | 357887 | 5862 25049 76011 | 2147483647 316090 140 | 0.000 % |
431.90/432.20 c | 358297 | 5862 25049 76011 | 2147483647 316500 140 | 0.000 % |
432.90/433.10 c | 358747 | 5862 25049 76011 | 2147483647 316950 140 | 0.000 % |
433.90/434.15 c | 359241 | 5862 25049 76011 | 2147483647 317444 140 | 0.000 % |
435.10/435.35 c | 359783 | 5862 25049 76011 | 2147483647 317986 140 | 0.000 % |
436.40/436.65 c | 360379 | 5862 25049 76011 | 318203 318582 140 | 0.000 % |
438.00/438.26 c | 361036 | 5862 25049 76011 | 318203 285135 141 | 0.000 % |
439.40/439.62 c | 361756 | 5862 25049 76011 | 318203 285855 141 | 0.000 % |
440.80/441.09 c | 362548 | 5862 25049 76011 | 318203 286647 141 | 0.000 % |
442.50/442.78 c | 363420 | 5862 25049 76011 | 318203 287519 141 | 0.000 % |
444.29/444.56 c | 364380 | 5862 25049 76011 | 318203 288479 141 | 0.000 % |
446.19/446.42 c | 365435 | 5862 25049 76011 | 318203 289534 141 | 0.000 % |
448.19/448.40 c | 366593 | 5862 25049 76011 | 318203 290692 141 | 0.000 % |
450.49/450.75 c | 367867 | 5862 25049 76011 | 318203 291966 141 | 0.000 % |
453.09/453.38 c | 369268 | 5862 25049 76011 | 318203 293367 141 | 0.000 % |
455.89/456.19 c | 370808 | 5862 25049 76011 | 2147483647 294907 141 | 0.000 % |
458.99/459.21 c | 372502 | 5862 25049 76011 | 2147483647 296601 141 | 0.000 % |
462.49/462.74 c | 374365 | 5862 25049 76011 | 2147483647 298464 142 | 0.000 % |
466.09/466.38 c | 376415 | 5862 25049 76011 | 2147483647 300514 142 | 0.000 % |
470.29/470.50 c | 378668 | 5862 25049 76011 | 2147483647 302767 142 | 0.000 % |
474.59/474.82 c | 381147 | 5862 25049 76011 | 2147483647 305246 142 | 0.000 % |
479.78/480.06 c | 383872 | 5862 25049 76011 | 2147483647 307971 142 | 0.000 % |
485.48/485.75 c | 386871 | 5862 25049 76011 | 2147483647 310970 142 | 0.000 % |
491.48/491.73 c | 390168 | 5862 25049 76011 | 2147483647 314267 142 | 0.000 % |
498.38/498.64 c | 393793 | 5862 25049 76011 | 2147483647 317892 142 | 0.000 % |
498.58/498.88 c | 393893 | 5862 25049 76011 | 2147483647 317992 142 | 0.000 % |
498.88/499.16 c | 394004 | 5862 25049 76011 | 2147483647 318103 142 | 0.000 % |
499.28/499.50 c | 394128 | 5862 25049 76011 | 2147483647 318227 142 | 0.000 % |
499.58/499.85 c | 394262 | 5862 25049 76011 | 2147483647 318361 142 | 0.000 % |
499.98/500.24 c | 394409 | 5862 25049 76011 | 2147483647 318508 142 | 0.000 % |
500.38/500.61 c | 394569 | 5862 25049 76011 | 2147483647 318668 142 | 0.000 % |
500.78/501.07 c | 394745 | 5862 25049 76011 | 2147483647 318844 142 | 0.000 % |
501.28/501.52 c | 394940 | 5862 25049 76011 | 2147483647 319039 142 | 0.000 % |
501.68/501.96 c | 395152 | 5862 25049 76011 | 2147483647 319251 142 | 0.000 % |
502.18/502.47 c | 395385 | 5862 25049 76011 | 2147483647 319484 142 | 0.000 % |
502.78/503.02 c | 395641 | 5862 25049 76011 | 2147483647 319740 142 | 0.000 % |
503.48/503.71 c | 395923 | 5862 25049 76011 | 2147483647 320022 142 | 0.000 % |
504.18/504.49 c | 396232 | 5862 25049 76011 | 2147483647 320331 142 | 0.000 % |
504.98/505.29 c | 396571 | 5862 25049 76011 | 2147483647 320670 142 | 0.000 % |
505.87/506.18 c | 396943 | 5862 25049 76011 | 2147483647 321042 142 | 0.000 % |
506.78/507.06 c | 397355 | 5862 25049 76011 | 2147483647 321454 142 | 0.000 % |
507.77/508.08 c | 397807 | 5862 25049 76011 | 2147483647 321906 142 | 0.000 % |
508.87/509.10 c | 398302 | 5862 25049 76011 | 2147483647 322401 142 | 0.000 % |
509.97/510.22 c | 398844 | 5862 25049 76011 | 2147483647 322943 142 | 0.000 % |
511.27/511.58 c | 399440 | 5862 25049 76011 | 2147483647 323539 142 | 0.000 % |
512.67/512.94 c | 400096 | 5862 25049 76011 | 324102 324195 142 | 0.000 % |
514.57/514.83 c | 400816 | 5862 25049 76011 | 324102 287527 142 | 0.000 % |
516.17/516.41 c | 401608 | 5862 25049 76011 | 324102 288319 142 | 0.000 % |
517.77/518.09 c | 402481 | 5862 25049 76011 | 324102 289192 142 | 0.000 % |
519.67/519.91 c | 403439 | 5862 25049 76011 | 324102 290150 142 | 0.000 % |
521.56/521.80 c | 404492 | 5862 25049 76011 | 324102 291203 142 | 0.000 % |
523.66/523.95 c | 405650 | 5862 25049 76011 | 324102 292361 142 | 0.000 % |
525.96/526.28 c | 406926 | 5862 25049 76011 | 324102 293637 142 | 0.000 % |
528.56/528.89 c | 408327 | 5862 25049 76011 | 324102 295038 142 | 0.000 % |
531.36/531.67 c | 409868 | 5862 25049 76011 | 324102 296579 142 | 0.000 % |
534.37/534.67 c | 411564 | 5862 25049 76011 | 2147483647 298275 142 | 0.000 % |
538.06/538.39 c | 413429 | 5862 25049 76011 | 2147483647 300140 142 | 0.000 % |
541.86/542.11 c | 415479 | 5862 25049 76011 | 2147483647 302190 143 | 0.000 % |
545.96/546.27 c | 417732 | 5862 25049 76011 | 2147483647 304443 143 | 0.000 % |
550.56/550.89 c | 420211 | 5862 25049 76011 | 2147483647 306922 143 | 0.000 % |
555.95/556.23 c | 422937 | 5862 25049 76011 | 2147483647 309648 143 | 0.000 % |
561.86/562.16 c | 425934 | 5862 25049 76011 | 2147483647 312645 143 | 0.000 % |
568.25/568.57 c | 429231 | 5862 25049 76011 | 2147483647 315942 143 | 0.000 % |
574.95/575.25 c | 432856 | 5862 25049 76011 | 2147483647 319567 143 | 0.000 % |
582.85/583.13 c | 436844 | 5862 25049 76011 | 2147483647 323555 143 | 0.000 % |
583.05/583.37 c | 436945 | 5862 25049 76011 | 2147483647 323656 143 | 0.000 % |
583.35/583.68 c | 437055 | 5862 25049 76011 | 2147483647 323766 143 | 0.000 % |
583.75/584.04 c | 437176 | 5862 25049 76011 | 2147483647 323887 143 | 0.000 % |
584.05/584.39 c | 437309 | 5862 25049 76011 | 2147483647 324020 143 | 0.000 % |
584.45/584.77 c | 437455 | 5862 25049 76011 | 2147483647 324166 143 | 0.000 % |
584.85/585.13 c | 437615 | 5862 25049 76011 | 2147483647 324326 143 | 0.000 % |
585.25/585.59 c | 437791 | 5862 25049 76011 | 2147483647 324502 143 | 0.000 % |
585.75/586.07 c | 437986 | 5862 25049 76011 | 2147483647 324697 143 | 0.000 % |
586.25/586.58 c | 438198 | 5862 25049 76011 | 2147483647 324909 143 | 0.000 % |
586.85/587.17 c | 438433 | 5862 25049 76011 | 2147483647 325144 143 | 0.000 % |
587.55/587.87 c | 438690 | 5862 25049 76011 | 2147483647 325401 143 | 0.000 % |
588.25/588.51 c | 438973 | 5862 25049 76011 | 2147483647 325684 143 | 0.000 % |
588.95/589.23 c | 439282 | 5862 25049 76011 | 2147483647 325993 143 | 0.000 % |
589.64/589.97 c | 439621 | 5862 25049 76011 | 2147483647 326332 143 | 0.000 % |
590.45/590.78 c | 439993 | 5862 25049 76011 | 2147483647 326704 143 | 0.000 % |
591.45/591.70 c | 440403 | 5862 25049 76011 | 2147483647 327114 143 | 0.000 % |
592.45/592.71 c | 440852 | 5862 25049 76011 | 2147483647 327563 143 | 0.000 % |
593.55/593.84 c | 441345 | 5862 25049 76011 | 2147483647 328056 143 | 0.000 % |
594.75/595.07 c | 441887 | 5862 25049 76011 | 2147483647 328598 143 | 0.000 % |
595.95/596.25 c | 442485 | 5862 25049 76011 | 2147483647 329196 143 | 0.000 % |
597.45/597.70 c | 443141 | 5862 25049 76011 | 2147483647 329852 143 | 0.000 % |
598.95/599.30 c | 443862 | 5862 25049 76011 | 2147483647 330573 143 | 0.000 % |
600.65/600.93 c | 444654 | 5862 25049 76011 | 2147483647 331365 143 | 0.000 % |
602.45/602.78 c | 445526 | 5862 25049 76011 | 2147483647 332237 143 | 0.000 % |
604.44/604.73 c | 446484 | 5862 25049 76011 | 2147483647 333195 143 | 0.000 % |
606.64/606.90 c | 447538 | 5862 25049 76011 | 2147483647 334249 143 | 0.000 % |
609.14/609.42 c | 448699 | 5862 25049 76011 | 2147483647 335410 143 | 0.000 % |
611.74/612.07 c | 449973 | 5862 25049 76011 | 2147483647 336684 143 | 0.000 % |
615.04/615.36 c | 451373 | 5862 25049 76011 | 336711 295583 144 | 0.000 % |
617.94/618.26 c | 452917 | 5862 25049 76011 | 336711 297127 144 | 0.000 % |
621.14/621.45 c | 454615 | 5862 25049 76011 | 336711 298825 144 | 0.000 % |
624.74/625.07 c | 456478 | 5862 25049 76011 | 336711 300688 144 | 0.000 % |
628.63/628.94 c | 458528 | 5862 25049 76011 | 336711 302738 144 | 0.000 % |
633.24/633.56 c | 460783 | 5862 25049 76011 | 2147483647 304993 144 | 0.000 % |
637.83/638.10 c | 463261 | 5862 25049 76011 | 2147483647 307471 144 | 0.000 % |
642.83/643.12 c | 465987 | 5862 25049 76011 | 2147483647 310197 144 | 0.000 % |
648.23/648.52 c | 468984 | 5862 25049 76011 | 2147483647 313194 145 | 0.000 % |
654.24/654.52 c | 472280 | 5862 25049 76011 | 2147483647 316490 145 | 0.000 % |
661.53/661.87 c | 475908 | 5862 25049 76011 | 2147483647 320118 145 | 0.000 % |
668.73/669.09 c | 479895 | 5862 25049 76011 | 2147483647 324105 145 | 0.000 % |
677.23/677.59 c | 484280 | 5862 25049 76011 | 2147483647 328490 145 | 0.000 % |
677.53/677.84 c | 484380 | 5862 25049 76011 | 2147483647 328590 145 | 0.000 % |
677.83/678.17 c | 484490 | 5862 25049 76011 | 2147483647 328700 145 | 0.000 % |
678.23/678.51 c | 484611 | 5862 25049 76011 | 2147483647 328821 145 | 0.000 % |
678.62/678.90 c | 484745 | 5862 25049 76011 | 2147483647 328955 145 | 0.000 % |
679.02/679.30 c | 484892 | 5862 25049 76011 | 2147483647 329102 145 | 0.000 % |
679.43/679.73 c | 485052 | 5862 25049 76011 | 2147483647 329262 145 | 0.000 % |
679.92/680.21 c | 485229 | 5862 25049 76011 | 2147483647 329439 145 | 0.000 % |
680.32/680.63 c | 485423 | 5862 25049 76011 | 2147483647 329633 145 | 0.000 % |
680.92/681.22 c | 485635 | 5862 25049 76011 | 2147483647 329845 145 | 0.000 % |
681.42/681.75 c | 485868 | 5862 25049 76011 | 2147483647 330078 145 | 0.000 % |
682.02/682.38 c | 486126 | 5862 25049 76011 | 2147483647 330336 145 | 0.000 % |
682.73/683.09 c | 486408 | 5862 25049 76011 | 2147483647 330618 145 | 0.000 % |
683.52/683.81 c | 486717 | 5862 25049 76011 | 2147483647 330927 145 | 0.000 % |
684.32/684.64 c | 487057 | 5862 25049 76011 | 2147483647 331267 145 | 0.000 % |
685.32/685.64 c | 487429 | 5862 25049 76011 | 2147483647 331639 145 | 0.000 % |
686.32/686.60 c | 487839 | 5862 25049 76011 | 2147483647 332049 145 | 0.000 % |
687.22/687.56 c | 488288 | 5862 25049 76011 | 2147483647 332498 145 | 0.000 % |
688.22/688.59 c | 488782 | 5862 25049 76011 | 2147483647 332992 145 | 0.000 % |
689.52/689.80 c | 489325 | 5862 25049 76011 | 2147483647 333535 145 | 0.000 % |
690.72/691.08 c | 489921 | 5862 25049 76011 | 2147483647 334131 145 | 0.000 % |
692.21/692.52 c | 490577 | 5862 25049 76011 | 334211 334787 145 | 0.000 % |
694.21/694.50 c | 491297 | 5862 25049 76011 | 334211 294835 147 | 0.000 % |
695.71/696.05 c | 492092 | 5862 25049 76011 | 334211 295630 147 | 0.000 % |
697.51/697.87 c | 492964 | 5862 25049 76011 | 334211 296502 147 | 0.000 % |
699.41/699.73 c | 493922 | 5862 25049 76011 | 334211 297460 147 | 0.000 % |
701.51/701.86 c | 494975 | 5862 25049 76011 | 334211 298513 147 | 0.000 % |
703.71/704.03 c | 496135 | 5862 25049 76011 | 334211 299673 147 | 0.000 % |
706.11/706.42 c | 497408 | 5862 25049 76011 | 334211 300946 147 | 0.000 % |
708.71/709.07 c | 498810 | 5862 25049 76011 | 334211 302348 147 | 0.000 % |
711.50/711.83 c | 500351 | 5862 25049 76011 | 2147483647 303889 147 | 0.000 % |
714.80/715.12 c | 502046 | 5862 25049 76011 | 2147483647 305584 147 | 0.000 % |
718.60/718.95 c | 503909 | 5862 25049 76011 | 2147483647 307447 147 | 0.000 % |
722.70/723.03 c | 505958 | 5862 25049 76011 | 2147483647 309496 147 | 0.000 % |
726.70/727.03 c | 508213 | 5862 25049 76011 | 2147483647 311751 147 | 0.000 % |
731.50/731.84 c | 510691 | 5862 25049 76011 | 2147483647 314229 147 | 0.000 % |
736.80/737.19 c | 513419 | 5862 25049 76011 | 2147483647 316957 147 | 0.000 % |
742.41/742.79 c | 516416 | 5862 25049 76011 | 2147483647 319954 147 | 0.000 % |
749.00/749.32 c | 519712 | 5862 25049 76011 | 2147483647 323250 147 | 0.000 % |
756.00/756.36 c | 523338 | 5862 25049 76011 | 2147483647 326876 147 | 0.000 % |
763.49/763.85 c | 527325 | 5862 25049 76011 | 2147483647 330863 148 | 0.000 % |
771.89/772.21 c | 531711 | 5862 25049 76011 | 2147483647 335249 148 | 0.000 % |
781.48/781.89 c | 536535 | 5862 25049 76011 | 2147483647 340073 148 | 0.000 % |
781.88/782.22 c | 536635 | 5862 25049 76011 | 2147483647 340173 148 | 0.000 % |
782.18/782.51 c | 536746 | 5862 25049 76011 | 2147483647 340284 148 | 0.000 % |
782.48/782.86 c | 536870 | 5862 25049 76011 | 2147483647 340408 148 | 0.000 % |
782.89/783.25 c | 537004 | 5862 25049 76011 | 2147483647 340542 148 | 0.000 % |
783.28/783.65 c | 537152 | 5862 25049 76011 | 2147483647 340690 148 | 0.000 % |
783.78/784.11 c | 537314 | 5862 25049 76011 | 2147483647 340852 148 | 0.000 % |
784.18/784.56 c | 537490 | 5862 25049 76011 | 2147483647 341028 148 | 0.000 % |
784.68/785.08 c | 537683 | 5862 25049 76011 | 2147483647 341221 148 | 0.000 % |
785.28/785.62 c | 537896 | 5862 25049 76011 | 2147483647 341434 148 | 0.000 % |
785.88/786.28 c | 538129 | 5862 25049 76011 | 2147483647 341667 148 | 0.000 % |
786.48/786.88 c | 538385 | 5862 25049 76011 | 2147483647 341923 148 | 0.000 % |
787.29/787.62 c | 538666 | 5862 25049 76011 | 2147483647 342204 148 | 0.000 % |
787.99/788.39 c | 538975 | 5862 25049 76011 | 2147483647 342513 148 | 0.000 % |
788.89/789.22 c | 539315 | 5862 25049 76011 | 2147483647 342853 148 | 0.000 % |
789.69/790.04 c | 539687 | 5862 25049 76011 | 2147483647 343225 148 | 0.000 % |
790.59/790.97 c | 540096 | 5862 25049 76011 | 343538 343634 148 | 0.000 % |
791.99/792.34 c | 540546 | 5862 25049 76011 | 343538 302363 148 | 0.000 % |
793.09/793.44 c | 541039 | 5862 25049 76011 | 343538 302856 148 | 0.000 % |
794.29/794.64 c | 541581 | 5862 25049 76011 | 343538 303398 148 | 0.000 % |
795.59/795.98 c | 542177 | 5862 25049 76011 | 343538 303994 148 | 0.000 % |
796.98/797.32 c | 542832 | 5862 25049 76011 | 343538 304649 148 | 0.000 % |
798.38/798.75 c | 543552 | 5862 25049 76011 | 343538 305369 148 | 0.000 % |
800.08/800.50 c | 544344 | 5862 25049 76011 | 343538 306161 148 | 0.000 % |
801.88/802.26 c | 545216 | 5862 25049 76011 | 343538 307033 148 | 0.000 % |
803.88/804.22 c | 546174 | 5862 25049 76011 | 343538 307991 148 | 0.000 % |
805.99/806.34 c | 547227 | 5862 25049 76011 | 343538 309044 148 | 0.000 % |
808.18/808.56 c | 548385 | 5862 25049 76011 | 343538 310202 148 | 0.000 % |
810.78/811.15 c | 549658 | 5862 25049 76011 | 343538 311475 148 | 0.000 % |
813.38/813.79 c | 551059 | 5862 25049 76011 | 311820 312876 148 | 0.000 % |
816.78/817.13 c | 552599 | 5862 25049 76011 | 311820 283129 148 | 0.000 % |
819.68/820.05 c | 554293 | 5862 25049 76011 | 311820 284823 148 | 0.000 % |
822.88/823.25 c | 556162 | 5862 25049 76011 | 311820 286692 148 | 0.000 % |
826.57/826.92 c | 558211 | 5862 25049 76011 | 311820 288741 148 | 0.000 % |
830.57/830.96 c | 560468 | 5862 25049 76011 | 2147483647 290998 148 | 0.000 % |
834.97/835.39 c | 562946 | 5862 25049 76011 | 2147483647 293476 148 | 0.000 % |
839.77/840.15 c | 565673 | 5862 25049 76011 | 2147483647 296203 148 | 0.000 % |
844.77/845.15 c | 568670 | 5862 25049 76011 | 2147483647 299200 149 | 0.000 % |
850.87/851.23 c | 571967 | 5862 25049 76011 | 2147483647 302497 149 | 0.000 % |
857.57/858.00 c | 575594 | 5862 25049 76011 | 2147483647 306124 149 | 0.000 % |
865.37/865.73 c | 579581 | 5862 25049 76011 | 2147483647 310111 149 | 0.000 % |
873.66/874.01 c | 583966 | 5862 25049 76011 | 2147483647 314496 149 | 0.000 % |
883.06/883.44 c | 588789 | 5862 25049 76011 | 2147483647 319319 149 | 0.000 % |
893.25/893.68 c | 594094 | 5862 25049 76011 | 2147483647 324624 150 | 0.000 % |
893.55/893.98 c | 594195 | 5862 25049 76011 | 2147483647 324725 150 | 0.000 % |
893.96/894.33 c | 594308 | 5862 25049 76011 | 2147483647 324838 150 | 0.000 % |
894.25/894.66 c | 594430 | 5862 25049 76011 | 2147483647 324960 150 | 0.000 % |
894.65/895.03 c | 594564 | 5862 25049 76011 | 2147483647 325094 150 | 0.000 % |
895.06/895.48 c | 594712 | 5862 25049 76011 | 2147483647 325242 150 | 0.000 % |
895.45/895.88 c | 594872 | 5862 25049 76011 | 2147483647 325402 150 | 0.000 % |
895.95/896.31 c | 595048 | 5862 25049 76011 | 2147483647 325578 150 | 0.000 % |
896.45/896.86 c | 595242 | 5862 25049 76011 | 2147483647 325772 150 | 0.000 % |
897.05/897.42 c | 595454 | 5862 25049 76011 | 2147483647 325984 149 | 0.000 % |
897.55/897.97 c | 595688 | 5862 25049 76011 | 2147483647 326218 149 | 0.000 % |
898.15/898.56 c | 595944 | 5862 25049 76011 | 2147483647 326474 149 | 0.000 % |
898.85/899.28 c | 596225 | 5862 25049 76011 | 2147483647 326755 149 | 0.000 % |
899.55/899.95 c | 596534 | 5862 25049 76011 | 2147483647 327064 149 | 0.000 % |
900.35/900.74 c | 596873 | 5862 25049 76011 | 2147483647 327403 149 | 0.000 % |
901.25/901.65 c | 597247 | 5862 25049 76011 | 2147483647 327777 149 | 0.000 % |
902.25/902.62 c | 597657 | 5862 25049 76011 | 2147483647 328187 149 | 0.000 % |
903.15/903.55 c | 598106 | 5862 25049 76011 | 2147483647 328636 149 | 0.000 % |
904.25/904.63 c | 598600 | 5862 25049 76011 | 2147483647 329130 149 | 0.000 % |
905.45/905.88 c | 599142 | 5862 25049 76011 | 2147483647 329672 149 | 0.000 % |
906.75/907.12 c | 599739 | 5862 25049 76011 | 2147483647 330269 149 | 0.000 % |
908.15/908.54 c | 600394 | 5862 25049 76011 | 330531 330924 149 | 0.000 % |
910.15/910.51 c | 601115 | 5862 25049 76011 | 330531 292812 150 | 0.000 % |
911.55/911.95 c | 601907 | 5862 25049 76011 | 330531 293604 149 | 0.000 % |
913.25/913.60 c | 602779 | 5862 25049 76011 | 330531 294476 149 | 0.000 % |
914.95/915.36 c | 603738 | 5862 25049 76011 | 330531 295435 149 | 0.000 % |
916.95/917.35 c | 604794 | 5862 25049 76011 | 330531 296491 149 | 0.000 % |
919.15/919.60 c | 605952 | 5862 25049 76011 | 330531 297649 149 | 0.000 % |
921.55/921.94 c | 607225 | 5862 25049 76011 | 330531 298922 149 | 0.000 % |
923.94/924.37 c | 608626 | 5862 25049 76011 | 330531 300323 149 | 0.000 % |
927.04/927.49 c | 610166 | 5862 25049 76011 | 2147483647 301863 149 | 0.000 % |
930.25/930.62 c | 611860 | 5862 25049 76011 | 2147483647 303557 149 | 0.000 % |
933.84/934.26 c | 613724 | 5862 25049 76011 | 2147483647 305421 149 | 0.000 % |
937.84/938.22 c | 615774 | 5862 25049 76011 | 2147483647 307471 149 | 0.000 % |
942.04/942.44 c | 618027 | 5862 25049 76011 | 2147483647 309724 149 | 0.000 % |
946.94/947.36 c | 620505 | 5862 25049 76011 | 2147483647 312202 149 | 0.000 % |
952.43/952.82 c | 623230 | 5862 25049 76011 | 2147483647 314927 149 | 0.000 % |
958.33/958.77 c | 626227 | 5862 25049 76011 | 2147483647 317924 150 | 0.000 % |
964.73/965.20 c | 629525 | 5862 25049 76011 | 2147483647 321222 149 | 0.000 % |
971.83/972.29 c | 633150 | 5862 25049 76011 | 2147483647 324847 150 | 0.000 % |
979.53/979.97 c | 637137 | 5862 25049 76011 | 2147483647 328834 150 | 0.000 % |
988.32/988.71 c | 641523 | 5862 25049 76011 | 2147483647 333220 150 | 0.000 % |
998.23/998.61 c | 646351 | 5862 25049 76011 | 2147483647 338048 150 | 0.000 % |
1009.02/1009.49 c | 651656 | 5862 25049 76011 | 341698 305682 151 | 0.000 % |
1019.72/1020.13 c | 657491 | 5862 25049 76011 | 341698 311517 151 | 0.000 % |
1019.92/1020.36 c | 657592 | 5862 25049 76011 | 341698 311618 151 | 0.000 % |
1020.22/1020.68 c | 657702 | 5862 25049 76011 | 341698 311728 151 | 0.000 % |
1020.52/1020.99 c | 657823 | 5862 25049 76011 | 341698 311849 151 | 0.000 % |
1020.92/1021.31 c | 657956 | 5862 25049 76011 | 341698 311982 151 | 0.000 % |
1021.22/1021.68 c | 658102 | 5862 25049 76011 | 341698 312128 151 | 0.000 % |
1021.62/1022.04 c | 658264 | 5862 25049 76011 | 341698 312290 151 | 0.000 % |
1022.02/1022.43 c | 658441 | 5862 25049 76011 | 341698 312467 151 | 0.000 % |
1022.42/1022.88 c | 658634 | 5862 25049 76011 | 341698 312660 151 | 0.000 % |
1022.92/1023.38 c | 658848 | 5862 25049 76011 | 341698 312874 151 | 0.000 % |
1023.52/1023.94 c | 659082 | 5862 25049 76011 | 341698 313108 150 | 0.000 % |
1024.12/1024.55 c | 659339 | 5862 25049 76011 | 341698 313365 150 | 0.000 % |
1024.72/1025.18 c | 659620 | 5862 25049 76011 | 341698 313646 150 | 0.000 % |
1025.41/1025.83 c | 659929 | 5862 25049 76011 | 341698 313955 150 | 0.000 % |
1026.21/1026.66 c | 660268 | 5862 25049 76011 | 2147483647 314294 150 | 0.000 % |
1027.02/1027.44 c | 660640 | 5862 25049 76011 | 2147483647 314666 150 | 0.000 % |
1027.81/1028.26 c | 661049 | 5862 25049 76011 | 2147483647 315075 150 | 0.000 % |
1028.91/1029.34 c | 661500 | 5862 25049 76011 | 2147483647 315526 150 | 0.000 % |
1030.11/1030.53 c | 661996 | 5862 25049 76011 | 2147483647 316022 150 | 0.000 % |
1031.21/1031.65 c | 662540 | 5862 25049 76011 | 2147483647 316566 150 | 0.000 % |
1032.52/1032.93 c | 663137 | 5862 25049 76011 | 2147483647 317163 150 | 0.000 % |
1033.81/1034.28 c | 663793 | 5862 25049 76011 | 2147483647 317819 150 | 0.000 % |
1035.31/1035.78 c | 664513 | 5862 25049 76011 | 2147483647 318539 150 | 0.000 % |
1037.21/1037.67 c | 665306 | 5862 25049 76011 | 2147483647 319332 150 | 0.000 % |
1039.01/1039.45 c | 666177 | 5862 25049 76011 | 2147483647 320203 150 | 0.000 % |
1040.91/1041.39 c | 667138 | 5862 25049 76011 | 2147483647 321164 150 | 0.000 % |
1043.11/1043.51 c | 668191 | 5862 25049 76011 | 2147483647 322217 150 | 0.000 % |
1045.31/1045.74 c | 669349 | 5862 25049 76011 | 2147483647 323375 150 | 0.000 % |
1048.01/1048.46 c | 670623 | 5862 25049 76011 | 324026 324649 150 | 0.000 % |
1051.11/1051.53 c | 672023 | 5862 25049 76011 | 324026 291124 150 | 0.000 % |
1054.00/1054.42 c | 673564 | 5862 25049 76011 | 324026 292665 150 | 0.000 % |
1057.00/1057.41 c | 675258 | 5862 25049 76011 | 324026 294359 150 | 0.000 % |
1060.60/1061.08 c | 677121 | 5862 25049 76011 | 324026 296222 150 | 0.000 % |
1064.50/1064.98 c | 679172 | 5862 25049 76011 | 324026 298273 150 | 0.000 % |
1068.50/1068.99 c | 681428 | 5862 25049 76011 | 2147483647 300529 150 | 0.000 % |
1073.40/1073.80 c | 683907 | 5862 25049 76011 | 2147483647 303008 150 | 0.000 % |
1078.40/1078.88 c | 686633 | 5862 25049 76011 | 2147483647 305734 150 | 0.000 % |
1084.21/1084.64 c | 689632 | 5862 25049 76011 | 2147483647 308733 150 | 0.000 % |
1090.50/1090.91 c | 692928 | 5862 25049 76011 | 2147483647 312029 150 | 0.000 % |
1097.60/1098.04 c | 696553 | 5862 25049 76011 | 2147483647 315654 150 | 0.000 % |
1105.30/1105.73 c | 700541 | 5862 25049 76011 | 2147483647 319642 150 | 0.000 % |
1113.59/1114.06 c | 704931 | 5862 25049 76011 | 2147483647 324032 150 | 0.000 % |
1123.59/1124.04 c | 709754 | 5862 25049 76011 | 2147483647 328855 150 | 0.000 % |
1133.79/1134.24 c | 715059 | 5862 25049 76011 | 329101 299859 151 | 0.000 % |
1145.18/1145.66 c | 720895 | 5862 25049 76011 | 2147483647 305695 151 | 0.000 % |
1156.69/1157.15 c | 727314 | 5862 25049 76011 | 2147483647 312114 151 | 0.000 % |
1156.88/1157.37 c | 727415 | 5862 25049 76011 | 2147483647 312215 151 | 0.000 % |
1157.18/1157.68 c | 727526 | 5862 25049 76011 | 2147483647 312326 151 | 0.000 % |
1157.58/1158.02 c | 727649 | 5862 25049 76011 | 2147483647 312449 151 | 0.000 % |
1157.88/1158.39 c | 727785 | 5862 25049 76011 | 2147483647 312585 151 | 0.000 % |
1158.28/1158.77 c | 727938 | 5862 25049 76011 | 2147483647 312738 151 | 0.000 % |
1158.68/1159.17 c | 728099 | 5862 25049 76011 | 2147483647 312899 151 | 0.000 % |
1159.18/1159.65 c | 728275 | 5862 25049 76011 | 2147483647 313075 151 | 0.000 % |
1159.58/1160.08 c | 728468 | 5862 25049 76011 | 2147483647 313268 151 | 0.000 % |
1160.08/1160.58 c | 728682 | 5862 25049 76011 | 2147483647 313482 151 | 0.000 % |
1160.68/1161.14 c | 728915 | 5862 25049 76011 | 2147483647 313715 151 | 0.000 % |
1161.18/1161.62 c | 729171 | 5862 25049 76011 | 2147483647 313971 151 | 0.000 % |
1161.78/1162.25 c | 729452 | 5862 25049 76011 | 2147483647 314252 151 | 0.000 % |
1162.48/1162.98 c | 729761 | 5862 25049 76011 | 2147483647 314561 151 | 0.000 % |
1163.28/1163.76 c | 730101 | 5862 25049 76011 | 2147483647 314901 151 | 0.000 % |
1164.08/1164.59 c | 730473 | 5862 25049 76011 | 2147483647 315273 151 | 0.000 % |
1165.07/1165.51 c | 730883 | 5862 25049 76011 | 2147483647 315683 151 | 0.000 % |
1165.97/1166.48 c | 731335 | 5862 25049 76011 | 2147483647 316135 151 | 0.000 % |
1166.97/1167.49 c | 731830 | 5862 25049 76011 | 2147483647 316630 151 | 0.000 % |
1168.07/1168.59 c | 732372 | 5862 25049 76011 | 2147483647 317172 151 | 0.000 % |
1169.47/1169.91 c | 732970 | 5862 25049 76011 | 2147483647 317770 151 | 0.000 % |
1170.87/1171.36 c | 733625 | 5862 25049 76011 | 2147483647 318425 151 | 0.000 % |
1172.37/1172.81 c | 734346 | 5862 25049 76011 | 2147483647 319146 151 | 0.000 % |
1173.97/1174.48 c | 735139 | 5862 25049 76011 | 2147483647 319939 151 | 0.000 % |
1175.57/1176.08 c | 736011 | 5862 25049 76011 | 2147483647 320811 151 | 0.000 % |
1177.77/1178.27 c | 736969 | 5862 25049 76011 | 2147483647 321769 151 | 0.000 % |
1180.07/1180.57 c | 738024 | 5862 25049 76011 | 2147483647 322824 151 | 0.000 % |
1182.47/1182.94 c | 739183 | 5862 25049 76011 | 2147483647 323983 151 | 0.000 % |
1185.27/1185.78 c | 740458 | 5862 25049 76011 | 324800 325258 151 | 0.000 % |
1188.47/1188.97 c | 741858 | 5862 25049 76011 | 324800 293942 151 | 0.000 % |
1191.56/1192.00 c | 743398 | 5862 25049 76011 | 324800 295482 151 | 0.000 % |
1194.66/1195.14 c | 745093 | 5862 25049 76011 | 324800 297177 150 | 0.000 % |
1198.26/1198.72 c | 746957 | 5862 25049 76011 | 324800 299041 150 | 0.000 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1832705-1242786439/watcher-1832705-1242786439 -o /tmp/evaluation-result-1832705-1242786439/solver-1832705-1242786439 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832705-1242786439.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 2/64 23776
/proc/meminfo: memFree=1763844/2055920 swapFree=4180348/4192956
[pid=23776] ppid=23774 vsize=5356 CPUtime=0
/proc/23776/stat : 23776 (SatELiteGTI) S 23774 23776 23151 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 306676483 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/23776/statm: 1339 237 197 169 0 50 0
[startup+0.024244 s]
/proc/loadavg: 0.92 0.98 0.99 2/64 23776
/proc/meminfo: memFree=1763844/2055920 swapFree=4180348/4192956
[pid=23776] ppid=23774 vsize=5356 CPUtime=0
/proc/23776/stat : 23776 (SatELiteGTI) S 23774 23776 23151 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 306676483 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/23776/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.101251 s]
/proc/loadavg: 0.92 0.98 0.99 2/64 23776
/proc/meminfo: memFree=1763844/2055920 swapFree=4180348/4192956
[pid=23776] ppid=23774 vsize=5356 CPUtime=0
/proc/23776/stat : 23776 (SatELiteGTI) S 23774 23776 23151 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 306676483 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/23776/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301277 s]
/proc/loadavg: 0.92 0.98 0.99 2/64 23776
/proc/meminfo: memFree=1763844/2055920 swapFree=4180348/4192956
[pid=23776] ppid=23774 vsize=5356 CPUtime=0.1
/proc/23776/stat : 23776 (SatELiteGTI) S 23774 23776 23151 0 -1 4194304 336 1152 0 0 0 0 9 1 16 0 1 0 306676483 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23776/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 5356
[startup+0.701323 s]
/proc/loadavg: 0.92 0.98 0.99 2/64 23776
/proc/meminfo: memFree=1763844/2055920 swapFree=4180348/4192956
[pid=23776] ppid=23774 vsize=5356 CPUtime=0.1
/proc/23776/stat : 23776 (SatELiteGTI) S 23774 23776 23151 0 -1 4194304 336 1152 0 0 0 0 9 1 16 0 1 0 306676483 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23776/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 5356
[startup+1.50141 s]
/proc/loadavg: 0.92 0.98 0.99 2/66 23782
/proc/meminfo: memFree=1758524/2055920 swapFree=4180348/4192956
[pid=23776] ppid=23774 vsize=5356 CPUtime=0.1
/proc/23776/stat : 23776 (SatELiteGTI) S 23774 23776 23151 0 -1 4194304 336 1152 0 0 0 0 9 1 16 0 1 0 306676483 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23776/statm: 1339 239 197 169 0 50 0
[pid=23782] ppid=23776 vsize=7144 CPUtime=1.38
/proc/23782/stat : 23782 (minisat_static) R 23776 23776 23151 0 -1 4194304 1524 0 0 0 137 1 0 0 25 0 1 0 306676494 7315456 1510 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/23782/statm: 1786 1510 77 171 0 1613 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 12500
[startup+3.10158 s]
/proc/loadavg: 0.92 0.98 0.99 2/66 23782
/proc/meminfo: memFree=1756476/2055920 swapFree=4180348/4192956
[pid=23776] ppid=23774 vsize=5356 CPUtime=0.1
/proc/23776/stat : 23776 (SatELiteGTI) S 23774 23776 23151 0 -1 4194304 336 1152 0 0 0 0 9 1 16 0 1 0 306676483 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23776/statm: 1339 239 197 169 0 50 0
[pid=23782] ppid=23776 vsize=9836 CPUtime=2.98
/proc/23782/stat : 23782 (minisat_static) R 23776 23776 23151 0 -1 4194304 2205 0 0 0 296 2 0 0 25 0 1 0 306676494 10072064 2191 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/23782/statm: 2459 2191 77 171 0 2286 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 15192
[startup+6.30294 s]
/proc/loadavg: 0.93 0.98 0.99 2/66 23782
/proc/meminfo: memFree=1750076/2055920 swapFree=4180348/4192956
[pid=23776] ppid=23774 vsize=5356 CPUtime=0.1
/proc/23776/stat : 23776 (SatELiteGTI) S 23774 23776 23151 0 -1 4194304 336 1152 0 0 0 0 9 1 16 0 1 0 306676483 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23776/statm: 1339 239 197 169 0 50 0
[pid=23782] ppid=23776 vsize=15556 CPUtime=6.17
/proc/23782/stat : 23782 (minisat_static) R 23776 23776 23151 0 -1 4194304 3632 0 0 0 614 3 0 0 25 0 1 0 306676494 15929344 3618 1992294400 134512640 135215339 4294956240 18446744073709551615 134539451 0 0 4096 3 0 0 0 17 1 0 0
/proc/23782/statm: 3889 3618 77 171 0 3716 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 20912
[startup+12.7017 s]
/proc/loadavg: 0.93 0.98 0.99 2/66 23782
/proc/meminfo: memFree=1740612/2055920 swapFree=4180348/4192956
[pid=23776] ppid=23774 vsize=5356 CPUtime=0.1
/proc/23776/stat : 23776 (SatELiteGTI) S 23774 23776 23151 0 -1 4194304 336 1152 0 0 0 0 9 1 16 0 1 0 306676483 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23776/statm: 1339 239 197 169 0 50 0
[pid=23782] ppid=23776 vsize=24432 CPUtime=12.57
/proc/23782/stat : 23782 (minisat_static) R 23776 23776 23151 0 -1 4194304 5848 0 0 0 1251 6 0 0 25 0 1 0 306676494 25018368 5834 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/23782/statm: 6108 5834 77 171 0 5935 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 29788
[startup+25.5011 s]
/proc/loadavg: 0.95 0.98 0.99 2/66 23782
/proc/meminfo: memFree=1726020/2055920 swapFree=4180348/4192956
[pid=23776] ppid=23774 vsize=5356 CPUtime=0.1
/proc/23776/stat : 23776 (SatELiteGTI) S 23774 23776 23151 0 -1 4194304 336 1152 0 0 0 0 9 1 16 0 1 0 306676483 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23776/statm: 1339 239 197 169 0 50 0
[pid=23782] ppid=23776 vsize=38360 CPUtime=25.35
/proc/23782/stat : 23782 (minisat_static) R 23776 23776 23151 0 -1 4194304 9326 0 0 0 2527 8 0 0 25 0 1 0 306676494 39280640 9312 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 1 0 0
/proc/23782/statm: 9590 9312 77 171 0 9417 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 43716
[startup+51.1019 s]
/proc/loadavg: 0.96 0.98 0.99 2/66 23782
/proc/meminfo: memFree=1705348/2055920 swapFree=4180348/4192956
[pid=23776] ppid=23774 vsize=5356 CPUtime=0.1
/proc/23776/stat : 23776 (SatELiteGTI) S 23774 23776 23151 0 -1 4194304 336 1152 0 0 0 0 9 1 16 0 1 0 306676483 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23776/statm: 1339 239 197 169 0 50 0
[pid=23782] ppid=23776 vsize=59264 CPUtime=50.94
/proc/23782/stat : 23782 (minisat_static) R 23776 23776 23151 0 -1 4194304 14525 0 0 0 5079 15 0 0 25 0 1 0 306676494 60686336 14511 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 1 0 0
/proc/23782/statm: 14816 14511 77 171 0 14643 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 64620
[startup+102.306 s]
/proc/loadavg: 0.98 0.98 0.99 2/66 23782
/proc/meminfo: memFree=1673732/2055920 swapFree=4180348/4192956
[pid=23776] ppid=23774 vsize=5356 CPUtime=0.1
/proc/23776/stat : 23776 (SatELiteGTI) S 23774 23776 23151 0 -1 4194304 336 1152 0 0 0 0 9 1 16 0 1 0 306676483 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23776/statm: 1339 239 197 169 0 50 0
[pid=23782] ppid=23776 vsize=90420 CPUtime=102.12
/proc/23782/stat : 23782 (minisat_static) R 23776 23776 23151 0 -1 4194304 22306 0 0 0 10189 23 0 0 25 0 1 0 306676494 92590080 22292 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/23782/statm: 22605 22292 77 171 0 22432 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 95776
[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 23782
/proc/meminfo: memFree=1644932/2055920 swapFree=4180348/4192956
[pid=23776] ppid=23774 vsize=5356 CPUtime=0.1
/proc/23776/stat : 23776 (SatELiteGTI) S 23774 23776 23151 0 -1 4194304 336 1152 0 0 0 0 9 1 16 0 1 0 306676483 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23776/statm: 1339 239 197 169 0 50 0
[pid=23782] ppid=23776 vsize=119196 CPUtime=162.1
/proc/23782/stat : 23782 (minisat_static) R 23776 23776 23151 0 -1 4194304 29539 0 0 0 16178 32 0 0 25 0 1 0 306676494 122056704 29525 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/23782/statm: 29799 29525 77 171 0 29626 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 124552
[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 23782
/proc/meminfo: memFree=1620100/2055920 swapFree=4180348/4192956
[pid=23776] ppid=23774 vsize=5356 CPUtime=0.1
/proc/23776/stat : 23776 (SatELiteGTI) S 23774 23776 23151 0 -1 4194304 336 1152 0 0 0 0 9 1 16 0 1 0 306676483 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23776/statm: 1339 239 197 169 0 50 0
[pid=23782] ppid=23776 vsize=143756 CPUtime=222.07
/proc/23782/stat : 23782 (minisat_static) R 23776 23776 23151 0 -1 4194304 35634 0 0 0 22167 40 0 0 25 0 1 0 306676494 147206144 35620 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/23782/statm: 35939 35620 77 171 0 35766 0
Current children cumulated CPU time (s) 222.17
Current children cumulated vsize (KiB) 149112
[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 23782
/proc/meminfo: memFree=1597956/2055920 swapFree=4180348/4192956
[pid=23776] ppid=23774 vsize=5356 CPUtime=0.1
/proc/23776/stat : 23776 (SatELiteGTI) S 23774 23776 23151 0 -1 4194304 336 1152 0 0 0 0 9 1 16 0 1 0 306676483 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23776/statm: 1339 239 197 169 0 50 0
[pid=23782] ppid=23776 vsize=165932 CPUtime=282.05
/proc/23782/stat : 23782 (minisat_static) R 23776 23776 23151 0 -1 4194304 41192 0 0 0 28158 47 0 0 25 0 1 0 306676494 169914368 41178 1992294400 134512640 135215339 4294956240 18446744073709551615 134528821 0 0 4096 3 0 0 0 17 1 0 0
/proc/23782/statm: 41483 41178 77 171 0 41310 0
Current children cumulated CPU time (s) 282.15
Current children cumulated vsize (KiB) 171288
[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 23782
/proc/meminfo: memFree=1577412/2055920 swapFree=4180348/4192956
[pid=23776] ppid=23774 vsize=5356 CPUtime=0.1
/proc/23776/stat : 23776 (SatELiteGTI) S 23774 23776 23151 0 -1 4194304 336 1152 0 0 0 0 9 1 16 0 1 0 306676483 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23776/statm: 1339 239 197 169 0 50 0
[pid=23782] ppid=23776 vsize=186604 CPUtime=342.03
/proc/23782/stat : 23782 (minisat_static) R 23776 23776 23151 0 -1 4194304 46258 0 0 0 34150 53 0 0 25 0 1 0 306676494 191082496 46244 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/23782/statm: 46651 46244 77 171 0 46478 0
Current children cumulated CPU time (s) 342.13
Current children cumulated vsize (KiB) 191960
[startup+402.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 23782
/proc/meminfo: memFree=1566788/2055920 swapFree=4180348/4192956
[pid=23776] ppid=23774 vsize=5356 CPUtime=0.1
/proc/23776/stat : 23776 (SatELiteGTI) S 23774 23776 23151 0 -1 4194304 336 1152 0 0 0 0 9 1 16 0 1 0 306676483 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23776/statm: 1339 239 197 169 0 50 0
[pid=23782] ppid=23776 vsize=196900 CPUtime=402.01
/proc/23782/stat : 23782 (minisat_static) R 23776 23776 23151 0 -1 4194304 48850 0 0 0 40144 57 0 0 25 0 1 0 306676494 201625600 48836 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/23782/statm: 49225 48836 77 171 0 49052 0
Current children cumulated CPU time (s) 402.11
Current children cumulated vsize (KiB) 202256
[startup+462.302 s]
################
# More data... #
################
/proc/23782/statm: 49720 49324 77 171 0 49547 0
Current children cumulated CPU time (s) 582.05
Current children cumulated vsize (KiB) 204236
[startup+642.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 23782
/proc/meminfo: memFree=1555972/2055920 swapFree=4180348/4192956
[pid=23776] ppid=23774 vsize=5356 CPUtime=0.1
/proc/23776/stat : 23776 (SatELiteGTI) S 23774 23776 23151 0 -1 4194304 336 1152 0 0 0 0 9 1 16 0 1 0 306676483 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23776/statm: 1339 239 197 169 0 50 0
[pid=23782] ppid=23776 vsize=207328 CPUtime=641.93
/proc/23782/stat : 23782 (minisat_static) R 23776 23776 23151 0 -1 4194304 51443 0 0 0 64132 61 0 0 25 0 1 0 306676494 212303872 51429 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/23782/statm: 51832 51429 77 171 0 51659 0
Current children cumulated CPU time (s) 642.03
Current children cumulated vsize (KiB) 212684
[startup+702.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 23782
/proc/meminfo: memFree=1554436/2055920 swapFree=4180348/4192956
[pid=23776] ppid=23774 vsize=5356 CPUtime=0.1
/proc/23776/stat : 23776 (SatELiteGTI) S 23774 23776 23151 0 -1 4194304 336 1152 0 0 0 0 9 1 16 0 1 0 306676483 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23776/statm: 1339 239 197 169 0 50 0
[pid=23782] ppid=23776 vsize=208780 CPUtime=701.91
/proc/23782/stat : 23782 (minisat_static) R 23776 23776 23151 0 -1 4194304 51810 0 0 0 70129 62 0 0 25 0 1 0 306676494 213790720 51796 1992294400 134512640 135215339 4294956240 18446744073709551615 134528728 0 0 4096 3 0 0 0 17 1 0 0
/proc/23782/statm: 52195 51796 77 171 0 52022 0
Current children cumulated CPU time (s) 702.01
Current children cumulated vsize (KiB) 214136
[startup+762.306 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 23782
/proc/meminfo: memFree=1554180/2055920 swapFree=4180348/4192956
[pid=23776] ppid=23774 vsize=5356 CPUtime=0.1
/proc/23776/stat : 23776 (SatELiteGTI) S 23774 23776 23151 0 -1 4194304 336 1152 0 0 0 0 9 1 16 0 1 0 306676483 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23776/statm: 1339 239 197 169 0 50 0
[pid=23782] ppid=23776 vsize=208912 CPUtime=761.9
/proc/23782/stat : 23782 (minisat_static) R 23776 23776 23151 0 -1 4194304 51860 0 0 0 76127 63 0 0 25 0 1 0 306676494 213925888 51846 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/23782/statm: 52228 51846 77 171 0 52055 0
Current children cumulated CPU time (s) 762
Current children cumulated vsize (KiB) 214268
[startup+822.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 23782
/proc/meminfo: memFree=1545476/2055920 swapFree=4180348/4192956
[pid=23776] ppid=23774 vsize=5356 CPUtime=0.1
/proc/23776/stat : 23776 (SatELiteGTI) S 23774 23776 23151 0 -1 4194304 336 1152 0 0 0 0 9 1 16 0 1 0 306676483 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23776/statm: 1339 239 197 169 0 50 0
[pid=23782] ppid=23776 vsize=217492 CPUtime=821.88
/proc/23782/stat : 23782 (minisat_static) R 23776 23776 23151 0 -1 4194304 53992 0 0 0 82122 66 0 0 25 0 1 0 306676494 222711808 53978 1992294400 134512640 135215339 4294956240 18446744073709551615 134528814 0 0 4096 3 0 0 0 17 1 0 0
/proc/23782/statm: 54373 53978 77 171 0 54200 0
Current children cumulated CPU time (s) 821.98
Current children cumulated vsize (KiB) 222848
[startup+882.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 23782
/proc/meminfo: memFree=1545412/2055920 swapFree=4180348/4192956
[pid=23776] ppid=23774 vsize=5356 CPUtime=0.1
/proc/23776/stat : 23776 (SatELiteGTI) S 23774 23776 23151 0 -1 4194304 336 1152 0 0 0 0 9 1 16 0 1 0 306676483 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23776/statm: 1339 239 197 169 0 50 0
[pid=23782] ppid=23776 vsize=217492 CPUtime=881.86
/proc/23782/stat : 23782 (minisat_static) R 23776 23776 23151 0 -1 4194304 53992 0 0 0 88120 66 0 0 25 0 1 0 306676494 222711808 53978 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/23782/statm: 54373 53978 77 171 0 54200 0
Current children cumulated CPU time (s) 881.96
Current children cumulated vsize (KiB) 222848
[startup+942.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 23783
/proc/meminfo: memFree=1545092/2055920 swapFree=4180348/4192956
[pid=23776] ppid=23774 vsize=5356 CPUtime=0.1
/proc/23776/stat : 23776 (SatELiteGTI) S 23774 23776 23151 0 -1 4194304 336 1152 0 0 0 0 9 1 16 0 1 0 306676483 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23776/statm: 1339 239 197 169 0 50 0
[pid=23782] ppid=23776 vsize=217492 CPUtime=941.84
/proc/23782/stat : 23782 (minisat_static) R 23776 23776 23151 0 -1 4194304 53992 0 0 0 94118 66 0 0 25 0 1 0 306676494 222711808 53978 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/23782/statm: 54373 53978 77 171 0 54200 0
Current children cumulated CPU time (s) 941.94
Current children cumulated vsize (KiB) 222848
[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 23784
/proc/meminfo: memFree=1543492/2055920 swapFree=4180348/4192956
[pid=23776] ppid=23774 vsize=5356 CPUtime=0.1
/proc/23776/stat : 23776 (SatELiteGTI) S 23774 23776 23151 0 -1 4194304 336 1152 0 0 0 0 9 1 16 0 1 0 306676483 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23776/statm: 1339 239 197 169 0 50 0
[pid=23782] ppid=23776 vsize=219076 CPUtime=1001.83
/proc/23782/stat : 23782 (minisat_static) R 23776 23776 23151 0 -1 4194304 54408 0 0 0 100116 67 0 0 25 0 1 0 306676494 224333824 54394 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/23782/statm: 54769 54394 77 171 0 54596 0
Current children cumulated CPU time (s) 1001.93
Current children cumulated vsize (KiB) 224432
[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 23784
/proc/meminfo: memFree=1541444/2055920 swapFree=4180348/4192956
[pid=23776] ppid=23774 vsize=5356 CPUtime=0.1
/proc/23776/stat : 23776 (SatELiteGTI) S 23774 23776 23151 0 -1 4194304 336 1152 0 0 0 0 9 1 16 0 1 0 306676483 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23776/statm: 1339 239 197 169 0 50 0
[pid=23782] ppid=23776 vsize=221056 CPUtime=1061.8
/proc/23782/stat : 23782 (minisat_static) R 23776 23776 23151 0 -1 4194304 54889 0 0 0 106113 67 0 0 25 0 1 0 306676494 226361344 54875 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/23782/statm: 55264 54875 77 171 0 55091 0
Current children cumulated CPU time (s) 1061.9
Current children cumulated vsize (KiB) 226412
[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 23784
/proc/meminfo: memFree=1541380/2055920 swapFree=4180348/4192956
[pid=23776] ppid=23774 vsize=5356 CPUtime=0.1
/proc/23776/stat : 23776 (SatELiteGTI) S 23774 23776 23151 0 -1 4194304 336 1152 0 0 0 0 9 1 16 0 1 0 306676483 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23776/statm: 1339 239 197 169 0 50 0
[pid=23782] ppid=23776 vsize=221056 CPUtime=1121.79
/proc/23782/stat : 23782 (minisat_static) R 23776 23776 23151 0 -1 4194304 54889 0 0 0 112111 68 0 0 25 0 1 0 306676494 226361344 54875 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/23782/statm: 55264 54875 77 171 0 55091 0
Current children cumulated CPU time (s) 1121.89
Current children cumulated vsize (KiB) 226412
[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 23784
/proc/meminfo: memFree=1541316/2055920 swapFree=4180348/4192956
[pid=23776] ppid=23774 vsize=5356 CPUtime=0.1
/proc/23776/stat : 23776 (SatELiteGTI) S 23774 23776 23151 0 -1 4194304 336 1152 0 0 0 0 9 1 16 0 1 0 306676483 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23776/statm: 1339 239 197 169 0 50 0
[pid=23782] ppid=23776 vsize=221056 CPUtime=1181.77
/proc/23782/stat : 23782 (minisat_static) R 23776 23776 23151 0 -1 4194304 54889 0 0 0 118109 68 0 0 25 0 1 0 306676494 226361344 54875 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/23782/statm: 55264 54875 77 171 0 55091 0
Current children cumulated CPU time (s) 1181.87
Current children cumulated vsize (KiB) 226412
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.5 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 23784
/proc/meminfo: memFree=1541316/2055920 swapFree=4180348/4192956
[pid=23776] ppid=23774 vsize=5356 CPUtime=0.1
/proc/23776/stat : 23776 (SatELiteGTI) S 23774 23776 23151 0 -1 4194304 336 1152 0 0 0 0 9 1 16 0 1 0 306676483 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23776/statm: 1339 239 197 169 0 50 0
[pid=23782] ppid=23776 vsize=221056 CPUtime=1199.97
/proc/23782/stat : 23782 (minisat_static) R 23776 23776 23151 0 -1 4194304 54889 0 0 0 119929 68 0 0 25 0 1 0 306676494 226361344 54875 1992294400 134512640 135215339 4294956240 18446744073709551615 134528694 0 0 4096 3 0 0 0 17 1 0 0
/proc/23782/statm: 55264 54875 77 171 0 55091 0
Current children cumulated CPU time (s) 1200.07
Current children cumulated vsize (KiB) 226412
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/66 23784
/proc/meminfo: memFree=1541316/2055920 swapFree=4180348/4192956
[pid=23776] ppid=23774 vsize=5356 CPUtime=0.1
/proc/23776/stat : 23776 (SatELiteGTI) S 23774 23776 23151 0 -1 4194304 336 1152 0 0 0 0 9 1 16 0 1 0 306676483 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23776/statm: 1339 239 197 169 0 50 0
[pid=23782] ppid=23776 vsize=221056 CPUtime=1199.97
/proc/23782/stat : 23782 (minisat_static) R 23776 23776 23151 0 -1 4194304 54889 0 0 0 119929 68 0 0 25 0 1 0 306676494 226361344 54875 1992294400 134512640 135215339 4294956240 18446744073709551615 134528694 0 0 4096 3 0 0 0 17 1 0 0
/proc/23782/statm: 55264 54875 77 171 0 55091 0
Current children cumulated CPU time (s) 1200.07
Current children cumulated vsize (KiB) 226412
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 23776 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=96985
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=12998
# CPU time returned by wait4() is 0.109983
# while last known CPU time is 1200.07
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1200.51
CPU time (s): 1200.07
CPU user time (s): 1199.38
CPU system time (s): 0.69
CPU usage (%): 99.9632
Max. virtual memory (cumulated for all children) (KiB): 226412
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.096985
system time used= 0.012998
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1488
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14
involuntary context switches= 6
runsolver used 1.49577 second user time and 2.97255 second system time
The end
Begin job on node35 at 2009-05-20 04:27:19
IDJOB=1832705
IDBENCH=70316
IDSOLVER=671
FILE ID=node35/1832705-1242786439
PBS_JOBID= 9322381
Free space on /tmp= 66080 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/RANDOM/LARGE/3SAT/UNKNOWN/6000/unif-k3-r4.2-v6000-c25200-S1769448312-079.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832705-1242786439/watcher-1832705-1242786439 -o /tmp/evaluation-result-1832705-1242786439/solver-1832705-1242786439 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832705-1242786439.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 9495def54e734dca859c56c910204a6a
RANDOM SEED=1875685101
node35.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.214
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.214
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1764388 kB
Buffers: 24616 kB
Cached: 217676 kB
SwapCached: 6996 kB
Active: 143320 kB
Inactive: 108048 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1764388 kB
SwapTotal: 4192956 kB
SwapFree: 4180348 kB
Dirty: 2032 kB
Writeback: 0 kB
Mapped: 14084 kB
Slab: 26248 kB
Committed_AS: 1066960 kB
PageTables: 1400 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= 66080 MiB
End job on node35 at 2009-05-20 04:47:22