0.00/0.00 c Parsing...
0.00/0.05 c ==============================================================================
0.00/0.05 c | | ORIGINAL | LEARNT | |
0.00/0.05 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.05 c ==============================================================================
0.00/0.05 c | 0 | 55543 187718 | 16662 0 0 nan | 0.000 % |
0.12/0.17 c | 0 | 55174 187112 | -- 0 -- -- | -- | -313/-424
0.12/0.17 c ==============================================================================
0.12/0.17 c Result : #vars: 8607 #clauses: 55174 #literals: 187112
0.12/0.17 c CPU time: 0.15 s
0.12/0.17 c ==============================================================================
0.22/0.23 c This is MiniSat 2.0 beta
0.22/0.23 c WARNING: for repeatability, setting FPU to use double precision
0.22/0.23 c ============================[ Problem Statistics ]=============================
0.22/0.23 c | |
0.22/0.23 c | Number of variables: 8607 |
0.22/0.23 c | Number of clauses: 55174 |
0.22/0.27 c | Parsing time: 0.02 s |
0.22/0.27 c ============================[ Search Statistics ]==============================
0.22/0.27 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.22/0.27 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.22/0.27 c ===============================================================================
0.22/0.27 c | 0 | 8607 55174 187112 | 18391 0 nan | 0.000 % |
0.24/0.35 c | 514 | 8607 55174 187112 | 18391 514 12 | 0.000 % |
0.24/0.49 c | 1026 | 8607 55174 187112 | 18391 1026 12 | 0.000 % |
0.24/0.60 c | 1539 | 8607 55174 187112 | 18391 1539 15 | 0.000 % |
0.24/0.90 c | 2565 | 8607 55174 187112 | 18391 2565 17 | 0.000 % |
0.24/0.97 c | 3077 | 8607 55174 187112 | 18391 3077 21 | 0.000 % |
0.24/1.10 c | 3589 | 8607 55174 187112 | 18391 3589 22 | 0.000 % |
1.23/1.30 c | 4613 | 8607 55174 187112 | 18391 4613 25 | 0.000 % |
1.52/1.52 c | 6661 | 8607 55174 187112 | 18391 6661 29 | 0.000 % |
1.52/1.59 c | 7173 | 8607 55174 187112 | 18391 7173 30 | 0.000 % |
1.62/1.67 c | 7686 | 8607 55174 187112 | 18391 7686 30 | 0.000 % |
1.92/1.96 c | 8710 | 8607 55174 187112 | 18391 8710 29 | 0.000 % |
2.02/2.03 c | 9223 | 8607 55174 187112 | 18391 9223 29 | 0.000 % |
2.02/2.09 c | 9738 | 8607 55174 187112 | 18391 9738 29 | 0.000 % |
2.33/2.35 c | 10762 | 8607 55174 187112 | 2147483647 10762 29 | 0.000 % |
3.02/3.01 c | 12811 | 8603 55170 187100 | 2147483647 12791 29 | 0.047 % |
4.12/4.16 c | 16907 | 8602 55156 187055 | 2147483647 16865 30 | 0.058 % |
4.32/4.33 c | 17420 | 8601 55156 187055 | 2147483647 17377 30 | 0.070 % |
4.32/4.41 c | 17935 | 8601 55156 187055 | 2147483647 17892 30 | 0.070 % |
4.62/4.65 c | 18959 | 8601 55156 187055 | 2147483647 18916 29 | 0.070 % |
4.72/4.79 c | 19471 | 8601 55154 187049 | 2147483647 19416 29 | 0.070 % |
4.82/4.90 c | 19983 | 8601 55154 187049 | 2147483647 19928 30 | 0.070 % |
5.02/5.08 c | 21007 | 8601 55154 187049 | 2147483647 20952 30 | 0.070 % |
5.72/5.73 c | 23055 | 8601 55154 187049 | 2147483647 23000 31 | 0.070 % |
5.82/5.86 c | 23567 | 8601 55154 187049 | 2147483647 23512 32 | 0.070 % |
5.92/6.00 c | 24080 | 8601 55154 187049 | 2147483647 24025 32 | 0.070 % |
6.22/6.23 c | 25104 | 8601 55154 187049 | 2147483647 25049 32 | 0.070 % |
6.32/6.38 c | 25616 | 8601 55154 187049 | 2147483647 25561 32 | 0.070 % |
6.42/6.48 c | 26128 | 8601 55154 187049 | 2147483647 26073 31 | 0.070 % |
6.62/6.70 c | 27154 | 8601 55154 187049 | 2147483647 27099 31 | 0.070 % |
7.12/7.18 c | 29202 | 8601 55154 187049 | 2147483647 29147 32 | 0.070 % |
8.12/8.12 c | 33298 | 8601 55154 187049 | 2147483647 33243 32 | 0.070 % |
10.72/10.73 c | 41491 | 8601 55154 187049 | 2147483647 41436 36 | 0.070 % |
10.82/10.83 c | 42003 | 8601 55154 187049 | 2147483647 41948 36 | 0.070 % |
11.02/11.06 c | 42516 | 8600 55146 187025 | 2147483647 42440 36 | 0.081 % |
11.42/11.49 c | 43540 | 8600 55146 187025 | 2147483647 43464 36 | 0.081 % |
11.62/11.65 c | 44052 | 8600 55146 187025 | 2147483647 43976 37 | 0.082 % |
11.82/11.84 c | 44564 | 8600 55146 187025 | 2147483647 44488 37 | 0.081 % |
12.32/12.33 c | 45588 | 8600 55146 187025 | 2147483647 45512 37 | 0.081 % |
13.02/13.01 c | 47637 | 8600 55146 187025 | 2147483647 47561 38 | 0.082 % |
13.12/13.14 c | 48149 | 8600 55146 187025 | 2147483647 48073 38 | 0.082 % |
13.33/13.38 c | 48662 | 8600 55146 187025 | 2147483647 48586 38 | 0.081 % |
13.82/13.90 c | 49686 | 8600 55146 187025 | 2147483647 49610 38 | 0.082 % |
14.12/14.14 c | 50198 | 8600 55146 187025 | 2147483647 50122 38 | 0.082 % |
14.22/14.30 c | 50711 | 8600 55146 187025 | 2147483647 50635 38 | 0.081 % |
14.82/14.86 c | 51735 | 8600 55146 187025 | 2147483647 51659 39 | 0.081 % |
15.82/15.88 c | 53783 | 8600 55146 187025 | 2147483647 53707 39 | 0.081 % |
17.42/17.44 c | 57883 | 8600 55146 187025 | 2147483647 57807 40 | 0.082 % |
17.62/17.62 c | 58395 | 8600 55146 187025 | 2147483647 58319 40 | 0.081 % |
17.73/17.75 c | 58907 | 8600 55146 187025 | 2147483647 58831 40 | 0.081 % |
18.12/18.13 c | 59931 | 8600 55146 187025 | 2147483647 59855 40 | 0.081 % |
18.32/18.35 c | 60444 | 8600 55146 187025 | 2147483647 60368 40 | 0.081 % |
18.52/18.58 c | 60956 | 8600 55146 187025 | 2147483647 60880 40 | 0.081 % |
18.83/18.89 c | 61980 | 8600 55146 187025 | 2147483647 61904 40 | 0.081 % |
20.02/20.04 c | 64030 | 8600 55146 187025 | 2147483647 63954 40 | 0.081 % |
20.32/20.31 c | 64543 | 8600 55146 187025 | 2147483647 64467 40 | 0.081 % |
20.52/20.57 c | 65055 | 8600 55146 187025 | 2147483647 64979 40 | 0.081 % |
20.92/20.99 c | 66079 | 8600 55146 187025 | 2147483647 66003 40 | 0.081 % |
21.32/21.33 c | 66591 | 8600 55146 187025 | 2147483647 66515 41 | 0.081 % |
21.52/21.53 c | 67104 | 8600 55146 187025 | 2147483647 67028 41 | 0.081 % |
21.92/21.99 c | 68130 | 8600 55146 187025 | 2147483647 68054 41 | 0.081 % |
22.52/22.58 c | 70179 | 8600 55146 187025 | 69924 70103 40 | 0.081 % |
24.02/24.10 c | 74275 | 8600 55146 187025 | 69924 67189 39 | 0.081 % |
29.32/29.38 c | 82467 | 8599 55144 187019 | 2147483647 75365 42 | 0.093 % |
33.82/33.89 c | 98851 | 8599 55144 187019 | 2147483647 91749 37 | 0.093 % |
34.23/34.27 c | 99365 | 8599 55144 187019 | 2147483647 92263 38 | 0.093 % |
34.62/34.65 c | 99878 | 8599 55144 187019 | 2147483647 92776 38 | 0.093 % |
35.22/35.30 c | 100905 | 8599 55144 187019 | 2147483647 93803 38 | 0.093 % |
35.62/35.66 c | 101419 | 8599 55144 187019 | 2147483647 94317 38 | 0.093 % |
36.02/36.04 c | 101931 | 8599 55144 187019 | 2147483647 94829 38 | 0.093 % |
36.52/36.59 c | 102955 | 8599 55144 187019 | 2147483647 95853 38 | 0.093 % |
37.53/37.60 c | 105004 | 8599 55144 187019 | 2147483647 97902 38 | 0.093 % |
37.92/37.92 c | 105517 | 8599 55144 187019 | 2147483647 98415 38 | 0.093 % |
38.22/38.28 c | 106029 | 8599 55144 187019 | 2147483647 98927 38 | 0.093 % |
39.32/39.38 c | 107053 | 8599 55144 187019 | 2147483647 99951 38 | 0.093 % |
39.82/39.87 c | 107565 | 8599 55144 187019 | 2147483647 100463 38 | 0.093 % |
40.22/40.24 c | 108079 | 8599 55144 187019 | 2147483647 100977 39 | 0.093 % |
40.92/40.92 c | 109104 | 8599 55144 187019 | 2147483647 102002 39 | 0.093 % |
41.42/41.50 c | 111152 | 8598 55142 187013 | 102898 88055 38 | 0.105 % |
43.42/43.42 c | 115249 | 8598 55142 187013 | 102898 92152 38 | 0.105 % |
43.82/43.90 c | 115762 | 8598 55142 187013 | 102898 92665 38 | 0.105 % |
44.22/44.28 c | 116274 | 8598 55142 187013 | 102898 93177 38 | 0.105 % |
44.82/44.86 c | 117298 | 8598 55142 187013 | 102898 94201 38 | 0.105 % |
45.12/45.17 c | 117811 | 8598 55142 187013 | 102898 94714 38 | 0.105 % |
45.52/45.54 c | 118324 | 8598 55142 187013 | 102898 95227 38 | 0.105 % |
46.02/46.08 c | 119348 | 8598 55142 187013 | 102898 96251 38 | 0.105 % |
47.23/47.23 c | 121397 | 8598 55142 187013 | 2147483647 98300 38 | 0.105 % |
47.53/47.53 c | 121910 | 8598 55142 187013 | 2147483647 98813 38 | 0.105 % |
47.93/47.93 c | 122423 | 8598 55142 187013 | 2147483647 99326 38 | 0.105 % |
48.33/48.38 c | 123447 | 8598 55142 187013 | 2147483647 100350 38 | 0.105 % |
48.83/48.82 c | 123960 | 8598 55142 187013 | 2147483647 100863 38 | 0.105 % |
49.23/49.23 c | 124480 | 8598 55142 187013 | 2147483647 101383 38 | 0.105 % |
50.03/50.09 c | 125505 | 8598 55142 187013 | 2147483647 102408 38 | 0.105 % |
51.83/51.83 c | 127553 | 8598 55142 187013 | 2147483647 104456 39 | 0.105 % |
54.63/54.66 c | 131649 | 8598 55142 187013 | 106905 108552 39 | 0.105 % |
59.33/59.35 c | 139842 | 8598 55142 187013 | 106905 84568 34 | 0.105 % |
59.63/59.63 c | 140355 | 8598 55142 187013 | 84727 85081 34 | 0.105 % |
60.13/60.15 c | 140869 | 8598 55142 187013 | 84727 66287 33 | 0.105 % |
60.63/60.66 c | 141893 | 8598 55142 187013 | 84727 67311 33 | 0.105 % |
60.93/60.96 c | 142405 | 8598 55142 187013 | 84727 67823 33 | 0.105 % |
61.23/61.22 c | 142918 | 8598 55142 187013 | 84727 68336 33 | 0.105 % |
61.83/61.90 c | 143942 | 8598 55142 187013 | 84727 69360 33 | 0.105 % |
63.03/63.04 c | 145992 | 8598 55142 187013 | 84727 71410 33 | 0.105 % |
63.23/63.28 c | 146504 | 8598 55142 187013 | 84727 71922 33 | 0.105 % |
63.53/63.60 c | 147016 | 8598 55142 187013 | 84727 72434 33 | 0.105 % |
64.23/64.30 c | 148041 | 8598 55142 187013 | 84727 73459 34 | 0.105 % |
64.63/64.62 c | 148554 | 8598 55142 187013 | 84727 73972 34 | 0.105 % |
65.03/65.01 c | 149067 | 8598 55142 187013 | 84727 74485 34 | 0.105 % |
65.53/65.60 c | 150092 | 8598 55142 187013 | 75420 75510 34 | 0.105 % |
66.83/66.85 c | 152140 | 8598 55142 187013 | 75420 60622 37 | 0.105 % |
68.83/68.86 c | 156236 | 8598 55142 187013 | 75420 64718 37 | 0.105 % |
69.23/69.22 c | 156750 | 8598 55142 187013 | 75420 65232 37 | 0.105 % |
69.53/69.56 c | 157262 | 8598 55142 187013 | 75420 65744 37 | 0.105 % |
70.13/70.17 c | 158289 | 8598 55142 187013 | 75420 66771 37 | 0.105 % |
70.43/70.44 c | 158801 | 8598 55142 187013 | 75420 67283 37 | 0.105 % |
70.63/70.66 c | 159313 | 8598 55142 187013 | 75420 67795 37 | 0.105 % |
71.03/71.11 c | 160337 | 8598 55142 187013 | 68482 68819 37 | 0.105 % |
72.13/72.20 c | 162386 | 8598 55142 187013 | 68482 59721 36 | 0.105 % |
72.43/72.43 c | 162898 | 8598 55142 187013 | 68482 60233 36 | 0.105 % |
72.63/72.67 c | 163411 | 8598 55142 187013 | 68482 60746 37 | 0.105 % |
73.13/73.18 c | 164435 | 8598 55142 187013 | 68482 61770 37 | 0.105 % |
73.33/73.40 c | 164949 | 8598 55142 187013 | 68482 62284 37 | 0.105 % |
73.63/73.65 c | 165462 | 8598 55142 187013 | 68482 62797 37 | 0.105 % |
74.13/74.15 c | 166487 | 8598 55142 187013 | 68482 63822 37 | 0.105 % |
75.23/75.23 c | 168535 | 8598 55142 187013 | 68482 65870 37 | 0.105 % |
77.13/77.17 c | 172633 | 8598 55142 187013 | 2147483647 69968 37 | 0.105 % |
82.03/82.10 c | 180826 | 8598 55142 187013 | 77336 78161 38 | 0.105 % |
93.23/93.30 c | 197210 | 8598 55142 187013 | 71115 65014 42 | 0.105 % |
111.33/111.41 c | 229980 | 8598 55142 187013 | 61942 61329 45 | 0.105 % |
111.53/111.59 c | 230492 | 8598 55142 187013 | 2147483647 61841 45 | 0.105 % |
111.73/111.78 c | 231004 | 8598 55142 187013 | 2147483647 62353 45 | 0.105 % |
112.33/112.35 c | 232028 | 8598 55142 187013 | 2147483647 63377 45 | 0.105 % |
112.73/112.77 c | 232540 | 8598 55142 187013 | 2147483647 63889 45 | 0.105 % |
113.03/113.02 c | 233053 | 8598 55142 187013 | 2147483647 64402 45 | 0.105 % |
113.63/113.62 c | 234077 | 8598 55142 187013 | 2147483647 65426 45 | 0.105 % |
114.73/114.78 c | 236125 | 8597 55132 186980 | 2147483647 67450 45 | 0.116 % |
114.93/114.94 c | 236637 | 8597 55132 186980 | 2147483647 67962 45 | 0.116 % |
115.13/115.13 c | 237149 | 8597 55132 186980 | 2147483647 68474 45 | 0.116 % |
115.73/115.76 c | 238174 | 8597 55132 186980 | 2147483647 69499 45 | 0.116 % |
116.13/116.12 c | 238687 | 8597 55132 186980 | 2147483647 70012 45 | 0.116 % |
116.43/116.45 c | 239204 | 8597 55132 186980 | 2147483647 70529 45 | 0.116 % |
117.13/117.12 c | 240228 | 8597 55132 186980 | 71326 71553 45 | 0.116 % |
118.33/118.35 c | 242277 | 8597 55132 186980 | 71326 65421 42 | 0.116 % |
121.03/121.04 c | 246374 | 8597 55132 186980 | 71326 69518 42 | 0.116 % |
121.43/121.42 c | 246888 | 8597 55132 186980 | 71326 70032 42 | 0.117 % |
121.73/121.80 c | 247401 | 8597 55132 186980 | 71326 70545 42 | 0.116 % |
122.53/122.53 c | 248426 | 8597 55132 186980 | 71326 71570 42 | 0.116 % |
122.93/122.96 c | 248939 | 8597 55132 186980 | 71326 64926 39 | 0.116 % |
123.23/123.24 c | 249452 | 8597 55132 186980 | 71326 65439 39 | 0.116 % |
123.83/123.91 c | 250476 | 8597 55132 186980 | 2147483647 66463 40 | 0.117 % |
125.23/125.25 c | 252524 | 8597 55132 186980 | 2147483647 68511 40 | 0.116 % |
125.54/125.54 c | 253036 | 8597 55132 186980 | 2147483647 69023 40 | 0.116 % |
125.93/125.91 c | 253551 | 8597 55132 186980 | 2147483647 69538 40 | 0.116 % |
126.73/126.71 c | 254575 | 8597 55132 186980 | 2147483647 70562 40 | 0.117 % |
127.23/127.23 c | 255087 | 8597 55132 186980 | 2147483647 71074 40 | 0.116 % |
127.43/127.49 c | 255600 | 8597 55132 186980 | 2147483647 71587 40 | 0.116 % |
127.74/127.74 c | 256625 | 8597 55132 186980 | 2147483647 72612 40 | 0.116 % |
128.23/128.27 c | 258673 | 8597 55132 186980 | 2147483647 74660 39 | 0.116 % |
131.33/131.35 c | 262770 | 8597 55132 186980 | 2147483647 78757 41 | 0.116 % |
134.23/134.22 c | 270964 | 8597 55132 186980 | 85987 74898 37 | 0.116 % |
134.35/134.42 c | 271477 | 8597 55132 186980 | 85987 75411 37 | 0.116 % |
134.84/134.89 c | 271989 | 8597 55132 186980 | 85987 75923 37 | 0.116 % |
135.45/135.44 c | 273015 | 8597 55132 186980 | 85987 76949 38 | 0.116 % |
135.94/135.97 c | 273527 | 8597 55132 186980 | 85987 77461 38 | 0.116 % |
136.14/136.12 c | 274039 | 8597 55132 186980 | 85987 77973 38 | 0.116 % |
136.94/136.93 c | 275064 | 8597 55132 186980 | 85987 78998 38 | 0.116 % |
137.94/137.93 c | 277112 | 8597 55132 186980 | 85987 81046 38 | 0.116 % |
138.34/138.38 c | 277625 | 8597 55132 186980 | 85987 81559 38 | 0.116 % |
138.84/138.82 c | 278139 | 8597 55132 186980 | 85987 82073 38 | 0.116 % |
139.44/139.44 c | 279163 | 8597 55132 186980 | 85987 83097 38 | 0.116 % |
139.85/139.91 c | 279676 | 8597 55132 186980 | 85987 83610 39 | 0.116 % |
140.04/140.07 c | 280189 | 8597 55132 186980 | 83934 84123 39 | 0.116 % |
140.74/140.81 c | 281213 | 8597 55132 186980 | 83934 70295 36 | 0.116 % |
142.44/142.44 c | 283261 | 8597 55132 186980 | 83934 72343 37 | 0.116 % |
144.94/144.96 c | 287359 | 8597 55132 186980 | 83934 76441 38 | 0.116 % |
145.24/145.25 c | 287871 | 8597 55132 186980 | 83934 76953 38 | 0.116 % |
145.53/145.56 c | 288383 | 8597 55132 186980 | 83934 77465 38 | 0.116 % |
145.83/145.84 c | 289410 | 8597 55132 186980 | 83934 78492 37 | 0.116 % |
146.33/146.35 c | 289922 | 8596 55124 186956 | 83934 79002 38 | 0.128 % |
146.73/146.76 c | 290435 | 8596 55124 186956 | 79080 79515 38 | 0.128 % |
147.54/147.59 c | 291460 | 8596 55124 186956 | 79080 67700 36 | 0.128 % |
148.64/148.67 c | 293508 | 8596 55124 186956 | 79080 69748 36 | 0.128 % |
148.83/148.88 c | 294021 | 8596 55124 186956 | 79080 70261 36 | 0.128 % |
149.23/149.28 c | 294533 | 8596 55124 186956 | 79080 70773 37 | 0.128 % |
149.83/149.89 c | 295557 | 8596 55124 186956 | 79080 71797 37 | 0.128 % |
150.33/150.36 c | 296069 | 8596 55124 186956 | 79080 72309 37 | 0.128 % |
150.63/150.65 c | 296584 | 8596 55124 186956 | 79080 72824 37 | 0.128 % |
151.23/151.30 c | 297611 | 8596 55124 186956 | 79080 73851 37 | 0.128 % |
151.63/151.67 c | 299660 | 8596 55124 186956 | 79080 75900 37 | 0.129 % |
154.53/154.53 c | 303756 | 8595 55122 186950 | 76240 63157 36 | 0.139 % |
159.03/159.10 c | 311949 | 8595 55122 186950 | 2147483647 71350 37 | 0.139 % |
172.63/172.61 c | 328333 | 8595 55122 186950 | 2147483647 87734 39 | 0.140 % |
173.13/173.16 c | 328846 | 8595 55122 186950 | 2147483647 88247 39 | 0.139 % |
173.53/173.59 c | 329358 | 8595 55122 186950 | 2147483647 88759 39 | 0.140 % |
174.53/174.58 c | 330383 | 8595 55122 186950 | 89401 89784 39 | 0.139 % |
175.23/175.26 c | 330895 | 8595 55122 186950 | 89401 78951 38 | 0.140 % |
175.73/175.74 c | 331408 | 8595 55122 186950 | 89401 79464 39 | 0.139 % |
176.53/176.56 c | 332432 | 8595 55122 186950 | 89401 80488 39 | 0.139 % |
178.64/178.62 c | 334481 | 8594 55120 186944 | 89401 80520 40 | 0.151 % |
178.84/178.85 c | 334993 | 8594 55120 186944 | 89401 81032 39 | 0.151 % |
178.94/178.92 c | 335505 | 8594 55120 186944 | 89401 81544 39 | 0.151 % |
180.14/180.17 c | 336529 | 8594 55120 186944 | 89401 82568 40 | 0.151 % |
180.34/180.39 c | 337041 | 8594 55120 186944 | 89401 83080 40 | 0.151 % |
180.94/180.97 c | 337553 | 8594 55120 186944 | 89401 83592 40 | 0.151 % |
181.44/181.49 c | 338577 | 8594 55120 186944 | 89401 84616 40 | 0.151 % |
184.04/184.11 c | 340625 | 8594 55120 186944 | 86039 86664 41 | 0.151 % |
187.54/187.54 c | 344723 | 8593 55118 186938 | 86039 72240 41 | 0.163 % |
187.64/187.66 c | 345235 | 8593 55118 186938 | 86039 72752 41 | 0.163 % |
187.74/187.73 c | 345747 | 8593 55118 186938 | 86039 73264 40 | 0.163 % |
188.44/188.43 c | 346772 | 8593 55118 186938 | 86039 74289 41 | 0.163 % |
188.94/188.92 c | 347286 | 8593 55118 186938 | 86039 74803 41 | 0.163 % |
189.44/189.50 c | 347799 | 8593 55118 186938 | 86039 75316 41 | 0.163 % |
190.54/190.56 c | 348824 | 8593 55118 186938 | 86039 76341 41 | 0.163 % |
191.24/191.29 c | 350875 | 8593 55118 186938 | 77519 78392 41 | 0.163 % |
191.54/191.53 c | 351387 | 8593 55118 186938 | 77519 64378 40 | 0.163 % |
191.94/191.98 c | 351900 | 8593 55118 186938 | 77519 64891 40 | 0.163 % |
192.24/192.28 c | 352924 | 8593 55118 186938 | 77519 65915 40 | 0.163 % |
192.74/192.77 c | 353438 | 8593 55118 186938 | 77519 66429 40 | 0.163 % |
192.84/192.87 c | 353950 | 8593 55118 186938 | 77519 66941 40 | 0.163 % |
193.04/193.05 c | 354978 | 8593 55118 186938 | 77519 67969 40 | 0.163 % |
195.14/195.19 c | 357027 | 8593 55118 186938 | 77519 70018 40 | 0.163 % |
196.64/196.64 c | 361123 | 8593 55118 186938 | 72992 74114 41 | 0.163 % |
201.04/201.09 c | 369315 | 8593 55118 186938 | 72992 69780 40 | 0.163 % |
201.24/201.27 c | 369827 | 8593 55118 186938 | 72992 70292 40 | 0.163 % |
201.64/201.65 c | 370339 | 8593 55118 186938 | 70466 70804 40 | 0.163 % |
202.44/202.42 c | 371364 | 8593 55118 186938 | 70466 60091 40 | 0.163 % |
202.64/202.69 c | 371876 | 8593 55118 186938 | 70466 60603 40 | 0.163 % |
202.84/202.84 c | 372388 | 8593 55118 186938 | 70466 61115 40 | 0.163 % |
203.34/203.41 c | 373412 | 8593 55118 186938 | 70466 62139 40 | 0.163 % |
204.44/204.49 c | 375460 | 8593 55118 186938 | 70466 64187 40 | 0.163 % |
204.84/204.84 c | 375973 | 8593 55118 186938 | 70466 64700 40 | 0.163 % |
205.14/205.16 c | 376488 | 8593 55118 186938 | 70466 65215 40 | 0.163 % |
205.44/205.46 c | 377512 | 8593 55118 186938 | 70466 66239 40 | 0.163 % |
205.64/205.62 c | 378026 | 8593 55118 186938 | 70466 66753 40 | 0.163 % |
206.04/206.08 c | 378538 | 8593 55118 186938 | 70466 67265 40 | 0.163 % |
206.64/206.64 c | 379562 | 8593 55118 186938 | 70466 68289 40 | 0.163 % |
208.34/208.36 c | 381610 | 8593 55118 186938 | 68728 70337 41 | 0.163 % |
211.34/211.39 c | 385706 | 8593 55118 186938 | 68728 63658 41 | 0.163 % |
211.64/211.65 c | 386218 | 8593 55118 186938 | 68728 64170 41 | 0.163 % |
211.74/211.81 c | 386731 | 8593 55118 186938 | 68728 64683 41 | 0.163 % |
212.04/212.03 c | 387755 | 8593 55118 186938 | 68728 65707 41 | 0.163 % |
212.14/212.17 c | 388268 | 8593 55118 186938 | 68728 66220 41 | 0.163 % |
212.34/212.32 c | 388780 | 8593 55118 186938 | 68728 66732 41 | 0.163 % |
213.04/213.03 c | 389805 | 8593 55118 186938 | 68728 67757 41 | 0.163 % |
214.54/214.57 c | 391854 | 8593 55118 186938 | 2147483647 69806 41 | 0.163 % |
214.94/215.00 c | 392368 | 8593 55118 186938 | 2147483647 70320 41 | 0.163 % |
215.24/215.30 c | 392880 | 8593 55118 186938 | 2147483647 70832 41 | 0.163 % |
215.64/215.70 c | 393905 | 8593 55118 186938 | 2147483647 71857 41 | 0.163 % |
215.84/215.82 c | 394417 | 8593 55118 186938 | 2147483647 72369 41 | 0.163 % |
216.14/216.19 c | 394930 | 8593 55118 186938 | 2147483647 72882 41 | 0.163 % |
216.94/216.95 c | 395954 | 8593 55118 186938 | 2147483647 73906 41 | 0.163 % |
217.74/217.74 c | 398003 | 8593 55118 186938 | 2147483647 75955 41 | 0.163 % |
221.44/221.46 c | 402100 | 8593 55118 186938 | 2147483647 80052 42 | 0.163 % |
226.14/226.12 c | 410292 | 8592 55116 186932 | 87947 88239 42 | 0.174 % |
238.94/238.98 c | 426676 | 8592 55116 186932 | 77988 71139 41 | 0.174 % |
254.84/254.89 c | 459444 | 8592 55116 186932 | 66355 64105 42 | 0.174 % |
290.64/290.63 c | 524981 | 8591 55108 186908 | 2147483647 70074 41 | 0.186 % |
291.04/291.05 c | 525495 | 8591 55108 186908 | 2147483647 70588 41 | 0.186 % |
291.34/291.36 c | 526009 | 8591 55108 186908 | 2147483647 71102 41 | 0.186 % |
291.84/291.85 c | 527033 | 8591 55108 186908 | 2147483647 72126 42 | 0.186 % |
292.24/292.26 c | 527546 | 8591 55108 186908 | 2147483647 72639 42 | 0.186 % |
292.54/292.52 c | 528059 | 8591 55108 186908 | 2147483647 73152 42 | 0.186 % |
293.24/293.26 c | 529084 | 8591 55108 186908 | 2147483647 74177 42 | 0.186 % |
294.44/294.44 c | 531134 | 8591 55108 186908 | 75093 76227 42 | 0.186 % |
294.64/294.70 c | 531646 | 8591 55108 186908 | 75093 64242 42 | 0.186 % |
294.84/294.90 c | 532158 | 8591 55108 186908 | 75093 64754 42 | 0.186 % |
295.54/295.51 c | 533183 | 8591 55108 186908 | 75093 65779 42 | 0.186 % |
295.84/295.82 c | 533695 | 8591 55108 186908 | 75093 66291 42 | 0.186 % |
296.05/296.03 c | 534207 | 8591 55108 186908 | 75093 66803 42 | 0.186 % |
296.64/296.61 c | 535232 | 8591 55108 186908 | 75093 67828 42 | 0.186 % |
297.64/297.69 c | 537282 | 8591 55108 186908 | 75093 69878 42 | 0.186 % |
298.94/298.92 c | 541379 | 8591 55108 186908 | 2147483647 73975 41 | 0.186 % |
299.24/299.24 c | 541893 | 8591 55108 186908 | 2147483647 74489 41 | 0.186 % |
299.54/299.55 c | 542405 | 8591 55108 186908 | 2147483647 75001 41 | 0.186 % |
300.04/300.08 c | 543431 | 8591 55108 186908 | 2147483647 76027 41 | 0.186 % |
300.24/300.24 c | 543943 | 8591 55108 186908 | 2147483647 76539 41 | 0.186 % |
300.34/300.40 c | 544456 | 8591 55108 186908 | 2147483647 77052 41 | 0.186 % |
301.04/301.03 c | 545480 | 8591 55108 186908 | 2147483647 78076 41 | 0.186 % |
302.44/302.45 c | 547532 | 8591 55108 186908 | 2147483647 80128 41 | 0.186 % |
302.74/302.72 c | 548045 | 8591 55108 186908 | 2147483647 80641 41 | 0.186 % |
303.24/303.26 c | 548557 | 8591 55108 186908 | 2147483647 81153 41 | 0.186 % |
303.94/303.95 c | 549581 | 8591 55108 186908 | 2147483647 82177 41 | 0.186 % |
304.34/304.32 c | 550093 | 8591 55108 186908 | 2147483647 82689 41 | 0.186 % |
304.94/304.96 c | 550607 | 8591 55108 186908 | 2147483647 83203 41 | 0.186 % |
305.64/305.70 c | 551631 | 8591 55108 186908 | 2147483647 84227 41 | 0.186 % |
306.54/306.57 c | 553680 | 8591 55108 186908 | 2147483647 86276 42 | 0.186 % |
308.75/308.73 c | 557777 | 8591 55108 186908 | 2147483647 90373 42 | 0.186 % |
315.65/315.70 c | 565969 | 8591 55108 186908 | 92596 80340 39 | 0.186 % |
315.75/315.77 c | 566481 | 8591 55108 186908 | 92596 80852 38 | 0.186 % |
315.85/315.87 c | 566993 | 8591 55108 186908 | 92596 81364 38 | 0.186 % |
316.45/316.44 c | 568018 | 8591 55108 186908 | 92596 82389 38 | 0.186 % |
316.95/316.96 c | 568530 | 8591 55108 186908 | 92596 82901 39 | 0.186 % |
317.25/317.27 c | 569042 | 8591 55108 186908 | 92596 83413 39 | 0.186 % |
318.15/318.17 c | 570066 | 8591 55108 186908 | 84373 84437 39 | 0.186 % |
319.35/319.37 c | 572116 | 8591 55108 186908 | 84373 68870 38 | 0.186 % |
319.55/319.54 c | 572628 | 8591 55108 186908 | 84373 69382 38 | 0.186 % |
319.65/319.65 c | 573141 | 8591 55108 186908 | 84373 69895 38 | 0.186 % |
320.35/320.38 c | 574166 | 8591 55108 186908 | 84373 70920 38 | 0.186 % |
320.65/320.70 c | 574678 | 8591 55108 186908 | 84373 71432 38 | 0.186 % |
321.05/321.06 c | 575190 | 8591 55108 186908 | 84373 71944 39 | 0.186 % |
321.55/321.59 c | 576214 | 8591 55108 186908 | 84373 72968 39 | 0.186 % |
322.45/322.45 c | 578264 | 8591 55108 186908 | 84373 75018 39 | 0.186 % |
325.45/325.51 c | 582360 | 8591 55108 186908 | 76754 65844 40 | 0.186 % |
325.85/325.90 c | 582872 | 8591 55108 186908 | 76754 66356 40 | 0.186 % |
326.25/326.25 c | 583385 | 8591 55108 186908 | 76754 66869 40 | 0.186 % |
326.85/326.88 c | 584409 | 8591 55108 186908 | 76754 67893 40 | 0.186 % |
327.25/327.22 c | 584922 | 8591 55108 186908 | 76754 68406 40 | 0.186 % |
327.45/327.44 c | 585434 | 8591 55108 186908 | 76754 68918 40 | 0.186 % |
327.95/327.97 c | 586458 | 8591 55108 186908 | 76754 69942 40 | 0.186 % |
328.35/328.34 c | 588507 | 8591 55108 186908 | 76754 71991 39 | 0.186 % |
328.65/328.67 c | 589019 | 8591 55108 186908 | 76754 72503 40 | 0.186 % |
328.95/328.95 c | 589532 | 8591 55108 186908 | 76754 73016 40 | 0.186 % |
329.85/329.86 c | 590556 | 8591 55108 186908 | 73484 74040 40 | 0.186 % |
330.25/330.23 c | 591070 | 8591 55108 186908 | 73484 63248 40 | 0.186 % |
330.65/330.70 c | 591583 | 8591 55108 186908 | 73484 63761 40 | 0.186 % |
331.15/331.15 c | 592607 | 8591 55108 186908 | 73484 64785 40 | 0.186 % |
331.95/331.91 c | 594656 | 8591 55108 186908 | 73484 66834 40 | 0.186 % |
335.55/335.53 c | 598753 | 8591 55108 186908 | 73484 70931 41 | 0.186 % |
340.25/340.29 c | 606945 | 8591 55108 186908 | 72178 66177 41 | 0.186 % |
350.15/350.17 c | 623329 | 8591 55108 186908 | 70257 63711 41 | 0.186 % |
350.45/350.49 c | 623841 | 8591 55108 186908 | 70257 64223 41 | 0.186 % |
350.85/350.82 c | 624355 | 8591 55108 186908 | 70257 64737 41 | 0.186 % |
351.55/351.58 c | 625379 | 8591 55108 186908 | 70257 65761 41 | 0.186 % |
351.85/351.85 c | 625892 | 8591 55108 186908 | 70257 66274 41 | 0.186 % |
352.05/352.10 c | 626405 | 8591 55108 186908 | 70257 66787 41 | 0.186 % |
352.95/352.96 c | 627429 | 8591 55108 186908 | 70257 67811 42 | 0.186 % |
354.45/354.46 c | 629477 | 8591 55108 186908 | 70257 69859 42 | 0.186 % |
354.75/354.79 c | 629989 | 8591 55108 186908 | 70257 70371 42 | 0.186 % |
355.15/355.20 c | 630501 | 8591 55108 186908 | 62006 62507 42 | 0.186 % |
355.85/355.86 c | 631525 | 8591 55108 186908 | 62006 55778 42 | 0.186 % |
356.15/356.19 c | 632037 | 8591 55108 186908 | 62006 56290 42 | 0.186 % |
356.35/356.37 c | 632549 | 8591 55108 186908 | 62006 56802 42 | 0.186 % |
357.15/357.13 c | 633574 | 8591 55108 186908 | 62006 57827 42 | 0.186 % |
358.65/358.67 c | 635622 | 8591 55108 186908 | 62006 59875 43 | 0.186 % |
360.55/360.53 c | 639719 | 8591 55108 186908 | 62006 63972 44 | 0.186 % |
360.75/360.74 c | 640234 | 8591 55108 186908 | 55521 55753 42 | 0.186 % |
360.95/360.95 c | 640747 | 8591 55108 186908 | 55521 49669 42 | 0.186 % |
361.35/361.35 c | 641771 | 8591 55108 186908 | 55521 50693 42 | 0.186 % |
361.55/361.58 c | 642283 | 8591 55108 186908 | 55521 51205 42 | 0.186 % |
361.95/361.92 c | 642797 | 8591 55108 186908 | 55521 51719 42 | 0.186 % |
362.55/362.54 c | 643822 | 8591 55108 186908 | 55521 52744 42 | 0.186 % |
363.75/363.76 c | 645870 | 8591 55108 186908 | 55521 54792 42 | 0.186 % |
364.05/364.09 c | 646382 | 8591 55108 186908 | 55521 55304 42 | 0.186 % |
364.45/364.41 c | 646895 | 8591 55108 186908 | 55521 55817 42 | 0.186 % |
365.15/365.16 c | 647920 | 8591 55108 186908 | 55521 51261 42 | 0.186 % |
365.45/365.45 c | 648434 | 8591 55108 186908 | 55521 51775 42 | 0.186 % |
365.55/365.57 c | 648946 | 8591 55108 186908 | 55521 52287 42 | 0.186 % |
366.05/366.10 c | 649971 | 8589 55106 186902 | 55521 53294 42 | 0.209 % |
367.35/367.41 c | 652020 | 8589 55106 186902 | 2147483647 55343 42 | 0.209 % |
369.15/369.14 c | 656119 | 8589 55106 186902 | 2147483647 59442 44 | 0.209 % |
372.65/372.69 c | 664312 | 8589 55106 186902 | 2147483647 67635 43 | 0.209 % |
372.95/372.94 c | 664826 | 8589 55104 186896 | 2147483647 68140 42 | 0.209 % |
373.15/373.17 c | 665339 | 8589 55104 186896 | 2147483647 68653 43 | 0.209 % |
373.65/373.69 c | 666363 | 8589 55104 186896 | 2147483647 69677 42 | 0.209 % |
374.05/374.02 c | 666876 | 8589 55104 186896 | 2147483647 70190 42 | 0.209 % |
374.35/374.36 c | 667389 | 8589 55104 186896 | 2147483647 70703 43 | 0.209 % |
375.05/375.01 c | 668413 | 8589 55104 186896 | 2147483647 71727 43 | 0.209 % |
376.05/376.08 c | 670463 | 8589 55104 186896 | 2147483647 73777 43 | 0.209 % |
376.25/376.29 c | 670975 | 8589 55104 186896 | 2147483647 74289 43 | 0.209 % |
376.45/376.48 c | 671487 | 8589 55104 186896 | 2147483647 74801 43 | 0.209 % |
377.05/377.03 c | 672511 | 8589 55104 186896 | 2147483647 75825 43 | 0.209 % |
377.55/377.58 c | 673025 | 8589 55104 186896 | 2147483647 76339 43 | 0.209 % |
377.95/377.94 c | 673538 | 8589 55104 186896 | 2147483647 76852 43 | 0.209 % |
378.55/378.61 c | 674562 | 8589 55104 186896 | 2147483647 77876 43 | 0.209 % |
380.35/380.34 c | 676610 | 8589 55104 186896 | 2147483647 79924 43 | 0.210 % |
383.35/383.37 c | 680707 | 8589 55104 186896 | 83314 84021 43 | 0.209 % |
383.85/383.90 c | 681221 | 8589 55104 186896 | 83314 74462 41 | 0.209 % |
384.15/384.20 c | 681733 | 8589 55104 186896 | 83314 74974 41 | 0.209 % |
384.95/384.94 c | 682757 | 8589 55104 186896 | 83314 75998 41 | 0.209 % |
385.25/385.22 c | 683269 | 8589 55104 186896 | 83314 76510 41 | 0.209 % |
385.55/385.57 c | 683782 | 8589 55104 186896 | 83314 77023 41 | 0.209 % |
386.15/386.16 c | 684807 | 8589 55104 186896 | 83314 78048 41 | 0.209 % |
387.05/387.04 c | 686856 | 8589 55104 186896 | 83314 80097 41 | 0.209 % |
387.45/387.44 c | 687369 | 8589 55104 186896 | 83314 80610 41 | 0.209 % |
387.75/387.80 c | 687881 | 8589 55104 186896 | 83314 81122 41 | 0.209 % |
388.35/388.37 c | 688905 | 8589 55104 186896 | 83314 82146 41 | 0.209 % |
388.75/388.75 c | 689417 | 8589 55104 186896 | 83314 82658 41 | 0.209 % |
389.15/389.18 c | 689930 | 8589 55104 186896 | 83314 83171 41 | 0.209 % |
390.15/390.18 c | 690955 | 8589 55104 186896 | 83241 84196 41 | 0.209 % |
391.55/391.60 c | 693004 | 8589 55104 186896 | 83241 70704 38 | 0.209 % |
394.45/394.45 c | 697101 | 8589 55104 186896 | 83241 74801 38 | 0.210 % |
400.85/400.82 c | 705296 | 8589 55104 186896 | 77701 69832 39 | 0.209 % |
413.15/413.11 c | 721681 | 8589 55104 186896 | 2147483647 78318 39 | 0.209 % |
449.36/449.38 c | 754449 | 8589 55104 186896 | 69105 53923 36 | 0.209 % |
449.96/449.95 c | 754961 | 8589 55104 186896 | 69105 54435 36 | 0.209 % |
450.26/450.30 c | 755473 | 8589 55104 186896 | 69105 54947 36 | 0.209 % |
450.96/451.00 c | 756497 | 8589 55104 186896 | 69105 55971 36 | 0.209 % |
451.36/451.34 c | 757009 | 8589 55104 186896 | 69105 56483 36 | 0.209 % |
451.76/451.76 c | 757523 | 8589 55104 186896 | 69105 56997 35 | 0.209 % |
452.36/452.34 c | 758548 | 8589 55104 186896 | 69105 58022 35 | 0.209 % |
453.76/453.73 c | 760596 | 8589 55104 186896 | 59474 60070 35 | 0.209 % |
454.06/454.02 c | 761109 | 8589 55104 186896 | 59474 47787 33 | 0.209 % |
454.26/454.27 c | 761621 | 8589 55104 186896 | 59474 48299 33 | 0.209 % |
454.46/454.45 c | 762646 | 8589 55104 186896 | 59474 49324 33 | 0.209 % |
454.56/454.52 c | 763158 | 8589 55104 186896 | 59474 49836 33 | 0.209 % |
454.96/454.96 c | 763672 | 8589 55104 186896 | 59474 50350 33 | 0.209 % |
455.66/455.71 c | 764698 | 8589 55104 186896 | 59474 51376 33 | 0.209 % |
457.66/457.65 c | 766748 | 8589 55104 186896 | 59474 53426 34 | 0.209 % |
459.16/459.20 c | 770844 | 8589 55104 186896 | 2147483647 57522 34 | 0.209 % |
459.26/459.29 c | 771356 | 8589 55104 186896 | 2147483647 58034 34 | 0.209 % |
459.36/459.38 c | 771868 | 8589 55104 186896 | 2147483647 58546 34 | 0.209 % |
459.56/459.58 c | 772892 | 8589 55104 186896 | 2147483647 59570 34 | 0.209 % |
459.96/459.93 c | 773404 | 8589 55104 186896 | 2147483647 60082 34 | 0.209 % |
460.26/460.25 c | 773917 | 8589 55104 186896 | 2147483647 60595 33 | 0.209 % |
460.86/460.88 c | 774942 | 8589 55104 186896 | 2147483647 61620 33 | 0.209 % |
462.76/462.79 c | 776990 | 8589 55104 186896 | 2147483647 63668 34 | 0.209 % |
462.86/462.90 c | 777502 | 8589 55104 186896 | 2147483647 64180 34 | 0.209 % |
463.26/463.26 c | 778014 | 8589 55104 186896 | 2147483647 64692 34 | 0.209 % |
463.66/463.62 c | 779040 | 8588 55096 186872 | 2147483647 65716 34 | 0.221 % |
464.16/464.14 c | 779552 | 8588 55096 186872 | 2147483647 66228 34 | 0.221 % |
464.66/464.66 c | 780065 | 8588 55096 186872 | 2147483647 66741 34 | 0.221 % |
464.96/464.93 c | 781089 | 8588 55096 186872 | 2147483647 67765 34 | 0.221 % |
466.16/466.21 c | 783137 | 8588 55096 186872 | 2147483647 69813 35 | 0.221 % |
467.46/467.49 c | 787234 | 8587 55088 186848 | 2147483647 73908 35 | 0.232 % |
474.66/474.62 c | 795426 | 8587 55088 186848 | 76675 72623 36 | 0.232 % |
474.86/474.82 c | 795938 | 8587 55088 186848 | 76675 73135 36 | 0.233 % |
474.96/474.96 c | 796450 | 8587 55088 186848 | 76675 73647 36 | 0.232 % |
475.26/475.24 c | 797475 | 8587 55088 186848 | 76675 74672 35 | 0.232 % |
475.36/475.35 c | 797988 | 8587 55088 186848 | 76675 75185 35 | 0.232 % |
475.46/475.46 c | 798502 | 8587 55088 186848 | 76675 75699 36 | 0.232 % |
476.66/476.65 c | 799527 | 8587 55088 186848 | 76675 76724 36 | 0.232 % |
477.76/477.75 c | 801575 | 8587 55088 186848 | 64444 66018 36 | 0.233 % |
478.06/478.09 c | 802087 | 8587 55088 186848 | 64444 56104 36 | 0.233 % |
478.26/478.26 c | 802601 | 8587 55088 186848 | 64444 56618 36 | 0.233 % |
478.56/478.60 c | 803625 | 8587 55088 186848 | 64444 57642 36 | 0.232 % |
478.76/478.75 c | 804138 | 8587 55088 186848 | 64444 58155 36 | 0.232 % |
478.96/478.93 c | 804650 | 8587 55088 186848 | 64444 58667 36 | 0.233 % |
479.36/479.34 c | 805677 | 8587 55088 186848 | 64444 59694 36 | 0.233 % |
481.06/481.06 c | 807725 | 8587 55088 186848 | 64444 61742 37 | 0.232 % |
484.16/484.12 c | 811821 | 8587 55088 186848 | 2147483647 65838 37 | 0.233 % |
484.36/484.38 c | 812333 | 8587 55088 186848 | 2147483647 66350 37 | 0.232 % |
484.56/484.58 c | 812846 | 8587 55088 186848 | 2147483647 66863 37 | 0.232 % |
484.96/485.00 c | 813870 | 8587 55088 186848 | 2147483647 67887 37 | 0.232 % |
485.16/485.21 c | 814382 | 8587 55088 186848 | 2147483647 68399 37 | 0.232 % |
485.26/485.31 c | 814894 | 8587 55088 186848 | 2147483647 68911 37 | 0.232 % |
485.96/485.96 c | 815918 | 8587 55088 186848 | 2147483647 69935 37 | 0.232 % |
487.46/487.42 c | 817967 | 8587 55088 186848 | 2147483647 71984 37 | 0.232 % |
487.77/487.76 c | 818481 | 8587 55088 186848 | 2147483647 72498 37 | 0.233 % |
487.87/487.92 c | 818993 | 8587 55088 186848 | 2147483647 73010 37 | 0.233 % |
488.37/488.40 c | 820017 | 8587 55088 186848 | 2147483647 74034 37 | 0.233 % |
488.57/488.56 c | 820529 | 8587 55088 186848 | 2147483647 74546 37 | 0.232 % |
488.87/488.86 c | 821041 | 8587 55088 186848 | 2147483647 75058 37 | 0.233 % |
489.87/489.84 c | 822066 | 8587 55088 186848 | 2147483647 76083 38 | 0.232 % |
490.67/490.67 c | 824114 | 8587 55088 186848 | 2147483647 78131 38 | 0.232 % |
492.77/492.74 c | 828210 | 8587 55088 186848 | 2147483647 82227 38 | 0.232 % |
498.47/498.51 c | 836402 | 8587 55088 186848 | 84017 78568 39 | 0.232 % |
509.46/509.49 c | 852787 | 8587 55088 186848 | 76701 79487 41 | 0.232 % |
509.86/509.89 c | 853302 | 8587 55088 186848 | 76701 57570 39 | 0.232 % |
510.26/510.28 c | 853815 | 8587 55088 186848 | 76701 58083 39 | 0.232 % |
510.86/510.87 c | 854840 | 8587 55088 186848 | 76701 59108 40 | 0.233 % |
511.16/511.16 c | 855353 | 8587 55088 186848 | 76701 59621 40 | 0.232 % |
511.46/511.46 c | 855865 | 8587 55088 186848 | 76701 60133 40 | 0.232 % |
512.06/512.07 c | 856889 | 8587 55088 186848 | 76701 61157 40 | 0.232 % |
513.36/513.32 c | 858938 | 8587 55088 186848 | 76701 63206 40 | 0.233 % |
513.56/513.57 c | 859450 | 8587 55088 186848 | 76701 63718 40 | 0.233 % |
513.86/513.88 c | 859962 | 8587 55088 186848 | 76701 64230 40 | 0.232 % |
514.46/514.41 c | 860987 | 8587 55088 186848 | 64268 57415 40 | 0.232 % |
514.56/514.60 c | 861500 | 8587 55088 186848 | 64268 57928 40 | 0.232 % |
514.96/514.94 c | 862012 | 8587 55088 186848 | 64268 58440 40 | 0.232 % |
515.46/515.42 c | 863036 | 8587 55088 186848 | 64268 59464 40 | 0.233 % |
516.56/516.55 c | 865087 | 8587 55088 186848 | 64268 61515 41 | 0.232 % |
519.26/519.24 c | 869183 | 8587 55088 186848 | 64268 65611 42 | 0.233 % |
519.66/519.66 c | 869697 | 8587 55088 186848 | 64268 54635 42 | 0.232 % |
519.96/519.95 c | 870211 | 8587 55088 186848 | 54938 55149 42 | 0.232 % |
520.47/520.50 c | 871235 | 8587 55088 186848 | 54938 47617 40 | 0.232 % |
520.76/520.78 c | 871750 | 8587 55088 186848 | 54938 48132 40 | 0.232 % |
521.06/521.06 c | 872263 | 8587 55088 186848 | 54938 48645 40 | 0.232 % |
521.57/521.60 c | 873288 | 8587 55088 186848 | 54938 49670 40 | 0.232 % |
522.36/522.40 c | 875336 | 8587 55088 186848 | 54938 51718 40 | 0.232 % |
522.56/522.55 c | 875848 | 8587 55088 186848 | 54938 52230 40 | 0.232 % |
522.86/522.89 c | 876360 | 8587 55088 186848 | 54938 52742 40 | 0.233 % |
523.46/523.47 c | 877384 | 8587 55088 186848 | 54938 53766 40 | 0.232 % |
523.77/523.73 c | 877896 | 8587 55088 186848 | 54938 54278 40 | 0.232 % |
523.96/523.97 c | 878408 | 8587 55088 186848 | 54938 54790 40 | 0.232 % |
524.56/524.56 c | 879432 | 8587 55088 186848 | 54938 55814 40 | 0.232 % |
525.86/525.87 c | 881481 | 8587 55088 186848 | 2147483647 52282 39 | 0.233 % |
527.36/527.38 c | 885578 | 8587 55088 186848 | 2147483647 56379 40 | 0.233 % |
532.26/532.22 c | 893774 | 8587 55088 186848 | 2147483647 64575 41 | 0.232 % |
532.36/532.40 c | 894287 | 8587 55088 186848 | 2147483647 65088 41 | 0.232 % |
532.57/532.55 c | 894799 | 8587 55088 186848 | 2147483647 65600 41 | 0.232 % |
533.36/533.35 c | 895824 | 8587 55088 186848 | 2147483647 66625 41 | 0.232 % |
533.56/533.60 c | 896337 | 8587 55088 186848 | 2147483647 67138 41 | 0.232 % |
533.86/533.87 c | 896849 | 8587 55088 186848 | 2147483647 67650 41 | 0.232 % |
534.26/534.24 c | 897873 | 8587 55088 186848 | 2147483647 68674 41 | 0.232 % |
535.87/535.82 c | 899922 | 8587 55088 186848 | 2147483647 70723 41 | 0.232 % |
536.16/536.20 c | 900437 | 8587 55088 186848 | 70801 71238 41 | 0.232 % |
536.56/536.58 c | 900949 | 8587 55088 186848 | 70801 62584 39 | 0.232 % |
537.06/537.07 c | 901973 | 8587 55088 186848 | 70801 63608 40 | 0.232 % |
537.46/537.46 c | 902487 | 8587 55088 186848 | 70801 64122 40 | 0.233 % |
537.86/537.81 c | 902999 | 8587 55088 186848 | 70801 64634 40 | 0.233 % |
538.16/538.14 c | 904023 | 8587 55088 186848 | 70801 65658 39 | 0.233 % |
539.66/539.65 c | 906071 | 8587 55088 186848 | 70801 67706 40 | 0.233 % |
543.16/543.14 c | 910168 | 8587 55088 186848 | 71637 71803 41 | 0.233 % |
543.57/543.56 c | 910680 | 8587 55088 186848 | 71637 60765 40 | 0.233 % |
543.76/543.73 c | 911192 | 8587 55088 186848 | 71637 61277 40 | 0.233 % |
544.06/544.09 c | 912216 | 8587 55088 186848 | 71637 62301 40 | 0.232 % |
544.26/544.31 c | 912728 | 8587 55088 186848 | 71637 62813 40 | 0.232 % |
544.56/544.56 c | 913240 | 8587 55088 186848 | 71637 63325 40 | 0.232 % |
545.16/545.15 c | 914265 | 8587 55088 186848 | 71637 64350 40 | 0.232 % |
546.66/546.68 c | 916314 | 8587 55088 186848 | 71637 66399 40 | 0.232 % |
546.96/546.96 c | 916827 | 8587 55088 186848 | 71637 66912 40 | 0.233 % |
547.26/547.24 c | 917339 | 8587 55088 186848 | 71637 67424 40 | 0.233 % |
547.46/547.50 c | 918364 | 8587 55088 186848 | 71637 68449 40 | 0.232 % |
547.66/547.62 c | 918876 | 8587 55088 186848 | 71637 68961 40 | 0.232 % |
548.16/548.13 c | 919388 | 8587 55088 186848 | 71637 69473 40 | 0.232 % |
548.86/548.91 c | 920414 | 8587 55088 186848 | 2147483647 70499 40 | 0.232 % |
550.36/550.37 c | 922462 | 8587 55088 186848 | 2147483647 72547 40 | 0.233 % |
552.96/552.98 c | 926559 | 8587 55088 186848 | 2147483647 76644 40 | 0.233 % |
558.97/558.96 c | 934752 | 8587 55088 186848 | 80086 69599 40 | 0.232 % |
569.46/569.41 c | 951136 | 8587 55088 186848 | 66206 67341 38 | 0.233 % |
588.67/588.65 c | 983905 | 8586 55080 186824 | 56200 47391 39 | 0.244 % |
625.17/625.20 c | 1049443 | 8586 55080 186824 | 75361 72598 43 | 0.244 % |
714.28/714.31 c | 1180516 | 8586 55080 186824 | 2147483647 69613 36 | 0.244 % |
714.58/714.56 c | 1181028 | 8586 55080 186824 | 2147483647 70125 36 | 0.244 % |
714.98/714.94 c | 1181540 | 8586 55080 186824 | 2147483647 70637 36 | 0.244 % |
715.28/715.26 c | 1182564 | 8585 55071 186794 | 2147483647 71657 36 | 0.256 % |
715.68/715.63 c | 1183076 | 8585 55071 186794 | 2147483647 72169 36 | 0.256 % |
715.88/715.88 c | 1183588 | 8585 55071 186794 | 2147483647 72681 36 | 0.256 % |
716.78/716.76 c | 1184612 | 8585 55071 186794 | 2147483647 73705 36 | 0.256 % |
717.88/717.87 c | 1186660 | 8585 55071 186794 | 2147483647 75753 36 | 0.256 % |
717.98/717.98 c | 1187172 | 8585 55071 186794 | 2147483647 76265 36 | 0.256 % |
718.08/718.07 c | 1187685 | 8585 55071 186794 | 2147483647 76778 36 | 0.256 % |
718.48/718.42 c | 1188709 | 8585 55071 186794 | 2147483647 77802 36 | 0.256 % |
718.58/718.54 c | 1189221 | 8585 55071 186794 | 2147483647 78314 36 | 0.256 % |
718.88/718.83 c | 1189734 | 8585 55071 186794 | 2147483647 78827 36 | 0.256 % |
719.58/719.59 c | 1190759 | 8585 55071 186794 | 2147483647 79852 36 | 0.256 % |
720.68/720.68 c | 1192807 | 8585 55071 186794 | 2147483647 81900 35 | 0.256 % |
723.88/723.84 c | 1196903 | 8585 55071 186794 | 2147483647 85996 37 | 0.256 % |
724.18/724.16 c | 1197415 | 8585 55071 186794 | 2147483647 86508 37 | 0.256 % |
724.58/724.60 c | 1197927 | 8585 55071 186794 | 2147483647 87020 37 | 0.256 % |
725.08/725.06 c | 1198951 | 8585 55071 186794 | 2147483647 88044 37 | 0.256 % |
725.38/725.33 c | 1199463 | 8585 55071 186794 | 2147483647 88556 37 | 0.256 % |
725.68/725.63 c | 1199976 | 8585 55071 186794 | 2147483647 89069 37 | 0.256 % |
726.68/726.62 c | 1201004 | 8585 55071 186794 | 89094 90097 37 | 0.256 % |
728.28/728.26 c | 1203052 | 8585 55071 186794 | 89094 83136 38 | 0.256 % |
728.48/728.45 c | 1203565 | 8585 55071 186794 | 89094 83649 38 | 0.256 % |
728.68/728.67 c | 1204077 | 8585 55071 186794 | 89094 84161 38 | 0.256 % |
729.38/729.35 c | 1205101 | 8585 55071 186794 | 89094 85185 38 | 0.256 % |
729.58/729.55 c | 1205613 | 8585 55071 186794 | 89094 85697 38 | 0.256 % |
729.88/729.85 c | 1206126 | 8584 55069 186788 | 89094 86068 38 | 0.267 % |
730.08/730.06 c | 1207152 | 8584 55069 186788 | 89094 87094 38 | 0.267 % |
731.88/731.85 c | 1209202 | 8584 55069 186788 | 89094 89144 38 | 0.267 % |
734.38/734.31 c | 1213298 | 8584 55069 186788 | 75848 66185 44 | 0.267 % |
739.88/739.91 c | 1221492 | 8584 55069 186788 | 72887 74379 46 | 0.267 % |
740.58/740.56 c | 1222005 | 8584 55069 186788 | 72887 61545 43 | 0.267 % |
740.78/740.73 c | 1222517 | 8584 55069 186788 | 72887 62057 43 | 0.267 % |
741.28/741.29 c | 1223541 | 8584 55069 186788 | 72887 63081 43 | 0.267 % |
741.58/741.53 c | 1224053 | 8584 55069 186788 | 72887 63593 43 | 0.268 % |
741.98/741.98 c | 1224565 | 8584 55069 186788 | 72887 64105 43 | 0.267 % |
742.78/742.75 c | 1225589 | 8584 55069 186788 | 72887 65129 43 | 0.267 % |
743.58/743.53 c | 1227637 | 8584 55069 186788 | 72887 67177 43 | 0.268 % |
743.68/743.69 c | 1228149 | 8584 55069 186788 | 72887 67689 43 | 0.267 % |
743.98/743.94 c | 1228662 | 8584 55069 186788 | 72887 68202 43 | 0.267 % |
744.48/744.42 c | 1229687 | 8584 55069 186788 | 72887 69227 43 | 0.267 % |
744.98/744.91 c | 1230199 | 8584 55069 186788 | 69541 69739 43 | 0.267 % |
745.38/745.36 c | 1230711 | 8584 55069 186788 | 69541 59193 39 | 0.268 % |
745.88/745.86 c | 1231735 | 8584 55069 186788 | 69541 60217 40 | 0.268 % |
746.68/746.68 c | 1233783 | 8584 55069 186788 | 69541 62265 40 | 0.268 % |
749.88/749.90 c | 1237881 | 8584 55069 186788 | 69541 66363 42 | 0.267 % |
750.28/750.26 c | 1238394 | 8584 55069 186788 | 69541 66876 42 | 0.267 % |
750.68/750.65 c | 1238908 | 8584 55069 186788 | 69541 67390 42 | 0.268 % |
751.18/751.12 c | 1239933 | 8584 55069 186788 | 69541 68415 42 | 0.268 % |
751.28/751.31 c | 1240446 | 8584 55069 186788 | 68482 68928 42 | 0.267 % |
751.48/751.49 c | 1240958 | 8584 55069 186788 | 68482 61064 42 | 0.267 % |
752.28/752.26 c | 1241983 | 8584 55069 186788 | 68482 62089 43 | 0.267 % |
753.98/753.92 c | 1244031 | 8584 55069 186788 | 68482 64137 43 | 0.268 % |
754.18/754.14 c | 1244543 | 8584 55069 186788 | 68482 64649 43 | 0.267 % |
754.68/754.66 c | 1245055 | 8584 55069 186788 | 68482 65161 43 | 0.267 % |
755.18/755.15 c | 1246079 | 8584 55069 186788 | 68482 66185 44 | 0.267 % |
755.58/755.60 c | 1246591 | 8584 55069 186788 | 68482 66697 44 | 0.267 % |
755.98/755.96 c | 1247103 | 8584 55069 186788 | 68482 67209 44 | 0.267 % |
756.78/756.76 c | 1248127 | 8584 55069 186788 | 68482 68233 44 | 0.267 % |
757.78/757.76 c | 1250175 | 8584 55069 186788 | 70106 70281 44 | 0.267 % |
758.98/759.00 c | 1254272 | 8584 55069 186788 | 70106 63607 41 | 0.267 % |
763.98/763.96 c | 1262465 | 8583 55067 186782 | 69335 64231 43 | 0.279 % |
776.38/776.39 c | 1278850 | 8583 55067 186782 | 2147483647 73611 42 | 0.290 % |
776.78/776.78 c | 1279362 | 8582 55061 186765 | 2147483647 74121 42 | 0.291 % |
777.28/777.30 c | 1279874 | 8582 55061 186765 | 2147483647 74633 42 | 0.291 % |
777.68/777.65 c | 1280898 | 8582 55061 186765 | 74760 75657 42 | 0.291 % |
777.88/777.90 c | 1281411 | 8582 55061 186765 | 74760 66593 41 | 0.290 % |
778.28/778.30 c | 1281924 | 8582 55061 186765 | 74760 67106 41 | 0.291 % |
779.08/779.04 c | 1282948 | 8582 55061 186765 | 74760 68130 42 | 0.290 % |
779.78/779.80 c | 1284996 | 8582 55061 186765 | 74760 70178 41 | 0.291 % |
779.98/779.94 c | 1285508 | 8582 55061 186765 | 74760 70690 41 | 0.290 % |
780.28/780.28 c | 1286021 | 8582 55061 186765 | 74760 71203 41 | 0.291 % |
781.08/781.08 c | 1287045 | 8582 55061 186765 | 74760 72227 41 | 0.291 % |
781.58/781.51 c | 1287557 | 8581 55059 186759 | 74760 72708 41 | 0.302 % |
781.78/781.76 c | 1288070 | 8581 55059 186759 | 74760 73221 41 | 0.302 % |
782.78/782.71 c | 1289094 | 8581 55059 186759 | 74760 74245 42 | 0.302 % |
783.78/783.80 c | 1291144 | 8581 55059 186759 | 75151 76295 42 | 0.302 % |
785.68/785.62 c | 1295241 | 8581 55059 186759 | 75151 68050 39 | 0.302 % |
785.88/785.84 c | 1295753 | 8581 55059 186759 | 75151 68562 39 | 0.302 % |
786.08/786.10 c | 1296265 | 8581 55059 186759 | 75151 69074 39 | 0.302 % |
786.78/786.75 c | 1297289 | 8581 55059 186759 | 75151 70098 39 | 0.302 % |
787.08/787.10 c | 1297804 | 8581 55059 186759 | 75151 70613 39 | 0.302 % |
787.38/787.38 c | 1298316 | 8581 55059 186759 | 75151 71125 39 | 0.302 % |
788.38/788.35 c | 1299342 | 8581 55059 186759 | 75151 72151 39 | 0.302 % |
789.99/790.00 c | 1301390 | 8581 55059 186759 | 72810 74199 39 | 0.302 % |
790.48/790.50 c | 1301903 | 8581 55059 186759 | 72810 67293 38 | 0.302 % |
790.78/790.78 c | 1302416 | 8581 55059 186759 | 72810 67806 38 | 0.302 % |
791.58/791.59 c | 1303440 | 8581 55059 186759 | 72810 68830 38 | 0.302 % |
791.98/792.01 c | 1303953 | 8581 55059 186759 | 72810 69343 38 | 0.302 % |
792.28/792.29 c | 1304469 | 8581 55059 186759 | 72810 69859 38 | 0.302 % |
792.98/792.93 c | 1305493 | 8581 55059 186759 | 72810 70883 38 | 0.302 % |
794.18/794.21 c | 1307541 | 8581 55059 186759 | 72810 72931 38 | 0.302 % |
796.78/796.71 c | 1311637 | 8581 55059 186759 | 2147483647 69734 39 | 0.302 % |
800.68/800.64 c | 1319829 | 8581 55059 186759 | 2147483647 77926 38 | 0.302 % |
801.18/801.16 c | 1320343 | 8581 55059 186759 | 78099 78440 38 | 0.302 % |
801.58/801.56 c | 1320857 | 8581 55059 186759 | 78099 69695 38 | 0.302 % |
802.28/802.24 c | 1321881 | 8581 55059 186759 | 78099 70719 38 | 0.302 % |
802.58/802.51 c | 1322394 | 8581 55059 186759 | 78099 71232 38 | 0.302 % |
802.78/802.80 c | 1322906 | 8581 55059 186759 | 78099 71744 38 | 0.302 % |
803.68/803.69 c | 1323932 | 8581 55059 186759 | 78099 72770 38 | 0.302 % |
805.48/805.41 c | 1325980 | 8581 55059 186759 | 78099 74818 39 | 0.302 % |
805.78/805.80 c | 1326493 | 8581 55059 186759 | 78099 75331 39 | 0.302 % |
806.28/806.24 c | 1327006 | 8581 55059 186759 | 78099 75844 39 | 0.302 % |
806.88/806.90 c | 1328030 | 8581 55059 186759 | 78099 76868 39 | 0.302 % |
807.18/807.17 c | 1328542 | 8581 55059 186759 | 78099 77380 39 | 0.302 % |
807.48/807.49 c | 1329054 | 8581 55059 186759 | 78099 77892 39 | 0.302 % |
808.38/808.34 c | 1330078 | 8581 55059 186759 | 78840 78916 40 | 0.302 % |
809.48/809.49 c | 1332128 | 8581 55059 186759 | 78840 69505 37 | 0.302 % |
813.09/813.02 c | 1336224 | 8581 55059 186759 | 78840 73601 38 | 0.302 % |
813.58/813.52 c | 1336738 | 8581 55059 186759 | 78840 74115 38 | 0.302 % |
813.98/813.94 c | 1337252 | 8581 55059 186759 | 78840 74629 39 | 0.302 % |
814.68/814.65 c | 1338276 | 8581 55059 186759 | 78840 75653 39 | 0.302 % |
814.98/814.91 c | 1338789 | 8581 55059 186759 | 78840 76166 39 | 0.302 % |
815.38/815.31 c | 1339301 | 8581 55059 186759 | 78840 76678 39 | 0.302 % |
816.18/816.13 c | 1340325 | 8581 55059 186759 | 77377 77702 39 | 0.302 % |
817.68/817.61 c | 1342376 | 8581 55059 186759 | 77377 67511 38 | 0.302 % |
817.88/817.88 c | 1342889 | 8581 55059 186759 | 77377 68024 38 | 0.302 % |
818.18/818.16 c | 1343401 | 8581 55059 186759 | 77377 68536 38 | 0.302 % |
818.88/818.84 c | 1344426 | 8581 55059 186759 | 77377 69561 38 | 0.302 % |
819.18/819.12 c | 1344938 | 8581 55059 186759 | 77377 70073 38 | 0.302 % |
819.58/819.59 c | 1345450 | 8581 55059 186759 | 77377 70585 38 | 0.302 % |
820.38/820.36 c | 1346476 | 8581 55059 186759 | 77377 71611 38 | 0.302 % |
822.28/822.23 c | 1348528 | 8581 55059 186759 | 77377 73663 39 | 0.302 % |
825.28/825.22 c | 1352626 | 8581 55059 186759 | 75135 63899 38 | 0.302 % |
831.88/831.86 c | 1360818 | 8581 55059 186759 | 71273 72091 39 | 0.302 % |
841.80/841.80 c | 1377203 | 8581 55059 186759 | 72753 61602 38 | 0.302 % |
867.89/867.84 c | 1409971 | 8581 55059 186759 | 56137 49201 45 | 0.302 % |
868.09/868.07 c | 1410485 | 8581 55059 186759 | 49233 49715 45 | 0.302 % |
868.19/868.20 c | 1410998 | 8581 55059 186759 | 49233 43391 46 | 0.302 % |
869.09/869.05 c | 1412022 | 8581 55059 186759 | 49233 44415 46 | 0.302 % |
869.49/869.46 c | 1412534 | 8581 55059 186759 | 49233 44927 46 | 0.302 % |
869.69/869.65 c | 1413046 | 8581 55059 186759 | 49233 45439 46 | 0.302 % |
870.49/870.45 c | 1414070 | 8581 55059 186759 | 49233 46463 47 | 0.302 % |
870.89/870.88 c | 1416118 | 8581 55059 186759 | 49233 48511 46 | 0.302 % |
870.99/871.00 c | 1416631 | 8581 55059 186759 | 49233 49024 46 | 0.302 % |
871.19/871.13 c | 1417144 | 8581 55059 186759 | 49233 44596 46 | 0.302 % |
871.29/871.30 c | 1418168 | 8581 55059 186759 | 49233 45620 46 | 0.302 % |
871.59/871.51 c | 1418680 | 8581 55059 186759 | 49233 46132 45 | 0.302 % |
871.79/871.72 c | 1419193 | 8581 55059 186759 | 49233 46645 45 | 0.302 % |
872.29/872.30 c | 1420218 | 8581 55059 186759 | 2147483647 47670 45 | 0.302 % |
873.79/873.80 c | 1422266 | 8581 55059 186759 | 2147483647 49718 46 | 0.302 % |
876.99/876.93 c | 1426363 | 8581 55059 186759 | 2147483647 53815 46 | 0.302 % |
877.39/877.34 c | 1426876 | 8581 55059 186759 | 2147483647 54328 46 | 0.302 % |
877.69/877.69 c | 1427388 | 8581 55059 186759 | 2147483647 54840 46 | 0.302 % |
878.59/878.56 c | 1428415 | 8581 55059 186759 | 2147483647 55867 46 | 0.302 % |
878.99/878.96 c | 1428928 | 8581 55059 186759 | 2147483647 56380 46 | 0.302 % |
879.19/879.15 c | 1429440 | 8581 55059 186759 | 2147483647 56892 46 | 0.302 % |
879.39/879.36 c | 1430464 | 8581 55059 186759 | 57452 57916 45 | 0.302 % |
879.89/879.86 c | 1432513 | 8581 55059 186759 | 57452 54174 43 | 0.302 % |
880.49/880.47 c | 1433026 | 8581 55059 186759 | 57452 54687 43 | 0.302 % |
881.09/881.09 c | 1433539 | 8581 55059 186759 | 57452 55200 43 | 0.302 % |
881.49/881.43 c | 1434564 | 8581 55059 186759 | 57452 56225 43 | 0.302 % |
881.79/881.78 c | 1435077 | 8581 55059 186759 | 57452 56738 43 | 0.302 % |
881.99/881.95 c | 1435589 | 8581 55059 186759 | 57452 57250 43 | 0.302 % |
882.59/882.60 c | 1436613 | 8581 55059 186759 | 57452 58274 43 | 0.302 % |
883.19/883.17 c | 1438661 | 8581 55059 186759 | 57452 54495 41 | 0.302 % |
885.19/885.20 c | 1442758 | 8581 55059 186759 | 2147483647 58592 42 | 0.302 % |
887.69/887.70 c | 1450950 | 8581 55059 186759 | 2147483647 66784 41 | 0.302 % |
887.89/887.87 c | 1451462 | 8581 55059 186759 | 2147483647 67296 41 | 0.302 % |
888.09/888.05 c | 1451974 | 8581 55059 186759 | 2147483647 67808 41 | 0.302 % |
888.39/888.36 c | 1453002 | 8581 55059 186759 | 2147483647 68836 40 | 0.302 % |
888.99/888.93 c | 1453514 | 8581 55059 186759 | 2147483647 69348 41 | 0.302 % |
889.19/889.15 c | 1454028 | 8581 55059 186759 | 2147483647 69862 41 | 0.302 % |
889.79/889.73 c | 1455052 | 8581 55059 186759 | 2147483647 70886 41 | 0.302 % |
891.29/891.27 c | 1457100 | 8581 55059 186759 | 2147483647 72934 41 | 0.303 % |
891.69/891.63 c | 1457612 | 8581 55059 186759 | 2147483647 73446 42 | 0.302 % |
892.19/892.15 c | 1458124 | 8581 55059 186759 | 2147483647 73958 42 | 0.302 % |
892.69/892.65 c | 1459148 | 8581 55059 186759 | 2147483647 74982 42 | 0.302 % |
892.89/892.85 c | 1459661 | 8581 55059 186759 | 2147483647 75495 42 | 0.302 % |
893.29/893.25 c | 1460175 | 8581 55059 186759 | 75835 76009 42 | 0.302 % |
893.99/893.91 c | 1461200 | 8581 55059 186759 | 75835 67818 39 | 0.302 % |
894.99/894.94 c | 1463248 | 8581 55059 186759 | 75835 69866 39 | 0.302 % |
897.39/897.35 c | 1467346 | 8581 55059 186759 | 75835 73964 39 | 0.302 % |
897.69/897.71 c | 1467858 | 8581 55059 186759 | 75835 74476 40 | 0.302 % |
898.29/898.30 c | 1468372 | 8581 55059 186759 | 75835 74990 40 | 0.302 % |
898.89/898.86 c | 1469398 | 8581 55059 186759 | 75835 76016 40 | 0.302 % |
899.29/899.24 c | 1469911 | 8581 55059 186759 | 75835 65170 37 | 0.302 % |
899.49/899.47 c | 1470423 | 8581 55059 186759 | 65259 65682 37 | 0.302 % |
899.89/899.86 c | 1471448 | 8581 55059 186759 | 65259 57725 36 | 0.302 % |
901.09/901.03 c | 1473497 | 8581 55059 186759 | 65259 59774 37 | 0.302 % |
901.39/901.34 c | 1474009 | 8581 55059 186759 | 65259 60286 37 | 0.302 % |
901.69/901.67 c | 1474522 | 8581 55059 186759 | 65259 60799 37 | 0.302 % |
902.09/902.05 c | 1475546 | 8581 55059 186759 | 65259 61823 37 | 0.302 % |
902.29/902.29 c | 1476059 | 8581 55059 186759 | 65259 62336 37 | 0.302 % |
902.79/902.73 c | 1476571 | 8581 55059 186759 | 65259 62848 37 | 0.302 % |
903.29/903.26 c | 1477595 | 8581 55059 186759 | 65259 63872 37 | 0.302 % |
904.69/904.63 c | 1479643 | 8581 55059 186759 | 65259 65920 38 | 0.302 % |
907.19/907.19 c | 1483739 | 8581 55059 186759 | 58761 56427 37 | 0.302 % |
912.10/912.08 c | 1491931 | 8581 55059 186759 | 2147483647 58569 37 | 0.302 % |
922.69/922.65 c | 1508315 | 8581 55059 186759 | 66639 58713 37 | 0.302 % |
923.10/923.03 c | 1508828 | 8581 55059 186759 | 66639 59226 37 | 0.302 % |
923.39/923.38 c | 1509340 | 8581 55059 186759 | 66639 59738 38 | 0.302 % |
923.99/923.99 c | 1510365 | 8581 55059 186759 | 60400 60763 38 | 0.302 % |
924.29/924.27 c | 1510877 | 8581 55059 186759 | 60400 48156 36 | 0.302 % |
924.69/924.66 c | 1511390 | 8581 55059 186759 | 60400 48669 37 | 0.302 % |
925.30/925.23 c | 1512414 | 8581 55059 186759 | 60400 49693 37 | 0.302 % |
926.40/926.36 c | 1514462 | 8581 55059 186759 | 60400 51741 37 | 0.302 % |
926.69/926.67 c | 1514974 | 8581 55059 186759 | 60400 52253 37 | 0.302 % |
926.89/926.83 c | 1515487 | 8581 55059 186759 | 60400 52766 37 | 0.302 % |
927.39/927.36 c | 1516511 | 8581 55059 186759 | 60400 53790 37 | 0.302 % |
927.69/927.67 c | 1517023 | 8581 55059 186759 | 60400 54302 37 | 0.302 % |
928.09/928.07 c | 1517535 | 8581 55059 186759 | 60400 54814 37 | 0.302 % |
928.79/928.73 c | 1518559 | 8581 55059 186759 | 60400 55838 37 | 0.302 % |
929.59/929.56 c | 1520609 | 8581 55059 186759 | 2147483647 57888 38 | 0.302 % |
932.09/932.11 c | 1524708 | 8581 55059 186759 | 2147483647 61987 38 | 0.302 % |
932.39/932.32 c | 1525220 | 8581 55059 186759 | 2147483647 62499 38 | 0.302 % |
932.69/932.63 c | 1525733 | 8581 55059 186759 | 2147483647 63012 38 | 0.302 % |
933.29/933.25 c | 1526758 | 8581 55059 186759 | 2147483647 64037 38 | 0.302 % |
933.59/933.55 c | 1527271 | 8581 55059 186759 | 2147483647 64550 38 | 0.302 % |
933.89/933.86 c | 1527783 | 8581 55059 186759 | 2147483647 65062 38 | 0.302 % |
934.49/934.47 c | 1528807 | 8581 55059 186759 | 2147483647 66086 38 | 0.302 % |
935.09/935.09 c | 1530855 | 8581 55059 186759 | 2147483647 68134 38 | 0.302 % |
935.20/935.19 c | 1531367 | 8581 55059 186759 | 2147483647 68646 38 | 0.302 % |
935.59/935.56 c | 1531880 | 8581 55059 186759 | 2147483647 69159 38 | 0.303 % |
936.09/936.07 c | 1532905 | 8581 55059 186759 | 2147483647 70184 38 | 0.302 % |
936.30/936.29 c | 1533417 | 8581 55059 186759 | 2147483647 70696 38 | 0.302 % |
936.59/936.51 c | 1533930 | 8581 55059 186759 | 2147483647 71209 38 | 0.302 % |
937.29/937.29 c | 1534956 | 8581 55059 186759 | 2147483647 72235 38 | 0.302 % |
938.89/938.87 c | 1537004 | 8581 55059 186759 | 2147483647 74283 38 | 0.302 % |
942.59/942.58 c | 1541100 | 8580 55051 186735 | 77276 78375 40 | 0.314 % |
945.39/945.36 c | 1549292 | 8580 55051 186735 | 77276 75253 37 | 0.314 % |
945.59/945.57 c | 1549805 | 8580 55051 186735 | 77276 75766 37 | 0.314 % |
945.79/945.75 c | 1550319 | 8580 55051 186735 | 2147483647 76280 37 | 0.314 % |
946.49/946.50 c | 1551344 | 8579 55043 186711 | 2147483647 77301 37 | 0.326 % |
946.79/946.73 c | 1551857 | 8579 55043 186711 | 2147483647 77814 37 | 0.325 % |
947.19/947.15 c | 1552369 | 8579 55043 186711 | 2147483647 78326 37 | 0.326 % |
947.79/947.77 c | 1553394 | 8579 55043 186711 | 2147483647 79351 37 | 0.325 % |
949.09/949.04 c | 1555443 | 8579 55043 186711 | 2147483647 81400 38 | 0.325 % |
949.29/949.23 c | 1555955 | 8579 55043 186711 | 2147483647 81912 37 | 0.325 % |
949.79/949.72 c | 1556467 | 8579 55043 186711 | 2147483647 82424 38 | 0.325 % |
950.49/950.45 c | 1557493 | 8579 55043 186711 | 2147483647 83450 37 | 0.325 % |
950.79/950.79 c | 1558005 | 8579 55043 186711 | 2147483647 83962 38 | 0.325 % |
951.49/951.48 c | 1558517 | 8579 55043 186711 | 2147483647 84474 38 | 0.325 % |
952.09/952.09 c | 1559542 | 8579 55043 186711 | 2147483647 85499 38 | 0.326 % |
953.99/953.91 c | 1561590 | 8579 55043 186711 | 85957 87547 39 | 0.325 % |
955.99/955.94 c | 1565686 | 8579 55043 186711 | 85957 76305 37 | 0.326 % |
956.49/956.42 c | 1566201 | 8579 55043 186711 | 85957 76820 37 | 0.325 % |
956.89/956.82 c | 1566714 | 8579 55043 186711 | 85957 77333 37 | 0.325 % |
957.39/957.37 c | 1567739 | 8579 55043 186711 | 85957 78358 37 | 0.326 % |
957.59/957.56 c | 1568252 | 8579 55043 186711 | 85957 78871 37 | 0.325 % |
957.99/957.93 c | 1568765 | 8579 55043 186711 | 85957 79384 37 | 0.325 % |
958.79/958.72 c | 1569790 | 8579 55043 186711 | 85957 80409 37 | 0.325 % |
959.89/959.82 c | 1571839 | 8579 55043 186711 | 80619 82458 38 | 0.325 % |
960.19/960.15 c | 1572351 | 8579 55043 186711 | 80619 67371 35 | 0.325 % |
960.39/960.41 c | 1572864 | 8579 55043 186711 | 80619 67884 35 | 0.325 % |
961.09/961.02 c | 1573888 | 8579 55043 186711 | 80619 68908 35 | 0.326 % |
961.49/961.43 c | 1574401 | 8579 55043 186711 | 80619 69421 36 | 0.325 % |
961.79/961.73 c | 1574913 | 8579 55043 186711 | 80619 69933 35 | 0.325 % |
962.29/962.23 c | 1575938 | 8579 55043 186711 | 80619 70958 36 | 0.326 % |
963.80/963.73 c | 1577986 | 8579 55043 186711 | 80619 73006 36 | 0.325 % |
966.50/966.42 c | 1582083 | 8579 55043 186711 | 75020 69452 36 | 0.325 % |
970.80/970.77 c | 1590275 | 8579 55043 186711 | 77369 77644 37 | 0.327 % |
978.40/978.36 c | 1606660 | 8579 55043 186711 | 2147483647 80196 33 | 0.325 % |
1003.80/1003.77 c | 1639428 | 8579 55043 186711 | 73664 70718 38 | 0.325 % |
1063.10/1063.06 c | 1704964 | 8579 55043 186711 | 2147483647 50919 53 | 0.326 % |
1063.50/1063.43 c | 1705476 | 8579 55043 186711 | 2147483647 51431 53 | 0.325 % |
1063.80/1063.77 c | 1705989 | 8579 55043 186711 | 2147483647 51944 52 | 0.325 % |
1064.30/1064.30 c | 1707013 | 8579 55043 186711 | 2147483647 52968 52 | 0.325 % |
1064.60/1064.55 c | 1707527 | 8579 55043 186711 | 2147483647 53482 52 | 0.325 % |
1064.80/1064.80 c | 1708039 | 8579 55043 186711 | 2147483647 53994 52 | 0.326 % |
1065.50/1065.50 c | 1709063 | 8579 55043 186711 | 2147483647 55018 52 | 0.325 % |
1066.30/1066.22 c | 1711111 | 8579 55043 186711 | 2147483647 57066 51 | 0.325 % |
1066.50/1066.48 c | 1711626 | 8579 55043 186711 | 2147483647 57581 51 | 0.326 % |
1066.60/1066.55 c | 1712141 | 8579 55043 186711 | 2147483647 58096 50 | 0.325 % |
1067.30/1067.24 c | 1713165 | 8579 55043 186711 | 2147483647 59120 50 | 0.326 % |
1067.60/1067.52 c | 1713678 | 8579 55043 186711 | 2147483647 59633 50 | 0.325 % |
1067.90/1067.81 c | 1714192 | 8579 55043 186711 | 2147483647 60147 50 | 0.325 % |
1068.20/1068.13 c | 1715216 | 8579 55043 186711 | 2147483647 61171 50 | 0.325 % |
1068.50/1068.45 c | 1717266 | 8579 55043 186711 | 2147483647 63221 49 | 0.325 % |
1069.20/1069.19 c | 1721362 | 8579 55043 186711 | 2147483647 67317 47 | 0.325 % |
1069.30/1069.29 c | 1721875 | 8579 55043 186711 | 2147483647 67830 47 | 0.325 % |
1069.60/1069.56 c | 1722387 | 8579 55043 186711 | 2147483647 68342 47 | 0.325 % |
1070.40/1070.34 c | 1723412 | 8579 55043 186711 | 2147483647 69367 47 | 0.325 % |
1070.70/1070.68 c | 1723924 | 8579 55043 186711 | 2147483647 69879 47 | 0.325 % |
1071.00/1070.98 c | 1724436 | 8579 55043 186711 | 2147483647 70391 47 | 0.325 % |
1071.80/1071.76 c | 1725462 | 8579 55043 186711 | 2147483647 71417 47 | 0.325 % |
1073.30/1073.27 c | 1727511 | 8579 55043 186711 | 2147483647 73466 47 | 0.325 % |
1073.60/1073.53 c | 1728023 | 8579 55043 186711 | 2147483647 73978 47 | 0.326 % |
1074.20/1074.15 c | 1728535 | 8579 55043 186711 | 2147483647 74490 47 | 0.325 % |
1074.60/1074.52 c | 1729559 | 8579 55043 186711 | 2147483647 75514 47 | 0.325 % |
1074.80/1074.75 c | 1730072 | 8579 55043 186711 | 2147483647 76027 47 | 0.325 % |
1075.40/1075.35 c | 1730584 | 8579 55043 186711 | 2147483647 76539 47 | 0.326 % |
1075.90/1075.88 c | 1731608 | 8579 55043 186711 | 2147483647 77563 47 | 0.326 % |
1078.10/1078.05 c | 1733657 | 8579 55043 186711 | 2147483647 79612 48 | 0.325 % |
1081.51/1081.43 c | 1737754 | 8579 55043 186711 | 2147483647 83709 48 | 0.325 % |
1085.50/1085.48 c | 1745947 | 8579 55043 186711 | 85956 75616 42 | 0.325 % |
1086.00/1085.93 c | 1746459 | 8579 55043 186711 | 85956 76128 42 | 0.326 % |
1086.40/1086.31 c | 1746972 | 8579 55043 186711 | 85956 76641 42 | 0.326 % |
1086.70/1086.63 c | 1747998 | 8579 55043 186711 | 85956 77667 42 | 0.325 % |
1086.90/1086.82 c | 1748510 | 8579 55043 186711 | 85956 78179 42 | 0.325 % |
1087.40/1087.31 c | 1749022 | 8579 55043 186711 | 85956 78691 42 | 0.326 % |
1087.90/1087.87 c | 1750047 | 8579 55043 186711 | 79670 79716 42 | 0.326 % |
1089.50/1089.46 c | 1752097 | 8579 55043 186711 | 79670 67327 40 | 0.325 % |
1089.70/1089.67 c | 1752610 | 8579 55043 186711 | 79670 67840 40 | 0.326 % |
1089.90/1089.90 c | 1753124 | 8579 55043 186711 | 79670 68354 40 | 0.325 % |
1090.31/1090.24 c | 1754149 | 8579 55043 186711 | 79670 69379 40 | 0.325 % |
1090.40/1090.39 c | 1754661 | 8579 55043 186711 | 79670 69891 40 | 0.325 % |
1090.70/1090.61 c | 1755173 | 8579 55043 186711 | 79670 70403 40 | 0.325 % |
1091.00/1091.00 c | 1756197 | 8579 55043 186711 | 79670 71427 40 | 0.325 % |
1092.60/1092.58 c | 1758245 | 8579 55043 186711 | 79670 73475 40 | 0.325 % |
1095.81/1095.77 c | 1762341 | 8579 55043 186711 | 75230 69852 39 | 0.326 % |
1096.10/1096.04 c | 1762853 | 8579 55043 186711 | 75230 70364 39 | 0.325 % |
1096.31/1096.24 c | 1763366 | 8579 55043 186711 | 75230 70877 39 | 0.325 % |
1096.61/1096.59 c | 1764391 | 8579 55043 186711 | 75230 71902 39 | 0.326 % |
1096.81/1096.80 c | 1764903 | 8579 55043 186711 | 75230 72414 39 | 0.325 % |
1097.41/1097.37 c | 1765418 | 8579 55043 186711 | 75230 72929 39 | 0.325 % |
1098.01/1097.94 c | 1766442 | 8579 55043 186711 | 75230 73953 39 | 0.325 % |
1098.71/1098.70 c | 1768494 | 8579 55043 186711 | 75230 76005 39 | 0.325 % |
1099.01/1098.92 c | 1769007 | 8579 55043 186711 | 75230 68918 39 | 0.325 % |
1099.31/1099.31 c | 1769519 | 8579 55043 186711 | 75230 69430 39 | 0.325 % |
1099.91/1099.86 c | 1770543 | 8579 55043 186711 | 2147483647 70454 39 | 0.325 % |
1100.51/1100.45 c | 1771056 | 8579 55043 186711 | 2147483647 70967 39 | 0.325 % |
1100.81/1100.74 c | 1771568 | 8579 55043 186711 | 2147483647 71479 39 | 0.325 % |
1101.81/1101.77 c | 1772593 | 8579 55043 186711 | 2147483647 72504 40 | 0.325 % |
1102.81/1102.76 c | 1774641 | 8579 55043 186711 | 2147483647 74552 41 | 0.326 % |
1104.61/1104.53 c | 1778737 | 8579 55043 186711 | 2147483647 78648 41 | 0.325 % |
1113.41/1113.32 c | 1786929 | 8579 55043 186711 | 79911 71468 44 | 0.325 % |
1122.41/1122.33 c | 1803313 | 8579 55043 186711 | 67429 55275 42 | 0.326 % |
1122.61/1122.59 c | 1803825 | 8579 55043 186711 | 67429 55787 42 | 0.326 % |
1122.91/1122.90 c | 1804339 | 8579 55043 186711 | 67429 56301 42 | 0.325 % |
1123.51/1123.47 c | 1805364 | 8579 55043 186711 | 67429 57326 42 | 0.326 % |
1123.71/1123.65 c | 1805876 | 8579 55043 186711 | 67429 57838 42 | 0.325 % |
1123.91/1123.84 c | 1806389 | 8579 55043 186711 | 67429 58351 42 | 0.325 % |
1124.31/1124.28 c | 1807413 | 8579 55043 186711 | 67429 59375 41 | 0.325 % |
1125.31/1125.24 c | 1809461 | 8579 55043 186711 | 67429 61423 41 | 0.325 % |
1125.51/1125.49 c | 1809973 | 8579 55043 186711 | 67429 61935 41 | 0.325 % |
1125.81/1125.77 c | 1810489 | 8579 55043 186711 | 61962 62451 41 | 0.325 % |
1126.41/1126.39 c | 1811513 | 8579 55043 186711 | 61962 54572 41 | 0.325 % |
1126.81/1126.72 c | 1812025 | 8579 55043 186711 | 61962 55084 41 | 0.326 % |
1127.11/1127.07 c | 1812537 | 8579 55043 186711 | 61962 55596 41 | 0.325 % |
1127.71/1127.70 c | 1813562 | 8579 55043 186711 | 61962 56621 42 | 0.325 % |
1128.81/1128.74 c | 1815612 | 8579 55043 186711 | 61962 58671 42 | 0.325 % |
1130.51/1130.42 c | 1819708 | 8579 55043 186711 | 61962 55457 39 | 0.325 % |
1130.81/1130.75 c | 1820222 | 8579 55043 186711 | 55749 55971 39 | 0.325 % |
1131.11/1131.02 c | 1820736 | 8579 55043 186711 | 55749 50646 36 | 0.325 % |
1131.51/1131.51 c | 1821760 | 8579 55043 186711 | 55749 51670 36 | 0.325 % |
1131.81/1131.77 c | 1822273 | 8579 55043 186711 | 55749 52183 36 | 0.326 % |
1132.11/1132.09 c | 1822785 | 8579 55043 186711 | 55749 52695 36 | 0.326 % |
1132.51/1132.51 c | 1823809 | 8579 55043 186711 | 55749 53719 36 | 0.325 % |
1133.21/1133.20 c | 1825857 | 8579 55043 186711 | 55749 55767 36 | 0.325 % |
1133.51/1133.45 c | 1826369 | 8579 55043 186711 | 55749 56279 36 | 0.325 % |
1133.81/1133.73 c | 1826887 | 8579 55043 186711 | 55749 51170 34 | 0.325 % |
1134.11/1134.10 c | 1827911 | 8579 55043 186711 | 55749 52194 35 | 0.326 % |
1134.31/1134.28 c | 1828425 | 8579 55043 186711 | 55749 52708 35 | 0.325 % |
1134.51/1134.45 c | 1828937 | 8579 55043 186711 | 55749 53220 35 | 0.325 % |
1134.81/1134.74 c | 1829961 | 8579 55043 186711 | 55749 54244 35 | 0.325 % |
1135.81/1135.79 c | 1832009 | 8579 55043 186711 | 2147483647 56292 35 | 0.325 % |
1138.31/1138.24 c | 1836105 | 8579 55043 186711 | 2147483647 60388 36 | 0.325 % |
1142.81/1142.75 c | 1844298 | 8579 55043 186711 | 2147483647 68581 36 | 0.325 % |
1143.11/1143.07 c | 1844810 | 8579 55043 186711 | 2147483647 69093 36 | 0.325 % |
1143.51/1143.42 c | 1845323 | 8579 55043 186711 | 2147483647 69606 36 | 0.326 % |
1143.81/1143.78 c | 1846348 | 8579 55043 186711 | 2147483647 70631 36 | 0.325 % |
1144.21/1144.17 c | 1846862 | 8579 55043 186711 | 2147483647 71145 36 | 0.325 % |
1144.71/1144.62 c | 1847375 | 8579 55043 186711 | 2147483647 71658 36 | 0.325 % |
1145.31/1145.22 c | 1848400 | 8579 55043 186711 | 2147483647 72683 36 | 0.325 % |
1146.61/1146.56 c | 1850448 | 8579 55043 186711 | 2147483647 74731 37 | 0.326 % |
1146.81/1146.77 c | 1850960 | 8579 55043 186711 | 2147483647 75243 37 | 0.325 % |
1146.91/1146.83 c | 1851473 | 8579 55043 186711 | 2147483647 75756 36 | 0.325 % |
1147.71/1147.64 c | 1852498 | 8579 55043 186711 | 2147483647 76781 37 | 0.325 % |
1148.01/1147.98 c | 1853010 | 8579 55043 186711 | 2147483647 77293 37 | 0.325 % |
1148.31/1148.31 c | 1853524 | 8579 55043 186711 | 2147483647 77807 37 | 0.326 % |
1148.71/1148.64 c | 1854548 | 8579 55043 186711 | 2147483647 78831 37 | 0.326 % |
1150.21/1150.17 c | 1856597 | 8579 55043 186711 | 2147483647 80880 38 | 0.325 % |
1153.31/1153.22 c | 1860693 | 8579 55043 186711 | 84283 84976 39 | 0.325 % |
1153.71/1153.71 c | 1861205 | 8579 55043 186711 | 84283 71269 37 | 0.325 % |
1154.11/1154.07 c | 1861717 | 8579 55043 186711 | 84283 71781 37 | 0.325 % |
1154.91/1154.86 c | 1862741 | 8579 55043 186711 | 84283 72805 37 | 0.325 % |
1155.31/1155.24 c | 1863253 | 8579 55043 186711 | 84283 73317 37 | 0.326 % |
1155.71/1155.68 c | 1863765 | 8579 55043 186711 | 84283 73829 37 | 0.325 % |
1156.41/1156.38 c | 1864790 | 8579 55043 186711 | 84283 74854 38 | 0.326 % |
1157.71/1157.67 c | 1866838 | 8579 55043 186711 | 84283 76902 38 | 0.325 % |
1158.21/1158.16 c | 1867351 | 8579 55043 186711 | 84283 77415 38 | 0.325 % |
1158.61/1158.60 c | 1867863 | 8579 55043 186711 | 84283 77927 38 | 0.326 % |
1159.31/1159.24 c | 1868887 | 8579 55043 186711 | 84283 78951 38 | 0.325 % |
1159.41/1159.40 c | 1869400 | 8579 55043 186711 | 84283 79464 38 | 0.325 % |
1159.61/1159.56 c | 1869915 | 8579 55043 186711 | 84283 79979 38 | 0.325 % |
1160.71/1160.65 c | 1870940 | 8579 55043 186711 | 80064 81004 38 | 0.325 % |
1163.01/1162.98 c | 1872989 | 8579 55043 186711 | 80064 67116 39 | 0.325 % |
1166.41/1166.39 c | 1877085 | 8579 55043 186711 | 80064 71212 40 | 0.326 % |
1170.81/1170.81 c | 1885277 | 8579 55043 186711 | 74127 79404 40 | 0.326 % |
1179.42/1179.33 c | 1901662 | 8579 55043 186711 | 63484 56960 36 | 0.325 % |
1200.02/1199.92 HOME/SatELiteGTI: line 36: 10804 Terminated $MS $TMP.cnf $TMP.result
runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w /tmp/evaluation-result-1820705-1242470066/watcher-1820705-1242470066 -o /tmp/evaluation-result-1820705-1242470066/solver-1820705-1242470066 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1820705-1242470066.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 1.01 1.05 1.02 2/91 10798
/proc/meminfo: memFree=1639980/2074464 swapFree=1952056/1959888
[pid=10798] ppid=10796 vsize=2412 CPUtime=0.01
/proc/10798/stat : 10798 (SatELiteGTI) R 10796 10798 15108 0 -1 4194304 354 648 0 0 0 0 0 1 18 0 1 0 1011504766 2469888 277 4294967295 134512640 135169312 3215416768 3215415244 3085801332 0 65538 4 65536 0 0 0 17 0 0 0 0
/proc/10798/statm: 603 277 235 161 0 42 0
[pid=10802] ppid=10798 vsize=0 CPUtime=0
/proc/10802/stat : 10802 (SatELiteGTI) R 10798 10798 15108 0 -1 4194368 65 0 0 0 0 0 0 0 20 0 1 0 1011504766 0 0 4294967295 0 0 0 3215415396 3085801962 0 0 0 0 0 0 0 17 3 0 0 0
/proc/10802/statm: 0 0 0 0 0 0 0
[startup+0.113389 s]
/proc/loadavg: 1.01 1.05 1.02 2/91 10798
/proc/meminfo: memFree=1639980/2074464 swapFree=1952056/1959888
[pid=10798] ppid=10796 vsize=2412 CPUtime=0.01
/proc/10798/stat : 10798 (SatELiteGTI) S 10796 10798 15108 0 -1 4194304 367 648 0 0 0 0 0 1 18 0 1 0 1011504766 2469888 277 4294967295 134512640 135169312 3215416768 3215415304 3085799150 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/10798/statm: 603 277 235 161 0 42 0
[pid=10802] ppid=10798 vsize=7328 CPUtime=0.11
/proc/10802/stat : 10802 (SatELite_releas) R 10798 10798 15108 0 -1 4202496 1689 0 0 0 10 1 0 0 21 0 1 0 1011504766 7503872 1515 4294967295 134512640 135223648 3220222544 3220220640 134596092 0 0 0 3 0 0 0 17 3 0 0 0
/proc/10802/statm: 1832 1515 73 174 0 1657 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 9740
[startup+0.213381 s]
/proc/loadavg: 1.01 1.05 1.02 2/91 10798
/proc/meminfo: memFree=1639980/2074464 swapFree=1952056/1959888
[pid=10798] ppid=10796 vsize=2412 CPUtime=0.01
/proc/10798/stat : 10798 (SatELiteGTI) S 10796 10798 15108 0 -1 4194304 367 648 0 0 0 0 0 1 18 0 1 0 1011504766 2469888 277 4294967295 134512640 135169312 3215416768 3215415304 3085799150 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/10798/statm: 603 277 235 161 0 42 0
[pid=10802] ppid=10798 vsize=7536 CPUtime=0.21
/proc/10802/stat : 10802 (SatELite_releas) R 10798 10798 15108 0 -1 4202496 1765 0 0 0 19 2 0 0 21 0 1 0 1011504766 7716864 1591 4294967295 134512640 135223648 3220222544 3220219300 134688107 0 0 0 3 0 0 0 17 3 0 0 0
/proc/10802/statm: 1884 1591 74 174 0 1709 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 9948
[startup+0.313374 s]
/proc/loadavg: 1.01 1.05 1.02 2/91 10798
/proc/meminfo: memFree=1639980/2074464 swapFree=1952056/1959888
[pid=10798] ppid=10796 vsize=2416 CPUtime=0.24
/proc/10798/stat : 10798 (SatELiteGTI) S 10796 10798 15108 0 -1 4194304 387 2415 0 0 0 0 21 3 17 0 1 0 1011504766 2473984 278 4294967295 134512640 135169312 3215416768 3215412984 3085799150 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/10798/statm: 604 278 235 161 0 43 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 2416
[startup+0.713343 s]
/proc/loadavg: 1.01 1.05 1.02 2/91 10798
/proc/meminfo: memFree=1639980/2074464 swapFree=1952056/1959888
[pid=10798] ppid=10796 vsize=2416 CPUtime=0.24
/proc/10798/stat : 10798 (SatELiteGTI) S 10796 10798 15108 0 -1 4194304 387 2415 0 0 0 0 21 3 17 0 1 0 1011504766 2473984 278 4294967295 134512640 135169312 3215416768 3215412984 3085799150 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/10798/statm: 604 278 235 161 0 43 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 2416
[startup+1.51328 s]
/proc/loadavg: 1.01 1.05 1.02 3/93 10804
/proc/meminfo: memFree=1633872/2074464 swapFree=1952056/1959888
[pid=10798] ppid=10796 vsize=2416 CPUtime=0.24
/proc/10798/stat : 10798 (SatELiteGTI) S 10796 10798 15108 0 -1 4194304 387 2415 0 0 0 0 21 3 17 0 1 0 1011504766 2473984 278 4294967295 134512640 135169312 3215416768 3215412984 3085799150 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/10798/statm: 604 278 235 161 0 43 0
[pid=10804] ppid=10798 vsize=6148 CPUtime=1.28
/proc/10804/stat : 10804 (minisat_static) R 10798 10798 15108 0 -1 4202496 1447 0 0 0 127 1 0 0 22 0 1 0 1011504789 6295552 1381 4294967295 134512640 135216591 3217037216 3217035392 134525185 0 0 0 3 0 0 0 17 0 0 0 0
/proc/10804/statm: 1537 1381 75 172 0 1364 0
Current children cumulated CPU time (s) 1.52
Current children cumulated vsize (KiB) 8564
[startup+3.11316 s]
/proc/loadavg: 1.01 1.05 1.02 3/93 10804
/proc/meminfo: memFree=1632756/2074464 swapFree=1952056/1959888
[pid=10798] ppid=10796 vsize=2416 CPUtime=0.24
/proc/10798/stat : 10798 (SatELiteGTI) S 10796 10798 15108 0 -1 4194304 387 2415 0 0 0 0 21 3 17 0 1 0 1011504766 2473984 278 4294967295 134512640 135169312 3215416768 3215412984 3085799150 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/10798/statm: 604 278 235 161 0 43 0
[pid=10804] ppid=10798 vsize=7204 CPUtime=2.88
/proc/10804/stat : 10804 (minisat_static) R 10798 10798 15108 0 -1 4202496 1707 0 0 0 286 2 0 0 25 0 1 0 1011504789 7376896 1641 4294967295 134512640 135216591 3217037216 3217035408 134528888 0 0 0 3 0 0 0 17 0 0 0 0
/proc/10804/statm: 1801 1641 75 172 0 1628 0
Current children cumulated CPU time (s) 3.12
Current children cumulated vsize (KiB) 9620
[startup+6.31291 s]
/proc/loadavg: 1.01 1.05 1.02 3/93 10804
/proc/meminfo: memFree=1630680/2074464 swapFree=1952056/1959888
[pid=10798] ppid=10796 vsize=2416 CPUtime=0.24
/proc/10798/stat : 10798 (SatELiteGTI) S 10796 10798 15108 0 -1 4194304 387 2415 0 0 0 0 21 3 17 0 1 0 1011504766 2473984 278 4294967295 134512640 135169312 3215416768 3215412984 3085799150 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/10798/statm: 604 278 235 161 0 43 0
[pid=10804] ppid=10798 vsize=9396 CPUtime=6.08
/proc/10804/stat : 10804 (minisat_static) R 10798 10798 15108 0 -1 4202496 2250 0 0 0 605 3 0 0 25 0 1 0 1011504789 9621504 2184 4294967295 134512640 135216591 3217037216 3217035408 134528962 0 0 0 3 0 0 0 17 0 0 0 0
/proc/10804/statm: 2349 2184 75 172 0 2176 0
Current children cumulated CPU time (s) 6.32
Current children cumulated vsize (KiB) 11812
[startup+12.7124 s]
/proc/loadavg: 1.01 1.05 1.02 3/93 10807
/proc/meminfo: memFree=1626000/2074464 swapFree=1952056/1959888
[pid=10798] ppid=10796 vsize=2416 CPUtime=0.24
/proc/10798/stat : 10798 (SatELiteGTI) S 10796 10798 15108 0 -1 4194304 387 2415 0 0 0 0 21 3 17 0 1 0 1011504766 2473984 278 4294967295 134512640 135169312 3215416768 3215412984 3085799150 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/10798/statm: 604 278 235 161 0 43 0
[pid=10804] ppid=10798 vsize=13996 CPUtime=12.48
/proc/10804/stat : 10804 (minisat_static) R 10798 10798 15108 0 -1 4202496 3405 0 0 0 1243 5 0 0 25 0 1 0 1011504789 14331904 3339 4294967295 134512640 135216591 3217037216 3217035408 134528842 0 0 0 3 0 0 0 17 0 0 0 0
/proc/10804/statm: 3499 3339 75 172 0 3326 0
Current children cumulated CPU time (s) 12.72
Current children cumulated vsize (KiB) 16412
[startup+25.5114 s]
/proc/loadavg: 1.00 1.05 1.02 3/93 10807
/proc/meminfo: memFree=1620508/2074464 swapFree=1952056/1959888
[pid=10798] ppid=10796 vsize=2416 CPUtime=0.24
/proc/10798/stat : 10798 (SatELiteGTI) S 10796 10798 15108 0 -1 4194304 387 2415 0 0 0 0 21 3 17 0 1 0 1011504766 2473984 278 4294967295 134512640 135169312 3215416768 3215412984 3085799150 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/10798/statm: 604 278 235 161 0 43 0
[pid=10804] ppid=10798 vsize=19308 CPUtime=25.28
/proc/10804/stat : 10804 (minisat_static) R 10798 10798 15108 0 -1 4202496 4696 0 0 0 2523 5 0 0 25 0 1 0 1011504789 19771392 4630 4294967295 134512640 135216591 3217037216 3217035408 134528969 0 0 0 3 0 0 0 17 0 0 0 0
/proc/10804/statm: 4827 4630 75 172 0 4654 0
Current children cumulated CPU time (s) 25.52
Current children cumulated vsize (KiB) 21724
[startup+51.1195 s]
/proc/loadavg: 1.00 1.04 1.01 2/93 10991
/proc/meminfo: memFree=1614156/2074464 swapFree=1952056/1959888
[pid=10798] ppid=10796 vsize=2416 CPUtime=0.24
/proc/10798/stat : 10798 (SatELiteGTI) S 10796 10798 15108 0 -1 4194304 387 2415 0 0 0 0 21 3 17 0 1 0 1011504766 2473984 278 4294967295 134512640 135169312 3215416768 3215412984 3085799150 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/10798/statm: 604 278 235 161 0 43 0
[pid=10804] ppid=10798 vsize=25608 CPUtime=50.89
/proc/10804/stat : 10804 (minisat_static) R 10798 10798 15108 0 -1 4202496 6262 0 0 0 5084 5 0 0 25 0 1 0 1011504789 26222592 6196 4294967295 134512640 135216591 3217037216 3217035408 134528842 0 0 0 3 0 0 0 17 0 0 0 0
/proc/10804/statm: 6402 6196 75 172 0 6229 0
Current children cumulated CPU time (s) 51.13
Current children cumulated vsize (KiB) 28024
[startup+102.316 s]
/proc/loadavg: 1.00 1.03 1.01 2/93 10996
/proc/meminfo: memFree=1612688/2074464 swapFree=1952056/1959888
[pid=10798] ppid=10796 vsize=2416 CPUtime=0.24
/proc/10798/stat : 10798 (SatELiteGTI) S 10796 10798 15108 0 -1 4194304 387 2415 0 0 0 0 21 3 17 0 1 0 1011504766 2473984 278 4294967295 134512640 135169312 3215416768 3215412984 3085799150 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/10798/statm: 604 278 235 161 0 43 0
[pid=10804] ppid=10798 vsize=26948 CPUtime=102.09
/proc/10804/stat : 10804 (minisat_static) R 10798 10798 15108 0 -1 4202496 6595 0 0 0 10203 6 0 0 25 0 1 0 1011504789 27594752 6529 4294967295 134512640 135216591 3217037216 3217035408 134528851 0 0 0 3 0 0 0 17 0 0 0 0
/proc/10804/statm: 6737 6529 75 172 0 6564 0
Current children cumulated CPU time (s) 102.33
Current children cumulated vsize (KiB) 29364
[startup+162.311 s]
/proc/loadavg: 1.00 1.02 1.00 3/93 11185
/proc/meminfo: memFree=1612652/2074464 swapFree=1952056/1959888
[pid=10798] ppid=10796 vsize=2416 CPUtime=0.24
/proc/10798/stat : 10798 (SatELiteGTI) S 10796 10798 15108 0 -1 4194304 387 2415 0 0 0 0 21 3 17 0 1 0 1011504766 2473984 278 4294967295 134512640 135169312 3215416768 3215412984 3085799150 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/10798/statm: 604 278 235 161 0 43 0
[pid=10804] ppid=10798 vsize=27104 CPUtime=162.09
/proc/10804/stat : 10804 (minisat_static) R 10798 10798 15108 0 -1 4202496 6639 0 0 0 16200 9 0 0 25 0 1 0 1011504789 27754496 6573 4294967295 134512640 135216591 3217037216 3217035408 134528842 0 0 0 3 0 0 0 17 0 0 0 0
/proc/10804/statm: 6776 6573 75 172 0 6603 0
Current children cumulated CPU time (s) 162.33
Current children cumulated vsize (KiB) 29520
[startup+222.316 s]
/proc/loadavg: 1.00 1.02 1.00 2/93 11375
/proc/meminfo: memFree=1612504/2074464 swapFree=1952056/1959888
[pid=10798] ppid=10796 vsize=2416 CPUtime=0.24
/proc/10798/stat : 10798 (SatELiteGTI) S 10796 10798 15108 0 -1 4194304 387 2415 0 0 0 0 21 3 17 0 1 0 1011504766 2473984 278 4294967295 134512640 135169312 3215416768 3215412984 3085799150 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/10798/statm: 604 278 235 161 0 43 0
[pid=10804] ppid=10798 vsize=27388 CPUtime=222.1
/proc/10804/stat : 10804 (minisat_static) R 10798 10798 15108 0 -1 4202496 6693 0 0 0 22200 10 0 0 25 0 1 0 1011504789 28045312 6627 4294967295 134512640 135216591 3217037216 3217035120 134532786 0 0 0 3 0 0 0 17 0 0 0 0
/proc/10804/statm: 6847 6627 75 172 0 6674 0
Current children cumulated CPU time (s) 222.34
Current children cumulated vsize (KiB) 29804
[startup+282.312 s]
/proc/loadavg: 1.00 1.01 1.00 2/93 11563
/proc/meminfo: memFree=1612412/2074464 swapFree=1952056/1959888
[pid=10798] ppid=10796 vsize=2416 CPUtime=0.24
/proc/10798/stat : 10798 (SatELiteGTI) S 10796 10798 15108 0 -1 4194304 387 2415 0 0 0 0 21 3 17 0 1 0 1011504766 2473984 278 4294967295 134512640 135169312 3215416768 3215412984 3085799150 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/10798/statm: 604 278 235 161 0 43 0
[pid=10804] ppid=10798 vsize=27388 CPUtime=282.1
/proc/10804/stat : 10804 (minisat_static) R 10798 10798 15108 0 -1 4202496 6701 0 0 0 28200 10 0 0 25 0 1 0 1011504789 28045312 6635 4294967295 134512640 135216591 3217037216 3217035408 134528842 0 0 0 3 0 0 0 17 0 0 0 0
/proc/10804/statm: 6847 6635 75 172 0 6674 0
Current children cumulated CPU time (s) 282.34
Current children cumulated vsize (KiB) 29804
[startup+342.317 s]
/proc/loadavg: 1.00 1.01 1.00 2/93 11752
/proc/meminfo: memFree=1612040/2074464 swapFree=1952056/1959888
[pid=10798] ppid=10796 vsize=2416 CPUtime=0.24
/proc/10798/stat : 10798 (SatELiteGTI) S 10796 10798 15108 0 -1 4194304 387 2415 0 0 0 0 21 3 17 0 1 0 1011504766 2473984 278 4294967295 134512640 135169312 3215416768 3215412984 3085799150 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/10798/statm: 604 278 235 161 0 43 0
[pid=10804] ppid=10798 vsize=28060 CPUtime=342.11
/proc/10804/stat : 10804 (minisat_static) R 10798 10798 15108 0 -1 4202496 6876 0 0 0 34201 10 0 0 25 0 1 0 1011504789 28733440 6810 4294967295 134512640 135216591 3217037216 3217035408 134528842 0 0 0 3 0 0 0 17 0 0 0 0
/proc/10804/statm: 7015 6810 75 172 0 6842 0
Current children cumulated CPU time (s) 342.35
Current children cumulated vsize (KiB) 30476
[startup+402.313 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 11941
/proc/meminfo: memFree=1611924/2074464 swapFree=1952056/1959888
[pid=10798] ppid=10796 vsize=2416 CPUtime=0.24
################
# More data... #
################
[pid=10804] ppid=10798 vsize=28984 CPUtime=522.12
/proc/10804/stat : 10804 (minisat_static) R 10798 10798 15108 0 -1 4202496 7073 0 0 0 52200 12 0 0 25 0 1 0 1011504789 29679616 7007 4294967295 134512640 135216591 3217037216 3217035408 134528842 0 0 0 3 0 0 0 17 0 0 0 0
/proc/10804/statm: 7246 7007 75 172 0 7073 0
Current children cumulated CPU time (s) 522.36
Current children cumulated vsize (KiB) 31400
[startup+582.319 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 12504
/proc/meminfo: memFree=1611256/2074464 swapFree=1952056/1959888
[pid=10798] ppid=10796 vsize=2416 CPUtime=0.24
/proc/10798/stat : 10798 (SatELiteGTI) S 10796 10798 15108 0 -1 4194304 387 2415 0 0 0 0 21 3 17 0 1 0 1011504766 2473984 278 4294967295 134512640 135169312 3215416768 3215412984 3085799150 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/10798/statm: 604 278 235 161 0 43 0
[pid=10804] ppid=10798 vsize=28984 CPUtime=582.13
/proc/10804/stat : 10804 (minisat_static) R 10798 10798 15108 0 -1 4202496 7074 0 0 0 58201 12 0 0 25 0 1 0 1011504789 29679616 7008 4294967295 134512640 135216591 3217037216 3217035408 134528842 0 0 0 3 0 0 0 17 0 0 0 0
/proc/10804/statm: 7246 7008 75 172 0 7073 0
Current children cumulated CPU time (s) 582.37
Current children cumulated vsize (KiB) 31400
[startup+642.314 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 12695
/proc/meminfo: memFree=1611224/2074464 swapFree=1952056/1959888
[pid=10798] ppid=10796 vsize=2416 CPUtime=0.24
/proc/10798/stat : 10798 (SatELiteGTI) S 10796 10798 15108 0 -1 4194304 387 2415 0 0 0 0 21 3 17 0 1 0 1011504766 2473984 278 4294967295 134512640 135169312 3215416768 3215412984 3085799150 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/10798/statm: 604 278 235 161 0 43 0
[pid=10804] ppid=10798 vsize=29148 CPUtime=642.13
/proc/10804/stat : 10804 (minisat_static) R 10798 10798 15108 0 -1 4202496 7102 0 0 0 64200 13 0 0 25 0 1 0 1011504789 29847552 7036 4294967295 134512640 135216591 3217037216 3217035408 134528842 0 0 0 3 0 0 0 17 0 0 0 0
/proc/10804/statm: 7287 7036 75 172 0 7114 0
Current children cumulated CPU time (s) 642.37
Current children cumulated vsize (KiB) 31564
[startup+702.32 s]
/proc/loadavg: 1.00 1.00 1.00 3/93 12884
/proc/meminfo: memFree=1610628/2074464 swapFree=1952056/1959888
[pid=10798] ppid=10796 vsize=2416 CPUtime=0.24
/proc/10798/stat : 10798 (SatELiteGTI) S 10796 10798 15108 0 -1 4194304 387 2415 0 0 0 0 21 3 17 0 1 0 1011504766 2473984 278 4294967295 134512640 135169312 3215416768 3215412984 3085799150 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/10798/statm: 604 278 235 161 0 43 0
[pid=10804] ppid=10798 vsize=29748 CPUtime=702.14
/proc/10804/stat : 10804 (minisat_static) R 10798 10798 15108 0 -1 4202496 7244 0 0 0 70201 13 0 0 25 0 1 0 1011504789 30461952 7178 4294967295 134512640 135216591 3217037216 3217035408 134528842 0 0 0 3 0 0 0 17 0 0 0 0
/proc/10804/statm: 7437 7178 75 172 0 7264 0
Current children cumulated CPU time (s) 702.38
Current children cumulated vsize (KiB) 32164
[startup+762.315 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 13073
/proc/meminfo: memFree=1610728/2074464 swapFree=1952056/1959888
[pid=10798] ppid=10796 vsize=2416 CPUtime=0.24
/proc/10798/stat : 10798 (SatELiteGTI) S 10796 10798 15108 0 -1 4194304 387 2415 0 0 0 0 21 3 17 0 1 0 1011504766 2473984 278 4294967295 134512640 135169312 3215416768 3215412984 3085799150 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/10798/statm: 604 278 235 161 0 43 0
[pid=10804] ppid=10798 vsize=29748 CPUtime=762.14
/proc/10804/stat : 10804 (minisat_static) R 10798 10798 15108 0 -1 4202496 7245 0 0 0 76201 13 0 0 25 0 1 0 1011504789 30461952 7179 4294967295 134512640 135216591 3217037216 3217035408 134528962 0 0 0 3 0 0 0 17 0 0 0 0
/proc/10804/statm: 7437 7179 75 172 0 7264 0
Current children cumulated CPU time (s) 762.38
Current children cumulated vsize (KiB) 32164
[startup+822.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 13259
/proc/meminfo: memFree=1610744/2074464 swapFree=1952056/1959888
[pid=10798] ppid=10796 vsize=2416 CPUtime=0.24
/proc/10798/stat : 10798 (SatELiteGTI) S 10796 10798 15108 0 -1 4194304 387 2415 0 0 0 0 21 3 17 0 1 0 1011504766 2473984 278 4294967295 134512640 135169312 3215416768 3215412984 3085799150 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/10798/statm: 604 278 235 161 0 43 0
[pid=10804] ppid=10798 vsize=29748 CPUtime=822.14
/proc/10804/stat : 10804 (minisat_static) R 10798 10798 15108 0 -1 4202496 7245 0 0 0 82199 15 0 0 25 0 1 0 1011504789 30461952 7179 4294967295 134512640 135216591 3217037216 3217035408 134528842 0 0 0 3 0 0 0 17 0 0 0 0
/proc/10804/statm: 7437 7179 75 172 0 7264 0
Current children cumulated CPU time (s) 822.38
Current children cumulated vsize (KiB) 32164
[startup+882.316 s]
/proc/loadavg: 1.00 1.00 1.00 3/93 13447
/proc/meminfo: memFree=1610832/2074464 swapFree=1952056/1959888
[pid=10798] ppid=10796 vsize=2416 CPUtime=0.24
/proc/10798/stat : 10798 (SatELiteGTI) S 10796 10798 15108 0 -1 4194304 387 2415 0 0 0 0 21 3 17 0 1 0 1011504766 2473984 278 4294967295 134512640 135169312 3215416768 3215412984 3085799150 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/10798/statm: 604 278 235 161 0 43 0
[pid=10804] ppid=10798 vsize=29748 CPUtime=882.15
/proc/10804/stat : 10804 (minisat_static) R 10798 10798 15108 0 -1 4202496 7252 0 0 0 88199 16 0 0 25 0 1 0 1011504789 30461952 7186 4294967295 134512640 135216591 3217037216 3217035408 134528842 0 0 0 3 0 0 0 17 0 0 0 0
/proc/10804/statm: 7437 7186 75 172 0 7264 0
Current children cumulated CPU time (s) 882.39
Current children cumulated vsize (KiB) 32164
[startup+942.311 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 13634
/proc/meminfo: memFree=1610692/2074464 swapFree=1952056/1959888
[pid=10798] ppid=10796 vsize=2416 CPUtime=0.24
/proc/10798/stat : 10798 (SatELiteGTI) S 10796 10798 15108 0 -1 4194304 387 2415 0 0 0 0 21 3 17 0 1 0 1011504766 2473984 278 4294967295 134512640 135169312 3215416768 3215412984 3085799150 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/10798/statm: 604 278 235 161 0 43 0
[pid=10804] ppid=10798 vsize=29748 CPUtime=942.15
/proc/10804/stat : 10804 (minisat_static) R 10798 10798 15108 0 -1 4202496 7252 0 0 0 94195 20 0 0 25 0 1 0 1011504789 30461952 7186 4294967295 134512640 135216591 3217037216 3217035408 134528842 0 0 0 3 0 0 0 17 0 0 0 0
/proc/10804/statm: 7437 7186 75 172 0 7264 0
Current children cumulated CPU time (s) 942.39
Current children cumulated vsize (KiB) 32164
[startup+1002.32 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 13827
/proc/meminfo: memFree=1610568/2074464 swapFree=1952056/1959888
[pid=10798] ppid=10796 vsize=2416 CPUtime=0.24
/proc/10798/stat : 10798 (SatELiteGTI) S 10796 10798 15108 0 -1 4194304 387 2415 0 0 0 0 21 3 17 0 1 0 1011504766 2473984 278 4294967295 134512640 135169312 3215416768 3215412984 3085799150 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/10798/statm: 604 278 235 161 0 43 0
[pid=10804] ppid=10798 vsize=29892 CPUtime=1002.16
/proc/10804/stat : 10804 (minisat_static) R 10798 10798 15108 0 -1 4202496 7266 0 0 0 100195 21 0 0 25 0 1 0 1011504789 30609408 7200 4294967295 134512640 135216591 3217037216 3217035408 134528902 0 0 0 3 0 0 0 17 0 0 0 0
/proc/10804/statm: 7473 7200 75 172 0 7300 0
Current children cumulated CPU time (s) 1002.4
Current children cumulated vsize (KiB) 32308
[startup+1062.31 s]
/proc/loadavg: 1.00 1.00 1.00 3/93 14015
/proc/meminfo: memFree=1610560/2074464 swapFree=1952056/1959888
[pid=10798] ppid=10796 vsize=2416 CPUtime=0.24
/proc/10798/stat : 10798 (SatELiteGTI) S 10796 10798 15108 0 -1 4194304 387 2415 0 0 0 0 21 3 17 0 1 0 1011504766 2473984 278 4294967295 134512640 135169312 3215416768 3215412984 3085799150 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/10798/statm: 604 278 235 161 0 43 0
[pid=10804] ppid=10798 vsize=29892 CPUtime=1062.16
/proc/10804/stat : 10804 (minisat_static) R 10798 10798 15108 0 -1 4202496 7279 0 0 0 106195 21 0 0 25 0 1 0 1011504789 30609408 7213 4294967295 134512640 135216591 3217037216 3217035408 134528902 0 0 0 3 0 0 0 17 0 0 0 0
/proc/10804/statm: 7473 7213 75 172 0 7300 0
Current children cumulated CPU time (s) 1062.4
Current children cumulated vsize (KiB) 32308
[startup+1122.32 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 14202
/proc/meminfo: memFree=1608940/2074464 swapFree=1952056/1959888
[pid=10798] ppid=10796 vsize=2416 CPUtime=0.24
/proc/10798/stat : 10798 (SatELiteGTI) S 10796 10798 15108 0 -1 4194304 387 2415 0 0 0 0 21 3 17 0 1 0 1011504766 2473984 278 4294967295 134512640 135169312 3215416768 3215412984 3085799150 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/10798/statm: 604 278 235 161 0 43 0
[pid=10804] ppid=10798 vsize=31344 CPUtime=1122.17
/proc/10804/stat : 10804 (minisat_static) R 10798 10798 15108 0 -1 4202496 7660 0 0 0 112195 22 0 0 25 0 1 0 1011504789 32096256 7594 4294967295 134512640 135216591 3217037216 3217035408 134529009 0 0 0 3 0 0 0 17 0 0 0 0
/proc/10804/statm: 7836 7594 75 172 0 7663 0
Current children cumulated CPU time (s) 1122.41
Current children cumulated vsize (KiB) 33760
[startup+1182.31 s]
/proc/loadavg: 1.00 1.00 1.00 3/93 14389
/proc/meminfo: memFree=1608972/2074464 swapFree=1952056/1959888
[pid=10798] ppid=10796 vsize=2416 CPUtime=0.24
/proc/10798/stat : 10798 (SatELiteGTI) S 10796 10798 15108 0 -1 4194304 387 2415 0 0 0 0 21 3 17 0 1 0 1011504766 2473984 278 4294967295 134512640 135169312 3215416768 3215412984 3085799150 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/10798/statm: 604 278 235 161 0 43 0
[pid=10804] ppid=10798 vsize=31344 CPUtime=1182.17
/proc/10804/stat : 10804 (minisat_static) R 10798 10798 15108 0 -1 4202496 7660 0 0 0 118195 22 0 0 25 0 1 0 1011504789 32096256 7594 4294967295 134512640 135216591 3217037216 3217035408 134528784 0 0 0 3 0 0 0 17 0 0 0 0
/proc/10804/statm: 7836 7594 75 172 0 7663 0
Current children cumulated CPU time (s) 1182.41
Current children cumulated vsize (KiB) 33760
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1199.92 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 14574
/proc/meminfo: memFree=1608472/2074464 swapFree=1952056/1959888
[pid=10798] ppid=10796 vsize=2416 CPUtime=0.24
/proc/10798/stat : 10798 (SatELiteGTI) S 10796 10798 15108 0 -1 4194304 387 2415 0 0 0 0 21 3 17 0 1 0 1011504766 2473984 278 4294967295 134512640 135169312 3215416768 3215412984 3085799150 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/10798/statm: 604 278 235 161 0 43 0
[pid=10804] ppid=10798 vsize=31344 CPUtime=1199.78
/proc/10804/stat : 10804 (minisat_static) R 10798 10798 15108 0 -1 4202496 7660 0 0 0 119956 22 0 0 25 0 1 0 1011504789 32096256 7594 4294967295 134512640 135216591 3217037216 3217035408 134528948 0 0 0 3 0 0 0 17 0 0 0 0
/proc/10804/statm: 7836 7594 75 172 0 7663 0
Current children cumulated CPU time (s) 1200.02
Current children cumulated vsize (KiB) 33760
Sending SIGTERM to process tree (bottom up)
SSolver just ended. Dumping a history of the last processes samples
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 10798 and gives
# childrusage.ru_utime.tv_sec=1199
# childrusage.ru_utime.tv_usec=770000
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=250000
# CPU time returned by wait4() is 1200.02
# while last known CPU time is 1200.02
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1199.93
CPU time (s): 1200.02
CPU user time (s): 1199.77
CPU system time (s): 0.25
CPU usage (%): 100.007
Max. virtual memory (cumulated for all children) (KiB): 33760
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.77
system time used= 0.25
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10737
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= 22
involuntary context switches= 792
runsolver used 0.03 second user time and 0 second system time
The end
Begin job on tipi24 at 2009-05-16 12:34:26
IDJOB=1820705
IDBENCH=69560
IDSOLVER=658
FILE ID=tipi24/1820705-1242470066
PBS_JOBID=
Free space on /tmp= 10109 MiB
SOLVER NAME= minisat_cumr r-2009-03-18
BENCH NAME= SAT_RACE08/cnf/goldb-heqc-x1mul.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1820705-1242470066/watcher-1820705-1242470066 -o /tmp/evaluation-result-1820705-1242470066/solver-1820705-1242470066 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1820705-1242470066.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= b44e541aede789d4830fa0a3a047fcda
RANDOM SEED= 277425399
Linux tipi24 2.6.18 #19 SMP Tue Jun 19 11:27:27 CEST 2007 i686 GNU/Linux
/proc/cpuinfo:
processor : 0
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.461
cache size : 1024 KB
physical id : 0
siblings : 2
core id : 0
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3618.40
processor : 1
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.461
cache size : 1024 KB
physical id : 0
siblings : 2
core id : 1
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.75
processor : 2
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.461
cache size : 1024 KB
physical id : 1
siblings : 2
core id : 0
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.77
processor : 3
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.461
cache size : 1024 KB
physical id : 1
siblings : 2
core id : 1
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.77
/proc/meminfo:
MemTotal: 2074464 kB
MemFree: 1640104 kB
Buffers: 21748 kB
Cached: 330708 kB
SwapCached: 3828 kB
Active: 26540 kB
Inactive: 335324 kB
HighTotal: 1178688 kB
HighFree: 928308 kB
LowTotal: 895776 kB
LowFree: 711796 kB
SwapTotal: 1959888 kB
SwapFree: 1952056 kB
Dirty: 3020 kB
Writeback: 0 kB
AnonPages: 8680 kB
Mapped: 3308 kB
Slab: 63136 kB
PageTables: 588 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 2997120 kB
Committed_AS: 87800 kB
VmallocTotal: 114680 kB
VmallocUsed: 1324 kB
VmallocChunk: 113264 kB
Free space on /tmp at the end= 10109 MiB
End job on tipi24 at 2009-05-16 12:54:27