0.00/0.00 c Parsing...
0.52/0.61 c ==============================================================================
0.52/0.61 c | | ORIGINAL | LEARNT | |
0.52/0.61 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.52/0.61 c ==============================================================================
0.52/0.61 c | 0 | 599013 1397697 | 179703 0 0 nan | 0.000 % |
8.22/8.27 c | 0 | 340394 1129456 | -- 0 -- -- | -- | -258577/-268140
8.22/8.27 c ==============================================================================
8.22/8.27 c Result : #vars: 72795 #clauses: 340394 #literals: 1129456
8.22/8.27 c CPU time: 8.02 s
8.22/8.27 c ==============================================================================
8.62/8.68 c This is MiniSat 2.0 beta
8.62/8.68 c WARNING: for repeatability, setting FPU to use double precision
8.62/8.68 c ============================[ Problem Statistics ]=============================
8.62/8.68 c | |
8.62/8.68 c | Number of variables: 72795 |
8.62/8.68 c | Number of clauses: 340394 |
8.92/8.92 c | Parsing time: 0.21 s |
8.92/8.94 c ============================[ Search Statistics ]==============================
8.92/8.94 c | Conflicts | ORIGINAL | LEARNT | Progress |
8.92/8.94 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
8.92/8.94 c ===============================================================================
8.92/8.94 c | 0 | 72795 340394 1129456 | 113464 0 nan | 0.000 % |
9.12/9.12 c | 100 | 72795 340394 1129456 | 113464 100 6 | 0.000 % |
9.12/9.19 c | 200 | 72795 340394 1129456 | 113464 200 22 | 0.000 % |
9.32/9.33 c | 302 | 72795 340394 1129456 | 113464 302 26 | 0.000 % |
9.32/9.40 c | 412 | 72795 340394 1129456 | 113464 412 24 | 0.000 % |
9.42/9.49 c | 512 | 72795 340394 1129456 | 113464 512 24 | 0.000 % |
9.62/9.68 c | 623 | 72795 340394 1129456 | 113464 623 38 | 0.000 % |
9.72/9.74 c | 744 | 72795 340394 1129456 | 113464 744 55 | 0.000 % |
9.72/9.79 c | 844 | 72795 340394 1129456 | 113464 844 58 | 0.000 % |
9.82/9.87 c | 956 | 72795 340394 1129456 | 113464 956 54 | 0.000 % |
9.92/9.95 c | 1079 | 72795 340394 1129456 | 113464 1079 52 | 0.000 % |
10.02/10.06 c | 1212 | 72795 340394 1129456 | 113464 1212 66 | 0.000 % |
10.12/10.15 c | 1312 | 72795 340394 1129456 | 113464 1312 69 | 0.000 % |
10.12/10.18 c | 1422 | 72795 340394 1129456 | 113464 1422 66 | 0.000 % |
10.32/10.33 c | 1543 | 72795 340394 1129456 | 113464 1543 65 | 0.000 % |
10.52/10.60 c | 1676 | 72795 340394 1129456 | 113464 1676 63 | 0.000 % |
10.72/10.75 c | 1825 | 72795 340394 1129456 | 113464 1825 60 | 0.000 % |
10.82/10.91 c | 1925 | 72795 340394 1129456 | 113464 1925 57 | 0.000 % |
11.02/11.04 c | 2035 | 72795 340394 1129456 | 113464 2035 56 | 0.000 % |
11.12/11.15 c | 2157 | 72795 340394 1129456 | 113464 2157 56 | 0.000 % |
11.22/11.31 c | 2291 | 72795 340394 1129456 | 113464 2291 57 | 0.000 % |
11.62/11.65 c | 2438 | 72795 340394 1129456 | 113464 2438 54 | 0.000 % |
11.72/11.75 c | 2598 | 72795 340394 1129456 | 113464 2598 53 | 0.000 % |
11.82/11.89 c | 2698 | 72795 340394 1129456 | 113464 2698 51 | 0.000 % |
12.12/12.16 c | 2809 | 72795 340394 1129456 | 113464 2809 50 | 0.000 % |
12.22/12.27 c | 2930 | 72795 340394 1129456 | 113464 2930 49 | 0.000 % |
12.42/12.42 c | 3064 | 72795 340394 1129456 | 113464 3064 47 | 0.000 % |
12.62/12.63 c | 3212 | 72795 340394 1129456 | 113464 3212 53 | 0.000 % |
12.72/12.73 c | 3372 | 72795 340394 1129456 | 113464 3372 56 | 0.000 % |
12.82/12.85 c | 3548 | 72795 340394 1129456 | 113464 3548 63 | 0.000 % |
13.02/13.02 c | 3648 | 72795 340394 1129456 | 113464 3648 63 | 0.000 % |
13.22/13.25 c | 3758 | 72795 340394 1129456 | 113464 3758 63 | 0.000 % |
13.32/13.40 c | 3880 | 72795 340394 1129456 | 113464 3880 61 | 0.000 % |
13.52/13.53 c | 4014 | 72795 340394 1129456 | 113464 4014 60 | 0.000 % |
13.62/13.68 c | 4160 | 72795 340394 1129456 | 113464 4160 60 | 0.000 % |
13.92/13.93 c | 4321 | 72795 340394 1129456 | 113464 4321 60 | 0.000 % |
14.12/14.14 c | 4497 | 72795 340394 1129456 | 113464 4497 59 | 0.000 % |
14.42/14.45 c | 4690 | 72795 340394 1129456 | 113464 4690 60 | 0.000 % |
14.52/14.56 c | 4791 | 72795 340394 1129456 | 113464 4791 60 | 0.000 % |
14.52/14.60 c | 4903 | 72795 340394 1129456 | 113464 4903 59 | 0.000 % |
14.62/14.64 c | 5025 | 72795 340394 1129456 | 113464 5025 59 | 0.000 % |
14.62/14.70 c | 5158 | 72795 340394 1129456 | 113464 5158 58 | 0.000 % |
14.92/14.91 c | 5304 | 72795 340394 1129456 | 113464 5304 56 | 0.000 % |
15.02/15.11 c | 5464 | 72795 340394 1129456 | 113464 5464 56 | 0.000 % |
15.12/15.18 c | 5640 | 72795 340394 1129456 | 113464 5640 55 | 0.000 % |
15.32/15.35 c | 5833 | 72795 340394 1129456 | 113464 5833 55 | 0.000 % |
15.62/15.69 c | 6045 | 72795 340394 1129456 | 113464 6045 56 | 0.000 % |
15.82/15.87 c | 6147 | 72795 340394 1129456 | 113464 6147 56 | 0.000 % |
16.02/16.03 c | 6258 | 72795 340394 1129456 | 113464 6258 56 | 0.000 % |
16.12/16.15 c | 6379 | 72795 340394 1129456 | 113464 6379 55 | 0.000 % |
16.22/16.23 c | 6512 | 72795 340394 1129456 | 113464 6512 55 | 0.000 % |
16.32/16.38 c | 6658 | 72795 340394 1129456 | 113464 6658 54 | 0.000 % |
16.42/16.49 c | 6818 | 72795 340394 1129456 | 113464 6818 53 | 0.000 % |
16.92/16.96 c | 6995 | 72795 340394 1129456 | 113464 6995 55 | 0.000 % |
17.02/17.06 c | 7189 | 72795 340394 1129456 | 113464 7189 56 | 0.000 % |
17.22/17.25 c | 7402 | 72795 340394 1129456 | 113464 7402 55 | 0.000 % |
17.42/17.50 c | 7636 | 72795 340394 1129456 | 113464 7636 54 | 0.000 % |
17.82/17.85 c | 7736 | 72795 340394 1129456 | 113464 7736 54 | 0.000 % |
17.92/17.94 c | 7846 | 72795 340394 1129456 | 113464 7846 54 | 0.000 % |
18.32/18.34 c | 7967 | 72795 340394 1129456 | 113464 7967 53 | 0.000 % |
18.42/18.49 c | 8109 | 72795 340394 1129456 | 113464 8109 52 | 0.000 % |
18.52/18.60 c | 8255 | 72795 340394 1129456 | 113464 8255 51 | 0.000 % |
18.62/18.66 c | 8415 | 72795 340394 1129456 | 113464 8415 51 | 0.000 % |
18.72/18.73 c | 8591 | 72795 340394 1129456 | 113464 8591 51 | 0.000 % |
18.82/18.84 c | 8789 | 72795 340394 1129456 | 113464 8789 50 | 0.000 % |
18.92/19.00 c | 9004 | 72795 340394 1129456 | 113464 9004 49 | 0.000 % |
19.22/19.22 c | 9237 | 72795 340394 1129456 | 113464 9237 49 | 0.000 % |
19.42/19.49 c | 9493 | 72795 340394 1129456 | 113464 9493 50 | 0.000 % |
19.52/19.60 c | 9594 | 72795 340394 1129456 | 113464 9594 50 | 0.000 % |
19.72/19.75 c | 9706 | 72795 340394 1129456 | 113464 9706 51 | 0.000 % |
19.82/19.82 c | 9827 | 72795 340394 1129456 | 113464 9827 50 | 0.000 % |
20.12/20.12 c | 9960 | 72795 340394 1129456 | 113464 9960 50 | 0.000 % |
20.72/20.74 c | 10106 | 72795 340394 1129456 | 2147483647 10106 50 | 0.000 % |
20.82/20.90 c | 10267 | 72795 340394 1129456 | 2147483647 10267 49 | 0.000 % |
21.22/21.24 c | 10444 | 72795 340394 1129456 | 2147483647 10444 49 | 0.000 % |
21.42/21.49 c | 10637 | 72795 340394 1129456 | 2147483647 10637 48 | 0.000 % |
21.92/21.91 c | 10849 | 72795 340394 1129456 | 2147483647 10849 50 | 0.000 % |
22.12/22.11 c | 11082 | 72795 340394 1129456 | 2147483647 11082 50 | 0.000 % |
22.22/22.29 c | 11339 | 72795 340394 1129456 | 2147483647 11339 49 | 0.000 % |
22.42/22.51 c | 11620 | 72795 340394 1129456 | 2147483647 11620 49 | 0.000 % |
22.62/22.66 c | 11720 | 72795 340394 1129456 | 2147483647 11720 49 | 0.000 % |
22.72/22.81 c | 11831 | 72795 340394 1129456 | 2147483647 11831 49 | 0.000 % |
23.02/23.02 c | 11952 | 72795 340394 1129456 | 2147483647 11952 50 | 0.000 % |
23.12/23.19 c | 12086 | 72795 340394 1129456 | 2147483647 12086 50 | 0.000 % |
23.42/23.50 c | 12233 | 72795 340394 1129456 | 2147483647 12233 51 | 0.000 % |
23.72/23.80 c | 12394 | 72795 340394 1129456 | 2147483647 12394 52 | 0.000 % |
24.22/24.29 c | 12571 | 72795 340394 1129456 | 2147483647 12571 54 | 0.000 % |
24.52/24.56 c | 12765 | 72795 340394 1129456 | 2147483647 12765 56 | 0.000 % |
24.62/24.69 c | 12977 | 72795 340394 1129456 | 2147483647 12977 56 | 0.000 % |
24.82/24.84 c | 13211 | 72795 340394 1129456 | 2147483647 13211 56 | 0.000 % |
25.02/25.09 c | 13468 | 72795 340394 1129456 | 2147483647 13468 56 | 0.000 % |
25.52/25.60 c | 13750 | 72795 340394 1129456 | 2147483647 13750 56 | 0.000 % |
25.82/25.90 c | 14061 | 72795 340394 1129456 | 2147483647 14061 57 | 0.000 % |
26.02/26.08 c | 14161 | 72795 340394 1129456 | 2147483647 14161 57 | 0.000 % |
26.42/26.47 c | 14271 | 72795 340394 1129456 | 2147483647 14271 58 | 0.000 % |
26.62/26.64 c | 14392 | 72795 340394 1129456 | 2147483647 14392 58 | 0.000 % |
26.72/26.73 c | 14526 | 72795 340394 1129456 | 2147483647 14526 58 | 0.000 % |
26.92/27.00 c | 14673 | 72795 340394 1129456 | 2147483647 14673 59 | 0.000 % |
27.02/27.11 c | 14833 | 72795 340394 1129456 | 2147483647 14833 59 | 0.000 % |
27.32/27.37 c | 15009 | 72795 340394 1129456 | 2147483647 15009 59 | 0.000 % |
27.52/27.53 c | 15202 | 72795 340394 1129456 | 2147483647 15202 58 | 0.000 % |
27.62/27.62 c | 15414 | 72795 340394 1129456 | 2147483647 15414 57 | 0.000 % |
28.02/28.04 c | 15647 | 72795 340394 1129456 | 2147483647 15647 57 | 0.000 % |
28.22/28.24 c | 15904 | 72795 340394 1129456 | 2147483647 15904 58 | 0.000 % |
28.62/28.70 c | 16185 | 72795 340394 1129456 | 2147483647 16185 57 | 0.000 % |
28.92/28.99 c | 16494 | 72795 340394 1129456 | 2147483647 16494 57 | 0.000 % |
29.42/29.49 c | 16833 | 72795 340394 1129456 | 2147483647 16833 56 | 0.000 % |
29.72/29.76 c | 16933 | 72795 340394 1129456 | 2147483647 16933 56 | 0.000 % |
29.92/29.92 c | 17043 | 72795 340394 1129456 | 2147483647 17043 56 | 0.000 % |
30.22/30.26 c | 17166 | 72795 340394 1129456 | 2147483647 17166 56 | 0.000 % |
30.32/30.39 c | 17299 | 72795 340394 1129456 | 2147483647 17299 57 | 0.000 % |
30.42/30.49 c | 17445 | 72795 340394 1129456 | 2147483647 17445 56 | 0.000 % |
30.62/30.64 c | 17605 | 72795 340394 1129456 | 2147483647 17605 57 | 0.000 % |
30.72/30.81 c | 17787 | 72795 340394 1129456 | 2147483647 17787 57 | 0.000 % |
30.82/30.90 c | 17980 | 72795 340394 1129456 | 2147483647 17980 57 | 0.000 % |
31.02/31.08 c | 18194 | 72795 340394 1129456 | 2147483647 18194 56 | 0.000 % |
31.22/31.30 c | 18429 | 72795 340394 1129456 | 2147483647 18429 56 | 0.000 % |
31.52/31.57 c | 18685 | 72795 340394 1129456 | 2147483647 18685 55 | 0.000 % |
32.52/32.53 c | 18966 | 72795 340394 1129456 | 2147483647 18966 58 | 0.000 % |
32.82/32.82 c | 19275 | 72795 340394 1129456 | 2147483647 19275 58 | 0.000 % |
33.42/33.44 c | 19615 | 72795 340394 1129456 | 2147483647 19615 62 | 0.000 % |
34.02/34.06 c | 19987 | 72795 340394 1129456 | 2147483647 19987 64 | 0.000 % |
34.12/34.16 c | 20088 | 72795 340394 1129456 | 2147483647 20088 64 | 0.000 % |
34.22/34.21 c | 20198 | 72795 340394 1129456 | 2147483647 20198 63 | 0.000 % |
34.32/34.32 c | 20320 | 72795 340394 1129456 | 2147483647 20320 63 | 0.000 % |
34.42/34.41 c | 20453 | 72795 340394 1129456 | 2147483647 20453 63 | 0.000 % |
34.52/34.53 c | 20600 | 72795 340394 1129456 | 2147483647 20600 63 | 0.000 % |
34.62/34.68 c | 20760 | 72795 340394 1129456 | 2147483647 20760 62 | 0.000 % |
34.72/34.78 c | 20937 | 72795 340394 1129456 | 2147483647 20937 62 | 0.000 % |
34.82/34.83 c | 21130 | 72795 340394 1129456 | 2147483647 21130 62 | 0.000 % |
34.92/34.98 c | 21342 | 72795 340394 1129456 | 2147483647 21342 62 | 0.000 % |
35.32/35.32 c | 21576 | 72795 340394 1129456 | 2147483647 21576 62 | 0.000 % |
35.42/35.49 c | 21832 | 72795 340394 1129456 | 2147483647 21832 62 | 0.000 % |
35.62/35.61 c | 22113 | 72795 340394 1129456 | 2147483647 22113 61 | 0.000 % |
35.72/35.78 c | 22422 | 72795 340394 1129456 | 2147483647 22422 61 | 0.000 % |
36.12/36.12 c | 22763 | 72795 340394 1129456 | 2147483647 22763 61 | 0.000 % |
36.42/36.49 c | 23135 | 72795 340394 1129456 | 2147483647 23135 61 | 0.000 % |
36.62/36.68 c | 23546 | 72795 340394 1129456 | 2147483647 23546 60 | 0.000 % |
36.72/36.72 c | 23646 | 72795 340394 1129456 | 2147483647 23646 60 | 0.000 % |
36.92/36.91 c | 23757 | 72795 340394 1129456 | 2147483647 23757 60 | 0.000 % |
37.02/37.09 c | 23878 | 72795 340394 1129456 | 2147483647 23878 60 | 0.000 % |
37.12/37.12 c | 24011 | 72795 340394 1129456 | 2147483647 24011 60 | 0.000 % |
37.12/37.19 c | 24157 | 72795 340394 1129456 | 2147483647 24157 60 | 0.000 % |
37.43/37.51 c | 24318 | 72795 340394 1129456 | 2147483647 24318 60 | 0.000 % |
37.62/37.66 c | 24495 | 72795 340394 1129456 | 2147483647 24495 60 | 0.000 % |
37.82/37.87 c | 24689 | 72795 340394 1129456 | 2147483647 24689 60 | 0.000 % |
38.11/38.15 c | 24902 | 72795 340394 1129456 | 2147483647 24902 61 | 0.000 % |
38.41/38.49 c | 25135 | 72795 340394 1129456 | 2147483647 25135 62 | 0.000 % |
38.91/38.93 c | 25392 | 72795 340394 1129456 | 2147483647 25392 62 | 0.000 % |
39.11/39.12 c | 25674 | 72795 340394 1129456 | 2147483647 25674 62 | 0.000 % |
39.41/39.50 c | 25987 | 72795 340394 1129456 | 2147483647 25987 62 | 0.000 % |
39.81/39.84 c | 26326 | 72795 340394 1129456 | 2147483647 26326 62 | 0.000 % |
40.31/40.33 c | 26698 | 72795 340394 1129456 | 2147483647 26698 62 | 0.000 % |
40.81/40.87 c | 27107 | 72795 340394 1129456 | 2147483647 27107 64 | 0.000 % |
41.61/41.68 c | 27556 | 72795 340394 1129456 | 2147483647 27556 67 | 0.000 % |
41.71/41.78 c | 27658 | 72795 340394 1129456 | 2147483647 27658 67 | 0.000 % |
42.01/42.08 c | 27768 | 72795 340394 1129456 | 2147483647 27768 68 | 0.000 % |
42.21/42.27 c | 27889 | 72795 340394 1129456 | 2147483647 27889 68 | 0.000 % |
42.31/42.38 c | 28022 | 72795 340394 1129456 | 2147483647 28022 68 | 0.000 % |
42.51/42.59 c | 28169 | 72795 340394 1129456 | 2147483647 28169 68 | 0.000 % |
42.71/42.79 c | 28329 | 72795 340394 1129456 | 2147483647 28329 68 | 0.000 % |
42.81/42.82 c | 28505 | 72795 340394 1129456 | 2147483647 28505 67 | 0.000 % |
42.92/42.99 c | 28699 | 72795 340394 1129456 | 2147483647 28699 67 | 0.000 % |
43.21/43.25 c | 28911 | 72795 340394 1129456 | 2147483647 28911 67 | 0.000 % |
43.51/43.53 c | 29145 | 72795 340394 1129456 | 2147483647 29145 66 | 0.000 % |
43.81/43.82 c | 29401 | 72795 340394 1129456 | 2147483647 29401 66 | 0.000 % |
43.91/43.97 c | 29682 | 72795 340394 1129456 | 2147483647 29682 66 | 0.000 % |
44.41/44.47 c | 29991 | 72795 340394 1129456 | 2147483647 29991 66 | 0.000 % |
45.01/45.08 c | 30331 | 72795 340394 1129456 | 2147483647 30331 68 | 0.000 % |
45.41/45.45 c | 30706 | 72795 340394 1129456 | 2147483647 30706 69 | 0.000 % |
45.71/45.74 c | 31115 | 72795 340394 1129456 | 2147483647 31115 69 | 0.000 % |
46.51/46.56 c | 31565 | 72795 340394 1129456 | 2147483647 31565 69 | 0.000 % |
47.71/47.72 c | 32060 | 72795 340394 1129456 | 2147483647 32060 72 | 0.000 % |
47.81/47.88 c | 32161 | 72795 340394 1129456 | 2147483647 32161 72 | 0.000 % |
48.11/48.12 c | 32273 | 72795 340394 1129456 | 2147483647 32273 73 | 0.000 % |
48.21/48.24 c | 32397 | 72795 340394 1129456 | 2147483647 32397 73 | 0.000 % |
48.31/48.40 c | 32531 | 72795 340394 1129456 | 2147483647 32531 73 | 0.000 % |
48.61/48.65 c | 32677 | 72795 340394 1129456 | 2147483647 32677 73 | 0.000 % |
49.01/49.05 c | 32838 | 72795 340394 1129456 | 2147483647 32838 74 | 0.000 % |
49.41/49.50 c | 33015 | 72795 340394 1129456 | 2147483647 33015 74 | 0.000 % |
49.71/49.71 c | 33210 | 72795 340394 1129456 | 2147483647 33210 74 | 0.000 % |
50.11/50.11 c | 33422 | 72795 340394 1129456 | 2147483647 33422 74 | 0.000 % |
50.41/50.42 c | 33655 | 72795 340394 1129456 | 2147483647 33655 73 | 0.000 % |
50.81/50.83 c | 33911 | 72795 340394 1129456 | 2147483647 33911 73 | 0.000 % |
51.11/51.14 c | 34193 | 72795 340394 1129456 | 2147483647 34193 73 | 0.000 % |
51.51/51.56 c | 34504 | 72795 340394 1129456 | 2147483647 34504 73 | 0.000 % |
51.81/51.83 c | 34843 | 72795 340394 1129456 | 2147483647 34843 73 | 0.000 % |
52.31/52.32 c | 35216 | 72795 340394 1129456 | 2147483647 35216 73 | 0.000 % |
52.82/52.89 c | 35627 | 72795 340394 1129456 | 2147483647 35627 72 | 0.000 % |
53.11/53.12 c | 36076 | 72795 340394 1129456 | 2147483647 36076 72 | 0.000 % |
53.81/53.82 c | 36569 | 72795 340394 1129456 | 2147483647 36569 72 | 0.000 % |
54.91/54.96 c | 37111 | 72795 340394 1129456 | 2147483647 37111 72 | 0.000 % |
55.02/55.08 c | 37212 | 72795 340394 1129456 | 2147483647 37212 72 | 0.000 % |
55.31/55.30 c | 37322 | 72795 340394 1129456 | 2147483647 37322 72 | 0.000 % |
55.41/55.49 c | 37443 | 72795 340394 1129456 | 2147483647 37443 72 | 0.000 % |
55.51/55.51 c | 37576 | 72795 340394 1129456 | 2147483647 37576 72 | 0.000 % |
55.61/55.64 c | 37722 | 72795 340394 1129456 | 2147483647 37722 72 | 0.000 % |
55.91/55.93 c | 37882 | 72795 340394 1129456 | 2147483647 37882 72 | 0.000 % |
56.01/56.09 c | 38059 | 72795 340394 1129456 | 2147483647 38059 72 | 0.000 % |
56.31/56.32 c | 38252 | 72795 340394 1129456 | 2147483647 38252 72 | 0.000 % |
56.31/56.39 c | 38465 | 72795 340394 1129456 | 2147483647 38465 72 | 0.000 % |
56.71/56.76 c | 38699 | 72795 340394 1129456 | 2147483647 38699 72 | 0.000 % |
57.22/57.26 c | 38957 | 72795 340394 1129456 | 2147483647 38957 73 | 0.000 % |
57.91/57.95 c | 39238 | 72795 340394 1129456 | 2147483647 39238 73 | 0.000 % |
58.52/58.53 c | 39549 | 72795 340394 1129456 | 2147483647 39549 73 | 0.000 % |
58.82/58.83 c | 39888 | 72795 340394 1129456 | 2147483647 39888 73 | 0.000 % |
59.52/59.55 c | 40261 | 72795 340394 1129456 | 2147483647 40261 73 | 0.000 % |
60.42/60.46 c | 40670 | 72795 340394 1129456 | 2147483647 40670 73 | 0.000 % |
61.32/61.35 c | 41120 | 72795 340394 1129456 | 2147483647 41120 74 | 0.000 % |
62.02/62.08 c | 41613 | 72795 340394 1129456 | 2147483647 41613 74 | 0.000 % |
62.92/62.97 c | 42156 | 72795 340394 1129456 | 2147483647 42156 74 | 0.000 % |
63.42/63.51 c | 42752 | 72795 340394 1129456 | 2147483647 42752 76 | 0.000 % |
63.52/63.60 c | 42854 | 72795 340394 1129456 | 2147483647 42854 76 | 0.000 % |
63.72/63.75 c | 42965 | 72795 340394 1129456 | 2147483647 42965 76 | 0.000 % |
63.92/63.93 c | 43086 | 72795 340394 1129456 | 2147483647 43086 76 | 0.000 % |
64.12/64.12 c | 43219 | 72795 340394 1129456 | 2147483647 43219 76 | 0.000 % |
64.22/64.27 c | 43365 | 72795 340394 1129456 | 2147483647 43365 76 | 0.000 % |
64.32/64.33 c | 43526 | 72795 340394 1129456 | 2147483647 43526 76 | 0.000 % |
64.52/64.55 c | 43702 | 72795 340394 1129456 | 2147483647 43702 75 | 0.000 % |
64.93/64.93 c | 43899 | 72795 340394 1129456 | 2147483647 43899 76 | 0.000 % |
65.22/65.23 c | 44111 | 72795 340394 1129456 | 2147483647 44111 75 | 0.000 % |
65.62/65.65 c | 44345 | 72795 340394 1129456 | 2147483647 44345 76 | 0.000 % |
66.03/66.03 c | 44601 | 72795 340394 1129456 | 2147483647 44601 76 | 0.000 % |
66.22/66.30 c | 44883 | 72795 340394 1129456 | 2147483647 44883 76 | 0.000 % |
66.52/66.54 c | 45192 | 72795 340394 1129456 | 2147483647 45192 76 | 0.000 % |
66.72/66.79 c | 45533 | 72795 340394 1129456 | 2147483647 45533 76 | 0.000 % |
67.02/67.02 c | 45905 | 72795 340394 1129456 | 2147483647 45905 75 | 0.000 % |
67.22/67.22 c | 46315 | 72795 340394 1129456 | 2147483647 46315 75 | 0.000 % |
68.02/68.10 c | 46765 | 72795 340394 1129456 | 2147483647 46765 77 | 0.000 % |
69.22/69.25 c | 47258 | 72795 340394 1129456 | 2147483647 47258 77 | 0.000 % |
69.82/69.89 c | 47800 | 72795 340394 1129456 | 2147483647 47800 77 | 0.000 % |
70.32/70.37 c | 48396 | 72795 340394 1129456 | 2147483647 48396 77 | 0.000 % |
70.82/70.87 c | 49052 | 72795 340394 1129456 | 2147483647 49052 77 | 0.000 % |
71.02/71.05 c | 49152 | 72795 340394 1129456 | 2147483647 49152 77 | 0.000 % |
71.22/71.24 c | 49262 | 72795 340394 1129456 | 2147483647 49262 77 | 0.000 % |
71.42/71.49 c | 49383 | 72795 340394 1129456 | 2147483647 49383 77 | 0.000 % |
71.62/71.63 c | 49519 | 72795 340394 1129456 | 2147483647 49519 77 | 0.000 % |
71.72/71.78 c | 49666 | 72795 340394 1129456 | 2147483647 49666 77 | 0.000 % |
71.82/71.84 c | 49826 | 72795 340394 1129456 | 2147483647 49826 77 | 0.000 % |
72.12/72.16 c | 50003 | 72795 340394 1129456 | 2147483647 50003 77 | 0.000 % |
72.32/72.32 c | 50196 | 72795 340394 1129456 | 2147483647 50196 76 | 0.000 % |
72.52/72.55 c | 50408 | 72795 340394 1129456 | 2147483647 50408 76 | 0.000 % |
72.82/72.88 c | 50642 | 72795 340394 1129456 | 2147483647 50642 77 | 0.000 % |
73.02/73.04 c | 50898 | 72795 340394 1129456 | 2147483647 50898 77 | 0.000 % |
73.42/73.46 c | 51179 | 72795 340394 1129456 | 2147483647 51179 77 | 0.000 % |
73.92/73.97 c | 51488 | 72795 340394 1129456 | 2147483647 51488 78 | 0.000 % |
74.32/74.34 c | 51827 | 72795 340394 1129456 | 2147483647 51827 79 | 0.000 % |
74.72/74.73 c | 52199 | 72795 340394 1129456 | 2147483647 52199 79 | 0.000 % |
75.12/75.11 c | 52609 | 72795 340394 1129456 | 2147483647 52609 80 | 0.000 % |
76.12/76.17 c | 53059 | 72795 340394 1129456 | 2147483647 53059 81 | 0.000 % |
76.92/76.92 c | 53553 | 72795 340394 1129456 | 2147483647 53553 81 | 0.000 % |
79.72/79.80 c | 54096 | 72795 340394 1129456 | 2147483647 54096 84 | 0.000 % |
80.93/80.99 c | 54692 | 72795 340394 1129456 | 2147483647 54692 84 | 0.000 % |
81.93/81.99 c | 55347 | 72795 340394 1129456 | 2147483647 55347 86 | 0.000 % |
83.13/83.17 c | 56067 | 72795 340394 1129456 | 2147483647 56067 87 | 0.000 % |
83.23/83.29 c | 56167 | 72795 340394 1129456 | 2147483647 56167 87 | 0.000 % |
83.53/83.58 c | 56282 | 72795 340394 1129456 | 2147483647 56282 87 | 0.000 % |
83.83/83.82 c | 56403 | 72795 340394 1129456 | 2147483647 56403 88 | 0.000 % |
84.03/84.10 c | 56540 | 72795 340394 1129456 | 2147483647 56540 88 | 0.000 % |
84.23/84.26 c | 56686 | 72795 340394 1129456 | 2147483647 56686 87 | 0.000 % |
87.43/87.45 c | 56846 | 72795 340394 1129456 | 2147483647 56846 90 | 0.000 % |
87.73/87.75 c | 57024 | 72795 340394 1129456 | 2147483647 57024 89 | 0.000 % |
87.93/88.00 c | 57217 | 72795 340394 1129456 | 2147483647 57217 89 | 0.000 % |
88.33/88.32 c | 57429 | 72795 340394 1129456 | 2147483647 57429 89 | 0.000 % |
88.43/88.51 c | 57662 | 72795 340394 1129456 | 2147483647 57662 89 | 0.000 % |
88.63/88.68 c | 57920 | 72795 340394 1129456 | 2147483647 57920 88 | 0.000 % |
88.93/88.95 c | 58201 | 72795 340394 1129456 | 2147483647 58201 88 | 0.000 % |
89.13/89.15 c | 58515 | 72795 340394 1129456 | 2147483647 58515 88 | 0.000 % |
89.63/89.71 c | 58855 | 72795 340394 1129456 | 2147483647 58855 88 | 0.000 % |
90.13/90.16 c | 59227 | 72795 340394 1129456 | 2147483647 59227 88 | 0.000 % |
90.43/90.47 c | 59638 | 72795 340394 1129456 | 2147483647 59638 88 | 0.000 % |
90.93/90.94 c | 60087 | 72795 340394 1129456 | 2147483647 60087 87 | 0.000 % |
91.83/91.82 c | 60581 | 72795 340394 1129456 | 2147483647 60581 87 | 0.000 % |
92.43/92.42 c | 61123 | 72795 340394 1129456 | 2147483647 61123 87 | 0.000 % |
92.93/92.93 c | 61719 | 72795 340394 1129456 | 2147483647 61719 86 | 0.000 % |
94.03/94.11 c | 62374 | 72795 340394 1129456 | 2147483647 62374 86 | 0.000 % |
94.63/94.67 c | 63094 | 72795 340394 1129456 | 2147483647 63094 85 | 0.000 % |
95.93/96.00 c | 63886 | 72795 340394 1129456 | 2147483647 63886 86 | 0.000 % |
96.23/96.22 c | 63989 | 72795 340394 1129456 | 2147483647 63989 86 | 0.000 % |
96.33/96.35 c | 64099 | 72795 340394 1129456 | 2147483647 64099 86 | 0.000 % |
96.53/96.60 c | 64221 | 72795 340394 1129456 | 2147483647 64221 86 | 0.000 % |
96.83/96.86 c | 64354 | 72795 340394 1129456 | 2147483647 64354 86 | 0.000 % |
97.13/97.15 c | 64500 | 72795 340394 1129456 | 2147483647 64500 86 | 0.000 % |
97.33/97.34 c | 64660 | 72795 340394 1129456 | 2147483647 64660 86 | 0.000 % |
97.43/97.50 c | 64837 | 72795 340394 1129456 | 2147483647 64837 86 | 0.000 % |
97.63/97.64 c | 65030 | 72795 340394 1129456 | 2147483647 65030 86 | 0.000 % |
97.73/97.76 c | 65242 | 72795 340394 1129456 | 2147483647 65242 86 | 0.000 % |
98.13/98.21 c | 65475 | 72795 340394 1129456 | 2147483647 65475 86 | 0.000 % |
99.03/99.09 c | 65731 | 72795 340394 1129456 | 2147483647 65731 86 | 0.000 % |
99.43/99.49 c | 66014 | 72795 340394 1129456 | 2147483647 66014 86 | 0.000 % |
99.93/99.92 c | 66323 | 72795 340394 1129456 | 2147483647 66323 86 | 0.000 % |
100.23/100.31 c | 66662 | 72795 340394 1129456 | 2147483647 66662 87 | 0.000 % |
100.63/100.64 c | 67035 | 72795 340394 1129456 | 2147483647 67035 87 | 0.000 % |
101.13/101.18 c | 67444 | 72795 340394 1129456 | 2147483647 67444 87 | 0.000 % |
101.73/101.74 c | 67893 | 72795 340394 1129456 | 2147483647 67893 87 | 0.000 % |
102.13/102.19 c | 68386 | 72795 340394 1129456 | 2147483647 68386 87 | 0.000 % |
102.73/102.72 c | 68929 | 72795 340394 1129456 | 2147483647 68929 87 | 0.000 % |
103.43/103.45 c | 69527 | 72795 340394 1129456 | 2147483647 69527 88 | 0.000 % |
104.23/104.31 c | 70183 | 72795 340394 1129456 | 2147483647 70183 88 | 0.000 % |
105.13/105.19 c | 70903 | 72795 340394 1129456 | 2147483647 70903 90 | 0.000 % |
105.83/105.86 c | 71695 | 72795 340394 1129456 | 2147483647 71695 90 | 0.000 % |
106.43/106.43 c | 72566 | 72795 340394 1129456 | 2147483647 72566 90 | 0.000 % |
106.43/106.45 c | 72666 | 72795 340394 1129456 | 2147483647 72666 90 | 0.000 % |
106.53/106.56 c | 72776 | 72795 340394 1129456 | 2147483647 72776 90 | 0.000 % |
106.83/106.83 c | 72897 | 72795 340394 1129456 | 2147483647 72897 90 | 0.000 % |
106.93/107.00 c | 73033 | 72795 340394 1129456 | 2147483647 73033 90 | 0.000 % |
107.13/107.19 c | 73183 | 72795 340394 1129456 | 2147483647 73183 90 | 0.000 % |
107.53/107.57 c | 73343 | 72795 340394 1129456 | 2147483647 73343 91 | 0.000 % |
107.73/107.74 c | 73520 | 72795 340394 1129456 | 2147483647 73520 91 | 0.000 % |
107.93/107.99 c | 73713 | 72795 340394 1129456 | 2147483647 73713 91 | 0.000 % |
108.33/108.33 c | 73925 | 72795 340394 1129456 | 2147483647 73925 90 | 0.000 % |
108.63/108.71 c | 74159 | 72795 340394 1129456 | 2147483647 74159 91 | 0.000 % |
109.23/109.29 c | 74415 | 72795 340394 1129456 | 2147483647 74415 90 | 0.000 % |
109.63/109.68 c | 74697 | 72795 340394 1129456 | 2147483647 74697 91 | 0.000 % |
110.23/110.25 c | 75006 | 72795 340394 1129456 | 2147483647 75006 91 | 0.000 % |
110.43/110.51 c | 75347 | 72795 340394 1129456 | 2147483647 75347 91 | 0.000 % |
111.33/111.34 c | 75719 | 72795 340394 1129456 | 2147483647 75719 90 | 0.000 % |
112.53/112.57 c | 76128 | 72795 340394 1129456 | 2147483647 76128 91 | 0.000 % |
113.43/113.48 c | 76579 | 72795 340394 1129456 | 2147483647 76579 91 | 0.000 % |
114.13/114.21 c | 77073 | 72795 340394 1129456 | 2147483647 77073 92 | 0.000 % |
114.63/114.67 c | 77615 | 72795 340394 1129456 | 2147483647 77615 92 | 0.000 % |
115.23/115.24 c | 78212 | 72795 340394 1129456 | 2147483647 78212 92 | 0.000 % |
116.23/116.22 c | 78867 | 72795 340394 1129456 | 2147483647 78867 93 | 0.000 % |
116.83/116.85 c | 79587 | 72795 340394 1129456 | 2147483647 79587 93 | 0.000 % |
117.63/117.65 c | 80379 | 72795 340394 1129456 | 2147483647 80379 93 | 0.000 % |
119.03/119.08 c | 81250 | 72795 340394 1129456 | 2147483647 81250 94 | 0.000 % |
120.63/120.66 c | 82208 | 72795 340394 1129456 | 2147483647 82208 94 | 0.000 % |
121.03/121.06 c | 82308 | 72795 340394 1129456 | 2147483647 82308 94 | 0.000 % |
121.23/121.26 c | 82419 | 72795 340394 1129456 | 2147483647 82419 94 | 0.000 % |
121.53/121.59 c | 82540 | 72795 340394 1129456 | 2147483647 82540 94 | 0.000 % |
121.63/121.69 c | 82673 | 72795 340394 1129456 | 2147483647 82673 94 | 0.000 % |
121.93/121.99 c | 82822 | 72795 340394 1129456 | 2147483647 82822 94 | 0.000 % |
122.33/122.32 c | 82982 | 72795 340394 1129456 | 2147483647 82982 94 | 0.000 % |
122.43/122.50 c | 83159 | 72795 340394 1129456 | 2147483647 83159 94 | 0.000 % |
122.63/122.67 c | 83352 | 72795 340394 1129456 | 2147483647 83352 94 | 0.000 % |
122.83/122.82 c | 83564 | 72795 340394 1129456 | 2147483647 83564 94 | 0.000 % |
123.03/123.09 c | 83797 | 72795 340394 1129456 | 2147483647 83797 94 | 0.000 % |
123.13/123.21 c | 84053 | 72795 340394 1129456 | 2147483647 84053 93 | 0.000 % |
123.83/123.89 c | 84334 | 72795 340394 1129456 | 2147483647 84334 93 | 0.000 % |
124.83/124.82 c | 84644 | 72795 340394 1129456 | 2147483647 84644 94 | 0.000 % |
125.73/125.71 c | 84984 | 72795 340394 1129456 | 2147483647 84984 94 | 0.000 % |
126.23/126.25 c | 85356 | 72795 340394 1129456 | 2147483647 85356 94 | 0.000 % |
126.63/126.71 c | 85767 | 72795 340394 1129456 | 2147483647 85767 94 | 0.000 % |
127.53/127.56 c | 86216 | 72795 340394 1129456 | 2147483647 86216 94 | 0.000 % |
127.83/127.88 c | 86711 | 72795 340394 1129456 | 2147483647 86711 94 | 0.000 % |
128.83/128.83 c | 87254 | 72795 340394 1129456 | 2147483647 87254 95 | 0.000 % |
129.53/129.55 c | 87852 | 72795 340394 1129456 | 2147483647 87852 95 | 0.000 % |
130.83/130.86 c | 88507 | 72795 340394 1129456 | 2147483647 88507 95 | 0.000 % |
131.93/131.93 c | 89227 | 72795 340394 1129456 | 2147483647 89227 95 | 0.000 % |
132.93/132.95 c | 90019 | 72795 340394 1129456 | 2147483647 90019 96 | 0.000 % |
133.73/133.80 c | 90890 | 72795 340394 1129456 | 2147483647 90890 96 | 0.000 % |
134.33/134.40 c | 91849 | 72795 340394 1129456 | 2147483647 91849 95 | 0.000 % |
136.73/136.76 c | 92903 | 72795 340394 1129456 | 2147483647 92903 95 | 0.000 % |
137.13/137.11 c | 93003 | 72795 340394 1129456 | 2147483647 93003 95 | 0.000 % |
137.33/137.35 c | 93113 | 72795 340394 1129456 | 2147483647 93113 95 | 0.000 % |
137.73/137.74 c | 93235 | 72795 340394 1129456 | 2147483647 93235 95 | 0.000 % |
138.03/138.03 c | 93369 | 72795 340394 1129456 | 2147483647 93369 95 | 0.000 % |
138.23/138.21 c | 93515 | 72795 340394 1129456 | 2147483647 93515 95 | 0.000 % |
138.53/138.57 c | 93675 | 72795 340394 1129456 | 2147483647 93675 95 | 0.000 % |
139.03/139.05 c | 93851 | 72795 340394 1129456 | 2147483647 93851 95 | 0.000 % |
139.53/139.58 c | 94044 | 72795 340394 1129456 | 2147483647 94044 95 | 0.000 % |
139.83/139.87 c | 94256 | 72795 340394 1129456 | 2147483647 94256 95 | 0.000 % |
140.13/140.15 c | 94491 | 72795 340394 1129456 | 2147483647 94491 94 | 0.000 % |
140.73/140.74 c | 94748 | 72795 340394 1129456 | 2147483647 94748 94 | 0.000 % |
140.93/141.01 c | 95029 | 72795 340394 1129456 | 2147483647 95029 94 | 0.000 % |
141.33/141.32 c | 95338 | 72795 340394 1129456 | 2147483647 95338 95 | 0.000 % |
141.73/141.75 c | 95678 | 72795 340394 1129456 | 2147483647 95678 95 | 0.000 % |
142.53/142.52 c | 96052 | 72795 340394 1129456 | 2147483647 96052 94 | 0.000 % |
143.13/143.18 c | 96461 | 72795 340394 1129456 | 2147483647 96461 94 | 0.000 % |
143.63/143.69 c | 96910 | 72795 340394 1129456 | 2147483647 96910 94 | 0.000 % |
144.23/144.23 c | 97403 | 72795 340394 1129456 | 2147483647 97403 94 | 0.000 % |
145.03/145.09 c | 97945 | 72795 340394 1129456 | 2147483647 97945 95 | 0.000 % |
145.93/145.95 c | 98541 | 72795 340394 1129456 | 2147483647 98541 96 | 0.000 % |
146.23/146.27 c | 99196 | 72795 340394 1129456 | 2147483647 99196 96 | 0.000 % |
146.93/146.93 c | 99918 | 72795 340394 1129456 | 2147483647 99918 95 | 0.000 % |
148.03/148.06 c | 100710 | 72795 340394 1129456 | 2147483647 100710 96 | 0.000 % |
149.43/149.45 c | 101581 | 72795 340394 1129456 | 2147483647 101581 96 | 0.000 % |
149.93/149.92 c | 102540 | 72795 340394 1129456 | 2147483647 102540 96 | 0.000 % |
152.13/152.18 c | 103593 | 72795 340394 1129456 | 2147483647 103593 97 | 0.000 % |
154.23/154.23 c | 104751 | 72795 340394 1129456 | 2147483647 104751 98 | 0.000 % |
154.43/154.45 c | 104851 | 72795 340394 1129456 | 2147483647 104851 98 | 0.000 % |
154.63/154.69 c | 104964 | 72795 340394 1129456 | 2147483647 104964 98 | 0.000 % |
155.03/155.07 c | 105085 | 72795 340394 1129456 | 2147483647 105085 98 | 0.000 % |
155.33/155.35 c | 105219 | 72795 340394 1129456 | 2147483647 105219 98 | 0.000 % |
155.83/155.88 c | 105368 | 72795 340394 1129456 | 2147483647 105368 98 | 0.000 % |
156.24/156.24 c | 105529 | 72795 340394 1129456 | 2147483647 105529 98 | 0.000 % |
156.53/156.53 c | 105705 | 72795 340394 1129456 | 2147483647 105705 99 | 0.000 % |
156.83/156.89 c | 105899 | 72795 340394 1129456 | 2147483647 105899 99 | 0.000 % |
157.34/157.38 c | 106111 | 72795 340394 1129456 | 2147483647 106111 99 | 0.000 % |
157.73/157.78 c | 106345 | 72795 340394 1129456 | 2147483647 106345 99 | 0.000 % |
158.03/158.07 c | 106607 | 72795 340394 1129456 | 2147483647 106607 99 | 0.000 % |
158.23/158.28 c | 106890 | 72795 340394 1129456 | 2147483647 106890 99 | 0.000 % |
158.53/158.55 c | 107199 | 72795 340394 1129456 | 2147483647 107199 99 | 0.000 % |
159.03/159.07 c | 107540 | 72795 340394 1129456 | 2147483647 107540 99 | 0.000 % |
160.53/160.55 c | 107913 | 72795 340394 1129456 | 2147483647 107913 100 | 0.000 % |
162.13/162.14 c | 108322 | 72795 340394 1129456 | 2147483647 108322 100 | 0.000 % |
162.53/162.61 c | 108772 | 72795 340394 1129456 | 2147483647 108772 100 | 0.000 % |
163.23/163.29 c | 109265 | 72795 340394 1129456 | 2147483647 109265 100 | 0.000 % |
163.83/163.89 c | 109807 | 72795 340394 1129456 | 2147483647 109807 100 | 0.000 % |
164.23/164.24 c | 110403 | 72795 340394 1129456 | 2147483647 110403 99 | 0.000 % |
165.53/165.60 c | 111058 | 72795 340394 1129456 | 2147483647 111058 100 | 0.000 % |
166.53/166.56 c | 111778 | 72795 340394 1129456 | 2147483647 111778 100 | 0.000 % |
167.93/167.99 c | 112570 | 72795 340394 1129456 | 2147483647 112570 101 | 0.000 % |
169.93/169.95 c | 113441 | 72795 340394 1129456 | 2147483647 113441 101 | 0.000 % |
170.54/170.54 c | 114406 | 72795 340394 1129456 | 2147483647 114406 101 | 0.000 % |
171.23/171.30 c | 115459 | 72795 340394 1129456 | 2147483647 115459 101 | 0.000 % |
172.23/172.28 c | 116617 | 72795 340394 1129456 | 2147483647 116617 100 | 0.000 % |
173.43/173.42 c | 117891 | 72795 340394 1129456 | 2147483647 117891 100 | 0.000 % |
173.53/173.57 c | 117991 | 72795 340394 1129456 | 2147483647 117991 100 | 0.000 % |
173.73/173.77 c | 118101 | 72795 340394 1129456 | 2147483647 118101 100 | 0.000 % |
174.33/174.33 c | 118222 | 72795 340394 1129456 | 2147483647 118222 100 | 0.000 % |
174.63/174.68 c | 118356 | 72795 340394 1129456 | 2147483647 118356 100 | 0.000 % |
174.83/174.84 c | 118502 | 72795 340394 1129456 | 2147483647 118502 100 | 0.000 % |
175.13/175.14 c | 118662 | 72795 340394 1129456 | 2147483647 118662 100 | 0.000 % |
175.73/175.73 c | 118840 | 72795 340394 1129456 | 2147483647 118840 100 | 0.000 % |
176.33/176.38 c | 119035 | 72795 340394 1129456 | 2147483647 119035 100 | 0.000 % |
176.93/176.97 c | 119247 | 72795 340394 1129456 | 2147483647 119247 100 | 0.000 % |
177.23/177.29 c | 119481 | 72795 340394 1129456 | 2147483647 119481 100 | 0.000 % |
177.53/177.60 c | 119737 | 72795 340394 1129456 | 2147483647 119737 100 | 0.000 % |
177.83/177.84 c | 120019 | 72795 340394 1129456 | 2147483647 120019 100 | 0.000 % |
178.24/178.25 c | 120333 | 72795 340394 1129456 | 2147483647 120333 100 | 0.000 % |
178.73/178.73 c | 120672 | 72795 340394 1129456 | 2147483647 120672 100 | 0.000 % |
179.13/179.14 c | 121044 | 72795 340394 1129456 | 2147483647 121044 100 | 0.000 % |
179.93/179.95 c | 121453 | 72795 340394 1129456 | 2147483647 121453 100 | 0.000 % |
180.83/180.89 c | 121902 | 72795 340394 1129456 | 2147483647 121902 100 | 0.000 % |
181.73/181.75 c | 122395 | 72795 340394 1129456 | 2147483647 122395 99 | 0.000 % |
182.64/182.65 c | 122937 | 72795 340394 1129456 | 2147483647 122937 99 | 0.000 % |
183.43/183.42 c | 123534 | 72795 340394 1129456 | 2147483647 123534 100 | 0.000 % |
184.33/184.37 c | 124193 | 72795 340394 1129456 | 2147483647 124193 100 | 0.000 % |
185.03/185.03 c | 124913 | 72795 340394 1129456 | 2147483647 124913 101 | 0.000 % |
185.94/185.92 c | 125705 | 72795 340394 1129456 | 2147483647 125705 101 | 0.000 % |
186.93/186.97 c | 126576 | 72795 340394 1129456 | 2147483647 126576 101 | 0.000 % |
188.63/188.65 c | 127534 | 72795 340394 1129456 | 2147483647 127534 101 | 0.000 % |
190.03/190.04 c | 128588 | 72795 340394 1129456 | 2147483647 128588 101 | 0.000 % |
191.74/191.78 c | 129746 | 72795 340394 1129456 | 2147483647 129746 102 | 0.000 % |
193.34/193.33 c | 131021 | 72795 340394 1129456 | 2147483647 131021 103 | 0.000 % |
196.04/196.07 c | 132421 | 72795 340394 1129456 | 2147483647 132421 104 | 0.000 % |
196.24/196.27 c | 132525 | 72795 340394 1129456 | 2147483647 132525 104 | 0.000 % |
196.44/196.47 c | 132635 | 72795 340394 1129456 | 2147483647 132635 104 | 0.000 % |
196.84/196.86 c | 132757 | 72795 340394 1129456 | 2147483647 132757 104 | 0.000 % |
196.94/197.01 c | 132890 | 72795 340394 1129456 | 2147483647 132890 104 | 0.000 % |
197.34/197.34 c | 133036 | 72795 340394 1129456 | 2147483647 133036 104 | 0.000 % |
197.74/197.77 c | 133196 | 72795 340394 1129456 | 2147483647 133196 104 | 0.000 % |
197.94/197.97 c | 133373 | 72795 340394 1129456 | 2147483647 133373 104 | 0.000 % |
198.64/198.68 c | 133568 | 72795 340394 1129456 | 2147483647 133568 104 | 0.000 % |
199.04/199.02 c | 133783 | 72795 340394 1129456 | 2147483647 133783 104 | 0.000 % |
199.34/199.39 c | 134017 | 72795 340394 1129456 | 2147483647 134017 104 | 0.000 % |
200.34/200.37 c | 134275 | 72795 340394 1129456 | 2147483647 134275 104 | 0.000 % |
201.24/201.23 c | 134557 | 72795 340394 1129456 | 2147483647 134557 104 | 0.000 % |
201.84/201.87 c | 134866 | 72795 340394 1129456 | 2147483647 134866 104 | 0.000 % |
202.24/202.22 c | 135206 | 72795 340394 1129456 | 2147483647 135206 104 | 0.000 % |
202.64/202.69 c | 135578 | 72795 340394 1129456 | 2147483647 135578 104 | 0.000 % |
204.34/204.33 c | 135987 | 72795 340394 1129456 | 2147483647 135987 105 | 0.000 % |
204.74/204.78 c | 136437 | 72795 340394 1129456 | 2147483647 136437 104 | 0.000 % |
205.24/205.23 c | 136930 | 72795 340394 1129456 | 2147483647 136930 104 | 0.000 % |
206.54/206.60 c | 137473 | 72795 340394 1129456 | 2147483647 137473 104 | 0.000 % |
208.74/208.81 c | 138071 | 72795 340394 1129456 | 2147483647 138071 104 | 0.000 % |
209.84/209.88 c | 138727 | 72795 340394 1129456 | 2147483647 138727 104 | 0.000 % |
210.94/210.98 c | 139447 | 72795 340394 1129456 | 2147483647 139447 105 | 0.000 % |
212.04/212.04 c | 140239 | 72795 340394 1129456 | 2147483647 140239 106 | 0.000 % |
212.54/212.61 c | 141110 | 72795 340394 1129456 | 2147483647 141110 105 | 0.000 % |
214.24/214.29 c | 142068 | 72795 340394 1129456 | 2147483647 142068 106 | 0.000 % |
215.84/215.90 c | 143124 | 72795 340394 1129456 | 2147483647 143124 106 | 0.000 % |
217.64/217.67 c | 144283 | 72795 340394 1129456 | 2147483647 144283 106 | 0.000 % |
219.44/219.45 c | 145557 | 72795 340394 1129456 | 2147483647 145557 107 | 0.000 % |
221.14/221.21 c | 146959 | 72795 340394 1129456 | 2147483647 146959 108 | 0.000 % |
223.84/223.89 c | 148500 | 72795 340394 1129456 | 2147483647 148500 108 | 0.000 % |
224.14/224.18 c | 148601 | 72795 340394 1129456 | 2147483647 148601 109 | 0.000 % |
224.64/224.64 c | 148713 | 72795 340394 1129456 | 2147483647 148713 109 | 0.000 % |
224.84/224.82 c | 148834 | 72795 340394 1129456 | 2147483647 148834 108 | 0.000 % |
225.14/225.13 c | 148967 | 72795 340394 1129456 | 2147483647 148967 108 | 0.000 % |
225.24/225.31 c | 149113 | 72795 340394 1129456 | 2147483647 149113 108 | 0.000 % |
225.54/225.52 c | 149274 | 72795 340394 1129456 | 2147483647 149274 108 | 0.000 % |
226.04/226.08 c | 149450 | 72795 340394 1129456 | 2147483647 149450 108 | 0.000 % |
226.44/226.49 c | 149643 | 72795 340394 1129456 | 2147483647 149643 108 | 0.000 % |
226.94/226.97 c | 149857 | 72795 340394 1129456 | 2147483647 149857 108 | 0.000 % |
227.54/227.59 c | 150091 | 72795 340394 1129456 | 2147483647 150091 108 | 0.000 % |
228.74/228.80 c | 150348 | 72795 340394 1129456 | 2147483647 150348 108 | 0.000 % |
229.04/229.11 c | 150629 | 72795 340394 1129456 | 2147483647 150629 108 | 0.000 % |
229.64/229.66 c | 150938 | 72795 340394 1129456 | 2147483647 150938 108 | 0.000 % |
230.34/230.38 c | 151278 | 72795 340394 1129456 | 2147483647 151278 108 | 0.000 % |
231.24/231.25 c | 151651 | 72795 340394 1129456 | 2147483647 151651 108 | 0.000 % |
231.54/231.60 c | 152061 | 72795 340394 1129456 | 2147483647 152061 108 | 0.000 % |
232.34/232.40 c | 152510 | 72795 340394 1129456 | 2147483647 152510 108 | 0.000 % |
232.84/232.84 c | 153003 | 72795 340394 1129456 | 2147483647 153003 108 | 0.000 % |
233.84/233.83 c | 153545 | 72795 340394 1129456 | 2147483647 153545 108 | 0.000 % |
234.44/234.49 c | 154142 | 72795 340394 1129456 | 2147483647 154142 108 | 0.000 % |
235.34/235.39 c | 154798 | 72795 340394 1129456 | 2147483647 154798 108 | 0.000 % |
236.34/236.38 c | 155519 | 72795 340394 1129456 | 2147483647 155519 108 | 0.000 % |
237.04/237.10 c | 156311 | 72795 340394 1129456 | 2147483647 156311 108 | 0.000 % |
241.74/241.79 c | 157182 | 72795 340394 1129456 | 2147483647 157182 109 | 0.000 % |
243.54/243.57 c | 158140 | 72795 340394 1129456 | 2147483647 158140 108 | 0.000 % |
245.04/245.11 c | 159195 | 72795 340394 1129456 | 2147483647 159195 108 | 0.000 % |
246.44/246.47 c | 160354 | 72795 340394 1129456 | 2147483647 160354 108 | 0.000 % |
248.04/248.07 c | 161628 | 72795 340394 1129456 | 2147483647 161628 108 | 0.000 % |
250.04/250.05 c | 163030 | 72795 340394 1129456 | 2147483647 163030 108 | 0.000 % |
256.24/256.31 c | 164570 | 72795 340394 1129456 | 2147483647 164570 111 | 0.000 % |
258.84/258.81 c | 166264 | 72795 340394 1129456 | 2147483647 166264 111 | 0.000 % |
258.94/258.96 c | 166366 | 72795 340394 1129456 | 2147483647 166366 111 | 0.000 % |
259.04/259.06 c | 166478 | 72795 340394 1129456 | 2147483647 166478 111 | 0.000 % |
259.24/259.30 c | 166600 | 72795 340394 1129456 | 2147483647 166600 110 | 0.000 % |
259.54/259.59 c | 166733 | 72795 340394 1129456 | 2147483647 166733 111 | 0.000 % |
259.84/259.85 c | 166879 | 72795 340394 1129456 | 2147483647 166879 111 | 0.000 % |
260.14/260.12 c | 167040 | 72795 340394 1129456 | 2147483647 167040 110 | 0.000 % |
260.64/260.68 c | 167218 | 72795 340394 1129456 | 2147483647 167218 111 | 0.000 % |
261.24/261.26 c | 167411 | 72795 340394 1129456 | 2147483647 167411 110 | 0.000 % |
261.44/261.42 c | 167623 | 72795 340394 1129456 | 2147483647 167623 110 | 0.000 % |
261.85/261.82 c | 167856 | 72795 340394 1129456 | 2147483647 167856 111 | 0.000 % |
262.24/262.24 c | 168113 | 72795 340394 1129456 | 2147483647 168113 111 | 0.000 % |
263.14/263.16 c | 168394 | 72795 340394 1129456 | 2147483647 168394 111 | 0.000 % |
263.64/263.67 c | 168703 | 72795 340394 1129456 | 2147483647 168703 111 | 0.000 % |
264.44/264.43 c | 169042 | 72795 340394 1129456 | 2147483647 169042 110 | 0.000 % |
265.15/265.15 c | 169414 | 72795 340394 1129456 | 2147483647 169414 110 | 0.000 % |
266.04/266.07 c | 169825 | 72795 340394 1129456 | 2147483647 169825 110 | 0.000 % |
267.04/267.06 c | 170275 | 72795 340394 1129456 | 2147483647 170275 110 | 0.000 % |
267.64/267.67 c | 170768 | 72795 340394 1129456 | 2147483647 170768 110 | 0.000 % |
268.94/268.96 c | 171311 | 72795 340394 1129456 | 2147483647 171311 110 | 0.000 % |
269.84/269.83 c | 171907 | 72795 340394 1129456 | 2147483647 171907 110 | 0.000 % |
270.94/271.00 c | 172564 | 72795 340394 1129456 | 2147483647 172564 110 | 0.000 % |
272.34/272.38 c | 173285 | 72795 340394 1129456 | 2147483647 173285 110 | 0.000 % |
274.04/274.02 c | 174077 | 72795 340394 1129456 | 2147483647 174077 110 | 0.000 % |
275.34/275.36 c | 174949 | 72795 340394 1129456 | 2147483647 174949 110 | 0.000 % |
276.24/276.31 c | 175908 | 72795 340394 1129456 | 2147483647 175908 110 | 0.000 % |
277.84/277.83 c | 176961 | 72795 340394 1129456 | 2147483647 176961 110 | 0.000 % |
279.54/279.53 c | 178121 | 72795 340394 1129456 | 2147483647 178121 110 | 0.000 % |
280.84/280.81 c | 179394 | 72795 340394 1129456 | 2147483647 179394 109 | 0.000 % |
283.14/283.16 c | 180794 | 72795 340394 1129456 | 2147483647 180794 110 | 0.000 % |
284.84/284.85 c | 182334 | 72795 340394 1129456 | 2147483647 182334 110 | 0.000 % |
287.54/287.51 c | 184028 | 72795 340394 1129456 | 2147483647 184028 110 | 0.000 % |
290.04/290.02 c | 185891 | 72795 340394 1129456 | 2147483647 185891 111 | 0.000 % |
290.24/290.25 c | 185992 | 72795 340394 1129456 | 2147483647 185992 111 | 0.000 % |
290.45/290.48 c | 186104 | 72795 340394 1129456 | 2147483647 186104 111 | 0.000 % |
290.64/290.64 c | 186226 | 72795 340394 1129456 | 2147483647 186226 111 | 0.000 % |
290.84/290.81 c | 186359 | 72795 340394 1129456 | 2147483647 186359 111 | 0.000 % |
291.04/291.08 c | 186505 | 72795 340394 1129456 | 2147483647 186505 111 | 0.000 % |
291.55/291.58 c | 186666 | 72795 340394 1129456 | 2147483647 186666 111 | 0.000 % |
292.34/292.33 c | 186844 | 72795 340394 1129456 | 2147483647 186844 111 | 0.000 % |
292.44/292.46 c | 187039 | 72795 340394 1129456 | 2147483647 187039 111 | 0.000 % |
292.74/292.77 c | 187251 | 72795 340394 1129456 | 2147483647 187251 111 | 0.000 % |
293.44/293.45 c | 187486 | 72795 340394 1129456 | 2147483647 187486 111 | 0.000 % |
293.84/293.82 c | 187742 | 72795 340394 1129456 | 2147483647 187742 111 | 0.000 % |
294.34/294.40 c | 188024 | 72795 340394 1129456 | 2147483647 188024 111 | 0.000 % |
295.14/295.17 c | 188333 | 72795 340394 1129456 | 2147483647 188333 111 | 0.000 % |
295.44/295.50 c | 188673 | 72795 340394 1129456 | 2147483647 188673 111 | 0.000 % |
296.34/296.32 c | 189045 | 72795 340394 1129456 | 2147483647 189045 111 | 0.000 % |
297.14/297.13 c | 189455 | 72795 340394 1129456 | 2147483647 189455 111 | 0.000 % |
297.74/297.77 c | 189904 | 72795 340394 1129456 | 2147483647 189904 111 | 0.000 % |
298.74/298.76 c | 190397 | 72795 340394 1129456 | 2147483647 190397 111 | 0.000 % |
299.94/299.93 c | 190939 | 72795 340394 1129456 | 2147483647 190939 112 | 0.000 % |
301.24/301.25 c | 191535 | 72795 340394 1129456 | 2147483647 191535 112 | 0.000 % |
301.94/301.92 c | 192192 | 72795 340394 1129456 | 2147483647 192192 112 | 0.000 % |
302.45/302.43 c | 192912 | 72795 340394 1129456 | 2147483647 192912 112 | 0.000 % |
302.95/302.96 c | 193704 | 72795 340394 1129456 | 2147483647 193704 112 | 0.000 % |
304.55/304.58 c | 194575 | 72795 340394 1129456 | 2147483647 194575 112 | 0.000 % |
306.75/306.79 c | 195533 | 72795 340394 1129456 | 2147483647 195533 112 | 0.000 % |
308.55/308.62 c | 196587 | 72795 340394 1129456 | 2147483647 196587 113 | 0.000 % |
310.85/310.87 c | 197745 | 72795 340394 1129456 | 2147483647 197745 113 | 0.000 % |
312.65/312.71 c | 199018 | 72795 340394 1129456 | 2147483647 199018 113 | 0.000 % |
314.75/314.81 c | 200418 | 72795 340394 1129456 | 2147483647 200418 114 | 0.000 % |
321.05/321.10 c | 201958 | 72795 340394 1129456 | 2147483647 201958 114 | 0.000 % |
325.65/325.70 c | 203653 | 72795 340394 1129456 | 2147483647 203653 114 | 0.000 % |
331.45/331.46 c | 205517 | 72795 340394 1129456 | 2147483647 205517 115 | 0.000 % |
336.15/336.15 c | 207566 | 72795 340394 1129456 | 2147483647 207566 115 | 0.000 % |
336.35/336.38 c | 207666 | 72795 340394 1129456 | 2147483647 207666 115 | 0.000 % |
336.45/336.46 c | 207778 | 72795 340394 1129456 | 2147483647 207778 115 | 0.000 % |
336.65/336.66 c | 207900 | 72795 340394 1129456 | 2147483647 207900 115 | 0.000 % |
336.85/336.91 c | 208033 | 72795 340394 1129456 | 2147483647 208033 115 | 0.000 % |
337.15/337.18 c | 208179 | 72795 340394 1129456 | 2147483647 208179 115 | 0.000 % |
337.55/337.56 c | 208340 | 72795 340394 1129456 | 2147483647 208340 115 | 0.000 % |
337.95/337.98 c | 208516 | 72795 340394 1129456 | 2147483647 208516 115 | 0.000 % |
338.35/338.34 c | 208710 | 72795 340394 1129456 | 2147483647 208710 115 | 0.000 % |
338.65/338.68 c | 208922 | 72795 340394 1129456 | 2147483647 208922 115 | 0.000 % |
339.15/339.21 c | 209155 | 72795 340394 1129456 | 2147483647 209155 115 | 0.000 % |
339.85/339.90 c | 209412 | 72795 340394 1129456 | 2147483647 209412 116 | 0.000 % |
340.25/340.31 c | 209693 | 72795 340394 1129456 | 2147483647 209693 116 | 0.000 % |
340.65/340.69 c | 210002 | 72795 340394 1129456 | 2147483647 210002 116 | 0.000 % |
341.35/341.36 c | 210341 | 72795 340394 1129456 | 2147483647 210341 116 | 0.000 % |
342.15/342.18 c | 210713 | 72795 340394 1129456 | 2147483647 210713 116 | 0.000 % |
342.95/342.99 c | 211128 | 72795 340394 1129456 | 2147483647 211128 116 | 0.000 % |
344.35/344.35 c | 211577 | 72795 340394 1129456 | 2147483647 211577 116 | 0.000 % |
345.15/345.18 c | 212073 | 72795 340394 1129456 | 2147483647 212073 117 | 0.000 % |
346.15/346.19 c | 212615 | 72795 340394 1129456 | 2147483647 212615 117 | 0.000 % |
346.85/346.86 c | 213212 | 72795 340394 1129456 | 2147483647 213212 117 | 0.000 % |
348.75/348.79 c | 213869 | 72795 340394 1129456 | 2147483647 213869 117 | 0.000 % |
349.25/349.22 c | 214589 | 72795 340394 1129456 | 2147483647 214589 117 | 0.000 % |
350.55/350.53 c | 215381 | 72795 340394 1129456 | 2147483647 215381 117 | 0.000 % |
352.85/352.88 c | 216253 | 72795 340394 1129456 | 2147483647 216253 118 | 0.000 % |
354.45/354.50 c | 217211 | 72795 340394 1129456 | 2147483647 217211 118 | 0.000 % |
355.85/355.88 c | 218265 | 72795 340394 1129456 | 2147483647 218265 118 | 0.000 % |
357.95/358.01 c | 219423 | 72795 340394 1129456 | 2147483647 219423 118 | 0.000 % |
361.75/361.78 c | 220699 | 72795 340394 1129456 | 2147483647 220699 119 | 0.000 % |
364.25/364.23 c | 222099 | 72795 340394 1129456 | 2147483647 222099 120 | 0.000 % |
366.45/366.51 c | 223640 | 72795 340394 1129456 | 2147483647 223640 120 | 0.000 % |
369.35/369.34 c | 225334 | 72795 340394 1129456 | 2147483647 225334 121 | 0.000 % |
372.05/372.07 c | 227198 | 72795 340394 1129456 | 2147483647 227198 121 | 0.000 % |
373.25/373.29 c | 229250 | 72795 340394 1129456 | 2147483647 229250 121 | 0.000 % |
378.35/378.35 c | 231503 | 72795 340394 1129456 | 2147483647 231503 121 | 0.000 % |
378.65/378.68 c | 231603 | 72795 340394 1129456 | 2147483647 231603 121 | 0.000 % |
378.95/378.93 c | 231714 | 72795 340394 1129456 | 2147483647 231714 121 | 0.000 % |
379.15/379.16 c | 231835 | 72795 340394 1129456 | 2147483647 231835 121 | 0.000 % |
379.25/379.28 c | 231968 | 72795 340394 1129456 | 2147483647 231968 121 | 0.000 % |
379.65/379.65 c | 232114 | 72795 340394 1129456 | 2147483647 232114 121 | 0.000 % |
380.05/380.02 c | 232274 | 72795 340394 1129456 | 2147483647 232274 121 | 0.000 % |
380.35/380.37 c | 232450 | 72795 340394 1129456 | 2147483647 232450 121 | 0.000 % |
380.75/380.73 c | 232643 | 72795 340394 1129456 | 2147483647 232643 121 | 0.000 % |
381.25/381.24 c | 232855 | 72795 340394 1129456 | 2147483647 232855 121 | 0.000 % |
381.65/381.71 c | 233091 | 72795 340394 1129456 | 2147483647 233091 122 | 0.000 % |
382.05/382.10 c | 233347 | 72795 340394 1129456 | 2147483647 233347 122 | 0.000 % |
382.75/382.74 c | 233628 | 72795 340394 1129456 | 2147483647 233628 122 | 0.000 % |
383.25/383.23 c | 233937 | 72795 340394 1129456 | 2147483647 233937 122 | 0.000 % |
383.55/383.60 c | 234276 | 72795 340394 1129456 | 2147483647 234276 122 | 0.000 % |
384.25/384.26 c | 234648 | 72795 340394 1129456 | 2147483647 234648 122 | 0.000 % |
384.55/384.56 c | 235059 | 72795 340394 1129456 | 2147483647 235059 122 | 0.000 % |
385.06/385.06 c | 235510 | 72795 340394 1129456 | 2147483647 235510 121 | 0.000 % |
386.05/386.06 c | 236004 | 72795 340394 1129456 | 2147483647 236004 121 | 0.000 % |
387.05/387.08 c | 236548 | 72795 340394 1129456 | 2147483647 236548 121 | 0.000 % |
388.25/388.26 c | 237144 | 72795 340394 1129456 | 2147483647 237144 121 | 0.000 % |
389.46/389.47 c | 237800 | 72795 340394 1129456 | 2147483647 237800 121 | 0.000 % |
391.15/391.14 c | 238520 | 72795 340394 1129456 | 2147483647 238520 121 | 0.000 % |
392.55/392.57 c | 239314 | 72795 340394 1129456 | 2147483647 239314 121 | 0.000 % |
393.95/393.94 c | 240186 | 72795 340394 1129456 | 2147483647 240186 121 | 0.000 % |
396.34/396.34 c | 241145 | 72795 340394 1129456 | 2147483647 241145 122 | 0.000 % |
398.94/398.99 c | 242199 | 72795 340394 1129456 | 2147483647 242199 122 | 0.000 % |
400.84/400.89 c | 243357 | 72795 340394 1129456 | 2147483647 243357 122 | 0.000 % |
402.74/402.78 c | 244633 | 72795 340394 1129456 | 2147483647 244633 122 | 0.000 % |
404.64/404.64 c | 246039 | 72795 340394 1129456 | 2147483647 246039 121 | 0.000 % |
407.74/407.74 c | 247579 | 72795 340394 1129456 | 2147483647 247579 122 | 0.000 % |
409.44/409.44 c | 249274 | 72795 340394 1129456 | 2147483647 249274 121 | 0.000 % |
412.14/412.19 c | 251137 | 72795 340394 1129456 | 2147483647 251137 121 | 0.000 % |
415.65/415.65 c | 253186 | 72795 340394 1129456 | 2147483647 253186 121 | 0.000 % |
420.65/420.64 c | 255439 | 72795 340394 1129456 | 2147483647 255439 122 | 0.000 % |
428.35/428.35 c | 257917 | 72795 340394 1129456 | 2147483647 257917 123 | 0.000 % |
428.55/428.54 c | 258017 | 72795 340394 1129456 | 2147483647 258017 123 | 0.000 % |
428.65/428.64 c | 258127 | 72795 340394 1129456 | 2147483647 258127 123 | 0.000 % |
429.05/429.08 c | 258248 | 72795 340394 1129456 | 2147483647 258248 123 | 0.000 % |
429.35/429.34 c | 258382 | 72795 340394 1129456 | 2147483647 258382 123 | 0.000 % |
429.65/429.66 c | 258528 | 72795 340394 1129456 | 2147483647 258528 123 | 0.000 % |
429.95/429.93 c | 258688 | 72795 340394 1129456 | 2147483647 258688 123 | 0.000 % |
430.45/430.41 c | 258864 | 72795 340394 1129456 | 2147483647 258864 123 | 0.000 % |
430.65/430.64 c | 259057 | 72795 340394 1129456 | 2147483647 259057 123 | 0.000 % |
430.95/431.00 c | 259270 | 72795 340394 1129456 | 2147483647 259270 123 | 0.000 % |
431.65/431.62 c | 259503 | 72795 340394 1129456 | 2147483647 259503 123 | 0.000 % |
432.35/432.37 c | 259759 | 72795 340394 1129456 | 2147483647 259759 123 | 0.000 % |
433.25/433.27 c | 260041 | 72795 340394 1129456 | 2147483647 260041 123 | 0.000 % |
434.05/434.02 c | 260352 | 72795 340394 1129456 | 2147483647 260352 123 | 0.000 % |
434.75/434.80 c | 260692 | 72795 340394 1129456 | 2147483647 260692 123 | 0.000 % |
435.65/435.66 c | 261065 | 72795 340394 1129456 | 2147483647 261065 124 | 0.000 % |
436.65/436.64 c | 261474 | 72795 340394 1129456 | 2147483647 261474 124 | 0.000 % |
437.25/437.30 c | 261924 | 72795 340394 1129456 | 2147483647 261924 123 | 0.000 % |
438.05/438.01 c | 262420 | 72795 340394 1129456 | 2147483647 262420 124 | 0.000 % |
439.55/439.57 c | 262962 | 72795 340394 1129456 | 2147483647 262962 124 | 0.000 % |
440.65/440.61 c | 263558 | 72795 340394 1129456 | 2147483647 263558 124 | 0.000 % |
441.55/441.54 c | 264213 | 72795 340394 1129456 | 2147483647 264213 124 | 0.000 % |
442.55/442.60 c | 264934 | 72795 340394 1129456 | 2147483647 264934 124 | 0.000 % |
444.25/444.21 c | 265726 | 72795 340394 1129456 | 2147483647 265726 124 | 0.000 % |
445.55/445.59 c | 266597 | 72795 340394 1129456 | 2147483647 266597 124 | 0.000 % |
447.05/447.04 c | 267556 | 72795 340394 1129456 | 2147483647 267556 124 | 0.000 % |
449.05/449.09 c | 268610 | 72795 340394 1129456 | 2147483647 268610 125 | 0.000 % |
450.35/450.36 c | 269769 | 72795 340394 1129456 | 2147483647 269769 124 | 0.000 % |
453.85/453.89 c | 271042 | 72795 340394 1129456 | 2147483647 271042 125 | 0.000 % |
456.55/456.59 c | 272443 | 72795 340394 1129456 | 2147483647 272443 126 | 0.000 % |
460.05/460.02 c | 273983 | 72795 340394 1129456 | 2147483647 273983 126 | 0.000 % |
463.95/463.91 c | 275678 | 72795 340394 1129456 | 2147483647 275678 126 | 0.000 % |
465.55/465.59 c | 277542 | 72795 340394 1129456 | 2147483647 277542 127 | 0.000 % |
469.55/469.55 c | 279591 | 72795 340394 1129456 | 2147483647 279591 127 | 0.000 % |
473.35/473.36 c | 281844 | 72795 340394 1129456 | 2147483647 281844 127 | 0.000 % |
477.15/477.19 c | 284324 | 72795 340394 1129456 | 2147483647 284324 128 | 0.000 % |
480.55/480.58 c | 287049 | 72795 340394 1129456 | 2147483647 287049 128 | 0.000 % |
480.95/480.93 c | 287152 | 72795 340394 1129456 | 2147483647 287152 128 | 0.000 % |
481.25/481.24 c | 287262 | 72795 340394 1129456 | 2147483647 287262 128 | 0.000 % |
481.55/481.51 c | 287383 | 72795 340394 1129456 | 2147483647 287383 128 | 0.000 % |
481.86/481.83 c | 287516 | 72795 340394 1129456 | 2147483647 287516 128 | 0.000 % |
482.15/482.16 c | 287662 | 72795 340394 1129456 | 2147483647 287662 128 | 0.000 % |
482.65/482.66 c | 287824 | 72795 340394 1129456 | 2147483647 287824 128 | 0.000 % |
483.15/483.19 c | 288000 | 72795 340394 1129456 | 2147483647 288000 128 | 0.000 % |
483.45/483.47 c | 288193 | 72795 340394 1129456 | 2147483647 288193 128 | 0.000 % |
483.75/483.76 c | 288405 | 72795 340394 1129456 | 2147483647 288405 128 | 0.000 % |
484.35/484.40 c | 288638 | 72795 340394 1129456 | 2147483647 288638 128 | 0.000 % |
484.75/484.71 c | 288896 | 72795 340394 1129456 | 2147483647 288896 128 | 0.000 % |
485.16/485.14 c | 289177 | 72795 340394 1129456 | 2147483647 289177 128 | 0.000 % |
485.65/485.69 c | 289487 | 72795 340394 1129456 | 2147483647 289487 128 | 0.000 % |
486.26/486.23 c | 289829 | 72795 340394 1129456 | 2147483647 289829 128 | 0.000 % |
486.85/486.90 c | 290203 | 72795 340394 1129456 | 2147483647 290203 128 | 0.000 % |
487.75/487.70 c | 290612 | 72795 340394 1129456 | 2147483647 290612 128 | 0.000 % |
487.95/487.97 c | 291062 | 72795 340394 1129456 | 2147483647 291062 128 | 0.000 % |
488.95/488.96 c | 291556 | 72795 340394 1129456 | 2147483647 291556 128 | 0.000 % |
490.45/490.41 c | 292103 | 72795 340394 1129456 | 2147483647 292103 128 | 0.000 % |
492.05/492.04 c | 292699 | 72795 340394 1129456 | 2147483647 292699 128 | 0.000 % |
494.45/494.41 c | 293355 | 72795 340394 1129456 | 2147483647 293355 129 | 0.000 % |
495.95/495.93 c | 294075 | 72795 340394 1129456 | 2147483647 294075 129 | 0.000 % |
497.05/497.01 c | 294867 | 72795 340394 1129456 | 2147483647 294867 129 | 0.000 % |
498.36/498.35 c | 295739 | 72795 340394 1129456 | 2147483647 295739 129 | 0.000 % |
499.65/499.66 c | 296697 | 72795 340394 1129456 | 2147483647 296697 129 | 0.000 % |
501.25/501.20 c | 297750 | 72795 340394 1129456 | 2147483647 297750 129 | 0.000 % |
503.15/503.13 c | 298908 | 72795 340394 1129456 | 2147483647 298908 129 | 0.000 % |
504.45/504.48 c | 300183 | 72795 340394 1129456 | 2147483647 300183 129 | 0.000 % |
507.05/507.10 c | 301588 | 72795 340394 1129456 | 2147483647 301588 129 | 0.000 % |
508.95/508.98 c | 303131 | 72795 340394 1129456 | 2147483647 303131 129 | 0.000 % |
511.35/511.33 c | 304829 | 72795 340394 1129456 | 2147483647 304829 130 | 0.000 % |
516.05/516.04 c | 306697 | 72795 340394 1129456 | 2147483647 306697 130 | 0.000 % |
520.45/520.41 c | 308746 | 72795 340394 1129456 | 2147483647 308746 131 | 0.000 % |
524.55/524.50 c | 311002 | 72795 340394 1129456 | 2147483647 311002 131 | 0.000 % |
528.36/528.38 c | 313480 | 72795 340394 1129456 | 2147483647 313480 131 | 0.000 % |
533.06/533.09 c | 316206 | 72795 340394 1129456 | 2147483647 316206 131 | 0.000 % |
540.66/540.68 c | 319203 | 72795 340394 1129456 | 2147483647 319203 133 | 0.000 % |
541.06/541.03 c | 319306 | 72795 340394 1129456 | 2147483647 319306 133 | 0.000 % |
541.56/541.52 c | 319416 | 72795 340394 1129456 | 2147483647 319416 133 | 0.000 % |
541.96/541.92 c | 319538 | 72795 340394 1129456 | 2147483647 319538 133 | 0.000 % |
542.66/542.69 c | 319671 | 72795 340394 1129456 | 2147483647 319671 133 | 0.000 % |
542.86/542.89 c | 319817 | 72795 340394 1129456 | 2147483647 319817 133 | 0.000 % |
543.16/543.18 c | 319977 | 72795 340394 1129456 | 2147483647 319977 133 | 0.000 % |
543.46/543.48 c | 320155 | 72795 340394 1129456 | 2147483647 320155 133 | 0.000 % |
543.76/543.76 c | 320348 | 72795 340394 1129456 | 2147483647 320348 133 | 0.000 % |
544.36/544.33 c | 320560 | 72795 340394 1129456 | 2147483647 320560 133 | 0.000 % |
544.96/544.97 c | 320793 | 72795 340394 1129456 | 2147483647 320793 133 | 0.000 % |
545.66/545.66 c | 321050 | 72795 340394 1129456 | 2147483647 321050 133 | 0.000 % |
546.26/546.21 c | 321331 | 72795 340394 1129456 | 2147483647 321331 133 | 0.000 % |
546.76/546.73 c | 321640 | 72795 340394 1129456 | 2147483647 321640 133 | 0.000 % |
547.16/547.19 c | 321979 | 72795 340394 1129456 | 2147483647 321979 133 | 0.000 % |
548.06/548.08 c | 322353 | 72795 340394 1129456 | 2147483647 322353 133 | 0.000 % |
548.46/548.45 c | 322762 | 72795 340394 1129456 | 2147483647 322762 133 | 0.000 % |
549.36/549.34 c | 323215 | 72795 340394 1129456 | 2147483647 323215 133 | 0.000 % |
550.27/550.31 c | 323708 | 72795 340394 1129456 | 2147483647 323708 133 | 0.000 % |
552.57/552.53 c | 324263 | 72795 340394 1129456 | 2147483647 324263 133 | 0.000 % |
553.97/553.95 c | 324863 | 72795 340394 1129456 | 2147483647 324863 133 | 0.000 % |
556.07/556.04 c | 325518 | 72795 340394 1129456 | 2147483647 325518 134 | 0.000 % |
558.47/558.51 c | 326239 | 72795 340394 1129456 | 2147483647 326239 134 | 0.000 % |
560.37/560.41 c | 327032 | 72795 340394 1129456 | 2147483647 327032 134 | 0.000 % |
562.37/562.40 c | 327903 | 72795 340394 1129456 | 2147483647 327903 134 | 0.000 % |
563.47/563.49 c | 328864 | 72795 340394 1129456 | 2147483647 328864 134 | 0.000 % |
565.07/565.04 c | 329917 | 72795 340394 1129456 | 2147483647 329917 134 | 0.000 % |
566.67/566.70 c | 331075 | 72795 340394 1129456 | 2147483647 331075 134 | 0.000 % |
568.27/568.31 c | 332349 | 72795 340394 1129456 | 2147483647 332349 133 | 0.000 % |
570.77/570.77 c | 333750 | 72795 340394 1129456 | 2147483647 333750 134 | 0.000 % |
572.77/572.74 c | 335292 | 72795 340394 1129456 | 2147483647 335292 134 | 0.000 % |
575.17/575.21 c | 336986 | 72795 340394 1129456 | 2147483647 336986 134 | 0.000 % |
580.37/580.32 c | 338849 | 72795 340394 1129456 | 2147483647 338849 134 | 0.000 % |
585.07/585.11 c | 340898 | 72795 340394 1129456 | 2147483647 340898 134 | 0.000 % |
591.27/591.25 c | 343152 | 72795 340394 1129456 | 2147483647 343152 133 | 0.000 % |
597.67/597.62 c | 345632 | 72795 340394 1129456 | 2147483647 345632 134 | 0.000 % |
602.07/602.10 c | 348357 | 72795 340394 1129456 | 2147483647 348357 135 | 0.000 % |
607.37/607.31 c | 351354 | 72795 340394 1129456 | 2147483647 351354 135 | 0.000 % |
613.77/613.75 c | 354650 | 72795 340394 1129456 | 2147483647 354650 135 | 0.000 % |
614.17/614.15 c | 354750 | 72795 340394 1129456 | 2147483647 354750 135 | 0.000 % |
614.47/614.44 c | 354862 | 72795 340394 1129456 | 2147483647 354862 135 | 0.000 % |
614.98/614.97 c | 354983 | 72795 340394 1129456 | 2147483647 354983 135 | 0.000 % |
615.27/615.30 c | 355116 | 72795 340394 1129456 | 2147483647 355116 135 | 0.000 % |
615.57/615.53 c | 355262 | 72795 340394 1129456 | 2147483647 355262 135 | 0.000 % |
615.77/615.73 c | 355422 | 72795 340394 1129456 | 2147483647 355422 135 | 0.000 % |
616.57/616.53 c | 355598 | 72795 340394 1129456 | 2147483647 355598 135 | 0.000 % |
617.07/617.10 c | 355792 | 72795 340394 1129456 | 2147483647 355792 135 | 0.000 % |
617.47/617.44 c | 356006 | 72795 340394 1129456 | 2147483647 356006 135 | 0.000 % |
617.87/617.87 c | 356239 | 72795 340394 1129456 | 2147483647 356239 135 | 0.000 % |
618.47/618.46 c | 356495 | 72795 340394 1129456 | 2147483647 356495 135 | 0.000 % |
619.17/619.15 c | 356776 | 72795 340394 1129456 | 2147483647 356776 135 | 0.000 % |
619.97/619.93 c | 357086 | 72795 340394 1129456 | 2147483647 357086 135 | 0.000 % |
621.27/621.22 c | 357425 | 72795 340394 1129456 | 2147483647 357425 135 | 0.000 % |
622.17/622.15 c | 357797 | 72795 340394 1129456 | 2147483647 357797 135 | 0.000 % |
622.68/622.68 c | 358207 | 72795 340394 1129456 | 2147483647 358207 135 | 0.000 % |
623.37/623.36 c | 358656 | 72795 340394 1129456 | 2147483647 358656 135 | 0.000 % |
624.88/624.86 c | 359149 | 72795 340394 1129456 | 2147483647 359149 136 | 0.000 % |
626.77/626.75 c | 359691 | 72795 340394 1129456 | 2147483647 359691 136 | 0.000 % |
628.77/628.79 c | 360287 | 72795 340394 1129456 | 2147483647 360287 136 | 0.000 % |
630.17/630.19 c | 360942 | 72795 340394 1129456 | 2147483647 360942 136 | 0.000 % |
632.17/632.12 c | 361662 | 72795 340394 1129456 | 2147483647 361662 136 | 0.000 % |
633.37/633.41 c | 362454 | 72795 340394 1129456 | 2147483647 362454 136 | 0.000 % |
635.27/635.28 c | 363326 | 72795 340394 1129456 | 2147483647 363326 136 | 0.000 % |
638.08/638.08 c | 364285 | 72795 340394 1129456 | 2147483647 364285 137 | 0.000 % |
641.78/641.77 c | 365340 | 72795 340394 1129456 | 2147483647 365340 137 | 0.000 % |
646.48/646.50 c | 366499 | 72795 340394 1129456 | 2147483647 366499 137 | 0.000 % |
648.98/648.97 c | 367773 | 72795 340394 1129456 | 2147483647 367773 138 | 0.000 % |
654.28/654.28 c | 369173 | 72795 340394 1129456 | 2147483647 369173 138 | 0.000 % |
660.68/660.62 c | 370713 | 72795 340394 1129456 | 2147483647 370713 139 | 0.000 % |
663.48/663.50 c | 372407 | 72795 340394 1129456 | 2147483647 372407 139 | 0.000 % |
668.98/668.94 c | 374271 | 72795 340394 1129456 | 2147483647 374271 139 | 0.000 % |
674.88/674.88 c | 376322 | 72795 340394 1129456 | 2147483647 376322 139 | 0.000 % |
679.08/679.02 c | 378575 | 72795 340394 1129456 | 2147483647 378575 140 | 0.000 % |
686.18/686.13 c | 381054 | 72795 340394 1129456 | 2147483647 381054 140 | 0.000 % |
691.98/692.01 c | 383780 | 72795 340394 1129456 | 2147483647 383780 140 | 0.000 % |
699.48/699.48 c | 386777 | 72795 340394 1129456 | 2147483647 386777 140 | 0.000 % |
710.08/710.11 c | 390073 | 72795 340394 1129456 | 2147483647 390073 139 | 0.000 % |
722.98/722.94 c | 393699 | 72795 340394 1129456 | 2147483647 393699 140 | 0.000 % |
723.38/723.33 c | 393799 | 72795 340394 1129456 | 2147483647 393799 140 | 0.000 % |
723.38/723.39 c | 393909 | 72795 340394 1129456 | 2147483647 393909 140 | 0.000 % |
723.89/723.84 c | 394030 | 72795 340394 1129456 | 2147483647 394030 140 | 0.000 % |
724.28/724.31 c | 394163 | 72795 340394 1129456 | 2147483647 394163 140 | 0.000 % |
724.88/724.87 c | 394310 | 72795 340394 1129456 | 2147483647 394310 140 | 0.000 % |
725.18/725.19 c | 394470 | 72795 340394 1129456 | 2147483647 394470 140 | 0.000 % |
725.88/725.82 c | 394646 | 72795 340394 1129456 | 2147483647 394646 140 | 0.000 % |
726.28/726.26 c | 394839 | 72795 340394 1129456 | 2147483647 394839 140 | 0.000 % |
726.88/726.85 c | 395051 | 72795 340394 1129456 | 2147483647 395051 140 | 0.000 % |
727.48/727.42 c | 395284 | 72795 340394 1129456 | 2147483647 395284 140 | 0.000 % |
728.29/728.30 c | 395541 | 72795 340394 1129456 | 2147483647 395541 140 | 0.000 % |
729.78/729.76 c | 395822 | 72795 340394 1129456 | 2147483647 395822 140 | 0.000 % |
731.18/731.19 c | 396131 | 72795 340394 1129456 | 2147483647 396131 140 | 0.000 % |
731.98/732.01 c | 396470 | 72795 340394 1129456 | 2147483647 396470 140 | 0.000 % |
732.88/732.88 c | 396842 | 72795 340394 1129456 | 2147483647 396842 140 | 0.000 % |
734.38/734.39 c | 397251 | 72795 340394 1129456 | 2147483647 397251 140 | 0.000 % |
735.58/735.55 c | 397700 | 72795 340394 1129456 | 2147483647 397700 140 | 0.000 % |
736.98/736.96 c | 398198 | 72795 340394 1129456 | 2147483647 398198 140 | 0.000 % |
738.78/738.80 c | 398741 | 72795 340394 1129456 | 2147483647 398741 140 | 0.000 % |
740.98/740.92 c | 399337 | 72795 340394 1129456 | 2147483647 399337 140 | 0.000 % |
741.88/741.84 c | 399993 | 72795 340394 1129456 | 2147483647 399993 140 | 0.000 % |
742.88/742.85 c | 400714 | 72795 340394 1129456 | 2147483647 400714 140 | 0.000 % |
745.58/745.57 c | 401507 | 72795 340394 1129456 | 2147483647 401507 140 | 0.000 % |
746.68/746.64 c | 402378 | 72795 340394 1129456 | 2147483647 402378 140 | 0.000 % |
748.89/748.90 c | 403336 | 72795 340394 1129456 | 2147483647 403336 140 | 0.000 % |
751.89/751.92 c | 404392 | 72795 340394 1129456 | 2147483647 404392 140 | 0.000 % |
754.28/754.24 c | 405550 | 72795 340394 1129456 | 2147483647 405550 141 | 0.000 % |
755.68/755.61 c | 406823 | 72795 340394 1129456 | 2147483647 406823 141 | 0.000 % |
758.58/758.52 c | 408225 | 72795 340394 1129456 | 2147483647 408225 141 | 0.000 % |
762.88/762.84 c | 409765 | 72795 340394 1129456 | 2147483647 409765 141 | 0.000 % |
764.68/764.65 c | 411459 | 72795 340394 1129456 | 2147483647 411459 141 | 0.000 % |
769.08/769.06 c | 413323 | 72795 340394 1129456 | 2147483647 413323 141 | 0.000 % |
771.18/771.13 c | 415372 | 72795 340394 1129456 | 2147483647 415372 141 | 0.000 % |
775.38/775.38 c | 417625 | 72795 340394 1129456 | 2147483647 417625 141 | 0.000 % |
780.38/780.32 c | 420109 | 72795 340394 1129456 | 2147483647 420109 141 | 0.000 % |
784.08/784.09 c | 422835 | 72795 340394 1129456 | 2147483647 422835 141 | 0.000 % |
790.58/790.54 c | 425833 | 72795 340394 1129456 | 2147483647 425833 141 | 0.000 % |
796.58/796.58 c | 429129 | 72795 340394 1129456 | 2147483647 429129 141 | 0.000 % |
808.58/808.59 c | 432754 | 72795 340394 1129456 | 2147483647 432754 142 | 0.000 % |
816.68/816.66 c | 436742 | 72795 340394 1129456 | 2147483647 436742 142 | 0.000 % |
816.98/816.98 c | 436844 | 72795 340394 1129456 | 2147483647 436844 142 | 0.000 % |
817.28/817.31 c | 436959 | 72795 340394 1129456 | 2147483647 436959 142 | 0.000 % |
817.78/817.74 c | 437083 | 72795 340394 1129456 | 2147483647 437083 142 | 0.000 % |
818.28/818.21 c | 437216 | 72795 340394 1129456 | 2147483647 437216 142 | 0.000 % |
818.88/818.85 c | 437363 | 72795 340394 1129456 | 2147483647 437363 143 | 0.000 % |
819.18/819.19 c | 437523 | 72795 340394 1129456 | 2147483647 437523 143 | 0.000 % |
819.98/819.94 c | 437699 | 72795 340394 1129456 | 2147483647 437699 143 | 0.000 % |
820.48/820.43 c | 437892 | 72795 340394 1129456 | 2147483647 437892 143 | 0.000 % |
820.98/820.95 c | 438104 | 72795 340394 1129456 | 2147483647 438104 142 | 0.000 % |
821.38/821.37 c | 438337 | 72795 340394 1129456 | 2147483647 438337 143 | 0.000 % |
822.08/822.01 c | 438595 | 72795 340394 1129456 | 2147483647 438595 143 | 0.000 % |
823.18/823.12 c | 438877 | 72795 340394 1129456 | 2147483647 438877 143 | 0.000 % |
824.08/824.09 c | 439186 | 72795 340394 1129456 | 2147483647 439186 143 | 0.000 % |
825.18/825.14 c | 439526 | 72795 340394 1129456 | 2147483647 439526 143 | 0.000 % |
826.19/826.17 c | 439899 | 72795 340394 1129456 | 2147483647 439899 142 | 0.000 % |
827.08/827.08 c | 440309 | 72795 340394 1129456 | 2147483647 440309 142 | 0.000 % |
828.48/828.49 c | 440758 | 72795 340394 1129456 | 2147483647 440758 142 | 0.000 % |
829.68/829.64 c | 441251 | 72795 340394 1129456 | 2147483647 441251 142 | 0.000 % |
831.58/831.60 c | 441793 | 72795 340394 1129456 | 2147483647 441793 142 | 0.000 % |
834.99/834.99 c | 442389 | 72795 340394 1129456 | 2147483647 442389 142 | 0.000 % |
836.18/836.20 c | 443044 | 72795 340394 1129456 | 2147483647 443044 142 | 0.000 % |
837.88/837.86 c | 443764 | 72795 340394 1129456 | 2147483647 443764 142 | 0.000 % |
839.78/839.71 c | 444556 | 72795 340394 1129456 | 2147483647 444556 142 | 0.000 % |
841.98/841.99 c | 445427 | 72795 340394 1129456 | 2147483647 445427 142 | 0.000 % |
843.38/843.37 c | 446385 | 72795 340394 1129456 | 2147483647 446385 142 | 0.000 % |
844.58/844.56 c | 447440 | 72795 340394 1129456 | 2147483647 447440 142 | 0.000 % |
847.48/847.43 c | 448599 | 72795 340394 1129456 | 2147483647 448599 142 | 0.000 % |
848.98/848.91 c | 449873 | 72795 340394 1129456 | 2147483647 449873 142 | 0.000 % |
850.98/850.92 c | 451274 | 72795 340394 1129456 | 2147483647 451274 142 | 0.000 % |
855.58/855.59 c | 452817 | 72795 340394 1129456 | 2147483647 452817 143 | 0.000 % |
857.88/857.84 c | 454511 | 72795 340394 1129456 | 2147483647 454511 143 | 0.000 % |
865.39/865.36 c | 456378 | 72795 340394 1129456 | 2147483647 456378 143 | 0.000 % |
869.29/869.30 c | 458427 | 72795 340394 1129456 | 2147483647 458427 144 | 0.000 % |
876.19/876.18 c | 460680 | 72795 340394 1129456 | 2147483647 460680 144 | 0.000 % |
881.89/881.86 c | 463158 | 72795 340394 1129456 | 2147483647 463158 145 | 0.000 % |
893.49/893.44 c | 465884 | 72795 340394 1129456 | 2147483647 465884 146 | 0.000 % |
901.99/901.96 c | 468882 | 72795 340394 1129456 | 2147483647 468882 146 | 0.000 % |
909.39/909.33 c | 472179 | 72795 340394 1129456 | 2147483647 472179 146 | 0.000 % |
919.59/919.58 c | 475806 | 72795 340394 1129456 | 2147483647 475806 147 | 0.000 % |
934.39/934.33 c | 479793 | 72795 340394 1129456 | 2147483647 479793 148 | 0.000 % |
945.79/945.76 c | 484179 | 72795 340394 1129456 | 2147483647 484179 148 | 0.000 % |
945.89/945.87 c | 484279 | 72795 340394 1129456 | 2147483647 484279 148 | 0.000 % |
946.10/946.02 c | 484393 | 72795 340394 1129456 | 2147483647 484393 148 | 0.000 % |
946.59/946.59 c | 484515 | 72795 340394 1129456 | 2147483647 484515 148 | 0.000 % |
947.59/947.55 c | 484650 | 72795 340394 1129456 | 2147483647 484650 148 | 0.000 % |
947.99/948.00 c | 484796 | 72795 340394 1129456 | 2147483647 484796 148 | 0.000 % |
948.30/948.23 c | 484956 | 72795 340394 1129456 | 2147483647 484956 148 | 0.000 % |
948.39/948.40 c | 485133 | 72795 340394 1129456 | 2147483647 485133 148 | 0.000 % |
948.99/949.00 c | 485327 | 72795 340394 1129456 | 2147483647 485327 148 | 0.000 % |
949.79/949.77 c | 485539 | 72795 340394 1129456 | 2147483647 485539 148 | 0.000 % |
950.19/950.17 c | 485772 | 72795 340394 1129456 | 2147483647 485772 148 | 0.000 % |
951.09/951.05 c | 486030 | 72795 340394 1129456 | 2147483647 486030 148 | 0.000 % |
951.89/951.89 c | 486312 | 72795 340394 1129456 | 2147483647 486312 148 | 0.000 % |
953.59/953.52 c | 486624 | 72795 340394 1129456 | 2147483647 486624 149 | 0.000 % |
954.79/954.72 c | 486963 | 72795 340394 1129456 | 2147483647 486963 149 | 0.000 % |
955.29/955.25 c | 487335 | 72795 340394 1129456 | 2147483647 487335 149 | 0.000 % |
956.39/956.34 c | 487744 | 72795 340394 1129456 | 2147483647 487744 149 | 0.000 % |
957.10/957.09 c | 488193 | 72795 340394 1129456 | 2147483647 488193 149 | 0.000 % |
958.79/958.76 c | 488687 | 72795 340394 1129456 | 2147483647 488687 149 | 0.000 % |
960.29/960.27 c | 489231 | 72795 340394 1129456 | 2147483647 489231 149 | 0.000 % |
962.19/962.17 c | 489827 | 72795 340394 1129456 | 2147483647 489827 149 | 0.000 % |
964.49/964.50 c | 490484 | 72795 340394 1129456 | 2147483647 490484 149 | 0.000 % |
966.19/966.12 c | 491205 | 72795 340394 1129456 | 2147483647 491205 149 | 0.000 % |
967.39/967.35 c | 491997 | 72795 340394 1129456 | 2147483647 491997 149 | 0.000 % |
969.09/969.09 c | 492868 | 72795 340394 1129456 | 2147483647 492868 149 | 0.000 % |
971.50/971.49 c | 493826 | 72795 340394 1129456 | 2147483647 493826 149 | 0.000 % |
974.50/974.48 c | 494880 | 72795 340394 1129456 | 2147483647 494880 149 | 0.000 % |
976.90/976.84 c | 496038 | 72795 340394 1129456 | 2147483647 496038 149 | 0.000 % |
980.30/980.27 c | 497311 | 72795 340394 1129456 | 2147483647 497311 149 | 0.000 % |
983.30/983.29 c | 498711 | 72795 340394 1129456 | 2147483647 498711 149 | 0.000 % |
986.70/986.68 c | 500251 | 72795 340394 1129456 | 2147483647 500251 149 | 0.000 % |
989.50/989.44 c | 501946 | 72795 340394 1129456 | 2147483647 501946 149 | 0.000 % |
991.10/991.06 c | 503809 | 72795 340394 1129456 | 2147483647 503809 149 | 0.000 % |
999.60/999.54 c | 505860 | 72795 340394 1129456 | 2147483647 505860 149 | 0.000 % |
1003.10/1003.04 c | 508114 | 72795 340394 1129456 | 2147483647 508114 149 | 0.000 % |
1011.60/1011.55 c | 510592 | 72795 340394 1129456 | 2147483647 510592 150 | 0.000 % |
1018.80/1018.73 c | 513317 | 72795 340394 1129456 | 2147483647 513317 150 | 0.000 % |
1029.30/1029.21 c | 516314 | 72795 340394 1129456 | 2147483647 516314 151 | 0.000 % |
1037.41/1037.35 c | 519611 | 72795 340394 1129456 | 2147483647 519611 151 | 0.000 % |
1043.51/1043.50 c | 523239 | 72795 340394 1129456 | 2147483647 523239 151 | 0.000 % |
1057.22/1057.13 c | 527226 | 72795 340394 1129456 | 2147483647 527226 152 | 0.000 % |
1070.91/1070.84 c | 531611 | 72795 340394 1129456 | 2147483647 531611 153 | 0.000 % |
1084.02/1083.99 c | 536435 | 72795 340394 1129456 | 2147483647 536435 153 | 0.000 % |
1084.62/1084.59 c | 536536 | 72795 340394 1129456 | 2147483647 536536 153 | 0.000 % |
1085.52/1085.44 c | 536648 | 72795 340394 1129456 | 2147483647 536648 153 | 0.000 % |
1086.42/1086.40 c | 536769 | 72795 340394 1129456 | 2147483647 536769 153 | 0.000 % |
1087.32/1087.23 c | 536902 | 72795 340394 1129456 | 2147483647 536902 153 | 0.000 % |
1088.02/1088.02 c | 537050 | 72795 340394 1129456 | 2147483647 537050 153 | 0.000 % |
1088.62/1088.61 c | 537211 | 72795 340394 1129456 | 2147483647 537211 153 | 0.000 % |
1089.22/1089.19 c | 537390 | 72795 340394 1129456 | 2147483647 537390 153 | 0.000 % |
1090.22/1090.18 c | 537583 | 72795 340394 1129456 | 2147483647 537583 153 | 0.000 % |
1091.02/1091.00 c | 537796 | 72795 340394 1129456 | 2147483647 537796 153 | 0.000 % |
1091.82/1091.76 c | 538032 | 72795 340394 1129456 | 2147483647 538032 153 | 0.000 % |
1092.82/1092.82 c | 538289 | 72795 340394 1129456 | 2147483647 538289 154 | 0.000 % |
1093.92/1093.88 c | 538571 | 72795 340394 1129456 | 2147483647 538571 154 | 0.000 % |
1095.02/1095.01 c | 538882 | 72795 340394 1129456 | 2147483647 538882 154 | 0.000 % |
1095.72/1095.66 c | 539222 | 72795 340394 1129456 | 2147483647 539222 154 | 0.000 % |
1097.32/1097.26 c | 539595 | 72795 340394 1129456 | 2147483647 539595 154 | 0.000 % |
1099.12/1099.08 c | 540004 | 72795 340394 1129456 | 2147483647 540004 154 | 0.000 % |
1100.22/1100.13 c | 540453 | 72795 340394 1129456 | 2147483647 540453 154 | 0.000 % |
1102.22/1102.19 c | 540946 | 72795 340394 1129456 | 2147483647 540946 154 | 0.000 % |
1105.02/1104.94 c | 541488 | 72795 340394 1129456 | 2147483647 541488 154 | 0.000 % |
1107.72/1107.70 c | 542086 | 72795 340394 1129456 | 2147483647 542086 154 | 0.000 % |
1109.42/1109.33 c | 542743 | 72795 340394 1129456 | 2147483647 542743 154 | 0.000 % |
1111.02/1111.02 c | 543463 | 72795 340394 1129456 | 2147483647 543463 154 | 0.000 % |
1113.91/1113.84 c | 544256 | 72795 340394 1129456 | 2147483647 544256 154 | 0.000 % |
1117.41/1117.36 c | 545127 | 72795 340394 1129456 | 2147483647 545127 154 | 0.000 % |
1120.41/1120.38 c | 546087 | 72795 340394 1129456 | 2147483647 546087 154 | 0.000 % |
1124.01/1123.94 c | 547140 | 72795 340394 1129456 | 2147483647 547140 154 | 0.000 % |
1128.11/1128.08 c | 548298 | 72795 340394 1129456 | 2147483647 548298 155 | 0.000 % |
1135.11/1135.03 c | 549571 | 72795 340394 1129456 | 2147483647 549571 155 | 0.000 % |
1139.21/1139.14 c | 550971 | 72795 340394 1129456 | 2147483647 550971 155 | 0.000 % |
1145.71/1145.70 c | 552513 | 72795 340394 1129456 | 2147483647 552513 155 | 0.000 % |
1149.21/1149.12 c | 554207 | 72795 340394 1129456 | 2147483647 554207 155 | 0.000 % |
1155.12/1155.05 c | 556070 | 72795 340394 1129456 | 2147483647 556070 155 | 0.000 % |
1158.11/1158.01 c | 558121 | 72795 340394 1129456 | 2147483647 558121 155 | 0.000 % |
1167.31/1167.23 c | 560375 | 72795 340394 1129456 | 2147483647 560375 155 | 0.000 % |
1172.01/1172.00 c | 562853 | 72795 340394 1129456 | 2147483647 562853 155 | 0.000 % |
1177.71/1177.62 c | 565578 | 72795 340394 1129456 | 2147483647 565578 155 | 0.000 % |
1190.61/1190.54 c | 568576 | 72795 340394 1129456 | 2147483647 568576 156 | 0.000 % |
runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w /tmp/evaluation-result-1821034-1242499719/watcher-1821034-1242499719 -o /tmp/evaluation-result-1821034-1242499719/solver-1821034-1242499719 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1821034-1242499719.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 3891
/proc/meminfo: memFree=1340364/2074464 swapFree=1948616/1959888
[pid=3891] ppid=3889 vsize=2412 CPUtime=0
/proc/3891/stat : 3891 (SatELiteGTI) S 3889 3891 10436 0 -1 4194304 367 645 0 0 0 0 0 0 25 0 1 0 1014472511 2469888 276 4294967295 134512640 135169312 3220787936 3220786472 3084955374 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/3891/statm: 603 276 235 161 0 42 0
[pid=3895] ppid=3891 vsize=952 CPUtime=0
/proc/3895/stat : 3895 (SatELite_releas) R 3891 3891 10436 0 -1 4202496 123 0 0 0 0 0 0 0 25 0 1 0 1014472511 974848 59 4294967295 134512640 135223648 3217870864 3217869460 134719062 0 0 0 3 0 0 0 17 1 0 0 0
/proc/3895/statm: 238 62 45 174 0 63 0
[startup+0.027442 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 3891
/proc/meminfo: memFree=1340364/2074464 swapFree=1948616/1959888
[pid=3891] ppid=3889 vsize=2412 CPUtime=0
/proc/3891/stat : 3891 (SatELiteGTI) S 3889 3891 10436 0 -1 4194304 367 645 0 0 0 0 0 0 25 0 1 0 1014472511 2469888 276 4294967295 134512640 135169312 3220787936 3220786472 3084955374 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/3891/statm: 603 276 235 161 0 42 0
[pid=3895] ppid=3891 vsize=4572 CPUtime=0.03
/proc/3895/stat : 3895 (SatELite_releas) R 3891 3891 10436 0 -1 4202496 921 0 0 0 3 0 0 0 25 0 1 0 1014472511 4681728 858 4294967295 134512640 135223648 3217870864 3217869448 134719062 0 0 0 3 0 0 0 17 1 0 0 0
/proc/3895/statm: 1143 858 46 174 0 968 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 6984
[startup+0.117433 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 3891
/proc/meminfo: memFree=1340364/2074464 swapFree=1948616/1959888
[pid=3891] ppid=3889 vsize=2412 CPUtime=0
/proc/3891/stat : 3891 (SatELiteGTI) S 3889 3891 10436 0 -1 4194304 367 645 0 0 0 0 0 0 25 0 1 0 1014472511 2469888 276 4294967295 134512640 135169312 3220787936 3220786472 3084955374 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/3891/statm: 603 276 235 161 0 42 0
[pid=3895] ppid=3891 vsize=17964 CPUtime=0.12
/proc/3895/stat : 3895 (SatELite_releas) R 3891 3891 10436 0 -1 4202496 3869 0 0 0 7 5 0 0 25 0 1 0 1014472511 18395136 3805 4294967295 134512640 135223648 3217870864 3217869816 134737310 0 0 0 3 0 0 0 17 1 0 0 0
/proc/3895/statm: 4491 3805 46 174 0 4316 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 20376
[startup+0.317416 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 3891
/proc/meminfo: memFree=1340364/2074464 swapFree=1948616/1959888
[pid=3891] ppid=3889 vsize=2412 CPUtime=0
/proc/3891/stat : 3891 (SatELiteGTI) S 3889 3891 10436 0 -1 4194304 367 645 0 0 0 0 0 0 25 0 1 0 1014472511 2469888 276 4294967295 134512640 135169312 3220787936 3220786472 3084955374 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/3891/statm: 603 276 235 161 0 42 0
[pid=3895] ppid=3891 vsize=41904 CPUtime=0.32
/proc/3895/stat : 3895 (SatELite_releas) R 3891 3891 10436 0 -1 4202496 10027 0 0 0 24 8 0 0 25 0 1 0 1014472511 42909696 9963 4294967295 134512640 135223648 3217870864 3217869432 134719062 0 0 0 3 0 0 0 17 1 0 0 0
/proc/3895/statm: 10476 9963 46 174 0 10301 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 44316
[startup+0.717384 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 3891
/proc/meminfo: memFree=1340364/2074464 swapFree=1948616/1959888
[pid=3891] ppid=3889 vsize=2412 CPUtime=0
/proc/3891/stat : 3891 (SatELiteGTI) S 3889 3891 10436 0 -1 4194304 367 645 0 0 0 0 0 0 25 0 1 0 1014472511 2469888 276 4294967295 134512640 135169312 3220787936 3220786472 3084955374 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/3891/statm: 603 276 235 161 0 42 0
[pid=3895] ppid=3891 vsize=90176 CPUtime=0.72
/proc/3895/stat : 3895 (SatELite_releas) R 3891 3891 10436 0 -1 4202496 21658 0 0 0 58 14 0 0 25 0 1 0 1014472511 92340224 19934 4294967295 134512640 135223648 3217870864 3217868864 134547997 0 0 0 3 0 0 0 17 1 0 0 0
/proc/3895/statm: 22544 19934 73 174 0 22369 0
Current children cumulated CPU time (s) 0.72
Current children cumulated vsize (KiB) 92588
[startup+1.51732 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 3896
/proc/meminfo: memFree=1258740/2074464 swapFree=1948616/1959888
[pid=3891] ppid=3889 vsize=2412 CPUtime=0
/proc/3891/stat : 3891 (SatELiteGTI) S 3889 3891 10436 0 -1 4194304 367 645 0 0 0 0 0 0 25 0 1 0 1014472511 2469888 276 4294967295 134512640 135169312 3220787936 3220786472 3084955374 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/3891/statm: 603 276 235 161 0 42 0
[pid=3895] ppid=3891 vsize=92568 CPUtime=1.52
/proc/3895/stat : 3895 (SatELite_releas) R 3891 3891 10436 0 -1 4202496 22240 0 0 0 137 15 0 0 25 0 1 0 1014472511 94789632 20516 4294967295 134512640 135223648 3217870864 3217868784 134575981 0 0 0 3 0 0 0 17 1 0 0 0
/proc/3895/statm: 23142 20516 73 174 0 22967 0
Current children cumulated CPU time (s) 1.52
Current children cumulated vsize (KiB) 94980
[startup+3.11719 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 3896
/proc/meminfo: memFree=1250184/2074464 swapFree=1948616/1959888
[pid=3891] ppid=3889 vsize=2412 CPUtime=0
/proc/3891/stat : 3891 (SatELiteGTI) S 3889 3891 10436 0 -1 4194304 367 645 0 0 0 0 0 0 25 0 1 0 1014472511 2469888 276 4294967295 134512640 135169312 3220787936 3220786472 3084955374 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/3891/statm: 603 276 235 161 0 42 0
[pid=3895] ppid=3891 vsize=96744 CPUtime=3.12
/proc/3895/stat : 3895 (SatELite_releas) R 3891 3891 10436 0 -1 4202496 23155 0 0 0 292 20 0 0 25 0 1 0 1014472511 99065856 21431 4294967295 134512640 135223648 3217870864 3217868632 134737406 0 0 0 3 0 0 0 17 1 0 0 0
/proc/3895/statm: 24186 21431 73 174 0 24011 0
Current children cumulated CPU time (s) 3.12
Current children cumulated vsize (KiB) 99156
[startup+6.31692 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 4079
/proc/meminfo: memFree=1230248/2074464 swapFree=1948616/1959888
[pid=3891] ppid=3889 vsize=2412 CPUtime=0
/proc/3891/stat : 3891 (SatELiteGTI) S 3889 3891 10436 0 -1 4194304 367 645 0 0 0 0 0 0 25 0 1 0 1014472511 2469888 276 4294967295 134512640 135169312 3220787936 3220786472 3084955374 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/3891/statm: 603 276 235 161 0 42 0
[pid=3895] ppid=3891 vsize=102404 CPUtime=6.32
/proc/3895/stat : 3895 (SatELite_releas) R 3891 3891 10436 0 -1 4202496 24663 0 0 0 607 25 0 0 25 0 1 0 1014472511 104861696 22939 4294967295 134512640 135223648 3217870864 3217868864 134549033 0 0 0 3 0 0 0 17 1 0 0 0
/proc/3895/statm: 25601 22939 73 174 0 25426 0
Current children cumulated CPU time (s) 6.32
Current children cumulated vsize (KiB) 104816
[startup+12.7164 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 4081
/proc/meminfo: memFree=1284680/2074464 swapFree=1948616/1959888
[pid=3891] ppid=3889 vsize=2416 CPUtime=8.68
/proc/3891/stat : 3891 (SatELiteGTI) S 3889 3891 10436 0 -1 4194304 386 27588 0 0 0 0 840 28 25 0 1 0 1014472511 2473984 277 4294967295 134512640 135169312 3220787936 3220784152 3084955374 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/3891/statm: 604 277 235 161 0 43 0
[pid=4081] ppid=3891 vsize=25804 CPUtime=4.04
/proc/4081/stat : 4081 (minisat_static) R 3891 3891 10436 0 -1 4202496 5972 0 0 0 401 3 0 0 25 0 1 0 1014473379 26423296 5867 4294967295 134512640 135215339 3214294272 3214292560 134528742 0 0 0 3 0 0 0 17 2 0 0 0
/proc/4081/statm: 6451 5867 73 172 0 6278 0
Current children cumulated CPU time (s) 12.72
Current children cumulated vsize (KiB) 28220
[startup+25.5153 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 4081
/proc/meminfo: memFree=1281584/2074464 swapFree=1948616/1959888
[pid=3891] ppid=3889 vsize=2416 CPUtime=8.68
/proc/3891/stat : 3891 (SatELiteGTI) S 3889 3891 10436 0 -1 4194304 386 27588 0 0 0 0 840 28 25 0 1 0 1014472511 2473984 277 4294967295 134512640 135169312 3220787936 3220784152 3084955374 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/3891/statm: 604 277 235 161 0 43 0
[pid=4081] ppid=3891 vsize=28780 CPUtime=16.84
/proc/4081/stat : 4081 (minisat_static) R 3891 3891 10436 0 -1 4202496 6710 0 0 0 1679 5 0 0 25 0 1 0 1014473379 29470720 6605 4294967295 134512640 135215339 3214294272 3214292272 134532672 0 0 0 3 0 0 0 17 2 0 0 0
/proc/4081/statm: 7195 6605 73 172 0 7022 0
Current children cumulated CPU time (s) 25.52
Current children cumulated vsize (KiB) 31196
[startup+51.1032 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 4083
/proc/meminfo: memFree=1273904/2074464 swapFree=1948616/1959888
[pid=3891] ppid=3889 vsize=2416 CPUtime=8.68
/proc/3891/stat : 3891 (SatELiteGTI) S 3889 3891 10436 0 -1 4194304 386 27588 0 0 0 0 840 28 25 0 1 0 1014472511 2473984 277 4294967295 134512640 135169312 3220787936 3220784152 3084955374 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/3891/statm: 604 277 235 161 0 43 0
[pid=4081] ppid=3891 vsize=36496 CPUtime=42.43
/proc/4081/stat : 4081 (minisat_static) R 3891 3891 10436 0 -1 4202496 8636 0 0 0 4235 8 0 0 25 0 1 0 1014473379 37371904 8531 4294967295 134512640 135215339 3214294272 3214292272 134532711 0 0 0 3 0 0 0 17 2 0 0 0
/proc/4081/statm: 9124 8531 73 172 0 8951 0
Current children cumulated CPU time (s) 51.11
Current children cumulated vsize (KiB) 38912
[startup+102.319 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 4270
/proc/meminfo: memFree=1258536/2074464 swapFree=1948616/1959888
[pid=3891] ppid=3889 vsize=2416 CPUtime=8.68
/proc/3891/stat : 3891 (SatELiteGTI) S 3889 3891 10436 0 -1 4194304 386 27588 0 0 0 0 840 28 25 0 1 0 1014472511 2473984 277 4294967295 134512640 135169312 3220787936 3220784152 3084955374 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/3891/statm: 604 277 235 161 0 43 0
[pid=4081] ppid=3891 vsize=51748 CPUtime=93.65
/proc/4081/stat : 4081 (minisat_static) R 3891 3891 10436 0 -1 4202496 12429 0 0 0 9351 14 0 0 25 0 1 0 1014473379 52989952 12324 4294967295 134512640 135215339 3214294272 3214292560 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/4081/statm: 12937 12324 73 172 0 12764 0
Current children cumulated CPU time (s) 102.33
Current children cumulated vsize (KiB) 54164
[startup+162.314 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 4463
/proc/meminfo: memFree=1237224/2074464 swapFree=1948616/1959888
[pid=3891] ppid=3889 vsize=2416 CPUtime=8.68
/proc/3891/stat : 3891 (SatELiteGTI) S 3889 3891 10436 0 -1 4194304 386 27588 0 0 0 0 840 28 25 0 1 0 1014472511 2473984 277 4294967295 134512640 135169312 3220787936 3220784152 3084955374 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/3891/statm: 604 277 235 161 0 43 0
[pid=4081] ppid=3891 vsize=72968 CPUtime=153.65
/proc/4081/stat : 4081 (minisat_static) R 3891 3891 10436 0 -1 4202496 17738 0 0 0 15347 18 0 0 25 0 1 0 1014473379 74719232 17633 4294967295 134512640 135215339 3214294272 3214292560 134528734 0 0 0 3 0 0 0 17 2 0 0 0
/proc/4081/statm: 18242 17633 73 172 0 18069 0
Current children cumulated CPU time (s) 162.33
Current children cumulated vsize (KiB) 75384
[startup+222.319 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 4650
/proc/meminfo: memFree=1215400/2074464 swapFree=1948616/1959888
[pid=3891] ppid=3889 vsize=2416 CPUtime=8.68
/proc/3891/stat : 3891 (SatELiteGTI) S 3889 3891 10436 0 -1 4194304 386 27588 0 0 0 0 840 28 25 0 1 0 1014472511 2473984 277 4294967295 134512640 135169312 3220787936 3220784152 3084955374 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/3891/statm: 604 277 235 161 0 43 0
[pid=4081] ppid=3891 vsize=94664 CPUtime=213.66
/proc/4081/stat : 4081 (minisat_static) R 3891 3891 10436 0 -1 4202496 23131 0 0 0 21340 26 0 0 25 0 1 0 1014473379 96935936 23026 4294967295 134512640 135215339 3214294272 3214292560 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/4081/statm: 23666 23026 73 172 0 23493 0
Current children cumulated CPU time (s) 222.34
Current children cumulated vsize (KiB) 97080
[startup+282.314 s]
/proc/loadavg: 1.20 1.05 1.02 2/95 4838
/proc/meminfo: memFree=1199016/2074464 swapFree=1948616/1959888
[pid=3891] ppid=3889 vsize=2416 CPUtime=8.68
/proc/3891/stat : 3891 (SatELiteGTI) S 3889 3891 10436 0 -1 4194304 386 27588 0 0 0 0 840 28 25 0 1 0 1014472511 2473984 277 4294967295 134512640 135169312 3220787936 3220784152 3084955374 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/3891/statm: 604 277 235 161 0 43 0
[pid=4081] ppid=3891 vsize=111492 CPUtime=273.66
/proc/4081/stat : 4081 (minisat_static) R 3891 3891 10436 0 -1 4202496 27376 0 0 0 27339 27 0 0 25 0 1 0 1014473379 114167808 27271 4294967295 134512640 135215339 3214294272 3214292272 134532626 0 0 0 3 0 0 0 17 2 0 0 0
/proc/4081/statm: 27873 27271 73 172 0 27700 0
Current children cumulated CPU time (s) 282.34
Current children cumulated vsize (KiB) 113908
[startup+342.319 s]
/proc/loadavg: 1.07 1.04 1.01 3/95 5030
/proc/meminfo: memFree=1178936/2074464 swapFree=1948616/1959888
[pid=3891] ppid=3889 vsize=2416 CPUtime=8.68
/proc/3891/stat : 3891 (SatELiteGTI) S 3889 3891 10436 0 -1 4194304 386 27588 0 0 0 0 840 28 25 0 1 0 1014472511 2473984 277 4294967295 134512640 135169312 3220787936 3220784152 3084955374 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/3891/statm: 604 277 235 161 0 43 0
[pid=4081] ppid=3891 vsize=131780 CPUtime=333.67
/proc/4081/stat : 4081 (minisat_static) R 3891 3891 10436 0 -1 4202496 32343 0 0 0 33335 32 0 0 25 0 1 0 1014473379 134942720 32238 4294967295 134512640 135215339 3214294272 3214292560 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/4081/statm: 32945 32238 73 172 0 32772 0
Current children cumulated CPU time (s) 342.35
################
# More data... #
################
/proc/4081/statm: 55217 54408 73 172 0 55044 0
Current children cumulated CPU time (s) 582.37
Current children cumulated vsize (KiB) 223284
[startup+642.325 s]
/proc/loadavg: 1.14 1.07 1.02 3/95 5973
/proc/meminfo: memFree=1070436/2074464 swapFree=1948616/1959888
[pid=3891] ppid=3889 vsize=2416 CPUtime=8.68
/proc/3891/stat : 3891 (SatELiteGTI) S 3889 3891 10436 0 -1 4194304 386 27588 0 0 0 0 840 28 25 0 1 0 1014472511 2473984 277 4294967295 134512640 135169312 3220787936 3220784152 3084955374 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/3891/statm: 604 277 235 161 0 43 0
[pid=4081] ppid=3891 vsize=240496 CPUtime=633.7
/proc/4081/stat : 4081 (minisat_static) R 3891 3891 10436 0 -1 4202496 59421 0 0 0 63317 53 0 0 25 0 1 0 1014473379 246267904 59316 4294967295 134512640 135215339 3214294272 3214292560 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/4081/statm: 60124 59316 73 172 0 59951 0
Current children cumulated CPU time (s) 642.38
Current children cumulated vsize (KiB) 242912
[startup+702.32 s]
/proc/loadavg: 1.05 1.05 1.01 2/95 6160
/proc/meminfo: memFree=1053588/2074464 swapFree=1948616/1959888
[pid=3891] ppid=3889 vsize=2416 CPUtime=8.68
/proc/3891/stat : 3891 (SatELiteGTI) S 3889 3891 10436 0 -1 4194304 386 27588 0 0 0 0 840 28 25 0 1 0 1014472511 2473984 277 4294967295 134512640 135169312 3220787936 3220784152 3084955374 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/3891/statm: 604 277 235 161 0 43 0
[pid=4081] ppid=3891 vsize=257196 CPUtime=693.7
/proc/4081/stat : 4081 (minisat_static) R 3891 3891 10436 0 -1 4202496 63606 0 0 0 69317 53 0 0 25 0 1 0 1014473379 263368704 63501 4294967295 134512640 135215339 3214294272 3214292560 134528742 0 0 0 3 0 0 0 17 2 0 0 0
/proc/4081/statm: 64299 63501 73 172 0 64126 0
Current children cumulated CPU time (s) 702.38
Current children cumulated vsize (KiB) 259612
[startup+762.315 s]
/proc/loadavg: 1.06 1.06 1.01 2/95 6349
/proc/meminfo: memFree=1038080/2074464 swapFree=1948616/1959888
[pid=3891] ppid=3889 vsize=2416 CPUtime=8.68
/proc/3891/stat : 3891 (SatELiteGTI) S 3889 3891 10436 0 -1 4194304 386 27588 0 0 0 0 840 28 25 0 1 0 1014472511 2473984 277 4294967295 134512640 135169312 3220787936 3220784152 3084955374 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/3891/statm: 604 277 235 161 0 43 0
[pid=4081] ppid=3891 vsize=272492 CPUtime=753.7
/proc/4081/stat : 4081 (minisat_static) R 3891 3891 10436 0 -1 4202496 67452 0 0 0 75315 55 0 0 25 0 1 0 1014473379 279031808 67347 4294967295 134512640 135215339 3214294272 3214292272 134532626 0 0 0 3 0 0 0 17 2 0 0 0
/proc/4081/statm: 68123 67347 73 172 0 67950 0
Current children cumulated CPU time (s) 762.38
Current children cumulated vsize (KiB) 274908
[startup+822.31 s]
/proc/loadavg: 1.02 1.04 1.01 4/95 6536
/proc/meminfo: memFree=1017868/2074464 swapFree=1948616/1959888
[pid=3891] ppid=3889 vsize=2416 CPUtime=8.68
/proc/3891/stat : 3891 (SatELiteGTI) S 3889 3891 10436 0 -1 4194304 386 27588 0 0 0 0 840 28 25 0 1 0 1014472511 2473984 277 4294967295 134512640 135169312 3220787936 3220784152 3084955374 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/3891/statm: 604 277 235 161 0 43 0
[pid=4081] ppid=3891 vsize=293224 CPUtime=813.7
/proc/4081/stat : 4081 (minisat_static) R 3891 3891 10436 0 -1 4202496 72607 0 0 0 81311 59 0 0 25 0 1 0 1014473379 300261376 72502 4294967295 134512640 135215339 3214294272 3214292560 134528624 0 0 0 3 0 0 0 17 2 0 0 0
/proc/4081/statm: 73306 72502 73 172 0 73133 0
Current children cumulated CPU time (s) 822.38
Current children cumulated vsize (KiB) 295640
[startup+882.315 s]
/proc/loadavg: 1.01 1.03 1.00 2/95 6723
/proc/meminfo: memFree=998408/2074464 swapFree=1948616/1959888
[pid=3891] ppid=3889 vsize=2416 CPUtime=8.68
/proc/3891/stat : 3891 (SatELiteGTI) S 3889 3891 10436 0 -1 4194304 386 27588 0 0 0 0 840 28 25 0 1 0 1014472511 2473984 277 4294967295 134512640 135169312 3220787936 3220784152 3084955374 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/3891/statm: 604 277 235 161 0 43 0
[pid=4081] ppid=3891 vsize=312440 CPUtime=873.71
/proc/4081/stat : 4081 (minisat_static) R 3891 3891 10436 0 -1 4202496 77397 0 0 0 87309 62 0 0 25 0 1 0 1014473379 319938560 77292 4294967295 134512640 135215339 3214294272 3214292560 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/4081/statm: 78110 77292 73 172 0 77937 0
Current children cumulated CPU time (s) 882.39
Current children cumulated vsize (KiB) 314856
[startup+942.31 s]
/proc/loadavg: 1.00 1.03 1.00 2/95 6916
/proc/meminfo: memFree=979792/2074464 swapFree=1948616/1959888
[pid=3891] ppid=3889 vsize=2416 CPUtime=8.68
/proc/3891/stat : 3891 (SatELiteGTI) S 3889 3891 10436 0 -1 4194304 386 27588 0 0 0 0 840 28 25 0 1 0 1014472511 2473984 277 4294967295 134512640 135169312 3220787936 3220784152 3084955374 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/3891/statm: 604 277 235 161 0 43 0
[pid=4081] ppid=3891 vsize=331848 CPUtime=933.71
/proc/4081/stat : 4081 (minisat_static) R 3891 3891 10436 0 -1 4202496 82043 0 0 0 93306 65 0 0 25 0 1 0 1014473379 339812352 81938 4294967295 134512640 135215339 3214294272 3214292560 134528700 0 0 0 3 0 0 0 17 2 0 0 0
/proc/4081/statm: 82962 81938 73 172 0 82789 0
Current children cumulated CPU time (s) 942.39
Current children cumulated vsize (KiB) 334264
[startup+1002.31 s]
/proc/loadavg: 1.00 1.02 1.00 3/95 7103
/proc/meminfo: memFree=961580/2074464 swapFree=1948616/1959888
[pid=3891] ppid=3889 vsize=2416 CPUtime=8.68
/proc/3891/stat : 3891 (SatELiteGTI) S 3889 3891 10436 0 -1 4194304 386 27588 0 0 0 0 840 28 25 0 1 0 1014472511 2473984 277 4294967295 134512640 135169312 3220787936 3220784152 3084955374 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/3891/statm: 604 277 235 161 0 43 0
[pid=4081] ppid=3891 vsize=349952 CPUtime=993.72
/proc/4081/stat : 4081 (minisat_static) R 3891 3891 10436 0 -1 4202496 86549 0 0 0 99304 68 0 0 25 0 1 0 1014473379 358350848 86444 4294967295 134512640 135215339 3214294272 3214292560 134528666 0 0 0 3 0 0 0 17 2 0 0 0
/proc/4081/statm: 87488 86444 73 172 0 87315 0
Current children cumulated CPU time (s) 1002.4
Current children cumulated vsize (KiB) 352368
[startup+1062.32 s]
/proc/loadavg: 1.00 1.01 1.00 2/95 7292
/proc/meminfo: memFree=942352/2074464 swapFree=1948616/1959888
[pid=3891] ppid=3889 vsize=2416 CPUtime=8.68
/proc/3891/stat : 3891 (SatELiteGTI) S 3889 3891 10436 0 -1 4194304 386 27588 0 0 0 0 840 28 25 0 1 0 1014472511 2473984 277 4294967295 134512640 135169312 3220787936 3220784152 3084955374 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/3891/statm: 604 277 235 161 0 43 0
[pid=4081] ppid=3891 vsize=369396 CPUtime=1053.73
/proc/4081/stat : 4081 (minisat_static) R 3891 3891 10436 0 -1 4202496 91420 0 0 0 105302 71 0 0 25 0 1 0 1014473379 378261504 91315 4294967295 134512640 135215339 3214294272 3214292560 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/4081/statm: 92349 91315 73 172 0 92176 0
Current children cumulated CPU time (s) 1062.41
Current children cumulated vsize (KiB) 371812
[startup+1122.31 s]
/proc/loadavg: 1.00 1.01 1.00 2/95 7479
/proc/meminfo: memFree=926604/2074464 swapFree=1948616/1959888
[pid=3891] ppid=3889 vsize=2416 CPUtime=8.68
/proc/3891/stat : 3891 (SatELiteGTI) S 3889 3891 10436 0 -1 4194304 386 27588 0 0 0 0 840 28 25 0 1 0 1014472511 2473984 277 4294967295 134512640 135169312 3220787936 3220784152 3084955374 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/3891/statm: 604 277 235 161 0 43 0
[pid=4081] ppid=3891 vsize=384964 CPUtime=1113.73
/proc/4081/stat : 4081 (minisat_static) R 3891 3891 10436 0 -1 4202496 95331 0 0 0 111300 73 0 0 25 0 1 0 1014473379 394203136 95226 4294967295 134512640 135215339 3214294272 3214292560 134528821 0 0 0 3 0 0 0 17 2 0 0 0
/proc/4081/statm: 96241 95226 73 172 0 96068 0
Current children cumulated CPU time (s) 1122.41
Current children cumulated vsize (KiB) 387380
[startup+1182.31 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 7666
/proc/meminfo: memFree=910616/2074464 swapFree=1948616/1959888
[pid=3891] ppid=3889 vsize=2416 CPUtime=8.68
/proc/3891/stat : 3891 (SatELiteGTI) S 3889 3891 10436 0 -1 4194304 386 27588 0 0 0 0 840 28 25 0 1 0 1014472511 2473984 277 4294967295 134512640 135169312 3220787936 3220784152 3084955374 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/3891/statm: 604 277 235 161 0 43 0
[pid=4081] ppid=3891 vsize=400624 CPUtime=1173.73
/proc/4081/stat : 4081 (minisat_static) R 3891 3891 10436 0 -1 4202496 99247 0 0 0 117298 75 0 0 25 0 1 0 1014473379 410238976 99142 4294967295 134512640 135215339 3214294272 3214292560 134528806 0 0 0 3 0 0 0 17 2 0 0 0
/proc/4081/statm: 100156 99142 73 172 0 99983 0
Current children cumulated CPU time (s) 1182.41
Current children cumulated vsize (KiB) 403040
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1199.92 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 7668
/proc/meminfo: memFree=905648/2074464 swapFree=1948616/1959888
[pid=3891] ppid=3889 vsize=2416 CPUtime=8.68
/proc/3891/stat : 3891 (SatELiteGTI) S 3889 3891 10436 0 -1 4194304 386 27588 0 0 0 0 840 28 25 0 1 0 1014472511 2473984 277 4294967295 134512640 135169312 3220787936 3220784152 3084955374 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/3891/statm: 604 277 235 161 0 43 0
[pid=4081] ppid=3891 vsize=405508 CPUtime=1191.34
/proc/4081/stat : 4081 (minisat_static) R 3891 3891 10436 0 -1 4202496 100461 0 0 0 119057 77 0 0 25 0 1 0 1014473379 415240192 100356 4294967295 134512640 135215339 3214294272 3214292560 134528849 0 0 0 3 0 0 0 17 2 0 0 0
/proc/4081/statm: 101377 100356 73 172 0 101204 0
Current children cumulated CPU time (s) 1200.02
Current children cumulated vsize (KiB) 407924
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1199.92 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 7668
/proc/meminfo: memFree=905648/2074464 swapFree=1948616/1959888
[pid=3891] ppid=3889 vsize=2416 CPUtime=8.68
/proc/3891/stat : 3891 (SatELiteGTI) S 3889 3891 10436 0 -1 4194304 386 27588 0 0 0 0 840 28 25 0 1 0 1014472511 2473984 277 4294967295 134512640 135169312 3220787936 3220784152 3084955374 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/3891/statm: 604 277 235 161 0 43 0
[pid=4081] ppid=3891 vsize=405508 CPUtime=1191.34
/proc/4081/stat : 4081 (minisat_static) R 3891 3891 10436 0 -1 4202496 100461 0 0 0 119057 77 0 0 25 0 1 0 1014473379 415240192 100356 4294967295 134512640 135215339 3214294272 3214292560 134528849 0 0 0 3 0 0 0 17 2 0 0 0
/proc/4081/statm: 101377 100356 73 172 0 101204 0
Current children cumulated CPU time (s) 1200.02
Current children cumulated vsize (KiB) 407924
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 3891 and gives
# childrusage.ru_utime.tv_sec=8
# childrusage.ru_utime.tv_usec=400000
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=280000
# CPU time returned by wait4() is 8.68
# while last known CPU time is 1200.02
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1199.94
CPU time (s): 1200.02
CPU user time (s): 1198.97
CPU system time (s): 1.05
CPU usage (%): 100.007
Max. virtual memory (cumulated for all children) (KiB): 407924
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8.4
system time used= 0.28
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27974
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 13
involuntary context switches= 191
runsolver used 0.02 second user time and 0.01 second system time
The end
Begin job on tipi16 at 2009-05-16 20:48:39
IDJOB=1821034
IDBENCH=70815
IDSOLVER=657
FILE ID=tipi16/1821034-1242499719
PBS_JOBID=
Free space on /tmp= 4964 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/APPLICATIONS/bitverif/maxxor/maxxor128.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1821034-1242499719/watcher-1821034-1242499719 -o /tmp/evaluation-result-1821034-1242499719/solver-1821034-1242499719 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1821034-1242499719.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 065c126f0d55807310a398728b44423f
RANDOM SEED= 1860915770
Linux tipi16 2.6.18 #19 SMP Tue Jun 19 11:27:27 CEST 2007 i686 GNU/Linux
/proc/cpuinfo:
processor : 0
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.457
cache size : 1024 KB
physical id : 0
siblings : 2
core id : 0
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3618.37
processor : 1
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.457
cache size : 1024 KB
physical id : 0
siblings : 2
core id : 1
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.78
processor : 2
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.457
cache size : 1024 KB
physical id : 1
siblings : 2
core id : 0
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.78
processor : 3
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.457
cache size : 1024 KB
physical id : 1
siblings : 2
core id : 1
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.78
/proc/meminfo:
MemTotal: 2074464 kB
MemFree: 1340396 kB
Buffers: 36840 kB
Cached: 616720 kB
SwapCached: 5940 kB
Active: 87948 kB
Inactive: 575716 kB
HighTotal: 1178688 kB
HighFree: 598076 kB
LowTotal: 895776 kB
LowFree: 742320 kB
SwapTotal: 1959888 kB
SwapFree: 1948616 kB
Dirty: 12156 kB
Writeback: 0 kB
AnonPages: 9300 kB
Mapped: 3336 kB
Slab: 61460 kB
PageTables: 632 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 2997120 kB
Committed_AS: 90764 kB
VmallocTotal: 114680 kB
VmallocUsed: 1324 kB
VmallocChunk: 113264 kB
Free space on /tmp at the end= 4932 MiB
End job on tipi16 at 2009-05-16 21:08:42