0.00/0.00 c Parsing...
0.00/0.02 c ==============================================================================
0.00/0.02 c | | ORIGINAL | LEARNT | |
0.00/0.02 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.02 c ==============================================================================
0.00/0.02 c | 0 | 16800 50400 | 5039 0 0 nan | 0.000 % |
0.00/0.05 c | 0 | 16705 50718 | -- 0 -- -- | -- | -95/318
0.00/0.05 c ==============================================================================
0.00/0.05 c Result : #vars: 3904 #clauses: 16705 #literals: 50718
0.00/0.05 c CPU time: 0.048992 s
0.00/0.05 c ==============================================================================
0.00/0.07 c This is MiniSat 2.0 beta
0.00/0.07 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.07 c ============================[ Problem Statistics ]=============================
0.00/0.07 c | |
0.00/0.07 c | Number of variables: 3904 |
0.00/0.07 c | Number of clauses: 16705 |
0.00/0.08 c | Parsing time: 0.01 s |
0.00/0.08 c ============================[ Search Statistics ]==============================
0.00/0.08 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.00/0.08 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.00/0.08 c ===============================================================================
0.00/0.08 c | 0 | 3904 16705 50718 | 5568 0 nan | 0.000 % |
0.06/0.10 c | 102 | 3904 16705 50718 | 5568 102 97 | 0.000 % |
0.06/0.11 c | 202 | 3904 16705 50718 | 5568 202 99 | 0.000 % |
0.06/0.12 c | 308 | 3904 16705 50718 | 5568 308 95 | 0.000 % |
0.06/0.14 c | 420 | 3904 16705 50718 | 5568 420 95 | 0.000 % |
0.06/0.15 c | 521 | 3904 16705 50718 | 5568 521 94 | 0.000 % |
0.06/0.16 c | 632 | 3904 16705 50718 | 5568 632 91 | 0.000 % |
0.06/0.18 c | 755 | 3904 16705 50718 | 5568 755 90 | 0.000 % |
0.06/0.19 c | 856 | 3904 16705 50718 | 5568 856 90 | 0.000 % |
0.06/0.20 c | 967 | 3904 16705 50718 | 5568 967 91 | 0.000 % |
0.06/0.22 c | 1090 | 3904 16705 50718 | 5568 1090 88 | 0.000 % |
0.06/0.24 c | 1223 | 3904 16705 50718 | 5568 1223 88 | 0.000 % |
0.06/0.25 c | 1323 | 3904 16705 50718 | 5568 1323 88 | 0.000 % |
0.06/0.26 c | 1434 | 3904 16705 50718 | 5568 1434 88 | 0.000 % |
0.06/0.28 c | 1556 | 3904 16705 50718 | 5568 1556 88 | 0.000 % |
0.06/0.29 c | 1689 | 3904 16705 50718 | 5568 1689 88 | 0.000 % |
0.06/0.31 c | 1837 | 3904 16705 50718 | 5568 1837 88 | 0.000 % |
0.06/0.32 c | 1938 | 3904 16705 50718 | 5568 1938 88 | 0.000 % |
0.06/0.34 c | 2051 | 3904 16705 50718 | 5568 2051 88 | 0.000 % |
0.06/0.36 c | 2172 | 3904 16705 50718 | 5568 2172 90 | 0.000 % |
0.06/0.37 c | 2307 | 3904 16705 50718 | 5568 2307 89 | 0.000 % |
0.06/0.39 c | 2453 | 3904 16705 50718 | 5568 2453 90 | 0.000 % |
0.06/0.42 c | 2613 | 3904 16705 50718 | 5568 2613 90 | 0.000 % |
0.06/0.43 c | 2714 | 3904 16705 50718 | 5568 2714 91 | 0.000 % |
0.06/0.45 c | 2824 | 3904 16705 50718 | 5568 2824 91 | 0.000 % |
0.06/0.46 c | 2946 | 3904 16705 50718 | 5568 2946 91 | 0.000 % |
0.06/0.48 c | 3079 | 3904 16705 50718 | 5568 3079 91 | 0.000 % |
0.06/0.50 c | 3225 | 3904 16705 50718 | 5568 3225 91 | 0.000 % |
0.06/0.52 c | 3385 | 3904 16705 50718 | 5568 3385 90 | 0.000 % |
0.06/0.54 c | 3561 | 3904 16705 50718 | 5568 3561 90 | 0.000 % |
0.06/0.56 c | 3663 | 3904 16705 50718 | 5568 3663 91 | 0.000 % |
0.06/0.58 c | 3773 | 3904 16705 50718 | 5568 3773 91 | 0.000 % |
0.06/0.59 c | 3896 | 3904 16705 50718 | 5568 3896 91 | 0.000 % |
0.06/0.61 c | 4031 | 3904 16705 50718 | 5568 4031 92 | 0.000 % |
0.06/0.64 c | 4177 | 3904 16705 50718 | 5568 4177 93 | 0.000 % |
0.06/0.66 c | 4337 | 3904 16705 50718 | 5568 4337 93 | 0.000 % |
0.06/0.68 c | 4514 | 3904 16705 50718 | 5568 4514 93 | 0.000 % |
0.06/0.71 c | 4707 | 3904 16705 50718 | 5568 4707 93 | 0.000 % |
0.06/0.72 c | 4807 | 3904 16705 50718 | 5568 4807 93 | 0.000 % |
0.06/0.74 c | 4917 | 3904 16705 50718 | 5568 4917 93 | 0.000 % |
0.06/0.76 c | 5040 | 3904 16705 50718 | 5568 5040 93 | 0.000 % |
0.06/0.78 c | 5174 | 3904 16705 50718 | 5568 5174 93 | 0.000 % |
0.06/0.80 c | 5321 | 3904 16705 50718 | 5568 5321 93 | 0.000 % |
0.06/0.82 c | 5483 | 3904 16705 50718 | 5568 5483 93 | 0.000 % |
0.06/0.85 c | 5660 | 3904 16705 50718 | 5568 5660 93 | 0.000 % |
0.06/0.88 c | 5853 | 3904 16705 50718 | 5568 5287 92 | 0.000 % |
0.06/0.91 c | 6065 | 3904 16705 50718 | 5568 5499 92 | 0.000 % |
0.06/0.92 c | 6165 | 3904 16705 50718 | 5568 5599 91 | 0.000 % |
0.06/0.94 c | 6277 | 3904 16705 50718 | 5568 5152 92 | 0.000 % |
0.06/0.96 c | 6399 | 3904 16705 50718 | 5568 5274 92 | 0.000 % |
0.06/0.98 c | 6533 | 3904 16705 50718 | 5568 5408 92 | 0.000 % |
0.97/1.01 c | 6679 | 3904 16705 50718 | 5568 5554 92 | 0.000 % |
0.97/1.03 c | 6840 | 3904 16705 50718 | 5568 5715 92 | 0.000 % |
0.97/1.06 c | 7016 | 3904 16705 50718 | 5568 5320 92 | 0.000 % |
0.97/1.09 c | 7209 | 3904 16705 50718 | 5568 5513 92 | 0.000 % |
1.07/1.13 c | 7421 | 3904 16705 50718 | 5568 5725 93 | 0.000 % |
1.07/1.17 c | 7654 | 3904 16705 50718 | 5568 5386 93 | 0.000 % |
1.07/1.18 c | 7754 | 3904 16705 50718 | 5568 5486 93 | 0.000 % |
1.17/1.20 c | 7866 | 3904 16705 50718 | 5568 5598 93 | 0.000 % |
1.17/1.22 c | 7990 | 3904 16705 50718 | 5568 5163 92 | 0.000 % |
1.17/1.24 c | 8126 | 3904 16705 50718 | 5568 5299 92 | 0.000 % |
1.17/1.26 c | 8272 | 3904 16705 50718 | 5568 5445 92 | 0.000 % |
1.17/1.29 c | 8432 | 3904 16705 50718 | 5568 5605 92 | 0.000 % |
1.27/1.31 c | 8608 | 3904 16705 50718 | 5568 5221 92 | 0.000 % |
1.27/1.34 c | 8801 | 3904 16705 50718 | 5568 5414 92 | 0.000 % |
1.27/1.38 c | 9013 | 3904 16705 50718 | 5568 5626 92 | 0.000 % |
1.37/1.42 c | 9246 | 3904 16705 50718 | 5568 5297 92 | 0.000 % |
1.37/1.46 c | 9504 | 3904 16705 50718 | 5568 5555 92 | 0.000 % |
1.37/1.47 c | 9604 | 3904 16705 50718 | 5568 5655 92 | 0.000 % |
1.37/1.49 c | 9715 | 3904 16705 50718 | 5568 5201 92 | 0.000 % |
1.47/1.51 c | 9838 | 3904 16705 50718 | 5568 5324 92 | 0.000 % |
1.47/1.53 c | 9971 | 3904 16705 50718 | 5568 5457 92 | 0.000 % |
1.47/1.56 c | 10117 | 3904 16705 50718 | 2147483647 5603 92 | 0.000 % |
1.47/1.58 c | 10277 | 3904 16705 50718 | 2147483647 5763 92 | 0.000 % |
1.57/1.61 c | 10453 | 3904 16705 50718 | 2147483647 5939 91 | 0.000 % |
1.57/1.64 c | 10646 | 3904 16705 50718 | 2147483647 6132 91 | 0.000 % |
1.57/1.67 c | 10859 | 3904 16705 50718 | 2147483647 6345 92 | 0.000 % |
1.67/1.71 c | 11092 | 3904 16705 50718 | 2147483647 6578 92 | 0.000 % |
1.67/1.76 c | 11349 | 3904 16705 50718 | 2147483647 6835 92 | 0.000 % |
1.77/1.80 c | 11631 | 3904 16705 50718 | 2147483647 7117 92 | 0.000 % |
1.77/1.82 c | 11733 | 3904 16705 50718 | 2147483647 7219 92 | 0.000 % |
1.77/1.84 c | 11844 | 3904 16705 50718 | 2147483647 7330 93 | 0.000 % |
1.77/1.86 c | 11966 | 3904 16705 50718 | 2147483647 7452 92 | 0.000 % |
1.77/1.88 c | 12099 | 3904 16705 50718 | 2147483647 7585 93 | 0.000 % |
1.87/1.91 c | 12245 | 3904 16705 50718 | 2147483647 7731 93 | 0.000 % |
1.87/1.94 c | 12405 | 3904 16705 50718 | 2147483647 7891 93 | 0.000 % |
1.87/1.97 c | 12581 | 3904 16705 50718 | 2147483647 8067 93 | 0.000 % |
1.97/2.00 c | 12775 | 3904 16705 50718 | 2147483647 8261 93 | 0.000 % |
1.97/2.04 c | 12988 | 3904 16705 50718 | 2147483647 8474 93 | 0.000 % |
1.97/2.07 c | 13223 | 3904 16705 50718 | 2147483647 8709 93 | 0.000 % |
2.07/2.12 c | 13480 | 3904 16705 50718 | 2147483647 8966 93 | 0.000 % |
2.07/2.17 c | 13762 | 3904 16705 50718 | 2147483647 9248 93 | 0.000 % |
2.17/2.23 c | 14071 | 3904 16705 50718 | 2147483647 9557 93 | 0.000 % |
2.17/2.25 c | 14171 | 3904 16705 50718 | 2147483647 9657 93 | 0.000 % |
2.17/2.27 c | 14282 | 3904 16705 50718 | 2147483647 9768 93 | 0.000 % |
2.17/2.29 c | 14403 | 3904 16705 50718 | 2147483647 9889 93 | 0.000 % |
2.27/2.31 c | 14536 | 3904 16705 50718 | 2147483647 10022 93 | 0.000 % |
2.27/2.34 c | 14682 | 3904 16705 50718 | 2147483647 10168 93 | 0.000 % |
2.27/2.37 c | 14842 | 3904 16705 50718 | 2147483647 10328 93 | 0.000 % |
2.37/2.40 c | 15020 | 3904 16705 50718 | 2147483647 10506 93 | 0.000 % |
2.37/2.44 c | 15213 | 3904 16705 50718 | 2147483647 10699 93 | 0.000 % |
2.37/2.48 c | 15427 | 3904 16705 50718 | 2147483647 10913 93 | 0.000 % |
2.47/2.52 c | 15661 | 3904 16705 50718 | 2147483647 11147 93 | 0.000 % |
2.47/2.57 c | 15918 | 3904 16705 50718 | 2147483647 11404 93 | 0.000 % |
2.57/2.63 c | 16200 | 3904 16705 50718 | 2147483647 11686 93 | 0.000 % |
2.57/2.68 c | 16509 | 3904 16705 50718 | 2147483647 11995 93 | 0.000 % |
2.67/2.75 c | 16849 | 3904 16705 50718 | 2147483647 12335 93 | 0.000 % |
2.67/2.77 c | 16950 | 3904 16705 50718 | 2147483647 12436 93 | 0.000 % |
2.67/2.79 c | 17061 | 3904 16705 50718 | 2147483647 12547 93 | 0.000 % |
2.77/2.82 c | 17182 | 3904 16705 50718 | 2147483647 12668 93 | 0.000 % |
2.77/2.85 c | 17318 | 3904 16705 50718 | 2147483647 12804 93 | 0.000 % |
2.77/2.87 c | 17464 | 3904 16705 50718 | 2147483647 12950 93 | 0.000 % |
2.87/2.91 c | 17624 | 3904 16705 50718 | 2147483647 13110 92 | 0.000 % |
2.87/2.94 c | 17802 | 3904 16705 50718 | 2147483647 13288 92 | 0.000 % |
2.87/2.98 c | 17996 | 3904 16705 50718 | 2147483647 13482 93 | 0.000 % |
2.97/3.02 c | 18209 | 3904 16705 50718 | 2147483647 13695 93 | 0.000 % |
2.97/3.07 c | 18442 | 3904 16705 50718 | 2147483647 13928 93 | 0.000 % |
3.07/3.12 c | 18698 | 3904 16705 50718 | 2147483647 14184 93 | 0.000 % |
3.07/3.18 c | 18979 | 3904 16705 50718 | 2147483647 14465 93 | 0.000 % |
3.17/3.24 c | 19288 | 3904 16705 50718 | 2147483647 14774 93 | 0.000 % |
3.27/3.31 c | 19627 | 3904 16705 50718 | 2147483647 15113 93 | 0.000 % |
3.27/3.39 c | 20001 | 3904 16705 50718 | 2147483647 15487 93 | 0.000 % |
3.37/3.42 c | 20102 | 3904 16705 50718 | 2147483647 15588 93 | 0.000 % |
3.37/3.44 c | 20212 | 3904 16705 50718 | 2147483647 15698 93 | 0.000 % |
3.37/3.47 c | 20334 | 3904 16705 50718 | 2147483647 15820 93 | 0.000 % |
3.47/3.50 c | 20469 | 3904 16705 50718 | 2147483647 15955 93 | 0.000 % |
3.47/3.54 c | 20618 | 3904 16705 50718 | 2147483647 16104 93 | 0.000 % |
3.47/3.57 c | 20778 | 3904 16705 50718 | 2147483647 16264 93 | 0.000 % |
3.57/3.61 c | 20954 | 3904 16705 50718 | 2147483647 16440 93 | 0.000 % |
3.57/3.65 c | 21149 | 3904 16705 50718 | 2147483647 16635 93 | 0.000 % |
3.67/3.70 c | 21361 | 3904 16705 50718 | 2147483647 16847 93 | 0.000 % |
3.67/3.76 c | 21596 | 3904 16705 50718 | 2147483647 17082 93 | 0.000 % |
3.77/3.82 c | 21853 | 3904 16705 50718 | 2147483647 17339 93 | 0.000 % |
3.77/3.88 c | 22134 | 3904 16705 50718 | 2147483647 17620 93 | 0.000 % |
3.87/3.95 c | 22445 | 3904 16705 50718 | 2147483647 17931 94 | 0.000 % |
3.97/4.03 c | 22784 | 3904 16705 50718 | 2147483647 18270 94 | 0.000 % |
4.07/4.12 c | 23158 | 3904 16705 50718 | 2147483647 18644 94 | 0.000 % |
4.17/4.21 c | 23567 | 3904 16705 50718 | 2147483647 19053 95 | 0.000 % |
4.17/4.24 c | 23667 | 3904 16705 50718 | 2147483647 19153 95 | 0.000 % |
4.17/4.27 c | 23777 | 3904 16705 50718 | 2147483647 19263 95 | 0.000 % |
4.17/4.29 c | 23899 | 3904 16705 50718 | 2147483647 19385 95 | 0.000 % |
4.27/4.33 c | 24032 | 3904 16705 50718 | 2147483647 19518 95 | 0.000 % |
4.27/4.37 c | 24180 | 3904 16705 50718 | 2147483647 19666 95 | 0.000 % |
4.37/4.41 c | 24340 | 3904 16705 50718 | 2147483647 19826 95 | 0.000 % |
4.37/4.45 c | 24517 | 3904 16705 50718 | 2147483647 20003 95 | 0.000 % |
4.47/4.50 c | 24710 | 3904 16705 50718 | 2147483647 20196 95 | 0.000 % |
4.47/4.55 c | 24923 | 3904 16705 50718 | 2147483647 20409 95 | 0.000 % |
4.57/4.62 c | 25156 | 3904 16705 50718 | 2147483647 20642 95 | 0.000 % |
4.57/4.68 c | 25412 | 3904 16705 50718 | 2147483647 20898 95 | 0.000 % |
4.67/4.75 c | 25694 | 3904 16705 50718 | 2147483647 21180 95 | 0.000 % |
4.76/4.83 c | 26003 | 3904 16705 50718 | 2147483647 21489 95 | 0.000 % |
4.86/4.91 c | 26343 | 3904 16705 50718 | 2147483647 21829 95 | 0.000 % |
4.96/5.01 c | 26716 | 3904 16705 50718 | 2147483647 22202 95 | 0.000 % |
5.06/5.11 c | 27127 | 3904 16705 50718 | 2147483647 22613 95 | 0.000 % |
5.16/5.23 c | 27576 | 3904 16705 50718 | 2147483647 23062 95 | 0.000 % |
5.16/5.26 c | 27676 | 3904 16705 50718 | 2147483647 23162 95 | 0.000 % |
5.16/5.29 c | 27786 | 3904 16705 50718 | 2147483647 23272 95 | 0.000 % |
5.26/5.32 c | 27909 | 3904 16705 50718 | 2147483647 23395 95 | 0.000 % |
5.26/5.35 c | 28042 | 3904 16705 50718 | 2147483647 23528 95 | 0.000 % |
5.26/5.40 c | 28188 | 3904 16705 50718 | 2147483647 23674 95 | 0.000 % |
5.37/5.44 c | 28348 | 3904 16705 50718 | 2147483647 23834 95 | 0.000 % |
5.37/5.49 c | 28525 | 3904 16705 50718 | 2147483647 24011 95 | 0.000 % |
5.47/5.55 c | 28718 | 3904 16705 50718 | 2147483647 24204 95 | 0.000 % |
5.56/5.61 c | 28930 | 3904 16705 50718 | 2147483647 24416 95 | 0.000 % |
5.56/5.68 c | 29164 | 3904 16705 50718 | 2147483647 24650 95 | 0.000 % |
5.66/5.75 c | 29420 | 3904 16705 50718 | 2147483647 24906 95 | 0.000 % |
5.76/5.83 c | 29701 | 3904 16705 50718 | 2147483647 25187 96 | 0.000 % |
5.86/5.92 c | 30012 | 3904 16705 50718 | 2147483647 25498 96 | 0.000 % |
5.96/6.02 c | 30352 | 3904 16705 50718 | 2147483647 25838 96 | 0.000 % |
6.06/6.12 c | 30724 | 3904 16705 50718 | 2147483647 26210 96 | 0.000 % |
6.17/6.24 c | 31133 | 3904 16705 50718 | 2147483647 26619 96 | 0.000 % |
6.27/6.37 c | 31582 | 3904 16705 50718 | 2147483647 27068 96 | 0.000 % |
6.47/6.52 c | 32075 | 3904 16705 50718 | 2147483647 27561 96 | 0.000 % |
6.47/6.55 c | 32176 | 3904 16705 50718 | 2147483647 27662 96 | 0.000 % |
6.47/6.59 c | 32288 | 3904 16705 50718 | 2147483647 27774 96 | 0.000 % |
6.57/6.63 c | 32412 | 3904 16705 50718 | 2147483647 27898 96 | 0.000 % |
6.57/6.66 c | 32545 | 3904 16705 50718 | 2147483647 28031 96 | 0.000 % |
6.67/6.71 c | 32692 | 3904 16705 50718 | 2147483647 28178 96 | 0.000 % |
6.67/6.76 c | 32853 | 3904 16705 50718 | 2147483647 28339 96 | 0.000 % |
6.77/6.81 c | 33029 | 3904 16705 50718 | 2147483647 28515 96 | 0.000 % |
6.77/6.88 c | 33222 | 3904 16705 50718 | 2147483647 28708 96 | 0.000 % |
6.87/6.94 c | 33435 | 3904 16705 50718 | 2147483647 28921 96 | 0.000 % |
6.97/7.02 c | 33671 | 3904 16705 50718 | 2147483647 29157 96 | 0.000 % |
6.97/7.09 c | 33927 | 3904 16705 50718 | 2147483647 29413 96 | 0.000 % |
7.06/7.18 c | 34208 | 3904 16705 50718 | 2147483647 29694 96 | 0.000 % |
7.16/7.27 c | 34521 | 3904 16705 50718 | 2147483647 30007 96 | 0.000 % |
7.26/7.38 c | 34861 | 3904 16705 50718 | 2147483647 30347 96 | 0.000 % |
7.46/7.50 c | 35233 | 3904 16705 50718 | 2147483647 30719 96 | 0.000 % |
7.57/7.63 c | 35642 | 3904 16705 50718 | 2147483647 31128 97 | 0.000 % |
7.67/7.78 c | 36091 | 3904 16705 50718 | 2147483647 31577 97 | 0.000 % |
7.86/7.93 c | 36584 | 3904 16705 50718 | 2147483647 32070 97 | 0.000 % |
8.06/8.12 c | 37127 | 3904 16705 50718 | 2147483647 32613 97 | 0.000 % |
8.06/8.16 c | 37227 | 3904 16705 50718 | 2147483647 32713 97 | 0.000 % |
8.16/8.20 c | 37339 | 3904 16705 50718 | 2147483647 32825 97 | 0.000 % |
8.16/8.24 c | 37460 | 3904 16705 50718 | 2147483647 32946 97 | 0.000 % |
8.16/8.29 c | 37593 | 3904 16705 50718 | 2147483647 33079 97 | 0.000 % |
8.26/8.35 c | 37740 | 3904 16705 50718 | 2147483647 33226 97 | 0.000 % |
8.36/8.40 c | 37906 | 3904 16705 50718 | 2147483647 33392 97 | 0.000 % |
8.36/8.46 c | 38082 | 3904 16705 50718 | 2147483647 33568 97 | 0.000 % |
8.46/8.54 c | 38277 | 3904 16705 50718 | 2147483647 33763 97 | 0.000 % |
8.56/8.62 c | 38491 | 3904 16705 50718 | 2147483647 33977 97 | 0.000 % |
8.56/8.69 c | 38726 | 3904 16705 50718 | 2147483647 34212 97 | 0.000 % |
8.67/8.79 c | 38982 | 3904 16705 50718 | 2147483647 34468 97 | 0.000 % |
8.77/8.89 c | 39263 | 3904 16705 50718 | 2147483647 34749 97 | 0.000 % |
8.97/9.00 c | 39572 | 3904 16705 50718 | 2147483647 35058 97 | 0.000 % |
9.07/9.12 c | 39911 | 3904 16705 50718 | 2147483647 35397 97 | 0.000 % |
9.16/9.24 c | 40285 | 3904 16705 50718 | 2147483647 35771 97 | 0.000 % |
9.26/9.37 c | 40694 | 3904 16705 50718 | 2147483647 36180 98 | 0.000 % |
9.46/9.52 c | 41144 | 3904 16705 50718 | 2147483647 36630 98 | 0.000 % |
9.56/9.69 c | 41637 | 3904 16705 50718 | 2147483647 37123 98 | 0.000 % |
9.77/9.89 c | 42180 | 3904 16705 50718 | 2147483647 37666 98 | 0.000 % |
10.06/10.11 c | 42777 | 3904 16705 50718 | 2147483647 38263 98 | 0.000 % |
10.06/10.16 c | 42877 | 3904 16705 50718 | 2147483647 38363 98 | 0.000 % |
10.06/10.19 c | 42987 | 3904 16705 50718 | 2147483647 38473 98 | 0.000 % |
10.16/10.24 c | 43108 | 3904 16705 50718 | 2147483647 38594 98 | 0.000 % |
10.16/10.29 c | 43242 | 3904 16705 50718 | 2147483647 38728 98 | 0.000 % |
10.26/10.35 c | 43389 | 3904 16705 50718 | 2147483647 38875 98 | 0.000 % |
10.36/10.41 c | 43550 | 3904 16705 50718 | 2147483647 39036 98 | 0.000 % |
10.36/10.48 c | 43726 | 3904 16705 50718 | 2147483647 39212 98 | 0.000 % |
10.46/10.54 c | 43920 | 3904 16705 50718 | 2147483647 39406 98 | 0.000 % |
10.56/10.64 c | 44132 | 3904 16705 50718 | 2147483647 39618 98 | 0.000 % |
10.66/10.72 c | 44366 | 3904 16705 50718 | 2147483647 39852 98 | 0.000 % |
10.76/10.82 c | 44624 | 3904 16705 50718 | 2147483647 40110 98 | 0.000 % |
10.87/10.93 c | 44906 | 3904 16705 50718 | 2147483647 40392 98 | 0.000 % |
10.97/11.04 c | 45215 | 3904 16705 50718 | 2147483647 40701 98 | 0.000 % |
11.06/11.17 c | 45554 | 3904 16705 50718 | 2147483647 41040 98 | 0.000 % |
11.26/11.31 c | 45927 | 3904 16705 50718 | 2147483647 41413 98 | 0.000 % |
11.36/11.46 c | 46336 | 3904 16705 50718 | 2147483647 41822 98 | 0.000 % |
11.56/11.64 c | 46787 | 3904 16705 50718 | 2147483647 42273 98 | 0.000 % |
11.76/11.82 c | 47282 | 3904 16705 50718 | 2147483647 42768 98 | 0.000 % |
11.97/12.03 c | 47824 | 3904 16705 50718 | 2147483647 43310 98 | 0.000 % |
12.16/12.26 c | 48421 | 3904 16705 50718 | 2147483647 43907 98 | 0.000 % |
12.46/12.52 c | 49076 | 3904 16705 50718 | 2147483647 44562 98 | 0.000 % |
12.46/12.57 c | 49178 | 3904 16705 50718 | 2147483647 44664 98 | 0.000 % |
12.56/12.62 c | 49289 | 3904 16705 50718 | 2147483647 44775 98 | 0.000 % |
12.56/12.68 c | 49412 | 3904 16705 50718 | 2147483647 44898 98 | 0.000 % |
12.66/12.74 c | 49545 | 3904 16705 50718 | 2147483647 45031 98 | 0.000 % |
12.77/12.81 c | 49692 | 3904 16705 50718 | 2147483647 45178 98 | 0.000 % |
12.77/12.88 c | 49853 | 3904 16705 50718 | 2147483647 45339 98 | 0.000 % |
12.87/12.96 c | 50031 | 3904 16705 50718 | 2147483647 45517 98 | 0.000 % |
12.97/13.05 c | 50224 | 3904 16705 50718 | 2147483647 45710 98 | 0.000 % |
13.07/13.15 c | 50439 | 3904 16705 50718 | 2147483647 45925 98 | 0.000 % |
13.17/13.25 c | 50672 | 3904 16705 50718 | 2147483647 46158 98 | 0.000 % |
13.26/13.37 c | 50928 | 3904 16705 50718 | 2147483647 46414 98 | 0.000 % |
13.46/13.50 c | 51210 | 3904 16705 50718 | 2147483647 46696 98 | 0.000 % |
13.56/13.62 c | 51522 | 3904 16705 50718 | 2147483647 47008 98 | 0.000 % |
13.66/13.78 c | 51861 | 3904 16705 50718 | 2147483647 47347 98 | 0.000 % |
13.86/13.95 c | 52233 | 3904 16705 50718 | 2147483647 47719 98 | 0.000 % |
14.06/14.13 c | 52643 | 3904 16705 50718 | 2147483647 48129 98 | 0.000 % |
14.27/14.33 c | 53096 | 3904 16705 50718 | 2147483647 48582 98 | 0.000 % |
14.46/14.56 c | 53590 | 3904 16705 50718 | 2147483647 49076 98 | 0.000 % |
14.76/14.80 c | 54133 | 3904 16705 50718 | 2147483647 49619 98 | 0.000 % |
14.96/15.07 c | 54732 | 3904 16705 50718 | 2147483647 50218 98 | 0.000 % |
15.27/15.34 c | 55388 | 3904 16705 50718 | 2147483647 50874 99 | 0.000 % |
15.56/15.65 c | 56108 | 3904 16705 50718 | 2147483647 51594 99 | 0.000 % |
15.56/15.69 c | 56210 | 3904 16705 50718 | 2147483647 51696 99 | 0.000 % |
15.66/15.75 c | 56321 | 3904 16705 50718 | 2147483647 51807 99 | 0.000 % |
15.76/15.80 c | 56442 | 3904 16705 50718 | 2147483647 51928 99 | 0.000 % |
15.76/15.87 c | 56575 | 3904 16705 50718 | 2147483647 52061 99 | 0.000 % |
15.86/15.95 c | 56721 | 3904 16705 50718 | 2147483647 52207 99 | 0.000 % |
15.96/16.03 c | 56882 | 3904 16705 50718 | 2147483647 52368 99 | 0.000 % |
16.06/16.11 c | 57059 | 3904 16705 50718 | 2147483647 52545 99 | 0.000 % |
16.16/16.21 c | 57255 | 3904 16705 50718 | 2147483647 52741 99 | 0.000 % |
16.26/16.32 c | 57468 | 3904 16705 50718 | 2147483647 52954 99 | 0.000 % |
16.37/16.43 c | 57701 | 3904 16705 50718 | 2147483647 53187 99 | 0.000 % |
16.47/16.54 c | 57958 | 3904 16705 50718 | 2147483647 53444 99 | 0.000 % |
16.56/16.68 c | 58240 | 3904 16705 50718 | 2147483647 53726 99 | 0.000 % |
16.76/16.83 c | 58549 | 3904 16705 50718 | 2147483647 54035 99 | 0.000 % |
16.86/16.99 c | 58888 | 3904 16705 50718 | 2147483647 54374 99 | 0.000 % |
17.06/17.17 c | 59261 | 3904 16705 50718 | 2147483647 54747 99 | 0.000 % |
17.26/17.37 c | 59670 | 3904 16705 50718 | 2147483647 55156 99 | 0.000 % |
17.46/17.58 c | 60121 | 3904 16705 50718 | 2147483647 55607 99 | 0.000 % |
17.76/17.84 c | 60615 | 3904 16705 50718 | 2147483647 56101 99 | 0.000 % |
17.96/18.09 c | 61157 | 3904 16705 50718 | 2147483647 56643 99 | 0.000 % |
18.36/18.41 c | 61753 | 3904 16705 50718 | 2147483647 57239 99 | 0.000 % |
18.66/18.73 c | 62408 | 3904 16705 50718 | 2147483647 57894 99 | 0.000 % |
18.96/19.08 c | 63128 | 3904 16705 50718 | 2147483647 58614 99 | 0.000 % |
19.36/19.46 c | 63921 | 3904 16705 50718 | 2147483647 59407 100 | 0.000 % |
19.46/19.51 c | 64021 | 3904 16705 50718 | 2147483647 59507 100 | 0.000 % |
19.46/19.59 c | 64132 | 3904 16705 50718 | 2147483647 59618 99 | 0.000 % |
19.56/19.66 c | 64253 | 3904 16705 50718 | 2147483647 59739 99 | 0.000 % |
19.66/19.74 c | 64386 | 3904 16705 50718 | 2147483647 59872 99 | 0.000 % |
19.76/19.82 c | 64532 | 3904 16705 50718 | 2147483647 60018 99 | 0.000 % |
19.86/19.92 c | 64693 | 3904 16705 50718 | 2147483647 60179 99 | 0.000 % |
19.96/20.01 c | 64869 | 3904 16705 50718 | 2147483647 60355 100 | 0.000 % |
20.06/20.11 c | 65062 | 3904 16705 50718 | 2147483647 60548 100 | 0.000 % |
20.16/20.23 c | 65275 | 3904 16705 50718 | 2147483647 60761 99 | 0.000 % |
20.26/20.34 c | 65508 | 3904 16705 50718 | 2147483647 60994 99 | 0.000 % |
20.35/20.48 c | 65765 | 3904 16705 50718 | 2147483647 61251 99 | 0.000 % |
20.56/20.62 c | 66047 | 3904 16705 50718 | 2147483647 61533 99 | 0.000 % |
20.77/20.81 c | 66357 | 3904 16705 50718 | 2147483647 61843 99 | 0.000 % |
20.87/20.98 c | 66696 | 3904 16705 50718 | 2147483647 62182 99 | 0.000 % |
21.06/21.17 c | 67068 | 3904 16705 50718 | 2147483647 62554 99 | 0.000 % |
21.26/21.38 c | 67478 | 3904 16705 50718 | 2147483647 62964 100 | 0.000 % |
21.56/21.62 c | 67928 | 3904 16705 50718 | 2147483647 63414 100 | 0.000 % |
21.76/21.89 c | 68422 | 3904 16705 50718 | 2147483647 63908 100 | 0.000 % |
22.06/22.19 c | 68964 | 3904 16705 50718 | 2147483647 64450 100 | 0.000 % |
22.46/22.51 c | 69561 | 3904 16705 50718 | 2147483647 65047 100 | 0.000 % |
22.76/22.85 c | 70216 | 3904 16705 50718 | 2147483647 65702 100 | 0.000 % |
23.16/23.24 c | 70937 | 3904 16705 50718 | 2147483647 66423 100 | 0.000 % |
23.56/23.63 c | 71730 | 3904 16705 50718 | 2147483647 67216 100 | 0.000 % |
23.95/24.08 c | 72601 | 3904 16705 50718 | 2147483647 68087 100 | 0.000 % |
24.06/24.15 c | 72702 | 3904 16705 50718 | 2147483647 68188 100 | 0.000 % |
24.16/24.22 c | 72812 | 3904 16705 50718 | 2147483647 68298 100 | 0.000 % |
24.25/24.30 c | 72934 | 3904 16705 50718 | 2147483647 68420 100 | 0.000 % |
24.25/24.38 c | 73067 | 3904 16705 50718 | 2147483647 68553 100 | 0.000 % |
24.35/24.47 c | 73217 | 3904 16705 50718 | 2147483647 68703 100 | 0.000 % |
24.45/24.57 c | 73377 | 3904 16705 50718 | 2147483647 68863 100 | 0.000 % |
24.55/24.67 c | 73556 | 3904 16705 50718 | 2147483647 69042 100 | 0.000 % |
24.76/24.80 c | 73752 | 3904 16705 50718 | 2147483647 69238 100 | 0.000 % |
24.86/24.92 c | 73964 | 3904 16705 50718 | 2147483647 69450 100 | 0.000 % |
24.96/25.05 c | 74197 | 3904 16705 50718 | 2147483647 69683 100 | 0.000 % |
25.16/25.21 c | 74456 | 3904 16705 50718 | 2147483647 69942 100 | 0.000 % |
25.26/25.37 c | 74738 | 3904 16705 50718 | 2147483647 70224 100 | 0.000 % |
25.46/25.56 c | 75048 | 3904 16705 50718 | 2147483647 70534 100 | 0.000 % |
25.66/25.75 c | 75387 | 3904 16705 50718 | 2147483647 70873 100 | 0.000 % |
25.86/25.95 c | 75759 | 3904 16705 50718 | 2147483647 71245 100 | 0.000 % |
26.16/26.20 c | 76168 | 3904 16705 50718 | 2147483647 71654 100 | 0.000 % |
26.36/26.47 c | 76618 | 3904 16705 50718 | 2147483647 72104 100 | 0.000 % |
26.66/26.74 c | 77111 | 3904 16705 50718 | 2147483647 72597 100 | 0.000 % |
26.96/27.04 c | 77653 | 3904 16705 50718 | 2147483647 73139 100 | 0.000 % |
27.36/27.41 c | 78253 | 3904 16705 50718 | 2147483647 73739 100 | 0.000 % |
27.75/27.81 c | 78908 | 3904 16705 50718 | 2147483647 74394 100 | 0.000 % |
28.15/28.24 c | 79631 | 3904 16705 50718 | 2147483647 75117 101 | 0.000 % |
28.65/28.71 c | 80423 | 3904 16705 50718 | 2147483647 75909 101 | 0.000 % |
29.16/29.25 c | 81295 | 3904 16705 50718 | 2147483647 76781 101 | 0.000 % |
29.66/29.79 c | 82253 | 3904 16705 50718 | 2147483647 77739 101 | 0.000 % |
29.76/29.86 c | 82353 | 3904 16705 50718 | 2147483647 77839 101 | 0.000 % |
29.86/29.93 c | 82466 | 3904 16705 50718 | 2147483647 77952 101 | 0.000 % |
29.96/30.01 c | 82588 | 3904 16705 50718 | 2147483647 78074 101 | 0.000 % |
30.06/30.10 c | 82721 | 3904 16705 50718 | 2147483647 78207 101 | 0.000 % |
30.16/30.21 c | 82868 | 3904 16705 50718 | 2147483647 78354 101 | 0.000 % |
30.26/30.32 c | 83029 | 3904 16705 50718 | 2147483647 78515 101 | 0.000 % |
30.36/30.44 c | 83210 | 3904 16705 50718 | 2147483647 78696 101 | 0.000 % |
30.46/30.57 c | 83403 | 3904 16705 50718 | 2147483647 78889 101 | 0.000 % |
30.66/30.71 c | 83615 | 3904 16705 50718 | 2147483647 79101 101 | 0.000 % |
30.76/30.86 c | 83851 | 3904 16705 50718 | 2147483647 79337 101 | 0.000 % |
30.95/31.01 c | 84108 | 3904 16705 50718 | 2147483647 79594 101 | 0.000 % |
31.05/31.19 c | 84389 | 3904 16705 50718 | 2147483647 79875 101 | 0.000 % |
31.35/31.40 c | 84698 | 3904 16705 50718 | 2147483647 80184 101 | 0.000 % |
31.55/31.62 c | 85038 | 3904 16705 50718 | 2147483647 80524 101 | 0.000 % |
31.76/31.89 c | 85410 | 3904 16705 50718 | 2147483647 80896 101 | 0.000 % |
32.05/32.14 c | 85819 | 3904 16705 50718 | 2147483647 81305 101 | 0.000 % |
32.35/32.43 c | 86269 | 3904 16705 50718 | 2147483647 81755 101 | 0.000 % |
32.65/32.74 c | 86762 | 3904 16705 50718 | 2147483647 82248 101 | 0.000 % |
32.96/33.09 c | 87304 | 3904 16705 50718 | 2147483647 82790 101 | 0.000 % |
33.45/33.50 c | 87900 | 3904 16705 50718 | 2147483647 83386 101 | 0.000 % |
33.85/33.92 c | 88556 | 3904 16705 50718 | 2147483647 84042 101 | 0.000 % |
34.25/34.37 c | 89276 | 3904 16705 50718 | 2147483647 84762 101 | 0.000 % |
34.76/34.90 c | 90068 | 3904 16705 50718 | 2147483647 85554 102 | 0.000 % |
35.36/35.49 c | 90940 | 3904 16705 50718 | 2147483647 86426 102 | 0.000 % |
36.06/36.12 c | 91901 | 3904 16705 50718 | 2147483647 87387 102 | 0.000 % |
36.76/36.81 c | 92955 | 3904 16705 50718 | 2147483647 88441 102 | 0.000 % |
36.76/36.88 c | 93056 | 3904 16705 50718 | 2147483647 88542 102 | 0.000 % |
36.86/36.99 c | 93166 | 3904 16705 50718 | 2147483647 88652 102 | 0.000 % |
36.96/37.09 c | 93287 | 3904 16705 50718 | 2147483647 88773 102 | 0.000 % |
37.06/37.19 c | 93420 | 3904 16705 50718 | 2147483647 88906 102 | 0.000 % |
37.16/37.30 c | 93567 | 3904 16705 50718 | 2147483647 89053 102 | 0.000 % |
37.36/37.43 c | 93728 | 3904 16705 50718 | 2147483647 89214 102 | 0.000 % |
37.46/37.56 c | 93904 | 3904 16705 50718 | 2147483647 89390 102 | 0.000 % |
37.66/37.71 c | 94098 | 3904 16705 50718 | 2147483647 89584 102 | 0.000 % |
37.76/37.87 c | 94310 | 3904 16705 50718 | 2147483647 89796 102 | 0.000 % |
37.96/38.06 c | 94544 | 3904 16705 50718 | 2147483647 90030 102 | 0.000 % |
38.16/38.25 c | 94800 | 3904 16705 50718 | 2147483647 90286 102 | 0.000 % |
38.36/38.46 c | 95081 | 3904 16705 50718 | 2147483647 90567 102 | 0.000 % |
38.55/38.69 c | 95390 | 3904 16705 50718 | 2147483647 90876 102 | 0.000 % |
38.85/38.90 c | 95730 | 3904 16705 50718 | 2147483647 91216 102 | 0.000 % |
39.05/39.18 c | 96103 | 3904 16705 50718 | 2147483647 91589 102 | 0.000 % |
39.35/39.48 c | 96512 | 3904 16705 50718 | 2147483647 91998 102 | 0.000 % |
39.75/39.81 c | 96962 | 3904 16705 50718 | 2147483647 92448 102 | 0.000 % |
40.05/40.19 c | 97455 | 3904 16705 50718 | 2147483647 92941 102 | 0.000 % |
40.45/40.59 c | 97997 | 3904 16705 50718 | 2147483647 93483 102 | 0.000 % |
40.94/41.04 c | 98594 | 3904 16705 50718 | 2147483647 94080 102 | 0.000 % |
41.45/41.54 c | 99250 | 3904 16705 50718 | 2147483647 94736 102 | 0.000 % |
41.95/42.04 c | 99970 | 3904 16705 50718 | 2147483647 95456 102 | 0.000 % |
42.45/42.59 c | 100762 | 3904 16705 50718 | 2147483647 96248 102 | 0.000 % |
43.15/43.22 c | 101635 | 3904 16705 50718 | 2147483647 97121 102 | 0.000 % |
43.75/43.85 c | 102593 | 3904 16705 50718 | 2147483647 98079 102 | 0.000 % |
44.55/44.62 c | 103651 | 3904 16705 50718 | 2147483647 99137 102 | 0.000 % |
45.35/45.44 c | 104809 | 3904 16705 50718 | 2147483647 100295 102 | 0.000 % |
45.45/45.52 c | 104910 | 3904 16705 50718 | 2147483647 100396 102 | 0.000 % |
45.55/45.62 c | 105020 | 3904 16705 50718 | 2147483647 100506 102 | 0.000 % |
45.65/45.75 c | 105144 | 3904 16705 50718 | 2147483647 100630 102 | 0.000 % |
45.75/45.86 c | 105279 | 3904 16705 50718 | 2147483647 100765 102 | 0.000 % |
45.85/45.98 c | 105426 | 3904 16705 50718 | 2147483647 100912 102 | 0.000 % |
46.05/46.11 c | 105587 | 3904 16705 50718 | 2147483647 101073 102 | 0.000 % |
46.15/46.27 c | 105764 | 3904 16705 50718 | 2147483647 101250 102 | 0.000 % |
46.34/46.44 c | 105959 | 3904 16705 50718 | 2147483647 101445 102 | 0.000 % |
46.54/46.61 c | 106173 | 3904 16705 50718 | 2147483647 101659 102 | 0.000 % |
46.64/46.79 c | 106406 | 3904 16705 50718 | 2147483647 101892 102 | 0.000 % |
46.84/46.99 c | 106662 | 3904 16705 50718 | 2147483647 102148 102 | 0.000 % |
47.15/47.22 c | 106943 | 3904 16705 50718 | 2147483647 102429 102 | 0.000 % |
47.34/47.46 c | 107252 | 3904 16705 50718 | 2147483647 102738 102 | 0.000 % |
47.64/47.73 c | 107591 | 3904 16705 50718 | 2147483647 103077 102 | 0.000 % |
47.94/48.06 c | 107963 | 3904 16705 50718 | 2147483647 103449 102 | 0.000 % |
48.24/48.38 c | 108376 | 3904 16705 50718 | 2147483647 103862 102 | 0.000 % |
48.65/48.72 c | 108825 | 3904 16705 50718 | 2147483647 104311 102 | 0.000 % |
49.05/49.13 c | 109320 | 3904 16705 50718 | 2147483647 104806 102 | 0.000 % |
49.45/49.59 c | 109862 | 3904 16705 50718 | 2147483647 105348 102 | 0.000 % |
49.95/50.05 c | 110458 | 3904 16705 50718 | 2147483647 105944 102 | 0.000 % |
50.55/50.60 c | 111116 | 3904 16705 50718 | 2147483647 106602 102 | 0.000 % |
51.04/51.13 c | 111836 | 3904 16705 50718 | 2147483647 107322 102 | 0.000 % |
51.64/51.77 c | 112630 | 3904 16705 50718 | 2147483647 108116 102 | 0.000 % |
52.34/52.44 c | 113501 | 3904 16705 50718 | 2147483647 108987 102 | 0.000 % |
53.05/53.19 c | 114459 | 3904 16705 50718 | 2147483647 109945 102 | 0.000 % |
54.04/54.11 c | 115513 | 3904 16705 50718 | 2147483647 110999 102 | 0.000 % |
54.94/55.02 c | 116674 | 3904 16705 50718 | 2147483647 112160 102 | 0.000 % |
56.05/56.11 c | 117950 | 3904 16705 50718 | 2147483647 113436 102 | 0.000 % |
56.14/56.22 c | 118050 | 3904 16705 50718 | 2147483647 113536 102 | 0.000 % |
56.24/56.32 c | 118161 | 3904 16705 50718 | 2147483647 113647 102 | 0.000 % |
56.34/56.44 c | 118284 | 3904 16705 50718 | 2147483647 113770 102 | 0.000 % |
56.44/56.54 c | 118418 | 3904 16705 50718 | 2147483647 113904 102 | 0.000 % |
56.54/56.68 c | 118564 | 3904 16705 50718 | 2147483647 114050 102 | 0.000 % |
56.74/56.83 c | 118724 | 3904 16705 50718 | 2147483647 114210 102 | 0.000 % |
56.94/57.00 c | 118901 | 3904 16705 50718 | 2147483647 114387 102 | 0.000 % |
57.15/57.20 c | 119094 | 3904 16705 50718 | 2147483647 114580 102 | 0.000 % |
57.35/57.42 c | 119306 | 3904 16705 50718 | 2147483647 114792 102 | 0.000 % |
57.54/57.66 c | 119539 | 3904 16705 50718 | 2147483647 115025 102 | 0.000 % |
57.84/57.93 c | 119795 | 3904 16705 50718 | 2147483647 115281 102 | 0.000 % |
58.04/58.20 c | 120078 | 3904 16705 50718 | 2147483647 115564 102 | 0.000 % |
58.44/58.51 c | 120387 | 3904 16705 50718 | 2147483647 115873 102 | 0.000 % |
58.74/58.83 c | 120726 | 3904 16705 50718 | 2147483647 116212 102 | 0.000 % |
59.04/59.15 c | 121098 | 3904 16705 50718 | 2147483647 116584 102 | 0.000 % |
59.44/59.53 c | 121508 | 3904 16705 50718 | 2147483647 116994 102 | 0.000 % |
59.84/59.91 c | 121957 | 3904 16705 50718 | 2147483647 117443 102 | 0.000 % |
60.24/60.34 c | 122450 | 3904 16705 50718 | 2147483647 117936 102 | 0.000 % |
60.74/60.86 c | 122995 | 3904 16705 50718 | 2147483647 118481 102 | 0.000 % |
61.24/61.37 c | 123592 | 3904 16705 50718 | 2147483647 119078 102 | 0.000 % |
61.94/62.04 c | 124247 | 3904 16705 50718 | 2147483647 119733 102 | 0.000 % |
62.54/62.70 c | 124968 | 3904 16705 50718 | 2147483647 120454 103 | 0.000 % |
63.23/63.35 c | 125760 | 3904 16705 50718 | 2147483647 121246 103 | 0.000 % |
64.03/64.10 c | 126631 | 3904 16705 50718 | 2147483647 122117 103 | 0.000 % |
64.83/64.96 c | 127589 | 3904 16705 50718 | 2147483647 123075 103 | 0.000 % |
65.84/65.95 c | 128643 | 3904 16705 50718 | 2147483647 124129 103 | 0.000 % |
66.83/67.00 c | 129802 | 3904 16705 50718 | 2147483647 125288 103 | 0.000 % |
67.94/68.09 c | 131077 | 3904 16705 50718 | 2147483647 126563 103 | 0.000 % |
69.24/69.36 c | 132480 | 3904 16705 50718 | 2147483647 127966 103 | 0.000 % |
69.33/69.47 c | 132580 | 3904 16705 50718 | 2147483647 128066 103 | 0.000 % |
69.53/69.62 c | 132691 | 3904 16705 50718 | 2147483647 128177 103 | 0.000 % |
69.63/69.77 c | 132813 | 3904 16705 50718 | 2147483647 128299 103 | 0.000 % |
69.83/69.92 c | 132946 | 3904 16705 50718 | 2147483647 128432 103 | 0.000 % |
69.93/70.08 c | 133092 | 3904 16705 50718 | 2147483647 128578 103 | 0.000 % |
70.13/70.27 c | 133252 | 3904 16705 50718 | 2147483647 128738 103 | 0.000 % |
70.33/70.46 c | 133429 | 3904 16705 50718 | 2147483647 128915 103 | 0.000 % |
70.53/70.68 c | 133624 | 3904 16705 50718 | 2147483647 129110 103 | 0.000 % |
70.73/70.88 c | 133836 | 3904 16705 50718 | 2147483647 129322 103 | 0.000 % |
71.03/71.10 c | 134069 | 3904 16705 50718 | 2147483647 129555 103 | 0.000 % |
71.23/71.38 c | 134327 | 3904 16705 50718 | 2147483647 129813 103 | 0.000 % |
71.54/71.67 c | 134608 | 3904 16705 50718 | 2147483647 130094 103 | 0.000 % |
71.84/71.99 c | 134917 | 3904 16705 50718 | 2147483647 130403 103 | 0.000 % |
72.24/72.31 c | 135256 | 3904 16705 50718 | 2147483647 130742 103 | 0.000 % |
72.54/72.66 c | 135628 | 3904 16705 50718 | 2147483647 131114 103 | 0.000 % |
72.93/73.09 c | 136037 | 3904 16705 50718 | 2147483647 131523 103 | 0.000 % |
73.43/73.54 c | 136486 | 3904 16705 50718 | 2147483647 131972 103 | 0.000 % |
73.93/74.06 c | 136979 | 3904 16705 50718 | 2147483647 132465 103 | 0.000 % |
74.53/74.62 c | 137521 | 3904 16705 50718 | 2147483647 133007 103 | 0.000 % |
75.13/75.25 c | 138117 | 3904 16705 50718 | 2147483647 133603 103 | 0.000 % |
75.73/75.89 c | 138772 | 3904 16705 50718 | 2147483647 134258 103 | 0.000 % |
76.43/76.58 c | 139494 | 3904 16705 50718 | 2147483647 134980 103 | 0.000 % |
77.33/77.40 c | 140286 | 3904 16705 50718 | 2147483647 135772 103 | 0.000 % |
78.23/78.30 c | 141158 | 3904 16705 50718 | 2147483647 136644 103 | 0.000 % |
79.03/79.14 c | 142120 | 3904 16705 50718 | 2147483647 137606 103 | 0.000 % |
80.02/80.18 c | 143173 | 3904 16705 50718 | 2147483647 138659 103 | 0.000 % |
81.23/81.36 c | 144331 | 3904 16705 50718 | 2147483647 139817 103 | 0.000 % |
82.53/82.64 c | 145605 | 3904 16705 50718 | 2147483647 141091 103 | 0.000 % |
83.93/84.01 c | 147008 | 3904 16705 50718 | 2147483647 142494 103 | 0.000 % |
85.42/85.57 c | 148555 | 3904 16705 50718 | 2147483647 144041 103 | 0.000 % |
85.63/85.71 c | 148655 | 3904 16705 50718 | 2147483647 144141 103 | 0.000 % |
85.73/85.87 c | 148766 | 3904 16705 50718 | 2147483647 144252 103 | 0.000 % |
85.92/86.01 c | 148887 | 3904 16705 50718 | 2147483647 144373 103 | 0.000 % |
86.02/86.16 c | 149020 | 3904 16705 50718 | 2147483647 144506 103 | 0.000 % |
86.22/86.37 c | 149166 | 3904 16705 50718 | 2147483647 144652 103 | 0.000 % |
86.42/86.56 c | 149326 | 3904 16705 50718 | 2147483647 144812 103 | 0.000 % |
86.62/86.77 c | 149502 | 3904 16705 50718 | 2147483647 144988 103 | 0.000 % |
86.92/87.01 c | 149696 | 3904 16705 50718 | 2147483647 145182 103 | 0.000 % |
87.12/87.23 c | 149908 | 3904 16705 50718 | 2147483647 145394 103 | 0.000 % |
87.42/87.51 c | 150142 | 3904 16705 50718 | 2147483647 145628 103 | 0.000 % |
87.62/87.78 c | 150398 | 3904 16705 50718 | 2147483647 145884 103 | 0.000 % |
87.92/88.09 c | 150679 | 3904 16705 50718 | 2147483647 146165 103 | 0.000 % |
88.32/88.45 c | 150991 | 3904 16705 50718 | 2147483647 146477 103 | 0.000 % |
88.73/88.83 c | 151330 | 3904 16705 50718 | 2147483647 146816 103 | 0.000 % |
89.13/89.26 c | 151703 | 3904 16705 50718 | 2147483647 147189 103 | 0.000 % |
89.52/89.68 c | 152112 | 3904 16705 50718 | 2147483647 147598 103 | 0.000 % |
90.03/90.15 c | 152563 | 3904 16705 50718 | 2147483647 148049 103 | 0.000 % |
90.62/90.76 c | 153057 | 3904 16705 50718 | 2147483647 148543 103 | 0.000 % |
91.23/91.33 c | 153599 | 3904 16705 50718 | 2147483647 149085 103 | 0.000 % |
91.92/92.01 c | 154195 | 3904 16705 50718 | 2147483647 149681 103 | 0.000 % |
92.62/92.70 c | 154850 | 3904 16705 50718 | 2147483647 150336 103 | 0.000 % |
93.42/93.52 c | 155570 | 3904 16705 50718 | 2147483647 151056 103 | 0.000 % |
94.22/94.39 c | 156362 | 3904 16705 50718 | 2147483647 151848 103 | 0.000 % |
95.22/95.31 c | 157233 | 3904 16705 50718 | 2147483647 152719 103 | 0.000 % |
96.22/96.39 c | 158192 | 3904 16705 50718 | 2147483647 153678 103 | 0.000 % |
97.42/97.57 c | 159247 | 3904 16705 50718 | 2147483647 154733 103 | 0.000 % |
98.72/98.84 c | 160407 | 3904 16705 50718 | 2147483647 155893 103 | 0.000 % |
100.02/100.18 c | 161680 | 3904 16705 50718 | 2147483647 157166 103 | 0.000 % |
101.62/101.79 c | 163080 | 3904 16705 50718 | 2147483647 158566 104 | 0.000 % |
103.42/103.58 c | 164623 | 3904 16705 50718 | 2147483647 160109 104 | 0.000 % |
105.21/105.38 c | 166318 | 3904 16705 50718 | 2147483647 161804 104 | 0.000 % |
105.42/105.50 c | 166418 | 3904 16705 50718 | 2147483647 161904 104 | 0.000 % |
105.52/105.64 c | 166529 | 3904 16705 50718 | 2147483647 162015 104 | 0.000 % |
105.71/105.84 c | 166651 | 3904 16705 50718 | 2147483647 162137 104 | 0.000 % |
105.91/106.03 c | 166786 | 3904 16705 50718 | 2147483647 162272 104 | 0.000 % |
106.11/106.21 c | 166932 | 3904 16705 50718 | 2147483647 162418 104 | 0.000 % |
106.31/106.42 c | 167093 | 3904 16705 50718 | 2147483647 162579 104 | 0.000 % |
106.52/106.65 c | 167269 | 3904 16705 50718 | 2147483647 162755 104 | 0.000 % |
106.81/106.91 c | 167465 | 3904 16705 50718 | 2147483647 162951 104 | 0.000 % |
107.01/107.15 c | 167677 | 3904 16705 50718 | 2147483647 163163 104 | 0.000 % |
107.31/107.44 c | 167910 | 3904 16705 50718 | 2147483647 163396 104 | 0.000 % |
107.61/107.77 c | 168167 | 3904 16705 50718 | 2147483647 163653 104 | 0.000 % |
107.91/108.09 c | 168448 | 3904 16705 50718 | 2147483647 163934 104 | 0.000 % |
108.31/108.46 c | 168757 | 3904 16705 50718 | 2147483647 164243 104 | 0.000 % |
108.71/108.82 c | 169099 | 3904 16705 50718 | 2147483647 164585 104 | 0.000 % |
109.21/109.34 c | 169472 | 3904 16705 50718 | 2147483647 164958 104 | 0.000 % |
109.71/109.83 c | 169882 | 3904 16705 50718 | 2147483647 165368 104 | 0.000 % |
110.22/110.35 c | 170331 | 3904 16705 50718 | 2147483647 165817 104 | 0.000 % |
110.82/110.96 c | 170824 | 3904 16705 50718 | 2147483647 166310 104 | 0.000 % |
111.41/111.56 c | 171366 | 3904 16705 50718 | 2147483647 166852 104 | 0.000 % |
112.12/112.27 c | 171963 | 3904 16705 50718 | 2147483647 167449 104 | 0.000 % |
112.91/113.09 c | 172620 | 3904 16705 50718 | 2147483647 168106 104 | 0.000 % |
113.71/113.88 c | 173340 | 3904 16705 50718 | 2147483647 168826 104 | 0.000 % |
114.71/114.88 c | 174132 | 3904 16705 50718 | 2147483647 169618 104 | 0.000 % |
115.61/115.75 c | 175004 | 3904 16705 50718 | 2147483647 170490 104 | 0.000 % |
116.70/116.83 c | 175962 | 3904 16705 50718 | 2147483647 171448 104 | 0.000 % |
117.90/118.07 c | 177016 | 3904 16705 50718 | 2147483647 172502 104 | 0.000 % |
119.51/119.61 c | 178175 | 3904 16705 50718 | 2147483647 173661 104 | 0.000 % |
121.01/121.19 c | 179449 | 3904 16705 50718 | 2147483647 174935 104 | 0.000 % |
122.70/122.80 c | 180850 | 3904 16705 50718 | 2147483647 176336 104 | 0.000 % |
124.40/124.58 c | 182390 | 3904 16705 50718 | 2147483647 177876 104 | 0.000 % |
126.41/126.54 c | 184089 | 3904 16705 50718 | 2147483647 179575 104 | 0.000 % |
128.71/128.83 c | 185953 | 3904 16705 50718 | 2147483647 181439 104 | 0.000 % |
128.81/128.98 c | 186057 | 3904 16705 50718 | 2147483647 181543 104 | 0.000 % |
129.01/129.16 c | 186167 | 3904 16705 50718 | 2147483647 181653 104 | 0.000 % |
129.21/129.36 c | 186290 | 3904 16705 50718 | 2147483647 181776 104 | 0.000 % |
129.41/129.56 c | 186423 | 3904 16705 50718 | 2147483647 181909 104 | 0.000 % |
129.61/129.79 c | 186569 | 3904 16705 50718 | 2147483647 182055 104 | 0.000 % |
129.90/130.03 c | 186729 | 3904 16705 50718 | 2147483647 182215 104 | 0.000 % |
130.10/130.26 c | 186907 | 3904 16705 50718 | 2147483647 182393 104 | 0.000 % |
130.40/130.52 c | 187103 | 3904 16705 50718 | 2147483647 182589 104 | 0.000 % |
130.71/130.83 c | 187315 | 3904 16705 50718 | 2147483647 182801 104 | 0.000 % |
131.00/131.15 c | 187548 | 3904 16705 50718 | 2147483647 183034 104 | 0.000 % |
131.40/131.55 c | 187805 | 3904 16705 50718 | 2147483647 183291 104 | 0.000 % |
131.80/131.91 c | 188086 | 3904 16705 50718 | 2147483647 183572 104 | 0.000 % |
132.20/132.36 c | 188395 | 3904 16705 50718 | 2147483647 183881 104 | 0.000 % |
132.70/132.81 c | 188735 | 3904 16705 50718 | 2147483647 184221 104 | 0.000 % |
133.20/133.32 c | 189107 | 3904 16705 50718 | 2147483647 184593 104 | 0.000 % |
133.70/133.83 c | 189518 | 3904 16705 50718 | 2147483647 185004 104 | 0.000 % |
134.30/134.46 c | 189968 | 3904 16705 50718 | 2147483647 185454 104 | 0.000 % |
135.00/135.12 c | 190463 | 3904 16705 50718 | 2147483647 185949 104 | 0.000 % |
135.70/135.84 c | 191009 | 3904 16705 50718 | 2147483647 186495 104 | 0.000 % |
136.50/136.68 c | 191605 | 3904 16705 50718 | 2147483647 187091 104 | 0.000 % |
137.40/137.60 c | 192263 | 3904 16705 50718 | 2147483647 187749 104 | 0.000 % |
138.40/138.54 c | 192983 | 3904 16705 50718 | 2147483647 188469 104 | 0.000 % |
139.50/139.62 c | 193775 | 3904 16705 50718 | 2147483647 189261 104 | 0.000 % |
140.50/140.68 c | 194646 | 3904 16705 50718 | 2147483647 190132 104 | 0.000 % |
141.70/141.88 c | 195604 | 3904 16705 50718 | 2147483647 191090 104 | 0.000 % |
143.09/143.25 c | 196657 | 3904 16705 50718 | 2147483647 192143 104 | 0.000 % |
144.59/144.76 c | 197815 | 3904 16705 50718 | 2147483647 193301 104 | 0.000 % |
146.19/146.40 c | 199088 | 3904 16705 50718 | 2147483647 194574 104 | 0.000 % |
148.09/148.29 c | 200488 | 3904 16705 50718 | 2147483647 195974 104 | 0.000 % |
150.19/150.34 c | 202028 | 3904 16705 50718 | 2147483647 197514 104 | 0.000 % |
152.49/152.65 c | 203722 | 3904 16705 50718 | 2147483647 199208 105 | 0.000 % |
154.78/154.92 c | 205585 | 3904 16705 50718 | 2147483647 201071 105 | 0.000 % |
157.59/157.74 c | 207634 | 3904 16705 50718 | 2147483647 203120 105 | 0.000 % |
157.69/157.89 c | 207736 | 3904 16705 50718 | 2147483647 203222 105 | 0.000 % |
157.89/158.08 c | 207847 | 3904 16705 50718 | 2147483647 203333 105 | 0.000 % |
158.09/158.28 c | 207970 | 3904 16705 50718 | 2147483647 203456 105 | 0.000 % |
158.38/158.51 c | 208104 | 3904 16705 50718 | 2147483647 203590 105 | 0.000 % |
158.58/158.76 c | 208251 | 3904 16705 50718 | 2147483647 203737 105 | 0.000 % |
158.88/159.04 c | 208411 | 3904 16705 50718 | 2147483647 203897 105 | 0.000 % |
159.18/159.33 c | 208588 | 3904 16705 50718 | 2147483647 204074 105 | 0.000 % |
159.48/159.67 c | 208785 | 3904 16705 50718 | 2147483647 204271 105 | 0.000 % |
159.88/160.03 c | 208997 | 3904 16705 50718 | 2147483647 204483 105 | 0.000 % |
160.18/160.37 c | 209230 | 3904 16705 50718 | 2147483647 204716 105 | 0.000 % |
160.68/160.80 c | 209486 | 3904 16705 50718 | 2147483647 204972 105 | 0.000 % |
161.18/161.31 c | 209767 | 3904 16705 50718 | 2147483647 205253 105 | 0.000 % |
161.58/161.74 c | 210076 | 3904 16705 50718 | 205486 205562 105 | 0.000 % |
162.28/162.49 c | 210415 | 3904 16705 50718 | 205486 182158 105 | 0.000 % |
162.88/163.00 c | 210788 | 3904 16705 50718 | 205486 182531 105 | 0.000 % |
163.38/163.56 c | 211198 | 3904 16705 50718 | 205486 182941 105 | 0.000 % |
163.98/164.12 c | 211648 | 3904 16705 50718 | 205486 183391 105 | 0.000 % |
164.58/164.78 c | 212141 | 3904 16705 50718 | 205486 183884 105 | 0.000 % |
165.28/165.49 c | 212683 | 3904 16705 50718 | 205486 184426 105 | 0.000 % |
166.07/166.24 c | 213281 | 3904 16705 50718 | 205486 185024 105 | 0.000 % |
166.87/167.02 c | 213936 | 3904 16705 50718 | 205486 185679 105 | 0.000 % |
167.77/167.96 c | 214659 | 3904 16705 50718 | 205486 186402 105 | 0.000 % |
168.77/168.98 c | 215451 | 3904 16705 50718 | 205486 187194 105 | 0.000 % |
169.97/170.11 c | 216323 | 3904 16705 50718 | 205486 188066 105 | 0.000 % |
171.17/171.37 c | 217281 | 3904 16705 50718 | 205486 189024 105 | 0.000 % |
172.58/172.72 c | 218336 | 3904 16705 50718 | 205486 190079 105 | 0.000 % |
174.08/174.21 c | 219494 | 3904 16705 50718 | 205486 191237 105 | 0.000 % |
175.68/175.83 c | 220767 | 3904 16705 50718 | 2147483647 192510 105 | 0.000 % |
177.48/177.67 c | 222169 | 3904 16705 50718 | 2147483647 193912 105 | 0.000 % |
179.48/179.68 c | 223711 | 3904 16705 50718 | 2147483647 195454 105 | 0.000 % |
181.68/181.81 c | 225405 | 3904 16705 50718 | 2147483647 197148 105 | 0.000 % |
184.08/184.25 c | 227268 | 3904 16705 50718 | 2147483647 199011 105 | 0.000 % |
186.88/187.05 c | 229318 | 3904 16705 50718 | 2147483647 201061 106 | 0.000 % |
189.97/190.14 c | 231574 | 3904 16705 50718 | 2147483647 203317 106 | 0.000 % |
190.18/190.35 c | 231678 | 3904 16705 50718 | 2147483647 203421 106 | 0.000 % |
190.37/190.56 c | 231788 | 3904 16705 50718 | 2147483647 203531 106 | 0.000 % |
190.57/190.76 c | 231909 | 3904 16705 50718 | 2147483647 203652 106 | 0.000 % |
190.77/190.96 c | 232042 | 3904 16705 50718 | 2147483647 203785 106 | 0.000 % |
191.07/191.25 c | 232188 | 3904 16705 50718 | 2147483647 203931 106 | 0.000 % |
191.37/191.52 c | 232350 | 3904 16705 50718 | 2147483647 204093 106 | 0.000 % |
191.57/191.79 c | 232526 | 3904 16705 50718 | 2147483647 204269 106 | 0.000 % |
191.97/192.15 c | 232719 | 3904 16705 50718 | 2147483647 204462 106 | 0.000 % |
192.27/192.47 c | 232932 | 3904 16705 50718 | 2147483647 204675 106 | 0.000 % |
192.57/192.77 c | 233166 | 3904 16705 50718 | 2147483647 204909 106 | 0.000 % |
192.97/193.16 c | 233422 | 3904 16705 50718 | 2147483647 205165 106 | 0.000 % |
193.37/193.58 c | 233703 | 3904 16705 50718 | 2147483647 205446 106 | 0.000 % |
193.87/194.08 c | 234013 | 3904 16705 50718 | 2147483647 205756 106 | 0.000 % |
194.47/194.61 c | 234353 | 3904 16705 50718 | 2147483647 206096 106 | 0.000 % |
194.97/195.18 c | 234725 | 3904 16705 50718 | 2147483647 206468 106 | 0.000 % |
195.67/195.85 c | 235134 | 3904 16705 50718 | 2147483647 206877 106 | 0.000 % |
196.36/196.58 c | 235583 | 3904 16705 50718 | 2147483647 207326 106 | 0.000 % |
197.16/197.34 c | 236077 | 3904 16705 50718 | 2147483647 207820 106 | 0.000 % |
198.06/198.23 c | 236619 | 3904 16705 50718 | 2147483647 208362 106 | 0.000 % |
198.86/199.09 c | 237215 | 3904 16705 50718 | 2147483647 208958 106 | 0.000 % |
199.86/200.04 c | 237870 | 3904 16705 50718 | 2147483647 209613 106 | 0.000 % |
200.86/201.09 c | 238591 | 3904 16705 50718 | 2147483647 210334 106 | 0.000 % |
202.27/202.42 c | 239383 | 3904 16705 50718 | 2147483647 211126 106 | 0.000 % |
203.56/203.74 c | 240254 | 3904 16705 50718 | 211743 211997 106 | 0.000 % |
205.06/205.27 c | 241214 | 3904 16705 50718 | 211743 186025 106 | 0.000 % |
206.36/206.58 c | 242269 | 3904 16705 50718 | 211743 187080 106 | 0.000 % |
207.77/207.96 c | 243428 | 3904 16705 50718 | 211743 188239 106 | 0.000 % |
209.46/209.63 c | 244702 | 3904 16705 50718 | 211743 189513 106 | 0.000 % |
211.26/211.49 c | 246102 | 3904 16705 50718 | 211743 190913 106 | 0.000 % |
213.26/213.44 c | 247644 | 3904 16705 50718 | 211743 192455 106 | 0.000 % |
215.36/215.59 c | 249343 | 3904 16705 50718 | 211743 194154 106 | 0.000 % |
217.76/217.94 c | 251207 | 3904 16705 50718 | 2147483647 196018 106 | 0.000 % |
220.46/220.66 c | 253259 | 3904 16705 50718 | 2147483647 198070 106 | 0.000 % |
223.36/223.52 c | 255512 | 3904 16705 50718 | 2147483647 200323 106 | 0.000 % |
226.65/226.86 c | 257990 | 3904 16705 50718 | 2147483647 202801 106 | 0.000 % |
226.85/227.02 c | 258090 | 3904 16705 50718 | 2147483647 202901 106 | 0.000 % |
227.05/227.22 c | 258200 | 3904 16705 50718 | 2147483647 203011 106 | 0.000 % |
227.25/227.44 c | 258322 | 3904 16705 50718 | 2147483647 203133 106 | 0.000 % |
227.46/227.64 c | 258456 | 3904 16705 50718 | 2147483647 203267 106 | 0.000 % |
227.65/227.85 c | 258602 | 3904 16705 50718 | 2147483647 203413 106 | 0.000 % |
227.85/228.08 c | 258762 | 3904 16705 50718 | 2147483647 203573 106 | 0.000 % |
228.25/228.40 c | 258938 | 3904 16705 50718 | 2147483647 203749 106 | 0.000 % |
228.56/228.70 c | 259132 | 3904 16705 50718 | 2147483647 203943 106 | 0.000 % |
228.85/229.03 c | 259347 | 3904 16705 50718 | 2147483647 204158 106 | 0.000 % |
229.15/229.37 c | 259580 | 3904 16705 50718 | 2147483647 204391 106 | 0.000 % |
229.55/229.78 c | 259838 | 3904 16705 50718 | 2147483647 204649 106 | 0.000 % |
230.05/230.25 c | 260119 | 3904 16705 50718 | 204815 204930 106 | 0.000 % |
230.65/230.89 c | 260428 | 3904 16705 50718 | 204815 184065 106 | 0.000 % |
231.25/231.40 c | 260769 | 3904 16705 50718 | 204815 184406 106 | 0.000 % |
231.65/231.90 c | 261141 | 3904 16705 50718 | 204815 184778 106 | 0.000 % |
232.25/232.42 c | 261550 | 3904 16705 50718 | 204815 185187 106 | 0.000 % |
232.85/233.08 c | 262000 | 3904 16705 50718 | 204815 185637 106 | 0.000 % |
233.65/233.83 c | 262495 | 3904 16705 50718 | 204815 186132 106 | 0.000 % |
234.45/234.61 c | 263038 | 3904 16705 50718 | 204815 186675 106 | 0.000 % |
235.35/235.51 c | 263635 | 3904 16705 50718 | 204815 187272 106 | 0.000 % |
236.15/236.38 c | 264290 | 3904 16705 50718 | 204815 187927 106 | 0.000 % |
237.15/237.32 c | 265010 | 3904 16705 50718 | 204815 188647 106 | 0.000 % |
238.25/238.42 c | 265805 | 3904 16705 50718 | 204815 189442 106 | 0.000 % |
239.45/239.60 c | 266676 | 3904 16705 50718 | 204815 190313 106 | 0.000 % |
240.65/240.86 c | 267634 | 3904 16705 50718 | 204815 191271 106 | 0.000 % |
242.05/242.26 c | 268688 | 3904 16705 50718 | 204815 192325 106 | 0.000 % |
243.54/243.72 c | 269849 | 3904 16705 50718 | 204815 193486 106 | 0.000 % |
245.15/245.36 c | 271122 | 3904 16705 50718 | 2147483647 194759 106 | 0.000 % |
246.94/247.12 c | 272523 | 3904 16705 50718 | 2147483647 196160 106 | 0.000 % |
249.04/249.27 c | 274063 | 3904 16705 50718 | 2147483647 197700 106 | 0.000 % |
251.44/251.63 c | 275757 | 3904 16705 50718 | 2147483647 199394 107 | 0.000 % |
253.94/254.18 c | 277620 | 3904 16705 50718 | 2147483647 201257 107 | 0.000 % |
256.74/256.92 c | 279669 | 3904 16705 50718 | 2147483647 203306 107 | 0.000 % |
259.84/260.08 c | 281922 | 3904 16705 50718 | 203637 183598 107 | 0.000 % |
263.14/263.32 c | 284400 | 3904 16705 50718 | 203637 186076 107 | 0.000 % |
266.43/266.64 c | 287126 | 3904 16705 50718 | 203637 188802 107 | 0.000 % |
266.53/266.78 c | 287226 | 3904 16705 50718 | 203637 188902 107 | 0.000 % |
266.73/266.95 c | 287336 | 3904 16705 50718 | 203637 189012 107 | 0.000 % |
266.93/267.13 c | 287458 | 3904 16705 50718 | 203637 189134 107 | 0.000 % |
267.14/267.34 c | 287591 | 3904 16705 50718 | 203637 189267 107 | 0.000 % |
267.33/267.59 c | 287738 | 3904 16705 50718 | 203637 189414 107 | 0.000 % |
267.63/267.85 c | 287899 | 3904 16705 50718 | 203637 189575 107 | 0.000 % |
267.93/268.12 c | 288075 | 3904 16705 50718 | 203637 189751 107 | 0.000 % |
268.24/268.42 c | 288268 | 3904 16705 50718 | 203637 189944 107 | 0.000 % |
268.53/268.79 c | 288481 | 3904 16705 50718 | 203637 190157 107 | 0.000 % |
268.93/269.11 c | 288715 | 3904 16705 50718 | 203637 190391 107 | 0.000 % |
269.24/269.49 c | 288972 | 3904 16705 50718 | 203637 190648 107 | 0.000 % |
269.63/269.89 c | 289255 | 3904 16705 50718 | 203637 190931 107 | 0.000 % |
270.13/270.36 c | 289565 | 3904 16705 50718 | 203637 191241 107 | 0.000 % |
270.63/270.87 c | 289904 | 3904 16705 50718 | 203637 191580 107 | 0.000 % |
271.13/271.36 c | 290277 | 3904 16705 50718 | 2147483647 191953 107 | 0.000 % |
271.73/271.93 c | 290687 | 3904 16705 50718 | 2147483647 192363 107 | 0.000 % |
272.33/272.50 c | 291137 | 3904 16705 50718 | 2147483647 192813 107 | 0.000 % |
273.03/273.23 c | 291630 | 3904 16705 50718 | 2147483647 193306 107 | 0.000 % |
273.73/273.94 c | 292174 | 3904 16705 50718 | 2147483647 193850 107 | 0.000 % |
274.63/274.87 c | 292770 | 3904 16705 50718 | 2147483647 194446 107 | 0.000 % |
275.53/275.71 c | 293425 | 3904 16705 50718 | 2147483647 195101 107 | 0.000 % |
276.53/276.73 c | 294145 | 3904 16705 50718 | 2147483647 195821 107 | 0.000 % |
277.53/277.76 c | 294937 | 3904 16705 50718 | 2147483647 196613 107 | 0.000 % |
278.73/278.91 c | 295808 | 3904 16705 50718 | 2147483647 197484 107 | 0.000 % |
279.93/280.12 c | 296768 | 3904 16705 50718 | 2147483647 198444 107 | 0.000 % |
281.33/281.55 c | 297821 | 3904 16705 50718 | 2147483647 199497 107 | 0.000 % |
282.93/283.11 c | 298980 | 3904 16705 50718 | 2147483647 200656 107 | 0.000 % |
284.52/284.77 c | 300254 | 3904 16705 50718 | 2147483647 201930 107 | 0.000 % |
286.52/286.71 c | 301654 | 3904 16705 50718 | 2147483647 203330 107 | 0.000 % |
288.52/288.77 c | 303195 | 3904 16705 50718 | 2147483647 204871 107 | 0.000 % |
290.72/290.99 c | 304889 | 3904 16705 50718 | 2147483647 206565 107 | 0.000 % |
293.22/293.47 c | 306754 | 3904 16705 50718 | 2147483647 208430 107 | 0.000 % |
296.02/296.24 c | 308803 | 3904 16705 50718 | 2147483647 210479 107 | 0.000 % |
299.02/299.29 c | 311058 | 3904 16705 50718 | 2147483647 212734 107 | 0.000 % |
302.62/302.82 c | 313537 | 3904 16705 50718 | 2147483647 215213 107 | 0.000 % |
306.52/306.74 c | 316262 | 3904 16705 50718 | 2147483647 217938 107 | 0.000 % |
311.02/311.20 c | 319260 | 3904 16705 50718 | 2147483647 220936 107 | 0.000 % |
311.12/311.39 c | 319360 | 3904 16705 50718 | 2147483647 221036 107 | 0.000 % |
311.42/311.62 c | 319471 | 3904 16705 50718 | 2147483647 221147 107 | 0.000 % |
311.62/311.84 c | 319592 | 3904 16705 50718 | 2147483647 221268 107 | 0.000 % |
311.91/312.13 c | 319725 | 3904 16705 50718 | 2147483647 221401 107 | 0.000 % |
312.22/312.41 c | 319871 | 3904 16705 50718 | 2147483647 221547 107 | 0.000 % |
312.41/312.69 c | 320033 | 3904 16705 50718 | 221676 221709 107 | 0.000 % |
313.01/313.26 c | 320211 | 3904 16705 50718 | 221676 191243 107 | 0.000 % |
313.32/313.54 c | 320405 | 3904 16705 50718 | 221676 191437 107 | 0.000 % |
313.61/313.87 c | 320617 | 3904 16705 50718 | 221676 191649 107 | 0.000 % |
313.91/314.18 c | 320850 | 3904 16705 50718 | 221676 191882 107 | 0.000 % |
314.42/314.60 c | 321109 | 3904 16705 50718 | 221676 192141 107 | 0.000 % |
314.81/315.01 c | 321391 | 3904 16705 50718 | 221676 192423 107 | 0.000 % |
315.21/315.45 c | 321700 | 3904 16705 50718 | 221676 192732 107 | 0.000 % |
315.71/315.92 c | 322039 | 3904 16705 50718 | 221676 193071 107 | 0.000 % |
316.31/316.52 c | 322411 | 3904 16705 50718 | 221676 193443 107 | 0.000 % |
316.81/317.07 c | 322820 | 3904 16705 50718 | 221676 193852 107 | 0.000 % |
317.51/317.74 c | 323270 | 3904 16705 50718 | 221676 194302 107 | 0.000 % |
318.21/318.47 c | 323764 | 3904 16705 50718 | 221676 194796 107 | 0.000 % |
319.01/319.23 c | 324308 | 3904 16705 50718 | 221676 195340 107 | 0.000 % |
319.81/320.01 c | 324905 | 3904 16705 50718 | 221676 195937 107 | 0.000 % |
320.61/320.82 c | 325560 | 3904 16705 50718 | 221676 196592 107 | 0.000 % |
321.61/321.86 c | 326281 | 3904 16705 50718 | 221676 197313 107 | 0.000 % |
322.81/323.04 c | 327074 | 3904 16705 50718 | 221676 198106 107 | 0.000 % |
324.01/324.26 c | 327946 | 3904 16705 50718 | 221676 198978 107 | 0.000 % |
325.31/325.60 c | 328905 | 3904 16705 50718 | 221676 199937 107 | 0.000 % |
326.81/327.06 c | 329958 | 3904 16705 50718 | 221676 200990 107 | 0.000 % |
328.71/328.95 c | 331117 | 3904 16705 50718 | 201032 177335 108 | 0.000 % |
330.31/330.58 c | 332391 | 3904 16705 50718 | 201032 178609 108 | 0.000 % |
332.01/332.24 c | 333792 | 3904 16705 50718 | 201032 180010 108 | 0.000 % |
334.00/334.23 c | 335332 | 3904 16705 50718 | 201032 181550 108 | 0.000 % |
336.00/336.28 c | 337026 | 3904 16705 50718 | 201032 183244 108 | 0.000 % |
338.30/338.57 c | 338889 | 3904 16705 50718 | 201032 185107 108 | 0.000 % |
340.81/341.03 c | 340939 | 3904 16705 50718 | 2147483647 187157 108 | 0.000 % |
343.70/343.90 c | 343192 | 3904 16705 50718 | 2147483647 189410 108 | 0.000 % |
346.70/346.92 c | 345672 | 3904 16705 50718 | 2147483647 191890 108 | 0.000 % |
350.00/350.28 c | 348398 | 3904 16705 50718 | 2147483647 194616 109 | 0.000 % |
353.69/353.99 c | 351395 | 3904 16705 50718 | 2147483647 197613 109 | 0.000 % |
358.09/358.37 c | 354693 | 3904 16705 50718 | 2147483647 200911 109 | 0.000 % |
358.30/358.51 c | 354793 | 3904 16705 50718 | 2147483647 201011 109 | 0.000 % |
358.40/358.67 c | 354904 | 3904 16705 50718 | 2147483647 201122 109 | 0.000 % |
358.59/358.86 c | 355026 | 3904 16705 50718 | 2147483647 201244 109 | 0.000 % |
358.89/359.16 c | 355159 | 3904 16705 50718 | 2147483647 201377 109 | 0.000 % |
359.19/359.42 c | 355306 | 3904 16705 50718 | 2147483647 201524 109 | 0.000 % |
359.40/359.66 c | 355467 | 3904 16705 50718 | 2147483647 201685 109 | 0.000 % |
359.69/359.93 c | 355645 | 3904 16705 50718 | 2147483647 201863 109 | 0.000 % |
359.99/360.27 c | 355839 | 3904 16705 50718 | 2147483647 202057 109 | 0.000 % |
360.39/360.62 c | 356052 | 3904 16705 50718 | 2147483647 202270 109 | 0.000 % |
360.69/360.98 c | 356285 | 3904 16705 50718 | 2147483647 202503 109 | 0.000 % |
361.09/361.36 c | 356541 | 3904 16705 50718 | 2147483647 202759 109 | 0.000 % |
361.60/361.85 c | 356824 | 3904 16705 50718 | 2147483647 203042 109 | 0.000 % |
362.09/362.35 c | 357135 | 3904 16705 50718 | 2147483647 203353 109 | 0.000 % |
362.59/362.83 c | 357474 | 3904 16705 50718 | 2147483647 203692 109 | 0.000 % |
363.09/363.34 c | 357848 | 3904 16705 50718 | 2147483647 204066 109 | 0.000 % |
363.69/363.94 c | 358259 | 3904 16705 50718 | 2147483647 204477 109 | 0.000 % |
364.39/364.62 c | 358709 | 3904 16705 50718 | 2147483647 204927 109 | 0.000 % |
365.09/365.35 c | 359203 | 3904 16705 50718 | 2147483647 205421 109 | 0.000 % |
365.79/366.07 c | 359745 | 3904 16705 50718 | 2147483647 205963 109 | 0.000 % |
366.69/366.97 c | 360341 | 3904 16705 50718 | 206219 206559 109 | 0.000 % |
367.79/368.05 c | 360997 | 3904 16705 50718 | 206219 185825 109 | 0.000 % |
368.69/368.98 c | 361718 | 3904 16705 50718 | 206219 186546 109 | 0.000 % |
369.69/369.91 c | 362511 | 3904 16705 50718 | 206219 187339 109 | 0.000 % |
370.89/371.11 c | 363382 | 3904 16705 50718 | 206219 188210 109 | 0.000 % |
372.19/372.42 c | 364344 | 3904 16705 50718 | 206219 189172 109 | 0.000 % |
373.49/373.75 c | 365397 | 3904 16705 50718 | 206219 190225 109 | 0.000 % |
374.99/375.24 c | 366556 | 3904 16705 50718 | 206219 191384 109 | 0.000 % |
376.59/376.84 c | 367831 | 3904 16705 50718 | 206219 192659 109 | 0.000 % |
378.49/378.75 c | 369233 | 3904 16705 50718 | 206219 194061 109 | 0.000 % |
380.48/380.71 c | 370774 | 3904 16705 50718 | 2147483647 195602 109 | 0.000 % |
382.78/383.03 c | 372469 | 3904 16705 50718 | 2147483647 197297 109 | 0.000 % |
385.18/385.45 c | 374333 | 3904 16705 50718 | 2147483647 199161 109 | 0.000 % |
387.88/388.12 c | 376383 | 3904 16705 50718 | 2147483647 201211 109 | 0.000 % |
390.78/391.05 c | 378638 | 3904 16705 50718 | 2147483647 203466 109 | 0.000 % |
394.08/394.36 c | 381116 | 3904 16705 50718 | 2147483647 205944 109 | 0.000 % |
397.78/398.05 c | 383841 | 3904 16705 50718 | 2147483647 208669 109 | 0.000 % |
401.78/402.02 c | 386838 | 3904 16705 50718 | 2147483647 211666 109 | 0.000 % |
406.17/406.45 c | 390134 | 3904 16705 50718 | 214828 214962 110 | 0.000 % |
410.87/411.19 c | 393760 | 3904 16705 50718 | 214828 194903 110 | 0.000 % |
411.08/411.34 c | 393863 | 3904 16705 50718 | 214828 195006 110 | 0.000 % |
411.27/411.52 c | 393973 | 3904 16705 50718 | 214828 195116 110 | 0.000 % |
411.47/411.71 c | 394094 | 3904 16705 50718 | 214828 195237 110 | 0.000 % |
411.67/411.97 c | 394227 | 3904 16705 50718 | 214828 195370 110 | 0.000 % |
411.87/412.17 c | 394373 | 3904 16705 50718 | 214828 195516 110 | 0.000 % |
412.18/412.43 c | 394535 | 3904 16705 50718 | 214828 195678 110 | 0.000 % |
412.47/412.74 c | 394713 | 3904 16705 50718 | 214828 195856 110 | 0.000 % |
412.77/413.02 c | 394906 | 3904 16705 50718 | 214828 196049 110 | 0.000 % |
413.07/413.35 c | 395118 | 3904 16705 50718 | 214828 196261 110 | 0.000 % |
413.47/413.71 c | 395351 | 3904 16705 50718 | 214828 196494 110 | 0.000 % |
413.77/414.08 c | 395609 | 3904 16705 50718 | 214828 196752 110 | 0.000 % |
414.17/414.49 c | 395894 | 3904 16705 50718 | 214828 197037 109 | 0.000 % |
414.67/414.94 c | 396203 | 3904 16705 50718 | 214828 197346 109 | 0.000 % |
415.07/415.38 c | 396542 | 3904 16705 50718 | 214828 197685 109 | 0.000 % |
415.67/415.96 c | 396915 | 3904 16705 50718 | 214828 198058 109 | 0.000 % |
416.27/416.57 c | 397324 | 3904 16705 50718 | 214828 198467 109 | 0.000 % |
416.97/417.22 c | 397773 | 3904 16705 50718 | 214828 198916 109 | 0.000 % |
417.67/417.91 c | 398267 | 3904 16705 50718 | 214828 199410 109 | 0.000 % |
418.37/418.68 c | 398812 | 3904 16705 50718 | 214828 199955 109 | 0.000 % |
419.27/419.53 c | 399409 | 3904 16705 50718 | 214828 200552 109 | 0.000 % |
420.27/420.52 c | 400064 | 3904 16705 50718 | 201143 201207 109 | 0.000 % |
421.47/421.73 c | 400786 | 3904 16705 50718 | 201143 179441 110 | 0.000 % |
422.57/422.82 c | 401578 | 3904 16705 50718 | 201143 180233 110 | 0.000 % |
423.57/423.89 c | 402449 | 3904 16705 50718 | 201143 181104 110 | 0.000 % |
424.76/425.09 c | 403407 | 3904 16705 50718 | 201143 182062 110 | 0.000 % |
426.16/426.42 c | 404462 | 3904 16705 50718 | 201143 183117 110 | 0.000 % |
427.67/427.92 c | 405620 | 3904 16705 50718 | 201143 184275 110 | 0.000 % |
429.16/429.42 c | 406894 | 3904 16705 50718 | 201143 185549 110 | 0.000 % |
430.97/431.22 c | 408294 | 3904 16705 50718 | 201143 186949 110 | 0.000 % |
432.96/433.26 c | 409835 | 3904 16705 50718 | 201143 188490 110 | 0.000 % |
435.16/435.44 c | 411529 | 3904 16705 50718 | 2147483647 190184 110 | 0.000 % |
437.66/437.91 c | 413392 | 3904 16705 50718 | 2147483647 192047 110 | 0.000 % |
440.26/440.59 c | 415441 | 3904 16705 50718 | 2147483647 194096 110 | 0.000 % |
443.16/443.43 c | 417694 | 3904 16705 50718 | 2147483647 196349 110 | 0.000 % |
446.46/446.71 c | 420172 | 3904 16705 50718 | 2147483647 198827 110 | 0.000 % |
450.05/450.32 c | 422900 | 3904 16705 50718 | 2147483647 201555 110 | 0.000 % |
454.15/454.41 c | 425897 | 3904 16705 50718 | 2147483647 204552 110 | 0.000 % |
458.46/458.80 c | 429194 | 3904 16705 50718 | 2147483647 207849 110 | 0.000 % |
463.35/463.63 c | 432819 | 3904 16705 50718 | 2147483647 211474 110 | 0.000 % |
468.65/468.98 c | 436807 | 3904 16705 50718 | 2147483647 215462 110 | 0.000 % |
468.85/469.17 c | 436908 | 3904 16705 50718 | 2147483647 215563 110 | 0.000 % |
469.05/469.37 c | 437018 | 3904 16705 50718 | 2147483647 215673 110 | 0.000 % |
469.25/469.59 c | 437139 | 3904 16705 50718 | 2147483647 215794 110 | 0.000 % |
469.55/469.82 c | 437272 | 3904 16705 50718 | 2147483647 215927 110 | 0.000 % |
469.75/470.06 c | 437418 | 3904 16705 50718 | 2147483647 216073 110 | 0.000 % |
470.05/470.35 c | 437578 | 3904 16705 50718 | 2147483647 216233 110 | 0.000 % |
470.35/470.70 c | 437756 | 3904 16705 50718 | 2147483647 216411 110 | 0.000 % |
470.75/471.05 c | 437950 | 3904 16705 50718 | 2147483647 216605 110 | 0.000 % |
471.15/471.44 c | 438163 | 3904 16705 50718 | 2147483647 216818 110 | 0.000 % |
471.55/471.85 c | 438397 | 3904 16705 50718 | 2147483647 217052 110 | 0.000 % |
471.95/472.30 c | 438654 | 3904 16705 50718 | 2147483647 217309 110 | 0.000 % |
472.45/472.74 c | 438936 | 3904 16705 50718 | 2147483647 217591 110 | 0.000 % |
472.95/473.26 c | 439245 | 3904 16705 50718 | 2147483647 217900 110 | 0.000 % |
473.55/473.83 c | 439584 | 3904 16705 50718 | 2147483647 218239 110 | 0.000 % |
474.15/474.44 c | 439956 | 3904 16705 50718 | 2147483647 218611 110 | 0.000 % |
474.85/475.11 c | 440365 | 3904 16705 50718 | 218655 219020 110 | 0.000 % |
475.75/476.00 c | 440814 | 3904 16705 50718 | 218655 191371 110 | 0.000 % |
476.45/476.72 c | 441307 | 3904 16705 50718 | 218655 191864 109 | 0.000 % |
477.05/477.38 c | 441852 | 3904 16705 50718 | 218655 192409 110 | 0.000 % |
477.84/478.19 c | 442448 | 3904 16705 50718 | 218655 193005 110 | 0.000 % |
478.84/479.12 c | 443103 | 3904 16705 50718 | 218655 193660 109 | 0.000 % |
479.74/480.09 c | 443823 | 3904 16705 50718 | 218655 194380 109 | 0.000 % |
480.74/481.08 c | 444617 | 3904 16705 50718 | 218655 195174 110 | 0.000 % |
481.94/482.20 c | 445488 | 3904 16705 50718 | 218655 196045 110 | 0.000 % |
483.14/483.44 c | 446446 | 3904 16705 50718 | 218655 197003 110 | 0.000 % |
484.44/484.77 c | 447501 | 3904 16705 50718 | 218655 198058 110 | 0.000 % |
486.04/486.39 c | 448659 | 3904 16705 50718 | 218655 199216 110 | 0.000 % |
487.74/488.04 c | 449933 | 3904 16705 50718 | 218655 200490 110 | 0.000 % |
489.84/490.17 c | 451334 | 3904 16705 50718 | 200557 181005 110 | 0.000 % |
491.74/492.01 c | 452876 | 3904 16705 50718 | 200557 182547 110 | 0.000 % |
493.74/494.06 c | 454570 | 3904 16705 50718 | 200557 184241 110 | 0.000 % |
496.24/496.55 c | 456434 | 3904 16705 50718 | 200557 186105 110 | 0.000 % |
498.84/499.19 c | 458485 | 3904 16705 50718 | 200557 188156 110 | 0.000 % |
501.73/502.09 c | 460738 | 3904 16705 50718 | 2147483647 190409 110 | 0.000 % |
504.93/505.21 c | 463216 | 3904 16705 50718 | 2147483647 192887 110 | 0.000 % |
508.53/508.88 c | 465941 | 3904 16705 50718 | 2147483647 195612 110 | 0.000 % |
512.33/512.64 c | 468939 | 3904 16705 50718 | 2147483647 198610 110 | 0.000 % |
516.83/517.11 c | 472235 | 3904 16705 50718 | 2147483647 201906 111 | 0.000 % |
521.53/521.85 c | 475861 | 3904 16705 50718 | 2147483647 205532 111 | 0.000 % |
526.82/527.19 c | 479849 | 3904 16705 50718 | 2147483647 209520 111 | 0.000 % |
532.62/532.91 c | 484236 | 3904 16705 50718 | 2147483647 213907 111 | 0.000 % |
532.72/533.08 c | 484336 | 3904 16705 50718 | 2147483647 214007 111 | 0.000 % |
532.92/533.27 c | 484446 | 3904 16705 50718 | 2147483647 214117 111 | 0.000 % |
533.12/533.48 c | 484567 | 3904 16705 50718 | 2147483647 214238 111 | 0.000 % |
533.42/533.75 c | 484700 | 3904 16705 50718 | 2147483647 214371 111 | 0.000 % |
533.72/534.01 c | 484847 | 3904 16705 50718 | 2147483647 214518 111 | 0.000 % |
534.02/534.30 c | 485007 | 3904 16705 50718 | 2147483647 214678 111 | 0.000 % |
534.32/534.64 c | 485184 | 3904 16705 50718 | 2147483647 214855 111 | 0.000 % |
534.62/534.94 c | 485378 | 3904 16705 50718 | 2147483647 215049 111 | 0.000 % |
534.92/535.29 c | 485591 | 3904 16705 50718 | 2147483647 215262 111 | 0.000 % |
535.42/535.71 c | 485825 | 3904 16705 50718 | 2147483647 215496 111 | 0.000 % |
535.82/536.13 c | 486081 | 3904 16705 50718 | 2147483647 215752 111 | 0.000 % |
536.22/536.60 c | 486362 | 3904 16705 50718 | 2147483647 216033 111 | 0.000 % |
536.72/537.06 c | 486671 | 3904 16705 50718 | 2147483647 216342 111 | 0.000 % |
537.32/537.63 c | 487010 | 3904 16705 50718 | 2147483647 216681 111 | 0.000 % |
537.92/538.24 c | 487382 | 3904 16705 50718 | 2147483647 217053 111 | 0.000 % |
538.62/538.94 c | 487792 | 3904 16705 50718 | 2147483647 217463 111 | 0.000 % |
539.32/539.63 c | 488241 | 3904 16705 50718 | 2147483647 217912 111 | 0.000 % |
540.12/540.44 c | 488734 | 3904 16705 50718 | 2147483647 218405 111 | 0.000 % |
540.92/541.25 c | 489277 | 3904 16705 50718 | 2147483647 218948 111 | 0.000 % |
541.82/542.11 c | 489874 | 3904 16705 50718 | 2147483647 219545 111 | 0.000 % |
543.12/543.43 c | 490533 | 3904 16705 50718 | 219671 192844 111 | 0.000 % |
544.12/544.46 c | 491253 | 3904 16705 50718 | 219671 193564 111 | 0.000 % |
545.22/545.54 c | 492045 | 3904 16705 50718 | 219671 194356 111 | 0.000 % |
546.51/546.89 c | 492917 | 3904 16705 50718 | 219671 195228 111 | 0.000 % |
547.81/548.14 c | 493878 | 3904 16705 50718 | 219671 196189 111 | 0.000 % |
549.21/549.58 c | 494931 | 3904 16705 50718 | 219671 197242 111 | 0.000 % |
550.81/551.14 c | 496090 | 3904 16705 50718 | 219671 198401 111 | 0.000 % |
552.61/552.93 c | 497363 | 3904 16705 50718 | 219671 199674 111 | 0.000 % |
554.41/554.74 c | 498764 | 3904 16705 50718 | 219671 201075 111 | 0.000 % |
556.51/556.88 c | 500305 | 3904 16705 50718 | 202311 202616 111 | 0.000 % |
558.91/559.24 c | 502001 | 3904 16705 50718 | 202311 182549 111 | 0.000 % |
561.20/561.54 c | 503865 | 3904 16705 50718 | 202311 184413 111 | 0.000 % |
563.70/564.07 c | 505914 | 3904 16705 50718 | 202311 186462 111 | 0.000 % |
566.60/566.99 c | 508168 | 3904 16705 50718 | 202311 188716 111 | 0.000 % |
569.80/570.16 c | 510648 | 3904 16705 50718 | 2147483647 191196 112 | 0.000 % |
573.30/573.65 c | 513373 | 3904 16705 50718 | 2147483647 193921 112 | 0.000 % |
577.10/577.49 c | 516370 | 3904 16705 50718 | 2147483647 196918 112 | 0.000 % |
581.40/581.72 c | 519666 | 3904 16705 50718 | 2147483647 200214 112 | 0.000 % |
586.10/586.45 c | 523292 | 3904 16705 50718 | 2147483647 203840 112 | 0.000 % |
591.41/591.71 c | 527279 | 3904 16705 50718 | 2147483647 207827 112 | 0.000 % |
597.20/597.52 c | 531668 | 3904 16705 50718 | 2147483647 212216 113 | 0.000 % |
603.90/604.27 c | 536492 | 3904 16705 50718 | 2147483647 217040 113 | 0.000 % |
604.09/604.43 c | 536592 | 3904 16705 50718 | 2147483647 217140 113 | 0.000 % |
604.29/604.66 c | 536702 | 3904 16705 50718 | 2147483647 217250 113 | 0.000 % |
604.49/604.87 c | 536826 | 3904 16705 50718 | 2147483647 217374 113 | 0.000 % |
604.79/605.12 c | 536959 | 3904 16705 50718 | 2147483647 217507 113 | 0.000 % |
604.99/605.37 c | 537105 | 3904 16705 50718 | 2147483647 217653 113 | 0.000 % |
605.29/605.63 c | 537266 | 3904 16705 50718 | 2147483647 217814 113 | 0.000 % |
605.59/605.91 c | 537442 | 3904 16705 50718 | 2147483647 217990 113 | 0.000 % |
605.89/606.22 c | 537636 | 3904 16705 50718 | 2147483647 218184 113 | 0.000 % |
606.19/606.59 c | 537848 | 3904 16705 50718 | 2147483647 218396 113 | 0.000 % |
606.59/606.97 c | 538081 | 3904 16705 50718 | 2147483647 218629 113 | 0.000 % |
607.09/607.46 c | 538339 | 3904 16705 50718 | 2147483647 218887 113 | 0.000 % |
607.59/607.92 c | 538620 | 3904 16705 50718 | 2147483647 219168 113 | 0.000 % |
608.09/608.45 c | 538930 | 3904 16705 50718 | 2147483647 219478 113 | 0.000 % |
608.69/609.01 c | 539271 | 3904 16705 50718 | 2147483647 219819 113 | 0.000 % |
609.19/609.56 c | 539643 | 3904 16705 50718 | 2147483647 220191 113 | 0.000 % |
609.89/610.25 c | 540052 | 3904 16705 50718 | 220548 220600 113 | 0.000 % |
610.89/611.23 c | 540501 | 3904 16705 50718 | 220548 194438 113 | 0.000 % |
611.59/611.92 c | 540996 | 3904 16705 50718 | 220548 194933 113 | 0.000 % |
612.39/612.75 c | 541540 | 3904 16705 50718 | 220548 195477 113 | 0.000 % |
613.29/613.61 c | 542136 | 3904 16705 50718 | 220548 196073 113 | 0.000 % |
614.08/614.47 c | 542791 | 3904 16705 50718 | 220548 196728 113 | 0.000 % |
615.08/615.45 c | 543511 | 3904 16705 50718 | 220548 197448 113 | 0.000 % |
616.18/616.58 c | 544305 | 3904 16705 50718 | 220548 198242 113 | 0.000 % |
617.48/617.86 c | 545176 | 3904 16705 50718 | 220548 199113 113 | 0.000 % |
618.89/619.26 c | 546134 | 3904 16705 50718 | 220548 200071 113 | 0.000 % |
620.28/620.69 c | 547187 | 3904 16705 50718 | 220548 201124 113 | 0.000 % |
621.88/622.29 c | 548347 | 3904 16705 50718 | 220548 202284 113 | 0.000 % |
623.68/624.06 c | 549621 | 3904 16705 50718 | 220548 203558 113 | 0.000 % |
625.78/626.12 c | 551021 | 3904 16705 50718 | 203937 183477 113 | 0.000 % |
627.78/628.11 c | 552562 | 3904 16705 50718 | 203937 185018 113 | 0.000 % |
629.88/630.27 c | 554259 | 3904 16705 50718 | 203937 186715 113 | 0.000 % |
632.27/632.62 c | 556123 | 3904 16705 50718 | 203937 188579 113 | 0.000 % |
634.87/635.22 c | 558172 | 3904 16705 50718 | 203937 190628 113 | 0.000 % |
637.68/638.04 c | 560426 | 3904 16705 50718 | 2147483647 192882 113 | 0.000 % |
640.77/641.12 c | 562904 | 3904 16705 50718 | 2147483647 195360 113 | 0.000 % |
644.37/644.77 c | 565629 | 3904 16705 50718 | 2147483647 198085 113 | 0.000 % |
648.27/648.61 c | 568627 | 3904 16705 50718 | 2147483647 201083 113 | 0.000 % |
652.67/653.05 c | 571923 | 3904 16705 50718 | 2147483647 204379 114 | 0.000 % |
657.26/657.65 c | 575548 | 3904 16705 50718 | 2147483647 208004 114 | 0.000 % |
662.67/663.09 c | 579535 | 3904 16705 50718 | 2147483647 211991 114 | 0.000 % |
668.57/668.98 c | 583920 | 3904 16705 50718 | 2147483647 216376 114 | 0.000 % |
675.56/675.98 c | 588744 | 3904 16705 50718 | 2147483647 221200 114 | 0.000 % |
682.96/683.31 c | 594052 | 3904 16705 50718 | 222457 202746 115 | 0.000 % |
683.05/683.48 c | 594153 | 3904 16705 50718 | 222457 202847 115 | 0.000 % |
683.25/683.68 c | 594263 | 3904 16705 50718 | 222457 202957 115 | 0.000 % |
683.45/683.88 c | 594386 | 3904 16705 50718 | 222457 203080 115 | 0.000 % |
683.76/684.10 c | 594520 | 3904 16705 50718 | 222457 203214 115 | 0.000 % |
683.95/684.38 c | 594666 | 3904 16705 50718 | 222457 203360 115 | 0.000 % |
684.25/684.62 c | 594826 | 3904 16705 50718 | 222457 203520 115 | 0.000 % |
684.55/684.90 c | 595002 | 3904 16705 50718 | 222457 203696 115 | 0.000 % |
684.86/685.24 c | 595196 | 3904 16705 50718 | 222457 203890 115 | 0.000 % |
685.25/685.62 c | 595408 | 3904 16705 50718 | 222457 204102 115 | 0.000 % |
685.55/685.99 c | 595642 | 3904 16705 50718 | 222457 204336 115 | 0.000 % |
685.95/686.38 c | 595902 | 3904 16705 50718 | 222457 204596 115 | 0.000 % |
686.45/686.81 c | 596183 | 3904 16705 50718 | 222457 204877 115 | 0.000 % |
686.85/687.24 c | 596493 | 3904 16705 50718 | 222457 205187 115 | 0.000 % |
687.35/687.79 c | 596832 | 3904 16705 50718 | 222457 205526 115 | 0.000 % |
687.85/688.28 c | 597206 | 3904 16705 50718 | 222457 205900 115 | 0.000 % |
688.55/688.93 c | 597616 | 3904 16705 50718 | 222457 206310 115 | 0.000 % |
689.25/689.61 c | 598066 | 3904 16705 50718 | 222457 206760 115 | 0.000 % |
690.05/690.43 c | 598559 | 3904 16705 50718 | 222457 207253 115 | 0.000 % |
690.85/691.25 c | 599104 | 3904 16705 50718 | 222457 207798 115 | 0.000 % |
691.75/692.18 c | 599700 | 3904 16705 50718 | 222457 208394 115 | 0.000 % |
692.65/693.09 c | 600358 | 3904 16705 50718 | 208695 209052 115 | 0.000 % |
693.95/694.33 c | 601079 | 3904 16705 50718 | 208695 185529 115 | 0.000 % |
694.95/695.35 c | 601871 | 3904 16705 50718 | 208695 186321 114 | 0.000 % |
696.15/696.59 c | 602743 | 3904 16705 50718 | 208695 187193 114 | 0.000 % |
697.45/697.89 c | 603701 | 3904 16705 50718 | 208695 188151 114 | 0.000 % |
698.75/699.19 c | 604755 | 3904 16705 50718 | 208695 189205 114 | 0.000 % |
700.26/700.62 c | 605913 | 3904 16705 50718 | 208695 190363 115 | 0.000 % |
701.75/702.15 c | 607187 | 3904 16705 50718 | 208695 191637 115 | 0.000 % |
703.56/703.94 c | 608587 | 3904 16705 50718 | 208695 193037 115 | 0.000 % |
705.65/706.03 c | 610127 | 3904 16705 50718 | 2147483647 194577 114 | 0.000 % |
707.95/708.31 c | 611822 | 3904 16705 50718 | 2147483647 196272 114 | 0.000 % |
710.45/710.80 c | 613686 | 3904 16705 50718 | 2147483647 198136 114 | 0.000 % |
713.05/713.49 c | 615735 | 3904 16705 50718 | 2147483647 200185 114 | 0.000 % |
716.05/716.41 c | 617990 | 3904 16705 50718 | 2147483647 202440 115 | 0.000 % |
719.24/719.60 c | 620468 | 3904 16705 50718 | 2147483647 204918 115 | 0.000 % |
722.84/723.28 c | 623196 | 3904 16705 50718 | 2147483647 207646 115 | 0.000 % |
726.75/727.13 c | 626193 | 3904 16705 50718 | 2147483647 210643 115 | 0.000 % |
731.34/731.74 c | 629489 | 3904 16705 50718 | 2147483647 213939 115 | 0.000 % |
736.54/736.96 c | 633114 | 3904 16705 50718 | 2147483647 217564 115 | 0.000 % |
742.14/742.58 c | 637102 | 3904 16705 50718 | 2147483647 221552 115 | 0.000 % |
748.43/748.81 c | 641487 | 3904 16705 50718 | 224450 200068 115 | 0.000 % |
754.83/755.23 c | 646312 | 3904 16705 50718 | 224450 204893 115 | 0.000 % |
761.93/762.39 c | 651617 | 3904 16705 50718 | 2147483647 210198 115 | 0.000 % |
770.02/770.46 c | 657453 | 3904 16705 50718 | 2147483647 216034 115 | 0.000 % |
770.22/770.63 c | 657553 | 3904 16705 50718 | 2147483647 216134 115 | 0.000 % |
770.42/770.85 c | 657663 | 3904 16705 50718 | 2147483647 216244 115 | 0.000 % |
770.62/771.06 c | 657784 | 3904 16705 50718 | 2147483647 216365 115 | 0.000 % |
770.82/771.28 c | 657918 | 3904 16705 50718 | 2147483647 216499 115 | 0.000 % |
771.12/771.51 c | 658064 | 3904 16705 50718 | 2147483647 216645 115 | 0.000 % |
771.42/771.81 c | 658225 | 3904 16705 50718 | 2147483647 216806 115 | 0.000 % |
771.72/772.10 c | 658401 | 3904 16705 50718 | 2147483647 216982 115 | 0.000 % |
772.02/772.44 c | 658595 | 3904 16705 50718 | 2147483647 217176 115 | 0.000 % |
772.43/772.83 c | 658809 | 3904 16705 50718 | 2147483647 217390 115 | 0.000 % |
772.83/773.24 c | 659042 | 3904 16705 50718 | 2147483647 217623 115 | 0.000 % |
773.23/773.70 c | 659298 | 3904 16705 50718 | 2147483647 217879 115 | 0.000 % |
773.73/774.17 c | 659580 | 3904 16705 50718 | 2147483647 218161 115 | 0.000 % |
774.23/774.67 c | 659889 | 3904 16705 50718 | 2147483647 218470 115 | 0.000 % |
774.83/775.26 c | 660228 | 3904 16705 50718 | 218582 218809 115 | 0.000 % |
775.72/776.12 c | 660601 | 3904 16705 50718 | 218582 191371 115 | 0.000 % |
776.32/776.72 c | 661012 | 3904 16705 50718 | 218582 191782 115 | 0.000 % |
777.02/777.43 c | 661461 | 3904 16705 50718 | 218582 192231 115 | 0.000 % |
777.72/778.12 c | 661954 | 3904 16705 50718 | 218582 192724 115 | 0.000 % |
778.43/778.86 c | 662496 | 3904 16705 50718 | 218582 193266 115 | 0.000 % |
779.32/779.71 c | 663092 | 3904 16705 50718 | 218582 193862 115 | 0.000 % |
780.22/780.65 c | 663747 | 3904 16705 50718 | 218582 194517 115 | 0.000 % |
781.22/781.65 c | 664469 | 3904 16705 50718 | 218582 195239 115 | 0.000 % |
782.32/782.75 c | 665261 | 3904 16705 50718 | 218582 196031 115 | 0.000 % |
783.52/783.93 c | 666135 | 3904 16705 50718 | 218582 196905 115 | 0.000 % |
784.92/785.31 c | 667093 | 3904 16705 50718 | 218582 197863 115 | 0.000 % |
786.32/786.77 c | 668146 | 3904 16705 50718 | 218582 198916 115 | 0.000 % |
787.92/788.36 c | 669304 | 3904 16705 50718 | 218582 200074 115 | 0.000 % |
789.91/790.31 c | 670577 | 3904 16705 50718 | 200770 180478 114 | 0.000 % |
791.71/792.14 c | 671980 | 3904 16705 50718 | 200770 181881 114 | 0.000 % |
793.51/793.99 c | 673521 | 3904 16705 50718 | 200770 183422 114 | 0.000 % |
795.71/796.15 c | 675217 | 3904 16705 50718 | 200770 185118 114 | 0.000 % |
798.22/798.62 c | 677081 | 3904 16705 50718 | 200770 186982 114 | 0.000 % |
800.81/801.29 c | 679131 | 3904 16705 50718 | 200770 189032 114 | 0.000 % |
803.61/804.07 c | 681384 | 3904 16705 50718 | 2147483647 191285 114 | 0.000 % |
806.51/806.99 c | 683864 | 3904 16705 50718 | 2147483647 193765 114 | 0.000 % |
810.01/810.46 c | 686591 | 3904 16705 50718 | 2147483647 196492 114 | 0.000 % |
814.21/814.65 c | 689588 | 3904 16705 50718 | 2147483647 199489 114 | 0.000 % |
818.80/819.28 c | 692885 | 3904 16705 50718 | 2147483647 202786 114 | 0.000 % |
823.80/824.26 c | 696510 | 3904 16705 50718 | 2147483647 206411 114 | 0.000 % |
829.20/829.63 c | 700497 | 3904 16705 50718 | 209901 210398 114 | 0.000 % |
835.00/835.45 c | 704882 | 3904 16705 50718 | 209901 192062 115 | 0.000 % |
841.19/841.69 c | 709708 | 3904 16705 50718 | 209901 196888 115 | 0.000 % |
847.89/848.37 c | 715013 | 3904 16705 50718 | 2147483647 202193 115 | 0.000 % |
856.09/856.54 c | 720848 | 3904 16705 50718 | 207182 186451 115 | 0.000 % |
864.09/864.54 c | 727266 | 3904 16705 50718 | 207182 192869 115 | 0.000 % |
864.19/864.69 c | 727368 | 3904 16705 50718 | 207182 192971 115 | 0.000 % |
864.38/864.85 c | 727481 | 3904 16705 50718 | 207182 193084 115 | 0.000 % |
864.58/865.07 c | 727603 | 3904 16705 50718 | 207182 193206 115 | 0.000 % |
864.88/865.30 c | 727739 | 3904 16705 50718 | 207182 193342 115 | 0.000 % |
865.08/865.51 c | 727885 | 3904 16705 50718 | 207182 193488 115 | 0.000 % |
865.28/865.76 c | 728045 | 3904 16705 50718 | 207182 193648 115 | 0.000 % |
865.58/866.03 c | 728222 | 3904 16705 50718 | 207182 193825 115 | 0.000 % |
865.88/866.31 c | 728415 | 3904 16705 50718 | 207182 194018 115 | 0.000 % |
866.18/866.64 c | 728629 | 3904 16705 50718 | 207182 194232 115 | 0.000 % |
866.48/866.99 c | 728862 | 3904 16705 50718 | 207182 194465 115 | 0.000 % |
866.88/867.39 c | 729118 | 3904 16705 50718 | 207182 194721 115 | 0.000 % |
867.39/867.83 c | 729401 | 3904 16705 50718 | 207182 195004 115 | 0.000 % |
867.78/868.26 c | 729710 | 3904 16705 50718 | 207182 195313 115 | 0.000 % |
868.28/868.76 c | 730051 | 3904 16705 50718 | 195603 195654 115 | 0.000 % |
869.08/869.55 c | 730424 | 3904 16705 50718 | 195603 175487 115 | 0.000 % |
869.58/870.07 c | 730834 | 3904 16705 50718 | 195603 175897 115 | 0.000 % |
870.18/870.68 c | 731284 | 3904 16705 50718 | 195603 176347 115 | 0.000 % |
870.78/871.29 c | 731777 | 3904 16705 50718 | 195603 176840 114 | 0.000 % |
871.48/871.98 c | 732323 | 3904 16705 50718 | 195603 177386 114 | 0.000 % |
872.28/872.80 c | 732919 | 3904 16705 50718 | 195603 177982 114 | 0.000 % |
873.18/873.67 c | 733574 | 3904 16705 50718 | 195603 178637 114 | 0.000 % |
874.18/874.60 c | 734295 | 3904 16705 50718 | 195603 179358 114 | 0.000 % |
875.08/875.57 c | 735087 | 3904 16705 50718 | 195603 180150 114 | 0.000 % |
876.18/876.69 c | 735958 | 3904 16705 50718 | 195603 181021 114 | 0.000 % |
877.48/877.90 c | 736917 | 3904 16705 50718 | 195603 181980 114 | 0.000 % |
878.68/879.19 c | 737971 | 3904 16705 50718 | 195603 183034 114 | 0.000 % |
880.18/880.69 c | 739132 | 3904 16705 50718 | 195603 184195 114 | 0.000 % |
881.78/882.24 c | 740406 | 3904 16705 50718 | 2147483647 185469 114 | 0.000 % |
883.57/884.04 c | 741807 | 3904 16705 50718 | 2147483647 186870 114 | 0.000 % |
885.47/885.91 c | 743348 | 3904 16705 50718 | 2147483647 188411 114 | 0.000 % |
887.57/888.01 c | 745042 | 3904 16705 50718 | 2147483647 190105 114 | 0.000 % |
890.07/890.58 c | 746905 | 3904 16705 50718 | 2147483647 191968 114 | 0.000 % |
892.87/893.33 c | 748957 | 3904 16705 50718 | 2147483647 194020 114 | 0.000 % |
895.77/896.23 c | 751210 | 3904 16705 50718 | 2147483647 196273 114 | 0.000 % |
899.07/899.50 c | 753688 | 3904 16705 50718 | 2147483647 198751 114 | 0.000 % |
902.67/903.11 c | 756415 | 3904 16705 50718 | 2147483647 201478 114 | 0.000 % |
906.66/907.16 c | 759412 | 3904 16705 50718 | 2147483647 204475 114 | 0.000 % |
911.16/911.67 c | 762708 | 3904 16705 50718 | 2147483647 207771 115 | 0.000 % |
915.96/916.44 c | 766335 | 3904 16705 50718 | 2147483647 211398 115 | 0.000 % |
921.26/921.78 c | 770326 | 3904 16705 50718 | 215065 215389 115 | 0.000 % |
927.15/927.62 c | 774711 | 3904 16705 50718 | 215065 198175 115 | 0.000 % |
933.45/933.91 c | 779534 | 3904 16705 50718 | 215065 202998 115 | 0.000 % |
940.75/941.25 c | 784840 | 3904 16705 50718 | 2147483647 208304 116 | 0.000 % |
948.64/949.16 c | 790675 | 3904 16705 50718 | 213466 190044 117 | 0.000 % |
956.84/957.35 c | 797093 | 3904 16705 50718 | 213466 196462 117 | 0.000 % |
966.24/966.72 c | 804153 | 3904 16705 50718 | 2147483647 203522 117 | 0.000 % |
966.34/966.87 c | 804253 | 3904 16705 50718 | 2147483647 203622 117 | 0.000 % |
966.54/967.05 c | 804364 | 3904 16705 50718 | 2147483647 203733 117 | 0.000 % |
966.73/967.24 c | 804487 | 3904 16705 50718 | 2147483647 203856 117 | 0.000 % |
966.93/967.45 c | 804622 | 3904 16705 50718 | 2147483647 203991 117 | 0.000 % |
967.13/967.69 c | 804769 | 3904 16705 50718 | 2147483647 204138 117 | 0.000 % |
967.44/967.94 c | 804930 | 3904 16705 50718 | 2147483647 204299 117 | 0.000 % |
967.73/968.24 c | 805107 | 3904 16705 50718 | 2147483647 204476 117 | 0.000 % |
968.03/968.58 c | 805300 | 3904 16705 50718 | 2147483647 204669 117 | 0.000 % |
968.43/968.93 c | 805514 | 3904 16705 50718 | 2147483647 204883 117 | 0.000 % |
968.83/969.34 c | 805749 | 3904 16705 50718 | 2147483647 205118 117 | 0.000 % |
969.23/969.74 c | 806005 | 3904 16705 50718 | 2147483647 205374 117 | 0.000 % |
969.74/970.22 c | 806286 | 3904 16705 50718 | 2147483647 205655 117 | 0.000 % |
970.13/970.64 c | 806596 | 3904 16705 50718 | 2147483647 205965 117 | 0.000 % |
970.63/971.14 c | 806935 | 3904 16705 50718 | 2147483647 206304 117 | 0.000 % |
971.23/971.71 c | 807307 | 3904 16705 50718 | 2147483647 206676 117 | 0.000 % |
971.73/972.29 c | 807716 | 3904 16705 50718 | 2147483647 207085 117 | 0.000 % |
972.43/972.95 c | 808165 | 3904 16705 50718 | 2147483647 207534 117 | 0.000 % |
973.13/973.64 c | 808659 | 3904 16705 50718 | 2147483647 208028 117 | 0.000 % |
973.93/974.47 c | 809201 | 3904 16705 50718 | 2147483647 208570 117 | 0.000 % |
974.83/975.32 c | 809797 | 3904 16705 50718 | 2147483647 209166 117 | 0.000 % |
975.63/976.16 c | 810452 | 3904 16705 50718 | 209369 209821 117 | 0.000 % |
977.03/977.51 c | 811173 | 3904 16705 50718 | 209369 185590 117 | 0.000 % |
978.03/978.54 c | 811967 | 3904 16705 50718 | 209369 186384 117 | 0.000 % |
979.13/979.65 c | 812838 | 3904 16705 50718 | 209369 187255 117 | 0.000 % |
980.43/980.98 c | 813796 | 3904 16705 50718 | 209369 188213 116 | 0.000 % |
981.93/982.42 c | 814850 | 3904 16705 50718 | 209369 189267 116 | 0.000 % |
983.43/983.91 c | 816008 | 3904 16705 50718 | 209369 190425 116 | 0.000 % |
985.13/985.69 c | 817281 | 3904 16705 50718 | 209369 191698 116 | 0.000 % |
987.03/987.56 c | 818683 | 3904 16705 50718 | 209369 193100 116 | 0.000 % |
989.02/989.52 c | 820223 | 3904 16705 50718 | 2147483647 194640 116 | 0.000 % |
991.22/991.72 c | 821918 | 3904 16705 50718 | 2147483647 196335 116 | 0.000 % |
993.62/994.11 c | 823782 | 3904 16705 50718 | 2147483647 198199 116 | 0.000 % |
996.32/996.88 c | 825834 | 3904 16705 50718 | 2147483647 200251 116 | 0.000 % |
999.32/999.80 c | 828087 | 3904 16705 50718 | 2147483647 202504 116 | 0.000 % |
1002.72/1003.29 c | 830566 | 3904 16705 50718 | 2147483647 204983 116 | 0.000 % |
1006.52/1007.08 c | 833292 | 3904 16705 50718 | 2147483647 207709 116 | 0.000 % |
1010.42/1010.93 c | 836292 | 3904 16705 50718 | 2147483647 210709 116 | 0.000 % |
1015.11/1015.62 c | 839589 | 3904 16705 50718 | 2147483647 214006 116 | 0.000 % |
1020.41/1020.90 c | 843214 | 3904 16705 50718 | 214419 192458 116 | 0.000 % |
1025.41/1025.96 c | 847203 | 3904 16705 50718 | 214419 196447 116 | 0.000 % |
1031.11/1031.66 c | 851592 | 3904 16705 50718 | 2147483647 200836 116 | 0.000 % |
1037.41/1037.99 c | 856417 | 3904 16705 50718 | 2147483647 205661 117 | 0.000 % |
1045.00/1045.53 c | 861725 | 3904 16705 50718 | 209245 189236 117 | 0.000 % |
1052.20/1052.78 c | 867560 | 3904 16705 50718 | 209245 195071 117 | 0.000 % |
1061.00/1061.52 c | 873979 | 3904 16705 50718 | 2147483647 201490 117 | 0.000 % |
1069.99/1070.56 c | 881038 | 3904 16705 50718 | 2147483647 208549 117 | 0.000 % |
1080.50/1081.07 c | 888802 | 3904 16705 50718 | 2147483647 216313 117 | 0.000 % |
1080.70/1081.23 c | 888904 | 3904 16705 50718 | 2147483647 216415 117 | 0.000 % |
1080.90/1081.42 c | 889014 | 3904 16705 50718 | 2147483647 216525 117 | 0.000 % |
1081.10/1081.65 c | 889136 | 3904 16705 50718 | 2147483647 216647 117 | 0.000 % |
1081.30/1081.88 c | 889271 | 3904 16705 50718 | 2147483647 216782 117 | 0.000 % |
1081.60/1082.11 c | 889418 | 3904 16705 50718 | 2147483647 216929 117 | 0.000 % |
1081.80/1082.36 c | 889578 | 3904 16705 50718 | 2147483647 217089 117 | 0.000 % |
1082.10/1082.69 c | 889755 | 3904 16705 50718 | 2147483647 217266 117 | 0.000 % |
1082.50/1083.00 c | 889951 | 3904 16705 50718 | 2147483647 217462 117 | 0.000 % |
1082.80/1083.39 c | 890163 | 3904 16705 50718 | 217511 217674 117 | 0.000 % |
1083.49/1084.09 c | 890397 | 3904 16705 50718 | 217511 188190 117 | 0.000 % |
1083.89/1084.49 c | 890655 | 3904 16705 50718 | 217511 188448 117 | 0.000 % |
1084.39/1084.91 c | 890937 | 3904 16705 50718 | 217511 188730 117 | 0.000 % |
1084.79/1085.36 c | 891246 | 3904 16705 50718 | 217511 189039 117 | 0.000 % |
1085.29/1085.86 c | 891586 | 3904 16705 50718 | 217511 189379 117 | 0.000 % |
1085.89/1086.40 c | 891958 | 3904 16705 50718 | 217511 189751 117 | 0.000 % |
1086.39/1086.95 c | 892369 | 3904 16705 50718 | 217511 190162 117 | 0.000 % |
1087.09/1087.60 c | 892820 | 3904 16705 50718 | 217511 190613 117 | 0.000 % |
1087.69/1088.22 c | 893313 | 3904 16705 50718 | 217511 191106 117 | 0.000 % |
1088.29/1088.85 c | 893855 | 3904 16705 50718 | 217511 191648 117 | 0.000 % |
1089.09/1089.66 c | 894452 | 3904 16705 50718 | 217511 192245 117 | 0.000 % |
1089.99/1090.58 c | 895107 | 3904 16705 50718 | 217511 192900 117 | 0.000 % |
1090.99/1091.52 c | 895832 | 3904 16705 50718 | 217511 193625 117 | 0.000 % |
1091.99/1092.51 c | 896624 | 3904 16705 50718 | 217511 194417 117 | 0.000 % |
1093.09/1093.67 c | 897495 | 3904 16705 50718 | 217511 195288 117 | 0.000 % |
1094.49/1095.03 c | 898453 | 3904 16705 50718 | 217511 196246 117 | 0.000 % |
1095.79/1096.37 c | 899507 | 3904 16705 50718 | 217511 197300 117 | 0.000 % |
1097.59/1098.13 c | 900667 | 3904 16705 50718 | 197793 198460 117 | 0.000 % |
1099.49/1100.08 c | 901942 | 3904 16705 50718 | 197793 177068 117 | 0.000 % |
1101.09/1101.68 c | 903342 | 3904 16705 50718 | 197793 178468 117 | 0.000 % |
1103.09/1103.66 c | 904883 | 3904 16705 50718 | 197793 180009 117 | 0.000 % |
1105.19/1105.71 c | 906579 | 3904 16705 50718 | 197793 181705 117 | 0.000 % |
1107.38/1108.00 c | 908443 | 3904 16705 50718 | 197793 183569 117 | 0.000 % |
1109.78/1110.34 c | 910493 | 3904 16705 50718 | 2147483647 185619 117 | 0.000 % |
1112.38/1112.99 c | 912746 | 3904 16705 50718 | 2147483647 187872 117 | 0.000 % |
1115.38/1115.96 c | 915226 | 3904 16705 50718 | 2147483647 190352 118 | 0.000 % |
1118.98/1119.59 c | 917952 | 3904 16705 50718 | 2147483647 193078 118 | 0.000 % |
1123.08/1123.61 c | 920949 | 3904 16705 50718 | 2147483647 196075 117 | 0.000 % |
1127.48/1128.02 c | 924247 | 3904 16705 50718 | 2147483647 199373 117 | 0.000 % |
1132.17/1132.73 c | 927873 | 3904 16705 50718 | 2147483647 202999 117 | 0.000 % |
1137.67/1138.23 c | 931862 | 3904 16705 50718 | 2147483647 206988 117 | 0.000 % |
1143.67/1144.28 c | 936248 | 3904 16705 50718 | 2147483647 211374 117 | 0.000 % |
1150.77/1151.38 c | 941071 | 3904 16705 50718 | 215126 193604 115 | 0.000 % |
1157.67/1158.26 c | 946376 | 3904 16705 50718 | 215126 198909 116 | 0.000 % |
1165.56/1166.10 c | 952211 | 3904 16705 50718 | 2147483647 204744 116 | 0.000 % |
1173.76/1174.38 c | 958630 | 3904 16705 50718 | 2147483647 211163 116 | 0.000 % |
1183.65/1184.27 c | 965690 | 3904 16705 50718 | 212533 195098 116 | 0.000 % |
1193.85/1194.44 c | 973455 | 3904 16705 50718 | 2147483647 202863 116 | 0.000 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1832741-1242787220/watcher-1832741-1242787220 -o /tmp/evaluation-result-1832741-1242787220/solver-1832741-1242787220 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832741-1242787220.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.92 0.98 0.93 3/64 14490
/proc/meminfo: memFree=1792504/2055924 swapFree=4140892/4192956
[pid=14490] ppid=14488 vsize=5356 CPUtime=0
/proc/14490/stat : 14490 (SatELiteGTI) S 14488 14490 13751 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 306756364 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14490/statm: 1339 237 197 169 0 50 0
[startup+0.090491 s]
/proc/loadavg: 0.92 0.98 0.93 3/64 14490
/proc/meminfo: memFree=1792504/2055924 swapFree=4140892/4192956
[pid=14490] ppid=14488 vsize=5356 CPUtime=0.06
/proc/14490/stat : 14490 (SatELiteGTI) S 14488 14490 13751 0 -1 4194304 336 875 0 0 0 0 6 0 16 0 1 0 306756364 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14490/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 5356
[startup+0.101491 s]
/proc/loadavg: 0.92 0.98 0.93 3/64 14490
/proc/meminfo: memFree=1792504/2055924 swapFree=4140892/4192956
[pid=14490] ppid=14488 vsize=5356 CPUtime=0.06
/proc/14490/stat : 14490 (SatELiteGTI) S 14488 14490 13751 0 -1 4194304 336 875 0 0 0 0 6 0 16 0 1 0 306756364 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14490/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 5356
[startup+0.301531 s]
/proc/loadavg: 0.92 0.98 0.93 3/64 14490
/proc/meminfo: memFree=1792504/2055924 swapFree=4140892/4192956
[pid=14490] ppid=14488 vsize=5356 CPUtime=0.06
/proc/14490/stat : 14490 (SatELiteGTI) S 14488 14490 13751 0 -1 4194304 336 875 0 0 0 0 6 0 16 0 1 0 306756364 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14490/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 5356
[startup+0.701611 s]
/proc/loadavg: 0.92 0.98 0.93 3/64 14490
/proc/meminfo: memFree=1792504/2055924 swapFree=4140892/4192956
[pid=14490] ppid=14488 vsize=5356 CPUtime=0.06
/proc/14490/stat : 14490 (SatELiteGTI) S 14488 14490 13751 0 -1 4194304 336 875 0 0 0 0 6 0 16 0 1 0 306756364 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14490/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 5356
[startup+1.50276 s]
/proc/loadavg: 0.92 0.98 0.93 2/66 14496
/proc/meminfo: memFree=1788072/2055924 swapFree=4140892/4192956
[pid=14490] ppid=14488 vsize=5356 CPUtime=0.06
/proc/14490/stat : 14490 (SatELiteGTI) S 14488 14490 13751 0 -1 4194304 336 875 0 0 0 0 6 0 16 0 1 0 306756364 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14490/statm: 1339 239 197 169 0 50 0
[pid=14496] ppid=14490 vsize=5276 CPUtime=1.41
/proc/14496/stat : 14496 (minisat_static) R 14490 14490 13751 0 -1 4194304 1040 0 0 0 141 0 0 0 25 0 1 0 306756371 5402624 1026 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/14496/statm: 1319 1026 77 171 0 1146 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 10632
[startup+3.10108 s]
/proc/loadavg: 0.92 0.98 0.93 2/66 14496
/proc/meminfo: memFree=1786600/2055924 swapFree=4140892/4192956
[pid=14490] ppid=14488 vsize=5356 CPUtime=0.06
/proc/14490/stat : 14490 (SatELiteGTI) S 14488 14490 13751 0 -1 4194304 336 875 0 0 0 0 6 0 16 0 1 0 306756364 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14490/statm: 1339 239 197 169 0 50 0
[pid=14496] ppid=14490 vsize=8708 CPUtime=3.01
/proc/14496/stat : 14496 (minisat_static) R 14490 14490 13751 0 -1 4194304 1877 0 0 0 300 1 0 0 25 0 1 0 306756371 8916992 1863 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/14496/statm: 2177 1863 77 171 0 2004 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 14064
[startup+6.3017 s]
/proc/loadavg: 0.93 0.98 0.93 2/66 14496
/proc/meminfo: memFree=1780392/2055924 swapFree=4140892/4192956
[pid=14490] ppid=14488 vsize=5356 CPUtime=0.06
/proc/14490/stat : 14490 (SatELiteGTI) S 14488 14490 13751 0 -1 4194304 336 875 0 0 0 0 6 0 16 0 1 0 306756364 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14490/statm: 1339 239 197 169 0 50 0
[pid=14496] ppid=14490 vsize=13988 CPUtime=6.21
/proc/14496/stat : 14496 (minisat_static) R 14490 14490 13751 0 -1 4194304 3226 0 0 0 619 2 0 0 25 0 1 0 306756371 14323712 3212 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/14496/statm: 3497 3212 77 171 0 3324 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 19344
[startup+12.702 s]
/proc/loadavg: 0.93 0.98 0.93 2/66 14496
/proc/meminfo: memFree=1771752/2055924 swapFree=4140892/4192956
[pid=14490] ppid=14488 vsize=5356 CPUtime=0.06
/proc/14490/stat : 14490 (SatELiteGTI) S 14488 14490 13751 0 -1 4194304 336 875 0 0 0 0 6 0 16 0 1 0 306756364 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14490/statm: 1339 239 197 169 0 50 0
[pid=14496] ppid=14490 vsize=22020 CPUtime=12.6
/proc/14496/stat : 14496 (minisat_static) R 14490 14490 13751 0 -1 4194304 5209 0 0 0 1257 3 0 0 25 0 1 0 306756371 22548480 5195 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/14496/statm: 5505 5195 77 171 0 5332 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 27376
[startup+25.5015 s]
/proc/loadavg: 0.95 0.98 0.93 2/66 14496
/proc/meminfo: memFree=1759784/2055924 swapFree=4140892/4192956
[pid=14490] ppid=14488 vsize=5356 CPUtime=0.06
/proc/14490/stat : 14490 (SatELiteGTI) S 14488 14490 13751 0 -1 4194304 336 875 0 0 0 0 6 0 16 0 1 0 306756364 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14490/statm: 1339 239 197 169 0 50 0
[pid=14496] ppid=14490 vsize=33492 CPUtime=25.4
/proc/14496/stat : 14496 (minisat_static) R 14490 14490 13751 0 -1 4194304 8061 0 0 0 2533 7 0 0 25 0 1 0 306756371 34295808 8047 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/14496/statm: 8373 8047 77 171 0 8200 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 38848
[startup+51.1015 s]
/proc/loadavg: 0.96 0.98 0.93 2/66 14496
/proc/meminfo: memFree=1743272/2055924 swapFree=4140892/4192956
[pid=14490] ppid=14488 vsize=5356 CPUtime=0.06
/proc/14490/stat : 14490 (SatELiteGTI) S 14488 14490 13751 0 -1 4194304 336 875 0 0 0 0 6 0 16 0 1 0 306756364 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14490/statm: 1339 239 197 169 0 50 0
[pid=14496] ppid=14490 vsize=50172 CPUtime=50.98
/proc/14496/stat : 14496 (minisat_static) R 14490 14490 13751 0 -1 4194304 12221 0 0 0 5087 11 0 0 25 0 1 0 306756371 51376128 12207 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/14496/statm: 12543 12207 77 171 0 12370 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 55528
[startup+102.306 s]
/proc/loadavg: 0.98 0.98 0.93 2/66 14496
/proc/meminfo: memFree=1719144/2055924 swapFree=4140892/4192956
[pid=14490] ppid=14488 vsize=5356 CPUtime=0.06
/proc/14490/stat : 14490 (SatELiteGTI) S 14488 14490 13751 0 -1 4194304 336 875 0 0 0 0 6 0 16 0 1 0 306756364 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14490/statm: 1339 239 197 169 0 50 0
[pid=14496] ppid=14490 vsize=73804 CPUtime=102.16
/proc/14496/stat : 14496 (minisat_static) R 14490 14490 13751 0 -1 4194304 18126 0 0 0 10198 18 0 0 25 0 1 0 306756371 75575296 18112 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/14496/statm: 18451 18112 77 171 0 18278 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 79160
[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.93 2/66 14498
/proc/meminfo: memFree=1697192/2055924 swapFree=4140892/4192956
[pid=14490] ppid=14488 vsize=5356 CPUtime=0.06
/proc/14490/stat : 14490 (SatELiteGTI) S 14488 14490 13751 0 -1 4194304 336 875 0 0 0 0 6 0 16 0 1 0 306756364 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14490/statm: 1339 239 197 169 0 50 0
[pid=14496] ppid=14490 vsize=95320 CPUtime=162.12
/proc/14496/stat : 14496 (minisat_static) R 14490 14490 13751 0 -1 4194304 23552 0 0 0 16188 24 0 0 25 0 1 0 306756371 97607680 23538 1992294400 134512640 135215339 4294956240 18446744073709551615 134528782 0 0 4096 3 0 0 0 17 1 0 0
/proc/14496/statm: 23830 23538 77 171 0 23657 0
Current children cumulated CPU time (s) 162.18
Current children cumulated vsize (KiB) 100676
[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.93 2/66 14498
/proc/meminfo: memFree=1693096/2055924 swapFree=4140892/4192956
[pid=14490] ppid=14488 vsize=5356 CPUtime=0.06
/proc/14490/stat : 14490 (SatELiteGTI) S 14488 14490 13751 0 -1 4194304 336 875 0 0 0 0 6 0 16 0 1 0 306756364 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14490/statm: 1339 239 197 169 0 50 0
[pid=14496] ppid=14490 vsize=99684 CPUtime=222.1
/proc/14496/stat : 14496 (minisat_static) R 14490 14490 13751 0 -1 4194304 24534 0 0 0 22184 26 0 0 25 0 1 0 306756371 102076416 24520 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/14496/statm: 24921 24520 77 171 0 24748 0
Current children cumulated CPU time (s) 222.16
Current children cumulated vsize (KiB) 105040
[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.93 2/66 14498
/proc/meminfo: memFree=1693096/2055924 swapFree=4140892/4192956
[pid=14490] ppid=14488 vsize=5356 CPUtime=0.06
/proc/14490/stat : 14490 (SatELiteGTI) S 14488 14490 13751 0 -1 4194304 336 875 0 0 0 0 6 0 16 0 1 0 306756364 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14490/statm: 1339 239 197 169 0 50 0
[pid=14496] ppid=14490 vsize=99684 CPUtime=282.07
/proc/14496/stat : 14496 (minisat_static) R 14490 14490 13751 0 -1 4194304 24534 0 0 0 28181 26 0 0 25 0 1 0 306756371 102076416 24520 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/14496/statm: 24921 24520 77 171 0 24748 0
Current children cumulated CPU time (s) 282.13
Current children cumulated vsize (KiB) 105040
[startup+342.303 s]
/proc/loadavg: 0.99 0.98 0.93 2/66 14498
/proc/meminfo: memFree=1686888/2055924 swapFree=4140892/4192956
[pid=14490] ppid=14488 vsize=5356 CPUtime=0.06
/proc/14490/stat : 14490 (SatELiteGTI) S 14488 14490 13751 0 -1 4194304 336 875 0 0 0 0 6 0 16 0 1 0 306756364 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14490/statm: 1339 239 197 169 0 50 0
[pid=14496] ppid=14490 vsize=105628 CPUtime=342.04
/proc/14496/stat : 14496 (minisat_static) R 14490 14490 13751 0 -1 4194304 26052 0 0 0 34177 27 0 0 25 0 1 0 306756371 108163072 26038 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/14496/statm: 26407 26038 77 171 0 26234 0
Current children cumulated CPU time (s) 342.1
Current children cumulated vsize (KiB) 110984
[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.93 2/66 14498
/proc/meminfo: memFree=1686824/2055924 swapFree=4140892/4192956
[pid=14490] ppid=14488 vsize=5356 CPUtime=0.06
/proc/14490/stat : 14490 (SatELiteGTI) S 14488 14490 13751 0 -1 4194304 336 875 0 0 0 0 6 0 16 0 1 0 306756364 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14490/statm: 1339 239 197 169 0 50 0
[pid=14496] ppid=14490 vsize=105628 CPUtime=402.02
/proc/14496/stat : 14496 (minisat_static) R 14490 14490 13751 0 -1 4194304 26052 0 0 0 40175 27 0 0 25 0 1 0 306756371 108163072 26038 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/14496/statm: 26407 26038 77 171 0 26234 0
Current children cumulated CPU time (s) 402.08
Current children cumulated vsize (KiB) 110984
[startup+462.301 s]
################
# More data... #
################
/proc/14496/statm: 26902 26525 77 171 0 26729 0
Current children cumulated CPU time (s) 522.03
Current children cumulated vsize (KiB) 112964
[startup+582.302 s]
/proc/loadavg: 0.99 0.98 0.93 2/66 14498
/proc/meminfo: memFree=1682984/2055924 swapFree=4140892/4192956
[pid=14490] ppid=14488 vsize=5356 CPUtime=0.06
/proc/14490/stat : 14490 (SatELiteGTI) S 14488 14490 13751 0 -1 4194304 336 875 0 0 0 0 6 0 16 0 1 0 306756364 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14490/statm: 1339 239 197 169 0 50 0
[pid=14496] ppid=14490 vsize=109192 CPUtime=581.95
/proc/14496/stat : 14496 (minisat_static) R 14490 14490 13751 0 -1 4194304 26929 0 0 0 58166 29 0 0 25 0 1 0 306756371 111812608 26915 1992294400 134512640 135215339 4294956240 18446744073709551615 134538115 0 0 4096 3 0 0 0 17 1 0 0
/proc/14496/statm: 27298 26915 77 171 0 27125 0
Current children cumulated CPU time (s) 582.01
Current children cumulated vsize (KiB) 114548
[startup+642.301 s]
/proc/loadavg: 0.99 0.98 0.93 2/66 14498
/proc/meminfo: memFree=1680936/2055924 swapFree=4140892/4192956
[pid=14490] ppid=14488 vsize=5356 CPUtime=0.06
/proc/14490/stat : 14490 (SatELiteGTI) S 14488 14490 13751 0 -1 4194304 336 875 0 0 0 0 6 0 16 0 1 0 306756364 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14490/statm: 1339 239 197 169 0 50 0
[pid=14496] ppid=14490 vsize=111304 CPUtime=641.91
/proc/14496/stat : 14496 (minisat_static) R 14490 14490 13751 0 -1 4194304 27441 0 0 0 64162 29 0 0 25 0 1 0 306756371 113975296 27427 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/14496/statm: 27826 27427 77 171 0 27653 0
Current children cumulated CPU time (s) 641.97
Current children cumulated vsize (KiB) 116660
[startup+702.301 s]
/proc/loadavg: 0.99 0.98 0.93 2/66 14498
/proc/meminfo: memFree=1677992/2055924 swapFree=4140892/4192956
[pid=14490] ppid=14488 vsize=5356 CPUtime=0.06
/proc/14490/stat : 14490 (SatELiteGTI) S 14488 14490 13751 0 -1 4194304 336 875 0 0 0 0 6 0 16 0 1 0 306756364 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14490/statm: 1339 239 197 169 0 50 0
[pid=14496] ppid=14490 vsize=113944 CPUtime=701.89
/proc/14496/stat : 14496 (minisat_static) R 14490 14490 13751 0 -1 4194304 28130 0 0 0 70158 31 0 0 25 0 1 0 306756371 116678656 28116 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/14496/statm: 28486 28116 77 171 0 28313 0
Current children cumulated CPU time (s) 701.95
Current children cumulated vsize (KiB) 119300
[startup+762.306 s]
/proc/loadavg: 0.99 0.98 0.93 2/66 14498
/proc/meminfo: memFree=1676264/2055924 swapFree=4140892/4192956
[pid=14490] ppid=14488 vsize=5356 CPUtime=0.06
/proc/14490/stat : 14490 (SatELiteGTI) S 14488 14490 13751 0 -1 4194304 336 875 0 0 0 0 6 0 16 0 1 0 306756364 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14490/statm: 1339 239 197 169 0 50 0
[pid=14496] ppid=14490 vsize=115660 CPUtime=761.87
/proc/14496/stat : 14496 (minisat_static) R 14490 14490 13751 0 -1 4194304 28535 0 0 0 76156 31 0 0 25 0 1 0 306756371 118435840 28521 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/14496/statm: 28915 28521 77 171 0 28742 0
Current children cumulated CPU time (s) 761.93
Current children cumulated vsize (KiB) 121016
[startup+822.302 s]
/proc/loadavg: 1.06 1.00 0.94 2/66 14498
/proc/meminfo: memFree=1676264/2055924 swapFree=4140892/4192956
[pid=14490] ppid=14488 vsize=5356 CPUtime=0.06
/proc/14490/stat : 14490 (SatELiteGTI) S 14488 14490 13751 0 -1 4194304 336 875 0 0 0 0 6 0 16 0 1 0 306756364 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14490/statm: 1339 239 197 169 0 50 0
[pid=14496] ppid=14490 vsize=115660 CPUtime=821.84
/proc/14496/stat : 14496 (minisat_static) R 14490 14490 13751 0 -1 4194304 28535 0 0 0 82152 32 0 0 25 0 1 0 306756371 118435840 28521 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/14496/statm: 28915 28521 77 171 0 28742 0
Current children cumulated CPU time (s) 821.9
Current children cumulated vsize (KiB) 121016
[startup+882.302 s]
/proc/loadavg: 1.02 1.00 0.94 2/66 14498
/proc/meminfo: memFree=1676136/2055924 swapFree=4140892/4192956
[pid=14490] ppid=14488 vsize=5356 CPUtime=0.06
/proc/14490/stat : 14490 (SatELiteGTI) S 14488 14490 13751 0 -1 4194304 336 875 0 0 0 0 6 0 16 0 1 0 306756364 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14490/statm: 1339 239 197 169 0 50 0
[pid=14496] ppid=14490 vsize=115660 CPUtime=881.81
/proc/14496/stat : 14496 (minisat_static) R 14490 14490 13751 0 -1 4194304 28535 0 0 0 88149 32 0 0 25 0 1 0 306756371 118435840 28521 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/14496/statm: 28915 28521 77 171 0 28742 0
Current children cumulated CPU time (s) 881.87
Current children cumulated vsize (KiB) 121016
[startup+942.301 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 14498
/proc/meminfo: memFree=1676072/2055924 swapFree=4140892/4192956
[pid=14490] ppid=14488 vsize=5356 CPUtime=0.06
/proc/14490/stat : 14490 (SatELiteGTI) S 14488 14490 13751 0 -1 4194304 336 875 0 0 0 0 6 0 16 0 1 0 306756364 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14490/statm: 1339 239 197 169 0 50 0
[pid=14496] ppid=14490 vsize=115660 CPUtime=941.79
/proc/14496/stat : 14496 (minisat_static) R 14490 14490 13751 0 -1 4194304 28535 0 0 0 94147 32 0 0 25 0 1 0 306756371 118435840 28521 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/14496/statm: 28915 28521 77 171 0 28742 0
Current children cumulated CPU time (s) 941.85
Current children cumulated vsize (KiB) 121016
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 14498
/proc/meminfo: memFree=1675944/2055924 swapFree=4140892/4192956
[pid=14490] ppid=14488 vsize=5356 CPUtime=0.06
/proc/14490/stat : 14490 (SatELiteGTI) S 14488 14490 13751 0 -1 4194304 336 875 0 0 0 0 6 0 16 0 1 0 306756364 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14490/statm: 1339 239 197 169 0 50 0
[pid=14496] ppid=14490 vsize=115616 CPUtime=1001.76
/proc/14496/stat : 14496 (minisat_static) R 14490 14490 13751 0 -1 4194304 28535 0 0 0 100144 32 0 0 25 0 1 0 306756371 118390784 28521 1992294400 134512640 135215339 4294956240 18446744073709551615 134540963 0 0 4096 3 0 0 0 17 1 0 0
/proc/14496/statm: 28904 28521 77 171 0 28731 0
Current children cumulated CPU time (s) 1001.82
Current children cumulated vsize (KiB) 120972
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 14498
/proc/meminfo: memFree=1675816/2055924 swapFree=4140892/4192956
[pid=14490] ppid=14488 vsize=5356 CPUtime=0.06
/proc/14490/stat : 14490 (SatELiteGTI) S 14488 14490 13751 0 -1 4194304 336 875 0 0 0 0 6 0 16 0 1 0 306756364 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14490/statm: 1339 239 197 169 0 50 0
[pid=14496] ppid=14490 vsize=115616 CPUtime=1061.74
/proc/14496/stat : 14496 (minisat_static) R 14490 14490 13751 0 -1 4194304 28535 0 0 0 106142 32 0 0 25 0 1 0 306756371 118390784 28521 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/14496/statm: 28904 28521 77 171 0 28731 0
Current children cumulated CPU time (s) 1061.8
Current children cumulated vsize (KiB) 120972
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 14498
/proc/meminfo: memFree=1675752/2055924 swapFree=4140892/4192956
[pid=14490] ppid=14488 vsize=5356 CPUtime=0.06
/proc/14490/stat : 14490 (SatELiteGTI) S 14488 14490 13751 0 -1 4194304 336 875 0 0 0 0 6 0 16 0 1 0 306756364 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14490/statm: 1339 239 197 169 0 50 0
[pid=14496] ppid=14490 vsize=115616 CPUtime=1121.72
/proc/14496/stat : 14496 (minisat_static) R 14490 14490 13751 0 -1 4194304 28535 0 0 0 112139 33 0 0 25 0 1 0 306756371 118390784 28521 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/14496/statm: 28904 28521 77 171 0 28731 0
Current children cumulated CPU time (s) 1121.78
Current children cumulated vsize (KiB) 120972
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 14498
/proc/meminfo: memFree=1675624/2055924 swapFree=4140892/4192956
[pid=14490] ppid=14488 vsize=5356 CPUtime=0.06
/proc/14490/stat : 14490 (SatELiteGTI) S 14488 14490 13751 0 -1 4194304 336 875 0 0 0 0 6 0 16 0 1 0 306756364 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14490/statm: 1339 239 197 169 0 50 0
[pid=14496] ppid=14490 vsize=115616 CPUtime=1181.69
/proc/14496/stat : 14496 (minisat_static) R 14490 14490 13751 0 -1 4194304 28535 0 0 0 118136 33 0 0 25 0 1 0 306756371 118390784 28521 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/14496/statm: 28904 28521 77 171 0 28731 0
Current children cumulated CPU time (s) 1181.75
Current children cumulated vsize (KiB) 120972
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.6 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 14498
/proc/meminfo: memFree=1675624/2055924 swapFree=4140892/4192956
[pid=14490] ppid=14488 vsize=5356 CPUtime=0.06
/proc/14490/stat : 14490 (SatELiteGTI) S 14488 14490 13751 0 -1 4194304 336 875 0 0 0 0 6 0 16 0 1 0 306756364 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14490/statm: 1339 239 197 169 0 50 0
[pid=14496] ppid=14490 vsize=115616 CPUtime=1199.99
/proc/14496/stat : 14496 (minisat_static) R 14490 14490 13751 0 -1 4194304 28535 0 0 0 119966 33 0 0 25 0 1 0 306756371 118390784 28521 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/14496/statm: 28904 28521 77 171 0 28731 0
Current children cumulated CPU time (s) 1200.05
Current children cumulated vsize (KiB) 120972
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 14490 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=65989
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=9998
# CPU time returned by wait4() is 0.075987
# while last known CPU time is 1200.05
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1200.61
CPU time (s): 1200.05
CPU user time (s): 1199.72
CPU system time (s): 0.33
CPU usage (%): 99.953
Max. virtual memory (cumulated for all children) (KiB): 121016
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.065989
system time used= 0.009998
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1211
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= 8
runsolver used 1.25481 second user time and 2.87056 second system time
The end
Begin job on node6 at 2009-05-20 04:40:20
IDJOB=1832741
IDBENCH=70334
IDSOLVER=671
FILE ID=node6/1832741-1242787220
PBS_JOBID= 9322310
Free space on /tmp= 66304 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/RANDOM/LARGE/3SAT/UNKNOWN/4000/unif-k3-r4.2-v4000-c16800-S1857201443-029.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832741-1242787220/watcher-1832741-1242787220 -o /tmp/evaluation-result-1832741-1242787220/solver-1832741-1242787220 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832741-1242787220.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 9d94109a874948dbc629e7a030616546
RANDOM SEED=699757853
node6.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.281
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.281
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: 2055924 kB
MemFree: 1793048 kB
Buffers: 23104 kB
Cached: 147644 kB
SwapCached: 46376 kB
Active: 123056 kB
Inactive: 95728 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055924 kB
LowFree: 1793048 kB
SwapTotal: 4192956 kB
SwapFree: 4140892 kB
Dirty: 1868 kB
Writeback: 0 kB
Mapped: 14060 kB
Slab: 30228 kB
Committed_AS: 1141876 kB
PageTables: 1460 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66300 MiB
End job on node6 at 2009-05-20 05:00:23