0.00/0.00 c Parsing...
0.00/0.01 c ==============================================================================
0.00/0.01 c | | ORIGINAL | LEARNT | |
0.00/0.01 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.01 c ==============================================================================
0.00/0.01 c | 0 | 16192 42927 | 4857 0 0 nan | 0.000 % |
0.11/0.11 c | 0 | 12797 40460 | -- 0 -- -- | -- | -3395/-2467
0.11/0.11 c ==============================================================================
0.11/0.11 c Result : #vars: 2513 #clauses: 12797 #literals: 40460
0.11/0.11 c CPU time: 0.11 s
0.11/0.11 c ==============================================================================
0.11/0.12 c This is MiniSat 2.0 beta
0.11/0.12 c WARNING: for repeatability, setting FPU to use double precision
0.11/0.12 c ============================[ Problem Statistics ]=============================
0.11/0.12 c | |
0.11/0.13 c | Number of variables: 2513 |
0.11/0.13 c | Number of clauses: 12797 |
0.11/0.13 c | Parsing time: 0.01 s |
0.11/0.13 c ============================[ Search Statistics ]==============================
0.11/0.13 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.11/0.13 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.11/0.13 c ===============================================================================
0.11/0.13 c | 0 | 2513 12797 40460 | 4265 0 nan | 0.000 % |
0.11/0.14 c | 101 | 2513 12797 40460 | 4265 101 11 | 0.003 % |
0.11/0.15 c | 201 | 2513 12797 40460 | 4265 201 25 | 0.000 % |
0.11/0.16 c | 301 | 2513 12797 40460 | 4265 301 23 | 0.000 % |
0.11/0.16 c | 411 | 2513 12797 40460 | 4265 411 21 | 0.000 % |
0.11/0.17 c | 511 | 2513 12797 40460 | 4265 511 20 | 0.000 % |
0.11/0.18 c | 623 | 2513 12797 40460 | 4265 623 25 | 0.002 % |
0.11/0.18 c | 744 | 2513 12797 40460 | 4265 744 24 | 0.000 % |
0.11/0.19 c | 845 | 2513 12797 40460 | 4265 845 22 | 0.000 % |
0.13/0.20 c | 956 | 2513 12797 40460 | 4265 956 24 | 0.000 % |
0.13/0.21 c | 1077 | 2513 12797 40460 | 4265 1077 24 | 0.000 % |
0.13/0.23 c | 1210 | 2513 12797 40460 | 4265 1210 27 | 0.001 % |
0.13/0.23 c | 1310 | 2513 12797 40460 | 4265 1310 27 | 0.000 % |
0.13/0.25 c | 1421 | 2513 12797 40460 | 4265 1421 29 | 0.000 % |
0.13/0.26 c | 1543 | 2513 12797 40460 | 4265 1543 30 | 0.000 % |
0.13/0.28 c | 1677 | 2513 12797 40460 | 4265 1677 32 | 0.003 % |
0.13/0.28 c | 1823 | 2513 12797 40460 | 4265 1823 31 | 0.000 % |
0.13/0.29 c | 1925 | 2513 12797 40460 | 4265 1925 30 | 0.000 % |
0.13/0.30 c | 2037 | 2513 12797 40460 | 4265 2037 32 | 0.000 % |
0.13/0.32 c | 2158 | 2513 12797 40460 | 4265 2158 33 | 0.004 % |
0.13/0.33 c | 2291 | 2513 12797 40460 | 4265 2291 33 | 0.000 % |
0.13/0.35 c | 2437 | 2513 12797 40460 | 4265 2437 34 | 0.000 % |
0.13/0.36 c | 2597 | 2513 12797 40460 | 4265 2597 34 | 0.000 % |
0.13/0.37 c | 2697 | 2513 12797 40460 | 4265 2697 33 | 0.000 % |
0.13/0.39 c | 2808 | 2513 12797 40460 | 4265 2808 34 | 0.000 % |
0.13/0.40 c | 2930 | 2513 12797 40460 | 4265 2930 35 | 0.000 % |
0.13/0.42 c | 3063 | 2513 12797 40460 | 4265 3063 38 | 0.000 % |
0.13/0.43 c | 3209 | 2513 12797 40460 | 4265 3209 38 | 0.002 % |
0.13/0.45 c | 3370 | 2513 12797 40460 | 4265 3370 38 | 0.000 % |
0.13/0.48 c | 3546 | 2513 12797 40460 | 4265 3546 38 | 0.000 % |
0.13/0.49 c | 3646 | 2513 12797 40460 | 4265 3646 38 | 0.000 % |
0.13/0.50 c | 3757 | 2513 12797 40460 | 4265 3757 39 | 0.000 % |
0.13/0.51 c | 3878 | 2513 12797 40460 | 4265 3878 39 | 0.000 % |
0.13/0.53 c | 4013 | 2513 12797 40460 | 4265 4013 39 | 0.000 % |
0.13/0.55 c | 4159 | 2513 12797 40460 | 4265 4159 39 | 0.002 % |
0.13/0.57 c | 4321 | 2513 12797 40460 | 4265 4321 40 | 0.000 % |
0.13/0.59 c | 4498 | 2513 12797 40460 | 4265 4066 39 | 0.000 % |
0.13/0.62 c | 4691 | 2513 12797 40460 | 4265 4259 42 | 0.000 % |
0.13/0.63 c | 4791 | 2513 12797 40460 | 4265 4359 42 | 0.000 % |
0.13/0.64 c | 4901 | 2513 12797 40460 | 4265 4034 42 | 0.000 % |
0.13/0.65 c | 5023 | 2513 12797 40460 | 4265 4156 41 | 0.000 % |
0.13/0.67 c | 5156 | 2513 12797 40460 | 4265 4289 41 | 0.004 % |
0.13/0.69 c | 5304 | 2513 12797 40460 | 4265 4009 41 | 0.000 % |
0.13/0.71 c | 5465 | 2513 12797 40460 | 4265 4170 41 | 0.000 % |
0.13/0.73 c | 5642 | 2513 12797 40460 | 4265 4347 42 | 0.000 % |
0.13/0.78 c | 5836 | 2513 12797 40460 | 4265 4107 42 | 0.000 % |
0.13/0.82 c | 6049 | 2513 12797 40460 | 4265 4320 43 | 0.000 % |
0.13/0.83 c | 6149 | 2513 12797 40460 | 4265 3988 41 | 0.004 % |
0.13/0.84 c | 6259 | 2513 12797 40460 | 4265 4098 41 | 0.000 % |
0.13/0.85 c | 6380 | 2513 12797 40460 | 4265 4219 40 | 0.000 % |
0.13/0.86 c | 6516 | 2513 12797 40460 | 4265 4355 41 | 0.000 % |
0.13/0.88 c | 6662 | 2513 12797 40460 | 4265 4066 41 | 0.004 % |
0.13/0.91 c | 6824 | 2513 12797 40460 | 4265 4228 42 | 0.004 % |
0.13/0.93 c | 7002 | 2513 12797 40460 | 4265 4406 42 | 0.000 % |
0.13/0.96 c | 7195 | 2513 12797 40460 | 4265 4159 41 | 0.002 % |
0.13/0.99 c | 7407 | 2513 12797 40460 | 4265 4371 41 | 0.000 % |
1.01/1.02 c | 7643 | 2513 12797 40460 | 4265 4170 40 | 0.000 % |
1.01/1.03 c | 7744 | 2513 12797 40460 | 4265 4271 39 | 0.000 % |
1.01/1.04 c | 7855 | 2513 12797 40460 | 4265 3955 38 | 0.000 % |
1.01/1.05 c | 7977 | 2513 12797 40460 | 4265 4077 38 | 0.000 % |
1.01/1.07 c | 8111 | 2513 12797 40460 | 4265 4211 38 | 0.000 % |
1.01/1.10 c | 8257 | 2513 12797 40460 | 4265 4357 40 | 0.000 % |
1.12/1.12 c | 8417 | 2513 12797 40460 | 4265 4082 39 | 0.000 % |
1.12/1.15 c | 8593 | 2513 12797 40460 | 4265 4258 40 | 0.000 % |
1.12/1.17 c | 8788 | 2513 12797 40460 | 4265 4453 40 | 0.003 % |
1.12/1.19 c | 9002 | 2513 12797 40460 | 4265 4222 36 | 0.000 % |
1.21/1.22 c | 9237 | 2513 12797 40460 | 4265 4457 36 | 0.002 % |
1.21/1.25 c | 9494 | 2513 12797 40460 | 4265 4269 35 | 0.000 % |
1.21/1.26 c | 9594 | 2513 12797 40460 | 4265 3943 33 | 0.000 % |
1.21/1.27 c | 9708 | 2513 12797 40460 | 4265 4057 33 | 0.004 % |
1.21/1.29 c | 9829 | 2513 12797 40460 | 4265 4178 33 | 0.000 % |
1.30/1.31 c | 9962 | 2513 12797 40460 | 4265 4311 33 | 0.000 % |
1.30/1.34 c | 10109 | 2513 12797 40460 | 2147483647 4027 32 | 0.000 % |
1.30/1.37 c | 10269 | 2513 12797 40460 | 2147483647 4187 34 | 0.000 % |
1.30/1.39 c | 10445 | 2513 12797 40460 | 2147483647 4363 34 | 0.000 % |
1.40/1.42 c | 10639 | 2513 12797 40460 | 2147483647 4557 35 | 0.000 % |
1.40/1.46 c | 10852 | 2513 12797 40460 | 2147483647 4770 36 | 0.000 % |
1.50/1.51 c | 11086 | 2513 12797 40460 | 2147483647 5004 36 | 0.000 % |
1.50/1.54 c | 11343 | 2513 12797 40460 | 2147483647 5261 37 | 0.004 % |
1.50/1.58 c | 11624 | 2513 12797 40460 | 2147483647 5542 37 | 0.000 % |
1.50/1.59 c | 11724 | 2513 12797 40460 | 2147483647 5642 37 | 0.000 % |
1.50/1.60 c | 11835 | 2513 12797 40460 | 2147483647 5753 36 | 0.000 % |
1.60/1.61 c | 11956 | 2513 12797 40460 | 2147483647 5874 36 | 0.000 % |
1.60/1.64 c | 12089 | 2513 12797 40460 | 2147483647 6007 37 | 0.000 % |
1.60/1.66 c | 12236 | 2513 12797 40460 | 2147483647 6154 37 | 0.003 % |
1.60/1.68 c | 12398 | 2513 12797 40460 | 2147483647 6316 37 | 0.000 % |
1.70/1.72 c | 12577 | 2513 12797 40460 | 2147483647 6495 38 | 0.000 % |
1.70/1.74 c | 12770 | 2513 12797 40460 | 2147483647 6688 38 | 0.002 % |
1.70/1.76 c | 12982 | 2513 12797 40460 | 2147483647 6900 38 | 0.000 % |
1.70/1.79 c | 13215 | 2513 12797 40460 | 2147483647 7133 38 | 0.000 % |
1.80/1.81 c | 13471 | 2513 12797 40460 | 2147483647 7389 37 | 0.000 % |
1.80/1.87 c | 13752 | 2513 12797 40460 | 2147483647 7670 38 | 0.000 % |
1.90/1.93 c | 14062 | 2513 12797 40460 | 2147483647 7980 39 | 0.000 % |
1.90/1.94 c | 14162 | 2513 12797 40460 | 2147483647 8080 39 | 0.003 % |
1.90/1.96 c | 14273 | 2513 12797 40460 | 2147483647 8191 39 | 0.000 % |
1.90/1.97 c | 14396 | 2513 12797 40460 | 2147483647 8314 39 | 0.000 % |
2.00/2.00 c | 14529 | 2513 12797 40460 | 2147483647 8447 39 | 0.000 % |
2.00/2.02 c | 14676 | 2513 12797 40460 | 2147483647 8594 39 | 0.003 % |
2.00/2.04 c | 14837 | 2513 12797 40460 | 2147483647 8755 39 | 0.000 % |
2.00/2.06 c | 15013 | 2513 12797 40460 | 2147483647 8931 39 | 0.000 % |
2.00/2.09 c | 15206 | 2513 12797 40460 | 2147483647 9124 39 | 0.002 % |
2.10/2.13 c | 15418 | 2513 12797 40460 | 2147483647 9336 39 | 0.000 % |
2.10/2.18 c | 15652 | 2513 12797 40460 | 2147483647 9570 39 | 0.000 % |
2.21/2.23 c | 15908 | 2513 12797 40460 | 2147483647 9826 40 | 0.000 % |
2.21/2.28 c | 16189 | 2513 12797 40460 | 2147483647 10107 40 | 0.000 % |
2.30/2.31 c | 16499 | 2513 12797 40460 | 2147483647 10417 39 | 0.000 % |
2.30/2.39 c | 16839 | 2513 12797 40460 | 2147483647 10757 41 | 0.000 % |
2.40/2.41 c | 16939 | 2513 12797 40460 | 2147483647 10857 41 | 0.000 % |
2.40/2.44 c | 17049 | 2513 12797 40460 | 2147483647 10967 41 | 0.000 % |
2.40/2.46 c | 17170 | 2513 12797 40460 | 2147483647 11088 41 | 0.004 % |
2.40/2.49 c | 17303 | 2513 12797 40460 | 2147483647 11221 41 | 0.000 % |
2.50/2.53 c | 17450 | 2513 12797 40460 | 2147483647 11368 41 | 0.000 % |
2.50/2.57 c | 17610 | 2513 12797 40460 | 2147483647 11528 41 | 0.000 % |
2.60/2.61 c | 17789 | 2513 12797 40460 | 2147483647 11707 42 | 0.000 % |
2.60/2.66 c | 17982 | 2513 12797 40460 | 2147483647 11900 42 | 0.000 % |
2.70/2.70 c | 18195 | 2513 12797 40460 | 2147483647 12113 42 | 0.000 % |
2.70/2.76 c | 18429 | 2513 12797 40460 | 2147483647 12347 42 | 0.000 % |
2.80/2.83 c | 18685 | 2513 12797 40460 | 2147483647 12603 42 | 0.000 % |
2.80/2.89 c | 18966 | 2513 12797 40460 | 2147483647 12884 43 | 0.000 % |
2.90/2.97 c | 19276 | 2513 12797 40460 | 2147483647 13194 43 | 0.000 % |
3.10/3.10 c | 19616 | 2513 12797 40460 | 2147483647 13534 44 | 0.000 % |
3.10/3.19 c | 19988 | 2513 12797 40460 | 2147483647 13906 44 | 0.000 % |
3.20/3.22 c | 20089 | 2513 12797 40460 | 2147483647 14007 44 | 0.000 % |
3.20/3.25 c | 20199 | 2513 12797 40460 | 2147483647 14117 44 | 0.003 % |
3.20/3.28 c | 20320 | 2513 12797 40460 | 2147483647 14238 44 | 0.000 % |
3.31/3.31 c | 20453 | 2513 12797 40460 | 2147483647 14371 44 | 0.000 % |
3.31/3.35 c | 20600 | 2513 12797 40460 | 2147483647 14518 45 | 0.000 % |
3.31/3.38 c | 20761 | 2513 12797 40460 | 2147483647 14679 44 | 0.000 % |
3.40/3.44 c | 20937 | 2513 12797 40460 | 2147483647 14855 45 | 0.000 % |
3.40/3.47 c | 21131 | 2513 12797 40460 | 2147483647 15049 45 | 0.000 % |
3.50/3.55 c | 21344 | 2513 12797 40460 | 2147483647 15262 45 | 0.000 % |
3.60/3.62 c | 21578 | 2513 12797 40460 | 2147483647 15496 46 | 0.000 % |
3.70/3.70 c | 21836 | 2513 12797 40460 | 2147483647 15754 46 | 0.004 % |
3.80/3.80 c | 22117 | 2513 12797 40460 | 2147483647 16035 46 | 0.000 % |
3.90/3.90 c | 22427 | 2513 12797 40460 | 2147483647 16345 46 | 0.000 % |
3.90/4.00 c | 22768 | 2513 12797 40460 | 2147483647 16686 46 | 0.000 % |
4.10/4.11 c | 23141 | 2513 12797 40460 | 2147483647 17059 47 | 0.000 % |
4.10/4.19 c | 23550 | 2513 12797 40460 | 2147483647 17468 47 | 0.000 % |
4.20/4.22 c | 23651 | 2513 12797 40460 | 2147483647 17569 47 | 0.003 % |
4.20/4.25 c | 23762 | 2513 12797 40460 | 2147483647 17680 46 | 0.000 % |
4.20/4.28 c | 23883 | 2513 12797 40460 | 2147483647 17801 46 | 0.000 % |
4.30/4.33 c | 24016 | 2513 12797 40460 | 2147483647 17934 46 | 0.000 % |
4.30/4.38 c | 24165 | 2513 12797 40460 | 2147483647 18083 46 | 0.003 % |
4.41/4.41 c | 24325 | 2513 12797 40460 | 2147483647 18243 46 | 0.000 % |
4.41/4.45 c | 24501 | 2513 12797 40460 | 2147483647 18419 46 | 0.000 % |
4.50/4.50 c | 24694 | 2513 12797 40460 | 2147483647 18612 46 | 0.004 % |
4.50/4.55 c | 24906 | 2513 12797 40460 | 2147483647 18824 46 | 0.000 % |
4.60/4.62 c | 25141 | 2513 12797 40460 | 2147483647 19059 46 | 0.000 % |
4.70/4.71 c | 25397 | 2513 12797 40460 | 2147483647 19315 46 | 0.000 % |
4.80/4.85 c | 25679 | 2513 12797 40460 | 2147483647 19597 47 | 0.000 % |
5.00/5.00 c | 25988 | 2513 12797 40460 | 2147483647 19906 47 | 0.000 % |
5.10/5.12 c | 26330 | 2513 12797 40460 | 2147483647 20248 47 | 0.000 % |
5.21/5.29 c | 26705 | 2513 12797 40460 | 2147483647 20623 47 | 0.000 % |
5.41/5.49 c | 27117 | 2513 12797 40460 | 2147483647 21035 47 | 0.000 % |
5.61/5.69 c | 27566 | 2513 12797 40460 | 2147483647 21484 48 | 0.000 % |
5.71/5.73 c | 27669 | 2513 12797 40460 | 2147483647 21587 48 | 0.003 % |
5.71/5.76 c | 27780 | 2513 12797 40460 | 2147483647 21698 48 | 0.000 % |
5.71/5.80 c | 27901 | 2513 12797 40460 | 2147483647 21819 48 | 0.000 % |
5.81/5.84 c | 28034 | 2513 12797 40460 | 2147483647 21952 48 | 0.000 % |
5.81/5.88 c | 28181 | 2513 12797 40460 | 2147483647 22099 48 | 0.004 % |
5.91/5.92 c | 28342 | 2513 12797 40460 | 2147483647 22260 48 | 0.000 % |
5.91/5.98 c | 28520 | 2513 12797 40460 | 2147483647 22438 48 | 0.000 % |
6.01/6.02 c | 28713 | 2513 12797 40460 | 2147483647 22631 48 | 0.000 % |
6.01/6.07 c | 28927 | 2513 12797 40460 | 2147483647 22845 48 | 0.000 % |
6.11/6.15 c | 29160 | 2513 12797 40460 | 2147483647 23078 48 | 0.000 % |
6.21/6.24 c | 29418 | 2513 12797 40460 | 2147483647 23336 48 | 0.000 % |
6.31/6.37 c | 29699 | 2513 12797 40460 | 2147483647 23617 48 | 0.000 % |
6.51/6.55 c | 30008 | 2513 12797 40460 | 2147483647 23926 48 | 0.000 % |
6.61/6.65 c | 30348 | 2513 12797 40460 | 2147483647 24266 48 | 0.002 % |
6.71/6.79 c | 30723 | 2513 12797 40460 | 2147483647 24641 48 | 0.000 % |
6.91/6.95 c | 31133 | 2513 12797 40460 | 2147483647 25051 48 | 0.000 % |
7.01/7.08 c | 31583 | 2513 12797 40460 | 2147483647 25501 47 | 0.000 % |
7.21/7.25 c | 32079 | 2513 12797 40460 | 2147483647 25997 47 | 0.002 % |
7.21/7.28 c | 32179 | 2513 12797 40460 | 2147483647 26097 47 | 0.001 % |
7.21/7.30 c | 32291 | 2513 12797 40460 | 2147483647 26209 47 | 0.000 % |
7.30/7.34 c | 32413 | 2513 12797 40460 | 2147483647 26331 47 | 0.000 % |
7.30/7.36 c | 32547 | 2513 12797 40460 | 2147483647 26465 47 | 0.000 % |
7.40/7.41 c | 32695 | 2513 12797 40460 | 2147483647 26613 47 | 0.001 % |
7.40/7.45 c | 32857 | 2513 12797 40460 | 2147483647 26775 47 | 0.000 % |
7.40/7.50 c | 33033 | 2513 12797 40460 | 2147483647 26951 47 | 0.000 % |
7.50/7.56 c | 33227 | 2513 12797 40460 | 2147483647 27145 47 | 0.003 % |
7.60/7.65 c | 33440 | 2513 12797 40460 | 2147483647 27358 47 | 0.000 % |
7.70/7.75 c | 33674 | 2513 12797 40460 | 2147483647 27592 48 | 0.000 % |
7.80/7.87 c | 33932 | 2513 12797 40460 | 2147483647 27850 47 | 0.000 % |
8.00/8.02 c | 34213 | 2513 12797 40460 | 2147483647 28131 47 | 0.000 % |
8.10/8.16 c | 34522 | 2513 12797 40460 | 2147483647 28440 47 | 0.000 % |
8.20/8.29 c | 34862 | 2513 12797 40460 | 2147483647 28780 47 | 0.002 % |
8.40/8.44 c | 35234 | 2513 12797 40460 | 2147483647 29152 47 | 0.000 % |
8.50/8.60 c | 35643 | 2513 12797 40460 | 2147483647 29561 47 | 0.000 % |
8.70/8.72 c | 36094 | 2513 12797 40460 | 2147483647 30012 47 | 0.000 % |
8.90/8.91 c | 36588 | 2513 12797 40460 | 2147483647 30506 47 | 0.002 % |
9.10/9.11 c | 37130 | 2513 12797 40460 | 2147483647 31048 47 | 0.003 % |
9.10/9.14 c | 37232 | 2513 12797 40460 | 2147483647 31150 47 | 0.000 % |
9.10/9.18 c | 37342 | 2513 12797 40460 | 2147483647 31260 47 | 0.000 % |
9.20/9.24 c | 37465 | 2513 12797 40460 | 2147483647 31383 47 | 0.000 % |
9.20/9.27 c | 37599 | 2513 12797 40460 | 2147483647 31517 47 | 0.000 % |
9.30/9.33 c | 37745 | 2513 12797 40460 | 2147483647 31663 47 | 0.004 % |
9.30/9.40 c | 37907 | 2513 12797 40460 | 2147483647 31825 47 | 0.000 % |
9.50/9.52 c | 38086 | 2513 12797 40460 | 2147483647 32004 47 | 0.000 % |
9.50/9.59 c | 38280 | 2513 12797 40460 | 2147483647 32198 47 | 0.002 % |
9.60/9.66 c | 38492 | 2513 12797 40460 | 2147483647 32410 47 | 0.000 % |
9.70/9.78 c | 38725 | 2513 12797 40460 | 2147483647 32643 47 | 0.000 % |
9.90/9.92 c | 38981 | 2513 12797 40460 | 2147483647 32899 47 | 0.000 % |
9.90/9.99 c | 39265 | 2513 12797 40460 | 2147483647 33183 47 | 0.000 % |
10.10/10.16 c | 39574 | 2513 12797 40460 | 2147483647 33492 47 | 0.000 % |
10.20/10.27 c | 39913 | 2513 12797 40460 | 2147483647 33831 47 | 0.002 % |
10.30/10.39 c | 40286 | 2513 12797 40460 | 2147483647 34204 47 | 0.000 % |
10.50/10.53 c | 40695 | 2513 12797 40460 | 2147483647 34613 47 | 0.000 % |
10.60/10.68 c | 41146 | 2513 12797 40460 | 2147483647 35064 47 | 0.000 % |
10.80/10.84 c | 41640 | 2513 12797 40460 | 2147483647 35558 47 | 0.000 % |
11.10/11.12 c | 42182 | 2513 12797 40460 | 2147483647 36100 46 | 0.000 % |
11.30/11.33 c | 42778 | 2513 12797 40460 | 2147483647 36696 46 | 0.000 % |
11.30/11.38 c | 42878 | 2513 12797 40460 | 2147483647 36796 46 | 0.000 % |
11.40/11.47 c | 42989 | 2513 12797 40460 | 2147483647 36907 46 | 0.000 % |
11.50/11.59 c | 43111 | 2513 12797 40460 | 2147483647 37029 46 | 0.000 % |
11.60/11.67 c | 43244 | 2513 12797 40460 | 2147483647 37162 46 | 0.000 % |
11.70/11.72 c | 43390 | 2513 12797 40460 | 2147483647 37308 46 | 0.000 % |
11.70/11.74 c | 43550 | 2513 12797 40460 | 2147483647 37468 46 | 0.000 % |
11.80/11.85 c | 43726 | 2513 12797 40460 | 2147483647 37644 46 | 0.002 % |
11.90/11.94 c | 43920 | 2513 12797 40460 | 2147483647 37838 46 | 0.000 % |
12.00/12.05 c | 44133 | 2513 12797 40460 | 2147483647 38051 46 | 0.000 % |
12.10/12.20 c | 44369 | 2513 12797 40460 | 2147483647 38287 46 | 0.000 % |
12.20/12.30 c | 44625 | 2513 12797 40460 | 2147483647 38543 46 | 0.000 % |
12.40/12.50 c | 44907 | 2513 12797 40460 | 2147483647 38825 45 | 0.000 % |
12.60/12.68 c | 45216 | 2513 12797 40460 | 2147483647 39134 45 | 0.000 % |
12.80/12.88 c | 45556 | 2513 12797 40460 | 2147483647 39474 45 | 0.000 % |
13.00/13.01 c | 45928 | 2513 12797 40460 | 2147483647 39846 45 | 0.004 % |
13.10/13.20 c | 46339 | 2513 12797 40460 | 2147483647 40257 45 | 0.000 % |
13.40/13.44 c | 46788 | 2513 12797 40460 | 2147483647 40706 45 | 0.000 % |
13.60/13.66 c | 47282 | 2513 12797 40460 | 2147483647 41200 45 | 0.000 % |
13.90/14.00 c | 47824 | 2513 12797 40460 | 2147483647 41742 45 | 0.000 % |
14.20/14.30 c | 48420 | 2513 12797 40460 | 2147483647 42338 45 | 0.000 % |
14.60/14.70 c | 49075 | 2513 12797 40460 | 2147483647 42993 46 | 0.000 % |
14.70/14.77 c | 49175 | 2513 12797 40460 | 2147483647 43093 46 | 0.003 % |
14.80/14.82 c | 49286 | 2513 12797 40460 | 2147483647 43204 46 | 0.000 % |
14.90/14.95 c | 49408 | 2513 12797 40460 | 2147483647 43326 46 | 0.000 % |
15.00/15.08 c | 49542 | 2513 12797 40460 | 2147483647 43460 46 | 0.000 % |
15.10/15.17 c | 49688 | 2513 12797 40460 | 2147483647 43606 46 | 0.004 % |
15.20/15.24 c | 49850 | 2513 12797 40460 | 2147483647 43768 46 | 0.000 % |
15.30/15.32 c | 50027 | 2513 12797 40460 | 2147483647 43945 46 | 0.000 % |
15.40/15.46 c | 50220 | 2513 12797 40460 | 2147483647 44138 46 | 0.002 % |
15.50/15.59 c | 50434 | 2513 12797 40460 | 2147483647 44352 46 | 0.000 % |
15.70/15.72 c | 50667 | 2513 12797 40460 | 2147483647 44585 46 | 0.000 % |
15.80/15.83 c | 50924 | 2513 12797 40460 | 2147483647 44842 46 | 0.000 % |
16.00/16.01 c | 51205 | 2513 12797 40460 | 2147483647 45123 46 | 0.000 % |
16.20/16.21 c | 51515 | 2513 12797 40460 | 2147483647 45433 46 | 0.000 % |
16.40/16.41 c | 51856 | 2513 12797 40460 | 2147483647 45774 46 | 0.002 % |
16.60/16.63 c | 52229 | 2513 12797 40460 | 2147483647 46147 46 | 0.000 % |
16.80/16.88 c | 52640 | 2513 12797 40460 | 2147483647 46558 46 | 0.000 % |
17.10/17.15 c | 53090 | 2513 12797 40460 | 2147483647 47008 46 | 0.000 % |
17.30/17.32 c | 53583 | 2513 12797 40460 | 2147483647 47501 46 | 0.002 % |
17.60/17.61 c | 54127 | 2513 12797 40460 | 2147483647 48045 46 | 0.002 % |
17.80/17.88 c | 54724 | 2513 12797 40460 | 2147483647 48642 46 | 0.000 % |
18.20/18.24 c | 55380 | 2513 12797 40460 | 2147483647 49298 46 | 0.000 % |
18.50/18.59 c | 56100 | 2513 12797 40460 | 2147483647 50018 46 | 0.000 % |
18.60/18.65 c | 56201 | 2513 12797 40460 | 2147483647 50119 46 | 0.000 % |
18.70/18.77 c | 56314 | 2513 12797 40460 | 2147483647 50232 46 | 0.004 % |
18.80/18.83 c | 56435 | 2513 12797 40460 | 2147483647 50353 46 | 0.000 % |
18.90/18.91 c | 56568 | 2513 12797 40460 | 2147483647 50486 46 | 0.000 % |
18.90/18.98 c | 56714 | 2513 12797 40460 | 2147483647 50632 47 | 0.002 % |
19.00/19.03 c | 56875 | 2513 12797 40460 | 2147483647 50793 46 | 0.000 % |
19.00/19.07 c | 57051 | 2513 12797 40460 | 2147483647 50969 46 | 0.000 % |
19.10/19.18 c | 57245 | 2513 12797 40460 | 2147483647 51163 46 | 0.004 % |
19.30/19.31 c | 57458 | 2513 12797 40460 | 2147483647 51376 46 | 0.000 % |
19.40/19.46 c | 57691 | 2513 12797 40460 | 2147483647 51609 46 | 0.000 % |
19.50/19.57 c | 57948 | 2513 12797 40460 | 2147483647 51866 46 | 0.000 % |
19.60/19.68 c | 58229 | 2513 12797 40460 | 2147483647 52147 46 | 0.000 % |
19.80/19.90 c | 58538 | 2513 12797 40460 | 2147483647 52456 46 | 0.000 % |
20.10/20.16 c | 58877 | 2513 12797 40460 | 2147483647 52795 46 | 0.003 % |
20.30/20.33 c | 59250 | 2513 12797 40460 | 2147483647 53168 46 | 0.000 % |
20.50/20.51 c | 59660 | 2513 12797 40460 | 2147483647 53578 46 | 0.000 % |
20.90/20.91 c | 60111 | 2513 12797 40460 | 2147483647 54029 46 | 0.000 % |
21.20/21.24 c | 60604 | 2513 12797 40460 | 2147483647 54522 47 | 0.000 % |
21.70/21.76 c | 61147 | 2513 12797 40460 | 2147483647 55065 47 | 0.000 % |
22.00/22.10 c | 61745 | 2513 12797 40460 | 2147483647 55663 47 | 0.000 % |
22.60/22.62 c | 62401 | 2513 12797 40460 | 2147483647 56319 47 | 0.000 % |
23.30/23.33 c | 63123 | 2513 12797 40460 | 2147483647 57041 47 | 0.000 % |
24.10/24.12 c | 63915 | 2513 12797 40460 | 2147483647 57833 47 | 0.000 % |
24.20/24.27 c | 64015 | 2513 12797 40460 | 2147483647 57933 47 | 0.000 % |
24.30/24.36 c | 64125 | 2513 12797 40460 | 2147483647 58043 47 | 0.004 % |
24.40/24.48 c | 64247 | 2513 12797 40460 | 2147483647 58165 47 | 0.000 % |
24.50/24.60 c | 64381 | 2513 12797 40460 | 2147483647 58299 47 | 0.000 % |
24.70/24.72 c | 64527 | 2513 12797 40460 | 2147483647 58445 47 | 0.000 % |
24.80/24.87 c | 64687 | 2513 12797 40460 | 2147483647 58605 47 | 0.002 % |
24.90/24.94 c | 64864 | 2513 12797 40460 | 2147483647 58782 47 | 0.000 % |
25.00/25.02 c | 65058 | 2513 12797 40460 | 2147483647 58976 47 | 0.000 % |
25.10/25.17 c | 65271 | 2513 12797 40460 | 2147483647 59189 47 | 0.004 % |
25.30/25.32 c | 65504 | 2513 12797 40460 | 2147483647 59422 47 | 0.000 % |
25.50/25.53 c | 65760 | 2513 12797 40460 | 2147483647 59678 47 | 0.003 % |
25.60/25.69 c | 66041 | 2513 12797 40460 | 2147483647 59959 47 | 0.000 % |
25.80/25.85 c | 66351 | 2513 12797 40460 | 2147483647 60269 47 | 0.003 % |
26.00/26.06 c | 66692 | 2513 12797 40460 | 2147483647 60610 47 | 0.000 % |
26.40/26.44 c | 67064 | 2513 12797 40460 | 2147483647 60982 47 | 0.000 % |
26.60/26.64 c | 67475 | 2513 12797 40460 | 2147483647 61393 47 | 0.002 % |
26.80/26.88 c | 67927 | 2513 12797 40460 | 2147483647 61845 47 | 0.000 % |
27.10/27.19 c | 68422 | 2513 12797 40460 | 2147483647 62340 47 | 0.000 % |
27.50/27.55 c | 68964 | 2513 12797 40460 | 2147483647 62882 47 | 0.000 % |
27.90/27.93 c | 69561 | 2513 12797 40460 | 2147483647 63479 47 | 0.000 % |
28.40/28.46 c | 70217 | 2513 12797 40460 | 2147483647 64135 47 | 0.004 % |
29.20/29.26 c | 70938 | 2513 12797 40460 | 2147483647 64856 47 | 0.000 % |
29.89/29.92 c | 71732 | 2513 12797 40460 | 2147483647 65650 47 | 0.000 % |
30.79/30.82 c | 72603 | 2513 12797 40460 | 2147483647 66521 47 | 0.000 % |
30.89/30.96 c | 72704 | 2513 12797 40460 | 2147483647 66622 47 | 0.000 % |
30.99/31.10 c | 72814 | 2513 12797 40460 | 2147483647 66732 47 | 0.000 % |
31.19/31.23 c | 72935 | 2513 12797 40460 | 2147483647 66853 47 | 0.000 % |
31.39/31.46 c | 73069 | 2513 12797 40460 | 2147483647 66987 47 | 0.000 % |
31.59/31.62 c | 73215 | 2513 12797 40460 | 2147483647 67133 47 | 0.002 % |
31.79/31.86 c | 73378 | 2513 12797 40460 | 2147483647 67296 47 | 0.000 % |
31.99/32.09 c | 73554 | 2513 12797 40460 | 2147483647 67472 47 | 0.000 % |
32.19/32.24 c | 73747 | 2513 12797 40460 | 2147483647 67665 47 | 0.002 % |
32.29/32.34 c | 73959 | 2513 12797 40460 | 2147483647 67877 47 | 0.000 % |
32.29/32.40 c | 74192 | 2513 12797 40460 | 2147483647 68110 47 | 0.000 % |
32.59/32.65 c | 74449 | 2513 12797 40460 | 2147483647 68367 47 | 0.000 % |
32.99/33.09 c | 74731 | 2513 12797 40460 | 2147483647 68649 47 | 0.000 % |
33.39/33.42 c | 75040 | 2513 12797 40460 | 2147483647 68958 47 | 0.000 % |
33.69/33.76 c | 75379 | 2513 12797 40460 | 2147483647 69297 47 | 0.004 % |
34.09/34.15 c | 75751 | 2513 12797 40460 | 2147483647 69669 47 | 0.000 % |
34.59/34.69 c | 76160 | 2513 12797 40460 | 2147483647 70078 47 | 0.000 % |
35.09/35.13 c | 76610 | 2513 12797 40460 | 2147483647 70528 48 | 0.000 % |
35.59/35.65 c | 77105 | 2513 12797 40460 | 2147483647 71023 48 | 0.000 % |
36.09/36.17 c | 77647 | 2513 12797 40460 | 2147483647 71565 47 | 0.000 % |
36.89/36.93 c | 78244 | 2513 12797 40460 | 2147483647 72162 48 | 0.000 % |
37.89/38.00 c | 78900 | 2513 12797 40460 | 2147483647 72818 48 | 0.000 % |
39.19/39.26 c | 79620 | 2513 12797 40460 | 2147483647 73538 48 | 0.000 % |
40.29/40.33 c | 80412 | 2513 12797 40460 | 73919 64020 45 | 0.000 % |
41.39/41.49 c | 81285 | 2513 12797 40460 | 73919 64893 45 | 0.000 % |
42.59/42.65 c | 82243 | 2513 12797 40460 | 73919 65851 45 | 0.000 % |
42.59/42.70 c | 82344 | 2513 12797 40460 | 73919 65952 45 | 0.000 % |
42.69/42.77 c | 82455 | 2513 12797 40460 | 73919 66063 45 | 0.000 % |
42.79/42.88 c | 82576 | 2513 12797 40460 | 73919 66184 45 | 0.000 % |
42.99/43.04 c | 82709 | 2513 12797 40460 | 73919 66317 45 | 0.004 % |
43.09/43.17 c | 82855 | 2513 12797 40460 | 73919 66463 45 | 0.000 % |
43.19/43.29 c | 83016 | 2513 12797 40460 | 73919 66624 45 | 0.000 % |
43.39/43.48 c | 83193 | 2513 12797 40460 | 73919 66801 45 | 0.000 % |
43.69/43.71 c | 83386 | 2513 12797 40460 | 73919 66994 45 | 0.000 % |
43.89/43.98 c | 83598 | 2513 12797 40460 | 73919 67206 45 | 0.000 % |
44.19/44.26 c | 83831 | 2513 12797 40460 | 73919 67439 45 | 0.002 % |
44.49/44.55 c | 84087 | 2513 12797 40460 | 73919 67695 45 | 0.000 % |
44.89/44.97 c | 84368 | 2513 12797 40460 | 73919 67976 45 | 0.002 % |
45.19/45.23 c | 84677 | 2513 12797 40460 | 73919 68285 45 | 0.000 % |
45.49/45.60 c | 85017 | 2513 12797 40460 | 73919 68625 45 | 0.000 % |
45.89/45.95 c | 85389 | 2513 12797 40460 | 73919 68997 45 | 0.004 % |
46.39/46.45 c | 85798 | 2513 12797 40460 | 73919 69406 45 | 0.000 % |
47.09/47.11 c | 86247 | 2513 12797 40460 | 73919 69855 45 | 0.000 % |
47.59/47.61 c | 86740 | 2513 12797 40460 | 73919 70348 46 | 0.000 % |
48.29/48.31 c | 87284 | 2513 12797 40460 | 73919 70892 46 | 0.000 % |
48.89/49.00 c | 87881 | 2513 12797 40460 | 73919 71489 46 | 0.000 % |
49.79/49.82 c | 88537 | 2513 12797 40460 | 73919 72145 46 | 0.000 % |
50.59/50.69 c | 89258 | 2513 12797 40460 | 73919 72866 46 | 0.004 % |
51.89/51.97 c | 90050 | 2513 12797 40460 | 73610 73658 46 | 0.000 % |
52.69/52.79 c | 90921 | 2513 12797 40460 | 73610 63538 44 | 0.000 % |
53.69/53.78 c | 91881 | 2513 12797 40460 | 73610 64498 44 | 0.000 % |
54.89/54.96 c | 92935 | 2513 12797 40460 | 73610 65552 44 | 0.000 % |
54.99/55.04 c | 93035 | 2513 12797 40460 | 73610 65652 44 | 0.000 % |
55.09/55.15 c | 93146 | 2513 12797 40460 | 73610 65763 44 | 0.004 % |
55.19/55.22 c | 93269 | 2513 12797 40460 | 73610 65886 44 | 0.000 % |
55.29/55.35 c | 93404 | 2513 12797 40460 | 73610 66021 44 | 0.000 % |
55.49/55.51 c | 93551 | 2513 12797 40460 | 73610 66168 44 | 0.000 % |
55.59/55.63 c | 93711 | 2513 12797 40460 | 73610 66328 44 | 0.000 % |
55.79/55.81 c | 93887 | 2513 12797 40460 | 73610 66504 44 | 0.000 % |
55.79/55.88 c | 94083 | 2513 12797 40460 | 73610 66700 44 | 0.000 % |
55.99/56.07 c | 94296 | 2513 12797 40460 | 73610 66913 44 | 0.002 % |
56.19/56.26 c | 94530 | 2513 12797 40460 | 73610 67147 44 | 0.000 % |
56.39/56.45 c | 94788 | 2513 12797 40460 | 73610 67405 44 | 0.004 % |
56.69/56.74 c | 95070 | 2513 12797 40460 | 73610 67687 44 | 0.000 % |
57.09/57.12 c | 95380 | 2513 12797 40460 | 73610 67997 44 | 0.000 % |
57.29/57.33 c | 95721 | 2513 12797 40460 | 73610 68338 45 | 0.000 % |
57.59/57.64 c | 96093 | 2513 12797 40460 | 73610 68710 45 | 0.000 % |
57.89/57.93 c | 96502 | 2513 12797 40460 | 73610 69119 45 | 0.004 % |
58.19/58.21 c | 96951 | 2513 12797 40460 | 73610 69568 45 | 0.000 % |
58.39/58.47 c | 97444 | 2513 12797 40460 | 73610 70061 44 | 0.000 % |
58.79/58.87 c | 97986 | 2513 12797 40460 | 73610 70603 45 | 0.000 % |
59.29/59.39 c | 98582 | 2513 12797 40460 | 73610 71199 44 | 0.000 % |
59.79/59.83 c | 99238 | 2513 12797 40460 | 73610 71855 44 | 0.004 % |
60.29/60.36 c | 99958 | 2513 12797 40460 | 73610 72575 45 | 0.000 % |
61.49/61.57 c | 100750 | 2513 12797 40460 | 72619 62633 44 | 0.000 % |
62.49/62.53 c | 101622 | 2513 12797 40460 | 72619 63505 44 | 0.000 % |
63.49/63.54 c | 102580 | 2513 12797 40460 | 72619 64463 44 | 0.000 % |
64.59/64.61 c | 103633 | 2513 12797 40460 | 72619 65516 44 | 0.003 % |
65.49/65.59 c | 104792 | 2513 12797 40460 | 72619 66675 44 | 0.000 % |
65.59/65.69 c | 104894 | 2513 12797 40460 | 72619 66777 44 | 0.000 % |
65.69/65.76 c | 105004 | 2513 12797 40460 | 72619 66887 44 | 0.000 % |
65.89/65.93 c | 105125 | 2513 12797 40460 | 72619 67008 44 | 0.003 % |
65.89/66.00 c | 105258 | 2513 12797 40460 | 72619 67141 44 | 0.000 % |
66.09/66.14 c | 105405 | 2513 12797 40460 | 72619 67288 44 | 0.000 % |
66.19/66.30 c | 105565 | 2513 12797 40460 | 72619 67448 45 | 0.000 % |
66.39/66.43 c | 105742 | 2513 12797 40460 | 72619 67625 45 | 0.004 % |
66.49/66.57 c | 105936 | 2513 12797 40460 | 72619 67819 45 | 0.000 % |
66.79/66.81 c | 106149 | 2513 12797 40460 | 72619 68032 45 | 0.000 % |
66.89/66.93 c | 106382 | 2513 12797 40460 | 72619 68265 44 | 0.000 % |
66.99/67.05 c | 106638 | 2513 12797 40460 | 72619 68521 44 | 0.000 % |
67.29/67.31 c | 106921 | 2513 12797 40460 | 72619 68804 44 | 0.000 % |
67.59/67.62 c | 107232 | 2513 12797 40460 | 72619 69115 44 | 0.000 % |
67.89/67.98 c | 107573 | 2513 12797 40460 | 72619 69456 44 | 0.000 % |
68.19/68.26 c | 107946 | 2513 12797 40460 | 72619 69829 44 | 0.004 % |
68.49/68.56 c | 108355 | 2513 12797 40460 | 72619 70238 44 | 0.000 % |
68.79/68.88 c | 108806 | 2513 12797 40460 | 72619 70689 44 | 0.000 % |
69.29/69.32 c | 109300 | 2513 12797 40460 | 72619 71183 44 | 0.000 % |
69.69/69.71 c | 109843 | 2513 12797 40460 | 72619 71726 44 | 0.000 % |
70.19/70.22 c | 110439 | 2513 12797 40460 | 71883 72322 44 | 0.000 % |
70.89/70.93 c | 111094 | 2513 12797 40460 | 71883 62386 42 | 0.000 % |
71.29/71.37 c | 111816 | 2513 12797 40460 | 71883 63108 42 | 0.003 % |
71.99/72.06 c | 112609 | 2513 12797 40460 | 71883 63901 43 | 0.000 % |
72.99/73.08 c | 113480 | 2513 12797 40460 | 71883 64772 42 | 0.000 % |
73.79/73.81 c | 114439 | 2513 12797 40460 | 71883 65731 42 | 0.000 % |
74.89/74.93 c | 115492 | 2513 12797 40460 | 71883 66784 42 | 0.000 % |
76.29/76.34 c | 116650 | 2513 12797 40460 | 71883 67942 43 | 0.000 % |
77.89/78.00 c | 117924 | 2513 12797 40460 | 71883 69216 43 | 0.000 % |
78.09/78.16 c | 118024 | 2513 12797 40460 | 71883 69316 43 | 0.000 % |
78.29/78.32 c | 118135 | 2513 12797 40460 | 71883 69427 43 | 0.004 % |
78.39/78.45 c | 118256 | 2513 12797 40460 | 71883 69548 43 | 0.000 % |
78.49/78.59 c | 118389 | 2513 12797 40460 | 71883 69681 43 | 0.000 % |
78.69/78.74 c | 118535 | 2513 12797 40460 | 71883 69827 43 | 0.000 % |
78.79/78.89 c | 118695 | 2513 12797 40460 | 71883 69987 43 | 0.002 % |
78.99/79.07 c | 118871 | 2513 12797 40460 | 71883 70163 43 | 0.000 % |
79.20/79.24 c | 119064 | 2513 12797 40460 | 71883 70356 43 | 0.000 % |
79.39/79.45 c | 119277 | 2513 12797 40460 | 71883 70569 43 | 0.004 % |
79.69/79.72 c | 119511 | 2513 12797 40460 | 71883 70803 44 | 0.000 % |
80.09/80.16 c | 119768 | 2513 12797 40460 | 71883 71060 44 | 0.002 % |
80.30/80.38 c | 120050 | 2513 12797 40460 | 71292 71342 44 | 0.000 % |
80.59/80.68 c | 120359 | 2513 12797 40460 | 71292 61215 42 | 0.003 % |
80.79/80.89 c | 120700 | 2513 12797 40460 | 71292 61556 42 | 0.000 % |
81.29/81.34 c | 121072 | 2513 12797 40460 | 71292 61928 42 | 0.000 % |
81.69/81.71 c | 121482 | 2513 12797 40460 | 71292 62338 42 | 0.004 % |
82.19/82.20 c | 121932 | 2513 12797 40460 | 71292 62788 42 | 0.000 % |
82.69/82.74 c | 122426 | 2513 12797 40460 | 71292 63282 42 | 0.000 % |
83.29/83.37 c | 122970 | 2513 12797 40460 | 71292 63826 43 | 0.000 % |
83.79/83.89 c | 123566 | 2513 12797 40460 | 71292 64422 42 | 0.000 % |
84.49/84.56 c | 124222 | 2513 12797 40460 | 71292 65078 42 | 0.004 % |
85.19/85.24 c | 124942 | 2513 12797 40460 | 71292 65798 43 | 0.000 % |
85.69/85.79 c | 125735 | 2513 12797 40460 | 71292 66591 42 | 0.000 % |
86.59/86.65 c | 126607 | 2513 12797 40460 | 71292 67463 43 | 0.000 % |
87.69/87.78 c | 127566 | 2513 12797 40460 | 71292 68422 43 | 0.000 % |
88.59/88.66 c | 128621 | 2513 12797 40460 | 71292 69477 43 | 0.002 % |
89.39/89.46 c | 129781 | 2513 12797 40460 | 71292 70637 43 | 0.000 % |
90.69/90.78 c | 131054 | 2513 12797 40460 | 70858 62952 41 | 0.000 % |
92.19/92.27 c | 132454 | 2513 12797 40460 | 70858 64352 41 | 0.004 % |
92.29/92.39 c | 132554 | 2513 12797 40460 | 70858 64452 41 | 0.000 % |
92.49/92.54 c | 132664 | 2513 12797 40460 | 70858 64562 41 | 0.002 % |
92.59/92.64 c | 132787 | 2513 12797 40460 | 70858 64685 41 | 0.000 % |
92.69/92.80 c | 132920 | 2513 12797 40460 | 70858 64818 41 | 0.000 % |
92.89/92.91 c | 133066 | 2513 12797 40460 | 70858 64964 41 | 0.000 % |
92.99/93.04 c | 133226 | 2513 12797 40460 | 70858 65124 41 | 0.004 % |
93.19/93.26 c | 133404 | 2513 12797 40460 | 70858 65302 41 | 0.000 % |
93.39/93.49 c | 133597 | 2513 12797 40460 | 70858 65495 41 | 0.000 % |
93.69/93.74 c | 133809 | 2513 12797 40460 | 70858 65707 41 | 0.004 % |
93.89/93.97 c | 134043 | 2513 12797 40460 | 70858 65941 42 | 0.000 % |
94.19/94.21 c | 134299 | 2513 12797 40460 | 70858 66197 41 | 0.003 % |
94.49/94.58 c | 134580 | 2513 12797 40460 | 70858 66478 42 | 0.000 % |
94.99/95.04 c | 134889 | 2513 12797 40460 | 70858 66787 42 | 0.003 % |
95.29/95.32 c | 135229 | 2513 12797 40460 | 70858 67127 42 | 0.000 % |
95.79/95.81 c | 135602 | 2513 12797 40460 | 70858 67500 42 | 0.000 % |
96.19/96.22 c | 136014 | 2513 12797 40460 | 70858 67912 42 | 0.000 % |
96.59/96.66 c | 136463 | 2513 12797 40460 | 70858 68361 42 | 0.004 % |
96.99/97.02 c | 136957 | 2513 12797 40460 | 70858 68855 42 | 0.000 % |
97.49/97.56 c | 137500 | 2513 12797 40460 | 70858 69398 42 | 0.000 % |
98.19/98.23 c | 138097 | 2513 12797 40460 | 70858 69995 42 | 0.001 % |
98.69/98.74 c | 138753 | 2513 12797 40460 | 70858 70651 42 | 0.003 % |
99.69/99.79 c | 139473 | 2513 12797 40460 | 70858 60253 40 | 0.000 % |
100.59/100.65 c | 140265 | 2513 12797 40460 | 60781 61045 40 | 0.000 % |
101.39/101.40 c | 141137 | 2513 12797 40460 | 60781 52588 39 | 0.000 % |
102.59/102.70 c | 142096 | 2513 12797 40460 | 60781 53547 39 | 0.000 % |
103.49/103.55 c | 143151 | 2513 12797 40460 | 60781 54602 39 | 0.004 % |
104.89/105.00 c | 144309 | 2513 12797 40460 | 60781 55760 40 | 0.000 % |
106.19/106.24 c | 145582 | 2513 12797 40460 | 60781 57033 40 | 0.000 % |
107.39/107.45 c | 146982 | 2513 12797 40460 | 60781 58433 40 | 0.004 % |
109.09/109.12 c | 148522 | 2513 12797 40460 | 60781 59973 41 | 0.000 % |
109.19/109.23 c | 148622 | 2513 12797 40460 | 60781 60073 41 | 0.001 % |
109.29/109.33 c | 148737 | 2513 12797 40460 | 60781 60188 41 | 0.000 % |
109.39/109.41 c | 148858 | 2513 12797 40460 | 60781 60309 41 | 0.000 % |
109.49/109.54 c | 148991 | 2513 12797 40460 | 60781 60442 41 | 0.000 % |
109.59/109.67 c | 149137 | 2513 12797 40460 | 60781 60588 41 | 0.000 % |
109.79/109.86 c | 149297 | 2513 12797 40460 | 60781 60748 41 | 0.000 % |
109.89/110.01 c | 149474 | 2513 12797 40460 | 60781 60925 41 | 0.000 % |
110.29/110.33 c | 149669 | 2513 12797 40460 | 60781 54806 40 | 0.000 % |
110.39/110.49 c | 149881 | 2513 12797 40460 | 60781 55018 41 | 0.000 % |
110.59/110.69 c | 150115 | 2513 12797 40460 | 55139 55252 41 | 0.000 % |
111.10/111.16 c | 150373 | 2513 12797 40460 | 55139 49785 39 | 0.000 % |
111.19/111.24 c | 150655 | 2513 12797 40460 | 55139 50067 39 | 0.000 % |
111.29/111.31 c | 150967 | 2513 12797 40460 | 55139 50379 39 | 0.000 % |
111.49/111.52 c | 151306 | 2513 12797 40460 | 55139 50718 39 | 0.000 % |
111.79/111.81 c | 151679 | 2513 12797 40460 | 55139 51091 39 | 0.000 % |
111.99/112.06 c | 152088 | 2513 12797 40460 | 55139 51500 39 | 0.000 % |
112.39/112.45 c | 152537 | 2513 12797 40460 | 55139 51949 39 | 0.001 % |
112.79/112.81 c | 153030 | 2513 12797 40460 | 55139 52442 39 | 0.002 % |
113.09/113.14 c | 153572 | 2513 12797 40460 | 55139 52984 39 | 0.003 % |
113.49/113.55 c | 154168 | 2513 12797 40460 | 55139 53580 39 | 0.004 % |
114.09/114.11 c | 154823 | 2513 12797 40460 | 55139 54235 39 | 0.000 % |
114.59/114.66 c | 155544 | 2513 12797 40460 | 55139 54956 40 | 0.000 % |
115.39/115.41 c | 156336 | 2513 12797 40460 | 55139 50204 39 | 0.004 % |
115.99/116.05 c | 157207 | 2513 12797 40460 | 55139 51075 39 | 0.000 % |
116.89/116.94 c | 158166 | 2513 12797 40460 | 55139 52034 39 | 0.000 % |
117.79/117.83 c | 159221 | 2513 12797 40460 | 55139 53089 39 | 0.000 % |
118.69/118.76 c | 160380 | 2513 12797 40460 | 2147483647 54248 39 | 0.000 % |
119.99/120.05 c | 161654 | 2513 12797 40460 | 2147483647 55522 39 | 0.000 % |
121.19/121.28 c | 163054 | 2513 12797 40460 | 2147483647 56922 39 | 0.000 % |
122.10/122.12 c | 164595 | 2513 12797 40460 | 2147483647 58463 39 | 0.003 % |
122.99/123.05 c | 166289 | 2513 12797 40460 | 2147483647 60157 39 | 0.002 % |
123.09/123.11 c | 166389 | 2513 12797 40460 | 2147483647 60257 39 | 0.000 % |
123.09/123.17 c | 166499 | 2513 12797 40460 | 2147483647 60367 39 | 0.000 % |
123.20/123.24 c | 166622 | 2513 12797 40460 | 2147483647 60490 40 | 0.000 % |
123.29/123.34 c | 166755 | 2513 12797 40460 | 2147483647 60623 39 | 0.000 % |
123.39/123.44 c | 166901 | 2513 12797 40460 | 2147483647 60769 40 | 0.000 % |
123.59/123.65 c | 167061 | 2513 12797 40460 | 2147483647 60929 40 | 0.000 % |
123.79/123.84 c | 167237 | 2513 12797 40460 | 2147483647 61105 40 | 0.004 % |
123.99/124.09 c | 167430 | 2513 12797 40460 | 2147483647 61298 40 | 0.000 % |
124.30/124.32 c | 167643 | 2513 12797 40460 | 2147483647 61511 40 | 0.000 % |
124.49/124.57 c | 167877 | 2513 12797 40460 | 2147483647 61745 40 | 0.000 % |
124.69/124.79 c | 168133 | 2513 12797 40460 | 2147483647 62001 40 | 0.000 % |
124.99/125.09 c | 168414 | 2513 12797 40460 | 2147483647 62282 40 | 0.000 % |
125.40/125.44 c | 168724 | 2513 12797 40460 | 2147483647 62592 40 | 0.000 % |
126.19/126.26 c | 169064 | 2513 12797 40460 | 2147483647 62932 40 | 0.000 % |
126.59/126.60 c | 169436 | 2513 12797 40460 | 2147483647 63304 40 | 0.004 % |
126.89/126.92 c | 169845 | 2513 12797 40460 | 2147483647 63713 40 | 0.000 % |
127.29/127.30 c | 170294 | 2513 12797 40460 | 2147483647 64162 40 | 0.000 % |
127.60/127.66 c | 170789 | 2513 12797 40460 | 2147483647 64657 41 | 0.000 % |
128.09/128.16 c | 171331 | 2513 12797 40460 | 2147483647 65199 41 | 0.000 % |
129.09/129.12 c | 171928 | 2513 12797 40460 | 2147483647 65796 41 | 0.000 % |
130.09/130.17 c | 172584 | 2513 12797 40460 | 2147483647 66452 41 | 0.000 % |
130.69/130.79 c | 173305 | 2513 12797 40460 | 2147483647 67173 41 | 0.004 % |
131.79/131.82 c | 174097 | 2513 12797 40460 | 2147483647 67965 41 | 0.000 % |
132.49/132.55 c | 174968 | 2513 12797 40460 | 2147483647 68836 41 | 0.003 % |
133.40/133.50 c | 175927 | 2513 12797 40460 | 2147483647 69795 41 | 0.000 % |
134.80/134.87 c | 176980 | 2513 12797 40460 | 2147483647 70848 41 | 0.000 % |
136.10/136.17 c | 178139 | 2513 12797 40460 | 2147483647 72007 42 | 0.000 % |
138.20/138.28 c | 179413 | 2513 12797 40460 | 2147483647 73281 42 | 0.000 % |
140.40/140.41 c | 180814 | 2513 12797 40460 | 73868 63381 41 | 0.000 % |
141.70/141.81 c | 182356 | 2513 12797 40460 | 73868 64923 41 | 0.000 % |
143.00/143.10 c | 184050 | 2513 12797 40460 | 73868 66617 42 | 0.000 % |
145.80/145.82 c | 185915 | 2513 12797 40460 | 73868 68482 42 | 0.002 % |
145.90/145.91 c | 186015 | 2513 12797 40460 | 73868 68582 42 | 0.000 % |
146.00/146.01 c | 186125 | 2513 12797 40460 | 73868 68692 42 | 0.001 % |
146.00/146.09 c | 186246 | 2513 12797 40460 | 73868 68813 42 | 0.000 % |
146.20/146.29 c | 186380 | 2513 12797 40460 | 73868 68947 42 | 0.000 % |
146.50/146.51 c | 186527 | 2513 12797 40460 | 73868 69094 42 | 0.000 % |
146.70/146.71 c | 186690 | 2513 12797 40460 | 73868 69257 42 | 0.004 % |
146.80/146.86 c | 186866 | 2513 12797 40460 | 73868 69433 42 | 0.000 % |
147.00/147.06 c | 187060 | 2513 12797 40460 | 73868 69627 42 | 0.000 % |
147.20/147.25 c | 187273 | 2513 12797 40460 | 73868 69840 42 | 0.003 % |
147.40/147.50 c | 187509 | 2513 12797 40460 | 73868 70076 42 | 0.000 % |
147.60/147.68 c | 187765 | 2513 12797 40460 | 73868 70332 42 | 0.001 % |
147.90/147.94 c | 188046 | 2513 12797 40460 | 73868 70613 42 | 0.000 % |
148.20/148.27 c | 188355 | 2513 12797 40460 | 73868 70922 42 | 0.004 % |
148.50/148.55 c | 188697 | 2513 12797 40460 | 73868 71264 42 | 0.000 % |
148.90/149.00 c | 189069 | 2513 12797 40460 | 73868 71636 42 | 0.000 % |
149.40/149.41 c | 189479 | 2513 12797 40460 | 73868 72046 42 | 0.004 % |
150.30/150.34 c | 189929 | 2513 12797 40460 | 73868 72496 42 | 0.000 % |
150.90/150.98 c | 190424 | 2513 12797 40460 | 72568 72991 42 | 0.000 % |
151.40/151.50 c | 190967 | 2513 12797 40460 | 72568 61151 40 | 0.000 % |
152.20/152.29 c | 191564 | 2513 12797 40460 | 72568 61748 40 | 0.000 % |
152.70/152.73 c | 192219 | 2513 12797 40460 | 72568 62403 40 | 0.002 % |
153.20/153.26 c | 192939 | 2513 12797 40460 | 72568 63123 40 | 0.000 % |
154.00/154.04 c | 193731 | 2513 12797 40460 | 72568 63915 40 | 0.000 % |
154.80/154.81 c | 194604 | 2513 12797 40460 | 72568 64788 41 | 0.000 % |
155.80/155.86 c | 195563 | 2513 12797 40460 | 72568 65747 41 | 0.000 % |
156.80/156.90 c | 196617 | 2513 12797 40460 | 72568 66801 41 | 0.004 % |
157.80/157.89 c | 197777 | 2513 12797 40460 | 72568 67961 41 | 0.000 % |
159.00/159.09 c | 199050 | 2513 12797 40460 | 72568 69234 41 | 0.000 % |
160.50/160.61 c | 200450 | 2513 12797 40460 | 70185 70634 41 | 0.005 % |
162.30/162.31 c | 201991 | 2513 12797 40460 | 70185 60973 40 | 0.000 % |
164.00/164.10 c | 203685 | 2513 12797 40460 | 70185 62667 41 | 0.000 % |
166.20/166.30 c | 205548 | 2513 12797 40460 | 70185 64530 42 | 0.000 % |
167.50/167.60 c | 207598 | 2513 12797 40460 | 70185 66580 42 | 0.003 % |
167.60/167.69 c | 207698 | 2513 12797 40460 | 70185 66680 42 | 0.002 % |
167.70/167.78 c | 207808 | 2513 12797 40460 | 70185 66790 42 | 0.000 % |
167.80/167.88 c | 207931 | 2513 12797 40460 | 70185 66913 42 | 0.000 % |
167.90/167.98 c | 208066 | 2513 12797 40460 | 70185 67048 42 | 0.000 % |
168.10/168.15 c | 208212 | 2513 12797 40460 | 70185 67194 42 | 0.005 % |
168.30/168.31 c | 208375 | 2513 12797 40460 | 70185 67357 42 | 0.000 % |
168.40/168.47 c | 208554 | 2513 12797 40460 | 70185 67536 42 | 0.000 % |
168.50/168.59 c | 208747 | 2513 12797 40460 | 70185 67729 42 | 0.003 % |
168.70/168.77 c | 208959 | 2513 12797 40460 | 70185 67941 42 | 0.000 % |
169.00/169.03 c | 209193 | 2513 12797 40460 | 70185 68175 42 | 0.000 % |
169.20/169.26 c | 209449 | 2513 12797 40460 | 70185 68431 42 | 0.000 % |
169.40/169.45 c | 209731 | 2513 12797 40460 | 70185 68713 42 | 0.000 % |
169.70/169.80 c | 210041 | 2513 12797 40460 | 68982 69023 42 | 0.000 % |
170.10/170.14 c | 210380 | 2513 12797 40460 | 68982 58762 40 | 0.002 % |
170.40/170.41 c | 210754 | 2513 12797 40460 | 68982 59136 40 | 0.000 % |
170.80/170.83 c | 211165 | 2513 12797 40460 | 68982 59547 40 | 0.000 % |
171.20/171.30 c | 211614 | 2513 12797 40460 | 68982 59996 40 | 0.000 % |
171.80/171.85 c | 212107 | 2513 12797 40460 | 68982 60489 40 | 0.000 % |
172.40/172.42 c | 212651 | 2513 12797 40460 | 68982 61033 41 | 0.000 % |
173.00/173.04 c | 213249 | 2513 12797 40460 | 68982 61631 41 | 0.000 % |
173.80/173.89 c | 213904 | 2513 12797 40460 | 68982 62286 41 | 0.000 % |
174.80/174.87 c | 214625 | 2513 12797 40460 | 68982 63007 41 | 0.000 % |
175.20/175.28 c | 215417 | 2513 12797 40460 | 68982 63799 41 | 0.000 % |
176.30/176.34 c | 216289 | 2513 12797 40460 | 68982 64671 41 | 0.000 % |
177.30/177.32 c | 217248 | 2513 12797 40460 | 68982 65630 42 | 0.000 % |
178.30/178.31 c | 218301 | 2513 12797 40460 | 68982 66683 42 | 0.000 % |
179.40/179.48 c | 219459 | 2513 12797 40460 | 68982 67841 42 | 0.000 % |
180.90/180.97 c | 220734 | 2513 12797 40460 | 68383 59414 40 | 0.000 % |
182.70/182.75 c | 222134 | 2513 12797 40460 | 68383 60814 41 | 0.000 % |
184.30/184.35 c | 223674 | 2513 12797 40460 | 68383 62354 41 | 0.000 % |
186.60/186.62 c | 225368 | 2513 12797 40460 | 68383 64048 42 | 0.000 % |
188.80/188.84 c | 227231 | 2513 12797 40460 | 68383 65911 42 | 0.000 % |
191.00/191.05 c | 229283 | 2513 12797 40460 | 68383 67963 43 | 0.000 % |
193.60/193.70 c | 231536 | 2513 12797 40460 | 68680 58964 42 | 0.000 % |
193.70/193.81 c | 231636 | 2513 12797 40460 | 68680 59064 42 | 0.005 % |
193.90/193.98 c | 231746 | 2513 12797 40460 | 68680 59174 42 | 0.000 % |
194.00/194.09 c | 231867 | 2513 12797 40460 | 68680 59295 42 | 0.000 % |
194.30/194.31 c | 232000 | 2513 12797 40460 | 68680 59428 42 | 0.000 % |
194.40/194.43 c | 232147 | 2513 12797 40460 | 68680 59575 42 | 0.003 % |
194.50/194.58 c | 232307 | 2513 12797 40460 | 68680 59735 42 | 0.000 % |
194.80/194.84 c | 232483 | 2513 12797 40460 | 68680 59911 42 | 0.000 % |
195.00/195.06 c | 232676 | 2513 12797 40460 | 68680 60104 42 | 0.000 % |
195.20/195.27 c | 232888 | 2513 12797 40460 | 68680 60316 42 | 0.000 % |
195.50/195.51 c | 233123 | 2513 12797 40460 | 68680 60551 42 | 0.000 % |
195.90/195.97 c | 233379 | 2513 12797 40460 | 68680 60807 42 | 0.000 % |
196.20/196.23 c | 233660 | 2513 12797 40460 | 68680 61088 42 | 0.000 % |
196.50/196.52 c | 233970 | 2513 12797 40460 | 68680 61398 42 | 0.000 % |
196.80/196.90 c | 234309 | 2513 12797 40460 | 68680 61737 43 | 0.000 % |
197.20/197.22 c | 234681 | 2513 12797 40460 | 68680 62109 43 | 0.000 % |
198.00/198.03 c | 235091 | 2513 12797 40460 | 68680 62519 43 | 0.000 % |
198.40/198.47 c | 235540 | 2513 12797 40460 | 68680 62968 43 | 0.005 % |
198.70/198.80 c | 236033 | 2513 12797 40460 | 68680 63461 43 | 0.003 % |
199.40/199.41 c | 236575 | 2513 12797 40460 | 68680 64003 43 | 0.005 % |
199.80/199.81 c | 237171 | 2513 12797 40460 | 68680 64599 43 | 0.003 % |
200.50/200.54 c | 237827 | 2513 12797 40460 | 68680 65255 43 | 0.000 % |
201.50/201.54 c | 238548 | 2513 12797 40460 | 68680 65976 43 | 0.000 % |
202.30/202.31 c | 239342 | 2513 12797 40460 | 68680 66770 43 | 0.005 % |
203.20/203.25 c | 240213 | 2513 12797 40460 | 67430 67641 44 | 0.000 % |
204.30/204.36 c | 241172 | 2513 12797 40460 | 67430 58471 43 | 0.000 % |
205.40/205.49 c | 242225 | 2513 12797 40460 | 67430 59524 43 | 0.000 % |
206.70/206.77 c | 243383 | 2513 12797 40460 | 67430 60682 43 | 0.000 % |
207.80/207.89 c | 244657 | 2513 12797 40460 | 67430 61956 43 | 0.000 % |
209.41/209.46 c | 246058 | 2513 12797 40460 | 67430 63357 43 | 0.000 % |
210.51/210.52 c | 247600 | 2513 12797 40460 | 67430 64899 43 | 0.002 % |
211.61/211.63 c | 249294 | 2513 12797 40460 | 67430 66593 43 | 0.000 % |
214.01/214.06 c | 251157 | 2513 12797 40460 | 67299 59378 43 | 0.000 % |
217.31/217.34 c | 253207 | 2513 12797 40460 | 67299 61428 43 | 0.000 % |
220.11/220.12 c | 255463 | 2513 12797 40460 | 67299 63684 44 | 0.000 % |
223.21/223.30 c | 257941 | 2513 12797 40460 | 67299 66162 44 | 0.000 % |
223.32/223.38 c | 258041 | 2513 12797 40460 | 67299 66262 44 | 0.000 % |
223.51/223.58 c | 258152 | 2513 12797 40460 | 67299 66373 44 | 0.005 % |
223.71/223.78 c | 258273 | 2513 12797 40460 | 67299 66494 44 | 0.000 % |
223.81/223.89 c | 258407 | 2513 12797 40460 | 67299 66628 44 | 0.000 % |
223.91/224.00 c | 258554 | 2513 12797 40460 | 67299 66775 44 | 0.000 % |
224.21/224.24 c | 258714 | 2513 12797 40460 | 67299 66935 44 | 0.005 % |
224.42/224.46 c | 258890 | 2513 12797 40460 | 67299 67111 44 | 0.000 % |
224.71/224.78 c | 259083 | 2513 12797 40460 | 67299 67304 44 | 0.000 % |
225.01/225.03 c | 259296 | 2513 12797 40460 | 67299 57570 42 | 0.003 % |
225.11/225.20 c | 259529 | 2513 12797 40460 | 67299 57803 42 | 0.000 % |
225.41/225.42 c | 259785 | 2513 12797 40460 | 67299 58059 42 | 0.005 % |
225.52/225.60 c | 260066 | 2513 12797 40460 | 58275 58340 42 | 0.000 % |
225.91/225.95 c | 260376 | 2513 12797 40460 | 58275 50454 39 | 0.005 % |
226.21/226.27 c | 260715 | 2513 12797 40460 | 58275 50793 39 | 0.000 % |
226.51/226.59 c | 261089 | 2513 12797 40460 | 58275 51167 39 | 0.000 % |
226.81/226.85 c | 261499 | 2513 12797 40460 | 58275 51577 39 | 0.002 % |
227.01/227.07 c | 261949 | 2513 12797 40460 | 58275 52027 39 | 0.000 % |
227.51/227.54 c | 262442 | 2513 12797 40460 | 58275 52520 39 | 0.000 % |
227.91/227.96 c | 262985 | 2513 12797 40460 | 58275 53063 39 | 0.000 % |
228.61/228.63 c | 263582 | 2513 12797 40460 | 58275 53660 40 | 0.000 % |
228.91/228.95 c | 264238 | 2513 12797 40460 | 58275 54316 40 | 0.003 % |
229.51/229.53 c | 264958 | 2513 12797 40460 | 58275 55036 40 | 0.000 % |
230.01/230.08 c | 265750 | 2513 12797 40460 | 58275 55828 40 | 0.000 % |
230.81/230.89 c | 266621 | 2513 12797 40460 | 58275 56699 41 | 0.000 % |
231.51/231.56 c | 267580 | 2513 12797 40460 | 58275 57658 40 | 0.000 % |
232.31/232.32 c | 268634 | 2513 12797 40460 | 58275 58712 40 | 0.001 % |
233.11/233.20 c | 269794 | 2513 12797 40460 | 58275 54001 39 | 0.000 % |
234.11/234.21 c | 271068 | 2513 12797 40460 | 2147483647 55275 39 | 0.000 % |
235.42/235.45 c | 272468 | 2513 12797 40460 | 2147483647 56675 39 | 0.005 % |
236.61/236.65 c | 274011 | 2513 12797 40460 | 2147483647 58218 39 | 0.000 % |
237.62/237.70 c | 275706 | 2513 12797 40460 | 2147483647 59913 39 | 0.003 % |
239.61/239.65 c | 277570 | 2513 12797 40460 | 2147483647 61777 39 | 0.000 % |
241.01/241.05 c | 279620 | 2513 12797 40460 | 2147483647 63827 39 | 0.003 % |
242.21/242.26 c | 281874 | 2513 12797 40460 | 2147483647 66081 40 | 0.000 % |
244.51/244.57 c | 284353 | 2513 12797 40460 | 2147483647 68560 41 | 0.000 % |
247.81/247.86 c | 287079 | 2513 12797 40460 | 2147483647 71286 40 | 0.000 % |
248.01/248.02 c | 287179 | 2513 12797 40460 | 2147483647 71386 40 | 0.005 % |
248.11/248.16 c | 287291 | 2513 12797 40460 | 2147483647 71498 40 | 0.000 % |
248.31/248.33 c | 287412 | 2513 12797 40460 | 2147483647 71619 40 | 0.000 % |
248.51/248.56 c | 287545 | 2513 12797 40460 | 2147483647 71752 40 | 0.000 % |
248.62/248.69 c | 287692 | 2513 12797 40460 | 2147483647 71899 40 | 0.003 % |
248.71/248.79 c | 287853 | 2513 12797 40460 | 2147483647 72060 40 | 0.000 % |
248.91/248.94 c | 288031 | 2513 12797 40460 | 2147483647 72238 40 | 0.000 % |
249.01/249.08 c | 288226 | 2513 12797 40460 | 2147483647 72433 40 | 0.000 % |
249.21/249.25 c | 288439 | 2513 12797 40460 | 2147483647 72646 40 | 0.000 % |
249.51/249.60 c | 288672 | 2513 12797 40460 | 2147483647 72879 40 | 0.000 % |
249.91/249.95 c | 288930 | 2513 12797 40460 | 2147483647 73137 40 | 0.000 % |
250.31/250.39 c | 289213 | 2513 12797 40460 | 2147483647 73420 40 | 0.000 % |
251.01/251.01 c | 289524 | 2513 12797 40460 | 2147483647 73731 40 | 0.000 % |
251.31/251.34 c | 289863 | 2513 12797 40460 | 2147483647 74070 40 | 0.001 % |
251.61/251.64 c | 290236 | 2513 12797 40460 | 74207 74443 40 | 0.000 % |
252.21/252.27 c | 290647 | 2513 12797 40460 | 74207 66191 39 | 0.000 % |
252.81/252.83 c | 291098 | 2513 12797 40460 | 74207 66642 39 | 0.000 % |
253.11/253.20 c | 291593 | 2513 12797 40460 | 74207 67137 39 | 0.002 % |
253.81/253.84 c | 292135 | 2513 12797 40460 | 74207 67679 39 | 0.005 % |
254.51/254.53 c | 292735 | 2513 12797 40460 | 74207 68279 39 | 0.000 % |
255.31/255.36 c | 293391 | 2513 12797 40460 | 74207 68935 39 | 0.000 % |
256.01/256.08 c | 294111 | 2513 12797 40460 | 74207 69655 40 | 0.000 % |
257.21/257.23 c | 294903 | 2513 12797 40460 | 74207 70447 40 | 0.000 % |
258.31/258.41 c | 295774 | 2513 12797 40460 | 74207 71318 40 | 0.000 % |
259.62/259.62 c | 296734 | 2513 12797 40460 | 74207 72278 40 | 0.000 % |
260.92/260.99 c | 297788 | 2513 12797 40460 | 74207 73332 40 | 0.000 % |
262.42/262.43 c | 298947 | 2513 12797 40460 | 74207 74491 41 | 0.000 % |
264.02/264.03 c | 300220 | 2513 12797 40460 | 63456 63674 38 | 0.000 % |
265.42/265.51 c | 301621 | 2513 12797 40460 | 63456 54591 37 | 0.000 % |
267.12/267.21 c | 303162 | 2513 12797 40460 | 63456 56132 38 | 0.000 % |
268.72/268.78 c | 304857 | 2513 12797 40460 | 63456 57827 37 | 0.000 % |
270.72/270.75 c | 306720 | 2513 12797 40460 | 63456 59690 38 | 0.000 % |
272.12/272.14 c | 308769 | 2513 12797 40460 | 63456 61739 38 | 0.000 % |
275.02/275.03 c | 311023 | 2513 12797 40460 | 62970 56449 38 | 0.000 % |
277.32/277.39 c | 313501 | 2513 12797 40460 | 62970 58927 39 | 0.005 % |
279.32/279.38 c | 316227 | 2513 12797 40460 | 62970 61653 39 | 0.002 % |
282.02/282.10 c | 319225 | 2513 12797 40460 | 62970 57403 39 | 0.000 % |
282.12/282.20 c | 319329 | 2513 12797 40460 | 62970 57507 39 | 0.000 % |
282.22/282.25 c | 319439 | 2513 12797 40460 | 62970 57617 39 | 0.000 % |
282.32/282.35 c | 319560 | 2513 12797 40460 | 62970 57738 39 | 0.000 % |
282.52/282.52 c | 319693 | 2513 12797 40460 | 62970 57871 39 | 0.005 % |
282.62/282.66 c | 319840 | 2513 12797 40460 | 62970 58018 39 | 0.000 % |
282.82/282.84 c | 320000 | 2513 12797 40460 | 62970 58178 39 | 0.000 % |
283.02/283.05 c | 320176 | 2513 12797 40460 | 58178 52086 39 | 0.005 % |
283.22/283.23 c | 320370 | 2513 12797 40460 | 58178 52280 39 | 0.000 % |
283.42/283.42 c | 320582 | 2513 12797 40460 | 58178 52492 39 | 0.000 % |
283.52/283.57 c | 320816 | 2513 12797 40460 | 58178 52726 39 | 0.003 % |
283.62/283.71 c | 321072 | 2513 12797 40460 | 58178 52982 39 | 0.000 % |
283.92/283.93 c | 321354 | 2513 12797 40460 | 58178 53264 39 | 0.005 % |
284.22/284.23 c | 321666 | 2513 12797 40460 | 58178 53576 39 | 0.000 % |
284.32/284.40 c | 322005 | 2513 12797 40460 | 58178 53915 39 | 0.000 % |
284.62/284.69 c | 322378 | 2513 12797 40460 | 58178 54288 39 | 0.001 % |
284.92/285.00 c | 322787 | 2513 12797 40460 | 58178 54697 39 | 0.000 % |
285.32/285.38 c | 323239 | 2513 12797 40460 | 58178 55149 39 | 0.000 % |
285.72/285.73 c | 323733 | 2513 12797 40460 | 58178 55643 39 | 0.000 % |
286.12/286.18 c | 324276 | 2513 12797 40460 | 58178 56186 39 | 0.000 % |
287.12/287.17 c | 324873 | 2513 12797 40460 | 58178 56783 40 | 0.000 % |
288.62/288.71 c | 325528 | 2513 12797 40460 | 58178 57438 40 | 0.000 % |
289.02/289.09 c | 326249 | 2513 12797 40460 | 58178 58159 40 | 0.003 % |
289.52/289.62 c | 327041 | 2513 12797 40460 | 58178 53126 40 | 0.000 % |
290.42/290.45 c | 327912 | 2513 12797 40460 | 58178 53997 40 | 0.005 % |
291.32/291.39 c | 328870 | 2513 12797 40460 | 58178 54955 40 | 0.000 % |
292.72/292.82 c | 329925 | 2513 12797 40460 | 58178 56010 40 | 0.000 % |
293.42/293.42 c | 331084 | 2513 12797 40460 | 2147483647 57169 40 | 0.000 % |
294.72/294.80 c | 332358 | 2513 12797 40460 | 2147483647 58443 40 | 0.005 % |
296.12/296.21 c | 333758 | 2513 12797 40460 | 2147483647 59843 40 | 0.000 % |
297.72/297.82 c | 335298 | 2513 12797 40460 | 2147483647 61383 40 | 0.000 % |
299.92/299.98 c | 336994 | 2513 12797 40460 | 2147483647 63079 40 | 0.000 % |
301.62/301.67 c | 338858 | 2513 12797 40460 | 2147483647 64943 41 | 0.000 % |
303.82/303.89 c | 340908 | 2513 12797 40460 | 2147483647 66993 40 | 0.000 % |
306.32/306.41 c | 343161 | 2513 12797 40460 | 2147483647 69246 41 | 0.000 % |
309.12/309.16 c | 345642 | 2513 12797 40460 | 2147483647 71727 42 | 0.000 % |
312.52/312.52 c | 348367 | 2513 12797 40460 | 2147483647 74452 42 | 0.000 % |
316.02/316.06 c | 351364 | 2513 12797 40460 | 76085 63818 40 | 0.000 % |
320.72/320.73 c | 354660 | 2513 12797 40460 | 76085 67114 41 | 0.000 % |
320.82/320.83 c | 354760 | 2513 12797 40460 | 76085 67214 41 | 0.000 % |
320.92/320.92 c | 354870 | 2513 12797 40460 | 76085 67324 41 | 0.000 % |
320.92/321.02 c | 354992 | 2513 12797 40460 | 76085 67446 41 | 0.000 % |
321.12/321.12 c | 355125 | 2513 12797 40460 | 76085 67579 41 | 0.000 % |
321.22/321.26 c | 355272 | 2513 12797 40460 | 76085 67726 41 | 0.000 % |
321.42/321.44 c | 355433 | 2513 12797 40460 | 76085 67887 41 | 0.000 % |
321.72/321.79 c | 355609 | 2513 12797 40460 | 76085 68063 41 | 0.000 % |
321.92/321.97 c | 355803 | 2513 12797 40460 | 76085 68257 41 | 0.000 % |
322.22/322.26 c | 356015 | 2513 12797 40460 | 76085 68469 41 | 0.000 % |
322.52/322.54 c | 356248 | 2513 12797 40460 | 76085 68702 41 | 0.005 % |
322.82/322.92 c | 356504 | 2513 12797 40460 | 76085 68958 41 | 0.000 % |
323.12/323.15 c | 356785 | 2513 12797 40460 | 76085 69239 41 | 0.003 % |
323.32/323.42 c | 357095 | 2513 12797 40460 | 76085 69549 41 | 0.000 % |
323.82/323.82 c | 357435 | 2513 12797 40460 | 76085 69889 41 | 0.005 % |
324.32/324.33 c | 357807 | 2513 12797 40460 | 76085 70261 41 | 0.000 % |
324.62/324.67 c | 358220 | 2513 12797 40460 | 76085 70674 41 | 0.000 % |
325.22/325.29 c | 358670 | 2513 12797 40460 | 76085 71124 41 | 0.000 % |
325.82/325.90 c | 359164 | 2513 12797 40460 | 76085 71618 41 | 0.000 % |
326.62/326.62 c | 359706 | 2513 12797 40460 | 76085 72160 41 | 0.000 % |
327.32/327.38 c | 360302 | 2513 12797 40460 | 72456 72756 42 | 0.000 % |
328.22/328.28 c | 360957 | 2513 12797 40460 | 72456 61102 39 | 0.000 % |
328.82/328.88 c | 361678 | 2513 12797 40460 | 72456 61823 39 | 0.000 % |
329.72/329.77 c | 362471 | 2513 12797 40460 | 72456 62616 40 | 0.000 % |
330.62/330.70 c | 363343 | 2513 12797 40460 | 72456 63488 40 | 0.000 % |
331.92/331.95 c | 364304 | 2513 12797 40460 | 72456 64449 40 | 0.000 % |
333.22/333.25 c | 365358 | 2513 12797 40460 | 72456 65503 40 | 0.000 % |
334.82/334.82 c | 366516 | 2513 12797 40460 | 72456 66661 40 | 0.000 % |
336.42/336.46 c | 367789 | 2513 12797 40460 | 72456 67934 40 | 0.005 % |
337.62/337.72 c | 369189 | 2513 12797 40460 | 72456 69334 40 | 0.000 % |
339.82/339.85 c | 370729 | 2513 12797 40460 | 70145 60192 40 | 0.000 % |
342.13/342.18 c | 372424 | 2513 12797 40460 | 70145 61887 40 | 0.000 % |
344.52/344.59 c | 374288 | 2513 12797 40460 | 70145 63751 41 | 0.000 % |
347.63/347.69 c | 376338 | 2513 12797 40460 | 70145 65801 42 | 0.000 % |
351.31/351.31 c | 378591 | 2513 12797 40460 | 70145 68054 43 | 0.000 % |
354.51/354.53 c | 381069 | 2513 12797 40460 | 69465 60588 42 | 0.005 % |
356.11/356.11 c | 383795 | 2513 12797 40460 | 69465 63314 42 | 0.003 % |
358.51/358.53 c | 386793 | 2513 12797 40460 | 69465 66312 43 | 0.000 % |
360.82/360.86 c | 390089 | 2513 12797 40460 | 69520 69608 43 | 0.000 % |
364.61/364.66 c | 393717 | 2513 12797 40460 | 69520 64772 40 | 0.005 % |
364.71/364.78 c | 393819 | 2513 12797 40460 | 69520 64874 40 | 0.000 % |
364.81/364.90 c | 393929 | 2513 12797 40460 | 69520 64984 40 | 0.000 % |
365.01/365.03 c | 394050 | 2513 12797 40460 | 69520 65105 40 | 0.000 % |
365.11/365.15 c | 394183 | 2513 12797 40460 | 69520 65238 40 | 0.003 % |
365.22/365.29 c | 394329 | 2513 12797 40460 | 69520 65384 40 | 0.000 % |
365.41/365.49 c | 394490 | 2513 12797 40460 | 69520 65545 40 | 0.000 % |
365.71/365.76 c | 394670 | 2513 12797 40460 | 69520 65725 40 | 0.000 % |
366.01/366.04 c | 394864 | 2513 12797 40460 | 69520 65919 40 | 0.000 % |
366.21/366.31 c | 395076 | 2513 12797 40460 | 69520 66131 41 | 0.000 % |
366.51/366.54 c | 395311 | 2513 12797 40460 | 69520 66366 41 | 0.005 % |
366.71/366.81 c | 395567 | 2513 12797 40460 | 69520 66622 41 | 0.000 % |
367.01/367.06 c | 395848 | 2513 12797 40460 | 69520 66903 41 | 0.003 % |
367.31/367.31 c | 396159 | 2513 12797 40460 | 69520 67214 41 | 0.000 % |
367.61/367.64 c | 396498 | 2513 12797 40460 | 69520 67553 41 | 0.000 % |
367.81/367.90 c | 396870 | 2513 12797 40460 | 69520 67925 41 | 0.000 % |
368.41/368.42 c | 397279 | 2513 12797 40460 | 69520 68334 41 | 0.000 % |
369.11/369.15 c | 397728 | 2513 12797 40460 | 69520 68783 41 | 0.000 % |
369.81/369.88 c | 398221 | 2513 12797 40460 | 69520 69276 41 | 0.000 % |
370.91/370.91 c | 398763 | 2513 12797 40460 | 69520 69818 41 | 0.000 % |
371.31/371.38 c | 399362 | 2513 12797 40460 | 69520 60119 40 | 0.000 % |
372.21/372.25 c | 400018 | 2513 12797 40460 | 60757 60775 40 | 0.000 % |
372.92/373.00 c | 400743 | 2513 12797 40460 | 60757 52710 39 | 0.005 % |
373.61/373.70 c | 401536 | 2513 12797 40460 | 60757 53503 39 | 0.000 % |
374.21/374.21 c | 402407 | 2513 12797 40460 | 60757 54374 39 | 0.003 % |
374.71/374.73 c | 403365 | 2513 12797 40460 | 60757 55332 39 | 0.000 % |
375.81/375.85 c | 404419 | 2513 12797 40460 | 60757 56386 40 | 0.000 % |
377.01/377.06 c | 405577 | 2513 12797 40460 | 60757 57544 40 | 0.000 % |
378.31/378.38 c | 406851 | 2513 12797 40460 | 60757 58818 40 | 0.007 % |
379.31/379.36 c | 408251 | 2513 12797 40460 | 60757 60218 41 | 0.000 % |
380.62/380.62 c | 409792 | 2513 12797 40460 | 60757 53475 38 | 0.000 % |
381.91/381.92 c | 411486 | 2513 12797 40460 | 53686 48383 36 | 0.000 % |
382.91/382.98 c | 413350 | 2513 12797 40460 | 53686 50247 36 | 0.000 % |
384.01/384.10 c | 415399 | 2513 12797 40460 | 53686 52296 36 | 0.000 % |
386.51/386.52 c | 417652 | 2513 12797 40460 | 53686 49148 35 | 0.000 % |
388.42/388.48 c | 420130 | 2513 12797 40460 | 2147483647 51626 36 | 0.000 % |
390.92/390.98 c | 422855 | 2513 12797 40460 | 2147483647 54351 37 | 0.000 % |
392.92/392.99 c | 425854 | 2513 12797 40460 | 2147483647 57350 37 | 0.000 % |
394.92/395.00 c | 429150 | 2513 12797 40460 | 2147483647 60646 36 | 0.000 % |
399.02/399.10 c | 432775 | 2513 12797 40460 | 2147483647 64271 38 | 0.000 % |
404.12/404.12 c | 436762 | 2513 12797 40460 | 2147483647 68258 39 | 0.000 % |
404.22/404.26 c | 436863 | 2513 12797 40460 | 2147483647 68359 39 | 0.000 % |
404.42/404.50 c | 436973 | 2513 12797 40460 | 2147483647 68469 39 | 0.000 % |
404.62/404.67 c | 437094 | 2513 12797 40460 | 2147483647 68590 39 | 0.000 % |
404.72/404.80 c | 437229 | 2513 12797 40460 | 2147483647 68725 39 | 0.002 % |
404.92/404.98 c | 437376 | 2513 12797 40460 | 2147483647 68872 39 | 0.000 % |
405.12/405.16 c | 437537 | 2513 12797 40460 | 2147483647 69033 39 | 0.000 % |
405.32/405.35 c | 437713 | 2512 12617 40064 | 2147483647 63593 40 | 0.043 % |
405.42/405.47 c | 437907 | 2512 12617 40064 | 2147483647 63787 40 | 0.040 % |
405.62/405.67 c | 438119 | 2512 12617 40064 | 2147483647 63999 40 | 0.040 % |
406.02/406.03 c | 438353 | 2512 12617 40064 | 2147483647 64233 40 | 0.040 % |
406.32/406.34 c | 438611 | 2512 12617 40064 | 2147483647 64491 40 | 0.040 % |
406.62/406.70 c | 438892 | 2512 12617 40064 | 2147483647 64772 40 | 0.040 % |
407.02/407.05 c | 439201 | 2512 12617 40064 | 2147483647 65081 40 | 0.040 % |
407.52/407.60 c | 439542 | 2512 12617 40064 | 2147483647 65422 40 | 0.040 % |
407.82/407.89 c | 439914 | 2512 12617 40064 | 2147483647 65794 40 | 0.042 % |
408.22/408.24 c | 440323 | 2512 12617 40064 | 65882 66203 40 | 0.040 % |
408.62/408.71 c | 440773 | 2512 12617 40064 | 65882 57890 38 | 0.040 % |
409.02/409.06 c | 441267 | 2512 12617 40064 | 65882 58384 38 | 0.040 % |
409.32/409.40 c | 441809 | 2512 12617 40064 | 65882 58926 39 | 0.040 % |
409.82/409.86 c | 442405 | 2512 12617 40064 | 65882 59522 39 | 0.040 % |
410.52/410.53 c | 443062 | 2512 12617 40064 | 65882 60179 39 | 0.040 % |
411.02/411.03 c | 443783 | 2512 12617 40064 | 65882 60900 39 | 0.042 % |
411.72/411.80 c | 444575 | 2512 12617 40064 | 65882 61692 39 | 0.040 % |
412.22/412.31 c | 445447 | 2512 12617 40064 | 65882 62564 39 | 0.043 % |
413.12/413.12 c | 446406 | 2512 12617 40064 | 65882 63523 39 | 0.040 % |
414.12/414.20 c | 447459 | 2512 12617 40064 | 65882 64576 39 | 0.040 % |
415.52/415.55 c | 448617 | 2512 12617 40064 | 65882 65734 39 | 0.040 % |
416.82/416.87 c | 449891 | 2512 12617 40064 | 65882 58439 38 | 0.040 % |
418.12/418.16 c | 451291 | 2512 12617 40064 | 58549 52112 38 | 0.040 % |
419.52/419.51 c | 452833 | 2512 12617 40064 | 58549 53654 38 | 0.040 % |
421.82/421.82 c | 454528 | 2512 12617 40064 | 58549 55349 38 | 0.040 % |
422.82/422.81 c | 456392 | 2512 12617 40064 | 58549 57213 39 | 0.042 % |
424.62/424.64 c | 458442 | 2512 12617 40064 | 58549 59263 39 | 0.040 % |
427.02/427.06 c | 460695 | 2512 12617 40064 | 2147483647 55476 38 | 0.040 % |
429.22/429.30 c | 463174 | 2512 12617 40064 | 2147483647 57955 39 | 0.040 % |
431.92/431.92 c | 465900 | 2512 12617 40064 | 2147483647 60681 39 | 0.040 % |
436.02/436.02 c | 468897 | 2512 12617 40064 | 2147483647 63678 41 | 0.040 % |
439.22/439.25 c | 472193 | 2512 12617 40064 | 64782 59041 43 | 0.040 % |
442.82/442.88 c | 475818 | 2512 12617 40064 | 64782 62666 42 | 0.040 % |
447.52/447.55 c | 479805 | 2512 12617 40064 | 64782 59858 41 | 0.040 % |
452.32/452.37 c | 484191 | 2512 12617 40064 | 60055 57873 41 | 0.040 % |
452.42/452.48 c | 484293 | 2512 12617 40064 | 60055 57975 41 | 0.040 % |
452.62/452.61 c | 484404 | 2512 12617 40064 | 60055 58086 41 | 0.040 % |
452.72/452.72 c | 484526 | 2512 12617 40064 | 60055 58208 41 | 0.040 % |
452.82/452.81 c | 484659 | 2512 12617 40064 | 60055 58341 41 | 0.043 % |
452.82/452.90 c | 484805 | 2512 12617 40064 | 60055 58487 41 | 0.040 % |
452.92/452.99 c | 484967 | 2512 12617 40064 | 60055 58649 41 | 0.040 % |
453.12/453.12 c | 485143 | 2512 12617 40064 | 60055 58825 41 | 0.040 % |
453.22/453.29 c | 485336 | 2512 12617 40064 | 60055 59018 41 | 0.040 % |
453.42/453.46 c | 485548 | 2512 12617 40064 | 60055 59230 41 | 0.040 % |
453.62/453.62 c | 485781 | 2512 12617 40064 | 60055 59463 41 | 0.042 % |
453.82/453.85 c | 486037 | 2512 12617 40064 | 60055 59719 41 | 0.040 % |
454.02/454.06 c | 486318 | 2512 12617 40064 | 60055 60000 41 | 0.042 % |
454.32/454.37 c | 486628 | 2512 12617 40064 | 60055 60310 41 | 0.040 % |
454.82/454.84 c | 486968 | 2512 12617 40064 | 60055 53493 40 | 0.040 % |
455.22/455.30 c | 487340 | 2512 12617 40064 | 60055 53865 40 | 0.040 % |
455.72/455.75 c | 487750 | 2512 12617 40064 | 60055 54275 40 | 0.040 % |
456.22/456.23 c | 488199 | 2512 12617 40064 | 60055 54724 40 | 0.040 % |
457.02/457.07 c | 488693 | 2512 12617 40064 | 60055 55218 41 | 0.040 % |
457.62/457.70 c | 489236 | 2512 12617 40064 | 60055 55761 41 | 0.040 % |
458.62/458.69 c | 489832 | 2512 12617 40064 | 60055 56357 41 | 0.040 % |
459.32/459.34 c | 490487 | 2512 12617 40064 | 56525 57012 41 | 0.040 % |
460.12/460.16 c | 491207 | 2512 12617 40064 | 56525 50847 40 | 0.040 % |
460.93/460.96 c | 491999 | 2512 12617 40064 | 56525 51639 40 | 0.040 % |
461.82/461.81 c | 492870 | 2512 12617 40064 | 56525 52510 40 | 0.040 % |
462.62/462.70 c | 493829 | 2512 12617 40064 | 56525 53469 41 | 0.040 % |
463.92/463.94 c | 494883 | 2512 12617 40064 | 56525 54523 41 | 0.040 % |
465.22/465.31 c | 496041 | 2512 12617 40064 | 56525 55681 41 | 0.040 % |
466.12/466.16 c | 497315 | 2512 12617 40064 | 56525 56955 41 | 0.041 % |
467.32/467.32 c | 498717 | 2512 12617 40064 | 56525 51314 40 | 0.040 % |
469.02/469.07 c | 500258 | 2512 12617 40064 | 52597 52855 40 | 0.040 % |
470.22/470.28 c | 501952 | 2512 12617 40064 | 52597 49264 38 | 0.040 % |
471.82/471.88 c | 503815 | 2512 12617 40064 | 52597 51127 39 | 0.040 % |
473.82/473.89 c | 505866 | 2512 12617 40064 | 52597 53178 40 | 0.040 % |
476.12/476.15 c | 508120 | 2512 12617 40064 | 52597 50115 41 | 0.040 % |
478.32/478.37 c | 510598 | 2512 12617 40064 | 2147483647 52593 42 | 0.040 % |
480.52/480.53 c | 513325 | 2512 12617 40064 | 2147483647 55320 42 | 0.041 % |
482.62/482.62 c | 516323 | 2512 12617 40064 | 2147483647 58318 42 | 0.040 % |
485.52/485.55 c | 519619 | 2512 12617 40064 | 2147483647 61614 43 | 0.040 % |
489.92/489.95 c | 523245 | 2512 12617 40064 | 2147483647 65240 43 | 0.040 % |
494.52/494.59 c | 527232 | 2512 12617 40064 | 2147483647 69227 44 | 0.040 % |
500.32/500.36 c | 531617 | 2512 12617 40064 | 71998 61530 43 | 0.040 % |
506.22/506.25 c | 536440 | 2512 12617 40064 | 71998 66353 43 | 0.040 % |
506.42/506.41 c | 536541 | 2512 12617 40064 | 71998 66454 43 | 0.040 % |
506.42/506.51 c | 536651 | 2512 12617 40064 | 71998 66564 43 | 0.043 % |
506.52/506.58 c | 536772 | 2512 12617 40064 | 71998 66685 43 | 0.040 % |
506.62/506.68 c | 536905 | 2512 12617 40064 | 71998 66818 43 | 0.040 % |
506.82/506.84 c | 537051 | 2512 12617 40064 | 71998 66964 43 | 0.040 % |
506.92/506.94 c | 537211 | 2512 12617 40064 | 71998 67124 43 | 0.043 % |
507.02/507.07 c | 537388 | 2512 12617 40064 | 71998 67301 43 | 0.040 % |
507.22/507.25 c | 537581 | 2512 12617 40064 | 71998 67494 43 | 0.040 % |
507.32/507.38 c | 537793 | 2512 12617 40064 | 71998 67706 43 | 0.042 % |
507.62/507.63 c | 538026 | 2512 12617 40064 | 71998 67939 43 | 0.040 % |
507.72/507.80 c | 538284 | 2512 12617 40064 | 71998 68197 43 | 0.042 % |
507.92/507.93 c | 538565 | 2512 12617 40064 | 71998 68478 43 | 0.040 % |
508.12/508.20 c | 538874 | 2512 12617 40064 | 71998 68787 43 | 0.042 % |
508.42/508.45 c | 539214 | 2512 12617 40064 | 71998 69127 43 | 0.040 % |
508.92/508.99 c | 539587 | 2512 12617 40064 | 71998 69500 44 | 0.040 % |
509.22/509.27 c | 539996 | 2512 12617 40064 | 71998 69909 43 | 0.043 % |
509.82/509.88 c | 540447 | 2512 12617 40064 | 69914 59066 42 | 0.040 % |
510.43/510.45 c | 540941 | 2512 12617 40064 | 69914 59560 42 | 0.040 % |
511.02/511.05 c | 541483 | 2512 12617 40064 | 69914 60102 42 | 0.040 % |
511.62/511.62 c | 542079 | 2512 12617 40064 | 69914 60698 42 | 0.040 % |
512.02/512.07 c | 542735 | 2512 12617 40064 | 69914 61354 42 | 0.042 % |
512.63/512.70 c | 543455 | 2512 12617 40064 | 69914 62074 42 | 0.040 % |
513.52/513.52 c | 544248 | 2512 12617 40064 | 69914 62867 42 | 0.040 % |
514.63/514.70 c | 545120 | 2512 12617 40064 | 69914 63739 43 | 0.040 % |
515.83/515.86 c | 546078 | 2512 12617 40064 | 69914 64697 43 | 0.040 % |
516.53/516.59 c | 547131 | 2512 12617 40064 | 69914 65750 43 | 0.043 % |
517.73/517.80 c | 548289 | 2512 12617 40064 | 69914 66908 43 | 0.040 % |
519.03/519.05 c | 549563 | 2512 12617 40064 | 69914 68182 44 | 0.040 % |
520.13/520.21 c | 550964 | 2512 12617 40064 | 68619 59153 41 | 0.043 % |
521.03/521.05 c | 552505 | 2512 12617 40064 | 68619 60694 41 | 0.040 % |
522.23/522.28 c | 554203 | 2512 12617 40064 | 68619 62392 41 | 0.042 % |
523.53/523.60 c | 556067 | 2512 12617 40064 | 68619 64256 41 | 0.040 % |
524.93/524.94 c | 558117 | 2512 12617 40064 | 68619 66306 41 | 0.042 % |
526.33/526.39 c | 560370 | 2512 12617 40064 | 68189 59376 39 | 0.040 % |
528.83/528.87 c | 562851 | 2512 12617 40064 | 68189 61857 40 | 0.040 % |
533.03/533.09 c | 565577 | 2512 12617 40064 | 68189 64583 40 | 0.040 % |
535.33/535.38 c | 568574 | 2512 12617 40064 | 68189 67580 40 | 0.042 % |
538.23/538.28 c | 571871 | 2512 12617 40064 | 58280 51122 36 | 0.042 % |
541.03/541.11 c | 575496 | 2512 12617 40064 | 58280 54747 37 | 0.040 % |
547.63/547.65 c | 579485 | 2512 12617 40064 | 58280 58736 39 | 0.040 % |
551.13/551.21 c | 583874 | 2512 12617 40064 | 51818 49409 36 | 0.040 % |
555.73/555.77 c | 588697 | 2512 12617 40064 | 51818 49020 37 | 0.040 % |
560.73/560.80 c | 594002 | 2512 12617 40064 | 2147483647 54325 39 | 0.040 % |
560.83/560.88 c | 594104 | 2512 12617 40064 | 2147483647 54427 39 | 0.042 % |
560.93/560.96 c | 594214 | 2512 12617 40064 | 2147483647 54537 39 | 0.040 % |
561.03/561.08 c | 594335 | 2512 12617 40064 | 2147483647 54658 39 | 0.040 % |
561.33/561.35 c | 594470 | 2512 12617 40064 | 2147483647 54793 39 | 0.040 % |
561.43/561.48 c | 594616 | 2512 12617 40064 | 2147483647 54939 39 | 0.040 % |
561.63/561.63 c | 594777 | 2512 12617 40064 | 2147483647 55100 39 | 0.040 % |
561.73/561.80 c | 594953 | 2512 12617 40064 | 2147483647 55276 39 | 0.040 % |
561.93/562.00 c | 595146 | 2512 12617 40064 | 2147483647 55469 39 | 0.040 % |
562.23/562.26 c | 595359 | 2512 12617 40064 | 2147483647 55682 39 | 0.040 % |
562.43/562.46 c | 595592 | 2512 12617 40064 | 2147483647 55915 39 | 0.040 % |
562.63/562.64 c | 595850 | 2512 12617 40064 | 2147483647 56173 39 | 0.043 % |
562.73/562.80 c | 596131 | 2512 12617 40064 | 2147483647 56454 40 | 0.040 % |
563.13/563.19 c | 596440 | 2512 12617 40064 | 2147483647 56763 40 | 0.040 % |
563.33/563.40 c | 596780 | 2512 12617 40064 | 2147483647 57103 40 | 0.040 % |
563.63/563.69 c | 597153 | 2512 12617 40064 | 2147483647 57476 40 | 0.040 % |
564.23/564.25 c | 597563 | 2512 12617 40064 | 2147483647 57886 40 | 0.040 % |
564.53/564.52 c | 598016 | 2512 12617 40064 | 2147483647 58339 40 | 0.043 % |
564.93/564.94 c | 598510 | 2512 12617 40064 | 2147483647 58833 40 | 0.042 % |
565.23/565.24 c | 599052 | 2512 12617 40064 | 2147483647 59375 40 | 0.043 % |
565.53/565.59 c | 599649 | 2512 12617 40064 | 2147483647 59972 40 | 0.041 % |
566.23/566.30 c | 600304 | 2512 12617 40064 | 2147483647 60627 40 | 0.040 % |
567.33/567.33 c | 601024 | 2512 12617 40064 | 2147483647 61347 40 | 0.040 % |
567.83/567.83 c | 601818 | 2512 12617 40064 | 2147483647 62141 40 | 0.043 % |
568.73/568.77 c | 602689 | 2512 12617 40064 | 2147483647 63012 40 | 0.040 % |
569.53/569.61 c | 603648 | 2512 12617 40064 | 2147483647 63971 40 | 0.040 % |
570.83/570.88 c | 604701 | 2512 12617 40064 | 2147483647 65024 40 | 0.040 % |
572.13/572.19 c | 605859 | 2512 12617 40064 | 2147483647 66182 40 | 0.040 % |
574.03/574.11 c | 607132 | 2512 12617 40064 | 2147483647 67455 41 | 0.040 % |
575.33/575.38 c | 608532 | 2512 12617 40064 | 2147483647 68855 41 | 0.040 % |
576.53/576.52 c | 610072 | 2512 12617 40064 | 70323 70395 41 | 0.043 % |
578.23/578.28 c | 611767 | 2512 12617 40064 | 70323 63738 40 | 0.042 % |
580.63/580.69 c | 613630 | 2512 12617 40064 | 70323 65601 40 | 0.040 % |
583.23/583.29 c | 615679 | 2512 12617 40064 | 70323 67650 41 | 0.040 % |
585.63/585.71 c | 617933 | 2512 12617 40064 | 70323 69904 41 | 0.040 % |
588.63/588.66 c | 620411 | 2512 12617 40064 | 61594 62005 40 | 0.040 % |
592.53/592.54 c | 623137 | 2512 12617 40064 | 61594 56057 39 | 0.040 % |
596.03/596.11 c | 626136 | 2512 12617 40064 | 61594 59056 39 | 0.040 % |
599.63/599.68 c | 629433 | 2512 12617 40064 | 61594 54385 38 | 0.040 % |
603.43/603.48 c | 633059 | 2512 12617 40064 | 54952 51190 38 | 0.040 % |
605.73/605.76 c | 637046 | 2512 12617 40064 | 54952 55177 39 | 0.043 % |
608.43/608.46 c | 641432 | 2512 12617 40064 | 2147483647 54046 39 | 0.042 % |
612.74/612.78 c | 646255 | 2512 12617 40064 | 2147483647 58869 41 | 0.040 % |
619.83/619.87 c | 651561 | 2512 12617 40064 | 62615 57154 43 | 0.040 % |
623.43/623.51 c | 657396 | 2512 12617 40064 | 62615 62989 43 | 0.043 % |
623.83/623.82 c | 657499 | 2512 12617 40064 | 62615 55967 42 | 0.040 % |
623.83/623.87 c | 657609 | 2512 12617 40064 | 62615 56077 42 | 0.040 % |
623.93/623.94 c | 657730 | 2512 12617 40064 | 62615 56198 42 | 0.040 % |
624.03/624.04 c | 657864 | 2512 12617 40064 | 62615 56332 42 | 0.040 % |
624.23/624.23 c | 658010 | 2512 12617 40064 | 62615 56478 42 | 0.040 % |
624.33/624.36 c | 658170 | 2512 12617 40064 | 62615 56638 42 | 0.043 % |
624.53/624.51 c | 658347 | 2512 12617 40064 | 62615 56815 42 | 0.043 % |
624.63/624.62 c | 658540 | 2512 12617 40064 | 62615 57008 42 | 0.040 % |
624.73/624.79 c | 658756 | 2512 12617 40064 | 62615 57224 42 | 0.042 % |
624.93/624.94 c | 658990 | 2512 12617 40064 | 62615 57458 42 | 0.040 % |
625.03/625.10 c | 659246 | 2512 12617 40064 | 62615 57714 42 | 0.040 % |
625.33/625.38 c | 659527 | 2512 12617 40064 | 62615 57995 42 | 0.040 % |
625.53/625.60 c | 659836 | 2512 12617 40064 | 62615 58304 42 | 0.043 % |
625.83/625.83 c | 660176 | 2512 12617 40064 | 58470 52318 40 | 0.040 % |
626.13/626.18 c | 660549 | 2512 12617 40064 | 58470 52691 40 | 0.040 % |
626.33/626.41 c | 660958 | 2512 12617 40064 | 58470 53100 40 | 0.043 % |
626.73/626.72 c | 661407 | 2512 12617 40064 | 58470 53549 40 | 0.040 % |
626.93/626.96 c | 661900 | 2512 12617 40064 | 58470 54042 40 | 0.040 % |
627.23/627.25 c | 662443 | 2512 12617 40064 | 58470 54585 40 | 0.040 % |
627.53/627.61 c | 663039 | 2512 12617 40064 | 58470 55181 40 | 0.040 % |
628.03/628.04 c | 663694 | 2512 12617 40064 | 58470 55836 40 | 0.043 % |
628.83/628.82 c | 664414 | 2512 12617 40064 | 58470 56556 41 | 0.040 % |
629.43/629.48 c | 665207 | 2512 12617 40064 | 58470 57349 41 | 0.040 % |
629.83/629.88 c | 666080 | 2512 12617 40064 | 58470 58222 40 | 0.040 % |
630.63/630.67 c | 667038 | 2512 12617 40064 | 58470 52966 39 | 0.042 % |
631.13/631.18 c | 668093 | 2512 12617 40064 | 58470 54021 40 | 0.043 % |
631.83/631.83 c | 669251 | 2512 12617 40064 | 58470 55179 40 | 0.042 % |
632.83/632.87 c | 670525 | 2512 12617 40064 | 55928 50330 39 | 0.040 % |
633.64/633.63 c | 671925 | 2512 12617 40064 | 55928 51730 39 | 0.043 % |
634.74/634.75 c | 673465 | 2512 12617 40064 | 55928 53270 40 | 0.040 % |
636.23/636.27 c | 675159 | 2512 12617 40064 | 55928 54964 41 | 0.040 % |
638.53/638.52 c | 677024 | 2512 12617 40064 | 55928 51201 40 | 0.040 % |
639.63/639.65 c | 679074 | 2512 12617 40064 | 55928 53251 40 | 0.043 % |
641.44/641.46 c | 681328 | 2512 12617 40064 | 54177 49997 39 | 0.042 % |
643.24/643.26 c | 683806 | 2512 12617 40064 | 54177 52475 40 | 0.040 % |
646.64/646.68 c | 686531 | 2512 12617 40064 | 54177 49729 39 | 0.040 % |
648.74/648.80 c | 689529 | 2512 12617 40064 | 54177 52727 40 | 0.042 % |
650.64/650.62 c | 692825 | 2512 12617 40064 | 2147483647 56023 40 | 0.043 % |
653.84/653.84 c | 696451 | 2512 12617 40064 | 2147483647 59649 41 | 0.040 % |
657.14/657.13 c | 700439 | 2512 12617 40064 | 2147483647 63637 40 | 0.040 % |
662.14/662.14 c | 704825 | 2512 12617 40064 | 2147483647 68023 42 | 0.040 % |
669.54/669.55 c | 709648 | 2512 12617 40064 | 2147483647 72846 44 | 0.040 % |
674.54/674.61 c | 714953 | 2512 12617 40064 | 73201 67292 44 | 0.040 % |
683.94/683.97 c | 720788 | 2512 12617 40064 | 72340 61696 44 | 0.040 % |
691.44/691.50 c | 727206 | 2512 12617 40064 | 72340 68114 45 | 0.040 % |
691.64/691.68 c | 727308 | 2512 12617 40064 | 72340 68216 45 | 0.040 % |
691.74/691.82 c | 727423 | 2512 12617 40064 | 72340 68331 45 | 0.040 % |
691.94/691.98 c | 727545 | 2512 12617 40064 | 72340 68453 45 | 0.040 % |
692.14/692.14 c | 727678 | 2512 12617 40064 | 72340 68586 45 | 0.042 % |
692.24/692.27 c | 727827 | 2512 12617 40064 | 72340 68735 45 | 0.040 % |
692.44/692.42 c | 727989 | 2512 12617 40064 | 72340 68897 45 | 0.040 % |
692.64/692.71 c | 728166 | 2512 12617 40064 | 72340 69074 45 | 0.040 % |
692.94/692.98 c | 728359 | 2512 12617 40064 | 72340 69267 45 | 0.040 % |
693.14/693.20 c | 728571 | 2512 12617 40064 | 72340 69479 45 | 0.040 % |
693.44/693.42 c | 728808 | 2512 12617 40064 | 72340 69716 45 | 0.043 % |
693.64/693.66 c | 729064 | 2512 12617 40064 | 72340 69972 45 | 0.040 % |
693.94/693.95 c | 729349 | 2512 12617 40064 | 72340 70257 45 | 0.042 % |
694.24/694.23 c | 729659 | 2512 12617 40064 | 72340 70567 45 | 0.040 % |
694.64/694.69 c | 730000 | 2512 12617 40064 | 72340 70908 45 | 0.040 % |
694.94/695.02 c | 730372 | 2512 12617 40064 | 70908 71280 45 | 0.043 % |
695.64/695.71 c | 730782 | 2512 12617 40064 | 70908 59640 43 | 0.040 % |
696.24/696.31 c | 731232 | 2512 12617 40064 | 70908 60090 44 | 0.040 % |
696.84/696.89 c | 731727 | 2512 12617 40064 | 70908 60585 44 | 0.040 % |
697.44/697.49 c | 732269 | 2512 12617 40064 | 70908 61127 44 | 0.040 % |
698.24/698.28 c | 732865 | 2512 12617 40064 | 70908 61723 44 | 0.040 % |
698.84/698.89 c | 733521 | 2512 12617 40064 | 70908 62379 44 | 0.040 % |
699.64/699.66 c | 734244 | 2512 12617 40064 | 70908 63102 44 | 0.043 % |
700.24/700.25 c | 735037 | 2512 12617 40064 | 70908 63895 44 | 0.040 % |
700.84/700.91 c | 735909 | 2512 12617 40064 | 70908 64767 44 | 0.042 % |
701.54/701.60 c | 736869 | 2512 12617 40064 | 70908 65727 44 | 0.040 % |
702.54/702.55 c | 737922 | 2512 12617 40064 | 70908 66780 44 | 0.040 % |
703.54/703.59 c | 739080 | 2512 12617 40064 | 70908 67938 45 | 0.040 % |
704.64/704.67 c | 740353 | 2512 12617 40064 | 68858 69211 45 | 0.042 % |
705.84/705.88 c | 741753 | 2512 12617 40064 | 68858 59366 45 | 0.040 % |
706.94/707.00 c | 743293 | 2512 12617 40064 | 68858 60906 45 | 0.040 % |
708.54/708.55 c | 744988 | 2512 12617 40064 | 68858 62601 45 | 0.040 % |
710.63/710.64 c | 746851 | 2512 12617 40064 | 68858 64464 46 | 0.040 % |
713.03/713.06 c | 748900 | 2512 12617 40064 | 68858 66513 46 | 0.040 % |
716.03/716.07 c | 751155 | 2512 12617 40064 | 67613 58157 43 | 0.040 % |
718.43/718.50 c | 753633 | 2512 12617 40064 | 67613 60635 44 | 0.040 % |
723.03/723.10 c | 756359 | 2512 12617 40064 | 67613 63361 45 | 0.040 % |
726.73/726.72 c | 759357 | 2512 12617 40064 | 67613 66359 45 | 0.040 % |
730.13/730.18 c | 762654 | 2512 12617 40064 | 67002 59436 42 | 0.040 % |
734.33/734.36 c | 766281 | 2512 12617 40064 | 67002 63063 43 | 0.040 % |
738.43/738.50 c | 770271 | 2512 12617 40064 | 66782 67053 44 | 0.040 % |
743.53/743.53 c | 774656 | 2512 12617 40064 | 66782 61484 43 | 0.040 % |
749.63/749.66 c | 779479 | 2512 12617 40064 | 66782 66307 44 | 0.040 % |
756.03/756.01 c | 784784 | 2512 12617 40064 | 66829 60992 45 | 0.040 % |
763.44/763.44 c | 790619 | 2512 12617 40064 | 66208 66827 46 | 0.040 % |
770.54/770.60 c | 797038 | 2512 12617 40064 | 66208 62249 47 | 0.040 % |
775.64/775.69 c | 804098 | 2512 12617 40064 | 65211 59418 45 | 0.042 % |
775.74/775.78 c | 804201 | 2512 12617 40064 | 65211 59521 45 | 0.042 % |
775.94/775.92 c | 804311 | 2512 12617 40064 | 65211 59631 45 | 0.040 % |
776.04/776.06 c | 804432 | 2512 12617 40064 | 65211 59752 45 | 0.040 % |
776.24/776.25 c | 804565 | 2512 12617 40064 | 65211 59885 45 | 0.040 % |
776.34/776.39 c | 804711 | 2512 12617 40064 | 65211 60031 45 | 0.043 % |
776.54/776.58 c | 804871 | 2512 12617 40064 | 65211 60191 45 | 0.040 % |
776.84/776.88 c | 805048 | 2512 12617 40064 | 65211 60368 45 | 0.040 % |
776.94/776.98 c | 805242 | 2512 12617 40064 | 65211 60562 45 | 0.043 % |
777.14/777.17 c | 805455 | 2512 12617 40064 | 65211 60775 45 | 0.040 % |
777.34/777.35 c | 805688 | 2512 12617 40064 | 65211 61008 45 | 0.040 % |
777.54/777.60 c | 805945 | 2512 12617 40064 | 65211 61265 45 | 0.040 % |
777.84/777.86 c | 806227 | 2512 12617 40064 | 65211 61547 46 | 0.040 % |
778.24/778.28 c | 806536 | 2512 12617 40064 | 65211 61856 46 | 0.040 % |
778.44/778.49 c | 806876 | 2512 12617 40064 | 65211 62196 46 | 0.043 % |
778.84/778.85 c | 807249 | 2512 12617 40064 | 65211 62569 45 | 0.040 % |
779.24/779.23 c | 807658 | 2512 12617 40064 | 65211 62978 46 | 0.040 % |
779.74/779.76 c | 808108 | 2512 12617 40064 | 65211 63428 46 | 0.040 % |
780.54/780.52 c | 808602 | 2512 12617 40064 | 65211 63922 46 | 0.040 % |
781.24/781.27 c | 809145 | 2512 12617 40064 | 65211 64465 46 | 0.040 % |
782.64/782.64 c | 809743 | 2512 12617 40064 | 65211 65063 47 | 0.040 % |
783.34/783.40 c | 810399 | 2512 12617 40064 | 65321 65719 47 | 0.040 % |
784.44/784.50 c | 811120 | 2512 12617 40064 | 65321 56336 46 | 0.040 % |
785.34/785.41 c | 811912 | 2512 12617 40064 | 65321 57128 47 | 0.040 % |
786.34/786.36 c | 812784 | 2512 12617 40064 | 65321 58000 47 | 0.040 % |
787.44/787.44 c | 813744 | 2512 12617 40064 | 65321 58960 46 | 0.040 % |
788.84/788.85 c | 814798 | 2512 12617 40064 | 65321 60014 47 | 0.040 % |
790.44/790.50 c | 815958 | 2512 12617 40064 | 65321 61174 47 | 0.040 % |
791.94/791.95 c | 817231 | 2512 12617 40064 | 65321 62447 47 | 0.040 % |
793.44/793.43 c | 818632 | 2512 12617 40064 | 65321 63848 47 | 0.040 % |
795.74/795.71 c | 820172 | 2512 12617 40064 | 65217 65388 48 | 0.040 % |
797.64/797.66 c | 821868 | 2512 12617 40064 | 65217 57388 46 | 0.040 % |
800.44/800.49 c | 823731 | 2512 12617 40064 | 65217 59251 46 | 0.040 % |
802.84/802.90 c | 825781 | 2512 12617 40064 | 65217 61301 46 | 0.040 % |
805.64/805.66 c | 828036 | 2512 12617 40064 | 65217 63556 46 | 0.040 % |
807.54/807.55 c | 830514 | 2512 12617 40064 | 65520 66034 47 | 0.042 % |
809.34/809.40 c | 833241 | 2512 12617 40064 | 65520 58475 44 | 0.041 % |
812.54/812.55 c | 836240 | 2512 12617 40064 | 65520 61474 44 | 0.040 % |
815.34/815.37 c | 839536 | 2512 12617 40064 | 65520 64770 45 | 0.040 % |
818.24/818.23 c | 843161 | 2512 12617 40064 | 65236 58956 44 | 0.044 % |
823.54/823.52 c | 847150 | 2512 12617 40064 | 65236 62945 45 | 0.040 % |
828.74/828.73 c | 851536 | 2512 12617 40064 | 56168 49554 41 | 0.040 % |
831.64/831.61 c | 856359 | 2512 12617 40064 | 56168 54377 42 | 0.044 % |
837.54/837.55 c | 861664 | 2512 12617 40064 | 51324 47291 41 | 0.040 % |
843.75/843.73 c | 867500 | 2512 12617 40064 | 51324 47973 41 | 0.040 % |
848.24/848.25 c | 873918 | 2512 12617 40064 | 2147483647 54391 43 | 0.042 % |
856.44/856.42 c | 880978 | 2512 12617 40064 | 60474 54922 44 | 0.040 % |
865.24/865.27 c | 888744 | 2512 12617 40064 | 60474 54651 42 | 0.040 % |
865.34/865.38 c | 888845 | 2512 12617 40064 | 60474 54752 42 | 0.040 % |
865.54/865.52 c | 888956 | 2512 12617 40064 | 60474 54863 42 | 0.040 % |
865.64/865.63 c | 889077 | 2512 12617 40064 | 60474 54984 42 | 0.040 % |
865.75/865.76 c | 889211 | 2512 12617 40064 | 60474 55118 42 | 0.044 % |
865.84/865.83 c | 889357 | 2512 12617 40064 | 60474 55264 42 | 0.040 % |
866.04/866.02 c | 889517 | 2512 12617 40064 | 60474 55424 43 | 0.040 % |
866.14/866.15 c | 889693 | 2512 12617 40064 | 60474 55600 42 | 0.044 % |
866.34/866.31 c | 889888 | 2512 12617 40064 | 60474 55795 43 | 0.040 % |
866.54/866.53 c | 890103 | 2512 12617 40064 | 55907 56010 43 | 0.040 % |
866.85/866.88 c | 890337 | 2512 12617 40064 | 55907 48910 41 | 0.040 % |
867.14/867.12 c | 890593 | 2512 12617 40064 | 55907 49166 41 | 0.040 % |
867.34/867.34 c | 890874 | 2512 12617 40064 | 55907 49447 41 | 0.042 % |
867.54/867.52 c | 891184 | 2512 12617 40064 | 55907 49757 41 | 0.040 % |
867.74/867.74 c | 891524 | 2512 12617 40064 | 55907 50097 41 | 0.040 % |
867.95/868.01 c | 891897 | 2512 12617 40064 | 55907 50470 41 | 0.044 % |
868.24/868.29 c | 892306 | 2512 12617 40064 | 55907 50879 42 | 0.040 % |
868.84/868.82 c | 892756 | 2512 12617 40064 | 55907 51329 42 | 0.040 % |
869.34/869.33 c | 893249 | 2512 12617 40064 | 55907 51822 42 | 0.040 % |
870.04/870.03 c | 893791 | 2512 12617 40064 | 55907 52364 42 | 0.040 % |
870.64/870.68 c | 894387 | 2512 12617 40064 | 55907 52960 42 | 0.040 % |
871.44/871.44 c | 895042 | 2512 12617 40064 | 55907 53615 42 | 0.040 % |
871.84/871.85 c | 895762 | 2512 12617 40064 | 55907 54335 43 | 0.042 % |
872.35/872.39 c | 896554 | 2512 12617 40064 | 55907 55127 43 | 0.040 % |
872.94/872.95 c | 897425 | 2512 12617 40064 | 55907 55998 43 | 0.044 % |
873.84/873.91 c | 898386 | 2512 12617 40064 | 55907 50577 41 | 0.040 % |
875.04/875.05 c | 899440 | 2512 12617 40064 | 55907 51631 42 | 0.040 % |
875.94/875.94 c | 900598 | 2512 12617 40064 | 2147483647 52789 41 | 0.040 % |
876.75/876.75 c | 901873 | 2512 12617 40064 | 2147483647 54064 42 | 0.042 % |
877.64/877.70 c | 903273 | 2512 12617 40064 | 2147483647 55464 42 | 0.040 % |
879.04/879.06 c | 904814 | 2512 12617 40064 | 2147483647 57005 43 | 0.040 % |
880.54/880.57 c | 906509 | 2512 12617 40064 | 2147483647 58700 43 | 0.040 % |
881.84/881.89 c | 908372 | 2512 12617 40064 | 2147483647 60563 43 | 0.042 % |
884.14/884.13 c | 910422 | 2512 12617 40064 | 2147483647 62613 44 | 0.040 % |
886.84/886.84 c | 912676 | 2512 12617 40064 | 2147483647 64867 45 | 0.040 % |
889.74/889.79 c | 915155 | 2512 12617 40064 | 2147483647 67346 45 | 0.040 % |
894.04/894.05 c | 917881 | 2512 12617 40064 | 2147483647 70072 45 | 0.040 % |
898.05/898.04 c | 920878 | 2512 12617 40064 | 72191 62214 43 | 0.040 % |
901.45/901.51 c | 924178 | 2512 12617 40064 | 72191 65514 44 | 0.040 % |
905.85/905.84 c | 927804 | 2512 12617 40064 | 72191 69140 45 | 0.040 % |
912.55/912.59 c | 931791 | 2512 12617 40064 | 71337 61929 43 | 0.040 % |
916.95/916.95 c | 936176 | 2512 12617 40064 | 71337 66314 44 | 0.040 % |
923.85/923.91 c | 940999 | 2512 12617 40064 | 70139 60049 44 | 0.040 % |
930.35/930.32 c | 946304 | 2512 12617 40064 | 70139 65354 45 | 0.040 % |
937.65/937.70 c | 952140 | 2512 12617 40064 | 69050 60390 44 | 0.040 % |
946.15/946.13 c | 958559 | 2512 12617 40064 | 69050 66809 46 | 0.040 % |
951.45/951.42 c | 965618 | 2512 12617 40064 | 68250 61934 48 | 0.044 % |
960.25/960.27 c | 973383 | 2512 12617 40064 | 66316 58515 48 | 0.040 % |
971.36/971.35 c | 981924 | 2512 12617 40064 | 65132 56163 47 | 0.040 % |
971.45/971.49 c | 982024 | 2512 12617 40064 | 65132 56263 47 | 0.040 % |
971.55/971.58 c | 982135 | 2512 12617 40064 | 65132 56374 47 | 0.044 % |
971.75/971.75 c | 982257 | 2512 12617 40064 | 65132 56496 47 | 0.040 % |
971.95/971.92 c | 982391 | 2512 12617 40064 | 65132 56630 47 | 0.040 % |
972.15/972.20 c | 982538 | 2512 12617 40064 | 65132 56777 47 | 0.040 % |
972.25/972.30 c | 982698 | 2512 12617 40064 | 65132 56937 47 | 0.042 % |
972.46/972.45 c | 982874 | 2512 12617 40064 | 65132 57113 47 | 0.040 % |
972.55/972.55 c | 983067 | 2512 12617 40064 | 65132 57306 47 | 0.040 % |
972.65/972.67 c | 983280 | 2512 12617 40064 | 65132 57519 47 | 0.044 % |
972.85/972.82 c | 983515 | 2512 12617 40064 | 65132 57754 47 | 0.040 % |
972.95/972.94 c | 983772 | 2512 12617 40064 | 65132 58011 47 | 0.042 % |
973.15/973.15 c | 984053 | 2512 12617 40064 | 65132 58292 47 | 0.040 % |
973.25/973.29 c | 984362 | 2512 12617 40064 | 65132 58601 47 | 0.044 % |
973.56/973.60 c | 984701 | 2512 12617 40064 | 65132 58940 47 | 0.040 % |
973.95/973.96 c | 985075 | 2512 12617 40064 | 65132 59314 47 | 0.040 % |
974.25/974.21 c | 985484 | 2512 12617 40064 | 65132 59723 47 | 0.044 % |
974.85/974.86 c | 985933 | 2512 12617 40064 | 65132 60172 47 | 0.040 % |
975.55/975.54 c | 986428 | 2512 12617 40064 | 65132 60667 47 | 0.040 % |
976.35/976.36 c | 986970 | 2512 12617 40064 | 65132 61209 48 | 0.040 % |
977.05/977.06 c | 987568 | 2512 12617 40064 | 65132 61807 48 | 0.040 % |
977.45/977.47 c | 988223 | 2512 12617 40064 | 65132 62462 48 | 0.041 % |
977.96/977.93 c | 988943 | 2512 12617 40064 | 65132 63182 48 | 0.040 % |
978.35/978.32 c | 989735 | 2512 12617 40064 | 65132 63974 48 | 0.040 % |
979.25/979.24 c | 990608 | 2512 12617 40064 | 64239 55414 46 | 0.040 % |
979.75/979.74 c | 991568 | 2512 12617 40064 | 64239 56374 46 | 0.040 % |
980.35/980.36 c | 992622 | 2512 12617 40064 | 64239 57428 46 | 0.044 % |
981.15/981.18 c | 993781 | 2512 12617 40064 | 64239 58587 46 | 0.040 % |
983.15/983.13 c | 995054 | 2512 12617 40064 | 64239 59860 46 | 0.040 % |
984.05/984.06 c | 996454 | 2512 12617 40064 | 64239 61260 46 | 0.042 % |
985.05/985.07 c | 997996 | 2512 12617 40064 | 64239 62802 47 | 0.040 % |
986.15/986.17 c | 999692 | 2512 12617 40064 | 64239 64498 47 | 0.040 % |
987.95/987.93 c | 1001555 | 2512 12617 40064 | 56660 51358 41 | 0.040 % |
989.15/989.18 c | 1003605 | 2512 12617 40064 | 56660 53408 41 | 0.041 % |
990.45/990.46 c | 1005859 | 2512 12617 40064 | 56660 55662 41 | 0.040 % |
992.35/992.40 c | 1008337 | 2512 12617 40064 | 56660 52443 39 | 0.040 % |
994.25/994.22 c | 1011064 | 2512 12617 40064 | 2147483647 55170 39 | 0.040 % |
996.35/996.32 c | 1014061 | 2512 12617 40064 | 2147483647 58167 39 | 0.042 % |
998.55/998.54 c | 1017357 | 2512 12617 40064 | 2147483647 61463 40 | 0.044 % |
1002.35/1002.32 c | 1020982 | 2512 12617 40064 | 64106 57528 40 | 0.040 % |
1006.35/1006.36 c | 1024969 | 2512 12617 40064 | 64106 61515 41 | 0.040 % |
1010.85/1010.83 c | 1029355 | 2512 12617 40064 | 64106 58135 41 | 0.040 % |
1016.05/1016.06 c | 1034180 | 2512 12617 40064 | 58781 55924 40 | 0.040 % |
1022.76/1022.81 c | 1039485 | 2512 12617 40064 | 58781 54518 40 | 0.040 % |
1028.46/1028.49 c | 1045321 | 2512 12617 40064 | 55035 54831 39 | 0.040 % |
1035.56/1035.57 c | 1051739 | 2512 12617 40064 | 2147483647 55713 40 | 0.040 % |
1045.16/1045.13 c | 1058801 | 2512 12617 40064 | 2147483647 62775 42 | 0.040 % |
1054.26/1054.24 c | 1066566 | 2512 12617 40064 | 63975 61555 45 | 0.040 % |
1060.26/1060.28 c | 1075107 | 2512 12617 40064 | 55230 52202 44 | 0.044 % |
1068.55/1068.60 c | 1084501 | 2512 12617 40064 | 50194 49012 49 | 0.040 % |
1068.65/1068.67 c | 1084602 | 2512 12617 40064 | 50194 49113 49 | 0.042 % |
1068.75/1068.72 c | 1084712 | 2512 12617 40064 | 50194 49223 49 | 0.040 % |
1068.85/1068.81 c | 1084834 | 2512 12617 40064 | 50194 49345 49 | 0.040 % |
1068.85/1068.90 c | 1084967 | 2512 12617 40064 | 50194 49478 49 | 0.040 % |
1069.05/1069.01 c | 1085113 | 2512 12617 40064 | 50194 49624 49 | 0.040 % |
1069.15/1069.13 c | 1085274 | 2512 12617 40064 | 50194 49785 49 | 0.040 % |
1069.25/1069.23 c | 1085451 | 2512 12617 40064 | 50194 49962 49 | 0.040 % |
1069.35/1069.37 c | 1085644 | 2512 12617 40064 | 50194 50155 49 | 0.040 % |
1069.65/1069.70 c | 1085856 | 2512 12617 40064 | 50194 45337 48 | 0.040 % |
1069.85/1069.87 c | 1086090 | 2512 12617 40064 | 50194 45571 48 | 0.040 % |
1070.05/1070.07 c | 1086347 | 2512 12617 40064 | 50194 45828 48 | 0.044 % |
1070.35/1070.35 c | 1086628 | 2512 12617 40064 | 50194 46109 48 | 0.040 % |
1070.65/1070.69 c | 1086937 | 2512 12617 40064 | 50194 46418 49 | 0.040 % |
1071.05/1071.06 c | 1087276 | 2512 12617 40064 | 50194 46757 49 | 0.040 % |
1071.65/1071.69 c | 1087649 | 2512 12617 40064 | 50194 47130 49 | 0.040 % |
1072.05/1072.04 c | 1088058 | 2512 12617 40064 | 50194 47539 49 | 0.040 % |
1072.25/1072.26 c | 1088508 | 2512 12617 40064 | 50194 47989 49 | 0.042 % |
1072.55/1072.53 c | 1089001 | 2512 12617 40064 | 50194 48482 49 | 0.044 % |
1072.75/1072.77 c | 1089543 | 2512 12617 40064 | 50194 49024 49 | 0.042 % |
1073.05/1073.07 c | 1090140 | 2512 12617 40064 | 2147483647 49621 49 | 0.044 % |
1073.65/1073.66 c | 1090797 | 2512 12617 40064 | 2147483647 50278 49 | 0.040 % |
1074.45/1074.50 c | 1091517 | 2512 12617 40064 | 2147483647 50998 50 | 0.040 % |
1074.95/1074.97 c | 1092309 | 2512 12617 40064 | 2147483647 51790 50 | 0.044 % |
1075.95/1076.00 c | 1093180 | 2512 12617 40064 | 2147483647 52661 50 | 0.040 % |
1076.95/1076.98 c | 1094139 | 2512 12617 40064 | 2147483647 53620 51 | 0.040 % |
1078.05/1078.04 c | 1095192 | 2512 12617 40064 | 2147483647 54673 50 | 0.040 % |
1079.15/1079.15 c | 1096350 | 2512 12617 40064 | 2147483647 55831 51 | 0.040 % |
1080.35/1080.39 c | 1097624 | 2512 12617 40064 | 2147483647 57105 51 | 0.040 % |
1081.85/1081.83 c | 1099024 | 2512 12617 40064 | 2147483647 58505 51 | 0.040 % |
1082.85/1082.85 c | 1100566 | 2512 12617 40064 | 59485 60047 51 | 0.042 % |
1083.95/1083.99 c | 1102263 | 2512 12617 40064 | 59485 55336 50 | 0.044 % |
1085.95/1085.99 c | 1104127 | 2512 12617 40064 | 59485 57200 50 | 0.040 % |
1088.05/1088.01 c | 1106176 | 2512 12617 40064 | 59485 59249 50 | 0.040 % |
1090.55/1090.53 c | 1108430 | 2512 12617 40064 | 59485 55527 48 | 0.040 % |
1093.25/1093.22 c | 1110908 | 2512 12617 40064 | 57100 51804 45 | 0.040 % |
1096.05/1096.01 c | 1113633 | 2512 12617 40064 | 57100 54529 44 | 0.040 % |
1099.85/1099.88 c | 1116631 | 2512 12617 40064 | 57100 57527 45 | 0.040 % |
1103.95/1103.96 c | 1119927 | 2512 12617 40064 | 57100 55071 43 | 0.040 % |
1107.85/1107.88 c | 1123552 | 2512 12617 40064 | 2147483647 58696 44 | 0.040 % |
1111.25/1111.28 c | 1127539 | 2512 12617 40064 | 2147483647 62683 44 | 0.042 % |
1114.25/1114.28 c | 1131927 | 2512 12617 40064 | 65144 58999 43 | 0.044 % |
1119.75/1119.76 c | 1136751 | 2512 12617 40064 | 65144 63823 44 | 0.040 % |
1125.75/1125.79 c | 1142056 | 2512 12617 40064 | 57333 51198 42 | 0.040 % |
1129.05/1129.10 c | 1147891 | 2512 12617 40064 | 57333 57033 43 | 0.042 % |
1134.35/1134.34 c | 1154309 | 2512 12617 40064 | 52340 50905 43 | 0.040 % |
1141.55/1141.52 c | 1161372 | 2512 12617 40064 | 2147483647 52685 45 | 0.040 % |
1149.76/1149.74 c | 1169137 | 2512 12617 40064 | 2147483647 60450 48 | 0.040 % |
1160.36/1160.39 c | 1177678 | 2512 12617 40064 | 61314 61157 50 | 0.040 % |
1173.86/1173.84 c | 1187072 | 2512 12617 40064 | 55691 55557 51 | 0.040 % |
1180.46/1180.45 c | 1197405 | 2512 12617 40064 | 51285 47454 47 | 0.042 % |
1180.56/1180.53 c | 1197505 | 2512 12617 40064 | 51285 47554 47 | 0.040 % |
1180.66/1180.62 c | 1197619 | 2512 12617 40064 | 51285 47668 47 | 0.044 % |
1180.66/1180.68 c | 1197741 | 2512 12617 40064 | 51285 47790 47 | 0.040 % |
1180.76/1180.79 c | 1197874 | 2512 12617 40064 | 51285 47923 47 | 0.040 % |
1180.86/1180.90 c | 1198020 | 2512 12617 40064 | 51285 48069 47 | 0.040 % |
1180.96/1180.96 c | 1198180 | 2512 12617 40064 | 51285 48229 47 | 0.042 % |
1181.06/1181.07 c | 1198358 | 2512 12617 40064 | 51285 48407 47 | 0.040 % |
1181.16/1181.21 c | 1198551 | 2512 12617 40064 | 51285 48600 47 | 0.040 % |
1181.26/1181.30 c | 1198763 | 2512 12617 40064 | 51285 48812 47 | 0.042 % |
1181.46/1181.46 c | 1198997 | 2512 12617 40064 | 51285 49046 47 | 0.040 % |
1181.66/1181.71 c | 1199253 | 2512 12617 40064 | 51285 49302 47 | 0.040 % |
1181.86/1181.90 c | 1199536 | 2512 12617 40064 | 51285 49585 48 | 0.040 % |
1182.06/1182.11 c | 1199846 | 2512 12617 40064 | 51285 49895 47 | 0.044 % |
1182.36/1182.36 c | 1200185 | 2512 12617 40064 | 2147483647 50234 48 | 0.040 % |
1182.66/1182.65 c | 1200558 | 2512 12617 40064 | 2147483647 50607 48 | 0.040 % |
1182.96/1182.98 c | 1200968 | 2512 12617 40064 | 2147483647 51017 48 | 0.042 % |
1183.26/1183.25 c | 1201417 | 2512 12617 40064 | 2147483647 51466 48 | 0.040 % |
1183.66/1183.68 c | 1201912 | 2512 12617 40064 | 2147483647 51961 48 | 0.040 % |
1184.16/1184.16 c | 1202454 | 2512 12617 40064 | 2147483647 52503 48 | 0.040 % |
1184.76/1184.77 c | 1203052 | 2512 12617 40064 | 2147483647 53101 48 | 0.040 % |
1185.26/1185.21 c | 1203707 | 2512 12617 40064 | 2147483647 53756 48 | 0.042 % |
1185.66/1185.71 c | 1204429 | 2512 12617 40064 | 2147483647 54478 48 | 0.040 % |
1186.26/1186.24 c | 1205222 | 2512 12617 40064 | 2147483647 55271 48 | 0.040 % |
1186.96/1186.95 c | 1206094 | 2512 12617 40064 | 2147483647 56143 48 | 0.040 % |
1187.46/1187.48 c | 1207054 | 2512 12617 40064 | 2147483647 57103 48 | 0.042 % |
1187.96/1187.94 c | 1208107 | 2512 12617 40064 | 2147483647 58156 48 | 0.044 % |
1188.96/1188.98 c | 1209267 | 2512 12617 40064 | 2147483647 59316 49 | 0.040 % |
1190.66/1190.70 c | 1210542 | 2512 12617 40064 | 2147483647 60591 49 | 0.040 % |
1191.76/1191.72 c | 1211943 | 2512 12617 40064 | 2147483647 61992 49 | 0.042 % |
1192.86/1192.86 c | 1213483 | 2512 12617 40064 | 2147483647 63532 49 | 0.040 % |
1194.56/1194.60 c | 1215178 | 2512 12617 40064 | 2147483647 65227 49 | 0.040 % |
1196.56/1196.59 c | 1217041 | 2512 12617 40064 | 2147483647 67090 50 | 0.040 % |
1198.46/1198.50 c | 1219091 | 2512 12617 40064 | 2147483647 69140 50 | 0.042 % |
1199.96/1199.98 c | 1221345 | 2512 12617 40064 | 70050 61060 47 | 0.044 % |
1200.06/1200.02 HOME/SatELiteGTI: line 36: 10083 Terminated $MS $TMP.cnf $TMP.result
runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w /tmp/evaluation-result-1820416-1242440830/watcher-1820416-1242440830 -o /tmp/evaluation-result-1820416-1242440830/solver-1820416-1242440830 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1820416-1242440830.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: 8192 KiB
[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 2/96 10077
/proc/meminfo: memFree=1561204/2074464 swapFree=1950760/1959888
[pid=10077] ppid=10075 vsize=2412 CPUtime=0.01
/proc/10077/stat : 10077 (SatELiteGTI) S 10075 10077 11066 0 -1 4194304 367 643 0 0 0 0 0 1 25 0 1 0 1008581272 2469888 276 4294967295 134512640 135169312 3215873584 3215872120 3085405934 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/10077/statm: 603 276 235 161 0 42 0
[pid=10081] ppid=10077 vsize=956 CPUtime=0
/proc/10081/stat : 10081 (SatELite_releas) R 10077 10077 11066 0 -1 4202496 149 0 0 0 0 0 0 0 25 0 1 0 1008581272 978944 84 4294967295 134512640 135223648 3217328000 3217326880 134543108 0 0 0 3 0 0 0 17 1 0 0 0
/proc/10081/statm: 239 86 45 174 0 64 0
[startup+0.081727 s]
/proc/loadavg: 1.00 1.00 1.00 2/96 10077
/proc/meminfo: memFree=1561204/2074464 swapFree=1950760/1959888
[pid=10077] ppid=10075 vsize=2412 CPUtime=0.01
/proc/10077/stat : 10077 (SatELiteGTI) S 10075 10077 11066 0 -1 4194304 367 643 0 0 0 0 0 1 25 0 1 0 1008581272 2469888 276 4294967295 134512640 135169312 3215873584 3215872120 3085405934 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/10077/statm: 603 276 235 161 0 42 0
[pid=10081] ppid=10077 vsize=4028 CPUtime=0.08
/proc/10081/stat : 10081 (SatELite_releas) R 10077 10077 11066 0 -1 4202496 850 0 0 0 8 0 0 0 25 0 1 0 1008581272 4124672 785 4294967295 134512640 135223648 3217328000 3217326352 134601537 0 0 0 3 0 0 0 17 1 0 0 0
/proc/10081/statm: 1007 785 73 174 0 832 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6440
[startup+0.101725 s]
/proc/loadavg: 1.00 1.00 1.00 2/96 10077
/proc/meminfo: memFree=1561204/2074464 swapFree=1950760/1959888
[pid=10077] ppid=10075 vsize=2412 CPUtime=0.01
/proc/10077/stat : 10077 (SatELiteGTI) S 10075 10077 11066 0 -1 4194304 367 643 0 0 0 0 0 1 25 0 1 0 1008581272 2469888 276 4294967295 134512640 135169312 3215873584 3215872120 3085405934 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/10077/statm: 603 276 235 161 0 42 0
[pid=10081] ppid=10077 vsize=3892 CPUtime=0.1
/proc/10081/stat : 10081 (SatELite_releas) R 10077 10077 11066 0 -1 4202496 851 0 0 0 10 0 0 0 25 0 1 0 1008581272 3985408 768 4294967295 134512640 135223648 3217328000 3217326016 134586986 0 0 0 3 0 0 0 17 1 0 0 0
/proc/10081/statm: 973 768 73 174 0 798 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 6304
[startup+0.30172 s]
/proc/loadavg: 1.00 1.00 1.00 2/96 10077
/proc/meminfo: memFree=1561204/2074464 swapFree=1950760/1959888
[pid=10077] ppid=10075 vsize=2416 CPUtime=0.13
/proc/10077/stat : 10077 (SatELiteGTI) S 10075 10077 11066 0 -1 4194304 385 1524 0 0 0 0 12 1 24 0 1 0 1008581272 2473984 277 4294967295 134512640 135169312 3215873584 3215869800 3085405934 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/10077/statm: 604 277 235 161 0 43 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 2416
[startup+0.701702 s]
/proc/loadavg: 1.00 1.00 1.00 2/96 10077
/proc/meminfo: memFree=1561204/2074464 swapFree=1950760/1959888
[pid=10077] ppid=10075 vsize=2416 CPUtime=0.13
/proc/10077/stat : 10077 (SatELiteGTI) S 10075 10077 11066 0 -1 4194304 385 1524 0 0 0 0 12 1 24 0 1 0 1008581272 2473984 277 4294967295 134512640 135169312 3215873584 3215869800 3085405934 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/10077/statm: 604 277 235 161 0 43 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 2416
[startup+1.50166 s]
/proc/loadavg: 1.00 1.00 1.00 2/98 10083
/proc/meminfo: memFree=1558848/2074464 swapFree=1950760/1959888
[pid=10077] ppid=10075 vsize=2416 CPUtime=0.13
/proc/10077/stat : 10077 (SatELiteGTI) S 10075 10077 11066 0 -1 4194304 385 1524 0 0 0 0 12 1 24 0 1 0 1008581272 2473984 277 4294967295 134512640 135169312 3215873584 3215869800 3085405934 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/10077/statm: 604 277 235 161 0 43 0
[pid=10083] ppid=10077 vsize=3608 CPUtime=1.37
/proc/10083/stat : 10083 (minisat_static) R 10077 10077 11066 0 -1 4202496 652 0 0 0 137 0 0 0 25 0 1 0 1008581285 3694592 587 4294967295 134512640 135215339 3214187760 3214186048 134528742 0 0 0 3 0 0 0 17 2 0 0 0
/proc/10083/statm: 902 587 73 172 0 729 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 6024
[startup+3.10157 s]
/proc/loadavg: 1.00 1.00 1.00 3/98 10083
/proc/meminfo: memFree=1557856/2074464 swapFree=1950760/1959888
[pid=10077] ppid=10075 vsize=2416 CPUtime=0.13
/proc/10077/stat : 10077 (SatELiteGTI) S 10075 10077 11066 0 -1 4194304 385 1524 0 0 0 0 12 1 24 0 1 0 1008581272 2473984 277 4294967295 134512640 135169312 3215873584 3215869800 3085405934 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/10077/statm: 604 277 235 161 0 43 0
[pid=10083] ppid=10077 vsize=5600 CPUtime=2.97
/proc/10083/stat : 10083 (minisat_static) R 10077 10077 11066 0 -1 4202496 1131 0 0 0 296 1 0 0 25 0 1 0 1008581285 5734400 1066 4294967295 134512640 135215339 3214187760 3214186032 134525112 0 0 0 3 0 0 0 17 2 0 0 0
/proc/10083/statm: 1400 1066 73 172 0 1227 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 8016
[startup+6.31139 s]
/proc/loadavg: 1.00 1.00 1.00 2/98 10083
/proc/meminfo: memFree=1554852/2074464 swapFree=1950760/1959888
[pid=10077] ppid=10075 vsize=2416 CPUtime=0.13
/proc/10077/stat : 10077 (SatELiteGTI) S 10075 10077 11066 0 -1 4194304 385 1524 0 0 0 0 12 1 24 0 1 0 1008581272 2473984 277 4294967295 134512640 135169312 3215873584 3215869800 3085405934 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/10077/statm: 604 277 235 161 0 43 0
[pid=10083] ppid=10077 vsize=8136 CPUtime=6.18
/proc/10083/stat : 10083 (minisat_static) R 10077 10077 11066 0 -1 4202496 1769 0 0 0 617 1 0 0 25 0 1 0 1008581285 8331264 1704 4294967295 134512640 135215339 3214187760 3214186048 134528858 0 0 0 3 0 0 0 17 2 0 0 0
/proc/10083/statm: 2034 1704 73 172 0 1861 0
Current children cumulated CPU time (s) 6.31
Current children cumulated vsize (KiB) 10552
[startup+12.711 s]
/proc/loadavg: 1.00 1.00 1.00 2/98 10083
/proc/meminfo: memFree=1551212/2074464 swapFree=1950760/1959888
[pid=10077] ppid=10075 vsize=2416 CPUtime=0.13
/proc/10077/stat : 10077 (SatELiteGTI) S 10075 10077 11066 0 -1 4194304 385 1524 0 0 0 0 12 1 24 0 1 0 1008581272 2473984 277 4294967295 134512640 135169312 3215873584 3215869800 3085405934 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/10077/statm: 604 277 235 161 0 43 0
[pid=10083] ppid=10077 vsize=11340 CPUtime=12.57
/proc/10083/stat : 10083 (minisat_static) R 10077 10077 11066 0 -1 4202496 2571 0 0 0 1256 1 0 0 25 0 1 0 1008581285 11612160 2506 4294967295 134512640 135215339 3214187760 3214186048 134528788 0 0 0 3 0 0 0 17 2 0 0 0
/proc/10083/statm: 2835 2506 73 172 0 2662 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 13756
[startup+25.5103 s]
/proc/loadavg: 1.00 1.00 1.00 2/98 10083
/proc/meminfo: memFree=1546240/2074464 swapFree=1950760/1959888
[pid=10077] ppid=10075 vsize=2416 CPUtime=0.13
/proc/10077/stat : 10077 (SatELiteGTI) S 10075 10077 11066 0 -1 4194304 385 1524 0 0 0 0 12 1 24 0 1 0 1008581272 2473984 277 4294967295 134512640 135169312 3215873584 3215869800 3085405934 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/10077/statm: 604 277 235 161 0 43 0
[pid=10083] ppid=10077 vsize=16324 CPUtime=25.37
/proc/10083/stat : 10083 (minisat_static) R 10077 10077 11066 0 -1 4202496 3807 0 0 0 2536 1 0 0 25 0 1 0 1008581285 16715776 3742 4294967295 134512640 135215339 3214187760 3214185760 134532626 0 0 0 3 0 0 0 17 2 0 0 0
/proc/10083/statm: 4081 3742 73 172 0 3908 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 18740
[startup+51.1089 s]
/proc/loadavg: 1.00 1.00 1.00 2/98 10088
/proc/meminfo: memFree=1542644/2074464 swapFree=1950760/1959888
[pid=10077] ppid=10075 vsize=2416 CPUtime=0.13
/proc/10077/stat : 10077 (SatELiteGTI) S 10075 10077 11066 0 -1 4194304 385 1524 0 0 0 0 12 1 24 0 1 0 1008581272 2473984 277 4294967295 134512640 135169312 3215873584 3215869800 3085405934 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/10077/statm: 604 277 235 161 0 43 0
[pid=10083] ppid=10077 vsize=19992 CPUtime=50.96
/proc/10083/stat : 10083 (minisat_static) R 10077 10077 11066 0 -1 4202496 4705 0 0 0 5093 3 0 0 25 0 1 0 1008581285 20471808 4640 4294967295 134512640 135215339 3214187760 3214186048 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/10083/statm: 4998 4640 73 172 0 4825 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 22408
[startup+102.316 s]
/proc/loadavg: 1.00 1.00 1.00 3/98 10272
/proc/meminfo: memFree=1542024/2074464 swapFree=1950760/1959888
[pid=10077] ppid=10075 vsize=2416 CPUtime=0.13
/proc/10077/stat : 10077 (SatELiteGTI) S 10075 10077 11066 0 -1 4194304 385 1524 0 0 0 0 12 1 24 0 1 0 1008581272 2473984 277 4294967295 134512640 135169312 3215873584 3215869800 3085405934 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/10077/statm: 604 277 235 161 0 43 0
[pid=10083] ppid=10077 vsize=20300 CPUtime=102.17
/proc/10083/stat : 10083 (minisat_static) R 10077 10077 11066 0 -1 4202496 4783 0 0 0 10214 3 0 0 25 0 1 0 1008581285 20787200 4718 4294967295 134512640 135215339 3214187760 3214186048 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/10083/statm: 5075 4718 73 172 0 4902 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 22716
[startup+162.313 s]
/proc/loadavg: 1.00 1.00 1.00 2/98 10465
/proc/meminfo: memFree=1541776/2074464 swapFree=1950760/1959888
[pid=10077] ppid=10075 vsize=2416 CPUtime=0.13
/proc/10077/stat : 10077 (SatELiteGTI) S 10075 10077 11066 0 -1 4194304 385 1524 0 0 0 0 12 1 24 0 1 0 1008581272 2473984 277 4294967295 134512640 135169312 3215873584 3215869800 3085405934 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/10077/statm: 604 277 235 161 0 43 0
[pid=10083] ppid=10077 vsize=20512 CPUtime=162.17
/proc/10083/stat : 10083 (minisat_static) R 10077 10077 11066 0 -1 4202496 4807 0 0 0 16214 3 0 0 25 0 1 0 1008581285 21004288 4742 4294967295 134512640 135215339 3214187760 3214186048 134528624 0 0 0 3 0 0 0 17 1 0 0 0
/proc/10083/statm: 5128 4742 73 172 0 4955 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 22928
[startup+222.319 s]
/proc/loadavg: 1.00 1.00 1.00 2/98 10654
/proc/meminfo: memFree=1541652/2074464 swapFree=1950760/1959888
[pid=10077] ppid=10075 vsize=2416 CPUtime=0.13
/proc/10077/stat : 10077 (SatELiteGTI) S 10075 10077 11066 0 -1 4194304 385 1524 0 0 0 0 12 1 24 0 1 0 1008581272 2473984 277 4294967295 134512640 135169312 3215873584 3215869800 3085405934 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/10077/statm: 604 277 235 161 0 43 0
[pid=10083] ppid=10077 vsize=20512 CPUtime=222.18
/proc/10083/stat : 10083 (minisat_static) R 10077 10077 11066 0 -1 4202496 4813 0 0 0 22215 3 0 0 25 0 1 0 1008581285 21004288 4748 4294967295 134512640 135215339 3214187760 3214186048 134528788 0 0 0 3 0 0 0 17 1 0 0 0
/proc/10083/statm: 5128 4748 73 172 0 4955 0
Current children cumulated CPU time (s) 222.31
Current children cumulated vsize (KiB) 22928
[startup+282.326 s]
/proc/loadavg: 1.00 1.00 1.00 2/98 10843
/proc/meminfo: memFree=1541736/2074464 swapFree=1950760/1959888
[pid=10077] ppid=10075 vsize=2416 CPUtime=0.13
/proc/10077/stat : 10077 (SatELiteGTI) S 10075 10077 11066 0 -1 4194304 385 1524 0 0 0 0 12 1 24 0 1 0 1008581272 2473984 277 4294967295 134512640 135169312 3215873584 3215869800 3085405934 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/10077/statm: 604 277 235 161 0 43 0
[pid=10083] ppid=10077 vsize=20676 CPUtime=282.19
/proc/10083/stat : 10083 (minisat_static) R 10077 10077 11066 0 -1 4202496 4842 0 0 0 28216 3 0 0 25 0 1 0 1008581285 21172224 4777 4294967295 134512640 135215339 3214187760 3214186048 134529080 0 0 0 3 0 0 0 17 1 0 0 0
/proc/10083/statm: 5169 4777 73 172 0 4996 0
Current children cumulated CPU time (s) 282.32
Current children cumulated vsize (KiB) 23092
[startup+342.323 s]
/proc/loadavg: 1.00 1.00 1.00 2/98 11032
/proc/meminfo: memFree=1541604/2074464 swapFree=1950760/1959888
[pid=10077] ppid=10075 vsize=2416 CPUtime=0.13
/proc/10077/stat : 10077 (SatELiteGTI) S 10075 10077 11066 0 -1 4194304 385 1524 0 0 0 0 12 1 24 0 1 0 1008581272 2473984 277 4294967295 134512640 135169312 3215873584 3215869800 3085405934 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/10077/statm: 604 277 235 161 0 43 0
[pid=10083] ppid=10077 vsize=20676 CPUtime=342.19
/proc/10083/stat : 10083 (minisat_static) R 10077 10077 11066 0 -1 4202496 4848 0 0 0 34216 3 0 0 25 0 1 0 1008581285 21172224 4783 4294967295 134512640 135215339 3214187760 3214186048 134528682 0 0 0 3 0 0 0 17 1 0 0 0
/proc/10083/statm: 5169 4783 73 172 0 4996 0
Current children cumulated CPU time (s) 342.32
Current children cumulated vsize (KiB) 23092
[startup+402.32 s]
/proc/loadavg: 1.00 1.00 1.00 3/98 11220
/proc/meminfo: memFree=1541596/2074464 swapFree=1950760/1959888
[pid=10077] ppid=10075 vsize=2416 CPUtime=0.13
################
# More data... #
################
/proc/10077/statm: 604 277 235 161 0 43 0
[pid=10083] ppid=10077 vsize=20888 CPUtime=462.19
/proc/10083/stat : 10083 (minisat_static) R 10077 10077 11066 0 -1 4202496 4897 0 0 0 46216 3 0 0 25 0 1 0 1008581285 21389312 4832 4294967295 134512640 135215339 3214187760 3214186048 134528682 0 0 0 3 0 0 0 17 1 0 0 0
/proc/10083/statm: 5222 4832 73 172 0 5049 0
Current children cumulated CPU time (s) 462.32
Current children cumulated vsize (KiB) 23304
[startup+522.323 s]
/proc/loadavg: 1.00 1.00 1.00 3/98 11602
/proc/meminfo: memFree=1541604/2074464 swapFree=1950760/1959888
[pid=10077] ppid=10075 vsize=2416 CPUtime=0.13
/proc/10077/stat : 10077 (SatELiteGTI) S 10075 10077 11066 0 -1 4194304 385 1524 0 0 0 0 12 1 24 0 1 0 1008581272 2473984 277 4294967295 134512640 135169312 3215873584 3215869800 3085405934 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/10077/statm: 604 277 235 161 0 43 0
[pid=10083] ppid=10077 vsize=20888 CPUtime=522.2
/proc/10083/stat : 10083 (minisat_static) R 10077 10077 11066 0 -1 4202496 4898 0 0 0 52217 3 0 0 25 0 1 0 1008581285 21389312 4833 4294967295 134512640 135215339 3214187760 3214186048 134528682 0 0 0 3 0 0 0 17 1 0 0 0
/proc/10083/statm: 5222 4833 73 172 0 5049 0
Current children cumulated CPU time (s) 522.33
Current children cumulated vsize (KiB) 23304
[startup+582.32 s]
/proc/loadavg: 1.08 1.03 1.01 3/98 11791
/proc/meminfo: memFree=1541588/2074464 swapFree=1950760/1959888
[pid=10077] ppid=10075 vsize=2416 CPUtime=0.13
/proc/10077/stat : 10077 (SatELiteGTI) S 10075 10077 11066 0 -1 4194304 385 1524 0 0 0 0 12 1 24 0 1 0 1008581272 2473984 277 4294967295 134512640 135169312 3215873584 3215869800 3085405934 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/10077/statm: 604 277 235 161 0 43 0
[pid=10083] ppid=10077 vsize=20888 CPUtime=582.2
/proc/10083/stat : 10083 (minisat_static) R 10077 10077 11066 0 -1 4202496 4899 0 0 0 58217 3 0 0 25 0 1 0 1008581285 21389312 4834 4294967295 134512640 135215339 3214187760 3214186048 134528682 0 0 0 3 0 0 0 17 1 0 0 0
/proc/10083/statm: 5222 4834 73 172 0 5049 0
Current children cumulated CPU time (s) 582.33
Current children cumulated vsize (KiB) 23304
[startup+642.326 s]
/proc/loadavg: 1.10 1.05 1.01 2/98 11980
/proc/meminfo: memFree=1541588/2074464 swapFree=1950760/1959888
[pid=10077] ppid=10075 vsize=2416 CPUtime=0.13
/proc/10077/stat : 10077 (SatELiteGTI) S 10075 10077 11066 0 -1 4194304 385 1524 0 0 0 0 12 1 24 0 1 0 1008581272 2473984 277 4294967295 134512640 135169312 3215873584 3215869800 3085405934 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/10077/statm: 604 277 235 161 0 43 0
[pid=10083] ppid=10077 vsize=20888 CPUtime=642.21
/proc/10083/stat : 10083 (minisat_static) R 10077 10077 11066 0 -1 4202496 4899 0 0 0 64218 3 0 0 25 0 1 0 1008581285 21389312 4834 4294967295 134512640 135215339 3214187760 3214186048 134528682 0 0 0 3 0 0 0 17 1 0 0 0
/proc/10083/statm: 5222 4834 73 172 0 5049 0
Current children cumulated CPU time (s) 642.34
Current children cumulated vsize (KiB) 23304
[startup+702.323 s]
/proc/loadavg: 1.04 1.04 1.01 2/98 12165
/proc/meminfo: memFree=1541240/2074464 swapFree=1950760/1959888
[pid=10077] ppid=10075 vsize=2416 CPUtime=0.13
/proc/10077/stat : 10077 (SatELiteGTI) S 10075 10077 11066 0 -1 4194304 385 1524 0 0 0 0 12 1 24 0 1 0 1008581272 2473984 277 4294967295 134512640 135169312 3215873584 3215869800 3085405934 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/10077/statm: 604 277 235 161 0 43 0
[pid=10083] ppid=10077 vsize=21156 CPUtime=702.21
/proc/10083/stat : 10083 (minisat_static) R 10077 10077 11066 0 -1 4202496 4966 0 0 0 70218 3 0 0 25 0 1 0 1008581285 21663744 4901 4294967295 134512640 135215339 3214187760 3214186048 134528682 0 0 0 3 0 0 0 17 1 0 0 0
/proc/10083/statm: 5289 4901 73 172 0 5116 0
Current children cumulated CPU time (s) 702.34
Current children cumulated vsize (KiB) 23572
[startup+762.32 s]
/proc/loadavg: 1.17 1.06 1.01 3/98 12354
/proc/meminfo: memFree=1541116/2074464 swapFree=1950760/1959888
[pid=10077] ppid=10075 vsize=2416 CPUtime=0.13
/proc/10077/stat : 10077 (SatELiteGTI) S 10075 10077 11066 0 -1 4194304 385 1524 0 0 0 0 12 1 24 0 1 0 1008581272 2473984 277 4294967295 134512640 135169312 3215873584 3215869800 3085405934 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/10077/statm: 604 277 235 161 0 43 0
[pid=10083] ppid=10077 vsize=21156 CPUtime=762.21
/proc/10083/stat : 10083 (minisat_static) R 10077 10077 11066 0 -1 4202496 4974 0 0 0 76218 3 0 0 25 0 1 0 1008581285 21663744 4909 4294967295 134512640 135215339 3214187760 3214186048 134528682 0 0 0 3 0 0 0 17 1 0 0 0
/proc/10083/statm: 5289 4909 73 172 0 5116 0
Current children cumulated CPU time (s) 762.34
Current children cumulated vsize (KiB) 23572
[startup+822.316 s]
/proc/loadavg: 1.06 1.05 1.00 3/98 12543
/proc/meminfo: memFree=1541232/2074464 swapFree=1950760/1959888
[pid=10077] ppid=10075 vsize=2416 CPUtime=0.13
/proc/10077/stat : 10077 (SatELiteGTI) S 10075 10077 11066 0 -1 4194304 385 1524 0 0 0 0 12 1 24 0 1 0 1008581272 2473984 277 4294967295 134512640 135169312 3215873584 3215869800 3085405934 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/10077/statm: 604 277 235 161 0 43 0
[pid=10083] ppid=10077 vsize=21156 CPUtime=822.21
/proc/10083/stat : 10083 (minisat_static) R 10077 10077 11066 0 -1 4202496 4977 0 0 0 82218 3 0 0 25 0 1 0 1008581285 21663744 4912 4294967295 134512640 135215339 3214187760 3214186048 134528682 0 0 0 3 0 0 0 17 1 0 0 0
/proc/10083/statm: 5289 4912 73 172 0 5116 0
Current children cumulated CPU time (s) 822.34
Current children cumulated vsize (KiB) 23572
[startup+882.313 s]
/proc/loadavg: 1.02 1.04 1.00 3/98 12737
/proc/meminfo: memFree=1541464/2074464 swapFree=1950760/1959888
[pid=10077] ppid=10075 vsize=2416 CPUtime=0.13
/proc/10077/stat : 10077 (SatELiteGTI) S 10075 10077 11066 0 -1 4194304 385 1524 0 0 0 0 12 1 24 0 1 0 1008581272 2473984 277 4294967295 134512640 135169312 3215873584 3215869800 3085405934 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/10077/statm: 604 277 235 161 0 43 0
[pid=10083] ppid=10077 vsize=21296 CPUtime=882.21
/proc/10083/stat : 10083 (minisat_static) R 10077 10077 11066 0 -1 4202496 4996 0 0 0 88218 3 0 0 25 0 1 0 1008581285 21807104 4931 4294967295 134512640 135215339 3214187760 3214186048 134528682 0 0 0 3 0 0 0 17 1 0 0 0
/proc/10083/statm: 5324 4931 73 172 0 5151 0
Current children cumulated CPU time (s) 882.34
Current children cumulated vsize (KiB) 23712
[startup+942.32 s]
/proc/loadavg: 1.01 1.03 1.00 4/98 12924
/proc/meminfo: memFree=1541232/2074464 swapFree=1950760/1959888
[pid=10077] ppid=10075 vsize=2416 CPUtime=0.13
/proc/10077/stat : 10077 (SatELiteGTI) S 10075 10077 11066 0 -1 4194304 385 1524 0 0 0 0 12 1 24 0 1 0 1008581272 2473984 277 4294967295 134512640 135169312 3215873584 3215869800 3085405934 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/10077/statm: 604 277 235 161 0 43 0
[pid=10083] ppid=10077 vsize=21296 CPUtime=942.22
/proc/10083/stat : 10083 (minisat_static) R 10077 10077 11066 0 -1 4202496 5008 0 0 0 94219 3 0 0 25 0 1 0 1008581285 21807104 4943 4294967295 134512640 135215339 3214187760 3214186048 134528682 0 0 0 3 0 0 0 17 1 0 0 0
/proc/10083/statm: 5324 4943 73 172 0 5151 0
Current children cumulated CPU time (s) 942.35
Current children cumulated vsize (KiB) 23712
[startup+1002.32 s]
/proc/loadavg: 1.00 1.02 1.00 3/98 13109
/proc/meminfo: memFree=1540992/2074464 swapFree=1950760/1959888
[pid=10077] ppid=10075 vsize=2416 CPUtime=0.13
/proc/10077/stat : 10077 (SatELiteGTI) S 10075 10077 11066 0 -1 4194304 385 1524 0 0 0 0 12 1 24 0 1 0 1008581272 2473984 277 4294967295 134512640 135169312 3215873584 3215869800 3085405934 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/10077/statm: 604 277 235 161 0 43 0
[pid=10083] ppid=10077 vsize=21460 CPUtime=1002.22
/proc/10083/stat : 10083 (minisat_static) R 10077 10077 11066 0 -1 4202496 5048 0 0 0 100219 3 0 0 25 0 1 0 1008581285 21975040 4983 4294967295 134512640 135215339 3214187760 3214186048 134528682 0 0 0 3 0 0 0 17 1 0 0 0
/proc/10083/statm: 5365 4983 73 172 0 5192 0
Current children cumulated CPU time (s) 1002.35
Current children cumulated vsize (KiB) 23876
[startup+1062.32 s]
/proc/loadavg: 1.00 1.02 1.00 2/98 13298
/proc/meminfo: memFree=1540844/2074464 swapFree=1950760/1959888
[pid=10077] ppid=10075 vsize=2416 CPUtime=0.13
/proc/10077/stat : 10077 (SatELiteGTI) S 10075 10077 11066 0 -1 4194304 385 1524 0 0 0 0 12 1 24 0 1 0 1008581272 2473984 277 4294967295 134512640 135169312 3215873584 3215869800 3085405934 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/10077/statm: 604 277 235 161 0 43 0
[pid=10083] ppid=10077 vsize=21460 CPUtime=1062.23
/proc/10083/stat : 10083 (minisat_static) R 10077 10077 11066 0 -1 4202496 5053 0 0 0 106220 3 0 0 25 0 1 0 1008581285 21975040 4988 4294967295 134512640 135215339 3214187760 3214186048 134528682 0 0 0 3 0 0 0 17 1 0 0 0
/proc/10083/statm: 5365 4988 73 172 0 5192 0
Current children cumulated CPU time (s) 1062.36
Current children cumulated vsize (KiB) 23876
[startup+1122.31 s]
/proc/loadavg: 1.00 1.01 1.00 3/98 13487
/proc/meminfo: memFree=1540852/2074464 swapFree=1950760/1959888
[pid=10077] ppid=10075 vsize=2416 CPUtime=0.13
/proc/10077/stat : 10077 (SatELiteGTI) S 10075 10077 11066 0 -1 4194304 385 1524 0 0 0 0 12 1 24 0 1 0 1008581272 2473984 277 4294967295 134512640 135169312 3215873584 3215869800 3085405934 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/10077/statm: 604 277 235 161 0 43 0
[pid=10083] ppid=10077 vsize=21460 CPUtime=1122.22
/proc/10083/stat : 10083 (minisat_static) R 10077 10077 11066 0 -1 4202496 5053 0 0 0 112219 3 0 0 25 0 1 0 1008581285 21975040 4988 4294967295 134512640 135215339 3214187760 3214186048 134528849 0 0 0 3 0 0 0 17 1 0 0 0
/proc/10083/statm: 5365 4988 73 172 0 5192 0
Current children cumulated CPU time (s) 1122.35
Current children cumulated vsize (KiB) 23876
[startup+1182.32 s]
/proc/loadavg: 1.15 1.05 1.01 2/98 13680
/proc/meminfo: memFree=1540720/2074464 swapFree=1950760/1959888
[pid=10077] ppid=10075 vsize=2416 CPUtime=0.13
/proc/10077/stat : 10077 (SatELiteGTI) S 10075 10077 11066 0 -1 4194304 385 1524 0 0 0 0 12 1 24 0 1 0 1008581272 2473984 277 4294967295 134512640 135169312 3215873584 3215869800 3085405934 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/10077/statm: 604 277 235 161 0 43 0
[pid=10083] ppid=10077 vsize=21460 CPUtime=1182.23
/proc/10083/stat : 10083 (minisat_static) R 10077 10077 11066 0 -1 4202496 5053 0 0 0 118220 3 0 0 25 0 1 0 1008581285 21975040 4988 4294967295 134512640 135215339 3214187760 3214186048 134528682 0 0 0 3 0 0 0 17 1 0 0 0
/proc/10083/statm: 5365 4988 73 172 0 5192 0
Current children cumulated CPU time (s) 1182.36
Current children cumulated vsize (KiB) 23876
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.02 s]
/proc/loadavg: 1.12 1.05 1.01 2/98 13680
/proc/meminfo: memFree=1539728/2074464 swapFree=1950760/1959888
[pid=10077] ppid=10075 vsize=2416 CPUtime=0.13
/proc/10077/stat : 10077 (SatELiteGTI) S 10075 10077 11066 0 -1 4194304 385 1524 0 0 0 0 12 1 24 0 1 0 1008581272 2473984 277 4294967295 134512640 135169312 3215873584 3215869800 3085405934 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/10077/statm: 604 277 235 161 0 43 0
[pid=10083] ppid=10077 vsize=22516 CPUtime=1199.93
/proc/10083/stat : 10083 (minisat_static) R 10077 10077 11066 0 -1 4202496 5306 0 0 0 119990 3 0 0 25 0 1 0 1008581285 23056384 5241 4294967295 134512640 135215339 3214187760 3214186048 134528863 0 0 0 3 0 0 0 17 1 0 0 0
/proc/10083/statm: 5629 5241 73 172 0 5456 0
Current children cumulated CPU time (s) 1200.06
Current children cumulated vsize (KiB) 24932
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
Child status: 143
Real time (s): 1200.03
CPU time (s): 1200.07
CPU user time (s): 1200.02
CPU system time (s): 0.05
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 24932
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1200.02
system time used= 0.05
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7491
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= 18
involuntary context switches= 2249
runsolver used 0.03 second user time and 0.01 second system time
The end
Begin job on tipi23 at 2009-05-16 04:27:10
IDJOB=1820416
IDBENCH=20400
IDSOLVER=657
FILE ID=tipi23/1820416-1242440830
PBS_JOBID=
Free space on /tmp= 9958 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT07/industrial/fuhs/hard/AProVE07-08.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1820416-1242440830/watcher-1820416-1242440830 -o /tmp/evaluation-result-1820416-1242440830/solver-1820416-1242440830 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1820416-1242440830.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 81ed5ec4a2e7c208a4184383f9e53838
RANDOM SEED= 1593226023
Linux tipi23 2.6.18 #19 SMP Tue Jun 19 11:27:27 CEST 2007 i686 GNU/Linux
/proc/cpuinfo:
processor : 0
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.377
cache size : 1024 KB
physical id : 0
siblings : 2
core id : 0
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3618.38
processor : 1
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.377
cache size : 1024 KB
physical id : 0
siblings : 2
core id : 1
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.78
processor : 2
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.377
cache size : 1024 KB
physical id : 1
siblings : 2
core id : 0
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.79
processor : 3
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.377
cache size : 1024 KB
physical id : 1
siblings : 2
core id : 1
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.78
/proc/meminfo:
MemTotal: 2074464 kB
MemFree: 1561576 kB
Buffers: 25960 kB
Cached: 400172 kB
SwapCached: 3700 kB
Active: 290692 kB
Inactive: 147264 kB
HighTotal: 1178688 kB
HighFree: 772508 kB
LowTotal: 895776 kB
LowFree: 789068 kB
SwapTotal: 1959888 kB
SwapFree: 1950760 kB
Dirty: 1896 kB
Writeback: 0 kB
AnonPages: 11072 kB
Mapped: 4536 kB
Slab: 66628 kB
PageTables: 428 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 2997120 kB
Committed_AS: 96896 kB
VmallocTotal: 114680 kB
VmallocUsed: 1324 kB
VmallocChunk: 113264 kB
Free space on /tmp at the end= 9958 MiB
End job on tipi23 at 2009-05-16 04:47:10