0.00/0.00 c Parsing...
0.00/0.02 c ==============================================================================
0.00/0.02 c | | ORIGINAL | LEARNT | |
0.00/0.02 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.02 c ==============================================================================
0.00/0.02 c | 0 | 13600 95200 | 4079 0 0 nan | 0.000 % |
0.00/0.02 c ==============================================================================
0.00/0.02 c Result : #vars: 160 #clauses: 13600 #literals: 95200
0.00/0.02 c CPU time: 0.017997 s
0.00/0.02 c ==============================================================================
0.00/0.05 c This is MiniSat 2.0 beta
0.00/0.05 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.05 c ============================[ Problem Statistics ]=============================
0.00/0.05 c | |
0.00/0.05 c | Number of variables: 160 |
0.00/0.05 c | Number of clauses: 13600 |
0.00/0.06 c | Parsing time: 0.01 s |
0.00/0.06 c ============================[ Search Statistics ]==============================
0.00/0.06 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.00/0.06 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.00/0.06 c ===============================================================================
0.00/0.06 c | 0 | 160 13600 95200 | 4533 0 nan | 0.000 % |
0.00/0.07 c | 101 | 160 13600 95200 | 4533 101 49 | 0.004 % |
0.00/0.08 c | 201 | 160 13600 95200 | 4533 201 49 | 0.004 % |
0.00/0.09 c | 301 | 160 13600 95200 | 4533 301 49 | 0.004 % |
0.04/0.10 c | 411 | 160 13600 95200 | 4533 411 48 | 0.004 % |
0.04/0.11 c | 512 | 160 13600 95200 | 4533 512 48 | 0.004 % |
0.04/0.12 c | 623 | 160 13600 95200 | 4533 623 48 | 0.004 % |
0.04/0.13 c | 746 | 160 13600 95200 | 4533 746 47 | 0.004 % |
0.04/0.13 c | 846 | 160 13600 95200 | 4533 846 48 | 0.004 % |
0.04/0.14 c | 956 | 160 13600 95200 | 4533 956 47 | 0.004 % |
0.04/0.15 c | 1080 | 160 13600 95200 | 4533 1080 47 | 0.004 % |
0.04/0.16 c | 1214 | 160 13600 95200 | 4533 1214 47 | 0.004 % |
0.04/0.17 c | 1316 | 160 13600 95200 | 4533 1316 47 | 0.004 % |
0.04/0.17 c | 1427 | 160 13600 95200 | 4533 1427 47 | 0.004 % |
0.04/0.18 c | 1548 | 160 13600 95200 | 4533 1548 48 | 0.004 % |
0.04/0.19 c | 1682 | 160 13600 95200 | 4533 1682 48 | 0.004 % |
0.04/0.20 c | 1828 | 160 13600 95200 | 4533 1828 48 | 0.004 % |
0.04/0.21 c | 1929 | 160 13600 95200 | 4533 1929 48 | 0.004 % |
0.04/0.22 c | 2041 | 160 13600 95200 | 4533 2041 48 | 0.004 % |
0.04/0.23 c | 2163 | 160 13600 95200 | 4533 2163 48 | 0.004 % |
0.04/0.24 c | 2296 | 160 13600 95200 | 4533 2296 48 | 0.004 % |
0.04/0.26 c | 2446 | 160 13600 95200 | 4533 2446 48 | 0.004 % |
0.04/0.27 c | 2606 | 160 13600 95200 | 4533 2606 48 | 0.004 % |
0.04/0.28 c | 2708 | 160 13600 95200 | 4533 2708 48 | 0.004 % |
0.04/0.29 c | 2819 | 160 13600 95200 | 4533 2819 48 | 0.004 % |
0.04/0.30 c | 2941 | 160 13600 95200 | 4533 2941 48 | 0.004 % |
0.04/0.31 c | 3076 | 160 13600 95200 | 4533 3076 48 | 0.004 % |
0.04/0.32 c | 3224 | 160 13600 95200 | 4533 3224 48 | 0.004 % |
0.04/0.34 c | 3385 | 160 13600 95200 | 4533 3385 48 | 0.004 % |
0.04/0.35 c | 3561 | 160 13600 95200 | 4533 3561 48 | 0.004 % |
0.04/0.36 c | 3661 | 160 13600 95200 | 4533 3661 48 | 0.004 % |
0.04/0.37 c | 3771 | 160 13600 95200 | 4533 3771 48 | 0.004 % |
0.04/0.38 c | 3894 | 160 13600 95200 | 4533 3894 48 | 0.004 % |
0.04/0.39 c | 4027 | 160 13600 95200 | 4533 4027 48 | 0.004 % |
0.04/0.41 c | 4173 | 160 13600 95200 | 4533 4173 48 | 0.004 % |
0.04/0.42 c | 4334 | 160 13600 95200 | 4533 4334 48 | 0.004 % |
0.04/0.44 c | 4510 | 160 13600 95200 | 4533 4510 48 | 0.004 % |
0.04/0.46 c | 4704 | 160 13600 95200 | 4533 4244 48 | 0.004 % |
0.04/0.47 c | 4804 | 160 13600 95200 | 4533 4344 48 | 0.004 % |
0.04/0.48 c | 4915 | 160 13600 95200 | 4533 4455 48 | 0.004 % |
0.04/0.49 c | 5037 | 160 13600 95200 | 4533 4577 48 | 0.004 % |
0.04/0.50 c | 5171 | 160 13600 95200 | 4533 4254 48 | 0.004 % |
0.04/0.52 c | 5320 | 160 13600 95200 | 4533 4403 48 | 0.004 % |
0.04/0.53 c | 5481 | 160 13600 95200 | 4533 4564 48 | 0.004 % |
0.04/0.55 c | 5657 | 160 13600 95200 | 4533 4284 48 | 0.004 % |
0.04/0.56 c | 5851 | 160 13600 95200 | 4533 4478 48 | 0.004 % |
0.04/0.59 c | 6065 | 160 13600 95200 | 4533 4232 48 | 0.004 % |
0.04/0.60 c | 6165 | 160 13600 95200 | 4533 4332 48 | 0.004 % |
0.04/0.61 c | 6276 | 160 13600 95200 | 4533 4443 48 | 0.004 % |
0.04/0.62 c | 6398 | 160 13600 95200 | 4533 4565 48 | 0.004 % |
0.04/0.63 c | 6533 | 160 13600 95200 | 4533 4244 48 | 0.004 % |
0.04/0.64 c | 6680 | 160 13600 95200 | 4533 4391 48 | 0.004 % |
0.04/0.66 c | 6842 | 160 13600 95200 | 4533 4553 48 | 0.004 % |
0.04/0.68 c | 7018 | 160 13600 95200 | 4533 4274 48 | 0.004 % |
0.04/0.69 c | 7212 | 160 13600 95200 | 4533 4468 48 | 0.004 % |
0.04/0.72 c | 7425 | 160 13600 95200 | 4533 4221 48 | 0.004 % |
0.04/0.74 c | 7659 | 160 13600 95200 | 4533 4455 48 | 0.004 % |
0.04/0.75 c | 7762 | 160 13600 95200 | 4533 4558 48 | 0.004 % |
0.04/0.76 c | 7872 | 160 13600 95200 | 4533 4213 48 | 0.004 % |
0.04/0.77 c | 7995 | 160 13600 95200 | 4533 4336 48 | 0.004 % |
0.04/0.78 c | 8128 | 160 13600 95200 | 4533 4469 48 | 0.004 % |
0.04/0.80 c | 8275 | 160 13600 95200 | 4533 4156 48 | 0.004 % |
0.04/0.81 c | 8436 | 160 13600 95200 | 4533 4317 48 | 0.004 % |
0.04/0.83 c | 8612 | 160 13600 95200 | 4533 4493 48 | 0.004 % |
0.04/0.85 c | 8805 | 160 13600 95200 | 4533 4225 47 | 0.004 % |
0.04/0.87 c | 9017 | 160 13600 95200 | 4533 4437 47 | 0.004 % |
0.04/0.89 c | 9250 | 160 13600 95200 | 4533 4209 47 | 0.004 % |
0.04/0.92 c | 9508 | 160 13600 95200 | 4533 4467 47 | 0.004 % |
0.04/0.93 c | 9608 | 160 13600 95200 | 4533 4567 47 | 0.004 % |
0.04/0.94 c | 9719 | 160 13600 95200 | 4533 4222 47 | 0.004 % |
0.04/0.95 c | 9841 | 160 13600 95200 | 4533 4344 47 | 0.004 % |
0.04/0.96 c | 9975 | 160 13600 95200 | 4533 4478 47 | 0.004 % |
0.04/0.98 c | 10121 | 160 13600 95200 | 2147483647 4624 47 | 0.004 % |
0.04/0.99 c | 10281 | 160 13600 95200 | 2147483647 4784 47 | 0.004 % |
0.97/1.01 c | 10457 | 160 13600 95200 | 2147483647 4960 47 | 0.004 % |
0.97/1.03 c | 10650 | 160 13600 95200 | 2147483647 5153 47 | 0.004 % |
0.97/1.05 c | 10865 | 160 13600 95200 | 2147483647 5368 47 | 0.004 % |
0.97/1.08 c | 11098 | 160 13600 95200 | 2147483647 5601 48 | 0.004 % |
1.07/1.11 c | 11354 | 160 13600 95200 | 2147483647 5857 48 | 0.004 % |
1.07/1.14 c | 11635 | 160 13600 95200 | 2147483647 6138 48 | 0.004 % |
1.07/1.15 c | 11735 | 160 13600 95200 | 2147483647 6238 48 | 0.004 % |
1.07/1.16 c | 11845 | 160 13600 95200 | 2147483647 6348 48 | 0.004 % |
1.07/1.17 c | 11968 | 160 13600 95200 | 2147483647 6471 48 | 0.004 % |
1.07/1.19 c | 12101 | 160 13600 95200 | 2147483647 6604 48 | 0.004 % |
1.17/1.21 c | 12251 | 160 13600 95200 | 2147483647 6754 48 | 0.004 % |
1.17/1.22 c | 12412 | 160 13600 95200 | 2147483647 6915 48 | 0.004 % |
1.17/1.25 c | 12588 | 160 13600 95200 | 2147483647 7091 48 | 0.004 % |
1.17/1.27 c | 12781 | 160 13600 95200 | 2147483647 7284 48 | 0.004 % |
1.17/1.29 c | 12994 | 160 13600 95200 | 2147483647 7497 48 | 0.004 % |
1.27/1.32 c | 13227 | 160 13600 95200 | 2147483647 7730 48 | 0.004 % |
1.27/1.35 c | 13484 | 160 13600 95200 | 2147483647 7987 48 | 0.004 % |
1.27/1.39 c | 13766 | 160 13600 95200 | 2147483647 8269 48 | 0.004 % |
1.37/1.43 c | 14075 | 160 13600 95200 | 2147483647 8578 48 | 0.004 % |
1.37/1.45 c | 14175 | 160 13600 95200 | 2147483647 8678 48 | 0.004 % |
1.37/1.46 c | 14285 | 160 13600 95200 | 2147483647 8788 48 | 0.004 % |
1.37/1.48 c | 14406 | 160 13600 95200 | 2147483647 8909 48 | 0.004 % |
1.37/1.49 c | 14541 | 160 13600 95200 | 2147483647 9044 48 | 0.004 % |
1.47/1.52 c | 14689 | 160 13600 95200 | 2147483647 9192 48 | 0.004 % |
1.47/1.54 c | 14849 | 160 13600 95200 | 2147483647 9352 48 | 0.004 % |
1.47/1.56 c | 15028 | 160 13600 95200 | 2147483647 9531 48 | 0.004 % |
1.47/1.59 c | 15222 | 160 13600 95200 | 2147483647 9725 48 | 0.004 % |
1.56/1.62 c | 15434 | 160 13600 95200 | 2147483647 9937 48 | 0.004 % |
1.56/1.65 c | 15667 | 160 13600 95200 | 2147483647 10170 48 | 0.004 % |
1.56/1.69 c | 15924 | 160 13600 95200 | 2147483647 10427 48 | 0.004 % |
1.66/1.73 c | 16207 | 160 13600 95200 | 2147483647 10710 48 | 0.004 % |
1.66/1.78 c | 16516 | 160 13600 95200 | 2147483647 11019 48 | 0.004 % |
1.76/1.83 c | 16855 | 160 13600 95200 | 2147483647 11358 48 | 0.004 % |
1.76/1.85 c | 16955 | 160 13600 95200 | 2147483647 11458 48 | 0.004 % |
1.76/1.87 c | 17065 | 160 13600 95200 | 2147483647 11568 48 | 0.004 % |
1.76/1.89 c | 17187 | 160 13600 95200 | 2147483647 11690 48 | 0.004 % |
1.86/1.91 c | 17320 | 160 13600 95200 | 2147483647 11823 48 | 0.004 % |
1.86/1.93 c | 17466 | 160 13600 95200 | 2147483647 11969 48 | 0.004 % |
1.86/1.96 c | 17626 | 160 13600 95200 | 2147483647 12129 48 | 0.004 % |
1.86/1.99 c | 17802 | 160 13600 95200 | 2147483647 12305 48 | 0.004 % |
1.96/2.02 c | 17996 | 160 13600 95200 | 2147483647 12499 48 | 0.004 % |
1.96/2.06 c | 18208 | 160 13600 95200 | 2147483647 12711 48 | 0.004 % |
1.96/2.10 c | 18441 | 160 13600 95200 | 2147483647 12944 48 | 0.004 % |
2.07/2.14 c | 18698 | 160 13600 95200 | 2147483647 13201 48 | 0.004 % |
2.07/2.19 c | 18979 | 160 13600 95200 | 2147483647 13482 48 | 0.004 % |
2.18/2.24 c | 19288 | 160 13600 95200 | 2147483647 13791 48 | 0.004 % |
2.18/2.29 c | 19627 | 160 13600 95200 | 2147483647 14130 48 | 0.004 % |
2.27/2.36 c | 19999 | 160 13600 95200 | 2147483647 14502 48 | 0.004 % |
2.27/2.38 c | 20099 | 160 13600 95200 | 2147483647 14602 48 | 0.004 % |
2.37/2.41 c | 20209 | 160 13600 95200 | 2147483647 14712 48 | 0.004 % |
2.37/2.43 c | 20330 | 160 13600 95200 | 2147483647 14833 48 | 0.004 % |
2.37/2.46 c | 20464 | 160 13600 95200 | 2147483647 14967 48 | 0.004 % |
2.37/2.49 c | 20611 | 160 13600 95200 | 2147483647 15114 48 | 0.004 % |
2.47/2.53 c | 20772 | 160 13600 95200 | 2147483647 15275 48 | 0.004 % |
2.47/2.56 c | 20948 | 160 13600 95200 | 2147483647 15451 48 | 0.004 % |
2.57/2.60 c | 21142 | 160 13600 95200 | 2147483647 15645 48 | 0.004 % |
2.57/2.64 c | 21354 | 160 13600 95200 | 2147483647 15857 48 | 0.004 % |
2.57/2.69 c | 21588 | 160 13600 95200 | 2147483647 16091 48 | 0.004 % |
2.67/2.75 c | 21844 | 160 13600 95200 | 2147483647 16347 48 | 0.004 % |
2.77/2.80 c | 22126 | 160 13600 95200 | 2147483647 16629 48 | 0.004 % |
2.77/2.86 c | 22437 | 160 13600 95200 | 2147483647 16940 48 | 0.004 % |
2.87/2.94 c | 22780 | 160 13600 95200 | 2147483647 17283 48 | 0.004 % |
2.97/3.02 c | 23153 | 160 13600 95200 | 2147483647 17656 48 | 0.004 % |
3.07/3.10 c | 23562 | 160 13600 95200 | 2147483647 18065 48 | 0.004 % |
3.07/3.13 c | 23662 | 160 13600 95200 | 2147483647 18165 48 | 0.004 % |
3.07/3.15 c | 23772 | 160 13600 95200 | 2147483647 18275 48 | 0.004 % |
3.07/3.18 c | 23893 | 160 13600 95200 | 2147483647 18396 48 | 0.004 % |
3.17/3.21 c | 24026 | 160 13600 95200 | 2147483647 18529 48 | 0.004 % |
3.17/3.24 c | 24172 | 160 13600 95200 | 2147483647 18675 48 | 0.004 % |
3.17/3.28 c | 24332 | 160 13600 95200 | 2147483647 18835 48 | 0.004 % |
3.27/3.33 c | 24509 | 160 13600 95200 | 2147483647 19012 48 | 0.004 % |
3.27/3.38 c | 24704 | 160 13600 95200 | 2147483647 19207 48 | 0.004 % |
3.37/3.43 c | 24918 | 160 13600 95200 | 2147483647 19421 48 | 0.004 % |
3.37/3.48 c | 25151 | 160 13600 95200 | 2147483647 19654 48 | 0.004 % |
3.47/3.54 c | 25408 | 160 13600 95200 | 2147483647 19911 48 | 0.004 % |
3.57/3.61 c | 25689 | 160 13600 95200 | 2147483647 20192 48 | 0.004 % |
3.57/3.68 c | 26005 | 160 13600 95200 | 2147483647 20508 48 | 0.004 % |
3.67/3.77 c | 26344 | 160 13600 95200 | 2147483647 20847 48 | 0.004 % |
3.76/3.87 c | 26716 | 160 13600 95200 | 2147483647 21219 48 | 0.004 % |
3.86/3.98 c | 27125 | 160 13600 95200 | 2147483647 21628 48 | 0.004 % |
3.96/4.09 c | 27574 | 160 13600 95200 | 2147483647 22077 48 | 0.004 % |
4.06/4.13 c | 27675 | 160 13600 95200 | 2147483647 22178 48 | 0.004 % |
4.06/4.16 c | 27785 | 160 13600 95200 | 2147483647 22288 48 | 0.004 % |
4.06/4.19 c | 27907 | 160 13600 95200 | 2147483647 22410 48 | 0.004 % |
4.16/4.23 c | 28040 | 160 13600 95200 | 2147483647 22543 48 | 0.004 % |
4.16/4.28 c | 28186 | 160 13600 95200 | 2147483647 22689 48 | 0.004 % |
4.27/4.33 c | 28347 | 160 13600 95200 | 2147483647 22850 48 | 0.004 % |
4.27/4.37 c | 28524 | 160 13600 95200 | 2147483647 23027 48 | 0.004 % |
4.36/4.44 c | 28720 | 160 13600 95200 | 2147483647 23223 48 | 0.004 % |
4.36/4.49 c | 28935 | 160 13600 95200 | 2147483647 23438 48 | 0.004 % |
4.46/4.55 c | 29168 | 160 13600 95200 | 2147483647 23671 48 | 0.004 % |
4.57/4.62 c | 29425 | 160 13600 95200 | 2147483647 23928 48 | 0.004 % |
4.67/4.71 c | 29706 | 160 13600 95200 | 2147483647 24209 48 | 0.004 % |
4.67/4.79 c | 30018 | 160 13600 95200 | 2147483647 24521 48 | 0.004 % |
4.87/4.90 c | 30357 | 160 13600 95200 | 2147483647 24860 48 | 0.004 % |
4.97/5.01 c | 30731 | 160 13600 95200 | 2147483647 25234 48 | 0.004 % |
5.07/5.12 c | 31142 | 160 13600 95200 | 2147483647 25645 48 | 0.004 % |
5.17/5.25 c | 31593 | 160 13600 95200 | 2147483647 26096 48 | 0.004 % |
5.37/5.41 c | 32088 | 160 13600 95200 | 2147483647 26591 48 | 0.004 % |
5.37/5.45 c | 32190 | 160 13600 95200 | 2147483647 26693 48 | 0.004 % |
5.37/5.50 c | 32301 | 160 13600 95200 | 2147483647 26804 48 | 0.004 % |
5.47/5.53 c | 32422 | 160 13600 95200 | 2147483647 26925 48 | 0.004 % |
5.47/5.58 c | 32555 | 160 13600 95200 | 2147483647 27058 48 | 0.004 % |
5.57/5.64 c | 32702 | 160 13600 95200 | 2147483647 27205 48 | 0.004 % |
5.67/5.71 c | 32862 | 160 13600 95200 | 2147483647 27365 48 | 0.004 % |
5.67/5.76 c | 33038 | 160 13600 95200 | 2147483647 27541 48 | 0.004 % |
5.77/5.84 c | 33232 | 160 13600 95200 | 2147483647 27735 48 | 0.004 % |
5.87/5.91 c | 33445 | 160 13600 95200 | 2147483647 27948 48 | 0.004 % |
5.87/5.99 c | 33680 | 160 13600 95200 | 2147483647 28183 48 | 0.004 % |
5.96/6.06 c | 33936 | 160 13600 95200 | 2147483647 28439 48 | 0.004 % |
6.06/6.14 c | 34217 | 160 13600 95200 | 2147483647 28720 48 | 0.004 % |
6.16/6.24 c | 34526 | 160 13600 95200 | 2147483647 29029 48 | 0.004 % |
6.26/6.38 c | 34866 | 160 13600 95200 | 2147483647 29369 48 | 0.004 % |
6.46/6.50 c | 35238 | 160 13600 95200 | 2147483647 29741 48 | 0.004 % |
6.56/6.65 c | 35647 | 160 13600 95200 | 2147483647 30150 48 | 0.004 % |
6.76/6.81 c | 36096 | 160 13600 95200 | 2147483647 30599 48 | 0.004 % |
6.86/6.99 c | 36590 | 160 13600 95200 | 2147483647 31093 48 | 0.004 % |
7.16/7.21 c | 37132 | 160 13600 95200 | 2147483647 31635 48 | 0.004 % |
7.16/7.25 c | 37232 | 160 13600 95200 | 2147483647 31735 48 | 0.004 % |
7.16/7.29 c | 37343 | 160 13600 95200 | 2147483647 31846 48 | 0.004 % |
7.26/7.35 c | 37464 | 160 13600 95200 | 2147483647 31967 48 | 0.004 % |
7.36/7.41 c | 37597 | 160 13600 95200 | 2147483647 32100 48 | 0.004 % |
7.36/7.48 c | 37743 | 160 13600 95200 | 2147483647 32246 48 | 0.004 % |
7.46/7.53 c | 37904 | 160 13600 95200 | 2147483647 32407 48 | 0.004 % |
7.56/7.60 c | 38080 | 160 13600 95200 | 2147483647 32583 48 | 0.004 % |
7.56/7.69 c | 38274 | 160 13600 95200 | 2147483647 32777 48 | 0.004 % |
7.66/7.77 c | 38486 | 160 13600 95200 | 2147483647 32989 48 | 0.004 % |
7.75/7.86 c | 38719 | 160 13600 95200 | 2147483647 33222 48 | 0.004 % |
7.85/7.95 c | 38975 | 160 13600 95200 | 2147483647 33478 48 | 0.004 % |
7.95/8.08 c | 39256 | 160 13600 95200 | 2147483647 33759 48 | 0.004 % |
8.05/8.19 c | 39565 | 160 13600 95200 | 2147483647 34068 48 | 0.004 % |
8.25/8.33 c | 39904 | 160 13600 95200 | 2147483647 34407 48 | 0.004 % |
8.35/8.48 c | 40278 | 160 13600 95200 | 2147483647 34781 48 | 0.004 % |
8.55/8.63 c | 40687 | 160 13600 95200 | 2147483647 35190 48 | 0.004 % |
8.76/8.80 c | 41137 | 160 13600 95200 | 2147483647 35640 48 | 0.004 % |
8.96/9.01 c | 41630 | 160 13600 95200 | 2147483647 36133 48 | 0.004 % |
9.16/9.24 c | 42175 | 160 13600 95200 | 2147483647 36678 48 | 0.004 % |
9.36/9.49 c | 42772 | 160 13600 95200 | 2147483647 37275 48 | 0.004 % |
9.46/9.53 c | 42872 | 160 13600 95200 | 2147483647 37375 48 | 0.004 % |
9.46/9.58 c | 42982 | 160 13600 95200 | 2147483647 37485 48 | 0.004 % |
9.56/9.64 c | 43105 | 160 13600 95200 | 2147483647 37608 48 | 0.004 % |
9.56/9.69 c | 43238 | 160 13600 95200 | 2147483647 37741 48 | 0.004 % |
9.66/9.75 c | 43384 | 160 13600 95200 | 2147483647 37887 48 | 0.004 % |
9.76/9.82 c | 43545 | 160 13600 95200 | 2147483647 38048 48 | 0.004 % |
9.86/9.92 c | 43721 | 160 13600 95200 | 2147483647 38224 48 | 0.004 % |
9.96/10.01 c | 43915 | 160 13600 95200 | 2147483647 38418 48 | 0.004 % |
10.06/10.10 c | 44128 | 160 13600 95200 | 2147483647 38631 48 | 0.004 % |
10.16/10.20 c | 44363 | 160 13600 95200 | 2147483647 38866 48 | 0.004 % |
10.26/10.32 c | 44619 | 160 13600 95200 | 2147483647 39122 48 | 0.004 % |
10.36/10.45 c | 44900 | 160 13600 95200 | 2147483647 39403 48 | 0.004 % |
10.46/10.57 c | 45210 | 160 13600 95200 | 2147483647 39713 48 | 0.004 % |
10.66/10.73 c | 45551 | 160 13600 95200 | 2147483647 40054 48 | 0.004 % |
10.86/10.94 c | 45924 | 160 13600 95200 | 2147483647 40427 48 | 0.004 % |
11.06/11.14 c | 46335 | 160 13600 95200 | 2147483647 40838 48 | 0.004 % |
11.25/11.35 c | 46784 | 160 13600 95200 | 2147483647 41287 48 | 0.004 % |
11.45/11.57 c | 47278 | 160 13600 95200 | 2147483647 41781 48 | 0.004 % |
11.75/11.84 c | 47822 | 160 13600 95200 | 2147483647 42325 48 | 0.004 % |
12.06/12.11 c | 48419 | 160 13600 95200 | 2147483647 42922 48 | 0.004 % |
12.35/12.42 c | 49074 | 160 13600 95200 | 2147483647 43577 48 | 0.004 % |
12.35/12.49 c | 49175 | 160 13600 95200 | 2147483647 43678 48 | 0.004 % |
12.45/12.56 c | 49287 | 160 13600 95200 | 2147483647 43790 48 | 0.004 % |
12.55/12.63 c | 49408 | 160 13600 95200 | 2147483647 43911 48 | 0.004 % |
12.65/12.71 c | 49541 | 160 13600 95200 | 2147483647 44044 48 | 0.004 % |
12.75/12.81 c | 49689 | 160 13600 95200 | 2147483647 44192 48 | 0.004 % |
12.85/12.91 c | 49850 | 160 13600 95200 | 2147483647 44353 48 | 0.004 % |
12.95/13.01 c | 50028 | 160 13600 95200 | 2147483647 44531 48 | 0.004 % |
13.05/13.14 c | 50222 | 160 13600 95200 | 2147483647 44725 48 | 0.004 % |
13.15/13.26 c | 50434 | 160 13600 95200 | 2147483647 44937 48 | 0.004 % |
13.25/13.40 c | 50668 | 160 13600 95200 | 2147483647 45171 48 | 0.004 % |
13.44/13.52 c | 50924 | 160 13600 95200 | 2147483647 45427 48 | 0.004 % |
13.54/13.66 c | 51205 | 160 13600 95200 | 2147483647 45708 48 | 0.004 % |
13.74/13.81 c | 51517 | 160 13600 95200 | 2147483647 46020 48 | 0.004 % |
13.94/14.01 c | 51856 | 160 13600 95200 | 2147483647 46359 48 | 0.004 % |
14.15/14.24 c | 52229 | 160 13600 95200 | 2147483647 46732 48 | 0.004 % |
14.34/14.45 c | 52640 | 160 13600 95200 | 2147483647 47143 48 | 0.004 % |
14.54/14.68 c | 53091 | 160 13600 95200 | 2147483647 47594 48 | 0.004 % |
14.84/14.96 c | 53584 | 160 13600 95200 | 2147483647 48087 48 | 0.004 % |
15.14/15.29 c | 54127 | 160 13600 95200 | 2147483647 48630 48 | 0.004 % |
15.54/15.61 c | 54723 | 160 13600 95200 | 2147483647 49226 48 | 0.004 % |
15.84/15.96 c | 55378 | 160 13600 95200 | 2147483647 49881 48 | 0.004 % |
16.25/16.38 c | 56099 | 160 13600 95200 | 2147483647 50602 48 | 0.004 % |
16.36/16.46 c | 56199 | 160 13600 95200 | 2147483647 50702 48 | 0.004 % |
16.46/16.53 c | 56309 | 160 13600 95200 | 2147483647 50812 48 | 0.004 % |
16.55/16.61 c | 56432 | 160 13600 95200 | 2147483647 50935 48 | 0.004 % |
16.55/16.70 c | 56566 | 160 13600 95200 | 2147483647 51069 48 | 0.004 % |
16.75/16.81 c | 56712 | 160 13600 95200 | 2147483647 51215 48 | 0.004 % |
16.85/16.91 c | 56875 | 160 13600 95200 | 2147483647 51378 48 | 0.004 % |
16.95/17.03 c | 57052 | 160 13600 95200 | 2147483647 51555 48 | 0.004 % |
17.15/17.20 c | 57246 | 160 13600 95200 | 2147483647 51749 48 | 0.004 % |
17.25/17.35 c | 57461 | 160 13600 95200 | 2147483647 51964 48 | 0.004 % |
17.46/17.51 c | 57696 | 160 13600 95200 | 2147483647 52199 48 | 0.004 % |
17.56/17.68 c | 57952 | 160 13600 95200 | 2147483647 52455 48 | 0.004 % |
17.75/17.85 c | 58234 | 160 13600 95200 | 2147483647 52737 48 | 0.004 % |
17.95/18.03 c | 58544 | 160 13600 95200 | 2147483647 53047 48 | 0.004 % |
18.15/18.29 c | 58883 | 160 13600 95200 | 2147483647 53386 48 | 0.004 % |
18.45/18.54 c | 59256 | 160 13600 95200 | 2147483647 53759 48 | 0.004 % |
18.75/18.81 c | 59665 | 160 13600 95200 | 2147483647 54168 48 | 0.004 % |
18.95/19.06 c | 60114 | 160 13600 95200 | 2147483647 54617 48 | 0.004 % |
19.25/19.37 c | 60608 | 160 13600 95200 | 2147483647 55111 48 | 0.004 % |
19.55/19.68 c | 61150 | 160 13600 95200 | 2147483647 55653 48 | 0.004 % |
19.95/20.05 c | 61746 | 160 13600 95200 | 2147483647 56249 48 | 0.004 % |
20.35/20.45 c | 62402 | 160 13600 95200 | 2147483647 56905 48 | 0.004 % |
20.75/20.87 c | 63122 | 160 13600 95200 | 2147483647 57625 48 | 0.004 % |
21.25/21.35 c | 63915 | 160 13600 95200 | 2147483647 58418 48 | 0.004 % |
21.35/21.41 c | 64016 | 160 13600 95200 | 2147483647 58519 48 | 0.004 % |
21.45/21.52 c | 64127 | 160 13600 95200 | 2147483647 58630 48 | 0.004 % |
21.45/21.60 c | 64249 | 160 13600 95200 | 2147483647 58752 48 | 0.004 % |
21.54/21.69 c | 64382 | 160 13600 95200 | 2147483647 58885 48 | 0.004 % |
21.74/21.80 c | 64528 | 160 13600 95200 | 2147483647 59031 48 | 0.004 % |
21.85/21.94 c | 64689 | 160 13600 95200 | 2147483647 59192 48 | 0.004 % |
21.95/22.08 c | 64865 | 160 13600 95200 | 2147483647 59368 48 | 0.004 % |
22.14/22.21 c | 65060 | 160 13600 95200 | 2147483647 59563 48 | 0.004 % |
22.34/22.40 c | 65272 | 160 13600 95200 | 2147483647 59775 48 | 0.004 % |
22.44/22.59 c | 65505 | 160 13600 95200 | 2147483647 60008 48 | 0.004 % |
22.64/22.79 c | 65761 | 160 13600 95200 | 2147483647 60264 48 | 0.004 % |
22.94/23.01 c | 66044 | 160 13600 95200 | 2147483647 60547 48 | 0.004 % |
23.14/23.29 c | 66354 | 160 13600 95200 | 2147483647 60857 48 | 0.004 % |
23.44/23.53 c | 66693 | 160 13600 95200 | 2147483647 61196 48 | 0.004 % |
23.64/23.79 c | 67065 | 160 13600 95200 | 2147483647 61568 48 | 0.004 % |
24.04/24.10 c | 67474 | 160 13600 95200 | 2147483647 61977 48 | 0.004 % |
24.34/24.40 c | 67924 | 160 13600 95200 | 2147483647 62427 48 | 0.004 % |
24.65/24.73 c | 68417 | 160 13600 95200 | 2147483647 62920 48 | 0.004 % |
24.95/25.07 c | 68959 | 160 13600 95200 | 2147483647 63462 48 | 0.004 % |
25.35/25.47 c | 69556 | 160 13600 95200 | 2147483647 64059 48 | 0.004 % |
25.95/26.09 c | 70212 | 160 13600 95200 | 64503 57222 48 | 0.004 % |
26.54/26.61 c | 70933 | 160 13600 95200 | 64503 57943 48 | 0.004 % |
27.04/27.11 c | 71725 | 160 13600 95200 | 64503 58735 48 | 0.004 % |
27.54/27.64 c | 72596 | 160 13600 95200 | 64503 59606 48 | 0.004 % |
27.64/27.73 c | 72696 | 160 13600 95200 | 64503 59706 48 | 0.004 % |
27.74/27.81 c | 72806 | 160 13600 95200 | 64503 59816 48 | 0.004 % |
27.84/27.90 c | 72927 | 160 13600 95200 | 64503 59937 48 | 0.004 % |
27.94/28.00 c | 73060 | 160 13600 95200 | 64503 60070 48 | 0.004 % |
28.04/28.12 c | 73206 | 160 13600 95200 | 64503 60216 48 | 0.004 % |
28.14/28.27 c | 73366 | 160 13600 95200 | 64503 60376 48 | 0.004 % |
28.34/28.41 c | 73543 | 160 13600 95200 | 64503 60553 48 | 0.004 % |
28.45/28.57 c | 73736 | 160 13600 95200 | 64503 60746 48 | 0.004 % |
28.64/28.71 c | 73948 | 160 13600 95200 | 64503 60958 48 | 0.004 % |
28.74/28.88 c | 74182 | 160 13600 95200 | 64503 61192 48 | 0.004 % |
28.94/29.06 c | 74438 | 160 13600 95200 | 64503 61448 48 | 0.004 % |
29.14/29.25 c | 74720 | 160 13600 95200 | 64503 61730 48 | 0.004 % |
29.34/29.47 c | 75029 | 160 13600 95200 | 64503 62039 48 | 0.004 % |
29.65/29.77 c | 75368 | 160 13600 95200 | 64503 62378 48 | 0.004 % |
29.94/30.05 c | 75741 | 160 13600 95200 | 64503 62751 48 | 0.004 % |
30.24/30.36 c | 76151 | 160 13600 95200 | 64503 63161 48 | 0.004 % |
30.54/30.68 c | 76600 | 160 13600 95200 | 64503 63610 48 | 0.004 % |
30.94/31.04 c | 77094 | 160 13600 95200 | 64503 64104 48 | 0.004 % |
31.54/31.63 c | 77636 | 160 13600 95200 | 64503 55536 48 | 0.004 % |
31.94/32.00 c | 78232 | 160 13600 95200 | 64503 56132 48 | 0.004 % |
32.34/32.43 c | 78887 | 160 13600 95200 | 64503 56787 48 | 0.004 % |
32.74/32.85 c | 79608 | 160 13600 95200 | 64503 57508 48 | 0.004 % |
33.24/33.36 c | 80401 | 160 13600 95200 | 57901 50546 48 | 0.004 % |
33.74/33.83 c | 81274 | 160 13600 95200 | 57901 51419 48 | 0.004 % |
34.24/34.36 c | 82232 | 160 13600 95200 | 57901 52377 48 | 0.004 % |
34.34/34.42 c | 82332 | 160 13600 95200 | 57901 52477 48 | 0.004 % |
34.34/34.49 c | 82442 | 160 13600 95200 | 57901 52587 48 | 0.004 % |
34.43/34.57 c | 82565 | 160 13600 95200 | 57901 52710 48 | 0.004 % |
34.53/34.69 c | 82699 | 160 13600 95200 | 57901 52844 48 | 0.004 % |
34.63/34.79 c | 82845 | 160 13600 95200 | 57901 52990 48 | 0.004 % |
34.73/34.89 c | 83008 | 160 13600 95200 | 57901 53153 48 | 0.004 % |
34.93/35.02 c | 83184 | 160 13600 95200 | 57901 53329 48 | 0.004 % |
35.03/35.16 c | 83377 | 160 13600 95200 | 57901 53522 48 | 0.004 % |
35.23/35.30 c | 83589 | 160 13600 95200 | 57901 53734 48 | 0.004 % |
35.33/35.48 c | 83823 | 160 13600 95200 | 57901 53968 48 | 0.004 % |
35.53/35.65 c | 84079 | 160 13600 95200 | 57901 54224 48 | 0.004 % |
35.73/35.85 c | 84361 | 160 13600 95200 | 57901 54506 48 | 0.004 % |
35.93/36.03 c | 84670 | 160 13600 95200 | 57901 54815 48 | 0.004 % |
36.13/36.20 c | 85011 | 160 13600 95200 | 57901 55156 48 | 0.004 % |
36.43/36.50 c | 85384 | 160 13600 95200 | 57901 55529 48 | 0.004 % |
36.63/36.77 c | 85793 | 160 13600 95200 | 57901 55938 48 | 0.004 % |
36.93/37.06 c | 86242 | 160 13600 95200 | 57901 56387 48 | 0.004 % |
37.23/37.38 c | 86736 | 160 13600 95200 | 57901 56881 48 | 0.004 % |
37.63/37.74 c | 87279 | 160 13600 95200 | 57901 57424 48 | 0.004 % |
38.03/38.19 c | 87875 | 160 13600 95200 | 57901 51791 48 | 0.004 % |
38.43/38.54 c | 88531 | 160 13600 95200 | 57901 52447 48 | 0.004 % |
38.83/38.99 c | 89256 | 160 13600 95200 | 57901 53172 48 | 0.004 % |
39.43/39.51 c | 90049 | 160 13600 95200 | 53916 53965 48 | 0.004 % |
39.93/40.04 c | 90920 | 160 13600 95200 | 53916 49227 48 | 0.004 % |
40.43/40.60 c | 91878 | 160 13600 95200 | 53916 50185 48 | 0.004 % |
41.13/41.25 c | 92931 | 160 13600 95200 | 53916 51238 48 | 0.004 % |
41.23/41.31 c | 93031 | 160 13600 95200 | 53916 51338 48 | 0.004 % |
41.33/41.40 c | 93142 | 160 13600 95200 | 53916 51449 48 | 0.004 % |
41.33/41.48 c | 93263 | 160 13600 95200 | 53916 51570 48 | 0.004 % |
41.43/41.57 c | 93396 | 160 13600 95200 | 53916 51703 48 | 0.004 % |
41.53/41.66 c | 93542 | 160 13600 95200 | 53916 51849 48 | 0.004 % |
41.63/41.78 c | 93702 | 160 13600 95200 | 53916 52009 48 | 0.004 % |
41.83/41.92 c | 93878 | 160 13600 95200 | 53916 52185 48 | 0.004 % |
41.93/42.06 c | 94072 | 160 13600 95200 | 53916 52379 48 | 0.004 % |
42.13/42.24 c | 94287 | 160 13600 95200 | 53916 52594 48 | 0.004 % |
42.33/42.42 c | 94520 | 160 13600 95200 | 53916 52827 48 | 0.004 % |
42.53/42.61 c | 94776 | 160 13600 95200 | 53916 53083 48 | 0.004 % |
42.73/42.81 c | 95058 | 160 13600 95200 | 53916 53365 48 | 0.004 % |
42.93/43.03 c | 95367 | 160 13600 95200 | 53916 53674 48 | 0.004 % |
43.13/43.28 c | 95707 | 160 13600 95200 | 53916 48615 48 | 0.004 % |
43.33/43.48 c | 96079 | 160 13600 95200 | 53916 48987 48 | 0.004 % |
43.63/43.77 c | 96488 | 160 13600 95200 | 53916 49396 48 | 0.004 % |
43.93/44.04 c | 96938 | 160 13600 95200 | 53916 49846 48 | 0.004 % |
44.23/44.31 c | 97431 | 160 13600 95200 | 53916 50339 48 | 0.004 % |
44.53/44.64 c | 97974 | 160 13600 95200 | 53916 50882 48 | 0.004 % |
44.83/44.98 c | 98571 | 160 13600 95200 | 53916 51479 48 | 0.004 % |
45.33/45.42 c | 99228 | 160 13600 95200 | 53916 52136 48 | 0.004 % |
45.73/45.84 c | 99950 | 160 13600 95200 | 53916 52858 48 | 0.004 % |
46.22/46.36 c | 100742 | 160 13600 95200 | 2147483647 53650 48 | 0.004 % |
46.83/46.91 c | 101614 | 160 13600 95200 | 2147483647 54522 48 | 0.004 % |
47.33/47.48 c | 102574 | 160 13600 95200 | 2147483647 55482 48 | 0.004 % |
48.02/48.19 c | 103630 | 160 13600 95200 | 2147483647 56538 48 | 0.004 % |
48.82/48.94 c | 104788 | 160 13600 95200 | 2147483647 57696 48 | 0.004 % |
48.92/49.01 c | 104888 | 160 13600 95200 | 2147483647 57796 48 | 0.004 % |
48.92/49.08 c | 105000 | 160 13600 95200 | 2147483647 57908 48 | 0.004 % |
49.02/49.19 c | 105121 | 160 13600 95200 | 2147483647 58029 48 | 0.004 % |
49.22/49.31 c | 105254 | 160 13600 95200 | 2147483647 58162 48 | 0.004 % |
49.33/49.42 c | 105402 | 160 13600 95200 | 2147483647 58310 48 | 0.004 % |
49.43/49.55 c | 105563 | 160 13600 95200 | 2147483647 58471 48 | 0.004 % |
49.62/49.71 c | 105739 | 160 13600 95200 | 2147483647 58647 48 | 0.004 % |
49.72/49.85 c | 105932 | 160 13600 95200 | 2147483647 58840 48 | 0.004 % |
49.82/49.99 c | 106147 | 160 13600 95200 | 2147483647 59055 48 | 0.004 % |
50.02/50.12 c | 106383 | 160 13600 95200 | 2147483647 59291 48 | 0.004 % |
50.12/50.28 c | 106640 | 160 13600 95200 | 2147483647 59548 48 | 0.004 % |
50.32/50.47 c | 106922 | 160 13600 95200 | 2147483647 59830 48 | 0.004 % |
50.52/50.66 c | 107231 | 160 13600 95200 | 2147483647 60139 48 | 0.004 % |
50.72/50.88 c | 107572 | 160 13600 95200 | 2147483647 60480 48 | 0.004 % |
51.02/51.19 c | 107945 | 160 13600 95200 | 2147483647 60853 48 | 0.004 % |
51.42/51.53 c | 108356 | 160 13600 95200 | 2147483647 61264 48 | 0.004 % |
51.72/51.87 c | 108806 | 160 13600 95200 | 2147483647 61714 48 | 0.004 % |
52.12/52.23 c | 109299 | 160 13600 95200 | 2147483647 62207 48 | 0.004 % |
52.52/52.63 c | 109841 | 160 13600 95200 | 2147483647 62749 48 | 0.004 % |
53.02/53.11 c | 110439 | 160 13600 95200 | 62908 55742 48 | 0.004 % |
53.42/53.52 c | 111095 | 160 13600 95200 | 62908 56398 48 | 0.004 % |
53.92/54.06 c | 111815 | 160 13600 95200 | 62908 57118 48 | 0.004 % |
54.42/54.55 c | 112607 | 160 13600 95200 | 62908 57910 48 | 0.004 % |
55.02/55.12 c | 113481 | 160 13600 95200 | 62908 58784 48 | 0.004 % |
55.62/55.71 c | 114440 | 160 13600 95200 | 62908 59743 48 | 0.004 % |
56.22/56.33 c | 115493 | 160 13600 95200 | 62908 60796 48 | 0.004 % |
56.92/57.06 c | 116651 | 160 13600 95200 | 62908 61954 48 | 0.004 % |
57.72/57.90 c | 117926 | 160 13600 95200 | 62908 55583 48 | 0.004 % |
57.82/57.95 c | 118027 | 160 13600 95200 | 62908 55684 48 | 0.004 % |
57.91/58.05 c | 118138 | 160 13600 95200 | 62908 55795 48 | 0.004 % |
58.01/58.15 c | 118260 | 160 13600 95200 | 62908 55917 48 | 0.004 % |
58.12/58.25 c | 118393 | 160 13600 95200 | 62908 56050 48 | 0.004 % |
58.22/58.35 c | 118540 | 160 13600 95200 | 62908 56197 48 | 0.004 % |
58.31/58.47 c | 118702 | 160 13600 95200 | 62908 56359 48 | 0.004 % |
58.41/58.59 c | 118878 | 160 13600 95200 | 62908 56535 48 | 0.004 % |
58.61/58.74 c | 119072 | 160 13600 95200 | 62908 56729 48 | 0.004 % |
58.81/58.91 c | 119286 | 160 13600 95200 | 62908 56943 48 | 0.004 % |
58.91/59.09 c | 119520 | 160 13600 95200 | 62908 57177 48 | 0.004 % |
59.22/59.30 c | 119776 | 160 13600 95200 | 62908 57433 48 | 0.004 % |
59.41/59.53 c | 120058 | 160 13600 95200 | 57660 57715 48 | 0.004 % |
59.61/59.78 c | 120368 | 160 13600 95200 | 57660 50884 48 | 0.004 % |
59.91/60.01 c | 120708 | 160 13600 95200 | 57660 51224 48 | 0.004 % |
60.11/60.24 c | 121080 | 160 13600 95200 | 57660 51596 48 | 0.004 % |
60.42/60.51 c | 121489 | 160 13600 95200 | 57660 52005 48 | 0.004 % |
60.61/60.79 c | 121939 | 160 13600 95200 | 57660 52455 48 | 0.004 % |
61.01/61.11 c | 122432 | 160 13600 95200 | 57660 52948 48 | 0.004 % |
61.31/61.46 c | 122974 | 160 13600 95200 | 57660 53490 48 | 0.004 % |
61.71/61.81 c | 123570 | 160 13600 95200 | 57660 54086 48 | 0.004 % |
62.11/62.29 c | 124225 | 160 13600 95200 | 57660 54741 48 | 0.004 % |
62.71/62.80 c | 124946 | 160 13600 95200 | 57660 55462 48 | 0.004 % |
63.21/63.31 c | 125740 | 160 13600 95200 | 57660 56256 48 | 0.004 % |
63.81/63.91 c | 126611 | 160 13600 95200 | 57660 57127 48 | 0.004 % |
64.41/64.53 c | 127570 | 160 13600 95200 | 57660 51886 48 | 0.004 % |
65.01/65.19 c | 128623 | 160 13600 95200 | 57660 52939 48 | 0.004 % |
65.71/65.85 c | 129782 | 160 13600 95200 | 57660 54098 48 | 0.004 % |
66.41/66.59 c | 131055 | 160 13600 95200 | 54318 49795 48 | 0.004 % |
67.21/67.40 c | 132455 | 160 13600 95200 | 54318 51195 48 | 0.004 % |
67.31/67.47 c | 132555 | 160 13600 95200 | 54318 51295 48 | 0.004 % |
67.41/67.56 c | 132665 | 160 13600 95200 | 54318 51405 48 | 0.004 % |
67.51/67.64 c | 132786 | 160 13600 95200 | 54318 51526 48 | 0.004 % |
67.61/67.74 c | 132919 | 160 13600 95200 | 54318 51659 48 | 0.004 % |
67.71/67.83 c | 133067 | 160 13600 95200 | 54318 51807 48 | 0.004 % |
67.81/67.95 c | 133229 | 160 13600 95200 | 54318 51969 48 | 0.004 % |
67.91/68.07 c | 133405 | 160 13600 95200 | 54318 52145 48 | 0.004 % |
68.01/68.20 c | 133598 | 160 13600 95200 | 54318 52338 48 | 0.004 % |
68.21/68.35 c | 133810 | 160 13600 95200 | 54318 52550 48 | 0.004 % |
68.41/68.51 c | 134046 | 160 13600 95200 | 54318 52786 48 | 0.004 % |
68.51/68.68 c | 134303 | 160 13600 95200 | 54318 53043 48 | 0.004 % |
68.71/68.86 c | 134584 | 160 13600 95200 | 54318 53324 48 | 0.004 % |
69.01/69.10 c | 134893 | 160 13600 95200 | 54318 53633 48 | 0.004 % |
69.21/69.36 c | 135232 | 160 13600 95200 | 54318 53972 48 | 0.004 % |
69.51/69.60 c | 135606 | 160 13600 95200 | 54318 54346 48 | 0.004 % |
69.71/69.87 c | 136015 | 160 13600 95200 | 54318 49321 48 | 0.004 % |
70.01/70.17 c | 136466 | 160 13600 95200 | 54318 49772 48 | 0.004 % |
70.31/70.46 c | 136962 | 160 13600 95200 | 54318 50268 48 | 0.004 % |
70.61/70.78 c | 137506 | 160 13600 95200 | 54318 50812 48 | 0.004 % |
71.11/71.21 c | 138104 | 160 13600 95200 | 54318 51410 48 | 0.004 % |
71.41/71.58 c | 138760 | 160 13600 95200 | 54318 52066 48 | 0.004 % |
71.81/71.97 c | 139480 | 160 13600 95200 | 54318 52786 48 | 0.004 % |
72.31/72.44 c | 140272 | 160 13600 95200 | 2147483647 53578 48 | 0.004 % |
72.71/72.89 c | 141145 | 160 13600 95200 | 2147483647 54451 48 | 0.004 % |
73.21/73.40 c | 142105 | 160 13600 95200 | 2147483647 55411 48 | 0.004 % |
73.80/73.98 c | 143160 | 160 13600 95200 | 2147483647 56466 48 | 0.004 % |
74.50/74.68 c | 144320 | 160 13600 95200 | 2147483647 57626 48 | 0.004 % |
75.30/75.46 c | 145593 | 160 13600 95200 | 2147483647 58899 48 | 0.004 % |
76.40/76.53 c | 146993 | 160 13600 95200 | 2147483647 60299 48 | 0.004 % |
77.50/77.62 c | 148534 | 160 13600 95200 | 2147483647 61840 48 | 0.004 % |
77.60/77.71 c | 148634 | 160 13600 95200 | 2147483647 61940 48 | 0.004 % |
77.70/77.80 c | 148745 | 160 13600 95200 | 2147483647 62051 48 | 0.004 % |
77.80/77.90 c | 148868 | 160 13600 95200 | 2147483647 62174 48 | 0.004 % |
77.80/77.99 c | 149001 | 160 13600 95200 | 2147483647 62307 48 | 0.004 % |
78.01/78.12 c | 149147 | 160 13600 95200 | 2147483647 62453 48 | 0.004 % |
78.10/78.26 c | 149308 | 160 13600 95200 | 2147483647 62614 48 | 0.004 % |
78.30/78.40 c | 149484 | 160 13600 95200 | 2147483647 62790 48 | 0.004 % |
78.40/78.56 c | 149677 | 160 13600 95200 | 2147483647 62983 48 | 0.004 % |
78.60/78.72 c | 149889 | 160 13600 95200 | 2147483647 63195 48 | 0.004 % |
78.80/78.94 c | 150125 | 160 13600 95200 | 63306 56059 48 | 0.004 % |
78.90/79.08 c | 150383 | 160 13600 95200 | 63306 56317 48 | 0.004 % |
79.10/79.26 c | 150664 | 160 13600 95200 | 63306 56598 48 | 0.004 % |
79.30/79.43 c | 150973 | 160 13600 95200 | 63306 56907 48 | 0.004 % |
79.50/79.65 c | 151314 | 160 13600 95200 | 63306 57248 48 | 0.004 % |
79.70/79.89 c | 151686 | 160 13600 95200 | 63306 57620 48 | 0.004 % |
80.00/80.16 c | 152096 | 160 13600 95200 | 63306 58030 48 | 0.004 % |
80.40/80.51 c | 152545 | 160 13600 95200 | 63306 58479 48 | 0.004 % |
80.80/80.90 c | 153039 | 160 13600 95200 | 63306 58973 48 | 0.004 % |
81.20/81.30 c | 153581 | 160 13600 95200 | 63306 59515 48 | 0.004 % |
81.60/81.77 c | 154177 | 160 13600 95200 | 63306 60111 48 | 0.004 % |
82.10/82.28 c | 154833 | 160 13600 95200 | 63306 60767 48 | 0.004 % |
82.60/82.76 c | 155555 | 160 13600 95200 | 63306 61489 48 | 0.004 % |
83.20/83.37 c | 156347 | 160 13600 95200 | 63306 62281 48 | 0.004 % |
83.90/84.01 c | 157218 | 160 13600 95200 | 63306 63152 48 | 0.004 % |
84.50/84.69 c | 158176 | 160 13600 95200 | 63306 55718 48 | 0.004 % |
85.20/85.31 c | 159230 | 160 13600 95200 | 63306 56772 48 | 0.004 % |
85.90/86.06 c | 160388 | 160 13600 95200 | 57546 50690 48 | 0.004 % |
86.60/86.77 c | 161661 | 160 13600 95200 | 57546 51963 48 | 0.004 % |
87.40/87.54 c | 163062 | 160 13600 95200 | 57546 53364 48 | 0.004 % |
88.50/88.63 c | 164603 | 160 13600 95200 | 57546 54905 48 | 0.004 % |
89.50/89.62 c | 166297 | 160 13600 95200 | 57546 56599 48 | 0.004 % |
89.50/89.69 c | 166397 | 160 13600 95200 | 57546 56699 48 | 0.004 % |
89.60/89.76 c | 166507 | 160 13600 95200 | 57546 56809 48 | 0.004 % |
89.70/89.88 c | 166628 | 160 13600 95200 | 57546 56930 48 | 0.004 % |
89.80/89.98 c | 166761 | 160 13600 95200 | 57546 57063 48 | 0.004 % |
89.90/90.10 c | 166907 | 160 13600 95200 | 57546 57209 48 | 0.004 % |
90.10/90.22 c | 167067 | 160 13600 95200 | 57546 57369 48 | 0.004 % |
90.20/90.37 c | 167244 | 160 13600 95200 | 57546 57546 48 | 0.004 % |
90.40/90.55 c | 167437 | 160 13600 95200 | 57546 51768 48 | 0.004 % |
90.50/90.68 c | 167650 | 160 13600 95200 | 57546 51981 48 | 0.004 % |
90.70/90.81 c | 167883 | 160 13600 95200 | 57546 52214 48 | 0.004 % |
90.80/90.98 c | 168139 | 160 13600 95200 | 57546 52470 48 | 0.004 % |
91.00/91.14 c | 168422 | 160 13600 95200 | 57546 52753 48 | 0.004 % |
91.20/91.34 c | 168731 | 160 13600 95200 | 57546 53062 48 | 0.004 % |
91.40/91.53 c | 169070 | 160 13600 95200 | 57546 53401 48 | 0.004 % |
91.70/91.83 c | 169444 | 160 13600 95200 | 57546 53775 48 | 0.004 % |
92.00/92.10 c | 169853 | 160 13600 95200 | 57546 54184 48 | 0.004 % |
92.30/92.42 c | 170304 | 160 13600 95200 | 54332 49054 48 | 0.004 % |
92.59/92.74 c | 170798 | 160 13600 95200 | 54332 49548 48 | 0.004 % |
92.89/93.07 c | 171340 | 160 13600 95200 | 54332 50090 48 | 0.004 % |
93.30/93.41 c | 171936 | 160 13600 95200 | 54332 50686 48 | 0.004 % |
93.59/93.77 c | 172591 | 160 13600 95200 | 54332 51341 48 | 0.004 % |
94.09/94.23 c | 173312 | 160 13600 95200 | 54332 52062 48 | 0.004 % |
94.50/94.69 c | 174104 | 160 13600 95200 | 54332 52854 48 | 0.004 % |
94.99/95.17 c | 174975 | 160 13600 95200 | 54332 53725 48 | 0.004 % |
95.60/95.75 c | 175934 | 160 13600 95200 | 54332 49244 48 | 0.004 % |
96.09/96.28 c | 176989 | 160 13600 95200 | 54332 50299 48 | 0.004 % |
96.70/96.89 c | 178147 | 160 13600 95200 | 54332 51457 48 | 0.004 % |
97.39/97.59 c | 179420 | 160 13600 95200 | 54332 52730 48 | 0.004 % |
98.19/98.40 c | 180820 | 160 13600 95200 | 2147483647 54130 48 | 0.004 % |
99.10/99.23 c | 182361 | 160 13600 95200 | 2147483647 55671 48 | 0.004 % |
100.10/100.26 c | 184055 | 160 13600 95200 | 2147483647 57365 48 | 0.004 % |
101.40/101.59 c | 185919 | 160 13600 95200 | 2147483647 59229 49 | 0.004 % |
101.50/101.67 c | 186021 | 160 13600 95200 | 2147483647 59331 49 | 0.004 % |
101.60/101.77 c | 186132 | 160 13600 95200 | 2147483647 59442 49 | 0.004 % |
101.70/101.85 c | 186254 | 160 13600 95200 | 2147483647 59564 49 | 0.004 % |
101.80/101.96 c | 186387 | 160 13600 95200 | 2147483647 59697 49 | 0.004 % |
101.90/102.07 c | 186533 | 160 13600 95200 | 2147483647 59843 49 | 0.004 % |
102.00/102.20 c | 186693 | 160 13600 95200 | 2147483647 60003 49 | 0.004 % |
102.20/102.33 c | 186870 | 160 13600 95200 | 2147483647 60180 48 | 0.004 % |
102.30/102.48 c | 187063 | 160 13600 95200 | 2147483647 60373 48 | 0.004 % |
102.50/102.66 c | 187276 | 160 13600 95200 | 2147483647 60586 48 | 0.004 % |
102.70/102.83 c | 187509 | 160 13600 95200 | 2147483647 60819 48 | 0.004 % |
102.90/103.06 c | 187765 | 160 13600 95200 | 2147483647 61075 48 | 0.004 % |
103.20/103.31 c | 188048 | 160 13600 95200 | 2147483647 61358 49 | 0.004 % |
103.40/103.57 c | 188358 | 160 13600 95200 | 2147483647 61668 48 | 0.004 % |
103.70/103.81 c | 188698 | 160 13600 95200 | 2147483647 62008 48 | 0.004 % |
103.90/104.08 c | 189070 | 160 13600 95200 | 2147483647 62380 48 | 0.004 % |
104.30/104.42 c | 189480 | 160 13600 95200 | 2147483647 62790 48 | 0.004 % |
104.60/104.76 c | 189930 | 160 13600 95200 | 2147483647 63240 48 | 0.004 % |
105.00/105.16 c | 190423 | 160 13600 95200 | 63310 56035 48 | 0.004 % |
105.40/105.51 c | 190966 | 160 13600 95200 | 63310 56578 48 | 0.004 % |
105.70/105.88 c | 191562 | 160 13600 95200 | 63310 57174 48 | 0.004 % |
106.20/106.39 c | 192218 | 160 13600 95200 | 63310 57830 48 | 0.004 % |
106.80/106.91 c | 192938 | 160 13600 95200 | 63310 58550 48 | 0.004 % |
107.30/107.48 c | 193731 | 160 13600 95200 | 63310 59343 48 | 0.004 % |
107.90/108.04 c | 194602 | 160 13600 95200 | 63310 60214 48 | 0.004 % |
108.49/108.69 c | 195561 | 160 13600 95200 | 63310 61173 48 | 0.004 % |
109.29/109.45 c | 196615 | 160 13600 95200 | 63310 62227 48 | 0.004 % |
110.19/110.38 c | 197775 | 160 13600 95200 | 63310 55074 48 | 0.004 % |
111.09/111.21 c | 199050 | 160 13600 95200 | 63310 56349 48 | 0.004 % |
112.00/112.16 c | 200450 | 160 13600 95200 | 57300 50350 48 | 0.004 % |
112.89/113.02 c | 201993 | 160 13600 95200 | 57300 51893 48 | 0.004 % |
113.79/113.98 c | 203689 | 160 13600 95200 | 57300 53589 48 | 0.004 % |
114.89/115.04 c | 205552 | 160 13600 95200 | 57300 55452 48 | 0.004 % |
116.19/116.37 c | 207602 | 160 13600 95200 | 57300 51766 48 | 0.004 % |
116.29/116.42 c | 207702 | 160 13600 95200 | 57300 51866 48 | 0.004 % |
116.29/116.49 c | 207813 | 160 13600 95200 | 57300 51977 48 | 0.004 % |
116.39/116.56 c | 207934 | 160 13600 95200 | 57300 52098 48 | 0.004 % |
116.49/116.64 c | 208067 | 160 13600 95200 | 57300 52231 48 | 0.004 % |
116.59/116.76 c | 208217 | 160 13600 95200 | 57300 52381 48 | 0.004 % |
116.69/116.86 c | 208377 | 160 13600 95200 | 57300 52541 48 | 0.004 % |
116.79/116.97 c | 208554 | 160 13600 95200 | 57300 52718 48 | 0.004 % |
116.99/117.10 c | 208748 | 160 13600 95200 | 57300 52912 48 | 0.004 % |
117.09/117.23 c | 208960 | 160 13600 95200 | 57300 53124 48 | 0.004 % |
117.19/117.36 c | 209193 | 160 13600 95200 | 57300 53357 48 | 0.004 % |
117.39/117.51 c | 209449 | 160 13600 95200 | 57300 53613 48 | 0.004 % |
117.49/117.68 c | 209732 | 160 13600 95200 | 57300 53896 48 | 0.004 % |
117.69/117.86 c | 210042 | 160 13600 95200 | 2147483647 54206 48 | 0.004 % |
117.99/118.15 c | 210385 | 160 13600 95200 | 2147483647 54549 48 | 0.004 % |
118.29/118.40 c | 210757 | 160 13600 95200 | 2147483647 54921 48 | 0.004 % |
118.49/118.67 c | 211169 | 160 13600 95200 | 2147483647 55333 48 | 0.004 % |
118.79/118.93 c | 211618 | 160 13600 95200 | 2147483647 55782 48 | 0.004 % |
119.09/119.23 c | 212111 | 160 13600 95200 | 2147483647 56275 48 | 0.004 % |
119.39/119.57 c | 212653 | 160 13600 95200 | 2147483647 56817 48 | 0.004 % |
119.79/119.95 c | 213249 | 160 13600 95200 | 2147483647 57413 48 | 0.004 % |
120.18/120.37 c | 213904 | 160 13600 95200 | 2147483647 58068 48 | 0.004 % |
120.68/120.82 c | 214625 | 160 13600 95200 | 2147483647 58789 48 | 0.004 % |
121.18/121.32 c | 215418 | 160 13600 95200 | 2147483647 59582 48 | 0.004 % |
121.68/121.86 c | 216289 | 160 13600 95200 | 2147483647 60453 48 | 0.004 % |
122.28/122.46 c | 217247 | 160 13600 95200 | 2147483647 61411 48 | 0.004 % |
122.99/123.11 c | 218300 | 160 13600 95200 | 2147483647 62464 48 | 0.004 % |
123.68/123.81 c | 219458 | 160 13600 95200 | 2147483647 63622 48 | 0.004 % |
124.48/124.65 c | 220731 | 160 13600 95200 | 64166 57667 49 | 0.004 % |
125.29/125.49 c | 222132 | 160 13600 95200 | 64166 59068 48 | 0.004 % |
126.29/126.43 c | 223672 | 160 13600 95200 | 64166 60608 48 | 0.004 % |
127.28/127.48 c | 225368 | 160 13600 95200 | 64166 62304 48 | 0.004 % |
128.49/128.65 c | 227231 | 160 13600 95200 | 64166 64167 48 | 0.004 % |
129.68/129.83 c | 229281 | 160 13600 95200 | 64166 58977 49 | 0.004 % |
130.98/131.17 c | 231536 | 160 13600 95200 | 59696 54758 49 | 0.004 % |
131.08/131.26 c | 231639 | 160 13600 95200 | 59696 54861 49 | 0.004 % |
131.18/131.33 c | 231751 | 160 13600 95200 | 59696 54973 49 | 0.004 % |
131.28/131.42 c | 231875 | 160 13600 95200 | 59696 55097 49 | 0.004 % |
131.38/131.50 c | 232008 | 160 13600 95200 | 59696 55230 49 | 0.004 % |
131.48/131.62 c | 232155 | 160 13600 95200 | 59696 55377 49 | 0.004 % |
131.58/131.74 c | 232315 | 160 13600 95200 | 59696 55537 49 | 0.004 % |
131.68/131.87 c | 232493 | 160 13600 95200 | 59696 55715 49 | 0.004 % |
131.78/132.00 c | 232687 | 160 13600 95200 | 59696 55909 49 | 0.004 % |
131.98/132.13 c | 232899 | 160 13600 95200 | 59696 56121 49 | 0.004 % |
132.08/132.28 c | 233133 | 160 13600 95200 | 59696 56355 49 | 0.004 % |
132.28/132.44 c | 233389 | 160 13600 95200 | 59696 56611 49 | 0.004 % |
132.48/132.62 c | 233670 | 160 13600 95200 | 59696 56892 49 | 0.004 % |
132.68/132.81 c | 233979 | 160 13600 95200 | 59696 57201 49 | 0.004 % |
132.88/133.02 c | 234319 | 160 13600 95200 | 59696 57541 49 | 0.004 % |
133.08/133.25 c | 234692 | 160 13600 95200 | 59696 57914 49 | 0.004 % |
133.38/133.52 c | 235103 | 160 13600 95200 | 59696 58325 49 | 0.004 % |
133.68/133.80 c | 235553 | 160 13600 95200 | 59696 58775 49 | 0.004 % |
133.98/134.15 c | 236047 | 160 13600 95200 | 59696 59269 49 | 0.004 % |
134.38/134.57 c | 236591 | 160 13600 95200 | 59696 53011 48 | 0.004 % |
134.78/134.94 c | 237189 | 160 13600 95200 | 59696 53609 48 | 0.004 % |
135.18/135.34 c | 237844 | 160 13600 95200 | 59696 54264 48 | 0.004 % |
135.58/135.78 c | 238566 | 160 13600 95200 | 59696 54986 48 | 0.004 % |
136.18/136.31 c | 239360 | 160 13600 95200 | 59696 55780 48 | 0.004 % |
136.68/136.86 c | 240232 | 160 13600 95200 | 56420 50329 48 | 0.004 % |
137.28/137.40 c | 241190 | 160 13600 95200 | 56420 51287 48 | 0.004 % |
137.78/137.96 c | 242243 | 160 13600 95200 | 56420 52340 48 | 0.004 % |
138.38/138.59 c | 243402 | 160 13600 95200 | 56420 53499 48 | 0.004 % |
139.07/139.30 c | 244677 | 160 13600 95200 | 56420 54774 48 | 0.004 % |
139.87/140.04 c | 246077 | 160 13600 95200 | 56420 56174 49 | 0.004 % |
140.87/141.03 c | 247617 | 160 13600 95200 | 56420 52065 48 | 0.004 % |
141.78/141.97 c | 249311 | 160 13600 95200 | 56420 53759 49 | 0.004 % |
142.88/143.06 c | 251174 | 160 13600 95200 | 2147483647 55622 49 | 0.004 % |
144.07/144.25 c | 253223 | 160 13600 95200 | 2147483647 57671 49 | 0.004 % |
145.47/145.65 c | 255478 | 160 13600 95200 | 2147483647 59926 49 | 0.004 % |
147.07/147.22 c | 257957 | 160 13600 95200 | 2147483647 62405 49 | 0.004 % |
147.07/147.29 c | 258058 | 160 13600 95200 | 2147483647 62506 49 | 0.004 % |
147.18/147.39 c | 258168 | 160 13600 95200 | 2147483647 62616 49 | 0.004 % |
147.37/147.50 c | 258289 | 160 13600 95200 | 2147483647 62737 49 | 0.004 % |
147.47/147.60 c | 258422 | 160 13600 95200 | 2147483647 62870 49 | 0.004 % |
147.57/147.72 c | 258568 | 160 13600 95200 | 2147483647 63016 49 | 0.004 % |
147.67/147.87 c | 258729 | 160 13600 95200 | 2147483647 63177 49 | 0.004 % |
147.77/148.00 c | 258905 | 160 13600 95200 | 2147483647 63353 49 | 0.004 % |
147.97/148.16 c | 259099 | 160 13600 95200 | 2147483647 63547 49 | 0.004 % |
148.17/148.32 c | 259312 | 160 13600 95200 | 2147483647 63760 49 | 0.004 % |
148.27/148.50 c | 259546 | 160 13600 95200 | 2147483647 63994 49 | 0.004 % |
148.57/148.74 c | 259802 | 160 13600 95200 | 2147483647 64250 49 | 0.004 % |
148.87/149.00 c | 260084 | 160 13600 95200 | 64449 57586 49 | 0.004 % |
149.07/149.23 c | 260395 | 160 13600 95200 | 64449 57897 49 | 0.004 % |
149.27/149.45 c | 260738 | 160 13600 95200 | 64449 58240 49 | 0.004 % |
149.47/149.67 c | 261111 | 160 13600 95200 | 64449 58613 49 | 0.004 % |
149.77/149.96 c | 261521 | 160 13600 95200 | 64449 59023 49 | 0.004 % |
150.07/150.28 c | 261971 | 160 13600 95200 | 64449 59473 49 | 0.004 % |
150.37/150.59 c | 262465 | 160 13600 95200 | 64449 59967 49 | 0.004 % |
150.77/150.95 c | 263007 | 160 13600 95200 | 64449 60509 49 | 0.004 % |
151.17/151.36 c | 263606 | 160 13600 95200 | 64449 61108 49 | 0.004 % |
151.57/151.77 c | 264262 | 160 13600 95200 | 64449 61764 49 | 0.004 % |
152.07/152.23 c | 264982 | 160 13600 95200 | 64449 62484 49 | 0.004 % |
152.57/152.74 c | 265774 | 160 13600 95200 | 64449 63276 49 | 0.004 % |
153.17/153.34 c | 266647 | 160 13600 95200 | 64449 64149 49 | 0.004 % |
153.77/153.99 c | 267607 | 160 13600 95200 | 64449 56759 49 | 0.004 % |
154.46/154.64 c | 268663 | 160 13600 95200 | 64449 57815 49 | 0.004 % |
155.16/155.37 c | 269823 | 160 13600 95200 | 64449 58975 49 | 0.004 % |
155.97/156.17 c | 271097 | 160 13600 95200 | 59152 52921 49 | 0.004 % |
156.86/157.01 c | 272497 | 160 13600 95200 | 59152 54321 49 | 0.004 % |
157.76/157.92 c | 274037 | 160 13600 95200 | 59152 55861 49 | 0.004 % |
158.86/159.02 c | 275732 | 160 13600 95200 | 59152 57556 49 | 0.004 % |
160.06/160.22 c | 277596 | 160 13600 95200 | 59152 52949 49 | 0.004 % |
161.26/161.44 c | 279646 | 160 13600 95200 | 59152 54999 49 | 0.004 % |
162.66/162.84 c | 281900 | 160 13600 95200 | 55353 51605 49 | 0.004 % |
164.06/164.25 c | 284380 | 160 13600 95200 | 55353 54085 48 | 0.004 % |
165.65/165.87 c | 287105 | 160 13600 95200 | 55353 51268 49 | 0.004 % |
165.75/165.93 c | 287207 | 160 13600 95200 | 55353 51370 49 | 0.004 % |
165.75/166.00 c | 287321 | 160 13600 95200 | 55353 51484 49 | 0.004 % |
165.86/166.08 c | 287444 | 160 13600 95200 | 55353 51607 49 | 0.004 % |
165.96/166.18 c | 287577 | 160 13600 95200 | 55353 51740 49 | 0.004 % |
166.15/166.31 c | 287723 | 160 13600 95200 | 55353 51886 49 | 0.004 % |
166.25/166.40 c | 287885 | 160 13600 95200 | 55353 52048 49 | 0.004 % |
166.35/166.52 c | 288062 | 160 13600 95200 | 55353 52225 49 | 0.004 % |
166.45/166.69 c | 288255 | 160 13600 95200 | 55353 52418 49 | 0.004 % |
166.65/166.85 c | 288470 | 160 13600 95200 | 55353 52633 49 | 0.004 % |
166.85/167.01 c | 288703 | 160 13600 95200 | 55353 52866 49 | 0.004 % |
166.96/167.18 c | 288960 | 160 13600 95200 | 55353 53123 49 | 0.004 % |
167.15/167.37 c | 289242 | 160 13600 95200 | 55353 53405 49 | 0.004 % |
167.35/167.55 c | 289553 | 160 13600 95200 | 55353 53716 49 | 0.004 % |
167.55/167.79 c | 289894 | 160 13600 95200 | 55353 54057 49 | 0.004 % |
167.85/168.05 c | 290267 | 160 13600 95200 | 2147483647 54430 49 | 0.004 % |
168.06/168.28 c | 290676 | 160 13600 95200 | 2147483647 54839 49 | 0.004 % |
168.35/168.55 c | 291125 | 160 13600 95200 | 2147483647 55288 49 | 0.004 % |
168.65/168.84 c | 291619 | 160 13600 95200 | 2147483647 55782 49 | 0.004 % |
168.95/169.17 c | 292162 | 160 13600 95200 | 2147483647 56325 49 | 0.004 % |
169.35/169.55 c | 292759 | 160 13600 95200 | 2147483647 56922 48 | 0.004 % |
169.75/169.93 c | 293414 | 160 13600 95200 | 2147483647 57577 49 | 0.004 % |
170.15/170.39 c | 294136 | 160 13600 95200 | 2147483647 58299 49 | 0.004 % |
170.75/170.91 c | 294932 | 160 13600 95200 | 2147483647 59095 49 | 0.004 % |
171.25/171.48 c | 295804 | 160 13600 95200 | 2147483647 59967 49 | 0.004 % |
171.95/172.15 c | 296764 | 160 13600 95200 | 2147483647 60927 49 | 0.004 % |
172.65/172.82 c | 297819 | 160 13600 95200 | 2147483647 61982 49 | 0.004 % |
173.35/173.56 c | 298977 | 160 13600 95200 | 2147483647 63140 48 | 0.004 % |
174.25/174.40 c | 300250 | 160 13600 95200 | 64163 57421 48 | 0.004 % |
175.15/175.31 c | 301650 | 160 13600 95200 | 64163 58821 48 | 0.004 % |
176.05/176.27 c | 303190 | 160 13600 95200 | 64163 60361 48 | 0.004 % |
177.15/177.37 c | 304884 | 160 13600 95200 | 64163 62055 48 | 0.004 % |
178.35/178.54 c | 306747 | 160 13600 95200 | 64163 63918 48 | 0.004 % |
179.55/179.76 c | 308796 | 160 13600 95200 | 64163 58579 48 | 0.004 % |
180.75/180.99 c | 311049 | 160 13600 95200 | 59785 54301 48 | 0.004 % |
182.35/182.58 c | 313527 | 160 13600 95200 | 59785 56779 48 | 0.004 % |
184.25/184.41 c | 316254 | 160 13600 95200 | 59785 59506 48 | 0.004 % |
186.05/186.27 c | 319251 | 160 13600 95200 | 59785 55744 49 | 0.004 % |
186.15/186.34 c | 319351 | 160 13600 95200 | 59785 55844 49 | 0.004 % |
186.25/186.41 c | 319462 | 160 13600 95200 | 59785 55955 49 | 0.004 % |
186.25/186.49 c | 319584 | 160 13600 95200 | 59785 56077 49 | 0.004 % |
186.45/186.61 c | 319717 | 160 13600 95200 | 59785 56210 49 | 0.004 % |
186.55/186.70 c | 319866 | 160 13600 95200 | 59785 56359 49 | 0.004 % |
186.65/186.82 c | 320029 | 160 13600 95200 | 56493 56522 49 | 0.004 % |
186.75/186.98 c | 320206 | 160 13600 95200 | 56493 50577 49 | 0.004 % |
186.85/187.09 c | 320399 | 160 13600 95200 | 56493 50770 49 | 0.004 % |
187.05/187.22 c | 320613 | 160 13600 95200 | 56493 50984 49 | 0.004 % |
187.15/187.35 c | 320846 | 160 13600 95200 | 56493 51217 49 | 0.004 % |
187.35/187.50 c | 321102 | 160 13600 95200 | 56493 51473 49 | 0.004 % |
187.45/187.65 c | 321383 | 160 13600 95200 | 56493 51754 49 | 0.004 % |
187.65/187.82 c | 321694 | 160 13600 95200 | 56493 52065 49 | 0.004 % |
187.85/188.01 c | 322033 | 160 13600 95200 | 56493 52404 49 | 0.004 % |
188.04/188.27 c | 322405 | 160 13600 95200 | 56493 52776 49 | 0.004 % |
188.34/188.54 c | 322814 | 160 13600 95200 | 56493 53185 49 | 0.004 % |
188.64/188.80 c | 323266 | 160 13600 95200 | 56493 53637 49 | 0.004 % |
188.95/189.13 c | 323763 | 160 13600 95200 | 56493 54134 49 | 0.004 % |
189.24/189.44 c | 324306 | 160 13600 95200 | 56493 54677 49 | 0.004 % |
189.64/189.81 c | 324902 | 160 13600 95200 | 56493 55273 49 | 0.004 % |
190.05/190.20 c | 325559 | 160 13600 95200 | 56493 55930 49 | 0.004 % |
190.54/190.73 c | 326279 | 160 13600 95200 | 56493 50994 49 | 0.004 % |
190.94/191.19 c | 327072 | 160 13600 95200 | 56493 51787 49 | 0.004 % |
191.54/191.72 c | 327943 | 160 13600 95200 | 56493 52658 49 | 0.004 % |
192.04/192.24 c | 328901 | 160 13600 95200 | 56493 53616 49 | 0.004 % |
192.64/192.86 c | 329954 | 160 13600 95200 | 56493 54669 49 | 0.004 % |
193.34/193.56 c | 331112 | 160 13600 95200 | 2147483647 55827 49 | 0.004 % |
194.14/194.33 c | 332385 | 160 13600 95200 | 2147483647 57100 49 | 0.004 % |
194.94/195.16 c | 333786 | 160 13600 95200 | 2147483647 58501 49 | 0.004 % |
195.84/196.07 c | 335327 | 160 13600 95200 | 2147483647 60042 49 | 0.004 % |
197.04/197.21 c | 337022 | 160 13600 95200 | 2147483647 61737 49 | 0.004 % |
198.34/198.54 c | 338885 | 160 13600 95200 | 2147483647 63600 49 | 0.004 % |
199.64/199.88 c | 340934 | 160 13600 95200 | 64716 57857 49 | 0.004 % |
201.04/201.29 c | 343187 | 160 13600 95200 | 64716 60110 49 | 0.004 % |
202.64/202.86 c | 345665 | 160 13600 95200 | 64716 62588 49 | 0.004 % |
204.44/204.61 c | 348391 | 160 13600 95200 | 64716 57687 49 | 0.004 % |
206.24/206.41 c | 351389 | 160 13600 95200 | 59297 53942 49 | 0.004 % |
207.94/208.19 c | 354686 | 160 13600 95200 | 59297 57239 49 | 0.004 % |
208.04/208.25 c | 354786 | 160 13600 95200 | 59297 57339 49 | 0.004 % |
208.14/208.32 c | 354898 | 160 13600 95200 | 59297 57451 49 | 0.004 % |
208.24/208.41 c | 355020 | 160 13600 95200 | 59297 57573 49 | 0.004 % |
208.34/208.52 c | 355154 | 160 13600 95200 | 59297 57707 49 | 0.004 % |
208.44/208.61 c | 355300 | 160 13600 95200 | 59297 57853 49 | 0.004 % |
208.54/208.73 c | 355462 | 160 13600 95200 | 59297 58015 49 | 0.004 % |
208.63/208.86 c | 355640 | 160 13600 95200 | 59297 58193 49 | 0.004 % |
208.74/208.99 c | 355835 | 160 13600 95200 | 59297 58388 49 | 0.004 % |
208.93/209.14 c | 356048 | 160 13600 95200 | 59297 58601 49 | 0.004 % |
209.14/209.33 c | 356282 | 160 13600 95200 | 59297 58835 49 | 0.004 % |
209.33/209.53 c | 356538 | 160 13600 95200 | 59297 59091 49 | 0.004 % |
209.53/209.75 c | 356821 | 160 13600 95200 | 59297 59374 49 | 0.004 % |
209.73/209.98 c | 357130 | 160 13600 95200 | 59297 53686 49 | 0.004 % |
210.03/210.20 c | 357469 | 160 13600 95200 | 59297 54025 49 | 0.004 % |
210.23/210.43 c | 357843 | 160 13600 95200 | 59297 54399 49 | 0.004 % |
210.43/210.67 c | 358252 | 160 13600 95200 | 59297 54808 49 | 0.004 % |
210.73/210.94 c | 358703 | 160 13600 95200 | 59297 55259 49 | 0.004 % |
211.03/211.22 c | 359197 | 160 13600 95200 | 59297 55753 49 | 0.004 % |
211.33/211.54 c | 359739 | 160 13600 95200 | 59297 56295 49 | 0.004 % |
211.63/211.89 c | 360336 | 160 13600 95200 | 2147483647 56892 49 | 0.004 % |
212.03/212.29 c | 360991 | 160 13600 95200 | 2147483647 57547 49 | 0.004 % |
212.53/212.74 c | 361711 | 160 13600 95200 | 2147483647 58267 49 | 0.004 % |
212.93/213.18 c | 362503 | 160 13600 95200 | 2147483647 59059 49 | 0.004 % |
213.63/213.89 c | 363374 | 160 13600 95200 | 2147483647 59930 49 | 0.004 % |
214.33/214.53 c | 364333 | 160 13600 95200 | 2147483647 60889 49 | 0.004 % |
214.93/215.19 c | 365386 | 160 13600 95200 | 2147483647 61942 49 | 0.004 % |
215.73/215.97 c | 366544 | 160 13600 95200 | 2147483647 63100 49 | 0.004 % |
216.63/216.88 c | 367818 | 160 13600 95200 | 2147483647 64374 49 | 0.004 % |
217.74/217.91 c | 369218 | 160 13600 95200 | 2147483647 65774 49 | 0.004 % |
218.83/219.02 c | 370758 | 160 13600 95200 | 66557 58673 49 | 0.004 % |
219.74/219.98 c | 372452 | 160 13600 95200 | 66557 60367 49 | 0.004 % |
220.84/221.08 c | 374316 | 160 13600 95200 | 66557 62231 49 | 0.004 % |
222.13/222.38 c | 376365 | 160 13600 95200 | 66557 64280 49 | 0.004 % |
223.83/224.00 c | 378618 | 160 13600 95200 | 66557 66533 49 | 0.004 % |
225.34/225.57 c | 381096 | 160 13600 95200 | 59297 52830 49 | 0.004 % |
226.83/227.08 c | 383821 | 160 13600 95200 | 59297 55555 49 | 0.004 % |
228.64/228.85 c | 386818 | 160 13600 95200 | 59297 58552 49 | 0.004 % |
230.73/230.96 c | 390115 | 160 13600 95200 | 55267 49449 49 | 0.004 % |
232.73/232.91 c | 393742 | 160 13600 95200 | 55267 53076 49 | 0.004 % |
232.73/232.97 c | 393842 | 160 13600 95200 | 55267 53176 49 | 0.004 % |
232.83/233.03 c | 393952 | 160 13600 95200 | 55267 53286 49 | 0.004 % |
232.93/233.12 c | 394073 | 160 13600 95200 | 55267 53407 49 | 0.004 % |
233.03/233.22 c | 394206 | 160 13600 95200 | 55267 53540 49 | 0.004 % |
233.03/233.30 c | 394352 | 160 13600 95200 | 55267 53686 49 | 0.004 % |
233.13/233.38 c | 394512 | 160 13600 95200 | 55267 53846 49 | 0.004 % |
233.33/233.51 c | 394689 | 160 13600 95200 | 55267 54023 49 | 0.004 % |
233.43/233.62 c | 394882 | 160 13600 95200 | 55267 54216 49 | 0.004 % |
233.53/233.76 c | 395094 | 160 13600 95200 | 55267 54428 49 | 0.004 % |
233.73/233.93 c | 395327 | 160 13600 95200 | 55267 54661 49 | 0.004 % |
233.93/234.10 c | 395585 | 160 13600 95200 | 55267 54919 49 | 0.004 % |
234.03/234.28 c | 395866 | 160 13600 95200 | 55267 55200 49 | 0.004 % |
234.33/234.51 c | 396176 | 160 13600 95200 | 55267 49977 49 | 0.004 % |
234.43/234.69 c | 396515 | 160 13600 95200 | 55267 50316 49 | 0.004 % |
234.73/234.90 c | 396887 | 160 13600 95200 | 55267 50688 49 | 0.004 % |
234.93/235.12 c | 397296 | 160 13600 95200 | 55267 51097 49 | 0.004 % |
235.14/235.39 c | 397746 | 160 13600 95200 | 55267 51547 49 | 0.004 % |
235.43/235.68 c | 398241 | 160 13600 95200 | 55267 52042 49 | 0.004 % |
235.73/235.98 c | 398784 | 160 13600 95200 | 55267 52585 49 | 0.004 % |
236.13/236.30 c | 399380 | 160 13600 95200 | 55267 53181 49 | 0.004 % |
236.43/236.68 c | 400035 | 160 13600 95200 | 2147483647 53836 49 | 0.004 % |
236.93/237.13 c | 400756 | 160 13600 95200 | 2147483647 54557 49 | 0.004 % |
237.43/237.63 c | 401548 | 160 13600 95200 | 2147483647 55349 49 | 0.004 % |
237.93/238.16 c | 402419 | 160 13600 95200 | 2147483647 56220 49 | 0.004 % |
238.53/238.76 c | 403377 | 160 13600 95200 | 2147483647 57178 49 | 0.004 % |
239.13/239.38 c | 404430 | 160 13600 95200 | 2147483647 58231 49 | 0.004 % |
239.93/240.16 c | 405588 | 160 13600 95200 | 2147483647 59389 49 | 0.004 % |
240.93/241.16 c | 406862 | 160 13600 95200 | 2147483647 60663 49 | 0.004 % |
241.93/242.14 c | 408263 | 160 13600 95200 | 2147483647 62064 49 | 0.004 % |
242.93/243.19 c | 409804 | 160 13600 95200 | 2147483647 63605 49 | 0.004 % |
244.13/244.31 c | 411498 | 160 13600 95200 | 63802 57839 49 | 0.004 % |
245.33/245.52 c | 413361 | 160 13600 95200 | 63802 59702 49 | 0.004 % |
246.62/246.88 c | 415412 | 160 13600 95200 | 63802 61753 49 | 0.004 % |
248.22/248.41 c | 417667 | 160 13600 95200 | 63802 56414 49 | 0.004 % |
249.82/250.02 c | 420145 | 160 13600 95200 | 58747 52028 49 | 0.004 % |
251.32/251.55 c | 422871 | 160 13600 95200 | 58747 54754 49 | 0.004 % |
253.12/253.33 c | 425869 | 160 13600 95200 | 58747 57752 49 | 0.004 % |
254.92/255.11 c | 429165 | 160 13600 95200 | 58747 55167 49 | 0.004 % |
257.02/257.27 c | 432792 | 160 13600 95200 | 2147483647 58794 49 | 0.004 % |
259.62/259.84 c | 436781 | 160 13600 95200 | 2147483647 62783 49 | 0.004 % |
259.72/259.91 c | 436881 | 160 13600 95200 | 2147483647 62883 49 | 0.004 % |
259.72/259.98 c | 436992 | 160 13600 95200 | 2147483647 62994 49 | 0.004 % |
259.82/260.08 c | 437114 | 160 13600 95200 | 2147483647 63116 49 | 0.004 % |
259.92/260.17 c | 437248 | 160 13600 95200 | 2147483647 63250 49 | 0.004 % |
260.02/260.27 c | 437394 | 160 13600 95200 | 2147483647 63396 49 | 0.004 % |
260.12/260.38 c | 437554 | 160 13600 95200 | 2147483647 63556 49 | 0.004 % |
260.32/260.56 c | 437731 | 160 13600 95200 | 2147483647 63733 49 | 0.004 % |
260.52/260.72 c | 437925 | 160 13600 95200 | 2147483647 63927 49 | 0.004 % |
260.62/260.89 c | 438137 | 160 13600 95200 | 2147483647 64139 49 | 0.004 % |
260.82/261.06 c | 438370 | 160 13600 95200 | 2147483647 64372 49 | 0.004 % |
261.02/261.25 c | 438626 | 160 13600 95200 | 2147483647 64628 49 | 0.004 % |
261.22/261.45 c | 438908 | 160 13600 95200 | 2147483647 64910 49 | 0.004 % |
261.42/261.68 c | 439217 | 160 13600 95200 | 2147483647 65219 49 | 0.004 % |
261.72/261.91 c | 439557 | 160 13600 95200 | 2147483647 65559 49 | 0.004 % |
262.02/262.24 c | 439930 | 160 13600 95200 | 2147483647 65932 49 | 0.004 % |
262.42/262.63 c | 440342 | 160 13600 95200 | 66002 58642 49 | 0.004 % |
262.72/262.91 c | 440792 | 160 13600 95200 | 66002 59092 49 | 0.004 % |
263.02/263.24 c | 441286 | 160 13600 95200 | 66002 59586 49 | 0.004 % |
263.32/263.59 c | 441828 | 160 13600 95200 | 66002 60128 49 | 0.004 % |
263.72/263.99 c | 442425 | 160 13600 95200 | 66002 60725 49 | 0.004 % |
264.21/264.42 c | 443080 | 160 13600 95200 | 66002 61380 49 | 0.004 % |
264.82/265.01 c | 443800 | 160 13600 95200 | 66002 62100 49 | 0.004 % |
265.31/265.54 c | 444592 | 160 13600 95200 | 66002 62892 49 | 0.004 % |
265.92/266.16 c | 445463 | 160 13600 95200 | 66002 63763 49 | 0.004 % |
266.51/266.77 c | 446422 | 160 13600 95200 | 66002 64722 49 | 0.004 % |
267.21/267.47 c | 447475 | 160 13600 95200 | 66002 65775 49 | 0.004 % |
268.01/268.22 c | 448634 | 160 13600 95200 | 66002 58214 48 | 0.004 % |
268.71/268.95 c | 449907 | 160 13600 95200 | 66002 59487 48 | 0.004 % |
269.52/269.75 c | 451307 | 160 13600 95200 | 59583 53488 48 | 0.004 % |
270.42/270.67 c | 452847 | 160 13600 95200 | 59583 55028 48 | 0.004 % |
271.42/271.70 c | 454541 | 160 13600 95200 | 59583 56722 49 | 0.004 % |
272.62/272.85 c | 456404 | 160 13600 95200 | 59583 58585 49 | 0.004 % |
273.91/274.14 c | 458453 | 160 13600 95200 | 59583 54615 49 | 0.004 % |
275.11/275.36 c | 460707 | 160 13600 95200 | 2147483647 56869 48 | 0.004 % |
276.51/276.78 c | 463186 | 160 13600 95200 | 2147483647 59348 49 | 0.004 % |
278.11/278.33 c | 465911 | 160 13600 95200 | 2147483647 62073 49 | 0.004 % |
279.91/280.19 c | 468908 | 160 13600 95200 | 2147483647 65070 49 | 0.004 % |
282.21/282.43 c | 472205 | 160 13600 95200 | 66162 61425 49 | 0.004 % |
284.61/284.81 c | 475833 | 160 13600 95200 | 66162 65053 49 | 0.004 % |
287.31/287.56 c | 479820 | 160 13600 95200 | 66162 60640 49 | 0.004 % |
289.91/290.17 c | 484206 | 160 13600 95200 | 60820 57512 49 | 0.004 % |
290.01/290.24 c | 484307 | 160 13600 95200 | 60820 57613 49 | 0.004 % |
290.11/290.33 c | 484418 | 160 13600 95200 | 60820 57724 49 | 0.004 % |
290.21/290.43 c | 484540 | 160 13600 95200 | 60820 57846 49 | 0.004 % |
290.31/290.53 c | 484673 | 160 13600 95200 | 60820 57979 49 | 0.004 % |
290.41/290.62 c | 484820 | 160 13600 95200 | 60820 58126 49 | 0.004 % |
290.51/290.73 c | 484981 | 160 13600 95200 | 60820 58287 49 | 0.004 % |
290.61/290.86 c | 485158 | 160 13600 95200 | 60820 58464 49 | 0.004 % |
290.71/290.98 c | 485352 | 160 13600 95200 | 60820 58658 49 | 0.004 % |
290.91/291.14 c | 485566 | 160 13600 95200 | 60820 58872 49 | 0.004 % |
291.11/291.32 c | 485801 | 160 13600 95200 | 60820 59107 49 | 0.004 % |
291.21/291.49 c | 486057 | 160 13600 95200 | 60820 59363 49 | 0.004 % |
291.50/291.70 c | 486339 | 160 13600 95200 | 60820 59645 49 | 0.004 % |
291.70/291.90 c | 486650 | 160 13600 95200 | 60820 59956 49 | 0.004 % |
291.90/292.15 c | 486990 | 160 13600 95200 | 60820 60296 49 | 0.004 % |
292.10/292.39 c | 487363 | 160 13600 95200 | 60820 60669 49 | 0.004 % |
292.41/292.69 c | 487772 | 160 13600 95200 | 60820 54371 49 | 0.004 % |
292.70/292.95 c | 488222 | 160 13600 95200 | 60820 54821 49 | 0.004 % |
293.00/293.23 c | 488716 | 160 13600 95200 | 60820 55315 49 | 0.004 % |
293.30/293.54 c | 489259 | 160 13600 95200 | 60820 55858 49 | 0.004 % |
293.60/293.88 c | 489858 | 160 13600 95200 | 60820 56457 49 | 0.004 % |
294.00/294.30 c | 490514 | 160 13600 95200 | 56602 51093 49 | 0.004 % |
294.51/294.72 c | 491234 | 160 13600 95200 | 56602 51813 49 | 0.004 % |
294.90/295.16 c | 492026 | 160 13600 95200 | 56602 52605 49 | 0.004 % |
295.40/295.68 c | 492897 | 160 13600 95200 | 56602 53476 49 | 0.004 % |
295.90/296.18 c | 493855 | 160 13600 95200 | 56602 54434 49 | 0.004 % |
296.50/296.74 c | 494909 | 160 13600 95200 | 56602 55488 49 | 0.004 % |
297.10/297.37 c | 496068 | 160 13600 95200 | 56602 56647 49 | 0.004 % |
298.00/298.22 c | 497342 | 160 13600 95200 | 56602 52257 49 | 0.004 % |
298.80/299.00 c | 498742 | 160 13600 95200 | 56602 53657 49 | 0.004 % |
299.60/299.87 c | 500284 | 160 13600 95200 | 2147483647 55199 49 | 0.004 % |
300.50/300.74 c | 501978 | 160 13600 95200 | 2147483647 56893 49 | 0.004 % |
301.60/301.83 c | 503841 | 160 13600 95200 | 2147483647 58756 49 | 0.004 % |
302.90/303.14 c | 505890 | 160 13600 95200 | 2147483647 60805 49 | 0.004 % |
304.30/304.55 c | 508145 | 160 13600 95200 | 2147483647 63060 49 | 0.004 % |
306.00/306.24 c | 510623 | 160 13600 95200 | 64916 58402 49 | 0.004 % |
307.80/308.06 c | 513348 | 160 13600 95200 | 64916 61127 49 | 0.004 % |
309.79/310.09 c | 516346 | 160 13600 95200 | 64916 64125 49 | 0.004 % |
311.90/312.17 c | 519642 | 160 13600 95200 | 64916 59015 49 | 0.004 % |
314.09/314.33 c | 523269 | 160 13600 95200 | 59373 55336 49 | 0.004 % |
316.50/316.71 c | 527258 | 160 13600 95200 | 59373 59325 49 | 0.004 % |
318.99/319.24 c | 531643 | 160 13600 95200 | 2147483647 57639 49 | 0.004 % |
321.79/322.03 c | 536466 | 160 13600 95200 | 2147483647 62462 49 | 0.004 % |
321.79/322.09 c | 536567 | 160 13600 95200 | 2147483647 62563 49 | 0.004 % |
321.89/322.20 c | 536677 | 160 13600 95200 | 2147483647 62673 49 | 0.004 % |
321.99/322.29 c | 536798 | 160 13600 95200 | 2147483647 62794 49 | 0.004 % |
322.09/322.39 c | 536931 | 160 13600 95200 | 2147483647 62927 49 | 0.004 % |
322.29/322.50 c | 537078 | 160 13600 95200 | 2147483647 63074 49 | 0.004 % |
322.39/322.64 c | 537239 | 160 13600 95200 | 2147483647 63235 49 | 0.004 % |
322.49/322.78 c | 537415 | 160 13600 95200 | 2147483647 63411 49 | 0.004 % |
322.69/322.93 c | 537610 | 160 13600 95200 | 2147483647 63606 49 | 0.004 % |
322.79/323.07 c | 537824 | 160 13600 95200 | 2147483647 63820 49 | 0.004 % |
322.99/323.26 c | 538057 | 160 13600 95200 | 2147483647 64053 49 | 0.004 % |
323.19/323.46 c | 538313 | 160 13600 95200 | 2147483647 64309 49 | 0.004 % |
323.39/323.68 c | 538594 | 160 13600 95200 | 2147483647 64590 49 | 0.004 % |
323.69/323.93 c | 538903 | 160 13600 95200 | 2147483647 64899 49 | 0.004 % |
323.99/324.20 c | 539243 | 160 13600 95200 | 2147483647 65239 49 | 0.004 % |
324.19/324.47 c | 539615 | 160 13600 95200 | 2147483647 65611 49 | 0.004 % |
324.49/324.76 c | 540024 | 160 13600 95200 | 65996 66020 49 | 0.004 % |
324.89/325.15 c | 540473 | 160 13600 95200 | 65996 58631 49 | 0.004 % |
325.18/325.47 c | 540966 | 160 13600 95200 | 65996 59124 49 | 0.004 % |
325.58/325.84 c | 541508 | 160 13600 95200 | 65996 59666 49 | 0.004 % |
326.08/326.30 c | 542104 | 160 13600 95200 | 65996 60262 49 | 0.004 % |
326.49/326.71 c | 542759 | 160 13600 95200 | 65996 60917 49 | 0.004 % |
326.88/327.18 c | 543480 | 160 13600 95200 | 65996 61638 49 | 0.004 % |
327.38/327.66 c | 544273 | 160 13600 95200 | 65996 62431 49 | 0.004 % |
327.88/328.19 c | 545144 | 160 13600 95200 | 65996 63302 49 | 0.004 % |
328.59/328.81 c | 546103 | 160 13600 95200 | 65996 64261 49 | 0.004 % |
329.18/329.46 c | 547157 | 160 13600 95200 | 65996 65315 49 | 0.004 % |
329.98/330.23 c | 548316 | 160 13600 95200 | 65996 58184 49 | 0.004 % |
330.68/330.95 c | 549589 | 160 13600 95200 | 65996 59457 49 | 0.004 % |
331.58/331.88 c | 550991 | 160 13600 95200 | 59870 53489 49 | 0.004 % |
332.48/332.73 c | 552531 | 160 13600 95200 | 59870 55029 49 | 0.004 % |
333.48/333.73 c | 554226 | 160 13600 95200 | 59870 56724 49 | 0.004 % |
334.58/334.81 c | 556090 | 160 13600 95200 | 59870 58588 49 | 0.004 % |
335.88/336.11 c | 558140 | 160 13600 95200 | 59870 54406 49 | 0.004 % |
337.28/337.50 c | 560394 | 160 13600 95200 | 56266 51026 49 | 0.004 % |
338.48/338.78 c | 562872 | 160 13600 95200 | 56266 53504 49 | 0.004 % |
340.08/340.36 c | 565597 | 160 13600 95200 | 56266 56229 49 | 0.004 % |
341.78/342.06 c | 568595 | 160 13600 95200 | 56266 53594 49 | 0.004 % |
343.78/344.05 c | 571892 | 160 13600 95200 | 2147483647 56891 49 | 0.004 % |
346.08/346.39 c | 575517 | 160 13600 95200 | 2147483647 60516 49 | 0.004 % |
348.88/349.16 c | 579505 | 160 13600 95200 | 2147483647 64504 49 | 0.004 % |
351.88/352.19 c | 583891 | 160 13600 95200 | 65000 61249 49 | 0.004 % |
354.88/355.17 c | 588715 | 160 13600 95200 | 65000 58121 49 | 0.004 % |
357.97/358.28 c | 594020 | 160 13600 95200 | 59406 56339 49 | 0.004 % |
358.07/358.37 c | 594120 | 160 13600 95200 | 59406 56439 49 | 0.004 % |
358.17/358.45 c | 594230 | 160 13600 95200 | 59406 56549 49 | 0.004 % |
358.28/358.53 c | 594352 | 160 13600 95200 | 59406 56671 49 | 0.004 % |
358.38/358.62 c | 594486 | 160 13600 95200 | 59406 56805 49 | 0.004 % |
358.47/358.71 c | 594632 | 160 13600 95200 | 59406 56951 49 | 0.004 % |
358.57/358.81 c | 594796 | 160 13600 95200 | 59406 57115 49 | 0.004 % |
358.67/358.93 c | 594973 | 160 13600 95200 | 59406 57292 49 | 0.004 % |
358.77/359.06 c | 595166 | 160 13600 95200 | 59406 57485 49 | 0.004 % |
358.97/359.20 c | 595381 | 160 13600 95200 | 59406 57700 49 | 0.004 % |
359.07/359.38 c | 595614 | 160 13600 95200 | 59406 57933 49 | 0.004 % |
359.27/359.57 c | 595871 | 160 13600 95200 | 59406 58190 49 | 0.004 % |
359.47/359.75 c | 596152 | 160 13600 95200 | 59406 58471 49 | 0.004 % |
359.67/359.98 c | 596461 | 160 13600 95200 | 59406 58780 49 | 0.004 % |
359.97/360.23 c | 596801 | 160 13600 95200 | 59406 59120 49 | 0.004 % |
360.27/360.58 c | 597175 | 160 13600 95200 | 59406 53337 49 | 0.004 % |
360.57/360.86 c | 597584 | 160 13600 95200 | 59406 53746 49 | 0.004 % |
360.97/361.24 c | 598035 | 160 13600 95200 | 59406 54197 49 | 0.004 % |
361.37/361.63 c | 598529 | 160 13600 95200 | 59406 54691 49 | 0.004 % |
361.77/362.04 c | 599071 | 160 13600 95200 | 59406 55233 49 | 0.004 % |
362.27/362.52 c | 599667 | 160 13600 95200 | 59406 55829 49 | 0.004 % |
362.77/363.03 c | 600322 | 160 13600 95200 | 56164 50058 49 | 0.004 % |
363.17/363.48 c | 601043 | 160 13600 95200 | 56164 50779 49 | 0.004 % |
363.77/364.04 c | 601835 | 160 13600 95200 | 56164 51571 49 | 0.004 % |
364.37/364.64 c | 602706 | 160 13600 95200 | 56164 52442 49 | 0.004 % |
364.97/365.29 c | 603665 | 160 13600 95200 | 56164 53401 49 | 0.004 % |
365.77/366.01 c | 604718 | 160 13600 95200 | 56164 54454 49 | 0.004 % |
366.47/366.76 c | 605876 | 160 13600 95200 | 56164 55612 49 | 0.004 % |
367.27/367.51 c | 607149 | 160 13600 95200 | 56164 51078 49 | 0.004 % |
367.87/368.19 c | 608549 | 160 13600 95200 | 56164 52478 49 | 0.004 % |
369.06/369.30 c | 610089 | 160 13600 95200 | 2147483647 54018 49 | 0.004 % |
370.16/370.43 c | 611785 | 160 13600 95200 | 2147483647 55714 49 | 0.004 % |
371.26/371.54 c | 613648 | 160 13600 95200 | 2147483647 57577 49 | 0.004 % |
372.67/372.92 c | 615697 | 160 13600 95200 | 2147483647 59626 49 | 0.004 % |
374.06/374.37 c | 617951 | 160 13600 95200 | 2147483647 61880 49 | 0.004 % |
375.66/376.00 c | 620429 | 160 13600 95200 | 63930 57342 49 | 0.004 % |
377.16/377.46 c | 623156 | 160 13600 95200 | 63930 60069 49 | 0.004 % |
378.96/379.21 c | 626154 | 160 13600 95200 | 63930 63067 49 | 0.004 % |
380.96/381.27 c | 629451 | 160 13600 95200 | 63930 59780 49 | 0.004 % |
383.06/383.39 c | 633076 | 160 13600 95200 | 2147483647 63405 49 | 0.004 % |
386.16/386.41 c | 637064 | 160 13600 95200 | 2147483647 67393 49 | 0.004 % |
389.57/389.86 c | 641450 | 160 13600 95200 | 70329 61232 49 | 0.004 % |
392.77/393.06 c | 646273 | 160 13600 95200 | 70329 66055 49 | 0.004 % |
396.56/396.82 c | 651579 | 160 13600 95200 | 69783 60679 49 | 0.004 % |
400.46/400.76 c | 657417 | 160 13600 95200 | 69783 66517 49 | 0.004 % |
400.56/400.83 c | 657517 | 160 13600 95200 | 69783 66617 49 | 0.004 % |
400.66/400.94 c | 657628 | 160 13600 95200 | 69783 66728 49 | 0.004 % |
400.76/401.04 c | 657750 | 160 13600 95200 | 69783 66850 49 | 0.004 % |
400.86/401.15 c | 657883 | 160 13600 95200 | 69783 66983 49 | 0.004 % |
400.96/401.25 c | 658029 | 160 13600 95200 | 69783 67129 49 | 0.004 % |
401.17/401.41 c | 658189 | 160 13600 95200 | 69783 67289 49 | 0.004 % |
401.27/401.56 c | 658366 | 160 13600 95200 | 69783 67466 49 | 0.004 % |
401.46/401.71 c | 658560 | 160 13600 95200 | 69783 67660 49 | 0.004 % |
401.66/401.90 c | 658772 | 160 13600 95200 | 69783 67872 49 | 0.004 % |
401.76/402.09 c | 659006 | 160 13600 95200 | 69783 68106 49 | 0.004 % |
402.06/402.30 c | 659262 | 160 13600 95200 | 69783 68362 49 | 0.004 % |
402.27/402.55 c | 659545 | 160 13600 95200 | 69783 68645 49 | 0.004 % |
402.56/402.82 c | 659854 | 160 13600 95200 | 69783 68954 49 | 0.004 % |
402.86/403.17 c | 660196 | 160 13600 95200 | 69100 58596 49 | 0.004 % |
403.16/403.41 c | 660568 | 160 13600 95200 | 69100 58968 49 | 0.004 % |
403.47/403.75 c | 660979 | 160 13600 95200 | 69100 59379 49 | 0.004 % |
403.76/404.07 c | 661430 | 160 13600 95200 | 69100 59830 49 | 0.004 % |
404.16/404.42 c | 661923 | 160 13600 95200 | 69100 60323 49 | 0.004 % |
404.57/404.82 c | 662466 | 160 13600 95200 | 69100 60866 49 | 0.004 % |
404.96/405.26 c | 663064 | 160 13600 95200 | 69100 61464 49 | 0.004 % |
405.46/405.80 c | 663719 | 160 13600 95200 | 69100 62119 49 | 0.004 % |
405.96/406.28 c | 664439 | 160 13600 95200 | 69100 62839 49 | 0.004 % |
406.56/406.85 c | 665232 | 160 13600 95200 | 69100 63632 49 | 0.004 % |
407.16/407.45 c | 666103 | 160 13600 95200 | 69100 64503 49 | 0.004 % |
407.86/408.13 c | 667061 | 160 13600 95200 | 69100 65461 49 | 0.004 % |
408.76/409.07 c | 668114 | 160 13600 95200 | 69100 66514 49 | 0.004 % |
409.66/409.91 c | 669273 | 160 13600 95200 | 69100 67673 49 | 0.004 % |
410.56/410.83 c | 670547 | 160 13600 95200 | 68400 57986 49 | 0.004 % |
411.46/411.78 c | 671949 | 160 13600 95200 | 68400 59388 49 | 0.004 % |
412.56/412.81 c | 673490 | 160 13600 95200 | 68400 60929 49 | 0.004 % |
413.56/413.85 c | 675184 | 160 13600 95200 | 68400 62623 49 | 0.004 % |
414.76/415.05 c | 677047 | 160 13600 95200 | 68400 64486 49 | 0.004 % |
416.36/416.68 c | 679097 | 160 13600 95200 | 68400 66536 49 | 0.004 % |
418.16/418.40 c | 681351 | 160 13600 95200 | 67439 59110 49 | 0.004 % |
419.86/420.10 c | 683829 | 160 13600 95200 | 67439 61588 49 | 0.004 % |
421.65/421.97 c | 686554 | 160 13600 95200 | 67439 64313 49 | 0.004 % |
423.95/424.21 c | 689552 | 160 13600 95200 | 67439 67311 49 | 0.004 % |
426.05/426.38 c | 692849 | 160 13600 95200 | 57944 52362 49 | 0.004 % |
428.35/428.63 c | 696476 | 160 13600 95200 | 57944 55989 49 | 0.004 % |
430.85/431.17 c | 700464 | 160 13600 95200 | 52967 47753 49 | 0.004 % |
433.15/433.43 c | 704850 | 160 13600 95200 | 52967 52139 49 | 0.004 % |
435.65/435.96 c | 709673 | 160 13600 95200 | 52967 51659 49 | 0.004 % |
438.65/438.95 c | 714978 | 160 13600 95200 | 2147483647 56964 49 | 0.004 % |
442.45/442.79 c | 720816 | 160 13600 95200 | 2147483647 62802 49 | 0.004 % |
447.05/447.38 c | 727236 | 160 13600 95200 | 2147483647 69222 49 | 0.004 % |
447.15/447.48 c | 727336 | 160 13600 95200 | 2147483647 69322 49 | 0.004 % |
447.25/447.57 c | 727446 | 160 13600 95200 | 2147483647 69432 49 | 0.004 % |
447.35/447.69 c | 727567 | 160 13600 95200 | 2147483647 69553 49 | 0.004 % |
447.54/447.83 c | 727700 | 160 13600 95200 | 2147483647 69686 49 | 0.004 % |
447.64/447.96 c | 727849 | 160 13600 95200 | 2147483647 69835 49 | 0.004 % |
447.84/448.10 c | 728009 | 160 13600 95200 | 2147483647 69995 49 | 0.004 % |
447.94/448.29 c | 728188 | 160 13600 95200 | 2147483647 70174 49 | 0.004 % |
448.14/448.45 c | 728383 | 160 13600 95200 | 2147483647 70369 49 | 0.004 % |
448.34/448.66 c | 728595 | 160 13600 95200 | 2147483647 70581 49 | 0.004 % |
448.55/448.89 c | 728829 | 160 13600 95200 | 2147483647 70815 49 | 0.004 % |
448.84/449.13 c | 729085 | 160 13600 95200 | 2147483647 71071 49 | 0.004 % |
449.14/449.43 c | 729366 | 160 13600 95200 | 2147483647 71352 49 | 0.004 % |
449.44/449.73 c | 729675 | 160 13600 95200 | 2147483647 71661 49 | 0.004 % |
449.74/450.03 c | 730017 | 160 13600 95200 | 71986 72003 49 | 0.004 % |
450.14/450.41 c | 730389 | 160 13600 95200 | 71986 61284 49 | 0.004 % |
450.34/450.69 c | 730799 | 160 13600 95200 | 71986 61694 49 | 0.004 % |
450.74/451.01 c | 731248 | 160 13600 95200 | 71986 62143 49 | 0.004 % |
451.04/451.38 c | 731742 | 160 13600 95200 | 71986 62637 49 | 0.004 % |
451.44/451.75 c | 732285 | 160 13600 95200 | 71986 63180 49 | 0.004 % |
451.84/452.17 c | 732882 | 160 13600 95200 | 71986 63777 49 | 0.004 % |
452.34/452.63 c | 733537 | 160 13600 95200 | 71986 64432 49 | 0.004 % |
452.84/453.18 c | 734260 | 160 13600 95200 | 71986 65155 49 | 0.004 % |
453.44/453.71 c | 735052 | 160 13600 95200 | 71986 65947 49 | 0.004 % |
454.14/454.43 c | 735924 | 160 13600 95200 | 71986 66819 49 | 0.004 % |
454.94/455.21 c | 736883 | 160 13600 95200 | 71986 67778 49 | 0.004 % |
455.74/456.03 c | 737936 | 160 13600 95200 | 71986 68831 49 | 0.004 % |
456.64/456.91 c | 739094 | 160 13600 95200 | 71986 69989 49 | 0.004 % |
457.64/457.97 c | 740368 | 160 13600 95200 | 70895 59531 49 | 0.004 % |
458.54/458.88 c | 741768 | 160 13600 95200 | 70895 60931 49 | 0.004 % |
459.64/459.92 c | 743308 | 160 13600 95200 | 70895 62471 49 | 0.004 % |
460.73/461.00 c | 745002 | 160 13600 95200 | 70895 64165 49 | 0.004 % |
462.03/462.37 c | 746867 | 160 13600 95200 | 70895 66030 49 | 0.004 % |
463.53/463.82 c | 748916 | 160 13600 95200 | 70895 68079 49 | 0.004 % |
465.13/465.49 c | 751170 | 160 13600 95200 | 69163 59539 49 | 0.004 % |
466.73/467.01 c | 753648 | 160 13600 95200 | 69163 62017 49 | 0.004 % |
468.43/468.77 c | 756373 | 160 13600 95200 | 69163 64742 49 | 0.004 % |
470.54/470.81 c | 759371 | 160 13600 95200 | 69163 67740 49 | 0.004 % |
472.53/472.87 c | 762670 | 160 13600 95200 | 68369 61000 49 | 0.004 % |
474.63/474.99 c | 766297 | 160 13600 95200 | 68369 64627 49 | 0.004 % |
477.23/477.54 c | 770284 | 160 13600 95200 | 68331 60362 49 | 0.004 % |
479.73/480.01 c | 774669 | 160 13600 95200 | 68331 64747 49 | 0.004 % |
482.93/483.22 c | 779494 | 160 13600 95200 | 68331 60924 49 | 0.004 % |
486.23/486.51 c | 784799 | 160 13600 95200 | 61430 58544 49 | 0.004 % |
489.82/490.12 c | 790636 | 160 13600 95200 | 56601 50808 50 | 0.004 % |
493.82/494.14 c | 797057 | 160 13600 95200 | 56601 51561 49 | 0.004 % |
497.82/498.20 c | 804118 | 160 13600 95200 | 2147483647 58622 49 | 0.004 % |
497.93/498.26 c | 804218 | 160 13600 95200 | 2147483647 58722 49 | 0.004 % |
498.03/498.34 c | 804328 | 160 13600 95200 | 2147483647 58832 49 | 0.004 % |
498.12/498.43 c | 804451 | 160 13600 95200 | 2147483647 58955 49 | 0.004 % |
498.22/498.54 c | 804585 | 160 13600 95200 | 2147483647 59089 49 | 0.004 % |
498.32/498.67 c | 804731 | 160 13600 95200 | 2147483647 59235 49 | 0.004 % |
498.42/498.79 c | 804892 | 160 13600 95200 | 2147483647 59396 49 | 0.004 % |
498.62/498.92 c | 805068 | 160 13600 95200 | 2147483647 59572 49 | 0.004 % |
498.72/499.05 c | 805261 | 160 13600 95200 | 2147483647 59765 49 | 0.004 % |
498.92/499.20 c | 805475 | 160 13600 95200 | 2147483647 59979 49 | 0.004 % |
499.02/499.35 c | 805709 | 160 13600 95200 | 2147483647 60213 49 | 0.004 % |
499.22/499.52 c | 805966 | 160 13600 95200 | 2147483647 60470 49 | 0.004 % |
499.42/499.71 c | 806248 | 160 13600 95200 | 2147483647 60752 49 | 0.004 % |
499.62/499.91 c | 806559 | 160 13600 95200 | 2147483647 61063 49 | 0.004 % |
499.82/500.14 c | 806898 | 160 13600 95200 | 2147483647 61402 49 | 0.004 % |
500.12/500.41 c | 807270 | 160 13600 95200 | 2147483647 61774 49 | 0.004 % |
500.42/500.74 c | 807681 | 160 13600 95200 | 2147483647 62185 49 | 0.004 % |
500.72/501.07 c | 808130 | 160 13600 95200 | 2147483647 62634 49 | 0.004 % |
501.12/501.41 c | 808624 | 160 13600 95200 | 2147483647 63128 49 | 0.004 % |
501.42/501.78 c | 809166 | 160 13600 95200 | 2147483647 63670 49 | 0.004 % |
501.82/502.19 c | 809762 | 160 13600 95200 | 2147483647 64266 49 | 0.004 % |
502.32/502.69 c | 810420 | 160 13600 95200 | 64504 57284 49 | 0.004 % |
502.82/503.17 c | 811141 | 160 13600 95200 | 64504 58005 49 | 0.004 % |
503.32/503.67 c | 811936 | 160 13600 95200 | 64504 58800 49 | 0.004 % |
503.92/504.22 c | 812807 | 160 13600 95200 | 64504 59671 49 | 0.004 % |
504.52/504.80 c | 813765 | 160 13600 95200 | 64504 60629 49 | 0.004 % |
505.22/505.55 c | 814820 | 160 13600 95200 | 64504 61684 49 | 0.004 % |
506.02/506.35 c | 815978 | 160 13600 95200 | 64504 62842 49 | 0.004 % |
507.02/507.32 c | 817253 | 160 13600 95200 | 64504 64117 49 | 0.004 % |
508.02/508.36 c | 818654 | 160 13600 95200 | 64504 57511 49 | 0.004 % |
509.12/509.49 c | 820195 | 160 13600 95200 | 58859 51765 49 | 0.004 % |
510.12/510.44 c | 821889 | 160 13600 95200 | 58859 53459 49 | 0.004 % |
511.12/511.47 c | 823754 | 160 13600 95200 | 58859 55324 49 | 0.004 % |
512.52/512.80 c | 825803 | 160 13600 95200 | 58859 57373 49 | 0.004 % |
513.81/514.18 c | 828056 | 160 13600 95200 | 58859 53712 49 | 0.004 % |
515.41/515.74 c | 830534 | 160 13600 95200 | 55656 50457 49 | 0.004 % |
516.91/517.26 c | 833260 | 160 13600 95200 | 55656 53183 49 | 0.004 % |
518.61/518.93 c | 836257 | 160 13600 95200 | 55656 50606 49 | 0.004 % |
520.31/520.69 c | 839553 | 160 13600 95200 | 55656 53902 49 | 0.004 % |
522.41/522.77 c | 843178 | 160 13600 95200 | 2147483647 57527 49 | 0.004 % |
525.01/525.34 c | 847169 | 160 13600 95200 | 2147483647 61518 49 | 0.004 % |
527.91/528.29 c | 851554 | 160 13600 95200 | 64351 58758 49 | 0.004 % |
531.31/531.65 c | 856377 | 160 13600 95200 | 64351 63581 49 | 0.004 % |
534.61/534.96 c | 861683 | 160 13600 95200 | 58658 52795 49 | 0.004 % |
538.01/538.35 c | 867519 | 160 13600 95200 | 58658 58631 49 | 0.004 % |
542.01/542.37 c | 873937 | 160 13600 95200 | 2147483647 59175 49 | 0.004 % |
546.60/546.94 c | 880997 | 160 13600 95200 | 65239 58452 49 | 0.004 % |
551.91/552.28 c | 888761 | 160 13600 95200 | 65239 57895 50 | 0.004 % |
552.00/552.35 c | 888863 | 160 13600 95200 | 65239 57997 50 | 0.004 % |
552.10/552.42 c | 888974 | 160 13600 95200 | 65239 58108 50 | 0.004 % |
552.20/552.50 c | 889095 | 160 13600 95200 | 65239 58229 50 | 0.004 % |
552.30/552.63 c | 889228 | 160 13600 95200 | 65239 58362 50 | 0.004 % |
552.40/552.76 c | 889374 | 160 13600 95200 | 65239 58508 50 | 0.004 % |
552.50/552.88 c | 889537 | 160 13600 95200 | 65239 58671 50 | 0.004 % |
552.70/553.06 c | 889713 | 160 13600 95200 | 65239 58847 50 | 0.004 % |
552.91/553.22 c | 889907 | 160 13600 95200 | 65239 59041 50 | 0.004 % |
553.10/553.44 c | 890120 | 160 13600 95200 | 59134 51448 50 | 0.004 % |
553.30/553.60 c | 890356 | 160 13600 95200 | 59134 51684 50 | 0.004 % |
553.40/553.77 c | 890613 | 160 13600 95200 | 59134 51941 50 | 0.004 % |
553.60/553.93 c | 890894 | 160 13600 95200 | 59134 52222 50 | 0.004 % |
553.80/554.12 c | 891204 | 160 13600 95200 | 59134 52532 50 | 0.004 % |
553.90/554.29 c | 891543 | 160 13600 95200 | 59134 52871 50 | 0.004 % |
554.30/554.61 c | 891915 | 160 13600 95200 | 59134 53243 50 | 0.004 % |
554.50/554.89 c | 892324 | 160 13600 95200 | 59134 53652 50 | 0.004 % |
554.80/555.17 c | 892775 | 160 13600 95200 | 59134 54103 50 | 0.004 % |
555.10/555.46 c | 893268 | 160 13600 95200 | 59134 54596 50 | 0.004 % |
555.40/555.79 c | 893812 | 160 13600 95200 | 59134 55140 50 | 0.004 % |
555.80/556.12 c | 894410 | 160 13600 95200 | 59134 55738 50 | 0.004 % |
556.10/556.50 c | 895067 | 160 13600 95200 | 59134 56395 49 | 0.004 % |
556.70/557.04 c | 895789 | 160 13600 95200 | 59134 57117 49 | 0.004 % |
557.20/557.50 c | 896581 | 160 13600 95200 | 59134 57909 49 | 0.004 % |
557.80/558.10 c | 897453 | 160 13600 95200 | 59134 58781 49 | 0.004 % |
558.50/558.81 c | 898412 | 160 13600 95200 | 59134 53134 49 | 0.004 % |
559.10/559.45 c | 899465 | 160 13600 95200 | 59134 54187 49 | 0.004 % |
559.80/560.13 c | 900624 | 160 13600 95200 | 54725 49640 49 | 0.004 % |
560.40/560.79 c | 901897 | 160 13600 95200 | 54725 50913 49 | 0.004 % |
561.20/561.52 c | 903297 | 160 13600 95200 | 54725 52313 49 | 0.004 % |
562.00/562.39 c | 904837 | 160 13600 95200 | 54725 53853 49 | 0.004 % |
563.00/563.38 c | 906533 | 160 13600 95200 | 54725 50071 49 | 0.004 % |
564.10/564.47 c | 908397 | 160 13600 95200 | 54725 51935 49 | 0.004 % |
565.30/565.64 c | 910446 | 160 13600 95200 | 2147483647 53984 49 | 0.004 % |
566.70/567.02 c | 912699 | 160 13600 95200 | 2147483647 56237 49 | 0.004 % |
568.20/568.58 c | 915177 | 160 13600 95200 | 2147483647 58715 49 | 0.004 % |
569.89/570.25 c | 917902 | 160 13600 95200 | 2147483647 61440 49 | 0.004 % |
571.89/572.23 c | 920900 | 160 13600 95200 | 63539 57775 49 | 0.004 % |
573.99/574.32 c | 924196 | 160 13600 95200 | 63539 61071 49 | 0.004 % |
576.19/576.51 c | 927821 | 160 13600 95200 | 63539 57550 49 | 0.004 % |
578.30/578.61 c | 931812 | 160 13600 95200 | 59729 55263 49 | 0.004 % |
580.79/581.19 c | 936199 | 160 13600 95200 | 59729 59650 49 | 0.004 % |
583.49/583.85 c | 941022 | 160 13600 95200 | 2147483647 58493 49 | 0.004 % |
586.89/587.21 c | 946329 | 160 13600 95200 | 2147483647 63800 49 | 0.004 % |
590.69/591.00 c | 952166 | 160 13600 95200 | 67471 61165 49 | 0.004 % |
594.79/595.15 c | 958584 | 160 13600 95200 | 67471 58656 49 | 0.004 % |
598.49/598.83 c | 965643 | 160 13600 95200 | 60072 57905 50 | 0.004 % |
602.89/603.22 c | 973408 | 160 13600 95200 | 56174 53861 49 | 0.004 % |
607.28/607.61 c | 981949 | 160 13600 95200 | 2147483647 56778 50 | 0.004 % |
607.28/607.67 c | 982049 | 160 13600 95200 | 2147483647 56878 50 | 0.004 % |
607.38/607.75 c | 982161 | 160 13600 95200 | 2147483647 56990 50 | 0.004 % |
607.48/607.84 c | 982282 | 160 13600 95200 | 2147483647 57111 50 | 0.004 % |
607.58/607.92 c | 982415 | 160 13600 95200 | 2147483647 57244 50 | 0.004 % |
607.68/608.03 c | 982562 | 160 13600 95200 | 2147483647 57391 50 | 0.004 % |
607.78/608.18 c | 982722 | 160 13600 95200 | 2147483647 57551 50 | 0.004 % |
607.99/608.30 c | 982899 | 160 13600 95200 | 2147483647 57728 50 | 0.004 % |
608.08/608.43 c | 983092 | 160 13600 95200 | 2147483647 57921 50 | 0.004 % |
608.18/608.59 c | 983305 | 160 13600 95200 | 2147483647 58134 50 | 0.004 % |
608.38/608.76 c | 983538 | 160 13600 95200 | 2147483647 58367 50 | 0.004 % |
608.58/608.94 c | 983795 | 160 13600 95200 | 2147483647 58624 50 | 0.004 % |
608.78/609.16 c | 984076 | 160 13600 95200 | 2147483647 58905 50 | 0.004 % |
608.98/609.38 c | 984385 | 160 13600 95200 | 2147483647 59214 50 | 0.004 % |
609.28/609.62 c | 984724 | 160 13600 95200 | 2147483647 59553 50 | 0.004 % |
609.48/609.85 c | 985097 | 160 13600 95200 | 2147483647 59926 50 | 0.004 % |
609.78/610.18 c | 985506 | 160 13600 95200 | 2147483647 60335 50 | 0.004 % |
610.18/610.51 c | 985956 | 160 13600 95200 | 2147483647 60785 50 | 0.004 % |
610.48/610.84 c | 986449 | 160 13600 95200 | 2147483647 61278 50 | 0.004 % |
610.88/611.21 c | 986992 | 160 13600 95200 | 2147483647 61821 50 | 0.004 % |
611.28/611.62 c | 987588 | 160 13600 95200 | 2147483647 62417 50 | 0.004 % |
611.68/612.09 c | 988244 | 160 13600 95200 | 2147483647 63073 50 | 0.004 % |
612.28/612.66 c | 988964 | 160 13600 95200 | 2147483647 63793 50 | 0.004 % |
612.88/613.26 c | 989757 | 160 13600 95200 | 2147483647 64586 50 | 0.004 % |
613.58/613.94 c | 990628 | 160 13600 95200 | 64830 57392 50 | 0.004 % |
614.18/614.57 c | 991588 | 160 13600 95200 | 64830 58352 50 | 0.004 % |
614.98/615.37 c | 992642 | 160 13600 95200 | 64830 59406 49 | 0.004 % |
615.78/616.17 c | 993800 | 160 13600 95200 | 64830 60564 49 | 0.004 % |
616.58/616.99 c | 995075 | 160 13600 95200 | 64830 61839 50 | 0.004 % |
617.68/618.01 c | 996476 | 160 13600 95200 | 64830 63240 49 | 0.004 % |
618.68/619.03 c | 998017 | 160 13600 95200 | 64830 64781 49 | 0.004 % |
619.78/620.14 c | 999712 | 160 13600 95200 | 64830 57730 50 | 0.004 % |
620.88/621.22 c | 1001578 | 160 13600 95200 | 58019 51967 49 | 0.004 % |
622.18/622.55 c | 1003627 | 160 13600 95200 | 58019 54016 49 | 0.004 % |
623.57/623.96 c | 1005880 | 160 13600 95200 | 58019 56269 49 | 0.004 % |
624.97/625.35 c | 1008358 | 160 13600 95200 | 58019 52938 49 | 0.004 % |
626.47/626.82 c | 1011084 | 160 13600 95200 | 2147483647 55664 49 | 0.004 % |
628.37/628.70 c | 1014082 | 160 13600 95200 | 2147483647 58662 49 | 0.004 % |
630.47/630.90 c | 1017379 | 160 13600 95200 | 2147483647 61959 50 | 0.004 % |
632.87/633.29 c | 1021005 | 160 13600 95200 | 64580 58287 50 | 0.004 % |
635.57/636.00 c | 1024992 | 160 13600 95200 | 64580 62274 50 | 0.004 % |
638.37/638.79 c | 1029377 | 160 13600 95200 | 64580 59270 50 | 0.004 % |
641.27/641.62 c | 1034202 | 160 13600 95200 | 59893 57429 49 | 0.004 % |
644.57/644.93 c | 1039507 | 160 13600 95200 | 59893 56537 49 | 0.004 % |
648.57/648.93 c | 1045343 | 160 13600 95200 | 2147483647 62373 49 | 0.004 % |
653.27/653.65 c | 1051764 | 160 13600 95200 | 67030 58864 50 | 0.004 % |
658.06/658.43 c | 1058823 | 160 13600 95200 | 67030 65923 50 | 0.004 % |
663.16/663.53 c | 1066588 | 160 13600 95200 | 67102 63948 50 | 0.004 % |
668.56/668.98 c | 1075129 | 160 13600 95200 | 58204 55465 50 | 0.004 % |
674.36/674.73 c | 1084524 | 160 13600 95200 | 2147483647 58968 50 | 0.004 % |
674.46/674.82 c | 1084625 | 160 13600 95200 | 2147483647 59069 50 | 0.004 % |
674.46/674.90 c | 1084737 | 160 13600 95200 | 2147483647 59181 50 | 0.004 % |
674.56/674.98 c | 1084858 | 160 13600 95200 | 2147483647 59302 50 | 0.004 % |
674.66/675.07 c | 1084992 | 160 13600 95200 | 2147483647 59436 50 | 0.004 % |
674.76/675.17 c | 1085138 | 160 13600 95200 | 2147483647 59582 50 | 0.004 % |
674.86/675.27 c | 1085298 | 160 13600 95200 | 2147483647 59742 50 | 0.004 % |
674.96/675.39 c | 1085475 | 160 13600 95200 | 2147483647 59919 50 | 0.004 % |
675.16/675.52 c | 1085669 | 160 13600 95200 | 2147483647 60113 50 | 0.004 % |
675.26/675.67 c | 1085882 | 160 13600 95200 | 2147483647 60326 50 | 0.004 % |
675.46/675.82 c | 1086117 | 160 13600 95200 | 2147483647 60561 50 | 0.004 % |
675.66/676.00 c | 1086374 | 160 13600 95200 | 2147483647 60818 50 | 0.004 % |
675.76/676.19 c | 1086655 | 160 13600 95200 | 2147483647 61099 50 | 0.004 % |
675.96/676.39 c | 1086966 | 160 13600 95200 | 2147483647 61410 50 | 0.004 % |
676.26/676.60 c | 1087307 | 160 13600 95200 | 2147483647 61751 50 | 0.004 % |
676.46/676.85 c | 1087681 | 160 13600 95200 | 2147483647 62125 50 | 0.004 % |
676.76/677.13 c | 1088091 | 160 13600 95200 | 2147483647 62535 50 | 0.004 % |
677.16/677.53 c | 1088540 | 160 13600 95200 | 2147483647 62984 50 | 0.004 % |
677.56/677.95 c | 1089034 | 160 13600 95200 | 2147483647 63478 50 | 0.004 % |
677.96/678.38 c | 1089576 | 160 13600 95200 | 2147483647 64020 50 | 0.004 % |
678.56/678.93 c | 1090172 | 160 13600 95200 | 64444 56530 50 | 0.004 % |
679.06/679.41 c | 1090827 | 160 13600 95200 | 64444 57185 50 | 0.004 % |
679.56/679.90 c | 1091548 | 160 13600 95200 | 64444 57906 50 | 0.004 % |
680.16/680.55 c | 1092340 | 160 13600 95200 | 64444 58698 50 | 0.004 % |
680.86/681.20 c | 1093216 | 160 13600 95200 | 64444 59574 50 | 0.004 % |
681.46/681.88 c | 1094175 | 160 13600 95200 | 64444 60533 49 | 0.004 % |
682.16/682.57 c | 1095229 | 160 13600 95200 | 64444 61587 49 | 0.004 % |
682.96/683.31 c | 1096387 | 160 13600 95200 | 64444 62745 49 | 0.004 % |
683.55/683.99 c | 1097661 | 160 13600 95200 | 64444 64019 49 | 0.004 % |
684.65/685.01 c | 1099061 | 160 13600 95200 | 64444 56881 49 | 0.004 % |
685.75/686.12 c | 1100601 | 160 13600 95200 | 57821 50772 49 | 0.004 % |
686.85/687.22 c | 1102295 | 160 13600 95200 | 57821 52466 49 | 0.004 % |
688.05/688.41 c | 1104159 | 160 13600 95200 | 57821 54330 49 | 0.004 % |
689.26/689.65 c | 1106208 | 160 13600 95200 | 57821 56379 49 | 0.004 % |
690.55/690.98 c | 1108461 | 160 13600 95200 | 57821 52048 49 | 0.004 % |
691.95/692.36 c | 1110941 | 160 13600 95200 | 53589 48978 49 | 0.004 % |
693.45/693.83 c | 1113666 | 160 13600 95200 | 53589 51703 49 | 0.004 % |
695.05/695.43 c | 1116664 | 160 13600 95200 | 53589 49335 49 | 0.004 % |
696.65/697.07 c | 1119960 | 160 13600 95200 | 53589 52631 49 | 0.004 % |
698.55/698.98 c | 1123585 | 160 13600 95200 | 2147483647 56256 49 | 0.004 % |
701.15/701.56 c | 1127572 | 160 13600 95200 | 2147483647 60243 49 | 0.004 % |
703.95/704.37 c | 1131960 | 160 13600 95200 | 2147483647 64631 49 | 0.004 % |
707.25/707.65 c | 1136783 | 160 13600 95200 | 2147483647 69454 49 | 0.004 % |
711.14/711.54 c | 1142088 | 160 13600 95200 | 72672 64347 49 | 0.004 % |
715.24/715.69 c | 1147924 | 160 13600 95200 | 72672 70183 49 | 0.004 % |
719.54/719.90 c | 1154342 | 160 13600 95200 | 72261 64794 49 | 0.004 % |
724.14/724.50 c | 1161401 | 160 13600 95200 | 70452 61158 49 | 0.004 % |
729.24/729.66 c | 1169165 | 160 13600 95200 | 70452 68922 49 | 0.004 % |
734.64/735.04 c | 1177706 | 160 13600 95200 | 69757 67563 49 | 0.004 % |
740.23/740.68 c | 1187100 | 160 13600 95200 | 60333 59247 49 | 0.004 % |
746.13/746.58 c | 1197433 | 160 13600 95200 | 2147483647 63539 49 | 0.004 % |
746.23/746.65 c | 1197533 | 160 13600 95200 | 2147483647 63639 49 | 0.004 % |
746.33/746.77 c | 1197644 | 160 13600 95200 | 2147483647 63750 49 | 0.004 % |
746.44/746.86 c | 1197765 | 160 13600 95200 | 2147483647 63871 49 | 0.004 % |
746.54/746.96 c | 1197899 | 160 13600 95200 | 2147483647 64005 49 | 0.004 % |
746.63/747.08 c | 1198046 | 160 13600 95200 | 2147483647 64152 49 | 0.004 % |
746.83/747.24 c | 1198207 | 160 13600 95200 | 2147483647 64313 49 | 0.004 % |
746.93/747.37 c | 1198384 | 160 13600 95200 | 2147483647 64490 49 | 0.004 % |
747.13/747.56 c | 1198578 | 160 13600 95200 | 2147483647 64684 49 | 0.004 % |
747.33/747.75 c | 1198790 | 160 13600 95200 | 2147483647 64896 49 | 0.004 % |
747.54/747.96 c | 1199025 | 160 13600 95200 | 2147483647 65131 49 | 0.004 % |
747.83/748.22 c | 1199283 | 160 13600 95200 | 2147483647 65389 49 | 0.004 % |
748.03/748.43 c | 1199564 | 160 13600 95200 | 2147483647 65670 49 | 0.004 % |
748.23/748.70 c | 1199873 | 160 13600 95200 | 2147483647 65979 49 | 0.004 % |
748.64/749.05 c | 1200212 | 160 13600 95200 | 66107 58706 49 | 0.004 % |
748.93/749.35 c | 1200587 | 160 13600 95200 | 66107 59081 49 | 0.004 % |
749.23/749.66 c | 1200996 | 160 13600 95200 | 66107 59490 49 | 0.004 % |
749.53/749.98 c | 1201445 | 160 13600 95200 | 66107 59939 49 | 0.004 % |
749.93/750.33 c | 1201938 | 160 13600 95200 | 66107 60432 49 | 0.004 % |
750.23/750.66 c | 1202480 | 160 13600 95200 | 66107 60974 49 | 0.004 % |
750.63/751.08 c | 1203076 | 160 13600 95200 | 66107 61570 49 | 0.004 % |
751.23/751.61 c | 1203734 | 160 13600 95200 | 66107 62228 49 | 0.004 % |
751.73/752.10 c | 1204454 | 160 13600 95200 | 66107 62948 49 | 0.004 % |
752.34/752.72 c | 1205246 | 160 13600 95200 | 66107 63740 49 | 0.004 % |
752.84/753.25 c | 1206118 | 160 13600 95200 | 66107 64612 49 | 0.004 % |
753.54/753.90 c | 1207076 | 160 13600 95200 | 66107 65570 49 | 0.004 % |
754.24/754.69 c | 1208130 | 160 13600 95200 | 66107 57199 49 | 0.004 % |
755.04/755.43 c | 1209288 | 160 13600 95200 | 66107 58357 49 | 0.004 % |
755.84/756.24 c | 1210562 | 160 13600 95200 | 59070 51640 49 | 0.004 % |
756.74/757.10 c | 1211962 | 160 13600 95200 | 59070 53040 49 | 0.004 % |
757.54/758.00 c | 1213503 | 160 13600 95200 | 59070 54581 49 | 0.004 % |
758.64/759.02 c | 1215200 | 160 13600 95200 | 59070 56278 49 | 0.004 % |
759.64/760.07 c | 1217066 | 160 13600 95200 | 59070 58144 49 | 0.004 % |
761.04/761.40 c | 1219117 | 160 13600 95200 | 59070 53841 49 | 0.004 % |
762.24/762.62 c | 1221370 | 160 13600 95200 | 54727 50442 49 | 0.004 % |
763.53/763.95 c | 1223848 | 160 13600 95200 | 54727 52920 49 | 0.004 % |
765.24/765.62 c | 1226574 | 160 13600 95200 | 54727 50166 49 | 0.004 % |
766.93/767.32 c | 1229573 | 160 13600 95200 | 54727 53165 49 | 0.004 % |
768.83/769.21 c | 1232869 | 160 13600 95200 | 2147483647 56461 49 | 0.004 % |
770.83/771.21 c | 1236495 | 160 13600 95200 | 2147483647 60087 49 | 0.004 % |
773.13/773.56 c | 1240485 | 160 13600 95200 | 2147483647 64077 49 | 0.004 % |
775.83/776.27 c | 1244870 | 160 13600 95200 | 2147483647 68462 49 | 0.004 % |
779.43/779.88 c | 1249694 | 160 13600 95200 | 2147483647 73286 49 | 0.004 % |
783.22/783.60 c | 1254999 | 160 13600 95200 | 73594 68173 49 | 0.004 % |
787.42/787.84 c | 1260834 | 160 13600 95200 | 73174 62701 49 | 0.004 % |
791.92/792.32 c | 1267256 | 160 13600 95200 | 73174 69123 49 | 0.004 % |
797.22/797.61 c | 1274316 | 160 13600 95200 | 71867 64739 49 | 0.004 % |
802.82/803.25 c | 1282080 | 160 13600 95200 | 70423 61773 49 | 0.004 % |
808.32/808.74 c | 1290621 | 160 13600 95200 | 69695 59176 50 | 0.004 % |
814.22/814.63 c | 1300018 | 160 13600 95200 | 68555 68573 49 | 0.004 % |
820.61/821.00 c | 1310351 | 160 13600 95200 | 59598 51924 49 | 0.004 % |
826.82/827.27 c | 1321720 | 160 13600 95200 | 55223 51217 50 | 0.004 % |
826.91/827.32 c | 1321821 | 160 13600 95200 | 55223 51318 50 | 0.004 % |
827.01/827.40 c | 1321931 | 160 13600 95200 | 55223 51428 50 | 0.004 % |
827.01/827.48 c | 1322053 | 160 13600 95200 | 55223 51550 50 | 0.004 % |
827.11/827.58 c | 1322187 | 160 13600 95200 | 55223 51684 50 | 0.004 % |
827.21/827.69 c | 1322334 | 160 13600 95200 | 55223 51831 50 | 0.004 % |
827.41/827.81 c | 1322496 | 160 13600 95200 | 55223 51993 50 | 0.004 % |
827.51/827.93 c | 1322673 | 160 13600 95200 | 55223 52170 50 | 0.004 % |
827.61/828.03 c | 1322867 | 160 13600 95200 | 55223 52364 50 | 0.004 % |
827.71/828.16 c | 1323080 | 160 13600 95200 | 55223 52577 50 | 0.004 % |
827.91/828.35 c | 1323314 | 160 13600 95200 | 55223 52811 50 | 0.004 % |
828.11/828.54 c | 1323572 | 160 13600 95200 | 55223 53069 50 | 0.004 % |
828.31/828.76 c | 1323856 | 160 13600 95200 | 55223 53353 50 | 0.004 % |
828.51/828.96 c | 1324165 | 160 13600 95200 | 55223 53662 50 | 0.004 % |
828.71/829.17 c | 1324504 | 160 13600 95200 | 55223 54001 50 | 0.004 % |
829.01/829.42 c | 1324876 | 160 13600 95200 | 55223 54373 50 | 0.004 % |
829.21/829.66 c | 1325287 | 160 13600 95200 | 55223 54784 50 | 0.004 % |
829.51/829.94 c | 1325736 | 160 13600 95200 | 55223 55233 50 | 0.004 % |
829.81/830.23 c | 1326229 | 160 13600 95200 | 55223 50027 50 | 0.004 % |
830.01/830.50 c | 1326771 | 160 13600 95200 | 55223 50569 50 | 0.004 % |
830.41/830.84 c | 1327368 | 160 13600 95200 | 55223 51166 50 | 0.004 % |
830.81/831.22 c | 1328027 | 160 13600 95200 | 55223 51825 50 | 0.004 % |
831.41/831.80 c | 1328750 | 160 13600 95200 | 55223 52548 50 | 0.004 % |
831.81/832.27 c | 1329543 | 160 13600 95200 | 55223 53341 50 | 0.004 % |
832.41/832.85 c | 1330415 | 160 13600 95200 | 2147483647 54213 50 | 0.004 % |
833.11/833.52 c | 1331373 | 160 13600 95200 | 2147483647 55171 50 | 0.004 % |
833.81/834.23 c | 1332427 | 160 13600 95200 | 2147483647 56225 50 | 0.004 % |
834.51/834.94 c | 1333585 | 160 13600 95200 | 2147483647 57383 50 | 0.004 % |
835.51/835.95 c | 1334858 | 160 13600 95200 | 2147483647 58656 50 | 0.004 % |
836.41/836.84 c | 1336258 | 160 13600 95200 | 2147483647 60056 50 | 0.004 % |
837.50/837.93 c | 1337799 | 160 13600 95200 | 2147483647 61597 50 | 0.004 % |
838.81/839.25 c | 1339493 | 160 13600 95200 | 2147483647 63291 50 | 0.004 % |
840.10/840.57 c | 1341356 | 160 13600 95200 | 63800 56958 50 | 0.004 % |
841.40/841.82 c | 1343406 | 160 13600 95200 | 63800 59008 50 | 0.004 % |
842.70/843.14 c | 1345659 | 160 13600 95200 | 63800 61261 50 | 0.004 % |
844.20/844.66 c | 1348138 | 160 13600 95200 | 63800 63740 50 | 0.004 % |
845.80/846.27 c | 1350864 | 160 13600 95200 | 58067 52128 49 | 0.004 % |
847.40/847.88 c | 1353862 | 160 13600 95200 | 58067 55126 49 | 0.004 % |
849.40/849.82 c | 1357158 | 160 13600 95200 | 58067 52609 49 | 0.004 % |
851.40/851.84 c | 1360783 | 160 13600 95200 | 2147483647 56234 49 | 0.004 % |
853.70/854.13 c | 1364770 | 160 13600 95200 | 2147483647 60221 49 | 0.004 % |
856.50/856.92 c | 1369156 | 160 13600 95200 | 2147483647 64607 49 | 0.004 % |
859.50/859.98 c | 1373980 | 160 13600 95200 | 65451 62721 49 | 0.004 % |
863.10/863.56 c | 1379285 | 160 13600 95200 | 65451 60502 49 | 0.004 % |
866.89/867.32 c | 1385120 | 160 13600 95200 | 61219 59479 49 | 0.004 % |
870.70/871.16 c | 1391539 | 160 13600 95200 | 2147483647 59762 49 | 0.004 % |
874.79/875.28 c | 1398598 | 160 13600 95200 | 2147483647 66821 49 | 0.004 % |
879.29/879.78 c | 1406362 | 160 13600 95200 | 68224 65712 49 | 0.004 % |
884.69/885.16 c | 1414904 | 160 13600 95200 | 59622 56030 50 | 0.004 % |
889.79/890.25 c | 1424298 | 160 13600 95200 | 54537 53029 50 | 0.004 % |
895.89/896.35 c | 1434632 | 160 13600 95200 | 2147483647 57901 50 | 0.004 % |
903.28/903.74 c | 1445998 | 160 13600 95200 | 63270 62806 50 | 0.004 % |
910.68/911.15 c | 1458502 | 160 13600 95200 | 58903 54650 49 | 0.004 % |
910.78/911.22 c | 1458603 | 160 13600 95200 | 58903 54751 49 | 0.004 % |
910.78/911.28 c | 1458716 | 160 13600 95200 | 58903 54864 49 | 0.004 % |
910.88/911.35 c | 1458838 | 160 13600 95200 | 58903 54986 49 | 0.004 % |
910.98/911.45 c | 1458971 | 160 13600 95200 | 58903 55119 49 | 0.004 % |
911.08/911.56 c | 1459119 | 160 13600 95200 | 58903 55267 49 | 0.004 % |
911.18/911.66 c | 1459280 | 160 13600 95200 | 58903 55428 49 | 0.004 % |
911.28/911.79 c | 1459456 | 160 13600 95200 | 58903 55604 49 | 0.004 % |
911.48/911.91 c | 1459649 | 160 13600 95200 | 58903 55797 49 | 0.004 % |
911.58/912.05 c | 1459861 | 160 13600 95200 | 58903 56009 49 | 0.004 % |
911.78/912.21 c | 1460094 | 160 13600 95200 | 2147483647 56242 49 | 0.004 % |
911.98/912.43 c | 1460350 | 160 13600 95200 | 2147483647 56498 49 | 0.004 % |
912.18/912.65 c | 1460631 | 160 13600 95200 | 2147483647 56779 49 | 0.004 % |
912.38/912.88 c | 1460942 | 160 13600 95200 | 2147483647 57090 49 | 0.004 % |
912.68/913.10 c | 1461283 | 160 13600 95200 | 2147483647 57431 49 | 0.004 % |
912.88/913.34 c | 1461657 | 160 13600 95200 | 2147483647 57805 49 | 0.004 % |
913.08/913.58 c | 1462067 | 160 13600 95200 | 2147483647 58215 49 | 0.004 % |
913.48/913.93 c | 1462516 | 160 13600 95200 | 2147483647 58664 49 | 0.004 % |
913.88/914.37 c | 1463010 | 160 13600 95200 | 2147483647 59158 49 | 0.004 % |
914.28/914.73 c | 1463552 | 160 13600 95200 | 2147483647 59700 49 | 0.004 % |
914.68/915.19 c | 1464149 | 160 13600 95200 | 2147483647 60297 49 | 0.004 % |
915.07/915.59 c | 1464804 | 160 13600 95200 | 2147483647 60952 49 | 0.004 % |
915.57/916.04 c | 1465524 | 160 13600 95200 | 2147483647 61672 49 | 0.004 % |
916.17/916.63 c | 1466316 | 160 13600 95200 | 2147483647 62464 49 | 0.004 % |
916.77/917.22 c | 1467187 | 160 13600 95200 | 2147483647 63335 49 | 0.004 % |
917.37/917.89 c | 1468146 | 160 13600 95200 | 2147483647 64294 49 | 0.004 % |
918.17/918.66 c | 1469199 | 160 13600 95200 | 2147483647 65347 49 | 0.004 % |
919.08/919.51 c | 1470357 | 160 13600 95200 | 66149 57670 49 | 0.004 % |
919.87/920.32 c | 1471630 | 160 13600 95200 | 66149 58943 49 | 0.004 % |
920.77/921.22 c | 1473031 | 160 13600 95200 | 66149 60344 49 | 0.004 % |
921.87/922.35 c | 1474572 | 160 13600 95200 | 66149 61885 49 | 0.004 % |
922.97/923.45 c | 1476270 | 160 13600 95200 | 66149 63583 49 | 0.004 % |
924.17/924.70 c | 1478133 | 160 13600 95200 | 66149 65446 49 | 0.004 % |
925.67/926.14 c | 1480182 | 160 13600 95200 | 58158 50492 49 | 0.004 % |
926.77/927.27 c | 1482436 | 160 13600 95200 | 58158 52746 49 | 0.004 % |
928.17/928.65 c | 1484915 | 160 13600 95200 | 58158 55225 49 | 0.004 % |
929.67/930.15 c | 1487641 | 160 13600 95200 | 58158 57951 49 | 0.004 % |
931.27/931.75 c | 1490642 | 160 13600 95200 | 2147483647 55130 49 | 0.004 % |
933.17/933.60 c | 1493939 | 160 13600 95200 | 2147483647 58427 49 | 0.004 % |
935.17/935.66 c | 1497565 | 160 13600 95200 | 2147483647 62053 49 | 0.004 % |
937.77/938.22 c | 1501553 | 160 13600 95200 | 2147483647 66041 49 | 0.004 % |
940.77/941.22 c | 1505939 | 160 13600 95200 | 2147483647 70427 49 | 0.004 % |
944.37/944.84 c | 1510762 | 160 13600 95200 | 74488 63908 49 | 0.004 % |
947.97/948.47 c | 1516067 | 160 13600 95200 | 74488 69213 49 | 0.004 % |
952.57/953.02 c | 1521902 | 160 13600 95200 | 73146 62806 49 | 0.004 % |
957.17/957.61 c | 1528322 | 160 13600 95200 | 73146 69226 49 | 0.004 % |
962.37/962.86 c | 1535381 | 160 13600 95200 | 70904 64321 49 | 0.004 % |
967.57/968.05 c | 1543148 | 160 13600 95200 | 68942 61657 49 | 0.004 % |
973.16/973.64 c | 1551689 | 160 13600 95200 | 68510 61382 49 | 0.004 % |
979.96/980.48 c | 1561084 | 160 13600 95200 | 60198 52973 49 | 0.004 % |
985.66/986.15 c | 1571421 | 160 13600 95200 | 55574 51316 49 | 0.004 % |
991.86/992.39 c | 1582789 | 160 13600 95200 | 2147483647 57119 49 | 0.004 % |
999.26/999.74 c | 1595291 | 160 13600 95200 | 2147483647 69621 49 | 0.004 % |
1009.26/1009.75 c | 1609044 | 160 13600 95200 | 74331 72898 50 | 0.004 % |
1009.36/1009.87 c | 1609146 | 160 13600 95200 | 74331 73000 50 | 0.004 % |
1009.45/1009.96 c | 1609256 | 160 13600 95200 | 74331 73110 50 | 0.004 % |
1009.55/1010.07 c | 1609380 | 160 13600 95200 | 74331 73234 50 | 0.004 % |
1009.75/1010.21 c | 1609513 | 160 13600 95200 | 74331 73367 50 | 0.004 % |
1009.85/1010.34 c | 1609659 | 160 13600 95200 | 74331 73513 50 | 0.004 % |
1009.95/1010.49 c | 1609819 | 160 13600 95200 | 74331 73673 50 | 0.004 % |
1010.15/1010.65 c | 1609995 | 160 13600 95200 | 74331 73849 50 | 0.004 % |
1010.36/1010.86 c | 1610188 | 160 13600 95200 | 73857 62317 50 | 0.004 % |
1010.46/1010.98 c | 1610401 | 160 13600 95200 | 73857 62530 50 | 0.004 % |
1010.65/1011.17 c | 1610634 | 160 13600 95200 | 73857 62763 50 | 0.004 % |
1010.85/1011.37 c | 1610890 | 160 13600 95200 | 73857 63019 50 | 0.004 % |
1011.05/1011.58 c | 1611171 | 160 13600 95200 | 73857 63300 50 | 0.004 % |
1011.35/1011.81 c | 1611480 | 160 13600 95200 | 73857 63609 50 | 0.004 % |
1011.55/1012.07 c | 1611819 | 160 13600 95200 | 73857 63948 50 | 0.004 % |
1011.85/1012.34 c | 1612191 | 160 13600 95200 | 73857 64320 50 | 0.004 % |
1012.05/1012.59 c | 1612600 | 160 13600 95200 | 73857 64729 50 | 0.004 % |
1012.35/1012.85 c | 1613052 | 160 13600 95200 | 73857 65181 50 | 0.004 % |
1012.75/1013.25 c | 1613546 | 160 13600 95200 | 73857 65675 50 | 0.004 % |
1013.15/1013.63 c | 1614089 | 160 13600 95200 | 73857 66218 49 | 0.004 % |
1013.55/1014.04 c | 1614686 | 160 13600 95200 | 73857 66815 49 | 0.004 % |
1014.05/1014.57 c | 1615341 | 160 13600 95200 | 73857 67470 49 | 0.004 % |
1014.65/1015.10 c | 1616061 | 160 13600 95200 | 73857 68190 49 | 0.004 % |
1015.25/1015.79 c | 1616853 | 160 13600 95200 | 73857 68982 49 | 0.004 % |
1016.05/1016.51 c | 1617725 | 160 13600 95200 | 73857 69854 49 | 0.004 % |
1016.85/1017.32 c | 1618683 | 160 13600 95200 | 73857 70812 49 | 0.004 % |
1017.55/1018.01 c | 1619736 | 160 13600 95200 | 73857 71865 49 | 0.004 % |
1018.35/1018.85 c | 1620894 | 160 13600 95200 | 72129 60462 50 | 0.004 % |
1019.15/1019.68 c | 1622167 | 160 13600 95200 | 72129 61735 50 | 0.004 % |
1020.14/1020.69 c | 1623568 | 160 13600 95200 | 72129 63136 50 | 0.004 % |
1021.45/1021.93 c | 1625109 | 160 13600 95200 | 72129 64677 50 | 0.004 % |
1022.74/1023.21 c | 1626803 | 160 13600 95200 | 72129 66371 50 | 0.004 % |
1023.94/1024.45 c | 1628666 | 160 13600 95200 | 72129 68234 50 | 0.004 % |
1025.24/1025.76 c | 1630715 | 160 13600 95200 | 69569 59402 49 | 0.004 % |
1026.54/1027.05 c | 1632971 | 160 13600 95200 | 69569 61658 50 | 0.004 % |
1028.05/1028.58 c | 1635450 | 160 13600 95200 | 69569 64137 50 | 0.004 % |
1029.84/1030.35 c | 1638175 | 160 13600 95200 | 69569 66862 50 | 0.004 % |
1031.94/1032.40 c | 1641172 | 160 13600 95200 | 68688 60729 49 | 0.004 % |
1033.84/1034.35 c | 1644468 | 160 13600 95200 | 68688 64025 49 | 0.004 % |
1036.14/1036.63 c | 1648094 | 160 13600 95200 | 68688 67651 49 | 0.004 % |
1038.54/1039.02 c | 1652081 | 160 13600 95200 | 60672 54950 50 | 0.004 % |
1041.34/1041.80 c | 1656466 | 160 13600 95200 | 60672 59335 50 | 0.004 % |
1044.34/1044.83 c | 1661289 | 160 13600 95200 | 55985 51193 49 | 0.004 % |
1047.54/1048.01 c | 1666595 | 160 13600 95200 | 55985 50894 50 | 0.004 % |
1050.83/1051.34 c | 1672430 | 160 13600 95200 | 2147483647 56729 50 | 0.004 % |
1054.53/1055.07 c | 1678849 | 160 13600 95200 | 2147483647 63148 50 | 0.004 % |
1059.43/1059.92 c | 1685909 | 160 13600 95200 | 64302 63567 50 | 0.004 % |
1064.83/1065.33 c | 1693673 | 160 13600 95200 | 59849 56253 49 | 0.004 % |
1069.93/1070.49 c | 1702216 | 160 13600 95200 | 2147483647 58704 49 | 0.004 % |
1076.43/1076.93 c | 1711610 | 160 13600 95200 | 66488 59789 49 | 0.004 % |
1083.62/1084.15 c | 1721944 | 160 13600 95200 | 59030 53050 50 | 0.004 % |
1090.82/1091.40 c | 1733312 | 160 13600 95200 | 54764 52428 49 | 0.004 % |
1099.12/1099.63 c | 1745816 | 160 13600 95200 | 2147483647 59449 49 | 0.004 % |
1109.02/1109.51 c | 1759569 | 160 13600 95200 | 2147483647 73202 49 | 0.004 % |
1118.32/1118.80 c | 1774696 | 160 13600 95200 | 72518 64511 50 | 0.004 % |
1118.32/1118.86 c | 1774797 | 160 13600 95200 | 72518 64612 50 | 0.004 % |
1118.41/1118.94 c | 1774907 | 160 13600 95200 | 72518 64722 50 | 0.004 % |
1118.51/1119.02 c | 1775028 | 160 13600 95200 | 72518 64843 50 | 0.004 % |
1118.61/1119.14 c | 1775164 | 160 13600 95200 | 72518 64979 50 | 0.004 % |
1118.71/1119.26 c | 1775311 | 160 13600 95200 | 72518 65126 50 | 0.004 % |
1118.81/1119.38 c | 1775471 | 160 13600 95200 | 72518 65286 50 | 0.004 % |
1119.01/1119.52 c | 1775647 | 160 13600 95200 | 72518 65462 50 | 0.004 % |
1119.11/1119.69 c | 1775842 | 160 13600 95200 | 72518 65657 50 | 0.004 % |
1119.32/1119.86 c | 1776056 | 160 13600 95200 | 72518 65871 50 | 0.004 % |
1119.51/1120.06 c | 1776291 | 160 13600 95200 | 72518 66106 50 | 0.004 % |
1119.71/1120.25 c | 1776547 | 160 13600 95200 | 72518 66362 50 | 0.004 % |
1119.91/1120.48 c | 1776828 | 160 13600 95200 | 72518 66643 50 | 0.004 % |
1120.11/1120.69 c | 1777137 | 160 13600 95200 | 72518 66952 50 | 0.004 % |
1120.42/1120.92 c | 1777478 | 160 13600 95200 | 72518 67293 50 | 0.004 % |
1120.61/1121.16 c | 1777850 | 160 13600 95200 | 72518 67665 50 | 0.004 % |
1120.91/1121.47 c | 1778260 | 160 13600 95200 | 72518 68075 49 | 0.004 % |
1121.21/1121.79 c | 1778710 | 160 13600 95200 | 72518 68525 49 | 0.004 % |
1121.61/1122.14 c | 1779204 | 160 13600 95200 | 72518 69019 49 | 0.004 % |
1122.01/1122.55 c | 1779746 | 160 13600 95200 | 72518 69561 49 | 0.004 % |
1122.51/1123.05 c | 1780342 | 160 13600 95200 | 69817 58650 49 | 0.004 % |
1122.91/1123.45 c | 1780997 | 160 13600 95200 | 69817 59305 49 | 0.004 % |
1123.31/1123.87 c | 1781717 | 160 13600 95200 | 69817 60025 49 | 0.004 % |
1123.81/1124.36 c | 1782509 | 160 13600 95200 | 69817 60817 49 | 0.004 % |
1124.41/1124.95 c | 1783380 | 160 13600 95200 | 69817 61688 49 | 0.004 % |
1125.01/1125.56 c | 1784339 | 160 13600 95200 | 69817 62647 49 | 0.004 % |
1125.91/1126.40 c | 1785393 | 160 13600 95200 | 69817 63701 49 | 0.004 % |
1126.71/1127.25 c | 1786551 | 160 13600 95200 | 69817 64859 49 | 0.004 % |
1127.61/1128.17 c | 1787824 | 160 13600 95200 | 69817 66132 49 | 0.004 % |
1128.61/1129.17 c | 1789225 | 160 13600 95200 | 69817 67533 49 | 0.004 % |
1129.81/1130.30 c | 1790765 | 160 13600 95200 | 68309 58649 49 | 0.004 % |
1130.81/1131.34 c | 1792461 | 160 13600 95200 | 68309 60345 49 | 0.004 % |
1132.01/1132.52 c | 1794324 | 160 13600 95200 | 68309 62208 49 | 0.004 % |
1133.21/1133.73 c | 1796377 | 160 13600 95200 | 68309 64261 49 | 0.004 % |
1134.61/1135.14 c | 1798630 | 160 13600 95200 | 68309 66514 49 | 0.004 % |
1136.20/1136.75 c | 1801108 | 160 13600 95200 | 67884 60173 49 | 0.004 % |
1137.70/1138.23 c | 1803833 | 160 13600 95200 | 67884 62898 49 | 0.004 % |
1139.50/1140.05 c | 1806830 | 160 13600 95200 | 67884 65895 49 | 0.004 % |
1141.80/1142.34 c | 1810126 | 160 13600 95200 | 60324 52873 49 | 0.004 % |
1143.80/1144.31 c | 1813751 | 160 13600 95200 | 60324 56498 49 | 0.004 % |
1146.10/1146.63 c | 1817738 | 160 13600 95200 | 60324 54446 49 | 0.004 % |
1148.50/1149.08 c | 1822123 | 160 13600 95200 | 2147483647 58831 49 | 0.004 % |
1151.60/1152.15 c | 1826947 | 160 13600 95200 | 2147483647 63655 49 | 0.004 % |
1155.10/1155.66 c | 1832255 | 160 13600 95200 | 66708 61087 48 | 0.004 % |
1158.70/1159.28 c | 1838090 | 160 13600 95200 | 66708 58891 49 | 0.004 % |
1162.10/1162.68 c | 1844508 | 160 13600 95200 | 60802 57906 49 | 0.004 % |
1166.09/1166.67 c | 1851567 | 160 13600 95200 | 56786 52364 49 | 0.004 % |
1170.39/1170.94 c | 1859331 | 160 13600 95200 | 56786 54443 49 | 0.004 % |
1175.49/1176.04 c | 1867872 | 160 13600 95200 | 2147483647 62984 49 | 0.004 % |
1181.59/1182.19 c | 1877266 | 160 13600 95200 | 2147483647 72378 49 | 0.004 % |
1189.69/1190.22 c | 1887599 | 160 13600 95200 | 75113 71478 49 | 0.004 % |
1197.19/1197.77 c | 1898966 | 160 13600 95200 | 73879 70255 49 | 0.004 % |
1200.09/1200.61 HOME/SatELiteGTI: line 36: 17318 Terminated $MS $TMP.cnf $TMP.result
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1832611-1242785132/watcher-1832611-1242785132 -o /tmp/evaluation-result-1832611-1242785132/solver-1832611-1242785132 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832611-1242785132.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.00 1.01 1.00 3/64 17312
/proc/meminfo: memFree=1893032/2055920 swapFree=4180796/4192956
[pid=17312] ppid=17310 vsize=5356 CPUtime=0
/proc/17312/stat : 17312 (SatELiteGTI) S 17310 17312 16747 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 306547109 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17312/statm: 1339 237 197 169 0 50 0
[startup+0.020542 s]
/proc/loadavg: 1.00 1.01 1.00 3/64 17312
/proc/meminfo: memFree=1893032/2055920 swapFree=4180796/4192956
[pid=17312] ppid=17310 vsize=5356 CPUtime=0
/proc/17312/stat : 17312 (SatELiteGTI) S 17310 17312 16747 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 306547109 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17312/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.101555 s]
/proc/loadavg: 1.00 1.01 1.00 3/64 17312
/proc/meminfo: memFree=1893032/2055920 swapFree=4180796/4192956
[pid=17312] ppid=17310 vsize=5356 CPUtime=0.04
/proc/17312/stat : 17312 (SatELiteGTI) S 17310 17312 16747 0 -1 4194304 336 668 0 0 0 0 4 0 16 0 1 0 306547109 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17312/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 5356
[startup+0.301578 s]
/proc/loadavg: 1.00 1.01 1.00 3/64 17312
/proc/meminfo: memFree=1893032/2055920 swapFree=4180796/4192956
[pid=17312] ppid=17310 vsize=5356 CPUtime=0.04
/proc/17312/stat : 17312 (SatELiteGTI) S 17310 17312 16747 0 -1 4194304 336 668 0 0 0 0 4 0 16 0 1 0 306547109 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17312/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 5356
[startup+0.701624 s]
/proc/loadavg: 1.00 1.01 1.00 3/64 17312
/proc/meminfo: memFree=1893032/2055920 swapFree=4180796/4192956
[pid=17312] ppid=17310 vsize=5356 CPUtime=0.04
/proc/17312/stat : 17312 (SatELiteGTI) S 17310 17312 16747 0 -1 4194304 336 668 0 0 0 0 4 0 16 0 1 0 306547109 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17312/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 5356
[startup+1.50171 s]
/proc/loadavg: 1.00 1.01 1.00 2/66 17318
/proc/meminfo: memFree=1889752/2055920 swapFree=4180796/4192956
[pid=17312] ppid=17310 vsize=5356 CPUtime=0.04
/proc/17312/stat : 17312 (SatELiteGTI) S 17310 17312 16747 0 -1 4194304 336 668 0 0 0 0 4 0 16 0 1 0 306547109 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17312/statm: 1339 239 197 169 0 50 0
[pid=17318] ppid=17312 vsize=4820 CPUtime=1.43
/proc/17318/stat : 17318 (minisat_static) R 17312 17312 16747 0 -1 4194304 934 0 0 0 143 0 0 0 25 0 1 0 306547114 4935680 920 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17318/statm: 1205 920 76 171 0 1032 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 10176
[startup+3.10188 s]
/proc/loadavg: 1.00 1.01 1.00 2/66 17318
/proc/meminfo: memFree=1887896/2055920 swapFree=4180796/4192956
[pid=17312] ppid=17310 vsize=5356 CPUtime=0.04
/proc/17312/stat : 17312 (SatELiteGTI) S 17310 17312 16747 0 -1 4194304 336 668 0 0 0 0 4 0 16 0 1 0 306547109 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17312/statm: 1339 239 197 169 0 50 0
[pid=17318] ppid=17312 vsize=6824 CPUtime=3.03
/proc/17318/stat : 17318 (minisat_static) R 17312 17312 16747 0 -1 4194304 1449 0 0 0 302 1 0 0 25 0 1 0 306547114 6987776 1435 1992294400 134512640 135215339 4294956240 18446744073709551615 134529091 0 0 4096 3 0 0 0 17 1 0 0
/proc/17318/statm: 1706 1435 76 171 0 1533 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 12180
[startup+6.30124 s]
/proc/loadavg: 1.00 1.01 1.00 2/66 17318
/proc/meminfo: memFree=1884632/2055920 swapFree=4180796/4192956
[pid=17312] ppid=17310 vsize=5356 CPUtime=0.04
/proc/17312/stat : 17312 (SatELiteGTI) S 17310 17312 16747 0 -1 4194304 336 668 0 0 0 0 4 0 16 0 1 0 306547109 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17312/statm: 1339 239 197 169 0 50 0
[pid=17318] ppid=17312 vsize=9500 CPUtime=6.22
/proc/17318/stat : 17318 (minisat_static) R 17312 17312 16747 0 -1 4194304 2094 0 0 0 620 2 0 0 25 0 1 0 306547114 9728000 2080 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 1 0 0
/proc/17318/statm: 2375 2080 76 171 0 2202 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 14856
[startup+12.703 s]
/proc/loadavg: 1.00 1.01 1.00 2/66 17318
/proc/meminfo: memFree=1880792/2055920 swapFree=4180796/4192956
[pid=17312] ppid=17310 vsize=5356 CPUtime=0.04
/proc/17312/stat : 17312 (SatELiteGTI) S 17310 17312 16747 0 -1 4194304 336 668 0 0 0 0 4 0 16 0 1 0 306547109 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17312/statm: 1339 239 197 169 0 50 0
[pid=17318] ppid=17312 vsize=13020 CPUtime=12.61
/proc/17318/stat : 17318 (minisat_static) R 17312 17312 16747 0 -1 4194304 2958 0 0 0 1258 3 0 0 25 0 1 0 306547114 13332480 2944 1992294400 134512640 135215339 4294956240 18446744073709551615 134528751 0 0 4096 3 0 0 0 17 1 0 0
/proc/17318/statm: 3255 2944 76 171 0 3082 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 18376
[startup+25.5014 s]
/proc/loadavg: 1.00 1.01 1.00 2/66 17318
/proc/meminfo: memFree=1875864/2055920 swapFree=4180796/4192956
[pid=17312] ppid=17310 vsize=5356 CPUtime=0.04
/proc/17312/stat : 17312 (SatELiteGTI) S 17310 17312 16747 0 -1 4194304 336 668 0 0 0 0 4 0 16 0 1 0 306547109 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17312/statm: 1339 239 197 169 0 50 0
[pid=17318] ppid=17312 vsize=17648 CPUtime=25.41
/proc/17318/stat : 17318 (minisat_static) R 17312 17312 16747 0 -1 4194304 4124 0 0 0 2536 5 0 0 25 0 1 0 306547114 18071552 4110 1992294400 134512640 135215339 4294956240 18446744073709551615 134528846 0 0 4096 3 0 0 0 17 1 0 0
/proc/17318/statm: 4412 4110 76 171 0 4239 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 23004
[startup+51.1013 s]
/proc/loadavg: 1.00 1.01 1.00 2/66 17318
/proc/meminfo: memFree=1875480/2055920 swapFree=4180796/4192956
[pid=17312] ppid=17310 vsize=5356 CPUtime=0.04
/proc/17312/stat : 17312 (SatELiteGTI) S 17310 17312 16747 0 -1 4194304 336 668 0 0 0 0 4 0 16 0 1 0 306547109 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17312/statm: 1339 239 197 169 0 50 0
[pid=17318] ppid=17312 vsize=17912 CPUtime=50.98
/proc/17318/stat : 17318 (minisat_static) R 17312 17312 16747 0 -1 4194304 4186 0 0 0 5093 5 0 0 25 0 1 0 306547114 18341888 4172 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17318/statm: 4478 4172 76 171 0 4305 0
Current children cumulated CPU time (s) 51.02
Current children cumulated vsize (KiB) 23268
[startup+102.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17318
/proc/meminfo: memFree=1875160/2055920 swapFree=4180796/4192956
[pid=17312] ppid=17310 vsize=5356 CPUtime=0.04
/proc/17312/stat : 17312 (SatELiteGTI) S 17310 17312 16747 0 -1 4194304 336 668 0 0 0 0 4 0 16 0 1 0 306547109 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17312/statm: 1339 239 197 169 0 50 0
[pid=17318] ppid=17312 vsize=18044 CPUtime=102.16
/proc/17318/stat : 17318 (minisat_static) R 17312 17312 16747 0 -1 4194304 4235 0 0 0 10210 6 0 0 25 0 1 0 306547114 18477056 4221 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17318/statm: 4511 4221 76 171 0 4338 0
Current children cumulated CPU time (s) 102.2
Current children cumulated vsize (KiB) 23400
[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17318
/proc/meminfo: memFree=1874456/2055920 swapFree=4180796/4192956
[pid=17312] ppid=17310 vsize=5356 CPUtime=0.04
/proc/17312/stat : 17312 (SatELiteGTI) S 17310 17312 16747 0 -1 4194304 336 668 0 0 0 0 4 0 16 0 1 0 306547109 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17312/statm: 1339 239 197 169 0 50 0
[pid=17318] ppid=17312 vsize=18704 CPUtime=162.12
/proc/17318/stat : 17318 (minisat_static) R 17312 17312 16747 0 -1 4194304 4379 0 0 0 16206 6 0 0 25 0 1 0 306547114 19152896 4365 1992294400 134512640 135215339 4294956240 18446744073709551615 134528742 0 0 4096 3 0 0 0 17 1 0 0
/proc/17318/statm: 4676 4365 76 171 0 4503 0
Current children cumulated CPU time (s) 162.16
Current children cumulated vsize (KiB) 24060
[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17318
/proc/meminfo: memFree=1873560/2055920 swapFree=4180796/4192956
[pid=17312] ppid=17310 vsize=5356 CPUtime=0.04
/proc/17312/stat : 17312 (SatELiteGTI) S 17310 17312 16747 0 -1 4194304 336 668 0 0 0 0 4 0 16 0 1 0 306547109 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17312/statm: 1339 239 197 169 0 50 0
[pid=17318] ppid=17312 vsize=19496 CPUtime=222.09
/proc/17318/stat : 17318 (minisat_static) R 17312 17312 16747 0 -1 4194304 4578 0 0 0 22202 7 0 0 25 0 1 0 306547114 19963904 4564 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17318/statm: 4874 4564 76 171 0 4701 0
Current children cumulated CPU time (s) 222.13
Current children cumulated vsize (KiB) 24852
[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17318
/proc/meminfo: memFree=1873432/2055920 swapFree=4180796/4192956
[pid=17312] ppid=17310 vsize=5356 CPUtime=0.04
/proc/17312/stat : 17312 (SatELiteGTI) S 17310 17312 16747 0 -1 4194304 336 668 0 0 0 0 4 0 16 0 1 0 306547109 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17312/statm: 1339 239 197 169 0 50 0
[pid=17318] ppid=17312 vsize=19496 CPUtime=282.07
/proc/17318/stat : 17318 (minisat_static) R 17312 17312 16747 0 -1 4194304 4591 0 0 0 28200 7 0 0 25 0 1 0 306547114 19963904 4577 1992294400 134512640 135215339 4294956240 18446744073709551615 134538800 0 0 4096 3 0 0 0 17 1 0 0
/proc/17318/statm: 4874 4577 76 171 0 4701 0
Current children cumulated CPU time (s) 282.11
Current children cumulated vsize (KiB) 24852
[startup+342.302 s]
/proc/loadavg: 1.03 1.01 1.00 2/66 17318
/proc/meminfo: memFree=1873048/2055920 swapFree=4180796/4192956
[pid=17312] ppid=17310 vsize=5356 CPUtime=0.04
/proc/17312/stat : 17312 (SatELiteGTI) S 17310 17312 16747 0 -1 4194304 336 668 0 0 0 0 4 0 16 0 1 0 306547109 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17312/statm: 1339 239 197 169 0 50 0
[pid=17318] ppid=17312 vsize=19776 CPUtime=342.04
/proc/17318/stat : 17318 (minisat_static) R 17312 17312 16747 0 -1 4194304 4667 0 0 0 34197 7 0 0 25 0 1 0 306547114 20250624 4653 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17318/statm: 4944 4653 76 171 0 4771 0
Current children cumulated CPU time (s) 342.08
Current children cumulated vsize (KiB) 25132
[startup+402.302 s]
/proc/loadavg: 1.01 1.01 1.00 2/66 17318
/proc/meminfo: memFree=1871960/2055920 swapFree=4180796/4192956
[pid=17312] ppid=17310 vsize=5356 CPUtime=0.04
/proc/17312/stat : 17312 (SatELiteGTI) S 17310 17312 16747 0 -1 4194304 336 668 0 0 0 0 4 0 16 0 1 0 306547109 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17312/statm: 1339 239 197 169 0 50 0
[pid=17318] ppid=17312 vsize=20700 CPUtime=402.02
/proc/17318/stat : 17318 (minisat_static) R 17312 17312 16747 0 -1 4194304 4902 0 0 0 40194 8 0 0 25 0 1 0 306547114 21196800 4888 1992294400 134512640 135215339 4294956240 18446744073709551615 134529099 0 0 4096 3 0 0 0 17 1 0 0
/proc/17318/statm: 5175 4888 76 171 0 5002 0
Current children cumulated CPU time (s) 402.06
Current children cumulated vsize (KiB) 26056
[startup+462.301 s]
################
# More data... #
################
[pid=17318] ppid=17312 vsize=21384 CPUtime=461.99
/proc/17318/stat : 17318 (minisat_static) R 17312 17312 16747 0 -1 4194304 5065 0 0 0 46191 8 0 0 25 0 1 0 306547114 21897216 5051 1992294400 134512640 135215339 4294956240 18446744073709551615 134528664 0 0 4096 3 0 0 0 17 1 0 0
/proc/17318/statm: 5346 5051 76 171 0 5173 0
Current children cumulated CPU time (s) 462.03
Current children cumulated vsize (KiB) 26740
[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17318
/proc/meminfo: memFree=1871128/2055920 swapFree=4180796/4192956
[pid=17312] ppid=17310 vsize=5356 CPUtime=0.04
/proc/17312/stat : 17312 (SatELiteGTI) S 17310 17312 16747 0 -1 4194304 336 668 0 0 0 0 4 0 16 0 1 0 306547109 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17312/statm: 1339 239 197 169 0 50 0
[pid=17318] ppid=17312 vsize=21384 CPUtime=521.97
/proc/17318/stat : 17318 (minisat_static) R 17312 17312 16747 0 -1 4194304 5070 0 0 0 52189 8 0 0 25 0 1 0 306547114 21897216 5056 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17318/statm: 5346 5056 76 171 0 5173 0
Current children cumulated CPU time (s) 522.01
Current children cumulated vsize (KiB) 26740
[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17318
/proc/meminfo: memFree=1871064/2055920 swapFree=4180796/4192956
[pid=17312] ppid=17310 vsize=5356 CPUtime=0.04
/proc/17312/stat : 17312 (SatELiteGTI) S 17310 17312 16747 0 -1 4194304 336 668 0 0 0 0 4 0 16 0 1 0 306547109 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17312/statm: 1339 239 197 169 0 50 0
[pid=17318] ppid=17312 vsize=21384 CPUtime=581.95
/proc/17318/stat : 17318 (minisat_static) R 17312 17312 16747 0 -1 4194304 5070 0 0 0 58187 8 0 0 25 0 1 0 306547114 21897216 5056 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17318/statm: 5346 5056 76 171 0 5173 0
Current children cumulated CPU time (s) 581.99
Current children cumulated vsize (KiB) 26740
[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17318
/proc/meminfo: memFree=1870872/2055920 swapFree=4180796/4192956
[pid=17312] ppid=17310 vsize=5356 CPUtime=0.04
/proc/17312/stat : 17312 (SatELiteGTI) S 17310 17312 16747 0 -1 4194304 336 668 0 0 0 0 4 0 16 0 1 0 306547109 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17312/statm: 1339 239 197 169 0 50 0
[pid=17318] ppid=17312 vsize=21384 CPUtime=641.93
/proc/17318/stat : 17318 (minisat_static) R 17312 17312 16747 0 -1 4194304 5070 0 0 0 64185 8 0 0 25 0 1 0 306547114 21897216 5056 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17318/statm: 5346 5056 76 171 0 5173 0
Current children cumulated CPU time (s) 641.97
Current children cumulated vsize (KiB) 26740
[startup+702.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17318
/proc/meminfo: memFree=1870808/2055920 swapFree=4180796/4192956
[pid=17312] ppid=17310 vsize=5356 CPUtime=0.04
/proc/17312/stat : 17312 (SatELiteGTI) S 17310 17312 16747 0 -1 4194304 336 668 0 0 0 0 4 0 16 0 1 0 306547109 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17312/statm: 1339 239 197 169 0 50 0
[pid=17318] ppid=17312 vsize=21384 CPUtime=701.91
/proc/17318/stat : 17318 (minisat_static) R 17312 17312 16747 0 -1 4194304 5070 0 0 0 70183 8 0 0 25 0 1 0 306547114 21897216 5056 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17318/statm: 5346 5056 76 171 0 5173 0
Current children cumulated CPU time (s) 701.95
Current children cumulated vsize (KiB) 26740
[startup+762.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17318
/proc/meminfo: memFree=1869976/2055920 swapFree=4180796/4192956
[pid=17312] ppid=17310 vsize=5356 CPUtime=0.04
/proc/17312/stat : 17312 (SatELiteGTI) S 17310 17312 16747 0 -1 4194304 336 668 0 0 0 0 4 0 16 0 1 0 306547109 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17312/statm: 1339 239 197 169 0 50 0
[pid=17318] ppid=17312 vsize=22184 CPUtime=761.9
/proc/17318/stat : 17318 (minisat_static) R 17312 17312 16747 0 -1 4194304 5265 0 0 0 76181 9 0 0 25 0 1 0 306547114 22716416 5251 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17318/statm: 5546 5251 76 171 0 5373 0
Current children cumulated CPU time (s) 761.94
Current children cumulated vsize (KiB) 27540
[startup+822.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17318
/proc/meminfo: memFree=1869784/2055920 swapFree=4180796/4192956
[pid=17312] ppid=17310 vsize=5356 CPUtime=0.04
/proc/17312/stat : 17312 (SatELiteGTI) S 17310 17312 16747 0 -1 4194304 336 668 0 0 0 0 4 0 16 0 1 0 306547109 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17312/statm: 1339 239 197 169 0 50 0
[pid=17318] ppid=17312 vsize=22316 CPUtime=821.87
/proc/17318/stat : 17318 (minisat_static) R 17312 17312 16747 0 -1 4194304 5300 0 0 0 82178 9 0 0 25 0 1 0 306547114 22851584 5286 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17318/statm: 5579 5286 76 171 0 5406 0
Current children cumulated CPU time (s) 821.91
Current children cumulated vsize (KiB) 27672
[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17318
/proc/meminfo: memFree=1869720/2055920 swapFree=4180796/4192956
[pid=17312] ppid=17310 vsize=5356 CPUtime=0.04
/proc/17312/stat : 17312 (SatELiteGTI) S 17310 17312 16747 0 -1 4194304 336 668 0 0 0 0 4 0 16 0 1 0 306547109 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17312/statm: 1339 239 197 169 0 50 0
[pid=17318] ppid=17312 vsize=22316 CPUtime=881.85
/proc/17318/stat : 17318 (minisat_static) R 17312 17312 16747 0 -1 4194304 5301 0 0 0 88176 9 0 0 25 0 1 0 306547114 22851584 5287 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17318/statm: 5579 5287 76 171 0 5406 0
Current children cumulated CPU time (s) 881.89
Current children cumulated vsize (KiB) 27672
[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17318
/proc/meminfo: memFree=1869528/2055920 swapFree=4180796/4192956
[pid=17312] ppid=17310 vsize=5356 CPUtime=0.04
/proc/17312/stat : 17312 (SatELiteGTI) S 17310 17312 16747 0 -1 4194304 336 668 0 0 0 0 4 0 16 0 1 0 306547109 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17312/statm: 1339 239 197 169 0 50 0
[pid=17318] ppid=17312 vsize=22316 CPUtime=941.82
/proc/17318/stat : 17318 (minisat_static) R 17312 17312 16747 0 -1 4194304 5301 0 0 0 94173 9 0 0 25 0 1 0 306547114 22851584 5287 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17318/statm: 5579 5287 76 171 0 5406 0
Current children cumulated CPU time (s) 941.86
Current children cumulated vsize (KiB) 27672
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17318
/proc/meminfo: memFree=1869080/2055920 swapFree=4180796/4192956
[pid=17312] ppid=17310 vsize=5356 CPUtime=0.04
/proc/17312/stat : 17312 (SatELiteGTI) S 17310 17312 16747 0 -1 4194304 336 668 0 0 0 0 4 0 16 0 1 0 306547109 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17312/statm: 1339 239 197 169 0 50 0
[pid=17318] ppid=17312 vsize=22712 CPUtime=1001.81
/proc/17318/stat : 17318 (minisat_static) R 17312 17312 16747 0 -1 4194304 5401 0 0 0 100171 10 0 0 25 0 1 0 306547114 23257088 5387 1992294400 134512640 135215339 4294956240 18446744073709551615 134528721 0 0 4096 3 0 0 0 17 1 0 0
/proc/17318/statm: 5678 5387 76 171 0 5505 0
Current children cumulated CPU time (s) 1001.85
Current children cumulated vsize (KiB) 28068
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17318
/proc/meminfo: memFree=1868632/2055920 swapFree=4180796/4192956
[pid=17312] ppid=17310 vsize=5356 CPUtime=0.04
/proc/17312/stat : 17312 (SatELiteGTI) S 17310 17312 16747 0 -1 4194304 336 668 0 0 0 0 4 0 16 0 1 0 306547109 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17312/statm: 1339 239 197 169 0 50 0
[pid=17318] ppid=17312 vsize=23132 CPUtime=1061.79
/proc/17318/stat : 17318 (minisat_static) R 17312 17312 16747 0 -1 4194304 5484 0 0 0 106169 10 0 0 25 0 1 0 306547114 23687168 5470 1992294400 134512640 135215339 4294956240 18446744073709551615 134528776 0 0 4096 3 0 0 0 17 1 0 0
/proc/17318/statm: 5783 5470 76 171 0 5610 0
Current children cumulated CPU time (s) 1061.83
Current children cumulated vsize (KiB) 28488
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17318
/proc/meminfo: memFree=1868568/2055920 swapFree=4180796/4192956
[pid=17312] ppid=17310 vsize=5356 CPUtime=0.04
/proc/17312/stat : 17312 (SatELiteGTI) S 17310 17312 16747 0 -1 4194304 336 668 0 0 0 0 4 0 16 0 1 0 306547109 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17312/statm: 1339 239 197 169 0 50 0
[pid=17318] ppid=17312 vsize=23132 CPUtime=1121.77
/proc/17318/stat : 17318 (minisat_static) R 17312 17312 16747 0 -1 4194304 5484 0 0 0 112167 10 0 0 25 0 1 0 306547114 23687168 5470 1992294400 134512640 135215339 4294956240 18446744073709551615 134528809 0 0 4096 3 0 0 0 17 1 0 0
/proc/17318/statm: 5783 5470 76 171 0 5610 0
Current children cumulated CPU time (s) 1121.81
Current children cumulated vsize (KiB) 28488
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17318
/proc/meminfo: memFree=1868440/2055920 swapFree=4180796/4192956
[pid=17312] ppid=17310 vsize=5356 CPUtime=0.04
/proc/17312/stat : 17312 (SatELiteGTI) S 17310 17312 16747 0 -1 4194304 336 668 0 0 0 0 4 0 16 0 1 0 306547109 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17312/statm: 1339 239 197 169 0 50 0
[pid=17318] ppid=17312 vsize=23132 CPUtime=1181.75
/proc/17318/stat : 17318 (minisat_static) R 17312 17312 16747 0 -1 4194304 5503 0 0 0 118165 10 0 0 25 0 1 0 306547114 23687168 5489 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17318/statm: 5783 5489 76 171 0 5610 0
Current children cumulated CPU time (s) 1181.79
Current children cumulated vsize (KiB) 28488
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17318
/proc/meminfo: memFree=1868184/2055920 swapFree=4180796/4192956
[pid=17312] ppid=17310 vsize=5356 CPUtime=0.04
/proc/17312/stat : 17312 (SatELiteGTI) S 17310 17312 16747 0 -1 4194304 336 668 0 0 0 0 4 0 16 0 1 0 306547109 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17312/statm: 1339 239 197 169 0 50 0
[pid=17318] ppid=17312 vsize=23264 CPUtime=1200.05
/proc/17318/stat : 17318 (minisat_static) R 17312 17312 16747 0 -1 4194304 5535 0 0 0 119995 10 0 0 25 0 1 0 306547114 23822336 5521 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 1 0 0
/proc/17318/statm: 5816 5521 76 171 0 5643 0
Current children cumulated CPU time (s) 1200.09
Current children cumulated vsize (KiB) 28620
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.61
CPU time (s): 1200.12
CPU user time (s): 1200
CPU system time (s): 0.124981
CPU usage (%): 99.9593
Max. virtual memory (cumulated for all children) (KiB): 28620
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1200
system time used= 0.124981
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6548
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= 24
involuntary context switches= 6212
runsolver used 1.42378 second user time and 2.73758 second system time
The end
Begin job on node5 at 2009-05-20 04:05:32
IDJOB=1832611
IDBENCH=70269
IDSOLVER=671
FILE ID=node5/1832611-1242785132
PBS_JOBID= 9322358
Free space on /tmp= 66408 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/RANDOM/LARGE/7SAT/UNKNOWN/160/unif-k7-r85-v160-c13600-S91288590-071.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832611-1242785132/watcher-1832611-1242785132 -o /tmp/evaluation-result-1832611-1242785132/solver-1832611-1242785132 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832611-1242785132.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= fa1c9f583a9135f82181313be8dfbb29
RANDOM SEED=1594233753
node5.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.212
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.212
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1893512 kB
Buffers: 24520 kB
Cached: 92272 kB
SwapCached: 6832 kB
Active: 32012 kB
Inactive: 93544 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1893512 kB
SwapTotal: 4192956 kB
SwapFree: 4180796 kB
Dirty: 1960 kB
Writeback: 0 kB
Mapped: 13540 kB
Slab: 22944 kB
Committed_AS: 1100048 kB
PageTables: 1392 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66404 MiB
End job on node5 at 2009-05-20 04:25:34