0.00/0.00 c Parsing...
0.00/0.03 c ==============================================================================
0.00/0.03 c | | ORIGINAL | LEARNT | |
0.00/0.03 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.03 c ==============================================================================
0.00/0.03 c | 0 | 33600 100800 | 10079 0 0 nan | 0.000 % |
0.00/0.12 c | 0 | 33340 101537 | -- 0 -- -- | -- | -260/737
0.00/0.12 c ==============================================================================
0.00/0.12 c Result : #vars: 7765 #clauses: 33340 #literals: 101537
0.00/0.12 c CPU time: 0.104984 s
0.00/0.12 c ==============================================================================
0.00/0.15 c This is MiniSat 2.0 beta
0.00/0.15 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.15 c ============================[ Problem Statistics ]=============================
0.00/0.15 c | |
0.00/0.15 c | Number of variables: 7765 |
0.00/0.15 c | Number of clauses: 33340 |
0.00/0.17 c | Parsing time: 0.02 s |
0.00/0.18 c ============================[ Search Statistics ]==============================
0.00/0.18 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.00/0.18 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.00/0.18 c ===============================================================================
0.00/0.18 c | 0 | 7765 33340 101537 | 11113 0 nan | 0.000 % |
0.14/0.20 c | 101 | 7765 33340 101537 | 11113 101 120 | 0.000 % |
0.14/0.23 c | 201 | 7765 33340 101537 | 11113 201 130 | 0.000 % |
0.14/0.25 c | 302 | 7765 33340 101537 | 11113 302 131 | 0.000 % |
0.14/0.27 c | 412 | 7765 33340 101537 | 11113 412 122 | 0.000 % |
0.14/0.30 c | 513 | 7765 33340 101537 | 11113 513 121 | 0.000 % |
0.14/0.33 c | 624 | 7765 33340 101537 | 11113 624 123 | 0.000 % |
0.14/0.35 c | 745 | 7765 33340 101537 | 11113 745 125 | 0.000 % |
0.14/0.38 c | 846 | 7765 33340 101537 | 11113 846 125 | 0.000 % |
0.14/0.40 c | 959 | 7765 33340 101537 | 11113 959 125 | 0.000 % |
0.14/0.43 c | 1080 | 7765 33340 101537 | 11113 1080 126 | 0.000 % |
0.14/0.46 c | 1215 | 7765 33340 101537 | 11113 1215 126 | 0.000 % |
0.14/0.49 c | 1315 | 7765 33340 101537 | 11113 1315 127 | 0.000 % |
0.14/0.51 c | 1426 | 7765 33340 101537 | 11113 1426 127 | 0.000 % |
0.14/0.54 c | 1548 | 7765 33340 101537 | 11113 1548 129 | 0.000 % |
0.14/0.57 c | 1681 | 7765 33340 101537 | 11113 1681 128 | 0.000 % |
0.14/0.60 c | 1830 | 7765 33340 101537 | 11113 1830 130 | 0.000 % |
0.14/0.63 c | 1934 | 7765 33340 101537 | 11113 1934 131 | 0.000 % |
0.14/0.65 c | 2044 | 7765 33340 101537 | 11113 2044 132 | 0.000 % |
0.14/0.68 c | 2165 | 7765 33340 101537 | 11113 2165 130 | 0.000 % |
0.14/0.71 c | 2300 | 7765 33340 101537 | 11113 2300 131 | 0.000 % |
0.14/0.75 c | 2446 | 7765 33340 101537 | 11113 2446 132 | 0.000 % |
0.14/0.79 c | 2606 | 7765 33340 101537 | 11113 2606 132 | 0.000 % |
0.14/0.81 c | 2707 | 7765 33340 101537 | 11113 2707 133 | 0.000 % |
0.14/0.84 c | 2817 | 7765 33340 101537 | 11113 2817 133 | 0.000 % |
0.14/0.87 c | 2939 | 7765 33340 101537 | 11113 2939 133 | 0.000 % |
0.14/0.91 c | 3072 | 7765 33340 101537 | 11113 3072 132 | 0.000 % |
0.14/0.95 c | 3219 | 7765 33340 101537 | 11113 3219 132 | 0.000 % |
0.14/0.99 c | 3379 | 7765 33340 101537 | 11113 3379 133 | 0.000 % |
0.97/1.04 c | 3556 | 7765 33340 101537 | 11113 3556 133 | 0.000 % |
0.97/1.07 c | 3659 | 7765 33340 101537 | 11113 3659 133 | 0.000 % |
0.97/1.10 c | 3770 | 7765 33340 101537 | 11113 3770 133 | 0.000 % |
1.07/1.13 c | 3892 | 7765 33340 101537 | 11113 3892 134 | 0.000 % |
1.07/1.17 c | 4030 | 7765 33340 101537 | 11113 4030 134 | 0.000 % |
1.17/1.21 c | 4178 | 7765 33340 101537 | 11113 4178 133 | 0.000 % |
1.17/1.25 c | 4338 | 7765 33340 101537 | 11113 4338 134 | 0.000 % |
1.27/1.30 c | 4515 | 7765 33340 101537 | 11113 4515 133 | 0.000 % |
1.27/1.36 c | 4709 | 7765 33340 101537 | 11113 4709 136 | 0.000 % |
1.27/1.38 c | 4810 | 7765 33340 101537 | 11113 4810 137 | 0.000 % |
1.37/1.41 c | 4920 | 7765 33340 101537 | 11113 4920 137 | 0.000 % |
1.37/1.45 c | 5042 | 7765 33340 101537 | 11113 5042 137 | 0.000 % |
1.37/1.48 c | 5175 | 7765 33340 101537 | 11113 5175 136 | 0.000 % |
1.47/1.53 c | 5323 | 7765 33340 101537 | 11113 5323 136 | 0.000 % |
1.47/1.57 c | 5484 | 7765 33340 101537 | 11113 5484 136 | 0.000 % |
1.57/1.62 c | 5660 | 7765 33340 101537 | 11113 5660 137 | 0.000 % |
1.57/1.67 c | 5857 | 7765 33340 101537 | 11113 5857 137 | 0.000 % |
1.67/1.73 c | 6069 | 7765 33340 101537 | 11113 6069 137 | 0.000 % |
1.67/1.76 c | 6169 | 7765 33340 101537 | 11113 6169 136 | 0.000 % |
1.67/1.79 c | 6280 | 7765 33340 101537 | 11113 6280 136 | 0.000 % |
1.77/1.83 c | 6402 | 7765 33340 101537 | 11113 6402 136 | 0.000 % |
1.77/1.87 c | 6536 | 7765 33340 101537 | 11113 6536 136 | 0.000 % |
1.87/1.91 c | 6684 | 7765 33340 101537 | 11113 6684 136 | 0.000 % |
1.87/1.95 c | 6845 | 7765 33340 101537 | 11113 6845 136 | 0.000 % |
1.97/2.00 c | 7021 | 7765 33340 101537 | 11113 7021 136 | 0.000 % |
1.97/2.06 c | 7214 | 7765 33340 101537 | 11113 7214 135 | 0.000 % |
2.08/2.12 c | 7426 | 7765 33340 101537 | 11113 7426 136 | 0.000 % |
2.08/2.18 c | 7660 | 7765 33340 101537 | 11113 7660 136 | 0.000 % |
2.18/2.21 c | 7760 | 7765 33340 101537 | 11113 7760 136 | 0.000 % |
2.18/2.25 c | 7871 | 7765 33340 101537 | 11113 7871 136 | 0.000 % |
2.18/2.29 c | 7993 | 7765 33340 101537 | 11113 7993 136 | 0.000 % |
2.27/2.32 c | 8128 | 7765 33340 101537 | 11113 8128 136 | 0.000 % |
2.27/2.36 c | 8278 | 7765 33340 101537 | 11113 8278 136 | 0.000 % |
2.37/2.41 c | 8440 | 7765 33340 101537 | 11113 8440 136 | 0.000 % |
2.37/2.46 c | 8616 | 7765 33340 101537 | 11113 8616 136 | 0.000 % |
2.47/2.52 c | 8810 | 7765 33340 101537 | 11113 8810 136 | 0.000 % |
2.47/2.57 c | 9023 | 7765 33340 101537 | 11113 9023 136 | 0.000 % |
2.57/2.64 c | 9256 | 7765 33340 101537 | 11113 9256 136 | 0.000 % |
2.67/2.73 c | 9512 | 7765 33340 101537 | 11113 9512 136 | 0.000 % |
2.67/2.76 c | 9614 | 7765 33340 101537 | 11113 9614 136 | 0.000 % |
2.67/2.79 c | 9727 | 7765 33340 101537 | 11113 9727 136 | 0.000 % |
2.77/2.83 c | 9848 | 7765 33340 101537 | 11113 9848 136 | 0.000 % |
2.77/2.87 c | 9981 | 7765 33340 101537 | 11113 9981 136 | 0.000 % |
2.87/2.91 c | 10128 | 7765 33340 101537 | 2147483647 10128 136 | 0.000 % |
2.87/2.96 c | 10289 | 7765 33340 101537 | 2147483647 10289 136 | 0.000 % |
2.97/3.02 c | 10465 | 7765 33340 101537 | 2147483647 10465 136 | 0.000 % |
2.97/3.08 c | 10659 | 7765 33340 101537 | 2147483647 10659 136 | 0.000 % |
3.07/3.14 c | 10871 | 7765 33340 101537 | 2147483647 10871 136 | 0.000 % |
3.18/3.22 c | 11105 | 7765 33340 101537 | 2147483647 11105 137 | 0.000 % |
3.18/3.30 c | 11362 | 7765 33340 101537 | 2147483647 11362 137 | 0.000 % |
3.28/3.39 c | 11644 | 7765 33340 101537 | 2147483647 11644 137 | 0.000 % |
3.37/3.42 c | 11744 | 7765 33340 101537 | 2147483647 11744 136 | 0.000 % |
3.37/3.46 c | 11854 | 7765 33340 101537 | 2147483647 11854 137 | 0.000 % |
3.37/3.49 c | 11975 | 7765 33340 101537 | 2147483647 11975 137 | 0.000 % |
3.47/3.54 c | 12108 | 7765 33340 101537 | 2147483647 12108 137 | 0.000 % |
3.47/3.58 c | 12254 | 7765 33340 101537 | 2147483647 12254 136 | 0.000 % |
3.57/3.63 c | 12417 | 7765 33340 101537 | 2147483647 12417 136 | 0.000 % |
3.57/3.69 c | 12595 | 7765 33340 101537 | 2147483647 12595 137 | 0.000 % |
3.67/3.76 c | 12788 | 7765 33340 101537 | 2147483647 12788 137 | 0.000 % |
3.77/3.83 c | 13000 | 7765 33340 101537 | 2147483647 13000 137 | 0.000 % |
3.77/3.90 c | 13235 | 7765 33340 101537 | 2147483647 13235 137 | 0.000 % |
3.87/3.98 c | 13492 | 7765 33340 101537 | 2147483647 13492 137 | 0.000 % |
3.97/4.07 c | 13773 | 7765 33340 101537 | 2147483647 13773 137 | 0.000 % |
4.07/4.16 c | 14083 | 7765 33340 101537 | 2147483647 14083 137 | 0.000 % |
4.07/4.19 c | 14183 | 7765 33340 101537 | 2147483647 14183 137 | 0.000 % |
4.17/4.23 c | 14294 | 7765 33340 101537 | 2147483647 14294 137 | 0.000 % |
4.17/4.27 c | 14416 | 7765 33340 101537 | 2147483647 14416 137 | 0.000 % |
4.27/4.32 c | 14550 | 7765 33340 101537 | 2147483647 14550 137 | 0.000 % |
4.27/4.37 c | 14696 | 7765 33340 101537 | 2147483647 14696 137 | 0.000 % |
4.37/4.42 c | 14856 | 7765 33340 101537 | 2147483647 14856 137 | 0.000 % |
4.37/4.49 c | 15032 | 7765 33340 101537 | 2147483647 15032 137 | 0.000 % |
4.46/4.56 c | 15225 | 7765 33340 101537 | 2147483647 15225 137 | 0.000 % |
4.56/4.63 c | 15437 | 7765 33340 101537 | 2147483647 15437 137 | 0.000 % |
4.67/4.71 c | 15670 | 7765 33340 101537 | 2147483647 15670 137 | 0.000 % |
4.77/4.80 c | 15927 | 7765 33340 101537 | 2147483647 15927 136 | 0.000 % |
4.77/4.89 c | 16208 | 7765 33340 101537 | 2147483647 16208 136 | 0.000 % |
4.97/5.00 c | 16520 | 7765 33340 101537 | 2147483647 16520 137 | 0.000 % |
5.07/5.11 c | 16859 | 7765 33340 101537 | 2147483647 16859 137 | 0.000 % |
5.07/5.15 c | 16962 | 7765 33340 101537 | 2147483647 16962 137 | 0.000 % |
5.07/5.19 c | 17073 | 7765 33340 101537 | 2147483647 17073 137 | 0.000 % |
5.17/5.24 c | 17194 | 7765 33340 101537 | 2147483647 17194 137 | 0.000 % |
5.17/5.28 c | 17328 | 7765 33340 101537 | 2147483647 17328 137 | 0.000 % |
5.27/5.34 c | 17474 | 7765 33340 101537 | 2147483647 17474 137 | 0.000 % |
5.27/5.40 c | 17634 | 7765 33340 101537 | 2147483647 17634 137 | 0.000 % |
5.37/5.46 c | 17811 | 7765 33340 101537 | 2147483647 17811 137 | 0.000 % |
5.47/5.54 c | 18005 | 7765 33340 101537 | 2147483647 18005 137 | 0.000 % |
5.57/5.61 c | 18218 | 7765 33340 101537 | 2147483647 18218 137 | 0.000 % |
5.67/5.71 c | 18451 | 7765 33340 101537 | 2147483647 18451 137 | 0.000 % |
5.77/5.80 c | 18707 | 7765 33340 101537 | 2147483647 18707 137 | 0.000 % |
5.87/5.90 c | 18989 | 7765 33340 101537 | 2147483647 18989 137 | 0.000 % |
5.97/6.01 c | 19300 | 7765 33340 101537 | 2147483647 19300 137 | 0.000 % |
6.07/6.14 c | 19641 | 7765 33340 101537 | 2147483647 19641 138 | 0.000 % |
6.17/6.29 c | 20014 | 7765 33340 101537 | 2147483647 20014 138 | 0.000 % |
6.27/6.33 c | 20116 | 7765 33340 101537 | 2147483647 20116 138 | 0.000 % |
6.27/6.38 c | 20228 | 7765 33340 101537 | 2147483647 20228 138 | 0.000 % |
6.37/6.42 c | 20352 | 7765 33340 101537 | 2147483647 20352 138 | 0.000 % |
6.37/6.48 c | 20488 | 7765 33340 101537 | 2147483647 20488 138 | 0.000 % |
6.47/6.53 c | 20636 | 7765 33340 101537 | 2147483647 20636 138 | 0.000 % |
6.47/6.60 c | 20798 | 7765 33340 101537 | 2147483647 20798 138 | 0.000 % |
6.57/6.66 c | 20974 | 7765 33340 101537 | 2147483647 20974 138 | 0.000 % |
6.67/6.74 c | 21167 | 7765 33340 101537 | 2147483647 21167 138 | 0.000 % |
6.77/6.82 c | 21379 | 7765 33340 101537 | 2147483647 21379 138 | 0.000 % |
6.87/6.91 c | 21612 | 7765 33340 101537 | 2147483647 21612 138 | 0.000 % |
6.96/7.01 c | 21869 | 7765 33340 101537 | 2147483647 21869 138 | 0.000 % |
7.06/7.12 c | 22150 | 7765 33340 101537 | 2147483647 22150 139 | 0.000 % |
7.16/7.23 c | 22459 | 7765 33340 101537 | 2147483647 22459 139 | 0.000 % |
7.26/7.36 c | 22798 | 7765 33340 101537 | 2147483647 22798 139 | 0.000 % |
7.46/7.50 c | 23171 | 7765 33340 101537 | 2147483647 23171 140 | 0.000 % |
7.57/7.67 c | 23580 | 7765 33340 101537 | 2147483647 23580 141 | 0.000 % |
7.67/7.71 c | 23680 | 7765 33340 101537 | 2147483647 23680 141 | 0.000 % |
7.67/7.76 c | 23790 | 7765 33340 101537 | 2147483647 23790 140 | 0.000 % |
7.77/7.81 c | 23911 | 7765 33340 101537 | 2147483647 23911 141 | 0.000 % |
7.77/7.87 c | 24045 | 7765 33340 101537 | 2147483647 24045 140 | 0.000 % |
7.87/7.93 c | 24192 | 7765 33340 101537 | 2147483647 24192 140 | 0.000 % |
7.97/8.00 c | 24352 | 7765 33340 101537 | 2147483647 24352 140 | 0.000 % |
7.97/8.07 c | 24529 | 7765 33340 101537 | 2147483647 24529 140 | 0.000 % |
8.07/8.15 c | 24725 | 7765 33340 101537 | 2147483647 24725 141 | 0.000 % |
8.17/8.24 c | 24938 | 7765 33340 101537 | 2147483647 24938 140 | 0.000 % |
8.27/8.32 c | 25172 | 7765 33340 101537 | 2147483647 25172 140 | 0.000 % |
8.37/8.43 c | 25431 | 7765 33340 101537 | 2147483647 25431 140 | 0.000 % |
8.47/8.55 c | 25712 | 7765 33340 101537 | 2147483647 25712 140 | 0.000 % |
8.57/8.67 c | 26021 | 7765 33340 101537 | 2147483647 26021 140 | 0.000 % |
8.77/8.81 c | 26362 | 7765 33340 101537 | 2147483647 26362 140 | 0.000 % |
8.86/8.96 c | 26734 | 7765 33340 101537 | 2147483647 26734 140 | 0.000 % |
9.06/9.11 c | 27143 | 7765 33340 101537 | 2147483647 27143 140 | 0.000 % |
9.16/9.29 c | 27592 | 7765 33340 101537 | 2147483647 27592 141 | 0.000 % |
9.26/9.34 c | 27694 | 7765 33340 101537 | 2147483647 27694 141 | 0.000 % |
9.37/9.40 c | 27806 | 7765 33340 101537 | 2147483647 27806 141 | 0.000 % |
9.37/9.46 c | 27927 | 7765 33340 101537 | 2147483647 27927 141 | 0.000 % |
9.46/9.52 c | 28061 | 7765 33340 101537 | 2147483647 28061 141 | 0.000 % |
9.46/9.59 c | 28208 | 7765 33340 101537 | 2147483647 28208 141 | 0.000 % |
9.56/9.66 c | 28374 | 7765 33340 101537 | 2147483647 28374 141 | 0.000 % |
9.66/9.74 c | 28553 | 7765 33340 101537 | 2147483647 28553 141 | 0.000 % |
9.77/9.83 c | 28748 | 7765 33340 101537 | 2147483647 28748 141 | 0.000 % |
9.87/9.93 c | 28960 | 7765 33340 101537 | 2147483647 28960 141 | 0.000 % |
9.96/10.03 c | 29194 | 7765 33340 101537 | 2147483647 29194 141 | 0.000 % |
10.06/10.14 c | 29453 | 7765 33340 101537 | 2147483647 29453 141 | 0.000 % |
10.16/10.26 c | 29736 | 7765 33340 101537 | 2147483647 29736 141 | 0.000 % |
10.36/10.40 c | 30046 | 7765 33340 101537 | 2147483647 30046 141 | 0.000 % |
10.46/10.55 c | 30385 | 7765 33340 101537 | 2147483647 30385 141 | 0.000 % |
10.66/10.72 c | 30759 | 7765 33340 101537 | 2147483647 30759 142 | 0.000 % |
10.76/10.89 c | 31168 | 7765 33340 101537 | 2147483647 31168 142 | 0.000 % |
10.97/11.08 c | 31617 | 7765 33340 101537 | 2147483647 31617 142 | 0.000 % |
11.16/11.30 c | 32110 | 7765 33340 101537 | 2147483647 32110 142 | 0.000 % |
11.26/11.34 c | 32211 | 7765 33340 101537 | 2147483647 32211 142 | 0.000 % |
11.26/11.40 c | 32322 | 7765 33340 101537 | 2147483647 32322 142 | 0.000 % |
11.36/11.46 c | 32444 | 7765 33340 101537 | 2147483647 32444 142 | 0.000 % |
11.46/11.53 c | 32579 | 7765 33340 101537 | 2147483647 32579 142 | 0.000 % |
11.56/11.60 c | 32726 | 7765 33340 101537 | 2147483647 32726 142 | 0.000 % |
11.56/11.67 c | 32886 | 7765 33340 101537 | 2147483647 32886 142 | 0.000 % |
11.66/11.76 c | 33063 | 7765 33340 101537 | 2147483647 33063 142 | 0.000 % |
11.76/11.84 c | 33257 | 7765 33340 101537 | 2147483647 33257 142 | 0.000 % |
11.86/11.95 c | 33469 | 7765 33340 101537 | 2147483647 33469 142 | 0.000 % |
11.96/12.06 c | 33702 | 7765 33340 101537 | 2147483647 33702 142 | 0.000 % |
12.06/12.18 c | 33959 | 7765 33340 101537 | 2147483647 33959 143 | 0.000 % |
12.26/12.32 c | 34241 | 7765 33340 101537 | 2147483647 34241 142 | 0.000 % |
12.36/12.46 c | 34550 | 7765 33340 101537 | 2147483647 34550 143 | 0.000 % |
12.56/12.61 c | 34891 | 7765 33340 101537 | 2147483647 34891 143 | 0.000 % |
12.66/12.78 c | 35265 | 7765 33340 101537 | 2147483647 35265 143 | 0.000 % |
12.86/12.97 c | 35674 | 7765 33340 101537 | 2147483647 35674 143 | 0.000 % |
13.06/13.17 c | 36123 | 7765 33340 101537 | 2147483647 36123 144 | 0.000 % |
13.36/13.41 c | 36618 | 7765 33340 101537 | 2147483647 36618 144 | 0.000 % |
13.56/13.68 c | 37161 | 7765 33340 101537 | 2147483647 37161 144 | 0.000 % |
13.66/13.73 c | 37263 | 7765 33340 101537 | 2147483647 37263 144 | 0.000 % |
13.66/13.78 c | 37373 | 7765 33340 101537 | 2147483647 37373 144 | 0.000 % |
13.76/13.84 c | 37495 | 7765 33340 101537 | 2147483647 37495 144 | 0.000 % |
13.86/13.92 c | 37628 | 7765 33340 101537 | 2147483647 37628 144 | 0.000 % |
13.86/13.99 c | 37774 | 7765 33340 101537 | 2147483647 37774 144 | 0.000 % |
13.96/14.07 c | 37937 | 7765 33340 101537 | 2147483647 37937 144 | 0.000 % |
14.06/14.16 c | 38114 | 7765 33340 101537 | 2147483647 38114 144 | 0.000 % |
14.16/14.26 c | 38308 | 7765 33340 101537 | 2147483647 38308 144 | 0.000 % |
14.26/14.37 c | 38522 | 7765 33340 101537 | 2147483647 38522 144 | 0.000 % |
14.46/14.50 c | 38755 | 7765 33340 101537 | 2147483647 38755 144 | 0.000 % |
14.56/14.62 c | 39011 | 7765 33340 101537 | 2147483647 39011 144 | 0.000 % |
14.66/14.75 c | 39293 | 7765 33340 101537 | 2147483647 39293 144 | 0.000 % |
14.86/14.92 c | 39605 | 7765 33340 101537 | 2147483647 39605 144 | 0.000 % |
14.96/15.08 c | 39944 | 7765 33340 101537 | 2147483647 39944 144 | 0.000 % |
15.16/15.26 c | 40316 | 7765 33340 101537 | 2147483647 40316 144 | 0.000 % |
15.36/15.46 c | 40726 | 7765 33340 101537 | 2147483647 40726 144 | 0.000 % |
15.66/15.70 c | 41176 | 7765 33340 101537 | 2147483647 41176 144 | 0.000 % |
15.86/15.95 c | 41669 | 7765 33340 101537 | 2147483647 41669 144 | 0.000 % |
16.16/16.21 c | 42212 | 7765 33340 101537 | 2147483647 42212 145 | 0.000 % |
16.36/16.49 c | 42808 | 7765 33340 101537 | 2147483647 42808 146 | 0.000 % |
16.46/16.56 c | 42910 | 7765 33340 101537 | 2147483647 42910 146 | 0.000 % |
16.55/16.62 c | 43021 | 7765 33340 101537 | 2147483647 43021 145 | 0.000 % |
16.55/16.69 c | 43142 | 7765 33340 101537 | 2147483647 43142 145 | 0.000 % |
16.65/16.78 c | 43278 | 7765 33340 101537 | 2147483647 43278 145 | 0.000 % |
16.75/16.86 c | 43424 | 7765 33340 101537 | 2147483647 43424 145 | 0.000 % |
16.85/16.94 c | 43584 | 7765 33340 101537 | 2147483647 43584 145 | 0.000 % |
16.95/17.05 c | 43760 | 7765 33340 101537 | 2147483647 43760 145 | 0.000 % |
17.05/17.16 c | 43956 | 7765 33340 101537 | 2147483647 43956 145 | 0.000 % |
17.15/17.29 c | 44168 | 7765 33340 101537 | 2147483647 44168 145 | 0.000 % |
17.36/17.41 c | 44402 | 7765 33340 101537 | 2147483647 44402 146 | 0.000 % |
17.46/17.54 c | 44658 | 7765 33340 101537 | 2147483647 44658 145 | 0.000 % |
17.56/17.69 c | 44940 | 7765 33340 101537 | 2147483647 44940 146 | 0.000 % |
17.76/17.85 c | 45249 | 7765 33340 101537 | 2147483647 45249 145 | 0.000 % |
17.96/18.01 c | 45588 | 7765 33340 101537 | 2147483647 45588 146 | 0.000 % |
18.16/18.20 c | 45960 | 7765 33340 101537 | 2147483647 45960 146 | 0.000 % |
18.36/18.42 c | 46369 | 7765 33340 101537 | 2147483647 46369 146 | 0.000 % |
18.56/18.66 c | 46819 | 7765 33340 101537 | 2147483647 46819 146 | 0.000 % |
18.86/18.95 c | 47312 | 7765 33340 101537 | 2147483647 47312 146 | 0.000 % |
19.16/19.23 c | 47854 | 7765 33340 101537 | 2147483647 47854 146 | 0.000 % |
19.46/19.57 c | 48450 | 7765 33340 101537 | 2147483647 48450 146 | 0.000 % |
19.86/19.94 c | 49106 | 7765 33340 101537 | 2147483647 49106 147 | 0.000 % |
19.96/20.01 c | 49208 | 7765 33340 101537 | 2147483647 49208 147 | 0.000 % |
19.96/20.08 c | 49319 | 7765 33340 101537 | 2147483647 49319 147 | 0.000 % |
20.06/20.16 c | 49440 | 7765 33340 101537 | 2147483647 49440 146 | 0.000 % |
20.16/20.24 c | 49573 | 7765 33340 101537 | 2147483647 49573 146 | 0.000 % |
20.25/20.33 c | 49720 | 7765 33340 101537 | 2147483647 49720 146 | 0.000 % |
20.35/20.43 c | 49880 | 7765 33340 101537 | 2147483647 49880 147 | 0.000 % |
20.45/20.54 c | 50059 | 7765 33340 101537 | 2147483647 50059 147 | 0.000 % |
20.55/20.67 c | 50254 | 7765 33340 101537 | 2147483647 50254 147 | 0.000 % |
20.65/20.79 c | 50467 | 7765 33340 101537 | 2147483647 50467 147 | 0.000 % |
20.86/20.93 c | 50700 | 7765 33340 101537 | 2147483647 50700 147 | 0.000 % |
20.95/21.07 c | 50957 | 7765 33340 101537 | 2147483647 50957 147 | 0.000 % |
21.15/21.23 c | 51239 | 7765 33340 101537 | 2147483647 51239 147 | 0.000 % |
21.25/21.40 c | 51550 | 7765 33340 101537 | 2147483647 51550 146 | 0.000 % |
21.45/21.59 c | 51890 | 7765 33340 101537 | 2147483647 51890 147 | 0.000 % |
21.65/21.80 c | 52264 | 7765 33340 101537 | 2147483647 52264 147 | 0.000 % |
21.95/22.03 c | 52674 | 7765 33340 101537 | 2147483647 52674 147 | 0.000 % |
22.15/22.29 c | 53123 | 7765 33340 101537 | 2147483647 53123 147 | 0.000 % |
22.45/22.57 c | 53616 | 7765 33340 101537 | 2147483647 53616 147 | 0.000 % |
22.76/22.86 c | 54158 | 7765 33340 101537 | 2147483647 54158 147 | 0.000 % |
23.06/23.20 c | 54755 | 7765 33340 101537 | 2147483647 54755 147 | 0.000 % |
23.45/23.59 c | 55410 | 7765 33340 101537 | 2147483647 55410 148 | 0.000 % |
23.95/24.02 c | 56130 | 7765 33340 101537 | 2147483647 56130 148 | 0.000 % |
23.95/24.09 c | 56231 | 7765 33340 101537 | 2147483647 56231 148 | 0.000 % |
24.05/24.16 c | 56341 | 7765 33340 101537 | 2147483647 56341 148 | 0.000 % |
24.15/24.24 c | 56463 | 7765 33340 101537 | 2147483647 56463 148 | 0.000 % |
24.25/24.32 c | 56596 | 7765 33340 101537 | 2147483647 56596 148 | 0.000 % |
24.35/24.43 c | 56742 | 7765 33340 101537 | 2147483647 56742 148 | 0.000 % |
24.44/24.53 c | 56902 | 7765 33340 101537 | 2147483647 56902 148 | 0.000 % |
24.54/24.65 c | 57080 | 7765 33340 101537 | 2147483647 57080 148 | 0.000 % |
24.64/24.78 c | 57273 | 7765 33340 101537 | 2147483647 57273 148 | 0.000 % |
24.84/24.92 c | 57485 | 7765 33340 101537 | 2147483647 57485 148 | 0.000 % |
24.95/25.08 c | 57718 | 7765 33340 101537 | 2147483647 57718 148 | 0.000 % |
25.15/25.23 c | 57977 | 7765 33340 101537 | 2147483647 57977 148 | 0.000 % |
25.25/25.39 c | 58260 | 7765 33340 101537 | 2147483647 58260 148 | 0.000 % |
25.45/25.58 c | 58570 | 7765 33340 101537 | 2147483647 58570 148 | 0.000 % |
25.75/25.80 c | 58909 | 7765 33340 101537 | 2147483647 58909 148 | 0.000 % |
25.95/26.03 c | 59283 | 7765 33340 101537 | 2147483647 59283 148 | 0.000 % |
26.15/26.28 c | 59693 | 7765 33340 101537 | 2147483647 59693 148 | 0.000 % |
26.45/26.55 c | 60144 | 7765 33340 101537 | 2147483647 60144 148 | 0.000 % |
26.75/26.88 c | 60637 | 7765 33340 101537 | 2147483647 60637 148 | 0.000 % |
27.14/27.22 c | 61179 | 7765 33340 101537 | 2147483647 61179 149 | 0.000 % |
27.54/27.61 c | 61775 | 7765 33340 101537 | 2147483647 61775 149 | 0.000 % |
27.95/28.01 c | 62432 | 7765 33340 101537 | 2147483647 62432 149 | 0.000 % |
28.35/28.44 c | 63152 | 7765 33340 101537 | 2147483647 63152 149 | 0.000 % |
28.85/28.95 c | 63944 | 7765 33340 101537 | 2147483647 63944 149 | 0.000 % |
28.94/29.03 c | 64047 | 7765 33340 101537 | 2147483647 64047 149 | 0.000 % |
29.04/29.12 c | 64159 | 7765 33340 101537 | 2147483647 64159 149 | 0.000 % |
29.14/29.21 c | 64282 | 7765 33340 101537 | 2147483647 64282 149 | 0.000 % |
29.14/29.29 c | 64417 | 7765 33340 101537 | 2147483647 64417 149 | 0.000 % |
29.24/29.39 c | 64566 | 7765 33340 101537 | 2147483647 64566 149 | 0.000 % |
29.44/29.51 c | 64726 | 7765 33340 101537 | 2147483647 64726 149 | 0.000 % |
29.55/29.64 c | 64903 | 7765 33340 101537 | 2147483647 64903 149 | 0.000 % |
29.65/29.77 c | 65096 | 7765 33340 101537 | 2147483647 65096 149 | 0.000 % |
29.84/29.93 c | 65309 | 7765 33340 101537 | 2147483647 65309 148 | 0.000 % |
29.94/30.10 c | 65542 | 7765 33340 101537 | 2147483647 65542 148 | 0.000 % |
30.14/30.29 c | 65798 | 7765 33340 101537 | 2147483647 65798 148 | 0.000 % |
30.34/30.48 c | 66079 | 7765 33340 101537 | 2147483647 66079 148 | 0.000 % |
30.54/30.68 c | 66389 | 7765 33340 101537 | 2147483647 66389 148 | 0.000 % |
30.84/30.90 c | 66728 | 7765 33340 101537 | 2147483647 66728 148 | 0.000 % |
31.04/31.15 c | 67100 | 7765 33340 101537 | 2147483647 67100 148 | 0.000 % |
31.35/31.42 c | 67509 | 7765 33340 101537 | 2147483647 67509 148 | 0.000 % |
31.65/31.72 c | 67959 | 7765 33340 101537 | 2147483647 67959 148 | 0.000 % |
31.95/32.06 c | 68454 | 7765 33340 101537 | 2147483647 68454 148 | 0.000 % |
32.25/32.39 c | 68997 | 7765 33340 101537 | 2147483647 68997 149 | 0.000 % |
32.65/32.78 c | 69593 | 7765 33340 101537 | 2147483647 69593 149 | 0.000 % |
33.14/33.22 c | 70249 | 7765 33340 101537 | 2147483647 70249 149 | 0.000 % |
33.54/33.68 c | 70969 | 7765 33340 101537 | 2147483647 70969 149 | 0.000 % |
34.14/34.23 c | 71763 | 7765 33340 101537 | 2147483647 71763 149 | 0.000 % |
34.74/34.84 c | 72634 | 7765 33340 101537 | 2147483647 72634 149 | 0.000 % |
34.84/34.92 c | 72734 | 7765 33340 101537 | 2147483647 72734 149 | 0.000 % |
34.94/35.01 c | 72844 | 7765 33340 101537 | 2147483647 72844 149 | 0.000 % |
35.04/35.11 c | 72965 | 7765 33340 101537 | 2147483647 72965 149 | 0.000 % |
35.14/35.21 c | 73098 | 7765 33340 101537 | 2147483647 73098 149 | 0.000 % |
35.24/35.32 c | 73244 | 7765 33340 101537 | 2147483647 73244 149 | 0.000 % |
35.34/35.43 c | 73405 | 7765 33340 101537 | 2147483647 73405 149 | 0.000 % |
35.45/35.56 c | 73581 | 7765 33340 101537 | 2147483647 73581 149 | 0.000 % |
35.64/35.70 c | 73774 | 7765 33340 101537 | 2147483647 73774 149 | 0.000 % |
35.74/35.85 c | 73987 | 7765 33340 101537 | 2147483647 73987 149 | 0.000 % |
35.94/36.01 c | 74221 | 7765 33340 101537 | 2147483647 74221 149 | 0.000 % |
36.15/36.21 c | 74479 | 7765 33340 101537 | 2147483647 74479 149 | 0.000 % |
36.34/36.42 c | 74760 | 7765 33340 101537 | 2147483647 74760 149 | 0.000 % |
36.54/36.63 c | 75071 | 7765 33340 101537 | 2147483647 75071 149 | 0.000 % |
36.74/36.87 c | 75411 | 7765 33340 101537 | 2147483647 75411 149 | 0.000 % |
37.04/37.14 c | 75785 | 7765 33340 101537 | 2147483647 75785 149 | 0.000 % |
37.34/37.45 c | 76196 | 7765 33340 101537 | 2147483647 76196 149 | 0.000 % |
37.64/37.78 c | 76645 | 7765 33340 101537 | 2147483647 76645 149 | 0.000 % |
38.04/38.14 c | 77140 | 7765 33340 101537 | 2147483647 77140 149 | 0.000 % |
38.45/38.51 c | 77682 | 7765 33340 101537 | 2147483647 77682 150 | 0.000 % |
38.84/38.94 c | 78278 | 7765 33340 101537 | 2147483647 78278 150 | 0.000 % |
39.34/39.41 c | 78935 | 7765 33340 101537 | 2147483647 78935 150 | 0.000 % |
39.84/39.95 c | 79657 | 7765 33340 101537 | 2147483647 79657 150 | 0.000 % |
40.44/40.50 c | 80451 | 7765 33340 101537 | 2147483647 80451 150 | 0.000 % |
41.03/41.13 c | 81322 | 7765 33340 101537 | 2147483647 81322 150 | 0.000 % |
41.74/41.82 c | 82280 | 7765 33340 101537 | 2147483647 82280 150 | 0.000 % |
41.84/41.90 c | 82381 | 7765 33340 101537 | 2147483647 82381 150 | 0.000 % |
41.84/41.99 c | 82491 | 7765 33340 101537 | 2147483647 82491 150 | 0.000 % |
41.94/42.09 c | 82612 | 7765 33340 101537 | 2147483647 82612 150 | 0.000 % |
42.14/42.20 c | 82745 | 7765 33340 101537 | 2147483647 82745 150 | 0.000 % |
42.24/42.34 c | 82892 | 7765 33340 101537 | 2147483647 82892 150 | 0.000 % |
42.34/42.47 c | 83052 | 7765 33340 101537 | 2147483647 83052 150 | 0.000 % |
42.54/42.60 c | 83229 | 7765 33340 101537 | 2147483647 83229 150 | 0.000 % |
42.64/42.76 c | 83424 | 7765 33340 101537 | 2147483647 83424 150 | 0.000 % |
42.84/42.93 c | 83637 | 7765 33340 101537 | 2147483647 83637 150 | 0.000 % |
43.03/43.13 c | 83870 | 7765 33340 101537 | 2147483647 83870 150 | 0.000 % |
43.23/43.33 c | 84127 | 7765 33340 101537 | 2147483647 84127 150 | 0.000 % |
43.43/43.55 c | 84411 | 7765 33340 101537 | 2147483647 84411 150 | 0.000 % |
43.63/43.77 c | 84721 | 7765 33340 101537 | 2147483647 84721 150 | 0.000 % |
43.94/44.04 c | 85060 | 7765 33340 101537 | 2147483647 85060 150 | 0.000 % |
44.23/44.34 c | 85432 | 7765 33340 101537 | 2147483647 85432 150 | 0.000 % |
44.53/44.64 c | 85841 | 7765 33340 101537 | 2147483647 85841 150 | 0.000 % |
44.84/44.98 c | 86290 | 7765 33340 101537 | 2147483647 86290 150 | 0.000 % |
45.24/45.35 c | 86785 | 7765 33340 101537 | 2147483647 86785 150 | 0.000 % |
45.64/45.77 c | 87327 | 7765 33340 101537 | 2147483647 87327 151 | 0.000 % |
46.14/46.24 c | 87924 | 7765 33340 101537 | 2147483647 87924 151 | 0.000 % |
46.63/46.73 c | 88581 | 7765 33340 101537 | 2147483647 88581 151 | 0.000 % |
47.14/47.25 c | 89303 | 7765 33340 101537 | 2147483647 89303 151 | 0.000 % |
47.73/47.81 c | 90095 | 7765 33340 101537 | 2147483647 90095 151 | 0.000 % |
48.43/48.51 c | 90968 | 7765 33340 101537 | 2147483647 90968 151 | 0.000 % |
49.14/49.25 c | 91926 | 7765 33340 101537 | 2147483647 91926 152 | 0.000 % |
49.93/50.04 c | 92979 | 7765 33340 101537 | 2147483647 92979 152 | 0.000 % |
50.03/50.13 c | 93079 | 7765 33340 101537 | 2147483647 93079 152 | 0.000 % |
50.13/50.24 c | 93189 | 7765 33340 101537 | 2147483647 93189 152 | 0.000 % |
50.23/50.35 c | 93310 | 7765 33340 101537 | 2147483647 93310 152 | 0.000 % |
50.33/50.46 c | 93443 | 7765 33340 101537 | 2147483647 93443 152 | 0.000 % |
50.54/50.61 c | 93589 | 7765 33340 101537 | 2147483647 93589 152 | 0.000 % |
50.63/50.74 c | 93749 | 7765 33340 101537 | 2147483647 93749 152 | 0.000 % |
50.83/50.90 c | 93925 | 7765 33340 101537 | 2147483647 93925 152 | 0.000 % |
50.93/51.07 c | 94118 | 7765 33340 101537 | 2147483647 94118 152 | 0.000 % |
51.13/51.23 c | 94330 | 7765 33340 101537 | 2147483647 94330 152 | 0.000 % |
51.33/51.43 c | 94564 | 7765 33340 101537 | 2147483647 94564 151 | 0.000 % |
51.53/51.66 c | 94821 | 7765 33340 101537 | 2147483647 94821 152 | 0.000 % |
51.83/51.91 c | 95104 | 7765 33340 101537 | 2147483647 95104 151 | 0.000 % |
52.03/52.16 c | 95413 | 7765 33340 101537 | 2147483647 95413 151 | 0.000 % |
52.33/52.46 c | 95752 | 7765 33340 101537 | 2147483647 95752 151 | 0.000 % |
52.63/52.80 c | 96124 | 7765 33340 101537 | 2147483647 96124 151 | 0.000 % |
53.02/53.13 c | 96533 | 7765 33340 101537 | 2147483647 96533 151 | 0.000 % |
53.43/53.52 c | 96982 | 7765 33340 101537 | 2147483647 96982 151 | 0.000 % |
53.83/53.92 c | 97475 | 7765 33340 101537 | 2147483647 97475 152 | 0.000 % |
54.22/54.37 c | 98018 | 7765 33340 101537 | 2147483647 98018 152 | 0.000 % |
54.72/54.86 c | 98615 | 7765 33340 101537 | 2147483647 98615 152 | 0.000 % |
55.23/55.39 c | 99271 | 7765 33340 101537 | 2147483647 99271 152 | 0.000 % |
55.83/56.00 c | 99991 | 7765 33340 101537 | 2147483647 99991 152 | 0.000 % |
56.53/56.69 c | 100784 | 7765 33340 101537 | 2147483647 100784 152 | 0.000 % |
57.23/57.39 c | 101656 | 7765 33340 101537 | 2147483647 101656 152 | 0.000 % |
58.02/58.16 c | 102615 | 7765 33340 101537 | 2147483647 102615 152 | 0.000 % |
58.93/59.08 c | 103668 | 7765 33340 101537 | 2147483647 103668 153 | 0.000 % |
59.92/60.05 c | 104826 | 7765 33340 101537 | 2147483647 104826 153 | 0.000 % |
60.02/60.15 c | 104928 | 7765 33340 101537 | 2147483647 104928 153 | 0.000 % |
60.12/60.26 c | 105039 | 7765 33340 101537 | 2147483647 105039 153 | 0.000 % |
60.22/60.40 c | 105160 | 7765 33340 101537 | 2147483647 105160 153 | 0.000 % |
60.43/60.53 c | 105293 | 7765 33340 101537 | 2147483647 105293 153 | 0.000 % |
60.52/60.66 c | 105439 | 7765 33340 101537 | 2147483647 105439 153 | 0.000 % |
60.72/60.82 c | 105599 | 7765 33340 101537 | 2147483647 105599 153 | 0.000 % |
60.92/61.00 c | 105776 | 7765 33340 101537 | 2147483647 105776 153 | 0.000 % |
61.02/61.16 c | 105970 | 7765 33340 101537 | 2147483647 105970 153 | 0.000 % |
61.22/61.37 c | 106183 | 7765 33340 101537 | 2147483647 106183 153 | 0.000 % |
61.43/61.59 c | 106422 | 7765 33340 101537 | 2147483647 106422 153 | 0.000 % |
61.73/61.85 c | 106678 | 7765 33340 101537 | 2147483647 106678 153 | 0.000 % |
62.03/62.10 c | 106960 | 7765 33340 101537 | 2147483647 106960 153 | 0.000 % |
62.23/62.37 c | 107269 | 7765 33340 101537 | 2147483647 107269 153 | 0.000 % |
62.53/62.66 c | 107608 | 7765 33340 101537 | 2147483647 107608 153 | 0.000 % |
62.83/63.00 c | 107980 | 7765 33340 101537 | 2147483647 107980 153 | 0.000 % |
63.22/63.36 c | 108390 | 7765 33340 101537 | 2147483647 108390 153 | 0.000 % |
63.63/63.74 c | 108839 | 7765 33340 101537 | 2147483647 108839 153 | 0.000 % |
64.02/64.18 c | 109333 | 7765 33340 101537 | 2147483647 109333 153 | 0.000 % |
64.52/64.65 c | 109875 | 7765 33340 101537 | 2147483647 109875 153 | 0.000 % |
65.12/65.22 c | 110471 | 7765 33340 101537 | 2147483647 110471 153 | 0.000 % |
65.62/65.76 c | 111126 | 7765 33340 101537 | 2147483647 111126 153 | 0.000 % |
66.32/66.40 c | 111847 | 7765 33340 101537 | 2147483647 111847 153 | 0.000 % |
67.03/67.11 c | 112641 | 7765 33340 101537 | 2147483647 112641 153 | 0.000 % |
67.72/67.82 c | 113512 | 7765 33340 101537 | 2147483647 113512 154 | 0.000 % |
68.52/68.68 c | 114470 | 7765 33340 101537 | 2147483647 114470 154 | 0.000 % |
69.53/69.65 c | 115523 | 7765 33340 101537 | 2147483647 115523 154 | 0.000 % |
70.53/70.67 c | 116681 | 7765 33340 101537 | 2147483647 116681 154 | 0.000 % |
71.72/71.83 c | 117957 | 7765 33340 101537 | 2147483647 117957 154 | 0.000 % |
71.82/71.94 c | 118058 | 7765 33340 101537 | 2147483647 118058 154 | 0.000 % |
71.92/72.07 c | 118168 | 7765 33340 101537 | 2147483647 118168 154 | 0.000 % |
72.12/72.20 c | 118289 | 7765 33340 101537 | 2147483647 118289 154 | 0.000 % |
72.22/72.35 c | 118425 | 7765 33340 101537 | 2147483647 118425 154 | 0.000 % |
72.43/72.51 c | 118572 | 7765 33340 101537 | 2147483647 118572 154 | 0.000 % |
72.62/72.71 c | 118732 | 7765 33340 101537 | 2147483647 118732 154 | 0.000 % |
72.72/72.87 c | 118908 | 7765 33340 101537 | 2147483647 118908 154 | 0.000 % |
72.92/73.08 c | 119102 | 7765 33340 101537 | 2147483647 119102 154 | 0.000 % |
73.12/73.29 c | 119316 | 7765 33340 101537 | 2147483647 119316 154 | 0.000 % |
73.42/73.53 c | 119550 | 7765 33340 101537 | 2147483647 119550 154 | 0.000 % |
73.62/73.78 c | 119808 | 7765 33340 101537 | 2147483647 119808 154 | 0.000 % |
73.91/74.09 c | 120089 | 7765 33340 101537 | 2147483647 120089 154 | 0.000 % |
74.31/74.40 c | 120398 | 7765 33340 101537 | 2147483647 120398 154 | 0.000 % |
74.62/74.77 c | 120737 | 7765 33340 101537 | 2147483647 120737 154 | 0.000 % |
75.01/75.15 c | 121110 | 7765 33340 101537 | 2147483647 121110 154 | 0.000 % |
75.41/75.55 c | 121521 | 7765 33340 101537 | 2147483647 121521 154 | 0.000 % |
75.91/76.01 c | 121974 | 7765 33340 101537 | 2147483647 121974 154 | 0.000 % |
76.31/76.46 c | 122467 | 7765 33340 101537 | 2147483647 122467 154 | 0.000 % |
76.82/77.00 c | 123012 | 7765 33340 101537 | 2147483647 123012 154 | 0.000 % |
77.52/77.62 c | 123608 | 7765 33340 101537 | 2147483647 123608 154 | 0.000 % |
78.12/78.23 c | 124265 | 7765 33340 101537 | 2147483647 124265 155 | 0.000 % |
78.82/78.93 c | 124985 | 7765 33340 101537 | 2147483647 124985 155 | 0.000 % |
79.51/79.65 c | 125777 | 7765 33340 101537 | 2147483647 125777 155 | 0.000 % |
80.41/80.50 c | 126649 | 7765 33340 101537 | 2147483647 126649 155 | 0.000 % |
81.31/81.43 c | 127607 | 7765 33340 101537 | 2147483647 127607 155 | 0.000 % |
82.32/82.45 c | 128660 | 7765 33340 101537 | 2147483647 128660 155 | 0.000 % |
83.42/83.54 c | 129819 | 7765 33340 101537 | 2147483647 129819 155 | 0.000 % |
84.61/84.75 c | 131092 | 7765 33340 101537 | 2147483647 131092 155 | 0.000 % |
86.01/86.16 c | 132493 | 7765 33340 101537 | 2147483647 132493 155 | 0.000 % |
86.11/86.27 c | 132594 | 7765 33340 101537 | 2147483647 132594 155 | 0.000 % |
86.31/86.41 c | 132704 | 7765 33340 101537 | 2147483647 132704 155 | 0.000 % |
86.41/86.56 c | 132826 | 7765 33340 101537 | 2147483647 132826 155 | 0.000 % |
86.62/86.70 c | 132959 | 7765 33340 101537 | 2147483647 132959 155 | 0.000 % |
86.72/86.88 c | 133105 | 7765 33340 101537 | 2147483647 133105 155 | 0.000 % |
86.92/87.06 c | 133265 | 7765 33340 101537 | 2147483647 133265 155 | 0.000 % |
87.11/87.28 c | 133444 | 7765 33340 101537 | 2147483647 133444 155 | 0.000 % |
87.31/87.49 c | 133637 | 7765 33340 101537 | 2147483647 133637 155 | 0.000 % |
87.61/87.72 c | 133852 | 7765 33340 101537 | 2147483647 133852 155 | 0.000 % |
87.82/87.99 c | 134085 | 7765 33340 101537 | 2147483647 134085 155 | 0.000 % |
88.11/88.27 c | 134341 | 7765 33340 101537 | 2147483647 134341 155 | 0.000 % |
88.51/88.61 c | 134623 | 7765 33340 101537 | 2147483647 134623 155 | 0.000 % |
88.81/88.93 c | 134932 | 7765 33340 101537 | 2147483647 134932 155 | 0.000 % |
89.11/89.29 c | 135271 | 7765 33340 101537 | 2147483647 135271 155 | 0.000 % |
89.60/89.70 c | 135643 | 7765 33340 101537 | 2147483647 135643 155 | 0.000 % |
90.01/90.14 c | 136054 | 7765 33340 101537 | 2147483647 136054 155 | 0.000 % |
90.51/90.66 c | 136504 | 7765 33340 101537 | 2147483647 136504 155 | 0.000 % |
91.01/91.17 c | 136997 | 7765 33340 101537 | 2147483647 136997 155 | 0.000 % |
91.61/91.74 c | 137539 | 7765 33340 101537 | 2147483647 137539 155 | 0.000 % |
92.22/92.35 c | 138136 | 7765 33340 101537 | 2147483647 138136 155 | 0.000 % |
92.91/93.08 c | 138791 | 7765 33340 101537 | 2147483647 138791 156 | 0.000 % |
93.70/93.85 c | 139511 | 7765 33340 101537 | 2147483647 139511 156 | 0.000 % |
94.61/94.73 c | 140303 | 7765 33340 101537 | 2147483647 140303 156 | 0.000 % |
95.51/95.62 c | 141174 | 7765 33340 101537 | 2147483647 141174 156 | 0.000 % |
96.50/96.68 c | 142132 | 7765 33340 101537 | 2147483647 142132 156 | 0.000 % |
97.60/97.77 c | 143185 | 7765 33340 101537 | 2147483647 143185 156 | 0.000 % |
98.91/99.02 c | 144344 | 7765 33340 101537 | 2147483647 144344 156 | 0.000 % |
100.20/100.39 c | 145619 | 7765 33340 101537 | 2147483647 145619 156 | 0.000 % |
101.81/101.91 c | 147020 | 7765 33340 101537 | 2147483647 147020 156 | 0.000 % |
103.51/103.62 c | 148560 | 7765 33340 101537 | 2147483647 148560 156 | 0.000 % |
103.61/103.76 c | 148660 | 7765 33340 101537 | 2147483647 148660 156 | 0.000 % |
103.81/103.91 c | 148770 | 7765 33340 101537 | 2147483647 148770 156 | 0.000 % |
103.91/104.08 c | 148893 | 7765 33340 101537 | 2147483647 148893 156 | 0.000 % |
104.10/104.23 c | 149026 | 7765 33340 101537 | 2147483647 149026 156 | 0.000 % |
104.31/104.43 c | 149173 | 7765 33340 101537 | 2147483647 149173 156 | 0.000 % |
104.51/104.62 c | 149334 | 7765 33340 101537 | 2147483647 149334 156 | 0.000 % |
104.70/104.86 c | 149510 | 7765 33340 101537 | 2147483647 149510 156 | 0.000 % |
105.00/105.14 c | 149704 | 7765 33340 101537 | 2147483647 149704 156 | 0.000 % |
105.30/105.40 c | 149917 | 7765 33340 101537 | 2147483647 149917 156 | 0.000 % |
105.50/105.66 c | 150150 | 7765 33340 101537 | 2147483647 150150 156 | 0.000 % |
105.80/106.00 c | 150407 | 7765 33340 101537 | 2147483647 150407 156 | 0.000 % |
106.20/106.34 c | 150689 | 7765 33340 101537 | 2147483647 150689 156 | 0.000 % |
106.50/106.69 c | 150999 | 7765 33340 101537 | 2147483647 150999 156 | 0.000 % |
107.00/107.11 c | 151338 | 7765 33340 101537 | 2147483647 151338 156 | 0.000 % |
107.40/107.52 c | 151713 | 7765 33340 101537 | 2147483647 151713 156 | 0.000 % |
107.90/108.01 c | 152122 | 7765 33340 101537 | 2147483647 152122 156 | 0.000 % |
108.30/108.49 c | 152571 | 7765 33340 101537 | 2147483647 152571 156 | 0.000 % |
108.90/109.08 c | 153064 | 7765 33340 101537 | 2147483647 153064 156 | 0.000 % |
109.60/109.74 c | 153606 | 7765 33340 101537 | 2147483647 153606 156 | 0.000 % |
110.30/110.44 c | 154204 | 7765 33340 101537 | 2147483647 154204 156 | 0.000 % |
111.00/111.19 c | 154860 | 7765 33340 101537 | 2147483647 154860 156 | 0.000 % |
111.90/112.03 c | 155580 | 7765 33340 101537 | 2147483647 155580 156 | 0.000 % |
112.80/112.99 c | 156372 | 7765 33340 101537 | 2147483647 156372 157 | 0.000 % |
113.79/113.97 c | 157243 | 7765 33340 101537 | 2147483647 157243 157 | 0.000 % |
114.90/115.06 c | 158203 | 7765 33340 101537 | 2147483647 158203 157 | 0.000 % |
116.10/116.23 c | 159256 | 7765 33340 101537 | 2147483647 159256 157 | 0.000 % |
117.39/117.55 c | 160415 | 7765 33340 101537 | 2147483647 160415 157 | 0.000 % |
118.89/119.03 c | 161690 | 7765 33340 101537 | 2147483647 161690 157 | 0.000 % |
120.60/120.71 c | 163090 | 7765 33340 101537 | 2147483647 163090 158 | 0.000 % |
122.29/122.48 c | 164630 | 7765 33340 101537 | 2147483647 164630 158 | 0.000 % |
124.20/124.39 c | 166325 | 7765 33340 101537 | 2147483647 166325 158 | 0.000 % |
124.40/124.53 c | 166426 | 7765 33340 101537 | 2147483647 166426 158 | 0.000 % |
124.50/124.69 c | 166536 | 7765 33340 101537 | 2147483647 166536 158 | 0.000 % |
124.69/124.89 c | 166657 | 7765 33340 101537 | 2147483647 166657 158 | 0.000 % |
124.89/125.07 c | 166790 | 7765 33340 101537 | 2147483647 166790 158 | 0.000 % |
125.09/125.28 c | 166936 | 7765 33340 101537 | 2147483647 166936 158 | 0.000 % |
125.30/125.50 c | 167096 | 7765 33340 101537 | 2147483647 167096 158 | 0.000 % |
125.59/125.77 c | 167274 | 7765 33340 101537 | 2147483647 167274 158 | 0.000 % |
125.89/126.06 c | 167467 | 7765 33340 101537 | 2147483647 167467 158 | 0.000 % |
126.19/126.35 c | 167680 | 7765 33340 101537 | 2147483647 167680 158 | 0.000 % |
126.49/126.67 c | 167914 | 7765 33340 101537 | 2147483647 167914 158 | 0.000 % |
126.79/126.98 c | 168170 | 7765 33340 101537 | 2147483647 168170 158 | 0.000 % |
127.20/127.33 c | 168452 | 7765 33340 101537 | 2147483647 168452 158 | 0.000 % |
127.50/127.69 c | 168762 | 7765 33340 101537 | 2147483647 168762 158 | 0.000 % |
128.00/128.13 c | 169101 | 7765 33340 101537 | 2147483647 169101 158 | 0.000 % |
128.50/128.60 c | 169475 | 7765 33340 101537 | 2147483647 169475 158 | 0.000 % |
128.99/129.10 c | 169884 | 7765 33340 101537 | 2147483647 169884 158 | 0.000 % |
129.49/129.65 c | 170333 | 7765 33340 101537 | 2147483647 170333 158 | 0.000 % |
130.09/130.26 c | 170826 | 7765 33340 101537 | 2147483647 170826 158 | 0.000 % |
130.79/130.96 c | 171368 | 7765 33340 101537 | 2147483647 171368 158 | 0.000 % |
131.59/131.74 c | 171964 | 7765 33340 101537 | 2147483647 171964 158 | 0.000 % |
132.40/132.57 c | 172619 | 7765 33340 101537 | 2147483647 172619 158 | 0.000 % |
133.29/133.40 c | 173339 | 7765 33340 101537 | 2147483647 173339 158 | 0.000 % |
134.19/134.39 c | 174131 | 7765 33340 101537 | 2147483647 174131 158 | 0.000 % |
135.29/135.47 c | 175006 | 7765 33340 101537 | 2147483647 175006 158 | 0.000 % |
136.59/136.71 c | 175964 | 7765 33340 101537 | 2147483647 175964 158 | 0.000 % |
137.89/138.01 c | 177017 | 7765 33340 101537 | 2147483647 177017 158 | 0.000 % |
139.39/139.55 c | 178175 | 7765 33340 101537 | 2147483647 178175 158 | 0.000 % |
140.99/141.15 c | 179450 | 7765 33340 101537 | 2147483647 179450 158 | 0.000 % |
142.79/142.91 c | 180851 | 7765 33340 101537 | 2147483647 180851 159 | 0.000 % |
144.59/144.77 c | 182391 | 7765 33340 101537 | 2147483647 182391 159 | 0.000 % |
146.68/146.82 c | 184088 | 7765 33340 101537 | 2147483647 184088 159 | 0.000 % |
148.99/149.14 c | 185951 | 7765 33340 101537 | 2147483647 185951 159 | 0.000 % |
149.09/149.29 c | 186052 | 7765 33340 101537 | 2147483647 186052 159 | 0.000 % |
149.29/149.49 c | 186163 | 7765 33340 101537 | 2147483647 186163 159 | 0.000 % |
149.49/149.67 c | 186286 | 7765 33340 101537 | 2147483647 186286 159 | 0.000 % |
149.69/149.89 c | 186420 | 7765 33340 101537 | 2147483647 186420 159 | 0.000 % |
149.99/150.14 c | 186568 | 7765 33340 101537 | 2147483647 186568 159 | 0.000 % |
150.29/150.40 c | 186729 | 7765 33340 101537 | 2147483647 186729 159 | 0.000 % |
150.49/150.66 c | 186909 | 7765 33340 101537 | 2147483647 186909 159 | 0.000 % |
150.79/150.97 c | 187103 | 7765 33340 101537 | 2147483647 187103 159 | 0.000 % |
151.08/151.28 c | 187315 | 7765 33340 101537 | 2147483647 187315 159 | 0.000 % |
151.48/151.61 c | 187548 | 7765 33340 101537 | 2147483647 187548 159 | 0.000 % |
151.88/152.01 c | 187808 | 7765 33340 101537 | 2147483647 187808 159 | 0.000 % |
152.28/152.46 c | 188089 | 7765 33340 101537 | 2147483647 188089 159 | 0.000 % |
152.79/152.91 c | 188402 | 7765 33340 101537 | 2147483647 188402 159 | 0.000 % |
153.19/153.38 c | 188741 | 7765 33340 101537 | 2147483647 188741 159 | 0.000 % |
153.79/153.93 c | 189113 | 7765 33340 101537 | 2147483647 189113 159 | 0.000 % |
154.29/154.50 c | 189523 | 7765 33340 101537 | 2147483647 189523 159 | 0.000 % |
154.99/155.13 c | 189974 | 7765 33340 101537 | 2147483647 189974 159 | 0.000 % |
155.59/155.78 c | 190468 | 7765 33340 101537 | 2147483647 190468 159 | 0.000 % |
156.39/156.53 c | 191011 | 7765 33340 101537 | 2147483647 191011 159 | 0.000 % |
157.19/157.38 c | 191608 | 7765 33340 101537 | 2147483647 191608 159 | 0.000 % |
158.19/158.31 c | 192264 | 7765 33340 101537 | 2147483647 192264 159 | 0.000 % |
159.08/159.27 c | 192984 | 7765 33340 101537 | 2147483647 192984 159 | 0.000 % |
160.28/160.43 c | 193776 | 7765 33340 101537 | 2147483647 193776 159 | 0.000 % |
161.38/161.57 c | 194647 | 7765 33340 101537 | 2147483647 194647 159 | 0.000 % |
162.59/162.74 c | 195606 | 7765 33340 101537 | 2147483647 195606 159 | 0.000 % |
163.98/164.16 c | 196659 | 7765 33340 101537 | 2147483647 196659 159 | 0.000 % |
165.48/165.64 c | 197818 | 7765 33340 101537 | 2147483647 197818 159 | 0.000 % |
167.18/167.38 c | 199092 | 7765 33340 101537 | 2147483647 199092 159 | 0.000 % |
169.19/169.33 c | 200493 | 7765 33340 101537 | 2147483647 200493 159 | 0.000 % |
171.28/171.40 c | 202034 | 7765 33340 101537 | 2147483647 202034 160 | 0.000 % |
173.58/173.76 c | 203729 | 7765 33340 101537 | 2147483647 203729 160 | 0.000 % |
176.08/176.28 c | 205594 | 7765 33340 101537 | 2147483647 205594 160 | 0.000 % |
179.08/179.20 c | 207644 | 7765 33340 101537 | 2147483647 207644 160 | 0.000 % |
179.18/179.37 c | 207744 | 7765 33340 101537 | 2147483647 207744 160 | 0.000 % |
179.38/179.56 c | 207854 | 7765 33340 101537 | 2147483647 207854 160 | 0.000 % |
179.58/179.77 c | 207976 | 7765 33340 101537 | 2147483647 207976 160 | 0.000 % |
179.88/180.00 c | 208109 | 7765 33340 101537 | 2147483647 208109 160 | 0.000 % |
180.08/180.26 c | 208255 | 7765 33340 101537 | 2147483647 208255 160 | 0.000 % |
180.38/180.53 c | 208415 | 7765 33340 101537 | 2147483647 208415 160 | 0.000 % |
180.67/180.87 c | 208591 | 7765 33340 101537 | 2147483647 208591 160 | 0.000 % |
181.07/181.22 c | 208784 | 7765 33340 101537 | 2147483647 208784 160 | 0.000 % |
181.38/181.58 c | 208996 | 7765 33340 101537 | 2147483647 208996 160 | 0.000 % |
181.77/181.96 c | 209230 | 7765 33340 101537 | 2147483647 209230 160 | 0.000 % |
182.17/182.35 c | 209487 | 7765 33340 101537 | 2147483647 209487 160 | 0.000 % |
182.67/182.81 c | 209769 | 7765 33340 101537 | 2147483647 209769 160 | 0.000 % |
183.17/183.30 c | 210079 | 7765 33340 101537 | 2147483647 210079 160 | 0.000 % |
183.78/183.90 c | 210420 | 7765 33340 101537 | 2147483647 210420 160 | 0.000 % |
184.38/184.52 c | 210794 | 7765 33340 101537 | 2147483647 210794 160 | 0.000 % |
184.98/185.13 c | 211203 | 7765 33340 101537 | 2147483647 211203 160 | 0.000 % |
185.57/185.80 c | 211652 | 7765 33340 101537 | 2147483647 211652 160 | 0.000 % |
186.37/186.52 c | 212145 | 7765 33340 101537 | 2147483647 212145 160 | 0.000 % |
187.07/187.29 c | 212688 | 7765 33340 101537 | 2147483647 212688 160 | 0.000 % |
187.98/188.13 c | 213284 | 7765 33340 101537 | 2147483647 213284 160 | 0.000 % |
188.88/189.06 c | 213940 | 7765 33340 101537 | 2147483647 213940 160 | 0.000 % |
189.88/190.10 c | 214660 | 7765 33340 101537 | 2147483647 214660 160 | 0.000 % |
191.08/191.22 c | 215452 | 7765 33340 101537 | 2147483647 215452 160 | 0.000 % |
192.28/192.46 c | 216323 | 7765 33340 101537 | 2147483647 216323 160 | 0.000 % |
193.67/193.80 c | 217282 | 7765 33340 101537 | 2147483647 217282 160 | 0.000 % |
195.07/195.24 c | 218336 | 7765 33340 101537 | 2147483647 218336 160 | 0.000 % |
196.67/196.89 c | 219495 | 7765 33340 101537 | 2147483647 219495 160 | 0.000 % |
198.57/198.75 c | 220768 | 7765 33340 101537 | 2147483647 220768 160 | 0.000 % |
200.57/200.76 c | 222168 | 7765 33340 101537 | 2147483647 222168 160 | 0.000 % |
202.67/202.87 c | 223710 | 7765 33340 101537 | 2147483647 223710 160 | 0.000 % |
204.97/205.18 c | 225404 | 7765 33340 101537 | 2147483647 225404 161 | 0.000 % |
207.78/207.91 c | 227267 | 7765 33340 101537 | 2147483647 227267 161 | 0.000 % |
210.77/210.93 c | 229319 | 7765 33340 101537 | 2147483647 229319 161 | 0.000 % |
214.16/214.38 c | 231573 | 7765 33340 101537 | 2147483647 231573 161 | 0.000 % |
214.46/214.63 c | 231674 | 7765 33340 101537 | 2147483647 231674 161 | 0.000 % |
214.66/214.84 c | 231784 | 7765 33340 101537 | 2147483647 231784 161 | 0.000 % |
214.86/215.08 c | 231905 | 7765 33340 101537 | 2147483647 231905 161 | 0.000 % |
215.16/215.35 c | 232038 | 7765 33340 101537 | 2147483647 232038 161 | 0.000 % |
215.56/215.71 c | 232184 | 7765 33340 101537 | 2147483647 232184 161 | 0.000 % |
215.76/215.97 c | 232346 | 7765 33340 101537 | 2147483647 232346 161 | 0.000 % |
216.07/216.29 c | 232522 | 7765 33340 101537 | 2147483647 232522 161 | 0.000 % |
216.48/216.66 c | 232715 | 7765 33340 101537 | 2147483647 232715 161 | 0.000 % |
216.87/217.05 c | 232927 | 7765 33340 101537 | 2147483647 232927 161 | 0.000 % |
217.27/217.48 c | 233163 | 7765 33340 101537 | 2147483647 233163 161 | 0.000 % |
217.77/217.94 c | 233419 | 7765 33340 101537 | 2147483647 233419 161 | 0.000 % |
218.27/218.44 c | 233700 | 7765 33340 101537 | 2147483647 233700 161 | 0.000 % |
218.87/219.00 c | 234010 | 7765 33340 101537 | 2147483647 234010 161 | 0.000 % |
219.47/219.61 c | 234349 | 7765 33340 101537 | 2147483647 234349 161 | 0.000 % |
220.06/220.22 c | 234723 | 7765 33340 101537 | 2147483647 234723 161 | 0.000 % |
220.76/220.90 c | 235134 | 7765 33340 101537 | 2147483647 235134 161 | 0.000 % |
221.46/221.65 c | 235583 | 7765 33340 101537 | 2147483647 235583 161 | 0.000 % |
222.36/222.54 c | 236077 | 7765 33340 101537 | 2147483647 236077 161 | 0.000 % |
223.26/223.47 c | 236620 | 7765 33340 101537 | 2147483647 236620 161 | 0.000 % |
224.26/224.44 c | 237216 | 7765 33340 101537 | 2147483647 237216 161 | 0.000 % |
225.27/225.48 c | 237872 | 7765 33340 101537 | 2147483647 237872 161 | 0.000 % |
226.47/226.64 c | 238592 | 7765 33340 101537 | 2147483647 238592 161 | 0.000 % |
227.76/227.93 c | 239385 | 7765 33340 101537 | 2147483647 239385 161 | 0.000 % |
229.26/229.42 c | 240258 | 7765 33340 101537 | 2147483647 240258 161 | 0.000 % |
230.66/230.85 c | 241216 | 7765 33340 101537 | 2147483647 241216 161 | 0.000 % |
232.16/232.36 c | 242271 | 7765 33340 101537 | 2147483647 242271 161 | 0.000 % |
234.16/234.30 c | 243429 | 7765 33340 101537 | 2147483647 243429 161 | 0.000 % |
236.26/236.46 c | 244702 | 7765 33340 101537 | 2147483647 244702 161 | 0.000 % |
238.47/238.70 c | 246104 | 7765 33340 101537 | 2147483647 246104 162 | 0.000 % |
240.96/241.14 c | 247644 | 7765 33340 101537 | 2147483647 247644 162 | 0.000 % |
243.66/243.80 c | 249338 | 7765 33340 101537 | 2147483647 249338 162 | 0.000 % |
246.46/246.64 c | 251202 | 7765 33340 101537 | 2147483647 251202 162 | 0.000 % |
249.86/250.00 c | 253252 | 7765 33340 101537 | 2147483647 253252 162 | 0.000 % |
253.46/253.61 c | 255506 | 7765 33340 101537 | 2147483647 255506 162 | 0.000 % |
257.35/257.57 c | 257985 | 7765 33340 101537 | 2147483647 257985 163 | 0.000 % |
257.55/257.79 c | 258085 | 7765 33340 101537 | 2147483647 258085 163 | 0.000 % |
257.85/258.03 c | 258195 | 7765 33340 101537 | 2147483647 258195 162 | 0.000 % |
258.05/258.30 c | 258319 | 7765 33340 101537 | 2147483647 258319 162 | 0.000 % |
258.36/258.54 c | 258452 | 7765 33340 101537 | 2147483647 258452 162 | 0.000 % |
258.65/258.86 c | 258599 | 7765 33340 101537 | 2147483647 258599 162 | 0.000 % |
259.05/259.25 c | 258759 | 7765 33340 101537 | 2147483647 258759 162 | 0.000 % |
259.46/259.61 c | 258935 | 7765 33340 101537 | 2147483647 258935 162 | 0.000 % |
259.85/260.05 c | 259128 | 7765 33340 101537 | 2147483647 259128 162 | 0.000 % |
260.35/260.51 c | 259344 | 7765 33340 101537 | 2147483647 259344 162 | 0.000 % |
260.75/260.98 c | 259578 | 7765 33340 101537 | 2147483647 259578 162 | 0.000 % |
261.25/261.46 c | 259834 | 7765 33340 101537 | 2147483647 259834 162 | 0.000 % |
261.85/262.05 c | 260115 | 7765 33340 101537 | 2147483647 260115 162 | 0.000 % |
262.45/262.66 c | 260424 | 7765 33340 101537 | 2147483647 260424 162 | 0.000 % |
263.05/263.27 c | 260764 | 7765 33340 101537 | 2147483647 260764 162 | 0.000 % |
263.76/263.95 c | 261136 | 7765 33340 101537 | 2147483647 261136 162 | 0.000 % |
264.55/264.72 c | 261545 | 7765 33340 101537 | 2147483647 261545 162 | 0.000 % |
265.35/265.57 c | 261996 | 7765 33340 101537 | 2147483647 261996 162 | 0.000 % |
266.25/266.46 c | 262489 | 7765 33340 101537 | 2147483647 262489 162 | 0.000 % |
267.25/267.47 c | 263032 | 7765 33340 101537 | 2147483647 263032 162 | 0.000 % |
268.25/268.46 c | 263629 | 7765 33340 101537 | 2147483647 263629 162 | 0.000 % |
269.35/269.56 c | 264284 | 7765 33340 101537 | 2147483647 264284 162 | 0.000 % |
270.55/270.78 c | 265007 | 7765 33340 101537 | 2147483647 265007 162 | 0.000 % |
271.95/272.16 c | 265800 | 7765 33340 101537 | 2147483647 265800 162 | 0.000 % |
273.45/273.67 c | 266671 | 7765 33340 101537 | 2147483647 266671 163 | 0.000 % |
275.14/275.34 c | 267629 | 7765 33340 101537 | 2147483647 267629 163 | 0.000 % |
276.95/277.16 c | 268682 | 7765 33340 101537 | 2147483647 268682 163 | 0.000 % |
278.84/279.03 c | 269841 | 7765 33340 101537 | 2147483647 269841 163 | 0.000 % |
280.94/281.13 c | 271117 | 7765 33340 101537 | 2147483647 271117 163 | 0.000 % |
283.25/283.44 c | 272517 | 7765 33340 101537 | 2147483647 272517 163 | 0.000 % |
285.94/286.14 c | 274058 | 7765 33340 101537 | 2147483647 274058 163 | 0.000 % |
288.94/289.10 c | 275753 | 7765 33340 101537 | 2147483647 275753 163 | 0.000 % |
292.05/292.23 c | 277617 | 7765 33340 101537 | 2147483647 277617 163 | 0.000 % |
295.54/295.78 c | 279667 | 7765 33340 101537 | 2147483647 279667 163 | 0.000 % |
299.44/299.67 c | 281920 | 7765 33340 101537 | 2147483647 281920 163 | 0.000 % |
303.64/303.84 c | 284398 | 7765 33340 101537 | 2147483647 284398 164 | 0.000 % |
308.54/308.73 c | 287123 | 7765 33340 101537 | 2147483647 287123 164 | 0.000 % |
308.74/308.95 c | 287224 | 7765 33340 101537 | 2147483647 287224 164 | 0.000 % |
308.94/309.20 c | 287334 | 7765 33340 101537 | 2147483647 287334 164 | 0.000 % |
309.23/309.46 c | 287455 | 7765 33340 101537 | 2147483647 287455 164 | 0.000 % |
309.63/309.83 c | 287588 | 7765 33340 101537 | 2147483647 287588 164 | 0.000 % |
309.94/310.18 c | 287735 | 7765 33340 101537 | 2147483647 287735 164 | 0.000 % |
310.33/310.53 c | 287897 | 7765 33340 101537 | 2147483647 287897 164 | 0.000 % |
310.63/310.90 c | 288073 | 7765 33340 101537 | 2147483647 288073 164 | 0.000 % |
311.14/311.33 c | 288266 | 7765 33340 101537 | 2147483647 288266 164 | 0.000 % |
311.54/311.76 c | 288480 | 7765 33340 101537 | 2147483647 288480 164 | 0.000 % |
312.04/312.28 c | 288714 | 7765 33340 101537 | 2147483647 288714 164 | 0.000 % |
312.64/312.87 c | 288970 | 7765 33340 101537 | 2147483647 288970 164 | 0.000 % |
313.24/313.49 c | 289252 | 7765 33340 101537 | 2147483647 289252 164 | 0.000 % |
313.94/314.10 c | 289562 | 7765 33340 101537 | 2147483647 289562 164 | 0.000 % |
314.64/314.86 c | 289901 | 7765 33340 101537 | 2147483647 289901 164 | 0.000 % |
315.44/315.68 c | 290276 | 7765 33340 101537 | 2147483647 290276 164 | 0.000 % |
316.13/316.39 c | 290685 | 7765 33340 101537 | 2147483647 290685 164 | 0.000 % |
317.03/317.26 c | 291135 | 7765 33340 101537 | 2147483647 291135 164 | 0.000 % |
318.03/318.26 c | 291628 | 7765 33340 101537 | 2147483647 291628 164 | 0.000 % |
319.13/319.39 c | 292171 | 7765 33340 101537 | 2147483647 292171 164 | 0.000 % |
320.33/320.55 c | 292767 | 7765 33340 101537 | 2147483647 292767 164 | 0.000 % |
321.73/321.90 c | 293422 | 7765 33340 101537 | 2147483647 293422 164 | 0.000 % |
323.03/323.25 c | 294142 | 7765 33340 101537 | 2147483647 294142 164 | 0.000 % |
324.53/324.79 c | 294934 | 7765 33340 101537 | 2147483647 294934 164 | 0.000 % |
326.32/326.59 c | 295805 | 7765 33340 101537 | 2147483647 295805 164 | 0.000 % |
328.33/328.58 c | 296765 | 7765 33340 101537 | 2147483647 296765 164 | 0.000 % |
330.33/330.59 c | 297818 | 7765 33340 101537 | 2147483647 297818 164 | 0.000 % |
332.52/332.75 c | 298976 | 7765 33340 101537 | 2147483647 298976 164 | 0.000 % |
334.83/335.01 c | 300249 | 7765 33340 101537 | 2147483647 300249 164 | 0.000 % |
337.22/337.42 c | 301649 | 7765 33340 101537 | 2147483647 301649 164 | 0.000 % |
340.12/340.33 c | 303189 | 7765 33340 101537 | 2147483647 303189 164 | 0.000 % |
343.22/343.41 c | 304885 | 7765 33340 101537 | 2147483647 304885 164 | 0.000 % |
346.62/346.84 c | 306749 | 7765 33340 101537 | 2147483647 306749 164 | 0.000 % |
350.32/350.52 c | 308798 | 7765 33340 101537 | 2147483647 308798 164 | 0.000 % |
354.42/354.67 c | 311052 | 7765 33340 101537 | 2147483647 311052 164 | 0.000 % |
359.52/359.77 c | 313532 | 7765 33340 101537 | 2147483647 313532 164 | 0.000 % |
364.82/365.01 c | 316257 | 7765 33340 101537 | 2147483647 316257 164 | 0.000 % |
370.52/370.75 c | 319254 | 7765 33340 101537 | 2147483647 319254 165 | 0.000 % |
370.81/371.03 c | 319354 | 7765 33340 101537 | 2147483647 319354 165 | 0.000 % |
371.01/371.29 c | 319464 | 7765 33340 101537 | 2147483647 319464 165 | 0.000 % |
371.31/371.59 c | 319586 | 7765 33340 101537 | 2147483647 319586 165 | 0.000 % |
371.71/371.94 c | 319721 | 7765 33340 101537 | 2147483647 319721 165 | 0.000 % |
372.11/372.31 c | 319867 | 7765 33340 101537 | 2147483647 319867 165 | 0.000 % |
372.52/372.71 c | 320029 | 7765 33340 101537 | 2147483647 320029 165 | 0.000 % |
373.02/373.21 c | 320205 | 7765 33340 101537 | 2147483647 320205 165 | 0.000 % |
373.52/373.70 c | 320398 | 7765 33340 101537 | 2147483647 320398 165 | 0.000 % |
373.92/374.18 c | 320610 | 7765 33340 101537 | 2147483647 320610 165 | 0.000 % |
374.42/374.68 c | 320844 | 7765 33340 101537 | 2147483647 320844 165 | 0.000 % |
375.02/375.29 c | 321100 | 7765 33340 101537 | 2147483647 321100 165 | 0.000 % |
375.62/375.87 c | 321382 | 7765 33340 101537 | 2147483647 321382 165 | 0.000 % |
376.41/376.63 c | 321691 | 7765 33340 101537 | 2147483647 321691 165 | 0.000 % |
377.12/377.36 c | 322030 | 7765 33340 101537 | 2147483647 322030 165 | 0.000 % |
378.01/378.29 c | 322402 | 7765 33340 101537 | 2147483647 322402 165 | 0.000 % |
379.01/379.21 c | 322812 | 7765 33340 101537 | 2147483647 322812 165 | 0.000 % |
380.01/380.21 c | 323261 | 7765 33340 101537 | 2147483647 323261 165 | 0.000 % |
381.11/381.32 c | 323754 | 7765 33340 101537 | 2147483647 323754 165 | 0.000 % |
382.31/382.50 c | 324296 | 7765 33340 101537 | 2147483647 324296 165 | 0.000 % |
383.61/383.83 c | 324892 | 7765 33340 101537 | 2147483647 324892 165 | 0.000 % |
384.91/385.17 c | 325548 | 7765 33340 101537 | 2147483647 325548 165 | 0.000 % |
386.51/386.76 c | 326268 | 7765 33340 101537 | 2147483647 326268 165 | 0.000 % |
388.11/388.31 c | 327061 | 7765 33340 101537 | 2147483647 327061 165 | 0.000 % |
390.21/390.43 c | 327932 | 7765 33340 101537 | 2147483647 327932 165 | 0.000 % |
392.20/392.48 c | 328890 | 7765 33340 101537 | 2147483647 328890 165 | 0.000 % |
394.40/394.67 c | 329944 | 7765 33340 101537 | 2147483647 329944 165 | 0.000 % |
396.82/397.06 c | 331102 | 7765 33340 101537 | 2147483647 331102 165 | 0.000 % |
399.41/399.68 c | 332376 | 7765 33340 101537 | 2147483647 332376 165 | 0.000 % |
402.41/402.63 c | 333779 | 7765 33340 101537 | 2147483647 333779 165 | 0.000 % |
405.61/405.84 c | 335320 | 7765 33340 101537 | 2147483647 335320 165 | 0.000 % |
409.11/409.30 c | 337016 | 7765 33340 101537 | 2147483647 337016 165 | 0.000 % |
413.10/413.31 c | 338879 | 7765 33340 101537 | 2147483647 338879 165 | 0.000 % |
417.11/417.37 c | 340928 | 7765 33340 101537 | 2147483647 340928 165 | 0.000 % |
421.70/421.94 c | 343181 | 7765 33340 101537 | 2147483647 343181 165 | 0.000 % |
426.70/426.95 c | 345662 | 7765 33340 101537 | 2147483647 345662 165 | 0.000 % |
432.29/432.50 c | 348389 | 7765 33340 101537 | 2147483647 348389 165 | 0.000 % |
438.60/438.89 c | 351388 | 7765 33340 101537 | 2147483647 351388 166 | 0.000 % |
445.40/445.69 c | 354684 | 7765 33340 101537 | 2147483647 354684 166 | 0.000 % |
445.70/445.96 c | 354784 | 7765 33340 101537 | 2147483647 354784 166 | 0.000 % |
446.10/446.31 c | 354894 | 7765 33340 101537 | 2147483647 354894 166 | 0.000 % |
446.40/446.65 c | 355015 | 7765 33340 101537 | 2147483647 355015 166 | 0.000 % |
446.80/447.02 c | 355148 | 7765 33340 101537 | 2147483647 355148 166 | 0.000 % |
447.20/447.43 c | 355294 | 7765 33340 101537 | 2147483647 355294 165 | 0.000 % |
447.60/447.87 c | 355454 | 7765 33340 101537 | 2147483647 355454 165 | 0.000 % |
448.09/448.37 c | 355630 | 7765 33340 101537 | 2147483647 355630 165 | 0.000 % |
448.60/448.88 c | 355823 | 7765 33340 101537 | 2147483647 355823 165 | 0.000 % |
449.09/449.40 c | 356035 | 7765 33340 101537 | 2147483647 356035 165 | 0.000 % |
449.79/450.08 c | 356268 | 7765 33340 101537 | 2147483647 356268 165 | 0.000 % |
450.49/450.74 c | 356526 | 7765 33340 101537 | 2147483647 356526 165 | 0.000 % |
451.29/451.50 c | 356807 | 7765 33340 101537 | 2147483647 356807 165 | 0.000 % |
452.09/452.33 c | 357117 | 7765 33340 101537 | 2147483647 357117 165 | 0.000 % |
452.79/453.03 c | 357456 | 7765 33340 101537 | 2147483647 357456 165 | 0.000 % |
453.69/453.96 c | 357830 | 7765 33340 101537 | 2147483647 357830 165 | 0.000 % |
454.79/455.01 c | 358239 | 7765 33340 101537 | 2147483647 358239 165 | 0.000 % |
455.89/456.13 c | 358692 | 7765 33340 101537 | 2147483647 358692 165 | 0.000 % |
457.09/457.31 c | 359185 | 7765 33340 101537 | 2147483647 359185 165 | 0.000 % |
458.29/458.59 c | 359728 | 7765 33340 101537 | 2147483647 359728 165 | 0.000 % |
459.79/460.01 c | 360324 | 7765 33340 101537 | 2147483647 360324 165 | 0.000 % |
461.29/461.56 c | 360980 | 7765 33340 101537 | 2147483647 360980 165 | 0.000 % |
463.09/463.33 c | 361700 | 7765 33340 101537 | 2147483647 361700 165 | 0.000 % |
464.99/465.26 c | 362492 | 7765 33340 101537 | 2147483647 362492 165 | 0.000 % |
466.89/467.16 c | 363363 | 7765 33340 101537 | 2147483647 363363 165 | 0.000 % |
469.29/469.51 c | 364322 | 7765 33340 101537 | 2147483647 364322 165 | 0.000 % |
471.59/471.87 c | 365375 | 7765 33340 101537 | 2147483647 365375 166 | 0.000 % |
474.28/474.59 c | 366533 | 7765 33340 101537 | 2147483647 366533 166 | 0.000 % |
477.48/477.75 c | 367806 | 7765 33340 101537 | 2147483647 367806 166 | 0.000 % |
480.58/480.82 c | 369206 | 7765 33340 101537 | 2147483647 369206 166 | 0.000 % |
483.99/484.30 c | 370748 | 7765 33340 101537 | 2147483647 370748 166 | 0.000 % |
487.88/488.19 c | 372442 | 7765 33340 101537 | 2147483647 372442 166 | 0.000 % |
491.79/492.06 c | 374308 | 7765 33340 101537 | 2147483647 374308 166 | 0.000 % |
496.28/496.54 c | 376357 | 7765 33340 101537 | 2147483647 376357 166 | 0.000 % |
501.48/501.79 c | 378611 | 7765 33340 101537 | 2147483647 378611 166 | 0.000 % |
507.17/507.42 c | 381089 | 7765 33340 101537 | 2147483647 381089 166 | 0.000 % |
513.97/514.26 c | 383815 | 7765 33340 101537 | 2147483647 383815 166 | 0.000 % |
520.57/520.85 c | 386813 | 7765 33340 101537 | 2147483647 386813 167 | 0.000 % |
528.07/528.30 c | 390109 | 7765 33340 101537 | 2147483647 390109 167 | 0.000 % |
536.26/536.53 c | 393734 | 7765 33340 101537 | 2147483647 393734 167 | 0.000 % |
536.58/536.84 c | 393836 | 7765 33340 101537 | 2147483647 393836 167 | 0.000 % |
536.97/537.20 c | 393946 | 7765 33340 101537 | 2147483647 393946 167 | 0.000 % |
537.27/537.56 c | 394067 | 7765 33340 101537 | 2147483647 394067 167 | 0.000 % |
537.77/538.01 c | 394202 | 7765 33340 101537 | 2147483647 394202 167 | 0.000 % |
538.17/538.43 c | 394348 | 7765 33340 101537 | 2147483647 394348 167 | 0.000 % |
538.57/538.89 c | 394508 | 7765 33340 101537 | 2147483647 394508 167 | 0.000 % |
539.17/539.47 c | 394687 | 7765 33340 101537 | 2147483647 394687 167 | 0.000 % |
539.77/540.07 c | 394882 | 7765 33340 101537 | 2147483647 394882 167 | 0.000 % |
540.37/540.61 c | 395094 | 7765 33340 101537 | 2147483647 395094 167 | 0.000 % |
541.07/541.32 c | 395328 | 7765 33340 101537 | 2147483647 395328 167 | 0.000 % |
541.77/542.04 c | 395584 | 7765 33340 101537 | 2147483647 395584 167 | 0.000 % |
542.56/542.88 c | 395866 | 7765 33340 101537 | 2147483647 395866 167 | 0.000 % |
543.47/543.73 c | 396175 | 7765 33340 101537 | 2147483647 396175 167 | 0.000 % |
544.37/544.61 c | 396516 | 7765 33340 101537 | 2147483647 396516 167 | 0.000 % |
545.47/545.72 c | 396891 | 7765 33340 101537 | 2147483647 396891 167 | 0.000 % |
546.47/546.78 c | 397301 | 7765 33340 101537 | 2147483647 397301 167 | 0.000 % |
547.77/548.06 c | 397754 | 7765 33340 101537 | 2147483647 397754 167 | 0.000 % |
549.17/549.45 c | 398248 | 7765 33340 101537 | 2147483647 398248 167 | 0.000 % |
550.67/550.92 c | 398792 | 7765 33340 101537 | 2147483647 398792 167 | 0.000 % |
552.16/552.40 c | 399388 | 7765 33340 101537 | 2147483647 399388 167 | 0.000 % |
553.66/553.92 c | 400043 | 7765 33340 101537 | 2147483647 400043 167 | 0.000 % |
555.56/555.81 c | 400764 | 7765 33340 101537 | 2147483647 400764 167 | 0.000 % |
557.66/557.91 c | 401556 | 7765 33340 101537 | 2147483647 401556 167 | 0.000 % |
560.07/560.33 c | 402429 | 7765 33340 101537 | 2147483647 402429 167 | 0.000 % |
562.36/562.62 c | 403393 | 7765 33340 101537 | 2147483647 403393 167 | 0.000 % |
564.96/565.21 c | 404446 | 7765 33340 101537 | 2147483647 404446 167 | 0.000 % |
568.06/568.33 c | 405607 | 7765 33340 101537 | 2147483647 405607 167 | 0.000 % |
571.26/571.51 c | 406880 | 7765 33340 101537 | 2147483647 406880 167 | 0.000 % |
574.86/575.11 c | 408280 | 7765 33340 101537 | 2147483647 408280 167 | 0.000 % |
578.66/578.97 c | 409820 | 7765 33340 101537 | 2147483647 409820 167 | 0.000 % |
582.36/582.67 c | 411514 | 7765 33340 101537 | 2147483647 411514 168 | 0.000 % |
587.15/587.41 c | 413377 | 7765 33340 101537 | 2147483647 413377 168 | 0.000 % |
591.95/592.23 c | 415426 | 7765 33340 101537 | 2147483647 415426 168 | 0.000 % |
597.65/597.91 c | 417679 | 7765 33340 101537 | 2147483647 417679 168 | 0.000 % |
604.15/604.42 c | 420158 | 7765 33340 101537 | 2147483647 420158 168 | 0.000 % |
611.05/611.38 c | 422885 | 7765 33340 101537 | 2147483647 422885 168 | 0.000 % |
618.55/618.87 c | 425882 | 7765 33340 101537 | 2147483647 425882 168 | 0.000 % |
627.05/627.33 c | 429178 | 7765 33340 101537 | 2147483647 429178 169 | 0.000 % |
635.75/636.07 c | 432803 | 7765 33340 101537 | 2147483647 432803 169 | 0.000 % |
645.74/646.03 c | 436792 | 7765 33340 101537 | 2147483647 436792 169 | 0.000 % |
646.04/646.36 c | 436893 | 7765 33340 101537 | 2147483647 436893 169 | 0.000 % |
646.44/646.74 c | 437006 | 7765 33340 101537 | 2147483647 437006 169 | 0.000 % |
646.84/647.17 c | 437128 | 7765 33340 101537 | 2147483647 437128 169 | 0.000 % |
647.34/647.63 c | 437261 | 7765 33340 101537 | 2147483647 437261 169 | 0.000 % |
647.84/648.12 c | 437408 | 7765 33340 101537 | 2147483647 437408 169 | 0.000 % |
648.34/648.68 c | 437568 | 7765 33340 101537 | 2147483647 437568 169 | 0.000 % |
648.94/649.25 c | 437744 | 7765 33340 101537 | 2147483647 437744 169 | 0.000 % |
649.54/649.86 c | 437937 | 7765 33340 101537 | 2147483647 437937 169 | 0.000 % |
650.24/650.52 c | 438149 | 7765 33340 101537 | 2147483647 438149 169 | 0.000 % |
650.94/651.27 c | 438382 | 7765 33340 101537 | 2147483647 438382 169 | 0.000 % |
651.74/652.00 c | 438639 | 7765 33340 101537 | 2147483647 438639 169 | 0.000 % |
652.54/652.81 c | 438920 | 7765 33340 101537 | 2147483647 438920 169 | 0.000 % |
653.43/653.73 c | 439229 | 7765 33340 101537 | 2147483647 439229 169 | 0.000 % |
654.34/654.62 c | 439568 | 7765 33340 101537 | 2147483647 439568 169 | 0.000 % |
655.44/655.80 c | 439941 | 7765 33340 101537 | 2147483647 439941 169 | 0.000 % |
656.84/657.12 c | 440351 | 7765 33340 101537 | 2147483647 440351 169 | 0.000 % |
658.24/658.50 c | 440801 | 7765 33340 101537 | 2147483647 440801 169 | 0.000 % |
659.64/659.91 c | 441294 | 7765 33340 101537 | 2147483647 441294 169 | 0.000 % |
661.03/661.37 c | 441837 | 7765 33340 101537 | 2147483647 441837 169 | 0.000 % |
662.83/663.11 c | 442433 | 7765 33340 101537 | 2147483647 442433 169 | 0.000 % |
664.53/664.89 c | 443089 | 7765 33340 101537 | 2147483647 443089 169 | 0.000 % |
666.63/666.98 c | 443809 | 7765 33340 101537 | 2147483647 443809 169 | 0.000 % |
669.04/669.39 c | 444601 | 7765 33340 101537 | 2147483647 444601 169 | 0.000 % |
671.54/671.81 c | 445472 | 7765 33340 101537 | 2147483647 445472 169 | 0.000 % |
674.13/674.41 c | 446431 | 7765 33340 101537 | 2147483647 446431 169 | 0.000 % |
676.93/677.21 c | 447485 | 7765 33340 101537 | 2147483647 447485 169 | 0.000 % |
679.92/680.29 c | 448643 | 7765 33340 101537 | 2147483647 448643 169 | 0.000 % |
683.63/683.90 c | 449917 | 7765 33340 101537 | 2147483647 449917 169 | 0.000 % |
687.92/688.21 c | 451318 | 7765 33340 101537 | 450002 400990 169 | 0.000 % |
691.43/691.78 c | 452858 | 7765 33340 101537 | 450002 402530 169 | 0.000 % |
695.63/695.93 c | 454552 | 7765 33340 101537 | 450002 404224 169 | 0.000 % |
700.13/700.47 c | 456416 | 7765 33340 101537 | 450002 406088 169 | 0.000 % |
705.03/705.36 c | 458466 | 7765 33340 101537 | 450002 408138 169 | 0.000 % |
710.13/710.47 c | 460719 | 7765 33340 101537 | 2147483647 410391 169 | 0.000 % |
716.62/716.92 c | 463198 | 7765 33340 101537 | 2147483647 412870 169 | 0.000 % |
723.32/723.67 c | 465925 | 7765 33340 101537 | 2147483647 415597 169 | 0.000 % |
729.82/730.16 c | 468922 | 7765 33340 101537 | 2147483647 418594 170 | 0.000 % |
737.92/738.28 c | 472218 | 7765 33340 101537 | 2147483647 421890 170 | 0.000 % |
746.82/747.11 c | 475845 | 7765 33340 101537 | 2147483647 425517 170 | 0.000 % |
755.81/756.15 c | 479833 | 7765 33340 101537 | 2147483647 429505 170 | 0.000 % |
766.91/767.26 c | 484219 | 7765 33340 101537 | 2147483647 433891 170 | 0.000 % |
767.31/767.61 c | 484320 | 7765 33340 101537 | 2147483647 433992 170 | 0.000 % |
767.60/767.96 c | 484430 | 7765 33340 101537 | 2147483647 434102 170 | 0.000 % |
768.10/768.43 c | 484551 | 7765 33340 101537 | 2147483647 434223 170 | 0.000 % |
768.61/768.93 c | 484684 | 7765 33340 101537 | 2147483647 434356 170 | 0.000 % |
769.00/769.36 c | 484831 | 7765 33340 101537 | 2147483647 434503 170 | 0.000 % |
769.50/769.90 c | 484994 | 7765 33340 101537 | 2147483647 434666 170 | 0.000 % |
770.10/770.41 c | 485171 | 7765 33340 101537 | 2147483647 434843 170 | 0.000 % |
770.71/771.07 c | 485364 | 7765 33340 101537 | 2147483647 435036 170 | 0.000 % |
771.40/771.71 c | 485577 | 7765 33340 101537 | 2147483647 435249 170 | 0.000 % |
772.20/772.56 c | 485813 | 7765 33340 101537 | 2147483647 435485 170 | 0.000 % |
773.01/773.37 c | 486069 | 7765 33340 101537 | 2147483647 435741 170 | 0.000 % |
773.90/774.30 c | 486350 | 7765 33340 101537 | 2147483647 436022 170 | 0.000 % |
774.90/775.23 c | 486660 | 7765 33340 101537 | 2147483647 436332 170 | 0.000 % |
775.90/776.23 c | 486999 | 7765 33340 101537 | 2147483647 436671 170 | 0.000 % |
777.00/777.35 c | 487373 | 7765 33340 101537 | 2147483647 437045 170 | 0.000 % |
778.20/778.57 c | 487782 | 7765 33340 101537 | 2147483647 437454 170 | 0.000 % |
779.70/780.03 c | 488232 | 7765 33340 101537 | 2147483647 437904 170 | 0.000 % |
781.10/781.45 c | 488727 | 7765 33340 101537 | 2147483647 438399 170 | 0.000 % |
782.70/783.01 c | 489271 | 7765 33340 101537 | 2147483647 438943 170 | 0.000 % |
784.40/784.73 c | 489867 | 7765 33340 101537 | 2147483647 439539 170 | 0.000 % |
786.10/786.43 c | 490522 | 7765 33340 101537 | 2147483647 440194 170 | 0.000 % |
788.10/788.42 c | 491243 | 7765 33340 101537 | 2147483647 440915 170 | 0.000 % |
790.29/790.67 c | 492037 | 7765 33340 101537 | 2147483647 441709 170 | 0.000 % |
792.99/793.35 c | 492908 | 7765 33340 101537 | 2147483647 442580 170 | 0.000 % |
795.69/796.08 c | 493867 | 7765 33340 101537 | 2147483647 443539 170 | 0.000 % |
798.69/799.00 c | 494920 | 7765 33340 101537 | 2147483647 444592 170 | 0.000 % |
801.69/802.02 c | 496079 | 7765 33340 101537 | 2147483647 445751 170 | 0.000 % |
805.19/805.51 c | 497353 | 7765 33340 101537 | 2147483647 447025 170 | 0.000 % |
809.10/809.41 c | 498754 | 7765 33340 101537 | 2147483647 448426 170 | 0.000 % |
813.09/813.48 c | 500295 | 7765 33340 101537 | 449672 449967 170 | 0.000 % |
817.69/818.05 c | 501992 | 7765 33340 101537 | 449672 404986 171 | 0.000 % |
822.19/822.53 c | 503855 | 7765 33340 101537 | 449672 406849 171 | 0.000 % |
827.09/827.41 c | 505904 | 7765 33340 101537 | 449672 408898 171 | 0.000 % |
832.69/833.09 c | 508158 | 7765 33340 101537 | 449672 411152 171 | 0.000 % |
838.78/839.11 c | 510636 | 7765 33340 101537 | 2147483647 413630 172 | 0.000 % |
845.18/845.53 c | 513361 | 7765 33340 101537 | 2147483647 416355 172 | 0.000 % |
852.38/852.78 c | 516358 | 7765 33340 101537 | 2147483647 419352 172 | 0.000 % |
860.28/860.64 c | 519655 | 7765 33340 101537 | 2147483647 422649 172 | 0.000 % |
869.08/869.48 c | 523281 | 7765 33340 101537 | 2147483647 426275 172 | 0.000 % |
878.97/879.30 c | 527269 | 7765 33340 101537 | 2147483647 430263 172 | 0.000 % |
889.57/889.97 c | 531657 | 7765 33340 101537 | 2147483647 434651 173 | 0.000 % |
901.77/902.17 c | 536482 | 7765 33340 101537 | 2147483647 439476 173 | 0.000 % |
902.07/902.47 c | 536582 | 7765 33340 101537 | 2147483647 439576 173 | 0.000 % |
902.57/902.93 c | 536692 | 7765 33340 101537 | 2147483647 439686 173 | 0.000 % |
902.97/903.39 c | 536813 | 7765 33340 101537 | 2147483647 439807 173 | 0.000 % |
903.47/903.87 c | 536947 | 7765 33340 101537 | 2147483647 439941 173 | 0.000 % |
903.97/904.38 c | 537094 | 7765 33340 101537 | 2147483647 440088 173 | 0.000 % |
904.57/904.98 c | 537254 | 7765 33340 101537 | 2147483647 440248 173 | 0.000 % |
905.17/905.54 c | 537432 | 7765 33340 101537 | 2147483647 440426 173 | 0.000 % |
905.77/906.14 c | 537626 | 7765 33340 101537 | 2147483647 440620 173 | 0.000 % |
906.47/906.86 c | 537838 | 7765 33340 101537 | 2147483647 440832 173 | 0.000 % |
907.27/907.61 c | 538074 | 7765 33340 101537 | 2147483647 441068 173 | 0.000 % |
908.17/908.51 c | 538331 | 7765 33340 101537 | 2147483647 441325 173 | 0.000 % |
908.96/909.35 c | 538614 | 7765 33340 101537 | 2147483647 441608 173 | 0.000 % |
909.86/910.27 c | 538924 | 7765 33340 101537 | 2147483647 441918 173 | 0.000 % |
910.76/911.14 c | 539265 | 7765 33340 101537 | 2147483647 442259 173 | 0.000 % |
911.86/912.27 c | 539639 | 7765 33340 101537 | 2147483647 442633 173 | 0.000 % |
913.26/913.61 c | 540048 | 7765 33340 101537 | 2147483647 443042 173 | 0.000 % |
914.66/915.01 c | 540497 | 7765 33340 101537 | 2147483647 443491 173 | 0.000 % |
916.06/916.43 c | 540992 | 7765 33340 101537 | 2147483647 443986 173 | 0.000 % |
917.57/917.95 c | 541536 | 7765 33340 101537 | 2147483647 444530 173 | 0.000 % |
919.37/919.73 c | 542133 | 7765 33340 101537 | 2147483647 445127 173 | 0.000 % |
921.37/921.75 c | 542788 | 7765 33340 101537 | 2147483647 445782 173 | 0.000 % |
923.36/923.75 c | 543508 | 7765 33340 101537 | 2147483647 446502 173 | 0.000 % |
925.86/926.22 c | 544301 | 7765 33340 101537 | 2147483647 447295 173 | 0.000 % |
928.37/928.77 c | 545173 | 7765 33340 101537 | 2147483647 448167 173 | 0.000 % |
931.06/931.44 c | 546132 | 7765 33340 101537 | 2147483647 449126 173 | 0.000 % |
934.16/934.50 c | 547185 | 7765 33340 101537 | 2147483647 450179 173 | 0.000 % |
937.36/937.75 c | 548343 | 7765 33340 101537 | 2147483647 451337 173 | 0.000 % |
940.76/941.13 c | 549617 | 7765 33340 101537 | 2147483647 452611 173 | 0.000 % |
944.66/945.00 c | 551017 | 7765 33340 101537 | 452995 454011 173 | 0.000 % |
948.66/949.07 c | 552557 | 7765 33340 101537 | 452995 402290 174 | 0.000 % |
952.96/953.37 c | 554251 | 7765 33340 101537 | 452995 403984 174 | 0.000 % |
957.66/958.05 c | 556116 | 7765 33340 101537 | 452995 405849 174 | 0.000 % |
962.65/963.09 c | 558165 | 7765 33340 101537 | 452995 407898 174 | 0.000 % |
967.95/968.32 c | 560418 | 7765 33340 101537 | 2147483647 410151 174 | 0.000 % |
973.55/973.91 c | 562897 | 7765 33340 101537 | 2147483647 412630 174 | 0.000 % |
980.25/980.61 c | 565622 | 7765 33340 101537 | 2147483647 415355 174 | 0.000 % |
987.75/988.18 c | 568619 | 7765 33340 101537 | 2147483647 418352 175 | 0.000 % |
995.74/996.16 c | 571915 | 7765 33340 101537 | 2147483647 421648 175 | 0.000 % |
1005.04/1005.42 c | 575540 | 7765 33340 101537 | 2147483647 425273 175 | 0.000 % |
1014.94/1015.34 c | 579527 | 7765 33340 101537 | 2147483647 429260 175 | 0.000 % |
1026.13/1026.59 c | 583913 | 7765 33340 101537 | 2147483647 433646 175 | 0.000 % |
1038.34/1038.78 c | 588737 | 7765 33340 101537 | 2147483647 438470 175 | 0.000 % |
1051.34/1051.71 c | 594042 | 7765 33340 101537 | 2147483647 443775 176 | 0.000 % |
1051.73/1052.13 c | 594143 | 7765 33340 101537 | 2147483647 443876 176 | 0.000 % |
1052.03/1052.47 c | 594253 | 7765 33340 101537 | 2147483647 443986 176 | 0.000 % |
1052.43/1052.80 c | 594377 | 7765 33340 101537 | 2147483647 444110 176 | 0.000 % |
1052.83/1053.27 c | 594510 | 7765 33340 101537 | 2147483647 444243 176 | 0.000 % |
1053.44/1053.88 c | 594656 | 7765 33340 101537 | 2147483647 444389 176 | 0.000 % |
1053.93/1054.39 c | 594816 | 7765 33340 101537 | 2147483647 444549 176 | 0.000 % |
1054.54/1054.92 c | 594992 | 7765 33340 101537 | 2147483647 444725 176 | 0.000 % |
1055.13/1055.52 c | 595185 | 7765 33340 101537 | 2147483647 444918 176 | 0.000 % |
1055.83/1056.21 c | 595398 | 7765 33340 101537 | 2147483647 445131 176 | 0.000 % |
1056.53/1056.99 c | 595631 | 7765 33340 101537 | 2147483647 445364 176 | 0.000 % |
1057.43/1057.87 c | 595893 | 7765 33340 101537 | 2147483647 445626 176 | 0.000 % |
1058.33/1058.79 c | 596175 | 7765 33340 101537 | 2147483647 445908 176 | 0.000 % |
1059.23/1059.69 c | 596484 | 7765 33340 101537 | 2147483647 446217 176 | 0.000 % |
1060.43/1060.88 c | 596823 | 7765 33340 101537 | 2147483647 446556 176 | 0.000 % |
1061.53/1061.99 c | 597195 | 7765 33340 101537 | 2147483647 446928 176 | 0.000 % |
1062.73/1063.19 c | 597604 | 7765 33340 101537 | 2147483647 447337 176 | 0.000 % |
1064.02/1064.42 c | 598053 | 7765 33340 101537 | 2147483647 447786 176 | 0.000 % |
1065.62/1066.05 c | 598547 | 7765 33340 101537 | 2147483647 448280 176 | 0.000 % |
1067.22/1067.66 c | 599090 | 7765 33340 101537 | 2147483647 448823 176 | 0.000 % |
1069.13/1069.56 c | 599687 | 7765 33340 101537 | 2147483647 449420 175 | 0.000 % |
1071.03/1071.43 c | 600342 | 7765 33340 101537 | 449733 450075 175 | 0.000 % |
1073.43/1073.85 c | 601063 | 7765 33340 101537 | 449733 398755 176 | 0.000 % |
1075.73/1076.12 c | 601855 | 7765 33340 101537 | 449733 399547 176 | 0.000 % |
1077.93/1078.39 c | 602726 | 7765 33340 101537 | 449733 400418 176 | 0.000 % |
1080.43/1080.80 c | 603684 | 7765 33340 101537 | 449733 401376 176 | 0.000 % |
1082.92/1083.37 c | 604738 | 7765 33340 101537 | 449733 402430 176 | 0.000 % |
1085.92/1086.30 c | 605897 | 7765 33340 101537 | 449733 403589 176 | 0.000 % |
1088.92/1089.31 c | 607170 | 7765 33340 101537 | 449733 404862 176 | 0.000 % |
1092.42/1092.87 c | 608570 | 7765 33340 101537 | 449733 406262 176 | 0.000 % |
1096.52/1096.92 c | 610111 | 7765 33340 101537 | 2147483647 407803 176 | 0.000 % |
1100.92/1101.38 c | 611808 | 7765 33340 101537 | 2147483647 409500 176 | 0.000 % |
1105.82/1106.28 c | 613671 | 7765 33340 101537 | 2147483647 411363 176 | 0.000 % |
1110.72/1111.15 c | 615721 | 7765 33340 101537 | 2147483647 413413 176 | 0.000 % |
1116.21/1116.62 c | 617974 | 7765 33340 101537 | 2147483647 415666 176 | 0.000 % |
1122.72/1123.14 c | 620455 | 7765 33340 101537 | 2147483647 418147 176 | 0.000 % |
1129.71/1130.18 c | 623181 | 7765 33340 101537 | 2147483647 420873 176 | 0.000 % |
1137.21/1137.61 c | 626179 | 7765 33340 101537 | 2147483647 423871 176 | 0.000 % |
1145.11/1145.52 c | 629475 | 7765 33340 101537 | 2147483647 427167 176 | 0.000 % |
1154.10/1154.57 c | 633100 | 7765 33340 101537 | 2147483647 430792 176 | 0.000 % |
1164.00/1164.46 c | 637087 | 7765 33340 101537 | 2147483647 434779 176 | 0.000 % |
1174.90/1175.38 c | 641472 | 7765 33340 101537 | 2147483647 439164 177 | 0.000 % |
1186.99/1187.43 c | 646297 | 7765 33340 101537 | 2147483647 443989 177 | 0.000 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1832693-1242786361/watcher-1832693-1242786361 -o /tmp/evaluation-result-1832693-1242786361/solver-1832693-1242786361 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832693-1242786361.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 2322
/proc/meminfo: memFree=1610952/2055920 swapFree=4180384/4192956
[pid=2322] ppid=2320 vsize=5356 CPUtime=0
/proc/2322/stat : 2322 (SatELiteGTI) S 2320 2322 1691 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 306662191 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 237947642692 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/2322/statm: 1339 237 197 169 0 50 0
[startup+0.079915 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 2322
/proc/meminfo: memFree=1610952/2055920 swapFree=4180384/4192956
[pid=2322] ppid=2320 vsize=5356 CPUtime=0
/proc/2322/stat : 2322 (SatELiteGTI) S 2320 2322 1691 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 306662191 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 237947642692 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/2322/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.101917 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 2322
/proc/meminfo: memFree=1610952/2055920 swapFree=4180384/4192956
[pid=2322] ppid=2320 vsize=5356 CPUtime=0
/proc/2322/stat : 2322 (SatELiteGTI) S 2320 2322 1691 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 306662191 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 237947642692 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/2322/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301941 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 2322
/proc/meminfo: memFree=1610952/2055920 swapFree=4180384/4192956
[pid=2322] ppid=2320 vsize=5356 CPUtime=0.14
/proc/2322/stat : 2322 (SatELiteGTI) S 2320 2322 1691 0 -1 4194304 336 1329 0 0 0 0 13 1 16 0 1 0 306662191 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237947642692 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2322/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 5356
[startup+0.701975 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 2322
/proc/meminfo: memFree=1610952/2055920 swapFree=4180384/4192956
[pid=2322] ppid=2320 vsize=5356 CPUtime=0.14
/proc/2322/stat : 2322 (SatELiteGTI) S 2320 2322 1691 0 -1 4194304 336 1329 0 0 0 0 13 1 16 0 1 0 306662191 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237947642692 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2322/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 5356
[startup+1.50103 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2328
/proc/meminfo: memFree=1605240/2055920 swapFree=4180384/4192956
[pid=2322] ppid=2320 vsize=5356 CPUtime=0.14
/proc/2322/stat : 2322 (SatELiteGTI) S 2320 2322 1691 0 -1 4194304 336 1329 0 0 0 0 13 1 16 0 1 0 306662191 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237947642692 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2322/statm: 1339 239 197 169 0 50 0
[pid=2328] ppid=2322 vsize=6988 CPUtime=1.33
/proc/2328/stat : 2328 (minisat_static) R 2322 2322 1691 0 -1 4194304 1521 0 0 0 132 1 0 0 25 0 1 0 306662207 7155712 1507 1992294400 134512640 135215339 4294956240 18446744073709551615 134528708 0 0 4096 3 0 0 0 17 1 0 0
/proc/2328/statm: 1747 1507 77 171 0 1574 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 12344
[startup+3.10116 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2328
/proc/meminfo: memFree=1602808/2055920 swapFree=4180384/4192956
[pid=2322] ppid=2320 vsize=5356 CPUtime=0.14
/proc/2322/stat : 2322 (SatELiteGTI) S 2320 2322 1691 0 -1 4194304 336 1329 0 0 0 0 13 1 16 0 1 0 306662191 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237947642692 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2322/statm: 1339 239 197 169 0 50 0
[pid=2328] ppid=2322 vsize=10180 CPUtime=2.93
/proc/2328/stat : 2328 (minisat_static) R 2322 2322 1691 0 -1 4194304 2312 0 0 0 291 2 0 0 25 0 1 0 306662207 10424320 2298 1992294400 134512640 135215339 4294956240 18446744073709551615 134529148 0 0 4096 3 0 0 0 17 1 0 0
/proc/2328/statm: 2545 2298 77 171 0 2372 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 15536
[startup+6.30141 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2328
/proc/meminfo: memFree=1596664/2055920 swapFree=4180384/4192956
[pid=2322] ppid=2320 vsize=5356 CPUtime=0.14
/proc/2322/stat : 2322 (SatELiteGTI) S 2320 2322 1691 0 -1 4194304 336 1329 0 0 0 0 13 1 16 0 1 0 306662191 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237947642692 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2322/statm: 1339 239 197 169 0 50 0
[pid=2328] ppid=2322 vsize=15644 CPUtime=6.13
/proc/2328/stat : 2328 (minisat_static) R 2322 2322 1691 0 -1 4194304 3693 0 0 0 609 4 0 0 25 0 1 0 306662207 16019456 3679 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/2328/statm: 3911 3679 77 171 0 3738 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 21000
[startup+12.7019 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2328
/proc/meminfo: memFree=1586744/2055920 swapFree=4180384/4192956
[pid=2322] ppid=2320 vsize=5356 CPUtime=0.14
/proc/2322/stat : 2322 (SatELiteGTI) S 2320 2322 1691 0 -1 4194304 336 1329 0 0 0 0 13 1 16 0 1 0 306662191 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237947642692 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2322/statm: 1339 239 197 169 0 50 0
[pid=2328] ppid=2322 vsize=25044 CPUtime=12.52
/proc/2328/stat : 2328 (minisat_static) R 2322 2322 1691 0 -1 4194304 6040 0 0 0 1246 6 0 0 25 0 1 0 306662207 25645056 6026 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/2328/statm: 6261 6026 77 171 0 6088 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 30400
[startup+25.5019 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2328
/proc/meminfo: memFree=1570872/2055920 swapFree=4180384/4192956
[pid=2322] ppid=2320 vsize=5356 CPUtime=0.14
/proc/2322/stat : 2322 (SatELiteGTI) S 2320 2322 1691 0 -1 4194304 336 1329 0 0 0 0 13 1 16 0 1 0 306662191 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237947642692 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2322/statm: 1339 239 197 169 0 50 0
[pid=2328] ppid=2322 vsize=40304 CPUtime=25.31
/proc/2328/stat : 2328 (minisat_static) R 2322 2322 1691 0 -1 4194304 9846 0 0 0 2521 10 0 0 25 0 1 0 306662207 41271296 9832 1992294400 134512640 135215339 4294956240 18446744073709551615 134539235 0 0 4096 3 0 0 0 17 1 0 0
/proc/2328/statm: 10076 9832 77 171 0 9903 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 45660
[startup+51.102 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2328
/proc/meminfo: memFree=1547576/2055920 swapFree=4180384/4192956
[pid=2322] ppid=2320 vsize=5356 CPUtime=0.14
/proc/2322/stat : 2322 (SatELiteGTI) S 2320 2322 1691 0 -1 4194304 336 1329 0 0 0 0 13 1 16 0 1 0 306662191 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237947642692 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2322/statm: 1339 239 197 169 0 50 0
[pid=2328] ppid=2322 vsize=63700 CPUtime=50.89
/proc/2328/stat : 2328 (minisat_static) R 2322 2322 1691 0 -1 4194304 15669 0 0 0 5072 17 0 0 25 0 1 0 306662207 65228800 15655 1992294400 134512640 135215339 4294956240 18446744073709551615 134528872 0 0 4096 3 0 0 0 17 1 0 0
/proc/2328/statm: 15925 15655 77 171 0 15752 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 69056
[startup+102.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2328
/proc/meminfo: memFree=1510776/2055920 swapFree=4180384/4192956
[pid=2322] ppid=2320 vsize=5356 CPUtime=0.14
/proc/2322/stat : 2322 (SatELiteGTI) S 2320 2322 1691 0 -1 4194304 336 1329 0 0 0 0 13 1 16 0 1 0 306662191 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237947642692 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2322/statm: 1339 239 197 169 0 50 0
[pid=2328] ppid=2322 vsize=100136 CPUtime=102.07
/proc/2328/stat : 2328 (minisat_static) R 2322 2322 1691 0 -1 4194304 24753 0 0 0 10179 28 0 0 25 0 1 0 306662207 102539264 24739 1992294400 134512640 135215339 4294956240 18446744073709551615 134538089 0 0 4096 3 0 0 0 17 1 0 0
/proc/2328/statm: 25034 24739 77 171 0 24861 0
Current children cumulated CPU time (s) 102.21
Current children cumulated vsize (KiB) 105492
[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2328
/proc/meminfo: memFree=1477816/2055920 swapFree=4180384/4192956
[pid=2322] ppid=2320 vsize=5356 CPUtime=0.14
/proc/2322/stat : 2322 (SatELiteGTI) S 2320 2322 1691 0 -1 4194304 336 1329 0 0 0 0 13 1 16 0 1 0 306662191 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237947642692 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2322/statm: 1339 239 197 169 0 50 0
[pid=2328] ppid=2322 vsize=133136 CPUtime=162.05
/proc/2328/stat : 2328 (minisat_static) R 2322 2322 1691 0 -1 4194304 33045 0 0 0 16167 38 0 0 25 0 1 0 306662207 136331264 33031 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/2328/statm: 33284 33031 77 171 0 33111 0
Current children cumulated CPU time (s) 162.19
Current children cumulated vsize (KiB) 138492
[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2328
/proc/meminfo: memFree=1448184/2055920 swapFree=4180384/4192956
[pid=2322] ppid=2320 vsize=5356 CPUtime=0.14
/proc/2322/stat : 2322 (SatELiteGTI) S 2320 2322 1691 0 -1 4194304 336 1329 0 0 0 0 13 1 16 0 1 0 306662191 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237947642692 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2322/statm: 1339 239 197 169 0 50 0
[pid=2328] ppid=2322 vsize=162448 CPUtime=222.02
/proc/2328/stat : 2328 (minisat_static) R 2322 2322 1691 0 -1 4194304 40320 0 0 0 22157 45 0 0 25 0 1 0 306662207 166346752 40306 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/2328/statm: 40612 40306 77 171 0 40439 0
Current children cumulated CPU time (s) 222.16
Current children cumulated vsize (KiB) 167804
[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2328
/proc/meminfo: memFree=1422648/2055920 swapFree=4180384/4192956
[pid=2322] ppid=2320 vsize=5356 CPUtime=0.14
/proc/2322/stat : 2322 (SatELiteGTI) S 2320 2322 1691 0 -1 4194304 336 1329 0 0 0 0 13 1 16 0 1 0 306662191 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237947642692 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2322/statm: 1339 239 197 169 0 50 0
[pid=2328] ppid=2322 vsize=188056 CPUtime=282.01
/proc/2328/stat : 2328 (minisat_static) R 2322 2322 1691 0 -1 4194304 46750 0 0 0 28147 54 0 0 25 0 1 0 306662207 192569344 46736 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/2328/statm: 47014 46736 77 171 0 46841 0
Current children cumulated CPU time (s) 282.15
Current children cumulated vsize (KiB) 193412
[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2328
/proc/meminfo: memFree=1399096/2055920 swapFree=4180384/4192956
[pid=2322] ppid=2320 vsize=5356 CPUtime=0.14
/proc/2322/stat : 2322 (SatELiteGTI) S 2320 2322 1691 0 -1 4194304 336 1329 0 0 0 0 13 1 16 0 1 0 306662191 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237947642692 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2322/statm: 1339 239 197 169 0 50 0
[pid=2328] ppid=2322 vsize=211024 CPUtime=341.98
/proc/2328/stat : 2328 (minisat_static) R 2322 2322 1691 0 -1 4194304 52526 0 0 0 34135 63 0 0 25 0 1 0 306662207 216088576 52512 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/2328/statm: 52756 52512 77 171 0 52583 0
Current children cumulated CPU time (s) 342.12
Current children cumulated vsize (KiB) 216380
[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2328
/proc/meminfo: memFree=1377976/2055920 swapFree=4180384/4192956
[pid=2322] ppid=2320 vsize=5356 CPUtime=0.14
/proc/2322/stat : 2322 (SatELiteGTI) S 2320 2322 1691 0 -1 4194304 336 1329 0 0 0 0 13 1 16 0 1 0 306662191 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237947642692 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2322/statm: 1339 239 197 169 0 50 0
[pid=2328] ppid=2322 vsize=232752 CPUtime=401.97
/proc/2328/stat : 2328 (minisat_static) R 2322 2322 1691 0 -1 4194304 57826 0 0 0 40127 70 0 0 25 0 1 0 306662207 238338048 57812 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/2328/statm: 58188 57812 77 171 0 58015 0
Current children cumulated CPU time (s) 402.11
Current children cumulated vsize (KiB) 238108
[startup+462.302 s]
################
# More data... #
################
/proc/2328/statm: 72510 72206 77 171 0 72337 0
Current children cumulated CPU time (s) 582.06
Current children cumulated vsize (KiB) 295396
[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2328
/proc/meminfo: memFree=1300536/2055920 swapFree=4180384/4192956
[pid=2322] ppid=2320 vsize=5356 CPUtime=0.14
/proc/2322/stat : 2322 (SatELiteGTI) S 2320 2322 1691 0 -1 4194304 336 1329 0 0 0 0 13 1 16 0 1 0 306662191 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237947642692 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2322/statm: 1339 239 197 169 0 50 0
[pid=2328] ppid=2322 vsize=308916 CPUtime=641.9
/proc/2328/stat : 2328 (minisat_static) R 2322 2322 1691 0 -1 4194304 76972 0 0 0 64094 96 0 0 25 0 1 0 306662207 316329984 76958 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/2328/statm: 77229 76958 77 171 0 77056 0
Current children cumulated CPU time (s) 642.04
Current children cumulated vsize (KiB) 314272
[startup+702.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2328
/proc/meminfo: memFree=1288760/2055920 swapFree=4180384/4192956
[pid=2322] ppid=2320 vsize=5356 CPUtime=0.14
/proc/2322/stat : 2322 (SatELiteGTI) S 2320 2322 1691 0 -1 4194304 336 1329 0 0 0 0 13 1 16 0 1 0 306662191 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237947642692 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2322/statm: 1339 239 197 169 0 50 0
[pid=2328] ppid=2322 vsize=320400 CPUtime=701.89
/proc/2328/stat : 2328 (minisat_static) R 2322 2322 1691 0 -1 4194304 79878 0 0 0 70088 101 0 0 25 0 1 0 306662207 328089600 79864 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/2328/statm: 80100 79864 77 171 0 79927 0
Current children cumulated CPU time (s) 702.03
Current children cumulated vsize (KiB) 325756
[startup+762.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2328
/proc/meminfo: memFree=1288696/2055920 swapFree=4180384/4192956
[pid=2322] ppid=2320 vsize=5356 CPUtime=0.14
/proc/2322/stat : 2322 (SatELiteGTI) S 2320 2322 1691 0 -1 4194304 336 1329 0 0 0 0 13 1 16 0 1 0 306662191 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237947642692 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2322/statm: 1339 239 197 169 0 50 0
[pid=2328] ppid=2322 vsize=320400 CPUtime=761.87
/proc/2328/stat : 2328 (minisat_static) R 2322 2322 1691 0 -1 4194304 79878 0 0 0 76086 101 0 0 25 0 1 0 306662207 328089600 79864 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/2328/statm: 80100 79864 77 171 0 79927 0
Current children cumulated CPU time (s) 762.01
Current children cumulated vsize (KiB) 325756
[startup+822.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2328
/proc/meminfo: memFree=1286712/2055920 swapFree=4180384/4192956
[pid=2322] ppid=2320 vsize=5356 CPUtime=0.14
/proc/2322/stat : 2322 (SatELiteGTI) S 2320 2322 1691 0 -1 4194304 336 1329 0 0 0 0 13 1 16 0 1 0 306662191 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237947642692 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2322/statm: 1339 239 197 169 0 50 0
[pid=2328] ppid=2322 vsize=322248 CPUtime=821.85
/proc/2328/stat : 2328 (minisat_static) R 2322 2322 1691 0 -1 4194304 80333 0 0 0 82083 102 0 0 25 0 1 0 306662207 329981952 80319 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/2328/statm: 80562 80319 77 171 0 80389 0
Current children cumulated CPU time (s) 821.99
Current children cumulated vsize (KiB) 327604
[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2328
/proc/meminfo: memFree=1286712/2055920 swapFree=4180384/4192956
[pid=2322] ppid=2320 vsize=5356 CPUtime=0.14
/proc/2322/stat : 2322 (SatELiteGTI) S 2320 2322 1691 0 -1 4194304 336 1329 0 0 0 0 13 1 16 0 1 0 306662191 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237947642692 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2322/statm: 1339 239 197 169 0 50 0
[pid=2328] ppid=2322 vsize=322248 CPUtime=881.83
/proc/2328/stat : 2328 (minisat_static) R 2322 2322 1691 0 -1 4194304 80333 0 0 0 88081 102 0 0 25 0 1 0 306662207 329981952 80319 1992294400 134512640 135215339 4294956240 18446744073709551615 134528804 0 0 4096 3 0 0 0 17 1 0 0
/proc/2328/statm: 80562 80319 77 171 0 80389 0
Current children cumulated CPU time (s) 881.97
Current children cumulated vsize (KiB) 327604
[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2328
/proc/meminfo: memFree=1280056/2055920 swapFree=4180384/4192956
[pid=2322] ppid=2320 vsize=5356 CPUtime=0.14
/proc/2322/stat : 2322 (SatELiteGTI) S 2320 2322 1691 0 -1 4194304 336 1329 0 0 0 0 13 1 16 0 1 0 306662191 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237947642692 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2322/statm: 1339 239 197 169 0 50 0
[pid=2328] ppid=2322 vsize=328980 CPUtime=941.82
/proc/2328/stat : 2328 (minisat_static) R 2322 2322 1691 0 -1 4194304 82001 0 0 0 94077 105 0 0 25 0 1 0 306662207 336875520 81987 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/2328/statm: 82245 81987 77 171 0 82072 0
Current children cumulated CPU time (s) 941.96
Current children cumulated vsize (KiB) 334336
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2330
/proc/meminfo: memFree=1278904/2055920 swapFree=4180384/4192956
[pid=2322] ppid=2320 vsize=5356 CPUtime=0.14
/proc/2322/stat : 2322 (SatELiteGTI) S 2320 2322 1691 0 -1 4194304 336 1329 0 0 0 0 13 1 16 0 1 0 306662191 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237947642692 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2322/statm: 1339 239 197 169 0 50 0
[pid=2328] ppid=2322 vsize=329640 CPUtime=1001.8
/proc/2328/stat : 2328 (minisat_static) R 2322 2322 1691 0 -1 4194304 82193 0 0 0 100075 105 0 0 25 0 1 0 306662207 337551360 82179 1992294400 134512640 135215339 4294956240 18446744073709551615 134528779 0 0 4096 3 0 0 0 17 1 0 0
/proc/2328/statm: 82410 82179 77 171 0 82237 0
Current children cumulated CPU time (s) 1001.94
Current children cumulated vsize (KiB) 334996
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2330
/proc/meminfo: memFree=1278520/2055920 swapFree=4180384/4192956
[pid=2322] ppid=2320 vsize=5356 CPUtime=0.14
/proc/2322/stat : 2322 (SatELiteGTI) S 2320 2322 1691 0 -1 4194304 336 1329 0 0 0 0 13 1 16 0 1 0 306662191 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237947642692 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2322/statm: 1339 239 197 169 0 50 0
[pid=2328] ppid=2322 vsize=330300 CPUtime=1061.79
/proc/2328/stat : 2328 (minisat_static) R 2322 2322 1691 0 -1 4194304 82331 0 0 0 106073 106 0 0 25 0 1 0 306662207 338227200 82317 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/2328/statm: 82575 82317 77 171 0 82402 0
Current children cumulated CPU time (s) 1061.93
Current children cumulated vsize (KiB) 335656
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2330
/proc/meminfo: memFree=1276216/2055920 swapFree=4180384/4192956
[pid=2322] ppid=2320 vsize=5356 CPUtime=0.14
/proc/2322/stat : 2322 (SatELiteGTI) S 2320 2322 1691 0 -1 4194304 336 1329 0 0 0 0 13 1 16 0 1 0 306662191 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237947642692 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2322/statm: 1339 239 197 169 0 50 0
[pid=2328] ppid=2322 vsize=332412 CPUtime=1121.77
/proc/2328/stat : 2328 (minisat_static) R 2322 2322 1691 0 -1 4194304 82862 0 0 0 112070 107 0 0 25 0 1 0 306662207 340389888 82848 1992294400 134512640 135215339 4294956240 18446744073709551615 134528721 0 0 4096 3 0 0 0 17 1 0 0
/proc/2328/statm: 83103 82848 77 171 0 82930 0
Current children cumulated CPU time (s) 1121.91
Current children cumulated vsize (KiB) 337768
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2330
/proc/meminfo: memFree=1276088/2055920 swapFree=4180384/4192956
[pid=2322] ppid=2320 vsize=5356 CPUtime=0.14
/proc/2322/stat : 2322 (SatELiteGTI) S 2320 2322 1691 0 -1 4194304 336 1329 0 0 0 0 13 1 16 0 1 0 306662191 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237947642692 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2322/statm: 1339 239 197 169 0 50 0
[pid=2328] ppid=2322 vsize=332412 CPUtime=1181.76
/proc/2328/stat : 2328 (minisat_static) R 2322 2322 1691 0 -1 4194304 82862 0 0 0 118069 107 0 0 25 0 1 0 306662207 340389888 82848 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/2328/statm: 83103 82848 77 171 0 82930 0
Current children cumulated CPU time (s) 1181.9
Current children cumulated vsize (KiB) 337768
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2330
/proc/meminfo: memFree=1272824/2055920 swapFree=4180384/4192956
[pid=2322] ppid=2320 vsize=5356 CPUtime=0.14
/proc/2322/stat : 2322 (SatELiteGTI) S 2320 2322 1691 0 -1 4194304 336 1329 0 0 0 0 13 1 16 0 1 0 306662191 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237947642692 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2322/statm: 1339 239 197 169 0 50 0
[pid=2328] ppid=2322 vsize=335580 CPUtime=1199.96
/proc/2328/stat : 2328 (minisat_static) R 2322 2322 1691 0 -1 4194304 83674 0 0 0 119888 108 0 0 25 0 1 0 306662207 343633920 83660 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/2328/statm: 83895 83660 77 171 0 83722 0
Current children cumulated CPU time (s) 1200.1
Current children cumulated vsize (KiB) 340936
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: 1.00 1.00 1.00 2/66 2330
/proc/meminfo: memFree=1272824/2055920 swapFree=4180384/4192956
[pid=2322] ppid=2320 vsize=5356 CPUtime=0.14
/proc/2322/stat : 2322 (SatELiteGTI) S 2320 2322 1691 0 -1 4194304 336 1329 0 0 0 0 13 1 16 0 1 0 306662191 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237947642692 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2322/statm: 1339 239 197 169 0 50 0
[pid=2328] ppid=2322 vsize=335580 CPUtime=1199.96
/proc/2328/stat : 2328 (minisat_static) R 2322 2322 1691 0 -1 4194304 83674 0 0 0 119888 108 0 0 25 0 1 0 306662207 343633920 83660 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/2328/statm: 83895 83660 77 171 0 83722 0
Current children cumulated CPU time (s) 1200.1
Current children cumulated vsize (KiB) 340936
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 2322 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=137979
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=17997
# CPU time returned by wait4() is 0.155976
# while last known CPU time is 1200.1
#
# 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.1
CPU user time (s): 1199.01
CPU system time (s): 1.09
CPU usage (%): 99.9655
Max. virtual memory (cumulated for all children) (KiB): 340936
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.137979
system time used= 0.017997
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1665
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= 13
involuntary context switches= 5
runsolver used 1.41179 second user time and 3.07053 second system time
The end
Begin job on node69 at 2009-05-20 04:26:01
IDJOB=1832693
IDBENCH=70310
IDSOLVER=671
FILE ID=node69/1832693-1242786361
PBS_JOBID= 9322368
Free space on /tmp= 66140 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/RANDOM/LARGE/3SAT/UNKNOWN/8000/unif-k3-r4.2-v8000-c33600-S1741784682-076.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832693-1242786361/watcher-1832693-1242786361 -o /tmp/evaluation-result-1832693-1242786361/solver-1832693-1242786361 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832693-1242786361.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 355ff7ae526b221bc4c8d8e4e0eadc31
RANDOM SEED=1728548118
node69.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.231
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.231
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: 1611432 kB
Buffers: 26244 kB
Cached: 365596 kB
SwapCached: 6844 kB
Active: 70564 kB
Inactive: 330176 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1611432 kB
SwapTotal: 4192956 kB
SwapFree: 4180384 kB
Dirty: 2188 kB
Writeback: 0 kB
Mapped: 14080 kB
Slab: 29764 kB
Committed_AS: 938604 kB
PageTables: 1468 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= 66136 MiB
End job on node69 at 2009-05-20 04:46:04