0.00/0.00 c Parsing...
1.08/1.15 c ==============================================================================
1.08/1.15 c | | ORIGINAL | LEARNT | |
1.08/1.15 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
1.08/1.15 c ==============================================================================
1.08/1.15 c | 0 | 1328859 3634310 | 398657 0 0 nan | 0.000 % |
43.47/43.52 c | 0 | 253406 1804413 | -- 0 -- -- | -- | -752995/-922075
43.47/43.53 c ==============================================================================
43.47/43.53 c Result : #vars: 4366 #clauses: 253406 #literals: 1804413
43.47/43.53 c CPU time: 43.1254 s
43.47/43.53 c ==============================================================================
44.07/44.16 c This is MiniSat 2.0 beta
44.07/44.16 c WARNING: for repeatability, setting FPU to use double precision
44.07/44.16 c ============================[ Problem Statistics ]=============================
44.07/44.16 c | |
44.07/44.16 c | Number of variables: 4366 |
44.07/44.16 c | Number of clauses: 253406 |
44.13/44.37 c | Parsing time: 0.20 s |
44.13/44.39 c ============================[ Search Statistics ]==============================
44.13/44.39 c | Conflicts | ORIGINAL | LEARNT | Progress |
44.13/44.39 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
44.13/44.39 c ===============================================================================
44.13/44.39 c | 0 | 4366 253406 1804413 | 84468 0 nan | 0.000 % |
44.13/44.40 c | 100 | 4366 253406 1804413 | 84468 100 8 | 0.000 % |
44.13/44.41 c | 201 | 4366 253406 1804413 | 84468 201 8 | 0.000 % |
44.13/44.42 c | 302 | 4366 253406 1804413 | 84468 302 8 | 0.000 % |
44.13/44.43 c | 413 | 4366 253406 1804413 | 84468 413 8 | 0.000 % |
44.13/44.45 c | 513 | 4366 253406 1804413 | 84468 513 8 | 0.000 % |
44.13/44.46 c | 625 | 4366 253406 1804413 | 84468 625 8 | 0.000 % |
44.13/44.48 c | 746 | 4366 253406 1804413 | 84468 746 8 | 0.000 % |
44.13/44.50 c | 846 | 4366 253406 1804413 | 84468 846 8 | 0.000 % |
44.13/44.52 c | 956 | 4366 253406 1804413 | 84468 956 8 | 0.000 % |
44.13/44.55 c | 1077 | 4366 253406 1804413 | 84468 1077 8 | 0.000 % |
44.13/44.57 c | 1211 | 4366 253406 1804413 | 84468 1211 9 | 0.000 % |
44.13/44.59 c | 1311 | 4366 253406 1804413 | 84468 1311 9 | 0.000 % |
44.13/44.61 c | 1421 | 4366 253406 1804413 | 84468 1421 9 | 0.000 % |
44.13/44.63 c | 1542 | 4366 253406 1804413 | 84468 1542 9 | 0.000 % |
44.13/44.67 c | 1675 | 4366 253406 1804413 | 84468 1675 9 | 0.000 % |
44.13/44.70 c | 1822 | 4366 253406 1804413 | 84468 1822 9 | 0.000 % |
44.13/44.72 c | 1923 | 4366 253406 1804413 | 84468 1923 9 | 0.000 % |
44.13/44.73 c | 2033 | 4366 253406 1804413 | 84468 2033 9 | 0.000 % |
44.13/44.76 c | 2155 | 4366 253406 1804413 | 84468 2155 9 | 0.000 % |
44.13/44.78 c | 2290 | 4366 253406 1804413 | 84468 2290 9 | 0.000 % |
44.13/44.79 c | 2436 | 4366 253406 1804413 | 84468 2436 9 | 0.000 % |
44.13/44.81 c | 2597 | 4366 253406 1804413 | 84468 2597 9 | 0.000 % |
44.13/44.84 c | 2697 | 4366 253406 1804413 | 84468 2697 9 | 0.000 % |
44.13/44.86 c | 2807 | 4366 253406 1804413 | 84468 2807 9 | 0.000 % |
44.13/44.86 c | 2928 | 4366 253406 1804413 | 84468 2928 9 | 0.000 % |
44.13/44.89 c | 3061 | 4366 253406 1804413 | 84468 3061 9 | 0.000 % |
44.13/44.91 c | 3207 | 4366 253406 1804413 | 84468 3207 9 | 0.000 % |
44.13/44.95 c | 3367 | 4366 253406 1804413 | 84468 3367 10 | 0.000 % |
44.13/44.98 c | 3543 | 4366 253406 1804413 | 84468 3543 10 | 0.000 % |
44.96/45.00 c | 3643 | 4365 253406 1804413 | 84468 3642 10 | 0.023 % |
44.96/45.02 c | 3754 | 4365 253406 1804413 | 84468 3753 10 | 0.023 % |
44.96/45.03 c | 3875 | 4365 253406 1804413 | 84468 3874 10 | 0.023 % |
44.96/45.05 c | 4008 | 4365 253406 1804413 | 84468 4007 10 | 0.023 % |
44.96/45.07 c | 4155 | 4365 253406 1804413 | 84468 4154 10 | 0.023 % |
44.96/45.09 c | 4315 | 4365 253406 1804413 | 84468 4314 10 | 0.023 % |
45.06/45.12 c | 4491 | 4365 253406 1804413 | 84468 4490 10 | 0.023 % |
45.06/45.14 c | 4684 | 4365 253406 1804413 | 84468 4683 10 | 0.023 % |
45.06/45.16 c | 4784 | 4365 253406 1804413 | 84468 4783 10 | 0.023 % |
45.06/45.18 c | 4895 | 4365 253406 1804413 | 84468 4894 10 | 0.023 % |
45.15/45.20 c | 5016 | 4365 253406 1804413 | 84468 5015 10 | 0.023 % |
45.15/45.24 c | 5149 | 4364 253406 1804413 | 84468 5147 10 | 0.046 % |
45.15/45.26 c | 5297 | 4364 253406 1804413 | 84468 5295 10 | 0.046 % |
45.15/45.28 c | 5459 | 4364 253406 1804413 | 84468 5457 10 | 0.046 % |
45.15/45.30 c | 5635 | 4364 253406 1804413 | 84468 5633 10 | 0.046 % |
45.25/45.32 c | 5828 | 4364 253406 1804413 | 84468 5826 10 | 0.046 % |
45.25/45.35 c | 6041 | 4364 253406 1804413 | 84468 6039 10 | 0.046 % |
45.25/45.37 c | 6141 | 4364 253406 1804413 | 84468 6139 10 | 0.046 % |
45.25/45.39 c | 6252 | 4364 253406 1804413 | 84468 6250 10 | 0.046 % |
45.35/45.40 c | 6373 | 4364 253406 1804413 | 84468 6371 10 | 0.046 % |
45.35/45.44 c | 6506 | 4364 253406 1804413 | 84468 6504 11 | 0.046 % |
45.35/45.46 c | 6653 | 4363 253406 1804413 | 84468 6650 11 | 0.069 % |
45.35/45.49 c | 6813 | 4363 253406 1804413 | 84468 6810 11 | 0.069 % |
45.45/45.52 c | 6991 | 4363 253406 1804413 | 84468 6988 11 | 0.069 % |
45.45/45.55 c | 7184 | 4363 253406 1804413 | 84468 7181 11 | 0.069 % |
45.45/45.58 c | 7396 | 4363 253406 1804413 | 84468 7393 11 | 0.069 % |
45.55/45.63 c | 7630 | 4363 253406 1804413 | 84468 7627 11 | 0.069 % |
45.55/45.65 c | 7730 | 4363 253406 1804413 | 84468 7727 11 | 0.069 % |
45.55/45.67 c | 7840 | 4363 253406 1804413 | 84468 7837 11 | 0.069 % |
45.55/45.69 c | 7961 | 4363 253406 1804413 | 84468 7958 11 | 0.069 % |
45.65/45.71 c | 8094 | 4363 253406 1804413 | 84468 8091 11 | 0.069 % |
45.65/45.74 c | 8240 | 4363 253406 1804413 | 84468 8237 11 | 0.069 % |
45.65/45.76 c | 8400 | 4363 253406 1804413 | 84468 8397 11 | 0.069 % |
45.75/45.81 c | 8576 | 4363 253406 1804413 | 84468 8573 11 | 0.069 % |
45.75/45.83 c | 8770 | 4363 253406 1804413 | 84468 8767 11 | 0.069 % |
45.75/45.85 c | 8982 | 4363 253406 1804413 | 84468 8979 11 | 0.069 % |
45.75/45.87 c | 9216 | 4363 253406 1804413 | 84468 9213 11 | 0.069 % |
45.75/45.90 c | 9473 | 4363 253406 1804413 | 84468 9470 11 | 0.069 % |
45.85/45.91 c | 9575 | 4363 253406 1804413 | 84468 9572 11 | 0.069 % |
45.85/45.94 c | 9685 | 4363 253406 1804413 | 84468 9682 11 | 0.069 % |
45.85/45.95 c | 9806 | 4363 253406 1804413 | 84468 9803 11 | 0.069 % |
45.85/45.97 c | 9939 | 4363 253406 1804413 | 84468 9936 11 | 0.069 % |
45.85/46.00 c | 10086 | 4363 253406 1804413 | 2147483647 10083 11 | 0.069 % |
45.95/46.03 c | 10246 | 4363 253406 1804413 | 2147483647 10243 11 | 0.069 % |
45.95/46.07 c | 10422 | 4363 253406 1804413 | 2147483647 10419 11 | 0.069 % |
45.95/46.10 c | 10616 | 4363 253406 1804413 | 2147483647 10613 12 | 0.069 % |
46.05/46.13 c | 10828 | 4363 253406 1804413 | 2147483647 10825 12 | 0.069 % |
46.05/46.16 c | 11061 | 4363 253406 1804413 | 2147483647 11058 12 | 0.069 % |
46.15/46.21 c | 11318 | 4363 253406 1804413 | 2147483647 11315 12 | 0.069 % |
46.15/46.25 c | 11599 | 4362 253406 1804413 | 2147483647 11595 12 | 0.092 % |
46.15/46.28 c | 11700 | 4362 253406 1804413 | 2147483647 11696 12 | 0.092 % |
46.15/46.29 c | 11810 | 4362 253406 1804413 | 2147483647 11806 12 | 0.092 % |
46.25/46.30 c | 11931 | 4362 253406 1804413 | 2147483647 11927 12 | 0.092 % |
46.25/46.32 c | 12065 | 4362 253406 1804413 | 2147483647 12061 12 | 0.092 % |
46.25/46.33 c | 12213 | 4362 253406 1804413 | 2147483647 12209 12 | 0.092 % |
46.25/46.35 c | 12373 | 4362 253406 1804413 | 2147483647 12369 12 | 0.092 % |
46.25/46.37 c | 12549 | 4362 253406 1804413 | 2147483647 12545 12 | 0.092 % |
46.25/46.39 c | 12743 | 4362 253406 1804413 | 2147483647 12739 12 | 0.092 % |
46.35/46.44 c | 12955 | 4362 253406 1804413 | 2147483647 12951 12 | 0.092 % |
46.35/46.47 c | 13188 | 4362 253406 1804413 | 2147483647 13184 12 | 0.092 % |
46.45/46.55 c | 13444 | 4362 253406 1804413 | 2147483647 13440 12 | 0.092 % |
46.45/46.58 c | 13725 | 4362 253406 1804413 | 2147483647 13721 12 | 0.092 % |
46.55/46.60 c | 14034 | 4362 253406 1804413 | 2147483647 14030 12 | 0.092 % |
46.55/46.63 c | 14136 | 4362 253406 1804413 | 2147483647 14132 12 | 0.092 % |
46.55/46.64 c | 14246 | 4362 253406 1804413 | 2147483647 14242 12 | 0.092 % |
46.55/46.65 c | 14369 | 4362 253406 1804413 | 2147483647 14365 12 | 0.092 % |
46.55/46.67 c | 14502 | 4362 253406 1804413 | 2147483647 14498 12 | 0.092 % |
46.65/46.70 c | 14649 | 4362 253406 1804413 | 2147483647 14645 12 | 0.092 % |
46.65/46.73 c | 14810 | 4362 253406 1804413 | 2147483647 14806 12 | 0.092 % |
46.65/46.75 c | 14986 | 4362 253406 1804413 | 2147483647 14982 12 | 0.092 % |
46.65/46.77 c | 15180 | 4362 253406 1804413 | 2147483647 15176 12 | 0.092 % |
46.65/46.80 c | 15394 | 4362 253406 1804413 | 2147483647 15390 12 | 0.092 % |
46.75/46.85 c | 15627 | 4362 253406 1804413 | 2147483647 15623 12 | 0.092 % |
46.75/46.88 c | 15884 | 4362 253406 1804413 | 2147483647 15880 13 | 0.092 % |
46.85/46.90 c | 16166 | 4362 253406 1804413 | 2147483647 16162 13 | 0.092 % |
46.85/46.96 c | 16477 | 4362 253406 1804413 | 2147483647 16473 13 | 0.092 % |
46.95/47.00 c | 16816 | 4362 253406 1804413 | 2147483647 16812 13 | 0.092 % |
46.95/47.01 c | 16917 | 4362 253406 1804413 | 2147483647 16913 13 | 0.092 % |
46.95/47.03 c | 17028 | 4362 253406 1804413 | 2147483647 17024 13 | 0.092 % |
46.95/47.06 c | 17149 | 4362 253406 1804413 | 2147483647 17145 13 | 0.092 % |
46.95/47.08 c | 17282 | 4362 253406 1804413 | 2147483647 17278 12 | 0.092 % |
47.05/47.11 c | 17429 | 4362 253406 1804413 | 2147483647 17425 12 | 0.092 % |
47.05/47.12 c | 17589 | 4362 253406 1804413 | 2147483647 17585 13 | 0.092 % |
47.05/47.15 c | 17766 | 4362 253406 1804413 | 2147483647 17762 13 | 0.092 % |
47.05/47.18 c | 17960 | 4362 253406 1804413 | 2147483647 17956 13 | 0.092 % |
47.15/47.21 c | 18173 | 4362 253406 1804413 | 2147483647 18169 13 | 0.092 % |
47.15/47.27 c | 18406 | 4362 253406 1804413 | 2147483647 18402 13 | 0.092 % |
47.25/47.31 c | 18662 | 4362 253406 1804413 | 2147483647 18658 13 | 0.092 % |
47.25/47.38 c | 18944 | 4362 253406 1804413 | 2147483647 18940 13 | 0.092 % |
47.35/47.43 c | 19254 | 4362 253406 1804413 | 2147483647 19250 13 | 0.092 % |
47.35/47.49 c | 19593 | 4362 253406 1804413 | 2147483647 19589 13 | 0.092 % |
47.45/47.56 c | 19966 | 4361 253406 1804413 | 2147483647 19961 13 | 0.115 % |
47.45/47.57 c | 20066 | 4361 253406 1804413 | 2147483647 20061 13 | 0.115 % |
47.55/47.60 c | 20178 | 4361 253406 1804413 | 2147483647 20173 13 | 0.115 % |
47.55/47.63 c | 20300 | 4361 253406 1804413 | 2147483647 20295 13 | 0.115 % |
47.55/47.65 c | 20433 | 4361 253406 1804413 | 2147483647 20428 13 | 0.115 % |
47.55/47.68 c | 20579 | 4361 253406 1804413 | 2147483647 20574 13 | 0.115 % |
47.65/47.71 c | 20741 | 4361 253406 1804413 | 2147483647 20736 13 | 0.115 % |
47.65/47.74 c | 20919 | 4361 253406 1804413 | 2147483647 20914 13 | 0.115 % |
47.65/47.76 c | 21112 | 4361 253406 1804413 | 2147483647 21107 13 | 0.115 % |
47.65/47.79 c | 21324 | 4361 253406 1804413 | 2147483647 21319 13 | 0.115 % |
47.75/47.84 c | 21557 | 4361 253406 1804413 | 2147483647 21552 13 | 0.115 % |
47.75/47.89 c | 21813 | 4361 253406 1804413 | 2147483647 21808 13 | 0.115 % |
47.85/47.95 c | 22095 | 4361 253406 1804413 | 2147483647 22090 13 | 0.115 % |
47.95/48.02 c | 22404 | 4361 253406 1804413 | 2147483647 22399 13 | 0.115 % |
47.95/48.06 c | 22744 | 4361 253406 1804413 | 2147483647 22739 13 | 0.115 % |
48.05/48.10 c | 23117 | 4361 253406 1804413 | 2147483647 23112 13 | 0.115 % |
48.15/48.20 c | 23527 | 4361 253406 1804413 | 2147483647 23522 13 | 0.115 % |
48.15/48.21 c | 23627 | 4361 253406 1804413 | 2147483647 23622 13 | 0.115 % |
48.15/48.22 c | 23739 | 4361 253406 1804413 | 2147483647 23734 13 | 0.115 % |
48.15/48.24 c | 23860 | 4361 253406 1804413 | 2147483647 23855 13 | 0.115 % |
48.15/48.27 c | 23994 | 4360 253406 1804413 | 2147483647 23988 13 | 0.137 % |
48.15/48.29 c | 24140 | 4360 253406 1804413 | 2147483647 24134 13 | 0.137 % |
48.25/48.31 c | 24300 | 4360 253406 1804413 | 2147483647 24294 13 | 0.137 % |
48.25/48.36 c | 24477 | 4360 253406 1804413 | 2147483647 24471 13 | 0.137 % |
48.25/48.39 c | 24670 | 4360 253406 1804413 | 2147483647 24664 13 | 0.137 % |
48.35/48.43 c | 24882 | 4360 253406 1804413 | 2147483647 24876 13 | 0.137 % |
48.35/48.47 c | 25115 | 4360 253406 1804413 | 2147483647 25109 13 | 0.137 % |
48.35/48.49 c | 25373 | 4360 253406 1804413 | 2147483647 25367 13 | 0.137 % |
48.45/48.52 c | 25655 | 4360 253406 1804413 | 2147483647 25649 13 | 0.137 % |
48.45/48.59 c | 25965 | 4360 253406 1804413 | 2147483647 25959 13 | 0.137 % |
48.55/48.63 c | 26305 | 4360 253406 1804413 | 2147483647 26299 13 | 0.137 % |
48.55/48.69 c | 26678 | 4360 253406 1804413 | 2147483647 26672 13 | 0.137 % |
48.65/48.74 c | 27088 | 4360 253406 1804413 | 2147483647 27082 14 | 0.137 % |
48.75/48.84 c | 27540 | 4360 253406 1804413 | 2147483647 27534 14 | 0.137 % |
48.75/48.86 c | 27640 | 4360 253406 1804413 | 2147483647 27634 14 | 0.137 % |
48.75/48.89 c | 27751 | 4360 253406 1804413 | 2147483647 27745 14 | 0.137 % |
48.85/48.91 c | 27873 | 4360 253406 1804413 | 2147483647 27867 14 | 0.137 % |
48.85/48.93 c | 28006 | 4360 253406 1804413 | 2147483647 28000 13 | 0.137 % |
48.85/48.96 c | 28154 | 4360 253406 1804413 | 2147483647 28148 13 | 0.137 % |
48.85/48.99 c | 28315 | 4360 253406 1804413 | 2147483647 28309 13 | 0.137 % |
48.95/49.02 c | 28493 | 4360 253406 1804413 | 2147483647 28487 13 | 0.137 % |
48.95/49.06 c | 28687 | 4360 253406 1804413 | 2147483647 28681 13 | 0.137 % |
48.95/49.08 c | 28900 | 4360 253406 1804413 | 2147483647 28894 13 | 0.137 % |
49.05/49.14 c | 29133 | 4360 253406 1804413 | 2147483647 29127 13 | 0.137 % |
49.05/49.19 c | 29390 | 4360 253406 1804413 | 2147483647 29384 13 | 0.137 % |
49.15/49.23 c | 29671 | 4360 253406 1804413 | 2147483647 29665 13 | 0.137 % |
49.15/49.27 c | 29980 | 4360 253406 1804413 | 2147483647 29974 13 | 0.137 % |
49.25/49.33 c | 30319 | 4360 253406 1804413 | 2147483647 30313 13 | 0.137 % |
49.25/49.38 c | 30692 | 4360 253406 1804413 | 2147483647 30686 13 | 0.137 % |
49.35/49.42 c | 31101 | 4360 253406 1804413 | 2147483647 31095 14 | 0.137 % |
49.46/49.51 c | 31552 | 4360 253406 1804413 | 2147483647 31546 14 | 0.137 % |
49.56/49.60 c | 32046 | 4360 253406 1804413 | 2147483647 32040 14 | 0.137 % |
49.56/49.62 c | 32147 | 4360 253406 1804413 | 2147483647 32141 14 | 0.137 % |
49.56/49.64 c | 32258 | 4360 253406 1804413 | 2147483647 32252 14 | 0.137 % |
49.56/49.66 c | 32382 | 4360 253406 1804413 | 2147483647 32376 14 | 0.137 % |
49.56/49.70 c | 32515 | 4360 253406 1804413 | 2147483647 32509 14 | 0.137 % |
49.66/49.73 c | 32661 | 4360 253406 1804413 | 2147483647 32655 14 | 0.137 % |
49.66/49.75 c | 32821 | 4360 253406 1804413 | 2147483647 32815 14 | 0.137 % |
49.66/49.77 c | 32997 | 4360 253406 1804413 | 2147483647 32991 14 | 0.137 % |
49.76/49.82 c | 33190 | 4360 253406 1804413 | 2147483647 33184 14 | 0.137 % |
49.76/49.88 c | 33402 | 4360 253406 1804413 | 2147483647 33396 14 | 0.137 % |
49.86/49.93 c | 33636 | 4360 253406 1804413 | 2147483647 33630 14 | 0.137 % |
49.86/49.97 c | 33892 | 4360 253406 1804413 | 2147483647 33886 14 | 0.137 % |
49.96/50.02 c | 34173 | 4360 253406 1804413 | 2147483647 34167 14 | 0.137 % |
49.96/50.05 c | 34483 | 4360 253406 1804413 | 2147483647 34477 14 | 0.137 % |
50.06/50.10 c | 34822 | 4360 253406 1804413 | 2147483647 34816 14 | 0.137 % |
50.06/50.13 c | 35195 | 4360 253406 1804413 | 2147483647 35189 14 | 0.137 % |
50.16/50.22 c | 35604 | 4360 253406 1804413 | 2147483647 35598 14 | 0.137 % |
50.16/50.26 c | 36054 | 4360 253406 1804413 | 2147483647 36048 14 | 0.137 % |
50.26/50.35 c | 36548 | 4360 253406 1804413 | 2147483647 36542 14 | 0.137 % |
50.56/50.62 c | 37091 | 4360 253406 1804413 | 2147483647 37085 14 | 0.137 % |
50.56/50.68 c | 37192 | 4360 253334 1804227 | 2147483647 37181 14 | 0.137 % |
50.56/50.69 c | 37304 | 4360 253334 1804227 | 2147483647 37293 14 | 0.137 % |
50.66/50.71 c | 37425 | 4360 253334 1804227 | 2147483647 37414 14 | 0.137 % |
50.66/50.72 c | 37558 | 4360 253334 1804227 | 2147483647 37547 14 | 0.137 % |
50.66/50.75 c | 37705 | 4360 253334 1804227 | 2147483647 37694 14 | 0.137 % |
50.66/50.77 c | 37865 | 4360 253334 1804227 | 2147483647 37854 14 | 0.137 % |
50.66/50.79 c | 38043 | 4360 253334 1804227 | 2147483647 38032 14 | 0.137 % |
50.76/50.83 c | 38236 | 4360 253334 1804227 | 2147483647 38225 14 | 0.137 % |
50.76/50.85 c | 38448 | 4360 253334 1804227 | 2147483647 38437 14 | 0.137 % |
50.76/50.89 c | 38681 | 4360 253334 1804227 | 2147483647 38670 14 | 0.137 % |
50.86/50.95 c | 38937 | 4360 253334 1804227 | 2147483647 38926 14 | 0.137 % |
50.86/50.98 c | 39219 | 4360 253334 1804227 | 2147483647 39208 14 | 0.137 % |
50.96/51.02 c | 39528 | 4360 253334 1804227 | 2147483647 39517 14 | 0.137 % |
50.96/51.06 c | 39867 | 4360 253334 1804227 | 2147483647 39856 14 | 0.137 % |
51.06/51.12 c | 40239 | 4360 253334 1804227 | 2147483647 40228 14 | 0.137 % |
51.06/51.18 c | 40648 | 4359 253334 1804227 | 2147483647 40636 14 | 0.160 % |
51.16/51.27 c | 41098 | 4359 253334 1804227 | 2147483647 41086 14 | 0.160 % |
51.26/51.35 c | 41591 | 4357 253334 1804227 | 2147483647 41577 14 | 0.206 % |
51.26/51.39 c | 42133 | 4357 253334 1804227 | 2147483647 42119 14 | 0.206 % |
51.46/51.56 c | 42730 | 4357 253334 1804227 | 2147483647 42716 14 | 0.206 % |
51.46/51.57 c | 42831 | 4357 253334 1804227 | 2147483647 42817 14 | 0.206 % |
51.46/51.58 c | 42942 | 4357 253334 1804227 | 2147483647 42928 14 | 0.206 % |
51.56/51.61 c | 43063 | 4357 253334 1804227 | 2147483647 43049 14 | 0.206 % |
51.56/51.64 c | 43197 | 4357 253334 1804227 | 2147483647 43183 14 | 0.206 % |
51.66/51.72 c | 43343 | 4357 253334 1804227 | 2147483647 43329 14 | 0.206 % |
51.66/51.74 c | 43503 | 4357 253334 1804227 | 2147483647 43489 14 | 0.206 % |
51.66/51.77 c | 43680 | 4357 253334 1804227 | 2147483647 43666 14 | 0.206 % |
51.66/51.79 c | 43874 | 4357 253334 1804227 | 2147483647 43860 14 | 0.206 % |
51.76/51.83 c | 44086 | 4357 253334 1804227 | 2147483647 44072 14 | 0.206 % |
51.76/51.86 c | 44320 | 4357 253334 1804227 | 2147483647 44306 14 | 0.206 % |
51.86/51.92 c | 44578 | 4357 253334 1804227 | 2147483647 44564 14 | 0.206 % |
51.96/52.06 c | 44859 | 4357 253334 1804227 | 2147483647 44845 14 | 0.206 % |
52.06/52.15 c | 45168 | 4356 253334 1804227 | 2147483647 45153 14 | 0.229 % |
52.15/52.23 c | 45508 | 4356 253334 1804227 | 2147483647 45492 14 | 0.252 % |
52.15/52.29 c | 45880 | 4355 253334 1804227 | 2147483647 45864 14 | 0.252 % |
52.25/52.35 c | 46290 | 4355 253334 1804227 | 2147483647 46274 14 | 0.252 % |
52.25/52.39 c | 46740 | 4355 253334 1804227 | 2147483647 46724 14 | 0.252 % |
52.35/52.44 c | 47234 | 4355 253334 1804227 | 2147483647 47218 14 | 0.252 % |
52.35/52.50 c | 47776 | 4355 253334 1804227 | 2147483647 47760 14 | 0.252 % |
52.45/52.58 c | 48372 | 4355 253334 1804227 | 2147483647 48356 14 | 0.252 % |
52.55/52.65 c | 49028 | 4355 253334 1804227 | 2147483647 49012 14 | 0.252 % |
52.55/52.68 c | 49129 | 4355 253334 1804227 | 2147483647 49113 14 | 0.252 % |
52.66/52.72 c | 49243 | 4354 253334 1804227 | 2147483647 49226 14 | 0.275 % |
52.66/52.74 c | 49364 | 4354 253334 1804227 | 2147483647 49347 14 | 0.275 % |
52.66/52.75 c | 49497 | 4354 253334 1804227 | 2147483647 49480 14 | 0.275 % |
52.66/52.77 c | 49644 | 4354 253334 1804227 | 2147483647 49627 14 | 0.275 % |
52.76/52.82 c | 49804 | 4354 253334 1804227 | 2147483647 49787 14 | 0.275 % |
52.76/52.84 c | 49980 | 4354 253334 1804227 | 2147483647 49963 14 | 0.275 % |
52.76/52.89 c | 50174 | 4353 253334 1804227 | 2147483647 50156 14 | 0.298 % |
52.85/52.93 c | 50387 | 4353 253334 1804227 | 2147483647 50369 14 | 0.298 % |
52.85/52.97 c | 50620 | 4353 253334 1804227 | 2147483647 50602 14 | 0.298 % |
52.95/53.00 c | 50877 | 4353 253334 1804227 | 2147483647 50859 14 | 0.298 % |
52.95/53.04 c | 51158 | 4353 253334 1804227 | 2147483647 51140 14 | 0.298 % |
53.05/53.14 c | 51467 | 4353 253334 1804227 | 2147483647 51449 14 | 0.298 % |
53.15/53.20 c | 51807 | 4353 253334 1804227 | 2147483647 51789 14 | 0.298 % |
53.15/53.27 c | 52179 | 4353 253334 1804227 | 2147483647 52161 14 | 0.298 % |
53.35/53.42 c | 52588 | 4353 253334 1804227 | 2147483647 52570 14 | 0.298 % |
53.45/53.58 c | 53037 | 4353 253334 1804227 | 2147483647 53019 14 | 0.298 % |
53.55/53.65 c | 53530 | 4353 253334 1804227 | 2147483647 53512 14 | 0.298 % |
53.65/53.78 c | 54072 | 4353 253334 1804227 | 2147483647 54054 14 | 0.298 % |
53.76/53.85 c | 54669 | 4353 253334 1804227 | 2147483647 54651 14 | 0.298 % |
54.05/54.15 c | 55324 | 4353 253334 1804227 | 2147483647 55306 15 | 0.298 % |
54.25/54.30 c | 56047 | 4352 253334 1804227 | 2147483647 56028 15 | 0.321 % |
54.25/54.31 c | 56147 | 4352 253334 1804227 | 2147483647 56128 15 | 0.321 % |
54.25/54.33 c | 56257 | 4352 253334 1804227 | 2147483647 56238 15 | 0.321 % |
54.25/54.34 c | 56379 | 4352 253334 1804227 | 2147483647 56360 15 | 0.321 % |
54.25/54.36 c | 56512 | 4352 253334 1804227 | 2147483647 56493 15 | 0.321 % |
54.35/54.41 c | 56659 | 4352 253334 1804227 | 2147483647 56640 15 | 0.321 % |
54.35/54.45 c | 56819 | 4352 253334 1804227 | 2147483647 56800 15 | 0.321 % |
54.35/54.46 c | 56996 | 4352 253334 1804227 | 2147483647 56977 14 | 0.321 % |
54.45/54.50 c | 57192 | 4352 253334 1804227 | 2147483647 57173 15 | 0.321 % |
54.45/54.53 c | 57405 | 4352 253334 1804227 | 2147483647 57386 14 | 0.321 % |
54.45/54.57 c | 57639 | 4352 253334 1804227 | 2147483647 57620 14 | 0.321 % |
54.55/54.65 c | 57896 | 4352 253334 1804227 | 2147483647 57877 14 | 0.321 % |
54.65/54.73 c | 58177 | 4352 253334 1804227 | 2147483647 58158 14 | 0.321 % |
54.75/54.85 c | 58487 | 4352 253334 1804227 | 2147483647 58468 15 | 0.321 % |
54.86/54.92 c | 58827 | 4352 253334 1804227 | 2147483647 58808 14 | 0.321 % |
54.86/54.97 c | 59200 | 4352 253334 1804227 | 2147483647 59181 15 | 0.321 % |
54.96/55.09 c | 59610 | 4352 253334 1804227 | 2147483647 59591 15 | 0.321 % |
55.05/55.13 c | 60060 | 4352 253334 1804227 | 2147483647 60041 15 | 0.321 % |
55.15/55.29 c | 60553 | 4352 253334 1804227 | 2147483647 60534 15 | 0.321 % |
55.25/55.36 c | 61096 | 4352 253334 1804227 | 2147483647 61077 15 | 0.321 % |
55.35/55.44 c | 61693 | 4352 253334 1804227 | 2147483647 61674 15 | 0.321 % |
55.45/55.52 c | 62349 | 4352 253334 1804227 | 2147483647 62330 15 | 0.321 % |
55.45/55.59 c | 63069 | 4352 253334 1804227 | 2147483647 63050 15 | 0.321 % |
55.65/55.76 c | 63862 | 4352 253334 1804227 | 2147483647 63843 15 | 0.321 % |
55.65/55.77 c | 63963 | 4352 253334 1804227 | 2147483647 63944 15 | 0.321 % |
55.65/55.79 c | 64073 | 4352 253334 1804227 | 2147483647 64054 15 | 0.321 % |
55.75/55.83 c | 64194 | 4352 253334 1804227 | 2147483647 64175 15 | 0.321 % |
55.75/55.85 c | 64327 | 4352 253334 1804227 | 2147483647 64308 15 | 0.321 % |
55.75/55.88 c | 64474 | 4352 253334 1804227 | 2147483647 64455 15 | 0.321 % |
55.85/55.93 c | 64635 | 4352 253334 1804227 | 2147483647 64616 15 | 0.321 % |
55.85/55.97 c | 64812 | 4352 253334 1804227 | 2147483647 64793 15 | 0.321 % |
55.85/56.00 c | 65006 | 4352 253334 1804227 | 2147483647 64987 15 | 0.321 % |
55.96/56.03 c | 65218 | 4352 253334 1804227 | 2147483647 65199 15 | 0.321 % |
55.96/56.04 c | 65451 | 4352 253334 1804227 | 2147483647 65432 15 | 0.321 % |
55.96/56.09 c | 65708 | 4352 253334 1804227 | 2147483647 65689 15 | 0.321 % |
56.06/56.16 c | 65989 | 4352 253334 1804227 | 2147483647 65970 15 | 0.321 % |
56.15/56.24 c | 66298 | 4351 253334 1804227 | 2147483647 66278 15 | 0.344 % |
56.25/56.37 c | 66638 | 4351 253334 1804227 | 2147483647 66618 15 | 0.344 % |
56.35/56.44 c | 67010 | 4351 253334 1804227 | 2147483647 66990 15 | 0.344 % |
56.45/56.57 c | 67420 | 4351 253334 1804227 | 2147483647 67400 15 | 0.344 % |
56.55/56.68 c | 67869 | 4351 253334 1804227 | 2147483647 67849 15 | 0.344 % |
56.75/56.82 c | 68362 | 4351 253334 1804227 | 2147483647 68342 15 | 0.344 % |
56.85/56.95 c | 68904 | 4350 253334 1804227 | 2147483647 68883 15 | 0.366 % |
56.95/57.04 c | 69500 | 4350 253334 1804227 | 2147483647 69479 15 | 0.366 % |
56.95/57.09 c | 70155 | 4350 253334 1804227 | 2147483647 70134 15 | 0.366 % |
57.15/57.24 c | 70875 | 4350 253334 1804227 | 2147483647 70854 15 | 0.366 % |
57.25/57.30 c | 71668 | 4350 253334 1804227 | 2147483647 71647 15 | 0.366 % |
57.55/57.67 c | 72540 | 4350 253334 1804227 | 2147483647 72519 15 | 0.366 % |
57.55/57.69 c | 72641 | 4350 253334 1804227 | 2147483647 72620 15 | 0.366 % |
57.65/57.71 c | 72752 | 4350 253334 1804227 | 2147483647 72731 15 | 0.366 % |
57.65/57.76 c | 72873 | 4350 253334 1804227 | 2147483647 72852 15 | 0.366 % |
57.75/57.81 c | 73007 | 4350 253334 1804227 | 2147483647 72986 15 | 0.366 % |
57.75/57.85 c | 73153 | 4350 253334 1804227 | 2147483647 73132 15 | 0.366 % |
57.75/57.88 c | 73313 | 4350 253334 1804227 | 2147483647 73292 15 | 0.366 % |
57.85/57.91 c | 73489 | 4350 253334 1804227 | 2147483647 73468 15 | 0.366 % |
57.85/57.95 c | 73683 | 4350 253334 1804227 | 2147483647 73662 15 | 0.366 % |
57.85/57.99 c | 73895 | 4350 253334 1804227 | 2147483647 73874 15 | 0.366 % |
57.95/58.08 c | 74128 | 4350 253334 1804227 | 2147483647 74107 15 | 0.366 % |
58.05/58.11 c | 74384 | 4350 253334 1804227 | 2147483647 74363 15 | 0.366 % |
58.05/58.15 c | 74665 | 4350 253334 1804227 | 2147483647 74644 15 | 0.366 % |
58.25/58.31 c | 74976 | 4350 253334 1804227 | 2147483647 74955 15 | 0.366 % |
58.25/58.36 c | 75316 | 4350 253334 1804227 | 2147483647 75295 15 | 0.366 % |
58.35/58.43 c | 75689 | 4350 253334 1804227 | 2147483647 75668 15 | 0.366 % |
58.35/58.48 c | 76099 | 4350 253334 1804227 | 2147483647 76078 15 | 0.366 % |
58.65/58.73 c | 76548 | 4350 253334 1804227 | 2147483647 76527 15 | 0.366 % |
58.65/58.79 c | 77042 | 4350 253334 1804227 | 2147483647 77021 15 | 0.366 % |
58.75/58.87 c | 77584 | 4350 253334 1804227 | 2147483647 77563 15 | 0.366 % |
58.95/59.01 c | 78180 | 4350 253334 1804227 | 2147483647 78159 15 | 0.366 % |
59.05/59.11 c | 78835 | 4350 253334 1804227 | 2147483647 78814 15 | 0.366 % |
59.15/59.20 c | 79556 | 4350 253334 1804227 | 2147483647 79535 15 | 0.366 % |
59.25/59.40 c | 80349 | 4350 253334 1804227 | 2147483647 80328 15 | 0.366 % |
59.45/59.50 c | 81221 | 4350 253334 1804227 | 2147483647 81200 15 | 0.366 % |
59.55/59.69 c | 82180 | 4350 253334 1804227 | 2147483647 82159 15 | 0.366 % |
59.65/59.74 c | 82280 | 4350 253215 1803926 | 2147483647 82253 15 | 0.366 % |
59.65/59.78 c | 82391 | 4350 253215 1803926 | 2147483647 82364 15 | 0.366 % |
59.75/59.80 c | 82512 | 4350 253215 1803926 | 2147483647 82485 15 | 0.366 % |
59.75/59.86 c | 82645 | 4350 253215 1803926 | 2147483647 82618 15 | 0.366 % |
59.75/59.88 c | 82792 | 4350 253215 1803926 | 2147483647 82765 15 | 0.366 % |
59.85/59.99 c | 82952 | 4350 253215 1803926 | 2147483647 82925 15 | 0.366 % |
59.95/60.03 c | 83129 | 4350 253215 1803926 | 2147483647 83102 15 | 0.366 % |
59.95/60.07 c | 83322 | 4350 253215 1803926 | 2147483647 83295 15 | 0.366 % |
59.95/60.10 c | 83535 | 4350 253215 1803926 | 2147483647 83508 15 | 0.366 % |
60.05/60.16 c | 83768 | 4350 253215 1803926 | 2147483647 83741 15 | 0.366 % |
60.15/60.22 c | 84026 | 4350 253215 1803926 | 2147483647 83999 15 | 0.366 % |
60.25/60.35 c | 84307 | 4350 253215 1803926 | 2147483647 84280 15 | 0.366 % |
60.35/60.43 c | 84617 | 4350 253215 1803926 | 2147483647 84590 15 | 0.366 % |
60.35/60.47 c | 84957 | 4350 253215 1803926 | 2147483647 84930 15 | 0.366 % |
60.45/60.59 c | 85329 | 4350 253215 1803926 | 2147483647 85302 15 | 0.366 % |
60.54/60.64 c | 85738 | 4350 253215 1803926 | 2147483647 85711 15 | 0.366 % |
60.74/60.84 c | 86187 | 4350 253215 1803926 | 2147483647 86160 15 | 0.366 % |
60.85/60.90 c | 86681 | 4350 253215 1803926 | 2147483647 86654 15 | 0.366 % |
60.95/61.03 c | 87224 | 4350 253215 1803926 | 2147483647 87197 15 | 0.366 % |
60.95/61.09 c | 87820 | 4350 253215 1803926 | 2147483647 87793 15 | 0.366 % |
61.15/61.24 c | 88475 | 4350 253215 1803926 | 2147483647 88448 15 | 0.366 % |
61.35/61.40 c | 89197 | 4350 253215 1803926 | 2147483647 89170 15 | 0.366 % |
61.46/61.59 c | 89989 | 4350 253215 1803926 | 2147483647 89962 15 | 0.366 % |
61.85/61.95 c | 90862 | 4350 253215 1803926 | 2147483647 90835 15 | 0.366 % |
62.15/62.28 c | 91821 | 4350 253215 1803926 | 2147483647 91794 15 | 0.366 % |
62.45/62.50 c | 92876 | 4350 253215 1803926 | 2147483647 92849 15 | 0.366 % |
62.45/62.53 c | 92976 | 4350 253215 1803926 | 2147483647 92949 15 | 0.366 % |
62.45/62.55 c | 93086 | 4350 253215 1803926 | 2147483647 93059 15 | 0.366 % |
62.45/62.60 c | 93207 | 4350 253215 1803926 | 2147483647 93180 15 | 0.366 % |
62.55/62.64 c | 93342 | 4350 253215 1803926 | 2147483647 93315 15 | 0.366 % |
62.55/62.69 c | 93489 | 4350 253215 1803926 | 2147483647 93462 15 | 0.366 % |
62.65/62.72 c | 93650 | 4350 253215 1803926 | 2147483647 93623 15 | 0.366 % |
62.65/62.76 c | 93827 | 4350 253215 1803926 | 2147483647 93800 15 | 0.366 % |
62.75/62.81 c | 94021 | 4350 253215 1803926 | 2147483647 93994 15 | 0.366 % |
62.75/62.86 c | 94233 | 4350 253215 1803926 | 2147483647 94206 15 | 0.366 % |
62.85/62.90 c | 94467 | 4350 253215 1803926 | 2147483647 94440 15 | 0.366 % |
62.85/62.98 c | 94724 | 4350 253215 1803926 | 2147483647 94697 15 | 0.366 % |
62.95/63.01 c | 95005 | 4350 253215 1803926 | 2147483647 94978 15 | 0.366 % |
62.95/63.09 c | 95314 | 4350 253215 1803926 | 2147483647 95287 15 | 0.366 % |
63.05/63.17 c | 95654 | 4350 253215 1803926 | 2147483647 95627 15 | 0.366 % |
63.15/63.24 c | 96027 | 4350 253215 1803926 | 2147483647 96000 15 | 0.366 % |
63.25/63.36 c | 96436 | 4350 253215 1803926 | 2147483647 96409 15 | 0.366 % |
63.35/63.45 c | 96885 | 4350 253215 1803926 | 2147483647 96858 15 | 0.366 % |
63.55/63.61 c | 97379 | 4350 253215 1803926 | 2147483647 97352 15 | 0.366 % |
63.65/63.71 c | 97922 | 4350 253215 1803926 | 2147483647 97895 15 | 0.366 % |
63.85/63.91 c | 98519 | 4350 253215 1803926 | 2147483647 98492 15 | 0.366 % |
63.85/63.97 c | 99174 | 4350 253215 1803926 | 2147483647 99147 16 | 0.366 % |
64.05/64.11 c | 99895 | 4350 253215 1803926 | 2147483647 99868 16 | 0.366 % |
64.05/64.19 c | 100688 | 4350 253215 1803926 | 2147483647 100661 16 | 0.366 % |
64.44/64.50 c | 101559 | 4350 253215 1803926 | 2147483647 101532 16 | 0.366 % |
64.64/64.73 c | 102518 | 4350 253215 1803926 | 2147483647 102491 16 | 0.366 % |
64.85/64.93 c | 103571 | 4350 253215 1803926 | 2147483647 103544 16 | 0.366 % |
65.24/65.36 c | 104729 | 4350 253215 1803926 | 2147483647 104702 16 | 0.366 % |
65.24/65.37 c | 104829 | 4350 253215 1803926 | 2147483647 104802 16 | 0.366 % |
65.34/65.41 c | 104940 | 4350 253215 1803926 | 2147483647 104913 16 | 0.366 % |
65.34/65.44 c | 105062 | 4350 253215 1803926 | 2147483647 105035 16 | 0.366 % |
65.34/65.47 c | 105197 | 4350 253215 1803926 | 2147483647 105170 16 | 0.366 % |
65.44/65.50 c | 105343 | 4350 253215 1803926 | 2147483647 105316 16 | 0.366 % |
65.44/65.55 c | 105503 | 4350 253215 1803926 | 2147483647 105476 16 | 0.366 % |
65.44/65.59 c | 105679 | 4350 253215 1803926 | 2147483647 105652 16 | 0.366 % |
65.54/65.66 c | 105873 | 4350 253215 1803926 | 2147483647 105846 16 | 0.366 % |
65.64/65.72 c | 106086 | 4350 253215 1803926 | 2147483647 106059 16 | 0.366 % |
65.64/65.75 c | 106319 | 4350 253215 1803926 | 2147483647 106292 16 | 0.366 % |
65.74/65.82 c | 106576 | 4350 253215 1803926 | 2147483647 106549 16 | 0.366 % |
65.74/65.85 c | 106859 | 4350 253215 1803926 | 2147483647 106832 16 | 0.366 % |
66.14/66.22 c | 107168 | 4350 253215 1803926 | 2147483647 107141 16 | 0.366 % |
66.14/66.28 c | 107508 | 4350 253215 1803926 | 2147483647 107481 16 | 0.366 % |
66.24/66.35 c | 107880 | 4350 253215 1803926 | 2147483647 107853 16 | 0.366 % |
66.34/66.47 c | 108289 | 4350 253215 1803926 | 2147483647 108262 16 | 0.366 % |
66.44/66.55 c | 108739 | 4350 253215 1803926 | 2147483647 108712 16 | 0.366 % |
66.54/66.63 c | 109233 | 4350 253215 1803926 | 2147483647 109206 16 | 0.366 % |
66.75/66.85 c | 109775 | 4350 253215 1803926 | 2147483647 109748 16 | 0.366 % |
66.85/66.96 c | 110372 | 4350 253215 1803926 | 2147483647 110345 16 | 0.366 % |
67.06/67.11 c | 111028 | 4350 253215 1803926 | 2147483647 111001 16 | 0.366 % |
67.25/67.31 c | 111748 | 4350 253215 1803926 | 2147483647 111721 16 | 0.366 % |
67.35/67.48 c | 112540 | 4350 253215 1803926 | 2147483647 112513 16 | 0.366 % |
67.65/67.72 c | 113411 | 4350 253215 1803926 | 2147483647 113384 16 | 0.366 % |
67.95/68.04 c | 114370 | 4350 253215 1803926 | 2147483647 114343 16 | 0.366 % |
68.35/68.40 c | 115423 | 4350 253215 1803926 | 2147483647 115396 16 | 0.366 % |
68.65/68.73 c | 116581 | 4350 253215 1803926 | 2147483647 116554 16 | 0.366 % |
68.75/68.85 c | 117854 | 4350 253215 1803926 | 2147483647 117827 16 | 0.366 % |
68.75/68.87 c | 117954 | 4350 253215 1803926 | 2147483647 117927 16 | 0.366 % |
68.85/68.91 c | 118065 | 4350 253215 1803926 | 2147483647 118038 16 | 0.366 % |
68.85/68.94 c | 118186 | 4350 253215 1803926 | 2147483647 118159 16 | 0.366 % |
68.85/68.96 c | 118319 | 4350 253215 1803926 | 2147483647 118292 16 | 0.366 % |
68.85/68.97 c | 118465 | 4350 253215 1803926 | 2147483647 118438 16 | 0.366 % |
68.95/69.01 c | 118625 | 4350 253215 1803926 | 2147483647 118598 16 | 0.366 % |
68.95/69.06 c | 118801 | 4350 253215 1803926 | 2147483647 118774 16 | 0.366 % |
69.05/69.11 c | 118994 | 4350 253215 1803926 | 2147483647 118967 16 | 0.366 % |
69.05/69.19 c | 119206 | 4350 253215 1803926 | 2147483647 119179 16 | 0.366 % |
69.16/69.23 c | 119440 | 4350 253215 1803926 | 2147483647 119413 16 | 0.366 % |
69.26/69.32 c | 119696 | 4350 253215 1803926 | 2147483647 119669 16 | 0.366 % |
69.35/69.42 c | 119979 | 4350 253215 1803926 | 2147483647 119952 16 | 0.366 % |
69.35/69.48 c | 120289 | 4350 253215 1803926 | 2147483647 120262 16 | 0.366 % |
69.45/69.56 c | 120628 | 4350 253215 1803926 | 2147483647 120601 16 | 0.366 % |
69.55/69.64 c | 121000 | 4350 253215 1803926 | 2147483647 120973 16 | 0.366 % |
69.65/69.78 c | 121409 | 4350 253215 1803926 | 2147483647 121382 16 | 0.366 % |
69.85/69.97 c | 121858 | 4350 253215 1803926 | 2147483647 121831 16 | 0.366 % |
70.05/70.16 c | 122351 | 4350 253215 1803926 | 2147483647 122324 16 | 0.366 % |
70.15/70.23 c | 122893 | 4350 253215 1803926 | 2147483647 122866 16 | 0.366 % |
70.45/70.52 c | 123489 | 4350 253215 1803926 | 2147483647 123462 16 | 0.366 % |
70.55/70.60 c | 124145 | 4350 253215 1803926 | 2147483647 124118 16 | 0.366 % |
70.75/70.86 c | 124866 | 4350 253215 1803926 | 2147483647 124839 16 | 0.366 % |
70.95/71.00 c | 125658 | 4349 253215 1803926 | 2147483647 125630 16 | 0.389 % |
71.25/71.30 c | 126529 | 4349 253215 1803926 | 2147483647 126501 16 | 0.389 % |
71.95/72.02 c | 127487 | 4349 253215 1803926 | 2147483647 127459 16 | 0.389 % |
72.15/72.23 c | 128541 | 4349 253215 1803926 | 2147483647 128513 16 | 0.389 % |
72.25/72.37 c | 129700 | 4349 253215 1803926 | 2147483647 129672 16 | 0.389 % |
72.65/72.77 c | 130974 | 4349 253215 1803926 | 2147483647 130946 16 | 0.389 % |
73.05/73.16 c | 132375 | 4349 253215 1803926 | 2147483647 132347 16 | 0.389 % |
73.05/73.18 c | 132475 | 4349 253215 1803926 | 2147483647 132447 16 | 0.389 % |
73.15/73.25 c | 132585 | 4349 253215 1803926 | 2147483647 132557 16 | 0.389 % |
73.15/73.28 c | 132706 | 4349 253215 1803926 | 2147483647 132678 16 | 0.389 % |
73.25/73.30 c | 132839 | 4349 253215 1803926 | 2147483647 132811 16 | 0.389 % |
73.25/73.32 c | 132985 | 4349 253215 1803926 | 2147483647 132957 16 | 0.389 % |
73.25/73.36 c | 133145 | 4349 253215 1803926 | 2147483647 133117 16 | 0.389 % |
73.25/73.38 c | 133321 | 4349 253215 1803926 | 2147483647 133293 16 | 0.389 % |
73.35/73.46 c | 133515 | 4349 253215 1803926 | 2147483647 133487 16 | 0.389 % |
73.45/73.50 c | 133728 | 4349 253215 1803926 | 2147483647 133700 16 | 0.389 % |
73.55/73.60 c | 133963 | 4349 253215 1803926 | 2147483647 133935 16 | 0.389 % |
73.55/73.68 c | 134221 | 4349 253215 1803926 | 2147483647 134193 16 | 0.389 % |
73.65/73.74 c | 134503 | 4349 253215 1803926 | 2147483647 134475 16 | 0.389 % |
73.75/73.88 c | 134813 | 4349 253215 1803926 | 2147483647 134785 16 | 0.389 % |
73.85/73.95 c | 135152 | 4349 253215 1803926 | 2147483647 135124 16 | 0.389 % |
73.95/74.01 c | 135524 | 4349 253215 1803926 | 2147483647 135496 16 | 0.389 % |
74.05/74.12 c | 135934 | 4349 253215 1803926 | 2147483647 135906 16 | 0.389 % |
74.25/74.32 c | 136384 | 4348 253191 1803864 | 2147483647 136353 16 | 0.412 % |
74.35/74.48 c | 136878 | 4348 253191 1803864 | 2147483647 136847 16 | 0.412 % |
74.54/74.63 c | 137420 | 4348 253191 1803864 | 2147483647 137389 16 | 0.412 % |
74.65/74.76 c | 138018 | 4348 253191 1803864 | 2147483647 137987 16 | 0.412 % |
74.84/74.92 c | 138674 | 4348 253191 1803864 | 2147483647 138643 16 | 0.412 % |
75.04/75.18 c | 139397 | 4348 253191 1803864 | 2147483647 139366 16 | 0.412 % |
75.34/75.44 c | 140190 | 4348 253191 1803864 | 2147483647 140159 16 | 0.412 % |
75.44/75.55 c | 141062 | 4348 253191 1803864 | 2147483647 141031 16 | 0.412 % |
75.85/75.91 c | 142021 | 4348 253191 1803864 | 2147483647 141990 16 | 0.412 % |
75.94/76.03 c | 143074 | 4348 253191 1803864 | 2147483647 143043 16 | 0.412 % |
76.44/76.58 c | 144234 | 4348 253191 1803864 | 2147483647 144203 16 | 0.412 % |
76.85/76.96 c | 145508 | 4348 253191 1803864 | 2147483647 145477 16 | 0.412 % |
77.54/77.65 c | 146910 | 4348 253191 1803864 | 2147483647 146879 16 | 0.412 % |
77.94/78.08 c | 148450 | 4348 253191 1803864 | 2147483647 148419 16 | 0.412 % |
78.04/78.12 c | 148550 | 4348 253191 1803864 | 2147483647 148519 16 | 0.412 % |
78.04/78.17 c | 148661 | 4348 253191 1803864 | 2147483647 148630 16 | 0.412 % |
78.14/78.25 c | 148783 | 4348 253191 1803864 | 2147483647 148752 16 | 0.412 % |
78.14/78.28 c | 148917 | 4348 253191 1803864 | 2147483647 148886 16 | 0.412 % |
78.24/78.33 c | 149064 | 4348 253191 1803864 | 2147483647 149033 16 | 0.412 % |
78.34/78.40 c | 149225 | 4348 253191 1803864 | 2147483647 149194 16 | 0.412 % |
78.34/78.44 c | 149401 | 4348 253191 1803864 | 2147483647 149370 16 | 0.412 % |
78.44/78.54 c | 149594 | 4348 253191 1803864 | 2147483647 149563 16 | 0.412 % |
78.44/78.58 c | 149807 | 4348 253191 1803864 | 2147483647 149776 16 | 0.412 % |
78.54/78.67 c | 150040 | 4348 253191 1803864 | 2147483647 150009 16 | 0.412 % |
78.64/78.74 c | 150296 | 4348 253191 1803864 | 2147483647 150265 16 | 0.412 % |
78.64/78.79 c | 150578 | 4348 253191 1803864 | 2147483647 150547 16 | 0.412 % |
78.74/78.84 c | 150887 | 4348 253191 1803864 | 2147483647 150856 16 | 0.412 % |
78.84/78.90 c | 151226 | 4348 253191 1803864 | 2147483647 151195 16 | 0.412 % |
78.84/78.95 c | 151600 | 4348 253191 1803864 | 2147483647 151569 16 | 0.412 % |
78.94/79.07 c | 152010 | 4348 253191 1803864 | 2147483647 151979 16 | 0.412 % |
79.04/79.13 c | 152461 | 4348 253191 1803864 | 2147483647 152430 16 | 0.412 % |
79.04/79.19 c | 152955 | 4348 253191 1803864 | 2147483647 152924 16 | 0.412 % |
79.24/79.33 c | 153497 | 4348 253191 1803864 | 2147483647 153466 16 | 0.412 % |
79.34/79.41 c | 154093 | 4348 253191 1803864 | 2147483647 154062 16 | 0.412 % |
79.44/79.54 c | 154748 | 4348 253191 1803864 | 2147483647 154717 16 | 0.412 % |
79.74/79.84 c | 155468 | 4348 253191 1803864 | 2147483647 155437 16 | 0.412 % |
79.84/79.93 c | 156260 | 4348 253191 1803864 | 2147483647 156229 16 | 0.412 % |
80.14/80.22 c | 157131 | 4347 253191 1803864 | 2147483647 157099 16 | 0.435 % |
80.44/80.56 c | 158089 | 4347 253191 1803864 | 2147483647 158057 16 | 0.435 % |
80.54/80.67 c | 159143 | 4347 253191 1803864 | 2147483647 159111 16 | 0.435 % |
80.84/80.99 c | 160301 | 4347 253191 1803864 | 2147483647 160269 16 | 0.435 % |
81.24/81.32 c | 161575 | 4347 253191 1803864 | 2147483647 161543 16 | 0.435 % |
81.74/81.84 c | 162975 | 4347 253191 1803864 | 2147483647 162943 16 | 0.435 % |
82.35/82.43 c | 164516 | 4347 253191 1803864 | 2147483647 164484 16 | 0.435 % |
83.15/83.26 c | 166210 | 4347 253191 1803864 | 2147483647 166178 16 | 0.435 % |
83.25/83.30 c | 166310 | 4347 253191 1803864 | 2147483647 166278 16 | 0.435 % |
83.25/83.33 c | 166420 | 4347 253191 1803864 | 2147483647 166388 16 | 0.435 % |
83.35/83.42 c | 166543 | 4347 253191 1803864 | 2147483647 166511 16 | 0.435 % |
83.35/83.46 c | 166676 | 4347 253191 1803864 | 2147483647 166644 16 | 0.435 % |
83.45/83.51 c | 166822 | 4347 253191 1803864 | 2147483647 166790 16 | 0.435 % |
83.45/83.56 c | 166984 | 4347 253191 1803864 | 2147483647 166952 16 | 0.435 % |
83.45/83.58 c | 167160 | 4347 253191 1803864 | 2147483647 167128 16 | 0.435 % |
83.55/83.65 c | 167353 | 4347 253191 1803864 | 2147483647 167321 16 | 0.435 % |
83.65/83.71 c | 167566 | 4347 253191 1803864 | 2147483647 167534 16 | 0.435 % |
83.75/83.81 c | 167799 | 4347 253191 1803864 | 2147483647 167767 16 | 0.435 % |
83.75/83.90 c | 168055 | 4347 253191 1803864 | 2147483647 168023 16 | 0.435 % |
83.85/83.95 c | 168337 | 4347 253191 1803864 | 2147483647 168305 16 | 0.435 % |
83.95/84.05 c | 168648 | 4347 253191 1803864 | 2147483647 168616 16 | 0.435 % |
84.05/84.11 c | 168987 | 4347 253191 1803864 | 2147483647 168955 16 | 0.435 % |
84.15/84.25 c | 169359 | 4347 253191 1803864 | 2147483647 169327 16 | 0.435 % |
84.35/84.47 c | 169769 | 4347 253191 1803864 | 2147483647 169737 16 | 0.435 % |
84.45/84.55 c | 170219 | 4347 253191 1803864 | 2147483647 170187 16 | 0.435 % |
84.65/84.71 c | 170713 | 4347 253191 1803864 | 2147483647 170681 16 | 0.435 % |
84.65/84.79 c | 171255 | 4347 253191 1803864 | 2147483647 171223 16 | 0.435 % |
85.24/85.37 c | 171852 | 4347 253191 1803864 | 2147483647 171820 16 | 0.435 % |
85.34/85.46 c | 172508 | 4347 253191 1803864 | 2147483647 172476 16 | 0.435 % |
85.54/85.65 c | 173228 | 4347 253191 1803864 | 2147483647 173196 16 | 0.435 % |
85.65/85.75 c | 174021 | 4347 253191 1803864 | 2147483647 173989 16 | 0.435 % |
86.24/86.38 c | 174894 | 4347 253191 1803864 | 2147483647 174862 16 | 0.435 % |
86.75/86.81 c | 175853 | 4347 253191 1803864 | 2147483647 175821 16 | 0.435 % |
87.14/87.24 c | 176908 | 4347 253191 1803864 | 2147483647 176876 16 | 0.435 % |
87.34/87.43 c | 178066 | 4347 253191 1803864 | 2147483647 178034 16 | 0.435 % |
87.95/88.10 c | 179339 | 4347 253191 1803864 | 2147483647 179307 16 | 0.435 % |
88.34/88.44 c | 180739 | 4347 253191 1803864 | 2147483647 180707 17 | 0.435 % |
89.34/89.47 c | 182280 | 4347 253191 1803864 | 2147483647 182248 17 | 0.435 % |
90.64/90.80 c | 183974 | 4347 253191 1803864 | 2147483647 183942 17 | 0.435 % |
91.64/91.73 c | 185837 | 4347 253191 1803864 | 2147483647 185805 17 | 0.435 % |
91.64/91.76 c | 185938 | 4347 253191 1803864 | 2147483647 185906 17 | 0.435 % |
91.74/91.85 c | 186049 | 4347 253191 1803864 | 2147483647 186017 17 | 0.435 % |
91.74/91.87 c | 186171 | 4347 253191 1803864 | 2147483647 186139 17 | 0.435 % |
91.74/91.89 c | 186304 | 4347 253191 1803864 | 2147483647 186272 17 | 0.435 % |
91.84/91.93 c | 186450 | 4347 253191 1803864 | 2147483647 186418 17 | 0.435 % |
91.84/91.98 c | 186611 | 4347 253191 1803864 | 2147483647 186579 17 | 0.435 % |
91.93/92.05 c | 186788 | 4347 253191 1803864 | 2147483647 186756 17 | 0.435 % |
92.04/92.13 c | 186981 | 4347 253191 1803864 | 2147483647 186949 17 | 0.435 % |
92.14/92.21 c | 187193 | 4347 253191 1803864 | 2147483647 187161 17 | 0.435 % |
92.25/92.30 c | 187426 | 4347 253191 1803864 | 2147483647 187394 17 | 0.435 % |
92.25/92.38 c | 187682 | 4347 253191 1803864 | 2147483647 187650 17 | 0.435 % |
92.35/92.41 c | 187963 | 4347 253191 1803864 | 2147483647 187931 17 | 0.435 % |
92.54/92.64 c | 188273 | 4347 253191 1803864 | 2147483647 188241 17 | 0.435 % |
92.64/92.75 c | 188612 | 4347 253191 1803864 | 2147483647 188580 17 | 0.435 % |
92.74/92.86 c | 188985 | 4347 253191 1803864 | 2147483647 188953 17 | 0.435 % |
92.94/93.04 c | 189395 | 4347 253191 1803864 | 2147483647 189363 17 | 0.435 % |
93.14/93.27 c | 189844 | 4347 253191 1803864 | 2147483647 189812 17 | 0.435 % |
93.24/93.38 c | 190338 | 4347 253191 1803864 | 2147483647 190306 17 | 0.435 % |
93.35/93.47 c | 190881 | 4347 253191 1803864 | 2147483647 190849 17 | 0.435 % |
93.84/93.91 c | 191478 | 4347 253191 1803864 | 2147483647 191446 17 | 0.435 % |
94.04/94.11 c | 192133 | 4347 253179 1803833 | 2147483647 192099 17 | 0.435 % |
94.34/94.46 c | 192853 | 4347 253179 1803833 | 2147483647 192819 17 | 0.435 % |
94.54/94.66 c | 193645 | 4347 253179 1803833 | 2147483647 193611 17 | 0.435 % |
94.84/94.98 c | 194516 | 4347 253179 1803833 | 2147483647 194482 17 | 0.435 % |
95.24/95.30 c | 195475 | 4347 253179 1803833 | 2147483647 195441 17 | 0.435 % |
95.64/95.77 c | 196529 | 4347 253179 1803833 | 2147483647 196495 17 | 0.435 % |
96.54/96.62 c | 197687 | 4347 253179 1803833 | 2147483647 197653 17 | 0.435 % |
97.04/97.18 c | 198961 | 4347 253179 1803833 | 2147483647 198927 17 | 0.435 % |
97.34/97.48 c | 200361 | 4347 253179 1803833 | 2147483647 200327 17 | 0.435 % |
97.64/97.74 c | 201902 | 4347 253179 1803833 | 2147483647 201868 17 | 0.435 % |
98.64/98.78 c | 203596 | 4347 253179 1803833 | 2147483647 203562 17 | 0.435 % |
100.24/100.35 c | 205460 | 4347 253179 1803833 | 2147483647 205426 17 | 0.435 % |
101.23/101.32 c | 207510 | 4347 253179 1803833 | 2147483647 207476 17 | 0.435 % |
101.23/101.35 c | 207610 | 4347 253179 1803833 | 2147483647 207576 17 | 0.435 % |
101.33/101.40 c | 207722 | 4347 253179 1803833 | 2147483647 207688 17 | 0.435 % |
101.33/101.45 c | 207843 | 4347 253179 1803833 | 2147483647 207809 17 | 0.435 % |
101.43/101.50 c | 207976 | 4347 253179 1803833 | 2147483647 207942 17 | 0.435 % |
101.43/101.53 c | 208122 | 4347 253179 1803833 | 2147483647 208088 17 | 0.435 % |
101.43/101.57 c | 208282 | 4347 253179 1803833 | 2147483647 208248 17 | 0.435 % |
101.53/101.64 c | 208460 | 4347 253179 1803833 | 2147483647 208426 17 | 0.435 % |
101.53/101.68 c | 208654 | 4347 253179 1803833 | 2147483647 208620 17 | 0.435 % |
101.63/101.72 c | 208867 | 4347 253179 1803833 | 2147483647 208833 17 | 0.435 % |
101.63/101.79 c | 209100 | 4347 253179 1803833 | 2147483647 209066 17 | 0.435 % |
101.73/101.84 c | 209356 | 4347 253179 1803833 | 2147483647 209322 17 | 0.435 % |
101.83/101.91 c | 209637 | 4347 253179 1803833 | 2147483647 209603 17 | 0.435 % |
101.83/101.98 c | 209947 | 4347 253179 1803833 | 2147483647 209913 17 | 0.435 % |
102.03/102.10 c | 210286 | 4347 253179 1803833 | 2147483647 210252 17 | 0.435 % |
102.33/102.41 c | 210658 | 4347 253179 1803833 | 2147483647 210624 17 | 0.435 % |
102.43/102.55 c | 211067 | 4347 253179 1803833 | 2147483647 211033 17 | 0.435 % |
102.53/102.64 c | 211517 | 4347 253179 1803833 | 2147483647 211483 17 | 0.435 % |
102.93/103.03 c | 212010 | 4347 253179 1803833 | 2147483647 211976 17 | 0.435 % |
103.03/103.12 c | 212553 | 4347 253179 1803833 | 2147483647 212519 17 | 0.435 % |
103.63/103.79 c | 213149 | 4347 253179 1803833 | 2147483647 213115 17 | 0.435 % |
104.03/104.13 c | 213805 | 4347 253179 1803833 | 2147483647 213771 17 | 0.435 % |
104.54/104.61 c | 214526 | 4347 253179 1803833 | 2147483647 214492 17 | 0.435 % |
105.14/105.21 c | 215318 | 4347 253179 1803833 | 2147483647 215284 17 | 0.435 % |
105.34/105.43 c | 216190 | 4347 253179 1803833 | 2147483647 216156 17 | 0.435 % |
106.14/106.24 c | 217148 | 4347 253179 1803833 | 2147483647 217114 17 | 0.435 % |
107.14/107.22 c | 218201 | 4347 253179 1803833 | 2147483647 218167 17 | 0.435 % |
107.44/107.55 c | 219360 | 4347 253179 1803833 | 2147483647 219326 17 | 0.435 % |
107.84/107.94 c | 220633 | 4347 253179 1803833 | 2147483647 220599 17 | 0.435 % |
108.13/108.26 c | 222034 | 4347 253179 1803833 | 2147483647 222000 17 | 0.435 % |
108.93/109.03 c | 223574 | 4347 253179 1803833 | 2147483647 223540 17 | 0.435 % |
109.33/109.48 c | 225268 | 4347 253179 1803833 | 2147483647 225234 17 | 0.435 % |
109.53/109.69 c | 227132 | 4347 253179 1803833 | 2147483647 227098 17 | 0.435 % |
111.93/112.01 c | 229182 | 4347 253179 1803833 | 2147483647 229148 17 | 0.435 % |
113.43/113.56 c | 231436 | 4347 253179 1803833 | 2147483647 231402 17 | 0.435 % |
113.43/113.57 c | 231536 | 4347 253179 1803833 | 2147483647 231502 17 | 0.435 % |
113.43/113.59 c | 231646 | 4347 253179 1803833 | 2147483647 231612 17 | 0.435 % |
113.53/113.63 c | 231767 | 4347 253179 1803833 | 2147483647 231733 17 | 0.435 % |
113.63/113.72 c | 231901 | 4347 253179 1803833 | 2147483647 231867 17 | 0.435 % |
113.63/113.78 c | 232048 | 4347 253179 1803833 | 2147483647 232014 17 | 0.435 % |
113.93/114.03 c | 232209 | 4347 253179 1803833 | 2147483647 232175 17 | 0.435 % |
114.03/114.11 c | 232386 | 4347 253179 1803833 | 2147483647 232352 17 | 0.435 % |
114.03/114.16 c | 232580 | 4347 253179 1803833 | 2147483647 232546 17 | 0.435 % |
114.13/114.23 c | 232792 | 4347 253179 1803833 | 2147483647 232758 17 | 0.435 % |
114.13/114.27 c | 233025 | 4347 253179 1803833 | 2147483647 232991 17 | 0.435 % |
114.24/114.32 c | 233282 | 4347 253179 1803833 | 2147483647 233248 17 | 0.435 % |
114.43/114.50 c | 233563 | 4347 253179 1803833 | 2147483647 233529 17 | 0.435 % |
114.43/114.55 c | 233873 | 4347 253179 1803833 | 2147483647 233839 17 | 0.435 % |
114.63/114.71 c | 234213 | 4347 253179 1803833 | 2147483647 234179 17 | 0.435 % |
114.73/114.85 c | 234585 | 4347 253179 1803833 | 2147483647 234551 17 | 0.435 % |
115.03/115.12 c | 234994 | 4347 253179 1803833 | 2147483647 234960 17 | 0.435 % |
115.03/115.18 c | 235443 | 4347 253179 1803833 | 2147483647 235409 17 | 0.435 % |
115.34/115.45 c | 235937 | 4347 253179 1803833 | 2147483647 235903 17 | 0.435 % |
115.53/115.67 c | 236479 | 4347 253179 1803833 | 2147483647 236445 17 | 0.435 % |
115.63/115.78 c | 237076 | 4347 253179 1803833 | 2147483647 237042 17 | 0.435 % |
115.73/115.88 c | 237731 | 4347 253179 1803833 | 2147483647 237697 17 | 0.435 % |
116.13/116.26 c | 238451 | 4347 253179 1803833 | 2147483647 238417 17 | 0.435 % |
116.73/116.83 c | 239244 | 4347 253179 1803833 | 2147483647 239210 17 | 0.435 % |
117.03/117.16 c | 240115 | 4347 253179 1803833 | 2147483647 240081 17 | 0.435 % |
117.23/117.33 c | 241074 | 4347 253179 1803833 | 2147483647 241040 17 | 0.435 % |
117.93/118.03 c | 242127 | 4347 253179 1803833 | 2147483647 242093 17 | 0.435 % |
118.33/118.41 c | 243286 | 4347 253179 1803833 | 2147483647 243252 17 | 0.435 % |
118.73/118.83 c | 244559 | 4347 253179 1803833 | 2147483647 244525 17 | 0.435 % |
119.63/119.75 c | 245960 | 4347 253179 1803833 | 2147483647 245926 17 | 0.435 % |
120.83/120.93 c | 247500 | 4347 253179 1803833 | 2147483647 247466 17 | 0.435 % |
121.93/122.10 c | 249194 | 4347 253179 1803833 | 2147483647 249160 17 | 0.435 % |
122.84/122.94 c | 251057 | 4347 253179 1803833 | 2147483647 251023 17 | 0.435 % |
123.53/123.64 c | 253106 | 4347 253179 1803833 | 2147483647 253072 17 | 0.435 % |
124.93/125.01 c | 255359 | 4347 253179 1803833 | 2147483647 255325 17 | 0.435 % |
126.33/126.41 c | 257838 | 4347 253179 1803833 | 2147483647 257804 17 | 0.435 % |
126.33/126.45 c | 257939 | 4347 253179 1803833 | 2147483647 257905 17 | 0.435 % |
126.33/126.49 c | 258049 | 4347 253179 1803833 | 2147483647 258015 17 | 0.435 % |
126.43/126.52 c | 258170 | 4347 253179 1803833 | 2147483647 258136 17 | 0.435 % |
126.43/126.56 c | 258303 | 4347 253179 1803833 | 2147483647 258269 17 | 0.435 % |
126.53/126.64 c | 258451 | 4347 253179 1803833 | 2147483647 258417 17 | 0.435 % |
126.62/126.72 c | 258612 | 4347 253179 1803833 | 2147483647 258578 17 | 0.435 % |
126.62/126.77 c | 258789 | 4347 253179 1803833 | 2147483647 258755 17 | 0.435 % |
126.72/126.85 c | 258982 | 4347 253179 1803833 | 2147483647 258948 17 | 0.435 % |
126.72/126.89 c | 259194 | 4347 253179 1803833 | 2147483647 259160 17 | 0.435 % |
126.82/126.96 c | 259427 | 4347 253179 1803833 | 2147483647 259393 17 | 0.435 % |
126.92/127.04 c | 259683 | 4347 253179 1803833 | 2147483647 259649 17 | 0.435 % |
127.12/127.25 c | 259965 | 4347 253179 1803833 | 2147483647 259931 17 | 0.435 % |
127.22/127.32 c | 260274 | 4347 253179 1803833 | 2147483647 260240 17 | 0.435 % |
127.43/127.52 c | 260613 | 4347 253179 1803833 | 2147483647 260579 17 | 0.435 % |
127.43/127.59 c | 260985 | 4347 253179 1803833 | 2147483647 260951 17 | 0.435 % |
127.53/127.66 c | 261395 | 4347 253179 1803833 | 2147483647 261361 17 | 0.435 % |
127.93/128.01 c | 261844 | 4347 253179 1803833 | 2147483647 261810 17 | 0.435 % |
128.03/128.11 c | 262337 | 4347 253179 1803833 | 2147483647 262303 17 | 0.435 % |
128.13/128.29 c | 262879 | 4347 253179 1803833 | 2147483647 262845 17 | 0.435 % |
128.32/128.49 c | 263475 | 4347 253179 1803833 | 2147483647 263441 17 | 0.435 % |
128.72/128.82 c | 264130 | 4347 253179 1803833 | 2147483647 264096 17 | 0.435 % |
128.92/129.06 c | 264851 | 4347 253179 1803833 | 2147483647 264817 17 | 0.435 % |
129.32/129.47 c | 265644 | 4347 253179 1803833 | 2147483647 265610 17 | 0.435 % |
129.73/129.83 c | 266515 | 4347 253179 1803833 | 2147483647 266481 17 | 0.435 % |
130.12/130.29 c | 267474 | 4347 253179 1803833 | 2147483647 267440 17 | 0.435 % |
130.32/130.44 c | 268528 | 4347 253179 1803833 | 2147483647 268494 17 | 0.435 % |
131.12/131.22 c | 269687 | 4346 253167 1803802 | 2147483647 269651 17 | 0.458 % |
131.72/131.81 c | 270961 | 4346 253167 1803802 | 2147483647 270925 17 | 0.458 % |
132.42/132.59 c | 272361 | 4346 253167 1803802 | 2147483647 272325 17 | 0.458 % |
133.62/133.73 c | 273901 | 4346 253167 1803802 | 2147483647 273865 17 | 0.458 % |
134.13/134.22 c | 275596 | 4346 253167 1803802 | 2147483647 275560 18 | 0.458 % |
135.02/135.15 c | 277459 | 4346 253167 1803802 | 2147483647 277423 18 | 0.458 % |
135.83/135.94 c | 279508 | 4346 253167 1803802 | 2147483647 279472 18 | 0.458 % |
136.73/136.86 c | 281762 | 4345 253167 1803802 | 2147483647 281725 18 | 0.481 % |
137.93/138.03 c | 284241 | 4345 253167 1803802 | 2147483647 284204 18 | 0.481 % |
139.23/139.35 c | 286967 | 4345 253167 1803802 | 2147483647 286930 18 | 0.481 % |
139.23/139.37 c | 287068 | 4345 253167 1803802 | 2147483647 287031 18 | 0.481 % |
139.33/139.42 c | 287178 | 4345 253167 1803802 | 2147483647 287141 18 | 0.481 % |
139.33/139.44 c | 287300 | 4345 253167 1803802 | 2147483647 287263 18 | 0.481 % |
139.33/139.48 c | 287433 | 4345 253167 1803802 | 2147483647 287396 18 | 0.481 % |
139.43/139.59 c | 287580 | 4345 253167 1803802 | 2147483647 287543 18 | 0.481 % |
139.53/139.70 c | 287741 | 4345 253167 1803802 | 2147483647 287704 18 | 0.481 % |
139.63/139.75 c | 287918 | 4345 253167 1803802 | 2147483647 287881 18 | 0.481 % |
139.73/139.89 c | 288111 | 4345 253167 1803802 | 2147483647 288074 18 | 0.481 % |
139.93/140.01 c | 288323 | 4345 253167 1803802 | 2147483647 288286 18 | 0.481 % |
140.03/140.19 c | 288558 | 4345 253167 1803802 | 2147483647 288521 18 | 0.481 % |
140.33/140.43 c | 288817 | 4345 253167 1803802 | 2147483647 288780 18 | 0.481 % |
140.43/140.56 c | 289099 | 4345 253167 1803802 | 2147483647 289062 18 | 0.481 % |
140.73/140.81 c | 289409 | 4345 253167 1803802 | 2147483647 289372 18 | 0.481 % |
140.83/141.00 c | 289748 | 4345 253167 1803802 | 2147483647 289711 18 | 0.481 % |
141.03/141.12 c | 290121 | 4345 253167 1803802 | 2147483647 290084 18 | 0.481 % |
141.23/141.37 c | 290530 | 4345 253167 1803802 | 2147483647 290493 18 | 0.481 % |
141.33/141.46 c | 290980 | 4345 253167 1803802 | 2147483647 290943 18 | 0.481 % |
141.53/141.69 c | 291473 | 4345 253167 1803802 | 2147483647 291436 18 | 0.481 % |
141.63/141.78 c | 292016 | 4345 253167 1803802 | 2147483647 291979 18 | 0.481 % |
142.03/142.12 c | 292612 | 4345 253167 1803802 | 2147483647 292575 18 | 0.481 % |
142.52/142.64 c | 293267 | 4345 253167 1803802 | 2147483647 293230 18 | 0.481 % |
142.72/142.80 c | 293987 | 4345 253167 1803802 | 2147483647 293950 18 | 0.481 % |
142.83/142.97 c | 294780 | 4345 253167 1803802 | 2147483647 294743 18 | 0.481 % |
144.03/144.12 c | 295652 | 4345 253167 1803802 | 2147483647 295615 18 | 0.481 % |
144.22/144.36 c | 296610 | 4345 253167 1803802 | 2147483647 296573 18 | 0.481 % |
144.72/144.81 c | 297664 | 4345 253167 1803802 | 2147483647 297627 18 | 0.481 % |
145.03/145.18 c | 298822 | 4345 253167 1803802 | 2147483647 298785 18 | 0.481 % |
145.42/145.56 c | 300095 | 4345 253167 1803802 | 2147483647 300058 18 | 0.481 % |
146.32/146.47 c | 301496 | 4345 253167 1803802 | 2147483647 301459 18 | 0.481 % |
147.82/147.90 c | 303036 | 4345 253167 1803802 | 2147483647 302999 18 | 0.481 % |
149.02/149.16 c | 304730 | 4345 253167 1803802 | 2147483647 304693 18 | 0.481 % |
149.32/149.47 c | 306593 | 4345 253167 1803802 | 2147483647 306556 18 | 0.481 % |
150.32/150.40 c | 308642 | 4345 253167 1803802 | 2147483647 308605 18 | 0.481 % |
151.72/151.87 c | 310897 | 4345 253167 1803802 | 2147483647 310860 18 | 0.481 % |
153.42/153.55 c | 313376 | 4344 253167 1803802 | 2147483647 313338 18 | 0.504 % |
153.82/153.92 c | 316101 | 4344 253167 1803802 | 2147483647 316063 18 | 0.504 % |
154.52/154.65 c | 319098 | 4344 253167 1803802 | 2147483647 319060 18 | 0.504 % |
154.52/154.68 c | 319199 | 4344 253167 1803802 | 2147483647 319161 18 | 0.504 % |
154.61/154.74 c | 319310 | 4344 253167 1803802 | 2147483647 319272 18 | 0.504 % |
154.61/154.79 c | 319431 | 4344 253167 1803802 | 2147483647 319393 18 | 0.504 % |
154.81/154.91 c | 319564 | 4344 253167 1803802 | 2147483647 319526 18 | 0.504 % |
154.81/154.97 c | 319710 | 4344 253167 1803802 | 2147483647 319672 18 | 0.504 % |
155.02/155.10 c | 319870 | 4344 253167 1803802 | 2147483647 319832 18 | 0.504 % |
155.02/155.16 c | 320047 | 4344 253167 1803802 | 2147483647 320009 18 | 0.504 % |
155.21/155.31 c | 320241 | 4344 253167 1803802 | 2147483647 320203 18 | 0.504 % |
155.31/155.41 c | 320453 | 4344 253167 1803802 | 2147483647 320415 18 | 0.504 % |
155.31/155.46 c | 320686 | 4344 253167 1803802 | 2147483647 320648 18 | 0.504 % |
155.41/155.53 c | 320944 | 4344 253167 1803802 | 2147483647 320906 18 | 0.504 % |
155.51/155.66 c | 321225 | 4344 253167 1803802 | 2147483647 321187 18 | 0.504 % |
155.81/155.91 c | 321536 | 4344 253167 1803802 | 2147483647 321498 18 | 0.504 % |
156.02/156.14 c | 321876 | 4344 253167 1803802 | 2147483647 321838 18 | 0.504 % |
156.31/156.40 c | 322249 | 4344 253167 1803802 | 2147483647 322211 18 | 0.504 % |
156.62/156.77 c | 322659 | 4344 253167 1803802 | 2147483647 322621 18 | 0.504 % |
157.02/157.13 c | 323108 | 4344 253167 1803802 | 2147483647 323070 18 | 0.504 % |
157.13/157.24 c | 323601 | 4344 253167 1803802 | 2147483647 323563 18 | 0.504 % |
157.52/157.61 c | 324143 | 4344 253167 1803802 | 2147483647 324105 18 | 0.504 % |
157.72/157.89 c | 324739 | 4344 253167 1803802 | 2147483647 324701 18 | 0.504 % |
157.92/158.03 c | 325395 | 4344 253167 1803802 | 2147483647 325357 18 | 0.504 % |
158.32/158.47 c | 326115 | 4344 253167 1803802 | 2147483647 326077 18 | 0.504 % |
158.62/158.78 c | 326908 | 4344 253167 1803802 | 2147483647 326870 18 | 0.504 % |
159.42/159.51 c | 327781 | 4344 253167 1803802 | 2147483647 327743 18 | 0.504 % |
159.62/159.71 c | 328740 | 4344 253167 1803802 | 2147483647 328702 18 | 0.504 % |
160.32/160.49 c | 329793 | 4344 253167 1803802 | 2147483647 329755 18 | 0.504 % |
160.52/160.68 c | 330951 | 4344 253167 1803802 | 2147483647 330913 18 | 0.504 % |
161.52/161.60 c | 332226 | 4344 253167 1803802 | 2147483647 332188 18 | 0.504 % |
162.82/162.96 c | 333626 | 4344 253167 1803802 | 2147483647 333588 18 | 0.504 % |
164.02/164.10 c | 335168 | 4344 253167 1803802 | 2147483647 335130 18 | 0.504 % |
165.01/165.20 c | 336862 | 4344 253167 1803802 | 2147483647 336824 18 | 0.504 % |
165.41/165.52 c | 338726 | 4344 253167 1803802 | 2147483647 338688 18 | 0.504 % |
166.31/166.44 c | 340777 | 4344 253167 1803802 | 2147483647 340739 18 | 0.504 % |
167.51/167.69 c | 343030 | 4344 253167 1803802 | 2147483647 342992 18 | 0.504 % |
168.11/168.20 c | 345509 | 4344 253167 1803802 | 2147483647 345471 18 | 0.504 % |
169.82/169.97 c | 348235 | 4344 253167 1803802 | 2147483647 348197 18 | 0.504 % |
172.71/172.89 c | 351234 | 4344 253167 1803802 | 2147483647 351196 18 | 0.504 % |
174.11/174.24 c | 354530 | 4344 253167 1803802 | 2147483647 354492 18 | 0.504 % |
174.11/174.27 c | 354631 | 4344 253167 1803802 | 2147483647 354593 18 | 0.504 % |
174.21/174.30 c | 354741 | 4344 253167 1803802 | 2147483647 354703 18 | 0.504 % |
174.21/174.34 c | 354862 | 4344 253167 1803802 | 2147483647 354824 18 | 0.504 % |
174.31/174.47 c | 354995 | 4344 253167 1803802 | 2147483647 354957 18 | 0.504 % |
174.41/174.54 c | 355141 | 4344 253167 1803802 | 2147483647 355103 18 | 0.504 % |
174.61/174.71 c | 355301 | 4344 253167 1803802 | 2147483647 355263 18 | 0.504 % |
174.61/174.75 c | 355479 | 4344 253167 1803802 | 2147483647 355441 18 | 0.504 % |
174.81/174.99 c | 355673 | 4344 253167 1803802 | 2147483647 355635 18 | 0.504 % |
175.01/175.15 c | 355886 | 4344 253167 1803802 | 2147483647 355848 18 | 0.504 % |
175.11/175.21 c | 356119 | 4344 253167 1803802 | 2147483647 356081 18 | 0.504 % |
175.31/175.46 c | 356375 | 4344 253167 1803802 | 2147483647 356337 18 | 0.504 % |
175.41/175.57 c | 356657 | 4344 253167 1803802 | 2147483647 356619 18 | 0.504 % |
175.71/175.84 c | 356966 | 4344 253167 1803802 | 2147483647 356928 18 | 0.504 % |
175.91/176.02 c | 357305 | 4344 253167 1803802 | 2147483647 357267 18 | 0.504 % |
176.01/176.11 c | 357680 | 4344 253167 1803802 | 2147483647 357642 18 | 0.504 % |
176.11/176.22 c | 358090 | 4344 253167 1803802 | 2147483647 358052 18 | 0.504 % |
176.81/176.96 c | 358540 | 4344 253167 1803802 | 2147483647 358502 18 | 0.504 % |
177.01/177.18 c | 359033 | 4344 253167 1803802 | 2147483647 358995 18 | 0.504 % |
177.41/177.51 c | 359575 | 4344 253167 1803802 | 2147483647 359537 18 | 0.504 % |
177.91/178.05 c | 360171 | 4344 253167 1803802 | 2147483647 360133 18 | 0.504 % |
178.21/178.33 c | 360826 | 4344 253167 1803802 | 2147483647 360788 18 | 0.504 % |
178.41/178.52 c | 361547 | 4344 253167 1803802 | 2147483647 361509 18 | 0.504 % |
178.91/179.08 c | 362340 | 4344 253167 1803802 | 2147483647 362302 18 | 0.504 % |
179.41/179.51 c | 363211 | 4344 253167 1803802 | 2147483647 363173 18 | 0.504 % |
179.91/180.01 c | 364169 | 4344 253167 1803802 | 2147483647 364131 18 | 0.504 % |
180.41/180.51 c | 365222 | 4344 253167 1803802 | 2147483647 365184 18 | 0.504 % |
180.82/180.95 c | 366381 | 4344 253167 1803802 | 2147483647 366343 18 | 0.504 % |
181.82/181.90 c | 367654 | 4344 253167 1803802 | 2147483647 367616 18 | 0.504 % |
182.71/182.81 c | 369057 | 4344 253167 1803802 | 2147483647 369019 18 | 0.504 % |
183.91/184.07 c | 370598 | 4344 253167 1803802 | 2147483647 370560 18 | 0.504 % |
185.01/185.16 c | 372292 | 4344 253143 1803740 | 2147483647 372253 18 | 0.504 % |
186.51/186.68 c | 374155 | 4344 253143 1803740 | 2147483647 374116 18 | 0.504 % |
188.21/188.33 c | 376204 | 4344 253143 1803740 | 2147483647 376165 18 | 0.504 % |
188.61/188.74 c | 378458 | 4344 253143 1803740 | 2147483647 378419 18 | 0.504 % |
190.41/190.51 c | 380938 | 4344 253143 1803740 | 2147483647 380899 18 | 0.504 % |
192.21/192.32 c | 383663 | 4344 253143 1803740 | 2147483647 383624 18 | 0.504 % |
193.20/193.33 c | 386661 | 4344 253143 1803740 | 2147483647 386622 18 | 0.504 % |
194.30/194.42 c | 389957 | 4344 253143 1803740 | 2147483647 389918 18 | 0.504 % |
197.41/197.52 c | 393584 | 4344 253143 1803740 | 2147483647 393545 18 | 0.504 % |
197.41/197.58 c | 393685 | 4344 253143 1803740 | 2147483647 393646 18 | 0.504 % |
197.51/197.63 c | 393797 | 4344 253143 1803740 | 2147483647 393758 18 | 0.504 % |
197.51/197.69 c | 393918 | 4344 253143 1803740 | 2147483647 393879 18 | 0.504 % |
197.61/197.74 c | 394051 | 4344 253143 1803740 | 2147483647 394012 18 | 0.504 % |
197.71/197.80 c | 394197 | 4344 253143 1803740 | 2147483647 394158 18 | 0.504 % |
197.71/197.87 c | 394358 | 4344 253143 1803740 | 2147483647 394319 18 | 0.504 % |
197.91/198.05 c | 394535 | 4344 253143 1803740 | 2147483647 394496 18 | 0.504 % |
198.01/198.13 c | 394728 | 4344 253143 1803740 | 2147483647 394689 18 | 0.504 % |
198.11/198.21 c | 394940 | 4344 253143 1803740 | 2147483647 394901 18 | 0.504 % |
198.31/198.46 c | 395174 | 4344 253143 1803740 | 2147483647 395135 18 | 0.504 % |
198.41/198.57 c | 395431 | 4344 253143 1803740 | 2147483647 395392 18 | 0.504 % |
198.61/198.77 c | 395712 | 4344 253143 1803740 | 2147483647 395673 18 | 0.504 % |
198.71/198.87 c | 396022 | 4344 253143 1803740 | 2147483647 395983 18 | 0.504 % |
198.91/199.08 c | 396361 | 4344 253143 1803740 | 2147483647 396322 18 | 0.504 % |
199.01/199.17 c | 396734 | 4344 253143 1803740 | 2147483647 396695 18 | 0.504 % |
199.11/199.23 c | 397144 | 4344 253143 1803740 | 2147483647 397105 18 | 0.504 % |
199.91/200.06 c | 397594 | 4344 253143 1803740 | 2147483647 397555 18 | 0.504 % |
200.01/200.16 c | 398087 | 4344 253143 1803740 | 2147483647 398048 18 | 0.504 % |
200.81/200.96 c | 398630 | 4344 253143 1803740 | 2147483647 398591 18 | 0.504 % |
201.11/201.22 c | 399227 | 4344 253143 1803740 | 2147483647 399188 18 | 0.504 % |
201.51/201.65 c | 399882 | 4344 253143 1803740 | 2147483647 399843 18 | 0.504 % |
201.71/201.85 c | 400602 | 4344 253143 1803740 | 2147483647 400563 18 | 0.504 % |
202.40/202.53 c | 401394 | 4344 253143 1803740 | 2147483647 401355 18 | 0.504 % |
202.70/202.82 c | 402265 | 4344 253143 1803740 | 2147483647 402226 18 | 0.504 % |
204.20/204.32 c | 403223 | 4344 253143 1803740 | 2147483647 403184 18 | 0.504 % |
204.90/205.06 c | 404276 | 4344 253143 1803740 | 2147483647 404237 18 | 0.504 % |
205.00/205.17 c | 405434 | 4344 253143 1803740 | 2147483647 405395 18 | 0.504 % |
205.20/205.31 c | 406707 | 4344 253143 1803740 | 2147483647 406668 18 | 0.504 % |
206.60/206.79 c | 408107 | 4344 253143 1803740 | 2147483647 408068 18 | 0.504 % |
207.40/207.56 c | 409648 | 4344 253143 1803740 | 2147483647 409609 18 | 0.504 % |
208.80/208.93 c | 411342 | 4344 253143 1803740 | 2147483647 411303 18 | 0.504 % |
210.61/210.79 c | 413206 | 4344 253143 1803740 | 2147483647 413167 18 | 0.504 % |
212.01/212.19 c | 415256 | 4344 253143 1803740 | 2147483647 415217 18 | 0.504 % |
212.80/212.92 c | 417512 | 4344 253143 1803740 | 2147483647 417473 18 | 0.504 % |
213.00/213.16 c | 419991 | 4344 253143 1803740 | 2147483647 419952 18 | 0.504 % |
215.30/215.41 c | 422716 | 4344 253143 1803740 | 2147483647 422677 18 | 0.504 % |
216.00/216.15 c | 425715 | 4344 253143 1803740 | 2147483647 425676 18 | 0.504 % |
219.20/219.39 c | 429011 | 4344 253143 1803740 | 2147483647 428972 18 | 0.504 % |
221.60/221.78 c | 432637 | 4344 253143 1803740 | 2147483647 432598 18 | 0.504 % |
223.70/223.89 c | 436625 | 4344 253143 1803740 | 2147483647 436586 19 | 0.504 % |
223.80/223.96 c | 436725 | 4344 253143 1803740 | 2147483647 436686 19 | 0.504 % |
223.80/224.00 c | 436835 | 4344 253143 1803740 | 2147483647 436796 19 | 0.504 % |
223.90/224.02 c | 436957 | 4344 253143 1803740 | 2147483647 436918 19 | 0.504 % |
224.00/224.11 c | 437090 | 4344 253143 1803740 | 2147483647 437051 19 | 0.504 % |
224.10/224.30 c | 437236 | 4344 253143 1803740 | 2147483647 437197 19 | 0.504 % |
224.40/224.53 c | 437396 | 4344 253143 1803740 | 2147483647 437357 19 | 0.504 % |
224.50/224.60 c | 437573 | 4344 253143 1803740 | 2147483647 437534 19 | 0.504 % |
224.69/224.84 c | 437766 | 4344 253143 1803740 | 2147483647 437727 19 | 0.504 % |
224.79/224.93 c | 437979 | 4344 253143 1803740 | 2147483647 437940 18 | 0.504 % |
224.99/225.15 c | 438213 | 4344 253143 1803740 | 2147483647 438174 18 | 0.504 % |
225.19/225.37 c | 438470 | 4344 253143 1803740 | 2147483647 438431 18 | 0.504 % |
225.40/225.54 c | 438751 | 4344 253143 1803740 | 2147483647 438712 18 | 0.504 % |
225.49/225.70 c | 439060 | 4344 253143 1803740 | 2147483647 439021 18 | 0.504 % |
225.69/225.82 c | 439399 | 4344 253143 1803740 | 2147483647 439360 18 | 0.504 % |
225.79/225.98 c | 439772 | 4344 253143 1803740 | 2147483647 439733 18 | 0.504 % |
225.99/226.11 c | 440182 | 4344 253143 1803740 | 2147483647 440143 18 | 0.504 % |
226.69/226.89 c | 440632 | 4344 253143 1803740 | 2147483647 440593 19 | 0.504 % |
227.40/227.53 c | 441125 | 4344 253143 1803740 | 2147483647 441086 19 | 0.504 % |
227.60/227.79 c | 441668 | 4344 253143 1803740 | 2147483647 441629 18 | 0.504 % |
227.90/228.08 c | 442264 | 4344 253143 1803740 | 2147483647 442225 18 | 0.504 % |
228.10/228.24 c | 442919 | 4344 253143 1803740 | 2147483647 442880 19 | 0.504 % |
228.70/228.83 c | 443639 | 4344 253143 1803740 | 2147483647 443600 19 | 0.504 % |
229.60/229.79 c | 444431 | 4344 253143 1803740 | 2147483647 444392 19 | 0.504 % |
230.30/230.41 c | 445302 | 4344 253143 1803740 | 2147483647 445263 19 | 0.504 % |
230.80/230.99 c | 446260 | 4344 253143 1803740 | 2147483647 446221 19 | 0.504 % |
231.70/231.87 c | 447313 | 4344 253143 1803740 | 2147483647 447274 19 | 0.504 % |
232.50/232.63 c | 448471 | 4344 253143 1803740 | 2147483647 448432 19 | 0.504 % |
233.39/233.53 c | 449744 | 4344 253143 1803740 | 2147483647 449705 19 | 0.504 % |
234.69/234.89 c | 451144 | 4344 253143 1803740 | 2147483647 451105 19 | 0.504 % |
235.20/235.32 c | 452685 | 4344 253143 1803740 | 2147483647 452646 19 | 0.504 % |
237.59/237.80 c | 454381 | 4344 253143 1803740 | 2147483647 454342 19 | 0.504 % |
239.19/239.38 c | 456245 | 4344 253143 1803740 | 2147483647 456206 19 | 0.504 % |
240.19/240.39 c | 458295 | 4344 253143 1803740 | 2147483647 458256 19 | 0.504 % |
240.69/240.88 c | 460549 | 4344 253143 1803740 | 2147483647 460510 19 | 0.504 % |
242.20/242.34 c | 463028 | 4344 253143 1803740 | 2147483647 462989 19 | 0.504 % |
244.70/244.89 c | 465754 | 4344 253143 1803740 | 2147483647 465715 19 | 0.504 % |
247.69/247.88 c | 468753 | 4344 253143 1803740 | 2147483647 468714 19 | 0.504 % |
255.29/255.46 c | 472051 | 4344 253143 1803740 | 2147483647 472012 19 | 0.504 % |
256.19/256.31 c | 475678 | 4344 253143 1803740 | 2147483647 475639 19 | 0.504 % |
261.69/261.84 c | 479667 | 4344 253143 1803740 | 2147483647 479628 19 | 0.504 % |
267.08/267.25 c | 484053 | 4344 253143 1803740 | 2147483647 484014 19 | 0.504 % |
267.08/267.29 c | 484153 | 4344 253143 1803740 | 2147483647 484114 19 | 0.504 % |
267.18/267.33 c | 484264 | 4344 253143 1803740 | 2147483647 484225 19 | 0.504 % |
267.18/267.38 c | 484385 | 4344 253143 1803740 | 2147483647 484346 19 | 0.504 % |
267.28/267.48 c | 484520 | 4344 253143 1803740 | 2147483647 484481 19 | 0.504 % |
267.38/267.56 c | 484667 | 4344 253143 1803740 | 2147483647 484628 19 | 0.504 % |
267.48/267.60 c | 484827 | 4344 253143 1803740 | 2147483647 484788 19 | 0.504 % |
267.58/267.77 c | 485003 | 4344 253143 1803740 | 2147483647 484964 19 | 0.504 % |
267.68/267.83 c | 485198 | 4344 253143 1803740 | 2147483647 485159 19 | 0.504 % |
267.98/268.13 c | 485410 | 4344 253143 1803740 | 2147483647 485371 19 | 0.504 % |
268.08/268.26 c | 485643 | 4344 253143 1803740 | 2147483647 485604 19 | 0.504 % |
268.28/268.41 c | 485899 | 4344 253143 1803740 | 2147483647 485860 19 | 0.504 % |
268.38/268.52 c | 486182 | 4344 253143 1803740 | 2147483647 486143 19 | 0.504 % |
268.68/268.80 c | 486491 | 4344 253143 1803740 | 2147483647 486452 19 | 0.504 % |
268.98/269.11 c | 486831 | 4344 253143 1803740 | 2147483647 486792 19 | 0.504 % |
269.28/269.47 c | 487203 | 4344 253143 1803740 | 2147483647 487164 19 | 0.504 % |
269.48/269.62 c | 487613 | 4344 253143 1803740 | 2147483647 487574 19 | 0.504 % |
269.78/269.91 c | 488062 | 4344 253143 1803740 | 2147483647 488023 19 | 0.504 % |
269.88/270.06 c | 488555 | 4344 253143 1803740 | 2147483647 488516 19 | 0.504 % |
270.38/270.51 c | 489098 | 4344 253143 1803740 | 2147483647 489059 19 | 0.504 % |
270.58/270.71 c | 489694 | 4344 253143 1803740 | 2147483647 489655 19 | 0.504 % |
270.88/271.05 c | 490349 | 4344 253143 1803740 | 2147483647 490310 19 | 0.504 % |
271.18/271.35 c | 491069 | 4344 253143 1803740 | 2147483647 491030 19 | 0.504 % |
271.68/271.86 c | 491862 | 4344 253143 1803740 | 2147483647 491823 19 | 0.504 % |
272.19/272.36 c | 492734 | 4344 253143 1803740 | 2147483647 492695 19 | 0.504 % |
273.49/273.65 c | 493693 | 4344 253143 1803740 | 2147483647 493654 19 | 0.504 % |
273.69/273.82 c | 494747 | 4344 253143 1803740 | 2147483647 494708 19 | 0.504 % |
274.68/274.90 c | 495905 | 4344 253143 1803740 | 2147483647 495866 19 | 0.504 % |
275.08/275.28 c | 497178 | 4344 253143 1803740 | 2147483647 497139 19 | 0.504 % |
276.78/276.92 c | 498578 | 4344 253143 1803740 | 2147483647 498539 19 | 0.504 % |
278.68/278.83 c | 500118 | 4344 253143 1803740 | 2147483647 500079 19 | 0.504 % |
280.38/280.51 c | 501813 | 4344 253143 1803740 | 2147483647 501774 19 | 0.504 % |
281.48/281.63 c | 503676 | 4344 253143 1803740 | 2147483647 503637 19 | 0.504 % |
282.08/282.26 c | 505725 | 4344 253143 1803740 | 2147483647 505686 19 | 0.504 % |
285.88/286.03 c | 507978 | 4344 253143 1803740 | 2147483647 507939 19 | 0.504 % |
288.47/288.60 c | 510457 | 4344 253143 1803740 | 2147483647 510418 19 | 0.504 % |
290.77/290.92 c | 513184 | 4344 253143 1803740 | 2147483647 513145 19 | 0.504 % |
291.97/292.14 c | 516181 | 4344 253143 1803740 | 2147483647 516142 19 | 0.504 % |
295.17/295.39 c | 519477 | 4344 253143 1803740 | 2147483647 519438 19 | 0.504 % |
300.38/300.55 c | 523104 | 4344 253143 1803740 | 2147483647 523065 19 | 0.504 % |
301.57/301.71 c | 527091 | 4344 253143 1803740 | 2147483647 527052 19 | 0.504 % |
306.37/306.51 c | 531477 | 4344 253143 1803740 | 2147483647 531438 19 | 0.504 % |
312.27/312.46 c | 536301 | 4344 253143 1803740 | 2147483647 536262 19 | 0.504 % |
312.27/312.49 c | 536401 | 4344 253143 1803740 | 2147483647 536362 19 | 0.504 % |
312.37/312.53 c | 536511 | 4344 253143 1803740 | 2147483647 536472 19 | 0.504 % |
312.37/312.57 c | 536632 | 4344 253143 1803740 | 2147483647 536593 19 | 0.504 % |
312.47/312.69 c | 536767 | 4344 253143 1803740 | 2147483647 536728 19 | 0.504 % |
312.57/312.76 c | 536914 | 4344 253143 1803740 | 2147483647 536875 19 | 0.504 % |
312.67/312.84 c | 537075 | 4344 253143 1803740 | 2147483647 537036 19 | 0.504 % |
312.87/313.06 c | 537251 | 4344 253143 1803740 | 2147483647 537212 19 | 0.504 % |
313.07/313.21 c | 537445 | 4344 253143 1803740 | 2147483647 537406 19 | 0.504 % |
313.27/313.43 c | 537658 | 4344 253143 1803740 | 2147483647 537619 19 | 0.504 % |
313.37/313.59 c | 537893 | 4344 253143 1803740 | 2147483647 537854 19 | 0.504 % |
313.67/313.81 c | 538149 | 4344 253143 1803740 | 2147483647 538110 19 | 0.504 % |
313.97/314.11 c | 538431 | 4344 253143 1803740 | 2147483647 538392 19 | 0.504 % |
314.17/314.31 c | 538740 | 4344 253143 1803740 | 2147483647 538701 19 | 0.504 % |
314.57/314.71 c | 539080 | 4344 253143 1803740 | 2147483647 539041 19 | 0.504 % |
314.67/314.82 c | 539452 | 4344 253143 1803740 | 2147483647 539413 19 | 0.504 % |
315.27/315.43 c | 539862 | 4344 253143 1803740 | 2147483647 539823 19 | 0.504 % |
315.47/315.63 c | 540311 | 4344 253143 1803740 | 2147483647 540272 19 | 0.504 % |
315.57/315.77 c | 540805 | 4344 253143 1803740 | 2147483647 540766 19 | 0.504 % |
316.47/316.62 c | 541347 | 4344 253143 1803740 | 2147483647 541308 19 | 0.504 % |
316.57/316.80 c | 541943 | 4344 253143 1803740 | 2147483647 541904 19 | 0.504 % |
317.36/317.55 c | 542598 | 4344 253143 1803740 | 2147483647 542559 19 | 0.504 % |
318.56/318.72 c | 543321 | 4344 253143 1803740 | 2147483647 543282 19 | 0.504 % |
319.36/319.56 c | 544113 | 4344 253143 1803740 | 2147483647 544074 19 | 0.504 % |
319.97/320.13 c | 544984 | 4344 253143 1803740 | 2147483647 544945 19 | 0.504 % |
321.07/321.30 c | 545942 | 4344 253143 1803740 | 2147483647 545903 19 | 0.504 % |
322.07/322.26 c | 546995 | 4344 253143 1803740 | 2147483647 546956 19 | 0.504 % |
322.86/323.06 c | 548154 | 4344 253143 1803740 | 2147483647 548115 19 | 0.504 % |
323.56/323.77 c | 549427 | 4344 253143 1803740 | 2147483647 549388 19 | 0.504 % |
324.36/324.58 c | 550827 | 4344 253143 1803740 | 2147483647 550788 19 | 0.504 % |
325.17/325.37 c | 552368 | 4344 253143 1803740 | 2147483647 552329 19 | 0.504 % |
327.57/327.77 c | 554062 | 4344 253143 1803740 | 2147483647 554023 19 | 0.504 % |
329.67/329.84 c | 555926 | 4344 253143 1803740 | 2147483647 555887 19 | 0.504 % |
330.87/331.04 c | 557976 | 4344 253143 1803740 | 2147483647 557937 19 | 0.504 % |
333.96/334.13 c | 560230 | 4344 253143 1803740 | 2147483647 560191 19 | 0.504 % |
335.06/335.27 c | 562708 | 4344 253143 1803740 | 2147483647 562669 19 | 0.504 % |
337.26/337.43 c | 565433 | 4344 253143 1803740 | 2147483647 565394 19 | 0.504 % |
339.46/339.65 c | 568431 | 4344 253143 1803740 | 2147483647 568392 19 | 0.504 % |
340.86/341.03 c | 571728 | 4344 253143 1803740 | 2147483647 571689 19 | 0.504 % |
341.86/342.03 c | 575354 | 4344 253143 1803740 | 2147483647 575315 19 | 0.504 % |
349.46/349.62 c | 579342 | 4344 253143 1803740 | 2147483647 579303 19 | 0.504 % |
352.05/352.21 c | 583728 | 4344 253143 1803740 | 2147483647 583689 19 | 0.504 % |
355.26/355.46 c | 588551 | 4344 253143 1803740 | 2147483647 588512 19 | 0.504 % |
362.36/362.59 c | 593857 | 4344 253143 1803740 | 2147483647 593818 19 | 0.504 % |
362.46/362.68 c | 593957 | 4344 253143 1803740 | 2147483647 593918 19 | 0.504 % |
362.56/362.74 c | 594067 | 4344 253143 1803740 | 2147483647 594028 19 | 0.504 % |
362.66/362.84 c | 594190 | 4344 253143 1803740 | 2147483647 594151 19 | 0.504 % |
362.76/363.00 c | 594324 | 4344 253143 1803740 | 2147483647 594285 19 | 0.504 % |
363.05/363.21 c | 594470 | 4344 253143 1803740 | 2147483647 594431 19 | 0.504 % |
363.25/363.44 c | 594631 | 4344 253143 1803740 | 2147483647 594592 19 | 0.504 % |
363.35/363.53 c | 594808 | 4344 253143 1803740 | 2147483647 594769 19 | 0.504 % |
363.45/363.66 c | 595003 | 4344 253143 1803740 | 2147483647 594964 19 | 0.504 % |
363.75/363.94 c | 595215 | 4344 253143 1803740 | 2147483647 595176 19 | 0.504 % |
363.86/364.04 c | 595448 | 4344 253143 1803740 | 2147483647 595409 19 | 0.504 % |
364.25/364.41 c | 595704 | 4344 253143 1803740 | 2147483647 595665 19 | 0.504 % |
364.35/364.54 c | 595985 | 4344 253143 1803740 | 2147483647 595946 19 | 0.504 % |
364.55/364.78 c | 596294 | 4344 253143 1803740 | 2147483647 596255 19 | 0.504 % |
364.65/364.87 c | 596633 | 4344 253143 1803740 | 2147483647 596594 19 | 0.504 % |
365.15/365.36 c | 597007 | 4344 253143 1803740 | 2147483647 596968 19 | 0.504 % |
365.65/365.80 c | 597416 | 4344 253143 1803740 | 2147483647 597377 19 | 0.504 % |
365.85/366.08 c | 597865 | 4344 253143 1803740 | 2147483647 597826 19 | 0.504 % |
366.15/366.32 c | 598358 | 4344 253143 1803740 | 2147483647 598319 19 | 0.504 % |
367.05/367.22 c | 598900 | 4344 253143 1803740 | 2147483647 598861 19 | 0.504 % |
367.35/367.59 c | 599497 | 4344 253143 1803740 | 2147483647 599458 19 | 0.504 % |
367.95/368.16 c | 600154 | 4344 253143 1803740 | 2147483647 600115 19 | 0.504 % |
368.25/368.47 c | 600875 | 4344 253143 1803740 | 2147483647 600836 19 | 0.504 % |
369.35/369.55 c | 601668 | 4344 253143 1803740 | 2147483647 601629 19 | 0.504 % |
369.95/370.13 c | 602540 | 4344 253143 1803740 | 2147483647 602501 19 | 0.504 % |
370.95/371.11 c | 603498 | 4344 253143 1803740 | 2147483647 603459 19 | 0.504 % |
372.25/372.49 c | 604551 | 4344 253143 1803740 | 2147483647 604512 19 | 0.504 % |
372.85/373.08 c | 605709 | 4343 253131 1803709 | 2147483647 605667 19 | 0.527 % |
373.95/374.16 c | 606982 | 4343 253131 1803709 | 2147483647 606940 19 | 0.527 % |
375.05/375.27 c | 608382 | 4343 253131 1803709 | 2147483647 608340 19 | 0.527 % |
376.55/376.71 c | 609922 | 4343 253131 1803709 | 2147483647 609880 19 | 0.527 % |
378.35/378.51 c | 611619 | 4343 253131 1803709 | 2147483647 611577 19 | 0.527 % |
379.35/379.59 c | 613483 | 4343 253131 1803709 | 2147483647 613441 19 | 0.527 % |
382.05/382.29 c | 615534 | 4343 253131 1803709 | 2147483647 615492 19 | 0.527 % |
382.85/383.04 c | 617788 | 4343 253131 1803709 | 2147483647 617746 19 | 0.527 % |
384.65/384.82 c | 620267 | 4343 253131 1803709 | 2147483647 620225 19 | 0.527 % |
386.74/386.91 c | 622993 | 4343 253131 1803709 | 2147483647 622951 19 | 0.527 % |
388.64/388.87 c | 625990 | 4343 253131 1803709 | 2147483647 625948 19 | 0.527 % |
392.15/392.31 c | 629286 | 4343 253131 1803709 | 2147483647 629244 19 | 0.527 % |
395.35/395.57 c | 632911 | 4343 253131 1803709 | 2147483647 632869 19 | 0.527 % |
398.05/398.24 c | 636898 | 4343 253131 1803709 | 2147483647 636856 19 | 0.527 % |
402.04/402.25 c | 641283 | 4343 253131 1803709 | 2147483647 641241 19 | 0.527 % |
408.14/408.33 c | 646106 | 4343 253131 1803709 | 2147483647 646064 19 | 0.527 % |
415.73/415.96 c | 651411 | 4343 253131 1803709 | 2147483647 651369 19 | 0.527 % |
426.83/427.04 c | 657246 | 4343 253131 1803709 | 2147483647 657204 20 | 0.527 % |
426.93/427.14 c | 657347 | 4343 253131 1803709 | 2147483647 657305 20 | 0.527 % |
427.03/427.22 c | 657457 | 4343 253131 1803709 | 2147483647 657415 20 | 0.527 % |
427.13/427.31 c | 657578 | 4343 253131 1803709 | 2147483647 657536 20 | 0.527 % |
427.23/427.47 c | 657712 | 4343 253131 1803709 | 2147483647 657670 20 | 0.527 % |
427.43/427.63 c | 657859 | 4343 253131 1803709 | 2147483647 657817 20 | 0.527 % |
427.53/427.76 c | 658020 | 4343 253131 1803709 | 2147483647 657978 20 | 0.527 % |
427.64/427.86 c | 658198 | 4343 253131 1803709 | 2147483647 658156 20 | 0.527 % |
427.74/427.97 c | 658392 | 4343 253131 1803709 | 2147483647 658350 20 | 0.527 % |
427.83/428.05 c | 658604 | 4343 253131 1803709 | 2147483647 658562 20 | 0.527 % |
428.03/428.24 c | 658837 | 4343 253131 1803709 | 2147483647 658795 20 | 0.527 % |
428.13/428.35 c | 659094 | 4343 253131 1803709 | 2147483647 659052 20 | 0.527 % |
428.53/428.70 c | 659375 | 4343 253131 1803709 | 2147483647 659333 20 | 0.527 % |
428.63/428.86 c | 659685 | 4343 253131 1803709 | 2147483647 659643 20 | 0.527 % |
428.84/429.02 c | 660024 | 4343 253131 1803709 | 2147483647 659982 20 | 0.527 % |
429.33/429.51 c | 660396 | 4343 253131 1803709 | 2147483647 660354 20 | 0.527 % |
429.73/429.94 c | 660805 | 4343 253131 1803709 | 2147483647 660763 20 | 0.527 % |
430.03/430.25 c | 661255 | 4343 253131 1803709 | 2147483647 661213 20 | 0.527 % |
430.43/430.60 c | 661750 | 4343 253131 1803709 | 2147483647 661708 20 | 0.527 % |
431.03/431.22 c | 662292 | 4343 253131 1803709 | 2147483647 662250 20 | 0.527 % |
431.43/431.63 c | 662889 | 4343 253131 1803709 | 2147483647 662847 20 | 0.527 % |
432.73/432.93 c | 663544 | 4343 253131 1803709 | 2147483647 663502 20 | 0.527 % |
433.43/433.68 c | 664265 | 4343 253131 1803709 | 2147483647 664223 20 | 0.527 % |
434.33/434.54 c | 665057 | 4343 253131 1803709 | 2147483647 665015 20 | 0.527 % |
435.43/435.68 c | 665929 | 4343 253131 1803709 | 2147483647 665887 20 | 0.527 % |
437.23/437.47 c | 666887 | 4343 253131 1803709 | 2147483647 666845 20 | 0.527 % |
437.63/437.88 c | 667940 | 4343 253131 1803709 | 2147483647 667898 20 | 0.527 % |
438.43/438.68 c | 669098 | 4343 253131 1803709 | 2147483647 669056 20 | 0.527 % |
440.42/440.63 c | 670371 | 4343 253131 1803709 | 2147483647 670329 20 | 0.527 % |
441.32/441.59 c | 671772 | 4343 253131 1803709 | 2147483647 671730 20 | 0.527 % |
443.32/443.56 c | 673315 | 4343 253131 1803709 | 2147483647 673273 20 | 0.527 % |
447.03/447.23 c | 675012 | 4343 253131 1803709 | 2147483647 674970 20 | 0.527 % |
447.93/448.11 c | 676876 | 4343 253131 1803709 | 2147483647 676834 20 | 0.527 % |
450.83/451.06 c | 678926 | 4343 253131 1803709 | 2147483647 678884 20 | 0.527 % |
452.83/453.09 c | 681179 | 4343 253131 1803709 | 2147483647 681137 20 | 0.527 % |
456.12/456.39 c | 683657 | 4343 253131 1803709 | 2147483647 683615 20 | 0.527 % |
458.62/458.82 c | 686382 | 4342 253131 1803709 | 2147483647 686339 20 | 0.550 % |
460.82/461.05 c | 689381 | 4342 253131 1803709 | 2147483647 689338 20 | 0.550 % |
465.42/465.70 c | 692678 | 4342 253131 1803709 | 2147483647 692635 20 | 0.550 % |
470.53/470.77 c | 696303 | 4342 253131 1803709 | 2147483647 696260 20 | 0.550 % |
474.72/474.94 c | 700291 | 4342 253131 1803709 | 2147483647 700248 20 | 0.550 % |
478.12/478.31 c | 704677 | 4342 253131 1803709 | 2147483647 704634 20 | 0.550 % |
483.11/483.35 c | 709500 | 4342 253131 1803709 | 2147483647 709457 20 | 0.550 % |
492.52/492.77 c | 714806 | 4342 253131 1803709 | 2147483647 714763 20 | 0.550 % |
497.21/497.48 c | 720642 | 4342 253131 1803709 | 2147483647 720599 20 | 0.550 % |
506.51/506.72 c | 727062 | 4342 253131 1803709 | 2147483647 727019 20 | 0.550 % |
506.61/506.82 c | 727162 | 4342 253131 1803709 | 2147483647 727119 20 | 0.550 % |
506.81/507.01 c | 727273 | 4342 253131 1803709 | 2147483647 727230 20 | 0.550 % |
506.81/507.09 c | 727395 | 4342 253131 1803709 | 2147483647 727352 20 | 0.550 % |
506.91/507.18 c | 727528 | 4342 253131 1803709 | 2147483647 727485 20 | 0.550 % |
507.20/507.43 c | 727675 | 4342 253131 1803709 | 2147483647 727632 20 | 0.550 % |
507.50/507.76 c | 727835 | 4342 253131 1803709 | 2147483647 727792 20 | 0.550 % |
507.60/507.89 c | 728011 | 4342 253131 1803709 | 2147483647 727968 20 | 0.550 % |
507.91/508.14 c | 728205 | 4342 253131 1803709 | 2147483647 728162 20 | 0.550 % |
508.20/508.40 c | 728417 | 4342 253131 1803709 | 2147483647 728374 20 | 0.550 % |
508.51/508.73 c | 728651 | 4342 253131 1803709 | 2147483647 728608 20 | 0.550 % |
508.61/508.82 c | 728908 | 4342 253131 1803709 | 2147483647 728865 20 | 0.550 % |
508.81/509.08 c | 729189 | 4342 253131 1803709 | 2147483647 729146 20 | 0.550 % |
509.11/509.30 c | 729498 | 4342 253131 1803709 | 2147483647 729455 20 | 0.550 % |
509.60/509.86 c | 729838 | 4342 253131 1803709 | 2147483647 729795 20 | 0.550 % |
509.90/510.18 c | 730210 | 4342 253131 1803709 | 2147483647 730167 20 | 0.550 % |
510.40/510.67 c | 730619 | 4342 253131 1803709 | 2147483647 730576 20 | 0.550 % |
510.60/510.89 c | 731068 | 4342 253131 1803709 | 2147483647 731025 20 | 0.550 % |
511.70/511.98 c | 731563 | 4342 253131 1803709 | 2147483647 731520 20 | 0.550 % |
512.10/512.34 c | 732107 | 4342 253131 1803709 | 2147483647 732064 20 | 0.550 % |
512.31/512.59 c | 732703 | 4342 253131 1803709 | 2147483647 732660 20 | 0.550 % |
513.80/514.08 c | 733359 | 4342 253131 1803709 | 2147483647 733316 20 | 0.550 % |
514.90/515.13 c | 734080 | 4342 253131 1803709 | 2147483647 734037 20 | 0.550 % |
515.30/515.52 c | 734873 | 4342 253131 1803709 | 2147483647 734830 20 | 0.550 % |
516.30/516.51 c | 735747 | 4342 253131 1803709 | 2147483647 735704 20 | 0.550 % |
517.60/517.81 c | 736707 | 4342 253131 1803709 | 2147483647 736664 20 | 0.550 % |
518.60/518.81 c | 737760 | 4342 253131 1803709 | 2147483647 737717 20 | 0.550 % |
520.00/520.28 c | 738919 | 4342 253131 1803709 | 2147483647 738876 20 | 0.550 % |
521.00/521.22 c | 740192 | 4342 253131 1803709 | 2147483647 740149 20 | 0.550 % |
522.20/522.46 c | 741592 | 4342 253131 1803709 | 2147483647 741549 20 | 0.550 % |
524.70/524.99 c | 743132 | 4342 253131 1803709 | 2147483647 743089 20 | 0.550 % |
525.90/526.15 c | 744827 | 4342 253131 1803709 | 2147483647 744784 20 | 0.550 % |
527.70/528.00 c | 746690 | 4342 253131 1803709 | 2147483647 746647 20 | 0.550 % |
529.80/530.02 c | 748739 | 4342 253131 1803709 | 2147483647 748696 20 | 0.550 % |
533.89/534.17 c | 750993 | 4342 253131 1803709 | 2147483647 750950 20 | 0.550 % |
537.50/537.78 c | 753471 | 4342 253131 1803709 | 2147483647 753428 20 | 0.550 % |
540.60/540.81 c | 756196 | 4342 253131 1803709 | 2147483647 756153 20 | 0.550 % |
545.79/546.08 c | 759193 | 4342 253131 1803709 | 2147483647 759150 20 | 0.550 % |
550.29/550.56 c | 762489 | 4342 253131 1803709 | 2147483647 762446 20 | 0.550 % |
563.39/563.61 c | 766115 | 4342 253131 1803709 | 2147483647 766072 20 | 0.550 % |
568.19/568.47 c | 770104 | 4342 253131 1803709 | 2147483647 770061 20 | 0.550 % |
576.89/577.17 c | 774489 | 4342 253131 1803709 | 2147483647 774446 20 | 0.550 % |
582.48/582.74 c | 779312 | 4342 253123 1803683 | 2147483647 779268 20 | 0.550 % |
589.98/590.24 c | 784617 | 4341 253123 1803683 | 2147483647 784572 20 | 0.573 % |
598.78/599.08 c | 790452 | 4341 253123 1803683 | 2147483647 790407 20 | 0.573 % |
604.77/605.09 c | 796870 | 4341 253123 1803683 | 2147483647 796825 20 | 0.573 % |
614.68/614.97 c | 803929 | 4341 253123 1803683 | 2147483647 803884 20 | 0.573 % |
614.78/615.07 c | 804029 | 4341 253123 1803683 | 2147483647 803984 20 | 0.573 % |
614.98/615.22 c | 804140 | 4341 253123 1803683 | 2147483647 804095 20 | 0.573 % |
615.08/615.33 c | 804262 | 4341 253123 1803683 | 2147483647 804217 20 | 0.573 % |
615.38/615.66 c | 804396 | 4341 253123 1803683 | 2147483647 804351 20 | 0.573 % |
615.48/615.73 c | 804543 | 4341 253123 1803683 | 2147483647 804498 20 | 0.573 % |
615.68/615.99 c | 804704 | 4341 253123 1803683 | 2147483647 804659 20 | 0.573 % |
615.88/616.12 c | 804880 | 4341 253123 1803683 | 2147483647 804835 20 | 0.573 % |
615.98/616.23 c | 805073 | 4341 253123 1803683 | 2147483647 805028 20 | 0.573 % |
616.38/616.68 c | 805286 | 4341 253123 1803683 | 2147483647 805241 20 | 0.573 % |
616.48/616.77 c | 805520 | 4341 253123 1803683 | 2147483647 805475 20 | 0.573 % |
616.98/617.22 c | 805776 | 4341 253123 1803683 | 2147483647 805731 20 | 0.573 % |
617.38/617.65 c | 806057 | 4341 253123 1803683 | 2147483647 806012 20 | 0.573 % |
618.07/618.30 c | 806367 | 4341 253123 1803683 | 2147483647 806322 20 | 0.573 % |
618.87/619.19 c | 806708 | 4341 253123 1803683 | 2147483647 806663 20 | 0.573 % |
619.08/619.37 c | 807081 | 4341 253123 1803683 | 2147483647 807036 20 | 0.573 % |
620.18/620.40 c | 807490 | 4341 253123 1803683 | 2147483647 807445 20 | 0.573 % |
620.97/621.21 c | 807940 | 4341 253123 1803683 | 2147483647 807895 20 | 0.573 % |
622.38/622.65 c | 808434 | 4341 253123 1803683 | 2147483647 808389 20 | 0.573 % |
622.57/622.89 c | 808976 | 4341 253123 1803683 | 2147483647 808931 20 | 0.573 % |
623.47/623.75 c | 809572 | 4341 253123 1803683 | 2147483647 809527 20 | 0.573 % |
623.77/624.08 c | 810227 | 4341 253123 1803683 | 2147483647 810182 20 | 0.573 % |
624.17/624.45 c | 810947 | 4341 253123 1803683 | 2147483647 810902 20 | 0.573 % |
625.87/626.14 c | 811739 | 4341 253123 1803683 | 2147483647 811694 20 | 0.573 % |
626.37/626.61 c | 812611 | 4341 253123 1803683 | 2147483647 812566 20 | 0.573 % |
627.27/627.59 c | 813569 | 4341 253123 1803683 | 2147483647 813524 20 | 0.573 % |
629.57/629.88 c | 814622 | 4341 253123 1803683 | 2147483647 814577 20 | 0.573 % |
630.97/631.25 c | 815781 | 4341 253123 1803683 | 2147483647 815736 20 | 0.573 % |
631.87/632.18 c | 817054 | 4341 253123 1803683 | 2147483647 817009 20 | 0.573 % |
634.07/634.33 c | 818455 | 4341 253123 1803683 | 2147483647 818410 20 | 0.573 % |
636.57/636.83 c | 819995 | 4341 253123 1803683 | 2147483647 819950 20 | 0.573 % |
639.56/639.85 c | 821690 | 4341 253123 1803683 | 2147483647 821645 20 | 0.573 % |
642.76/643.03 c | 823553 | 4341 253123 1803683 | 2147483647 823508 20 | 0.573 % |
646.26/646.54 c | 825602 | 4341 253123 1803683 | 2147483647 825557 20 | 0.573 % |
649.46/649.76 c | 827855 | 4341 253123 1803683 | 2147483647 827810 20 | 0.573 % |
652.06/652.31 c | 830333 | 4341 253123 1803683 | 2147483647 830288 20 | 0.573 % |
653.86/654.15 c | 833058 | 4341 253123 1803683 | 2147483647 833013 20 | 0.573 % |
657.66/657.94 c | 836056 | 4341 253123 1803683 | 2147483647 836011 20 | 0.573 % |
665.45/665.78 c | 839352 | 4341 253123 1803683 | 2147483647 839307 20 | 0.573 % |
668.95/669.26 c | 842977 | 4341 253123 1803683 | 2147483647 842932 20 | 0.573 % |
677.76/678.02 c | 846965 | 4341 253123 1803683 | 2147483647 846920 20 | 0.573 % |
686.35/686.60 c | 851351 | 4341 253123 1803683 | 2147483647 851306 20 | 0.573 % |
690.95/691.27 c | 856174 | 4341 253123 1803683 | 2147483647 856129 20 | 0.573 % |
696.65/696.92 c | 861479 | 4341 253123 1803683 | 2147483647 861434 20 | 0.573 % |
709.64/709.91 c | 867315 | 4340 253123 1803683 | 2147483647 867269 20 | 0.596 % |
719.64/719.93 c | 873734 | 4340 253123 1803683 | 2147483647 873688 20 | 0.596 % |
735.13/735.43 c | 880793 | 4340 253123 1803683 | 2147483647 880747 20 | 0.596 % |
754.92/755.25 c | 888557 | 4340 253123 1803683 | 2147483647 888511 20 | 0.596 % |
755.12/755.48 c | 888657 | 4340 253123 1803683 | 2147483647 888611 20 | 0.596 % |
755.33/755.69 c | 888767 | 4340 253123 1803683 | 2147483647 888721 20 | 0.596 % |
755.52/755.86 c | 888888 | 4340 253123 1803683 | 2147483647 888842 20 | 0.596 % |
755.72/756.04 c | 889022 | 4340 253123 1803683 | 2147483647 888976 20 | 0.596 % |
755.92/756.25 c | 889169 | 4340 253123 1803683 | 2147483647 889123 20 | 0.596 % |
756.02/756.36 c | 889329 | 4340 253123 1803683 | 2147483647 889283 20 | 0.596 % |
756.12/756.46 c | 889505 | 4340 253123 1803683 | 2147483647 889459 20 | 0.596 % |
756.44/756.79 c | 889698 | 4340 253123 1803683 | 2147483647 889652 20 | 0.596 % |
756.73/757.05 c | 889910 | 4340 253123 1803683 | 2147483647 889864 20 | 0.596 % |
756.83/757.18 c | 890143 | 4340 253123 1803683 | 2147483647 890097 20 | 0.596 % |
757.13/757.45 c | 890401 | 4340 253123 1803683 | 2147483647 890355 20 | 0.596 % |
757.33/757.62 c | 890684 | 4340 253123 1803683 | 2147483647 890638 20 | 0.596 % |
757.63/757.96 c | 890994 | 4340 253123 1803683 | 2147483647 890948 20 | 0.596 % |
758.33/758.63 c | 891335 | 4340 253123 1803683 | 2147483647 891289 20 | 0.596 % |
758.53/758.87 c | 891708 | 4340 253123 1803683 | 2147483647 891662 20 | 0.596 % |
759.03/759.36 c | 892117 | 4340 253123 1803683 | 2147483647 892071 20 | 0.596 % |
759.63/759.97 c | 892567 | 4340 253123 1803683 | 2147483647 892521 20 | 0.596 % |
761.13/761.49 c | 893062 | 4340 253123 1803683 | 2147483647 893016 20 | 0.596 % |
762.03/762.36 c | 893605 | 4340 253123 1803683 | 2147483647 893559 20 | 0.596 % |
762.33/762.63 c | 894202 | 4340 253123 1803683 | 2147483647 894156 20 | 0.596 % |
763.53/763.85 c | 894857 | 4340 253123 1803683 | 2147483647 894811 20 | 0.596 % |
763.72/764.09 c | 895577 | 4340 253123 1803683 | 2147483647 895531 20 | 0.596 % |
765.02/765.33 c | 896370 | 4340 253123 1803683 | 2147483647 896324 20 | 0.596 % |
766.43/766.75 c | 897242 | 4340 253123 1803683 | 2147483647 897196 20 | 0.596 % |
767.53/767.82 c | 898201 | 4340 253123 1803683 | 2147483647 898155 20 | 0.596 % |
769.02/769.33 c | 899255 | 4340 253123 1803683 | 2147483647 899209 20 | 0.596 % |
770.62/770.99 c | 900413 | 4340 253123 1803683 | 2147483647 900367 20 | 0.596 % |
772.02/772.35 c | 901688 | 4340 253123 1803683 | 2147483647 901642 20 | 0.596 % |
773.52/773.81 c | 903088 | 4340 253123 1803683 | 2147483647 903042 20 | 0.596 % |
775.92/776.27 c | 904630 | 4340 253123 1803683 | 2147483647 904584 20 | 0.596 % |
779.92/780.29 c | 906324 | 4340 253123 1803683 | 2147483647 906278 20 | 0.596 % |
784.62/784.99 c | 908188 | 4340 253123 1803683 | 2147483647 908142 20 | 0.596 % |
787.42/787.72 c | 910237 | 4340 253123 1803683 | 2147483647 910191 20 | 0.596 % |
788.92/789.23 c | 912490 | 4340 253123 1803683 | 2147483647 912444 20 | 0.596 % |
793.52/793.88 c | 914970 | 4340 253123 1803683 | 2147483647 914924 20 | 0.596 % |
798.11/798.46 c | 917695 | 4340 253123 1803683 | 2147483647 917649 20 | 0.596 % |
803.11/803.43 c | 920693 | 4340 253123 1803683 | 2147483647 920647 20 | 0.596 % |
806.41/806.78 c | 923990 | 4340 253123 1803683 | 2147483647 923944 20 | 0.596 % |
811.70/812.03 c | 927615 | 4340 253123 1803683 | 2147483647 927569 20 | 0.596 % |
819.11/819.50 c | 931603 | 4340 253123 1803683 | 2147483647 931557 20 | 0.596 % |
821.91/822.28 c | 935988 | 4340 253123 1803683 | 2147483647 935942 20 | 0.596 % |
830.20/830.52 c | 940811 | 4340 253123 1803683 | 2147483647 940765 20 | 0.596 % |
835.80/836.19 c | 946117 | 4340 253123 1803683 | 2147483647 946071 20 | 0.596 % |
841.40/841.70 c | 951954 | 4340 253123 1803683 | 2147483647 951908 20 | 0.596 % |
857.00/857.40 c | 958373 | 4340 253123 1803683 | 2147483647 958327 20 | 0.596 % |
866.09/866.46 c | 965432 | 4340 253123 1803683 | 2147483647 965386 20 | 0.596 % |
875.49/875.83 c | 973197 | 4340 253123 1803683 | 2147483647 973151 20 | 0.596 % |
889.88/890.22 c | 981737 | 4340 253123 1803683 | 2147483647 981691 20 | 0.596 % |
890.28/890.63 c | 981837 | 4340 253099 1803621 | 2147483647 981790 20 | 0.596 % |
890.28/890.66 c | 981948 | 4340 253099 1803621 | 2147483647 981901 20 | 0.596 % |
890.59/890.95 c | 982069 | 4340 253099 1803621 | 2147483647 982022 20 | 0.596 % |
890.78/891.15 c | 982203 | 4340 253099 1803621 | 2147483647 982156 20 | 0.596 % |
890.98/891.30 c | 982349 | 4340 253099 1803621 | 2147483647 982302 20 | 0.596 % |
891.48/891.82 c | 982510 | 4340 253099 1803621 | 2147483647 982463 20 | 0.596 % |
891.58/891.98 c | 982686 | 4340 253099 1803621 | 2147483647 982639 20 | 0.596 % |
891.79/892.12 c | 982880 | 4340 253099 1803621 | 2147483647 982833 20 | 0.596 % |
892.08/892.44 c | 983092 | 4340 253099 1803621 | 2147483647 983045 20 | 0.596 % |
892.28/892.68 c | 983326 | 4340 253099 1803621 | 2147483647 983279 20 | 0.596 % |
892.79/893.17 c | 983582 | 4340 253099 1803621 | 2147483647 983535 20 | 0.596 % |
893.08/893.41 c | 983863 | 4340 253099 1803621 | 2147483647 983816 20 | 0.596 % |
893.68/894.01 c | 984172 | 4340 253099 1803621 | 2147483647 984125 20 | 0.596 % |
893.89/894.22 c | 984511 | 4340 253099 1803621 | 2147483647 984464 20 | 0.596 % |
894.18/894.59 c | 984884 | 4340 253099 1803621 | 2147483647 984837 20 | 0.596 % |
894.78/895.20 c | 985293 | 4340 253099 1803621 | 2147483647 985246 20 | 0.596 % |
895.18/895.51 c | 985742 | 4340 253099 1803621 | 2147483647 985695 20 | 0.596 % |
895.78/896.14 c | 986237 | 4340 253099 1803621 | 2147483647 986190 20 | 0.596 % |
896.78/897.13 c | 986781 | 4340 253099 1803621 | 2147483647 986734 20 | 0.596 % |
897.98/898.35 c | 987377 | 4340 253099 1803621 | 2147483647 987330 20 | 0.596 % |
899.08/899.47 c | 988032 | 4340 253099 1803621 | 2147483647 987985 20 | 0.596 % |
900.38/900.74 c | 988753 | 4340 253099 1803621 | 2147483647 988706 20 | 0.596 % |
900.88/901.24 c | 989546 | 4340 253099 1803621 | 2147483647 989499 20 | 0.596 % |
902.08/902.44 c | 990419 | 4340 253099 1803621 | 2147483647 990372 20 | 0.596 % |
902.78/903.13 c | 991377 | 4340 253099 1803621 | 2147483647 991330 20 | 0.596 % |
905.58/905.91 c | 992430 | 4340 253099 1803621 | 2147483647 992383 20 | 0.596 % |
909.77/910.16 c | 993588 | 4340 253099 1803621 | 2147483647 993541 20 | 0.596 % |
912.98/913.32 c | 994861 | 4340 253099 1803621 | 2147483647 994814 20 | 0.596 % |
914.48/914.88 c | 996261 | 4340 253099 1803621 | 2147483647 996214 20 | 0.596 % |
918.38/918.71 c | 997801 | 4340 253099 1803621 | 2147483647 997754 20 | 0.596 % |
919.97/920.39 c | 999496 | 4340 253099 1803621 | 2147483647 999449 20 | 0.596 % |
922.17/922.55 c | 1001359 | 4340 253099 1803621 | 2147483647 1001312 20 | 0.596 % |
926.47/926.80 c | 1003408 | 4340 253099 1803621 | 2147483647 1003361 20 | 0.596 % |
929.47/929.88 c | 1005661 | 4340 253099 1803621 | 2147483647 1005614 20 | 0.596 % |
932.57/932.90 c | 1008139 | 4340 253099 1803621 | 2147483647 1008092 20 | 0.596 % |
935.87/936.21 c | 1010865 | 4340 253099 1803621 | 2147483647 1010818 21 | 0.596 % |
941.76/942.14 c | 1013862 | 4340 253099 1803621 | 2147483647 1013815 21 | 0.596 % |
948.67/949.09 c | 1017159 | 4340 253099 1803621 | 2147483647 1017112 21 | 0.596 % |
951.97/952.32 c | 1020787 | 4340 253099 1803621 | 2147483647 1020740 21 | 0.596 % |
964.76/965.14 c | 1024776 | 4340 253099 1803621 | 2147483647 1024729 21 | 0.596 % |
976.95/977.30 c | 1029162 | 4340 253099 1803621 | 2147483647 1029115 21 | 0.596 % |
985.35/985.72 c | 1033986 | 4340 253099 1803621 | 2147483647 1033939 21 | 0.596 % |
998.95/999.35 c | 1039291 | 4340 253099 1803621 | 2147483647 1039244 21 | 0.596 % |
1013.44/1013.85 c | 1045126 | 4340 253099 1803621 | 2147483647 1045079 21 | 0.596 % |
1023.34/1023.74 c | 1051547 | 4340 253099 1803621 | 1049953 1051500 21 | 0.596 % |
1034.93/1035.30 c | 1058608 | 4340 253099 1803621 | 1049953 942551 20 | 0.596 % |
1048.94/1049.39 c | 1066372 | 4340 253099 1803621 | 2147483647 950315 20 | 0.596 % |
1062.63/1063.09 c | 1074913 | 4340 253099 1803621 | 2147483647 958856 20 | 0.596 % |
1075.93/1076.32 c | 1084308 | 4340 253099 1803621 | 2147483647 968251 20 | 0.596 % |
1076.03/1076.46 c | 1084408 | 4340 253099 1803621 | 2147483647 968351 20 | 0.596 % |
1076.23/1076.69 c | 1084518 | 4340 253099 1803621 | 2147483647 968461 20 | 0.596 % |
1076.43/1076.80 c | 1084640 | 4340 253099 1803621 | 2147483647 968583 20 | 0.596 % |
1076.53/1076.98 c | 1084774 | 4340 253099 1803621 | 2147483647 968717 20 | 0.596 % |
1076.63/1077.09 c | 1084921 | 4340 253099 1803621 | 2147483647 968864 20 | 0.596 % |
1076.93/1077.31 c | 1085083 | 4340 253099 1803621 | 2147483647 969026 20 | 0.596 % |
1077.63/1078.03 c | 1085261 | 4340 253099 1803621 | 2147483647 969204 20 | 0.596 % |
1077.83/1078.28 c | 1085455 | 4340 253099 1803621 | 2147483647 969398 20 | 0.596 % |
1078.13/1078.56 c | 1085668 | 4340 253099 1803621 | 2147483647 969611 20 | 0.596 % |
1078.33/1078.75 c | 1085902 | 4340 253099 1803621 | 2147483647 969845 20 | 0.596 % |
1078.73/1079.10 c | 1086161 | 4340 253099 1803621 | 2147483647 970104 20 | 0.596 % |
1079.13/1079.52 c | 1086445 | 4340 253099 1803621 | 2147483647 970388 20 | 0.596 % |
1079.33/1079.77 c | 1086754 | 4340 253099 1803621 | 2147483647 970697 20 | 0.596 % |
1079.93/1080.38 c | 1087094 | 4340 253099 1803621 | 2147483647 971037 20 | 0.596 % |
1080.42/1080.87 c | 1087466 | 4340 253099 1803621 | 2147483647 971409 20 | 0.596 % |
1081.02/1081.45 c | 1087875 | 4340 253099 1803621 | 2147483647 971818 20 | 0.596 % |
1081.32/1081.75 c | 1088325 | 4340 253099 1803621 | 2147483647 972268 20 | 0.596 % |
1082.92/1083.35 c | 1088819 | 4340 253099 1803621 | 2147483647 972762 20 | 0.596 % |
1083.13/1083.53 c | 1089362 | 4340 253099 1803621 | 2147483647 973305 20 | 0.596 % |
1084.13/1084.56 c | 1089959 | 4340 253099 1803621 | 2147483647 973902 20 | 0.596 % |
1085.12/1085.50 c | 1090615 | 4340 253099 1803621 | 2147483647 974558 20 | 0.596 % |
1085.92/1086.32 c | 1091336 | 4340 253099 1803621 | 2147483647 975279 20 | 0.596 % |
1087.22/1087.62 c | 1092130 | 4340 253099 1803621 | 2147483647 976073 20 | 0.596 % |
1089.92/1090.37 c | 1093001 | 4340 253099 1803621 | 2147483647 976944 20 | 0.596 % |
1090.82/1091.25 c | 1093959 | 4340 253099 1803621 | 2147483647 977902 20 | 0.596 % |
1093.42/1093.86 c | 1095013 | 4340 253099 1803621 | 2147483647 978956 20 | 0.596 % |
1096.82/1097.23 c | 1096172 | 4340 253099 1803621 | 2147483647 980115 20 | 0.596 % |
1098.32/1098.72 c | 1097445 | 4340 253099 1803621 | 2147483647 981388 20 | 0.596 % |
1101.52/1101.92 c | 1098846 | 4340 253099 1803621 | 2147483647 982789 20 | 0.596 % |
1102.22/1102.64 c | 1100386 | 4340 253099 1803621 | 2147483647 984329 20 | 0.596 % |
1106.71/1107.14 c | 1102081 | 4340 253099 1803621 | 2147483647 986024 20 | 0.596 % |
1108.11/1108.58 c | 1103944 | 4340 253099 1803621 | 2147483647 987887 20 | 0.596 % |
1110.62/1111.04 c | 1105993 | 4340 253099 1803621 | 2147483647 989936 20 | 0.596 % |
1113.21/1113.66 c | 1108247 | 4340 253099 1803621 | 2147483647 992190 20 | 0.596 % |
1120.61/1121.03 c | 1110726 | 4340 253099 1803621 | 2147483647 994669 20 | 0.596 % |
1127.91/1128.33 c | 1113451 | 4340 253099 1803621 | 2147483647 997394 20 | 0.596 % |
1133.40/1133.86 c | 1116448 | 4340 253099 1803621 | 2147483647 1000391 20 | 0.596 % |
1144.01/1144.49 c | 1119744 | 4340 253099 1803621 | 2147483647 1003687 20 | 0.596 % |
1154.20/1154.69 c | 1123369 | 4340 253099 1803621 | 2147483647 1007312 20 | 0.596 % |
1161.90/1162.39 c | 1127357 | 4340 253099 1803621 | 2147483647 1011300 20 | 0.596 % |
1174.80/1175.25 c | 1131742 | 4340 253099 1803621 | 1013946 908182 20 | 0.596 % |
1186.79/1187.27 c | 1136565 | 4340 253099 1803621 | 1013946 913005 21 | 0.596 % |
1198.39/1198.80 c | 1141871 | 4340 253099 1803621 | 2147483647 918311 21 | 0.596 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1833819-1242825320/watcher-1833819-1242825320 -o /tmp/evaluation-result-1833819-1242825320/solver-1833819-1242825320 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1833819-1242825320.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.93 0.98 0.99 3/64 17382
/proc/meminfo: memFree=1875776/2055920 swapFree=4180356/4192956
[pid=17382] ppid=17380 vsize=5356 CPUtime=0
/proc/17382/stat : 17382 (SatELiteGTI) S 17380 17382 17176 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310559491 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17382/statm: 1339 237 197 169 0 50 0
[startup+0.0372609 s]
/proc/loadavg: 0.93 0.98 0.99 3/64 17382
/proc/meminfo: memFree=1875776/2055920 swapFree=4180356/4192956
[pid=17382] ppid=17380 vsize=5356 CPUtime=0
/proc/17382/stat : 17382 (SatELiteGTI) S 17380 17382 17176 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310559491 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17382/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.101271 s]
/proc/loadavg: 0.93 0.98 0.99 3/64 17382
/proc/meminfo: memFree=1875776/2055920 swapFree=4180356/4192956
[pid=17382] ppid=17380 vsize=5356 CPUtime=0
/proc/17382/stat : 17382 (SatELiteGTI) S 17380 17382 17176 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310559491 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17382/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301305 s]
/proc/loadavg: 0.93 0.98 0.99 3/64 17382
/proc/meminfo: memFree=1875776/2055920 swapFree=4180356/4192956
[pid=17382] ppid=17380 vsize=5356 CPUtime=0
/proc/17382/stat : 17382 (SatELiteGTI) S 17380 17382 17176 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310559491 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17382/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.701371 s]
/proc/loadavg: 0.93 0.98 0.99 3/64 17382
/proc/meminfo: memFree=1875776/2055920 swapFree=4180356/4192956
[pid=17382] ppid=17380 vsize=5356 CPUtime=0
/proc/17382/stat : 17382 (SatELiteGTI) S 17380 17382 17176 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310559491 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17382/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+1.50151 s]
/proc/loadavg: 0.93 0.98 0.99 2/66 17387
/proc/meminfo: memFree=1776112/2055920 swapFree=4180356/4192956
[pid=17382] ppid=17380 vsize=5356 CPUtime=0
/proc/17382/stat : 17382 (SatELiteGTI) S 17380 17382 17176 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310559491 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17382/statm: 1339 237 197 169 0 50 0
[pid=17386] ppid=17382 vsize=157156 CPUtime=1.48
/proc/17386/stat : 17386 (SatELite_releas) R 17382 17382 17176 0 -1 4194304 31405 0 0 0 127 21 0 0 25 0 1 0 310559491 160927744 31369 1992294400 134512640 135223648 4294956128 18446744073709551615 134578209 0 0 4096 3 0 0 0 17 1 0 0
/proc/17386/statm: 39289 31369 71 173 0 39114 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 162512
[startup+3.10177 s]
/proc/loadavg: 0.93 0.98 0.99 2/66 17387
/proc/meminfo: memFree=1749744/2055920 swapFree=4180356/4192956
[pid=17382] ppid=17380 vsize=5356 CPUtime=0
/proc/17382/stat : 17382 (SatELiteGTI) S 17380 17382 17176 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310559491 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17382/statm: 1339 237 197 169 0 50 0
[pid=17386] ppid=17382 vsize=157668 CPUtime=3.08
/proc/17386/stat : 17386 (SatELite_releas) R 17382 17382 17176 0 -1 4194304 31505 0 0 0 287 21 0 0 25 0 1 0 310559491 161452032 31469 1992294400 134512640 135223648 4294956128 18446744073709551615 134563819 0 0 4096 3 0 0 0 17 1 0 0
/proc/17386/statm: 39417 31469 71 173 0 39242 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 163024
[startup+6.30231 s]
/proc/loadavg: 1.02 1.00 1.00 2/66 17387
/proc/meminfo: memFree=1736112/2055920 swapFree=4180356/4192956
[pid=17382] ppid=17380 vsize=5356 CPUtime=0
/proc/17382/stat : 17382 (SatELiteGTI) S 17380 17382 17176 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310559491 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17382/statm: 1339 237 197 169 0 50 0
[pid=17386] ppid=17382 vsize=171880 CPUtime=6.28
/proc/17386/stat : 17386 (SatELite_releas) R 17382 17382 17176 0 -1 4194304 38196 0 0 0 600 28 0 0 25 0 1 0 310559491 176005120 34526 1992294400 134512640 135223648 4294956128 18446744073709551615 134575584 0 0 4096 3 0 0 0 17 1 0 0
/proc/17386/statm: 42970 34526 76 173 0 42795 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 177236
[startup+12.7014 s]
/proc/loadavg: 1.02 1.00 1.00 2/66 17387
/proc/meminfo: memFree=1694776/2055920 swapFree=4180356/4192956
[pid=17382] ppid=17380 vsize=5356 CPUtime=0
/proc/17382/stat : 17382 (SatELiteGTI) S 17380 17382 17176 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310559491 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17382/statm: 1339 237 197 169 0 50 0
[pid=17386] ppid=17382 vsize=196616 CPUtime=12.68
/proc/17386/stat : 17386 (SatELite_releas) R 17382 17382 17176 0 -1 4194304 44835 0 0 0 1233 35 0 0 25 0 1 0 310559491 201334784 40865 1992294400 134512640 135223648 4294956128 18446744073709551615 134585473 0 0 4096 3 0 0 0 17 1 0 0
/proc/17386/statm: 49154 40865 76 173 0 48979 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 201972
[startup+25.5015 s]
/proc/loadavg: 1.01 1.00 1.00 2/66 17387
/proc/meminfo: memFree=1694712/2055920 swapFree=4180356/4192956
[pid=17382] ppid=17380 vsize=5356 CPUtime=0
/proc/17382/stat : 17382 (SatELiteGTI) S 17380 17382 17176 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310559491 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17382/statm: 1339 237 197 169 0 50 0
[pid=17386] ppid=17382 vsize=196872 CPUtime=25.47
/proc/17386/stat : 17386 (SatELite_releas) R 17382 17382 17176 0 -1 4194304 44939 0 0 0 2512 35 0 0 25 0 1 0 310559491 201596928 40969 1992294400 134512640 135223648 4294956128 18446744073709551615 134548979 0 0 4096 3 0 0 0 17 1 0 0
/proc/17386/statm: 49218 40969 76 173 0 49043 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 202228
[startup+51.1018 s]
/proc/loadavg: 1.01 1.00 1.00 2/66 17388
/proc/meminfo: memFree=1824504/2055920 swapFree=4180356/4192956
[pid=17382] ppid=17380 vsize=5356 CPUtime=44.13
/proc/17382/stat : 17382 (SatELiteGTI) S 17380 17382 17176 0 -1 4194304 336 49928 0 0 0 0 4369 44 16 0 1 0 310559491 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17382/statm: 1339 239 197 169 0 50 0
[pid=17388] ppid=17382 vsize=24456 CPUtime=6.93
/proc/17388/stat : 17388 (minisat_static) R 17382 17382 17176 0 -1 4194304 5955 0 0 0 690 3 0 0 25 0 1 0 310563907 25042944 5941 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17388/statm: 6114 5941 77 171 0 5941 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 29812
[startup+102.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17388
/proc/meminfo: memFree=1805112/2055920 swapFree=4180356/4192956
[pid=17382] ppid=17380 vsize=5356 CPUtime=44.13
/proc/17382/stat : 17382 (SatELiteGTI) S 17380 17382 17176 0 -1 4194304 336 49928 0 0 0 0 4369 44 16 0 1 0 310559491 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17382/statm: 1339 239 197 169 0 50 0
[pid=17388] ppid=17382 vsize=44088 CPUtime=58.11
/proc/17388/stat : 17388 (minisat_static) R 17382 17382 17176 0 -1 4194304 10741 0 0 0 5804 7 0 0 25 0 1 0 310563907 45146112 10727 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 1 0 0
/proc/17388/statm: 11022 10727 77 171 0 10849 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 49444
[startup+162.301 s]
/proc/loadavg: 1.06 1.02 1.00 2/66 17388
/proc/meminfo: memFree=1790072/2055920 swapFree=4180356/4192956
[pid=17382] ppid=17380 vsize=5356 CPUtime=44.13
/proc/17382/stat : 17382 (SatELiteGTI) S 17380 17382 17176 0 -1 4194304 336 49928 0 0 0 0 4369 44 16 0 1 0 310559491 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17382/statm: 1339 239 197 169 0 50 0
[pid=17388] ppid=17382 vsize=59248 CPUtime=118.09
/proc/17388/stat : 17388 (minisat_static) R 17382 17382 17176 0 -1 4194304 14493 0 0 0 11798 11 0 0 25 0 1 0 310563907 60669952 14479 1992294400 134512640 135215339 4294956240 18446744073709551615 134529099 0 0 4096 3 0 0 0 17 1 0 0
/proc/17388/statm: 14812 14479 77 171 0 14639 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 64604
[startup+222.301 s]
/proc/loadavg: 1.02 1.01 1.00 2/66 17388
/proc/meminfo: memFree=1777976/2055920 swapFree=4180356/4192956
[pid=17382] ppid=17380 vsize=5356 CPUtime=44.13
/proc/17382/stat : 17382 (SatELiteGTI) S 17380 17382 17176 0 -1 4194304 336 49928 0 0 0 0 4369 44 16 0 1 0 310559491 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17382/statm: 1339 239 197 169 0 50 0
[pid=17388] ppid=17382 vsize=70816 CPUtime=178.07
/proc/17388/stat : 17388 (minisat_static) R 17382 17382 17176 0 -1 4194304 17448 0 0 0 17792 15 0 0 25 0 1 0 310563907 72515584 17434 1992294400 134512640 135215339 4294956240 18446744073709551615 134528691 0 0 4096 3 0 0 0 17 1 0 0
/proc/17388/statm: 17704 17434 77 171 0 17531 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 76172
[startup+282.301 s]
/proc/loadavg: 1.01 1.00 1.00 2/66 17388
/proc/meminfo: memFree=1768888/2055920 swapFree=4180356/4192956
[pid=17382] ppid=17380 vsize=5356 CPUtime=44.13
/proc/17382/stat : 17382 (SatELiteGTI) S 17380 17382 17176 0 -1 4194304 336 49928 0 0 0 0 4369 44 16 0 1 0 310559491 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17382/statm: 1339 239 197 169 0 50 0
[pid=17388] ppid=17382 vsize=80788 CPUtime=238.05
/proc/17388/stat : 17388 (minisat_static) R 17382 17382 17176 0 -1 4194304 19769 0 0 0 23787 18 0 0 25 0 1 0 310563907 82726912 19755 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17388/statm: 20197 19755 77 171 0 20024 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 86144
[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17388
/proc/meminfo: memFree=1760312/2055920 swapFree=4180356/4192956
[pid=17382] ppid=17380 vsize=5356 CPUtime=44.13
/proc/17382/stat : 17382 (SatELiteGTI) S 17380 17382 17176 0 -1 4194304 336 49928 0 0 0 0 4369 44 16 0 1 0 310559491 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17382/statm: 1339 239 197 169 0 50 0
[pid=17388] ppid=17382 vsize=88856 CPUtime=298.03
/proc/17388/stat : 17388 (minisat_static) R 17382 17382 17176 0 -1 4194304 21853 0 0 0 29783 20 0 0 25 0 1 0 310563907 90988544 21839 1992294400 134512640 135215339 4294956240 18446744073709551615 134528691 0 0 4096 3 0 0 0 17 1 0 0
/proc/17388/statm: 22214 21839 77 171 0 22041 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 94212
[startup+402.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17388
/proc/meminfo: memFree=1752248/2055920 swapFree=4180356/4192956
[pid=17382] ppid=17380 vsize=5356 CPUtime=44.13
/proc/17382/stat : 17382 (SatELiteGTI) S 17380 17382 17176 0 -1 4194304 336 49928 0 0 0 0 4369 44 16 0 1 0 310559491 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17382/statm: 1339 239 197 169 0 50 0
[pid=17388] ppid=17382 vsize=96640 CPUtime=358.01
/proc/17388/stat : 17388 (minisat_static) R 17382 17382 17176 0 -1 4194304 23855 0 0 0 35778 23 0 0 25 0 1 0 310563907 98959360 23841 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17388/statm: 24160 23841 77 171 0 23987 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 101996
[startup+462.302 s]
################
# More data... #
################
/proc/17388/statm: 28908 28312 77 171 0 28735 0
Current children cumulated CPU time (s) 582.08
Current children cumulated vsize (KiB) 120988
[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17388
/proc/meminfo: memFree=1727864/2055920 swapFree=4180356/4192956
[pid=17382] ppid=17380 vsize=5356 CPUtime=44.13
/proc/17382/stat : 17382 (SatELiteGTI) S 17380 17382 17176 0 -1 4194304 336 49928 0 0 0 0 4369 44 16 0 1 0 310559491 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17382/statm: 1339 239 197 169 0 50 0
[pid=17388] ppid=17382 vsize=121324 CPUtime=597.94
/proc/17388/stat : 17388 (minisat_static) R 17382 17382 17176 0 -1 4194304 29807 0 0 0 59764 30 0 0 25 0 1 0 310563907 124235776 29793 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17388/statm: 30331 29793 77 171 0 30158 0
Current children cumulated CPU time (s) 642.07
Current children cumulated vsize (KiB) 126680
[startup+702.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17388
/proc/meminfo: memFree=1722424/2055920 swapFree=4180356/4192956
[pid=17382] ppid=17380 vsize=5356 CPUtime=44.13
/proc/17382/stat : 17382 (SatELiteGTI) S 17380 17382 17176 0 -1 4194304 336 49928 0 0 0 0 4369 44 16 0 1 0 310559491 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17382/statm: 1339 239 197 169 0 50 0
[pid=17388] ppid=17382 vsize=126508 CPUtime=657.91
/proc/17388/stat : 17388 (minisat_static) R 17382 17382 17176 0 -1 4194304 31134 0 0 0 65759 32 0 0 25 0 1 0 310563907 129544192 31120 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 1 0 0
/proc/17388/statm: 31627 31120 77 171 0 31454 0
Current children cumulated CPU time (s) 702.04
Current children cumulated vsize (KiB) 131864
[startup+762.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17388
/proc/meminfo: memFree=1718328/2055920 swapFree=4180356/4192956
[pid=17382] ppid=17380 vsize=5356 CPUtime=44.13
/proc/17382/stat : 17382 (SatELiteGTI) S 17380 17382 17176 0 -1 4194304 336 49928 0 0 0 0 4369 44 16 0 1 0 310559491 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17382/statm: 1339 239 197 169 0 50 0
[pid=17388] ppid=17382 vsize=130436 CPUtime=717.9
/proc/17388/stat : 17388 (minisat_static) R 17382 17382 17176 0 -1 4194304 32129 0 0 0 71756 34 0 0 25 0 1 0 310563907 133566464 32115 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17388/statm: 32609 32115 77 171 0 32436 0
Current children cumulated CPU time (s) 762.03
Current children cumulated vsize (KiB) 135792
[startup+822.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17388
/proc/meminfo: memFree=1712952/2055920 swapFree=4180356/4192956
[pid=17382] ppid=17380 vsize=5356 CPUtime=44.13
/proc/17382/stat : 17382 (SatELiteGTI) S 17380 17382 17176 0 -1 4194304 336 49928 0 0 0 0 4369 44 16 0 1 0 310559491 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17382/statm: 1339 239 197 169 0 50 0
[pid=17388] ppid=17382 vsize=135948 CPUtime=777.88
/proc/17388/stat : 17388 (minisat_static) R 17382 17382 17176 0 -1 4194304 33533 0 0 0 77752 36 0 0 25 0 1 0 310563907 139210752 33519 1992294400 134512640 135215339 4294956240 18446744073709551615 134529083 0 0 4096 3 0 0 0 17 1 0 0
/proc/17388/statm: 33987 33519 77 171 0 33814 0
Current children cumulated CPU time (s) 822.01
Current children cumulated vsize (KiB) 141304
[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17388
/proc/meminfo: memFree=1707896/2055920 swapFree=4180356/4192956
[pid=17382] ppid=17380 vsize=5356 CPUtime=44.13
/proc/17382/stat : 17382 (SatELiteGTI) S 17380 17382 17176 0 -1 4194304 336 49928 0 0 0 0 4369 44 16 0 1 0 310559491 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17382/statm: 1339 239 197 169 0 50 0
[pid=17388] ppid=17382 vsize=140492 CPUtime=837.86
/proc/17388/stat : 17388 (minisat_static) R 17382 17382 17176 0 -1 4194304 34700 0 0 0 83748 38 0 0 25 0 1 0 310563907 143863808 34686 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17388/statm: 35123 34686 77 171 0 34950 0
Current children cumulated CPU time (s) 881.99
Current children cumulated vsize (KiB) 145848
[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17388
/proc/meminfo: memFree=1702968/2055920 swapFree=4180356/4192956
[pid=17382] ppid=17380 vsize=5356 CPUtime=44.13
/proc/17382/stat : 17382 (SatELiteGTI) S 17380 17382 17176 0 -1 4194304 336 49928 0 0 0 0 4369 44 16 0 1 0 310559491 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17382/statm: 1339 239 197 169 0 50 0
[pid=17388] ppid=17382 vsize=145280 CPUtime=897.83
/proc/17388/stat : 17388 (minisat_static) R 17382 17382 17176 0 -1 4194304 35914 0 0 0 89744 39 0 0 25 0 1 0 310563907 148766720 35900 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17388/statm: 36320 35900 77 171 0 36147 0
Current children cumulated CPU time (s) 941.96
Current children cumulated vsize (KiB) 150636
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17388
/proc/meminfo: memFree=1699320/2055920 swapFree=4180356/4192956
[pid=17382] ppid=17380 vsize=5356 CPUtime=44.13
/proc/17382/stat : 17382 (SatELiteGTI) S 17380 17382 17176 0 -1 4194304 336 49928 0 0 0 0 4369 44 16 0 1 0 310559491 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17382/statm: 1339 239 197 169 0 50 0
[pid=17388] ppid=17382 vsize=148792 CPUtime=957.82
/proc/17388/stat : 17388 (minisat_static) R 17382 17382 17176 0 -1 4194304 36802 0 0 0 95741 41 0 0 25 0 1 0 310563907 152363008 36788 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17388/statm: 37198 36788 77 171 0 37025 0
Current children cumulated CPU time (s) 1001.95
Current children cumulated vsize (KiB) 154148
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17388
/proc/meminfo: memFree=1697720/2055920 swapFree=4180356/4192956
[pid=17382] ppid=17380 vsize=5356 CPUtime=44.13
/proc/17382/stat : 17382 (SatELiteGTI) S 17380 17382 17176 0 -1 4194304 336 49928 0 0 0 0 4369 44 16 0 1 0 310559491 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17382/statm: 1339 239 197 169 0 50 0
[pid=17388] ppid=17382 vsize=152304 CPUtime=1017.8
/proc/17388/stat : 17388 (minisat_static) R 17382 17382 17176 0 -1 4194304 37178 0 0 0 101738 42 0 0 25 0 1 0 310563907 155959296 37164 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17388/statm: 38076 37164 77 171 0 37903 0
Current children cumulated CPU time (s) 1061.93
Current children cumulated vsize (KiB) 157660
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17388
/proc/meminfo: memFree=1697272/2055920 swapFree=4180356/4192956
[pid=17382] ppid=17380 vsize=5356 CPUtime=44.13
/proc/17382/stat : 17382 (SatELiteGTI) S 17380 17382 17176 0 -1 4194304 336 49928 0 0 0 0 4369 44 16 0 1 0 310559491 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17382/statm: 1339 239 197 169 0 50 0
[pid=17388] ppid=17382 vsize=152772 CPUtime=1077.78
/proc/17388/stat : 17388 (minisat_static) R 17382 17382 17176 0 -1 4194304 37280 0 0 0 107736 42 0 0 25 0 1 0 310563907 156438528 37266 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17388/statm: 38193 37266 77 171 0 38020 0
Current children cumulated CPU time (s) 1121.91
Current children cumulated vsize (KiB) 158128
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17388
/proc/meminfo: memFree=1696952/2055920 swapFree=4180356/4192956
[pid=17382] ppid=17380 vsize=5356 CPUtime=44.13
/proc/17382/stat : 17382 (SatELiteGTI) S 17380 17382 17176 0 -1 4194304 336 49928 0 0 0 0 4369 44 16 0 1 0 310559491 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17382/statm: 1339 239 197 169 0 50 0
[pid=17388] ppid=17382 vsize=153056 CPUtime=1137.76
/proc/17388/stat : 17388 (minisat_static) R 17382 17382 17176 0 -1 4194304 37355 0 0 0 113733 43 0 0 25 0 1 0 310563907 156729344 37341 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17388/statm: 38264 37341 77 171 0 38091 0
Current children cumulated CPU time (s) 1181.89
Current children cumulated vsize (KiB) 158412
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17388
/proc/meminfo: memFree=1696888/2055920 swapFree=4180356/4192956
[pid=17382] ppid=17380 vsize=5356 CPUtime=44.13
/proc/17382/stat : 17382 (SatELiteGTI) S 17380 17382 17176 0 -1 4194304 336 49928 0 0 0 0 4369 44 16 0 1 0 310559491 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17382/statm: 1339 239 197 169 0 50 0
[pid=17388] ppid=17382 vsize=153056 CPUtime=1155.96
/proc/17388/stat : 17388 (minisat_static) R 17382 17382 17176 0 -1 4194304 37356 0 0 0 115553 43 0 0 25 0 1 0 310563907 156729344 37342 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17388/statm: 38264 37342 77 171 0 38091 0
Current children cumulated CPU time (s) 1200.09
Current children cumulated vsize (KiB) 158412
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1200.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17388
/proc/meminfo: memFree=1696888/2055920 swapFree=4180356/4192956
[pid=17382] ppid=17380 vsize=5356 CPUtime=44.13
/proc/17382/stat : 17382 (SatELiteGTI) S 17380 17382 17176 0 -1 4194304 336 49928 0 0 0 0 4369 44 16 0 1 0 310559491 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17382/statm: 1339 239 197 169 0 50 0
[pid=17388] ppid=17382 vsize=153056 CPUtime=1155.96
/proc/17388/stat : 17388 (minisat_static) R 17382 17382 17176 0 -1 4194304 37356 0 0 0 115553 43 0 0 25 0 1 0 310563907 156729344 37342 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17388/statm: 38264 37342 77 171 0 38091 0
Current children cumulated CPU time (s) 1200.09
Current children cumulated vsize (KiB) 158412
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 17382 and gives
# childrusage.ru_utime.tv_sec=43
# childrusage.ru_utime.tv_usec=692357
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=449931
# CPU time returned by wait4() is 44.1423
# while last known CPU time is 1200.09
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1200.51
CPU time (s): 1200.09
CPU user time (s): 1199.22
CPU system time (s): 0.87
CPU usage (%): 99.9649
Max. virtual memory (cumulated for all children) (KiB): 213608
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 43.6924
system time used= 0.449931
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 50264
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14
involuntary context switches= 106
runsolver used 1.43678 second user time and 2.97355 second system time
The end
Begin job on node57 at 2009-05-20 15:15:22
IDJOB=1833819
IDBENCH=70950
IDSOLVER=671
FILE ID=node57/1833819-1242825320
PBS_JOBID= 9322470
Free space on /tmp= 65992 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= BIN/runsolver --timestamp -w /tmp/evaluation-result-1833819-1242825320/watcher-1833819-1242825320 -o /tmp/evaluation-result-1833819-1242825320/solver-1833819-1242825320 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1833819-1242825320.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 4c8b9603e0c90cfb3c82064eae956799
RANDOM SEED=1571307369
node57.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.256
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.256
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1876256 kB
Buffers: 23068 kB
Cached: 86736 kB
SwapCached: 6340 kB
Active: 58580 kB
Inactive: 59092 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1876256 kB
SwapTotal: 4192956 kB
SwapFree: 4180356 kB
Dirty: 34120 kB
Writeback: 0 kB
Mapped: 13544 kB
Slab: 48096 kB
Committed_AS: 893976 kB
PageTables: 1392 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 65964 MiB
End job on node57 at 2009-05-20 15:35:25