0.00/0.00 c Parsing...
0.00/0.02 c ==============================================================================
0.00/0.02 c | | ORIGINAL | LEARNT | |
0.00/0.02 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.02 c ==============================================================================
0.00/0.02 c | 0 | 13600 95200 | 4079 0 0 nan | 0.000 % |
0.00/0.02 c ==============================================================================
0.00/0.02 c Result : #vars: 160 #clauses: 13600 #literals: 95200
0.00/0.02 c CPU time: 0.018997 s
0.00/0.02 c ==============================================================================
0.00/0.05 c This is MiniSat 2.0 beta
0.00/0.05 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.05 c ============================[ Problem Statistics ]=============================
0.00/0.05 c | |
0.00/0.05 c | Number of variables: 160 |
0.00/0.05 c | Number of clauses: 13600 |
0.00/0.06 c | Parsing time: 0.01 s |
0.00/0.06 c ============================[ Search Statistics ]==============================
0.00/0.06 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.00/0.06 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.00/0.06 c ===============================================================================
0.00/0.06 c | 0 | 160 13600 95200 | 4533 0 nan | 0.000 % |
0.00/0.07 c | 100 | 160 13600 95200 | 4533 100 47 | 0.004 % |
0.00/0.08 c | 200 | 160 13600 95200 | 4533 200 50 | 0.004 % |
0.00/0.09 c | 300 | 160 13600 95200 | 4533 300 50 | 0.004 % |
0.04/0.10 c | 412 | 160 13600 95200 | 4533 412 51 | 0.004 % |
0.04/0.11 c | 512 | 160 13600 95200 | 4533 512 50 | 0.004 % |
0.04/0.11 c | 623 | 160 13600 95200 | 4533 623 50 | 0.004 % |
0.04/0.12 c | 744 | 160 13600 95200 | 4533 744 49 | 0.004 % |
0.04/0.13 c | 844 | 160 13600 95200 | 4533 844 49 | 0.004 % |
0.04/0.14 c | 955 | 160 13600 95200 | 4533 955 49 | 0.004 % |
0.04/0.15 c | 1077 | 160 13600 95200 | 4533 1077 48 | 0.004 % |
0.04/0.16 c | 1211 | 160 13600 95200 | 4533 1211 48 | 0.004 % |
0.04/0.16 c | 1312 | 160 13600 95200 | 4533 1312 48 | 0.004 % |
0.04/0.17 c | 1422 | 160 13600 95200 | 4533 1422 48 | 0.004 % |
0.04/0.18 c | 1543 | 160 13600 95200 | 4533 1543 48 | 0.004 % |
0.04/0.19 c | 1677 | 160 13600 95200 | 4533 1677 48 | 0.004 % |
0.04/0.20 c | 1824 | 160 13600 95200 | 4533 1824 48 | 0.004 % |
0.04/0.21 c | 1925 | 160 13600 95200 | 4533 1925 48 | 0.004 % |
0.04/0.22 c | 2035 | 160 13600 95200 | 4533 2035 48 | 0.004 % |
0.04/0.23 c | 2156 | 160 13600 95200 | 4533 2156 48 | 0.004 % |
0.04/0.24 c | 2290 | 160 13600 95200 | 4533 2290 48 | 0.004 % |
0.04/0.25 c | 2437 | 160 13600 95200 | 4533 2437 48 | 0.004 % |
0.04/0.27 c | 2599 | 160 13600 95200 | 4533 2599 48 | 0.004 % |
0.04/0.27 c | 2699 | 160 13600 95200 | 4533 2699 48 | 0.004 % |
0.04/0.28 c | 2810 | 160 13600 95200 | 4533 2810 48 | 0.004 % |
0.04/0.29 c | 2932 | 160 13600 95200 | 4533 2932 48 | 0.004 % |
0.04/0.31 c | 3065 | 160 13600 95200 | 4533 3065 48 | 0.004 % |
0.04/0.32 c | 3211 | 160 13600 95200 | 4533 3211 48 | 0.004 % |
0.04/0.33 c | 3371 | 160 13600 95200 | 4533 3371 48 | 0.004 % |
0.04/0.35 c | 3551 | 160 13600 95200 | 4533 3551 48 | 0.004 % |
0.04/0.36 c | 3651 | 160 13600 95200 | 4533 3651 48 | 0.004 % |
0.04/0.37 c | 3762 | 160 13600 95200 | 4533 3762 48 | 0.004 % |
0.04/0.38 c | 3885 | 160 13600 95200 | 4533 3885 48 | 0.004 % |
0.04/0.39 c | 4018 | 160 13600 95200 | 4533 4018 48 | 0.004 % |
0.04/0.41 c | 4165 | 160 13600 95200 | 4533 4165 48 | 0.004 % |
0.04/0.42 c | 4327 | 160 13600 95200 | 4533 4327 48 | 0.004 % |
0.04/0.44 c | 4504 | 160 13600 95200 | 4533 4504 48 | 0.004 % |
0.04/0.46 c | 4697 | 160 13600 95200 | 4533 4236 47 | 0.004 % |
0.04/0.47 c | 4797 | 160 13600 95200 | 4533 4336 47 | 0.004 % |
0.04/0.48 c | 4908 | 160 13600 95200 | 4533 4447 47 | 0.004 % |
0.04/0.49 c | 5029 | 160 13600 95200 | 4533 4568 47 | 0.004 % |
0.04/0.50 c | 5163 | 160 13600 95200 | 4533 4246 47 | 0.004 % |
0.04/0.52 c | 5309 | 160 13600 95200 | 4533 4392 47 | 0.004 % |
0.04/0.53 c | 5469 | 160 13600 95200 | 4533 4552 47 | 0.004 % |
0.04/0.55 c | 5647 | 160 13600 95200 | 4533 4275 47 | 0.004 % |
0.04/0.57 c | 5843 | 160 13600 95200 | 4533 4471 47 | 0.004 % |
0.04/0.59 c | 6056 | 160 13600 95200 | 4533 4224 47 | 0.004 % |
0.04/0.60 c | 6156 | 160 13600 95200 | 4533 4324 47 | 0.004 % |
0.04/0.61 c | 6266 | 160 13600 95200 | 4533 4434 47 | 0.004 % |
0.04/0.62 c | 6390 | 160 13600 95200 | 4533 4558 47 | 0.004 % |
0.04/0.63 c | 6523 | 160 13600 95200 | 4533 4236 47 | 0.004 % |
0.04/0.65 c | 6670 | 160 13600 95200 | 4533 4383 47 | 0.004 % |
0.04/0.66 c | 6831 | 160 13600 95200 | 4533 4544 47 | 0.004 % |
0.04/0.68 c | 7007 | 160 13600 95200 | 4533 4266 47 | 0.004 % |
0.04/0.70 c | 7200 | 160 13600 95200 | 4533 4459 47 | 0.004 % |
0.04/0.72 c | 7412 | 160 13600 95200 | 4533 4211 47 | 0.004 % |
0.04/0.74 c | 7646 | 160 13600 95200 | 4533 4445 47 | 0.004 % |
0.04/0.75 c | 7746 | 160 13600 95200 | 4533 4545 47 | 0.004 % |
0.04/0.76 c | 7857 | 160 13600 95200 | 4533 4202 47 | 0.004 % |
0.04/0.77 c | 7979 | 160 13600 95200 | 4533 4324 47 | 0.004 % |
0.04/0.79 c | 8113 | 160 13600 95200 | 4533 4458 47 | 0.004 % |
0.04/0.80 c | 8259 | 160 13600 95200 | 4533 4604 47 | 0.004 % |
0.04/0.82 c | 8420 | 160 13600 95200 | 4533 4305 47 | 0.004 % |
0.04/0.83 c | 8597 | 160 13600 95200 | 4533 4482 47 | 0.004 % |
0.04/0.85 c | 8791 | 160 13600 95200 | 4533 4216 47 | 0.004 % |
0.04/0.87 c | 9003 | 160 13600 95200 | 4533 4428 47 | 0.004 % |
0.04/0.89 c | 9236 | 160 13600 95200 | 4533 4201 47 | 0.004 % |
0.04/0.92 c | 9493 | 160 13600 95200 | 4533 4458 47 | 0.004 % |
0.04/0.92 c | 9593 | 160 13600 95200 | 4533 4558 47 | 0.004 % |
0.04/0.94 c | 9703 | 160 13600 95200 | 4533 4213 47 | 0.004 % |
0.04/0.95 c | 9825 | 160 13600 95200 | 4533 4335 47 | 0.004 % |
0.04/0.96 c | 9959 | 160 13600 95200 | 4533 4469 47 | 0.004 % |
0.04/0.97 c | 10105 | 160 13600 95200 | 2147483647 4615 47 | 0.004 % |
0.04/0.99 c | 10265 | 160 13600 95200 | 2147483647 4775 47 | 0.004 % |
0.98/1.01 c | 10442 | 160 13600 95200 | 2147483647 4952 47 | 0.004 % |
0.98/1.03 c | 10636 | 160 13600 95200 | 2147483647 5146 47 | 0.004 % |
0.98/1.05 c | 10849 | 160 13600 95200 | 2147483647 5359 47 | 0.004 % |
0.98/1.08 c | 11083 | 160 13600 95200 | 2147483647 5593 47 | 0.004 % |
0.98/1.10 c | 11341 | 160 13600 95200 | 2147483647 5851 47 | 0.004 % |
1.08/1.13 c | 11622 | 160 13600 95200 | 2147483647 6132 47 | 0.004 % |
1.08/1.14 c | 11723 | 160 13600 95200 | 2147483647 6233 47 | 0.004 % |
1.08/1.15 c | 11835 | 160 13600 95200 | 2147483647 6345 48 | 0.004 % |
1.08/1.17 c | 11956 | 160 13600 95200 | 2147483647 6466 47 | 0.004 % |
1.08/1.18 c | 12090 | 160 13600 95200 | 2147483647 6600 47 | 0.004 % |
1.17/1.20 c | 12237 | 160 13600 95200 | 2147483647 6747 47 | 0.004 % |
1.17/1.21 c | 12397 | 160 13600 95200 | 2147483647 6907 48 | 0.004 % |
1.17/1.23 c | 12573 | 160 13600 95200 | 2147483647 7083 48 | 0.004 % |
1.17/1.26 c | 12766 | 160 13600 95200 | 2147483647 7276 48 | 0.004 % |
1.17/1.28 c | 12979 | 160 13600 95200 | 2147483647 7489 48 | 0.004 % |
1.27/1.31 c | 13212 | 160 13600 95200 | 2147483647 7722 48 | 0.004 % |
1.27/1.34 c | 13470 | 160 13600 95200 | 2147483647 7980 48 | 0.004 % |
1.27/1.37 c | 13751 | 160 13600 95200 | 2147483647 8261 48 | 0.004 % |
1.37/1.41 c | 14060 | 160 13600 95200 | 2147483647 8570 48 | 0.004 % |
1.47/1.55 c | 14160 | 160 13600 95200 | 2147483647 8670 48 | 0.004 % |
1.47/1.55 c | 14272 | 160 13600 95200 | 2147483647 8782 48 | 0.004 % |
1.47/1.55 c | 14393 | 160 13600 95200 | 2147483647 8903 48 | 0.004 % |
1.47/1.55 c | 14526 | 160 13600 95200 | 2147483647 9036 48 | 0.004 % |
1.47/1.55 c | 14672 | 160 13600 95200 | 2147483647 9182 48 | 0.004 % |
1.47/1.55 c | 14835 | 160 13600 95200 | 2147483647 9345 48 | 0.004 % |
1.47/1.55 c | 15011 | 160 13600 95200 | 2147483647 9521 48 | 0.004 % |
1.47/1.57 c | 15205 | 160 13600 95200 | 2147483647 9715 48 | 0.004 % |
1.47/1.60 c | 15417 | 160 13600 95200 | 2147483647 9927 48 | 0.004 % |
1.47/1.63 c | 15650 | 160 13600 95200 | 2147483647 10160 48 | 0.004 % |
1.63/1.66 c | 15907 | 160 13600 95200 | 2147483647 10417 48 | 0.004 % |
1.67/1.70 c | 16189 | 160 13600 95200 | 2147483647 10699 48 | 0.004 % |
1.67/1.74 c | 16498 | 160 13600 95200 | 2147483647 11008 48 | 0.004 % |
1.67/1.79 c | 16837 | 160 13600 95200 | 2147483647 11347 48 | 0.004 % |
1.77/1.81 c | 16939 | 160 13600 95200 | 2147483647 11449 48 | 0.004 % |
1.77/1.83 c | 17050 | 160 13600 95200 | 2147483647 11560 48 | 0.004 % |
1.77/1.85 c | 17172 | 160 13600 95200 | 2147483647 11682 48 | 0.004 % |
1.77/1.87 c | 17305 | 160 13600 95200 | 2147483647 11815 48 | 0.004 % |
1.77/1.90 c | 17453 | 160 13600 95200 | 2147483647 11963 48 | 0.004 % |
1.87/1.92 c | 17613 | 160 13600 95200 | 2147483647 12123 48 | 0.004 % |
1.87/1.95 c | 17789 | 160 13600 95200 | 2147483647 12299 48 | 0.004 % |
1.87/1.98 c | 17985 | 160 13600 95200 | 2147483647 12495 48 | 0.004 % |
1.97/2.02 c | 18197 | 160 13600 95200 | 2147483647 12707 48 | 0.004 % |
1.97/2.05 c | 18432 | 160 13600 95200 | 2147483647 12942 48 | 0.004 % |
1.97/2.09 c | 18688 | 160 13600 95200 | 2147483647 13198 48 | 0.004 % |
2.07/2.14 c | 18971 | 160 13600 95200 | 2147483647 13481 48 | 0.004 % |
2.07/2.20 c | 19281 | 160 13600 95200 | 2147483647 13791 48 | 0.004 % |
2.17/2.26 c | 19621 | 160 13600 95200 | 2147483647 14131 48 | 0.004 % |
2.27/2.32 c | 19994 | 160 13600 95200 | 2147483647 14504 48 | 0.004 % |
2.27/2.34 c | 20096 | 160 13600 95200 | 2147483647 14606 48 | 0.004 % |
2.27/2.37 c | 20207 | 160 13600 95200 | 2147483647 14717 48 | 0.004 % |
2.27/2.39 c | 20328 | 160 13600 95200 | 2147483647 14838 48 | 0.004 % |
2.37/2.41 c | 20463 | 160 13600 95200 | 2147483647 14973 48 | 0.004 % |
2.37/2.44 c | 20609 | 160 13600 95200 | 2147483647 15119 48 | 0.004 % |
2.37/2.47 c | 20769 | 160 13600 95200 | 2147483647 15279 48 | 0.004 % |
2.47/2.50 c | 20946 | 160 13600 95200 | 2147483647 15456 48 | 0.004 % |
2.47/2.54 c | 21139 | 160 13600 95200 | 2147483647 15649 48 | 0.004 % |
2.47/2.58 c | 21351 | 160 13600 95200 | 2147483647 15861 48 | 0.004 % |
2.57/2.63 c | 21584 | 160 13600 95200 | 2147483647 16094 48 | 0.004 % |
2.57/2.69 c | 21840 | 160 13600 95200 | 2147483647 16350 48 | 0.004 % |
2.67/2.75 c | 22121 | 160 13600 95200 | 2147483647 16631 48 | 0.004 % |
2.77/2.81 c | 22430 | 160 13600 95200 | 2147483647 16940 48 | 0.004 % |
2.77/2.88 c | 22769 | 160 13600 95200 | 2147483647 17279 48 | 0.004 % |
2.87/2.96 c | 23142 | 160 13600 95200 | 2147483647 17652 48 | 0.004 % |
2.97/3.03 c | 23551 | 160 13600 95200 | 2147483647 18061 48 | 0.004 % |
2.97/3.06 c | 23651 | 160 13600 95200 | 2147483647 18161 48 | 0.004 % |
2.97/3.09 c | 23762 | 160 13600 95200 | 2147483647 18272 48 | 0.004 % |
3.07/3.12 c | 23886 | 160 13600 95200 | 2147483647 18396 48 | 0.004 % |
3.07/3.15 c | 24019 | 160 13600 95200 | 2147483647 18529 48 | 0.004 % |
3.07/3.18 c | 24165 | 160 13600 95200 | 2147483647 18675 48 | 0.004 % |
3.17/3.22 c | 24325 | 160 13600 95200 | 2147483647 18835 48 | 0.004 % |
3.17/3.26 c | 24503 | 160 13600 95200 | 2147483647 19013 48 | 0.004 % |
3.27/3.31 c | 24696 | 160 13600 95200 | 2147483647 19206 48 | 0.004 % |
3.27/3.36 c | 24908 | 160 13600 95200 | 2147483647 19418 48 | 0.004 % |
3.37/3.42 c | 25141 | 160 13600 95200 | 2147483647 19651 48 | 0.004 % |
3.37/3.48 c | 25399 | 160 13600 95200 | 2147483647 19909 48 | 0.004 % |
3.47/3.55 c | 25680 | 160 13600 95200 | 2147483647 20190 48 | 0.004 % |
3.57/3.62 c | 25991 | 160 13600 95200 | 2147483647 20501 48 | 0.004 % |
3.67/3.70 c | 26330 | 160 13600 95200 | 2147483647 20840 48 | 0.004 % |
3.67/3.80 c | 26702 | 160 13600 95200 | 2147483647 21212 48 | 0.004 % |
3.77/3.89 c | 27112 | 160 13600 95200 | 2147483647 21622 48 | 0.004 % |
3.87/4.00 c | 27562 | 160 13600 95200 | 2147483647 22072 48 | 0.004 % |
3.97/4.03 c | 27665 | 160 13600 95200 | 2147483647 22175 48 | 0.004 % |
3.97/4.06 c | 27777 | 160 13600 95200 | 2147483647 22287 48 | 0.004 % |
4.07/4.10 c | 27898 | 160 13600 95200 | 2147483647 22408 48 | 0.004 % |
4.07/4.13 c | 28033 | 160 13600 95200 | 2147483647 22543 48 | 0.004 % |
4.07/4.18 c | 28180 | 160 13600 95200 | 2147483647 22690 48 | 0.004 % |
4.17/4.22 c | 28341 | 160 13600 95200 | 2147483647 22851 48 | 0.004 % |
4.17/4.27 c | 28517 | 160 13600 95200 | 2147483647 23027 48 | 0.004 % |
4.28/4.33 c | 28713 | 160 13600 95200 | 2147483647 23223 48 | 0.004 % |
4.28/4.39 c | 28925 | 160 13600 95200 | 2147483647 23435 48 | 0.004 % |
4.38/4.46 c | 29160 | 160 13600 95200 | 2147483647 23670 48 | 0.004 % |
4.47/4.54 c | 29416 | 160 13600 95200 | 2147483647 23926 48 | 0.004 % |
4.57/4.61 c | 29697 | 160 13600 95200 | 2147483647 24207 48 | 0.004 % |
4.57/4.69 c | 30006 | 160 13600 95200 | 2147483647 24516 48 | 0.004 % |
4.77/4.81 c | 30345 | 160 13600 95200 | 2147483647 24855 48 | 0.004 % |
4.87/4.92 c | 30717 | 160 13600 95200 | 2147483647 25227 48 | 0.004 % |
4.97/5.03 c | 31126 | 160 13600 95200 | 2147483647 25636 48 | 0.004 % |
5.07/5.16 c | 31576 | 160 13600 95200 | 2147483647 26086 48 | 0.004 % |
5.27/5.32 c | 32070 | 160 13600 95200 | 2147483647 26580 48 | 0.004 % |
5.27/5.36 c | 32171 | 160 13600 95200 | 2147483647 26681 48 | 0.004 % |
5.27/5.40 c | 32281 | 160 13600 95200 | 2147483647 26791 48 | 0.004 % |
5.38/5.44 c | 32402 | 160 13600 95200 | 2147483647 26912 48 | 0.004 % |
5.38/5.49 c | 32536 | 160 13600 95200 | 2147483647 27046 48 | 0.004 % |
5.48/5.54 c | 32683 | 160 13600 95200 | 2147483647 27193 48 | 0.004 % |
5.48/5.60 c | 32843 | 160 13600 95200 | 2147483647 27353 48 | 0.004 % |
5.57/5.67 c | 33019 | 160 13600 95200 | 2147483647 27529 48 | 0.004 % |
5.67/5.74 c | 33213 | 160 13600 95200 | 2147483647 27723 48 | 0.004 % |
5.77/5.81 c | 33426 | 160 13600 95200 | 2147483647 27936 48 | 0.004 % |
5.77/5.89 c | 33659 | 160 13600 95200 | 2147483647 28169 48 | 0.004 % |
5.87/5.97 c | 33917 | 160 13600 95200 | 2147483647 28427 48 | 0.004 % |
5.97/6.06 c | 34198 | 160 13600 95200 | 2147483647 28708 48 | 0.004 % |
6.07/6.16 c | 34507 | 160 13600 95200 | 2147483647 29017 48 | 0.004 % |
6.17/6.28 c | 34847 | 160 13600 95200 | 2147483647 29357 48 | 0.004 % |
6.37/6.42 c | 35219 | 160 13600 95200 | 2147483647 29729 48 | 0.004 % |
6.47/6.56 c | 35629 | 160 13600 95200 | 2147483647 30139 48 | 0.004 % |
6.67/6.72 c | 36079 | 160 13600 95200 | 2147483647 30589 48 | 0.004 % |
6.87/6.92 c | 36572 | 160 13600 95200 | 2147483647 31082 48 | 0.004 % |
7.07/7.13 c | 37114 | 160 13600 95200 | 2147483647 31624 48 | 0.004 % |
7.07/7.17 c | 37214 | 160 13600 95200 | 2147483647 31724 48 | 0.004 % |
7.17/7.21 c | 37324 | 160 13600 95200 | 2147483647 31834 48 | 0.004 % |
7.17/7.25 c | 37446 | 160 13600 95200 | 2147483647 31956 48 | 0.004 % |
7.27/7.31 c | 37580 | 160 13600 95200 | 2147483647 32090 48 | 0.004 % |
7.27/7.38 c | 37727 | 160 13600 95200 | 2147483647 32237 48 | 0.004 % |
7.37/7.45 c | 37887 | 160 13600 95200 | 2147483647 32397 48 | 0.004 % |
7.47/7.52 c | 38063 | 160 13600 95200 | 2147483647 32573 48 | 0.004 % |
7.57/7.61 c | 38257 | 160 13600 95200 | 2147483647 32767 48 | 0.004 % |
7.67/7.71 c | 38470 | 160 13600 95200 | 2147483647 32980 48 | 0.004 % |
7.77/7.80 c | 38703 | 160 13600 95200 | 2147483647 33213 48 | 0.004 % |
7.87/7.91 c | 38960 | 160 13600 95200 | 2147483647 33470 48 | 0.004 % |
7.97/8.03 c | 39241 | 160 13600 95200 | 2147483647 33751 48 | 0.004 % |
8.07/8.16 c | 39552 | 160 13600 95200 | 2147483647 34062 48 | 0.004 % |
8.27/8.33 c | 39893 | 160 13600 95200 | 2147483647 34403 48 | 0.004 % |
8.47/8.50 c | 40266 | 160 13600 95200 | 2147483647 34776 48 | 0.004 % |
8.57/8.68 c | 40676 | 160 13600 95200 | 2147483647 35186 48 | 0.004 % |
8.77/8.88 c | 41125 | 160 13600 95200 | 2147483647 35635 48 | 0.004 % |
9.07/9.10 c | 41619 | 160 13600 95200 | 2147483647 36129 48 | 0.004 % |
9.27/9.32 c | 42163 | 160 13600 95200 | 2147483647 36673 48 | 0.004 % |
9.47/9.57 c | 42759 | 160 13600 95200 | 2147483647 37269 48 | 0.004 % |
9.56/9.61 c | 42859 | 160 13600 95200 | 2147483647 37369 48 | 0.004 % |
9.56/9.66 c | 42969 | 160 13600 95200 | 2147483647 37479 48 | 0.004 % |
9.66/9.71 c | 43090 | 160 13600 95200 | 2147483647 37600 48 | 0.004 % |
9.66/9.79 c | 43225 | 160 13600 95200 | 2147483647 37735 48 | 0.004 % |
9.77/9.86 c | 43372 | 160 13600 95200 | 2147483647 37882 48 | 0.004 % |
9.87/9.94 c | 43533 | 160 13600 95200 | 2147483647 38043 48 | 0.004 % |
9.96/10.04 c | 43709 | 160 13600 95200 | 2147483647 38219 48 | 0.004 % |
10.06/10.13 c | 43903 | 160 13600 95200 | 2147483647 38413 48 | 0.004 % |
10.16/10.22 c | 44115 | 160 13600 95200 | 2147483647 38625 48 | 0.004 % |
10.26/10.34 c | 44348 | 160 13600 95200 | 2147483647 38858 48 | 0.004 % |
10.36/10.45 c | 44604 | 160 13600 95200 | 2147483647 39114 48 | 0.004 % |
10.46/10.57 c | 44886 | 160 13600 95200 | 2147483647 39396 48 | 0.004 % |
10.66/10.70 c | 45196 | 160 13600 95200 | 2147483647 39706 48 | 0.004 % |
10.76/10.86 c | 45536 | 160 13600 95200 | 2147483647 40046 48 | 0.004 % |
10.97/11.06 c | 45909 | 160 13600 95200 | 2147483647 40419 48 | 0.004 % |
11.16/11.28 c | 46318 | 160 13600 95200 | 2147483647 40828 48 | 0.004 % |
11.36/11.48 c | 46767 | 160 13600 95200 | 2147483647 41277 48 | 0.004 % |
11.67/11.73 c | 47261 | 160 13600 95200 | 2147483647 41771 48 | 0.004 % |
11.87/11.99 c | 47804 | 160 13600 95200 | 2147483647 42314 48 | 0.004 % |
12.17/12.25 c | 48401 | 160 13600 95200 | 2147483647 42911 48 | 0.004 % |
12.47/12.56 c | 49056 | 160 13600 95200 | 2147483647 43566 48 | 0.004 % |
12.57/12.62 c | 49157 | 160 13600 95200 | 2147483647 43667 48 | 0.004 % |
12.57/12.68 c | 49268 | 160 13600 95200 | 2147483647 43778 48 | 0.004 % |
12.67/12.76 c | 49390 | 160 13600 95200 | 2147483647 43900 48 | 0.004 % |
12.77/12.84 c | 49523 | 160 13600 95200 | 2147483647 44033 48 | 0.004 % |
12.87/12.94 c | 49670 | 160 13600 95200 | 2147483647 44180 48 | 0.004 % |
12.97/13.03 c | 49830 | 160 13600 95200 | 2147483647 44340 48 | 0.004 % |
13.07/13.12 c | 50008 | 160 13600 95200 | 2147483647 44518 48 | 0.004 % |
13.17/13.25 c | 50203 | 160 13600 95200 | 2147483647 44713 48 | 0.004 % |
13.27/13.37 c | 50416 | 160 13600 95200 | 2147483647 44926 48 | 0.004 % |
13.46/13.51 c | 50651 | 160 13600 95200 | 2147483647 45161 48 | 0.004 % |
13.56/13.64 c | 50909 | 160 13600 95200 | 2147483647 45419 48 | 0.004 % |
13.66/13.79 c | 51190 | 160 13600 95200 | 2147483647 45700 48 | 0.004 % |
13.86/13.95 c | 51499 | 160 13600 95200 | 2147483647 46009 48 | 0.004 % |
14.06/14.12 c | 51838 | 160 13600 95200 | 2147483647 46348 48 | 0.004 % |
14.27/14.30 c | 52211 | 160 13600 95200 | 2147483647 46721 48 | 0.004 % |
14.46/14.50 c | 52620 | 160 13600 95200 | 2147483647 47130 48 | 0.004 % |
14.66/14.75 c | 53070 | 160 13600 95200 | 2147483647 47580 48 | 0.004 % |
14.96/15.05 c | 53563 | 160 13600 95200 | 2147483647 48073 48 | 0.004 % |
15.26/15.37 c | 54106 | 160 13600 95200 | 2147483647 48616 48 | 0.004 % |
15.56/15.69 c | 54705 | 160 13600 95200 | 2147483647 49215 48 | 0.004 % |
15.96/16.03 c | 55361 | 160 13600 95200 | 2147483647 49871 48 | 0.004 % |
16.36/16.41 c | 56081 | 160 13600 95200 | 2147483647 50591 48 | 0.004 % |
16.36/16.48 c | 56181 | 160 13600 95200 | 2147483647 50691 48 | 0.004 % |
16.46/16.56 c | 56292 | 160 13600 95200 | 2147483647 50802 48 | 0.004 % |
16.56/16.65 c | 56415 | 160 13600 95200 | 2147483647 50925 48 | 0.004 % |
16.66/16.73 c | 56548 | 160 13600 95200 | 2147483647 51058 48 | 0.004 % |
16.76/16.83 c | 56694 | 160 13600 95200 | 2147483647 51204 48 | 0.004 % |
16.86/16.93 c | 56856 | 160 13600 95200 | 2147483647 51366 48 | 0.004 % |
16.96/17.03 c | 57033 | 160 13600 95200 | 2147483647 51543 48 | 0.004 % |
17.06/17.16 c | 57228 | 160 13600 95200 | 2147483647 51738 48 | 0.004 % |
17.16/17.29 c | 57441 | 160 13600 95200 | 2147483647 51951 48 | 0.004 % |
17.36/17.42 c | 57674 | 160 13600 95200 | 2147483647 52184 48 | 0.004 % |
17.46/17.57 c | 57932 | 160 13600 95200 | 2147483647 52442 48 | 0.004 % |
17.66/17.74 c | 58214 | 160 13600 95200 | 2147483647 52724 48 | 0.004 % |
17.86/17.93 c | 58523 | 160 13600 95200 | 2147483647 53033 48 | 0.004 % |
18.06/18.17 c | 58862 | 160 13600 95200 | 2147483647 53372 48 | 0.004 % |
18.37/18.43 c | 59235 | 160 13600 95200 | 2147483647 53745 48 | 0.004 % |
18.57/18.70 c | 59645 | 160 13600 95200 | 2147483647 54155 48 | 0.004 % |
18.86/18.98 c | 60094 | 160 13600 95200 | 2147483647 54604 48 | 0.004 % |
19.26/19.33 c | 60587 | 160 13600 95200 | 2147483647 55097 48 | 0.004 % |
19.56/19.69 c | 61130 | 160 13600 95200 | 2147483647 55640 48 | 0.004 % |
19.96/20.06 c | 61726 | 160 13600 95200 | 2147483647 56236 48 | 0.004 % |
20.36/20.48 c | 62382 | 160 13600 95200 | 2147483647 56892 48 | 0.004 % |
20.86/20.92 c | 63102 | 160 13600 95200 | 2147483647 57612 48 | 0.004 % |
21.36/21.41 c | 63894 | 160 13600 95200 | 2147483647 58404 48 | 0.004 % |
21.36/21.47 c | 63995 | 160 13600 95200 | 2147483647 58505 48 | 0.004 % |
21.46/21.54 c | 64106 | 160 13600 95200 | 2147483647 58616 48 | 0.004 % |
21.56/21.61 c | 64227 | 160 13600 95200 | 2147483647 58737 48 | 0.004 % |
21.56/21.69 c | 64360 | 160 13600 95200 | 2147483647 58870 48 | 0.004 % |
21.66/21.79 c | 64508 | 160 13600 95200 | 2147483647 59018 48 | 0.004 % |
21.86/21.94 c | 64668 | 160 13600 95200 | 2147483647 59178 48 | 0.004 % |
21.96/22.07 c | 64846 | 160 13600 95200 | 2147483647 59356 48 | 0.004 % |
22.16/22.21 c | 65041 | 160 13600 95200 | 2147483647 59551 48 | 0.004 % |
22.26/22.38 c | 65255 | 160 13600 95200 | 2147483647 59765 48 | 0.004 % |
22.46/22.55 c | 65488 | 160 13600 95200 | 2147483647 59998 48 | 0.004 % |
22.66/22.71 c | 65745 | 160 13600 95200 | 2147483647 60255 48 | 0.004 % |
22.76/22.89 c | 66028 | 160 13600 95200 | 2147483647 60538 48 | 0.004 % |
23.06/23.19 c | 66337 | 160 13600 95200 | 2147483647 60847 48 | 0.004 % |
23.36/23.44 c | 66677 | 160 13600 95200 | 2147483647 61187 48 | 0.004 % |
23.66/23.72 c | 67052 | 160 13600 95200 | 2147483647 61562 48 | 0.004 % |
23.95/24.05 c | 67461 | 160 13600 95200 | 2147483647 61971 48 | 0.004 % |
24.35/24.42 c | 67911 | 160 13600 95200 | 2147483647 62421 48 | 0.004 % |
24.65/24.80 c | 68404 | 160 13600 95200 | 2147483647 62914 48 | 0.004 % |
25.05/25.20 c | 68946 | 160 13600 95200 | 2147483647 63456 48 | 0.004 % |
25.55/25.62 c | 69546 | 160 13600 95200 | 2147483647 64056 48 | 0.004 % |
26.05/26.18 c | 70201 | 160 13600 95200 | 64512 57133 48 | 0.004 % |
26.65/26.72 c | 70921 | 160 13600 95200 | 64512 57853 48 | 0.004 % |
27.15/27.28 c | 71714 | 160 13600 95200 | 64512 58646 48 | 0.004 % |
27.75/27.89 c | 72585 | 160 13600 95200 | 64512 59517 48 | 0.004 % |
27.85/27.98 c | 72685 | 160 13600 95200 | 64512 59617 48 | 0.004 % |
27.95/28.07 c | 72796 | 160 13600 95200 | 64512 59728 48 | 0.004 % |
28.05/28.16 c | 72919 | 160 13600 95200 | 64512 59851 48 | 0.004 % |
28.15/28.25 c | 73053 | 160 13600 95200 | 64512 59985 48 | 0.004 % |
28.25/28.37 c | 73199 | 160 13600 95200 | 64512 60131 48 | 0.004 % |
28.45/28.51 c | 73359 | 160 13600 95200 | 64512 60291 48 | 0.004 % |
28.55/28.66 c | 73535 | 160 13600 95200 | 64512 60467 48 | 0.004 % |
28.75/28.81 c | 73728 | 160 13600 95200 | 64512 60660 48 | 0.004 % |
28.85/28.98 c | 73942 | 160 13600 95200 | 64512 60874 48 | 0.004 % |
29.06/29.19 c | 74177 | 160 13600 95200 | 64512 61109 48 | 0.004 % |
29.26/29.39 c | 74436 | 160 13600 95200 | 64512 61368 48 | 0.004 % |
29.46/29.59 c | 74718 | 160 13600 95200 | 64512 61650 48 | 0.004 % |
29.66/29.80 c | 75029 | 160 13600 95200 | 64512 61961 48 | 0.004 % |
29.95/30.08 c | 75368 | 160 13600 95200 | 64512 62300 48 | 0.004 % |
30.25/30.38 c | 75742 | 160 13600 95200 | 64512 62674 48 | 0.004 % |
30.55/30.70 c | 76151 | 160 13600 95200 | 64512 63083 48 | 0.004 % |
30.95/31.03 c | 76603 | 160 13600 95200 | 64512 63535 48 | 0.004 % |
31.25/31.38 c | 77097 | 160 13600 95200 | 64512 64029 48 | 0.004 % |
31.76/31.83 c | 77639 | 160 13600 95200 | 64512 64571 48 | 0.004 % |
32.15/32.30 c | 78235 | 160 13600 95200 | 64512 55984 48 | 0.004 % |
32.65/32.74 c | 78892 | 160 13600 95200 | 64512 56641 48 | 0.004 % |
33.05/33.16 c | 79613 | 160 13600 95200 | 64512 57362 48 | 0.004 % |
33.65/33.70 c | 80405 | 160 13600 95200 | 57750 50148 48 | 0.004 % |
34.15/34.24 c | 81278 | 160 13600 95200 | 57750 51021 48 | 0.004 % |
34.65/34.73 c | 82237 | 160 13600 95200 | 57750 51980 48 | 0.004 % |
34.65/34.79 c | 82337 | 160 13600 95200 | 57750 52080 48 | 0.004 % |
34.75/34.87 c | 82448 | 160 13600 95200 | 57750 52191 48 | 0.004 % |
34.85/34.95 c | 82569 | 160 13600 95200 | 57750 52312 48 | 0.004 % |
34.95/35.05 c | 82703 | 160 13600 95200 | 57750 52446 48 | 0.004 % |
35.05/35.16 c | 82849 | 160 13600 95200 | 57750 52592 48 | 0.004 % |
35.15/35.26 c | 83009 | 160 13600 95200 | 57750 52752 48 | 0.004 % |
35.25/35.39 c | 83185 | 160 13600 95200 | 57750 52928 48 | 0.004 % |
35.45/35.51 c | 83379 | 160 13600 95200 | 57750 53122 48 | 0.004 % |
35.55/35.66 c | 83592 | 160 13600 95200 | 57750 53335 48 | 0.004 % |
35.75/35.84 c | 83828 | 160 13600 95200 | 57750 53571 48 | 0.004 % |
35.95/36.03 c | 84084 | 160 13600 95200 | 57750 53827 48 | 0.004 % |
36.15/36.21 c | 84365 | 160 13600 95200 | 57750 54108 48 | 0.004 % |
36.25/36.40 c | 84676 | 160 13600 95200 | 57750 54419 48 | 0.004 % |
36.55/36.61 c | 85018 | 160 13600 95200 | 57750 54761 48 | 0.004 % |
36.75/36.88 c | 85392 | 160 13600 95200 | 57750 55135 48 | 0.004 % |
37.05/37.13 c | 85803 | 160 13600 95200 | 57750 55546 48 | 0.004 % |
37.35/37.43 c | 86252 | 160 13600 95200 | 57750 55995 48 | 0.004 % |
37.65/37.74 c | 86746 | 160 13600 95200 | 57750 56489 48 | 0.004 % |
38.05/38.11 c | 87289 | 160 13600 95200 | 57750 57032 48 | 0.004 % |
38.45/38.52 c | 87885 | 160 13600 95200 | 57750 57628 49 | 0.004 % |
38.85/38.92 c | 88541 | 160 13600 95200 | 57750 51656 48 | 0.004 % |
39.25/39.38 c | 89261 | 160 13600 95200 | 57750 52376 48 | 0.004 % |
39.75/39.82 c | 90053 | 160 13600 95200 | 53117 53168 48 | 0.004 % |
40.25/40.39 c | 90924 | 160 13600 95200 | 53117 48164 49 | 0.004 % |
40.84/40.94 c | 91883 | 160 13600 95200 | 53117 49123 49 | 0.004 % |
41.44/41.54 c | 92936 | 160 13600 95200 | 53117 50176 49 | 0.004 % |
41.54/41.60 c | 93038 | 160 13600 95200 | 53117 50278 49 | 0.004 % |
41.54/41.68 c | 93149 | 160 13600 95200 | 53117 50389 49 | 0.004 % |
41.65/41.77 c | 93271 | 160 13600 95200 | 53117 50511 49 | 0.004 % |
41.75/41.84 c | 93405 | 160 13600 95200 | 53117 50645 49 | 0.004 % |
41.84/41.94 c | 93551 | 160 13600 95200 | 53117 50791 49 | 0.004 % |
41.94/42.06 c | 93711 | 160 13600 95200 | 53117 50951 49 | 0.004 % |
42.04/42.17 c | 93889 | 160 13600 95200 | 53117 51129 49 | 0.004 % |
42.14/42.29 c | 94083 | 160 13600 95200 | 53117 51323 49 | 0.004 % |
42.34/42.45 c | 94295 | 160 13600 95200 | 53117 51535 49 | 0.004 % |
42.54/42.60 c | 94530 | 160 13600 95200 | 53117 51770 49 | 0.004 % |
42.75/42.80 c | 94787 | 160 13600 95200 | 53117 52027 49 | 0.004 % |
42.85/42.98 c | 95070 | 160 13600 95200 | 53117 52310 49 | 0.004 % |
43.04/43.19 c | 95380 | 160 13600 95200 | 53117 52620 49 | 0.004 % |
43.24/43.38 c | 95721 | 160 13600 95200 | 53117 52961 49 | 0.004 % |
43.54/43.65 c | 96093 | 160 13600 95200 | 53117 48014 49 | 0.004 % |
43.84/43.91 c | 96502 | 160 13600 95200 | 53117 48423 49 | 0.004 % |
44.04/44.19 c | 96952 | 160 13600 95200 | 53117 48873 49 | 0.004 % |
44.34/44.49 c | 97447 | 160 13600 95200 | 53117 49368 49 | 0.004 % |
44.64/44.79 c | 97989 | 160 13600 95200 | 53117 49910 49 | 0.004 % |
45.04/45.11 c | 98585 | 160 13600 95200 | 53117 50506 49 | 0.004 % |
45.44/45.54 c | 99240 | 160 13600 95200 | 53117 51161 49 | 0.004 % |
45.84/45.94 c | 99961 | 160 13600 95200 | 53117 51882 49 | 0.004 % |
46.34/46.45 c | 100753 | 160 13600 95200 | 2147483647 52674 49 | 0.004 % |
46.84/46.93 c | 101625 | 160 13600 95200 | 2147483647 53546 49 | 0.004 % |
47.34/47.45 c | 102585 | 160 13600 95200 | 2147483647 54506 49 | 0.004 % |
48.14/48.20 c | 103640 | 160 13600 95200 | 2147483647 55561 49 | 0.004 % |
48.84/48.99 c | 104800 | 160 13600 95200 | 2147483647 56721 49 | 0.004 % |
48.94/49.05 c | 104900 | 160 13600 95200 | 2147483647 56821 49 | 0.004 % |
49.04/49.12 c | 105012 | 160 13600 95200 | 2147483647 56933 49 | 0.004 % |
49.14/49.23 c | 105133 | 160 13600 95200 | 2147483647 57054 49 | 0.004 % |
49.24/49.35 c | 105266 | 160 13600 95200 | 2147483647 57187 49 | 0.004 % |
49.34/49.46 c | 105416 | 160 13600 95200 | 2147483647 57337 49 | 0.004 % |
49.44/49.59 c | 105577 | 160 13600 95200 | 2147483647 57498 49 | 0.004 % |
49.64/49.74 c | 105753 | 160 13600 95200 | 2147483647 57674 49 | 0.004 % |
49.74/49.88 c | 105946 | 160 13600 95200 | 2147483647 57867 49 | 0.004 % |
49.94/50.03 c | 106158 | 160 13600 95200 | 2147483647 58079 49 | 0.004 % |
50.14/50.20 c | 106394 | 160 13600 95200 | 2147483647 58315 49 | 0.004 % |
50.24/50.36 c | 106650 | 160 13600 95200 | 2147483647 58571 49 | 0.004 % |
50.44/50.57 c | 106931 | 160 13600 95200 | 2147483647 58852 49 | 0.004 % |
50.64/50.79 c | 107242 | 160 13600 95200 | 2147483647 59163 49 | 0.004 % |
50.94/51.02 c | 107581 | 160 13600 95200 | 2147483647 59502 49 | 0.004 % |
51.24/51.31 c | 107954 | 160 13600 95200 | 2147483647 59875 49 | 0.004 % |
51.54/51.61 c | 108364 | 160 13600 95200 | 2147483647 60285 49 | 0.004 % |
51.83/51.96 c | 108813 | 160 13600 95200 | 2147483647 60734 49 | 0.004 % |
52.23/52.33 c | 109308 | 160 13600 95200 | 2147483647 61229 49 | 0.004 % |
52.64/52.71 c | 109850 | 160 13600 95200 | 2147483647 61771 49 | 0.004 % |
53.03/53.16 c | 110447 | 160 13600 95200 | 61923 54900 49 | 0.004 % |
53.43/53.56 c | 111103 | 160 13600 95200 | 61923 55556 49 | 0.004 % |
53.93/54.03 c | 111823 | 160 13600 95200 | 61923 56276 49 | 0.004 % |
54.43/54.50 c | 112616 | 160 13600 95200 | 61923 57069 49 | 0.004 % |
54.94/55.10 c | 113487 | 160 13600 95200 | 61923 57940 49 | 0.004 % |
55.53/55.67 c | 114446 | 160 13600 95200 | 61923 58899 49 | 0.004 % |
56.23/56.33 c | 115499 | 160 13600 95200 | 61923 59952 49 | 0.004 % |
56.93/57.06 c | 116657 | 160 13600 95200 | 61923 61110 49 | 0.004 % |
57.83/57.92 c | 117932 | 160 13600 95200 | 61923 55463 49 | 0.004 % |
57.83/57.99 c | 118032 | 160 13600 95200 | 61923 55563 49 | 0.004 % |
57.93/58.09 c | 118142 | 160 13600 95200 | 61923 55673 49 | 0.004 % |
58.03/58.18 c | 118263 | 160 13600 95200 | 61923 55794 49 | 0.004 % |
58.13/58.28 c | 118396 | 160 13600 95200 | 61923 55927 49 | 0.004 % |
58.23/58.36 c | 118542 | 160 13600 95200 | 61923 56073 49 | 0.004 % |
58.33/58.49 c | 118702 | 160 13600 95200 | 61923 56233 49 | 0.004 % |
58.53/58.61 c | 118878 | 160 13600 95200 | 61923 56409 49 | 0.004 % |
58.63/58.74 c | 119073 | 160 13600 95200 | 61923 56604 49 | 0.004 % |
58.73/58.90 c | 119285 | 160 13600 95200 | 61923 56816 49 | 0.004 % |
58.93/59.06 c | 119519 | 160 13600 95200 | 61923 57050 49 | 0.004 % |
59.13/59.25 c | 119776 | 160 13600 95200 | 61923 57307 49 | 0.004 % |
59.33/59.47 c | 120060 | 160 13600 95200 | 57532 57591 49 | 0.004 % |
59.63/59.72 c | 120370 | 160 13600 95200 | 57532 51264 49 | 0.004 % |
59.83/59.91 c | 120710 | 160 13600 95200 | 57532 51604 49 | 0.004 % |
60.03/60.13 c | 121083 | 160 13600 95200 | 57532 51977 49 | 0.004 % |
60.23/60.39 c | 121492 | 160 13600 95200 | 57532 52386 49 | 0.004 % |
60.53/60.68 c | 121943 | 160 13600 95200 | 57532 52837 49 | 0.004 % |
60.93/61.01 c | 122436 | 160 13600 95200 | 57532 53330 49 | 0.004 % |
61.23/61.35 c | 122979 | 160 13600 95200 | 57532 53873 49 | 0.004 % |
61.63/61.76 c | 123576 | 160 13600 95200 | 57532 54470 49 | 0.004 % |
62.13/62.21 c | 124231 | 160 13600 95200 | 57532 55125 49 | 0.004 % |
62.53/62.67 c | 124951 | 160 13600 95200 | 57532 55845 49 | 0.004 % |
63.03/63.18 c | 125744 | 160 13600 95200 | 57532 56638 49 | 0.004 % |
63.63/63.73 c | 126618 | 160 13600 95200 | 57532 57512 49 | 0.004 % |
64.23/64.33 c | 127576 | 160 13600 95200 | 57532 52579 49 | 0.004 % |
64.93/65.00 c | 128629 | 160 13600 95200 | 57532 53632 49 | 0.004 % |
65.63/65.72 c | 129788 | 160 13600 95200 | 57532 54791 49 | 0.004 % |
66.42/66.50 c | 131061 | 160 13600 95200 | 2147483647 56064 49 | 0.004 % |
67.32/67.48 c | 132462 | 160 13600 95200 | 2147483647 57465 49 | 0.004 % |
67.42/67.55 c | 132562 | 160 13600 95200 | 2147483647 57565 49 | 0.004 % |
67.52/67.65 c | 132672 | 160 13600 95200 | 2147483647 57675 49 | 0.004 % |
67.62/67.75 c | 132793 | 160 13600 95200 | 2147483647 57796 49 | 0.004 % |
67.72/67.85 c | 132926 | 160 13600 95200 | 2147483647 57929 49 | 0.004 % |
67.82/67.94 c | 133072 | 160 13600 95200 | 2147483647 58075 49 | 0.004 % |
67.92/68.08 c | 133233 | 160 13600 95200 | 2147483647 58236 49 | 0.004 % |
68.13/68.22 c | 133411 | 160 13600 95200 | 2147483647 58414 49 | 0.004 % |
68.22/68.37 c | 133604 | 160 13600 95200 | 2147483647 58607 49 | 0.004 % |
68.42/68.52 c | 133818 | 160 13600 95200 | 2147483647 58821 49 | 0.004 % |
68.52/68.66 c | 134052 | 160 13600 95200 | 2147483647 59055 49 | 0.004 % |
68.72/68.87 c | 134308 | 160 13600 95200 | 2147483647 59311 49 | 0.004 % |
68.92/69.09 c | 134589 | 160 13600 95200 | 2147483647 59592 49 | 0.004 % |
69.22/69.32 c | 134898 | 160 13600 95200 | 2147483647 59901 49 | 0.004 % |
69.42/69.57 c | 135237 | 160 13600 95200 | 2147483647 60240 49 | 0.004 % |
69.72/69.85 c | 135612 | 160 13600 95200 | 2147483647 60615 49 | 0.004 % |
70.02/70.14 c | 136022 | 160 13600 95200 | 2147483647 61025 49 | 0.004 % |
70.42/70.53 c | 136471 | 160 13600 95200 | 2147483647 61474 49 | 0.004 % |
70.82/70.92 c | 136966 | 160 13600 95200 | 2147483647 61969 49 | 0.004 % |
71.22/71.33 c | 137509 | 160 13600 95200 | 2147483647 62512 49 | 0.004 % |
71.72/71.81 c | 138106 | 160 13600 95200 | 2147483647 63109 49 | 0.004 % |
72.12/72.28 c | 138762 | 160 13600 95200 | 2147483647 63765 49 | 0.004 % |
72.62/72.79 c | 139483 | 160 13600 95200 | 2147483647 64486 49 | 0.004 % |
73.32/73.41 c | 140275 | 160 13600 95200 | 65004 56424 49 | 0.004 % |
73.82/73.94 c | 141146 | 160 13600 95200 | 65004 57295 49 | 0.004 % |
74.42/74.56 c | 142105 | 160 13600 95200 | 65004 58254 49 | 0.004 % |
75.12/75.22 c | 143159 | 160 13600 95200 | 65004 59308 49 | 0.004 % |
75.82/75.91 c | 144320 | 160 13600 95200 | 65004 60469 49 | 0.004 % |
76.62/76.73 c | 145593 | 160 13600 95200 | 65004 61742 49 | 0.004 % |
77.62/77.77 c | 146996 | 160 13600 95200 | 65004 63145 49 | 0.004 % |
78.72/78.84 c | 148536 | 160 13600 95200 | 65004 64685 49 | 0.004 % |
78.82/78.93 c | 148636 | 160 13600 95200 | 65004 64785 49 | 0.004 % |
78.92/79.02 c | 148747 | 160 13600 95200 | 65004 64896 49 | 0.004 % |
79.02/79.11 c | 148871 | 160 13600 95200 | 65004 65020 49 | 0.004 % |
79.12/79.26 c | 149004 | 160 13600 95200 | 65004 56526 49 | 0.004 % |
79.31/79.41 c | 149151 | 160 13600 95200 | 65004 56673 49 | 0.004 % |
79.41/79.53 c | 149312 | 160 13600 95200 | 65004 56834 49 | 0.004 % |
79.51/79.66 c | 149492 | 160 13600 95200 | 65004 57014 49 | 0.004 % |
79.61/79.80 c | 149686 | 160 13600 95200 | 65004 57208 49 | 0.004 % |
79.81/79.94 c | 149898 | 160 13600 95200 | 65004 57420 49 | 0.004 % |
80.01/80.16 c | 150131 | 160 13600 95200 | 57524 49965 49 | 0.004 % |
80.22/80.32 c | 150387 | 160 13600 95200 | 57524 50221 49 | 0.004 % |
80.31/80.47 c | 150668 | 160 13600 95200 | 57524 50502 49 | 0.004 % |
80.51/80.62 c | 150977 | 160 13600 95200 | 57524 50811 49 | 0.004 % |
80.71/80.81 c | 151317 | 160 13600 95200 | 57524 51151 49 | 0.004 % |
80.91/81.04 c | 151689 | 160 13600 95200 | 57524 51523 49 | 0.004 % |
81.11/81.28 c | 152098 | 160 13600 95200 | 57524 51932 49 | 0.004 % |
81.51/81.61 c | 152548 | 160 13600 95200 | 57524 52382 49 | 0.004 % |
81.81/81.97 c | 153046 | 160 13600 95200 | 57524 52880 49 | 0.004 % |
82.21/82.36 c | 153588 | 160 13600 95200 | 57524 53422 49 | 0.004 % |
82.61/82.73 c | 154186 | 160 13600 95200 | 57524 54020 49 | 0.004 % |
83.01/83.15 c | 154842 | 160 13600 95200 | 57524 54676 49 | 0.004 % |
83.52/83.61 c | 155565 | 160 13600 95200 | 57524 55399 49 | 0.004 % |
84.01/84.14 c | 156357 | 160 13600 95200 | 57524 56191 49 | 0.004 % |
84.52/84.70 c | 157229 | 160 13600 95200 | 57524 57063 49 | 0.004 % |
85.21/85.38 c | 158187 | 160 13600 95200 | 57524 51652 49 | 0.004 % |
85.81/85.94 c | 159240 | 160 13600 95200 | 57524 52705 49 | 0.004 % |
86.41/86.58 c | 160398 | 160 13600 95200 | 53466 48407 49 | 0.004 % |
87.11/87.27 c | 161671 | 160 13600 95200 | 53466 49680 49 | 0.004 % |
87.92/88.04 c | 163072 | 160 13600 95200 | 53466 51081 49 | 0.004 % |
89.02/89.11 c | 164612 | 160 13600 95200 | 53466 52621 49 | 0.004 % |
90.02/90.16 c | 166306 | 160 13600 95200 | 53466 48961 49 | 0.004 % |
90.12/90.22 c | 166407 | 160 13600 95200 | 53466 49062 49 | 0.004 % |
90.12/90.29 c | 166517 | 160 13600 95200 | 53466 49172 49 | 0.004 % |
90.21/90.39 c | 166638 | 160 13600 95200 | 53466 49293 49 | 0.004 % |
90.31/90.49 c | 166772 | 160 13600 95200 | 53466 49427 49 | 0.004 % |
90.41/90.58 c | 166922 | 160 13600 95200 | 53466 49577 49 | 0.004 % |
90.51/90.68 c | 167082 | 160 13600 95200 | 53466 49737 49 | 0.004 % |
90.71/90.83 c | 167260 | 160 13600 95200 | 53466 49915 49 | 0.004 % |
90.81/90.96 c | 167453 | 160 13600 95200 | 53466 50108 49 | 0.004 % |
91.01/91.11 c | 167665 | 160 13600 95200 | 53466 50320 49 | 0.004 % |
91.11/91.23 c | 167898 | 160 13600 95200 | 53466 50553 49 | 0.004 % |
91.21/91.38 c | 168155 | 160 13600 95200 | 53466 50810 49 | 0.004 % |
91.41/91.54 c | 168436 | 160 13600 95200 | 53466 51091 49 | 0.004 % |
91.61/91.72 c | 168746 | 160 13600 95200 | 53466 51401 49 | 0.004 % |
91.81/91.91 c | 169087 | 160 13600 95200 | 53466 51742 49 | 0.004 % |
92.11/92.21 c | 169459 | 160 13600 95200 | 53466 52114 49 | 0.004 % |
92.31/92.45 c | 169868 | 160 13600 95200 | 53466 52523 49 | 0.004 % |
92.61/92.73 c | 170317 | 160 13600 95200 | 2147483647 52972 49 | 0.004 % |
92.91/93.04 c | 170811 | 160 13600 95200 | 2147483647 53466 49 | 0.004 % |
93.21/93.38 c | 171355 | 160 13600 95200 | 2147483647 54010 49 | 0.004 % |
93.61/93.77 c | 171952 | 160 13600 95200 | 2147483647 54607 49 | 0.004 % |
94.01/94.18 c | 172607 | 160 13600 95200 | 2147483647 55262 49 | 0.004 % |
94.41/94.60 c | 173327 | 160 13600 95200 | 2147483647 55982 49 | 0.004 % |
94.91/95.04 c | 174120 | 160 13600 95200 | 2147483647 56775 49 | 0.004 % |
95.41/95.57 c | 174992 | 160 13600 95200 | 2147483647 57647 49 | 0.004 % |
96.01/96.13 c | 175951 | 160 13600 95200 | 2147483647 58606 49 | 0.004 % |
96.61/96.78 c | 177004 | 160 13600 95200 | 2147483647 59659 49 | 0.004 % |
97.51/97.69 c | 178162 | 160 13600 95200 | 2147483647 60817 49 | 0.004 % |
98.41/98.57 c | 179436 | 160 13600 95200 | 2147483647 62091 49 | 0.004 % |
99.41/99.52 c | 180836 | 160 13600 95200 | 62655 56849 49 | 0.004 % |
100.30/100.49 c | 182376 | 160 13600 95200 | 62655 58389 49 | 0.004 % |
101.40/101.60 c | 184071 | 160 13600 95200 | 62655 60084 49 | 0.004 % |
102.90/103.00 c | 185934 | 160 13600 95200 | 62655 61947 49 | 0.004 % |
102.90/103.08 c | 186034 | 160 13600 95200 | 62655 62047 49 | 0.004 % |
103.00/103.16 c | 186146 | 160 13600 95200 | 62655 62159 49 | 0.004 % |
103.10/103.26 c | 186267 | 160 13600 95200 | 62655 62280 49 | 0.004 % |
103.21/103.36 c | 186400 | 160 13600 95200 | 62655 62413 49 | 0.004 % |
103.31/103.47 c | 186548 | 160 13600 95200 | 62655 62561 49 | 0.004 % |
103.50/103.61 c | 186710 | 160 13600 95200 | 62655 62723 49 | 0.004 % |
103.60/103.78 c | 186886 | 160 13600 95200 | 62655 55425 49 | 0.004 % |
103.80/103.92 c | 187079 | 160 13600 95200 | 62655 55618 49 | 0.004 % |
103.90/104.09 c | 187293 | 160 13600 95200 | 62655 55832 49 | 0.004 % |
104.10/104.28 c | 187527 | 160 13600 95200 | 62655 56066 49 | 0.004 % |
104.31/104.47 c | 187784 | 160 13600 95200 | 62655 56323 49 | 0.004 % |
104.50/104.66 c | 188065 | 160 13600 95200 | 62655 56604 49 | 0.004 % |
104.80/104.91 c | 188374 | 160 13600 95200 | 62655 56913 49 | 0.004 % |
105.00/105.15 c | 188713 | 160 13600 95200 | 62655 57252 49 | 0.004 % |
105.30/105.42 c | 189086 | 160 13600 95200 | 62655 57625 49 | 0.004 % |
105.60/105.72 c | 189495 | 160 13600 95200 | 62655 58034 49 | 0.004 % |
105.90/106.05 c | 189945 | 160 13600 95200 | 62655 58484 49 | 0.004 % |
106.20/106.37 c | 190438 | 160 13600 95200 | 58539 51743 49 | 0.004 % |
106.51/106.67 c | 190981 | 160 13600 95200 | 58539 52286 49 | 0.004 % |
106.90/107.05 c | 191577 | 160 13600 95200 | 58539 52882 49 | 0.004 % |
107.30/107.47 c | 192233 | 160 13600 95200 | 58539 53538 49 | 0.004 % |
107.80/107.93 c | 192954 | 160 13600 95200 | 58539 54259 49 | 0.004 % |
108.20/108.39 c | 193747 | 160 13600 95200 | 58539 55052 49 | 0.004 % |
108.70/108.87 c | 194620 | 160 13600 95200 | 58539 55925 49 | 0.004 % |
109.30/109.46 c | 195578 | 160 13600 95200 | 58539 56883 49 | 0.004 % |
110.10/110.22 c | 196631 | 160 13600 95200 | 58539 57936 49 | 0.004 % |
110.90/111.00 c | 197789 | 160 13600 95200 | 58539 52835 49 | 0.004 % |
111.60/111.74 c | 199062 | 160 13600 95200 | 58539 54108 49 | 0.004 % |
112.60/112.71 c | 200462 | 160 13600 95200 | 55046 49744 49 | 0.004 % |
113.50/113.60 c | 202005 | 160 13600 95200 | 55046 51287 49 | 0.004 % |
114.50/114.64 c | 203699 | 160 13600 95200 | 55046 52981 49 | 0.004 % |
115.60/115.78 c | 205562 | 160 13600 95200 | 55046 54844 49 | 0.004 % |
116.90/117.02 c | 207613 | 160 13600 95200 | 55046 51383 49 | 0.004 % |
116.90/117.09 c | 207713 | 160 13600 95200 | 55046 51483 49 | 0.004 % |
117.00/117.17 c | 207823 | 160 13600 95200 | 55046 51593 49 | 0.004 % |
117.10/117.25 c | 207944 | 160 13600 95200 | 55046 51714 49 | 0.004 % |
117.20/117.34 c | 208078 | 160 13600 95200 | 55046 51848 49 | 0.004 % |
117.30/117.47 c | 208225 | 160 13600 95200 | 55046 51995 49 | 0.004 % |
117.40/117.58 c | 208386 | 160 13600 95200 | 55046 52156 49 | 0.004 % |
117.60/117.71 c | 208564 | 160 13600 95200 | 55046 52334 49 | 0.004 % |
117.69/117.84 c | 208758 | 160 13600 95200 | 55046 52528 49 | 0.004 % |
117.79/117.98 c | 208970 | 160 13600 95200 | 55046 52740 49 | 0.004 % |
117.99/118.14 c | 209203 | 160 13600 95200 | 55046 52973 49 | 0.004 % |
118.19/118.31 c | 209459 | 160 13600 95200 | 55046 53229 49 | 0.004 % |
118.29/118.49 c | 209742 | 160 13600 95200 | 55046 53512 49 | 0.004 % |
118.49/118.69 c | 210051 | 160 13600 95200 | 2147483647 53821 49 | 0.004 % |
118.79/118.97 c | 210391 | 160 13600 95200 | 2147483647 54161 49 | 0.004 % |
119.09/119.21 c | 210763 | 160 13600 95200 | 2147483647 54533 49 | 0.004 % |
119.29/119.48 c | 211172 | 160 13600 95200 | 2147483647 54942 49 | 0.004 % |
119.59/119.76 c | 211621 | 160 13600 95200 | 2147483647 55391 49 | 0.004 % |
119.89/120.06 c | 212114 | 160 13600 95200 | 2147483647 55884 49 | 0.004 % |
120.19/120.39 c | 212656 | 160 13600 95200 | 2147483647 56426 49 | 0.004 % |
120.59/120.79 c | 213254 | 160 13600 95200 | 2147483647 57024 49 | 0.004 % |
121.09/121.21 c | 213909 | 160 13600 95200 | 2147483647 57679 49 | 0.004 % |
121.49/121.64 c | 214629 | 160 13600 95200 | 2147483647 58399 49 | 0.004 % |
122.00/122.13 c | 215422 | 160 13600 95200 | 2147483647 59192 49 | 0.004 % |
122.49/122.65 c | 216295 | 160 13600 95200 | 2147483647 60065 49 | 0.004 % |
123.10/123.27 c | 217253 | 160 13600 95200 | 2147483647 61023 49 | 0.004 % |
123.79/123.93 c | 218307 | 160 13600 95200 | 2147483647 62077 49 | 0.004 % |
124.49/124.66 c | 219467 | 160 13600 95200 | 2147483647 63237 49 | 0.004 % |
125.29/125.48 c | 220742 | 160 13600 95200 | 63772 57576 49 | 0.004 % |
126.09/126.27 c | 222143 | 160 13600 95200 | 63772 58977 49 | 0.004 % |
126.99/127.17 c | 223683 | 160 13600 95200 | 63772 60517 49 | 0.004 % |
128.09/128.21 c | 225377 | 160 13600 95200 | 63772 62211 49 | 0.004 % |
129.39/129.53 c | 227240 | 160 13600 95200 | 63772 57045 49 | 0.004 % |
130.69/130.84 c | 229289 | 160 13600 95200 | 63772 59094 49 | 0.004 % |
131.89/132.09 c | 231544 | 160 13600 95200 | 59806 54833 49 | 0.004 % |
131.99/132.19 c | 231646 | 160 13600 95200 | 59806 54935 49 | 0.004 % |
132.09/132.26 c | 231756 | 160 13600 95200 | 59806 55045 49 | 0.004 % |
132.19/132.35 c | 231880 | 160 13600 95200 | 59806 55169 49 | 0.004 % |
132.29/132.45 c | 232013 | 160 13600 95200 | 59806 55302 49 | 0.004 % |
132.39/132.56 c | 232159 | 160 13600 95200 | 59806 55448 49 | 0.004 % |
132.49/132.69 c | 232321 | 160 13600 95200 | 59806 55610 49 | 0.004 % |
132.69/132.82 c | 232497 | 160 13600 95200 | 59806 55786 49 | 0.004 % |
132.79/132.95 c | 232691 | 160 13600 95200 | 59806 55980 49 | 0.004 % |
132.89/133.09 c | 232904 | 160 13600 95200 | 59806 56193 49 | 0.004 % |
133.09/133.24 c | 233140 | 160 13600 95200 | 59806 56429 49 | 0.004 % |
133.29/133.40 c | 233397 | 160 13600 95200 | 59806 56686 49 | 0.004 % |
133.39/133.57 c | 233679 | 160 13600 95200 | 59806 56968 49 | 0.004 % |
133.59/133.78 c | 233989 | 160 13600 95200 | 59806 57278 49 | 0.004 % |
133.89/134.02 c | 234328 | 160 13600 95200 | 59806 57617 49 | 0.004 % |
134.09/134.28 c | 234700 | 160 13600 95200 | 59806 57989 49 | 0.004 % |
134.39/134.53 c | 235110 | 160 13600 95200 | 59806 58399 49 | 0.004 % |
134.69/134.82 c | 235561 | 160 13600 95200 | 59806 58850 49 | 0.004 % |
135.09/135.23 c | 236055 | 160 13600 95200 | 59806 59344 49 | 0.004 % |
135.49/135.68 c | 236597 | 160 13600 95200 | 59806 53506 49 | 0.004 % |
135.88/136.07 c | 237193 | 160 13600 95200 | 59806 54102 49 | 0.004 % |
136.29/136.48 c | 237848 | 160 13600 95200 | 59806 54757 49 | 0.004 % |
136.78/136.98 c | 238568 | 160 13600 95200 | 59806 55477 49 | 0.004 % |
137.39/137.53 c | 239360 | 160 13600 95200 | 59806 56269 49 | 0.004 % |
137.98/138.13 c | 240232 | 160 13600 95200 | 56913 50892 49 | 0.004 % |
138.49/138.66 c | 241195 | 160 13600 95200 | 56913 51855 49 | 0.004 % |
138.98/139.17 c | 242250 | 160 13600 95200 | 56913 52910 49 | 0.004 % |
139.59/139.78 c | 243408 | 160 13600 95200 | 56913 54068 49 | 0.004 % |
140.38/140.50 c | 244681 | 160 13600 95200 | 56913 55341 49 | 0.004 % |
141.18/141.36 c | 246081 | 160 13600 95200 | 56913 56741 49 | 0.004 % |
142.28/142.40 c | 247623 | 160 13600 95200 | 56913 52585 49 | 0.004 % |
143.18/143.36 c | 249319 | 160 13600 95200 | 56913 54281 49 | 0.004 % |
144.28/144.44 c | 251182 | 160 13600 95200 | 2147483647 56144 49 | 0.004 % |
145.58/145.70 c | 253231 | 160 13600 95200 | 2147483647 58193 49 | 0.004 % |
146.88/147.07 c | 255484 | 160 13600 95200 | 2147483647 60446 49 | 0.004 % |
148.48/148.61 c | 257962 | 160 13600 95200 | 2147483647 62924 49 | 0.004 % |
148.48/148.68 c | 258063 | 160 13600 95200 | 2147483647 63025 49 | 0.004 % |
148.58/148.79 c | 258174 | 160 13600 95200 | 2147483647 63136 49 | 0.004 % |
148.68/148.89 c | 258295 | 160 13600 95200 | 2147483647 63257 49 | 0.004 % |
148.88/149.01 c | 258428 | 160 13600 95200 | 2147483647 63390 49 | 0.004 % |
148.98/149.12 c | 258575 | 160 13600 95200 | 2147483647 63537 49 | 0.004 % |
149.08/149.26 c | 258736 | 160 13600 95200 | 2147483647 63698 49 | 0.004 % |
149.28/149.42 c | 258912 | 160 13600 95200 | 2147483647 63874 49 | 0.004 % |
149.38/149.57 c | 259106 | 160 13600 95200 | 2147483647 64068 49 | 0.004 % |
149.58/149.74 c | 259318 | 160 13600 95200 | 2147483647 64280 49 | 0.004 % |
149.78/149.93 c | 259551 | 160 13600 95200 | 2147483647 64513 49 | 0.004 % |
149.98/150.14 c | 259808 | 160 13600 95200 | 2147483647 64770 49 | 0.004 % |
150.29/150.41 c | 260090 | 160 13600 95200 | 64963 57336 49 | 0.004 % |
150.49/150.64 c | 260399 | 160 13600 95200 | 64963 57645 49 | 0.004 % |
150.78/150.90 c | 260741 | 160 13600 95200 | 64963 57987 49 | 0.004 % |
150.98/151.17 c | 261115 | 160 13600 95200 | 64963 58361 49 | 0.004 % |
151.28/151.44 c | 261526 | 160 13600 95200 | 64963 58772 49 | 0.004 % |
151.59/151.79 c | 261976 | 160 13600 95200 | 64963 59222 49 | 0.004 % |
151.98/152.12 c | 262469 | 160 13600 95200 | 64963 59715 49 | 0.004 % |
152.38/152.51 c | 263012 | 160 13600 95200 | 64963 60258 49 | 0.004 % |
152.79/152.93 c | 263609 | 160 13600 95200 | 64963 60855 49 | 0.004 % |
153.18/153.39 c | 264266 | 160 13600 95200 | 64963 61512 49 | 0.004 % |
153.68/153.88 c | 264986 | 160 13600 95200 | 64963 62232 49 | 0.004 % |
154.18/154.40 c | 265779 | 160 13600 95200 | 64963 63025 49 | 0.004 % |
154.89/155.02 c | 266650 | 160 13600 95200 | 64963 63896 49 | 0.004 % |
155.58/155.74 c | 267609 | 160 13600 95200 | 64963 64855 49 | 0.004 % |
156.28/156.47 c | 268662 | 160 13600 95200 | 64963 56928 49 | 0.004 % |
156.98/157.14 c | 269820 | 160 13600 95200 | 64963 58086 49 | 0.004 % |
157.78/157.93 c | 271094 | 160 13600 95200 | 58267 51664 48 | 0.004 % |
158.58/158.72 c | 272495 | 160 13600 95200 | 58267 53065 48 | 0.004 % |
159.28/159.50 c | 274036 | 160 13600 95200 | 58267 54606 49 | 0.004 % |
160.38/160.50 c | 275730 | 160 13600 95200 | 58267 56300 49 | 0.004 % |
161.38/161.59 c | 277593 | 160 13600 95200 | 58267 58163 49 | 0.004 % |
162.68/162.87 c | 279643 | 160 13600 95200 | 58267 54379 49 | 0.004 % |
163.98/164.19 c | 281900 | 160 13600 95200 | 2147483647 56636 49 | 0.004 % |
165.58/165.76 c | 284378 | 160 13600 95200 | 2147483647 59114 49 | 0.004 % |
167.17/167.39 c | 287103 | 160 13600 95200 | 2147483647 61839 49 | 0.004 % |
167.27/167.46 c | 287204 | 160 13600 95200 | 2147483647 61940 49 | 0.004 % |
167.37/167.54 c | 287315 | 160 13600 95200 | 2147483647 62051 49 | 0.004 % |
167.47/167.63 c | 287437 | 160 13600 95200 | 2147483647 62173 49 | 0.004 % |
167.57/167.73 c | 287570 | 160 13600 95200 | 2147483647 62306 49 | 0.004 % |
167.67/167.84 c | 287716 | 160 13600 95200 | 2147483647 62452 49 | 0.004 % |
167.77/167.99 c | 287876 | 160 13600 95200 | 2147483647 62612 49 | 0.004 % |
167.97/168.14 c | 288052 | 160 13600 95200 | 2147483647 62788 49 | 0.004 % |
168.17/168.32 c | 288245 | 160 13600 95200 | 2147483647 62981 49 | 0.004 % |
168.37/168.50 c | 288458 | 160 13600 95200 | 2147483647 63194 49 | 0.004 % |
168.47/168.70 c | 288691 | 160 13600 95200 | 2147483647 63427 49 | 0.004 % |
168.67/168.90 c | 288950 | 160 13600 95200 | 2147483647 63686 49 | 0.004 % |
168.87/169.08 c | 289232 | 160 13600 95200 | 2147483647 63968 49 | 0.004 % |
169.17/169.32 c | 289543 | 160 13600 95200 | 2147483647 64279 49 | 0.004 % |
169.47/169.64 c | 289884 | 160 13600 95200 | 2147483647 64620 49 | 0.004 % |
169.77/169.97 c | 290257 | 160 13600 95200 | 64739 57396 48 | 0.004 % |
170.07/170.25 c | 290668 | 160 13600 95200 | 64739 57807 48 | 0.004 % |
170.37/170.55 c | 291118 | 160 13600 95200 | 64739 58257 48 | 0.004 % |
170.67/170.82 c | 291612 | 160 13600 95200 | 64739 58751 48 | 0.004 % |
170.97/171.18 c | 292155 | 160 13600 95200 | 64739 59294 48 | 0.004 % |
171.37/171.59 c | 292751 | 160 13600 95200 | 64739 59890 48 | 0.004 % |
171.87/172.07 c | 293406 | 160 13600 95200 | 64739 60545 48 | 0.004 % |
172.37/172.53 c | 294126 | 160 13600 95200 | 64739 61265 48 | 0.004 % |
172.87/173.05 c | 294919 | 160 13600 95200 | 64739 62058 48 | 0.004 % |
173.47/173.65 c | 295790 | 160 13600 95200 | 64739 62929 48 | 0.004 % |
174.17/174.32 c | 296748 | 160 13600 95200 | 64739 63887 48 | 0.004 % |
174.86/175.07 c | 297801 | 160 13600 95200 | 64739 57053 48 | 0.004 % |
175.56/175.73 c | 298959 | 160 13600 95200 | 64739 58211 48 | 0.004 % |
176.36/176.50 c | 300232 | 160 13600 95200 | 59253 52580 48 | 0.004 % |
177.06/177.30 c | 301632 | 160 13600 95200 | 59253 53980 48 | 0.004 % |
177.97/178.17 c | 303174 | 160 13600 95200 | 59253 55522 48 | 0.004 % |
178.96/179.11 c | 304868 | 160 13600 95200 | 59253 57216 48 | 0.004 % |
180.06/180.24 c | 306731 | 160 13600 95200 | 59253 59079 49 | 0.004 % |
181.36/181.51 c | 308780 | 160 13600 95200 | 59253 55196 48 | 0.004 % |
182.66/182.88 c | 311035 | 160 13600 95200 | 2147483647 57451 48 | 0.004 % |
184.26/184.49 c | 313515 | 160 13600 95200 | 2147483647 59931 49 | 0.004 % |
186.16/186.30 c | 316240 | 160 13600 95200 | 2147483647 62656 49 | 0.004 % |
187.96/188.17 c | 319239 | 160 13600 95200 | 2147483647 65655 49 | 0.004 % |
188.06/188.24 c | 319340 | 160 13600 95200 | 2147483647 65756 49 | 0.004 % |
188.16/188.32 c | 319453 | 160 13600 95200 | 2147483647 65869 49 | 0.004 % |
188.26/188.42 c | 319574 | 160 13600 95200 | 2147483647 65990 49 | 0.004 % |
188.36/188.56 c | 319708 | 160 13600 95200 | 2147483647 66124 49 | 0.004 % |
188.46/188.68 c | 319855 | 160 13600 95200 | 2147483647 66271 49 | 0.004 % |
188.65/188.82 c | 320015 | 160 13600 95200 | 66416 66431 49 | 0.004 % |
188.85/189.02 c | 320191 | 160 13600 95200 | 66416 58684 49 | 0.004 % |
188.96/189.15 c | 320384 | 160 13600 95200 | 66416 58877 49 | 0.004 % |
189.06/189.29 c | 320596 | 160 13600 95200 | 66416 59089 49 | 0.004 % |
189.25/189.47 c | 320830 | 160 13600 95200 | 66416 59323 49 | 0.004 % |
189.45/189.66 c | 321088 | 160 13600 95200 | 66416 59581 49 | 0.004 % |
189.65/189.87 c | 321370 | 160 13600 95200 | 66416 59863 49 | 0.004 % |
189.85/190.09 c | 321679 | 160 13600 95200 | 66416 60172 49 | 0.004 % |
190.15/190.31 c | 322019 | 160 13600 95200 | 66416 60512 49 | 0.004 % |
190.45/190.65 c | 322392 | 160 13600 95200 | 66416 60885 49 | 0.004 % |
190.75/190.93 c | 322802 | 160 13600 95200 | 66416 61295 49 | 0.004 % |
191.05/191.23 c | 323252 | 160 13600 95200 | 66416 61745 49 | 0.004 % |
191.35/191.58 c | 323746 | 160 13600 95200 | 66416 62239 49 | 0.004 % |
191.75/191.93 c | 324288 | 160 13600 95200 | 66416 62781 49 | 0.004 % |
192.15/192.35 c | 324885 | 160 13600 95200 | 66416 63378 49 | 0.004 % |
192.65/192.80 c | 325541 | 160 13600 95200 | 66416 64034 49 | 0.004 % |
193.15/193.37 c | 326261 | 160 13600 95200 | 66416 64754 49 | 0.004 % |
193.85/194.02 c | 327053 | 160 13600 95200 | 66416 65546 49 | 0.004 % |
194.55/194.76 c | 327928 | 160 13600 95200 | 66416 66421 49 | 0.004 % |
195.25/195.41 c | 328886 | 160 13600 95200 | 66416 57747 49 | 0.004 % |
195.85/196.08 c | 329939 | 160 13600 95200 | 66416 58800 49 | 0.004 % |
196.55/196.77 c | 331097 | 160 13600 95200 | 58862 51734 49 | 0.004 % |
197.35/197.50 c | 332370 | 160 13600 95200 | 58862 53007 49 | 0.004 % |
198.15/198.31 c | 333770 | 160 13600 95200 | 58862 54407 49 | 0.004 % |
199.05/199.21 c | 335311 | 160 13600 95200 | 58862 55948 49 | 0.004 % |
200.05/200.20 c | 337005 | 160 13600 95200 | 58862 57642 49 | 0.004 % |
201.24/201.42 c | 338868 | 160 13600 95200 | 58862 53374 49 | 0.004 % |
202.44/202.62 c | 340918 | 160 13600 95200 | 54506 49825 49 | 0.004 % |
203.54/203.72 c | 343172 | 160 13600 95200 | 54506 52079 49 | 0.004 % |
204.84/205.06 c | 345650 | 160 13600 95200 | 54506 54557 49 | 0.004 % |
206.34/206.53 c | 348377 | 160 13600 95200 | 54506 51829 49 | 0.004 % |
208.04/208.29 c | 351376 | 160 13600 95200 | 2147483647 54828 49 | 0.004 % |
209.94/210.17 c | 354673 | 160 13600 95200 | 2147483647 58125 49 | 0.004 % |
210.04/210.23 c | 354775 | 160 13600 95200 | 2147483647 58227 49 | 0.004 % |
210.14/210.31 c | 354886 | 160 13600 95200 | 2147483647 58338 49 | 0.004 % |
210.14/210.39 c | 355007 | 160 13600 95200 | 2147483647 58459 49 | 0.004 % |
210.34/210.54 c | 355142 | 160 13600 95200 | 2147483647 58594 49 | 0.004 % |
210.44/210.66 c | 355288 | 160 13600 95200 | 2147483647 58740 49 | 0.004 % |
210.64/210.80 c | 355448 | 160 13600 95200 | 2147483647 58900 49 | 0.004 % |
210.74/210.93 c | 355625 | 160 13600 95200 | 2147483647 59077 49 | 0.004 % |
210.84/211.09 c | 355818 | 160 13600 95200 | 2147483647 59270 49 | 0.004 % |
211.04/211.26 c | 356032 | 160 13600 95200 | 2147483647 59484 49 | 0.004 % |
211.24/211.48 c | 356266 | 160 13600 95200 | 2147483647 59718 49 | 0.004 % |
211.44/211.65 c | 356522 | 160 13600 95200 | 2147483647 59974 49 | 0.004 % |
211.64/211.88 c | 356803 | 160 13600 95200 | 2147483647 60255 49 | 0.004 % |
211.94/212.13 c | 357113 | 160 13600 95200 | 2147483647 60565 49 | 0.004 % |
212.24/212.40 c | 357452 | 160 13600 95200 | 2147483647 60904 49 | 0.004 % |
212.44/212.65 c | 357825 | 160 13600 95200 | 2147483647 61277 49 | 0.004 % |
212.74/212.93 c | 358234 | 160 13600 95200 | 2147483647 61686 49 | 0.004 % |
213.04/213.20 c | 358683 | 160 13600 95200 | 2147483647 62135 49 | 0.004 % |
213.34/213.51 c | 359177 | 160 13600 95200 | 2147483647 62629 49 | 0.004 % |
213.63/213.85 c | 359719 | 160 13600 95200 | 2147483647 63171 49 | 0.004 % |
214.03/214.28 c | 360315 | 160 13600 95200 | 63452 56994 49 | 0.004 % |
214.43/214.68 c | 360971 | 160 13600 95200 | 63452 57650 49 | 0.004 % |
214.83/215.09 c | 361691 | 160 13600 95200 | 63452 58370 49 | 0.004 % |
215.34/215.57 c | 362484 | 160 13600 95200 | 63452 59163 49 | 0.004 % |
215.83/216.08 c | 363356 | 160 13600 95200 | 63452 60035 49 | 0.004 % |
216.54/216.72 c | 364314 | 160 13600 95200 | 63452 60993 49 | 0.004 % |
217.23/217.44 c | 365368 | 160 13600 95200 | 63452 62047 49 | 0.004 % |
217.93/218.16 c | 366526 | 160 13600 95200 | 63452 63205 49 | 0.004 % |
219.04/219.22 c | 367799 | 160 13600 95200 | 63452 57661 49 | 0.004 % |
219.94/220.18 c | 369200 | 160 13600 95200 | 63452 59062 49 | 0.004 % |
220.94/221.14 c | 370744 | 160 13600 95200 | 59865 53621 49 | 0.004 % |
221.84/222.08 c | 372440 | 160 13600 95200 | 59865 55317 49 | 0.004 % |
223.04/223.21 c | 374304 | 160 13600 95200 | 59865 57181 49 | 0.004 % |
224.24/224.41 c | 376353 | 160 13600 95200 | 59865 59230 49 | 0.004 % |
225.54/225.77 c | 378606 | 160 13600 95200 | 59865 55490 49 | 0.004 % |
226.84/227.05 c | 381084 | 160 13600 95200 | 2147483647 57968 49 | 0.004 % |
228.74/228.93 c | 383812 | 160 13600 95200 | 2147483647 60696 49 | 0.004 % |
230.74/230.99 c | 386811 | 160 13600 95200 | 2147483647 63695 49 | 0.004 % |
233.04/233.28 c | 390107 | 160 13600 95200 | 66884 58405 49 | 0.004 % |
235.43/235.60 c | 393734 | 160 13600 95200 | 66884 62032 49 | 0.004 % |
235.43/235.67 c | 393836 | 160 13600 95200 | 66884 62134 49 | 0.004 % |
235.53/235.75 c | 393946 | 160 13600 95200 | 66884 62244 49 | 0.004 % |
235.63/235.85 c | 394069 | 160 13600 95200 | 66884 62367 49 | 0.004 % |
235.73/235.99 c | 394204 | 160 13600 95200 | 66884 62502 49 | 0.004 % |
235.93/236.11 c | 394354 | 160 13600 95200 | 66884 62652 49 | 0.004 % |
236.03/236.23 c | 394514 | 160 13600 95200 | 66884 62812 49 | 0.004 % |
236.13/236.39 c | 394691 | 160 13600 95200 | 66884 62989 49 | 0.004 % |
236.33/236.52 c | 394885 | 160 13600 95200 | 66884 63183 49 | 0.004 % |
236.43/236.66 c | 395097 | 160 13600 95200 | 66884 63395 49 | 0.004 % |
236.63/236.86 c | 395330 | 160 13600 95200 | 66884 63628 49 | 0.004 % |
236.83/237.08 c | 395587 | 160 13600 95200 | 66884 63885 49 | 0.004 % |
237.13/237.31 c | 395869 | 160 13600 95200 | 66884 64167 49 | 0.004 % |
237.33/237.55 c | 396178 | 160 13600 95200 | 66884 64476 49 | 0.004 % |
237.53/237.77 c | 396517 | 160 13600 95200 | 66884 64815 49 | 0.004 % |
237.83/238.07 c | 396889 | 160 13600 95200 | 66884 65187 49 | 0.004 % |
238.13/238.37 c | 397300 | 160 13600 95200 | 66884 65598 49 | 0.004 % |
238.53/238.72 c | 397749 | 160 13600 95200 | 66884 66047 49 | 0.004 % |
238.93/239.10 c | 398242 | 160 13600 95200 | 66884 66540 49 | 0.004 % |
239.33/239.56 c | 398784 | 160 13600 95200 | 66884 57872 49 | 0.004 % |
239.73/239.92 c | 399382 | 160 13600 95200 | 66884 58470 49 | 0.004 % |
240.13/240.30 c | 400039 | 160 13600 95200 | 59088 59127 48 | 0.004 % |
240.63/240.85 c | 400759 | 160 13600 95200 | 59088 51976 48 | 0.004 % |
241.13/241.34 c | 401551 | 160 13600 95200 | 59088 52768 48 | 0.004 % |
241.63/241.87 c | 402425 | 160 13600 95200 | 59088 53642 48 | 0.004 % |
242.23/242.45 c | 403383 | 160 13600 95200 | 59088 54600 48 | 0.004 % |
242.83/243.05 c | 404437 | 160 13600 95200 | 59088 55654 48 | 0.004 % |
243.53/243.77 c | 405597 | 160 13600 95200 | 59088 56814 48 | 0.004 % |
244.42/244.64 c | 406870 | 160 13600 95200 | 59088 58087 48 | 0.004 % |
245.42/245.63 c | 408270 | 160 13600 95200 | 59088 52906 48 | 0.004 % |
246.23/246.48 c | 409810 | 160 13600 95200 | 59088 54446 48 | 0.004 % |
247.23/247.43 c | 411504 | 160 13600 95200 | 54636 50433 48 | 0.004 % |
248.33/248.59 c | 413367 | 160 13600 95200 | 54636 52296 48 | 0.004 % |
249.62/249.82 c | 415416 | 160 13600 95200 | 54636 54345 48 | 0.004 % |
250.92/251.11 c | 417670 | 160 13600 95200 | 54636 51129 49 | 0.004 % |
252.22/252.43 c | 420149 | 160 13600 95200 | 2147483647 53608 49 | 0.004 % |
253.82/254.03 c | 422874 | 160 13600 95200 | 2147483647 56333 49 | 0.004 % |
255.82/256.05 c | 425871 | 160 13600 95200 | 2147483647 59330 49 | 0.004 % |
257.82/258.02 c | 429169 | 160 13600 95200 | 2147483647 62628 49 | 0.004 % |
260.12/260.33 c | 432794 | 160 13600 95200 | 2147483647 66253 49 | 0.004 % |
262.81/263.03 c | 436782 | 160 13600 95200 | 2147483647 70241 49 | 0.004 % |
262.91/263.10 c | 436882 | 160 13600 95200 | 2147483647 70341 49 | 0.004 % |
262.91/263.18 c | 436993 | 160 13600 95200 | 2147483647 70452 49 | 0.004 % |
263.01/263.29 c | 437115 | 160 13600 95200 | 2147483647 70574 49 | 0.004 % |
263.11/263.39 c | 437248 | 160 13600 95200 | 2147483647 70707 49 | 0.004 % |
263.31/263.51 c | 437394 | 160 13600 95200 | 2147483647 70853 49 | 0.004 % |
263.41/263.66 c | 437555 | 160 13600 95200 | 2147483647 71014 49 | 0.004 % |
263.61/263.86 c | 437734 | 160 13600 95200 | 2147483647 71193 49 | 0.004 % |
263.82/264.01 c | 437927 | 160 13600 95200 | 2147483647 71386 49 | 0.004 % |
264.01/264.22 c | 438139 | 160 13600 95200 | 2147483647 71598 49 | 0.004 % |
264.21/264.43 c | 438374 | 160 13600 95200 | 2147483647 71833 49 | 0.004 % |
264.41/264.63 c | 438630 | 160 13600 95200 | 2147483647 72089 49 | 0.004 % |
264.61/264.88 c | 438911 | 160 13600 95200 | 2147483647 72370 49 | 0.004 % |
264.92/265.10 c | 439221 | 160 13600 95200 | 2147483647 72680 49 | 0.004 % |
265.21/265.40 c | 439562 | 160 13600 95200 | 2147483647 73021 49 | 0.004 % |
265.51/265.72 c | 439935 | 160 13600 95200 | 2147483647 73394 49 | 0.004 % |
265.92/266.15 c | 440344 | 160 13600 95200 | 73459 62596 49 | 0.004 % |
266.31/266.51 c | 440793 | 160 13600 95200 | 73459 63045 49 | 0.004 % |
266.61/266.85 c | 441286 | 160 13600 95200 | 73459 63538 49 | 0.004 % |
267.01/267.22 c | 441828 | 160 13600 95200 | 73459 64080 49 | 0.004 % |
267.41/267.67 c | 442426 | 160 13600 95200 | 73459 64678 49 | 0.004 % |
267.91/268.18 c | 443082 | 160 13600 95200 | 73459 65334 49 | 0.004 % |
268.51/268.80 c | 443802 | 160 13600 95200 | 73459 66054 49 | 0.004 % |
269.21/269.43 c | 444596 | 160 13600 95200 | 73459 66848 49 | 0.004 % |
269.91/270.11 c | 445468 | 160 13600 95200 | 73459 67720 49 | 0.004 % |
270.71/270.96 c | 446426 | 160 13600 95200 | 73459 68678 49 | 0.004 % |
271.51/271.78 c | 447479 | 160 13600 95200 | 73459 69731 49 | 0.004 % |
272.41/272.61 c | 448637 | 160 13600 95200 | 73459 70889 49 | 0.004 % |
273.31/273.50 c | 449910 | 160 13600 95200 | 73459 72162 49 | 0.004 % |
274.21/274.44 c | 451310 | 160 13600 95200 | 72253 61567 49 | 0.004 % |
275.11/275.36 c | 452850 | 160 13600 95200 | 72253 63107 49 | 0.004 % |
276.21/276.44 c | 454545 | 160 13600 95200 | 72253 64802 49 | 0.004 % |
277.60/277.82 c | 456408 | 160 13600 95200 | 72253 66665 49 | 0.004 % |
279.00/279.28 c | 458459 | 160 13600 95200 | 72253 68716 49 | 0.004 % |
280.70/280.92 c | 460712 | 160 13600 95200 | 70259 59831 49 | 0.004 % |
282.20/282.47 c | 463192 | 160 13600 95200 | 70259 62311 49 | 0.004 % |
283.90/284.14 c | 465919 | 160 13600 95200 | 70259 65038 49 | 0.004 % |
286.00/286.29 c | 468920 | 160 13600 95200 | 70259 68039 49 | 0.004 % |
288.50/288.71 c | 472216 | 160 13600 95200 | 69121 61088 49 | 0.004 % |
290.90/291.14 c | 475842 | 160 13600 95200 | 69121 64714 49 | 0.004 % |
293.60/293.82 c | 479829 | 160 13600 95200 | 69121 68701 49 | 0.004 % |
296.50/296.75 c | 484214 | 160 13600 95200 | 68872 63531 49 | 0.004 % |
296.60/296.82 c | 484314 | 160 13600 95200 | 68872 63631 49 | 0.004 % |
296.70/296.91 c | 484426 | 160 13600 95200 | 68872 63743 49 | 0.004 % |
296.70/297.00 c | 484547 | 160 13600 95200 | 68872 63864 49 | 0.004 % |
296.90/297.13 c | 484681 | 160 13600 95200 | 68872 63998 49 | 0.004 % |
297.00/297.22 c | 484827 | 160 13600 95200 | 68872 64144 49 | 0.004 % |
297.10/297.35 c | 484991 | 160 13600 95200 | 68872 64308 49 | 0.004 % |
297.30/297.52 c | 485167 | 160 13600 95200 | 68872 64484 49 | 0.004 % |
297.40/297.66 c | 485360 | 160 13600 95200 | 68872 64677 49 | 0.004 % |
297.59/297.82 c | 485573 | 160 13600 95200 | 68872 64890 49 | 0.004 % |
297.80/298.05 c | 485808 | 160 13600 95200 | 68872 65125 49 | 0.004 % |
297.99/298.28 c | 486064 | 160 13600 95200 | 68872 65381 49 | 0.004 % |
298.29/298.54 c | 486347 | 160 13600 95200 | 68872 65664 49 | 0.004 % |
298.49/298.79 c | 486656 | 160 13600 95200 | 68872 65973 49 | 0.004 % |
298.79/299.05 c | 486996 | 160 13600 95200 | 68872 66313 49 | 0.004 % |
299.09/299.35 c | 487368 | 160 13600 95200 | 68872 66685 49 | 0.004 % |
299.49/299.72 c | 487777 | 160 13600 95200 | 68872 67094 49 | 0.004 % |
299.79/300.05 c | 488226 | 160 13600 95200 | 68872 67543 49 | 0.004 % |
300.19/300.44 c | 488719 | 160 13600 95200 | 68872 68036 49 | 0.004 % |
300.59/300.83 c | 489262 | 160 13600 95200 | 68872 68579 49 | 0.004 % |
301.10/301.33 c | 489860 | 160 13600 95200 | 68872 58686 49 | 0.004 % |
301.49/301.76 c | 490516 | 160 13600 95200 | 58827 50506 49 | 0.004 % |
301.99/302.22 c | 491236 | 160 13600 95200 | 58827 51226 49 | 0.004 % |
302.39/302.62 c | 492028 | 160 13600 95200 | 58827 52018 49 | 0.004 % |
302.89/303.18 c | 492902 | 160 13600 95200 | 58827 52892 49 | 0.004 % |
303.49/303.74 c | 493860 | 160 13600 95200 | 58827 53850 49 | 0.004 % |
304.09/304.37 c | 494915 | 160 13600 95200 | 58827 54905 49 | 0.004 % |
304.79/305.04 c | 496074 | 160 13600 95200 | 58827 56064 49 | 0.004 % |
305.49/305.73 c | 497349 | 160 13600 95200 | 58827 57339 49 | 0.004 % |
306.39/306.61 c | 498749 | 160 13600 95200 | 58827 58739 49 | 0.004 % |
307.19/307.50 c | 500290 | 160 13600 95200 | 53543 48167 49 | 0.004 % |
308.19/308.40 c | 501986 | 160 13600 95200 | 53543 49863 49 | 0.004 % |
309.19/309.41 c | 503849 | 160 13600 95200 | 53543 51726 49 | 0.004 % |
310.29/310.50 c | 505898 | 160 13600 95200 | 53543 48414 49 | 0.004 % |
311.39/311.62 c | 508152 | 160 13600 95200 | 53543 50668 49 | 0.004 % |
312.59/312.88 c | 510631 | 160 13600 95200 | 2147483647 53147 49 | 0.004 % |
314.09/314.30 c | 513357 | 160 13600 95200 | 2147483647 55873 49 | 0.004 % |
315.69/315.98 c | 516354 | 160 13600 95200 | 2147483647 58870 49 | 0.004 % |
317.59/317.86 c | 519652 | 160 13600 95200 | 2147483647 62168 49 | 0.004 % |
319.79/320.08 c | 523280 | 160 13600 95200 | 2147483647 65796 49 | 0.004 % |
322.68/322.95 c | 527270 | 160 13600 95200 | 2147483647 69786 49 | 0.004 % |
325.88/326.13 c | 531655 | 160 13600 95200 | 72516 64989 49 | 0.004 % |
329.28/329.52 c | 536480 | 160 13600 95200 | 72516 69814 49 | 0.004 % |
329.38/329.60 c | 536581 | 160 13600 95200 | 72516 69915 49 | 0.004 % |
329.48/329.72 c | 536691 | 160 13600 95200 | 72516 70025 49 | 0.004 % |
329.58/329.83 c | 536813 | 160 13600 95200 | 72516 70147 49 | 0.004 % |
329.68/329.94 c | 536948 | 160 13600 95200 | 72516 70282 49 | 0.004 % |
329.78/330.07 c | 537094 | 160 13600 95200 | 72516 70428 49 | 0.004 % |
329.88/330.19 c | 537254 | 160 13600 95200 | 72516 70588 49 | 0.004 % |
330.08/330.32 c | 537430 | 160 13600 95200 | 72516 70764 49 | 0.004 % |
330.18/330.48 c | 537623 | 160 13600 95200 | 72516 70957 49 | 0.004 % |
330.38/330.67 c | 537835 | 160 13600 95200 | 72516 71169 49 | 0.004 % |
330.58/330.85 c | 538069 | 160 13600 95200 | 72516 71403 49 | 0.004 % |
330.78/331.10 c | 538326 | 160 13600 95200 | 72516 71660 49 | 0.004 % |
331.08/331.38 c | 538607 | 160 13600 95200 | 72516 71941 49 | 0.004 % |
331.38/331.65 c | 538916 | 160 13600 95200 | 72516 72250 49 | 0.004 % |
331.68/331.96 c | 539256 | 160 13600 95200 | 72516 72590 49 | 0.004 % |
332.08/332.31 c | 539628 | 160 13600 95200 | 72516 61587 49 | 0.004 % |
332.38/332.61 c | 540037 | 160 13600 95200 | 61959 61996 49 | 0.004 % |
332.68/332.97 c | 540490 | 160 13600 95200 | 61959 52757 49 | 0.004 % |
332.98/333.25 c | 540983 | 160 13600 95200 | 61959 53250 49 | 0.004 % |
333.28/333.53 c | 541525 | 160 13600 95200 | 61959 53792 49 | 0.004 % |
333.58/333.89 c | 542121 | 160 13600 95200 | 61959 54388 49 | 0.004 % |
333.98/334.26 c | 542777 | 160 13600 95200 | 61959 55044 49 | 0.004 % |
334.38/334.69 c | 543497 | 160 13600 95200 | 61959 55764 49 | 0.004 % |
334.88/335.13 c | 544289 | 160 13600 95200 | 61959 56556 49 | 0.004 % |
335.38/335.66 c | 545162 | 160 13600 95200 | 61959 57429 49 | 0.004 % |
335.97/336.27 c | 546123 | 160 13600 95200 | 61959 58390 49 | 0.004 % |
336.67/336.92 c | 547179 | 160 13600 95200 | 61959 59446 49 | 0.004 % |
337.38/337.63 c | 548337 | 160 13600 95200 | 61959 60604 49 | 0.004 % |
338.07/338.38 c | 549610 | 160 13600 95200 | 61959 61877 49 | 0.004 % |
338.97/339.24 c | 551010 | 160 13600 95200 | 55438 50306 49 | 0.004 % |
339.77/340.00 c | 552550 | 160 13600 95200 | 55438 51846 49 | 0.004 % |
340.57/340.83 c | 554245 | 160 13600 95200 | 55438 53541 49 | 0.004 % |
341.48/341.78 c | 556108 | 160 13600 95200 | 55438 55404 49 | 0.004 % |
342.68/342.95 c | 558159 | 160 13600 95200 | 55438 51904 49 | 0.004 % |
343.98/344.24 c | 560412 | 160 13600 95200 | 2147483647 54157 49 | 0.004 % |
345.48/345.71 c | 562893 | 160 13600 95200 | 2147483647 56638 49 | 0.004 % |
347.28/347.50 c | 565619 | 160 13600 95200 | 2147483647 59364 49 | 0.004 % |
349.27/349.54 c | 568616 | 160 13600 95200 | 2147483647 62361 49 | 0.004 % |
351.37/351.63 c | 571912 | 160 13600 95200 | 2147483647 65657 49 | 0.004 % |
353.98/354.21 c | 575537 | 160 13600 95200 | 2147483647 69282 49 | 0.004 % |
356.77/357.03 c | 579526 | 160 13600 95200 | 2147483647 73271 49 | 0.004 % |
359.77/360.04 c | 583911 | 160 13600 95200 | 73745 66154 49 | 0.004 % |
363.27/363.52 c | 588736 | 160 13600 95200 | 73745 70979 49 | 0.004 % |
366.87/367.16 c | 594042 | 160 13600 95200 | 72244 64731 49 | 0.004 % |
366.97/367.25 c | 594142 | 160 13600 95200 | 72244 64831 49 | 0.004 % |
367.07/367.34 c | 594252 | 160 13600 95200 | 72244 64941 49 | 0.004 % |
367.17/367.45 c | 594373 | 160 13600 95200 | 72244 65062 49 | 0.004 % |
367.27/367.56 c | 594506 | 160 13600 95200 | 72244 65195 49 | 0.004 % |
367.47/367.72 c | 594652 | 160 13600 95200 | 72244 65341 49 | 0.004 % |
367.57/367.84 c | 594812 | 160 13600 95200 | 72244 65501 49 | 0.004 % |
367.67/367.98 c | 594990 | 160 13600 95200 | 72244 65679 49 | 0.004 % |
367.87/368.17 c | 595183 | 160 13600 95200 | 72244 65872 49 | 0.004 % |
368.07/368.34 c | 595395 | 160 13600 95200 | 72244 66084 49 | 0.004 % |
368.27/368.53 c | 595628 | 160 13600 95200 | 72244 66317 49 | 0.004 % |
368.47/368.76 c | 595885 | 160 13600 95200 | 72244 66574 49 | 0.004 % |
368.77/369.00 c | 596166 | 160 13600 95200 | 72244 66855 49 | 0.004 % |
368.97/369.24 c | 596475 | 160 13600 95200 | 72244 67164 49 | 0.004 % |
369.17/369.46 c | 596815 | 160 13600 95200 | 72244 67504 49 | 0.004 % |
369.47/369.74 c | 597189 | 160 13600 95200 | 72244 67878 49 | 0.004 % |
369.77/370.04 c | 597598 | 160 13600 95200 | 72244 68287 49 | 0.004 % |
370.17/370.48 c | 598049 | 160 13600 95200 | 72244 68738 49 | 0.004 % |
370.67/370.90 c | 598544 | 160 13600 95200 | 72244 69233 49 | 0.004 % |
371.07/371.38 c | 599086 | 160 13600 95200 | 72244 69775 49 | 0.004 % |
371.57/371.87 c | 599684 | 160 13600 95200 | 72244 70373 49 | 0.004 % |
372.17/372.47 c | 600339 | 160 13600 95200 | 70690 59238 49 | 0.004 % |
372.67/372.96 c | 601061 | 160 13600 95200 | 70690 59960 49 | 0.004 % |
373.36/373.62 c | 601854 | 160 13600 95200 | 70690 60753 49 | 0.004 % |
373.96/374.26 c | 602725 | 160 13600 95200 | 70690 61624 49 | 0.004 % |
374.56/374.85 c | 603684 | 160 13600 95200 | 70690 62583 49 | 0.004 % |
375.26/375.53 c | 604737 | 160 13600 95200 | 70690 63636 49 | 0.004 % |
376.06/376.31 c | 605895 | 160 13600 95200 | 70690 64794 49 | 0.004 % |
376.86/377.11 c | 607169 | 160 13600 95200 | 70690 66068 49 | 0.004 % |
377.76/378.04 c | 608569 | 160 13600 95200 | 70690 67468 49 | 0.004 % |
379.06/379.39 c | 610109 | 160 13600 95200 | 68899 58296 49 | 0.004 % |
380.26/380.52 c | 611803 | 160 13600 95200 | 68899 59990 49 | 0.004 % |
381.56/381.81 c | 613669 | 160 13600 95200 | 68899 61856 49 | 0.004 % |
382.96/383.27 c | 615718 | 160 13600 95200 | 68899 63905 49 | 0.004 % |
384.66/384.92 c | 617972 | 160 13600 95200 | 68899 66159 49 | 0.004 % |
386.36/386.67 c | 620450 | 160 13600 95200 | 68187 58414 49 | 0.004 % |
388.06/388.33 c | 623175 | 160 13600 95200 | 68187 61139 49 | 0.004 % |
389.95/390.22 c | 626173 | 160 13600 95200 | 68187 64137 49 | 0.004 % |
392.05/392.36 c | 629470 | 160 13600 95200 | 68187 67434 49 | 0.004 % |
394.45/394.71 c | 633097 | 160 13600 95200 | 67964 61804 49 | 0.004 % |
397.55/397.88 c | 637084 | 160 13600 95200 | 67964 65791 49 | 0.004 % |
400.65/400.91 c | 641471 | 160 13600 95200 | 58424 51088 49 | 0.004 % |
403.25/403.52 c | 646294 | 160 13600 95200 | 58424 55911 49 | 0.004 % |
406.25/406.57 c | 651599 | 160 13600 95200 | 2147483647 55366 49 | 0.004 % |
409.95/410.20 c | 657436 | 160 13600 95200 | 2147483647 61203 49 | 0.004 % |
409.95/410.28 c | 657536 | 160 13600 95200 | 2147483647 61303 49 | 0.004 % |
410.05/410.38 c | 657646 | 160 13600 95200 | 2147483647 61413 49 | 0.004 % |
410.15/410.48 c | 657770 | 160 13600 95200 | 2147483647 61537 49 | 0.004 % |
410.25/410.56 c | 657904 | 160 13600 95200 | 2147483647 61671 49 | 0.004 % |
410.35/410.68 c | 658050 | 160 13600 95200 | 2147483647 61817 49 | 0.004 % |
410.55/410.82 c | 658210 | 160 13600 95200 | 2147483647 61977 49 | 0.004 % |
410.65/410.96 c | 658387 | 160 13600 95200 | 2147483647 62154 49 | 0.004 % |
410.75/411.10 c | 658581 | 160 13600 95200 | 2147483647 62348 49 | 0.004 % |
410.95/411.29 c | 658794 | 160 13600 95200 | 2147483647 62561 49 | 0.004 % |
411.15/411.44 c | 659029 | 160 13600 95200 | 2147483647 62796 49 | 0.004 % |
411.35/411.67 c | 659285 | 160 13600 95200 | 2147483647 63052 49 | 0.004 % |
411.65/411.93 c | 659567 | 160 13600 95200 | 2147483647 63334 49 | 0.004 % |
411.95/412.22 c | 659876 | 160 13600 95200 | 2147483647 63643 49 | 0.004 % |
412.25/412.56 c | 660216 | 160 13600 95200 | 63767 56442 49 | 0.004 % |
412.54/412.81 c | 660588 | 160 13600 95200 | 63767 56814 49 | 0.004 % |
412.74/413.08 c | 661000 | 160 13600 95200 | 63767 57226 49 | 0.004 % |
413.04/413.38 c | 661449 | 160 13600 95200 | 63767 57675 49 | 0.004 % |
413.44/413.73 c | 661946 | 160 13600 95200 | 63767 58172 49 | 0.004 % |
413.74/414.09 c | 662490 | 160 13600 95200 | 63767 58716 49 | 0.004 % |
414.15/414.50 c | 663086 | 160 13600 95200 | 63767 59312 49 | 0.004 % |
414.74/415.00 c | 663743 | 160 13600 95200 | 63767 59969 49 | 0.004 % |
415.24/415.55 c | 664464 | 160 13600 95200 | 63767 60690 49 | 0.004 % |
415.74/416.08 c | 665256 | 160 13600 95200 | 63767 61482 49 | 0.004 % |
416.44/416.70 c | 666127 | 160 13600 95200 | 63767 62353 49 | 0.004 % |
417.04/417.33 c | 667085 | 160 13600 95200 | 63767 63311 49 | 0.004 % |
417.94/418.20 c | 668138 | 160 13600 95200 | 63767 55982 49 | 0.004 % |
418.64/418.92 c | 669296 | 160 13600 95200 | 63767 57140 49 | 0.004 % |
419.54/419.88 c | 670570 | 160 13600 95200 | 57846 51060 49 | 0.004 % |
420.44/420.78 c | 671971 | 160 13600 95200 | 57846 52461 49 | 0.004 % |
421.44/421.73 c | 673513 | 160 13600 95200 | 57846 54003 49 | 0.004 % |
422.64/422.95 c | 675209 | 160 13600 95200 | 57846 55699 49 | 0.004 % |
423.74/424.09 c | 677072 | 160 13600 95200 | 57846 57562 49 | 0.004 % |
425.14/425.49 c | 679121 | 160 13600 95200 | 57846 53049 49 | 0.004 % |
426.54/426.84 c | 681374 | 160 13600 95200 | 53929 49530 49 | 0.004 % |
427.74/428.09 c | 683853 | 160 13600 95200 | 53929 52009 49 | 0.004 % |
429.34/429.62 c | 686579 | 160 13600 95200 | 53929 49335 49 | 0.004 % |
431.33/431.61 c | 689578 | 160 13600 95200 | 53929 52334 49 | 0.004 % |
433.43/433.72 c | 692875 | 160 13600 95200 | 2147483647 55631 49 | 0.004 % |
435.63/435.99 c | 696502 | 160 13600 95200 | 2147483647 59258 49 | 0.004 % |
438.43/438.76 c | 700489 | 160 13600 95200 | 62756 56513 49 | 0.004 % |
441.13/441.43 c | 704875 | 160 13600 95200 | 62756 60899 49 | 0.004 % |
444.23/444.50 c | 709698 | 160 13600 95200 | 62756 58516 49 | 0.004 % |
447.03/447.36 c | 715003 | 160 13600 95200 | 58819 57194 49 | 0.004 % |
450.73/451.07 c | 720839 | 160 13600 95200 | 2147483647 57141 49 | 0.004 % |
455.03/455.32 c | 727258 | 160 13600 95200 | 2147483647 63560 49 | 0.004 % |
455.03/455.39 c | 727358 | 160 13600 95200 | 2147483647 63660 49 | 0.004 % |
455.13/455.48 c | 727468 | 160 13600 95200 | 2147483647 63770 49 | 0.004 % |
455.22/455.57 c | 727589 | 160 13600 95200 | 2147483647 63891 49 | 0.004 % |
455.32/455.69 c | 727724 | 160 13600 95200 | 2147483647 64026 49 | 0.004 % |
455.52/455.82 c | 727870 | 160 13600 95200 | 2147483647 64172 49 | 0.004 % |
455.62/455.98 c | 728031 | 160 13600 95200 | 2147483647 64333 49 | 0.004 % |
455.82/456.17 c | 728208 | 160 13600 95200 | 2147483647 64510 49 | 0.004 % |
456.02/456.34 c | 728403 | 160 13600 95200 | 2147483647 64705 49 | 0.004 % |
456.23/456.50 c | 728615 | 160 13600 95200 | 2147483647 64917 49 | 0.004 % |
456.32/456.67 c | 728850 | 160 13600 95200 | 2147483647 65152 49 | 0.004 % |
456.52/456.86 c | 729109 | 160 13600 95200 | 2147483647 65411 49 | 0.004 % |
456.72/457.07 c | 729390 | 160 13600 95200 | 2147483647 65692 49 | 0.004 % |
457.02/457.32 c | 729701 | 160 13600 95200 | 2147483647 66003 49 | 0.004 % |
457.23/457.58 c | 730040 | 160 13600 95200 | 66302 66342 49 | 0.004 % |
457.62/457.92 c | 730412 | 160 13600 95200 | 66302 58395 49 | 0.004 % |
457.92/458.22 c | 730823 | 160 13600 95200 | 66302 58806 49 | 0.004 % |
458.22/458.52 c | 731276 | 160 13600 95200 | 66302 59259 49 | 0.004 % |
458.52/458.87 c | 731771 | 160 13600 95200 | 66302 59754 49 | 0.004 % |
458.92/459.27 c | 732314 | 160 13600 95200 | 66302 60297 49 | 0.004 % |
459.32/459.65 c | 732911 | 160 13600 95200 | 66302 60894 49 | 0.004 % |
459.72/460.07 c | 733567 | 160 13600 95200 | 66302 61550 49 | 0.004 % |
460.32/460.65 c | 734288 | 160 13600 95200 | 66302 62271 49 | 0.004 % |
460.92/461.27 c | 735081 | 160 13600 95200 | 66302 63064 49 | 0.004 % |
461.62/461.97 c | 735953 | 160 13600 95200 | 66302 63936 49 | 0.004 % |
462.32/462.64 c | 736912 | 160 13600 95200 | 66302 64895 49 | 0.004 % |
463.13/463.41 c | 737966 | 160 13600 95200 | 66302 65949 49 | 0.004 % |
464.03/464.30 c | 739124 | 160 13600 95200 | 66302 57453 49 | 0.004 % |
464.83/465.19 c | 740400 | 160 13600 95200 | 58329 50495 49 | 0.004 % |
465.63/465.91 c | 741803 | 160 13600 95200 | 58329 51898 49 | 0.004 % |
466.43/466.78 c | 743344 | 160 13600 95200 | 58329 53439 49 | 0.004 % |
467.42/467.74 c | 745038 | 160 13600 95200 | 58329 55133 49 | 0.004 % |
468.62/468.98 c | 746904 | 160 13600 95200 | 58329 56999 49 | 0.004 % |
470.02/470.34 c | 748953 | 160 13600 95200 | 58329 53130 49 | 0.004 % |
471.32/471.65 c | 751207 | 160 13600 95200 | 2147483647 55384 49 | 0.004 % |
472.82/473.11 c | 753685 | 160 13600 95200 | 2147483647 57862 49 | 0.004 % |
474.42/474.72 c | 756412 | 160 13600 95200 | 2147483647 60589 49 | 0.004 % |
476.32/476.68 c | 759410 | 160 13600 95200 | 2147483647 63587 49 | 0.004 % |
478.52/478.84 c | 762706 | 160 13600 95200 | 64177 60116 49 | 0.004 % |
480.92/481.23 c | 766332 | 160 13600 95200 | 64177 63742 49 | 0.004 % |
483.22/483.59 c | 770319 | 160 13600 95200 | 60119 54173 49 | 0.004 % |
485.92/486.22 c | 774704 | 160 13600 95200 | 60119 58558 49 | 0.004 % |
488.92/489.30 c | 779528 | 160 13600 95200 | 60119 57364 49 | 0.004 % |
492.32/492.60 c | 784834 | 160 13600 95200 | 2147483647 62670 49 | 0.004 % |
496.11/496.49 c | 790671 | 160 13600 95200 | 67837 59592 49 | 0.004 % |
500.12/500.48 c | 797089 | 160 13600 95200 | 67837 66010 49 | 0.004 % |
504.11/504.45 c | 804149 | 160 13600 95200 | 59821 56022 49 | 0.004 % |
504.21/504.50 c | 804250 | 160 13600 95200 | 59821 56123 49 | 0.004 % |
504.21/504.57 c | 804360 | 160 13600 95200 | 59821 56233 49 | 0.004 % |
504.31/504.64 c | 804483 | 160 13600 95200 | 59821 56356 49 | 0.004 % |
504.41/504.73 c | 804617 | 160 13600 95200 | 59821 56490 49 | 0.004 % |
504.51/504.82 c | 804763 | 160 13600 95200 | 59821 56636 49 | 0.004 % |
504.61/504.92 c | 804924 | 160 13600 95200 | 59821 56797 49 | 0.004 % |
504.71/505.04 c | 805101 | 160 13600 95200 | 59821 56974 49 | 0.004 % |
504.81/505.15 c | 805294 | 160 13600 95200 | 59821 57167 49 | 0.004 % |
504.91/505.29 c | 805506 | 160 13600 95200 | 59821 57379 49 | 0.004 % |
505.11/505.48 c | 805740 | 160 13600 95200 | 59821 57613 49 | 0.004 % |
505.31/505.64 c | 805997 | 160 13600 95200 | 59821 57870 49 | 0.004 % |
505.51/505.84 c | 806281 | 160 13600 95200 | 59821 58154 49 | 0.004 % |
505.72/506.04 c | 806591 | 160 13600 95200 | 59821 58464 49 | 0.004 % |
506.01/506.30 c | 806930 | 160 13600 95200 | 59821 58803 49 | 0.004 % |
506.21/506.57 c | 807302 | 160 13600 95200 | 59821 59175 49 | 0.004 % |
506.51/506.84 c | 807711 | 160 13600 95200 | 59821 59584 49 | 0.004 % |
506.81/507.17 c | 808161 | 160 13600 95200 | 59821 53412 49 | 0.004 % |
507.11/507.47 c | 808656 | 160 13600 95200 | 59821 53907 49 | 0.004 % |
507.41/507.79 c | 809198 | 160 13600 95200 | 59821 54449 49 | 0.004 % |
507.81/508.12 c | 809799 | 160 13600 95200 | 59821 55050 49 | 0.004 % |
508.21/508.56 c | 810454 | 160 13600 95200 | 55251 49837 49 | 0.004 % |
508.61/508.98 c | 811175 | 160 13600 95200 | 55251 50558 49 | 0.004 % |
509.11/509.44 c | 811967 | 160 13600 95200 | 55251 51350 49 | 0.004 % |
509.61/509.95 c | 812839 | 160 13600 95200 | 55251 52222 49 | 0.004 % |
510.11/510.47 c | 813797 | 160 13600 95200 | 55251 53180 49 | 0.004 % |
510.71/511.06 c | 814850 | 160 13600 95200 | 55251 54233 49 | 0.004 % |
511.41/511.79 c | 816011 | 160 13600 95200 | 55251 49862 49 | 0.004 % |
512.31/512.62 c | 817284 | 160 13600 95200 | 55251 51135 49 | 0.004 % |
513.01/513.31 c | 818686 | 160 13600 95200 | 55251 52537 49 | 0.004 % |
513.70/514.09 c | 820227 | 160 13600 95200 | 2147483647 54078 49 | 0.004 % |
514.70/515.01 c | 821922 | 160 13600 95200 | 2147483647 55773 49 | 0.004 % |
515.71/516.08 c | 823786 | 160 13600 95200 | 2147483647 57637 49 | 0.004 % |
517.10/517.41 c | 825836 | 160 13600 95200 | 2147483647 59687 49 | 0.004 % |
518.40/518.73 c | 828089 | 160 13600 95200 | 2147483647 61940 49 | 0.004 % |
520.20/520.54 c | 830567 | 160 13600 95200 | 2147483647 64418 49 | 0.004 % |
522.21/522.50 c | 833292 | 160 13600 95200 | 2147483647 67143 49 | 0.004 % |
524.31/524.67 c | 836291 | 160 13600 95200 | 2147483647 70142 49 | 0.004 % |
527.00/527.34 c | 839587 | 160 13600 95200 | 2147483647 73438 49 | 0.004 % |
530.00/530.33 c | 843214 | 160 13600 95200 | 73852 65169 49 | 0.004 % |
532.90/533.27 c | 847201 | 160 13600 95200 | 73852 69156 49 | 0.004 % |
535.90/536.21 c | 851589 | 160 13600 95200 | 71956 61243 49 | 0.004 % |
539.40/539.74 c | 856413 | 160 13600 95200 | 71956 66067 49 | 0.004 % |
543.00/543.34 c | 861721 | 160 13600 95200 | 69656 60318 49 | 0.004 % |
546.89/547.21 c | 867556 | 160 13600 95200 | 69656 66153 49 | 0.004 % |
551.59/551.98 c | 873976 | 160 13600 95200 | 68598 62236 49 | 0.004 % |
556.49/556.88 c | 881035 | 160 13600 95200 | 68262 59540 49 | 0.004 % |
562.09/562.43 c | 888799 | 160 13600 95200 | 68262 67304 49 | 0.004 % |
562.19/562.52 c | 888899 | 160 13600 95200 | 68262 67404 49 | 0.004 % |
562.19/562.60 c | 889012 | 160 13600 95200 | 68262 67517 49 | 0.004 % |
562.39/562.72 c | 889135 | 160 13600 95200 | 68262 67640 49 | 0.004 % |
562.49/562.85 c | 889268 | 160 13600 95200 | 68262 67773 49 | 0.004 % |
562.59/562.98 c | 889414 | 160 13600 95200 | 68262 67919 49 | 0.004 % |
562.79/563.13 c | 889575 | 160 13600 95200 | 68262 68080 49 | 0.004 % |
562.99/563.35 c | 889751 | 160 13600 95200 | 68262 68256 49 | 0.004 % |
563.19/563.58 c | 889944 | 160 13600 95200 | 68262 57566 49 | 0.004 % |
563.39/563.79 c | 890157 | 160 13600 95200 | 57622 48625 49 | 0.004 % |
563.59/563.91 c | 890391 | 160 13600 95200 | 57622 48859 49 | 0.004 % |
563.69/564.06 c | 890647 | 160 13600 95200 | 57622 49115 49 | 0.004 % |
563.79/564.20 c | 890928 | 160 13600 95200 | 57622 49396 49 | 0.004 % |
563.99/564.35 c | 891237 | 160 13600 95200 | 57622 49705 49 | 0.004 % |
564.19/564.54 c | 891577 | 160 13600 95200 | 57622 50045 49 | 0.004 % |
564.49/564.83 c | 891950 | 160 13600 95200 | 57622 50418 49 | 0.004 % |
564.79/565.12 c | 892359 | 160 13600 95200 | 57622 50827 49 | 0.004 % |
565.09/565.41 c | 892809 | 160 13600 95200 | 57622 51277 49 | 0.004 % |
565.39/565.72 c | 893304 | 160 13600 95200 | 57622 51772 49 | 0.004 % |
565.69/566.04 c | 893846 | 160 13600 95200 | 57622 52314 49 | 0.004 % |
565.98/566.38 c | 894444 | 160 13600 95200 | 57622 52912 49 | 0.004 % |
566.39/566.79 c | 895100 | 160 13600 95200 | 57622 53568 49 | 0.004 % |
566.88/567.27 c | 895821 | 160 13600 95200 | 57622 54289 49 | 0.004 % |
567.38/567.76 c | 896615 | 160 13600 95200 | 57622 55083 49 | 0.004 % |
567.88/568.23 c | 897486 | 160 13600 95200 | 57622 55954 49 | 0.004 % |
568.48/568.89 c | 898444 | 160 13600 95200 | 57622 56912 49 | 0.004 % |
569.18/569.52 c | 899499 | 160 13600 95200 | 57622 51837 49 | 0.004 % |
569.68/570.09 c | 900658 | 160 13600 95200 | 52339 47692 49 | 0.004 % |
570.28/570.66 c | 901932 | 160 13600 95200 | 52339 48966 49 | 0.004 % |
571.08/571.43 c | 903332 | 160 13600 95200 | 52339 50366 49 | 0.004 % |
571.98/572.33 c | 904873 | 160 13600 95200 | 52339 51907 49 | 0.004 % |
572.88/573.25 c | 906568 | 160 13600 95200 | 52339 48362 49 | 0.004 % |
574.08/574.45 c | 908431 | 160 13600 95200 | 52339 50225 49 | 0.004 % |
575.28/575.67 c | 910480 | 160 13600 95200 | 2147483647 52274 49 | 0.004 % |
576.88/577.22 c | 912733 | 160 13600 95200 | 2147483647 54527 49 | 0.004 % |
578.38/578.73 c | 915212 | 160 13600 95200 | 2147483647 57006 49 | 0.004 % |
579.98/580.34 c | 917941 | 160 13600 95200 | 2147483647 59735 49 | 0.004 % |
581.88/582.25 c | 920939 | 160 13600 95200 | 2147483647 62733 49 | 0.004 % |
584.07/584.50 c | 924235 | 160 13600 95200 | 2147483647 66029 49 | 0.004 % |
586.67/587.02 c | 927861 | 160 13600 95200 | 2147483647 69655 49 | 0.004 % |
589.47/589.81 c | 931848 | 160 13600 95200 | 71794 63636 49 | 0.004 % |
592.37/592.71 c | 936234 | 160 13600 95200 | 71794 68022 49 | 0.004 % |
595.67/596.02 c | 941058 | 160 13600 95200 | 71788 62604 49 | 0.004 % |
599.77/600.12 c | 946363 | 160 13600 95200 | 71788 67909 49 | 0.004 % |
604.07/604.47 c | 952198 | 160 13600 95200 | 71546 61888 49 | 0.004 % |
608.66/609.03 c | 958616 | 160 13600 95200 | 71546 68306 49 | 0.004 % |
613.47/613.84 c | 965678 | 160 13600 95200 | 69691 64867 49 | 0.004 % |
618.86/619.26 c | 973443 | 160 13600 95200 | 69189 62743 49 | 0.004 % |
624.76/625.10 c | 981984 | 160 13600 95200 | 59804 53583 49 | 0.004 % |
624.76/625.18 c | 982085 | 160 13600 95200 | 59804 53684 49 | 0.004 % |
624.86/625.28 c | 982195 | 160 13600 95200 | 59804 53794 49 | 0.004 % |
624.96/625.37 c | 982316 | 160 13600 95200 | 59804 53915 49 | 0.004 % |
625.06/625.46 c | 982451 | 160 13600 95200 | 59804 54050 49 | 0.004 % |
625.16/625.56 c | 982597 | 160 13600 95200 | 59804 54196 49 | 0.004 % |
625.26/625.68 c | 982759 | 160 13600 95200 | 59804 54358 49 | 0.004 % |
625.46/625.81 c | 982935 | 160 13600 95200 | 59804 54534 49 | 0.004 % |
625.56/625.94 c | 983128 | 160 13600 95200 | 59804 54727 49 | 0.004 % |
625.66/626.09 c | 983342 | 160 13600 95200 | 59804 54941 49 | 0.004 % |
625.86/626.23 c | 983575 | 160 13600 95200 | 59804 55174 49 | 0.004 % |
625.96/626.39 c | 983831 | 160 13600 95200 | 59804 55430 49 | 0.004 % |
626.16/626.57 c | 984112 | 160 13600 95200 | 59804 55711 49 | 0.004 % |
626.36/626.78 c | 984422 | 160 13600 95200 | 59804 56021 49 | 0.004 % |
626.56/626.99 c | 984762 | 160 13600 95200 | 59804 56361 49 | 0.004 % |
626.86/627.21 c | 985135 | 160 13600 95200 | 59804 56734 49 | 0.004 % |
627.06/627.47 c | 985545 | 160 13600 95200 | 59804 57144 49 | 0.004 % |
627.46/627.81 c | 985994 | 160 13600 95200 | 59804 57593 49 | 0.004 % |
627.76/628.18 c | 986487 | 160 13600 95200 | 59804 58086 49 | 0.004 % |
628.15/628.51 c | 987032 | 160 13600 95200 | 59804 58631 49 | 0.004 % |
628.55/628.94 c | 987628 | 160 13600 95200 | 59804 59227 49 | 0.004 % |
629.05/629.44 c | 988285 | 160 13600 95200 | 59804 52726 49 | 0.004 % |
629.45/629.82 c | 989006 | 160 13600 95200 | 59804 53447 49 | 0.004 % |
629.96/630.33 c | 989798 | 160 13600 95200 | 59804 54239 49 | 0.004 % |
630.55/630.98 c | 990670 | 160 13600 95200 | 54443 48598 49 | 0.004 % |
631.15/631.55 c | 991628 | 160 13600 95200 | 54443 49556 49 | 0.004 % |
631.85/632.25 c | 992682 | 160 13600 95200 | 54443 50610 49 | 0.004 % |
632.55/632.95 c | 993842 | 160 13600 95200 | 54443 51770 49 | 0.004 % |
633.35/633.74 c | 995119 | 160 13600 95200 | 54443 53047 49 | 0.004 % |
634.15/634.53 c | 996522 | 160 13600 95200 | 54443 54450 49 | 0.004 % |
635.15/635.54 c | 998062 | 160 13600 95200 | 54443 50545 49 | 0.004 % |
636.15/636.54 c | 999756 | 160 13600 95200 | 54443 52239 49 | 0.004 % |
637.35/637.72 c | 1001619 | 160 13600 95200 | 2147483647 54102 49 | 0.004 % |
638.75/639.14 c | 1003670 | 160 13600 95200 | 2147483647 56153 49 | 0.004 % |
640.25/640.66 c | 1005923 | 160 13600 95200 | 2147483647 58406 49 | 0.004 % |
641.86/642.26 c | 1008403 | 160 13600 95200 | 2147483647 60886 49 | 0.004 % |
643.66/644.03 c | 1011128 | 160 13600 95200 | 62483 56681 49 | 0.004 % |
645.66/646.03 c | 1014125 | 160 13600 95200 | 62483 59678 49 | 0.004 % |
647.86/648.22 c | 1017422 | 160 13600 95200 | 62483 55754 49 | 0.004 % |
649.96/650.36 c | 1021047 | 160 13600 95200 | 58333 52823 49 | 0.004 % |
652.35/652.72 c | 1025035 | 160 13600 95200 | 58333 56811 49 | 0.004 % |
655.05/655.42 c | 1029420 | 160 13600 95200 | 58333 55039 49 | 0.004 % |
657.85/658.27 c | 1034246 | 160 13600 95200 | 2147483647 59865 49 | 0.004 % |
661.25/661.62 c | 1039552 | 160 13600 95200 | 2147483647 65171 49 | 0.004 % |
665.05/665.45 c | 1045388 | 160 13600 95200 | 65620 64040 49 | 0.004 % |
668.95/669.39 c | 1051806 | 160 13600 95200 | 60699 55456 49 | 0.004 % |
673.05/673.49 c | 1058865 | 160 13600 95200 | 60699 56438 49 | 0.004 % |
677.95/678.30 c | 1066629 | 160 13600 95200 | 2147483647 64202 49 | 0.004 % |
683.44/683.81 c | 1075169 | 160 13600 95200 | 67573 64634 49 | 0.004 % |
689.54/689.92 c | 1084564 | 160 13600 95200 | 60667 57402 49 | 0.004 % |
689.64/690.00 c | 1084664 | 160 13600 95200 | 60667 57502 49 | 0.004 % |
689.64/690.08 c | 1084774 | 160 13600 95200 | 60667 57612 49 | 0.004 % |
689.74/690.17 c | 1084896 | 160 13600 95200 | 60667 57734 49 | 0.004 % |
689.84/690.26 c | 1085029 | 160 13600 95200 | 60667 57867 49 | 0.004 % |
689.94/690.39 c | 1085176 | 160 13600 95200 | 60667 58014 49 | 0.004 % |
690.14/690.51 c | 1085337 | 160 13600 95200 | 60667 58175 49 | 0.004 % |
690.24/690.63 c | 1085513 | 160 13600 95200 | 60667 58351 49 | 0.004 % |
690.34/690.79 c | 1085706 | 160 13600 95200 | 60667 58544 49 | 0.004 % |
690.54/690.94 c | 1085918 | 160 13600 95200 | 60667 58756 49 | 0.004 % |
690.74/691.11 c | 1086151 | 160 13600 95200 | 60667 58989 49 | 0.004 % |
690.84/691.29 c | 1086407 | 160 13600 95200 | 60667 59245 49 | 0.004 % |
691.04/691.49 c | 1086688 | 160 13600 95200 | 60667 59526 49 | 0.004 % |
691.24/691.68 c | 1086997 | 160 13600 95200 | 60667 59835 49 | 0.004 % |
691.54/691.90 c | 1087338 | 160 13600 95200 | 60667 60176 49 | 0.004 % |
691.74/692.13 c | 1087711 | 160 13600 95200 | 60667 60549 49 | 0.004 % |
692.04/692.43 c | 1088123 | 160 13600 95200 | 60667 54055 49 | 0.004 % |
692.24/692.66 c | 1088572 | 160 13600 95200 | 60667 54504 49 | 0.004 % |
692.64/693.03 c | 1089068 | 160 13600 95200 | 60667 55000 49 | 0.004 % |
693.04/693.41 c | 1089611 | 160 13600 95200 | 60667 55543 49 | 0.004 % |
693.44/693.85 c | 1090209 | 160 13600 95200 | 55932 49864 49 | 0.004 % |
693.84/694.22 c | 1090866 | 160 13600 95200 | 55932 50521 49 | 0.004 % |
694.24/694.62 c | 1091586 | 160 13600 95200 | 55932 51241 49 | 0.004 % |
694.74/695.14 c | 1092379 | 160 13600 95200 | 55932 52034 49 | 0.004 % |
695.24/695.65 c | 1093250 | 160 13600 95200 | 55932 52905 49 | 0.004 % |
695.84/696.25 c | 1094209 | 160 13600 95200 | 55932 53864 49 | 0.004 % |
696.44/696.87 c | 1095264 | 160 13600 95200 | 55932 54919 49 | 0.004 % |
697.14/697.58 c | 1096424 | 160 13600 95200 | 55932 50479 49 | 0.004 % |
697.84/698.29 c | 1097697 | 160 13600 95200 | 55932 51752 49 | 0.004 % |
698.64/699.04 c | 1099100 | 160 13600 95200 | 55932 53155 49 | 0.004 % |
699.44/699.82 c | 1100640 | 160 13600 95200 | 2147483647 54695 49 | 0.004 % |
700.34/700.77 c | 1102336 | 160 13600 95200 | 2147483647 56391 49 | 0.004 % |
701.53/701.92 c | 1104201 | 160 13600 95200 | 2147483647 58256 49 | 0.004 % |
702.73/703.12 c | 1106250 | 160 13600 95200 | 2147483647 60305 49 | 0.004 % |
704.03/704.45 c | 1108504 | 160 13600 95200 | 2147483647 62559 49 | 0.004 % |
705.63/706.07 c | 1110982 | 160 13600 95200 | 64056 58418 49 | 0.004 % |
707.33/707.73 c | 1113708 | 160 13600 95200 | 64056 61144 49 | 0.004 % |
709.23/709.63 c | 1116705 | 160 13600 95200 | 64056 56557 49 | 0.004 % |
711.13/711.53 c | 1120002 | 160 13600 95200 | 59852 59854 49 | 0.004 % |
713.23/713.67 c | 1123627 | 160 13600 95200 | 59852 56893 49 | 0.004 % |
715.63/716.02 c | 1127615 | 160 13600 95200 | 59852 54680 49 | 0.004 % |
718.23/718.62 c | 1132000 | 160 13600 95200 | 2147483647 59065 49 | 0.004 % |
721.33/721.73 c | 1136824 | 160 13600 95200 | 2147483647 63889 49 | 0.004 % |
724.82/725.30 c | 1142130 | 160 13600 95200 | 67066 60844 50 | 0.004 % |
728.62/729.05 c | 1147965 | 160 13600 95200 | 67066 66679 50 | 0.004 % |
732.32/732.70 c | 1154384 | 160 13600 95200 | 59680 56266 50 | 0.004 % |
736.42/736.85 c | 1161445 | 160 13600 95200 | 2147483647 57351 50 | 0.004 % |
741.32/741.77 c | 1169209 | 160 13600 95200 | 2147483647 65115 50 | 0.004 % |
746.92/747.30 c | 1177751 | 160 13600 95200 | 65906 59473 50 | 0.004 % |
752.41/752.82 c | 1187147 | 160 13600 95200 | 61722 55853 50 | 0.004 % |
758.81/759.30 c | 1197483 | 160 13600 95200 | 58706 54375 49 | 0.004 % |
758.91/759.35 c | 1197584 | 160 13600 95200 | 58706 54476 49 | 0.004 % |
759.01/759.43 c | 1197696 | 160 13600 95200 | 58706 54588 49 | 0.004 % |
759.11/759.50 c | 1197818 | 160 13600 95200 | 58706 54710 49 | 0.004 % |
759.11/759.59 c | 1197952 | 160 13600 95200 | 58706 54844 49 | 0.004 % |
759.31/759.72 c | 1198100 | 160 13600 95200 | 58706 54992 49 | 0.004 % |
759.41/759.83 c | 1198263 | 160 13600 95200 | 58706 55155 49 | 0.004 % |
759.51/759.94 c | 1198439 | 160 13600 95200 | 58706 55331 49 | 0.004 % |
759.62/760.07 c | 1198633 | 160 13600 95200 | 58706 55525 49 | 0.004 % |
759.81/760.21 c | 1198845 | 160 13600 95200 | 58706 55737 49 | 0.004 % |
759.91/760.36 c | 1199078 | 160 13600 95200 | 58706 55970 49 | 0.004 % |
760.11/760.53 c | 1199334 | 160 13600 95200 | 58706 56226 49 | 0.004 % |
760.31/760.71 c | 1199618 | 160 13600 95200 | 58706 56510 49 | 0.004 % |
760.51/760.90 c | 1199927 | 160 13600 95200 | 58706 56819 49 | 0.004 % |
760.61/761.10 c | 1200266 | 160 13600 95200 | 2147483647 57158 49 | 0.004 % |
760.91/761.36 c | 1200638 | 160 13600 95200 | 2147483647 57530 49 | 0.004 % |
761.21/761.65 c | 1201047 | 160 13600 95200 | 2147483647 57939 49 | 0.004 % |
761.51/761.98 c | 1201497 | 160 13600 95200 | 2147483647 58389 49 | 0.004 % |
761.81/762.26 c | 1201990 | 160 13600 95200 | 2147483647 58882 49 | 0.004 % |
762.11/762.56 c | 1202532 | 160 13600 95200 | 2147483647 59424 49 | 0.004 % |
762.61/763.00 c | 1203132 | 160 13600 95200 | 2147483647 60024 49 | 0.004 % |
763.01/763.47 c | 1203788 | 160 13600 95200 | 2147483647 60680 49 | 0.004 % |
763.61/764.07 c | 1204508 | 160 13600 95200 | 2147483647 61400 49 | 0.004 % |
764.21/764.64 c | 1205302 | 160 13600 95200 | 2147483647 62194 49 | 0.004 % |
764.81/765.28 c | 1206173 | 160 13600 95200 | 2147483647 63065 49 | 0.004 % |
765.41/765.90 c | 1207131 | 160 13600 95200 | 2147483647 64023 49 | 0.004 % |
766.21/766.67 c | 1208186 | 160 13600 95200 | 2147483647 65078 49 | 0.004 % |
767.11/767.57 c | 1209345 | 160 13600 95200 | 2147483647 66237 49 | 0.004 % |
768.01/768.50 c | 1210619 | 160 13600 95200 | 66895 58583 49 | 0.004 % |
769.01/769.46 c | 1212022 | 160 13600 95200 | 66895 59986 49 | 0.004 % |
770.10/770.59 c | 1213563 | 160 13600 95200 | 66895 61527 49 | 0.004 % |
771.30/771.77 c | 1215257 | 160 13600 95200 | 66895 63221 49 | 0.004 % |
772.70/773.11 c | 1217121 | 160 13600 95200 | 66895 65085 49 | 0.004 % |
774.10/774.53 c | 1219170 | 160 13600 95200 | 66895 57617 49 | 0.004 % |
775.30/775.74 c | 1221423 | 160 13600 95200 | 58447 51715 49 | 0.004 % |
776.60/777.05 c | 1223903 | 160 13600 95200 | 58447 54195 49 | 0.004 % |
778.10/778.58 c | 1226629 | 160 13600 95200 | 58447 56921 49 | 0.004 % |
779.90/780.39 c | 1229627 | 160 13600 95200 | 58447 54067 49 | 0.004 % |
781.90/782.39 c | 1232924 | 160 13600 95200 | 2147483647 57364 49 | 0.004 % |
784.20/784.69 c | 1236550 | 160 13600 95200 | 2147483647 60990 49 | 0.004 % |
787.00/787.44 c | 1240537 | 160 13600 95200 | 64440 57470 49 | 0.004 % |
789.69/790.19 c | 1244922 | 160 13600 95200 | 64440 61855 49 | 0.004 % |
792.89/793.33 c | 1249745 | 160 13600 95200 | 64440 58626 49 | 0.004 % |
795.90/796.39 c | 1255051 | 160 13600 95200 | 58883 56871 49 | 0.004 % |
799.39/799.86 c | 1260886 | 160 13600 95200 | 2147483647 56811 50 | 0.004 % |
803.39/803.81 c | 1267305 | 160 13600 95200 | 2147483647 63230 50 | 0.004 % |
807.79/808.26 c | 1274364 | 160 13600 95200 | 65925 63000 50 | 0.004 % |
812.89/813.38 c | 1282130 | 160 13600 95200 | 60303 55056 50 | 0.004 % |
817.78/818.30 c | 1290670 | 160 13600 95200 | 2147483647 57558 50 | 0.004 % |
824.28/824.77 c | 1300064 | 160 13600 95200 | 66890 66952 50 | 0.004 % |
830.78/831.22 c | 1310398 | 160 13600 95200 | 60134 52446 50 | 0.004 % |
837.57/838.00 c | 1321766 | 160 13600 95200 | 55382 51131 50 | 0.004 % |
837.57/838.06 c | 1321866 | 160 13600 95200 | 55382 51231 50 | 0.004 % |
837.68/838.12 c | 1321976 | 160 13600 95200 | 55382 51341 50 | 0.004 % |
837.68/838.19 c | 1322100 | 160 13600 95200 | 55382 51465 50 | 0.004 % |
837.78/838.27 c | 1322234 | 160 13600 95200 | 55382 51599 50 | 0.004 % |
837.87/838.36 c | 1322381 | 160 13600 95200 | 55382 51746 50 | 0.004 % |
837.97/838.46 c | 1322541 | 160 13600 95200 | 55382 51906 50 | 0.004 % |
838.07/838.59 c | 1322717 | 160 13600 95200 | 55382 52082 50 | 0.004 % |
838.27/838.70 c | 1322910 | 160 13600 95200 | 55382 52275 50 | 0.004 % |
838.37/838.81 c | 1323122 | 160 13600 95200 | 55382 52487 50 | 0.004 % |
838.47/838.96 c | 1323356 | 160 13600 95200 | 55382 52721 50 | 0.004 % |
838.67/839.10 c | 1323613 | 160 13600 95200 | 55382 52978 50 | 0.004 % |
838.78/839.24 c | 1323894 | 160 13600 95200 | 55382 53259 50 | 0.004 % |
838.97/839.42 c | 1324203 | 160 13600 95200 | 55382 53568 50 | 0.004 % |
839.17/839.63 c | 1324543 | 160 13600 95200 | 55382 53908 50 | 0.004 % |
839.47/839.92 c | 1324915 | 160 13600 95200 | 55382 54280 50 | 0.004 % |
839.77/840.21 c | 1325325 | 160 13600 95200 | 55382 54690 50 | 0.004 % |
840.07/840.52 c | 1325775 | 160 13600 95200 | 55382 55140 50 | 0.004 % |
840.37/840.89 c | 1326268 | 160 13600 95200 | 55382 50088 50 | 0.004 % |
840.77/841.23 c | 1326811 | 160 13600 95200 | 55382 50631 50 | 0.004 % |
841.17/841.62 c | 1327407 | 160 13600 95200 | 55382 51227 50 | 0.004 % |
841.57/842.07 c | 1328062 | 160 13600 95200 | 55382 51882 50 | 0.004 % |
842.08/842.54 c | 1328782 | 160 13600 95200 | 55382 52602 50 | 0.004 % |
842.57/843.04 c | 1329574 | 160 13600 95200 | 55382 53394 50 | 0.004 % |
843.07/843.60 c | 1330445 | 160 13600 95200 | 2147483647 54265 50 | 0.004 % |
843.67/844.17 c | 1331406 | 160 13600 95200 | 2147483647 55226 50 | 0.004 % |
844.27/844.79 c | 1332461 | 160 13600 95200 | 2147483647 56281 50 | 0.004 % |
844.97/845.47 c | 1333619 | 160 13600 95200 | 2147483647 57439 50 | 0.004 % |
845.77/846.22 c | 1334892 | 160 13600 95200 | 2147483647 58712 50 | 0.004 % |
846.57/847.08 c | 1336293 | 160 13600 95200 | 2147483647 60113 50 | 0.004 % |
847.57/848.02 c | 1337833 | 160 13600 95200 | 2147483647 61653 50 | 0.004 % |
848.57/849.07 c | 1339527 | 160 13600 95200 | 2147483647 63347 50 | 0.004 % |
849.97/850.43 c | 1341392 | 160 13600 95200 | 63820 58341 50 | 0.004 % |
851.47/851.91 c | 1343443 | 160 13600 95200 | 63820 60392 50 | 0.004 % |
852.97/853.48 c | 1345696 | 160 13600 95200 | 63820 62645 50 | 0.004 % |
854.66/855.17 c | 1348174 | 160 13600 95200 | 63820 56966 49 | 0.004 % |
856.47/856.97 c | 1350900 | 160 13600 95200 | 58792 52373 49 | 0.004 % |
858.16/858.68 c | 1353899 | 160 13600 95200 | 58792 55372 49 | 0.004 % |
860.06/860.50 c | 1357195 | 160 13600 95200 | 58792 58668 49 | 0.004 % |
862.06/862.59 c | 1360821 | 160 13600 95200 | 2147483647 56407 49 | 0.004 % |
864.36/864.87 c | 1364808 | 160 13600 95200 | 2147483647 60394 49 | 0.004 % |
867.16/867.62 c | 1369193 | 160 13600 95200 | 2147483647 64779 49 | 0.004 % |
870.26/870.78 c | 1374017 | 160 13600 95200 | 65590 62737 49 | 0.004 % |
873.76/874.26 c | 1379322 | 160 13600 95200 | 65590 59528 49 | 0.004 % |
877.36/877.84 c | 1385158 | 160 13600 95200 | 60206 57683 49 | 0.004 % |
881.05/881.52 c | 1391578 | 160 13600 95200 | 2147483647 57768 49 | 0.004 % |
885.45/885.90 c | 1398637 | 160 13600 95200 | 2147483647 64827 49 | 0.004 % |
890.15/890.61 c | 1406402 | 160 13600 95200 | 66190 64764 50 | 0.004 % |
895.25/895.78 c | 1414945 | 160 13600 95200 | 60629 58617 50 | 0.004 % |
900.75/901.21 c | 1424339 | 160 13600 95200 | 2147483647 61917 50 | 0.004 % |
907.54/908.02 c | 1434673 | 160 13600 95200 | 67578 64279 50 | 0.004 % |
914.14/914.62 c | 1446040 | 160 13600 95200 | 60754 59255 50 | 0.004 % |
921.45/921.90 c | 1458544 | 160 13600 95200 | 2147483647 65534 50 | 0.004 % |
921.45/921.98 c | 1458644 | 160 13600 95200 | 2147483647 65634 50 | 0.004 % |
921.55/922.08 c | 1458754 | 160 13600 95200 | 2147483647 65744 50 | 0.004 % |
921.65/922.18 c | 1458877 | 160 13600 95200 | 2147483647 65867 50 | 0.004 % |
921.75/922.29 c | 1459010 | 160 13600 95200 | 2147483647 66000 50 | 0.004 % |
921.95/922.44 c | 1459156 | 160 13600 95200 | 2147483647 66146 50 | 0.004 % |
922.05/922.57 c | 1459316 | 160 13600 95200 | 2147483647 66306 50 | 0.004 % |
922.25/922.71 c | 1459493 | 160 13600 95200 | 2147483647 66483 50 | 0.004 % |
922.35/922.84 c | 1459686 | 160 13600 95200 | 2147483647 66676 50 | 0.004 % |
922.55/923.05 c | 1459898 | 160 13600 95200 | 2147483647 66888 50 | 0.004 % |
922.85/923.31 c | 1460133 | 160 13600 95200 | 66993 58280 49 | 0.004 % |
922.95/923.45 c | 1460389 | 160 13600 95200 | 66993 58536 49 | 0.004 % |
923.15/923.64 c | 1460670 | 160 13600 95200 | 66993 58817 49 | 0.004 % |
923.35/923.84 c | 1460979 | 160 13600 95200 | 66993 59126 49 | 0.004 % |
923.55/924.05 c | 1461320 | 160 13600 95200 | 66993 59467 49 | 0.004 % |
923.74/924.29 c | 1461693 | 160 13600 95200 | 66993 59840 49 | 0.004 % |
924.04/924.56 c | 1462103 | 160 13600 95200 | 66993 60250 49 | 0.004 % |
924.34/924.88 c | 1462553 | 160 13600 95200 | 66993 60700 49 | 0.004 % |
924.84/925.31 c | 1463048 | 160 13600 95200 | 66993 61195 49 | 0.004 % |
925.24/925.72 c | 1463590 | 160 13600 95200 | 66993 61737 49 | 0.004 % |
925.65/926.17 c | 1464187 | 160 13600 95200 | 66993 62334 49 | 0.004 % |
926.14/926.66 c | 1464842 | 160 13600 95200 | 66993 62989 49 | 0.004 % |
926.64/927.15 c | 1465562 | 160 13600 95200 | 66993 63709 49 | 0.004 % |
927.34/927.84 c | 1466354 | 160 13600 95200 | 66993 64501 49 | 0.004 % |
928.04/928.52 c | 1467231 | 160 13600 95200 | 66993 65378 49 | 0.004 % |
928.74/929.22 c | 1468189 | 160 13600 95200 | 66993 66336 49 | 0.004 % |
929.54/930.07 c | 1469242 | 160 13600 95200 | 66993 57352 49 | 0.004 % |
930.24/930.74 c | 1470400 | 160 13600 95200 | 58114 50038 49 | 0.004 % |
930.84/931.33 c | 1471674 | 160 13600 95200 | 58114 51312 49 | 0.004 % |
931.54/932.03 c | 1473074 | 160 13600 95200 | 58114 52712 49 | 0.004 % |
932.44/932.95 c | 1474614 | 160 13600 95200 | 58114 54252 49 | 0.004 % |
933.54/934.03 c | 1476310 | 160 13600 95200 | 58114 55948 49 | 0.004 % |
934.64/935.17 c | 1478174 | 160 13600 95200 | 58114 57812 49 | 0.004 % |
935.84/936.38 c | 1480223 | 160 13600 95200 | 2147483647 54042 49 | 0.004 % |
937.14/937.61 c | 1482477 | 160 13600 95200 | 2147483647 56296 49 | 0.004 % |
938.44/938.92 c | 1484957 | 160 13600 95200 | 2147483647 58776 49 | 0.004 % |
940.04/940.58 c | 1487683 | 160 13600 95200 | 2147483647 61502 49 | 0.004 % |
942.04/942.55 c | 1490680 | 160 13600 95200 | 2147483647 64499 49 | 0.004 % |
944.23/944.70 c | 1493976 | 160 13600 95200 | 2147483647 67795 49 | 0.004 % |
946.83/947.31 c | 1497604 | 160 13600 95200 | 2147483647 71423 49 | 0.004 % |
949.63/950.12 c | 1501591 | 160 13600 95200 | 73821 64209 49 | 0.004 % |
952.83/953.37 c | 1505976 | 160 13600 95200 | 73821 68594 49 | 0.004 % |
956.43/957.00 c | 1510799 | 160 13600 95200 | 72619 60895 49 | 0.004 % |
960.13/960.64 c | 1516104 | 160 13600 95200 | 72619 66200 49 | 0.004 % |
964.03/964.59 c | 1521939 | 160 13600 95200 | 70096 61015 49 | 0.004 % |
968.23/968.70 c | 1528357 | 160 13600 95200 | 70096 67433 49 | 0.004 % |
972.82/973.34 c | 1535416 | 160 13600 95200 | 69076 64637 49 | 0.004 % |
978.12/978.60 c | 1543180 | 160 13600 95200 | 60096 55446 50 | 0.004 % |
983.22/983.74 c | 1551720 | 160 13600 95200 | 2147483647 57947 50 | 0.004 % |
989.02/989.58 c | 1561114 | 160 13600 95200 | 66227 59936 50 | 0.004 % |
996.02/996.53 c | 1571448 | 160 13600 95200 | 60623 54570 50 | 0.004 % |
1003.01/1003.54 c | 1582814 | 160 13600 95200 | 2147483647 59866 50 | 0.004 % |
1011.51/1012.02 c | 1595316 | 160 13600 95200 | 67052 64580 50 | 0.004 % |
1020.90/1021.47 c | 1609070 | 160 13600 95200 | 60872 55433 50 | 0.004 % |
1021.00/1021.54 c | 1609171 | 160 13600 95200 | 60872 55534 50 | 0.004 % |
1021.10/1021.60 c | 1609282 | 160 13600 95200 | 60872 55645 50 | 0.004 % |
1021.10/1021.67 c | 1609403 | 160 13600 95200 | 60872 55766 50 | 0.004 % |
1021.20/1021.76 c | 1609537 | 160 13600 95200 | 60872 55900 50 | 0.004 % |
1021.31/1021.85 c | 1609683 | 160 13600 95200 | 60872 56046 50 | 0.004 % |
1021.41/1021.95 c | 1609843 | 160 13600 95200 | 60872 56206 50 | 0.004 % |
1021.50/1022.07 c | 1610019 | 160 13600 95200 | 56363 56382 50 | 0.004 % |
1021.70/1022.22 c | 1610213 | 160 13600 95200 | 56363 50218 50 | 0.004 % |
1021.80/1022.34 c | 1610425 | 160 13600 95200 | 56363 50430 50 | 0.004 % |
1021.90/1022.48 c | 1610660 | 160 13600 95200 | 56363 50665 50 | 0.004 % |
1022.10/1022.62 c | 1610916 | 160 13600 95200 | 56363 50921 50 | 0.004 % |
1022.20/1022.79 c | 1611197 | 160 13600 95200 | 56363 51202 50 | 0.004 % |
1022.41/1022.97 c | 1611508 | 160 13600 95200 | 56363 51513 50 | 0.004 % |
1022.60/1023.17 c | 1611847 | 160 13600 95200 | 56363 51852 50 | 0.004 % |
1022.80/1023.35 c | 1612220 | 160 13600 95200 | 56363 52225 50 | 0.004 % |
1023.00/1023.59 c | 1612629 | 160 13600 95200 | 56363 52634 50 | 0.004 % |
1023.30/1023.86 c | 1613079 | 160 13600 95200 | 56363 53084 50 | 0.004 % |
1023.61/1024.13 c | 1613574 | 160 13600 95200 | 56363 53579 50 | 0.004 % |
1023.90/1024.44 c | 1614117 | 160 13600 95200 | 56363 54122 50 | 0.004 % |
1024.20/1024.75 c | 1614715 | 160 13600 95200 | 56363 54720 50 | 0.004 % |
1024.60/1025.11 c | 1615372 | 160 13600 95200 | 56363 55377 50 | 0.004 % |
1025.00/1025.50 c | 1616094 | 160 13600 95200 | 56363 56099 50 | 0.004 % |
1025.50/1026.02 c | 1616886 | 160 13600 95200 | 56363 51248 50 | 0.004 % |
1026.00/1026.52 c | 1617757 | 160 13600 95200 | 56363 52119 50 | 0.004 % |
1026.50/1027.04 c | 1618715 | 160 13600 95200 | 56363 53077 50 | 0.004 % |
1027.10/1027.63 c | 1619768 | 160 13600 95200 | 56363 54130 50 | 0.004 % |
1027.70/1028.24 c | 1620926 | 160 13600 95200 | 2147483647 55288 50 | 0.004 % |
1028.40/1028.98 c | 1622200 | 160 13600 95200 | 2147483647 56562 50 | 0.004 % |
1029.30/1029.84 c | 1623600 | 160 13600 95200 | 2147483647 57962 49 | 0.004 % |
1030.10/1030.64 c | 1625140 | 160 13600 95200 | 2147483647 59502 50 | 0.004 % |
1031.10/1031.62 c | 1626836 | 160 13600 95200 | 2147483647 61198 50 | 0.004 % |
1032.30/1032.86 c | 1628699 | 160 13600 95200 | 2147483647 63061 50 | 0.004 % |
1033.70/1034.25 c | 1630748 | 160 13600 95200 | 64363 58307 49 | 0.004 % |
1034.99/1035.55 c | 1633003 | 160 13600 95200 | 64363 60562 49 | 0.004 % |
1036.49/1037.08 c | 1635483 | 160 13600 95200 | 64363 63042 50 | 0.004 % |
1038.19/1038.71 c | 1638208 | 160 13600 95200 | 64363 58207 49 | 0.004 % |
1039.89/1040.40 c | 1641207 | 160 13600 95200 | 60000 54410 49 | 0.004 % |
1041.59/1042.14 c | 1644503 | 160 13600 95200 | 60000 57706 49 | 0.004 % |
1043.90/1044.45 c | 1648128 | 160 13600 95200 | 60000 55324 49 | 0.004 % |
1046.30/1046.84 c | 1652115 | 160 13600 95200 | 2147483647 59311 49 | 0.004 % |
1049.10/1049.65 c | 1656501 | 160 13600 95200 | 2147483647 63697 49 | 0.004 % |
1052.80/1053.36 c | 1661325 | 160 13600 95200 | 67197 59793 49 | 0.004 % |
1056.40/1056.93 c | 1666631 | 160 13600 95200 | 67197 65099 49 | 0.004 % |
1060.19/1060.74 c | 1672468 | 160 13600 95200 | 59651 54427 49 | 0.004 % |
1063.89/1064.40 c | 1678888 | 160 13600 95200 | 59651 54875 49 | 0.004 % |
1067.89/1068.44 c | 1685948 | 160 13600 95200 | 2147483647 61935 49 | 0.004 % |
1072.59/1073.13 c | 1693713 | 160 13600 95200 | 2147483647 69700 49 | 0.004 % |
1078.59/1079.11 c | 1702255 | 160 13600 95200 | 75987 67055 49 | 0.004 % |
1084.78/1085.39 c | 1711650 | 160 13600 95200 | 74800 65097 49 | 0.004 % |
1091.58/1092.10 c | 1721983 | 160 13600 95200 | 73447 64961 49 | 0.004 % |
1099.38/1099.93 c | 1733349 | 160 13600 95200 | 72978 66850 49 | 0.004 % |
1107.77/1108.36 c | 1745851 | 160 13600 95200 | 63130 60075 49 | 0.004 % |
1116.77/1117.39 c | 1759604 | 160 13600 95200 | 57299 54936 49 | 0.004 % |
1126.57/1127.15 c | 1774734 | 160 13600 95200 | 2147483647 70066 49 | 0.004 % |
1126.67/1127.24 c | 1774835 | 160 13600 95200 | 2147483647 70167 49 | 0.004 % |
1126.77/1127.33 c | 1774946 | 160 13600 95200 | 2147483647 70278 49 | 0.004 % |
1126.87/1127.42 c | 1775067 | 160 13600 95200 | 2147483647 70399 49 | 0.004 % |
1126.97/1127.55 c | 1775203 | 160 13600 95200 | 2147483647 70535 49 | 0.004 % |
1127.07/1127.68 c | 1775350 | 160 13600 95200 | 2147483647 70682 49 | 0.004 % |
1127.27/1127.80 c | 1775510 | 160 13600 95200 | 2147483647 70842 49 | 0.004 % |
1127.37/1127.95 c | 1775686 | 160 13600 95200 | 2147483647 71018 49 | 0.004 % |
1127.57/1128.10 c | 1775879 | 160 13600 95200 | 2147483647 71211 49 | 0.004 % |
1127.67/1128.27 c | 1776091 | 160 13600 95200 | 2147483647 71423 49 | 0.004 % |
1127.87/1128.47 c | 1776324 | 160 13600 95200 | 2147483647 71656 49 | 0.004 % |
1128.17/1128.71 c | 1776580 | 160 13600 95200 | 2147483647 71912 49 | 0.004 % |
1128.37/1128.95 c | 1776861 | 160 13600 95200 | 2147483647 72193 49 | 0.004 % |
1128.66/1129.21 c | 1777170 | 160 13600 95200 | 2147483647 72502 49 | 0.004 % |
1128.86/1129.44 c | 1777510 | 160 13600 95200 | 2147483647 72842 49 | 0.004 % |
1129.07/1129.68 c | 1777882 | 160 13600 95200 | 2147483647 73214 49 | 0.004 % |
1129.36/1129.97 c | 1778291 | 160 13600 95200 | 2147483647 73623 49 | 0.004 % |
1129.76/1130.30 c | 1778740 | 160 13600 95200 | 2147483647 74072 49 | 0.004 % |
1130.17/1130.72 c | 1779235 | 160 13600 95200 | 2147483647 74567 49 | 0.004 % |
1130.56/1131.16 c | 1779777 | 160 13600 95200 | 2147483647 75109 49 | 0.004 % |
1131.16/1131.71 c | 1780374 | 160 13600 95200 | 75334 63920 49 | 0.004 % |
1131.56/1132.13 c | 1781029 | 160 13600 95200 | 75334 64575 49 | 0.004 % |
1132.06/1132.67 c | 1781750 | 160 13600 95200 | 75334 65296 49 | 0.004 % |
1132.66/1133.24 c | 1782544 | 160 13600 95200 | 75334 66090 49 | 0.004 % |
1133.36/1133.92 c | 1783417 | 160 13600 95200 | 75334 66963 49 | 0.004 % |
1133.96/1134.59 c | 1784377 | 160 13600 95200 | 75334 67923 49 | 0.004 % |
1134.76/1135.32 c | 1785430 | 160 13600 95200 | 75334 68976 49 | 0.004 % |
1135.56/1136.20 c | 1786589 | 160 13600 95200 | 75334 70135 49 | 0.004 % |
1136.66/1137.29 c | 1787863 | 160 13600 95200 | 75334 71409 49 | 0.004 % |
1137.86/1138.45 c | 1789263 | 160 13600 95200 | 75334 72809 49 | 0.004 % |
1139.16/1139.70 c | 1790805 | 160 13600 95200 | 73547 61793 49 | 0.004 % |
1140.36/1140.91 c | 1792499 | 160 13600 95200 | 73547 63487 49 | 0.004 % |
1141.66/1142.22 c | 1794364 | 160 13600 95200 | 73547 65352 49 | 0.004 % |
1143.06/1143.68 c | 1796414 | 160 13600 95200 | 73547 67402 49 | 0.004 % |
1144.56/1145.19 c | 1798668 | 160 13600 95200 | 73547 69656 49 | 0.004 % |
1146.45/1147.02 c | 1801146 | 160 13600 95200 | 70988 61276 49 | 0.004 % |
1148.15/1148.76 c | 1803871 | 160 13600 95200 | 70988 64001 49 | 0.004 % |
1150.16/1150.74 c | 1806868 | 160 13600 95200 | 70988 66998 49 | 0.004 % |
1152.35/1152.94 c | 1810166 | 160 13600 95200 | 70131 60039 49 | 0.004 % |
1154.75/1155.36 c | 1813791 | 160 13600 95200 | 70131 63664 49 | 0.004 % |
1157.66/1158.26 c | 1817780 | 160 13600 95200 | 70131 67653 49 | 0.004 % |
1160.75/1161.32 c | 1822166 | 160 13600 95200 | 69873 62009 49 | 0.004 % |
1163.95/1164.59 c | 1826991 | 160 13600 95200 | 69873 66834 49 | 0.004 % |
1167.75/1168.30 c | 1832296 | 160 13600 95200 | 69843 62363 49 | 0.004 % |
1171.54/1172.10 c | 1838131 | 160 13600 95200 | 69843 68198 49 | 0.004 % |
1175.64/1176.20 c | 1844551 | 160 13600 95200 | 60715 57170 49 | 0.004 % |
1179.44/1180.05 c | 1851612 | 160 13600 95200 | 56071 51821 49 | 0.004 % |
1183.24/1183.86 c | 1859376 | 160 13600 95200 | 56071 53971 49 | 0.004 % |
1187.84/1188.45 c | 1867919 | 160 13600 95200 | 2147483647 62514 49 | 0.004 % |
1193.94/1194.57 c | 1877314 | 160 13600 95200 | 2147483647 71909 49 | 0.004 % |
1200.04/1200.61 HOME/SatELiteGTI: line 36: 32591 Terminated $MS $TMP.cnf $TMP.result
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1832603-1242785051/watcher-1832603-1242785051 -o /tmp/evaluation-result-1832603-1242785051/solver-1832603-1242785051 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832603-1242785051.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.96 1.02 1.00 3/64 32585
/proc/meminfo: memFree=1731560/2055920 swapFree=4179888/4192956
[pid=32585] ppid=32583 vsize=5356 CPUtime=0
/proc/32585/stat : 32585 (SatELiteGTI) R 32583 32585 32008 0 -1 4194304 291 249 0 0 0 0 0 0 18 0 1 0 306531284 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 271638237917 0 0 4100 65536 0 0 0 17 0 0 0
/proc/32585/statm: 1339 237 197 169 0 50 0
[startup+0.0226209 s]
/proc/loadavg: 0.96 1.02 1.00 3/64 32585
/proc/meminfo: memFree=1731560/2055920 swapFree=4179888/4192956
[pid=32585] ppid=32583 vsize=5356 CPUtime=0
/proc/32585/stat : 32585 (SatELiteGTI) S 32583 32585 32008 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 306531284 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 271638389572 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/32585/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.101636 s]
/proc/loadavg: 0.96 1.02 1.00 3/64 32585
/proc/meminfo: memFree=1731560/2055920 swapFree=4179888/4192956
[pid=32585] ppid=32583 vsize=5356 CPUtime=0.04
/proc/32585/stat : 32585 (SatELiteGTI) S 32583 32585 32008 0 -1 4194304 336 670 0 0 0 0 4 0 16 0 1 0 306531284 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 271638389572 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/32585/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 5356
[startup+0.301673 s]
/proc/loadavg: 0.96 1.02 1.00 3/64 32585
/proc/meminfo: memFree=1731560/2055920 swapFree=4179888/4192956
[pid=32585] ppid=32583 vsize=5356 CPUtime=0.04
/proc/32585/stat : 32585 (SatELiteGTI) S 32583 32585 32008 0 -1 4194304 336 670 0 0 0 0 4 0 16 0 1 0 306531284 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 271638389572 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/32585/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 5356
[startup+0.701746 s]
/proc/loadavg: 0.96 1.02 1.00 3/64 32585
/proc/meminfo: memFree=1731560/2055920 swapFree=4179888/4192956
[pid=32585] ppid=32583 vsize=5356 CPUtime=0.04
/proc/32585/stat : 32585 (SatELiteGTI) S 32583 32585 32008 0 -1 4194304 336 670 0 0 0 0 4 0 16 0 1 0 306531284 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 271638389572 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/32585/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 5356
[startup+1.50189 s]
/proc/loadavg: 0.96 1.02 1.00 2/66 32591
/proc/meminfo: memFree=1728344/2055920 swapFree=4179888/4192956
[pid=32585] ppid=32583 vsize=5356 CPUtime=0.04
/proc/32585/stat : 32585 (SatELiteGTI) S 32583 32585 32008 0 -1 4194304 336 670 0 0 0 0 4 0 16 0 1 0 306531284 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 271638389572 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/32585/statm: 1339 239 197 169 0 50 0
[pid=32591] ppid=32585 vsize=4816 CPUtime=1.43
/proc/32591/stat : 32591 (minisat_static) R 32585 32585 32008 0 -1 4194304 943 0 0 0 143 0 0 0 25 0 1 0 306531290 4931584 929 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/32591/statm: 1204 929 76 171 0 1031 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 10172
[startup+3.10218 s]
/proc/loadavg: 0.96 1.02 1.00 2/66 32591
/proc/meminfo: memFree=1726296/2055920 swapFree=4179888/4192956
[pid=32585] ppid=32583 vsize=5356 CPUtime=0.04
/proc/32585/stat : 32585 (SatELiteGTI) S 32583 32585 32008 0 -1 4194304 336 670 0 0 0 0 4 0 16 0 1 0 306531284 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 271638389572 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/32585/statm: 1339 239 197 169 0 50 0
[pid=32591] ppid=32585 vsize=7080 CPUtime=3.03
/proc/32591/stat : 32591 (minisat_static) R 32585 32585 32008 0 -1 4194304 1482 0 0 0 303 0 0 0 25 0 1 0 306531290 7249920 1468 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/32591/statm: 1770 1468 76 171 0 1597 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 12436
[startup+6.30176 s]
/proc/loadavg: 0.96 1.02 1.00 2/66 32591
/proc/meminfo: memFree=1723096/2055920 swapFree=4179888/4192956
[pid=32585] ppid=32583 vsize=5356 CPUtime=0.04
/proc/32585/stat : 32585 (SatELiteGTI) S 32583 32585 32008 0 -1 4194304 336 670 0 0 0 0 4 0 16 0 1 0 306531284 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 271638389572 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/32585/statm: 1339 239 197 169 0 50 0
[pid=32591] ppid=32585 vsize=9488 CPUtime=6.23
/proc/32591/stat : 32591 (minisat_static) R 32585 32585 32008 0 -1 4194304 2111 0 0 0 622 1 0 0 25 0 1 0 306531290 9715712 2097 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/32591/statm: 2372 2097 76 171 0 2199 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 14844
[startup+12.7019 s]
/proc/loadavg: 0.96 1.02 1.00 2/66 32591
/proc/meminfo: memFree=1719448/2055920 swapFree=4179888/4192956
[pid=32585] ppid=32583 vsize=5356 CPUtime=0.04
/proc/32585/stat : 32585 (SatELiteGTI) S 32583 32585 32008 0 -1 4194304 336 670 0 0 0 0 4 0 16 0 1 0 306531284 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 271638389572 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/32585/statm: 1339 239 197 169 0 50 0
[pid=32591] ppid=32585 vsize=12872 CPUtime=12.63
/proc/32591/stat : 32591 (minisat_static) R 32585 32585 32008 0 -1 4194304 2944 0 0 0 1261 2 0 0 25 0 1 0 306531290 13180928 2930 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/32591/statm: 3218 2930 76 171 0 3045 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 18228
[startup+25.5013 s]
/proc/loadavg: 0.97 1.02 1.00 2/66 32591
/proc/meminfo: memFree=1714456/2055920 swapFree=4179888/4192956
[pid=32585] ppid=32583 vsize=5356 CPUtime=0.04
/proc/32585/stat : 32585 (SatELiteGTI) S 32583 32585 32008 0 -1 4194304 336 670 0 0 0 0 4 0 16 0 1 0 306531284 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 271638389572 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/32585/statm: 1339 239 197 169 0 50 0
[pid=32591] ppid=32585 vsize=17624 CPUtime=25.41
/proc/32591/stat : 32591 (minisat_static) R 32585 32585 32008 0 -1 4194304 4118 0 0 0 2538 3 0 0 25 0 1 0 306531290 18046976 4104 1992294400 134512640 135215339 4294956240 18446744073709551615 134529083 0 0 4096 3 0 0 0 17 1 0 0
/proc/32591/statm: 4406 4104 76 171 0 4233 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 22980
[startup+51.1019 s]
/proc/loadavg: 0.98 1.02 1.00 2/66 32591
/proc/meminfo: memFree=1714072/2055920 swapFree=4179888/4192956
[pid=32585] ppid=32583 vsize=5356 CPUtime=0.04
/proc/32585/stat : 32585 (SatELiteGTI) S 32583 32585 32008 0 -1 4194304 336 670 0 0 0 0 4 0 16 0 1 0 306531284 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 271638389572 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/32585/statm: 1339 239 197 169 0 50 0
[pid=32591] ppid=32585 vsize=17888 CPUtime=51
/proc/32591/stat : 32591 (minisat_static) R 32585 32585 32008 0 -1 4194304 4189 0 0 0 5096 4 0 0 25 0 1 0 306531290 18317312 4175 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/32591/statm: 4472 4175 76 171 0 4299 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 23244
[startup+102.305 s]
/proc/loadavg: 0.99 1.01 1.00 2/66 32591
/proc/meminfo: memFree=1713368/2055920 swapFree=4179888/4192956
[pid=32585] ppid=32583 vsize=5356 CPUtime=0.04
/proc/32585/stat : 32585 (SatELiteGTI) S 32583 32585 32008 0 -1 4194304 336 670 0 0 0 0 4 0 16 0 1 0 306531284 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 271638389572 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/32585/statm: 1339 239 197 169 0 50 0
[pid=32591] ppid=32585 vsize=18416 CPUtime=102.17
/proc/32591/stat : 32591 (minisat_static) R 32585 32585 32008 0 -1 4194304 4323 0 0 0 10213 4 0 0 25 0 1 0 306531290 18857984 4309 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/32591/statm: 4604 4309 76 171 0 4431 0
Current children cumulated CPU time (s) 102.21
Current children cumulated vsize (KiB) 23772
[startup+162.301 s]
/proc/loadavg: 0.99 1.01 1.00 2/66 32591
/proc/meminfo: memFree=1712856/2055920 swapFree=4179888/4192956
[pid=32585] ppid=32583 vsize=5356 CPUtime=0.04
/proc/32585/stat : 32585 (SatELiteGTI) S 32583 32585 32008 0 -1 4194304 336 670 0 0 0 0 4 0 16 0 1 0 306531284 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 271638389572 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/32585/statm: 1339 239 197 169 0 50 0
[pid=32591] ppid=32585 vsize=18800 CPUtime=162.14
/proc/32591/stat : 32591 (minisat_static) R 32585 32585 32008 0 -1 4194304 4410 0 0 0 16209 5 0 0 25 0 1 0 306531290 19251200 4396 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/32591/statm: 4700 4396 76 171 0 4527 0
Current children cumulated CPU time (s) 162.18
Current children cumulated vsize (KiB) 24156
[startup+222.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 32591
/proc/meminfo: memFree=1712344/2055920 swapFree=4179888/4192956
[pid=32585] ppid=32583 vsize=5356 CPUtime=0.04
/proc/32585/stat : 32585 (SatELiteGTI) S 32583 32585 32008 0 -1 4194304 336 670 0 0 0 0 4 0 16 0 1 0 306531284 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 271638389572 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/32585/statm: 1339 239 197 169 0 50 0
[pid=32591] ppid=32585 vsize=19332 CPUtime=222.1
/proc/32591/stat : 32591 (minisat_static) R 32585 32585 32008 0 -1 4194304 4539 0 0 0 22204 6 0 0 25 0 1 0 306531290 19795968 4525 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/32591/statm: 4833 4525 76 171 0 4660 0
Current children cumulated CPU time (s) 222.14
Current children cumulated vsize (KiB) 24688
[startup+282.303 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 32591
/proc/meminfo: memFree=1710552/2055920 swapFree=4179888/4192956
[pid=32585] ppid=32583 vsize=5356 CPUtime=0.04
/proc/32585/stat : 32585 (SatELiteGTI) S 32583 32585 32008 0 -1 4194304 336 670 0 0 0 0 4 0 16 0 1 0 306531284 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 271638389572 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/32585/statm: 1339 239 197 169 0 50 0
[pid=32591] ppid=32585 vsize=21056 CPUtime=282.06
/proc/32591/stat : 32591 (minisat_static) R 32585 32585 32008 0 -1 4194304 4963 0 0 0 28200 6 0 0 25 0 1 0 306531290 21561344 4949 1992294400 134512640 135215339 4294956240 18446744073709551615 134529099 0 0 4096 3 0 0 0 17 1 0 0
/proc/32591/statm: 5264 4949 76 171 0 5091 0
Current children cumulated CPU time (s) 282.1
Current children cumulated vsize (KiB) 26412
[startup+342.302 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 32591
/proc/meminfo: memFree=1710232/2055920 swapFree=4179888/4192956
[pid=32585] ppid=32583 vsize=5356 CPUtime=0.04
/proc/32585/stat : 32585 (SatELiteGTI) S 32583 32585 32008 0 -1 4194304 336 670 0 0 0 0 4 0 16 0 1 0 306531284 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 271638389572 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/32585/statm: 1339 239 197 169 0 50 0
[pid=32591] ppid=32585 vsize=21196 CPUtime=342.04
/proc/32591/stat : 32591 (minisat_static) R 32585 32585 32008 0 -1 4194304 5025 0 0 0 34197 7 0 0 25 0 1 0 306531290 21704704 5011 1992294400 134512640 135215339 4294956240 18446744073709551615 134528700 0 0 4096 3 0 0 0 17 1 0 0
/proc/32591/statm: 5299 5011 76 171 0 5126 0
Current children cumulated CPU time (s) 342.08
Current children cumulated vsize (KiB) 26552
[startup+402.302 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 32591
/proc/meminfo: memFree=1709912/2055920 swapFree=4179888/4192956
[pid=32585] ppid=32583 vsize=5356 CPUtime=0.04
/proc/32585/stat : 32585 (SatELiteGTI) S 32583 32585 32008 0 -1 4194304 336 670 0 0 0 0 4 0 16 0 1 0 306531284 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 271638389572 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/32585/statm: 1339 239 197 169 0 50 0
[pid=32591] ppid=32585 vsize=21468 CPUtime=402.01
/proc/32591/stat : 32591 (minisat_static) R 32585 32585 32008 0 -1 4194304 5090 0 0 0 40194 7 0 0 25 0 1 0 306531290 21983232 5076 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/32591/statm: 5367 5076 76 171 0 5194 0
Current children cumulated CPU time (s) 402.05
Current children cumulated vsize (KiB) 26824
[startup+462.302 s]
################
# More data... #
################
[pid=32591] ppid=32585 vsize=21468 CPUtime=461.98
/proc/32591/stat : 32591 (minisat_static) R 32585 32585 32008 0 -1 4194304 5090 0 0 0 46191 7 0 0 25 0 1 0 306531290 21983232 5076 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/32591/statm: 5367 5076 76 171 0 5194 0
Current children cumulated CPU time (s) 462.02
Current children cumulated vsize (KiB) 26824
[startup+522.302 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 32591
/proc/meminfo: memFree=1709656/2055920 swapFree=4179888/4192956
[pid=32585] ppid=32583 vsize=5356 CPUtime=0.04
/proc/32585/stat : 32585 (SatELiteGTI) S 32583 32585 32008 0 -1 4194304 336 670 0 0 0 0 4 0 16 0 1 0 306531284 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 271638389572 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/32585/statm: 1339 239 197 169 0 50 0
[pid=32591] ppid=32585 vsize=21468 CPUtime=521.96
/proc/32591/stat : 32591 (minisat_static) R 32585 32585 32008 0 -1 4194304 5091 0 0 0 52188 8 0 0 25 0 1 0 306531290 21983232 5077 1992294400 134512640 135215339 4294956240 18446744073709551615 134528742 0 0 4096 3 0 0 0 17 1 0 0
/proc/32591/statm: 5367 5077 76 171 0 5194 0
Current children cumulated CPU time (s) 522
Current children cumulated vsize (KiB) 26824
[startup+582.302 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 32591
/proc/meminfo: memFree=1709272/2055920 swapFree=4179888/4192956
[pid=32585] ppid=32583 vsize=5356 CPUtime=0.04
/proc/32585/stat : 32585 (SatELiteGTI) S 32583 32585 32008 0 -1 4194304 336 670 0 0 0 0 4 0 16 0 1 0 306531284 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 271638389572 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/32585/statm: 1339 239 197 169 0 50 0
[pid=32591] ppid=32585 vsize=21876 CPUtime=581.94
/proc/32591/stat : 32591 (minisat_static) R 32585 32585 32008 0 -1 4194304 5171 0 0 0 58186 8 0 0 25 0 1 0 306531290 22401024 5157 1992294400 134512640 135215339 4294956240 18446744073709551615 134528688 0 0 4096 3 0 0 0 17 1 0 0
/proc/32591/statm: 5469 5157 76 171 0 5296 0
Current children cumulated CPU time (s) 581.98
Current children cumulated vsize (KiB) 27232
[startup+642.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 32591
/proc/meminfo: memFree=1709144/2055920 swapFree=4179888/4192956
[pid=32585] ppid=32583 vsize=5356 CPUtime=0.04
/proc/32585/stat : 32585 (SatELiteGTI) S 32583 32585 32008 0 -1 4194304 336 670 0 0 0 0 4 0 16 0 1 0 306531284 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 271638389572 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/32585/statm: 1339 239 197 169 0 50 0
[pid=32591] ppid=32585 vsize=21876 CPUtime=641.92
/proc/32591/stat : 32591 (minisat_static) R 32585 32585 32008 0 -1 4194304 5171 0 0 0 64183 9 0 0 25 0 1 0 306531290 22401024 5157 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/32591/statm: 5469 5157 76 171 0 5296 0
Current children cumulated CPU time (s) 641.96
Current children cumulated vsize (KiB) 27232
[startup+702.301 s]
/proc/loadavg: 1.04 1.01 1.00 2/66 32591
/proc/meminfo: memFree=1708888/2055920 swapFree=4179888/4192956
[pid=32585] ppid=32583 vsize=5356 CPUtime=0.04
/proc/32585/stat : 32585 (SatELiteGTI) S 32583 32585 32008 0 -1 4194304 336 670 0 0 0 0 4 0 16 0 1 0 306531284 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 271638389572 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/32585/statm: 1339 239 197 169 0 50 0
[pid=32591] ppid=32585 vsize=21876 CPUtime=701.89
/proc/32591/stat : 32591 (minisat_static) R 32585 32585 32008 0 -1 4194304 5171 0 0 0 70180 9 0 0 25 0 1 0 306531290 22401024 5157 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/32591/statm: 5469 5157 76 171 0 5296 0
Current children cumulated CPU time (s) 701.93
Current children cumulated vsize (KiB) 27232
[startup+762.305 s]
/proc/loadavg: 1.01 1.01 1.00 2/66 32591
/proc/meminfo: memFree=1708824/2055920 swapFree=4179888/4192956
[pid=32585] ppid=32583 vsize=5356 CPUtime=0.04
/proc/32585/stat : 32585 (SatELiteGTI) S 32583 32585 32008 0 -1 4194304 336 670 0 0 0 0 4 0 16 0 1 0 306531284 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 271638389572 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/32585/statm: 1339 239 197 169 0 50 0
[pid=32591] ppid=32585 vsize=21876 CPUtime=761.87
/proc/32591/stat : 32591 (minisat_static) R 32585 32585 32008 0 -1 4194304 5171 0 0 0 76178 9 0 0 25 0 1 0 306531290 22401024 5157 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/32591/statm: 5469 5157 76 171 0 5296 0
Current children cumulated CPU time (s) 761.91
Current children cumulated vsize (KiB) 27232
[startup+822.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 32591
/proc/meminfo: memFree=1708760/2055920 swapFree=4179888/4192956
[pid=32585] ppid=32583 vsize=5356 CPUtime=0.04
/proc/32585/stat : 32585 (SatELiteGTI) S 32583 32585 32008 0 -1 4194304 336 670 0 0 0 0 4 0 16 0 1 0 306531284 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 271638389572 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/32585/statm: 1339 239 197 169 0 50 0
[pid=32591] ppid=32585 vsize=21876 CPUtime=821.84
/proc/32591/stat : 32591 (minisat_static) R 32585 32585 32008 0 -1 4194304 5171 0 0 0 82175 9 0 0 25 0 1 0 306531290 22401024 5157 1992294400 134512640 135215339 4294956240 18446744073709551615 134528809 0 0 4096 3 0 0 0 17 1 0 0
/proc/32591/statm: 5469 5157 76 171 0 5296 0
Current children cumulated CPU time (s) 821.88
Current children cumulated vsize (KiB) 27232
[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 32591
/proc/meminfo: memFree=1708568/2055920 swapFree=4179888/4192956
[pid=32585] ppid=32583 vsize=5356 CPUtime=0.04
/proc/32585/stat : 32585 (SatELiteGTI) S 32583 32585 32008 0 -1 4194304 336 670 0 0 0 0 4 0 16 0 1 0 306531284 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 271638389572 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/32585/statm: 1339 239 197 169 0 50 0
[pid=32591] ppid=32585 vsize=21876 CPUtime=881.81
/proc/32591/stat : 32591 (minisat_static) R 32585 32585 32008 0 -1 4194304 5171 0 0 0 88172 9 0 0 25 0 1 0 306531290 22401024 5157 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/32591/statm: 5469 5157 76 171 0 5296 0
Current children cumulated CPU time (s) 881.85
Current children cumulated vsize (KiB) 27232
[startup+942.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 32591
/proc/meminfo: memFree=1708504/2055920 swapFree=4179888/4192956
[pid=32585] ppid=32583 vsize=5356 CPUtime=0.04
/proc/32585/stat : 32585 (SatELiteGTI) S 32583 32585 32008 0 -1 4194304 336 670 0 0 0 0 4 0 16 0 1 0 306531284 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 271638389572 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/32585/statm: 1339 239 197 169 0 50 0
[pid=32591] ppid=32585 vsize=21876 CPUtime=941.8
/proc/32591/stat : 32591 (minisat_static) R 32585 32585 32008 0 -1 4194304 5171 0 0 0 94170 10 0 0 25 0 1 0 306531290 22401024 5157 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/32591/statm: 5469 5157 76 171 0 5296 0
Current children cumulated CPU time (s) 941.84
Current children cumulated vsize (KiB) 27232
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 32591
/proc/meminfo: memFree=1707608/2055920 swapFree=4179888/4192956
[pid=32585] ppid=32583 vsize=5356 CPUtime=0.04
/proc/32585/stat : 32585 (SatELiteGTI) S 32583 32585 32008 0 -1 4194304 336 670 0 0 0 0 4 0 16 0 1 0 306531284 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 271638389572 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/32585/statm: 1339 239 197 169 0 50 0
[pid=32591] ppid=32585 vsize=22668 CPUtime=1001.77
/proc/32591/stat : 32591 (minisat_static) R 32585 32585 32008 0 -1 4194304 5378 0 0 0 100167 10 0 0 25 0 1 0 306531290 23212032 5364 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/32591/statm: 5667 5364 76 171 0 5494 0
Current children cumulated CPU time (s) 1001.81
Current children cumulated vsize (KiB) 28024
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 32591
/proc/meminfo: memFree=1707544/2055920 swapFree=4179888/4192956
[pid=32585] ppid=32583 vsize=5356 CPUtime=0.04
/proc/32585/stat : 32585 (SatELiteGTI) S 32583 32585 32008 0 -1 4194304 336 670 0 0 0 0 4 0 16 0 1 0 306531284 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 271638389572 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/32585/statm: 1339 239 197 169 0 50 0
[pid=32591] ppid=32585 vsize=22668 CPUtime=1061.75
/proc/32591/stat : 32591 (minisat_static) R 32585 32585 32008 0 -1 4194304 5378 0 0 0 106164 11 0 0 25 0 1 0 306531290 23212032 5364 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/32591/statm: 5667 5364 76 171 0 5494 0
Current children cumulated CPU time (s) 1061.79
Current children cumulated vsize (KiB) 28024
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 32591
/proc/meminfo: memFree=1706584/2055920 swapFree=4179888/4192956
[pid=32585] ppid=32583 vsize=5356 CPUtime=0.04
/proc/32585/stat : 32585 (SatELiteGTI) S 32583 32585 32008 0 -1 4194304 336 670 0 0 0 0 4 0 16 0 1 0 306531284 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 271638389572 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/32585/statm: 1339 239 197 169 0 50 0
[pid=32591] ppid=32585 vsize=23464 CPUtime=1121.73
/proc/32591/stat : 32591 (minisat_static) R 32585 32585 32008 0 -1 4194304 5574 0 0 0 112162 11 0 0 25 0 1 0 306531290 24027136 5560 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/32591/statm: 5866 5560 76 171 0 5693 0
Current children cumulated CPU time (s) 1121.77
Current children cumulated vsize (KiB) 28820
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 32591
/proc/meminfo: memFree=1706520/2055920 swapFree=4179888/4192956
[pid=32585] ppid=32583 vsize=5356 CPUtime=0.04
/proc/32585/stat : 32585 (SatELiteGTI) S 32583 32585 32008 0 -1 4194304 336 670 0 0 0 0 4 0 16 0 1 0 306531284 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 271638389572 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/32585/statm: 1339 239 197 169 0 50 0
[pid=32591] ppid=32585 vsize=23464 CPUtime=1181.7
/proc/32591/stat : 32591 (minisat_static) R 32585 32585 32008 0 -1 4194304 5574 0 0 0 118159 11 0 0 25 0 1 0 306531290 24027136 5560 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/32591/statm: 5866 5560 76 171 0 5693 0
Current children cumulated CPU time (s) 1181.74
Current children cumulated vsize (KiB) 28820
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 32591
/proc/meminfo: memFree=1706520/2055920 swapFree=4179888/4192956
[pid=32585] ppid=32583 vsize=5356 CPUtime=0.04
/proc/32585/stat : 32585 (SatELiteGTI) S 32583 32585 32008 0 -1 4194304 336 670 0 0 0 0 4 0 16 0 1 0 306531284 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 271638389572 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/32585/statm: 1339 239 197 169 0 50 0
[pid=32591] ppid=32585 vsize=23464 CPUtime=1200
/proc/32591/stat : 32591 (minisat_static) R 32585 32585 32008 0 -1 4194304 5574 0 0 0 119989 11 0 0 25 0 1 0 306531290 24027136 5560 1992294400 134512640 135215339 4294956240 18446744073709551615 134528806 0 0 4096 3 0 0 0 17 1 0 0
/proc/32591/statm: 5866 5560 76 171 0 5693 0
Current children cumulated CPU time (s) 1200.04
Current children cumulated vsize (KiB) 28820
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.61
CPU time (s): 1200.07
CPU user time (s): 1199.94
CPU system time (s): 0.12998
CPU usage (%): 99.9548
Max. virtual memory (cumulated for all children) (KiB): 28820
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.94
system time used= 0.12998
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6589
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 24
involuntary context switches= 4198
runsolver used 1.46678 second user time and 3.04954 second system time
The end
Begin job on node67 at 2009-05-20 04:04:11
IDJOB=1832603
IDBENCH=70265
IDSOLVER=671
FILE ID=node67/1832603-1242785051
PBS_JOBID= 9322349
Free space on /tmp= 66348 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/RANDOM/LARGE/7SAT/UNKNOWN/160/unif-k7-r85-v160-c13600-S592525179-032.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832603-1242785051/watcher-1832603-1242785051 -o /tmp/evaluation-result-1832603-1242785051/solver-1832603-1242785051 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832603-1242785051.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 7460bd7d43551ea81285a6734d727c9e
RANDOM SEED=1860032221
node67.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.277
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.277
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: 1732056 kB
Buffers: 33932 kB
Cached: 219976 kB
SwapCached: 7824 kB
Active: 40404 kB
Inactive: 222872 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1732056 kB
SwapTotal: 4192956 kB
SwapFree: 4179888 kB
Dirty: 1964 kB
Writeback: 0 kB
Mapped: 14112 kB
Slab: 46544 kB
Committed_AS: 1055064 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= 66348 MiB
End job on node67 at 2009-05-20 04:24:13