0.00/0.00 c Parsing...
0.02/0.08 c ==============================================================================
0.02/0.08 c | | ORIGINAL | LEARNT | |
0.02/0.08 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.02/0.08 c ==============================================================================
0.02/0.08 c | 0 | 99699 335345 | 29909 0 0 nan | 0.000 % |
0.58/0.62 c | 0 | 99699 335365 | -- 0 -- -- | -- | 0/20
0.58/0.62 c ==============================================================================
0.58/0.62 c Result : #vars: 8709 #clauses: 99699 #literals: 335365
0.58/0.62 c CPU time: 0.604908 s
0.58/0.62 c ==============================================================================
0.68/0.73 c This is MiniSat 2.0 beta
0.68/0.73 c WARNING: for repeatability, setting FPU to use double precision
0.68/0.73 c ============================[ Problem Statistics ]=============================
0.68/0.73 c | |
0.68/0.73 c | Number of variables: 8709 |
0.68/0.73 c | Number of clauses: 99699 |
0.68/0.79 c | Parsing time: 0.05 s |
0.68/0.79 c ============================[ Search Statistics ]==============================
0.68/0.79 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.68/0.79 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.68/0.79 c ===============================================================================
0.68/0.79 c | 0 | 8709 99699 335365 | 33233 0 nan | 0.000 % |
0.71/0.82 c | 102 | 8709 99699 335365 | 33233 102 106 | 0.000 % |
0.71/0.85 c | 202 | 8709 99699 335365 | 33233 202 116 | 0.000 % |
0.71/0.91 c | 302 | 8709 99699 335365 | 33233 302 104 | 0.000 % |
0.71/0.95 c | 412 | 8709 99699 335365 | 33233 412 100 | 0.000 % |
0.71/0.97 c | 514 | 8709 99699 335365 | 33233 514 111 | 0.000 % |
0.71/0.98 c | 627 | 8709 99699 335365 | 33233 627 126 | 0.000 % |
0.71/0.99 c | 748 | 8709 99699 335365 | 33233 748 137 | 0.000 % |
0.98/1.00 c | 848 | 8709 99699 335365 | 33233 848 142 | 0.000 % |
0.98/1.01 c | 958 | 8709 99699 335365 | 33233 958 146 | 0.000 % |
0.98/1.02 c | 1081 | 8709 99699 335365 | 33233 1081 150 | 0.000 % |
0.98/1.04 c | 1214 | 8709 99699 335365 | 33233 1214 149 | 0.000 % |
0.98/1.05 c | 1314 | 8709 99699 335365 | 33233 1314 151 | 0.000 % |
0.98/1.06 c | 1426 | 8709 99699 335365 | 33233 1426 149 | 0.000 % |
0.98/1.07 c | 1548 | 8709 99699 335365 | 33233 1548 152 | 0.000 % |
0.98/1.09 c | 1681 | 8709 99699 335365 | 33233 1681 158 | 0.000 % |
1.08/1.10 c | 1827 | 8709 99699 335365 | 33233 1827 163 | 0.000 % |
1.08/1.12 c | 1927 | 8709 99699 335365 | 33233 1927 163 | 0.000 % |
1.08/1.13 c | 2037 | 8709 99699 335365 | 33233 2037 166 | 0.000 % |
1.08/1.14 c | 2159 | 8709 99699 335365 | 33233 2159 167 | 0.000 % |
1.08/1.18 c | 2292 | 8709 99699 335365 | 33233 2292 164 | 0.000 % |
1.17/1.24 c | 2440 | 8709 99699 335365 | 33233 2440 161 | 0.000 % |
1.17/1.28 c | 2600 | 8709 99699 335365 | 33233 2600 160 | 0.000 % |
1.17/1.29 c | 2701 | 8709 99699 335365 | 33233 2701 161 | 0.000 % |
1.27/1.30 c | 2811 | 8709 99699 335365 | 33233 2811 160 | 0.000 % |
1.27/1.32 c | 2932 | 8709 99699 335365 | 33233 2932 161 | 0.000 % |
1.27/1.33 c | 3065 | 8709 99699 335365 | 33233 3065 160 | 0.000 % |
1.27/1.35 c | 3212 | 8709 99699 335365 | 33233 3212 160 | 0.000 % |
1.37/1.44 c | 3374 | 8709 99699 335365 | 33233 3374 156 | 0.000 % |
1.37/1.48 c | 3553 | 8709 99699 335365 | 33233 3553 157 | 0.000 % |
1.47/1.51 c | 3653 | 8709 99699 335365 | 33233 3653 156 | 0.000 % |
1.47/1.56 c | 3763 | 8709 99699 335365 | 33233 3763 154 | 0.000 % |
1.57/1.64 c | 3884 | 8709 99699 335365 | 33233 3884 152 | 0.000 % |
1.67/1.73 c | 4017 | 8709 99699 335365 | 33233 4017 149 | 0.000 % |
1.77/1.82 c | 4163 | 8709 99699 335365 | 33233 4163 145 | 0.000 % |
1.87/1.95 c | 4323 | 8709 99699 335365 | 33233 4323 142 | 0.000 % |
1.96/2.09 c | 4499 | 8709 99699 335365 | 33233 4499 138 | 0.000 % |
2.18/2.22 c | 4692 | 8709 99699 335365 | 33233 4692 135 | 0.000 % |
2.27/2.32 c | 4792 | 8709 99699 335365 | 33233 4792 133 | 0.000 % |
2.27/2.38 c | 4902 | 8709 99699 335365 | 33233 4902 132 | 0.000 % |
2.37/2.47 c | 5023 | 8709 99699 335365 | 33233 5023 130 | 0.000 % |
2.47/2.57 c | 5156 | 8709 99699 335365 | 33233 5156 128 | 0.000 % |
2.57/2.65 c | 5302 | 8709 99699 335365 | 33233 5302 126 | 0.000 % |
2.67/2.77 c | 5462 | 8709 99699 335365 | 33233 5462 124 | 0.000 % |
2.77/2.89 c | 5638 | 8709 99699 335365 | 33233 5638 121 | 0.000 % |
2.97/3.01 c | 5831 | 8709 99699 335365 | 33233 5831 119 | 0.000 % |
3.07/3.13 c | 6043 | 8709 99699 335365 | 33233 6043 117 | 0.000 % |
3.07/3.19 c | 6143 | 8709 99699 335365 | 33233 6143 116 | 0.000 % |
3.17/3.28 c | 6253 | 8709 99699 335365 | 33233 6253 115 | 0.000 % |
3.27/3.36 c | 6374 | 8709 99699 335365 | 33233 6374 114 | 0.000 % |
3.37/3.46 c | 6508 | 8709 99699 335365 | 33233 6508 112 | 0.000 % |
3.47/3.54 c | 6654 | 8709 99699 335365 | 33233 6654 111 | 0.000 % |
3.57/3.67 c | 6814 | 8709 99699 335365 | 33233 6814 110 | 0.000 % |
3.77/3.82 c | 6990 | 8709 99699 335365 | 33233 6990 109 | 0.000 % |
3.87/3.95 c | 7183 | 8709 99699 335365 | 33233 7183 107 | 0.000 % |
4.07/4.12 c | 7396 | 8709 99699 335365 | 33233 7396 106 | 0.000 % |
4.17/4.27 c | 7629 | 8709 99699 335365 | 33233 7629 104 | 0.000 % |
4.27/4.35 c | 7729 | 8709 99699 335365 | 33233 7729 103 | 0.000 % |
4.37/4.44 c | 7840 | 8709 99699 335365 | 33233 7840 102 | 0.000 % |
4.47/4.52 c | 7961 | 8709 99699 335365 | 33233 7961 102 | 0.000 % |
4.57/4.62 c | 8094 | 8709 99699 335365 | 33233 8094 100 | 0.000 % |
4.67/4.74 c | 8241 | 8709 99699 335365 | 33233 8241 100 | 0.000 % |
4.77/4.88 c | 8401 | 8709 99699 335365 | 33233 8401 99 | 0.000 % |
4.97/5.00 c | 8577 | 8709 99699 335365 | 33233 8577 98 | 0.000 % |
5.07/5.14 c | 8771 | 8709 99699 335365 | 33233 8771 97 | 0.000 % |
5.17/5.29 c | 8983 | 8709 99699 335365 | 33233 8983 96 | 0.000 % |
5.37/5.45 c | 9216 | 8709 99699 335365 | 33233 9216 95 | 0.000 % |
5.57/5.68 c | 9472 | 8709 99699 335365 | 33233 9472 94 | 0.000 % |
5.66/5.75 c | 9575 | 8709 99699 335365 | 33233 9575 94 | 0.000 % |
5.76/5.85 c | 9685 | 8709 99699 335365 | 33233 9685 93 | 0.000 % |
5.86/5.94 c | 9806 | 8709 99699 335365 | 33233 9806 93 | 0.000 % |
5.96/6.06 c | 9940 | 8709 99699 335365 | 33233 9940 92 | 0.000 % |
6.06/6.18 c | 10086 | 8709 99699 335365 | 2147483647 10086 92 | 0.000 % |
6.26/6.33 c | 10246 | 8709 99699 335365 | 2147483647 10246 91 | 0.000 % |
6.36/6.48 c | 10423 | 8709 99699 335365 | 2147483647 10423 90 | 0.000 % |
6.57/6.64 c | 10616 | 8709 99699 335365 | 2147483647 10616 90 | 0.000 % |
6.76/6.81 c | 10828 | 8709 99699 335365 | 2147483647 10828 89 | 0.000 % |
6.86/6.99 c | 11063 | 8709 99699 335365 | 2147483647 11063 89 | 0.000 % |
7.06/7.17 c | 11319 | 8709 99699 335365 | 2147483647 11319 88 | 0.000 % |
7.26/7.38 c | 11600 | 8709 99699 335365 | 2147483647 11600 87 | 0.000 % |
7.36/7.44 c | 11700 | 8709 99699 335365 | 2147483647 11700 88 | 0.000 % |
7.46/7.54 c | 11810 | 8709 99699 335365 | 2147483647 11810 87 | 0.000 % |
7.56/7.65 c | 11931 | 8709 99699 335365 | 2147483647 11931 87 | 0.000 % |
7.66/7.78 c | 12064 | 8709 99699 335365 | 2147483647 12064 86 | 0.000 % |
7.76/7.89 c | 12210 | 8709 99699 335365 | 2147483647 12210 86 | 0.000 % |
7.96/8.02 c | 12370 | 8709 99699 335365 | 2147483647 12370 86 | 0.000 % |
8.06/8.18 c | 12546 | 8709 99699 335365 | 2147483647 12546 85 | 0.000 % |
8.26/8.31 c | 12740 | 8709 99699 335365 | 2147483647 12740 85 | 0.000 % |
8.36/8.47 c | 12952 | 8709 99699 335365 | 2147483647 12952 85 | 0.000 % |
8.55/8.64 c | 13185 | 8709 99699 335365 | 2147483647 13185 84 | 0.000 % |
8.76/8.88 c | 13441 | 8709 99699 335365 | 2147483647 13441 84 | 0.000 % |
9.05/9.12 c | 13722 | 8709 99699 335365 | 2147483647 13722 83 | 0.000 % |
9.25/9.40 c | 14031 | 8709 99699 335365 | 2147483647 14031 83 | 0.000 % |
9.35/9.49 c | 14131 | 8709 99699 335365 | 2147483647 14131 82 | 0.000 % |
9.55/9.60 c | 14241 | 8709 99699 335365 | 2147483647 14241 82 | 0.000 % |
9.65/9.73 c | 14363 | 8709 99699 335365 | 2147483647 14363 82 | 0.000 % |
9.76/9.85 c | 14497 | 8709 99699 335365 | 2147483647 14497 82 | 0.000 % |
9.86/9.95 c | 14643 | 8709 99699 335365 | 2147483647 14643 81 | 0.000 % |
10.05/10.10 c | 14803 | 8709 99699 335365 | 2147483647 14803 81 | 0.000 % |
10.15/10.25 c | 14979 | 8709 99699 335365 | 2147483647 14979 81 | 0.000 % |
10.35/10.40 c | 15172 | 8709 99699 335365 | 2147483647 15172 81 | 0.000 % |
10.45/10.58 c | 15386 | 8709 99699 335365 | 2147483647 15386 81 | 0.000 % |
10.66/10.78 c | 15619 | 8709 99699 335365 | 2147483647 15619 80 | 0.000 % |
10.87/10.98 c | 15875 | 8709 99699 335365 | 2147483647 15875 80 | 0.000 % |
11.16/11.26 c | 16156 | 8709 99699 335365 | 2147483647 16156 80 | 0.000 % |
11.46/11.55 c | 16465 | 8709 99699 335365 | 2147483647 16465 79 | 0.000 % |
11.76/11.84 c | 16804 | 8709 99699 335365 | 2147483647 16804 79 | 0.000 % |
11.86/11.93 c | 16904 | 8709 99699 335365 | 2147483647 16904 79 | 0.000 % |
11.97/12.03 c | 17014 | 8709 99699 335365 | 2147483647 17014 79 | 0.000 % |
12.07/12.15 c | 17135 | 8709 99699 335365 | 2147483647 17135 79 | 0.000 % |
12.16/12.27 c | 17268 | 8709 99699 335365 | 2147483647 17268 78 | 0.000 % |
12.36/12.42 c | 17414 | 8709 99699 335365 | 2147483647 17414 78 | 0.000 % |
12.46/12.54 c | 17574 | 8709 99699 335365 | 2147483647 17574 78 | 0.000 % |
12.66/12.73 c | 17750 | 8709 99699 335365 | 2147483647 17750 78 | 0.000 % |
12.86/12.92 c | 17944 | 8709 99699 335365 | 2147483647 17944 78 | 0.000 % |
13.16/13.24 c | 18156 | 8709 99699 335365 | 2147483647 18156 77 | 0.000 % |
13.36/13.49 c | 18389 | 8709 99699 335365 | 2147483647 18389 77 | 0.000 % |
13.66/13.76 c | 18645 | 8709 99699 335365 | 2147483647 18645 77 | 0.000 % |
13.96/14.07 c | 18926 | 8709 99699 335365 | 2147483647 18926 77 | 0.000 % |
14.36/14.40 c | 19236 | 8709 99699 335365 | 2147483647 19236 77 | 0.000 % |
14.66/14.77 c | 19575 | 8709 99699 335365 | 2147483647 19575 76 | 0.000 % |
15.06/15.13 c | 19947 | 8709 99699 335365 | 2147483647 19947 76 | 0.000 % |
15.16/15.29 c | 20047 | 8709 99699 335365 | 2147483647 20047 76 | 0.000 % |
15.36/15.44 c | 20159 | 8709 99699 335365 | 2147483647 20159 76 | 0.000 % |
15.46/15.57 c | 20280 | 8709 99699 335365 | 2147483647 20280 76 | 0.000 % |
15.56/15.69 c | 20413 | 8709 99699 335365 | 2147483647 20413 76 | 0.000 % |
15.76/15.87 c | 20559 | 8709 99699 335365 | 2147483647 20559 76 | 0.000 % |
15.96/16.05 c | 20720 | 8709 99699 335365 | 2147483647 20720 76 | 0.000 % |
16.16/16.25 c | 20896 | 8709 99699 335365 | 2147483647 20896 76 | 0.000 % |
16.36/16.44 c | 21089 | 8709 99699 335365 | 2147483647 21089 76 | 0.000 % |
16.56/16.64 c | 21302 | 8709 99699 335365 | 2147483647 21302 76 | 0.000 % |
16.86/16.90 c | 21535 | 8709 99699 335365 | 2147483647 21535 76 | 0.000 % |
17.16/17.25 c | 21791 | 8709 99699 335365 | 2147483647 21791 75 | 0.000 % |
17.46/17.60 c | 22072 | 8709 99699 335365 | 2147483647 22072 75 | 0.000 % |
17.86/17.91 c | 22381 | 8709 99699 335365 | 2147483647 22381 75 | 0.000 % |
18.16/18.23 c | 22720 | 8709 99699 335365 | 2147483647 22720 75 | 0.000 % |
18.46/18.58 c | 23092 | 8709 99699 335365 | 2147483647 23092 75 | 0.000 % |
18.85/19.00 c | 23502 | 8709 99699 335365 | 2147483647 23502 75 | 0.000 % |
18.95/19.09 c | 23602 | 8709 99699 335365 | 2147483647 23602 74 | 0.000 % |
19.05/19.18 c | 23712 | 8709 99699 335365 | 2147483647 23712 74 | 0.000 % |
19.25/19.31 c | 23835 | 8709 99699 335365 | 2147483647 23835 74 | 0.000 % |
19.35/19.44 c | 23968 | 8709 99699 335365 | 2147483647 23968 74 | 0.000 % |
19.55/19.60 c | 24114 | 8709 99699 335365 | 2147483647 24114 74 | 0.000 % |
19.66/19.73 c | 24274 | 8709 99699 335365 | 2147483647 24274 74 | 0.000 % |
19.85/19.92 c | 24450 | 8709 99699 335365 | 2147483647 24450 74 | 0.000 % |
20.05/20.12 c | 24643 | 8709 99699 335365 | 2147483647 24643 74 | 0.000 % |
20.25/20.35 c | 24855 | 8709 99699 335365 | 2147483647 24855 74 | 0.000 % |
20.45/20.58 c | 25088 | 8709 99699 335365 | 2147483647 25088 74 | 0.000 % |
20.76/20.84 c | 25344 | 8709 99699 335365 | 2147483647 25344 74 | 0.000 % |
21.05/21.12 c | 25625 | 8709 99699 335365 | 2147483647 25625 73 | 0.000 % |
21.35/21.46 c | 25934 | 8709 99699 335365 | 2147483647 25934 73 | 0.000 % |
21.75/21.81 c | 26273 | 8709 99699 335365 | 2147483647 26273 73 | 0.000 % |
22.05/22.20 c | 26645 | 8709 99699 335365 | 2147483647 26645 73 | 0.000 % |
22.55/22.66 c | 27056 | 8709 99699 335365 | 2147483647 27056 73 | 0.000 % |
23.05/23.15 c | 27505 | 8709 99699 335365 | 2147483647 27505 73 | 0.000 % |
23.14/23.28 c | 27605 | 8709 99699 335365 | 2147483647 27605 73 | 0.000 % |
23.24/23.37 c | 27715 | 8709 99699 335365 | 2147483647 27715 73 | 0.000 % |
23.44/23.50 c | 27836 | 8709 99699 335365 | 2147483647 27836 72 | 0.000 % |
23.54/23.62 c | 27969 | 8709 99699 335365 | 2147483647 27969 72 | 0.000 % |
23.64/23.74 c | 28116 | 8709 99699 335365 | 2147483647 28116 73 | 0.000 % |
23.84/23.94 c | 28276 | 8709 99699 335365 | 2147483647 28276 73 | 0.000 % |
24.04/24.17 c | 28452 | 8709 99699 335365 | 2147483647 28452 73 | 0.000 % |
24.25/24.38 c | 28645 | 8709 99699 335365 | 2147483647 28645 72 | 0.000 % |
24.55/24.66 c | 28857 | 8709 99699 335365 | 2147483647 28857 72 | 0.000 % |
24.84/24.91 c | 29090 | 8709 99699 335365 | 2147483647 29090 72 | 0.000 % |
25.04/25.17 c | 29346 | 8709 99699 335365 | 2147483647 29346 72 | 0.000 % |
25.34/25.48 c | 29627 | 8709 99699 335365 | 2147483647 29627 72 | 0.000 % |
25.74/25.81 c | 29936 | 8709 99699 335365 | 2147483647 29936 72 | 0.000 % |
26.04/26.18 c | 30275 | 8709 99699 335365 | 2147483647 30275 72 | 0.000 % |
26.44/26.58 c | 30647 | 8709 99699 335365 | 2147483647 30647 72 | 0.000 % |
26.94/27.04 c | 31056 | 8709 99699 335365 | 2147483647 31056 72 | 0.000 % |
27.45/27.51 c | 31506 | 8709 99699 335365 | 2147483647 31506 72 | 0.000 % |
28.04/28.10 c | 31999 | 8709 99699 335365 | 2147483647 31999 71 | 0.000 % |
28.14/28.22 c | 32099 | 8709 99699 335365 | 2147483647 32099 71 | 0.000 % |
28.24/28.36 c | 32209 | 8709 99699 335365 | 2147483647 32209 71 | 0.000 % |
28.34/28.49 c | 32330 | 8709 99699 335365 | 2147483647 32330 71 | 0.000 % |
28.55/28.64 c | 32463 | 8709 99699 335365 | 2147483647 32463 71 | 0.000 % |
28.74/28.82 c | 32609 | 8709 99699 335365 | 2147483647 32609 71 | 0.000 % |
28.94/29.03 c | 32769 | 8709 99699 335365 | 2147483647 32769 71 | 0.000 % |
29.14/29.26 c | 32946 | 8709 99699 335365 | 2147483647 32946 71 | 0.000 % |
29.34/29.48 c | 33139 | 8709 99699 335365 | 2147483647 33139 71 | 0.000 % |
29.65/29.72 c | 33352 | 8709 99699 335365 | 2147483647 33352 71 | 0.000 % |
29.84/29.95 c | 33585 | 8709 99699 335365 | 2147483647 33585 71 | 0.000 % |
30.14/30.22 c | 33841 | 8709 99699 335365 | 2147483647 33841 71 | 0.000 % |
30.34/30.48 c | 34122 | 8709 99699 335365 | 2147483647 34122 71 | 0.000 % |
30.74/30.81 c | 34431 | 8709 99699 335365 | 2147483647 34431 71 | 0.000 % |
31.04/31.19 c | 34770 | 8709 99699 335365 | 2147483647 34770 72 | 0.000 % |
31.64/31.74 c | 35143 | 8709 99699 335365 | 2147483647 35143 72 | 0.000 % |
32.14/32.24 c | 35552 | 8709 99699 335365 | 2147483647 35552 72 | 0.000 % |
32.64/32.76 c | 36001 | 8709 99699 335365 | 2147483647 36001 72 | 0.000 % |
33.34/33.41 c | 36494 | 8709 99699 335365 | 2147483647 36494 72 | 0.000 % |
33.95/34.06 c | 37037 | 8709 99699 335365 | 2147483647 37037 71 | 0.000 % |
34.05/34.18 c | 37137 | 8709 99699 335365 | 2147483647 37137 71 | 0.000 % |
34.24/34.30 c | 37247 | 8709 99699 335365 | 2147483647 37247 71 | 0.000 % |
34.34/34.42 c | 37368 | 8709 99699 335365 | 2147483647 37368 71 | 0.000 % |
34.44/34.56 c | 37501 | 8709 99699 335365 | 2147483647 37501 71 | 0.000 % |
34.64/34.72 c | 37647 | 8709 99699 335365 | 2147483647 37647 71 | 0.000 % |
34.74/34.88 c | 37807 | 8709 99699 335365 | 2147483647 37807 72 | 0.000 % |
35.05/35.13 c | 37983 | 8709 99699 335365 | 2147483647 37983 72 | 0.000 % |
35.24/35.34 c | 38176 | 8709 99699 335365 | 2147483647 38176 71 | 0.000 % |
35.54/35.63 c | 38388 | 8709 99699 335365 | 2147483647 38388 71 | 0.000 % |
35.84/35.95 c | 38621 | 8709 99699 335365 | 2147483647 38621 71 | 0.000 % |
36.15/36.28 c | 38877 | 8709 99699 335365 | 2147483647 38877 71 | 0.000 % |
36.54/36.67 c | 39159 | 8709 99699 335365 | 2147483647 39159 71 | 0.000 % |
37.04/37.11 c | 39468 | 8709 99699 335365 | 2147483647 39468 71 | 0.000 % |
37.44/37.56 c | 39810 | 8709 99699 335365 | 2147483647 39810 71 | 0.000 % |
37.94/38.05 c | 40182 | 8709 99699 335365 | 2147483647 40182 71 | 0.000 % |
38.45/38.52 c | 40592 | 8709 99699 335365 | 2147483647 40592 71 | 0.000 % |
38.94/39.02 c | 41041 | 8709 99699 335365 | 2147483647 41041 72 | 0.000 % |
39.54/39.64 c | 41535 | 8709 99699 335365 | 2147483647 41535 72 | 0.000 % |
40.24/40.31 c | 42077 | 8709 99699 335365 | 2147483647 42077 72 | 0.000 % |
40.84/40.96 c | 42674 | 8709 99699 335365 | 2147483647 42674 72 | 0.000 % |
40.94/41.07 c | 42774 | 8709 99699 335365 | 2147483647 42774 72 | 0.000 % |
41.14/41.22 c | 42884 | 8709 99699 335365 | 2147483647 42884 72 | 0.000 % |
41.34/41.42 c | 43005 | 8709 99699 335365 | 2147483647 43005 72 | 0.000 % |
41.44/41.57 c | 43138 | 8709 99699 335365 | 2147483647 43138 72 | 0.000 % |
41.64/41.76 c | 43284 | 8709 99699 335365 | 2147483647 43284 72 | 0.000 % |
41.84/41.99 c | 43446 | 8709 99699 335365 | 2147483647 43446 72 | 0.000 % |
42.14/42.20 c | 43624 | 8709 99699 335365 | 2147483647 43624 72 | 0.000 % |
42.34/42.43 c | 43817 | 8709 99699 335365 | 2147483647 43817 72 | 0.000 % |
42.63/42.71 c | 44029 | 8709 99699 335365 | 2147483647 44029 72 | 0.000 % |
42.93/43.00 c | 44262 | 8709 99699 335365 | 2147483647 44262 72 | 0.000 % |
43.23/43.32 c | 44518 | 8709 99699 335365 | 2147483647 44518 72 | 0.000 % |
43.53/43.62 c | 44799 | 8709 99699 335365 | 2147483647 44799 72 | 0.000 % |
43.84/43.95 c | 45108 | 8709 99699 335365 | 2147483647 45108 72 | 0.000 % |
44.23/44.36 c | 45447 | 8709 99699 335365 | 2147483647 45447 72 | 0.000 % |
44.83/44.91 c | 45819 | 8709 99699 335365 | 2147483647 45819 72 | 0.000 % |
45.34/45.44 c | 46228 | 8709 99699 335365 | 2147483647 46228 72 | 0.000 % |
45.94/46.02 c | 46677 | 8709 99699 335365 | 2147483647 46677 72 | 0.000 % |
46.44/46.59 c | 47170 | 8709 99699 335365 | 2147483647 47170 72 | 0.000 % |
47.24/47.35 c | 47712 | 8709 99699 335365 | 2147483647 47712 72 | 0.000 % |
48.04/48.18 c | 48309 | 8709 99699 335365 | 2147483647 48309 72 | 0.000 % |
48.93/49.06 c | 48964 | 8709 99699 335365 | 2147483647 48964 72 | 0.000 % |
49.03/49.13 c | 49064 | 8709 99699 335365 | 2147483647 49064 72 | 0.000 % |
49.13/49.26 c | 49175 | 8709 99699 335365 | 2147483647 49175 72 | 0.000 % |
49.34/49.43 c | 49296 | 8709 99699 335365 | 2147483647 49296 72 | 0.000 % |
49.53/49.61 c | 49429 | 8709 99699 335365 | 2147483647 49429 73 | 0.000 % |
49.73/49.80 c | 49575 | 8709 99699 335365 | 2147483647 49575 73 | 0.000 % |
49.93/50.04 c | 49735 | 8709 99699 335365 | 2147483647 49735 73 | 0.000 % |
50.13/50.26 c | 49911 | 8709 99699 335365 | 2147483647 49911 73 | 0.000 % |
50.44/50.55 c | 50104 | 8709 99699 335365 | 2147483647 50104 73 | 0.000 % |
50.73/50.81 c | 50317 | 8709 99699 335365 | 2147483647 50317 73 | 0.000 % |
51.03/51.13 c | 50550 | 8709 99699 335365 | 2147483647 50550 73 | 0.000 % |
51.33/51.40 c | 50806 | 8709 99699 335365 | 2147483647 50806 73 | 0.000 % |
51.64/51.78 c | 51088 | 8709 99699 335365 | 2147483647 51088 73 | 0.000 % |
52.04/52.16 c | 51397 | 8709 99699 335365 | 2147483647 51397 73 | 0.000 % |
52.64/52.72 c | 51736 | 8709 99699 335365 | 2147483647 51736 73 | 0.000 % |
53.14/53.26 c | 52108 | 8709 99699 335365 | 2147483647 52108 73 | 0.000 % |
53.74/53.84 c | 52517 | 8709 99699 335365 | 2147483647 52517 73 | 0.000 % |
54.23/54.32 c | 52966 | 8709 99699 335365 | 2147483647 52966 74 | 0.000 % |
54.94/55.05 c | 53459 | 8709 99699 335365 | 2147483647 53459 74 | 0.000 % |
55.73/55.86 c | 54001 | 8709 99699 335365 | 2147483647 54001 74 | 0.000 % |
56.63/56.77 c | 54598 | 8709 99699 335365 | 2147483647 54598 73 | 0.000 % |
57.63/57.78 c | 55254 | 8709 99699 335365 | 2147483647 55254 74 | 0.000 % |
58.63/58.70 c | 55974 | 8709 99699 335365 | 2147483647 55974 74 | 0.000 % |
58.73/58.83 c | 56074 | 8709 99699 335365 | 2147483647 56074 74 | 0.000 % |
58.83/58.98 c | 56184 | 8709 99699 335365 | 2147483647 56184 74 | 0.000 % |
59.03/59.13 c | 56305 | 8709 99699 335365 | 2147483647 56305 74 | 0.000 % |
59.23/59.35 c | 56439 | 8709 99699 335365 | 2147483647 56439 74 | 0.000 % |
59.53/59.60 c | 56587 | 8709 99699 335365 | 2147483647 56587 74 | 0.000 % |
59.73/59.86 c | 56747 | 8709 99699 335365 | 2147483647 56747 74 | 0.000 % |
60.03/60.13 c | 56923 | 8709 99699 335365 | 2147483647 56923 74 | 0.000 % |
60.33/60.48 c | 57116 | 8709 99699 335365 | 2147483647 57116 74 | 0.000 % |
60.63/60.78 c | 57328 | 8709 99699 335365 | 2147483647 57328 74 | 0.000 % |
61.03/61.17 c | 57563 | 8709 99699 335365 | 2147483647 57563 74 | 0.000 % |
61.33/61.49 c | 57819 | 8709 99699 335365 | 2147483647 57819 74 | 0.000 % |
61.73/61.85 c | 58101 | 8709 99699 335365 | 2147483647 58101 75 | 0.000 % |
62.33/62.41 c | 58410 | 8709 99699 335365 | 2147483647 58410 75 | 0.000 % |
62.73/62.87 c | 58750 | 8709 99699 335365 | 2147483647 58750 75 | 0.000 % |
63.23/63.31 c | 59122 | 8709 99699 335365 | 2147483647 59122 75 | 0.000 % |
63.83/63.94 c | 59531 | 8709 99699 335365 | 2147483647 59531 75 | 0.000 % |
64.33/64.47 c | 59980 | 8709 99699 335365 | 2147483647 59980 75 | 0.000 % |
65.23/65.34 c | 60473 | 8709 99699 335365 | 2147483647 60473 75 | 0.000 % |
66.04/66.16 c | 61015 | 8709 99699 335365 | 2147483647 61015 75 | 0.000 % |
66.94/67.06 c | 61611 | 8709 99699 335365 | 2147483647 61611 75 | 0.000 % |
67.93/68.02 c | 62266 | 8709 99699 335365 | 2147483647 62266 75 | 0.000 % |
68.93/69.03 c | 62988 | 8709 99699 335365 | 2147483647 62988 75 | 0.000 % |
70.13/70.23 c | 63780 | 8709 99699 335365 | 2147483647 63780 76 | 0.000 % |
70.23/70.39 c | 63880 | 8709 99699 335365 | 2147483647 63880 76 | 0.000 % |
70.43/70.56 c | 63993 | 8709 99699 335365 | 2147483647 63993 76 | 0.000 % |
70.53/70.62 c | 64114 | 8709 99699 335365 | 2147483647 64114 76 | 0.000 % |
70.63/70.75 c | 64247 | 8709 99699 335365 | 2147483647 64247 76 | 0.000 % |
70.83/70.96 c | 64393 | 8709 99699 335365 | 2147483647 64393 76 | 0.000 % |
71.03/71.10 c | 64553 | 8709 99699 335365 | 2147483647 64553 77 | 0.000 % |
71.33/71.41 c | 64729 | 8709 99699 335365 | 2147483647 64729 77 | 0.000 % |
71.53/71.67 c | 64922 | 8709 99699 335365 | 2147483647 64922 77 | 0.000 % |
71.83/71.95 c | 65136 | 8709 99699 335365 | 2147483647 65136 77 | 0.000 % |
72.23/72.33 c | 65369 | 8709 99699 335365 | 2147483647 65369 77 | 0.000 % |
72.63/72.72 c | 65625 | 8709 99699 335365 | 2147483647 65625 77 | 0.000 % |
73.02/73.14 c | 65906 | 8709 99699 335365 | 2147483647 65906 77 | 0.000 % |
73.53/73.69 c | 66215 | 8709 99699 335365 | 2147483647 66215 77 | 0.000 % |
74.12/74.25 c | 66554 | 8709 99699 335365 | 2147483647 66554 77 | 0.000 % |
74.73/74.86 c | 66926 | 8709 99699 335365 | 2147483647 66926 77 | 0.000 % |
75.52/75.60 c | 67335 | 8709 99699 335365 | 2147483647 67335 77 | 0.000 % |
76.12/76.27 c | 67784 | 8709 99699 335365 | 2147483647 67784 77 | 0.000 % |
76.92/77.07 c | 68277 | 8709 99699 335365 | 2147483647 68277 77 | 0.000 % |
77.92/78.01 c | 68819 | 8709 99699 335365 | 2147483647 68819 77 | 0.000 % |
78.92/79.01 c | 69415 | 8709 99699 335365 | 2147483647 69415 77 | 0.000 % |
80.02/80.20 c | 70070 | 8709 99699 335365 | 2147483647 70070 77 | 0.000 % |
81.12/81.27 c | 70790 | 8709 99699 335365 | 2147483647 70790 77 | 0.000 % |
82.33/82.48 c | 71582 | 8709 99699 335365 | 2147483647 71582 77 | 0.000 % |
83.82/83.96 c | 72453 | 8709 99699 335365 | 2147483647 72453 78 | 0.000 % |
84.02/84.12 c | 72553 | 8709 99699 335365 | 2147483647 72553 78 | 0.000 % |
84.22/84.36 c | 72663 | 8709 99699 335365 | 2147483647 72663 78 | 0.000 % |
84.42/84.60 c | 72784 | 8709 99699 335365 | 2147483647 72784 78 | 0.000 % |
84.72/84.81 c | 72917 | 8709 99699 335365 | 2147483647 72917 78 | 0.000 % |
84.92/85.05 c | 73063 | 8709 99699 335365 | 2147483647 73063 78 | 0.000 % |
85.22/85.37 c | 73223 | 8709 99699 335365 | 2147483647 73223 78 | 0.000 % |
85.52/85.70 c | 73399 | 8709 99699 335365 | 2147483647 73399 78 | 0.000 % |
85.92/86.03 c | 73592 | 8709 99699 335365 | 2147483647 73592 78 | 0.000 % |
86.22/86.38 c | 73804 | 8709 99699 335365 | 2147483647 73804 78 | 0.000 % |
86.62/86.74 c | 74037 | 8709 99699 335365 | 2147483647 74037 78 | 0.000 % |
87.02/87.18 c | 74293 | 8709 99699 335365 | 2147483647 74293 78 | 0.000 % |
87.52/87.69 c | 74574 | 8709 99699 335365 | 2147483647 74574 78 | 0.000 % |
88.12/88.23 c | 74883 | 8709 99699 335365 | 2147483647 74883 78 | 0.000 % |
88.72/88.84 c | 75222 | 8709 99699 335365 | 2147483647 75222 78 | 0.000 % |
89.42/89.56 c | 75594 | 8709 99699 335365 | 2147483647 75594 78 | 0.000 % |
90.12/90.28 c | 76004 | 8709 99699 335365 | 2147483647 76004 78 | 0.000 % |
90.81/90.98 c | 76454 | 8709 99699 335365 | 2147483647 76454 78 | 0.000 % |
91.71/91.88 c | 76948 | 8709 99699 335365 | 2147483647 76948 78 | 0.000 % |
92.71/92.80 c | 77490 | 8709 99699 335365 | 2147483647 77490 79 | 0.000 % |
93.81/93.91 c | 78086 | 8709 99699 335365 | 2147483647 78086 79 | 0.000 % |
95.01/95.19 c | 78741 | 8709 99699 335365 | 2147483647 78741 79 | 0.000 % |
96.11/96.28 c | 79461 | 8709 99699 335365 | 2147483647 79461 79 | 0.000 % |
97.61/97.73 c | 80254 | 8709 99699 335365 | 2147483647 80254 79 | 0.000 % |
99.22/99.32 c | 81125 | 8709 99699 335365 | 2147483647 81125 79 | 0.000 % |
100.92/101.05 c | 82083 | 8709 99699 335365 | 2147483647 82083 79 | 0.000 % |
101.12/101.28 c | 82183 | 8709 99699 335365 | 2147483647 82183 79 | 0.000 % |
101.32/101.43 c | 82293 | 8709 99699 335365 | 2147483647 82293 80 | 0.000 % |
101.52/101.68 c | 82414 | 8709 99699 335365 | 2147483647 82414 80 | 0.000 % |
101.72/101.88 c | 82547 | 8709 99699 335365 | 2147483647 82547 80 | 0.000 % |
102.02/102.16 c | 82693 | 8709 99699 335365 | 2147483647 82693 80 | 0.000 % |
102.32/102.41 c | 82855 | 8709 99699 335365 | 2147483647 82855 80 | 0.000 % |
102.61/102.75 c | 83031 | 8709 99699 335365 | 2147483647 83031 80 | 0.000 % |
103.01/103.18 c | 83224 | 8709 99699 335365 | 2147483647 83224 80 | 0.000 % |
103.41/103.52 c | 83436 | 8709 99699 335365 | 2147483647 83436 80 | 0.000 % |
103.81/103.96 c | 83670 | 8709 99699 335365 | 2147483647 83670 80 | 0.000 % |
104.21/104.36 c | 83926 | 8709 99699 335365 | 2147483647 83926 80 | 0.000 % |
104.81/104.96 c | 84207 | 8709 99699 335365 | 2147483647 84207 80 | 0.000 % |
105.31/105.46 c | 84516 | 8709 99699 335365 | 2147483647 84516 80 | 0.000 % |
106.01/106.11 c | 84855 | 8709 99699 335365 | 2147483647 84855 80 | 0.000 % |
106.61/106.77 c | 85229 | 8709 99699 335365 | 2147483647 85229 80 | 0.000 % |
107.41/107.52 c | 85638 | 8709 99699 335365 | 2147483647 85638 80 | 0.000 % |
108.21/108.33 c | 86087 | 8709 99699 335365 | 2147483647 86087 81 | 0.000 % |
109.01/109.17 c | 86580 | 8709 99699 335365 | 2147483647 86580 81 | 0.000 % |
110.01/110.13 c | 87123 | 8709 99699 335365 | 2147483647 87123 81 | 0.000 % |
111.20/111.33 c | 87719 | 8709 99699 335365 | 2147483647 87719 81 | 0.000 % |
112.50/112.66 c | 88374 | 8709 99699 335365 | 2147483647 88374 81 | 0.000 % |
113.70/113.88 c | 89095 | 8709 99699 335365 | 2147483647 89095 82 | 0.000 % |
115.20/115.39 c | 89887 | 8709 99699 335365 | 2147483647 89887 82 | 0.000 % |
117.20/117.36 c | 90758 | 8709 99699 335365 | 2147483647 90758 82 | 0.000 % |
119.10/119.27 c | 91716 | 8709 99699 335365 | 2147483647 91716 82 | 0.000 % |
121.00/121.15 c | 92770 | 8709 99699 335365 | 2147483647 92770 82 | 0.000 % |
121.20/121.33 c | 92870 | 8709 99699 335365 | 2147483647 92870 82 | 0.000 % |
121.50/121.60 c | 92980 | 8709 99699 335365 | 2147483647 92980 82 | 0.000 % |
121.70/121.82 c | 93102 | 8709 99699 335365 | 2147483647 93102 83 | 0.000 % |
122.00/122.11 c | 93235 | 8709 99699 335365 | 2147483647 93235 83 | 0.000 % |
122.20/122.36 c | 93381 | 8709 99699 335365 | 2147483647 93381 83 | 0.000 % |
122.60/122.70 c | 93541 | 8709 99699 335365 | 2147483647 93541 83 | 0.000 % |
122.90/123.03 c | 93718 | 8709 99699 335365 | 2147483647 93718 83 | 0.000 % |
123.30/123.45 c | 93911 | 8709 99699 335365 | 2147483647 93911 83 | 0.000 % |
123.80/123.94 c | 94123 | 8709 99699 335365 | 2147483647 94123 83 | 0.000 % |
124.20/124.33 c | 94357 | 8709 99699 335365 | 2147483647 94357 83 | 0.000 % |
124.59/124.79 c | 94614 | 8709 99699 335365 | 2147483647 94614 83 | 0.000 % |
125.09/125.27 c | 94895 | 8709 99699 335365 | 2147483647 94895 83 | 0.000 % |
125.79/125.92 c | 95204 | 8709 99699 335365 | 2147483647 95204 83 | 0.000 % |
126.40/126.58 c | 95543 | 8709 99699 335365 | 2147483647 95543 83 | 0.000 % |
126.99/127.15 c | 95915 | 8709 99699 335365 | 2147483647 95915 83 | 0.000 % |
127.99/128.14 c | 96325 | 8709 99699 335365 | 2147483647 96325 84 | 0.000 % |
128.89/129.08 c | 96774 | 8709 99699 335365 | 2147483647 96774 84 | 0.000 % |
129.90/130.04 c | 97271 | 8709 99699 335365 | 2147483647 97271 84 | 0.000 % |
130.89/131.01 c | 97813 | 8709 99699 335365 | 2147483647 97813 84 | 0.000 % |
132.09/132.23 c | 98409 | 8709 99699 335365 | 2147483647 98409 84 | 0.000 % |
133.19/133.37 c | 99064 | 8709 99699 335365 | 2147483647 99064 85 | 0.000 % |
134.79/134.96 c | 99784 | 8709 99699 335365 | 2147483647 99784 85 | 0.000 % |
136.29/136.47 c | 100576 | 8709 99699 335365 | 2147483647 100576 85 | 0.000 % |
138.19/138.36 c | 101447 | 8709 99699 335365 | 2147483647 101447 86 | 0.000 % |
140.18/140.32 c | 102406 | 8709 99699 335365 | 2147483647 102406 86 | 0.000 % |
142.38/142.55 c | 103459 | 8709 99699 335365 | 2147483647 103459 86 | 0.000 % |
144.68/144.89 c | 104617 | 8709 99699 335365 | 2147483647 104617 86 | 0.000 % |
144.88/145.07 c | 104717 | 8709 99699 335365 | 2147483647 104717 86 | 0.000 % |
145.18/145.33 c | 104827 | 8709 99699 335365 | 2147483647 104827 86 | 0.000 % |
145.38/145.58 c | 104948 | 8709 99699 335365 | 2147483647 104948 87 | 0.000 % |
145.78/145.90 c | 105081 | 8709 99699 335365 | 2147483647 105081 87 | 0.000 % |
145.98/146.18 c | 105227 | 8709 99699 335365 | 2147483647 105227 87 | 0.000 % |
146.38/146.56 c | 105388 | 8709 99699 335365 | 2147483647 105388 87 | 0.000 % |
146.88/147.00 c | 105564 | 8709 99699 335365 | 2147483647 105564 87 | 0.000 % |
147.38/147.54 c | 105758 | 8709 99699 335365 | 2147483647 105758 87 | 0.000 % |
147.79/147.98 c | 105970 | 8709 99699 335365 | 2147483647 105970 87 | 0.000 % |
148.49/148.60 c | 106203 | 8709 99699 335365 | 2147483647 106203 87 | 0.000 % |
148.99/149.14 c | 106463 | 8709 99699 335365 | 2147483647 106463 87 | 0.000 % |
149.49/149.68 c | 106744 | 8709 99699 335365 | 2147483647 106744 87 | 0.000 % |
150.19/150.37 c | 107054 | 8709 99699 335365 | 2147483647 107054 87 | 0.000 % |
150.98/151.15 c | 107393 | 8709 99699 335365 | 2147483647 107393 87 | 0.000 % |
151.78/151.96 c | 107765 | 8709 99699 335365 | 2147483647 107765 87 | 0.000 % |
152.68/152.86 c | 108174 | 8709 99699 335365 | 2147483647 108174 87 | 0.000 % |
153.68/153.82 c | 108623 | 8709 99699 335365 | 2147483647 108623 87 | 0.000 % |
154.78/154.90 c | 109117 | 8709 99699 335365 | 2147483647 109117 87 | 0.000 % |
156.08/156.23 c | 109659 | 8709 99699 335365 | 2147483647 109659 88 | 0.000 % |
157.47/157.61 c | 110256 | 8709 99699 335365 | 2147483647 110256 88 | 0.000 % |
158.77/158.97 c | 110911 | 8709 99699 335365 | 2147483647 110911 88 | 0.000 % |
160.37/160.57 c | 111631 | 8709 99699 335365 | 2147483647 111631 88 | 0.000 % |
162.18/162.34 c | 112423 | 8709 99699 335365 | 2147483647 112423 88 | 0.000 % |
164.17/164.37 c | 113294 | 8709 99699 335365 | 2147483647 113294 88 | 0.000 % |
166.27/166.46 c | 114255 | 8709 99699 335365 | 2147483647 114255 89 | 0.000 % |
168.57/168.70 c | 115310 | 8709 99699 335365 | 2147483647 115310 89 | 0.000 % |
171.06/171.29 c | 116469 | 8709 99699 335365 | 2147483647 116469 89 | 0.000 % |
174.26/174.49 c | 117742 | 8709 99699 335365 | 2147483647 117742 90 | 0.000 % |
174.56/174.71 c | 117842 | 8709 99699 335365 | 2147483647 117842 90 | 0.000 % |
174.86/175.03 c | 117952 | 8709 99699 335365 | 2147483647 117952 90 | 0.000 % |
175.06/175.29 c | 118073 | 8709 99699 335365 | 2147483647 118073 90 | 0.000 % |
175.46/175.61 c | 118208 | 8709 99699 335365 | 2147483647 118208 90 | 0.000 % |
175.77/175.91 c | 118354 | 8709 99699 335365 | 2147483647 118354 90 | 0.000 % |
176.06/176.28 c | 118514 | 8709 99699 335365 | 2147483647 118514 90 | 0.000 % |
176.56/176.76 c | 118690 | 8709 99699 335365 | 2147483647 118690 90 | 0.000 % |
176.97/177.16 c | 118883 | 8709 99699 335365 | 2147483647 118883 90 | 0.000 % |
177.46/177.65 c | 119095 | 8709 99699 335365 | 2147483647 119095 90 | 0.000 % |
178.08/178.23 c | 119328 | 8709 99699 335365 | 2147483647 119328 90 | 0.000 % |
178.67/178.89 c | 119584 | 8709 99699 335365 | 2147483647 119584 90 | 0.000 % |
179.37/179.53 c | 119865 | 8709 99699 335365 | 2147483647 119865 90 | 0.000 % |
180.07/180.25 c | 120174 | 8709 99699 335365 | 2147483647 120174 90 | 0.000 % |
180.87/181.02 c | 120513 | 8709 99699 335365 | 2147483647 120513 90 | 0.000 % |
181.67/181.87 c | 120885 | 8709 99699 335365 | 2147483647 120885 90 | 0.000 % |
182.76/182.99 c | 121294 | 8709 99699 335365 | 2147483647 121294 90 | 0.000 % |
183.86/184.06 c | 121743 | 8709 99699 335365 | 2147483647 121743 90 | 0.000 % |
185.06/185.24 c | 122236 | 8709 99699 335365 | 2147483647 122236 90 | 0.000 % |
186.36/186.58 c | 122778 | 8709 99699 335365 | 2147483647 122778 91 | 0.000 % |
187.67/187.82 c | 123374 | 8709 99699 335365 | 2147483647 123374 91 | 0.000 % |
189.27/189.43 c | 124030 | 8709 99699 335365 | 2147483647 124030 91 | 0.000 % |
190.96/191.12 c | 124751 | 8709 99699 335365 | 2147483647 124751 91 | 0.000 % |
192.56/192.74 c | 125543 | 8709 99699 335365 | 2147483647 125543 92 | 0.000 % |
194.66/194.88 c | 126414 | 8709 99699 335365 | 2147483647 126414 92 | 0.000 % |
197.17/197.31 c | 127374 | 8709 99699 335365 | 2147483647 127374 92 | 0.000 % |
199.56/199.77 c | 128427 | 8709 99699 335365 | 2147483647 128427 92 | 0.000 % |
202.45/202.60 c | 129585 | 8709 99699 335365 | 2147483647 129585 93 | 0.000 % |
205.45/205.68 c | 130858 | 8709 99699 335365 | 2147483647 130858 93 | 0.000 % |
208.55/208.77 c | 132258 | 8709 99699 335365 | 2147483647 132258 94 | 0.000 % |
208.85/209.03 c | 132358 | 8709 99699 335365 | 2147483647 132358 94 | 0.000 % |
209.15/209.31 c | 132468 | 8709 99699 335365 | 2147483647 132468 94 | 0.000 % |
209.55/209.75 c | 132589 | 8709 99699 335365 | 2147483647 132589 93 | 0.000 % |
209.95/210.14 c | 132722 | 8709 99699 335365 | 2147483647 132722 94 | 0.000 % |
210.15/210.37 c | 132868 | 8709 99699 335365 | 2147483647 132868 94 | 0.000 % |
210.64/210.89 c | 133028 | 8709 99699 335365 | 2147483647 133028 94 | 0.000 % |
211.14/211.33 c | 133204 | 8709 99699 335365 | 2147483647 133204 94 | 0.000 % |
211.54/211.79 c | 133397 | 8709 99699 335365 | 2147483647 133397 94 | 0.000 % |
211.85/212.05 c | 133609 | 8709 99699 335365 | 2147483647 133609 94 | 0.000 % |
212.45/212.65 c | 133842 | 8709 99699 335365 | 2147483647 133842 94 | 0.000 % |
213.16/213.34 c | 134098 | 8709 99699 335365 | 2147483647 134098 94 | 0.000 % |
213.85/214.03 c | 134379 | 8709 99699 335365 | 2147483647 134379 94 | 0.000 % |
214.65/214.82 c | 134688 | 8709 99699 335365 | 2147483647 134688 94 | 0.000 % |
215.45/215.67 c | 135029 | 8709 99699 335365 | 2147483647 135029 94 | 0.000 % |
216.25/216.48 c | 135401 | 8709 99699 335365 | 2147483647 135401 94 | 0.000 % |
217.25/217.44 c | 135811 | 8709 99699 335365 | 2147483647 135811 95 | 0.000 % |
218.65/218.86 c | 136260 | 8709 99699 335365 | 2147483647 136260 95 | 0.000 % |
219.85/220.02 c | 136753 | 8709 99699 335365 | 2147483647 136753 95 | 0.000 % |
220.54/220.79 c | 137295 | 8709 99699 335365 | 2147483647 137295 95 | 0.000 % |
222.14/222.37 c | 137891 | 8709 99699 335365 | 2147483647 137891 96 | 0.000 % |
223.74/223.96 c | 138546 | 8709 99699 335365 | 2147483647 138546 96 | 0.000 % |
225.54/225.70 c | 139266 | 8709 99699 335365 | 2147483647 139266 96 | 0.000 % |
227.64/227.88 c | 140058 | 8709 99699 335365 | 140001 140058 96 | 0.000 % |
229.83/230.04 c | 140929 | 8709 99699 335365 | 140001 125376 93 | 0.000 % |
231.94/232.12 c | 141887 | 8709 99699 335365 | 140001 126334 93 | 0.000 % |
234.43/234.63 c | 142940 | 8709 99699 335365 | 140001 127387 94 | 0.000 % |
236.73/236.98 c | 144098 | 8709 99699 335365 | 140001 128545 94 | 0.000 % |
239.93/240.18 c | 145371 | 8709 99699 335365 | 140001 129818 94 | 0.000 % |
243.43/243.60 c | 146772 | 8709 99699 335365 | 140001 131219 95 | 0.000 % |
247.23/247.49 c | 148312 | 8709 99699 335365 | 140001 132759 95 | 0.000 % |
247.52/247.79 c | 148412 | 8709 99699 335365 | 140001 132859 95 | 0.000 % |
247.92/248.13 c | 148522 | 8709 99699 335365 | 140001 132969 95 | 0.000 % |
248.22/248.45 c | 148643 | 8709 99699 335365 | 140001 133090 95 | 0.000 % |
248.62/248.80 c | 148776 | 8709 99699 335365 | 140001 133223 95 | 0.000 % |
249.02/249.24 c | 148922 | 8709 99699 335365 | 140001 133369 95 | 0.000 % |
249.42/249.60 c | 149083 | 8709 99699 335365 | 140001 133530 95 | 0.000 % |
249.72/249.99 c | 149261 | 8709 99699 335365 | 140001 133708 95 | 0.000 % |
250.12/250.38 c | 149455 | 8709 99699 335365 | 140001 133902 95 | 0.000 % |
250.73/250.93 c | 149667 | 8709 99699 335365 | 140001 134114 96 | 0.000 % |
251.33/251.52 c | 149900 | 8709 99699 335365 | 140001 134347 96 | 0.000 % |
252.03/252.28 c | 150156 | 8709 99699 335365 | 134447 134603 96 | 0.000 % |
252.63/252.80 c | 150437 | 8709 99699 335365 | 134447 119059 93 | 0.000 % |
253.23/253.49 c | 150749 | 8709 99699 335365 | 134447 119371 93 | 0.000 % |
254.13/254.31 c | 151088 | 8709 99699 335365 | 134447 119710 93 | 0.000 % |
254.63/254.86 c | 151461 | 8709 99699 335365 | 134447 120083 94 | 0.000 % |
255.73/255.95 c | 151870 | 8709 99699 335365 | 134447 120492 94 | 0.000 % |
256.93/257.17 c | 152320 | 8709 99699 335365 | 134447 120942 94 | 0.000 % |
258.23/258.44 c | 152813 | 8709 99699 335365 | 134447 121435 94 | 0.000 % |
259.62/259.81 c | 153356 | 8709 99699 335365 | 134447 121978 94 | 0.000 % |
260.92/261.14 c | 153952 | 8709 99699 335365 | 134447 122574 94 | 0.000 % |
262.42/262.67 c | 154607 | 8709 99699 335365 | 134447 123229 94 | 0.000 % |
264.22/264.43 c | 155327 | 8709 99699 335365 | 134447 123949 95 | 0.000 % |
266.03/266.25 c | 156119 | 8709 99699 335365 | 134447 124741 95 | 0.000 % |
268.02/268.29 c | 156990 | 8709 99699 335365 | 134447 125612 95 | 0.000 % |
270.33/270.58 c | 157948 | 8709 99699 335365 | 134447 126570 96 | 0.000 % |
272.52/272.76 c | 159003 | 8709 99699 335365 | 134447 127625 97 | 0.000 % |
275.12/275.38 c | 160162 | 8709 99699 335365 | 128622 128784 97 | 0.000 % |
278.42/278.68 c | 161435 | 8709 99699 335365 | 128622 116524 94 | 0.000 % |
281.52/281.79 c | 162835 | 8709 99699 335365 | 128622 117924 95 | 0.000 % |
285.32/285.53 c | 164375 | 8709 99699 335365 | 128622 119464 95 | 0.000 % |
289.52/289.70 c | 166070 | 8709 99699 335365 | 128622 121159 96 | 0.000 % |
289.72/289.92 c | 166170 | 8709 99699 335365 | 128622 121259 96 | 0.000 % |
289.92/290.19 c | 166281 | 8709 99699 335365 | 128622 121370 96 | 0.000 % |
290.32/290.56 c | 166402 | 8709 99699 335365 | 128622 121491 96 | 0.000 % |
290.71/290.90 c | 166535 | 8709 99699 335365 | 128622 121624 96 | 0.000 % |
291.01/291.27 c | 166681 | 8709 99699 335365 | 128622 121770 96 | 0.000 % |
291.41/291.62 c | 166841 | 8709 99699 335365 | 128622 121930 96 | 0.000 % |
291.81/292.03 c | 167017 | 8709 99699 335365 | 128622 122106 96 | 0.000 % |
292.41/292.63 c | 167210 | 8709 99699 335365 | 128622 122299 96 | 0.000 % |
293.01/293.21 c | 167422 | 8709 99699 335365 | 128622 122511 96 | 0.000 % |
293.51/293.70 c | 167657 | 8709 99699 335365 | 128622 122746 96 | 0.000 % |
294.01/294.23 c | 167913 | 8709 99699 335365 | 128622 123002 96 | 0.000 % |
294.71/294.99 c | 168194 | 8709 99699 335365 | 128622 123283 96 | 0.000 % |
295.41/295.69 c | 168503 | 8709 99699 335365 | 128622 123592 96 | 0.000 % |
296.21/296.45 c | 168842 | 8709 99699 335365 | 128622 123931 96 | 0.000 % |
297.21/297.41 c | 169215 | 8709 99699 335365 | 128622 124304 97 | 0.000 % |
298.10/298.38 c | 169624 | 8709 99699 335365 | 128622 124713 97 | 0.000 % |
299.10/299.34 c | 170074 | 8709 99699 335365 | 2147483647 125163 97 | 0.000 % |
300.20/300.47 c | 170567 | 8709 99699 335365 | 2147483647 125656 97 | 0.000 % |
301.60/301.80 c | 171109 | 8709 99699 335365 | 2147483647 126198 97 | 0.000 % |
303.00/303.28 c | 171705 | 8709 99699 335365 | 2147483647 126794 98 | 0.000 % |
304.70/304.97 c | 172360 | 8709 99699 335365 | 2147483647 127449 98 | 0.000 % |
306.61/306.81 c | 173082 | 8709 99699 335365 | 2147483647 128171 98 | 0.000 % |
308.40/308.64 c | 173874 | 8709 99699 335365 | 2147483647 128963 98 | 0.000 % |
310.40/310.60 c | 174745 | 8709 99699 335365 | 2147483647 129834 99 | 0.000 % |
312.50/312.74 c | 175704 | 8709 99699 335365 | 2147483647 130793 99 | 0.000 % |
314.70/314.90 c | 176757 | 8709 99699 335365 | 2147483647 131846 100 | 0.000 % |
317.20/317.43 c | 177915 | 8709 99699 335365 | 2147483647 133004 100 | 0.000 % |
320.29/320.56 c | 179188 | 8709 99699 335365 | 2147483647 134277 100 | 0.000 % |
323.49/323.78 c | 180588 | 8709 99699 335365 | 135089 135677 101 | 0.000 % |
326.99/327.29 c | 182128 | 8709 99699 335365 | 135089 119769 97 | 0.000 % |
330.89/331.14 c | 183822 | 8709 99699 335365 | 135089 121463 97 | 0.000 % |
335.09/335.34 c | 185686 | 8709 99699 335365 | 135089 123327 98 | 0.000 % |
335.29/335.55 c | 185786 | 8709 99699 335365 | 135089 123427 98 | 0.000 % |
335.49/335.79 c | 185896 | 8709 99699 335365 | 135089 123537 98 | 0.000 % |
335.79/336.03 c | 186017 | 8709 99699 335365 | 135089 123658 98 | 0.000 % |
336.09/336.35 c | 186151 | 8709 99699 335365 | 135089 123792 98 | 0.000 % |
336.49/336.70 c | 186297 | 8709 99699 335365 | 135089 123938 98 | 0.000 % |
336.79/337.01 c | 186457 | 8709 99699 335365 | 135089 124098 98 | 0.000 % |
337.38/337.60 c | 186633 | 8709 99699 335365 | 135089 124274 98 | 0.000 % |
337.78/338.03 c | 186827 | 8709 99699 335365 | 135089 124468 98 | 0.000 % |
338.28/338.50 c | 187043 | 8709 99699 335365 | 135089 124684 98 | 0.000 % |
338.68/338.98 c | 187276 | 8709 99699 335365 | 135089 124917 98 | 0.000 % |
339.28/339.57 c | 187533 | 8709 99699 335365 | 135089 125174 98 | 0.000 % |
339.88/340.18 c | 187816 | 8709 99699 335365 | 135089 125457 99 | 0.000 % |
340.58/340.83 c | 188125 | 8709 99699 335365 | 135089 125766 99 | 0.000 % |
341.38/341.62 c | 188465 | 8709 99699 335365 | 135089 126106 99 | 0.000 % |
342.18/342.49 c | 188837 | 8709 99699 335365 | 135089 126478 99 | 0.000 % |
343.28/343.55 c | 189248 | 8709 99699 335365 | 135089 126889 99 | 0.000 % |
344.08/344.40 c | 189697 | 8709 99699 335365 | 135089 127338 99 | 0.000 % |
345.38/345.60 c | 190190 | 8709 99699 335365 | 127641 127831 99 | 0.000 % |
346.68/346.91 c | 190732 | 8709 99699 335365 | 127641 114155 96 | 0.000 % |
348.08/348.31 c | 191328 | 8709 99699 335365 | 127641 114751 96 | 0.000 % |
349.58/349.83 c | 191985 | 8709 99699 335365 | 127641 115408 97 | 0.000 % |
351.07/351.32 c | 192705 | 8709 99699 335365 | 127641 116128 97 | 0.000 % |
352.67/352.98 c | 193497 | 8709 99699 335365 | 127641 116920 97 | 0.000 % |
354.67/354.90 c | 194368 | 8709 99699 335365 | 127641 117791 98 | 0.000 % |
356.67/356.93 c | 195328 | 8709 99699 335365 | 127641 118751 98 | 0.000 % |
358.87/359.18 c | 196382 | 8709 99699 335365 | 127641 119805 98 | 0.000 % |
361.27/361.51 c | 197542 | 8709 99699 335365 | 127641 120965 99 | 0.000 % |
364.17/364.48 c | 198815 | 8709 99699 335365 | 127641 122238 99 | 0.000 % |
367.67/367.96 c | 200215 | 8709 99699 335365 | 2147483647 123638 100 | 0.000 % |
371.17/371.42 c | 201755 | 8709 99699 335365 | 2147483647 125178 100 | 0.000 % |
374.97/375.25 c | 203449 | 8709 99699 335365 | 2147483647 126872 101 | 0.000 % |
379.36/379.61 c | 205312 | 8709 99699 335365 | 2147483647 128735 101 | 0.000 % |
384.36/384.67 c | 207361 | 8709 99699 335365 | 2147483647 130784 102 | 0.000 % |
384.56/384.88 c | 207461 | 8709 99699 335365 | 2147483647 130884 102 | 0.000 % |
384.86/385.13 c | 207571 | 8709 99699 335365 | 2147483647 130994 102 | 0.000 % |
385.16/385.45 c | 207692 | 8709 99699 335365 | 2147483647 131115 102 | 0.000 % |
385.46/385.74 c | 207825 | 8709 99699 335365 | 2147483647 131248 102 | 0.000 % |
385.76/386.08 c | 207971 | 8709 99699 335365 | 2147483647 131394 102 | 0.000 % |
386.25/386.50 c | 208131 | 8709 99699 335365 | 2147483647 131554 102 | 0.000 % |
386.65/386.98 c | 208308 | 8709 99699 335365 | 2147483647 131731 102 | 0.000 % |
387.15/387.48 c | 208501 | 8709 99699 335365 | 2147483647 131924 103 | 0.000 % |
387.85/388.14 c | 208713 | 8709 99699 335365 | 2147483647 132136 103 | 0.000 % |
388.45/388.73 c | 208946 | 8709 99699 335365 | 2147483647 132369 103 | 0.000 % |
388.96/389.27 c | 209203 | 8709 99699 335365 | 2147483647 132626 103 | 0.000 % |
389.65/389.91 c | 209484 | 8709 99699 335365 | 2147483647 132907 103 | 0.000 % |
390.45/390.76 c | 209793 | 8709 99699 335365 | 2147483647 133216 103 | 0.000 % |
391.36/391.67 c | 210132 | 8709 99699 335365 | 133424 133555 103 | 0.000 % |
392.25/392.57 c | 210504 | 8709 99699 335365 | 133424 117219 98 | 0.000 % |
393.05/393.33 c | 210913 | 8709 99699 335365 | 133424 117628 98 | 0.000 % |
393.95/394.25 c | 211362 | 8709 99699 335365 | 133424 118077 98 | 0.000 % |
394.95/395.25 c | 211859 | 8709 99699 335365 | 133424 118574 99 | 0.000 % |
395.95/396.28 c | 212401 | 8709 99699 335365 | 133424 119116 99 | 0.000 % |
397.15/397.45 c | 212997 | 8709 99699 335365 | 133424 119712 99 | 0.000 % |
398.45/398.78 c | 213653 | 8709 99699 335365 | 133424 120368 100 | 0.000 % |
399.95/400.29 c | 214373 | 8709 99699 335365 | 133424 121088 100 | 0.000 % |
401.85/402.10 c | 215165 | 8709 99699 335365 | 133424 121880 100 | 0.000 % |
403.75/404.06 c | 216036 | 8709 99699 335365 | 133424 122751 100 | 0.000 % |
406.15/406.50 c | 216996 | 8709 99699 335365 | 133424 123711 101 | 0.000 % |
408.74/409.06 c | 218049 | 8709 99699 335365 | 133424 124764 101 | 0.000 % |
411.44/411.71 c | 219207 | 8709 99699 335365 | 133424 125922 101 | 0.000 % |
414.35/414.65 c | 220480 | 8709 99699 335365 | 126717 113101 97 | 0.000 % |
417.75/418.01 c | 221880 | 8709 99699 335365 | 126717 114501 98 | 0.000 % |
421.64/421.92 c | 223420 | 8709 99699 335365 | 126717 116041 98 | 0.000 % |
425.35/425.60 c | 225114 | 8709 99699 335365 | 126717 117735 99 | 0.000 % |
429.74/430.00 c | 226980 | 8709 99699 335365 | 126717 119601 100 | 0.000 % |
434.43/434.77 c | 229029 | 8709 99699 335365 | 126717 121650 100 | 0.000 % |
439.43/439.71 c | 231282 | 8709 99699 335365 | 2147483647 123903 101 | 0.000 % |
439.64/439.94 c | 231382 | 8709 99699 335365 | 2147483647 124003 101 | 0.000 % |
439.83/440.15 c | 231492 | 8709 99699 335365 | 2147483647 124113 101 | 0.000 % |
440.23/440.55 c | 231614 | 8709 99699 335365 | 2147483647 124235 101 | 0.000 % |
440.53/440.89 c | 231749 | 8709 99699 335365 | 2147483647 124370 101 | 0.000 % |
441.03/441.30 c | 231895 | 8709 99699 335365 | 2147483647 124516 101 | 0.000 % |
441.43/441.72 c | 232055 | 8709 99699 335365 | 2147483647 124676 101 | 0.000 % |
441.83/442.12 c | 232232 | 8709 99699 335365 | 2147483647 124853 101 | 0.000 % |
442.23/442.56 c | 232425 | 8709 99699 335365 | 2147483647 125046 101 | 0.000 % |
442.73/443.09 c | 232638 | 8709 99699 335365 | 2147483647 125259 101 | 0.000 % |
443.33/443.65 c | 232871 | 8709 99699 335365 | 2147483647 125492 102 | 0.000 % |
444.03/444.31 c | 233127 | 8709 99699 335365 | 2147483647 125748 102 | 0.000 % |
444.63/444.98 c | 233408 | 8709 99699 335365 | 2147483647 126029 102 | 0.000 % |
445.43/445.73 c | 233717 | 8709 99699 335365 | 2147483647 126338 102 | 0.000 % |
446.33/446.65 c | 234056 | 8709 99699 335365 | 2147483647 126677 102 | 0.000 % |
447.33/447.61 c | 234429 | 8709 99699 335365 | 2147483647 127050 102 | 0.000 % |
448.13/448.44 c | 234840 | 8709 99699 335365 | 2147483647 127461 102 | 0.000 % |
449.33/449.61 c | 235289 | 8709 99699 335365 | 2147483647 127910 102 | 0.000 % |
450.33/450.66 c | 235783 | 8709 99699 335365 | 2147483647 128404 102 | 0.000 % |
451.63/451.96 c | 236325 | 8709 99699 335365 | 2147483647 128946 103 | 0.000 % |
452.53/452.82 c | 236921 | 8709 99699 335365 | 2147483647 129542 103 | 0.000 % |
454.22/454.53 c | 237576 | 8709 99699 335365 | 2147483647 130197 103 | 0.000 % |
455.62/455.95 c | 238297 | 8709 99699 335365 | 2147483647 130918 104 | 0.000 % |
457.42/457.73 c | 239090 | 8709 99699 335365 | 2147483647 131711 104 | 0.000 % |
459.33/459.64 c | 239961 | 8709 99699 335365 | 2147483647 132582 105 | 0.000 % |
462.03/462.35 c | 240920 | 8709 99699 335365 | 132621 117134 99 | 0.000 % |
464.53/464.89 c | 241973 | 8709 99699 335365 | 132621 118187 99 | 0.000 % |
467.23/467.54 c | 243131 | 8709 99699 335365 | 132621 119345 100 | 0.000 % |
470.23/470.51 c | 244405 | 8709 99699 335365 | 132621 120619 100 | 0.000 % |
473.32/473.70 c | 245806 | 8709 99699 335365 | 132621 122020 101 | 0.000 % |
477.02/477.33 c | 247346 | 8709 99699 335365 | 132621 123560 101 | 0.000 % |
481.22/481.54 c | 249040 | 8709 99699 335365 | 132621 125254 102 | 0.000 % |
485.52/485.83 c | 250904 | 8709 99699 335365 | 126214 112868 98 | 0.000 % |
490.01/490.33 c | 252953 | 8709 99699 335365 | 126214 114917 99 | 0.000 % |
495.21/495.56 c | 255206 | 8709 99699 335365 | 126214 117170 99 | 0.000 % |
501.01/501.34 c | 257686 | 8709 99699 335365 | 126214 119650 100 | 0.000 % |
501.22/501.57 c | 257786 | 8709 99699 335365 | 126214 119750 100 | 0.000 % |
501.51/501.82 c | 257896 | 8709 99699 335365 | 126214 119860 100 | 0.000 % |
501.71/502.00 c | 258018 | 8709 99699 335365 | 126214 119982 100 | 0.000 % |
501.91/502.26 c | 258153 | 8709 99699 335365 | 126214 120117 100 | 0.000 % |
502.21/502.55 c | 258299 | 8709 99699 335365 | 126214 120263 100 | 0.000 % |
502.61/502.92 c | 258460 | 8709 99699 335365 | 126214 120424 100 | 0.000 % |
503.01/503.37 c | 258636 | 8709 99699 335365 | 126214 120600 100 | 0.000 % |
503.41/503.76 c | 258829 | 8709 99699 335365 | 126214 120793 100 | 0.000 % |
504.01/504.31 c | 259041 | 8709 99699 335365 | 126214 121005 100 | 0.000 % |
504.51/504.86 c | 259275 | 8709 99699 335365 | 126214 121239 101 | 0.000 % |
505.11/505.47 c | 259532 | 8709 99699 335365 | 126214 121496 101 | 0.000 % |
505.81/506.14 c | 259813 | 8709 99699 335365 | 126214 121777 101 | 0.000 % |
506.41/506.79 c | 260123 | 8709 99699 335365 | 2147483647 122087 101 | 0.000 % |
507.21/507.59 c | 260463 | 8709 99699 335365 | 2147483647 122427 101 | 0.000 % |
508.11/508.46 c | 260835 | 8709 99699 335365 | 2147483647 122799 101 | 0.000 % |
509.11/509.47 c | 261244 | 8709 99699 335365 | 2147483647 123208 101 | 0.000 % |
510.11/510.44 c | 261694 | 8709 99699 335365 | 2147483647 123658 101 | 0.000 % |
511.11/511.45 c | 262187 | 8709 99699 335365 | 2147483647 124151 101 | 0.000 % |
512.31/512.61 c | 262729 | 8709 99699 335365 | 2147483647 124693 102 | 0.000 % |
513.51/513.88 c | 263325 | 8709 99699 335365 | 2147483647 125289 102 | 0.000 % |
515.20/515.55 c | 263980 | 8709 99699 335365 | 2147483647 125944 102 | 0.000 % |
517.00/517.35 c | 264700 | 8709 99699 335365 | 2147483647 126664 102 | 0.000 % |
518.80/519.18 c | 265492 | 8709 99699 335365 | 2147483647 127456 103 | 0.000 % |
520.90/521.30 c | 266364 | 8709 99699 335365 | 2147483647 128328 103 | 0.000 % |
523.30/523.63 c | 267323 | 8709 99699 335365 | 2147483647 129287 104 | 0.000 % |
525.70/526.03 c | 268376 | 8709 99699 335365 | 2147483647 130340 104 | 0.000 % |
528.49/528.80 c | 269534 | 8709 99699 335365 | 2147483647 131498 104 | 0.000 % |
531.49/531.82 c | 270807 | 8709 99699 335365 | 131964 116273 99 | 0.000 % |
534.79/535.19 c | 272207 | 8709 99699 335365 | 131964 117673 100 | 0.000 % |
538.49/538.84 c | 273748 | 8709 99699 335365 | 131964 119214 100 | 0.000 % |
542.19/542.60 c | 275442 | 8709 99699 335365 | 131964 120908 101 | 0.000 % |
546.99/547.36 c | 277306 | 8709 99699 335365 | 131964 122772 101 | 0.000 % |
551.19/551.53 c | 279355 | 8709 99699 335365 | 131964 124821 102 | 0.000 % |
556.39/556.74 c | 281611 | 8709 99699 335365 | 125466 113021 97 | 0.000 % |
561.98/562.30 c | 284089 | 8709 99699 335365 | 125466 115499 98 | 0.000 % |
568.08/568.43 c | 286814 | 8709 99699 335365 | 125466 118224 99 | 0.000 % |
568.28/568.67 c | 286914 | 8709 99699 335365 | 125466 118324 99 | 0.000 % |
568.58/568.94 c | 287024 | 8709 99699 335365 | 125466 118434 99 | 0.000 % |
568.98/569.33 c | 287145 | 8709 99699 335365 | 125466 118555 99 | 0.000 % |
569.28/569.66 c | 287279 | 8709 99699 335365 | 125466 118689 99 | 0.000 % |
569.68/570.02 c | 287425 | 8709 99699 335365 | 125466 118835 99 | 0.000 % |
569.98/570.37 c | 287587 | 8709 99699 335365 | 125466 118997 99 | 0.000 % |
570.48/570.85 c | 287763 | 8709 99699 335365 | 125466 119173 99 | 0.000 % |
570.98/571.31 c | 287956 | 8709 99699 335365 | 125466 119366 99 | 0.000 % |
571.38/571.76 c | 288170 | 8709 99699 335365 | 125466 119580 99 | 0.000 % |
571.98/572.35 c | 288404 | 8709 99699 335365 | 125466 119814 99 | 0.000 % |
572.78/573.12 c | 288660 | 8709 99699 335365 | 125466 120070 99 | 0.000 % |
573.37/573.74 c | 288942 | 8709 99699 335365 | 125466 120352 99 | 0.000 % |
574.07/574.42 c | 289252 | 8709 99699 335365 | 125466 120662 99 | 0.000 % |
574.67/575.02 c | 289594 | 8709 99699 335365 | 125466 121004 100 | 0.000 % |
575.57/575.96 c | 289966 | 8709 99699 335365 | 125466 121376 100 | 0.000 % |
576.47/576.80 c | 290375 | 8709 99699 335365 | 2147483647 121785 100 | 0.000 % |
577.48/577.81 c | 290824 | 8709 99699 335365 | 2147483647 122234 100 | 0.000 % |
578.47/578.87 c | 291317 | 8709 99699 335365 | 2147483647 122727 101 | 0.000 % |
579.77/580.17 c | 291859 | 8709 99699 335365 | 2147483647 123269 101 | 0.000 % |
581.27/581.66 c | 292456 | 8709 99699 335365 | 2147483647 123866 101 | 0.000 % |
582.87/583.22 c | 293113 | 8709 99699 335365 | 2147483647 124523 101 | 0.000 % |
584.57/584.90 c | 293835 | 8709 99699 335365 | 2147483647 125245 101 | 0.000 % |
586.07/586.49 c | 294627 | 8709 99699 335365 | 2147483647 126037 102 | 0.000 % |
588.07/588.41 c | 295498 | 8709 99699 335365 | 2147483647 126908 102 | 0.000 % |
590.47/590.87 c | 296456 | 8709 99699 335365 | 2147483647 127866 103 | 0.000 % |
593.07/593.49 c | 297509 | 8709 99699 335365 | 2147483647 128919 103 | 0.000 % |
595.77/596.17 c | 298667 | 8709 99699 335365 | 2147483647 130077 103 | 0.000 % |
599.17/599.53 c | 299940 | 8709 99699 335365 | 2147483647 131350 104 | 0.000 % |
601.97/602.36 c | 301341 | 8709 99699 335365 | 131410 132751 104 | 0.000 % |
605.46/605.88 c | 302883 | 8709 99699 335365 | 131410 118191 99 | 0.000 % |
609.66/610.06 c | 304577 | 8709 99699 335365 | 131410 119885 100 | 0.000 % |
613.75/614.15 c | 306443 | 8709 99699 335365 | 131410 121751 101 | 0.000 % |
617.95/618.33 c | 308492 | 8709 99699 335365 | 131410 123800 101 | 0.000 % |
623.26/623.66 c | 310745 | 8709 99699 335365 | 125308 111711 97 | 0.000 % |
628.86/629.25 c | 313223 | 8709 99699 335365 | 125308 114189 97 | 0.000 % |
634.95/635.34 c | 315948 | 8709 99699 335365 | 125308 116914 99 | 0.000 % |
641.65/642.02 c | 318945 | 8709 99699 335365 | 125308 119911 100 | 0.000 % |
641.85/642.22 c | 319045 | 8709 99699 335365 | 125308 120011 100 | 0.000 % |
642.05/642.48 c | 319155 | 8709 99699 335365 | 125308 120121 100 | 0.000 % |
642.35/642.79 c | 319276 | 8709 99699 335365 | 125308 120242 100 | 0.000 % |
642.75/643.16 c | 319410 | 8709 99699 335365 | 125308 120376 100 | 0.000 % |
643.15/643.54 c | 319556 | 8709 99699 335365 | 125308 120522 100 | 0.000 % |
643.55/643.95 c | 319716 | 8709 99699 335365 | 125308 120682 100 | 0.000 % |
643.85/644.27 c | 319892 | 8709 99699 335365 | 125308 120858 100 | 0.000 % |
644.35/644.74 c | 320085 | 8709 99699 335365 | 2147483647 121051 100 | 0.000 % |
644.65/645.07 c | 320297 | 8709 99699 335365 | 2147483647 121263 101 | 0.000 % |
645.25/645.61 c | 320531 | 8709 99699 335365 | 2147483647 121497 101 | 0.000 % |
645.84/646.28 c | 320787 | 8709 99699 335365 | 2147483647 121753 101 | 0.000 % |
646.64/647.01 c | 321068 | 8709 99699 335365 | 2147483647 122034 101 | 0.000 % |
647.45/647.85 c | 321377 | 8709 99699 335365 | 2147483647 122343 101 | 0.000 % |
648.24/648.64 c | 321717 | 8709 99699 335365 | 2147483647 122683 101 | 0.000 % |
649.34/649.73 c | 322089 | 8709 99699 335365 | 2147483647 123055 101 | 0.000 % |
650.24/650.67 c | 322499 | 8709 99699 335365 | 2147483647 123465 101 | 0.000 % |
651.34/651.74 c | 322948 | 8709 99699 335365 | 2147483647 123914 101 | 0.000 % |
652.54/652.95 c | 323442 | 8709 99699 335365 | 2147483647 124408 101 | 0.000 % |
653.53/653.95 c | 323984 | 8709 99699 335365 | 2147483647 124950 102 | 0.000 % |
655.03/655.49 c | 324583 | 8709 99699 335365 | 2147483647 125549 102 | 0.000 % |
656.63/657.04 c | 325238 | 8709 99699 335365 | 2147483647 126204 102 | 0.000 % |
658.33/658.75 c | 325958 | 8709 99699 335365 | 2147483647 126924 102 | 0.000 % |
660.23/660.64 c | 326750 | 8709 99699 335365 | 2147483647 127716 103 | 0.000 % |
662.43/662.84 c | 327621 | 8709 99699 335365 | 2147483647 128587 103 | 0.000 % |
664.53/664.94 c | 328579 | 8709 99699 335365 | 2147483647 129545 103 | 0.000 % |
667.03/667.47 c | 329632 | 8709 99699 335365 | 2147483647 130598 104 | 0.000 % |
669.43/669.80 c | 330790 | 8709 99699 335365 | 130968 116076 99 | 0.000 % |
672.32/672.78 c | 332065 | 8709 99699 335365 | 130968 117351 99 | 0.000 % |
675.62/676.02 c | 333465 | 8709 99699 335365 | 130968 118751 100 | 0.000 % |
679.02/679.43 c | 335006 | 8709 99699 335365 | 130968 120292 100 | 0.000 % |
682.92/683.39 c | 336700 | 8709 99699 335365 | 130968 121986 101 | 0.000 % |
687.03/687.46 c | 338564 | 8709 99699 335365 | 130968 123850 101 | 0.000 % |
691.12/691.54 c | 340614 | 8709 99699 335365 | 125286 111747 97 | 0.000 % |
696.32/696.75 c | 342868 | 8709 99699 335365 | 125286 114001 98 | 0.000 % |
701.51/701.91 c | 345347 | 8709 99699 335365 | 125286 116480 100 | 0.000 % |
707.51/707.96 c | 348072 | 8709 99699 335365 | 125286 119205 101 | 0.000 % |
714.21/714.61 c | 351069 | 8709 99699 335365 | 2147483647 122202 102 | 0.000 % |
721.60/722.04 c | 354365 | 8709 99699 335365 | 2147483647 125498 103 | 0.000 % |
721.90/722.33 c | 354465 | 8709 99699 335365 | 2147483647 125598 103 | 0.000 % |
722.21/722.65 c | 354577 | 8709 99699 335365 | 2147483647 125710 103 | 0.000 % |
722.61/723.02 c | 354699 | 8709 99699 335365 | 2147483647 125832 103 | 0.000 % |
722.91/723.34 c | 354832 | 8709 99699 335365 | 2147483647 125965 104 | 0.000 % |
723.21/723.65 c | 354980 | 8709 99699 335365 | 2147483647 126113 104 | 0.000 % |
723.60/724.04 c | 355141 | 8709 99699 335365 | 2147483647 126274 104 | 0.000 % |
724.10/724.54 c | 355317 | 8709 99699 335365 | 2147483647 126450 104 | 0.000 % |
724.51/724.92 c | 355511 | 8709 99699 335365 | 2147483647 126644 104 | 0.000 % |
725.10/725.55 c | 355723 | 8709 99699 335365 | 2147483647 126856 104 | 0.000 % |
725.51/725.93 c | 355957 | 8709 99699 335365 | 2147483647 127090 104 | 0.000 % |
726.00/726.46 c | 356214 | 8709 99699 335365 | 2147483647 127347 104 | 0.000 % |
726.50/726.97 c | 356495 | 8709 99699 335365 | 2147483647 127628 104 | 0.000 % |
727.20/727.63 c | 356804 | 8709 99699 335365 | 2147483647 127937 104 | 0.000 % |
727.81/728.26 c | 357144 | 8709 99699 335365 | 2147483647 128277 105 | 0.000 % |
728.81/729.28 c | 357516 | 8709 99699 335365 | 2147483647 128649 105 | 0.000 % |
729.91/730.38 c | 357925 | 8709 99699 335365 | 2147483647 129058 105 | 0.000 % |
731.10/731.52 c | 358374 | 8709 99699 335365 | 2147483647 129507 105 | 0.000 % |
732.30/732.71 c | 358867 | 8709 99699 335365 | 2147483647 130000 105 | 0.000 % |
733.40/733.83 c | 359411 | 8709 99699 335365 | 2147483647 130544 105 | 0.000 % |
734.70/735.14 c | 360009 | 8709 99699 335365 | 131134 131142 106 | 0.000 % |
736.40/736.89 c | 360664 | 8709 99699 335365 | 131134 116034 100 | 0.000 % |
738.09/738.52 c | 361385 | 8709 99699 335365 | 131134 116755 100 | 0.000 % |
739.90/740.33 c | 362177 | 8709 99699 335365 | 131134 117547 101 | 0.000 % |
741.69/742.15 c | 363048 | 8709 99699 335365 | 131134 118418 101 | 0.000 % |
743.89/744.35 c | 364006 | 8709 99699 335365 | 131134 119376 102 | 0.000 % |
745.89/746.36 c | 365059 | 8709 99699 335365 | 131134 120429 102 | 0.000 % |
748.49/748.97 c | 366218 | 8709 99699 335365 | 131134 121588 103 | 0.000 % |
751.38/751.85 c | 367491 | 8709 99699 335365 | 131134 122861 103 | 0.000 % |
754.28/754.75 c | 368891 | 8709 99699 335365 | 131134 124261 104 | 0.000 % |
757.78/758.28 c | 370431 | 8709 99699 335365 | 125371 125801 104 | 0.000 % |
761.28/761.70 c | 372125 | 8709 99699 335365 | 125371 112765 99 | 0.000 % |
765.28/765.77 c | 373988 | 8709 99699 335365 | 125371 114628 100 | 0.000 % |
769.58/770.01 c | 376037 | 8709 99699 335365 | 125371 116677 101 | 0.000 % |
774.48/774.99 c | 378292 | 8709 99699 335365 | 125371 118932 102 | 0.000 % |
779.87/780.33 c | 380770 | 8709 99699 335365 | 120640 108676 98 | 0.000 % |
785.67/786.17 c | 383495 | 8709 99699 335365 | 120640 111401 99 | 0.000 % |
791.96/792.44 c | 386492 | 8709 99699 335365 | 120640 114398 101 | 0.000 % |
799.76/800.24 c | 389789 | 8709 99699 335365 | 120640 117695 101 | 0.000 % |
807.16/807.68 c | 393414 | 8709 99699 335365 | 2147483647 121320 103 | 0.000 % |
807.36/807.86 c | 393514 | 8709 99699 335365 | 2147483647 121420 103 | 0.000 % |
807.66/808.11 c | 393624 | 8709 99699 335365 | 2147483647 121530 103 | 0.000 % |
807.86/808.35 c | 393747 | 8709 99699 335365 | 2147483647 121653 103 | 0.000 % |
808.16/808.66 c | 393882 | 8709 99699 335365 | 2147483647 121788 103 | 0.000 % |
808.36/808.87 c | 394028 | 8709 99699 335365 | 2147483647 121934 103 | 0.000 % |
808.86/809.35 c | 394189 | 8709 99699 335365 | 2147483647 122095 103 | 0.000 % |
809.25/809.77 c | 394366 | 8709 99699 335365 | 2147483647 122272 103 | 0.000 % |
809.75/810.28 c | 394559 | 8709 99699 335365 | 2147483647 122465 103 | 0.000 % |
810.26/810.75 c | 394771 | 8709 99699 335365 | 2147483647 122677 103 | 0.000 % |
810.85/811.36 c | 395004 | 8709 99699 335365 | 2147483647 122910 103 | 0.000 % |
811.55/812.08 c | 395261 | 8709 99699 335365 | 2147483647 123167 103 | 0.000 % |
812.05/812.59 c | 395542 | 8709 99699 335365 | 2147483647 123448 104 | 0.000 % |
812.85/813.33 c | 395851 | 8709 99699 335365 | 2147483647 123757 104 | 0.000 % |
813.46/813.94 c | 396190 | 8709 99699 335365 | 2147483647 124096 104 | 0.000 % |
814.25/814.73 c | 396562 | 8709 99699 335365 | 2147483647 124468 104 | 0.000 % |
815.15/815.69 c | 396971 | 8709 99699 335365 | 2147483647 124877 104 | 0.000 % |
816.25/816.71 c | 397420 | 8709 99699 335365 | 2147483647 125326 104 | 0.000 % |
817.55/818.01 c | 397914 | 8709 99699 335365 | 2147483647 125820 104 | 0.000 % |
818.85/819.33 c | 398456 | 8709 99699 335365 | 2147483647 126362 105 | 0.000 % |
820.45/820.92 c | 399053 | 8709 99699 335365 | 2147483647 126959 105 | 0.000 % |
821.95/822.47 c | 399708 | 8709 99699 335365 | 2147483647 127614 105 | 0.000 % |
823.55/824.04 c | 400428 | 8709 99699 335365 | 127907 128334 105 | 0.000 % |
825.35/825.87 c | 401221 | 8709 99699 335365 | 127907 114725 100 | 0.000 % |
827.15/827.63 c | 402092 | 8709 99699 335365 | 127907 115596 100 | 0.000 % |
829.44/829.94 c | 403050 | 8709 99699 335365 | 127907 116554 101 | 0.000 % |
831.44/831.91 c | 404103 | 8709 99699 335365 | 127907 117607 101 | 0.000 % |
833.95/834.49 c | 405261 | 8709 99699 335365 | 127907 118765 102 | 0.000 % |
836.84/837.32 c | 406534 | 8709 99699 335365 | 127907 120038 102 | 0.000 % |
840.24/840.72 c | 407934 | 8709 99699 335365 | 127907 121438 103 | 0.000 % |
843.64/844.13 c | 409475 | 8709 99699 335365 | 127907 122979 104 | 0.000 % |
847.64/848.14 c | 411169 | 8709 99699 335365 | 123504 111778 99 | 0.000 % |
851.64/852.12 c | 413033 | 8709 99699 335365 | 123504 113642 99 | 0.000 % |
856.44/856.92 c | 415082 | 8709 99699 335365 | 123504 115691 100 | 0.000 % |
861.63/862.12 c | 417336 | 8709 99699 335365 | 123504 117945 100 | 0.000 % |
867.44/867.92 c | 419814 | 8709 99699 335365 | 123504 120423 101 | 0.000 % |
873.43/873.97 c | 422539 | 8709 99699 335365 | 2147483647 123148 103 | 0.000 % |
879.92/880.46 c | 425537 | 8709 99699 335365 | 2147483647 126146 104 | 0.000 % |
887.62/888.10 c | 428833 | 8709 99699 335365 | 2147483647 129442 105 | 0.000 % |
895.92/896.43 c | 432460 | 8709 99699 335365 | 130609 115725 99 | 0.000 % |
904.42/904.95 c | 436447 | 8709 99699 335365 | 130609 119712 100 | 0.000 % |
904.62/905.14 c | 436547 | 8709 99699 335365 | 130609 119812 100 | 0.000 % |
904.92/905.42 c | 436658 | 8709 99699 335365 | 130609 119923 100 | 0.000 % |
905.12/905.66 c | 436779 | 8709 99699 335365 | 130609 120044 100 | 0.000 % |
905.42/905.96 c | 436913 | 8709 99699 335365 | 130609 120178 100 | 0.000 % |
905.82/906.35 c | 437059 | 8709 99699 335365 | 130609 120324 100 | 0.000 % |
906.32/906.83 c | 437220 | 8709 99699 335365 | 130609 120485 100 | 0.000 % |
906.62/907.16 c | 437396 | 8709 99699 335365 | 130609 120661 100 | 0.000 % |
907.12/907.67 c | 437589 | 8709 99699 335365 | 130609 120854 100 | 0.000 % |
907.82/908.33 c | 437802 | 8709 99699 335365 | 130609 121067 100 | 0.000 % |
908.41/908.94 c | 438035 | 8709 99699 335365 | 130609 121300 100 | 0.000 % |
909.12/909.61 c | 438291 | 8709 99699 335365 | 130609 121556 101 | 0.000 % |
909.61/910.14 c | 438572 | 8709 99699 335365 | 130609 121837 101 | 0.000 % |
910.32/910.88 c | 438881 | 8709 99699 335365 | 130609 122146 101 | 0.000 % |
911.11/911.67 c | 439220 | 8709 99699 335365 | 130609 122485 101 | 0.000 % |
912.01/912.52 c | 439592 | 8709 99699 335365 | 130609 122857 101 | 0.000 % |
913.01/913.52 c | 440001 | 8709 99699 335365 | 123265 123266 101 | 0.000 % |
913.91/914.42 c | 440450 | 8709 99699 335365 | 123265 109844 96 | 0.000 % |
914.81/915.37 c | 440943 | 8709 99699 335365 | 123265 110337 96 | 0.000 % |
915.91/916.46 c | 441485 | 8709 99699 335365 | 123265 110879 96 | 0.000 % |
917.41/917.90 c | 442081 | 8709 99699 335365 | 123265 111475 96 | 0.000 % |
919.01/919.53 c | 442737 | 8709 99699 335365 | 123265 112131 97 | 0.000 % |
920.51/921.04 c | 443457 | 8709 99699 335365 | 123265 112851 97 | 0.000 % |
922.21/922.72 c | 444250 | 8709 99699 335365 | 123265 113644 97 | 0.000 % |
924.10/924.67 c | 445123 | 8709 99699 335365 | 123265 114517 98 | 0.000 % |
926.20/926.76 c | 446081 | 8709 99699 335365 | 123265 115475 98 | 0.000 % |
928.40/928.92 c | 447135 | 8709 99699 335365 | 123265 116529 98 | 0.000 % |
930.90/931.43 c | 448295 | 8709 99699 335365 | 123265 117689 99 | 0.000 % |
933.70/934.22 c | 449568 | 8709 99699 335365 | 123265 118962 99 | 0.000 % |
936.60/937.10 c | 450968 | 8709 99699 335365 | 2147483647 120362 100 | 0.000 % |
939.80/940.38 c | 452509 | 8709 99699 335365 | 2147483647 121903 101 | 0.000 % |
943.70/944.26 c | 454203 | 8709 99699 335365 | 2147483647 123597 101 | 0.000 % |
948.09/948.63 c | 456066 | 8709 99699 335365 | 2147483647 125460 102 | 0.000 % |
952.59/953.13 c | 458115 | 8709 99699 335365 | 2147483647 127509 103 | 0.000 % |
957.60/958.10 c | 460369 | 8709 99699 335365 | 129394 129763 104 | 0.000 % |
963.49/964.06 c | 462847 | 8709 99699 335365 | 129394 117226 99 | 0.000 % |
969.48/970.07 c | 465574 | 8709 99699 335365 | 129394 119953 100 | 0.000 % |
976.48/977.03 c | 468571 | 8709 99699 335365 | 129394 122950 101 | 0.000 % |
983.38/983.93 c | 471867 | 8709 99699 335365 | 124379 112584 96 | 0.000 % |
990.38/990.98 c | 475494 | 8709 99699 335365 | 124379 116211 99 | 0.000 % |
998.87/999.48 c | 479481 | 8709 99699 335365 | 124379 120198 101 | 0.000 % |
1008.37/1008.96 c | 483867 | 8709 99699 335365 | 120717 111715 98 | 0.000 % |
1008.57/1009.14 c | 483967 | 8709 99699 335365 | 120717 111815 98 | 0.000 % |
1008.87/1009.45 c | 484077 | 8709 99699 335365 | 120717 111925 98 | 0.000 % |
1009.27/1009.80 c | 484198 | 8709 99699 335365 | 120717 112046 98 | 0.000 % |
1009.47/1010.05 c | 484331 | 8709 99699 335365 | 120717 112179 98 | 0.000 % |
1009.67/1010.29 c | 484477 | 8709 99699 335365 | 120717 112325 99 | 0.000 % |
1010.07/1010.64 c | 484637 | 8709 99699 335365 | 120717 112485 99 | 0.000 % |
1010.47/1011.03 c | 484813 | 8709 99699 335365 | 120717 112661 99 | 0.000 % |
1010.87/1011.43 c | 485006 | 8709 99699 335365 | 120717 112854 99 | 0.000 % |
1011.27/1011.82 c | 485218 | 8709 99699 335365 | 120717 113066 99 | 0.000 % |
1011.57/1012.12 c | 485451 | 8709 99699 335365 | 120717 113299 100 | 0.000 % |
1012.07/1012.63 c | 485707 | 8709 99699 335365 | 120717 113555 100 | 0.000 % |
1012.57/1013.17 c | 485989 | 8709 99699 335365 | 120717 113837 100 | 0.000 % |
1013.36/1013.97 c | 486298 | 8709 99699 335365 | 120717 114146 100 | 0.000 % |
1013.96/1014.55 c | 486637 | 8709 99699 335365 | 120717 114485 100 | 0.000 % |
1014.66/1015.25 c | 487009 | 8709 99699 335365 | 120717 114857 100 | 0.000 % |
1015.46/1016.08 c | 487419 | 8709 99699 335365 | 120717 115267 100 | 0.000 % |
1016.46/1017.02 c | 487868 | 8709 99699 335365 | 120717 115716 101 | 0.000 % |
1017.66/1018.22 c | 488361 | 8709 99699 335365 | 120717 116209 101 | 0.000 % |
1018.86/1019.49 c | 488903 | 8709 99699 335365 | 120717 116751 101 | 0.000 % |
1020.16/1020.75 c | 489499 | 8709 99699 335365 | 120717 117347 102 | 0.000 % |
1021.56/1022.10 c | 490155 | 8709 99699 335365 | 2147483647 118003 102 | 0.000 % |
1023.26/1023.80 c | 490875 | 8709 99699 335365 | 2147483647 118723 102 | 0.000 % |
1024.96/1025.59 c | 491667 | 8709 99699 335365 | 2147483647 119515 102 | 0.000 % |
1026.86/1027.47 c | 492538 | 8709 99699 335365 | 2147483647 120386 103 | 0.000 % |
1028.85/1029.49 c | 493496 | 8709 99699 335365 | 2147483647 121344 103 | 0.000 % |
1031.46/1032.01 c | 494549 | 8709 99699 335365 | 2147483647 122397 104 | 0.000 % |
1034.15/1034.73 c | 495707 | 8709 99699 335365 | 2147483647 123555 104 | 0.000 % |
1037.05/1037.62 c | 496980 | 8709 99699 335365 | 2147483647 124828 104 | 0.000 % |
1040.55/1041.11 c | 498381 | 8709 99699 335365 | 2147483647 126229 105 | 0.000 % |
1043.65/1044.20 c | 499921 | 8709 99699 335365 | 2147483647 127769 106 | 0.000 % |
1047.25/1047.86 c | 501615 | 8709 99699 335365 | 127848 113986 100 | 0.000 % |
1051.25/1051.80 c | 503478 | 8709 99699 335365 | 127848 115849 100 | 0.000 % |
1055.55/1056.20 c | 505527 | 8709 99699 335365 | 127848 117898 101 | 0.000 % |
1060.64/1061.27 c | 507780 | 8709 99699 335365 | 127848 120151 102 | 0.000 % |
1066.04/1066.62 c | 510258 | 8709 99699 335365 | 122374 109343 98 | 0.000 % |
1072.04/1072.67 c | 512983 | 8709 99699 335365 | 122374 112068 99 | 0.000 % |
1078.13/1078.78 c | 515980 | 8709 99699 335365 | 122374 115065 101 | 0.000 % |
1085.04/1085.66 c | 519277 | 8709 99699 335365 | 122374 118362 102 | 0.000 % |
1092.33/1092.91 c | 522902 | 8709 99699 335365 | 2147483647 121987 105 | 0.000 % |
1101.43/1102.05 c | 526889 | 8709 99699 335365 | 2147483647 125974 106 | 0.000 % |
1110.62/1111.20 c | 531276 | 8709 99699 335365 | 129086 114818 103 | 0.000 % |
1121.11/1121.74 c | 536099 | 8709 99699 335365 | 129086 119641 104 | 0.000 % |
1121.42/1122.05 c | 536200 | 8709 99699 335365 | 129086 119742 104 | 0.000 % |
1121.61/1122.20 c | 536311 | 8709 99699 335365 | 129086 119853 105 | 0.000 % |
1121.81/1122.43 c | 536433 | 8709 99699 335365 | 129086 119975 105 | 0.000 % |
1122.11/1122.79 c | 536566 | 8709 99699 335365 | 129086 120108 105 | 0.000 % |
1122.52/1123.13 c | 536712 | 8709 99699 335365 | 129086 120254 105 | 0.000 % |
1122.91/1123.59 c | 536872 | 8709 99699 335365 | 129086 120414 105 | 0.000 % |
1123.41/1124.05 c | 537048 | 8709 99699 335365 | 129086 120590 105 | 0.000 % |
1123.81/1124.49 c | 537242 | 8709 99699 335365 | 129086 120784 105 | 0.000 % |
1124.41/1125.03 c | 537454 | 8709 99699 335365 | 129086 120996 105 | 0.000 % |
1125.11/1125.75 c | 537690 | 8709 99699 335365 | 129086 121232 105 | 0.000 % |
1125.61/1126.28 c | 537949 | 8709 99699 335365 | 129086 121491 105 | 0.000 % |
1126.21/1126.85 c | 538230 | 8709 99699 335365 | 129086 121772 105 | 0.000 % |
1127.11/1127.70 c | 538539 | 8709 99699 335365 | 129086 122081 105 | 0.000 % |
1127.71/1128.33 c | 538879 | 8709 99699 335365 | 129086 122421 105 | 0.000 % |
1128.51/1129.11 c | 539251 | 8709 99699 335365 | 129086 122793 106 | 0.000 % |
1129.51/1130.11 c | 539660 | 8709 99699 335365 | 129086 123202 106 | 0.000 % |
1130.61/1131.25 c | 540109 | 8709 99699 335365 | 123542 123651 106 | 0.000 % |
1131.81/1132.41 c | 540604 | 8709 99699 335365 | 123542 109646 99 | 0.000 % |
1132.91/1133.57 c | 541146 | 8709 99699 335365 | 123542 110188 99 | 0.000 % |
1134.01/1134.63 c | 541742 | 8709 99699 335365 | 123542 110784 99 | 0.000 % |
1135.51/1136.12 c | 542398 | 8709 99699 335365 | 123542 111440 100 | 0.000 % |
1136.91/1137.56 c | 543118 | 8709 99699 335365 | 123542 112160 100 | 0.000 % |
1138.81/1139.41 c | 543912 | 8709 99699 335365 | 123542 112954 100 | 0.000 % |
1140.50/1141.17 c | 544783 | 8709 99699 335365 | 123542 113825 101 | 0.000 % |
1142.90/1143.53 c | 545741 | 8709 99699 335365 | 123542 114783 101 | 0.000 % |
1145.10/1145.73 c | 546795 | 8709 99699 335365 | 123542 115837 101 | 0.000 % |
1147.50/1148.13 c | 547953 | 8709 99699 335365 | 123542 116995 102 | 0.000 % |
1150.60/1151.21 c | 549228 | 8709 99699 335365 | 123542 118270 103 | 0.000 % |
1153.99/1154.60 c | 550628 | 8709 99699 335365 | 2147483647 119670 103 | 0.000 % |
1157.49/1158.15 c | 552168 | 8709 99699 335365 | 2147483647 121210 104 | 0.000 % |
1161.49/1162.11 c | 553862 | 8709 99699 335365 | 2147483647 122904 104 | 0.000 % |
1165.79/1166.40 c | 555725 | 8709 99699 335365 | 2147483647 124767 105 | 0.000 % |
1170.09/1170.78 c | 557775 | 8709 99699 335365 | 2147483647 126817 106 | 0.000 % |
1175.19/1175.87 c | 560028 | 8709 99699 335365 | 129043 129070 106 | 0.000 % |
1180.79/1181.41 c | 562506 | 8709 99699 335365 | 129043 116803 101 | 0.000 % |
1186.48/1187.15 c | 565231 | 8709 99699 335365 | 129043 119528 102 | 0.000 % |
1192.58/1193.28 c | 568228 | 8709 99699 335365 | 129043 122525 104 | 0.000 % |
1199.48/1200.13 c | 571527 | 8709 99699 335365 | 124297 110478 99 | 0.000 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1833743-1242824936/watcher-1833743-1242824936 -o /tmp/evaluation-result-1833743-1242824936/solver-1833743-1242824936 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1833743-1242824936.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.04 1.06 1.01 3/64 16686
/proc/meminfo: memFree=1848784/2055920 swapFree=4120716/4192956
[pid=16686] ppid=16684 vsize=5356 CPUtime=0
/proc/16686/stat : 16686 (SatELiteGTI) S 16684 16686 16542 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310526547 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16686/statm: 1339 237 197 169 0 50 0
[pid=16690] ppid=16686 vsize=5356 CPUtime=0
/proc/16690/stat : 16690 (SatELiteGTI) R 16686 16686 16542 0 -1 4194368 15 0 0 0 0 0 0 0 20 0 1 0 310526547 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 233588714791 0 0 4096 0 0 0 0 17 1 0 0
/proc/16690/statm: 1339 237 197 169 0 50 0
[startup+0.0358049 s]
/proc/loadavg: 1.04 1.06 1.01 3/64 16686
/proc/meminfo: memFree=1848784/2055920 swapFree=4120716/4192956
[pid=16686] ppid=16684 vsize=5356 CPUtime=0
/proc/16686/stat : 16686 (SatELiteGTI) S 16684 16686 16542 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310526547 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16686/statm: 1339 237 197 169 0 50 0
[pid=16690] ppid=16686 vsize=4664 CPUtime=0.02
/proc/16690/stat : 16690 (SatELite_releas) R 16686 16686 16542 0 -1 4194304 854 0 0 0 2 0 0 0 20 0 1 0 310526547 4775936 840 1992294400 134512640 135223648 4294956128 18446744073709551615 134719062 0 0 4096 3 0 0 0 17 0 0 0
/proc/16690/statm: 1166 841 49 173 0 991 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 10020
[startup+0.101811 s]
/proc/loadavg: 1.04 1.06 1.01 3/64 16686
/proc/meminfo: memFree=1848784/2055920 swapFree=4120716/4192956
[pid=16686] ppid=16684 vsize=5356 CPUtime=0
/proc/16686/stat : 16686 (SatELiteGTI) S 16684 16686 16542 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310526547 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16686/statm: 1339 237 197 169 0 50 0
[pid=16690] ppid=16686 vsize=9808 CPUtime=0.08
/proc/16690/stat : 16690 (SatELite_releas) R 16686 16686 16542 0 -1 4194304 2074 0 0 0 8 0 0 0 20 0 1 0 310526547 10043392 2060 1992294400 134512640 135223648 4294956128 18446744073709551615 134586715 0 0 4096 3 0 0 0 17 0 0 0
/proc/16690/statm: 2452 2060 76 173 0 2277 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 15164
[startup+0.301831 s]
/proc/loadavg: 1.04 1.06 1.01 3/64 16686
/proc/meminfo: memFree=1848784/2055920 swapFree=4120716/4192956
[pid=16686] ppid=16684 vsize=5356 CPUtime=0
/proc/16686/stat : 16686 (SatELiteGTI) S 16684 16686 16542 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310526547 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16686/statm: 1339 237 197 169 0 50 0
[pid=16690] ppid=16686 vsize=9808 CPUtime=0.28
/proc/16690/stat : 16690 (SatELite_releas) R 16686 16686 16542 0 -1 4194304 2074 0 0 0 28 0 0 0 22 0 1 0 310526547 10043392 2060 1992294400 134512640 135223648 4294956128 18446744073709551615 134586706 0 0 4096 3 0 0 0 17 0 0 0
/proc/16690/statm: 2452 2060 76 173 0 2277 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 15164
[startup+0.701873 s]
/proc/loadavg: 1.04 1.06 1.01 3/64 16686
/proc/meminfo: memFree=1848784/2055920 swapFree=4120716/4192956
[pid=16686] ppid=16684 vsize=5356 CPUtime=0
/proc/16686/stat : 16686 (SatELiteGTI) S 16684 16686 16542 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310526547 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16686/statm: 1339 237 197 169 0 50 0
[pid=16690] ppid=16686 vsize=9748 CPUtime=0.68
/proc/16690/stat : 16690 (SatELite_releas) R 16686 16686 16542 0 -1 4194304 2076 0 0 0 67 1 0 0 25 0 1 0 310526547 9981952 2053 1992294400 134512640 135223648 4294956128 18446744073709551615 134737406 0 0 4096 3 0 0 0 17 0 0 0
/proc/16690/statm: 2437 2053 77 173 0 2262 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 15104
[startup+1.50195 s]
/proc/loadavg: 1.04 1.06 1.01 2/66 16692
/proc/meminfo: memFree=1839744/2055920 swapFree=4120716/4192956
[pid=16686] ppid=16684 vsize=5356 CPUtime=0.71
/proc/16686/stat : 16686 (SatELiteGTI) S 16684 16686 16542 0 -1 4194304 336 2327 0 0 0 0 70 1 15 0 1 0 310526547 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16686/statm: 1339 239 197 169 0 50 0
[pid=16692] ppid=16686 vsize=9628 CPUtime=0.76
/proc/16692/stat : 16692 (minisat_static) R 16686 16686 16542 0 -1 4194304 2251 0 0 0 75 1 0 0 25 0 1 0 310526620 9859072 2237 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/16692/statm: 2407 2237 77 171 0 2234 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 14984
[startup+3.10112 s]
/proc/loadavg: 1.04 1.06 1.01 2/66 16692
/proc/meminfo: memFree=1837120/2055920 swapFree=4120716/4192956
[pid=16686] ppid=16684 vsize=5356 CPUtime=0.71
/proc/16686/stat : 16686 (SatELiteGTI) S 16684 16686 16542 0 -1 4194304 336 2327 0 0 0 0 70 1 15 0 1 0 310526547 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16686/statm: 1339 239 197 169 0 50 0
[pid=16692] ppid=16686 vsize=10432 CPUtime=2.36
/proc/16692/stat : 16692 (minisat_static) R 16686 16686 16542 0 -1 4194304 2446 0 0 0 234 2 0 0 25 0 1 0 310526620 10682368 2432 1992294400 134512640 135215339 4294956240 18446744073709551615 134525025 0 0 4096 3 0 0 0 17 0 0 0
/proc/16692/statm: 2608 2432 77 171 0 2435 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 15788
[startup+6.30144 s]
/proc/loadavg: 1.04 1.06 1.01 2/66 16692
/proc/meminfo: memFree=1835712/2055920 swapFree=4120716/4192956
[pid=16686] ppid=16684 vsize=5356 CPUtime=0.71
/proc/16686/stat : 16686 (SatELiteGTI) S 16684 16686 16542 0 -1 4194304 336 2327 0 0 0 0 70 1 15 0 1 0 310526547 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16686/statm: 1339 239 197 169 0 50 0
[pid=16692] ppid=16686 vsize=11636 CPUtime=5.55
/proc/16692/stat : 16692 (minisat_static) R 16686 16686 16542 0 -1 4194304 2760 0 0 0 553 2 0 0 25 0 1 0 310526620 11915264 2746 1992294400 134512640 135215339 4294956240 18446744073709551615 134527408 0 0 4096 3 0 0 0 17 0 0 0
/proc/16692/statm: 2909 2746 77 171 0 2736 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 16992
[startup+12.7021 s]
/proc/loadavg: 1.04 1.06 1.01 2/66 16692
/proc/meminfo: memFree=1833344/2055920 swapFree=4120716/4192956
[pid=16686] ppid=16684 vsize=5356 CPUtime=0.71
/proc/16686/stat : 16686 (SatELiteGTI) S 16684 16686 16542 0 -1 4194304 336 2327 0 0 0 0 70 1 15 0 1 0 310526547 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16686/statm: 1339 239 197 169 0 50 0
[pid=16692] ppid=16686 vsize=14012 CPUtime=11.95
/proc/16692/stat : 16692 (minisat_static) R 16686 16686 16542 0 -1 4194304 3356 0 0 0 1192 3 0 0 25 0 1 0 310526620 14348288 3342 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 0 0 0
/proc/16692/statm: 3503 3342 77 171 0 3330 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 19368
[startup+25.5014 s]
/proc/loadavg: 1.03 1.05 1.01 2/66 16692
/proc/meminfo: memFree=1829248/2055920 swapFree=4120716/4192956
[pid=16686] ppid=16684 vsize=5356 CPUtime=0.71
/proc/16686/stat : 16686 (SatELiteGTI) S 16684 16686 16542 0 -1 4194304 336 2327 0 0 0 0 70 1 15 0 1 0 310526547 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16686/statm: 1339 239 197 169 0 50 0
[pid=16692] ppid=16686 vsize=18068 CPUtime=24.73
/proc/16692/stat : 16692 (minisat_static) R 16686 16686 16542 0 -1 4194304 4357 0 0 0 2469 4 0 0 25 0 1 0 310526620 18501632 4343 1992294400 134512640 135215339 4294956240 18446744073709551615 134527419 0 0 4096 3 0 0 0 17 0 0 0
/proc/16692/statm: 4517 4343 77 171 0 4344 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 23424
[startup+51.102 s]
/proc/loadavg: 1.02 1.05 1.00 2/66 16692
/proc/meminfo: memFree=1821440/2055920 swapFree=4120716/4192956
[pid=16686] ppid=16684 vsize=5356 CPUtime=0.71
/proc/16686/stat : 16686 (SatELiteGTI) S 16684 16686 16542 0 -1 4194304 336 2327 0 0 0 0 70 1 15 0 1 0 310526547 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16686/statm: 1339 239 197 169 0 50 0
[pid=16692] ppid=16686 vsize=25936 CPUtime=50.32
/proc/16692/stat : 16692 (minisat_static) R 16686 16686 16542 0 -1 4194304 6328 0 0 0 5026 6 0 0 25 0 1 0 310526620 26558464 6314 1992294400 134512640 135215339 4294956240 18446744073709551615 134527372 0 0 4096 3 0 0 0 17 0 0 0
/proc/16692/statm: 6484 6314 77 171 0 6311 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 31292
[startup+102.305 s]
/proc/loadavg: 1.01 1.04 1.00 2/66 16692
/proc/meminfo: memFree=1806464/2055920 swapFree=4120716/4192956
[pid=16686] ppid=16684 vsize=5356 CPUtime=0.71
/proc/16686/stat : 16686 (SatELiteGTI) S 16684 16686 16542 0 -1 4194304 336 2327 0 0 0 0 70 1 15 0 1 0 310526547 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16686/statm: 1339 239 197 169 0 50 0
[pid=16692] ppid=16686 vsize=40576 CPUtime=101.51
/proc/16692/stat : 16692 (minisat_static) R 16686 16686 16542 0 -1 4194304 9983 0 0 0 10141 10 0 0 25 0 1 0 310526620 41549824 9969 1992294400 134512640 135215339 4294956240 18446744073709551615 134528809 0 0 4096 3 0 0 0 17 0 0 0
/proc/16692/statm: 10144 9969 77 171 0 9971 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 45932
[startup+162.301 s]
/proc/loadavg: 1.00 1.03 1.00 2/66 16692
/proc/meminfo: memFree=1790208/2055920 swapFree=4120716/4192956
[pid=16686] ppid=16684 vsize=5356 CPUtime=0.71
/proc/16686/stat : 16686 (SatELiteGTI) S 16684 16686 16542 0 -1 4194304 336 2327 0 0 0 0 70 1 15 0 1 0 310526547 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16686/statm: 1339 239 197 169 0 50 0
[pid=16692] ppid=16686 vsize=56868 CPUtime=161.47
/proc/16692/stat : 16692 (minisat_static) R 16686 16686 16542 0 -1 4194304 14047 0 0 0 16133 14 0 0 25 0 1 0 310526620 58232832 14033 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/16692/statm: 14217 14033 77 171 0 14044 0
Current children cumulated CPU time (s) 162.18
Current children cumulated vsize (KiB) 62224
[startup+222.301 s]
/proc/loadavg: 1.00 1.02 1.00 2/66 16692
/proc/meminfo: memFree=1774464/2055920 swapFree=4120716/4192956
[pid=16686] ppid=16684 vsize=5356 CPUtime=0.71
/proc/16686/stat : 16686 (SatELiteGTI) S 16684 16686 16542 0 -1 4194304 336 2327 0 0 0 0 70 1 15 0 1 0 310526547 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16686/statm: 1339 239 197 169 0 50 0
[pid=16692] ppid=16686 vsize=72324 CPUtime=221.43
/proc/16692/stat : 16692 (minisat_static) R 16686 16686 16542 0 -1 4194304 17919 0 0 0 22125 18 0 0 25 0 1 0 310526620 74059776 17905 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 0 0 0
/proc/16692/statm: 18081 17905 77 171 0 17908 0
Current children cumulated CPU time (s) 222.14
Current children cumulated vsize (KiB) 77680
[startup+282.301 s]
/proc/loadavg: 1.00 1.02 1.00 2/66 16692
/proc/meminfo: memFree=1772928/2055920 swapFree=4120716/4192956
[pid=16686] ppid=16684 vsize=5356 CPUtime=0.71
/proc/16686/stat : 16686 (SatELiteGTI) S 16684 16686 16542 0 -1 4194304 336 2327 0 0 0 0 70 1 15 0 1 0 310526547 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16686/statm: 1339 239 197 169 0 50 0
[pid=16692] ppid=16686 vsize=73912 CPUtime=281.41
/proc/16692/stat : 16692 (minisat_static) R 16686 16686 16542 0 -1 4194304 18274 0 0 0 28122 19 0 0 25 0 1 0 310526620 75685888 18260 1992294400 134512640 135215339 4294956240 18446744073709551615 134527406 0 0 4096 3 0 0 0 17 0 0 0
/proc/16692/statm: 18478 18260 77 171 0 18305 0
Current children cumulated CPU time (s) 282.12
Current children cumulated vsize (KiB) 79268
[startup+342.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/66 16692
/proc/meminfo: memFree=1769856/2055920 swapFree=4120716/4192956
[pid=16686] ppid=16684 vsize=5356 CPUtime=0.71
/proc/16686/stat : 16686 (SatELiteGTI) S 16684 16686 16542 0 -1 4194304 336 2327 0 0 0 0 70 1 15 0 1 0 310526547 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16686/statm: 1339 239 197 169 0 50 0
[pid=16692] ppid=16686 vsize=76816 CPUtime=341.37
/proc/16692/stat : 16692 (minisat_static) R 16686 16686 16542 0 -1 4194304 19004 0 0 0 34118 19 0 0 25 0 1 0 310526620 78659584 18990 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/16692/statm: 19204 18990 77 171 0 19031 0
Current children cumulated CPU time (s) 342.08
################
# More data... #
################
/proc/16692/statm: 19766 19530 77 171 0 19593 0
Current children cumulated CPU time (s) 581.97
Current children cumulated vsize (KiB) 84420
[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16692
/proc/meminfo: memFree=1766976/2055920 swapFree=4120716/4192956
[pid=16686] ppid=16684 vsize=5356 CPUtime=0.71
/proc/16686/stat : 16686 (SatELiteGTI) S 16684 16686 16542 0 -1 4194304 336 2327 0 0 0 0 70 1 15 0 1 0 310526547 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16686/statm: 1339 239 197 169 0 50 0
[pid=16692] ppid=16686 vsize=79328 CPUtime=641.24
/proc/16692/stat : 16692 (minisat_static) R 16686 16686 16542 0 -1 4194304 19621 0 0 0 64104 20 0 0 25 0 1 0 310526620 81231872 19607 1992294400 134512640 135215339 4294956240 18446744073709551615 134527419 0 0 4096 3 0 0 0 17 0 0 0
/proc/16692/statm: 19832 19607 77 171 0 19659 0
Current children cumulated CPU time (s) 641.95
Current children cumulated vsize (KiB) 84684
[startup+702.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16692
/proc/meminfo: memFree=1766848/2055920 swapFree=4120716/4192956
[pid=16686] ppid=16684 vsize=5356 CPUtime=0.71
/proc/16686/stat : 16686 (SatELiteGTI) S 16684 16686 16542 0 -1 4194304 336 2327 0 0 0 0 70 1 15 0 1 0 310526547 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16686/statm: 1339 239 197 169 0 50 0
[pid=16692] ppid=16686 vsize=79328 CPUtime=701.2
/proc/16692/stat : 16692 (minisat_static) R 16686 16686 16542 0 -1 4194304 19621 0 0 0 70100 20 0 0 25 0 1 0 310526620 81231872 19607 1992294400 134512640 135215339 4294956240 18446744073709551615 134528624 0 0 4096 3 0 0 0 17 0 0 0
/proc/16692/statm: 19832 19607 77 171 0 19659 0
Current children cumulated CPU time (s) 701.91
Current children cumulated vsize (KiB) 84684
[startup+762.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16692
/proc/meminfo: memFree=1766336/2055920 swapFree=4120716/4192956
[pid=16686] ppid=16684 vsize=5356 CPUtime=0.71
/proc/16686/stat : 16686 (SatELiteGTI) S 16684 16686 16542 0 -1 4194304 336 2327 0 0 0 0 70 1 15 0 1 0 310526547 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16686/statm: 1339 239 197 169 0 50 0
[pid=16692] ppid=16686 vsize=79724 CPUtime=761.17
/proc/16692/stat : 16692 (minisat_static) R 16686 16686 16542 0 -1 4194304 19727 0 0 0 76097 20 0 0 25 0 1 0 310526620 81637376 19713 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/16692/statm: 19931 19713 77 171 0 19758 0
Current children cumulated CPU time (s) 761.88
Current children cumulated vsize (KiB) 85080
[startup+822.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16692
/proc/meminfo: memFree=1766336/2055920 swapFree=4120716/4192956
[pid=16686] ppid=16684 vsize=5356 CPUtime=0.71
/proc/16686/stat : 16686 (SatELiteGTI) S 16684 16686 16542 0 -1 4194304 336 2327 0 0 0 0 70 1 15 0 1 0 310526547 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16686/statm: 1339 239 197 169 0 50 0
[pid=16692] ppid=16686 vsize=79724 CPUtime=821.14
/proc/16692/stat : 16692 (minisat_static) R 16686 16686 16542 0 -1 4194304 19727 0 0 0 82094 20 0 0 25 0 1 0 310526620 81637376 19713 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/16692/statm: 19931 19713 77 171 0 19758 0
Current children cumulated CPU time (s) 821.85
Current children cumulated vsize (KiB) 85080
[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16692
/proc/meminfo: memFree=1766208/2055920 swapFree=4120716/4192956
[pid=16686] ppid=16684 vsize=5356 CPUtime=0.71
/proc/16686/stat : 16686 (SatELiteGTI) S 16684 16686 16542 0 -1 4194304 336 2327 0 0 0 0 70 1 15 0 1 0 310526547 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16686/statm: 1339 239 197 169 0 50 0
[pid=16692] ppid=16686 vsize=79724 CPUtime=881.11
/proc/16692/stat : 16692 (minisat_static) R 16686 16686 16542 0 -1 4194304 19727 0 0 0 88090 21 0 0 25 0 1 0 310526620 81637376 19713 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/16692/statm: 19931 19713 77 171 0 19758 0
Current children cumulated CPU time (s) 881.82
Current children cumulated vsize (KiB) 85080
[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16692
/proc/meminfo: memFree=1765696/2055920 swapFree=4120716/4192956
[pid=16686] ppid=16684 vsize=5356 CPUtime=0.71
/proc/16686/stat : 16686 (SatELiteGTI) S 16684 16686 16542 0 -1 4194304 336 2327 0 0 0 0 70 1 15 0 1 0 310526547 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16686/statm: 1339 239 197 169 0 50 0
[pid=16692] ppid=16686 vsize=80252 CPUtime=941.09
/proc/16692/stat : 16692 (minisat_static) R 16686 16686 16542 0 -1 4194304 19834 0 0 0 94088 21 0 0 25 0 1 0 310526620 82178048 19820 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/16692/statm: 20063 19820 77 171 0 19890 0
Current children cumulated CPU time (s) 941.8
Current children cumulated vsize (KiB) 85608
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16692
/proc/meminfo: memFree=1765632/2055920 swapFree=4120716/4192956
[pid=16686] ppid=16684 vsize=5356 CPUtime=0.71
/proc/16686/stat : 16686 (SatELiteGTI) S 16684 16686 16542 0 -1 4194304 336 2327 0 0 0 0 70 1 15 0 1 0 310526547 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16686/statm: 1339 239 197 169 0 50 0
[pid=16692] ppid=16686 vsize=80252 CPUtime=1001.06
/proc/16692/stat : 16692 (minisat_static) R 16686 16686 16542 0 -1 4194304 19834 0 0 0 100085 21 0 0 25 0 1 0 310526620 82178048 19820 1992294400 134512640 135215339 4294956240 18446744073709551615 134528881 0 0 4096 3 0 0 0 17 0 0 0
/proc/16692/statm: 20063 19820 77 171 0 19890 0
Current children cumulated CPU time (s) 1001.77
Current children cumulated vsize (KiB) 85608
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16692
/proc/meminfo: memFree=1765504/2055920 swapFree=4120716/4192956
[pid=16686] ppid=16684 vsize=5356 CPUtime=0.71
/proc/16686/stat : 16686 (SatELiteGTI) S 16684 16686 16542 0 -1 4194304 336 2327 0 0 0 0 70 1 15 0 1 0 310526547 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16686/statm: 1339 239 197 169 0 50 0
[pid=16692] ppid=16686 vsize=80240 CPUtime=1061.03
/proc/16692/stat : 16692 (minisat_static) R 16686 16686 16542 0 -1 4194304 19834 0 0 0 106082 21 0 0 25 0 1 0 310526620 82165760 19820 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/16692/statm: 20060 19820 77 171 0 19887 0
Current children cumulated CPU time (s) 1061.74
Current children cumulated vsize (KiB) 85596
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16692
/proc/meminfo: memFree=1765056/2055920 swapFree=4120716/4192956
[pid=16686] ppid=16684 vsize=5356 CPUtime=0.71
/proc/16686/stat : 16686 (SatELiteGTI) S 16684 16686 16542 0 -1 4194304 336 2327 0 0 0 0 70 1 15 0 1 0 310526547 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16686/statm: 1339 239 197 169 0 50 0
[pid=16692] ppid=16686 vsize=80636 CPUtime=1121
/proc/16692/stat : 16692 (minisat_static) R 16686 16686 16542 0 -1 4194304 19933 0 0 0 112079 21 0 0 25 0 1 0 310526620 82571264 19919 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 0 0 0
/proc/16692/statm: 20159 19919 77 171 0 19986 0
Current children cumulated CPU time (s) 1121.71
Current children cumulated vsize (KiB) 85992
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16692
/proc/meminfo: memFree=1764928/2055920 swapFree=4120716/4192956
[pid=16686] ppid=16684 vsize=5356 CPUtime=0.71
/proc/16686/stat : 16686 (SatELiteGTI) S 16684 16686 16542 0 -1 4194304 336 2327 0 0 0 0 70 1 15 0 1 0 310526547 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16686/statm: 1339 239 197 169 0 50 0
[pid=16692] ppid=16686 vsize=80636 CPUtime=1180.98
/proc/16692/stat : 16692 (minisat_static) R 16686 16686 16542 0 -1 4194304 19933 0 0 0 118077 21 0 0 25 0 1 0 310526620 82571264 19919 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/16692/statm: 20159 19919 77 171 0 19986 0
Current children cumulated CPU time (s) 1181.69
Current children cumulated vsize (KiB) 85992
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16692
/proc/meminfo: memFree=1764864/2055920 swapFree=4120716/4192956
[pid=16686] ppid=16684 vsize=5356 CPUtime=0.71
/proc/16686/stat : 16686 (SatELiteGTI) S 16684 16686 16542 0 -1 4194304 336 2327 0 0 0 0 70 1 15 0 1 0 310526547 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16686/statm: 1339 239 197 169 0 50 0
[pid=16692] ppid=16686 vsize=80636 CPUtime=1199.37
/proc/16692/stat : 16692 (minisat_static) R 16686 16686 16542 0 -1 4194304 19933 0 0 0 119916 21 0 0 25 0 1 0 310526620 82571264 19919 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/16692/statm: 20159 19919 77 171 0 19986 0
Current children cumulated CPU time (s) 1200.08
Current children cumulated vsize (KiB) 85992
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1200.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16692
/proc/meminfo: memFree=1764864/2055920 swapFree=4120716/4192956
[pid=16686] ppid=16684 vsize=5356 CPUtime=0.71
/proc/16686/stat : 16686 (SatELiteGTI) S 16684 16686 16542 0 -1 4194304 336 2327 0 0 0 0 70 1 15 0 1 0 310526547 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16686/statm: 1339 239 197 169 0 50 0
[pid=16692] ppid=16686 vsize=80636 CPUtime=1199.37
/proc/16692/stat : 16692 (minisat_static) R 16686 16686 16542 0 -1 4194304 19933 0 0 0 119916 21 0 0 25 0 1 0 310526620 82571264 19919 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/16692/statm: 20159 19919 77 171 0 19986 0
Current children cumulated CPU time (s) 1200.08
Current children cumulated vsize (KiB) 85992
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 16686 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=704892
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=23996
# CPU time returned by wait4() is 0.728888
# while last known CPU time is 1200.08
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1200.71
CPU time (s): 1200.08
CPU user time (s): 1199.86
CPU system time (s): 0.22
CPU usage (%): 99.9473
Max. virtual memory (cumulated for all children) (KiB): 85992
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.704892
system time used= 0.023996
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2663
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14
involuntary context switches= 9
runsolver used 1.03684 second user time and 3.42248 second system time
The end
Begin job on node27 at 2009-05-20 15:08:56
IDJOB=1833743
IDBENCH=70910
IDSOLVER=671
FILE ID=node27/1833743-1242824936
PBS_JOBID= 9322487
Free space on /tmp= 66304 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/CRAFTED/edgematching/compact/em_11_3_4_cmp.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1833743-1242824936/watcher-1833743-1242824936 -o /tmp/evaluation-result-1833743-1242824936/solver-1833743-1242824936 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1833743-1242824936.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 3b5e80540ef2fcb09cfe50ac7e3686c1
RANDOM SEED=87501378
node27.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 : 2800.234
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 : 5521.40
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 : 2800.234
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: 1849264 kB
Buffers: 16148 kB
Cached: 87960 kB
SwapCached: 65008 kB
Active: 93108 kB
Inactive: 78496 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1849264 kB
SwapTotal: 4192956 kB
SwapFree: 4120716 kB
Dirty: 3564 kB
Writeback: 0 kB
Mapped: 14632 kB
Slab: 20980 kB
Committed_AS: 1027836 kB
PageTables: 1380 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264948 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66300 MiB
End job on node27 at 2009-05-20 15:28:59