0.00/0.00 c Parsing...
0.00/0.04 c ==============================================================================
0.00/0.04 c | | ORIGINAL | LEARNT | |
0.00/0.04 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.04 c ==============================================================================
0.00/0.04 c | 0 | 33600 100800 | 10079 0 0 nan | 0.000 % |
0.00/0.11 c | 0 | 33371 101375 | -- 0 -- -- | -- | -229/575
0.00/0.11 c ==============================================================================
0.00/0.11 c Result : #vars: 7800 #clauses: 33371 #literals: 101375
0.00/0.11 c CPU time: 0.104984 s
0.00/0.11 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: 7800 |
0.00/0.15 c | Number of clauses: 33371 |
0.00/0.17 c | Parsing time: 0.02 s |
0.00/0.17 c ============================[ Search Statistics ]==============================
0.00/0.17 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.00/0.17 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.00/0.17 c ===============================================================================
0.00/0.17 c | 0 | 7800 33371 101375 | 11123 0 nan | 0.000 % |
0.14/0.20 c | 104 | 7800 33371 101375 | 11123 104 104 | 0.000 % |
0.14/0.23 c | 206 | 7800 33371 101375 | 11123 206 127 | 0.000 % |
0.14/0.25 c | 307 | 7800 33371 101375 | 11123 307 128 | 0.000 % |
0.14/0.27 c | 417 | 7800 33371 101375 | 11123 417 128 | 0.000 % |
0.14/0.30 c | 518 | 7800 33371 101375 | 11123 518 127 | 0.000 % |
0.14/0.32 c | 628 | 7800 33371 101375 | 11123 628 132 | 0.000 % |
0.14/0.35 c | 750 | 7800 33371 101375 | 11123 750 135 | 0.000 % |
0.14/0.37 c | 851 | 7800 33371 101375 | 11123 851 137 | 0.000 % |
0.14/0.40 c | 961 | 7800 33371 101375 | 11123 961 136 | 0.000 % |
0.14/0.43 c | 1084 | 7800 33371 101375 | 11123 1084 134 | 0.000 % |
0.14/0.46 c | 1217 | 7800 33371 101375 | 11123 1217 132 | 0.000 % |
0.14/0.48 c | 1319 | 7800 33371 101375 | 11123 1319 130 | 0.000 % |
0.14/0.51 c | 1429 | 7800 33371 101375 | 11123 1429 130 | 0.000 % |
0.14/0.54 c | 1552 | 7800 33371 101375 | 11123 1552 130 | 0.000 % |
0.14/0.57 c | 1690 | 7800 33371 101375 | 11123 1690 131 | 0.000 % |
0.14/0.61 c | 1836 | 7800 33371 101375 | 11123 1836 130 | 0.000 % |
0.14/0.63 c | 1936 | 7800 33371 101375 | 11123 1936 129 | 0.000 % |
0.14/0.66 c | 2049 | 7800 33371 101375 | 11123 2049 130 | 0.000 % |
0.14/0.69 c | 2170 | 7800 33371 101375 | 11123 2170 130 | 0.000 % |
0.14/0.73 c | 2304 | 7800 33371 101375 | 11123 2304 133 | 0.000 % |
0.14/0.76 c | 2450 | 7800 33371 101375 | 11123 2450 132 | 0.000 % |
0.14/0.80 c | 2613 | 7800 33371 101375 | 11123 2613 132 | 0.000 % |
0.14/0.83 c | 2713 | 7800 33371 101375 | 11123 2713 131 | 0.000 % |
0.14/0.86 c | 2824 | 7800 33371 101375 | 11123 2824 133 | 0.000 % |
0.14/0.89 c | 2945 | 7800 33371 101375 | 11123 2945 133 | 0.000 % |
0.14/0.92 c | 3078 | 7800 33371 101375 | 11123 3078 133 | 0.000 % |
0.14/0.96 c | 3226 | 7800 33371 101375 | 11123 3226 133 | 0.000 % |
0.14/1.00 c | 3386 | 7800 33371 101375 | 11123 3386 132 | 0.000 % |
0.98/1.05 c | 3562 | 7800 33371 101375 | 11123 3562 133 | 0.000 % |
0.98/1.08 c | 3662 | 7800 33371 101375 | 11123 3662 132 | 0.000 % |
1.07/1.11 c | 3773 | 7800 33371 101375 | 11123 3773 132 | 0.000 % |
1.07/1.14 c | 3895 | 7800 33371 101375 | 11123 3895 132 | 0.000 % |
1.07/1.18 c | 4028 | 7800 33371 101375 | 11123 4028 132 | 0.000 % |
1.17/1.22 c | 4176 | 7800 33371 101375 | 11123 4176 133 | 0.000 % |
1.17/1.26 c | 4336 | 7800 33371 101375 | 11123 4336 134 | 0.000 % |
1.27/1.31 c | 4513 | 7800 33371 101375 | 11123 4513 135 | 0.000 % |
1.27/1.36 c | 4706 | 7800 33371 101375 | 11123 4706 136 | 0.000 % |
1.27/1.38 c | 4806 | 7800 33371 101375 | 11123 4806 135 | 0.000 % |
1.37/1.41 c | 4916 | 7800 33371 101375 | 11123 4916 136 | 0.000 % |
1.37/1.45 c | 5037 | 7800 33371 101375 | 11123 5037 136 | 0.000 % |
1.37/1.49 c | 5172 | 7800 33371 101375 | 11123 5172 135 | 0.000 % |
1.47/1.53 c | 5319 | 7800 33371 101375 | 11123 5319 136 | 0.000 % |
1.47/1.57 c | 5479 | 7800 33371 101375 | 11123 5479 135 | 0.000 % |
1.57/1.63 c | 5657 | 7800 33371 101375 | 11123 5657 135 | 0.000 % |
1.57/1.68 c | 5854 | 7800 33371 101375 | 11123 5854 136 | 0.000 % |
1.67/1.74 c | 6067 | 7800 33371 101375 | 11123 6067 136 | 0.000 % |
1.67/1.77 c | 6168 | 7800 33371 101375 | 11123 6168 136 | 0.000 % |
1.77/1.81 c | 6279 | 7800 33371 101375 | 11123 6279 137 | 0.000 % |
1.77/1.85 c | 6400 | 7800 33371 101375 | 11123 6400 139 | 0.000 % |
1.77/1.89 c | 6533 | 7800 33371 101375 | 11123 6533 138 | 0.000 % |
1.87/1.93 c | 6680 | 7800 33371 101375 | 11123 6680 139 | 0.000 % |
1.87/1.98 c | 6843 | 7800 33371 101375 | 11123 6843 138 | 0.000 % |
1.97/2.03 c | 7019 | 7800 33371 101375 | 11123 7019 138 | 0.000 % |
1.97/2.09 c | 7214 | 7800 33371 101375 | 11123 7214 138 | 0.000 % |
2.08/2.16 c | 7426 | 7800 33371 101375 | 11123 7426 138 | 0.000 % |
2.18/2.23 c | 7663 | 7800 33371 101375 | 11123 7663 138 | 0.000 % |
2.18/2.25 c | 7764 | 7800 33371 101375 | 11123 7764 138 | 0.000 % |
2.18/2.29 c | 7877 | 7800 33371 101375 | 11123 7877 138 | 0.000 % |
2.27/2.33 c | 8000 | 7800 33371 101375 | 11123 8000 138 | 0.000 % |
2.27/2.37 c | 8137 | 7800 33371 101375 | 11123 8137 138 | 0.000 % |
2.37/2.41 c | 8284 | 7800 33371 101375 | 11123 8284 137 | 0.000 % |
2.37/2.46 c | 8446 | 7800 33371 101375 | 11123 8446 138 | 0.000 % |
2.47/2.52 c | 8624 | 7800 33371 101375 | 11123 8624 138 | 0.000 % |
2.47/2.58 c | 8818 | 7800 33371 101375 | 11123 8818 138 | 0.000 % |
2.57/2.65 c | 9030 | 7800 33371 101375 | 11123 9030 138 | 0.000 % |
2.67/2.72 c | 9263 | 7800 33371 101375 | 11123 9263 138 | 0.000 % |
2.77/2.80 c | 9519 | 7800 33371 101375 | 11123 9519 138 | 0.000 % |
2.77/2.83 c | 9619 | 7800 33371 101375 | 11123 9619 138 | 0.000 % |
2.77/2.86 c | 9731 | 7800 33371 101375 | 11123 9731 138 | 0.000 % |
2.86/2.90 c | 9852 | 7800 33371 101375 | 11123 9852 138 | 0.000 % |
2.86/2.95 c | 9985 | 7800 33371 101375 | 11123 9985 138 | 0.000 % |
2.86/2.99 c | 10132 | 7800 33371 101375 | 2147483647 10132 138 | 0.000 % |
2.97/3.04 c | 10293 | 7800 33371 101375 | 2147483647 10293 138 | 0.000 % |
2.97/3.10 c | 10469 | 7800 33371 101375 | 2147483647 10469 137 | 0.000 % |
3.07/3.15 c | 10662 | 7800 33371 101375 | 2147483647 10662 137 | 0.000 % |
3.17/3.22 c | 10875 | 7800 33371 101375 | 2147483647 10875 137 | 0.000 % |
3.17/3.30 c | 11109 | 7800 33371 101375 | 2147483647 11109 137 | 0.000 % |
3.27/3.38 c | 11366 | 7800 33371 101375 | 2147483647 11366 138 | 0.000 % |
3.37/3.47 c | 11648 | 7800 33371 101375 | 2147483647 11648 138 | 0.000 % |
3.47/3.50 c | 11748 | 7800 33371 101375 | 2147483647 11748 138 | 0.000 % |
3.47/3.53 c | 11858 | 7800 33371 101375 | 2147483647 11858 138 | 0.000 % |
3.47/3.57 c | 11979 | 7800 33371 101375 | 2147483647 11979 138 | 0.000 % |
3.57/3.62 c | 12112 | 7800 33371 101375 | 2147483647 12112 138 | 0.000 % |
3.57/3.67 c | 12258 | 7800 33371 101375 | 2147483647 12258 138 | 0.000 % |
3.67/3.72 c | 12418 | 7800 33371 101375 | 2147483647 12418 138 | 0.000 % |
3.67/3.78 c | 12595 | 7800 33371 101375 | 2147483647 12595 137 | 0.000 % |
3.77/3.84 c | 12789 | 7800 33371 101375 | 2147483647 12789 137 | 0.000 % |
3.86/3.91 c | 13002 | 7800 33371 101375 | 2147483647 13002 138 | 0.000 % |
3.86/3.98 c | 13235 | 7800 33371 101375 | 2147483647 13235 138 | 0.000 % |
3.96/4.06 c | 13494 | 7800 33371 101375 | 2147483647 13494 138 | 0.000 % |
4.06/4.16 c | 13775 | 7800 33371 101375 | 2147483647 13775 138 | 0.000 % |
4.16/4.26 c | 14084 | 7800 33371 101375 | 2147483647 14084 139 | 0.000 % |
4.27/4.30 c | 14184 | 7800 33371 101375 | 2147483647 14184 139 | 0.000 % |
4.27/4.34 c | 14294 | 7800 33371 101375 | 2147483647 14294 139 | 0.000 % |
4.27/4.39 c | 14415 | 7800 33371 101375 | 2147483647 14415 139 | 0.000 % |
4.37/4.43 c | 14549 | 7800 33371 101375 | 2147483647 14549 139 | 0.000 % |
4.37/4.49 c | 14697 | 7800 33371 101375 | 2147483647 14697 139 | 0.000 % |
4.46/4.55 c | 14857 | 7800 33371 101375 | 2147483647 14857 139 | 0.000 % |
4.56/4.61 c | 15033 | 7800 33371 101375 | 2147483647 15033 139 | 0.000 % |
4.56/4.68 c | 15227 | 7800 33371 101375 | 2147483647 15227 139 | 0.000 % |
4.66/4.75 c | 15439 | 7800 33371 101375 | 2147483647 15439 138 | 0.000 % |
4.76/4.84 c | 15673 | 7800 33371 101375 | 2147483647 15673 138 | 0.000 % |
4.86/4.93 c | 15929 | 7800 33371 101375 | 2147483647 15929 139 | 0.000 % |
4.97/5.02 c | 16210 | 7800 33371 101375 | 2147483647 16210 139 | 0.000 % |
5.07/5.12 c | 16519 | 7800 33371 101375 | 2147483647 16519 139 | 0.000 % |
5.17/5.23 c | 16858 | 7800 33371 101375 | 2147483647 16858 139 | 0.000 % |
5.17/5.27 c | 16962 | 7800 33371 101375 | 2147483647 16962 139 | 0.000 % |
5.27/5.31 c | 17074 | 7800 33371 101375 | 2147483647 17074 139 | 0.000 % |
5.27/5.36 c | 17196 | 7800 33371 101375 | 2147483647 17196 139 | 0.000 % |
5.37/5.41 c | 17331 | 7800 33371 101375 | 2147483647 17331 139 | 0.000 % |
5.37/5.47 c | 17478 | 7800 33371 101375 | 2147483647 17478 139 | 0.000 % |
5.47/5.52 c | 17639 | 7800 33371 101375 | 2147483647 17639 139 | 0.000 % |
5.47/5.59 c | 17816 | 7800 33371 101375 | 2147483647 17816 139 | 0.000 % |
5.56/5.66 c | 18010 | 7800 33371 101375 | 2147483647 18010 138 | 0.000 % |
5.66/5.74 c | 18224 | 7800 33371 101375 | 2147483647 18224 138 | 0.000 % |
5.76/5.83 c | 18458 | 7800 33371 101375 | 2147483647 18458 138 | 0.000 % |
5.86/5.93 c | 18715 | 7800 33371 101375 | 2147483647 18715 138 | 0.000 % |
5.96/6.04 c | 18997 | 7800 33371 101375 | 2147483647 18997 138 | 0.000 % |
6.06/6.16 c | 19308 | 7800 33371 101375 | 2147483647 19308 138 | 0.000 % |
6.26/6.30 c | 19647 | 7800 33371 101375 | 2147483647 19647 138 | 0.000 % |
6.36/6.44 c | 20020 | 7800 33371 101375 | 2147483647 20020 138 | 0.000 % |
6.36/6.49 c | 20120 | 7800 33371 101375 | 2147483647 20120 138 | 0.000 % |
6.46/6.53 c | 20230 | 7800 33371 101375 | 2147483647 20230 138 | 0.000 % |
6.46/6.58 c | 20352 | 7800 33371 101375 | 2147483647 20352 138 | 0.000 % |
6.56/6.63 c | 20485 | 7800 33371 101375 | 2147483647 20485 138 | 0.000 % |
6.56/6.69 c | 20633 | 7800 33371 101375 | 2147483647 20633 138 | 0.000 % |
6.66/6.75 c | 20796 | 7800 33371 101375 | 2147483647 20796 138 | 0.000 % |
6.76/6.81 c | 20972 | 7800 33371 101375 | 2147483647 20972 138 | 0.000 % |
6.76/6.90 c | 21166 | 7800 33371 101375 | 2147483647 21166 138 | 0.000 % |
6.86/6.98 c | 21378 | 7800 33371 101375 | 2147483647 21378 138 | 0.000 % |
6.96/7.07 c | 21612 | 7800 33371 101375 | 2147483647 21612 138 | 0.000 % |
7.06/7.17 c | 21872 | 7800 33371 101375 | 2147483647 21872 138 | 0.000 % |
7.16/7.28 c | 22156 | 7800 33371 101375 | 2147483647 22156 138 | 0.000 % |
7.36/7.40 c | 22465 | 7800 33371 101375 | 2147483647 22465 139 | 0.000 % |
7.46/7.53 c | 22805 | 7800 33371 101375 | 2147483647 22805 139 | 0.000 % |
7.56/7.67 c | 23177 | 7800 33371 101375 | 2147483647 23177 140 | 0.000 % |
7.76/7.84 c | 23586 | 7800 33371 101375 | 2147483647 23586 140 | 0.000 % |
7.76/7.88 c | 23686 | 7800 33371 101375 | 2147483647 23686 140 | 0.000 % |
7.86/7.93 c | 23798 | 7800 33371 101375 | 2147483647 23798 140 | 0.000 % |
7.86/7.98 c | 23920 | 7800 33371 101375 | 2147483647 23920 140 | 0.000 % |
7.96/8.03 c | 24053 | 7800 33371 101375 | 2147483647 24053 140 | 0.000 % |
8.06/8.10 c | 24201 | 7800 33371 101375 | 2147483647 24201 140 | 0.000 % |
8.06/8.17 c | 24361 | 7800 33371 101375 | 2147483647 24361 140 | 0.000 % |
8.16/8.23 c | 24537 | 7800 33371 101375 | 2147483647 24537 140 | 0.000 % |
8.26/8.32 c | 24732 | 7800 33371 101375 | 2147483647 24732 140 | 0.000 % |
8.35/8.42 c | 24944 | 7800 33371 101375 | 2147483647 24944 140 | 0.000 % |
8.45/8.51 c | 25177 | 7800 33371 101375 | 2147483647 25177 140 | 0.000 % |
8.55/8.63 c | 25434 | 7800 33371 101375 | 2147483647 25434 140 | 0.000 % |
8.66/8.74 c | 25716 | 7800 33371 101375 | 2147483647 25716 140 | 0.000 % |
8.76/8.87 c | 26026 | 7800 33371 101375 | 2147483647 26026 141 | 0.000 % |
8.95/9.01 c | 26366 | 7800 33371 101375 | 2147483647 26366 141 | 0.000 % |
9.05/9.17 c | 26738 | 7800 33371 101375 | 2147483647 26738 141 | 0.000 % |
9.26/9.36 c | 27148 | 7800 33371 101375 | 2147483647 27148 141 | 0.000 % |
9.46/9.55 c | 27600 | 7800 33371 101375 | 2147483647 27600 142 | 0.000 % |
9.46/9.59 c | 27700 | 7800 33371 101375 | 2147483647 27700 142 | 0.000 % |
9.56/9.64 c | 27810 | 7800 33371 101375 | 2147483647 27810 142 | 0.000 % |
9.66/9.70 c | 27931 | 7800 33371 101375 | 2147483647 27931 142 | 0.000 % |
9.66/9.76 c | 28064 | 7800 33371 101375 | 2147483647 28064 142 | 0.000 % |
9.76/9.83 c | 28212 | 7800 33371 101375 | 2147483647 28212 141 | 0.000 % |
9.86/9.90 c | 28373 | 7800 33371 101375 | 2147483647 28373 141 | 0.000 % |
9.86/9.98 c | 28549 | 7800 33371 101375 | 2147483647 28549 141 | 0.000 % |
9.96/10.07 c | 28743 | 7800 33371 101375 | 2147483647 28743 141 | 0.000 % |
10.05/10.16 c | 28957 | 7800 33371 101375 | 2147483647 28957 141 | 0.000 % |
10.15/10.26 c | 29190 | 7800 33371 101375 | 2147483647 29190 141 | 0.000 % |
10.25/10.38 c | 29448 | 7800 33371 101375 | 2147483647 29448 141 | 0.000 % |
10.45/10.50 c | 29731 | 7800 33371 101375 | 2147483647 29731 142 | 0.000 % |
10.55/10.64 c | 30042 | 7800 33371 101375 | 2147483647 30042 142 | 0.000 % |
10.65/10.80 c | 30381 | 7800 33371 101375 | 2147483647 30381 142 | 0.000 % |
10.86/10.97 c | 30753 | 7800 33371 101375 | 2147483647 30753 142 | 0.000 % |
11.05/11.15 c | 31164 | 7800 33371 101375 | 2147483647 31164 142 | 0.000 % |
11.25/11.36 c | 31614 | 7800 33371 101375 | 2147483647 31614 142 | 0.000 % |
11.45/11.58 c | 32111 | 7800 33371 101375 | 2147483647 32111 143 | 0.000 % |
11.55/11.63 c | 32211 | 7800 33371 101375 | 2147483647 32211 143 | 0.000 % |
11.55/11.69 c | 32322 | 7800 33371 101375 | 2147483647 32322 142 | 0.000 % |
11.65/11.75 c | 32444 | 7800 33371 101375 | 2147483647 32444 142 | 0.000 % |
11.76/11.80 c | 32578 | 7800 33371 101375 | 2147483647 32578 142 | 0.000 % |
11.76/11.88 c | 32724 | 7800 33371 101375 | 2147483647 32724 142 | 0.000 % |
11.86/11.95 c | 32884 | 7800 33371 101375 | 2147483647 32884 142 | 0.000 % |
11.96/12.03 c | 33062 | 7800 33371 101375 | 2147483647 33062 142 | 0.000 % |
12.06/12.13 c | 33257 | 7800 33371 101375 | 2147483647 33257 142 | 0.000 % |
12.16/12.23 c | 33469 | 7800 33371 101375 | 2147483647 33469 142 | 0.000 % |
12.26/12.33 c | 33702 | 7800 33371 101375 | 2147483647 33702 142 | 0.000 % |
12.36/12.44 c | 33958 | 7800 33371 101375 | 2147483647 33958 142 | 0.000 % |
12.46/12.58 c | 34239 | 7800 33371 101375 | 2147483647 34239 143 | 0.000 % |
12.66/12.73 c | 34549 | 7800 33371 101375 | 2147483647 34549 143 | 0.000 % |
12.75/12.89 c | 34888 | 7800 33371 101375 | 2147483647 34888 143 | 0.000 % |
12.95/13.07 c | 35263 | 7800 33371 101375 | 2147483647 35263 143 | 0.000 % |
13.16/13.27 c | 35673 | 7800 33371 101375 | 2147483647 35673 143 | 0.000 % |
13.45/13.52 c | 36124 | 7800 33371 101375 | 2147483647 36124 144 | 0.000 % |
13.65/13.77 c | 36618 | 7800 33371 101375 | 2147483647 36618 144 | 0.000 % |
13.95/14.01 c | 37161 | 7800 33371 101375 | 2147483647 37161 144 | 0.000 % |
13.95/14.07 c | 37261 | 7800 33371 101375 | 2147483647 37261 144 | 0.000 % |
14.05/14.12 c | 37371 | 7800 33371 101375 | 2147483647 37371 144 | 0.000 % |
14.05/14.18 c | 37492 | 7800 33371 101375 | 2147483647 37492 144 | 0.000 % |
14.16/14.25 c | 37625 | 7800 33371 101375 | 2147483647 37625 144 | 0.000 % |
14.26/14.33 c | 37771 | 7800 33371 101375 | 2147483647 37771 143 | 0.000 % |
14.35/14.42 c | 37932 | 7800 33371 101375 | 2147483647 37932 143 | 0.000 % |
14.45/14.50 c | 38109 | 7800 33371 101375 | 2147483647 38109 143 | 0.000 % |
14.55/14.60 c | 38304 | 7800 33371 101375 | 2147483647 38304 143 | 0.000 % |
14.65/14.70 c | 38517 | 7800 33371 101375 | 2147483647 38517 143 | 0.000 % |
14.75/14.83 c | 38752 | 7800 33371 101375 | 2147483647 38752 143 | 0.000 % |
14.85/14.96 c | 39009 | 7800 33371 101375 | 2147483647 39009 143 | 0.000 % |
15.05/15.11 c | 39290 | 7800 33371 101375 | 2147483647 39290 143 | 0.000 % |
15.15/15.28 c | 39600 | 7800 33371 101375 | 2147483647 39600 144 | 0.000 % |
15.35/15.44 c | 39939 | 7800 33371 101375 | 2147483647 39939 144 | 0.000 % |
15.55/15.62 c | 40311 | 7800 33371 101375 | 2147483647 40311 144 | 0.000 % |
15.75/15.84 c | 40720 | 7800 33371 101375 | 2147483647 40720 144 | 0.000 % |
15.95/16.06 c | 41172 | 7800 33371 101375 | 2147483647 41172 144 | 0.000 % |
16.25/16.32 c | 41665 | 7800 33371 101375 | 2147483647 41665 145 | 0.000 % |
16.45/16.59 c | 42208 | 7800 33371 101375 | 2147483647 42208 145 | 0.000 % |
16.75/16.90 c | 42804 | 7800 33371 101375 | 2147483647 42804 145 | 0.000 % |
16.85/16.95 c | 42904 | 7800 33371 101375 | 2147483647 42904 145 | 0.000 % |
16.95/17.01 c | 43014 | 7800 33371 101375 | 2147483647 43014 145 | 0.000 % |
16.95/17.08 c | 43135 | 7800 33371 101375 | 2147483647 43135 145 | 0.000 % |
17.05/17.15 c | 43268 | 7800 33371 101375 | 2147483647 43268 145 | 0.000 % |
17.15/17.22 c | 43414 | 7800 33371 101375 | 2147483647 43414 145 | 0.000 % |
17.25/17.31 c | 43575 | 7800 33371 101375 | 2147483647 43575 145 | 0.000 % |
17.35/17.41 c | 43752 | 7800 33371 101375 | 2147483647 43752 145 | 0.000 % |
17.46/17.52 c | 43946 | 7800 33371 101375 | 2147483647 43946 145 | 0.000 % |
17.56/17.64 c | 44160 | 7800 33371 101375 | 2147483647 44160 145 | 0.000 % |
17.65/17.76 c | 44395 | 7800 33371 101375 | 2147483647 44395 145 | 0.000 % |
17.75/17.89 c | 44652 | 7800 33371 101375 | 2147483647 44652 145 | 0.000 % |
17.95/18.04 c | 44933 | 7800 33371 101375 | 2147483647 44933 146 | 0.000 % |
18.05/18.19 c | 45242 | 7800 33371 101375 | 2147483647 45242 146 | 0.000 % |
18.25/18.36 c | 45581 | 7800 33371 101375 | 2147483647 45581 146 | 0.000 % |
18.45/18.57 c | 45953 | 7800 33371 101375 | 2147483647 45953 146 | 0.000 % |
18.65/18.78 c | 46363 | 7800 33371 101375 | 2147483647 46363 146 | 0.000 % |
18.95/19.02 c | 46813 | 7800 33371 101375 | 2147483647 46813 146 | 0.000 % |
19.15/19.28 c | 47307 | 7800 33371 101375 | 2147483647 47307 146 | 0.000 % |
19.45/19.57 c | 47849 | 7800 33371 101375 | 2147483647 47849 146 | 0.000 % |
19.84/19.91 c | 48446 | 7800 33371 101375 | 2147483647 48446 147 | 0.000 % |
20.15/20.25 c | 49101 | 7800 33371 101375 | 2147483647 49101 147 | 0.000 % |
20.25/20.30 c | 49201 | 7800 33371 101375 | 2147483647 49201 147 | 0.000 % |
20.25/20.37 c | 49311 | 7800 33371 101375 | 2147483647 49311 147 | 0.000 % |
20.35/20.44 c | 49432 | 7800 33371 101375 | 2147483647 49432 147 | 0.000 % |
20.45/20.52 c | 49566 | 7800 33371 101375 | 2147483647 49566 147 | 0.000 % |
20.55/20.61 c | 49714 | 7800 33371 101375 | 2147483647 49714 147 | 0.000 % |
20.65/20.72 c | 49874 | 7800 33371 101375 | 2147483647 49874 147 | 0.000 % |
20.75/20.82 c | 50050 | 7800 33371 101375 | 2147483647 50050 147 | 0.000 % |
20.85/20.93 c | 50245 | 7800 33371 101375 | 2147483647 50245 147 | 0.000 % |
20.95/21.06 c | 50458 | 7800 33371 101375 | 2147483647 50458 147 | 0.000 % |
21.15/21.20 c | 50691 | 7800 33371 101375 | 2147483647 50691 147 | 0.000 % |
21.25/21.34 c | 50952 | 7800 33371 101375 | 2147483647 50952 147 | 0.000 % |
21.45/21.50 c | 51235 | 7800 33371 101375 | 2147483647 51235 147 | 0.000 % |
21.55/21.69 c | 51544 | 7800 33371 101375 | 2147483647 51544 148 | 0.000 % |
21.75/21.88 c | 51884 | 7800 33371 101375 | 2147483647 51884 148 | 0.000 % |
22.05/22.10 c | 52259 | 7800 33371 101375 | 2147483647 52259 148 | 0.000 % |
22.25/22.33 c | 52668 | 7800 33371 101375 | 2147483647 52668 148 | 0.000 % |
22.45/22.58 c | 53117 | 7800 33371 101375 | 2147483647 53117 148 | 0.000 % |
22.75/22.87 c | 53610 | 7800 33371 101375 | 2147483647 53610 148 | 0.000 % |
23.05/23.17 c | 54152 | 7800 33371 101375 | 2147483647 54152 149 | 0.000 % |
23.44/23.51 c | 54749 | 7800 33371 101375 | 2147483647 54749 149 | 0.000 % |
23.74/23.87 c | 55404 | 7800 33371 101375 | 2147483647 55404 149 | 0.000 % |
24.25/24.32 c | 56127 | 7800 33371 101375 | 2147483647 56127 149 | 0.000 % |
24.25/24.39 c | 56229 | 7800 33371 101375 | 2147483647 56229 149 | 0.000 % |
24.35/24.46 c | 56339 | 7800 33371 101375 | 2147483647 56339 149 | 0.000 % |
24.45/24.54 c | 56460 | 7800 33371 101375 | 2147483647 56460 149 | 0.000 % |
24.55/24.62 c | 56593 | 7800 33371 101375 | 2147483647 56593 149 | 0.000 % |
24.65/24.73 c | 56739 | 7800 33371 101375 | 2147483647 56739 149 | 0.000 % |
24.75/24.84 c | 56900 | 7800 33371 101375 | 2147483647 56900 149 | 0.000 % |
24.85/24.94 c | 57077 | 7800 33371 101375 | 2147483647 57077 149 | 0.000 % |
24.95/25.06 c | 57270 | 7800 33371 101375 | 2147483647 57270 149 | 0.000 % |
25.05/25.19 c | 57483 | 7800 33371 101375 | 2147483647 57483 149 | 0.000 % |
25.25/25.34 c | 57718 | 7800 33371 101375 | 2147483647 57718 149 | 0.000 % |
25.44/25.50 c | 57974 | 7800 33371 101375 | 2147483647 57974 149 | 0.000 % |
25.54/25.68 c | 58255 | 7800 33371 101375 | 2147483647 58255 149 | 0.000 % |
25.74/25.85 c | 58570 | 7800 33371 101375 | 2147483647 58570 149 | 0.000 % |
25.94/26.06 c | 58909 | 7800 33371 101375 | 2147483647 58909 149 | 0.000 % |
26.14/26.30 c | 59281 | 7800 33371 101375 | 2147483647 59281 149 | 0.000 % |
26.44/26.57 c | 59690 | 7800 33371 101375 | 2147483647 59690 149 | 0.000 % |
26.74/26.84 c | 60139 | 7800 33371 101375 | 2147483647 60139 149 | 0.000 % |
27.04/27.15 c | 60633 | 7800 33371 101375 | 2147483647 60633 149 | 0.000 % |
27.34/27.47 c | 61175 | 7800 33371 101375 | 2147483647 61175 149 | 0.000 % |
27.74/27.82 c | 61771 | 7800 33371 101375 | 2147483647 61771 149 | 0.000 % |
28.14/28.20 c | 62426 | 7800 33371 101375 | 2147483647 62426 150 | 0.000 % |
28.55/28.60 c | 63146 | 7800 33371 101375 | 2147483647 63146 150 | 0.000 % |
28.94/29.08 c | 63938 | 7800 33371 101375 | 2147483647 63938 150 | 0.000 % |
29.04/29.14 c | 64039 | 7800 33371 101375 | 2147483647 64039 150 | 0.000 % |
29.14/29.24 c | 64150 | 7800 33371 101375 | 2147483647 64150 150 | 0.000 % |
29.24/29.33 c | 64274 | 7800 33371 101375 | 2147483647 64274 150 | 0.000 % |
29.34/29.42 c | 64408 | 7800 33371 101375 | 2147483647 64408 150 | 0.000 % |
29.44/29.53 c | 64555 | 7800 33371 101375 | 2147483647 64555 150 | 0.000 % |
29.55/29.64 c | 64717 | 7800 33371 101375 | 2147483647 64717 150 | 0.000 % |
29.65/29.76 c | 64893 | 7800 33371 101375 | 2147483647 64893 150 | 0.000 % |
29.74/29.89 c | 65087 | 7800 33371 101375 | 2147483647 65087 150 | 0.000 % |
29.94/30.04 c | 65300 | 7800 33371 101375 | 2147483647 65300 149 | 0.000 % |
30.04/30.19 c | 65534 | 7800 33371 101375 | 2147483647 65534 149 | 0.000 % |
30.24/30.36 c | 65790 | 7800 33371 101375 | 2147483647 65790 149 | 0.000 % |
30.44/30.55 c | 66071 | 7800 33371 101375 | 2147483647 66071 149 | 0.000 % |
30.64/30.75 c | 66380 | 7800 33371 101375 | 2147483647 66380 149 | 0.000 % |
30.94/31.01 c | 66721 | 7800 33371 101375 | 2147483647 66721 149 | 0.000 % |
31.14/31.26 c | 67094 | 7800 33371 101375 | 2147483647 67094 149 | 0.000 % |
31.44/31.54 c | 67503 | 7800 33371 101375 | 2147483647 67503 149 | 0.000 % |
31.74/31.85 c | 67954 | 7800 33371 101375 | 2147483647 67954 149 | 0.000 % |
32.04/32.19 c | 68447 | 7800 33371 101375 | 2147483647 68447 150 | 0.000 % |
32.44/32.55 c | 68991 | 7800 33371 101375 | 2147483647 68991 150 | 0.000 % |
32.85/32.96 c | 69589 | 7800 33371 101375 | 2147483647 69589 150 | 0.000 % |
33.24/33.39 c | 70245 | 7800 33371 101375 | 2147483647 70245 150 | 0.000 % |
33.74/33.89 c | 70966 | 7800 33371 101375 | 2147483647 70966 150 | 0.000 % |
34.34/34.44 c | 71758 | 7800 33371 101375 | 2147483647 71758 151 | 0.000 % |
34.94/35.04 c | 72630 | 7800 33371 101375 | 2147483647 72630 151 | 0.000 % |
35.05/35.11 c | 72732 | 7800 33371 101375 | 2147483647 72732 151 | 0.000 % |
35.05/35.19 c | 72844 | 7800 33371 101375 | 2147483647 72844 151 | 0.000 % |
35.14/35.30 c | 72965 | 7800 33371 101375 | 2147483647 72965 151 | 0.000 % |
35.34/35.41 c | 73098 | 7800 33371 101375 | 2147483647 73098 151 | 0.000 % |
35.44/35.53 c | 73246 | 7800 33371 101375 | 2147483647 73246 151 | 0.000 % |
35.54/35.65 c | 73408 | 7800 33371 101375 | 2147483647 73408 151 | 0.000 % |
35.64/35.79 c | 73586 | 7800 33371 101375 | 2147483647 73586 151 | 0.000 % |
35.84/35.94 c | 73781 | 7800 33371 101375 | 2147483647 73781 151 | 0.000 % |
36.04/36.10 c | 73993 | 7800 33371 101375 | 2147483647 73993 151 | 0.000 % |
36.14/36.28 c | 74227 | 7800 33371 101375 | 2147483647 74227 151 | 0.000 % |
36.33/36.46 c | 74483 | 7800 33371 101375 | 2147483647 74483 151 | 0.000 % |
36.53/36.65 c | 74764 | 7800 33371 101375 | 2147483647 74764 151 | 0.000 % |
36.73/36.88 c | 75073 | 7800 33371 101375 | 2147483647 75073 151 | 0.000 % |
37.03/37.13 c | 75414 | 7800 33371 101375 | 2147483647 75414 151 | 0.000 % |
37.33/37.41 c | 75786 | 7800 33371 101375 | 2147483647 75786 151 | 0.000 % |
37.63/37.72 c | 76195 | 7800 33371 101375 | 2147483647 76195 151 | 0.000 % |
37.94/38.01 c | 76644 | 7800 33371 101375 | 2147483647 76644 151 | 0.000 % |
38.24/38.35 c | 77139 | 7800 33371 101375 | 2147483647 77139 151 | 0.000 % |
38.64/38.76 c | 77682 | 7800 33371 101375 | 2147483647 77682 151 | 0.000 % |
39.04/39.19 c | 78278 | 7800 33371 101375 | 2147483647 78278 151 | 0.000 % |
39.54/39.67 c | 78936 | 7800 33371 101375 | 2147483647 78936 151 | 0.000 % |
40.13/40.22 c | 79658 | 7800 33371 101375 | 2147483647 79658 151 | 0.000 % |
40.63/40.75 c | 80452 | 7800 33371 101375 | 2147483647 80452 151 | 0.000 % |
41.23/41.39 c | 81324 | 7800 33371 101375 | 2147483647 81324 152 | 0.000 % |
41.93/42.10 c | 82282 | 7800 33371 101375 | 2147483647 82282 152 | 0.000 % |
42.03/42.18 c | 82382 | 7800 33371 101375 | 2147483647 82382 152 | 0.000 % |
42.13/42.27 c | 82492 | 7800 33371 101375 | 2147483647 82492 152 | 0.000 % |
42.23/42.38 c | 82613 | 7800 33371 101375 | 2147483647 82613 152 | 0.000 % |
42.33/42.50 c | 82746 | 7800 33371 101375 | 2147483647 82746 152 | 0.000 % |
42.53/42.62 c | 82892 | 7800 33371 101375 | 2147483647 82892 152 | 0.000 % |
42.63/42.74 c | 83053 | 7800 33371 101375 | 2147483647 83053 152 | 0.000 % |
42.83/42.90 c | 83229 | 7800 33371 101375 | 2147483647 83229 152 | 0.000 % |
42.93/43.05 c | 83422 | 7800 33371 101375 | 2147483647 83422 152 | 0.000 % |
43.13/43.23 c | 83636 | 7800 33371 101375 | 2147483647 83636 152 | 0.000 % |
43.33/43.41 c | 83870 | 7800 33371 101375 | 2147483647 83870 152 | 0.000 % |
43.52/43.60 c | 84126 | 7800 33371 101375 | 2147483647 84126 152 | 0.000 % |
43.72/43.81 c | 84407 | 7800 33371 101375 | 2147483647 84407 152 | 0.000 % |
43.93/44.08 c | 84717 | 7800 33371 101375 | 2147483647 84717 152 | 0.000 % |
44.23/44.35 c | 85056 | 7800 33371 101375 | 2147483647 85056 152 | 0.000 % |
44.53/44.63 c | 85428 | 7800 33371 101375 | 2147483647 85428 152 | 0.000 % |
44.83/44.95 c | 85838 | 7800 33371 101375 | 2147483647 85838 152 | 0.000 % |
45.13/45.28 c | 86287 | 7800 33371 101375 | 2147483647 86287 152 | 0.000 % |
45.52/45.65 c | 86781 | 7800 33371 101375 | 2147483647 86781 152 | 0.000 % |
45.92/46.07 c | 87325 | 7800 33371 101375 | 2147483647 87325 153 | 0.000 % |
46.42/46.51 c | 87921 | 7800 33371 101375 | 2147483647 87921 153 | 0.000 % |
46.93/47.01 c | 88576 | 7800 33371 101375 | 2147483647 88576 153 | 0.000 % |
47.42/47.57 c | 89297 | 7800 33371 101375 | 2147483647 89297 153 | 0.000 % |
48.12/48.20 c | 90089 | 7800 33371 101375 | 2147483647 90089 153 | 0.000 % |
48.82/48.92 c | 90964 | 7800 33371 101375 | 2147483647 90964 153 | 0.000 % |
49.53/49.66 c | 91926 | 7800 33371 101375 | 2147483647 91926 153 | 0.000 % |
50.43/50.54 c | 92980 | 7800 33371 101375 | 2147483647 92980 153 | 0.000 % |
50.53/50.63 c | 93081 | 7800 33371 101375 | 2147483647 93081 153 | 0.000 % |
50.63/50.75 c | 93194 | 7800 33371 101375 | 2147483647 93194 153 | 0.000 % |
50.72/50.86 c | 93316 | 7800 33371 101375 | 2147483647 93316 153 | 0.000 % |
50.82/50.99 c | 93451 | 7800 33371 101375 | 2147483647 93451 153 | 0.000 % |
51.02/51.11 c | 93599 | 7800 33371 101375 | 2147483647 93599 153 | 0.000 % |
51.12/51.25 c | 93760 | 7800 33371 101375 | 2147483647 93760 153 | 0.000 % |
51.32/51.40 c | 93937 | 7800 33371 101375 | 2147483647 93937 153 | 0.000 % |
51.42/51.58 c | 94130 | 7800 33371 101375 | 2147483647 94130 153 | 0.000 % |
51.63/51.78 c | 94342 | 7800 33371 101375 | 2147483647 94342 153 | 0.000 % |
51.83/51.97 c | 94576 | 7800 33371 101375 | 2147483647 94576 153 | 0.000 % |
52.13/52.21 c | 94833 | 7800 33371 101375 | 2147483647 94833 153 | 0.000 % |
52.33/52.47 c | 95116 | 7800 33371 101375 | 2147483647 95116 153 | 0.000 % |
52.63/52.74 c | 95425 | 7800 33371 101375 | 2147483647 95425 153 | 0.000 % |
52.92/53.06 c | 95764 | 7800 33371 101375 | 2147483647 95764 153 | 0.000 % |
53.22/53.36 c | 96136 | 7800 33371 101375 | 2147483647 96136 153 | 0.000 % |
53.62/53.73 c | 96545 | 7800 33371 101375 | 2147483647 96545 153 | 0.000 % |
54.02/54.10 c | 96995 | 7800 33371 101375 | 2147483647 96995 153 | 0.000 % |
54.42/54.50 c | 97488 | 7800 33371 101375 | 2147483647 97488 153 | 0.000 % |
54.83/54.96 c | 98031 | 7800 33371 101375 | 2147483647 98031 153 | 0.000 % |
55.42/55.50 c | 98628 | 7800 33371 101375 | 2147483647 98628 153 | 0.000 % |
55.92/56.07 c | 99283 | 7800 33371 101375 | 2147483647 99283 153 | 0.000 % |
56.52/56.62 c | 100005 | 7800 33371 101375 | 2147483647 100005 153 | 0.000 % |
57.12/57.28 c | 100800 | 7800 33371 101375 | 2147483647 100800 153 | 0.000 % |
57.82/58.00 c | 101671 | 7800 33371 101375 | 2147483647 101671 153 | 0.000 % |
58.62/58.71 c | 102629 | 7800 33371 101375 | 2147483647 102629 154 | 0.000 % |
59.42/59.55 c | 103683 | 7800 33371 101375 | 2147483647 103683 154 | 0.000 % |
60.42/60.56 c | 104842 | 7800 33371 101375 | 2147483647 104842 154 | 0.000 % |
60.51/60.66 c | 104942 | 7800 33371 101375 | 2147483647 104942 154 | 0.000 % |
60.61/60.77 c | 105052 | 7800 33371 101375 | 2147483647 105052 154 | 0.000 % |
60.81/60.91 c | 105174 | 7800 33371 101375 | 2147483647 105174 154 | 0.000 % |
60.92/61.06 c | 105307 | 7800 33371 101375 | 2147483647 105307 154 | 0.000 % |
61.02/61.19 c | 105453 | 7800 33371 101375 | 2147483647 105453 154 | 0.000 % |
61.22/61.34 c | 105613 | 7800 33371 101375 | 2147483647 105613 154 | 0.000 % |
61.42/61.51 c | 105789 | 7800 33371 101375 | 2147483647 105789 154 | 0.000 % |
61.52/61.69 c | 105983 | 7800 33371 101375 | 2147483647 105983 154 | 0.000 % |
61.82/61.93 c | 106196 | 7800 33371 101375 | 2147483647 106196 154 | 0.000 % |
62.02/62.14 c | 106432 | 7800 33371 101375 | 2147483647 106432 154 | 0.000 % |
62.22/62.38 c | 106688 | 7800 33371 101375 | 2147483647 106688 154 | 0.000 % |
62.52/62.62 c | 106969 | 7800 33371 101375 | 2147483647 106969 154 | 0.000 % |
62.72/62.90 c | 107278 | 7800 33371 101375 | 2147483647 107278 154 | 0.000 % |
63.12/63.22 c | 107618 | 7800 33371 101375 | 2147483647 107618 154 | 0.000 % |
63.42/63.58 c | 107993 | 7800 33371 101375 | 2147483647 107993 154 | 0.000 % |
63.82/63.94 c | 108403 | 7800 33371 101375 | 2147483647 108403 154 | 0.000 % |
64.21/64.34 c | 108853 | 7800 33371 101375 | 2147483647 108853 154 | 0.000 % |
64.61/64.80 c | 109347 | 7800 33371 101375 | 2147483647 109347 154 | 0.000 % |
65.21/65.30 c | 109889 | 7800 33371 101375 | 2147483647 109889 154 | 0.000 % |
65.72/65.86 c | 110487 | 7800 33371 101375 | 2147483647 110487 154 | 0.000 % |
66.32/66.48 c | 111142 | 7800 33371 101375 | 2147483647 111142 154 | 0.000 % |
67.02/67.14 c | 111863 | 7800 33371 101375 | 2147483647 111863 155 | 0.000 % |
67.72/67.83 c | 112656 | 7800 33371 101375 | 2147483647 112656 155 | 0.000 % |
68.41/68.59 c | 113527 | 7800 33371 101375 | 2147483647 113527 155 | 0.000 % |
69.31/69.46 c | 114485 | 7800 33371 101375 | 2147483647 114485 155 | 0.000 % |
70.31/70.42 c | 115539 | 7800 33371 101375 | 2147483647 115539 155 | 0.000 % |
71.41/71.55 c | 116698 | 7800 33371 101375 | 2147483647 116698 156 | 0.000 % |
72.52/72.68 c | 117972 | 7800 33371 101375 | 2147483647 117972 156 | 0.000 % |
72.61/72.77 c | 118073 | 7800 33371 101375 | 2147483647 118073 156 | 0.000 % |
72.81/72.92 c | 118183 | 7800 33371 101375 | 2147483647 118183 156 | 0.000 % |
72.91/73.05 c | 118305 | 7800 33371 101375 | 2147483647 118305 156 | 0.000 % |
73.01/73.18 c | 118438 | 7800 33371 101375 | 2147483647 118438 156 | 0.000 % |
73.21/73.32 c | 118586 | 7800 33371 101375 | 2147483647 118586 156 | 0.000 % |
73.31/73.50 c | 118746 | 7800 33371 101375 | 2147483647 118746 156 | 0.000 % |
73.51/73.68 c | 118924 | 7800 33371 101375 | 2147483647 118924 156 | 0.000 % |
73.81/73.90 c | 119118 | 7800 33371 101375 | 2147483647 119118 156 | 0.000 % |
74.01/74.12 c | 119330 | 7800 33371 101375 | 2147483647 119330 156 | 0.000 % |
74.21/74.36 c | 119565 | 7800 33371 101375 | 2147483647 119565 156 | 0.000 % |
74.51/74.64 c | 119822 | 7800 33371 101375 | 2147483647 119822 156 | 0.000 % |
74.81/74.93 c | 120105 | 7800 33371 101375 | 2147483647 120105 156 | 0.000 % |
75.11/75.22 c | 120415 | 7800 33371 101375 | 2147483647 120415 156 | 0.000 % |
75.41/75.55 c | 120754 | 7800 33371 101375 | 2147483647 120754 156 | 0.000 % |
75.82/75.93 c | 121127 | 7800 33371 101375 | 2147483647 121127 156 | 0.000 % |
76.21/76.35 c | 121536 | 7800 33371 101375 | 2147483647 121536 156 | 0.000 % |
76.71/76.85 c | 121985 | 7800 33371 101375 | 2147483647 121985 156 | 0.000 % |
77.11/77.30 c | 122478 | 7800 33371 101375 | 2147483647 122478 156 | 0.000 % |
77.71/77.81 c | 123020 | 7800 33371 101375 | 2147483647 123020 156 | 0.000 % |
78.31/78.45 c | 123616 | 7800 33371 101375 | 2147483647 123616 156 | 0.000 % |
78.91/79.10 c | 124274 | 7800 33371 101375 | 2147483647 124274 156 | 0.000 % |
79.71/79.80 c | 124994 | 7800 33371 101375 | 2147483647 124994 156 | 0.000 % |
80.51/80.60 c | 125786 | 7800 33371 101375 | 2147483647 125786 156 | 0.000 % |
81.31/81.48 c | 126659 | 7800 33371 101375 | 2147483647 126659 156 | 0.000 % |
82.20/82.40 c | 127617 | 7800 33371 101375 | 2147483647 127617 156 | 0.000 % |
83.31/83.41 c | 128671 | 7800 33371 101375 | 2147483647 128671 156 | 0.000 % |
84.41/84.58 c | 129830 | 7800 33371 101375 | 2147483647 129830 157 | 0.000 % |
85.61/85.73 c | 131103 | 7800 33371 101375 | 2147483647 131103 157 | 0.000 % |
87.01/87.16 c | 132503 | 7800 33371 101375 | 2147483647 132503 157 | 0.000 % |
87.21/87.31 c | 132603 | 7800 33371 101375 | 2147483647 132603 157 | 0.000 % |
87.31/87.44 c | 132713 | 7800 33371 101375 | 2147483647 132713 157 | 0.000 % |
87.51/87.60 c | 132835 | 7800 33371 101375 | 2147483647 132835 157 | 0.000 % |
87.61/87.76 c | 132971 | 7800 33371 101375 | 2147483647 132971 157 | 0.000 % |
87.81/87.95 c | 133117 | 7800 33371 101375 | 2147483647 133117 157 | 0.000 % |
88.01/88.12 c | 133277 | 7800 33371 101375 | 2147483647 133277 157 | 0.000 % |
88.21/88.33 c | 133455 | 7800 33371 101375 | 2147483647 133455 157 | 0.000 % |
88.41/88.56 c | 133649 | 7800 33371 101375 | 2147483647 133649 157 | 0.000 % |
88.60/88.79 c | 133862 | 7800 33371 101375 | 2147483647 133862 157 | 0.000 % |
88.91/89.05 c | 134097 | 7800 33371 101375 | 2147483647 134097 157 | 0.000 % |
89.20/89.33 c | 134354 | 7800 33371 101375 | 2147483647 134354 157 | 0.000 % |
89.50/89.65 c | 134635 | 7800 33371 101375 | 2147483647 134635 157 | 0.000 % |
89.90/90.00 c | 134944 | 7800 33371 101375 | 2147483647 134944 157 | 0.000 % |
90.20/90.36 c | 135284 | 7800 33371 101375 | 2147483647 135284 157 | 0.000 % |
90.60/90.77 c | 135656 | 7800 33371 101375 | 2147483647 135656 157 | 0.000 % |
91.10/91.21 c | 136066 | 7800 33371 101375 | 2147483647 136066 157 | 0.000 % |
91.50/91.69 c | 136516 | 7800 33371 101375 | 2147483647 136516 157 | 0.000 % |
92.10/92.23 c | 137012 | 7800 33371 101375 | 2147483647 137012 157 | 0.000 % |
92.70/92.85 c | 137554 | 7800 33371 101375 | 2147483647 137554 157 | 0.000 % |
93.31/93.46 c | 138150 | 7800 33371 101375 | 2147483647 138150 157 | 0.000 % |
94.00/94.15 c | 138805 | 7800 33371 101375 | 2147483647 138805 158 | 0.000 % |
94.80/94.90 c | 139527 | 7800 33371 101375 | 2147483647 139527 158 | 0.000 % |
95.60/95.78 c | 140320 | 7800 33371 101375 | 2147483647 140320 158 | 0.000 % |
96.51/96.61 c | 141191 | 7800 33371 101375 | 2147483647 141191 158 | 0.000 % |
97.41/97.58 c | 142150 | 7800 33371 101375 | 2147483647 142150 158 | 0.000 % |
98.50/98.65 c | 143203 | 7800 33371 101375 | 2147483647 143203 158 | 0.000 % |
99.70/99.82 c | 144363 | 7800 33371 101375 | 2147483647 144363 159 | 0.000 % |
100.90/101.10 c | 145638 | 7800 33371 101375 | 2147483647 145638 158 | 0.000 % |
102.40/102.52 c | 147039 | 7800 33371 101375 | 2147483647 147039 159 | 0.000 % |
104.00/104.11 c | 148579 | 7800 33371 101375 | 2147483647 148579 159 | 0.000 % |
104.10/104.25 c | 148681 | 7800 33371 101375 | 2147483647 148681 159 | 0.000 % |
104.20/104.38 c | 148792 | 7800 33371 101375 | 2147483647 148792 159 | 0.000 % |
104.40/104.55 c | 148913 | 7800 33371 101375 | 2147483647 148913 159 | 0.000 % |
104.60/104.75 c | 149046 | 7800 33371 101375 | 2147483647 149046 159 | 0.000 % |
104.80/104.98 c | 149193 | 7800 33371 101375 | 2147483647 149193 159 | 0.000 % |
105.00/105.16 c | 149355 | 7800 33371 101375 | 2147483647 149355 159 | 0.000 % |
105.20/105.39 c | 149531 | 7800 33371 101375 | 2147483647 149531 159 | 0.000 % |
105.50/105.65 c | 149724 | 7800 33371 101375 | 2147483647 149724 159 | 0.000 % |
105.80/105.92 c | 149938 | 7800 33371 101375 | 2147483647 149938 159 | 0.000 % |
106.09/106.22 c | 150172 | 7800 33371 101375 | 2147483647 150172 159 | 0.000 % |
106.39/106.54 c | 150430 | 7800 33371 101375 | 2147483647 150430 159 | 0.000 % |
106.69/106.89 c | 150711 | 7800 33371 101375 | 2147483647 150711 159 | 0.000 % |
107.09/107.28 c | 151020 | 7800 33371 101375 | 2147483647 151020 159 | 0.000 % |
107.60/107.72 c | 151359 | 7800 33371 101375 | 2147483647 151359 159 | 0.000 % |
108.00/108.14 c | 151731 | 7800 33371 101375 | 2147483647 151731 159 | 0.000 % |
108.50/108.61 c | 152140 | 7800 33371 101375 | 2147483647 152140 159 | 0.000 % |
109.00/109.14 c | 152590 | 7800 33371 101375 | 2147483647 152590 159 | 0.000 % |
109.60/109.77 c | 153084 | 7800 33371 101375 | 2147483647 153084 159 | 0.000 % |
110.29/110.43 c | 153626 | 7800 33371 101375 | 2147483647 153626 159 | 0.000 % |
111.00/111.12 c | 154222 | 7800 33371 101375 | 2147483647 154222 159 | 0.000 % |
111.70/111.87 c | 154879 | 7800 33371 101375 | 2147483647 154879 159 | 0.000 % |
112.60/112.75 c | 155599 | 7800 33371 101375 | 2147483647 155599 159 | 0.000 % |
113.49/113.62 c | 156392 | 7800 33371 101375 | 2147483647 156392 160 | 0.000 % |
114.49/114.66 c | 157265 | 7800 33371 101375 | 2147483647 157265 160 | 0.000 % |
115.59/115.70 c | 158223 | 7800 33371 101375 | 2147483647 158223 160 | 0.000 % |
116.69/116.89 c | 159276 | 7800 33371 101375 | 2147483647 159276 160 | 0.000 % |
117.89/118.08 c | 160434 | 7800 33371 101375 | 2147483647 160434 160 | 0.000 % |
119.29/119.49 c | 161708 | 7800 33371 101375 | 2147483647 161708 160 | 0.000 % |
120.99/121.15 c | 163108 | 7800 33371 101375 | 2147483647 163108 160 | 0.000 % |
122.79/122.90 c | 164648 | 7800 33371 101375 | 2147483647 164648 160 | 0.000 % |
124.69/124.80 c | 166342 | 7800 33371 101375 | 2147483647 166342 160 | 0.000 % |
124.79/124.95 c | 166442 | 7800 33371 101375 | 2147483647 166442 160 | 0.000 % |
124.99/125.12 c | 166554 | 7800 33371 101375 | 2147483647 166554 160 | 0.000 % |
125.19/125.33 c | 166676 | 7800 33371 101375 | 2147483647 166676 160 | 0.000 % |
125.39/125.53 c | 166809 | 7800 33371 101375 | 2147483647 166809 160 | 0.000 % |
125.59/125.72 c | 166955 | 7800 33371 101375 | 2147483647 166955 160 | 0.000 % |
125.79/125.96 c | 167115 | 7800 33371 101375 | 2147483647 167115 160 | 0.000 % |
126.09/126.22 c | 167292 | 7800 33371 101375 | 2147483647 167292 160 | 0.000 % |
126.29/126.49 c | 167485 | 7800 33371 101375 | 2147483647 167485 160 | 0.000 % |
126.59/126.80 c | 167697 | 7800 33371 101375 | 2147483647 167697 160 | 0.000 % |
126.99/127.12 c | 167930 | 7800 33371 101375 | 2147483647 167930 160 | 0.000 % |
127.29/127.47 c | 168186 | 7800 33371 101375 | 2147483647 168186 160 | 0.000 % |
127.69/127.84 c | 168467 | 7800 33371 101375 | 2147483647 168467 160 | 0.000 % |
128.09/128.27 c | 168777 | 7800 33371 101375 | 2147483647 168777 160 | 0.000 % |
128.59/128.72 c | 169116 | 7800 33371 101375 | 2147483647 169116 160 | 0.000 % |
128.98/129.18 c | 169488 | 7800 33371 101375 | 2147483647 169488 160 | 0.000 % |
129.59/129.76 c | 169897 | 7800 33371 101375 | 2147483647 169897 160 | 0.000 % |
130.18/130.32 c | 170350 | 7800 33371 101375 | 2147483647 170350 160 | 0.000 % |
130.79/130.92 c | 170843 | 7800 33371 101375 | 2147483647 170843 160 | 0.000 % |
131.38/131.57 c | 171386 | 7800 33371 101375 | 2147483647 171386 160 | 0.000 % |
132.19/132.30 c | 171984 | 7800 33371 101375 | 2147483647 171984 160 | 0.000 % |
132.99/133.13 c | 172639 | 7800 33371 101375 | 2147483647 172639 160 | 0.000 % |
133.89/134.09 c | 173361 | 7800 33371 101375 | 2147483647 173361 160 | 0.000 % |
134.88/135.02 c | 174154 | 7800 33371 101375 | 2147483647 174154 160 | 0.000 % |
135.98/136.10 c | 175025 | 7800 33371 101375 | 2147483647 175025 160 | 0.000 % |
137.18/137.32 c | 175985 | 7800 33371 101375 | 2147483647 175985 160 | 0.000 % |
138.48/138.63 c | 177038 | 7800 33371 101375 | 2147483647 177038 160 | 0.000 % |
139.98/140.11 c | 178200 | 7800 33371 101375 | 2147483647 178200 160 | 0.000 % |
141.48/141.69 c | 179473 | 7800 33371 101375 | 2147483647 179473 160 | 0.000 % |
143.19/143.36 c | 180873 | 7800 33371 101375 | 2147483647 180873 160 | 0.000 % |
145.18/145.30 c | 182415 | 7800 33371 101375 | 2147483647 182415 160 | 0.000 % |
147.18/147.35 c | 184109 | 7800 33371 101375 | 2147483647 184109 160 | 0.000 % |
149.49/149.65 c | 185972 | 7800 33371 101375 | 2147483647 185972 161 | 0.000 % |
149.68/149.80 c | 186072 | 7800 33371 101375 | 2147483647 186072 161 | 0.000 % |
149.88/150.00 c | 186182 | 7800 33371 101375 | 2147483647 186182 161 | 0.000 % |
149.98/150.19 c | 186305 | 7800 33371 101375 | 2147483647 186305 161 | 0.000 % |
150.18/150.37 c | 186438 | 7800 33371 101375 | 2147483647 186438 161 | 0.000 % |
150.49/150.62 c | 186586 | 7800 33371 101375 | 2147483647 186586 161 | 0.000 % |
150.68/150.89 c | 186746 | 7800 33371 101375 | 2147483647 186746 161 | 0.000 % |
150.98/151.18 c | 186922 | 7800 33371 101375 | 2147483647 186922 161 | 0.000 % |
151.28/151.49 c | 187115 | 7800 33371 101375 | 2147483647 187115 161 | 0.000 % |
151.68/151.81 c | 187327 | 7800 33371 101375 | 2147483647 187327 160 | 0.000 % |
151.98/152.14 c | 187560 | 7800 33371 101375 | 2147483647 187560 160 | 0.000 % |
152.38/152.54 c | 187820 | 7800 33371 101375 | 2147483647 187820 160 | 0.000 % |
152.78/152.95 c | 188101 | 7800 33371 101375 | 2147483647 188101 160 | 0.000 % |
153.18/153.39 c | 188410 | 7800 33371 101375 | 2147483647 188410 160 | 0.000 % |
153.68/153.90 c | 188750 | 7800 33371 101375 | 2147483647 188750 160 | 0.000 % |
154.28/154.40 c | 189122 | 7800 33371 101375 | 2147483647 189122 160 | 0.000 % |
154.77/154.98 c | 189531 | 7800 33371 101375 | 2147483647 189531 160 | 0.000 % |
155.47/155.63 c | 189981 | 7800 33371 101375 | 2147483647 189981 160 | 0.000 % |
156.17/156.32 c | 190474 | 7800 33371 101375 | 2147483647 190474 160 | 0.000 % |
156.78/156.98 c | 191016 | 7800 33371 101375 | 2147483647 191016 160 | 0.000 % |
157.68/157.86 c | 191612 | 7800 33371 101375 | 2147483647 191612 160 | 0.000 % |
158.58/158.76 c | 192269 | 7800 33371 101375 | 2147483647 192269 160 | 0.000 % |
159.48/159.68 c | 192990 | 7800 33371 101375 | 2147483647 192990 161 | 0.000 % |
160.58/160.73 c | 193783 | 7800 33371 101375 | 2147483647 193783 161 | 0.000 % |
161.78/161.91 c | 194654 | 7800 33371 101375 | 2147483647 194654 161 | 0.000 % |
162.97/163.14 c | 195613 | 7800 33371 101375 | 2147483647 195613 161 | 0.000 % |
164.27/164.44 c | 196667 | 7800 33371 101375 | 2147483647 196667 161 | 0.000 % |
165.67/165.85 c | 197825 | 7800 33371 101375 | 2147483647 197825 161 | 0.000 % |
167.27/167.44 c | 199100 | 7800 33371 101375 | 2147483647 199100 161 | 0.000 % |
169.17/169.33 c | 200500 | 7800 33371 101375 | 2147483647 200500 161 | 0.000 % |
171.17/171.36 c | 202042 | 7800 33371 101375 | 2147483647 202042 162 | 0.000 % |
173.57/173.75 c | 203738 | 7800 33371 101375 | 2147483647 203738 162 | 0.000 % |
176.17/176.32 c | 205601 | 7800 33371 101375 | 2147483647 205601 162 | 0.000 % |
178.86/179.01 c | 207650 | 7800 33371 101375 | 2147483647 207650 162 | 0.000 % |
178.96/179.14 c | 207750 | 7800 33371 101375 | 2147483647 207750 162 | 0.000 % |
179.17/179.35 c | 207860 | 7800 33371 101375 | 2147483647 207860 162 | 0.000 % |
179.36/179.55 c | 207981 | 7800 33371 101375 | 2147483647 207981 162 | 0.000 % |
179.56/179.79 c | 208115 | 7800 33371 101375 | 2147483647 208115 162 | 0.000 % |
179.86/180.03 c | 208262 | 7800 33371 101375 | 2147483647 208262 162 | 0.000 % |
180.17/180.30 c | 208425 | 7800 33371 101375 | 2147483647 208425 162 | 0.000 % |
180.37/180.59 c | 208603 | 7800 33371 101375 | 2147483647 208603 162 | 0.000 % |
180.67/180.87 c | 208796 | 7800 33371 101375 | 2147483647 208796 162 | 0.000 % |
181.07/181.21 c | 209009 | 7800 33371 101375 | 2147483647 209009 162 | 0.000 % |
181.47/181.62 c | 209245 | 7800 33371 101375 | 2147483647 209245 162 | 0.000 % |
181.87/182.05 c | 209501 | 7800 33371 101375 | 2147483647 209501 162 | 0.000 % |
182.27/182.49 c | 209783 | 7800 33371 101375 | 2147483647 209783 162 | 0.000 % |
182.77/182.97 c | 210092 | 7800 33371 101375 | 2147483647 210092 162 | 0.000 % |
183.36/183.51 c | 210431 | 7800 33371 101375 | 2147483647 210431 162 | 0.000 % |
183.86/184.07 c | 210804 | 7800 33371 101375 | 2147483647 210804 162 | 0.000 % |
184.46/184.66 c | 211214 | 7800 33371 101375 | 2147483647 211214 162 | 0.000 % |
185.06/185.29 c | 211664 | 7800 33371 101375 | 2147483647 211664 162 | 0.000 % |
185.76/185.99 c | 212160 | 7800 33371 101375 | 2147483647 212160 162 | 0.000 % |
186.56/186.76 c | 212702 | 7800 33371 101375 | 2147483647 212702 162 | 0.000 % |
187.46/187.62 c | 213299 | 7800 33371 101375 | 2147483647 213299 162 | 0.000 % |
188.37/188.59 c | 213954 | 7800 33371 101375 | 2147483647 213954 162 | 0.000 % |
189.47/189.61 c | 214675 | 7800 33371 101375 | 2147483647 214675 162 | 0.000 % |
190.66/190.82 c | 215467 | 7800 33371 101375 | 2147483647 215467 162 | 0.000 % |
191.86/192.10 c | 216338 | 7800 33371 101375 | 2147483647 216338 162 | 0.000 % |
193.26/193.49 c | 217297 | 7800 33371 101375 | 2147483647 217297 162 | 0.000 % |
194.76/194.99 c | 218351 | 7800 33371 101375 | 2147483647 218351 163 | 0.000 % |
196.46/196.64 c | 219509 | 7800 33371 101375 | 2147483647 219509 163 | 0.000 % |
198.36/198.55 c | 220784 | 7800 33371 101375 | 2147483647 220784 163 | 0.000 % |
200.35/200.51 c | 222184 | 7800 33371 101375 | 2147483647 222184 163 | 0.000 % |
202.66/202.85 c | 223724 | 7800 33371 101375 | 2147483647 223724 163 | 0.000 % |
205.15/205.32 c | 225418 | 7800 33371 101375 | 2147483647 225418 163 | 0.000 % |
207.65/207.88 c | 227282 | 7800 33371 101375 | 2147483647 227282 164 | 0.000 % |
210.75/210.90 c | 229331 | 7800 33371 101375 | 2147483647 229331 164 | 0.000 % |
213.95/214.19 c | 231584 | 7800 33371 101375 | 2147483647 231584 164 | 0.000 % |
214.15/214.37 c | 231684 | 7800 33371 101375 | 2147483647 231684 164 | 0.000 % |
214.35/214.60 c | 231794 | 7800 33371 101375 | 2147483647 231794 164 | 0.000 % |
214.65/214.82 c | 231915 | 7800 33371 101375 | 2147483647 231915 164 | 0.000 % |
214.85/215.08 c | 232049 | 7800 33371 101375 | 2147483647 232049 164 | 0.000 % |
215.15/215.38 c | 232196 | 7800 33371 101375 | 2147483647 232196 164 | 0.000 % |
215.45/215.69 c | 232356 | 7800 33371 101375 | 2147483647 232356 164 | 0.000 % |
215.85/216.01 c | 232536 | 7800 33371 101375 | 2147483647 232536 164 | 0.000 % |
216.15/216.39 c | 232730 | 7800 33371 101375 | 2147483647 232730 164 | 0.000 % |
216.55/216.75 c | 232942 | 7800 33371 101375 | 2147483647 232942 164 | 0.000 % |
216.95/217.16 c | 233176 | 7800 33371 101375 | 2147483647 233176 164 | 0.000 % |
217.45/217.63 c | 233433 | 7800 33371 101375 | 2147483647 233433 164 | 0.000 % |
217.85/218.09 c | 233717 | 7800 33371 101375 | 2147483647 233717 164 | 0.000 % |
218.45/218.62 c | 234026 | 7800 33371 101375 | 2147483647 234026 164 | 0.000 % |
219.05/219.27 c | 234366 | 7800 33371 101375 | 2147483647 234366 164 | 0.000 % |
219.75/219.92 c | 234738 | 7800 33371 101375 | 2147483647 234738 164 | 0.000 % |
220.45/220.62 c | 235149 | 7800 33371 101375 | 2147483647 235149 164 | 0.000 % |
221.15/221.32 c | 235598 | 7800 33371 101375 | 2147483647 235598 164 | 0.000 % |
221.95/222.18 c | 236092 | 7800 33371 101375 | 2147483647 236092 164 | 0.000 % |
222.95/223.11 c | 236634 | 7800 33371 101375 | 2147483647 236634 164 | 0.000 % |
223.95/224.15 c | 237230 | 7800 33371 101375 | 2147483647 237230 164 | 0.000 % |
224.94/225.16 c | 237885 | 7800 33371 101375 | 2147483647 237885 164 | 0.000 % |
226.15/226.30 c | 238605 | 7800 33371 101375 | 2147483647 238605 164 | 0.000 % |
227.35/227.56 c | 239398 | 7800 33371 101375 | 2147483647 239398 164 | 0.000 % |
228.75/228.94 c | 240269 | 7800 33371 101375 | 2147483647 240269 164 | 0.000 % |
230.24/230.47 c | 241227 | 7800 33371 101375 | 2147483647 241227 164 | 0.000 % |
231.94/232.14 c | 242280 | 7800 33371 101375 | 2147483647 242280 164 | 0.000 % |
233.74/233.95 c | 243438 | 7800 33371 101375 | 2147483647 243438 164 | 0.000 % |
235.84/236.02 c | 244714 | 7800 33371 101375 | 2147483647 244714 164 | 0.000 % |
238.04/238.29 c | 246114 | 7800 33371 101375 | 2147483647 246114 164 | 0.000 % |
240.44/240.69 c | 247654 | 7800 33371 101375 | 2147483647 247654 165 | 0.000 % |
243.14/243.39 c | 249350 | 7800 33371 101375 | 2147483647 249350 165 | 0.000 % |
246.04/246.26 c | 251214 | 7800 33371 101375 | 2147483647 251214 165 | 0.000 % |
249.34/249.52 c | 253264 | 7800 33371 101375 | 2147483647 253264 165 | 0.000 % |
252.93/253.16 c | 255519 | 7800 33371 101375 | 2147483647 255519 165 | 0.000 % |
257.03/257.24 c | 257998 | 7800 33371 101375 | 2147483647 257998 166 | 0.000 % |
257.23/257.45 c | 258098 | 7800 33371 101375 | 2147483647 258098 166 | 0.000 % |
257.43/257.69 c | 258209 | 7800 33371 101375 | 2147483647 258209 166 | 0.000 % |
257.73/257.93 c | 258330 | 7800 33371 101375 | 2147483647 258330 166 | 0.000 % |
258.03/258.22 c | 258463 | 7800 33371 101375 | 2147483647 258463 166 | 0.000 % |
258.33/258.53 c | 258611 | 7800 33371 101375 | 2147483647 258611 166 | 0.000 % |
258.64/258.83 c | 258771 | 7800 33371 101375 | 2147483647 258771 166 | 0.000 % |
259.04/259.22 c | 258949 | 7800 33371 101375 | 2147483647 258949 166 | 0.000 % |
259.44/259.61 c | 259142 | 7800 33371 101375 | 2147483647 259142 166 | 0.000 % |
259.74/259.97 c | 259354 | 7800 33371 101375 | 2147483647 259354 166 | 0.000 % |
260.24/260.42 c | 259587 | 7800 33371 101375 | 2147483647 259587 166 | 0.000 % |
260.84/261.02 c | 259843 | 7800 33371 101375 | 2147483647 259843 166 | 0.000 % |
261.33/261.57 c | 260127 | 7800 33371 101375 | 2147483647 260127 165 | 0.000 % |
261.93/262.10 c | 260438 | 7800 33371 101375 | 2147483647 260438 165 | 0.000 % |
262.53/262.77 c | 260779 | 7800 33371 101375 | 2147483647 260779 165 | 0.000 % |
263.23/263.46 c | 261151 | 7800 33371 101375 | 2147483647 261151 165 | 0.000 % |
263.93/264.16 c | 261560 | 7800 33371 101375 | 2147483647 261560 165 | 0.000 % |
264.73/265.00 c | 262009 | 7800 33371 101375 | 2147483647 262009 165 | 0.000 % |
265.63/265.88 c | 262505 | 7800 33371 101375 | 2147483647 262505 165 | 0.000 % |
266.73/266.90 c | 263048 | 7800 33371 101375 | 2147483647 263048 165 | 0.000 % |
267.74/267.93 c | 263644 | 7800 33371 101375 | 2147483647 263644 165 | 0.000 % |
268.83/269.09 c | 264299 | 7800 33371 101375 | 2147483647 264299 165 | 0.000 % |
270.03/270.30 c | 265019 | 7800 33371 101375 | 2147483647 265019 165 | 0.000 % |
271.43/271.66 c | 265812 | 7800 33371 101375 | 2147483647 265812 165 | 0.000 % |
273.13/273.33 c | 266683 | 7800 33371 101375 | 2147483647 266683 165 | 0.000 % |
274.74/274.94 c | 267641 | 7800 33371 101375 | 2147483647 267641 165 | 0.000 % |
276.43/276.67 c | 268696 | 7800 33371 101375 | 2147483647 268696 166 | 0.000 % |
278.33/278.54 c | 269854 | 7800 33371 101375 | 2147483647 269854 166 | 0.000 % |
280.43/280.63 c | 271128 | 7800 33371 101375 | 2147483647 271128 166 | 0.000 % |
282.72/282.92 c | 272528 | 7800 33371 101375 | 2147483647 272528 166 | 0.000 % |
285.33/285.50 c | 274069 | 7800 33371 101375 | 2147483647 274069 166 | 0.000 % |
288.22/288.49 c | 275763 | 7800 33371 101375 | 2147483647 275763 166 | 0.000 % |
291.33/291.59 c | 277626 | 7800 33371 101375 | 2147483647 277626 166 | 0.000 % |
294.92/295.20 c | 279675 | 7800 33371 101375 | 2147483647 279675 166 | 0.000 % |
298.72/298.95 c | 281930 | 7800 33371 101375 | 2147483647 281930 166 | 0.000 % |
302.82/303.05 c | 284410 | 7800 33371 101375 | 2147483647 284410 167 | 0.000 % |
307.61/307.80 c | 287136 | 7800 33371 101375 | 2147483647 287136 167 | 0.000 % |
307.82/308.02 c | 287236 | 7800 33371 101375 | 2147483647 287236 167 | 0.000 % |
308.01/308.27 c | 287349 | 7800 33371 101375 | 2147483647 287349 167 | 0.000 % |
308.31/308.54 c | 287471 | 7800 33371 101375 | 2147483647 287471 167 | 0.000 % |
308.61/308.83 c | 287604 | 7800 33371 101375 | 2147483647 287604 167 | 0.000 % |
309.01/309.22 c | 287750 | 7800 33371 101375 | 2147483647 287750 167 | 0.000 % |
309.41/309.65 c | 287911 | 7800 33371 101375 | 2147483647 287911 167 | 0.000 % |
309.81/310.06 c | 288088 | 7800 33371 101375 | 2147483647 288088 167 | 0.000 % |
310.21/310.46 c | 288281 | 7800 33371 101375 | 2147483647 288281 167 | 0.000 % |
310.61/310.85 c | 288493 | 7800 33371 101375 | 2147483647 288493 167 | 0.000 % |
311.12/311.35 c | 288726 | 7800 33371 101375 | 2147483647 288726 167 | 0.000 % |
311.71/311.91 c | 288982 | 7800 33371 101375 | 2147483647 288982 167 | 0.000 % |
312.31/312.51 c | 289264 | 7800 33371 101375 | 2147483647 289264 167 | 0.000 % |
312.91/313.18 c | 289573 | 7800 33371 101375 | 2147483647 289573 167 | 0.000 % |
313.62/313.89 c | 289912 | 7800 33371 101375 | 2147483647 289912 167 | 0.000 % |
314.52/314.70 c | 290286 | 7800 33371 101375 | 2147483647 290286 167 | 0.000 % |
315.31/315.56 c | 290696 | 7800 33371 101375 | 2147483647 290696 167 | 0.000 % |
316.21/316.43 c | 291148 | 7800 33371 101375 | 2147483647 291148 167 | 0.000 % |
317.11/317.38 c | 291641 | 7800 33371 101375 | 2147483647 291641 167 | 0.000 % |
318.21/318.44 c | 292183 | 7800 33371 101375 | 2147483647 292183 167 | 0.000 % |
319.41/319.67 c | 292779 | 7800 33371 101375 | 2147483647 292779 167 | 0.000 % |
320.71/320.97 c | 293434 | 7800 33371 101375 | 2147483647 293434 167 | 0.000 % |
322.01/322.28 c | 294154 | 7800 33371 101375 | 2147483647 294154 167 | 0.000 % |
323.51/323.79 c | 294946 | 7800 33371 101375 | 2147483647 294946 167 | 0.000 % |
325.11/325.39 c | 295820 | 7800 33371 101375 | 2147483647 295820 167 | 0.000 % |
327.01/327.26 c | 296778 | 7800 33371 101375 | 2147483647 296778 167 | 0.000 % |
328.81/329.02 c | 297835 | 7800 33371 101375 | 2147483647 297835 167 | 0.000 % |
330.92/331.20 c | 298996 | 7800 33371 101375 | 2147483647 298996 167 | 0.000 % |
333.51/333.74 c | 300269 | 7800 33371 101375 | 2147483647 300269 167 | 0.000 % |
336.20/336.41 c | 301670 | 7800 33371 101375 | 2147483647 301670 167 | 0.000 % |
338.81/339.05 c | 303210 | 7800 33371 101375 | 2147483647 303210 167 | 0.000 % |
341.70/341.92 c | 304904 | 7800 33371 101375 | 2147483647 304904 167 | 0.000 % |
345.10/345.39 c | 306767 | 7800 33371 101375 | 2147483647 306767 167 | 0.000 % |
348.80/349.09 c | 308817 | 7800 33371 101375 | 2147483647 308817 167 | 0.000 % |
353.10/353.36 c | 311070 | 7800 33371 101375 | 2147483647 311070 167 | 0.000 % |
357.89/358.12 c | 313549 | 7800 33371 101375 | 2147483647 313549 167 | 0.000 % |
363.10/363.34 c | 316274 | 7800 33371 101375 | 2147483647 316274 168 | 0.000 % |
368.79/369.09 c | 319272 | 7800 33371 101375 | 2147483647 319272 168 | 0.000 % |
369.09/369.34 c | 319374 | 7800 33371 101375 | 2147483647 319374 168 | 0.000 % |
369.40/369.66 c | 319485 | 7800 33371 101375 | 2147483647 319485 168 | 0.000 % |
369.69/369.98 c | 319606 | 7800 33371 101375 | 2147483647 319606 168 | 0.000 % |
369.99/370.27 c | 319741 | 7800 33371 101375 | 2147483647 319741 168 | 0.000 % |
370.40/370.61 c | 319888 | 7800 33371 101375 | 2147483647 319888 168 | 0.000 % |
370.69/370.99 c | 320048 | 7800 33371 101375 | 2147483647 320048 168 | 0.000 % |
371.19/371.47 c | 320224 | 7800 33371 101375 | 2147483647 320224 168 | 0.000 % |
371.69/371.93 c | 320418 | 7800 33371 101375 | 2147483647 320418 168 | 0.000 % |
372.19/372.46 c | 320630 | 7800 33371 101375 | 2147483647 320630 168 | 0.000 % |
372.79/373.02 c | 320865 | 7800 33371 101375 | 2147483647 320865 168 | 0.000 % |
373.39/373.66 c | 321122 | 7800 33371 101375 | 2147483647 321122 168 | 0.000 % |
373.99/374.27 c | 321405 | 7800 33371 101375 | 2147483647 321405 168 | 0.000 % |
374.79/375.04 c | 321714 | 7800 33371 101375 | 2147483647 321714 168 | 0.000 % |
375.59/375.87 c | 322055 | 7800 33371 101375 | 2147483647 322055 167 | 0.000 % |
376.49/376.76 c | 322428 | 7800 33371 101375 | 2147483647 322428 167 | 0.000 % |
377.29/377.59 c | 322837 | 7800 33371 101375 | 2147483647 322837 168 | 0.000 % |
378.29/378.59 c | 323287 | 7800 33371 101375 | 2147483647 323287 167 | 0.000 % |
379.39/379.67 c | 323780 | 7800 33371 101375 | 2147483647 323780 167 | 0.000 % |
380.59/380.82 c | 324323 | 7800 33371 101375 | 2147483647 324323 167 | 0.000 % |
381.79/382.07 c | 324920 | 7800 33371 101375 | 2147483647 324920 167 | 0.000 % |
383.28/383.56 c | 325577 | 7800 33371 101375 | 2147483647 325577 168 | 0.000 % |
384.99/385.20 c | 326297 | 7800 33371 101375 | 2147483647 326297 168 | 0.000 % |
386.68/386.91 c | 327090 | 7800 33371 101375 | 2147483647 327090 168 | 0.000 % |
388.48/388.76 c | 327962 | 7800 33371 101375 | 2147483647 327962 168 | 0.000 % |
390.48/390.79 c | 328920 | 7800 33371 101375 | 2147483647 328920 168 | 0.000 % |
392.68/392.95 c | 329975 | 7800 33371 101375 | 2147483647 329975 168 | 0.000 % |
395.19/395.48 c | 331133 | 7800 33371 101375 | 2147483647 331133 168 | 0.000 % |
397.58/397.84 c | 332406 | 7800 33371 101375 | 2147483647 332406 168 | 0.000 % |
400.48/400.71 c | 333806 | 7800 33371 101375 | 2147483647 333806 168 | 0.000 % |
403.48/403.74 c | 335346 | 7800 33371 101375 | 2147483647 335346 168 | 0.000 % |
406.87/407.12 c | 337040 | 7800 33371 101375 | 2147483647 337040 168 | 0.000 % |
410.87/411.14 c | 338903 | 7800 33371 101375 | 2147483647 338903 168 | 0.000 % |
415.08/415.39 c | 340953 | 7800 33371 101375 | 2147483647 340953 168 | 0.000 % |
420.07/420.34 c | 343207 | 7800 33371 101375 | 2147483647 343207 168 | 0.000 % |
424.97/425.22 c | 345687 | 7800 33371 101375 | 2147483647 345687 168 | 0.000 % |
430.57/430.88 c | 348412 | 7800 33371 101375 | 2147483647 348412 168 | 0.000 % |
436.57/436.89 c | 351412 | 7800 33371 101375 | 2147483647 351412 169 | 0.000 % |
443.17/443.42 c | 354709 | 7800 33371 101375 | 2147483647 354709 169 | 0.000 % |
443.37/443.66 c | 354817 | 7800 33371 101375 | 2147483647 354817 169 | 0.000 % |
443.67/443.93 c | 354927 | 7800 33371 101375 | 2147483647 354927 169 | 0.000 % |
443.97/444.27 c | 355048 | 7800 33371 101375 | 2147483647 355048 169 | 0.000 % |
444.47/444.70 c | 355182 | 7800 33371 101375 | 2147483647 355182 169 | 0.000 % |
444.87/445.14 c | 355328 | 7800 33371 101375 | 2147483647 355328 169 | 0.000 % |
445.27/445.59 c | 355488 | 7800 33371 101375 | 2147483647 355488 169 | 0.000 % |
445.77/446.08 c | 355665 | 7800 33371 101375 | 2147483647 355665 169 | 0.000 % |
446.27/446.57 c | 355858 | 7800 33371 101375 | 2147483647 355858 169 | 0.000 % |
446.86/447.18 c | 356070 | 7800 33371 101375 | 2147483647 356070 169 | 0.000 % |
447.66/447.90 c | 356304 | 7800 33371 101375 | 2147483647 356304 169 | 0.000 % |
448.36/448.62 c | 356561 | 7800 33371 101375 | 2147483647 356561 169 | 0.000 % |
449.06/449.39 c | 356842 | 7800 33371 101375 | 2147483647 356842 169 | 0.000 % |
449.86/450.11 c | 357151 | 7800 33371 101375 | 2147483647 357151 169 | 0.000 % |
450.67/450.96 c | 357490 | 7800 33371 101375 | 2147483647 357490 169 | 0.000 % |
451.56/451.80 c | 357864 | 7800 33371 101375 | 2147483647 357864 169 | 0.000 % |
452.46/452.76 c | 358273 | 7800 33371 101375 | 2147483647 358273 169 | 0.000 % |
453.56/453.81 c | 358722 | 7800 33371 101375 | 2147483647 358722 169 | 0.000 % |
454.67/454.92 c | 359215 | 7800 33371 101375 | 2147483647 359215 169 | 0.000 % |
455.86/456.14 c | 359757 | 7800 33371 101375 | 2147483647 359757 169 | 0.000 % |
457.27/457.52 c | 360353 | 7800 33371 101375 | 2147483647 360353 169 | 0.000 % |
458.76/459.00 c | 361009 | 7800 33371 101375 | 2147483647 361009 169 | 0.000 % |
460.36/460.68 c | 361729 | 7800 33371 101375 | 2147483647 361729 169 | 0.000 % |
462.26/462.56 c | 362521 | 7800 33371 101375 | 2147483647 362521 169 | 0.000 % |
464.35/464.67 c | 363393 | 7800 33371 101375 | 2147483647 363393 169 | 0.000 % |
466.56/466.81 c | 364351 | 7800 33371 101375 | 2147483647 364351 169 | 0.000 % |
468.96/469.23 c | 365405 | 7800 33371 101375 | 2147483647 365405 169 | 0.000 % |
471.45/471.76 c | 366563 | 7800 33371 101375 | 2147483647 366563 169 | 0.000 % |
474.46/474.75 c | 367840 | 7800 33371 101375 | 2147483647 367840 169 | 0.000 % |
477.56/477.89 c | 369241 | 7800 33371 101375 | 2147483647 369241 169 | 0.000 % |
480.85/481.12 c | 370781 | 7800 33371 101375 | 2147483647 370781 169 | 0.000 % |
484.55/484.87 c | 372479 | 7800 33371 101375 | 2147483647 372479 169 | 0.000 % |
488.55/488.80 c | 374343 | 7800 33371 101375 | 2147483647 374343 169 | 0.000 % |
492.84/493.10 c | 376392 | 7800 33371 101375 | 2147483647 376392 169 | 0.000 % |
497.95/498.24 c | 378648 | 7800 33371 101375 | 2147483647 378648 169 | 0.000 % |
503.34/503.65 c | 381130 | 7800 33371 101375 | 2147483647 381130 169 | 0.000 % |
509.64/509.91 c | 383855 | 7800 33371 101375 | 2147483647 383855 169 | 0.000 % |
516.04/516.32 c | 386852 | 7800 33371 101375 | 2147483647 386852 169 | 0.000 % |
523.24/523.56 c | 390150 | 7800 33371 101375 | 2147483647 390150 170 | 0.000 % |
531.64/531.94 c | 393775 | 7800 33371 101375 | 2147483647 393775 170 | 0.000 % |
531.94/532.28 c | 393875 | 7800 33371 101375 | 2147483647 393875 170 | 0.000 % |
532.24/532.54 c | 393985 | 7800 33371 101375 | 2147483647 393985 170 | 0.000 % |
532.54/532.89 c | 394106 | 7800 33371 101375 | 2147483647 394106 170 | 0.000 % |
533.04/533.30 c | 394243 | 7800 33371 101375 | 2147483647 394243 170 | 0.000 % |
533.34/533.69 c | 394392 | 7800 33371 101375 | 2147483647 394392 170 | 0.000 % |
533.83/534.18 c | 394554 | 7800 33371 101375 | 2147483647 394554 170 | 0.000 % |
534.53/534.80 c | 394731 | 7800 33371 101375 | 2147483647 394731 170 | 0.000 % |
535.03/535.35 c | 394926 | 7800 33371 101375 | 2147483647 394926 170 | 0.000 % |
535.63/535.99 c | 395138 | 7800 33371 101375 | 2147483647 395138 170 | 0.000 % |
536.23/536.59 c | 395371 | 7800 33371 101375 | 2147483647 395371 170 | 0.000 % |
537.03/537.35 c | 395628 | 7800 33371 101375 | 2147483647 395628 170 | 0.000 % |
537.83/538.15 c | 395909 | 7800 33371 101375 | 2147483647 395909 170 | 0.000 % |
538.73/539.04 c | 396218 | 7800 33371 101375 | 2147483647 396218 170 | 0.000 % |
539.63/539.93 c | 396557 | 7800 33371 101375 | 2147483647 396557 169 | 0.000 % |
540.62/540.99 c | 396931 | 7800 33371 101375 | 2147483647 396931 169 | 0.000 % |
541.73/542.08 c | 397340 | 7800 33371 101375 | 2147483647 397340 170 | 0.000 % |
543.03/543.32 c | 397789 | 7800 33371 101375 | 2147483647 397789 170 | 0.000 % |
544.23/544.50 c | 398282 | 7800 33371 101375 | 2147483647 398282 169 | 0.000 % |
545.63/545.92 c | 398824 | 7800 33371 101375 | 2147483647 398824 169 | 0.000 % |
547.12/547.46 c | 399422 | 7800 33371 101375 | 2147483647 399422 169 | 0.000 % |
548.72/549.06 c | 400079 | 7800 33371 101375 | 2147483647 400079 170 | 0.000 % |
550.63/551.00 c | 400800 | 7800 33371 101375 | 2147483647 400800 170 | 0.000 % |
552.73/553.07 c | 401592 | 7800 33371 101375 | 2147483647 401592 170 | 0.000 % |
555.13/555.45 c | 402463 | 7800 33371 101375 | 2147483647 402463 170 | 0.000 % |
557.52/557.86 c | 403421 | 7800 33371 101375 | 2147483647 403421 170 | 0.000 % |
560.31/560.65 c | 404474 | 7800 33371 101375 | 2147483647 404474 170 | 0.000 % |
562.92/563.23 c | 405632 | 7800 33371 101375 | 2147483647 405632 170 | 0.000 % |
566.02/566.34 c | 406908 | 7800 33371 101375 | 2147483647 406908 170 | 0.000 % |
569.52/569.83 c | 408308 | 7800 33371 101375 | 2147483647 408308 170 | 0.000 % |
573.42/573.71 c | 409848 | 7800 33371 101375 | 2147483647 409848 170 | 0.000 % |
577.41/577.75 c | 411544 | 7800 33371 101375 | 2147483647 411544 170 | 0.000 % |
582.01/582.39 c | 413407 | 7800 33371 101375 | 2147483647 413407 170 | 0.000 % |
586.91/587.26 c | 415456 | 7800 33371 101375 | 2147483647 415456 170 | 0.000 % |
592.21/592.54 c | 417709 | 7800 33371 101375 | 2147483647 417709 170 | 0.000 % |
598.12/598.49 c | 420193 | 7800 33371 101375 | 2147483647 420193 170 | 0.000 % |
604.31/604.64 c | 422918 | 7800 33371 101375 | 2147483647 422918 170 | 0.000 % |
611.31/611.64 c | 425915 | 7800 33371 101375 | 2147483647 425915 170 | 0.000 % |
619.40/619.73 c | 429213 | 7800 33371 101375 | 2147483647 429213 170 | 0.000 % |
628.39/628.76 c | 432838 | 7800 33371 101375 | 2147483647 432838 171 | 0.000 % |
638.30/638.68 c | 436825 | 7800 33371 101375 | 2147483647 436825 171 | 0.000 % |
638.70/639.02 c | 436925 | 7800 33371 101375 | 2147483647 436925 171 | 0.000 % |
639.10/639.43 c | 437035 | 7800 33371 101375 | 2147483647 437035 171 | 0.000 % |
639.59/639.91 c | 437160 | 7800 33371 101375 | 2147483647 437160 171 | 0.000 % |
639.99/640.39 c | 437293 | 7800 33371 101375 | 2147483647 437293 170 | 0.000 % |
640.49/640.86 c | 437440 | 7800 33371 101375 | 2147483647 437440 170 | 0.000 % |
641.09/641.42 c | 437600 | 7800 33371 101375 | 2147483647 437600 170 | 0.000 % |
641.69/642.03 c | 437777 | 7800 33371 101375 | 2147483647 437777 170 | 0.000 % |
642.19/642.58 c | 437971 | 7800 33371 101375 | 2147483647 437971 170 | 0.000 % |
642.89/643.27 c | 438185 | 7800 33371 101375 | 2147483647 438185 170 | 0.000 % |
643.59/643.94 c | 438419 | 7800 33371 101375 | 2147483647 438419 170 | 0.000 % |
644.39/644.71 c | 438676 | 7800 33371 101375 | 2147483647 438676 170 | 0.000 % |
645.19/645.55 c | 438958 | 7800 33371 101375 | 2147483647 438958 170 | 0.000 % |
646.08/646.40 c | 439267 | 7800 33371 101375 | 2147483647 439267 170 | 0.000 % |
647.08/647.41 c | 439609 | 7800 33371 101375 | 2147483647 439609 170 | 0.000 % |
648.09/648.46 c | 439981 | 7800 33371 101375 | 2147483647 439981 170 | 0.000 % |
649.19/649.55 c | 440392 | 7800 33371 101375 | 2147483647 440392 170 | 0.000 % |
650.29/650.64 c | 440841 | 7800 33371 101375 | 2147483647 440841 170 | 0.000 % |
651.79/652.14 c | 441334 | 7800 33371 101375 | 2147483647 441334 170 | 0.000 % |
653.49/653.80 c | 441876 | 7800 33371 101375 | 2147483647 441876 170 | 0.000 % |
655.29/655.68 c | 442473 | 7800 33371 101375 | 2147483647 442473 170 | 0.000 % |
657.09/657.49 c | 443128 | 7800 33371 101375 | 2147483647 443128 170 | 0.000 % |
659.18/659.58 c | 443849 | 7800 33371 101375 | 2147483647 443849 170 | 0.000 % |
661.58/661.91 c | 444641 | 7800 33371 101375 | 2147483647 444641 170 | 0.000 % |
663.88/664.28 c | 445512 | 7800 33371 101375 | 2147483647 445512 170 | 0.000 % |
666.78/667.12 c | 446470 | 7800 33371 101375 | 2147483647 446470 170 | 0.000 % |
669.68/670.06 c | 447523 | 7800 33371 101375 | 2147483647 447523 170 | 0.000 % |
672.98/673.31 c | 448683 | 7800 33371 101375 | 2147483647 448683 170 | 0.000 % |
676.27/676.60 c | 449956 | 7800 33371 101375 | 2147483647 449956 170 | 0.000 % |
680.48/680.86 c | 451356 | 7800 33371 101375 | 450000 400453 169 | 0.000 % |
683.97/684.36 c | 452898 | 7800 33371 101375 | 450000 401995 170 | 0.000 % |
687.97/688.37 c | 454594 | 7800 33371 101375 | 450000 403691 170 | 0.000 % |
692.57/692.99 c | 456457 | 7800 33371 101375 | 450000 405554 170 | 0.000 % |
697.07/697.47 c | 458507 | 7800 33371 101375 | 450000 407604 170 | 0.000 % |
702.57/702.96 c | 460761 | 7800 33371 101375 | 2147483647 409858 170 | 0.000 % |
708.76/709.17 c | 463241 | 7800 33371 101375 | 2147483647 412338 170 | 0.000 % |
715.36/715.75 c | 465966 | 7800 33371 101375 | 2147483647 415063 170 | 0.000 % |
722.06/722.44 c | 468963 | 7800 33371 101375 | 2147483647 418060 170 | 0.000 % |
730.06/730.41 c | 472259 | 7800 33371 101375 | 2147483647 421356 171 | 0.000 % |
738.86/739.28 c | 475884 | 7800 33371 101375 | 2147483647 424981 171 | 0.000 % |
748.55/748.99 c | 479873 | 7800 33371 101375 | 2147483647 428970 171 | 0.000 % |
759.15/759.50 c | 484260 | 7800 33371 101375 | 2147483647 433357 172 | 0.000 % |
759.45/759.84 c | 484362 | 7800 33371 101375 | 2147483647 433459 172 | 0.000 % |
759.85/760.25 c | 484472 | 7800 33371 101375 | 2147483647 433569 172 | 0.000 % |
760.25/760.69 c | 484593 | 7800 33371 101375 | 2147483647 433690 172 | 0.000 % |
760.75/761.17 c | 484728 | 7800 33371 101375 | 2147483647 433825 171 | 0.000 % |
761.24/761.67 c | 484874 | 7800 33371 101375 | 2147483647 433971 171 | 0.000 % |
761.85/762.23 c | 485035 | 7800 33371 101375 | 2147483647 434132 171 | 0.000 % |
762.44/762.86 c | 485211 | 7800 33371 101375 | 2147483647 434308 171 | 0.000 % |
763.05/763.44 c | 485407 | 7800 33371 101375 | 2147483647 434504 171 | 0.000 % |
763.74/764.12 c | 485619 | 7800 33371 101375 | 2147483647 434716 171 | 0.000 % |
764.44/764.84 c | 485854 | 7800 33371 101375 | 2147483647 434951 171 | 0.000 % |
765.15/765.59 c | 486111 | 7800 33371 101375 | 2147483647 435208 171 | 0.000 % |
766.04/766.43 c | 486393 | 7800 33371 101375 | 2147483647 435490 171 | 0.000 % |
767.04/767.42 c | 486703 | 7800 33371 101375 | 2147483647 435800 171 | 0.000 % |
768.04/768.41 c | 487043 | 7800 33371 101375 | 2147483647 436140 171 | 0.000 % |
769.24/769.60 c | 487419 | 7800 33371 101375 | 2147483647 436516 171 | 0.000 % |
770.44/770.85 c | 487830 | 7800 33371 101375 | 2147483647 436927 171 | 0.000 % |
771.84/772.24 c | 488282 | 7800 33371 101375 | 2147483647 437379 171 | 0.000 % |
773.24/773.60 c | 488777 | 7800 33371 101375 | 2147483647 437874 171 | 0.000 % |
774.64/775.09 c | 489321 | 7800 33371 101375 | 2147483647 438418 171 | 0.000 % |
776.34/776.77 c | 489917 | 7800 33371 101375 | 2147483647 439014 171 | 0.000 % |
778.24/778.66 c | 490572 | 7800 33371 101375 | 2147483647 439669 171 | 0.000 % |
780.24/780.68 c | 491295 | 7800 33371 101375 | 2147483647 440392 171 | 0.000 % |
782.44/782.89 c | 492088 | 7800 33371 101375 | 2147483647 441185 171 | 0.000 % |
784.94/785.35 c | 492961 | 7800 33371 101375 | 2147483647 442058 171 | 0.000 % |
787.74/788.16 c | 493920 | 7800 33371 101375 | 2147483647 443017 171 | 0.000 % |
790.44/790.86 c | 494973 | 7800 33371 101375 | 2147483647 444070 171 | 0.000 % |
793.53/793.95 c | 496131 | 7800 33371 101375 | 2147483647 445228 171 | 0.000 % |
796.93/797.38 c | 497404 | 7800 33371 101375 | 2147483647 446501 171 | 0.000 % |
800.83/801.27 c | 498804 | 7800 33371 101375 | 2147483647 447901 171 | 0.000 % |
804.84/805.28 c | 500346 | 7800 33371 101375 | 449098 449443 171 | 0.000 % |
809.43/809.82 c | 502041 | 7800 33371 101375 | 449098 403907 172 | 0.000 % |
814.13/814.56 c | 503904 | 7800 33371 101375 | 449098 405770 172 | 0.000 % |
819.03/819.48 c | 505953 | 7800 33371 101375 | 449098 407819 172 | 0.000 % |
824.43/824.89 c | 508206 | 7800 33371 101375 | 449098 410072 172 | 0.000 % |
830.22/830.65 c | 510687 | 7800 33371 101375 | 2147483647 412553 172 | 0.000 % |
836.92/837.34 c | 513412 | 7800 33371 101375 | 2147483647 415278 173 | 0.000 % |
844.22/844.69 c | 516409 | 7800 33371 101375 | 2147483647 418275 173 | 0.000 % |
852.22/852.62 c | 519705 | 7800 33371 101375 | 2147483647 421571 173 | 0.000 % |
861.31/861.74 c | 523330 | 7800 33371 101375 | 2147483647 425196 173 | 0.000 % |
871.31/871.78 c | 527317 | 7800 33371 101375 | 2147483647 429183 173 | 0.000 % |
881.90/882.39 c | 531702 | 7800 33371 101375 | 2147483647 433568 173 | 0.000 % |
893.30/893.71 c | 536528 | 7800 33371 101375 | 2147483647 438394 174 | 0.000 % |
893.60/894.08 c | 536629 | 7800 33371 101375 | 2147483647 438495 174 | 0.000 % |
894.00/894.46 c | 536740 | 7800 33371 101375 | 2147483647 438606 174 | 0.000 % |
894.40/894.85 c | 536861 | 7800 33371 101375 | 2147483647 438727 174 | 0.000 % |
894.80/895.29 c | 536996 | 7800 33371 101375 | 2147483647 438862 174 | 0.000 % |
895.40/895.80 c | 537142 | 7800 33371 101375 | 2147483647 439008 174 | 0.000 % |
895.80/896.29 c | 537304 | 7800 33371 101375 | 2147483647 439170 174 | 0.000 % |
896.40/896.80 c | 537480 | 7800 33371 101375 | 2147483647 439346 174 | 0.000 % |
897.00/897.46 c | 537673 | 7800 33371 101375 | 2147483647 439539 174 | 0.000 % |
897.70/898.11 c | 537888 | 7800 33371 101375 | 2147483647 439754 174 | 0.000 % |
898.40/898.82 c | 538122 | 7800 33371 101375 | 2147483647 439988 174 | 0.000 % |
899.10/899.55 c | 538378 | 7800 33371 101375 | 2147483647 440244 174 | 0.000 % |
900.00/900.43 c | 538659 | 7800 33371 101375 | 2147483647 440525 174 | 0.000 % |
900.90/901.39 c | 538968 | 7800 33371 101375 | 2147483647 440834 174 | 0.000 % |
902.10/902.53 c | 539307 | 7800 33371 101375 | 2147483647 441173 174 | 0.000 % |
903.19/903.67 c | 539681 | 7800 33371 101375 | 2147483647 441547 174 | 0.000 % |
904.49/904.90 c | 540090 | 7800 33371 101375 | 2147483647 441956 174 | 0.000 % |
905.79/906.23 c | 540539 | 7800 33371 101375 | 2147483647 442405 174 | 0.000 % |
907.29/907.78 c | 541035 | 7800 33371 101375 | 2147483647 442901 174 | 0.000 % |
908.99/909.42 c | 541578 | 7800 33371 101375 | 2147483647 443444 174 | 0.000 % |
910.59/911.09 c | 542176 | 7800 33371 101375 | 2147483647 444042 174 | 0.000 % |
912.59/913.09 c | 542831 | 7800 33371 101375 | 2147483647 444697 174 | 0.000 % |
914.60/915.01 c | 543551 | 7800 33371 101375 | 2147483647 445417 174 | 0.000 % |
916.90/917.36 c | 544346 | 7800 33371 101375 | 2147483647 446212 174 | 0.000 % |
919.20/919.65 c | 545217 | 7800 33371 101375 | 2147483647 447083 174 | 0.000 % |
921.69/922.11 c | 546176 | 7800 33371 101375 | 2147483647 448042 174 | 0.000 % |
924.39/924.85 c | 547229 | 7800 33371 101375 | 2147483647 449095 174 | 0.000 % |
927.49/928.00 c | 548389 | 7800 33371 101375 | 2147483647 450255 174 | 0.000 % |
930.79/931.29 c | 549665 | 7800 33371 101375 | 2147483647 451531 174 | 0.000 % |
934.49/934.95 c | 551065 | 7800 33371 101375 | 451866 452931 174 | 0.000 % |
938.99/939.42 c | 552605 | 7800 33371 101375 | 451866 407157 174 | 0.000 % |
943.08/943.59 c | 554299 | 7800 33371 101375 | 451866 408851 174 | 0.000 % |
947.68/948.20 c | 556163 | 7800 33371 101375 | 451866 410715 175 | 0.000 % |
952.88/953.33 c | 558213 | 7800 33371 101375 | 451866 412765 175 | 0.000 % |
958.38/958.84 c | 560468 | 7800 33371 101375 | 2147483647 415020 175 | 0.000 % |
964.57/965.03 c | 562947 | 7800 33371 101375 | 2147483647 417499 175 | 0.000 % |
971.17/971.65 c | 565674 | 7800 33371 101375 | 2147483647 420226 175 | 0.000 % |
978.87/979.39 c | 568672 | 7800 33371 101375 | 2147483647 423224 175 | 0.000 % |
987.08/987.56 c | 571968 | 7800 33371 101375 | 2147483647 426520 175 | 0.000 % |
996.18/996.65 c | 575594 | 7800 33371 101375 | 2147483647 430146 175 | 0.000 % |
1006.67/1007.11 c | 579582 | 7800 33371 101375 | 2147483647 434134 175 | 0.000 % |
1017.76/1018.24 c | 583967 | 7800 33371 101375 | 2147483647 438519 175 | 0.000 % |
1029.76/1030.23 c | 588790 | 7800 33371 101375 | 2147483647 443342 176 | 0.000 % |
1043.65/1044.16 c | 594096 | 7800 33371 101375 | 2147483647 448648 176 | 0.000 % |
1044.15/1044.61 c | 594200 | 7800 33371 101375 | 2147483647 448752 176 | 0.000 % |
1044.55/1045.03 c | 594310 | 7800 33371 101375 | 2147483647 448862 176 | 0.000 % |
1044.95/1045.43 c | 594431 | 7800 33371 101375 | 2147483647 448983 176 | 0.000 % |
1045.44/1045.91 c | 594564 | 7800 33371 101375 | 2147483647 449116 176 | 0.000 % |
1046.04/1046.52 c | 594710 | 7800 33371 101375 | 2147483647 449262 176 | 0.000 % |
1046.55/1047.02 c | 594870 | 7800 33371 101375 | 2147483647 449422 176 | 0.000 % |
1047.15/1047.67 c | 595047 | 7800 33371 101375 | 2147483647 449599 176 | 0.000 % |
1047.95/1048.42 c | 595240 | 7800 33371 101375 | 2147483647 449792 176 | 0.000 % |
1048.65/1049.15 c | 595452 | 7800 33371 101375 | 2147483647 450004 176 | 0.000 % |
1049.35/1049.86 c | 595685 | 7800 33371 101375 | 2147483647 450237 176 | 0.000 % |
1050.15/1050.62 c | 595947 | 7800 33371 101375 | 2147483647 450499 176 | 0.000 % |
1050.95/1051.43 c | 596229 | 7800 33371 101375 | 2147483647 450781 176 | 0.000 % |
1051.85/1052.39 c | 596538 | 7800 33371 101375 | 2147483647 451090 176 | 0.000 % |
1053.05/1053.59 c | 596879 | 7800 33371 101375 | 2147483647 451431 176 | 0.000 % |
1054.24/1054.77 c | 597251 | 7800 33371 101375 | 2147483647 451803 176 | 0.000 % |
1055.45/1055.94 c | 597660 | 7800 33371 101375 | 2147483647 452212 176 | 0.000 % |
1056.74/1057.29 c | 598109 | 7800 33371 101375 | 2147483647 452661 176 | 0.000 % |
1058.14/1058.65 c | 598602 | 7800 33371 101375 | 2147483647 453154 176 | 0.000 % |
1059.85/1060.34 c | 599144 | 7800 33371 101375 | 2147483647 453696 176 | 0.000 % |
1061.64/1062.19 c | 599740 | 7800 33371 101375 | 2147483647 454292 176 | 0.000 % |
1063.64/1064.14 c | 600395 | 7800 33371 101375 | 454553 454947 176 | 0.000 % |
1066.04/1066.53 c | 601116 | 7800 33371 101375 | 454553 403042 177 | 0.000 % |
1068.14/1068.66 c | 601908 | 7800 33371 101375 | 454553 403834 177 | 0.000 % |
1070.44/1070.92 c | 602779 | 7800 33371 101375 | 454553 404705 177 | 0.000 % |
1072.64/1073.20 c | 603737 | 7800 33371 101375 | 454553 405663 177 | 0.000 % |
1075.24/1075.72 c | 604790 | 7800 33371 101375 | 454553 406716 177 | 0.000 % |
1078.13/1078.66 c | 605950 | 7800 33371 101375 | 454553 407876 177 | 0.000 % |
1081.43/1081.93 c | 607226 | 7800 33371 101375 | 454553 409152 177 | 0.000 % |
1085.04/1085.50 c | 608628 | 7800 33371 101375 | 454553 410554 177 | 0.000 % |
1088.64/1089.19 c | 610169 | 7800 33371 101375 | 2147483647 412095 177 | 0.000 % |
1093.03/1093.52 c | 611863 | 7800 33371 101375 | 2147483647 413789 177 | 0.000 % |
1097.63/1098.16 c | 613726 | 7800 33371 101375 | 2147483647 415652 177 | 0.000 % |
1102.63/1103.17 c | 615780 | 7800 33371 101375 | 2147483647 417706 177 | 0.000 % |
1108.23/1108.76 c | 618033 | 7800 33371 101375 | 2147483647 419959 178 | 0.000 % |
1114.42/1114.99 c | 620511 | 7800 33371 101375 | 2147483647 422437 178 | 0.000 % |
1121.43/1121.92 c | 623242 | 7800 33371 101375 | 2147483647 425168 178 | 0.000 % |
1129.02/1129.54 c | 626240 | 7800 33371 101375 | 2147483647 428166 178 | 0.000 % |
1137.22/1137.76 c | 629537 | 7800 33371 101375 | 2147483647 431463 178 | 0.000 % |
1146.72/1147.24 c | 633167 | 7800 33371 101375 | 2147483647 435093 178 | 0.000 % |
1156.51/1157.07 c | 637154 | 7800 33371 101375 | 2147483647 439080 178 | 0.000 % |
1167.90/1168.40 c | 641540 | 7800 33371 101375 | 2147483647 443466 178 | 0.000 % |
1180.60/1181.13 c | 646363 | 7800 33371 101375 | 2147483647 448289 178 | 0.000 % |
1194.10/1194.68 c | 651668 | 7800 33371 101375 | 2147483647 453594 178 | 0.000 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1832689-1242786275/watcher-1832689-1242786275 -o /tmp/evaluation-result-1832689-1242786275/solver-1832689-1242786275 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832689-1242786275.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 11161
/proc/meminfo: memFree=1657856/2055920 swapFree=4180152/4192956
[pid=11161] ppid=11159 vsize=5356 CPUtime=0
/proc/11161/stat : 11161 (SatELiteGTI) S 11159 11161 10551 0 -1 4194304 276 0 0 0 0 0 0 0 16 0 1 0 306661502 5484544 235 1992294400 4194304 4889804 548682068832 18446744073709551615 259913384018 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/11161/statm: 1339 235 195 169 0 50 0
[pid=11162] ppid=11161 vsize=5356 CPUtime=0
/proc/11162/stat : 11162 (SatELiteGTI) R 11161 11161 10551 0 -1 4194368 51 25 0 0 0 0 0 0 21 0 1 0 306661503 5484544 238 1992294400 4194304 4889804 548682068832 18446744073709551615 259913212740 0 65536 4096 65538 0 0 0 17 0 0 0
/proc/11162/statm: 1339 238 198 169 0 50 0
[pid=11164] ppid=11162 vsize=0 CPUtime=0
/proc/11164/stat : 11164 (sed) Z 11162 11161 10551 0 -1 4194316 163 0 0 0 0 0 0 0 18 0 1 0 306661503 0 0 1992294400 0 0 0 0 0 0 0 4096 0 18446744071563351923 0 0 17 1 0 0
/proc/11164/statm: 0 0 0 0 0 0 0
[startup+0.0648049 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 11161
/proc/meminfo: memFree=1657856/2055920 swapFree=4180152/4192956
[pid=11161] ppid=11159 vsize=5356 CPUtime=0
/proc/11161/stat : 11161 (SatELiteGTI) S 11159 11161 10551 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 306661502 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11161/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.101811 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 11161
/proc/meminfo: memFree=1657856/2055920 swapFree=4180152/4192956
[pid=11161] ppid=11159 vsize=5356 CPUtime=0
/proc/11161/stat : 11161 (SatELiteGTI) S 11159 11161 10551 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 306661502 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11161/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301852 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 11161
/proc/meminfo: memFree=1657856/2055920 swapFree=4180152/4192956
[pid=11161] ppid=11159 vsize=5356 CPUtime=0.14
/proc/11161/stat : 11161 (SatELiteGTI) S 11159 11161 10551 0 -1 4194304 336 1326 0 0 0 0 13 1 16 0 1 0 306661502 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11161/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 5356
[startup+0.701924 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 11161
/proc/meminfo: memFree=1657856/2055920 swapFree=4180152/4192956
[pid=11161] ppid=11159 vsize=5356 CPUtime=0.14
/proc/11161/stat : 11161 (SatELiteGTI) S 11159 11161 10551 0 -1 4194304 336 1326 0 0 0 0 13 1 16 0 1 0 306661502 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11161/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 5356
[startup+1.50106 s]
/proc/loadavg: 0.92 0.98 0.99 2/66 11167
/proc/meminfo: memFree=1652208/2055920 swapFree=4180152/4192956
[pid=11161] ppid=11159 vsize=5356 CPUtime=0.14
/proc/11161/stat : 11161 (SatELiteGTI) S 11159 11161 10551 0 -1 4194304 336 1326 0 0 0 0 13 1 16 0 1 0 306661502 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11161/statm: 1339 239 197 169 0 50 0
[pid=11167] ppid=11161 vsize=6988 CPUtime=1.33
/proc/11167/stat : 11167 (minisat_static) R 11161 11161 10551 0 -1 4194304 1511 0 0 0 133 0 0 0 25 0 1 0 306661518 7155712 1497 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 1 0 0
/proc/11167/statm: 1747 1497 77 171 0 1574 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 12344
[startup+3.10134 s]
/proc/loadavg: 0.92 0.98 0.99 2/66 11167
/proc/meminfo: memFree=1649776/2055920 swapFree=4180152/4192956
[pid=11161] ppid=11159 vsize=5356 CPUtime=0.14
/proc/11161/stat : 11161 (SatELiteGTI) S 11159 11161 10551 0 -1 4194304 336 1326 0 0 0 0 13 1 16 0 1 0 306661502 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11161/statm: 1339 239 197 169 0 50 0
[pid=11167] ppid=11161 vsize=10024 CPUtime=2.93
/proc/11167/stat : 11167 (minisat_static) R 11161 11161 10551 0 -1 4194304 2295 0 0 0 291 2 0 0 25 0 1 0 306661518 10264576 2281 1992294400 134512640 135215339 4294956240 18446744073709551615 134544549 0 0 4096 3 0 0 0 17 1 0 0
/proc/11167/statm: 2506 2281 77 171 0 2333 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 15380
[startup+6.3019 s]
/proc/loadavg: 0.93 0.98 0.99 2/66 11167
/proc/meminfo: memFree=1643632/2055920 swapFree=4180152/4192956
[pid=11161] ppid=11159 vsize=5356 CPUtime=0.14
/proc/11161/stat : 11161 (SatELiteGTI) S 11159 11161 10551 0 -1 4194304 336 1326 0 0 0 0 13 1 16 0 1 0 306661502 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11161/statm: 1339 239 197 169 0 50 0
[pid=11167] ppid=11161 vsize=15440 CPUtime=6.12
/proc/11167/stat : 11167 (minisat_static) R 11161 11161 10551 0 -1 4194304 3637 0 0 0 609 3 0 0 25 0 1 0 306661518 15810560 3623 1992294400 134512640 135215339 4294956240 18446744073709551615 134528624 0 0 4096 3 0 0 0 17 1 0 0
/proc/11167/statm: 3860 3623 77 171 0 3687 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 20796
[startup+12.702 s]
/proc/loadavg: 0.93 0.98 0.99 2/66 11167
/proc/meminfo: memFree=1633904/2055920 swapFree=4180152/4192956
[pid=11161] ppid=11159 vsize=5356 CPUtime=0.14
/proc/11161/stat : 11161 (SatELiteGTI) S 11159 11161 10551 0 -1 4194304 336 1326 0 0 0 0 13 1 16 0 1 0 306661502 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11161/statm: 1339 239 197 169 0 50 0
[pid=11167] ppid=11161 vsize=24712 CPUtime=12.52
/proc/11167/stat : 11167 (minisat_static) R 11161 11161 10551 0 -1 4194304 5941 0 0 0 1246 6 0 0 25 0 1 0 306661518 25305088 5927 1992294400 134512640 135215339 4294956240 18446744073709551615 134528899 0 0 4096 3 0 0 0 17 1 0 0
/proc/11167/statm: 6178 5927 77 171 0 6005 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 30068
[startup+25.5013 s]
/proc/loadavg: 0.95 0.98 0.99 2/66 11167
/proc/meminfo: memFree=1617840/2055920 swapFree=4180152/4192956
[pid=11161] ppid=11159 vsize=5356 CPUtime=0.14
/proc/11161/stat : 11161 (SatELiteGTI) S 11159 11161 10551 0 -1 4194304 336 1326 0 0 0 0 13 1 16 0 1 0 306661502 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11161/statm: 1339 239 197 169 0 50 0
[pid=11167] ppid=11161 vsize=40104 CPUtime=25.3
/proc/11167/stat : 11167 (minisat_static) R 11161 11161 10551 0 -1 4194304 9806 0 0 0 2521 9 0 0 25 0 1 0 306661518 41066496 9792 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/11167/statm: 10026 9792 77 171 0 9853 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 45460
[startup+51.1017 s]
/proc/loadavg: 0.96 0.98 0.99 2/66 11167
/proc/meminfo: memFree=1594224/2055920 swapFree=4180152/4192956
[pid=11161] ppid=11159 vsize=5356 CPUtime=0.14
/proc/11161/stat : 11161 (SatELiteGTI) S 11159 11161 10551 0 -1 4194304 336 1326 0 0 0 0 13 1 16 0 1 0 306661502 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11161/statm: 1339 239 197 169 0 50 0
[pid=11167] ppid=11161 vsize=63900 CPUtime=50.88
/proc/11167/stat : 11167 (minisat_static) R 11161 11161 10551 0 -1 4194304 15723 0 0 0 5071 17 0 0 25 0 1 0 306661518 65433600 15709 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/11167/statm: 15975 15709 77 171 0 15802 0
Current children cumulated CPU time (s) 51.02
Current children cumulated vsize (KiB) 69256
[startup+102.306 s]
/proc/loadavg: 0.98 0.98 0.99 2/66 11167
/proc/meminfo: memFree=1556656/2055920 swapFree=4180152/4192956
[pid=11161] ppid=11159 vsize=5356 CPUtime=0.14
/proc/11161/stat : 11161 (SatELiteGTI) S 11159 11161 10551 0 -1 4194304 336 1326 0 0 0 0 13 1 16 0 1 0 306661502 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11161/statm: 1339 239 197 169 0 50 0
[pid=11167] ppid=11161 vsize=101128 CPUtime=102.07
/proc/11167/stat : 11167 (minisat_static) R 11161 11161 10551 0 -1 4194304 25016 0 0 0 10179 28 0 0 25 0 1 0 306661518 103555072 25002 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/11167/statm: 25282 25002 77 171 0 25109 0
Current children cumulated CPU time (s) 102.21
Current children cumulated vsize (KiB) 106484
[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 11167
/proc/meminfo: memFree=1523504/2055920 swapFree=4180152/4192956
[pid=11161] ppid=11159 vsize=5356 CPUtime=0.14
/proc/11161/stat : 11161 (SatELiteGTI) S 11159 11161 10551 0 -1 4194304 336 1326 0 0 0 0 13 1 16 0 1 0 306661502 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11161/statm: 1339 239 197 169 0 50 0
[pid=11167] ppid=11161 vsize=134128 CPUtime=162.03
/proc/11167/stat : 11167 (minisat_static) R 11161 11161 10551 0 -1 4194304 33312 0 0 0 16166 37 0 0 25 0 1 0 306661518 137347072 33298 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/11167/statm: 33532 33298 77 171 0 33359 0
Current children cumulated CPU time (s) 162.17
Current children cumulated vsize (KiB) 139484
[startup+222.303 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 11167
/proc/meminfo: memFree=1492592/2055920 swapFree=4180152/4192956
[pid=11161] ppid=11159 vsize=5356 CPUtime=0.14
/proc/11161/stat : 11161 (SatELiteGTI) S 11159 11161 10551 0 -1 4194304 336 1326 0 0 0 0 13 1 16 0 1 0 306661502 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11161/statm: 1339 239 197 169 0 50 0
[pid=11167] ppid=11161 vsize=164892 CPUtime=222.01
/proc/11167/stat : 11167 (minisat_static) R 11161 11161 10551 0 -1 4194304 40936 0 0 0 22155 46 0 0 25 0 1 0 306661518 168849408 40922 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/11167/statm: 41223 40922 77 171 0 41050 0
Current children cumulated CPU time (s) 222.15
Current children cumulated vsize (KiB) 170248
[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 11167
/proc/meminfo: memFree=1466416/2055920 swapFree=4180152/4192956
[pid=11161] ppid=11159 vsize=5356 CPUtime=0.14
/proc/11161/stat : 11161 (SatELiteGTI) S 11159 11161 10551 0 -1 4194304 336 1326 0 0 0 0 13 1 16 0 1 0 306661502 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11161/statm: 1339 239 197 169 0 50 0
[pid=11167] ppid=11161 vsize=191292 CPUtime=281.98
/proc/11167/stat : 11167 (minisat_static) R 11161 11161 10551 0 -1 4194304 47568 0 0 0 28145 53 0 0 25 0 1 0 306661518 195883008 47554 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/11167/statm: 47823 47554 77 171 0 47650 0
Current children cumulated CPU time (s) 282.12
Current children cumulated vsize (KiB) 196648
[startup+342.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 11167
/proc/meminfo: memFree=1441840/2055920 swapFree=4180152/4192956
[pid=11161] ppid=11159 vsize=5356 CPUtime=0.14
/proc/11161/stat : 11161 (SatELiteGTI) S 11159 11161 10551 0 -1 4194304 336 1326 0 0 0 0 13 1 16 0 1 0 306661502 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11161/statm: 1339 239 197 169 0 50 0
[pid=11167] ppid=11161 vsize=215184 CPUtime=341.96
/proc/11167/stat : 11167 (minisat_static) R 11161 11161 10551 0 -1 4194304 53575 0 0 0 34134 62 0 0 25 0 1 0 306661518 220348416 53561 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/11167/statm: 53796 53561 77 171 0 53623 0
Current children cumulated CPU time (s) 342.1
Current children cumulated vsize (KiB) 220540
[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 11167
/proc/meminfo: memFree=1420272/2055920 swapFree=4180152/4192956
[pid=11161] ppid=11159 vsize=5356 CPUtime=0.14
/proc/11161/stat : 11161 (SatELiteGTI) S 11159 11161 10551 0 -1 4194304 336 1326 0 0 0 0 13 1 16 0 1 0 306661502 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11161/statm: 1339 239 197 169 0 50 0
[pid=11167] ppid=11161 vsize=237308 CPUtime=401.94
################
# More data... #
################
/proc/11167/statm: 69458 69157 77 171 0 69285 0
Current children cumulated CPU time (s) 522.04
Current children cumulated vsize (KiB) 283188
[startup+582.302 s]
/proc/loadavg: 0.99 0.98 0.99 3/66 11167
/proc/meminfo: memFree=1361712/2055920 swapFree=4180152/4192956
[pid=11161] ppid=11159 vsize=5356 CPUtime=0.14
/proc/11161/stat : 11161 (SatELiteGTI) S 11159 11161 10551 0 -1 4194304 336 1326 0 0 0 0 13 1 16 0 1 0 306661502 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11161/statm: 1339 239 197 169 0 50 0
[pid=11167] ppid=11161 vsize=294992 CPUtime=581.87
/proc/11167/stat : 11167 (minisat_static) R 11161 11161 10551 0 -1 4194304 73480 0 0 0 58100 87 0 0 25 0 1 0 306661518 302071808 73466 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/11167/statm: 73748 73466 77 171 0 73575 0
Current children cumulated CPU time (s) 582.01
Current children cumulated vsize (KiB) 300348
[startup+642.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 11167
/proc/meminfo: memFree=1343024/2055920 swapFree=4180152/4192956
[pid=11161] ppid=11159 vsize=5356 CPUtime=0.14
/proc/11161/stat : 11161 (SatELiteGTI) S 11159 11161 10551 0 -1 4194304 336 1326 0 0 0 0 13 1 16 0 1 0 306661502 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11161/statm: 1339 239 197 169 0 50 0
[pid=11167] ppid=11161 vsize=313340 CPUtime=641.85
/proc/11167/stat : 11167 (minisat_static) R 11161 11161 10551 0 -1 4194304 78081 0 0 0 64092 93 0 0 25 0 1 0 306661518 320860160 78067 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 1 0 0
/proc/11167/statm: 78335 78067 77 171 0 78162 0
Current children cumulated CPU time (s) 641.99
Current children cumulated vsize (KiB) 318696
[startup+702.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 11167
/proc/meminfo: memFree=1333616/2055920 swapFree=4180152/4192956
[pid=11161] ppid=11159 vsize=5356 CPUtime=0.14
/proc/11161/stat : 11161 (SatELiteGTI) S 11159 11161 10551 0 -1 4194304 336 1326 0 0 0 0 13 1 16 0 1 0 306661502 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11161/statm: 1339 239 197 169 0 50 0
[pid=11167] ppid=11161 vsize=322580 CPUtime=701.83
/proc/11167/stat : 11167 (minisat_static) R 11161 11161 10551 0 -1 4194304 80397 0 0 0 70087 96 0 0 25 0 1 0 306661518 330321920 80383 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/11167/statm: 80645 80383 77 171 0 80472 0
Current children cumulated CPU time (s) 701.97
Current children cumulated vsize (KiB) 327936
[startup+762.305 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 11167
/proc/meminfo: memFree=1333488/2055920 swapFree=4180152/4192956
[pid=11161] ppid=11159 vsize=5356 CPUtime=0.14
/proc/11161/stat : 11161 (SatELiteGTI) S 11159 11161 10551 0 -1 4194304 336 1326 0 0 0 0 13 1 16 0 1 0 306661502 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11161/statm: 1339 239 197 169 0 50 0
[pid=11167] ppid=11161 vsize=322580 CPUtime=761.81
/proc/11167/stat : 11167 (minisat_static) R 11161 11161 10551 0 -1 4194304 80397 0 0 0 76085 96 0 0 25 0 1 0 306661518 330321920 80383 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 1 0 0
/proc/11167/statm: 80645 80383 77 171 0 80472 0
Current children cumulated CPU time (s) 761.95
Current children cumulated vsize (KiB) 327936
[startup+822.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 11167
/proc/meminfo: memFree=1332080/2055920 swapFree=4180152/4192956
[pid=11161] ppid=11159 vsize=5356 CPUtime=0.14
/proc/11161/stat : 11161 (SatELiteGTI) S 11159 11161 10551 0 -1 4194304 336 1326 0 0 0 0 13 1 16 0 1 0 306661502 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11161/statm: 1339 239 197 169 0 50 0
[pid=11167] ppid=11161 vsize=323900 CPUtime=821.79
/proc/11167/stat : 11167 (minisat_static) R 11161 11161 10551 0 -1 4194304 80740 0 0 0 82082 97 0 0 25 0 1 0 306661518 331673600 80726 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/11167/statm: 80975 80726 77 171 0 80802 0
Current children cumulated CPU time (s) 821.93
Current children cumulated vsize (KiB) 329256
[startup+882.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 11167
/proc/meminfo: memFree=1332016/2055920 swapFree=4180152/4192956
[pid=11161] ppid=11159 vsize=5356 CPUtime=0.14
/proc/11161/stat : 11161 (SatELiteGTI) S 11159 11161 10551 0 -1 4194304 336 1326 0 0 0 0 13 1 16 0 1 0 306661502 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11161/statm: 1339 239 197 169 0 50 0
[pid=11167] ppid=11161 vsize=323900 CPUtime=881.76
/proc/11167/stat : 11167 (minisat_static) R 11161 11161 10551 0 -1 4194304 80740 0 0 0 88079 97 0 0 25 0 1 0 306661518 331673600 80726 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/11167/statm: 80975 80726 77 171 0 80802 0
Current children cumulated CPU time (s) 881.9
Current children cumulated vsize (KiB) 329256
[startup+942.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 11167
/proc/meminfo: memFree=1325104/2055920 swapFree=4180152/4192956
[pid=11161] ppid=11159 vsize=5356 CPUtime=0.14
/proc/11161/stat : 11161 (SatELiteGTI) S 11159 11161 10551 0 -1 4194304 336 1326 0 0 0 0 13 1 16 0 1 0 306661502 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11161/statm: 1339 239 197 169 0 50 0
[pid=11167] ppid=11161 vsize=330764 CPUtime=941.74
/proc/11167/stat : 11167 (minisat_static) R 11161 11161 10551 0 -1 4194304 82448 0 0 0 94075 99 0 0 25 0 1 0 306661518 338702336 82434 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/11167/statm: 82691 82434 77 171 0 82518 0
Current children cumulated CPU time (s) 941.88
Current children cumulated vsize (KiB) 336120
[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 11167
/proc/meminfo: memFree=1325040/2055920 swapFree=4180152/4192956
[pid=11161] ppid=11159 vsize=5356 CPUtime=0.14
/proc/11161/stat : 11161 (SatELiteGTI) S 11159 11161 10551 0 -1 4194304 336 1326 0 0 0 0 13 1 16 0 1 0 306661502 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11161/statm: 1339 239 197 169 0 50 0
[pid=11167] ppid=11161 vsize=330764 CPUtime=1001.73
/proc/11167/stat : 11167 (minisat_static) R 11161 11161 10551 0 -1 4194304 82448 0 0 0 100073 100 0 0 25 0 1 0 306661518 338702336 82434 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/11167/statm: 82691 82434 77 171 0 82518 0
Current children cumulated CPU time (s) 1001.87
Current children cumulated vsize (KiB) 336120
[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 11169
/proc/meminfo: memFree=1319408/2055920 swapFree=4180152/4192956
[pid=11161] ppid=11159 vsize=5356 CPUtime=0.14
/proc/11161/stat : 11161 (SatELiteGTI) S 11159 11161 10551 0 -1 4194304 336 1326 0 0 0 0 13 1 16 0 1 0 306661502 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11161/statm: 1339 239 197 169 0 50 0
[pid=11167] ppid=11161 vsize=336308 CPUtime=1061.7
/proc/11167/stat : 11167 (minisat_static) R 11161 11161 10551 0 -1 4194304 83840 0 0 0 106069 101 0 0 25 0 1 0 306661518 344379392 83826 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/11167/statm: 84077 83826 77 171 0 83904 0
Current children cumulated CPU time (s) 1061.84
Current children cumulated vsize (KiB) 341664
[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 11169
/proc/meminfo: memFree=1318704/2055920 swapFree=4180152/4192956
[pid=11161] ppid=11159 vsize=5356 CPUtime=0.14
/proc/11161/stat : 11161 (SatELiteGTI) S 11159 11161 10551 0 -1 4194304 336 1326 0 0 0 0 13 1 16 0 1 0 306661502 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11161/statm: 1339 239 197 169 0 50 0
[pid=11167] ppid=11161 vsize=336704 CPUtime=1121.68
/proc/11167/stat : 11167 (minisat_static) R 11161 11161 10551 0 -1 4194304 83956 0 0 0 112066 102 0 0 25 0 1 0 306661518 344784896 83942 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/11167/statm: 84176 83942 77 171 0 84003 0
Current children cumulated CPU time (s) 1121.82
Current children cumulated vsize (KiB) 342060
[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 11169
/proc/meminfo: memFree=1318640/2055920 swapFree=4180152/4192956
[pid=11161] ppid=11159 vsize=5356 CPUtime=0.14
/proc/11161/stat : 11161 (SatELiteGTI) S 11159 11161 10551 0 -1 4194304 336 1326 0 0 0 0 13 1 16 0 1 0 306661502 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11161/statm: 1339 239 197 169 0 50 0
[pid=11167] ppid=11161 vsize=336704 CPUtime=1181.66
/proc/11167/stat : 11167 (minisat_static) R 11161 11161 10551 0 -1 4194304 83956 0 0 0 118064 102 0 0 25 0 1 0 306661518 344784896 83942 1992294400 134512640 135215339 4294956240 18446744073709551615 134528708 0 0 4096 3 0 0 0 17 1 0 0
/proc/11167/statm: 84176 83942 77 171 0 84003 0
Current children cumulated CPU time (s) 1181.8
Current children cumulated vsize (KiB) 342060
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.6 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 11169
/proc/meminfo: memFree=1313008/2055920 swapFree=4180152/4192956
[pid=11161] ppid=11159 vsize=5356 CPUtime=0.14
/proc/11161/stat : 11161 (SatELiteGTI) S 11159 11161 10551 0 -1 4194304 336 1326 0 0 0 0 13 1 16 0 1 0 306661502 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11161/statm: 1339 239 197 169 0 50 0
[pid=11167] ppid=11161 vsize=342380 CPUtime=1199.96
/proc/11167/stat : 11167 (minisat_static) R 11161 11161 10551 0 -1 4194304 85362 0 0 0 119893 103 0 0 25 0 1 0 306661518 350597120 85348 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/11167/statm: 85595 85348 77 171 0 85422 0
Current children cumulated CPU time (s) 1200.1
Current children cumulated vsize (KiB) 347736
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 11161 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=135979
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=13997
# CPU time returned by wait4() is 0.149976
# 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.61
CPU time (s): 1200.1
CPU user time (s): 1199.06
CPU system time (s): 1.04
CPU usage (%): 99.9574
Max. virtual memory (cumulated for all children) (KiB): 347736
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.135979
system time used= 0.013997
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1662
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14
involuntary context switches= 7
runsolver used 1.45878 second user time and 2.98855 second system time
The end
Begin job on node4 at 2009-05-20 04:24:35
IDJOB=1832689
IDBENCH=70308
IDSOLVER=671
FILE ID=node4/1832689-1242786275
PBS_JOBID= 9322354
Free space on /tmp= 66096 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/RANDOM/LARGE/3SAT/UNKNOWN/8000/unif-k3-r4.2-v8000-c33600-S579205610-033.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832689-1242786275/watcher-1832689-1242786275 -o /tmp/evaluation-result-1832689-1242786275/solver-1832689-1242786275 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832689-1242786275.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= af63667f47d0171fb9e14e0a190b25c2
RANDOM SEED=603272464
node4.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.265
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.265
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: 1658336 kB
Buffers: 31156 kB
Cached: 294436 kB
SwapCached: 7132 kB
Active: 197384 kB
Inactive: 136720 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1658336 kB
SwapTotal: 4192956 kB
SwapFree: 4180152 kB
Dirty: 2172 kB
Writeback: 0 kB
Mapped: 13552 kB
Slab: 49492 kB
Committed_AS: 1181276 kB
PageTables: 1472 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= 66096 MiB
End job on node4 at 2009-05-20 04:44:38