0.00/0.00 c Parsing...
0.00/0.50 c ==============================================================================
0.00/0.50 c | | ORIGINAL | LEARNT | |
0.00/0.50 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.50 c ==============================================================================
0.00/0.50 c | 0 | 599013 1397697 | 179703 0 0 nan | 0.000 % |
9.08/9.13 c | 0 | 340394 1129456 | -- 0 -- -- | -- | -258577/-268140
9.08/9.13 c ==============================================================================
9.08/9.13 c Result : #vars: 72795 #clauses: 340394 #literals: 1129456
9.08/9.13 c CPU time: 8.86965 s
9.08/9.13 c ==============================================================================
9.49/9.54 c This is MiniSat 2.0 beta
9.49/9.54 c WARNING: for repeatability, setting FPU to use double precision
9.49/9.54 c ============================[ Problem Statistics ]=============================
9.49/9.54 c | |
9.49/9.55 c | Number of variables: 72795 |
9.49/9.55 c | Number of clauses: 340394 |
9.53/9.76 c | Parsing time: 0.19 s |
9.53/9.78 c ============================[ Search Statistics ]==============================
9.53/9.78 c | Conflicts | ORIGINAL | LEARNT | Progress |
9.53/9.78 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
9.53/9.78 c ===============================================================================
9.53/9.78 c | 0 | 72795 340394 1129456 | 113464 0 nan | 0.000 % |
9.87/9.96 c | 100 | 72795 340394 1129456 | 113464 100 6 | 0.000 % |
9.96/10.04 c | 200 | 72795 340394 1129456 | 113464 200 22 | 0.000 % |
10.06/10.18 c | 302 | 72795 340394 1129456 | 113464 302 26 | 0.000 % |
10.17/10.26 c | 412 | 72795 340394 1129456 | 113464 412 24 | 0.000 % |
10.27/10.35 c | 512 | 72795 340394 1129456 | 113464 512 24 | 0.000 % |
10.47/10.54 c | 623 | 72795 340394 1129456 | 113464 623 38 | 0.000 % |
10.57/10.61 c | 744 | 72795 340394 1129456 | 113464 744 55 | 0.000 % |
10.57/10.65 c | 844 | 72795 340394 1129456 | 113464 844 58 | 0.000 % |
10.67/10.74 c | 956 | 72795 340394 1129456 | 113464 956 54 | 0.000 % |
10.77/10.82 c | 1079 | 72795 340394 1129456 | 113464 1079 52 | 0.000 % |
10.87/10.93 c | 1212 | 72795 340394 1129456 | 113464 1212 66 | 0.000 % |
10.97/11.02 c | 1312 | 72795 340394 1129456 | 113464 1312 69 | 0.000 % |
10.97/11.05 c | 1422 | 72795 340394 1129456 | 113464 1422 66 | 0.000 % |
11.07/11.20 c | 1543 | 72795 340394 1129456 | 113464 1543 65 | 0.000 % |
11.37/11.48 c | 1676 | 72795 340394 1129456 | 113464 1676 63 | 0.000 % |
11.57/11.63 c | 1825 | 72795 340394 1129456 | 113464 1825 60 | 0.000 % |
11.76/11.80 c | 1925 | 72795 340394 1129456 | 113464 1925 57 | 0.000 % |
11.86/11.93 c | 2035 | 72795 340394 1129456 | 113464 2035 56 | 0.000 % |
11.97/12.05 c | 2157 | 72795 340394 1129456 | 113464 2157 56 | 0.000 % |
12.16/12.21 c | 2291 | 72795 340394 1129456 | 113464 2291 57 | 0.000 % |
12.46/12.58 c | 2438 | 72795 340394 1129456 | 113464 2438 54 | 0.000 % |
12.56/12.68 c | 2598 | 72795 340394 1129456 | 113464 2598 53 | 0.000 % |
12.76/12.83 c | 2698 | 72795 340394 1129456 | 113464 2698 51 | 0.000 % |
13.07/13.10 c | 2809 | 72795 340394 1129456 | 113464 2809 50 | 0.000 % |
13.17/13.21 c | 2930 | 72795 340394 1129456 | 113464 2930 49 | 0.000 % |
13.26/13.37 c | 3064 | 72795 340394 1129456 | 113464 3064 47 | 0.000 % |
13.46/13.60 c | 3212 | 72795 340394 1129456 | 113464 3212 53 | 0.000 % |
13.67/13.70 c | 3372 | 72795 340394 1129456 | 113464 3372 56 | 0.000 % |
13.77/13.82 c | 3548 | 72795 340394 1129456 | 113464 3548 63 | 0.000 % |
13.97/14.01 c | 3648 | 72795 340394 1129456 | 113464 3648 63 | 0.000 % |
14.17/14.26 c | 3758 | 72795 340394 1129456 | 113464 3758 63 | 0.000 % |
14.37/14.42 c | 3880 | 72795 340394 1129456 | 113464 3880 61 | 0.000 % |
14.47/14.55 c | 4014 | 72795 340394 1129456 | 113464 4014 60 | 0.000 % |
14.67/14.70 c | 4160 | 72795 340394 1129456 | 113464 4160 60 | 0.000 % |
14.87/14.97 c | 4321 | 72795 340394 1129456 | 113464 4321 60 | 0.000 % |
15.07/15.18 c | 4497 | 72795 340394 1129456 | 113464 4497 59 | 0.000 % |
15.47/15.52 c | 4690 | 72795 340394 1129456 | 113464 4690 60 | 0.000 % |
15.57/15.62 c | 4791 | 72795 340394 1129456 | 113464 4791 60 | 0.000 % |
15.57/15.67 c | 4903 | 72795 340394 1129456 | 113464 4903 59 | 0.000 % |
15.67/15.71 c | 5025 | 72795 340394 1129456 | 113464 5025 59 | 0.000 % |
15.67/15.78 c | 5158 | 72795 340394 1129456 | 113464 5158 58 | 0.000 % |
15.97/16.01 c | 5304 | 72795 340394 1129456 | 113464 5304 56 | 0.000 % |
16.17/16.20 c | 5464 | 72795 340394 1129456 | 113464 5464 56 | 0.000 % |
16.17/16.28 c | 5640 | 72795 340394 1129456 | 113464 5640 55 | 0.000 % |
16.37/16.45 c | 5833 | 72795 340394 1129456 | 113464 5833 55 | 0.000 % |
16.77/16.80 c | 6045 | 72795 340394 1129456 | 113464 6045 56 | 0.000 % |
16.97/17.00 c | 6147 | 72795 340394 1129456 | 113464 6147 56 | 0.000 % |
17.07/17.16 c | 6258 | 72795 340394 1129456 | 113464 6258 56 | 0.000 % |
17.17/17.29 c | 6379 | 72795 340394 1129456 | 113464 6379 55 | 0.000 % |
17.27/17.37 c | 6512 | 72795 340394 1129456 | 113464 6512 55 | 0.000 % |
17.47/17.53 c | 6658 | 72795 340394 1129456 | 113464 6658 54 | 0.000 % |
17.57/17.65 c | 6818 | 72795 340394 1129456 | 113464 6818 53 | 0.000 % |
18.06/18.14 c | 6995 | 72795 340394 1129456 | 113464 6995 55 | 0.000 % |
18.16/18.25 c | 7189 | 72795 340394 1129456 | 113464 7189 56 | 0.000 % |
18.36/18.46 c | 7402 | 72795 340394 1129456 | 113464 7402 55 | 0.000 % |
18.67/18.71 c | 7636 | 72795 340394 1129456 | 113464 7636 54 | 0.000 % |
18.96/19.09 c | 7736 | 72795 340394 1129456 | 113464 7736 54 | 0.000 % |
19.06/19.19 c | 7846 | 72795 340394 1129456 | 113464 7846 54 | 0.000 % |
19.46/19.59 c | 7967 | 72795 340394 1129456 | 113464 7967 53 | 0.000 % |
19.67/19.75 c | 8109 | 72795 340394 1129456 | 113464 8109 52 | 0.000 % |
19.77/19.86 c | 8255 | 72795 340394 1129456 | 113464 8255 51 | 0.000 % |
19.86/19.92 c | 8415 | 72795 340394 1129456 | 113464 8415 51 | 0.000 % |
19.86/20.00 c | 8591 | 72795 340394 1129456 | 113464 8591 51 | 0.000 % |
20.06/20.11 c | 8789 | 72795 340394 1129456 | 113464 8789 50 | 0.000 % |
20.16/20.27 c | 9004 | 72795 340394 1129456 | 113464 9004 49 | 0.000 % |
20.36/20.49 c | 9237 | 72795 340394 1129456 | 113464 9237 49 | 0.000 % |
20.66/20.78 c | 9493 | 72795 340394 1129456 | 113464 9493 50 | 0.000 % |
20.77/20.89 c | 9594 | 72795 340394 1129456 | 113464 9594 50 | 0.000 % |
20.96/21.05 c | 9706 | 72795 340394 1129456 | 113464 9706 51 | 0.000 % |
21.06/21.12 c | 9827 | 72795 340394 1129456 | 113464 9827 50 | 0.000 % |
21.36/21.42 c | 9960 | 72795 340394 1129456 | 113464 9960 50 | 0.000 % |
21.97/22.07 c | 10106 | 72795 340394 1129456 | 2147483647 10106 50 | 0.000 % |
22.16/22.23 c | 10267 | 72795 340394 1129456 | 2147483647 10267 49 | 0.000 % |
22.46/22.58 c | 10444 | 72795 340394 1129456 | 2147483647 10444 49 | 0.000 % |
22.76/22.85 c | 10637 | 72795 340394 1129456 | 2147483647 10637 48 | 0.000 % |
23.16/23.24 c | 10849 | 72795 340394 1129456 | 2147483647 10849 50 | 0.000 % |
23.36/23.45 c | 11082 | 72795 340394 1129456 | 2147483647 11082 50 | 0.000 % |
23.56/23.64 c | 11339 | 72795 340394 1129456 | 2147483647 11339 49 | 0.000 % |
23.76/23.86 c | 11620 | 72795 340394 1129456 | 2147483647 11620 49 | 0.000 % |
23.96/24.03 c | 11720 | 72795 340394 1129456 | 2147483647 11720 49 | 0.000 % |
24.06/24.18 c | 11831 | 72795 340394 1129456 | 2147483647 11831 49 | 0.000 % |
24.36/24.40 c | 11952 | 72795 340394 1129456 | 2147483647 11952 50 | 0.000 % |
24.46/24.57 c | 12086 | 72795 340394 1129456 | 2147483647 12086 50 | 0.000 % |
24.86/24.90 c | 12233 | 72795 340394 1129456 | 2147483647 12233 51 | 0.000 % |
25.16/25.21 c | 12394 | 72795 340394 1129456 | 2147483647 12394 52 | 0.000 % |
25.66/25.74 c | 12571 | 72795 340394 1129456 | 2147483647 12571 54 | 0.000 % |
25.96/26.02 c | 12765 | 72795 340394 1129456 | 2147483647 12765 56 | 0.000 % |
26.06/26.16 c | 12977 | 72795 340394 1129456 | 2147483647 12977 56 | 0.000 % |
26.26/26.32 c | 13211 | 72795 340394 1129456 | 2147483647 13211 56 | 0.000 % |
26.46/26.59 c | 13468 | 72795 340394 1129456 | 2147483647 13468 56 | 0.000 % |
27.06/27.10 c | 13750 | 72795 340394 1129456 | 2147483647 13750 56 | 0.000 % |
27.37/27.41 c | 14061 | 72795 340394 1129456 | 2147483647 14061 57 | 0.000 % |
27.57/27.60 c | 14161 | 72795 340394 1129456 | 2147483647 14161 57 | 0.000 % |
27.97/28.01 c | 14271 | 72795 340394 1129456 | 2147483647 14271 58 | 0.000 % |
28.07/28.18 c | 14392 | 72795 340394 1129456 | 2147483647 14392 58 | 0.000 % |
28.17/28.28 c | 14526 | 72795 340394 1129456 | 2147483647 14526 58 | 0.000 % |
28.47/28.57 c | 14673 | 72795 340394 1129456 | 2147483647 14673 59 | 0.000 % |
28.57/28.69 c | 14833 | 72795 340394 1129456 | 2147483647 14833 59 | 0.000 % |
28.87/28.97 c | 15009 | 72795 340394 1129456 | 2147483647 15009 59 | 0.000 % |
29.06/29.15 c | 15202 | 72795 340394 1129456 | 2147483647 15202 58 | 0.000 % |
29.16/29.25 c | 15414 | 72795 340394 1129456 | 2147483647 15414 57 | 0.000 % |
29.57/29.68 c | 15647 | 72795 340394 1129456 | 2147483647 15647 57 | 0.000 % |
29.76/29.89 c | 15904 | 72795 340394 1129456 | 2147483647 15904 58 | 0.000 % |
30.26/30.39 c | 16185 | 72795 340394 1129456 | 2147483647 16185 57 | 0.000 % |
30.56/30.69 c | 16494 | 72795 340394 1129456 | 2147483647 16494 57 | 0.000 % |
31.16/31.22 c | 16833 | 72795 340394 1129456 | 2147483647 16833 56 | 0.000 % |
31.46/31.52 c | 16933 | 72795 340394 1129456 | 2147483647 16933 56 | 0.000 % |
31.56/31.69 c | 17043 | 72795 340394 1129456 | 2147483647 17043 56 | 0.000 % |
31.96/32.06 c | 17166 | 72795 340394 1129456 | 2147483647 17166 56 | 0.000 % |
32.06/32.19 c | 17299 | 72795 340394 1129456 | 2147483647 17299 57 | 0.000 % |
32.26/32.30 c | 17445 | 72795 340394 1129456 | 2147483647 17445 56 | 0.000 % |
32.36/32.46 c | 17605 | 72795 340394 1129456 | 2147483647 17605 57 | 0.000 % |
32.56/32.65 c | 17787 | 72795 340394 1129456 | 2147483647 17787 57 | 0.000 % |
32.66/32.75 c | 17980 | 72795 340394 1129456 | 2147483647 17980 57 | 0.000 % |
32.86/32.93 c | 18194 | 72795 340394 1129456 | 2147483647 18194 56 | 0.000 % |
33.06/33.16 c | 18429 | 72795 340394 1129456 | 2147483647 18429 56 | 0.000 % |
33.36/33.46 c | 18685 | 72795 340394 1129456 | 2147483647 18685 55 | 0.000 % |
34.46/34.50 c | 18966 | 72795 340394 1129456 | 2147483647 18966 58 | 0.000 % |
34.76/34.82 c | 19275 | 72795 340394 1129456 | 2147483647 19275 58 | 0.000 % |
35.46/35.53 c | 19615 | 72795 340394 1129456 | 2147483647 19615 62 | 0.000 % |
36.16/36.20 c | 19987 | 72795 340394 1129456 | 2147483647 19987 64 | 0.000 % |
36.26/36.31 c | 20088 | 72795 340394 1129456 | 2147483647 20088 64 | 0.000 % |
36.26/36.38 c | 20198 | 72795 340394 1129456 | 2147483647 20198 63 | 0.000 % |
36.36/36.49 c | 20320 | 72795 340394 1129456 | 2147483647 20320 63 | 0.000 % |
36.46/36.59 c | 20453 | 72795 340394 1129456 | 2147483647 20453 63 | 0.000 % |
36.66/36.71 c | 20600 | 72795 340394 1129456 | 2147483647 20600 63 | 0.000 % |
36.76/36.87 c | 20760 | 72795 340394 1129456 | 2147483647 20760 62 | 0.000 % |
36.85/36.97 c | 20937 | 72795 340394 1129456 | 2147483647 20937 62 | 0.000 % |
36.95/37.03 c | 21130 | 72795 340394 1129456 | 2147483647 21130 62 | 0.000 % |
37.05/37.20 c | 21342 | 72795 340394 1129456 | 2147483647 21342 62 | 0.000 % |
37.45/37.57 c | 21576 | 72795 340394 1129456 | 2147483647 21576 62 | 0.000 % |
37.65/37.75 c | 21832 | 72795 340394 1129456 | 2147483647 21832 62 | 0.000 % |
37.75/37.88 c | 22113 | 72795 340394 1129456 | 2147483647 22113 61 | 0.000 % |
37.95/38.06 c | 22422 | 72795 340394 1129456 | 2147483647 22422 61 | 0.000 % |
38.36/38.43 c | 22763 | 72795 340394 1129456 | 2147483647 22763 61 | 0.000 % |
38.75/38.81 c | 23135 | 72795 340394 1129456 | 2147483647 23135 61 | 0.000 % |
38.95/39.02 c | 23546 | 72795 340394 1129456 | 2147483647 23546 60 | 0.000 % |
38.95/39.06 c | 23646 | 72795 340394 1129456 | 2147483647 23646 60 | 0.000 % |
39.15/39.26 c | 23757 | 72795 340394 1129456 | 2147483647 23757 60 | 0.000 % |
39.35/39.44 c | 23878 | 72795 340394 1129456 | 2147483647 23878 60 | 0.000 % |
39.35/39.48 c | 24011 | 72795 340394 1129456 | 2147483647 24011 60 | 0.000 % |
39.46/39.55 c | 24157 | 72795 340394 1129456 | 2147483647 24157 60 | 0.000 % |
39.75/39.90 c | 24318 | 72795 340394 1129456 | 2147483647 24318 60 | 0.000 % |
39.95/40.07 c | 24495 | 72795 340394 1129456 | 2147483647 24495 60 | 0.000 % |
40.15/40.28 c | 24689 | 72795 340394 1129456 | 2147483647 24689 60 | 0.000 % |
40.45/40.58 c | 24902 | 72795 340394 1129456 | 2147483647 24902 61 | 0.000 % |
40.85/40.95 c | 25135 | 72795 340394 1129456 | 2147483647 25135 62 | 0.000 % |
41.35/41.42 c | 25392 | 72795 340394 1129456 | 2147483647 25392 62 | 0.000 % |
41.55/41.61 c | 25674 | 72795 340394 1129456 | 2147483647 25674 62 | 0.000 % |
41.95/42.02 c | 25987 | 72795 340394 1129456 | 2147483647 25987 62 | 0.000 % |
42.25/42.39 c | 26326 | 72795 340394 1129456 | 2147483647 26326 62 | 0.000 % |
42.86/42.92 c | 26698 | 72795 340394 1129456 | 2147483647 26698 62 | 0.000 % |
43.45/43.52 c | 27107 | 72795 340394 1129456 | 2147483647 27107 64 | 0.000 % |
44.35/44.40 c | 27556 | 72795 340394 1129456 | 2147483647 27556 67 | 0.000 % |
44.45/44.51 c | 27658 | 72795 340394 1129456 | 2147483647 27658 67 | 0.000 % |
44.75/44.83 c | 27768 | 72795 340394 1129456 | 2147483647 27768 68 | 0.000 % |
44.95/45.03 c | 27889 | 72795 340394 1129456 | 2147483647 27889 68 | 0.000 % |
45.05/45.15 c | 28022 | 72795 340394 1129456 | 2147483647 28022 68 | 0.000 % |
45.25/45.38 c | 28169 | 72795 340394 1129456 | 2147483647 28169 68 | 0.000 % |
45.45/45.59 c | 28329 | 72795 340394 1129456 | 2147483647 28329 68 | 0.000 % |
45.55/45.63 c | 28505 | 72795 340394 1129456 | 2147483647 28505 67 | 0.000 % |
45.75/45.80 c | 28699 | 72795 340394 1129456 | 2147483647 28699 67 | 0.000 % |
46.05/46.10 c | 28911 | 72795 340394 1129456 | 2147483647 28911 67 | 0.000 % |
46.25/46.40 c | 29145 | 72795 340394 1129456 | 2147483647 29145 66 | 0.000 % |
46.65/46.70 c | 29401 | 72795 340394 1129456 | 2147483647 29401 66 | 0.000 % |
46.75/46.86 c | 29682 | 72795 340394 1129456 | 2147483647 29682 66 | 0.000 % |
47.35/47.40 c | 29991 | 72795 340394 1129456 | 2147483647 29991 66 | 0.000 % |
47.95/48.08 c | 30331 | 72795 340394 1129456 | 2147483647 30331 68 | 0.000 % |
48.35/48.46 c | 30706 | 72795 340394 1129456 | 2147483647 30706 69 | 0.000 % |
48.65/48.77 c | 31115 | 72795 340394 1129456 | 2147483647 31115 69 | 0.000 % |
49.64/49.71 c | 31565 | 72795 340394 1129456 | 2147483647 31565 69 | 0.000 % |
50.84/50.95 c | 32060 | 72795 340394 1129456 | 2147483647 32060 72 | 0.000 % |
51.04/51.12 c | 32161 | 72795 340394 1129456 | 2147483647 32161 72 | 0.000 % |
51.24/51.38 c | 32273 | 72795 340394 1129456 | 2147483647 32273 73 | 0.000 % |
51.44/51.51 c | 32397 | 72795 340394 1129456 | 2147483647 32397 73 | 0.000 % |
51.54/51.69 c | 32531 | 72795 340394 1129456 | 2147483647 32531 73 | 0.000 % |
51.84/51.96 c | 32677 | 72795 340394 1129456 | 2147483647 32677 73 | 0.000 % |
52.34/52.40 c | 32838 | 72795 340394 1129456 | 2147483647 32838 74 | 0.000 % |
52.74/52.89 c | 33015 | 72795 340394 1129456 | 2147483647 33015 74 | 0.000 % |
53.04/53.13 c | 33210 | 72795 340394 1129456 | 2147483647 33210 74 | 0.000 % |
53.44/53.55 c | 33422 | 72795 340394 1129456 | 2147483647 33422 74 | 0.000 % |
53.74/53.87 c | 33655 | 72795 340394 1129456 | 2147483647 33655 73 | 0.000 % |
54.24/54.31 c | 33911 | 72795 340394 1129456 | 2147483647 33911 73 | 0.000 % |
54.54/54.64 c | 34193 | 72795 340394 1129456 | 2147483647 34193 73 | 0.000 % |
54.94/55.09 c | 34504 | 72795 340394 1129456 | 2147483647 34504 73 | 0.000 % |
55.24/55.39 c | 34843 | 72795 340394 1129456 | 2147483647 34843 73 | 0.000 % |
55.84/55.95 c | 35216 | 72795 340394 1129456 | 2147483647 35216 73 | 0.000 % |
56.44/56.55 c | 35627 | 72795 340394 1129456 | 2147483647 35627 72 | 0.000 % |
56.74/56.80 c | 36076 | 72795 340394 1129456 | 2147483647 36076 72 | 0.000 % |
57.45/57.59 c | 36569 | 72795 340394 1129456 | 2147483647 36569 72 | 0.000 % |
58.74/58.86 c | 37111 | 72795 340394 1129456 | 2147483647 37111 72 | 0.000 % |
58.84/58.99 c | 37212 | 72795 340394 1129456 | 2147483647 37212 72 | 0.000 % |
59.14/59.23 c | 37322 | 72795 340394 1129456 | 2147483647 37322 72 | 0.000 % |
59.35/59.44 c | 37443 | 72795 340394 1129456 | 2147483647 37443 72 | 0.000 % |
59.35/59.46 c | 37576 | 72795 340394 1129456 | 2147483647 37576 72 | 0.000 % |
59.54/59.60 c | 37722 | 72795 340394 1129456 | 2147483647 37722 72 | 0.000 % |
59.84/59.92 c | 37882 | 72795 340394 1129456 | 2147483647 37882 72 | 0.000 % |
59.94/60.09 c | 38059 | 72795 340394 1129456 | 2147483647 38059 72 | 0.000 % |
60.24/60.34 c | 38252 | 72795 340394 1129456 | 2147483647 38252 72 | 0.000 % |
60.35/60.42 c | 38465 | 72795 340394 1129456 | 2147483647 38465 72 | 0.000 % |
60.74/60.82 c | 38699 | 72795 340394 1129456 | 2147483647 38699 72 | 0.000 % |
61.24/61.37 c | 38957 | 72795 340394 1129456 | 2147483647 38957 73 | 0.000 % |
62.04/62.16 c | 39238 | 72795 340394 1129456 | 2147483647 39238 73 | 0.000 % |
62.64/62.79 c | 39549 | 72795 340394 1129456 | 2147483647 39549 73 | 0.000 % |
63.04/63.11 c | 39888 | 72795 340394 1129456 | 2147483647 39888 73 | 0.000 % |
63.74/63.81 c | 40261 | 72795 340394 1129456 | 2147483647 40261 73 | 0.000 % |
64.74/64.81 c | 40670 | 72795 340394 1129456 | 2147483647 40670 73 | 0.000 % |
65.64/65.78 c | 41120 | 72795 340394 1129456 | 2147483647 41120 74 | 0.000 % |
66.44/66.54 c | 41613 | 72795 340394 1129456 | 2147483647 41613 74 | 0.000 % |
67.43/67.52 c | 42156 | 72795 340394 1129456 | 2147483647 42156 74 | 0.000 % |
67.94/68.09 c | 42752 | 72795 340394 1129456 | 2147483647 42752 76 | 0.000 % |
68.14/68.20 c | 42854 | 72795 340394 1129456 | 2147483647 42854 76 | 0.000 % |
68.24/68.35 c | 42965 | 72795 340394 1129456 | 2147483647 42965 76 | 0.000 % |
68.44/68.56 c | 43086 | 72795 340394 1129456 | 2147483647 43086 76 | 0.000 % |
68.64/68.78 c | 43219 | 72795 340394 1129456 | 2147483647 43219 76 | 0.000 % |
68.84/68.94 c | 43365 | 72795 340394 1129456 | 2147483647 43365 76 | 0.000 % |
68.94/69.01 c | 43526 | 72795 340394 1129456 | 2147483647 43526 76 | 0.000 % |
69.14/69.24 c | 43702 | 72795 340394 1129456 | 2147483647 43702 75 | 0.000 % |
69.54/69.65 c | 43899 | 72795 340394 1129456 | 2147483647 43899 76 | 0.000 % |
69.83/69.98 c | 44111 | 72795 340394 1129456 | 2147483647 44111 75 | 0.000 % |
70.33/70.45 c | 44345 | 72795 340394 1129456 | 2147483647 44345 76 | 0.000 % |
70.73/70.87 c | 44601 | 72795 340394 1129456 | 2147483647 44601 76 | 0.000 % |
71.02/71.16 c | 44883 | 72795 340394 1129456 | 2147483647 44883 76 | 0.000 % |
71.33/71.42 c | 45192 | 72795 340394 1129456 | 2147483647 45192 76 | 0.000 % |
71.52/71.68 c | 45533 | 72795 340394 1129456 | 2147483647 45533 76 | 0.000 % |
71.82/71.93 c | 45905 | 72795 340394 1129456 | 2147483647 45905 75 | 0.000 % |
72.02/72.15 c | 46315 | 72795 340394 1129456 | 2147483647 46315 75 | 0.000 % |
73.03/73.12 c | 46765 | 72795 340394 1129456 | 2147483647 46765 77 | 0.000 % |
74.23/74.37 c | 47258 | 72795 340394 1129456 | 2147483647 47258 77 | 0.000 % |
74.93/75.05 c | 47800 | 72795 340394 1129456 | 2147483647 47800 77 | 0.000 % |
75.43/75.57 c | 48396 | 72795 340394 1129456 | 2147483647 48396 77 | 0.000 % |
75.93/76.10 c | 49052 | 72795 340394 1129456 | 2147483647 49052 77 | 0.000 % |
76.23/76.30 c | 49152 | 72795 340394 1129456 | 2147483647 49152 77 | 0.000 % |
76.43/76.51 c | 49262 | 72795 340394 1129456 | 2147483647 49262 77 | 0.000 % |
76.63/76.79 c | 49383 | 72795 340394 1129456 | 2147483647 49383 77 | 0.000 % |
76.83/76.95 c | 49519 | 72795 340394 1129456 | 2147483647 49519 77 | 0.000 % |
77.03/77.11 c | 49666 | 72795 340394 1129456 | 2147483647 49666 77 | 0.000 % |
77.03/77.18 c | 49826 | 72795 340394 1129456 | 2147483647 49826 77 | 0.000 % |
77.43/77.52 c | 50003 | 72795 340394 1129456 | 2147483647 50003 77 | 0.000 % |
77.63/77.70 c | 50196 | 72795 340394 1129456 | 2147483647 50196 76 | 0.000 % |
77.83/77.94 c | 50408 | 72795 340394 1129456 | 2147483647 50408 76 | 0.000 % |
78.23/78.31 c | 50642 | 72795 340394 1129456 | 2147483647 50642 77 | 0.000 % |
78.33/78.48 c | 50898 | 72795 340394 1129456 | 2147483647 50898 77 | 0.000 % |
78.83/78.94 c | 51179 | 72795 340394 1129456 | 2147483647 51179 77 | 0.000 % |
79.32/79.50 c | 51488 | 72795 340394 1129456 | 2147483647 51488 78 | 0.000 % |
79.82/79.90 c | 51827 | 72795 340394 1129456 | 2147483647 51827 79 | 0.000 % |
80.23/80.33 c | 52199 | 72795 340394 1129456 | 2147483647 52199 79 | 0.000 % |
80.62/80.74 c | 52609 | 72795 340394 1129456 | 2147483647 52609 80 | 0.000 % |
81.73/81.88 c | 53059 | 72795 340394 1129456 | 2147483647 53059 81 | 0.000 % |
82.53/82.69 c | 53553 | 72795 340394 1129456 | 2147483647 53553 81 | 0.000 % |
85.73/85.82 c | 54096 | 72795 340394 1129456 | 2147483647 54096 84 | 0.000 % |
87.03/87.14 c | 54692 | 72795 340394 1129456 | 2147483647 54692 84 | 0.000 % |
88.23/88.30 c | 55347 | 72795 340394 1129456 | 2147483647 55347 86 | 0.000 % |
89.52/89.62 c | 56067 | 72795 340394 1129456 | 2147483647 56067 87 | 0.000 % |
89.62/89.76 c | 56167 | 72795 340394 1129456 | 2147483647 56167 87 | 0.000 % |
89.92/90.08 c | 56282 | 72795 340394 1129456 | 2147483647 56282 87 | 0.000 % |
90.22/90.34 c | 56403 | 72795 340394 1129456 | 2147483647 56403 88 | 0.000 % |
90.52/90.65 c | 56540 | 72795 340394 1129456 | 2147483647 56540 88 | 0.000 % |
90.72/90.83 c | 56686 | 72795 340394 1129456 | 2147483647 56686 87 | 0.000 % |
94.22/94.35 c | 56846 | 72795 340394 1129456 | 2147483647 56846 90 | 0.000 % |
94.52/94.67 c | 57024 | 72795 340394 1129456 | 2147483647 57024 89 | 0.000 % |
94.82/94.96 c | 57217 | 72795 340394 1129456 | 2147483647 57217 89 | 0.000 % |
95.22/95.31 c | 57429 | 72795 340394 1129456 | 2147483647 57429 89 | 0.000 % |
95.42/95.51 c | 57662 | 72795 340394 1129456 | 2147483647 57662 89 | 0.000 % |
95.62/95.70 c | 57920 | 72795 340394 1129456 | 2147483647 57920 88 | 0.000 % |
95.92/96.00 c | 58201 | 72795 340394 1129456 | 2147483647 58201 88 | 0.000 % |
96.11/96.22 c | 58515 | 72795 340394 1129456 | 2147483647 58515 88 | 0.000 % |
96.72/96.83 c | 58855 | 72795 340394 1129456 | 2147483647 58855 88 | 0.000 % |
97.21/97.31 c | 59227 | 72795 340394 1129456 | 2147483647 59227 88 | 0.000 % |
97.51/97.64 c | 59638 | 72795 340394 1129456 | 2147483647 59638 88 | 0.000 % |
98.01/98.14 c | 60087 | 72795 340394 1129456 | 2147483647 60087 87 | 0.000 % |
98.92/99.07 c | 60581 | 72795 340394 1129456 | 2147483647 60581 87 | 0.000 % |
99.61/99.71 c | 61123 | 72795 340394 1129456 | 2147483647 61123 87 | 0.000 % |
100.11/100.25 c | 61719 | 72795 340394 1129456 | 2147483647 61719 86 | 0.000 % |
101.41/101.53 c | 62374 | 72795 340394 1129456 | 2147483647 62374 86 | 0.000 % |
102.01/102.12 c | 63094 | 72795 340394 1129456 | 2147483647 63094 85 | 0.000 % |
103.52/103.62 c | 63886 | 72795 340394 1129456 | 2147483647 63886 86 | 0.000 % |
103.72/103.87 c | 63989 | 72795 340394 1129456 | 2147483647 63989 86 | 0.000 % |
103.92/104.02 c | 64099 | 72795 340394 1129456 | 2147483647 64099 86 | 0.000 % |
104.22/104.30 c | 64221 | 72795 340394 1129456 | 2147483647 64221 86 | 0.000 % |
104.42/104.58 c | 64354 | 72795 340394 1129456 | 2147483647 64354 86 | 0.000 % |
104.82/104.91 c | 64500 | 72795 340394 1129456 | 2147483647 64500 86 | 0.000 % |
105.02/105.11 c | 64660 | 72795 340394 1129456 | 2147483647 64660 86 | 0.000 % |
105.12/105.29 c | 64837 | 72795 340394 1129456 | 2147483647 64837 86 | 0.000 % |
105.32/105.43 c | 65030 | 72795 340394 1129456 | 2147483647 65030 86 | 0.000 % |
105.42/105.57 c | 65242 | 72795 340394 1129456 | 2147483647 65242 86 | 0.000 % |
105.92/106.07 c | 65475 | 72795 340394 1129456 | 2147483647 65475 86 | 0.000 % |
106.92/107.04 c | 65731 | 72795 340394 1129456 | 2147483647 65731 86 | 0.000 % |
107.31/107.46 c | 66014 | 72795 340394 1129456 | 2147483647 66014 86 | 0.000 % |
107.81/107.93 c | 66323 | 72795 340394 1129456 | 2147483647 66323 86 | 0.000 % |
108.21/108.36 c | 66662 | 72795 340394 1129456 | 2147483647 66662 87 | 0.000 % |
108.61/108.73 c | 67035 | 72795 340394 1129456 | 2147483647 67035 87 | 0.000 % |
109.21/109.32 c | 67444 | 72795 340394 1129456 | 2147483647 67444 87 | 0.000 % |
109.81/109.95 c | 67893 | 72795 340394 1129456 | 2147483647 67893 87 | 0.000 % |
110.31/110.44 c | 68386 | 72795 340394 1129456 | 2147483647 68386 87 | 0.000 % |
110.92/111.03 c | 68929 | 72795 340394 1129456 | 2147483647 68929 87 | 0.000 % |
111.72/111.85 c | 69527 | 72795 340394 1129456 | 2147483647 69527 88 | 0.000 % |
112.72/112.80 c | 70183 | 72795 340394 1129456 | 2147483647 70183 88 | 0.000 % |
113.62/113.78 c | 70903 | 72795 340394 1129456 | 2147483647 70903 90 | 0.000 % |
114.41/114.52 c | 71695 | 72795 340394 1129456 | 2147483647 71695 90 | 0.000 % |
115.01/115.15 c | 72566 | 72795 340394 1129456 | 2147483647 72566 90 | 0.000 % |
115.01/115.17 c | 72666 | 72795 340394 1129456 | 2147483647 72666 90 | 0.000 % |
115.21/115.30 c | 72776 | 72795 340394 1129456 | 2147483647 72776 90 | 0.000 % |
115.51/115.60 c | 72897 | 72795 340394 1129456 | 2147483647 72897 90 | 0.000 % |
115.61/115.79 c | 73033 | 72795 340394 1129456 | 2147483647 73033 90 | 0.000 % |
115.81/115.99 c | 73183 | 72795 340394 1129456 | 2147483647 73183 90 | 0.000 % |
116.31/116.42 c | 73343 | 72795 340394 1129456 | 2147483647 73343 91 | 0.000 % |
116.52/116.61 c | 73520 | 72795 340394 1129456 | 2147483647 73520 91 | 0.000 % |
116.71/116.90 c | 73713 | 72795 340394 1129456 | 2147483647 73713 91 | 0.000 % |
117.11/117.27 c | 73925 | 72795 340394 1129456 | 2147483647 73925 90 | 0.000 % |
117.62/117.71 c | 74159 | 72795 340394 1129456 | 2147483647 74159 91 | 0.000 % |
118.21/118.34 c | 74415 | 72795 340394 1129456 | 2147483647 74415 90 | 0.000 % |
118.61/118.77 c | 74697 | 72795 340394 1129456 | 2147483647 74697 91 | 0.000 % |
119.21/119.40 c | 75006 | 72795 340394 1129456 | 2147483647 75006 91 | 0.000 % |
119.51/119.68 c | 75347 | 72795 340394 1129456 | 2147483647 75347 91 | 0.000 % |
120.41/120.55 c | 75719 | 72795 340394 1129456 | 2147483647 75719 90 | 0.000 % |
121.71/121.88 c | 76128 | 72795 340394 1129456 | 2147483647 76128 91 | 0.000 % |
122.71/122.87 c | 76579 | 72795 340394 1129456 | 2147483647 76579 91 | 0.000 % |
123.51/123.68 c | 77073 | 72795 340394 1129456 | 2147483647 77073 92 | 0.000 % |
124.01/124.18 c | 77615 | 72795 340394 1129456 | 2147483647 77615 92 | 0.000 % |
124.71/124.80 c | 78212 | 72795 340394 1129456 | 2147483647 78212 92 | 0.000 % |
125.71/125.88 c | 78867 | 72795 340394 1129456 | 2147483647 78867 93 | 0.000 % |
126.42/126.57 c | 79587 | 72795 340394 1129456 | 2147483647 79587 93 | 0.000 % |
127.31/127.46 c | 80379 | 72795 340394 1129456 | 2147483647 80379 93 | 0.000 % |
128.91/129.05 c | 81250 | 72795 340394 1129456 | 2147483647 81250 94 | 0.000 % |
130.71/130.82 c | 82208 | 72795 340394 1129456 | 2147483647 82208 94 | 0.000 % |
131.11/131.25 c | 82308 | 72795 340394 1129456 | 2147483647 82308 94 | 0.000 % |
131.31/131.48 c | 82419 | 72795 340394 1129456 | 2147483647 82419 94 | 0.000 % |
131.71/131.84 c | 82540 | 72795 340394 1129456 | 2147483647 82540 94 | 0.000 % |
131.81/131.95 c | 82673 | 72795 340394 1129456 | 2147483647 82673 94 | 0.000 % |
132.11/132.29 c | 82822 | 72795 340394 1129456 | 2147483647 82822 94 | 0.000 % |
132.51/132.65 c | 82982 | 72795 340394 1129456 | 2147483647 82982 94 | 0.000 % |
132.70/132.85 c | 83159 | 72795 340394 1129456 | 2147483647 83159 94 | 0.000 % |
132.91/133.03 c | 83352 | 72795 340394 1129456 | 2147483647 83352 94 | 0.000 % |
133.01/133.20 c | 83564 | 72795 340394 1129456 | 2147483647 83564 94 | 0.000 % |
133.40/133.50 c | 83797 | 72795 340394 1129456 | 2147483647 83797 94 | 0.000 % |
133.50/133.63 c | 84053 | 72795 340394 1129456 | 2147483647 84053 93 | 0.000 % |
134.30/134.43 c | 84334 | 72795 340394 1129456 | 2147483647 84334 93 | 0.000 % |
135.30/135.43 c | 84644 | 72795 340394 1129456 | 2147483647 84644 94 | 0.000 % |
136.31/136.43 c | 84984 | 72795 340394 1129456 | 2147483647 84984 94 | 0.000 % |
136.91/137.04 c | 85356 | 72795 340394 1129456 | 2147483647 85356 94 | 0.000 % |
137.41/137.53 c | 85767 | 72795 340394 1129456 | 2147483647 85767 94 | 0.000 % |
138.30/138.49 c | 86216 | 72795 340394 1129456 | 2147483647 86216 94 | 0.000 % |
138.70/138.84 c | 86711 | 72795 340394 1129456 | 2147483647 86711 94 | 0.000 % |
139.80/139.90 c | 87254 | 72795 340394 1129456 | 2147483647 87254 95 | 0.000 % |
140.50/140.69 c | 87852 | 72795 340394 1129456 | 2147483647 87852 95 | 0.000 % |
142.00/142.20 c | 88507 | 72795 340394 1129456 | 2147483647 88507 95 | 0.000 % |
143.10/143.26 c | 89227 | 72795 340394 1129456 | 2147483647 89227 95 | 0.000 % |
144.20/144.39 c | 90019 | 72795 340394 1129456 | 2147483647 90019 96 | 0.000 % |
145.21/145.31 c | 90890 | 72795 340394 1129456 | 2147483647 90890 96 | 0.000 % |
145.81/145.96 c | 91849 | 72795 340394 1129456 | 2147483647 91849 95 | 0.000 % |
148.50/148.63 c | 92903 | 72795 340394 1129456 | 2147483647 92903 95 | 0.000 % |
148.90/149.05 c | 93003 | 72795 340394 1129456 | 2147483647 93003 95 | 0.000 % |
149.20/149.30 c | 93113 | 72795 340394 1129456 | 2147483647 93113 95 | 0.000 % |
149.60/149.75 c | 93235 | 72795 340394 1129456 | 2147483647 93235 95 | 0.000 % |
149.90/150.07 c | 93369 | 72795 340394 1129456 | 2147483647 93369 95 | 0.000 % |
150.10/150.27 c | 93515 | 72795 340394 1129456 | 2147483647 93515 95 | 0.000 % |
150.51/150.68 c | 93675 | 72795 340394 1129456 | 2147483647 93675 95 | 0.000 % |
151.00/151.18 c | 93851 | 72795 340394 1129456 | 2147483647 93851 95 | 0.000 % |
151.61/151.77 c | 94044 | 72795 340394 1129456 | 2147483647 94044 95 | 0.000 % |
151.90/152.10 c | 94256 | 72795 340394 1129456 | 2147483647 94256 95 | 0.000 % |
152.30/152.40 c | 94491 | 72795 340394 1129456 | 2147483647 94491 94 | 0.000 % |
152.90/153.07 c | 94748 | 72795 340394 1129456 | 2147483647 94748 94 | 0.000 % |
153.20/153.37 c | 95029 | 72795 340394 1129456 | 2147483647 95029 94 | 0.000 % |
153.60/153.70 c | 95338 | 72795 340394 1129456 | 2147483647 95338 95 | 0.000 % |
154.00/154.16 c | 95678 | 72795 340394 1129456 | 2147483647 95678 95 | 0.000 % |
154.90/155.00 c | 96052 | 72795 340394 1129456 | 2147483647 96052 94 | 0.000 % |
155.60/155.75 c | 96461 | 72795 340394 1129456 | 2147483647 96461 94 | 0.000 % |
156.20/156.31 c | 96910 | 72795 340394 1129456 | 2147483647 96910 94 | 0.000 % |
156.80/156.91 c | 97403 | 72795 340394 1129456 | 2147483647 97403 94 | 0.000 % |
157.80/157.90 c | 97945 | 72795 340394 1129456 | 2147483647 97945 95 | 0.000 % |
158.69/158.88 c | 98541 | 72795 340394 1129456 | 2147483647 98541 96 | 0.000 % |
159.09/159.24 c | 99196 | 72795 340394 1129456 | 2147483647 99196 96 | 0.000 % |
159.79/159.96 c | 99918 | 72795 340394 1129456 | 2147483647 99918 95 | 0.000 % |
161.10/161.20 c | 100710 | 72795 340394 1129456 | 2147483647 100710 96 | 0.000 % |
162.60/162.73 c | 101581 | 72795 340394 1129456 | 2147483647 101581 96 | 0.000 % |
163.10/163.22 c | 102540 | 72795 340394 1129456 | 2147483647 102540 96 | 0.000 % |
165.50/165.69 c | 103593 | 72795 340394 1129456 | 2147483647 103593 97 | 0.000 % |
167.79/167.98 c | 104751 | 72795 340394 1129456 | 2147483647 104751 98 | 0.000 % |
168.10/168.22 c | 104851 | 72795 340394 1129456 | 2147483647 104851 98 | 0.000 % |
168.39/168.51 c | 104964 | 72795 340394 1129456 | 2147483647 104964 98 | 0.000 % |
168.79/168.93 c | 105085 | 72795 340394 1129456 | 2147483647 105085 98 | 0.000 % |
169.09/169.22 c | 105219 | 72795 340394 1129456 | 2147483647 105219 98 | 0.000 % |
169.69/169.82 c | 105368 | 72795 340394 1129456 | 2147483647 105368 98 | 0.000 % |
170.09/170.23 c | 105529 | 72795 340394 1129456 | 2147483647 105529 98 | 0.000 % |
170.39/170.56 c | 105705 | 72795 340394 1129456 | 2147483647 105705 99 | 0.000 % |
170.79/170.96 c | 105899 | 72795 340394 1129456 | 2147483647 105899 99 | 0.000 % |
171.40/171.51 c | 106111 | 72795 340394 1129456 | 2147483647 106111 99 | 0.000 % |
171.80/171.95 c | 106345 | 72795 340394 1129456 | 2147483647 106345 99 | 0.000 % |
172.09/172.28 c | 106607 | 72795 340394 1129456 | 2147483647 106607 99 | 0.000 % |
172.39/172.52 c | 106890 | 72795 340394 1129456 | 2147483647 106890 99 | 0.000 % |
172.69/172.82 c | 107199 | 72795 340394 1129456 | 2147483647 107199 99 | 0.000 % |
173.29/173.40 c | 107540 | 72795 340394 1129456 | 2147483647 107540 99 | 0.000 % |
174.89/175.01 c | 107913 | 72795 340394 1129456 | 2147483647 107913 100 | 0.000 % |
176.69/176.81 c | 108322 | 72795 340394 1129456 | 2147483647 108322 100 | 0.000 % |
177.19/177.34 c | 108772 | 72795 340394 1129456 | 2147483647 108772 100 | 0.000 % |
177.99/178.10 c | 109265 | 72795 340394 1129456 | 2147483647 109265 100 | 0.000 % |
178.59/178.77 c | 109807 | 72795 340394 1129456 | 2147483647 109807 100 | 0.000 % |
179.00/179.16 c | 110403 | 72795 340394 1129456 | 2147483647 110403 99 | 0.000 % |
180.50/180.69 c | 111058 | 72795 340394 1129456 | 2147483647 111058 100 | 0.000 % |
181.59/181.70 c | 111778 | 72795 340394 1129456 | 2147483647 111778 100 | 0.000 % |
183.09/183.28 c | 112570 | 72795 340394 1129456 | 2147483647 112570 101 | 0.000 % |
185.39/185.52 c | 113441 | 72795 340394 1129456 | 2147483647 113441 101 | 0.000 % |
185.99/186.14 c | 114406 | 72795 340394 1129456 | 2147483647 114406 101 | 0.000 % |
186.79/186.96 c | 115459 | 72795 340394 1129456 | 2147483647 115459 101 | 0.000 % |
187.89/188.01 c | 116617 | 72795 340394 1129456 | 2147483647 116617 100 | 0.000 % |
189.09/189.26 c | 117891 | 72795 340394 1129456 | 2147483647 117891 100 | 0.000 % |
189.28/189.44 c | 117991 | 72795 340394 1129456 | 2147483647 117991 100 | 0.000 % |
189.48/189.66 c | 118101 | 72795 340394 1129456 | 2147483647 118101 100 | 0.000 % |
190.09/190.28 c | 118222 | 72795 340394 1129456 | 2147483647 118222 100 | 0.000 % |
190.48/190.69 c | 118356 | 72795 340394 1129456 | 2147483647 118356 100 | 0.000 % |
190.68/190.87 c | 118502 | 72795 340394 1129456 | 2147483647 118502 100 | 0.000 % |
190.98/191.20 c | 118662 | 72795 340394 1129456 | 2147483647 118662 100 | 0.000 % |
191.68/191.83 c | 118840 | 72795 340394 1129456 | 2147483647 118840 100 | 0.000 % |
192.39/192.57 c | 119035 | 72795 340394 1129456 | 2147483647 119035 100 | 0.000 % |
193.08/193.25 c | 119247 | 72795 340394 1129456 | 2147483647 119247 100 | 0.000 % |
193.39/193.59 c | 119481 | 72795 340394 1129456 | 2147483647 119481 100 | 0.000 % |
193.79/193.93 c | 119737 | 72795 340394 1129456 | 2147483647 119737 100 | 0.000 % |
193.98/194.19 c | 120019 | 72795 340394 1129456 | 2147483647 120019 100 | 0.000 % |
194.49/194.65 c | 120333 | 72795 340394 1129456 | 2147483647 120333 100 | 0.000 % |
194.99/195.19 c | 120672 | 72795 340394 1129456 | 2147483647 120672 100 | 0.000 % |
195.49/195.65 c | 121044 | 72795 340394 1129456 | 2147483647 121044 100 | 0.000 % |
196.39/196.55 c | 121453 | 72795 340394 1129456 | 2147483647 121453 100 | 0.000 % |
197.49/197.61 c | 121902 | 72795 340394 1129456 | 2147483647 121902 100 | 0.000 % |
198.39/198.55 c | 122395 | 72795 340394 1129456 | 2147483647 122395 99 | 0.000 % |
199.39/199.57 c | 122937 | 72795 340394 1129456 | 2147483647 122937 99 | 0.000 % |
200.29/200.40 c | 123534 | 72795 340394 1129456 | 2147483647 123534 100 | 0.000 % |
201.28/201.48 c | 124193 | 72795 340394 1129456 | 2147483647 124193 100 | 0.000 % |
201.98/202.19 c | 124913 | 72795 340394 1129456 | 2147483647 124913 101 | 0.000 % |
202.98/203.16 c | 125705 | 72795 340394 1129456 | 2147483647 125705 101 | 0.000 % |
204.19/204.31 c | 126576 | 72795 340394 1129456 | 2147483647 126576 101 | 0.000 % |
206.09/206.25 c | 127534 | 72795 340394 1129456 | 2147483647 127534 101 | 0.000 % |
207.58/207.77 c | 128588 | 72795 340394 1129456 | 2147483647 128588 101 | 0.000 % |
209.59/209.75 c | 129746 | 72795 340394 1129456 | 2147483647 129746 102 | 0.000 % |
211.29/211.49 c | 131021 | 72795 340394 1129456 | 2147483647 131021 103 | 0.000 % |
214.38/214.57 c | 132421 | 72795 340394 1129456 | 2147483647 132421 104 | 0.000 % |
214.58/214.79 c | 132525 | 72795 340394 1129456 | 2147483647 132525 104 | 0.000 % |
214.88/215.03 c | 132635 | 72795 340394 1129456 | 2147483647 132635 104 | 0.000 % |
215.28/215.47 c | 132757 | 72795 340394 1129456 | 2147483647 132757 104 | 0.000 % |
215.48/215.63 c | 132890 | 72795 340394 1129456 | 2147483647 132890 104 | 0.000 % |
215.78/215.99 c | 133036 | 72795 340394 1129456 | 2147483647 133036 104 | 0.000 % |
216.28/216.49 c | 133196 | 72795 340394 1129456 | 2147483647 133196 104 | 0.000 % |
216.58/216.71 c | 133373 | 72795 340394 1129456 | 2147483647 133373 104 | 0.000 % |
217.38/217.51 c | 133568 | 72795 340394 1129456 | 2147483647 133568 104 | 0.000 % |
217.78/217.92 c | 133783 | 72795 340394 1129456 | 2147483647 133783 104 | 0.000 % |
218.18/218.36 c | 134017 | 72795 340394 1129456 | 2147483647 134017 104 | 0.000 % |
219.28/219.43 c | 134275 | 72795 340394 1129456 | 2147483647 134275 104 | 0.000 % |
220.28/220.41 c | 134557 | 72795 340394 1129456 | 2147483647 134557 104 | 0.000 % |
220.98/221.15 c | 134866 | 72795 340394 1129456 | 2147483647 134866 104 | 0.000 % |
221.37/221.53 c | 135206 | 72795 340394 1129456 | 2147483647 135206 104 | 0.000 % |
221.87/222.06 c | 135578 | 72795 340394 1129456 | 2147483647 135578 104 | 0.000 % |
223.68/223.82 c | 135987 | 72795 340394 1129456 | 2147483647 135987 105 | 0.000 % |
224.19/224.31 c | 136437 | 72795 340394 1129456 | 2147483647 136437 104 | 0.000 % |
224.68/224.82 c | 136930 | 72795 340394 1129456 | 2147483647 136930 104 | 0.000 % |
226.08/226.29 c | 137473 | 72795 340394 1129456 | 2147483647 137473 104 | 0.000 % |
228.48/228.70 c | 138071 | 72795 340394 1129456 | 2147483647 138071 104 | 0.000 % |
229.78/229.92 c | 138727 | 72795 340394 1129456 | 2147483647 138727 104 | 0.000 % |
230.97/231.19 c | 139447 | 72795 340394 1129456 | 2147483647 139447 105 | 0.000 % |
232.18/232.39 c | 140239 | 72795 340394 1129456 | 2147483647 140239 106 | 0.000 % |
232.88/233.02 c | 141110 | 72795 340394 1129456 | 2147483647 141110 105 | 0.000 % |
234.77/234.93 c | 142068 | 72795 340394 1129456 | 2147483647 142068 106 | 0.000 % |
236.57/236.71 c | 143124 | 72795 340394 1129456 | 2147483647 143124 106 | 0.000 % |
238.48/238.69 c | 144283 | 72795 340394 1129456 | 2147483647 144283 106 | 0.000 % |
240.47/240.66 c | 145557 | 72795 340394 1129456 | 2147483647 145557 107 | 0.000 % |
242.47/242.63 c | 146959 | 72795 340394 1129456 | 2147483647 146959 108 | 0.000 % |
245.37/245.54 c | 148500 | 72795 340394 1129456 | 2147483647 148500 108 | 0.000 % |
245.67/245.86 c | 148601 | 72795 340394 1129456 | 2147483647 148601 109 | 0.000 % |
246.17/246.39 c | 148713 | 72795 340394 1129456 | 2147483647 148713 109 | 0.000 % |
246.38/246.58 c | 148834 | 72795 340394 1129456 | 2147483647 148834 108 | 0.000 % |
246.78/246.92 c | 148967 | 72795 340394 1129456 | 2147483647 148967 108 | 0.000 % |
246.98/247.14 c | 149113 | 72795 340394 1129456 | 2147483647 149113 108 | 0.000 % |
247.17/247.39 c | 149274 | 72795 340394 1129456 | 2147483647 149274 108 | 0.000 % |
247.87/248.02 c | 149450 | 72795 340394 1129456 | 2147483647 149450 108 | 0.000 % |
248.27/248.49 c | 149643 | 72795 340394 1129456 | 2147483647 149643 108 | 0.000 % |
248.87/249.02 c | 149857 | 72795 340394 1129456 | 2147483647 149857 108 | 0.000 % |
249.57/249.72 c | 150091 | 72795 340394 1129456 | 2147483647 150091 108 | 0.000 % |
250.87/251.04 c | 150348 | 72795 340394 1129456 | 2147483647 150348 108 | 0.000 % |
251.17/251.39 c | 150629 | 72795 340394 1129456 | 2147483647 150629 108 | 0.000 % |
251.87/252.02 c | 150938 | 72795 340394 1129456 | 2147483647 150938 108 | 0.000 % |
252.67/252.84 c | 151278 | 72795 340394 1129456 | 2147483647 151278 108 | 0.000 % |
253.67/253.82 c | 151651 | 72795 340394 1129456 | 2147483647 151651 108 | 0.000 % |
254.07/254.21 c | 152061 | 72795 340394 1129456 | 2147483647 152061 108 | 0.000 % |
254.97/255.14 c | 152510 | 72795 340394 1129456 | 2147483647 152510 108 | 0.000 % |
255.46/255.65 c | 153003 | 72795 340394 1129456 | 2147483647 153003 108 | 0.000 % |
256.56/256.77 c | 153545 | 72795 340394 1129456 | 2147483647 153545 108 | 0.000 % |
257.36/257.51 c | 154142 | 72795 340394 1129456 | 2147483647 154142 108 | 0.000 % |
258.36/258.54 c | 154798 | 72795 340394 1129456 | 2147483647 154798 108 | 0.000 % |
259.46/259.64 c | 155519 | 72795 340394 1129456 | 2147483647 155519 108 | 0.000 % |
260.26/260.46 c | 156311 | 72795 340394 1129456 | 2147483647 156311 108 | 0.000 % |
265.36/265.58 c | 157182 | 72795 340394 1129456 | 2147483647 157182 109 | 0.000 % |
267.36/267.60 c | 158140 | 72795 340394 1129456 | 2147483647 158140 108 | 0.000 % |
269.06/269.29 c | 159195 | 72795 340394 1129456 | 2147483647 159195 108 | 0.000 % |
270.56/270.79 c | 160354 | 72795 340394 1129456 | 2147483647 160354 108 | 0.000 % |
272.35/272.55 c | 161628 | 72795 340394 1129456 | 2147483647 161628 108 | 0.000 % |
274.56/274.76 c | 163030 | 72795 340394 1129456 | 2147483647 163030 108 | 0.000 % |
281.65/281.84 c | 164570 | 72795 340394 1129456 | 2147483647 164570 111 | 0.000 % |
284.45/284.66 c | 166264 | 72795 340394 1129456 | 2147483647 166264 111 | 0.000 % |
284.66/284.82 c | 166366 | 72795 340394 1129456 | 2147483647 166366 111 | 0.000 % |
284.76/284.94 c | 166478 | 72795 340394 1129456 | 2147483647 166478 111 | 0.000 % |
285.05/285.20 c | 166600 | 72795 340394 1129456 | 2147483647 166600 110 | 0.000 % |
285.35/285.53 c | 166733 | 72795 340394 1129456 | 2147483647 166733 111 | 0.000 % |
285.65/285.82 c | 166879 | 72795 340394 1129456 | 2147483647 166879 111 | 0.000 % |
285.95/286.12 c | 167040 | 72795 340394 1129456 | 2147483647 167040 110 | 0.000 % |
286.55/286.74 c | 167218 | 72795 340394 1129456 | 2147483647 167218 111 | 0.000 % |
287.15/287.38 c | 167411 | 72795 340394 1129456 | 2147483647 167411 110 | 0.000 % |
287.35/287.55 c | 167623 | 72795 340394 1129456 | 2147483647 167623 110 | 0.000 % |
287.76/288.00 c | 167856 | 72795 340394 1129456 | 2147483647 167856 111 | 0.000 % |
288.26/288.47 c | 168113 | 72795 340394 1129456 | 2147483647 168113 111 | 0.000 % |
289.25/289.48 c | 168394 | 72795 340394 1129456 | 2147483647 168394 111 | 0.000 % |
289.85/290.06 c | 168703 | 72795 340394 1129456 | 2147483647 168703 111 | 0.000 % |
290.75/290.92 c | 169042 | 72795 340394 1129456 | 2147483647 169042 110 | 0.000 % |
291.55/291.72 c | 169414 | 72795 340394 1129456 | 2147483647 169414 110 | 0.000 % |
292.55/292.74 c | 169825 | 72795 340394 1129456 | 2147483647 169825 110 | 0.000 % |
293.65/293.86 c | 170275 | 72795 340394 1129456 | 2147483647 170275 110 | 0.000 % |
294.35/294.55 c | 170768 | 72795 340394 1129456 | 2147483647 170768 110 | 0.000 % |
295.75/296.00 c | 171311 | 72795 340394 1129456 | 2147483647 171311 110 | 0.000 % |
296.75/296.99 c | 171907 | 72795 340394 1129456 | 2147483647 171907 110 | 0.000 % |
298.15/298.31 c | 172564 | 72795 340394 1129456 | 2147483647 172564 110 | 0.000 % |
299.65/299.82 c | 173285 | 72795 340394 1129456 | 2147483647 173285 110 | 0.000 % |
301.45/301.63 c | 174077 | 72795 340394 1129456 | 2147483647 174077 110 | 0.000 % |
302.95/303.12 c | 174949 | 72795 340394 1129456 | 2147483647 174949 110 | 0.000 % |
303.95/304.18 c | 175908 | 72795 340394 1129456 | 2147483647 175908 110 | 0.000 % |
305.65/305.88 c | 176961 | 72795 340394 1129456 | 2147483647 176961 110 | 0.000 % |
307.54/307.76 c | 178121 | 72795 340394 1129456 | 2147483647 178121 110 | 0.000 % |
309.04/309.20 c | 179394 | 72795 340394 1129456 | 2147483647 179394 109 | 0.000 % |
311.64/311.88 c | 180794 | 72795 340394 1129456 | 2147483647 180794 110 | 0.000 % |
313.54/313.75 c | 182334 | 72795 340394 1129456 | 2147483647 182334 110 | 0.000 % |
316.65/316.81 c | 184028 | 72795 340394 1129456 | 2147483647 184028 110 | 0.000 % |
319.44/319.60 c | 185891 | 72795 340394 1129456 | 2147483647 185891 111 | 0.000 % |
319.64/319.86 c | 185992 | 72795 340394 1129456 | 2147483647 185992 111 | 0.000 % |
319.94/320.12 c | 186104 | 72795 340394 1129456 | 2147483647 186104 111 | 0.000 % |
320.14/320.30 c | 186226 | 72795 340394 1129456 | 2147483647 186226 111 | 0.000 % |
320.24/320.49 c | 186359 | 72795 340394 1129456 | 2147483647 186359 111 | 0.000 % |
320.54/320.79 c | 186505 | 72795 340394 1129456 | 2147483647 186505 111 | 0.000 % |
321.14/321.34 c | 186666 | 72795 340394 1129456 | 2147483647 186666 111 | 0.000 % |
321.94/322.15 c | 186844 | 72795 340394 1129456 | 2147483647 186844 111 | 0.000 % |
322.04/322.29 c | 187039 | 72795 340394 1129456 | 2147483647 187039 111 | 0.000 % |
322.44/322.64 c | 187251 | 72795 340394 1129456 | 2147483647 187251 111 | 0.000 % |
323.24/323.40 c | 187486 | 72795 340394 1129456 | 2147483647 187486 111 | 0.000 % |
323.64/323.82 c | 187742 | 72795 340394 1129456 | 2147483647 187742 111 | 0.000 % |
324.24/324.46 c | 188024 | 72795 340394 1129456 | 2147483647 188024 111 | 0.000 % |
325.14/325.32 c | 188333 | 72795 340394 1129456 | 2147483647 188333 111 | 0.000 % |
325.54/325.71 c | 188673 | 72795 340394 1129456 | 2147483647 188673 111 | 0.000 % |
326.44/326.62 c | 189045 | 72795 340394 1129456 | 2147483647 189045 111 | 0.000 % |
327.33/327.52 c | 189455 | 72795 340394 1129456 | 2147483647 189455 111 | 0.000 % |
328.03/328.24 c | 189904 | 72795 340394 1129456 | 2147483647 189904 111 | 0.000 % |
329.14/329.37 c | 190397 | 72795 340394 1129456 | 2147483647 190397 111 | 0.000 % |
330.44/330.69 c | 190939 | 72795 340394 1129456 | 2147483647 190939 112 | 0.000 % |
331.94/332.17 c | 191535 | 72795 340394 1129456 | 2147483647 191535 112 | 0.000 % |
332.73/332.93 c | 192192 | 72795 340394 1129456 | 2147483647 192192 112 | 0.000 % |
333.33/333.50 c | 192912 | 72795 340394 1129456 | 2147483647 192912 112 | 0.000 % |
333.83/334.10 c | 193704 | 72795 340394 1129456 | 2147483647 193704 112 | 0.000 % |
335.74/335.91 c | 194575 | 72795 340394 1129456 | 2147483647 194575 112 | 0.000 % |
338.24/338.47 c | 195533 | 72795 340394 1129456 | 2147483647 195533 112 | 0.000 % |
340.33/340.51 c | 196587 | 72795 340394 1129456 | 2147483647 196587 113 | 0.000 % |
342.83/343.01 c | 197745 | 72795 340394 1129456 | 2147483647 197745 113 | 0.000 % |
344.83/345.07 c | 199018 | 72795 340394 1129456 | 2147483647 199018 113 | 0.000 % |
347.13/347.35 c | 200418 | 72795 340394 1129456 | 2147483647 200418 114 | 0.000 % |
354.03/354.22 c | 201958 | 72795 340394 1129456 | 2147483647 201958 114 | 0.000 % |
359.02/359.26 c | 203653 | 72795 340394 1129456 | 2147483647 203653 114 | 0.000 % |
365.42/365.65 c | 205517 | 72795 340394 1129456 | 2147483647 205517 115 | 0.000 % |
370.62/370.82 c | 207566 | 72795 340394 1129456 | 2147483647 207566 115 | 0.000 % |
370.82/371.08 c | 207666 | 72795 340394 1129456 | 2147483647 207666 115 | 0.000 % |
370.92/371.18 c | 207778 | 72795 340394 1129456 | 2147483647 207778 115 | 0.000 % |
371.22/371.40 c | 207900 | 72795 340394 1129456 | 2147483647 207900 115 | 0.000 % |
371.42/371.68 c | 208033 | 72795 340394 1129456 | 2147483647 208033 115 | 0.000 % |
371.72/371.99 c | 208179 | 72795 340394 1129456 | 2147483647 208179 115 | 0.000 % |
372.21/372.43 c | 208340 | 72795 340394 1129456 | 2147483647 208340 115 | 0.000 % |
372.62/372.89 c | 208516 | 72795 340394 1129456 | 2147483647 208516 115 | 0.000 % |
373.11/373.30 c | 208710 | 72795 340394 1129456 | 2147483647 208710 115 | 0.000 % |
373.42/373.68 c | 208922 | 72795 340394 1129456 | 2147483647 208922 115 | 0.000 % |
374.01/374.29 c | 209155 | 72795 340394 1129456 | 2147483647 209155 115 | 0.000 % |
374.82/375.08 c | 209412 | 72795 340394 1129456 | 2147483647 209412 116 | 0.000 % |
375.32/375.54 c | 209693 | 72795 340394 1129456 | 2147483647 209693 116 | 0.000 % |
375.72/375.97 c | 210002 | 72795 340394 1129456 | 2147483647 210002 116 | 0.000 % |
376.52/376.74 c | 210341 | 72795 340394 1129456 | 2147483647 210341 116 | 0.000 % |
377.42/377.65 c | 210713 | 72795 340394 1129456 | 2147483647 210713 116 | 0.000 % |
378.32/378.56 c | 211128 | 72795 340394 1129456 | 2147483647 211128 116 | 0.000 % |
379.81/380.08 c | 211577 | 72795 340394 1129456 | 2147483647 211577 116 | 0.000 % |
380.81/381.00 c | 212073 | 72795 340394 1129456 | 2147483647 212073 117 | 0.000 % |
381.91/382.14 c | 212615 | 72795 340394 1129456 | 2147483647 212615 117 | 0.000 % |
382.62/382.87 c | 213212 | 72795 340394 1129456 | 2147483647 213212 117 | 0.000 % |
384.81/385.06 c | 213869 | 72795 340394 1129456 | 2147483647 213869 117 | 0.000 % |
385.31/385.54 c | 214589 | 72795 340394 1129456 | 2147483647 214589 117 | 0.000 % |
386.82/387.02 c | 215381 | 72795 340394 1129456 | 2147483647 215381 117 | 0.000 % |
389.41/389.65 c | 216253 | 72795 340394 1129456 | 2147483647 216253 118 | 0.000 % |
391.21/391.48 c | 217211 | 72795 340394 1129456 | 2147483647 217211 118 | 0.000 % |
392.71/392.97 c | 218265 | 72795 340394 1129456 | 2147483647 218265 118 | 0.000 % |
395.11/395.39 c | 219423 | 72795 340394 1129456 | 2147483647 219423 118 | 0.000 % |
399.51/399.74 c | 220699 | 72795 340394 1129456 | 2147483647 220699 119 | 0.000 % |
402.21/402.49 c | 222099 | 72795 340394 1129456 | 2147483647 222099 120 | 0.000 % |
404.70/404.98 c | 223640 | 72795 340394 1129456 | 2147483647 223640 120 | 0.000 % |
407.91/408.12 c | 225334 | 72795 340394 1129456 | 2147483647 225334 121 | 0.000 % |
410.90/411.15 c | 227198 | 72795 340394 1129456 | 2147483647 227198 121 | 0.000 % |
412.20/412.49 c | 229250 | 72795 340394 1129456 | 2147483647 229250 121 | 0.000 % |
417.81/418.07 c | 231503 | 72795 340394 1129456 | 2147483647 231503 121 | 0.000 % |
418.20/418.45 c | 231603 | 72795 340394 1129456 | 2147483647 231603 121 | 0.000 % |
418.50/418.73 c | 231714 | 72795 340394 1129456 | 2147483647 231714 121 | 0.000 % |
418.70/418.98 c | 231835 | 72795 340394 1129456 | 2147483647 231835 121 | 0.000 % |
418.91/419.12 c | 231968 | 72795 340394 1129456 | 2147483647 231968 121 | 0.000 % |
419.30/419.51 c | 232114 | 72795 340394 1129456 | 2147483647 232114 121 | 0.000 % |
419.70/419.92 c | 232274 | 72795 340394 1129456 | 2147483647 232274 121 | 0.000 % |
420.10/420.31 c | 232450 | 72795 340394 1129456 | 2147483647 232450 121 | 0.000 % |
420.50/420.71 c | 232643 | 72795 340394 1129456 | 2147483647 232643 121 | 0.000 % |
421.00/421.27 c | 232855 | 72795 340394 1129456 | 2147483647 232855 121 | 0.000 % |
421.60/421.82 c | 233091 | 72795 340394 1129456 | 2147483647 233091 122 | 0.000 % |
422.00/422.25 c | 233347 | 72795 340394 1129456 | 2147483647 233347 122 | 0.000 % |
422.70/422.96 c | 233628 | 72795 340394 1129456 | 2147483647 233628 122 | 0.000 % |
423.30/423.51 c | 233937 | 72795 340394 1129456 | 2147483647 233937 122 | 0.000 % |
423.70/423.91 c | 234276 | 72795 340394 1129456 | 2147483647 234276 122 | 0.000 % |
424.40/424.65 c | 234648 | 72795 340394 1129456 | 2147483647 234648 122 | 0.000 % |
424.70/424.98 c | 235059 | 72795 340394 1129456 | 2147483647 235059 122 | 0.000 % |
425.30/425.54 c | 235510 | 72795 340394 1129456 | 2147483647 235510 121 | 0.000 % |
426.39/426.68 c | 236004 | 72795 340394 1129456 | 2147483647 236004 121 | 0.000 % |
427.60/427.81 c | 236548 | 72795 340394 1129456 | 2147483647 236548 121 | 0.000 % |
429.00/429.20 c | 237144 | 72795 340394 1129456 | 2147483647 237144 121 | 0.000 % |
430.30/430.58 c | 237800 | 72795 340394 1129456 | 2147483647 237800 121 | 0.000 % |
432.20/432.47 c | 238520 | 72795 340394 1129456 | 2147483647 238520 121 | 0.000 % |
433.80/434.09 c | 239314 | 72795 340394 1129456 | 2147483647 239314 121 | 0.000 % |
435.30/435.58 c | 240186 | 72795 340394 1129456 | 2147483647 240186 121 | 0.000 % |
438.09/438.31 c | 241145 | 72795 340394 1129456 | 2147483647 241145 122 | 0.000 % |
440.99/441.23 c | 242199 | 72795 340394 1129456 | 2147483647 242199 122 | 0.000 % |
443.10/443.30 c | 243357 | 72795 340394 1129456 | 2147483647 243357 122 | 0.000 % |
445.09/445.40 c | 244633 | 72795 340394 1129456 | 2147483647 244633 122 | 0.000 % |
447.19/447.41 c | 246039 | 72795 340394 1129456 | 2147483647 246039 121 | 0.000 % |
450.69/450.97 c | 247579 | 72795 340394 1129456 | 2147483647 247579 122 | 0.000 % |
452.58/452.85 c | 249274 | 72795 340394 1129456 | 2147483647 249274 121 | 0.000 % |
455.69/455.92 c | 251137 | 72795 340394 1129456 | 2147483647 251137 121 | 0.000 % |
459.59/459.87 c | 253186 | 72795 340394 1129456 | 2147483647 253186 121 | 0.000 % |
465.28/465.60 c | 255439 | 72795 340394 1129456 | 2147483647 255439 122 | 0.000 % |
473.98/474.25 c | 257917 | 72795 340394 1129456 | 2147483647 257917 123 | 0.000 % |
474.18/474.46 c | 258017 | 72795 340394 1129456 | 2147483647 258017 123 | 0.000 % |
474.28/474.57 c | 258127 | 72795 340394 1129456 | 2147483647 258127 123 | 0.000 % |
474.78/475.07 c | 258248 | 72795 340394 1129456 | 2147483647 258248 123 | 0.000 % |
475.08/475.36 c | 258382 | 72795 340394 1129456 | 2147483647 258382 123 | 0.000 % |
475.48/475.73 c | 258528 | 72795 340394 1129456 | 2147483647 258528 123 | 0.000 % |
475.78/476.03 c | 258688 | 72795 340394 1129456 | 2147483647 258688 123 | 0.000 % |
476.28/476.57 c | 258864 | 72795 340394 1129456 | 2147483647 258864 123 | 0.000 % |
476.58/476.83 c | 259057 | 72795 340394 1129456 | 2147483647 259057 123 | 0.000 % |
476.98/477.22 c | 259270 | 72795 340394 1129456 | 2147483647 259270 123 | 0.000 % |
477.68/477.92 c | 259503 | 72795 340394 1129456 | 2147483647 259503 123 | 0.000 % |
478.48/478.78 c | 259759 | 72795 340394 1129456 | 2147483647 259759 123 | 0.000 % |
479.48/479.80 c | 260041 | 72795 340394 1129456 | 2147483647 260041 123 | 0.000 % |
480.38/480.65 c | 260352 | 72795 340394 1129456 | 2147483647 260352 123 | 0.000 % |
481.27/481.54 c | 260692 | 72795 340394 1129456 | 2147483647 260692 123 | 0.000 % |
482.28/482.51 c | 261065 | 72795 340394 1129456 | 2147483647 261065 124 | 0.000 % |
483.38/483.67 c | 261474 | 72795 340394 1129456 | 2147483647 261474 124 | 0.000 % |
484.08/484.38 c | 261924 | 72795 340394 1129456 | 2147483647 261924 123 | 0.000 % |
484.88/485.16 c | 262420 | 72795 340394 1129456 | 2147483647 262420 124 | 0.000 % |
486.57/486.89 c | 262962 | 72795 340394 1129456 | 2147483647 262962 124 | 0.000 % |
487.77/488.04 c | 263558 | 72795 340394 1129456 | 2147483647 263558 124 | 0.000 % |
488.78/489.08 c | 264213 | 72795 340394 1129456 | 2147483647 264213 124 | 0.000 % |
490.08/490.31 c | 264934 | 72795 340394 1129456 | 2147483647 264934 124 | 0.000 % |
491.87/492.11 c | 265726 | 72795 340394 1129456 | 2147483647 265726 124 | 0.000 % |
493.37/493.65 c | 266597 | 72795 340394 1129456 | 2147483647 266597 124 | 0.000 % |
494.97/495.29 c | 267556 | 72795 340394 1129456 | 2147483647 267556 124 | 0.000 % |
497.27/497.54 c | 268610 | 72795 340394 1129456 | 2147483647 268610 125 | 0.000 % |
498.67/498.94 c | 269769 | 72795 340394 1129456 | 2147483647 269769 124 | 0.000 % |
502.67/502.91 c | 271042 | 72795 340394 1129456 | 2147483647 271042 125 | 0.000 % |
505.67/505.90 c | 272443 | 72795 340394 1129456 | 2147483647 272443 126 | 0.000 % |
509.36/509.66 c | 273983 | 72795 340394 1129456 | 2147483647 273983 126 | 0.000 % |
513.57/513.87 c | 275678 | 72795 340394 1129456 | 2147483647 275678 126 | 0.000 % |
515.46/515.72 c | 277542 | 72795 340394 1129456 | 2147483647 277542 127 | 0.000 % |
519.96/520.25 c | 279591 | 72795 340394 1129456 | 2147483647 279591 127 | 0.000 % |
524.26/524.52 c | 281844 | 72795 340394 1129456 | 2147483647 281844 127 | 0.000 % |
528.46/528.79 c | 284324 | 72795 340394 1129456 | 2147483647 284324 128 | 0.000 % |
532.25/532.59 c | 287049 | 72795 340394 1129456 | 2147483647 287049 128 | 0.000 % |
532.75/533.01 c | 287152 | 72795 340394 1129456 | 2147483647 287152 128 | 0.000 % |
533.05/533.36 c | 287262 | 72795 340394 1129456 | 2147483647 287262 128 | 0.000 % |
533.35/533.66 c | 287383 | 72795 340394 1129456 | 2147483647 287383 128 | 0.000 % |
533.76/534.01 c | 287516 | 72795 340394 1129456 | 2147483647 287516 128 | 0.000 % |
534.16/534.40 c | 287662 | 72795 340394 1129456 | 2147483647 287662 128 | 0.000 % |
534.66/534.98 c | 287824 | 72795 340394 1129456 | 2147483647 287824 128 | 0.000 % |
535.26/535.59 c | 288000 | 72795 340394 1129456 | 2147483647 288000 128 | 0.000 % |
535.56/535.90 c | 288193 | 72795 340394 1129456 | 2147483647 288193 128 | 0.000 % |
535.96/536.21 c | 288405 | 72795 340394 1129456 | 2147483647 288405 128 | 0.000 % |
536.65/536.92 c | 288638 | 72795 340394 1129456 | 2147483647 288638 128 | 0.000 % |
536.95/537.26 c | 288896 | 72795 340394 1129456 | 2147483647 288896 128 | 0.000 % |
537.45/537.73 c | 289177 | 72795 340394 1129456 | 2147483647 289177 128 | 0.000 % |
538.05/538.34 c | 289487 | 72795 340394 1129456 | 2147483647 289487 128 | 0.000 % |
538.65/538.93 c | 289829 | 72795 340394 1129456 | 2147483647 289829 128 | 0.000 % |
539.35/539.67 c | 290203 | 72795 340394 1129456 | 2147483647 290203 128 | 0.000 % |
540.26/540.55 c | 290612 | 72795 340394 1129456 | 2147483647 290612 128 | 0.000 % |
540.56/540.86 c | 291062 | 72795 340394 1129456 | 2147483647 291062 128 | 0.000 % |
541.66/541.95 c | 291556 | 72795 340394 1129456 | 2147483647 291556 128 | 0.000 % |
543.25/543.54 c | 292103 | 72795 340394 1129456 | 2147483647 292103 128 | 0.000 % |
545.05/545.34 c | 292699 | 72795 340394 1129456 | 2147483647 292699 128 | 0.000 % |
547.65/547.94 c | 293355 | 72795 340394 1129456 | 2147483647 293355 129 | 0.000 % |
549.35/549.61 c | 294075 | 72795 340394 1129456 | 2147483647 294075 129 | 0.000 % |
550.55/550.84 c | 294867 | 72795 340394 1129456 | 2147483647 294867 129 | 0.000 % |
552.05/552.34 c | 295739 | 72795 340394 1129456 | 2147483647 295739 129 | 0.000 % |
553.45/553.79 c | 296697 | 72795 340394 1129456 | 2147483647 296697 129 | 0.000 % |
555.25/555.52 c | 297750 | 72795 340394 1129456 | 2147483647 297750 129 | 0.000 % |
557.35/557.67 c | 298908 | 72795 340394 1129456 | 2147483647 298908 129 | 0.000 % |
558.84/559.16 c | 300183 | 72795 340394 1129456 | 2147483647 300183 129 | 0.000 % |
561.75/562.07 c | 301588 | 72795 340394 1129456 | 2147483647 301588 129 | 0.000 % |
563.74/564.08 c | 303131 | 72795 340394 1129456 | 2147483647 303131 129 | 0.000 % |
566.44/566.71 c | 304829 | 72795 340394 1129456 | 2147483647 304829 130 | 0.000 % |
571.54/571.88 c | 306697 | 72795 340394 1129456 | 2147483647 306697 130 | 0.000 % |
576.44/576.76 c | 308746 | 72795 340394 1129456 | 2147483647 308746 131 | 0.000 % |
581.04/581.32 c | 311002 | 72795 340394 1129456 | 2147483647 311002 131 | 0.000 % |
585.24/585.52 c | 313480 | 72795 340394 1129456 | 2147483647 313480 131 | 0.000 % |
590.44/590.75 c | 316206 | 72795 340394 1129456 | 2147483647 316206 131 | 0.000 % |
598.94/599.21 c | 319203 | 72795 340394 1129456 | 2147483647 319203 133 | 0.000 % |
599.34/599.60 c | 319306 | 72795 340394 1129456 | 2147483647 319306 133 | 0.000 % |
599.84/600.16 c | 319416 | 72795 340394 1129456 | 2147483647 319416 133 | 0.000 % |
600.34/600.60 c | 319538 | 72795 340394 1129456 | 2147483647 319538 133 | 0.000 % |
601.14/601.45 c | 319671 | 72795 340394 1129456 | 2147483647 319671 133 | 0.000 % |
601.34/601.68 c | 319817 | 72795 340394 1129456 | 2147483647 319817 133 | 0.000 % |
601.73/602.00 c | 319977 | 72795 340394 1129456 | 2147483647 319977 133 | 0.000 % |
602.03/602.33 c | 320155 | 72795 340394 1129456 | 2147483647 320155 133 | 0.000 % |
602.33/602.64 c | 320348 | 72795 340394 1129456 | 2147483647 320348 133 | 0.000 % |
602.93/603.27 c | 320560 | 72795 340394 1129456 | 2147483647 320560 133 | 0.000 % |
603.63/603.97 c | 320793 | 72795 340394 1129456 | 2147483647 320793 133 | 0.000 % |
604.43/604.75 c | 321050 | 72795 340394 1129456 | 2147483647 321050 133 | 0.000 % |
605.03/605.37 c | 321331 | 72795 340394 1129456 | 2147483647 321331 133 | 0.000 % |
605.63/605.95 c | 321640 | 72795 340394 1129456 | 2147483647 321640 133 | 0.000 % |
606.13/606.45 c | 321979 | 72795 340394 1129456 | 2147483647 321979 133 | 0.000 % |
607.13/607.43 c | 322353 | 72795 340394 1129456 | 2147483647 322353 133 | 0.000 % |
607.53/607.84 c | 322762 | 72795 340394 1129456 | 2147483647 322762 133 | 0.000 % |
608.54/608.83 c | 323215 | 72795 340394 1129456 | 2147483647 323215 133 | 0.000 % |
609.63/609.91 c | 323708 | 72795 340394 1129456 | 2147483647 323708 133 | 0.000 % |
612.13/612.43 c | 324263 | 72795 340394 1129456 | 2147483647 324263 133 | 0.000 % |
613.73/614.01 c | 324863 | 72795 340394 1129456 | 2147483647 324863 133 | 0.000 % |
616.13/616.40 c | 325518 | 72795 340394 1129456 | 2147483647 325518 134 | 0.000 % |
618.93/619.24 c | 326239 | 72795 340394 1129456 | 2147483647 326239 134 | 0.000 % |
621.03/621.32 c | 327032 | 72795 340394 1129456 | 2147483647 327032 134 | 0.000 % |
623.22/623.54 c | 327903 | 72795 340394 1129456 | 2147483647 327903 134 | 0.000 % |
624.43/624.75 c | 328864 | 72795 340394 1129456 | 2147483647 328864 134 | 0.000 % |
626.12/626.44 c | 329917 | 72795 340394 1129456 | 2147483647 329917 134 | 0.000 % |
627.92/628.22 c | 331075 | 72795 340394 1129456 | 2147483647 331075 134 | 0.000 % |
629.72/630.04 c | 332349 | 72795 340394 1129456 | 2147483647 332349 133 | 0.000 % |
632.41/632.78 c | 333750 | 72795 340394 1129456 | 2147483647 333750 134 | 0.000 % |
634.62/634.99 c | 335292 | 72795 340394 1129456 | 2147483647 335292 134 | 0.000 % |
637.42/637.76 c | 336986 | 72795 340394 1129456 | 2147483647 336986 134 | 0.000 % |
643.12/643.45 c | 338849 | 72795 340394 1129456 | 2147483647 338849 134 | 0.000 % |
648.61/648.98 c | 340898 | 72795 340394 1129456 | 2147483647 340898 134 | 0.000 % |
655.71/656.01 c | 343152 | 72795 340394 1129456 | 2147483647 343152 133 | 0.000 % |
662.81/663.19 c | 345632 | 72795 340394 1129456 | 2147483647 345632 134 | 0.000 % |
667.81/668.12 c | 348357 | 72795 340394 1129456 | 2147483647 348357 135 | 0.000 % |
673.50/673.89 c | 351354 | 72795 340394 1129456 | 2147483647 351354 135 | 0.000 % |
680.71/681.03 c | 354650 | 72795 340394 1129456 | 2147483647 354650 135 | 0.000 % |
681.11/681.47 c | 354750 | 72795 340394 1129456 | 2147483647 354750 135 | 0.000 % |
681.41/681.80 c | 354862 | 72795 340394 1129456 | 2147483647 354862 135 | 0.000 % |
682.10/682.42 c | 354983 | 72795 340394 1129456 | 2147483647 354983 135 | 0.000 % |
682.40/682.76 c | 355116 | 72795 340394 1129456 | 2147483647 355116 135 | 0.000 % |
682.71/683.02 c | 355262 | 72795 340394 1129456 | 2147483647 355262 135 | 0.000 % |
682.90/683.26 c | 355422 | 72795 340394 1129456 | 2147483647 355422 135 | 0.000 % |
683.81/684.13 c | 355598 | 72795 340394 1129456 | 2147483647 355598 135 | 0.000 % |
684.40/684.78 c | 355792 | 72795 340394 1129456 | 2147483647 355792 135 | 0.000 % |
684.80/685.13 c | 356006 | 72795 340394 1129456 | 2147483647 356006 135 | 0.000 % |
685.30/685.63 c | 356239 | 72795 340394 1129456 | 2147483647 356239 135 | 0.000 % |
685.90/686.27 c | 356495 | 72795 340394 1129456 | 2147483647 356495 135 | 0.000 % |
686.70/687.02 c | 356776 | 72795 340394 1129456 | 2147483647 356776 135 | 0.000 % |
687.60/687.91 c | 357086 | 72795 340394 1129456 | 2147483647 357086 135 | 0.000 % |
689.00/689.33 c | 357425 | 72795 340394 1129456 | 2147483647 357425 135 | 0.000 % |
690.00/690.35 c | 357797 | 72795 340394 1129456 | 2147483647 357797 135 | 0.000 % |
690.60/690.95 c | 358207 | 72795 340394 1129456 | 2147483647 358207 135 | 0.000 % |
691.40/691.70 c | 358656 | 72795 340394 1129456 | 2147483647 358656 135 | 0.000 % |
693.10/693.41 c | 359149 | 72795 340394 1129456 | 2147483647 359149 136 | 0.000 % |
695.20/695.56 c | 359691 | 72795 340394 1129456 | 2147483647 359691 136 | 0.000 % |
697.60/697.91 c | 360287 | 72795 340394 1129456 | 2147483647 360287 136 | 0.000 % |
699.10/699.47 c | 360942 | 72795 340394 1129456 | 2147483647 360942 136 | 0.000 % |
701.20/701.56 c | 361662 | 72795 340394 1129456 | 2147483647 361662 136 | 0.000 % |
702.60/702.97 c | 362454 | 72795 340394 1129456 | 2147483647 362454 136 | 0.000 % |
704.70/705.05 c | 363326 | 72795 340394 1129456 | 2147483647 363326 136 | 0.000 % |
707.79/708.11 c | 364285 | 72795 340394 1129456 | 2147483647 364285 137 | 0.000 % |
711.89/712.23 c | 365340 | 72795 340394 1129456 | 2147483647 365340 137 | 0.000 % |
717.19/717.54 c | 366499 | 72795 340394 1129456 | 2147483647 366499 137 | 0.000 % |
719.89/720.24 c | 367773 | 72795 340394 1129456 | 2147483647 367773 138 | 0.000 % |
725.69/726.09 c | 369173 | 72795 340394 1129456 | 2147483647 369173 138 | 0.000 % |
732.69/733.07 c | 370713 | 72795 340394 1129456 | 2147483647 370713 139 | 0.000 % |
735.88/736.22 c | 372407 | 72795 340394 1129456 | 2147483647 372407 139 | 0.000 % |
741.79/742.17 c | 374271 | 72795 340394 1129456 | 2147483647 374271 139 | 0.000 % |
748.28/748.65 c | 376322 | 72795 340394 1129456 | 2147483647 376322 139 | 0.000 % |
752.78/753.19 c | 378575 | 72795 340394 1129456 | 2147483647 378575 140 | 0.000 % |
760.68/761.00 c | 381054 | 72795 340394 1129456 | 2147483647 381054 140 | 0.000 % |
767.27/767.61 c | 383780 | 72795 340394 1129456 | 2147483647 383780 140 | 0.000 % |
775.68/776.05 c | 386777 | 72795 340394 1129456 | 2147483647 386777 140 | 0.000 % |
787.77/788.12 c | 390073 | 72795 340394 1129456 | 2147483647 390073 139 | 0.000 % |
801.76/802.13 c | 393699 | 72795 340394 1129456 | 2147483647 393699 140 | 0.000 % |
802.16/802.58 c | 393799 | 72795 340394 1129456 | 2147483647 393799 140 | 0.000 % |
802.26/802.65 c | 393909 | 72795 340394 1129456 | 2147483647 393909 140 | 0.000 % |
802.76/803.15 c | 394030 | 72795 340394 1129456 | 2147483647 394030 140 | 0.000 % |
803.26/803.69 c | 394163 | 72795 340394 1129456 | 2147483647 394163 140 | 0.000 % |
803.96/804.32 c | 394310 | 72795 340394 1129456 | 2147483647 394310 140 | 0.000 % |
804.26/804.68 c | 394470 | 72795 340394 1129456 | 2147483647 394470 140 | 0.000 % |
805.06/805.42 c | 394646 | 72795 340394 1129456 | 2147483647 394646 140 | 0.000 % |
805.46/805.89 c | 394839 | 72795 340394 1129456 | 2147483647 394839 140 | 0.000 % |
806.16/806.52 c | 395051 | 72795 340394 1129456 | 2147483647 395051 140 | 0.000 % |
806.76/807.17 c | 395284 | 72795 340394 1129456 | 2147483647 395284 140 | 0.000 % |
807.76/808.19 c | 395541 | 72795 340394 1129456 | 2147483647 395541 140 | 0.000 % |
809.46/809.84 c | 395822 | 72795 340394 1129456 | 2147483647 395822 140 | 0.000 % |
810.96/811.38 c | 396131 | 72795 340394 1129456 | 2147483647 396131 140 | 0.000 % |
811.86/812.27 c | 396470 | 72795 340394 1129456 | 2147483647 396470 140 | 0.000 % |
812.86/813.24 c | 396842 | 72795 340394 1129456 | 2147483647 396842 140 | 0.000 % |
814.56/814.99 c | 397251 | 72795 340394 1129456 | 2147483647 397251 140 | 0.000 % |
815.87/816.29 c | 397700 | 72795 340394 1129456 | 2147483647 397700 140 | 0.000 % |
817.46/817.85 c | 398198 | 72795 340394 1129456 | 2147483647 398198 140 | 0.000 % |
819.56/819.95 c | 398741 | 72795 340394 1129456 | 2147483647 398741 140 | 0.000 % |
822.05/822.40 c | 399337 | 72795 340394 1129456 | 2147483647 399337 140 | 0.000 % |
823.05/823.40 c | 399993 | 72795 340394 1129456 | 2147483647 399993 140 | 0.000 % |
824.15/824.52 c | 400714 | 72795 340394 1129456 | 2147483647 400714 140 | 0.000 % |
827.16/827.52 c | 401507 | 72795 340394 1129456 | 2147483647 401507 140 | 0.000 % |
828.26/828.69 c | 402378 | 72795 340394 1129456 | 2147483647 402378 140 | 0.000 % |
830.86/831.24 c | 403336 | 72795 340394 1129456 | 2147483647 403336 140 | 0.000 % |
834.15/834.54 c | 404392 | 72795 340394 1129456 | 2147483647 404392 140 | 0.000 % |
836.65/837.07 c | 405550 | 72795 340394 1129456 | 2147483647 405550 141 | 0.000 % |
838.15/838.55 c | 406823 | 72795 340394 1129456 | 2147483647 406823 141 | 0.000 % |
841.35/841.76 c | 408225 | 72795 340394 1129456 | 2147483647 408225 141 | 0.000 % |
846.15/846.52 c | 409765 | 72795 340394 1129456 | 2147483647 409765 141 | 0.000 % |
848.05/848.43 c | 411459 | 72795 340394 1129456 | 2147483647 411459 141 | 0.000 % |
852.95/853.34 c | 413323 | 72795 340394 1129456 | 2147483647 413323 141 | 0.000 % |
855.15/855.56 c | 415372 | 72795 340394 1129456 | 2147483647 415372 141 | 0.000 % |
859.85/860.26 c | 417625 | 72795 340394 1129456 | 2147483647 417625 141 | 0.000 % |
865.25/865.68 c | 420109 | 72795 340394 1129456 | 2147483647 420109 141 | 0.000 % |
869.45/869.83 c | 422835 | 72795 340394 1129456 | 2147483647 422835 141 | 0.000 % |
876.44/876.86 c | 425833 | 72795 340394 1129456 | 2147483647 425833 141 | 0.000 % |
882.95/883.38 c | 429129 | 72795 340394 1129456 | 2147483647 429129 141 | 0.000 % |
896.04/896.49 c | 432754 | 72795 340394 1129456 | 2147483647 432754 142 | 0.000 % |
904.93/905.31 c | 436742 | 72795 340394 1129456 | 2147483647 436742 142 | 0.000 % |
905.23/905.67 c | 436844 | 72795 340394 1129456 | 2147483647 436844 142 | 0.000 % |
905.63/906.03 c | 436959 | 72795 340394 1129456 | 2147483647 436959 142 | 0.000 % |
906.13/906.51 c | 437083 | 72795 340394 1129456 | 2147483647 437083 142 | 0.000 % |
906.63/907.04 c | 437216 | 72795 340394 1129456 | 2147483647 437216 142 | 0.000 % |
907.33/907.72 c | 437363 | 72795 340394 1129456 | 2147483647 437363 143 | 0.000 % |
907.63/908.08 c | 437523 | 72795 340394 1129456 | 2147483647 437523 143 | 0.000 % |
908.53/908.97 c | 437699 | 72795 340394 1129456 | 2147483647 437699 143 | 0.000 % |
909.13/909.50 c | 437892 | 72795 340394 1129456 | 2147483647 437892 143 | 0.000 % |
909.63/910.07 c | 438104 | 72795 340394 1129456 | 2147483647 438104 142 | 0.000 % |
910.14/910.54 c | 438337 | 72795 340394 1129456 | 2147483647 438337 143 | 0.000 % |
910.83/911.25 c | 438595 | 72795 340394 1129456 | 2147483647 438595 143 | 0.000 % |
912.03/912.44 c | 438877 | 72795 340394 1129456 | 2147483647 438877 143 | 0.000 % |
913.13/913.53 c | 439186 | 72795 340394 1129456 | 2147483647 439186 143 | 0.000 % |
914.33/914.71 c | 439526 | 72795 340394 1129456 | 2147483647 439526 143 | 0.000 % |
915.43/915.87 c | 439899 | 72795 340394 1129456 | 2147483647 439899 142 | 0.000 % |
916.43/916.87 c | 440309 | 72795 340394 1129456 | 2147483647 440309 142 | 0.000 % |
918.04/918.45 c | 440758 | 72795 340394 1129456 | 2147483647 440758 142 | 0.000 % |
919.33/919.73 c | 441251 | 72795 340394 1129456 | 2147483647 441251 142 | 0.000 % |
921.53/921.91 c | 441793 | 72795 340394 1129456 | 2147483647 441793 142 | 0.000 % |
925.22/925.66 c | 442389 | 72795 340394 1129456 | 2147483647 442389 142 | 0.000 % |
926.52/926.99 c | 443044 | 72795 340394 1129456 | 2147483647 443044 142 | 0.000 % |
928.42/928.84 c | 443764 | 72795 340394 1129456 | 2147483647 443764 142 | 0.000 % |
930.52/930.94 c | 444556 | 72795 340394 1129456 | 2147483647 444556 142 | 0.000 % |
933.02/933.46 c | 445427 | 72795 340394 1129456 | 2147483647 445427 142 | 0.000 % |
934.53/934.92 c | 446385 | 72795 340394 1129456 | 2147483647 446385 142 | 0.000 % |
935.82/936.24 c | 447440 | 72795 340394 1129456 | 2147483647 447440 142 | 0.000 % |
938.92/939.36 c | 448599 | 72795 340394 1129456 | 2147483647 448599 142 | 0.000 % |
940.52/940.96 c | 449873 | 72795 340394 1129456 | 2147483647 449873 142 | 0.000 % |
942.72/943.16 c | 451274 | 72795 340394 1129456 | 2147483647 451274 142 | 0.000 % |
947.82/948.24 c | 452817 | 72795 340394 1129456 | 2147483647 452817 143 | 0.000 % |
950.22/950.68 c | 454511 | 72795 340394 1129456 | 2147483647 454511 143 | 0.000 % |
958.62/959.06 c | 456378 | 72795 340394 1129456 | 2147483647 456378 143 | 0.000 % |
962.91/963.34 c | 458427 | 72795 340394 1129456 | 2147483647 458427 144 | 0.000 % |
970.42/970.82 c | 460680 | 72795 340394 1129456 | 2147483647 460680 144 | 0.000 % |
976.51/976.97 c | 463158 | 72795 340394 1129456 | 2147483647 463158 145 | 0.000 % |
989.41/989.88 c | 465884 | 72795 340394 1129456 | 2147483647 465884 146 | 0.000 % |
998.51/998.99 c | 468882 | 72795 340394 1129456 | 2147483647 468882 146 | 0.000 % |
1006.50/1006.92 c | 472179 | 72795 340394 1129456 | 2147483647 472179 146 | 0.000 % |
1017.50/1017.91 c | 475806 | 72795 340394 1129456 | 2147483647 475806 147 | 0.000 % |
1033.29/1033.71 c | 479793 | 72795 340394 1129456 | 2147483647 479793 148 | 0.000 % |
1045.69/1046.11 c | 484179 | 72795 340394 1129456 | 2147483647 484179 148 | 0.000 % |
1045.79/1046.23 c | 484279 | 72795 340394 1129456 | 2147483647 484279 148 | 0.000 % |
1045.99/1046.40 c | 484393 | 72795 340394 1129456 | 2147483647 484393 148 | 0.000 % |
1046.59/1047.03 c | 484515 | 72795 340394 1129456 | 2147483647 484515 148 | 0.000 % |
1047.69/1048.11 c | 484650 | 72795 340394 1129456 | 2147483647 484650 148 | 0.000 % |
1048.19/1048.62 c | 484796 | 72795 340394 1129456 | 2147483647 484796 148 | 0.000 % |
1048.39/1048.87 c | 484956 | 72795 340394 1129456 | 2147483647 484956 148 | 0.000 % |
1048.59/1049.07 c | 485133 | 72795 340394 1129456 | 2147483647 485133 148 | 0.000 % |
1049.29/1049.73 c | 485327 | 72795 340394 1129456 | 2147483647 485327 148 | 0.000 % |
1050.09/1050.56 c | 485539 | 72795 340394 1129456 | 2147483647 485539 148 | 0.000 % |
1050.59/1051.01 c | 485772 | 72795 340394 1129456 | 2147483647 485772 148 | 0.000 % |
1051.49/1051.97 c | 486030 | 72795 340394 1129456 | 2147483647 486030 148 | 0.000 % |
1052.49/1052.90 c | 486312 | 72795 340394 1129456 | 2147483647 486312 148 | 0.000 % |
1054.19/1054.69 c | 486624 | 72795 340394 1129456 | 2147483647 486624 149 | 0.000 % |
1055.49/1055.99 c | 486963 | 72795 340394 1129456 | 2147483647 486963 149 | 0.000 % |
1056.08/1056.58 c | 487335 | 72795 340394 1129456 | 2147483647 487335 149 | 0.000 % |
1057.28/1057.77 c | 487744 | 72795 340394 1129456 | 2147483647 487744 149 | 0.000 % |
1058.08/1058.60 c | 488193 | 72795 340394 1129456 | 2147483647 488193 149 | 0.000 % |
1059.99/1060.41 c | 488687 | 72795 340394 1129456 | 2147483647 488687 149 | 0.000 % |
1061.48/1061.99 c | 489231 | 72795 340394 1129456 | 2147483647 489231 149 | 0.000 % |
1063.58/1064.04 c | 489827 | 72795 340394 1129456 | 2147483647 489827 149 | 0.000 % |
1066.08/1066.58 c | 490484 | 72795 340394 1129456 | 2147483647 490484 149 | 0.000 % |
1067.87/1068.34 c | 491205 | 72795 340394 1129456 | 2147483647 491205 149 | 0.000 % |
1069.27/1069.73 c | 491997 | 72795 340394 1129456 | 2147483647 491997 149 | 0.000 % |
1071.18/1071.63 c | 492868 | 72795 340394 1129456 | 2147483647 492868 149 | 0.000 % |
1073.78/1074.26 c | 493826 | 72795 340394 1129456 | 2147483647 493826 149 | 0.000 % |
1076.87/1077.36 c | 494880 | 72795 340394 1129456 | 2147483647 494880 149 | 0.000 % |
1079.47/1079.92 c | 496038 | 72795 340394 1129456 | 2147483647 496038 149 | 0.000 % |
1083.28/1083.72 c | 497311 | 72795 340394 1129456 | 2147483647 497311 149 | 0.000 % |
1086.48/1086.98 c | 498711 | 72795 340394 1129456 | 2147483647 498711 149 | 0.000 % |
1090.17/1090.67 c | 500251 | 72795 340394 1129456 | 2147483647 500251 149 | 0.000 % |
1093.27/1093.75 c | 501946 | 72795 340394 1129456 | 2147483647 501946 149 | 0.000 % |
1095.07/1095.54 c | 503809 | 72795 340394 1129456 | 2147483647 503809 149 | 0.000 % |
1104.37/1104.80 c | 505860 | 72795 340394 1129456 | 2147483647 505860 149 | 0.000 % |
1108.07/1108.59 c | 508114 | 72795 340394 1129456 | 2147483647 508114 149 | 0.000 % |
1117.26/1117.77 c | 510592 | 72795 340394 1129456 | 2147483647 510592 150 | 0.000 % |
1125.16/1125.62 c | 513317 | 72795 340394 1129456 | 2147483647 513317 150 | 0.000 % |
1136.36/1136.89 c | 516314 | 72795 340394 1129456 | 2147483647 516314 151 | 0.000 % |
1145.25/1145.72 c | 519611 | 72795 340394 1129456 | 2147483647 519611 151 | 0.000 % |
1151.95/1152.43 c | 523239 | 72795 340394 1129456 | 2147483647 523239 151 | 0.000 % |
1166.45/1166.96 c | 527226 | 72795 340394 1129456 | 2147483647 527226 152 | 0.000 % |
1181.45/1181.95 c | 531611 | 72795 340394 1129456 | 2147483647 531611 153 | 0.000 % |
1195.54/1196.07 c | 536435 | 72795 340394 1129456 | 2147483647 536435 153 | 0.000 % |
1196.25/1196.70 c | 536536 | 72795 340394 1129456 | 2147483647 536536 153 | 0.000 % |
1197.14/1197.65 c | 536648 | 72795 340394 1129456 | 2147483647 536648 153 | 0.000 % |
1198.14/1198.65 c | 536769 | 72795 340394 1129456 | 2147483647 536769 153 | 0.000 % |
1199.04/1199.54 c | 536902 | 72795 340394 1129456 | 2147483647 536902 153 | 0.000 % |
1199.84/1200.40 c | 537050 | 72795 340394 1129456 | 2147483647 537050 153 | 0.000 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1833637-1242824057/watcher-1833637-1242824057 -o /tmp/evaluation-result-1833637-1242824057/solver-1833637-1242824057 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1833637-1242824057.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.99 0.98 1.03 3/64 15304
/proc/meminfo: memFree=1677944/2055920 swapFree=4180548/4192956
[pid=15304] ppid=15302 vsize=5356 CPUtime=0
/proc/15304/stat : 15304 (SatELiteGTI) S 15302 15304 15198 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310434381 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15304/statm: 1339 237 197 169 0 50 0
[startup+0.0952709 s]
/proc/loadavg: 0.99 0.98 1.03 3/64 15304
/proc/meminfo: memFree=1677944/2055920 swapFree=4180548/4192956
[pid=15304] ppid=15302 vsize=5356 CPUtime=0
/proc/15304/stat : 15304 (SatELiteGTI) S 15302 15304 15198 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310434381 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15304/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.101271 s]
/proc/loadavg: 0.99 0.98 1.03 3/64 15304
/proc/meminfo: memFree=1677944/2055920 swapFree=4180548/4192956
[pid=15304] ppid=15302 vsize=5356 CPUtime=0
/proc/15304/stat : 15304 (SatELiteGTI) S 15302 15304 15198 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310434381 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15304/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.30129 s]
/proc/loadavg: 0.99 0.98 1.03 3/64 15304
/proc/meminfo: memFree=1677944/2055920 swapFree=4180548/4192956
[pid=15304] ppid=15302 vsize=5356 CPUtime=0
/proc/15304/stat : 15304 (SatELiteGTI) S 15302 15304 15198 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310434381 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15304/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.70133 s]
/proc/loadavg: 0.99 0.98 1.03 3/64 15304
/proc/meminfo: memFree=1677944/2055920 swapFree=4180548/4192956
[pid=15304] ppid=15302 vsize=5356 CPUtime=0
/proc/15304/stat : 15304 (SatELiteGTI) S 15302 15304 15198 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310434381 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15304/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+1.50141 s]
/proc/loadavg: 0.99 0.98 1.03 2/66 15309
/proc/meminfo: memFree=1594920/2055920 swapFree=4180548/4192956
[pid=15304] ppid=15302 vsize=5356 CPUtime=0
/proc/15304/stat : 15304 (SatELiteGTI) S 15302 15304 15198 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310434381 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15304/statm: 1339 237 197 169 0 50 0
[pid=15308] ppid=15304 vsize=92356 CPUtime=1.49
/proc/15308/stat : 15308 (SatELite_releas) R 15304 15304 15198 0 -1 4194304 22145 0 0 0 137 12 0 0 25 0 1 0 310434382 94572544 20471 1992294400 134512640 135223648 4294956128 18446744073709551615 134737406 0 0 4096 3 0 0 0 17 1 0 0
/proc/15308/statm: 23089 20471 76 173 0 22914 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 97712
[startup+3.10157 s]
/proc/loadavg: 0.99 0.98 1.03 2/66 15309
/proc/meminfo: memFree=1586536/2055920 swapFree=4180548/4192956
[pid=15304] ppid=15302 vsize=5356 CPUtime=0
/proc/15304/stat : 15304 (SatELiteGTI) S 15302 15304 15198 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310434381 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15304/statm: 1339 237 197 169 0 50 0
[pid=15308] ppid=15304 vsize=95624 CPUtime=3.08
/proc/15308/stat : 15308 (SatELite_releas) R 15304 15304 15198 0 -1 4194304 22948 0 0 0 293 15 0 0 25 0 1 0 310434382 97918976 21274 1992294400 134512640 135223648 4294956128 18446744073709551615 134737406 0 0 4096 3 0 0 0 17 1 0 0
/proc/15308/statm: 23906 21274 76 173 0 23731 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 100980
[startup+6.30289 s]
/proc/loadavg: 0.99 0.98 1.03 2/66 15309
/proc/meminfo: memFree=1569328/2055920 swapFree=4180548/4192956
[pid=15304] ppid=15302 vsize=5356 CPUtime=0
/proc/15304/stat : 15304 (SatELiteGTI) S 15302 15304 15198 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310434381 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15304/statm: 1339 237 197 169 0 50 0
[pid=15308] ppid=15304 vsize=100872 CPUtime=6.28
/proc/15308/stat : 15308 (SatELite_releas) R 15304 15304 15198 0 -1 4194304 24196 0 0 0 607 21 0 0 25 0 1 0 310434382 103292928 22522 1992294400 134512640 135223648 4294956128 18446744073709551615 134737406 0 0 4096 3 0 0 0 17 1 0 0
/proc/15308/statm: 25218 22522 76 173 0 25043 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 106228
[startup+12.7015 s]
/proc/loadavg: 0.99 0.98 1.03 2/66 15310
/proc/meminfo: memFree=1621168/2055920 swapFree=4180548/4192956
[pid=15304] ppid=15302 vsize=5356 CPUtime=9.53
/proc/15304/stat : 15304 (SatELiteGTI) S 15302 15304 15198 0 -1 4194304 336 27144 0 0 0 0 924 29 16 0 1 0 310434381 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15304/statm: 1339 239 197 169 0 50 0
[pid=15310] ppid=15304 vsize=25532 CPUtime=3.13
/proc/15310/stat : 15310 (minisat_static) R 15304 15304 15198 0 -1 4194304 5858 0 0 0 310 3 0 0 25 0 1 0 310435336 26144768 5805 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15310/statm: 6383 5805 77 171 0 6210 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 30888
[startup+25.5018 s]
/proc/loadavg: 0.99 0.98 1.02 2/66 15310
/proc/meminfo: memFree=1618416/2055920 swapFree=4180548/4192956
[pid=15304] ppid=15302 vsize=5356 CPUtime=9.53
/proc/15304/stat : 15304 (SatELiteGTI) S 15302 15304 15198 0 -1 4194304 336 27144 0 0 0 0 924 29 16 0 1 0 310434381 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15304/statm: 1339 239 197 169 0 50 0
[pid=15310] ppid=15304 vsize=28376 CPUtime=15.93
/proc/15310/stat : 15310 (minisat_static) R 15304 15304 15198 0 -1 4194304 6552 0 0 0 1589 4 0 0 25 0 1 0 310435336 29057024 6499 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15310/statm: 7094 6499 77 171 0 6921 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 33732
[startup+51.1013 s]
/proc/loadavg: 0.99 0.98 1.02 2/66 15310
/proc/meminfo: memFree=1611376/2055920 swapFree=4180548/4192956
[pid=15304] ppid=15302 vsize=5356 CPUtime=9.53
/proc/15304/stat : 15304 (SatELiteGTI) S 15302 15304 15198 0 -1 4194304 336 27144 0 0 0 0 924 29 16 0 1 0 310434381 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15304/statm: 1339 239 197 169 0 50 0
[pid=15310] ppid=15304 vsize=35696 CPUtime=41.51
/proc/15310/stat : 15310 (minisat_static) R 15304 15304 15198 0 -1 4194304 8391 0 0 0 4145 6 0 0 25 0 1 0 310435336 36552704 8338 1992294400 134512640 135215339 4294956240 18446744073709551615 134529051 0 0 4096 3 0 0 0 17 1 0 0
/proc/15310/statm: 8924 8338 77 171 0 8751 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 41052
[startup+102.305 s]
/proc/loadavg: 0.99 0.98 1.02 2/66 15310
/proc/meminfo: memFree=1597616/2055920 swapFree=4180548/4192956
[pid=15304] ppid=15302 vsize=5356 CPUtime=9.53
/proc/15304/stat : 15304 (SatELiteGTI) S 15302 15304 15198 0 -1 4194304 336 27144 0 0 0 0 924 29 16 0 1 0 310434381 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15304/statm: 1339 239 197 169 0 50 0
[pid=15310] ppid=15304 vsize=49236 CPUtime=92.69
/proc/15310/stat : 15310 (minisat_static) R 15304 15304 15198 0 -1 4194304 11757 0 0 0 9259 10 0 0 25 0 1 0 310435336 50417664 11704 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/15310/statm: 12309 11704 77 171 0 12136 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 54592
[startup+162.301 s]
/proc/loadavg: 0.99 0.98 1.01 2/66 15310
/proc/meminfo: memFree=1578736/2055920 swapFree=4180548/4192956
[pid=15304] ppid=15302 vsize=5356 CPUtime=9.53
/proc/15304/stat : 15304 (SatELiteGTI) S 15302 15304 15198 0 -1 4194304 336 27144 0 0 0 0 924 29 16 0 1 0 310434381 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15304/statm: 1339 239 197 169 0 50 0
[pid=15310] ppid=15304 vsize=68080 CPUtime=152.67
/proc/15310/stat : 15310 (minisat_static) R 15304 15304 15198 0 -1 4194304 16454 0 0 0 15251 16 0 0 25 0 1 0 310435336 69713920 16401 1992294400 134512640 135215339 4294956240 18446744073709551615 134528673 0 0 4096 3 0 0 0 17 1 0 0
/proc/15310/statm: 17020 16401 77 171 0 16847 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 73436
[startup+222.301 s]
/proc/loadavg: 0.99 0.98 1.01 2/66 15310
/proc/meminfo: memFree=1559728/2055920 swapFree=4180548/4192956
[pid=15304] ppid=15302 vsize=5356 CPUtime=9.53
/proc/15304/stat : 15304 (SatELiteGTI) S 15302 15304 15198 0 -1 4194304 336 27144 0 0 0 0 924 29 16 0 1 0 310434381 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15304/statm: 1339 239 197 169 0 50 0
[pid=15310] ppid=15304 vsize=86740 CPUtime=212.64
/proc/15310/stat : 15310 (minisat_static) R 15304 15304 15198 0 -1 4194304 21158 0 0 0 21243 21 0 0 25 0 1 0 310435336 88821760 21105 1992294400 134512640 135215339 4294956240 18446744073709551615 134527419 0 0 4096 3 0 0 0 17 1 0 0
/proc/15310/statm: 21685 21105 77 171 0 21512 0
Current children cumulated CPU time (s) 222.17
Current children cumulated vsize (KiB) 92096
[startup+282.301 s]
/proc/loadavg: 0.99 0.98 1.00 2/66 15310
/proc/meminfo: memFree=1542192/2055920 swapFree=4180548/4192956
[pid=15304] ppid=15302 vsize=5356 CPUtime=9.53
/proc/15304/stat : 15304 (SatELiteGTI) S 15302 15304 15198 0 -1 4194304 336 27144 0 0 0 0 924 29 16 0 1 0 310434381 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15304/statm: 1339 239 197 169 0 50 0
[pid=15310] ppid=15304 vsize=104660 CPUtime=272.62
/proc/15310/stat : 15310 (minisat_static) R 15304 15304 15198 0 -1 4194304 25582 0 0 0 27235 27 0 0 25 0 1 0 310435336 107171840 25529 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15310/statm: 26165 25529 77 171 0 25992 0
Current children cumulated CPU time (s) 282.15
Current children cumulated vsize (KiB) 110016
[startup+342.301 s]
/proc/loadavg: 0.99 0.98 1.00 2/66 15310
/proc/meminfo: memFree=1524208/2055920 swapFree=4180548/4192956
[pid=15304] ppid=15302 vsize=5356 CPUtime=9.53
/proc/15304/stat : 15304 (SatELiteGTI) S 15302 15304 15198 0 -1 4194304 336 27144 0 0 0 0 924 29 16 0 1 0 310434381 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15304/statm: 1339 239 197 169 0 50 0
[pid=15310] ppid=15304 vsize=122228 CPUtime=332.6
/proc/15310/stat : 15310 (minisat_static) R 15304 15304 15198 0 -1 4194304 30020 0 0 0 33228 32 0 0 25 0 1 0 310435336 125161472 29967 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15310/statm: 30557 29967 77 171 0 30384 0
Current children cumulated CPU time (s) 342.13
Current children cumulated vsize (KiB) 127584
[startup+402.301 s]
/proc/loadavg: 0.99 0.98 1.00 2/66 15310
/proc/meminfo: memFree=1506736/2055920 swapFree=4180548/4192956
[pid=15304] ppid=15302 vsize=5356 CPUtime=9.53
/proc/15304/stat : 15304 (SatELiteGTI) S 15302 15304 15198 0 -1 4194304 336 27144 0 0 0 0 924 29 16 0 1 0 310434381 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15304/statm: 1339 239 197 169 0 50 0
[pid=15310] ppid=15304 vsize=140484 CPUtime=392.58
/proc/15310/stat : 15310 (minisat_static) R 15304 15304 15198 0 -1 4194304 34487 0 0 0 39221 37 0 0 25 0 1 0 310435336 143855616 34434 1992294400 134512640 135215339 4294956240 18446744073709551615 134528852 0 0 4096 3 0 0 0 17 1 0 0
/proc/15310/statm: 35121 34434 77 171 0 34948 0
Current children cumulated CPU time (s) 402.11
Current children cumulated vsize (KiB) 145840
[startup+462.301 s]
################
# More data... #
################
/proc/15310/statm: 50291 49486 77 171 0 50118 0
Current children cumulated CPU time (s) 582.04
Current children cumulated vsize (KiB) 206520
[startup+642.301 s]
/proc/loadavg: 0.99 0.98 1.00 2/66 15316
/proc/meminfo: memFree=1426288/2055920 swapFree=4180548/4192956
[pid=15304] ppid=15302 vsize=5356 CPUtime=9.53
/proc/15304/stat : 15304 (SatELiteGTI) S 15302 15304 15198 0 -1 4194304 336 27144 0 0 0 0 924 29 16 0 1 0 310434381 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15304/statm: 1339 239 197 169 0 50 0
[pid=15310] ppid=15304 vsize=220460 CPUtime=632.49
/proc/15310/stat : 15310 (minisat_static) R 15304 15304 15198 0 -1 4194304 54333 0 0 0 63189 60 0 0 25 0 1 0 310435336 225751040 54280 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15310/statm: 55115 54280 77 171 0 54942 0
Current children cumulated CPU time (s) 642.02
Current children cumulated vsize (KiB) 225816
[startup+702.301 s]
/proc/loadavg: 0.99 0.98 1.00 2/66 15316
/proc/meminfo: memFree=1410224/2055920 swapFree=4180548/4192956
[pid=15304] ppid=15302 vsize=5356 CPUtime=9.53
/proc/15304/stat : 15304 (SatELiteGTI) S 15302 15304 15198 0 -1 4194304 336 27144 0 0 0 0 924 29 16 0 1 0 310434381 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15304/statm: 1339 239 197 169 0 50 0
[pid=15310] ppid=15304 vsize=236628 CPUtime=692.47
/proc/15310/stat : 15310 (minisat_static) R 15304 15304 15198 0 -1 4194304 58419 0 0 0 69184 63 0 0 25 0 1 0 310435336 242307072 58366 1992294400 134512640 135215339 4294956240 18446744073709551615 134528624 0 0 4096 3 0 0 0 17 1 0 0
/proc/15310/statm: 59157 58366 77 171 0 58984 0
Current children cumulated CPU time (s) 702
Current children cumulated vsize (KiB) 241984
[startup+762.305 s]
/proc/loadavg: 0.99 0.98 1.00 2/66 15316
/proc/meminfo: memFree=1391984/2055920 swapFree=4180548/4192956
[pid=15304] ppid=15302 vsize=5356 CPUtime=9.53
/proc/15304/stat : 15304 (SatELiteGTI) S 15302 15304 15198 0 -1 4194304 336 27144 0 0 0 0 924 29 16 0 1 0 310434381 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15304/statm: 1339 239 197 169 0 50 0
[pid=15310] ppid=15304 vsize=254400 CPUtime=752.45
/proc/15310/stat : 15310 (minisat_static) R 15304 15304 15198 0 -1 4194304 62875 0 0 0 75177 68 0 0 25 0 1 0 310435336 260505600 62822 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15310/statm: 63600 62822 77 171 0 63427 0
Current children cumulated CPU time (s) 761.98
Current children cumulated vsize (KiB) 259756
[startup+822.301 s]
/proc/loadavg: 0.99 0.98 1.00 2/66 15316
/proc/meminfo: memFree=1381040/2055920 swapFree=4180548/4192956
[pid=15304] ppid=15302 vsize=5356 CPUtime=9.53
/proc/15304/stat : 15304 (SatELiteGTI) S 15302 15304 15198 0 -1 4194304 336 27144 0 0 0 0 924 29 16 0 1 0 310434381 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15304/statm: 1339 239 197 169 0 50 0
[pid=15310] ppid=15304 vsize=265364 CPUtime=812.42
/proc/15310/stat : 15310 (minisat_static) R 15304 15304 15198 0 -1 4194304 65613 0 0 0 81171 71 0 0 25 0 1 0 310435336 271732736 65560 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15310/statm: 66341 65560 77 171 0 66168 0
Current children cumulated CPU time (s) 821.95
Current children cumulated vsize (KiB) 270720
[startup+882.301 s]
/proc/loadavg: 0.99 0.98 1.00 2/66 15316
/proc/meminfo: memFree=1362032/2055920 swapFree=4180548/4192956
[pid=15304] ppid=15302 vsize=5356 CPUtime=9.53
/proc/15304/stat : 15304 (SatELiteGTI) S 15302 15304 15198 0 -1 4194304 336 27144 0 0 0 0 924 29 16 0 1 0 310434381 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15304/statm: 1339 239 197 169 0 50 0
[pid=15310] ppid=15304 vsize=284320 CPUtime=872.41
/proc/15310/stat : 15310 (minisat_static) R 15304 15304 15198 0 -1 4194304 70362 0 0 0 87165 76 0 0 25 0 1 0 310435336 291143680 70309 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/15310/statm: 71080 70309 77 171 0 70907 0
Current children cumulated CPU time (s) 881.94
Current children cumulated vsize (KiB) 289676
[startup+942.301 s]
/proc/loadavg: 0.99 0.98 1.00 2/66 15316
/proc/meminfo: memFree=1346032/2055920 swapFree=4180548/4192956
[pid=15304] ppid=15302 vsize=5356 CPUtime=9.53
/proc/15304/stat : 15304 (SatELiteGTI) S 15302 15304 15198 0 -1 4194304 336 27144 0 0 0 0 924 29 16 0 1 0 310434381 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15304/statm: 1339 239 197 169 0 50 0
[pid=15310] ppid=15304 vsize=300416 CPUtime=932.39
/proc/15310/stat : 15310 (minisat_static) R 15304 15304 15198 0 -1 4194304 74342 0 0 0 93159 80 0 0 25 0 1 0 310435336 307625984 74289 1992294400 134512640 135215339 4294956240 18446744073709551615 134528624 0 0 4096 3 0 0 0 17 1 0 0
/proc/15310/statm: 75104 74289 77 171 0 74931 0
Current children cumulated CPU time (s) 941.92
Current children cumulated vsize (KiB) 305772
[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 1.00 2/66 15316
/proc/meminfo: memFree=1327536/2055920 swapFree=4180548/4192956
[pid=15304] ppid=15302 vsize=5356 CPUtime=9.53
/proc/15304/stat : 15304 (SatELiteGTI) S 15302 15304 15198 0 -1 4194304 336 27144 0 0 0 0 924 29 16 0 1 0 310434381 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15304/statm: 1339 239 197 169 0 50 0
[pid=15310] ppid=15304 vsize=319700 CPUtime=992.37
/proc/15310/stat : 15310 (minisat_static) R 15304 15304 15198 0 -1 4194304 78951 0 0 0 99152 85 0 0 25 0 1 0 310435336 327372800 78898 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/15310/statm: 79925 78898 77 171 0 79752 0
Current children cumulated CPU time (s) 1001.9
Current children cumulated vsize (KiB) 325056
[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 1.00 2/66 15316
/proc/meminfo: memFree=1310256/2055920 swapFree=4180548/4192956
[pid=15304] ppid=15302 vsize=5356 CPUtime=9.53
/proc/15304/stat : 15304 (SatELiteGTI) S 15302 15304 15198 0 -1 4194304 336 27144 0 0 0 0 924 29 16 0 1 0 310434381 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15304/statm: 1339 239 197 169 0 50 0
[pid=15310] ppid=15304 vsize=337040 CPUtime=1052.35
/proc/15310/stat : 15310 (minisat_static) R 15304 15304 15198 0 -1 4194304 83274 0 0 0 105145 90 0 0 25 0 1 0 310435336 345128960 83221 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15310/statm: 84260 83221 77 171 0 84087 0
Current children cumulated CPU time (s) 1061.88
Current children cumulated vsize (KiB) 342396
[startup+1122.3 s]
/proc/loadavg: 1.04 1.00 1.00 2/66 15316
/proc/meminfo: memFree=1292528/2055920 swapFree=4180548/4192956
[pid=15304] ppid=15302 vsize=5356 CPUtime=9.53
/proc/15304/stat : 15304 (SatELiteGTI) S 15302 15304 15198 0 -1 4194304 336 27144 0 0 0 0 924 29 16 0 1 0 310434381 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15304/statm: 1339 239 197 169 0 50 0
[pid=15310] ppid=15304 vsize=354568 CPUtime=1112.33
/proc/15310/stat : 15310 (minisat_static) R 15304 15304 15198 0 -1 4194304 87668 0 0 0 111139 94 0 0 25 0 1 0 310435336 363077632 87615 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15310/statm: 88642 87615 77 171 0 88469 0
Current children cumulated CPU time (s) 1121.86
Current children cumulated vsize (KiB) 359924
[startup+1182.3 s]
/proc/loadavg: 1.06 1.01 1.00 2/66 15316
/proc/meminfo: memFree=1274608/2055920 swapFree=4180548/4192956
[pid=15304] ppid=15302 vsize=5356 CPUtime=9.53
/proc/15304/stat : 15304 (SatELiteGTI) S 15302 15304 15198 0 -1 4194304 336 27144 0 0 0 0 924 29 16 0 1 0 310434381 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15304/statm: 1339 239 197 169 0 50 0
[pid=15310] ppid=15304 vsize=372556 CPUtime=1172.32
/proc/15310/stat : 15310 (minisat_static) R 15304 15304 15198 0 -1 4194304 92182 0 0 0 117134 98 0 0 25 0 1 0 310435336 381497344 92129 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15310/statm: 93139 92129 77 171 0 92966 0
Current children cumulated CPU time (s) 1181.85
Current children cumulated vsize (KiB) 377912
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.5 s]
/proc/loadavg: 1.05 1.01 1.00 2/66 15316
/proc/meminfo: memFree=1270448/2055920 swapFree=4180548/4192956
[pid=15304] ppid=15302 vsize=5356 CPUtime=9.53
/proc/15304/stat : 15304 (SatELiteGTI) S 15302 15304 15198 0 -1 4194304 336 27144 0 0 0 0 924 29 16 0 1 0 310434381 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15304/statm: 1339 239 197 169 0 50 0
[pid=15310] ppid=15304 vsize=376516 CPUtime=1190.52
/proc/15310/stat : 15310 (minisat_static) R 15304 15304 15198 0 -1 4194304 93155 0 0 0 118953 99 0 0 25 0 1 0 310435336 385552384 93102 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15310/statm: 94129 93102 77 171 0 93956 0
Current children cumulated CPU time (s) 1200.05
Current children cumulated vsize (KiB) 381872
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1200.5 s]
/proc/loadavg: 1.05 1.01 1.00 2/66 15316
/proc/meminfo: memFree=1270448/2055920 swapFree=4180548/4192956
[pid=15304] ppid=15302 vsize=5356 CPUtime=9.53
/proc/15304/stat : 15304 (SatELiteGTI) S 15302 15304 15198 0 -1 4194304 336 27144 0 0 0 0 924 29 16 0 1 0 310434381 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15304/statm: 1339 239 197 169 0 50 0
[pid=15310] ppid=15304 vsize=376516 CPUtime=1190.52
/proc/15310/stat : 15310 (minisat_static) R 15304 15304 15198 0 -1 4194304 93155 0 0 0 118953 99 0 0 25 0 1 0 310435336 385552384 93102 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15310/statm: 94129 93102 77 171 0 93956 0
Current children cumulated CPU time (s) 1200.05
Current children cumulated vsize (KiB) 381872
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 15304 and gives
# childrusage.ru_utime.tv_sec=9
# childrusage.ru_utime.tv_usec=250593
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=293955
# CPU time returned by wait4() is 9.54455
# while last known CPU time is 1200.05
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1200.51
CPU time (s): 1200.05
CPU user time (s): 1198.77
CPU system time (s): 1.28
CPU usage (%): 99.9615
Max. virtual memory (cumulated for all children) (KiB): 381872
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9.25059
system time used= 0.293955
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27480
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14
involuntary context switches= 33
runsolver used 1.41578 second user time and 3.05253 second system time
The end
Begin job on node36 at 2009-05-20 14:54:18
IDJOB=1833637
IDBENCH=70815
IDSOLVER=671
FILE ID=node36/1833637-1242824057
PBS_JOBID= 9322514
Free space on /tmp= 66304 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/APPLICATIONS/bitverif/maxxor/maxxor128.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1833637-1242824057/watcher-1833637-1242824057 -o /tmp/evaluation-result-1833637-1242824057/solver-1833637-1242824057 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1833637-1242824057.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 065c126f0d55807310a398728b44423f
RANDOM SEED=1366914973
node36.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.232
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.232
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1678424 kB
Buffers: 55236 kB
Cached: 249488 kB
SwapCached: 6580 kB
Active: 142792 kB
Inactive: 170752 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1678424 kB
SwapTotal: 4192956 kB
SwapFree: 4180548 kB
Dirty: 12120 kB
Writeback: 0 kB
Mapped: 14056 kB
Slab: 50036 kB
Committed_AS: 1064028 kB
PageTables: 1360 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66272 MiB
End job on node36 at 2009-05-20 15:14:21