0.00/0.00 c Parsing...
0.00/0.51 c ==============================================================================
0.00/0.51 c | | ORIGINAL | LEARNT | |
0.00/0.51 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.51 c ==============================================================================
0.00/0.51 c | 0 | 598617 1396773 | 179585 0 0 nan | 0.000 % |
9.07/9.21 c | 0 | 341039 1130857 | -- 0 -- -- | -- | -257536/-265815
9.07/9.21 c ==============================================================================
9.07/9.21 c Result : #vars: 72981 #clauses: 341039 #literals: 1130857
9.07/9.21 c CPU time: 8.81366 s
9.07/9.21 c ==============================================================================
9.46/9.63 c This is MiniSat 2.0 beta
9.46/9.63 c WARNING: for repeatability, setting FPU to use double precision
9.46/9.63 c ============================[ Problem Statistics ]=============================
9.46/9.63 c | |
9.46/9.63 c | Number of variables: 72981 |
9.46/9.63 c | Number of clauses: 341039 |
9.66/9.86 c | Parsing time: 0.20 s |
9.66/9.87 c ============================[ Search Statistics ]==============================
9.66/9.87 c | Conflicts | ORIGINAL | LEARNT | Progress |
9.66/9.87 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
9.66/9.87 c ===============================================================================
9.66/9.87 c | 0 | 72981 341039 1130857 | 113679 0 nan | 0.000 % |
10.16/10.36 c | 100 | 72981 341039 1130857 | 113679 100 7 | 0.000 % |
10.26/10.46 c | 200 | 72981 341039 1130857 | 113679 200 20 | 0.000 % |
10.36/10.59 c | 301 | 72981 341039 1130857 | 113679 301 31 | 0.000 % |
10.56/10.75 c | 412 | 72981 341039 1130857 | 113679 412 37 | 0.000 % |
10.86/11.08 c | 530 | 72981 341039 1130857 | 113679 530 30 | 0.000 % |
11.15/11.33 c | 640 | 72981 341039 1130857 | 113679 640 41 | 0.000 % |
11.25/11.44 c | 762 | 72981 341039 1130857 | 113679 762 37 | 0.000 % |
11.45/11.63 c | 862 | 72981 341039 1130857 | 113679 862 41 | 0.000 % |
11.65/11.81 c | 972 | 72981 341039 1130857 | 113679 972 49 | 0.000 % |
11.75/11.95 c | 1099 | 72981 341039 1130857 | 113679 1099 52 | 0.000 % |
11.86/12.04 c | 1232 | 72981 341039 1130857 | 113679 1232 54 | 0.000 % |
12.05/12.23 c | 1332 | 72981 341039 1130857 | 113679 1332 53 | 0.000 % |
12.15/12.38 c | 1445 | 72981 341039 1130857 | 113679 1445 50 | 0.000 % |
12.45/12.66 c | 1566 | 72981 341039 1130857 | 113679 1566 54 | 0.000 % |
12.75/12.97 c | 1700 | 72981 341039 1130857 | 113679 1700 61 | 0.000 % |
12.85/13.06 c | 1846 | 72981 341039 1130857 | 113679 1846 59 | 0.000 % |
13.45/13.68 c | 1978 | 72981 341039 1130857 | 113679 1978 61 | 0.000 % |
13.65/13.88 c | 2090 | 72981 341039 1130857 | 113679 2090 59 | 0.000 % |
13.95/14.16 c | 2211 | 72981 341039 1130857 | 113679 2211 63 | 0.000 % |
14.05/14.26 c | 2344 | 72981 341039 1130857 | 113679 2344 62 | 0.000 % |
14.65/14.86 c | 2524 | 72981 341039 1130857 | 113679 2524 60 | 0.000 % |
14.95/15.13 c | 2684 | 72981 341039 1130857 | 113679 2684 57 | 0.000 % |
14.95/15.19 c | 2785 | 72981 341039 1130857 | 113679 2785 56 | 0.000 % |
15.15/15.30 c | 2895 | 72981 341039 1130857 | 113679 2895 56 | 0.000 % |
15.25/15.43 c | 3018 | 72981 341039 1130857 | 113679 3018 55 | 0.000 % |
15.35/15.52 c | 3151 | 72981 341039 1130857 | 113679 3151 54 | 0.000 % |
15.45/15.64 c | 3298 | 72981 341039 1130857 | 113679 3298 54 | 0.000 % |
15.55/15.78 c | 3458 | 72981 341039 1130857 | 113679 3458 53 | 0.000 % |
16.15/16.32 c | 3649 | 72981 341039 1130857 | 113679 3649 53 | 0.000 % |
16.25/16.48 c | 3750 | 72981 341039 1130857 | 113679 3750 54 | 0.000 % |
16.35/16.53 c | 3861 | 72981 341039 1130857 | 113679 3861 53 | 0.000 % |
16.35/16.57 c | 3982 | 72981 341039 1130857 | 113679 3982 52 | 0.000 % |
16.45/16.69 c | 4115 | 72981 341039 1130857 | 113679 4115 52 | 0.000 % |
16.65/16.83 c | 4261 | 72981 341039 1130857 | 113679 4261 53 | 0.000 % |
16.96/17.10 c | 4421 | 72981 341039 1130857 | 113679 4421 54 | 0.000 % |
17.16/17.31 c | 4597 | 72981 341039 1130857 | 113679 4597 55 | 0.000 % |
17.46/17.69 c | 4790 | 72981 341039 1130857 | 113679 4790 54 | 0.000 % |
17.66/17.82 c | 4890 | 72981 341039 1130857 | 113679 4890 54 | 0.000 % |
17.76/17.97 c | 5001 | 72981 341039 1130857 | 113679 5001 53 | 0.000 % |
17.86/18.01 c | 5124 | 72981 341039 1130857 | 113679 5124 53 | 0.000 % |
18.06/18.26 c | 5260 | 72981 341039 1130857 | 113679 5260 53 | 0.000 % |
18.25/18.42 c | 5406 | 72981 341039 1130857 | 113679 5406 53 | 0.000 % |
18.35/18.52 c | 5571 | 72981 341039 1130857 | 113679 5571 52 | 0.000 % |
18.65/18.81 c | 5747 | 72981 341039 1130857 | 113679 5747 52 | 0.000 % |
18.95/19.11 c | 5942 | 72981 341039 1130857 | 113679 5942 57 | 0.000 % |
19.05/19.27 c | 6155 | 72981 341039 1130857 | 113679 6155 57 | 0.000 % |
20.05/20.20 c | 6255 | 72981 341039 1130857 | 113679 6255 57 | 0.000 % |
20.15/20.33 c | 6365 | 72981 341039 1130857 | 113679 6365 56 | 0.000 % |
20.25/20.48 c | 6486 | 72981 341039 1130857 | 113679 6486 56 | 0.000 % |
21.15/21.30 c | 6619 | 72981 341039 1130857 | 113679 6619 56 | 0.000 % |
21.25/21.41 c | 6766 | 72981 341039 1130857 | 113679 6766 56 | 0.000 % |
21.35/21.56 c | 6926 | 72981 341039 1130857 | 113679 6926 55 | 0.000 % |
21.45/21.68 c | 7102 | 72981 341039 1130857 | 113679 7102 55 | 0.000 % |
21.75/21.99 c | 7295 | 72981 341039 1130857 | 113679 7295 56 | 0.000 % |
21.95/22.11 c | 7508 | 72981 341039 1130857 | 113679 7508 57 | 0.000 % |
22.65/22.85 c | 7742 | 72981 341039 1130857 | 113679 7742 58 | 0.000 % |
22.75/22.93 c | 7843 | 72981 341039 1130857 | 113679 7843 58 | 0.000 % |
22.95/23.11 c | 7953 | 72981 341039 1130857 | 113679 7953 59 | 0.000 % |
23.15/23.32 c | 8076 | 72981 341039 1130857 | 113679 8076 59 | 0.000 % |
23.25/23.45 c | 8217 | 72979 340907 1130591 | 113679 8215 59 | 0.003 % |
23.55/23.70 c | 8365 | 72979 340907 1130591 | 113679 8363 60 | 0.003 % |
24.45/24.64 c | 8538 | 72979 340907 1130591 | 113679 8536 60 | 0.003 % |
25.25/25.44 c | 8716 | 72979 340775 1130323 | 113679 8712 61 | 0.003 % |
25.65/25.85 c | 8917 | 72979 340775 1130323 | 113679 8913 61 | 0.003 % |
25.95/26.12 c | 9129 | 72979 340775 1130323 | 113679 9125 61 | 0.003 % |
26.15/26.35 c | 9363 | 72979 340775 1130323 | 113679 9359 60 | 0.003 % |
26.65/26.89 c | 9620 | 72979 340775 1130323 | 113679 9616 62 | 0.003 % |
26.75/26.95 c | 9720 | 72979 340775 1130323 | 113679 9716 63 | 0.003 % |
27.65/27.87 c | 9838 | 72979 340775 1130323 | 113679 9834 63 | 0.003 % |
27.75/27.99 c | 9960 | 72979 340775 1130323 | 113679 9956 62 | 0.003 % |
27.95/28.15 c | 10094 | 72979 340775 1130323 | 2147483647 10090 62 | 0.003 % |
28.45/28.68 c | 10242 | 72978 340643 1130055 | 2147483647 10236 64 | 0.004 % |
28.65/28.81 c | 10402 | 72978 340643 1130055 | 2147483647 10396 63 | 0.004 % |
28.75/28.98 c | 10578 | 72978 340643 1130055 | 2147483647 10572 63 | 0.004 % |
29.05/29.23 c | 10771 | 72978 340643 1130055 | 2147483647 10765 65 | 0.004 % |
29.65/29.87 c | 10984 | 72978 340643 1130055 | 2147483647 10978 66 | 0.004 % |
31.35/31.51 c | 11227 | 72978 340643 1130055 | 2147483647 11221 68 | 0.004 % |
32.65/32.84 c | 11515 | 72978 340643 1130055 | 2147483647 11508 67 | 0.007 % |
33.05/33.25 c | 11796 | 72976 340626 1129967 | 2147483647 10776 63 | 0.007 % |
33.15/33.38 c | 11896 | 72976 340626 1129967 | 2147483647 10876 64 | 0.007 % |
33.85/34.06 c | 12065 | 72976 340626 1129967 | 2147483647 11045 66 | 0.007 % |
34.05/34.23 c | 12186 | 72976 340626 1129967 | 2147483647 11166 67 | 0.007 % |
34.15/34.38 c | 12319 | 72976 340626 1129967 | 2147483647 11299 67 | 0.007 % |
34.45/34.65 c | 12474 | 72976 340626 1129967 | 2147483647 11454 66 | 0.007 % |
34.55/34.75 c | 12634 | 72976 340626 1129967 | 2147483647 11614 66 | 0.007 % |
34.65/34.84 c | 12810 | 72976 340626 1129967 | 2147483647 11790 65 | 0.007 % |
34.84/35.07 c | 13004 | 72976 340626 1129967 | 2147483647 11984 65 | 0.007 % |
35.14/35.39 c | 13217 | 72976 340626 1129967 | 2147483647 12197 66 | 0.007 % |
35.34/35.58 c | 13450 | 72976 340626 1129967 | 2147483647 12430 66 | 0.007 % |
35.74/35.94 c | 13706 | 72976 340626 1129967 | 2147483647 12686 67 | 0.007 % |
36.14/36.37 c | 13990 | 72976 340626 1129967 | 2147483647 12970 67 | 0.007 % |
36.34/36.57 c | 14302 | 72976 340626 1129967 | 2147483647 13282 67 | 0.007 % |
36.54/36.72 c | 14405 | 72976 340626 1129967 | 2147483647 13385 66 | 0.007 % |
37.54/37.73 c | 14534 | 72976 340626 1129967 | 2147483647 13514 67 | 0.007 % |
37.64/37.89 c | 14655 | 72976 340626 1129967 | 2147483647 13635 67 | 0.007 % |
37.84/38.00 c | 14788 | 72976 340626 1129967 | 2147483647 13768 67 | 0.007 % |
37.84/38.08 c | 14935 | 72976 340626 1129967 | 2147483647 13915 68 | 0.007 % |
37.94/38.20 c | 15095 | 72976 340626 1129967 | 2147483647 14075 68 | 0.007 % |
38.14/38.36 c | 15271 | 72976 340626 1129967 | 2147483647 14251 68 | 0.007 % |
38.44/38.63 c | 15464 | 72976 340626 1129967 | 2147483647 14444 68 | 0.007 % |
38.64/38.83 c | 15676 | 72976 340626 1129967 | 2147483647 14656 68 | 0.007 % |
39.14/39.36 c | 15910 | 72976 340626 1129967 | 2147483647 14890 68 | 0.007 % |
39.24/39.46 c | 16166 | 72976 340626 1129967 | 2147483647 15146 67 | 0.007 % |
39.44/39.65 c | 16449 | 72976 340626 1129967 | 2147483647 15429 67 | 0.007 % |
39.54/39.75 c | 16760 | 72976 340626 1129967 | 2147483647 15740 66 | 0.007 % |
39.84/40.02 c | 17100 | 72976 340626 1129967 | 2147483647 16080 65 | 0.007 % |
39.94/40.10 c | 17200 | 72976 340626 1129967 | 2147483647 16180 65 | 0.007 % |
40.04/40.29 c | 17310 | 72976 340626 1129967 | 2147483647 16290 65 | 0.007 % |
40.24/40.40 c | 17432 | 72976 340626 1129967 | 2147483647 16412 65 | 0.007 % |
40.34/40.53 c | 17565 | 72976 340626 1129967 | 2147483647 16545 65 | 0.007 % |
40.44/40.67 c | 17715 | 72976 340626 1129967 | 2147483647 16695 65 | 0.007 % |
40.73/40.95 c | 17879 | 72976 340626 1129967 | 2147483647 16859 66 | 0.007 % |
41.03/41.23 c | 18055 | 72976 340626 1129967 | 2147483647 17035 66 | 0.007 % |
41.13/41.39 c | 18251 | 72976 340626 1129967 | 2147483647 17231 67 | 0.007 % |
41.43/41.69 c | 18464 | 72975 340493 1129695 | 2147483647 17443 68 | 0.008 % |
41.63/41.86 c | 18698 | 72975 340493 1129695 | 2147483647 17677 68 | 0.008 % |
41.93/42.10 c | 18954 | 72975 340493 1129695 | 2147483647 17933 68 | 0.008 % |
42.93/43.13 c | 19243 | 72975 340493 1129695 | 2147483647 18222 69 | 0.008 % |
43.23/43.45 c | 19552 | 72975 340493 1129695 | 2147483647 18531 68 | 0.008 % |
43.43/43.69 c | 19894 | 72975 340493 1129695 | 2147483647 18873 68 | 0.008 % |
43.63/43.89 c | 20266 | 72975 340493 1129695 | 2147483647 19245 67 | 0.008 % |
43.83/44.06 c | 20366 | 72975 340493 1129695 | 2147483647 19345 67 | 0.008 % |
44.23/44.42 c | 20489 | 72975 340493 1129695 | 2147483647 19468 68 | 0.008 % |
44.83/45.07 c | 20612 | 72975 340493 1129695 | 2147483647 19591 68 | 0.008 % |
45.02/45.21 c | 20745 | 72975 340493 1129695 | 2147483647 19724 68 | 0.008 % |
45.42/45.68 c | 20891 | 72975 340493 1129695 | 2147483647 19870 68 | 0.008 % |
45.82/46.02 c | 21053 | 72975 340493 1129695 | 2147483647 20032 69 | 0.008 % |
45.93/46.20 c | 21229 | 72975 340493 1129695 | 2147483647 20208 69 | 0.008 % |
46.13/46.38 c | 21422 | 72975 340493 1129695 | 2147483647 20401 69 | 0.008 % |
46.43/46.63 c | 21635 | 72975 340493 1129695 | 2147483647 20614 70 | 0.008 % |
46.53/46.76 c | 21870 | 72975 340493 1129695 | 2147483647 20849 70 | 0.008 % |
47.23/47.48 c | 22126 | 72975 340493 1129695 | 2147483647 21105 71 | 0.008 % |
47.53/47.72 c | 22407 | 72975 340493 1129695 | 2147483647 21386 71 | 0.008 % |
47.73/47.94 c | 22717 | 72975 340493 1129695 | 2147483647 21696 70 | 0.008 % |
48.53/48.73 c | 23057 | 72975 340493 1129695 | 2147483647 22036 71 | 0.008 % |
49.13/49.32 c | 23429 | 72975 340493 1129695 | 2147483647 22408 71 | 0.008 % |
49.33/49.56 c | 23838 | 72975 340493 1129695 | 2147483647 22817 70 | 0.008 % |
49.43/49.67 c | 23938 | 72975 340493 1129695 | 2147483647 22917 70 | 0.008 % |
49.63/49.87 c | 24048 | 72975 340493 1129695 | 2147483647 23027 70 | 0.008 % |
49.93/50.19 c | 24170 | 72975 340493 1129695 | 2147483647 23149 71 | 0.008 % |
50.53/50.75 c | 24304 | 72975 340493 1129695 | 2147483647 23283 71 | 0.008 % |
51.13/51.34 c | 24459 | 72975 340493 1129695 | 2147483647 23438 71 | 0.008 % |
51.53/51.79 c | 24621 | 72975 340493 1129695 | 2147483647 23600 71 | 0.008 % |
52.43/52.69 c | 24797 | 72975 340493 1129695 | 2147483647 23776 71 | 0.008 % |
52.83/53.09 c | 24990 | 72975 340493 1129695 | 2147483647 23969 72 | 0.008 % |
53.13/53.39 c | 25202 | 72975 340493 1129695 | 2147483647 24181 72 | 0.008 % |
53.43/53.67 c | 25437 | 72975 340493 1129695 | 2147483647 24416 72 | 0.008 % |
54.03/54.23 c | 25693 | 72975 340493 1129695 | 2147483647 24672 72 | 0.008 % |
54.92/55.14 c | 25983 | 72975 340493 1129695 | 2147483647 24962 73 | 0.008 % |
55.32/55.58 c | 26294 | 72975 340493 1129695 | 2147483647 25273 73 | 0.008 % |
55.62/55.86 c | 26636 | 72975 340493 1129695 | 2147483647 25615 73 | 0.008 % |
55.92/56.15 c | 27008 | 72975 340493 1129695 | 2147483647 25987 72 | 0.008 % |
56.22/56.43 c | 27417 | 72975 340493 1129695 | 2147483647 26396 72 | 0.008 % |
58.23/58.45 c | 27866 | 72975 340493 1129695 | 2147483647 26845 74 | 0.008 % |
58.43/58.61 c | 27966 | 72975 340493 1129695 | 2147483647 26945 74 | 0.008 % |
58.53/58.71 c | 28076 | 72975 340493 1129695 | 2147483647 27055 74 | 0.008 % |
58.63/58.83 c | 28197 | 72975 340493 1129695 | 2147483647 27176 74 | 0.008 % |
58.72/58.99 c | 28331 | 72975 340493 1129695 | 2147483647 27310 74 | 0.008 % |
58.92/59.17 c | 28477 | 72975 340493 1129695 | 2147483647 27456 75 | 0.008 % |
59.13/59.34 c | 28637 | 72975 340493 1129695 | 2147483647 27616 75 | 0.008 % |
59.32/59.59 c | 28815 | 72975 340493 1129695 | 2147483647 27794 75 | 0.008 % |
59.52/59.79 c | 29008 | 72975 340493 1129695 | 2147483647 27987 76 | 0.008 % |
59.82/60.02 c | 29221 | 72975 340493 1129695 | 2147483647 28200 76 | 0.008 % |
60.02/60.23 c | 29456 | 72975 340493 1129695 | 2147483647 28435 76 | 0.008 % |
60.33/60.55 c | 29712 | 72975 340493 1129695 | 2147483647 28691 77 | 0.008 % |
60.62/60.86 c | 29993 | 72975 340493 1129695 | 2147483647 28972 77 | 0.008 % |
60.92/61.11 c | 30302 | 72975 340493 1129695 | 2147483647 29281 77 | 0.008 % |
61.52/61.74 c | 30641 | 72975 340493 1129695 | 2147483647 29620 78 | 0.008 % |
62.02/62.27 c | 31013 | 72975 340493 1129695 | 2147483647 29992 79 | 0.008 % |
63.12/63.35 c | 31427 | 72975 340493 1129695 | 2147483647 30406 80 | 0.008 % |
63.63/63.85 c | 31877 | 72975 340493 1129695 | 2147483647 30856 81 | 0.008 % |
64.33/64.50 c | 32370 | 72975 340493 1129695 | 2147483647 31349 81 | 0.008 % |
64.43/64.63 c | 32473 | 72975 340493 1129695 | 2147483647 31452 81 | 0.008 % |
64.53/64.80 c | 32583 | 72975 340493 1129695 | 2147483647 31562 81 | 0.008 % |
64.73/64.91 c | 32704 | 72975 340493 1129695 | 2147483647 31683 81 | 0.008 % |
65.22/65.48 c | 32852 | 72975 340493 1129695 | 2147483647 31831 81 | 0.008 % |
65.42/65.67 c | 32999 | 72975 340493 1129695 | 2147483647 31978 81 | 0.008 % |
65.62/65.83 c | 33159 | 72975 340493 1129695 | 2147483647 32138 80 | 0.008 % |
65.73/65.95 c | 33337 | 72975 340493 1129695 | 2147483647 32316 80 | 0.008 % |
65.83/66.08 c | 33530 | 72975 340493 1129695 | 2147483647 32509 80 | 0.008 % |
66.02/66.26 c | 33743 | 72975 340493 1129695 | 2147483647 32722 80 | 0.008 % |
66.22/66.48 c | 33976 | 72975 340493 1129695 | 2147483647 32955 79 | 0.008 % |
67.12/67.31 c | 34233 | 72975 340493 1129695 | 2147483647 33212 80 | 0.008 % |
67.32/67.58 c | 34515 | 72975 340493 1129695 | 2147483647 33494 79 | 0.008 % |
67.92/68.19 c | 34825 | 72975 340493 1129695 | 2147483647 33804 80 | 0.008 % |
68.42/68.63 c | 35164 | 72975 340493 1129695 | 2147483647 34143 80 | 0.008 % |
68.82/69.03 c | 35537 | 72975 340493 1129695 | 2147483647 34516 80 | 0.008 % |
69.12/69.32 c | 35949 | 72975 340493 1129695 | 2147483647 34928 80 | 0.008 % |
69.81/70.08 c | 36402 | 72975 340493 1129695 | 2147483647 35381 81 | 0.008 % |
70.71/70.94 c | 36896 | 72975 340493 1129695 | 2147483647 35875 81 | 0.008 % |
71.31/71.53 c | 37439 | 72975 340493 1129695 | 2147483647 36418 81 | 0.008 % |
71.41/71.65 c | 37540 | 72975 340493 1129695 | 2147483647 36519 80 | 0.008 % |
71.51/71.78 c | 37650 | 72975 340493 1129695 | 2147483647 36629 81 | 0.008 % |
71.71/71.93 c | 37772 | 72975 340493 1129695 | 2147483647 36751 81 | 0.008 % |
71.81/72.08 c | 37905 | 72975 340493 1129695 | 2147483647 36884 81 | 0.008 % |
72.01/72.28 c | 38051 | 72975 340493 1129695 | 2147483647 37030 81 | 0.008 % |
72.11/72.39 c | 38213 | 72975 340493 1129695 | 2147483647 37192 81 | 0.008 % |
72.31/72.53 c | 38389 | 72975 340493 1129695 | 2147483647 37368 80 | 0.008 % |
72.71/72.90 c | 38583 | 72975 340493 1129695 | 2147483647 37562 81 | 0.008 % |
73.01/73.25 c | 38799 | 72975 340493 1129695 | 2147483647 37778 82 | 0.008 % |
73.30/73.53 c | 39032 | 72975 340493 1129695 | 2147483647 38011 82 | 0.008 % |
74.00/74.27 c | 39288 | 72975 340493 1129695 | 2147483647 38267 81 | 0.008 % |
74.30/74.53 c | 39569 | 72975 340493 1129695 | 2147483647 38548 81 | 0.009 % |
74.51/74.79 c | 39878 | 72975 340493 1129695 | 2147483647 38857 81 | 0.008 % |
75.00/75.20 c | 40221 | 72975 340493 1129695 | 2147483647 39200 83 | 0.008 % |
75.30/75.56 c | 40594 | 72975 340493 1129695 | 2147483647 39573 82 | 0.008 % |
75.61/75.86 c | 41005 | 72975 340493 1129695 | 2147483647 39984 82 | 0.008 % |
76.00/76.30 c | 41455 | 72975 340493 1129695 | 2147483647 40434 82 | 0.008 % |
76.61/76.88 c | 41949 | 72975 340493 1129695 | 2147483647 40928 82 | 0.008 % |
77.31/77.54 c | 42493 | 72975 340493 1129695 | 2147483647 41472 82 | 0.008 % |
78.51/78.70 c | 43090 | 72975 340493 1129695 | 2147483647 42069 83 | 0.008 % |
78.81/79.04 c | 43190 | 72974 340360 1129423 | 2147483647 42167 83 | 0.010 % |
78.91/79.19 c | 43304 | 72974 340360 1129423 | 2147483647 42281 83 | 0.010 % |
79.11/79.38 c | 43428 | 72974 340360 1129423 | 2147483647 42405 83 | 0.010 % |
79.31/79.51 c | 43562 | 72974 340360 1129423 | 2147483647 42539 83 | 0.010 % |
79.51/79.78 c | 43708 | 72974 340360 1129423 | 2147483647 42685 83 | 0.010 % |
79.81/80.04 c | 43868 | 72974 340360 1129423 | 2147483647 42845 84 | 0.010 % |
80.01/80.20 c | 44046 | 72974 340360 1129423 | 2147483647 43023 84 | 0.010 % |
80.40/80.63 c | 44240 | 72974 340360 1129423 | 2147483647 43217 84 | 0.010 % |
80.60/80.81 c | 44453 | 72974 340360 1129423 | 2147483647 43430 84 | 0.010 % |
82.10/82.32 c | 44718 | 72974 340360 1129423 | 2147483647 43695 84 | 0.010 % |
82.40/82.60 c | 44974 | 72974 340360 1129423 | 2147483647 43951 84 | 0.010 % |
82.60/82.88 c | 45256 | 72974 340360 1129423 | 2147483647 44233 84 | 0.010 % |
83.20/83.45 c | 45566 | 72974 340360 1129423 | 2147483647 44543 85 | 0.010 % |
83.70/83.98 c | 45906 | 72974 340360 1129423 | 2147483647 44883 85 | 0.010 % |
84.30/84.55 c | 46280 | 72974 340360 1129423 | 2147483647 45257 86 | 0.010 % |
84.70/84.93 c | 46691 | 72974 340360 1129423 | 2147483647 45668 85 | 0.010 % |
85.00/85.28 c | 47140 | 72974 340360 1129423 | 2147483647 46117 85 | 0.010 % |
85.50/85.79 c | 47633 | 72974 340360 1129423 | 2147483647 46610 85 | 0.010 % |
85.90/86.18 c | 48175 | 72974 340360 1129423 | 2147483647 47152 84 | 0.010 % |
86.60/86.82 c | 48775 | 72974 340360 1129423 | 2147483647 47752 85 | 0.010 % |
87.30/87.60 c | 49430 | 72974 340360 1129423 | 2147483647 48407 84 | 0.010 % |
87.40/87.68 c | 49530 | 72974 340360 1129423 | 2147483647 48507 84 | 0.010 % |
87.70/87.93 c | 49653 | 72974 340360 1129423 | 2147483647 48630 84 | 0.010 % |
87.80/88.07 c | 49775 | 72974 340360 1129423 | 2147483647 48752 84 | 0.010 % |
87.89/88.15 c | 49911 | 72974 340360 1129423 | 2147483647 48888 84 | 0.010 % |
88.09/88.37 c | 50058 | 72974 340360 1129423 | 2147483647 49035 84 | 0.010 % |
88.99/89.25 c | 50230 | 72974 340360 1129423 | 2147483647 49207 84 | 0.010 % |
89.09/89.39 c | 50406 | 72974 340360 1129423 | 2147483647 49383 84 | 0.010 % |
89.39/89.66 c | 50600 | 72974 340360 1129423 | 2147483647 49577 84 | 0.010 % |
89.69/89.99 c | 50812 | 72974 340360 1129423 | 2147483647 49789 84 | 0.010 % |
89.99/90.29 c | 51047 | 72974 340360 1129423 | 2147483647 50024 84 | 0.010 % |
90.49/90.73 c | 51303 | 72974 340360 1129423 | 2147483647 50280 85 | 0.010 % |
90.89/91.19 c | 51584 | 72974 340360 1129423 | 2147483647 50561 85 | 0.010 % |
91.49/91.78 c | 51893 | 72974 340360 1129423 | 2147483647 50870 86 | 0.010 % |
92.39/92.66 c | 52234 | 72974 340360 1129423 | 2147483647 51211 86 | 0.010 % |
92.59/92.89 c | 52608 | 72974 340360 1129423 | 2147483647 51585 86 | 0.010 % |
92.99/93.23 c | 53017 | 72974 340360 1129423 | 2147483647 51994 86 | 0.010 % |
93.69/93.98 c | 53466 | 72974 340360 1129423 | 2147483647 52443 86 | 0.010 % |
93.89/94.16 c | 53959 | 72974 340360 1129423 | 2147483647 52936 86 | 0.010 % |
94.59/94.82 c | 54503 | 72974 340360 1129423 | 2147483647 53480 87 | 0.010 % |
95.58/95.86 c | 55099 | 72974 340360 1129423 | 2147483647 54076 87 | 0.010 % |
96.68/96.97 c | 55754 | 72974 340360 1129423 | 2147483647 54731 87 | 0.010 % |
97.58/97.84 c | 56474 | 72974 340360 1129423 | 2147483647 55451 87 | 0.010 % |
97.68/97.97 c | 56575 | 72974 340360 1129423 | 2147483647 55552 87 | 0.010 % |
97.88/98.19 c | 56685 | 72974 340360 1129423 | 2147483647 55662 87 | 0.010 % |
98.18/98.47 c | 56809 | 72974 340360 1129423 | 2147483647 55786 88 | 0.010 % |
98.48/98.77 c | 56942 | 72974 340360 1129423 | 2147483647 55919 88 | 0.010 % |
98.78/99.01 c | 57090 | 72974 340360 1129423 | 2147483647 56067 88 | 0.010 % |
99.08/99.33 c | 57256 | 72974 340360 1129423 | 2147483647 56233 88 | 0.010 % |
99.28/99.58 c | 57432 | 72974 340360 1129423 | 2147483647 56409 88 | 0.010 % |
100.08/100.34 c | 57626 | 72974 340360 1129423 | 2147483647 56603 88 | 0.010 % |
100.38/100.67 c | 57838 | 72974 340360 1129423 | 2147483647 56815 88 | 0.010 % |
100.88/101.13 c | 58072 | 72974 340360 1129423 | 2147483647 57049 89 | 0.010 % |
101.28/101.52 c | 58329 | 72974 340360 1129423 | 2147483647 57306 89 | 0.010 % |
101.58/101.83 c | 58610 | 72974 340360 1129423 | 2147483647 57587 89 | 0.010 % |
101.98/102.24 c | 58919 | 72974 340360 1129423 | 2147483647 57896 89 | 0.010 % |
102.28/102.56 c | 59262 | 72974 340360 1129423 | 2147483647 58239 89 | 0.010 % |
103.47/103.72 c | 59635 | 72974 340360 1129423 | 2147483647 58612 90 | 0.010 % |
104.08/104.36 c | 60044 | 72974 340360 1129423 | 2147483647 59021 90 | 0.010 % |
104.57/104.86 c | 60494 | 72974 340360 1129423 | 2147483647 59471 90 | 0.010 % |
105.57/105.82 c | 60987 | 72974 340360 1129423 | 2147483647 59964 90 | 0.010 % |
106.38/106.69 c | 61530 | 72974 340360 1129423 | 2147483647 60507 90 | 0.010 % |
107.08/107.32 c | 62129 | 72974 340360 1129423 | 2147483647 61106 91 | 0.010 % |
108.08/108.32 c | 62786 | 72974 340360 1129423 | 2147483647 61763 92 | 0.010 % |
109.38/109.67 c | 63506 | 72974 340360 1129423 | 2147483647 62483 93 | 0.010 % |
110.47/110.78 c | 64299 | 72974 340360 1129423 | 2147483647 63276 94 | 0.010 % |
110.97/111.27 c | 64399 | 72974 340360 1129423 | 2147483647 63376 94 | 0.010 % |
111.07/111.36 c | 64509 | 72974 340360 1129423 | 2147483647 63486 94 | 0.010 % |
111.37/111.60 c | 64635 | 72974 340360 1129423 | 2147483647 63612 94 | 0.010 % |
111.67/111.94 c | 64772 | 72974 340360 1129423 | 2147483647 63749 94 | 0.010 % |
112.17/112.45 c | 64935 | 72974 340360 1129423 | 2147483647 63912 94 | 0.010 % |
112.27/112.56 c | 65095 | 72974 340360 1129423 | 2147483647 64072 94 | 0.010 % |
112.47/112.77 c | 65273 | 72974 340360 1129423 | 2147483647 64250 94 | 0.010 % |
112.77/113.05 c | 65468 | 72974 340360 1129423 | 2147483647 64445 94 | 0.010 % |
112.97/113.23 c | 65680 | 72974 340360 1129423 | 2147483647 64657 94 | 0.010 % |
113.27/113.54 c | 65915 | 72974 340360 1129423 | 2147483647 64892 94 | 0.010 % |
113.67/113.96 c | 66172 | 72974 340360 1129423 | 2147483647 65149 94 | 0.010 % |
114.08/114.31 c | 66453 | 72974 340360 1129423 | 2147483647 65430 94 | 0.010 % |
114.57/114.86 c | 66762 | 72974 340360 1129423 | 2147483647 65739 94 | 0.010 % |
115.37/115.64 c | 67102 | 72974 340360 1129423 | 2147483647 66079 94 | 0.010 % |
115.57/115.86 c | 67474 | 72974 340360 1129423 | 2147483647 66451 94 | 0.010 % |
115.77/116.05 c | 67883 | 72974 340360 1129423 | 2147483647 66860 94 | 0.010 % |
116.58/116.81 c | 68333 | 72974 340360 1129423 | 2147483647 67310 94 | 0.010 % |
117.28/117.53 c | 68827 | 72974 340360 1129423 | 2147483647 67804 95 | 0.010 % |
118.17/118.42 c | 69370 | 72974 340360 1129423 | 2147483647 68347 94 | 0.010 % |
119.37/119.60 c | 69966 | 72974 340360 1129423 | 2147483647 68943 95 | 0.010 % |
120.07/120.33 c | 70621 | 72974 340360 1129423 | 2147483647 69598 96 | 0.010 % |
121.07/121.38 c | 71341 | 72974 340360 1129423 | 2147483647 70318 97 | 0.010 % |
122.36/122.61 c | 72134 | 72974 340360 1129423 | 2147483647 71111 98 | 0.010 % |
123.37/123.67 c | 73005 | 72974 340360 1129423 | 2147483647 71982 98 | 0.010 % |
123.67/123.98 c | 73105 | 72974 340360 1129423 | 2147483647 72082 98 | 0.010 % |
123.87/124.13 c | 73215 | 72974 340360 1129423 | 2147483647 72192 98 | 0.010 % |
123.97/124.24 c | 73336 | 72974 340360 1129423 | 2147483647 72313 98 | 0.010 % |
124.07/124.37 c | 73469 | 72974 340360 1129423 | 2147483647 72446 98 | 0.010 % |
124.47/124.77 c | 73625 | 72974 340360 1129423 | 2147483647 72602 98 | 0.010 % |
124.77/125.03 c | 73790 | 72974 340360 1129423 | 2147483647 72767 98 | 0.010 % |
125.07/125.39 c | 73966 | 72974 340360 1129423 | 2147483647 72943 98 | 0.010 % |
125.57/125.80 c | 74159 | 72974 340360 1129423 | 2147483647 73136 98 | 0.010 % |
126.17/126.40 c | 74371 | 72974 340360 1129423 | 2147483647 73348 99 | 0.010 % |
126.37/126.64 c | 74605 | 72974 340360 1129423 | 2147483647 73582 99 | 0.010 % |
127.07/127.30 c | 74861 | 72974 340360 1129423 | 2147483647 73838 99 | 0.010 % |
127.37/127.60 c | 75143 | 72974 340360 1129423 | 2147483647 74120 99 | 0.010 % |
127.76/128.06 c | 75452 | 72974 340360 1129423 | 2147483647 74429 99 | 0.010 % |
128.47/128.77 c | 75792 | 72974 340360 1129423 | 2147483647 74769 99 | 0.010 % |
129.26/129.52 c | 76164 | 72974 340360 1129423 | 2147483647 75141 99 | 0.010 % |
129.66/129.90 c | 76574 | 72974 340360 1129423 | 2147483647 75551 98 | 0.010 % |
130.96/131.26 c | 77023 | 72974 340360 1129423 | 2147483647 76000 99 | 0.010 % |
131.56/131.88 c | 77516 | 72974 340360 1129423 | 2147483647 76493 99 | 0.010 % |
132.56/132.81 c | 78059 | 72974 340360 1129423 | 2147483647 77036 99 | 0.010 % |
133.46/133.74 c | 78655 | 72974 340360 1129423 | 2147483647 77632 99 | 0.010 % |
134.57/134.83 c | 79310 | 72974 340360 1129423 | 2147483647 78287 100 | 0.010 % |
135.86/136.17 c | 80030 | 72974 340360 1129423 | 2147483647 79007 99 | 0.010 % |
138.76/139.00 c | 80822 | 72974 340360 1129423 | 2147483647 79799 101 | 0.010 % |
139.96/140.28 c | 81693 | 72974 340360 1129423 | 2147483647 80670 101 | 0.010 % |
141.46/141.71 c | 82651 | 72974 340360 1129423 | 2147483647 81628 100 | 0.010 % |
141.56/141.89 c | 82751 | 72974 340360 1129423 | 2147483647 81728 100 | 0.010 % |
141.86/142.16 c | 82864 | 72974 340360 1129423 | 2147483647 81841 100 | 0.010 % |
142.26/142.54 c | 82987 | 72974 340360 1129423 | 2147483647 81964 100 | 0.010 % |
142.46/142.77 c | 83121 | 72974 340360 1129423 | 2147483647 82098 100 | 0.010 % |
142.76/143.10 c | 83268 | 72974 340360 1129423 | 2147483647 82245 100 | 0.010 % |
143.06/143.33 c | 83428 | 72974 340360 1129423 | 2147483647 82405 100 | 0.010 % |
143.36/143.62 c | 83605 | 72974 340360 1129423 | 2147483647 82582 100 | 0.010 % |
143.86/144.17 c | 83800 | 72974 340360 1129423 | 2147483647 82777 100 | 0.010 % |
144.86/145.16 c | 84013 | 72974 340360 1129423 | 2147483647 82990 100 | 0.010 % |
145.15/145.49 c | 84246 | 72974 340360 1129423 | 2147483647 83223 101 | 0.010 % |
145.46/145.78 c | 84502 | 72974 340360 1129423 | 2147483647 83479 101 | 0.010 % |
146.46/146.71 c | 84785 | 72974 340360 1129423 | 2147483647 83762 101 | 0.010 % |
147.07/147.38 c | 85095 | 72974 340360 1129423 | 2147483647 84072 101 | 0.010 % |
147.86/148.17 c | 85436 | 72974 340360 1129423 | 2147483647 84413 101 | 0.010 % |
148.36/148.65 c | 85809 | 72974 340360 1129423 | 2147483647 84786 101 | 0.010 % |
148.86/149.12 c | 86219 | 72974 340360 1129423 | 2147483647 85196 101 | 0.010 % |
149.66/149.98 c | 86669 | 72974 340360 1129423 | 2147483647 85646 102 | 0.010 % |
150.86/151.19 c | 87163 | 72974 340360 1129423 | 2147483647 86140 102 | 0.010 % |
151.36/151.68 c | 87705 | 72974 340360 1129423 | 2147483647 86682 102 | 0.010 % |
152.26/152.51 c | 88301 | 72974 340360 1129423 | 2147483647 87278 102 | 0.010 % |
153.76/154.03 c | 88956 | 72974 340360 1129423 | 2147483647 87933 103 | 0.010 % |
157.85/158.15 c | 89688 | 72974 340360 1129423 | 2147483647 88665 103 | 0.010 % |
162.05/162.32 c | 90480 | 72974 340360 1129423 | 2147483647 89457 104 | 0.010 % |
163.26/163.60 c | 91353 | 72974 340360 1129423 | 2147483647 90330 104 | 0.010 % |
165.56/165.80 c | 92312 | 72974 340360 1129423 | 2147483647 91289 105 | 0.010 % |
167.55/167.90 c | 93367 | 72974 340360 1129423 | 2147483647 92344 105 | 0.010 % |
167.85/168.14 c | 93468 | 72974 340360 1129423 | 2147483647 92445 104 | 0.010 % |
168.06/168.34 c | 93580 | 72974 340360 1129423 | 2147483647 92557 104 | 0.010 % |
169.16/169.42 c | 93701 | 72974 340360 1129423 | 2147483647 92678 105 | 0.010 % |
169.45/169.70 c | 93836 | 72974 340360 1129423 | 2147483647 92813 104 | 0.010 % |
169.55/169.87 c | 93982 | 72974 340360 1129423 | 2147483647 92959 104 | 0.010 % |
169.85/170.10 c | 94143 | 72974 340360 1129423 | 2147483647 93120 104 | 0.010 % |
169.95/170.24 c | 94320 | 72974 340360 1129423 | 2147483647 93297 104 | 0.010 % |
171.15/171.45 c | 94513 | 72974 340360 1129423 | 2147483647 93490 104 | 0.010 % |
171.45/171.75 c | 94725 | 72974 340360 1129423 | 2147483647 93702 104 | 0.010 % |
171.75/172.09 c | 94960 | 72974 340360 1129423 | 2147483647 93937 104 | 0.010 % |
172.25/172.58 c | 95217 | 72974 340360 1129423 | 2147483647 94194 105 | 0.010 % |
172.75/173.03 c | 95498 | 72974 340360 1129423 | 2147483647 94475 105 | 0.010 % |
173.15/173.43 c | 95809 | 72974 340360 1129423 | 2147483647 94786 104 | 0.010 % |
173.75/174.09 c | 96150 | 72974 340360 1129423 | 2147483647 95127 105 | 0.010 % |
174.24/174.57 c | 96523 | 72974 340360 1129423 | 2147483647 95500 104 | 0.010 % |
175.34/175.65 c | 96932 | 72974 340360 1129423 | 2147483647 95909 105 | 0.010 % |
176.44/176.75 c | 97383 | 72974 340360 1129423 | 2147483647 96360 105 | 0.010 % |
177.25/177.52 c | 97876 | 72974 340360 1129423 | 2147483647 96853 105 | 0.010 % |
178.65/178.97 c | 98418 | 72974 340360 1129423 | 2147483647 97395 106 | 0.010 % |
179.75/180.06 c | 99015 | 72974 340360 1129423 | 2147483647 97992 106 | 0.010 % |
181.04/181.35 c | 99670 | 72974 340360 1129423 | 2147483647 98647 106 | 0.010 % |
182.14/182.46 c | 100390 | 72974 340360 1129423 | 2147483647 99367 105 | 0.010 % |
183.74/184.04 c | 101185 | 72974 340360 1129423 | 2147483647 100162 105 | 0.010 % |
184.94/185.29 c | 102056 | 72974 340360 1129423 | 2147483647 101033 105 | 0.010 % |
187.24/187.55 c | 103014 | 72974 340360 1129423 | 2147483647 101991 106 | 0.010 % |
188.34/188.67 c | 104067 | 72974 340360 1129423 | 2147483647 103044 106 | 0.010 % |
192.04/192.35 c | 105225 | 72974 340360 1129423 | 2147483647 104202 107 | 0.010 % |
192.24/192.59 c | 105329 | 72974 340360 1129423 | 2147483647 104306 107 | 0.010 % |
192.44/192.78 c | 105439 | 72974 340360 1129423 | 2147483647 104416 107 | 0.010 % |
192.54/192.89 c | 105560 | 72974 340360 1129423 | 2147483647 104537 107 | 0.010 % |
192.74/193.09 c | 105694 | 72974 340360 1129423 | 2147483647 104671 107 | 0.010 % |
192.94/193.28 c | 105840 | 72974 340360 1129423 | 2147483647 104817 107 | 0.010 % |
193.05/193.32 c | 106000 | 72974 340360 1129423 | 2147483647 104977 107 | 0.010 % |
193.55/193.85 c | 106176 | 72974 340360 1129423 | 2147483647 105153 107 | 0.010 % |
193.85/194.13 c | 106369 | 72974 340360 1129423 | 2147483647 105346 107 | 0.010 % |
194.04/194.38 c | 106583 | 72974 340360 1129423 | 2147483647 105560 106 | 0.010 % |
194.45/194.71 c | 106817 | 72974 340360 1129423 | 2147483647 105794 107 | 0.010 % |
194.94/195.29 c | 107073 | 72974 340360 1129423 | 2147483647 106050 107 | 0.010 % |
195.45/195.79 c | 107354 | 72974 340360 1129423 | 2147483647 106331 107 | 0.010 % |
195.84/196.11 c | 107665 | 72974 340360 1129423 | 2147483647 106642 106 | 0.010 % |
197.34/197.69 c | 108006 | 72974 340360 1129423 | 2147483647 106983 107 | 0.010 % |
197.94/198.24 c | 108379 | 72974 340360 1129423 | 2147483647 107356 107 | 0.010 % |
198.54/198.82 c | 108789 | 72974 340360 1129423 | 2147483647 107766 107 | 0.010 % |
199.24/199.56 c | 109238 | 72974 340360 1129423 | 2147483647 108215 107 | 0.010 % |
199.64/199.98 c | 109732 | 72974 340360 1129423 | 2147483647 108709 107 | 0.010 % |
199.94/200.27 c | 110278 | 72974 340360 1129423 | 2147483647 109255 106 | 0.010 % |
201.23/201.55 c | 110874 | 72974 340360 1129423 | 2147483647 109851 106 | 0.010 % |
201.73/202.09 c | 111529 | 72974 340360 1129423 | 2147483647 110506 106 | 0.010 % |
202.84/203.13 c | 112249 | 72974 340360 1129423 | 2147483647 111226 107 | 0.010 % |
204.24/204.53 c | 113044 | 72974 340360 1129423 | 2147483647 112021 107 | 0.010 % |
205.13/205.48 c | 113915 | 72974 340360 1129423 | 2147483647 112892 107 | 0.010 % |
207.13/207.43 c | 114873 | 72974 340360 1129423 | 2147483647 113850 107 | 0.010 % |
210.53/210.88 c | 115929 | 72974 340360 1129423 | 2147483647 114906 108 | 0.010 % |
215.63/215.91 c | 117088 | 72974 340360 1129423 | 2147483647 116065 109 | 0.010 % |
218.53/218.83 c | 118363 | 72974 340360 1129423 | 2147483647 117340 110 | 0.010 % |
218.73/219.02 c | 118464 | 72974 340360 1129423 | 2147483647 117441 110 | 0.010 % |
218.83/219.15 c | 118580 | 72974 340360 1129423 | 2147483647 117557 110 | 0.010 % |
218.93/219.21 c | 118703 | 72974 340360 1129423 | 2147483647 117680 110 | 0.010 % |
219.03/219.36 c | 118836 | 72974 340360 1129423 | 2147483647 117813 109 | 0.010 % |
219.43/219.70 c | 118982 | 72974 340360 1129423 | 2147483647 117959 109 | 0.010 % |
220.23/220.50 c | 119142 | 72974 340360 1129423 | 2147483647 118119 109 | 0.010 % |
220.43/220.71 c | 119320 | 72974 340360 1129423 | 2147483647 118297 109 | 0.010 % |
220.43/220.77 c | 119515 | 72974 340360 1129423 | 2147483647 118492 109 | 0.010 % |
220.83/221.13 c | 119727 | 72974 340360 1129423 | 2147483647 118704 109 | 0.010 % |
221.42/221.70 c | 119960 | 72974 340360 1129423 | 2147483647 118937 110 | 0.010 % |
221.83/222.10 c | 120219 | 72974 340360 1129423 | 2147483647 119196 110 | 0.010 % |
222.22/222.56 c | 120501 | 72974 340360 1129423 | 2147483647 119478 110 | 0.010 % |
223.23/223.52 c | 120810 | 72974 340360 1129423 | 2147483647 119787 110 | 0.010 % |
223.83/224.16 c | 121149 | 72974 340360 1129423 | 2147483647 120126 110 | 0.010 % |
224.53/224.87 c | 121522 | 72974 340360 1129423 | 2147483647 120499 110 | 0.010 % |
225.53/225.87 c | 121934 | 72974 340360 1129423 | 2147483647 120911 110 | 0.010 % |
226.23/226.59 c | 122385 | 72974 340360 1129423 | 2147483647 121362 110 | 0.010 % |
227.33/227.68 c | 122878 | 72974 340360 1129423 | 2147483647 121855 110 | 0.010 % |
228.22/228.53 c | 123420 | 72974 340360 1129423 | 2147483647 122397 110 | 0.010 % |
229.02/229.32 c | 124016 | 72974 340360 1129423 | 2147483647 122993 109 | 0.010 % |
230.82/231.18 c | 124673 | 72974 340360 1129423 | 2147483647 123650 109 | 0.010 % |
231.92/232.21 c | 125393 | 72974 340360 1129423 | 2147483647 124370 109 | 0.010 % |
234.12/234.43 c | 126185 | 72974 340360 1129423 | 2147483647 125162 110 | 0.010 % |
236.23/236.57 c | 127056 | 72974 340360 1129423 | 2147483647 126033 110 | 0.010 % |
237.82/238.12 c | 128014 | 72974 340360 1129423 | 2147483647 126991 110 | 0.010 % |
241.52/241.90 c | 129067 | 72974 340360 1129423 | 2147483647 128044 110 | 0.010 % |
243.52/243.85 c | 130225 | 72974 340360 1129423 | 2147483647 129202 110 | 0.010 % |
244.22/244.56 c | 131498 | 72974 340360 1129423 | 2147483647 130475 110 | 0.010 % |
246.32/246.66 c | 132899 | 72974 340360 1129423 | 2147483647 131876 110 | 0.010 % |
246.42/246.77 c | 132999 | 72974 340360 1129423 | 2147483647 131976 110 | 0.010 % |
246.92/247.28 c | 133109 | 72974 340360 1129423 | 2147483647 132086 110 | 0.010 % |
247.32/247.68 c | 133231 | 72974 340360 1129423 | 2147483647 132208 110 | 0.010 % |
247.52/247.86 c | 133364 | 72974 340360 1129423 | 2147483647 132341 110 | 0.010 % |
247.62/247.98 c | 133510 | 72974 340360 1129423 | 2147483647 132487 110 | 0.010 % |
247.92/248.29 c | 133670 | 72974 340360 1129423 | 2147483647 132647 110 | 0.010 % |
248.12/248.48 c | 133847 | 72974 340360 1129423 | 2147483647 132824 110 | 0.010 % |
248.51/248.82 c | 134040 | 72974 340360 1129423 | 2147483647 133017 110 | 0.010 % |
249.32/249.62 c | 134252 | 72974 340360 1129423 | 2147483647 133229 110 | 0.010 % |
249.71/250.03 c | 134485 | 72974 340360 1129423 | 2147483647 133462 110 | 0.010 % |
249.81/250.18 c | 134741 | 72974 340360 1129423 | 2147483647 133718 110 | 0.010 % |
250.21/250.55 c | 135043 | 72974 340360 1129423 | 2147483647 134020 109 | 0.010 % |
250.81/251.11 c | 135352 | 72974 340360 1129423 | 2147483647 134329 109 | 0.010 % |
251.71/252.04 c | 135691 | 72974 340360 1129423 | 2147483647 134668 109 | 0.010 % |
252.11/252.48 c | 136063 | 72974 340360 1129423 | 2147483647 135040 109 | 0.010 % |
252.91/253.24 c | 136474 | 72974 340360 1129423 | 2147483647 135451 109 | 0.010 % |
253.81/254.16 c | 136923 | 72974 340360 1129423 | 2147483647 135900 109 | 0.010 % |
254.31/254.65 c | 137417 | 72974 340360 1129423 | 2147483647 136394 109 | 0.010 % |
255.11/255.47 c | 137959 | 72974 340360 1129423 | 2147483647 136936 109 | 0.010 % |
256.52/256.89 c | 138556 | 72974 340360 1129423 | 2147483647 137533 109 | 0.010 % |
258.01/258.37 c | 139211 | 72974 340360 1129423 | 2147483647 138188 110 | 0.010 % |
259.22/259.55 c | 139932 | 72974 340360 1129423 | 2147483647 138909 110 | 0.010 % |
261.51/261.88 c | 140725 | 72974 340360 1129423 | 2147483647 139702 110 | 0.010 % |
264.60/264.96 c | 141596 | 72974 340360 1129423 | 2147483647 140573 110 | 0.010 % |
265.91/266.27 c | 142554 | 72974 340360 1129423 | 2147483647 141531 111 | 0.010 % |
267.70/268.06 c | 143607 | 72974 340360 1129423 | 2147483647 142584 112 | 0.010 % |
269.81/270.16 c | 144765 | 72974 340360 1129423 | 2147483647 143742 112 | 0.010 % |
272.31/272.65 c | 146038 | 72974 340360 1129423 | 2147483647 145015 112 | 0.010 % |
276.00/276.38 c | 147438 | 72974 340360 1129423 | 2147483647 146415 113 | 0.010 % |
279.20/279.57 c | 148978 | 72974 340360 1129423 | 2147483647 147955 114 | 0.010 % |
279.40/279.77 c | 149078 | 72974 340360 1129423 | 2147483647 148055 114 | 0.010 % |
280.30/280.65 c | 149192 | 72974 340360 1129423 | 2147483647 148169 114 | 0.010 % |
280.50/280.89 c | 149316 | 72974 340360 1129423 | 2147483647 148293 114 | 0.010 % |
280.70/281.08 c | 149449 | 72974 340360 1129423 | 2147483647 148426 114 | 0.010 % |
281.10/281.41 c | 149600 | 72974 340360 1129423 | 2147483647 148577 114 | 0.010 % |
281.30/281.69 c | 149760 | 72974 340360 1129423 | 2147483647 148737 114 | 0.010 % |
281.70/282.07 c | 149936 | 72974 340360 1129423 | 2147483647 148913 114 | 0.010 % |
282.20/282.52 c | 150130 | 72974 340360 1129423 | 2147483647 149107 114 | 0.010 % |
282.80/283.11 c | 150343 | 72974 340360 1129423 | 2147483647 149320 114 | 0.010 % |
283.30/283.64 c | 150576 | 72974 340360 1129423 | 2147483647 149553 113 | 0.010 % |
284.10/284.43 c | 150841 | 72974 340360 1129423 | 2147483647 149818 114 | 0.010 % |
284.50/284.83 c | 151122 | 72974 340360 1129423 | 2147483647 150099 114 | 0.010 % |
284.90/285.25 c | 151431 | 72974 340360 1129423 | 2147483647 150408 114 | 0.010 % |
285.40/285.76 c | 151770 | 72974 340360 1129423 | 2147483647 150747 114 | 0.010 % |
286.30/286.63 c | 152142 | 72974 340360 1129423 | 2147483647 151119 114 | 0.010 % |
286.70/287.02 c | 152551 | 72974 340360 1129423 | 2147483647 151528 114 | 0.010 % |
290.79/291.17 c | 153001 | 72974 340360 1129423 | 2147483647 151978 114 | 0.010 % |
291.99/292.37 c | 153496 | 72974 340360 1129423 | 2147483647 152473 114 | 0.010 % |
292.89/293.24 c | 154042 | 72974 340360 1129423 | 2147483647 153019 114 | 0.010 % |
296.19/296.52 c | 154638 | 72974 340360 1129423 | 2147483647 153615 114 | 0.010 % |
297.19/297.57 c | 155295 | 72974 340360 1129423 | 2147483647 154272 114 | 0.010 % |
297.59/297.91 c | 156016 | 72974 340360 1129423 | 2147483647 154993 114 | 0.010 % |
299.89/300.28 c | 156808 | 72974 340360 1129423 | 2147483647 155785 114 | 0.010 % |
300.49/300.80 c | 157679 | 72974 340360 1129423 | 2147483647 156656 114 | 0.010 % |
301.78/302.19 c | 158639 | 72974 340360 1129423 | 2147483647 157616 114 | 0.010 % |
303.39/303.76 c | 159693 | 72974 340360 1129423 | 2147483647 158670 114 | 0.010 % |
308.79/309.19 c | 160853 | 72974 340360 1129423 | 2147483647 159830 115 | 0.010 % |
313.68/314.01 c | 162126 | 72974 340360 1129423 | 2147483647 161103 115 | 0.010 % |
315.18/315.59 c | 163526 | 72974 340360 1129423 | 2147483647 162503 115 | 0.010 % |
318.69/319.08 c | 165066 | 72974 340360 1129423 | 2147483647 164043 116 | 0.010 % |
319.59/319.99 c | 166761 | 72974 340360 1129423 | 2147483647 165738 115 | 0.010 % |
319.69/320.03 c | 166862 | 72974 340360 1129423 | 2147483647 165839 115 | 0.010 % |
319.98/320.36 c | 166972 | 72974 340360 1129423 | 2147483647 165949 115 | 0.010 % |
320.18/320.60 c | 167093 | 72974 340360 1129423 | 2147483647 166070 115 | 0.010 % |
320.58/320.92 c | 167226 | 72974 340360 1129423 | 2147483647 166203 115 | 0.010 % |
320.98/321.32 c | 167372 | 72974 340360 1129423 | 2147483647 166349 115 | 0.010 % |
321.28/321.65 c | 167532 | 72974 340360 1129423 | 2147483647 166509 115 | 0.010 % |
321.58/321.99 c | 167708 | 72974 340360 1129423 | 2147483647 166685 116 | 0.010 % |
321.99/322.37 c | 167901 | 72974 340360 1129423 | 2147483647 166878 115 | 0.010 % |
322.58/322.91 c | 168114 | 72974 340360 1129423 | 2147483647 167091 115 | 0.010 % |
323.09/323.43 c | 168347 | 72974 340360 1129423 | 2147483647 167324 115 | 0.010 % |
323.58/323.91 c | 168603 | 72974 340360 1129423 | 2147483647 167580 115 | 0.010 % |
324.18/324.55 c | 168884 | 72974 340360 1129423 | 2147483647 167861 115 | 0.010 % |
324.78/325.17 c | 169193 | 72974 340360 1129423 | 2147483647 168170 115 | 0.010 % |
325.68/326.02 c | 169535 | 72974 340360 1129423 | 2147483647 168512 115 | 0.010 % |
326.48/326.87 c | 169908 | 72974 340360 1129423 | 2147483647 168885 115 | 0.010 % |
327.08/327.46 c | 170317 | 72974 340360 1129423 | 2147483647 169294 115 | 0.010 % |
328.58/328.90 c | 170771 | 72974 340360 1129423 | 2147483647 169748 115 | 0.010 % |
329.27/329.69 c | 171264 | 72974 340360 1129423 | 2147483647 170241 116 | 0.010 % |
330.47/330.82 c | 171807 | 72974 340360 1129423 | 2147483647 170784 115 | 0.010 % |
331.27/331.62 c | 172408 | 72974 340360 1129423 | 2147483647 171385 116 | 0.010 % |
332.37/332.70 c | 173064 | 72974 340360 1129423 | 2147483647 172041 115 | 0.010 % |
333.68/334.01 c | 173785 | 72974 340360 1129423 | 2147483647 172762 116 | 0.010 % |
335.58/335.97 c | 174577 | 72974 340360 1129423 | 2147483647 173554 116 | 0.010 % |
336.58/336.92 c | 175449 | 72974 340360 1129423 | 2147483647 174426 116 | 0.010 % |
338.87/339.24 c | 176407 | 72974 340360 1129423 | 2147483647 175384 116 | 0.010 % |
341.57/342.00 c | 177461 | 72974 340360 1129423 | 2147483647 176438 116 | 0.010 % |
345.17/345.50 c | 178620 | 72974 340360 1129423 | 2147483647 177597 117 | 0.010 % |
346.97/347.32 c | 179893 | 72974 340360 1129423 | 2147483647 178870 116 | 0.010 % |
351.57/351.93 c | 181294 | 72974 340360 1129423 | 2147483647 180271 116 | 0.010 % |
353.77/354.16 c | 182834 | 72974 340360 1129423 | 2147483647 181811 116 | 0.010 % |
356.16/356.51 c | 184528 | 72974 340360 1129423 | 2147483647 183505 116 | 0.010 % |
357.77/358.15 c | 186391 | 72974 340360 1129423 | 2147483647 185368 116 | 0.010 % |
358.07/358.46 c | 186491 | 72974 340360 1129423 | 2147483647 185468 116 | 0.010 % |
358.17/358.60 c | 186601 | 72974 340360 1129423 | 2147483647 185578 115 | 0.010 % |
358.27/358.70 c | 186722 | 72974 340360 1129423 | 2147483647 185699 115 | 0.010 % |
358.76/359.12 c | 186856 | 72974 340360 1129423 | 2147483647 185833 115 | 0.010 % |
359.06/359.44 c | 187002 | 72974 340360 1129423 | 2147483647 185979 116 | 0.010 % |
359.66/360.04 c | 187163 | 72974 340360 1129423 | 2147483647 186140 116 | 0.010 % |
360.26/360.63 c | 187339 | 72974 340360 1129423 | 2147483647 186316 116 | 0.010 % |
360.66/361.08 c | 187532 | 72974 340360 1129423 | 2147483647 186509 116 | 0.010 % |
361.47/361.88 c | 187746 | 72974 340360 1129423 | 2147483647 186723 116 | 0.010 % |
361.96/362.34 c | 187979 | 72974 340360 1129423 | 2147483647 186956 116 | 0.010 % |
362.57/362.92 c | 188237 | 72974 340360 1129423 | 2147483647 187214 116 | 0.010 % |
364.36/364.79 c | 188518 | 72974 340360 1129423 | 2147483647 187495 116 | 0.010 % |
365.06/365.45 c | 188827 | 72974 340360 1129423 | 2147483647 187804 116 | 0.010 % |
365.46/365.81 c | 189167 | 72974 340360 1129423 | 2147483647 188144 116 | 0.010 % |
365.86/366.24 c | 189540 | 72974 340360 1129423 | 2147483647 188517 116 | 0.010 % |
367.16/367.53 c | 189950 | 72974 340360 1129423 | 2147483647 188927 116 | 0.010 % |
368.06/368.46 c | 190400 | 72974 340360 1129423 | 2147483647 189377 116 | 0.010 % |
368.95/369.31 c | 190894 | 72974 340360 1129423 | 2147483647 189871 115 | 0.010 % |
369.95/370.32 c | 191437 | 72974 340360 1129423 | 2147483647 190414 116 | 0.010 % |
372.25/372.69 c | 192034 | 72974 340360 1129423 | 2147483647 191011 115 | 0.010 % |
375.06/375.47 c | 192689 | 72974 340360 1129423 | 2147483647 191666 116 | 0.010 % |
377.15/377.54 c | 193409 | 72974 340360 1129423 | 2147483647 192386 116 | 0.010 % |
379.95/380.40 c | 194201 | 72974 340360 1129423 | 2147483647 193178 116 | 0.010 % |
381.65/382.00 c | 195072 | 72974 340360 1129423 | 2147483647 194049 116 | 0.010 % |
386.25/386.65 c | 196031 | 72974 340360 1129423 | 2147483647 195008 116 | 0.010 % |
387.75/388.15 c | 197084 | 72974 340360 1129423 | 2147483647 196061 116 | 0.010 % |
388.65/389.00 c | 198243 | 72974 340360 1129423 | 2147483647 197220 115 | 0.010 % |
390.74/391.15 c | 199516 | 72974 340360 1129423 | 2147483647 198493 115 | 0.010 % |
394.25/394.61 c | 200916 | 72974 340360 1129423 | 2147483647 199893 116 | 0.010 % |
395.95/396.34 c | 202456 | 72974 340360 1129423 | 2147483647 201433 115 | 0.010 % |
397.05/397.42 c | 204150 | 72974 340360 1129423 | 2147483647 203127 115 | 0.010 % |
400.05/400.46 c | 206014 | 72974 340360 1129423 | 2147483647 204991 115 | 0.010 % |
405.45/405.84 c | 208065 | 72974 340360 1129423 | 2147483647 207042 115 | 0.010 % |
405.64/406.02 c | 208165 | 72974 340360 1129423 | 2147483647 207142 115 | 0.010 % |
405.94/406.39 c | 208275 | 72974 340360 1129423 | 2147483647 207252 115 | 0.010 % |
406.24/406.69 c | 208396 | 72974 340360 1129423 | 2147483647 207373 115 | 0.010 % |
406.54/406.91 c | 208529 | 72974 340360 1129423 | 2147483647 207506 115 | 0.010 % |
407.34/407.71 c | 208675 | 72974 340360 1129423 | 2147483647 207652 115 | 0.010 % |
407.84/408.23 c | 208836 | 72974 340360 1129423 | 2147483647 207813 115 | 0.010 % |
408.24/408.66 c | 209015 | 72974 340360 1129423 | 2147483647 207992 115 | 0.010 % |
408.64/409.08 c | 209208 | 72974 340360 1129423 | 2147483647 208185 115 | 0.010 % |
409.04/409.45 c | 209421 | 72974 340360 1129423 | 2147483647 208398 115 | 0.010 % |
409.44/409.84 c | 209654 | 72974 340360 1129423 | 2147483647 208631 115 | 0.010 % |
410.05/410.45 c | 209912 | 72974 340360 1129423 | 2147483647 208889 115 | 0.010 % |
410.55/410.98 c | 210193 | 72974 340360 1129423 | 2147483647 209170 115 | 0.010 % |
411.34/411.71 c | 210504 | 72974 340360 1129423 | 2147483647 209481 115 | 0.010 % |
412.44/412.86 c | 210843 | 72974 340360 1129423 | 2147483647 209820 115 | 0.010 % |
414.04/414.47 c | 211215 | 72974 340360 1129423 | 2147483647 210192 115 | 0.010 % |
415.94/416.38 c | 211624 | 72974 340360 1129423 | 2147483647 210601 115 | 0.010 % |
417.84/418.23 c | 212075 | 72974 340360 1129423 | 2147483647 211052 115 | 0.010 % |
418.64/419.02 c | 212568 | 72974 340360 1129423 | 2147483647 211545 115 | 0.010 % |
419.84/420.23 c | 213112 | 72974 340360 1129423 | 2147483647 212089 116 | 0.010 % |
420.63/421.04 c | 213712 | 72974 340360 1129423 | 2147483647 212689 116 | 0.010 % |
421.03/421.43 c | 214367 | 72974 340360 1129423 | 2147483647 213344 115 | 0.010 % |
421.23/421.61 c | 215087 | 72974 340360 1129423 | 2147483647 214064 115 | 0.010 % |
423.23/423.66 c | 215880 | 72974 340360 1129423 | 2147483647 214857 115 | 0.010 % |
424.43/424.80 c | 216751 | 72974 340360 1129423 | 2147483647 215728 115 | 0.010 % |
425.73/426.19 c | 217709 | 72974 340360 1129423 | 2147483647 216686 115 | 0.010 % |
426.73/427.16 c | 218762 | 72974 340360 1129423 | 2147483647 217739 115 | 0.010 % |
428.33/428.71 c | 219922 | 72974 340360 1129423 | 2147483647 218899 114 | 0.010 % |
431.34/431.79 c | 221197 | 72974 340360 1129423 | 2147483647 220174 115 | 0.010 % |
434.23/434.65 c | 222597 | 72974 340360 1129423 | 2147483647 221574 114 | 0.010 % |
437.23/437.64 c | 224140 | 72974 340360 1129423 | 2147483647 223117 115 | 0.010 % |
439.33/439.75 c | 225834 | 72974 340360 1129423 | 2147483647 224811 114 | 0.010 % |
441.23/441.69 c | 227697 | 72974 340360 1129423 | 2147483647 226674 114 | 0.010 % |
447.72/448.18 c | 229746 | 72974 340360 1129423 | 2147483647 228723 115 | 0.010 % |
452.33/452.74 c | 231999 | 72974 340360 1129423 | 2147483647 230976 114 | 0.010 % |
452.53/452.98 c | 232099 | 72974 340360 1129423 | 2147483647 231076 114 | 0.010 % |
453.03/453.46 c | 232209 | 72974 340360 1129423 | 2147483647 231186 114 | 0.010 % |
453.43/453.89 c | 232330 | 72974 340360 1129423 | 2147483647 231307 114 | 0.010 % |
453.93/454.30 c | 232463 | 72974 340360 1129423 | 2147483647 231440 114 | 0.010 % |
454.33/454.71 c | 232610 | 72974 340360 1129423 | 2147483647 231587 114 | 0.010 % |
454.53/454.95 c | 232771 | 72974 340360 1129423 | 2147483647 231748 114 | 0.010 % |
455.03/455.46 c | 232948 | 72974 340360 1129423 | 2147483647 231925 114 | 0.010 % |
455.62/456.00 c | 233141 | 72974 340360 1129423 | 2147483647 232118 115 | 0.010 % |
456.03/456.41 c | 233353 | 72974 340360 1129423 | 2147483647 232330 115 | 0.010 % |
456.52/456.94 c | 233586 | 72974 340360 1129423 | 2147483647 232563 115 | 0.010 % |
457.13/457.53 c | 233843 | 72974 340360 1129423 | 2147483647 232820 115 | 0.010 % |
457.82/458.24 c | 234124 | 72974 340360 1129423 | 2147483647 233101 115 | 0.010 % |
458.52/458.93 c | 234433 | 72974 340360 1129423 | 2147483647 233410 115 | 0.010 % |
459.52/459.90 c | 234772 | 72974 340360 1129423 | 2147483647 233749 115 | 0.010 % |
461.12/461.50 c | 235144 | 72974 340360 1129423 | 2147483647 234121 115 | 0.010 % |
461.82/462.29 c | 235553 | 72974 340360 1129423 | 2147483647 234530 115 | 0.010 % |
462.62/463.06 c | 236002 | 72974 340360 1129423 | 2147483647 234979 115 | 0.010 % |
464.72/465.13 c | 236496 | 72974 340360 1129423 | 2147483647 235473 115 | 0.010 % |
466.02/466.45 c | 237038 | 72974 340360 1129423 | 2147483647 236015 115 | 0.010 % |
467.91/468.33 c | 237634 | 72974 340360 1129423 | 2147483647 236611 115 | 0.010 % |
469.01/469.41 c | 238289 | 72974 340360 1129423 | 2147483647 237266 115 | 0.010 % |
472.61/473.05 c | 239011 | 72974 340360 1129423 | 2147483647 237988 116 | 0.010 % |
474.32/474.76 c | 239804 | 72974 340360 1129423 | 2147483647 238781 116 | 0.010 % |
475.21/475.66 c | 240676 | 72974 340360 1129423 | 2147483647 239653 116 | 0.010 % |
477.91/478.38 c | 241636 | 72974 340360 1129423 | 2147483647 240613 116 | 0.010 % |
479.31/479.72 c | 242689 | 72974 340360 1129423 | 2147483647 241666 116 | 0.010 % |
482.41/482.87 c | 243848 | 72974 340360 1129423 | 2147483647 242825 116 | 0.010 % |
485.61/486.08 c | 245121 | 72974 340360 1129423 | 2147483647 244098 117 | 0.010 % |
487.92/488.35 c | 246521 | 72974 340360 1129423 | 2147483647 245498 116 | 0.010 % |
495.80/496.23 c | 248064 | 72974 340360 1129423 | 2147483647 247041 117 | 0.010 % |
498.20/498.67 c | 249759 | 72974 340360 1129423 | 2147483647 248736 117 | 0.010 % |
502.50/502.96 c | 251622 | 72974 340360 1129423 | 2147483647 250599 118 | 0.010 % |
506.10/506.50 c | 253671 | 72974 340360 1129423 | 2147483647 252648 117 | 0.010 % |
513.70/514.20 c | 255924 | 72974 340360 1129423 | 2147483647 254901 118 | 0.010 % |
518.19/518.69 c | 258402 | 72974 340360 1129423 | 2147483647 257379 118 | 0.010 % |
518.59/519.06 c | 258502 | 72974 340360 1129423 | 2147483647 257479 118 | 0.010 % |
519.09/519.53 c | 258612 | 72974 340360 1129423 | 2147483647 257589 118 | 0.010 % |
519.49/519.95 c | 258735 | 72974 340360 1129423 | 2147483647 257712 118 | 0.010 % |
520.00/520.40 c | 258879 | 72974 340360 1129423 | 2147483647 257856 118 | 0.010 % |
520.30/520.77 c | 259026 | 72974 340360 1129423 | 2147483647 258003 118 | 0.010 % |
521.60/522.06 c | 259190 | 72974 340360 1129423 | 2147483647 258167 118 | 0.010 % |
523.50/523.97 c | 259382 | 72974 340360 1129423 | 2147483647 258359 118 | 0.010 % |
523.80/524.24 c | 259575 | 72974 340360 1129423 | 2147483647 258552 118 | 0.010 % |
524.40/524.84 c | 259788 | 72974 340360 1129423 | 2147483647 258765 118 | 0.010 % |
525.10/525.58 c | 260023 | 72974 340360 1129423 | 2147483647 259000 118 | 0.010 % |
525.70/526.10 c | 260280 | 72974 340360 1129423 | 2147483647 259257 118 | 0.010 % |
526.40/526.82 c | 260561 | 72974 340360 1129423 | 2147483647 259538 119 | 0.010 % |
528.70/529.19 c | 260870 | 72974 340360 1129423 | 2147483647 259847 118 | 0.010 % |
528.99/529.44 c | 261209 | 72974 340360 1129423 | 2147483647 260186 118 | 0.010 % |
529.59/530.03 c | 261581 | 72974 340360 1129423 | 2147483647 260558 118 | 0.010 % |
530.59/531.04 c | 261991 | 72974 340360 1129423 | 2147483647 260968 118 | 0.010 % |
531.19/531.60 c | 262440 | 72974 340360 1129423 | 2147483647 261417 118 | 0.010 % |
532.19/532.64 c | 262933 | 72974 340360 1129423 | 2147483647 261910 118 | 0.010 % |
534.10/534.57 c | 263475 | 72974 340360 1129423 | 2147483647 262452 118 | 0.010 % |
535.69/536.11 c | 264072 | 72974 340360 1129423 | 2147483647 263049 119 | 0.010 % |
536.99/537.45 c | 264727 | 72974 340360 1129423 | 2147483647 263704 119 | 0.010 % |
537.69/538.19 c | 265450 | 72974 340360 1129423 | 2147483647 264427 118 | 0.010 % |
539.79/540.27 c | 266243 | 72974 340360 1129423 | 2147483647 265220 119 | 0.010 % |
541.79/542.26 c | 267116 | 72974 340360 1129423 | 2147483647 266093 119 | 0.010 % |
547.18/547.62 c | 268075 | 72974 340360 1129423 | 2147483647 267052 119 | 0.010 % |
548.98/549.48 c | 269128 | 72974 340360 1129423 | 2147483647 268105 119 | 0.010 % |
553.48/553.92 c | 270286 | 72974 340360 1129423 | 2147483647 269263 120 | 0.010 % |
556.48/556.94 c | 271559 | 72974 340360 1129423 | 2147483647 270536 119 | 0.010 % |
560.68/561.17 c | 272961 | 72974 340360 1129423 | 2147483647 271938 120 | 0.010 % |
562.18/562.63 c | 274502 | 72974 340360 1129423 | 2147483647 273479 120 | 0.010 % |
572.97/573.40 c | 276196 | 72974 340360 1129423 | 2147483647 275173 120 | 0.010 % |
575.88/576.35 c | 278062 | 72974 340360 1129423 | 2147483647 277039 120 | 0.010 % |
583.87/584.38 c | 280111 | 72974 340360 1129423 | 2147483647 279088 121 | 0.010 % |
591.16/591.68 c | 282364 | 72974 340360 1129423 | 2147483647 281341 121 | 0.010 % |
593.77/594.27 c | 284843 | 72974 340360 1129423 | 2147483647 283820 120 | 0.010 % |
597.46/597.93 c | 287569 | 72974 340360 1129423 | 2147483647 286546 121 | 0.010 % |
598.16/598.62 c | 287669 | 72974 340360 1129423 | 2147483647 286646 121 | 0.010 % |
598.36/598.88 c | 287779 | 72974 340360 1129423 | 2147483647 286756 121 | 0.010 % |
598.86/599.39 c | 287900 | 72974 340360 1129423 | 2147483647 286877 121 | 0.010 % |
599.26/599.78 c | 288034 | 72974 340360 1129423 | 2147483647 287011 121 | 0.010 % |
599.86/600.31 c | 288180 | 72974 340360 1129423 | 2147483647 287157 121 | 0.010 % |
599.96/600.46 c | 288342 | 72974 340360 1129423 | 2147483647 287319 121 | 0.010 % |
600.26/600.71 c | 288518 | 72974 340360 1129423 | 2147483647 287495 121 | 0.010 % |
601.06/601.51 c | 288712 | 72974 340360 1129423 | 2147483647 287689 121 | 0.010 % |
601.46/601.93 c | 288925 | 72974 340360 1129423 | 2147483647 287902 121 | 0.010 % |
602.17/602.63 c | 289159 | 72974 340360 1129423 | 2147483647 288136 121 | 0.010 % |
602.57/603.00 c | 289416 | 72974 340360 1129423 | 2147483647 288393 121 | 0.010 % |
603.57/604.04 c | 289697 | 72974 340360 1129423 | 2147483647 288674 121 | 0.010 % |
604.37/604.85 c | 290006 | 72974 340360 1129423 | 2147483647 288983 121 | 0.010 % |
605.07/605.53 c | 290347 | 72974 340360 1129423 | 2147483647 289324 121 | 0.010 % |
606.17/606.69 c | 290719 | 72974 340360 1129423 | 2147483647 289696 121 | 0.010 % |
607.97/608.40 c | 291128 | 72974 340360 1129423 | 2147483647 290105 121 | 0.010 % |
610.16/610.68 c | 291581 | 72974 340360 1129423 | 2147483647 290558 121 | 0.010 % |
611.16/611.68 c | 292074 | 72974 340360 1129423 | 2147483647 291051 121 | 0.010 % |
613.56/614.01 c | 292616 | 72974 340360 1129423 | 2147483647 291593 121 | 0.010 % |
615.06/615.54 c | 293212 | 72974 340360 1129423 | 2147483647 292189 121 | 0.010 % |
616.15/616.66 c | 293867 | 72974 340360 1129423 | 2147483647 292844 121 | 0.010 % |
617.95/618.46 c | 294587 | 72974 340360 1129423 | 2147483647 293564 121 | 0.010 % |
619.66/620.15 c | 295379 | 72974 340360 1129423 | 2147483647 294356 121 | 0.010 % |
621.96/622.49 c | 296253 | 72974 340360 1129423 | 2147483647 295230 121 | 0.010 % |
627.06/627.59 c | 297212 | 72974 340360 1129423 | 2147483647 296189 121 | 0.010 % |
629.46/629.99 c | 298267 | 72974 340360 1129423 | 2147483647 297244 121 | 0.010 % |
632.65/633.17 c | 299427 | 72974 340360 1129423 | 2147483647 298404 122 | 0.010 % |
637.15/637.63 c | 300700 | 72974 340360 1129423 | 2147483647 299677 122 | 0.010 % |
640.45/640.94 c | 302100 | 72974 340360 1129423 | 2147483647 301077 122 | 0.010 % |
642.85/643.37 c | 303640 | 72974 340360 1129423 | 2147483647 302617 122 | 0.010 % |
646.25/646.74 c | 305337 | 72974 340360 1129423 | 2147483647 304314 122 | 0.010 % |
649.84/650.38 c | 307200 | 72974 340360 1129423 | 2147483647 306177 122 | 0.010 % |
654.85/655.35 c | 309251 | 72974 340360 1129423 | 2147483647 308228 123 | 0.010 % |
660.24/660.78 c | 311504 | 72974 340360 1129423 | 2147483647 310481 123 | 0.010 % |
665.84/666.37 c | 313983 | 72974 340360 1129423 | 2147483647 312960 123 | 0.010 % |
668.74/669.25 c | 316708 | 72974 340360 1129423 | 2147483647 315685 123 | 0.010 % |
674.84/675.34 c | 319706 | 72974 340360 1129423 | 2147483647 318683 123 | 0.010 % |
674.94/675.48 c | 319806 | 72974 340360 1129423 | 2147483647 318783 123 | 0.010 % |
675.14/675.62 c | 319918 | 72974 340360 1129423 | 2147483647 318895 123 | 0.010 % |
675.24/675.71 c | 320041 | 72974 340360 1129423 | 2147483647 319018 123 | 0.010 % |
675.84/676.35 c | 320174 | 72974 340360 1129423 | 2147483647 319151 123 | 0.010 % |
676.04/676.53 c | 320320 | 72974 340360 1129423 | 2147483647 319297 123 | 0.010 % |
676.54/677.08 c | 320480 | 72974 340360 1129423 | 2147483647 319457 123 | 0.010 % |
676.94/677.46 c | 320656 | 72974 340360 1129423 | 2147483647 319633 123 | 0.010 % |
677.34/677.88 c | 320849 | 72974 340360 1129423 | 2147483647 319826 123 | 0.010 % |
677.84/678.32 c | 321061 | 72974 340360 1129423 | 2147483647 320038 123 | 0.010 % |
678.84/679.40 c | 321294 | 72974 340360 1129423 | 2147483647 320271 123 | 0.010 % |
679.84/680.33 c | 321551 | 72974 340360 1129423 | 2147483647 320528 123 | 0.010 % |
681.84/682.35 c | 321839 | 72974 340360 1129423 | 2147483647 320816 123 | 0.010 % |
683.43/683.94 c | 322148 | 72974 340360 1129423 | 2147483647 321125 123 | 0.010 % |
683.64/684.16 c | 322487 | 72974 340360 1129423 | 2147483647 321464 123 | 0.010 % |
684.74/685.25 c | 322859 | 72974 340360 1129423 | 2147483647 321836 123 | 0.010 % |
685.73/686.29 c | 323269 | 72974 340360 1129423 | 2147483647 322246 123 | 0.010 % |
686.23/686.76 c | 323718 | 72974 340360 1129423 | 2147483647 322695 123 | 0.010 % |
688.53/689.06 c | 324211 | 72974 340360 1129423 | 2147483647 323188 123 | 0.010 % |
690.83/691.32 c | 324753 | 72974 340360 1129423 | 2147483647 323730 123 | 0.010 % |
692.53/693.03 c | 325350 | 72974 340360 1129423 | 2147483647 324327 123 | 0.010 % |
693.93/694.45 c | 326006 | 72974 340360 1129423 | 2147483647 324983 123 | 0.010 % |
695.13/695.62 c | 326728 | 72974 340360 1129423 | 2147483647 325705 123 | 0.010 % |
697.33/697.86 c | 327522 | 72974 340360 1129423 | 2147483647 326499 123 | 0.010 % |
700.43/700.97 c | 328395 | 72974 340360 1129423 | 2147483647 327372 123 | 0.010 % |
702.53/703.04 c | 329354 | 72974 340360 1129423 | 2147483647 328331 123 | 0.010 % |
704.92/705.45 c | 330408 | 72974 340360 1129423 | 2147483647 329385 123 | 0.010 % |
707.12/707.66 c | 331567 | 72974 340360 1129423 | 2147483647 330544 123 | 0.010 % |
711.52/712.00 c | 332845 | 72974 340360 1129423 | 2147483647 331822 123 | 0.010 % |
717.72/718.28 c | 334248 | 72974 340360 1129423 | 2147483647 333225 123 | 0.010 % |
721.62/722.14 c | 335790 | 72974 340360 1129423 | 2147483647 334767 124 | 0.010 % |
723.82/724.34 c | 337485 | 72974 340360 1129423 | 2147483647 336462 124 | 0.010 % |
727.22/727.71 c | 339348 | 72974 340360 1129423 | 2147483647 338325 124 | 0.010 % |
729.11/729.65 c | 341397 | 72974 340360 1129423 | 2147483647 340374 124 | 0.010 % |
732.31/732.84 c | 343650 | 72974 340360 1129423 | 2147483647 342627 123 | 0.010 % |
736.21/736.73 c | 346130 | 72974 340360 1129423 | 2147483647 345107 123 | 0.010 % |
744.31/744.88 c | 348856 | 72974 340360 1129423 | 2147483647 347833 124 | 0.010 % |
753.41/753.90 c | 351855 | 72974 340360 1129423 | 2147483647 350832 124 | 0.010 % |
762.01/762.55 c | 355155 | 72974 340360 1129423 | 2147483647 354132 123 | 0.010 % |
762.41/762.92 c | 355255 | 72974 340360 1129423 | 2147483647 354232 123 | 0.010 % |
762.91/763.43 c | 355366 | 72974 340360 1129423 | 2147483647 354343 123 | 0.010 % |
763.11/763.61 c | 355489 | 72974 340360 1129423 | 2147483647 354466 123 | 0.010 % |
763.21/763.70 c | 355622 | 72974 340360 1129423 | 2147483647 354599 123 | 0.010 % |
763.41/763.92 c | 355768 | 72974 340360 1129423 | 2147483647 354745 123 | 0.010 % |
764.01/764.51 c | 355930 | 72974 340360 1129423 | 2147483647 354907 123 | 0.010 % |
764.70/765.25 c | 356106 | 72974 340360 1129423 | 2147483647 355083 123 | 0.010 % |
765.20/765.76 c | 356299 | 72974 340360 1129423 | 2147483647 355276 123 | 0.010 % |
765.70/766.26 c | 356513 | 72974 340360 1129423 | 2147483647 355490 123 | 0.010 % |
766.40/766.93 c | 356747 | 72974 340360 1129423 | 2147483647 355724 123 | 0.010 % |
767.40/767.98 c | 357003 | 72974 340360 1129423 | 2147483647 355980 123 | 0.010 % |
768.60/769.16 c | 357287 | 72974 340360 1129423 | 2147483647 356264 123 | 0.010 % |
769.30/769.85 c | 357598 | 72974 340360 1129423 | 2147483647 356575 123 | 0.010 % |
770.60/771.16 c | 357938 | 72974 340360 1129423 | 2147483647 356915 123 | 0.010 % |
772.89/773.42 c | 358310 | 72974 340360 1129423 | 2147483647 357287 124 | 0.010 % |
775.49/776.02 c | 358720 | 72974 340360 1129423 | 2147483647 357697 124 | 0.010 % |
776.69/777.29 c | 359169 | 72974 340360 1129423 | 2147483647 358146 123 | 0.010 % |
777.99/778.55 c | 359662 | 72974 340360 1129423 | 2147483647 358639 124 | 0.010 % |
779.70/780.21 c | 360204 | 72974 340360 1129423 | 2147483647 359181 124 | 0.010 % |
781.10/781.61 c | 360800 | 72974 340360 1129423 | 2147483647 359777 124 | 0.010 % |
782.50/783.07 c | 361458 | 72974 340360 1129423 | 2147483647 360435 124 | 0.010 % |
785.19/785.70 c | 362181 | 72974 340360 1129423 | 2147483647 361158 124 | 0.010 % |
786.39/786.98 c | 362973 | 72974 340360 1129423 | 2147483647 361950 124 | 0.010 % |
788.49/789.09 c | 363845 | 72974 340360 1129423 | 2147483647 362822 124 | 0.010 % |
791.39/791.94 c | 364804 | 72974 340360 1129423 | 2147483647 363781 124 | 0.010 % |
795.49/796.09 c | 365857 | 72974 340360 1129423 | 2147483647 364834 124 | 0.010 % |
797.00/797.56 c | 367015 | 72974 340360 1129423 | 2147483647 365992 124 | 0.010 % |
799.99/800.56 c | 368288 | 72974 340360 1129423 | 2147483647 367265 125 | 0.010 % |
803.18/803.74 c | 369688 | 72974 340360 1129423 | 2147483647 368665 125 | 0.010 % |
808.29/808.88 c | 371230 | 72974 340360 1129423 | 2147483647 370207 125 | 0.010 % |
812.29/812.90 c | 372925 | 72974 340360 1129423 | 2147483647 371902 125 | 0.010 % |
816.38/816.97 c | 374788 | 72974 340360 1129423 | 2147483647 373765 125 | 0.010 % |
822.79/823.39 c | 376838 | 72974 340360 1129423 | 2147483647 375815 125 | 0.010 % |
827.88/828.47 c | 379091 | 72974 340360 1129423 | 2147483647 378068 126 | 0.010 % |
837.58/838.12 c | 381569 | 72974 340360 1129423 | 2147483647 380546 126 | 0.010 % |
842.18/842.76 c | 384295 | 72974 340360 1129423 | 2147483647 383272 126 | 0.010 % |
849.57/850.13 c | 387293 | 72974 340360 1129423 | 2147483647 386270 127 | 0.010 % |
857.47/858.01 c | 390589 | 72974 340360 1129423 | 2147483647 389566 127 | 0.010 % |
878.56/879.17 c | 394215 | 72974 340360 1129423 | 2147483647 393192 127 | 0.010 % |
878.86/879.45 c | 394320 | 72974 340360 1129423 | 2147483647 393297 127 | 0.010 % |
879.16/879.75 c | 394430 | 72974 340360 1129423 | 2147483647 393407 127 | 0.010 % |
879.46/880.06 c | 394551 | 72974 340360 1129423 | 2147483647 393528 127 | 0.010 % |
880.46/881.03 c | 394684 | 72974 340360 1129423 | 2147483647 393661 127 | 0.010 % |
880.96/881.55 c | 394831 | 72974 340360 1129423 | 2147483647 393808 127 | 0.010 % |
881.75/882.36 c | 394991 | 72974 340360 1129423 | 2147483647 393968 127 | 0.010 % |
882.35/882.97 c | 395167 | 72974 340360 1129423 | 2147483647 394144 127 | 0.010 % |
883.05/883.63 c | 395360 | 72974 340360 1129423 | 2147483647 394337 127 | 0.010 % |
883.45/884.03 c | 395575 | 72974 340360 1129423 | 2147483647 394552 127 | 0.010 % |
885.65/886.23 c | 395808 | 72974 340360 1129423 | 2147483647 394785 127 | 0.010 % |
886.35/886.95 c | 396064 | 72974 340360 1129423 | 2147483647 395041 127 | 0.010 % |
887.46/888.05 c | 396345 | 72974 340360 1129423 | 2147483647 395322 127 | 0.010 % |
888.06/888.65 c | 396657 | 72974 340360 1129423 | 2147483647 395634 127 | 0.010 % |
889.36/889.98 c | 396996 | 72974 340360 1129423 | 2147483647 395973 127 | 0.010 % |
890.06/890.61 c | 397368 | 72974 340360 1129423 | 2147483647 396345 127 | 0.010 % |
891.16/891.79 c | 397778 | 72974 340360 1129423 | 2147483647 396755 127 | 0.010 % |
892.85/893.41 c | 398228 | 72974 340360 1129423 | 2147483647 397205 127 | 0.010 % |
893.95/894.52 c | 398723 | 72974 340360 1129423 | 2147483647 397700 127 | 0.010 % |
896.55/897.13 c | 399268 | 72974 340360 1129423 | 2147483647 398245 127 | 0.010 % |
899.85/900.48 c | 399864 | 72974 340360 1129423 | 2147483647 398841 127 | 0.010 % |
901.75/902.35 c | 400520 | 72974 340360 1129423 | 2147483647 399497 127 | 0.010 % |
903.24/903.86 c | 401240 | 72974 340360 1129423 | 2147483647 400217 127 | 0.010 % |
905.94/906.51 c | 402033 | 72974 340360 1129423 | 2147483647 401010 127 | 0.010 % |
910.04/910.67 c | 402906 | 72974 340360 1129423 | 2147483647 401883 127 | 0.010 % |
913.44/914.06 c | 403864 | 72974 340360 1129423 | 2147483647 402841 127 | 0.010 % |
915.24/915.88 c | 404917 | 72974 340360 1129423 | 2147483647 403894 127 | 0.010 % |
916.25/916.80 c | 406076 | 72974 340360 1129423 | 2147483647 405053 127 | 0.010 % |
919.65/920.20 c | 407351 | 72974 340360 1129423 | 2147483647 406328 127 | 0.010 % |
925.24/925.87 c | 408751 | 72974 340360 1129423 | 2147483647 407728 127 | 0.010 % |
928.34/928.90 c | 410291 | 72974 340360 1129423 | 2147483647 409268 127 | 0.010 % |
933.64/934.26 c | 411987 | 72974 340360 1129423 | 2147483647 410964 128 | 0.010 % |
936.54/937.16 c | 413850 | 72974 340360 1129423 | 2147483647 412827 128 | 0.010 % |
941.74/942.34 c | 415899 | 72974 340360 1129423 | 2147483647 414876 128 | 0.010 % |
946.93/947.59 c | 418153 | 72974 340360 1129423 | 2147483647 417130 128 | 0.010 % |
953.63/954.22 c | 420632 | 72974 340360 1129423 | 2147483647 419609 128 | 0.010 % |
959.33/959.97 c | 423359 | 72974 340360 1129423 | 2147483647 422336 128 | 0.010 % |
968.63/969.20 c | 426359 | 72974 340360 1129423 | 2147483647 425336 127 | 0.010 % |
977.22/977.89 c | 429659 | 72974 340360 1129423 | 2147483647 428636 127 | 0.010 % |
987.72/988.32 c | 433284 | 72974 340360 1129423 | 2147483647 432261 128 | 0.010 % |
1000.21/1000.82 c | 437271 | 72974 340360 1129423 | 2147483647 436248 128 | 0.010 % |
1000.61/1001.28 c | 437371 | 72974 340360 1129423 | 2147483647 436348 128 | 0.010 % |
1001.11/1001.75 c | 437482 | 72974 340360 1129423 | 2147483647 436459 128 | 0.010 % |
1001.71/1002.39 c | 437603 | 72974 340360 1129423 | 2147483647 436580 128 | 0.010 % |
1002.31/1002.93 c | 437737 | 72974 340360 1129423 | 2147483647 436714 128 | 0.010 % |
1002.81/1003.46 c | 437885 | 72974 340360 1129423 | 2147483647 436862 128 | 0.010 % |
1003.41/1004.02 c | 438046 | 72974 340360 1129423 | 2147483647 437023 128 | 0.010 % |
1004.51/1005.14 c | 438223 | 72974 340360 1129423 | 2147483647 437200 128 | 0.010 % |
1005.11/1005.78 c | 438416 | 72974 340360 1129423 | 2147483647 437393 128 | 0.010 % |
1006.21/1006.84 c | 438630 | 72974 340360 1129423 | 2147483647 437607 128 | 0.010 % |
1006.71/1007.37 c | 438864 | 72974 340360 1129423 | 2147483647 437841 128 | 0.010 % |
1007.61/1008.27 c | 439120 | 72974 340360 1129423 | 2147483647 438097 128 | 0.010 % |
1008.11/1008.73 c | 439401 | 72974 340360 1129423 | 2147483647 438378 128 | 0.010 % |
1009.42/1010.04 c | 439710 | 72974 340360 1129423 | 2147483647 438687 128 | 0.010 % |
1010.41/1011.00 c | 440049 | 72974 340360 1129423 | 2147483647 439026 128 | 0.010 % |
1012.11/1012.79 c | 440422 | 72974 340360 1129423 | 2147483647 439399 128 | 0.010 % |
1014.41/1015.01 c | 440832 | 72974 340360 1129423 | 2147483647 439809 128 | 0.010 % |
1015.31/1015.93 c | 441283 | 72974 340360 1129423 | 2147483647 440260 128 | 0.010 % |
1017.01/1017.64 c | 441776 | 72974 340360 1129423 | 2147483647 440753 128 | 0.010 % |
1018.71/1019.37 c | 442319 | 72974 340360 1129423 | 2147483647 441296 128 | 0.010 % |
1020.41/1021.06 c | 442915 | 72974 340360 1129423 | 2147483647 441892 128 | 0.010 % |
1023.11/1023.71 c | 443570 | 72974 340360 1129423 | 2147483647 442547 128 | 0.010 % |
1024.70/1025.32 c | 444290 | 72974 340360 1129423 | 2147483647 443267 128 | 0.010 % |
1028.20/1028.82 c | 445082 | 72974 340360 1129423 | 2147483647 444059 128 | 0.010 % |
1031.50/1032.19 c | 445953 | 72974 340360 1129423 | 2147483647 444930 128 | 0.010 % |
1032.80/1033.43 c | 446912 | 72974 340360 1129423 | 2147483647 445889 128 | 0.010 % |
1035.90/1036.50 c | 447965 | 72974 340360 1129423 | 2147483647 446942 128 | 0.010 % |
1037.80/1038.46 c | 449126 | 72974 340360 1129423 | 2147483647 448103 128 | 0.010 % |
1039.70/1040.37 c | 450399 | 72974 340360 1129423 | 2147483647 449376 128 | 0.010 % |
1044.30/1044.96 c | 451800 | 72974 340360 1129423 | 2147483647 450777 128 | 0.010 % |
1048.50/1049.15 c | 453341 | 72974 340360 1129423 | 2147483647 452318 128 | 0.010 % |
1055.99/1056.66 c | 455036 | 72974 340360 1129423 | 2147483647 454013 128 | 0.010 % |
1061.89/1062.58 c | 456900 | 72974 340360 1129423 | 2147483647 455877 129 | 0.010 % |
1069.09/1069.71 c | 458950 | 72974 340360 1129423 | 2147483647 457927 129 | 0.010 % |
1077.39/1078.02 c | 461203 | 72974 340360 1129423 | 2147483647 460180 129 | 0.010 % |
1085.58/1086.21 c | 463682 | 72974 340360 1129423 | 2147483647 462659 129 | 0.010 % |
1092.98/1093.69 c | 466408 | 72974 340360 1129423 | 2147483647 465385 129 | 0.010 % |
1099.98/1100.62 c | 469408 | 72974 340360 1129423 | 2147483647 468385 129 | 0.010 % |
1111.47/1112.12 c | 472706 | 72974 340360 1129423 | 2147483647 471683 130 | 0.010 % |
1120.37/1121.02 c | 476331 | 72974 340360 1129423 | 2147483647 475308 130 | 0.010 % |
1129.56/1130.25 c | 480319 | 72974 340360 1129423 | 2147483647 479296 130 | 0.010 % |
1141.96/1142.68 c | 484704 | 72974 340360 1129423 | 2147483647 483681 130 | 0.010 % |
1142.27/1142.99 c | 484804 | 72974 340360 1129423 | 2147483647 483781 130 | 0.010 % |
1142.66/1143.33 c | 484914 | 72974 340360 1129423 | 2147483647 483891 130 | 0.010 % |
1142.96/1143.61 c | 485037 | 72974 340360 1129423 | 2147483647 484014 130 | 0.010 % |
1143.76/1144.42 c | 485171 | 72974 340360 1129423 | 2147483647 484148 130 | 0.010 % |
1144.26/1144.94 c | 485317 | 72974 340360 1129423 | 2147483647 484294 130 | 0.010 % |
1145.26/1145.98 c | 485478 | 72974 340360 1129423 | 2147483647 484455 130 | 0.010 % |
1145.76/1146.46 c | 485655 | 72974 340360 1129423 | 2147483647 484632 130 | 0.010 % |
1146.46/1147.15 c | 485848 | 72974 340360 1129423 | 2147483647 484825 130 | 0.010 % |
1147.26/1147.91 c | 486060 | 72974 340360 1129423 | 2147483647 485037 130 | 0.010 % |
1148.56/1149.29 c | 486294 | 72974 340360 1129423 | 2147483647 485271 130 | 0.010 % |
1149.16/1149.90 c | 486551 | 72974 340360 1129423 | 2147483647 485528 130 | 0.010 % |
1151.86/1152.56 c | 486832 | 72974 340360 1129423 | 2147483647 485809 130 | 0.010 % |
1153.36/1154.05 c | 487142 | 72974 340360 1129423 | 2147483647 486119 130 | 0.010 % |
1153.85/1154.58 c | 487481 | 72974 340360 1129423 | 2147483647 486458 130 | 0.010 % |
1156.25/1156.97 c | 487854 | 72974 340360 1129423 | 2147483647 486831 130 | 0.010 % |
1158.66/1159.38 c | 488264 | 72974 340360 1129423 | 2147483647 487241 130 | 0.010 % |
1165.95/1166.61 c | 488715 | 72974 340360 1129423 | 2147483647 487692 130 | 0.010 % |
1166.95/1167.66 c | 489212 | 72974 340360 1129423 | 2147483647 488189 130 | 0.010 % |
1168.95/1169.68 c | 489757 | 72974 340360 1129423 | 2147483647 488734 130 | 0.010 % |
1171.25/1171.92 c | 490353 | 72974 340360 1129423 | 2147483647 489330 130 | 0.010 % |
1171.96/1172.65 c | 491009 | 72974 340360 1129423 | 2147483647 489986 130 | 0.010 % |
1173.95/1174.60 c | 491729 | 72974 340360 1129423 | 2147483647 490706 130 | 0.010 % |
1176.35/1177.02 c | 492521 | 72974 340360 1129423 | 2147483647 491498 130 | 0.010 % |
1178.55/1179.29 c | 493392 | 72974 340360 1129423 | 2147483647 492369 130 | 0.010 % |
1182.24/1182.97 c | 494350 | 72974 340360 1129423 | 2147483647 493327 130 | 0.010 % |
1187.04/1187.79 c | 495407 | 72974 340360 1129423 | 2147483647 494384 130 | 0.010 % |
1188.54/1189.24 c | 496565 | 72974 340360 1129423 | 2147483647 495542 130 | 0.010 % |
1192.64/1193.30 c | 497839 | 72974 340360 1129423 | 2147483647 496816 130 | 0.010 % |
1196.04/1196.72 c | 499239 | 72974 340360 1129423 | 2147483647 498216 130 | 0.010 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1833629-1242824019/watcher-1833629-1242824019 -o /tmp/evaluation-result-1833629-1242824019/solver-1833629-1242824019 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1833629-1242824019.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.00 1.00 1.04 3/64 23160
/proc/meminfo: memFree=1919920/2055920 swapFree=4143664/4192956
[pid=23160] ppid=23158 vsize=5356 CPUtime=0
/proc/23160/stat : 23160 (SatELiteGTI) S 23158 23160 23055 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310430426 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/23160/statm: 1339 237 197 169 0 50 0
[startup+0.0555489 s]
/proc/loadavg: 1.00 1.00 1.04 3/64 23160
/proc/meminfo: memFree=1919920/2055920 swapFree=4143664/4192956
[pid=23160] ppid=23158 vsize=5356 CPUtime=0
/proc/23160/stat : 23160 (SatELiteGTI) S 23158 23160 23055 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310430426 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/23160/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.101557 s]
/proc/loadavg: 1.00 1.00 1.04 3/64 23160
/proc/meminfo: memFree=1919920/2055920 swapFree=4143664/4192956
[pid=23160] ppid=23158 vsize=5356 CPUtime=0
/proc/23160/stat : 23160 (SatELiteGTI) S 23158 23160 23055 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310430426 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/23160/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301594 s]
/proc/loadavg: 1.00 1.00 1.04 3/64 23160
/proc/meminfo: memFree=1919920/2055920 swapFree=4143664/4192956
[pid=23160] ppid=23158 vsize=5356 CPUtime=0
/proc/23160/stat : 23160 (SatELiteGTI) S 23158 23160 23055 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310430426 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/23160/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.701671 s]
/proc/loadavg: 1.00 1.00 1.04 3/64 23160
/proc/meminfo: memFree=1919920/2055920 swapFree=4143664/4192956
[pid=23160] ppid=23158 vsize=5356 CPUtime=0
/proc/23160/stat : 23160 (SatELiteGTI) S 23158 23160 23055 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310430426 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/23160/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+1.50182 s]
/proc/loadavg: 1.00 1.00 1.04 2/66 23165
/proc/meminfo: memFree=1836960/2055920 swapFree=4143664/4192956
[pid=23160] ppid=23158 vsize=5356 CPUtime=0
/proc/23160/stat : 23160 (SatELiteGTI) S 23158 23160 23055 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310430426 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/23160/statm: 1339 237 197 169 0 50 0
[pid=23164] ppid=23160 vsize=92280 CPUtime=1.48
/proc/23164/stat : 23164 (SatELite_releas) R 23160 23160 23055 0 -1 4194304 22115 0 0 0 135 13 0 0 25 0 1 0 310430427 94494720 20441 1992294400 134512640 135223648 4294956128 18446744073709551615 134737406 0 0 4096 3 0 0 0 17 1 0 0
/proc/23164/statm: 23070 20441 76 173 0 22895 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 97636
[startup+3.10114 s]
/proc/loadavg: 1.00 1.00 1.04 2/66 23165
/proc/meminfo: memFree=1828640/2055920 swapFree=4143664/4192956
[pid=23160] ppid=23158 vsize=5356 CPUtime=0
/proc/23160/stat : 23160 (SatELiteGTI) S 23158 23160 23055 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310430426 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/23160/statm: 1339 237 197 169 0 50 0
[pid=23164] ppid=23160 vsize=95416 CPUtime=2.98
/proc/23164/stat : 23164 (SatELite_releas) R 23160 23160 23055 0 -1 4194304 22887 0 0 0 280 18 0 0 23 0 1 0 310430427 97705984 21213 1992294400 134512640 135223648 4294956128 18446744073709551615 134564070 0 0 4096 3 0 0 0 17 0 0 0
/proc/23164/statm: 23854 21213 76 173 0 23679 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 100772
[startup+6.30174 s]
/proc/loadavg: 1.00 1.00 1.04 2/66 23165
/proc/meminfo: memFree=1811808/2055920 swapFree=4143664/4192956
[pid=23160] ppid=23158 vsize=5356 CPUtime=0
/proc/23160/stat : 23160 (SatELiteGTI) S 23158 23160 23055 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310430426 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/23160/statm: 1339 237 197 169 0 50 0
[pid=23164] ppid=23160 vsize=100664 CPUtime=6.17
/proc/23164/stat : 23164 (SatELite_releas) R 23160 23160 23055 0 -1 4194304 24142 0 0 0 593 24 0 0 25 0 1 0 310430427 103079936 22468 1992294400 134512640 135223648 4294956128 18446744073709551615 134737406 0 0 4096 3 0 0 0 17 1 0 0
/proc/23164/statm: 25166 22468 76 173 0 24991 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 106020
[startup+12.703 s]
/proc/loadavg: 1.00 1.00 1.04 2/66 23166
/proc/meminfo: memFree=1863648/2055920 swapFree=4143664/4192956
[pid=23160] ppid=23158 vsize=5356 CPUtime=9.5
/proc/23160/stat : 23160 (SatELiteGTI) S 23158 23160 23055 0 -1 4194304 336 27186 0 0 0 0 917 33 16 0 1 0 310430426 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23160/statm: 1339 239 197 169 0 50 0
[pid=23166] ppid=23160 vsize=25164 CPUtime=3.05
/proc/23166/stat : 23166 (minisat_static) R 23160 23160 23055 0 -1 4194304 5726 0 0 0 302 3 0 0 25 0 1 0 310431390 25767936 5707 1992294400 134512640 135215339 4294956240 18446744073709551615 134528624 0 0 4096 3 0 0 0 17 1 0 0
/proc/23166/statm: 6291 5707 77 171 0 6118 0
Current children cumulated CPU time (s) 12.55
Current children cumulated vsize (KiB) 30520
[startup+25.5014 s]
/proc/loadavg: 1.00 1.00 1.04 2/66 23166
/proc/meminfo: memFree=1861088/2055920 swapFree=4143664/4192956
[pid=23160] ppid=23158 vsize=5356 CPUtime=9.5
/proc/23160/stat : 23160 (SatELiteGTI) S 23158 23160 23055 0 -1 4194304 336 27186 0 0 0 0 917 33 16 0 1 0 310430426 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23160/statm: 1339 239 197 169 0 50 0
[pid=23166] ppid=23160 vsize=27544 CPUtime=15.85
/proc/23166/stat : 23166 (minisat_static) R 23160 23160 23055 0 -1 4194304 6340 0 0 0 1581 4 0 0 25 0 1 0 310431390 28205056 6321 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/23166/statm: 6886 6321 77 171 0 6713 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 32900
[startup+51.1013 s]
/proc/loadavg: 1.00 1.00 1.04 2/66 23166
/proc/meminfo: memFree=1855712/2055920 swapFree=4143664/4192956
[pid=23160] ppid=23158 vsize=5356 CPUtime=9.5
/proc/23160/stat : 23160 (SatELiteGTI) S 23158 23160 23055 0 -1 4194304 336 27186 0 0 0 0 917 33 16 0 1 0 310430426 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23160/statm: 1339 239 197 169 0 50 0
[pid=23166] ppid=23160 vsize=32936 CPUtime=41.43
/proc/23166/stat : 23166 (minisat_static) R 23160 23160 23055 0 -1 4194304 7690 0 0 0 4137 6 0 0 25 0 1 0 310431390 33726464 7671 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/23166/statm: 8234 7671 77 171 0 8061 0
Current children cumulated CPU time (s) 50.93
Current children cumulated vsize (KiB) 38292
[startup+102.305 s]
/proc/loadavg: 1.00 1.00 1.03 2/66 23166
/proc/meminfo: memFree=1839456/2055920 swapFree=4143664/4192956
[pid=23160] ppid=23158 vsize=5356 CPUtime=9.5
/proc/23160/stat : 23160 (SatELiteGTI) S 23158 23160 23055 0 -1 4194304 336 27186 0 0 0 0 917 33 16 0 1 0 310430426 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23160/statm: 1339 239 197 169 0 50 0
[pid=23166] ppid=23160 vsize=49056 CPUtime=92.58
/proc/23166/stat : 23166 (minisat_static) R 23160 23160 23055 0 -1 4194304 11714 0 0 0 9247 11 0 0 25 0 1 0 310431390 50233344 11695 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/23166/statm: 12264 11695 77 171 0 12091 0
Current children cumulated CPU time (s) 102.08
Current children cumulated vsize (KiB) 54412
[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.02 2/66 23166
/proc/meminfo: memFree=1821280/2055920 swapFree=4143664/4192956
[pid=23160] ppid=23158 vsize=5356 CPUtime=9.5
/proc/23160/stat : 23160 (SatELiteGTI) S 23158 23160 23055 0 -1 4194304 336 27186 0 0 0 0 917 33 16 0 1 0 310430426 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23160/statm: 1339 239 197 169 0 50 0
[pid=23166] ppid=23160 vsize=67484 CPUtime=152.55
/proc/23166/stat : 23166 (minisat_static) R 23160 23160 23055 0 -1 4194304 16289 0 0 0 15239 16 0 0 25 0 1 0 310431390 69103616 16270 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/23166/statm: 16871 16270 77 171 0 16698 0
Current children cumulated CPU time (s) 162.05
Current children cumulated vsize (KiB) 72840
[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.02 2/66 23166
/proc/meminfo: memFree=1803616/2055920 swapFree=4143664/4192956
[pid=23160] ppid=23158 vsize=5356 CPUtime=9.5
/proc/23160/stat : 23160 (SatELiteGTI) S 23158 23160 23055 0 -1 4194304 336 27186 0 0 0 0 917 33 16 0 1 0 310430426 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23160/statm: 1339 239 197 169 0 50 0
[pid=23166] ppid=23160 vsize=85012 CPUtime=212.52
/proc/23166/stat : 23166 (minisat_static) R 23160 23160 23055 0 -1 4194304 20619 0 0 0 21231 21 0 0 25 0 1 0 310431390 87052288 20600 1992294400 134512640 135215339 4294956240 18446744073709551615 134528676 0 0 4096 3 0 0 0 17 1 0 0
/proc/23166/statm: 21253 20600 77 171 0 21080 0
Current children cumulated CPU time (s) 222.02
Current children cumulated vsize (KiB) 90368
[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.01 2/66 23166
/proc/meminfo: memFree=1786528/2055920 swapFree=4143664/4192956
[pid=23160] ppid=23158 vsize=5356 CPUtime=9.5
/proc/23160/stat : 23160 (SatELiteGTI) S 23158 23160 23055 0 -1 4194304 336 27186 0 0 0 0 917 33 16 0 1 0 310430426 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23160/statm: 1339 239 197 169 0 50 0
[pid=23166] ppid=23160 vsize=102496 CPUtime=272.5
/proc/23166/stat : 23166 (minisat_static) R 23160 23160 23055 0 -1 4194304 24916 0 0 0 27225 25 0 0 25 0 1 0 310431390 104955904 24897 1992294400 134512640 135215339 4294956240 18446744073709551615 134529099 0 0 4096 3 0 0 0 17 1 0 0
/proc/23166/statm: 25624 24897 77 171 0 25451 0
Current children cumulated CPU time (s) 282
Current children cumulated vsize (KiB) 107852
[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.01 2/66 23166
/proc/meminfo: memFree=1770272/2055920 swapFree=4143664/4192956
[pid=23160] ppid=23158 vsize=5356 CPUtime=9.5
/proc/23160/stat : 23160 (SatELiteGTI) S 23158 23160 23055 0 -1 4194304 336 27186 0 0 0 0 917 33 16 0 1 0 310430426 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23160/statm: 1339 239 197 169 0 50 0
[pid=23166] ppid=23160 vsize=118540 CPUtime=332.47
/proc/23166/stat : 23166 (minisat_static) R 23160 23160 23055 0 -1 4194304 28914 0 0 0 33218 29 0 0 25 0 1 0 310431390 121384960 28895 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/23166/statm: 29635 28895 77 171 0 29462 0
Current children cumulated CPU time (s) 341.97
Current children cumulated vsize (KiB) 123896
[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 23166
/proc/meminfo: memFree=1755872/2055920 swapFree=4143664/4192956
[pid=23160] ppid=23158 vsize=5356 CPUtime=9.5
/proc/23160/stat : 23160 (SatELiteGTI) S 23158 23160 23055 0 -1 4194304 336 27186 0 0 0 0 917 33 16 0 1 0 310430426 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23160/statm: 1339 239 197 169 0 50 0
[pid=23166] ppid=23160 vsize=132900 CPUtime=392.44
/proc/23166/stat : 23166 (minisat_static) R 23160 23160 23055 0 -1 4194304 32515 0 0 0 39212 32 0 0 25 0 1 0 310431390 136089600 32496 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/23166/statm: 33225 32496 77 171 0 33052 0
Current children cumulated CPU time (s) 401.94
Current children cumulated vsize (KiB) 138256
[startup+462.302 s]
################
# More data... #
################
/proc/23166/statm: 44875 43883 77 171 0 44702 0
Current children cumulated CPU time (s) 581.87
Current children cumulated vsize (KiB) 184856
[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 23172
/proc/meminfo: memFree=1695264/2055920 swapFree=4143664/4192956
[pid=23160] ppid=23158 vsize=5356 CPUtime=9.5
/proc/23160/stat : 23160 (SatELiteGTI) S 23158 23160 23055 0 -1 4194304 336 27186 0 0 0 0 917 33 16 0 1 0 310430426 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23160/statm: 1339 239 197 169 0 50 0
[pid=23166] ppid=23160 vsize=193788 CPUtime=632.35
/proc/23166/stat : 23166 (minisat_static) R 23160 23160 23055 0 -1 4194304 47481 0 0 0 63187 48 0 0 25 0 1 0 310431390 198438912 47462 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/23166/statm: 48447 47462 77 171 0 48274 0
Current children cumulated CPU time (s) 641.85
Current children cumulated vsize (KiB) 199144
[startup+702.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 23172
/proc/meminfo: memFree=1679968/2055920 swapFree=4143664/4192956
[pid=23160] ppid=23158 vsize=5356 CPUtime=9.5
/proc/23160/stat : 23160 (SatELiteGTI) S 23158 23160 23055 0 -1 4194304 336 27186 0 0 0 0 917 33 16 0 1 0 310430426 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23160/statm: 1339 239 197 169 0 50 0
[pid=23166] ppid=23160 vsize=209808 CPUtime=692.33
/proc/23166/stat : 23166 (minisat_static) R 23160 23160 23055 0 -1 4194304 51324 0 0 0 69182 51 0 0 25 0 1 0 310431390 214843392 51305 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/23166/statm: 52452 51305 77 171 0 52279 0
Current children cumulated CPU time (s) 701.83
Current children cumulated vsize (KiB) 215164
[startup+762.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 23172
/proc/meminfo: memFree=1665376/2055920 swapFree=4143664/4192956
[pid=23160] ppid=23158 vsize=5356 CPUtime=9.5
/proc/23160/stat : 23160 (SatELiteGTI) S 23158 23160 23055 0 -1 4194304 336 27186 0 0 0 0 917 33 16 0 1 0 310430426 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23160/statm: 1339 239 197 169 0 50 0
[pid=23166] ppid=23160 vsize=224076 CPUtime=752.31
/proc/23166/stat : 23166 (minisat_static) R 23160 23160 23055 0 -1 4194304 54890 0 0 0 75176 55 0 0 25 0 1 0 310431390 229453824 54871 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/23166/statm: 56019 54871 77 171 0 55846 0
Current children cumulated CPU time (s) 761.81
Current children cumulated vsize (KiB) 229432
[startup+822.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 23172
/proc/meminfo: memFree=1650912/2055920 swapFree=4143664/4192956
[pid=23160] ppid=23158 vsize=5356 CPUtime=9.5
/proc/23160/stat : 23160 (SatELiteGTI) S 23158 23160 23055 0 -1 4194304 336 27186 0 0 0 0 917 33 16 0 1 0 310430426 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23160/statm: 1339 239 197 169 0 50 0
[pid=23166] ppid=23160 vsize=238796 CPUtime=812.29
/proc/23166/stat : 23166 (minisat_static) R 23160 23160 23055 0 -1 4194304 58554 0 0 0 81170 59 0 0 25 0 1 0 310431390 244527104 58535 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/23166/statm: 59699 58535 77 171 0 59526 0
Current children cumulated CPU time (s) 821.79
Current children cumulated vsize (KiB) 244152
[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 23172
/proc/meminfo: memFree=1636576/2055920 swapFree=4143664/4192956
[pid=23160] ppid=23158 vsize=5356 CPUtime=9.5
/proc/23160/stat : 23160 (SatELiteGTI) S 23158 23160 23055 0 -1 4194304 336 27186 0 0 0 0 917 33 16 0 1 0 310430426 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23160/statm: 1339 239 197 169 0 50 0
[pid=23166] ppid=23160 vsize=253024 CPUtime=872.25
/proc/23166/stat : 23166 (minisat_static) R 23160 23160 23055 0 -1 4194304 62036 0 0 0 87164 61 0 0 25 0 1 0 310431390 259096576 62017 1992294400 134512640 135215339 4294956240 18446744073709551615 134528809 0 0 4096 3 0 0 0 17 1 0 0
/proc/23166/statm: 63256 62017 77 171 0 63083 0
Current children cumulated CPU time (s) 881.75
Current children cumulated vsize (KiB) 258380
[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 23172
/proc/meminfo: memFree=1624544/2055920 swapFree=4143664/4192956
[pid=23160] ppid=23158 vsize=5356 CPUtime=9.5
/proc/23160/stat : 23160 (SatELiteGTI) S 23158 23160 23055 0 -1 4194304 336 27186 0 0 0 0 917 33 16 0 1 0 310430426 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23160/statm: 1339 239 197 169 0 50 0
[pid=23166] ppid=23160 vsize=265264 CPUtime=932.24
/proc/23166/stat : 23166 (minisat_static) R 23160 23160 23055 0 -1 4194304 65074 0 0 0 93159 65 0 0 25 0 1 0 310431390 271630336 65055 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/23166/statm: 66316 65055 77 171 0 66143 0
Current children cumulated CPU time (s) 941.74
Current children cumulated vsize (KiB) 270620
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 23172
/proc/meminfo: memFree=1612128/2055920 swapFree=4143664/4192956
[pid=23160] ppid=23158 vsize=5356 CPUtime=9.5
/proc/23160/stat : 23160 (SatELiteGTI) S 23158 23160 23055 0 -1 4194304 336 27186 0 0 0 0 917 33 16 0 1 0 310430426 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23160/statm: 1339 239 197 169 0 50 0
[pid=23166] ppid=23160 vsize=277336 CPUtime=992.21
/proc/23166/stat : 23166 (minisat_static) R 23160 23160 23055 0 -1 4194304 68122 0 0 0 99153 68 0 0 25 0 1 0 310431390 283992064 68103 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/23166/statm: 69334 68103 77 171 0 69161 0
Current children cumulated CPU time (s) 1001.71
Current children cumulated vsize (KiB) 282692
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 23172
/proc/meminfo: memFree=1599968/2055920 swapFree=4143664/4192956
[pid=23160] ppid=23158 vsize=5356 CPUtime=9.5
/proc/23160/stat : 23160 (SatELiteGTI) S 23158 23160 23055 0 -1 4194304 336 27186 0 0 0 0 917 33 16 0 1 0 310430426 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23160/statm: 1339 239 197 169 0 50 0
[pid=23166] ppid=23160 vsize=289480 CPUtime=1052.19
/proc/23166/stat : 23166 (minisat_static) R 23160 23160 23055 0 -1 4194304 71171 0 0 0 105148 71 0 0 25 0 1 0 310431390 296427520 71152 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 1 0 0
/proc/23166/statm: 72370 71152 77 171 0 72197 0
Current children cumulated CPU time (s) 1061.69
Current children cumulated vsize (KiB) 294836
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 23172
/proc/meminfo: memFree=1586080/2055920 swapFree=4143664/4192956
[pid=23160] ppid=23158 vsize=5356 CPUtime=9.5
/proc/23160/stat : 23160 (SatELiteGTI) S 23158 23160 23055 0 -1 4194304 336 27186 0 0 0 0 917 33 16 0 1 0 310430426 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23160/statm: 1339 239 197 169 0 50 0
[pid=23166] ppid=23160 vsize=303880 CPUtime=1112.17
/proc/23166/stat : 23166 (minisat_static) R 23160 23160 23055 0 -1 4194304 74565 0 0 0 111142 75 0 0 25 0 1 0 310431390 311173120 74546 1992294400 134512640 135215339 4294956240 18446744073709551615 134532626 0 0 4096 3 0 0 0 17 1 0 0
/proc/23166/statm: 75970 74546 77 171 0 75797 0
Current children cumulated CPU time (s) 1121.67
Current children cumulated vsize (KiB) 309236
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 23172
/proc/meminfo: memFree=1576032/2055920 swapFree=4143664/4192956
[pid=23160] ppid=23158 vsize=5356 CPUtime=9.5
/proc/23160/stat : 23160 (SatELiteGTI) S 23158 23160 23055 0 -1 4194304 336 27186 0 0 0 0 917 33 16 0 1 0 310430426 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23160/statm: 1339 239 197 169 0 50 0
[pid=23166] ppid=23160 vsize=314164 CPUtime=1172.14
/proc/23166/stat : 23166 (minisat_static) R 23160 23160 23055 0 -1 4194304 77111 0 0 0 117137 77 0 0 25 0 1 0 310431390 321703936 77084 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/23166/statm: 78541 77084 77 171 0 78368 0
Current children cumulated CPU time (s) 1181.64
Current children cumulated vsize (KiB) 319520
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 23172
/proc/meminfo: memFree=1572064/2055920 swapFree=4143664/4192956
[pid=23160] ppid=23158 vsize=5356 CPUtime=9.5
/proc/23160/stat : 23160 (SatELiteGTI) S 23158 23160 23055 0 -1 4194304 336 27186 0 0 0 0 917 33 16 0 1 0 310430426 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23160/statm: 1339 239 197 169 0 50 0
[pid=23166] ppid=23160 vsize=317960 CPUtime=1190.54
/proc/23166/stat : 23166 (minisat_static) R 23160 23160 23055 0 -1 4194304 78046 0 0 0 118977 77 0 0 25 0 1 0 310431390 325591040 78019 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/23166/statm: 79490 78019 77 171 0 79317 0
Current children cumulated CPU time (s) 1200.04
Current children cumulated vsize (KiB) 323316
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1200.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 23172
/proc/meminfo: memFree=1572064/2055920 swapFree=4143664/4192956
[pid=23160] ppid=23158 vsize=5356 CPUtime=9.5
/proc/23160/stat : 23160 (SatELiteGTI) S 23158 23160 23055 0 -1 4194304 336 27186 0 0 0 0 917 33 16 0 1 0 310430426 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23160/statm: 1339 239 197 169 0 50 0
[pid=23166] ppid=23160 vsize=317960 CPUtime=1190.54
/proc/23166/stat : 23166 (minisat_static) R 23160 23160 23055 0 -1 4194304 78046 0 0 0 118977 77 0 0 25 0 1 0 310431390 325591040 78019 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/23166/statm: 79490 78019 77 171 0 79317 0
Current children cumulated CPU time (s) 1200.04
Current children cumulated vsize (KiB) 323316
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 23160 and gives
# childrusage.ru_utime.tv_sec=9
# childrusage.ru_utime.tv_usec=175605
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=339948
# CPU time returned by wait4() is 9.51555
# while last known CPU time is 1200.04
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1200.71
CPU time (s): 1200.04
CPU user time (s): 1198.94
CPU system time (s): 1.1
CPU usage (%): 99.9439
Max. virtual memory (cumulated for all children) (KiB): 323316
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9.1756
system time used= 0.339948
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27522
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= 15
involuntary context switches= 42
runsolver used 1.37779 second user time and 3.08553 second system time
The end
Begin job on node38 at 2009-05-20 14:53:40
IDJOB=1833629
IDBENCH=70808
IDSOLVER=671
FILE ID=node38/1833629-1242824019
PBS_JOBID= 9322512
Free space on /tmp= 66188 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/APPLICATIONS/bitverif/maxor/maxor128.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1833629-1242824019/watcher-1833629-1242824019 -o /tmp/evaluation-result-1833629-1242824019/solver-1833629-1242824019 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1833629-1242824019.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= e050fe11c7c50ba82ac7126f49db3c10
RANDOM SEED=694763626
node38.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.265
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.265
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1920464 kB
Buffers: 14188 kB
Cached: 42808 kB
SwapCached: 43372 kB
Active: 61692 kB
Inactive: 41076 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1920464 kB
SwapTotal: 4192956 kB
SwapFree: 4143664 kB
Dirty: 12112 kB
Writeback: 0 kB
Mapped: 13932 kB
Slab: 18804 kB
Committed_AS: 1098000 kB
PageTables: 1456 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66156 MiB
End job on node38 at 2009-05-20 15:13:42