0.00/0.00 c Parsing...
0.00/0.10 c ==============================================================================
0.00/0.10 c | | ORIGINAL | LEARNT | |
0.00/0.10 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.10 c ==============================================================================
0.00/0.10 c | 0 | 119355 278495 | 35806 0 0 nan | 0.000 % |
2.18/2.30 c | 0 | 48581 208867 | -- 0 -- -- | -- | -70752/-69575
2.18/2.30 c ==============================================================================
2.18/2.30 c Result : #vars: 4857 #clauses: 48581 #literals: 208867
2.18/2.30 c CPU time: 2.20766 s
2.18/2.30 c ==============================================================================
2.27/2.37 c This is MiniSat 2.0 beta
2.27/2.37 c WARNING: for repeatability, setting FPU to use double precision
2.27/2.37 c ============================[ Problem Statistics ]=============================
2.27/2.37 c | |
2.27/2.37 c | Number of variables: 4857 |
2.27/2.37 c | Number of clauses: 48581 |
2.35/2.41 c | Parsing time: 0.03 s |
2.35/2.41 c ============================[ Search Statistics ]==============================
2.35/2.41 c | Conflicts | ORIGINAL | LEARNT | Progress |
2.35/2.41 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
2.35/2.41 c ===============================================================================
2.35/2.41 c | 0 | 4857 48581 208867 | 16193 0 nan | 0.000 % |
2.35/2.42 c | 100 | 4857 48581 208867 | 16193 100 10 | 0.000 % |
2.35/2.46 c | 201 | 4857 48581 208867 | 16193 201 14 | 0.000 % |
2.35/2.47 c | 301 | 4857 48581 208867 | 16193 301 26 | 0.000 % |
2.35/2.49 c | 411 | 4857 48581 208867 | 16193 411 24 | 0.000 % |
2.35/2.50 c | 511 | 4857 48581 208867 | 16193 511 26 | 0.000 % |
2.35/2.51 c | 621 | 4857 48581 208867 | 16193 621 26 | 0.000 % |
2.35/2.53 c | 743 | 4857 48581 208867 | 16193 743 24 | 0.000 % |
2.35/2.55 c | 844 | 4857 48581 208867 | 16193 844 29 | 0.000 % |
2.35/2.56 c | 954 | 4857 48581 208867 | 16193 954 30 | 0.000 % |
2.35/2.57 c | 1075 | 4856 48517 208739 | 16193 1073 29 | 0.021 % |
2.35/2.59 c | 1208 | 4856 48517 208739 | 16193 1206 29 | 0.021 % |
2.35/2.60 c | 1309 | 4856 48517 208739 | 16193 1307 32 | 0.021 % |
2.35/2.62 c | 1420 | 4856 48517 208739 | 16193 1418 31 | 0.021 % |
2.35/2.63 c | 1541 | 4856 48517 208739 | 16193 1539 31 | 0.021 % |
2.35/2.66 c | 1674 | 4856 48517 208739 | 16193 1672 32 | 0.021 % |
2.35/2.69 c | 1821 | 4856 48517 208739 | 16193 1819 36 | 0.021 % |
2.35/2.71 c | 1928 | 4856 48517 208739 | 16193 1926 38 | 0.021 % |
2.35/2.72 c | 2038 | 4856 48517 208739 | 16193 2036 38 | 0.021 % |
2.35/2.74 c | 2159 | 4856 48517 208739 | 16193 2157 39 | 0.021 % |
2.35/2.76 c | 2292 | 4856 48517 208739 | 16193 2290 40 | 0.021 % |
2.35/2.79 c | 2438 | 4856 48517 208739 | 16193 2436 40 | 0.021 % |
2.35/2.82 c | 2598 | 4856 48517 208739 | 16193 2596 41 | 0.021 % |
2.35/2.83 c | 2698 | 4856 48517 208739 | 16193 2696 40 | 0.021 % |
2.35/2.86 c | 2809 | 4856 48517 208739 | 16193 2807 40 | 0.021 % |
2.35/2.88 c | 2934 | 4856 48517 208739 | 16193 2932 41 | 0.021 % |
2.35/2.90 c | 3067 | 4856 48517 208739 | 16193 3065 41 | 0.021 % |
2.35/2.92 c | 3213 | 4856 48517 208739 | 16193 3211 42 | 0.021 % |
2.35/2.95 c | 3373 | 4856 48517 208739 | 16193 3371 42 | 0.021 % |
2.35/2.97 c | 3552 | 4856 48517 208739 | 16193 3550 44 | 0.021 % |
2.35/2.98 c | 3652 | 4856 48517 208739 | 16193 3650 45 | 0.021 % |
2.35/2.99 c | 3762 | 4856 48517 208739 | 16193 3760 45 | 0.021 % |
2.35/3.01 c | 3886 | 4856 48517 208739 | 16193 3884 45 | 0.021 % |
2.35/3.02 c | 4019 | 4856 48517 208739 | 16193 4017 44 | 0.021 % |
2.35/3.04 c | 4165 | 4856 48517 208739 | 16193 4163 45 | 0.021 % |
2.35/3.08 c | 4325 | 4856 48517 208739 | 16193 4323 47 | 0.021 % |
2.35/3.11 c | 4503 | 4856 48517 208739 | 16193 4501 47 | 0.021 % |
2.35/3.14 c | 4696 | 4856 48517 208739 | 16193 4694 47 | 0.021 % |
2.35/3.15 c | 4798 | 4856 48517 208739 | 16193 4796 48 | 0.021 % |
2.35/3.17 c | 4908 | 4856 48517 208739 | 16193 4906 49 | 0.021 % |
2.35/3.20 c | 5030 | 4856 48517 208739 | 16193 5028 50 | 0.021 % |
3.17/3.22 c | 5163 | 4856 48517 208739 | 16193 5161 52 | 0.021 % |
3.17/3.24 c | 5310 | 4856 48517 208739 | 16193 5308 54 | 0.021 % |
3.17/3.27 c | 5470 | 4856 48517 208739 | 16193 5468 54 | 0.021 % |
3.17/3.30 c | 5651 | 4856 48517 208739 | 16193 5649 56 | 0.021 % |
3.26/3.32 c | 5844 | 4856 48517 208739 | 16193 5842 57 | 0.021 % |
3.26/3.40 c | 6056 | 4856 48517 208739 | 16193 6054 57 | 0.021 % |
3.35/3.42 c | 6156 | 4856 48517 208739 | 16193 6154 57 | 0.021 % |
3.35/3.45 c | 6266 | 4856 48517 208739 | 16193 6264 58 | 0.021 % |
3.35/3.47 c | 6393 | 4856 48517 208739 | 16193 6391 57 | 0.021 % |
3.45/3.51 c | 6526 | 4856 48517 208739 | 16193 6524 59 | 0.021 % |
3.45/3.54 c | 6672 | 4856 48517 208739 | 16193 6670 61 | 0.021 % |
3.45/3.57 c | 6834 | 4856 48517 208739 | 16193 6832 63 | 0.021 % |
3.56/3.61 c | 7011 | 4856 48517 208739 | 16193 7009 65 | 0.021 % |
3.56/3.66 c | 7205 | 4856 48517 208739 | 16193 7203 68 | 0.021 % |
3.66/3.70 c | 7419 | 4856 48517 208739 | 16193 7417 72 | 0.021 % |
3.66/3.79 c | 7652 | 4856 48517 208739 | 16193 7650 77 | 0.021 % |
3.76/3.82 c | 7752 | 4856 48517 208739 | 16193 7750 79 | 0.021 % |
3.76/3.85 c | 7864 | 4856 48517 208739 | 16193 7862 81 | 0.021 % |
3.76/3.89 c | 7986 | 4856 48517 208739 | 16193 7984 82 | 0.021 % |
3.86/3.92 c | 8119 | 4856 48517 208739 | 16193 8117 82 | 0.021 % |
3.86/3.96 c | 8265 | 4856 48517 208739 | 16193 8263 83 | 0.021 % |
3.96/4.00 c | 8429 | 4856 48517 208739 | 16193 8427 84 | 0.021 % |
3.96/4.06 c | 8607 | 4856 48517 208739 | 16193 8605 87 | 0.021 % |
4.06/4.11 c | 8800 | 4856 48517 208739 | 16193 8798 90 | 0.021 % |
4.06/4.16 c | 9013 | 4856 48517 208739 | 16193 9011 91 | 0.021 % |
4.16/4.21 c | 9246 | 4856 48517 208739 | 16193 9244 92 | 0.021 % |
4.16/4.26 c | 9502 | 4856 48517 208739 | 16193 9500 92 | 0.021 % |
4.16/4.29 c | 9602 | 4856 48517 208739 | 16193 9600 92 | 0.021 % |
4.26/4.32 c | 9713 | 4856 48517 208739 | 16193 9711 93 | 0.021 % |
4.26/4.37 c | 9834 | 4856 48517 208739 | 16193 9832 96 | 0.021 % |
4.36/4.40 c | 9969 | 4856 48517 208739 | 16193 9967 97 | 0.021 % |
4.36/4.46 c | 10116 | 4856 48517 208739 | 2147483647 10114 99 | 0.021 % |
4.46/4.53 c | 10276 | 4856 48517 208739 | 2147483647 10274 101 | 0.021 % |
4.56/4.61 c | 10453 | 4856 48517 208739 | 2147483647 10451 102 | 0.021 % |
4.66/4.73 c | 10646 | 4856 48517 208739 | 2147483647 10644 107 | 0.021 % |
4.76/4.82 c | 10860 | 4856 48517 208739 | 2147483647 10858 111 | 0.021 % |
4.76/4.88 c | 11095 | 4856 48517 208739 | 2147483647 11093 113 | 0.021 % |
4.85/4.95 c | 11355 | 4856 48517 208739 | 2147483647 11353 117 | 0.021 % |
4.95/5.05 c | 11636 | 4856 48517 208739 | 2147483647 11634 121 | 0.021 % |
4.95/5.08 c | 11739 | 4856 48517 208739 | 2147483647 11737 122 | 0.021 % |
5.06/5.14 c | 11852 | 4856 48517 208739 | 2147483647 11850 124 | 0.021 % |
5.06/5.19 c | 11973 | 4856 48517 208739 | 2147483647 11971 125 | 0.021 % |
5.16/5.26 c | 12107 | 4856 48517 208739 | 2147483647 12105 128 | 0.021 % |
5.36/5.45 c | 12254 | 4856 48517 208739 | 2147483647 12252 132 | 0.021 % |
5.46/5.58 c | 12422 | 4856 48517 208739 | 2147483647 12420 135 | 0.021 % |
5.56/5.64 c | 12598 | 4856 48517 208739 | 2147483647 12596 136 | 0.021 % |
5.66/5.73 c | 12801 | 4856 48517 208739 | 2147483647 12799 136 | 0.021 % |
5.76/5.81 c | 13014 | 4856 48517 208739 | 2147483647 13012 138 | 0.021 % |
5.86/5.92 c | 13247 | 4856 48517 208739 | 2147483647 13245 141 | 0.021 % |
5.86/6.00 c | 13503 | 4856 48517 208739 | 2147483647 13501 142 | 0.021 % |
6.06/6.18 c | 13784 | 4856 48517 208739 | 2147483647 13782 146 | 0.021 % |
6.16/6.29 c | 14093 | 4856 48517 208739 | 2147483647 14091 149 | 0.021 % |
6.26/6.35 c | 14193 | 4856 48517 208739 | 2147483647 14191 151 | 0.021 % |
6.36/6.44 c | 14303 | 4856 48517 208739 | 2147483647 14301 153 | 0.021 % |
6.46/6.57 c | 14427 | 4856 48517 208739 | 2147483647 14425 156 | 0.021 % |
6.56/6.63 c | 14560 | 4856 48517 208739 | 2147483647 14558 156 | 0.021 % |
6.56/6.67 c | 14707 | 4856 48517 208739 | 2147483647 14705 155 | 0.021 % |
6.66/6.71 c | 14869 | 4856 48517 208739 | 2147483647 14867 155 | 0.021 % |
6.66/6.77 c | 15045 | 4856 48517 208739 | 2147483647 15043 155 | 0.021 % |
6.76/6.83 c | 15238 | 4856 48517 208739 | 2147483647 15236 155 | 0.021 % |
6.76/6.86 c | 15450 | 4856 48517 208739 | 2147483647 15448 154 | 0.021 % |
6.86/6.91 c | 15683 | 4856 48517 208739 | 2147483647 15681 156 | 0.021 % |
6.86/6.99 c | 15943 | 4856 48517 208739 | 2147483647 15941 156 | 0.021 % |
6.96/7.07 c | 16228 | 4856 48517 208739 | 2147483647 16226 156 | 0.021 % |
7.06/7.17 c | 16537 | 4856 48517 208739 | 2147483647 16535 157 | 0.021 % |
7.16/7.27 c | 16876 | 4856 48517 208739 | 2147483647 16874 157 | 0.021 % |
7.26/7.30 c | 16976 | 4856 48517 208739 | 2147483647 16974 157 | 0.021 % |
7.26/7.33 c | 17086 | 4856 48517 208739 | 2147483647 17084 157 | 0.021 % |
7.26/7.39 c | 17208 | 4856 48517 208739 | 2147483647 17206 158 | 0.021 % |
7.36/7.47 c | 17341 | 4856 48517 208739 | 2147483647 17339 159 | 0.021 % |
7.46/7.54 c | 17487 | 4856 48517 208739 | 2147483647 17485 160 | 0.021 % |
7.56/7.61 c | 17647 | 4856 48517 208739 | 2147483647 17645 161 | 0.021 % |
7.66/7.73 c | 17824 | 4856 48517 208739 | 2147483647 17822 163 | 0.021 % |
7.76/7.85 c | 18020 | 4855 48452 208608 | 2147483647 18016 165 | 0.041 % |
7.95/8.01 c | 18233 | 4855 48452 208608 | 2147483647 18229 168 | 0.041 % |
8.25/8.38 c | 18469 | 4855 48452 208608 | 2147483647 18465 170 | 0.041 % |
8.66/8.70 c | 18730 | 4855 48452 208608 | 2147483647 18726 174 | 0.041 % |
8.86/8.99 c | 19013 | 4855 48452 208608 | 2147483647 19009 177 | 0.041 % |
9.06/9.16 c | 19324 | 4855 48452 208608 | 2147483647 19320 179 | 0.041 % |
9.26/9.37 c | 19663 | 4855 48452 208608 | 2147483647 19659 181 | 0.041 % |
9.66/9.79 c | 20036 | 4855 48452 208608 | 2147483647 20032 186 | 0.041 % |
9.86/9.91 c | 20140 | 4855 48452 208608 | 2147483647 20136 187 | 0.041 % |
9.86/9.97 c | 20250 | 4855 48452 208608 | 2147483647 20246 188 | 0.041 % |
9.96/10.02 c | 20371 | 4855 48452 208608 | 2147483647 20367 187 | 0.041 % |
9.96/10.07 c | 20504 | 4855 48452 208608 | 2147483647 20500 187 | 0.041 % |
10.05/10.18 c | 20653 | 4855 48452 208608 | 2147483647 20649 189 | 0.041 % |
10.15/10.26 c | 20815 | 4855 48452 208608 | 2147483647 20811 190 | 0.041 % |
10.25/10.38 c | 20991 | 4855 48452 208608 | 2147483647 20987 191 | 0.041 % |
10.55/10.65 c | 21185 | 4855 48452 208608 | 2147483647 21181 193 | 0.041 % |
10.75/10.83 c | 21406 | 4855 48452 208608 | 2147483647 21402 195 | 0.041 % |
10.86/11.00 c | 21642 | 4855 48452 208608 | 2147483647 21638 196 | 0.041 % |
11.06/11.16 c | 21900 | 4855 48452 208608 | 2147483647 21896 197 | 0.041 % |
11.26/11.31 c | 22181 | 4855 48452 208608 | 2147483647 22177 198 | 0.041 % |
11.36/11.42 c | 22491 | 4855 48452 208608 | 2147483647 22487 198 | 0.041 % |
11.46/11.54 c | 22831 | 4855 48452 208608 | 2147483647 22827 197 | 0.041 % |
11.56/11.67 c | 23203 | 4855 48452 208608 | 2147483647 23199 196 | 0.041 % |
11.76/11.88 c | 23612 | 4855 48452 208608 | 2147483647 23608 197 | 0.041 % |
11.86/11.95 c | 23712 | 4855 48452 208608 | 2147483647 23708 198 | 0.041 % |
11.86/12.00 c | 23823 | 4855 48452 208608 | 2147483647 23819 198 | 0.041 % |
11.96/12.08 c | 23945 | 4855 48452 208608 | 2147483647 23941 199 | 0.041 % |
12.06/12.17 c | 24080 | 4855 48452 208608 | 2147483647 24076 199 | 0.041 % |
12.16/12.28 c | 24226 | 4855 48452 208608 | 2147483647 24222 200 | 0.041 % |
12.26/12.36 c | 24389 | 4854 48452 208608 | 2147483647 24384 200 | 0.062 % |
12.36/12.45 c | 24571 | 4854 48452 208608 | 2147483647 24566 200 | 0.062 % |
12.46/12.59 c | 24769 | 4854 48452 208608 | 2147483647 24764 201 | 0.062 % |
12.66/12.75 c | 24981 | 4854 48452 208608 | 2147483647 24976 202 | 0.062 % |
12.86/12.90 c | 25214 | 4854 48452 208608 | 2147483647 25209 202 | 0.062 % |
12.95/13.03 c | 25473 | 4854 48452 208608 | 2147483647 25468 202 | 0.062 % |
13.06/13.10 c | 25759 | 4854 48452 208608 | 2147483647 25754 201 | 0.062 % |
13.16/13.20 c | 26074 | 4854 48452 208608 | 2147483647 26069 200 | 0.062 % |
13.25/13.37 c | 26413 | 4854 48452 208608 | 2147483647 26408 200 | 0.062 % |
13.45/13.55 c | 26785 | 4854 48452 208608 | 2147483647 26780 200 | 0.062 % |
13.65/13.72 c | 27194 | 4854 48452 208608 | 2147483647 27189 200 | 0.062 % |
13.75/13.90 c | 27644 | 4854 48452 208608 | 2147483647 27639 200 | 0.062 % |
13.85/13.93 c | 27746 | 4854 48452 208608 | 2147483647 27741 200 | 0.062 % |
13.85/13.96 c | 27857 | 4854 48452 208608 | 2147483647 27852 200 | 0.062 % |
13.95/14.00 c | 27986 | 4854 48452 208608 | 2147483647 27981 199 | 0.062 % |
13.95/14.06 c | 28119 | 4854 48452 208608 | 2147483647 28114 199 | 0.062 % |
13.95/14.09 c | 28265 | 4854 48452 208608 | 2147483647 28260 198 | 0.062 % |
14.05/14.16 c | 28425 | 4854 48452 208608 | 2147483647 28420 198 | 0.062 % |
14.16/14.28 c | 28611 | 4854 48387 208477 | 2147483647 28605 198 | 0.062 % |
14.35/14.43 c | 28805 | 4854 48387 208477 | 2147483647 28799 198 | 0.062 % |
14.45/14.54 c | 29020 | 4854 48387 208477 | 2147483647 29014 199 | 0.062 % |
14.55/14.61 c | 29253 | 4854 48387 208477 | 2147483647 29247 197 | 0.062 % |
14.65/14.74 c | 29516 | 4854 48387 208477 | 2147483647 29510 197 | 0.062 % |
14.75/14.87 c | 29802 | 4854 48387 208477 | 2147483647 29796 199 | 0.062 % |
14.95/15.02 c | 30116 | 4854 48387 208477 | 2147483647 30110 199 | 0.062 % |
15.15/15.21 c | 30463 | 4854 48387 208477 | 2147483647 30457 200 | 0.062 % |
15.36/15.49 c | 30842 | 4854 48387 208477 | 2147483647 30836 202 | 0.062 % |
15.65/15.74 c | 31251 | 4854 48387 208477 | 2147483647 31245 203 | 0.062 % |
15.95/16.00 c | 31701 | 4854 48387 208477 | 2147483647 31695 203 | 0.062 % |
16.15/16.23 c | 32194 | 4854 48387 208477 | 2147483647 32188 204 | 0.062 % |
16.15/16.27 c | 32296 | 4854 48387 208477 | 2147483647 32290 204 | 0.062 % |
16.25/16.30 c | 32406 | 4854 48387 208477 | 2147483647 32400 204 | 0.062 % |
16.25/16.32 c | 32529 | 4854 48387 208477 | 2147483647 32523 204 | 0.062 % |
16.25/16.38 c | 32663 | 4854 48387 208477 | 2147483647 32657 204 | 0.062 % |
16.35/16.44 c | 32809 | 4854 48387 208477 | 2147483647 32803 204 | 0.062 % |
16.46/16.51 c | 32970 | 4854 48387 208477 | 2147483647 32964 204 | 0.062 % |
16.46/16.55 c | 33147 | 4854 48387 208477 | 2147483647 33141 204 | 0.062 % |
16.46/16.59 c | 33340 | 4854 48387 208477 | 2147483647 33334 204 | 0.062 % |
16.56/16.70 c | 33552 | 4854 48387 208477 | 2147483647 33546 204 | 0.062 % |
16.85/16.92 c | 33785 | 4854 48387 208477 | 2147483647 33779 206 | 0.062 % |
17.05/17.18 c | 34042 | 4854 48387 208477 | 2147483647 34036 207 | 0.062 % |
17.25/17.35 c | 34323 | 4854 48387 208477 | 2147483647 34317 207 | 0.062 % |
17.35/17.45 c | 34632 | 4854 48387 208477 | 2147483647 34626 205 | 0.064 % |
17.46/17.56 c | 34971 | 4854 48387 208477 | 2147483647 34965 205 | 0.064 % |
17.56/17.67 c | 35343 | 4854 48387 208477 | 2147483647 35337 206 | 0.062 % |
17.75/17.88 c | 35752 | 4854 48387 208477 | 2147483647 35746 206 | 0.062 % |
17.95/18.06 c | 36202 | 4854 48387 208477 | 2147483647 36196 206 | 0.062 % |
18.35/18.49 c | 36696 | 4854 48387 208477 | 2147483647 36690 207 | 0.062 % |
18.75/18.81 c | 37241 | 4854 48387 208477 | 2147483647 37235 207 | 0.062 % |
18.75/18.85 c | 37342 | 4854 48387 208477 | 2147483647 37336 207 | 0.062 % |
18.85/18.90 c | 37453 | 4854 48387 208477 | 2147483647 37447 207 | 0.062 % |
18.85/18.95 c | 37574 | 4854 48387 208477 | 2147483647 37568 207 | 0.062 % |
18.95/19.10 c | 37707 | 4854 48387 208477 | 2147483647 37701 208 | 0.062 % |
19.15/19.20 c | 37854 | 4854 48387 208477 | 2147483647 37848 208 | 0.062 % |
19.25/19.37 c | 38014 | 4854 48387 208477 | 2147483647 38008 209 | 0.062 % |
19.45/19.55 c | 38194 | 4854 48387 208477 | 2147483647 38188 210 | 0.062 % |
19.66/19.74 c | 38388 | 4854 48387 208477 | 2147483647 38382 211 | 0.062 % |
19.85/19.97 c | 38604 | 4854 48387 208477 | 2147483647 38598 212 | 0.062 % |
20.15/20.26 c | 38841 | 4854 48387 208477 | 2147483647 38835 213 | 0.062 % |
20.45/20.50 c | 39097 | 4854 48387 208477 | 2147483647 39091 214 | 0.062 % |
20.55/20.65 c | 39379 | 4854 48387 208477 | 2147483647 39373 214 | 0.062 % |
20.75/20.82 c | 39689 | 4854 48387 208477 | 2147483647 39683 214 | 0.062 % |
20.95/21.01 c | 40028 | 4854 48387 208477 | 2147483647 40022 214 | 0.062 % |
21.05/21.12 c | 40405 | 4854 48387 208477 | 2147483647 40399 213 | 0.062 % |
21.35/21.49 c | 40818 | 4854 48387 208477 | 2147483647 40812 214 | 0.062 % |
21.65/21.73 c | 41267 | 4854 48387 208477 | 2147483647 41261 214 | 0.062 % |
21.85/21.93 c | 41760 | 4854 48387 208477 | 2147483647 41754 214 | 0.062 % |
22.05/22.17 c | 42302 | 4854 48387 208477 | 2147483647 42296 214 | 0.062 % |
22.64/22.78 c | 42898 | 4854 48387 208477 | 2147483647 42892 215 | 0.062 % |
22.85/22.92 c | 42998 | 4854 48387 208477 | 2147483647 42992 215 | 0.062 % |
22.96/23.03 c | 43108 | 4854 48387 208477 | 2147483647 43102 215 | 0.062 % |
23.06/23.17 c | 43230 | 4854 48387 208477 | 2147483647 43224 216 | 0.062 % |
23.25/23.31 c | 43365 | 4854 48387 208477 | 2147483647 43359 216 | 0.062 % |
23.45/23.56 c | 43516 | 4854 48387 208477 | 2147483647 43510 217 | 0.062 % |
23.65/23.75 c | 43677 | 4854 48387 208477 | 2147483647 43671 218 | 0.062 % |
23.75/23.87 c | 43853 | 4854 48387 208477 | 2147483647 43847 218 | 0.062 % |
23.95/24.04 c | 44046 | 4854 48387 208477 | 2147483647 44040 219 | 0.062 % |
24.25/24.31 c | 44258 | 4854 48387 208477 | 2147483647 44252 220 | 0.062 % |
24.64/24.77 c | 44491 | 4854 48387 208477 | 2147483647 44485 221 | 0.062 % |
24.94/25.03 c | 44751 | 4854 48387 208477 | 2147483647 44745 222 | 0.062 % |
25.25/25.38 c | 45033 | 4854 48387 208477 | 2147483647 45027 223 | 0.062 % |
25.64/25.78 c | 45349 | 4854 48387 208477 | 2147483647 45343 224 | 0.062 % |
26.14/26.28 c | 45697 | 4854 48387 208477 | 2147483647 45691 226 | 0.062 % |
26.44/26.56 c | 46084 | 4854 48387 208477 | 2147483647 46078 227 | 0.062 % |
26.75/26.89 c | 46495 | 4854 48387 208477 | 2147483647 46489 228 | 0.062 % |
27.05/27.19 c | 46944 | 4854 48387 208477 | 2147483647 46938 227 | 0.062 % |
27.55/27.64 c | 47439 | 4854 48387 208477 | 2147483647 47433 228 | 0.062 % |
27.85/27.96 c | 47981 | 4854 48387 208477 | 2147483647 47975 228 | 0.062 % |
28.15/28.23 c | 48578 | 4854 48387 208477 | 2147483647 48572 227 | 0.062 % |
28.55/28.68 c | 49236 | 4854 48387 208477 | 2147483647 49230 227 | 0.062 % |
28.64/28.73 c | 49337 | 4854 48387 208477 | 2147483647 49331 227 | 0.062 % |
28.74/28.82 c | 49448 | 4854 48387 208477 | 2147483647 49442 227 | 0.062 % |
28.74/28.89 c | 49574 | 4854 48387 208477 | 2147483647 49568 227 | 0.062 % |
29.04/29.10 c | 49707 | 4854 48387 208477 | 2147483647 49701 227 | 0.062 % |
29.14/29.26 c | 49853 | 4854 48387 208477 | 2147483647 49847 228 | 0.062 % |
29.34/29.44 c | 50014 | 4854 48387 208477 | 2147483647 50008 229 | 0.062 % |
29.44/29.52 c | 50192 | 4854 48387 208477 | 2147483647 50186 228 | 0.062 % |
29.44/29.59 c | 50385 | 4854 48387 208477 | 2147483647 50379 228 | 0.062 % |
29.64/29.72 c | 50623 | 4854 48387 208477 | 2147483647 50617 227 | 0.062 % |
29.74/29.89 c | 50856 | 4854 48387 208477 | 2147483647 50850 227 | 0.062 % |
30.05/30.11 c | 51113 | 4854 48387 208477 | 2147483647 51107 227 | 0.062 % |
30.24/30.39 c | 51394 | 4854 48387 208477 | 2147483647 51388 228 | 0.062 % |
30.54/30.68 c | 51705 | 4854 48387 208477 | 2147483647 51699 228 | 0.062 % |
30.84/30.94 c | 52044 | 4854 48387 208477 | 2147483647 52038 229 | 0.062 % |
31.14/31.22 c | 52416 | 4854 48387 208477 | 2147483647 52410 229 | 0.062 % |
31.44/31.59 c | 52829 | 4854 48387 208477 | 2147483647 52823 229 | 0.062 % |
31.74/31.81 c | 53280 | 4854 48387 208477 | 2147483647 53274 228 | 0.062 % |
31.94/32.00 c | 53775 | 4854 48387 208477 | 2147483647 53769 227 | 0.062 % |
32.14/32.29 c | 54317 | 4854 48387 208477 | 2147483647 54311 226 | 0.062 % |
32.44/32.57 c | 54916 | 4854 48387 208477 | 2147483647 54910 225 | 0.062 % |
32.84/32.95 c | 55573 | 4854 48387 208477 | 2147483647 55567 224 | 0.062 % |
33.24/33.31 c | 56295 | 4854 48387 208477 | 2147483647 56289 223 | 0.062 % |
33.34/33.43 c | 56396 | 4854 48387 208477 | 2147483647 56390 223 | 0.062 % |
33.44/33.55 c | 56508 | 4854 48387 208477 | 2147483647 56502 223 | 0.062 % |
33.54/33.67 c | 56631 | 4854 48387 208477 | 2147483647 56625 223 | 0.062 % |
33.74/33.88 c | 56764 | 4854 48387 208477 | 2147483647 56758 223 | 0.062 % |
34.04/34.14 c | 56925 | 4854 48387 208477 | 2147483647 56919 224 | 0.062 % |
34.24/34.32 c | 57091 | 4854 48387 208477 | 2147483647 57085 224 | 0.062 % |
34.43/34.53 c | 57270 | 4854 48387 208477 | 2147483647 57264 224 | 0.062 % |
34.63/34.78 c | 57463 | 4854 48387 208477 | 2147483647 57457 225 | 0.062 % |
34.93/35.07 c | 57678 | 4854 48387 208477 | 2147483647 57672 226 | 0.062 % |
35.33/35.42 c | 57911 | 4854 48387 208477 | 2147483647 57905 227 | 0.062 % |
35.63/35.71 c | 58168 | 4854 48387 208477 | 2147483647 58162 227 | 0.062 % |
35.93/36.02 c | 58455 | 4854 48387 208477 | 2147483647 58449 227 | 0.062 % |
36.13/36.30 c | 58764 | 4854 48387 208477 | 2147483647 58758 228 | 0.062 % |
36.53/36.62 c | 59104 | 4854 48387 208477 | 2147483647 59098 228 | 0.062 % |
36.73/36.83 c | 59480 | 4854 48387 208477 | 2147483647 59474 227 | 0.062 % |
37.13/37.22 c | 59889 | 4854 48387 208477 | 2147483647 59883 227 | 0.062 % |
37.54/37.66 c | 60342 | 4854 48387 208477 | 2147483647 60336 228 | 0.062 % |
38.03/38.18 c | 60841 | 4854 48387 208477 | 2147483647 60835 229 | 0.062 % |
38.83/38.95 c | 61385 | 4854 48387 208477 | 2147483647 61379 230 | 0.062 % |
39.73/39.86 c | 61981 | 4854 48387 208477 | 2147483647 61975 231 | 0.062 % |
40.53/40.65 c | 62637 | 4854 48387 208477 | 2147483647 62631 232 | 0.062 % |
41.13/41.27 c | 63357 | 4854 48387 208477 | 2147483647 63351 234 | 0.062 % |
42.03/42.18 c | 64149 | 4854 48387 208477 | 2147483647 64143 235 | 0.062 % |
42.13/42.26 c | 64249 | 4854 48387 208477 | 2147483647 64243 235 | 0.062 % |
42.23/42.35 c | 64363 | 4854 48387 208477 | 2147483647 64357 235 | 0.062 % |
42.33/42.48 c | 64486 | 4854 48387 208477 | 2147483647 64480 235 | 0.062 % |
42.43/42.59 c | 64619 | 4854 48387 208477 | 2147483647 64613 235 | 0.062 % |
42.53/42.69 c | 64766 | 4854 48387 208477 | 2147483647 64760 235 | 0.062 % |
42.73/42.87 c | 64931 | 4854 48387 208477 | 2147483647 64925 235 | 0.062 % |
42.92/43.09 c | 65108 | 4854 48387 208477 | 2147483647 65102 235 | 0.062 % |
43.22/43.31 c | 65303 | 4854 48387 208477 | 2147483647 65297 236 | 0.062 % |
43.52/43.64 c | 65516 | 4854 48387 208477 | 2147483647 65510 236 | 0.062 % |
43.72/43.87 c | 65751 | 4854 48387 208477 | 2147483647 65745 236 | 0.062 % |
44.13/44.25 c | 66013 | 4854 48387 208477 | 2147483647 66007 237 | 0.062 % |
44.33/44.49 c | 66298 | 4854 48387 208477 | 2147483647 66292 237 | 0.062 % |
44.83/44.90 c | 66609 | 4854 48387 208477 | 2147483647 66603 238 | 0.062 % |
45.33/45.48 c | 66948 | 4854 48387 208477 | 2147483647 66942 238 | 0.062 % |
45.83/45.94 c | 67321 | 4854 48387 208477 | 2147483647 67315 238 | 0.062 % |
46.32/46.41 c | 67737 | 4854 48387 208477 | 2147483647 67731 239 | 0.062 % |
46.82/46.93 c | 68186 | 4854 48387 208477 | 2147483647 68180 240 | 0.062 % |
47.63/47.71 c | 68680 | 4854 48387 208477 | 2147483647 68674 240 | 0.062 % |
48.33/48.48 c | 69227 | 4854 48387 208477 | 2147483647 69221 240 | 0.062 % |
49.03/49.16 c | 69824 | 4854 48387 208477 | 2147483647 69818 241 | 0.062 % |
49.72/49.87 c | 70479 | 4854 48387 208477 | 2147483647 70473 241 | 0.062 % |
50.42/50.59 c | 71203 | 4854 48387 208477 | 2147483647 71197 242 | 0.062 % |
51.12/51.29 c | 72000 | 4854 48387 208477 | 2147483647 71994 242 | 0.062 % |
52.82/52.92 c | 72872 | 4854 48387 208477 | 2147483647 72866 244 | 0.062 % |
53.02/53.15 c | 72979 | 4854 48387 208477 | 2147483647 72973 244 | 0.062 % |
53.12/53.29 c | 73090 | 4854 48387 208477 | 2147483647 73084 244 | 0.062 % |
53.32/53.44 c | 73212 | 4854 48387 208477 | 2147483647 73206 244 | 0.062 % |
53.42/53.50 c | 73350 | 4854 48387 208477 | 2147483647 73344 244 | 0.063 % |
53.42/53.56 c | 73497 | 4854 48387 208477 | 2147483647 73491 243 | 0.062 % |
53.52/53.67 c | 73657 | 4854 48387 208477 | 2147483647 73651 243 | 0.062 % |
53.72/53.81 c | 73834 | 4854 48387 208477 | 2147483647 73828 243 | 0.062 % |
53.82/53.95 c | 74027 | 4854 48387 208477 | 2147483647 74021 243 | 0.062 % |
54.12/54.20 c | 74250 | 4854 48387 208477 | 2147483647 74244 243 | 0.062 % |
54.32/54.42 c | 74485 | 4854 48387 208477 | 2147483647 74479 243 | 0.062 % |
54.61/54.70 c | 74742 | 4854 48387 208477 | 2147483647 74736 244 | 0.062 % |
54.92/55.04 c | 75024 | 4854 48387 208477 | 2147483647 75018 244 | 0.062 % |
55.42/55.54 c | 75335 | 4854 48387 208477 | 2147483647 75329 245 | 0.062 % |
56.02/56.18 c | 75674 | 4854 48387 208477 | 2147483647 75668 245 | 0.062 % |
56.72/56.90 c | 76046 | 4854 48387 208477 | 2147483647 76040 246 | 0.062 % |
57.12/57.28 c | 76459 | 4854 48387 208477 | 2147483647 76453 246 | 0.062 % |
57.62/57.76 c | 76908 | 4854 48387 208477 | 2147483647 76902 247 | 0.062 % |
58.41/58.59 c | 77402 | 4854 48387 208477 | 2147483647 77396 248 | 0.062 % |
59.11/59.29 c | 77944 | 4854 48387 208477 | 2147483647 77938 248 | 0.062 % |
59.62/59.79 c | 78546 | 4854 48387 208477 | 2147483647 78540 248 | 0.062 % |
60.32/60.45 c | 79201 | 4854 48387 208477 | 2147483647 79195 248 | 0.062 % |
60.92/61.03 c | 79921 | 4854 48387 208477 | 2147483647 79915 248 | 0.062 % |
61.91/62.03 c | 80714 | 4854 48387 208477 | 2147483647 80708 248 | 0.062 % |
62.71/62.81 c | 81585 | 4854 48387 208477 | 2147483647 81579 247 | 0.062 % |
64.01/64.11 c | 82544 | 4854 48387 208477 | 2147483647 82538 247 | 0.062 % |
64.11/64.27 c | 82645 | 4854 48387 208477 | 2147483647 82639 247 | 0.062 % |
64.31/64.42 c | 82758 | 4854 48387 208477 | 2147483647 82752 247 | 0.062 % |
64.51/64.65 c | 82881 | 4854 48387 208477 | 2147483647 82875 247 | 0.062 % |
64.61/64.78 c | 83015 | 4854 48387 208477 | 2147483647 83009 247 | 0.062 % |
64.91/65.03 c | 83161 | 4854 48387 208477 | 2147483647 83155 248 | 0.062 % |
65.21/65.32 c | 83329 | 4854 48387 208477 | 2147483647 83323 248 | 0.062 % |
65.51/65.66 c | 83507 | 4854 48387 208477 | 2147483647 83501 248 | 0.062 % |
65.71/65.88 c | 83702 | 4854 48387 208477 | 2147483647 83696 248 | 0.062 % |
66.01/66.10 c | 83916 | 4854 48387 208477 | 2147483647 83910 248 | 0.062 % |
66.21/66.38 c | 84149 | 4854 48387 208477 | 2147483647 84143 248 | 0.062 % |
66.61/66.72 c | 84406 | 4854 48387 208477 | 2147483647 84400 248 | 0.062 % |
66.81/67.00 c | 84688 | 4854 48387 208477 | 2147483647 84682 248 | 0.062 % |
67.11/67.25 c | 84998 | 4854 48387 208477 | 2147483647 84992 247 | 0.062 % |
67.31/67.49 c | 85339 | 4854 48387 208477 | 2147483647 85333 247 | 0.062 % |
67.61/67.73 c | 85713 | 4854 48387 208477 | 2147483647 85707 247 | 0.062 % |
67.81/67.93 c | 86122 | 4854 48387 208477 | 2147483647 86116 247 | 0.063 % |
68.31/68.43 c | 86578 | 4854 48387 208477 | 2147483647 86572 247 | 0.062 % |
69.31/69.41 c | 87071 | 4854 48387 208477 | 2147483647 87065 248 | 0.062 % |
70.51/70.70 c | 87616 | 4854 48387 208477 | 2147483647 87610 248 | 0.062 % |
71.91/72.05 c | 88213 | 4854 48387 208477 | 2147483647 88207 249 | 0.062 % |
72.70/72.84 c | 88877 | 4854 48387 208477 | 2147483647 88871 250 | 0.062 % |
73.40/73.55 c | 89597 | 4854 48387 208477 | 2147483647 89591 250 | 0.062 % |
74.81/74.97 c | 90391 | 4854 48387 208477 | 2147483647 90385 250 | 0.062 % |
76.30/76.44 c | 91263 | 4854 48387 208477 | 2147483647 91257 251 | 0.062 % |
78.50/78.65 c | 92221 | 4854 48387 208477 | 2147483647 92215 252 | 0.062 % |
80.11/80.27 c | 93274 | 4854 48387 208477 | 2147483647 93268 252 | 0.062 % |
80.20/80.39 c | 93376 | 4854 48387 208477 | 2147483647 93370 253 | 0.062 % |
80.30/80.44 c | 93486 | 4854 48387 208477 | 2147483647 93480 253 | 0.062 % |
80.40/80.53 c | 93609 | 4854 48387 208477 | 2147483647 93603 252 | 0.062 % |
80.50/80.65 c | 93742 | 4854 48387 208477 | 2147483647 93736 252 | 0.062 % |
80.70/80.81 c | 93891 | 4854 48387 208477 | 2147483647 93885 252 | 0.062 % |
80.90/81.00 c | 94051 | 4854 48387 208477 | 2147483647 94045 252 | 0.062 % |
81.10/81.24 c | 94233 | 4854 48387 208477 | 2147483647 94227 252 | 0.062 % |
81.30/81.47 c | 94434 | 4854 48387 208477 | 2147483647 94428 252 | 0.062 % |
81.60/81.78 c | 94646 | 4854 48387 208477 | 2147483647 94640 252 | 0.062 % |
82.10/82.23 c | 94882 | 4854 48387 208477 | 2147483647 94876 253 | 0.062 % |
82.60/82.74 c | 95139 | 4854 48387 208477 | 2147483647 95133 253 | 0.062 % |
82.90/83.08 c | 95422 | 4854 48387 208477 | 2147483647 95416 253 | 0.062 % |
83.40/83.55 c | 95734 | 4854 48387 208477 | 2147483647 95728 253 | 0.062 % |
84.00/84.15 c | 96074 | 4854 48387 208477 | 2147483647 96068 253 | 0.062 % |
84.80/84.95 c | 96447 | 4854 48387 208477 | 2147483647 96441 254 | 0.062 % |
85.60/85.76 c | 96857 | 4854 48387 208477 | 2147483647 96851 254 | 0.062 % |
86.30/86.44 c | 97307 | 4854 48387 208477 | 2147483647 97301 255 | 0.062 % |
86.71/86.88 c | 97804 | 4854 48387 208477 | 2147483647 97798 254 | 0.062 % |
87.20/87.35 c | 98350 | 4854 48387 208477 | 2147483647 98344 254 | 0.062 % |
87.80/87.98 c | 98947 | 4854 48387 208477 | 2147483647 98941 254 | 0.062 % |
89.10/89.24 c | 99602 | 4854 48387 208477 | 2147483647 99596 255 | 0.062 % |
90.39/90.58 c | 100325 | 4854 48387 208477 | 2147483647 100319 256 | 0.062 % |
91.69/91.85 c | 101122 | 4854 48387 208477 | 2147483647 101116 256 | 0.062 % |
93.09/93.22 c | 101998 | 4854 48387 208477 | 2147483647 101992 256 | 0.062 % |
94.30/94.46 c | 102957 | 4854 48387 208477 | 2147483647 102951 257 | 0.062 % |
96.20/96.36 c | 104012 | 4854 48387 208477 | 2147483647 104006 258 | 0.062 % |
97.39/97.57 c | 105172 | 4854 48387 208477 | 2147483647 105166 258 | 0.062 % |
97.49/97.68 c | 105272 | 4854 48387 208477 | 2147483647 105266 258 | 0.062 % |
97.70/97.83 c | 105385 | 4854 48387 208477 | 2147483647 105379 258 | 0.062 % |
97.89/98.03 c | 105512 | 4854 48387 208477 | 2147483647 105506 258 | 0.062 % |
97.99/98.17 c | 105645 | 4854 48387 208477 | 2147483647 105639 258 | 0.062 % |
98.19/98.30 c | 105792 | 4854 48387 208477 | 2147483647 105786 258 | 0.062 % |
98.29/98.47 c | 105953 | 4854 48387 208477 | 2147483647 105947 258 | 0.062 % |
98.59/98.71 c | 106129 | 4854 48387 208477 | 2147483647 106123 258 | 0.062 % |
98.90/99.01 c | 106322 | 4854 48387 208477 | 2147483647 106316 258 | 0.062 % |
99.30/99.47 c | 106545 | 4854 48387 208477 | 2147483647 106539 258 | 0.062 % |
99.79/99.92 c | 106779 | 4854 48387 208477 | 2147483647 106773 258 | 0.062 % |
100.29/100.42 c | 107035 | 4854 48387 208477 | 2147483647 107029 258 | 0.062 % |
100.79/100.99 c | 107320 | 4854 48387 208477 | 2147483647 107314 258 | 0.062 % |
101.39/101.57 c | 107641 | 4854 48387 208477 | 2147483647 107635 258 | 0.062 % |
101.79/101.97 c | 107984 | 4854 48387 208477 | 2147483647 107978 258 | 0.062 % |
102.19/102.40 c | 108358 | 4854 48387 208477 | 2147483647 108352 258 | 0.062 % |
102.59/102.77 c | 108769 | 4854 48387 208477 | 2147483647 108763 257 | 0.062 % |
102.99/103.14 c | 109218 | 4854 48387 208477 | 2147483647 109212 257 | 0.062 % |
103.29/103.46 c | 109711 | 4854 48387 208477 | 2147483647 109705 257 | 0.062 % |
104.09/104.24 c | 110253 | 4854 48387 208477 | 2147483647 110247 256 | 0.062 % |
104.89/105.02 c | 110850 | 4854 48387 208477 | 2147483647 110844 256 | 0.062 % |
106.09/106.28 c | 111507 | 4854 48387 208477 | 2147483647 111501 257 | 0.062 % |
107.69/107.81 c | 112230 | 4854 48387 208477 | 2147483647 112224 257 | 0.062 % |
109.98/110.15 c | 113026 | 4854 48387 208477 | 2147483647 113020 257 | 0.062 % |
111.49/111.69 c | 113903 | 4854 48387 208477 | 2147483647 113897 257 | 0.062 % |
113.49/113.68 c | 114861 | 4854 48387 208477 | 2147483647 114855 257 | 0.062 % |
115.18/115.35 c | 115914 | 4854 48387 208477 | 2147483647 115908 257 | 0.062 % |
116.58/116.77 c | 117076 | 4854 48387 208477 | 2147483647 117070 256 | 0.062 % |
118.69/118.80 c | 118353 | 4854 48387 208477 | 2147483647 118347 256 | 0.062 % |
118.89/119.01 c | 118459 | 4854 48387 208477 | 2147483647 118453 256 | 0.062 % |
118.98/119.13 c | 118570 | 4854 48387 208477 | 2147483647 118564 256 | 0.062 % |
119.48/119.61 c | 118691 | 4854 48387 208477 | 2147483647 118685 256 | 0.062 % |
119.88/120.05 c | 118824 | 4854 48387 208477 | 2147483647 118818 256 | 0.062 % |
120.18/120.38 c | 118970 | 4854 48387 208477 | 2147483647 118964 256 | 0.062 % |
120.68/120.84 c | 119131 | 4854 48387 208477 | 2147483647 119125 256 | 0.062 % |
121.08/121.26 c | 119307 | 4854 48387 208477 | 2147483647 119301 256 | 0.062 % |
121.38/121.57 c | 119501 | 4854 48387 208477 | 2147483647 119495 256 | 0.062 % |
121.98/122.13 c | 119713 | 4854 48387 208477 | 2147483647 119707 256 | 0.062 % |
122.38/122.51 c | 119952 | 4854 48387 208477 | 2147483647 119946 256 | 0.062 % |
122.69/122.90 c | 120208 | 4854 48387 208477 | 2147483647 120202 256 | 0.062 % |
123.09/123.28 c | 120489 | 4854 48387 208477 | 2147483647 120483 257 | 0.062 % |
123.68/123.83 c | 120800 | 4854 48387 208477 | 2147483647 120794 256 | 0.062 % |
124.19/124.35 c | 121140 | 4854 48387 208477 | 2147483647 121134 257 | 0.062 % |
124.68/124.84 c | 121513 | 4854 48387 208477 | 2147483647 121507 257 | 0.062 % |
125.48/125.65 c | 121925 | 4854 48387 208477 | 2147483647 121919 256 | 0.062 % |
126.68/126.82 c | 122376 | 4854 48387 208477 | 2147483647 122370 257 | 0.062 % |
128.07/128.21 c | 122869 | 4854 48387 208477 | 2147483647 122863 257 | 0.062 % |
128.97/129.12 c | 123413 | 4854 48387 208477 | 2147483647 123407 257 | 0.062 % |
129.97/130.15 c | 124010 | 4854 48387 208477 | 2147483647 124004 257 | 0.062 % |
131.68/131.83 c | 124668 | 4854 48387 208477 | 2147483647 124662 257 | 0.062 % |
134.08/134.29 c | 125388 | 4854 48387 208477 | 2147483647 125382 257 | 0.062 % |
135.97/136.16 c | 126183 | 4854 48387 208477 | 2147483647 126177 257 | 0.062 % |
138.07/138.20 c | 127054 | 4854 48387 208477 | 2147483647 127048 257 | 0.062 % |
140.58/140.73 c | 128012 | 4854 48387 208477 | 2147483647 128006 257 | 0.062 % |
142.48/142.62 c | 129065 | 4854 48387 208477 | 2147483647 129059 257 | 0.062 % |
145.17/145.32 c | 130223 | 4854 48387 208477 | 2147483647 130217 257 | 0.062 % |
148.07/148.24 c | 131496 | 4854 48387 208477 | 2147483647 131490 257 | 0.062 % |
150.97/151.15 c | 132898 | 4854 48387 208477 | 2147483647 132892 257 | 0.062 % |
151.37/151.54 c | 132998 | 4854 48387 208477 | 2147483647 132992 257 | 0.062 % |
151.57/151.78 c | 133110 | 4854 48387 208477 | 2147483647 133104 257 | 0.062 % |
151.87/152.05 c | 133231 | 4854 48387 208477 | 2147483647 133225 257 | 0.062 % |
152.07/152.28 c | 133366 | 4854 48387 208477 | 2147483647 133360 257 | 0.062 % |
152.37/152.51 c | 133512 | 4854 48387 208477 | 2147483647 133506 257 | 0.062 % |
152.67/152.87 c | 133672 | 4854 48387 208477 | 2147483647 133666 257 | 0.062 % |
153.17/153.36 c | 133850 | 4854 48387 208477 | 2147483647 133844 257 | 0.062 % |
153.57/153.77 c | 134045 | 4854 48387 208477 | 2147483647 134039 257 | 0.062 % |
154.07/154.26 c | 134257 | 4854 48387 208477 | 2147483647 134251 257 | 0.062 % |
154.67/154.80 c | 134490 | 4854 48387 208477 | 2147483647 134484 257 | 0.062 % |
155.27/155.42 c | 134748 | 4854 48387 208477 | 2147483647 134742 257 | 0.062 % |
155.97/156.15 c | 135030 | 4854 48387 208477 | 2147483647 135024 257 | 0.062 % |
157.07/157.24 c | 135341 | 4854 48387 208477 | 2147483647 135335 258 | 0.062 % |
157.76/157.91 c | 135681 | 4854 48387 208477 | 2147483647 135675 258 | 0.062 % |
158.46/158.68 c | 136063 | 4854 48387 208477 | 2147483647 136057 257 | 0.062 % |
159.37/159.58 c | 136473 | 4854 48387 208477 | 2147483647 136467 257 | 0.062 % |
160.06/160.28 c | 136926 | 4854 48387 208477 | 2147483647 136920 257 | 0.062 % |
161.07/161.30 c | 137420 | 4854 48387 208477 | 2147483647 137414 257 | 0.062 % |
162.76/162.98 c | 137967 | 4854 48387 208477 | 2147483647 137961 257 | 0.062 % |
164.16/164.39 c | 138563 | 4854 48387 208477 | 2147483647 138557 257 | 0.062 % |
165.97/166.17 c | 139221 | 4854 48387 208477 | 2147483647 139215 257 | 0.062 % |
167.66/167.80 c | 139941 | 4854 48387 208477 | 2147483647 139935 257 | 0.062 % |
169.56/169.71 c | 140733 | 4854 48387 208477 | 139995 140727 257 | 0.062 % |
170.96/171.12 c | 141609 | 4854 48387 208477 | 139995 125619 255 | 0.062 % |
172.16/172.31 c | 142568 | 4854 48387 208477 | 139995 126578 255 | 0.062 % |
174.05/174.28 c | 143621 | 4854 48387 208477 | 139995 127631 255 | 0.062 % |
176.45/176.64 c | 144781 | 4854 48387 208477 | 139995 128791 255 | 0.062 % |
178.55/178.79 c | 146054 | 4854 48387 208477 | 139995 130064 255 | 0.062 % |
181.05/181.25 c | 147457 | 4854 48387 208477 | 139995 131467 255 | 0.062 % |
183.85/184.05 c | 149008 | 4854 48387 208477 | 139995 133018 254 | 0.062 % |
184.15/184.31 c | 149110 | 4854 48387 208477 | 139995 133120 254 | 0.062 % |
184.35/184.57 c | 149220 | 4854 48387 208477 | 139995 133230 254 | 0.062 % |
184.65/184.81 c | 149345 | 4854 48387 208477 | 139995 133355 254 | 0.062 % |
185.05/185.27 c | 149480 | 4854 48387 208477 | 139995 133490 254 | 0.062 % |
185.56/185.78 c | 149626 | 4854 48387 208477 | 139995 133636 254 | 0.062 % |
185.96/186.12 c | 149788 | 4854 48387 208477 | 139995 133798 254 | 0.062 % |
186.36/186.55 c | 149968 | 4854 48387 208477 | 139995 133978 254 | 0.062 % |
186.86/187.01 c | 150161 | 4854 48387 208477 | 2147483647 134171 254 | 0.062 % |
187.36/187.52 c | 150374 | 4854 48387 208477 | 2147483647 134384 254 | 0.062 % |
188.26/188.48 c | 150608 | 4854 48387 208477 | 2147483647 134618 254 | 0.062 % |
188.86/189.10 c | 150872 | 4854 48387 208477 | 2147483647 134882 254 | 0.062 % |
189.76/189.94 c | 151153 | 4854 48387 208477 | 2147483647 135163 254 | 0.062 % |
190.56/190.78 c | 151463 | 4854 48387 208477 | 2147483647 135473 254 | 0.062 % |
191.16/191.34 c | 151803 | 4854 48387 208477 | 2147483647 135813 254 | 0.062 % |
192.16/192.39 c | 152175 | 4854 48387 208477 | 2147483647 136185 254 | 0.062 % |
193.16/193.40 c | 152584 | 4854 48387 208477 | 2147483647 136594 254 | 0.062 % |
193.95/194.17 c | 153034 | 4854 48387 208477 | 2147483647 137044 254 | 0.062 % |
194.75/194.95 c | 153527 | 4854 48387 208477 | 2147483647 137537 254 | 0.062 % |
195.75/195.90 c | 154079 | 4854 48387 208477 | 2147483647 138089 254 | 0.062 % |
196.76/196.96 c | 154675 | 4854 48387 208477 | 2147483647 138685 254 | 0.062 % |
198.55/198.79 c | 155332 | 4854 48387 208477 | 2147483647 139342 254 | 0.062 % |
200.35/200.51 c | 156053 | 4854 48387 208477 | 2147483647 140063 254 | 0.062 % |
202.25/202.47 c | 156845 | 4854 48387 208477 | 2147483647 140855 253 | 0.062 % |
203.65/203.86 c | 157716 | 4854 48387 208477 | 2147483647 141726 253 | 0.062 % |
206.25/206.42 c | 158674 | 4854 48387 208477 | 2147483647 142684 253 | 0.062 % |
208.14/208.39 c | 159727 | 4854 48387 208477 | 2147483647 143737 253 | 0.062 % |
210.04/210.27 c | 160885 | 4854 48387 208477 | 144010 129984 249 | 0.062 % |
212.15/212.36 c | 162158 | 4854 48387 208477 | 144010 131257 249 | 0.062 % |
215.94/216.18 c | 163559 | 4854 48387 208477 | 144010 132658 248 | 0.062 % |
219.64/219.89 c | 165099 | 4854 48387 208477 | 144010 134198 248 | 0.062 % |
224.14/224.35 c | 166802 | 4854 48387 208477 | 144010 135901 247 | 0.062 % |
224.24/224.49 c | 166902 | 4854 48387 208477 | 144010 136001 247 | 0.062 % |
224.44/224.69 c | 167013 | 4854 48387 208477 | 144010 136112 247 | 0.062 % |
224.74/224.95 c | 167141 | 4854 48387 208477 | 144010 136240 247 | 0.062 % |
224.94/225.16 c | 167276 | 4854 48387 208477 | 144010 136375 247 | 0.062 % |
225.24/225.41 c | 167426 | 4854 48387 208477 | 144010 136525 247 | 0.062 % |
225.64/225.80 c | 167587 | 4854 48387 208477 | 144010 136686 247 | 0.062 % |
225.94/226.15 c | 167765 | 4854 48387 208477 | 144010 136864 246 | 0.062 % |
226.24/226.45 c | 167959 | 4854 48387 208477 | 144010 137058 246 | 0.062 % |
226.53/226.70 c | 168171 | 4854 48387 208477 | 144010 137270 246 | 0.062 % |
227.13/227.38 c | 168406 | 4854 48387 208477 | 144010 137505 246 | 0.062 % |
227.93/228.15 c | 168666 | 4854 48387 208477 | 144010 137765 246 | 0.062 % |
228.64/228.82 c | 168947 | 4854 48387 208477 | 144010 138046 246 | 0.062 % |
229.13/229.33 c | 169257 | 4854 48387 208477 | 144010 138356 246 | 0.062 % |
229.64/229.89 c | 169599 | 4854 48387 208477 | 144010 138698 246 | 0.062 % |
230.43/230.64 c | 169971 | 4854 48387 208477 | 144010 139070 246 | 0.062 % |
231.03/231.28 c | 170385 | 4854 48387 208477 | 139099 139484 246 | 0.062 % |
231.94/232.11 c | 170838 | 4854 48387 208477 | 139099 125989 243 | 0.062 % |
232.53/232.75 c | 171332 | 4854 48387 208477 | 139099 126483 243 | 0.062 % |
233.53/233.74 c | 171874 | 4854 48387 208477 | 139099 127025 243 | 0.062 % |
234.43/234.63 c | 172470 | 4854 48387 208477 | 139099 127621 243 | 0.062 % |
235.43/235.67 c | 173128 | 4854 48387 208477 | 139099 128279 243 | 0.062 % |
236.63/236.81 c | 173858 | 4854 48387 208477 | 139099 129009 242 | 0.062 % |
238.13/238.36 c | 174652 | 4854 48387 208477 | 139099 129803 242 | 0.062 % |
239.83/240.08 c | 175524 | 4854 48387 208477 | 139099 130675 242 | 0.062 % |
241.53/241.78 c | 176483 | 4854 48387 208477 | 139099 131634 241 | 0.062 % |
244.63/244.82 c | 177536 | 4854 48387 208477 | 139099 132687 241 | 0.062 % |
246.83/247.08 c | 178694 | 4854 48387 208477 | 139099 133845 241 | 0.062 % |
249.82/250.10 c | 179974 | 4854 48387 208477 | 139099 135125 240 | 0.062 % |
252.32/252.53 c | 181374 | 4854 48387 208477 | 2147483647 136525 240 | 0.062 % |
255.82/256.03 c | 182915 | 4854 48387 208477 | 2147483647 138066 240 | 0.062 % |
260.02/260.27 c | 184611 | 4854 48387 208477 | 2147483647 139762 240 | 0.062 % |
264.22/264.45 c | 186477 | 4854 48387 208477 | 2147483647 141628 240 | 0.062 % |
264.52/264.70 c | 186579 | 4854 48387 208477 | 2147483647 141730 240 | 0.062 % |
264.82/265.09 c | 186690 | 4854 48387 208477 | 2147483647 141841 240 | 0.062 % |
265.02/265.26 c | 186811 | 4854 48387 208477 | 2147483647 141962 240 | 0.062 % |
265.22/265.40 c | 186944 | 4854 48387 208477 | 2147483647 142095 240 | 0.062 % |
265.42/265.65 c | 187094 | 4854 48387 208477 | 2147483647 142245 240 | 0.062 % |
266.02/266.27 c | 187264 | 4854 48387 208477 | 2147483647 142415 239 | 0.062 % |
266.52/266.70 c | 187440 | 4854 48387 208477 | 2147483647 142591 239 | 0.062 % |
266.92/267.20 c | 187634 | 4854 48387 208477 | 2147483647 142785 239 | 0.062 % |
267.32/267.52 c | 187848 | 4854 48387 208477 | 2147483647 142999 239 | 0.062 % |
267.92/268.13 c | 188084 | 4854 48387 208477 | 2147483647 143235 239 | 0.062 % |
268.71/268.97 c | 188340 | 4854 48387 208477 | 2147483647 143491 239 | 0.062 % |
269.11/269.33 c | 188622 | 4854 48387 208477 | 2147483647 143773 239 | 0.062 % |
269.52/269.72 c | 188931 | 4854 48387 208477 | 2147483647 144082 239 | 0.062 % |
270.32/270.57 c | 189273 | 4854 48387 208477 | 2147483647 144424 239 | 0.062 % |
271.21/271.44 c | 189646 | 4854 48387 208477 | 2147483647 144797 239 | 0.062 % |
272.31/272.58 c | 190057 | 4854 48387 208477 | 145151 145208 238 | 0.062 % |
273.72/273.96 c | 190506 | 4854 48387 208477 | 145151 126357 229 | 0.062 % |
274.51/274.75 c | 191004 | 4854 48387 208477 | 145151 126855 229 | 0.062 % |
275.61/275.83 c | 191547 | 4854 48387 208477 | 145151 127398 229 | 0.062 % |
276.81/277.07 c | 192145 | 4854 48387 208477 | 145151 127996 229 | 0.062 % |
277.71/277.90 c | 192800 | 4854 48387 208477 | 145151 128651 229 | 0.062 % |
278.71/278.99 c | 193522 | 4854 48387 208477 | 145151 129373 228 | 0.062 % |
279.91/280.15 c | 194315 | 4854 48387 208477 | 145151 130166 228 | 0.062 % |
281.41/281.64 c | 195186 | 4854 48387 208477 | 145151 131037 228 | 0.062 % |
282.81/283.02 c | 196145 | 4854 48387 208477 | 145151 131996 227 | 0.062 % |
285.21/285.40 c | 197202 | 4854 48387 208477 | 145151 133053 227 | 0.062 % |
287.71/287.98 c | 198363 | 4854 48387 208477 | 145151 134214 226 | 0.062 % |
290.80/291.00 c | 199641 | 4854 48387 208477 | 145151 135492 225 | 0.062 % |
292.91/293.17 c | 201045 | 4854 48387 208477 | 2147483647 136896 224 | 0.062 % |
296.91/297.13 c | 202592 | 4854 48387 208477 | 2147483647 138443 224 | 0.062 % |
301.01/301.29 c | 204286 | 4854 48387 208477 | 2147483647 140137 223 | 0.062 % |
303.91/304.12 c | 206149 | 4854 48387 208477 | 2147483647 142000 223 | 0.062 % |
307.71/307.93 c | 208200 | 4854 48387 208477 | 2147483647 144051 222 | 0.062 % |
307.81/308.05 c | 208302 | 4854 48387 208477 | 2147483647 144153 222 | 0.062 % |
307.91/308.16 c | 208412 | 4854 48387 208477 | 2147483647 144263 222 | 0.062 % |
308.21/308.42 c | 208536 | 4854 48387 208477 | 2147483647 144387 223 | 0.062 % |
308.41/308.69 c | 208669 | 4854 48387 208477 | 2147483647 144520 222 | 0.062 % |
308.71/308.90 c | 208815 | 4854 48387 208477 | 2147483647 144666 222 | 0.062 % |
308.91/309.11 c | 208975 | 4854 48387 208477 | 2147483647 144826 222 | 0.062 % |
309.11/309.31 c | 209155 | 4854 48387 208477 | 2147483647 145006 222 | 0.062 % |
309.31/309.52 c | 209348 | 4854 48387 208477 | 2147483647 145199 222 | 0.062 % |
309.61/309.86 c | 209560 | 4854 48387 208477 | 2147483647 145411 222 | 0.062 % |
310.31/310.53 c | 209797 | 4854 48387 208477 | 2147483647 145648 222 | 0.062 % |
311.21/311.41 c | 210063 | 4854 48387 208477 | 145853 145914 222 | 0.062 % |
312.00/312.23 c | 210346 | 4854 48387 208477 | 145853 126126 208 | 0.062 % |
312.60/312.86 c | 210656 | 4854 48387 208477 | 145853 126436 208 | 0.062 % |
313.00/313.25 c | 210996 | 4854 48387 208477 | 145853 126776 208 | 0.062 % |
314.00/314.29 c | 211376 | 4854 48387 208477 | 145853 127156 208 | 0.062 % |
314.70/314.90 c | 211786 | 4854 48387 208477 | 145853 127566 207 | 0.062 % |
315.00/315.29 c | 212237 | 4854 48387 208477 | 145853 128017 207 | 0.062 % |
315.60/315.83 c | 212732 | 4854 48387 208477 | 145853 128512 207 | 0.062 % |
316.30/316.56 c | 213275 | 4854 48387 208477 | 145853 129055 206 | 0.062 % |
317.71/317.95 c | 213873 | 4854 48387 208477 | 145853 129653 206 | 0.062 % |
318.71/318.90 c | 214529 | 4854 48387 208477 | 145853 130309 206 | 0.062 % |
319.80/320.07 c | 215251 | 4854 48387 208477 | 145853 131031 206 | 0.062 % |
320.70/320.98 c | 216043 | 4854 48387 208477 | 145853 131823 206 | 0.062 % |
322.70/322.99 c | 216919 | 4854 48387 208477 | 145853 132699 205 | 0.062 % |
324.60/324.84 c | 217877 | 4854 48387 208477 | 145853 133657 205 | 0.062 % |
326.50/326.76 c | 218930 | 4854 48387 208477 | 145853 134710 205 | 0.062 % |
329.60/329.81 c | 220097 | 4854 48387 208477 | 135781 135877 204 | 0.062 % |
331.20/331.49 c | 221374 | 4854 48387 208477 | 135781 123214 197 | 0.062 % |
333.80/334.10 c | 222782 | 4854 48387 208477 | 135781 124622 196 | 0.062 % |
336.49/336.80 c | 224322 | 4854 48387 208477 | 135781 126162 195 | 0.062 % |
340.70/340.93 c | 226017 | 4854 48387 208477 | 135781 127857 194 | 0.062 % |
343.00/343.25 c | 227880 | 4854 48387 208477 | 135781 129720 194 | 0.062 % |
346.69/346.90 c | 229933 | 4854 48387 208477 | 135781 131773 193 | 0.062 % |
349.09/349.31 c | 232187 | 4854 48387 208477 | 2147483647 134027 192 | 0.062 % |
349.09/349.37 c | 232288 | 4854 48387 208477 | 2147483647 134128 192 | 0.062 % |
349.19/349.47 c | 232398 | 4854 48387 208477 | 2147483647 134238 192 | 0.062 % |
349.29/349.57 c | 232519 | 4854 48387 208477 | 2147483647 134359 192 | 0.062 % |
349.79/350.05 c | 232652 | 4854 48387 208477 | 2147483647 134492 192 | 0.062 % |
350.19/350.40 c | 232798 | 4854 48387 208477 | 2147483647 134638 192 | 0.062 % |
350.59/350.86 c | 232959 | 4854 48387 208477 | 2147483647 134799 192 | 0.062 % |
351.09/351.33 c | 233137 | 4854 48387 208477 | 2147483647 134977 192 | 0.062 % |
351.69/351.92 c | 233333 | 4854 48387 208477 | 2147483647 135173 192 | 0.062 % |
352.09/352.32 c | 233547 | 4854 48387 208477 | 2147483647 135387 192 | 0.062 % |
352.59/352.88 c | 233781 | 4854 48387 208477 | 2147483647 135621 192 | 0.062 % |
352.89/353.16 c | 234039 | 4854 48387 208477 | 2147483647 135879 193 | 0.062 % |
353.29/353.56 c | 234322 | 4854 48387 208477 | 2147483647 136162 193 | 0.062 % |
353.89/354.13 c | 234634 | 4854 48387 208477 | 2147483647 136474 193 | 0.062 % |
354.69/354.97 c | 234975 | 4854 48387 208477 | 2147483647 136815 193 | 0.062 % |
355.39/355.63 c | 235347 | 4854 48387 208477 | 2147483647 137187 193 | 0.062 % |
356.39/356.65 c | 235761 | 4854 48387 208477 | 2147483647 137601 193 | 0.062 % |
357.39/357.63 c | 236212 | 4854 48387 208477 | 2147483647 138052 193 | 0.062 % |
358.08/358.38 c | 236710 | 4854 48387 208477 | 2147483647 138550 192 | 0.062 % |
358.58/358.89 c | 237259 | 4854 48387 208477 | 2147483647 139099 192 | 0.062 % |
359.08/359.37 c | 237857 | 4854 48387 208477 | 2147483647 139697 192 | 0.062 % |
360.38/360.64 c | 238515 | 4854 48387 208477 | 2147483647 140355 192 | 0.062 % |
361.28/361.52 c | 239240 | 4854 48387 208477 | 2147483647 141080 191 | 0.062 % |
362.48/362.74 c | 240032 | 4854 48387 208477 | 141841 141872 191 | 0.062 % |
363.68/363.94 c | 240905 | 4854 48387 208477 | 141841 127607 181 | 0.062 % |
364.78/365.01 c | 241864 | 4854 48387 208477 | 141841 128566 181 | 0.062 % |
366.38/366.68 c | 242917 | 4854 48387 208477 | 141841 129619 180 | 0.062 % |
367.68/367.98 c | 244075 | 4854 48387 208477 | 141841 130777 180 | 0.062 % |
369.88/370.19 c | 245348 | 4854 48387 208477 | 141841 132050 181 | 0.062 % |
371.58/371.81 c | 246748 | 4854 48387 208477 | 141841 133450 181 | 0.062 % |
375.08/375.33 c | 248290 | 4854 48387 208477 | 141841 134992 182 | 0.062 % |
378.38/378.61 c | 249985 | 4854 48387 208477 | 141841 136687 183 | 0.062 % |
381.17/381.47 c | 251851 | 4854 48387 208477 | 2147483647 138553 183 | 0.062 % |
385.47/385.73 c | 253904 | 4854 48387 208477 | 2147483647 140606 183 | 0.062 % |
390.97/391.29 c | 256157 | 4854 48387 208477 | 2147483647 142859 183 | 0.062 % |
395.67/395.97 c | 258636 | 4854 48387 208477 | 2147483647 145338 182 | 0.062 % |
395.77/396.08 c | 258736 | 4854 48387 208477 | 2147483647 145438 182 | 0.062 % |
395.97/396.28 c | 258846 | 4854 48387 208477 | 2147483647 145548 182 | 0.062 % |
396.07/396.39 c | 258971 | 4854 48387 208477 | 2147483647 145673 182 | 0.062 % |
396.17/396.47 c | 259106 | 4854 48387 208477 | 2147483647 145808 182 | 0.062 % |
396.47/396.71 c | 259252 | 4854 48387 208477 | 2147483647 145954 182 | 0.062 % |
396.67/396.96 c | 259412 | 4854 48387 208477 | 2147483647 146114 182 | 0.062 % |
396.77/397.10 c | 259594 | 4854 48387 208477 | 2147483647 146296 182 | 0.062 % |
397.17/397.46 c | 259787 | 4854 48387 208477 | 2147483647 146489 182 | 0.062 % |
397.46/397.77 c | 259999 | 4854 48387 208477 | 2147483647 146701 182 | 0.062 % |
397.76/398.04 c | 260233 | 4854 48387 208477 | 146702 146935 182 | 0.062 % |
398.26/398.58 c | 260490 | 4854 48387 208477 | 146702 123628 170 | 0.062 % |
398.76/399.09 c | 260773 | 4854 48387 208477 | 146702 123911 170 | 0.062 % |
399.26/399.55 c | 261086 | 4854 48387 208477 | 146702 124224 170 | 0.062 % |
400.07/400.38 c | 261425 | 4854 48387 208477 | 146702 124563 169 | 0.062 % |
400.96/401.23 c | 261797 | 4854 48387 208477 | 146702 124935 169 | 0.062 % |
401.76/402.05 c | 262208 | 4854 48387 208477 | 146702 125346 169 | 0.062 % |
402.56/402.85 c | 262657 | 4854 48387 208477 | 146702 125795 169 | 0.062 % |
403.66/403.95 c | 263154 | 4854 48387 208477 | 146702 126292 169 | 0.062 % |
404.96/405.22 c | 263696 | 4854 48387 208477 | 146702 126834 169 | 0.062 % |
405.66/405.91 c | 264292 | 4854 48387 208477 | 146702 127430 168 | 0.062 % |
406.96/407.21 c | 264947 | 4854 48387 208477 | 146702 128085 168 | 0.062 % |
408.46/408.78 c | 265667 | 4854 48387 208477 | 146702 128805 169 | 0.062 % |
410.46/410.70 c | 266463 | 4854 48387 208477 | 146702 129601 169 | 0.062 % |
412.26/412.57 c | 267336 | 4854 48387 208477 | 146702 130474 169 | 0.062 % |
414.36/414.63 c | 268295 | 4854 48387 208477 | 146702 131433 168 | 0.062 % |
415.66/415.95 c | 269348 | 4854 48387 208477 | 146702 132486 168 | 0.062 % |
418.05/418.34 c | 270510 | 4854 48387 208477 | 133138 110261 158 | 0.062 % |
420.25/420.53 c | 271783 | 4854 48387 208477 | 133138 111534 157 | 0.062 % |
422.45/422.77 c | 273183 | 4854 48387 208477 | 133138 112934 156 | 0.062 % |
424.36/424.67 c | 274728 | 4854 48387 208477 | 133138 114479 156 | 0.062 % |
425.95/426.25 c | 276426 | 4854 48387 208477 | 133138 116177 155 | 0.062 % |
428.25/428.56 c | 278290 | 4854 48387 208477 | 133138 118041 153 | 0.062 % |
431.15/431.44 c | 280344 | 4854 48387 208477 | 2147483647 120095 153 | 0.062 % |
434.35/434.67 c | 282608 | 4854 48387 208477 | 2147483647 122359 152 | 0.062 % |
437.94/438.28 c | 285087 | 4853 48325 208353 | 2147483647 123249 150 | 0.082 % |
442.14/442.40 c | 287814 | 4853 48325 208353 | 2147483647 125976 150 | 0.082 % |
442.24/442.55 c | 287915 | 4853 48325 208353 | 2147483647 126077 150 | 0.082 % |
442.34/442.60 c | 288026 | 4853 48325 208353 | 2147483647 126188 150 | 0.082 % |
442.54/442.88 c | 288147 | 4853 48325 208353 | 2147483647 126309 150 | 0.082 % |
442.64/442.97 c | 288280 | 4853 48325 208353 | 2147483647 126442 150 | 0.082 % |
442.84/443.15 c | 288426 | 4853 48325 208353 | 2147483647 126588 150 | 0.082 % |
442.95/443.30 c | 288586 | 4853 48325 208353 | 2147483647 126748 150 | 0.082 % |
443.44/443.70 c | 288766 | 4853 48325 208353 | 2147483647 126928 150 | 0.082 % |
443.74/444.04 c | 288962 | 4853 48325 208353 | 2147483647 127124 150 | 0.082 % |
444.24/444.57 c | 289174 | 4853 48325 208353 | 2147483647 127336 150 | 0.082 % |
444.64/444.96 c | 289408 | 4853 48325 208353 | 2147483647 127570 149 | 0.082 % |
445.15/445.45 c | 289666 | 4853 48325 208353 | 2147483647 127828 149 | 0.082 % |
445.54/445.81 c | 289947 | 4853 48325 208353 | 2147483647 128109 149 | 0.082 % |
446.04/446.35 c | 290257 | 4853 48325 208353 | 2147483647 128419 149 | 0.082 % |
446.54/446.80 c | 290599 | 4853 48325 208353 | 2147483647 128761 149 | 0.082 % |
447.24/447.57 c | 290975 | 4853 48325 208353 | 2147483647 129137 149 | 0.082 % |
447.94/448.27 c | 291387 | 4853 48325 208353 | 2147483647 129549 149 | 0.082 % |
448.94/449.27 c | 291837 | 4853 48325 208353 | 2147483647 129999 148 | 0.082 % |
449.84/450.18 c | 292330 | 4853 48325 208353 | 2147483647 130492 148 | 0.082 % |
450.74/451.05 c | 292872 | 4853 48325 208353 | 2147483647 131034 148 | 0.082 % |
451.64/451.95 c | 293471 | 4853 48325 208353 | 2147483647 131633 147 | 0.082 % |
452.54/452.87 c | 294127 | 4853 48325 208353 | 2147483647 132289 147 | 0.082 % |
453.44/453.79 c | 294847 | 4853 48325 208353 | 2147483647 133009 146 | 0.082 % |
454.54/454.87 c | 295641 | 4853 48325 208353 | 2147483647 133803 146 | 0.082 % |
455.84/456.10 c | 296512 | 4853 48325 208353 | 2147483647 134674 146 | 0.082 % |
457.24/457.55 c | 297473 | 4853 48325 208353 | 2147483647 135635 146 | 0.082 % |
459.13/459.50 c | 298529 | 4853 48325 208353 | 2147483647 136691 145 | 0.082 % |
460.83/461.14 c | 299689 | 4853 48325 208353 | 2147483647 137851 145 | 0.082 % |
462.43/462.74 c | 300963 | 4853 48325 208353 | 2147483647 139125 144 | 0.082 % |
464.23/464.53 c | 302363 | 4853 48325 208353 | 2147483647 140525 143 | 0.082 % |
466.53/466.85 c | 303903 | 4853 48325 208353 | 2147483647 142065 142 | 0.082 % |
469.13/469.44 c | 305597 | 4853 48325 208353 | 2147483647 143759 141 | 0.082 % |
470.03/470.40 c ===============================================================================
470.03/470.40 c restarts : 699
470.03/470.40 c conflicts : 306026 (655 /sec)
470.03/470.40 c decisions : 1007592 (1.62 % random) (2156 /sec)
470.03/470.40 c propagations : 91278143 (195271 /sec)
470.03/470.40 c conflict literals : 63324032 (34.50 % deleted)
470.13/470.40 c Memory used : 155.94 MB
470.13/470.40 c CPU time : 467.443 s
470.13/470.40 c
470.13/470.40 s UNSATISFIABLE
470.13/470.42 s UNSATISFIABLE
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1837238-1242864439/watcher-1837238-1242864439 -o /tmp/evaluation-result-1837238-1242864439/solver-1837238-1242864439 -C 10000 -W 12000 -M 1800 SatELiteGTI HOME/instance-1837238-1242864439.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 10000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 10030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 12000 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 0.99 0.91 3/64 16467
/proc/meminfo: memFree=1848032/2055920 swapFree=4179860/4192956
[pid=16467] ppid=16465 vsize=5356 CPUtime=0
/proc/16467/stat : 16467 (SatELiteGTI) S 16465 16467 16154 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 314470310 5484544 235 1992294400 4194304 4889804 548682068816 18446744073709551615 227607806034 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/16467/statm: 1339 235 195 169 0 50 0
[pid=16468] ppid=16467 vsize=5356 CPUtime=0
/proc/16468/stat : 16468 (SatELiteGTI) S 16467 16467 16154 0 -1 4194368 51 25 0 0 0 0 0 0 18 0 1 0 314470310 5484544 238 1992294400 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4096 65538 18446744071563356171 0 0 17 0 0 0
/proc/16468/statm: 1339 238 198 169 0 50 0
[pid=16470] ppid=16468 vsize=5356 CPUtime=0
/proc/16470/stat : 16470 (SatELiteGTI) R 16468 16467 16154 0 -1 4194368 19 0 0 0 0 0 0 0 18 0 1 0 314470310 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 227607637287 0 0 4096 0 0 0 0 17 1 0 0
/proc/16470/statm: 1339 239 199 169 0 50 0
[startup+0.0223209 s]
/proc/loadavg: 1.00 0.99 0.91 3/64 16467
/proc/meminfo: memFree=1848032/2055920 swapFree=4179860/4192956
[pid=16467] ppid=16465 vsize=5356 CPUtime=0
/proc/16467/stat : 16467 (SatELiteGTI) S 16465 16467 16154 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 314470310 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16467/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.102322 s]
/proc/loadavg: 1.00 0.99 0.91 3/64 16467
/proc/meminfo: memFree=1848032/2055920 swapFree=4179860/4192956
[pid=16467] ppid=16465 vsize=5356 CPUtime=0
/proc/16467/stat : 16467 (SatELiteGTI) S 16465 16467 16154 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 314470310 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16467/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301362 s]
/proc/loadavg: 1.00 0.99 0.91 3/64 16467
/proc/meminfo: memFree=1848032/2055920 swapFree=4179860/4192956
[pid=16467] ppid=16465 vsize=5356 CPUtime=0
/proc/16467/stat : 16467 (SatELiteGTI) S 16465 16467 16154 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 314470310 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16467/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.70244 s]
/proc/loadavg: 1.00 0.99 0.91 3/64 16467
/proc/meminfo: memFree=1848032/2055920 swapFree=4179860/4192956
[pid=16467] ppid=16465 vsize=5356 CPUtime=0
/proc/16467/stat : 16467 (SatELiteGTI) S 16465 16467 16154 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 314470310 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16467/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+1.5016 s]
/proc/loadavg: 1.00 0.99 0.91 2/66 16472
/proc/meminfo: memFree=1825424/2055920 swapFree=4179860/4192956
[pid=16467] ppid=16465 vsize=5356 CPUtime=0
/proc/16467/stat : 16467 (SatELiteGTI) S 16465 16467 16154 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 314470310 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16467/statm: 1339 237 197 169 0 50 0
[pid=16472] ppid=16467 vsize=21820 CPUtime=1.49
/proc/16472/stat : 16472 (SatELite_releas) R 16467 16467 16154 0 -1 4194304 5035 0 0 0 143 6 0 0 25 0 1 0 314470311 22343680 4708 1992294400 134512640 135223648 4294956128 18446744073709551615 134737406 0 0 4096 3 0 0 0 17 1 0 0
/proc/16472/statm: 5455 4708 76 173 0 5280 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 27176
[startup+3.10192 s]
/proc/loadavg: 1.00 0.99 0.91 2/66 16472
/proc/meminfo: memFree=1819088/2055920 swapFree=4179860/4192956
[pid=16467] ppid=16465 vsize=5356 CPUtime=2.35
/proc/16467/stat : 16467 (SatELiteGTI) S 16465 16467 16154 0 -1 4194304 336 6180 0 0 0 0 227 8 16 0 1 0 314470310 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16467/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 2.35
Current children cumulated vsize (KiB) 5356
heavy processes:
[startup+6.30154 s]
/proc/loadavg: 1.00 0.99 0.91 2/66 16473
/proc/meminfo: memFree=1826192/2055920 swapFree=4179860/4192956
[pid=16467] ppid=16465 vsize=5356 CPUtime=2.35
/proc/16467/stat : 16467 (SatELiteGTI) S 16465 16467 16154 0 -1 4194304 336 6180 0 0 0 0 227 8 16 0 1 0 314470310 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16467/statm: 1339 239 197 169 0 50 0
[pid=16473] ppid=16467 vsize=13896 CPUtime=3.91
/proc/16473/stat : 16473 (minisat_static) R 16467 16467 16154 0 -1 4194304 3345 0 0 0 389 2 0 0 25 0 1 0 314470548 14229504 3331 1992294400 134512640 135215339 4294956240 18446744073709551615 134538488 0 0 4096 3 0 0 0 17 1 0 0
/proc/16473/statm: 3474 3331 77 171 0 3301 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 19252
[startup+12.7018 s]
/proc/loadavg: 1.00 0.99 0.91 2/66 16473
/proc/meminfo: memFree=1813344/2055920 swapFree=4179860/4192956
[pid=16467] ppid=16465 vsize=5356 CPUtime=2.35
/proc/16467/stat : 16467 (SatELiteGTI) S 16465 16467 16154 0 -1 4194304 336 6180 0 0 0 0 227 8 16 0 1 0 314470310 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16467/statm: 1339 239 197 169 0 50 0
[pid=16473] ppid=16467 vsize=25912 CPUtime=10.31
/proc/16473/stat : 16473 (minisat_static) R 16467 16467 16154 0 -1 4194304 6353 0 0 0 1027 4 0 0 25 0 1 0 314470548 26533888 6339 1992294400 134512640 135215339 4294956240 18446744073709551615 134528809 0 0 4096 3 0 0 0 17 1 0 0
/proc/16473/statm: 6478 6339 77 171 0 6305 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 31268
[startup+25.5013 s]
/proc/loadavg: 1.00 0.99 0.91 2/66 16473
/proc/meminfo: memFree=1791456/2055920 swapFree=4179860/4192956
[pid=16467] ppid=16465 vsize=5356 CPUtime=2.35
/proc/16467/stat : 16467 (SatELiteGTI) S 16465 16467 16154 0 -1 4194304 336 6180 0 0 0 0 227 8 16 0 1 0 314470310 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16467/statm: 1339 239 197 169 0 50 0
[pid=16473] ppid=16467 vsize=46884 CPUtime=23.09
/proc/16473/stat : 16473 (minisat_static) R 16467 16467 16154 0 -1 4194304 11594 0 0 0 2302 7 0 0 25 0 1 0 314470548 48009216 11580 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/16473/statm: 11721 11580 77 171 0 11548 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 52240
[startup+51.1023 s]
/proc/loadavg: 1.00 0.99 0.91 2/66 16473
/proc/meminfo: memFree=1761568/2055920 swapFree=4179860/4192956
[pid=16467] ppid=16465 vsize=5356 CPUtime=2.35
/proc/16467/stat : 16467 (SatELiteGTI) S 16465 16467 16154 0 -1 4194304 336 6180 0 0 0 0 227 8 16 0 1 0 314470310 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16467/statm: 1339 239 197 169 0 50 0
[pid=16473] ppid=16467 vsize=77132 CPUtime=48.67
/proc/16473/stat : 16473 (minisat_static) R 16467 16467 16154 0 -1 4194304 19141 0 0 0 4853 14 0 0 25 0 1 0 314470548 78983168 19127 1992294400 134512640 135215339 4294956240 18446744073709551615 134532952 0 0 4096 3 0 0 0 17 1 0 0
/proc/16473/statm: 19283 19127 77 171 0 19110 0
Current children cumulated CPU time (s) 51.02
Current children cumulated vsize (KiB) 82488
[startup+102.306 s]
/proc/loadavg: 1.00 0.99 0.91 2/66 16473
/proc/meminfo: memFree=1717152/2055920 swapFree=4179860/4192956
[pid=16467] ppid=16465 vsize=5356 CPUtime=2.35
/proc/16467/stat : 16467 (SatELiteGTI) S 16465 16467 16154 0 -1 4194304 336 6180 0 0 0 0 227 8 16 0 1 0 314470310 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16467/statm: 1339 239 197 169 0 50 0
[pid=16473] ppid=16467 vsize=120888 CPUtime=99.84
/proc/16473/stat : 16473 (minisat_static) R 16467 16467 16154 0 -1 4194304 30057 0 0 0 9960 24 0 0 25 0 1 0 314470548 123789312 30043 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/16473/statm: 30222 30043 77 171 0 30049 0
Current children cumulated CPU time (s) 102.19
Current children cumulated vsize (KiB) 126244
[startup+162.301 s]
/proc/loadavg: 1.00 0.99 0.91 2/66 16473
/proc/meminfo: memFree=1685216/2055920 swapFree=4179860/4192956
[pid=16467] ppid=16465 vsize=5356 CPUtime=2.35
/proc/16467/stat : 16467 (SatELiteGTI) S 16465 16467 16154 0 -1 4194304 336 6180 0 0 0 0 227 8 16 0 1 0 314470310 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16467/statm: 1339 239 197 169 0 50 0
[pid=16473] ppid=16467 vsize=153004 CPUtime=159.82
/proc/16473/stat : 16473 (minisat_static) R 16467 16467 16154 0 -1 4194304 38059 0 0 0 15950 32 0 0 25 0 1 0 314470548 156676096 38045 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/16473/statm: 38251 38045 77 171 0 38078 0
Current children cumulated CPU time (s) 162.17
Current children cumulated vsize (KiB) 158360
[startup+222.302 s]
/proc/loadavg: 1.00 0.99 0.91 2/66 16473
/proc/meminfo: memFree=1679072/2055920 swapFree=4179860/4192956
[pid=16467] ppid=16465 vsize=5356 CPUtime=2.35
/proc/16467/stat : 16467 (SatELiteGTI) S 16465 16467 16154 0 -1 4194304 336 6180 0 0 0 0 227 8 16 0 1 0 314470310 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16467/statm: 1339 239 197 169 0 50 0
[pid=16473] ppid=16467 vsize=159108 CPUtime=219.79
/proc/16473/stat : 16473 (minisat_static) R 16467 16467 16154 0 -1 4194304 39527 0 0 0 21946 33 0 0 25 0 1 0 314470548 162926592 39513 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/16473/statm: 39777 39513 77 171 0 39604 0
Current children cumulated CPU time (s) 222.14
Current children cumulated vsize (KiB) 164464
[startup+282.302 s]
/proc/loadavg: 1.00 0.99 0.91 2/66 16473
/proc/meminfo: memFree=1678944/2055920 swapFree=4179860/4192956
[pid=16467] ppid=16465 vsize=5356 CPUtime=2.35
/proc/16467/stat : 16467 (SatELiteGTI) S 16465 16467 16154 0 -1 4194304 336 6180 0 0 0 0 227 8 16 0 1 0 314470310 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16467/statm: 1339 239 197 169 0 50 0
[pid=16473] ppid=16467 vsize=159108 CPUtime=279.76
/proc/16473/stat : 16473 (minisat_static) R 16467 16467 16154 0 -1 4194304 39542 0 0 0 27943 33 0 0 25 0 1 0 314470548 162926592 39528 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/16473/statm: 39777 39528 77 171 0 39604 0
Current children cumulated CPU time (s) 282.11
Current children cumulated vsize (KiB) 164464
[startup+342.302 s]
/proc/loadavg: 1.00 0.99 0.91 2/66 16473
/proc/meminfo: memFree=1678560/2055920 swapFree=4179860/4192956
[pid=16467] ppid=16465 vsize=5356 CPUtime=2.35
/proc/16467/stat : 16467 (SatELiteGTI) S 16465 16467 16154 0 -1 4194304 336 6180 0 0 0 0 227 8 16 0 1 0 314470310 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16467/statm: 1339 239 197 169 0 50 0
[pid=16473] ppid=16467 vsize=159436 CPUtime=339.74
/proc/16473/stat : 16473 (minisat_static) R 16467 16467 16154 0 -1 4194304 39608 0 0 0 33940 34 0 0 25 0 1 0 314470548 163262464 39594 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/16473/statm: 39859 39594 77 171 0 39686 0
Current children cumulated CPU time (s) 342.09
Current children cumulated vsize (KiB) 164792
[startup+402.301 s]
/proc/loadavg: 1.00 0.99 0.91 2/66 16473
/proc/meminfo: memFree=1678304/2055920 swapFree=4179860/4192956
[pid=16467] ppid=16465 vsize=5356 CPUtime=2.35
/proc/16467/stat : 16467 (SatELiteGTI) S 16465 16467 16154 0 -1 4194304 336 6180 0 0 0 0 227 8 16 0 1 0 314470310 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16467/statm: 1339 239 197 169 0 50 0
[pid=16473] ppid=16467 vsize=159680 CPUtime=399.71
/proc/16473/stat : 16473 (minisat_static) R 16467 16467 16154 0 -1 4194304 39663 0 0 0 39937 34 0 0 25 0 1 0 314470548 163512320 39649 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/16473/statm: 39920 39649 77 171 0 39747 0
Current children cumulated CPU time (s) 402.06
Current children cumulated vsize (KiB) 165036
[startup+462.301 s]
/proc/loadavg: 1.00 0.99 0.91 2/66 16473
/proc/meminfo: memFree=1678112/2055920 swapFree=4179860/4192956
[pid=16467] ppid=16465 vsize=5356 CPUtime=2.35
/proc/16467/stat : 16467 (SatELiteGTI) S 16465 16467 16154 0 -1 4194304 336 6180 0 0 0 0 227 8 16 0 1 0 314470310 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16467/statm: 1339 239 197 169 0 50 0
[pid=16473] ppid=16467 vsize=159680 CPUtime=459.68
/proc/16473/stat : 16473 (minisat_static) R 16467 16467 16154 0 -1 4194304 39672 0 0 0 45934 34 0 0 25 0 1 0 314470548 163512320 39658 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/16473/statm: 39920 39658 77 171 0 39747 0
Current children cumulated CPU time (s) 462.03
Current children cumulated vsize (KiB) 165036
Solver just ended. Dumping a history of the last processes samples
[startup+467.101 s]
/proc/loadavg: 1.00 0.99 0.91 2/66 16473
/proc/meminfo: memFree=1678112/2055920 swapFree=4179860/4192956
[pid=16467] ppid=16465 vsize=5356 CPUtime=2.35
/proc/16467/stat : 16467 (SatELiteGTI) S 16465 16467 16154 0 -1 4194304 336 6180 0 0 0 0 227 8 16 0 1 0 314470310 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16467/statm: 1339 239 197 169 0 50 0
[pid=16473] ppid=16467 vsize=159680 CPUtime=464.48
/proc/16473/stat : 16473 (minisat_static) R 16467 16467 16154 0 -1 4194304 39676 0 0 0 46414 34 0 0 25 0 1 0 314470548 163512320 39662 1992294400 134512640 135215339 4294956240 18446744073709551615 134528814 0 0 4096 3 0 0 0 17 1 0 0
/proc/16473/statm: 39920 39662 77 171 0 39747 0
Current children cumulated CPU time (s) 466.83
Current children cumulated vsize (KiB) 165036
[startup+468.701 s]
/proc/loadavg: 1.00 0.99 0.91 2/66 16473
/proc/meminfo: memFree=1678048/2055920 swapFree=4179860/4192956
[pid=16467] ppid=16465 vsize=5356 CPUtime=2.35
/proc/16467/stat : 16467 (SatELiteGTI) S 16465 16467 16154 0 -1 4194304 336 6180 0 0 0 0 227 8 16 0 1 0 314470310 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16467/statm: 1339 239 197 169 0 50 0
[pid=16473] ppid=16467 vsize=159680 CPUtime=466.08
/proc/16473/stat : 16473 (minisat_static) R 16467 16467 16154 0 -1 4194304 39681 0 0 0 46574 34 0 0 25 0 1 0 314470548 163512320 39667 1992294400 134512640 135215339 4294956240 18446744073709551615 134529099 0 0 4096 3 0 0 0 17 1 0 0
/proc/16473/statm: 39920 39667 77 171 0 39747 0
Current children cumulated CPU time (s) 468.43
Current children cumulated vsize (KiB) 165036
[startup+469.502 s]
/proc/loadavg: 1.00 0.99 0.91 2/66 16473
/proc/meminfo: memFree=1678048/2055920 swapFree=4179860/4192956
[pid=16467] ppid=16465 vsize=5356 CPUtime=2.35
/proc/16467/stat : 16467 (SatELiteGTI) S 16465 16467 16154 0 -1 4194304 336 6180 0 0 0 0 227 8 16 0 1 0 314470310 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16467/statm: 1339 239 197 169 0 50 0
[pid=16473] ppid=16467 vsize=159680 CPUtime=466.88
/proc/16473/stat : 16473 (minisat_static) R 16467 16467 16154 0 -1 4194304 39681 0 0 0 46654 34 0 0 25 0 1 0 314470548 163512320 39667 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/16473/statm: 39920 39667 77 171 0 39747 0
Current children cumulated CPU time (s) 469.23
Current children cumulated vsize (KiB) 165036
[startup+469.902 s]
/proc/loadavg: 1.00 0.99 0.91 2/66 16473
/proc/meminfo: memFree=1678048/2055920 swapFree=4179860/4192956
[pid=16467] ppid=16465 vsize=5356 CPUtime=2.35
/proc/16467/stat : 16467 (SatELiteGTI) S 16465 16467 16154 0 -1 4194304 336 6180 0 0 0 0 227 8 16 0 1 0 314470310 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16467/statm: 1339 239 197 169 0 50 0
[pid=16473] ppid=16467 vsize=159680 CPUtime=467.28
/proc/16473/stat : 16473 (minisat_static) R 16467 16467 16154 0 -1 4194304 39681 0 0 0 46694 34 0 0 25 0 1 0 314470548 163512320 39667 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/16473/statm: 39920 39667 77 171 0 39747 0
Current children cumulated CPU time (s) 469.63
Current children cumulated vsize (KiB) 165036
[startup+470.302 s]
/proc/loadavg: 1.00 0.99 0.91 2/66 16473
/proc/meminfo: memFree=1678048/2055920 swapFree=4179860/4192956
[pid=16467] ppid=16465 vsize=5356 CPUtime=2.35
/proc/16467/stat : 16467 (SatELiteGTI) S 16465 16467 16154 0 -1 4194304 336 6180 0 0 0 0 227 8 16 0 1 0 314470310 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16467/statm: 1339 239 197 169 0 50 0
[pid=16473] ppid=16467 vsize=159680 CPUtime=467.68
/proc/16473/stat : 16473 (minisat_static) R 16467 16467 16154 0 -1 4194304 39681 0 0 0 46734 34 0 0 25 0 1 0 314470548 163512320 39667 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/16473/statm: 39920 39667 77 171 0 39747 0
Current children cumulated CPU time (s) 470.03
Current children cumulated vsize (KiB) 165036
[startup+470.402 s]
/proc/loadavg: 1.00 0.99 0.91 2/66 16473
/proc/meminfo: memFree=1678048/2055920 swapFree=4179860/4192956
[pid=16467] ppid=16465 vsize=5356 CPUtime=2.35
/proc/16467/stat : 16467 (SatELiteGTI) S 16465 16467 16154 0 -1 4194304 336 6180 0 0 0 0 227 8 16 0 1 0 314470310 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16467/statm: 1339 239 197 169 0 50 0
[pid=16473] ppid=16467 vsize=159680 CPUtime=467.78
/proc/16473/stat : 16473 (minisat_static) R 16467 16467 16154 0 -1 4194304 39685 0 0 0 46744 34 0 0 25 0 1 0 314470548 163512320 39670 1992294400 134512640 135215339 4294956240 18446744073709551615 134743406 0 0 4096 3 0 0 0 17 1 0 0
/proc/16473/statm: 39920 39670 80 171 0 39747 0
Current children cumulated CPU time (s) 470.13
Current children cumulated vsize (KiB) 165036
Child status: 20
Real time (s): 470.439
CPU time (s): 470.191
CPU user time (s): 469.718
CPU system time (s): 0.472928
CPU usage (%): 99.9472
Max. virtual memory (cumulated for all children) (KiB): 165036
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 469.718
system time used= 0.472928
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 46358
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= 47
involuntary context switches= 2142
runsolver used 0.574912 second user time and 1.20482 second system time
The end
Begin job on node66 at 2009-05-21 02:07:19
IDJOB=1837238
IDBENCH=70758
IDSOLVER=674
FILE ID=node66/1837238-1242864439
PBS_JOBID= 9328515
Free space on /tmp= 66392 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/APPLICATIONS/bitverif/minxorminand/minxorminand064.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1837238-1242864439/watcher-1837238-1242864439 -o /tmp/evaluation-result-1837238-1242864439/solver-1837238-1242864439 -C 10000 -W 12000 -M 1800 SatELiteGTI HOME/instance-1837238-1242864439.cnf
TIME LIMIT= 10000 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 1394bf507e3ed448c81b5502d6550d78
RANDOM SEED=235482583
node66.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.263
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 : 5931.00
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.263
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: 1848512 kB
Buffers: 12896 kB
Cached: 149904 kB
SwapCached: 7336 kB
Active: 17944 kB
Inactive: 153704 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1848512 kB
SwapTotal: 4192956 kB
SwapFree: 4179860 kB
Dirty: 3476 kB
Writeback: 0 kB
Mapped: 13980 kB
Slab: 21800 kB
Committed_AS: 1155276 kB
PageTables: 1388 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= 66392 MiB
End job on node66 at 2009-05-21 02:15:10