0.00/0.00 c Parsing...
7.68/7.79 c ==============================================================================
7.68/7.79 c | | ORIGINAL | LEARNT | |
7.68/7.79 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
7.68/7.79 c ==============================================================================
7.68/7.79 c | 0 | 9676385 28195027 | 2902915 0 0 nan | 0.000 % |
211.91/212.08 c | 0 | 9444694 29266006 | -- 0 -- -- | -- | -231533/1075524
211.91/212.09 c ==============================================================================
211.91/212.09 c Result : #vars: 394950 #clauses: 9444694 #literals: 29266006
211.91/212.09 c CPU time: 210.17 s
211.91/212.09 c ==============================================================================
221.59/221.83 c This is MiniSat 2.0 beta
221.59/221.83 c WARNING: for repeatability, setting FPU to use double precision
221.59/221.83 c ============================[ Problem Statistics ]=============================
221.59/221.83 c | |
221.59/221.83 c | Number of variables: 394950 |
221.59/221.83 c | Number of clauses: 9444694 |
227.37/227.63 c | Parsing time: 5.06 s |
227.67/227.93 c ============================[ Search Statistics ]==============================
227.67/227.93 c | Conflicts | ORIGINAL | LEARNT | Progress |
227.67/227.93 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
227.67/227.93 c ===============================================================================
227.67/227.93 c | 0 | 394950 9444694 29266006 | 3148231 0 nan | 0.000 % |
228.36/228.70 c | 114 | 394950 9444694 29266006 | 3148231 114 105 | 0.000 % |
229.27/229.53 c | 218 | 394950 9444694 29266006 | 3148231 218 81 | 0.000 % |
229.87/230.13 c | 320 | 394950 9444694 29266006 | 3148231 320 65 | 0.000 % |
230.27/230.54 c | 434 | 394950 9444694 29266006 | 3148231 434 61 | 0.000 % |
231.77/232.05 c | 534 | 394950 9444694 29266006 | 3148231 534 59 | 0.000 % |
232.87/233.19 c | 644 | 394950 9444694 29266006 | 3148231 644 56 | 0.000 % |
233.26/233.56 c | 765 | 394950 9444694 29266006 | 3148231 765 56 | 0.000 % |
233.46/233.79 c | 868 | 394950 9444694 29266006 | 3148231 868 54 | 0.000 % |
233.76/234.06 c | 978 | 394950 9444694 29266006 | 3148231 978 52 | 0.000 % |
234.36/234.67 c | 1099 | 394950 9444694 29266006 | 3148231 1099 50 | 0.000 % |
234.86/235.17 c | 1234 | 394950 9444694 29266006 | 3148231 1234 51 | 0.000 % |
235.16/235.42 c | 1337 | 394950 9444694 29266006 | 3148231 1337 50 | 0.000 % |
235.56/235.87 c | 1454 | 394950 9444694 29266006 | 3148231 1454 49 | 0.000 % |
236.16/236.50 c | 1576 | 394950 9444694 29266006 | 3148231 1576 49 | 0.000 % |
236.76/237.02 c | 1710 | 394950 9444694 29266006 | 3148231 1710 48 | 0.000 % |
236.96/237.26 c | 1856 | 394950 9444694 29266006 | 3148231 1856 49 | 0.000 % |
237.26/237.51 c | 1956 | 394950 9444694 29266006 | 3148231 1956 49 | 0.000 % |
237.46/237.78 c | 2066 | 394950 9444694 29266006 | 3148231 2066 50 | 0.000 % |
237.86/238.13 c | 2187 | 394950 9444694 29266006 | 3148231 2187 49 | 0.000 % |
238.36/238.61 c | 2324 | 394950 9444694 29266006 | 3148231 2324 48 | 0.000 % |
238.66/238.95 c | 2471 | 394950 9444694 29266006 | 3148231 2471 48 | 0.000 % |
239.16/239.41 c | 2635 | 394950 9444694 29266006 | 3148231 2635 47 | 0.000 % |
239.46/239.73 c | 2735 | 394950 9444694 29266006 | 3148231 2735 47 | 0.000 % |
239.86/240.15 c | 2845 | 394950 9444694 29266006 | 3148231 2845 46 | 0.000 % |
240.16/240.49 c | 2966 | 394950 9444694 29266006 | 3148231 2966 46 | 0.000 % |
240.46/240.76 c | 3099 | 394950 9444694 29266006 | 3148231 3099 46 | 0.000 % |
241.06/241.30 c | 3246 | 394950 9444694 29266006 | 3148231 3246 46 | 0.000 % |
241.36/241.62 c | 3408 | 394950 9444694 29266006 | 3148231 3408 45 | 0.000 % |
241.96/242.22 c | 3585 | 394950 9444694 29266006 | 3148231 3585 46 | 0.000 % |
242.45/242.74 c | 3686 | 394950 9444694 29266006 | 3148231 3686 46 | 0.000 % |
242.76/243.05 c | 3796 | 394950 9444694 29266006 | 3148231 3796 46 | 0.000 % |
243.05/243.31 c | 3917 | 394950 9444694 29266006 | 3148231 3917 46 | 0.000 % |
243.35/243.63 c | 4050 | 394950 9444694 29266006 | 3148231 4050 45 | 0.000 % |
243.96/244.29 c | 4197 | 394950 9444694 29266006 | 3148231 4197 45 | 0.000 % |
244.35/244.61 c | 4360 | 394950 9444694 29266006 | 3148231 4360 46 | 0.000 % |
244.65/244.99 c | 4536 | 394950 9444694 29266006 | 3148231 4536 46 | 0.000 % |
245.85/246.17 c | 4729 | 394950 9444694 29266006 | 3148231 4729 46 | 0.000 % |
246.35/246.64 c | 4829 | 394950 9444694 29266006 | 3148231 4829 46 | 0.000 % |
246.75/247.00 c | 4940 | 394950 9444694 29266006 | 3148231 4940 46 | 0.000 % |
247.26/247.53 c | 5062 | 394950 9444694 29266006 | 3148231 5062 46 | 0.000 % |
247.75/248.01 c | 5195 | 394950 9444694 29266006 | 3148231 5195 45 | 0.000 % |
247.85/248.11 c | 5343 | 394950 9444694 29266006 | 3148231 5343 45 | 0.000 % |
247.95/248.23 c | 5504 | 394950 9444694 29266006 | 3148231 5504 44 | 0.000 % |
249.66/249.92 c | 5681 | 394950 9444694 29266006 | 3148231 5681 45 | 0.000 % |
250.06/250.33 c | 5874 | 394950 9444694 29266006 | 3148231 5874 44 | 0.000 % |
251.66/251.94 c | 6086 | 394950 9444694 29266006 | 3148231 6086 46 | 0.000 % |
252.16/252.44 c | 6188 | 394950 9444694 29266006 | 3148231 6188 46 | 0.000 % |
252.26/252.54 c | 6302 | 394950 9444694 29266006 | 3148231 6302 45 | 0.000 % |
252.56/252.84 c | 6424 | 394950 9444694 29266006 | 3148231 6424 45 | 0.000 % |
253.46/253.75 c | 6557 | 394950 9444694 29266006 | 3148231 6557 45 | 0.000 % |
253.76/254.09 c | 6704 | 394950 9444694 29266006 | 3148231 6704 45 | 0.000 % |
254.46/254.76 c | 6864 | 394950 9444694 29266006 | 3148231 6864 46 | 0.000 % |
254.97/255.22 c | 7041 | 394950 9444694 29266006 | 3148231 7041 46 | 0.000 % |
256.86/257.11 c | 7234 | 394950 9444694 29266006 | 3148231 7234 46 | 0.000 % |
257.16/257.45 c | 7447 | 394950 9444694 29266006 | 3148231 7447 45 | 0.000 % |
257.66/257.91 c | 7680 | 394950 9444694 29266006 | 3148231 7680 45 | 0.000 % |
257.86/258.18 c | 7782 | 394950 9444694 29266006 | 3148231 7782 45 | 0.000 % |
258.16/258.44 c | 7894 | 394950 9444694 29266006 | 3148231 7894 46 | 0.000 % |
258.76/259.03 c | 8016 | 394949 9444685 29265988 | 3148231 8015 46 | 0.000 % |
260.16/260.40 c | 8149 | 394949 9444685 29265988 | 3148231 8148 45 | 0.000 % |
260.46/260.76 c | 8295 | 394949 9444685 29265988 | 3148231 8294 46 | 0.000 % |
261.16/261.47 c | 8456 | 394949 9444685 29265988 | 3148231 8455 45 | 0.000 % |
261.66/261.91 c | 8637 | 394949 9444685 29265988 | 3148231 8636 45 | 0.000 % |
262.35/262.60 c | 8832 | 394949 9444685 29265988 | 3148231 8831 45 | 0.000 % |
262.85/263.12 c | 9045 | 394949 9444685 29265988 | 3148231 9044 46 | 0.000 % |
263.76/264.08 c | 9279 | 394949 9444685 29265988 | 3148231 9278 47 | 0.000 % |
264.25/264.51 c | 9536 | 394949 9444685 29265988 | 3148231 9535 47 | 0.000 % |
264.65/264.96 c | 9638 | 394949 9444685 29265988 | 3148231 9637 47 | 0.000 % |
265.75/266.04 c | 9749 | 394949 9444685 29265988 | 3148231 9748 47 | 0.000 % |
266.45/266.77 c | 9871 | 394949 9444685 29265988 | 3148231 9870 47 | 0.000 % |
266.96/267.29 c | 10005 | 394949 9444685 29265988 | 2147483647 10004 47 | 0.000 % |
267.75/268.05 c | 10152 | 394949 9444685 29265988 | 2147483647 10151 47 | 0.000 % |
268.16/268.44 c | 10313 | 394949 9444685 29265988 | 2147483647 10312 47 | 0.000 % |
268.35/268.63 c | 10489 | 394949 9444685 29265988 | 2147483647 10488 47 | 0.000 % |
268.95/269.27 c | 10682 | 394949 9444685 29265988 | 2147483647 10681 46 | 0.000 % |
269.65/269.98 c | 10895 | 394949 9444685 29265988 | 2147483647 10894 47 | 0.000 % |
270.15/270.47 c | 11130 | 394949 9444685 29265988 | 2147483647 11129 47 | 0.000 % |
270.65/270.94 c | 11386 | 394949 9444685 29265988 | 2147483647 11385 48 | 0.000 % |
273.25/273.56 c | 11667 | 394949 9444685 29265988 | 2147483647 11666 48 | 0.000 % |
274.15/274.49 c | 11768 | 394949 9444685 29265988 | 2147483647 11767 48 | 0.000 % |
274.45/274.74 c | 11879 | 394949 9444685 29265988 | 2147483647 11878 49 | 0.000 % |
275.05/275.34 c | 12001 | 394949 9444685 29265988 | 2147483647 12000 49 | 0.000 % |
275.35/275.69 c | 12136 | 394949 9444685 29265988 | 2147483647 12135 49 | 0.000 % |
275.65/275.97 c | 12282 | 394949 9444685 29265988 | 2147483647 12281 49 | 0.000 % |
276.85/277.10 c | 12443 | 394949 9444685 29265988 | 2147483647 12442 49 | 0.000 % |
277.75/278.09 c | 12620 | 394949 9444685 29265988 | 2147483647 12619 49 | 0.000 % |
278.55/278.86 c | 12814 | 394949 9444685 29265988 | 2147483647 12813 49 | 0.000 % |
279.25/279.52 c | 13026 | 394949 9444685 29265988 | 2147483647 13025 50 | 0.000 % |
280.95/281.21 c | 13260 | 394949 9444685 29265988 | 2147483647 13259 50 | 0.000 % |
281.64/282.00 c | 13516 | 394949 9444685 29265988 | 2147483647 13515 50 | 0.000 % |
283.34/283.70 c | 13797 | 394949 9444685 29265988 | 2147483647 13796 50 | 0.000 % |
283.85/284.11 c | 14107 | 394949 9444685 29265988 | 2147483647 14106 50 | 0.000 % |
284.15/284.46 c | 14208 | 394949 9444685 29265988 | 2147483647 14207 51 | 0.000 % |
284.45/284.72 c | 14318 | 394949 9444685 29265988 | 2147483647 14317 51 | 0.000 % |
287.35/287.68 c | 14439 | 394949 9444685 29265988 | 2147483647 14438 51 | 0.000 % |
287.75/288.04 c | 14572 | 394949 9444685 29265988 | 2147483647 14571 51 | 0.000 % |
289.34/289.61 c | 14718 | 394949 9444685 29265988 | 2147483647 14717 51 | 0.000 % |
289.94/290.26 c | 14879 | 394949 9444685 29265988 | 2147483647 14878 50 | 0.000 % |
290.34/290.66 c | 15057 | 394949 9444685 29265988 | 2147483647 15056 51 | 0.000 % |
292.04/292.33 c | 15251 | 394949 9444685 29265988 | 2147483647 15250 51 | 0.000 % |
292.64/292.93 c | 15463 | 394949 9444685 29265988 | 2147483647 15462 51 | 0.000 % |
292.84/293.17 c | 15696 | 394949 9444685 29265988 | 2147483647 15695 52 | 0.000 % |
293.54/293.88 c | 15952 | 394949 9444685 29265988 | 2147483647 15951 52 | 0.000 % |
294.44/294.78 c | 16237 | 394949 9444685 29265988 | 2147483647 16236 52 | 0.000 % |
295.44/295.75 c | 16550 | 394949 9444685 29265988 | 2147483647 16549 52 | 0.000 % |
297.84/298.15 c | 16891 | 394949 9444685 29265988 | 2147483647 16890 52 | 0.000 % |
298.24/298.55 c | 16991 | 394949 9444685 29265988 | 2147483647 16990 52 | 0.000 % |
298.34/298.70 c | 17101 | 394949 9444685 29265988 | 2147483647 17100 52 | 0.000 % |
298.95/299.20 c | 17223 | 394949 9444685 29265988 | 2147483647 17222 52 | 0.000 % |
299.75/300.07 c | 17359 | 394949 9444685 29265988 | 2147483647 17358 52 | 0.000 % |
300.25/300.59 c | 17511 | 394949 9444685 29265988 | 2147483647 17510 52 | 0.000 % |
302.04/302.37 c | 17673 | 394949 9444685 29265988 | 2147483647 17672 52 | 0.000 % |
303.14/303.47 c | 17849 | 394949 9444685 29265988 | 2147483647 17848 52 | 0.000 % |
303.74/304.02 c | 18043 | 394949 9444685 29265988 | 2147483647 18042 53 | 0.000 % |
304.54/304.83 c | 18256 | 394949 9444685 29265988 | 2147483647 18255 53 | 0.000 % |
305.45/305.77 c | 18491 | 394949 9444685 29265988 | 2147483647 18490 52 | 0.000 % |
307.14/307.46 c | 18747 | 394949 9444685 29265988 | 2147483647 18746 52 | 0.000 % |
308.24/308.59 c | 19033 | 394949 9444685 29265988 | 2147483647 19032 53 | 0.000 % |
309.14/309.41 c | 19346 | 394949 9444685 29265988 | 2147483647 19345 53 | 0.000 % |
310.04/310.31 c | 19685 | 394949 9444685 29265988 | 2147483647 19684 53 | 0.000 % |
310.94/311.22 c | 20058 | 394949 9444685 29265988 | 2147483647 20057 53 | 0.000 % |
311.94/312.20 c | 20158 | 394949 9444685 29265988 | 2147483647 20157 53 | 0.000 % |
312.44/312.70 c | 20268 | 394949 9444685 29265988 | 2147483647 20267 53 | 0.000 % |
314.04/314.38 c | 20389 | 394949 9444685 29265988 | 2147483647 20388 53 | 0.000 % |
314.34/314.64 c | 20523 | 394949 9444685 29265988 | 2147483647 20522 53 | 0.000 % |
315.54/315.88 c | 20669 | 394949 9444685 29265988 | 2147483647 20668 53 | 0.000 % |
316.14/316.43 c | 20829 | 394949 9444685 29265988 | 2147483647 20828 53 | 0.000 % |
316.74/317.09 c | 21007 | 394949 9444685 29265988 | 2147483647 21006 53 | 0.000 % |
317.34/317.61 c | 21201 | 394949 9444685 29265988 | 2147483647 21200 53 | 0.000 % |
317.84/318.17 c | 21414 | 394949 9444685 29265988 | 2147483647 21413 53 | 0.000 % |
319.04/319.35 c | 21648 | 394949 9444685 29265988 | 2147483647 21647 53 | 0.000 % |
320.14/320.41 c | 21904 | 394949 9444685 29265988 | 2147483647 21903 53 | 0.000 % |
321.03/321.33 c | 22185 | 394949 9444685 29265988 | 2147483647 22184 53 | 0.000 % |
321.73/322.09 c | 22496 | 394949 9444685 29265988 | 2147483647 22495 53 | 0.000 % |
323.04/323.39 c | 22836 | 394949 9444685 29265988 | 2147483647 22835 53 | 0.000 % |
323.63/323.91 c | 23211 | 394949 9444685 29265988 | 2147483647 23210 53 | 0.000 % |
324.73/325.07 c | 23620 | 394949 9444685 29265988 | 2147483647 23619 53 | 0.000 % |
325.13/325.41 c | 23724 | 394949 9444685 29265988 | 2147483647 23723 53 | 0.000 % |
325.34/325.69 c | 23835 | 394949 9444685 29265988 | 2147483647 23834 53 | 0.000 % |
325.63/325.95 c | 23958 | 394949 9444685 29265988 | 2147483647 23957 53 | 0.000 % |
325.93/326.27 c | 24091 | 394949 9444685 29265988 | 2147483647 24090 52 | 0.000 % |
326.73/327.04 c | 24237 | 394949 9444685 29265988 | 2147483647 24236 53 | 0.000 % |
327.13/327.41 c | 24399 | 394949 9444685 29265988 | 2147483647 24398 53 | 0.000 % |
327.43/327.78 c | 24575 | 394949 9444685 29265988 | 2147483647 24574 53 | 0.000 % |
329.83/330.11 c | 24769 | 394949 9444685 29265988 | 2147483647 24768 53 | 0.000 % |
330.33/330.66 c | 24981 | 394949 9444685 29265988 | 2147483647 24980 53 | 0.000 % |
331.23/331.52 c | 25215 | 394949 9444685 29265988 | 2147483647 25214 53 | 0.000 % |
333.23/333.59 c | 25471 | 394949 9444685 29265988 | 2147483647 25470 53 | 0.000 % |
334.03/334.39 c | 25752 | 394949 9444685 29265988 | 2147483647 25751 53 | 0.000 % |
335.23/335.59 c | 26064 | 394948 9444677 29265972 | 2147483647 26062 53 | 0.001 % |
336.23/336.59 c | 26403 | 394948 9444677 29265972 | 2147483647 26401 53 | 0.001 % |
337.73/338.01 c | 26775 | 394948 9444677 29265972 | 2147483647 26773 53 | 0.001 % |
338.33/338.67 c | 27184 | 394948 9444677 29265972 | 2147483647 27182 53 | 0.001 % |
340.82/341.11 c | 27633 | 394948 9444677 29265972 | 2147483647 27631 53 | 0.001 % |
341.52/341.84 c | 27733 | 394948 9444677 29265972 | 2147483647 27731 53 | 0.001 % |
342.42/342.77 c | 27844 | 394948 9444677 29265972 | 2147483647 27842 53 | 0.001 % |
343.52/343.89 c | 27965 | 394948 9444677 29265972 | 2147483647 27963 53 | 0.001 % |
344.42/344.70 c | 28098 | 394948 9444677 29265972 | 2147483647 28096 53 | 0.001 % |
345.13/345.45 c | 28245 | 394948 9444677 29265972 | 2147483647 28243 53 | 0.001 % |
346.03/346.34 c | 28407 | 394948 9444677 29265972 | 2147483647 28405 53 | 0.001 % |
346.63/346.92 c | 28583 | 394948 9444677 29265972 | 2147483647 28581 54 | 0.001 % |
347.73/348.03 c | 28777 | 394948 9444677 29265972 | 2147483647 28775 54 | 0.001 % |
348.93/349.24 c | 28989 | 394948 9444677 29265972 | 2147483647 28987 54 | 0.001 % |
349.93/350.21 c | 29223 | 394948 9444677 29265972 | 2147483647 29221 54 | 0.001 % |
350.63/350.95 c | 29481 | 394948 9444677 29265972 | 2147483647 29479 54 | 0.001 % |
351.73/352.09 c | 29762 | 394948 9444677 29265972 | 2147483647 29760 55 | 0.001 % |
352.73/353.02 c | 30072 | 394948 9444677 29265972 | 2147483647 30070 55 | 0.001 % |
354.32/354.68 c | 30411 | 394948 9444677 29265972 | 2147483647 30409 55 | 0.001 % |
357.02/357.32 c | 30783 | 394948 9444677 29265972 | 2147483647 30781 55 | 0.001 % |
358.62/358.90 c | 31193 | 394948 9444677 29265972 | 2147483647 31191 56 | 0.001 % |
360.02/360.37 c | 31642 | 394948 9444677 29265972 | 2147483647 31640 56 | 0.001 % |
362.62/362.92 c | 32137 | 394948 9444677 29265972 | 2147483647 32135 56 | 0.001 % |
362.82/363.18 c | 32237 | 394948 9444677 29265972 | 2147483647 32235 56 | 0.001 % |
363.62/363.99 c | 32348 | 394948 9444677 29265972 | 2147483647 32346 56 | 0.001 % |
364.52/364.84 c | 32471 | 394948 9444677 29265972 | 2147483647 32469 56 | 0.001 % |
365.32/365.60 c | 32604 | 394948 9444677 29265972 | 2147483647 32602 56 | 0.001 % |
366.72/367.09 c | 32750 | 394948 9444677 29265972 | 2147483647 32748 56 | 0.001 % |
367.32/367.63 c | 32911 | 394948 9444677 29265972 | 2147483647 32909 56 | 0.001 % |
367.92/368.28 c | 33087 | 394948 9444677 29265972 | 2147483647 33085 56 | 0.001 % |
368.82/369.14 c | 33280 | 394948 9444677 29265972 | 2147483647 33278 56 | 0.001 % |
370.22/370.50 c | 33493 | 394948 9444677 29265972 | 2147483647 33491 56 | 0.001 % |
370.62/370.99 c | 33728 | 394948 9444677 29265972 | 2147483647 33726 56 | 0.001 % |
371.02/371.38 c | 33985 | 394948 9444677 29265972 | 2147483647 33983 56 | 0.001 % |
372.22/372.52 c | 34269 | 394948 9444677 29265972 | 2147483647 34267 56 | 0.001 % |
372.72/373.00 c | 34578 | 394948 9444677 29265972 | 2147483647 34576 56 | 0.001 % |
374.01/374.39 c | 34918 | 394948 9444677 29265972 | 2147483647 34916 57 | 0.001 % |
374.61/374.90 c | 35290 | 394948 9444677 29265972 | 2147483647 35288 56 | 0.001 % |
375.21/375.53 c | 35699 | 394948 9444677 29265972 | 2147483647 35697 56 | 0.001 % |
376.11/376.41 c | 36148 | 394948 9444677 29265972 | 2147483647 36146 56 | 0.001 % |
376.81/377.19 c | 36642 | 394948 9444677 29265972 | 2147483647 36640 56 | 0.001 % |
377.31/377.68 c | 37185 | 394948 9444677 29265972 | 2147483647 37183 56 | 0.001 % |
377.61/377.92 c | 37288 | 394948 9444677 29265972 | 2147483647 37286 56 | 0.001 % |
378.02/378.32 c | 37399 | 394948 9444677 29265972 | 2147483647 37397 56 | 0.001 % |
378.31/378.65 c | 37520 | 394948 9444677 29265972 | 2147483647 37518 56 | 0.001 % |
378.71/379.07 c | 37653 | 394948 9444677 29265972 | 2147483647 37651 56 | 0.001 % |
379.12/379.49 c | 37800 | 394948 9444677 29265972 | 2147483647 37798 56 | 0.001 % |
379.51/379.89 c | 37960 | 394948 9444677 29265972 | 2147483647 37958 56 | 0.001 % |
379.91/380.29 c | 38137 | 394948 9444677 29265972 | 2147483647 38135 56 | 0.001 % |
380.31/380.69 c | 38330 | 394948 9444677 29265972 | 2147483647 38328 56 | 0.001 % |
380.71/381.05 c | 38542 | 394948 9444677 29265972 | 2147483647 38540 56 | 0.001 % |
381.31/381.63 c | 38775 | 394948 9444677 29265972 | 2147483647 38773 55 | 0.001 % |
381.71/382.01 c | 39032 | 394948 9444677 29265972 | 2147483647 39030 55 | 0.001 % |
382.31/382.66 c | 39316 | 394948 9444677 29265972 | 2147483647 39314 55 | 0.001 % |
383.11/383.40 c | 39625 | 394948 9444677 29265972 | 2147483647 39623 55 | 0.001 % |
383.61/383.91 c | 39965 | 394948 9444677 29265972 | 2147483647 39963 55 | 0.001 % |
384.01/384.39 c | 40338 | 394948 9444677 29265972 | 2147483647 40336 55 | 0.001 % |
384.81/385.18 c | 40748 | 394948 9444677 29265972 | 2147483647 40746 55 | 0.001 % |
385.71/386.01 c | 41198 | 394948 9444677 29265972 | 2147483647 41196 55 | 0.001 % |
386.61/386.96 c | 41691 | 394948 9444677 29265972 | 2147483647 41689 54 | 0.001 % |
387.40/387.79 c | 42234 | 394948 9444677 29265972 | 2147483647 42232 54 | 0.001 % |
388.50/388.87 c | 42832 | 394948 9444677 29265972 | 2147483647 42830 54 | 0.001 % |
388.90/389.20 c | 42935 | 394948 9444677 29265972 | 2147483647 42933 54 | 0.001 % |
389.20/389.56 c | 43045 | 394948 9444677 29265972 | 2147483647 43043 54 | 0.001 % |
389.70/390.02 c | 43167 | 394948 9444677 29265972 | 2147483647 43165 54 | 0.001 % |
390.11/390.42 c | 43300 | 394948 9444677 29265972 | 2147483647 43298 54 | 0.001 % |
390.50/390.90 c | 43446 | 394948 9444677 29265972 | 2147483647 43444 54 | 0.001 % |
391.00/391.33 c | 43606 | 394948 9444677 29265972 | 2147483647 43604 54 | 0.001 % |
391.50/391.82 c | 43782 | 394948 9444677 29265972 | 2147483647 43780 53 | 0.001 % |
391.90/392.29 c | 43975 | 394948 9444677 29265972 | 2147483647 43973 53 | 0.001 % |
392.50/392.85 c | 44191 | 394948 9444677 29265972 | 2147483647 44189 53 | 0.001 % |
393.10/393.44 c | 44425 | 394948 9444677 29265972 | 2147483647 44423 53 | 0.001 % |
393.70/394.00 c | 44683 | 394948 9444677 29265972 | 2147483647 44681 53 | 0.001 % |
394.20/394.54 c | 44964 | 394948 9444677 29265972 | 2147483647 44962 53 | 0.001 % |
395.00/395.34 c | 45274 | 394948 9444677 29265972 | 2147483647 45272 53 | 0.001 % |
395.80/396.12 c | 45613 | 394948 9444677 29265972 | 2147483647 45611 53 | 0.001 % |
396.30/396.69 c | 45988 | 394948 9444677 29265972 | 2147483647 45986 52 | 0.001 % |
397.11/397.45 c | 46397 | 394948 9444677 29265972 | 2147483647 46395 52 | 0.001 % |
397.81/398.12 c | 46846 | 394948 9444677 29265972 | 2147483647 46844 52 | 0.001 % |
399.01/399.40 c | 47339 | 394948 9444677 29265972 | 2147483647 47337 52 | 0.001 % |
399.81/400.11 c | 47883 | 394948 9444677 29265972 | 2147483647 47881 51 | 0.001 % |
400.71/401.02 c | 48479 | 394948 9444677 29265972 | 2147483647 48477 51 | 0.001 % |
401.60/401.96 c | 49135 | 394948 9444677 29265972 | 2147483647 49133 51 | 0.001 % |
401.90/402.25 c | 49236 | 394948 9444677 29265972 | 2147483647 49234 51 | 0.001 % |
402.21/402.56 c | 49347 | 394948 9444677 29265972 | 2147483647 49345 51 | 0.001 % |
402.70/403.02 c | 49468 | 394948 9444677 29265972 | 2147483647 49466 51 | 0.001 % |
403.00/403.31 c | 49601 | 394948 9444677 29265972 | 2147483647 49599 51 | 0.001 % |
403.31/403.67 c | 49747 | 394948 9444677 29265972 | 2147483647 49745 50 | 0.001 % |
403.70/404.01 c | 49908 | 394948 9444677 29265972 | 2147483647 49906 50 | 0.001 % |
404.00/404.36 c | 50084 | 394948 9444677 29265972 | 2147483647 50082 50 | 0.001 % |
405.51/405.83 c | 50279 | 394948 9444677 29265972 | 2147483647 50277 50 | 0.001 % |
406.40/406.71 c | 50492 | 394948 9444677 29265972 | 2147483647 50490 50 | 0.001 % |
407.30/407.64 c | 50725 | 394948 9444677 29265972 | 2147483647 50723 50 | 0.001 % |
408.60/408.95 c | 50981 | 394948 9444677 29265972 | 2147483647 50979 51 | 0.001 % |
409.10/409.43 c | 51262 | 394948 9444677 29265972 | 2147483647 51260 51 | 0.001 % |
411.50/411.81 c | 51572 | 394948 9444677 29265972 | 2147483647 51570 51 | 0.001 % |
413.80/414.13 c | 51913 | 394948 9444677 29265972 | 2147483647 51911 51 | 0.001 % |
414.90/415.27 c | 52285 | 394948 9444677 29265972 | 2147483647 52283 51 | 0.001 % |
416.50/416.86 c | 52696 | 394948 9444677 29265972 | 2147483647 52694 51 | 0.001 % |
417.19/417.50 c | 53146 | 394948 9444677 29265972 | 2147483647 53144 52 | 0.001 % |
418.19/418.59 c | 53640 | 394948 9444677 29265972 | 2147483647 53638 52 | 0.001 % |
419.09/419.43 c | 54182 | 394948 9444677 29265972 | 2147483647 54180 52 | 0.001 % |
420.19/420.54 c | 54778 | 394948 9444677 29265972 | 2147483647 54776 52 | 0.001 % |
421.09/421.48 c | 55434 | 394948 9444677 29265972 | 2147483647 55432 52 | 0.001 % |
426.59/426.97 c | 56155 | 394948 9444677 29265972 | 2147483647 56153 53 | 0.001 % |
427.89/428.26 c | 56257 | 394948 9444677 29265972 | 2147483647 56255 53 | 0.001 % |
428.39/428.78 c | 56367 | 394948 9444677 29265972 | 2147483647 56365 53 | 0.001 % |
429.09/429.40 c | 56488 | 394948 9444677 29265972 | 2147483647 56486 53 | 0.001 % |
429.59/429.94 c | 56623 | 394948 9444677 29265972 | 2147483647 56621 53 | 0.001 % |
430.39/430.77 c | 56771 | 394948 9444677 29265972 | 2147483647 56769 53 | 0.001 % |
430.79/431.11 c | 56932 | 394948 9444677 29265972 | 2147483647 56930 53 | 0.001 % |
431.19/431.56 c | 57108 | 394948 9444677 29265972 | 2147483647 57106 53 | 0.001 % |
432.09/432.43 c | 57301 | 394948 9444677 29265972 | 2147483647 57299 53 | 0.001 % |
432.69/433.03 c | 57516 | 394948 9444677 29265972 | 2147483647 57514 53 | 0.001 % |
434.09/434.48 c | 57749 | 394948 9444677 29265972 | 2147483647 57747 53 | 0.001 % |
434.68/435.03 c | 58005 | 394948 9444677 29265972 | 2147483647 58003 53 | 0.001 % |
435.88/436.26 c | 58287 | 394948 9444677 29265972 | 2147483647 58285 53 | 0.001 % |
436.48/436.81 c | 58597 | 394948 9444677 29265972 | 2147483647 58595 53 | 0.001 % |
437.08/437.49 c | 58936 | 394948 9444677 29265972 | 2147483647 58934 54 | 0.001 % |
437.88/438.29 c | 59309 | 394948 9444677 29265972 | 2147483647 59307 54 | 0.001 % |
439.08/439.40 c | 59718 | 394948 9444677 29265972 | 2147483647 59716 54 | 0.001 % |
439.88/440.25 c | 60169 | 394948 9444677 29265972 | 2147483647 60167 54 | 0.001 % |
440.48/440.83 c | 60664 | 394948 9444677 29265972 | 2147483647 60662 53 | 0.001 % |
441.18/441.57 c | 61206 | 394948 9444677 29265972 | 2147483647 61204 53 | 0.001 % |
441.98/442.33 c | 61803 | 394948 9444677 29265972 | 2147483647 61801 53 | 0.001 % |
442.88/443.29 c | 62458 | 394948 9444677 29265972 | 2147483647 62456 53 | 0.001 % |
443.88/444.28 c | 63178 | 394948 9444677 29265972 | 2147483647 63176 52 | 0.001 % |
445.08/445.41 c | 63971 | 394948 9444677 29265972 | 2147483647 63969 52 | 0.001 % |
445.28/445.69 c | 64071 | 394948 9444677 29265972 | 2147483647 64069 52 | 0.001 % |
445.68/446.03 c | 64181 | 394948 9444677 29265972 | 2147483647 64179 52 | 0.001 % |
446.18/446.51 c | 64303 | 394948 9444677 29265972 | 2147483647 64301 52 | 0.001 % |
446.47/446.87 c | 64436 | 394948 9444677 29265972 | 2147483647 64434 52 | 0.001 % |
446.97/447.37 c | 64583 | 394948 9444677 29265972 | 2147483647 64581 52 | 0.001 % |
448.67/449.02 c | 64746 | 394948 9444677 29265972 | 2147483647 64744 52 | 0.001 % |
448.97/449.33 c | 64928 | 394948 9444677 29265972 | 2147483647 64926 52 | 0.001 % |
449.58/449.96 c | 65123 | 394948 9444677 29265972 | 2147483647 65121 52 | 0.001 % |
450.68/451.10 c | 65335 | 394948 9444677 29265972 | 2147483647 65333 52 | 0.001 % |
452.18/452.57 c | 65568 | 394948 9444677 29265972 | 2147483647 65566 52 | 0.001 % |
452.78/453.17 c | 65826 | 394948 9444677 29265972 | 2147483647 65824 52 | 0.001 % |
453.38/453.75 c | 66108 | 394948 9444677 29265972 | 2147483647 66106 52 | 0.001 % |
454.08/454.49 c | 66417 | 394948 9444677 29265972 | 2147483647 66415 52 | 0.001 % |
454.88/455.23 c | 66756 | 394948 9444677 29265972 | 2147483647 66754 52 | 0.001 % |
455.68/456.02 c | 67128 | 394948 9444677 29265972 | 2147483647 67126 51 | 0.001 % |
456.48/456.80 c | 67537 | 394948 9444677 29265972 | 2147483647 67535 51 | 0.001 % |
457.28/457.60 c | 67986 | 394948 9444677 29265972 | 2147483647 67984 51 | 0.001 % |
457.98/458.39 c | 68479 | 394948 9444677 29265972 | 2147483647 68477 51 | 0.001 % |
458.88/459.20 c | 69022 | 394948 9444677 29265972 | 2147483647 69020 51 | 0.001 % |
460.38/460.75 c | 69619 | 394948 9444677 29265972 | 2147483647 69617 52 | 0.001 % |
461.18/461.52 c | 70274 | 394948 9444677 29265972 | 2147483647 70272 52 | 0.001 % |
462.48/462.80 c | 71002 | 394948 9444677 29265972 | 2147483647 71000 52 | 0.001 % |
463.88/464.25 c | 71795 | 394948 9444677 29265972 | 2147483647 71793 54 | 0.001 % |
466.27/466.65 c | 72666 | 394948 9444677 29265972 | 2147483647 72664 54 | 0.001 % |
466.57/466.92 c | 72767 | 394948 9444677 29265972 | 2147483647 72765 54 | 0.001 % |
466.97/467.31 c | 72877 | 394948 9444677 29265972 | 2147483647 72875 54 | 0.001 % |
467.27/467.66 c | 73003 | 394948 9444677 29265972 | 2147483647 73001 54 | 0.001 % |
468.17/468.51 c | 73141 | 394948 9444677 29265972 | 2147483647 73139 54 | 0.001 % |
468.47/468.87 c | 73287 | 394948 9444677 29265972 | 2147483647 73285 54 | 0.001 % |
469.27/469.65 c | 73450 | 394948 9444677 29265972 | 2147483647 73448 54 | 0.001 % |
470.17/470.54 c | 73627 | 394948 9444677 29265972 | 2147483647 73625 54 | 0.001 % |
471.47/471.84 c | 73820 | 394948 9444677 29265972 | 2147483647 73818 54 | 0.001 % |
472.07/472.46 c | 74033 | 394948 9444677 29265972 | 2147483647 74031 54 | 0.001 % |
474.47/474.89 c | 74266 | 394948 9444677 29265972 | 2147483647 74264 54 | 0.001 % |
476.17/476.55 c | 74523 | 394948 9444677 29265972 | 2147483647 74521 54 | 0.001 % |
476.97/477.33 c | 74804 | 394948 9444677 29265972 | 2147483647 74802 54 | 0.001 % |
479.46/479.82 c | 75114 | 394948 9444677 29265972 | 2147483647 75112 54 | 0.001 % |
481.06/481.48 c | 75453 | 394948 9444677 29265972 | 2147483647 75451 54 | 0.001 % |
482.47/482.87 c | 75825 | 394948 9444677 29265972 | 2147483647 75823 55 | 0.001 % |
483.06/483.41 c | 76234 | 394948 9444677 29265972 | 2147483647 76232 55 | 0.001 % |
484.86/485.22 c | 76684 | 394948 9444677 29265972 | 2147483647 76682 55 | 0.001 % |
488.26/488.62 c | 77177 | 394948 9444677 29265972 | 2147483647 77175 55 | 0.001 % |
489.76/490.13 c | 77720 | 394948 9444677 29265972 | 2147483647 77718 55 | 0.001 % |
492.16/492.50 c | 78317 | 394948 9444677 29265972 | 2147483647 78315 55 | 0.001 % |
494.07/494.40 c | 78974 | 394948 9444677 29265972 | 2147483647 78972 55 | 0.001 % |
495.07/495.43 c | 79694 | 394948 9444677 29265972 | 2147483647 79692 56 | 0.001 % |
497.07/497.48 c | 80488 | 394948 9444677 29265972 | 2147483647 80486 56 | 0.001 % |
498.47/498.87 c | 81359 | 394948 9444677 29265972 | 2147483647 81357 56 | 0.001 % |
505.46/505.81 c | 82317 | 394948 9444677 29265972 | 2147483647 82315 56 | 0.001 % |
505.96/506.35 c | 82417 | 394948 9444677 29265972 | 2147483647 82415 56 | 0.001 % |
506.26/506.68 c | 82527 | 394948 9444677 29265972 | 2147483647 82525 56 | 0.001 % |
506.86/507.20 c | 82648 | 394948 9444677 29265972 | 2147483647 82646 56 | 0.001 % |
507.06/507.41 c | 82783 | 394948 9444677 29265972 | 2147483647 82781 56 | 0.001 % |
507.96/508.31 c | 82929 | 394948 9444677 29265972 | 2147483647 82927 56 | 0.001 % |
508.36/508.74 c | 83089 | 394948 9444677 29265972 | 2147483647 83087 56 | 0.001 % |
509.56/509.98 c | 83266 | 394948 9444677 29265972 | 2147483647 83264 56 | 0.001 % |
510.06/510.45 c | 83460 | 394948 9444677 29265972 | 2147483647 83458 56 | 0.001 % |
511.56/511.92 c | 83673 | 394948 9444677 29265972 | 2147483647 83671 56 | 0.001 % |
513.06/513.46 c | 83911 | 394948 9444677 29265972 | 2147483647 83909 56 | 0.001 % |
514.46/514.83 c | 84169 | 394948 9444677 29265972 | 2147483647 84167 56 | 0.001 % |
515.85/516.21 c | 84451 | 394948 9444677 29265972 | 2147483647 84449 56 | 0.001 % |
517.05/517.44 c | 84760 | 394948 9444677 29265972 | 2147483647 84758 56 | 0.001 % |
518.15/518.56 c | 85100 | 394948 9444677 29265972 | 2147483647 85098 56 | 0.001 % |
519.35/519.72 c | 85475 | 394948 9444677 29265972 | 2147483647 85473 56 | 0.001 % |
522.25/522.61 c | 85884 | 394948 9444677 29265972 | 2147483647 85882 56 | 0.001 % |
523.65/524.07 c | 86333 | 394948 9444677 29265972 | 2147483647 86331 56 | 0.001 % |
525.25/525.64 c | 86827 | 394948 9444677 29265972 | 2147483647 86825 56 | 0.001 % |
528.35/528.74 c | 87369 | 394948 9444677 29265972 | 2147483647 87367 56 | 0.001 % |
530.65/531.07 c | 87969 | 394948 9444677 29265972 | 2147483647 87967 56 | 0.001 % |
533.16/533.55 c | 88624 | 394948 9444677 29265972 | 2147483647 88622 57 | 0.001 % |
536.46/536.86 c | 89344 | 394948 9444677 29265972 | 2147483647 89342 57 | 0.001 % |
538.85/539.22 c | 90137 | 394948 9444677 29265972 | 2147483647 90135 58 | 0.001 % |
540.35/540.75 c | 91009 | 394948 9444677 29265972 | 2147483647 91007 60 | 0.001 % |
542.15/542.59 c | 91968 | 394948 9444677 29265972 | 2147483647 91966 60 | 0.001 % |
548.55/548.91 c | 93025 | 394948 9444677 29265972 | 2147483647 93023 60 | 0.001 % |
549.04/549.47 c | 93128 | 394948 9444677 29265972 | 2147483647 93126 60 | 0.001 % |
549.44/549.82 c | 93238 | 394948 9444677 29265972 | 2147483647 93236 60 | 0.001 % |
550.75/551.12 c | 93362 | 394948 9444677 29265972 | 2147483647 93360 60 | 0.001 % |
551.14/551.50 c | 93495 | 394948 9444677 29265972 | 2147483647 93493 60 | 0.001 % |
552.64/553.00 c | 93643 | 394948 9444677 29265972 | 2147483647 93641 60 | 0.001 % |
553.14/553.55 c | 93803 | 394948 9444677 29265972 | 2147483647 93801 60 | 0.001 % |
554.24/554.63 c | 93979 | 394948 9444677 29265972 | 2147483647 93977 60 | 0.001 % |
555.64/556.09 c | 94172 | 394948 9444677 29265972 | 2147483647 94170 60 | 0.001 % |
556.84/557.27 c | 94385 | 394948 9444677 29265972 | 2147483647 94383 60 | 0.001 % |
557.44/557.88 c | 94618 | 394948 9444677 29265972 | 2147483647 94616 60 | 0.001 % |
558.34/558.79 c | 94874 | 394948 9444677 29265972 | 2147483647 94872 60 | 0.001 % |
559.55/559.93 c | 95156 | 394948 9444677 29265972 | 2147483647 95154 60 | 0.001 % |
560.04/560.49 c | 95465 | 394948 9444677 29265972 | 2147483647 95463 60 | 0.001 % |
561.94/562.39 c | 95804 | 394948 9444677 29265972 | 2147483647 95802 60 | 0.001 % |
562.64/563.03 c | 96176 | 394948 9444677 29265972 | 2147483647 96174 60 | 0.001 % |
564.64/565.03 c | 96585 | 394948 9444677 29265972 | 2147483647 96583 60 | 0.001 % |
565.64/566.10 c | 97034 | 394948 9444677 29265972 | 2147483647 97032 60 | 0.001 % |
567.94/568.37 c | 97528 | 394948 9444677 29265972 | 2147483647 97526 60 | 0.001 % |
569.14/569.51 c | 98071 | 394948 9444677 29265972 | 2147483647 98069 60 | 0.001 % |
571.34/571.79 c | 98668 | 394948 9444677 29265972 | 2147483647 98666 60 | 0.001 % |
573.64/574.03 c | 99325 | 394948 9444677 29265972 | 2147483647 99323 60 | 0.001 % |
575.94/576.35 c | 100046 | 394948 9444677 29265972 | 2147483647 100044 61 | 0.001 % |
578.44/578.88 c | 100838 | 394948 9444677 29265972 | 2147483647 100836 61 | 0.001 % |
579.64/580.01 c | 101712 | 394948 9444677 29265972 | 2147483647 101710 60 | 0.001 % |
583.64/584.06 c | 102670 | 394948 9444677 29265972 | 2147483647 102668 61 | 0.001 % |
584.93/585.36 c | 103723 | 394948 9444677 29265972 | 2147483647 103721 61 | 0.001 % |
586.83/587.21 c | 104881 | 394948 9444677 29265972 | 2147483647 104879 61 | 0.001 % |
587.23/587.66 c | 104981 | 394948 9444677 29265972 | 2147483647 104979 61 | 0.001 % |
587.43/587.87 c | 105093 | 394948 9444677 29265972 | 2147483647 105091 61 | 0.001 % |
588.23/588.65 c | 105215 | 394948 9444677 29265972 | 2147483647 105213 61 | 0.001 % |
588.53/588.95 c | 105350 | 394948 9444677 29265972 | 2147483647 105348 61 | 0.001 % |
589.13/589.52 c | 105496 | 394948 9444677 29265972 | 2147483647 105494 61 | 0.001 % |
589.73/590.14 c | 105656 | 394948 9444677 29265972 | 2147483647 105654 61 | 0.001 % |
590.53/590.99 c | 105832 | 394948 9444677 29265972 | 2147483647 105830 61 | 0.001 % |
590.93/591.36 c | 106028 | 394948 9444677 29265972 | 2147483647 106026 61 | 0.001 % |
593.73/594.12 c | 106240 | 394948 9444677 29265972 | 2147483647 106238 61 | 0.001 % |
594.22/594.63 c | 106473 | 394948 9444677 29265972 | 2147483647 106471 61 | 0.001 % |
595.12/595.56 c | 106730 | 394948 9444677 29265972 | 2147483647 106728 61 | 0.001 % |
596.72/597.13 c | 107012 | 394948 9444677 29265972 | 2147483647 107010 61 | 0.001 % |
599.32/599.76 c | 107321 | 394948 9444677 29265972 | 2147483647 107319 61 | 0.001 % |
600.42/600.85 c | 107660 | 394948 9444677 29265972 | 2147483647 107658 61 | 0.001 % |
601.02/601.48 c | 108032 | 394948 9444677 29265972 | 2147483647 108030 61 | 0.001 % |
602.22/602.60 c | 108441 | 394948 9444677 29265972 | 2147483647 108439 62 | 0.001 % |
603.32/603.78 c | 108892 | 394948 9444677 29265972 | 2147483647 108890 62 | 0.001 % |
604.32/604.74 c | 109386 | 394948 9444677 29265972 | 2147483647 109384 62 | 0.001 % |
605.02/605.43 c | 109928 | 394948 9444677 29265972 | 2147483647 109926 61 | 0.001 % |
606.42/606.81 c | 110524 | 394948 9444677 29265972 | 2147483647 110522 62 | 0.001 % |
607.92/608.33 c | 111179 | 394948 9444677 29265972 | 2147483647 111177 62 | 0.001 % |
611.23/611.63 c | 111901 | 394947 9444640 29265898 | 2147483647 111898 62 | 0.001 % |
614.32/614.70 c | 112693 | 394947 9444640 29265898 | 2147483647 112690 62 | 0.001 % |
618.62/619.05 c | 113564 | 394947 9444640 29265898 | 2147483647 113561 63 | 0.001 % |
622.22/622.62 c | 114522 | 394947 9444640 29265898 | 2147483647 114519 63 | 0.001 % |
626.91/627.34 c | 115575 | 394947 9444640 29265898 | 2147483647 115572 63 | 0.001 % |
633.51/633.91 c | 116734 | 394947 9444640 29265898 | 2147483647 116731 63 | 0.001 % |
638.31/638.70 c | 118007 | 394947 9444640 29265898 | 2147483647 118004 63 | 0.001 % |
638.62/639.09 c | 118107 | 394947 9444640 29265898 | 2147483647 118104 63 | 0.001 % |
639.61/640.07 c | 118218 | 394947 9444640 29265898 | 2147483647 118215 63 | 0.001 % |
640.71/641.13 c | 118341 | 394947 9444640 29265898 | 2147483647 118338 63 | 0.001 % |
641.51/641.93 c | 118475 | 394947 9444640 29265898 | 2147483647 118472 63 | 0.001 % |
642.01/642.40 c | 118622 | 394947 9444640 29265898 | 2147483647 118619 63 | 0.001 % |
642.61/643.03 c | 118786 | 394947 9444640 29265898 | 2147483647 118783 63 | 0.001 % |
644.11/644.58 c | 118962 | 394947 9444640 29265898 | 2147483647 118959 63 | 0.001 % |
645.81/646.22 c | 119155 | 394947 9444640 29265898 | 2147483647 119152 63 | 0.001 % |
646.11/646.59 c | 119367 | 394947 9444640 29265898 | 2147483647 119364 63 | 0.001 % |
646.91/647.39 c | 119601 | 394947 9444640 29265898 | 2147483647 119598 63 | 0.001 % |
648.31/648.71 c | 119858 | 394947 9444640 29265898 | 2147483647 119855 63 | 0.001 % |
649.11/649.50 c | 120140 | 394947 9444640 29265898 | 2147483647 120137 63 | 0.001 % |
649.71/650.20 c | 120449 | 394947 9444640 29265898 | 2147483647 120446 63 | 0.001 % |
651.10/651.50 c | 120790 | 394947 9444640 29265898 | 2147483647 120787 63 | 0.001 % |
651.81/652.24 c | 121162 | 394947 9444640 29265898 | 2147483647 121159 63 | 0.001 % |
653.90/654.30 c | 121571 | 394947 9444640 29265898 | 2147483647 121568 63 | 0.001 % |
655.60/656.04 c | 122023 | 394947 9444640 29265898 | 2147483647 122020 63 | 0.001 % |
657.90/658.31 c | 122516 | 394947 9444640 29265898 | 2147483647 122513 63 | 0.001 % |
659.80/660.28 c | 123058 | 394947 9444640 29265898 | 2147483647 123055 63 | 0.001 % |
663.00/663.46 c | 123655 | 394947 9444640 29265898 | 2147483647 123652 63 | 0.001 % |
665.10/665.56 c | 124313 | 394947 9444640 29265898 | 2147483647 124310 63 | 0.001 % |
666.20/666.66 c | 125035 | 394947 9444640 29265898 | 2147483647 125032 63 | 0.001 % |
668.40/668.89 c | 125828 | 394947 9444640 29265898 | 2147483647 125825 64 | 0.001 % |
671.99/672.41 c | 126699 | 394947 9444640 29265898 | 2147483647 126696 64 | 0.001 % |
674.09/674.51 c | 127657 | 394947 9444640 29265898 | 2147483647 127654 64 | 0.001 % |
676.70/677.13 c | 128711 | 394947 9444640 29265898 | 2147483647 128708 64 | 0.001 % |
679.30/679.78 c | 129870 | 394947 9444640 29265898 | 2147483647 129867 65 | 0.001 % |
682.40/682.84 c | 131143 | 394947 9444640 29265898 | 2147483647 131140 65 | 0.001 % |
684.99/685.49 c | 132543 | 394947 9444640 29265898 | 2147483647 132540 65 | 0.001 % |
685.59/686.05 c | 132644 | 394947 9444640 29265898 | 2147483647 132641 65 | 0.001 % |
686.09/686.56 c | 132757 | 394947 9444640 29265898 | 2147483647 132754 65 | 0.001 % |
686.49/686.91 c | 132879 | 394947 9444640 29265898 | 2147483647 132876 65 | 0.001 % |
687.10/687.53 c | 133015 | 394947 9444640 29265898 | 2147483647 133012 65 | 0.001 % |
687.59/688.09 c | 133162 | 394947 9444640 29265898 | 2147483647 133159 65 | 0.001 % |
689.09/689.50 c | 133324 | 394947 9444640 29265898 | 2147483647 133321 65 | 0.001 % |
689.79/690.27 c | 133500 | 394947 9444640 29265898 | 2147483647 133497 65 | 0.001 % |
690.89/691.35 c | 133693 | 394947 9444640 29265898 | 2147483647 133690 65 | 0.001 % |
691.59/692.08 c | 133905 | 394947 9444640 29265898 | 2147483647 133902 65 | 0.001 % |
692.19/692.66 c | 134138 | 394947 9444640 29265898 | 2147483647 134135 65 | 0.001 % |
692.79/693.23 c | 134395 | 394947 9444640 29265898 | 2147483647 134392 65 | 0.001 % |
693.29/693.74 c | 134677 | 394947 9444640 29265898 | 2147483647 134674 65 | 0.001 % |
694.08/694.50 c | 134987 | 394947 9444640 29265898 | 2147483647 134984 65 | 0.001 % |
694.38/694.87 c | 135328 | 394947 9444640 29265898 | 2147483647 135325 65 | 0.001 % |
695.19/695.67 c | 135700 | 394947 9444640 29265898 | 2147483647 135697 65 | 0.001 % |
695.99/696.47 c | 136110 | 394947 9444640 29265898 | 2147483647 136107 66 | 0.001 % |
696.89/697.35 c | 136560 | 394947 9444640 29265898 | 2147483647 136557 65 | 0.001 % |
698.69/699.15 c | 137054 | 394947 9444640 29265898 | 2147483647 137051 66 | 0.001 % |
701.99/702.49 c | 137597 | 394947 9444640 29265898 | 2147483647 137594 66 | 0.001 % |
703.49/703.99 c | 138193 | 394947 9444640 29265898 | 2147483647 138190 66 | 0.001 % |
706.39/706.80 c | 138851 | 394947 9444640 29265898 | 2147483647 138848 66 | 0.001 % |
708.69/709.18 c | 139572 | 394947 9444640 29265898 | 2147483647 139569 66 | 0.001 % |
712.18/712.60 c | 140364 | 394947 9444640 29265898 | 2147483647 140361 66 | 0.001 % |
714.48/714.95 c | 141235 | 394947 9444640 29265898 | 2147483647 141232 67 | 0.001 % |
716.48/716.92 c | 142194 | 394947 9444640 29265898 | 2147483647 142191 67 | 0.001 % |
718.98/719.49 c | 143247 | 394947 9444640 29265898 | 2147483647 143244 68 | 0.001 % |
722.19/722.60 c | 144406 | 394947 9444640 29265898 | 2147483647 144403 68 | 0.001 % |
725.08/725.52 c | 145680 | 394947 9444640 29265898 | 2147483647 145677 69 | 0.001 % |
729.18/729.66 c | 147081 | 394947 9444640 29265898 | 2147483647 147078 69 | 0.001 % |
732.37/732.88 c | 148621 | 394947 9444640 29265898 | 2147483647 148618 69 | 0.001 % |
733.57/734.01 c | 148721 | 394947 9444640 29265898 | 2147483647 148718 69 | 0.001 % |
734.17/734.68 c | 148831 | 394947 9444640 29265898 | 2147483647 148828 69 | 0.001 % |
734.57/735.02 c | 148954 | 394947 9444640 29265898 | 2147483647 148951 69 | 0.001 % |
735.67/736.11 c | 149091 | 394946 9444632 29265882 | 2147483647 149087 69 | 0.001 % |
736.87/737.34 c | 149237 | 394946 9444632 29265882 | 2147483647 149233 69 | 0.001 % |
737.47/737.95 c | 149398 | 394946 9444632 29265882 | 2147483647 149394 69 | 0.001 % |
738.27/738.77 c | 149574 | 394946 9444632 29265882 | 2147483647 149570 69 | 0.001 % |
739.07/739.54 c | 149768 | 394946 9444632 29265882 | 2147483647 149764 69 | 0.001 % |
739.47/739.97 c | 149981 | 394946 9444632 29265882 | 2147483647 149977 69 | 0.001 % |
740.68/741.14 c | 150217 | 394946 9444632 29265882 | 2147483647 150213 69 | 0.001 % |
741.87/742.32 c | 150475 | 394946 9444632 29265882 | 2147483647 150471 69 | 0.001 % |
742.57/743.01 c | 150756 | 394946 9444632 29265882 | 2147483647 150752 70 | 0.001 % |
744.47/744.91 c | 151067 | 394946 9444632 29265882 | 2147483647 151063 70 | 0.001 % |
745.47/745.95 c | 151407 | 394946 9444632 29265882 | 2147483647 151403 70 | 0.001 % |
748.57/749.09 c | 151779 | 394946 9444632 29265882 | 2147483647 151775 70 | 0.001 % |
750.77/751.26 c | 152188 | 394946 9444632 29265882 | 2147483647 152184 70 | 0.001 % |
753.57/754.02 c | 152641 | 394946 9444632 29265882 | 2147483647 152637 70 | 0.001 % |
755.07/755.51 c | 153136 | 394946 9444632 29265882 | 2147483647 153132 70 | 0.001 % |
756.37/756.88 c | 153678 | 394946 9444632 29265882 | 2147483647 153674 70 | 0.001 % |
758.16/758.65 c | 154274 | 394946 9444632 29265882 | 2147483647 154270 70 | 0.001 % |
761.26/761.78 c | 154929 | 394946 9444632 29265882 | 2147483647 154925 70 | 0.001 % |
763.26/763.75 c | 155649 | 394946 9444632 29265882 | 2147483647 155645 70 | 0.001 % |
768.66/769.12 c | 156442 | 394946 9444632 29265882 | 2147483647 156438 71 | 0.001 % |
770.57/771.09 c | 157315 | 394946 9444632 29265882 | 2147483647 157311 72 | 0.001 % |
773.46/773.91 c | 158273 | 394946 9444632 29265882 | 2147483647 158269 73 | 0.001 % |
776.46/777.00 c | 159326 | 394946 9444632 29265882 | 2147483647 159322 73 | 0.001 % |
781.66/782.17 c | 160484 | 394946 9444632 29265882 | 2147483647 160480 73 | 0.001 % |
785.36/785.88 c | 161758 | 394946 9444632 29265882 | 2147483647 161754 73 | 0.001 % |
788.16/788.60 c | 163159 | 394946 9444632 29265882 | 2147483647 163155 73 | 0.001 % |
791.75/792.21 c | 164700 | 394946 9444632 29265882 | 2147483647 164696 73 | 0.001 % |
796.25/796.74 c | 166396 | 394946 9444632 29265882 | 2147483647 166392 73 | 0.001 % |
796.65/797.14 c | 166500 | 394946 9444632 29265882 | 2147483647 166496 73 | 0.001 % |
797.45/797.99 c | 166610 | 394946 9444632 29265882 | 2147483647 166606 73 | 0.001 % |
798.25/798.77 c | 166731 | 394946 9444632 29265882 | 2147483647 166727 73 | 0.001 % |
798.75/799.22 c | 166864 | 394946 9444632 29265882 | 2147483647 166860 73 | 0.001 % |
799.35/799.83 c | 167010 | 394946 9444632 29265882 | 2147483647 167006 73 | 0.001 % |
800.16/800.63 c | 167171 | 394946 9444632 29265882 | 2147483647 167167 73 | 0.001 % |
800.66/801.18 c | 167347 | 394946 9444632 29265882 | 2147483647 167343 73 | 0.001 % |
801.56/802.06 c | 167540 | 394946 9444632 29265882 | 2147483647 167536 73 | 0.001 % |
803.75/804.29 c | 167752 | 394946 9444632 29265882 | 2147483647 167748 73 | 0.001 % |
804.05/804.59 c | 167986 | 394946 9444632 29265882 | 2147483647 167982 73 | 0.001 % |
805.25/805.74 c | 168244 | 394946 9444632 29265882 | 2147483647 168240 73 | 0.001 % |
805.86/806.39 c | 168526 | 394946 9444632 29265882 | 2147483647 168522 73 | 0.001 % |
806.75/807.23 c | 168835 | 394946 9444632 29265882 | 2147483647 168831 73 | 0.001 % |
808.45/808.93 c | 169174 | 394946 9444632 29265882 | 2147483647 169170 73 | 0.001 % |
809.65/810.18 c | 169546 | 394946 9444632 29265882 | 2147483647 169542 73 | 0.001 % |
812.45/812.94 c | 169955 | 394946 9444632 29265882 | 2147483647 169951 73 | 0.001 % |
813.55/814.02 c | 170405 | 394946 9444632 29265882 | 2147483647 170401 74 | 0.001 % |
815.65/816.11 c | 170898 | 394946 9444632 29265882 | 2147483647 170894 74 | 0.001 % |
816.95/817.46 c | 171440 | 394946 9444632 29265882 | 2147483647 171436 74 | 0.001 % |
818.55/819.09 c | 172037 | 394946 9444632 29265882 | 2147483647 172033 74 | 0.001 % |
820.55/821.05 c | 172692 | 394946 9444632 29265882 | 2147483647 172688 74 | 0.001 % |
822.35/822.83 c | 173414 | 394946 9444632 29265882 | 2147483647 173410 74 | 0.001 % |
823.35/823.82 c | 174207 | 394946 9444632 29265882 | 2147483647 174203 74 | 0.001 % |
826.25/826.73 c | 175078 | 394946 9444632 29265882 | 2147483647 175074 74 | 0.001 % |
829.14/829.63 c | 176036 | 394946 9444632 29265882 | 2147483647 176032 74 | 0.001 % |
831.44/831.91 c | 177089 | 394946 9444632 29265882 | 2147483647 177085 74 | 0.001 % |
833.14/833.69 c | 178248 | 394946 9444632 29265882 | 2147483647 178244 74 | 0.001 % |
835.54/836.07 c | 179528 | 394946 9444632 29265882 | 2147483647 179524 74 | 0.001 % |
839.53/840.00 c | 180930 | 394946 9444632 29265882 | 2147483647 180926 76 | 0.001 % |
841.33/841.87 c | 182470 | 394946 9444632 29265882 | 2147483647 182466 76 | 0.001 % |
845.83/846.39 c | 184164 | 394946 9444632 29265882 | 2147483647 184160 76 | 0.001 % |
849.44/849.96 c | 186030 | 394946 9444632 29265882 | 2147483647 186026 76 | 0.001 % |
850.34/850.86 c | 186130 | 394946 9444632 29265882 | 2147483647 186126 76 | 0.001 % |
851.14/851.63 c | 186240 | 394946 9444632 29265882 | 2147483647 186236 76 | 0.001 % |
851.54/852.02 c | 186361 | 394946 9444632 29265882 | 2147483647 186357 76 | 0.001 % |
852.34/852.88 c | 186494 | 394946 9444632 29265882 | 2147483647 186490 76 | 0.001 % |
852.74/853.29 c | 186641 | 394946 9444632 29265882 | 2147483647 186637 76 | 0.001 % |
853.24/853.78 c | 186801 | 394946 9444632 29265882 | 2147483647 186797 76 | 0.001 % |
853.84/854.38 c | 186977 | 394946 9444632 29265882 | 2147483647 186973 76 | 0.001 % |
854.93/855.43 c | 187170 | 394946 9444632 29265882 | 2147483647 187166 76 | 0.001 % |
856.03/856.55 c | 187382 | 394946 9444632 29265882 | 2147483647 187378 76 | 0.001 % |
856.63/857.10 c | 187616 | 394946 9444632 29265882 | 2147483647 187612 76 | 0.001 % |
857.73/858.25 c | 187873 | 394946 9444632 29265882 | 2147483647 187869 76 | 0.001 % |
858.64/859.17 c | 188155 | 394946 9444632 29265882 | 2147483647 188151 76 | 0.001 % |
859.23/859.78 c | 188465 | 394946 9444632 29265882 | 2147483647 188461 76 | 0.001 % |
860.33/860.85 c | 188807 | 394946 9444632 29265882 | 2147483647 188803 76 | 0.001 % |
861.23/861.76 c | 189179 | 394946 9444632 29265882 | 2147483647 189175 76 | 0.001 % |
862.03/862.53 c | 189588 | 394946 9444632 29265882 | 2147483647 189584 76 | 0.001 % |
863.73/864.20 c | 190037 | 394946 9444632 29265882 | 2147483647 190033 76 | 0.001 % |
865.83/866.32 c | 190531 | 394946 9444632 29265882 | 2147483647 190527 76 | 0.001 % |
868.02/868.52 c | 191074 | 394946 9444632 29265882 | 2147483647 191070 77 | 0.001 % |
869.42/869.99 c | 191670 | 394946 9444632 29265882 | 2147483647 191666 77 | 0.001 % |
872.52/873.07 c | 192326 | 394946 9444632 29265882 | 2147483647 192322 77 | 0.001 % |
873.62/874.13 c | 193046 | 394946 9444632 29265882 | 2147483647 193042 77 | 0.001 % |
876.63/877.16 c | 193840 | 394946 9444632 29265882 | 2147483647 193836 77 | 0.001 % |
877.93/878.47 c | 194712 | 394946 9444632 29265882 | 2147483647 194708 77 | 0.001 % |
880.63/881.18 c | 195670 | 394946 9444632 29265882 | 2147483647 195666 78 | 0.001 % |
885.52/886.04 c | 196723 | 394943 9444624 29265866 | 2147483647 196716 78 | 0.002 % |
890.42/890.99 c | 197881 | 394943 9444624 29265866 | 2147483647 197874 78 | 0.002 % |
893.02/893.51 c | 199155 | 394943 9444624 29265866 | 2147483647 199148 77 | 0.002 % |
895.92/896.44 c | 200555 | 394943 9444624 29265866 | 2147483647 200548 77 | 0.002 % |
899.92/900.43 c | 202095 | 394943 9444624 29265866 | 2147483647 202088 78 | 0.002 % |
904.83/905.36 c | 203795 | 394943 9444624 29265866 | 2147483647 203788 79 | 0.002 % |
907.42/907.91 c | 205660 | 394943 9444624 29265866 | 2147483647 205653 78 | 0.002 % |
914.81/915.39 c | 207711 | 394943 9444624 29265866 | 2147483647 207704 79 | 0.002 % |
915.41/915.92 c | 207811 | 394943 9444624 29265866 | 2147483647 207804 79 | 0.002 % |
916.01/916.50 c | 207921 | 394943 9444624 29265866 | 2147483647 207914 79 | 0.002 % |
916.31/916.84 c | 208042 | 394943 9444624 29265866 | 2147483647 208035 79 | 0.002 % |
917.31/917.84 c | 208175 | 394943 9444624 29265866 | 2147483647 208168 79 | 0.002 % |
918.31/918.88 c | 208327 | 394943 9444624 29265866 | 2147483647 208320 79 | 0.002 % |
918.81/919.36 c | 208487 | 394943 9444624 29265866 | 2147483647 208480 79 | 0.002 % |
920.61/921.18 c | 208665 | 394943 9444624 29265866 | 2147483647 208658 79 | 0.002 % |
921.71/922.25 c | 208861 | 394943 9444624 29265866 | 2147483647 208854 79 | 0.002 % |
923.11/923.67 c | 209076 | 394943 9444624 29265866 | 2147483647 209069 79 | 0.002 % |
924.51/925.01 c | 209310 | 394943 9444624 29265866 | 2147483647 209303 79 | 0.002 % |
926.61/927.12 c | 209566 | 394943 9444624 29265866 | 2147483647 209559 79 | 0.002 % |
928.11/928.66 c | 209847 | 394943 9444608 29265834 | 2147483647 209840 79 | 0.002 % |
930.81/931.30 c | 210156 | 394943 9444608 29265834 | 2147483647 210149 79 | 0.002 % |
934.11/934.61 c | 210495 | 394943 9444608 29265834 | 2147483647 210488 79 | 0.002 % |
935.31/935.86 c | 210868 | 394943 9444608 29265834 | 2147483647 210861 79 | 0.002 % |
936.11/936.69 c | 211278 | 394943 9444608 29265834 | 2147483647 211271 79 | 0.002 % |
939.91/940.47 c | 211727 | 394943 9444608 29265834 | 2147483647 211720 79 | 0.002 % |
941.50/942.09 c | 212220 | 394943 9444608 29265834 | 2147483647 212213 79 | 0.002 % |
943.50/944.09 c | 212762 | 394943 9444608 29265834 | 2147483647 212755 79 | 0.002 % |
945.90/946.47 c | 213358 | 394943 9444608 29265834 | 2147483647 213351 79 | 0.002 % |
949.30/949.84 c | 214015 | 394943 9444608 29265834 | 2147483647 214008 79 | 0.002 % |
952.50/953.04 c | 214738 | 394943 9444608 29265834 | 2147483647 214731 79 | 0.002 % |
954.70/955.27 c | 215531 | 394943 9444608 29265834 | 2147483647 215524 79 | 0.002 % |
956.40/956.98 c | 216407 | 394943 9444608 29265834 | 2147483647 216400 79 | 0.002 % |
960.80/961.30 c | 217366 | 394943 9444608 29265834 | 2147483647 217359 79 | 0.002 % |
962.70/963.26 c | 218419 | 394943 9444608 29265834 | 2147483647 218412 79 | 0.002 % |
966.39/966.96 c | 219577 | 394943 9444608 29265834 | 2147483647 219570 79 | 0.002 % |
968.90/969.42 c | 220850 | 394943 9444608 29265834 | 2147483647 220843 79 | 0.002 % |
973.80/974.36 c | 222250 | 394943 9444608 29265834 | 2147483647 222243 80 | 0.002 % |
976.29/976.86 c | 223790 | 394943 9444608 29265834 | 2147483647 223783 81 | 0.002 % |
980.39/980.94 c | 225484 | 394943 9444608 29265834 | 2147483647 225477 81 | 0.002 % |
984.90/985.44 c | 227349 | 394943 9444608 29265834 | 2147483647 227342 81 | 0.002 % |
987.39/987.99 c | 229400 | 394943 9444608 29265834 | 2147483647 229393 81 | 0.002 % |
992.69/993.22 c | 231653 | 394943 9444608 29265834 | 2147483647 231646 81 | 0.002 % |
992.99/993.53 c | 231755 | 394943 9444608 29265834 | 2147483647 231748 81 | 0.002 % |
993.29/993.86 c | 231865 | 394943 9444608 29265834 | 2147483647 231858 81 | 0.002 % |
994.18/994.79 c | 231987 | 394943 9444608 29265834 | 2147483647 231980 81 | 0.002 % |
994.99/995.53 c | 232120 | 394943 9444608 29265834 | 2147483647 232113 81 | 0.002 % |
996.18/996.79 c | 232266 | 394943 9444608 29265834 | 2147483647 232259 81 | 0.002 % |
996.78/997.31 c | 232427 | 394943 9444608 29265834 | 2147483647 232420 81 | 0.002 % |
997.48/998.08 c | 232604 | 394943 9444608 29265834 | 2147483647 232597 81 | 0.002 % |
999.39/999.99 c | 232797 | 394943 9444608 29265834 | 2147483647 232790 81 | 0.002 % |
1000.39/1000.91 c | 233010 | 394943 9444608 29265834 | 2147483647 233003 81 | 0.002 % |
1001.88/1002.41 c | 233244 | 394943 9444608 29265834 | 2147483647 233237 81 | 0.002 % |
1002.88/1003.40 c | 233500 | 394943 9444608 29265834 | 2147483647 233493 81 | 0.002 % |
1004.08/1004.62 c | 233781 | 394943 9444608 29265834 | 2147483647 233774 81 | 0.002 % |
1005.18/1005.79 c | 234090 | 394943 9444608 29265834 | 2147483647 234083 81 | 0.002 % |
1006.48/1007.10 c | 234429 | 394943 9444608 29265834 | 2147483647 234422 81 | 0.002 % |
1008.38/1008.94 c | 234801 | 394943 9444608 29265834 | 2147483647 234794 81 | 0.002 % |
1010.58/1011.13 c | 235210 | 394943 9444608 29265834 | 2147483647 235203 82 | 0.002 % |
1012.48/1013.05 c | 235661 | 394943 9444608 29265834 | 2147483647 235654 82 | 0.002 % |
1013.98/1014.59 c | 236154 | 394943 9444608 29265834 | 2147483647 236147 82 | 0.002 % |
1015.08/1015.60 c | 236696 | 394943 9444608 29265834 | 2147483647 236689 82 | 0.002 % |
1016.18/1016.76 c | 237292 | 394943 9444608 29265834 | 2147483647 237285 83 | 0.002 % |
1017.28/1017.87 c | 237950 | 394943 9444608 29265834 | 2147483647 237943 83 | 0.002 % |
1019.78/1020.39 c | 238670 | 394943 9444608 29265834 | 2147483647 238663 83 | 0.002 % |
1020.88/1021.47 c | 239462 | 394943 9444608 29265834 | 2147483647 239455 83 | 0.002 % |
1022.38/1022.93 c | 240333 | 394943 9444608 29265834 | 2147483647 240326 83 | 0.002 % |
1027.67/1028.27 c | 241292 | 394943 9444608 29265834 | 2147483647 241285 83 | 0.002 % |
1031.38/1031.90 c | 242346 | 394943 9444608 29265834 | 2147483647 242339 83 | 0.002 % |
1032.98/1033.58 c | 243504 | 394943 9444608 29265834 | 2147483647 243497 84 | 0.002 % |
1036.68/1037.22 c | 244778 | 394943 9444608 29265834 | 2147483647 244771 84 | 0.002 % |
1039.57/1040.18 c | 246180 | 394943 9444608 29265834 | 2147483647 246173 84 | 0.002 % |
1045.67/1046.21 c | 247722 | 394943 9444608 29265834 | 2147483647 247715 85 | 0.002 % |
1048.38/1048.99 c | 249417 | 394943 9444608 29265834 | 2147483647 249410 85 | 0.002 % |
1054.27/1054.85 c | 251280 | 394943 9444608 29265834 | 2147483647 251273 85 | 0.002 % |
1062.46/1063.02 c | 253329 | 394943 9444608 29265834 | 2147483647 253322 85 | 0.002 % |
1069.67/1070.22 c | 255582 | 394943 9444608 29265834 | 2147483647 255575 86 | 0.002 % |
1077.46/1078.05 c | 258061 | 394943 9444608 29265834 | 2147483647 258054 86 | 0.002 % |
1078.16/1078.78 c | 258161 | 394943 9444608 29265834 | 2147483647 258154 86 | 0.002 % |
1078.76/1079.32 c | 258271 | 394943 9444608 29265834 | 2147483647 258264 86 | 0.002 % |
1079.36/1079.92 c | 258392 | 394943 9444608 29265834 | 2147483647 258385 86 | 0.002 % |
1079.66/1080.29 c | 258525 | 394943 9444608 29265834 | 2147483647 258518 86 | 0.002 % |
1080.36/1080.93 c | 258674 | 394943 9444608 29265834 | 2147483647 258667 86 | 0.002 % |
1081.06/1081.62 c | 258834 | 394943 9444608 29265834 | 2147483647 258827 86 | 0.002 % |
1081.76/1082.35 c | 259010 | 394943 9444608 29265834 | 2147483647 259003 86 | 0.002 % |
1082.45/1083.09 c | 259204 | 394943 9444608 29265834 | 2147483647 259197 86 | 0.002 % |
1083.75/1084.31 c | 259416 | 394943 9444608 29265834 | 2147483647 259409 86 | 0.002 % |
1085.07/1085.69 c | 259650 | 394943 9444608 29265834 | 2147483647 259643 86 | 0.002 % |
1086.46/1087.04 c | 259910 | 394943 9444608 29265834 | 2147483647 259903 86 | 0.002 % |
1087.96/1088.58 c | 260191 | 394943 9444608 29265834 | 2147483647 260184 86 | 0.002 % |
1090.36/1090.91 c | 260500 | 394943 9444608 29265834 | 2147483647 260493 86 | 0.002 % |
1091.36/1091.99 c | 260839 | 394943 9444608 29265834 | 2147483647 260832 86 | 0.002 % |
1093.46/1094.03 c | 261211 | 394943 9444608 29265834 | 2147483647 261204 86 | 0.002 % |
1095.76/1096.31 c | 261620 | 394943 9444608 29265834 | 2147483647 261613 86 | 0.002 % |
1097.16/1097.73 c | 262074 | 394943 9444608 29265834 | 2147483647 262067 86 | 0.002 % |
1099.56/1100.10 c | 262570 | 394943 9444608 29265834 | 2147483647 262563 86 | 0.002 % |
1102.26/1102.89 c | 263114 | 394943 9444608 29265834 | 2147483647 263107 86 | 0.002 % |
1105.55/1106.19 c | 263710 | 394943 9444608 29265834 | 2147483647 263703 87 | 0.002 % |
1107.85/1108.41 c | 264369 | 394943 9444608 29265834 | 2147483647 264362 87 | 0.002 % |
1110.65/1111.22 c | 265089 | 394943 9444608 29265834 | 2147483647 265082 87 | 0.002 % |
1113.85/1114.42 c | 265881 | 394943 9444608 29265834 | 2147483647 265874 87 | 0.002 % |
1116.54/1117.13 c | 266752 | 394943 9444608 29265834 | 2147483647 266745 87 | 0.002 % |
1118.15/1118.75 c | 267710 | 394943 9444608 29265834 | 2147483647 267703 87 | 0.002 % |
1119.55/1120.14 c | 268763 | 394943 9444608 29265834 | 2147483647 268756 88 | 0.002 % |
1125.05/1125.67 c | 269924 | 394943 9444608 29265834 | 2147483647 269917 88 | 0.002 % |
1129.05/1129.67 c | 271201 | 394943 9444608 29265834 | 2147483647 271194 89 | 0.002 % |
1132.84/1133.42 c | 272603 | 394943 9444608 29265834 | 2147483647 272596 89 | 0.002 % |
1138.64/1139.28 c | 274143 | 394943 9444608 29265834 | 2147483647 274136 89 | 0.002 % |
1143.54/1144.19 c | 275837 | 394943 9444608 29265834 | 2147483647 275830 90 | 0.002 % |
1148.24/1148.89 c | 277700 | 394943 9444608 29265834 | 2147483647 277693 91 | 0.002 % |
1152.14/1152.75 c | 279752 | 394943 9444608 29265834 | 2147483647 279745 91 | 0.002 % |
1157.74/1158.32 c | 282006 | 394943 9444608 29265834 | 2147483647 281999 91 | 0.002 % |
1163.83/1164.49 c | 284484 | 394943 9444608 29265834 | 2147483647 284477 92 | 0.002 % |
1172.03/1172.69 c | 287209 | 394943 9444608 29265834 | 2147483647 287202 92 | 0.002 % |
1172.93/1173.55 c | 287309 | 394943 9444608 29265834 | 2147483647 287302 92 | 0.002 % |
1173.33/1173.94 c | 287419 | 394943 9444608 29265834 | 2147483647 287412 92 | 0.002 % |
1174.03/1174.68 c | 287541 | 394943 9444608 29265834 | 2147483647 287534 92 | 0.002 % |
1175.13/1175.72 c | 287674 | 394943 9444608 29265834 | 2147483647 287667 92 | 0.002 % |
1175.63/1176.20 c | 287820 | 394943 9444608 29265834 | 2147483647 287813 92 | 0.002 % |
1176.23/1176.88 c | 287980 | 394943 9444608 29265834 | 2147483647 287973 92 | 0.002 % |
1177.12/1177.72 c | 288157 | 394943 9444608 29265834 | 2147483647 288150 92 | 0.002 % |
1177.72/1178.36 c | 288351 | 394943 9444608 29265834 | 2147483647 288344 92 | 0.002 % |
1178.43/1179.01 c | 288563 | 394943 9444608 29265834 | 2147483647 288556 92 | 0.002 % |
1179.63/1180.26 c | 288798 | 394943 9444608 29265834 | 2147483647 288791 92 | 0.002 % |
1180.32/1180.96 c | 289055 | 394943 9444608 29265834 | 2147483647 289048 92 | 0.002 % |
1181.93/1182.58 c | 289338 | 394943 9444608 29265834 | 2147483647 289331 92 | 0.002 % |
1182.42/1183.06 c | 289648 | 394943 9444608 29265834 | 2147483647 289641 92 | 0.002 % |
1183.12/1183.79 c | 289987 | 394943 9444608 29265834 | 2147483647 289980 92 | 0.002 % |
1186.32/1186.90 c | 290359 | 394943 9444608 29265834 | 2147483647 290352 92 | 0.002 % |
1188.32/1188.96 c | 290768 | 394943 9444608 29265834 | 2147483647 290761 92 | 0.002 % |
1190.12/1190.78 c | 291217 | 394943 9444608 29265834 | 2147483647 291210 93 | 0.002 % |
1191.22/1191.86 c | 291710 | 394943 9444608 29265834 | 2147483647 291703 93 | 0.002 % |
1193.22/1193.81 c | 292252 | 394943 9444608 29265834 | 2147483647 292245 93 | 0.002 % |
1196.52/1197.16 c | 292848 | 394942 9444588 29265794 | 2147483647 292840 93 | 0.002 % |
1197.52/1198.19 c | 293504 | 394942 9444588 29265794 | 2147483647 293496 93 | 0.002 % |
1201.92/1202.56 c | 294226 | 394942 9444588 29265794 | 2147483647 294218 93 | 0.002 % |
1204.62/1205.27 c | 295018 | 394942 9444588 29265794 | 2147483647 295010 93 | 0.002 % |
1211.82/1212.43 c | 295889 | 394942 9444588 29265794 | 2147483647 295881 93 | 0.002 % |
1215.21/1215.88 c | 296847 | 394942 9444588 29265794 | 2147483647 296839 93 | 0.002 % |
1219.41/1220.00 c | 297901 | 394942 9444588 29265794 | 2147483647 297893 93 | 0.002 % |
1221.61/1222.26 c | 299061 | 394942 9444588 29265794 | 2147483647 299053 94 | 0.002 % |
1226.22/1226.86 c | 300336 | 394942 9444588 29265794 | 2147483647 300328 94 | 0.002 % |
1230.01/1230.63 c | 301739 | 394942 9444588 29265794 | 2147483647 301731 94 | 0.002 % |
1232.42/1233.02 c | 303279 | 394942 9444588 29265794 | 2147483647 303271 94 | 0.002 % |
1236.71/1237.34 c | 304974 | 394942 9444588 29265794 | 2147483647 304966 94 | 0.002 % |
1242.20/1242.85 c | 306838 | 394942 9444588 29265794 | 2147483647 306830 94 | 0.002 % |
1245.50/1246.18 c | 308887 | 394942 9444588 29265794 | 2147483647 308879 93 | 0.002 % |
1250.21/1250.86 c | 311140 | 394942 9444588 29265794 | 2147483647 311132 94 | 0.002 % |
1256.40/1257.03 c | 313619 | 394942 9444588 29265794 | 2147483647 313611 94 | 0.002 % |
1261.61/1262.20 c | 316344 | 394942 9444588 29265794 | 2147483647 316336 94 | 0.002 % |
1269.90/1270.58 c | 319343 | 394942 9444588 29265794 | 2147483647 319335 94 | 0.002 % |
1270.30/1270.98 c | 319443 | 394942 9444588 29265794 | 2147483647 319435 94 | 0.002 % |
1270.70/1271.39 c | 319553 | 394942 9444588 29265794 | 2147483647 319545 94 | 0.002 % |
1271.40/1272.09 c | 319676 | 394942 9444588 29265794 | 2147483647 319668 94 | 0.002 % |
1271.80/1272.45 c | 319809 | 394942 9444588 29265794 | 2147483647 319801 94 | 0.002 % |
1272.20/1272.84 c | 319956 | 394942 9444588 29265794 | 2147483647 319948 94 | 0.002 % |
1272.60/1273.23 c | 320116 | 394942 9444588 29265794 | 2147483647 320108 94 | 0.002 % |
1273.00/1273.61 c | 320292 | 394942 9444588 29265794 | 2147483647 320284 93 | 0.002 % |
1274.09/1274.74 c | 320486 | 394942 9444588 29265794 | 2147483647 320478 93 | 0.002 % |
1275.19/1275.85 c | 320700 | 394942 9444588 29265794 | 2147483647 320692 94 | 0.002 % |
1277.69/1278.33 c | 320934 | 394942 9444588 29265794 | 2147483647 320926 94 | 0.002 % |
1278.69/1279.37 c | 321191 | 394942 9444588 29265794 | 2147483647 321183 94 | 0.002 % |
1279.69/1280.31 c | 321472 | 394942 9444588 29265794 | 2147483647 321464 94 | 0.002 % |
1282.09/1282.78 c | 321792 | 394942 9444588 29265794 | 2147483647 321784 94 | 0.002 % |
1282.69/1283.32 c | 322131 | 394942 9444588 29265794 | 2147483647 322123 94 | 0.002 % |
1284.99/1285.68 c | 322503 | 394942 9444588 29265794 | 2147483647 322495 94 | 0.002 % |
1286.30/1286.91 c | 322913 | 394942 9444588 29265794 | 2147483647 322905 94 | 0.002 % |
1288.50/1289.13 c | 323362 | 394942 9444588 29265794 | 2147483647 323354 94 | 0.002 % |
1289.89/1290.59 c | 323855 | 394942 9444588 29265794 | 2147483647 323847 94 | 0.002 % |
1290.69/1291.32 c | 324397 | 394942 9444588 29265794 | 2147483647 324389 94 | 0.002 % |
1291.79/1292.47 c | 324994 | 394942 9444588 29265794 | 2147483647 324986 94 | 0.002 % |
1294.79/1295.45 c | 325649 | 394942 9444588 29265794 | 2147483647 325641 94 | 0.002 % |
1297.18/1297.84 c | 326370 | 394942 9444588 29265794 | 2147483647 326362 94 | 0.002 % |
1298.19/1298.86 c | 327162 | 394942 9444588 29265794 | 2147483647 327154 94 | 0.002 % |
1300.28/1300.95 c | 328033 | 394942 9444588 29265794 | 2147483647 328025 95 | 0.002 % |
1303.39/1304.06 c | 328991 | 394942 9444588 29265794 | 2147483647 328983 95 | 0.002 % |
1304.88/1305.50 c | 330045 | 394942 9444588 29265794 | 2147483647 330037 95 | 0.002 % |
1308.98/1309.69 c | 331203 | 394942 9444588 29265794 | 2147483647 331195 95 | 0.002 % |
1311.88/1312.56 c | 332476 | 394942 9444588 29265794 | 2147483647 332468 96 | 0.002 % |
1317.98/1318.64 c | 333878 | 394942 9444588 29265794 | 2147483647 333870 96 | 0.002 % |
1323.48/1324.11 c | 335418 | 394942 9444588 29265794 | 2147483647 335410 96 | 0.002 % |
1326.18/1326.82 c | 337112 | 394942 9444588 29265794 | 2147483647 337104 97 | 0.002 % |
1332.38/1333.05 c | 338975 | 394942 9444588 29265794 | 2147483647 338967 97 | 0.002 % |
1336.67/1337.38 c | 341024 | 394942 9444588 29265794 | 2147483647 341016 97 | 0.002 % |
1340.87/1341.51 c | 343278 | 394942 9444588 29265794 | 2147483647 343270 97 | 0.002 % |
1348.27/1348.94 c | 345756 | 394942 9444588 29265794 | 2147483647 345748 97 | 0.002 % |
1350.47/1351.18 c | 348481 | 394942 9444588 29265794 | 2147483647 348473 97 | 0.002 % |
1358.37/1359.02 c | 351479 | 394942 9444588 29265794 | 2147483647 351471 98 | 0.002 % |
1363.06/1363.74 c | 354777 | 394942 9444588 29265794 | 2147483647 354769 98 | 0.002 % |
1363.37/1364.09 c | 354877 | 394942 9444588 29265794 | 2147483647 354869 98 | 0.002 % |
1364.37/1365.08 c | 354987 | 394942 9444588 29265794 | 2147483647 354979 98 | 0.002 % |
1365.16/1365.81 c | 355108 | 394942 9444588 29265794 | 2147483647 355100 98 | 0.002 % |
1365.66/1366.33 c | 355241 | 394942 9444588 29265794 | 2147483647 355233 98 | 0.002 % |
1366.06/1366.74 c | 355388 | 394942 9444588 29265794 | 2147483647 355380 98 | 0.002 % |
1366.57/1367.29 c | 355548 | 394942 9444588 29265794 | 2147483647 355540 98 | 0.002 % |
1367.86/1368.56 c | 355724 | 394942 9444588 29265794 | 2147483647 355716 98 | 0.002 % |
1368.66/1369.35 c | 355917 | 394942 9444588 29265794 | 2147483647 355909 98 | 0.002 % |
1369.46/1370.19 c | 356129 | 394942 9444588 29265794 | 2147483647 356121 98 | 0.002 % |
1370.16/1370.88 c | 356362 | 394942 9444588 29265794 | 2147483647 356354 98 | 0.002 % |
1371.16/1371.87 c | 356618 | 394942 9444588 29265794 | 2147483647 356610 98 | 0.002 % |
1372.06/1372.75 c | 356901 | 394942 9444588 29265794 | 2147483647 356893 98 | 0.002 % |
1372.96/1373.67 c | 357210 | 394942 9444588 29265794 | 2147483647 357202 98 | 0.002 % |
1373.76/1374.43 c | 357549 | 394942 9444588 29265794 | 2147483647 357541 98 | 0.002 % |
1376.16/1376.83 c | 357921 | 394942 9444588 29265794 | 2147483647 357913 98 | 0.002 % |
1377.16/1377.80 c | 358330 | 394942 9444588 29265794 | 2147483647 358322 98 | 0.002 % |
1378.16/1378.83 c | 358779 | 394942 9444588 29265794 | 2147483647 358771 98 | 0.002 % |
1379.66/1380.39 c | 359273 | 394942 9444588 29265794 | 2147483647 359265 98 | 0.002 % |
1381.06/1381.79 c | 359815 | 394942 9444588 29265794 | 2147483647 359807 98 | 0.002 % |
1385.06/1385.74 c | 360412 | 394942 9444588 29265794 | 2147483647 360404 98 | 0.002 % |
1387.06/1387.72 c | 361067 | 394942 9444588 29265794 | 2147483647 361059 98 | 0.002 % |
1390.06/1390.78 c | 361787 | 394942 9444588 29265794 | 2147483647 361779 98 | 0.002 % |
1391.96/1392.63 c | 362580 | 394942 9444588 29265794 | 2147483647 362572 98 | 0.002 % |
1394.25/1394.95 c | 363451 | 394942 9444588 29265794 | 2147483647 363443 99 | 0.002 % |
1397.05/1397.71 c | 364410 | 394942 9444588 29265794 | 2147483647 364402 99 | 0.002 % |
1399.25/1399.90 c | 365463 | 394942 9444588 29265794 | 2147483647 365455 99 | 0.002 % |
1401.55/1402.25 c | 366621 | 394942 9444588 29265794 | 2147483647 366613 98 | 0.002 % |
1403.25/1403.92 c | 367894 | 394942 9444588 29265794 | 2147483647 367886 98 | 0.002 % |
1405.25/1405.91 c | 369295 | 394942 9444588 29265794 | 2147483647 369287 98 | 0.002 % |
1408.45/1409.12 c | 370835 | 394942 9444588 29265794 | 2147483647 370827 98 | 0.002 % |
1411.66/1412.34 c | 372530 | 394942 9444588 29265794 | 2147483647 372522 98 | 0.002 % |
1415.55/1416.26 c | 374394 | 394942 9444588 29265794 | 2147483647 374386 98 | 0.002 % |
1418.45/1419.14 c | 376443 | 394942 9444588 29265794 | 2147483647 376435 98 | 0.002 % |
1423.44/1424.12 c | 378696 | 394942 9444588 29265794 | 2147483647 378688 98 | 0.002 % |
1430.04/1430.75 c | 381174 | 394942 9444588 29265794 | 2147483647 381166 98 | 0.002 % |
1435.74/1436.40 c | 383899 | 394942 9444588 29265794 | 2147483647 383891 97 | 0.002 % |
1440.54/1441.27 c | 386897 | 394942 9444588 29265794 | 2147483647 386889 97 | 0.002 % |
1445.64/1446.34 c | 390195 | 394942 9444588 29265794 | 2147483647 390187 97 | 0.002 % |
1450.84/1451.51 c | 393820 | 394942 9444588 29265794 | 2147483647 393812 96 | 0.002 % |
1451.24/1451.90 c | 393921 | 394942 9444588 29265794 | 2147483647 393913 96 | 0.002 % |
1451.64/1452.37 c | 394032 | 394942 9444588 29265794 | 2147483647 394024 96 | 0.002 % |
1452.24/1452.95 c | 394153 | 394942 9444588 29265794 | 2147483647 394145 96 | 0.002 % |
1452.74/1453.48 c | 394288 | 394942 9444588 29265794 | 2147483647 394280 96 | 0.002 % |
1453.34/1454.06 c | 394434 | 394942 9444588 29265794 | 2147483647 394426 96 | 0.002 % |
1454.04/1454.70 c | 394596 | 394942 9444588 29265794 | 2147483647 394588 96 | 0.002 % |
1455.14/1455.90 c | 394772 | 394942 9444588 29265794 | 2147483647 394764 96 | 0.002 % |
1455.74/1456.41 c | 394965 | 394942 9444588 29265794 | 2147483647 394957 96 | 0.002 % |
1456.64/1457.40 c | 395177 | 394942 9444588 29265794 | 2147483647 395169 96 | 0.002 % |
1457.24/1457.98 c | 395410 | 394942 9444588 29265794 | 2147483647 395402 96 | 0.002 % |
1457.94/1458.64 c | 395666 | 394942 9444588 29265794 | 2147483647 395658 96 | 0.002 % |
1458.94/1459.62 c | 395948 | 394942 9444588 29265794 | 2147483647 395940 96 | 0.002 % |
1459.93/1460.65 c | 396257 | 394942 9444588 29265794 | 2147483647 396249 96 | 0.002 % |
1461.93/1462.65 c | 396596 | 394942 9444588 29265794 | 2147483647 396588 96 | 0.002 % |
1463.23/1463.94 c | 396972 | 394942 9444588 29265794 | 2147483647 396964 96 | 0.002 % |
1464.23/1464.96 c | 397382 | 394942 9444588 29265794 | 2147483647 397374 96 | 0.002 % |
1466.73/1467.48 c | 397831 | 394942 9444588 29265794 | 2147483647 397823 96 | 0.002 % |
1470.13/1470.88 c | 398324 | 394942 9444588 29265794 | 2147483647 398316 96 | 0.002 % |
1471.64/1472.35 c | 398866 | 394942 9444588 29265794 | 2147483647 398858 96 | 0.002 % |
1475.63/1476.37 c | 399462 | 394942 9444588 29265794 | 2147483647 399454 96 | 0.002 % |
1479.33/1480.04 c | 400119 | 394942 9444588 29265794 | 2147483647 400111 96 | 0.002 % |
1481.23/1481.91 c | 400842 | 394942 9444588 29265794 | 2147483647 400834 97 | 0.002 % |
1484.23/1484.93 c | 401634 | 394942 9444588 29265794 | 2147483647 401626 97 | 0.002 % |
1487.13/1487.88 c | 402508 | 394942 9444588 29265794 | 2147483647 402500 97 | 0.002 % |
1490.13/1490.86 c | 403466 | 394942 9444588 29265794 | 2147483647 403458 96 | 0.002 % |
1495.23/1495.96 c | 404519 | 394942 9444588 29265794 | 2147483647 404511 97 | 0.002 % |
1498.13/1498.83 c | 405677 | 394942 9444588 29265794 | 2147483647 405669 97 | 0.002 % |
1502.02/1502.72 c | 406952 | 394942 9444588 29265794 | 2147483647 406944 97 | 0.002 % |
1505.82/1506.53 c | 408353 | 394942 9444588 29265794 | 2147483647 408345 97 | 0.002 % |
1508.81/1509.56 c | 409893 | 394942 9444588 29265794 | 2147483647 409885 97 | 0.002 % |
1515.02/1515.76 c | 411588 | 394942 9444588 29265794 | 2147483647 411580 97 | 0.002 % |
1521.31/1522.06 c | 413451 | 394942 9444588 29265794 | 2147483647 413443 97 | 0.002 % |
1524.72/1525.41 c | 415500 | 394942 9444588 29265794 | 2147483647 415492 97 | 0.002 % |
1532.21/1532.90 c | 417754 | 394942 9444588 29265794 | 2147483647 417746 98 | 0.002 % |
1537.12/1537.89 c | 420232 | 394942 9444588 29265794 | 2147483647 420224 98 | 0.002 % |
1541.11/1541.87 c | 422957 | 394942 9444588 29265794 | 2147483647 422949 98 | 0.002 % |
1548.20/1548.91 c | 425955 | 394942 9444588 29265794 | 2147483647 425947 99 | 0.002 % |
1557.81/1558.55 c | 429254 | 394942 9444588 29265794 | 2147483647 429246 99 | 0.002 % |
1565.00/1565.73 c | 432879 | 394942 9444588 29265794 | 2147483647 432871 99 | 0.002 % |
1575.20/1575.96 c | 436869 | 394942 9444588 29265794 | 2147483647 436861 99 | 0.002 % |
1575.60/1576.35 c | 436969 | 394942 9444588 29265794 | 2147483647 436961 99 | 0.002 % |
1576.10/1576.84 c | 437080 | 394942 9444588 29265794 | 2147483647 437072 99 | 0.002 % |
1577.30/1578.00 c | 437201 | 394942 9444588 29265794 | 2147483647 437193 99 | 0.002 % |
1577.80/1578.50 c | 437335 | 394942 9444588 29265794 | 2147483647 437327 99 | 0.002 % |
1579.70/1580.50 c | 437481 | 394942 9444588 29265794 | 2147483647 437473 99 | 0.002 % |
1580.80/1581.57 c | 437643 | 394942 9444588 29265794 | 2147483647 437635 99 | 0.002 % |
1581.20/1581.98 c | 437819 | 394942 9444588 29265794 | 2147483647 437811 99 | 0.002 % |
1581.69/1582.41 c | 438013 | 394942 9444588 29265794 | 2147483647 438005 99 | 0.002 % |
1584.49/1585.23 c | 438225 | 394942 9444588 29265794 | 2147483647 438217 99 | 0.002 % |
1585.40/1586.16 c | 438460 | 394942 9444588 29265794 | 2147483647 438452 99 | 0.002 % |
1586.19/1586.94 c | 438716 | 394942 9444588 29265794 | 2147483647 438708 99 | 0.002 % |
1587.49/1588.21 c | 438997 | 394942 9444588 29265794 | 2147483647 438989 99 | 0.002 % |
1588.19/1588.96 c | 439307 | 394942 9444588 29265794 | 2147483647 439299 99 | 0.002 % |
1591.59/1592.38 c | 439647 | 394942 9444588 29265794 | 2147483647 439639 99 | 0.002 % |
1594.49/1595.24 c | 440019 | 394942 9444588 29265794 | 2147483647 440011 99 | 0.002 % |
1596.39/1597.13 c | 440429 | 394942 9444588 29265794 | 2147483647 440421 99 | 0.002 % |
1597.80/1598.55 c | 440878 | 394942 9444588 29265794 | 2147483647 440870 99 | 0.002 % |
1600.09/1600.85 c | 441374 | 394942 9444588 29265794 | 2147483647 441366 99 | 0.002 % |
1601.79/1602.53 c | 441916 | 394942 9444588 29265794 | 2147483647 441908 99 | 0.002 % |
1603.79/1604.57 c | 442514 | 394942 9444588 29265794 | 2147483647 442506 99 | 0.002 % |
1606.19/1607.00 c | 443169 | 394942 9444588 29265794 | 2147483647 443161 99 | 0.002 % |
1607.89/1608.61 c | 443889 | 394942 9444588 29265794 | 2147483647 443881 99 | 0.002 % |
1609.60/1610.31 c | 444681 | 394942 9444588 29265794 | 2147483647 444673 99 | 0.002 % |
1611.90/1612.66 c | 445552 | 394942 9444588 29265794 | 2147483647 445544 99 | 0.002 % |
1615.10/1615.81 c | 446510 | 394942 9444588 29265794 | 2147483647 446502 99 | 0.002 % |
1619.19/1619.91 c | 447564 | 394942 9444588 29265794 | 2147483647 447556 99 | 0.002 % |
1622.29/1623.08 c | 448722 | 394942 9444588 29265794 | 2147483647 448714 99 | 0.002 % |
1628.08/1628.82 c | 449995 | 394942 9444588 29265794 | 2147483647 449987 99 | 0.002 % |
1632.18/1632.92 c | 451395 | 394942 9444588 29265794 | 2147483647 451387 99 | 0.002 % |
1638.88/1639.66 c | 452936 | 394942 9444588 29265794 | 2147483647 452928 99 | 0.002 % |
1644.68/1645.50 c | 454630 | 394942 9444588 29265794 | 2147483647 454622 99 | 0.002 % |
1648.18/1648.92 c | 456494 | 394942 9444588 29265794 | 2147483647 456486 99 | 0.002 % |
1652.98/1653.78 c | 458543 | 394942 9444588 29265794 | 2147483647 458535 99 | 0.002 % |
1662.87/1663.67 c | 460796 | 394942 9444588 29265794 | 2147483647 460788 100 | 0.002 % |
1668.27/1669.02 c | 463275 | 394942 9444588 29265794 | 2147483647 463267 100 | 0.002 % |
1675.07/1675.84 c | 466002 | 394942 9444588 29265794 | 2147483647 465994 100 | 0.002 % |
1680.17/1680.91 c | 468999 | 394942 9444588 29265794 | 2147483647 468991 103 | 0.002 % |
1687.56/1688.40 c | 472297 | 394942 9444588 29265794 | 2147483647 472289 102 | 0.002 % |
1700.26/1701.09 c | 475922 | 394942 9444588 29265794 | 2147483647 475914 103 | 0.002 % |
1710.96/1711.72 c | 479909 | 394942 9444588 29265794 | 2147483647 479901 110 | 0.002 % |
1722.85/1723.65 c | 484294 | 394942 9444588 29265794 | 2147483647 484286 110 | 0.002 % |
1723.35/1724.18 c | 484397 | 394942 9444588 29265794 | 2147483647 484389 110 | 0.002 % |
1724.05/1724.85 c | 484507 | 394942 9444588 29265794 | 2147483647 484499 110 | 0.002 % |
1724.55/1725.33 c | 484628 | 394942 9444588 29265794 | 2147483647 484620 110 | 0.002 % |
1725.35/1726.13 c | 484761 | 394942 9444588 29265794 | 2147483647 484753 110 | 0.002 % |
1726.55/1727.34 c | 484907 | 394942 9444588 29265794 | 2147483647 484899 110 | 0.002 % |
1727.25/1728.02 c | 485067 | 394942 9444588 29265794 | 2147483647 485059 110 | 0.002 % |
1730.15/1730.93 c | 485243 | 394942 9444588 29265794 | 2147483647 485235 110 | 0.002 % |
1730.85/1731.70 c | 485436 | 394942 9444588 29265794 | 2147483647 485428 110 | 0.002 % |
1731.65/1732.45 c | 485648 | 394942 9444588 29265794 | 2147483647 485640 110 | 0.002 % |
1732.64/1733.41 c | 485881 | 394942 9444588 29265794 | 2147483647 485873 110 | 0.002 % |
1733.64/1734.48 c | 486139 | 394942 9444588 29265794 | 2147483647 486131 110 | 0.002 % |
1735.14/1735.98 c | 486420 | 394942 9444588 29265794 | 2147483647 486412 110 | 0.002 % |
1736.15/1736.90 c | 486731 | 394942 9444588 29265794 | 2147483647 486723 110 | 0.002 % |
1737.35/1738.17 c | 487070 | 394942 9444588 29265794 | 2147483647 487062 110 | 0.002 % |
1740.95/1741.73 c | 487442 | 394942 9444588 29265794 | 2147483647 487434 110 | 0.002 % |
1741.95/1742.77 c | 487852 | 394942 9444588 29265794 | 2147483647 487844 110 | 0.002 % |
1744.95/1745.70 c | 488301 | 394942 9444588 29265794 | 2147483647 488293 110 | 0.002 % |
1746.34/1747.13 c | 488795 | 394942 9444588 29265794 | 2147483647 488787 110 | 0.002 % |
1749.14/1749.98 c | 489338 | 394942 9444588 29265794 | 2147483647 489330 110 | 0.002 % |
1751.24/1752.07 c | 489936 | 394942 9444588 29265794 | 2147483647 489928 110 | 0.002 % |
1753.25/1754.07 c | 490592 | 394942 9444588 29265794 | 2147483647 490584 111 | 0.002 % |
1758.34/1759.11 c | 491313 | 394942 9444588 29265794 | 2147483647 491305 111 | 0.002 % |
1762.64/1763.42 c | 492105 | 394942 9444588 29265794 | 2147483647 492097 110 | 0.002 % |
1765.04/1765.85 c | 492976 | 394942 9444588 29265794 | 2147483647 492968 111 | 0.002 % |
1769.44/1770.22 c | 493934 | 394942 9444588 29265794 | 2147483647 493926 111 | 0.002 % |
1772.94/1773.73 c | 494987 | 394942 9444588 29265794 | 2147483647 494979 111 | 0.002 % |
1777.14/1777.93 c | 496146 | 394942 9444588 29265794 | 2147483647 496138 111 | 0.002 % |
1782.93/1783.78 c | 497421 | 394942 9444588 29265794 | 2147483647 497413 112 | 0.002 % |
1786.84/1787.66 c | 498821 | 394942 9444588 29265794 | 2147483647 498813 112 | 0.002 % |
1791.14/1791.99 c | 500361 | 394942 9444588 29265794 | 2147483647 500353 112 | 0.002 % |
1797.22/1798.01 c | 502056 | 394942 9444588 29265794 | 2147483647 502048 112 | 0.002 % |
1802.03/1802.83 c | 503921 | 394942 9444588 29265794 | 2147483647 503913 113 | 0.002 % |
1805.82/1806.65 c | 505970 | 394942 9444588 29265794 | 2147483647 505962 114 | 0.002 % |
1812.43/1813.28 c | 508223 | 394942 9444588 29265794 | 2147483647 508215 114 | 0.002 % |
1818.53/1819.33 c | 510702 | 394942 9444588 29265794 | 2147483647 510694 114 | 0.002 % |
1824.32/1825.15 c | 513430 | 394942 9444588 29265794 | 2147483647 513422 114 | 0.002 % |
1831.92/1832.72 c | 516428 | 394942 9444588 29265794 | 2147483647 516420 114 | 0.002 % |
1846.61/1847.42 c | 519725 | 394942 9444588 29265794 | 2147483647 519717 115 | 0.002 % |
1857.91/1858.73 c | 523350 | 394942 9444588 29265794 | 2147483647 523342 115 | 0.002 % |
1867.60/1868.45 c | 527337 | 394942 9444588 29265794 | 2147483647 527329 117 | 0.002 % |
1877.31/1878.19 c | 531722 | 394942 9444588 29265794 | 2147483647 531714 117 | 0.002 % |
1886.60/1887.40 c | 536546 | 394942 9444588 29265794 | 2147483647 536538 118 | 0.002 % |
1887.30/1888.16 c | 536646 | 394942 9444588 29265794 | 2147483647 536638 118 | 0.002 % |
1887.91/1888.79 c | 536756 | 394942 9444588 29265794 | 2147483647 536748 118 | 0.002 % |
1888.50/1889.40 c | 536885 | 394942 9444588 29265794 | 2147483647 536877 118 | 0.002 % |
1889.50/1890.38 c | 537018 | 394942 9444588 29265794 | 2147483647 537010 118 | 0.002 % |
1890.20/1891.09 c | 537164 | 394942 9444588 29265794 | 2147483647 537156 118 | 0.002 % |
1891.30/1892.10 c | 537324 | 394942 9444588 29265794 | 2147483647 537316 118 | 0.002 % |
1892.10/1892.92 c | 537500 | 394942 9444588 29265794 | 2147483647 537492 118 | 0.002 % |
1893.40/1894.28 c | 537693 | 394942 9444588 29265794 | 2147483647 537685 118 | 0.002 % |
1895.70/1896.56 c | 537905 | 394942 9444588 29265794 | 2147483647 537897 118 | 0.002 % |
1896.99/1897.84 c | 538138 | 394942 9444588 29265794 | 2147483647 538130 118 | 0.002 % |
1898.09/1898.93 c | 538395 | 394942 9444588 29265794 | 2147483647 538387 118 | 0.002 % |
1899.09/1899.98 c | 538677 | 394942 9444588 29265794 | 2147483647 538669 118 | 0.002 % |
1900.39/1901.24 c | 538992 | 394942 9444588 29265794 | 2147483647 538984 118 | 0.002 % |
1901.29/1902.19 c | 539332 | 394942 9444588 29265794 | 2147483647 539324 118 | 0.002 % |
1902.19/1903.06 c | 539706 | 394942 9444588 29265794 | 2147483647 539698 118 | 0.002 % |
1903.99/1904.88 c | 540116 | 394942 9444588 29265794 | 2147483647 540108 118 | 0.002 % |
1904.89/1905.71 c | 540566 | 394942 9444588 29265794 | 2147483647 540558 118 | 0.002 % |
1906.50/1907.33 c | 541059 | 394942 9444588 29265794 | 2147483647 541051 118 | 0.002 % |
1908.09/1908.94 c | 541603 | 394942 9444588 29265794 | 2147483647 541595 118 | 0.002 % |
1913.49/1914.34 c | 542201 | 394942 9444588 29265794 | 2147483647 542193 118 | 0.002 % |
1916.89/1917.74 c | 542856 | 394942 9444588 29265794 | 2147483647 542848 118 | 0.002 % |
1919.69/1920.52 c | 543576 | 394942 9444588 29265794 | 2147483647 543568 118 | 0.002 % |
1921.68/1922.52 c | 544368 | 394942 9444588 29265794 | 2147483647 544360 118 | 0.002 % |
1926.78/1927.68 c | 545239 | 394942 9444588 29265794 | 2147483647 545231 118 | 0.002 % |
1929.09/1929.98 c | 546199 | 394942 9444588 29265794 | 2147483647 546191 118 | 0.002 % |
1932.29/1933.16 c | 547252 | 394942 9444588 29265794 | 2147483647 547244 118 | 0.002 % |
1934.98/1935.84 c | 548414 | 394942 9444588 29265794 | 2147483647 548406 119 | 0.002 % |
1939.08/1939.95 c | 549688 | 394942 9444588 29265794 | 2147483647 549680 118 | 0.002 % |
1948.58/1949.45 c | 551088 | 394942 9444588 29265794 | 2147483647 551080 118 | 0.002 % |
1956.08/1956.99 c | 552628 | 394942 9444588 29265794 | 2147483647 552620 119 | 0.002 % |
1960.68/1961.52 c | 554322 | 394942 9444588 29265794 | 2147483647 554314 119 | 0.002 % |
1964.78/1965.67 c | 556185 | 394942 9444588 29265794 | 2147483647 556177 119 | 0.002 % |
1969.57/1970.42 c | 558234 | 394942 9444588 29265794 | 2147483647 558226 121 | 0.002 % |
1977.67/1978.53 c | 560488 | 394942 9444588 29265794 | 2147483647 560480 121 | 0.002 % |
1984.47/1985.30 c | 562966 | 394942 9444588 29265794 | 2147483647 562958 121 | 0.002 % |
1993.27/1994.13 c | 565691 | 394942 9444588 29265794 | 2147483647 565683 122 | 0.002 % |
2001.56/2002.40 c | 568689 | 394942 9444588 29265794 | 2147483647 568681 122 | 0.002 % |
2008.87/2009.80 c | 571986 | 394942 9444588 29265794 | 2147483647 571978 122 | 0.002 % |
2020.96/2021.81 c | 575612 | 394942 9444588 29265794 | 2147483647 575604 122 | 0.002 % |
2034.25/2035.15 c | 579599 | 394942 9444588 29265794 | 2147483647 579591 122 | 0.002 % |
2052.76/2053.61 c | 583984 | 394942 9444588 29265794 | 2147483647 583976 122 | 0.002 % |
2061.95/2062.82 c | 588807 | 394942 9444588 29265794 | 2147483647 588799 126 | 0.002 % |
2074.85/2075.71 c | 594115 | 394942 9444588 29265794 | 2147483647 594107 127 | 0.002 % |
2075.24/2076.19 c | 594216 | 394942 9444588 29265794 | 2147483647 594208 127 | 0.002 % |
2075.64/2076.59 c | 594327 | 394942 9444588 29265794 | 2147483647 594319 127 | 0.002 % |
2076.04/2076.98 c | 594448 | 394942 9444588 29265794 | 2147483647 594440 127 | 0.002 % |
2076.84/2077.75 c | 594581 | 394942 9444588 29265794 | 2147483647 594573 127 | 0.002 % |
2077.74/2078.61 c | 594728 | 394942 9444588 29265794 | 2147483647 594720 127 | 0.002 % |
2078.94/2079.85 c | 594888 | 394942 9444588 29265794 | 2147483647 594880 127 | 0.002 % |
2079.84/2080.72 c | 595064 | 394942 9444588 29265794 | 2147483647 595056 127 | 0.002 % |
2081.34/2082.27 c | 595261 | 394942 9444588 29265794 | 2147483647 595253 127 | 0.002 % |
2081.93/2082.89 c | 595475 | 394942 9444588 29265794 | 2147483647 595467 127 | 0.002 % |
2083.33/2084.24 c | 595710 | 394942 9444588 29265794 | 2147483647 595702 127 | 0.002 % |
2084.53/2085.42 c | 595966 | 394942 9444588 29265794 | 2147483647 595958 127 | 0.002 % |
2085.43/2086.37 c | 596248 | 394942 9444588 29265794 | 2147483647 596240 126 | 0.002 % |
2086.33/2087.22 c | 596558 | 394942 9444588 29265794 | 2147483647 596550 126 | 0.002 % |
2089.63/2090.56 c | 596897 | 394942 9444588 29265794 | 2147483647 596889 126 | 0.002 % |
2091.53/2092.48 c | 597270 | 394942 9444588 29265794 | 2147483647 597262 126 | 0.002 % |
2094.84/2095.78 c | 597680 | 394942 9444588 29265794 | 2147483647 597672 126 | 0.002 % |
2096.34/2097.27 c | 598130 | 394942 9444588 29265794 | 2147483647 598122 127 | 0.002 % |
2098.13/2099.05 c | 598624 | 394942 9444588 29265794 | 2147483647 598616 127 | 0.002 % |
2099.13/2100.06 c | 599168 | 394942 9444588 29265794 | 2147483647 599160 127 | 0.002 % |
2100.53/2101.41 c | 599764 | 394942 9444588 29265794 | 2147483647 599756 126 | 0.002 % |
2102.13/2103.07 c | 600420 | 394942 9444588 29265794 | 2147483647 600412 126 | 0.002 % |
2103.53/2104.40 c | 601141 | 394942 9444588 29265794 | 2147483647 601133 126 | 0.002 % |
2106.03/2106.90 c | 601934 | 394942 9444588 29265794 | 2147483647 601926 126 | 0.002 % |
2107.93/2108.83 c | 602805 | 394942 9444588 29265794 | 2147483647 602797 126 | 0.002 % |
2110.03/2110.91 c | 603763 | 394942 9444588 29265794 | 2147483647 603755 126 | 0.002 % |
2112.63/2113.55 c | 604816 | 394942 9444588 29265794 | 2147483647 604808 126 | 0.002 % |
2115.02/2115.96 c | 605974 | 394942 9444588 29265794 | 2147483647 605966 126 | 0.002 % |
2117.52/2118.45 c | 607247 | 394942 9444588 29265794 | 2147483647 607239 126 | 0.002 % |
2121.22/2122.19 c | 608648 | 394942 9444588 29265794 | 2147483647 608640 125 | 0.002 % |
2124.72/2125.69 c | 610188 | 394942 9444588 29265794 | 2147483647 610180 125 | 0.002 % |
2128.42/2129.38 c | 611883 | 394942 9444588 29265794 | 2147483647 611875 125 | 0.002 % |
2131.93/2132.85 c | 613748 | 394942 9444588 29265794 | 2147483647 613740 125 | 0.002 % |
2136.12/2137.08 c | 615797 | 394942 9444588 29265794 | 2147483647 615789 125 | 0.002 % |
2140.92/2141.90 c | 618051 | 394942 9444588 29265794 | 2147483647 618043 124 | 0.002 % |
2146.92/2147.83 c | 620529 | 394942 9444588 29265794 | 2147483647 620521 126 | 0.002 % |
2162.91/2163.83 c | 623254 | 394942 9444588 29265794 | 2147483647 623246 126 | 0.002 % |
2168.51/2169.47 c | 626259 | 394942 9444588 29265794 | 2147483647 626251 126 | 0.002 % |
2180.41/2181.39 c | 629556 | 394942 9444588 29265794 | 2147483647 629548 126 | 0.002 % |
2197.20/2198.14 c | 633183 | 394942 9444588 29265794 | 2147483647 633175 126 | 0.002 % |
2206.10/2207.06 c | 637171 | 394942 9444588 29265794 | 2147483647 637163 127 | 0.002 % |
2222.30/2223.28 c | 641559 | 394942 9444588 29265794 | 2147483647 641551 127 | 0.002 % |
2240.29/2241.20 c | 646383 | 394942 9444588 29265794 | 2147483647 646375 129 | 0.002 % |
2256.38/2257.39 c | 651688 | 394942 9444588 29265794 | 2147483647 651680 129 | 0.002 % |
2270.18/2271.15 c | 657526 | 394942 9444588 29265794 | 2147483647 657518 131 | 0.002 % |
2271.48/2272.45 c | 657626 | 394942 9444588 29265794 | 2147483647 657618 131 | 0.002 % |
2272.08/2273.03 c | 657737 | 394942 9444588 29265794 | 2147483647 657729 131 | 0.002 % |
2272.88/2273.81 c | 657862 | 394942 9444588 29265794 | 2147483647 657854 131 | 0.002 % |
2273.48/2274.42 c | 657997 | 394942 9444588 29265794 | 2147483647 657989 131 | 0.002 % |
2274.48/2275.46 c | 658144 | 394942 9444588 29265794 | 2147483647 658136 131 | 0.002 % |
2275.78/2276.71 c | 658309 | 394942 9444588 29265794 | 2147483647 658301 131 | 0.002 % |
2276.38/2277.36 c | 658485 | 394942 9444588 29265794 | 2147483647 658477 131 | 0.002 % |
2277.48/2278.46 c | 658679 | 394942 9444588 29265794 | 2147483647 658671 131 | 0.002 % |
2278.78/2279.76 c | 658891 | 394942 9444588 29265794 | 2147483647 658883 131 | 0.002 % |
2279.68/2280.62 c | 659124 | 394942 9444588 29265794 | 2147483647 659116 131 | 0.002 % |
2281.97/2282.97 c | 659382 | 394942 9444588 29265794 | 2147483647 659374 131 | 0.002 % |
2283.47/2284.46 c | 659663 | 394942 9444588 29265794 | 2147483647 659655 131 | 0.002 % |
2286.67/2287.64 c | 659974 | 394942 9444588 29265794 | 2147483647 659966 131 | 0.002 % |
2287.87/2288.85 c | 660313 | 394942 9444588 29265794 | 2147483647 660305 131 | 0.002 % |
2289.47/2290.46 c | 660685 | 394942 9444588 29265794 | 2147483647 660677 131 | 0.002 % |
2292.77/2293.79 c | 661094 | 394942 9444588 29265794 | 2147483647 661086 131 | 0.002 % |
2295.46/2296.47 c | 661543 | 394942 9444588 29265794 | 2147483647 661535 131 | 0.002 % |
2298.16/2299.12 c | 662036 | 394942 9444588 29265794 | 2147483647 662028 131 | 0.002 % |
2300.36/2301.39 c | 662578 | 394942 9444588 29265794 | 2147483647 662570 130 | 0.002 % |
2303.46/2304.47 c | 663174 | 394942 9444588 29265794 | 2147483647 663166 131 | 0.002 % |
2308.47/2309.44 c | 663829 | 394942 9444588 29265794 | 2147483647 663821 131 | 0.002 % |
2311.06/2312.01 c | 664549 | 394942 9444588 29265794 | 2147483647 664541 131 | 0.002 % |
2313.96/2314.98 c | 665342 | 394942 9444588 29265794 | 2147483647 665334 131 | 0.002 % |
2315.66/2316.62 c | 666213 | 394942 9444588 29265794 | 2147483647 666205 131 | 0.002 % |
2320.76/2321.75 c | 667172 | 394942 9444588 29265794 | 2147483647 667164 131 | 0.002 % |
2325.25/2326.22 c | 668226 | 394942 9444588 29265794 | 2147483647 668218 131 | 0.002 % |
2327.56/2328.57 c | 669384 | 394942 9444588 29265794 | 2147483647 669376 131 | 0.002 % |
2331.15/2332.14 c | 670658 | 394942 9444588 29265794 | 2147483647 670650 131 | 0.002 % |
2334.75/2335.75 c | 672059 | 394942 9444588 29265794 | 2147483647 672051 131 | 0.002 % |
2339.56/2340.50 c | 673599 | 394942 9444588 29265794 | 2147483647 673591 131 | 0.002 % |
2343.05/2344.04 c | 675294 | 394942 9444588 29265794 | 2147483647 675286 131 | 0.002 % |
2348.35/2349.36 c | 677159 | 394942 9444588 29265794 | 2147483647 677151 131 | 0.002 % |
2352.85/2353.89 c | 679209 | 394942 9444588 29265794 | 2147483647 679201 130 | 0.002 % |
2358.04/2359.03 c | 681463 | 394942 9444588 29265794 | 2147483647 681455 130 | 0.002 % |
2363.05/2364.09 c | 683941 | 394942 9444588 29265794 | 2147483647 683933 130 | 0.002 % |
2369.14/2370.13 c | 686666 | 394942 9444588 29265794 | 2147483647 686658 130 | 0.002 % |
2376.15/2377.19 c | 689668 | 394942 9444588 29265794 | 2147483647 689660 129 | 0.002 % |
2382.64/2383.68 c | 692964 | 394942 9444588 29265794 | 2147483647 692956 129 | 0.002 % |
2390.03/2391.08 c | 696589 | 394942 9444588 29265794 | 2147483647 696581 128 | 0.002 % |
2397.54/2398.55 c | 700576 | 394942 9444588 29265794 | 2147483647 700568 128 | 0.002 % |
2407.53/2408.52 c | 704961 | 394942 9444588 29265794 | 2147483647 704953 130 | 0.002 % |
2416.13/2417.15 c | 709784 | 394942 9444588 29265794 | 2147483647 709776 130 | 0.002 % |
2424.43/2425.45 c | 715089 | 394942 9444588 29265794 | 2147483647 715081 129 | 0.002 % |
2436.72/2437.72 c | 720926 | 394942 9444588 29265794 | 2147483647 720918 129 | 0.002 % |
2447.42/2448.45 c | 727345 | 394942 9444588 29265794 | 2147483647 727337 129 | 0.002 % |
2448.12/2449.11 c | 727445 | 394942 9444588 29265794 | 2147483647 727437 129 | 0.002 % |
2448.52/2449.56 c | 727555 | 394942 9444588 29265794 | 2147483647 727547 129 | 0.002 % |
2449.02/2450.07 c | 727676 | 394942 9444588 29265794 | 2147483647 727668 129 | 0.002 % |
2449.62/2450.67 c | 727810 | 394942 9444588 29265794 | 2147483647 727802 129 | 0.002 % |
2450.32/2451.36 c | 727957 | 394942 9444588 29265794 | 2147483647 727949 129 | 0.002 % |
2451.01/2452.04 c | 728119 | 394942 9444588 29265794 | 2147483647 728111 129 | 0.002 % |
2451.51/2452.59 c | 728295 | 394942 9444588 29265794 | 2147483647 728287 129 | 0.002 % |
2452.41/2453.44 c | 728490 | 394942 9444588 29265794 | 2147483647 728482 129 | 0.002 % |
2453.31/2454.31 c | 728702 | 394942 9444588 29265794 | 2147483647 728694 129 | 0.002 % |
2453.91/2454.98 c | 728935 | 394942 9444588 29265794 | 2147483647 728927 129 | 0.002 % |
2454.61/2455.62 c | 729191 | 394942 9444588 29265794 | 2147483647 729183 128 | 0.002 % |
2455.52/2456.52 c | 729474 | 394942 9444588 29265794 | 2147483647 729466 128 | 0.002 % |
2456.42/2457.48 c | 729783 | 394942 9444588 29265794 | 2147483647 729775 128 | 0.002 % |
2457.42/2458.41 c | 730122 | 394942 9444588 29265794 | 2147483647 730114 128 | 0.002 % |
2458.52/2459.52 c | 730494 | 394942 9444588 29265794 | 2147483647 730486 128 | 0.002 % |
2459.52/2460.54 c | 730905 | 394942 9444588 29265794 | 2147483647 730897 128 | 0.002 % |
2460.82/2461.81 c | 731354 | 394942 9444588 29265794 | 2147483647 731346 128 | 0.002 % |
2463.82/2464.84 c | 731847 | 394942 9444588 29265794 | 2147483647 731839 128 | 0.002 % |
2465.91/2466.90 c | 732389 | 394942 9444588 29265794 | 2147483647 732381 128 | 0.002 % |
2468.31/2469.38 c | 732986 | 394942 9444588 29265794 | 2147483647 732978 128 | 0.002 % |
2470.91/2471.93 c | 733641 | 394942 9444588 29265794 | 2147483647 733633 128 | 0.002 % |
2472.71/2473.78 c | 734361 | 394942 9444588 29265794 | 2147483647 734353 128 | 0.002 % |
2475.31/2476.30 c | 735153 | 394942 9444588 29265794 | 2147483647 735145 128 | 0.002 % |
2477.21/2478.26 c | 736024 | 394942 9444588 29265794 | 2147483647 736016 128 | 0.002 % |
2480.61/2481.67 c | 736982 | 394942 9444588 29265794 | 2147483647 736974 128 | 0.002 % |
2484.51/2485.54 c | 738035 | 394942 9444588 29265794 | 2147483647 738027 128 | 0.002 % |
2489.90/2490.90 c | 739193 | 394942 9444588 29265794 | 2147483647 739185 128 | 0.002 % |
2493.10/2494.14 c | 740466 | 394942 9444588 29265794 | 2147483647 740458 128 | 0.002 % |
2496.70/2497.72 c | 741867 | 394942 9444588 29265794 | 2147483647 741859 128 | 0.002 % |
2499.89/2500.90 c | 743407 | 394942 9444588 29265794 | 2147483647 743399 128 | 0.002 % |
2504.50/2505.56 c | 745106 | 394942 9444588 29265794 | 2147483647 745098 128 | 0.002 % |
2508.40/2509.42 c | 746969 | 394942 9444588 29265794 | 2147483647 746961 128 | 0.002 % |
2514.69/2515.75 c | 749019 | 394942 9444588 29265794 | 2147483647 749011 128 | 0.002 % |
2520.20/2521.20 c | 751273 | 394942 9444588 29265794 | 2147483647 751265 129 | 0.002 % |
2526.59/2527.63 c | 753751 | 394942 9444588 29265794 | 2147483647 753743 128 | 0.002 % |
2533.79/2534.85 c | 756476 | 394942 9444588 29265794 | 2147483647 756468 128 | 0.002 % |
2542.78/2543.84 c | 759473 | 394942 9444588 29265794 | 2147483647 759465 128 | 0.002 % |
2549.58/2550.68 c | 762770 | 394942 9444588 29265794 | 2147483647 762762 128 | 0.002 % |
2559.48/2560.56 c | 766395 | 394942 9444588 29265794 | 2147483647 766387 128 | 0.002 % |
2568.48/2569.58 c | 770382 | 394942 9444588 29265794 | 2147483647 770374 128 | 0.002 % |
2579.48/2580.56 c | 774767 | 394942 9444588 29265794 | 2147483647 774759 128 | 0.002 % |
2590.87/2591.95 c | 779590 | 394942 9444588 29265794 | 2147483647 779582 127 | 0.002 % |
2603.27/2604.36 c | 784896 | 394942 9444588 29265794 | 2147483647 784888 128 | 0.002 % |
2614.56/2615.68 c | 790731 | 394942 9444588 29265794 | 2147483647 790723 127 | 0.002 % |
2628.16/2629.27 c | 797152 | 394942 9444588 29265794 | 2147483647 797144 127 | 0.002 % |
2642.46/2643.59 c | 804211 | 394942 9444588 29265794 | 2147483647 804203 126 | 0.002 % |
2642.86/2643.93 c | 804311 | 394942 9444588 29265794 | 2147483647 804303 126 | 0.002 % |
2643.26/2644.32 c | 804422 | 394942 9444588 29265794 | 2147483647 804414 126 | 0.002 % |
2643.65/2644.78 c | 804544 | 394942 9444588 29265794 | 2147483647 804536 126 | 0.002 % |
2644.15/2645.27 c | 804678 | 394942 9444588 29265794 | 2147483647 804670 126 | 0.002 % |
2644.75/2645.85 c | 804824 | 394942 9444588 29265794 | 2147483647 804816 126 | 0.002 % |
2645.35/2646.42 c | 804984 | 394942 9444588 29265794 | 2147483647 804976 126 | 0.002 % |
2646.05/2647.15 c | 805162 | 394942 9444588 29265794 | 2147483647 805154 126 | 0.002 % |
2646.85/2647.92 c | 805356 | 394942 9444588 29265794 | 2147483647 805348 126 | 0.002 % |
2647.45/2648.57 c | 805569 | 394942 9444588 29265794 | 2147483647 805561 126 | 0.002 % |
2648.65/2649.72 c | 805802 | 394942 9444588 29265794 | 2147483647 805794 126 | 0.002 % |
2649.55/2650.66 c | 806058 | 394942 9444588 29265794 | 2147483647 806050 126 | 0.002 % |
2650.75/2651.89 c | 806339 | 394942 9444588 29265794 | 2147483647 806331 126 | 0.002 % |
2651.55/2652.65 c | 806650 | 394942 9444588 29265794 | 2147483647 806642 126 | 0.002 % |
2652.55/2653.60 c | 806989 | 394942 9444588 29265794 | 2147483647 806981 126 | 0.002 % |
2653.75/2654.83 c | 807362 | 394942 9444588 29265794 | 2147483647 807354 126 | 0.002 % |
2654.85/2655.99 c | 807772 | 394942 9444588 29265794 | 2147483647 807764 126 | 0.002 % |
2656.05/2657.12 c | 808221 | 394942 9444588 29265794 | 2147483647 808213 125 | 0.002 % |
2657.05/2658.14 c | 808714 | 394942 9444588 29265794 | 2147483647 808706 125 | 0.002 % |
2658.25/2659.31 c | 809257 | 394942 9444588 29265794 | 2147483647 809249 125 | 0.002 % |
2659.65/2660.70 c | 809853 | 394942 9444588 29265794 | 2147483647 809845 125 | 0.002 % |
2661.15/2662.21 c | 810508 | 394942 9444588 29265794 | 2147483647 810500 125 | 0.002 % |
2662.85/2663.98 c | 811228 | 394942 9444588 29265794 | 2147483647 811220 125 | 0.002 % |
2664.95/2666.04 c | 812020 | 394942 9444588 29265794 | 2147483647 812012 125 | 0.002 % |
2667.65/2668.75 c | 812891 | 394942 9444588 29265794 | 2147483647 812883 125 | 0.002 % |
2670.15/2671.21 c | 813850 | 394942 9444588 29265794 | 2147483647 813842 125 | 0.002 % |
2672.55/2673.67 c | 814904 | 394942 9444588 29265794 | 2147483647 814896 125 | 0.002 % |
2675.85/2676.98 c | 816062 | 394942 9444588 29265794 | 2147483647 816054 125 | 0.002 % |
2678.94/2680.03 c | 817337 | 394942 9444588 29265794 | 2147483647 817329 125 | 0.002 % |
2682.74/2683.80 c | 818737 | 394942 9444588 29265794 | 2147483647 818729 125 | 0.002 % |
2686.54/2687.63 c | 820277 | 394942 9444588 29265794 | 2147483647 820269 124 | 0.002 % |
2690.64/2691.77 c | 821972 | 394942 9444588 29265794 | 2147483647 821964 124 | 0.002 % |
2695.74/2696.88 c | 823835 | 394942 9444588 29265794 | 2147483647 823827 124 | 0.002 % |
2701.64/2702.74 c | 825885 | 394942 9444588 29265794 | 2147483647 825877 125 | 0.002 % |
2706.44/2707.57 c | 828138 | 394942 9444588 29265794 | 2147483647 828130 124 | 0.002 % |
2711.83/2712.98 c | 830617 | 394942 9444588 29265794 | 2147483647 830609 124 | 0.002 % |
2718.73/2719.81 c | 833342 | 394942 9444588 29265794 | 2147483647 833334 124 | 0.002 % |
2725.84/2727.00 c | 836339 | 394942 9444588 29265794 | 2147483647 836331 124 | 0.002 % |
2731.63/2732.79 c | 839635 | 394942 9444588 29265794 | 2147483647 839627 124 | 0.002 % |
2740.32/2741.46 c | 843262 | 394942 9444588 29265794 | 2147483647 843254 123 | 0.002 % |
2748.42/2749.55 c | 847250 | 394942 9444588 29265794 | 2147483647 847242 123 | 0.002 % |
2757.42/2758.52 c | 851637 | 394942 9444588 29265794 | 2147483647 851629 123 | 0.002 % |
2769.12/2770.20 c | 856460 | 394942 9444588 29265794 | 2147483647 856452 122 | 0.002 % |
2782.31/2783.46 c | 861765 | 394942 9444588 29265794 | 2147483647 861757 122 | 0.002 % |
2797.40/2798.55 c | 867600 | 394942 9444588 29265794 | 2147483647 867592 122 | 0.002 % |
2813.40/2814.56 c | 874018 | 394942 9444588 29265794 | 2147483647 874010 121 | 0.002 % |
2827.90/2829.05 c | 881077 | 394942 9444588 29265794 | 2147483647 881069 121 | 0.002 % |
2845.49/2846.64 c | 888841 | 394942 9444588 29265794 | 2147483647 888833 124 | 0.002 % |
2846.09/2847.23 c | 888941 | 394942 9444588 29265794 | 2147483647 888933 124 | 0.002 % |
2846.79/2847.97 c | 889052 | 394942 9444588 29265794 | 2147483647 889044 124 | 0.002 % |
2848.19/2849.37 c | 889173 | 394942 9444588 29265794 | 2147483647 889165 124 | 0.002 % |
2848.99/2850.18 c | 889306 | 394942 9444588 29265794 | 2147483647 889298 124 | 0.002 % |
2849.89/2851.09 c | 889452 | 394942 9444588 29265794 | 2147483647 889444 124 | 0.002 % |
2850.59/2851.75 c | 889612 | 394942 9444588 29265794 | 2147483647 889604 124 | 0.002 % |
2851.29/2852.46 c | 889791 | 394942 9444588 29265794 | 2147483647 889783 124 | 0.002 % |
2852.09/2853.21 c | 889984 | 394942 9444588 29265794 | 2147483647 889976 124 | 0.002 % |
2854.49/2855.63 c | 890196 | 394942 9444588 29265794 | 2147483647 890188 124 | 0.002 % |
2856.59/2857.72 c | 890431 | 394942 9444588 29265794 | 2147483647 890423 124 | 0.002 % |
2858.59/2859.70 c | 890687 | 394942 9444588 29265794 | 2147483647 890679 124 | 0.002 % |
2860.19/2861.32 c | 890968 | 394942 9444588 29265794 | 2147483647 890960 124 | 0.002 % |
2862.99/2864.17 c | 891277 | 394942 9444588 29265794 | 2147483647 891269 124 | 0.002 % |
2864.48/2865.68 c | 891616 | 394942 9444588 29265794 | 2147483647 891608 124 | 0.002 % |
2866.38/2867.52 c | 891989 | 394942 9444588 29265794 | 2147483647 891981 124 | 0.002 % |
2867.69/2868.83 c | 892398 | 394942 9444588 29265794 | 2147483647 892390 124 | 0.002 % |
2869.18/2870.32 c | 892847 | 394942 9444588 29265794 | 2147483647 892839 125 | 0.002 % |
2870.38/2871.54 c | 893340 | 394942 9444588 29265794 | 2147483647 893332 125 | 0.002 % |
2871.48/2872.69 c | 893883 | 394942 9444588 29265794 | 2147483647 893875 125 | 0.002 % |
2874.18/2875.32 c | 894479 | 394942 9444588 29265794 | 2147483647 894471 125 | 0.002 % |
2876.67/2877.83 c | 895134 | 394942 9444588 29265794 | 2147483647 895126 125 | 0.002 % |
2878.97/2880.16 c | 895854 | 394942 9444588 29265794 | 2147483647 895846 125 | 0.002 % |
2881.67/2882.86 c | 896646 | 394942 9444588 29265794 | 2147483647 896638 125 | 0.002 % |
2883.68/2884.89 c | 897518 | 394942 9444588 29265794 | 2147483647 897510 125 | 0.002 % |
2885.67/2886.80 c | 898477 | 394942 9444588 29265794 | 2147483647 898469 125 | 0.002 % |
2889.27/2890.46 c | 899530 | 394942 9444588 29265794 | 2147483647 899522 124 | 0.002 % |
2892.47/2893.60 c | 900689 | 394942 9444588 29265794 | 2147483647 900681 125 | 0.002 % |
2896.07/2897.27 c | 901962 | 394942 9444588 29265794 | 2147483647 901954 125 | 0.002 % |
2899.96/2901.12 c | 903363 | 394942 9444588 29265794 | 2147483647 903355 125 | 0.002 % |
2904.07/2905.23 c | 904903 | 394942 9444588 29265794 | 2147483647 904895 125 | 0.002 % |
2909.17/2910.38 c | 906597 | 394942 9444588 29265794 | 2147483647 906589 124 | 0.002 % |
2914.17/2915.37 c | 908462 | 394942 9444588 29265794 | 2147483647 908454 124 | 0.002 % |
2920.56/2921.73 c | 910511 | 394942 9444588 29265794 | 2147483647 910503 124 | 0.002 % |
2925.36/2926.59 c | 912764 | 394942 9444588 29265794 | 2147483647 912756 124 | 0.002 % |
2936.45/2937.62 c | 915243 | 394942 9444588 29265794 | 2147483647 915235 124 | 0.002 % |
2947.16/2948.37 c | 917968 | 394942 9444588 29265794 | 2147483647 917960 124 | 0.002 % |
2956.45/2957.66 c | 920969 | 394942 9444588 29265794 | 2147483647 920961 124 | 0.002 % |
2962.95/2964.16 c | 924267 | 394942 9444588 29265794 | 2147483647 924259 124 | 0.002 % |
2973.25/2974.44 c | 927893 | 394942 9444588 29265794 | 2147483647 927885 125 | 0.002 % |
2981.34/2982.55 c | 931881 | 394942 9444588 29265794 | 2147483647 931873 125 | 0.002 % |
2992.64/2993.80 c | 936266 | 394942 9444588 29265794 | 2147483647 936258 125 | 0.002 % |
3007.44/3008.66 c | 941090 | 394942 9444588 29265794 | 2147483647 941082 125 | 0.002 % |
3024.13/3025.34 c | 946395 | 394942 9444588 29265794 | 2147483647 946387 127 | 0.002 % |
3040.93/3042.15 c | 952231 | 394942 9444588 29265794 | 2147483647 952223 127 | 0.002 % |
3057.42/3058.68 c | 958649 | 394942 9444588 29265794 | 2147483647 958641 127 | 0.002 % |
3069.62/3070.81 c | 965708 | 394942 9444588 29265794 | 2147483647 965700 127 | 0.002 % |
3088.01/3089.21 c | 973472 | 394942 9444588 29265794 | 2147483647 973464 126 | 0.002 % |
3110.51/3111.79 c | 982012 | 394942 9444588 29265794 | 2147483647 982004 126 | 0.002 % |
3111.91/3113.18 c | 982112 | 394942 9444588 29265794 | 2147483647 982104 126 | 0.002 % |
3112.71/3113.90 c | 982222 | 394942 9444588 29265794 | 2147483647 982214 126 | 0.002 % |
3113.50/3114.74 c | 982343 | 394942 9444588 29265794 | 2147483647 982335 126 | 0.002 % |
3113.91/3115.19 c | 982476 | 394942 9444588 29265794 | 2147483647 982468 126 | 0.002 % |
3114.60/3115.82 c | 982622 | 394942 9444588 29265794 | 2147483647 982614 126 | 0.002 % |
3117.31/3118.56 c | 982783 | 394942 9444588 29265794 | 2147483647 982775 126 | 0.002 % |
3118.40/3119.66 c | 982959 | 394942 9444588 29265794 | 2147483647 982951 126 | 0.002 % |
3119.20/3120.49 c | 983154 | 394942 9444588 29265794 | 2147483647 983146 126 | 0.002 % |
3120.10/3121.33 c | 983366 | 394942 9444588 29265794 | 2147483647 983358 126 | 0.002 % |
3121.20/3122.48 c | 983599 | 394942 9444588 29265794 | 2147483647 983591 126 | 0.002 % |
3122.20/3123.42 c | 983856 | 394942 9444588 29265794 | 2147483647 983848 126 | 0.002 % |
3123.00/3124.24 c | 984137 | 394942 9444588 29265794 | 2147483647 984129 126 | 0.002 % |
3124.60/3125.83 c | 984447 | 394942 9444588 29265794 | 2147483647 984439 126 | 0.002 % |
3125.90/3127.15 c | 984786 | 394942 9444588 29265794 | 2147483647 984778 126 | 0.002 % |
3126.90/3128.11 c | 985160 | 394942 9444588 29265794 | 2147483647 985152 126 | 0.002 % |
3129.00/3130.21 c | 985569 | 394942 9444588 29265794 | 2147483647 985561 126 | 0.002 % |
3131.89/3133.14 c | 986019 | 394942 9444588 29265794 | 2147483647 986011 126 | 0.002 % |
3136.69/3137.93 c | 986512 | 394942 9444588 29265794 | 2147483647 986504 126 | 0.002 % |
3139.79/3141.03 c | 987054 | 394942 9444588 29265794 | 2147483647 987046 126 | 0.002 % |
3142.99/3144.26 c | 987650 | 394942 9444588 29265794 | 2147483647 987642 125 | 0.002 % |
3145.50/3146.73 c | 988308 | 394942 9444588 29265794 | 2147483647 988300 125 | 0.002 % |
3148.59/3149.82 c | 989028 | 394942 9444588 29265794 | 2147483647 989020 125 | 0.002 % |
3151.79/3153.05 c | 989820 | 394942 9444588 29265794 | 2147483647 989812 125 | 0.002 % |
3158.39/3159.70 c | 990691 | 394942 9444588 29265794 | 2147483647 990683 125 | 0.002 % |
3161.98/3163.24 c | 991650 | 394942 9444588 29265794 | 2147483647 991642 125 | 0.002 % |
3165.88/3167.15 c | 992703 | 394942 9444588 29265794 | 2147483647 992695 125 | 0.002 % |
3171.19/3172.40 c | 993862 | 394942 9444588 29265794 | 2147483647 993854 125 | 0.002 % |
3174.09/3175.31 c | 995135 | 394942 9444588 29265794 | 2147483647 995127 125 | 0.002 % |
3178.59/3179.81 c | 996535 | 394942 9444588 29265794 | 2147483647 996527 125 | 0.002 % |
3182.58/3183.83 c | 998076 | 394942 9444588 29265794 | 2147483647 998068 125 | 0.002 % |
3189.98/3191.28 c | 999770 | 394942 9444588 29265794 | 2147483647 999762 125 | 0.002 % |
3195.29/3196.59 c | 1001633 | 394942 9444588 29265794 | 2147483647 1001625 125 | 0.002 % |
3203.18/3204.40 c | 1003685 | 394942 9444588 29265794 | 2147483647 1003677 125 | 0.002 % |
3208.97/3210.23 c | 1005940 | 394942 9444588 29265794 | 2147483647 1005932 127 | 0.002 % |
3215.87/3217.13 c | 1008419 | 394942 9444588 29265794 | 2147483647 1008411 127 | 0.002 % |
3222.57/3223.83 c | 1011144 | 394942 9444588 29265794 | 2147483647 1011136 128 | 0.002 % |
3230.47/3231.78 c | 1014141 | 394942 9444588 29265794 | 2147483647 1014133 128 | 0.002 % |
3243.27/3244.50 c | 1017440 | 394942 9444588 29265794 | 2147483647 1017432 128 | 0.002 % |
3252.06/3253.34 c | 1021066 | 394942 9444588 29265794 | 2147483647 1021058 129 | 0.002 % |
3268.26/3269.59 c | 1025055 | 394942 9444588 29265794 | 2147483647 1025047 129 | 0.002 % |
3285.75/3287.08 c | 1029440 | 394942 9444588 29265794 | 2147483647 1029432 129 | 0.002 % |
3307.45/3308.77 c | 1034263 | 394942 9444588 29265794 | 2147483647 1034255 131 | 0.002 % |
3322.74/3324.09 c | 1039568 | 394942 9444588 29265794 | 2147483647 1039560 131 | 0.002 % |
3342.44/3343.72 c | 1045403 | 394942 9444588 29265794 | 2147483647 1045395 135 | 0.002 % |
3360.73/3362.02 c | 1051821 | 394942 9444588 29265794 | 2147483647 1051813 135 | 0.002 % |
3386.43/3387.76 c | 1058881 | 394942 9444588 29265794 | 2147483647 1058873 135 | 0.002 % |
3405.22/3406.50 c | 1066645 | 394942 9444588 29265794 | 2147483647 1066637 135 | 0.002 % |
3432.01/3433.36 c | 1075188 | 394942 9444588 29265794 | 2147483647 1075180 135 | 0.002 % |
3449.61/3450.99 c | 1084584 | 394942 9444588 29265794 | 2147483647 1084576 138 | 0.002 % |
3451.21/3452.55 c | 1084684 | 394942 9444588 29265794 | 2147483647 1084676 138 | 0.002 % |
3452.11/3453.41 c | 1084794 | 394942 9444588 29265794 | 2147483647 1084786 138 | 0.002 % |
3452.71/3454.04 c | 1084918 | 394942 9444588 29265794 | 2147483647 1084910 138 | 0.002 % |
3454.41/3455.73 c | 1085051 | 394942 9444588 29265794 | 2147483647 1085043 138 | 0.002 % |
3455.81/3457.10 c | 1085197 | 394942 9444588 29265794 | 2147483647 1085189 138 | 0.002 % |
3457.51/3458.80 c | 1085357 | 394942 9444588 29265794 | 2147483647 1085349 138 | 0.002 % |
3459.50/3460.81 c | 1085533 | 394942 9444588 29265794 | 2147483647 1085525 138 | 0.002 % |
3460.70/3462.05 c | 1085726 | 394942 9444588 29265794 | 2147483647 1085718 138 | 0.002 % |
3461.80/3463.16 c | 1085940 | 394942 9444588 29265794 | 2147483647 1085932 138 | 0.002 % |
3463.61/3464.94 c | 1086173 | 394942 9444588 29265794 | 2147483647 1086165 138 | 0.002 % |
3464.80/3466.18 c | 1086429 | 394942 9444588 29265794 | 2147483647 1086421 138 | 0.002 % |
3467.90/3469.26 c | 1086712 | 394942 9444588 29265794 | 2147483647 1086704 138 | 0.002 % |
3470.50/3471.88 c | 1087022 | 394942 9444588 29265794 | 2147483647 1087014 138 | 0.002 % |
3472.10/3473.44 c | 1087365 | 394942 9444588 29265794 | 2147483647 1087357 138 | 0.002 % |
3475.60/3476.90 c | 1087737 | 394942 9444588 29265794 | 2147483647 1087729 138 | 0.002 % |
3478.70/3480.06 c | 1088146 | 394942 9444588 29265794 | 2147483647 1088138 138 | 0.002 % |
3480.49/3481.85 c | 1088601 | 394942 9444588 29265794 | 2147483647 1088593 138 | 0.002 % |
3482.89/3484.22 c | 1089094 | 394942 9444588 29265794 | 2147483647 1089086 138 | 0.002 % |
3485.89/3487.27 c | 1089636 | 394942 9444588 29265794 | 2147483647 1089628 138 | 0.002 % |
3488.89/3490.22 c | 1090232 | 394942 9444588 29265794 | 2147483647 1090224 138 | 0.002 % |
3490.99/3492.30 c | 1090887 | 394942 9444588 29265794 | 2147483647 1090879 138 | 0.002 % |
3494.28/3495.65 c | 1091607 | 394942 9444588 29265794 | 2147483647 1091599 138 | 0.002 % |
3497.18/3498.58 c | 1092403 | 394942 9444588 29265794 | 2147483647 1092395 138 | 0.002 % |
3502.09/3503.47 c | 1093274 | 394942 9444588 29265794 | 2147483647 1093266 138 | 0.002 % |
3503.99/3505.32 c | 1094232 | 394942 9444588 29265794 | 2147483647 1094224 138 | 0.002 % |
3507.28/3508.68 c | 1095288 | 394942 9444588 29265794 | 2147483647 1095280 138 | 0.002 % |
3510.48/3511.83 c | 1096446 | 394942 9444588 29265794 | 2147483647 1096438 138 | 0.002 % |
3515.69/3517.02 c | 1097720 | 394942 9444588 29265794 | 2147483647 1097712 138 | 0.002 % |
3522.38/3523.74 c | 1099123 | 394942 9444588 29265794 | 2147483647 1099115 138 | 0.002 % |
3526.58/3527.92 c | 1100663 | 394942 9444588 29265794 | 2147483647 1100655 138 | 0.002 % |
3532.08/3533.47 c | 1102357 | 394942 9444588 29265794 | 2147483647 1102349 138 | 0.002 % |
3541.78/3543.18 c | 1104221 | 394942 9444588 29265794 | 2147483647 1104213 138 | 0.002 % |
3549.07/3550.43 c | 1106277 | 394942 9444588 29265794 | 2147483647 1106269 138 | 0.002 % |
3558.17/3559.54 c | 1108530 | 394942 9444588 29265794 | 2147483647 1108522 138 | 0.002 % |
3566.57/3567.96 c | 1111008 | 394942 9444588 29265794 | 2147483647 1111000 139 | 0.002 % |
3577.46/3578.82 c | 1113733 | 394942 9444588 29265794 | 2147483647 1113725 139 | 0.002 % |
3588.96/3590.36 c | 1116730 | 394942 9444588 29265794 | 2147483647 1116722 139 | 0.002 % |
3603.26/3604.66 c | 1120027 | 394942 9444588 29265794 | 2147483647 1120019 139 | 0.002 % |
3614.35/3615.74 c | 1123652 | 394942 9444588 29265794 | 2147483647 1123644 139 | 0.002 % |
3623.65/3625.00 c | 1127641 | 394942 9444588 29265794 | 2147483647 1127633 139 | 0.002 % |
3632.55/3633.96 c | 1132026 | 394942 9444588 29265794 | 2147483647 1132018 139 | 0.002 % |
3647.74/3649.11 c | 1136850 | 394942 9444588 29265794 | 2147483647 1136842 140 | 0.002 % |
3668.64/3670.04 c | 1142156 | 394942 9444588 29265794 | 2147483647 1142148 140 | 0.002 % |
3687.63/3689.02 c | 1147991 | 394942 9444588 29265794 | 2147483647 1147983 139 | 0.002 % |
3706.62/3708.02 c | 1154409 | 394942 9444588 29265794 | 2147483647 1154401 139 | 0.002 % |
3721.12/3722.56 c | 1161468 | 394942 9444588 29265794 | 2147483647 1161460 139 | 0.002 % |
3743.41/3744.81 c | 1169232 | 394942 9444588 29265794 | 2147483647 1169224 139 | 0.002 % |
3773.60/3775.01 c | 1177772 | 394942 9444588 29265794 | 2147483647 1177764 139 | 0.002 % |
3802.99/3804.40 c | 1187166 | 394942 9444588 29265794 | 2147483647 1187158 139 | 0.002 % |
3837.69/3839.17 c | 1197501 | 394942 9444588 29265794 | 2147483647 1197493 139 | 0.002 % |
3839.69/3841.17 c | 1197602 | 394942 9444588 29265794 | 2147483647 1197594 139 | 0.002 % |
3840.69/3842.13 c | 1197713 | 394942 9444588 29265794 | 2147483647 1197705 139 | 0.002 % |
3841.79/3843.25 c | 1197835 | 394942 9444588 29265794 | 2147483647 1197827 139 | 0.002 % |
3843.59/3845.01 c | 1197968 | 394942 9444588 29265794 | 2147483647 1197960 139 | 0.002 % |
3844.49/3845.99 c | 1198115 | 394942 9444588 29265794 | 2147483647 1198107 139 | 0.002 % |
3845.39/3846.88 c | 1198276 | 394942 9444588 29265794 | 2147483647 1198268 139 | 0.002 % |
3846.69/3848.15 c | 1198453 | 394942 9444588 29265794 | 2147483647 1198445 139 | 0.002 % |
3847.99/3849.48 c | 1198646 | 394942 9444588 29265794 | 2147483647 1198638 139 | 0.002 % |
3849.59/3851.03 c | 1198858 | 394942 9444588 29265794 | 2147483647 1198850 139 | 0.002 % |
3850.98/3852.49 c | 1199091 | 394942 9444588 29265794 | 2147483647 1199083 139 | 0.002 % |
3852.68/3854.17 c | 1199347 | 394942 9444588 29265794 | 2147483647 1199339 139 | 0.002 % |
3854.88/3856.37 c | 1199628 | 394942 9444588 29265794 | 2147483647 1199620 139 | 0.002 % |
3856.38/3857.82 c | 1199938 | 394942 9444588 29265794 | 2147483647 1199930 139 | 0.002 % |
3858.68/3860.11 c | 1200277 | 394942 9444588 29265794 | 2147483647 1200269 139 | 0.002 % |
3860.18/3861.65 c | 1200650 | 394942 9444588 29265794 | 2147483647 1200642 139 | 0.002 % |
3862.98/3864.49 c | 1201060 | 394942 9444588 29265794 | 2147483647 1201052 139 | 0.002 % |
3864.88/3866.36 c | 1201509 | 394942 9444588 29265794 | 2147483647 1201501 139 | 0.002 % |
3868.29/3869.75 c | 1202002 | 394942 9444588 29265794 | 2147483647 1201994 139 | 0.002 % |
3873.28/3874.73 c | 1202545 | 394941 9444496 29265392 | 2147483647 1202536 139 | 0.002 % |
3878.68/3880.11 c | 1203141 | 394941 9444496 29265392 | 2147483647 1203132 139 | 0.002 % |
3881.68/3883.11 c | 1203797 | 394941 9444496 29265392 | 2147483647 1203788 139 | 0.002 % |
3887.08/3888.51 c | 1204517 | 394941 9444496 29265392 | 2147483647 1204508 139 | 0.002 % |
3891.47/3892.91 c | 1205310 | 394941 9444496 29265392 | 2147483647 1205301 139 | 0.002 % |
3894.37/3895.80 c | 1206181 | 394941 9444496 29265392 | 2147483647 1206172 139 | 0.002 % |
3897.17/3898.65 c | 1207139 | 394941 9444496 29265392 | 2147483647 1207130 139 | 0.002 % |
3899.87/3901.32 c | 1208192 | 394941 9444496 29265392 | 2147483647 1208183 139 | 0.002 % |
3902.97/3904.47 c | 1209350 | 394941 9444496 29265392 | 2147483647 1209341 139 | 0.002 % |
3907.57/3909.02 c | 1210623 | 394941 9444496 29265392 | 2147483647 1210614 139 | 0.002 % |
3912.87/3914.33 c | 1212026 | 394941 9444496 29265392 | 2147483647 1212017 139 | 0.002 % |
3918.06/3919.55 c | 1213566 | 394941 9444496 29265392 | 2147483647 1213557 139 | 0.002 % |
3928.05/3929.51 c | 1215261 | 394941 9444496 29265392 | 2147483647 1215252 139 | 0.002 % |
3933.06/3934.56 c | 1217126 | 394941 9444496 29265392 | 2147483647 1217117 139 | 0.002 % |
3938.96/3940.42 c | 1219175 | 394941 9444496 29265392 | 2147483647 1219166 139 | 0.002 % |
3945.75/3947.26 c | 1221428 | 394941 9444496 29265392 | 2147483647 1221419 139 | 0.002 % |
3952.35/3953.87 c | 1223906 | 394941 9444496 29265392 | 2147483647 1223897 139 | 0.002 % |
3963.35/3964.87 c | 1226631 | 394941 9444496 29265392 | 2147483647 1226622 139 | 0.002 % |
3976.24/3977.70 c | 1229634 | 394941 9444496 29265392 | 2147483647 1229625 139 | 0.002 % |
3989.74/3991.26 c | 1232930 | 394941 9444496 29265392 | 2147483647 1232921 139 | 0.002 % |
4002.45/4003.98 c | 1236555 | 394941 9444496 29265392 | 2147483647 1236546 139 | 0.002 % |
4013.73/4015.29 c | 1240543 | 394941 9444496 29265392 | 2147483647 1240534 140 | 0.002 % |
4027.43/4028.93 c | 1244928 | 394941 9444496 29265392 | 2147483647 1244919 141 | 0.002 % |
4041.83/4043.37 c | 1249751 | 394941 9444496 29265392 | 2147483647 1249742 140 | 0.002 % |
4060.42/4061.95 c | 1255056 | 394941 9444496 29265392 | 2147483647 1255047 140 | 0.002 % |
4091.12/4092.64 c | 1260891 | 394941 9444496 29265392 | 2147483647 1260882 141 | 0.002 % |
4110.01/4111.51 c | 1267310 | 394941 9444496 29265392 | 2147483647 1267301 141 | 0.002 % |
4127.40/4128.90 c | 1274370 | 394941 9444496 29265392 | 2147483647 1274361 141 | 0.002 % |
4147.89/4149.49 c | 1282134 | 394941 9444496 29265392 | 2147483647 1282125 142 | 0.002 % |
4163.29/4164.82 c | 1290674 | 394941 9444496 29265392 | 2147483647 1290665 143 | 0.002 % |
4183.99/4185.57 c | 1300069 | 394941 9444496 29265392 | 2147483647 1300060 144 | 0.002 % |
4210.77/4212.38 c | 1310402 | 394941 9444496 29265392 | 2147483647 1310393 146 | 0.002 % |
4249.26/4250.85 c | 1321768 | 394941 9444496 29265392 | 2147483647 1321759 146 | 0.002 % |
4249.97/4251.53 c | 1321868 | 394941 9444496 29265392 | 2147483647 1321859 146 | 0.002 % |
4250.56/4252.18 c | 1321978 | 394941 9444496 29265392 | 2147483647 1321969 146 | 0.002 % |
4251.16/4252.80 c | 1322101 | 394941 9444496 29265392 | 2147483647 1322092 146 | 0.002 % |
4252.66/4254.23 c | 1322237 | 394941 9444496 29265392 | 2147483647 1322228 146 | 0.002 % |
4253.26/4254.89 c | 1322384 | 394941 9444496 29265392 | 2147483647 1322375 146 | 0.002 % |
4254.46/4256.06 c | 1322544 | 394941 9444496 29265392 | 2147483647 1322535 146 | 0.002 % |
4256.16/4257.75 c | 1322720 | 394941 9444496 29265392 | 2147483647 1322711 146 | 0.002 % |
4258.77/4260.37 c | 1322913 | 394941 9444496 29265392 | 2147483647 1322904 146 | 0.002 % |
4260.17/4261.80 c | 1323125 | 394941 9444496 29265392 | 2147483647 1323116 146 | 0.002 % |
4261.97/4263.55 c | 1323359 | 394941 9444496 29265392 | 2147483647 1323350 146 | 0.002 % |
4262.76/4264.35 c | 1323615 | 394941 9444496 29265392 | 2147483647 1323606 146 | 0.002 % |
4264.76/4266.33 c | 1323896 | 394941 9444496 29265392 | 2147483647 1323887 146 | 0.002 % |
4266.56/4268.19 c | 1324206 | 394941 9444496 29265392 | 2147483647 1324197 146 | 0.002 % |
4267.86/4269.42 c | 1324546 | 394941 9444496 29265392 | 2147483647 1324537 146 | 0.002 % |
4270.56/4272.11 c | 1324919 | 394941 9444496 29265392 | 2147483647 1324910 146 | 0.002 % |
4273.25/4274.86 c | 1325330 | 394941 9444496 29265392 | 2147483647 1325321 146 | 0.002 % |
4275.05/4276.70 c | 1325779 | 394941 9444496 29265392 | 2147483647 1325770 146 | 0.002 % |
4277.94/4279.55 c | 1326274 | 394941 9444496 29265392 | 2147483647 1326265 146 | 0.002 % |
4281.14/4282.77 c | 1326816 | 394941 9444496 29265392 | 2147483647 1326807 146 | 0.002 % |
4283.54/4285.10 c | 1327412 | 394941 9444496 29265392 | 2147483647 1327403 146 | 0.002 % |
4285.55/4287.20 c | 1328068 | 394941 9444496 29265392 | 2147483647 1328059 146 | 0.002 % |
4292.15/4293.78 c | 1328788 | 394941 9444496 29265392 | 2147483647 1328779 146 | 0.002 % |
4295.74/4297.33 c | 1329582 | 394941 9444496 29265392 | 2147483647 1329573 146 | 0.002 % |
4303.14/4304.71 c | 1330453 | 394941 9444496 29265392 | 2147483647 1330444 146 | 0.002 % |
4308.73/4310.35 c | 1331413 | 394941 9444496 29265392 | 2147483647 1331404 146 | 0.002 % |
4315.23/4316.86 c | 1332466 | 394941 9444496 29265392 | 2147483647 1332457 146 | 0.002 % |
4321.93/4323.52 c | 1333628 | 394941 9444496 29265392 | 2147483647 1333619 146 | 0.002 % |
4328.12/4329.71 c | 1334905 | 394941 9444496 29265392 | 2147483647 1334896 146 | 0.002 % |
4334.03/4335.68 c | 1336305 | 394941 9444496 29265392 | 2147483647 1336296 146 | 0.002 % |
4339.22/4340.81 c | 1337847 | 394941 9444496 29265392 | 2147483647 1337838 147 | 0.002 % |
4346.32/4347.92 c | 1339541 | 394941 9444496 29265392 | 2147483647 1339532 147 | 0.002 % |
4357.41/4359.08 c | 1341405 | 394941 9444496 29265392 | 2147483647 1341396 147 | 0.002 % |
4367.11/4368.76 c | 1343457 | 394941 9444496 29265392 | 2147483647 1343448 147 | 0.002 % |
4373.11/4374.77 c | 1345710 | 394941 9444496 29265392 | 2147483647 1345701 147 | 0.002 % |
4383.81/4385.49 c | 1348188 | 394941 9444496 29265392 | 2147483647 1348179 148 | 0.002 % |
4394.51/4396.14 c | 1350914 | 394941 9444496 29265392 | 2147483647 1350905 148 | 0.002 % |
4403.50/4405.12 c | 1353911 | 394941 9444496 29265392 | 2147483647 1353902 149 | 0.002 % |
4415.20/4416.87 c | 1357210 | 394941 9444496 29265392 | 2147483647 1357201 149 | 0.002 % |
4433.60/4435.23 c | 1360836 | 394941 9444496 29265392 | 2147483647 1360827 149 | 0.002 % |
4447.58/4449.21 c | 1364823 | 394941 9444496 29265392 | 2147483647 1364814 149 | 0.002 % |
4457.38/4459.07 c | 1369209 | 394941 9444496 29265392 | 2147483647 1369200 150 | 0.002 % |
4470.08/4471.78 c | 1374033 | 394941 9444496 29265392 | 2147483647 1374024 150 | 0.002 % |
4487.17/4488.83 c | 1379339 | 394941 9444496 29265392 | 2147483647 1379330 151 | 0.002 % |
4505.17/4506.85 c | 1385174 | 394941 9444496 29265392 | 2147483647 1385165 151 | 0.002 % |
4524.07/4525.70 c | 1391592 | 394941 9444496 29265392 | 2147483647 1391583 152 | 0.002 % |
4545.76/4547.47 c | 1398652 | 394941 9444496 29265392 | 2147483647 1398643 152 | 0.002 % |
4572.15/4573.86 c | 1406416 | 394941 9444496 29265392 | 2147483647 1406407 151 | 0.002 % |
4599.24/4600.97 c | 1414957 | 394941 9444496 29265392 | 2147483647 1414948 151 | 0.002 % |
4629.94/4631.61 c | 1424353 | 394941 9444496 29265392 | 2147483647 1424344 150 | 0.002 % |
4663.33/4665.06 c | 1434686 | 394941 9444496 29265392 | 2147483647 1434677 150 | 0.002 % |
4703.21/4704.90 c | 1446052 | 394941 9444496 29265392 | 2147483647 1446043 149 | 0.002 % |
4740.70/4742.47 c | 1458554 | 394941 9444496 29265392 | 2147483647 1458545 151 | 0.002 % |
4741.90/4743.62 c | 1458654 | 394941 9444496 29265392 | 2147483647 1458645 151 | 0.002 % |
4742.70/4744.50 c | 1458765 | 394941 9444496 29265392 | 2147483647 1458756 151 | 0.002 % |
4743.40/4745.11 c | 1458886 | 394941 9444496 29265392 | 2147483647 1458877 151 | 0.002 % |
4744.00/4745.79 c | 1459019 | 394941 9444496 29265392 | 2147483647 1459010 151 | 0.002 % |
4745.30/4747.01 c | 1459165 | 394941 9444496 29265392 | 2147483647 1459156 151 | 0.002 % |
4746.40/4748.17 c | 1459325 | 394941 9444496 29265392 | 2147483647 1459316 151 | 0.002 % |
4747.10/4748.82 c | 1459501 | 394941 9444496 29265392 | 2147483647 1459492 151 | 0.002 % |
4748.30/4750.05 c | 1459694 | 394941 9444496 29265392 | 2147483647 1459685 151 | 0.002 % |
4749.50/4751.27 c | 1459906 | 394941 9444496 29265392 | 2147483647 1459897 151 | 0.002 % |
4750.69/4752.44 c | 1460139 | 394941 9444496 29265392 | 2147483647 1460130 151 | 0.002 % |
4751.80/4753.57 c | 1460397 | 394941 9444496 29265392 | 2147483647 1460388 151 | 0.002 % |
4753.20/4754.96 c | 1460681 | 394941 9444496 29265392 | 2147483647 1460672 151 | 0.002 % |
4754.50/4756.26 c | 1460992 | 394941 9444496 29265392 | 2147483647 1460983 151 | 0.002 % |
4756.00/4757.73 c | 1461331 | 394941 9444496 29265392 | 2147483647 1461322 151 | 0.002 % |
4757.50/4759.26 c | 1461703 | 394941 9444496 29265392 | 2147483647 1461694 151 | 0.002 % |
4759.40/4761.16 c | 1462112 | 394941 9444496 29265392 | 2147483647 1462103 151 | 0.002 % |
4761.00/4762.74 c | 1462561 | 394941 9444496 29265392 | 2147483647 1462552 151 | 0.002 % |
4763.59/4765.36 c | 1463056 | 394941 9444496 29265392 | 2147483647 1463047 151 | 0.002 % |
4767.90/4769.66 c | 1463598 | 394941 9444496 29265392 | 2147483647 1463589 151 | 0.002 % |
4770.99/4772.74 c | 1464195 | 394941 9444496 29265392 | 2147483647 1464186 151 | 0.002 % |
4775.69/4777.47 c | 1464850 | 394941 9444496 29265392 | 2147483647 1464841 151 | 0.002 % |
4779.08/4780.88 c | 1465570 | 394941 9444496 29265392 | 2147483647 1465561 151 | 0.002 % |
4783.89/4785.63 c | 1466362 | 394941 9444496 29265392 | 2147483647 1466353 151 | 0.002 % |
4787.09/4788.80 c | 1467233 | 394941 9444496 29265392 | 2147483647 1467224 151 | 0.002 % |
4789.89/4791.60 c | 1468192 | 394941 9444496 29265392 | 2147483647 1468183 151 | 0.002 % |
4793.49/4795.20 c | 1469246 | 394941 9444496 29265392 | 2147483647 1469237 151 | 0.002 % |
4796.68/4798.40 c | 1470404 | 394941 9444496 29265392 | 2147483647 1470395 151 | 0.002 % |
4800.58/4802.40 c | 1471677 | 394941 9444496 29265392 | 2147483647 1471668 151 | 0.002 % |
4804.68/4806.40 c | 1473078 | 394941 9444496 29265392 | 2147483647 1473069 151 | 0.002 % |
4812.38/4814.12 c | 1474621 | 394941 9444496 29265392 | 2147483647 1474612 151 | 0.002 % |
4819.37/4821.18 c | 1476315 | 394941 9444496 29265392 | 2147483647 1476306 151 | 0.002 % |
4826.58/4828.39 c | 1478179 | 394941 9444496 29265392 | 2147483647 1478170 151 | 0.002 % |
4834.77/4836.52 c | 1480229 | 394941 9444496 29265392 | 2147483647 1480220 151 | 0.002 % |
4843.67/4845.41 c | 1482482 | 394941 9444496 29265392 | 2147483647 1482473 151 | 0.002 % |
4857.26/4859.04 c | 1484960 | 394941 9444496 29265392 | 2147483647 1484951 151 | 0.002 % |
4865.86/4867.60 c | 1487687 | 394941 9444496 29265392 | 2147483647 1487678 151 | 0.002 % |
4876.66/4878.45 c | 1490693 | 394941 9444496 29265392 | 2147483647 1490684 151 | 0.002 % |
4883.45/4885.26 c | 1493990 | 394941 9444496 29265392 | 2147483647 1493981 151 | 0.002 % |
4895.45/4897.26 c | 1497616 | 394941 9444496 29265392 | 2147483647 1497607 151 | 0.002 % |
4907.45/4909.27 c | 1501603 | 394941 9444496 29265392 | 2147483647 1501594 151 | 0.002 % |
4921.24/4923.09 c | 1505989 | 394941 9444496 29265392 | 2147483647 1505980 153 | 0.002 % |
4933.84/4935.67 c | 1510812 | 394941 9444496 29265392 | 2147483647 1510803 154 | 0.002 % |
4949.53/4951.32 c | 1516117 | 394941 9444496 29265392 | 2147483647 1516108 154 | 0.002 % |
4968.13/4969.97 c | 1521952 | 394941 9444496 29265392 | 2147483647 1521943 155 | 0.002 % |
4990.12/4991.92 c | 1528370 | 394941 9444496 29265392 | 2147483647 1528361 155 | 0.002 % |
5010.21/5012.09 c | 1535430 | 394941 9444496 29265392 | 2147483647 1535421 157 | 0.002 % |
5033.61/5035.42 c | 1543194 | 394941 9444496 29265392 | 2147483647 1543185 157 | 0.002 % |
5066.00/5067.83 c | 1551734 | 394941 9444496 29265392 | 2147483647 1551725 158 | 0.002 % |
5087.39/5089.26 c | 1561128 | 394941 9444496 29265392 | 2147483647 1561119 159 | 0.002 % |
5114.58/5116.44 c | 1571462 | 394941 9444496 29265392 | 2147483647 1571453 162 | 0.002 % |
5146.08/5147.92 c | 1582829 | 394941 9444496 29265392 | 2147483647 1582820 167 | 0.002 % |
5178.66/5180.55 c | 1595332 | 394941 9444496 29265392 | 2147483647 1595323 167 | 0.002 % |
5229.95/5231.88 c | 1609087 | 394941 9444496 29265392 | 2147483647 1609078 167 | 0.002 % |
5231.35/5233.26 c | 1609187 | 394941 9444496 29265392 | 2147483647 1609178 167 | 0.002 % |
5232.45/5234.39 c | 1609297 | 394941 9444496 29265392 | 2147483647 1609288 167 | 0.002 % |
5233.45/5235.39 c | 1609418 | 394941 9444496 29265392 | 2147483647 1609409 167 | 0.002 % |
5234.15/5236.08 c | 1609551 | 394941 9444496 29265392 | 2147483647 1609542 167 | 0.002 % |
5235.55/5237.47 c | 1609697 | 394941 9444496 29265392 | 2147483647 1609688 167 | 0.002 % |
5236.25/5238.18 c | 1609857 | 394941 9444496 29265392 | 2147483647 1609848 167 | 0.002 % |
5237.74/5239.63 c | 1610033 | 394941 9444496 29265392 | 2147483647 1610024 167 | 0.002 % |
5239.34/5241.22 c | 1610226 | 394941 9444496 29265392 | 2147483647 1610217 167 | 0.002 % |
5240.75/5242.63 c | 1610442 | 394941 9444496 29265392 | 2147483647 1610433 167 | 0.002 % |
5242.54/5244.43 c | 1610676 | 394941 9444496 29265392 | 2147483647 1610667 167 | 0.002 % |
5243.95/5245.87 c | 1610933 | 394941 9444496 29265392 | 2147483647 1610924 166 | 0.002 % |
5245.35/5247.28 c | 1611214 | 394941 9444496 29265392 | 2147483647 1611205 166 | 0.002 % |
5247.05/5248.91 c | 1611523 | 394941 9444496 29265392 | 2147483647 1611514 166 | 0.002 % |
5250.05/5251.97 c | 1611863 | 394941 9444496 29265392 | 2147483647 1611854 166 | 0.002 % |
5251.84/5253.70 c | 1612235 | 394941 9444496 29265392 | 2147483647 1612226 166 | 0.002 % |
5253.44/5255.34 c | 1612646 | 394941 9444496 29265392 | 2147483647 1612637 166 | 0.002 % |
5258.25/5260.16 c | 1613095 | 394941 9444496 29265392 | 2147483647 1613086 166 | 0.002 % |
5262.24/5264.15 c | 1613590 | 394941 9444496 29265392 | 2147483647 1613581 166 | 0.002 % |
5267.64/5269.51 c | 1614132 | 394941 9444496 29265392 | 2147483647 1614123 166 | 0.002 % |
5271.24/5273.12 c | 1614728 | 394941 9444496 29265392 | 2147483647 1614719 166 | 0.002 % |
5276.34/5278.22 c | 1615384 | 394941 9444496 29265392 | 2147483647 1615375 166 | 0.002 % |
5281.93/5283.88 c | 1616104 | 394941 9444496 29265392 | 2147483647 1616095 166 | 0.002 % |
5284.74/5286.62 c | 1616898 | 394941 9444496 29265392 | 2147483647 1616889 166 | 0.002 % |
5287.54/5289.43 c | 1617770 | 394941 9444496 29265392 | 2147483647 1617761 166 | 0.002 % |
5293.44/5295.35 c | 1618731 | 394941 9444496 29265392 | 2147483647 1618722 166 | 0.002 % |
5297.73/5299.60 c | 1619784 | 394941 9444496 29265392 | 2147483647 1619775 167 | 0.002 % |
5304.43/5306.37 c | 1620943 | 394941 9444496 29265392 | 2147483647 1620934 167 | 0.002 % |
5309.93/5311.85 c | 1622216 | 394941 9444496 29265392 | 2147483647 1622207 167 | 0.002 % |
5320.82/5322.75 c | 1623617 | 394941 9444496 29265392 | 2147483647 1623608 167 | 0.002 % |
5326.72/5328.60 c | 1625159 | 394941 9444496 29265392 | 2147483647 1625150 167 | 0.002 % |
5334.52/5336.46 c | 1626857 | 394941 9444496 29265392 | 2147483647 1626848 167 | 0.002 % |
5340.32/5342.26 c | 1628720 | 394941 9444496 29265392 | 2147483647 1628711 167 | 0.002 % |
5345.92/5347.89 c | 1630770 | 394941 9444496 29265392 | 2147483647 1630761 167 | 0.002 % |
5354.61/5356.56 c | 1633023 | 394941 9444496 29265392 | 2147483647 1633014 167 | 0.002 % |
5366.61/5368.53 c | 1635501 | 394941 9444496 29265392 | 2147483647 1635492 167 | 0.002 % |
5377.91/5379.86 c | 1638226 | 394941 9444496 29265392 | 2147483647 1638217 167 | 0.002 % |
5387.10/5389.09 c | 1641224 | 394941 9444496 29265392 | 2147483647 1641215 167 | 0.002 % |
5397.80/5399.72 c | 1644520 | 394941 9444496 29265392 | 2147483647 1644511 167 | 0.002 % |
5411.00/5412.98 c | 1648146 | 394941 9444496 29265392 | 2147483647 1648137 167 | 0.002 % |
5428.69/5430.63 c | 1652133 | 394941 9444496 29265392 | 2147483647 1652124 167 | 0.002 % |
5446.09/5448.01 c | 1656518 | 394941 9444496 29265392 | 2147483647 1656509 167 | 0.002 % |
5465.58/5467.55 c | 1661343 | 394941 9444496 29265392 | 2147483647 1661334 168 | 0.002 % |
5483.87/5485.86 c | 1666648 | 394941 9444496 29265392 | 2147483647 1666639 168 | 0.002 % |
5505.57/5507.51 c | 1672483 | 394941 9444496 29265392 | 2147483647 1672474 168 | 0.002 % |
5540.46/5542.47 c | 1678902 | 394941 9444496 29265392 | 2147483647 1678893 168 | 0.002 % |
5567.45/5569.44 c | 1685961 | 394941 9444496 29265392 | 2147483647 1685952 168 | 0.002 % |
5600.44/5602.43 c | 1693729 | 394941 9444496 29265392 | 2147483647 1693720 168 | 0.002 % |
5641.93/5643.97 c | 1702269 | 394941 9444496 29265392 | 2147483647 1702260 168 | 0.002 % |
5679.31/5681.32 c | 1711664 | 394941 9444496 29265392 | 2147483647 1711655 168 | 0.002 % |
5718.71/5720.72 c | 1721997 | 394941 9444496 29265392 | 2147483647 1721988 167 | 0.002 % |
5760.79/5762.90 c | 1733363 | 394941 9444496 29265392 | 2147483647 1733354 167 | 0.002 % |
5804.28/5806.32 c | 1745865 | 394941 9444496 29265392 | 2147483647 1745856 167 | 0.002 % |
5855.57/5857.66 c | 1759618 | 394941 9444496 29265392 | 2147483647 1759609 167 | 0.002 % |
5912.65/5914.78 c | 1774747 | 394941 9444496 29265392 | 2147483647 1774738 166 | 0.002 % |
5913.35/5915.45 c | 1774847 | 394941 9444496 29265392 | 2147483647 1774838 166 | 0.002 % |
5913.95/5916.06 c | 1774957 | 394941 9444496 29265392 | 2147483647 1774948 166 | 0.002 % |
5914.85/5916.96 c | 1775078 | 394941 9444496 29265392 | 2147483647 1775069 166 | 0.002 % |
5917.05/5919.17 c | 1775211 | 394941 9444496 29265392 | 2147483647 1775202 166 | 0.002 % |
5918.05/5920.14 c | 1775359 | 394941 9444496 29265392 | 2147483647 1775350 166 | 0.002 % |
5920.95/5923.01 c | 1775519 | 394941 9444496 29265392 | 2147483647 1775510 166 | 0.002 % |
5923.65/5925.71 c | 1775696 | 394941 9444496 29265392 | 2147483647 1775687 166 | 0.002 % |
5925.04/5927.16 c | 1775890 | 394941 9444496 29265392 | 2147483647 1775881 166 | 0.002 % |
5926.44/5928.53 c | 1776103 | 394941 9444496 29265392 | 2147483647 1776094 166 | 0.002 % |
5927.54/5929.69 c | 1776336 | 394941 9444496 29265392 | 2147483647 1776327 166 | 0.002 % |
5929.64/5931.76 c | 1776592 | 394941 9444496 29265392 | 2147483647 1776583 166 | 0.002 % |
5931.14/5933.28 c | 1776873 | 394941 9444496 29265392 | 2147483647 1776864 166 | 0.002 % |
5933.94/5936.05 c | 1777183 | 394941 9444496 29265392 | 2147483647 1777174 166 | 0.002 % |
5936.04/5938.11 c | 1777524 | 394941 9444496 29265392 | 2147483647 1777515 166 | 0.002 % |
5938.95/5941.05 c | 1777896 | 394941 9444496 29265392 | 2147483647 1777887 166 | 0.002 % |
5942.64/5944.72 c | 1778305 | 394941 9444496 29265392 | 2147483647 1778296 166 | 0.002 % |
5945.14/5947.29 c | 1778754 | 394941 9444496 29265392 | 2147483647 1778745 166 | 0.002 % |
5947.64/5949.73 c | 1779247 | 394941 9444496 29265392 | 2147483647 1779238 166 | 0.002 % |
5950.93/5953.06 c | 1779789 | 394941 9444496 29265392 | 2147483647 1779780 166 | 0.002 % |
5952.63/5954.75 c | 1780385 | 394941 9444496 29265392 | 2147483647 1780376 166 | 0.002 % |
5955.44/5957.55 c | 1781040 | 394941 9444496 29265392 | 2147483647 1781031 166 | 0.002 % |
5959.03/5961.12 c | 1781761 | 394941 9444496 29265392 | 2147483647 1781752 166 | 0.002 % |
5962.33/5964.43 c | 1782553 | 394941 9444496 29265392 | 2147483647 1782544 166 | 0.002 % |
5966.63/5968.71 c | 1783424 | 394941 9444496 29265392 | 2147483647 1783415 166 | 0.002 % |
5971.52/5973.68 c | 1784382 | 394941 9444496 29265392 | 2147483647 1784373 166 | 0.002 % |
5976.12/5978.28 c | 1785435 | 394941 9444496 29265392 | 2147483647 1785426 166 | 0.002 % |
5979.92/5982.07 c | 1786594 | 394941 9444496 29265392 | 2147483647 1786585 166 | 0.002 % |
5986.42/5988.58 c | 1787870 | 394941 9444496 29265392 | 2147483647 1787861 166 | 0.002 % |
5995.22/5997.31 c | 1789270 | 394941 9444496 29265392 | 2147483647 1789261 166 | 0.002 % |
6000.42/6002.57 c | 1790812 | 394941 9444496 29265392 | 2147483647 1790803 166 | 0.002 % |
6006.72/6008.87 c | 1792506 | 394941 9444496 29265392 | 2147483647 1792497 166 | 0.002 % |
6021.11/6023.24 c | 1794370 | 394941 9444496 29265392 | 2147483647 1794361 166 | 0.002 % |
6031.81/6033.96 c | 1796420 | 394941 9444496 29265392 | 2147483647 1796411 166 | 0.002 % |
6040.40/6042.52 c | 1798673 | 394941 9444496 29265392 | 2147483647 1798664 166 | 0.002 % |
6053.30/6055.42 c | 1801151 | 394941 9444496 29265392 | 2147483647 1801142 166 | 0.002 % |
6063.10/6065.28 c | 1803876 | 394941 9444496 29265392 | 2147483647 1803867 166 | 0.002 % |
6071.30/6073.40 c | 1806875 | 394941 9444496 29265392 | 2147483647 1806866 166 | 0.002 % |
6088.29/6090.48 c | 1810171 | 394941 9444496 29265392 | 2147483647 1810162 166 | 0.002 % |
6098.99/6101.12 c | 1813796 | 394941 9444496 29265392 | 2147483647 1813787 166 | 0.002 % |
6112.58/6114.80 c | 1817785 | 394941 9444496 29265392 | 2147483647 1817776 166 | 0.002 % |
6130.98/6133.15 c | 1822171 | 394941 9444496 29265392 | 2147483647 1822162 166 | 0.002 % |
6153.88/6156.01 c | 1826994 | 394941 9444496 29265392 | 2147483647 1826985 166 | 0.002 % |
6178.27/6180.45 c | 1832300 | 394941 9444496 29265392 | 2147483647 1832291 166 | 0.002 % |
6207.16/6209.39 c | 1838135 | 394941 9444496 29265392 | 2147483647 1838126 167 | 0.002 % |
6222.55/6224.77 c | 1844554 | 394941 9444496 29265392 | 2147483647 1844545 167 | 0.002 % |
6250.75/6252.92 c | 1851613 | 394941 9444496 29265392 | 2147483647 1851604 167 | 0.002 % |
6273.04/6275.29 c | 1859377 | 394941 9444496 29265392 | 2147483647 1859368 167 | 0.002 % |
6300.23/6302.46 c | 1867919 | 394941 9444496 29265392 | 2147483647 1867910 167 | 0.002 % |
6339.42/6341.60 c | 1877313 | 394941 9444496 29265392 | 2147483647 1877304 166 | 0.002 % |
6379.11/6381.33 c | 1887646 | 394941 9444496 29265392 | 2147483647 1887637 166 | 0.002 % |
6424.29/6426.56 c | 1899012 | 394941 9444496 29265392 | 2147483647 1899003 166 | 0.002 % |
6478.58/6480.82 c | 1911514 | 394941 9444496 29265392 | 2147483647 1911505 167 | 0.002 % |
6532.67/6534.90 c | 1925266 | 394941 9444496 29265392 | 2147483647 1925257 168 | 0.002 % |
6594.95/6597.22 c | 1940394 | 394941 9444496 29265392 | 2147483647 1940385 168 | 0.002 % |
6662.83/6665.14 c | 1957034 | 394941 9444496 29265392 | 2147483647 1957025 169 | 0.002 % |
6664.03/6666.35 c | 1957134 | 394941 9444496 29265392 | 2147483647 1957125 169 | 0.002 % |
6665.43/6667.77 c | 1957244 | 394941 9444496 29265392 | 2147483647 1957235 169 | 0.002 % |
6666.53/6668.88 c | 1957366 | 394941 9444496 29265392 | 2147483647 1957357 169 | 0.002 % |
6668.83/6671.19 c | 1957521 | 394941 9444496 29265392 | 2147483647 1957512 169 | 0.002 % |
6670.53/6672.85 c | 1957667 | 394941 9444496 29265392 | 2147483647 1957658 169 | 0.002 % |
6672.83/6675.14 c | 1957830 | 394941 9444496 29265392 | 2147483647 1957821 169 | 0.002 % |
6674.33/6676.61 c | 1958007 | 394941 9444496 29265392 | 2147483647 1957998 169 | 0.002 % |
6676.73/6679.05 c | 1958200 | 394941 9444496 29265392 | 2147483647 1958191 169 | 0.002 % |
6678.23/6680.54 c | 1958412 | 394941 9444496 29265392 | 2147483647 1958403 169 | 0.002 % |
6679.92/6682.25 c | 1958646 | 394941 9444496 29265392 | 2147483647 1958637 169 | 0.002 % |
6681.62/6683.98 c | 1958902 | 394941 9444496 29265392 | 2147483647 1958893 169 | 0.002 % |
6683.12/6685.44 c | 1959186 | 394941 9444496 29265392 | 2147483647 1959177 169 | 0.002 % |
6684.72/6687.04 c | 1959495 | 394941 9444496 29265392 | 2147483647 1959486 169 | 0.002 % |
6686.42/6688.70 c | 1959835 | 394941 9444496 29265392 | 2147483647 1959826 169 | 0.002 % |
6688.72/6691.01 c | 1960208 | 394941 9444496 29265392 | 2147483647 1960199 169 | 0.002 % |
6690.92/6693.25 c | 1960618 | 394941 9444496 29265392 | 2147483647 1960609 169 | 0.002 % |
6693.32/6695.68 c | 1961067 | 394941 9444496 29265392 | 2147483647 1961058 169 | 0.002 % |
6696.42/6698.76 c | 1961560 | 394941 9444496 29265392 | 2147483647 1961551 169 | 0.002 % |
6700.41/6702.76 c | 1962103 | 394941 9444496 29265392 | 2147483647 1962094 169 | 0.002 % |
6704.51/6706.80 c | 1962699 | 394941 9444496 29265392 | 2147483647 1962690 169 | 0.002 % |
6707.72/6710.04 c | 1963354 | 394941 9444496 29265392 | 2147483647 1963345 169 | 0.002 % |
6711.82/6714.19 c | 1964074 | 394941 9444496 29265392 | 2147483647 1964065 169 | 0.002 % |
6715.51/6717.83 c | 1964867 | 394941 9444496 29265392 | 2147483647 1964858 169 | 0.002 % |
6720.21/6722.51 c | 1965738 | 394941 9444496 29265392 | 2147483647 1965729 169 | 0.002 % |
6723.91/6726.29 c | 1966696 | 394941 9444496 29265392 | 2147483647 1966687 169 | 0.002 % |
6727.91/6730.25 c | 1967749 | 394941 9444496 29265392 | 2147483647 1967740 169 | 0.002 % |
6733.41/6735.72 c | 1968907 | 394941 9444496 29265392 | 2147483647 1968898 169 | 0.002 % |
6740.20/6742.54 c | 1970180 | 394941 9444496 29265392 | 2147483647 1970171 169 | 0.002 % |
6745.70/6748.09 c | 1971580 | 394941 9444496 29265392 | 2147483647 1971571 169 | 0.002 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1837160-1242857659/watcher-1837160-1242857659 -o /tmp/evaluation-result-1837160-1242857659/solver-1837160-1242857659 -C 10000 -W 12000 -M 1800 SatELiteGTI HOME/instance-1837160-1242857659.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 10000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 10030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 12000 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: 1.14 0.94 0.51 3/64 14942
/proc/meminfo: memFree=1505600/2055920 swapFree=4178272/4192956
[pid=14942] ppid=14940 vsize=5356 CPUtime=0
/proc/14942/stat : 14942 (SatELiteGTI) S 14940 14942 14872 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 313794074 5484544 235 1992294400 4194304 4889804 548682068816 18446744073709551615 251255291986 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/14942/statm: 1339 235 195 169 0 50 0
[pid=14943] ppid=14942 vsize=5356 CPUtime=0
/proc/14943/stat : 14943 (SatELiteGTI) R 14942 14942 14872 0 -1 4194368 51 25 0 0 0 0 0 0 20 0 1 0 313794074 5484544 238 1992294400 4194304 4889804 548682068816 18446744073709551615 251255120708 0 65536 4096 65538 0 0 0 17 0 0 0
/proc/14943/statm: 1339 238 198 169 0 50 0
[pid=14945] ppid=14943 vsize=0 CPUtime=0
/proc/14945/stat : 14945 (sed) Z 14943 14942 14872 0 -1 4194316 163 0 0 0 0 0 0 0 18 0 1 0 313794074 0 0 1992294400 0 0 0 0 0 0 0 4096 0 18446744071563351923 0 0 17 1 0 0
/proc/14945/statm: 0 0 0 0 0 0 0
[startup+0.067322 s]
/proc/loadavg: 1.14 0.94 0.51 3/64 14942
/proc/meminfo: memFree=1505600/2055920 swapFree=4178272/4192956
[pid=14942] ppid=14940 vsize=5356 CPUtime=0
/proc/14942/stat : 14942 (SatELiteGTI) S 14940 14942 14872 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 313794074 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14942/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.100987 s]
/proc/loadavg: 1.14 0.94 0.51 3/64 14942
/proc/meminfo: memFree=1505600/2055920 swapFree=4178272/4192956
[pid=14942] ppid=14940 vsize=5356 CPUtime=0
/proc/14942/stat : 14942 (SatELiteGTI) S 14940 14942 14872 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 313794074 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14942/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.302009 s]
/proc/loadavg: 1.14 0.94 0.51 3/64 14942
/proc/meminfo: memFree=1505600/2055920 swapFree=4178272/4192956
[pid=14942] ppid=14940 vsize=5356 CPUtime=0
/proc/14942/stat : 14942 (SatELiteGTI) S 14940 14942 14872 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 313794074 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14942/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.701051 s]
/proc/loadavg: 1.14 0.94 0.51 3/64 14942
/proc/meminfo: memFree=1505600/2055920 swapFree=4178272/4192956
[pid=14942] ppid=14940 vsize=5356 CPUtime=0
/proc/14942/stat : 14942 (SatELiteGTI) S 14940 14942 14872 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 313794074 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14942/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+1.50114 s]
/proc/loadavg: 1.14 0.94 0.51 2/66 14947
/proc/meminfo: memFree=1428776/2055920 swapFree=4178272/4192956
[pid=14942] ppid=14940 vsize=5356 CPUtime=0
/proc/14942/stat : 14942 (SatELiteGTI) S 14940 14942 14872 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 313794074 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14942/statm: 1339 237 197 169 0 50 0
[pid=14947] ppid=14942 vsize=119380 CPUtime=1.49
/proc/14947/stat : 14947 (SatELite_releas) R 14942 14942 14872 0 -1 4194304 27625 0 0 0 125 24 0 0 25 0 1 0 313794075 122245120 27611 1992294400 134512640 135223648 4294956128 18446744073709551615 134719062 0 0 4096 3 0 0 0 17 1 0 0
/proc/14947/statm: 29845 27611 49 173 0 29670 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 124736
[startup+3.10131 s]
/proc/loadavg: 1.14 0.94 0.51 2/66 14947
/proc/meminfo: memFree=1352872/2055920 swapFree=4178272/4192956
[pid=14942] ppid=14940 vsize=5356 CPUtime=0
/proc/14942/stat : 14942 (SatELiteGTI) S 14940 14942 14872 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 313794074 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14942/statm: 1339 237 197 169 0 50 0
[pid=14947] ppid=14942 vsize=242632 CPUtime=3.09
/proc/14947/stat : 14947 (SatELite_releas) R 14942 14942 14872 0 -1 4194304 56193 0 0 0 262 47 0 0 25 0 1 0 313794075 248455168 56179 1992294400 134512640 135223648 4294956128 18446744073709551615 134719062 0 0 4096 3 0 0 0 17 1 0 0
/proc/14947/statm: 60658 56180 49 173 0 60483 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 247988
[startup+6.30165 s]
/proc/loadavg: 1.21 0.96 0.51 2/66 14947
/proc/meminfo: memFree=1118504/2055920 swapFree=4178272/4192956
[pid=14942] ppid=14940 vsize=5356 CPUtime=0
/proc/14942/stat : 14942 (SatELiteGTI) S 14940 14942 14872 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 313794074 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14942/statm: 1339 237 197 169 0 50 0
[pid=14947] ppid=14942 vsize=488632 CPUtime=6.28
/proc/14947/stat : 14947 (SatELite_releas) R 14942 14942 14872 0 -1 4194304 111954 0 0 0 537 91 0 0 25 0 1 0 313794075 500359168 111940 1992294400 134512640 135223648 4294956128 18446744073709551615 134737310 0 0 4096 3 0 0 0 17 1 0 0
/proc/14947/statm: 122158 111941 49 173 0 121983 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 493988
[startup+12.7013 s]
/proc/loadavg: 1.19 0.96 0.52 2/66 14947
/proc/meminfo: memFree=800560/2055920 swapFree=4178272/4192956
[pid=14942] ppid=14940 vsize=5356 CPUtime=0
/proc/14942/stat : 14942 (SatELiteGTI) S 14940 14942 14872 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 313794074 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14942/statm: 1339 237 197 169 0 50 0
[pid=14947] ppid=14942 vsize=697420 CPUtime=12.68
/proc/14947/stat : 14947 (SatELite_releas) R 14942 14942 14872 0 -1 4194304 178159 0 0 0 1144 124 0 0 25 0 1 0 313794075 714158080 158035 1992294400 134512640 135223648 4294956128 18446744073709551615 134549042 0 0 4096 3 0 0 0 17 1 0 0
/proc/14947/statm: 174355 158035 76 173 0 174180 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 702776
[startup+25.5017 s]
/proc/loadavg: 1.15 0.96 0.52 2/66 14947
/proc/meminfo: memFree=825968/2055920 swapFree=4178272/4192956
[pid=14942] ppid=14940 vsize=5356 CPUtime=0
/proc/14942/stat : 14942 (SatELiteGTI) S 14940 14942 14872 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 313794074 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14942/statm: 1339 237 197 169 0 50 0
[pid=14947] ppid=14942 vsize=780396 CPUtime=25.47
/proc/14947/stat : 14947 (SatELite_releas) R 14942 14942 14872 0 -1 4194304 189281 0 0 0 2416 131 0 0 25 0 1 0 313794075 799125504 169157 1992294400 134512640 135223648 4294956128 18446744073709551615 134548993 0 0 4096 3 0 0 0 17 1 0 0
/proc/14947/statm: 195099 169157 76 173 0 194924 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 785752
[startup+51.1015 s]
/proc/loadavg: 1.10 0.96 0.54 2/66 14947
/proc/meminfo: memFree=783216/2055920 swapFree=4178272/4192956
[pid=14942] ppid=14940 vsize=5356 CPUtime=0
/proc/14942/stat : 14942 (SatELiteGTI) S 14940 14942 14872 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 313794074 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14942/statm: 1339 237 197 169 0 50 0
[pid=14947] ppid=14942 vsize=822008 CPUtime=51.07
/proc/14947/stat : 14947 (SatELite_releas) R 14942 14942 14872 0 -1 4194304 197855 0 0 0 4962 145 0 0 25 0 1 0 313794075 841736192 177731 1992294400 134512640 135223648 4294956128 18446744073709551615 134548161 0 0 4096 3 0 0 0 17 1 0 0
/proc/14947/statm: 205502 177731 76 173 0 205327 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 827364
[startup+102.306 s]
/proc/loadavg: 1.04 0.97 0.56 2/66 14947
/proc/meminfo: memFree=668784/2055920 swapFree=4178272/4192956
[pid=14942] ppid=14940 vsize=5356 CPUtime=0
/proc/14942/stat : 14942 (SatELiteGTI) S 14940 14942 14872 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 313794074 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14942/statm: 1339 237 197 169 0 50 0
[pid=14947] ppid=14942 vsize=990600 CPUtime=102.25
/proc/14947/stat : 14947 (SatELite_releas) R 14942 14942 14872 0 -1 4194304 226136 0 0 0 10060 165 0 0 25 0 1 0 313794075 1014374400 204663 1992294400 134512640 135223648 4294956128 18446744073709551615 134548984 0 0 4096 3 0 0 0 17 1 0 0
/proc/14947/statm: 247650 204663 76 173 0 247475 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 995956
[startup+162.301 s]
/proc/loadavg: 1.01 0.97 0.58 2/66 14947
/proc/meminfo: memFree=668656/2055920 swapFree=4178272/4192956
[pid=14942] ppid=14940 vsize=5356 CPUtime=0
/proc/14942/stat : 14942 (SatELiteGTI) S 14940 14942 14872 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 313794074 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14942/statm: 1339 237 197 169 0 50 0
[pid=14947] ppid=14942 vsize=990856 CPUtime=162.23
/proc/14947/stat : 14947 (SatELite_releas) R 14942 14942 14872 0 -1 4194304 226196 0 0 0 16058 165 0 0 25 0 1 0 313794075 1014636544 204723 1992294400 134512640 135223648 4294956128 18446744073709551615 134548334 0 0 4096 3 0 0 0 17 1 0 0
/proc/14947/statm: 247714 204723 76 173 0 247539 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 996212
[startup+222.302 s]
/proc/loadavg: 1.08 0.99 0.61 3/66 14948
/proc/meminfo: memFree=1220976/2055920 swapFree=4178272/4192956
[pid=14942] ppid=14940 vsize=5356 CPUtime=221.62
/proc/14942/stat : 14942 (SatELiteGTI) S 14940 14942 14872 0 -1 4194304 336 266149 0 0 0 0 21872 290 16 0 1 0 313794074 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14942/statm: 1339 239 197 169 0 50 0
[pid=14948] ppid=14942 vsize=57016 CPUtime=0.45
/proc/14948/stat : 14948 (minisat_static) R 14942 14942 14872 0 -1 4194304 12669 0 0 0 39 6 0 0 21 0 1 0 313816257 58384384 12613 1992294400 134512640 135215339 4294956240 18446744073709551615 134516189 0 0 4096 3 0 0 0 17 0 0 0
/proc/14948/statm: 14254 12613 60 171 0 14081 0
Current children cumulated CPU time (s) 222.07
Current children cumulated vsize (KiB) 62372
[startup+282.301 s]
/proc/loadavg: 1.06 1.00 0.64 2/66 14948
/proc/meminfo: memFree=831600/2055920 swapFree=4178272/4192956
[pid=14942] ppid=14940 vsize=5356 CPUtime=221.62
/proc/14942/stat : 14942 (SatELiteGTI) S 14940 14942 14872 0 -1 4194304 336 266149 0 0 0 0 21872 290 16 0 1 0 313794074 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14942/statm: 1339 239 197 169 0 50 0
[pid=14948] ppid=14942 vsize=446540 CPUtime=60.42
/proc/14948/stat : 14948 (minisat_static) R 14942 14942 14872 0 -1 4194304 107284 0 0 0 5968 74 0 0 25 0 1 0 313816257 457256960 107220 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/14948/statm: 111635 107220 77 171 0 111462 0
Current children cumulated CPU time (s) 282.04
Current children cumulated vsize (KiB) 451896
[startup+342.302 s]
/proc/loadavg: 1.02 1.00 0.66 2/66 14948
/proc/meminfo: memFree=827120/2055920 swapFree=4178272/4192956
[pid=14942] ppid=14940 vsize=5356 CPUtime=221.62
/proc/14942/stat : 14942 (SatELiteGTI) S 14940 14942 14872 0 -1 4194304 336 266149 0 0 0 0 21872 290 16 0 1 0 313794074 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14942/statm: 1339 239 197 169 0 50 0
[pid=14948] ppid=14942 vsize=450864 CPUtime=120.4
/proc/14948/stat : 14948 (minisat_static) R 14942 14942 14872 0 -1 4194304 108354 0 0 0 11964 76 0 0 25 0 1 0 313816257 461684736 108290 1992294400 134512640 135215339 4294956240 18446744073709551615 134525025 0 0 4096 3 0 0 0 17 1 0 0
/proc/14948/statm: 112716 108290 77 171 0 112543 0
Current children cumulated CPU time (s) 342.02
Current children cumulated vsize (KiB) 456220
[startup+402.301 s]
/proc/loadavg: 1.01 1.00 0.67 2/66 14948
/proc/meminfo: memFree=822192/2055920 swapFree=4178272/4192956
[pid=14942] ppid=14940 vsize=5356 CPUtime=221.62
/proc/14942/stat : 14942 (SatELiteGTI) S 14940 14942 14872 0 -1 4194304 336 266149 0 0 0 0 21872 290 16 0 1 0 313794074 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14942/statm: 1339 239 197 169 0 50 0
[pid=14948] ppid=14942 vsize=455968 CPUtime=180.38
################
# More data... #
################
/proc/14948/statm: 427472 421308 77 171 0 427299 0
Current children cumulated CPU time (s) 6100.19
Current children cumulated vsize (KiB) 1715244
[startup+6162.3 s]
/proc/loadavg: 1.00 1.03 0.97 2/66 14958
/proc/meminfo: memFree=15216/2055920 swapFree=4178272/4192956
[pid=14942] ppid=14940 vsize=5356 CPUtime=221.62
/proc/14942/stat : 14942 (SatELiteGTI) S 14940 14942 14872 0 -1 4194304 336 266149 0 0 0 0 21872 290 16 0 1 0 313794074 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14942/statm: 1339 239 197 169 0 50 0
[pid=14948] ppid=14942 vsize=1720008 CPUtime=5938.55
/proc/14948/stat : 14948 (minisat_static) R 14942 14942 14872 0 -1 4194304 423880 0 0 0 593448 407 0 0 25 0 1 0 313816257 1761288192 423816 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/14948/statm: 430002 423816 77 171 0 429829 0
Current children cumulated CPU time (s) 6160.17
Current children cumulated vsize (KiB) 1725364
[startup+6222.3 s]
/proc/loadavg: 1.00 1.02 0.97 2/66 14958
/proc/meminfo: memFree=15344/2055920 swapFree=4178272/4192956
[pid=14942] ppid=14940 vsize=5356 CPUtime=221.62
/proc/14942/stat : 14942 (SatELiteGTI) S 14940 14942 14872 0 -1 4194304 336 266149 0 0 0 0 21872 290 16 0 1 0 313794074 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14942/statm: 1339 239 197 169 0 50 0
[pid=14948] ppid=14942 vsize=1735552 CPUtime=5998.54
/proc/14948/stat : 14948 (minisat_static) R 14942 14942 14872 0 -1 4194304 427785 0 0 0 599444 410 0 0 25 0 1 0 313816257 1777205248 427721 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/14948/statm: 433888 427721 77 171 0 433715 0
Current children cumulated CPU time (s) 6220.16
Current children cumulated vsize (KiB) 1740908
[startup+6282.3 s]
/proc/loadavg: 1.00 1.02 0.97 2/66 14958
/proc/meminfo: memFree=16112/2055920 swapFree=4178272/4192956
[pid=14942] ppid=14940 vsize=5356 CPUtime=221.62
/proc/14942/stat : 14942 (SatELiteGTI) S 14940 14942 14872 0 -1 4194304 336 266149 0 0 0 0 21872 290 16 0 1 0 313794074 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14942/statm: 1339 239 197 169 0 50 0
[pid=14948] ppid=14942 vsize=1746936 CPUtime=6058.52
/proc/14948/stat : 14948 (minisat_static) R 14942 14942 14872 0 -1 4194304 430651 0 0 0 605438 414 0 0 25 0 1 0 313816257 1788862464 430587 1992294400 134512640 135215339 4294956240 18446744073709551615 134532626 0 0 4096 3 0 0 0 17 1 0 0
/proc/14948/statm: 436734 430587 77 171 0 436561 0
Current children cumulated CPU time (s) 6280.14
Current children cumulated vsize (KiB) 1752292
[startup+6342.3 s]
/proc/loadavg: 1.00 1.01 0.97 2/66 14958
/proc/meminfo: memFree=16240/2055920 swapFree=4178272/4192956
[pid=14942] ppid=14940 vsize=5356 CPUtime=221.62
/proc/14942/stat : 14942 (SatELiteGTI) S 14940 14942 14872 0 -1 4194304 336 266149 0 0 0 0 21872 290 16 0 1 0 313794074 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14942/statm: 1339 239 197 169 0 50 0
[pid=14948] ppid=14942 vsize=1752876 CPUtime=6118.5
/proc/14948/stat : 14948 (minisat_static) R 14942 14942 14872 0 -1 4194304 432179 0 0 0 611435 415 0 0 25 0 1 0 313816257 1794945024 432115 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/14948/statm: 438219 432115 77 171 0 438046 0
Current children cumulated CPU time (s) 6340.12
Current children cumulated vsize (KiB) 1758232
[startup+6402.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/66 14964
/proc/meminfo: memFree=15536/2055920 swapFree=4178272/4192956
[pid=14942] ppid=14940 vsize=5356 CPUtime=221.62
/proc/14942/stat : 14942 (SatELiteGTI) S 14940 14942 14872 0 -1 4194304 336 266149 0 0 0 0 21872 290 16 0 1 0 313794074 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14942/statm: 1339 239 197 169 0 50 0
[pid=14948] ppid=14942 vsize=1757724 CPUtime=6178.49
/proc/14948/stat : 14948 (minisat_static) R 14942 14942 14872 0 -1 4194304 433376 0 0 0 617432 417 0 0 25 0 1 0 313816257 1799909376 433312 1992294400 134512640 135215339 4294956240 18446744073709551615 134528802 0 0 4096 3 0 0 0 17 1 0 0
/proc/14948/statm: 439431 433312 77 171 0 439258 0
Current children cumulated CPU time (s) 6400.11
Current children cumulated vsize (KiB) 1763080
[startup+6462.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/66 14964
/proc/meminfo: memFree=15152/2055920 swapFree=4178272/4192956
[pid=14942] ppid=14940 vsize=5356 CPUtime=221.62
/proc/14942/stat : 14942 (SatELiteGTI) S 14940 14942 14872 0 -1 4194304 336 266149 0 0 0 0 21872 290 16 0 1 0 313794074 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14942/statm: 1339 239 197 169 0 50 0
[pid=14948] ppid=14942 vsize=1777188 CPUtime=6238.46
/proc/14948/stat : 14948 (minisat_static) R 14942 14942 14872 0 -1 4194304 438289 0 0 0 623424 422 0 0 25 0 1 0 313816257 1819840512 438225 1992294400 134512640 135215339 4294956240 18446744073709551615 134528742 0 0 4096 3 0 0 0 17 1 0 0
/proc/14948/statm: 444297 438225 77 171 0 444124 0
Current children cumulated CPU time (s) 6460.08
Current children cumulated vsize (KiB) 1782544
[startup+6522.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/66 14964
/proc/meminfo: memFree=14896/2055920 swapFree=4178272/4192956
[pid=14942] ppid=14940 vsize=5356 CPUtime=221.62
/proc/14942/stat : 14942 (SatELiteGTI) S 14940 14942 14872 0 -1 4194304 336 266149 0 0 0 0 21872 290 16 0 1 0 313794074 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14942/statm: 1339 239 197 169 0 50 0
[pid=14948] ppid=14942 vsize=1794096 CPUtime=6298.45
/proc/14948/stat : 14948 (minisat_static) R 14942 14942 14872 0 -1 4194304 442495 0 0 0 629419 426 0 0 25 0 1 0 313816257 1837154304 442431 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/14948/statm: 448524 442431 77 171 0 448351 0
Current children cumulated CPU time (s) 6520.07
Current children cumulated vsize (KiB) 1799452
[startup+6582.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/66 14964
/proc/meminfo: memFree=15344/2055920 swapFree=4178272/4192956
[pid=14942] ppid=14940 vsize=5356 CPUtime=221.62
/proc/14942/stat : 14942 (SatELiteGTI) S 14940 14942 14872 0 -1 4194304 336 266149 0 0 0 0 21872 290 16 0 1 0 313794074 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14942/statm: 1339 239 197 169 0 50 0
[pid=14948] ppid=14942 vsize=1810644 CPUtime=6358.44
/proc/14948/stat : 14948 (minisat_static) R 14942 14942 14872 0 -1 4194304 446638 0 0 0 635414 430 0 0 25 0 1 0 313816257 1854099456 446574 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/14948/statm: 452661 446574 77 171 0 452488 0
Current children cumulated CPU time (s) 6580.06
Current children cumulated vsize (KiB) 1816000
[startup+6642.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/66 14964
/proc/meminfo: memFree=15216/2055920 swapFree=4178272/4192956
[pid=14942] ppid=14940 vsize=5356 CPUtime=221.62
/proc/14942/stat : 14942 (SatELiteGTI) S 14940 14942 14872 0 -1 4194304 336 266149 0 0 0 0 21872 290 16 0 1 0 313794074 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14942/statm: 1339 239 197 169 0 50 0
[pid=14948] ppid=14942 vsize=1823208 CPUtime=6418.41
/proc/14948/stat : 14948 (minisat_static) R 14942 14942 14872 0 -1 4194304 449806 0 0 0 641408 433 0 0 25 0 1 0 313816257 1866964992 449742 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/14948/statm: 455802 449742 77 171 0 455629 0
Current children cumulated CPU time (s) 6640.03
Current children cumulated vsize (KiB) 1828564
[startup+6702.31 s]
/proc/loadavg: 1.00 1.00 0.97 2/66 14964
/proc/meminfo: memFree=15344/2055920 swapFree=4178272/4192956
[pid=14942] ppid=14940 vsize=5356 CPUtime=221.62
/proc/14942/stat : 14942 (SatELiteGTI) S 14940 14942 14872 0 -1 4194304 336 266149 0 0 0 0 21872 290 16 0 1 0 313794074 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14942/statm: 1339 239 197 169 0 50 0
[pid=14948] ppid=14942 vsize=1833548 CPUtime=6478.4
/proc/14948/stat : 14948 (minisat_static) R 14942 14942 14872 0 -1 4194304 452422 0 0 0 647404 436 0 0 25 0 1 0 313816257 1877553152 452358 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/14948/statm: 458387 452358 77 171 0 458214 0
Current children cumulated CPU time (s) 6700.02
Current children cumulated vsize (KiB) 1838904
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+6750.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/66 14964
/proc/meminfo: memFree=15984/2055920 swapFree=4178272/4192956
[pid=14942] ppid=14940 vsize=5356 CPUtime=221.62
/proc/14942/stat : 14942 (SatELiteGTI) S 14940 14942 14872 0 -1 4194304 336 266149 0 0 0 0 21872 290 16 0 1 0 313794074 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14942/statm: 1339 239 197 169 0 50 0
[pid=14948] ppid=14942 vsize=1837852 CPUtime=6526.39
/proc/14948/stat : 14948 (minisat_static) R 14942 14942 14872 0 -1 4194304 453426 0 0 0 652201 438 0 0 25 0 1 0 313816257 1881960448 453362 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/14948/statm: 459463 453362 77 171 0 459290 0
Current children cumulated CPU time (s) 6748.01
Current children cumulated vsize (KiB) 1843208
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+6750.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/66 14964
/proc/meminfo: memFree=15984/2055920 swapFree=4178272/4192956
[pid=14942] ppid=14940 vsize=5356 CPUtime=221.62
/proc/14942/stat : 14942 (SatELiteGTI) S 14940 14942 14872 0 -1 4194304 336 266149 0 0 0 0 21872 290 16 0 1 0 313794074 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14942/statm: 1339 239 197 169 0 50 0
[pid=14948] ppid=14942 vsize=1837852 CPUtime=6526.39
/proc/14948/stat : 14948 (minisat_static) R 14942 14942 14872 0 -1 4194304 453426 0 0 0 652201 438 0 0 25 0 1 0 313816257 1881960448 453362 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/14948/statm: 459463 453362 77 171 0 459290 0
Current children cumulated CPU time (s) 6748.01
Current children cumulated vsize (KiB) 1843208
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 14942 and gives
# childrusage.ru_utime.tv_sec=218
# childrusage.ru_utime.tv_usec=722749
# childrusage.ru_stime.tv_sec=2
# childrusage.ru_stime.tv_usec=912557
# CPU time returned by wait4() is 221.635
# while last known CPU time is 6748.01
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 6750.31
CPU time (s): 6748.01
CPU user time (s): 6740.73
CPU system time (s): 7.28
CPU usage (%): 99.9659
Max. virtual memory (cumulated for all children) (KiB): 1843208
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 218.723
system time used= 2.91256
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 266485
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= 17
involuntary context switches= 555
runsolver used 7.03993 second user time and 17.6823 second system time
The end
Begin job on node64 at 2009-05-21 00:14:32
IDJOB=1837160
IDBENCH=20574
IDSOLVER=674
FILE ID=node64/1837160-1242857659
PBS_JOBID= 9328453
Free space on /tmp= 66100 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT07/industrial/vliw_unsat_2.0/9dlx_vliw_at_b_iq9.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1837160-1242857659/watcher-1837160-1242857659 -o /tmp/evaluation-result-1837160-1242857659/solver-1837160-1242857659 -C 10000 -W 12000 -M 1800 SatELiteGTI HOME/instance-1837160-1242857659.cnf
TIME LIMIT= 10000 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 9a43349587a435e7109b46b3aceb156e
RANDOM SEED=1056150444
node64.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.218
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.218
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1506144 kB
Buffers: 35072 kB
Cached: 468552 kB
SwapCached: 8076 kB
Active: 337388 kB
Inactive: 175776 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1506144 kB
SwapTotal: 4192956 kB
SwapFree: 4178272 kB
Dirty: 206820 kB
Writeback: 0 kB
Mapped: 14724 kB
Slab: 22428 kB
Committed_AS: 923208 kB
PageTables: 1396 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264960 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 65864 MiB
End job on node64 at 2009-05-21 02:07:04