0.00/0.00 c Parsing...
0.00/0.15 c ==============================================================================
0.00/0.15 c | | ORIGINAL | LEARNT | |
0.00/0.15 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.15 c ==============================================================================
0.00/0.15 c | 0 | 305320 613120 | 91595 0 0 nan | 0.000 % |
2.19/2.22 c | 0 | 302680 1032060 | -- 0 -- -- | -- | -2640/418940
2.19/2.22 c ==============================================================================
2.19/2.22 c Result : #vars: 2560 #clauses: 302680 #literals: 1032060
2.19/2.22 c CPU time: 2.17967 s
2.19/2.22 c ==============================================================================
2.48/2.52 c This is MiniSat 2.0 beta
2.48/2.52 c WARNING: for repeatability, setting FPU to use double precision
2.48/2.52 c ============================[ Problem Statistics ]=============================
2.48/2.52 c | |
2.48/2.52 c | Number of variables: 2560 |
2.48/2.54 c | Number of clauses: 302680 |
2.51/2.68 c | Parsing time: 0.13 s |
2.51/2.69 c ============================[ Search Statistics ]==============================
2.51/2.69 c | Conflicts | ORIGINAL | LEARNT | Progress |
2.51/2.69 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
2.51/2.69 c ===============================================================================
2.51/2.69 c | 0 | 2560 302680 1032060 | 100893 0 nan | 0.000 % |
2.51/2.75 c | 100 | 2560 302680 1032060 | 100893 100 233 | 0.000 % |
2.51/2.79 c | 202 | 2560 302680 1032060 | 100893 202 206 | 0.000 % |
2.51/2.83 c | 303 | 2560 302680 1032060 | 100893 303 185 | 0.000 % |
2.51/2.87 c | 413 | 2560 302680 1032060 | 100893 413 179 | 0.004 % |
2.51/2.90 c | 513 | 2560 302680 1032060 | 100893 513 173 | 0.000 % |
2.51/2.93 c | 623 | 2560 302680 1032060 | 100893 623 182 | 0.000 % |
2.51/2.97 c | 747 | 2560 302680 1032060 | 100893 747 180 | 0.000 % |
2.51/3.01 c | 847 | 2560 302680 1032060 | 100893 847 174 | 0.004 % |
2.51/3.04 c | 958 | 2560 302680 1032060 | 100893 958 169 | 0.004 % |
2.51/3.07 c | 1079 | 2560 302680 1032060 | 100893 1079 166 | 0.000 % |
2.51/3.12 c | 1214 | 2560 302680 1032060 | 100893 1214 174 | 0.000 % |
2.51/3.16 c | 1315 | 2560 302680 1032060 | 100893 1315 171 | 0.004 % |
2.51/3.19 c | 1425 | 2560 302680 1032060 | 100893 1425 171 | 0.000 % |
3.17/3.23 c | 1547 | 2560 302680 1032060 | 100893 1547 168 | 0.000 % |
3.17/3.28 c | 1681 | 2560 302680 1032060 | 100893 1681 175 | 0.000 % |
3.27/3.32 c | 1827 | 2560 302680 1032060 | 100893 1827 176 | 0.005 % |
3.27/3.36 c | 1931 | 2560 302680 1032060 | 100893 1931 173 | 0.000 % |
3.27/3.39 c | 2042 | 2560 302680 1032060 | 100893 2042 172 | 0.005 % |
3.37/3.42 c | 2163 | 2560 302680 1032060 | 100893 2163 172 | 0.000 % |
3.37/3.47 c | 2296 | 2560 302680 1032060 | 100893 2296 171 | 0.000 % |
3.47/3.52 c | 2442 | 2560 302680 1032060 | 100893 2442 169 | 0.000 % |
3.47/3.57 c | 2602 | 2560 302680 1032060 | 100893 2602 166 | 0.003 % |
3.58/3.60 c | 2706 | 2560 302680 1032060 | 100893 2706 164 | 0.000 % |
3.58/3.64 c | 2816 | 2560 302680 1032060 | 100893 2816 162 | 0.002 % |
3.58/3.67 c | 2937 | 2560 302680 1032060 | 100893 2937 160 | 0.003 % |
3.68/3.72 c | 3071 | 2560 302680 1032060 | 100893 3071 159 | 0.004 % |
3.68/3.77 c | 3220 | 2560 302680 1032060 | 100893 3220 159 | 0.000 % |
3.78/3.83 c | 3381 | 2560 302680 1032060 | 100893 3381 158 | 0.000 % |
3.78/3.88 c | 3557 | 2560 302680 1032060 | 100893 3557 156 | 0.000 % |
3.87/3.91 c | 3657 | 2560 302680 1032060 | 100893 3657 157 | 0.000 % |
3.87/3.95 c | 3767 | 2560 302680 1032060 | 100893 3767 157 | 0.000 % |
3.87/3.99 c | 3890 | 2560 302680 1032060 | 100893 3890 155 | 0.000 % |
3.97/4.03 c | 4025 | 2560 302680 1032060 | 100893 4025 155 | 0.003 % |
3.97/4.08 c | 4172 | 2560 302680 1032060 | 100893 4172 158 | 0.000 % |
4.07/4.14 c | 4332 | 2560 302680 1032060 | 100893 4332 159 | 0.000 % |
4.07/4.19 c | 4510 | 2560 302680 1032060 | 100893 4510 159 | 0.000 % |
4.17/4.27 c | 4709 | 2560 302680 1032060 | 100893 4709 162 | 0.000 % |
4.28/4.31 c | 4809 | 2560 302680 1032060 | 100893 4809 162 | 0.000 % |
4.28/4.35 c | 4922 | 2560 302680 1032060 | 100893 4922 162 | 0.004 % |
4.28/4.39 c | 5045 | 2560 302680 1032060 | 100893 5045 161 | 0.000 % |
4.38/4.43 c | 5179 | 2560 302680 1032060 | 100893 5179 162 | 0.000 % |
4.38/4.49 c | 5327 | 2560 302680 1032060 | 100893 5327 161 | 0.000 % |
4.47/4.54 c | 5487 | 2560 302680 1032060 | 100893 5487 161 | 0.003 % |
4.57/4.61 c | 5664 | 2560 302680 1032060 | 100893 5664 160 | 0.004 % |
4.57/4.68 c | 5858 | 2560 302680 1032060 | 100893 5858 158 | 0.003 % |
4.67/4.75 c | 6071 | 2560 302680 1032060 | 100893 6071 156 | 0.000 % |
4.67/4.79 c | 6172 | 2560 302680 1032060 | 100893 6172 156 | 0.000 % |
4.77/4.84 c | 6283 | 2560 302680 1032060 | 100893 6283 157 | 0.003 % |
4.77/4.88 c | 6404 | 2560 302680 1032060 | 100893 6404 157 | 0.004 % |
4.87/4.92 c | 6537 | 2560 302680 1032060 | 100893 6537 157 | 0.000 % |
4.87/4.98 c | 6686 | 2560 302680 1032060 | 100893 6686 158 | 0.000 % |
4.97/5.03 c | 6846 | 2560 302680 1032060 | 100893 6846 158 | 0.000 % |
5.07/5.10 c | 7023 | 2560 302680 1032060 | 100893 7023 158 | 0.000 % |
5.07/5.17 c | 7216 | 2560 302680 1032060 | 100893 7216 159 | 0.000 % |
5.17/5.26 c | 7428 | 2560 302680 1032060 | 100893 7428 160 | 0.000 % |
5.28/5.34 c | 7661 | 2560 302680 1032060 | 100893 7661 161 | 0.000 % |
5.28/5.38 c | 7761 | 2560 302680 1032060 | 100893 7761 160 | 0.004 % |
5.38/5.41 c | 7871 | 2560 302680 1032060 | 100893 7871 160 | 0.000 % |
5.38/5.46 c | 7994 | 2560 302680 1032060 | 100893 7994 160 | 0.000 % |
5.48/5.50 c | 8130 | 2560 302680 1032060 | 100893 8130 160 | 0.004 % |
5.48/5.55 c | 8276 | 2560 302680 1032060 | 100893 8276 159 | 0.004 % |
5.58/5.61 c | 8436 | 2560 302680 1032060 | 100893 8436 159 | 0.004 % |
5.58/5.66 c | 8613 | 2560 302680 1032060 | 100893 8613 158 | 0.004 % |
5.68/5.72 c | 8806 | 2560 302680 1032060 | 100893 8806 157 | 0.004 % |
5.68/5.79 c | 9019 | 2560 302680 1032060 | 100893 9019 156 | 0.004 % |
5.78/5.88 c | 9252 | 2560 302680 1032060 | 100893 9252 158 | 0.000 % |
5.88/5.96 c | 9508 | 2560 302680 1032060 | 100893 9508 158 | 0.000 % |
5.97/6.01 c | 9608 | 2560 302680 1032060 | 100893 9608 158 | 0.000 % |
5.97/6.05 c | 9719 | 2560 302680 1032060 | 100893 9719 158 | 0.004 % |
5.97/6.09 c | 9840 | 2560 302680 1032060 | 100893 9840 158 | 0.004 % |
6.07/6.14 c | 9973 | 2560 302680 1032060 | 100893 9973 158 | 0.003 % |
6.07/6.19 c | 10119 | 2560 302680 1032060 | 2147483647 10119 157 | 0.003 % |
6.17/6.25 c | 10280 | 2560 302680 1032060 | 2147483647 10280 156 | 0.003 % |
6.27/6.30 c | 10456 | 2560 302680 1032060 | 2147483647 10456 156 | 0.003 % |
6.27/6.38 c | 10651 | 2560 302680 1032060 | 2147483647 10651 154 | 0.003 % |
6.37/6.46 c | 10863 | 2560 302680 1032060 | 2147483647 10863 153 | 0.004 % |
6.48/6.56 c | 11097 | 2560 302680 1032060 | 2147483647 11097 152 | 0.004 % |
6.58/6.67 c | 11353 | 2560 302680 1032060 | 2147483647 11353 154 | 0.000 % |
6.67/6.77 c | 11634 | 2560 302680 1032060 | 2147483647 11634 154 | 0.000 % |
6.77/6.80 c | 11734 | 2560 302680 1032060 | 2147483647 11734 154 | 0.000 % |
6.77/6.84 c | 11847 | 2560 302680 1032060 | 2147483647 11847 154 | 0.004 % |
6.77/6.88 c | 11968 | 2560 302680 1032060 | 2147483647 11968 154 | 0.004 % |
6.87/6.93 c | 12101 | 2560 302680 1032060 | 2147483647 12101 154 | 0.000 % |
6.87/6.99 c | 12248 | 2560 302680 1032060 | 2147483647 12248 154 | 0.003 % |
6.97/7.06 c | 12408 | 2560 302680 1032060 | 2147483647 12408 154 | 0.000 % |
7.07/7.12 c | 12584 | 2560 302680 1032060 | 2147483647 12584 155 | 0.000 % |
7.17/7.20 c | 12777 | 2560 302680 1032060 | 2147483647 12777 155 | 0.000 % |
7.17/7.26 c | 12989 | 2560 302680 1032060 | 2147483647 12989 156 | 0.000 % |
7.27/7.35 c | 13222 | 2560 302680 1032060 | 2147483647 13222 156 | 0.003 % |
7.37/7.44 c | 13478 | 2560 302680 1032060 | 2147483647 13478 155 | 0.004 % |
7.47/7.55 c | 13759 | 2560 302680 1032060 | 2147483647 13759 155 | 0.000 % |
7.57/7.67 c | 14068 | 2560 302680 1032060 | 2147483647 14068 155 | 0.004 % |
7.67/7.72 c | 14168 | 2560 302680 1032060 | 2147483647 14168 155 | 0.000 % |
7.67/7.76 c | 14278 | 2560 302680 1032060 | 2147483647 14278 155 | 0.004 % |
7.77/7.82 c | 14399 | 2560 302680 1032060 | 2147483647 14399 155 | 0.003 % |
7.77/7.87 c | 14534 | 2560 302680 1032060 | 2147483647 14534 155 | 0.000 % |
7.87/7.92 c | 14680 | 2560 302680 1032060 | 2147483647 14680 155 | 0.000 % |
7.87/7.98 c | 14842 | 2560 302680 1032060 | 2147483647 14842 155 | 0.000 % |
7.97/8.05 c | 15020 | 2560 302680 1032060 | 2147483647 15020 155 | 0.003 % |
8.07/8.14 c | 15215 | 2560 302680 1032060 | 2147483647 15215 156 | 0.000 % |
8.17/8.23 c | 15427 | 2560 302680 1032060 | 2147483647 15427 156 | 0.000 % |
8.27/8.32 c | 15663 | 2560 302680 1032060 | 2147483647 15663 156 | 0.004 % |
8.37/8.43 c | 15920 | 2560 302680 1032060 | 2147483647 15920 155 | 0.005 % |
8.47/8.53 c | 16203 | 2560 302680 1032060 | 2147483647 16203 155 | 0.003 % |
8.57/8.64 c | 16512 | 2560 302680 1032060 | 2147483647 16512 155 | 0.004 % |
8.78/8.81 c | 16851 | 2560 302680 1032060 | 2147483647 16851 156 | 0.000 % |
8.78/8.85 c | 16951 | 2560 302680 1032060 | 2147483647 16951 156 | 0.000 % |
8.87/8.90 c | 17063 | 2560 302680 1032060 | 2147483647 17063 156 | 0.004 % |
8.87/8.96 c | 17184 | 2560 302680 1032060 | 2147483647 17184 156 | 0.000 % |
8.97/9.01 c | 17318 | 2560 302680 1032060 | 2147483647 17318 156 | 0.000 % |
8.97/9.07 c | 17465 | 2560 302680 1032060 | 2147483647 17465 156 | 0.004 % |
9.07/9.14 c | 17627 | 2560 302680 1032060 | 2147483647 17627 156 | 0.005 % |
9.17/9.21 c | 17803 | 2560 302680 1032060 | 2147483647 17803 155 | 0.004 % |
9.17/9.28 c | 17997 | 2560 302680 1032060 | 2147483647 17997 155 | 0.004 % |
9.27/9.36 c | 18210 | 2560 302680 1032060 | 2147483647 18210 154 | 0.004 % |
9.37/9.44 c | 18444 | 2560 302680 1032060 | 2147483647 18444 154 | 0.004 % |
9.47/9.54 c | 18700 | 2560 302680 1032060 | 2147483647 18700 153 | 0.000 % |
9.57/9.67 c | 18982 | 2560 302680 1032060 | 2147483647 18982 153 | 0.000 % |
9.77/9.80 c | 19291 | 2560 302680 1032060 | 2147483647 19291 152 | 0.003 % |
9.87/9.92 c | 19630 | 2560 302680 1032060 | 2147483647 19630 152 | 0.004 % |
9.97/10.05 c | 20002 | 2560 302680 1032060 | 2147483647 20002 151 | 0.004 % |
10.07/10.11 c | 20104 | 2560 302680 1032060 | 2147483647 20104 152 | 0.000 % |
10.07/10.15 c | 20214 | 2560 302680 1032060 | 2147483647 20214 152 | 0.000 % |
10.17/10.21 c | 20336 | 2560 302680 1032060 | 2147483647 20336 152 | 0.000 % |
10.17/10.26 c | 20470 | 2560 302680 1032060 | 2147483647 20470 152 | 0.003 % |
10.27/10.32 c | 20616 | 2560 302680 1032060 | 2147483647 20616 152 | 0.004 % |
10.27/10.38 c | 20776 | 2560 302680 1032060 | 2147483647 20776 152 | 0.004 % |
10.37/10.45 c | 20952 | 2560 302680 1032060 | 2147483647 20952 152 | 0.000 % |
10.47/10.53 c | 21145 | 2560 302680 1032060 | 2147483647 21145 152 | 0.000 % |
10.57/10.60 c | 21357 | 2560 302680 1032060 | 2147483647 21357 152 | 0.000 % |
10.57/10.69 c | 21591 | 2560 302680 1032060 | 2147483647 21591 151 | 0.000 % |
10.77/10.82 c | 21849 | 2560 302680 1032060 | 2147483647 21849 153 | 0.000 % |
10.88/10.94 c | 22134 | 2560 302680 1032060 | 2147483647 22134 153 | 0.000 % |
10.98/11.06 c | 22444 | 2560 302680 1032060 | 2147483647 22444 153 | 0.004 % |
11.07/11.20 c | 22786 | 2560 302680 1032060 | 2147483647 22786 153 | 0.004 % |
11.27/11.36 c | 23158 | 2560 302680 1032060 | 2147483647 23158 153 | 0.004 % |
11.47/11.54 c | 23567 | 2560 302680 1032060 | 2147483647 23567 153 | 0.004 % |
11.57/11.60 c | 23668 | 2560 302680 1032060 | 2147483647 23668 153 | 0.000 % |
11.57/11.66 c | 23778 | 2560 302680 1032060 | 2147483647 23778 154 | 0.000 % |
11.67/11.72 c | 23900 | 2560 302680 1032060 | 2147483647 23900 154 | 0.000 % |
11.67/11.78 c | 24034 | 2560 302680 1032060 | 2147483647 24034 154 | 0.000 % |
11.77/11.85 c | 24180 | 2560 302680 1032060 | 2147483647 24180 155 | 0.000 % |
11.87/11.92 c | 24340 | 2560 302680 1032060 | 2147483647 24340 155 | 0.004 % |
11.87/12.00 c | 24516 | 2560 302680 1032060 | 2147483647 24516 155 | 0.000 % |
11.97/12.09 c | 24710 | 2560 302680 1032060 | 2147483647 24710 156 | 0.000 % |
12.07/12.18 c | 24922 | 2560 302680 1032060 | 2147483647 24922 156 | 0.000 % |
12.17/12.28 c | 25158 | 2560 302680 1032060 | 2147483647 25158 156 | 0.003 % |
12.27/12.39 c | 25414 | 2560 302680 1032060 | 2147483647 25414 155 | 0.004 % |
12.47/12.52 c | 25695 | 2560 302680 1032060 | 2147483647 25695 155 | 0.003 % |
12.57/12.65 c | 26004 | 2560 302680 1032060 | 2147483647 26004 155 | 0.000 % |
12.77/12.82 c | 26344 | 2560 302680 1032060 | 2147483647 26344 156 | 0.000 % |
12.87/12.97 c | 26716 | 2560 302680 1032060 | 2147483647 26716 156 | 0.000 % |
13.08/13.15 c | 27127 | 2560 302680 1032060 | 2147483647 27127 156 | 0.004 % |
13.27/13.36 c | 27578 | 2560 302680 1032060 | 2147483647 27578 156 | 0.003 % |
13.37/13.42 c | 27679 | 2560 302680 1032060 | 2147483647 27679 156 | 0.000 % |
13.37/13.47 c | 27793 | 2560 302680 1032060 | 2147483647 27793 156 | 0.004 % |
13.47/13.54 c | 27915 | 2560 302680 1032060 | 2147483647 27915 156 | 0.000 % |
13.57/13.60 c | 28048 | 2560 302680 1032060 | 2147483647 28048 156 | 0.000 % |
13.57/13.69 c | 28196 | 2560 302680 1032060 | 2147483647 28196 156 | 0.000 % |
13.67/13.76 c | 28359 | 2560 302680 1032060 | 2147483647 28359 156 | 0.004 % |
13.76/13.84 c | 28536 | 2560 302680 1032060 | 2147483647 28536 156 | 0.000 % |
13.86/13.94 c | 28730 | 2560 302680 1032060 | 2147483647 28730 157 | 0.000 % |
13.96/14.03 c | 28942 | 2560 302680 1032060 | 2147483647 28942 157 | 0.000 % |
14.06/14.16 c | 29175 | 2560 302680 1032060 | 2147483647 29175 157 | 0.000 % |
14.17/14.25 c | 29431 | 2560 302680 1032060 | 2147483647 29431 157 | 0.000 % |
14.26/14.39 c | 29712 | 2560 302680 1032060 | 2147483647 29712 157 | 0.004 % |
14.46/14.54 c | 30021 | 2560 302680 1032060 | 2147483647 30021 157 | 0.004 % |
14.67/14.72 c | 30360 | 2560 302680 1032060 | 2147483647 30360 158 | 0.000 % |
14.87/14.91 c | 30733 | 2560 302680 1032060 | 2147483647 30733 158 | 0.000 % |
15.07/15.11 c | 31142 | 2560 302680 1032060 | 2147483647 31142 158 | 0.000 % |
15.17/15.29 c | 31593 | 2560 302680 1032060 | 2147483647 31593 157 | 0.004 % |
15.47/15.56 c | 32088 | 2560 302680 1032060 | 2147483647 32088 159 | 0.000 % |
15.57/15.62 c | 32189 | 2560 302680 1032060 | 2147483647 32189 159 | 0.000 % |
15.57/15.67 c | 32299 | 2560 302680 1032060 | 2147483647 32299 159 | 0.000 % |
15.67/15.73 c | 32420 | 2560 302680 1032060 | 2147483647 32420 159 | 0.000 % |
15.76/15.81 c | 32554 | 2560 302680 1032060 | 2147483647 32554 159 | 0.005 % |
15.76/15.88 c | 32700 | 2560 302680 1032060 | 2147483647 32700 159 | 0.000 % |
15.86/15.96 c | 32860 | 2560 302680 1032060 | 2147483647 32860 159 | 0.003 % |
15.96/16.04 c | 33036 | 2560 302680 1032060 | 2147483647 33036 159 | 0.000 % |
16.06/16.16 c | 33229 | 2560 302680 1032060 | 2147483647 33229 159 | 0.000 % |
16.16/16.26 c | 33441 | 2560 302680 1032060 | 2147483647 33441 160 | 0.000 % |
16.26/16.38 c | 33675 | 2560 302680 1032060 | 2147483647 33675 160 | 0.004 % |
16.37/16.48 c | 33935 | 2560 302680 1032060 | 2147483647 33935 159 | 0.005 % |
16.56/16.63 c | 34218 | 2560 302680 1032060 | 2147483647 34218 159 | 0.000 % |
16.66/16.76 c | 34527 | 2560 302680 1032060 | 2147483647 34527 159 | 0.005 % |
16.86/16.93 c | 34868 | 2560 302680 1032060 | 2147483647 34868 159 | 0.000 % |
17.06/17.14 c | 35240 | 2560 302680 1032060 | 2147483647 35240 159 | 0.000 % |
17.26/17.35 c | 35650 | 2560 302680 1032060 | 2147483647 35650 159 | 0.005 % |
17.57/17.61 c | 36099 | 2560 302680 1032060 | 2147483647 36099 159 | 0.000 % |
17.76/17.86 c | 36594 | 2560 302680 1032060 | 2147483647 36594 160 | 0.000 % |
18.16/18.24 c | 37140 | 2560 302680 1032060 | 2147483647 37140 162 | 0.000 % |
18.16/18.29 c | 37242 | 2560 302680 1032060 | 2147483647 37242 162 | 0.000 % |
18.26/18.36 c | 37352 | 2560 302680 1032060 | 2147483647 37352 162 | 0.004 % |
18.36/18.42 c | 37473 | 2560 302680 1032060 | 2147483647 37473 162 | 0.000 % |
18.46/18.51 c | 37609 | 2560 302680 1032060 | 2147483647 37609 162 | 0.003 % |
18.46/18.58 c | 37755 | 2560 302680 1032060 | 2147483647 37755 162 | 0.003 % |
18.56/18.66 c | 37916 | 2560 302680 1032060 | 2147483647 37916 161 | 0.003 % |
18.66/18.75 c | 38092 | 2560 302680 1032060 | 2147483647 38092 161 | 0.005 % |
18.76/18.89 c | 38286 | 2560 302680 1032060 | 2147483647 38286 162 | 0.000 % |
18.97/19.01 c | 38498 | 2560 302680 1032060 | 2147483647 38498 161 | 0.000 % |
19.07/19.12 c | 38732 | 2560 302680 1032060 | 2147483647 38732 161 | 0.000 % |
19.17/19.23 c | 38989 | 2560 302680 1032060 | 2147483647 38989 161 | 0.000 % |
19.27/19.39 c | 39271 | 2560 302680 1032060 | 2147483647 39271 161 | 0.004 % |
19.46/19.54 c | 39582 | 2560 302680 1032060 | 2147483647 39582 161 | 0.004 % |
19.67/19.73 c | 39921 | 2560 302680 1032060 | 2147483647 39921 161 | 0.000 % |
19.86/19.92 c | 40293 | 2560 302680 1032060 | 2147483647 40293 162 | 0.005 % |
20.06/20.15 c | 40702 | 2560 302680 1032060 | 2147483647 40702 161 | 0.004 % |
20.26/20.38 c | 41153 | 2560 302680 1032060 | 2147483647 41153 161 | 0.004 % |
20.56/20.65 c | 41646 | 2560 302680 1032060 | 2147483647 41646 161 | 0.000 % |
20.87/20.97 c | 42188 | 2560 302680 1032060 | 2147483647 42188 160 | 0.004 % |
21.17/21.28 c | 42784 | 2560 302680 1032060 | 2147483647 42784 160 | 0.004 % |
21.27/21.34 c | 42884 | 2560 302680 1032060 | 2147483647 42884 160 | 0.003 % |
21.37/21.40 c | 42995 | 2560 302680 1032060 | 2147483647 42995 160 | 0.003 % |
21.37/21.48 c | 43116 | 2560 302680 1032060 | 2147483647 43116 160 | 0.004 % |
21.47/21.55 c | 43249 | 2560 302680 1032060 | 2147483647 43249 160 | 0.000 % |
21.57/21.63 c | 43396 | 2560 302680 1032060 | 2147483647 43396 160 | 0.003 % |
21.67/21.72 c | 43557 | 2560 302680 1032060 | 2147483647 43557 160 | 0.000 % |
21.77/21.84 c | 43733 | 2560 302680 1032060 | 2147483647 43733 160 | 0.000 % |
21.87/21.96 c | 43926 | 2560 302680 1032060 | 2147483647 43926 160 | 0.000 % |
21.97/22.06 c | 44138 | 2560 302680 1032060 | 2147483647 44138 160 | 0.000 % |
22.06/22.18 c | 44373 | 2560 302680 1032060 | 2147483647 44373 160 | 0.004 % |
22.26/22.32 c | 44630 | 2560 302680 1032060 | 2147483647 44630 160 | 0.004 % |
22.36/22.47 c | 44913 | 2560 302680 1032060 | 2147483647 44913 160 | 0.000 % |
22.56/22.67 c | 45224 | 2560 302680 1032060 | 2147483647 45224 160 | 0.004 % |
22.76/22.85 c | 45563 | 2560 302680 1032060 | 2147483647 45563 160 | 0.003 % |
22.96/23.08 c | 45936 | 2560 302680 1032060 | 2147483647 45936 160 | 0.000 % |
23.26/23.31 c | 46347 | 2560 302680 1032060 | 2147483647 46347 161 | 0.000 % |
23.46/23.54 c | 46796 | 2560 302680 1032060 | 2147483647 46796 160 | 0.005 % |
23.66/23.79 c | 47290 | 2560 302680 1032060 | 2147483647 47290 160 | 0.005 % |
24.06/24.11 c | 47833 | 2560 302680 1032060 | 2147483647 47833 160 | 0.004 % |
24.35/24.47 c | 48429 | 2560 302680 1032060 | 2147483647 48429 159 | 0.003 % |
24.75/24.87 c | 49085 | 2560 302680 1032060 | 2147483647 49085 159 | 0.005 % |
24.85/24.93 c | 49186 | 2560 302680 1032060 | 2147483647 49186 159 | 0.000 % |
24.85/24.99 c | 49296 | 2560 302680 1032060 | 2147483647 49296 159 | 0.003 % |
24.96/25.08 c | 49419 | 2560 302680 1032060 | 2147483647 49419 159 | 0.000 % |
25.06/25.17 c | 49553 | 2560 302680 1032060 | 2147483647 49553 159 | 0.000 % |
25.16/25.26 c | 49699 | 2560 302680 1032060 | 2147483647 49699 159 | 0.000 % |
25.26/25.37 c | 49860 | 2560 302680 1032060 | 2147483647 49860 159 | 0.000 % |
25.36/25.48 c | 50039 | 2560 302680 1032060 | 2147483647 50039 159 | 0.000 % |
25.56/25.62 c | 50234 | 2560 302680 1032060 | 2147483647 50234 159 | 0.000 % |
25.66/25.76 c | 50447 | 2560 302680 1032060 | 2147483647 50447 159 | 0.000 % |
25.86/25.91 c | 50680 | 2560 302680 1032060 | 2147483647 50680 159 | 0.000 % |
25.96/26.02 c | 50937 | 2560 302680 1032060 | 2147483647 50937 159 | 0.000 % |
26.16/26.21 c | 51218 | 2560 302680 1032060 | 2147483647 51218 159 | 0.004 % |
26.26/26.40 c | 51527 | 2560 302680 1032060 | 2147483647 51527 159 | 0.004 % |
26.56/26.66 c | 51868 | 2560 302680 1032060 | 2147483647 51868 160 | 0.000 % |
26.76/26.89 c | 52240 | 2560 302680 1032060 | 2147483647 52240 160 | 0.000 % |
27.06/27.11 c | 52650 | 2560 302680 1032060 | 2147483647 52650 159 | 0.003 % |
27.26/27.36 c | 53099 | 2560 302680 1032060 | 2147483647 53099 159 | 0.003 % |
27.56/27.66 c | 53592 | 2560 302680 1032060 | 2147483647 53592 160 | 0.000 % |
27.95/28.05 c | 54134 | 2560 302680 1032060 | 2147483647 54134 161 | 0.000 % |
28.35/28.41 c | 54730 | 2560 302680 1032060 | 2147483647 54730 161 | 0.000 % |
28.65/28.77 c | 55386 | 2560 302680 1032060 | 2147483647 55386 161 | 0.000 % |
29.15/29.22 c | 56106 | 2560 302680 1032060 | 2147483647 56106 161 | 0.004 % |
29.15/29.30 c | 56206 | 2560 302680 1032060 | 2147483647 56206 161 | 0.000 % |
29.25/29.36 c | 56316 | 2560 302680 1032060 | 2147483647 56316 161 | 0.000 % |
29.35/29.43 c | 56437 | 2560 302680 1032060 | 2147483647 56437 161 | 0.000 % |
29.45/29.52 c | 56570 | 2560 302680 1032060 | 2147483647 56570 161 | 0.000 % |
29.56/29.65 c | 56717 | 2560 302680 1032060 | 2147483647 56717 161 | 0.000 % |
29.66/29.75 c | 56877 | 2560 302680 1032060 | 2147483647 56877 161 | 0.000 % |
29.76/29.87 c | 57054 | 2560 302680 1032060 | 2147483647 57054 161 | 0.003 % |
29.96/30.00 c | 57248 | 2560 302680 1032060 | 2147483647 57248 161 | 0.000 % |
30.06/30.14 c | 57460 | 2560 302680 1032060 | 2147483647 57460 161 | 0.003 % |
30.25/30.32 c | 57693 | 2560 302680 1032060 | 2147483647 57693 161 | 0.000 % |
30.35/30.48 c | 57950 | 2560 302680 1032060 | 2147483647 57950 161 | 0.000 % |
30.55/30.68 c | 58232 | 2560 302680 1032060 | 2147483647 58232 161 | 0.004 % |
30.76/30.87 c | 58544 | 2560 302680 1032060 | 2147483647 58544 161 | 0.004 % |
30.95/31.08 c | 58883 | 2560 302680 1032060 | 2147483647 58883 162 | 0.000 % |
31.25/31.33 c | 59255 | 2560 302680 1032060 | 2147483647 59255 162 | 0.004 % |
31.55/31.62 c | 59665 | 2560 302680 1032060 | 2147483647 59665 162 | 0.000 % |
31.85/31.95 c | 60115 | 2560 302680 1032060 | 2147483647 60115 162 | 0.000 % |
32.15/32.25 c | 60609 | 2560 302680 1032060 | 2147483647 60609 162 | 0.004 % |
32.45/32.56 c | 61151 | 2560 302680 1032060 | 2147483647 61151 162 | 0.000 % |
32.85/32.93 c | 61747 | 2560 302680 1032060 | 2147483647 61747 161 | 0.003 % |
33.25/33.36 c | 62404 | 2560 302680 1032060 | 2147483647 62404 161 | 0.005 % |
33.75/33.84 c | 63126 | 2560 302680 1032060 | 2147483647 63126 161 | 0.000 % |
34.35/34.42 c | 63918 | 2560 302680 1032060 | 2147483647 63918 161 | 0.000 % |
34.35/34.47 c | 64019 | 2560 302680 1032060 | 2147483647 64019 161 | 0.004 % |
34.45/34.56 c | 64129 | 2560 302680 1032060 | 2147483647 64129 161 | 0.000 % |
34.55/34.65 c | 64250 | 2560 302680 1032060 | 2147483647 64250 161 | 0.005 % |
34.65/34.74 c | 64384 | 2560 302680 1032060 | 2147483647 64384 161 | 0.000 % |
34.75/34.82 c | 64530 | 2560 302680 1032060 | 2147483647 64530 161 | 0.000 % |
34.85/34.94 c | 64690 | 2560 302680 1032060 | 2147483647 64690 162 | 0.000 % |
34.95/35.08 c | 64866 | 2560 302680 1032060 | 2147483647 64866 162 | 0.000 % |
35.16/35.21 c | 65059 | 2560 302680 1032060 | 2147483647 65059 161 | 0.004 % |
35.25/35.35 c | 65274 | 2560 302680 1032060 | 2147483647 65274 162 | 0.000 % |
35.45/35.51 c | 65508 | 2560 302680 1032060 | 2147483647 65508 161 | 0.004 % |
35.55/35.69 c | 65764 | 2560 302680 1032060 | 2147483647 65764 162 | 0.000 % |
35.75/35.89 c | 66045 | 2560 302680 1032060 | 2147483647 66045 162 | 0.000 % |
36.05/36.12 c | 66355 | 2560 302680 1032060 | 2147483647 66355 162 | 0.000 % |
36.25/36.38 c | 66695 | 2560 302680 1032060 | 2147483647 66695 162 | 0.004 % |
36.55/36.60 c | 67068 | 2560 302680 1032060 | 2147483647 67068 162 | 0.000 % |
36.85/36.94 c | 67479 | 2560 302680 1032060 | 2147483647 67479 163 | 0.000 % |
37.15/37.22 c | 67930 | 2560 302680 1032060 | 2147483647 67930 163 | 0.004 % |
37.44/37.54 c | 68424 | 2560 302680 1032060 | 2147483647 68424 163 | 0.000 % |
37.75/37.88 c | 68966 | 2560 302680 1032060 | 2147483647 68966 163 | 0.003 % |
38.14/38.23 c | 69562 | 2560 302680 1032060 | 2147483647 69562 162 | 0.000 % |
38.64/38.70 c | 70218 | 2560 302680 1032060 | 2147483647 70218 163 | 0.000 % |
39.04/39.16 c | 70939 | 2560 302680 1032060 | 2147483647 70939 163 | 0.000 % |
39.64/39.74 c | 71731 | 2560 302680 1032060 | 2147483647 71731 163 | 0.004 % |
40.25/40.32 c | 72604 | 2560 302680 1032060 | 2147483647 72604 162 | 0.004 % |
40.25/40.38 c | 72705 | 2560 302680 1032060 | 2147483647 72705 162 | 0.000 % |
40.35/40.48 c | 72815 | 2560 302680 1032060 | 2147483647 72815 162 | 0.003 % |
40.45/40.57 c | 72938 | 2560 302680 1032060 | 2147483647 72938 162 | 0.003 % |
40.55/40.68 c | 73072 | 2560 302680 1032060 | 2147483647 73072 162 | 0.004 % |
40.75/40.83 c | 73218 | 2560 302680 1032060 | 2147483647 73218 162 | 0.000 % |
40.85/40.92 c | 73378 | 2560 302680 1032060 | 2147483647 73378 162 | 0.000 % |
40.95/41.05 c | 73554 | 2560 302680 1032060 | 2147483647 73554 162 | 0.004 % |
41.15/41.26 c | 73748 | 2560 302680 1032060 | 2147483647 73748 162 | 0.000 % |
41.25/41.39 c | 73960 | 2560 302680 1032060 | 2147483647 73960 162 | 0.000 % |
41.45/41.57 c | 74194 | 2560 302680 1032060 | 2147483647 74194 162 | 0.000 % |
41.65/41.75 c | 74451 | 2560 302680 1032060 | 2147483647 74451 162 | 0.000 % |
41.84/41.94 c | 74733 | 2560 302680 1032060 | 2147483647 74733 162 | 0.004 % |
42.04/42.16 c | 75042 | 2560 302680 1032060 | 2147483647 75042 162 | 0.000 % |
42.24/42.39 c | 75381 | 2560 302680 1032060 | 2147483647 75381 163 | 0.000 % |
42.54/42.65 c | 75754 | 2560 302680 1032060 | 2147483647 75754 163 | 0.003 % |
42.85/42.92 c | 76163 | 2560 302680 1032060 | 2147483647 76163 163 | 0.003 % |
43.24/43.31 c | 76612 | 2560 302680 1032060 | 2147483647 76612 163 | 0.000 % |
43.55/43.69 c | 77107 | 2560 302680 1032060 | 2147483647 77107 163 | 0.004 % |
43.95/44.05 c | 77649 | 2560 302680 1032060 | 2147483647 77649 163 | 0.000 % |
44.44/44.58 c | 78248 | 2560 302680 1032060 | 2147483647 78248 163 | 0.000 % |
44.95/45.06 c | 78907 | 2560 302680 1032060 | 2147483647 78907 163 | 0.004 % |
45.44/45.56 c | 79627 | 2560 302680 1032060 | 2147483647 79627 163 | 0.004 % |
46.05/46.20 c | 80419 | 2560 302680 1032060 | 2147483647 80419 163 | 0.000 % |
46.74/46.89 c | 81290 | 2560 302680 1032060 | 2147483647 81290 162 | 0.004 % |
47.44/47.59 c | 82249 | 2560 302680 1032060 | 2147483647 82249 162 | 0.000 % |
47.54/47.67 c | 82349 | 2560 302680 1032060 | 2147483647 82349 162 | 0.000 % |
47.64/47.76 c | 82460 | 2560 302680 1032060 | 2147483647 82460 162 | 0.004 % |
47.74/47.85 c | 82582 | 2560 302680 1032060 | 2147483647 82582 162 | 0.004 % |
47.84/48.00 c | 82715 | 2560 302680 1032060 | 2147483647 82715 162 | 0.000 % |
47.94/48.09 c | 82862 | 2560 302680 1032060 | 2147483647 82862 162 | 0.000 % |
48.14/48.21 c | 83022 | 2560 302680 1032060 | 2147483647 83022 162 | 0.004 % |
48.24/48.36 c | 83200 | 2560 302680 1032060 | 2147483647 83200 162 | 0.000 % |
48.34/48.49 c | 83393 | 2560 302680 1032060 | 2147483647 83393 162 | 0.005 % |
48.64/48.70 c | 83607 | 2560 302680 1032060 | 2147483647 83607 162 | 0.000 % |
48.74/48.86 c | 83840 | 2560 302680 1032060 | 2147483647 83840 162 | 0.000 % |
48.94/49.05 c | 84097 | 2560 302680 1032060 | 2147483647 84097 162 | 0.004 % |
49.14/49.27 c | 84378 | 2560 302680 1032060 | 2147483647 84378 162 | 0.000 % |
49.45/49.52 c | 84687 | 2560 302680 1032060 | 2147483647 84687 162 | 0.005 % |
49.74/49.80 c | 85027 | 2560 302680 1032060 | 2147483647 85027 162 | 0.000 % |
50.04/50.18 c | 85399 | 2560 302680 1032060 | 2147483647 85399 162 | 0.000 % |
50.34/50.50 c | 85810 | 2560 302680 1032060 | 2147483647 85810 163 | 0.000 % |
50.74/50.85 c | 86260 | 2560 302680 1032060 | 2147483647 86260 162 | 0.000 % |
51.14/51.22 c | 86753 | 2560 302680 1032060 | 2147483647 86753 162 | 0.000 % |
51.54/51.63 c | 87295 | 2560 302680 1032060 | 2147483647 87295 162 | 0.003 % |
51.94/52.09 c | 87891 | 2560 302680 1032060 | 2147483647 87891 162 | 0.004 % |
52.44/52.56 c | 88547 | 2560 302680 1032060 | 2147483647 88547 162 | 0.003 % |
53.14/53.26 c | 89268 | 2560 302680 1032060 | 2147483647 89268 162 | 0.000 % |
53.85/53.96 c | 90061 | 2560 302680 1032060 | 2147483647 90061 162 | 0.004 % |
54.84/54.91 c | 90934 | 2560 302680 1032060 | 2147483647 90934 164 | 0.000 % |
55.54/55.64 c | 91892 | 2560 302680 1032060 | 2147483647 91892 164 | 0.000 % |
56.34/56.41 c | 92945 | 2560 302680 1032060 | 2147483647 92945 164 | 0.000 % |
56.34/56.49 c | 93045 | 2560 302680 1032060 | 2147483647 93045 164 | 0.000 % |
56.53/56.63 c | 93155 | 2560 302680 1032060 | 2147483647 93155 164 | 0.000 % |
56.63/56.75 c | 93276 | 2560 302680 1032060 | 2147483647 93276 164 | 0.000 % |
56.73/56.86 c | 93409 | 2560 302680 1032060 | 2147483647 93409 164 | 0.000 % |
56.84/56.98 c | 93556 | 2560 302680 1032060 | 2147483647 93556 164 | 0.000 % |
57.04/57.16 c | 93716 | 2560 302680 1032060 | 2147483647 93716 164 | 0.000 % |
57.24/57.32 c | 93894 | 2560 302680 1032060 | 2147483647 93894 164 | 0.004 % |
57.34/57.48 c | 94087 | 2560 302680 1032060 | 2147483647 94087 164 | 0.000 % |
57.54/57.67 c | 94299 | 2560 302680 1032060 | 2147483647 94299 164 | 0.000 % |
57.74/57.87 c | 94536 | 2560 302680 1032060 | 2147483647 94536 164 | 0.000 % |
58.04/58.14 c | 94792 | 2560 302680 1032060 | 2147483647 94792 165 | 0.000 % |
58.34/58.42 c | 95073 | 2560 302680 1032060 | 2147483647 95073 165 | 0.000 % |
58.54/58.68 c | 95382 | 2560 302680 1032060 | 2147483647 95382 165 | 0.000 % |
58.83/58.97 c | 95721 | 2560 302680 1032060 | 2147483647 95721 165 | 0.000 % |
59.13/59.23 c | 96096 | 2560 302680 1032060 | 2147483647 96096 165 | 0.000 % |
59.53/59.65 c | 96505 | 2560 302680 1032060 | 2147483647 96505 165 | 0.000 % |
59.93/60.06 c | 96955 | 2560 302680 1032060 | 2147483647 96955 165 | 0.000 % |
60.34/60.45 c | 97449 | 2560 302680 1032060 | 2147483647 97449 165 | 0.000 % |
60.73/60.88 c | 97992 | 2560 302680 1032060 | 2147483647 97992 166 | 0.004 % |
61.23/61.32 c | 98588 | 2560 302680 1032060 | 2147483647 98588 166 | 0.000 % |
61.83/61.98 c | 99243 | 2560 302680 1032060 | 2147483647 99243 166 | 0.000 % |
62.43/62.51 c | 99964 | 2560 302680 1032060 | 2147483647 99964 167 | 0.000 % |
63.04/63.13 c | 100757 | 2560 302680 1032060 | 2147483647 100757 167 | 0.000 % |
63.84/63.96 c | 101628 | 2560 302680 1032060 | 2147483647 101628 167 | 0.000 % |
64.74/64.87 c | 102586 | 2560 302680 1032060 | 2147483647 102586 167 | 0.000 % |
65.73/65.83 c | 103639 | 2560 302680 1032060 | 2147483647 103639 168 | 0.000 % |
66.64/66.78 c | 104798 | 2560 302680 1032060 | 2147483647 104798 168 | 0.000 % |
66.74/66.86 c | 104898 | 2560 302680 1032060 | 2147483647 104898 168 | 0.004 % |
66.84/66.96 c | 105010 | 2560 302680 1032060 | 2147483647 105010 168 | 0.004 % |
66.94/67.09 c | 105132 | 2560 302680 1032060 | 2147483647 105132 168 | 0.000 % |
67.13/67.23 c | 105265 | 2560 302680 1032060 | 2147483647 105265 168 | 0.000 % |
67.23/67.38 c | 105411 | 2560 302680 1032060 | 2147483647 105411 168 | 0.004 % |
67.43/67.52 c | 105571 | 2560 302680 1032060 | 2147483647 105571 167 | 0.000 % |
67.63/67.70 c | 105750 | 2560 302680 1032060 | 2147483647 105750 168 | 0.000 % |
67.83/67.90 c | 105943 | 2560 302680 1032060 | 2147483647 105943 168 | 0.000 % |
67.93/68.09 c | 106156 | 2560 302680 1032060 | 2147483647 106156 168 | 0.000 % |
68.14/68.28 c | 106389 | 2560 302680 1032060 | 2147483647 106389 168 | 0.003 % |
68.43/68.50 c | 106645 | 2560 302680 1032060 | 2147483647 106645 168 | 0.000 % |
68.63/68.78 c | 106926 | 2560 302680 1032060 | 2147483647 106926 168 | 0.004 % |
68.93/69.06 c | 107238 | 2560 302680 1032060 | 2147483647 107238 168 | 0.004 % |
69.23/69.38 c | 107580 | 2560 302680 1032060 | 2147483647 107580 167 | 0.004 % |
69.73/69.80 c | 107955 | 2560 302680 1032060 | 2147483647 107955 168 | 0.000 % |
70.03/70.18 c | 108369 | 2560 302680 1032060 | 2147483647 108369 168 | 0.000 % |
70.53/70.64 c | 108818 | 2560 302680 1032060 | 2147483647 108818 168 | 0.000 % |
71.04/71.13 c | 109311 | 2560 302680 1032060 | 2147483647 109311 168 | 0.000 % |
71.53/71.64 c | 109853 | 2560 302680 1032060 | 2147483647 109853 168 | 0.004 % |
72.03/72.15 c | 110451 | 2560 302680 1032060 | 2147483647 110451 167 | 0.000 % |
72.53/72.68 c | 111107 | 2560 302680 1032060 | 2147483647 111107 167 | 0.004 % |
73.13/73.29 c | 111827 | 2560 302680 1032060 | 2147483647 111827 167 | 0.003 % |
73.83/73.94 c | 112619 | 2560 302680 1032060 | 2147483647 112619 167 | 0.000 % |
74.52/74.68 c | 113492 | 2560 302680 1032060 | 2147483647 113492 167 | 0.004 % |
75.53/75.64 c | 114450 | 2560 302680 1032060 | 2147483647 114450 166 | 0.004 % |
76.43/76.57 c | 115504 | 2560 302680 1032060 | 2147483647 115504 166 | 0.003 % |
78.03/78.11 c | 116662 | 2560 302680 1032060 | 2147483647 116662 167 | 0.000 % |
79.42/79.60 c | 117937 | 2560 302680 1032060 | 2147483647 117937 168 | 0.000 % |
79.62/79.71 c | 118037 | 2560 302680 1032060 | 2147483647 118037 168 | 0.000 % |
79.72/79.86 c | 118147 | 2560 302680 1032060 | 2147483647 118147 168 | 0.000 % |
79.92/80.01 c | 118271 | 2560 302680 1032060 | 2147483647 118271 168 | 0.000 % |
80.02/80.15 c | 118404 | 2560 302680 1032060 | 2147483647 118404 168 | 0.004 % |
80.13/80.25 c | 118550 | 2560 302680 1032060 | 2147483647 118550 168 | 0.004 % |
80.32/80.44 c | 118710 | 2560 302680 1032060 | 2147483647 118710 168 | 0.000 % |
80.52/80.63 c | 118887 | 2560 302680 1032060 | 2147483647 118887 168 | 0.004 % |
80.72/80.82 c | 119081 | 2560 302680 1032060 | 2147483647 119081 168 | 0.000 % |
80.93/81.03 c | 119293 | 2560 302680 1032060 | 2147483647 119293 168 | 0.000 % |
81.13/81.24 c | 119526 | 2560 302680 1032060 | 2147483647 119526 168 | 0.000 % |
81.43/81.52 c | 119783 | 2560 302680 1032060 | 2147483647 119783 168 | 0.000 % |
81.63/81.78 c | 120064 | 2560 302680 1032060 | 2147483647 120064 168 | 0.000 % |
82.13/82.22 c | 120373 | 2560 302680 1032060 | 2147483647 120373 168 | 0.000 % |
82.43/82.53 c | 120712 | 2560 302680 1032060 | 2147483647 120712 168 | 0.000 % |
82.82/82.92 c | 121084 | 2560 302680 1032060 | 2147483647 121084 168 | 0.000 % |
83.22/83.34 c | 121494 | 2560 302680 1032060 | 2147483647 121494 169 | 0.000 % |
83.72/83.88 c | 121944 | 2560 302680 1032060 | 2147483647 121944 169 | 0.000 % |
84.22/84.34 c | 122438 | 2560 302680 1032060 | 2147483647 122438 169 | 0.000 % |
84.72/84.85 c | 122981 | 2560 302680 1032060 | 2147483647 122981 168 | 0.000 % |
85.22/85.40 c | 123580 | 2560 302680 1032060 | 2147483647 123580 168 | 0.004 % |
85.92/86.06 c | 124236 | 2560 302680 1032060 | 2147483647 124236 169 | 0.000 % |
86.62/86.75 c | 124956 | 2560 302680 1032060 | 2147483647 124956 169 | 0.004 % |
87.42/87.58 c | 125750 | 2560 302680 1032060 | 2147483647 125750 169 | 0.000 % |
88.33/88.46 c | 126621 | 2560 302680 1032060 | 2147483647 126621 169 | 0.000 % |
89.33/89.43 c | 127579 | 2560 302680 1032060 | 2147483647 127579 169 | 0.004 % |
90.42/90.52 c | 128632 | 2560 302680 1032060 | 2147483647 128632 170 | 0.000 % |
91.72/91.89 c | 129791 | 2560 302680 1032060 | 2147483647 129791 170 | 0.000 % |
92.92/93.06 c | 131064 | 2560 302680 1032060 | 2147483647 131064 170 | 0.000 % |
95.02/95.13 c | 132466 | 2560 302680 1032060 | 2147483647 132466 172 | 0.000 % |
95.12/95.24 c | 132567 | 2560 302680 1032060 | 2147483647 132567 171 | 0.000 % |
95.22/95.37 c | 132677 | 2560 302680 1032060 | 2147483647 132677 171 | 0.000 % |
95.32/95.48 c | 132799 | 2560 302680 1032060 | 2147483647 132799 171 | 0.000 % |
95.53/95.63 c | 132933 | 2560 302680 1032060 | 2147483647 132933 171 | 0.004 % |
95.63/95.78 c | 133080 | 2560 302680 1032060 | 2147483647 133080 171 | 0.004 % |
95.92/96.01 c | 133242 | 2560 302680 1032060 | 2147483647 133242 172 | 0.000 % |
96.12/96.23 c | 133419 | 2560 302680 1032060 | 2147483647 133419 172 | 0.000 % |
96.32/96.44 c | 133614 | 2560 302680 1032060 | 2147483647 133614 172 | 0.000 % |
96.52/96.68 c | 133827 | 2560 302680 1032060 | 2147483647 133827 172 | 0.000 % |
96.82/96.96 c | 134061 | 2560 302680 1032060 | 2147483647 134061 172 | 0.000 % |
97.12/97.21 c | 134317 | 2560 302680 1032060 | 2147483647 134317 172 | 0.000 % |
97.42/97.54 c | 134598 | 2560 302680 1032060 | 2147483647 134598 172 | 0.000 % |
97.82/97.92 c | 134908 | 2560 302680 1032060 | 2147483647 134908 172 | 0.000 % |
98.12/98.27 c | 135247 | 2560 302680 1032060 | 2147483647 135247 172 | 0.000 % |
98.41/98.60 c | 135619 | 2560 302680 1032060 | 2147483647 135619 172 | 0.000 % |
98.83/98.96 c | 136033 | 2560 302680 1032060 | 2147483647 136033 172 | 0.003 % |
99.52/99.65 c | 136482 | 2560 302680 1032060 | 2147483647 136482 172 | 0.000 % |
100.02/100.15 c | 136977 | 2560 302680 1032060 | 2147483647 136977 172 | 0.004 % |
100.62/100.77 c | 137521 | 2560 302680 1032060 | 2147483647 137521 172 | 0.005 % |
101.32/101.48 c | 138120 | 2560 302680 1032060 | 2147483647 138120 172 | 0.000 % |
102.12/102.23 c | 138776 | 2560 302680 1032060 | 2147483647 138776 172 | 0.004 % |
102.81/102.97 c | 139496 | 2560 302680 1032060 | 2147483647 139496 172 | 0.000 % |
103.61/103.77 c | 140292 | 2560 302680 1032060 | 2147483647 140292 172 | 0.004 % |
104.62/104.71 c | 141163 | 2560 302680 1032060 | 2147483647 141163 171 | 0.000 % |
105.62/105.78 c | 142122 | 2560 302680 1032060 | 2147483647 142122 171 | 0.004 % |
106.82/106.91 c | 143175 | 2560 302680 1032060 | 2147483647 143175 171 | 0.003 % |
108.11/108.20 c | 144333 | 2560 302680 1032060 | 2147483647 144333 170 | 0.004 % |
109.31/109.45 c | 145607 | 2560 302680 1032060 | 2147483647 145607 170 | 0.004 % |
110.81/111.00 c | 147007 | 2560 302680 1032060 | 2147483647 147007 170 | 0.000 % |
112.61/112.78 c | 148549 | 2560 302680 1032060 | 2147483647 148549 171 | 0.000 % |
112.82/112.97 c | 148651 | 2560 302680 1032060 | 2147483647 148651 171 | 0.000 % |
113.02/113.12 c | 148761 | 2560 302680 1032060 | 2147483647 148761 171 | 0.000 % |
113.12/113.30 c | 148883 | 2560 302680 1032060 | 2147483647 148883 171 | 0.000 % |
113.31/113.47 c | 149017 | 2560 302680 1032060 | 2147483647 149017 171 | 0.000 % |
113.51/113.67 c | 149163 | 2560 302680 1032060 | 2147483647 149163 171 | 0.000 % |
113.71/113.89 c | 149323 | 2560 302680 1032060 | 2147483647 149323 171 | 0.000 % |
113.91/114.06 c | 149499 | 2560 302680 1032060 | 2147483647 149499 171 | 0.000 % |
114.11/114.30 c | 149693 | 2560 302680 1032060 | 2147483647 149693 171 | 0.000 % |
114.41/114.56 c | 149906 | 2560 302680 1032060 | 2147483647 149906 171 | 0.000 % |
114.71/114.82 c | 150141 | 2560 302680 1032060 | 2147483647 150141 171 | 0.000 % |
115.01/115.14 c | 150402 | 2560 302680 1032060 | 2147483647 150402 171 | 0.000 % |
115.41/115.53 c | 150683 | 2560 302680 1032060 | 2147483647 150683 171 | 0.000 % |
115.81/115.91 c | 150992 | 2560 302680 1032060 | 2147483647 150992 171 | 0.000 % |
116.30/116.44 c | 151331 | 2560 302680 1032060 | 2147483647 151331 171 | 0.000 % |
116.71/116.87 c | 151704 | 2560 302680 1032060 | 2147483647 151704 171 | 0.000 % |
117.21/117.37 c | 152114 | 2560 302680 1032060 | 2147483647 152114 171 | 0.004 % |
117.81/117.94 c | 152564 | 2560 302680 1032060 | 2147483647 152564 171 | 0.004 % |
118.51/118.61 c | 153058 | 2560 302680 1032060 | 2147483647 153058 172 | 0.000 % |
119.20/119.34 c | 153600 | 2560 302680 1032060 | 2147483647 153600 172 | 0.000 % |
119.91/120.03 c | 154199 | 2560 302680 1032060 | 2147483647 154199 172 | 0.005 % |
120.71/120.82 c | 154854 | 2560 302680 1032060 | 2147483647 154854 172 | 0.000 % |
121.41/121.59 c | 155575 | 2560 302680 1032060 | 2147483647 155575 172 | 0.000 % |
122.60/122.79 c | 156367 | 2560 302680 1032060 | 2147483647 156367 172 | 0.000 % |
123.71/123.87 c | 157239 | 2560 302680 1032060 | 2147483647 157239 172 | 0.000 % |
124.81/124.99 c | 158198 | 2560 302680 1032060 | 2147483647 158198 172 | 0.000 % |
126.00/126.18 c | 159251 | 2560 302680 1032060 | 2147483647 159251 172 | 0.005 % |
127.30/127.48 c | 160409 | 2560 302680 1032060 | 2147483647 160409 172 | 0.000 % |
128.80/128.96 c | 161682 | 2560 302680 1032060 | 2147483647 161682 172 | 0.000 % |
130.61/130.80 c | 163083 | 2560 302680 1032060 | 2147483647 163083 171 | 0.004 % |
132.80/132.92 c | 164626 | 2560 302680 1032060 | 2147483647 164626 172 | 0.000 % |
134.80/134.99 c | 166320 | 2560 302680 1032060 | 2147483647 166320 172 | 0.000 % |
135.00/135.14 c | 166420 | 2560 302680 1032060 | 2147483647 166420 172 | 0.004 % |
135.10/135.28 c | 166530 | 2560 302680 1032060 | 2147483647 166530 172 | 0.000 % |
135.40/135.50 c | 166651 | 2560 302680 1032060 | 2147483647 166651 172 | 0.000 % |
135.50/135.68 c | 166784 | 2560 302680 1032060 | 2147483647 166784 172 | 0.000 % |
135.70/135.87 c | 166930 | 2560 302680 1032060 | 2147483647 166930 172 | 0.000 % |
135.90/136.07 c | 167090 | 2560 302680 1032060 | 2147483647 167090 172 | 0.005 % |
136.21/136.35 c | 167266 | 2560 302680 1032060 | 2147483647 167266 172 | 0.000 % |
136.50/136.60 c | 167459 | 2560 302680 1032060 | 2147483647 167459 172 | 0.000 % |
136.70/136.87 c | 167671 | 2560 302680 1032060 | 2147483647 167671 172 | 0.000 % |
137.10/137.20 c | 167907 | 2560 302680 1032060 | 2147483647 167907 172 | 0.004 % |
137.40/137.59 c | 168163 | 2560 302680 1032060 | 2147483647 168163 172 | 0.004 % |
137.80/137.93 c | 168444 | 2560 302680 1032060 | 2147483647 168444 172 | 0.000 % |
138.20/138.32 c | 168754 | 2560 302680 1032060 | 2147483647 168754 172 | 0.000 % |
138.60/138.72 c | 169093 | 2560 302680 1032060 | 2147483647 169093 172 | 0.003 % |
139.30/139.40 c | 169466 | 2560 302680 1032060 | 2147483647 169466 172 | 0.000 % |
139.80/139.91 c | 169878 | 2560 302680 1032060 | 2147483647 169878 172 | 0.000 % |
140.29/140.46 c | 170327 | 2560 302680 1032060 | 2147483647 170327 172 | 0.003 % |
140.99/141.10 c | 170821 | 2560 302680 1032060 | 2147483647 170821 172 | 0.003 % |
141.70/141.85 c | 171365 | 2560 302680 1032060 | 2147483647 171365 172 | 0.000 % |
142.60/142.72 c | 171962 | 2560 302680 1032060 | 2147483647 171962 171 | 0.004 % |
143.40/143.58 c | 172617 | 2560 302680 1032060 | 2147483647 172617 171 | 0.000 % |
144.40/144.53 c | 173337 | 2560 302680 1032060 | 2147483647 173337 171 | 0.004 % |
145.20/145.39 c | 174130 | 2560 302680 1032060 | 2147483647 174130 171 | 0.005 % |
146.30/146.47 c | 175001 | 2560 302680 1032060 | 2147483647 175001 171 | 0.000 % |
147.90/148.02 c | 175962 | 2560 302680 1032060 | 2147483647 175962 171 | 0.000 % |
149.40/149.58 c | 177016 | 2560 302680 1032060 | 2147483647 177016 171 | 0.003 % |
151.00/151.15 c | 178174 | 2560 302680 1032060 | 2147483647 178174 172 | 0.000 % |
152.80/152.95 c | 179448 | 2560 302680 1032060 | 2147483647 179448 172 | 0.000 % |
154.49/154.62 c | 180849 | 2560 302680 1032060 | 2147483647 180849 171 | 0.004 % |
156.29/156.44 c | 182389 | 2560 302680 1032060 | 2147483647 182389 171 | 0.004 % |
158.29/158.47 c | 184085 | 2560 302680 1032060 | 2147483647 184085 171 | 0.005 % |
160.70/160.90 c | 185949 | 2560 302680 1032060 | 2147483647 185949 171 | 0.000 % |
160.89/161.06 c | 186049 | 2560 302680 1032060 | 2147483647 186049 171 | 0.000 % |
161.19/161.31 c | 186163 | 2560 302680 1032060 | 2147483647 186163 171 | 0.000 % |
161.39/161.51 c | 186284 | 2560 302680 1032060 | 2147483647 186284 171 | 0.000 % |
161.50/161.65 c | 186417 | 2560 302680 1032060 | 2147483647 186417 171 | 0.000 % |
161.69/161.88 c | 186563 | 2560 302680 1032060 | 2147483647 186563 171 | 0.004 % |
161.99/162.17 c | 186724 | 2560 302680 1032060 | 2147483647 186724 171 | 0.000 % |
162.29/162.42 c | 186903 | 2560 302680 1032060 | 2147483647 186903 171 | 0.000 % |
162.49/162.67 c | 187098 | 2560 302680 1032060 | 2147483647 187098 171 | 0.000 % |
162.89/163.01 c | 187310 | 2560 302680 1032060 | 2147483647 187310 171 | 0.000 % |
163.19/163.36 c | 187544 | 2560 302680 1032060 | 2147483647 187544 171 | 0.000 % |
163.59/163.74 c | 187800 | 2560 302680 1032060 | 2147483647 187800 171 | 0.000 % |
163.99/164.17 c | 188082 | 2560 302680 1032060 | 2147483647 188082 171 | 0.003 % |
164.49/164.60 c | 188391 | 2560 302680 1032060 | 2147483647 188391 171 | 0.000 % |
164.89/165.04 c | 188730 | 2560 302680 1032060 | 2147483647 188730 171 | 0.000 % |
165.39/165.56 c | 189102 | 2560 302680 1032060 | 2147483647 189102 171 | 0.004 % |
165.99/166.15 c | 189513 | 2560 302680 1032060 | 2147483647 189513 171 | 0.000 % |
166.69/166.88 c | 189962 | 2560 302680 1032060 | 2147483647 189962 172 | 0.000 % |
167.40/167.58 c | 190455 | 2560 302680 1032060 | 2147483647 190455 172 | 0.000 % |
168.00/168.17 c | 190998 | 2560 302680 1032060 | 2147483647 190998 171 | 0.004 % |
168.69/168.89 c | 191594 | 2560 302680 1032060 | 2147483647 191594 171 | 0.004 % |
169.69/169.89 c | 192249 | 2560 302680 1032060 | 2147483647 192249 172 | 0.000 % |
170.79/170.98 c | 192972 | 2560 302680 1032060 | 2147483647 192972 172 | 0.000 % |
171.79/171.97 c | 193764 | 2560 302680 1032060 | 2147483647 193764 172 | 0.000 % |
173.09/173.25 c | 194639 | 2560 302680 1032060 | 2147483647 194639 172 | 0.000 % |
174.49/174.69 c | 195597 | 2560 302680 1032060 | 2147483647 195597 172 | 0.000 % |
175.79/175.97 c | 196651 | 2560 302680 1032060 | 2147483647 196651 172 | 0.000 % |
177.29/177.44 c | 197809 | 2560 302680 1032060 | 2147483647 197809 172 | 0.004 % |
178.99/179.14 c | 199083 | 2560 302680 1032060 | 2147483647 199083 172 | 0.004 % |
180.79/180.90 c | 200485 | 2560 302680 1032060 | 2147483647 200485 173 | 0.000 % |
182.88/183.07 c | 202025 | 2560 302680 1032060 | 2147483647 202025 173 | 0.000 % |
185.98/186.16 c | 203720 | 2560 302680 1032060 | 2147483647 203720 174 | 0.000 % |
188.68/188.83 c | 205587 | 2560 302680 1032060 | 2147483647 205587 174 | 0.000 % |
191.48/191.69 c | 207637 | 2560 302680 1032060 | 2147483647 207637 175 | 0.000 % |
191.68/191.81 c | 207739 | 2560 302680 1032060 | 2147483647 207739 175 | 0.000 % |
191.79/191.99 c | 207849 | 2560 302680 1032060 | 2147483647 207849 175 | 0.000 % |
191.99/192.16 c | 207971 | 2560 302680 1032060 | 2147483647 207971 175 | 0.000 % |
192.29/192.41 c | 208105 | 2560 302680 1032060 | 2147483647 208105 175 | 0.000 % |
192.49/192.61 c | 208251 | 2560 302680 1032060 | 2147483647 208251 175 | 0.000 % |
192.69/192.87 c | 208412 | 2560 302680 1032060 | 2147483647 208412 175 | 0.004 % |
192.99/193.13 c | 208590 | 2560 302680 1032060 | 2147483647 208590 175 | 0.004 % |
193.29/193.45 c | 208785 | 2560 302680 1032060 | 2147483647 208785 175 | 0.000 % |
193.58/193.74 c | 208998 | 2560 302680 1032060 | 2147483647 208998 175 | 0.004 % |
193.88/194.03 c | 209231 | 2560 302680 1032060 | 2147483647 209231 175 | 0.004 % |
194.28/194.41 c | 209487 | 2560 302680 1032060 | 2147483647 209487 175 | 0.000 % |
194.68/194.90 c | 209768 | 2560 302680 1032060 | 2147483647 209768 175 | 0.000 % |
195.18/195.31 c | 210077 | 2560 302680 1032060 | 2147483647 210077 175 | 0.004 % |
195.78/195.96 c | 210416 | 2560 302680 1032060 | 2147483647 210416 175 | 0.000 % |
196.38/196.57 c | 210788 | 2560 302680 1032060 | 2147483647 210788 175 | 0.000 % |
197.08/197.28 c | 211197 | 2560 302680 1032060 | 2147483647 211197 175 | 0.000 % |
197.78/197.92 c | 211647 | 2560 302680 1032060 | 2147483647 211647 175 | 0.004 % |
198.48/198.67 c | 212140 | 2560 302680 1032060 | 2147483647 212140 175 | 0.005 % |
199.28/199.43 c | 212682 | 2560 302680 1032060 | 2147483647 212682 175 | 0.000 % |
200.18/200.32 c | 213280 | 2560 302680 1032060 | 2147483647 213280 175 | 0.000 % |
200.88/201.06 c | 213935 | 2560 302680 1032060 | 2147483647 213935 175 | 0.005 % |
201.98/202.17 c | 214657 | 2560 302680 1032060 | 2147483647 214657 174 | 0.000 % |
203.18/203.32 c | 215450 | 2560 302680 1032060 | 2147483647 215450 174 | 0.004 % |
204.38/204.56 c | 216322 | 2560 302680 1032060 | 2147483647 216322 174 | 0.004 % |
205.68/205.85 c | 217281 | 2560 302680 1032060 | 2147483647 217281 174 | 0.004 % |
207.38/207.56 c | 218335 | 2560 302680 1032060 | 2147483647 218335 174 | 0.003 % |
208.78/208.99 c | 219494 | 2560 302680 1032060 | 2147483647 219494 174 | 0.000 % |
210.68/210.86 c | 220767 | 2560 302680 1032060 | 2147483647 220767 173 | 0.004 % |
212.77/212.93 c | 222169 | 2560 302680 1032060 | 2147483647 222169 173 | 0.004 % |
215.07/215.25 c | 223711 | 2560 302680 1032060 | 2147483647 223711 173 | 0.004 % |
217.37/217.51 c | 225405 | 2560 302680 1032060 | 2147483647 225405 172 | 0.004 % |
219.97/220.19 c | 227269 | 2560 302680 1032060 | 2147483647 227269 172 | 0.004 % |
222.87/223.02 c | 229320 | 2560 302680 1032060 | 2147483647 229320 171 | 0.004 % |
226.87/227.01 c | 231578 | 2560 302680 1032060 | 2147483647 231578 171 | 0.004 % |
227.06/227.20 c | 231678 | 2560 302680 1032060 | 2147483647 231678 171 | 0.000 % |
227.16/227.37 c | 231789 | 2560 302680 1032060 | 2147483647 231789 171 | 0.000 % |
227.47/227.64 c | 231910 | 2560 302680 1032060 | 2147483647 231910 171 | 0.000 % |
227.66/227.88 c | 232043 | 2560 302680 1032060 | 2147483647 232043 171 | 0.000 % |
228.07/228.25 c | 232191 | 2560 302680 1032060 | 2147483647 232191 171 | 0.000 % |
228.37/228.55 c | 232352 | 2560 302680 1032060 | 2147483647 232352 171 | 0.000 % |
228.67/228.82 c | 232529 | 2560 302680 1032060 | 2147483647 232529 171 | 0.004 % |
229.07/229.24 c | 232722 | 2560 302680 1032060 | 2147483647 232722 171 | 0.000 % |
229.47/229.61 c | 232935 | 2560 302680 1032060 | 2147483647 232935 171 | 0.000 % |
229.87/230.02 c | 233168 | 2560 302680 1032060 | 2147483647 233168 171 | 0.000 % |
230.37/230.50 c | 233425 | 2560 302680 1032060 | 2147483647 233425 171 | 0.000 % |
230.77/230.97 c | 233706 | 2560 302680 1032060 | 2147483647 233706 171 | 0.000 % |
231.26/231.42 c | 234015 | 2560 302680 1032060 | 2147483647 234015 171 | 0.003 % |
231.97/232.18 c | 234355 | 2560 302680 1032060 | 2147483647 234355 171 | 0.000 % |
232.66/232.87 c | 234729 | 2560 302680 1032060 | 2147483647 234729 171 | 0.000 % |
233.26/233.48 c | 235138 | 2560 302680 1032060 | 2147483647 235138 171 | 0.004 % |
233.96/234.17 c | 235587 | 2560 302680 1032060 | 2147483647 235587 171 | 0.000 % |
234.87/235.04 c | 236081 | 2560 302680 1032060 | 2147483647 236081 171 | 0.000 % |
235.87/236.05 c | 236625 | 2560 302680 1032060 | 2147483647 236625 171 | 0.000 % |
236.77/236.92 c | 237223 | 2560 302680 1032060 | 2147483647 237223 171 | 0.000 % |
237.57/237.78 c | 237883 | 2560 302680 1032060 | 2147483647 237883 171 | 0.000 % |
238.76/238.98 c | 238606 | 2560 302680 1032060 | 2147483647 238606 171 | 0.004 % |
240.07/240.29 c | 239398 | 2560 302680 1032060 | 2147483647 239398 171 | 0.000 % |
241.47/241.66 c | 240269 | 2560 302680 1032060 | 2147483647 240269 171 | 0.000 % |
242.87/243.03 c | 241227 | 2560 302680 1032060 | 2147483647 241227 171 | 0.003 % |
244.47/244.64 c | 242283 | 2560 302680 1032060 | 2147483647 242283 171 | 0.000 % |
246.36/246.58 c | 243441 | 2560 302680 1032060 | 2147483647 243441 171 | 0.004 % |
248.56/248.72 c | 244714 | 2560 302680 1032060 | 2147483647 244714 171 | 0.000 % |
250.96/251.14 c | 246114 | 2560 302680 1032060 | 2147483647 246114 170 | 0.003 % |
253.56/253.76 c | 247655 | 2560 302680 1032060 | 2147483647 247655 170 | 0.000 % |
256.26/256.48 c | 249351 | 2560 302680 1032060 | 2147483647 249351 170 | 0.000 % |
259.16/259.32 c | 251217 | 2560 302680 1032060 | 2147483647 251217 170 | 0.004 % |
262.85/263.01 c | 253268 | 2560 302680 1032060 | 2147483647 253268 170 | 0.000 % |
266.76/266.96 c | 255522 | 2560 302680 1032060 | 2147483647 255522 170 | 0.000 % |
270.66/270.82 c | 258000 | 2560 302680 1032060 | 2147483647 258000 170 | 0.000 % |
270.96/271.16 c | 258100 | 2560 302680 1032060 | 2147483647 258100 170 | 0.000 % |
271.16/271.39 c | 258210 | 2560 302680 1032060 | 2147483647 258210 170 | 0.000 % |
271.46/271.61 c | 258331 | 2560 302680 1032060 | 2147483647 258331 170 | 0.004 % |
271.66/271.89 c | 258467 | 2560 302680 1032060 | 2147483647 258467 170 | 0.000 % |
271.96/272.14 c | 258613 | 2560 302680 1032060 | 2147483647 258613 170 | 0.000 % |
272.26/272.46 c | 258773 | 2560 302680 1032060 | 2147483647 258773 170 | 0.004 % |
272.56/272.80 c | 258949 | 2560 302680 1032060 | 2147483647 258949 170 | 0.004 % |
272.85/273.08 c | 259143 | 2560 302680 1032060 | 2147483647 259143 170 | 0.000 % |
273.25/273.44 c | 259355 | 2560 302680 1032060 | 2147483647 259355 170 | 0.004 % |
273.55/273.77 c | 259588 | 2560 302680 1032060 | 2147483647 259588 170 | 0.000 % |
274.05/274.21 c | 259844 | 2560 302680 1032060 | 2147483647 259844 170 | 0.000 % |
274.45/274.65 c | 260126 | 2560 302680 1032060 | 2147483647 260126 170 | 0.004 % |
275.05/275.21 c | 260436 | 2560 302680 1032060 | 2147483647 260436 170 | 0.000 % |
275.65/275.83 c | 260775 | 2560 302680 1032060 | 2147483647 260775 170 | 0.004 % |
276.25/276.47 c | 261148 | 2560 302680 1032060 | 2147483647 261148 170 | 0.004 % |
276.85/277.03 c | 261560 | 2560 302680 1032060 | 2147483647 261560 170 | 0.004 % |
277.66/277.86 c | 262009 | 2560 302680 1032060 | 2147483647 262009 170 | 0.000 % |
278.65/278.89 c | 262502 | 2560 302680 1032060 | 2147483647 262502 171 | 0.000 % |
279.85/280.01 c | 263044 | 2560 302680 1032060 | 2147483647 263044 171 | 0.000 % |
280.75/280.99 c | 263641 | 2560 302680 1032060 | 2147483647 263641 171 | 0.000 % |
281.85/282.01 c | 264298 | 2560 302680 1032060 | 2147483647 264298 171 | 0.004 % |
283.05/283.22 c | 265019 | 2560 302680 1032060 | 2147483647 265019 171 | 0.000 % |
284.85/285.02 c | 265811 | 2560 302680 1032060 | 2147483647 265811 171 | 0.000 % |
286.05/286.22 c | 266682 | 2560 302680 1032060 | 2147483647 266682 171 | 0.000 % |
287.85/288.00 c | 267641 | 2560 302680 1032060 | 2147483647 267641 171 | 0.000 % |
289.45/289.62 c | 268694 | 2560 302680 1032060 | 2147483647 268694 171 | 0.004 % |
291.35/291.55 c | 269852 | 2560 302680 1032060 | 2147483647 269852 171 | 0.004 % |
293.35/293.55 c | 271125 | 2560 302680 1032060 | 2147483647 271125 171 | 0.003 % |
295.74/295.91 c | 272526 | 2560 302680 1032060 | 2147483647 272526 170 | 0.004 % |
299.24/299.46 c | 274066 | 2560 302680 1032060 | 2147483647 274066 171 | 0.000 % |
303.85/304.03 c | 275760 | 2560 302680 1032060 | 2147483647 275760 172 | 0.000 % |
308.04/308.30 c | 277623 | 2560 302680 1032060 | 2147483647 277623 173 | 0.000 % |
311.64/311.86 c | 279674 | 2560 302680 1032060 | 2147483647 279674 173 | 0.000 % |
316.24/316.41 c | 281928 | 2560 302680 1032060 | 2147483647 281928 173 | 0.000 % |
320.84/321.03 c | 284407 | 2560 302680 1032060 | 2147483647 284407 173 | 0.000 % |
325.63/325.83 c | 287132 | 2560 302680 1032060 | 2147483647 287132 173 | 0.000 % |
325.83/326.06 c | 287232 | 2560 302680 1032060 | 2147483647 287232 173 | 0.004 % |
326.03/326.22 c | 287342 | 2560 302680 1032060 | 2147483647 287342 172 | 0.000 % |
326.33/326.52 c | 287464 | 2560 302680 1032060 | 2147483647 287464 172 | 0.000 % |
326.54/326.78 c | 287598 | 2560 302680 1032060 | 2147483647 287598 172 | 0.004 % |
326.83/327.07 c | 287746 | 2560 302680 1032060 | 2147483647 287746 172 | 0.000 % |
327.23/327.46 c | 287907 | 2560 302680 1032060 | 2147483647 287907 173 | 0.000 % |
327.64/327.82 c | 288085 | 2560 302680 1032060 | 2147483647 288085 173 | 0.000 % |
328.03/328.23 c | 288279 | 2560 302680 1032060 | 2147483647 288279 173 | 0.000 % |
328.43/328.68 c | 288492 | 2560 302680 1032060 | 2147483647 288492 173 | 0.000 % |
328.93/329.12 c | 288725 | 2560 302680 1032060 | 2147483647 288725 173 | 0.004 % |
329.43/329.62 c | 288981 | 2560 302680 1032060 | 2147483647 288981 173 | 0.004 % |
329.93/330.11 c | 289262 | 2560 302680 1032060 | 2147483647 289262 172 | 0.004 % |
330.34/330.58 c | 289571 | 2560 302680 1032060 | 2147483647 289571 172 | 0.004 % |
331.14/331.39 c | 289915 | 2560 302680 1032060 | 2147483647 289915 173 | 0.000 % |
332.04/332.23 c | 290287 | 2560 302680 1032060 | 2147483647 290287 173 | 0.004 % |
332.73/332.97 c | 290696 | 2560 302680 1032060 | 2147483647 290696 172 | 0.000 % |
333.53/333.77 c | 291145 | 2560 302680 1032060 | 2147483647 291145 173 | 0.004 % |
334.43/334.63 c | 291639 | 2560 302680 1032060 | 2147483647 291639 172 | 0.004 % |
335.43/335.61 c | 292182 | 2560 302680 1032060 | 2147483647 292182 172 | 0.000 % |
336.33/336.55 c | 292779 | 2560 302680 1032060 | 2147483647 292779 172 | 0.000 % |
337.53/337.75 c | 293434 | 2560 302680 1032060 | 2147483647 293434 172 | 0.004 % |
338.63/338.85 c | 294154 | 2560 302680 1032060 | 2147483647 294154 172 | 0.000 % |
339.82/340.07 c | 294946 | 2560 302680 1032060 | 2147483647 294946 172 | 0.004 % |
341.43/341.64 c | 295818 | 2560 302680 1032060 | 2147483647 295818 172 | 0.004 % |
343.13/343.30 c | 296777 | 2560 302680 1032060 | 2147483647 296777 172 | 0.004 % |
344.83/345.04 c | 297830 | 2560 302680 1032060 | 2147483647 297830 172 | 0.004 % |
347.02/347.24 c | 298990 | 2560 302680 1032060 | 2147483647 298990 172 | 0.000 % |
349.82/350.01 c | 300265 | 2560 302680 1032060 | 300000 300265 172 | 0.003 % |
352.62/352.83 c | 301665 | 2560 302680 1032060 | 300000 269734 169 | 0.000 % |
355.22/355.42 c | 303206 | 2560 302680 1032060 | 300000 271275 169 | 0.004 % |
357.92/358.19 c | 304901 | 2560 302680 1032060 | 300000 272970 169 | 0.000 % |
361.82/362.02 c | 306764 | 2560 302680 1032060 | 300000 274833 169 | 0.000 % |
365.22/365.47 c | 308814 | 2560 302680 1032060 | 300000 276883 169 | 0.004 % |
368.92/369.14 c | 311067 | 2560 302680 1032060 | 2147483647 279136 169 | 0.004 % |
374.11/374.33 c | 313547 | 2560 302680 1032060 | 2147483647 281616 170 | 0.000 % |
381.11/381.40 c | 316272 | 2560 302680 1032060 | 2147483647 284341 171 | 0.000 % |
387.71/387.90 c | 319271 | 2560 302680 1032060 | 2147483647 287340 171 | 0.000 % |
387.91/388.11 c | 319371 | 2560 302680 1032060 | 2147483647 287440 171 | 0.000 % |
388.11/388.37 c | 319482 | 2560 302680 1032060 | 2147483647 287551 171 | 0.000 % |
388.41/388.61 c | 319603 | 2560 302680 1032060 | 2147483647 287672 171 | 0.000 % |
388.61/388.88 c | 319736 | 2560 302680 1032060 | 2147483647 287805 171 | 0.004 % |
389.01/389.22 c | 319882 | 2560 302680 1032060 | 2147483647 287951 171 | 0.004 % |
389.31/389.53 c | 320042 | 2560 302680 1032060 | 2147483647 288111 171 | 0.004 % |
389.71/389.95 c | 320218 | 2560 302680 1032060 | 2147483647 288287 171 | 0.000 % |
390.11/390.34 c | 320411 | 2560 302680 1032060 | 2147483647 288480 171 | 0.005 % |
390.61/390.83 c | 320623 | 2560 302680 1032060 | 2147483647 288692 171 | 0.000 % |
391.01/391.20 c | 320858 | 2560 302680 1032060 | 2147483647 288927 171 | 0.004 % |
391.41/391.65 c | 321114 | 2560 302680 1032060 | 2147483647 289183 171 | 0.000 % |
391.81/392.08 c | 321396 | 2560 302680 1032060 | 2147483647 289465 171 | 0.000 % |
392.41/392.66 c | 321707 | 2560 302680 1032060 | 2147483647 289776 171 | 0.004 % |
393.21/393.40 c | 322053 | 2560 302680 1032060 | 2147483647 290122 171 | 0.000 % |
393.91/394.15 c | 322425 | 2560 302680 1032060 | 2147483647 290494 171 | 0.000 % |
394.61/394.86 c | 322835 | 2560 302680 1032060 | 2147483647 290904 171 | 0.000 % |
395.22/395.47 c | 323284 | 2560 302680 1032060 | 2147483647 291353 171 | 0.004 % |
396.12/396.39 c | 323779 | 2560 302680 1032060 | 2147483647 291848 171 | 0.000 % |
397.22/397.50 c | 324321 | 2560 302680 1032060 | 2147483647 292390 171 | 0.004 % |
398.11/398.38 c | 324917 | 2560 302680 1032060 | 2147483647 292986 172 | 0.000 % |
399.21/399.47 c | 325573 | 2560 302680 1032060 | 2147483647 293642 172 | 0.004 % |
400.81/401.06 c | 326293 | 2560 302680 1032060 | 2147483647 294362 172 | 0.000 % |
402.42/402.62 c | 327087 | 2560 302680 1032060 | 2147483647 295156 172 | 0.000 % |
404.01/404.26 c | 327959 | 2560 302680 1032060 | 2147483647 296028 172 | 0.000 % |
405.72/405.99 c | 328918 | 2560 302680 1032060 | 2147483647 296987 172 | 0.000 % |
408.01/408.22 c | 329971 | 2560 302680 1032060 | 2147483647 298040 172 | 0.000 % |
410.21/410.43 c | 331129 | 2560 302680 1032060 | 298069 299198 172 | 0.000 % |
412.61/412.86 c | 332402 | 2560 302680 1032060 | 298069 268619 171 | 0.003 % |
415.41/415.64 c | 333806 | 2560 302680 1032060 | 298069 270023 170 | 0.004 % |
418.41/418.64 c | 335349 | 2560 302680 1032060 | 298069 271566 170 | 0.000 % |
421.81/422.06 c | 337043 | 2560 302680 1032060 | 298069 273260 170 | 0.004 % |
425.90/426.18 c | 338906 | 2560 302680 1032060 | 298069 275123 170 | 0.000 % |
430.40/430.69 c | 340955 | 2560 302680 1032060 | 2147483647 277172 170 | 0.000 % |
434.60/434.83 c | 343208 | 2560 302680 1032060 | 2147483647 279425 170 | 0.004 % |
439.40/439.69 c | 345686 | 2560 302680 1032060 | 2147483647 281903 170 | 0.003 % |
444.90/445.14 c | 348413 | 2560 302680 1032060 | 2147483647 284630 169 | 0.003 % |
450.70/450.91 c | 351411 | 2560 302680 1032060 | 286217 287628 169 | 0.000 % |
456.49/456.75 c | 354707 | 2560 302680 1032060 | 286217 255990 165 | 0.004 % |
456.69/456.92 c | 354808 | 2560 302680 1032060 | 286217 256091 165 | 0.004 % |
456.89/457.15 c | 354918 | 2560 302680 1032060 | 286217 256201 165 | 0.004 % |
457.09/457.38 c | 355039 | 2560 302680 1032060 | 286217 256322 165 | 0.000 % |
457.40/457.67 c | 355173 | 2560 302680 1032060 | 286217 256456 165 | 0.000 % |
457.69/457.94 c | 355319 | 2560 302680 1032060 | 286217 256602 165 | 0.004 % |
457.99/458.25 c | 355481 | 2560 302680 1032060 | 286217 256764 165 | 0.004 % |
458.29/458.52 c | 355658 | 2560 302680 1032060 | 286217 256941 165 | 0.000 % |
458.50/458.78 c | 355851 | 2560 302680 1032060 | 286217 257134 165 | 0.004 % |
458.99/459.21 c | 356063 | 2560 302680 1032060 | 286217 257346 165 | 0.000 % |
459.50/459.73 c | 356297 | 2560 302680 1032060 | 286217 257580 165 | 0.000 % |
459.99/460.20 c | 356553 | 2560 302680 1032060 | 286217 257836 165 | 0.000 % |
460.59/460.87 c | 356836 | 2560 302680 1032060 | 286217 258119 165 | 0.000 % |
461.19/461.44 c | 357145 | 2560 302680 1032060 | 286217 258428 165 | 0.000 % |
461.89/462.19 c | 357485 | 2560 302680 1032060 | 286217 258768 165 | 0.000 % |
462.69/462.99 c | 357857 | 2560 302680 1032060 | 286217 259140 165 | 0.003 % |
463.69/463.90 c | 358266 | 2560 302680 1032060 | 286217 259549 165 | 0.000 % |
464.59/464.89 c | 358718 | 2560 302680 1032060 | 286217 260001 165 | 0.000 % |
465.49/465.76 c | 359211 | 2560 302680 1032060 | 286217 260494 165 | 0.000 % |
466.59/466.80 c | 359754 | 2560 302680 1032060 | 286217 261037 165 | 0.003 % |
467.59/467.89 c | 360350 | 2560 302680 1032060 | 261285 261633 165 | 0.000 % |
469.19/469.42 c | 361005 | 2560 302680 1032060 | 261285 231990 160 | 0.000 % |
470.39/470.66 c | 361725 | 2560 302680 1032060 | 261285 232710 160 | 0.000 % |
471.69/471.97 c | 362517 | 2560 302680 1032060 | 261285 233502 160 | 0.004 % |
473.39/473.62 c | 363388 | 2560 302680 1032060 | 261285 234373 161 | 0.000 % |
474.89/475.11 c | 364347 | 2560 302680 1032060 | 261285 235332 161 | 0.000 % |
476.39/476.61 c | 365400 | 2560 302680 1032060 | 261285 236385 161 | 0.000 % |
478.58/478.84 c | 366558 | 2560 302680 1032060 | 261285 237543 161 | 0.000 % |
481.28/481.53 c | 367831 | 2560 302680 1032060 | 261285 238816 162 | 0.000 % |
483.69/483.99 c | 369231 | 2560 302680 1032060 | 261285 240216 162 | 0.000 % |
486.38/486.64 c | 370771 | 2560 302680 1032060 | 2147483647 241756 162 | 0.004 % |
488.88/489.13 c | 372466 | 2560 302680 1032060 | 2147483647 243451 161 | 0.005 % |
492.18/492.46 c | 374329 | 2560 302680 1032060 | 2147483647 245314 161 | 0.000 % |
496.08/496.31 c | 376380 | 2560 302680 1032060 | 2147483647 247365 161 | 0.005 % |
500.48/500.76 c | 378633 | 2560 302680 1032060 | 2147483647 249618 161 | 0.000 % |
505.17/505.40 c | 381112 | 2560 302680 1032060 | 2147483647 252097 161 | 0.000 % |
510.67/510.91 c | 383839 | 2560 302680 1032060 | 2147483647 254824 160 | 0.000 % |
516.17/516.45 c | 386837 | 2560 302680 1032060 | 2147483647 257822 160 | 0.000 % |
522.87/523.13 c | 390135 | 2560 302680 1032060 | 260986 261120 160 | 0.000 % |
530.07/530.38 c | 393760 | 2560 302680 1032060 | 260986 232666 161 | 0.004 % |
530.27/530.57 c | 393861 | 2560 302680 1032060 | 260986 232767 161 | 0.004 % |
530.47/530.73 c | 393971 | 2560 302680 1032060 | 260986 232877 161 | 0.004 % |
530.67/530.98 c | 394092 | 2560 302680 1032060 | 260986 232998 161 | 0.000 % |
530.97/531.29 c | 394225 | 2560 302680 1032060 | 260986 233131 161 | 0.000 % |
531.27/531.59 c | 394372 | 2560 302680 1032060 | 260986 233278 161 | 0.000 % |
531.56/531.85 c | 394532 | 2560 302680 1032060 | 260986 233438 161 | 0.000 % |
531.96/532.21 c | 394709 | 2560 302680 1032060 | 260986 233615 161 | 0.000 % |
532.26/532.51 c | 394902 | 2560 302680 1032060 | 260986 233808 161 | 0.000 % |
532.56/532.88 c | 395114 | 2560 302680 1032060 | 260986 234020 161 | 0.005 % |
533.06/533.30 c | 395347 | 2560 302680 1032060 | 260986 234253 161 | 0.000 % |
533.46/533.78 c | 395603 | 2560 302680 1032060 | 260986 234509 161 | 0.003 % |
533.96/534.21 c | 395887 | 2560 302680 1032060 | 260986 234793 161 | 0.000 % |
534.56/534.87 c | 396197 | 2560 302680 1032060 | 260986 235103 161 | 0.000 % |
535.06/535.38 c | 396536 | 2560 302680 1032060 | 260986 235442 161 | 0.000 % |
535.76/536.05 c | 396909 | 2560 302680 1032060 | 260986 235815 161 | 0.000 % |
536.46/536.72 c | 397319 | 2560 302680 1032060 | 260986 236225 161 | 0.000 % |
537.26/537.52 c | 397768 | 2560 302680 1032060 | 260986 236674 161 | 0.000 % |
537.96/538.23 c | 398263 | 2560 302680 1032060 | 260986 237169 161 | 0.003 % |
538.86/539.17 c | 398806 | 2560 302680 1032060 | 260986 237712 161 | 0.000 % |
539.96/540.24 c | 399402 | 2560 302680 1032060 | 260986 238308 161 | 0.000 % |
540.96/541.23 c | 400057 | 2560 302680 1032060 | 2147483647 238963 161 | 0.000 % |
542.56/542.83 c | 400777 | 2560 302680 1032060 | 2147483647 239683 161 | 0.000 % |
544.06/544.40 c | 401569 | 2560 302680 1032060 | 2147483647 240475 162 | 0.004 % |
545.56/545.86 c | 402442 | 2560 302680 1032060 | 2147483647 241348 162 | 0.000 % |
547.36/547.62 c | 403401 | 2560 302680 1032060 | 2147483647 242307 162 | 0.000 % |
549.06/549.32 c | 404455 | 2560 302680 1032060 | 2147483647 243361 162 | 0.000 % |
550.96/551.23 c | 405614 | 2560 302680 1032060 | 2147483647 244520 162 | 0.000 % |
553.15/553.40 c | 406887 | 2560 302680 1032060 | 2147483647 245793 162 | 0.004 % |
555.65/556.00 c | 408287 | 2560 302680 1032060 | 2147483647 247193 162 | 0.000 % |
558.46/558.74 c | 409828 | 2560 302680 1032060 | 2147483647 248734 162 | 0.000 % |
561.55/561.84 c | 411522 | 2560 302680 1032060 | 2147483647 250428 162 | 0.005 % |
565.25/565.50 c | 413385 | 2560 302680 1032060 | 2147483647 252291 163 | 0.000 % |
568.55/568.83 c | 415435 | 2560 302680 1032060 | 2147483647 254341 163 | 0.000 % |
572.45/572.72 c | 417690 | 2560 302680 1032060 | 2147483647 256596 162 | 0.000 % |
576.66/576.93 c | 420170 | 2560 302680 1032060 | 2147483647 259076 162 | 0.000 % |
581.75/582.01 c | 422896 | 2560 302680 1032060 | 2147483647 261802 162 | 0.004 % |
587.25/587.52 c | 425895 | 2560 302680 1032060 | 2147483647 264801 161 | 0.000 % |
593.35/593.60 c | 429191 | 2560 302680 1032060 | 2147483647 268097 161 | 0.000 % |
600.45/600.72 c | 432818 | 2560 302680 1032060 | 268906 235065 157 | 0.000 % |
607.75/608.03 c | 436805 | 2560 302680 1032060 | 268906 239052 156 | 0.004 % |
607.95/608.21 c | 436905 | 2560 302680 1032060 | 268906 239152 156 | 0.000 % |
608.15/608.41 c | 437015 | 2560 302680 1032060 | 268906 239262 156 | 0.004 % |
608.45/608.72 c | 437136 | 2560 302680 1032060 | 268906 239383 156 | 0.000 % |
608.75/609.06 c | 437270 | 2560 302680 1032060 | 268906 239517 156 | 0.000 % |
609.05/609.37 c | 437417 | 2560 302680 1032060 | 268906 239664 157 | 0.000 % |
609.35/609.68 c | 437578 | 2560 302680 1032060 | 268906 239825 157 | 0.000 % |
609.75/610.01 c | 437756 | 2560 302680 1032060 | 268906 240003 157 | 0.000 % |
610.05/610.36 c | 437949 | 2560 302680 1032060 | 268906 240196 157 | 0.000 % |
610.54/610.80 c | 438161 | 2560 302680 1032060 | 268906 240408 157 | 0.004 % |
610.85/611.19 c | 438395 | 2560 302680 1032060 | 268906 240642 157 | 0.000 % |
611.45/611.74 c | 438653 | 2560 302680 1032060 | 268906 240900 157 | 0.004 % |
611.95/612.25 c | 438937 | 2560 302680 1032060 | 268906 241184 157 | 0.000 % |
612.45/612.76 c | 439247 | 2560 302680 1032060 | 268906 241494 157 | 0.004 % |
613.04/613.34 c | 439586 | 2560 302680 1032060 | 268906 241833 157 | 0.000 % |
613.84/614.16 c | 439958 | 2560 302680 1032060 | 268906 242205 157 | 0.000 % |
614.55/614.87 c | 440367 | 2560 302680 1032060 | 242247 242614 157 | 0.000 % |
615.64/615.93 c | 440818 | 2560 302680 1032060 | 242247 217502 154 | 0.000 % |
616.24/616.59 c | 441312 | 2560 302680 1032060 | 242247 217996 154 | 0.005 % |
617.04/617.37 c | 441855 | 2560 302680 1032060 | 242247 218539 154 | 0.004 % |
618.04/618.36 c | 442451 | 2560 302680 1032060 | 242247 219135 154 | 0.003 % |
619.14/619.47 c | 443107 | 2560 302680 1032060 | 242247 219791 154 | 0.003 % |
620.54/620.82 c | 443827 | 2560 302680 1032060 | 242247 220511 154 | 0.004 % |
621.64/621.92 c | 444620 | 2560 302680 1032060 | 242247 221304 153 | 0.004 % |
623.04/623.37 c | 445491 | 2560 302680 1032060 | 242247 222175 153 | 0.003 % |
624.44/624.70 c | 446449 | 2560 302680 1032060 | 242247 223133 153 | 0.004 % |
626.14/626.40 c | 447502 | 2560 302680 1032060 | 242247 224186 153 | 0.004 % |
628.14/628.49 c | 448660 | 2560 302680 1032060 | 242247 225344 154 | 0.000 % |
630.33/630.61 c | 449933 | 2560 302680 1032060 | 242247 226617 154 | 0.000 % |
632.83/633.15 c | 451335 | 2560 302680 1032060 | 2147483647 228019 154 | 0.000 % |
635.13/635.45 c | 452875 | 2560 302680 1032060 | 2147483647 229559 154 | 0.000 % |
637.73/638.09 c | 454569 | 2560 302680 1032060 | 2147483647 231253 154 | 0.004 % |
641.03/641.38 c | 456432 | 2560 302680 1032060 | 2147483647 233116 155 | 0.000 % |
644.63/644.94 c | 458481 | 2560 302680 1032060 | 2147483647 235165 156 | 0.000 % |
648.33/648.68 c | 460736 | 2560 302680 1032060 | 2147483647 237420 156 | 0.000 % |
652.93/653.28 c | 463215 | 2560 302680 1032060 | 2147483647 239899 155 | 0.003 % |
657.82/658.17 c | 465941 | 2560 302680 1032060 | 2147483647 242625 155 | 0.003 % |
663.12/663.43 c | 468943 | 2560 302680 1032060 | 2147483647 245627 155 | 0.004 % |
669.12/669.47 c | 472242 | 2560 302680 1032060 | 2147483647 248926 156 | 0.000 % |
675.72/676.05 c | 475867 | 2560 302680 1032060 | 2147483647 252551 155 | 0.004 % |
682.72/683.02 c | 479856 | 2560 302680 1032060 | 2147483647 256540 155 | 0.004 % |
690.52/690.82 c | 484243 | 2560 302680 1032060 | 256685 232137 150 | 0.000 % |
690.61/690.99 c | 484345 | 2560 302680 1032060 | 256685 232239 150 | 0.000 % |
690.91/691.20 c | 484455 | 2560 302680 1032060 | 256685 232349 150 | 0.000 % |
691.11/691.43 c | 484579 | 2560 302680 1032060 | 256685 232473 150 | 0.000 % |
691.41/691.72 c | 484713 | 2560 302680 1032060 | 256685 232607 150 | 0.000 % |
691.71/692.00 c | 484859 | 2560 302680 1032060 | 256685 232753 150 | 0.000 % |
692.01/692.31 c | 485019 | 2560 302680 1032060 | 256685 232913 150 | 0.000 % |
692.31/692.67 c | 485196 | 2560 302680 1032060 | 256685 233090 150 | 0.000 % |
692.62/692.96 c | 485390 | 2560 302680 1032060 | 256685 233284 151 | 0.000 % |
693.01/693.37 c | 485602 | 2560 302680 1032060 | 256685 233496 151 | 0.000 % |
693.31/693.69 c | 485835 | 2560 302680 1032060 | 256685 233729 151 | 0.004 % |
693.82/694.18 c | 486091 | 2560 302680 1032060 | 256685 233985 151 | 0.004 % |
694.31/694.66 c | 486373 | 2560 302680 1032060 | 256685 234267 151 | 0.000 % |
694.81/695.14 c | 486684 | 2560 302680 1032060 | 256685 234578 151 | 0.000 % |
695.41/695.77 c | 487024 | 2560 302680 1032060 | 256685 234918 151 | 0.000 % |
695.91/696.28 c | 487397 | 2560 302680 1032060 | 256685 235291 151 | 0.000 % |
696.71/697.06 c | 487807 | 2560 302680 1032060 | 256685 235701 151 | 0.004 % |
697.61/697.91 c | 488258 | 2560 302680 1032060 | 256685 236152 151 | 0.000 % |
698.51/698.83 c | 488752 | 2560 302680 1032060 | 256685 236646 151 | 0.000 % |
699.41/699.71 c | 489295 | 2560 302680 1032060 | 256685 237189 151 | 0.004 % |
700.41/700.80 c | 489891 | 2560 302680 1032060 | 256685 237785 151 | 0.005 % |
701.61/701.96 c | 490547 | 2560 302680 1032060 | 2147483647 238441 151 | 0.004 % |
702.81/703.20 c | 491267 | 2560 302680 1032060 | 2147483647 239161 151 | 0.000 % |
704.21/704.52 c | 492059 | 2560 302680 1032060 | 2147483647 239953 151 | 0.004 % |
706.01/706.34 c | 492934 | 2560 302680 1032060 | 2147483647 240828 152 | 0.000 % |
707.60/707.95 c | 493892 | 2560 302680 1032060 | 2147483647 241786 152 | 0.000 % |
709.30/709.64 c | 494946 | 2560 302680 1032060 | 2147483647 242840 152 | 0.000 % |
711.31/711.61 c | 496105 | 2560 302680 1032060 | 2147483647 243999 152 | 0.003 % |
713.30/713.68 c | 497379 | 2560 302680 1032060 | 2147483647 245273 152 | 0.000 % |
715.40/715.79 c | 498779 | 2560 302680 1032060 | 2147483647 246673 152 | 0.005 % |
718.10/718.46 c | 500319 | 2560 302680 1032060 | 2147483647 248213 152 | 0.005 % |
720.80/721.17 c | 502013 | 2560 302680 1032060 | 2147483647 249907 152 | 0.004 % |
724.70/725.01 c | 503881 | 2560 302680 1032060 | 2147483647 251775 153 | 0.000 % |
728.50/728.82 c | 505931 | 2560 302680 1032060 | 2147483647 253825 153 | 0.003 % |
731.90/732.29 c | 508185 | 2560 302680 1032060 | 2147483647 256079 153 | 0.003 % |
735.60/735.97 c | 510664 | 2560 302680 1032060 | 2147483647 258558 153 | 0.000 % |
740.79/741.12 c | 513390 | 2560 302680 1032060 | 2147483647 261284 153 | 0.004 % |
746.49/746.83 c | 516388 | 2560 302680 1032060 | 2147483647 264282 152 | 0.000 % |
752.29/752.67 c | 519686 | 2560 302680 1032060 | 2147483647 267580 152 | 0.004 % |
758.49/758.88 c | 523311 | 2560 302680 1032060 | 2147483647 271205 152 | 0.000 % |
765.38/765.74 c | 527298 | 2560 302680 1032060 | 2147483647 275192 152 | 0.004 % |
773.88/774.28 c | 531686 | 2560 302680 1032060 | 2147483647 279580 151 | 0.004 % |
781.48/781.88 c | 536510 | 2560 302680 1032060 | 2147483647 284404 151 | 0.004 % |
781.78/782.16 c | 536610 | 2560 302680 1032060 | 2147483647 284504 151 | 0.000 % |
782.08/782.43 c | 536722 | 2560 302680 1032060 | 2147483647 284616 151 | 0.000 % |
782.28/782.65 c | 536843 | 2560 302680 1032060 | 2147483647 284737 151 | 0.000 % |
782.58/782.93 c | 536977 | 2560 302680 1032060 | 2147483647 284871 151 | 0.004 % |
782.88/783.26 c | 537124 | 2560 302680 1032060 | 2147483647 285018 151 | 0.000 % |
783.18/783.59 c | 537284 | 2560 302680 1032060 | 2147483647 285178 151 | 0.000 % |
783.68/784.03 c | 537461 | 2560 302680 1032060 | 2147483647 285355 151 | 0.004 % |
784.08/784.45 c | 537654 | 2560 302680 1032060 | 2147483647 285548 151 | 0.000 % |
784.58/784.94 c | 537867 | 2560 302680 1032060 | 2147483647 285761 151 | 0.000 % |
785.08/785.45 c | 538103 | 2560 302680 1032060 | 2147483647 285997 151 | 0.000 % |
785.58/785.98 c | 538360 | 2560 302680 1032060 | 2147483647 286254 151 | 0.004 % |
786.08/786.47 c | 538641 | 2560 302680 1032060 | 2147483647 286535 151 | 0.000 % |
786.77/787.10 c | 538953 | 2560 302680 1032060 | 2147483647 286847 151 | 0.004 % |
787.37/787.79 c | 539293 | 2560 302680 1032060 | 2147483647 287187 151 | 0.000 % |
787.97/788.38 c | 539667 | 2560 302680 1032060 | 2147483647 287561 151 | 0.004 % |
788.87/789.20 c | 540076 | 2560 302680 1032060 | 2147483647 287970 151 | 0.000 % |
789.77/790.14 c | 540530 | 2560 302680 1032060 | 2147483647 288424 151 | 0.000 % |
790.87/791.25 c | 541023 | 2560 302680 1032060 | 2147483647 288917 151 | 0.000 % |
792.07/792.42 c | 541565 | 2560 302680 1032060 | 2147483647 289459 152 | 0.000 % |
793.27/793.69 c | 542162 | 2560 302680 1032060 | 2147483647 290056 152 | 0.000 % |
794.57/794.99 c | 542817 | 2560 302680 1032060 | 2147483647 290711 152 | 0.000 % |
795.98/796.31 c | 543539 | 2560 302680 1032060 | 2147483647 291433 152 | 0.000 % |
797.67/798.09 c | 544331 | 2560 302680 1032060 | 2147483647 292225 152 | 0.000 % |
799.47/799.83 c | 545202 | 2560 302680 1032060 | 2147483647 293096 153 | 0.000 % |
801.37/801.72 c | 546161 | 2560 302680 1032060 | 2147483647 294055 153 | 0.000 % |
803.37/803.70 c | 547214 | 2560 302680 1032060 | 2147483647 295108 153 | 0.000 % |
805.47/805.83 c | 548372 | 2560 302680 1032060 | 2147483647 296266 153 | 0.000 % |
807.87/808.29 c | 549646 | 2560 302680 1032060 | 2147483647 297540 153 | 0.000 % |
810.57/810.94 c | 551046 | 2560 302680 1032060 | 297894 298940 153 | 0.000 % |
814.17/814.58 c | 552586 | 2560 302680 1032060 | 297894 264569 151 | 0.000 % |
817.67/818.08 c | 554280 | 2560 302680 1032060 | 297894 266263 151 | 0.000 % |
821.07/821.47 c | 556145 | 2560 302680 1032060 | 297894 268128 152 | 0.000 % |
824.77/825.15 c | 558194 | 2560 302680 1032060 | 297894 270177 152 | 0.000 % |
829.67/830.03 c | 560450 | 2560 302680 1032060 | 2147483647 272433 152 | 0.000 % |
834.07/834.48 c | 562930 | 2560 302680 1032060 | 2147483647 274913 152 | 0.004 % |
839.17/839.51 c | 565655 | 2560 302680 1032060 | 2147483647 277638 152 | 0.000 % |
845.66/846.06 c | 568653 | 2560 302680 1032060 | 2147483647 280636 152 | 0.004 % |
851.46/851.86 c | 571949 | 2560 302680 1032060 | 2147483647 283932 152 | 0.004 % |
858.26/858.63 c | 575574 | 2560 302680 1032060 | 2147483647 287557 152 | 0.004 % |
865.66/866.02 c | 579564 | 2560 302680 1032060 | 2147483647 291547 153 | 0.000 % |
877.76/878.13 c | 583949 | 2560 302680 1032060 | 2147483647 295932 156 | 0.000 % |
888.46/888.84 c | 588775 | 2560 302680 1032060 | 2147483647 300758 158 | 0.000 % |
900.05/900.48 c | 594081 | 2560 302680 1032060 | 301983 272242 158 | 0.000 % |
900.35/900.76 c | 594181 | 2560 302680 1032060 | 301983 272342 158 | 0.000 % |
900.55/900.99 c | 594291 | 2560 302680 1032060 | 301983 272452 158 | 0.000 % |
900.85/901.25 c | 594412 | 2560 302680 1032060 | 301983 272573 158 | 0.004 % |
901.15/901.55 c | 594546 | 2560 302680 1032060 | 301983 272707 158 | 0.000 % |
901.55/901.93 c | 594693 | 2560 302680 1032060 | 301983 272854 158 | 0.000 % |
901.95/902.32 c | 594853 | 2560 302680 1032060 | 301983 273014 158 | 0.000 % |
902.25/902.68 c | 595029 | 2560 302680 1032060 | 301983 273190 158 | 0.000 % |
902.75/903.19 c | 595223 | 2560 302680 1032060 | 301983 273384 158 | 0.000 % |
903.15/903.57 c | 595437 | 2560 302680 1032060 | 301983 273598 158 | 0.000 % |
903.65/904.07 c | 595671 | 2560 302680 1032060 | 301983 273832 159 | 0.000 % |
904.25/904.61 c | 595928 | 2560 302680 1032060 | 301983 274089 159 | 0.000 % |
904.74/905.15 c | 596211 | 2560 302680 1032060 | 301983 274372 159 | 0.000 % |
905.24/905.63 c | 596521 | 2560 302680 1032060 | 301983 274682 159 | 0.000 % |
906.05/906.41 c | 596860 | 2560 302680 1032060 | 301983 275021 159 | 0.000 % |
906.84/907.21 c | 597235 | 2560 302680 1032060 | 301983 275396 159 | 0.000 % |
907.64/908.06 c | 597645 | 2560 302680 1032060 | 301983 275806 159 | 0.000 % |
908.44/908.85 c | 598094 | 2560 302680 1032060 | 301983 276255 159 | 0.000 % |
909.54/909.98 c | 598590 | 2560 302680 1032060 | 301983 276751 159 | 0.000 % |
911.04/911.48 c | 599132 | 2560 302680 1032060 | 301983 277293 159 | 0.000 % |
912.24/912.63 c | 599730 | 2560 302680 1032060 | 301983 277891 159 | 0.000 % |
913.44/913.89 c | 600385 | 2560 302680 1032060 | 278161 278546 159 | 0.000 % |
915.24/915.64 c | 601105 | 2560 302680 1032060 | 278161 247313 157 | 0.000 % |
916.64/917.02 c | 601898 | 2560 302680 1032060 | 278161 248106 157 | 0.000 % |
918.24/918.62 c | 602769 | 2560 302680 1032060 | 278161 248977 157 | 0.000 % |
919.94/920.35 c | 603727 | 2560 302680 1032060 | 278161 249935 157 | 0.000 % |
921.94/922.32 c | 604781 | 2560 302680 1032060 | 278161 250989 158 | 0.000 % |
924.44/924.81 c | 605941 | 2560 302680 1032060 | 278161 252149 158 | 0.003 % |
926.74/927.17 c | 607214 | 2560 302680 1032060 | 278161 253422 158 | 0.000 % |
929.64/930.09 c | 608616 | 2560 302680 1032060 | 278161 254824 158 | 0.000 % |
932.54/932.96 c | 610156 | 2560 302680 1032060 | 256208 256364 158 | 0.000 % |
936.23/936.60 c | 611850 | 2560 302680 1032060 | 256208 231669 157 | 0.000 % |
939.73/940.17 c | 613713 | 2560 302680 1032060 | 256208 233532 156 | 0.000 % |
943.73/944.13 c | 615762 | 2560 302680 1032060 | 256208 235581 156 | 0.000 % |
947.63/948.06 c | 618015 | 2560 302680 1032060 | 256208 237834 157 | 0.000 % |
952.73/953.18 c | 620494 | 2560 302680 1032060 | 2147483647 240313 158 | 0.000 % |
957.92/958.34 c | 623219 | 2560 302680 1032060 | 2147483647 243038 159 | 0.000 % |
963.92/964.32 c | 626219 | 2560 302680 1032060 | 2147483647 246038 160 | 0.000 % |
971.02/971.42 c | 629515 | 2560 302680 1032060 | 2147483647 249334 160 | 0.000 % |
978.92/979.31 c | 633140 | 2560 302680 1032060 | 2147483647 252959 162 | 0.000 % |
985.91/986.31 c | 637127 | 2560 302680 1032060 | 2147483647 256946 162 | 0.000 % |
994.51/994.90 c | 641512 | 2560 302680 1032060 | 259820 261331 162 | 0.000 % |
1004.32/1004.78 c | 646337 | 2560 302680 1032060 | 259820 230583 164 | 0.000 % |
1014.51/1014.91 c | 651643 | 2560 302680 1032060 | 2147483647 235889 164 | 0.005 % |
1025.71/1026.10 c | 657479 | 2560 302680 1032060 | 2147483647 241725 164 | 0.005 % |
1025.91/1026.31 c | 657579 | 2560 302680 1032060 | 2147483647 241825 164 | 0.004 % |
1026.21/1026.65 c | 657692 | 2560 302680 1032060 | 2147483647 241938 164 | 0.000 % |
1026.51/1026.94 c | 657814 | 2560 302680 1032060 | 2147483647 242060 164 | 0.000 % |
1026.81/1027.24 c | 657947 | 2560 302680 1032060 | 2147483647 242193 164 | 0.000 % |
1027.11/1027.57 c | 658093 | 2560 302680 1032060 | 2147483647 242339 164 | 0.000 % |
1027.51/1027.96 c | 658253 | 2560 302680 1032060 | 2147483647 242499 164 | 0.000 % |
1027.91/1028.31 c | 658430 | 2560 302680 1032060 | 2147483647 242676 164 | 0.000 % |
1028.31/1028.72 c | 658625 | 2560 302680 1032060 | 2147483647 242871 164 | 0.000 % |
1028.71/1029.17 c | 658837 | 2560 302680 1032060 | 2147483647 243083 164 | 0.004 % |
1029.21/1029.69 c | 659070 | 2560 302680 1032060 | 2147483647 243316 164 | 0.005 % |
1030.01/1030.44 c | 659327 | 2560 302680 1032060 | 2147483647 243573 165 | 0.000 % |
1030.71/1031.11 c | 659610 | 2560 302680 1032060 | 2147483647 243856 165 | 0.000 % |
1031.11/1031.58 c | 659921 | 2560 302680 1032060 | 2147483647 244167 165 | 0.000 % |
1031.91/1032.34 c | 660260 | 2560 302680 1032060 | 2147483647 244506 165 | 0.000 % |
1032.71/1033.11 c | 660633 | 2560 302680 1032060 | 2147483647 244879 165 | 0.000 % |
1033.41/1033.90 c | 661042 | 2560 302680 1032060 | 2147483647 245288 165 | 0.004 % |
1034.31/1034.76 c | 661493 | 2560 302680 1032060 | 2147483647 245739 165 | 0.000 % |
1035.41/1035.87 c | 661986 | 2560 302680 1032060 | 2147483647 246232 165 | 0.000 % |
1036.61/1037.04 c | 662528 | 2560 302680 1032060 | 2147483647 246774 165 | 0.000 % |
1038.01/1038.43 c | 663126 | 2560 302680 1032060 | 2147483647 247372 165 | 0.000 % |
1039.41/1039.90 c | 663782 | 2560 302680 1032060 | 2147483647 248028 166 | 0.000 % |
1041.01/1041.46 c | 664504 | 2560 302680 1032060 | 2147483647 248750 166 | 0.000 % |
1042.70/1043.18 c | 665296 | 2560 302680 1032060 | 2147483647 249542 166 | 0.000 % |
1044.30/1044.72 c | 666169 | 2560 302680 1032060 | 2147483647 250415 166 | 0.000 % |
1046.20/1046.63 c | 667127 | 2560 302680 1032060 | 2147483647 251373 166 | 0.000 % |
1048.10/1048.54 c | 668180 | 2560 302680 1032060 | 2147483647 252426 166 | 0.000 % |
1050.40/1050.86 c | 669340 | 2560 302680 1032060 | 2147483647 253586 166 | 0.004 % |
1052.80/1053.25 c | 670613 | 2560 302680 1032060 | 254246 254859 166 | 0.004 % |
1056.30/1056.80 c | 672014 | 2560 302680 1032060 | 254246 228496 166 | 0.004 % |
1060.20/1060.63 c | 673557 | 2560 302680 1032060 | 254246 230039 167 | 0.000 % |
1063.49/1063.94 c | 675251 | 2560 302680 1032060 | 254246 231733 168 | 0.000 % |
1067.19/1067.66 c | 677114 | 2560 302680 1032060 | 254246 233596 169 | 0.000 % |
1071.00/1071.43 c | 679165 | 2560 302680 1032060 | 254246 235647 169 | 0.000 % |
1075.49/1075.94 c | 681418 | 2560 302680 1032060 | 2147483647 237900 169 | 0.000 % |
1079.99/1080.48 c | 683897 | 2560 302680 1032060 | 2147483647 240379 168 | 0.005 % |
1085.89/1086.39 c | 686622 | 2560 302680 1032060 | 2147483647 243104 168 | 0.004 % |
1092.09/1092.55 c | 689619 | 2560 302680 1032060 | 2147483647 246101 168 | 0.000 % |
1099.59/1100.01 c | 692919 | 2560 302680 1032060 | 246482 212429 163 | 0.000 % |
1106.09/1106.52 c | 696545 | 2560 302680 1032060 | 246482 216055 163 | 0.000 % |
1115.28/1115.77 c | 700532 | 2560 302680 1032060 | 219511 220042 165 | 0.000 % |
1125.68/1126.10 c | 704917 | 2560 302680 1032060 | 219511 198991 168 | 0.000 % |
1135.07/1135.53 c | 709741 | 2560 302680 1032060 | 219511 203815 169 | 0.000 % |
1145.47/1145.91 c | 715047 | 2560 302680 1032060 | 2147483647 209121 169 | 0.000 % |
1160.86/1161.35 c | 720882 | 2560 302680 1032060 | 2147483647 214956 173 | 0.000 % |
1173.76/1174.23 c | 727300 | 2560 302680 1032060 | 2147483647 221374 176 | 0.000 % |
1173.96/1174.42 c | 727400 | 2560 302680 1032060 | 2147483647 221474 176 | 0.000 % |
1174.16/1174.64 c | 727512 | 2560 302680 1032060 | 2147483647 221586 176 | 0.000 % |
1174.56/1175.05 c | 727633 | 2560 302680 1032060 | 2147483647 221707 176 | 0.000 % |
1174.86/1175.37 c | 727768 | 2560 302680 1032060 | 2147483647 221842 176 | 0.000 % |
1175.26/1175.73 c | 727916 | 2560 302680 1032060 | 2147483647 221990 176 | 0.000 % |
1175.56/1176.04 c | 728078 | 2560 302680 1032060 | 2147483647 222152 176 | 0.004 % |
1176.16/1176.67 c | 728254 | 2560 302680 1032060 | 2147483647 222328 176 | 0.000 % |
1176.66/1177.11 c | 728447 | 2560 302680 1032060 | 2147483647 222521 176 | 0.000 % |
1177.06/1177.59 c | 728659 | 2560 302680 1032060 | 2147483647 222733 176 | 0.000 % |
1177.66/1178.14 c | 728894 | 2560 302680 1032060 | 2147483647 222968 176 | 0.004 % |
1178.35/1178.81 c | 729150 | 2560 302680 1032060 | 2147483647 223224 176 | 0.000 % |
1178.95/1179.46 c | 729432 | 2560 302680 1032060 | 2147483647 223506 176 | 0.000 % |
1179.65/1180.13 c | 729742 | 2560 302680 1032060 | 2147483647 223816 176 | 0.000 % |
1180.35/1180.86 c | 730081 | 2560 302680 1032060 | 224076 224155 176 | 0.000 % |
1181.75/1182.20 c | 730453 | 2560 302680 1032060 | 224076 199240 177 | 0.000 % |
1182.45/1182.99 c | 730863 | 2560 302680 1032060 | 224076 199650 177 | 0.000 % |
1183.65/1184.16 c | 731313 | 2560 302680 1032060 | 224076 200100 177 | 0.004 % |
1184.65/1185.15 c | 731806 | 2560 302680 1032060 | 224076 200593 177 | 0.000 % |
1185.65/1186.13 c | 732348 | 2560 302680 1032060 | 224076 201135 177 | 0.004 % |
1186.85/1187.38 c | 732945 | 2560 302680 1032060 | 224076 201732 177 | 0.003 % |
1188.15/1188.63 c | 733600 | 2560 302680 1032060 | 224076 202387 177 | 0.000 % |
1189.45/1189.97 c | 734322 | 2560 302680 1032060 | 224076 203109 177 | 0.000 % |
1191.05/1191.58 c | 735116 | 2560 302680 1032060 | 224076 203903 177 | 0.004 % |
1192.65/1193.10 c | 735987 | 2560 302680 1032060 | 224076 204774 177 | 0.000 % |
1194.35/1194.84 c | 736946 | 2560 302680 1032060 | 224076 205733 177 | 0.000 % |
1196.25/1196.80 c | 737999 | 2560 302680 1032060 | 224076 206786 177 | 0.004 % |
1198.65/1199.20 c | 739157 | 2560 302680 1032060 | 224076 207944 177 | 0.004 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1834119-1242828145/watcher-1834119-1242828145 -o /tmp/evaluation-result-1834119-1242828145/solver-1834119-1242828145 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1834119-1242828145.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 11708
/proc/meminfo: memFree=1922512/2055920 swapFree=4180320/4192956
[pid=11708] ppid=11706 vsize=5356 CPUtime=0
/proc/11708/stat : 11708 (SatELiteGTI) S 11706 11708 11321 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310847780 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11708/statm: 1339 237 197 169 0 50 0
[startup+0.077392 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 11708
/proc/meminfo: memFree=1922512/2055920 swapFree=4180320/4192956
[pid=11708] ppid=11706 vsize=5356 CPUtime=0
/proc/11708/stat : 11708 (SatELiteGTI) S 11706 11708 11321 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310847780 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11708/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.101393 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 11708
/proc/meminfo: memFree=1922512/2055920 swapFree=4180320/4192956
[pid=11708] ppid=11706 vsize=5356 CPUtime=0
/proc/11708/stat : 11708 (SatELiteGTI) S 11706 11708 11321 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310847780 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11708/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301414 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 11708
/proc/meminfo: memFree=1922512/2055920 swapFree=4180320/4192956
[pid=11708] ppid=11706 vsize=5356 CPUtime=0
/proc/11708/stat : 11708 (SatELiteGTI) S 11706 11708 11321 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310847780 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11708/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.701457 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 11708
/proc/meminfo: memFree=1922512/2055920 swapFree=4180320/4192956
[pid=11708] ppid=11706 vsize=5356 CPUtime=0
/proc/11708/stat : 11708 (SatELiteGTI) S 11706 11708 11321 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310847780 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11708/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+1.50154 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11713
/proc/meminfo: memFree=1897536/2055920 swapFree=4180320/4192956
[pid=11708] ppid=11706 vsize=5356 CPUtime=0
/proc/11708/stat : 11708 (SatELiteGTI) S 11706 11708 11321 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310847780 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11708/statm: 1339 237 197 169 0 50 0
[pid=11712] ppid=11708 vsize=30892 CPUtime=1.48
/proc/11712/stat : 11712 (SatELite_releas) R 11708 11708 11321 0 -1 4194304 6200 0 0 0 145 3 0 0 25 0 1 0 310847781 31633408 6186 1992294400 134512640 135223648 4294956128 18446744073709551615 134585485 0 0 4096 3 0 0 0 17 1 0 0
/proc/11712/statm: 7723 6186 76 173 0 7548 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 36248
[startup+3.10172 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11713
/proc/meminfo: memFree=1897408/2055920 swapFree=4180320/4192956
[pid=11708] ppid=11706 vsize=5356 CPUtime=2.51
/proc/11708/stat : 11708 (SatELiteGTI) S 11706 11708 11321 0 -1 4194304 336 6453 0 0 0 0 245 6 16 0 1 0 310847780 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11708/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 2.51
Current children cumulated vsize (KiB) 5356
[startup+6.30106 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11714
/proc/meminfo: memFree=1895232/2055920 swapFree=4180320/4192956
[pid=11708] ppid=11706 vsize=5356 CPUtime=2.51
/proc/11708/stat : 11708 (SatELiteGTI) S 11706 11708 11321 0 -1 4194304 336 6453 0 0 0 0 245 6 16 0 1 0 310847780 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11708/statm: 1339 239 197 169 0 50 0
[pid=11714] ppid=11708 vsize=22888 CPUtime=3.76
/proc/11714/stat : 11714 (minisat_static) R 11708 11708 11321 0 -1 4194304 5605 0 0 0 372 4 0 0 25 0 1 0 310848033 23437312 5591 1992294400 134512640 135215339 4294956240 18446744073709551615 134529326 0 0 4096 3 0 0 0 17 1 0 0
/proc/11714/statm: 5722 5591 77 171 0 5549 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 28244
[startup+12.7027 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11714
/proc/meminfo: memFree=1884360/2055920 swapFree=4180320/4192956
[pid=11708] ppid=11706 vsize=5356 CPUtime=2.51
/proc/11708/stat : 11708 (SatELiteGTI) S 11706 11708 11321 0 -1 4194304 336 6453 0 0 0 0 245 6 16 0 1 0 310847780 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11708/statm: 1339 239 197 169 0 50 0
[pid=11714] ppid=11708 vsize=33048 CPUtime=10.16
/proc/11714/stat : 11714 (minisat_static) R 11708 11708 11321 0 -1 4194304 8151 0 0 0 1010 6 0 0 25 0 1 0 310848033 33841152 8137 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/11714/statm: 8262 8137 77 171 0 8089 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 38404
[startup+25.5011 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11714
/proc/meminfo: memFree=1867336/2055920 swapFree=4180320/4192956
[pid=11708] ppid=11706 vsize=5356 CPUtime=2.51
/proc/11708/stat : 11708 (SatELiteGTI) S 11706 11708 11321 0 -1 4194304 336 6453 0 0 0 0 245 6 16 0 1 0 310847780 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11708/statm: 1339 239 197 169 0 50 0
[pid=11714] ppid=11708 vsize=49396 CPUtime=22.95
/proc/11714/stat : 11714 (minisat_static) R 11708 11708 11321 0 -1 4194304 12240 0 0 0 2284 11 0 0 25 0 1 0 310848033 50581504 12226 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/11714/statm: 12349 12226 77 171 0 12176 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 54752
[startup+51.1019 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11714
/proc/meminfo: memFree=1841864/2055920 swapFree=4180320/4192956
[pid=11708] ppid=11706 vsize=5356 CPUtime=2.51
/proc/11708/stat : 11708 (SatELiteGTI) S 11706 11708 11321 0 -1 4194304 336 6453 0 0 0 0 245 6 16 0 1 0 310847780 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11708/statm: 1339 239 197 169 0 50 0
[pid=11714] ppid=11708 vsize=74996 CPUtime=48.53
/proc/11714/stat : 11714 (minisat_static) R 11708 11708 11321 0 -1 4194304 18627 0 0 0 4837 16 0 0 25 0 1 0 310848033 76795904 18613 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/11714/statm: 18749 18613 77 171 0 18576 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 80352
[startup+102.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11714
/proc/meminfo: memFree=1800456/2055920 swapFree=4180320/4192956
[pid=11708] ppid=11706 vsize=5356 CPUtime=2.51
/proc/11708/stat : 11708 (SatELiteGTI) S 11706 11708 11321 0 -1 4194304 336 6453 0 0 0 0 245 6 16 0 1 0 310847780 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11708/statm: 1339 239 197 169 0 50 0
[pid=11714] ppid=11708 vsize=116104 CPUtime=99.71
/proc/11714/stat : 11714 (minisat_static) R 11708 11708 11321 0 -1 4194304 28852 0 0 0 9944 27 0 0 25 0 1 0 310848033 118890496 28838 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/11714/statm: 29026 28838 77 171 0 28853 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 121460
[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11714
/proc/meminfo: memFree=1766728/2055920 swapFree=4180320/4192956
[pid=11708] ppid=11706 vsize=5356 CPUtime=2.51
/proc/11708/stat : 11708 (SatELiteGTI) S 11706 11708 11321 0 -1 4194304 336 6453 0 0 0 0 245 6 16 0 1 0 310847780 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11708/statm: 1339 239 197 169 0 50 0
[pid=11714] ppid=11708 vsize=149776 CPUtime=159.68
/proc/11714/stat : 11714 (minisat_static) R 11708 11708 11321 0 -1 4194304 37330 0 0 0 15930 38 0 0 25 0 1 0 310848033 153370624 37316 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/11714/statm: 37444 37316 77 171 0 37271 0
Current children cumulated CPU time (s) 162.19
Current children cumulated vsize (KiB) 155132
[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11714
/proc/meminfo: memFree=1736072/2055920 swapFree=4180320/4192956
[pid=11708] ppid=11706 vsize=5356 CPUtime=2.51
/proc/11708/stat : 11708 (SatELiteGTI) S 11706 11708 11321 0 -1 4194304 336 6453 0 0 0 0 245 6 16 0 1 0 310847780 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11708/statm: 1339 239 197 169 0 50 0
[pid=11714] ppid=11708 vsize=180284 CPUtime=219.66
/proc/11714/stat : 11714 (minisat_static) R 11708 11708 11321 0 -1 4194304 44884 0 0 0 21919 47 0 0 25 0 1 0 310848033 184610816 44870 1992294400 134512640 135215339 4294956240 18446744073709551615 134528673 0 0 4096 3 0 0 0 17 1 0 0
/proc/11714/statm: 45071 44870 77 171 0 44898 0
Current children cumulated CPU time (s) 222.17
Current children cumulated vsize (KiB) 185640
[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11714
/proc/meminfo: memFree=1711176/2055920 swapFree=4180320/4192956
[pid=11708] ppid=11706 vsize=5356 CPUtime=2.51
/proc/11708/stat : 11708 (SatELiteGTI) S 11706 11708 11321 0 -1 4194304 336 6453 0 0 0 0 245 6 16 0 1 0 310847780 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11708/statm: 1339 239 197 169 0 50 0
[pid=11714] ppid=11708 vsize=205252 CPUtime=279.64
/proc/11714/stat : 11714 (minisat_static) R 11708 11708 11321 0 -1 4194304 51160 0 0 0 27910 54 0 0 25 0 1 0 310848033 210178048 51146 1992294400 134512640 135215339 4294956240 18446744073709551615 134528809 0 0 4096 3 0 0 0 17 1 0 0
/proc/11714/statm: 51313 51146 77 171 0 51140 0
Current children cumulated CPU time (s) 282.15
Current children cumulated vsize (KiB) 210608
[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11714
/proc/meminfo: memFree=1686856/2055920 swapFree=4180320/4192956
[pid=11708] ppid=11706 vsize=5356 CPUtime=2.51
/proc/11708/stat : 11708 (SatELiteGTI) S 11706 11708 11321 0 -1 4194304 336 6453 0 0 0 0 245 6 16 0 1 0 310847780 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11708/statm: 1339 239 197 169 0 50 0
[pid=11714] ppid=11708 vsize=229020 CPUtime=339.62
/proc/11714/stat : 11714 (minisat_static) R 11708 11708 11321 0 -1 4194304 57117 0 0 0 33900 62 0 0 25 0 1 0 310848033 234516480 57103 1992294400 134512640 135215339 4294956240 18446744073709551615 134528784 0 0 4096 3 0 0 0 17 1 0 0
/proc/11714/statm: 57255 57103 77 171 0 57082 0
Current children cumulated CPU time (s) 342.13
Current children cumulated vsize (KiB) 234376
[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11714
/proc/meminfo: memFree=1684040/2055920 swapFree=4180320/4192956
[pid=11708] ppid=11706 vsize=5356 CPUtime=2.51
/proc/11708/stat : 11708 (SatELiteGTI) S 11706 11708 11321 0 -1 4194304 336 6453 0 0 0 0 245 6 16 0 1 0 310847780 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11708/statm: 1339 239 197 169 0 50 0
[pid=11714] ppid=11708 vsize=231528 CPUtime=399.6
/proc/11714/stat : 11714 (minisat_static) R 11708 11708 11321 0 -1 4194304 57753 0 0 0 39897 63 0 0 25 0 1 0 310848033 237084672 57739 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/11714/statm: 57882 57739 77 171 0 57709 0
Current children cumulated CPU time (s) 402.11
Current children cumulated vsize (KiB) 236884
[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11714
/proc/meminfo: memFree=1683784/2055920 swapFree=4180320/4192956
[pid=11708] ppid=11706 vsize=5356 CPUtime=2.51
################
# More data... #
################
/proc/11714/statm: 57915 57786 77 171 0 57742 0
Current children cumulated CPU time (s) 582.05
Current children cumulated vsize (KiB) 237016
[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11714
/proc/meminfo: memFree=1683592/2055920 swapFree=4180320/4192956
[pid=11708] ppid=11706 vsize=5356 CPUtime=2.51
/proc/11708/stat : 11708 (SatELiteGTI) S 11706 11708 11321 0 -1 4194304 336 6453 0 0 0 0 245 6 16 0 1 0 310847780 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11708/statm: 1339 239 197 169 0 50 0
[pid=11714] ppid=11708 vsize=231660 CPUtime=639.52
/proc/11714/stat : 11714 (minisat_static) R 11708 11708 11321 0 -1 4194304 57800 0 0 0 63888 64 0 0 25 0 1 0 310848033 237219840 57786 1992294400 134512640 135215339 4294956240 18446744073709551615 134528784 0 0 4096 3 0 0 0 17 1 0 0
/proc/11714/statm: 57915 57786 77 171 0 57742 0
Current children cumulated CPU time (s) 642.03
Current children cumulated vsize (KiB) 237016
[startup+702.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11714
/proc/meminfo: memFree=1683336/2055920 swapFree=4180320/4192956
[pid=11708] ppid=11706 vsize=5356 CPUtime=2.51
/proc/11708/stat : 11708 (SatELiteGTI) S 11706 11708 11321 0 -1 4194304 336 6453 0 0 0 0 245 6 16 0 1 0 310847780 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11708/statm: 1339 239 197 169 0 50 0
[pid=11714] ppid=11708 vsize=231660 CPUtime=699.5
/proc/11714/stat : 11714 (minisat_static) R 11708 11708 11321 0 -1 4194304 57800 0 0 0 69886 64 0 0 25 0 1 0 310848033 237219840 57786 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/11714/statm: 57915 57786 77 171 0 57742 0
Current children cumulated CPU time (s) 702.01
Current children cumulated vsize (KiB) 237016
[startup+762.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11714
/proc/meminfo: memFree=1683272/2055920 swapFree=4180320/4192956
[pid=11708] ppid=11706 vsize=5356 CPUtime=2.51
/proc/11708/stat : 11708 (SatELiteGTI) S 11706 11708 11321 0 -1 4194304 336 6453 0 0 0 0 245 6 16 0 1 0 310847780 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11708/statm: 1339 239 197 169 0 50 0
[pid=11714] ppid=11708 vsize=231660 CPUtime=759.48
/proc/11714/stat : 11714 (minisat_static) R 11708 11708 11321 0 -1 4194304 57800 0 0 0 75884 64 0 0 25 0 1 0 310848033 237219840 57786 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/11714/statm: 57915 57786 77 171 0 57742 0
Current children cumulated CPU time (s) 761.99
Current children cumulated vsize (KiB) 237016
[startup+822.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11714
/proc/meminfo: memFree=1683144/2055920 swapFree=4180320/4192956
[pid=11708] ppid=11706 vsize=5356 CPUtime=2.51
/proc/11708/stat : 11708 (SatELiteGTI) S 11706 11708 11321 0 -1 4194304 336 6453 0 0 0 0 245 6 16 0 1 0 310847780 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11708/statm: 1339 239 197 169 0 50 0
[pid=11714] ppid=11708 vsize=231660 CPUtime=819.46
/proc/11714/stat : 11714 (minisat_static) R 11708 11708 11321 0 -1 4194304 57800 0 0 0 81881 65 0 0 25 0 1 0 310848033 237219840 57786 1992294400 134512640 135215339 4294956240 18446744073709551615 134532650 0 0 4096 3 0 0 0 17 1 0 0
/proc/11714/statm: 57915 57786 77 171 0 57742 0
Current children cumulated CPU time (s) 821.97
Current children cumulated vsize (KiB) 237016
[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11714
/proc/meminfo: memFree=1683080/2055920 swapFree=4180320/4192956
[pid=11708] ppid=11706 vsize=5356 CPUtime=2.51
/proc/11708/stat : 11708 (SatELiteGTI) S 11706 11708 11321 0 -1 4194304 336 6453 0 0 0 0 245 6 16 0 1 0 310847780 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11708/statm: 1339 239 197 169 0 50 0
[pid=11714] ppid=11708 vsize=231660 CPUtime=879.44
/proc/11714/stat : 11714 (minisat_static) R 11708 11708 11321 0 -1 4194304 57800 0 0 0 87879 65 0 0 25 0 1 0 310848033 237219840 57786 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 1 0 0
/proc/11714/statm: 57915 57786 77 171 0 57742 0
Current children cumulated CPU time (s) 881.95
Current children cumulated vsize (KiB) 237016
[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11714
/proc/meminfo: memFree=1682952/2055920 swapFree=4180320/4192956
[pid=11708] ppid=11706 vsize=5356 CPUtime=2.51
/proc/11708/stat : 11708 (SatELiteGTI) S 11706 11708 11321 0 -1 4194304 336 6453 0 0 0 0 245 6 16 0 1 0 310847780 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11708/statm: 1339 239 197 169 0 50 0
[pid=11714] ppid=11708 vsize=231660 CPUtime=939.42
/proc/11714/stat : 11714 (minisat_static) R 11708 11708 11321 0 -1 4194304 57803 0 0 0 93877 65 0 0 25 0 1 0 310848033 237219840 57789 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/11714/statm: 57915 57789 77 171 0 57742 0
Current children cumulated CPU time (s) 941.93
Current children cumulated vsize (KiB) 237016
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11714
/proc/meminfo: memFree=1682952/2055920 swapFree=4180320/4192956
[pid=11708] ppid=11706 vsize=5356 CPUtime=2.51
/proc/11708/stat : 11708 (SatELiteGTI) S 11706 11708 11321 0 -1 4194304 336 6453 0 0 0 0 245 6 16 0 1 0 310847780 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11708/statm: 1339 239 197 169 0 50 0
[pid=11714] ppid=11708 vsize=231660 CPUtime=999.41
/proc/11714/stat : 11714 (minisat_static) R 11708 11708 11321 0 -1 4194304 57803 0 0 0 99875 66 0 0 25 0 1 0 310848033 237219840 57789 1992294400 134512640 135215339 4294956240 18446744073709551615 134529105 0 0 4096 3 0 0 0 17 1 0 0
/proc/11714/statm: 57915 57789 77 171 0 57742 0
Current children cumulated CPU time (s) 1001.92
Current children cumulated vsize (KiB) 237016
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11714
/proc/meminfo: memFree=1682888/2055920 swapFree=4180320/4192956
[pid=11708] ppid=11706 vsize=5356 CPUtime=2.51
/proc/11708/stat : 11708 (SatELiteGTI) S 11706 11708 11321 0 -1 4194304 336 6453 0 0 0 0 245 6 16 0 1 0 310847780 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11708/statm: 1339 239 197 169 0 50 0
[pid=11714] ppid=11708 vsize=231660 CPUtime=1059.39
/proc/11714/stat : 11714 (minisat_static) R 11708 11708 11321 0 -1 4194304 57803 0 0 0 105873 66 0 0 25 0 1 0 310848033 237219840 57789 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/11714/statm: 57915 57789 77 171 0 57742 0
Current children cumulated CPU time (s) 1061.9
Current children cumulated vsize (KiB) 237016
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11714
/proc/meminfo: memFree=1682824/2055920 swapFree=4180320/4192956
[pid=11708] ppid=11706 vsize=5356 CPUtime=2.51
/proc/11708/stat : 11708 (SatELiteGTI) S 11706 11708 11321 0 -1 4194304 336 6453 0 0 0 0 245 6 16 0 1 0 310847780 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11708/statm: 1339 239 197 169 0 50 0
[pid=11714] ppid=11708 vsize=231660 CPUtime=1119.37
/proc/11714/stat : 11714 (minisat_static) R 11708 11708 11321 0 -1 4194304 57803 0 0 0 111871 66 0 0 25 0 1 0 310848033 237219840 57789 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/11714/statm: 57915 57789 77 171 0 57742 0
Current children cumulated CPU time (s) 1121.88
Current children cumulated vsize (KiB) 237016
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11714
/proc/meminfo: memFree=1682760/2055920 swapFree=4180320/4192956
[pid=11708] ppid=11706 vsize=5356 CPUtime=2.51
/proc/11708/stat : 11708 (SatELiteGTI) S 11706 11708 11321 0 -1 4194304 336 6453 0 0 0 0 245 6 16 0 1 0 310847780 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11708/statm: 1339 239 197 169 0 50 0
[pid=11714] ppid=11708 vsize=231660 CPUtime=1179.34
/proc/11714/stat : 11714 (minisat_static) R 11708 11708 11321 0 -1 4194304 57803 0 0 0 117868 66 0 0 25 0 1 0 310848033 237219840 57789 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 1 0 0
/proc/11714/statm: 57915 57789 77 171 0 57742 0
Current children cumulated CPU time (s) 1181.85
Current children cumulated vsize (KiB) 237016
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11714
/proc/meminfo: memFree=1682696/2055920 swapFree=4180320/4192956
[pid=11708] ppid=11706 vsize=5356 CPUtime=2.51
/proc/11708/stat : 11708 (SatELiteGTI) S 11706 11708 11321 0 -1 4194304 336 6453 0 0 0 0 245 6 16 0 1 0 310847780 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11708/statm: 1339 239 197 169 0 50 0
[pid=11714] ppid=11708 vsize=231660 CPUtime=1197.54
/proc/11714/stat : 11714 (minisat_static) R 11708 11708 11321 0 -1 4194304 57803 0 0 0 119688 66 0 0 25 0 1 0 310848033 237219840 57789 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/11714/statm: 57915 57789 77 171 0 57742 0
Current children cumulated CPU time (s) 1200.05
Current children cumulated vsize (KiB) 237016
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1200.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11714
/proc/meminfo: memFree=1682696/2055920 swapFree=4180320/4192956
[pid=11708] ppid=11706 vsize=5356 CPUtime=2.51
/proc/11708/stat : 11708 (SatELiteGTI) S 11706 11708 11321 0 -1 4194304 336 6453 0 0 0 0 245 6 16 0 1 0 310847780 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11708/statm: 1339 239 197 169 0 50 0
[pid=11714] ppid=11708 vsize=231660 CPUtime=1197.54
/proc/11714/stat : 11714 (minisat_static) R 11708 11708 11321 0 -1 4194304 57803 0 0 0 119688 66 0 0 25 0 1 0 310848033 237219840 57789 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/11714/statm: 57915 57789 77 171 0 57742 0
Current children cumulated CPU time (s) 1200.05
Current children cumulated vsize (KiB) 237016
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 11708 and gives
# childrusage.ru_utime.tv_sec=2
# childrusage.ru_utime.tv_usec=456626
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=66989
# CPU time returned by wait4() is 2.52361
# while last known CPU time is 1200.05
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1200.51
CPU time (s): 1200.05
CPU user time (s): 1199.33
CPU system time (s): 0.72
CPU usage (%): 99.9615
Max. virtual memory (cumulated for all children) (KiB): 237016
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.45663
system time used= 0.066989
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6789
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 13
involuntary context switches= 8
runsolver used 1.47078 second user time and 2.97055 second system time
The end
Begin job on node19 at 2009-05-20 16:02:25
IDJOB=1834119
IDBENCH=71499
IDSOLVER=671
FILE ID=node19/1834119-1242828145
PBS_JOBID= 9322508
Free space on /tmp= 66236 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/CRAFTED/rbsat/crafted/unforced/rbsat-v2640c305320g4.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1834119-1242828145/watcher-1834119-1242828145 -o /tmp/evaluation-result-1834119-1242828145/solver-1834119-1242828145 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1834119-1242828145.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 902bd5d693f19206156f2706c5c6e377
RANDOM SEED=841480731
node19.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.236
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.236
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: 1922992 kB
Buffers: 19576 kB
Cached: 76768 kB
SwapCached: 6676 kB
Active: 50304 kB
Inactive: 54228 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1922992 kB
SwapTotal: 4192956 kB
SwapFree: 4180320 kB
Dirty: 5516 kB
Writeback: 0 kB
Mapped: 13380 kB
Slab: 14360 kB
Committed_AS: 1058152 kB
PageTables: 1456 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66228 MiB
End job on node19 at 2009-05-20 16:22:28