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 | 14000 70000 | 4199 0 0 nan | 0.000 % |
0.00/0.02 c ==============================================================================
0.00/0.02 c Result : #vars: 700 #clauses: 14000 #literals: 70000
0.00/0.02 c CPU time: 0.013997 s
0.00/0.02 c ==============================================================================
0.00/0.04 c This is MiniSat 2.0 beta
0.00/0.04 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.04 c ============================[ Problem Statistics ]=============================
0.00/0.04 c | |
0.00/0.04 c | Number of variables: 700 |
0.00/0.04 c | Number of clauses: 14000 |
0.00/0.05 c | Parsing time: 0.01 s |
0.00/0.05 c ============================[ Search Statistics ]==============================
0.00/0.05 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.00/0.05 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.00/0.05 c ===============================================================================
0.00/0.05 c | 0 | 700 14000 70000 | 4666 0 nan | 0.000 % |
0.03/0.06 c | 102 | 700 14000 70000 | 4666 102 98 | 0.000 % |
0.03/0.07 c | 203 | 700 14000 70000 | 4666 203 94 | 0.000 % |
0.03/0.08 c | 306 | 700 14000 70000 | 4666 306 90 | 0.000 % |
0.03/0.09 c | 416 | 700 14000 70000 | 4666 416 92 | 0.000 % |
0.03/0.10 c | 516 | 700 14000 70000 | 4666 516 92 | 0.000 % |
0.03/0.11 c | 626 | 700 14000 70000 | 4666 626 93 | 0.000 % |
0.03/0.12 c | 747 | 700 14000 70000 | 4666 747 93 | 0.000 % |
0.03/0.13 c | 847 | 700 14000 70000 | 4666 847 92 | 0.000 % |
0.03/0.14 c | 957 | 700 14000 70000 | 4666 957 92 | 0.000 % |
0.03/0.15 c | 1079 | 700 14000 70000 | 4666 1079 93 | 0.000 % |
0.03/0.16 c | 1212 | 700 14000 70000 | 4666 1212 93 | 0.000 % |
0.03/0.17 c | 1313 | 700 14000 70000 | 4666 1313 93 | 0.000 % |
0.03/0.18 c | 1423 | 700 14000 70000 | 4666 1423 93 | 0.000 % |
0.03/0.19 c | 1545 | 700 14000 70000 | 4666 1545 93 | 0.000 % |
0.03/0.20 c | 1678 | 700 14000 70000 | 4666 1678 94 | 0.000 % |
0.03/0.22 c | 1825 | 700 14000 70000 | 4666 1825 94 | 0.000 % |
0.03/0.22 c | 1926 | 700 14000 70000 | 4666 1926 94 | 0.000 % |
0.03/0.23 c | 2036 | 700 14000 70000 | 4666 2036 95 | 0.000 % |
0.03/0.25 c | 2157 | 700 14000 70000 | 4666 2157 94 | 0.000 % |
0.03/0.26 c | 2291 | 700 14000 70000 | 4666 2291 94 | 0.000 % |
0.03/0.27 c | 2437 | 700 14000 70000 | 4666 2437 94 | 0.000 % |
0.03/0.29 c | 2598 | 700 14000 70000 | 4666 2598 95 | 0.000 % |
0.03/0.30 c | 2698 | 700 14000 70000 | 4666 2698 95 | 0.000 % |
0.03/0.31 c | 2810 | 700 14000 70000 | 4666 2810 95 | 0.000 % |
0.03/0.32 c | 2933 | 700 14000 70000 | 4666 2933 95 | 0.000 % |
0.03/0.33 c | 3068 | 700 14000 70000 | 4666 3068 95 | 0.000 % |
0.03/0.35 c | 3214 | 700 14000 70000 | 4666 3214 95 | 0.000 % |
0.03/0.36 c | 3374 | 700 14000 70000 | 4666 3374 94 | 0.000 % |
0.03/0.38 c | 3553 | 700 14000 70000 | 4666 3553 94 | 0.000 % |
0.03/0.39 c | 3653 | 700 14000 70000 | 4666 3653 95 | 0.000 % |
0.03/0.40 c | 3763 | 700 14000 70000 | 4666 3763 95 | 0.000 % |
0.03/0.41 c | 3884 | 700 14000 70000 | 4666 3884 95 | 0.000 % |
0.03/0.42 c | 4017 | 700 14000 70000 | 4666 4017 95 | 0.000 % |
0.03/0.44 c | 4164 | 700 14000 70000 | 4666 4164 95 | 0.000 % |
0.03/0.45 c | 4325 | 700 14000 70000 | 4666 4325 95 | 0.000 % |
0.03/0.47 c | 4503 | 700 14000 70000 | 4666 4503 95 | 0.000 % |
0.03/0.49 c | 4696 | 700 14000 70000 | 4666 4696 95 | 0.000 % |
0.03/0.50 c | 4796 | 700 14000 70000 | 4666 4327 94 | 0.000 % |
0.03/0.52 c | 4909 | 700 14000 70000 | 4666 4440 94 | 0.000 % |
0.03/0.53 c | 5030 | 700 14000 70000 | 4666 4561 94 | 0.000 % |
0.03/0.54 c | 5165 | 700 14000 70000 | 4666 4696 94 | 0.000 % |
0.03/0.56 c | 5313 | 700 14000 70000 | 4666 4375 93 | 0.000 % |
0.03/0.58 c | 5473 | 700 14000 70000 | 4666 4535 94 | 0.000 % |
0.03/0.59 c | 5652 | 700 14000 70000 | 4666 4714 94 | 0.000 % |
0.03/0.62 c | 5845 | 700 14000 70000 | 4666 4436 94 | 0.000 % |
0.03/0.64 c | 6057 | 700 14000 70000 | 4666 4648 94 | 0.000 % |
0.03/0.65 c | 6157 | 700 14000 70000 | 4666 4748 94 | 0.000 % |
0.03/0.66 c | 6267 | 700 14000 70000 | 4666 4384 94 | 0.000 % |
0.03/0.67 c | 6389 | 700 14000 70000 | 4666 4506 94 | 0.000 % |
0.03/0.69 c | 6522 | 700 14000 70000 | 4666 4639 94 | 0.000 % |
0.03/0.70 c | 6668 | 700 14000 70000 | 4666 4785 94 | 0.000 % |
0.03/0.72 c | 6829 | 700 14000 70000 | 4666 4468 94 | 0.000 % |
0.03/0.74 c | 7005 | 700 14000 70000 | 4666 4644 94 | 0.000 % |
0.03/0.76 c | 7198 | 700 14000 70000 | 4666 4837 94 | 0.000 % |
0.03/0.78 c | 7410 | 700 14000 70000 | 4666 4566 93 | 0.000 % |
0.03/0.80 c | 7644 | 700 14000 70000 | 4666 4800 94 | 0.000 % |
0.03/0.82 c | 7748 | 700 14000 70000 | 4666 4424 94 | 0.000 % |
0.03/0.83 c | 7860 | 700 14000 70000 | 4666 4536 94 | 0.000 % |
0.03/0.84 c | 7981 | 700 14000 70000 | 4666 4657 94 | 0.000 % |
0.03/0.86 c | 8114 | 700 14000 70000 | 4666 4790 94 | 0.000 % |
0.03/0.88 c | 8260 | 700 14000 70000 | 4666 4457 94 | 0.000 % |
0.03/0.89 c | 8420 | 700 14000 70000 | 4666 4617 94 | 0.000 % |
0.03/0.91 c | 8596 | 700 14000 70000 | 4666 4793 94 | 0.000 % |
0.03/0.93 c | 8789 | 700 14000 70000 | 4666 4507 93 | 0.000 % |
0.03/0.95 c | 9002 | 700 14000 70000 | 4666 4720 94 | 0.000 % |
0.03/0.97 c | 9236 | 700 14000 70000 | 4666 4482 93 | 0.000 % |
0.03/1.00 c | 9492 | 700 14000 70000 | 4666 4738 94 | 0.000 % |
0.98/1.01 c | 9594 | 700 14000 70000 | 4666 4367 94 | 0.000 % |
0.98/1.02 c | 9704 | 700 14000 70000 | 4666 4477 94 | 0.000 % |
0.98/1.03 c | 9825 | 700 14000 70000 | 4666 4598 94 | 0.000 % |
0.98/1.05 c | 9958 | 700 14000 70000 | 4666 4731 94 | 0.000 % |
0.98/1.06 c | 10107 | 700 14000 70000 | 2147483647 4407 93 | 0.000 % |
0.98/1.08 c | 10267 | 700 14000 70000 | 2147483647 4567 94 | 0.000 % |
0.98/1.10 c | 10444 | 700 14000 70000 | 2147483647 4744 94 | 0.000 % |
1.08/1.12 c | 10637 | 700 14000 70000 | 2147483647 4937 94 | 0.000 % |
1.08/1.14 c | 10851 | 700 14000 70000 | 2147483647 5151 94 | 0.000 % |
1.08/1.17 c | 11084 | 700 14000 70000 | 2147483647 5384 94 | 0.000 % |
1.17/1.20 c | 11342 | 700 14000 70000 | 2147483647 5642 95 | 0.000 % |
1.17/1.23 c | 11623 | 700 14000 70000 | 2147483647 5923 95 | 0.000 % |
1.17/1.24 c | 11724 | 700 14000 70000 | 2147483647 6024 95 | 0.000 % |
1.17/1.25 c | 11835 | 700 14000 70000 | 2147483647 6135 95 | 0.000 % |
1.17/1.26 c | 11956 | 700 14000 70000 | 2147483647 6256 95 | 0.000 % |
1.17/1.28 c | 12089 | 700 14000 70000 | 2147483647 6389 95 | 0.000 % |
1.27/1.30 c | 12235 | 700 14000 70000 | 2147483647 6535 95 | 0.000 % |
1.27/1.32 c | 12395 | 700 14000 70000 | 2147483647 6695 95 | 0.000 % |
1.27/1.34 c | 12573 | 700 14000 70000 | 2147483647 6873 95 | 0.000 % |
1.27/1.36 c | 12766 | 700 14000 70000 | 2147483647 7066 95 | 0.000 % |
1.27/1.38 c | 12979 | 700 14000 70000 | 2147483647 7279 95 | 0.000 % |
1.37/1.41 c | 13214 | 700 14000 70000 | 2147483647 7514 95 | 0.000 % |
1.37/1.44 c | 13471 | 700 14000 70000 | 2147483647 7771 95 | 0.000 % |
1.37/1.48 c | 13754 | 700 14000 70000 | 2147483647 8054 95 | 0.000 % |
1.47/1.52 c | 14063 | 700 14000 70000 | 2147483647 8363 95 | 0.000 % |
1.47/1.53 c | 14163 | 700 14000 70000 | 2147483647 8463 95 | 0.000 % |
1.47/1.54 c | 14273 | 700 14000 70000 | 2147483647 8573 95 | 0.000 % |
1.47/1.56 c | 14394 | 700 14000 70000 | 2147483647 8694 95 | 0.000 % |
1.47/1.58 c | 14527 | 700 14000 70000 | 2147483647 8827 95 | 0.000 % |
1.47/1.60 c | 14673 | 700 14000 70000 | 2147483647 8973 95 | 0.000 % |
1.57/1.62 c | 14834 | 700 14000 70000 | 2147483647 9134 95 | 0.000 % |
1.57/1.64 c | 15012 | 700 14000 70000 | 2147483647 9312 96 | 0.000 % |
1.57/1.67 c | 15207 | 700 14000 70000 | 2147483647 9507 96 | 0.000 % |
1.57/1.69 c | 15419 | 700 14000 70000 | 2147483647 9719 96 | 0.000 % |
1.67/1.73 c | 15652 | 700 14000 70000 | 2147483647 9952 96 | 0.000 % |
1.67/1.76 c | 15909 | 700 14000 70000 | 2147483647 10209 96 | 0.000 % |
1.67/1.79 c | 16190 | 700 14000 70000 | 2147483647 10490 96 | 0.000 % |
1.77/1.84 c | 16502 | 700 14000 70000 | 2147483647 10802 96 | 0.000 % |
1.77/1.88 c | 16841 | 700 14000 70000 | 2147483647 11141 96 | 0.000 % |
1.87/1.90 c | 16941 | 700 14000 70000 | 2147483647 11241 96 | 0.000 % |
1.87/1.92 c | 17051 | 700 14000 70000 | 2147483647 11351 96 | 0.000 % |
1.87/1.94 c | 17172 | 700 14000 70000 | 2147483647 11472 96 | 0.000 % |
1.87/1.95 c | 17305 | 700 14000 70000 | 2147483647 11605 96 | 0.000 % |
1.87/1.97 c | 17451 | 700 14000 70000 | 2147483647 11751 96 | 0.000 % |
1.97/2.00 c | 17614 | 700 14000 70000 | 2147483647 11914 96 | 0.000 % |
1.97/2.03 c | 17790 | 700 14000 70000 | 2147483647 12090 96 | 0.000 % |
1.97/2.05 c | 17984 | 700 14000 70000 | 2147483647 12284 96 | 0.000 % |
1.97/2.09 c | 18198 | 700 14000 70000 | 2147483647 12498 97 | 0.000 % |
2.08/2.12 c | 18431 | 700 14000 70000 | 2147483647 12731 96 | 0.000 % |
2.08/2.16 c | 18688 | 700 14000 70000 | 2147483647 12988 97 | 0.000 % |
2.18/2.21 c | 18970 | 700 14000 70000 | 2147483647 13270 96 | 0.000 % |
2.18/2.26 c | 19281 | 700 14000 70000 | 2147483647 13581 96 | 0.000 % |
2.27/2.31 c | 19621 | 700 14000 70000 | 2147483647 13921 96 | 0.000 % |
2.27/2.37 c | 19996 | 700 14000 70000 | 2147483647 14296 96 | 0.000 % |
2.27/2.39 c | 20096 | 700 14000 70000 | 2147483647 14396 96 | 0.000 % |
2.37/2.41 c | 20207 | 700 14000 70000 | 2147483647 14507 96 | 0.000 % |
2.37/2.43 c | 20330 | 700 14000 70000 | 2147483647 14630 96 | 0.000 % |
2.37/2.46 c | 20463 | 700 14000 70000 | 2147483647 14763 96 | 0.000 % |
2.37/2.48 c | 20610 | 700 14000 70000 | 2147483647 14910 96 | 0.000 % |
2.47/2.51 c | 20773 | 700 14000 70000 | 2147483647 15073 96 | 0.000 % |
2.47/2.54 c | 20951 | 700 14000 70000 | 2147483647 15251 96 | 0.000 % |
2.47/2.57 c | 21144 | 700 14000 70000 | 2147483647 15444 96 | 0.000 % |
2.57/2.61 c | 21358 | 700 14000 70000 | 2147483647 15658 96 | 0.000 % |
2.57/2.65 c | 21591 | 700 14000 70000 | 2147483647 15891 96 | 0.000 % |
2.57/2.70 c | 21847 | 700 14000 70000 | 2147483647 16147 96 | 0.000 % |
2.67/2.74 c | 22132 | 700 14000 70000 | 2147483647 16432 96 | 0.000 % |
2.77/2.80 c | 22443 | 700 14000 70000 | 2147483647 16743 96 | 0.000 % |
2.77/2.86 c | 22783 | 700 14000 70000 | 2147483647 17083 97 | 0.000 % |
2.87/2.93 c | 23155 | 700 14000 70000 | 2147483647 17455 97 | 0.000 % |
2.97/3.01 c | 23564 | 700 14000 70000 | 2147483647 17864 97 | 0.000 % |
2.97/3.03 c | 23666 | 700 14000 70000 | 2147483647 17966 97 | 0.000 % |
2.97/3.06 c | 23777 | 700 14000 70000 | 2147483647 18077 97 | 0.000 % |
2.97/3.08 c | 23899 | 700 14000 70000 | 2147483647 18199 97 | 0.000 % |
3.07/3.11 c | 24032 | 700 14000 70000 | 2147483647 18332 97 | 0.000 % |
3.07/3.14 c | 24180 | 700 14000 70000 | 2147483647 18480 97 | 0.000 % |
3.07/3.17 c | 24340 | 700 14000 70000 | 2147483647 18640 97 | 0.000 % |
3.17/3.20 c | 24516 | 700 14000 70000 | 2147483647 18816 97 | 0.000 % |
3.17/3.24 c | 24711 | 700 14000 70000 | 2147483647 19011 97 | 0.000 % |
3.17/3.28 c | 24925 | 700 14000 70000 | 2147483647 19225 97 | 0.000 % |
3.27/3.33 c | 25159 | 700 14000 70000 | 2147483647 19459 97 | 0.000 % |
3.27/3.38 c | 25417 | 700 14000 70000 | 2147483647 19717 97 | 0.000 % |
3.37/3.44 c | 25699 | 700 14000 70000 | 2147483647 19999 97 | 0.000 % |
3.47/3.50 c | 26009 | 700 14000 70000 | 2147483647 20309 97 | 0.000 % |
3.47/3.58 c | 26350 | 700 14000 70000 | 2147483647 20650 97 | 0.000 % |
3.57/3.66 c | 26723 | 700 14000 70000 | 2147483647 21023 97 | 0.000 % |
3.67/3.76 c | 27133 | 700 14000 70000 | 2147483647 21433 97 | 0.000 % |
3.77/3.87 c | 27583 | 700 14000 70000 | 2147483647 21883 97 | 0.000 % |
3.77/3.89 c | 27684 | 700 14000 70000 | 2147483647 21984 97 | 0.000 % |
3.86/3.92 c | 27795 | 700 14000 70000 | 2147483647 22095 97 | 0.000 % |
3.86/3.95 c | 27916 | 700 14000 70000 | 2147483647 22216 97 | 0.000 % |
3.86/3.98 c | 28050 | 700 14000 70000 | 2147483647 22350 97 | 0.000 % |
3.96/4.01 c | 28196 | 700 14000 70000 | 2147483647 22496 97 | 0.000 % |
3.96/4.05 c | 28356 | 700 14000 70000 | 2147483647 22656 97 | 0.000 % |
3.96/4.09 c | 28532 | 700 14000 70000 | 2147483647 22832 97 | 0.000 % |
4.06/4.13 c | 28725 | 700 14000 70000 | 2147483647 23025 97 | 0.000 % |
4.06/4.18 c | 28939 | 700 14000 70000 | 2147483647 23239 97 | 0.000 % |
4.16/4.23 c | 29173 | 700 14000 70000 | 2147483647 23473 97 | 0.000 % |
4.16/4.29 c | 29429 | 700 14000 70000 | 2147483647 23729 97 | 0.000 % |
4.27/4.36 c | 29710 | 700 14000 70000 | 2147483647 24010 97 | 0.000 % |
4.37/4.43 c | 30020 | 700 14000 70000 | 2147483647 24320 97 | 0.000 % |
4.46/4.52 c | 30360 | 700 14000 70000 | 2147483647 24660 97 | 0.000 % |
4.56/4.61 c | 30733 | 700 14000 70000 | 2147483647 25033 97 | 0.000 % |
4.66/4.70 c | 31142 | 700 14000 70000 | 2147483647 25442 97 | 0.000 % |
4.76/4.81 c | 31594 | 700 14000 70000 | 2147483647 25894 97 | 0.000 % |
4.87/4.96 c | 32087 | 700 14000 70000 | 2147483647 26387 97 | 0.000 % |
4.87/4.99 c | 32189 | 700 14000 70000 | 2147483647 26489 97 | 0.000 % |
4.97/5.02 c | 32299 | 700 14000 70000 | 2147483647 26599 97 | 0.000 % |
4.97/5.05 c | 32420 | 700 14000 70000 | 2147483647 26720 97 | 0.000 % |
4.97/5.09 c | 32553 | 700 14000 70000 | 2147483647 26853 97 | 0.000 % |
5.07/5.13 c | 32699 | 700 14000 70000 | 2147483647 26999 97 | 0.000 % |
5.07/5.18 c | 32859 | 700 14000 70000 | 2147483647 27159 97 | 0.000 % |
5.17/5.23 c | 33037 | 700 14000 70000 | 2147483647 27337 97 | 0.000 % |
5.17/5.29 c | 33230 | 700 14000 70000 | 2147483647 27530 97 | 0.000 % |
5.27/5.35 c | 33445 | 700 14000 70000 | 2147483647 27745 97 | 0.000 % |
5.37/5.41 c | 33678 | 700 14000 70000 | 2147483647 27978 97 | 0.000 % |
5.37/5.48 c | 33934 | 700 14000 70000 | 2147483647 28234 97 | 0.000 % |
5.47/5.55 c | 34218 | 700 14000 70000 | 2147483647 28518 97 | 0.000 % |
5.57/5.63 c | 34527 | 700 14000 70000 | 2147483647 28827 97 | 0.000 % |
5.67/5.74 c | 34867 | 700 14000 70000 | 2147483647 29167 97 | 0.000 % |
5.76/5.84 c | 35242 | 700 14000 70000 | 2147483647 29542 97 | 0.000 % |
5.86/5.96 c | 35651 | 700 14000 70000 | 2147483647 29951 97 | 0.000 % |
5.96/6.08 c | 36102 | 700 14000 70000 | 2147483647 30402 97 | 0.000 % |
6.16/6.22 c | 36595 | 700 14000 70000 | 2147483647 30895 97 | 0.000 % |
6.26/6.39 c | 37139 | 700 14000 70000 | 2147483647 31439 98 | 0.000 % |
6.36/6.43 c | 37239 | 700 14000 70000 | 2147483647 31539 98 | 0.000 % |
6.36/6.46 c | 37352 | 700 14000 70000 | 2147483647 31652 97 | 0.000 % |
6.46/6.50 c | 37475 | 700 14000 70000 | 2147483647 31775 97 | 0.000 % |
6.46/6.55 c | 37608 | 700 14000 70000 | 2147483647 31908 97 | 0.000 % |
6.57/6.60 c | 37754 | 700 14000 70000 | 2147483647 32054 97 | 0.000 % |
6.57/6.66 c | 37915 | 700 14000 70000 | 2147483647 32215 98 | 0.000 % |
6.66/6.71 c | 38091 | 700 14000 70000 | 2147483647 32391 98 | 0.000 % |
6.66/6.78 c | 38284 | 700 14000 70000 | 2147483647 32584 98 | 0.000 % |
6.77/6.85 c | 38499 | 700 14000 70000 | 2147483647 32799 97 | 0.000 % |
6.87/6.91 c | 38732 | 700 14000 70000 | 2147483647 33032 97 | 0.000 % |
6.96/7.00 c | 38989 | 700 14000 70000 | 2147483647 33289 98 | 0.000 % |
6.96/7.09 c | 39270 | 700 14000 70000 | 2147483647 33570 98 | 0.000 % |
7.06/7.20 c | 39580 | 700 14000 70000 | 2147483647 33880 98 | 0.000 % |
7.26/7.32 c | 39920 | 700 14000 70000 | 2147483647 34220 98 | 0.000 % |
7.36/7.44 c | 40292 | 700 14000 70000 | 2147483647 34592 98 | 0.000 % |
7.46/7.58 c | 40701 | 700 14000 70000 | 2147483647 35001 98 | 0.000 % |
7.67/7.74 c | 41150 | 700 14000 70000 | 2147483647 35450 98 | 0.000 % |
7.86/7.91 c | 41643 | 700 14000 70000 | 2147483647 35943 98 | 0.000 % |
7.96/8.08 c | 42185 | 700 14000 70000 | 2147483647 36485 98 | 0.000 % |
8.16/8.29 c | 42781 | 700 14000 70000 | 2147483647 37081 98 | 0.000 % |
8.26/8.32 c | 42884 | 700 14000 70000 | 2147483647 37184 98 | 0.000 % |
8.26/8.36 c | 42999 | 700 14000 70000 | 2147483647 37299 98 | 0.000 % |
8.36/8.40 c | 43121 | 700 14000 70000 | 2147483647 37421 98 | 0.000 % |
8.36/8.45 c | 43254 | 700 14000 70000 | 2147483647 37554 98 | 0.000 % |
8.46/8.50 c | 43400 | 700 14000 70000 | 2147483647 37700 98 | 0.000 % |
8.46/8.56 c | 43560 | 700 14000 70000 | 2147483647 37860 98 | 0.000 % |
8.56/8.64 c | 43736 | 700 14000 70000 | 2147483647 38036 98 | 0.000 % |
8.66/8.71 c | 43930 | 700 14000 70000 | 2147483647 38230 98 | 0.000 % |
8.66/8.79 c | 44143 | 700 14000 70000 | 2147483647 38443 98 | 0.000 % |
8.76/8.87 c | 44380 | 700 14000 70000 | 2147483647 38680 98 | 0.000 % |
8.86/8.96 c | 44636 | 700 14000 70000 | 2147483647 38936 98 | 0.000 % |
8.96/9.06 c | 44918 | 700 14000 70000 | 2147483647 39218 98 | 0.000 % |
9.06/9.17 c | 45228 | 700 14000 70000 | 2147483647 39528 98 | 0.000 % |
9.16/9.29 c | 45569 | 700 14000 70000 | 2147483647 39869 98 | 0.000 % |
9.36/9.44 c | 45942 | 700 14000 70000 | 2147483647 40242 98 | 0.000 % |
9.46/9.57 c | 46351 | 700 14000 70000 | 2147483647 40651 98 | 0.000 % |
9.66/9.73 c | 46802 | 700 14000 70000 | 2147483647 41102 98 | 0.000 % |
9.86/9.92 c | 47295 | 700 14000 70000 | 2147483647 41595 98 | 0.000 % |
10.06/10.11 c | 47837 | 700 14000 70000 | 2147483647 42137 98 | 0.000 % |
10.26/10.32 c | 48433 | 700 14000 70000 | 2147483647 42733 98 | 0.000 % |
10.46/10.56 c | 49088 | 700 14000 70000 | 2147483647 43388 98 | 0.000 % |
10.56/10.61 c | 49188 | 700 14000 70000 | 2147483647 43488 98 | 0.000 % |
10.56/10.67 c | 49301 | 700 14000 70000 | 2147483647 43601 98 | 0.000 % |
10.66/10.72 c | 49424 | 700 14000 70000 | 2147483647 43724 98 | 0.000 % |
10.66/10.78 c | 49557 | 700 14000 70000 | 2147483647 43857 98 | 0.000 % |
10.76/10.85 c | 49703 | 700 14000 70000 | 2147483647 44003 98 | 0.000 % |
10.86/10.92 c | 49863 | 700 14000 70000 | 2147483647 44163 98 | 0.000 % |
10.86/11.00 c | 50040 | 700 14000 70000 | 2147483647 44340 98 | 0.000 % |
10.96/11.09 c | 50233 | 700 14000 70000 | 2147483647 44533 98 | 0.000 % |
11.05/11.19 c | 50447 | 700 14000 70000 | 2147483647 44747 98 | 0.000 % |
11.15/11.30 c | 50682 | 700 14000 70000 | 2147483647 44982 98 | 0.000 % |
11.35/11.41 c | 50940 | 700 14000 70000 | 2147483647 45240 98 | 0.000 % |
11.45/11.53 c | 51221 | 700 14000 70000 | 2147483647 45521 98 | 0.000 % |
11.55/11.67 c | 51530 | 700 14000 70000 | 2147483647 45830 98 | 0.000 % |
11.75/11.83 c | 51869 | 700 14000 70000 | 2147483647 46169 98 | 0.000 % |
11.96/12.00 c | 52242 | 700 14000 70000 | 2147483647 46542 98 | 0.000 % |
12.05/12.18 c | 52653 | 700 14000 70000 | 2147483647 46953 98 | 0.000 % |
12.26/12.36 c | 53102 | 700 14000 70000 | 2147483647 47402 98 | 0.000 % |
12.46/12.57 c | 53597 | 700 14000 70000 | 2147483647 47897 98 | 0.000 % |
12.76/12.82 c | 54140 | 700 14000 70000 | 2147483647 48440 98 | 0.000 % |
12.96/13.07 c | 54739 | 700 14000 70000 | 2147483647 49039 98 | 0.000 % |
13.25/13.36 c | 55395 | 700 14000 70000 | 2147483647 49695 98 | 0.000 % |
13.55/13.68 c | 56116 | 700 14000 70000 | 2147483647 50416 98 | 0.000 % |
13.65/13.73 c | 56216 | 700 14000 70000 | 2147483647 50516 98 | 0.000 % |
13.65/13.78 c | 56327 | 700 14000 70000 | 2147483647 50627 98 | 0.000 % |
13.75/13.84 c | 56448 | 700 14000 70000 | 2147483647 50748 98 | 0.000 % |
13.85/13.90 c | 56582 | 700 14000 70000 | 2147483647 50882 98 | 0.000 % |
13.85/13.98 c | 56728 | 700 14000 70000 | 2147483647 51028 98 | 0.000 % |
13.95/14.05 c | 56888 | 700 14000 70000 | 2147483647 51188 98 | 0.000 % |
14.05/14.14 c | 57064 | 700 14000 70000 | 2147483647 51364 98 | 0.000 % |
14.16/14.23 c | 57259 | 700 14000 70000 | 2147483647 51559 98 | 0.000 % |
14.26/14.34 c | 57471 | 700 14000 70000 | 2147483647 51771 98 | 0.000 % |
14.35/14.48 c | 57705 | 700 14000 70000 | 2147483647 52005 98 | 0.000 % |
14.55/14.61 c | 57962 | 700 14000 70000 | 2147483647 52262 98 | 0.000 % |
14.65/14.76 c | 58243 | 700 14000 70000 | 2147483647 52543 98 | 0.000 % |
14.85/14.91 c | 58552 | 700 14000 70000 | 2147483647 52852 98 | 0.000 % |
14.95/15.09 c | 58892 | 700 14000 70000 | 2147483647 53192 98 | 0.000 % |
15.15/15.28 c | 59267 | 700 14000 70000 | 2147483647 53567 98 | 0.000 % |
15.35/15.48 c | 59677 | 700 14000 70000 | 2147483647 53977 98 | 0.000 % |
15.65/15.70 c | 60128 | 700 14000 70000 | 2147483647 54428 98 | 0.000 % |
15.85/15.96 c | 60621 | 700 14000 70000 | 2147483647 54921 98 | 0.000 % |
16.15/16.22 c | 61163 | 700 14000 70000 | 2147483647 55463 98 | 0.000 % |
16.45/16.51 c | 61759 | 700 14000 70000 | 2147483647 56059 98 | 0.000 % |
16.75/16.82 c | 62414 | 700 14000 70000 | 2147483647 56714 98 | 0.000 % |
17.05/17.18 c | 63134 | 700 14000 70000 | 2147483647 57434 98 | 0.000 % |
17.46/17.59 c | 63926 | 700 14000 70000 | 2147483647 58226 98 | 0.000 % |
17.56/17.64 c | 64027 | 700 14000 70000 | 2147483647 58327 98 | 0.000 % |
17.65/17.73 c | 64137 | 700 14000 70000 | 2147483647 58437 98 | 0.000 % |
17.75/17.80 c | 64259 | 700 14000 70000 | 2147483647 58559 98 | 0.000 % |
17.75/17.88 c | 64395 | 700 14000 70000 | 2147483647 58695 98 | 0.000 % |
17.85/17.96 c | 64541 | 700 14000 70000 | 2147483647 58841 98 | 0.000 % |
17.95/18.07 c | 64701 | 700 14000 70000 | 2147483647 59001 98 | 0.000 % |
18.05/18.16 c | 64878 | 700 14000 70000 | 2147483647 59178 98 | 0.000 % |
18.15/18.27 c | 65071 | 700 14000 70000 | 2147483647 59371 98 | 0.000 % |
18.35/18.41 c | 65283 | 700 14000 70000 | 2147483647 59583 98 | 0.000 % |
18.45/18.55 c | 65516 | 700 14000 70000 | 2147483647 59816 98 | 0.000 % |
18.65/18.71 c | 65772 | 700 14000 70000 | 2147483647 60072 98 | 0.000 % |
18.75/18.89 c | 66057 | 700 14000 70000 | 2147483647 60357 98 | 0.000 % |
18.95/19.08 c | 66367 | 700 14000 70000 | 2147483647 60667 98 | 0.000 % |
19.15/19.28 c | 66706 | 700 14000 70000 | 2147483647 61006 98 | 0.000 % |
19.35/19.48 c | 67078 | 700 14000 70000 | 2147483647 61378 98 | 0.000 % |
19.65/19.73 c | 67487 | 700 14000 70000 | 2147483647 61787 98 | 0.000 % |
19.95/20.00 c | 67937 | 700 14000 70000 | 2147483647 62237 98 | 0.000 % |
20.15/20.27 c | 68430 | 700 14000 70000 | 2147483647 62730 98 | 0.000 % |
20.55/20.60 c | 68974 | 700 14000 70000 | 2147483647 63274 98 | 0.000 % |
20.85/20.93 c | 69572 | 700 14000 70000 | 2147483647 63872 98 | 0.000 % |
21.24/21.32 c | 70229 | 700 14000 70000 | 2147483647 64529 98 | 0.000 % |
21.65/21.70 c | 70952 | 700 14000 70000 | 2147483647 65252 98 | 0.000 % |
22.05/22.15 c | 71747 | 700 14000 70000 | 2147483647 66047 99 | 0.000 % |
22.55/22.62 c | 72621 | 700 14000 70000 | 2147483647 66921 99 | 0.000 % |
22.55/22.67 c | 72722 | 700 14000 70000 | 2147483647 67022 99 | 0.000 % |
22.65/22.74 c | 72832 | 700 14000 70000 | 2147483647 67132 99 | 0.000 % |
22.75/22.82 c | 72953 | 700 14000 70000 | 2147483647 67253 99 | 0.000 % |
22.85/22.90 c | 73086 | 700 14000 70000 | 2147483647 67386 99 | 0.000 % |
22.95/23.03 c | 73232 | 700 14000 70000 | 2147483647 67532 99 | 0.000 % |
23.05/23.12 c | 73392 | 700 14000 70000 | 2147483647 67692 99 | 0.000 % |
23.15/23.24 c | 73568 | 700 14000 70000 | 2147483647 67868 99 | 0.000 % |
23.25/23.37 c | 73761 | 700 14000 70000 | 2147483647 68061 99 | 0.000 % |
23.44/23.52 c | 73975 | 700 14000 70000 | 2147483647 68275 99 | 0.000 % |
23.54/23.68 c | 74208 | 700 14000 70000 | 2147483647 68508 99 | 0.000 % |
23.74/23.84 c | 74464 | 700 14000 70000 | 2147483647 68764 99 | 0.000 % |
23.94/24.01 c | 74745 | 700 14000 70000 | 2147483647 69045 99 | 0.000 % |
24.05/24.17 c | 75054 | 700 14000 70000 | 2147483647 69354 99 | 0.000 % |
24.34/24.41 c | 75393 | 700 14000 70000 | 2147483647 69693 99 | 0.000 % |
24.54/24.68 c | 75765 | 700 14000 70000 | 2147483647 70065 99 | 0.000 % |
24.84/24.93 c | 76174 | 700 14000 70000 | 2147483647 70474 99 | 0.000 % |
25.15/25.24 c | 76623 | 700 14000 70000 | 2147483647 70923 99 | 0.000 % |
25.44/25.54 c | 77118 | 700 14000 70000 | 2147483647 71418 99 | 0.000 % |
25.84/25.91 c | 77661 | 700 14000 70000 | 2147483647 71961 99 | 0.000 % |
26.14/26.29 c | 78257 | 700 14000 70000 | 2147483647 72557 99 | 0.000 % |
26.54/26.69 c | 78912 | 700 14000 70000 | 2147483647 73212 99 | 0.000 % |
27.04/27.14 c | 79632 | 700 14000 70000 | 2147483647 73932 99 | 0.000 % |
27.54/27.65 c | 80425 | 700 14000 70000 | 74300 64020 99 | 0.000 % |
28.04/28.11 c | 81296 | 700 14000 70000 | 74300 64891 99 | 0.000 % |
28.55/28.68 c | 82255 | 700 14000 70000 | 74300 65850 99 | 0.000 % |
28.64/28.74 c | 82355 | 700 14000 70000 | 74300 65950 99 | 0.000 % |
28.74/28.82 c | 82465 | 700 14000 70000 | 74300 66060 99 | 0.000 % |
28.84/28.90 c | 82586 | 700 14000 70000 | 74300 66181 99 | 0.000 % |
28.94/29.00 c | 82719 | 700 14000 70000 | 74300 66314 99 | 0.000 % |
28.94/29.09 c | 82868 | 700 14000 70000 | 74300 66463 99 | 0.000 % |
29.04/29.18 c | 83028 | 700 14000 70000 | 74300 66623 99 | 0.000 % |
29.24/29.32 c | 83205 | 700 14000 70000 | 74300 66800 99 | 0.000 % |
29.34/29.43 c | 83399 | 700 14000 70000 | 74300 66994 99 | 0.000 % |
29.44/29.56 c | 83613 | 700 14000 70000 | 74300 67208 99 | 0.000 % |
29.65/29.70 c | 83847 | 700 14000 70000 | 74300 67442 99 | 0.000 % |
29.74/29.86 c | 84103 | 700 14000 70000 | 74300 67698 99 | 0.000 % |
29.94/30.03 c | 84384 | 700 14000 70000 | 74300 67979 99 | 0.000 % |
30.14/30.21 c | 84693 | 700 14000 70000 | 74300 68288 99 | 0.000 % |
30.34/30.41 c | 85033 | 700 14000 70000 | 74300 68628 99 | 0.000 % |
30.54/30.66 c | 85408 | 700 14000 70000 | 74300 69003 99 | 0.000 % |
30.84/30.93 c | 85818 | 700 14000 70000 | 74300 69413 99 | 0.000 % |
31.14/31.21 c | 86267 | 700 14000 70000 | 74300 69862 99 | 0.000 % |
31.44/31.54 c | 86763 | 700 14000 70000 | 74300 70358 99 | 0.000 % |
31.74/31.88 c | 87305 | 700 14000 70000 | 74300 70900 99 | 0.000 % |
32.14/32.26 c | 87904 | 700 14000 70000 | 74300 71499 99 | 0.000 % |
32.54/32.67 c | 88560 | 700 14000 70000 | 74300 72155 99 | 0.000 % |
33.04/33.13 c | 89283 | 700 14000 70000 | 74300 72878 99 | 0.000 % |
33.54/33.65 c | 90077 | 700 14000 70000 | 73597 73672 99 | 0.000 % |
34.04/34.19 c | 90948 | 700 14000 70000 | 73597 63374 99 | 0.000 % |
34.64/34.73 c | 91906 | 700 14000 70000 | 73597 64332 99 | 0.000 % |
35.14/35.26 c | 92959 | 700 14000 70000 | 73597 65385 99 | 0.000 % |
35.24/35.32 c | 93060 | 700 14000 70000 | 73597 65486 99 | 0.000 % |
35.34/35.41 c | 93170 | 700 14000 70000 | 73597 65596 99 | 0.000 % |
35.34/35.49 c | 93291 | 700 14000 70000 | 73597 65717 99 | 0.000 % |
35.44/35.56 c | 93426 | 700 14000 70000 | 73597 65852 99 | 0.000 % |
35.54/35.66 c | 93572 | 700 14000 70000 | 73597 65998 99 | 0.000 % |
35.64/35.78 c | 93732 | 700 14000 70000 | 73597 66158 99 | 0.000 % |
35.84/35.91 c | 93908 | 700 14000 70000 | 73597 66334 99 | 0.000 % |
35.94/36.03 c | 94101 | 700 14000 70000 | 73597 66527 99 | 0.000 % |
36.04/36.18 c | 94314 | 700 14000 70000 | 73597 66740 99 | 0.000 % |
36.24/36.34 c | 94547 | 700 14000 70000 | 73597 66973 99 | 0.000 % |
36.44/36.54 c | 94805 | 700 14000 70000 | 73597 67231 99 | 0.000 % |
36.64/36.74 c | 95087 | 700 14000 70000 | 73597 67513 99 | 0.000 % |
36.84/36.94 c | 95396 | 700 14000 70000 | 73597 67822 99 | 0.000 % |
37.04/37.16 c | 95735 | 700 14000 70000 | 73597 68161 99 | 0.000 % |
37.24/37.38 c | 96108 | 700 14000 70000 | 73597 68534 99 | 0.000 % |
37.54/37.62 c | 96517 | 700 14000 70000 | 73597 68943 99 | 0.000 % |
37.84/37.93 c | 96968 | 700 14000 70000 | 73597 69394 99 | 0.000 % |
38.14/38.23 c | 97462 | 700 14000 70000 | 73597 69888 99 | 0.000 % |
38.44/38.57 c | 98006 | 700 14000 70000 | 73597 70432 99 | 0.000 % |
38.84/38.97 c | 98602 | 700 14000 70000 | 73597 71028 99 | 0.000 % |
39.24/39.38 c | 99257 | 700 14000 70000 | 73597 71683 99 | 0.000 % |
39.73/39.83 c | 99977 | 700 14000 70000 | 73597 72403 99 | 0.000 % |
40.23/40.35 c | 100770 | 700 14000 70000 | 72427 61956 99 | 0.000 % |
40.73/40.81 c | 101643 | 700 14000 70000 | 72427 62829 99 | 0.000 % |
41.23/41.31 c | 102603 | 700 14000 70000 | 72427 63789 100 | 0.000 % |
41.74/41.87 c | 103656 | 700 14000 70000 | 72427 64842 100 | 0.000 % |
42.33/42.49 c | 104814 | 700 14000 70000 | 72427 66000 100 | 0.000 % |
42.43/42.55 c | 104916 | 700 14000 70000 | 72427 66102 100 | 0.000 % |
42.53/42.62 c | 105026 | 700 14000 70000 | 72427 66212 100 | 0.000 % |
42.63/42.71 c | 105147 | 700 14000 70000 | 72427 66333 100 | 0.000 % |
42.74/42.81 c | 105281 | 700 14000 70000 | 72427 66467 100 | 0.000 % |
42.74/42.89 c | 105427 | 700 14000 70000 | 72427 66613 100 | 0.000 % |
42.84/42.98 c | 105587 | 700 14000 70000 | 72427 66773 100 | 0.000 % |
43.03/43.10 c | 105763 | 700 14000 70000 | 72427 66949 100 | 0.000 % |
43.13/43.23 c | 105958 | 700 14000 70000 | 72427 67144 99 | 0.000 % |
43.23/43.37 c | 106170 | 700 14000 70000 | 72427 67356 99 | 0.000 % |
43.33/43.49 c | 106403 | 700 14000 70000 | 72427 67589 99 | 0.000 % |
43.53/43.63 c | 106660 | 700 14000 70000 | 72427 67846 100 | 0.000 % |
43.73/43.81 c | 106942 | 700 14000 70000 | 72427 68128 100 | 0.000 % |
43.84/43.99 c | 107251 | 700 14000 70000 | 72427 68437 99 | 0.000 % |
44.03/44.18 c | 107590 | 700 14000 70000 | 72427 68776 99 | 0.000 % |
44.33/44.43 c | 107963 | 700 14000 70000 | 72427 69149 99 | 0.000 % |
44.63/44.70 c | 108373 | 700 14000 70000 | 72427 69559 100 | 0.000 % |
44.83/44.98 c | 108822 | 700 14000 70000 | 72427 70008 100 | 0.000 % |
45.13/45.29 c | 109315 | 700 14000 70000 | 72427 70501 99 | 0.000 % |
45.53/45.65 c | 109857 | 700 14000 70000 | 72427 71043 100 | 0.000 % |
45.93/46.02 c | 110453 | 700 14000 70000 | 71187 61413 99 | 0.000 % |
46.22/46.35 c | 111108 | 700 14000 70000 | 71187 62068 99 | 0.000 % |
46.62/46.72 c | 111828 | 700 14000 70000 | 71187 62788 99 | 0.000 % |
47.02/47.14 c | 112621 | 700 14000 70000 | 71187 63581 99 | 0.000 % |
47.42/47.58 c | 113492 | 700 14000 70000 | 71187 64452 100 | 0.000 % |
48.02/48.12 c | 114451 | 700 14000 70000 | 71187 65411 100 | 0.000 % |
48.62/48.73 c | 115505 | 700 14000 70000 | 71187 66465 100 | 0.000 % |
49.33/49.44 c | 116665 | 700 14000 70000 | 71187 67625 100 | 0.000 % |
50.02/50.18 c | 117938 | 700 14000 70000 | 71187 68898 100 | 0.000 % |
50.12/50.25 c | 118039 | 700 14000 70000 | 71187 68999 100 | 0.000 % |
50.22/50.34 c | 118150 | 700 14000 70000 | 71187 69110 100 | 0.000 % |
50.32/50.43 c | 118271 | 700 14000 70000 | 71187 69231 100 | 0.000 % |
50.43/50.52 c | 118404 | 700 14000 70000 | 71187 69364 100 | 0.000 % |
50.53/50.62 c | 118554 | 700 14000 70000 | 71187 69514 100 | 0.000 % |
50.62/50.74 c | 118714 | 700 14000 70000 | 71187 69674 100 | 0.000 % |
50.72/50.85 c | 118892 | 700 14000 70000 | 71187 69852 100 | 0.000 % |
50.82/51.00 c | 119086 | 700 14000 70000 | 71187 70046 100 | 0.000 % |
51.02/51.14 c | 119299 | 700 14000 70000 | 71187 70259 100 | 0.000 % |
51.12/51.29 c | 119533 | 700 14000 70000 | 71187 70493 100 | 0.000 % |
51.32/51.47 c | 119789 | 700 14000 70000 | 71187 70749 100 | 0.000 % |
51.53/51.65 c | 120070 | 700 14000 70000 | 70961 71030 100 | 0.000 % |
51.72/51.89 c | 120380 | 700 14000 70000 | 70961 61484 100 | 0.000 % |
51.92/52.07 c | 120720 | 700 14000 70000 | 70961 61824 100 | 0.000 % |
52.12/52.28 c | 121092 | 700 14000 70000 | 70961 62196 100 | 0.000 % |
52.42/52.53 c | 121501 | 700 14000 70000 | 70961 62605 100 | 0.000 % |
52.72/52.80 c | 121950 | 700 14000 70000 | 70961 63054 100 | 0.000 % |
52.92/53.07 c | 122443 | 700 14000 70000 | 70961 63547 100 | 0.000 % |
53.22/53.37 c | 122986 | 700 14000 70000 | 70961 64090 100 | 0.000 % |
53.52/53.69 c | 123583 | 700 14000 70000 | 70961 64687 100 | 0.000 % |
54.02/54.12 c | 124238 | 700 14000 70000 | 70961 65342 100 | 0.000 % |
54.42/54.54 c | 124960 | 700 14000 70000 | 70961 66064 100 | 0.000 % |
54.82/54.99 c | 125754 | 700 14000 70000 | 70961 66858 100 | 0.000 % |
55.42/55.52 c | 126627 | 700 14000 70000 | 70961 67731 100 | 0.000 % |
55.92/56.05 c | 127587 | 700 14000 70000 | 70961 68691 100 | 0.000 % |
56.62/56.73 c | 128640 | 700 14000 70000 | 70961 69744 100 | 0.000 % |
57.32/57.45 c | 129798 | 700 14000 70000 | 70961 70902 100 | 0.000 % |
58.12/58.20 c | 131072 | 700 14000 70000 | 71104 62231 100 | 0.000 % |
58.82/58.98 c | 132474 | 700 14000 70000 | 71104 63633 100 | 0.000 % |
58.92/59.05 c | 132574 | 700 14000 70000 | 71104 63733 100 | 0.000 % |
59.02/59.12 c | 132687 | 700 14000 70000 | 71104 63846 100 | 0.000 % |
59.12/59.20 c | 132810 | 700 14000 70000 | 71104 63969 100 | 0.000 % |
59.12/59.28 c | 132944 | 700 14000 70000 | 71104 64103 100 | 0.000 % |
59.22/59.37 c | 133090 | 700 14000 70000 | 71104 64249 100 | 0.000 % |
59.32/59.48 c | 133252 | 700 14000 70000 | 71104 64411 100 | 0.000 % |
59.41/59.59 c | 133428 | 700 14000 70000 | 71104 64587 100 | 0.000 % |
59.61/59.70 c | 133621 | 700 14000 70000 | 71104 64780 100 | 0.000 % |
59.71/59.82 c | 133833 | 700 14000 70000 | 71104 64992 100 | 0.000 % |
59.81/59.94 c | 134066 | 700 14000 70000 | 71104 65225 100 | 0.000 % |
60.01/60.13 c | 134324 | 700 14000 70000 | 71104 65483 100 | 0.000 % |
60.21/60.31 c | 134605 | 700 14000 70000 | 71104 65764 100 | 0.000 % |
60.42/60.51 c | 134915 | 700 14000 70000 | 71104 66074 100 | 0.000 % |
60.61/60.73 c | 135254 | 700 14000 70000 | 71104 66413 100 | 0.000 % |
60.81/60.95 c | 135626 | 700 14000 70000 | 71104 66785 100 | 0.000 % |
61.01/61.16 c | 136037 | 700 14000 70000 | 71104 67196 100 | 0.000 % |
61.31/61.47 c | 136488 | 700 14000 70000 | 71104 67647 100 | 0.000 % |
61.61/61.75 c | 136982 | 700 14000 70000 | 71104 68141 100 | 0.000 % |
62.01/62.11 c | 137524 | 700 14000 70000 | 71104 68683 100 | 0.000 % |
62.41/62.52 c | 138120 | 700 14000 70000 | 71104 69279 100 | 0.000 % |
62.81/62.93 c | 138776 | 700 14000 70000 | 71104 69935 100 | 0.000 % |
63.21/63.35 c | 139497 | 700 14000 70000 | 71104 70656 100 | 0.000 % |
63.72/63.89 c | 140289 | 700 14000 70000 | 71159 61312 100 | 0.000 % |
64.21/64.33 c | 141160 | 700 14000 70000 | 71159 62183 100 | 0.000 % |
64.72/64.82 c | 142118 | 700 14000 70000 | 71159 63141 100 | 0.000 % |
65.21/65.37 c | 143171 | 700 14000 70000 | 71159 64194 100 | 0.000 % |
65.82/66.00 c | 144330 | 700 14000 70000 | 71159 65353 101 | 0.000 % |
66.51/66.66 c | 145603 | 700 14000 70000 | 71159 66626 101 | 0.000 % |
67.31/67.46 c | 147003 | 700 14000 70000 | 71159 68026 101 | 0.000 % |
68.21/68.37 c | 148543 | 700 14000 70000 | 71159 69566 101 | 0.000 % |
68.31/68.44 c | 148643 | 700 14000 70000 | 71159 69666 101 | 0.000 % |
68.41/68.52 c | 148754 | 700 14000 70000 | 71159 69777 101 | 0.000 % |
68.51/68.61 c | 148875 | 700 14000 70000 | 71159 69898 101 | 0.000 % |
68.51/68.70 c | 149010 | 700 14000 70000 | 71159 70033 101 | 0.000 % |
68.71/68.82 c | 149159 | 700 14000 70000 | 71159 70182 101 | 0.000 % |
68.81/68.92 c | 149320 | 700 14000 70000 | 71159 70343 101 | 0.000 % |
68.91/69.02 c | 149497 | 700 14000 70000 | 71159 70520 101 | 0.000 % |
69.01/69.14 c | 149690 | 700 14000 70000 | 71159 70713 101 | 0.000 % |
69.11/69.28 c | 149904 | 700 14000 70000 | 71159 70927 101 | 0.000 % |
69.31/69.44 c | 150137 | 700 14000 70000 | 71023 71160 101 | 0.000 % |
69.51/69.62 c | 150395 | 700 14000 70000 | 71023 61869 101 | 0.000 % |
69.61/69.79 c | 150677 | 700 14000 70000 | 71023 62151 101 | 0.000 % |
69.81/69.96 c | 150986 | 700 14000 70000 | 71023 62460 101 | 0.000 % |
70.01/70.14 c | 151325 | 700 14000 70000 | 71023 62799 101 | 0.000 % |
70.21/70.34 c | 151697 | 700 14000 70000 | 71023 63171 101 | 0.000 % |
70.41/70.58 c | 152106 | 700 14000 70000 | 71023 63580 101 | 0.000 % |
70.71/70.83 c | 152555 | 700 14000 70000 | 71023 64029 101 | 0.000 % |
71.01/71.13 c | 153050 | 700 14000 70000 | 71023 64524 101 | 0.000 % |
71.31/71.47 c | 153592 | 700 14000 70000 | 71023 65066 101 | 0.000 % |
71.71/71.82 c | 154188 | 700 14000 70000 | 71023 65662 101 | 0.000 % |
72.01/72.18 c | 154843 | 700 14000 70000 | 71023 66317 101 | 0.000 % |
72.51/72.62 c | 155563 | 700 14000 70000 | 71023 67037 101 | 0.000 % |
73.01/73.10 c | 156355 | 700 14000 70000 | 71023 67829 101 | 0.000 % |
73.51/73.62 c | 157226 | 700 14000 70000 | 71023 68700 101 | 0.000 % |
74.10/74.20 c | 158184 | 700 14000 70000 | 71023 69658 101 | 0.000 % |
74.71/74.82 c | 159237 | 700 14000 70000 | 71023 70711 101 | 0.000 % |
75.40/75.50 c | 160396 | 700 14000 70000 | 61525 53693 101 | 0.000 % |
75.90/76.06 c | 161669 | 700 14000 70000 | 61525 54966 101 | 0.000 % |
76.50/76.69 c | 163069 | 700 14000 70000 | 61525 56366 101 | 0.000 % |
77.40/77.50 c | 164610 | 700 14000 70000 | 61525 57907 102 | 0.000 % |
78.20/78.38 c | 166306 | 700 14000 70000 | 61525 59603 102 | 0.000 % |
78.30/78.43 c | 166406 | 700 14000 70000 | 61525 59703 102 | 0.000 % |
78.40/78.50 c | 166516 | 700 14000 70000 | 61525 59813 102 | 0.000 % |
78.40/78.59 c | 166637 | 700 14000 70000 | 61525 59934 102 | 0.000 % |
78.50/78.66 c | 166772 | 700 14000 70000 | 61525 60069 102 | 0.000 % |
78.60/78.75 c | 166918 | 700 14000 70000 | 61525 60215 102 | 0.000 % |
78.70/78.84 c | 167080 | 700 14000 70000 | 61525 60377 102 | 0.000 % |
78.80/78.97 c | 167256 | 700 14000 70000 | 61525 60553 102 | 0.000 % |
78.90/79.08 c | 167450 | 700 14000 70000 | 61525 60747 102 | 0.000 % |
79.01/79.19 c | 167662 | 700 14000 70000 | 61525 60959 102 | 0.000 % |
79.20/79.32 c | 167896 | 700 14000 70000 | 61525 61193 102 | 0.000 % |
79.30/79.47 c | 168155 | 700 14000 70000 | 61525 61452 101 | 0.000 % |
79.50/79.63 c | 168436 | 700 14000 70000 | 61525 61733 101 | 0.000 % |
79.70/79.84 c | 168745 | 700 14000 70000 | 61525 55869 102 | 0.000 % |
79.90/80.00 c | 169085 | 700 14000 70000 | 61525 56209 102 | 0.000 % |
80.11/80.22 c | 169457 | 700 14000 70000 | 61525 56581 102 | 0.000 % |
80.30/80.43 c | 169868 | 700 14000 70000 | 61525 56992 102 | 0.000 % |
80.50/80.68 c | 170317 | 700 14000 70000 | 2147483647 57441 101 | 0.000 % |
80.80/80.92 c | 170810 | 700 14000 70000 | 2147483647 57934 101 | 0.000 % |
81.10/81.21 c | 171353 | 700 14000 70000 | 2147483647 58477 101 | 0.000 % |
81.31/81.50 c | 171951 | 700 14000 70000 | 2147483647 59075 101 | 0.000 % |
81.70/81.82 c | 172607 | 700 14000 70000 | 2147483647 59731 101 | 0.000 % |
82.10/82.21 c | 173327 | 700 14000 70000 | 2147483647 60451 101 | 0.000 % |
82.50/82.60 c | 174119 | 700 14000 70000 | 2147483647 61243 101 | 0.000 % |
82.90/83.06 c | 174990 | 700 14000 70000 | 2147483647 62114 101 | 0.000 % |
83.40/83.55 c | 175948 | 700 14000 70000 | 2147483647 63072 101 | 0.000 % |
83.90/84.08 c | 177002 | 700 14000 70000 | 2147483647 64126 102 | 0.000 % |
84.70/84.81 c | 178163 | 700 14000 70000 | 2147483647 65287 101 | 0.000 % |
85.40/85.52 c | 179436 | 700 14000 70000 | 2147483647 66560 101 | 0.000 % |
86.20/86.35 c | 180837 | 700 14000 70000 | 67124 60765 101 | 0.000 % |
87.00/87.13 c | 182378 | 700 14000 70000 | 67124 62306 102 | 0.000 % |
87.80/87.99 c | 184072 | 700 14000 70000 | 67124 64000 101 | 0.000 % |
88.90/89.03 c | 185937 | 700 14000 70000 | 67124 65865 102 | 0.000 % |
89.00/89.10 c | 186038 | 700 14000 70000 | 67124 65966 102 | 0.000 % |
89.00/89.19 c | 186150 | 700 14000 70000 | 67124 66078 102 | 0.000 % |
89.10/89.28 c | 186273 | 700 14000 70000 | 67124 66201 102 | 0.000 % |
89.20/89.36 c | 186406 | 700 14000 70000 | 67124 66334 102 | 0.000 % |
89.30/89.46 c | 186554 | 700 14000 70000 | 67124 66482 102 | 0.000 % |
89.40/89.59 c | 186716 | 700 14000 70000 | 67124 66644 102 | 0.000 % |
89.60/89.72 c | 186894 | 700 14000 70000 | 67124 66822 102 | 0.000 % |
89.70/89.84 c | 187090 | 700 14000 70000 | 67124 67018 102 | 0.000 % |
89.90/90.01 c | 187303 | 700 14000 70000 | 67124 67231 102 | 0.000 % |
90.00/90.20 c | 187536 | 700 14000 70000 | 67124 59789 102 | 0.000 % |
90.19/90.35 c | 187792 | 700 14000 70000 | 67124 60045 102 | 0.000 % |
90.39/90.51 c | 188077 | 700 14000 70000 | 67124 60330 102 | 0.000 % |
90.49/90.69 c | 188386 | 700 14000 70000 | 67124 60639 101 | 0.000 % |
90.69/90.88 c | 188725 | 700 14000 70000 | 67124 60978 101 | 0.000 % |
90.89/91.09 c | 189097 | 700 14000 70000 | 67124 61350 102 | 0.000 % |
91.19/91.32 c | 189507 | 700 14000 70000 | 67124 61760 102 | 0.000 % |
91.39/91.59 c | 189957 | 700 14000 70000 | 67124 62210 101 | 0.000 % |
91.80/91.91 c | 190452 | 700 14000 70000 | 62253 55418 102 | 0.000 % |
92.00/92.19 c | 190994 | 700 14000 70000 | 62253 55960 102 | 0.000 % |
92.30/92.47 c | 191591 | 700 14000 70000 | 62253 56557 102 | 0.000 % |
92.70/92.82 c | 192246 | 700 14000 70000 | 62253 57212 102 | 0.000 % |
93.00/93.17 c | 192966 | 700 14000 70000 | 62253 57932 102 | 0.000 % |
93.40/93.59 c | 193760 | 700 14000 70000 | 62253 58726 102 | 0.000 % |
93.90/94.02 c | 194631 | 700 14000 70000 | 62253 59597 102 | 0.000 % |
94.40/94.55 c | 195591 | 700 14000 70000 | 62253 60557 102 | 0.000 % |
95.00/95.13 c | 196644 | 700 14000 70000 | 62253 61610 102 | 0.000 % |
95.60/95.77 c | 197802 | 700 14000 70000 | 62253 56519 102 | 0.000 % |
96.30/96.43 c | 199075 | 700 14000 70000 | 62253 57792 102 | 0.000 % |
97.00/97.16 c | 200477 | 700 14000 70000 | 2147483647 59194 102 | 0.000 % |
97.80/97.96 c | 202017 | 700 14000 70000 | 2147483647 60734 102 | 0.000 % |
98.70/98.87 c | 203711 | 700 14000 70000 | 2147483647 62428 102 | 0.000 % |
99.70/99.87 c | 205574 | 700 14000 70000 | 2147483647 64291 102 | 0.000 % |
100.90/101.05 c | 207623 | 700 14000 70000 | 2147483647 66340 102 | 0.000 % |
101.00/101.12 c | 207723 | 700 14000 70000 | 2147483647 66440 102 | 0.000 % |
101.00/101.19 c | 207833 | 700 14000 70000 | 2147483647 66550 102 | 0.000 % |
101.10/101.26 c | 207956 | 700 14000 70000 | 2147483647 66673 102 | 0.000 % |
101.19/101.34 c | 208090 | 700 14000 70000 | 2147483647 66807 102 | 0.000 % |
101.29/101.45 c | 208238 | 700 14000 70000 | 2147483647 66955 102 | 0.000 % |
101.39/101.55 c | 208402 | 700 14000 70000 | 2147483647 67119 102 | 0.000 % |
101.49/101.67 c | 208578 | 700 14000 70000 | 2147483647 67295 102 | 0.000 % |
101.69/101.81 c | 208771 | 700 14000 70000 | 2147483647 67488 102 | 0.000 % |
101.79/101.95 c | 208983 | 700 14000 70000 | 2147483647 67700 102 | 0.000 % |
101.89/102.09 c | 209216 | 700 14000 70000 | 2147483647 67933 102 | 0.000 % |
102.10/102.26 c | 209473 | 700 14000 70000 | 2147483647 68190 102 | 0.000 % |
102.29/102.43 c | 209757 | 700 14000 70000 | 2147483647 68474 102 | 0.000 % |
102.49/102.62 c | 210067 | 700 14000 70000 | 68719 68784 102 | 0.000 % |
102.69/102.88 c | 210406 | 700 14000 70000 | 68719 61074 101 | 0.000 % |
102.89/103.08 c | 210778 | 700 14000 70000 | 68719 61446 101 | 0.000 % |
103.09/103.27 c | 211187 | 700 14000 70000 | 68719 61855 101 | 0.000 % |
103.30/103.49 c | 211636 | 700 14000 70000 | 68719 62304 101 | 0.000 % |
103.59/103.75 c | 212132 | 700 14000 70000 | 68719 62800 101 | 0.000 % |
103.89/104.07 c | 212676 | 700 14000 70000 | 68719 63344 101 | 0.000 % |
104.19/104.38 c | 213275 | 700 14000 70000 | 68719 63943 101 | 0.000 % |
104.59/104.73 c | 213931 | 700 14000 70000 | 68719 64599 101 | 0.000 % |
104.99/105.13 c | 214651 | 700 14000 70000 | 68719 65319 101 | 0.000 % |
105.40/105.55 c | 215445 | 700 14000 70000 | 68719 66113 101 | 0.000 % |
105.89/106.02 c | 216316 | 700 14000 70000 | 68719 66984 101 | 0.000 % |
106.39/106.56 c | 217274 | 700 14000 70000 | 68719 67942 101 | 0.000 % |
106.99/107.16 c | 218328 | 700 14000 70000 | 68719 61154 101 | 0.000 % |
107.59/107.75 c | 219486 | 700 14000 70000 | 68719 62312 101 | 0.000 % |
108.19/108.39 c | 220759 | 700 14000 70000 | 62827 56670 101 | 0.000 % |
108.99/109.10 c | 222161 | 700 14000 70000 | 62827 58072 101 | 0.000 % |
109.69/109.89 c | 223702 | 700 14000 70000 | 62827 59613 101 | 0.000 % |
110.49/110.69 c | 225400 | 700 14000 70000 | 62827 61311 101 | 0.000 % |
111.49/111.66 c | 227265 | 700 14000 70000 | 62827 56867 102 | 0.000 % |
112.49/112.66 c | 229315 | 700 14000 70000 | 62827 58917 102 | 0.000 % |
113.69/113.80 c | 231568 | 700 14000 70000 | 2147483647 61170 102 | 0.000 % |
113.69/113.88 c | 231669 | 700 14000 70000 | 2147483647 61271 102 | 0.000 % |
113.79/113.94 c | 231781 | 700 14000 70000 | 2147483647 61383 102 | 0.000 % |
113.89/114.02 c | 231906 | 700 14000 70000 | 2147483647 61508 102 | 0.000 % |
113.99/114.10 c | 232039 | 700 14000 70000 | 2147483647 61641 102 | 0.000 % |
114.09/114.20 c | 232186 | 700 14000 70000 | 2147483647 61788 102 | 0.000 % |
114.09/114.29 c | 232346 | 700 14000 70000 | 2147483647 61948 102 | 0.000 % |
114.19/114.40 c | 232525 | 700 14000 70000 | 2147483647 62127 102 | 0.000 % |
114.39/114.54 c | 232720 | 700 14000 70000 | 2147483647 62322 102 | 0.000 % |
114.49/114.65 c | 232933 | 700 14000 70000 | 2147483647 62535 102 | 0.000 % |
114.59/114.78 c | 233167 | 700 14000 70000 | 2147483647 62769 102 | 0.000 % |
114.78/114.94 c | 233423 | 700 14000 70000 | 2147483647 63025 102 | 0.000 % |
114.88/115.10 c | 233706 | 700 14000 70000 | 2147483647 63308 102 | 0.000 % |
115.08/115.28 c | 234016 | 700 14000 70000 | 2147483647 63618 102 | 0.000 % |
115.29/115.49 c | 234355 | 700 14000 70000 | 2147483647 63957 102 | 0.000 % |
115.48/115.69 c | 234731 | 700 14000 70000 | 2147483647 64333 102 | 0.000 % |
115.78/115.94 c | 235140 | 700 14000 70000 | 2147483647 64742 102 | 0.000 % |
116.08/116.21 c | 235590 | 700 14000 70000 | 2147483647 65192 102 | 0.000 % |
116.39/116.55 c | 236083 | 700 14000 70000 | 2147483647 65685 102 | 0.000 % |
116.68/116.88 c | 236626 | 700 14000 70000 | 2147483647 66228 102 | 0.000 % |
117.08/117.25 c | 237224 | 700 14000 70000 | 2147483647 66826 102 | 0.000 % |
117.49/117.62 c | 237879 | 700 14000 70000 | 2147483647 67481 102 | 0.000 % |
117.88/118.06 c | 238599 | 700 14000 70000 | 2147483647 68201 102 | 0.000 % |
118.38/118.55 c | 239392 | 700 14000 70000 | 2147483647 68994 102 | 0.000 % |
118.98/119.11 c | 240263 | 700 14000 70000 | 69602 61531 102 | 0.000 % |
119.48/119.62 c | 241221 | 700 14000 70000 | 69602 62489 102 | 0.000 % |
119.98/120.20 c | 242275 | 700 14000 70000 | 69602 63543 102 | 0.000 % |
120.68/120.83 c | 243435 | 700 14000 70000 | 69602 64703 102 | 0.000 % |
121.38/121.56 c | 244708 | 700 14000 70000 | 69602 65976 102 | 0.000 % |
122.28/122.40 c | 246109 | 700 14000 70000 | 69602 67377 102 | 0.000 % |
123.08/123.24 c | 247650 | 700 14000 70000 | 69602 68918 102 | 0.000 % |
124.08/124.21 c | 249344 | 700 14000 70000 | 69602 62514 102 | 0.000 % |
124.98/125.18 c | 251208 | 700 14000 70000 | 63171 57260 102 | 0.000 % |
125.98/126.17 c | 253257 | 700 14000 70000 | 63171 59309 102 | 0.000 % |
127.18/127.34 c | 255510 | 700 14000 70000 | 63171 61562 102 | 0.000 % |
128.58/128.75 c | 257988 | 700 14000 70000 | 63171 57699 102 | 0.000 % |
128.68/128.80 c | 258088 | 700 14000 70000 | 63171 57799 102 | 0.000 % |
128.68/128.87 c | 258199 | 700 14000 70000 | 63171 57910 102 | 0.000 % |
128.78/128.94 c | 258320 | 700 14000 70000 | 63171 58031 102 | 0.000 % |
128.88/129.01 c | 258455 | 700 14000 70000 | 63171 58166 102 | 0.000 % |
128.88/129.10 c | 258603 | 700 14000 70000 | 63171 58314 102 | 0.000 % |
128.98/129.19 c | 258764 | 700 14000 70000 | 63171 58475 102 | 0.000 % |
129.08/129.27 c | 258940 | 700 14000 70000 | 63171 58651 102 | 0.000 % |
129.18/129.38 c | 259133 | 700 14000 70000 | 63171 58844 102 | 0.000 % |
129.28/129.49 c | 259345 | 700 14000 70000 | 63171 59056 102 | 0.000 % |
129.48/129.62 c | 259578 | 700 14000 70000 | 63171 59289 102 | 0.000 % |
129.58/129.77 c | 259834 | 700 14000 70000 | 63171 59545 102 | 0.000 % |
129.78/129.93 c | 260116 | 700 14000 70000 | 59712 59827 102 | 0.000 % |
129.97/130.10 c | 260425 | 700 14000 70000 | 59712 54110 102 | 0.000 % |
130.07/130.26 c | 260765 | 700 14000 70000 | 59712 54450 102 | 0.000 % |
130.27/130.45 c | 261137 | 700 14000 70000 | 59712 54822 102 | 0.000 % |
130.47/130.62 c | 261546 | 700 14000 70000 | 59712 55231 102 | 0.000 % |
130.68/130.87 c | 261995 | 700 14000 70000 | 59712 55680 102 | 0.000 % |
130.97/131.12 c | 262488 | 700 14000 70000 | 59712 56173 102 | 0.000 % |
131.17/131.37 c | 263030 | 700 14000 70000 | 59712 56715 102 | 0.000 % |
131.47/131.69 c | 263626 | 700 14000 70000 | 59712 57311 102 | 0.000 % |
131.88/132.02 c | 264281 | 700 14000 70000 | 59712 57966 102 | 0.000 % |
132.17/132.40 c | 265001 | 700 14000 70000 | 59712 58686 102 | 0.000 % |
132.67/132.82 c | 265796 | 700 14000 70000 | 59712 59481 102 | 0.000 % |
133.07/133.27 c | 266667 | 700 14000 70000 | 59712 54358 102 | 0.000 % |
133.57/133.72 c | 267625 | 700 14000 70000 | 59712 55316 102 | 0.000 % |
134.08/134.22 c | 268678 | 700 14000 70000 | 59712 56369 102 | 0.000 % |
134.67/134.81 c | 269838 | 700 14000 70000 | 59712 57529 102 | 0.000 % |
135.27/135.46 c | 271111 | 700 14000 70000 | 2147483647 58802 102 | 0.000 % |
135.97/136.16 c | 272512 | 700 14000 70000 | 2147483647 60203 102 | 0.000 % |
136.87/137.01 c | 274052 | 700 14000 70000 | 2147483647 61743 102 | 0.000 % |
137.67/137.88 c | 275746 | 700 14000 70000 | 2147483647 63437 102 | 0.000 % |
138.77/138.90 c | 277609 | 700 14000 70000 | 2147483647 65300 102 | 0.000 % |
139.87/140.08 c | 279659 | 700 14000 70000 | 2147483647 67350 103 | 0.000 % |
141.17/141.35 c | 281912 | 700 14000 70000 | 67691 62456 102 | 0.000 % |
142.47/142.61 c | 284391 | 700 14000 70000 | 67691 64935 103 | 0.000 % |
143.97/144.15 c | 287117 | 700 14000 70000 | 67691 67661 103 | 0.000 % |
144.07/144.22 c | 287217 | 700 14000 70000 | 67691 67761 103 | 0.000 % |
144.17/144.32 c | 287328 | 700 14000 70000 | 67691 60416 103 | 0.000 % |
144.17/144.39 c | 287450 | 700 14000 70000 | 67691 60538 103 | 0.000 % |
144.27/144.47 c | 287583 | 700 14000 70000 | 67691 60671 103 | 0.000 % |
144.36/144.55 c | 287730 | 700 14000 70000 | 67691 60818 103 | 0.000 % |
144.46/144.66 c | 287892 | 700 14000 70000 | 67691 60980 103 | 0.000 % |
144.56/144.76 c | 288069 | 700 14000 70000 | 67691 61157 103 | 0.000 % |
144.66/144.88 c | 288262 | 700 14000 70000 | 67691 61350 103 | 0.000 % |
144.86/145.02 c | 288475 | 700 14000 70000 | 67691 61563 103 | 0.000 % |
144.97/145.15 c | 288708 | 700 14000 70000 | 67691 61796 103 | 0.000 % |
145.16/145.30 c | 288965 | 700 14000 70000 | 67691 62053 103 | 0.000 % |
145.26/145.45 c | 289246 | 700 14000 70000 | 67691 62334 102 | 0.000 % |
145.46/145.62 c | 289556 | 700 14000 70000 | 67691 62644 102 | 0.000 % |
145.66/145.84 c | 289895 | 700 14000 70000 | 67691 62983 102 | 0.000 % |
145.86/146.10 c | 290267 | 700 14000 70000 | 63088 55988 102 | 0.000 % |
146.17/146.30 c | 290676 | 700 14000 70000 | 63088 56397 102 | 0.000 % |
146.36/146.59 c | 291127 | 700 14000 70000 | 63088 56848 102 | 0.000 % |
146.66/146.85 c | 291621 | 700 14000 70000 | 63088 57342 102 | 0.000 % |
146.96/147.13 c | 292163 | 700 14000 70000 | 63088 57884 102 | 0.000 % |
147.26/147.43 c | 292759 | 700 14000 70000 | 63088 58480 102 | 0.000 % |
147.56/147.75 c | 293415 | 700 14000 70000 | 63088 59136 102 | 0.000 % |
147.96/148.11 c | 294137 | 700 14000 70000 | 63088 59858 102 | 0.000 % |
148.36/148.53 c | 294929 | 700 14000 70000 | 63088 60650 102 | 0.000 % |
148.76/148.99 c | 295800 | 700 14000 70000 | 63088 61521 102 | 0.000 % |
149.36/149.51 c | 296758 | 700 14000 70000 | 63088 62479 102 | 0.000 % |
149.96/150.11 c | 297811 | 700 14000 70000 | 63088 57201 102 | 0.000 % |
150.56/150.71 c | 298969 | 700 14000 70000 | 63088 58359 102 | 0.000 % |
151.16/151.36 c | 300244 | 700 14000 70000 | 2147483647 59634 102 | 0.000 % |
151.96/152.13 c | 301645 | 700 14000 70000 | 2147483647 61035 102 | 0.000 % |
152.76/152.93 c | 303185 | 700 14000 70000 | 2147483647 62575 102 | 0.000 % |
153.66/153.85 c | 304879 | 700 14000 70000 | 2147483647 64269 102 | 0.000 % |
154.66/154.86 c | 306742 | 700 14000 70000 | 2147483647 66132 102 | 0.000 % |
155.86/156.03 c | 308791 | 700 14000 70000 | 2147483647 68181 102 | 0.000 % |
157.16/157.33 c | 311045 | 700 14000 70000 | 69390 62779 103 | 0.000 % |
158.46/158.64 c | 313523 | 700 14000 70000 | 69390 65257 103 | 0.000 % |
159.96/160.12 c | 316249 | 700 14000 70000 | 69390 67983 103 | 0.000 % |
161.56/161.72 c | 319246 | 700 14000 70000 | 69390 62543 103 | 0.000 % |
161.56/161.77 c | 319347 | 700 14000 70000 | 69390 62644 103 | 0.000 % |
161.66/161.83 c | 319457 | 700 14000 70000 | 69390 62754 103 | 0.000 % |
161.76/161.91 c | 319581 | 700 14000 70000 | 69390 62878 103 | 0.000 % |
161.86/162.00 c | 319716 | 700 14000 70000 | 69390 63013 103 | 0.000 % |
161.86/162.08 c | 319863 | 700 14000 70000 | 69390 63160 103 | 0.000 % |
161.96/162.19 c | 320023 | 700 14000 70000 | 63297 63320 103 | 0.000 % |
162.16/162.33 c | 320199 | 700 14000 70000 | 63297 55890 103 | 0.000 % |
162.26/162.44 c | 320393 | 700 14000 70000 | 63297 56084 103 | 0.000 % |
162.36/162.56 c | 320605 | 700 14000 70000 | 63297 56296 103 | 0.000 % |
162.46/162.70 c | 320839 | 700 14000 70000 | 63297 56530 103 | 0.000 % |
162.66/162.84 c | 321095 | 700 14000 70000 | 63297 56786 103 | 0.000 % |
162.76/163.00 c | 321377 | 700 14000 70000 | 63297 57068 103 | 0.000 % |
162.95/163.17 c | 321686 | 700 14000 70000 | 63297 57377 103 | 0.000 % |
163.15/163.35 c | 322025 | 700 14000 70000 | 63297 57716 103 | 0.000 % |
163.35/163.56 c | 322399 | 700 14000 70000 | 63297 58090 103 | 0.000 % |
163.55/163.77 c | 322808 | 700 14000 70000 | 63297 58499 103 | 0.000 % |
163.85/164.01 c | 323260 | 700 14000 70000 | 63297 58951 103 | 0.000 % |
164.05/164.26 c | 323753 | 700 14000 70000 | 63297 59444 103 | 0.000 % |
164.35/164.53 c | 324295 | 700 14000 70000 | 63297 59986 103 | 0.000 % |
164.65/164.83 c | 324891 | 700 14000 70000 | 63297 60582 103 | 0.000 % |
164.95/165.19 c | 325546 | 700 14000 70000 | 63297 61237 103 | 0.000 % |
165.45/165.64 c | 326266 | 700 14000 70000 | 63297 61957 103 | 0.000 % |
165.85/166.10 c | 327061 | 700 14000 70000 | 63297 62752 103 | 0.000 % |
166.35/166.58 c | 327932 | 700 14000 70000 | 63297 56828 103 | 0.000 % |
166.85/167.06 c | 328890 | 700 14000 70000 | 63297 57786 103 | 0.000 % |
167.45/167.65 c | 329944 | 700 14000 70000 | 63297 58840 103 | 0.000 % |
168.05/168.28 c | 331104 | 700 14000 70000 | 58896 53890 103 | 0.000 % |
168.75/168.95 c | 332377 | 700 14000 70000 | 58896 55163 103 | 0.000 % |
169.45/169.64 c | 333779 | 700 14000 70000 | 58896 56565 103 | 0.000 % |
170.25/170.41 c | 335320 | 700 14000 70000 | 58896 58106 103 | 0.000 % |
171.05/171.23 c | 337015 | 700 14000 70000 | 58896 53887 103 | 0.000 % |
171.95/172.10 c | 338878 | 700 14000 70000 | 58896 55750 102 | 0.000 % |
172.85/173.07 c | 340927 | 700 14000 70000 | 2147483647 57799 102 | 0.000 % |
174.05/174.21 c | 343182 | 700 14000 70000 | 2147483647 60054 103 | 0.000 % |
175.25/175.49 c | 345661 | 700 14000 70000 | 2147483647 62533 103 | 0.000 % |
176.75/176.91 c | 348387 | 700 14000 70000 | 2147483647 65259 103 | 0.000 % |
178.44/178.60 c | 351385 | 700 14000 70000 | 2147483647 68257 103 | 0.000 % |
180.44/180.60 c | 354683 | 700 14000 70000 | 2147483647 71555 103 | 0.000 % |
180.44/180.66 c | 354783 | 700 14000 70000 | 2147483647 71655 103 | 0.000 % |
180.54/180.73 c | 354895 | 700 14000 70000 | 2147483647 71767 103 | 0.000 % |
180.63/180.82 c | 355017 | 700 14000 70000 | 2147483647 71889 103 | 0.000 % |
180.73/180.94 c | 355151 | 700 14000 70000 | 2147483647 72023 103 | 0.000 % |
180.83/181.05 c | 355298 | 700 14000 70000 | 2147483647 72170 103 | 0.000 % |
180.93/181.17 c | 355462 | 700 14000 70000 | 2147483647 72334 103 | 0.000 % |
181.03/181.29 c | 355638 | 700 14000 70000 | 2147483647 72510 103 | 0.000 % |
181.23/181.41 c | 355831 | 700 14000 70000 | 2147483647 72703 103 | 0.000 % |
181.33/181.57 c | 356045 | 700 14000 70000 | 2147483647 72917 103 | 0.000 % |
181.53/181.74 c | 356280 | 700 14000 70000 | 2147483647 73152 103 | 0.000 % |
181.73/181.91 c | 356537 | 700 14000 70000 | 2147483647 73409 103 | 0.000 % |
181.83/182.09 c | 356819 | 700 14000 70000 | 2147483647 73691 103 | 0.000 % |
182.03/182.28 c | 357128 | 700 14000 70000 | 2147483647 74000 103 | 0.000 % |
182.33/182.50 c | 357467 | 700 14000 70000 | 2147483647 74339 103 | 0.000 % |
182.53/182.76 c | 357839 | 700 14000 70000 | 2147483647 74711 103 | 0.000 % |
182.83/183.03 c | 358249 | 700 14000 70000 | 2147483647 75121 103 | 0.000 % |
183.13/183.34 c | 358698 | 700 14000 70000 | 2147483647 75570 103 | 0.000 % |
183.43/183.66 c | 359191 | 700 14000 70000 | 2147483647 76063 103 | 0.000 % |
183.83/184.02 c | 359733 | 700 14000 70000 | 2147483647 76605 103 | 0.000 % |
184.24/184.43 c | 360333 | 700 14000 70000 | 76872 65896 103 | 0.000 % |
184.54/184.78 c | 360990 | 700 14000 70000 | 76872 66553 103 | 0.000 % |
184.93/185.17 c | 361714 | 700 14000 70000 | 76872 67277 103 | 0.000 % |
185.43/185.63 c | 362507 | 700 14000 70000 | 76872 68070 103 | 0.000 % |
185.93/186.17 c | 363378 | 700 14000 70000 | 76872 68941 103 | 0.000 % |
186.53/186.73 c | 364336 | 700 14000 70000 | 76872 69899 103 | 0.000 % |
187.13/187.35 c | 365391 | 700 14000 70000 | 76872 70954 103 | 0.000 % |
187.84/188.05 c | 366549 | 700 14000 70000 | 76872 72112 103 | 0.000 % |
188.63/188.86 c | 367823 | 700 14000 70000 | 76872 73386 103 | 0.000 % |
189.63/189.83 c | 369224 | 700 14000 70000 | 76872 74787 103 | 0.000 % |
190.53/190.77 c | 370765 | 700 14000 70000 | 75563 64634 103 | 0.000 % |
191.53/191.71 c | 372460 | 700 14000 70000 | 75563 66329 103 | 0.000 % |
192.63/192.82 c | 374325 | 700 14000 70000 | 75563 68194 103 | 0.000 % |
193.73/193.99 c | 376375 | 700 14000 70000 | 75563 70244 103 | 0.000 % |
195.03/195.28 c | 378628 | 700 14000 70000 | 75563 72497 103 | 0.000 % |
196.64/196.86 c | 381106 | 700 14000 70000 | 73870 64557 102 | 0.000 % |
198.23/198.48 c | 383831 | 700 14000 70000 | 73870 67282 102 | 0.000 % |
200.03/200.26 c | 386829 | 700 14000 70000 | 73870 70280 102 | 0.000 % |
202.03/202.26 c | 390125 | 700 14000 70000 | 73453 73576 102 | 0.000 % |
204.13/204.37 c | 393751 | 700 14000 70000 | 73453 66961 103 | 0.000 % |
204.23/204.43 c | 393853 | 700 14000 70000 | 73453 67063 103 | 0.000 % |
204.23/204.50 c | 393963 | 700 14000 70000 | 73453 67173 103 | 0.000 % |
204.33/204.58 c | 394085 | 700 14000 70000 | 73453 67295 103 | 0.000 % |
204.43/204.68 c | 394218 | 700 14000 70000 | 73453 67428 103 | 0.000 % |
204.53/204.79 c | 394364 | 700 14000 70000 | 73453 67574 103 | 0.000 % |
204.63/204.89 c | 394527 | 700 14000 70000 | 73453 67737 103 | 0.000 % |
204.83/205.01 c | 394706 | 700 14000 70000 | 73453 67916 103 | 0.000 % |
204.93/205.14 c | 394899 | 700 14000 70000 | 73453 68109 103 | 0.000 % |
205.03/205.27 c | 395111 | 700 14000 70000 | 73453 68321 103 | 0.000 % |
205.23/205.42 c | 395344 | 700 14000 70000 | 73453 68554 103 | 0.000 % |
205.33/205.57 c | 395602 | 700 14000 70000 | 73453 68812 103 | 0.000 % |
205.53/205.75 c | 395883 | 700 14000 70000 | 73453 69093 103 | 0.000 % |
205.73/205.93 c | 396192 | 700 14000 70000 | 73453 69402 102 | 0.000 % |
205.93/206.13 c | 396534 | 700 14000 70000 | 73453 69744 102 | 0.000 % |
206.12/206.38 c | 396907 | 700 14000 70000 | 73453 70117 102 | 0.000 % |
206.42/206.64 c | 397316 | 700 14000 70000 | 73453 70526 102 | 0.000 % |
206.72/206.92 c | 397765 | 700 14000 70000 | 73453 70975 102 | 0.000 % |
207.02/207.23 c | 398258 | 700 14000 70000 | 73453 71468 102 | 0.000 % |
207.32/207.56 c | 398800 | 700 14000 70000 | 73453 72010 102 | 0.000 % |
207.73/207.91 c | 399396 | 700 14000 70000 | 73453 72606 102 | 0.000 % |
208.12/208.32 c | 400053 | 700 14000 70000 | 73211 73263 102 | 0.000 % |
208.52/208.76 c | 400773 | 700 14000 70000 | 73211 63748 102 | 0.000 % |
209.02/209.22 c | 401566 | 700 14000 70000 | 73211 64541 102 | 0.000 % |
209.52/209.73 c | 402437 | 700 14000 70000 | 73211 65412 102 | 0.000 % |
210.02/210.27 c | 403395 | 700 14000 70000 | 73211 66370 102 | 0.000 % |
210.62/210.86 c | 404448 | 700 14000 70000 | 73211 67423 102 | 0.000 % |
211.32/211.57 c | 405608 | 700 14000 70000 | 73211 68583 102 | 0.000 % |
212.02/212.26 c | 406881 | 700 14000 70000 | 73211 69856 102 | 0.000 % |
212.82/213.08 c | 408282 | 700 14000 70000 | 73211 71257 102 | 0.000 % |
213.82/214.01 c | 409823 | 700 14000 70000 | 73211 72798 102 | 0.000 % |
214.82/215.06 c | 411517 | 700 14000 70000 | 72976 64176 102 | 0.000 % |
215.82/216.04 c | 413381 | 700 14000 70000 | 72976 66040 101 | 0.000 % |
216.92/217.19 c | 415430 | 700 14000 70000 | 72976 68089 101 | 0.000 % |
218.22/218.45 c | 417685 | 700 14000 70000 | 72976 70344 101 | 0.000 % |
219.72/219.91 c | 420163 | 700 14000 70000 | 72660 72822 102 | 0.000 % |
221.12/221.38 c | 422888 | 700 14000 70000 | 72660 65281 102 | 0.000 % |
222.82/223.06 c | 425889 | 700 14000 70000 | 72660 68282 102 | 0.000 % |
224.82/225.01 c | 429185 | 700 14000 70000 | 72660 71578 102 | 0.000 % |
226.91/227.11 c | 432813 | 700 14000 70000 | 72395 65985 103 | 0.000 % |
229.11/229.39 c | 436800 | 700 14000 70000 | 72395 69972 103 | 0.000 % |
229.21/229.45 c | 436901 | 700 14000 70000 | 72395 70073 103 | 0.000 % |
229.31/229.53 c | 437011 | 700 14000 70000 | 72395 70183 103 | 0.000 % |
229.41/229.63 c | 437132 | 700 14000 70000 | 72395 70304 103 | 0.000 % |
229.51/229.73 c | 437266 | 700 14000 70000 | 72395 70438 103 | 0.000 % |
229.61/229.83 c | 437412 | 700 14000 70000 | 72395 70584 103 | 0.000 % |
229.71/229.94 c | 437572 | 700 14000 70000 | 72395 70744 103 | 0.000 % |
229.81/230.07 c | 437748 | 700 14000 70000 | 72395 70920 103 | 0.000 % |
229.91/230.19 c | 437943 | 700 14000 70000 | 72395 71115 103 | 0.000 % |
230.11/230.33 c | 438157 | 700 14000 70000 | 72395 71329 103 | 0.000 % |
230.21/230.49 c | 438390 | 700 14000 70000 | 72395 71562 103 | 0.000 % |
230.41/230.66 c | 438646 | 700 14000 70000 | 72395 71818 103 | 0.000 % |
230.61/230.84 c | 438927 | 700 14000 70000 | 72395 72099 103 | 0.000 % |
230.81/231.03 c | 439236 | 700 14000 70000 | 72395 72408 103 | 0.000 % |
231.01/231.25 c | 439576 | 700 14000 70000 | 72395 62849 103 | 0.000 % |
231.21/231.48 c | 439950 | 700 14000 70000 | 72395 63223 103 | 0.000 % |
231.51/231.75 c | 440359 | 700 14000 70000 | 63275 55011 103 | 0.000 % |
231.71/231.97 c | 440809 | 700 14000 70000 | 63275 55461 103 | 0.000 % |
232.01/232.22 c | 441302 | 700 14000 70000 | 63275 55954 103 | 0.000 % |
232.21/232.49 c | 441845 | 700 14000 70000 | 63275 56497 103 | 0.000 % |
232.51/232.80 c | 442442 | 700 14000 70000 | 63275 57094 103 | 0.000 % |
232.91/233.16 c | 443098 | 700 14000 70000 | 63275 57750 103 | 0.000 % |
233.31/233.58 c | 443819 | 700 14000 70000 | 63275 58471 103 | 0.000 % |
233.71/233.98 c | 444612 | 700 14000 70000 | 63275 59264 103 | 0.000 % |
234.21/234.46 c | 445483 | 700 14000 70000 | 63275 60135 103 | 0.000 % |
234.71/234.93 c | 446443 | 700 14000 70000 | 63275 61095 103 | 0.000 % |
235.21/235.47 c | 447497 | 700 14000 70000 | 63275 62149 103 | 0.000 % |
235.90/236.12 c | 448655 | 700 14000 70000 | 63275 63307 103 | 0.000 % |
236.50/236.77 c | 449929 | 700 14000 70000 | 63275 58046 103 | 0.000 % |
237.20/237.45 c | 451329 | 700 14000 70000 | 2147483647 59446 103 | 0.000 % |
238.00/238.22 c | 452869 | 700 14000 70000 | 2147483647 60986 103 | 0.000 % |
238.80/239.08 c | 454564 | 700 14000 70000 | 2147483647 62681 103 | 0.000 % |
239.90/240.13 c | 456427 | 700 14000 70000 | 2147483647 64544 103 | 0.000 % |
241.10/241.31 c | 458477 | 700 14000 70000 | 2147483647 66594 103 | 0.000 % |
242.30/242.54 c | 460730 | 700 14000 70000 | 68119 61670 103 | 0.000 % |
243.60/243.80 c | 463208 | 700 14000 70000 | 68119 64148 104 | 0.000 % |
245.01/245.26 c | 465933 | 700 14000 70000 | 68119 66873 104 | 0.000 % |
246.70/246.98 c | 468930 | 700 14000 70000 | 68119 62608 104 | 0.000 % |
248.50/248.74 c | 472226 | 700 14000 70000 | 63679 59192 105 | 0.000 % |
250.40/250.62 c | 475852 | 700 14000 70000 | 63679 62818 105 | 0.000 % |
252.50/252.79 c | 479841 | 700 14000 70000 | 63679 60415 105 | 0.000 % |
254.90/255.15 c | 484226 | 700 14000 70000 | 2147483647 64800 105 | 0.000 % |
255.00/255.20 c | 484326 | 700 14000 70000 | 2147483647 64900 105 | 0.000 % |
255.00/255.28 c | 484437 | 700 14000 70000 | 2147483647 65011 105 | 0.000 % |
255.10/255.35 c | 484560 | 700 14000 70000 | 2147483647 65134 105 | 0.000 % |
255.20/255.44 c | 484693 | 700 14000 70000 | 2147483647 65267 105 | 0.000 % |
255.30/255.53 c | 484839 | 700 14000 70000 | 2147483647 65413 105 | 0.000 % |
255.40/255.62 c | 485001 | 700 14000 70000 | 2147483647 65575 105 | 0.000 % |
255.50/255.74 c | 485178 | 700 14000 70000 | 2147483647 65752 105 | 0.000 % |
255.60/255.85 c | 485376 | 700 14000 70000 | 2147483647 65950 105 | 0.000 % |
255.70/255.98 c | 485588 | 700 14000 70000 | 2147483647 66162 105 | 0.000 % |
255.90/256.11 c | 485822 | 700 14000 70000 | 2147483647 66396 105 | 0.000 % |
256.00/256.25 c | 486079 | 700 14000 70000 | 2147483647 66653 105 | 0.000 % |
256.20/256.44 c | 486360 | 700 14000 70000 | 2147483647 66934 105 | 0.000 % |
256.40/256.61 c | 486672 | 700 14000 70000 | 2147483647 67246 105 | 0.000 % |
256.60/256.82 c | 487011 | 700 14000 70000 | 2147483647 67585 105 | 0.000 % |
256.80/257.03 c | 487383 | 700 14000 70000 | 2147483647 67957 105 | 0.000 % |
257.00/257.28 c | 487795 | 700 14000 70000 | 2147483647 68369 105 | 0.000 % |
257.30/257.54 c | 488245 | 700 14000 70000 | 2147483647 68819 105 | 0.000 % |
257.60/257.84 c | 488738 | 700 14000 70000 | 2147483647 69312 105 | 0.000 % |
257.90/258.17 c | 489281 | 700 14000 70000 | 2147483647 69855 105 | 0.000 % |
258.30/258.55 c | 489879 | 700 14000 70000 | 2147483647 70453 105 | 0.000 % |
258.70/258.96 c | 490534 | 700 14000 70000 | 70575 62717 104 | 0.000 % |
259.10/259.36 c | 491256 | 700 14000 70000 | 70575 63439 104 | 0.000 % |
259.50/259.76 c | 492049 | 700 14000 70000 | 70575 64232 104 | 0.000 % |
260.00/260.26 c | 492920 | 700 14000 70000 | 70575 65103 104 | 0.000 % |
260.50/260.77 c | 493879 | 700 14000 70000 | 70575 66062 104 | 0.000 % |
261.10/261.37 c | 494932 | 700 14000 70000 | 70575 67115 104 | 0.000 % |
261.80/262.02 c | 496091 | 700 14000 70000 | 70575 68274 104 | 0.000 % |
262.50/262.75 c | 497364 | 700 14000 70000 | 70575 69547 104 | 0.000 % |
263.39/263.64 c | 498764 | 700 14000 70000 | 70575 61703 103 | 0.000 % |
264.29/264.50 c | 500309 | 700 14000 70000 | 62939 55336 103 | 0.000 % |
265.10/265.37 c | 502003 | 700 14000 70000 | 62939 57030 103 | 0.000 % |
266.09/266.34 c | 503866 | 700 14000 70000 | 62939 58893 103 | 0.000 % |
267.10/267.37 c | 505916 | 700 14000 70000 | 62939 60943 104 | 0.000 % |
268.20/268.49 c | 508172 | 700 14000 70000 | 62939 63199 104 | 0.000 % |
269.49/269.77 c | 510650 | 700 14000 70000 | 2147483647 59358 103 | 0.000 % |
270.88/271.18 c | 513375 | 700 14000 70000 | 2147483647 62083 104 | 0.000 % |
272.48/272.78 c | 516373 | 700 14000 70000 | 2147483647 65081 104 | 0.000 % |
274.27/274.53 c | 519669 | 700 14000 70000 | 2147483647 68377 104 | 0.000 % |
276.37/276.63 c | 523294 | 700 14000 70000 | 2147483647 72002 104 | 0.000 % |
278.67/278.95 c | 527281 | 700 14000 70000 | 2147483647 75989 104 | 0.000 % |
281.37/281.68 c | 531666 | 700 14000 70000 | 78708 69241 104 | 0.000 % |
284.26/284.55 c | 536490 | 700 14000 70000 | 78708 74065 105 | 0.000 % |
284.36/284.61 c | 536590 | 700 14000 70000 | 78708 74165 105 | 0.000 % |
284.36/284.69 c | 536702 | 700 14000 70000 | 78708 74277 105 | 0.000 % |
284.46/284.77 c | 536825 | 700 14000 70000 | 78708 74400 105 | 0.000 % |
284.57/284.86 c | 536958 | 700 14000 70000 | 78708 74533 105 | 0.000 % |
284.68/284.97 c | 537106 | 700 14000 70000 | 78708 74681 105 | 0.000 % |
284.77/285.08 c | 537267 | 700 14000 70000 | 78708 74842 105 | 0.000 % |
284.97/285.20 c | 537443 | 700 14000 70000 | 78708 75018 105 | 0.000 % |
285.07/285.32 c | 537636 | 700 14000 70000 | 78708 75211 105 | 0.000 % |
285.17/285.48 c | 537848 | 700 14000 70000 | 78708 75423 105 | 0.000 % |
285.37/285.65 c | 538084 | 700 14000 70000 | 78708 75659 105 | 0.000 % |
285.57/285.85 c | 538340 | 700 14000 70000 | 78708 75915 105 | 0.000 % |
285.77/286.05 c | 538622 | 700 14000 70000 | 78708 76197 105 | 0.000 % |
285.97/286.27 c | 538932 | 700 14000 70000 | 78708 76507 105 | 0.000 % |
286.27/286.53 c | 539271 | 700 14000 70000 | 78708 76846 105 | 0.000 % |
286.47/286.77 c | 539644 | 700 14000 70000 | 78708 77219 104 | 0.000 % |
286.77/287.02 c | 540053 | 700 14000 70000 | 77577 77628 104 | 0.000 % |
287.07/287.34 c | 540503 | 700 14000 70000 | 77577 66005 104 | 0.000 % |
287.37/287.64 c | 540996 | 700 14000 70000 | 77577 66498 104 | 0.000 % |
287.67/287.95 c | 541538 | 700 14000 70000 | 77577 67040 104 | 0.000 % |
288.07/288.31 c | 542134 | 700 14000 70000 | 77577 67636 104 | 0.000 % |
288.37/288.69 c | 542790 | 700 14000 70000 | 77577 68292 104 | 0.000 % |
288.77/289.09 c | 543512 | 700 14000 70000 | 77577 69014 104 | 0.000 % |
289.27/289.56 c | 544307 | 700 14000 70000 | 77577 69809 104 | 0.000 % |
289.77/290.07 c | 545179 | 700 14000 70000 | 77577 70681 104 | 0.000 % |
290.37/290.64 c | 546138 | 700 14000 70000 | 77577 71640 104 | 0.000 % |
290.97/291.28 c | 547192 | 700 14000 70000 | 77577 72694 104 | 0.000 % |
291.77/292.03 c | 548351 | 700 14000 70000 | 77577 73853 103 | 0.000 % |
292.57/292.86 c | 549625 | 700 14000 70000 | 77577 75127 103 | 0.000 % |
293.37/293.70 c | 551025 | 700 14000 70000 | 75502 64613 103 | 0.000 % |
294.26/294.56 c | 552565 | 700 14000 70000 | 75502 66153 103 | 0.000 % |
295.26/295.56 c | 554260 | 700 14000 70000 | 75502 67848 103 | 0.000 % |
296.36/296.65 c | 556123 | 700 14000 70000 | 75502 69711 103 | 0.000 % |
297.66/297.91 c | 558173 | 700 14000 70000 | 75502 71761 104 | 0.000 % |
298.97/299.30 c | 560426 | 700 14000 70000 | 73588 62910 104 | 0.000 % |
300.36/300.67 c | 562904 | 700 14000 70000 | 73588 65388 104 | 0.000 % |
301.86/302.19 c | 565630 | 700 14000 70000 | 73588 68114 104 | 0.000 % |
303.66/303.96 c | 568629 | 700 14000 70000 | 73588 71113 104 | 0.000 % |
305.66/305.92 c | 571925 | 700 14000 70000 | 72487 64621 104 | 0.000 % |
307.66/307.93 c | 575550 | 700 14000 70000 | 72487 68246 104 | 0.000 % |
309.96/310.23 c | 579538 | 700 14000 70000 | 72487 72234 104 | 0.000 % |
312.45/312.79 c | 583923 | 700 14000 70000 | 72696 66251 104 | 0.000 % |
315.45/315.72 c | 588746 | 700 14000 70000 | 72696 71074 104 | 0.000 % |
318.55/318.83 c | 594051 | 700 14000 70000 | 72328 66438 105 | 0.000 % |
318.65/318.90 c | 594151 | 700 14000 70000 | 72328 66538 105 | 0.000 % |
318.65/318.98 c | 594264 | 700 14000 70000 | 72328 66651 105 | 0.000 % |
318.75/319.06 c | 594387 | 700 14000 70000 | 72328 66774 105 | 0.000 % |
318.85/319.14 c | 594521 | 700 14000 70000 | 72328 66908 105 | 0.000 % |
318.95/319.26 c | 594667 | 700 14000 70000 | 72328 67054 105 | 0.000 % |
319.05/319.36 c | 594829 | 700 14000 70000 | 72328 67216 105 | 0.000 % |
319.15/319.47 c | 595005 | 700 14000 70000 | 72328 67392 105 | 0.000 % |
319.35/319.62 c | 595199 | 700 14000 70000 | 72328 67586 105 | 0.000 % |
319.45/319.75 c | 595412 | 700 14000 70000 | 72328 67799 105 | 0.000 % |
319.55/319.89 c | 595645 | 700 14000 70000 | 72328 68032 105 | 0.000 % |
319.75/320.06 c | 595901 | 700 14000 70000 | 72328 68288 105 | 0.000 % |
319.95/320.24 c | 596182 | 700 14000 70000 | 72328 68569 105 | 0.000 % |
320.15/320.42 c | 596492 | 700 14000 70000 | 72328 68879 105 | 0.000 % |
320.35/320.65 c | 596831 | 700 14000 70000 | 72328 69218 104 | 0.000 % |
320.65/320.90 c | 597203 | 700 14000 70000 | 72328 69590 104 | 0.000 % |
320.85/321.16 c | 597612 | 700 14000 70000 | 72328 69999 104 | 0.000 % |
321.15/321.41 c | 598063 | 700 14000 70000 | 72328 70450 104 | 0.000 % |
321.45/321.76 c | 598557 | 700 14000 70000 | 72328 70944 104 | 0.000 % |
321.75/322.09 c | 599099 | 700 14000 70000 | 72328 71486 104 | 0.000 % |
322.15/322.48 c | 599695 | 700 14000 70000 | 72328 72082 104 | 0.000 % |
322.64/322.92 c | 600350 | 700 14000 70000 | 72387 62366 103 | 0.000 % |
322.94/323.30 c | 601070 | 700 14000 70000 | 72387 63086 103 | 0.000 % |
323.44/323.78 c | 601863 | 700 14000 70000 | 72387 63879 103 | 0.000 % |
323.94/324.27 c | 602734 | 700 14000 70000 | 72387 64750 103 | 0.000 % |
324.54/324.83 c | 603694 | 700 14000 70000 | 72387 65710 103 | 0.000 % |
325.14/325.44 c | 604747 | 700 14000 70000 | 72387 66763 103 | 0.000 % |
325.74/326.08 c | 605905 | 700 14000 70000 | 72387 67921 103 | 0.000 % |
326.54/326.85 c | 607178 | 700 14000 70000 | 72387 69194 103 | 0.000 % |
327.34/327.63 c | 608579 | 700 14000 70000 | 72387 70595 103 | 0.000 % |
328.34/328.62 c | 610120 | 700 14000 70000 | 72017 72136 103 | 0.000 % |
329.24/329.57 c | 611816 | 700 14000 70000 | 72017 63409 104 | 0.000 % |
330.34/330.62 c | 613680 | 700 14000 70000 | 72017 65273 104 | 0.000 % |
331.34/331.69 c | 615731 | 700 14000 70000 | 72017 67324 104 | 0.000 % |
332.64/332.97 c | 617984 | 700 14000 70000 | 72017 69577 104 | 0.000 % |
334.15/334.46 c | 620463 | 700 14000 70000 | 71593 62986 104 | 0.000 % |
335.54/335.87 c | 623188 | 700 14000 70000 | 71593 65711 104 | 0.000 % |
337.24/337.59 c | 626188 | 700 14000 70000 | 71593 68711 104 | 0.000 % |
339.24/339.55 c | 629485 | 700 14000 70000 | 71593 62791 104 | 0.000 % |
341.24/341.54 c | 633110 | 700 14000 70000 | 63306 58335 105 | 0.000 % |
343.34/343.63 c | 637097 | 700 14000 70000 | 63306 62322 105 | 0.000 % |
345.64/345.91 c | 641484 | 700 14000 70000 | 58769 54191 104 | 0.000 % |
347.93/348.25 c | 646307 | 700 14000 70000 | 58769 59014 105 | 0.000 % |
350.54/350.84 c | 651613 | 700 14000 70000 | 2147483647 58419 105 | 0.000 % |
353.53/353.81 c | 657450 | 700 14000 70000 | 2147483647 64256 105 | 0.000 % |
353.53/353.87 c | 657551 | 700 14000 70000 | 2147483647 64357 105 | 0.000 % |
353.63/353.95 c | 657661 | 700 14000 70000 | 2147483647 64467 105 | 0.000 % |
353.73/354.03 c | 657784 | 700 14000 70000 | 2147483647 64590 105 | 0.000 % |
353.84/354.11 c | 657918 | 700 14000 70000 | 2147483647 64724 105 | 0.000 % |
353.94/354.21 c | 658065 | 700 14000 70000 | 2147483647 64871 105 | 0.000 % |
354.03/354.33 c | 658225 | 700 14000 70000 | 2147483647 65031 105 | 0.000 % |
354.13/354.44 c | 658402 | 700 14000 70000 | 2147483647 65208 105 | 0.000 % |
354.23/354.55 c | 658595 | 700 14000 70000 | 2147483647 65401 105 | 0.000 % |
354.43/354.70 c | 658807 | 700 14000 70000 | 2147483647 65613 105 | 0.000 % |
354.53/354.85 c | 659043 | 700 14000 70000 | 2147483647 65849 105 | 0.000 % |
354.73/355.03 c | 659301 | 700 14000 70000 | 2147483647 66107 105 | 0.000 % |
354.94/355.21 c | 659582 | 700 14000 70000 | 2147483647 66388 105 | 0.000 % |
355.13/355.41 c | 659892 | 700 14000 70000 | 2147483647 66698 105 | 0.000 % |
355.33/355.63 c | 660232 | 700 14000 70000 | 66807 67038 104 | 0.000 % |
355.53/355.89 c | 660604 | 700 14000 70000 | 66807 60071 105 | 0.000 % |
355.83/356.11 c | 661015 | 700 14000 70000 | 66807 60482 105 | 0.000 % |
356.03/356.39 c | 661465 | 700 14000 70000 | 66807 60932 105 | 0.000 % |
356.33/356.65 c | 661958 | 700 14000 70000 | 66807 61425 105 | 0.000 % |
356.63/356.94 c | 662500 | 700 14000 70000 | 66807 61967 105 | 0.000 % |
356.93/357.28 c | 663097 | 700 14000 70000 | 66807 62564 105 | 0.000 % |
357.33/357.64 c | 663753 | 700 14000 70000 | 66807 63220 105 | 0.000 % |
357.73/358.04 c | 664478 | 700 14000 70000 | 66807 63945 105 | 0.000 % |
358.13/358.47 c | 665270 | 700 14000 70000 | 66807 64737 105 | 0.000 % |
358.63/358.95 c | 666142 | 700 14000 70000 | 66807 65609 105 | 0.000 % |
359.23/359.50 c | 667100 | 700 14000 70000 | 66807 66567 105 | 0.000 % |
359.82/360.14 c | 668153 | 700 14000 70000 | 66807 59913 105 | 0.000 % |
360.43/360.77 c | 669311 | 700 14000 70000 | 66807 61071 105 | 0.000 % |
361.22/361.51 c | 670585 | 700 14000 70000 | 61762 55391 105 | 0.000 % |
361.92/362.28 c | 671986 | 700 14000 70000 | 61762 56792 105 | 0.000 % |
362.82/363.10 c | 673527 | 700 14000 70000 | 61762 58333 105 | 0.000 % |
363.62/363.99 c | 675222 | 700 14000 70000 | 61762 60028 105 | 0.000 % |
364.62/365.00 c | 677086 | 700 14000 70000 | 61762 61892 105 | 0.000 % |
365.72/366.05 c | 679135 | 700 14000 70000 | 61762 57752 104 | 0.000 % |
366.92/367.20 c | 681388 | 700 14000 70000 | 2147483647 60005 104 | 0.000 % |
368.23/368.53 c | 683867 | 700 14000 70000 | 2147483647 62484 105 | 0.000 % |
369.72/370.03 c | 686593 | 700 14000 70000 | 2147483647 65210 104 | 0.000 % |
371.52/371.80 c | 689590 | 700 14000 70000 | 2147483647 68207 105 | 0.000 % |
373.32/373.62 c | 692887 | 700 14000 70000 | 68620 63751 105 | 0.000 % |
375.32/375.61 c | 696512 | 700 14000 70000 | 68620 67376 105 | 0.000 % |
377.72/378.03 c | 700499 | 700 14000 70000 | 62551 55454 105 | 0.000 % |
380.12/380.41 c | 704884 | 700 14000 70000 | 62551 59839 105 | 0.000 % |
382.61/382.97 c | 709707 | 700 14000 70000 | 62551 58261 105 | 0.000 % |
385.51/385.83 c | 715013 | 700 14000 70000 | 2147483647 63567 105 | 0.000 % |
389.02/389.32 c | 720848 | 700 14000 70000 | 68554 61334 105 | 0.000 % |
392.71/393.01 c | 727266 | 700 14000 70000 | 68554 67752 105 | 0.000 % |
392.71/393.08 c | 727367 | 700 14000 70000 | 68554 67853 105 | 0.000 % |
392.81/393.16 c | 727477 | 700 14000 70000 | 68554 67963 105 | 0.000 % |
392.91/393.25 c | 727600 | 700 14000 70000 | 68554 68086 105 | 0.000 % |
393.01/393.34 c | 727734 | 700 14000 70000 | 68554 68220 105 | 0.000 % |
393.11/393.44 c | 727880 | 700 14000 70000 | 68554 68366 105 | 0.000 % |
393.21/393.55 c | 728040 | 700 14000 70000 | 68554 68526 105 | 0.000 % |
393.41/393.70 c | 728216 | 700 14000 70000 | 68554 68702 105 | 0.000 % |
393.51/393.86 c | 728409 | 700 14000 70000 | 68554 60082 106 | 0.000 % |
393.71/394.01 c | 728621 | 700 14000 70000 | 68554 60294 106 | 0.000 % |
393.81/394.14 c | 728856 | 700 14000 70000 | 68554 60529 106 | 0.000 % |
393.91/394.27 c | 729112 | 700 14000 70000 | 68554 60785 105 | 0.000 % |
394.11/394.43 c | 729393 | 700 14000 70000 | 68554 61066 105 | 0.000 % |
394.31/394.60 c | 729703 | 700 14000 70000 | 68554 61376 105 | 0.000 % |
394.41/394.80 c | 730045 | 700 14000 70000 | 61673 61718 105 | 0.000 % |
394.71/395.05 c | 730417 | 700 14000 70000 | 61673 54444 106 | 0.000 % |
394.91/395.28 c | 730827 | 700 14000 70000 | 61673 54854 105 | 0.000 % |
395.21/395.51 c | 731276 | 700 14000 70000 | 61673 55303 105 | 0.000 % |
395.41/395.75 c | 731769 | 700 14000 70000 | 61673 55796 105 | 0.000 % |
395.71/396.02 c | 732311 | 700 14000 70000 | 61673 56338 105 | 0.000 % |
396.01/396.33 c | 732907 | 700 14000 70000 | 61673 56934 105 | 0.000 % |
396.31/396.63 c | 733563 | 700 14000 70000 | 61673 57590 105 | 0.000 % |
396.71/397.05 c | 734284 | 700 14000 70000 | 61673 58311 105 | 0.000 % |
397.11/397.46 c | 735077 | 700 14000 70000 | 61673 59104 105 | 0.000 % |
397.61/397.96 c | 735948 | 700 14000 70000 | 61673 59975 105 | 0.000 % |
398.20/398.50 c | 736907 | 700 14000 70000 | 61673 60934 105 | 0.000 % |
398.70/399.09 c | 737963 | 700 14000 70000 | 61673 55801 105 | 0.000 % |
399.30/399.65 c | 739122 | 700 14000 70000 | 61673 56960 105 | 0.000 % |
399.90/400.28 c | 740397 | 700 14000 70000 | 2147483647 58235 105 | 0.000 % |
400.60/401.00 c | 741797 | 700 14000 70000 | 2147483647 59635 105 | 0.000 % |
401.40/401.78 c | 743337 | 700 14000 70000 | 2147483647 61175 104 | 0.000 % |
402.31/402.65 c | 745031 | 700 14000 70000 | 2147483647 62869 104 | 0.000 % |
403.41/403.72 c | 746895 | 700 14000 70000 | 2147483647 64733 104 | 0.000 % |
404.50/404.82 c | 748944 | 700 14000 70000 | 2147483647 66782 104 | 0.000 % |
405.70/406.07 c | 751197 | 700 14000 70000 | 67838 61794 104 | 0.000 % |
407.00/407.39 c | 753676 | 700 14000 70000 | 67838 64273 104 | 0.000 % |
408.50/408.88 c | 756401 | 700 14000 70000 | 67838 66998 104 | 0.000 % |
410.20/410.56 c | 759398 | 700 14000 70000 | 67838 62569 104 | 0.000 % |
411.90/412.29 c | 762694 | 700 14000 70000 | 63171 59059 104 | 0.000 % |
414.00/414.32 c | 766319 | 700 14000 70000 | 63171 62684 104 | 0.000 % |
416.09/416.44 c | 770306 | 700 14000 70000 | 2147483647 60330 104 | 0.000 % |
418.59/418.92 c | 774693 | 700 14000 70000 | 2147483647 64717 105 | 0.000 % |
421.49/421.81 c | 779516 | 700 14000 70000 | 2147483647 69540 105 | 0.000 % |
424.30/424.65 c | 784821 | 700 14000 70000 | 70025 66472 105 | 0.000 % |
427.60/427.97 c | 790657 | 700 14000 70000 | 62571 55291 105 | 0.000 % |
430.79/431.13 c | 797075 | 700 14000 70000 | 62571 61709 106 | 0.000 % |
434.19/434.59 c | 804134 | 700 14000 70000 | 58236 56404 106 | 0.000 % |
434.29/434.65 c | 804235 | 700 14000 70000 | 58236 56505 106 | 0.000 % |
434.39/434.71 c | 804345 | 700 14000 70000 | 58236 56615 106 | 0.000 % |
434.39/434.79 c | 804468 | 700 14000 70000 | 58236 56738 106 | 0.000 % |
434.49/434.86 c | 804601 | 700 14000 70000 | 58236 56871 106 | 0.000 % |
434.59/434.94 c | 804747 | 700 14000 70000 | 58236 57017 106 | 0.000 % |
434.69/435.03 c | 804909 | 700 14000 70000 | 58236 57179 106 | 0.000 % |
434.79/435.12 c | 805085 | 700 14000 70000 | 58236 57355 106 | 0.000 % |
434.89/435.24 c | 805278 | 700 14000 70000 | 58236 57548 106 | 0.000 % |
434.99/435.35 c | 805490 | 700 14000 70000 | 58236 57760 106 | 0.000 % |
435.09/435.48 c | 805723 | 700 14000 70000 | 58236 57993 106 | 0.000 % |
435.29/435.62 c | 805981 | 700 14000 70000 | 58236 58251 106 | 0.000 % |
435.39/435.78 c | 806262 | 700 14000 70000 | 58236 52707 106 | 0.000 % |
435.59/435.92 c | 806571 | 700 14000 70000 | 58236 53016 106 | 0.000 % |
435.79/436.10 c | 806910 | 700 14000 70000 | 58236 53355 106 | 0.000 % |
435.89/436.28 c | 807282 | 700 14000 70000 | 58236 53727 106 | 0.000 % |
436.09/436.48 c | 807691 | 700 14000 70000 | 58236 54136 106 | 0.000 % |
436.39/436.71 c | 808141 | 700 14000 70000 | 58236 54586 106 | 0.000 % |
436.59/436.97 c | 808634 | 700 14000 70000 | 58236 55079 106 | 0.000 % |
436.89/437.24 c | 809177 | 700 14000 70000 | 58236 55622 106 | 0.000 % |
437.18/437.56 c | 809774 | 700 14000 70000 | 58236 56219 106 | 0.000 % |
437.49/437.89 c | 810429 | 700 14000 70000 | 2147483647 56874 106 | 0.000 % |
437.88/438.23 c | 811149 | 700 14000 70000 | 2147483647 57594 106 | 0.000 % |
438.28/438.65 c | 811941 | 700 14000 70000 | 2147483647 58386 106 | 0.000 % |
438.68/439.08 c | 812812 | 700 14000 70000 | 2147483647 59257 106 | 0.000 % |
439.18/439.57 c | 813770 | 700 14000 70000 | 2147483647 60215 105 | 0.000 % |
439.78/440.12 c | 814823 | 700 14000 70000 | 2147483647 61268 105 | 0.000 % |
440.38/440.73 c | 815982 | 700 14000 70000 | 2147483647 62427 105 | 0.000 % |
440.98/441.37 c | 817255 | 700 14000 70000 | 2147483647 63700 105 | 0.000 % |
441.79/442.14 c | 818656 | 700 14000 70000 | 2147483647 65101 105 | 0.000 % |
442.58/442.97 c | 820200 | 700 14000 70000 | 2147483647 66645 105 | 0.000 % |
443.48/443.86 c | 821894 | 700 14000 70000 | 2147483647 68339 105 | 0.000 % |
444.58/444.96 c | 823757 | 700 14000 70000 | 2147483647 70202 105 | 0.000 % |
445.78/446.14 c | 825806 | 700 14000 70000 | 2147483647 72251 105 | 0.000 % |
447.18/447.50 c | 828059 | 700 14000 70000 | 2147483647 74504 105 | 0.000 % |
448.88/449.25 c | 830538 | 700 14000 70000 | 76447 65887 105 | 0.000 % |
450.37/450.79 c | 833267 | 700 14000 70000 | 76447 68616 105 | 0.000 % |
452.17/452.57 c | 836264 | 700 14000 70000 | 76447 71613 105 | 0.000 % |
454.27/454.65 c | 839563 | 700 14000 70000 | 76447 74912 105 | 0.000 % |
456.47/456.82 c | 843189 | 700 14000 70000 | 75349 67109 105 | 0.000 % |
458.67/459.01 c | 847177 | 700 14000 70000 | 75349 71097 105 | 0.000 % |
461.27/461.61 c | 851563 | 700 14000 70000 | 73921 64729 105 | 0.000 % |
463.97/464.39 c | 856386 | 700 14000 70000 | 73921 69552 105 | 0.000 % |
467.37/467.73 c | 861692 | 700 14000 70000 | 73167 63807 105 | 0.000 % |
470.77/471.14 c | 867527 | 700 14000 70000 | 73167 69642 105 | 0.000 % |
474.66/475.07 c | 873946 | 700 14000 70000 | 72115 65135 106 | 0.000 % |
478.96/479.31 c | 881008 | 700 14000 70000 | 71189 61370 107 | 0.000 % |
483.46/483.81 c | 888776 | 700 14000 70000 | 71189 69138 106 | 0.000 % |
483.46/483.87 c | 888876 | 700 14000 70000 | 71189 69238 106 | 0.000 % |
483.57/483.95 c | 888987 | 700 14000 70000 | 71189 69349 106 | 0.000 % |
483.67/484.03 c | 889110 | 700 14000 70000 | 71189 69472 106 | 0.000 % |
483.76/484.13 c | 889245 | 700 14000 70000 | 71189 69607 106 | 0.000 % |
483.86/484.22 c | 889391 | 700 14000 70000 | 71189 69753 106 | 0.000 % |
483.96/484.33 c | 889552 | 700 14000 70000 | 71189 69914 106 | 0.000 % |
484.06/484.48 c | 889730 | 700 14000 70000 | 71189 70092 106 | 0.000 % |
484.26/484.63 c | 889925 | 700 14000 70000 | 71189 70287 106 | 0.000 % |
484.36/484.77 c | 890138 | 700 14000 70000 | 70362 70500 106 | 0.000 % |
484.56/484.95 c | 890372 | 700 14000 70000 | 70362 60473 106 | 0.000 % |
484.77/485.10 c | 890628 | 700 14000 70000 | 70362 60729 106 | 0.000 % |
484.86/485.27 c | 890910 | 700 14000 70000 | 70362 61011 106 | 0.000 % |
485.06/485.44 c | 891219 | 700 14000 70000 | 70362 61320 106 | 0.000 % |
485.26/485.62 c | 891558 | 700 14000 70000 | 70362 61659 106 | 0.000 % |
485.46/485.84 c | 891931 | 700 14000 70000 | 70362 62032 106 | 0.000 % |
485.66/486.08 c | 892340 | 700 14000 70000 | 70362 62441 106 | 0.000 % |
485.96/486.34 c | 892790 | 700 14000 70000 | 70362 62891 106 | 0.000 % |
486.26/486.62 c | 893283 | 700 14000 70000 | 70362 63384 106 | 0.000 % |
486.56/486.92 c | 893825 | 700 14000 70000 | 70362 63926 106 | 0.000 % |
486.86/487.24 c | 894425 | 700 14000 70000 | 70362 64526 106 | 0.000 % |
487.16/487.58 c | 895080 | 700 14000 70000 | 70362 65181 106 | 0.000 % |
487.76/488.10 c | 895801 | 700 14000 70000 | 70362 65902 106 | 0.000 % |
488.16/488.54 c | 896593 | 700 14000 70000 | 70362 66694 106 | 0.000 % |
488.76/489.10 c | 897467 | 700 14000 70000 | 70362 67568 106 | 0.000 % |
489.26/489.65 c | 898425 | 700 14000 70000 | 70362 68526 106 | 0.000 % |
489.86/490.26 c | 899479 | 700 14000 70000 | 70362 69580 106 | 0.000 % |
490.56/490.96 c | 900637 | 700 14000 70000 | 70104 61246 105 | 0.000 % |
491.26/491.65 c | 901910 | 700 14000 70000 | 70104 62519 105 | 0.000 % |
492.06/492.42 c | 903311 | 700 14000 70000 | 70104 63920 105 | 0.000 % |
492.96/493.30 c | 904851 | 700 14000 70000 | 70104 65460 105 | 0.000 % |
493.86/494.24 c | 906546 | 700 14000 70000 | 70104 67155 105 | 0.000 % |
495.05/495.46 c | 908409 | 700 14000 70000 | 70104 69018 105 | 0.000 % |
496.25/496.69 c | 910458 | 700 14000 70000 | 61218 53638 105 | 0.000 % |
497.35/497.78 c | 912711 | 700 14000 70000 | 61218 55891 105 | 0.000 % |
498.55/498.99 c | 915189 | 700 14000 70000 | 61218 58369 105 | 0.000 % |
499.95/500.34 c | 917914 | 700 14000 70000 | 61218 61094 105 | 0.000 % |
501.35/501.76 c | 920912 | 700 14000 70000 | 2147483647 57948 105 | 0.000 % |
503.05/503.42 c | 924208 | 700 14000 70000 | 2147483647 61244 105 | 0.000 % |
504.85/505.23 c | 927835 | 700 14000 70000 | 2147483647 64871 105 | 0.000 % |
507.05/507.40 c | 931822 | 700 14000 70000 | 2147483647 68858 105 | 0.000 % |
509.64/510.02 c | 936207 | 700 14000 70000 | 2147483647 73243 105 | 0.000 % |
512.54/512.95 c | 941030 | 700 14000 70000 | 77039 67261 104 | 0.000 % |
515.84/516.25 c | 946337 | 700 14000 70000 | 77039 72568 105 | 0.000 % |
519.44/519.83 c | 952172 | 700 14000 70000 | 76231 66324 105 | 0.000 % |
523.14/523.59 c | 958592 | 700 14000 70000 | 76231 72744 106 | 0.000 % |
527.14/527.57 c | 965652 | 700 14000 70000 | 74153 68520 107 | 0.000 % |
531.84/532.20 c | 973416 | 700 14000 70000 | 72869 65783 108 | 0.000 % |
537.04/537.40 c | 981957 | 700 14000 70000 | 72368 63683 108 | 0.000 % |
537.04/537.47 c | 982057 | 700 14000 70000 | 72368 63783 108 | 0.000 % |
537.14/537.56 c | 982168 | 700 14000 70000 | 72368 63894 108 | 0.000 % |
537.24/537.63 c | 982290 | 700 14000 70000 | 72368 64016 108 | 0.000 % |
537.34/537.71 c | 982424 | 700 14000 70000 | 72368 64150 108 | 0.000 % |
537.34/537.79 c | 982571 | 700 14000 70000 | 72368 64297 108 | 0.000 % |
537.54/537.91 c | 982731 | 700 14000 70000 | 72368 64457 108 | 0.000 % |
537.64/538.03 c | 982907 | 700 14000 70000 | 72368 64633 108 | 0.000 % |
537.74/538.14 c | 983100 | 700 14000 70000 | 72368 64826 108 | 0.000 % |
537.84/538.28 c | 983312 | 700 14000 70000 | 72368 65038 108 | 0.000 % |
538.04/538.42 c | 983545 | 700 14000 70000 | 72368 65271 108 | 0.000 % |
538.24/538.61 c | 983801 | 700 14000 70000 | 72368 65527 108 | 0.000 % |
538.34/538.78 c | 984082 | 700 14000 70000 | 72368 65808 108 | 0.000 % |
538.54/539.00 c | 984391 | 700 14000 70000 | 72368 66117 108 | 0.000 % |
538.84/539.22 c | 984730 | 700 14000 70000 | 72368 66456 108 | 0.000 % |
539.03/539.44 c | 985103 | 700 14000 70000 | 72368 66829 108 | 0.000 % |
539.33/539.70 c | 985512 | 700 14000 70000 | 72368 67238 108 | 0.000 % |
539.63/540.03 c | 985962 | 700 14000 70000 | 72368 67688 107 | 0.000 % |
539.93/540.34 c | 986456 | 700 14000 70000 | 72368 68182 107 | 0.000 % |
540.23/540.65 c | 986998 | 700 14000 70000 | 72368 68724 107 | 0.000 % |
540.63/541.04 c | 987595 | 700 14000 70000 | 72368 69321 107 | 0.000 % |
541.02/541.50 c | 988250 | 700 14000 70000 | 72368 69976 107 | 0.000 % |
541.52/541.95 c | 988972 | 700 14000 70000 | 72368 70698 107 | 0.000 % |
542.02/542.42 c | 989764 | 700 14000 70000 | 72368 71490 107 | 0.000 % |
542.52/542.95 c | 990635 | 700 14000 70000 | 71727 61583 107 | 0.000 % |
543.02/543.47 c | 991593 | 700 14000 70000 | 71727 62541 107 | 0.000 % |
543.62/544.08 c | 992647 | 700 14000 70000 | 71727 63595 107 | 0.000 % |
544.32/544.72 c | 993805 | 700 14000 70000 | 71727 64753 107 | 0.000 % |
545.02/545.47 c | 995078 | 700 14000 70000 | 71727 66026 107 | 0.000 % |
545.92/546.31 c | 996484 | 700 14000 70000 | 71727 67432 107 | 0.000 % |
546.81/547.21 c | 998024 | 700 14000 70000 | 71727 68972 107 | 0.000 % |
547.92/548.34 c | 999718 | 700 14000 70000 | 71727 70666 107 | 0.000 % |
549.01/549.44 c | 1001582 | 700 14000 70000 | 70949 62521 107 | 0.000 % |
550.11/550.56 c | 1003633 | 700 14000 70000 | 70949 64572 107 | 0.000 % |
551.51/551.94 c | 1005887 | 700 14000 70000 | 70949 66826 107 | 0.000 % |
553.11/553.50 c | 1008366 | 700 14000 70000 | 70949 69305 107 | 0.000 % |
554.71/555.15 c | 1011092 | 700 14000 70000 | 70939 62829 106 | 0.000 % |
556.51/556.91 c | 1014089 | 700 14000 70000 | 70939 65826 106 | 0.000 % |
558.61/559.02 c | 1017387 | 700 14000 70000 | 70939 69124 106 | 0.000 % |
560.81/561.26 c | 1021012 | 700 14000 70000 | 61252 53485 103 | 0.000 % |
562.81/563.29 c | 1024999 | 700 14000 70000 | 61252 57472 104 | 0.000 % |
565.11/565.56 c | 1029384 | 700 14000 70000 | 61252 55448 104 | 0.000 % |
567.42/567.86 c | 1034207 | 700 14000 70000 | 56064 54643 103 | 0.000 % |
570.02/570.44 c | 1039512 | 700 14000 70000 | 56064 54317 104 | 0.000 % |
573.02/573.44 c | 1045349 | 700 14000 70000 | 2147483647 60154 104 | 0.000 % |
576.61/577.09 c | 1051767 | 700 14000 70000 | 2147483647 66572 105 | 0.000 % |
580.91/581.38 c | 1058827 | 700 14000 70000 | 2147483647 73632 105 | 0.000 % |
585.80/586.25 c | 1066593 | 700 14000 70000 | 74808 71379 106 | 0.000 % |
590.89/591.38 c | 1075135 | 700 14000 70000 | 74786 68111 107 | 0.000 % |
596.38/596.88 c | 1084529 | 700 14000 70000 | 72976 66311 108 | 0.000 % |
596.48/596.96 c | 1084630 | 700 14000 70000 | 72976 66412 108 | 0.000 % |
596.58/597.04 c | 1084741 | 700 14000 70000 | 72976 66523 108 | 0.000 % |
596.68/597.11 c | 1084862 | 700 14000 70000 | 72976 66644 108 | 0.000 % |
596.79/597.21 c | 1084996 | 700 14000 70000 | 72976 66778 108 | 0.000 % |
596.89/597.31 c | 1085144 | 700 14000 70000 | 72976 66926 108 | 0.000 % |
596.98/597.42 c | 1085305 | 700 14000 70000 | 72976 67087 108 | 0.000 % |
597.08/597.54 c | 1085481 | 700 14000 70000 | 72976 67263 108 | 0.000 % |
597.18/597.65 c | 1085675 | 700 14000 70000 | 72976 67457 108 | 0.000 % |
597.28/597.79 c | 1085888 | 700 14000 70000 | 72976 67670 108 | 0.000 % |
597.48/597.92 c | 1086122 | 700 14000 70000 | 72976 67904 108 | 0.000 % |
597.58/598.09 c | 1086378 | 700 14000 70000 | 72976 68160 107 | 0.000 % |
597.78/598.27 c | 1086661 | 700 14000 70000 | 72976 68443 107 | 0.000 % |
597.99/598.46 c | 1086972 | 700 14000 70000 | 72976 68754 107 | 0.000 % |
598.28/598.70 c | 1087313 | 700 14000 70000 | 72976 69095 107 | 0.000 % |
598.48/598.94 c | 1087686 | 700 14000 70000 | 72976 69468 107 | 0.000 % |
598.78/599.22 c | 1088096 | 700 14000 70000 | 72976 69878 107 | 0.000 % |
599.09/599.58 c | 1088548 | 700 14000 70000 | 72976 70330 107 | 0.000 % |
599.48/599.91 c | 1089041 | 700 14000 70000 | 72976 70823 107 | 0.000 % |
599.88/600.32 c | 1089583 | 700 14000 70000 | 72976 71365 107 | 0.000 % |
600.28/600.75 c | 1090181 | 700 14000 70000 | 71783 71963 107 | 0.000 % |
600.68/601.18 c | 1090838 | 700 14000 70000 | 71783 61351 107 | 0.000 % |
601.08/601.58 c | 1091559 | 700 14000 70000 | 71783 62072 107 | 0.000 % |
601.58/602.03 c | 1092351 | 700 14000 70000 | 71783 62864 107 | 0.000 % |
602.08/602.52 c | 1093222 | 700 14000 70000 | 71783 63735 107 | 0.000 % |
602.58/603.05 c | 1094180 | 700 14000 70000 | 71783 64693 107 | 0.000 % |
603.18/603.65 c | 1095234 | 700 14000 70000 | 71783 65747 107 | 0.000 % |
603.88/604.31 c | 1096392 | 700 14000 70000 | 71783 66905 107 | 0.000 % |
604.58/605.04 c | 1097665 | 700 14000 70000 | 71783 68178 107 | 0.000 % |
605.38/605.85 c | 1099065 | 700 14000 70000 | 71783 69578 106 | 0.000 % |
606.38/606.86 c | 1100606 | 700 14000 70000 | 70514 61243 106 | 0.000 % |
607.38/607.82 c | 1102300 | 700 14000 70000 | 70514 62937 106 | 0.000 % |
608.38/608.87 c | 1104165 | 700 14000 70000 | 70514 64802 106 | 0.000 % |
609.48/609.94 c | 1106215 | 700 14000 70000 | 70514 66852 106 | 0.000 % |
610.78/611.27 c | 1108468 | 700 14000 70000 | 70514 69105 106 | 0.000 % |
612.28/612.71 c | 1110946 | 700 14000 70000 | 70638 61969 106 | 0.000 % |
613.58/614.06 c | 1113671 | 700 14000 70000 | 70638 64694 106 | 0.000 % |
615.38/615.80 c | 1116671 | 700 14000 70000 | 70638 67694 106 | 0.000 % |
617.38/617.80 c | 1119967 | 700 14000 70000 | 70638 61890 105 | 0.000 % |
619.17/619.62 c | 1123592 | 700 14000 70000 | 61924 57479 105 | 0.000 % |
621.27/621.74 c | 1127579 | 700 14000 70000 | 61924 61466 105 | 0.000 % |
623.47/623.93 c | 1131964 | 700 14000 70000 | 2147483647 59501 105 | 0.000 % |
626.07/626.54 c | 1136787 | 700 14000 70000 | 2147483647 64324 105 | 0.000 % |
629.17/629.64 c | 1142093 | 700 14000 70000 | 67537 62118 104 | 0.000 % |
632.47/632.95 c | 1147930 | 700 14000 70000 | 67537 59403 106 | 0.000 % |
635.86/636.30 c | 1154350 | 700 14000 70000 | 61473 58523 106 | 0.000 % |
639.77/640.23 c | 1161411 | 700 14000 70000 | 2147483647 59414 107 | 0.000 % |
644.16/644.69 c | 1169176 | 700 14000 70000 | 2147483647 67179 107 | 0.000 % |
649.16/649.65 c | 1177717 | 700 14000 70000 | 68003 67707 107 | 0.000 % |
654.66/655.20 c | 1187112 | 700 14000 70000 | 61968 62014 110 | 0.000 % |
660.85/661.31 c | 1197445 | 700 14000 70000 | 2147483647 66146 110 | 0.000 % |
660.85/661.38 c | 1197545 | 700 14000 70000 | 2147483647 66246 110 | 0.000 % |
660.95/661.46 c | 1197656 | 700 14000 70000 | 2147483647 66357 110 | 0.000 % |
661.05/661.54 c | 1197777 | 700 14000 70000 | 2147483647 66478 110 | 0.000 % |
661.15/661.63 c | 1197911 | 700 14000 70000 | 2147483647 66612 110 | 0.000 % |
661.25/661.72 c | 1198058 | 700 14000 70000 | 2147483647 66759 110 | 0.000 % |
661.35/661.84 c | 1198218 | 700 14000 70000 | 2147483647 66919 109 | 0.000 % |
661.45/661.95 c | 1198394 | 700 14000 70000 | 2147483647 67095 109 | 0.000 % |
661.55/662.06 c | 1198589 | 700 14000 70000 | 2147483647 67290 109 | 0.000 % |
661.76/662.21 c | 1198801 | 700 14000 70000 | 2147483647 67502 109 | 0.000 % |
661.85/662.36 c | 1199034 | 700 14000 70000 | 2147483647 67735 109 | 0.000 % |
662.05/662.52 c | 1199290 | 700 14000 70000 | 2147483647 67991 109 | 0.000 % |
662.15/662.69 c | 1199574 | 700 14000 70000 | 2147483647 68275 109 | 0.000 % |
662.35/662.89 c | 1199883 | 700 14000 70000 | 2147483647 68584 109 | 0.000 % |
662.55/663.09 c | 1200222 | 700 14000 70000 | 68702 68923 109 | 0.000 % |
662.86/663.35 c | 1200594 | 700 14000 70000 | 68702 61472 109 | 0.000 % |
663.05/663.58 c | 1201003 | 700 14000 70000 | 68702 61881 109 | 0.000 % |
663.35/663.86 c | 1201452 | 700 14000 70000 | 68702 62330 109 | 0.000 % |
663.65/664.14 c | 1201945 | 700 14000 70000 | 68702 62823 109 | 0.000 % |
663.96/664.48 c | 1202487 | 700 14000 70000 | 68702 63365 109 | 0.000 % |
664.35/664.81 c | 1203083 | 700 14000 70000 | 68702 63961 109 | 0.000 % |
664.75/665.20 c | 1203740 | 700 14000 70000 | 68702 64618 109 | 0.000 % |
665.15/665.62 c | 1204460 | 700 14000 70000 | 68702 65338 109 | 0.000 % |
665.55/666.09 c | 1205252 | 700 14000 70000 | 68702 66130 109 | 0.000 % |
666.16/666.63 c | 1206123 | 700 14000 70000 | 68702 67001 109 | 0.000 % |
666.75/667.25 c | 1207083 | 700 14000 70000 | 68702 67961 109 | 0.000 % |
667.35/667.88 c | 1208136 | 700 14000 70000 | 68702 60322 108 | 0.000 % |
668.05/668.51 c | 1209297 | 700 14000 70000 | 68702 61483 108 | 0.000 % |
668.75/669.22 c | 1210572 | 700 14000 70000 | 62187 55233 108 | 0.000 % |
669.46/669.90 c | 1211972 | 700 14000 70000 | 62187 56633 107 | 0.000 % |
670.15/670.66 c | 1213515 | 700 14000 70000 | 62187 58176 107 | 0.000 % |
671.05/671.55 c | 1215210 | 700 14000 70000 | 62187 59871 107 | 0.000 % |
671.95/672.48 c | 1217073 | 700 14000 70000 | 62187 61734 107 | 0.000 % |
673.05/673.54 c | 1219123 | 700 14000 70000 | 62187 57544 106 | 0.000 % |
674.05/674.59 c | 1221376 | 700 14000 70000 | 2147483647 59797 106 | 0.000 % |
675.44/675.90 c | 1223855 | 700 14000 70000 | 2147483647 62276 106 | 0.000 % |
676.84/677.37 c | 1226580 | 700 14000 70000 | 2147483647 65001 106 | 0.000 % |
678.54/679.07 c | 1229578 | 700 14000 70000 | 2147483647 67999 106 | 0.000 % |
680.34/680.83 c | 1232874 | 700 14000 70000 | 68423 63620 107 | 0.000 % |
682.34/682.89 c | 1236499 | 700 14000 70000 | 68423 67245 106 | 0.000 % |
684.84/685.33 c | 1240486 | 700 14000 70000 | 62733 55864 105 | 0.000 % |
687.14/687.62 c | 1244871 | 700 14000 70000 | 62733 60249 105 | 0.000 % |
689.74/690.24 c | 1249695 | 700 14000 70000 | 62733 58778 105 | 0.000 % |
692.64/693.10 c | 1255001 | 700 14000 70000 | 2147483647 64084 105 | 0.000 % |
695.93/696.48 c | 1260837 | 700 14000 70000 | 69083 62171 105 | 0.000 % |
699.53/700.01 c | 1267255 | 700 14000 70000 | 69083 68589 105 | 0.000 % |
703.13/703.69 c | 1274315 | 700 14000 70000 | 62627 59253 106 | 0.000 % |
707.33/707.86 c | 1282081 | 700 14000 70000 | 2147483647 60733 107 | 0.000 % |
712.03/712.52 c | 1290621 | 700 14000 70000 | 68654 61243 107 | 0.000 % |
717.53/718.03 c | 1300015 | 700 14000 70000 | 62058 62072 107 | 0.000 % |
723.02/723.56 c | 1310350 | 700 14000 70000 | 57867 52270 108 | 0.000 % |
728.42/728.92 c | 1321716 | 700 14000 70000 | 2147483647 57824 109 | 0.000 % |
728.42/728.98 c | 1321817 | 700 14000 70000 | 2147483647 57925 109 | 0.000 % |
728.52/729.05 c | 1321928 | 700 14000 70000 | 2147483647 58036 109 | 0.000 % |
728.62/729.12 c | 1322051 | 700 14000 70000 | 2147483647 58159 109 | 0.000 % |
728.72/729.21 c | 1322186 | 700 14000 70000 | 2147483647 58294 109 | 0.000 % |
728.72/729.29 c | 1322333 | 700 14000 70000 | 2147483647 58441 109 | 0.000 % |
728.82/729.38 c | 1322493 | 700 14000 70000 | 2147483647 58601 109 | 0.000 % |
728.92/729.47 c | 1322669 | 700 14000 70000 | 2147483647 58777 109 | 0.000 % |
729.02/729.57 c | 1322862 | 700 14000 70000 | 2147483647 58970 108 | 0.000 % |
729.12/729.68 c | 1323076 | 700 14000 70000 | 2147483647 59184 108 | 0.000 % |
729.32/729.84 c | 1323310 | 700 14000 70000 | 2147483647 59418 108 | 0.000 % |
729.52/730.00 c | 1323566 | 700 14000 70000 | 2147483647 59674 108 | 0.000 % |
729.72/730.21 c | 1323848 | 700 14000 70000 | 2147483647 59956 108 | 0.000 % |
729.82/730.38 c | 1324157 | 700 14000 70000 | 2147483647 60265 108 | 0.000 % |
730.02/730.56 c | 1324497 | 700 14000 70000 | 2147483647 60605 108 | 0.000 % |
730.22/730.75 c | 1324871 | 700 14000 70000 | 2147483647 60979 108 | 0.000 % |
730.52/731.00 c | 1325282 | 700 14000 70000 | 2147483647 61390 108 | 0.000 % |
730.72/731.28 c | 1325731 | 700 14000 70000 | 2147483647 61839 108 | 0.000 % |
731.02/731.58 c | 1326224 | 700 14000 70000 | 2147483647 62332 108 | 0.000 % |
731.32/731.89 c | 1326767 | 700 14000 70000 | 2147483647 62875 108 | 0.000 % |
731.82/732.30 c | 1327366 | 700 14000 70000 | 2147483647 63474 108 | 0.000 % |
732.12/732.67 c | 1328023 | 700 14000 70000 | 2147483647 64131 108 | 0.000 % |
732.62/733.18 c | 1328746 | 700 14000 70000 | 2147483647 64854 108 | 0.000 % |
733.12/733.64 c | 1329539 | 700 14000 70000 | 2147483647 65647 108 | 0.000 % |
733.72/734.23 c | 1330412 | 700 14000 70000 | 66109 59153 107 | 0.000 % |
734.32/734.82 c | 1331370 | 700 14000 70000 | 66109 60111 107 | 0.000 % |
734.92/735.41 c | 1332423 | 700 14000 70000 | 66109 61164 107 | 0.000 % |
735.52/736.01 c | 1333582 | 700 14000 70000 | 66109 62323 107 | 0.000 % |
736.22/736.77 c | 1334856 | 700 14000 70000 | 66109 63597 107 | 0.000 % |
737.01/737.53 c | 1336256 | 700 14000 70000 | 66109 64997 107 | 0.000 % |
737.91/738.45 c | 1337798 | 700 14000 70000 | 66109 58943 106 | 0.000 % |
738.81/739.38 c | 1339492 | 700 14000 70000 | 66109 60637 106 | 0.000 % |
739.82/740.33 c | 1341356 | 700 14000 70000 | 61146 55902 106 | 0.000 % |
740.82/741.32 c | 1343406 | 700 14000 70000 | 61146 57952 106 | 0.000 % |
741.92/742.44 c | 1345662 | 700 14000 70000 | 61146 60208 106 | 0.000 % |
743.21/743.78 c | 1348140 | 700 14000 70000 | 61146 56548 106 | 0.000 % |
744.61/745.14 c | 1350865 | 700 14000 70000 | 2147483647 59273 106 | 0.000 % |
746.21/746.72 c | 1353862 | 700 14000 70000 | 2147483647 62270 106 | 0.000 % |
748.01/748.51 c | 1357158 | 700 14000 70000 | 2147483647 65566 106 | 0.000 % |
749.91/750.49 c | 1360785 | 700 14000 70000 | 68408 62046 105 | 0.000 % |
752.11/752.70 c | 1364772 | 700 14000 70000 | 68408 66033 105 | 0.000 % |
754.61/755.15 c | 1369157 | 700 14000 70000 | 68408 62625 105 | 0.000 % |
757.31/757.88 c | 1373980 | 700 14000 70000 | 63470 60536 105 | 0.000 % |
760.40/760.93 c | 1379285 | 700 14000 70000 | 63470 59472 105 | 0.000 % |
764.00/764.50 c | 1385121 | 700 14000 70000 | 2147483647 65308 106 | 0.000 % |
767.50/768.07 c | 1391539 | 700 14000 70000 | 70187 64316 107 | 0.000 % |
771.20/771.78 c | 1398599 | 700 14000 70000 | 70187 61820 107 | 0.000 % |
774.90/775.45 c | 1406364 | 700 14000 70000 | 63221 61042 108 | 0.000 % |
779.40/779.96 c | 1414904 | 700 14000 70000 | 57553 56292 109 | 0.000 % |
784.49/785.05 c | 1424299 | 700 14000 70000 | 2147483647 59907 109 | 0.000 % |
790.79/791.32 c | 1434632 | 700 14000 70000 | 2147483647 70240 109 | 0.000 % |
798.68/799.21 c | 1445999 | 700 14000 70000 | 75608 70932 109 | 0.000 % |
806.58/807.17 c | 1458501 | 700 14000 70000 | 74934 71956 109 | 0.000 % |
806.68/807.26 c | 1458606 | 700 14000 70000 | 74934 72061 109 | 0.000 % |
806.78/807.34 c | 1458717 | 700 14000 70000 | 74934 72172 109 | 0.000 % |
806.88/807.42 c | 1458839 | 700 14000 70000 | 74934 72294 108 | 0.000 % |
806.98/807.52 c | 1458973 | 700 14000 70000 | 74934 72428 108 | 0.000 % |
807.08/807.63 c | 1459120 | 700 14000 70000 | 74934 72575 108 | 0.000 % |
807.18/807.73 c | 1459280 | 700 14000 70000 | 74934 72735 108 | 0.000 % |
807.28/807.86 c | 1459456 | 700 14000 70000 | 74934 72911 108 | 0.000 % |
807.38/807.99 c | 1459652 | 700 14000 70000 | 74934 73107 108 | 0.000 % |
807.58/808.14 c | 1459864 | 700 14000 70000 | 74934 73319 108 | 0.000 % |
807.78/808.31 c | 1460098 | 700 14000 70000 | 73455 73553 108 | 0.000 % |
807.98/808.54 c | 1460355 | 700 14000 70000 | 73455 62443 108 | 0.000 % |
808.18/808.73 c | 1460638 | 700 14000 70000 | 73455 62726 108 | 0.000 % |
808.38/808.91 c | 1460948 | 700 14000 70000 | 73455 63036 108 | 0.000 % |
808.58/809.11 c | 1461289 | 700 14000 70000 | 73455 63377 108 | 0.000 % |
808.78/809.34 c | 1461662 | 700 14000 70000 | 73455 63750 108 | 0.000 % |
808.98/809.59 c | 1462071 | 700 14000 70000 | 73455 64159 108 | 0.000 % |
809.28/809.86 c | 1462520 | 700 14000 70000 | 73455 64608 108 | 0.000 % |
809.58/810.18 c | 1463013 | 700 14000 70000 | 73455 65101 108 | 0.000 % |
809.98/810.51 c | 1463555 | 700 14000 70000 | 73455 65643 108 | 0.000 % |
810.28/810.87 c | 1464152 | 700 14000 70000 | 73455 66240 108 | 0.000 % |
810.67/811.26 c | 1464807 | 700 14000 70000 | 73455 66895 108 | 0.000 % |
811.07/811.70 c | 1465527 | 700 14000 70000 | 73455 67615 108 | 0.000 % |
811.57/812.18 c | 1466320 | 700 14000 70000 | 73455 68408 108 | 0.000 % |
812.18/812.73 c | 1467192 | 700 14000 70000 | 73455 69280 108 | 0.000 % |
812.68/813.27 c | 1468150 | 700 14000 70000 | 73455 70238 107 | 0.000 % |
813.38/813.91 c | 1469203 | 700 14000 70000 | 73455 71291 107 | 0.000 % |
813.97/814.59 c | 1470361 | 700 14000 70000 | 72088 61944 107 | 0.000 % |
814.67/815.20 c | 1471636 | 700 14000 70000 | 72088 63219 107 | 0.000 % |
815.37/815.98 c | 1473036 | 700 14000 70000 | 72088 64619 107 | 0.000 % |
816.37/816.96 c | 1474577 | 700 14000 70000 | 72088 66160 107 | 0.000 % |
817.37/817.95 c | 1476271 | 700 14000 70000 | 72088 67854 107 | 0.000 % |
818.47/819.02 c | 1478134 | 700 14000 70000 | 72088 69717 107 | 0.000 % |
819.57/820.16 c | 1480183 | 700 14000 70000 | 71583 71766 107 | 0.000 % |
820.87/821.42 c | 1482440 | 700 14000 70000 | 71583 64630 106 | 0.000 % |
822.18/822.75 c | 1484919 | 700 14000 70000 | 71583 67109 106 | 0.000 % |
823.77/824.35 c | 1487644 | 700 14000 70000 | 71583 69834 106 | 0.000 % |
825.47/826.07 c | 1490641 | 700 14000 70000 | 63183 56015 105 | 0.000 % |
827.17/827.77 c | 1493938 | 700 14000 70000 | 63183 59312 105 | 0.000 % |
829.17/829.73 c | 1497564 | 700 14000 70000 | 63183 62938 105 | 0.000 % |
831.17/831.76 c | 1501553 | 700 14000 70000 | 58474 53688 104 | 0.000 % |
833.27/833.86 c | 1505939 | 700 14000 70000 | 58474 58074 104 | 0.000 % |
835.57/836.13 c | 1510764 | 700 14000 70000 | 2147483647 57028 104 | 0.000 % |
838.27/838.85 c | 1516070 | 700 14000 70000 | 2147483647 62334 104 | 0.000 % |
841.46/842.04 c | 1521906 | 700 14000 70000 | 66265 61166 105 | 0.000 % |
844.96/845.51 c | 1528325 | 700 14000 70000 | 66265 60330 106 | 0.000 % |
848.57/849.19 c | 1535386 | 700 14000 70000 | 62005 60902 107 | 0.000 % |
853.07/853.61 c | 1543150 | 700 14000 70000 | 2147483647 62441 107 | 0.000 % |
858.15/858.79 c | 1551691 | 700 14000 70000 | 69292 62911 108 | 0.000 % |
864.15/864.70 c | 1561086 | 700 14000 70000 | 62128 55166 109 | 0.000 % |
869.25/869.84 c | 1571419 | 700 14000 70000 | 57155 52262 109 | 0.000 % |
875.05/875.62 c | 1582785 | 700 14000 70000 | 2147483647 57888 110 | 0.000 % |
882.34/882.91 c | 1595287 | 700 14000 70000 | 65105 63632 111 | 0.000 % |
890.24/890.85 c | 1609040 | 700 14000 70000 | 60268 55863 111 | 0.000 % |
890.34/890.91 c | 1609140 | 700 14000 70000 | 60268 55963 111 | 0.000 % |
890.34/890.97 c | 1609250 | 700 14000 70000 | 60268 56073 111 | 0.000 % |
890.44/891.04 c | 1609371 | 700 14000 70000 | 60268 56194 111 | 0.000 % |
890.54/891.11 c | 1609505 | 700 14000 70000 | 60268 56328 111 | 0.000 % |
890.64/891.20 c | 1609652 | 700 14000 70000 | 60268 56475 111 | 0.000 % |
890.64/891.29 c | 1609814 | 700 14000 70000 | 60268 56637 111 | 0.000 % |
890.84/891.40 c | 1609990 | 700 14000 70000 | 60268 56813 111 | 0.000 % |
890.94/891.51 c | 1610186 | 700 14000 70000 | 56823 57009 111 | 0.000 % |
891.04/891.64 c | 1610400 | 700 14000 70000 | 56823 51030 111 | 0.000 % |
891.14/891.76 c | 1610635 | 700 14000 70000 | 56823 51265 111 | 0.000 % |
891.24/891.87 c | 1610892 | 700 14000 70000 | 56823 51522 111 | 0.000 % |
891.44/892.00 c | 1611175 | 700 14000 70000 | 56823 51805 111 | 0.000 % |
891.54/892.16 c | 1611486 | 700 14000 70000 | 56823 52116 111 | 0.000 % |
891.74/892.31 c | 1611825 | 700 14000 70000 | 56823 52455 110 | 0.000 % |
891.84/892.49 c | 1612197 | 700 14000 70000 | 56823 52827 110 | 0.000 % |
892.14/892.70 c | 1612606 | 700 14000 70000 | 56823 53236 110 | 0.000 % |
892.34/892.91 c | 1613056 | 700 14000 70000 | 56823 53686 110 | 0.000 % |
892.54/893.16 c | 1613552 | 700 14000 70000 | 56823 54182 110 | 0.000 % |
892.84/893.43 c | 1614095 | 700 14000 70000 | 56823 54725 110 | 0.000 % |
893.04/893.69 c | 1614691 | 700 14000 70000 | 56823 55321 110 | 0.000 % |
893.44/894.02 c | 1615346 | 700 14000 70000 | 56823 55976 110 | 0.000 % |
893.74/894.38 c | 1616067 | 700 14000 70000 | 56823 56697 110 | 0.000 % |
894.24/894.83 c | 1616861 | 700 14000 70000 | 56823 51784 110 | 0.000 % |
894.64/895.27 c | 1617732 | 700 14000 70000 | 56823 52655 110 | 0.000 % |
895.14/895.75 c | 1618690 | 700 14000 70000 | 56823 53613 110 | 0.000 % |
895.74/896.31 c | 1619744 | 700 14000 70000 | 56823 54667 110 | 0.000 % |
896.24/896.88 c | 1620902 | 700 14000 70000 | 2147483647 55825 109 | 0.000 % |
896.94/897.53 c | 1622177 | 700 14000 70000 | 2147483647 57100 109 | 0.000 % |
897.64/898.25 c | 1623578 | 700 14000 70000 | 2147483647 58501 109 | 0.000 % |
898.44/899.08 c | 1625119 | 700 14000 70000 | 2147483647 60042 109 | 0.000 % |
899.43/900.00 c | 1626813 | 700 14000 70000 | 2147483647 61736 109 | 0.000 % |
900.34/900.98 c | 1628676 | 700 14000 70000 | 2147483647 63599 109 | 0.000 % |
901.53/902.12 c | 1630725 | 700 14000 70000 | 2147483647 65648 109 | 0.000 % |
902.83/903.42 c | 1632978 | 700 14000 70000 | 2147483647 67901 109 | 0.000 % |
904.23/904.82 c | 1635458 | 700 14000 70000 | 2147483647 70381 108 | 0.000 % |
905.84/906.40 c | 1638183 | 700 14000 70000 | 2147483647 73106 108 | 0.000 % |
907.73/908.30 c | 1641181 | 700 14000 70000 | 74924 66951 107 | 0.000 % |
909.53/910.14 c | 1644477 | 700 14000 70000 | 74924 70247 107 | 0.000 % |
911.83/912.42 c | 1648104 | 700 14000 70000 | 74924 73874 107 | 0.000 % |
914.03/914.61 c | 1652091 | 700 14000 70000 | 65912 59564 105 | 0.000 % |
916.23/916.83 c | 1656476 | 700 14000 70000 | 65912 63949 105 | 0.000 % |
918.73/919.30 c | 1661299 | 700 14000 70000 | 60025 54842 104 | 0.000 % |
921.33/921.96 c | 1666604 | 700 14000 70000 | 60025 60147 104 | 0.000 % |
924.23/924.87 c | 1672440 | 700 14000 70000 | 2147483647 59969 105 | 0.000 % |
928.03/928.65 c | 1678858 | 700 14000 70000 | 2147483647 66387 106 | 0.000 % |
932.24/932.81 c | 1685918 | 700 14000 70000 | 67530 65931 106 | 0.000 % |
936.63/937.23 c | 1693683 | 700 14000 70000 | 62162 58593 107 | 0.000 % |
941.63/942.23 c | 1702224 | 700 14000 70000 | 2147483647 60887 108 | 0.000 % |
947.21/947.88 c | 1711618 | 700 14000 70000 | 68667 62181 107 | 0.000 % |
953.50/954.10 c | 1721951 | 700 14000 70000 | 62082 56452 107 | 0.000 % |
960.00/960.69 c | 1733318 | 700 14000 70000 | 58136 55463 107 | 0.000 % |
966.80/967.43 c | 1745823 | 700 14000 70000 | 2147483647 62130 108 | 0.000 % |
975.20/975.80 c | 1759576 | 700 14000 70000 | 66307 60976 108 | 0.000 % |
982.09/982.74 c | 1774703 | 700 14000 70000 | 2147483647 62472 109 | 0.000 % |
982.09/982.79 c | 1774804 | 700 14000 70000 | 2147483647 62573 109 | 0.000 % |
982.19/982.85 c | 1774914 | 700 14000 70000 | 2147483647 62683 109 | 0.000 % |
982.29/982.92 c | 1775036 | 700 14000 70000 | 2147483647 62805 109 | 0.000 % |
982.39/983.01 c | 1775171 | 700 14000 70000 | 2147483647 62940 109 | 0.000 % |
982.49/983.10 c | 1775317 | 700 14000 70000 | 2147483647 63086 109 | 0.000 % |
982.49/983.19 c | 1775477 | 700 14000 70000 | 2147483647 63246 109 | 0.000 % |
982.59/983.29 c | 1775653 | 700 14000 70000 | 2147483647 63422 109 | 0.000 % |
982.70/983.39 c | 1775847 | 700 14000 70000 | 2147483647 63616 109 | 0.000 % |
982.89/983.52 c | 1776059 | 700 14000 70000 | 2147483647 63828 109 | 0.000 % |
982.99/983.66 c | 1776294 | 700 14000 70000 | 2147483647 64063 109 | 0.000 % |
983.09/983.78 c | 1776550 | 700 14000 70000 | 2147483647 64319 109 | 0.000 % |
983.29/983.96 c | 1776831 | 700 14000 70000 | 2147483647 64600 109 | 0.000 % |
983.49/984.14 c | 1777143 | 700 14000 70000 | 2147483647 64912 109 | 0.000 % |
983.69/984.33 c | 1777486 | 700 14000 70000 | 2147483647 65255 109 | 0.000 % |
983.90/984.54 c | 1777858 | 700 14000 70000 | 2147483647 65627 109 | 0.000 % |
984.09/984.78 c | 1778267 | 700 14000 70000 | 2147483647 66036 109 | 0.000 % |
984.39/985.03 c | 1778716 | 700 14000 70000 | 2147483647 66485 109 | 0.000 % |
984.69/985.31 c | 1779209 | 700 14000 70000 | 2147483647 66978 109 | 0.000 % |
985.00/985.60 c | 1779754 | 700 14000 70000 | 2147483647 67523 109 | 0.000 % |
985.29/985.98 c | 1780350 | 700 14000 70000 | 67770 59352 108 | 0.000 % |
985.69/986.32 c | 1781005 | 700 14000 70000 | 67770 60007 108 | 0.000 % |
986.09/986.71 c | 1781725 | 700 14000 70000 | 67770 60727 108 | 0.000 % |
986.49/987.13 c | 1782517 | 700 14000 70000 | 67770 61519 108 | 0.000 % |
986.99/987.62 c | 1783388 | 700 14000 70000 | 67770 62390 108 | 0.000 % |
987.49/988.12 c | 1784349 | 700 14000 70000 | 67770 63351 108 | 0.000 % |
988.09/988.70 c | 1785402 | 700 14000 70000 | 67770 64404 108 | 0.000 % |
988.59/989.29 c | 1786561 | 700 14000 70000 | 67770 65563 108 | 0.000 % |
989.39/990.03 c | 1787836 | 700 14000 70000 | 67770 66838 108 | 0.000 % |
990.18/990.87 c | 1789237 | 700 14000 70000 | 67770 60104 108 | 0.000 % |
991.08/991.74 c | 1790779 | 700 14000 70000 | 60867 54533 108 | 0.000 % |
991.88/992.56 c | 1792475 | 700 14000 70000 | 60867 56229 108 | 0.000 % |
992.88/993.51 c | 1794339 | 700 14000 70000 | 60867 58093 107 | 0.000 % |
993.88/994.57 c | 1796388 | 700 14000 70000 | 60867 60142 107 | 0.000 % |
995.08/995.77 c | 1798642 | 700 14000 70000 | 60867 56286 107 | 0.000 % |
996.38/997.03 c | 1801120 | 700 14000 70000 | 2147483647 58764 106 | 0.000 % |
997.88/998.53 c | 1803845 | 700 14000 70000 | 2147483647 61489 107 | 0.000 % |
999.48/1000.13 c | 1806842 | 700 14000 70000 | 2147483647 64486 106 | 0.000 % |
1001.38/1002.03 c | 1810138 | 700 14000 70000 | 67644 67782 106 | 0.000 % |
1003.48/1004.13 c | 1813763 | 700 14000 70000 | 67644 64535 106 | 0.000 % |
1005.88/1006.50 c | 1817750 | 700 14000 70000 | 67644 60454 106 | 0.000 % |
1008.08/1008.74 c | 1822136 | 700 14000 70000 | 62705 57846 105 | 0.000 % |
1010.67/1011.33 c | 1826959 | 700 14000 70000 | 62705 62669 105 | 0.000 % |
1013.48/1014.18 c | 1832266 | 700 14000 70000 | 2147483647 61682 105 | 0.000 % |
1016.97/1017.67 c | 1838101 | 700 14000 70000 | 2147483647 67517 105 | 0.000 % |
1020.77/1021.47 c | 1844519 | 700 14000 70000 | 69416 66202 105 | 0.000 % |
1024.27/1024.95 c | 1851578 | 700 14000 70000 | 63454 57553 106 | 0.000 % |
1027.97/1028.65 c | 1859343 | 700 14000 70000 | 63454 58661 106 | 0.000 % |
1032.27/1032.95 c | 1867883 | 700 14000 70000 | 59319 55200 108 | 0.000 % |
1037.66/1038.35 c | 1877277 | 700 14000 70000 | 2147483647 64594 108 | 0.000 % |
1044.06/1044.76 c | 1887610 | 700 14000 70000 | 67317 67299 109 | 0.000 % |
1050.45/1051.10 c | 1898978 | 700 14000 70000 | 60857 56250 109 | 0.000 % |
1058.05/1058.77 c | 1911481 | 700 14000 70000 | 67272 60278 110 | 0.000 % |
1066.35/1067.05 c | 1925234 | 700 14000 70000 | 59554 56672 109 | 0.000 % |
1074.95/1075.67 c | 1940362 | 700 14000 70000 | 2147483647 54059 108 | 0.000 % |
1086.04/1086.76 c | 1957001 | 700 14000 70000 | 63700 63474 109 | 0.000 % |
1086.14/1086.82 c | 1957101 | 700 14000 70000 | 63700 63574 109 | 0.000 % |
1086.14/1086.88 c | 1957211 | 700 14000 70000 | 63700 63684 109 | 0.000 % |
1086.24/1086.96 c | 1957332 | 700 14000 70000 | 63700 63805 109 | 0.000 % |
1086.34/1087.05 c | 1957467 | 700 14000 70000 | 63700 55282 109 | 0.000 % |
1086.44/1087.13 c | 1957614 | 700 14000 70000 | 63700 55429 109 | 0.000 % |
1086.54/1087.22 c | 1957775 | 700 14000 70000 | 63700 55590 109 | 0.000 % |
1086.64/1087.31 c | 1957951 | 700 14000 70000 | 63700 55766 109 | 0.000 % |
1086.74/1087.43 c | 1958144 | 700 14000 70000 | 63700 55959 109 | 0.000 % |
1086.84/1087.54 c | 1958357 | 700 14000 70000 | 63700 56172 109 | 0.000 % |
1086.94/1087.66 c | 1958590 | 700 14000 70000 | 63700 56405 109 | 0.000 % |
1087.14/1087.81 c | 1958847 | 700 14000 70000 | 63700 56662 109 | 0.000 % |
1087.24/1087.98 c | 1959130 | 700 14000 70000 | 63700 56945 108 | 0.000 % |
1087.44/1088.15 c | 1959445 | 700 14000 70000 | 63700 57260 108 | 0.000 % |
1087.64/1088.31 c | 1959784 | 700 14000 70000 | 63700 57599 108 | 0.000 % |
1087.84/1088.50 c | 1960156 | 700 14000 70000 | 57815 57971 108 | 0.000 % |
1088.04/1088.74 c | 1960565 | 700 14000 70000 | 57815 51105 108 | 0.000 % |
1088.24/1088.96 c | 1961014 | 700 14000 70000 | 57815 51554 108 | 0.000 % |
1088.44/1089.18 c | 1961507 | 700 14000 70000 | 57815 52047 107 | 0.000 % |
1088.74/1089.43 c | 1962049 | 700 14000 70000 | 57815 52589 107 | 0.000 % |
1089.04/1089.72 c | 1962650 | 700 14000 70000 | 57815 53190 107 | 0.000 % |
1089.34/1090.03 c | 1963308 | 700 14000 70000 | 57815 53848 107 | 0.000 % |
1089.64/1090.36 c | 1964028 | 700 14000 70000 | 57815 54568 107 | 0.000 % |
1090.04/1090.77 c | 1964822 | 700 14000 70000 | 57815 55362 107 | 0.000 % |
1090.54/1091.23 c | 1965693 | 700 14000 70000 | 57815 56233 107 | 0.000 % |
1090.94/1091.68 c | 1966651 | 700 14000 70000 | 57815 57191 107 | 0.000 % |
1091.54/1092.22 c | 1967704 | 700 14000 70000 | 57815 52441 107 | 0.000 % |
1092.03/1092.76 c | 1968863 | 700 14000 70000 | 57815 53600 107 | 0.000 % |
1092.64/1093.33 c | 1970136 | 700 14000 70000 | 2147483647 54873 107 | 0.000 % |
1093.23/1093.96 c | 1971536 | 700 14000 70000 | 2147483647 56273 107 | 0.000 % |
1094.03/1094.74 c | 1973076 | 700 14000 70000 | 2147483647 57813 107 | 0.000 % |
1094.84/1095.58 c | 1974773 | 700 14000 70000 | 2147483647 59510 107 | 0.000 % |
1095.83/1096.54 c | 1976637 | 700 14000 70000 | 2147483647 61374 107 | 0.000 % |
1096.93/1097.61 c | 1978687 | 700 14000 70000 | 2147483647 63424 106 | 0.000 % |
1098.14/1098.88 c | 1980940 | 700 14000 70000 | 2147483647 65677 106 | 0.000 % |
1099.53/1100.26 c | 1983419 | 700 14000 70000 | 2147483647 68156 106 | 0.000 % |
1101.13/1101.89 c | 1986145 | 700 14000 70000 | 2147483647 70882 106 | 0.000 % |
1103.03/1103.74 c | 1989143 | 700 14000 70000 | 2147483647 73880 106 | 0.000 % |
1105.03/1105.77 c | 1992440 | 700 14000 70000 | 74737 66922 106 | 0.000 % |
1107.03/1107.78 c | 1996065 | 700 14000 70000 | 74737 70547 106 | 0.000 % |
1109.53/1110.23 c | 2000054 | 700 14000 70000 | 74482 74536 106 | 0.000 % |
1112.13/1112.84 c | 2004439 | 700 14000 70000 | 74482 67961 106 | 0.000 % |
1115.12/1115.85 c | 2009263 | 700 14000 70000 | 74482 72785 106 | 0.000 % |
1118.22/1118.96 c | 2014568 | 700 14000 70000 | 73522 67110 105 | 0.000 % |
1121.72/1122.48 c | 2020404 | 700 14000 70000 | 72547 62320 105 | 0.000 % |
1125.42/1126.13 c | 2026823 | 700 14000 70000 | 72547 68739 105 | 0.000 % |
1129.82/1130.59 c | 2033882 | 700 14000 70000 | 71917 65116 107 | 0.000 % |
1134.42/1135.17 c | 2041646 | 700 14000 70000 | 71234 62900 107 | 0.000 % |
1139.31/1140.07 c | 2050188 | 700 14000 70000 | 71254 71442 107 | 0.000 % |
1145.42/1146.12 c | 2059582 | 700 14000 70000 | 71254 62191 108 | 0.000 % |
1150.41/1151.13 c | 2069915 | 700 14000 70000 | 62610 58065 108 | 0.000 % |
1156.61/1157.32 c | 2081282 | 700 14000 70000 | 68151 61483 109 | 0.000 % |
1163.81/1164.56 c | 2093785 | 700 14000 70000 | 61324 57043 109 | 0.000 % |
1171.60/1172.37 c | 2107537 | 700 14000 70000 | 56138 51845 110 | 0.000 % |
1179.50/1180.21 c | 2122664 | 700 14000 70000 | 64309 59189 112 | 0.000 % |
1189.09/1189.85 c | 2139304 | 700 14000 70000 | 58345 52677 113 | 0.000 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1832533-1242782197/watcher-1832533-1242782197 -o /tmp/evaluation-result-1832533-1242782197/solver-1832533-1242782197 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832533-1242782197.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: 0.92 0.98 0.99 3/64 10850
/proc/meminfo: memFree=1796912/2055920 swapFree=4179968/4192956
[pid=10850] ppid=10848 vsize=5356 CPUtime=0
/proc/10850/stat : 10850 (SatELiteGTI) S 10848 10850 10737 0 -1 4194304 276 0 0 0 0 0 0 0 16 0 1 0 306245678 5484544 235 1992294400 4194304 4889804 548682068832 18446744073709551615 231962542162 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/10850/statm: 1339 235 195 169 0 50 0
[pid=10851] ppid=10850 vsize=5356 CPUtime=0
/proc/10851/stat : 10851 (SatELiteGTI) R 10850 10850 10737 0 -1 4194368 51 25 0 0 0 0 0 0 20 0 1 0 306245678 5484544 238 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4096 65538 0 0 0 17 0 0 0
/proc/10851/statm: 1339 238 198 169 0 50 0
[pid=10853] ppid=10851 vsize=0 CPUtime=0
/proc/10853/stat : 10853 (sed) Z 10851 10850 10737 0 -1 4194316 163 0 0 0 0 0 0 0 18 0 1 0 306245678 0 0 1992294400 0 0 0 0 0 0 0 4096 0 18446744071563351923 0 0 17 1 0 0
/proc/10853/statm: 0 0 0 0 0 0 0
[startup+0.0619471 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 10850
/proc/meminfo: memFree=1796912/2055920 swapFree=4179968/4192956
[pid=10850] ppid=10848 vsize=5356 CPUtime=0.03
/proc/10850/stat : 10850 (SatELiteGTI) S 10848 10850 10737 0 -1 4194304 336 650 0 0 0 0 3 0 16 0 1 0 306245678 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10850/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5356
[startup+0.102948 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 10850
/proc/meminfo: memFree=1796912/2055920 swapFree=4179968/4192956
[pid=10850] ppid=10848 vsize=5356 CPUtime=0.03
/proc/10850/stat : 10850 (SatELiteGTI) S 10848 10850 10737 0 -1 4194304 336 650 0 0 0 0 3 0 16 0 1 0 306245678 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10850/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5356
[startup+0.302974 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 10850
/proc/meminfo: memFree=1796912/2055920 swapFree=4179968/4192956
[pid=10850] ppid=10848 vsize=5356 CPUtime=0.03
/proc/10850/stat : 10850 (SatELiteGTI) S 10848 10850 10737 0 -1 4194304 336 650 0 0 0 0 3 0 16 0 1 0 306245678 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10850/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5356
[startup+0.702029 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 10850
/proc/meminfo: memFree=1796912/2055920 swapFree=4179968/4192956
[pid=10850] ppid=10848 vsize=5356 CPUtime=0.03
/proc/10850/stat : 10850 (SatELiteGTI) S 10848 10850 10737 0 -1 4194304 336 650 0 0 0 0 3 0 16 0 1 0 306245678 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10850/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5356
[startup+1.50114 s]
/proc/loadavg: 0.92 0.98 0.99 2/66 10856
/proc/meminfo: memFree=1792864/2055920 swapFree=4179968/4192956
[pid=10850] ppid=10848 vsize=5356 CPUtime=0.03
/proc/10850/stat : 10850 (SatELiteGTI) S 10848 10850 10737 0 -1 4194304 336 650 0 0 0 0 3 0 16 0 1 0 306245678 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10850/statm: 1339 239 197 169 0 50 0
[pid=10856] ppid=10850 vsize=6168 CPUtime=1.44
/proc/10856/stat : 10856 (minisat_static) R 10850 10850 10737 0 -1 4194304 1247 0 0 0 144 0 0 0 25 0 1 0 306245683 6316032 1233 1992294400 134512640 135215339 4294956240 18446744073709551615 134528782 0 0 4096 3 0 0 0 17 0 0 0
/proc/10856/statm: 1542 1233 77 171 0 1369 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 11524
[startup+3.10136 s]
/proc/loadavg: 0.92 0.98 0.99 2/66 10856
/proc/meminfo: memFree=1789536/2055920 swapFree=4179968/4192956
[pid=10850] ppid=10848 vsize=5356 CPUtime=0.03
/proc/10850/stat : 10850 (SatELiteGTI) S 10848 10850 10737 0 -1 4194304 336 650 0 0 0 0 3 0 16 0 1 0 306245678 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10850/statm: 1339 239 197 169 0 50 0
[pid=10856] ppid=10850 vsize=10468 CPUtime=3.04
/proc/10856/stat : 10856 (minisat_static) R 10850 10850 10737 0 -1 4194304 2317 0 0 0 303 1 0 0 25 0 1 0 306245683 10719232 2303 1992294400 134512640 135215339 4294956240 18446744073709551615 134528691 0 0 4096 3 0 0 0 17 0 0 0
/proc/10856/statm: 2617 2303 77 171 0 2444 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 15824
[startup+6.30179 s]
/proc/loadavg: 0.93 0.98 0.99 2/66 10856
/proc/meminfo: memFree=1783008/2055920 swapFree=4179968/4192956
[pid=10850] ppid=10848 vsize=5356 CPUtime=0.03
/proc/10850/stat : 10850 (SatELiteGTI) S 10848 10850 10737 0 -1 4194304 336 650 0 0 0 0 3 0 16 0 1 0 306245678 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10850/statm: 1339 239 197 169 0 50 0
[pid=10856] ppid=10850 vsize=15780 CPUtime=6.23
/proc/10856/stat : 10856 (minisat_static) R 10850 10850 10737 0 -1 4194304 3670 0 0 0 621 2 0 0 25 0 1 0 306245683 16158720 3656 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 0 0 0
/proc/10856/statm: 3945 3656 77 171 0 3772 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 21136
[startup+12.7017 s]
/proc/loadavg: 0.93 0.98 0.99 2/66 10856
/proc/meminfo: memFree=1774944/2055920 swapFree=4179968/4192956
[pid=10850] ppid=10848 vsize=5356 CPUtime=0.03
/proc/10850/stat : 10850 (SatELiteGTI) S 10848 10850 10737 0 -1 4194304 336 650 0 0 0 0 3 0 16 0 1 0 306245678 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10850/statm: 1339 239 197 169 0 50 0
[pid=10856] ppid=10850 vsize=23120 CPUtime=12.63
/proc/10856/stat : 10856 (minisat_static) R 10850 10850 10737 0 -1 4194304 5502 0 0 0 1259 4 0 0 25 0 1 0 306245683 23674880 5488 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/10856/statm: 5780 5488 77 171 0 5607 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 28476
[startup+25.5024 s]
/proc/loadavg: 0.95 0.98 0.99 2/66 10856
/proc/meminfo: memFree=1764448/2055920 swapFree=4179968/4192956
[pid=10850] ppid=10848 vsize=5356 CPUtime=0.03
/proc/10850/stat : 10850 (SatELiteGTI) S 10848 10850 10737 0 -1 4194304 336 650 0 0 0 0 3 0 16 0 1 0 306245678 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10850/statm: 1339 239 197 169 0 50 0
[pid=10856] ppid=10850 vsize=33272 CPUtime=25.41
/proc/10856/stat : 10856 (minisat_static) R 10850 10850 10737 0 -1 4194304 8005 0 0 0 2535 6 0 0 25 0 1 0 306245683 34070528 7991 1992294400 134512640 135215339 4294956240 18446744073709551615 134528742 0 0 4096 3 0 0 0 17 0 0 0
/proc/10856/statm: 8318 7991 77 171 0 8145 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 38628
[startup+51.1029 s]
/proc/loadavg: 0.96 0.98 0.99 2/66 10856
/proc/meminfo: memFree=1762848/2055920 swapFree=4179968/4192956
[pid=10850] ppid=10848 vsize=5356 CPUtime=0.03
/proc/10850/stat : 10850 (SatELiteGTI) S 10848 10850 10737 0 -1 4194304 336 650 0 0 0 0 3 0 16 0 1 0 306245678 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10850/statm: 1339 239 197 169 0 50 0
[pid=10856] ppid=10850 vsize=34592 CPUtime=50.99
/proc/10856/stat : 10856 (minisat_static) R 10850 10850 10737 0 -1 4194304 8343 0 0 0 5092 7 0 0 25 0 1 0 306245683 35422208 8329 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/10856/statm: 8648 8329 77 171 0 8475 0
Current children cumulated CPU time (s) 51.02
Current children cumulated vsize (KiB) 39948
[startup+102.307 s]
/proc/loadavg: 0.98 0.98 0.99 2/66 10856
/proc/meminfo: memFree=1762656/2055920 swapFree=4179968/4192956
[pid=10850] ppid=10848 vsize=5356 CPUtime=0.03
/proc/10850/stat : 10850 (SatELiteGTI) S 10848 10850 10737 0 -1 4194304 336 650 0 0 0 0 3 0 16 0 1 0 306245678 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10850/statm: 1339 239 197 169 0 50 0
[pid=10856] ppid=10850 vsize=34588 CPUtime=102.17
/proc/10856/stat : 10856 (minisat_static) R 10850 10850 10737 0 -1 4194304 8343 0 0 0 10209 8 0 0 25 0 1 0 306245683 35418112 8329 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/10856/statm: 8647 8329 77 171 0 8474 0
Current children cumulated CPU time (s) 102.2
Current children cumulated vsize (KiB) 39944
[startup+162.303 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 10856
/proc/meminfo: memFree=1762464/2055920 swapFree=4179968/4192956
[pid=10850] ppid=10848 vsize=5356 CPUtime=0.03
/proc/10850/stat : 10850 (SatELiteGTI) S 10848 10850 10737 0 -1 4194304 336 650 0 0 0 0 3 0 16 0 1 0 306245678 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10850/statm: 1339 239 197 169 0 50 0
[pid=10856] ppid=10850 vsize=34708 CPUtime=162.13
/proc/10856/stat : 10856 (minisat_static) R 10850 10850 10737 0 -1 4194304 8369 0 0 0 16205 8 0 0 25 0 1 0 306245683 35540992 8355 1992294400 134512640 135215339 4294956240 18446744073709551615 134528700 0 0 4096 3 0 0 0 17 0 0 0
/proc/10856/statm: 8677 8355 77 171 0 8504 0
Current children cumulated CPU time (s) 162.16
Current children cumulated vsize (KiB) 40064
[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 10856
/proc/meminfo: memFree=1759136/2055920 swapFree=4179968/4192956
[pid=10850] ppid=10848 vsize=5356 CPUtime=0.03
/proc/10850/stat : 10850 (SatELiteGTI) S 10848 10850 10737 0 -1 4194304 336 650 0 0 0 0 3 0 16 0 1 0 306245678 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10850/statm: 1339 239 197 169 0 50 0
[pid=10856] ppid=10850 vsize=37876 CPUtime=222.09
/proc/10856/stat : 10856 (minisat_static) R 10850 10850 10737 0 -1 4194304 9182 0 0 0 22200 9 0 0 25 0 1 0 306245683 38785024 9168 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/10856/statm: 9469 9168 77 171 0 9296 0
Current children cumulated CPU time (s) 222.12
Current children cumulated vsize (KiB) 43232
[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 10856
/proc/meminfo: memFree=1757472/2055920 swapFree=4179968/4192956
[pid=10850] ppid=10848 vsize=5356 CPUtime=0.03
/proc/10850/stat : 10850 (SatELiteGTI) S 10848 10850 10737 0 -1 4194304 336 650 0 0 0 0 3 0 16 0 1 0 306245678 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10850/statm: 1339 239 197 169 0 50 0
[pid=10856] ppid=10850 vsize=39460 CPUtime=282.03
/proc/10856/stat : 10856 (minisat_static) R 10850 10850 10737 0 -1 4194304 9566 0 0 0 28194 9 0 0 25 0 1 0 306245683 40407040 9552 1992294400 134512640 135215339 4294956240 18446744073709551615 134528742 0 0 4096 3 0 0 0 17 0 0 0
/proc/10856/statm: 9865 9552 77 171 0 9692 0
Current children cumulated CPU time (s) 282.06
Current children cumulated vsize (KiB) 44816
[startup+342.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 10856
/proc/meminfo: memFree=1757344/2055920 swapFree=4179968/4192956
[pid=10850] ppid=10848 vsize=5356 CPUtime=0.03
/proc/10850/stat : 10850 (SatELiteGTI) S 10848 10850 10737 0 -1 4194304 336 650 0 0 0 0 3 0 16 0 1 0 306245678 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10850/statm: 1339 239 197 169 0 50 0
[pid=10856] ppid=10850 vsize=39280 CPUtime=342.01
/proc/10856/stat : 10856 (minisat_static) R 10850 10850 10737 0 -1 4194304 9566 0 0 0 34191 10 0 0 25 0 1 0 306245683 40222720 9533 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/10856/statm: 9820 9533 77 171 0 9647 0
Current children cumulated CPU time (s) 342.04
Current children cumulated vsize (KiB) 44636
[startup+402.303 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 10856
/proc/meminfo: memFree=1757280/2055920 swapFree=4179968/4192956
[pid=10850] ppid=10848 vsize=5356 CPUtime=0.03
/proc/10850/stat : 10850 (SatELiteGTI) S 10848 10850 10737 0 -1 4194304 336 650 0 0 0 0 3 0 16 0 1 0 306245678 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10850/statm: 1339 239 197 169 0 50 0
[pid=10856] ppid=10850 vsize=39280 CPUtime=401.97
################
# More data... #
################
/proc/10856/statm: 9952 9652 77 171 0 9779 0
Current children cumulated CPU time (s) 521.94
Current children cumulated vsize (KiB) 45164
[startup+582.303 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 10856
/proc/meminfo: memFree=1756640/2055920 swapFree=4179968/4192956
[pid=10850] ppid=10848 vsize=5356 CPUtime=0.03
/proc/10850/stat : 10850 (SatELiteGTI) S 10848 10850 10737 0 -1 4194304 336 650 0 0 0 0 3 0 16 0 1 0 306245678 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10850/statm: 1339 239 197 169 0 50 0
[pid=10856] ppid=10850 vsize=39808 CPUtime=581.88
/proc/10856/stat : 10856 (minisat_static) R 10850 10850 10737 0 -1 4194304 9685 0 0 0 58177 11 0 0 25 0 1 0 306245683 40763392 9652 1992294400 134512640 135215339 4294956240 18446744073709551615 134545663 0 0 4096 3 0 0 0 17 0 0 0
/proc/10856/statm: 9952 9652 77 171 0 9779 0
Current children cumulated CPU time (s) 581.91
Current children cumulated vsize (KiB) 45164
[startup+642.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 10856
/proc/meminfo: memFree=1756512/2055920 swapFree=4179968/4192956
[pid=10850] ppid=10848 vsize=5356 CPUtime=0.03
/proc/10850/stat : 10850 (SatELiteGTI) S 10848 10850 10737 0 -1 4194304 336 650 0 0 0 0 3 0 16 0 1 0 306245678 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10850/statm: 1339 239 197 169 0 50 0
[pid=10856] ppid=10850 vsize=39808 CPUtime=641.83
/proc/10856/stat : 10856 (minisat_static) R 10850 10850 10737 0 -1 4194304 9685 0 0 0 64172 11 0 0 25 0 1 0 306245683 40763392 9652 1992294400 134512640 135215339 4294956240 18446744073709551615 134528700 0 0 4096 3 0 0 0 17 0 0 0
/proc/10856/statm: 9952 9652 77 171 0 9779 0
Current children cumulated CPU time (s) 641.86
Current children cumulated vsize (KiB) 45164
[startup+702.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 10856
/proc/meminfo: memFree=1756320/2055920 swapFree=4179968/4192956
[pid=10850] ppid=10848 vsize=5356 CPUtime=0.03
/proc/10850/stat : 10850 (SatELiteGTI) S 10848 10850 10737 0 -1 4194304 336 650 0 0 0 0 3 0 16 0 1 0 306245678 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10850/statm: 1339 239 197 169 0 50 0
[pid=10856] ppid=10850 vsize=39808 CPUtime=701.8
/proc/10856/stat : 10856 (minisat_static) R 10850 10850 10737 0 -1 4194304 9685 0 0 0 70169 11 0 0 25 0 1 0 306245683 40763392 9652 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 0 0 0
/proc/10856/statm: 9952 9652 77 171 0 9779 0
Current children cumulated CPU time (s) 701.83
Current children cumulated vsize (KiB) 45164
[startup+762.306 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 10856
/proc/meminfo: memFree=1756256/2055920 swapFree=4179968/4192956
[pid=10850] ppid=10848 vsize=5356 CPUtime=0.03
/proc/10850/stat : 10850 (SatELiteGTI) S 10848 10850 10737 0 -1 4194304 336 650 0 0 0 0 3 0 16 0 1 0 306245678 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10850/statm: 1339 239 197 169 0 50 0
[pid=10856] ppid=10850 vsize=39808 CPUtime=761.78
/proc/10856/stat : 10856 (minisat_static) R 10850 10850 10737 0 -1 4194304 9685 0 0 0 76167 11 0 0 25 0 1 0 306245683 40763392 9652 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/10856/statm: 9952 9652 77 171 0 9779 0
Current children cumulated CPU time (s) 761.81
Current children cumulated vsize (KiB) 45164
[startup+822.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 10856
/proc/meminfo: memFree=1754592/2055920 swapFree=4179968/4192956
[pid=10850] ppid=10848 vsize=5356 CPUtime=0.03
/proc/10850/stat : 10850 (SatELiteGTI) S 10848 10850 10737 0 -1 4194304 336 650 0 0 0 0 3 0 16 0 1 0 306245678 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10850/statm: 1339 239 197 169 0 50 0
[pid=10856] ppid=10850 vsize=41524 CPUtime=821.74
/proc/10856/stat : 10856 (minisat_static) R 10850 10850 10737 0 -1 4194304 10100 0 0 0 82163 11 0 0 25 0 1 0 306245683 42520576 10067 1992294400 134512640 135215339 4294956240 18446744073709551615 134528809 0 0 4096 3 0 0 0 17 0 0 0
/proc/10856/statm: 10381 10067 77 171 0 10208 0
Current children cumulated CPU time (s) 821.77
Current children cumulated vsize (KiB) 46880
[startup+882.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 10856
/proc/meminfo: memFree=1754464/2055920 swapFree=4179968/4192956
[pid=10850] ppid=10848 vsize=5356 CPUtime=0.03
/proc/10850/stat : 10850 (SatELiteGTI) S 10848 10850 10737 0 -1 4194304 336 650 0 0 0 0 3 0 16 0 1 0 306245678 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10850/statm: 1339 239 197 169 0 50 0
[pid=10856] ppid=10850 vsize=41524 CPUtime=881.71
/proc/10856/stat : 10856 (minisat_static) R 10850 10850 10737 0 -1 4194304 10100 0 0 0 88160 11 0 0 25 0 1 0 306245683 42520576 10067 1992294400 134512640 135215339 4294956240 18446744073709551615 134528782 0 0 4096 3 0 0 0 17 0 0 0
/proc/10856/statm: 10381 10067 77 171 0 10208 0
Current children cumulated CPU time (s) 881.74
Current children cumulated vsize (KiB) 46880
[startup+942.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 10856
/proc/meminfo: memFree=1754336/2055920 swapFree=4179968/4192956
[pid=10850] ppid=10848 vsize=5356 CPUtime=0.03
/proc/10850/stat : 10850 (SatELiteGTI) S 10848 10850 10737 0 -1 4194304 336 650 0 0 0 0 3 0 16 0 1 0 306245678 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10850/statm: 1339 239 197 169 0 50 0
[pid=10856] ppid=10850 vsize=41524 CPUtime=941.7
/proc/10856/stat : 10856 (minisat_static) R 10850 10850 10737 0 -1 4194304 10100 0 0 0 94158 12 0 0 25 0 1 0 306245683 42520576 10067 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/10856/statm: 10381 10067 77 171 0 10208 0
Current children cumulated CPU time (s) 941.73
Current children cumulated vsize (KiB) 46880
[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 10856
/proc/meminfo: memFree=1754208/2055920 swapFree=4179968/4192956
[pid=10850] ppid=10848 vsize=5356 CPUtime=0.03
/proc/10850/stat : 10850 (SatELiteGTI) S 10848 10850 10737 0 -1 4194304 336 650 0 0 0 0 3 0 16 0 1 0 306245678 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10850/statm: 1339 239 197 169 0 50 0
[pid=10856] ppid=10850 vsize=41524 CPUtime=1001.65
/proc/10856/stat : 10856 (minisat_static) R 10850 10850 10737 0 -1 4194304 10100 0 0 0 100153 12 0 0 25 0 1 0 306245683 42520576 10067 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 0 0 0
/proc/10856/statm: 10381 10067 77 171 0 10208 0
Current children cumulated CPU time (s) 1001.68
Current children cumulated vsize (KiB) 46880
[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 10856
/proc/meminfo: memFree=1754144/2055920 swapFree=4179968/4192956
[pid=10850] ppid=10848 vsize=5356 CPUtime=0.03
/proc/10850/stat : 10850 (SatELiteGTI) S 10848 10850 10737 0 -1 4194304 336 650 0 0 0 0 3 0 16 0 1 0 306245678 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10850/statm: 1339 239 197 169 0 50 0
[pid=10856] ppid=10850 vsize=41524 CPUtime=1061.62
/proc/10856/stat : 10856 (minisat_static) R 10850 10850 10737 0 -1 4194304 10100 0 0 0 106150 12 0 0 25 0 1 0 306245683 42520576 10067 1992294400 134512640 135215339 4294956240 18446744073709551615 134528728 0 0 4096 3 0 0 0 17 0 0 0
/proc/10856/statm: 10381 10067 77 171 0 10208 0
Current children cumulated CPU time (s) 1061.65
Current children cumulated vsize (KiB) 46880
[startup+1122.3 s]
/proc/loadavg: 1.05 1.00 1.00 2/66 10856
/proc/meminfo: memFree=1754016/2055920 swapFree=4179968/4192956
[pid=10850] ppid=10848 vsize=5356 CPUtime=0.03
/proc/10850/stat : 10850 (SatELiteGTI) S 10848 10850 10737 0 -1 4194304 336 650 0 0 0 0 3 0 16 0 1 0 306245678 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10850/statm: 1339 239 197 169 0 50 0
[pid=10856] ppid=10850 vsize=41524 CPUtime=1121.59
/proc/10856/stat : 10856 (minisat_static) R 10850 10850 10737 0 -1 4194304 10100 0 0 0 112147 12 0 0 25 0 1 0 306245683 42520576 10067 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 0 0 0
/proc/10856/statm: 10381 10067 77 171 0 10208 0
Current children cumulated CPU time (s) 1121.62
Current children cumulated vsize (KiB) 46880
[startup+1182.3 s]
/proc/loadavg: 1.10 1.03 1.01 2/66 10856
/proc/meminfo: memFree=1753824/2055920 swapFree=4179968/4192956
[pid=10850] ppid=10848 vsize=5356 CPUtime=0.03
/proc/10850/stat : 10850 (SatELiteGTI) S 10848 10850 10737 0 -1 4194304 336 650 0 0 0 0 3 0 16 0 1 0 306245678 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10850/statm: 1339 239 197 169 0 50 0
[pid=10856] ppid=10850 vsize=41524 CPUtime=1181.56
/proc/10856/stat : 10856 (minisat_static) R 10850 10850 10737 0 -1 4194304 10100 0 0 0 118144 12 0 0 25 0 1 0 306245683 42520576 10067 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/10856/statm: 10381 10067 77 171 0 10208 0
Current children cumulated CPU time (s) 1181.59
Current children cumulated vsize (KiB) 46880
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.8 s]
/proc/loadavg: 1.07 1.03 1.00 3/66 10856
/proc/meminfo: memFree=1753824/2055920 swapFree=4179968/4192956
[pid=10850] ppid=10848 vsize=5356 CPUtime=0.03
/proc/10850/stat : 10850 (SatELiteGTI) S 10848 10850 10737 0 -1 4194304 336 650 0 0 0 0 3 0 16 0 1 0 306245678 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10850/statm: 1339 239 197 169 0 50 0
[pid=10856] ppid=10850 vsize=41524 CPUtime=1200.06
/proc/10856/stat : 10856 (minisat_static) R 10850 10850 10737 0 -1 4194304 10100 0 0 0 119994 12 0 0 25 0 1 0 306245683 42520576 10067 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/10856/statm: 10381 10067 77 171 0 10208 0
Current children cumulated CPU time (s) 1200.09
Current children cumulated vsize (KiB) 46880
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)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 10850 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=34994
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=6998
# CPU time returned by wait4() is 0.041992
# while last known CPU time is 1200.09
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1200.81
CPU time (s): 1200.09
CPU user time (s): 1199.97
CPU system time (s): 0.12
CPU usage (%): 99.9399
Max. virtual memory (cumulated for all children) (KiB): 46880
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.034994
system time used= 0.006998
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 986
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14
involuntary context switches= 6
runsolver used 1.19382 second user time and 3.3175 second system time
The end
Begin job on node71 at 2009-05-20 03:16:37
IDJOB=1832533
IDBENCH=70230
IDSOLVER=671
FILE ID=node71/1832533-1242782197
PBS_JOBID= 9322366
Free space on /tmp= 66300 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/RANDOM/LARGE/5SAT/UNKNOWN/700/unif-k5-r20-v700-c14000-S1500472284-060.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832533-1242782197/watcher-1832533-1242782197 -o /tmp/evaluation-result-1832533-1242782197/solver-1832533-1242782197 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832533-1242782197.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 2b259c43c2d565526fa8f71172751b7f
RANDOM SEED=1728548118
node71.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.236
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.236
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1797392 kB
Buffers: 28208 kB
Cached: 192908 kB
SwapCached: 7092 kB
Active: 33644 kB
Inactive: 196264 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1797392 kB
SwapTotal: 4192956 kB
SwapFree: 4179968 kB
Dirty: 1904 kB
Writeback: 0 kB
Mapped: 13980 kB
Slab: 14600 kB
Committed_AS: 896168 kB
PageTables: 1440 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= 66300 MiB
End job on node71 at 2009-05-20 03:36:40