0.00/0.00 c Parsing...
1.21/1.30 c ==============================================================================
1.21/1.30 c | | ORIGINAL | LEARNT | |
1.21/1.30 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
1.21/1.30 c ==============================================================================
1.21/1.30 c | 0 | 1328859 3634310 | 398657 0 0 nan | 0.000 % |
46.29/46.41 c | 0 | 253406 1804413 | -- 0 -- -- | -- | -752995/-922075
46.39/46.41 c ==============================================================================
46.39/46.41 c Result : #vars: 4366 #clauses: 253406 #literals: 1804413
46.39/46.41 c CPU time: 46.07 s
46.39/46.41 c ==============================================================================
46.98/47.04 c This is MiniSat 2.0 beta
46.98/47.04 c WARNING: for repeatability, setting FPU to use double precision
46.98/47.04 c ============================[ Problem Statistics ]=============================
46.98/47.04 c | |
46.98/47.05 c | Number of variables: 4366 |
46.98/47.05 c | Number of clauses: 253406 |
47.18/47.29 c | Parsing time: 0.19 s |
47.18/47.31 c ============================[ Search Statistics ]==============================
47.18/47.31 c | Conflicts | ORIGINAL | LEARNT | Progress |
47.18/47.31 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
47.18/47.31 c ===============================================================================
47.18/47.31 c | 0 | 4366 253406 1804413 | 84468 0 nan | 0.000 % |
47.18/47.31 c | 100 | 4366 253406 1804413 | 84468 100 8 | 0.000 % |
47.29/47.32 c | 201 | 4366 253406 1804413 | 84468 201 8 | 0.000 % |
47.29/47.34 c | 302 | 4366 253406 1804413 | 84468 302 8 | 0.000 % |
47.29/47.36 c | 413 | 4366 253406 1804413 | 84468 413 8 | 0.000 % |
47.29/47.38 c | 513 | 4366 253406 1804413 | 84468 513 8 | 0.000 % |
47.29/47.40 c | 625 | 4366 253406 1804413 | 84468 625 8 | 0.000 % |
47.38/47.42 c | 746 | 4366 253406 1804413 | 84468 746 8 | 0.000 % |
47.38/47.45 c | 846 | 4366 253406 1804413 | 84468 846 8 | 0.000 % |
47.38/47.48 c | 956 | 4366 253406 1804413 | 84468 956 8 | 0.000 % |
47.48/47.51 c | 1077 | 4366 253406 1804413 | 84468 1077 8 | 0.000 % |
47.48/47.53 c | 1211 | 4366 253406 1804413 | 84468 1211 9 | 0.000 % |
47.48/47.57 c | 1311 | 4366 253406 1804413 | 84468 1311 9 | 0.000 % |
47.48/47.60 c | 1421 | 4366 253406 1804413 | 84468 1421 9 | 0.000 % |
47.58/47.63 c | 1542 | 4366 253406 1804413 | 84468 1542 9 | 0.000 % |
47.58/47.68 c | 1675 | 4366 253406 1804413 | 84468 1675 9 | 0.000 % |
47.68/47.72 c | 1822 | 4366 253406 1804413 | 84468 1822 9 | 0.000 % |
47.68/47.75 c | 1923 | 4366 253406 1804413 | 84468 1923 9 | 0.000 % |
47.68/47.77 c | 2033 | 4366 253406 1804413 | 84468 2033 9 | 0.000 % |
47.78/47.81 c | 2155 | 4366 253406 1804413 | 84468 2155 9 | 0.000 % |
47.78/47.82 c | 2290 | 4366 253406 1804413 | 84468 2290 9 | 0.000 % |
47.78/47.84 c | 2436 | 4366 253406 1804413 | 84468 2436 9 | 0.000 % |
47.78/47.86 c | 2597 | 4366 253406 1804413 | 84468 2597 9 | 0.000 % |
47.78/47.90 c | 2697 | 4366 253406 1804413 | 84468 2697 9 | 0.000 % |
47.88/47.93 c | 2807 | 4366 253406 1804413 | 84468 2807 9 | 0.000 % |
47.88/47.94 c | 2928 | 4366 253406 1804413 | 84468 2928 9 | 0.000 % |
47.88/47.97 c | 3061 | 4366 253406 1804413 | 84468 3061 9 | 0.000 % |
47.88/48.00 c | 3207 | 4366 253406 1804413 | 84468 3207 9 | 0.000 % |
47.98/48.06 c | 3367 | 4366 253406 1804413 | 84468 3367 10 | 0.000 % |
47.98/48.10 c | 3543 | 4366 253406 1804413 | 84468 3543 10 | 0.000 % |
48.08/48.12 c | 3643 | 4365 253406 1804413 | 84468 3642 10 | 0.023 % |
48.08/48.14 c | 3754 | 4365 253406 1804413 | 84468 3753 10 | 0.023 % |
48.08/48.15 c | 3875 | 4365 253406 1804413 | 84468 3874 10 | 0.023 % |
48.08/48.18 c | 4008 | 4365 253406 1804413 | 84468 4007 10 | 0.023 % |
48.08/48.21 c | 4155 | 4365 253406 1804413 | 84468 4154 10 | 0.023 % |
48.18/48.22 c | 4315 | 4365 253406 1804413 | 84468 4314 10 | 0.023 % |
48.18/48.27 c | 4491 | 4365 253406 1804413 | 84468 4490 10 | 0.023 % |
48.18/48.29 c | 4684 | 4365 253406 1804413 | 84468 4683 10 | 0.023 % |
48.28/48.32 c | 4784 | 4365 253406 1804413 | 84468 4783 10 | 0.023 % |
48.28/48.35 c | 4895 | 4365 253406 1804413 | 84468 4894 10 | 0.023 % |
48.28/48.37 c | 5016 | 4365 253406 1804413 | 84468 5015 10 | 0.023 % |
48.39/48.43 c | 5149 | 4364 253406 1804413 | 84468 5147 10 | 0.046 % |
48.39/48.46 c | 5297 | 4364 253406 1804413 | 84468 5295 10 | 0.046 % |
48.39/48.47 c | 5459 | 4364 253406 1804413 | 84468 5457 10 | 0.046 % |
48.39/48.50 c | 5635 | 4364 253406 1804413 | 84468 5633 10 | 0.046 % |
48.48/48.52 c | 5828 | 4364 253406 1804413 | 84468 5826 10 | 0.046 % |
48.48/48.56 c | 6041 | 4364 253406 1804413 | 84468 6039 10 | 0.046 % |
48.48/48.58 c | 6141 | 4364 253406 1804413 | 84468 6139 10 | 0.046 % |
48.58/48.61 c | 6252 | 4364 253406 1804413 | 84468 6250 10 | 0.046 % |
48.58/48.62 c | 6373 | 4364 253406 1804413 | 84468 6371 10 | 0.046 % |
48.58/48.67 c | 6506 | 4364 253406 1804413 | 84468 6504 11 | 0.046 % |
48.58/48.70 c | 6653 | 4363 253406 1804413 | 84468 6650 11 | 0.069 % |
48.68/48.73 c | 6813 | 4363 253406 1804413 | 84468 6810 11 | 0.069 % |
48.68/48.78 c | 6991 | 4363 253406 1804413 | 84468 6988 11 | 0.069 % |
48.78/48.81 c | 7184 | 4363 253406 1804413 | 84468 7181 11 | 0.069 % |
48.78/48.84 c | 7396 | 4363 253406 1804413 | 84468 7393 11 | 0.069 % |
48.88/48.91 c | 7630 | 4363 253406 1804413 | 84468 7627 11 | 0.069 % |
48.88/48.95 c | 7730 | 4363 253406 1804413 | 84468 7727 11 | 0.069 % |
48.88/48.97 c | 7840 | 4363 253406 1804413 | 84468 7837 11 | 0.069 % |
48.88/48.99 c | 7961 | 4363 253406 1804413 | 84468 7958 11 | 0.069 % |
48.98/49.03 c | 8094 | 4363 253406 1804413 | 84468 8091 11 | 0.069 % |
48.98/49.06 c | 8240 | 4363 253406 1804413 | 84468 8237 11 | 0.069 % |
48.98/49.08 c | 8400 | 4363 253406 1804413 | 84468 8397 11 | 0.069 % |
49.08/49.14 c | 8576 | 4363 253406 1804413 | 84468 8573 11 | 0.069 % |
49.08/49.17 c | 8770 | 4363 253406 1804413 | 84468 8767 11 | 0.069 % |
49.08/49.19 c | 8982 | 4363 253406 1804413 | 84468 8979 11 | 0.069 % |
49.18/49.21 c | 9216 | 4363 253406 1804413 | 84468 9213 11 | 0.069 % |
49.18/49.25 c | 9473 | 4363 253406 1804413 | 84468 9470 11 | 0.069 % |
49.18/49.27 c | 9575 | 4363 253406 1804413 | 84468 9572 11 | 0.069 % |
49.18/49.30 c | 9685 | 4363 253406 1804413 | 84468 9682 11 | 0.069 % |
49.28/49.32 c | 9806 | 4363 253406 1804413 | 84468 9803 11 | 0.069 % |
49.28/49.34 c | 9939 | 4363 253406 1804413 | 84468 9936 11 | 0.069 % |
49.28/49.37 c | 10086 | 4363 253406 1804413 | 2147483647 10083 11 | 0.069 % |
49.38/49.41 c | 10246 | 4363 253406 1804413 | 2147483647 10243 11 | 0.069 % |
49.38/49.47 c | 10422 | 4363 253406 1804413 | 2147483647 10419 11 | 0.069 % |
49.38/49.50 c | 10616 | 4363 253406 1804413 | 2147483647 10613 12 | 0.069 % |
49.49/49.54 c | 10828 | 4363 253406 1804413 | 2147483647 10825 12 | 0.069 % |
49.49/49.57 c | 11061 | 4363 253406 1804413 | 2147483647 11058 12 | 0.069 % |
49.58/49.64 c | 11318 | 4363 253406 1804413 | 2147483647 11315 12 | 0.069 % |
49.58/49.70 c | 11599 | 4362 253406 1804413 | 2147483647 11595 12 | 0.092 % |
49.68/49.73 c | 11700 | 4362 253406 1804413 | 2147483647 11696 12 | 0.092 % |
49.68/49.74 c | 11810 | 4362 253406 1804413 | 2147483647 11806 12 | 0.092 % |
49.68/49.76 c | 11931 | 4362 253406 1804413 | 2147483647 11927 12 | 0.092 % |
49.68/49.77 c | 12065 | 4362 253406 1804413 | 2147483647 12061 12 | 0.092 % |
49.68/49.79 c | 12213 | 4362 253406 1804413 | 2147483647 12209 12 | 0.092 % |
49.78/49.81 c | 12373 | 4362 253406 1804413 | 2147483647 12369 12 | 0.092 % |
49.78/49.84 c | 12549 | 4362 253406 1804413 | 2147483647 12545 12 | 0.092 % |
49.78/49.85 c | 12743 | 4362 253406 1804413 | 2147483647 12739 12 | 0.092 % |
49.88/49.93 c | 12955 | 4362 253406 1804413 | 2147483647 12951 12 | 0.092 % |
49.88/49.95 c | 13188 | 4362 253406 1804413 | 2147483647 13184 12 | 0.092 % |
49.98/50.09 c | 13444 | 4362 253406 1804413 | 2147483647 13440 12 | 0.092 % |
50.08/50.12 c | 13725 | 4362 253406 1804413 | 2147483647 13721 12 | 0.092 % |
50.08/50.14 c | 14034 | 4362 253406 1804413 | 2147483647 14030 12 | 0.092 % |
50.08/50.17 c | 14136 | 4362 253406 1804413 | 2147483647 14132 12 | 0.092 % |
50.08/50.19 c | 14246 | 4362 253406 1804413 | 2147483647 14242 12 | 0.092 % |
50.08/50.21 c | 14369 | 4362 253406 1804413 | 2147483647 14365 12 | 0.092 % |
50.18/50.23 c | 14502 | 4362 253406 1804413 | 2147483647 14498 12 | 0.092 % |
50.18/50.27 c | 14649 | 4362 253406 1804413 | 2147483647 14645 12 | 0.092 % |
50.18/50.30 c | 14810 | 4362 253406 1804413 | 2147483647 14806 12 | 0.092 % |
50.28/50.32 c | 14986 | 4362 253406 1804413 | 2147483647 14982 12 | 0.092 % |
50.28/50.35 c | 15180 | 4362 253406 1804413 | 2147483647 15176 12 | 0.092 % |
50.28/50.38 c | 15394 | 4362 253406 1804413 | 2147483647 15390 12 | 0.092 % |
50.38/50.46 c | 15627 | 4362 253406 1804413 | 2147483647 15623 12 | 0.092 % |
50.38/50.48 c | 15884 | 4362 253406 1804413 | 2147483647 15880 13 | 0.092 % |
50.48/50.51 c | 16166 | 4362 253406 1804413 | 2147483647 16162 13 | 0.092 % |
50.48/50.58 c | 16477 | 4362 253406 1804413 | 2147483647 16473 13 | 0.092 % |
50.59/50.62 c | 16816 | 4362 253406 1804413 | 2147483647 16812 13 | 0.092 % |
50.59/50.64 c | 16917 | 4362 253406 1804413 | 2147483647 16913 13 | 0.092 % |
50.59/50.67 c | 17028 | 4362 253406 1804413 | 2147483647 17024 13 | 0.092 % |
50.59/50.70 c | 17149 | 4362 253406 1804413 | 2147483647 17145 13 | 0.092 % |
50.68/50.72 c | 17282 | 4362 253406 1804413 | 2147483647 17278 12 | 0.092 % |
50.68/50.75 c | 17429 | 4362 253406 1804413 | 2147483647 17425 12 | 0.092 % |
50.68/50.78 c | 17589 | 4362 253406 1804413 | 2147483647 17585 13 | 0.092 % |
50.78/50.81 c | 17766 | 4362 253406 1804413 | 2147483647 17762 13 | 0.092 % |
50.78/50.84 c | 17960 | 4362 253406 1804413 | 2147483647 17956 13 | 0.092 % |
50.78/50.87 c | 18173 | 4362 253406 1804413 | 2147483647 18169 13 | 0.092 % |
50.88/50.95 c | 18406 | 4362 253406 1804413 | 2147483647 18402 13 | 0.092 % |
50.88/51.00 c | 18662 | 4362 253406 1804413 | 2147483647 18658 13 | 0.092 % |
50.98/51.07 c | 18944 | 4362 253406 1804413 | 2147483647 18940 13 | 0.092 % |
51.08/51.13 c | 19254 | 4362 253406 1804413 | 2147483647 19250 13 | 0.092 % |
51.08/51.20 c | 19593 | 4362 253406 1804413 | 2147483647 19589 13 | 0.092 % |
51.18/51.28 c | 19966 | 4361 253406 1804413 | 2147483647 19961 13 | 0.115 % |
51.18/51.29 c | 20066 | 4361 253406 1804413 | 2147483647 20061 13 | 0.115 % |
51.28/51.33 c | 20178 | 4361 253406 1804413 | 2147483647 20173 13 | 0.115 % |
51.28/51.36 c | 20300 | 4361 253406 1804413 | 2147483647 20295 13 | 0.115 % |
51.28/51.38 c | 20433 | 4361 253406 1804413 | 2147483647 20428 13 | 0.115 % |
51.38/51.41 c | 20579 | 4361 253406 1804413 | 2147483647 20574 13 | 0.115 % |
51.38/51.46 c | 20741 | 4361 253406 1804413 | 2147483647 20736 13 | 0.115 % |
51.38/51.50 c | 20919 | 4361 253406 1804413 | 2147483647 20914 13 | 0.115 % |
51.48/51.52 c | 21112 | 4361 253406 1804413 | 2147483647 21107 13 | 0.115 % |
51.48/51.55 c | 21324 | 4361 253406 1804413 | 2147483647 21319 13 | 0.115 % |
51.58/51.63 c | 21557 | 4361 253406 1804413 | 2147483647 21552 13 | 0.115 % |
51.58/51.68 c | 21813 | 4361 253406 1804413 | 2147483647 21808 13 | 0.115 % |
51.69/51.78 c | 22095 | 4361 253406 1804413 | 2147483647 22090 13 | 0.115 % |
51.78/51.85 c | 22404 | 4361 253406 1804413 | 2147483647 22399 13 | 0.115 % |
51.78/51.90 c | 22744 | 4361 253406 1804413 | 2147483647 22739 13 | 0.115 % |
51.88/51.95 c | 23117 | 4361 253406 1804413 | 2147483647 23112 13 | 0.115 % |
51.98/52.05 c | 23527 | 4361 253406 1804413 | 2147483647 23522 13 | 0.115 % |
51.98/52.06 c | 23627 | 4361 253406 1804413 | 2147483647 23622 13 | 0.115 % |
51.98/52.07 c | 23739 | 4361 253406 1804413 | 2147483647 23734 13 | 0.115 % |
51.98/52.10 c | 23860 | 4361 253406 1804413 | 2147483647 23855 13 | 0.115 % |
52.08/52.13 c | 23994 | 4360 253406 1804413 | 2147483647 23988 13 | 0.137 % |
52.08/52.15 c | 24140 | 4360 253406 1804413 | 2147483647 24134 13 | 0.137 % |
52.08/52.18 c | 24300 | 4360 253406 1804413 | 2147483647 24294 13 | 0.137 % |
52.18/52.23 c | 24477 | 4360 253406 1804413 | 2147483647 24471 13 | 0.137 % |
52.18/52.27 c | 24670 | 4360 253406 1804413 | 2147483647 24664 13 | 0.137 % |
52.28/52.32 c | 24882 | 4360 253406 1804413 | 2147483647 24876 13 | 0.137 % |
52.28/52.37 c | 25115 | 4360 253406 1804413 | 2147483647 25109 13 | 0.137 % |
52.28/52.39 c | 25373 | 4360 253406 1804413 | 2147483647 25367 13 | 0.137 % |
52.38/52.42 c | 25655 | 4360 253406 1804413 | 2147483647 25649 13 | 0.137 % |
52.48/52.52 c | 25965 | 4360 253406 1804413 | 2147483647 25959 13 | 0.137 % |
52.48/52.57 c | 26305 | 4360 253406 1804413 | 2147483647 26299 13 | 0.137 % |
52.58/52.64 c | 26678 | 4360 253406 1804413 | 2147483647 26672 13 | 0.137 % |
52.58/52.70 c | 27088 | 4360 253406 1804413 | 2147483647 27082 14 | 0.137 % |
52.79/52.82 c | 27540 | 4360 253406 1804413 | 2147483647 27534 14 | 0.137 % |
52.79/52.84 c | 27640 | 4360 253406 1804413 | 2147483647 27634 14 | 0.137 % |
52.79/52.89 c | 27751 | 4360 253406 1804413 | 2147483647 27745 14 | 0.137 % |
52.88/52.91 c | 27873 | 4360 253406 1804413 | 2147483647 27867 14 | 0.137 % |
52.88/52.93 c | 28006 | 4360 253406 1804413 | 2147483647 28000 13 | 0.137 % |
52.88/52.97 c | 28154 | 4360 253406 1804413 | 2147483647 28148 13 | 0.137 % |
52.88/53.00 c | 28315 | 4360 253406 1804413 | 2147483647 28309 13 | 0.137 % |
52.98/53.04 c | 28493 | 4360 253406 1804413 | 2147483647 28487 13 | 0.137 % |
52.98/53.08 c | 28687 | 4360 253406 1804413 | 2147483647 28681 13 | 0.137 % |
53.08/53.11 c | 28900 | 4360 253406 1804413 | 2147483647 28894 13 | 0.137 % |
53.08/53.18 c | 29133 | 4360 253406 1804413 | 2147483647 29127 13 | 0.137 % |
53.18/53.24 c | 29390 | 4360 253406 1804413 | 2147483647 29384 13 | 0.137 % |
53.18/53.29 c | 29671 | 4360 253406 1804413 | 2147483647 29665 13 | 0.137 % |
53.28/53.33 c | 29980 | 4360 253406 1804413 | 2147483647 29974 13 | 0.137 % |
53.28/53.40 c | 30319 | 4360 253406 1804413 | 2147483647 30313 13 | 0.137 % |
53.38/53.45 c | 30692 | 4360 253406 1804413 | 2147483647 30686 13 | 0.137 % |
53.38/53.50 c | 31101 | 4360 253406 1804413 | 2147483647 31095 14 | 0.137 % |
53.58/53.61 c | 31552 | 4360 253406 1804413 | 2147483647 31546 14 | 0.137 % |
53.68/53.71 c | 32046 | 4360 253406 1804413 | 2147483647 32040 14 | 0.137 % |
53.68/53.74 c | 32147 | 4360 253406 1804413 | 2147483647 32141 14 | 0.137 % |
53.68/53.77 c | 32258 | 4360 253406 1804413 | 2147483647 32252 14 | 0.137 % |
53.68/53.79 c | 32382 | 4360 253406 1804413 | 2147483647 32376 14 | 0.137 % |
53.78/53.83 c | 32515 | 4360 253406 1804413 | 2147483647 32509 14 | 0.137 % |
53.78/53.88 c | 32661 | 4360 253406 1804413 | 2147483647 32655 14 | 0.137 % |
53.78/53.90 c | 32821 | 4360 253406 1804413 | 2147483647 32815 14 | 0.137 % |
53.89/53.93 c | 32997 | 4360 253406 1804413 | 2147483647 32991 14 | 0.137 % |
53.89/54.00 c | 33190 | 4360 253406 1804413 | 2147483647 33184 14 | 0.137 % |
53.98/54.05 c | 33402 | 4360 253406 1804413 | 2147483647 33396 14 | 0.137 % |
54.08/54.12 c | 33636 | 4360 253406 1804413 | 2147483647 33630 14 | 0.137 % |
54.08/54.17 c | 33892 | 4360 253406 1804413 | 2147483647 33886 14 | 0.137 % |
54.18/54.22 c | 34173 | 4360 253406 1804413 | 2147483647 34167 14 | 0.137 % |
54.18/54.26 c | 34483 | 4360 253406 1804413 | 2147483647 34477 14 | 0.137 % |
54.28/54.31 c | 34822 | 4360 253406 1804413 | 2147483647 34816 14 | 0.137 % |
54.28/54.36 c | 35195 | 4360 253406 1804413 | 2147483647 35189 14 | 0.137 % |
54.38/54.44 c | 35604 | 4360 253406 1804413 | 2147483647 35598 14 | 0.137 % |
54.38/54.49 c | 36054 | 4360 253406 1804413 | 2147483647 36048 14 | 0.137 % |
54.48/54.59 c | 36548 | 4360 253406 1804413 | 2147483647 36542 14 | 0.137 % |
54.88/54.98 c | 37091 | 4360 253406 1804413 | 2147483647 37085 14 | 0.137 % |
54.99/55.04 c | 37192 | 4360 253334 1804227 | 2147483647 37181 14 | 0.137 % |
54.99/55.06 c | 37304 | 4360 253334 1804227 | 2147483647 37293 14 | 0.137 % |
54.99/55.07 c | 37425 | 4360 253334 1804227 | 2147483647 37414 14 | 0.137 % |
54.99/55.09 c | 37558 | 4360 253334 1804227 | 2147483647 37547 14 | 0.137 % |
55.08/55.12 c | 37705 | 4360 253334 1804227 | 2147483647 37694 14 | 0.137 % |
55.08/55.15 c | 37865 | 4360 253334 1804227 | 2147483647 37854 14 | 0.137 % |
55.08/55.17 c | 38043 | 4360 253334 1804227 | 2147483647 38032 14 | 0.137 % |
55.18/55.22 c | 38236 | 4360 253334 1804227 | 2147483647 38225 14 | 0.137 % |
55.18/55.24 c | 38448 | 4360 253334 1804227 | 2147483647 38437 14 | 0.137 % |
55.18/55.29 c | 38681 | 4360 253334 1804227 | 2147483647 38670 14 | 0.137 % |
55.28/55.34 c | 38937 | 4360 253334 1804227 | 2147483647 38926 14 | 0.137 % |
55.28/55.37 c | 39219 | 4360 253334 1804227 | 2147483647 39208 14 | 0.137 % |
55.38/55.41 c | 39528 | 4360 253334 1804227 | 2147483647 39517 14 | 0.137 % |
55.38/55.46 c | 39867 | 4360 253334 1804227 | 2147483647 39856 14 | 0.137 % |
55.48/55.52 c | 40239 | 4360 253334 1804227 | 2147483647 40228 14 | 0.137 % |
55.48/55.60 c | 40648 | 4359 253334 1804227 | 2147483647 40636 14 | 0.160 % |
55.68/55.71 c | 41098 | 4359 253334 1804227 | 2147483647 41086 14 | 0.160 % |
55.68/55.80 c | 41591 | 4357 253334 1804227 | 2147483647 41577 14 | 0.206 % |
55.78/55.84 c | 42133 | 4357 253334 1804227 | 2147483647 42119 14 | 0.206 % |
55.98/56.08 c | 42730 | 4357 253334 1804227 | 2147483647 42716 14 | 0.206 % |
55.98/56.09 c | 42831 | 4357 253334 1804227 | 2147483647 42817 14 | 0.206 % |
55.98/56.11 c | 42942 | 4357 253334 1804227 | 2147483647 42928 14 | 0.206 % |
56.09/56.15 c | 43063 | 4357 253334 1804227 | 2147483647 43049 14 | 0.206 % |
56.09/56.17 c | 43197 | 4357 253334 1804227 | 2147483647 43183 14 | 0.206 % |
56.18/56.30 c | 43343 | 4357 253334 1804227 | 2147483647 43329 14 | 0.206 % |
56.28/56.33 c | 43503 | 4357 253334 1804227 | 2147483647 43489 14 | 0.206 % |
56.28/56.36 c | 43680 | 4357 253334 1804227 | 2147483647 43666 14 | 0.206 % |
56.28/56.38 c | 43874 | 4357 253334 1804227 | 2147483647 43860 14 | 0.206 % |
56.38/56.43 c | 44086 | 4357 253334 1804227 | 2147483647 44072 14 | 0.206 % |
56.38/56.46 c | 44320 | 4357 253334 1804227 | 2147483647 44306 14 | 0.206 % |
56.48/56.54 c | 44578 | 4357 253334 1804227 | 2147483647 44564 14 | 0.206 % |
56.68/56.74 c | 44859 | 4357 253334 1804227 | 2147483647 44845 14 | 0.206 % |
56.78/56.85 c | 45168 | 4356 253334 1804227 | 2147483647 45153 14 | 0.229 % |
56.88/56.93 c | 45508 | 4356 253334 1804227 | 2147483647 45492 14 | 0.252 % |
56.88/57.00 c | 45880 | 4355 253334 1804227 | 2147483647 45864 14 | 0.252 % |
56.98/57.06 c | 46290 | 4355 253334 1804227 | 2147483647 46274 14 | 0.252 % |
57.08/57.11 c | 46740 | 4355 253334 1804227 | 2147483647 46724 14 | 0.252 % |
57.08/57.17 c | 47234 | 4355 253334 1804227 | 2147483647 47218 14 | 0.252 % |
57.19/57.23 c | 47776 | 4355 253334 1804227 | 2147483647 47760 14 | 0.252 % |
57.28/57.33 c | 48372 | 4355 253334 1804227 | 2147483647 48356 14 | 0.252 % |
57.38/57.41 c | 49028 | 4355 253334 1804227 | 2147483647 49012 14 | 0.252 % |
57.38/57.43 c | 49129 | 4355 253334 1804227 | 2147483647 49113 14 | 0.252 % |
57.38/57.49 c | 49243 | 4354 253334 1804227 | 2147483647 49226 14 | 0.275 % |
57.48/57.52 c | 49364 | 4354 253334 1804227 | 2147483647 49347 14 | 0.275 % |
57.48/57.53 c | 49497 | 4354 253334 1804227 | 2147483647 49480 14 | 0.275 % |
57.48/57.55 c | 49644 | 4354 253334 1804227 | 2147483647 49627 14 | 0.275 % |
57.58/57.62 c | 49804 | 4354 253334 1804227 | 2147483647 49787 14 | 0.275 % |
57.58/57.64 c | 49980 | 4354 253334 1804227 | 2147483647 49963 14 | 0.275 % |
57.68/57.71 c | 50174 | 4353 253334 1804227 | 2147483647 50156 14 | 0.298 % |
57.68/57.76 c | 50387 | 4353 253334 1804227 | 2147483647 50369 14 | 0.298 % |
57.78/57.81 c | 50620 | 4353 253334 1804227 | 2147483647 50602 14 | 0.298 % |
57.78/57.85 c | 50877 | 4353 253334 1804227 | 2147483647 50859 14 | 0.298 % |
57.78/57.89 c | 51158 | 4353 253334 1804227 | 2147483647 51140 14 | 0.298 % |
57.98/58.03 c | 51467 | 4353 253334 1804227 | 2147483647 51449 14 | 0.298 % |
58.08/58.11 c | 51807 | 4353 253334 1804227 | 2147483647 51789 14 | 0.298 % |
58.08/58.19 c | 52179 | 4353 253334 1804227 | 2147483647 52161 14 | 0.298 % |
58.38/58.41 c | 52588 | 4353 253334 1804227 | 2147483647 52570 14 | 0.298 % |
58.48/58.59 c | 53037 | 4353 253334 1804227 | 2147483647 53019 14 | 0.298 % |
58.58/58.67 c | 53530 | 4353 253334 1804227 | 2147483647 53512 14 | 0.298 % |
58.78/58.82 c | 54072 | 4353 253334 1804227 | 2147483647 54054 14 | 0.298 % |
58.78/58.89 c | 54669 | 4353 253334 1804227 | 2147483647 54651 14 | 0.298 % |
59.28/59.38 c | 55324 | 4353 253334 1804227 | 2147483647 55306 15 | 0.298 % |
59.48/59.54 c | 56047 | 4352 253334 1804227 | 2147483647 56028 15 | 0.321 % |
59.48/59.55 c | 56147 | 4352 253334 1804227 | 2147483647 56128 15 | 0.321 % |
59.48/59.57 c | 56257 | 4352 253334 1804227 | 2147483647 56238 15 | 0.321 % |
59.48/59.58 c | 56379 | 4352 253334 1804227 | 2147483647 56360 15 | 0.321 % |
59.48/59.60 c | 56512 | 4352 253334 1804227 | 2147483647 56493 15 | 0.321 % |
59.58/59.65 c | 56659 | 4352 253334 1804227 | 2147483647 56640 15 | 0.321 % |
59.68/59.71 c | 56819 | 4352 253334 1804227 | 2147483647 56800 15 | 0.321 % |
59.68/59.72 c | 56996 | 4352 253334 1804227 | 2147483647 56977 14 | 0.321 % |
59.68/59.77 c | 57192 | 4352 253334 1804227 | 2147483647 57173 15 | 0.321 % |
59.78/59.82 c | 57405 | 4352 253334 1804227 | 2147483647 57386 14 | 0.321 % |
59.78/59.85 c | 57639 | 4352 253334 1804227 | 2147483647 57620 14 | 0.321 % |
59.88/59.98 c | 57896 | 4352 253334 1804227 | 2147483647 57877 14 | 0.321 % |
59.98/60.08 c | 58177 | 4352 253334 1804227 | 2147483647 58158 14 | 0.321 % |
60.18/60.25 c | 58487 | 4352 253334 1804227 | 2147483647 58468 15 | 0.321 % |
60.28/60.35 c | 58827 | 4352 253334 1804227 | 2147483647 58808 14 | 0.321 % |
60.28/60.41 c | 59200 | 4352 253334 1804227 | 2147483647 59181 15 | 0.321 % |
60.49/60.55 c | 59610 | 4352 253334 1804227 | 2147483647 59591 15 | 0.321 % |
60.49/60.60 c | 60060 | 4352 253334 1804227 | 2147483647 60041 15 | 0.321 % |
60.78/60.82 c | 60553 | 4352 253334 1804227 | 2147483647 60534 15 | 0.321 % |
60.78/60.90 c | 61096 | 4352 253334 1804227 | 2147483647 61077 15 | 0.321 % |
60.88/60.98 c | 61693 | 4352 253334 1804227 | 2147483647 61674 15 | 0.321 % |
60.98/61.09 c | 62349 | 4352 253334 1804227 | 2147483647 62330 15 | 0.321 % |
61.08/61.17 c | 63069 | 4352 253334 1804227 | 2147483647 63050 15 | 0.321 % |
61.28/61.38 c | 63862 | 4352 253334 1804227 | 2147483647 63843 15 | 0.321 % |
61.28/61.40 c | 63963 | 4352 253334 1804227 | 2147483647 63944 15 | 0.321 % |
61.38/61.43 c | 64073 | 4352 253334 1804227 | 2147483647 64054 15 | 0.321 % |
61.38/61.47 c | 64194 | 4352 253334 1804227 | 2147483647 64175 15 | 0.321 % |
61.38/61.50 c | 64327 | 4352 253334 1804227 | 2147483647 64308 15 | 0.321 % |
61.48/61.53 c | 64474 | 4352 253334 1804227 | 2147483647 64455 15 | 0.321 % |
61.48/61.59 c | 64635 | 4352 253334 1804227 | 2147483647 64616 15 | 0.321 % |
61.59/61.63 c | 64812 | 4352 253334 1804227 | 2147483647 64793 15 | 0.321 % |
61.59/61.67 c | 65006 | 4352 253334 1804227 | 2147483647 64987 15 | 0.321 % |
61.59/61.70 c | 65218 | 4352 253334 1804227 | 2147483647 65199 15 | 0.321 % |
61.68/61.72 c | 65451 | 4352 253334 1804227 | 2147483647 65432 15 | 0.321 % |
61.68/61.79 c | 65708 | 4352 253334 1804227 | 2147483647 65689 15 | 0.321 % |
61.78/61.87 c | 65989 | 4352 253334 1804227 | 2147483647 65970 15 | 0.321 % |
61.88/61.96 c | 66298 | 4351 253334 1804227 | 2147483647 66278 15 | 0.344 % |
62.08/62.15 c | 66638 | 4351 253334 1804227 | 2147483647 66618 15 | 0.344 % |
62.18/62.24 c | 67010 | 4351 253334 1804227 | 2147483647 66990 15 | 0.344 % |
62.38/62.41 c | 67420 | 4351 253334 1804227 | 2147483647 67400 15 | 0.344 % |
62.48/62.54 c | 67869 | 4351 253334 1804227 | 2147483647 67849 15 | 0.344 % |
62.69/62.72 c | 68362 | 4351 253334 1804227 | 2147483647 68342 15 | 0.344 % |
62.78/62.89 c | 68904 | 4350 253334 1804227 | 2147483647 68883 15 | 0.366 % |
62.88/62.98 c | 69500 | 4350 253334 1804227 | 2147483647 69479 15 | 0.366 % |
62.98/63.05 c | 70155 | 4350 253334 1804227 | 2147483647 70134 15 | 0.366 % |
63.18/63.22 c | 70875 | 4350 253334 1804227 | 2147483647 70854 15 | 0.366 % |
63.18/63.29 c | 71668 | 4350 253334 1804227 | 2147483647 71647 15 | 0.366 % |
63.68/63.78 c | 72540 | 4350 253334 1804227 | 2147483647 72519 15 | 0.366 % |
63.68/63.80 c | 72641 | 4350 253334 1804227 | 2147483647 72620 15 | 0.366 % |
63.79/63.84 c | 72752 | 4350 253334 1804227 | 2147483647 72731 15 | 0.366 % |
63.88/63.91 c | 72873 | 4350 253334 1804227 | 2147483647 72852 15 | 0.366 % |
63.88/63.97 c | 73007 | 4350 253334 1804227 | 2147483647 72986 15 | 0.366 % |
63.98/64.02 c | 73153 | 4350 253334 1804227 | 2147483647 73132 15 | 0.366 % |
63.98/64.05 c | 73313 | 4350 253334 1804227 | 2147483647 73292 15 | 0.366 % |
63.98/64.08 c | 73489 | 4350 253334 1804227 | 2147483647 73468 15 | 0.366 % |
64.08/64.14 c | 73683 | 4350 253334 1804227 | 2147483647 73662 15 | 0.366 % |
64.08/64.20 c | 73895 | 4350 253334 1804227 | 2147483647 73874 15 | 0.366 % |
64.28/64.34 c | 74128 | 4350 253334 1804227 | 2147483647 74107 15 | 0.366 % |
64.28/64.38 c | 74384 | 4350 253334 1804227 | 2147483647 74363 15 | 0.366 % |
64.38/64.42 c | 74665 | 4350 253334 1804227 | 2147483647 74644 15 | 0.366 % |
64.58/64.64 c | 74976 | 4350 253334 1804227 | 2147483647 74955 15 | 0.366 % |
64.58/64.70 c | 75316 | 4350 253334 1804227 | 2147483647 75295 15 | 0.366 % |
64.68/64.78 c | 75689 | 4350 253334 1804227 | 2147483647 75668 15 | 0.366 % |
64.78/64.84 c | 76099 | 4350 253334 1804227 | 2147483647 76078 15 | 0.366 % |
65.18/65.21 c | 76548 | 4350 253334 1804227 | 2147483647 76527 15 | 0.366 % |
65.18/65.28 c | 77042 | 4350 253334 1804227 | 2147483647 77021 15 | 0.366 % |
65.28/65.38 c | 77584 | 4350 253334 1804227 | 2147483647 77563 15 | 0.366 % |
65.48/65.55 c | 78180 | 4350 253334 1804227 | 2147483647 78159 15 | 0.366 % |
65.58/65.67 c | 78835 | 4350 253334 1804227 | 2147483647 78814 15 | 0.366 % |
65.68/65.77 c | 79556 | 4350 253334 1804227 | 2147483647 79535 15 | 0.366 % |
65.99/66.03 c | 80349 | 4350 253334 1804227 | 2147483647 80328 15 | 0.366 % |
66.08/66.13 c | 81221 | 4350 253334 1804227 | 2147483647 81200 15 | 0.366 % |
66.28/66.38 c | 82180 | 4350 253334 1804227 | 2147483647 82159 15 | 0.366 % |
66.38/66.44 c | 82280 | 4350 253215 1803926 | 2147483647 82253 15 | 0.366 % |
66.38/66.49 c | 82391 | 4350 253215 1803926 | 2147483647 82364 15 | 0.366 % |
66.48/66.52 c | 82512 | 4350 253215 1803926 | 2147483647 82485 15 | 0.366 % |
66.48/66.59 c | 82645 | 4350 253215 1803926 | 2147483647 82618 15 | 0.366 % |
66.58/66.62 c | 82792 | 4350 253215 1803926 | 2147483647 82765 15 | 0.366 % |
66.68/66.78 c | 82952 | 4350 253215 1803926 | 2147483647 82925 15 | 0.366 % |
66.78/66.83 c | 83129 | 4350 253215 1803926 | 2147483647 83102 15 | 0.366 % |
66.78/66.89 c | 83322 | 4350 253215 1803926 | 2147483647 83295 15 | 0.366 % |
66.88/66.91 c | 83535 | 4350 253215 1803926 | 2147483647 83508 15 | 0.366 % |
66.88/66.99 c | 83768 | 4350 253215 1803926 | 2147483647 83741 15 | 0.366 % |
66.98/67.06 c | 84026 | 4350 253215 1803926 | 2147483647 83999 15 | 0.366 % |
67.18/67.24 c | 84307 | 4350 253215 1803926 | 2147483647 84280 15 | 0.366 % |
67.28/67.35 c | 84617 | 4350 253215 1803926 | 2147483647 84590 15 | 0.366 % |
67.28/67.40 c | 84957 | 4350 253215 1803926 | 2147483647 84930 15 | 0.366 % |
67.48/67.54 c | 85329 | 4350 253215 1803926 | 2147483647 85302 15 | 0.366 % |
67.48/67.60 c | 85738 | 4350 253215 1803926 | 2147483647 85711 15 | 0.366 % |
67.78/67.86 c | 86187 | 4350 253215 1803926 | 2147483647 86160 15 | 0.366 % |
67.88/67.93 c | 86681 | 4350 253215 1803926 | 2147483647 86654 15 | 0.366 % |
67.98/68.09 c | 87224 | 4350 253215 1803926 | 2147483647 87197 15 | 0.366 % |
68.08/68.18 c | 87820 | 4350 253215 1803926 | 2147483647 87793 15 | 0.366 % |
68.28/68.37 c | 88475 | 4350 253215 1803926 | 2147483647 88448 15 | 0.366 % |
68.48/68.59 c | 89197 | 4350 253215 1803926 | 2147483647 89170 15 | 0.366 % |
68.68/68.79 c | 89989 | 4350 253215 1803926 | 2147483647 89962 15 | 0.366 % |
69.18/69.29 c | 90862 | 4350 253215 1803926 | 2147483647 90835 15 | 0.366 % |
69.68/69.73 c | 91821 | 4350 253215 1803926 | 2147483647 91794 15 | 0.366 % |
69.88/70.00 c | 92876 | 4350 253215 1803926 | 2147483647 92849 15 | 0.366 % |
69.98/70.04 c | 92976 | 4350 253215 1803926 | 2147483647 92949 15 | 0.366 % |
69.98/70.07 c | 93086 | 4350 253215 1803926 | 2147483647 93059 15 | 0.366 % |
70.08/70.12 c | 93207 | 4350 253215 1803926 | 2147483647 93180 15 | 0.366 % |
70.08/70.17 c | 93342 | 4350 253215 1803926 | 2147483647 93315 15 | 0.366 % |
70.18/70.24 c | 93489 | 4350 253215 1803926 | 2147483647 93462 15 | 0.366 % |
70.18/70.28 c | 93650 | 4350 253215 1803926 | 2147483647 93623 15 | 0.366 % |
70.28/70.33 c | 93827 | 4350 253215 1803926 | 2147483647 93800 15 | 0.366 % |
70.28/70.39 c | 94021 | 4350 253215 1803926 | 2147483647 93994 15 | 0.366 % |
70.39/70.45 c | 94233 | 4350 253215 1803926 | 2147483647 94206 15 | 0.366 % |
70.48/70.51 c | 94467 | 4350 253215 1803926 | 2147483647 94440 15 | 0.366 % |
70.58/70.61 c | 94724 | 4350 253215 1803926 | 2147483647 94697 15 | 0.366 % |
70.58/70.63 c | 95005 | 4350 253215 1803926 | 2147483647 94978 15 | 0.366 % |
70.68/70.73 c | 95314 | 4350 253215 1803926 | 2147483647 95287 15 | 0.366 % |
70.78/70.83 c | 95654 | 4350 253215 1803926 | 2147483647 95627 15 | 0.366 % |
70.88/70.92 c | 96027 | 4350 253215 1803926 | 2147483647 96000 15 | 0.366 % |
70.98/71.07 c | 96436 | 4350 253215 1803926 | 2147483647 96409 15 | 0.366 % |
71.08/71.18 c | 96885 | 4350 253215 1803926 | 2147483647 96858 15 | 0.366 % |
71.28/71.40 c | 97379 | 4350 253215 1803926 | 2147483647 97352 15 | 0.366 % |
71.49/71.52 c | 97922 | 4350 253215 1803926 | 2147483647 97895 15 | 0.366 % |
71.78/71.81 c | 98519 | 4350 253215 1803926 | 2147483647 98492 15 | 0.366 % |
71.78/71.87 c | 99174 | 4350 253215 1803926 | 2147483647 99147 16 | 0.366 % |
71.98/72.06 c | 99895 | 4350 253215 1803926 | 2147483647 99868 16 | 0.366 % |
72.08/72.15 c | 100688 | 4350 253215 1803926 | 2147483647 100661 16 | 0.366 % |
72.48/72.52 c | 101559 | 4350 253215 1803926 | 2147483647 101532 16 | 0.366 % |
72.68/72.79 c | 102518 | 4350 253215 1803926 | 2147483647 102491 16 | 0.366 % |
72.88/72.99 c | 103571 | 4350 253215 1803926 | 2147483647 103544 16 | 0.366 % |
73.48/73.57 c | 104729 | 4350 253215 1803926 | 2147483647 104702 16 | 0.366 % |
73.48/73.59 c | 104829 | 4350 253215 1803926 | 2147483647 104802 16 | 0.366 % |
73.58/73.65 c | 104940 | 4350 253215 1803926 | 2147483647 104913 16 | 0.366 % |
73.58/73.67 c | 105062 | 4350 253215 1803926 | 2147483647 105035 16 | 0.366 % |
73.58/73.71 c | 105197 | 4350 253215 1803926 | 2147483647 105170 16 | 0.366 % |
73.69/73.75 c | 105343 | 4350 253215 1803926 | 2147483647 105316 16 | 0.366 % |
73.78/73.81 c | 105503 | 4350 253215 1803926 | 2147483647 105476 16 | 0.366 % |
73.78/73.86 c | 105679 | 4350 253215 1803926 | 2147483647 105652 16 | 0.366 % |
73.88/73.95 c | 105873 | 4350 253215 1803926 | 2147483647 105846 16 | 0.366 % |
73.98/74.02 c | 106086 | 4350 253215 1803926 | 2147483647 106059 16 | 0.366 % |
73.98/74.07 c | 106319 | 4350 253215 1803926 | 2147483647 106292 16 | 0.366 % |
74.08/74.15 c | 106576 | 4350 253215 1803926 | 2147483647 106549 16 | 0.366 % |
74.08/74.19 c | 106859 | 4350 253215 1803926 | 2147483647 106832 16 | 0.366 % |
74.68/74.79 c | 107168 | 4350 253215 1803926 | 2147483647 107141 16 | 0.366 % |
74.79/74.86 c | 107508 | 4350 253215 1803926 | 2147483647 107481 16 | 0.366 % |
74.88/74.95 c | 107880 | 4350 253215 1803926 | 2147483647 107853 16 | 0.366 % |
74.98/75.10 c | 108289 | 4350 253215 1803926 | 2147483647 108262 16 | 0.366 % |
75.08/75.19 c | 108739 | 4350 253215 1803926 | 2147483647 108712 16 | 0.366 % |
75.18/75.28 c | 109233 | 4350 253215 1803926 | 2147483647 109206 16 | 0.366 % |
75.48/75.55 c | 109775 | 4350 253215 1803926 | 2147483647 109748 16 | 0.366 % |
75.58/75.67 c | 110372 | 4350 253215 1803926 | 2147483647 110345 16 | 0.366 % |
75.78/75.87 c | 111028 | 4350 253215 1803926 | 2147483647 111001 16 | 0.366 % |
76.08/76.13 c | 111748 | 4350 253215 1803926 | 2147483647 111721 16 | 0.366 % |
76.28/76.32 c | 112540 | 4350 253215 1803926 | 2147483647 112513 16 | 0.366 % |
76.58/76.65 c | 113411 | 4350 253215 1803926 | 2147483647 113384 16 | 0.366 % |
76.99/77.07 c | 114370 | 4350 253215 1803926 | 2147483647 114343 16 | 0.366 % |
77.48/77.54 c | 115423 | 4350 253215 1803926 | 2147483647 115396 16 | 0.366 % |
77.88/77.96 c | 116581 | 4350 253215 1803926 | 2147483647 116554 16 | 0.366 % |
77.98/78.08 c | 117854 | 4350 253215 1803926 | 2147483647 117827 16 | 0.366 % |
77.98/78.11 c | 117954 | 4350 253215 1803926 | 2147483647 117927 16 | 0.366 % |
78.09/78.17 c | 118065 | 4350 253215 1803926 | 2147483647 118038 16 | 0.366 % |
78.09/78.20 c | 118186 | 4350 253215 1803926 | 2147483647 118159 16 | 0.366 % |
78.18/78.22 c | 118319 | 4350 253215 1803926 | 2147483647 118292 16 | 0.366 % |
78.18/78.24 c | 118465 | 4350 253215 1803926 | 2147483647 118438 16 | 0.366 % |
78.18/78.28 c | 118625 | 4350 253215 1803926 | 2147483647 118598 16 | 0.366 % |
78.28/78.35 c | 118801 | 4350 253215 1803926 | 2147483647 118774 16 | 0.366 % |
78.38/78.42 c | 118994 | 4350 253215 1803926 | 2147483647 118967 16 | 0.366 % |
78.48/78.52 c | 119206 | 4350 253215 1803926 | 2147483647 119179 16 | 0.366 % |
78.48/78.57 c | 119440 | 4350 253215 1803926 | 2147483647 119413 16 | 0.366 % |
78.58/78.69 c | 119696 | 4350 253215 1803926 | 2147483647 119669 16 | 0.366 % |
78.78/78.82 c | 119979 | 4350 253215 1803926 | 2147483647 119952 16 | 0.366 % |
78.78/78.88 c | 120289 | 4350 253215 1803926 | 2147483647 120262 16 | 0.366 % |
78.88/78.98 c | 120628 | 4350 253215 1803926 | 2147483647 120601 16 | 0.366 % |
78.98/79.07 c | 121000 | 4350 253215 1803926 | 2147483647 120973 16 | 0.366 % |
79.19/79.25 c | 121409 | 4350 253215 1803926 | 2147483647 121382 16 | 0.366 % |
79.38/79.47 c | 121858 | 4350 253215 1803926 | 2147483647 121831 16 | 0.366 % |
79.68/79.74 c | 122351 | 4350 253215 1803926 | 2147483647 122324 16 | 0.366 % |
79.78/79.82 c | 122893 | 4350 253215 1803926 | 2147483647 122866 16 | 0.366 % |
80.18/80.26 c | 123489 | 4350 253215 1803926 | 2147483647 123462 16 | 0.366 % |
80.29/80.35 c | 124145 | 4350 253215 1803926 | 2147483647 124118 16 | 0.366 % |
80.68/80.72 c | 124866 | 4350 253215 1803926 | 2147483647 124839 16 | 0.366 % |
80.78/80.89 c | 125658 | 4349 253215 1803926 | 2147483647 125630 16 | 0.389 % |
81.18/81.29 c | 126529 | 4349 253215 1803926 | 2147483647 126501 16 | 0.389 % |
82.38/82.41 c | 127487 | 4349 253215 1803926 | 2147483647 127459 16 | 0.389 % |
82.58/82.67 c | 128541 | 4349 253215 1803926 | 2147483647 128513 16 | 0.389 % |
82.78/82.81 c | 129700 | 4349 253215 1803926 | 2147483647 129672 16 | 0.389 % |
83.28/83.36 c | 130974 | 4349 253215 1803926 | 2147483647 130946 16 | 0.389 % |
83.78/83.87 c | 132375 | 4349 253215 1803926 | 2147483647 132347 16 | 0.389 % |
83.78/83.90 c | 132475 | 4349 253215 1803926 | 2147483647 132447 16 | 0.389 % |
83.88/83.99 c | 132585 | 4349 253215 1803926 | 2147483647 132557 16 | 0.389 % |
83.98/84.03 c | 132706 | 4349 253215 1803926 | 2147483647 132678 16 | 0.389 % |
83.98/84.05 c | 132839 | 4349 253215 1803926 | 2147483647 132811 16 | 0.389 % |
83.98/84.08 c | 132985 | 4349 253215 1803926 | 2147483647 132957 16 | 0.389 % |
84.08/84.13 c | 133145 | 4349 253215 1803926 | 2147483647 133117 16 | 0.389 % |
84.08/84.16 c | 133321 | 4349 253215 1803926 | 2147483647 133293 16 | 0.389 % |
84.18/84.26 c | 133515 | 4349 253215 1803926 | 2147483647 133487 16 | 0.389 % |
84.28/84.31 c | 133728 | 4349 253215 1803926 | 2147483647 133700 16 | 0.389 % |
84.38/84.44 c | 133963 | 4349 253215 1803926 | 2147483647 133935 16 | 0.389 % |
84.48/84.54 c | 134221 | 4349 253215 1803926 | 2147483647 134193 16 | 0.389 % |
84.48/84.60 c | 134503 | 4349 253215 1803926 | 2147483647 134475 16 | 0.389 % |
84.69/84.80 c | 134813 | 4349 253215 1803926 | 2147483647 134785 16 | 0.389 % |
84.78/84.89 c | 135152 | 4349 253215 1803926 | 2147483647 135124 16 | 0.389 % |
84.88/84.96 c | 135524 | 4349 253215 1803926 | 2147483647 135496 16 | 0.389 % |
84.98/85.09 c | 135934 | 4349 253215 1803926 | 2147483647 135906 16 | 0.389 % |
85.28/85.35 c | 136384 | 4348 253191 1803864 | 2147483647 136353 16 | 0.412 % |
85.48/85.54 c | 136878 | 4348 253191 1803864 | 2147483647 136847 16 | 0.412 % |
85.68/85.75 c | 137420 | 4348 253191 1803864 | 2147483647 137389 16 | 0.412 % |
85.79/85.90 c | 138018 | 4348 253191 1803864 | 2147483647 137987 16 | 0.412 % |
85.98/86.06 c | 138674 | 4348 253191 1803864 | 2147483647 138643 16 | 0.412 % |
86.28/86.40 c | 139397 | 4348 253191 1803864 | 2147483647 139366 16 | 0.412 % |
86.68/86.77 c | 140190 | 4348 253191 1803864 | 2147483647 140159 16 | 0.412 % |
86.78/86.88 c | 141062 | 4348 253191 1803864 | 2147483647 141031 16 | 0.412 % |
87.28/87.35 c | 142021 | 4348 253191 1803864 | 2147483647 141990 16 | 0.412 % |
87.38/87.47 c | 143074 | 4348 253191 1803864 | 2147483647 143043 16 | 0.412 % |
88.08/88.17 c | 144234 | 4348 253191 1803864 | 2147483647 144203 16 | 0.412 % |
88.58/88.63 c | 145508 | 4348 253191 1803864 | 2147483647 145477 16 | 0.412 % |
89.48/89.60 c | 146910 | 4348 253191 1803864 | 2147483647 146879 16 | 0.412 % |
90.08/90.14 c | 148450 | 4348 253191 1803864 | 2147483647 148419 16 | 0.412 % |
90.08/90.19 c | 148550 | 4348 253191 1803864 | 2147483647 148519 16 | 0.412 % |
90.19/90.25 c | 148661 | 4348 253191 1803864 | 2147483647 148630 16 | 0.412 % |
90.28/90.36 c | 148783 | 4348 253191 1803864 | 2147483647 148752 16 | 0.412 % |
90.28/90.40 c | 148917 | 4348 253191 1803864 | 2147483647 148886 16 | 0.412 % |
90.38/90.46 c | 149064 | 4348 253191 1803864 | 2147483647 149033 16 | 0.412 % |
90.48/90.56 c | 149225 | 4348 253191 1803864 | 2147483647 149194 16 | 0.412 % |
90.48/90.60 c | 149401 | 4348 253191 1803864 | 2147483647 149370 16 | 0.412 % |
90.68/90.75 c | 149594 | 4348 253191 1803864 | 2147483647 149563 16 | 0.412 % |
90.78/90.80 c | 149807 | 4348 253191 1803864 | 2147483647 149776 16 | 0.412 % |
90.88/90.92 c | 150040 | 4348 253191 1803864 | 2147483647 150009 16 | 0.412 % |
90.98/91.01 c | 150296 | 4348 253191 1803864 | 2147483647 150265 16 | 0.412 % |
90.98/91.06 c | 150578 | 4348 253191 1803864 | 2147483647 150547 16 | 0.412 % |
91.08/91.12 c | 150887 | 4348 253191 1803864 | 2147483647 150856 16 | 0.412 % |
91.08/91.19 c | 151226 | 4348 253191 1803864 | 2147483647 151195 16 | 0.412 % |
91.18/91.25 c | 151600 | 4348 253191 1803864 | 2147483647 151569 16 | 0.412 % |
91.38/91.41 c | 152010 | 4348 253191 1803864 | 2147483647 151979 16 | 0.412 % |
91.38/91.48 c | 152461 | 4348 253191 1803864 | 2147483647 152430 16 | 0.412 % |
91.48/91.55 c | 152955 | 4348 253191 1803864 | 2147483647 152924 16 | 0.412 % |
91.68/91.73 c | 153497 | 4348 253191 1803864 | 2147483647 153466 16 | 0.412 % |
91.78/91.82 c | 154093 | 4348 253191 1803864 | 2147483647 154062 16 | 0.412 % |
91.88/91.99 c | 154748 | 4348 253191 1803864 | 2147483647 154717 16 | 0.412 % |
92.28/92.41 c | 155468 | 4348 253191 1803864 | 2147483647 155437 16 | 0.412 % |
92.48/92.51 c | 156260 | 4348 253191 1803864 | 2147483647 156229 16 | 0.412 % |
92.78/92.87 c | 157131 | 4347 253191 1803864 | 2147483647 157099 16 | 0.435 % |
93.28/93.33 c | 158089 | 4347 253191 1803864 | 2147483647 158057 16 | 0.435 % |
93.38/93.45 c | 159143 | 4347 253191 1803864 | 2147483647 159111 16 | 0.435 % |
93.78/93.88 c | 160301 | 4347 253191 1803864 | 2147483647 160269 16 | 0.435 % |
94.18/94.28 c | 161575 | 4347 253191 1803864 | 2147483647 161543 16 | 0.435 % |
94.88/94.97 c | 162975 | 4347 253191 1803864 | 2147483647 162943 16 | 0.435 % |
95.69/95.79 c | 164516 | 4347 253191 1803864 | 2147483647 164484 16 | 0.435 % |
96.79/96.83 c | 166210 | 4347 253191 1803864 | 2147483647 166178 16 | 0.435 % |
96.79/96.88 c | 166310 | 4347 253191 1803864 | 2147483647 166278 16 | 0.435 % |
96.88/96.93 c | 166420 | 4347 253191 1803864 | 2147483647 166388 16 | 0.435 % |
96.98/97.05 c | 166543 | 4347 253191 1803864 | 2147483647 166511 16 | 0.435 % |
96.98/97.09 c | 166676 | 4347 253191 1803864 | 2147483647 166644 16 | 0.435 % |
97.08/97.15 c | 166822 | 4347 253191 1803864 | 2147483647 166790 16 | 0.435 % |
97.18/97.22 c | 166984 | 4347 253191 1803864 | 2147483647 166952 16 | 0.435 % |
97.18/97.25 c | 167160 | 4347 253191 1803864 | 2147483647 167128 16 | 0.435 % |
97.28/97.34 c | 167353 | 4347 253191 1803864 | 2147483647 167321 16 | 0.435 % |
97.39/97.42 c | 167566 | 4347 253191 1803864 | 2147483647 167534 16 | 0.435 % |
97.49/97.55 c | 167799 | 4347 253191 1803864 | 2147483647 167767 16 | 0.435 % |
97.59/97.65 c | 168055 | 4347 253191 1803864 | 2147483647 168023 16 | 0.435 % |
97.69/97.72 c | 168337 | 4347 253191 1803864 | 2147483647 168305 16 | 0.435 % |
97.79/97.85 c | 168648 | 4347 253191 1803864 | 2147483647 168616 16 | 0.435 % |
97.79/97.91 c | 168987 | 4347 253191 1803864 | 2147483647 168955 16 | 0.435 % |
97.99/98.10 c | 169359 | 4347 253191 1803864 | 2147483647 169327 16 | 0.435 % |
98.29/98.41 c | 169769 | 4347 253191 1803864 | 2147483647 169737 16 | 0.435 % |
98.39/98.51 c | 170219 | 4347 253191 1803864 | 2147483647 170187 16 | 0.435 % |
98.69/98.72 c | 170713 | 4347 253191 1803864 | 2147483647 170681 16 | 0.435 % |
98.69/98.80 c | 171255 | 4347 253191 1803864 | 2147483647 171223 16 | 0.435 % |
99.59/99.65 c | 171852 | 4347 253191 1803864 | 2147483647 171820 16 | 0.435 % |
99.69/99.75 c | 172508 | 4347 253191 1803864 | 2147483647 172476 16 | 0.435 % |
99.89/99.99 c | 173228 | 4347 253191 1803864 | 2147483647 173196 16 | 0.435 % |
99.99/100.10 c | 174021 | 4347 253191 1803864 | 2147483647 173989 16 | 0.435 % |
100.99/101.02 c | 174894 | 4347 253191 1803864 | 2147483647 174862 16 | 0.435 % |
101.59/101.62 c | 175853 | 4347 253191 1803864 | 2147483647 175821 16 | 0.435 % |
102.09/102.16 c | 176908 | 4347 253191 1803864 | 2147483647 176876 16 | 0.435 % |
102.29/102.37 c | 178066 | 4347 253191 1803864 | 2147483647 178034 16 | 0.435 % |
103.19/103.29 c | 179339 | 4347 253191 1803864 | 2147483647 179307 16 | 0.435 % |
103.69/103.75 c | 180739 | 4347 253191 1803864 | 2147483647 180707 17 | 0.435 % |
105.19/105.22 c | 182280 | 4347 253191 1803864 | 2147483647 182248 17 | 0.435 % |
107.09/107.21 c | 183974 | 4347 253191 1803864 | 2147483647 183942 17 | 0.435 % |
108.49/108.55 c | 185837 | 4347 253191 1803864 | 2147483647 185805 17 | 0.435 % |
108.49/108.59 c | 185938 | 4347 253191 1803864 | 2147483647 185906 17 | 0.435 % |
108.59/108.71 c | 186049 | 4347 253191 1803864 | 2147483647 186017 17 | 0.435 % |
108.69/108.73 c | 186171 | 4347 253191 1803864 | 2147483647 186139 17 | 0.435 % |
108.69/108.76 c | 186304 | 4347 253191 1803864 | 2147483647 186272 17 | 0.435 % |
108.69/108.80 c | 186450 | 4347 253191 1803864 | 2147483647 186418 17 | 0.435 % |
108.79/108.88 c | 186611 | 4347 253191 1803864 | 2147483647 186579 17 | 0.435 % |
108.89/108.96 c | 186788 | 4347 253191 1803864 | 2147483647 186756 17 | 0.435 % |
108.99/109.08 c | 186981 | 4347 253191 1803864 | 2147483647 186949 17 | 0.435 % |
109.09/109.17 c | 187193 | 4347 253191 1803864 | 2147483647 187161 17 | 0.435 % |
109.19/109.29 c | 187426 | 4347 253191 1803864 | 2147483647 187394 17 | 0.435 % |
109.29/109.38 c | 187682 | 4347 253191 1803864 | 2147483647 187650 17 | 0.435 % |
109.39/109.42 c | 187963 | 4347 253191 1803864 | 2147483647 187931 17 | 0.435 % |
109.69/109.77 c | 188273 | 4347 253191 1803864 | 2147483647 188241 17 | 0.435 % |
109.79/109.89 c | 188612 | 4347 253191 1803864 | 2147483647 188580 17 | 0.435 % |
109.99/110.03 c | 188985 | 4347 253191 1803864 | 2147483647 188953 17 | 0.435 % |
110.19/110.28 c | 189395 | 4347 253191 1803864 | 2147483647 189363 17 | 0.435 % |
110.49/110.58 c | 189844 | 4347 253191 1803864 | 2147483647 189812 17 | 0.435 % |
110.69/110.72 c | 190338 | 4347 253191 1803864 | 2147483647 190306 17 | 0.435 % |
110.79/110.83 c | 190881 | 4347 253191 1803864 | 2147483647 190849 17 | 0.435 % |
111.39/111.42 c | 191478 | 4347 253191 1803864 | 2147483647 191446 17 | 0.435 % |
111.59/111.65 c | 192133 | 4347 253179 1803833 | 2147483647 192099 17 | 0.435 % |
112.09/112.12 c | 192853 | 4347 253179 1803833 | 2147483647 192819 17 | 0.435 % |
112.29/112.36 c | 193645 | 4347 253179 1803833 | 2147483647 193611 17 | 0.435 % |
112.69/112.78 c | 194516 | 4347 253179 1803833 | 2147483647 194482 17 | 0.435 % |
113.09/113.19 c | 195475 | 4347 253179 1803833 | 2147483647 195441 17 | 0.435 % |
113.69/113.80 c | 196529 | 4347 253179 1803833 | 2147483647 196495 17 | 0.435 % |
114.99/115.08 c | 197687 | 4347 253179 1803833 | 2147483647 197653 17 | 0.435 % |
115.79/115.88 c | 198961 | 4347 253179 1803833 | 2147483647 198927 17 | 0.435 % |
116.19/116.24 c | 200361 | 4347 253179 1803833 | 2147483647 200327 17 | 0.435 % |
116.49/116.55 c | 201902 | 4347 253179 1803833 | 2147483647 201868 17 | 0.435 % |
117.99/118.04 c | 203596 | 4347 253179 1803833 | 2147483647 203562 17 | 0.435 % |
120.29/120.35 c | 205460 | 4347 253179 1803833 | 2147483647 205426 17 | 0.435 % |
121.59/121.69 c | 207510 | 4347 253179 1803833 | 2147483647 207476 17 | 0.435 % |
121.69/121.73 c | 207610 | 4347 253179 1803833 | 2147483647 207576 17 | 0.435 % |
121.69/121.79 c | 207722 | 4347 253179 1803833 | 2147483647 207688 17 | 0.435 % |
121.79/121.87 c | 207843 | 4347 253179 1803833 | 2147483647 207809 17 | 0.435 % |
121.89/121.93 c | 207976 | 4347 253179 1803833 | 2147483647 207942 17 | 0.435 % |
121.89/121.95 c | 208122 | 4347 253179 1803833 | 2147483647 208088 17 | 0.435 % |
121.99/122.02 c | 208282 | 4347 253179 1803833 | 2147483647 208248 17 | 0.435 % |
121.99/122.11 c | 208460 | 4347 253179 1803833 | 2147483647 208426 17 | 0.435 % |
122.09/122.15 c | 208654 | 4347 253179 1803833 | 2147483647 208620 17 | 0.435 % |
122.09/122.20 c | 208867 | 4347 253179 1803833 | 2147483647 208833 17 | 0.435 % |
122.19/122.29 c | 209100 | 4347 253179 1803833 | 2147483647 209066 17 | 0.435 % |
122.29/122.35 c | 209356 | 4347 253179 1803833 | 2147483647 209322 17 | 0.435 % |
122.39/122.43 c | 209637 | 4347 253179 1803833 | 2147483647 209603 17 | 0.435 % |
122.49/122.52 c | 209947 | 4347 253179 1803833 | 2147483647 209913 17 | 0.435 % |
122.59/122.68 c | 210286 | 4347 253179 1803833 | 2147483647 210252 17 | 0.435 % |
122.99/123.11 c | 210658 | 4347 253179 1803833 | 2147483647 210624 17 | 0.435 % |
123.19/123.30 c | 211067 | 4347 253179 1803833 | 2147483647 211033 17 | 0.435 % |
123.29/123.40 c | 211517 | 4347 253179 1803833 | 2147483647 211483 17 | 0.435 % |
123.89/123.95 c | 212010 | 4347 253179 1803833 | 2147483647 211976 17 | 0.435 % |
123.99/124.06 c | 212553 | 4347 253179 1803833 | 2147483647 212519 17 | 0.435 % |
124.99/125.03 c | 213149 | 4347 253179 1803833 | 2147483647 213115 17 | 0.435 % |
125.39/125.50 c | 213805 | 4347 253179 1803833 | 2147483647 213771 17 | 0.435 % |
126.09/126.20 c | 214526 | 4347 253179 1803833 | 2147483647 214492 17 | 0.435 % |
126.99/127.07 c | 215318 | 4347 253179 1803833 | 2147483647 215284 17 | 0.435 % |
127.29/127.35 c | 216190 | 4347 253179 1803833 | 2147483647 216156 17 | 0.435 % |
128.39/128.51 c | 217148 | 4347 253179 1803833 | 2147483647 217114 17 | 0.435 % |
129.89/129.94 c | 218201 | 4347 253179 1803833 | 2147483647 218167 17 | 0.435 % |
130.29/130.34 c | 219360 | 4347 253179 1803833 | 2147483647 219326 17 | 0.435 % |
130.79/130.91 c | 220633 | 4347 253179 1803833 | 2147483647 220599 17 | 0.435 % |
131.19/131.28 c | 222034 | 4347 253179 1803833 | 2147483647 222000 17 | 0.435 % |
132.29/132.36 c | 223574 | 4347 253179 1803833 | 2147483647 223540 17 | 0.435 % |
132.79/132.90 c | 225268 | 4347 253179 1803833 | 2147483647 225234 17 | 0.435 % |
133.09/133.12 c | 227132 | 4347 253179 1803833 | 2147483647 227098 17 | 0.435 % |
136.49/136.53 c | 229182 | 4347 253179 1803833 | 2147483647 229148 17 | 0.435 % |
138.59/138.69 c | 231436 | 4347 253179 1803833 | 2147483647 231402 17 | 0.435 % |
138.59/138.71 c | 231536 | 4347 253179 1803833 | 2147483647 231502 17 | 0.435 % |
138.69/138.73 c | 231646 | 4347 253179 1803833 | 2147483647 231612 17 | 0.435 % |
138.69/138.78 c | 231767 | 4347 253179 1803833 | 2147483647 231733 17 | 0.435 % |
138.79/138.91 c | 231901 | 4347 253179 1803833 | 2147483647 231867 17 | 0.435 % |
138.89/138.97 c | 232048 | 4347 253179 1803833 | 2147483647 232014 17 | 0.435 % |
139.29/139.36 c | 232209 | 4347 253179 1803833 | 2147483647 232175 17 | 0.435 % |
139.39/139.45 c | 232386 | 4347 253179 1803833 | 2147483647 232352 17 | 0.435 % |
139.49/139.53 c | 232580 | 4347 253179 1803833 | 2147483647 232546 17 | 0.435 % |
139.49/139.61 c | 232792 | 4347 253179 1803833 | 2147483647 232758 17 | 0.435 % |
139.59/139.66 c | 233025 | 4347 253179 1803833 | 2147483647 232991 17 | 0.435 % |
139.59/139.71 c | 233282 | 4347 253179 1803833 | 2147483647 233248 17 | 0.435 % |
139.89/139.97 c | 233563 | 4347 253179 1803833 | 2147483647 233529 17 | 0.435 % |
139.99/140.02 c | 233873 | 4347 253179 1803833 | 2147483647 233839 17 | 0.435 % |
140.19/140.25 c | 234213 | 4347 253179 1803833 | 2147483647 234179 17 | 0.435 % |
140.39/140.43 c | 234585 | 4347 253179 1803833 | 2147483647 234551 17 | 0.435 % |
140.69/140.79 c | 234994 | 4347 253179 1803833 | 2147483647 234960 17 | 0.435 % |
140.79/140.86 c | 235443 | 4347 253179 1803833 | 2147483647 235409 17 | 0.435 % |
141.09/141.21 c | 235937 | 4347 253179 1803833 | 2147483647 235903 17 | 0.435 % |
141.49/141.53 c | 236479 | 4347 253179 1803833 | 2147483647 236445 17 | 0.435 % |
141.59/141.65 c | 237076 | 4347 253179 1803833 | 2147483647 237042 17 | 0.435 % |
141.69/141.76 c | 237731 | 4347 253179 1803833 | 2147483647 237697 17 | 0.435 % |
142.19/142.30 c | 238451 | 4347 253179 1803833 | 2147483647 238417 17 | 0.435 % |
142.99/143.10 c | 239244 | 4347 253179 1803833 | 2147483647 239210 17 | 0.435 % |
143.49/143.54 c | 240115 | 4347 253179 1803833 | 2147483647 240081 17 | 0.435 % |
143.69/143.73 c | 241074 | 4347 253179 1803833 | 2147483647 241040 17 | 0.435 % |
144.59/144.69 c | 242127 | 4347 253179 1803833 | 2147483647 242093 17 | 0.435 % |
145.09/145.19 c | 243286 | 4347 253179 1803833 | 2147483647 243252 17 | 0.435 % |
145.69/145.73 c | 244559 | 4347 253179 1803833 | 2147483647 244525 17 | 0.435 % |
146.89/147.00 c | 245960 | 4347 253179 1803833 | 2147483647 245926 17 | 0.435 % |
148.69/148.76 c | 247500 | 4347 253179 1803833 | 2147483647 247466 17 | 0.435 % |
150.39/150.45 c | 249194 | 4347 253179 1803833 | 2147483647 249160 17 | 0.435 % |
151.49/151.55 c | 251057 | 4347 253179 1803833 | 2147483647 251023 17 | 0.435 % |
152.49/152.53 c | 253106 | 4347 253179 1803833 | 2147483647 253072 17 | 0.435 % |
154.29/154.38 c | 255359 | 4347 253179 1803833 | 2147483647 255325 17 | 0.435 % |
156.19/156.27 c | 257838 | 4347 253179 1803833 | 2147483647 257804 17 | 0.435 % |
156.29/156.32 c | 257939 | 4347 253179 1803833 | 2147483647 257905 17 | 0.435 % |
156.29/156.37 c | 258049 | 4347 253179 1803833 | 2147483647 258015 17 | 0.435 % |
156.29/156.40 c | 258170 | 4347 253179 1803833 | 2147483647 258136 17 | 0.435 % |
156.39/156.44 c | 258303 | 4347 253179 1803833 | 2147483647 258269 17 | 0.435 % |
156.49/156.57 c | 258451 | 4347 253179 1803833 | 2147483647 258417 17 | 0.435 % |
156.59/156.66 c | 258612 | 4347 253179 1803833 | 2147483647 258578 17 | 0.435 % |
156.69/156.73 c | 258789 | 4347 253179 1803833 | 2147483647 258755 17 | 0.435 % |
156.79/156.83 c | 258982 | 4347 253179 1803833 | 2147483647 258948 17 | 0.435 % |
156.79/156.88 c | 259194 | 4347 253179 1803833 | 2147483647 259160 17 | 0.435 % |
156.89/156.98 c | 259427 | 4347 253179 1803833 | 2147483647 259393 17 | 0.435 % |
156.99/157.08 c | 259683 | 4347 253179 1803833 | 2147483647 259649 17 | 0.435 % |
157.29/157.36 c | 259965 | 4347 253179 1803833 | 2147483647 259931 17 | 0.435 % |
157.39/157.45 c | 260274 | 4347 253179 1803833 | 2147483647 260240 17 | 0.435 % |
157.69/157.72 c | 260613 | 4347 253179 1803833 | 2147483647 260579 17 | 0.435 % |
157.69/157.81 c | 260985 | 4347 253179 1803833 | 2147483647 260951 17 | 0.435 % |
157.79/157.89 c | 261395 | 4347 253179 1803833 | 2147483647 261361 17 | 0.435 % |
158.29/158.39 c | 261844 | 4347 253179 1803833 | 2147483647 261810 17 | 0.435 % |
158.49/158.52 c | 262337 | 4347 253179 1803833 | 2147483647 262303 17 | 0.435 % |
158.69/158.75 c | 262879 | 4347 253179 1803833 | 2147483647 262845 17 | 0.435 % |
158.89/159.00 c | 263475 | 4347 253179 1803833 | 2147483647 263441 17 | 0.435 % |
159.39/159.44 c | 264130 | 4347 253179 1803833 | 2147483647 264096 17 | 0.435 % |
159.69/159.76 c | 264851 | 4347 253179 1803833 | 2147483647 264817 17 | 0.435 % |
160.29/160.33 c | 265644 | 4347 253179 1803833 | 2147483647 265610 17 | 0.435 % |
160.69/160.80 c | 266515 | 4347 253179 1803833 | 2147483647 266481 17 | 0.435 % |
161.39/161.41 c | 267474 | 4347 253179 1803833 | 2147483647 267440 17 | 0.435 % |
161.49/161.59 c | 268528 | 4347 253179 1803833 | 2147483647 268494 17 | 0.435 % |
162.59/162.64 c | 269687 | 4346 253167 1803802 | 2147483647 269651 17 | 0.458 % |
163.29/163.40 c | 270961 | 4346 253167 1803802 | 2147483647 270925 17 | 0.458 % |
164.39/164.46 c | 272361 | 4346 253167 1803802 | 2147483647 272325 17 | 0.458 % |
165.99/166.10 c | 273901 | 4346 253167 1803802 | 2147483647 273865 17 | 0.458 % |
166.69/166.76 c | 275596 | 4346 253167 1803802 | 2147483647 275560 18 | 0.458 % |
168.09/168.13 c | 277459 | 4346 253167 1803802 | 2147483647 277423 18 | 0.458 % |
169.09/169.18 c | 279508 | 4346 253167 1803802 | 2147483647 279472 18 | 0.458 % |
170.29/170.34 c | 281762 | 4345 253167 1803802 | 2147483647 281725 18 | 0.481 % |
171.89/171.94 c | 284241 | 4345 253167 1803802 | 2147483647 284204 18 | 0.481 % |
173.69/173.75 c | 286967 | 4345 253167 1803802 | 2147483647 286930 18 | 0.481 % |
173.69/173.77 c | 287068 | 4345 253167 1803802 | 2147483647 287031 18 | 0.481 % |
173.69/173.82 c | 287178 | 4345 253167 1803802 | 2147483647 287141 18 | 0.481 % |
173.80/173.85 c | 287300 | 4345 253167 1803802 | 2147483647 287263 18 | 0.481 % |
173.80/173.89 c | 287433 | 4345 253167 1803802 | 2147483647 287396 18 | 0.481 % |
173.99/174.04 c | 287580 | 4345 253167 1803802 | 2147483647 287543 18 | 0.481 % |
174.09/174.19 c | 287741 | 4345 253167 1803802 | 2147483647 287704 18 | 0.481 % |
174.19/174.26 c | 287918 | 4345 253167 1803802 | 2147483647 287881 18 | 0.481 % |
174.39/174.45 c | 288111 | 4345 253167 1803802 | 2147483647 288074 18 | 0.481 % |
174.49/174.60 c | 288323 | 4345 253167 1803802 | 2147483647 288286 18 | 0.481 % |
174.79/174.85 c | 288558 | 4345 253167 1803802 | 2147483647 288521 18 | 0.481 % |
175.09/175.20 c | 288817 | 4345 253167 1803802 | 2147483647 288780 18 | 0.481 % |
175.29/175.37 c | 289099 | 4345 253167 1803802 | 2147483647 289062 18 | 0.481 % |
175.69/175.72 c | 289409 | 4345 253167 1803802 | 2147483647 289372 18 | 0.481 % |
175.89/175.96 c | 289748 | 4345 253167 1803802 | 2147483647 289711 18 | 0.481 % |
176.09/176.12 c | 290121 | 4345 253167 1803802 | 2147483647 290084 18 | 0.481 % |
176.39/176.45 c | 290530 | 4345 253167 1803802 | 2147483647 290493 18 | 0.481 % |
176.49/176.55 c | 290980 | 4345 253167 1803802 | 2147483647 290943 18 | 0.481 % |
176.79/176.86 c | 291473 | 4345 253167 1803802 | 2147483647 291436 18 | 0.481 % |
176.89/176.96 c | 292016 | 4345 253167 1803802 | 2147483647 291979 18 | 0.481 % |
177.39/177.43 c | 292612 | 4345 253167 1803802 | 2147483647 292575 18 | 0.481 % |
178.09/178.19 c | 293267 | 4345 253167 1803802 | 2147483647 293230 18 | 0.481 % |
178.29/178.35 c | 293987 | 4345 253167 1803802 | 2147483647 293950 18 | 0.481 % |
178.49/178.55 c | 294780 | 4345 253167 1803802 | 2147483647 294743 18 | 0.481 % |
180.09/180.18 c | 295652 | 4345 253167 1803802 | 2147483647 295615 18 | 0.481 % |
180.40/180.48 c | 296610 | 4345 253167 1803802 | 2147483647 296573 18 | 0.481 % |
180.99/181.07 c | 297664 | 4345 253167 1803802 | 2147483647 297627 18 | 0.481 % |
181.50/181.53 c | 298822 | 4345 253167 1803802 | 2147483647 298785 18 | 0.481 % |
181.89/182.00 c | 300095 | 4345 253167 1803802 | 2147483647 300058 18 | 0.481 % |
183.09/183.20 c | 301496 | 4345 253167 1803802 | 2147483647 301459 18 | 0.481 % |
185.19/185.29 c | 303036 | 4345 253167 1803802 | 2147483647 302999 18 | 0.481 % |
187.00/187.06 c | 304730 | 4345 253167 1803802 | 2147483647 304693 18 | 0.481 % |
187.29/187.39 c | 306593 | 4345 253167 1803802 | 2147483647 306556 18 | 0.481 % |
188.49/188.57 c | 308642 | 4345 253167 1803802 | 2147483647 308605 18 | 0.481 % |
190.49/190.51 c | 310897 | 4345 253167 1803802 | 2147483647 310860 18 | 0.481 % |
192.69/192.78 c | 313376 | 4344 253167 1803802 | 2147483647 313338 18 | 0.504 % |
193.09/193.17 c | 316101 | 4344 253167 1803802 | 2147483647 316063 18 | 0.504 % |
193.99/194.05 c | 319098 | 4344 253167 1803802 | 2147483647 319060 18 | 0.504 % |
193.99/194.08 c | 319199 | 4344 253167 1803802 | 2147483647 319161 18 | 0.504 % |
194.09/194.16 c | 319310 | 4344 253167 1803802 | 2147483647 319272 18 | 0.504 % |
194.19/194.23 c | 319431 | 4344 253167 1803802 | 2147483647 319393 18 | 0.504 % |
194.29/194.40 c | 319564 | 4344 253167 1803802 | 2147483647 319526 18 | 0.504 % |
194.39/194.46 c | 319710 | 4344 253167 1803802 | 2147483647 319672 18 | 0.504 % |
194.59/194.64 c | 319870 | 4344 253167 1803802 | 2147483647 319832 18 | 0.504 % |
194.59/194.71 c | 320047 | 4344 253167 1803802 | 2147483647 320009 18 | 0.504 % |
194.79/194.91 c | 320241 | 4344 253167 1803802 | 2147483647 320203 18 | 0.504 % |
194.99/195.04 c | 320453 | 4344 253167 1803802 | 2147483647 320415 18 | 0.504 % |
194.99/195.10 c | 320686 | 4344 253167 1803802 | 2147483647 320648 18 | 0.504 % |
195.09/195.18 c | 320944 | 4344 253167 1803802 | 2147483647 320906 18 | 0.504 % |
195.29/195.35 c | 321225 | 4344 253167 1803802 | 2147483647 321187 18 | 0.504 % |
195.59/195.70 c | 321536 | 4344 253167 1803802 | 2147483647 321498 18 | 0.504 % |
195.89/196.00 c | 321876 | 4344 253167 1803802 | 2147483647 321838 18 | 0.504 % |
196.29/196.34 c | 322249 | 4344 253167 1803802 | 2147483647 322211 18 | 0.504 % |
196.79/196.87 c | 322659 | 4344 253167 1803802 | 2147483647 322621 18 | 0.504 % |
197.29/197.37 c | 323108 | 4344 253167 1803802 | 2147483647 323070 18 | 0.504 % |
197.49/197.51 c | 323601 | 4344 253167 1803802 | 2147483647 323563 18 | 0.504 % |
198.00/198.05 c | 324143 | 4344 253167 1803802 | 2147483647 324105 18 | 0.504 % |
198.39/198.42 c | 324739 | 4344 253167 1803802 | 2147483647 324701 18 | 0.504 % |
198.49/198.59 c | 325395 | 4344 253167 1803802 | 2147483647 325357 18 | 0.504 % |
199.10/199.19 c | 326115 | 4344 253167 1803802 | 2147483647 326077 18 | 0.504 % |
199.49/199.58 c | 326908 | 4344 253167 1803802 | 2147483647 326870 18 | 0.504 % |
200.59/200.63 c | 327781 | 4344 253167 1803802 | 2147483647 327743 18 | 0.504 % |
200.79/200.84 c | 328740 | 4344 253167 1803802 | 2147483647 328702 18 | 0.504 % |
201.89/201.93 c | 329793 | 4344 253167 1803802 | 2147483647 329755 18 | 0.504 % |
202.09/202.14 c | 330951 | 4344 253167 1803802 | 2147483647 330913 18 | 0.504 % |
203.39/203.43 c | 332226 | 4344 253167 1803802 | 2147483647 332188 18 | 0.504 % |
205.29/205.33 c | 333626 | 4344 253167 1803802 | 2147483647 333588 18 | 0.504 % |
206.89/206.92 c | 335168 | 4344 253167 1803802 | 2147483647 335130 18 | 0.504 % |
208.39/208.42 c | 336862 | 4344 253167 1803802 | 2147483647 336824 18 | 0.504 % |
208.69/208.79 c | 338726 | 4344 253167 1803802 | 2147483647 338688 18 | 0.504 % |
209.89/209.95 c | 340777 | 4344 253167 1803802 | 2147483647 340739 18 | 0.504 % |
211.69/211.71 c | 343030 | 4344 253167 1803802 | 2147483647 342992 18 | 0.504 % |
212.19/212.28 c | 345509 | 4344 253167 1803802 | 2147483647 345471 18 | 0.504 % |
214.59/214.70 c | 348235 | 4344 253167 1803802 | 2147483647 348197 18 | 0.504 % |
218.59/218.69 c | 351234 | 4344 253167 1803802 | 2147483647 351196 18 | 0.504 % |
220.39/220.41 c | 354530 | 4344 253167 1803802 | 2147483647 354492 18 | 0.504 % |
220.39/220.45 c | 354631 | 4344 253167 1803802 | 2147483647 354593 18 | 0.504 % |
220.39/220.48 c | 354741 | 4344 253167 1803802 | 2147483647 354703 18 | 0.504 % |
220.49/220.53 c | 354862 | 4344 253167 1803802 | 2147483647 354824 18 | 0.504 % |
220.59/220.70 c | 354995 | 4344 253167 1803802 | 2147483647 354957 18 | 0.504 % |
220.69/220.78 c | 355141 | 4344 253167 1803802 | 2147483647 355103 18 | 0.504 % |
220.99/221.02 c | 355301 | 4344 253167 1803802 | 2147483647 355263 18 | 0.504 % |
220.99/221.07 c | 355479 | 4344 253167 1803802 | 2147483647 355441 18 | 0.504 % |
221.39/221.43 c | 355673 | 4344 253167 1803802 | 2147483647 355635 18 | 0.504 % |
221.59/221.64 c | 355886 | 4344 253167 1803802 | 2147483647 355848 18 | 0.504 % |
221.69/221.72 c | 356119 | 4344 253167 1803802 | 2147483647 356081 18 | 0.504 % |
221.99/222.06 c | 356375 | 4344 253167 1803802 | 2147483647 356337 18 | 0.504 % |
222.09/222.19 c | 356657 | 4344 253167 1803802 | 2147483647 356619 18 | 0.504 % |
222.49/222.55 c | 356966 | 4344 253167 1803802 | 2147483647 356928 18 | 0.504 % |
222.69/222.78 c | 357305 | 4344 253167 1803802 | 2147483647 357267 18 | 0.504 % |
222.79/222.87 c | 357680 | 4344 253167 1803802 | 2147483647 357642 18 | 0.504 % |
222.89/223.01 c | 358090 | 4344 253167 1803802 | 2147483647 358052 18 | 0.504 % |
224.00/224.05 c | 358540 | 4344 253167 1803802 | 2147483647 358502 18 | 0.504 % |
224.30/224.32 c | 359033 | 4344 253167 1803802 | 2147483647 358995 18 | 0.504 % |
224.70/224.75 c | 359575 | 4344 253167 1803802 | 2147483647 359537 18 | 0.504 % |
225.50/225.54 c | 360171 | 4344 253167 1803802 | 2147483647 360133 18 | 0.504 % |
225.80/225.91 c | 360826 | 4344 253167 1803802 | 2147483647 360788 18 | 0.504 % |
226.10/226.14 c | 361547 | 4344 253167 1803802 | 2147483647 361509 18 | 0.504 % |
226.80/226.88 c | 362340 | 4344 253167 1803802 | 2147483647 362302 18 | 0.504 % |
227.40/227.44 c | 363211 | 4344 253167 1803802 | 2147483647 363173 18 | 0.504 % |
228.00/228.11 c | 364169 | 4344 253167 1803802 | 2147483647 364131 18 | 0.504 % |
228.70/228.75 c | 365222 | 4344 253167 1803802 | 2147483647 365184 18 | 0.504 % |
229.20/229.31 c | 366381 | 4344 253167 1803802 | 2147483647 366343 18 | 0.504 % |
230.60/230.65 c | 367654 | 4344 253167 1803802 | 2147483647 367616 18 | 0.504 % |
231.80/231.90 c | 369057 | 4344 253167 1803802 | 2147483647 369019 18 | 0.504 % |
233.50/233.61 c | 370598 | 4344 253167 1803802 | 2147483647 370560 18 | 0.504 % |
234.90/235.00 c | 372292 | 4344 253143 1803740 | 2147483647 372253 18 | 0.504 % |
237.00/237.04 c | 374155 | 4344 253143 1803740 | 2147483647 374116 18 | 0.504 % |
239.20/239.29 c | 376204 | 4344 253143 1803740 | 2147483647 376165 18 | 0.504 % |
239.70/239.73 c | 378458 | 4344 253143 1803740 | 2147483647 378419 18 | 0.504 % |
242.10/242.18 c | 380938 | 4344 253143 1803740 | 2147483647 380899 18 | 0.504 % |
244.60/244.67 c | 383663 | 4344 253143 1803740 | 2147483647 383624 18 | 0.504 % |
245.90/245.94 c | 386661 | 4344 253143 1803740 | 2147483647 386622 18 | 0.504 % |
247.40/247.42 c | 389957 | 4344 253143 1803740 | 2147483647 389918 18 | 0.504 % |
251.50/251.52 c | 393584 | 4344 253143 1803740 | 2147483647 393545 18 | 0.504 % |
251.50/251.59 c | 393685 | 4344 253143 1803740 | 2147483647 393646 18 | 0.504 % |
251.60/251.65 c | 393797 | 4344 253143 1803740 | 2147483647 393758 18 | 0.504 % |
251.70/251.73 c | 393918 | 4344 253143 1803740 | 2147483647 393879 18 | 0.504 % |
251.70/251.78 c | 394051 | 4344 253143 1803740 | 2147483647 394012 18 | 0.504 % |
251.80/251.85 c | 394197 | 4344 253143 1803740 | 2147483647 394158 18 | 0.504 % |
251.90/251.94 c | 394358 | 4344 253143 1803740 | 2147483647 394319 18 | 0.504 % |
252.10/252.18 c | 394535 | 4344 253143 1803740 | 2147483647 394496 18 | 0.504 % |
252.20/252.27 c | 394728 | 4344 253143 1803740 | 2147483647 394689 18 | 0.504 % |
252.30/252.36 c | 394940 | 4344 253143 1803740 | 2147483647 394901 18 | 0.504 % |
252.60/252.69 c | 395174 | 4344 253143 1803740 | 2147483647 395135 18 | 0.504 % |
252.80/252.84 c | 395431 | 4344 253143 1803740 | 2147483647 395392 18 | 0.504 % |
253.00/253.10 c | 395712 | 4344 253143 1803740 | 2147483647 395673 18 | 0.504 % |
253.20/253.22 c | 396022 | 4344 253143 1803740 | 2147483647 395983 18 | 0.504 % |
253.40/253.48 c | 396361 | 4344 253143 1803740 | 2147483647 396322 18 | 0.504 % |
253.50/253.59 c | 396734 | 4344 253143 1803740 | 2147483647 396695 18 | 0.504 % |
253.60/253.66 c | 397144 | 4344 253143 1803740 | 2147483647 397105 18 | 0.504 % |
254.70/254.79 c | 397594 | 4344 253143 1803740 | 2147483647 397555 18 | 0.504 % |
254.80/254.90 c | 398087 | 4344 253143 1803740 | 2147483647 398048 18 | 0.504 % |
255.90/256.01 c | 398630 | 4344 253143 1803740 | 2147483647 398591 18 | 0.504 % |
256.30/256.33 c | 399227 | 4344 253143 1803740 | 2147483647 399188 18 | 0.504 % |
256.80/256.89 c | 399882 | 4344 253143 1803740 | 2147483647 399843 18 | 0.504 % |
257.10/257.14 c | 400602 | 4344 253143 1803740 | 2147483647 400563 18 | 0.504 % |
258.00/258.03 c | 401394 | 4344 253143 1803740 | 2147483647 401355 18 | 0.504 % |
258.30/258.36 c | 402265 | 4344 253143 1803740 | 2147483647 402226 18 | 0.504 % |
260.30/260.34 c | 403223 | 4344 253143 1803740 | 2147483647 403184 18 | 0.504 % |
261.30/261.32 c | 404276 | 4344 253143 1803740 | 2147483647 404237 18 | 0.504 % |
261.40/261.44 c | 405434 | 4344 253143 1803740 | 2147483647 405395 18 | 0.504 % |
261.50/261.59 c | 406707 | 4344 253143 1803740 | 2147483647 406668 18 | 0.504 % |
263.59/263.63 c | 408107 | 4344 253143 1803740 | 2147483647 408068 18 | 0.504 % |
264.59/264.64 c | 409648 | 4344 253143 1803740 | 2147483647 409609 18 | 0.504 % |
266.39/266.49 c | 411342 | 4344 253143 1803740 | 2147483647 411303 18 | 0.504 % |
268.89/268.95 c | 413206 | 4344 253143 1803740 | 2147483647 413167 18 | 0.504 % |
270.79/270.87 c | 415256 | 4344 253143 1803740 | 2147483647 415217 18 | 0.504 % |
271.69/271.76 c | 417512 | 4344 253143 1803740 | 2147483647 417473 18 | 0.504 % |
271.89/271.99 c | 419991 | 4344 253143 1803740 | 2147483647 419952 18 | 0.504 % |
274.99/275.07 c | 422716 | 4344 253143 1803740 | 2147483647 422677 18 | 0.504 % |
275.89/275.98 c | 425715 | 4344 253143 1803740 | 2147483647 425676 18 | 0.504 % |
280.69/280.75 c | 429011 | 4344 253143 1803740 | 2147483647 428972 18 | 0.504 % |
283.79/283.87 c | 432637 | 4344 253143 1803740 | 2147483647 432598 18 | 0.504 % |
286.49/286.57 c | 436625 | 4344 253143 1803740 | 2147483647 436586 19 | 0.504 % |
286.59/286.65 c | 436725 | 4344 253143 1803740 | 2147483647 436686 19 | 0.504 % |
286.59/286.70 c | 436835 | 4344 253143 1803740 | 2147483647 436796 19 | 0.504 % |
286.69/286.72 c | 436957 | 4344 253143 1803740 | 2147483647 436918 19 | 0.504 % |
286.79/286.84 c | 437090 | 4344 253143 1803740 | 2147483647 437051 19 | 0.504 % |
286.99/287.09 c | 437236 | 4344 253143 1803740 | 2147483647 437197 19 | 0.504 % |
287.29/287.40 c | 437396 | 4344 253143 1803740 | 2147483647 437357 19 | 0.504 % |
287.39/287.49 c | 437573 | 4344 253143 1803740 | 2147483647 437534 19 | 0.504 % |
287.69/287.80 c | 437766 | 4344 253143 1803740 | 2147483647 437727 19 | 0.504 % |
287.89/287.91 c | 437979 | 4344 253143 1803740 | 2147483647 437940 18 | 0.504 % |
288.19/288.21 c | 438213 | 4344 253143 1803740 | 2147483647 438174 18 | 0.504 % |
288.49/288.51 c | 438470 | 4344 253143 1803740 | 2147483647 438431 18 | 0.504 % |
288.69/288.74 c | 438751 | 4344 253143 1803740 | 2147483647 438712 18 | 0.504 % |
288.89/288.93 c | 439060 | 4344 253143 1803740 | 2147483647 439021 18 | 0.504 % |
288.99/289.08 c | 439399 | 4344 253143 1803740 | 2147483647 439360 18 | 0.504 % |
289.19/289.28 c | 439772 | 4344 253143 1803740 | 2147483647 439733 18 | 0.504 % |
289.39/289.43 c | 440182 | 4344 253143 1803740 | 2147483647 440143 18 | 0.504 % |
290.49/290.53 c | 440632 | 4344 253143 1803740 | 2147483647 440593 19 | 0.504 % |
291.39/291.44 c | 441125 | 4344 253143 1803740 | 2147483647 441086 19 | 0.504 % |
291.69/291.77 c | 441668 | 4344 253143 1803740 | 2147483647 441629 18 | 0.504 % |
292.09/292.17 c | 442264 | 4344 253143 1803740 | 2147483647 442225 18 | 0.504 % |
292.29/292.35 c | 442919 | 4344 253143 1803740 | 2147483647 442880 19 | 0.504 % |
293.09/293.10 c | 443639 | 4344 253143 1803740 | 2147483647 443600 19 | 0.504 % |
294.39/294.45 c | 444431 | 4344 253143 1803740 | 2147483647 444392 19 | 0.504 % |
295.19/295.23 c | 445302 | 4344 253143 1803740 | 2147483647 445263 19 | 0.504 % |
295.90/295.99 c | 446260 | 4344 253143 1803740 | 2147483647 446221 19 | 0.504 % |
297.09/297.19 c | 447313 | 4344 253143 1803740 | 2147483647 447274 19 | 0.504 % |
298.10/298.19 c | 448471 | 4344 253143 1803740 | 2147483647 448432 19 | 0.504 % |
299.39/299.45 c | 449744 | 4344 253143 1803740 | 2147483647 449705 19 | 0.504 % |
301.19/301.28 c | 451144 | 4344 253143 1803740 | 2147483647 451105 19 | 0.504 % |
301.69/301.77 c | 452685 | 4344 253143 1803740 | 2147483647 452646 19 | 0.504 % |
305.09/305.17 c | 454381 | 4344 253143 1803740 | 2147483647 454342 19 | 0.504 % |
307.29/307.35 c | 456245 | 4344 253143 1803740 | 2147483647 456206 19 | 0.504 % |
308.49/308.59 c | 458295 | 4344 253143 1803740 | 2147483647 458256 19 | 0.504 % |
309.10/309.12 c | 460549 | 4344 253143 1803740 | 2147483647 460510 19 | 0.504 % |
310.89/310.95 c | 463028 | 4344 253143 1803740 | 2147483647 462989 19 | 0.504 % |
314.29/314.31 c | 465754 | 4344 253143 1803740 | 2147483647 465715 19 | 0.504 % |
318.29/318.39 c | 468753 | 4344 253143 1803740 | 2147483647 468714 19 | 0.504 % |
329.49/329.52 c | 472051 | 4344 253143 1803740 | 2147483647 472012 19 | 0.504 % |
330.39/330.50 c | 475678 | 4344 253143 1803740 | 2147483647 475639 19 | 0.504 % |
338.39/338.43 c | 479667 | 4344 253143 1803740 | 2147483647 479628 19 | 0.504 % |
345.89/345.91 c | 484053 | 4344 253143 1803740 | 2147483647 484014 19 | 0.504 % |
345.89/345.95 c | 484153 | 4344 253143 1803740 | 2147483647 484114 19 | 0.504 % |
345.89/345.99 c | 484264 | 4344 253143 1803740 | 2147483647 484225 19 | 0.504 % |
345.99/346.05 c | 484385 | 4344 253143 1803740 | 2147483647 484346 19 | 0.504 % |
346.09/346.17 c | 484520 | 4344 253143 1803740 | 2147483647 484481 19 | 0.504 % |
346.19/346.26 c | 484667 | 4344 253143 1803740 | 2147483647 484628 19 | 0.504 % |
346.29/346.31 c | 484827 | 4344 253143 1803740 | 2147483647 484788 19 | 0.504 % |
346.50/346.51 c | 485003 | 4344 253143 1803740 | 2147483647 484964 19 | 0.504 % |
346.50/346.58 c | 485198 | 4344 253143 1803740 | 2147483647 485159 19 | 0.504 % |
346.89/346.98 c | 485410 | 4344 253143 1803740 | 2147483647 485371 19 | 0.504 % |
347.09/347.13 c | 485643 | 4344 253143 1803740 | 2147483647 485604 19 | 0.504 % |
347.29/347.32 c | 485899 | 4344 253143 1803740 | 2147483647 485860 19 | 0.504 % |
347.39/347.44 c | 486182 | 4344 253143 1803740 | 2147483647 486143 19 | 0.504 % |
347.79/347.81 c | 486491 | 4344 253143 1803740 | 2147483647 486452 19 | 0.504 % |
348.19/348.22 c | 486831 | 4344 253143 1803740 | 2147483647 486792 19 | 0.504 % |
348.59/348.69 c | 487203 | 4344 253143 1803740 | 2147483647 487164 19 | 0.504 % |
348.79/348.88 c | 487613 | 4344 253143 1803740 | 2147483647 487574 19 | 0.504 % |
349.19/349.26 c | 488062 | 4344 253143 1803740 | 2147483647 488023 19 | 0.504 % |
349.39/349.43 c | 488555 | 4344 253143 1803740 | 2147483647 488516 19 | 0.504 % |
349.99/350.02 c | 489098 | 4344 253143 1803740 | 2147483647 489059 19 | 0.504 % |
350.20/350.25 c | 489694 | 4344 253143 1803740 | 2147483647 489655 19 | 0.504 % |
350.60/350.67 c | 490349 | 4344 253143 1803740 | 2147483647 490310 19 | 0.504 % |
351.00/351.05 c | 491069 | 4344 253143 1803740 | 2147483647 491030 19 | 0.504 % |
351.70/351.73 c | 491862 | 4344 253143 1803740 | 2147483647 491823 19 | 0.504 % |
352.30/352.38 c | 492734 | 4344 253143 1803740 | 2147483647 492695 19 | 0.504 % |
354.10/354.13 c | 493693 | 4344 253143 1803740 | 2147483647 493654 19 | 0.504 % |
354.30/354.33 c | 494747 | 4344 253143 1803740 | 2147483647 494708 19 | 0.504 % |
355.70/355.76 c | 495905 | 4344 253143 1803740 | 2147483647 495866 19 | 0.504 % |
356.20/356.22 c | 497178 | 4344 253143 1803740 | 2147483647 497139 19 | 0.504 % |
358.40/358.42 c | 498578 | 4344 253143 1803740 | 2147483647 498539 19 | 0.504 % |
361.00/361.08 c | 500118 | 4344 253143 1803740 | 2147483647 500079 19 | 0.504 % |
363.30/363.35 c | 501813 | 4344 253143 1803740 | 2147483647 501774 19 | 0.504 % |
364.70/364.79 c | 503676 | 4344 253143 1803740 | 2147483647 503637 19 | 0.504 % |
365.60/365.61 c | 505725 | 4344 253143 1803740 | 2147483647 505686 19 | 0.504 % |
370.80/370.82 c | 507978 | 4344 253143 1803740 | 2147483647 507939 19 | 0.504 % |
374.30/374.32 c | 510457 | 4344 253143 1803740 | 2147483647 510418 19 | 0.504 % |
377.30/377.38 c | 513184 | 4344 253143 1803740 | 2147483647 513145 19 | 0.504 % |
378.80/378.90 c | 516181 | 4344 253143 1803740 | 2147483647 516142 19 | 0.504 % |
383.30/383.32 c | 519477 | 4344 253143 1803740 | 2147483647 519438 19 | 0.504 % |
390.30/390.36 c | 523104 | 4344 253143 1803740 | 2147483647 523065 19 | 0.504 % |
391.70/391.76 c | 527091 | 4344 253143 1803740 | 2147483647 527052 19 | 0.504 % |
398.30/398.31 c | 531477 | 4344 253143 1803740 | 2147483647 531438 19 | 0.504 % |
406.90/406.95 c | 536301 | 4344 253143 1803740 | 2147483647 536262 19 | 0.504 % |
406.90/406.99 c | 536401 | 4344 253143 1803740 | 2147483647 536362 19 | 0.504 % |
407.00/407.03 c | 536511 | 4344 253143 1803740 | 2147483647 536472 19 | 0.504 % |
407.00/407.07 c | 536632 | 4344 253143 1803740 | 2147483647 536593 19 | 0.504 % |
407.20/407.23 c | 536767 | 4344 253143 1803740 | 2147483647 536728 19 | 0.504 % |
407.30/407.32 c | 536914 | 4344 253143 1803740 | 2147483647 536875 19 | 0.504 % |
407.40/407.42 c | 537075 | 4344 253143 1803740 | 2147483647 537036 19 | 0.504 % |
407.60/407.69 c | 537251 | 4344 253143 1803740 | 2147483647 537212 19 | 0.504 % |
407.80/407.87 c | 537445 | 4344 253143 1803740 | 2147483647 537406 19 | 0.504 % |
408.10/408.16 c | 537658 | 4344 253143 1803740 | 2147483647 537619 19 | 0.504 % |
408.30/408.36 c | 537893 | 4344 253143 1803740 | 2147483647 537854 19 | 0.504 % |
408.60/408.64 c | 538149 | 4344 253143 1803740 | 2147483647 538110 19 | 0.504 % |
409.00/409.06 c | 538431 | 4344 253143 1803740 | 2147483647 538392 19 | 0.504 % |
409.20/409.29 c | 538740 | 4344 253143 1803740 | 2147483647 538701 19 | 0.504 % |
409.70/409.81 c | 539080 | 4344 253143 1803740 | 2147483647 539041 19 | 0.504 % |
409.90/409.94 c | 539452 | 4344 253143 1803740 | 2147483647 539413 19 | 0.504 % |
410.70/410.78 c | 539862 | 4344 253143 1803740 | 2147483647 539823 19 | 0.504 % |
411.00/411.03 c | 540311 | 4344 253143 1803740 | 2147483647 540272 19 | 0.504 % |
411.10/411.19 c | 540805 | 4344 253143 1803740 | 2147483647 540766 19 | 0.504 % |
412.30/412.32 c | 541347 | 4344 253143 1803740 | 2147483647 541308 19 | 0.504 % |
412.50/412.53 c | 541943 | 4344 253143 1803740 | 2147483647 541904 19 | 0.504 % |
413.40/413.50 c | 542598 | 4344 253143 1803740 | 2147483647 542559 19 | 0.504 % |
415.10/415.15 c | 543321 | 4344 253143 1803740 | 2147483647 543282 19 | 0.504 % |
416.30/416.32 c | 544113 | 4344 253143 1803740 | 2147483647 544074 19 | 0.504 % |
417.00/417.05 c | 544984 | 4344 253143 1803740 | 2147483647 544945 19 | 0.504 % |
418.60/418.62 c | 545942 | 4344 253143 1803740 | 2147483647 545903 19 | 0.504 % |
419.80/419.87 c | 546995 | 4344 253143 1803740 | 2147483647 546956 19 | 0.504 % |
420.80/420.88 c | 548154 | 4344 253143 1803740 | 2147483647 548115 19 | 0.504 % |
421.70/421.74 c | 549427 | 4344 253143 1803740 | 2147483647 549388 19 | 0.504 % |
422.70/422.75 c | 550827 | 4344 253143 1803740 | 2147483647 550788 19 | 0.504 % |
423.70/423.71 c | 552368 | 4344 253143 1803740 | 2147483647 552329 19 | 0.504 % |
427.10/427.18 c | 554062 | 4344 253143 1803740 | 2147483647 554023 19 | 0.504 % |
429.90/429.92 c | 555926 | 4344 253143 1803740 | 2147483647 555887 19 | 0.504 % |
431.40/431.47 c | 557976 | 4344 253143 1803740 | 2147483647 557937 19 | 0.504 % |
435.80/435.83 c | 560230 | 4344 253143 1803740 | 2147483647 560191 19 | 0.504 % |
437.20/437.22 c | 562708 | 4344 253143 1803740 | 2147483647 562669 19 | 0.504 % |
440.01/440.06 c | 565433 | 4344 253143 1803740 | 2147483647 565394 19 | 0.504 % |
442.90/442.95 c | 568431 | 4344 253143 1803740 | 2147483647 568392 19 | 0.504 % |
444.60/444.64 c | 571728 | 4344 253143 1803740 | 2147483647 571689 19 | 0.504 % |
445.80/445.85 c | 575354 | 4344 253143 1803740 | 2147483647 575315 19 | 0.504 % |
456.20/456.30 c | 579342 | 4344 253143 1803740 | 2147483647 579303 19 | 0.504 % |
459.90/459.95 c | 583728 | 4344 253143 1803740 | 2147483647 583689 19 | 0.504 % |
464.21/464.23 c | 588551 | 4344 253143 1803740 | 2147483647 588512 19 | 0.504 % |
474.20/474.28 c | 593857 | 4344 253143 1803740 | 2147483647 593818 19 | 0.504 % |
474.40/474.40 c | 593957 | 4344 253143 1803740 | 2147483647 593918 19 | 0.504 % |
474.40/474.48 c | 594067 | 4344 253143 1803740 | 2147483647 594028 19 | 0.504 % |
474.50/474.59 c | 594190 | 4344 253143 1803740 | 2147483647 594151 19 | 0.504 % |
474.70/474.79 c | 594324 | 4344 253143 1803740 | 2147483647 594285 19 | 0.504 % |
475.00/475.07 c | 594470 | 4344 253143 1803740 | 2147483647 594431 19 | 0.504 % |
475.30/475.37 c | 594631 | 4344 253143 1803740 | 2147483647 594592 19 | 0.504 % |
475.40/475.48 c | 594808 | 4344 253143 1803740 | 2147483647 594769 19 | 0.504 % |
475.60/475.66 c | 595003 | 4344 253143 1803740 | 2147483647 594964 19 | 0.504 % |
476.00/476.00 c | 595215 | 4344 253143 1803740 | 2147483647 595176 19 | 0.504 % |
476.10/476.12 c | 595448 | 4344 253143 1803740 | 2147483647 595409 19 | 0.504 % |
476.51/476.61 c | 595704 | 4344 253143 1803740 | 2147483647 595665 19 | 0.504 % |
476.71/476.76 c | 595985 | 4344 253143 1803740 | 2147483647 595946 19 | 0.504 % |
477.01/477.06 c | 596294 | 4344 253143 1803740 | 2147483647 596255 19 | 0.504 % |
477.11/477.15 c | 596633 | 4344 253143 1803740 | 2147483647 596594 19 | 0.504 % |
477.71/477.81 c | 597007 | 4344 253143 1803740 | 2147483647 596968 19 | 0.504 % |
478.31/478.34 c | 597416 | 4344 253143 1803740 | 2147483647 597377 19 | 0.504 % |
478.61/478.68 c | 597865 | 4344 253143 1803740 | 2147483647 597826 19 | 0.504 % |
478.91/478.97 c | 598358 | 4344 253143 1803740 | 2147483647 598319 19 | 0.504 % |
480.11/480.17 c | 598900 | 4344 253143 1803740 | 2147483647 598861 19 | 0.504 % |
480.51/480.61 c | 599497 | 4344 253143 1803740 | 2147483647 599458 19 | 0.504 % |
481.31/481.31 c | 600154 | 4344 253143 1803740 | 2147483647 600115 19 | 0.504 % |
481.61/481.69 c | 600875 | 4344 253143 1803740 | 2147483647 600836 19 | 0.504 % |
483.01/483.07 c | 601668 | 4344 253143 1803740 | 2147483647 601629 19 | 0.504 % |
483.71/483.81 c | 602540 | 4344 253143 1803740 | 2147483647 602501 19 | 0.504 % |
485.01/485.08 c | 603498 | 4344 253143 1803740 | 2147483647 603459 19 | 0.504 % |
486.91/486.95 c | 604551 | 4344 253143 1803740 | 2147483647 604512 19 | 0.504 % |
487.51/487.59 c | 605709 | 4343 253131 1803709 | 2147483647 605667 19 | 0.527 % |
488.91/489.01 c | 606982 | 4343 253131 1803709 | 2147483647 606940 19 | 0.527 % |
490.41/490.43 c | 608382 | 4343 253131 1803709 | 2147483647 608340 19 | 0.527 % |
492.31/492.35 c | 609922 | 4343 253131 1803709 | 2147483647 609880 19 | 0.527 % |
494.81/494.83 c | 611619 | 4343 253131 1803709 | 2147483647 611577 19 | 0.527 % |
496.31/496.32 c | 613483 | 4343 253131 1803709 | 2147483647 613441 19 | 0.527 % |
499.81/499.90 c | 615534 | 4343 253131 1803709 | 2147483647 615492 19 | 0.527 % |
500.71/500.75 c | 617788 | 4343 253131 1803709 | 2147483647 617746 19 | 0.527 % |
503.01/503.03 c | 620267 | 4343 253131 1803709 | 2147483647 620225 19 | 0.527 % |
505.61/505.69 c | 622993 | 4343 253131 1803709 | 2147483647 622951 19 | 0.527 % |
508.11/508.18 c | 625990 | 4343 253131 1803709 | 2147483647 625948 19 | 0.527 % |
512.81/512.87 c | 629286 | 4343 253131 1803709 | 2147483647 629244 19 | 0.527 % |
517.41/517.51 c | 632911 | 4343 253131 1803709 | 2147483647 632869 19 | 0.527 % |
520.81/520.87 c | 636898 | 4343 253131 1803709 | 2147483647 636856 19 | 0.527 % |
526.11/526.20 c | 641283 | 4343 253131 1803709 | 2147483647 641241 19 | 0.527 % |
534.41/534.46 c | 646106 | 4343 253131 1803709 | 2147483647 646064 19 | 0.527 % |
545.21/545.22 c | 651411 | 4343 253131 1803709 | 2147483647 651369 19 | 0.527 % |
561.41/561.44 c | 657246 | 4343 253131 1803709 | 2147483647 657204 20 | 0.527 % |
561.51/561.56 c | 657347 | 4343 253131 1803709 | 2147483647 657305 20 | 0.527 % |
561.61/561.64 c | 657457 | 4343 253131 1803709 | 2147483647 657415 20 | 0.527 % |
561.71/561.76 c | 657578 | 4343 253131 1803709 | 2147483647 657536 20 | 0.527 % |
561.91/561.96 c | 657712 | 4343 253131 1803709 | 2147483647 657670 20 | 0.527 % |
562.12/562.15 c | 657859 | 4343 253131 1803709 | 2147483647 657817 20 | 0.527 % |
562.31/562.31 c | 658020 | 4343 253131 1803709 | 2147483647 657978 20 | 0.527 % |
562.41/562.42 c | 658198 | 4343 253131 1803709 | 2147483647 658156 20 | 0.527 % |
562.51/562.57 c | 658392 | 4343 253131 1803709 | 2147483647 658350 20 | 0.527 % |
562.61/562.66 c | 658604 | 4343 253131 1803709 | 2147483647 658562 20 | 0.527 % |
562.81/562.90 c | 658837 | 4343 253131 1803709 | 2147483647 658795 20 | 0.527 % |
563.01/563.03 c | 659094 | 4343 253131 1803709 | 2147483647 659052 20 | 0.527 % |
563.41/563.49 c | 659375 | 4343 253131 1803709 | 2147483647 659333 20 | 0.527 % |
563.61/563.69 c | 659685 | 4343 253131 1803709 | 2147483647 659643 20 | 0.527 % |
563.81/563.88 c | 660024 | 4343 253131 1803709 | 2147483647 659982 20 | 0.527 % |
564.41/564.50 c | 660396 | 4343 253131 1803709 | 2147483647 660354 20 | 0.527 % |
565.01/565.02 c | 660805 | 4343 253131 1803709 | 2147483647 660763 20 | 0.527 % |
565.31/565.40 c | 661255 | 4343 253131 1803709 | 2147483647 661213 20 | 0.527 % |
565.81/565.82 c | 661750 | 4343 253131 1803709 | 2147483647 661708 20 | 0.527 % |
566.61/566.65 c | 662292 | 4343 253131 1803709 | 2147483647 662250 20 | 0.527 % |
567.11/567.17 c | 662889 | 4343 253131 1803709 | 2147483647 662847 20 | 0.527 % |
568.81/568.86 c | 663544 | 4343 253131 1803709 | 2147483647 663502 20 | 0.527 % |
569.71/569.79 c | 664265 | 4343 253131 1803709 | 2147483647 664223 20 | 0.527 % |
570.81/570.91 c | 665057 | 4343 253131 1803709 | 2147483647 665015 20 | 0.527 % |
572.41/572.43 c | 665929 | 4343 253131 1803709 | 2147483647 665887 20 | 0.527 % |
574.91/574.91 c | 666887 | 4343 253131 1803709 | 2147483647 666845 20 | 0.527 % |
575.41/575.44 c | 667940 | 4343 253131 1803709 | 2147483647 667898 20 | 0.527 % |
576.42/576.43 c | 669098 | 4343 253131 1803709 | 2147483647 669056 20 | 0.527 % |
578.91/578.98 c | 670371 | 4343 253131 1803709 | 2147483647 670329 20 | 0.527 % |
580.21/580.23 c | 671772 | 4343 253131 1803709 | 2147483647 671730 20 | 0.527 % |
582.81/582.84 c | 673315 | 4343 253131 1803709 | 2147483647 673273 20 | 0.527 % |
587.51/587.57 c | 675012 | 4343 253131 1803709 | 2147483647 674970 20 | 0.527 % |
588.61/588.70 c | 676876 | 4343 253131 1803709 | 2147483647 676834 20 | 0.527 % |
592.61/592.67 c | 678926 | 4343 253131 1803709 | 2147483647 678884 20 | 0.527 % |
595.31/595.35 c | 681179 | 4343 253131 1803709 | 2147483647 681137 20 | 0.527 % |
599.81/599.84 c | 683657 | 4343 253131 1803709 | 2147483647 683615 20 | 0.527 % |
602.91/602.94 c | 686382 | 4342 253131 1803709 | 2147483647 686339 20 | 0.550 % |
605.82/605.88 c | 689381 | 4342 253131 1803709 | 2147483647 689338 20 | 0.550 % |
612.32/612.35 c | 692678 | 4342 253131 1803709 | 2147483647 692635 20 | 0.550 % |
619.12/619.17 c | 696303 | 4342 253131 1803709 | 2147483647 696260 20 | 0.550 % |
624.71/624.73 c | 700291 | 4342 253131 1803709 | 2147483647 700248 20 | 0.550 % |
629.31/629.32 c | 704677 | 4342 253131 1803709 | 2147483647 704634 20 | 0.550 % |
635.91/635.96 c | 709500 | 4342 253131 1803709 | 2147483647 709457 20 | 0.550 % |
648.71/648.74 c | 714806 | 4342 253131 1803709 | 2147483647 714763 20 | 0.550 % |
655.11/655.20 c | 720642 | 4342 253131 1803709 | 2147483647 720599 20 | 0.550 % |
667.91/667.95 c | 727062 | 4342 253131 1803709 | 2147483647 727019 20 | 0.550 % |
668.01/668.07 c | 727162 | 4342 253131 1803709 | 2147483647 727119 20 | 0.550 % |
668.31/668.31 c | 727273 | 4342 253131 1803709 | 2147483647 727230 20 | 0.550 % |
668.31/668.39 c | 727395 | 4342 253131 1803709 | 2147483647 727352 20 | 0.550 % |
668.51/668.52 c | 727528 | 4342 253131 1803709 | 2147483647 727485 20 | 0.550 % |
668.81/668.81 c | 727675 | 4342 253131 1803709 | 2147483647 727632 20 | 0.550 % |
669.21/669.25 c | 727835 | 4342 253131 1803709 | 2147483647 727792 20 | 0.550 % |
669.41/669.41 c | 728011 | 4342 253131 1803709 | 2147483647 727968 20 | 0.550 % |
669.71/669.70 c | 728205 | 4342 253131 1803709 | 2147483647 728162 20 | 0.550 % |
670.01/670.05 c | 728417 | 4342 253131 1803709 | 2147483647 728374 20 | 0.550 % |
670.41/670.50 c | 728651 | 4342 253131 1803709 | 2147483647 728608 20 | 0.550 % |
670.61/670.61 c | 728908 | 4342 253131 1803709 | 2147483647 728865 20 | 0.550 % |
670.91/670.93 c | 729189 | 4342 253131 1803709 | 2147483647 729146 20 | 0.550 % |
671.11/671.20 c | 729498 | 4342 253131 1803709 | 2147483647 729455 20 | 0.550 % |
671.91/671.93 c | 729838 | 4342 253131 1803709 | 2147483647 729795 20 | 0.550 % |
672.31/672.32 c | 730210 | 4342 253131 1803709 | 2147483647 730167 20 | 0.550 % |
672.91/672.97 c | 730619 | 4342 253131 1803709 | 2147483647 730576 20 | 0.550 % |
673.21/673.24 c | 731068 | 4342 253131 1803709 | 2147483647 731025 20 | 0.550 % |
674.61/674.68 c | 731563 | 4342 253131 1803709 | 2147483647 731520 20 | 0.550 % |
675.11/675.12 c | 732107 | 4342 253131 1803709 | 2147483647 732064 20 | 0.550 % |
675.31/675.40 c | 732703 | 4342 253131 1803709 | 2147483647 732660 20 | 0.550 % |
677.31/677.38 c | 733359 | 4342 253131 1803709 | 2147483647 733316 20 | 0.550 % |
678.72/678.76 c | 734080 | 4342 253131 1803709 | 2147483647 734037 20 | 0.550 % |
679.21/679.27 c | 734873 | 4342 253131 1803709 | 2147483647 734830 20 | 0.550 % |
680.51/680.54 c | 735747 | 4342 253131 1803709 | 2147483647 735704 20 | 0.550 % |
682.21/682.30 c | 736707 | 4342 253131 1803709 | 2147483647 736664 20 | 0.550 % |
683.61/683.64 c | 737760 | 4342 253131 1803709 | 2147483647 737717 20 | 0.550 % |
685.61/685.62 c | 738919 | 4342 253131 1803709 | 2147483647 738876 20 | 0.550 % |
686.81/686.84 c | 740192 | 4342 253131 1803709 | 2147483647 740149 20 | 0.550 % |
688.41/688.48 c | 741592 | 4342 253131 1803709 | 2147483647 741549 20 | 0.550 % |
691.81/691.81 c | 743132 | 4342 253131 1803709 | 2147483647 743089 20 | 0.550 % |
693.21/693.29 c | 744827 | 4342 253131 1803709 | 2147483647 744784 20 | 0.550 % |
695.71/695.79 c | 746690 | 4342 253131 1803709 | 2147483647 746647 20 | 0.550 % |
698.31/698.35 c | 748739 | 4342 253131 1803709 | 2147483647 748696 20 | 0.550 % |
704.11/704.15 c | 750993 | 4342 253131 1803709 | 2147483647 750950 20 | 0.550 % |
709.11/709.16 c | 753471 | 4342 253131 1803709 | 2147483647 753428 20 | 0.550 % |
713.21/713.29 c | 756196 | 4342 253131 1803709 | 2147483647 756153 20 | 0.550 % |
720.41/720.47 c | 759193 | 4342 253131 1803709 | 2147483647 759150 20 | 0.550 % |
726.31/726.33 c | 762489 | 4342 253131 1803709 | 2147483647 762446 20 | 0.550 % |
745.52/745.54 c | 766115 | 4342 253131 1803709 | 2147483647 766072 20 | 0.550 % |
751.92/751.98 c | 770104 | 4342 253131 1803709 | 2147483647 770061 20 | 0.550 % |
764.72/764.73 c | 774489 | 4342 253131 1803709 | 2147483647 774446 20 | 0.550 % |
771.92/771.99 c | 779312 | 4342 253123 1803683 | 2147483647 779268 20 | 0.550 % |
782.02/782.07 c | 784617 | 4341 253123 1803683 | 2147483647 784572 20 | 0.573 % |
794.02/794.05 c | 790452 | 4341 253123 1803683 | 2147483647 790407 20 | 0.573 % |
801.62/801.68 c | 796870 | 4341 253123 1803683 | 2147483647 796825 20 | 0.573 % |
816.23/816.22 c | 803929 | 4341 253123 1803683 | 2147483647 803884 20 | 0.573 % |
816.32/816.34 c | 804029 | 4341 253123 1803683 | 2147483647 803984 20 | 0.573 % |
816.52/816.51 c | 804140 | 4341 253123 1803683 | 2147483647 804095 20 | 0.573 % |
816.62/816.65 c | 804262 | 4341 253123 1803683 | 2147483647 804217 20 | 0.573 % |
817.02/817.09 c | 804396 | 4341 253123 1803683 | 2147483647 804351 20 | 0.573 % |
817.12/817.18 c | 804543 | 4341 253123 1803683 | 2147483647 804498 20 | 0.573 % |
817.42/817.49 c | 804704 | 4341 253123 1803683 | 2147483647 804659 20 | 0.573 % |
817.62/817.66 c | 804880 | 4341 253123 1803683 | 2147483647 804835 20 | 0.573 % |
817.72/817.80 c | 805073 | 4341 253123 1803683 | 2147483647 805028 20 | 0.573 % |
818.32/818.37 c | 805286 | 4341 253123 1803683 | 2147483647 805241 20 | 0.573 % |
818.43/818.47 c | 805520 | 4341 253123 1803683 | 2147483647 805475 20 | 0.573 % |
819.02/819.05 c | 805776 | 4341 253123 1803683 | 2147483647 805731 20 | 0.573 % |
819.62/819.61 c | 806057 | 4341 253123 1803683 | 2147483647 806012 20 | 0.573 % |
820.42/820.50 c | 806367 | 4341 253123 1803683 | 2147483647 806322 20 | 0.573 % |
821.62/821.68 c | 806708 | 4341 253123 1803683 | 2147483647 806663 20 | 0.573 % |
821.92/821.94 c | 807081 | 4341 253123 1803683 | 2147483647 807036 20 | 0.573 % |
823.32/823.31 c | 807490 | 4341 253123 1803683 | 2147483647 807445 20 | 0.573 % |
824.42/824.43 c | 807940 | 4341 253123 1803683 | 2147483647 807895 20 | 0.573 % |
826.32/826.37 c | 808434 | 4341 253123 1803683 | 2147483647 808389 20 | 0.573 % |
826.62/826.66 c | 808976 | 4341 253123 1803683 | 2147483647 808931 20 | 0.573 % |
827.72/827.80 c | 809572 | 4341 253123 1803683 | 2147483647 809527 20 | 0.573 % |
828.12/828.19 c | 810227 | 4341 253123 1803683 | 2147483647 810182 20 | 0.573 % |
828.62/828.67 c | 810947 | 4341 253123 1803683 | 2147483647 810902 20 | 0.573 % |
830.83/830.90 c | 811739 | 4341 253123 1803683 | 2147483647 811694 20 | 0.573 % |
831.43/831.47 c | 812611 | 4341 253123 1803683 | 2147483647 812566 20 | 0.573 % |
832.74/832.73 c | 813569 | 4341 253123 1803683 | 2147483647 813524 20 | 0.573 % |
835.73/835.75 c | 814622 | 4341 253123 1803683 | 2147483647 814577 20 | 0.573 % |
837.53/837.54 c | 815781 | 4341 253123 1803683 | 2147483647 815736 20 | 0.573 % |
838.73/838.71 c | 817054 | 4341 253123 1803683 | 2147483647 817009 20 | 0.573 % |
841.54/841.56 c | 818455 | 4341 253123 1803683 | 2147483647 818410 20 | 0.573 % |
845.13/845.12 c | 819995 | 4341 253123 1803683 | 2147483647 819950 20 | 0.573 % |
849.13/849.19 c | 821690 | 4341 253123 1803683 | 2147483647 821645 20 | 0.573 % |
853.33/853.40 c | 823553 | 4341 253123 1803683 | 2147483647 823508 20 | 0.573 % |
857.94/857.97 c | 825602 | 4341 253123 1803683 | 2147483647 825557 20 | 0.573 % |
862.54/862.53 c | 827855 | 4341 253123 1803683 | 2147483647 827810 20 | 0.573 % |
865.84/865.86 c | 830333 | 4341 253123 1803683 | 2147483647 830288 20 | 0.573 % |
868.14/868.17 c | 833058 | 4341 253123 1803683 | 2147483647 833013 20 | 0.573 % |
872.94/872.95 c | 836056 | 4341 253123 1803683 | 2147483647 836011 20 | 0.573 % |
883.44/883.49 c | 839352 | 4341 253123 1803683 | 2147483647 839307 20 | 0.573 % |
887.94/888.00 c | 842977 | 4341 253123 1803683 | 2147483647 842932 20 | 0.573 % |
899.94/899.98 c | 846965 | 4341 253123 1803683 | 2147483647 846920 20 | 0.573 % |
911.24/911.24 c | 851351 | 4341 253123 1803683 | 2147483647 851306 20 | 0.573 % |
917.04/917.07 c | 856174 | 4341 253123 1803683 | 2147483647 856129 20 | 0.573 % |
924.54/924.53 c | 861479 | 4341 253123 1803683 | 2147483647 861434 20 | 0.573 % |
940.74/940.79 c | 867315 | 4340 253123 1803683 | 2147483647 867269 20 | 0.596 % |
954.14/954.20 c | 873734 | 4340 253123 1803683 | 2147483647 873688 20 | 0.596 % |
975.34/975.32 c | 880793 | 4340 253123 1803683 | 2147483647 880747 20 | 0.596 % |
1003.04/1003.03 c | 888557 | 4340 253123 1803683 | 2147483647 888511 20 | 0.596 % |
1003.24/1003.30 c | 888657 | 4340 253123 1803683 | 2147483647 888611 20 | 0.596 % |
1003.54/1003.54 c | 888767 | 4340 253123 1803683 | 2147483647 888721 20 | 0.596 % |
1003.74/1003.77 c | 888888 | 4340 253123 1803683 | 2147483647 888842 20 | 0.596 % |
1003.94/1004.01 c | 889022 | 4340 253123 1803683 | 2147483647 888976 20 | 0.596 % |
1004.24/1004.25 c | 889169 | 4340 253123 1803683 | 2147483647 889123 20 | 0.596 % |
1004.34/1004.38 c | 889329 | 4340 253123 1803683 | 2147483647 889283 20 | 0.596 % |
1004.44/1004.49 c | 889505 | 4340 253123 1803683 | 2147483647 889459 20 | 0.596 % |
1004.84/1004.90 c | 889698 | 4340 253123 1803683 | 2147483647 889652 20 | 0.596 % |
1005.24/1005.23 c | 889910 | 4340 253123 1803683 | 2147483647 889864 20 | 0.596 % |
1005.34/1005.37 c | 890143 | 4340 253123 1803683 | 2147483647 890097 20 | 0.596 % |
1005.74/1005.72 c | 890401 | 4340 253123 1803683 | 2147483647 890355 20 | 0.596 % |
1005.84/1005.90 c | 890684 | 4340 253123 1803683 | 2147483647 890638 20 | 0.596 % |
1006.34/1006.33 c | 890994 | 4340 253123 1803683 | 2147483647 890948 20 | 0.596 % |
1007.14/1007.19 c | 891335 | 4340 253123 1803683 | 2147483647 891289 20 | 0.596 % |
1007.44/1007.47 c | 891708 | 4340 253123 1803683 | 2147483647 891662 20 | 0.596 % |
1008.04/1008.11 c | 892117 | 4340 253123 1803683 | 2147483647 892071 20 | 0.596 % |
1008.94/1008.92 c | 892567 | 4340 253123 1803683 | 2147483647 892521 20 | 0.596 % |
1010.94/1010.93 c | 893062 | 4340 253123 1803683 | 2147483647 893016 20 | 0.596 % |
1012.04/1012.04 c | 893605 | 4340 253123 1803683 | 2147483647 893559 20 | 0.596 % |
1012.34/1012.38 c | 894202 | 4340 253123 1803683 | 2147483647 894156 20 | 0.596 % |
1014.04/1014.02 c | 894857 | 4340 253123 1803683 | 2147483647 894811 20 | 0.596 % |
1014.24/1014.31 c | 895577 | 4340 253123 1803683 | 2147483647 895531 20 | 0.596 % |
1015.84/1015.87 c | 896370 | 4340 253123 1803683 | 2147483647 896324 20 | 0.596 % |
1017.74/1017.72 c | 897242 | 4340 253123 1803683 | 2147483647 897196 20 | 0.596 % |
1019.04/1019.09 c | 898201 | 4340 253123 1803683 | 2147483647 898155 20 | 0.596 % |
1021.14/1021.14 c | 899255 | 4340 253123 1803683 | 2147483647 899209 20 | 0.596 % |
1023.24/1023.25 c | 900413 | 4340 253123 1803683 | 2147483647 900367 20 | 0.596 % |
1025.04/1025.07 c | 901688 | 4340 253123 1803683 | 2147483647 901642 20 | 0.596 % |
1026.94/1027.00 c | 903088 | 4340 253123 1803683 | 2147483647 903042 20 | 0.596 % |
1030.34/1030.34 c | 904630 | 4340 253123 1803683 | 2147483647 904584 20 | 0.596 % |
1035.74/1035.76 c | 906324 | 4340 253123 1803683 | 2147483647 906278 20 | 0.596 % |
1041.74/1041.77 c | 908188 | 4340 253123 1803683 | 2147483647 908142 20 | 0.596 % |
1045.34/1045.38 c | 910237 | 4340 253123 1803683 | 2147483647 910191 20 | 0.596 % |
1047.34/1047.32 c | 912490 | 4340 253123 1803683 | 2147483647 912444 20 | 0.596 % |
1053.24/1053.29 c | 914970 | 4340 253123 1803683 | 2147483647 914924 20 | 0.596 % |
1059.14/1059.17 c | 917695 | 4340 253123 1803683 | 2147483647 917649 20 | 0.596 % |
1065.84/1065.83 c | 920693 | 4340 253123 1803683 | 2147483647 920647 20 | 0.596 % |
1070.54/1070.51 c | 923990 | 4340 253123 1803683 | 2147483647 923944 20 | 0.596 % |
1077.24/1077.27 c | 927615 | 4340 253123 1803683 | 2147483647 927569 20 | 0.596 % |
1087.04/1087.10 c | 931603 | 4340 253123 1803683 | 2147483647 931557 20 | 0.596 % |
1090.84/1090.85 c | 935988 | 4340 253123 1803683 | 2147483647 935942 20 | 0.596 % |
1101.94/1101.96 c | 940811 | 4340 253123 1803683 | 2147483647 940765 20 | 0.596 % |
1109.65/1109.63 c | 946117 | 4340 253123 1803683 | 2147483647 946071 20 | 0.596 % |
1116.95/1116.99 c | 951954 | 4340 253123 1803683 | 2147483647 951908 20 | 0.596 % |
1137.95/1137.94 c | 958373 | 4340 253123 1803683 | 2147483647 958327 20 | 0.596 % |
1149.45/1149.43 c | 965432 | 4340 253123 1803683 | 2147483647 965386 20 | 0.596 % |
1161.75/1161.78 c | 973197 | 4340 253123 1803683 | 2147483647 973151 20 | 0.596 % |
1183.35/1183.37 c | 981737 | 4340 253123 1803683 | 2147483647 981691 20 | 0.596 % |
1183.85/1183.82 c | 981837 | 4340 253099 1803621 | 2147483647 981790 20 | 0.596 % |
1183.85/1183.86 c | 981948 | 4340 253099 1803621 | 2147483647 981901 20 | 0.596 % |
1184.25/1184.22 c | 982069 | 4340 253099 1803621 | 2147483647 982022 20 | 0.596 % |
1184.45/1184.46 c | 982203 | 4340 253099 1803621 | 2147483647 982156 20 | 0.596 % |
1184.65/1184.64 c | 982349 | 4340 253099 1803621 | 2147483647 982302 20 | 0.596 % |
1185.35/1185.35 c | 982510 | 4340 253099 1803621 | 2147483647 982463 20 | 0.596 % |
1185.55/1185.54 c | 982686 | 4340 253099 1803621 | 2147483647 982639 20 | 0.596 % |
1185.65/1185.70 c | 982880 | 4340 253099 1803621 | 2147483647 982833 20 | 0.596 % |
1186.15/1186.13 c | 983092 | 4340 253099 1803621 | 2147483647 983045 20 | 0.596 % |
1186.45/1186.45 c | 983326 | 4340 253099 1803621 | 2147483647 983279 20 | 0.596 % |
1187.05/1187.08 c | 983582 | 4340 253099 1803621 | 2147483647 983535 20 | 0.596 % |
1187.35/1187.35 c | 983863 | 4340 253099 1803621 | 2147483647 983816 20 | 0.596 % |
1188.15/1188.12 c | 984172 | 4340 253099 1803621 | 2147483647 984125 20 | 0.596 % |
1188.35/1188.38 c | 984511 | 4340 253099 1803621 | 2147483647 984464 20 | 0.596 % |
1188.85/1188.83 c | 984884 | 4340 253099 1803621 | 2147483647 984837 20 | 0.596 % |
1189.65/1189.66 c | 985293 | 4340 253099 1803621 | 2147483647 985246 20 | 0.596 % |
1190.05/1190.03 c | 985742 | 4340 253099 1803621 | 2147483647 985695 20 | 0.596 % |
1190.85/1190.82 c | 986237 | 4340 253099 1803621 | 2147483647 986190 20 | 0.596 % |
1192.15/1192.13 c | 986781 | 4340 253099 1803621 | 2147483647 986734 20 | 0.596 % |
1193.65/1193.70 c | 987377 | 4340 253099 1803621 | 2147483647 987330 20 | 0.596 % |
1195.15/1195.13 c | 988032 | 4340 253099 1803621 | 2147483647 987985 20 | 0.596 % |
1196.65/1196.70 c | 988753 | 4340 253099 1803621 | 2147483647 988706 20 | 0.596 % |
1197.35/1197.37 c | 989546 | 4340 253099 1803621 | 2147483647 989499 20 | 0.596 % |
1198.85/1198.84 c | 990419 | 4340 253099 1803621 | 2147483647 990372 20 | 0.596 % |
1199.65/1199.69 c | 991377 | 4340 253099 1803621 | 2147483647 991330 20 | 0.596 % |
1200.05/1200.03 HOME/SatELiteGTI: line 36: 17537 Terminated $MS $TMP.cnf $TMP.result
runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w /tmp/evaluation-result-1821400-1242523956/watcher-1821400-1242523956 -o /tmp/evaluation-result-1821400-1242523956/solver-1821400-1242523956 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1821400-1242523956.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 2/96 17343
/proc/meminfo: memFree=906064/2074464 swapFree=1950760/1959888
[pid=17343] ppid=17341 vsize=2416 CPUtime=0.01
/proc/17343/stat : 17343 (SatELiteGTI) S 17341 17343 11066 0 -1 4194304 369 643 0 0 1 0 0 0 25 0 1 0 1016894126 2473984 277 4294967295 134512640 135169312 3216156288 3216154824 3085876974 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/17343/statm: 604 277 235 161 0 43 0
[pid=17347] ppid=17343 vsize=952 CPUtime=0
/proc/17347/stat : 17347 (SatELite_releas) R 17343 17343 11066 0 -1 4202496 137 0 0 0 0 0 0 0 25 0 1 0 1016894126 974848 72 4294967295 134512640 135223648 3218258016 3218256968 134737310 0 0 0 3 0 0 0 17 2 0 0 0
/proc/17347/statm: 238 73 47 174 0 63 0
[startup+0.034141 s]
/proc/loadavg: 1.00 1.00 1.00 2/96 17343
/proc/meminfo: memFree=906064/2074464 swapFree=1950760/1959888
[pid=17343] ppid=17341 vsize=2416 CPUtime=0.01
/proc/17343/stat : 17343 (SatELiteGTI) S 17341 17343 11066 0 -1 4194304 369 643 0 0 1 0 0 0 25 0 1 0 1016894126 2473984 277 4294967295 134512640 135169312 3216156288 3216154824 3085876974 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/17343/statm: 604 277 235 161 0 43 0
[pid=17347] ppid=17343 vsize=4112 CPUtime=0.03
/proc/17347/stat : 17347 (SatELite_releas) R 17343 17343 11066 0 -1 4202496 899 0 0 0 1 2 0 0 25 0 1 0 1016894126 4210688 834 4294967295 134512640 135223648 3218258016 3218256968 134737310 0 0 0 3 0 0 0 17 2 0 0 0
/proc/17347/statm: 1028 834 47 174 0 853 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 6528
[startup+0.114131 s]
/proc/loadavg: 1.00 1.00 1.00 2/96 17343
/proc/meminfo: memFree=906064/2074464 swapFree=1950760/1959888
[pid=17343] ppid=17341 vsize=2416 CPUtime=0.01
/proc/17343/stat : 17343 (SatELiteGTI) S 17341 17343 11066 0 -1 4194304 369 643 0 0 1 0 0 0 25 0 1 0 1016894126 2473984 277 4294967295 134512640 135169312 3216156288 3216154824 3085876974 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/17343/statm: 604 277 235 161 0 43 0
[pid=17347] ppid=17343 vsize=12524 CPUtime=0.11
/proc/17347/stat : 17347 (SatELite_releas) R 17343 17343 11066 0 -1 4202496 2633 0 0 0 8 3 0 0 25 0 1 0 1016894126 12824576 2568 4294967295 134512640 135223648 3218258016 3218256968 134737310 0 0 0 3 0 0 0 17 2 0 0 0
/proc/17347/statm: 3131 2568 47 174 0 2956 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 14940
[startup+0.31412 s]
/proc/loadavg: 1.00 1.00 1.00 2/96 17343
/proc/meminfo: memFree=906064/2074464 swapFree=1950760/1959888
[pid=17343] ppid=17341 vsize=2416 CPUtime=0.01
/proc/17343/stat : 17343 (SatELiteGTI) S 17341 17343 11066 0 -1 4194304 369 643 0 0 1 0 0 0 25 0 1 0 1016894126 2473984 277 4294967295 134512640 135169312 3216156288 3216154824 3085876974 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/17343/statm: 604 277 235 161 0 43 0
[pid=17347] ppid=17343 vsize=29580 CPUtime=0.31
/proc/17347/stat : 17347 (SatELite_releas) R 17343 17343 11066 0 -1 4202496 6931 0 0 0 27 4 0 0 25 0 1 0 1016894126 30289920 6866 4294967295 134512640 135223648 3218258016 3218256968 134737310 0 0 0 3 0 0 0 17 2 0 0 0
/proc/17347/statm: 7395 6867 47 174 0 7220 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 31996
[startup+0.714098 s]
/proc/loadavg: 1.00 1.00 1.00 2/96 17343
/proc/meminfo: memFree=906064/2074464 swapFree=1950760/1959888
[pid=17343] ppid=17341 vsize=2416 CPUtime=0.01
/proc/17343/stat : 17343 (SatELiteGTI) S 17341 17343 11066 0 -1 4194304 369 643 0 0 1 0 0 0 25 0 1 0 1016894126 2473984 277 4294967295 134512640 135169312 3216156288 3216154824 3085876974 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/17343/statm: 604 277 235 161 0 43 0
[pid=17347] ppid=17343 vsize=74040 CPUtime=0.71
/proc/17347/stat : 17347 (SatELite_releas) R 17343 17343 11066 0 -1 4202496 15841 0 0 0 61 10 0 0 25 0 1 0 1016894126 75816960 15776 4294967295 134512640 135223648 3218258016 3218256516 134718983 0 0 0 3 0 0 0 17 2 0 0 0
/proc/17347/statm: 18510 15776 47 174 0 18335 0
Current children cumulated CPU time (s) 0.72
Current children cumulated vsize (KiB) 76456
[startup+1.51405 s]
/proc/loadavg: 1.00 1.00 1.00 2/98 17348
/proc/meminfo: memFree=817024/2074464 swapFree=1950760/1959888
[pid=17343] ppid=17341 vsize=2416 CPUtime=0.01
/proc/17343/stat : 17343 (SatELiteGTI) S 17341 17343 11066 0 -1 4194304 369 643 0 0 1 0 0 0 25 0 1 0 1016894126 2473984 277 4294967295 134512640 135169312 3216156288 3216154824 3085876974 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/17343/statm: 604 277 235 161 0 43 0
[pid=17347] ppid=17343 vsize=157236 CPUtime=1.5
/proc/17347/stat : 17347 (SatELite_releas) R 17343 17343 11066 0 -1 4202496 31442 0 0 0 132 18 0 0 25 0 1 0 1016894126 161009664 31355 4294967295 134512640 135223648 3218258016 3218256512 134549042 0 0 0 3 0 0 0 17 2 0 0 0
/proc/17347/statm: 39309 31355 68 174 0 39134 0
Current children cumulated CPU time (s) 1.51
Current children cumulated vsize (KiB) 159652
[startup+3.11396 s]
/proc/loadavg: 1.00 1.00 1.00 2/98 17348
/proc/meminfo: memFree=780568/2074464 swapFree=1950760/1959888
[pid=17343] ppid=17341 vsize=2416 CPUtime=0.01
/proc/17343/stat : 17343 (SatELiteGTI) S 17341 17343 11066 0 -1 4194304 369 643 0 0 1 0 0 0 25 0 1 0 1016894126 2473984 277 4294967295 134512640 135169312 3216156288 3216154824 3085876974 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/17343/statm: 604 277 235 161 0 43 0
[pid=17347] ppid=17343 vsize=157748 CPUtime=3.1
/proc/17347/stat : 17347 (SatELite_releas) R 17343 17343 11066 0 -1 4202496 31541 0 0 0 292 18 0 0 25 0 1 0 1016894126 161533952 31454 4294967295 134512640 135223648 3218258016 3218256512 134549049 0 0 0 3 0 0 0 17 2 0 0 0
/proc/17347/statm: 39437 31454 68 174 0 39262 0
Current children cumulated CPU time (s) 3.11
Current children cumulated vsize (KiB) 160164
[startup+6.31379 s]
/proc/loadavg: 1.00 1.00 1.00 2/98 17348
/proc/meminfo: memFree=767332/2074464 swapFree=1950760/1959888
[pid=17343] ppid=17341 vsize=2416 CPUtime=0.01
/proc/17343/stat : 17343 (SatELiteGTI) S 17341 17343 11066 0 -1 4194304 369 643 0 0 1 0 0 0 25 0 1 0 1016894126 2473984 277 4294967295 134512640 135169312 3216156288 3216154824 3085876974 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/17343/statm: 604 277 235 161 0 43 0
[pid=17347] ppid=17343 vsize=171960 CPUtime=6.3
/proc/17347/stat : 17347 (SatELite_releas) R 17343 17343 11066 0 -1 4202496 38239 0 0 0 603 27 0 0 25 0 1 0 1016894126 176087040 34518 4294967295 134512640 135223648 3218258016 3218255792 134585461 0 0 0 3 0 0 0 17 2 0 0 0
/proc/17347/statm: 42990 34518 73 174 0 42815 0
Current children cumulated CPU time (s) 6.31
Current children cumulated vsize (KiB) 174376
[startup+12.7134 s]
/proc/loadavg: 1.00 1.00 1.00 3/98 17348
/proc/meminfo: memFree=724584/2074464 swapFree=1950760/1959888
[pid=17343] ppid=17341 vsize=2416 CPUtime=0.01
/proc/17343/stat : 17343 (SatELiteGTI) S 17341 17343 11066 0 -1 4194304 369 643 0 0 1 0 0 0 25 0 1 0 1016894126 2473984 277 4294967295 134512640 135169312 3216156288 3216154824 3085876974 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/17343/statm: 604 277 235 161 0 43 0
[pid=17347] ppid=17343 vsize=196664 CPUtime=12.68
/proc/17347/stat : 17347 (SatELite_releas) R 17343 17343 11066 0 -1 4202496 44882 0 0 0 1238 30 0 0 25 0 1 0 1016894126 201383936 40861 4294967295 134512640 135223648 3218258016 3218256112 134585544 0 0 0 3 0 0 0 17 2 0 0 0
/proc/17347/statm: 49166 40861 73 174 0 48991 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 199080
[startup+25.5127 s]
/proc/loadavg: 1.00 1.00 1.00 3/98 17351
/proc/meminfo: memFree=724640/2074464 swapFree=1950760/1959888
[pid=17343] ppid=17341 vsize=2416 CPUtime=0.01
/proc/17343/stat : 17343 (SatELiteGTI) S 17341 17343 11066 0 -1 4194304 369 643 0 0 1 0 0 0 25 0 1 0 1016894126 2473984 277 4294967295 134512640 135169312 3216156288 3216154824 3085876974 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/17343/statm: 604 277 235 161 0 43 0
[pid=17347] ppid=17343 vsize=196920 CPUtime=25.48
/proc/17347/stat : 17347 (SatELite_releas) R 17343 17343 11066 0 -1 4202496 44951 0 0 0 2517 31 0 0 25 0 1 0 1016894126 201646080 40930 4294967295 134512640 135223648 3218258016 3218256032 134548337 0 0 0 3 0 0 0 17 2 0 0 0
/proc/17347/statm: 49230 40930 73 174 0 49055 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 199336
[startup+51.1113 s]
/proc/loadavg: 1.00 1.00 1.00 2/98 17542
/proc/meminfo: memFree=855520/2074464 swapFree=1950760/1959888
[pid=17343] ppid=17341 vsize=2420 CPUtime=47.01
/proc/17343/stat : 17343 (SatELiteGTI) S 17341 17343 11066 0 -1 4194304 387 50369 0 0 1 0 4665 35 18 0 1 0 1016894126 2478080 278 4294967295 134512640 135169312 3216156288 3216152504 3085876974 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/17343/statm: 605 278 235 161 0 44 0
[pid=17537] ppid=17343 vsize=22024 CPUtime=4.07
/proc/17537/stat : 17537 (minisat_static) R 17343 17343 11066 0 -1 4202496 5373 0 0 0 398 9 0 0 25 0 1 0 1016898831 22552576 5308 4294967295 134512640 135215339 3221107584 3221105872 134528806 0 0 0 3 0 0 0 17 1 0 0 0
/proc/17537/statm: 5506 5308 73 172 0 5333 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 24444
[startup+102.318 s]
/proc/loadavg: 1.00 1.00 1.00 3/98 17728
/proc/meminfo: memFree=837004/2074464 swapFree=1950760/1959888
[pid=17343] ppid=17341 vsize=2420 CPUtime=47.01
/proc/17343/stat : 17343 (SatELiteGTI) S 17341 17343 11066 0 -1 4194304 387 50369 0 0 1 0 4665 35 18 0 1 0 1016894126 2478080 278 4294967295 134512640 135169312 3216156288 3216152504 3085876974 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/17343/statm: 605 278 235 161 0 44 0
[pid=17537] ppid=17343 vsize=39972 CPUtime=55.28
/proc/17537/stat : 17537 (minisat_static) R 17343 17343 11066 0 -1 4202496 9822 0 0 0 5510 18 0 0 25 0 1 0 1016898831 40931328 9757 4294967295 134512640 135215339 3221107584 3221105872 134528863 0 0 0 3 0 0 0 17 1 0 0 0
/proc/17537/statm: 9993 9757 73 172 0 9820 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 42392
[startup+162.315 s]
/proc/loadavg: 1.00 1.00 1.00 2/98 17914
/proc/meminfo: memFree=826200/2074464 swapFree=1950760/1959888
[pid=17343] ppid=17341 vsize=2420 CPUtime=47.01
/proc/17343/stat : 17343 (SatELiteGTI) S 17341 17343 11066 0 -1 4194304 387 50369 0 0 1 0 4665 35 18 0 1 0 1016894126 2478080 278 4294967295 134512640 135169312 3216156288 3216152504 3085876974 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/17343/statm: 605 278 235 161 0 44 0
[pid=17537] ppid=17343 vsize=50904 CPUtime=115.28
/proc/17537/stat : 17537 (minisat_static) R 17343 17343 11066 0 -1 4202496 12529 0 0 0 11508 20 0 0 25 0 1 0 1016898831 52125696 12464 4294967295 134512640 135215339 3221107584 3221105872 134528682 0 0 0 3 0 0 0 17 1 0 0 0
/proc/17537/statm: 12726 12464 73 172 0 12553 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 53324
[startup+222.312 s]
/proc/loadavg: 1.00 1.00 1.00 2/98 18103
/proc/meminfo: memFree=815428/2074464 swapFree=1950760/1959888
[pid=17343] ppid=17341 vsize=2420 CPUtime=47.01
/proc/17343/stat : 17343 (SatELiteGTI) S 17341 17343 11066 0 -1 4194304 387 50369 0 0 1 0 4665 35 18 0 1 0 1016894126 2478080 278 4294967295 134512640 135169312 3216156288 3216152504 3085876974 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/17343/statm: 605 278 235 161 0 44 0
[pid=17537] ppid=17343 vsize=61812 CPUtime=175.28
/proc/17537/stat : 17537 (minisat_static) R 17343 17343 11066 0 -1 4202496 15192 0 0 0 17506 22 0 0 25 0 1 0 1016898831 63295488 15127 4294967295 134512640 135215339 3221107584 3221105872 134528682 0 0 0 3 0 0 0 17 1 0 0 0
/proc/17537/statm: 15453 15127 73 172 0 15280 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 64232
[startup+282.308 s]
/proc/loadavg: 1.00 1.00 1.00 2/98 18292
/proc/meminfo: memFree=806524/2074464 swapFree=1950760/1959888
[pid=17343] ppid=17341 vsize=2420 CPUtime=47.01
/proc/17343/stat : 17343 (SatELiteGTI) S 17341 17343 11066 0 -1 4194304 387 50369 0 0 1 0 4665 35 18 0 1 0 1016894126 2478080 278 4294967295 134512640 135169312 3216156288 3216152504 3085876974 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/17343/statm: 605 278 235 161 0 44 0
[pid=17537] ppid=17343 vsize=70556 CPUtime=235.28
/proc/17537/stat : 17537 (minisat_static) R 17343 17343 11066 0 -1 4202496 17417 0 0 0 23503 25 0 0 25 0 1 0 1016898831 72249344 17352 4294967295 134512640 135215339 3221107584 3221105872 134528682 0 0 0 3 0 0 0 17 1 0 0 0
/proc/17537/statm: 17639 17352 73 172 0 17466 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 72976
[startup+342.305 s]
/proc/loadavg: 1.00 1.00 1.00 3/98 18481
/proc/meminfo: memFree=799828/2074464 swapFree=1950760/1959888
[pid=17343] ppid=17341 vsize=2420 CPUtime=47.01
/proc/17343/stat : 17343 (SatELiteGTI) S 17341 17343 11066 0 -1 4194304 387 50369 0 0 1 0 4665 35 18 0 1 0 1016894126 2478080 278 4294967295 134512640 135169312 3216156288 3216152504 3085876974 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/17343/statm: 605 278 235 161 0 44 0
[pid=17537] ppid=17343 vsize=77864 CPUtime=295.28
/proc/17537/stat : 17537 (minisat_static) R 17343 17343 11066 0 -1 4202496 19085 0 0 0 29502 26 0 0 25 0 1 0 1016898831 79732736 19020 4294967295 134512640 135215339 3221107584 3221105872 134528682 0 0 0 3 0 0 0 17 1 0 0 0
/proc/17537/statm: 19466 19020 73 172 0 19293 0
Current children cumulated CPU time (s) 342.29
################
# More data... #
################
[pid=17537] ppid=17343 vsize=90196 CPUtime=415.29
/proc/17537/stat : 17537 (minisat_static) R 17343 17343 11066 0 -1 4202496 22254 0 0 0 41500 29 0 0 25 0 1 0 1016898831 92360704 22189 4294967295 134512640 135215339 3221107584 3221105872 134528700 0 0 0 3 0 0 0 17 1 0 0 0
/proc/17537/statm: 22549 22189 73 172 0 22376 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 92616
[startup+522.315 s]
/proc/loadavg: 1.00 1.00 1.00 3/98 19048
/proc/meminfo: memFree=780856/2074464 swapFree=1950760/1959888
[pid=17343] ppid=17341 vsize=2420 CPUtime=47.01
/proc/17343/stat : 17343 (SatELiteGTI) S 17341 17343 11066 0 -1 4194304 387 50369 0 0 1 0 4665 35 18 0 1 0 1016894126 2478080 278 4294967295 134512640 135169312 3216156288 3216152504 3085876974 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/17343/statm: 605 278 235 161 0 44 0
[pid=17537] ppid=17343 vsize=96248 CPUtime=475.3
/proc/17537/stat : 17537 (minisat_static) R 17343 17343 11066 0 -1 4202496 23790 0 0 0 47500 30 0 0 25 0 1 0 1016898831 98557952 23725 4294967295 134512640 135215339 3221107584 3221105872 134528691 0 0 0 3 0 0 0 17 1 0 0 0
/proc/17537/statm: 24062 23725 73 172 0 23889 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 98668
[startup+582.312 s]
/proc/loadavg: 1.00 1.00 1.00 3/98 19237
/proc/meminfo: memFree=775772/2074464 swapFree=1950760/1959888
[pid=17343] ppid=17341 vsize=2420 CPUtime=47.01
/proc/17343/stat : 17343 (SatELiteGTI) S 17341 17343 11066 0 -1 4194304 387 50369 0 0 1 0 4665 35 18 0 1 0 1016894126 2478080 278 4294967295 134512640 135169312 3216156288 3216152504 3085876974 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/17343/statm: 605 278 235 161 0 44 0
[pid=17537] ppid=17343 vsize=100996 CPUtime=535.3
/proc/17537/stat : 17537 (minisat_static) R 17343 17343 11066 0 -1 4202496 25019 0 0 0 53500 30 0 0 25 0 1 0 1016898831 103419904 24954 4294967295 134512640 135215339 3221107584 3221105872 134528682 0 0 0 3 0 0 0 17 1 0 0 0
/proc/17537/statm: 25249 24954 73 172 0 25076 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 103416
[startup+642.308 s]
/proc/loadavg: 1.00 1.00 1.00 3/98 19424
/proc/meminfo: memFree=771160/2074464 swapFree=1950760/1959888
[pid=17343] ppid=17341 vsize=2420 CPUtime=47.01
/proc/17343/stat : 17343 (SatELiteGTI) S 17341 17343 11066 0 -1 4194304 387 50369 0 0 1 0 4665 35 18 0 1 0 1016894126 2478080 278 4294967295 134512640 135169312 3216156288 3216152504 3085876974 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/17343/statm: 605 278 235 161 0 44 0
[pid=17537] ppid=17343 vsize=106932 CPUtime=595.3
/proc/17537/stat : 17537 (minisat_static) R 17343 17343 11066 0 -1 4202496 26163 0 0 0 59498 32 0 0 25 0 1 0 1016898831 109498368 26098 4294967295 134512640 135215339 3221107584 3221105872 134528691 0 0 0 3 0 0 0 17 1 0 0 0
/proc/17537/statm: 26733 26098 73 172 0 26560 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 109352
[startup+702.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/98 19612
/proc/meminfo: memFree=766340/2074464 swapFree=1950760/1959888
[pid=17343] ppid=17341 vsize=2420 CPUtime=47.01
/proc/17343/stat : 17343 (SatELiteGTI) S 17341 17343 11066 0 -1 4194304 387 50369 0 0 1 0 4665 35 18 0 1 0 1016894126 2478080 278 4294967295 134512640 135169312 3216156288 3216152504 3085876974 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/17343/statm: 605 278 235 161 0 44 0
[pid=17537] ppid=17343 vsize=111636 CPUtime=655.3
/proc/17537/stat : 17537 (minisat_static) R 17343 17343 11066 0 -1 4202496 27351 0 0 0 65498 32 0 0 25 0 1 0 1016898831 114315264 27286 4294967295 134512640 135215339 3221107584 3221105872 134528682 0 0 0 3 0 0 0 17 1 0 0 0
/proc/17537/statm: 27909 27286 73 172 0 27736 0
Current children cumulated CPU time (s) 702.31
Current children cumulated vsize (KiB) 114056
[startup+762.312 s]
/proc/loadavg: 1.00 1.00 1.00 3/98 19798
/proc/meminfo: memFree=762984/2074464 swapFree=1950760/1959888
[pid=17343] ppid=17341 vsize=2420 CPUtime=47.01
/proc/17343/stat : 17343 (SatELiteGTI) S 17341 17343 11066 0 -1 4194304 387 50369 0 0 1 0 4665 35 18 0 1 0 1016894126 2478080 278 4294967295 134512640 135169312 3216156288 3216152504 3085876974 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/17343/statm: 605 278 235 161 0 44 0
[pid=17537] ppid=17343 vsize=114844 CPUtime=715.31
/proc/17537/stat : 17537 (minisat_static) R 17343 17343 11066 0 -1 4202496 28196 0 0 0 71499 32 0 0 25 0 1 0 1016898831 117600256 28131 4294967295 134512640 135215339 3221107584 3221105872 134528682 0 0 0 3 0 0 0 17 1 0 0 0
/proc/17537/statm: 28711 28131 73 172 0 28538 0
Current children cumulated CPU time (s) 762.32
Current children cumulated vsize (KiB) 117264
[startup+822.309 s]
/proc/loadavg: 1.00 1.00 1.00 3/98 19991
/proc/meminfo: memFree=758784/2074464 swapFree=1950760/1959888
[pid=17343] ppid=17341 vsize=2420 CPUtime=47.01
/proc/17343/stat : 17343 (SatELiteGTI) S 17341 17343 11066 0 -1 4194304 387 50369 0 0 1 0 4665 35 18 0 1 0 1016894126 2478080 278 4294967295 134512640 135169312 3216156288 3216152504 3085876974 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/17343/statm: 605 278 235 161 0 44 0
[pid=17537] ppid=17343 vsize=119420 CPUtime=775.31
/proc/17537/stat : 17537 (minisat_static) R 17343 17343 11066 0 -1 4202496 29332 0 0 0 77499 32 0 0 25 0 1 0 1016898831 122286080 29267 4294967295 134512640 135215339 3221107584 3221105872 134528682 0 0 0 3 0 0 0 17 1 0 0 0
/proc/17537/statm: 29855 29267 73 172 0 29682 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 121840
[startup+882.325 s]
/proc/loadavg: 1.15 1.04 1.01 2/98 20183
/proc/meminfo: memFree=754460/2074464 swapFree=1950760/1959888
[pid=17343] ppid=17341 vsize=2420 CPUtime=47.01
/proc/17343/stat : 17343 (SatELiteGTI) S 17341 17343 11066 0 -1 4194304 387 50369 0 0 1 0 4665 35 18 0 1 0 1016894126 2478080 278 4294967295 134512640 135169312 3216156288 3216152504 3085876974 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/17343/statm: 605 278 235 161 0 44 0
[pid=17537] ppid=17343 vsize=123332 CPUtime=835.33
/proc/17537/stat : 17537 (minisat_static) R 17343 17343 11066 0 -1 4202496 30351 0 0 0 83501 32 0 0 25 0 1 0 1016898831 126291968 30286 4294967295 134512640 135215339 3221107584 3221105872 134528682 0 0 0 3 0 0 0 17 1 0 0 0
/proc/17537/statm: 30833 30286 73 172 0 30660 0
Current children cumulated CPU time (s) 882.34
Current children cumulated vsize (KiB) 125752
[startup+942.322 s]
/proc/loadavg: 1.16 1.06 1.02 3/98 20370
/proc/meminfo: memFree=750600/2074464 swapFree=1950760/1959888
[pid=17343] ppid=17341 vsize=2420 CPUtime=47.01
/proc/17343/stat : 17343 (SatELiteGTI) S 17341 17343 11066 0 -1 4194304 387 50369 0 0 1 0 4665 35 18 0 1 0 1016894126 2478080 278 4294967295 134512640 135169312 3216156288 3216152504 3085876974 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/17343/statm: 605 278 235 161 0 44 0
[pid=17537] ppid=17343 vsize=127284 CPUtime=895.33
/proc/17537/stat : 17537 (minisat_static) R 17343 17343 11066 0 -1 4202496 31352 0 0 0 89500 33 0 0 25 0 1 0 1016898831 130338816 31287 4294967295 134512640 135215339 3221107584 3221105872 134528682 0 0 0 3 0 0 0 17 1 0 0 0
/proc/17537/statm: 31821 31287 73 172 0 31648 0
Current children cumulated CPU time (s) 942.34
Current children cumulated vsize (KiB) 129704
[startup+1002.32 s]
/proc/loadavg: 1.18 1.08 1.02 3/98 20558
/proc/meminfo: memFree=747748/2074464 swapFree=1950760/1959888
[pid=17343] ppid=17341 vsize=2420 CPUtime=47.01
/proc/17343/stat : 17343 (SatELiteGTI) S 17341 17343 11066 0 -1 4194304 387 50369 0 0 1 0 4665 35 18 0 1 0 1016894126 2478080 278 4294967295 134512640 135169312 3216156288 3216152504 3085876974 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/17343/statm: 605 278 235 161 0 44 0
[pid=17537] ppid=17343 vsize=129768 CPUtime=955.33
/proc/17537/stat : 17537 (minisat_static) R 17343 17343 11066 0 -1 4202496 32012 0 0 0 95499 34 0 0 25 0 1 0 1016898831 132882432 31947 4294967295 134512640 135215339 3221107584 3221105872 134528682 0 0 0 3 0 0 0 17 1 0 0 0
/proc/17537/statm: 32442 31947 73 172 0 32269 0
Current children cumulated CPU time (s) 1002.34
Current children cumulated vsize (KiB) 132188
[startup+1062.32 s]
/proc/loadavg: 1.28 1.13 1.04 2/98 20744
/proc/meminfo: memFree=743796/2074464 swapFree=1950760/1959888
[pid=17343] ppid=17341 vsize=2420 CPUtime=47.01
/proc/17343/stat : 17343 (SatELiteGTI) S 17341 17343 11066 0 -1 4194304 387 50369 0 0 1 0 4665 35 18 0 1 0 1016894126 2478080 278 4294967295 134512640 135169312 3216156288 3216152504 3085876974 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/17343/statm: 605 278 235 161 0 44 0
[pid=17537] ppid=17343 vsize=133644 CPUtime=1015.33
/proc/17537/stat : 17537 (minisat_static) R 17343 17343 11066 0 -1 4202496 33002 0 0 0 101499 34 0 0 25 0 1 0 1016898831 136851456 32937 4294967295 134512640 135215339 3221107584 3221105872 134528682 0 0 0 3 0 0 0 17 1 0 0 0
/proc/17537/statm: 33411 32937 73 172 0 33238 0
Current children cumulated CPU time (s) 1062.34
Current children cumulated vsize (KiB) 136064
[startup+1122.32 s]
/proc/loadavg: 1.16 1.12 1.04 3/98 20933
/proc/meminfo: memFree=739680/2074464 swapFree=1950760/1959888
[pid=17343] ppid=17341 vsize=2420 CPUtime=47.01
/proc/17343/stat : 17343 (SatELiteGTI) S 17341 17343 11066 0 -1 4194304 387 50369 0 0 1 0 4665 35 18 0 1 0 1016894126 2478080 278 4294967295 134512640 135169312 3216156288 3216152504 3085876974 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/17343/statm: 605 278 235 161 0 44 0
[pid=17537] ppid=17343 vsize=137808 CPUtime=1075.34
/proc/17537/stat : 17537 (minisat_static) R 17343 17343 11066 0 -1 4202496 34064 0 0 0 107500 34 0 0 25 0 1 0 1016898831 141115392 33999 4294967295 134512640 135215339 3221107584 3221105872 134528682 0 0 0 3 0 0 0 17 1 0 0 0
/proc/17537/statm: 34452 33999 73 172 0 34279 0
Current children cumulated CPU time (s) 1122.35
Current children cumulated vsize (KiB) 140228
[startup+1182.32 s]
/proc/loadavg: 1.06 1.09 1.03 3/98 21126
/proc/meminfo: memFree=736084/2074464 swapFree=1950760/1959888
[pid=17343] ppid=17341 vsize=2420 CPUtime=47.01
/proc/17343/stat : 17343 (SatELiteGTI) S 17341 17343 11066 0 -1 4194304 387 50369 0 0 1 0 4665 35 18 0 1 0 1016894126 2478080 278 4294967295 134512640 135169312 3216156288 3216152504 3085876974 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/17343/statm: 605 278 235 161 0 44 0
[pid=17537] ppid=17343 vsize=141032 CPUtime=1135.34
/proc/17537/stat : 17537 (minisat_static) R 17343 17343 11066 0 -1 4202496 34873 0 0 0 113500 34 0 0 25 0 1 0 1016898831 144416768 34808 4294967295 134512640 135215339 3221107584 3221105872 134528682 0 0 0 3 0 0 0 17 1 0 0 0
/proc/17537/statm: 35258 34808 73 172 0 35085 0
Current children cumulated CPU time (s) 1182.35
Current children cumulated vsize (KiB) 143452
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.02 s]
/proc/loadavg: 1.04 1.08 1.03 3/98 21126
/proc/meminfo: memFree=734724/2074464 swapFree=1950760/1959888
[pid=17343] ppid=17341 vsize=2420 CPUtime=47.01
/proc/17343/stat : 17343 (SatELiteGTI) S 17341 17343 11066 0 -1 4194304 387 50369 0 0 1 0 4665 35 18 0 1 0 1016894126 2478080 278 4294967295 134512640 135169312 3216156288 3216152504 3085876974 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/17343/statm: 605 278 235 161 0 44 0
[pid=17537] ppid=17343 vsize=142468 CPUtime=1153.04
/proc/17537/stat : 17537 (minisat_static) R 17343 17343 11066 0 -1 4202496 35244 0 0 0 115269 35 0 0 25 0 1 0 1016898831 145887232 35179 4294967295 134512640 135215339 3221107584 3221105872 134528682 0 0 0 3 0 0 0 17 1 0 0 0
/proc/17537/statm: 35617 35179 73 172 0 35444 0
Current children cumulated CPU time (s) 1200.05
Current children cumulated vsize (KiB) 144888
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.05
CPU time (s): 1200.06
CPU user time (s): 1199.35
CPU system time (s): 0.71
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 210744
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.35
system time used= 0.71
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 86091
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= 20
involuntary context switches= 1660
runsolver used 0 second user time and 0.02 second system time
The end
Begin job on tipi23 at 2009-05-17 03:32:36
IDJOB=1821400
IDBENCH=70950
IDSOLVER=657
FILE ID=tipi23/1821400-1242523956
PBS_JOBID=
Free space on /tmp= 8782 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/APPLICATIONS/c32sat/post-cbmc-aes-ee-r2-noholes.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1821400-1242523956/watcher-1821400-1242523956 -o /tmp/evaluation-result-1821400-1242523956/solver-1821400-1242523956 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1821400-1242523956.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 4c8b9603e0c90cfb3c82064eae956799
RANDOM SEED= 1312026149
Linux tipi23 2.6.18 #19 SMP Tue Jun 19 11:27:27 CEST 2007 i686 GNU/Linux
/proc/cpuinfo:
processor : 0
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.377
cache size : 1024 KB
physical id : 0
siblings : 2
core id : 0
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3618.38
processor : 1
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.377
cache size : 1024 KB
physical id : 0
siblings : 2
core id : 1
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.78
processor : 2
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.377
cache size : 1024 KB
physical id : 1
siblings : 2
core id : 0
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.79
processor : 3
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.377
cache size : 1024 KB
physical id : 1
siblings : 2
core id : 1
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.78
/proc/meminfo:
MemTotal: 2074464 kB
MemFree: 905948 kB
Buffers: 34572 kB
Cached: 1031444 kB
SwapCached: 3660 kB
Active: 508344 kB
Inactive: 569504 kB
HighTotal: 1178688 kB
HighFree: 270168 kB
LowTotal: 895776 kB
LowFree: 635780 kB
SwapTotal: 1959888 kB
SwapFree: 1950760 kB
Dirty: 34476 kB
Writeback: 0 kB
AnonPages: 11096 kB
Mapped: 4444 kB
Slab: 82600 kB
PageTables: 744 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 2997120 kB
Committed_AS: 96896 kB
VmallocTotal: 114680 kB
VmallocUsed: 1324 kB
VmallocChunk: 113264 kB
Free space on /tmp at the end= 8782 MiB
End job on tipi23 at 2009-05-17 03:52:41