0.00/0.00 c Parsing...
0.00/0.01 c ==============================================================================
0.00/0.01 c | | ORIGINAL | LEARNT | |
0.00/0.01 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.01 c ==============================================================================
0.00/0.01 c | 0 | 13869 32361 | 4160 0 0 nan | 0.000 % |
0.00/0.08 c | 0 | 10390 29200 | -- 0 -- -- | -- | -3477/-3156
0.00/0.08 c ==============================================================================
0.00/0.08 c Result : #vars: 2564 #clauses: 10390 #literals: 29200
0.00/0.08 c CPU time: 0.075988 s
0.00/0.08 c ==============================================================================
0.00/0.09 c This is MiniSat 2.0 beta
0.00/0.09 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.09 c ============================[ Problem Statistics ]=============================
0.00/0.09 c | |
0.00/0.09 c | Number of variables: 2564 |
0.00/0.09 c | Number of clauses: 10390 |
0.08/0.10 c | Parsing time: 0.01 s |
0.08/0.10 c ============================[ Search Statistics ]==============================
0.08/0.10 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.08/0.10 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.08/0.10 c ===============================================================================
0.08/0.10 c | 0 | 2564 10390 29200 | 3463 0 nan | 0.000 % |
0.08/0.11 c | 100 | 2564 10390 29200 | 3463 100 12 | 0.001 % |
0.08/0.11 c | 201 | 2564 10390 29200 | 3463 201 21 | 0.002 % |
0.08/0.13 c | 302 | 2564 10390 29200 | 3463 302 29 | 0.000 % |
0.08/0.13 c | 413 | 2564 10390 29200 | 3463 413 24 | 0.000 % |
0.08/0.14 c | 513 | 2564 10390 29200 | 3463 513 26 | 0.000 % |
0.08/0.15 c | 623 | 2564 10390 29200 | 3463 623 30 | 0.001 % |
0.08/0.16 c | 745 | 2564 10390 29200 | 3463 745 29 | 0.000 % |
0.08/0.17 c | 845 | 2564 10390 29200 | 3463 845 31 | 0.000 % |
0.08/0.18 c | 957 | 2564 10390 29200 | 3463 957 30 | 0.000 % |
0.08/0.21 c | 1078 | 2564 10390 29200 | 3463 1078 35 | 0.000 % |
0.08/0.23 c | 1211 | 2564 10390 29200 | 3463 1211 37 | 0.001 % |
0.08/0.24 c | 1313 | 2564 10390 29200 | 3463 1313 36 | 0.000 % |
0.08/0.24 c | 1423 | 2564 10390 29200 | 3463 1423 35 | 0.000 % |
0.08/0.25 c | 1545 | 2564 10390 29200 | 3463 1545 35 | 0.000 % |
0.08/0.27 c | 1678 | 2564 10390 29200 | 3463 1678 36 | 0.000 % |
0.08/0.29 c | 1826 | 2564 10390 29200 | 3463 1826 38 | 0.000 % |
0.08/0.30 c | 1927 | 2564 10390 29200 | 3463 1927 39 | 0.000 % |
0.08/0.31 c | 2040 | 2564 10390 29200 | 3463 2040 38 | 0.000 % |
0.08/0.33 c | 2161 | 2564 10390 29200 | 3463 2161 40 | 0.000 % |
0.08/0.34 c | 2295 | 2564 10390 29200 | 3463 2295 42 | 0.002 % |
0.08/0.38 c | 2442 | 2564 10390 29200 | 3463 2442 45 | 0.000 % |
0.08/0.40 c | 2603 | 2564 10390 29200 | 3463 2603 45 | 0.000 % |
0.08/0.43 c | 2703 | 2564 10390 29200 | 3463 2703 45 | 0.000 % |
0.08/0.44 c | 2813 | 2564 10390 29200 | 3463 2813 44 | 0.000 % |
0.08/0.47 c | 2934 | 2564 10390 29200 | 3463 2934 45 | 0.000 % |
0.08/0.49 c | 3068 | 2564 10390 29200 | 3463 3068 45 | 0.000 % |
0.08/0.50 c | 3215 | 2564 10390 29200 | 3463 3215 45 | 0.001 % |
0.08/0.54 c | 3375 | 2564 10390 29200 | 3463 3375 47 | 0.000 % |
0.08/0.57 c | 3551 | 2564 10390 29200 | 3463 3551 47 | 0.000 % |
0.08/0.58 c | 3653 | 2564 10390 29200 | 3463 3298 48 | 0.000 % |
0.08/0.59 c | 3765 | 2564 10390 29200 | 3463 3410 47 | 0.000 % |
0.08/0.61 c | 3888 | 2564 10390 29200 | 3463 3533 47 | 0.001 % |
0.08/0.62 c | 4021 | 2564 10390 29200 | 3463 3313 47 | 0.001 % |
0.08/0.64 c | 4167 | 2564 10390 29200 | 3463 3459 48 | 0.001 % |
0.08/0.65 c | 4327 | 2564 10390 29200 | 3463 3619 47 | 0.000 % |
0.08/0.67 c | 4504 | 2564 10390 29200 | 3463 3435 45 | 0.000 % |
0.08/0.71 c | 4697 | 2564 10390 29200 | 3463 3628 48 | 0.001 % |
0.08/0.72 c | 4797 | 2564 10390 29200 | 3463 3366 47 | 0.000 % |
0.08/0.73 c | 4907 | 2564 10390 29200 | 3463 3476 47 | 0.000 % |
0.08/0.75 c | 5029 | 2564 10390 29200 | 3463 3251 45 | 0.000 % |
0.08/0.76 c | 5165 | 2564 10390 29200 | 3463 3387 47 | 0.002 % |
0.08/0.81 c | 5312 | 2564 10390 29200 | 3463 3534 49 | 0.000 % |
0.08/0.82 c | 5472 | 2564 10390 29200 | 3463 3341 46 | 0.000 % |
0.08/0.85 c | 5649 | 2564 10390 29200 | 3463 3518 45 | 0.000 % |
0.08/0.90 c | 5843 | 2564 10390 29200 | 3463 3361 45 | 0.000 % |
0.08/0.91 c | 6055 | 2564 10390 29200 | 3463 3573 44 | 0.001 % |
0.08/0.93 c | 6156 | 2564 10390 29200 | 3463 3317 43 | 0.000 % |
0.08/0.94 c | 6267 | 2564 10390 29200 | 3463 3428 43 | 0.000 % |
0.08/0.96 c | 6389 | 2564 10390 29200 | 3463 3550 43 | 0.000 % |
0.08/0.97 c | 6524 | 2564 10390 29200 | 3463 3330 43 | 0.000 % |
0.08/0.99 c | 6673 | 2564 10390 29200 | 3463 3479 45 | 0.001 % |
0.98/1.01 c | 6834 | 2564 10390 29200 | 3463 3293 45 | 0.000 % |
0.98/1.03 c | 7010 | 2564 10390 29200 | 3463 3469 44 | 0.000 % |
0.98/1.05 c | 7204 | 2564 10390 29200 | 3463 3317 43 | 0.000 % |
0.98/1.07 c | 7416 | 2564 10390 29200 | 3463 3529 42 | 0.000 % |
0.98/1.09 c | 7650 | 2564 10390 29200 | 3463 3411 39 | 0.000 % |
0.98/1.10 c | 7750 | 2564 10390 29200 | 3463 3511 39 | 0.000 % |
1.08/1.11 c | 7860 | 2564 10390 29200 | 3463 3270 36 | 0.000 % |
1.08/1.12 c | 7981 | 2564 10390 29200 | 3463 3391 36 | 0.000 % |
1.08/1.15 c | 8116 | 2564 10390 29200 | 3463 3526 36 | 0.000 % |
1.08/1.17 c | 8262 | 2564 10390 29200 | 3463 3320 36 | 0.000 % |
1.08/1.19 c | 8424 | 2564 10390 29200 | 3463 3482 36 | 0.001 % |
1.17/1.23 c | 8600 | 2564 10390 29200 | 3463 3310 35 | 0.000 % |
1.17/1.25 c | 8794 | 2564 10390 29200 | 3463 3504 35 | 0.000 % |
1.17/1.28 c | 9008 | 2564 10390 29200 | 3463 3368 33 | 0.000 % |
1.27/1.32 c | 9244 | 2564 10390 29200 | 3463 3604 37 | 0.000 % |
1.27/1.34 c | 9503 | 2564 10390 29200 | 3463 3503 35 | 0.000 % |
1.27/1.35 c | 9603 | 2564 10390 29200 | 3463 3253 33 | 0.001 % |
1.27/1.38 c | 9713 | 2564 10390 29200 | 3463 3363 35 | 0.000 % |
1.27/1.39 c | 9836 | 2564 10390 29200 | 3463 3486 35 | 0.000 % |
1.37/1.42 c | 9971 | 2564 10390 29200 | 3463 3273 36 | 0.000 % |
1.37/1.44 c | 10119 | 2564 10390 29200 | 2147483647 3421 37 | 0.000 % |
1.37/1.48 c | 10280 | 2564 10390 29200 | 2147483647 3582 38 | 0.000 % |
1.37/1.49 c | 10457 | 2564 10390 29200 | 2147483647 3759 38 | 0.000 % |
1.47/1.52 c | 10650 | 2564 10390 29200 | 2147483647 3952 38 | 0.000 % |
1.47/1.56 c | 10864 | 2564 10390 29200 | 2147483647 4166 39 | 0.000 % |
1.47/1.59 c | 11097 | 2564 10390 29200 | 2147483647 4399 38 | 0.000 % |
1.57/1.62 c | 11353 | 2564 10390 29200 | 2147483647 4655 41 | 0.001 % |
1.57/1.64 c | 11635 | 2564 10390 29200 | 2147483647 4937 40 | 0.000 % |
1.57/1.65 c | 11735 | 2564 10390 29200 | 2147483647 5037 40 | 0.000 % |
1.57/1.68 c | 11846 | 2564 10390 29200 | 2147483647 5148 40 | 0.000 % |
1.57/1.70 c | 11967 | 2564 10390 29200 | 2147483647 5269 40 | 0.000 % |
1.67/1.73 c | 12101 | 2564 10390 29200 | 2147483647 5403 40 | 0.000 % |
1.67/1.74 c | 12247 | 2564 10390 29200 | 2147483647 5549 40 | 0.000 % |
1.67/1.78 c | 12407 | 2564 10390 29200 | 2147483647 5709 40 | 0.000 % |
1.77/1.84 c | 12583 | 2564 10390 29200 | 2147483647 5885 41 | 0.000 % |
1.77/1.87 c | 12783 | 2564 10390 29200 | 2147483647 6085 42 | 0.001 % |
1.77/1.89 c | 12997 | 2564 10390 29200 | 2147483647 6299 42 | 0.000 % |
1.87/1.96 c | 13230 | 2564 10390 29200 | 2147483647 6532 44 | 0.000 % |
1.97/2.03 c | 13486 | 2564 10390 29200 | 2147483647 6788 44 | 0.000 % |
1.97/2.08 c | 13768 | 2564 10390 29200 | 2147483647 7070 44 | 0.000 % |
1.97/2.10 c | 14077 | 2564 10390 29200 | 2147483647 7379 43 | 0.000 % |
2.07/2.11 c | 14178 | 2564 10390 29200 | 2147483647 7480 43 | 0.000 % |
2.07/2.13 c | 14289 | 2564 10390 29200 | 2147483647 7591 43 | 0.000 % |
2.07/2.14 c | 14412 | 2564 10390 29200 | 2147483647 7714 43 | 0.000 % |
2.07/2.18 c | 14547 | 2564 10390 29200 | 2147483647 7849 43 | 0.000 % |
2.07/2.20 c | 14694 | 2564 10390 29200 | 2147483647 7996 43 | 0.001 % |
2.17/2.21 c | 14854 | 2564 10390 29200 | 2147483647 8156 43 | 0.001 % |
2.17/2.25 c | 15032 | 2564 10390 29200 | 2147483647 8334 43 | 0.000 % |
2.17/2.26 c | 15225 | 2564 10390 29200 | 2147483647 8527 43 | 0.000 % |
2.17/2.28 c | 15440 | 2564 10390 29200 | 2147483647 8742 43 | 0.000 % |
2.27/2.37 c | 15674 | 2564 10390 29200 | 2147483647 8976 43 | 0.000 % |
2.37/2.44 c | 15931 | 2564 10390 29200 | 2147483647 9233 43 | 0.000 % |
2.37/2.49 c | 16212 | 2564 10390 29200 | 2147483647 9514 43 | 0.000 % |
2.47/2.57 c | 16521 | 2564 10390 29200 | 2147483647 9823 44 | 0.000 % |
2.57/2.61 c | 16860 | 2564 10390 29200 | 2147483647 10162 45 | 0.000 % |
2.57/2.63 c | 16960 | 2564 10390 29200 | 2147483647 10262 45 | 0.000 % |
2.57/2.68 c | 17070 | 2564 10390 29200 | 2147483647 10372 45 | 0.000 % |
2.57/2.69 c | 17191 | 2564 10390 29200 | 2147483647 10493 45 | 0.000 % |
2.67/2.73 c | 17324 | 2564 10390 29200 | 2147483647 10626 46 | 0.000 % |
2.67/2.75 c | 17471 | 2564 10390 29200 | 2147483647 10773 46 | 0.000 % |
2.67/2.79 c | 17632 | 2564 10390 29200 | 2147483647 10934 46 | 0.000 % |
2.77/2.84 c | 17810 | 2564 10390 29200 | 2147483647 11112 46 | 0.000 % |
2.77/2.89 c | 18004 | 2564 10390 29200 | 2147483647 11306 46 | 0.000 % |
2.87/2.93 c | 18217 | 2564 10390 29200 | 2147483647 11519 46 | 0.001 % |
2.87/2.95 c | 18450 | 2564 10390 29200 | 2147483647 11752 46 | 0.000 % |
2.97/3.05 c | 18707 | 2564 10390 29200 | 2147483647 12009 47 | 0.001 % |
2.97/3.07 c | 18990 | 2564 10390 29200 | 2147483647 12292 46 | 0.000 % |
3.07/3.14 c | 19299 | 2564 10390 29200 | 2147483647 12601 47 | 0.000 % |
3.07/3.19 c | 19638 | 2564 10390 29200 | 2147483647 12940 46 | 0.000 % |
3.17/3.26 c | 20011 | 2564 10390 29200 | 2147483647 13313 46 | 0.000 % |
3.17/3.28 c | 20111 | 2564 10390 29200 | 2147483647 13413 47 | 0.001 % |
3.17/3.30 c | 20222 | 2564 10390 29200 | 2147483647 13524 47 | 0.000 % |
3.27/3.31 c | 20343 | 2564 10390 29200 | 2147483647 13645 46 | 0.000 % |
3.27/3.33 c | 20478 | 2564 10390 29200 | 2147483647 13780 46 | 0.001 % |
3.27/3.36 c | 20624 | 2564 10390 29200 | 2147483647 13926 46 | 0.000 % |
3.27/3.39 c | 20784 | 2564 10390 29200 | 2147483647 14086 46 | 0.000 % |
3.37/3.42 c | 20960 | 2564 10390 29200 | 2147483647 14262 46 | 0.000 % |
3.47/3.50 c | 21153 | 2564 10390 29200 | 2147483647 14455 46 | 0.000 % |
3.47/3.59 c | 21365 | 2564 10390 29200 | 2147483647 14667 46 | 0.000 % |
3.57/3.64 c | 21598 | 2564 10390 29200 | 2147483647 14900 46 | 0.000 % |
3.57/3.68 c | 21854 | 2564 10390 29200 | 2147483647 15156 47 | 0.001 % |
3.67/3.74 c | 22136 | 2564 10390 29200 | 2147483647 15438 47 | 0.000 % |
3.67/3.78 c | 22448 | 2564 10390 29200 | 2147483647 15750 46 | 0.000 % |
3.76/3.90 c | 22788 | 2564 10390 29200 | 2147483647 16090 46 | 0.000 % |
3.86/3.97 c | 23162 | 2564 10390 29200 | 2147483647 16464 46 | 0.000 % |
4.06/4.10 c | 23571 | 2564 10390 29200 | 2147483647 16873 46 | 0.000 % |
4.06/4.12 c | 23671 | 2564 10390 29200 | 2147483647 16973 47 | 0.001 % |
4.06/4.15 c | 23781 | 2564 10390 29200 | 2147483647 17083 47 | 0.000 % |
4.06/4.17 c | 23906 | 2564 10390 29200 | 2147483647 17208 47 | 0.001 % |
4.16/4.21 c | 24039 | 2564 10390 29200 | 2147483647 17341 47 | 0.000 % |
4.16/4.23 c | 24185 | 2564 10390 29200 | 2147483647 17487 47 | 0.001 % |
4.16/4.26 c | 24346 | 2564 10390 29200 | 2147483647 17648 47 | 0.001 % |
4.16/4.29 c | 24522 | 2564 10390 29200 | 2147483647 17824 47 | 0.000 % |
4.27/4.33 c | 24716 | 2564 10390 29200 | 2147483647 18018 47 | 0.001 % |
4.27/4.39 c | 24928 | 2564 10390 29200 | 2147483647 18230 47 | 0.000 % |
4.37/4.44 c | 25161 | 2564 10390 29200 | 2147483647 18463 47 | 0.000 % |
4.47/4.51 c | 25420 | 2564 10390 29200 | 2147483647 18722 47 | 0.000 % |
4.57/4.60 c | 25701 | 2564 10390 29200 | 2147483647 19003 47 | 0.000 % |
4.67/4.74 c | 26011 | 2564 10390 29200 | 2147483647 19313 47 | 0.000 % |
4.77/4.82 c | 26352 | 2564 10390 29200 | 2147483647 19654 48 | 0.001 % |
4.87/4.91 c | 26724 | 2564 10390 29200 | 2147483647 20026 48 | 0.000 % |
4.97/5.00 c | 27136 | 2564 10390 29200 | 2147483647 20438 48 | 0.000 % |
4.97/5.09 c | 27585 | 2564 10390 29200 | 2147483647 20887 47 | 0.000 % |
5.07/5.11 c | 27686 | 2564 10390 29200 | 2147483647 20988 47 | 0.000 % |
5.07/5.14 c | 27797 | 2564 10390 29200 | 2147483647 21099 47 | 0.000 % |
5.07/5.18 c | 27918 | 2564 10390 29200 | 2147483647 21220 47 | 0.000 % |
5.17/5.23 c | 28051 | 2564 10390 29200 | 2147483647 21353 48 | 0.000 % |
5.17/5.25 c | 28197 | 2564 10390 29200 | 2147483647 21499 48 | 0.001 % |
5.27/5.37 c | 28358 | 2564 10390 29200 | 2147483647 21660 48 | 0.000 % |
5.27/5.38 c | 28535 | 2564 10390 29200 | 2147483647 21837 48 | 0.001 % |
5.37/5.42 c | 28729 | 2564 10390 29200 | 2147483647 22031 48 | 0.000 % |
5.37/5.47 c | 28943 | 2564 10390 29200 | 2147483647 22245 47 | 0.000 % |
5.47/5.54 c | 29177 | 2564 10390 29200 | 2147483647 22479 48 | 0.000 % |
5.47/5.58 c | 29434 | 2564 10390 29200 | 2147483647 22736 47 | 0.000 % |
5.56/5.65 c | 29716 | 2564 10390 29200 | 2147483647 23018 47 | 0.000 % |
5.66/5.70 c | 30026 | 2564 10390 29200 | 2147483647 23328 47 | 0.000 % |
5.66/5.74 c | 30366 | 2564 10390 29200 | 2147483647 23668 47 | 0.000 % |
5.86/5.92 c | 30738 | 2564 10390 29200 | 2147483647 24040 47 | 0.000 % |
5.96/6.08 c | 31148 | 2564 10390 29200 | 2147483647 24450 47 | 0.000 % |
6.26/6.30 c | 31597 | 2564 10390 29200 | 2147483647 24899 47 | 0.001 % |
6.36/6.40 c | 32090 | 2564 10390 29200 | 2147483647 25392 48 | 0.001 % |
6.36/6.45 c | 32191 | 2564 10390 29200 | 2147483647 25493 48 | 0.001 % |
6.36/6.48 c | 32302 | 2564 10390 29200 | 2147483647 25604 48 | 0.000 % |
6.47/6.53 c | 32423 | 2564 10390 29200 | 2147483647 25725 48 | 0.000 % |
6.47/6.57 c | 32556 | 2564 10390 29200 | 2147483647 25858 48 | 0.000 % |
6.47/6.60 c | 32707 | 2564 10390 29200 | 2147483647 26009 48 | 0.000 % |
6.56/6.64 c | 32867 | 2564 10390 29200 | 2147483647 26169 48 | 0.000 % |
6.66/6.72 c | 33044 | 2564 10390 29200 | 2147483647 26346 48 | 0.001 % |
6.66/6.77 c | 33237 | 2564 10390 29200 | 2147483647 26539 48 | 0.000 % |
6.77/6.81 c | 33449 | 2564 10390 29200 | 2147483647 26751 48 | 0.002 % |
6.77/6.89 c | 33682 | 2564 10390 29200 | 2147483647 26984 48 | 0.000 % |
7.07/7.12 c | 33939 | 2563 10385 29189 | 2147483647 27239 48 | 0.039 % |
7.27/7.31 c | 34220 | 2563 10385 29189 | 2147483647 27520 48 | 0.039 % |
7.37/7.40 c | 34529 | 2563 10385 29189 | 2147483647 27829 48 | 0.039 % |
7.37/7.47 c | 34869 | 2563 10385 29189 | 2147483647 28169 48 | 0.040 % |
7.47/7.57 c | 35242 | 2563 10385 29189 | 2147483647 28542 48 | 0.039 % |
7.67/7.75 c | 35651 | 2563 10385 29189 | 2147483647 28951 48 | 0.039 % |
7.87/8.00 c | 36100 | 2563 10385 29189 | 2147483647 29400 48 | 0.039 % |
8.17/8.25 c | 36594 | 2563 10385 29189 | 2147483647 29894 48 | 0.039 % |
8.37/8.46 c | 37136 | 2563 10385 29189 | 2147483647 30436 49 | 0.039 % |
8.47/8.50 c | 37236 | 2563 10385 29189 | 2147483647 30536 49 | 0.040 % |
8.47/8.53 c | 37348 | 2563 10385 29189 | 2147483647 30648 48 | 0.040 % |
8.56/8.61 c | 37469 | 2563 10385 29189 | 2147483647 30769 48 | 0.039 % |
8.56/8.70 c | 37603 | 2563 10385 29189 | 2147483647 30903 49 | 0.039 % |
8.67/8.74 c | 37751 | 2563 10385 29189 | 2147483647 31051 48 | 0.039 % |
8.77/8.83 c | 37912 | 2563 10385 29189 | 2147483647 31212 49 | 0.039 % |
8.77/8.87 c | 38088 | 2563 10385 29189 | 2147483647 31388 49 | 0.039 % |
8.86/8.94 c | 38282 | 2563 10385 29189 | 2147483647 31582 49 | 0.040 % |
8.86/8.97 c | 38494 | 2563 10385 29189 | 2147483647 31794 49 | 0.039 % |
8.96/9.06 c | 38728 | 2563 10385 29189 | 2147483647 32028 49 | 0.039 % |
9.06/9.16 c | 38984 | 2563 10385 29189 | 2147483647 32284 49 | 0.040 % |
9.36/9.42 c | 39267 | 2563 10385 29189 | 2147483647 32567 49 | 0.039 % |
9.46/9.55 c | 39576 | 2563 10385 29189 | 2147483647 32876 49 | 0.039 % |
9.56/9.67 c | 39917 | 2563 10385 29189 | 2147483647 33217 49 | 0.040 % |
9.77/9.87 c | 40290 | 2563 10385 29189 | 2147483647 33590 49 | 0.039 % |
9.96/10.05 c | 40699 | 2563 10385 29189 | 2147483647 33999 49 | 0.039 % |
10.06/10.11 c | 41148 | 2563 10385 29189 | 2147483647 34448 49 | 0.039 % |
10.26/10.30 c | 41641 | 2563 10385 29189 | 2147483647 34941 49 | 0.039 % |
10.46/10.56 c | 42184 | 2563 10385 29189 | 2147483647 35484 49 | 0.039 % |
10.66/10.73 c | 42780 | 2563 10385 29189 | 2147483647 36080 49 | 0.039 % |
10.66/10.79 c | 42880 | 2563 10385 29189 | 2147483647 36180 49 | 0.039 % |
10.76/10.85 c | 42990 | 2563 10385 29189 | 2147483647 36290 49 | 0.040 % |
10.86/10.92 c | 43112 | 2563 10385 29189 | 2147483647 36412 49 | 0.039 % |
10.86/10.98 c | 43246 | 2563 10385 29189 | 2147483647 36546 49 | 0.039 % |
10.96/11.05 c | 43392 | 2563 10385 29189 | 2147483647 36692 49 | 0.039 % |
10.96/11.09 c | 43553 | 2563 10385 29189 | 2147483647 36853 49 | 0.040 % |
11.06/11.16 c | 43729 | 2563 10385 29189 | 2147483647 37029 49 | 0.041 % |
11.16/11.26 c | 43923 | 2563 10385 29189 | 2147483647 37223 49 | 0.039 % |
11.26/11.35 c | 44135 | 2563 10385 29189 | 2147483647 37435 49 | 0.039 % |
11.46/11.53 c | 44368 | 2563 10385 29189 | 2147483647 37668 49 | 0.039 % |
11.66/11.74 c | 44627 | 2563 10385 29189 | 2147483647 37927 49 | 0.040 % |
11.86/11.92 c | 44908 | 2563 10385 29189 | 2147483647 38208 49 | 0.040 % |
11.96/12.04 c | 45218 | 2563 10385 29189 | 2147483647 38518 49 | 0.039 % |
12.06/12.18 c | 45560 | 2563 10385 29189 | 2147483647 38860 49 | 0.039 % |
12.26/12.38 c | 45933 | 2563 10385 29189 | 2147483647 39233 49 | 0.039 % |
12.56/12.66 c | 46342 | 2563 10385 29189 | 2147483647 39642 49 | 0.040 % |
12.66/12.76 c | 46791 | 2563 10385 29189 | 2147483647 40091 49 | 0.040 % |
12.85/12.97 c | 47284 | 2563 10385 29189 | 2147483647 40584 49 | 0.039 % |
13.16/13.30 c | 47828 | 2563 10385 29189 | 2147483647 41128 49 | 0.039 % |
13.65/13.71 c | 48425 | 2563 10385 29189 | 2147483647 41725 49 | 0.039 % |
13.95/14.04 c | 49081 | 2563 10385 29189 | 2147483647 42381 49 | 0.039 % |
13.95/14.08 c | 49181 | 2563 10385 29189 | 2147483647 42481 49 | 0.040 % |
14.05/14.13 c | 49291 | 2563 10385 29189 | 2147483647 42591 49 | 0.039 % |
14.16/14.20 c | 49413 | 2563 10385 29189 | 2147483647 42713 49 | 0.039 % |
14.16/14.25 c | 49546 | 2563 10385 29189 | 2147483647 42846 49 | 0.039 % |
14.26/14.30 c | 49692 | 2563 10385 29189 | 2147483647 42992 49 | 0.040 % |
14.26/14.37 c | 49852 | 2563 10385 29189 | 2147483647 43152 49 | 0.039 % |
14.35/14.45 c | 50028 | 2563 10385 29189 | 2147483647 43328 49 | 0.039 % |
14.45/14.51 c | 50221 | 2563 10385 29189 | 2147483647 43521 49 | 0.040 % |
14.55/14.63 c | 50433 | 2563 10385 29189 | 2147483647 43733 49 | 0.039 % |
14.65/14.72 c | 50667 | 2563 10385 29189 | 2147483647 43967 48 | 0.039 % |
14.85/14.96 c | 50924 | 2563 10385 29189 | 2147483647 44224 49 | 0.039 % |
14.95/15.08 c | 51207 | 2563 10385 29189 | 2147483647 44507 48 | 0.039 % |
15.25/15.37 c | 51517 | 2563 10385 29189 | 2147483647 44817 49 | 0.039 % |
15.35/15.49 c | 51857 | 2563 10385 29189 | 2147483647 45157 49 | 0.040 % |
15.55/15.65 c | 52229 | 2563 10385 29189 | 2147483647 45529 49 | 0.039 % |
15.75/15.86 c | 52639 | 2563 10385 29189 | 2147483647 45939 49 | 0.040 % |
15.96/16.08 c | 53088 | 2563 10385 29189 | 2147483647 46388 49 | 0.039 % |
16.26/16.33 c | 53582 | 2563 10385 29189 | 2147483647 46882 49 | 0.039 % |
16.46/16.55 c | 54125 | 2563 10385 29189 | 2147483647 47425 49 | 0.040 % |
16.86/16.99 c | 54721 | 2563 10385 29189 | 2147483647 48021 49 | 0.039 % |
17.36/17.40 c | 55376 | 2563 10385 29189 | 2147483647 48676 49 | 0.039 % |
17.66/17.71 c | 56097 | 2563 10385 29189 | 2147483647 49397 49 | 0.039 % |
17.66/17.75 c | 56198 | 2563 10385 29189 | 2147483647 49498 49 | 0.040 % |
17.76/17.81 c | 56308 | 2563 10385 29189 | 2147483647 49608 49 | 0.039 % |
17.86/17.96 c | 56430 | 2563 10385 29189 | 2147483647 49730 49 | 0.039 % |
17.96/18.03 c | 56563 | 2563 10385 29189 | 2147483647 49863 49 | 0.039 % |
18.06/18.11 c | 56709 | 2563 10385 29189 | 2147483647 50009 49 | 0.040 % |
18.06/18.17 c | 56869 | 2563 10385 29189 | 2147483647 50169 49 | 0.039 % |
18.16/18.27 c | 57045 | 2563 10385 29189 | 2147483647 50345 49 | 0.039 % |
18.25/18.40 c | 57238 | 2563 10385 29189 | 2147483647 50538 49 | 0.039 % |
18.45/18.52 c | 57450 | 2563 10385 29189 | 2147483647 50750 49 | 0.040 % |
18.56/18.64 c | 57683 | 2563 10385 29189 | 2147483647 50983 49 | 0.040 % |
18.66/18.77 c | 57940 | 2563 10385 29189 | 2147483647 51240 49 | 0.039 % |
18.86/18.98 c | 58223 | 2563 10385 29189 | 2147483647 51523 49 | 0.039 % |
19.06/19.12 c | 58532 | 2563 10385 29189 | 2147483647 51832 48 | 0.040 % |
19.16/19.26 c | 58871 | 2563 10385 29189 | 2147483647 52171 49 | 0.040 % |
19.26/19.39 c | 59243 | 2563 10385 29189 | 2147483647 52543 49 | 0.039 % |
19.45/19.58 c | 59652 | 2563 10385 29189 | 2147483647 52952 48 | 0.039 % |
19.85/19.96 c | 60102 | 2563 10385 29189 | 2147483647 53402 49 | 0.039 % |
20.05/20.20 c | 60596 | 2563 10385 29189 | 2147483647 53896 48 | 0.039 % |
20.35/20.42 c | 61138 | 2563 10385 29189 | 2147483647 54438 49 | 0.040 % |
20.55/20.69 c | 61735 | 2563 10385 29189 | 2147483647 55035 48 | 0.039 % |
21.05/21.18 c | 62390 | 2563 10385 29189 | 2147483647 55690 48 | 0.039 % |
21.45/21.53 c | 63110 | 2563 10385 29189 | 2147483647 56410 48 | 0.039 % |
22.55/22.66 c | 63903 | 2563 10385 29189 | 2147483647 57203 48 | 0.039 % |
22.65/22.72 c | 64004 | 2563 10385 29189 | 2147483647 57304 48 | 0.039 % |
22.65/22.79 c | 64115 | 2563 10385 29189 | 2147483647 57415 48 | 0.040 % |
22.75/22.84 c | 64237 | 2563 10385 29189 | 2147483647 57537 48 | 0.039 % |
22.85/22.91 c | 64371 | 2563 10385 29189 | 2147483647 57671 48 | 0.039 % |
22.95/23.07 c | 64518 | 2563 10385 29189 | 2147483647 57818 48 | 0.039 % |
23.05/23.17 c | 64678 | 2563 10385 29189 | 2147483647 57978 48 | 0.040 % |
23.24/23.30 c | 64854 | 2563 10385 29189 | 2147483647 58154 48 | 0.039 % |
23.34/23.46 c | 65047 | 2563 10385 29189 | 2147483647 58347 48 | 0.039 % |
23.44/23.57 c | 65260 | 2563 10385 29189 | 2147483647 58560 48 | 0.040 % |
23.54/23.69 c | 65493 | 2563 10385 29189 | 2147483647 58793 48 | 0.039 % |
23.74/23.84 c | 65749 | 2563 10385 29189 | 2147483647 59049 48 | 0.039 % |
24.15/24.26 c | 66031 | 2563 10385 29189 | 2147483647 59331 48 | 0.039 % |
24.34/24.42 c | 66340 | 2563 10385 29189 | 2147483647 59640 48 | 0.040 % |
24.44/24.59 c | 66679 | 2563 10385 29189 | 2147483647 59979 48 | 0.039 % |
24.74/24.87 c | 67052 | 2563 10385 29189 | 2147483647 60352 48 | 0.039 % |
24.94/25.03 c | 67462 | 2563 10385 29189 | 2147483647 60762 48 | 0.039 % |
25.24/25.34 c | 67912 | 2563 10385 29189 | 2147483647 61212 48 | 0.039 % |
25.54/25.64 c | 68405 | 2563 10385 29189 | 2147483647 61705 48 | 0.039 % |
26.25/26.40 c | 68948 | 2563 10385 29189 | 2147483647 62248 48 | 0.040 % |
26.85/26.96 c | 69544 | 2563 10385 29189 | 2147483647 62844 48 | 0.039 % |
27.14/27.26 c | 70200 | 2563 10385 29189 | 63302 63500 48 | 0.040 % |
27.65/27.70 c | 70921 | 2563 10385 29189 | 63302 57449 46 | 0.039 % |
28.34/28.48 c | 71714 | 2563 10385 29189 | 63302 58242 46 | 0.039 % |
29.04/29.16 c | 72585 | 2563 10385 29189 | 63302 59113 46 | 0.039 % |
29.14/29.25 c | 72686 | 2563 10385 29189 | 63302 59214 46 | 0.040 % |
29.24/29.33 c | 72799 | 2563 10385 29189 | 63302 59327 46 | 0.039 % |
29.24/29.37 c | 72920 | 2563 10385 29189 | 63302 59448 46 | 0.039 % |
29.34/29.45 c | 73055 | 2563 10385 29189 | 63302 59583 46 | 0.039 % |
29.44/29.52 c | 73201 | 2563 10385 29189 | 63302 59729 46 | 0.041 % |
29.74/29.80 c | 73362 | 2563 10385 29189 | 63302 59890 46 | 0.039 % |
29.84/29.91 c | 73538 | 2563 10385 29189 | 63302 60066 46 | 0.039 % |
29.94/30.00 c | 73732 | 2563 10385 29189 | 63302 60260 46 | 0.039 % |
30.04/30.14 c | 73947 | 2563 10385 29189 | 63302 60475 46 | 0.040 % |
30.14/30.27 c | 74181 | 2563 10385 29189 | 63302 60709 46 | 0.039 % |
30.33/30.46 c | 74438 | 2563 10385 29189 | 63302 60966 46 | 0.039 % |
30.73/30.80 c | 74722 | 2563 10385 29189 | 63302 61250 46 | 0.040 % |
30.93/31.02 c | 75031 | 2563 10385 29189 | 63302 61559 46 | 0.039 % |
31.03/31.16 c | 75370 | 2563 10385 29189 | 63302 61898 46 | 0.040 % |
31.33/31.42 c | 75742 | 2563 10385 29189 | 63302 62270 46 | 0.039 % |
31.73/31.83 c | 76152 | 2563 10385 29189 | 63302 62680 46 | 0.039 % |
32.03/32.13 c | 76601 | 2563 10385 29189 | 63302 63129 46 | 0.040 % |
32.33/32.41 c | 77095 | 2563 10385 29189 | 63302 63623 46 | 0.039 % |
32.73/32.88 c | 77639 | 2563 10385 29189 | 63302 56206 44 | 0.039 % |
33.42/33.55 c | 78235 | 2563 10385 29189 | 63302 56802 44 | 0.039 % |
33.92/34.01 c | 78891 | 2563 10385 29189 | 63302 57458 44 | 0.039 % |
34.32/34.48 c | 79611 | 2563 10385 29189 | 63302 58178 44 | 0.040 % |
34.82/34.94 c | 80403 | 2563 10385 29189 | 58567 58970 44 | 0.039 % |
35.21/35.34 c | 81275 | 2563 10385 29189 | 58567 53399 42 | 0.039 % |
35.81/35.91 c | 82235 | 2563 10385 29189 | 58567 54359 42 | 0.040 % |
35.91/36.03 c | 82335 | 2563 10385 29189 | 58567 54459 42 | 0.039 % |
35.91/36.07 c | 82445 | 2563 10385 29189 | 58567 54569 42 | 0.039 % |
36.01/36.15 c | 82567 | 2563 10385 29189 | 58567 54691 42 | 0.039 % |
36.12/36.22 c | 82701 | 2563 10385 29189 | 58567 54825 42 | 0.040 % |
36.22/36.31 c | 82850 | 2563 10385 29189 | 58567 54974 42 | 0.040 % |
36.31/36.40 c | 83010 | 2563 10385 29189 | 58567 55134 42 | 0.039 % |
36.41/36.50 c | 83186 | 2563 10385 29189 | 58567 55310 42 | 0.040 % |
36.51/36.64 c | 83379 | 2563 10385 29189 | 58567 55503 42 | 0.039 % |
36.71/36.83 c | 83591 | 2563 10385 29189 | 58567 55715 42 | 0.039 % |
36.81/36.90 c | 83824 | 2563 10385 29189 | 58567 55948 42 | 0.039 % |
36.91/37.07 c | 84080 | 2563 10385 29189 | 58567 56204 42 | 0.040 % |
37.11/37.23 c | 84362 | 2563 10385 29189 | 58567 56486 42 | 0.040 % |
37.31/37.50 c | 84671 | 2563 10385 29189 | 58567 56795 42 | 0.040 % |
37.71/37.82 c | 85010 | 2563 10385 29189 | 58567 57134 42 | 0.040 % |
37.81/37.99 c | 85382 | 2563 10385 29189 | 58567 57506 42 | 0.040 % |
38.11/38.24 c | 85791 | 2563 10385 29189 | 58567 57915 42 | 0.039 % |
38.41/38.54 c | 86240 | 2563 10385 29189 | 58567 58364 42 | 0.040 % |
38.71/38.86 c | 86734 | 2563 10385 29189 | 58567 58858 42 | 0.039 % |
39.31/39.40 c | 87277 | 2563 10385 29189 | 58567 52125 40 | 0.039 % |
39.71/39.85 c | 87874 | 2563 10385 29189 | 58567 52722 40 | 0.039 % |
40.21/40.39 c | 88529 | 2563 10385 29189 | 58567 53377 40 | 0.039 % |
40.51/40.70 c | 89249 | 2563 10385 29189 | 58567 54097 40 | 0.040 % |
41.41/41.51 c | 90042 | 2563 10385 29189 | 54850 54890 41 | 0.039 % |
41.81/41.96 c | 90913 | 2563 10385 29189 | 54850 49858 39 | 0.040 % |
42.41/42.51 c | 91871 | 2563 10385 29189 | 54850 50816 39 | 0.040 % |
42.81/42.95 c | 92925 | 2563 10385 29189 | 54850 51870 39 | 0.039 % |
42.91/43.00 c | 93025 | 2563 10385 29189 | 54850 51970 39 | 0.039 % |
42.91/43.08 c | 93136 | 2563 10385 29189 | 54850 52081 39 | 0.040 % |
43.01/43.15 c | 93258 | 2563 10385 29189 | 54850 52203 39 | 0.039 % |
43.11/43.20 c | 93391 | 2563 10385 29189 | 54850 52336 39 | 0.039 % |
43.21/43.31 c | 93538 | 2563 10385 29189 | 54850 52483 39 | 0.039 % |
43.31/43.41 c | 93699 | 2563 10385 29189 | 54850 52644 39 | 0.039 % |
43.41/43.50 c | 93876 | 2563 10385 29189 | 54850 52821 39 | 0.039 % |
43.51/43.62 c | 94069 | 2563 10385 29189 | 54850 53014 39 | 0.039 % |
43.71/43.84 c | 94283 | 2563 10385 29189 | 54850 53228 39 | 0.040 % |
43.81/43.97 c | 94517 | 2563 10385 29189 | 54850 53462 39 | 0.039 % |
44.01/44.11 c | 94774 | 2563 10385 29189 | 54850 53719 40 | 0.040 % |
44.11/44.22 c | 95055 | 2563 10385 29189 | 54850 54000 39 | 0.040 % |
44.11/44.28 c | 95366 | 2563 10385 29189 | 54850 54311 40 | 0.045 % |
44.41/44.57 c | 95705 | 2563 10385 29189 | 54850 54650 40 | 0.039 % |
44.80/44.95 c | 96077 | 2563 10385 29189 | 54850 55022 40 | 0.039 % |
45.01/45.16 c | 96487 | 2563 10385 29189 | 54850 49222 38 | 0.040 % |
45.30/45.43 c | 96936 | 2563 10385 29189 | 54850 49671 39 | 0.039 % |
45.50/45.65 c | 97429 | 2563 10385 29189 | 54850 50164 39 | 0.039 % |
45.90/46.06 c | 97972 | 2563 10385 29189 | 54850 50707 39 | 0.039 % |
46.20/46.37 c | 98568 | 2563 10385 29189 | 54850 51303 38 | 0.039 % |
46.40/46.59 c | 99223 | 2563 10385 29189 | 54850 51958 39 | 0.040 % |
46.90/47.02 c | 99943 | 2563 10385 29189 | 54850 52678 39 | 0.039 % |
47.60/47.77 c | 100736 | 2563 10385 29189 | 52736 53471 39 | 0.039 % |
48.21/48.32 c | 101608 | 2563 10385 29189 | 52736 48996 38 | 0.040 % |
49.00/49.16 c | 102567 | 2563 10385 29189 | 52736 49955 38 | 0.039 % |
49.41/49.57 c | 103622 | 2563 10385 29189 | 52736 51010 38 | 0.040 % |
49.90/50.03 c | 104780 | 2563 10385 29189 | 52736 52168 39 | 0.040 % |
49.90/50.08 c | 104881 | 2563 10385 29189 | 52736 52269 39 | 0.039 % |
50.00/50.16 c | 104992 | 2563 10385 29189 | 52736 52380 39 | 0.039 % |
50.00/50.19 c | 105115 | 2563 10385 29189 | 52736 52503 39 | 0.039 % |
50.10/50.29 c | 105248 | 2563 10385 29189 | 52736 52636 39 | 0.039 % |
50.20/50.35 c | 105394 | 2563 10385 29189 | 52736 52782 39 | 0.040 % |
50.41/50.53 c | 105555 | 2563 10385 29189 | 52736 47665 37 | 0.039 % |
50.51/50.64 c | 105734 | 2563 10385 29189 | 52736 47844 37 | 0.040 % |
50.60/50.71 c | 105929 | 2563 10385 29189 | 52736 48039 37 | 0.039 % |
50.70/50.89 c | 106142 | 2563 10385 29189 | 52736 48252 37 | 0.039 % |
50.90/51.02 c | 106375 | 2563 10385 29189 | 52736 48485 37 | 0.040 % |
51.00/51.17 c | 106633 | 2563 10385 29189 | 52736 48743 37 | 0.039 % |
51.20/51.39 c | 106915 | 2563 10385 29189 | 52736 49025 37 | 0.039 % |
51.60/51.73 c | 107224 | 2563 10385 29189 | 52736 49334 37 | 0.039 % |
52.00/52.15 c | 107564 | 2563 10385 29189 | 52736 49674 37 | 0.039 % |
52.10/52.29 c | 107936 | 2563 10385 29189 | 52736 50046 38 | 0.040 % |
52.40/52.51 c | 108345 | 2563 10385 29189 | 52736 50455 38 | 0.040 % |
52.60/52.79 c | 108794 | 2563 10385 29189 | 52736 50904 38 | 0.039 % |
53.00/53.11 c | 109287 | 2563 10385 29189 | 52736 51397 38 | 0.039 % |
53.40/53.56 c | 109829 | 2563 10385 29189 | 52736 51939 38 | 0.039 % |
53.70/53.81 c | 110426 | 2563 10385 29189 | 2147483647 52536 38 | 0.039 % |
54.20/54.33 c | 111081 | 2563 10385 29189 | 2147483647 53191 38 | 0.039 % |
54.50/54.68 c | 111801 | 2563 10385 29189 | 2147483647 53911 39 | 0.040 % |
55.00/55.18 c | 112594 | 2563 10385 29189 | 2147483647 54704 39 | 0.039 % |
55.40/55.54 c | 113465 | 2563 10385 29189 | 2147483647 55575 39 | 0.040 % |
56.20/56.38 c | 114423 | 2563 10385 29189 | 2147483647 56533 39 | 0.040 % |
56.50/56.63 c | 115477 | 2563 10385 29189 | 2147483647 57587 39 | 0.039 % |
57.20/57.34 c | 116637 | 2563 10385 29189 | 2147483647 58747 39 | 0.039 % |
58.30/58.47 c | 117911 | 2563 10385 29189 | 2147483647 60021 39 | 0.039 % |
58.40/58.54 c | 118011 | 2563 10385 29189 | 2147483647 60121 39 | 0.039 % |
58.49/58.61 c | 118121 | 2563 10385 29189 | 2147483647 60231 39 | 0.040 % |
58.49/58.67 c | 118244 | 2563 10385 29189 | 2147483647 60354 39 | 0.039 % |
58.69/58.83 c | 118377 | 2563 10385 29189 | 2147483647 60487 39 | 0.039 % |
58.79/58.94 c | 118523 | 2563 10385 29189 | 2147483647 60633 39 | 0.039 % |
58.89/59.04 c | 118685 | 2563 10385 29189 | 2147483647 60795 39 | 0.040 % |
58.99/59.15 c | 118862 | 2563 10385 29189 | 2147483647 60972 39 | 0.039 % |
59.20/59.34 c | 119055 | 2563 10385 29189 | 2147483647 61165 39 | 0.039 % |
59.30/59.45 c | 119268 | 2563 10385 29189 | 2147483647 61378 39 | 0.040 % |
59.49/59.65 c | 119501 | 2563 10385 29189 | 2147483647 61611 39 | 0.039 % |
59.59/59.78 c | 119758 | 2563 10385 29189 | 2147483647 61868 39 | 0.039 % |
59.89/60.00 c | 120040 | 2563 10385 29189 | 2147483647 62150 39 | 0.039 % |
59.99/60.16 c | 120351 | 2563 10385 29189 | 2147483647 62461 39 | 0.040 % |
60.30/60.46 c | 120690 | 2563 10385 29189 | 2147483647 62800 39 | 0.041 % |
60.49/60.67 c | 121062 | 2563 10385 29189 | 2147483647 63172 39 | 0.039 % |
60.79/60.93 c | 121471 | 2563 10385 29189 | 2147483647 63581 40 | 0.040 % |
60.99/61.18 c | 121922 | 2563 10385 29189 | 2147483647 64032 40 | 0.040 % |
61.59/61.76 c | 122417 | 2563 10385 29189 | 2147483647 64527 40 | 0.039 % |
61.89/62.08 c | 122961 | 2563 10385 29189 | 2147483647 65071 40 | 0.040 % |
62.60/62.75 c | 123557 | 2563 10385 29189 | 2147483647 65667 40 | 0.039 % |
62.89/63.02 c | 124214 | 2563 10385 29189 | 2147483647 66324 40 | 0.040 % |
63.39/63.55 c | 124934 | 2563 10385 29189 | 2147483647 67044 40 | 0.039 % |
64.09/64.28 c | 125726 | 2563 10385 29189 | 2147483647 67836 40 | 0.040 % |
64.99/65.15 c | 126599 | 2563 10385 29189 | 2147483647 68709 40 | 0.040 % |
65.39/65.53 c | 127557 | 2563 10385 29189 | 2147483647 69667 41 | 0.039 % |
65.99/66.10 c | 128611 | 2563 10385 29189 | 2147483647 70721 41 | 0.040 % |
66.99/67.11 c | 129769 | 2563 10385 29189 | 2147483647 71879 41 | 0.039 % |
67.79/67.96 c | 131043 | 2563 10385 29189 | 72110 60478 39 | 0.040 % |
68.59/68.75 c | 132443 | 2563 10385 29189 | 72110 61878 39 | 0.039 % |
68.69/68.80 c | 132543 | 2563 10385 29189 | 72110 61978 39 | 0.039 % |
68.69/68.88 c | 132653 | 2563 10385 29189 | 72110 62088 39 | 0.040 % |
68.79/68.98 c | 132775 | 2563 10385 29189 | 72110 62210 39 | 0.039 % |
68.99/69.14 c | 132908 | 2563 10385 29189 | 72110 62343 39 | 0.039 % |
69.19/69.31 c | 133057 | 2563 10385 29189 | 72110 62492 39 | 0.039 % |
69.29/69.42 c | 133219 | 2563 10385 29189 | 72110 62654 39 | 0.040 % |
69.39/69.56 c | 133396 | 2563 10385 29189 | 72110 62831 39 | 0.039 % |
69.59/69.70 c | 133590 | 2563 10385 29189 | 72110 63025 39 | 0.039 % |
69.69/69.82 c | 133802 | 2563 10385 29189 | 72110 63237 39 | 0.040 % |
69.79/69.95 c | 134036 | 2563 10385 29189 | 72110 63471 39 | 0.039 % |
69.89/70.08 c | 134293 | 2563 10385 29189 | 72110 63728 39 | 0.039 % |
70.19/70.35 c | 134575 | 2563 10385 29189 | 72110 64010 39 | 0.039 % |
70.39/70.60 c | 134884 | 2563 10385 29189 | 72110 64319 39 | 0.040 % |
70.69/70.80 c | 135223 | 2563 10385 29189 | 72110 64658 39 | 0.040 % |
70.89/71.02 c | 135595 | 2563 10385 29189 | 72110 65030 39 | 0.039 % |
71.09/71.27 c | 136004 | 2563 10385 29189 | 72110 65439 39 | 0.040 % |
71.39/71.53 c | 136454 | 2563 10385 29189 | 72110 65889 39 | 0.039 % |
71.79/71.97 c | 136949 | 2563 10385 29189 | 72110 66384 39 | 0.039 % |
72.19/72.32 c | 137491 | 2563 10385 29189 | 72110 66926 39 | 0.040 % |
72.78/72.92 c | 138087 | 2563 10385 29189 | 72110 67522 39 | 0.041 % |
73.18/73.38 c | 138742 | 2563 10385 29189 | 72110 68177 40 | 0.040 % |
73.98/74.13 c | 139463 | 2563 10385 29189 | 72110 68898 40 | 0.040 % |
74.98/75.13 c | 140256 | 2563 10385 29189 | 69435 69691 40 | 0.039 % |
75.78/75.96 c | 141127 | 2563 10385 29189 | 69435 57453 37 | 0.039 % |
77.08/77.20 c | 142085 | 2563 10385 29189 | 69435 58411 38 | 0.039 % |
77.58/77.75 c | 143138 | 2563 10385 29189 | 69435 59464 38 | 0.041 % |
78.18/78.38 c | 144297 | 2563 10385 29189 | 69435 60623 38 | 0.039 % |
78.78/78.92 c | 145570 | 2563 10385 29189 | 69435 61896 38 | 0.040 % |
79.48/79.67 c | 146970 | 2563 10385 29189 | 69435 63296 39 | 0.039 % |
80.57/80.74 c | 148511 | 2563 10385 29189 | 69435 64837 39 | 0.039 % |
80.67/80.80 c | 148612 | 2563 10385 29189 | 69435 64938 39 | 0.040 % |
80.67/80.86 c | 148723 | 2563 10385 29189 | 69435 65049 39 | 0.039 % |
80.77/80.93 c | 148845 | 2563 10385 29189 | 69435 65171 39 | 0.039 % |
80.97/81.10 c | 148978 | 2563 10385 29189 | 69435 65304 39 | 0.040 % |
80.97/81.18 c | 149124 | 2563 10385 29189 | 69435 65450 39 | 0.040 % |
81.07/81.26 c | 149284 | 2563 10385 29189 | 69435 65610 39 | 0.039 % |
81.28/81.45 c | 149461 | 2563 10385 29189 | 69435 65787 39 | 0.039 % |
81.47/81.65 c | 149654 | 2563 10385 29189 | 69435 65980 39 | 0.040 % |
81.67/81.85 c | 149866 | 2563 10385 29189 | 69435 66192 39 | 0.039 % |
81.87/82.02 c | 150100 | 2563 10385 29189 | 66326 66426 39 | 0.039 % |
82.07/82.29 c | 150356 | 2563 10385 29189 | 66326 54997 36 | 0.039 % |
82.38/82.50 c | 150638 | 2563 10385 29189 | 66326 55279 36 | 0.039 % |
82.57/82.73 c | 150949 | 2563 10385 29189 | 66326 55590 36 | 0.039 % |
82.77/82.91 c | 151289 | 2563 10385 29189 | 66326 55930 36 | 0.039 % |
83.17/83.33 c | 151665 | 2563 10385 29189 | 66326 56306 36 | 0.039 % |
83.57/83.73 c | 152074 | 2563 10385 29189 | 66326 56715 36 | 0.039 % |
83.67/83.86 c | 152523 | 2563 10385 29189 | 66326 57164 37 | 0.041 % |
84.07/84.21 c | 153017 | 2563 10385 29189 | 66326 57658 37 | 0.040 % |
84.27/84.46 c | 153559 | 2563 10385 29189 | 66326 58200 37 | 0.040 % |
84.58/84.79 c | 154155 | 2563 10385 29189 | 66326 58796 37 | 0.040 % |
85.07/85.25 c | 154810 | 2563 10385 29189 | 66326 59451 37 | 0.039 % |
85.27/85.44 c | 155530 | 2563 10385 29189 | 66326 60171 37 | 0.039 % |
85.58/85.73 c | 156322 | 2563 10385 29189 | 66326 60963 37 | 0.040 % |
85.97/86.16 c | 157193 | 2563 10385 29189 | 66326 61834 37 | 0.039 % |
86.87/87.02 c | 158151 | 2563 10385 29189 | 66326 62792 38 | 0.039 % |
87.77/87.99 c | 159204 | 2563 10385 29189 | 66326 63845 38 | 0.040 % |
88.57/88.79 c | 160363 | 2563 10385 29189 | 64642 65004 38 | 0.039 % |
89.87/90.09 c | 161636 | 2563 10385 29189 | 64642 56661 37 | 0.039 % |
90.57/90.73 c | 163040 | 2563 10385 29189 | 64642 58065 37 | 0.040 % |
91.37/91.50 c | 164581 | 2563 10385 29189 | 64642 59606 38 | 0.041 % |
92.27/92.47 c | 166277 | 2563 10385 29189 | 64642 61302 38 | 0.039 % |
92.37/92.58 c | 166378 | 2563 10385 29189 | 64642 61403 38 | 0.039 % |
92.47/92.63 c | 166488 | 2563 10385 29189 | 64642 61513 38 | 0.040 % |
92.57/92.77 c | 166612 | 2563 10385 29189 | 64642 61637 38 | 0.039 % |
92.67/92.88 c | 166745 | 2563 10385 29189 | 64642 61770 38 | 0.040 % |
92.87/93.00 c | 166891 | 2563 10385 29189 | 64642 61916 38 | 0.040 % |
93.07/93.21 c | 167052 | 2563 10385 29189 | 64642 62077 38 | 0.039 % |
93.17/93.30 c | 167228 | 2563 10385 29189 | 64642 62253 38 | 0.045 % |
93.27/93.47 c | 167421 | 2563 10385 29189 | 64642 62446 38 | 0.039 % |
93.47/93.61 c | 167635 | 2563 10385 29189 | 64642 62660 38 | 0.040 % |
93.67/93.85 c | 167868 | 2563 10385 29189 | 64642 62893 38 | 0.039 % |
93.87/94.03 c | 168124 | 2563 10385 29189 | 64642 63149 38 | 0.040 % |
94.17/94.31 c | 168406 | 2563 10385 29189 | 64642 63431 38 | 0.039 % |
94.37/94.51 c | 168716 | 2563 10385 29189 | 64642 63741 38 | 0.039 % |
94.77/94.91 c | 169057 | 2563 10385 29189 | 64642 64082 38 | 0.040 % |
94.97/95.12 c | 169430 | 2563 10385 29189 | 64642 64455 38 | 0.040 % |
95.17/95.37 c | 169842 | 2563 10385 29189 | 64642 64867 38 | 0.039 % |
95.67/95.81 c | 170292 | 2563 10385 29189 | 54294 54585 36 | 0.040 % |
95.97/96.17 c | 170786 | 2563 10385 29189 | 54294 46441 34 | 0.039 % |
96.37/96.55 c | 171329 | 2563 10385 29189 | 54294 46984 34 | 0.039 % |
96.76/96.95 c | 171925 | 2563 10385 29189 | 54294 47580 34 | 0.039 % |
97.16/97.38 c | 172581 | 2563 10385 29189 | 54294 48236 34 | 0.039 % |
97.46/97.60 c | 173305 | 2563 10385 29189 | 54294 48960 35 | 0.040 % |
97.86/98.01 c | 174097 | 2563 10385 29189 | 54294 49752 35 | 0.039 % |
98.16/98.39 c | 174968 | 2563 10385 29189 | 54294 50623 35 | 0.041 % |
98.66/98.86 c | 175926 | 2563 10385 29189 | 54294 51581 35 | 0.040 % |
99.66/99.84 c | 176981 | 2563 10385 29189 | 54294 52636 35 | 0.039 % |
100.46/100.64 c | 178139 | 2563 10385 29189 | 54294 53794 35 | 0.040 % |
101.16/101.38 c | 179412 | 2563 10385 29189 | 54294 55067 35 | 0.039 % |
102.17/102.36 c | 180812 | 2563 10385 29189 | 49362 50172 34 | 0.039 % |
103.27/103.44 c | 182353 | 2563 10385 29189 | 49362 46460 33 | 0.039 % |
104.37/104.52 c | 184047 | 2563 10385 29189 | 49362 48154 34 | 0.039 % |
105.26/105.43 c | 185911 | 2563 10385 29189 | 49362 50018 34 | 0.040 % |
105.36/105.50 c | 186011 | 2563 10385 29189 | 49362 45117 32 | 0.039 % |
105.36/105.53 c | 186121 | 2563 10385 29189 | 49362 45227 32 | 0.039 % |
105.46/105.68 c | 186242 | 2563 10385 29189 | 49362 45348 32 | 0.039 % |
105.56/105.71 c | 186375 | 2563 10385 29189 | 49362 45481 32 | 0.039 % |
105.66/105.87 c | 186522 | 2563 10385 29189 | 49362 45628 32 | 0.039 % |
105.76/105.93 c | 186683 | 2563 10385 29189 | 49362 45789 32 | 0.040 % |
105.86/106.04 c | 186859 | 2563 10385 29189 | 49362 45965 32 | 0.039 % |
106.06/106.25 c | 187053 | 2563 10385 29189 | 49362 46159 33 | 0.040 % |
106.16/106.34 c | 187266 | 2563 10385 29189 | 49362 46372 33 | 0.040 % |
106.36/106.55 c | 187501 | 2563 10385 29189 | 49362 46607 33 | 0.040 % |
106.46/106.64 c | 187757 | 2563 10385 29189 | 49362 46863 33 | 0.040 % |
106.66/106.82 c | 188038 | 2563 10385 29189 | 49362 47144 33 | 0.040 % |
106.86/107.00 c | 188348 | 2563 10385 29189 | 49362 47454 33 | 0.040 % |
107.06/107.22 c | 188688 | 2563 10385 29189 | 49362 47794 33 | 0.039 % |
107.26/107.49 c | 189061 | 2563 10385 29189 | 49362 48167 34 | 0.039 % |
107.46/107.68 c | 189470 | 2563 10385 29189 | 49362 48576 34 | 0.040 % |
107.76/107.97 c | 189919 | 2563 10385 29189 | 49362 49025 34 | 0.039 % |
108.26/108.46 c | 190413 | 2563 10385 29189 | 2147483647 49519 34 | 0.040 % |
108.56/108.73 c | 190955 | 2563 10385 29189 | 2147483647 50061 34 | 0.040 % |
109.36/109.56 c | 191551 | 2563 10385 29189 | 2147483647 50657 34 | 0.039 % |
109.86/110.08 c | 192208 | 2563 10385 29189 | 2147483647 51314 34 | 0.040 % |
110.25/110.42 c | 192930 | 2563 10385 29189 | 2147483647 52036 34 | 0.039 % |
110.65/110.80 c | 193722 | 2563 10385 29189 | 2147483647 52828 34 | 0.040 % |
110.96/111.12 c | 194593 | 2563 10385 29189 | 2147483647 53699 34 | 0.039 % |
111.35/111.56 c | 195552 | 2563 10385 29189 | 2147483647 54658 35 | 0.040 % |
111.85/112.05 c | 196605 | 2563 10385 29189 | 2147483647 55711 35 | 0.039 % |
112.85/113.05 c | 197763 | 2563 10385 29189 | 2147483647 56869 36 | 0.039 % |
113.65/113.83 c | 199036 | 2563 10385 29189 | 2147483647 58142 36 | 0.039 % |
114.25/114.40 c | 200437 | 2563 10385 29189 | 59107 59543 36 | 0.040 % |
115.15/115.30 c | 201978 | 2563 10385 29189 | 59107 54102 35 | 0.040 % |
116.75/116.91 c | 203673 | 2563 10385 29189 | 59107 55797 36 | 0.040 % |
118.45/118.68 c | 205538 | 2563 10385 29189 | 59107 57662 37 | 0.039 % |
119.45/119.66 c | 207587 | 2563 10385 29189 | 59107 59711 37 | 0.040 % |
119.55/119.77 c | 207687 | 2563 10385 29189 | 59107 52811 36 | 0.039 % |
119.65/119.84 c | 207798 | 2563 10385 29189 | 59107 52922 36 | 0.039 % |
119.75/119.91 c | 207920 | 2563 10385 29189 | 59107 53044 36 | 0.039 % |
119.85/120.00 c | 208054 | 2563 10385 29189 | 59107 53178 36 | 0.039 % |
119.85/120.07 c | 208200 | 2563 10385 29189 | 59107 53324 36 | 0.040 % |
119.94/120.17 c | 208361 | 2563 10385 29189 | 59107 53485 36 | 0.039 % |
120.04/120.24 c | 208539 | 2563 10385 29189 | 59107 53663 36 | 0.039 % |
120.24/120.41 c | 208732 | 2563 10385 29189 | 59107 53856 37 | 0.040 % |
120.34/120.53 c | 208946 | 2563 10385 29189 | 59107 54070 37 | 0.039 % |
120.54/120.71 c | 209179 | 2563 10385 29189 | 59107 54303 37 | 0.039 % |
120.75/120.94 c | 209436 | 2563 10385 29189 | 59107 54560 37 | 0.039 % |
120.85/121.05 c | 209718 | 2563 10385 29189 | 59107 54842 37 | 0.040 % |
121.14/121.38 c | 210028 | 2563 10385 29189 | 55127 55152 37 | 0.039 % |
121.44/121.65 c | 210368 | 2563 10385 29189 | 55127 49192 36 | 0.039 % |
121.85/122.07 c | 210741 | 2563 10385 29189 | 55127 49565 36 | 0.039 % |
122.14/122.38 c | 211151 | 2563 10385 29189 | 55127 49975 36 | 0.039 % |
122.44/122.69 c | 211600 | 2563 10385 29189 | 55127 50424 36 | 0.039 % |
122.95/123.10 c | 212094 | 2563 10385 29189 | 55127 50918 36 | 0.039 % |
123.14/123.34 c | 212639 | 2563 10385 29189 | 55127 51463 37 | 0.039 % |
123.44/123.67 c | 213237 | 2563 10385 29189 | 55127 52061 37 | 0.039 % |
123.74/123.91 c | 213893 | 2563 10385 29189 | 55127 52717 37 | 0.039 % |
124.54/124.70 c | 214614 | 2563 10385 29189 | 55127 53438 37 | 0.039 % |
125.24/125.44 c | 215406 | 2563 10385 29189 | 55127 54230 37 | 0.039 % |
125.84/126.10 c | 216278 | 2563 10385 29189 | 55127 55102 37 | 0.039 % |
126.44/126.69 c | 217236 | 2563 10385 29189 | 55127 50485 36 | 0.039 % |
127.14/127.38 c | 218291 | 2563 10385 29189 | 55127 51540 36 | 0.039 % |
127.54/127.76 c | 219449 | 2563 10385 29189 | 55127 52698 36 | 0.039 % |
129.04/129.23 c | 220724 | 2563 10385 29189 | 2147483647 53973 36 | 0.039 % |
130.44/130.67 c | 222124 | 2563 10385 29189 | 2147483647 55373 36 | 0.039 % |
132.34/132.58 c | 223664 | 2563 10385 29189 | 2147483647 56913 36 | 0.039 % |
134.14/134.31 c | 225358 | 2563 10385 29189 | 2147483647 58607 37 | 0.039 % |
136.34/136.53 c | 227225 | 2563 10385 29189 | 2147483647 60474 37 | 0.039 % |
138.54/138.70 c | 229275 | 2563 10385 29189 | 2147483647 62524 38 | 0.039 % |
140.54/140.72 c | 231528 | 2563 10385 29189 | 2147483647 64777 38 | 0.040 % |
140.64/140.81 c | 231628 | 2563 10385 29189 | 2147483647 64877 38 | 0.040 % |
140.64/140.88 c | 231738 | 2563 10385 29189 | 2147483647 64987 38 | 0.039 % |
140.74/140.94 c | 231862 | 2563 10385 29189 | 2147483647 65111 38 | 0.039 % |
140.84/141.07 c | 231995 | 2563 10385 29189 | 2147483647 65244 38 | 0.039 % |
141.04/141.24 c | 232142 | 2563 10385 29189 | 2147483647 65391 38 | 0.039 % |
141.14/141.33 c | 232302 | 2563 10385 29189 | 2147483647 65551 38 | 0.039 % |
141.24/141.44 c | 232478 | 2563 10385 29189 | 2147483647 65727 38 | 0.039 % |
141.34/141.59 c | 232671 | 2563 10385 29189 | 2147483647 65920 38 | 0.039 % |
141.54/141.77 c | 232883 | 2563 10385 29189 | 2147483647 66132 38 | 0.039 % |
141.84/142.03 c | 233118 | 2563 10385 29189 | 2147483647 66367 38 | 0.039 % |
142.04/142.25 c | 233374 | 2563 10385 29189 | 2147483647 66623 38 | 0.039 % |
142.34/142.59 c | 233657 | 2563 10385 29189 | 2147483647 66906 38 | 0.039 % |
142.64/142.88 c | 233966 | 2563 10385 29189 | 2147483647 67215 38 | 0.039 % |
143.03/143.22 c | 234305 | 2563 10385 29189 | 2147483647 67554 38 | 0.039 % |
143.23/143.43 c | 234678 | 2563 10385 29189 | 2147483647 67927 38 | 0.039 % |
143.74/143.96 c | 235087 | 2563 10385 29189 | 2147483647 68336 38 | 0.040 % |
143.95/144.17 c | 235537 | 2563 10385 29189 | 2147483647 68786 38 | 0.040 % |
144.24/144.43 c | 236030 | 2563 10385 29189 | 2147483647 69279 38 | 0.040 % |
144.44/144.68 c | 236572 | 2563 10385 29189 | 2147483647 69821 38 | 0.040 % |
144.95/145.11 c | 237168 | 2563 10385 29189 | 2147483647 70417 39 | 0.040 % |
145.24/145.49 c | 237823 | 2563 10385 29189 | 2147483647 71072 38 | 0.039 % |
146.05/146.23 c | 238543 | 2563 10385 29189 | 2147483647 71792 39 | 0.040 % |
146.44/146.61 c | 239336 | 2563 10385 29189 | 2147483647 72585 39 | 0.039 % |
147.34/147.52 c | 240207 | 2563 10385 29189 | 73249 73456 39 | 0.040 % |
147.94/148.15 c | 241165 | 2563 10385 29189 | 73249 62555 37 | 0.039 % |
148.64/148.85 c | 242219 | 2563 10385 29189 | 73249 63609 37 | 0.039 % |
149.74/149.97 c | 243377 | 2563 10385 29189 | 73249 64767 37 | 0.040 % |
151.44/151.61 c | 244650 | 2563 10385 29189 | 73249 66040 37 | 0.039 % |
152.74/152.96 c | 246050 | 2563 10385 29189 | 73249 67440 37 | 0.039 % |
153.84/154.08 c | 247591 | 2563 10385 29189 | 73249 68981 37 | 0.040 % |
154.74/154.92 c | 249285 | 2563 10385 29189 | 73249 70675 38 | 0.041 % |
155.84/156.09 c | 251150 | 2563 10385 29189 | 71391 59629 34 | 0.040 % |
157.34/157.50 c | 253199 | 2563 10385 29189 | 71391 61678 34 | 0.039 % |
159.34/159.59 c | 255454 | 2563 10385 29189 | 71391 63933 34 | 0.040 % |
161.94/162.12 c | 257932 | 2563 10385 29189 | 71391 66411 34 | 0.039 % |
162.04/162.21 c | 258032 | 2563 10385 29189 | 71391 66511 34 | 0.040 % |
162.14/162.32 c | 258146 | 2563 10385 29189 | 71391 66625 34 | 0.040 % |
162.24/162.43 c | 258267 | 2563 10385 29189 | 71391 66746 34 | 0.039 % |
162.34/162.53 c | 258400 | 2563 10385 29189 | 71391 66879 34 | 0.040 % |
162.44/162.62 c | 258547 | 2563 10385 29189 | 71391 67026 34 | 0.039 % |
162.54/162.73 c | 258711 | 2563 10385 29189 | 71391 67190 34 | 0.040 % |
162.64/162.85 c | 258890 | 2563 10385 29189 | 71391 67369 34 | 0.039 % |
162.73/162.98 c | 259084 | 2563 10385 29189 | 71391 67563 34 | 0.039 % |
162.93/163.15 c | 259296 | 2563 10385 29189 | 71391 67775 34 | 0.040 % |
163.23/163.43 c | 259529 | 2563 10385 29189 | 71391 68008 34 | 0.039 % |
163.33/163.58 c | 259785 | 2563 10385 29189 | 71391 68264 35 | 0.040 % |
163.53/163.78 c | 260067 | 2563 10385 29189 | 68480 68546 35 | 0.039 % |
163.74/163.97 c | 260377 | 2563 10385 29189 | 68480 57564 33 | 0.040 % |
163.93/164.18 c | 260717 | 2563 10385 29189 | 68480 57904 33 | 0.040 % |
164.13/164.37 c | 261090 | 2563 10385 29189 | 68480 58277 33 | 0.039 % |
164.33/164.56 c | 261500 | 2563 10385 29189 | 68480 58687 33 | 0.039 % |
164.63/164.80 c | 261949 | 2563 10385 29189 | 68480 59136 34 | 0.040 % |
164.93/165.11 c | 262442 | 2563 10385 29189 | 68480 59629 34 | 0.039 % |
165.33/165.54 c | 262986 | 2563 10385 29189 | 68480 60173 34 | 0.039 % |
165.83/166.06 c | 263583 | 2563 10385 29189 | 68480 60770 34 | 0.040 % |
166.13/166.31 c | 264238 | 2563 10385 29189 | 68480 61425 34 | 0.040 % |
166.43/166.68 c | 264958 | 2563 10385 29189 | 68480 62145 34 | 0.039 % |
167.73/167.93 c | 265751 | 2563 10385 29189 | 68480 62938 34 | 0.039 % |
168.63/168.80 c | 266623 | 2563 10385 29189 | 68480 63810 34 | 0.039 % |
169.73/169.90 c | 267583 | 2563 10385 29189 | 68480 64770 35 | 0.039 % |
170.23/170.47 c | 268638 | 2563 10385 29189 | 68480 65825 35 | 0.040 % |
171.03/171.25 c | 269797 | 2563 10385 29189 | 68480 66984 35 | 0.040 % |
172.12/172.34 c | 271074 | 2563 10385 29189 | 67188 57248 33 | 0.039 % |
173.12/173.30 c | 272474 | 2563 10385 29189 | 67188 58648 33 | 0.040 % |
174.22/174.40 c | 274017 | 2563 10385 29189 | 67188 60191 34 | 0.039 % |
175.42/175.67 c | 275712 | 2563 10385 29189 | 67188 61886 34 | 0.039 % |
176.42/176.61 c | 277578 | 2563 10385 29189 | 67188 63752 34 | 0.040 % |
177.42/177.62 c | 279627 | 2563 10385 29189 | 67188 65801 35 | 0.039 % |
179.52/179.75 c | 281880 | 2563 10385 29189 | 66174 55857 33 | 0.039 % |
182.92/183.14 c | 284358 | 2563 10385 29189 | 66174 58335 33 | 0.039 % |
185.82/186.00 c | 287084 | 2563 10385 29189 | 66174 61061 33 | 0.040 % |
185.82/186.09 c | 287186 | 2563 10385 29189 | 66174 61163 33 | 0.040 % |
185.92/186.14 c | 287297 | 2563 10385 29189 | 66174 61274 33 | 0.039 % |
186.02/186.22 c | 287419 | 2563 10385 29189 | 66174 61396 33 | 0.040 % |
186.12/186.30 c | 287552 | 2563 10385 29189 | 66174 61529 33 | 0.040 % |
186.12/186.37 c | 287698 | 2563 10385 29189 | 66174 61675 34 | 0.040 % |
186.22/186.48 c | 287858 | 2563 10385 29189 | 66174 61835 34 | 0.039 % |
186.42/186.69 c | 288035 | 2563 10385 29189 | 66174 62012 34 | 0.039 % |
186.62/186.87 c | 288228 | 2563 10385 29189 | 66174 62205 34 | 0.040 % |
186.82/187.01 c | 288443 | 2563 10385 29189 | 66174 62420 34 | 0.039 % |
187.02/187.22 c | 288676 | 2563 10385 29189 | 66174 62653 34 | 0.040 % |
187.32/187.51 c | 288932 | 2563 10385 29189 | 66174 62909 34 | 0.039 % |
187.42/187.67 c | 289213 | 2563 10385 29189 | 66174 63190 34 | 0.039 % |
187.92/188.16 c | 289522 | 2563 10385 29189 | 66174 63499 34 | 0.039 % |
188.12/188.36 c | 289862 | 2563 10385 29189 | 66174 63839 34 | 0.040 % |
188.42/188.67 c | 290235 | 2563 10385 29189 | 63977 64212 34 | 0.039 % |
188.72/188.97 c | 290644 | 2563 10385 29189 | 63977 55597 33 | 0.039 % |
189.22/189.44 c | 291094 | 2563 10385 29189 | 63977 56047 33 | 0.039 % |
189.52/189.74 c | 291587 | 2563 10385 29189 | 63977 56540 33 | 0.039 % |
189.82/190.09 c | 292130 | 2563 10385 29189 | 63977 57083 33 | 0.040 % |
190.22/190.43 c | 292726 | 2563 10385 29189 | 63977 57679 33 | 0.039 % |
190.62/190.89 c | 293382 | 2563 10385 29189 | 63977 58335 33 | 0.039 % |
191.02/191.24 c | 294104 | 2563 10385 29189 | 63977 59057 33 | 0.040 % |
191.72/191.94 c | 294897 | 2563 10385 29189 | 63977 59850 33 | 0.039 % |
192.42/192.68 c | 295769 | 2563 10385 29189 | 63977 60722 33 | 0.039 % |
193.22/193.46 c | 296727 | 2563 10385 29189 | 63977 61680 33 | 0.040 % |
194.02/194.23 c | 297781 | 2563 10385 29189 | 63977 62734 33 | 0.039 % |
195.52/195.75 c | 298941 | 2563 10385 29189 | 63977 63894 34 | 0.039 % |
196.52/196.73 c | 300214 | 2563 10385 29189 | 56047 56261 32 | 0.039 % |
197.91/198.17 c | 301615 | 2563 10385 29189 | 56047 49935 30 | 0.039 % |
198.82/199.01 c | 303158 | 2563 10385 29189 | 56047 51478 30 | 0.039 % |
200.02/200.20 c | 304853 | 2563 10385 29189 | 56047 53173 31 | 0.039 % |
201.51/201.79 c | 306717 | 2563 10385 29189 | 56047 55037 32 | 0.040 % |
203.51/203.77 c | 308766 | 2563 10385 29189 | 56047 51400 30 | 0.039 % |
205.11/205.33 c | 311020 | 2563 10385 29189 | 2147483647 53654 30 | 0.039 % |
206.11/206.32 c | 313498 | 2563 10385 29189 | 2147483647 56132 31 | 0.040 % |
207.62/207.83 c | 316224 | 2563 10385 29189 | 2147483647 58858 32 | 0.039 % |
210.50/210.74 c | 319221 | 2563 10385 29189 | 2147483647 61855 32 | 0.039 % |
210.60/210.84 c | 319321 | 2563 10385 29189 | 2147483647 61955 32 | 0.039 % |
210.70/210.94 c | 319431 | 2563 10385 29189 | 2147483647 62065 32 | 0.040 % |
210.91/211.14 c | 319552 | 2563 10385 29189 | 2147483647 62186 32 | 0.039 % |
211.01/211.25 c | 319685 | 2563 10385 29189 | 2147483647 62319 32 | 0.040 % |
211.10/211.31 c | 319832 | 2563 10385 29189 | 2147483647 62466 32 | 0.039 % |
211.20/211.44 c | 319992 | 2563 10385 29189 | 2147483647 62626 33 | 0.039 % |
211.30/211.57 c | 320170 | 2563 10385 29189 | 62634 62804 33 | 0.039 % |
211.60/211.82 c | 320363 | 2563 10385 29189 | 62634 54909 32 | 0.039 % |
211.70/211.94 c | 320575 | 2563 10385 29189 | 62634 55121 32 | 0.039 % |
211.80/212.08 c | 320809 | 2563 10385 29189 | 62634 55355 32 | 0.039 % |
212.01/212.26 c | 321068 | 2563 10385 29189 | 62634 55614 32 | 0.040 % |
212.11/212.39 c | 321349 | 2563 10385 29189 | 62634 55895 32 | 0.040 % |
212.30/212.56 c | 321659 | 2563 10385 29189 | 62634 56205 32 | 0.039 % |
212.60/212.87 c | 321998 | 2563 10385 29189 | 62634 56544 32 | 0.040 % |
212.90/213.15 c | 322371 | 2563 10385 29189 | 62634 56917 32 | 0.040 % |
213.21/213.41 c | 322780 | 2563 10385 29189 | 62634 57326 32 | 0.039 % |
213.70/213.94 c | 323229 | 2563 10385 29189 | 62634 57775 32 | 0.040 % |
214.10/214.36 c | 323723 | 2563 10385 29189 | 62634 58269 32 | 0.039 % |
214.50/214.75 c | 324266 | 2563 10385 29189 | 62634 58812 32 | 0.039 % |
214.90/215.11 c | 324862 | 2563 10385 29189 | 62634 59408 32 | 0.039 % |
215.20/215.42 c | 325517 | 2563 10385 29189 | 62634 60063 32 | 0.039 % |
215.30/215.60 c | 326237 | 2563 10385 29189 | 62634 60783 33 | 0.040 % |
216.20/216.47 c | 327030 | 2563 10385 29189 | 62634 61576 33 | 0.039 % |
217.00/217.24 c | 327901 | 2563 10385 29189 | 62634 62447 33 | 0.040 % |
217.60/217.89 c | 328862 | 2563 10385 29189 | 62634 63408 33 | 0.040 % |
219.50/219.72 c | 329915 | 2563 10385 29189 | 62634 57128 32 | 0.039 % |
220.50/220.76 c | 331073 | 2563 10385 29189 | 57214 51687 31 | 0.039 % |
221.00/221.23 c | 332346 | 2563 10385 29189 | 57214 52960 32 | 0.040 % |
222.10/222.33 c | 333748 | 2563 10385 29189 | 57214 54362 33 | 0.040 % |
223.20/223.46 c | 335288 | 2563 10385 29189 | 57214 55902 33 | 0.039 % |
224.60/224.90 c | 336983 | 2563 10385 29189 | 57214 57597 33 | 0.040 % |
226.10/226.34 c | 338846 | 2563 10385 29189 | 57214 50823 32 | 0.040 % |
227.50/227.75 c | 340896 | 2563 10385 29189 | 51978 52873 32 | 0.039 % |
228.89/229.15 c | 343151 | 2563 10385 29189 | 51978 48438 31 | 0.039 % |
230.99/231.28 c | 345629 | 2563 10385 29189 | 51978 50916 32 | 0.039 % |
233.19/233.47 c | 348354 | 2563 10385 29189 | 51978 47847 32 | 0.039 % |
236.79/237.08 c | 351354 | 2563 10385 29189 | 2147483647 50847 33 | 0.040 % |
240.69/240.98 c | 354652 | 2563 10385 29189 | 2147483647 54145 34 | 0.039 % |
240.89/241.15 c | 354752 | 2563 10385 29189 | 2147483647 54245 34 | 0.039 % |
240.99/241.22 c | 354864 | 2563 10385 29189 | 2147483647 54357 34 | 0.045 % |
241.09/241.40 c | 354985 | 2563 10385 29189 | 2147483647 54478 34 | 0.039 % |
241.29/241.57 c | 355118 | 2563 10385 29189 | 2147483647 54611 34 | 0.039 % |
241.59/241.84 c | 355264 | 2563 10385 29189 | 2147483647 54757 34 | 0.039 % |
241.69/241.98 c | 355425 | 2563 10385 29189 | 2147483647 54918 34 | 0.040 % |
241.89/242.13 c | 355601 | 2563 10385 29189 | 2147483647 55094 34 | 0.039 % |
242.09/242.32 c | 355796 | 2563 10385 29189 | 2147483647 55289 34 | 0.039 % |
242.19/242.40 c | 356009 | 2563 10385 29189 | 2147483647 55502 34 | 0.039 % |
242.19/242.49 c | 356243 | 2563 10385 29189 | 2147483647 55736 34 | 0.039 % |
242.49/242.72 c | 356500 | 2563 10385 29189 | 2147483647 55993 34 | 0.039 % |
242.59/242.86 c | 356781 | 2563 10385 29189 | 2147483647 56274 34 | 0.040 % |
242.89/243.11 c | 357090 | 2563 10385 29189 | 2147483647 56583 34 | 0.040 % |
242.99/243.25 c | 357429 | 2563 10385 29189 | 2147483647 56922 34 | 0.045 % |
243.39/243.61 c | 357803 | 2563 10385 29189 | 2147483647 57296 34 | 0.039 % |
243.59/243.84 c | 358213 | 2563 10385 29189 | 2147483647 57706 34 | 0.039 % |
243.89/244.18 c | 358662 | 2563 10385 29189 | 2147483647 58155 34 | 0.039 % |
244.39/244.66 c | 359155 | 2563 10385 29189 | 2147483647 58648 34 | 0.039 % |
245.09/245.33 c | 359697 | 2563 10385 29189 | 2147483647 59190 34 | 0.039 % |
245.89/246.12 c | 360295 | 2563 10385 29189 | 2147483647 59788 34 | 0.039 % |
246.29/246.54 c | 360950 | 2563 10385 29189 | 2147483647 60443 34 | 0.039 % |
246.99/247.27 c | 361670 | 2563 10385 29189 | 2147483647 61163 35 | 0.039 % |
247.89/248.18 c | 362462 | 2563 10385 29189 | 2147483647 61955 35 | 0.039 % |
248.79/249.04 c | 363333 | 2563 10385 29189 | 2147483647 62826 35 | 0.039 % |
249.78/250.09 c | 364292 | 2563 10385 29189 | 2147483647 63785 35 | 0.039 % |
250.98/251.25 c | 365346 | 2563 10385 29189 | 2147483647 64839 35 | 0.040 % |
251.98/252.29 c | 366505 | 2563 10385 29189 | 2147483647 65998 35 | 0.039 % |
252.98/253.26 c | 367779 | 2563 10385 29189 | 2147483647 67272 35 | 0.040 % |
253.88/254.19 c | 369179 | 2563 10385 29189 | 2147483647 68672 35 | 0.040 % |
255.67/255.91 c | 370721 | 2563 10385 29189 | 69493 70214 36 | 0.040 % |
256.77/257.05 c | 372419 | 2563 10385 29189 | 69493 61312 34 | 0.039 % |
258.57/258.86 c | 374283 | 2563 10385 29189 | 69493 63176 35 | 0.040 % |
260.67/260.98 c | 376332 | 2563 10385 29189 | 69493 65225 35 | 0.039 % |
262.57/262.88 c | 378585 | 2563 10385 29189 | 69493 67478 35 | 0.039 % |
264.07/264.32 c | 381064 | 2563 10385 29189 | 68894 69957 36 | 0.040 % |
265.47/265.74 c | 383789 | 2563 10385 29189 | 68894 59061 33 | 0.039 % |
267.07/267.35 c | 386786 | 2563 10385 29189 | 68894 62058 34 | 0.039 % |
270.76/271.04 c | 390084 | 2563 10385 29189 | 65273 65356 34 | 0.039 % |
272.26/272.54 c | 393714 | 2563 10385 29189 | 65273 57055 32 | 0.039 % |
272.36/272.64 c | 393814 | 2563 10385 29189 | 65273 57155 32 | 0.039 % |
272.36/272.69 c | 393924 | 2563 10385 29189 | 65273 57265 32 | 0.040 % |
272.47/272.77 c | 394046 | 2563 10385 29189 | 65273 57387 32 | 0.040 % |
272.66/272.92 c | 394181 | 2563 10385 29189 | 65273 57522 33 | 0.040 % |
272.66/272.99 c | 394328 | 2563 10385 29189 | 65273 57669 33 | 0.039 % |
272.76/273.09 c | 394489 | 2563 10385 29189 | 65273 57830 33 | 0.039 % |
272.96/273.21 c | 394666 | 2563 10385 29189 | 65273 58007 33 | 0.039 % |
273.16/273.42 c | 394860 | 2563 10385 29189 | 65273 58201 33 | 0.039 % |
273.26/273.53 c | 395072 | 2563 10385 29189 | 65273 58413 33 | 0.039 % |
273.36/273.62 c | 395306 | 2563 10385 29189 | 65273 58647 33 | 0.040 % |
273.67/273.91 c | 395562 | 2563 10385 29189 | 65273 58903 33 | 0.039 % |
273.86/274.11 c | 395843 | 2563 10385 29189 | 65273 59184 33 | 0.040 % |
274.06/274.30 c | 396154 | 2563 10385 29189 | 65273 59495 33 | 0.040 % |
274.36/274.61 c | 396496 | 2563 10385 29189 | 65273 59837 33 | 0.039 % |
274.56/274.88 c | 396869 | 2563 10385 29189 | 65273 60210 33 | 0.039 % |
274.77/275.04 c | 397278 | 2563 10385 29189 | 65273 60619 33 | 0.040 % |
274.96/275.28 c | 397728 | 2563 10385 29189 | 65273 61069 33 | 0.040 % |
275.36/275.60 c | 398221 | 2563 10385 29189 | 65273 61562 33 | 0.040 % |
275.96/276.23 c | 398763 | 2563 10385 29189 | 65273 62104 33 | 0.039 % |
276.46/276.77 c | 399360 | 2563 10385 29189 | 65273 62701 33 | 0.039 % |
277.16/277.49 c | 400016 | 2563 10385 29189 | 63341 63357 34 | 0.040 % |
277.56/277.89 c | 400736 | 2563 10385 29189 | 63341 52819 33 | 0.040 % |
277.96/278.21 c | 401529 | 2563 10385 29189 | 63341 53612 33 | 0.039 % |
278.26/278.57 c | 402400 | 2563 10385 29189 | 63341 54483 33 | 0.040 % |
278.86/279.20 c | 403358 | 2563 10385 29189 | 63341 55441 33 | 0.039 % |
279.86/280.15 c | 404413 | 2563 10385 29189 | 63341 56496 34 | 0.039 % |
280.76/281.08 c | 405572 | 2563 10385 29189 | 63341 57655 34 | 0.039 % |
281.36/281.61 c | 406845 | 2563 10385 29189 | 63341 58928 34 | 0.040 % |
281.96/282.21 c | 408245 | 2563 10385 29189 | 63341 60328 34 | 0.039 % |
283.56/283.83 c | 409786 | 2563 10385 29189 | 63341 61869 35 | 0.039 % |
284.56/284.90 c | 411481 | 2563 10385 29189 | 62085 54595 33 | 0.040 % |
286.56/286.81 c | 413345 | 2563 10385 29189 | 62085 56459 34 | 0.039 % |
288.65/288.92 c | 415394 | 2563 10385 29189 | 62085 58508 34 | 0.039 % |
290.65/290.96 c | 417648 | 2563 10385 29189 | 62085 60762 34 | 0.039 % |
293.36/293.65 c | 420127 | 2563 10385 29189 | 2147483647 56935 33 | 0.040 % |
295.75/296.02 c | 422853 | 2563 10385 29189 | 2147483647 59661 34 | 0.039 % |
298.85/299.16 c | 425850 | 2563 10385 29189 | 2147483647 62658 34 | 0.039 % |
301.54/301.81 c | 429147 | 2563 10385 29189 | 2147483647 65955 34 | 0.040 % |
304.54/304.88 c | 432773 | 2563 10385 29189 | 66810 58481 33 | 0.039 % |
307.74/308.04 c | 436761 | 2563 10385 29189 | 66810 62469 33 | 0.039 % |
307.84/308.13 c | 436861 | 2563 10385 29189 | 66810 62569 33 | 0.040 % |
307.94/308.24 c | 436971 | 2563 10385 29189 | 66810 62679 33 | 0.040 % |
308.04/308.36 c | 437092 | 2563 10385 29189 | 66810 62800 33 | 0.039 % |
308.14/308.46 c | 437225 | 2563 10385 29189 | 66810 62933 33 | 0.040 % |
308.34/308.60 c | 437371 | 2563 10385 29189 | 66810 63079 33 | 0.040 % |
308.44/308.74 c | 437531 | 2563 10385 29189 | 66810 63239 33 | 0.039 % |
308.54/308.85 c | 437708 | 2563 10385 29189 | 66810 63416 33 | 0.039 % |
308.74/309.00 c | 437901 | 2563 10385 29189 | 66810 63609 33 | 0.039 % |
308.85/309.13 c | 438114 | 2563 10385 29189 | 66810 63822 33 | 0.040 % |
309.04/309.30 c | 438348 | 2563 10385 29189 | 66810 64056 33 | 0.039 % |
309.24/309.52 c | 438606 | 2563 10385 29189 | 66810 64314 33 | 0.039 % |
309.44/309.72 c | 438889 | 2563 10385 29189 | 66810 64597 33 | 0.040 % |
309.74/310.01 c | 439198 | 2563 10385 29189 | 66810 64906 34 | 0.039 % |
309.94/310.25 c | 439537 | 2563 10385 29189 | 66810 65245 34 | 0.039 % |
310.14/310.41 c | 439909 | 2563 10385 29189 | 66810 65617 34 | 0.039 % |
310.34/310.61 c | 440321 | 2563 10385 29189 | 65708 66029 34 | 0.039 % |
310.54/310.86 c | 440770 | 2563 10385 29189 | 65708 54433 32 | 0.039 % |
311.04/311.31 c | 441264 | 2563 10385 29189 | 65708 54927 32 | 0.040 % |
311.34/311.66 c | 441806 | 2563 10385 29189 | 65708 55469 32 | 0.039 % |
311.64/311.96 c | 442402 | 2563 10385 29189 | 65708 56065 32 | 0.040 % |
312.54/312.86 c | 443058 | 2563 10385 29189 | 65708 56721 32 | 0.039 % |
312.94/313.28 c | 443778 | 2563 10385 29189 | 65708 57441 33 | 0.040 % |
313.54/313.84 c | 444570 | 2563 10385 29189 | 65708 58233 33 | 0.039 % |
314.14/314.47 c | 445443 | 2563 10385 29189 | 65708 59106 33 | 0.040 % |
314.74/315.06 c | 446401 | 2563 10385 29189 | 65708 60064 33 | 0.039 % |
315.64/315.93 c | 447455 | 2563 10385 29189 | 65708 61118 33 | 0.040 % |
316.54/316.84 c | 448613 | 2563 10385 29189 | 65708 62276 33 | 0.040 % |
317.23/317.57 c | 449887 | 2563 10385 29189 | 65708 63550 33 | 0.040 % |
318.64/318.93 c | 451288 | 2563 10385 29189 | 63665 55124 31 | 0.040 % |
319.74/320.06 c | 452828 | 2563 10385 29189 | 63665 56664 31 | 0.039 % |
320.94/321.24 c | 454525 | 2563 10385 29189 | 63665 58361 31 | 0.040 % |
322.04/322.34 c | 456388 | 2563 10385 29189 | 63665 60224 32 | 0.040 % |
323.43/323.73 c | 458437 | 2563 10385 29189 | 63665 62273 32 | 0.040 % |
326.03/326.39 c | 460691 | 2563 10385 29189 | 63837 64527 33 | 0.040 % |
328.33/328.61 c | 463169 | 2563 10385 29189 | 63837 57934 32 | 0.039 % |
331.53/331.86 c | 465895 | 2563 10385 29189 | 63837 60660 32 | 0.039 % |
334.33/334.60 c | 468893 | 2563 10385 29189 | 63837 63658 34 | 0.039 % |
336.53/336.87 c | 472190 | 2563 10385 29189 | 64765 58433 33 | 0.040 % |
339.63/339.99 c | 475816 | 2563 10385 29189 | 64765 62059 34 | 0.039 % |
343.32/343.61 c | 479804 | 2563 10385 29189 | 64765 57404 33 | 0.039 % |
348.01/348.36 c | 484189 | 2563 10385 29189 | 57600 54486 33 | 0.039 % |
348.11/348.45 c | 484290 | 2563 10385 29189 | 57600 54587 33 | 0.039 % |
348.21/348.51 c | 484400 | 2563 10385 29189 | 57600 54697 33 | 0.039 % |
348.32/348.62 c | 484521 | 2563 10385 29189 | 57600 54818 33 | 0.039 % |
348.32/348.69 c | 484656 | 2563 10385 29189 | 57600 54953 34 | 0.040 % |
348.42/348.76 c | 484802 | 2563 10385 29189 | 57600 55099 34 | 0.039 % |
348.51/348.88 c | 484963 | 2563 10385 29189 | 57600 55260 34 | 0.039 % |
348.71/349.01 c | 485139 | 2563 10385 29189 | 57600 55436 34 | 0.040 % |
348.81/349.14 c | 485335 | 2563 10385 29189 | 57600 55632 34 | 0.039 % |
349.01/349.39 c | 485547 | 2563 10385 29189 | 57600 55844 34 | 0.039 % |
349.11/349.49 c | 485781 | 2563 10385 29189 | 57600 56078 34 | 0.040 % |
349.42/349.72 c | 486042 | 2563 10385 29189 | 57600 56339 34 | 0.039 % |
349.52/349.83 c | 486323 | 2563 10385 29189 | 57600 56620 34 | 0.039 % |
349.71/350.08 c | 486633 | 2563 10385 29189 | 57600 56930 34 | 0.040 % |
349.91/350.24 c | 486972 | 2563 10385 29189 | 57600 57269 34 | 0.040 % |
350.01/350.40 c | 487345 | 2563 10385 29189 | 57600 57642 34 | 0.039 % |
350.52/350.89 c | 487755 | 2563 10385 29189 | 57600 51471 33 | 0.039 % |
350.71/351.09 c | 488204 | 2563 10385 29189 | 57600 51920 33 | 0.040 % |
351.11/351.49 c | 488699 | 2563 10385 29189 | 57600 52415 33 | 0.039 % |
351.51/351.82 c | 489241 | 2563 10385 29189 | 57600 52957 33 | 0.040 % |
352.11/352.42 c | 489838 | 2563 10385 29189 | 57600 53554 33 | 0.039 % |
352.61/352.90 c | 490494 | 2563 10385 29189 | 53719 48802 33 | 0.039 % |
353.11/353.40 c | 491214 | 2563 10385 29189 | 53719 49522 33 | 0.039 % |
353.51/353.88 c | 492007 | 2563 10385 29189 | 53719 50315 33 | 0.039 % |
353.82/354.14 c | 492878 | 2563 10385 29189 | 53719 51186 33 | 0.040 % |
354.41/354.76 c | 493837 | 2563 10385 29189 | 53719 52145 33 | 0.039 % |
355.01/355.39 c | 494891 | 2563 10385 29189 | 53719 53199 34 | 0.039 % |
355.91/356.28 c | 496049 | 2563 10385 29189 | 53719 54357 34 | 0.039 % |
356.51/356.85 c | 497323 | 2563 10385 29189 | 53719 50196 33 | 0.040 % |
358.01/358.31 c | 498724 | 2563 10385 29189 | 53719 51597 33 | 0.040 % |
359.71/360.01 c | 500266 | 2563 10385 29189 | 2147483647 53139 33 | 0.039 % |
361.31/361.69 c | 501960 | 2563 10385 29189 | 2147483647 54833 34 | 0.040 % |
363.31/363.62 c | 503823 | 2563 10385 29189 | 2147483647 56696 34 | 0.039 % |
365.41/365.71 c | 505873 | 2563 10385 29189 | 2147483647 58746 35 | 0.039 % |
366.91/367.28 c | 508127 | 2563 10385 29189 | 2147483647 61000 35 | 0.039 % |
370.11/370.42 c | 510605 | 2563 10385 29189 | 62874 63478 35 | 0.039 % |
373.10/373.49 c | 513331 | 2563 10385 29189 | 62874 58423 33 | 0.039 % |
376.70/377.08 c | 516328 | 2563 10385 29189 | 62874 61420 34 | 0.040 % |
380.10/380.49 c | 519625 | 2563 10385 29189 | 62874 56687 32 | 0.039 % |
382.50/382.88 c | 523250 | 2563 10385 29189 | 57062 53409 31 | 0.039 % |
386.90/387.23 c | 527238 | 2563 10385 29189 | 57062 57397 32 | 0.039 % |
391.30/391.67 c | 531623 | 2563 10385 29189 | 2147483647 56043 31 | 0.039 % |
396.49/396.80 c | 536447 | 2563 10385 29189 | 2147483647 60867 32 | 0.039 % |
396.59/396.92 c | 536549 | 2563 10385 29189 | 2147483647 60969 32 | 0.039 % |
396.59/396.98 c | 536660 | 2563 10385 29189 | 2147483647 61080 32 | 0.040 % |
396.70/397.04 c | 536782 | 2563 10385 29189 | 2147483647 61202 32 | 0.040 % |
396.80/397.13 c | 536917 | 2563 10385 29189 | 2147483647 61337 32 | 0.040 % |
396.89/397.20 c | 537064 | 2563 10385 29189 | 2147483647 61484 32 | 0.039 % |
396.89/397.27 c | 537224 | 2563 10385 29189 | 2147483647 61644 32 | 0.040 % |
397.09/397.47 c | 537402 | 2563 10385 29189 | 2147483647 61822 32 | 0.039 % |
397.29/397.61 c | 537595 | 2563 10385 29189 | 2147483647 62015 32 | 0.039 % |
397.39/397.71 c | 537807 | 2563 10385 29189 | 2147483647 62227 33 | 0.040 % |
397.49/397.81 c | 538041 | 2563 10385 29189 | 2147483647 62461 33 | 0.039 % |
397.59/397.99 c | 538297 | 2563 10385 29189 | 2147483647 62717 33 | 0.040 % |
397.79/398.15 c | 538580 | 2563 10385 29189 | 2147483647 63000 33 | 0.039 % |
397.99/398.35 c | 538891 | 2563 10385 29189 | 2147483647 63311 33 | 0.040 % |
398.19/398.51 c | 539231 | 2563 10385 29189 | 2147483647 63651 33 | 0.039 % |
398.39/398.77 c | 539603 | 2563 10385 29189 | 2147483647 64023 33 | 0.039 % |
398.89/399.28 c | 540012 | 2563 10385 29189 | 64420 64432 33 | 0.039 % |
399.09/399.48 c | 540461 | 2563 10385 29189 | 64420 57137 32 | 0.040 % |
399.39/399.75 c | 540954 | 2563 10385 29189 | 64420 57630 32 | 0.039 % |
399.69/400.06 c | 541497 | 2563 10385 29189 | 64420 58173 32 | 0.040 % |
400.09/400.46 c | 542094 | 2563 10385 29189 | 64420 58770 32 | 0.040 % |
400.59/400.95 c | 542750 | 2563 10385 29189 | 64420 59426 32 | 0.039 % |
401.09/401.48 c | 543470 | 2563 10385 29189 | 64420 60146 32 | 0.040 % |
401.69/402.09 c | 544262 | 2563 10385 29189 | 64420 60938 32 | 0.040 % |
402.59/402.95 c | 545134 | 2563 10385 29189 | 64420 61810 32 | 0.039 % |
403.49/403.83 c | 546092 | 2563 10385 29189 | 64420 62768 32 | 0.040 % |
404.19/404.59 c | 547146 | 2563 10385 29189 | 64420 63822 33 | 0.040 % |
404.79/405.17 c | 548305 | 2563 10385 29189 | 64420 64981 33 | 0.039 % |
406.09/406.46 c | 549579 | 2563 10385 29189 | 64420 56469 32 | 0.039 % |
406.69/407.09 c | 550979 | 2563 10385 29189 | 56890 57869 32 | 0.039 % |
407.79/408.13 c | 552520 | 2563 10385 29189 | 56890 50346 31 | 0.040 % |
408.79/409.13 c | 554214 | 2563 10385 29189 | 56890 52040 32 | 0.040 % |
410.49/410.80 c | 556079 | 2563 10385 29189 | 56890 53905 32 | 0.039 % |
411.19/411.55 c | 558129 | 2563 10385 29189 | 56890 55955 33 | 0.040 % |
413.09/413.41 c | 560383 | 2563 10385 29189 | 48997 49380 32 | 0.040 % |
414.98/415.32 c | 562862 | 2563 10385 29189 | 48997 44998 32 | 0.040 % |
417.28/417.63 c | 565588 | 2563 10385 29189 | 48997 47724 32 | 0.039 % |
419.08/419.41 c | 568585 | 2563 10385 29189 | 48997 45694 34 | 0.040 % |
420.78/421.17 c | 571881 | 2563 10385 29189 | 2147483647 48990 34 | 0.040 % |
423.68/424.03 c | 575506 | 2563 10385 29189 | 2147483647 52615 35 | 0.040 % |
425.58/425.98 c | 579494 | 2563 10385 29189 | 2147483647 56603 36 | 0.040 % |
428.78/429.16 c | 583879 | 2563 10385 29189 | 57109 53852 36 | 0.040 % |
431.38/431.76 c | 588702 | 2563 10385 29189 | 57109 50907 35 | 0.040 % |
433.67/434.06 c | 594008 | 2563 10385 29189 | 52206 47639 35 | 0.039 % |
433.77/434.11 c | 594110 | 2563 10385 29189 | 52206 47741 35 | 0.040 % |
433.98/434.32 c | 594220 | 2563 10385 29189 | 52206 47851 35 | 0.040 % |
434.08/434.41 c | 594344 | 2563 10385 29189 | 52206 47975 35 | 0.039 % |
434.18/434.55 c | 594478 | 2563 10385 29189 | 52206 48109 35 | 0.039 % |
434.28/434.64 c | 594625 | 2563 10385 29189 | 52206 48256 35 | 0.039 % |
434.38/434.75 c | 594785 | 2563 10385 29189 | 52206 48416 35 | 0.039 % |
434.48/434.89 c | 594963 | 2563 10385 29189 | 52206 48594 35 | 0.039 % |
434.68/435.04 c | 595157 | 2563 10385 29189 | 52206 48788 35 | 0.039 % |
434.98/435.30 c | 595370 | 2563 10385 29189 | 52206 49001 35 | 0.039 % |
435.08/435.45 c | 595605 | 2563 10385 29189 | 52206 49236 35 | 0.040 % |
435.38/435.72 c | 595861 | 2563 10385 29189 | 52206 49492 35 | 0.039 % |
435.48/435.82 c | 596142 | 2563 10385 29189 | 52206 49773 35 | 0.039 % |
435.68/436.05 c | 596452 | 2563 10385 29189 | 52206 50083 35 | 0.039 % |
436.08/436.47 c | 596792 | 2563 10385 29189 | 52206 50423 35 | 0.039 % |
436.48/436.85 c | 597165 | 2563 10385 29189 | 52206 50796 35 | 0.039 % |
437.08/437.43 c | 597574 | 2563 10385 29189 | 52206 51205 36 | 0.039 % |
437.28/437.63 c | 598023 | 2563 10385 29189 | 52206 51654 36 | 0.040 % |
437.38/437.79 c | 598516 | 2563 10385 29189 | 52206 52147 36 | 0.040 % |
437.68/438.00 c | 599060 | 2563 10385 29189 | 52206 52691 36 | 0.040 % |
437.98/438.31 c | 599657 | 2563 10385 29189 | 52206 47021 35 | 0.040 % |
438.28/438.61 c | 600312 | 2563 10385 29189 | 47366 47676 35 | 0.040 % |
438.87/439.29 c | 601032 | 2563 10385 29189 | 47366 42887 34 | 0.039 % |
439.27/439.62 c | 601824 | 2563 10385 29189 | 47366 43679 34 | 0.040 % |
440.07/440.42 c | 602695 | 2563 10385 29189 | 47366 44550 35 | 0.039 % |
440.57/440.93 c | 603653 | 2563 10385 29189 | 47366 45508 35 | 0.039 % |
441.37/441.78 c | 604707 | 2563 10385 29189 | 47366 46562 35 | 0.039 % |
442.07/442.41 c | 605866 | 2563 10385 29189 | 47366 47721 35 | 0.039 % |
443.07/443.42 c | 607139 | 2563 10385 29189 | 47366 44222 34 | 0.039 % |
443.57/443.96 c | 608539 | 2563 10385 29189 | 47366 45622 34 | 0.039 % |
444.27/444.63 c | 610079 | 2563 10385 29189 | 2147483647 47162 35 | 0.041 % |
445.27/445.63 c | 611773 | 2563 10385 29189 | 2147483647 48856 35 | 0.040 % |
446.18/446.59 c | 613638 | 2563 10385 29189 | 2147483647 50721 35 | 0.039 % |
447.28/447.61 c | 615688 | 2563 10385 29189 | 2147483647 52771 35 | 0.040 % |
448.67/449.06 c | 617942 | 2563 10385 29189 | 2147483647 55025 35 | 0.039 % |
450.77/451.10 c | 620422 | 2563 10385 29189 | 57084 57505 36 | 0.040 % |
452.57/452.93 c | 623147 | 2563 10385 29189 | 57084 52964 35 | 0.039 % |
454.37/454.75 c | 626146 | 2563 10385 29189 | 57084 55963 35 | 0.045 % |
456.67/457.03 c | 629443 | 2563 10385 29189 | 57084 52939 33 | 0.039 % |
459.57/459.90 c | 633069 | 2563 10385 29189 | 53496 50671 33 | 0.040 % |
460.87/461.27 c | 637059 | 2563 10385 29189 | 53496 54661 34 | 0.040 % |
462.67/463.07 c | 641445 | 2563 10385 29189 | 48584 44915 33 | 0.040 % |
465.86/466.20 c | 646269 | 2563 10385 29189 | 48584 49739 34 | 0.039 % |
468.56/468.90 c | 651574 | 2563 10385 29189 | 47811 43595 33 | 0.039 % |
470.26/470.62 c | 657411 | 2563 10385 29189 | 47811 49432 35 | 0.040 % |
470.26/470.69 c | 657512 | 2563 10385 29189 | 47811 42167 35 | 0.040 % |
470.36/470.77 c | 657623 | 2563 10385 29189 | 47811 42278 35 | 0.040 % |
470.46/470.82 c | 657745 | 2563 10385 29189 | 47811 42400 35 | 0.040 % |
470.46/470.87 c | 657878 | 2563 10385 29189 | 47811 42533 35 | 0.039 % |
470.56/470.92 c | 658025 | 2563 10385 29189 | 47811 42680 35 | 0.040 % |
470.66/471.03 c | 658186 | 2563 10385 29189 | 47811 42841 35 | 0.040 % |
470.66/471.09 c | 658362 | 2563 10385 29189 | 47811 43017 35 | 0.045 % |
470.76/471.16 c | 658555 | 2563 10385 29189 | 47811 43210 35 | 0.039 % |
470.86/471.23 c | 658767 | 2563 10385 29189 | 47811 43422 35 | 0.040 % |
470.96/471.32 c | 659000 | 2563 10385 29189 | 47811 43655 35 | 0.039 % |
471.06/471.41 c | 659257 | 2563 10385 29189 | 47811 43912 35 | 0.040 % |
471.36/471.77 c | 659539 | 2563 10385 29189 | 47811 44194 35 | 0.039 % |
471.46/471.87 c | 659848 | 2563 10385 29189 | 47811 44503 35 | 0.040 % |
471.66/472.05 c | 660188 | 2563 10385 29189 | 44656 44843 35 | 0.039 % |
471.86/472.28 c | 660560 | 2563 10385 29189 | 44656 39083 35 | 0.039 % |
472.06/472.44 c | 660970 | 2563 10385 29189 | 44656 39493 36 | 0.040 % |
472.16/472.56 c | 661419 | 2563 10385 29189 | 44656 39942 35 | 0.039 % |
472.46/472.87 c | 661912 | 2563 10385 29189 | 44656 40435 36 | 0.040 % |
472.66/473.04 c | 662455 | 2563 10385 29189 | 44656 40978 36 | 0.039 % |
473.06/473.50 c | 663051 | 2563 10385 29189 | 44656 41574 36 | 0.039 % |
473.35/473.79 c | 663706 | 2563 10385 29189 | 44656 42229 36 | 0.040 % |
473.76/474.10 c | 664427 | 2563 10385 29189 | 44656 42950 36 | 0.039 % |
474.25/474.63 c | 665220 | 2563 10385 29189 | 44656 43743 36 | 0.040 % |
474.86/475.26 c | 666092 | 2563 10385 29189 | 44656 44615 36 | 0.039 % |
475.35/475.73 c | 667050 | 2563 10385 29189 | 44656 45573 36 | 0.040 % |
475.65/476.08 c | 668103 | 2563 10385 29189 | 44656 42069 35 | 0.039 % |
476.15/476.52 c | 669262 | 2563 10385 29189 | 44656 43228 35 | 0.039 % |
476.75/477.16 c | 670535 | 2563 10385 29189 | 2147483647 44501 35 | 0.040 % |
477.25/477.69 c | 671935 | 2563 10385 29189 | 2147483647 45901 35 | 0.040 % |
478.05/478.50 c | 673476 | 2563 10385 29189 | 2147483647 47442 36 | 0.039 % |
479.85/480.22 c | 675171 | 2563 10385 29189 | 2147483647 49137 36 | 0.039 % |
481.24/481.69 c | 677034 | 2563 10385 29189 | 2147483647 51000 36 | 0.040 % |
482.44/482.82 c | 679083 | 2563 10385 29189 | 2147483647 53049 37 | 0.039 % |
483.34/483.79 c | 681336 | 2563 10385 29189 | 2147483647 55302 36 | 0.039 % |
484.74/485.14 c | 683814 | 2563 10385 29189 | 2147483647 57780 36 | 0.040 % |
486.74/487.17 c | 686539 | 2563 10385 29189 | 2147483647 60505 36 | 0.039 % |
488.94/489.38 c | 689538 | 2563 10385 29189 | 2147483647 63504 38 | 0.040 % |
490.74/491.11 c | 692834 | 2563 10385 29189 | 63968 56515 35 | 0.039 % |
493.24/493.67 c | 696459 | 2563 10385 29189 | 63968 60140 36 | 0.041 % |
496.23/496.63 c | 700446 | 2563 10385 29189 | 63683 64127 36 | 0.039 % |
498.33/498.75 c | 704832 | 2563 10385 29189 | 63683 59423 34 | 0.039 % |
502.13/502.57 c | 709655 | 2563 10385 29189 | 63683 64246 36 | 0.040 % |
506.43/506.90 c | 714961 | 2563 10385 29189 | 54710 52059 33 | 0.039 % |
512.42/512.82 c | 720796 | 2563 10385 29189 | 50403 51197 34 | 0.039 % |
514.52/514.92 c | 727217 | 2563 10385 29189 | 50403 46989 32 | 0.039 % |
514.62/515.04 c | 727317 | 2563 10385 29189 | 50403 47089 32 | 0.039 % |
514.62/515.09 c | 727427 | 2563 10385 29189 | 50403 47199 32 | 0.039 % |
514.72/515.14 c | 727548 | 2563 10385 29189 | 50403 47320 32 | 0.039 % |
514.72/515.20 c | 727681 | 2563 10385 29189 | 50403 47453 32 | 0.040 % |
514.82/515.28 c | 727827 | 2563 10385 29189 | 50403 47599 32 | 0.041 % |
514.92/515.34 c | 727988 | 2563 10385 29189 | 50403 47760 32 | 0.039 % |
515.02/515.46 c | 728164 | 2563 10385 29189 | 50403 47936 32 | 0.039 % |
515.12/515.53 c | 728359 | 2563 10385 29189 | 50403 48131 32 | 0.040 % |
515.22/515.67 c | 728571 | 2563 10385 29189 | 50403 48343 32 | 0.040 % |
515.43/515.81 c | 728805 | 2563 10385 29189 | 50403 48577 32 | 0.040 % |
515.82/516.24 c | 729062 | 2563 10385 29189 | 50403 48834 32 | 0.040 % |
515.92/516.34 c | 729343 | 2563 10385 29189 | 50403 49115 32 | 0.040 % |
516.02/516.47 c | 729653 | 2563 10385 29189 | 50403 49425 32 | 0.039 % |
516.22/516.63 c | 729992 | 2563 10385 29189 | 50403 49764 32 | 0.040 % |
516.32/516.79 c | 730366 | 2563 10385 29189 | 2147483647 50138 32 | 0.039 % |
516.53/516.92 c | 730776 | 2563 10385 29189 | 2147483647 50548 32 | 0.039 % |
516.92/517.30 c | 731226 | 2563 10385 29189 | 2147483647 50998 32 | 0.039 % |
517.02/517.49 c | 731720 | 2563 10385 29189 | 2147483647 51492 32 | 0.039 % |
517.72/518.13 c | 732262 | 2563 10385 29189 | 2147483647 52034 33 | 0.039 % |
518.12/518.53 c | 732862 | 2563 10385 29189 | 2147483647 52634 33 | 0.039 % |
518.42/518.80 c | 733517 | 2563 10385 29189 | 2147483647 53289 33 | 0.039 % |
518.72/519.18 c | 734237 | 2563 10385 29189 | 2147483647 54009 33 | 0.040 % |
519.22/519.66 c | 735030 | 2563 10385 29189 | 2147483647 54802 33 | 0.039 % |
519.52/519.97 c | 735903 | 2563 10385 29189 | 2147483647 55675 33 | 0.040 % |
519.92/520.35 c | 736861 | 2563 10385 29189 | 2147483647 56633 33 | 0.039 % |
520.82/521.27 c | 737915 | 2563 10385 29189 | 2147483647 57687 34 | 0.039 % |
521.42/521.82 c | 739073 | 2563 10385 29189 | 2147483647 58845 33 | 0.039 % |
522.02/522.46 c | 740347 | 2563 10385 29189 | 2147483647 60119 34 | 0.040 % |
522.72/523.19 c | 741747 | 2563 10385 29189 | 2147483647 61519 34 | 0.039 % |
523.82/524.23 c | 743287 | 2563 10385 29189 | 2147483647 63059 34 | 0.040 % |
525.92/526.35 c | 744982 | 2563 10385 29189 | 2147483647 64754 35 | 0.039 % |
527.71/528.15 c | 746845 | 2563 10385 29189 | 2147483647 66617 35 | 0.039 % |
530.01/530.49 c | 748895 | 2563 10385 29189 | 2147483647 68667 35 | 0.039 % |
533.61/534.00 c | 751148 | 2563 10385 29189 | 69772 61880 34 | 0.039 % |
535.61/536.03 c | 753627 | 2563 10385 29189 | 69772 64359 34 | 0.039 % |
538.11/538.51 c | 756353 | 2563 10385 29189 | 69772 67085 34 | 0.039 % |
540.41/540.85 c | 759350 | 2563 10385 29189 | 69772 70082 34 | 0.039 % |
544.21/544.69 c | 762646 | 2563 10385 29189 | 62457 58197 32 | 0.039 % |
547.61/548.09 c | 766271 | 2563 10385 29189 | 62457 61822 32 | 0.039 % |
550.80/551.21 c | 770259 | 2563 10385 29189 | 59165 59424 32 | 0.039 % |
555.10/555.55 c | 774645 | 2563 10385 29189 | 59165 57220 32 | 0.040 % |
559.80/560.26 c | 779469 | 2563 10385 29189 | 59165 55299 31 | 0.039 % |
564.30/564.75 c | 784777 | 2563 10385 29189 | 55831 54306 31 | 0.039 % |
569.39/569.83 c | 790613 | 2563 10385 29189 | 53407 54020 32 | 0.039 % |
575.78/576.25 c | 797031 | 2563 10385 29189 | 53407 48447 33 | 0.040 % |
578.58/579.01 c | 804090 | 2563 10385 29189 | 51418 45756 36 | 0.040 % |
578.58/579.06 c | 804190 | 2563 10385 29189 | 51418 45856 36 | 0.040 % |
578.68/579.12 c | 804301 | 2563 10385 29189 | 51418 45967 36 | 0.039 % |
578.68/579.18 c | 804422 | 2563 10385 29189 | 51418 46088 36 | 0.039 % |
578.78/579.22 c | 804556 | 2563 10385 29189 | 51418 46222 36 | 0.040 % |
578.78/579.27 c | 804702 | 2563 10385 29189 | 51418 46368 36 | 0.040 % |
578.88/579.31 c | 804862 | 2563 10385 29189 | 51418 46528 36 | 0.039 % |
579.08/579.50 c | 805041 | 2563 10385 29189 | 51418 46707 36 | 0.039 % |
579.08/579.54 c | 805234 | 2563 10385 29189 | 51418 46900 36 | 0.040 % |
579.18/579.63 c | 805448 | 2563 10385 29189 | 51418 47114 36 | 0.039 % |
579.18/579.66 c | 805681 | 2563 10385 29189 | 51418 47347 36 | 0.039 % |
579.28/579.75 c | 805938 | 2563 10385 29189 | 51418 47604 36 | 0.039 % |
579.48/579.97 c | 806219 | 2563 10385 29189 | 51418 47885 36 | 0.039 % |
579.58/580.03 c | 806528 | 2563 10385 29189 | 51418 48194 36 | 0.040 % |
579.58/580.10 c | 806867 | 2563 10385 29189 | 51418 48533 36 | 0.039 % |
579.98/580.45 c | 807240 | 2563 10385 29189 | 51418 48906 36 | 0.039 % |
580.18/580.60 c | 807650 | 2563 10385 29189 | 51418 49316 36 | 0.039 % |
580.48/580.92 c | 808100 | 2563 10385 29189 | 51418 49766 36 | 0.039 % |
580.88/581.35 c | 808593 | 2563 10385 29189 | 51418 50259 36 | 0.039 % |
581.18/581.66 c | 809136 | 2563 10385 29189 | 51418 50802 37 | 0.040 % |
581.38/581.81 c | 809732 | 2563 10385 29189 | 51418 51398 37 | 0.040 % |
581.48/581.95 c | 810387 | 2563 10385 29189 | 51667 52053 37 | 0.039 % |
581.88/582.32 c | 811108 | 2563 10385 29189 | 51667 46217 36 | 0.039 % |
582.48/582.99 c | 811900 | 2563 10385 29189 | 51667 47009 36 | 0.039 % |
582.88/583.32 c | 812773 | 2563 10385 29189 | 51667 47882 36 | 0.040 % |
583.48/583.97 c | 813731 | 2563 10385 29189 | 51667 48840 37 | 0.039 % |
584.08/584.55 c | 814784 | 2563 10385 29189 | 51667 49893 37 | 0.045 % |
584.98/585.46 c | 815943 | 2563 10385 29189 | 51667 51052 37 | 0.039 % |
585.97/586.41 c | 817216 | 2563 10385 29189 | 51667 52325 37 | 0.040 % |
587.27/587.74 c | 818617 | 2563 10385 29189 | 51667 48494 37 | 0.039 % |
588.17/588.66 c | 820157 | 2563 10385 29189 | 2147483647 50034 37 | 0.039 % |
589.97/590.46 c | 821851 | 2563 10385 29189 | 2147483647 51728 37 | 0.040 % |
591.17/591.61 c | 823714 | 2563 10385 29189 | 2147483647 53591 37 | 0.039 % |
592.87/593.33 c | 825764 | 2563 10385 29189 | 2147483647 55641 38 | 0.039 % |
594.37/594.87 c | 828017 | 2563 10385 29189 | 2147483647 57894 38 | 0.039 % |
595.57/596.09 c | 830495 | 2563 10385 29189 | 2147483647 60372 39 | 0.040 % |
597.27/597.70 c | 833220 | 2563 10385 29189 | 2147483647 63097 39 | 0.039 % |
599.67/600.13 c | 836218 | 2563 10385 29189 | 2147483647 66095 39 | 0.039 % |
601.17/601.67 c | 839514 | 2563 10385 29189 | 2147483647 69391 39 | 0.039 % |
603.37/603.81 c | 843139 | 2563 10385 29189 | 69878 57345 37 | 0.040 % |
605.97/606.43 c | 847127 | 2563 10385 29189 | 69878 61333 38 | 0.039 % |
609.27/609.78 c | 851512 | 2563 10385 29189 | 64207 54413 35 | 0.040 % |
611.87/612.36 c | 856337 | 2563 10385 29189 | 64207 59238 37 | 0.040 % |
615.46/615.92 c | 861642 | 2563 10385 29189 | 62901 52836 38 | 0.039 % |
619.35/619.82 c | 867478 | 2563 10385 29189 | 62901 58672 38 | 0.039 % |
624.75/625.25 c | 873896 | 2563 10385 29189 | 61195 53018 39 | 0.039 % |
629.95/630.47 c | 880956 | 2563 10385 29189 | 59123 60078 39 | 0.040 % |
636.74/637.24 c | 888722 | 2563 10385 29189 | 59123 57135 39 | 0.039 % |
636.84/637.34 c | 888823 | 2563 10385 29189 | 59123 57236 39 | 0.040 % |
636.94/637.43 c | 888933 | 2563 10385 29189 | 59123 57346 39 | 0.039 % |
637.04/637.56 c | 889055 | 2563 10385 29189 | 59123 57468 39 | 0.040 % |
637.14/637.65 c | 889188 | 2563 10385 29189 | 59123 57601 39 | 0.040 % |
637.24/637.74 c | 889334 | 2563 10385 29189 | 59123 57747 39 | 0.040 % |
637.35/637.83 c | 889495 | 2563 10385 29189 | 59123 57908 39 | 0.039 % |
637.46/637.92 c | 889671 | 2563 10385 29189 | 59123 58084 39 | 0.039 % |
637.56/638.01 c | 889864 | 2563 10385 29189 | 59123 58277 39 | 0.040 % |
637.65/638.11 c | 890076 | 2563 10385 29189 | 58414 58489 39 | 0.039 % |
637.75/638.26 c | 890309 | 2563 10385 29189 | 58414 51516 38 | 0.039 % |
637.85/638.36 c | 890568 | 2563 10385 29189 | 58414 51775 38 | 0.039 % |
637.95/638.49 c | 890849 | 2563 10385 29189 | 58414 52056 38 | 0.040 % |
638.15/638.62 c | 891158 | 2563 10385 29189 | 58414 52365 38 | 0.039 % |
638.45/639.00 c | 891497 | 2563 10385 29189 | 58414 52704 38 | 0.039 % |
638.75/639.26 c | 891869 | 2563 10385 29189 | 58414 53076 38 | 0.039 % |
639.45/639.91 c | 892278 | 2563 10385 29189 | 58414 53485 39 | 0.039 % |
639.75/640.20 c | 892730 | 2563 10385 29189 | 58414 53937 39 | 0.039 % |
640.25/640.71 c | 893223 | 2563 10385 29189 | 58414 54430 39 | 0.039 % |
640.75/641.20 c | 893765 | 2563 10385 29189 | 58414 54972 39 | 0.039 % |
641.35/641.88 c | 894361 | 2563 10385 29189 | 58414 55568 39 | 0.039 % |
641.75/642.22 c | 895017 | 2563 10385 29189 | 58414 56224 39 | 0.040 % |
642.05/642.56 c | 895737 | 2563 10385 29189 | 58414 56944 39 | 0.040 % |
642.55/643.05 c | 896531 | 2563 10385 29189 | 58414 57738 39 | 0.040 % |
642.95/643.46 c | 897402 | 2563 10385 29189 | 58414 58609 39 | 0.040 % |
643.45/643.98 c | 898360 | 2563 10385 29189 | 58414 52031 37 | 0.039 % |
644.45/644.99 c | 899414 | 2563 10385 29189 | 58414 53085 37 | 0.039 % |
645.15/645.69 c | 900574 | 2563 10385 29189 | 53672 54245 37 | 0.040 % |
645.65/646.15 c | 901848 | 2563 10385 29189 | 53672 49181 35 | 0.040 % |
647.25/647.72 c | 903250 | 2563 10385 29189 | 53672 50583 35 | 0.040 % |
648.64/649.11 c | 904790 | 2563 10385 29189 | 53672 52123 35 | 0.039 % |
650.04/650.52 c | 906484 | 2563 10385 29189 | 53672 53817 36 | 0.040 % |
651.24/651.76 c | 908348 | 2563 10385 29189 | 53672 49518 35 | 0.039 % |
652.24/652.79 c | 910397 | 2563 10385 29189 | 2147483647 51567 35 | 0.040 % |
654.14/654.63 c | 912650 | 2563 10385 29189 | 2147483647 53820 36 | 0.039 % |
656.74/657.25 c | 915129 | 2563 10385 29189 | 2147483647 56299 36 | 0.039 % |
658.64/659.19 c | 917854 | 2563 10385 29189 | 2147483647 59024 37 | 0.039 % |
661.33/661.80 c | 920851 | 2563 10385 29189 | 61171 62021 37 | 0.039 % |
664.53/665.05 c | 924148 | 2563 10385 29189 | 61171 57461 37 | 0.039 % |
668.13/668.61 c | 927773 | 2563 10385 29189 | 61171 61086 38 | 0.039 % |
673.03/673.54 c | 931761 | 2563 10385 29189 | 55648 51186 37 | 0.040 % |
676.63/677.14 c | 936146 | 2563 10385 29189 | 55648 55571 38 | 0.039 % |
680.43/680.99 c | 940969 | 2563 10385 29189 | 2147483647 54775 38 | 0.039 % |
684.23/684.73 c | 946274 | 2563 10385 29189 | 2147483647 60080 37 | 0.039 % |
688.72/689.27 c | 952110 | 2563 10385 29189 | 63807 56957 37 | 0.040 % |
692.82/693.33 c | 958532 | 2563 10385 29189 | 63807 63379 36 | 0.039 % |
697.32/697.84 c | 965591 | 2563 10385 29189 | 64847 59721 37 | 0.040 % |
700.82/701.36 c | 973355 | 2563 10385 29189 | 64130 53264 36 | 0.040 % |
707.71/708.29 c | 981895 | 2563 10385 29189 | 59910 49789 36 | 0.040 % |
707.81/708.35 c | 981996 | 2563 10385 29189 | 59910 49890 36 | 0.040 % |
707.91/708.42 c | 982106 | 2563 10385 29189 | 59910 50000 36 | 0.045 % |
708.01/708.51 c | 982227 | 2563 10385 29189 | 59910 50121 36 | 0.039 % |
708.11/708.60 c | 982361 | 2563 10385 29189 | 59910 50255 36 | 0.039 % |
708.21/708.76 c | 982507 | 2563 10385 29189 | 59910 50401 36 | 0.039 % |
708.31/708.86 c | 982668 | 2563 10385 29189 | 59910 50562 36 | 0.039 % |
708.51/709.01 c | 982845 | 2563 10385 29189 | 59910 50739 36 | 0.040 % |
708.61/709.10 c | 983038 | 2563 10385 29189 | 59910 50932 36 | 0.039 % |
708.71/709.21 c | 983250 | 2563 10385 29189 | 59910 51144 36 | 0.040 % |
708.81/709.33 c | 983483 | 2563 10385 29189 | 59910 51377 36 | 0.039 % |
708.91/709.45 c | 983739 | 2563 10385 29189 | 59910 51633 36 | 0.040 % |
709.01/709.58 c | 984022 | 2563 10385 29189 | 59910 51916 36 | 0.039 % |
709.31/709.82 c | 984333 | 2563 10385 29189 | 59910 52227 37 | 0.040 % |
709.51/710.08 c | 984673 | 2563 10385 29189 | 59910 52567 37 | 0.040 % |
709.81/710.39 c | 985045 | 2563 10385 29189 | 59910 52939 37 | 0.040 % |
710.11/710.64 c | 985454 | 2563 10385 29189 | 59910 53348 37 | 0.040 % |
710.30/710.81 c | 985904 | 2563 10385 29189 | 59910 53798 37 | 0.039 % |
710.50/711.05 c | 986398 | 2563 10385 29189 | 59910 54292 37 | 0.040 % |
710.80/711.30 c | 986940 | 2563 10385 29189 | 59910 54834 37 | 0.040 % |
711.21/711.74 c | 987536 | 2563 10385 29189 | 59910 55430 37 | 0.039 % |
711.50/712.08 c | 988191 | 2563 10385 29189 | 59910 56085 37 | 0.040 % |
712.21/712.72 c | 988911 | 2563 10385 29189 | 59910 56805 37 | 0.040 % |
712.90/713.42 c | 989704 | 2563 10385 29189 | 59910 57598 37 | 0.040 % |
713.60/714.12 c | 990575 | 2563 10385 29189 | 57897 58469 37 | 0.039 % |
714.20/714.74 c | 991533 | 2563 10385 29189 | 57897 50634 37 | 0.039 % |
714.60/715.12 c | 992586 | 2563 10385 29189 | 57897 51687 37 | 0.040 % |
715.00/715.59 c | 993745 | 2563 10385 29189 | 57897 52846 37 | 0.039 % |
716.40/716.90 c | 995018 | 2563 10385 29189 | 57897 54119 37 | 0.039 % |
716.90/717.45 c | 996418 | 2563 10385 29189 | 57897 55519 37 | 0.040 % |
717.80/718.32 c | 997958 | 2563 10385 29189 | 57897 57059 37 | 0.040 % |
719.40/719.91 c | 999652 | 2563 10385 29189 | 57897 58753 37 | 0.040 % |
720.90/721.41 c | 1001515 | 2563 10385 29189 | 50908 45978 34 | 0.040 % |
722.10/722.64 c | 1003564 | 2563 10385 29189 | 50908 48027 34 | 0.040 % |
722.80/723.37 c | 1005817 | 2563 10385 29189 | 50908 50280 34 | 0.040 % |
724.00/724.53 c | 1008296 | 2563 10385 29189 | 50908 45866 32 | 0.039 % |
725.50/726.02 c | 1011021 | 2563 10385 29189 | 47573 43423 32 | 0.039 % |
726.40/726.93 c | 1014018 | 2563 10385 29189 | 47573 46420 33 | 0.041 % |
727.50/728.03 c | 1017315 | 2563 10385 29189 | 47573 43783 32 | 0.040 % |
728.60/729.14 c | 1020940 | 2563 10385 29189 | 2147483647 47408 33 | 0.039 % |
731.79/732.37 c | 1024928 | 2563 10385 29189 | 2147483647 51396 34 | 0.039 % |
734.89/735.46 c | 1029313 | 2563 10385 29189 | 2147483647 55781 35 | 0.039 % |
739.80/740.31 c | 1034137 | 2563 10385 29189 | 2147483647 60605 36 | 0.040 % |
746.09/746.69 c | 1039443 | 2563 10385 29189 | 2147483647 65911 37 | 0.040 % |
749.07/749.61 c | 1045279 | 2563 10385 29189 | 66469 63645 35 | 0.039 % |
752.98/753.53 c | 1051698 | 2563 10385 29189 | 61641 56763 34 | 0.039 % |
759.27/759.81 c | 1058759 | 2563 10385 29189 | 61641 55658 34 | 0.039 % |
766.47/767.03 c | 1066523 | 2563 10385 29189 | 56899 56668 34 | 0.040 % |
768.77/769.33 c | 1075063 | 2563 10385 29189 | 52517 49372 33 | 0.039 % |
772.86/773.48 c | 1084457 | 2563 10385 29189 | 47100 46593 33 | 0.039 % |
772.96/773.54 c | 1084557 | 2563 10385 29189 | 47100 46693 33 | 0.040 % |
772.96/773.60 c | 1084667 | 2563 10385 29189 | 47100 46803 34 | 0.039 % |
773.06/773.65 c | 1084788 | 2563 10385 29189 | 47100 46924 34 | 0.040 % |
773.16/773.71 c | 1084923 | 2563 10385 29189 | 47100 47059 34 | 0.039 % |
773.26/773.82 c | 1085070 | 2563 10385 29189 | 47100 47206 34 | 0.039 % |
773.36/773.91 c | 1085233 | 2563 10385 29189 | 47100 42649 33 | 0.039 % |
773.46/774.01 c | 1085410 | 2563 10385 29189 | 47100 42826 33 | 0.039 % |
773.56/774.11 c | 1085603 | 2563 10385 29189 | 47100 43019 33 | 0.040 % |
773.66/774.23 c | 1085816 | 2563 10385 29189 | 47100 43232 33 | 0.040 % |
773.87/774.48 c | 1086051 | 2563 10385 29189 | 47100 43467 33 | 0.040 % |
773.96/774.57 c | 1086308 | 2563 10385 29189 | 47100 43724 33 | 0.040 % |
774.16/774.72 c | 1086590 | 2563 10385 29189 | 47100 44006 33 | 0.040 % |
774.26/774.87 c | 1086899 | 2563 10385 29189 | 47100 44315 34 | 0.040 % |
774.66/775.21 c | 1087238 | 2563 10385 29189 | 47100 44654 34 | 0.040 % |
774.97/775.50 c | 1087611 | 2563 10385 29189 | 47100 45027 34 | 0.040 % |
775.16/775.76 c | 1088020 | 2563 10385 29189 | 47100 45436 34 | 0.040 % |
775.36/775.94 c | 1088469 | 2563 10385 29189 | 47100 45885 34 | 0.040 % |
775.46/776.04 c | 1088962 | 2563 10385 29189 | 47100 46378 34 | 0.039 % |
775.56/776.10 c | 1089505 | 2563 10385 29189 | 47100 46921 34 | 0.039 % |
775.66/776.27 c | 1090101 | 2563 10385 29189 | 2147483647 47517 34 | 0.039 % |
775.97/776.57 c | 1090758 | 2563 10385 29189 | 2147483647 48174 34 | 0.040 % |
776.36/776.99 c | 1091479 | 2563 10385 29189 | 2147483647 48895 34 | 0.040 % |
776.96/777.57 c | 1092272 | 2563 10385 29189 | 2147483647 49688 34 | 0.039 % |
777.46/778.09 c | 1093145 | 2563 10385 29189 | 2147483647 50561 34 | 0.040 % |
778.06/778.62 c | 1094104 | 2563 10385 29189 | 2147483647 51520 35 | 0.039 % |
778.66/779.26 c | 1095157 | 2563 10385 29189 | 2147483647 52573 35 | 0.039 % |
779.46/780.06 c | 1096315 | 2563 10385 29189 | 2147483647 53731 35 | 0.039 % |
780.36/780.97 c | 1097588 | 2563 10385 29189 | 2147483647 55004 35 | 0.039 % |
780.86/781.45 c | 1098988 | 2563 10385 29189 | 2147483647 56404 35 | 0.041 % |
781.66/782.25 c | 1100528 | 2563 10385 29189 | 2147483647 57944 35 | 0.039 % |
782.26/782.82 c | 1102223 | 2563 10385 29189 | 2147483647 59639 36 | 0.041 % |
783.86/784.48 c | 1104087 | 2563 10385 29189 | 2147483647 61503 36 | 0.040 % |
785.16/785.71 c | 1106136 | 2563 10385 29189 | 2147483647 63552 36 | 0.040 % |
786.76/787.32 c | 1108389 | 2563 10385 29189 | 2147483647 65805 37 | 0.040 % |
789.36/789.95 c | 1110868 | 2563 10385 29189 | 67419 68284 37 | 0.039 % |
791.75/792.39 c | 1113594 | 2563 10385 29189 | 67419 61031 37 | 0.039 % |
793.85/794.46 c | 1116592 | 2563 10385 29189 | 67419 64029 37 | 0.040 % |
796.04/796.65 c | 1119889 | 2563 10385 29189 | 67419 67326 38 | 0.040 % |
798.33/798.91 c | 1123515 | 2563 10385 29189 | 67437 57396 37 | 0.040 % |
800.73/801.37 c | 1127502 | 2563 10385 29189 | 67437 61383 37 | 0.040 % |
804.03/804.64 c | 1131888 | 2563 10385 29189 | 63881 51828 37 | 0.040 % |
806.33/806.98 c | 1136711 | 2563 10385 29189 | 63881 56651 37 | 0.040 % |
810.63/811.24 c | 1142016 | 2563 10385 29189 | 59942 50143 36 | 0.039 % |
813.83/814.40 c | 1147852 | 2563 10385 29189 | 59942 55979 39 | 0.040 % |
817.23/817.87 c | 1154270 | 2563 10385 29189 | 58128 51146 40 | 0.040 % |
823.72/824.33 c | 1161329 | 2563 10385 29189 | 56876 50163 39 | 0.039 % |
830.62/831.24 c | 1169094 | 2563 10385 29189 | 56876 51215 40 | 0.040 % |
835.72/836.33 c | 1177636 | 2563 10385 29189 | 52123 52766 42 | 0.040 % |
841.31/841.91 c | 1187030 | 2563 10385 29189 | 47014 43387 37 | 0.039 % |
846.21/846.85 c | 1197364 | 2563 10385 29189 | 2147483647 53721 39 | 0.041 % |
846.32/846.97 c | 1197464 | 2563 10385 29189 | 2147483647 53821 39 | 0.040 % |
846.42/847.03 c | 1197575 | 2563 10385 29189 | 2147483647 53932 39 | 0.040 % |
846.51/847.13 c | 1197696 | 2563 10385 29189 | 2147483647 54053 39 | 0.040 % |
846.51/847.18 c | 1197830 | 2563 10385 29189 | 2147483647 54187 39 | 0.040 % |
846.71/847.33 c | 1197976 | 2563 10385 29189 | 2147483647 54333 39 | 0.039 % |
846.81/847.42 c | 1198136 | 2563 10385 29189 | 2147483647 54493 39 | 0.040 % |
846.91/847.58 c | 1198312 | 2563 10385 29189 | 2147483647 54669 39 | 0.039 % |
847.11/847.73 c | 1198506 | 2563 10385 29189 | 2147483647 54863 39 | 0.039 % |
847.21/847.85 c | 1198719 | 2563 10385 29189 | 2147483647 55076 39 | 0.041 % |
847.31/848.00 c | 1198953 | 2563 10385 29189 | 2147483647 55310 39 | 0.039 % |
847.52/848.14 c | 1199209 | 2563 10385 29189 | 2147483647 55566 39 | 0.039 % |
847.71/848.33 c | 1199491 | 2563 10385 29189 | 2147483647 55848 39 | 0.039 % |
847.91/848.58 c | 1199804 | 2563 10385 29189 | 2147483647 56161 39 | 0.039 % |
848.11/848.76 c | 1200144 | 2563 10385 29189 | 56357 56501 39 | 0.039 % |
848.41/849.05 c | 1200518 | 2563 10385 29189 | 56357 48549 39 | 0.040 % |
848.61/849.27 c | 1200928 | 2563 10385 29189 | 56357 48959 39 | 0.040 % |
848.91/849.50 c | 1201377 | 2563 10385 29189 | 56357 49408 39 | 0.039 % |
849.11/849.74 c | 1201871 | 2563 10385 29189 | 56357 49902 38 | 0.039 % |
849.31/849.98 c | 1202413 | 2563 10385 29189 | 56357 50444 38 | 0.039 % |
849.71/850.32 c | 1203010 | 2563 10385 29189 | 56357 51041 38 | 0.039 % |
850.11/850.71 c | 1203666 | 2563 10385 29189 | 56357 51697 38 | 0.039 % |
850.41/851.04 c | 1204387 | 2563 10385 29189 | 56357 52418 39 | 0.039 % |
850.91/851.57 c | 1205179 | 2563 10385 29189 | 56357 53210 39 | 0.040 % |
851.61/852.23 c | 1206050 | 2563 10385 29189 | 56357 54081 39 | 0.040 % |
852.11/852.71 c | 1207009 | 2563 10385 29189 | 56357 55040 39 | 0.039 % |
852.61/853.26 c | 1208065 | 2563 10385 29189 | 56357 56096 39 | 0.041 % |
853.11/853.71 c | 1209223 | 2563 10385 29189 | 56357 57254 38 | 0.040 % |
853.91/854.57 c | 1210498 | 2563 10385 29189 | 49786 50284 38 | 0.039 % |
854.71/855.32 c | 1211898 | 2563 10385 29189 | 49786 45303 35 | 0.040 % |
855.90/856.57 c | 1213440 | 2563 10385 29189 | 49786 46845 36 | 0.040 % |
857.31/857.94 c | 1215136 | 2563 10385 29189 | 49786 48541 37 | 0.039 % |
858.51/859.18 c | 1217000 | 2563 10385 29189 | 49786 50405 37 | 0.040 % |
859.30/859.99 c | 1219050 | 2563 10385 29189 | 49786 47415 36 | 0.040 % |
860.20/860.83 c | 1221303 | 2563 10385 29189 | 2147483647 49668 37 | 0.040 % |
861.40/862.07 c | 1223781 | 2563 10385 29189 | 2147483647 52146 37 | 0.040 % |
863.00/863.67 c | 1226507 | 2563 10385 29189 | 2147483647 54872 37 | 0.039 % |
864.30/864.91 c | 1229505 | 2563 10385 29189 | 2147483647 57870 37 | 0.040 % |
866.00/866.65 c | 1232803 | 2563 10385 29189 | 2147483647 61168 37 | 0.040 % |
868.60/869.26 c | 1236430 | 2563 10385 29189 | 2147483647 64795 37 | 0.039 % |
871.30/871.97 c | 1240417 | 2563 10385 29189 | 68365 68782 38 | 0.039 % |
874.60/875.21 c | 1244802 | 2563 10385 29189 | 68365 60545 36 | 0.039 % |
878.39/879.02 c | 1249625 | 2563 10385 29189 | 68365 65368 36 | 0.040 % |
883.59/884.29 c | 1254931 | 2563 10385 29189 | 65743 59769 36 | 0.039 % |
889.67/890.38 c | 1260766 | 2563 10385 29189 | 64838 65604 36 | 0.039 % |
895.88/896.54 c | 1267184 | 2563 10385 29189 | 64838 61067 35 | 0.039 % |
904.27/904.95 c | 1274244 | 2563 10385 29189 | 63883 57275 35 | 0.040 % |
910.87/911.54 c | 1282008 | 2563 10385 29189 | 63032 54573 35 | 0.040 % |
916.87/917.56 c | 1290548 | 2563 10385 29189 | 62568 63113 35 | 0.040 % |
920.76/921.40 c | 1299943 | 2563 10385 29189 | 62568 59837 32 | 0.039 % |
929.55/930.25 c | 1310277 | 2563 10385 29189 | 2147483647 59393 31 | 0.039 % |
938.13/938.88 c | 1321643 | 2563 10385 29189 | 69117 62080 32 | 0.039 % |
938.33/939.01 c | 1321744 | 2563 10385 29189 | 69117 62181 32 | 0.040 % |
938.33/939.04 c | 1321855 | 2563 10385 29189 | 69117 62292 32 | 0.039 % |
938.43/939.11 c | 1321976 | 2563 10385 29189 | 69117 62413 32 | 0.039 % |
938.43/939.19 c | 1322110 | 2563 10385 29189 | 69117 62547 32 | 0.039 % |
938.63/939.40 c | 1322256 | 2563 10385 29189 | 69117 62693 32 | 0.039 % |
938.73/939.49 c | 1322416 | 2563 10385 29189 | 69117 62853 32 | 0.039 % |
938.93/939.64 c | 1322593 | 2563 10385 29189 | 69117 63030 32 | 0.039 % |
939.03/939.76 c | 1322786 | 2563 10385 29189 | 69117 63223 32 | 0.040 % |
939.13/939.82 c | 1322998 | 2563 10385 29189 | 69117 63435 32 | 0.039 % |
939.33/940.04 c | 1323231 | 2563 10385 29189 | 69117 63668 32 | 0.041 % |
939.54/940.20 c | 1323488 | 2563 10385 29189 | 69117 63925 32 | 0.040 % |
939.84/940.56 c | 1323770 | 2563 10385 29189 | 69117 64207 32 | 0.041 % |
940.13/940.82 c | 1324079 | 2563 10385 29189 | 69117 64516 32 | 0.039 % |
940.23/940.96 c | 1324418 | 2563 10385 29189 | 69117 64855 32 | 0.040 % |
940.53/941.21 c | 1324790 | 2563 10385 29189 | 69117 65227 32 | 0.039 % |
940.94/941.63 c | 1325199 | 2563 10385 29189 | 69117 65636 32 | 0.041 % |
941.23/941.90 c | 1325649 | 2563 10385 29189 | 69117 66086 32 | 0.039 % |
941.63/942.30 c | 1326142 | 2563 10385 29189 | 69117 66579 32 | 0.039 % |
941.83/942.57 c | 1326685 | 2563 10385 29189 | 69117 67122 32 | 0.040 % |
942.63/943.33 c | 1327281 | 2563 10385 29189 | 69117 67718 32 | 0.039 % |
943.14/943.85 c | 1327936 | 2563 10385 29189 | 69117 68373 32 | 0.039 % |
943.83/944.58 c | 1328657 | 2563 10385 29189 | 69117 69094 33 | 0.039 % |
944.63/945.31 c | 1329450 | 2563 10385 29189 | 69117 69887 33 | 0.040 % |
945.23/945.97 c | 1330321 | 2563 10385 29189 | 60349 60670 32 | 0.040 % |
945.73/946.49 c | 1331280 | 2563 10385 29189 | 60349 53000 31 | 0.040 % |
946.43/947.14 c | 1332333 | 2563 10385 29189 | 60349 54053 31 | 0.039 % |
947.33/948.03 c | 1333492 | 2563 10385 29189 | 60349 55212 32 | 0.040 % |
948.53/949.20 c | 1334765 | 2563 10385 29189 | 60349 56485 32 | 0.040 % |
949.03/949.71 c | 1336166 | 2563 10385 29189 | 60349 57886 32 | 0.040 % |
950.03/950.78 c | 1337706 | 2563 10385 29189 | 60349 59426 32 | 0.040 % |
951.83/952.54 c | 1339400 | 2563 10385 29189 | 60349 61120 32 | 0.039 % |
952.93/953.70 c | 1341263 | 2563 10385 29189 | 2147483647 56871 33 | 0.039 % |
954.03/954.75 c | 1343312 | 2563 10385 29189 | 2147483647 58920 33 | 0.039 % |
955.42/956.18 c | 1345566 | 2563 10385 29189 | 2147483647 61174 33 | 0.040 % |
956.72/957.44 c | 1348044 | 2563 10385 29189 | 2147483647 63652 34 | 0.040 % |
958.92/959.62 c | 1350770 | 2563 10385 29189 | 65608 66378 34 | 0.039 % |
960.63/961.36 c | 1353767 | 2563 10385 29189 | 65608 57775 35 | 0.039 % |
963.02/963.77 c | 1357063 | 2563 10385 29189 | 65608 61071 35 | 0.040 % |
964.32/965.01 c | 1360689 | 2563 10385 29189 | 64008 64697 35 | 0.039 % |
967.32/968.02 c | 1364676 | 2563 10385 29189 | 64008 55517 33 | 0.040 % |
970.52/971.20 c | 1369062 | 2563 10385 29189 | 64008 59903 33 | 0.039 % |
973.42/974.18 c | 1373886 | 2563 10385 29189 | 60841 53340 32 | 0.040 % |
976.21/976.99 c | 1379191 | 2563 10385 29189 | 60841 58645 32 | 0.039 % |
980.71/981.40 c | 1385028 | 2563 10385 29189 | 59455 54138 33 | 0.039 % |
983.81/984.56 c | 1391448 | 2563 10385 29189 | 59111 51147 31 | 0.039 % |
990.01/990.79 c | 1398507 | 2563 10385 29189 | 59111 58206 32 | 0.040 % |
994.21/994.90 c | 1406271 | 2563 10385 29189 | 59700 56546 33 | 0.039 % |
1000.50/1001.21 c | 1414811 | 2563 10385 29189 | 60275 53781 34 | 0.040 % |
1008.00/1008.71 c | 1424206 | 2563 10385 29189 | 58970 53158 35 | 0.040 % |
1016.10/1016.84 c | 1434540 | 2563 10385 29189 | 58953 52601 37 | 0.039 % |
1026.18/1026.91 c | 1445907 | 2563 10385 29189 | 58062 53266 40 | 0.040 % |
1033.78/1034.59 c | 1458412 | 2563 10385 29189 | 57360 55518 37 | 0.039 % |
1033.88/1034.67 c | 1458512 | 2563 10385 29189 | 57360 55618 37 | 0.039 % |
1033.98/1034.73 c | 1458622 | 2563 10385 29189 | 57360 55728 37 | 0.040 % |
1034.18/1034.90 c | 1458744 | 2563 10385 29189 | 57360 55850 37 | 0.039 % |
1034.18/1034.96 c | 1458878 | 2563 10385 29189 | 57360 55984 37 | 0.039 % |
1034.28/1035.03 c | 1459024 | 2563 10385 29189 | 57360 56130 37 | 0.040 % |
1034.38/1035.12 c | 1459184 | 2563 10385 29189 | 57360 56290 37 | 0.040 % |
1034.48/1035.22 c | 1459361 | 2563 10385 29189 | 57360 56467 37 | 0.039 % |
1034.58/1035.33 c | 1459554 | 2563 10385 29189 | 57360 56660 37 | 0.039 % |
1034.68/1035.42 c | 1459768 | 2563 10385 29189 | 57360 56874 37 | 0.040 % |
1034.78/1035.55 c | 1460001 | 2563 10385 29189 | 57360 57107 37 | 0.040 % |
1034.88/1035.63 c | 1460259 | 2563 10385 29189 | 57107 57365 37 | 0.040 % |
1035.08/1035.85 c | 1460540 | 2563 10385 29189 | 57107 48777 36 | 0.040 % |
1035.18/1035.99 c | 1460849 | 2563 10385 29189 | 57107 49086 36 | 0.040 % |
1035.38/1036.16 c | 1461188 | 2563 10385 29189 | 57107 49425 36 | 0.039 % |
1035.68/1036.43 c | 1461562 | 2563 10385 29189 | 57107 49799 36 | 0.039 % |
1035.78/1036.53 c | 1461971 | 2563 10385 29189 | 57107 50208 36 | 0.040 % |
1036.08/1036.87 c | 1462420 | 2563 10385 29189 | 57107 50657 36 | 0.040 % |
1036.48/1037.22 c | 1462913 | 2563 10385 29189 | 57107 51150 36 | 0.039 % |
1036.78/1037.51 c | 1463457 | 2563 10385 29189 | 57107 51694 36 | 0.040 % |
1037.18/1037.92 c | 1464053 | 2563 10385 29189 | 57107 52290 36 | 0.039 % |
1037.68/1038.42 c | 1464710 | 2563 10385 29189 | 57107 52947 36 | 0.040 % |
1038.08/1038.89 c | 1465431 | 2563 10385 29189 | 57107 53668 37 | 0.040 % |
1039.08/1039.85 c | 1466225 | 2563 10385 29189 | 57107 54462 37 | 0.040 % |
1040.07/1040.86 c | 1467096 | 2563 10385 29189 | 57107 55333 37 | 0.040 % |
1040.47/1041.27 c | 1468054 | 2563 10385 29189 | 57107 56291 37 | 0.040 % |
1041.07/1041.85 c | 1469108 | 2563 10385 29189 | 57107 57345 37 | 0.039 % |
1041.87/1042.63 c | 1470266 | 2563 10385 29189 | 52080 52345 37 | 0.039 % |
1042.47/1043.26 c | 1471540 | 2563 10385 29189 | 52080 47792 37 | 0.039 % |
1043.27/1044.03 c | 1472941 | 2563 10385 29189 | 52080 49193 37 | 0.040 % |
1044.18/1044.94 c | 1474481 | 2563 10385 29189 | 52080 50733 37 | 0.039 % |
1045.17/1045.94 c | 1476177 | 2563 10385 29189 | 52080 52429 37 | 0.040 % |
1046.27/1047.03 c | 1478042 | 2563 10385 29189 | 52080 49052 37 | 0.039 % |
1047.17/1047.98 c | 1480091 | 2563 10385 29189 | 2147483647 51101 37 | 0.040 % |
1048.17/1048.95 c | 1482344 | 2563 10385 29189 | 2147483647 53354 36 | 0.040 % |
1050.47/1051.25 c | 1484823 | 2563 10385 29189 | 2147483647 55833 37 | 0.039 % |
1051.77/1052.50 c | 1487548 | 2563 10385 29189 | 2147483647 58558 36 | 0.040 % |
1053.57/1054.38 c | 1490545 | 2563 10385 29189 | 61010 61555 37 | 0.040 % |
1054.97/1055.77 c | 1493843 | 2563 10385 29189 | 61010 55779 35 | 0.040 % |
1057.07/1057.86 c | 1497469 | 2563 10385 29189 | 61010 59405 35 | 0.040 % |
1060.86/1061.66 c | 1501456 | 2563 10385 29189 | 53241 48561 35 | 0.039 % |
1064.66/1065.40 c | 1505841 | 2563 10385 29189 | 53241 52946 36 | 0.040 % |
1068.05/1068.81 c | 1510665 | 2562 10381 29180 | 2147483647 52405 35 | 0.079 % |
1071.45/1072.22 c | 1515971 | 2562 10381 29180 | 2147483647 57711 35 | 0.079 % |
1076.85/1077.69 c | 1521806 | 2562 10381 29180 | 61741 55583 35 | 0.078 % |
1082.25/1083.09 c | 1528224 | 2562 10381 29180 | 61741 62001 36 | 0.078 % |
1088.25/1089.06 c | 1535285 | 2562 10381 29180 | 57090 55730 36 | 0.078 % |
1095.85/1096.69 c | 1543050 | 2562 10381 29180 | 53698 51123 36 | 0.078 % |
1100.84/1101.63 c | 1551590 | 2562 10381 29180 | 50968 45627 40 | 0.078 % |
1104.54/1105.33 c | 1560986 | 2562 10381 29180 | 46321 47307 41 | 0.078 % |
1110.83/1111.69 c | 1571319 | 2562 10381 29180 | 2147483647 45864 41 | 0.079 % |
1118.93/1119.74 c | 1582686 | 2562 10381 29180 | 2147483647 57231 44 | 0.079 % |
1130.73/1131.51 c | 1595189 | 2562 10381 29180 | 64545 61814 43 | 0.079 % |
1145.52/1146.38 c | 1608942 | 2562 10381 29180 | 59035 53236 41 | 0.078 % |
1145.72/1146.52 c | 1609043 | 2562 10381 29180 | 59035 53337 41 | 0.078 % |
1145.72/1146.60 c | 1609154 | 2562 10381 29180 | 59035 53448 41 | 0.079 % |
1145.82/1146.68 c | 1609276 | 2562 10381 29180 | 59035 53570 41 | 0.078 % |
1145.92/1146.78 c | 1609409 | 2562 10381 29180 | 59035 53703 41 | 0.078 % |
1146.02/1146.88 c | 1609556 | 2562 10381 29180 | 59035 53850 41 | 0.078 % |
1146.12/1146.95 c | 1609716 | 2562 10381 29180 | 59035 54010 41 | 0.079 % |
1146.22/1147.03 c | 1609892 | 2562 10381 29180 | 59035 54186 41 | 0.078 % |
1146.52/1147.37 c | 1610085 | 2562 10381 29180 | 54295 54379 41 | 0.078 % |
1146.82/1147.67 c | 1610297 | 2562 10381 29180 | 54295 47647 40 | 0.079 % |
1146.92/1147.78 c | 1610531 | 2562 10381 29180 | 54295 47881 40 | 0.079 % |
1147.02/1147.88 c | 1610789 | 2562 10381 29180 | 54295 48139 40 | 0.078 % |
1147.22/1148.02 c | 1611071 | 2562 10381 29180 | 54295 48421 40 | 0.079 % |
1147.32/1148.15 c | 1611381 | 2562 10381 29180 | 54295 48731 40 | 0.079 % |
1147.52/1148.39 c | 1611721 | 2562 10381 29180 | 54295 49071 40 | 0.078 % |
1147.72/1148.54 c | 1612094 | 2562 10381 29180 | 54295 49444 40 | 0.078 % |
1147.82/1148.65 c | 1612504 | 2562 10381 29180 | 54295 49854 40 | 0.078 % |
1148.12/1148.95 c | 1612953 | 2562 10381 29180 | 54295 50303 40 | 0.079 % |
1148.42/1149.22 c | 1613446 | 2562 10381 29180 | 54295 50796 40 | 0.079 % |
1148.72/1149.54 c | 1613988 | 2562 10381 29180 | 54295 51338 40 | 0.079 % |
1149.02/1149.84 c | 1614585 | 2562 10381 29180 | 54295 51935 40 | 0.079 % |
1149.42/1150.21 c | 1615244 | 2562 10381 29180 | 54295 52594 40 | 0.079 % |
1149.92/1150.73 c | 1615964 | 2562 10381 29180 | 54295 53314 40 | 0.079 % |
1150.32/1151.19 c | 1616756 | 2562 10381 29180 | 54295 54106 40 | 0.079 % |
1151.02/1151.89 c | 1617628 | 2562 10381 29180 | 54295 54978 40 | 0.079 % |
1151.42/1152.27 c | 1618586 | 2562 10381 29180 | 54295 50439 38 | 0.079 % |
1151.71/1152.55 c | 1619639 | 2562 10381 29180 | 54295 51492 38 | 0.078 % |
1153.51/1154.32 c | 1620797 | 2562 10381 29180 | 2147483647 52650 38 | 0.079 % |
1154.41/1155.26 c | 1622071 | 2562 10381 29180 | 2147483647 53924 39 | 0.079 % |
1155.21/1156.00 c | 1623473 | 2562 10381 29180 | 2147483647 55326 38 | 0.079 % |
1156.71/1157.60 c | 1625014 | 2562 10381 29180 | 2147483647 56867 39 | 0.079 % |
1157.51/1158.35 c | 1626709 | 2562 10381 29180 | 2147483647 58562 39 | 0.079 % |
1159.40/1160.26 c | 1628573 | 2562 10381 29180 | 2147483647 60426 39 | 0.079 % |
1160.71/1161.52 c | 1630622 | 2562 10381 29180 | 61853 62475 40 | 0.079 % |
1162.00/1162.84 c | 1632875 | 2562 10381 29180 | 61853 54137 37 | 0.080 % |
1164.01/1164.83 c | 1635354 | 2562 10381 29180 | 61853 56616 38 | 0.078 % |
1165.80/1166.63 c | 1638079 | 2562 10381 29180 | 61853 59341 38 | 0.078 % |
1168.20/1169.04 c | 1641077 | 2562 10381 29180 | 61262 62339 37 | 0.079 % |
1169.70/1170.51 c | 1644373 | 2562 10381 29180 | 61262 55932 38 | 0.079 % |
1172.30/1173.16 c | 1647999 | 2562 10381 29180 | 61262 59558 39 | 0.078 % |
1175.70/1176.58 c | 1651986 | 2562 10381 29180 | 61559 54434 37 | 0.078 % |
1180.30/1181.16 c | 1656372 | 2562 10381 29180 | 61559 58820 38 | 0.078 % |
1185.40/1186.29 c | 1661195 | 2562 10381 29180 | 54156 48210 38 | 0.078 % |
1189.40/1190.25 c | 1666501 | 2562 10381 29180 | 54156 53516 38 | 0.079 % |
1191.60/1192.46 c | 1672336 | 2562 10381 29180 | 50376 45900 37 | 0.079 % |
1196.19/1197.06 c | 1678755 | 2562 10381 29180 | 50376 46763 39 | 0.079 % |
1200.09/1200.90 HOME/SatELiteGTI: line 36: 6089 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-1833611-1242823913/watcher-1833611-1242823913 -o /tmp/evaluation-result-1833611-1242823913/solver-1833611-1242823913 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1833611-1242823913.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.97 0.98 1.02 3/64 6083
/proc/meminfo: memFree=1976056/2055920 swapFree=4179324/4192956
[pid=6083] ppid=6081 vsize=5356 CPUtime=0
/proc/6083/stat : 6083 (SatELiteGTI) S 6081 6083 5912 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 310415637 5484544 235 1992294400 4194304 4889804 548682068832 18446744073709551615 224627753042 0 0 4100 65536 18446744071563648864 0 0 17 1 0 0
/proc/6083/statm: 1339 235 195 169 0 50 0
[pid=6084] ppid=6083 vsize=5356 CPUtime=0
/proc/6084/stat : 6084 (SatELiteGTI) S 6083 6083 5912 0 -1 4194368 51 25 0 0 0 0 0 0 18 0 1 0 310415637 5484544 238 1992294400 4194304 4889804 548682068832 18446744073709551615 224627581764 0 65536 4096 65538 18446744071563356171 0 0 17 1 0 0
/proc/6084/statm: 1339 238 198 169 0 50 0
[pid=6086] ppid=6084 vsize=0 CPUtime=0
/proc/6086/stat : 6086 (sed) R 6084 6083 5912 0 -1 4194308 163 0 0 0 0 0 0 0 22 0 1 0 310415637 0 0 1992294400 0 0 0 0 0 0 0 4096 0 0 0 0 17 1 0 0
/proc/6086/statm: 0 0 0 0 0 0 0
[startup+0.035744 s]
/proc/loadavg: 0.97 0.98 1.02 3/64 6083
/proc/meminfo: memFree=1976056/2055920 swapFree=4179324/4192956
[pid=6083] ppid=6081 vsize=5356 CPUtime=0
/proc/6083/stat : 6083 (SatELiteGTI) S 6081 6083 5912 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310415637 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 224627581764 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6083/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.101752 s]
/proc/loadavg: 0.97 0.98 1.02 3/64 6083
/proc/meminfo: memFree=1976056/2055920 swapFree=4179324/4192956
[pid=6083] ppid=6081 vsize=5356 CPUtime=0.08
/proc/6083/stat : 6083 (SatELiteGTI) S 6081 6083 5912 0 -1 4194304 336 977 0 0 0 0 8 0 16 0 1 0 310415637 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 224627581764 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6083/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 5356
[startup+0.30178 s]
/proc/loadavg: 0.97 0.98 1.02 3/64 6083
/proc/meminfo: memFree=1976056/2055920 swapFree=4179324/4192956
[pid=6083] ppid=6081 vsize=5356 CPUtime=0.08
/proc/6083/stat : 6083 (SatELiteGTI) S 6081 6083 5912 0 -1 4194304 336 977 0 0 0 0 8 0 16 0 1 0 310415637 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 224627581764 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6083/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 5356
[startup+0.701837 s]
/proc/loadavg: 0.97 0.98 1.02 3/64 6083
/proc/meminfo: memFree=1976056/2055920 swapFree=4179324/4192956
[pid=6083] ppid=6081 vsize=5356 CPUtime=0.08
/proc/6083/stat : 6083 (SatELiteGTI) S 6081 6083 5912 0 -1 4194304 336 977 0 0 0 0 8 0 16 0 1 0 310415637 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 224627581764 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6083/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 5356
[startup+1.50195 s]
/proc/loadavg: 0.97 0.98 1.02 2/66 6089
/proc/meminfo: memFree=1973536/2055920 swapFree=4179324/4192956
[pid=6083] ppid=6081 vsize=5356 CPUtime=0.08
/proc/6083/stat : 6083 (SatELiteGTI) S 6081 6083 5912 0 -1 4194304 336 977 0 0 0 0 8 0 16 0 1 0 310415637 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 224627581764 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6083/statm: 1339 239 197 169 0 50 0
[pid=6089] ppid=6083 vsize=3392 CPUtime=1.39
/proc/6089/stat : 6089 (minisat_static) R 6083 6083 5912 0 -1 4194304 540 0 0 0 139 0 0 0 25 0 1 0 310415647 3473408 526 1992294400 134512640 135215339 4294956240 18446744073709551615 134528714 0 0 4096 3 0 0 0 17 0 0 0
/proc/6089/statm: 848 526 76 171 0 675 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 8748
[startup+3.10118 s]
/proc/loadavg: 0.97 0.98 1.02 2/66 6089
/proc/meminfo: memFree=1972640/2055920 swapFree=4179324/4192956
[pid=6083] ppid=6081 vsize=5356 CPUtime=0.08
/proc/6083/stat : 6083 (SatELiteGTI) S 6081 6083 5912 0 -1 4194304 336 977 0 0 0 0 8 0 16 0 1 0 310415637 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 224627581764 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6083/statm: 1339 239 197 169 0 50 0
[pid=6089] ppid=6083 vsize=5424 CPUtime=2.99
/proc/6089/stat : 6089 (minisat_static) R 6083 6083 5912 0 -1 4194304 1023 0 0 0 299 0 0 0 25 0 1 0 310415647 5554176 1009 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/6089/statm: 1356 1009 77 171 0 1183 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 10780
[startup+6.30163 s]
/proc/loadavg: 0.98 0.98 1.02 2/66 6089
/proc/meminfo: memFree=1969248/2055920 swapFree=4179324/4192956
[pid=6083] ppid=6081 vsize=5356 CPUtime=0.08
/proc/6083/stat : 6083 (SatELiteGTI) S 6081 6083 5912 0 -1 4194304 336 977 0 0 0 0 8 0 16 0 1 0 310415637 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 224627581764 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6083/statm: 1339 239 197 169 0 50 0
[pid=6089] ppid=6083 vsize=8300 CPUtime=6.18
/proc/6089/stat : 6089 (minisat_static) R 6083 6083 5912 0 -1 4194304 1741 0 0 0 617 1 0 0 25 0 1 0 310415647 8499200 1727 1992294400 134512640 135215339 4294956240 18446744073709551615 134528821 0 0 4096 3 0 0 0 17 0 0 0
/proc/6089/statm: 2075 1727 77 171 0 1902 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 13656
[startup+12.7015 s]
/proc/loadavg: 0.98 0.98 1.02 2/66 6089
/proc/meminfo: memFree=1965352/2055920 swapFree=4179324/4192956
[pid=6083] ppid=6081 vsize=5356 CPUtime=0.08
/proc/6083/stat : 6083 (SatELiteGTI) S 6081 6083 5912 0 -1 4194304 336 977 0 0 0 0 8 0 16 0 1 0 310415637 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 224627581764 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6083/statm: 1339 239 197 169 0 50 0
[pid=6089] ppid=6083 vsize=11896 CPUtime=12.58
/proc/6089/stat : 6089 (minisat_static) R 6083 6083 5912 0 -1 4194304 2652 0 0 0 1256 2 0 0 25 0 1 0 310415647 12181504 2638 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/6089/statm: 2974 2638 77 171 0 2801 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 17252
[startup+25.5013 s]
/proc/loadavg: 0.98 0.98 1.02 2/66 6089
/proc/meminfo: memFree=1960296/2055920 swapFree=4179324/4192956
[pid=6083] ppid=6081 vsize=5356 CPUtime=0.08
/proc/6083/stat : 6083 (SatELiteGTI) S 6081 6083 5912 0 -1 4194304 336 977 0 0 0 0 8 0 16 0 1 0 310415637 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 224627581764 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6083/statm: 1339 239 197 169 0 50 0
[pid=6089] ppid=6083 vsize=16724 CPUtime=25.36
/proc/6089/stat : 6089 (minisat_static) R 6083 6083 5912 0 -1 4194304 3850 0 0 0 2533 3 0 0 25 0 1 0 310415647 17125376 3836 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/6089/statm: 4181 3836 77 171 0 4008 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 22080
[startup+51.102 s]
/proc/loadavg: 0.99 0.98 1.01 2/66 6089
/proc/meminfo: memFree=1959592/2055920 swapFree=4179324/4192956
[pid=6083] ppid=6081 vsize=5356 CPUtime=0.08
/proc/6083/stat : 6083 (SatELiteGTI) S 6081 6083 5912 0 -1 4194304 336 977 0 0 0 0 8 0 16 0 1 0 310415637 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 224627581764 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6083/statm: 1339 239 197 169 0 50 0
[pid=6089] ppid=6083 vsize=17388 CPUtime=50.92
/proc/6089/stat : 6089 (minisat_static) R 6083 6083 5912 0 -1 4194304 4002 0 0 0 5088 4 0 0 25 0 1 0 310415647 17805312 3988 1992294400 134512640 135215339 4294956240 18446744073709551615 134538050 0 0 4096 3 0 0 0 17 0 0 0
/proc/6089/statm: 4347 3988 77 171 0 4174 0
Current children cumulated CPU time (s) 51
Current children cumulated vsize (KiB) 22744
[startup+102.305 s]
/proc/loadavg: 0.99 0.98 1.01 2/66 6089
/proc/meminfo: memFree=1959080/2055920 swapFree=4179324/4192956
[pid=6083] ppid=6081 vsize=5356 CPUtime=0.08
/proc/6083/stat : 6083 (SatELiteGTI) S 6081 6083 5912 0 -1 4194304 336 977 0 0 0 0 8 0 16 0 1 0 310415637 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 224627581764 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6083/statm: 1339 239 197 169 0 50 0
[pid=6089] ppid=6083 vsize=17660 CPUtime=102.09
/proc/6089/stat : 6089 (minisat_static) R 6083 6083 5912 0 -1 4194304 4077 0 0 0 10205 4 0 0 25 0 1 0 310415647 18083840 4063 1992294400 134512640 135215339 4294956240 18446744073709551615 134539282 0 0 4096 3 0 0 0 17 0 0 0
/proc/6089/statm: 4415 4063 77 171 0 4242 0
Current children cumulated CPU time (s) 102.17
Current children cumulated vsize (KiB) 23016
[startup+162.302 s]
/proc/loadavg: 0.99 0.98 1.00 2/66 6089
/proc/meminfo: memFree=1958824/2055920 swapFree=4179324/4192956
[pid=6083] ppid=6081 vsize=5356 CPUtime=0.08
/proc/6083/stat : 6083 (SatELiteGTI) S 6081 6083 5912 0 -1 4194304 336 977 0 0 0 0 8 0 16 0 1 0 310415637 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 224627581764 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6083/statm: 1339 239 197 169 0 50 0
[pid=6089] ppid=6083 vsize=17796 CPUtime=162.06
/proc/6089/stat : 6089 (minisat_static) R 6083 6083 5912 0 -1 4194304 4106 0 0 0 16201 5 0 0 25 0 1 0 310415647 18223104 4092 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 0 0 0
/proc/6089/statm: 4449 4092 77 171 0 4276 0
Current children cumulated CPU time (s) 162.14
Current children cumulated vsize (KiB) 23152
[startup+222.301 s]
/proc/loadavg: 0.99 0.98 1.00 2/66 6089
/proc/meminfo: memFree=1958696/2055920 swapFree=4179324/4192956
[pid=6083] ppid=6081 vsize=5356 CPUtime=0.08
/proc/6083/stat : 6083 (SatELiteGTI) S 6081 6083 5912 0 -1 4194304 336 977 0 0 0 0 8 0 16 0 1 0 310415637 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 224627581764 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6083/statm: 1339 239 197 169 0 50 0
[pid=6089] ppid=6083 vsize=17796 CPUtime=222.02
/proc/6089/stat : 6089 (minisat_static) R 6083 6083 5912 0 -1 4194304 4126 0 0 0 22197 5 0 0 25 0 1 0 310415647 18223104 4112 1992294400 134512640 135215339 4294956240 18446744073709551615 134538561 0 0 4096 3 0 0 0 17 0 0 0
/proc/6089/statm: 4449 4112 77 171 0 4276 0
Current children cumulated CPU time (s) 222.1
Current children cumulated vsize (KiB) 23152
[startup+282.302 s]
/proc/loadavg: 1.07 1.01 1.01 2/66 6089
/proc/meminfo: memFree=1958504/2055920 swapFree=4179324/4192956
[pid=6083] ppid=6081 vsize=5356 CPUtime=0.08
/proc/6083/stat : 6083 (SatELiteGTI) S 6081 6083 5912 0 -1 4194304 336 977 0 0 0 0 8 0 16 0 1 0 310415637 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 224627581764 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6083/statm: 1339 239 197 169 0 50 0
[pid=6089] ppid=6083 vsize=17944 CPUtime=281.98
/proc/6089/stat : 6089 (minisat_static) R 6083 6083 5912 0 -1 4194304 4136 0 0 0 28193 5 0 0 25 0 1 0 310415647 18374656 4122 1992294400 134512640 135215339 4294956240 18446744073709551615 134528691 0 0 4096 3 0 0 0 17 0 0 0
/proc/6089/statm: 4486 4122 77 171 0 4313 0
Current children cumulated CPU time (s) 282.06
Current children cumulated vsize (KiB) 23300
[startup+342.301 s]
/proc/loadavg: 1.07 1.02 1.00 2/66 6089
/proc/meminfo: memFree=1958376/2055920 swapFree=4179324/4192956
[pid=6083] ppid=6081 vsize=5356 CPUtime=0.08
/proc/6083/stat : 6083 (SatELiteGTI) S 6081 6083 5912 0 -1 4194304 336 977 0 0 0 0 8 0 16 0 1 0 310415637 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 224627581764 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6083/statm: 1339 239 197 169 0 50 0
[pid=6089] ppid=6083 vsize=17944 CPUtime=341.94
/proc/6089/stat : 6089 (minisat_static) R 6083 6083 5912 0 -1 4194304 4150 0 0 0 34189 5 0 0 25 0 1 0 310415647 18374656 4136 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/6089/statm: 4486 4136 77 171 0 4313 0
Current children cumulated CPU time (s) 342.02
Current children cumulated vsize (KiB) 23300
[startup+402.302 s]
/proc/loadavg: 1.02 1.02 1.00 2/66 6089
/proc/meminfo: memFree=1958184/2055920 swapFree=4179324/4192956
[pid=6083] ppid=6081 vsize=5356 CPUtime=0.08
/proc/6083/stat : 6083 (SatELiteGTI) S 6081 6083 5912 0 -1 4194304 336 977 0 0 0 0 8 0 16 0 1 0 310415637 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 224627581764 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6083/statm: 1339 239 197 169 0 50 0
[pid=6089] ppid=6083 vsize=18100 CPUtime=401.91
################
# More data... #
################
[pid=6089] ppid=6083 vsize=18100 CPUtime=521.84
/proc/6089/stat : 6089 (minisat_static) R 6083 6083 5912 0 -1 4194304 4182 0 0 0 52178 6 0 0 25 0 1 0 310415647 18534400 4168 1992294400 134512640 135215339 4294956240 18446744073709551615 134532626 0 0 4096 3 0 0 0 17 0 0 0
/proc/6089/statm: 4525 4168 77 171 0 4352 0
Current children cumulated CPU time (s) 521.92
Current children cumulated vsize (KiB) 23456
[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 6095
/proc/meminfo: memFree=1957536/2055920 swapFree=4179324/4192956
[pid=6083] ppid=6081 vsize=5356 CPUtime=0.08
/proc/6083/stat : 6083 (SatELiteGTI) S 6081 6083 5912 0 -1 4194304 336 977 0 0 0 0 8 0 16 0 1 0 310415637 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 224627581764 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6083/statm: 1339 239 197 169 0 50 0
[pid=6089] ppid=6083 vsize=18100 CPUtime=581.8
/proc/6089/stat : 6089 (minisat_static) R 6083 6083 5912 0 -1 4194304 4195 0 0 0 58174 6 0 0 25 0 1 0 310415647 18534400 4181 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 0 0 0
/proc/6089/statm: 4525 4181 77 171 0 4352 0
Current children cumulated CPU time (s) 581.88
Current children cumulated vsize (KiB) 23456
[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 6095
/proc/meminfo: memFree=1957408/2055920 swapFree=4179324/4192956
[pid=6083] ppid=6081 vsize=5356 CPUtime=0.08
/proc/6083/stat : 6083 (SatELiteGTI) S 6081 6083 5912 0 -1 4194304 336 977 0 0 0 0 8 0 16 0 1 0 310415637 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 224627581764 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6083/statm: 1339 239 197 169 0 50 0
[pid=6089] ppid=6083 vsize=18232 CPUtime=641.77
/proc/6089/stat : 6089 (minisat_static) R 6083 6083 5912 0 -1 4194304 4230 0 0 0 64170 7 0 0 25 0 1 0 310415647 18669568 4216 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/6089/statm: 4558 4216 77 171 0 4385 0
Current children cumulated CPU time (s) 641.85
Current children cumulated vsize (KiB) 23588
[startup+702.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 6095
/proc/meminfo: memFree=1957344/2055920 swapFree=4179324/4192956
[pid=6083] ppid=6081 vsize=5356 CPUtime=0.08
/proc/6083/stat : 6083 (SatELiteGTI) S 6081 6083 5912 0 -1 4194304 336 977 0 0 0 0 8 0 16 0 1 0 310415637 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 224627581764 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6083/statm: 1339 239 197 169 0 50 0
[pid=6089] ppid=6083 vsize=18372 CPUtime=701.74
/proc/6089/stat : 6089 (minisat_static) R 6083 6083 5912 0 -1 4194304 4234 0 0 0 70167 7 0 0 25 0 1 0 310415647 18812928 4220 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/6089/statm: 4593 4220 77 171 0 4420 0
Current children cumulated CPU time (s) 701.82
Current children cumulated vsize (KiB) 23728
[startup+762.307 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 6095
/proc/meminfo: memFree=1957280/2055920 swapFree=4179324/4192956
[pid=6083] ppid=6081 vsize=5356 CPUtime=0.08
/proc/6083/stat : 6083 (SatELiteGTI) S 6081 6083 5912 0 -1 4194304 336 977 0 0 0 0 8 0 16 0 1 0 310415637 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 224627581764 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6083/statm: 1339 239 197 169 0 50 0
[pid=6089] ppid=6083 vsize=18372 CPUtime=761.69
/proc/6089/stat : 6089 (minisat_static) R 6083 6083 5912 0 -1 4194304 4247 0 0 0 76162 7 0 0 25 0 1 0 310415647 18812928 4233 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/6089/statm: 4593 4233 77 171 0 4420 0
Current children cumulated CPU time (s) 761.77
Current children cumulated vsize (KiB) 23728
[startup+822.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 6095
/proc/meminfo: memFree=1957216/2055920 swapFree=4179324/4192956
[pid=6083] ppid=6081 vsize=5356 CPUtime=0.08
/proc/6083/stat : 6083 (SatELiteGTI) S 6081 6083 5912 0 -1 4194304 336 977 0 0 0 0 8 0 16 0 1 0 310415637 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 224627581764 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6083/statm: 1339 239 197 169 0 50 0
[pid=6089] ppid=6083 vsize=18372 CPUtime=821.65
/proc/6089/stat : 6089 (minisat_static) R 6083 6083 5912 0 -1 4194304 4254 0 0 0 82158 7 0 0 25 0 1 0 310415647 18812928 4240 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 0 0 0
/proc/6089/statm: 4593 4240 77 171 0 4420 0
Current children cumulated CPU time (s) 821.73
Current children cumulated vsize (KiB) 23728
[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 6095
/proc/meminfo: memFree=1957096/2055920 swapFree=4179324/4192956
[pid=6083] ppid=6081 vsize=5356 CPUtime=0.08
/proc/6083/stat : 6083 (SatELiteGTI) S 6081 6083 5912 0 -1 4194304 336 977 0 0 0 0 8 0 16 0 1 0 310415637 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 224627581764 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6083/statm: 1339 239 197 169 0 50 0
[pid=6089] ppid=6083 vsize=18372 CPUtime=881.61
/proc/6089/stat : 6089 (minisat_static) R 6083 6083 5912 0 -1 4194304 4263 0 0 0 88154 7 0 0 25 0 1 0 310415647 18812928 4249 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/6089/statm: 4593 4249 77 171 0 4420 0
Current children cumulated CPU time (s) 881.69
Current children cumulated vsize (KiB) 23728
[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 6095
/proc/meminfo: memFree=1956968/2055920 swapFree=4179324/4192956
[pid=6083] ppid=6081 vsize=5356 CPUtime=0.08
/proc/6083/stat : 6083 (SatELiteGTI) S 6081 6083 5912 0 -1 4194304 336 977 0 0 0 0 8 0 16 0 1 0 310415637 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 224627581764 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6083/statm: 1339 239 197 169 0 50 0
[pid=6089] ppid=6083 vsize=18532 CPUtime=941.55
/proc/6089/stat : 6089 (minisat_static) R 6083 6083 5912 0 -1 4194304 4270 0 0 0 94147 8 0 0 25 0 1 0 310415647 18976768 4256 1992294400 134512640 135215339 4294956240 18446744073709551615 134537953 0 0 4096 3 0 0 0 17 0 0 0
/proc/6089/statm: 4633 4256 77 171 0 4460 0
Current children cumulated CPU time (s) 941.63
Current children cumulated vsize (KiB) 23888
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 6095
/proc/meminfo: memFree=1956840/2055920 swapFree=4179324/4192956
[pid=6083] ppid=6081 vsize=5356 CPUtime=0.08
/proc/6083/stat : 6083 (SatELiteGTI) S 6081 6083 5912 0 -1 4194304 336 977 0 0 0 0 8 0 16 0 1 0 310415637 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 224627581764 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6083/statm: 1339 239 197 169 0 50 0
[pid=6089] ppid=6083 vsize=18532 CPUtime=1001.52
/proc/6089/stat : 6089 (minisat_static) R 6083 6083 5912 0 -1 4194304 4279 0 0 0 100144 8 0 0 25 0 1 0 310415647 18976768 4265 1992294400 134512640 135215339 4294956240 18446744073709551615 134538488 0 0 4096 3 0 0 0 17 0 0 0
/proc/6089/statm: 4633 4265 77 171 0 4460 0
Current children cumulated CPU time (s) 1001.6
Current children cumulated vsize (KiB) 23888
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 6095
/proc/meminfo: memFree=1956712/2055920 swapFree=4179324/4192956
[pid=6083] ppid=6081 vsize=5356 CPUtime=0.08
/proc/6083/stat : 6083 (SatELiteGTI) S 6081 6083 5912 0 -1 4194304 336 977 0 0 0 0 8 0 16 0 1 0 310415637 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 224627581764 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6083/statm: 1339 239 197 169 0 50 0
[pid=6089] ppid=6083 vsize=18532 CPUtime=1061.48
/proc/6089/stat : 6089 (minisat_static) R 6083 6083 5912 0 -1 4194304 4301 0 0 0 106140 8 0 0 25 0 1 0 310415647 18976768 4287 1992294400 134512640 135215339 4294956240 18446744073709551615 134529148 0 0 4096 3 0 0 0 17 0 0 0
/proc/6089/statm: 4633 4287 77 171 0 4460 0
Current children cumulated CPU time (s) 1061.56
Current children cumulated vsize (KiB) 23888
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 6095
/proc/meminfo: memFree=1956584/2055920 swapFree=4179324/4192956
[pid=6083] ppid=6081 vsize=5356 CPUtime=0.08
/proc/6083/stat : 6083 (SatELiteGTI) S 6081 6083 5912 0 -1 4194304 336 977 0 0 0 0 8 0 16 0 1 0 310415637 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 224627581764 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6083/statm: 1339 239 197 169 0 50 0
[pid=6089] ppid=6083 vsize=18532 CPUtime=1121.45
/proc/6089/stat : 6089 (minisat_static) R 6083 6083 5912 0 -1 4194304 4301 0 0 0 112137 8 0 0 25 0 1 0 310415647 18976768 4287 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 0 0 0
/proc/6089/statm: 4633 4287 77 171 0 4460 0
Current children cumulated CPU time (s) 1121.53
Current children cumulated vsize (KiB) 23888
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 6095
/proc/meminfo: memFree=1955880/2055920 swapFree=4179324/4192956
[pid=6083] ppid=6081 vsize=5356 CPUtime=0.08
/proc/6083/stat : 6083 (SatELiteGTI) S 6081 6083 5912 0 -1 4194304 336 977 0 0 0 0 8 0 16 0 1 0 310415637 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 224627581764 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6083/statm: 1339 239 197 169 0 50 0
[pid=6089] ppid=6083 vsize=19192 CPUtime=1181.42
/proc/6089/stat : 6089 (minisat_static) R 6083 6083 5912 0 -1 4194304 4445 0 0 0 118134 8 0 0 25 0 1 0 310415647 19652608 4431 1992294400 134512640 135215339 4294956240 18446744073709551615 134525079 0 0 4096 3 0 0 0 17 0 0 0
/proc/6089/statm: 4798 4431 77 171 0 4625 0
Current children cumulated CPU time (s) 1181.5
Current children cumulated vsize (KiB) 24548
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 6095
/proc/meminfo: memFree=1955880/2055920 swapFree=4179324/4192956
[pid=6083] ppid=6081 vsize=5356 CPUtime=0.08
/proc/6083/stat : 6083 (SatELiteGTI) S 6081 6083 5912 0 -1 4194304 336 977 0 0 0 0 8 0 16 0 1 0 310415637 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 224627581764 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6083/statm: 1339 239 197 169 0 50 0
[pid=6089] ppid=6083 vsize=19192 CPUtime=1200.01
/proc/6089/stat : 6089 (minisat_static) R 6083 6083 5912 0 -1 4194304 4445 0 0 0 119993 8 0 0 25 0 1 0 310415647 19652608 4431 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/6089/statm: 4798 4431 77 171 0 4625 0
Current children cumulated CPU time (s) 1200.09
Current children cumulated vsize (KiB) 24548
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1200.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 6095
/proc/meminfo: memFree=1955880/2055920 swapFree=4179324/4192956
[pid=6083] ppid=6081 vsize=5356 CPUtime=0.08
/proc/6083/stat : 6083 (SatELiteGTI) S 6081 6083 5912 0 -1 4194304 336 977 0 0 0 0 8 0 16 0 1 0 310415637 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 224627581764 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6083/statm: 1339 239 197 169 0 50 0
[pid=6089] ppid=6083 vsize=19192 CPUtime=1200.01
/proc/6089/stat : 6089 (minisat_static) R 6083 6083 5912 0 -1 4194304 4445 0 0 0 119993 8 0 0 25 0 1 0 310415647 19652608 4431 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/6089/statm: 4798 4431 77 171 0 4625 0
Current children cumulated CPU time (s) 1200.09
Current children cumulated vsize (KiB) 24548
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.91
CPU time (s): 1200.12
CPU user time (s): 1200.02
CPU system time (s): 0.096985
CPU usage (%): 99.9342
Max. virtual memory (cumulated for all children) (KiB): 24548
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1200.02
system time used= 0.096985
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5767
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= 26
involuntary context switches= 7701
runsolver used 1.03384 second user time and 3.49247 second system time
The end
Begin job on node49 at 2009-05-20 14:51:53
IDJOB=1833611
IDBENCH=70785
IDSOLVER=671
FILE ID=node49/1833611-1242823913
PBS_JOBID= 9322495
Free space on /tmp= 66188 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/APPLICATIONS/bitverif/mulhs/mulhs016.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1833611-1242823913/watcher-1833611-1242823913 -o /tmp/evaluation-result-1833611-1242823913/solver-1833611-1242823913 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1833611-1242823913.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= e4ef55733955e0a45519e9f7dec923e5
RANDOM SEED=1492643549
node49.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.241
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.241
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: 1976472 kB
Buffers: 15692 kB
Cached: 27160 kB
SwapCached: 6924 kB
Active: 26028 kB
Inactive: 25188 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1976472 kB
SwapTotal: 4192956 kB
SwapFree: 4179324 kB
Dirty: 1784 kB
Writeback: 0 kB
Mapped: 13588 kB
Slab: 13992 kB
Committed_AS: 1069876 kB
PageTables: 1388 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264960 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66188 MiB
End job on node49 at 2009-05-20 15:11:56