0.00/0.00 c Parsing...
0.00/0.56 c ==============================================================================
0.00/0.56 c | | ORIGINAL | LEARNT | |
0.00/0.56 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.56 c ==============================================================================
0.00/0.56 c | 0 | 598617 1396773 | 179585 0 0 nan | 0.000 % |
8.02/8.09 c | 0 | 341039 1130857 | -- 0 -- -- | -- | -257536/-265815
8.02/8.09 c ==============================================================================
8.02/8.09 c Result : #vars: 72981 #clauses: 341039 #literals: 1130857
8.02/8.09 c CPU time: 7.87 s
8.02/8.09 c ==============================================================================
8.42/8.50 c This is MiniSat 2.0 beta
8.42/8.50 c WARNING: for repeatability, setting FPU to use double precision
8.42/8.50 c ============================[ Problem Statistics ]=============================
8.42/8.50 c | |
8.42/8.50 c | Number of variables: 72981 |
8.42/8.50 c | Number of clauses: 341039 |
8.72/8.75 c | Parsing time: 0.22 s |
8.72/8.77 c ============================[ Search Statistics ]==============================
8.72/8.77 c | Conflicts | ORIGINAL | LEARNT | Progress |
8.72/8.77 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
8.72/8.77 c ===============================================================================
8.72/8.77 c | 0 | 72981 341039 1130857 | 113679 0 nan | 0.000 % |
9.32/9.33 c | 100 | 72981 341039 1130857 | 113679 100 7 | 0.000 % |
9.42/9.44 c | 200 | 72981 341039 1130857 | 113679 200 20 | 0.000 % |
9.52/9.59 c | 301 | 72981 341039 1130857 | 113679 301 31 | 0.000 % |
9.72/9.77 c | 412 | 72981 341039 1130857 | 113679 412 37 | 0.000 % |
10.12/10.18 c | 530 | 72981 341039 1130857 | 113679 530 30 | 0.000 % |
10.42/10.43 c | 640 | 72981 341039 1130857 | 113679 640 41 | 0.000 % |
10.52/10.56 c | 762 | 72981 341039 1130857 | 113679 762 37 | 0.000 % |
10.72/10.77 c | 862 | 72981 341039 1130857 | 113679 862 41 | 0.000 % |
10.92/10.98 c | 972 | 72981 341039 1130857 | 113679 972 49 | 0.000 % |
11.12/11.16 c | 1099 | 72981 341039 1130857 | 113679 1099 52 | 0.000 % |
11.22/11.26 c | 1232 | 72981 341039 1130857 | 113679 1232 54 | 0.000 % |
11.42/11.47 c | 1332 | 72981 341039 1130857 | 113679 1332 53 | 0.000 % |
11.62/11.64 c | 1445 | 72981 341039 1130857 | 113679 1445 50 | 0.000 % |
11.92/11.96 c | 1566 | 72981 341039 1130857 | 113679 1566 54 | 0.000 % |
12.32/12.32 c | 1700 | 72981 341039 1130857 | 113679 1700 61 | 0.000 % |
12.42/12.42 c | 1846 | 72981 341039 1130857 | 113679 1846 59 | 0.000 % |
13.02/13.10 c | 1978 | 72981 341039 1130857 | 113679 1978 61 | 0.000 % |
13.32/13.34 c | 2090 | 72981 341039 1130857 | 113679 2090 59 | 0.000 % |
13.62/13.65 c | 2211 | 72981 341039 1130857 | 113679 2211 63 | 0.000 % |
13.72/13.77 c | 2344 | 72981 341039 1130857 | 113679 2344 62 | 0.000 % |
14.42/14.44 c | 2524 | 72981 341039 1130857 | 113679 2524 60 | 0.000 % |
14.72/14.74 c | 2684 | 72981 341039 1130857 | 113679 2684 57 | 0.000 % |
14.82/14.82 c | 2785 | 72981 341039 1130857 | 113679 2785 56 | 0.000 % |
14.92/14.94 c | 2895 | 72981 341039 1130857 | 113679 2895 56 | 0.000 % |
15.02/15.08 c | 3018 | 72981 341039 1130857 | 113679 3018 55 | 0.000 % |
15.12/15.19 c | 3151 | 72981 341039 1130857 | 113679 3151 54 | 0.000 % |
15.32/15.32 c | 3298 | 72981 341039 1130857 | 113679 3298 54 | 0.000 % |
15.42/15.48 c | 3458 | 72981 341039 1130857 | 113679 3458 53 | 0.000 % |
16.02/16.10 c | 3649 | 72981 341039 1130857 | 113679 3649 53 | 0.000 % |
16.22/16.27 c | 3750 | 72981 341039 1130857 | 113679 3750 54 | 0.000 % |
16.32/16.33 c | 3861 | 72981 341039 1130857 | 113679 3861 53 | 0.000 % |
16.32/16.37 c | 3982 | 72981 341039 1130857 | 113679 3982 52 | 0.000 % |
16.42/16.51 c | 4115 | 72981 341039 1130857 | 113679 4115 52 | 0.000 % |
16.62/16.67 c | 4261 | 72981 341039 1130857 | 113679 4261 53 | 0.000 % |
16.92/16.97 c | 4421 | 72981 341039 1130857 | 113679 4421 54 | 0.000 % |
17.12/17.21 c | 4597 | 72981 341039 1130857 | 113679 4597 55 | 0.000 % |
17.62/17.64 c | 4790 | 72981 341039 1130857 | 113679 4790 54 | 0.000 % |
17.72/17.79 c | 4890 | 72981 341039 1130857 | 113679 4890 54 | 0.000 % |
17.92/17.95 c | 5001 | 72981 341039 1130857 | 113679 5001 53 | 0.000 % |
17.92/18.00 c | 5124 | 72981 341039 1130857 | 113679 5124 53 | 0.000 % |
18.22/18.29 c | 5260 | 72981 341039 1130857 | 113679 5260 53 | 0.000 % |
18.42/18.45 c | 5406 | 72981 341039 1130857 | 113679 5406 53 | 0.000 % |
18.52/18.57 c | 5571 | 72981 341039 1130857 | 113679 5571 52 | 0.000 % |
18.82/18.90 c | 5747 | 72981 341039 1130857 | 113679 5747 52 | 0.000 % |
19.22/19.25 c | 5942 | 72981 341039 1130857 | 113679 5942 57 | 0.000 % |
19.42/19.43 c | 6155 | 72981 341039 1130857 | 113679 6155 57 | 0.000 % |
20.42/20.48 c | 6255 | 72981 341039 1130857 | 113679 6255 57 | 0.000 % |
20.62/20.62 c | 6365 | 72981 341039 1130857 | 113679 6365 56 | 0.000 % |
20.72/20.78 c | 6486 | 72981 341039 1130857 | 113679 6486 56 | 0.000 % |
21.62/21.69 c | 6619 | 72981 341039 1130857 | 113679 6619 56 | 0.000 % |
21.82/21.82 c | 6766 | 72981 341039 1130857 | 113679 6766 56 | 0.000 % |
21.92/22.00 c | 6926 | 72981 341039 1130857 | 113679 6926 55 | 0.000 % |
22.12/22.13 c | 7102 | 72981 341039 1130857 | 113679 7102 55 | 0.000 % |
22.42/22.46 c | 7295 | 72981 341039 1130857 | 113679 7295 56 | 0.000 % |
22.52/22.60 c | 7508 | 72981 341039 1130857 | 113679 7508 57 | 0.000 % |
23.32/23.41 c | 7742 | 72981 341039 1130857 | 113679 7742 58 | 0.000 % |
23.42/23.51 c | 7843 | 72981 341039 1130857 | 113679 7843 58 | 0.000 % |
23.62/23.71 c | 7953 | 72981 341039 1130857 | 113679 7953 59 | 0.000 % |
23.92/23.92 c | 8076 | 72981 341039 1130857 | 113679 8076 59 | 0.000 % |
24.02/24.07 c | 8217 | 72979 340907 1130591 | 113679 8215 59 | 0.003 % |
24.32/24.33 c | 8365 | 72979 340907 1130591 | 113679 8363 60 | 0.003 % |
25.32/25.37 c | 8538 | 72979 340907 1130591 | 113679 8536 60 | 0.003 % |
26.22/26.29 c | 8716 | 72979 340775 1130323 | 113679 8712 61 | 0.003 % |
26.72/26.72 c | 8917 | 72979 340775 1130323 | 113679 8913 61 | 0.003 % |
27.02/27.03 c | 9129 | 72979 340775 1130323 | 113679 9125 61 | 0.003 % |
27.22/27.27 c | 9363 | 72979 340775 1130323 | 113679 9359 60 | 0.003 % |
27.82/27.88 c | 9620 | 72979 340775 1130323 | 113679 9616 62 | 0.003 % |
27.92/27.96 c | 9720 | 72979 340775 1130323 | 113679 9716 63 | 0.003 % |
28.92/28.97 c | 9838 | 72979 340775 1130323 | 113679 9834 63 | 0.003 % |
29.02/29.10 c | 9960 | 72979 340775 1130323 | 113679 9956 62 | 0.003 % |
29.22/29.29 c | 10094 | 72979 340775 1130323 | 2147483647 10090 62 | 0.003 % |
29.82/29.88 c | 10242 | 72978 340643 1130055 | 2147483647 10236 64 | 0.004 % |
30.02/30.03 c | 10402 | 72978 340643 1130055 | 2147483647 10396 63 | 0.004 % |
30.12/30.20 c | 10578 | 72978 340643 1130055 | 2147483647 10572 63 | 0.004 % |
30.42/30.49 c | 10771 | 72978 340643 1130055 | 2147483647 10765 65 | 0.004 % |
31.12/31.17 c | 10984 | 72978 340643 1130055 | 2147483647 10978 66 | 0.004 % |
32.92/32.99 c | 11227 | 72978 340643 1130055 | 2147483647 11221 68 | 0.004 % |
34.42/34.43 c | 11515 | 72978 340643 1130055 | 2147483647 11508 67 | 0.007 % |
34.82/34.86 c | 11796 | 72976 340626 1129967 | 2147483647 10776 63 | 0.007 % |
34.92/35.00 c | 11896 | 72976 340626 1129967 | 2147483647 10876 64 | 0.007 % |
35.72/35.73 c | 12065 | 72976 340626 1129967 | 2147483647 11045 66 | 0.007 % |
35.82/35.89 c | 12186 | 72976 340626 1129967 | 2147483647 11166 67 | 0.007 % |
36.02/36.04 c | 12319 | 72976 340626 1129967 | 2147483647 11299 67 | 0.007 % |
36.32/36.36 c | 12474 | 72976 340626 1129967 | 2147483647 11454 66 | 0.007 % |
36.42/36.46 c | 12634 | 72976 340626 1129967 | 2147483647 11614 66 | 0.007 % |
36.52/36.56 c | 12810 | 72976 340626 1129967 | 2147483647 11790 65 | 0.007 % |
36.72/36.81 c | 13004 | 72976 340626 1129967 | 2147483647 11984 65 | 0.007 % |
37.12/37.14 c | 13217 | 72976 340626 1129967 | 2147483647 12197 66 | 0.007 % |
37.32/37.36 c | 13450 | 72976 340626 1129967 | 2147483647 12430 66 | 0.007 % |
37.72/37.77 c | 13706 | 72976 340626 1129967 | 2147483647 12686 67 | 0.007 % |
38.22/38.26 c | 13990 | 72976 340626 1129967 | 2147483647 12970 67 | 0.007 % |
38.42/38.49 c | 14302 | 72976 340626 1129967 | 2147483647 13282 67 | 0.007 % |
38.62/38.65 c | 14405 | 72976 340626 1129967 | 2147483647 13385 66 | 0.007 % |
39.72/39.76 c | 14534 | 72976 340626 1129967 | 2147483647 13514 67 | 0.007 % |
39.92/39.94 c | 14655 | 72976 340626 1129967 | 2147483647 13635 67 | 0.007 % |
40.02/40.07 c | 14788 | 72976 340626 1129967 | 2147483647 13768 67 | 0.007 % |
40.12/40.16 c | 14935 | 72976 340626 1129967 | 2147483647 13915 68 | 0.007 % |
40.22/40.30 c | 15095 | 72976 340626 1129967 | 2147483647 14075 68 | 0.007 % |
40.42/40.48 c | 15271 | 72976 340626 1129967 | 2147483647 14251 68 | 0.007 % |
40.72/40.76 c | 15464 | 72976 340626 1129967 | 2147483647 14444 68 | 0.007 % |
40.92/40.96 c | 15676 | 72976 340626 1129967 | 2147483647 14656 68 | 0.007 % |
41.62/41.66 c | 15910 | 72976 340626 1129967 | 2147483647 14890 68 | 0.007 % |
41.72/41.76 c | 16166 | 72976 340626 1129967 | 2147483647 15146 67 | 0.007 % |
41.92/41.98 c | 16449 | 72976 340626 1129967 | 2147483647 15429 67 | 0.007 % |
42.02/42.08 c | 16760 | 72976 340626 1129967 | 2147483647 15740 66 | 0.007 % |
42.32/42.37 c | 17100 | 72976 340626 1129967 | 2147483647 16080 65 | 0.007 % |
42.42/42.47 c | 17200 | 72976 340626 1129967 | 2147483647 16180 65 | 0.007 % |
42.62/42.66 c | 17310 | 72976 340626 1129967 | 2147483647 16290 65 | 0.007 % |
42.72/42.80 c | 17432 | 72976 340626 1129967 | 2147483647 16412 65 | 0.007 % |
42.92/42.94 c | 17565 | 72976 340626 1129967 | 2147483647 16545 65 | 0.007 % |
43.02/43.11 c | 17715 | 72976 340626 1129967 | 2147483647 16695 65 | 0.007 % |
43.32/43.40 c | 17879 | 72976 340626 1129967 | 2147483647 16859 66 | 0.007 % |
43.62/43.67 c | 18055 | 72976 340626 1129967 | 2147483647 17035 66 | 0.007 % |
43.82/43.85 c | 18251 | 72976 340626 1129967 | 2147483647 17231 67 | 0.007 % |
44.12/44.20 c | 18464 | 72975 340493 1129695 | 2147483647 17443 68 | 0.008 % |
44.32/44.38 c | 18698 | 72975 340493 1129695 | 2147483647 17677 68 | 0.008 % |
44.62/44.64 c | 18954 | 72975 340493 1129695 | 2147483647 17933 68 | 0.008 % |
45.72/45.76 c | 19243 | 72975 340493 1129695 | 2147483647 18222 69 | 0.008 % |
46.12/46.12 c | 19552 | 72975 340493 1129695 | 2147483647 18531 68 | 0.008 % |
46.32/46.39 c | 19894 | 72975 340493 1129695 | 2147483647 18873 68 | 0.008 % |
46.62/46.62 c | 20266 | 72975 340493 1129695 | 2147483647 19245 67 | 0.008 % |
46.72/46.80 c | 20366 | 72975 340493 1129695 | 2147483647 19345 67 | 0.008 % |
47.12/47.19 c | 20489 | 72975 340493 1129695 | 2147483647 19468 68 | 0.008 % |
47.92/47.91 c | 20612 | 72975 340493 1129695 | 2147483647 19591 68 | 0.008 % |
48.02/48.06 c | 20745 | 72975 340493 1129695 | 2147483647 19724 68 | 0.008 % |
48.52/48.61 c | 20891 | 72975 340493 1129695 | 2147483647 19870 68 | 0.008 % |
48.92/48.98 c | 21053 | 72975 340493 1129695 | 2147483647 20032 69 | 0.008 % |
49.12/49.18 c | 21229 | 72975 340493 1129695 | 2147483647 20208 69 | 0.008 % |
49.32/49.38 c | 21422 | 72975 340493 1129695 | 2147483647 20401 69 | 0.008 % |
49.62/49.67 c | 21635 | 72975 340493 1129695 | 2147483647 20614 70 | 0.008 % |
49.72/49.80 c | 21870 | 72975 340493 1129695 | 2147483647 20849 70 | 0.008 % |
50.52/50.57 c | 22126 | 72975 340493 1129695 | 2147483647 21105 71 | 0.008 % |
50.72/50.81 c | 22407 | 72975 340493 1129695 | 2147483647 21386 71 | 0.008 % |
51.02/51.05 c | 22717 | 72975 340493 1129695 | 2147483647 21696 70 | 0.008 % |
51.82/51.85 c | 23057 | 72975 340493 1129695 | 2147483647 22036 71 | 0.008 % |
52.42/52.48 c | 23429 | 72975 340493 1129695 | 2147483647 22408 71 | 0.008 % |
52.72/52.74 c | 23838 | 72975 340493 1129695 | 2147483647 22817 70 | 0.008 % |
52.82/52.87 c | 23938 | 72975 340493 1129695 | 2147483647 22917 70 | 0.008 % |
53.02/53.08 c | 24048 | 72975 340493 1129695 | 2147483647 23027 70 | 0.008 % |
53.42/53.42 c | 24170 | 72975 340493 1129695 | 2147483647 23149 71 | 0.008 % |
54.02/54.04 c | 24304 | 72975 340493 1129695 | 2147483647 23283 71 | 0.008 % |
54.62/54.70 c | 24459 | 72975 340493 1129695 | 2147483647 23438 71 | 0.008 % |
55.12/55.19 c | 24621 | 72975 340493 1129695 | 2147483647 23600 71 | 0.008 % |
56.12/56.16 c | 24797 | 72975 340493 1129695 | 2147483647 23776 71 | 0.008 % |
56.52/56.60 c | 24990 | 72975 340493 1129695 | 2147483647 23969 72 | 0.008 % |
56.92/56.92 c | 25202 | 72975 340493 1129695 | 2147483647 24181 72 | 0.008 % |
57.22/57.23 c | 25437 | 72975 340493 1129695 | 2147483647 24416 72 | 0.008 % |
57.72/57.80 c | 25693 | 72975 340493 1129695 | 2147483647 24672 72 | 0.008 % |
58.72/58.81 c | 25983 | 72975 340493 1129695 | 2147483647 24962 73 | 0.008 % |
59.22/59.28 c | 26294 | 72975 340493 1129695 | 2147483647 25273 73 | 0.008 % |
59.52/59.56 c | 26636 | 72975 340493 1129695 | 2147483647 25615 73 | 0.008 % |
59.82/59.88 c | 27008 | 72975 340493 1129695 | 2147483647 25987 72 | 0.008 % |
60.12/60.19 c | 27417 | 72975 340493 1129695 | 2147483647 26396 72 | 0.008 % |
62.42/62.46 c | 27866 | 72975 340493 1129695 | 2147483647 26845 74 | 0.008 % |
62.62/62.64 c | 27966 | 72975 340493 1129695 | 2147483647 26945 74 | 0.008 % |
62.73/62.75 c | 28076 | 72975 340493 1129695 | 2147483647 27055 74 | 0.008 % |
62.82/62.89 c | 28197 | 72975 340493 1129695 | 2147483647 27176 74 | 0.008 % |
63.02/63.06 c | 28331 | 72975 340493 1129695 | 2147483647 27310 74 | 0.008 % |
63.22/63.27 c | 28477 | 72975 340493 1129695 | 2147483647 27456 75 | 0.008 % |
63.42/63.46 c | 28637 | 72975 340493 1129695 | 2147483647 27616 75 | 0.008 % |
63.72/63.74 c | 28815 | 72975 340493 1129695 | 2147483647 27794 75 | 0.008 % |
63.92/63.96 c | 29008 | 72975 340493 1129695 | 2147483647 27987 76 | 0.008 % |
64.22/64.22 c | 29221 | 72975 340493 1129695 | 2147483647 28200 76 | 0.008 % |
64.42/64.45 c | 29456 | 72975 340493 1129695 | 2147483647 28435 76 | 0.008 % |
64.82/64.82 c | 29712 | 72975 340493 1129695 | 2147483647 28691 77 | 0.008 % |
65.12/65.15 c | 29993 | 72975 340493 1129695 | 2147483647 28972 77 | 0.008 % |
65.31/65.39 c | 30302 | 72975 340493 1129695 | 2147483647 29281 77 | 0.008 % |
66.02/66.07 c | 30641 | 72975 340493 1129695 | 2147483647 29620 78 | 0.008 % |
66.61/66.61 c | 31013 | 72975 340493 1129695 | 2147483647 29992 79 | 0.008 % |
67.81/67.83 c | 31427 | 72975 340493 1129695 | 2147483647 30406 80 | 0.008 % |
68.31/68.39 c | 31877 | 72975 340493 1129695 | 2147483647 30856 81 | 0.008 % |
69.01/69.02 c | 32370 | 72975 340493 1129695 | 2147483647 31349 81 | 0.008 % |
69.11/69.16 c | 32473 | 72975 340493 1129695 | 2147483647 31452 81 | 0.008 % |
69.32/69.34 c | 32583 | 72975 340493 1129695 | 2147483647 31562 81 | 0.008 % |
69.41/69.45 c | 32704 | 72975 340493 1129695 | 2147483647 31683 81 | 0.008 % |
70.01/70.08 c | 32852 | 72975 340493 1129695 | 2147483647 31831 81 | 0.008 % |
70.31/70.31 c | 32999 | 72975 340493 1129695 | 2147483647 31978 81 | 0.008 % |
70.42/70.47 c | 33159 | 72975 340493 1129695 | 2147483647 32138 80 | 0.008 % |
70.51/70.60 c | 33337 | 72975 340493 1129695 | 2147483647 32316 80 | 0.008 % |
70.71/70.75 c | 33530 | 72975 340493 1129695 | 2147483647 32509 80 | 0.008 % |
70.91/70.94 c | 33743 | 72975 340493 1129695 | 2147483647 32722 80 | 0.008 % |
71.11/71.19 c | 33976 | 72975 340493 1129695 | 2147483647 32955 79 | 0.008 % |
72.11/72.11 c | 34233 | 72975 340493 1129695 | 2147483647 33212 80 | 0.008 % |
72.41/72.42 c | 34515 | 72975 340493 1129695 | 2147483647 33494 79 | 0.008 % |
73.01/73.08 c | 34825 | 72975 340493 1129695 | 2147483647 33804 80 | 0.008 % |
73.51/73.57 c | 35164 | 72975 340493 1129695 | 2147483647 34143 80 | 0.008 % |
74.01/74.01 c | 35537 | 72975 340493 1129695 | 2147483647 34516 80 | 0.008 % |
74.31/74.34 c | 35949 | 72975 340493 1129695 | 2147483647 34928 80 | 0.008 % |
75.01/75.09 c | 36402 | 72975 340493 1129695 | 2147483647 35381 81 | 0.008 % |
76.01/76.02 c | 36896 | 72975 340493 1129695 | 2147483647 35875 81 | 0.008 % |
76.51/76.59 c | 37439 | 72975 340493 1129695 | 2147483647 36418 81 | 0.008 % |
76.71/76.72 c | 37540 | 72975 340493 1129695 | 2147483647 36519 80 | 0.008 % |
76.81/76.86 c | 37650 | 72975 340493 1129695 | 2147483647 36629 81 | 0.008 % |
77.02/77.04 c | 37772 | 72975 340493 1129695 | 2147483647 36751 81 | 0.008 % |
77.11/77.20 c | 37905 | 72975 340493 1129695 | 2147483647 36884 81 | 0.008 % |
77.41/77.42 c | 38051 | 72975 340493 1129695 | 2147483647 37030 81 | 0.008 % |
77.51/77.55 c | 38213 | 72975 340493 1129695 | 2147483647 37192 81 | 0.008 % |
77.61/77.69 c | 38389 | 72975 340493 1129695 | 2147483647 37368 80 | 0.008 % |
78.01/78.10 c | 38583 | 72975 340493 1129695 | 2147483647 37562 81 | 0.008 % |
78.41/78.50 c | 38799 | 72975 340493 1129695 | 2147483647 37778 82 | 0.008 % |
78.81/78.81 c | 39032 | 72975 340493 1129695 | 2147483647 38011 82 | 0.008 % |
79.61/79.62 c | 39288 | 72975 340493 1129695 | 2147483647 38267 81 | 0.008 % |
79.91/79.90 c | 39569 | 72975 340493 1129695 | 2147483647 38548 81 | 0.009 % |
80.11/80.19 c | 39878 | 72975 340493 1129695 | 2147483647 38857 81 | 0.008 % |
80.61/80.65 c | 40221 | 72975 340493 1129695 | 2147483647 39200 83 | 0.008 % |
81.01/81.03 c | 40594 | 72975 340493 1129695 | 2147483647 39573 82 | 0.008 % |
81.31/81.36 c | 41005 | 72975 340493 1129695 | 2147483647 39984 82 | 0.008 % |
81.81/81.84 c | 41455 | 72975 340493 1129695 | 2147483647 40434 82 | 0.008 % |
82.31/82.38 c | 41949 | 72975 340493 1129695 | 2147483647 40928 82 | 0.008 % |
83.01/83.05 c | 42493 | 72975 340493 1129695 | 2147483647 41472 82 | 0.008 % |
84.21/84.26 c | 43090 | 72975 340493 1129695 | 2147483647 42069 83 | 0.008 % |
84.61/84.65 c | 43190 | 72974 340360 1129423 | 2147483647 42167 83 | 0.010 % |
84.81/84.81 c | 43304 | 72974 340360 1129423 | 2147483647 42281 83 | 0.010 % |
85.01/85.02 c | 43428 | 72974 340360 1129423 | 2147483647 42405 83 | 0.010 % |
85.11/85.17 c | 43562 | 72974 340360 1129423 | 2147483647 42539 83 | 0.010 % |
85.41/85.46 c | 43708 | 72974 340360 1129423 | 2147483647 42685 83 | 0.010 % |
85.71/85.74 c | 43868 | 72974 340360 1129423 | 2147483647 42845 84 | 0.010 % |
85.91/85.93 c | 44046 | 72974 340360 1129423 | 2147483647 43023 84 | 0.010 % |
86.31/86.39 c | 44240 | 72974 340360 1129423 | 2147483647 43217 84 | 0.010 % |
86.51/86.58 c | 44453 | 72974 340360 1129423 | 2147483647 43430 84 | 0.010 % |
88.21/88.23 c | 44718 | 72974 340360 1129423 | 2147483647 43695 84 | 0.010 % |
88.51/88.51 c | 44974 | 72974 340360 1129423 | 2147483647 43951 84 | 0.010 % |
88.81/88.83 c | 45256 | 72974 340360 1129423 | 2147483647 44233 84 | 0.010 % |
89.41/89.44 c | 45566 | 72974 340360 1129423 | 2147483647 44543 85 | 0.010 % |
90.01/90.02 c | 45906 | 72974 340360 1129423 | 2147483647 44883 85 | 0.010 % |
90.61/90.67 c | 46280 | 72974 340360 1129423 | 2147483647 45257 86 | 0.010 % |
91.01/91.08 c | 46691 | 72974 340360 1129423 | 2147483647 45668 85 | 0.010 % |
91.41/91.46 c | 47140 | 72974 340360 1129423 | 2147483647 46117 85 | 0.010 % |
91.91/91.98 c | 47633 | 72974 340360 1129423 | 2147483647 46610 85 | 0.010 % |
92.42/92.42 c | 48175 | 72974 340360 1129423 | 2147483647 47152 84 | 0.010 % |
93.11/93.12 c | 48775 | 72974 340360 1129423 | 2147483647 47752 85 | 0.010 % |
93.81/93.86 c | 49430 | 72974 340360 1129423 | 2147483647 48407 84 | 0.010 % |
93.91/93.95 c | 49530 | 72974 340360 1129423 | 2147483647 48507 84 | 0.010 % |
94.21/94.22 c | 49653 | 72974 340360 1129423 | 2147483647 48630 84 | 0.010 % |
94.31/94.39 c | 49775 | 72974 340360 1129423 | 2147483647 48752 84 | 0.010 % |
94.41/94.48 c | 49911 | 72974 340360 1129423 | 2147483647 48888 84 | 0.010 % |
94.71/94.72 c | 50058 | 72974 340360 1129423 | 2147483647 49035 84 | 0.010 % |
95.61/95.67 c | 50230 | 72974 340360 1129423 | 2147483647 49207 84 | 0.010 % |
95.81/95.83 c | 50406 | 72974 340360 1129423 | 2147483647 49383 84 | 0.010 % |
96.11/96.12 c | 50600 | 72974 340360 1129423 | 2147483647 49577 84 | 0.010 % |
96.41/96.44 c | 50812 | 72974 340360 1129423 | 2147483647 49789 84 | 0.010 % |
96.71/96.77 c | 51047 | 72974 340360 1129423 | 2147483647 50024 84 | 0.010 % |
97.21/97.24 c | 51303 | 72974 340360 1129423 | 2147483647 50280 85 | 0.010 % |
97.71/97.74 c | 51584 | 72974 340360 1129423 | 2147483647 50561 85 | 0.010 % |
98.41/98.41 c | 51893 | 72974 340360 1129423 | 2147483647 50870 86 | 0.010 % |
99.31/99.39 c | 52234 | 72974 340360 1129423 | 2147483647 51211 86 | 0.010 % |
99.61/99.66 c | 52608 | 72974 340360 1129423 | 2147483647 51585 86 | 0.010 % |
100.01/100.04 c | 53017 | 72974 340360 1129423 | 2147483647 51994 86 | 0.010 % |
100.81/100.83 c | 53466 | 72974 340360 1129423 | 2147483647 52443 86 | 0.010 % |
101.01/101.02 c | 53959 | 72974 340360 1129423 | 2147483647 52936 86 | 0.010 % |
101.71/101.74 c | 54503 | 72974 340360 1129423 | 2147483647 53480 87 | 0.010 % |
102.81/102.88 c | 55099 | 72974 340360 1129423 | 2147483647 54076 87 | 0.010 % |
104.01/104.09 c | 55754 | 72974 340360 1129423 | 2147483647 54731 87 | 0.010 % |
104.91/104.98 c | 56474 | 72974 340360 1129423 | 2147483647 55451 87 | 0.010 % |
105.11/105.13 c | 56575 | 72974 340360 1129423 | 2147483647 55552 87 | 0.010 % |
105.31/105.36 c | 56685 | 72974 340360 1129423 | 2147483647 55662 87 | 0.010 % |
105.62/105.67 c | 56809 | 72974 340360 1129423 | 2147483647 55786 88 | 0.010 % |
105.91/105.96 c | 56942 | 72974 340360 1129423 | 2147483647 55919 88 | 0.010 % |
106.21/106.22 c | 57090 | 72974 340360 1129423 | 2147483647 56067 88 | 0.010 % |
106.51/106.57 c | 57256 | 72974 340360 1129423 | 2147483647 56233 88 | 0.010 % |
106.81/106.85 c | 57432 | 72974 340360 1129423 | 2147483647 56409 88 | 0.010 % |
107.61/107.66 c | 57626 | 72974 340360 1129423 | 2147483647 56603 88 | 0.010 % |
108.01/108.02 c | 57838 | 72974 340360 1129423 | 2147483647 56815 88 | 0.010 % |
108.51/108.50 c | 58072 | 72974 340360 1129423 | 2147483647 57049 89 | 0.010 % |
108.92/108.92 c | 58329 | 72974 340360 1129423 | 2147483647 57306 89 | 0.010 % |
109.22/109.25 c | 58610 | 72974 340360 1129423 | 2147483647 57587 89 | 0.010 % |
109.72/109.71 c | 58919 | 72974 340360 1129423 | 2147483647 57896 89 | 0.010 % |
110.02/110.04 c | 59262 | 72974 340360 1129423 | 2147483647 58239 89 | 0.010 % |
111.22/111.28 c | 59635 | 72974 340360 1129423 | 2147483647 58612 90 | 0.010 % |
111.92/111.96 c | 60044 | 72974 340360 1129423 | 2147483647 59021 90 | 0.010 % |
112.52/112.51 c | 60494 | 72974 340360 1129423 | 2147483647 59471 90 | 0.010 % |
113.52/113.55 c | 60987 | 72974 340360 1129423 | 2147483647 59964 90 | 0.010 % |
114.42/114.51 c | 61530 | 72974 340360 1129423 | 2147483647 60507 90 | 0.010 % |
115.12/115.17 c | 62129 | 72974 340360 1129423 | 2147483647 61106 91 | 0.010 % |
116.22/116.23 c | 62786 | 72974 340360 1129423 | 2147483647 61763 92 | 0.010 % |
117.62/117.68 c | 63506 | 72974 340360 1129423 | 2147483647 62483 93 | 0.010 % |
118.82/118.82 c | 64299 | 72974 340360 1129423 | 2147483647 63276 94 | 0.010 % |
119.32/119.38 c | 64399 | 72974 340360 1129423 | 2147483647 63376 94 | 0.010 % |
119.42/119.47 c | 64509 | 72974 340360 1129423 | 2147483647 63486 94 | 0.010 % |
119.72/119.73 c | 64635 | 72974 340360 1129423 | 2147483647 63612 94 | 0.010 % |
120.02/120.10 c | 64772 | 72974 340360 1129423 | 2147483647 63749 94 | 0.010 % |
120.62/120.63 c | 64935 | 72974 340360 1129423 | 2147483647 63912 94 | 0.010 % |
120.72/120.75 c | 65095 | 72974 340360 1129423 | 2147483647 64072 94 | 0.010 % |
120.92/120.97 c | 65273 | 72974 340360 1129423 | 2147483647 64250 94 | 0.010 % |
121.22/121.27 c | 65468 | 72974 340360 1129423 | 2147483647 64445 94 | 0.010 % |
121.42/121.46 c | 65680 | 72974 340360 1129423 | 2147483647 64657 94 | 0.010 % |
121.72/121.79 c | 65915 | 72974 340360 1129423 | 2147483647 64892 94 | 0.010 % |
122.22/122.23 c | 66172 | 72974 340360 1129423 | 2147483647 65149 94 | 0.010 % |
122.52/122.60 c | 66453 | 72974 340360 1129423 | 2147483647 65430 94 | 0.010 % |
123.12/123.17 c | 66762 | 72974 340360 1129423 | 2147483647 65739 94 | 0.010 % |
124.02/124.04 c | 67102 | 72974 340360 1129423 | 2147483647 66079 94 | 0.010 % |
124.22/124.29 c | 67474 | 72974 340360 1129423 | 2147483647 66451 94 | 0.010 % |
124.42/124.48 c | 67883 | 72974 340360 1129423 | 2147483647 66860 94 | 0.010 % |
125.32/125.31 c | 68333 | 72974 340360 1129423 | 2147483647 67310 94 | 0.010 % |
126.02/126.10 c | 68827 | 72974 340360 1129423 | 2147483647 67804 95 | 0.010 % |
126.92/126.98 c | 69370 | 72974 340360 1129423 | 2147483647 68347 94 | 0.010 % |
128.22/128.24 c | 69966 | 72974 340360 1129423 | 2147483647 68943 95 | 0.010 % |
129.02/129.01 c | 70621 | 72974 340360 1129423 | 2147483647 69598 96 | 0.010 % |
130.12/130.13 c | 71341 | 72974 340360 1129423 | 2147483647 70318 97 | 0.010 % |
131.32/131.32 c | 72134 | 72974 340360 1129423 | 2147483647 71111 98 | 0.010 % |
132.32/132.39 c | 73005 | 72974 340360 1129423 | 2147483647 71982 98 | 0.010 % |
132.72/132.73 c | 73105 | 72974 340360 1129423 | 2147483647 72082 98 | 0.010 % |
132.82/132.90 c | 73215 | 72974 340360 1129423 | 2147483647 72192 98 | 0.010 % |
133.02/133.01 c | 73336 | 72974 340360 1129423 | 2147483647 72313 98 | 0.010 % |
133.12/133.15 c | 73469 | 72974 340360 1129423 | 2147483647 72446 98 | 0.010 % |
133.52/133.56 c | 73625 | 72974 340360 1129423 | 2147483647 72602 98 | 0.010 % |
133.82/133.83 c | 73790 | 72974 340360 1129423 | 2147483647 72767 98 | 0.010 % |
134.22/134.23 c | 73966 | 72974 340360 1129423 | 2147483647 72943 98 | 0.010 % |
134.62/134.66 c | 74159 | 72974 340360 1129423 | 2147483647 73136 98 | 0.010 % |
135.32/135.32 c | 74371 | 72974 340360 1129423 | 2147483647 73348 99 | 0.010 % |
135.52/135.57 c | 74605 | 72974 340360 1129423 | 2147483647 73582 99 | 0.010 % |
136.22/136.26 c | 74861 | 72974 340360 1129423 | 2147483647 73838 99 | 0.010 % |
136.52/136.58 c | 75143 | 72974 340360 1129423 | 2147483647 74120 99 | 0.010 % |
137.02/137.08 c | 75452 | 72974 340360 1129423 | 2147483647 74429 99 | 0.010 % |
137.82/137.84 c | 75792 | 72974 340360 1129423 | 2147483647 74769 99 | 0.010 % |
138.62/138.66 c | 76164 | 72974 340360 1129423 | 2147483647 75141 99 | 0.010 % |
139.02/139.09 c | 76574 | 72974 340360 1129423 | 2147483647 75551 98 | 0.010 % |
140.42/140.48 c | 77023 | 72974 340360 1129423 | 2147483647 76000 99 | 0.010 % |
141.12/141.14 c | 77516 | 72974 340360 1129423 | 2147483647 76493 99 | 0.010 % |
142.12/142.14 c | 78059 | 72974 340360 1129423 | 2147483647 77036 99 | 0.010 % |
143.12/143.14 c | 78655 | 72974 340360 1129423 | 2147483647 77632 99 | 0.010 % |
144.22/144.28 c | 79310 | 72974 340360 1129423 | 2147483647 78287 100 | 0.010 % |
145.62/145.65 c | 80030 | 72974 340360 1129423 | 2147483647 79007 99 | 0.010 % |
148.62/148.63 c | 80822 | 72974 340360 1129423 | 2147483647 79799 101 | 0.010 % |
149.92/149.97 c | 81693 | 72974 340360 1129423 | 2147483647 80670 101 | 0.010 % |
151.42/151.49 c | 82651 | 72974 340360 1129423 | 2147483647 81628 100 | 0.010 % |
151.62/151.67 c | 82751 | 72974 340360 1129423 | 2147483647 81728 100 | 0.010 % |
151.92/151.96 c | 82864 | 72974 340360 1129423 | 2147483647 81841 100 | 0.010 % |
152.32/152.35 c | 82987 | 72974 340360 1129423 | 2147483647 81964 100 | 0.010 % |
152.52/152.59 c | 83121 | 72974 340360 1129423 | 2147483647 82098 100 | 0.010 % |
152.92/152.94 c | 83268 | 72974 340360 1129423 | 2147483647 82245 100 | 0.010 % |
153.12/153.16 c | 83428 | 72974 340360 1129423 | 2147483647 82405 100 | 0.010 % |
153.42/153.47 c | 83605 | 72974 340360 1129423 | 2147483647 82582 100 | 0.010 % |
154.02/154.06 c | 83800 | 72974 340360 1129423 | 2147483647 82777 100 | 0.010 % |
155.12/155.11 c | 84013 | 72974 340360 1129423 | 2147483647 82990 100 | 0.010 % |
155.42/155.47 c | 84246 | 72974 340360 1129423 | 2147483647 83223 101 | 0.010 % |
155.72/155.78 c | 84502 | 72974 340360 1129423 | 2147483647 83479 101 | 0.010 % |
156.72/156.80 c | 84785 | 72974 340360 1129423 | 2147483647 83762 101 | 0.010 % |
157.52/157.54 c | 85095 | 72974 340360 1129423 | 2147483647 84072 101 | 0.010 % |
158.32/158.38 c | 85436 | 72974 340360 1129423 | 2147483647 84413 101 | 0.010 % |
158.92/158.91 c | 85809 | 72974 340360 1129423 | 2147483647 84786 101 | 0.010 % |
159.32/159.37 c | 86219 | 72974 340360 1129423 | 2147483647 85196 101 | 0.010 % |
160.22/160.27 c | 86669 | 72974 340360 1129423 | 2147483647 85646 102 | 0.010 % |
161.52/161.56 c | 87163 | 72974 340360 1129423 | 2147483647 86140 102 | 0.010 % |
162.02/162.10 c | 87705 | 72974 340360 1129423 | 2147483647 86682 102 | 0.010 % |
162.92/162.99 c | 88301 | 72974 340360 1129423 | 2147483647 87278 102 | 0.010 % |
164.62/164.63 c | 88956 | 72974 340360 1129423 | 2147483647 87933 103 | 0.010 % |
169.02/169.05 c | 89688 | 72974 340360 1129423 | 2147483647 88665 103 | 0.010 % |
173.52/173.55 c | 90480 | 72974 340360 1129423 | 2147483647 89457 104 | 0.010 % |
174.93/174.94 c | 91353 | 72974 340360 1129423 | 2147483647 90330 104 | 0.010 % |
177.22/177.27 c | 92312 | 72974 340360 1129423 | 2147483647 91289 105 | 0.010 % |
179.52/179.50 c | 93367 | 72974 340360 1129423 | 2147483647 92344 105 | 0.010 % |
179.72/179.77 c | 93468 | 72974 340360 1129423 | 2147483647 92445 104 | 0.010 % |
179.92/179.97 c | 93580 | 72974 340360 1129423 | 2147483647 92557 104 | 0.010 % |
181.12/181.15 c | 93701 | 72974 340360 1129423 | 2147483647 92678 105 | 0.010 % |
181.42/181.45 c | 93836 | 72974 340360 1129423 | 2147483647 92813 104 | 0.010 % |
181.62/181.64 c | 93982 | 72974 340360 1129423 | 2147483647 92959 104 | 0.010 % |
181.82/181.89 c | 94143 | 72974 340360 1129423 | 2147483647 93120 104 | 0.010 % |
182.02/182.03 c | 94320 | 72974 340360 1129423 | 2147483647 93297 104 | 0.010 % |
183.32/183.34 c | 94513 | 72974 340360 1129423 | 2147483647 93490 104 | 0.010 % |
183.62/183.67 c | 94725 | 72974 340360 1129423 | 2147483647 93702 104 | 0.010 % |
183.92/183.99 c | 94960 | 72974 340360 1129423 | 2147483647 93937 104 | 0.010 % |
184.52/184.52 c | 95217 | 72974 340360 1129423 | 2147483647 94194 105 | 0.010 % |
184.92/185.00 c | 95498 | 72974 340360 1129423 | 2147483647 94475 105 | 0.010 % |
185.42/185.45 c | 95809 | 72974 340360 1129423 | 2147483647 94786 104 | 0.010 % |
186.12/186.16 c | 96150 | 72974 340360 1129423 | 2147483647 95127 105 | 0.010 % |
186.62/186.63 c | 96523 | 72974 340360 1129423 | 2147483647 95500 104 | 0.010 % |
187.72/187.73 c | 96932 | 72974 340360 1129423 | 2147483647 95909 105 | 0.010 % |
188.82/188.90 c | 97383 | 72974 340360 1129423 | 2147483647 96360 105 | 0.010 % |
189.62/189.65 c | 97876 | 72974 340360 1129423 | 2147483647 96853 105 | 0.010 % |
191.22/191.20 c | 98418 | 72974 340360 1129423 | 2147483647 97395 106 | 0.010 % |
192.22/192.25 c | 99015 | 72974 340360 1129423 | 2147483647 97992 106 | 0.010 % |
193.52/193.61 c | 99670 | 72974 340360 1129423 | 2147483647 98647 106 | 0.010 % |
194.73/194.72 c | 100390 | 72974 340360 1129423 | 2147483647 99367 105 | 0.010 % |
196.32/196.33 c | 101185 | 72974 340360 1129423 | 2147483647 100162 105 | 0.010 % |
197.62/197.61 c | 102056 | 72974 340360 1129423 | 2147483647 101033 105 | 0.010 % |
200.02/200.04 c | 103014 | 72974 340360 1129423 | 2147483647 101991 106 | 0.010 % |
201.22/201.26 c | 104067 | 72974 340360 1129423 | 2147483647 103044 106 | 0.010 % |
205.22/205.25 c | 105225 | 72974 340360 1129423 | 2147483647 104202 107 | 0.010 % |
205.52/205.51 c | 105329 | 72974 340360 1129423 | 2147483647 104306 107 | 0.010 % |
205.62/205.71 c | 105439 | 72974 340360 1129423 | 2147483647 104416 107 | 0.010 % |
205.82/205.83 c | 105560 | 72974 340360 1129423 | 2147483647 104537 107 | 0.010 % |
206.02/206.04 c | 105694 | 72974 340360 1129423 | 2147483647 104671 107 | 0.010 % |
206.22/206.25 c | 105840 | 72974 340360 1129423 | 2147483647 104817 107 | 0.010 % |
206.22/206.29 c | 106000 | 72974 340360 1129423 | 2147483647 104977 107 | 0.010 % |
206.83/206.84 c | 106176 | 72974 340360 1129423 | 2147483647 105153 107 | 0.010 % |
207.12/207.15 c | 106369 | 72974 340360 1129423 | 2147483647 105346 107 | 0.010 % |
207.32/207.37 c | 106583 | 72974 340360 1129423 | 2147483647 105560 106 | 0.010 % |
207.72/207.71 c | 106817 | 72974 340360 1129423 | 2147483647 105794 107 | 0.010 % |
208.32/208.33 c | 107073 | 72974 340360 1129423 | 2147483647 106050 107 | 0.010 % |
208.82/208.87 c | 107354 | 72974 340360 1129423 | 2147483647 106331 107 | 0.010 % |
209.22/209.22 c | 107665 | 72974 340360 1129423 | 2147483647 106642 106 | 0.010 % |
210.92/210.92 c | 108006 | 72974 340360 1129423 | 2147483647 106983 107 | 0.010 % |
211.52/211.52 c | 108379 | 72974 340360 1129423 | 2147483647 107356 107 | 0.010 % |
212.02/212.10 c | 108789 | 72974 340360 1129423 | 2147483647 107766 107 | 0.010 % |
212.82/212.87 c | 109238 | 72974 340360 1129423 | 2147483647 108215 107 | 0.010 % |
213.22/213.28 c | 109732 | 72974 340360 1129423 | 2147483647 108709 107 | 0.010 % |
213.52/213.59 c | 110278 | 72974 340360 1129423 | 2147483647 109255 106 | 0.010 % |
214.82/214.84 c | 110874 | 72974 340360 1129423 | 2147483647 109851 106 | 0.010 % |
215.42/215.42 c | 111529 | 72974 340360 1129423 | 2147483647 110506 106 | 0.010 % |
216.52/216.51 c | 112249 | 72974 340360 1129423 | 2147483647 111226 107 | 0.010 % |
217.92/217.98 c | 113044 | 72974 340360 1129423 | 2147483647 112021 107 | 0.010 % |
218.93/218.97 c | 113915 | 72974 340360 1129423 | 2147483647 112892 107 | 0.010 % |
220.93/220.98 c | 114873 | 72974 340360 1129423 | 2147483647 113850 107 | 0.010 % |
224.64/224.72 c | 115929 | 72974 340360 1129423 | 2147483647 114906 108 | 0.010 % |
230.04/230.08 c | 117088 | 72974 340360 1129423 | 2147483647 116065 109 | 0.010 % |
233.14/233.14 c | 118363 | 72974 340360 1129423 | 2147483647 117340 110 | 0.010 % |
233.34/233.36 c | 118464 | 72974 340360 1129423 | 2147483647 117441 110 | 0.010 % |
233.44/233.49 c | 118580 | 72974 340360 1129423 | 2147483647 117557 110 | 0.010 % |
233.54/233.55 c | 118703 | 72974 340360 1129423 | 2147483647 117680 110 | 0.010 % |
233.64/233.71 c | 118836 | 72974 340360 1129423 | 2147483647 117813 109 | 0.010 % |
234.04/234.08 c | 118982 | 72974 340360 1129423 | 2147483647 117959 109 | 0.010 % |
234.94/234.92 c | 119142 | 72974 340360 1129423 | 2147483647 118119 109 | 0.010 % |
235.14/235.12 c | 119320 | 72974 340360 1129423 | 2147483647 118297 109 | 0.010 % |
235.14/235.19 c | 119515 | 72974 340360 1129423 | 2147483647 118492 109 | 0.010 % |
235.54/235.58 c | 119727 | 72974 340360 1129423 | 2147483647 118704 109 | 0.010 % |
236.14/236.16 c | 119960 | 72974 340360 1129423 | 2147483647 118937 110 | 0.010 % |
236.54/236.60 c | 120219 | 72974 340360 1129423 | 2147483647 119196 110 | 0.010 % |
237.04/237.03 c | 120501 | 72974 340360 1129423 | 2147483647 119478 110 | 0.010 % |
238.04/238.03 c | 120810 | 72974 340360 1129423 | 2147483647 119787 110 | 0.010 % |
238.64/238.68 c | 121149 | 72974 340360 1129423 | 2147483647 120126 110 | 0.010 % |
239.34/239.40 c | 121522 | 72974 340360 1129423 | 2147483647 120499 110 | 0.010 % |
240.44/240.46 c | 121934 | 72974 340360 1129423 | 2147483647 120911 110 | 0.010 % |
241.14/241.19 c | 122385 | 72974 340360 1129423 | 2147483647 121362 110 | 0.010 % |
242.34/242.36 c | 122878 | 72974 340360 1129423 | 2147483647 121855 110 | 0.010 % |
243.14/243.21 c | 123420 | 72974 340360 1129423 | 2147483647 122397 110 | 0.010 % |
244.04/244.06 c | 124016 | 72974 340360 1129423 | 2147483647 122993 109 | 0.010 % |
246.04/246.08 c | 124673 | 72974 340360 1129423 | 2147483647 123650 109 | 0.010 % |
247.14/247.13 c | 125393 | 72974 340360 1129423 | 2147483647 124370 109 | 0.010 % |
249.44/249.45 c | 126185 | 72974 340360 1129423 | 2147483647 125162 110 | 0.010 % |
251.64/251.71 c | 127056 | 72974 340360 1129423 | 2147483647 126033 110 | 0.010 % |
253.34/253.36 c | 128014 | 72974 340360 1129423 | 2147483647 126991 110 | 0.010 % |
257.34/257.35 c | 129067 | 72974 340360 1129423 | 2147483647 128044 110 | 0.010 % |
259.44/259.44 c | 130225 | 72974 340360 1129423 | 2147483647 129202 110 | 0.010 % |
260.24/260.22 c | 131498 | 72974 340360 1129423 | 2147483647 130475 110 | 0.010 % |
262.44/262.46 c | 132899 | 72974 340360 1129423 | 2147483647 131876 110 | 0.010 % |
262.54/262.58 c | 132999 | 72974 340360 1129423 | 2147483647 131976 110 | 0.010 % |
263.14/263.13 c | 133109 | 72974 340360 1129423 | 2147483647 132086 110 | 0.010 % |
263.54/263.54 c | 133231 | 72974 340360 1129423 | 2147483647 132208 110 | 0.010 % |
263.74/263.74 c | 133364 | 72974 340360 1129423 | 2147483647 132341 110 | 0.010 % |
263.84/263.88 c | 133510 | 72974 340360 1129423 | 2147483647 132487 110 | 0.010 % |
264.14/264.21 c | 133670 | 72974 340360 1129423 | 2147483647 132647 110 | 0.010 % |
264.34/264.41 c | 133847 | 72974 340360 1129423 | 2147483647 132824 110 | 0.010 % |
264.74/264.76 c | 134040 | 72974 340360 1129423 | 2147483647 133017 110 | 0.010 % |
265.54/265.61 c | 134252 | 72974 340360 1129423 | 2147483647 133229 110 | 0.010 % |
266.04/266.05 c | 134485 | 72974 340360 1129423 | 2147483647 133462 110 | 0.010 % |
266.24/266.22 c | 134741 | 72974 340360 1129423 | 2147483647 133718 110 | 0.010 % |
266.54/266.61 c | 135043 | 72974 340360 1129423 | 2147483647 134020 109 | 0.010 % |
267.24/267.24 c | 135352 | 72974 340360 1129423 | 2147483647 134329 109 | 0.010 % |
268.24/268.23 c | 135691 | 72974 340360 1129423 | 2147483647 134668 109 | 0.010 % |
268.64/268.65 c | 136063 | 72974 340360 1129423 | 2147483647 135040 109 | 0.010 % |
269.44/269.45 c | 136474 | 72974 340360 1129423 | 2147483647 135451 109 | 0.010 % |
270.34/270.40 c | 136923 | 72974 340360 1129423 | 2147483647 135900 109 | 0.010 % |
270.84/270.88 c | 137417 | 72974 340360 1129423 | 2147483647 136394 109 | 0.010 % |
271.64/271.70 c | 137959 | 72974 340360 1129423 | 2147483647 136936 109 | 0.010 % |
273.14/273.21 c | 138556 | 72974 340360 1129423 | 2147483647 137533 109 | 0.010 % |
274.74/274.73 c | 139211 | 72974 340360 1129423 | 2147483647 138188 110 | 0.010 % |
275.94/276.00 c | 139932 | 72974 340360 1129423 | 2147483647 138909 110 | 0.010 % |
278.44/278.44 c | 140725 | 72974 340360 1129423 | 2147483647 139702 110 | 0.010 % |
281.64/281.66 c | 141596 | 72974 340360 1129423 | 2147483647 140573 110 | 0.010 % |
283.04/283.03 c | 142554 | 72974 340360 1129423 | 2147483647 141531 111 | 0.010 % |
284.84/284.87 c | 143607 | 72974 340360 1129423 | 2147483647 142584 112 | 0.010 % |
287.04/287.11 c | 144765 | 72974 340360 1129423 | 2147483647 143742 112 | 0.010 % |
289.54/289.59 c | 146038 | 72974 340360 1129423 | 2147483647 145015 112 | 0.010 % |
293.54/293.56 c | 147438 | 72974 340360 1129423 | 2147483647 146415 113 | 0.010 % |
296.84/296.91 c | 148978 | 72974 340360 1129423 | 2147483647 147955 114 | 0.010 % |
297.14/297.12 c | 149078 | 72974 340360 1129423 | 2147483647 148055 114 | 0.010 % |
298.04/298.05 c | 149192 | 72974 340360 1129423 | 2147483647 148169 114 | 0.010 % |
298.24/298.31 c | 149316 | 72974 340360 1129423 | 2147483647 148293 114 | 0.010 % |
298.44/298.51 c | 149449 | 72974 340360 1129423 | 2147483647 148426 114 | 0.010 % |
298.84/298.85 c | 149600 | 72974 340360 1129423 | 2147483647 148577 114 | 0.010 % |
299.14/299.14 c | 149760 | 72974 340360 1129423 | 2147483647 148737 114 | 0.010 % |
299.54/299.54 c | 149936 | 72974 340360 1129423 | 2147483647 148913 114 | 0.010 % |
300.04/300.02 c | 150130 | 72974 340360 1129423 | 2147483647 149107 114 | 0.010 % |
300.64/300.64 c | 150343 | 72974 340360 1129423 | 2147483647 149320 114 | 0.010 % |
301.14/301.18 c | 150576 | 72974 340360 1129423 | 2147483647 149553 113 | 0.010 % |
302.04/302.02 c | 150841 | 72974 340360 1129423 | 2147483647 149818 114 | 0.010 % |
302.44/302.46 c | 151122 | 72974 340360 1129423 | 2147483647 150099 114 | 0.010 % |
302.84/302.83 c | 151431 | 72974 340360 1129423 | 2147483647 150408 114 | 0.010 % |
303.34/303.37 c | 151770 | 72974 340360 1129423 | 2147483647 150747 114 | 0.010 % |
304.24/304.31 c | 152142 | 72974 340360 1129423 | 2147483647 151119 114 | 0.010 % |
304.64/304.72 c | 152551 | 72974 340360 1129423 | 2147483647 151528 114 | 0.010 % |
309.15/309.18 c | 153001 | 72974 340360 1129423 | 2147483647 151978 114 | 0.010 % |
310.44/310.48 c | 153496 | 72974 340360 1129423 | 2147483647 152473 114 | 0.010 % |
311.44/311.41 c | 154042 | 72974 340360 1129423 | 2147483647 153019 114 | 0.010 % |
314.84/314.88 c | 154638 | 72974 340360 1129423 | 2147483647 153615 114 | 0.010 % |
315.84/315.88 c | 155295 | 72974 340360 1129423 | 2147483647 154272 114 | 0.010 % |
316.24/316.25 c | 156016 | 72974 340360 1129423 | 2147483647 154993 114 | 0.010 % |
318.74/318.71 c | 156808 | 72974 340360 1129423 | 2147483647 155785 114 | 0.010 % |
319.24/319.24 c | 157679 | 72974 340360 1129423 | 2147483647 156656 114 | 0.010 % |
320.64/320.63 c | 158639 | 72974 340360 1129423 | 2147483647 157616 114 | 0.010 % |
322.24/322.27 c | 159693 | 72974 340360 1129423 | 2147483647 158670 114 | 0.010 % |
327.94/327.98 c | 160853 | 72974 340360 1129423 | 2147483647 159830 115 | 0.010 % |
333.05/333.03 c | 162126 | 72974 340360 1129423 | 2147483647 161103 115 | 0.010 % |
334.65/334.66 c | 163526 | 72974 340360 1129423 | 2147483647 162503 115 | 0.010 % |
338.25/338.31 c | 165066 | 72974 340360 1129423 | 2147483647 164043 116 | 0.010 % |
339.25/339.27 c | 166761 | 72974 340360 1129423 | 2147483647 165738 115 | 0.010 % |
339.25/339.31 c | 166862 | 72974 340360 1129423 | 2147483647 165839 115 | 0.010 % |
339.65/339.67 c | 166972 | 72974 340360 1129423 | 2147483647 165949 115 | 0.010 % |
339.85/339.92 c | 167093 | 72974 340360 1129423 | 2147483647 166070 115 | 0.010 % |
340.25/340.25 c | 167226 | 72974 340360 1129423 | 2147483647 166203 115 | 0.010 % |
340.65/340.67 c | 167372 | 72974 340360 1129423 | 2147483647 166349 115 | 0.010 % |
340.95/341.01 c | 167532 | 72974 340360 1129423 | 2147483647 166509 115 | 0.010 % |
341.35/341.37 c | 167708 | 72974 340360 1129423 | 2147483647 166685 116 | 0.010 % |
341.75/341.75 c | 167901 | 72974 340360 1129423 | 2147483647 166878 115 | 0.010 % |
342.25/342.28 c | 168114 | 72974 340360 1129423 | 2147483647 167091 115 | 0.010 % |
342.85/342.82 c | 168347 | 72974 340360 1129423 | 2147483647 167324 115 | 0.010 % |
343.35/343.33 c | 168603 | 72974 340360 1129423 | 2147483647 167580 115 | 0.010 % |
343.95/344.01 c | 168884 | 72974 340360 1129423 | 2147483647 167861 115 | 0.010 % |
344.55/344.61 c | 169193 | 72974 340360 1129423 | 2147483647 168170 115 | 0.010 % |
345.45/345.50 c | 169535 | 72974 340360 1129423 | 2147483647 168512 115 | 0.010 % |
346.35/346.41 c | 169908 | 72974 340360 1129423 | 2147483647 168885 115 | 0.010 % |
347.05/347.03 c | 170317 | 72974 340360 1129423 | 2147483647 169294 115 | 0.010 % |
348.55/348.55 c | 170771 | 72974 340360 1129423 | 2147483647 169748 115 | 0.010 % |
349.35/349.41 c | 171264 | 72974 340360 1129423 | 2147483647 170241 116 | 0.010 % |
350.55/350.53 c | 171807 | 72974 340360 1129423 | 2147483647 170784 115 | 0.010 % |
351.35/351.33 c | 172408 | 72974 340360 1129423 | 2147483647 171385 116 | 0.010 % |
352.45/352.47 c | 173064 | 72974 340360 1129423 | 2147483647 172041 115 | 0.010 % |
353.85/353.85 c | 173785 | 72974 340360 1129423 | 2147483647 172762 116 | 0.010 % |
355.85/355.89 c | 174577 | 72974 340360 1129423 | 2147483647 173554 116 | 0.010 % |
356.85/356.90 c | 175449 | 72974 340360 1129423 | 2147483647 174426 116 | 0.010 % |
359.25/359.28 c | 176407 | 72974 340360 1129423 | 2147483647 175384 116 | 0.010 % |
362.15/362.18 c | 177461 | 72974 340360 1129423 | 2147483647 176438 116 | 0.010 % |
365.85/365.89 c | 178620 | 72974 340360 1129423 | 2147483647 177597 117 | 0.010 % |
367.75/367.81 c | 179893 | 72974 340360 1129423 | 2147483647 178870 116 | 0.010 % |
372.75/372.74 c | 181294 | 72974 340360 1129423 | 2147483647 180271 116 | 0.010 % |
375.15/375.18 c | 182834 | 72974 340360 1129423 | 2147483647 181811 116 | 0.010 % |
377.65/377.69 c | 184528 | 72974 340360 1129423 | 2147483647 183505 116 | 0.010 % |
379.35/379.37 c | 186391 | 72974 340360 1129423 | 2147483647 185368 116 | 0.010 % |
379.65/379.70 c | 186491 | 72974 340360 1129423 | 2147483647 185468 116 | 0.010 % |
379.85/379.85 c | 186601 | 72974 340360 1129423 | 2147483647 185578 115 | 0.010 % |
379.95/379.95 c | 186722 | 72974 340360 1129423 | 2147483647 185699 115 | 0.010 % |
380.35/380.39 c | 186856 | 72974 340360 1129423 | 2147483647 185833 115 | 0.010 % |
380.75/380.75 c | 187002 | 72974 340360 1129423 | 2147483647 185979 116 | 0.010 % |
381.35/381.36 c | 187163 | 72974 340360 1129423 | 2147483647 186140 116 | 0.010 % |
381.95/381.98 c | 187339 | 72974 340360 1129423 | 2147483647 186316 116 | 0.010 % |
382.45/382.47 c | 187532 | 72974 340360 1129423 | 2147483647 186509 116 | 0.010 % |
383.25/383.29 c | 187746 | 72974 340360 1129423 | 2147483647 186723 116 | 0.010 % |
383.75/383.76 c | 187979 | 72974 340360 1129423 | 2147483647 186956 116 | 0.010 % |
384.35/384.36 c | 188237 | 72974 340360 1129423 | 2147483647 187214 116 | 0.010 % |
386.35/386.32 c | 188518 | 72974 340360 1129423 | 2147483647 187495 116 | 0.010 % |
387.05/387.02 c | 188827 | 72974 340360 1129423 | 2147483647 187804 116 | 0.010 % |
387.35/387.40 c | 189167 | 72974 340360 1129423 | 2147483647 188144 116 | 0.010 % |
387.85/387.87 c | 189540 | 72974 340360 1129423 | 2147483647 188517 116 | 0.010 % |
389.25/389.24 c | 189950 | 72974 340360 1129423 | 2147483647 188927 116 | 0.010 % |
390.15/390.16 c | 190400 | 72974 340360 1129423 | 2147483647 189377 116 | 0.010 % |
391.05/391.07 c | 190894 | 72974 340360 1129423 | 2147483647 189871 115 | 0.010 % |
392.15/392.13 c | 191437 | 72974 340360 1129423 | 2147483647 190414 116 | 0.010 % |
394.65/394.66 c | 192034 | 72974 340360 1129423 | 2147483647 191011 115 | 0.010 % |
397.55/397.56 c | 192689 | 72974 340360 1129423 | 2147483647 191666 116 | 0.010 % |
399.75/399.72 c | 193409 | 72974 340360 1129423 | 2147483647 192386 116 | 0.010 % |
402.75/402.73 c | 194201 | 72974 340360 1129423 | 2147483647 193178 116 | 0.010 % |
404.25/404.29 c | 195072 | 72974 340360 1129423 | 2147483647 194049 116 | 0.010 % |
409.35/409.34 c | 196031 | 72974 340360 1129423 | 2147483647 195008 116 | 0.010 % |
410.95/410.95 c | 197084 | 72974 340360 1129423 | 2147483647 196061 116 | 0.010 % |
411.85/411.86 c | 198243 | 72974 340360 1129423 | 2147483647 197220 115 | 0.010 % |
414.05/414.05 c | 199516 | 72974 340360 1129423 | 2147483647 198493 115 | 0.010 % |
417.75/417.73 c | 200916 | 72974 340360 1129423 | 2147483647 199893 116 | 0.010 % |
419.55/419.59 c | 202456 | 72974 340360 1129423 | 2147483647 201433 115 | 0.010 % |
420.75/420.76 c | 204150 | 72974 340360 1129423 | 2147483647 203127 115 | 0.010 % |
423.94/423.96 c | 206014 | 72974 340360 1129423 | 2147483647 204991 115 | 0.010 % |
429.54/429.59 c | 208065 | 72974 340360 1129423 | 2147483647 207042 115 | 0.010 % |
429.74/429.77 c | 208165 | 72974 340360 1129423 | 2147483647 207142 115 | 0.010 % |
430.15/430.17 c | 208275 | 72974 340360 1129423 | 2147483647 207252 115 | 0.010 % |
430.44/430.48 c | 208396 | 72974 340360 1129423 | 2147483647 207373 115 | 0.010 % |
430.74/430.72 c | 208529 | 72974 340360 1129423 | 2147483647 207506 115 | 0.010 % |
431.54/431.57 c | 208675 | 72974 340360 1129423 | 2147483647 207652 115 | 0.010 % |
432.14/432.13 c | 208836 | 72974 340360 1129423 | 2147483647 207813 115 | 0.010 % |
432.54/432.59 c | 209015 | 72974 340360 1129423 | 2147483647 207992 115 | 0.010 % |
433.04/433.04 c | 209208 | 72974 340360 1129423 | 2147483647 208185 115 | 0.010 % |
433.45/433.43 c | 209421 | 72974 340360 1129423 | 2147483647 208398 115 | 0.010 % |
433.84/433.85 c | 209654 | 72974 340360 1129423 | 2147483647 208631 115 | 0.010 % |
434.44/434.50 c | 209912 | 72974 340360 1129423 | 2147483647 208889 115 | 0.010 % |
435.04/435.06 c | 210193 | 72974 340360 1129423 | 2147483647 209170 115 | 0.010 % |
435.84/435.81 c | 210504 | 72974 340360 1129423 | 2147483647 209481 115 | 0.010 % |
436.94/437.00 c | 210843 | 72974 340360 1129423 | 2147483647 209820 115 | 0.010 % |
438.64/438.69 c | 211215 | 72974 340360 1129423 | 2147483647 210192 115 | 0.010 % |
440.64/440.70 c | 211624 | 72974 340360 1129423 | 2147483647 210601 115 | 0.010 % |
442.65/442.63 c | 212075 | 72974 340360 1129423 | 2147483647 211052 115 | 0.010 % |
443.45/443.47 c | 212568 | 72974 340360 1129423 | 2147483647 211545 115 | 0.010 % |
444.65/444.71 c | 213112 | 72974 340360 1129423 | 2147483647 212089 116 | 0.010 % |
445.55/445.59 c | 213712 | 72974 340360 1129423 | 2147483647 212689 116 | 0.010 % |
445.95/445.99 c | 214367 | 72974 340360 1129423 | 2147483647 213344 115 | 0.010 % |
446.15/446.18 c | 215087 | 72974 340360 1129423 | 2147483647 214064 115 | 0.010 % |
448.35/448.35 c | 215880 | 72974 340360 1129423 | 2147483647 214857 115 | 0.010 % |
449.55/449.57 c | 216751 | 72974 340360 1129423 | 2147483647 215728 115 | 0.010 % |
451.05/451.02 c | 217709 | 72974 340360 1129423 | 2147483647 216686 115 | 0.010 % |
452.05/452.03 c | 218762 | 72974 340360 1129423 | 2147483647 217739 115 | 0.010 % |
453.65/453.63 c | 219922 | 72974 340360 1129423 | 2147483647 218899 114 | 0.010 % |
456.85/456.86 c | 221197 | 72974 340360 1129423 | 2147483647 220174 115 | 0.010 % |
459.95/459.92 c | 222597 | 72974 340360 1129423 | 2147483647 221574 114 | 0.010 % |
463.05/463.07 c | 224140 | 72974 340360 1129423 | 2147483647 223117 115 | 0.010 % |
465.35/465.31 c | 225834 | 72974 340360 1129423 | 2147483647 224811 114 | 0.010 % |
467.25/467.24 c | 227697 | 72974 340360 1129423 | 2147483647 226674 114 | 0.010 % |
474.15/474.12 c | 229746 | 72974 340360 1129423 | 2147483647 228723 115 | 0.010 % |
478.95/479.01 c | 231999 | 72974 340360 1129423 | 2147483647 230976 114 | 0.010 % |
479.25/479.27 c | 232099 | 72974 340360 1129423 | 2147483647 231076 114 | 0.010 % |
479.75/479.76 c | 232209 | 72974 340360 1129423 | 2147483647 231186 114 | 0.010 % |
480.15/480.21 c | 232330 | 72974 340360 1129423 | 2147483647 231307 114 | 0.010 % |
480.65/480.63 c | 232463 | 72974 340360 1129423 | 2147483647 231440 114 | 0.010 % |
481.05/481.05 c | 232610 | 72974 340360 1129423 | 2147483647 231587 114 | 0.010 % |
481.25/481.30 c | 232771 | 72974 340360 1129423 | 2147483647 231748 114 | 0.010 % |
481.75/481.81 c | 232948 | 72974 340360 1129423 | 2147483647 231925 114 | 0.010 % |
482.35/482.38 c | 233141 | 72974 340360 1129423 | 2147483647 232118 115 | 0.010 % |
482.85/482.82 c | 233353 | 72974 340360 1129423 | 2147483647 232330 115 | 0.010 % |
483.35/483.37 c | 233586 | 72974 340360 1129423 | 2147483647 232563 115 | 0.010 % |
483.95/483.98 c | 233843 | 72974 340360 1129423 | 2147483647 232820 115 | 0.010 % |
484.75/484.72 c | 234124 | 72974 340360 1129423 | 2147483647 233101 115 | 0.010 % |
485.45/485.41 c | 234433 | 72974 340360 1129423 | 2147483647 233410 115 | 0.010 % |
486.45/486.43 c | 234772 | 72974 340360 1129423 | 2147483647 233749 115 | 0.010 % |
488.15/488.12 c | 235144 | 72974 340360 1129423 | 2147483647 234121 115 | 0.010 % |
488.85/488.89 c | 235553 | 72974 340360 1129423 | 2147483647 234530 115 | 0.010 % |
489.65/489.70 c | 236002 | 72974 340360 1129423 | 2147483647 234979 115 | 0.010 % |
491.85/491.85 c | 236496 | 72974 340360 1129423 | 2147483647 235473 115 | 0.010 % |
493.25/493.22 c | 237038 | 72974 340360 1129423 | 2147483647 236015 115 | 0.010 % |
495.25/495.23 c | 237634 | 72974 340360 1129423 | 2147483647 236611 115 | 0.010 % |
496.35/496.38 c | 238289 | 72974 340360 1129423 | 2147483647 237266 115 | 0.010 % |
500.15/500.20 c | 239011 | 72974 340360 1129423 | 2147483647 237988 116 | 0.010 % |
501.95/501.96 c | 239804 | 72974 340360 1129423 | 2147483647 238781 116 | 0.010 % |
502.85/502.87 c | 240676 | 72974 340360 1129423 | 2147483647 239653 116 | 0.010 % |
505.75/505.71 c | 241636 | 72974 340360 1129423 | 2147483647 240613 116 | 0.010 % |
507.15/507.15 c | 242689 | 72974 340360 1129423 | 2147483647 241666 116 | 0.010 % |
510.46/510.43 c | 243848 | 72974 340360 1129423 | 2147483647 242825 116 | 0.010 % |
513.95/513.91 c | 245121 | 72974 340360 1129423 | 2147483647 244098 117 | 0.010 % |
516.35/516.33 c | 246521 | 72974 340360 1129423 | 2147483647 245498 116 | 0.010 % |
524.76/524.75 c | 248064 | 72974 340360 1129423 | 2147483647 247041 117 | 0.010 % |
527.35/527.35 c | 249759 | 72974 340360 1129423 | 2147483647 248736 117 | 0.010 % |
531.85/531.86 c | 251622 | 72974 340360 1129423 | 2147483647 250599 118 | 0.010 % |
535.45/535.45 c | 253671 | 72974 340360 1129423 | 2147483647 252648 117 | 0.010 % |
543.55/543.56 c | 255924 | 72974 340360 1129423 | 2147483647 254901 118 | 0.010 % |
548.25/548.30 c | 258402 | 72974 340360 1129423 | 2147483647 257379 118 | 0.010 % |
548.65/548.69 c | 258502 | 72974 340360 1129423 | 2147483647 257479 118 | 0.010 % |
549.15/549.17 c | 258612 | 72974 340360 1129423 | 2147483647 257589 118 | 0.010 % |
549.65/549.61 c | 258735 | 72974 340360 1129423 | 2147483647 257712 118 | 0.010 % |
550.06/550.08 c | 258879 | 72974 340360 1129423 | 2147483647 257856 118 | 0.010 % |
550.45/550.43 c | 259026 | 72974 340360 1129423 | 2147483647 258003 118 | 0.010 % |
551.85/551.81 c | 259190 | 72974 340360 1129423 | 2147483647 258167 118 | 0.010 % |
553.76/553.76 c | 259382 | 72974 340360 1129423 | 2147483647 258359 118 | 0.010 % |
554.06/554.04 c | 259575 | 72974 340360 1129423 | 2147483647 258552 118 | 0.010 % |
554.66/554.68 c | 259788 | 72974 340360 1129423 | 2147483647 258765 118 | 0.010 % |
555.46/555.46 c | 260023 | 72974 340360 1129423 | 2147483647 259000 118 | 0.010 % |
556.06/556.02 c | 260280 | 72974 340360 1129423 | 2147483647 259257 118 | 0.010 % |
556.76/556.81 c | 260561 | 72974 340360 1129423 | 2147483647 259538 119 | 0.010 % |
559.36/559.36 c | 260870 | 72974 340360 1129423 | 2147483647 259847 118 | 0.010 % |
559.66/559.62 c | 261209 | 72974 340360 1129423 | 2147483647 260186 118 | 0.010 % |
560.16/560.21 c | 261581 | 72974 340360 1129423 | 2147483647 260558 118 | 0.010 % |
561.26/561.25 c | 261991 | 72974 340360 1129423 | 2147483647 260968 118 | 0.010 % |
561.86/561.84 c | 262440 | 72974 340360 1129423 | 2147483647 261417 118 | 0.010 % |
562.86/562.87 c | 262933 | 72974 340360 1129423 | 2147483647 261910 118 | 0.010 % |
564.86/564.84 c | 263475 | 72974 340360 1129423 | 2147483647 262452 118 | 0.010 % |
566.46/566.46 c | 264072 | 72974 340360 1129423 | 2147483647 263049 119 | 0.010 % |
567.86/567.88 c | 264727 | 72974 340360 1129423 | 2147483647 263704 119 | 0.010 % |
568.66/568.67 c | 265450 | 72974 340360 1129423 | 2147483647 264427 118 | 0.010 % |
570.86/570.82 c | 266243 | 72974 340360 1129423 | 2147483647 265220 119 | 0.010 % |
572.96/572.94 c | 267116 | 72974 340360 1129423 | 2147483647 266093 119 | 0.010 % |
578.56/578.56 c | 268075 | 72974 340360 1129423 | 2147483647 267052 119 | 0.010 % |
580.56/580.57 c | 269128 | 72974 340360 1129423 | 2147483647 268105 119 | 0.010 % |
585.26/585.29 c | 270286 | 72974 340360 1129423 | 2147483647 269263 120 | 0.010 % |
588.46/588.46 c | 271559 | 72974 340360 1129423 | 2147483647 270536 119 | 0.010 % |
592.86/592.86 c | 272961 | 72974 340360 1129423 | 2147483647 271938 120 | 0.010 % |
594.36/594.36 c | 274502 | 72974 340360 1129423 | 2147483647 273479 120 | 0.010 % |
605.56/605.58 c | 276196 | 72974 340360 1129423 | 2147483647 275173 120 | 0.010 % |
608.66/608.70 c | 278062 | 72974 340360 1129423 | 2147483647 277039 120 | 0.010 % |
617.06/617.06 c | 280111 | 72974 340360 1129423 | 2147483647 279088 121 | 0.010 % |
624.76/624.72 c | 282364 | 72974 340360 1129423 | 2147483647 281341 121 | 0.010 % |
627.36/627.36 c | 284843 | 72974 340360 1129423 | 2147483647 283820 120 | 0.010 % |
631.26/631.25 c | 287569 | 72974 340360 1129423 | 2147483647 286546 121 | 0.010 % |
631.96/631.95 c | 287669 | 72974 340360 1129423 | 2147483647 286646 121 | 0.010 % |
632.26/632.24 c | 287779 | 72974 340360 1129423 | 2147483647 286756 121 | 0.010 % |
632.76/632.79 c | 287900 | 72974 340360 1129423 | 2147483647 286877 121 | 0.010 % |
633.16/633.19 c | 288034 | 72974 340360 1129423 | 2147483647 287011 121 | 0.010 % |
633.76/633.76 c | 288180 | 72974 340360 1129423 | 2147483647 287157 121 | 0.010 % |
633.96/633.92 c | 288342 | 72974 340360 1129423 | 2147483647 287319 121 | 0.010 % |
634.16/634.18 c | 288518 | 72974 340360 1129423 | 2147483647 287495 121 | 0.010 % |
635.06/635.01 c | 288712 | 72974 340360 1129423 | 2147483647 287689 121 | 0.010 % |
635.46/635.46 c | 288925 | 72974 340360 1129423 | 2147483647 287902 121 | 0.010 % |
636.16/636.16 c | 289159 | 72974 340360 1129423 | 2147483647 288136 121 | 0.010 % |
636.56/636.56 c | 289416 | 72974 340360 1129423 | 2147483647 288393 121 | 0.010 % |
637.66/637.64 c | 289697 | 72974 340360 1129423 | 2147483647 288674 121 | 0.010 % |
638.46/638.49 c | 290006 | 72974 340360 1129423 | 2147483647 288983 121 | 0.010 % |
639.26/639.21 c | 290347 | 72974 340360 1129423 | 2147483647 289324 121 | 0.010 % |
640.36/640.40 c | 290719 | 72974 340360 1129423 | 2147483647 289696 121 | 0.010 % |
642.26/642.24 c | 291128 | 72974 340360 1129423 | 2147483647 290105 121 | 0.010 % |
644.67/644.67 c | 291581 | 72974 340360 1129423 | 2147483647 290558 121 | 0.010 % |
645.77/645.72 c | 292074 | 72974 340360 1129423 | 2147483647 291051 121 | 0.010 % |
648.26/648.23 c | 292616 | 72974 340360 1129423 | 2147483647 291593 121 | 0.010 % |
649.86/649.87 c | 293212 | 72974 340360 1129423 | 2147483647 292189 121 | 0.010 % |
651.06/651.03 c | 293867 | 72974 340360 1129423 | 2147483647 292844 121 | 0.010 % |
652.86/652.90 c | 294587 | 72974 340360 1129423 | 2147483647 293564 121 | 0.010 % |
654.66/654.63 c | 295379 | 72974 340360 1129423 | 2147483647 294356 121 | 0.010 % |
656.96/656.96 c | 296253 | 72974 340360 1129423 | 2147483647 295230 121 | 0.010 % |
662.36/662.32 c | 297212 | 72974 340360 1129423 | 2147483647 296189 121 | 0.010 % |
664.67/664.71 c | 298267 | 72974 340360 1129423 | 2147483647 297244 121 | 0.010 % |
668.07/668.05 c | 299427 | 72974 340360 1129423 | 2147483647 298404 122 | 0.010 % |
672.77/672.75 c | 300700 | 72974 340360 1129423 | 2147483647 299677 122 | 0.010 % |
676.27/676.27 c | 302100 | 72974 340360 1129423 | 2147483647 301077 122 | 0.010 % |
678.87/678.89 c | 303640 | 72974 340360 1129423 | 2147483647 302617 122 | 0.010 % |
682.57/682.54 c | 305337 | 72974 340360 1129423 | 2147483647 304314 122 | 0.010 % |
686.47/686.48 c | 307200 | 72974 340360 1129423 | 2147483647 306177 122 | 0.010 % |
691.87/691.84 c | 309251 | 72974 340360 1129423 | 2147483647 308228 123 | 0.010 % |
697.67/697.62 c | 311504 | 72974 340360 1129423 | 2147483647 310481 123 | 0.010 % |
703.37/703.35 c | 313983 | 72974 340360 1129423 | 2147483647 312960 123 | 0.010 % |
706.47/706.44 c | 316708 | 72974 340360 1129423 | 2147483647 315685 123 | 0.010 % |
712.97/712.97 c | 319706 | 72974 340360 1129423 | 2147483647 318683 123 | 0.010 % |
713.07/713.10 c | 319806 | 72974 340360 1129423 | 2147483647 318783 123 | 0.010 % |
713.27/713.24 c | 319918 | 72974 340360 1129423 | 2147483647 318895 123 | 0.010 % |
713.37/713.34 c | 320041 | 72974 340360 1129423 | 2147483647 319018 123 | 0.010 % |
713.97/713.99 c | 320174 | 72974 340360 1129423 | 2147483647 319151 123 | 0.010 % |
714.17/714.17 c | 320320 | 72974 340360 1129423 | 2147483647 319297 123 | 0.010 % |
714.77/714.77 c | 320480 | 72974 340360 1129423 | 2147483647 319457 123 | 0.010 % |
715.17/715.17 c | 320656 | 72974 340360 1129423 | 2147483647 319633 123 | 0.010 % |
715.67/715.61 c | 320849 | 72974 340360 1129423 | 2147483647 319826 123 | 0.010 % |
716.07/716.07 c | 321061 | 72974 340360 1129423 | 2147483647 320038 123 | 0.010 % |
717.18/717.18 c | 321294 | 72974 340360 1129423 | 2147483647 320271 123 | 0.010 % |
718.18/718.17 c | 321551 | 72974 340360 1129423 | 2147483647 320528 123 | 0.010 % |
720.28/720.24 c | 321839 | 72974 340360 1129423 | 2147483647 320816 123 | 0.010 % |
721.88/721.89 c | 322148 | 72974 340360 1129423 | 2147483647 321125 123 | 0.010 % |
722.08/722.12 c | 322487 | 72974 340360 1129423 | 2147483647 321464 123 | 0.010 % |
723.28/723.25 c | 322859 | 72974 340360 1129423 | 2147483647 321836 123 | 0.010 % |
724.38/724.35 c | 323269 | 72974 340360 1129423 | 2147483647 322246 123 | 0.010 % |
724.88/724.84 c | 323718 | 72974 340360 1129423 | 2147483647 322695 123 | 0.010 % |
727.28/727.26 c | 324211 | 72974 340360 1129423 | 2147483647 323188 123 | 0.010 % |
729.68/729.62 c | 324753 | 72974 340360 1129423 | 2147483647 323730 123 | 0.010 % |
731.38/731.41 c | 325350 | 72974 340360 1129423 | 2147483647 324327 123 | 0.010 % |
732.88/732.89 c | 326006 | 72974 340360 1129423 | 2147483647 324983 123 | 0.010 % |
734.18/734.13 c | 326728 | 72974 340360 1129423 | 2147483647 325705 123 | 0.010 % |
736.38/736.40 c | 327522 | 72974 340360 1129423 | 2147483647 326499 123 | 0.010 % |
739.68/739.62 c | 328395 | 72974 340360 1129423 | 2147483647 327372 123 | 0.010 % |
741.68/741.68 c | 329354 | 72974 340360 1129423 | 2147483647 328331 123 | 0.010 % |
744.28/744.24 c | 330408 | 72974 340360 1129423 | 2147483647 329385 123 | 0.010 % |
746.58/746.60 c | 331567 | 72974 340360 1129423 | 2147483647 330544 123 | 0.010 % |
751.18/751.12 c | 332845 | 72974 340360 1129423 | 2147483647 331822 123 | 0.010 % |
757.78/757.79 c | 334248 | 72974 340360 1129423 | 2147483647 333225 123 | 0.010 % |
761.88/761.87 c | 335790 | 72974 340360 1129423 | 2147483647 334767 124 | 0.010 % |
764.28/764.22 c | 337485 | 72974 340360 1129423 | 2147483647 336462 124 | 0.010 % |
767.78/767.73 c | 339348 | 72974 340360 1129423 | 2147483647 338325 124 | 0.010 % |
769.88/769.86 c | 341397 | 72974 340360 1129423 | 2147483647 340374 124 | 0.010 % |
773.18/773.13 c | 343650 | 72974 340360 1129423 | 2147483647 342627 123 | 0.010 % |
776.89/776.92 c | 346130 | 72974 340360 1129423 | 2147483647 345107 123 | 0.010 % |
785.48/785.42 c | 348856 | 72974 340360 1129423 | 2147483647 347833 124 | 0.010 % |
794.98/794.94 c | 351855 | 72974 340360 1129423 | 2147483647 350832 124 | 0.010 % |
804.08/804.04 c | 355155 | 72974 340360 1129423 | 2147483647 354132 123 | 0.010 % |
804.38/804.41 c | 355255 | 72974 340360 1129423 | 2147483647 354232 123 | 0.010 % |
804.98/804.94 c | 355366 | 72974 340360 1129423 | 2147483647 354343 123 | 0.010 % |
805.18/805.12 c | 355489 | 72974 340360 1129423 | 2147483647 354466 123 | 0.010 % |
805.18/805.21 c | 355622 | 72974 340360 1129423 | 2147483647 354599 123 | 0.010 % |
805.48/805.43 c | 355768 | 72974 340360 1129423 | 2147483647 354745 123 | 0.010 % |
806.08/806.09 c | 355930 | 72974 340360 1129423 | 2147483647 354907 123 | 0.010 % |
806.88/806.86 c | 356106 | 72974 340360 1129423 | 2147483647 355083 123 | 0.010 % |
807.38/807.39 c | 356299 | 72974 340360 1129423 | 2147483647 355276 123 | 0.010 % |
807.88/807.88 c | 356513 | 72974 340360 1129423 | 2147483647 355490 123 | 0.010 % |
808.58/808.59 c | 356747 | 72974 340360 1129423 | 2147483647 355724 123 | 0.010 % |
809.68/809.70 c | 357003 | 72974 340360 1129423 | 2147483647 355980 123 | 0.010 % |
810.98/810.91 c | 357287 | 72974 340360 1129423 | 2147483647 356264 123 | 0.010 % |
811.68/811.66 c | 357598 | 72974 340360 1129423 | 2147483647 356575 123 | 0.010 % |
812.98/812.99 c | 357938 | 72974 340360 1129423 | 2147483647 356915 123 | 0.010 % |
815.38/815.37 c | 358310 | 72974 340360 1129423 | 2147483647 357287 124 | 0.010 % |
818.08/818.09 c | 358720 | 72974 340360 1129423 | 2147483647 357697 124 | 0.010 % |
819.48/819.44 c | 359169 | 72974 340360 1129423 | 2147483647 358146 123 | 0.010 % |
820.78/820.77 c | 359662 | 72974 340360 1129423 | 2147483647 358639 124 | 0.010 % |
822.58/822.52 c | 360204 | 72974 340360 1129423 | 2147483647 359181 124 | 0.010 % |
823.98/824.01 c | 360800 | 72974 340360 1129423 | 2147483647 359777 124 | 0.010 % |
825.48/825.50 c | 361458 | 72974 340360 1129423 | 2147483647 360435 124 | 0.010 % |
828.28/828.28 c | 362181 | 72974 340360 1129423 | 2147483647 361158 124 | 0.010 % |
829.68/829.65 c | 362973 | 72974 340360 1129423 | 2147483647 361950 124 | 0.010 % |
831.88/831.90 c | 363845 | 72974 340360 1129423 | 2147483647 362822 124 | 0.010 % |
834.98/834.99 c | 364804 | 72974 340360 1129423 | 2147483647 363781 124 | 0.010 % |
839.38/839.34 c | 365857 | 72974 340360 1129423 | 2147483647 364834 124 | 0.010 % |
840.88/840.88 c | 367015 | 72974 340360 1129423 | 2147483647 365992 124 | 0.010 % |
844.08/844.07 c | 368288 | 72974 340360 1129423 | 2147483647 367265 125 | 0.010 % |
847.48/847.49 c | 369688 | 72974 340360 1129423 | 2147483647 368665 125 | 0.010 % |
852.88/852.84 c | 371230 | 72974 340360 1129423 | 2147483647 370207 125 | 0.010 % |
857.18/857.11 c | 372925 | 72974 340360 1129423 | 2147483647 371902 125 | 0.010 % |
861.28/861.25 c | 374788 | 72974 340360 1129423 | 2147483647 373765 125 | 0.010 % |
867.99/867.95 c | 376838 | 72974 340360 1129423 | 2147483647 375815 125 | 0.010 % |
873.28/873.26 c | 379091 | 72974 340360 1129423 | 2147483647 378068 126 | 0.010 % |
883.58/883.57 c | 381569 | 72974 340360 1129423 | 2147483647 380546 126 | 0.010 % |
888.59/888.57 c | 384295 | 72974 340360 1129423 | 2147483647 383272 126 | 0.010 % |
896.39/896.36 c | 387293 | 72974 340360 1129423 | 2147483647 386270 127 | 0.010 % |
904.79/904.74 c | 390589 | 72974 340360 1129423 | 2147483647 389566 127 | 0.010 % |
926.99/926.92 c | 394215 | 72974 340360 1129423 | 2147483647 393192 127 | 0.010 % |
927.29/927.22 c | 394320 | 72974 340360 1129423 | 2147483647 393297 127 | 0.010 % |
927.59/927.54 c | 394430 | 72974 340360 1129423 | 2147483647 393407 127 | 0.010 % |
927.89/927.87 c | 394551 | 72974 340360 1129423 | 2147483647 393528 127 | 0.010 % |
928.89/928.88 c | 394684 | 72974 340360 1129423 | 2147483647 393661 127 | 0.010 % |
929.49/929.47 c | 394831 | 72974 340360 1129423 | 2147483647 393808 127 | 0.010 % |
930.39/930.32 c | 394991 | 72974 340360 1129423 | 2147483647 393968 127 | 0.010 % |
930.99/930.98 c | 395167 | 72974 340360 1129423 | 2147483647 394144 127 | 0.010 % |
931.69/931.70 c | 395360 | 72974 340360 1129423 | 2147483647 394337 127 | 0.010 % |
932.19/932.14 c | 395575 | 72974 340360 1129423 | 2147483647 394552 127 | 0.010 % |
934.49/934.42 c | 395808 | 72974 340360 1129423 | 2147483647 394785 127 | 0.010 % |
935.19/935.20 c | 396064 | 72974 340360 1129423 | 2147483647 395041 127 | 0.010 % |
936.39/936.35 c | 396345 | 72974 340360 1129423 | 2147483647 395322 127 | 0.010 % |
936.99/936.98 c | 396657 | 72974 340360 1129423 | 2147483647 395634 127 | 0.010 % |
938.39/938.38 c | 396996 | 72974 340360 1129423 | 2147483647 395973 127 | 0.010 % |
939.09/939.05 c | 397368 | 72974 340360 1129423 | 2147483647 396345 127 | 0.010 % |
940.29/940.26 c | 397778 | 72974 340360 1129423 | 2147483647 396755 127 | 0.010 % |
941.99/941.99 c | 398228 | 72974 340360 1129423 | 2147483647 397205 127 | 0.010 % |
943.19/943.13 c | 398723 | 72974 340360 1129423 | 2147483647 397700 127 | 0.010 % |
945.89/945.82 c | 399268 | 72974 340360 1129423 | 2147483647 398245 127 | 0.010 % |
949.29/949.28 c | 399864 | 72974 340360 1129423 | 2147483647 398841 127 | 0.010 % |
951.29/951.27 c | 400520 | 72974 340360 1129423 | 2147483647 399497 127 | 0.010 % |
952.79/952.81 c | 401240 | 72974 340360 1129423 | 2147483647 400217 127 | 0.010 % |
955.59/955.60 c | 402033 | 72974 340360 1129423 | 2147483647 401010 127 | 0.010 % |
959.99/959.96 c | 402906 | 72974 340360 1129423 | 2147483647 401883 127 | 0.010 % |
963.59/963.55 c | 403864 | 72974 340360 1129423 | 2147483647 402841 127 | 0.010 % |
965.49/965.47 c | 404917 | 72974 340360 1129423 | 2147483647 403894 127 | 0.010 % |
966.49/966.42 c | 406076 | 72974 340360 1129423 | 2147483647 405053 127 | 0.010 % |
969.89/969.89 c | 407351 | 72974 340360 1129423 | 2147483647 406328 127 | 0.010 % |
975.99/975.94 c | 408751 | 72974 340360 1129423 | 2147483647 407728 127 | 0.010 % |
979.29/979.24 c | 410291 | 72974 340360 1129423 | 2147483647 409268 127 | 0.010 % |
984.89/984.88 c | 411987 | 72974 340360 1129423 | 2147483647 410964 128 | 0.010 % |
987.79/987.72 c | 413850 | 72974 340360 1129423 | 2147483647 412827 128 | 0.010 % |
993.19/993.13 c | 415899 | 72974 340360 1129423 | 2147483647 414876 128 | 0.010 % |
998.70/998.68 c | 418153 | 72974 340360 1129423 | 2147483647 417130 128 | 0.010 % |
1005.60/1005.55 c | 420632 | 72974 340360 1129423 | 2147483647 419609 128 | 0.010 % |
1011.70/1011.63 c | 423359 | 72974 340360 1129423 | 2147483647 422336 128 | 0.010 % |
1021.50/1021.44 c | 426359 | 72974 340360 1129423 | 2147483647 425336 127 | 0.010 % |
1030.50/1030.49 c | 429659 | 72974 340360 1129423 | 2147483647 428636 127 | 0.010 % |
1041.20/1041.16 c | 433284 | 72974 340360 1129423 | 2147483647 432261 128 | 0.010 % |
1052.50/1052.46 c | 437271 | 72974 340360 1129423 | 2147483647 436248 128 | 0.010 % |
1052.90/1052.87 c | 437371 | 72974 340360 1129423 | 2147483647 436348 128 | 0.010 % |
1053.30/1053.28 c | 437482 | 72974 340360 1129423 | 2147483647 436459 128 | 0.010 % |
1053.90/1053.85 c | 437603 | 72974 340360 1129423 | 2147483647 436580 128 | 0.010 % |
1054.40/1054.33 c | 437737 | 72974 340360 1129423 | 2147483647 436714 128 | 0.010 % |
1054.90/1054.82 c | 437885 | 72974 340360 1129423 | 2147483647 436862 128 | 0.010 % |
1055.40/1055.34 c | 438046 | 72974 340360 1129423 | 2147483647 437023 128 | 0.010 % |
1056.40/1056.34 c | 438223 | 72974 340360 1129423 | 2147483647 437200 128 | 0.010 % |
1056.90/1056.91 c | 438416 | 72974 340360 1129423 | 2147483647 437393 128 | 0.010 % |
1057.90/1057.87 c | 438630 | 72974 340360 1129423 | 2147483647 437607 128 | 0.010 % |
1058.40/1058.36 c | 438864 | 72974 340360 1129423 | 2147483647 437841 128 | 0.010 % |
1059.20/1059.18 c | 439120 | 72974 340360 1129423 | 2147483647 438097 128 | 0.010 % |
1059.60/1059.60 c | 439401 | 72974 340360 1129423 | 2147483647 438378 128 | 0.010 % |
1060.80/1060.79 c | 439710 | 72974 340360 1129423 | 2147483647 438687 128 | 0.010 % |
1061.70/1061.68 c | 440049 | 72974 340360 1129423 | 2147483647 439026 128 | 0.010 % |
1063.30/1063.31 c | 440422 | 72974 340360 1129423 | 2147483647 439399 128 | 0.010 % |
1065.40/1065.33 c | 440832 | 72974 340360 1129423 | 2147483647 439809 128 | 0.010 % |
1066.20/1066.15 c | 441283 | 72974 340360 1129423 | 2147483647 440260 128 | 0.010 % |
1067.80/1067.75 c | 441776 | 72974 340360 1129423 | 2147483647 440753 128 | 0.010 % |
1069.31/1069.26 c | 442319 | 72974 340360 1129423 | 2147483647 441296 128 | 0.010 % |
1070.90/1070.83 c | 442915 | 72974 340360 1129423 | 2147483647 441892 128 | 0.010 % |
1073.20/1073.20 c | 443570 | 72974 340360 1129423 | 2147483647 442547 128 | 0.010 % |
1074.70/1074.65 c | 444290 | 72974 340360 1129423 | 2147483647 443267 128 | 0.010 % |
1077.80/1077.79 c | 445082 | 72974 340360 1129423 | 2147483647 444059 128 | 0.010 % |
1080.90/1080.84 c | 445953 | 72974 340360 1129423 | 2147483647 444930 128 | 0.010 % |
1082.00/1081.98 c | 446912 | 72974 340360 1129423 | 2147483647 445889 128 | 0.010 % |
1084.71/1084.70 c | 447965 | 72974 340360 1129423 | 2147483647 446942 128 | 0.010 % |
1086.50/1086.44 c | 449126 | 72974 340360 1129423 | 2147483647 448103 128 | 0.010 % |
1088.20/1088.11 c | 450399 | 72974 340360 1129423 | 2147483647 449376 128 | 0.010 % |
1092.30/1092.23 c | 451800 | 72974 340360 1129423 | 2147483647 450777 128 | 0.010 % |
1096.10/1096.03 c | 453341 | 72974 340360 1129423 | 2147483647 452318 128 | 0.010 % |
1102.90/1102.85 c | 455036 | 72974 340360 1129423 | 2147483647 454013 128 | 0.010 % |
1108.10/1108.09 c | 456900 | 72974 340360 1129423 | 2147483647 455877 129 | 0.010 % |
1114.51/1114.50 c | 458950 | 72974 340360 1129423 | 2147483647 457927 129 | 0.010 % |
1122.01/1121.95 c | 461203 | 72974 340360 1129423 | 2147483647 460180 129 | 0.010 % |
1129.21/1129.17 c | 463682 | 72974 340360 1129423 | 2147483647 462659 129 | 0.010 % |
1136.01/1135.93 c | 466408 | 72974 340360 1129423 | 2147483647 465385 129 | 0.010 % |
1142.30/1142.25 c | 469408 | 72974 340360 1129423 | 2147483647 468385 129 | 0.010 % |
1153.10/1153.03 c | 472706 | 72974 340360 1129423 | 2147483647 471683 130 | 0.010 % |
1161.10/1161.09 c | 476331 | 72974 340360 1129423 | 2147483647 475308 130 | 0.010 % |
1169.20/1169.20 c | 480319 | 72974 340360 1129423 | 2147483647 479296 130 | 0.010 % |
1180.70/1180.69 c | 484704 | 72974 340360 1129423 | 2147483647 483681 130 | 0.010 % |
1181.00/1180.97 c | 484804 | 72974 340360 1129423 | 2147483647 483781 130 | 0.010 % |
1181.30/1181.26 c | 484914 | 72974 340360 1129423 | 2147483647 483891 130 | 0.010 % |
1181.60/1181.51 c | 485037 | 72974 340360 1129423 | 2147483647 484014 130 | 0.010 % |
1182.30/1182.24 c | 485171 | 72974 340360 1129423 | 2147483647 484148 130 | 0.010 % |
1182.80/1182.71 c | 485317 | 72974 340360 1129423 | 2147483647 484294 130 | 0.010 % |
1183.71/1183.69 c | 485478 | 72974 340360 1129423 | 2147483647 484455 130 | 0.010 % |
1184.20/1184.13 c | 485655 | 72974 340360 1129423 | 2147483647 484632 130 | 0.010 % |
1184.81/1184.77 c | 485848 | 72974 340360 1129423 | 2147483647 484825 130 | 0.010 % |
1185.50/1185.47 c | 486060 | 72974 340360 1129423 | 2147483647 485037 130 | 0.010 % |
1186.80/1186.72 c | 486294 | 72974 340360 1129423 | 2147483647 485271 130 | 0.010 % |
1187.30/1187.29 c | 486551 | 72974 340360 1129423 | 2147483647 485528 130 | 0.010 % |
1189.70/1189.67 c | 486832 | 72974 340360 1129423 | 2147483647 485809 130 | 0.010 % |
1191.10/1191.02 c | 487142 | 72974 340360 1129423 | 2147483647 486119 130 | 0.010 % |
1191.50/1191.50 c | 487481 | 72974 340360 1129423 | 2147483647 486458 130 | 0.010 % |
1193.70/1193.67 c | 487854 | 72974 340360 1129423 | 2147483647 486831 130 | 0.010 % |
1195.81/1195.78 c | 488264 | 72974 340360 1129423 | 2147483647 487241 130 | 0.010 % |
runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w /tmp/evaluation-result-1821010-1242496112/watcher-1821010-1242496112 -o /tmp/evaluation-result-1821010-1242496112/solver-1821010-1242496112 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1821010-1242496112.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 0.90 0.97 0.99 3/96 24826
/proc/meminfo: memFree=1376232/2074464 swapFree=1948616/1959888
[pid=24823] ppid=24821 vsize=2416 CPUtime=0
/proc/24823/stat : 24823 (SatELiteGTI) S 24821 24823 10436 0 -1 4194304 338 0 0 0 0 0 0 0 25 0 1 0 1014111843 2473984 272 4294967295 134512640 135169312 3220849392 3220846984 3085775790 0 0 4 65536 3222620697 0 0 17 2 0 0 0
/proc/24823/statm: 604 272 230 161 0 43 0
[pid=24824] ppid=24823 vsize=2416 CPUtime=0
/proc/24824/stat : 24824 (SatELiteGTI) R 24823 24823 10436 0 -1 4194368 102 0 0 0 0 0 0 0 25 0 1 0 1014111843 2473984 115 4294967295 134512640 135169312 3220849392 3220845612 3085584244 0 65538 0 65538 0 0 0 17 2 0 0 0
/proc/24824/statm: 604 115 72 161 0 43 0
[pid=24825] ppid=24824 vsize=0 CPUtime=0
/proc/24825/stat : 24825 (SatELiteGTI) Z 24824 24823 10436 0 -1 4194380 143 0 0 0 0 0 0 0 25 0 1 0 1014111843 0 0 4294967295 0 0 0 0 0 0 0 0 65538 3222378830 0 0 17 2 0 0 0
/proc/24825/statm: 0 0 0 0 0 0 0
[pid=24826] ppid=24824 vsize=2416 CPUtime=0
/proc/24826/stat : 24826 (SatELiteGTI) R 24824 24823 10436 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 1 0 1014111843 2473984 43 4294967295 134512640 135169312 3220849392 3220845612 3085584244 0 65538 0 65538 0 0 0 17 2 0 0 0
/proc/24826/statm: 604 43 0 161 0 43 0
[startup+0.052672 s]
/proc/loadavg: 0.90 0.97 0.99 3/96 24826
/proc/meminfo: memFree=1376232/2074464 swapFree=1948616/1959888
[pid=24823] ppid=24821 vsize=2416 CPUtime=0
/proc/24823/stat : 24823 (SatELiteGTI) S 24821 24823 10436 0 -1 4194304 367 644 0 0 0 0 0 0 25 0 1 0 1014111843 2473984 277 4294967295 134512640 135169312 3220849392 3220847928 3085582062 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/24823/statm: 604 277 235 161 0 43 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2416
[startup+0.122633 s]
/proc/loadavg: 0.90 0.97 0.99 3/96 24826
/proc/meminfo: memFree=1376232/2074464 swapFree=1948616/1959888
[pid=24823] ppid=24821 vsize=2416 CPUtime=0
/proc/24823/stat : 24823 (SatELiteGTI) S 24821 24823 10436 0 -1 4194304 367 644 0 0 0 0 0 0 25 0 1 0 1014111843 2473984 277 4294967295 134512640 135169312 3220849392 3220847928 3085582062 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/24823/statm: 604 277 235 161 0 43 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2416
[startup+0.322616 s]
/proc/loadavg: 0.90 0.97 0.99 3/96 24826
/proc/meminfo: memFree=1376232/2074464 swapFree=1948616/1959888
[pid=24823] ppid=24821 vsize=2416 CPUtime=0
/proc/24823/stat : 24823 (SatELiteGTI) S 24821 24823 10436 0 -1 4194304 367 644 0 0 0 0 0 0 25 0 1 0 1014111843 2473984 277 4294967295 134512640 135169312 3220849392 3220847928 3085582062 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/24823/statm: 604 277 235 161 0 43 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2416
[startup+0.722585 s]
/proc/loadavg: 0.90 0.97 0.99 3/96 24826
/proc/meminfo: memFree=1376232/2074464 swapFree=1948616/1959888
[pid=24823] ppid=24821 vsize=2416 CPUtime=0
/proc/24823/stat : 24823 (SatELiteGTI) S 24821 24823 10436 0 -1 4194304 367 644 0 0 0 0 0 0 25 0 1 0 1014111843 2473984 277 4294967295 134512640 135169312 3220849392 3220847928 3085582062 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/24823/statm: 604 277 235 161 0 43 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2416
[startup+1.52252 s]
/proc/loadavg: 0.90 0.97 0.99 3/95 24828
/proc/meminfo: memFree=1293136/2074464 swapFree=1948616/1959888
[pid=24823] ppid=24821 vsize=2416 CPUtime=0
/proc/24823/stat : 24823 (SatELiteGTI) S 24821 24823 10436 0 -1 4194304 367 644 0 0 0 0 0 0 25 0 1 0 1014111843 2473984 277 4294967295 134512640 135169312 3220849392 3220847928 3085582062 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/24823/statm: 604 277 235 161 0 43 0
[pid=24828] ppid=24823 vsize=93004 CPUtime=1.52
/proc/24828/stat : 24828 (SatELite_releas) R 24823 24823 10436 0 -1 4202496 22289 0 0 0 141 11 0 0 25 0 1 0 1014111844 95236096 20565 4294967295 134512640 135223648 3219075376 3219073152 134585540 0 0 0 3 0 0 0 17 3 0 0 0
/proc/24828/statm: 23251 20565 73 174 0 23076 0
Current children cumulated CPU time (s) 1.52
Current children cumulated vsize (KiB) 95420
[startup+3.12239 s]
/proc/loadavg: 0.91 0.97 0.99 3/95 25012
/proc/meminfo: memFree=1284060/2074464 swapFree=1948616/1959888
[pid=24823] ppid=24821 vsize=2416 CPUtime=0
/proc/24823/stat : 24823 (SatELiteGTI) S 24821 24823 10436 0 -1 4194304 367 644 0 0 0 0 0 0 25 0 1 0 1014111843 2473984 277 4294967295 134512640 135169312 3220849392 3220847928 3085582062 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/24823/statm: 604 277 235 161 0 43 0
[pid=24828] ppid=24823 vsize=96800 CPUtime=3.12
/proc/24828/stat : 24828 (SatELite_releas) R 24823 24823 10436 0 -1 4202496 23172 0 0 0 297 15 0 0 25 0 1 0 1014111844 99123200 21448 4294967295 134512640 135223648 3219075376 3219073392 134587334 0 0 0 3 0 0 0 17 3 0 0 0
/proc/24828/statm: 24200 21448 73 174 0 24025 0
Current children cumulated CPU time (s) 3.12
Current children cumulated vsize (KiB) 99216
[startup+6.32212 s]
/proc/loadavg: 0.91 0.97 0.99 3/95 25012
/proc/meminfo: memFree=1264500/2074464 swapFree=1948616/1959888
[pid=24823] ppid=24821 vsize=2416 CPUtime=0
/proc/24823/stat : 24823 (SatELiteGTI) S 24821 24823 10436 0 -1 4194304 367 644 0 0 0 0 0 0 25 0 1 0 1014111843 2473984 277 4294967295 134512640 135169312 3220849392 3220847928 3085582062 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/24823/statm: 604 277 235 161 0 43 0
[pid=24828] ppid=24823 vsize=102460 CPUtime=6.32
/proc/24828/stat : 24828 (SatELite_releas) R 24823 24823 10436 0 -1 4202496 24656 0 0 0 610 22 0 0 25 0 1 0 1014111844 104919040 22932 4294967295 134512640 135223648 3219075376 3219073464 134586609 0 0 0 3 0 0 0 17 3 0 0 0
/proc/24828/statm: 25615 22932 73 174 0 25440 0
Current children cumulated CPU time (s) 6.32
Current children cumulated vsize (KiB) 104876
[startup+12.7216 s]
/proc/loadavg: 0.92 0.97 0.99 3/95 25014
/proc/meminfo: memFree=1320552/2074464 swapFree=1948616/1959888
[pid=24823] ppid=24821 vsize=2420 CPUtime=8.49
/proc/24823/stat : 24823 (SatELiteGTI) S 24821 24823 10436 0 -1 4194304 386 27700 0 0 0 0 825 24 20 0 1 0 1014111843 2478080 278 4294967295 134512640 135169312 3220849392 3220845608 3085582062 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/24823/statm: 605 278 235 161 0 44 0
[pid=25014] ppid=24823 vsize=25304 CPUtime=4.23
/proc/25014/stat : 25014 (minisat_static) R 24823 24823 10436 0 -1 4202496 5819 0 0 0 418 5 0 0 25 0 1 0 1014112693 25911296 5749 4294967295 134512640 135215339 3216940928 3216939216 134528666 0 0 0 3 0 0 0 17 0 0 0 0
/proc/25014/statm: 6326 5749 73 172 0 6153 0
Current children cumulated CPU time (s) 12.72
Current children cumulated vsize (KiB) 27724
[startup+25.5205 s]
/proc/loadavg: 0.93 0.97 0.99 3/95 25017
/proc/meminfo: memFree=1318276/2074464 swapFree=1948616/1959888
[pid=24823] ppid=24821 vsize=2420 CPUtime=8.49
/proc/24823/stat : 24823 (SatELiteGTI) S 24821 24823 10436 0 -1 4194304 386 27700 0 0 0 0 825 24 20 0 1 0 1014111843 2478080 278 4294967295 134512640 135169312 3220849392 3220845608 3085582062 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/24823/statm: 605 278 235 161 0 44 0
[pid=25014] ppid=24823 vsize=27420 CPUtime=17.03
/proc/25014/stat : 25014 (minisat_static) R 24823 24823 10436 0 -1 4202496 6358 0 0 0 1698 5 0 0 25 0 1 0 1014112693 28078080 6288 4294967295 134512640 135215339 3216940928 3216939216 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/25014/statm: 6855 6288 73 172 0 6682 0
Current children cumulated CPU time (s) 25.52
Current children cumulated vsize (KiB) 29840
[startup+51.1184 s]
/proc/loadavg: 0.95 0.97 0.99 3/95 25019
/proc/meminfo: memFree=1313612/2074464 swapFree=1948616/1959888
[pid=24823] ppid=24821 vsize=2420 CPUtime=8.49
/proc/24823/stat : 24823 (SatELiteGTI) S 24821 24823 10436 0 -1 4194304 386 27700 0 0 0 0 825 24 20 0 1 0 1014111843 2478080 278 4294967295 134512640 135169312 3220849392 3220845608 3085582062 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/24823/statm: 605 278 235 161 0 44 0
[pid=25014] ppid=24823 vsize=32416 CPUtime=42.63
/proc/25014/stat : 25014 (minisat_static) R 24823 24823 10436 0 -1 4202496 7580 0 0 0 4257 6 0 0 25 0 1 0 1014112693 33193984 7510 4294967295 134512640 135215339 3216940928 3216939216 134528700 0 0 0 3 0 0 0 17 0 0 0 0
/proc/25014/statm: 8104 7510 73 172 0 7931 0
Current children cumulated CPU time (s) 51.12
Current children cumulated vsize (KiB) 34836
[startup+102.314 s]
/proc/loadavg: 0.98 0.97 0.99 2/95 25206
/proc/meminfo: memFree=1298972/2074464 swapFree=1948616/1959888
[pid=24823] ppid=24821 vsize=2420 CPUtime=8.49
/proc/24823/stat : 24823 (SatELiteGTI) S 24821 24823 10436 0 -1 4194304 386 27700 0 0 0 0 825 24 20 0 1 0 1014111843 2478080 278 4294967295 134512640 135169312 3220849392 3220845608 3085582062 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/24823/statm: 605 278 235 161 0 44 0
[pid=25014] ppid=24823 vsize=46812 CPUtime=93.83
/proc/25014/stat : 25014 (minisat_static) R 24823 24823 10436 0 -1 4202496 11191 0 0 0 9375 8 0 0 25 0 1 0 1014112693 47935488 11121 4294967295 134512640 135215339 3216940928 3216939216 134528624 0 0 0 3 0 0 0 17 0 0 0 0
/proc/25014/statm: 11703 11121 73 172 0 11530 0
Current children cumulated CPU time (s) 102.32
Current children cumulated vsize (KiB) 49232
[startup+162.309 s]
/proc/loadavg: 0.99 0.97 0.99 2/95 25394
/proc/meminfo: memFree=1280520/2074464 swapFree=1948616/1959888
[pid=24823] ppid=24821 vsize=2420 CPUtime=8.49
/proc/24823/stat : 24823 (SatELiteGTI) S 24821 24823 10436 0 -1 4194304 386 27700 0 0 0 0 825 24 20 0 1 0 1014111843 2478080 278 4294967295 134512640 135169312 3220849392 3220845608 3085582062 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/24823/statm: 605 278 235 161 0 44 0
[pid=25014] ppid=24823 vsize=65356 CPUtime=153.83
/proc/25014/stat : 25014 (minisat_static) R 24823 24823 10436 0 -1 4202496 15812 0 0 0 15368 15 0 0 25 0 1 0 1014112693 66924544 15742 4294967295 134512640 135215339 3216940928 3216939216 134528795 0 0 0 3 0 0 0 17 0 0 0 0
/proc/25014/statm: 16339 15742 73 172 0 16166 0
Current children cumulated CPU time (s) 162.32
Current children cumulated vsize (KiB) 67776
[startup+222.314 s]
/proc/loadavg: 0.99 0.97 0.99 3/95 25581
/proc/meminfo: memFree=1264532/2074464 swapFree=1948616/1959888
[pid=24823] ppid=24821 vsize=2420 CPUtime=8.49
/proc/24823/stat : 24823 (SatELiteGTI) S 24821 24823 10436 0 -1 4194304 386 27700 0 0 0 0 825 24 20 0 1 0 1014111843 2478080 278 4294967295 134512640 135169312 3220849392 3220845608 3085582062 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/24823/statm: 605 278 235 161 0 44 0
[pid=25014] ppid=24823 vsize=81528 CPUtime=213.84
/proc/25014/stat : 25014 (minisat_static) R 24823 24823 10436 0 -1 4202496 19793 0 0 0 21359 25 0 0 25 0 1 0 1014112693 83484672 19723 4294967295 134512640 135215339 3216940928 3216939216 134528666 0 0 0 3 0 0 0 17 0 0 0 0
/proc/25014/statm: 20382 19723 73 172 0 20209 0
Current children cumulated CPU time (s) 222.33
Current children cumulated vsize (KiB) 83948
[startup+282.319 s]
/proc/loadavg: 0.99 0.97 0.99 2/95 25769
/proc/meminfo: memFree=1249760/2074464 swapFree=1948616/1959888
[pid=24823] ppid=24821 vsize=2420 CPUtime=8.49
/proc/24823/stat : 24823 (SatELiteGTI) S 24821 24823 10436 0 -1 4194304 386 27700 0 0 0 0 825 24 20 0 1 0 1014111843 2478080 278 4294967295 134512640 135169312 3220849392 3220845608 3085582062 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/24823/statm: 605 278 235 161 0 44 0
[pid=25014] ppid=24823 vsize=96752 CPUtime=273.85
/proc/25014/stat : 25014 (minisat_static) R 24823 24823 10436 0 -1 4202496 23511 0 0 0 27357 28 0 0 25 0 1 0 1014112693 99074048 23441 4294967295 134512640 135215339 3216940928 3216939216 134528849 0 0 0 3 0 0 0 17 0 0 0 0
/proc/25014/statm: 24188 23441 73 172 0 24015 0
Current children cumulated CPU time (s) 282.34
Current children cumulated vsize (KiB) 99172
[startup+342.324 s]
/proc/loadavg: 0.99 0.97 0.99 3/95 25962
/proc/meminfo: memFree=1233144/2074464 swapFree=1948616/1959888
[pid=24823] ppid=24821 vsize=2420 CPUtime=8.49
/proc/24823/stat : 24823 (SatELiteGTI) S 24821 24823 10436 0 -1 4194304 386 27700 0 0 0 0 825 24 20 0 1 0 1014111843 2478080 278 4294967295 134512640 135169312 3220849392 3220845608 3085582062 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/24823/statm: 605 278 235 161 0 44 0
[pid=25014] ppid=24823 vsize=113204 CPUtime=333.86
/proc/25014/stat : 25014 (minisat_static) R 24823 24823 10436 0 -1 4202496 27628 0 0 0 33351 35 0 0 25 0 1 0 1014112693 115920896 27558 4294967295 134512640 135215339 3216940928 3216939216 134528884 0 0 0 3 0 0 0 17 0 0 0 0
/proc/25014/statm: 28301 27558 73 172 0 28128 0
Current children cumulated CPU time (s) 342.35
Current children cumulated vsize (KiB) 115624
[startup+402.319 s]
/proc/loadavg: 0.99 0.97 0.99 3/95 26149
/proc/meminfo: memFree=1219520/2074464 swapFree=1948616/1959888
[pid=24823] ppid=24821 vsize=2420 CPUtime=8.49
################
# More data... #
################
/proc/25014/statm: 43004 42060 73 172 0 42831 0
Current children cumulated CPU time (s) 582.36
Current children cumulated vsize (KiB) 174436
[startup+642.31 s]
/proc/loadavg: 0.99 0.97 0.99 2/95 26905
/proc/meminfo: memFree=1160976/2074464 swapFree=1948616/1959888
[pid=24823] ppid=24821 vsize=2420 CPUtime=8.49
/proc/24823/stat : 24823 (SatELiteGTI) S 24821 24823 10436 0 -1 4194304 386 27700 0 0 0 0 825 24 20 0 1 0 1014111843 2478080 278 4294967295 134512640 135169312 3220849392 3220845608 3085582062 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/24823/statm: 605 278 235 161 0 44 0
[pid=25014] ppid=24823 vsize=186464 CPUtime=633.87
/proc/25014/stat : 25014 (minisat_static) R 24823 24823 10436 0 -1 4202496 45710 0 0 0 63339 48 0 0 25 0 1 0 1014112693 190939136 45640 4294967295 134512640 135215339 3216940928 3216939216 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/25014/statm: 46616 45640 73 172 0 46443 0
Current children cumulated CPU time (s) 642.36
Current children cumulated vsize (KiB) 188884
[startup+702.315 s]
/proc/loadavg: 0.99 0.97 0.99 2/95 27092
/proc/meminfo: memFree=1146856/2074464 swapFree=1948616/1959888
[pid=24823] ppid=24821 vsize=2420 CPUtime=8.49
/proc/24823/stat : 24823 (SatELiteGTI) S 24821 24823 10436 0 -1 4194304 386 27700 0 0 0 0 825 24 20 0 1 0 1014111843 2478080 278 4294967295 134512640 135169312 3220849392 3220845608 3085582062 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/24823/statm: 605 278 235 161 0 44 0
[pid=25014] ppid=24823 vsize=201484 CPUtime=693.88
/proc/25014/stat : 25014 (minisat_static) R 24823 24823 10436 0 -1 4202496 49314 0 0 0 69337 51 0 0 25 0 1 0 1014112693 206319616 49244 4294967295 134512640 135215339 3216940928 3216939216 134529083 0 0 0 3 0 0 0 17 0 0 0 0
/proc/25014/statm: 50371 49244 73 172 0 50198 0
Current children cumulated CPU time (s) 702.37
Current children cumulated vsize (KiB) 203904
[startup+762.33 s]
/proc/loadavg: 0.99 0.97 0.99 2/95 27280
/proc/meminfo: memFree=1133340/2074464 swapFree=1948616/1959888
[pid=24823] ppid=24821 vsize=2420 CPUtime=8.49
/proc/24823/stat : 24823 (SatELiteGTI) S 24821 24823 10436 0 -1 4194304 386 27700 0 0 0 0 825 24 20 0 1 0 1014111843 2478080 278 4294967295 134512640 135169312 3220849392 3220845608 3085582062 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/24823/statm: 605 278 235 161 0 44 0
[pid=25014] ppid=24823 vsize=214892 CPUtime=753.9
/proc/25014/stat : 25014 (minisat_static) R 24823 24823 10436 0 -1 4202496 52631 0 0 0 75335 55 0 0 25 0 1 0 1014112693 220049408 52561 4294967295 134512640 135215339 3216940928 3216939216 134528571 0 0 0 3 0 0 0 17 0 0 0 0
/proc/25014/statm: 53723 52561 73 172 0 53550 0
Current children cumulated CPU time (s) 762.39
Current children cumulated vsize (KiB) 217312
[startup+822.315 s]
/proc/loadavg: 0.99 0.97 0.99 3/95 27467
/proc/meminfo: memFree=1120940/2074464 swapFree=1948616/1959888
[pid=24823] ppid=24821 vsize=2420 CPUtime=8.49
/proc/24823/stat : 24823 (SatELiteGTI) S 24821 24823 10436 0 -1 4194304 386 27700 0 0 0 0 825 24 20 0 1 0 1014111843 2478080 278 4294967295 134512640 135169312 3220849392 3220845608 3085582062 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/24823/statm: 605 278 235 161 0 44 0
[pid=25014] ppid=24823 vsize=227464 CPUtime=813.89
/proc/25014/stat : 25014 (minisat_static) R 24823 24823 10436 0 -1 4202496 55763 0 0 0 81330 59 0 0 25 0 1 0 1014112693 232923136 55693 4294967295 134512640 135215339 3216940928 3216939216 134528630 0 0 0 3 0 0 0 17 0 0 0 0
/proc/25014/statm: 56866 55693 73 172 0 56693 0
Current children cumulated CPU time (s) 822.38
Current children cumulated vsize (KiB) 229884
[startup+882.31 s]
/proc/loadavg: 0.99 0.97 0.99 2/95 27655
/proc/meminfo: memFree=1105440/2074464 swapFree=1948616/1959888
[pid=24823] ppid=24821 vsize=2420 CPUtime=8.49
/proc/24823/stat : 24823 (SatELiteGTI) S 24821 24823 10436 0 -1 4194304 386 27700 0 0 0 0 825 24 20 0 1 0 1014111843 2478080 278 4294967295 134512640 135169312 3220849392 3220845608 3085582062 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/24823/statm: 605 278 235 161 0 44 0
[pid=25014] ppid=24823 vsize=243112 CPUtime=873.89
/proc/25014/stat : 25014 (minisat_static) R 24823 24823 10436 0 -1 4202496 59655 0 0 0 87326 63 0 0 25 0 1 0 1014112693 248946688 59585 4294967295 134512640 135215339 3216940928 3216939216 134528788 0 0 0 3 0 0 0 17 0 0 0 0
/proc/25014/statm: 60778 59585 73 172 0 60605 0
Current children cumulated CPU time (s) 882.38
Current children cumulated vsize (KiB) 245532
[startup+942.315 s]
/proc/loadavg: 0.99 0.97 0.99 2/95 27842
/proc/meminfo: memFree=1094032/2074464 swapFree=1948616/1959888
[pid=24823] ppid=24821 vsize=2420 CPUtime=8.49
/proc/24823/stat : 24823 (SatELiteGTI) S 24821 24823 10436 0 -1 4194304 386 27700 0 0 0 0 825 24 20 0 1 0 1014111843 2478080 278 4294967295 134512640 135169312 3220849392 3220845608 3085582062 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/24823/statm: 605 278 235 161 0 44 0
[pid=25014] ppid=24823 vsize=254940 CPUtime=933.9
/proc/25014/stat : 25014 (minisat_static) R 24823 24823 10436 0 -1 4202496 62533 0 0 0 93326 64 0 0 25 0 1 0 1014112693 261058560 62463 4294967295 134512640 135215339 3216940928 3216939216 134528721 0 0 0 3 0 0 0 17 0 0 0 0
/proc/25014/statm: 63735 62463 73 172 0 63562 0
Current children cumulated CPU time (s) 942.39
Current children cumulated vsize (KiB) 257360
[startup+1002.32 s]
/proc/loadavg: 0.99 0.97 0.99 3/95 28035
/proc/meminfo: memFree=1082004/2074464 swapFree=1948616/1959888
[pid=24823] ppid=24821 vsize=2420 CPUtime=8.49
/proc/24823/stat : 24823 (SatELiteGTI) S 24821 24823 10436 0 -1 4194304 386 27700 0 0 0 0 825 24 20 0 1 0 1014111843 2478080 278 4294967295 134512640 135169312 3220849392 3220845608 3085582062 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/24823/statm: 605 278 235 161 0 44 0
[pid=25014] ppid=24823 vsize=266988 CPUtime=993.91
/proc/25014/stat : 25014 (minisat_static) R 24823 24823 10436 0 -1 4202496 65574 0 0 0 99325 66 0 0 25 0 1 0 1014112693 273395712 65504 4294967295 134512640 135215339 3216940928 3216939216 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/25014/statm: 66747 65504 73 172 0 66574 0
Current children cumulated CPU time (s) 1002.4
Current children cumulated vsize (KiB) 269408
[startup+1062.32 s]
/proc/loadavg: 0.99 0.97 0.99 2/95 28223
/proc/meminfo: memFree=1071084/2074464 swapFree=1948616/1959888
[pid=24823] ppid=24821 vsize=2420 CPUtime=8.49
/proc/24823/stat : 24823 (SatELiteGTI) S 24821 24823 10436 0 -1 4194304 386 27700 0 0 0 0 825 24 20 0 1 0 1014111843 2478080 278 4294967295 134512640 135169312 3220849392 3220845608 3085582062 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/24823/statm: 605 278 235 161 0 44 0
[pid=25014] ppid=24823 vsize=278844 CPUtime=1053.91
/proc/25014/stat : 25014 (minisat_static) R 24823 24823 10436 0 -1 4202496 68551 0 0 0 105322 69 0 0 25 0 1 0 1014112693 285536256 68481 4294967295 134512640 135215339 3216940928 3216939216 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/25014/statm: 69711 68481 73 172 0 69538 0
Current children cumulated CPU time (s) 1062.4
Current children cumulated vsize (KiB) 281264
[startup+1122.32 s]
/proc/loadavg: 0.99 0.97 0.99 3/95 28410
/proc/meminfo: memFree=1057700/2074464 swapFree=1948616/1959888
[pid=24823] ppid=24821 vsize=2420 CPUtime=8.49
/proc/24823/stat : 24823 (SatELiteGTI) S 24821 24823 10436 0 -1 4194304 386 27700 0 0 0 0 825 24 20 0 1 0 1014111843 2478080 278 4294967295 134512640 135169312 3220849392 3220845608 3085582062 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/24823/statm: 605 278 235 161 0 44 0
[pid=25014] ppid=24823 vsize=291892 CPUtime=1113.92
/proc/25014/stat : 25014 (minisat_static) R 24823 24823 10436 0 -1 4202496 71826 0 0 0 111319 73 0 0 25 0 1 0 1014112693 298897408 71756 4294967295 134512640 135215339 3216940928 3216939216 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/25014/statm: 72973 71756 73 172 0 72800 0
Current children cumulated CPU time (s) 1122.41
Current children cumulated vsize (KiB) 294312
[startup+1182.31 s]
/proc/loadavg: 0.99 0.97 0.99 3/95 28598
/proc/meminfo: memFree=1042572/2074464 swapFree=1948616/1959888
[pid=24823] ppid=24821 vsize=2420 CPUtime=8.49
/proc/24823/stat : 24823 (SatELiteGTI) S 24821 24823 10436 0 -1 4194304 386 27700 0 0 0 0 825 24 20 0 1 0 1014111843 2478080 278 4294967295 134512640 135169312 3220849392 3220845608 3085582062 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/24823/statm: 605 278 235 161 0 44 0
[pid=25014] ppid=24823 vsize=307956 CPUtime=1173.91
/proc/25014/stat : 25014 (minisat_static) R 24823 24823 10436 0 -1 4202496 75601 0 0 0 117316 75 0 0 25 0 1 0 1014112693 315346944 75531 4294967295 134512640 135215339 3216940928 3216939216 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/25014/statm: 76989 75531 73 172 0 76816 0
Current children cumulated CPU time (s) 1182.4
Current children cumulated vsize (KiB) 310376
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1199.9 s]
/proc/loadavg: 0.99 0.97 0.99 3/95 28599
/proc/meminfo: memFree=1039596/2074464 swapFree=1948616/1959888
[pid=24823] ppid=24821 vsize=2420 CPUtime=8.49
/proc/24823/stat : 24823 (SatELiteGTI) S 24821 24823 10436 0 -1 4194304 386 27700 0 0 0 0 825 24 20 0 1 0 1014111843 2478080 278 4294967295 134512640 135169312 3220849392 3220845608 3085582062 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/24823/statm: 605 278 235 161 0 44 0
[pid=25014] ppid=24823 vsize=310772 CPUtime=1191.51
/proc/25014/stat : 25014 (minisat_static) R 24823 24823 10436 0 -1 4202496 76286 0 0 0 119076 75 0 0 25 0 1 0 1014112693 318230528 76216 4294967295 134512640 135215339 3216940928 3216939216 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/25014/statm: 77693 76216 73 172 0 77520 0
Current children cumulated CPU time (s) 1200
Current children cumulated vsize (KiB) 313192
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1199.9 s]
/proc/loadavg: 0.99 0.97 0.99 3/95 28599
/proc/meminfo: memFree=1039596/2074464 swapFree=1948616/1959888
[pid=24823] ppid=24821 vsize=2420 CPUtime=8.49
/proc/24823/stat : 24823 (SatELiteGTI) S 24821 24823 10436 0 -1 4194304 386 27700 0 0 0 0 825 24 20 0 1 0 1014111843 2478080 278 4294967295 134512640 135169312 3220849392 3220845608 3085582062 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/24823/statm: 605 278 235 161 0 44 0
[pid=25014] ppid=24823 vsize=310772 CPUtime=1191.51
/proc/25014/stat : 25014 (minisat_static) R 24823 24823 10436 0 -1 4202496 76286 0 0 0 119076 75 0 0 25 0 1 0 1014112693 318230528 76216 4294967295 134512640 135215339 3216940928 3216939216 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/25014/statm: 77693 76216 73 172 0 77520 0
Current children cumulated CPU time (s) 1200
Current children cumulated vsize (KiB) 313192
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 24823 and gives
# childrusage.ru_utime.tv_sec=8
# childrusage.ru_utime.tv_usec=250000
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=240000
# CPU time returned by wait4() is 8.49
# while last known CPU time is 1200
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1199.92
CPU time (s): 1200
CPU user time (s): 1199.01
CPU system time (s): 0.99
CPU usage (%): 100.006
Max. virtual memory (cumulated for all children) (KiB): 313192
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8.25
system time used= 0.24
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28086
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= 13
involuntary context switches= 14
runsolver used 0.01 second user time and 0.04 second system time
The end
Begin job on tipi16 at 2009-05-16 19:48:32
IDJOB=1821010
IDBENCH=70808
IDSOLVER=657
FILE ID=tipi16/1821010-1242496112
PBS_JOBID=
Free space on /tmp= 4996 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/APPLICATIONS/bitverif/maxor/maxor128.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1821010-1242496112/watcher-1821010-1242496112 -o /tmp/evaluation-result-1821010-1242496112/solver-1821010-1242496112 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1821010-1242496112.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= e050fe11c7c50ba82ac7126f49db3c10
RANDOM SEED= 365338789
Linux tipi16 2.6.18 #19 SMP Tue Jun 19 11:27:27 CEST 2007 i686 GNU/Linux
/proc/cpuinfo:
processor : 0
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.457
cache size : 1024 KB
physical id : 0
siblings : 2
core id : 0
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3618.37
processor : 1
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.457
cache size : 1024 KB
physical id : 0
siblings : 2
core id : 1
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.78
processor : 2
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.457
cache size : 1024 KB
physical id : 1
siblings : 2
core id : 0
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.78
processor : 3
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.457
cache size : 1024 KB
physical id : 1
siblings : 2
core id : 1
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.78
/proc/meminfo:
MemTotal: 2074464 kB
MemFree: 1376660 kB
Buffers: 36192 kB
Cached: 581148 kB
SwapCached: 5940 kB
Active: 80080 kB
Inactive: 547220 kB
HighTotal: 1178688 kB
HighFree: 634304 kB
LowTotal: 895776 kB
LowFree: 742356 kB
SwapTotal: 1959888 kB
SwapFree: 1948616 kB
Dirty: 12508 kB
Writeback: 0 kB
AnonPages: 9444 kB
Mapped: 3272 kB
Slab: 61584 kB
PageTables: 592 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 2997120 kB
Committed_AS: 90752 kB
VmallocTotal: 114680 kB
VmallocUsed: 1324 kB
VmallocChunk: 113264 kB
Free space on /tmp at the end= 4964 MiB
End job on tipi16 at 2009-05-16 20:08:35