0.00/0.00 c Parsing...
1.23/1.22 c ==============================================================================
1.23/1.22 c | | ORIGINAL | LEARNT | |
1.23/1.22 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
1.23/1.22 c ==============================================================================
1.23/1.22 c | 0 | 1254005 3044653 | 376201 0 0 nan | 0.000 % |
21.33/21.41 c | 0 | 600262 2684082 | -- 0 -- -- | -- | -653743/-360571
21.33/21.41 c ==============================================================================
21.33/21.41 c Result : #vars: 43082 #clauses: 600262 #literals: 2684082
21.33/21.41 c CPU time: 21.01 s
21.33/21.41 c ==============================================================================
22.33/22.32 c This is MiniSat 2.0 beta
22.33/22.32 c WARNING: for repeatability, setting FPU to use double precision
22.33/22.32 c ============================[ Problem Statistics ]=============================
22.33/22.32 c | |
22.33/22.33 c | Number of variables: 43082 |
22.33/22.33 c | Number of clauses: 600262 |
22.33/22.81 c | Parsing time: 0.44 s |
22.33/22.85 c ============================[ Search Statistics ]==============================
22.33/22.85 c | Conflicts | ORIGINAL | LEARNT | Progress |
22.33/22.85 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
22.33/22.85 c ===============================================================================
22.33/22.85 c | 0 | 43082 600262 2684082 | 200087 0 nan | 0.000 % |
23.13/23.15 c | 100 | 43082 600262 2684082 | 200087 100 13 | 0.000 % |
23.23/23.25 c | 200 | 43082 600262 2684082 | 200087 200 19 | 0.000 % |
23.33/23.41 c | 300 | 43082 600262 2684082 | 200087 300 16 | 0.000 % |
23.63/23.66 c | 415 | 43082 600262 2684082 | 200087 415 16 | 0.000 % |
23.83/23.82 c | 515 | 43082 600262 2684082 | 200087 515 22 | 0.000 % |
24.03/24.02 c | 626 | 43082 600262 2684082 | 200087 626 21 | 0.000 % |
24.13/24.16 c | 750 | 43082 600262 2684082 | 200087 750 20 | 0.000 % |
24.23/24.26 c | 858 | 43082 600262 2684082 | 200087 858 21 | 0.000 % |
24.43/24.51 c | 970 | 43082 600262 2684082 | 200087 970 21 | 0.000 % |
24.63/24.65 c | 1091 | 43082 600262 2684082 | 200087 1091 21 | 0.000 % |
25.03/25.04 c | 1225 | 43082 600262 2684082 | 200087 1225 21 | 0.000 % |
25.13/25.15 c | 1326 | 43082 600262 2684082 | 200087 1326 22 | 0.000 % |
25.23/25.30 c | 1438 | 43082 600262 2684082 | 200087 1438 22 | 0.000 % |
25.43/25.47 c | 1559 | 43082 600262 2684082 | 200087 1559 22 | 0.000 % |
25.73/25.76 c | 1692 | 43082 600262 2684082 | 200087 1692 24 | 0.000 % |
25.93/26.01 c | 1838 | 43082 600262 2684082 | 200087 1838 24 | 0.000 % |
26.13/26.19 c | 1938 | 43082 600262 2684082 | 200087 1938 24 | 0.000 % |
26.43/26.47 c | 2048 | 43082 600262 2684082 | 200087 2048 24 | 0.000 % |
26.53/26.61 c | 2170 | 43082 600262 2684082 | 200087 2170 24 | 0.000 % |
27.02/27.04 c | 2303 | 43082 600262 2684082 | 200087 2303 24 | 0.000 % |
27.32/27.36 c | 2449 | 43082 600262 2684082 | 200087 2449 23 | 0.000 % |
27.62/27.68 c | 2610 | 43082 600262 2684082 | 200087 2610 23 | 0.000 % |
27.92/27.99 c | 2711 | 43082 600262 2684082 | 200087 2711 25 | 0.000 % |
28.12/28.14 c | 2821 | 43082 600262 2684082 | 200087 2821 24 | 0.000 % |
28.42/28.43 c | 2945 | 43082 600262 2684082 | 200087 2945 25 | 0.000 % |
28.52/28.59 c | 3078 | 43082 600262 2684082 | 200087 3078 24 | 0.000 % |
28.82/28.83 c | 3224 | 43082 600262 2684082 | 200087 3224 24 | 0.000 % |
29.12/29.17 c | 3386 | 43082 600262 2684082 | 200087 3386 25 | 0.000 % |
29.52/29.53 c | 3562 | 43082 600262 2684082 | 200087 3562 25 | 0.000 % |
29.62/29.69 c | 3664 | 43082 600262 2684082 | 200087 3664 25 | 0.000 % |
29.92/29.96 c | 3775 | 43082 600262 2684082 | 200087 3775 25 | 0.000 % |
30.12/30.20 c | 3896 | 43082 600262 2684082 | 200087 3896 25 | 0.000 % |
30.42/30.46 c | 4029 | 43082 600262 2684082 | 200087 4029 25 | 0.000 % |
30.62/30.68 c | 4176 | 43082 600262 2684082 | 200087 4176 25 | 0.000 % |
31.02/31.10 c | 4336 | 43082 600262 2684082 | 200087 4336 25 | 0.000 % |
31.42/31.43 c | 4512 | 43082 600262 2684082 | 200087 4512 25 | 0.000 % |
31.82/31.83 c | 4706 | 43082 600262 2684082 | 200087 4706 24 | 0.000 % |
32.02/32.07 c | 4806 | 43082 600262 2684082 | 200087 4806 24 | 0.000 % |
32.12/32.21 c | 4918 | 43082 600262 2684082 | 200087 4918 24 | 0.000 % |
32.32/32.39 c | 5039 | 43082 600262 2684082 | 200087 5039 24 | 0.000 % |
32.52/32.59 c | 5172 | 43082 600262 2684082 | 200087 5172 24 | 0.000 % |
32.72/32.80 c | 5318 | 43082 600262 2684082 | 200087 5318 24 | 0.000 % |
33.12/33.12 c | 5479 | 43082 600262 2684082 | 200087 5479 25 | 0.000 % |
33.32/33.37 c | 5657 | 43082 600262 2684082 | 200087 5657 25 | 0.000 % |
33.62/33.71 c | 5850 | 43082 600262 2684082 | 200087 5850 25 | 0.000 % |
33.82/33.91 c | 6062 | 43082 600262 2684082 | 200087 6062 25 | 0.000 % |
34.02/34.11 c | 6165 | 43082 600262 2684082 | 200087 6165 25 | 0.000 % |
34.12/34.20 c | 6281 | 43082 600262 2684082 | 200087 6281 25 | 0.000 % |
34.32/34.35 c | 6404 | 43082 600262 2684082 | 200087 6404 25 | 0.000 % |
34.52/34.56 c | 6537 | 43082 600262 2684082 | 200087 6537 25 | 0.000 % |
34.72/34.75 c | 6688 | 43082 600262 2684082 | 200087 6688 25 | 0.000 % |
34.92/34.92 c | 6848 | 43082 600262 2684082 | 200087 6848 26 | 0.000 % |
35.02/35.07 c | 7024 | 43082 600262 2684082 | 200087 7024 25 | 0.000 % |
35.12/35.21 c | 7217 | 43082 600262 2684082 | 200087 7217 25 | 0.000 % |
35.32/35.36 c | 7429 | 43082 600262 2684082 | 200087 7429 25 | 0.000 % |
35.62/35.62 c | 7664 | 43082 600262 2684082 | 200087 7664 25 | 0.000 % |
35.72/35.80 c | 7764 | 43082 600262 2684082 | 200087 7764 25 | 0.000 % |
35.92/36.00 c | 7874 | 43082 600262 2684082 | 200087 7874 25 | 0.000 % |
36.12/36.19 c | 7995 | 43082 600262 2684082 | 200087 7995 25 | 0.000 % |
36.32/36.36 c | 8131 | 43082 600262 2684082 | 200087 8131 25 | 0.000 % |
36.52/36.57 c | 8280 | 43082 600262 2684082 | 200087 8280 25 | 0.000 % |
36.92/36.95 c | 8440 | 43082 600262 2684082 | 200087 8440 25 | 0.000 % |
37.22/37.25 c | 8620 | 43082 600262 2684082 | 200087 8620 25 | 0.000 % |
37.52/37.60 c | 8813 | 43082 600262 2684082 | 200087 8813 25 | 0.000 % |
38.02/38.03 c | 9025 | 43082 600262 2684082 | 200087 9025 26 | 0.000 % |
38.32/38.36 c | 9258 | 43082 600262 2684082 | 200087 9258 26 | 0.000 % |
38.72/38.74 c | 9514 | 43082 600262 2684082 | 200087 9514 26 | 0.000 % |
38.92/39.00 c | 9614 | 43082 600262 2684082 | 200087 9614 26 | 0.000 % |
39.12/39.15 c | 9725 | 43082 600262 2684082 | 200087 9725 26 | 0.000 % |
39.22/39.27 c | 9846 | 43082 600262 2684082 | 200087 9846 26 | 0.000 % |
39.42/39.51 c | 9980 | 43082 600262 2684082 | 200087 9980 26 | 0.000 % |
39.72/39.74 c | 10129 | 43082 600262 2684082 | 2147483647 10129 26 | 0.000 % |
39.92/39.99 c | 10291 | 43082 600262 2684082 | 2147483647 10291 26 | 0.000 % |
40.32/40.38 c | 10467 | 43082 600262 2684082 | 2147483647 10467 26 | 0.000 % |
40.82/40.87 c | 10665 | 43082 600262 2684082 | 2147483647 10665 26 | 0.000 % |
41.02/41.10 c | 10880 | 43082 600262 2684082 | 2147483647 10880 26 | 0.000 % |
41.52/41.60 c | 11113 | 43082 600262 2684082 | 2147483647 11113 25 | 0.000 % |
41.82/41.90 c | 11369 | 43082 600262 2684082 | 2147483647 11369 26 | 0.000 % |
42.22/42.25 c | 11652 | 43082 600262 2684082 | 2147483647 11652 25 | 0.000 % |
42.42/42.48 c | 11753 | 43082 600262 2684082 | 2147483647 11753 25 | 0.000 % |
42.62/42.62 c | 11864 | 43082 600262 2684082 | 2147483647 11864 25 | 0.000 % |
42.82/42.86 c | 11985 | 43082 600262 2684082 | 2147483647 11985 25 | 0.000 % |
43.02/43.08 c | 12123 | 43082 600262 2684082 | 2147483647 12123 25 | 0.000 % |
43.22/43.30 c | 12269 | 43082 600262 2684082 | 2147483647 12269 25 | 0.000 % |
43.52/43.58 c | 12431 | 43082 600262 2684082 | 2147483647 12431 25 | 0.000 % |
43.72/43.77 c | 12614 | 43082 600262 2684082 | 2147483647 12614 25 | 0.000 % |
43.92/44.00 c | 12813 | 43082 600262 2684082 | 2147483647 12813 25 | 0.000 % |
44.42/44.43 c | 13025 | 43082 600262 2684082 | 2147483647 13025 25 | 0.000 % |
44.82/44.88 c | 13261 | 43082 600262 2684082 | 2147483647 13261 25 | 0.000 % |
45.32/45.34 c | 13519 | 43082 600262 2684082 | 2147483647 13519 25 | 0.000 % |
45.62/45.66 c | 13804 | 43082 600262 2684082 | 2147483647 13804 26 | 0.000 % |
46.22/46.29 c | 14114 | 43082 600262 2684082 | 2147483647 14114 25 | 0.000 % |
46.42/46.46 c | 14217 | 43082 600262 2684082 | 2147483647 14217 25 | 0.000 % |
46.62/46.64 c | 14327 | 43082 600262 2684082 | 2147483647 14327 25 | 0.000 % |
46.82/46.84 c | 14448 | 43082 600262 2684082 | 2147483647 14448 26 | 0.000 % |
47.02/47.10 c | 14581 | 43082 600262 2684082 | 2147483647 14581 25 | 0.000 % |
47.32/47.33 c | 14728 | 43082 600262 2684082 | 2147483647 14728 25 | 0.000 % |
47.42/47.47 c | 14890 | 43082 600262 2684082 | 2147483647 14890 25 | 0.000 % |
47.82/47.83 c | 15068 | 43082 600262 2684082 | 2147483647 15068 25 | 0.000 % |
48.12/48.17 c | 15264 | 43082 600262 2684082 | 2147483647 15264 26 | 0.000 % |
48.42/48.49 c | 15477 | 43082 600262 2684082 | 2147483647 15477 25 | 0.000 % |
48.82/48.85 c | 15712 | 43082 600262 2684082 | 2147483647 15712 25 | 0.000 % |
49.32/49.41 c | 15968 | 43082 600262 2684082 | 2147483647 15968 26 | 0.000 % |
49.72/49.77 c | 16249 | 43082 600262 2684082 | 2147483647 16249 26 | 0.000 % |
50.62/50.64 c | 16561 | 43082 600262 2684082 | 2147483647 16561 26 | 0.000 % |
51.12/51.17 c | 16900 | 43082 600262 2684082 | 2147483647 16900 26 | 0.000 % |
51.22/51.29 c | 17001 | 43082 600262 2684082 | 2147483647 17001 26 | 0.000 % |
51.42/51.49 c | 17116 | 43082 600262 2684082 | 2147483647 17116 26 | 0.000 % |
51.62/51.63 c | 17237 | 43082 600262 2684082 | 2147483647 17237 26 | 0.000 % |
51.82/51.82 c | 17381 | 43082 600262 2684082 | 2147483647 17381 26 | 0.000 % |
52.02/52.05 c | 17527 | 43082 600262 2684082 | 2147483647 17527 26 | 0.000 % |
52.22/52.28 c | 17688 | 43082 600262 2684082 | 2147483647 17688 26 | 0.000 % |
52.42/52.49 c | 17872 | 43082 600262 2684082 | 2147483647 17872 26 | 0.000 % |
52.72/52.74 c | 18065 | 43082 600262 2684082 | 2147483647 18065 26 | 0.000 % |
53.32/53.33 c | 18277 | 43082 600262 2684082 | 2147483647 18277 26 | 0.000 % |
53.52/53.56 c | 18510 | 43082 600262 2684082 | 2147483647 18510 26 | 0.000 % |
54.02/54.10 c | 18766 | 43082 600262 2684082 | 2147483647 18766 26 | 0.000 % |
54.62/54.62 c | 19047 | 43082 600262 2684082 | 2147483647 19047 26 | 0.000 % |
54.92/54.95 c | 19357 | 43082 600262 2684082 | 2147483647 19357 26 | 0.000 % |
55.32/55.37 c | 19696 | 43082 600262 2684082 | 2147483647 19696 26 | 0.000 % |
56.02/56.08 c | 20068 | 43082 600262 2684082 | 2147483647 20068 26 | 0.000 % |
56.22/56.22 c | 20168 | 43082 600262 2684082 | 2147483647 20168 26 | 0.000 % |
56.32/56.34 c | 20284 | 43082 600262 2684082 | 2147483647 20284 26 | 0.000 % |
56.62/56.61 c | 20407 | 43082 600262 2684082 | 2147483647 20407 26 | 0.000 % |
56.72/56.78 c | 20540 | 43082 600262 2684082 | 2147483647 20540 26 | 0.000 % |
57.02/57.03 c | 20687 | 43082 600262 2684082 | 2147483647 20687 26 | 0.000 % |
57.22/57.23 c | 20847 | 43082 600262 2684082 | 2147483647 20847 26 | 0.000 % |
57.52/57.53 c | 21024 | 43082 600262 2684082 | 2147483647 21024 26 | 0.000 % |
57.92/57.97 c | 21218 | 43082 600262 2684082 | 2147483647 21218 26 | 0.000 % |
58.12/58.21 c | 21430 | 43082 600262 2684082 | 2147483647 21430 26 | 0.000 % |
58.42/58.42 c | 21667 | 43082 600262 2684082 | 2147483647 21667 26 | 0.000 % |
58.62/58.70 c | 21926 | 43082 600262 2684082 | 2147483647 21926 26 | 0.000 % |
59.32/59.34 c | 22207 | 43082 600262 2684082 | 2147483647 22207 26 | 0.000 % |
59.72/59.76 c | 22516 | 43082 600262 2684082 | 2147483647 22516 26 | 0.000 % |
60.32/60.40 c | 22855 | 43082 600262 2684082 | 2147483647 22855 26 | 0.000 % |
60.82/60.91 c | 23228 | 43082 600262 2684082 | 2147483647 23228 26 | 0.000 % |
61.62/61.64 c | 23637 | 43082 600262 2684082 | 2147483647 23637 26 | 0.000 % |
61.72/61.79 c | 23737 | 43082 600262 2684082 | 2147483647 23737 26 | 0.000 % |
62.02/62.06 c | 23847 | 43082 600262 2684082 | 2147483647 23847 26 | 0.000 % |
62.32/62.41 c | 23972 | 43082 600262 2684082 | 2147483647 23972 26 | 0.000 % |
62.62/62.71 c | 24107 | 43082 600262 2684082 | 2147483647 24107 26 | 0.000 % |
62.82/62.90 c | 24253 | 43082 600262 2684082 | 2147483647 24253 26 | 0.000 % |
63.22/63.24 c | 24415 | 43082 600262 2684082 | 2147483647 24415 26 | 0.000 % |
63.42/63.45 c | 24591 | 43082 600262 2684082 | 2147483647 24591 26 | 0.000 % |
63.72/63.79 c | 24785 | 43082 600262 2684082 | 2147483647 24785 26 | 0.000 % |
64.02/64.06 c | 25001 | 43082 600262 2684082 | 2147483647 25001 26 | 0.000 % |
64.42/64.43 c | 25235 | 43082 600262 2684082 | 2147483647 25235 26 | 0.000 % |
64.62/64.68 c | 25494 | 43082 600262 2684082 | 2147483647 25494 26 | 0.000 % |
65.22/65.27 c | 25775 | 43082 600262 2684082 | 2147483647 25775 26 | 0.000 % |
65.82/65.83 c | 26084 | 43082 600262 2684082 | 2147483647 26084 26 | 0.000 % |
66.62/66.67 c | 26424 | 43082 600262 2684082 | 2147483647 26424 26 | 0.000 % |
67.42/67.44 c | 26797 | 43082 600262 2684082 | 2147483647 26797 26 | 0.000 % |
68.12/68.13 c | 27206 | 43082 600262 2684082 | 2147483647 27206 26 | 0.000 % |
68.82/68.81 c | 27655 | 43082 600262 2684082 | 2147483647 27655 26 | 0.000 % |
68.92/68.98 c | 27755 | 43082 600262 2684082 | 2147483647 27755 26 | 0.000 % |
69.22/69.29 c | 27865 | 43082 600262 2684082 | 2147483647 27865 26 | 0.000 % |
69.42/69.50 c | 27986 | 43082 600262 2684082 | 2147483647 27986 26 | 0.000 % |
69.62/69.68 c | 28123 | 43082 600262 2684082 | 2147483647 28123 26 | 0.000 % |
69.92/69.94 c | 28272 | 43082 600262 2684082 | 2147483647 28272 26 | 0.000 % |
70.32/70.38 c | 28432 | 43082 600262 2684082 | 2147483647 28432 26 | 0.000 % |
70.52/70.59 c | 28608 | 43082 600262 2684082 | 2147483647 28608 26 | 0.000 % |
70.82/70.85 c | 28801 | 43082 600262 2684082 | 2147483647 28801 26 | 0.000 % |
71.12/71.15 c | 29013 | 43082 600262 2684082 | 2147483647 29013 26 | 0.000 % |
71.62/71.63 c | 29246 | 43082 600262 2684082 | 2147483647 29246 26 | 0.000 % |
71.92/71.97 c | 29502 | 43082 600262 2684082 | 2147483647 29502 26 | 0.000 % |
72.62/72.62 c | 29787 | 43082 600262 2684082 | 2147483647 29787 26 | 0.000 % |
73.12/73.12 c | 30096 | 43082 600262 2684082 | 2147483647 30096 26 | 0.000 % |
73.72/73.76 c | 30435 | 43082 600262 2684082 | 2147483647 30435 26 | 0.000 % |
74.32/74.37 c | 30812 | 43082 600262 2684082 | 2147483647 30812 26 | 0.000 % |
75.02/75.03 c | 31221 | 43082 600262 2684082 | 2147483647 31221 26 | 0.000 % |
75.72/75.73 c | 31670 | 43082 600262 2684082 | 2147483647 31670 26 | 0.000 % |
76.42/76.50 c | 32164 | 43082 600262 2684082 | 2147483647 32164 26 | 0.000 % |
76.62/76.70 c | 32267 | 43082 600262 2684082 | 2147483647 32267 26 | 0.000 % |
76.72/76.80 c | 32377 | 43082 600262 2684082 | 2147483647 32377 26 | 0.000 % |
76.92/77.01 c | 32498 | 43082 600262 2684082 | 2147483647 32498 26 | 0.000 % |
77.22/77.23 c | 32631 | 43082 600262 2684082 | 2147483647 32631 26 | 0.000 % |
77.52/77.61 c | 32777 | 43082 600262 2684082 | 2147483647 32777 26 | 0.000 % |
77.82/77.84 c | 32940 | 43082 600262 2684082 | 2147483647 32940 26 | 0.000 % |
78.02/78.04 c | 33117 | 43082 600262 2684082 | 2147483647 33117 26 | 0.000 % |
78.32/78.32 c | 33311 | 43082 600262 2684082 | 2147483647 33311 26 | 0.000 % |
78.52/78.57 c | 33523 | 43082 600262 2684082 | 2147483647 33523 26 | 0.000 % |
79.02/79.05 c | 33757 | 43082 600262 2684082 | 2147483647 33757 26 | 0.000 % |
79.42/79.49 c | 34013 | 43082 600262 2684082 | 2147483647 34013 26 | 0.000 % |
79.82/79.89 c | 34295 | 43082 600262 2684082 | 2147483647 34295 26 | 0.000 % |
80.22/80.25 c | 34607 | 43082 600262 2684082 | 2147483647 34607 26 | 0.000 % |
80.62/80.66 c | 34946 | 43082 600262 2684082 | 2147483647 34946 26 | 0.000 % |
81.52/81.53 c | 35321 | 43082 600262 2684082 | 2147483647 35321 26 | 0.000 % |
82.02/82.04 c | 35730 | 43082 600262 2684082 | 2147483647 35730 26 | 0.000 % |
82.72/82.78 c | 36179 | 43082 600262 2684082 | 2147483647 36179 26 | 0.000 % |
83.62/83.71 c | 36674 | 43082 600262 2684082 | 2147483647 36674 26 | 0.000 % |
84.42/84.46 c | 37219 | 43082 600262 2684082 | 2147483647 37219 26 | 0.000 % |
84.52/84.57 c | 37319 | 43082 600262 2684082 | 2147483647 37319 26 | 0.000 % |
84.72/84.72 c | 37436 | 43082 600262 2684082 | 2147483647 37436 26 | 0.000 % |
84.92/84.93 c | 37560 | 43082 600262 2684082 | 2147483647 37560 26 | 0.000 % |
85.12/85.21 c | 37693 | 43082 600262 2684082 | 2147483647 37693 26 | 0.000 % |
85.62/85.61 c | 37840 | 43082 600262 2684082 | 2147483647 37840 26 | 0.000 % |
85.82/85.91 c | 38000 | 43082 600262 2684082 | 2147483647 38000 26 | 0.000 % |
86.22/86.25 c | 38180 | 43082 600262 2684082 | 2147483647 38180 26 | 0.000 % |
86.62/86.67 c | 38374 | 43082 600262 2684082 | 2147483647 38374 26 | 0.000 % |
87.02/87.08 c | 38586 | 43082 600262 2684082 | 2147483647 38586 26 | 0.000 % |
87.62/87.68 c | 38819 | 43082 600262 2684082 | 2147483647 38819 26 | 0.000 % |
88.02/88.06 c | 39075 | 43082 600262 2684082 | 2147483647 39075 26 | 0.000 % |
88.62/88.61 c | 39356 | 43082 600262 2684082 | 2147483647 39356 26 | 0.000 % |
89.02/89.01 c | 39668 | 43082 600262 2684082 | 2147483647 39668 26 | 0.000 % |
89.42/89.46 c | 40007 | 43082 600262 2684082 | 2147483647 40007 26 | 0.000 % |
90.33/90.34 c | 40379 | 43082 600262 2684082 | 2147483647 40379 26 | 0.000 % |
90.82/90.85 c | 40788 | 43082 600262 2684082 | 2147483647 40788 26 | 0.000 % |
92.02/92.08 c | 41237 | 43082 600262 2684082 | 2147483647 41237 26 | 0.000 % |
93.22/93.27 c | 41731 | 43082 600262 2684082 | 2147483647 41731 27 | 0.000 % |
94.22/94.22 c | 42273 | 43082 600262 2684082 | 2147483647 42273 26 | 0.000 % |
95.72/95.74 c | 42869 | 43082 600262 2684082 | 2147483647 42869 27 | 0.000 % |
96.12/96.14 c | 42969 | 43082 600262 2684082 | 2147483647 42969 27 | 0.000 % |
96.32/96.34 c | 43080 | 43082 600262 2684082 | 2147483647 43080 27 | 0.000 % |
96.42/96.46 c | 43202 | 43082 600262 2684082 | 2147483647 43202 27 | 0.000 % |
96.62/96.71 c | 43335 | 43082 600262 2684082 | 2147483647 43335 27 | 0.000 % |
96.93/96.93 c | 43481 | 43082 600262 2684082 | 2147483647 43481 27 | 0.000 % |
97.12/97.17 c | 43642 | 43082 600262 2684082 | 2147483647 43642 27 | 0.000 % |
97.32/97.38 c | 43819 | 43082 600262 2684082 | 2147483647 43819 27 | 0.000 % |
97.62/97.67 c | 44013 | 43082 600262 2684082 | 2147483647 44013 27 | 0.000 % |
98.03/98.03 c | 44225 | 43082 600262 2684082 | 2147483647 44225 27 | 0.000 % |
98.22/98.28 c | 44458 | 43082 600262 2684082 | 2147483647 44458 27 | 0.000 % |
98.62/98.69 c | 44714 | 43082 600262 2684082 | 2147483647 44714 27 | 0.000 % |
98.92/98.96 c | 44995 | 43082 600262 2684082 | 2147483647 44995 27 | 0.000 % |
99.42/99.49 c | 45310 | 43082 600262 2684082 | 2147483647 45310 27 | 0.000 % |
99.82/99.87 c | 45649 | 43082 600262 2684082 | 2147483647 45649 27 | 0.000 % |
100.42/100.47 c | 46021 | 43082 600262 2684082 | 2147483647 46021 27 | 0.000 % |
101.42/101.42 c | 46431 | 43082 600262 2684082 | 2147483647 46431 27 | 0.000 % |
102.12/102.14 c | 46880 | 43082 600262 2684082 | 2147483647 46880 26 | 0.000 % |
103.02/103.08 c | 47374 | 43082 600262 2684082 | 2147483647 47374 26 | 0.000 % |
103.92/103.91 c | 47916 | 43082 600262 2684082 | 2147483647 47916 26 | 0.000 % |
105.32/105.35 c | 48512 | 43082 600262 2684082 | 2147483647 48512 26 | 0.000 % |
106.62/106.64 c | 49167 | 43082 600262 2684082 | 2147483647 49167 26 | 0.000 % |
106.92/106.95 c | 49268 | 43082 600262 2684082 | 2147483647 49268 26 | 0.000 % |
107.02/107.09 c | 49378 | 43082 600262 2684082 | 2147483647 49378 26 | 0.000 % |
107.22/107.28 c | 49505 | 43082 600262 2684082 | 2147483647 49505 26 | 0.000 % |
107.52/107.53 c | 49638 | 43082 600262 2684082 | 2147483647 49638 26 | 0.000 % |
107.72/107.73 c | 49784 | 43082 600262 2684082 | 2147483647 49784 26 | 0.000 % |
107.93/108.00 c | 49950 | 43082 600262 2684082 | 2147483647 49950 26 | 0.000 % |
108.42/108.42 c | 50128 | 43082 600262 2684082 | 2147483647 50128 26 | 0.000 % |
108.62/108.64 c | 50322 | 43082 600262 2684082 | 2147483647 50322 26 | 0.000 % |
109.12/109.15 c | 50534 | 43082 600262 2684082 | 2147483647 50534 26 | 0.000 % |
109.62/109.64 c | 50768 | 43082 600262 2684082 | 2147483647 50768 26 | 0.000 % |
110.22/110.31 c | 51025 | 43082 600262 2684082 | 2147483647 51025 26 | 0.000 % |
110.72/110.71 c | 51311 | 43082 600262 2684082 | 2147483647 51311 26 | 0.000 % |
111.32/111.35 c | 51626 | 43082 600262 2684082 | 2147483647 51626 26 | 0.000 % |
112.42/112.49 c | 51965 | 43082 600262 2684082 | 2147483647 51965 26 | 0.000 % |
113.32/113.32 c | 52337 | 43082 600262 2684082 | 2147483647 52337 26 | 0.000 % |
113.82/113.85 c | 52747 | 43082 600262 2684082 | 2147483647 52747 26 | 0.000 % |
114.72/114.80 c | 53196 | 43082 600262 2684082 | 2147483647 53196 26 | 0.000 % |
115.63/115.66 c | 53689 | 43082 600262 2684082 | 2147483647 53689 26 | 0.000 % |
117.02/117.02 c | 54232 | 43082 600262 2684082 | 2147483647 54232 26 | 0.000 % |
117.92/117.92 c | 54828 | 43082 600262 2684082 | 2147483647 54828 26 | 0.000 % |
118.93/118.96 c | 55484 | 43082 600262 2684082 | 2147483647 55484 26 | 0.000 % |
119.92/119.96 c | 56204 | 43082 600262 2684082 | 2147483647 56204 26 | 0.000 % |
120.12/120.21 c | 56305 | 43082 600262 2684082 | 2147483647 56305 26 | 0.000 % |
120.42/120.45 c | 56415 | 43082 600262 2684082 | 2147483647 56415 26 | 0.000 % |
120.72/120.75 c | 56536 | 43082 600262 2684082 | 2147483647 56536 26 | 0.000 % |
121.02/121.04 c | 56670 | 43082 600262 2684082 | 2147483647 56670 26 | 0.000 % |
121.22/121.30 c | 56817 | 43082 600262 2684082 | 2147483647 56817 26 | 0.000 % |
121.52/121.60 c | 56977 | 43082 600262 2684082 | 2147483647 56977 26 | 0.000 % |
121.82/121.91 c | 57154 | 43082 600262 2684082 | 2147483647 57154 26 | 0.000 % |
122.23/122.30 c | 57348 | 43082 600262 2684082 | 2147483647 57348 26 | 0.000 % |
122.52/122.58 c | 57560 | 43082 600262 2684082 | 2147483647 57560 26 | 0.000 % |
123.12/123.13 c | 57794 | 43082 600262 2684082 | 2147483647 57794 26 | 0.000 % |
123.42/123.50 c | 58052 | 43082 600262 2684082 | 2147483647 58052 26 | 0.000 % |
124.02/124.10 c | 58333 | 43082 600262 2684082 | 2147483647 58333 26 | 0.000 % |
124.52/124.59 c | 58642 | 43082 600262 2684082 | 2147483647 58642 26 | 0.000 % |
124.92/124.96 c | 58982 | 43082 600262 2684082 | 2147483647 58982 26 | 0.000 % |
126.02/126.07 c | 59354 | 43082 600262 2684082 | 2147483647 59354 26 | 0.000 % |
127.73/127.78 c | 59763 | 43082 600262 2684082 | 2147483647 59763 26 | 0.000 % |
128.72/128.73 c | 60212 | 43082 600262 2684082 | 2147483647 60212 26 | 0.000 % |
130.42/130.43 c | 60708 | 43082 600262 2684082 | 2147483647 60708 27 | 0.000 % |
131.32/131.34 c | 61250 | 43082 600262 2684082 | 2147483647 61250 27 | 0.000 % |
132.82/132.83 c | 61852 | 43082 600262 2684082 | 2147483647 61852 27 | 0.000 % |
133.82/133.88 c | 62507 | 43082 600262 2684082 | 2147483647 62507 27 | 0.000 % |
135.12/135.14 c | 63227 | 43082 600262 2684082 | 2147483647 63227 27 | 0.000 % |
136.42/136.52 c | 64019 | 43082 600262 2684082 | 2147483647 64019 27 | 0.000 % |
136.62/136.67 c | 64123 | 43082 600262 2684082 | 2147483647 64123 27 | 0.000 % |
136.92/136.98 c | 64234 | 43082 600262 2684082 | 2147483647 64234 27 | 0.000 % |
137.12/137.19 c | 64359 | 43082 600262 2684082 | 2147483647 64359 27 | 0.000 % |
137.32/137.36 c | 64492 | 43082 600262 2684082 | 2147483647 64492 27 | 0.000 % |
137.63/137.69 c | 64639 | 43082 600262 2684082 | 2147483647 64639 27 | 0.000 % |
137.92/137.98 c | 64800 | 43082 600262 2684082 | 2147483647 64800 27 | 0.000 % |
138.32/138.39 c | 64978 | 43082 600262 2684082 | 2147483647 64978 27 | 0.000 % |
138.62/138.63 c | 65171 | 43082 600262 2684082 | 2147483647 65171 27 | 0.000 % |
139.02/139.03 c | 65383 | 43082 600262 2684082 | 2147483647 65383 27 | 0.000 % |
139.42/139.41 c | 65619 | 43082 600262 2684082 | 2147483647 65619 27 | 0.000 % |
139.83/139.89 c | 65877 | 43082 600262 2684082 | 2147483647 65877 27 | 0.000 % |
140.32/140.39 c | 66158 | 43082 600262 2684082 | 2147483647 66158 27 | 0.000 % |
141.02/141.04 c | 66467 | 43082 600262 2684082 | 2147483647 66467 27 | 0.000 % |
141.62/141.63 c | 66806 | 43082 600262 2684082 | 2147483647 66806 27 | 0.000 % |
142.22/142.26 c | 67179 | 43082 600262 2684082 | 2147483647 67179 27 | 0.000 % |
143.03/143.05 c | 67588 | 43082 600262 2684082 | 2147483647 67588 27 | 0.000 % |
143.73/143.80 c | 68037 | 43082 600262 2684082 | 2147483647 68037 27 | 0.000 % |
144.93/145.00 c | 68530 | 43082 600262 2684082 | 2147483647 68530 27 | 0.000 % |
146.13/146.18 c | 69073 | 43082 600262 2684082 | 2147483647 69073 27 | 0.000 % |
147.03/147.05 c | 69671 | 43082 600262 2684082 | 2147483647 69671 27 | 0.000 % |
148.83/148.82 c | 70326 | 43082 600262 2684082 | 2147483647 70326 27 | 0.000 % |
149.63/149.69 c | 71048 | 43082 600262 2684082 | 2147483647 71048 27 | 0.000 % |
151.53/151.54 c | 71842 | 43082 600262 2684082 | 2147483647 71842 27 | 0.000 % |
152.43/152.50 c | 72714 | 43082 600262 2684082 | 2147483647 72714 27 | 0.000 % |
152.63/152.62 c | 72814 | 43082 600262 2684082 | 2147483647 72814 27 | 0.000 % |
152.93/152.95 c | 72924 | 43082 600262 2684082 | 2147483647 72924 27 | 0.000 % |
153.13/153.13 c | 73045 | 43082 600262 2684082 | 2147483647 73045 27 | 0.000 % |
153.33/153.41 c | 73181 | 43082 600262 2684082 | 2147483647 73181 27 | 0.000 % |
153.63/153.68 c | 73331 | 43082 600262 2684082 | 2147483647 73331 27 | 0.000 % |
154.23/154.27 c | 73491 | 43082 600262 2684082 | 2147483647 73491 27 | 0.000 % |
154.73/154.73 c | 73667 | 43082 600262 2684082 | 2147483647 73667 27 | 0.000 % |
154.93/155.01 c | 73861 | 43082 600262 2684082 | 2147483647 73861 27 | 0.000 % |
155.33/155.40 c | 74073 | 43082 600262 2684082 | 2147483647 74073 27 | 0.000 % |
155.93/155.94 c | 74306 | 43082 600262 2684082 | 2147483647 74306 27 | 0.000 % |
156.73/156.76 c | 74562 | 43082 600262 2684082 | 2147483647 74562 27 | 0.000 % |
157.33/157.39 c | 74843 | 43082 600262 2684082 | 2147483647 74843 27 | 0.000 % |
157.93/157.96 c | 75154 | 43082 600262 2684082 | 2147483647 75154 27 | 0.000 % |
158.73/158.76 c | 75493 | 43082 600262 2684082 | 2147483647 75493 27 | 0.000 % |
159.23/159.27 c | 75865 | 43082 600262 2684082 | 2147483647 75865 27 | 0.000 % |
160.13/160.21 c | 76278 | 43082 600262 2684082 | 2147483647 76278 27 | 0.000 % |
160.83/160.89 c | 76728 | 43082 600262 2684082 | 2147483647 76728 27 | 0.000 % |
162.03/162.10 c | 77222 | 43082 600262 2684082 | 2147483647 77222 27 | 0.000 % |
162.93/162.93 c | 77765 | 43082 600262 2684082 | 2147483647 77765 27 | 0.000 % |
164.53/164.52 c | 78361 | 43082 600262 2684082 | 2147483647 78361 27 | 0.000 % |
165.53/165.54 c | 79019 | 43082 600262 2684082 | 2147483647 79019 27 | 0.000 % |
166.73/166.78 c | 79739 | 43082 600262 2684082 | 2147483647 79739 27 | 0.000 % |
167.73/167.78 c | 80531 | 43082 600262 2684082 | 2147483647 80531 27 | 0.000 % |
169.93/169.99 c | 81407 | 43082 600262 2684082 | 2147483647 81407 27 | 0.000 % |
172.03/172.02 c | 82365 | 43082 600262 2684082 | 2147483647 82365 27 | 0.000 % |
172.23/172.24 c | 82465 | 43082 600262 2684082 | 2147483647 82465 27 | 0.000 % |
172.43/172.49 c | 82576 | 43082 600262 2684082 | 2147483647 82576 27 | 0.000 % |
172.73/172.77 c | 82703 | 43082 600262 2684082 | 2147483647 82703 27 | 0.000 % |
173.03/173.02 c | 82839 | 43082 600262 2684082 | 2147483647 82839 27 | 0.000 % |
173.23/173.30 c | 82985 | 43082 600262 2684082 | 2147483647 82985 27 | 0.000 % |
173.63/173.71 c | 83146 | 43082 600262 2684082 | 2147483647 83146 27 | 0.000 % |
174.03/174.09 c | 83324 | 43082 600262 2684082 | 2147483647 83324 27 | 0.000 % |
174.43/174.46 c | 83517 | 43082 600262 2684082 | 2147483647 83517 27 | 0.000 % |
174.63/174.71 c | 83731 | 43082 600262 2684082 | 2147483647 83731 27 | 0.000 % |
175.13/175.13 c | 83966 | 43082 600262 2684082 | 2147483647 83966 27 | 0.000 % |
175.83/175.84 c | 84223 | 43082 600262 2684082 | 2147483647 84223 27 | 0.000 % |
176.23/176.23 c | 84504 | 43082 600262 2684082 | 2147483647 84504 27 | 0.000 % |
176.53/176.58 c | 84815 | 43082 600262 2684082 | 2147483647 84815 27 | 0.000 % |
177.23/177.28 c | 85154 | 43082 600262 2684082 | 2147483647 85154 27 | 0.000 % |
178.13/178.19 c | 85527 | 43082 600262 2684082 | 2147483647 85527 27 | 0.000 % |
178.93/178.92 c | 85936 | 43082 600262 2684082 | 2147483647 85936 27 | 0.000 % |
181.03/181.04 c | 86385 | 43082 600262 2684082 | 2147483647 86385 27 | 0.000 % |
181.73/181.79 c | 86880 | 43082 600262 2684082 | 2147483647 86880 27 | 0.000 % |
183.33/183.32 c | 87424 | 43082 600262 2684082 | 2147483647 87424 27 | 0.000 % |
184.43/184.45 c | 88020 | 43082 600262 2684082 | 2147483647 88020 28 | 0.000 % |
185.63/185.63 c | 88678 | 43082 600262 2684082 | 2147483647 88678 28 | 0.000 % |
186.33/186.41 c | 89400 | 43082 600262 2684082 | 2147483647 89400 28 | 0.000 % |
188.03/188.02 c | 90193 | 43082 600262 2684082 | 2147483647 90193 28 | 0.000 % |
189.53/189.58 c | 91064 | 43082 600262 2684082 | 2147483647 91064 28 | 0.000 % |
191.13/191.17 c | 92022 | 43082 600262 2684082 | 2147483647 92022 28 | 0.000 % |
192.83/192.84 c | 93075 | 43082 600262 2684082 | 2147483647 93075 28 | 0.000 % |
192.93/192.99 c | 93175 | 43082 600262 2684082 | 2147483647 93175 28 | 0.000 % |
193.13/193.14 c | 93289 | 43082 600262 2684082 | 2147483647 93289 28 | 0.000 % |
193.23/193.26 c | 93410 | 43082 600262 2684082 | 2147483647 93410 28 | 0.000 % |
193.53/193.58 c | 93543 | 43082 600262 2684082 | 2147483647 93543 28 | 0.000 % |
193.83/193.86 c | 93693 | 43082 600262 2684082 | 2147483647 93693 28 | 0.000 % |
194.13/194.13 c | 93854 | 43082 600262 2684082 | 2147483647 93854 28 | 0.000 % |
194.53/194.59 c | 94030 | 43082 600262 2684082 | 2147483647 94030 28 | 0.000 % |
194.83/194.91 c | 94223 | 43082 600262 2684082 | 2147483647 94223 28 | 0.000 % |
195.53/195.56 c | 94436 | 43082 600262 2684082 | 2147483647 94436 28 | 0.000 % |
196.03/196.09 c | 94670 | 43082 600262 2684082 | 2147483647 94670 28 | 0.000 % |
196.53/196.54 c | 94927 | 43082 600262 2684082 | 2147483647 94927 28 | 0.000 % |
197.23/197.23 c | 95210 | 43082 600262 2684082 | 2147483647 95210 28 | 0.000 % |
197.93/197.95 c | 95519 | 43082 600262 2684082 | 2147483647 95519 28 | 0.000 % |
198.63/198.66 c | 95858 | 43082 600262 2684082 | 2147483647 95858 28 | 0.000 % |
199.33/199.42 c | 96230 | 43082 600262 2684082 | 2147483647 96230 28 | 0.000 % |
200.53/200.55 c | 96639 | 43082 600262 2684082 | 2147483647 96639 28 | 0.000 % |
201.53/201.56 c | 97088 | 43082 600262 2684082 | 2147483647 97088 28 | 0.000 % |
202.73/202.74 c | 97581 | 43082 600262 2684082 | 2147483647 97581 28 | 0.000 % |
204.33/204.40 c | 98123 | 43082 600262 2684082 | 2147483647 98123 28 | 0.000 % |
206.13/206.13 c | 98722 | 43082 600262 2684082 | 2147483647 98722 28 | 0.000 % |
207.33/207.33 c | 99379 | 43082 600262 2684082 | 2147483647 99379 28 | 0.000 % |
208.33/208.34 c | 100099 | 43082 600262 2684082 | 2147483647 100099 28 | 0.000 % |
210.23/210.25 c | 100891 | 43082 600262 2684082 | 2147483647 100891 28 | 0.000 % |
212.13/212.16 c | 101762 | 43082 600262 2684082 | 2147483647 101762 28 | 0.000 % |
214.93/214.96 c | 102721 | 43082 600262 2684082 | 2147483647 102721 28 | 0.000 % |
216.23/216.27 c | 103774 | 43082 600262 2684082 | 2147483647 103774 28 | 0.000 % |
218.13/218.14 c | 104935 | 43082 600262 2684082 | 2147483647 104935 28 | 0.000 % |
218.33/218.38 c | 105035 | 43082 600262 2684082 | 2147483647 105035 28 | 0.000 % |
218.53/218.58 c | 105148 | 43082 600262 2684082 | 2147483647 105148 28 | 0.000 % |
218.83/218.82 c | 105269 | 43082 600262 2684082 | 2147483647 105269 28 | 0.000 % |
219.04/219.09 c | 105403 | 43082 600262 2684082 | 2147483647 105403 28 | 0.000 % |
219.33/219.32 c | 105551 | 43082 600262 2684082 | 2147483647 105551 28 | 0.000 % |
219.53/219.56 c | 105712 | 43082 600262 2684082 | 2147483647 105712 28 | 0.000 % |
219.83/219.91 c | 105889 | 43082 600262 2684082 | 2147483647 105889 28 | 0.000 % |
220.14/220.18 c | 106083 | 43082 600262 2684082 | 2147483647 106083 28 | 0.000 % |
220.53/220.58 c | 106296 | 43082 600262 2684082 | 2147483647 106296 28 | 0.000 % |
221.13/221.15 c | 106530 | 43082 600262 2684082 | 2147483647 106530 28 | 0.000 % |
221.53/221.61 c | 106788 | 43082 600262 2684082 | 2147483647 106788 28 | 0.000 % |
221.93/222.01 c | 107069 | 43082 600262 2684082 | 2147483647 107069 28 | 0.000 % |
223.03/223.11 c | 107378 | 43082 600262 2684082 | 2147483647 107378 28 | 0.000 % |
224.03/224.07 c | 107717 | 43082 600262 2684082 | 2147483647 107717 28 | 0.000 % |
225.03/225.06 c | 108090 | 43082 600262 2684082 | 2147483647 108090 28 | 0.000 % |
225.83/225.83 c | 108500 | 43082 600262 2684082 | 2147483647 108500 28 | 0.000 % |
226.53/226.52 c | 108950 | 43082 600262 2684082 | 2147483647 108950 28 | 0.000 % |
227.33/227.39 c | 109443 | 43082 600262 2684082 | 2147483647 109443 28 | 0.000 % |
228.83/228.90 c | 109985 | 43082 600262 2684082 | 2147483647 109985 28 | 0.000 % |
229.93/229.96 c | 110581 | 43082 600262 2684082 | 2147483647 110581 28 | 0.000 % |
231.14/231.19 c | 111236 | 43082 600262 2684082 | 2147483647 111236 28 | 0.000 % |
232.33/232.37 c | 111956 | 43082 600262 2684082 | 2147483647 111956 28 | 0.000 % |
234.53/234.59 c | 112750 | 43082 600262 2684082 | 2147483647 112750 28 | 0.000 % |
236.23/236.26 c | 113621 | 43082 600262 2684082 | 2147483647 113621 28 | 0.000 % |
238.43/238.51 c | 114582 | 43082 600262 2684082 | 2147483647 114582 28 | 0.000 % |
240.13/240.20 c | 115636 | 43082 600262 2684082 | 2147483647 115636 28 | 0.000 % |
243.33/243.32 c | 116800 | 43082 600262 2684082 | 2147483647 116800 28 | 0.000 % |
246.03/246.08 c | 118073 | 43082 600262 2684082 | 2147483647 118073 28 | 0.000 % |
246.23/246.28 c | 118173 | 43082 600262 2684082 | 2147483647 118173 28 | 0.000 % |
246.43/246.46 c | 118284 | 43082 600262 2684082 | 2147483647 118284 28 | 0.000 % |
246.63/246.69 c | 118407 | 43082 600262 2684082 | 2147483647 118407 28 | 0.000 % |
246.93/247.00 c | 118540 | 43082 600262 2684082 | 2147483647 118540 28 | 0.000 % |
247.33/247.41 c | 118688 | 43082 600262 2684082 | 2147483647 118688 28 | 0.000 % |
248.03/248.05 c | 118848 | 43082 600262 2684082 | 2147483647 118848 28 | 0.000 % |
248.43/248.45 c | 119024 | 43082 600262 2684082 | 2147483647 119024 28 | 0.000 % |
248.74/248.76 c | 119217 | 43082 600262 2684082 | 2147483647 119217 28 | 0.000 % |
249.13/249.12 c | 119438 | 43082 600262 2684082 | 2147483647 119438 28 | 0.000 % |
249.53/249.59 c | 119671 | 43082 600262 2684082 | 2147483647 119671 28 | 0.000 % |
250.13/250.19 c | 119929 | 43082 600262 2684082 | 2147483647 119929 28 | 0.000 % |
250.53/250.60 c | 120210 | 43082 600262 2684082 | 2147483647 120210 28 | 0.000 % |
251.13/251.17 c | 120519 | 43082 600262 2684082 | 2147483647 120519 28 | 0.000 % |
251.93/252.02 c | 120858 | 43082 600262 2684082 | 2147483647 120858 28 | 0.000 % |
252.73/252.73 c | 121231 | 43082 600262 2684082 | 2147483647 121231 28 | 0.000 % |
253.33/253.39 c | 121640 | 43082 600262 2684082 | 2147483647 121640 28 | 0.000 % |
254.43/254.47 c | 122090 | 43082 600262 2684082 | 2147483647 122090 28 | 0.000 % |
255.53/255.59 c | 122585 | 43082 600262 2684082 | 2147483647 122585 28 | 0.000 % |
256.83/256.82 c | 123128 | 43082 600262 2684082 | 2147483647 123128 28 | 0.000 % |
258.03/258.09 c | 123724 | 43082 600262 2684082 | 2147483647 123724 28 | 0.000 % |
259.33/259.38 c | 124382 | 43082 600262 2684082 | 2147483647 124382 28 | 0.000 % |
261.13/261.16 c | 125102 | 43082 600262 2684082 | 2147483647 125102 28 | 0.000 % |
262.73/262.77 c | 125894 | 43082 600262 2684082 | 2147483647 125894 28 | 0.000 % |
264.43/264.46 c | 126765 | 43082 600262 2684082 | 2147483647 126765 28 | 0.000 % |
266.63/266.64 c | 127726 | 43082 600262 2684082 | 2147483647 127726 28 | 0.000 % |
268.73/268.74 c | 128779 | 43082 600262 2684082 | 2147483647 128779 28 | 0.000 % |
271.04/271.03 c | 129937 | 43082 600262 2684082 | 2147483647 129937 28 | 0.000 % |
273.64/273.72 c | 131210 | 43082 600262 2684082 | 2147483647 131210 28 | 0.000 % |
276.64/276.65 c | 132610 | 43082 600262 2684082 | 2147483647 132610 28 | 0.000 % |
276.94/276.97 c | 132713 | 43082 600262 2684082 | 2147483647 132713 28 | 0.000 % |
277.14/277.16 c | 132824 | 43082 600262 2684082 | 2147483647 132824 28 | 0.000 % |
277.44/277.47 c | 132946 | 43082 600262 2684082 | 2147483647 132946 28 | 0.000 % |
277.64/277.71 c | 133080 | 43082 600262 2684082 | 2147483647 133080 28 | 0.000 % |
277.94/277.99 c | 133227 | 43082 600262 2684082 | 2147483647 133227 28 | 0.000 % |
278.24/278.24 c | 133387 | 43082 600262 2684082 | 2147483647 133387 28 | 0.000 % |
278.54/278.59 c | 133564 | 43082 600262 2684082 | 2147483647 133564 28 | 0.000 % |
278.94/278.98 c | 133761 | 43082 600262 2684082 | 2147483647 133761 28 | 0.000 % |
279.34/279.42 c | 133975 | 43082 600262 2684082 | 2147483647 133975 28 | 0.000 % |
279.84/279.85 c | 134208 | 43082 600262 2684082 | 2147483647 134208 28 | 0.000 % |
280.24/280.31 c | 134464 | 43082 600262 2684082 | 2147483647 134464 28 | 0.000 % |
280.84/280.86 c | 134745 | 43082 600262 2684082 | 2147483647 134745 28 | 0.000 % |
281.94/281.97 c | 135054 | 43082 600262 2684082 | 2147483647 135054 28 | 0.000 % |
282.64/282.70 c | 135393 | 43082 600262 2684082 | 2147483647 135393 28 | 0.000 % |
283.64/283.67 c | 135766 | 43082 600262 2684082 | 2147483647 135766 28 | 0.000 % |
284.54/284.57 c | 136176 | 43082 600262 2684082 | 2147483647 136176 28 | 0.000 % |
285.54/285.52 c | 136626 | 43082 600262 2684082 | 2147483647 136626 28 | 0.000 % |
286.34/286.33 c | 137119 | 43082 600262 2684082 | 2147483647 137119 28 | 0.000 % |
287.24/287.23 c | 137662 | 43082 600262 2684082 | 2147483647 137662 28 | 0.000 % |
288.64/288.63 c | 138259 | 43082 600262 2684082 | 2147483647 138259 28 | 0.000 % |
289.93/289.94 c | 138916 | 43082 600262 2684082 | 2147483647 138916 28 | 0.000 % |
291.43/291.43 c | 139636 | 43082 600262 2684082 | 2147483647 139636 28 | 0.000 % |
292.83/292.90 c | 140428 | 43082 600262 2684082 | 2147483647 140428 28 | 0.000 % |
294.33/294.31 c | 141302 | 43082 600262 2684082 | 2147483647 141302 28 | 0.000 % |
296.33/296.33 c | 142262 | 43082 600262 2684082 | 2147483647 142262 28 | 0.000 % |
298.73/298.79 c | 143317 | 43082 600262 2684082 | 2147483647 143317 28 | 0.000 % |
301.33/301.33 c | 144476 | 43082 600262 2684082 | 2147483647 144476 28 | 0.000 % |
305.53/305.55 c | 145749 | 43082 600262 2684082 | 2147483647 145749 28 | 0.000 % |
308.33/308.39 c | 147149 | 43082 600262 2684082 | 2147483647 147149 28 | 0.000 % |
311.53/311.56 c | 148689 | 43082 600262 2684082 | 2147483647 148689 28 | 0.000 % |
311.73/311.77 c | 148791 | 43082 600262 2684082 | 2147483647 148791 28 | 0.000 % |
312.03/312.09 c | 148902 | 43082 600262 2684082 | 2147483647 148902 28 | 0.000 % |
312.33/312.41 c | 149024 | 43082 600262 2684082 | 2147483647 149024 28 | 0.000 % |
312.73/312.80 c | 149157 | 43082 600262 2684082 | 2147483647 149157 28 | 0.000 % |
313.03/313.05 c | 149305 | 43082 600262 2684082 | 2147483647 149305 28 | 0.000 % |
313.43/313.46 c | 149465 | 43082 600262 2684082 | 2147483647 149465 28 | 0.000 % |
313.73/313.72 c | 149642 | 43082 600262 2684082 | 2147483647 149642 28 | 0.000 % |
314.13/314.14 c | 149836 | 43082 600262 2684082 | 2147483647 149836 28 | 0.000 % |
314.53/314.56 c | 150049 | 43082 600262 2684082 | 2147483647 150049 28 | 0.000 % |
315.03/315.05 c | 150282 | 43082 600262 2684082 | 2147483647 150282 28 | 0.000 % |
315.43/315.49 c | 150539 | 43082 600262 2684082 | 2147483647 150539 28 | 0.000 % |
316.23/316.30 c | 150820 | 43082 600262 2684082 | 2147483647 150820 28 | 0.000 % |
316.93/316.97 c | 151130 | 43082 600262 2684082 | 2147483647 151130 28 | 0.000 % |
317.83/317.91 c | 151469 | 43082 600262 2684082 | 2147483647 151469 28 | 0.000 % |
319.03/319.03 c | 151841 | 43082 600262 2684082 | 2147483647 151841 28 | 0.000 % |
320.43/320.46 c | 152251 | 43082 600262 2684082 | 2147483647 152251 28 | 0.000 % |
321.93/321.98 c | 152703 | 43082 600262 2684082 | 2147483647 152703 28 | 0.000 % |
323.03/323.04 c | 153198 | 43082 600262 2684082 | 2147483647 153198 28 | 0.000 % |
324.23/324.22 c | 153741 | 43082 600262 2684082 | 2147483647 153741 28 | 0.000 % |
325.13/325.15 c | 154340 | 43082 600262 2684082 | 2147483647 154340 28 | 0.000 % |
327.23/327.25 c | 154995 | 43082 600262 2684082 | 2147483647 154995 28 | 0.000 % |
329.33/329.37 c | 155717 | 43082 600262 2684082 | 2147483647 155717 28 | 0.000 % |
331.93/331.97 c | 156510 | 43082 600262 2684082 | 2147483647 156510 28 | 0.000 % |
333.83/333.85 c | 157384 | 43082 600262 2684082 | 2147483647 157384 28 | 0.000 % |
335.93/335.97 c | 158344 | 43082 600262 2684082 | 2147483647 158344 28 | 0.000 % |
338.23/338.29 c | 159397 | 43082 600262 2684082 | 2147483647 159397 28 | 0.000 % |
340.93/340.96 c | 160555 | 43082 600262 2684082 | 2147483647 160555 28 | 0.000 % |
343.83/343.81 c | 161829 | 43082 600262 2684082 | 2147483647 161829 28 | 0.000 % |
347.23/347.28 c | 163230 | 43082 600262 2684082 | 2147483647 163230 28 | 0.000 % |
350.83/350.88 c | 164771 | 43082 600262 2684082 | 2147483647 164771 28 | 0.000 % |
354.13/354.12 c | 166465 | 43082 600262 2684082 | 2147483647 166465 28 | 0.000 % |
354.34/354.37 c | 166567 | 43082 600262 2684082 | 2147483647 166567 28 | 0.000 % |
354.63/354.64 c | 166678 | 43082 600262 2684082 | 2147483647 166678 28 | 0.000 % |
354.83/354.84 c | 166801 | 43082 600262 2684082 | 2147483647 166801 28 | 0.000 % |
355.23/355.23 c | 166934 | 43082 600262 2684082 | 2147483647 166934 28 | 0.000 % |
355.53/355.53 c | 167080 | 43082 600262 2684082 | 2147483647 167080 28 | 0.000 % |
356.03/356.05 c | 167240 | 43082 600262 2684082 | 2147483647 167240 28 | 0.000 % |
356.33/356.38 c | 167416 | 43082 600262 2684082 | 2147483647 167416 28 | 0.000 % |
356.93/356.91 c | 167610 | 43082 600262 2684082 | 2147483647 167610 28 | 0.000 % |
357.33/357.40 c | 167824 | 43082 600262 2684082 | 2147483647 167824 28 | 0.000 % |
358.03/358.07 c | 168058 | 43082 600262 2684082 | 2147483647 168058 28 | 0.000 % |
358.43/358.49 c | 168314 | 43082 600262 2684082 | 2147483647 168314 28 | 0.000 % |
358.93/358.97 c | 168595 | 43082 600262 2684082 | 2147483647 168595 28 | 0.000 % |
359.84/359.86 c | 168905 | 43082 600262 2684082 | 2147483647 168905 28 | 0.000 % |
360.63/360.69 c | 169244 | 43082 600262 2684082 | 2147483647 169244 28 | 0.000 % |
361.33/361.40 c | 169617 | 43082 600262 2684082 | 2147483647 169617 28 | 0.000 % |
362.33/362.35 c | 170026 | 43082 600262 2684082 | 2147483647 170026 28 | 0.000 % |
363.43/363.43 c | 170475 | 43082 600262 2684082 | 2147483647 170475 28 | 0.000 % |
364.73/364.73 c | 170968 | 43082 600262 2684082 | 2147483647 170968 28 | 0.000 % |
366.23/366.25 c | 171512 | 43082 600262 2684082 | 2147483647 171512 28 | 0.000 % |
367.83/367.87 c | 172108 | 43082 600262 2684082 | 2147483647 172108 28 | 0.000 % |
369.53/369.56 c | 172763 | 43082 600262 2684082 | 2147483647 172763 28 | 0.000 % |
371.43/371.44 c | 173483 | 43082 600262 2684082 | 2147483647 173483 28 | 0.000 % |
373.43/373.49 c | 174275 | 43082 600262 2684082 | 2147483647 174275 28 | 0.000 % |
375.63/375.63 c | 175146 | 43082 600262 2684082 | 2147483647 175146 28 | 0.000 % |
377.73/377.76 c | 176104 | 43082 600262 2684082 | 2147483647 176104 28 | 0.000 % |
380.03/380.03 c | 177159 | 43082 600262 2684082 | 2147483647 177159 28 | 0.000 % |
383.53/383.58 c | 178317 | 43082 600262 2684082 | 2147483647 178317 28 | 0.000 % |
387.03/387.05 c | 179590 | 43082 600262 2684082 | 2147483647 179590 28 | 0.000 % |
390.53/390.53 c | 180995 | 43082 600262 2684082 | 2147483647 180995 28 | 0.000 % |
393.83/393.90 c | 182536 | 43082 600262 2684082 | 2147483647 182536 28 | 0.000 % |
397.24/397.29 c | 184236 | 43082 600262 2684082 | 2147483647 184236 28 | 0.000 % |
403.24/403.29 c | 186100 | 43082 600262 2684082 | 2147483647 186100 28 | 0.000 % |
403.54/403.52 c | 186200 | 43082 600262 2684082 | 2147483647 186200 28 | 0.000 % |
403.84/403.82 c | 186310 | 43082 600262 2684082 | 2147483647 186310 28 | 0.000 % |
404.04/404.09 c | 186433 | 43082 600262 2684082 | 2147483647 186433 28 | 0.000 % |
404.44/404.49 c | 186566 | 43082 600262 2684082 | 2147483647 186566 28 | 0.000 % |
404.74/404.76 c | 186712 | 43082 600262 2684082 | 2147483647 186712 28 | 0.000 % |
405.14/405.12 c | 186874 | 43082 600262 2684082 | 2147483647 186874 28 | 0.000 % |
405.54/405.58 c | 187050 | 43082 600262 2684082 | 2147483647 187050 28 | 0.000 % |
405.94/405.97 c | 187244 | 43082 600262 2684082 | 2147483647 187244 28 | 0.000 % |
406.54/406.58 c | 187457 | 43082 600262 2684082 | 2147483647 187457 28 | 0.000 % |
407.04/407.11 c | 187693 | 43082 600262 2684082 | 2147483647 187693 28 | 0.000 % |
407.74/407.76 c | 187953 | 43082 600262 2684082 | 2147483647 187953 28 | 0.000 % |
408.24/408.31 c | 188235 | 43082 600262 2684082 | 2147483647 188235 28 | 0.000 % |
409.14/409.19 c | 188544 | 43082 600262 2684082 | 2147483647 188544 28 | 0.000 % |
410.14/410.17 c | 188884 | 43082 600262 2684082 | 2147483647 188884 28 | 0.000 % |
411.74/411.81 c | 189256 | 43082 600262 2684082 | 2147483647 189256 28 | 0.000 % |
412.74/412.80 c | 189666 | 43082 600262 2684082 | 2147483647 189666 28 | 0.000 % |
413.74/413.73 c | 190115 | 43082 600262 2684082 | 2147483647 190115 28 | 0.000 % |
414.64/414.63 c | 190609 | 43082 600262 2684082 | 2147483647 190609 28 | 0.000 % |
416.14/416.13 c | 191151 | 43082 600262 2684082 | 2147483647 191151 28 | 0.000 % |
417.54/417.53 c | 191748 | 43082 600262 2684082 | 2147483647 191748 28 | 0.000 % |
419.04/419.06 c | 192403 | 43082 600262 2684082 | 2147483647 192403 28 | 0.000 % |
421.24/421.23 c | 193123 | 43082 600262 2684082 | 2147483647 193123 28 | 0.000 % |
423.34/423.39 c | 193916 | 43082 600262 2684082 | 2147483647 193916 28 | 0.000 % |
425.64/425.66 c | 194787 | 43082 600262 2684082 | 2147483647 194787 28 | 0.000 % |
427.74/427.78 c | 195746 | 43082 600262 2684082 | 2147483647 195746 28 | 0.000 % |
430.14/430.12 c | 196801 | 43082 600262 2684082 | 2147483647 196801 28 | 0.000 % |
433.14/433.12 c | 197959 | 43082 600262 2684082 | 2147483647 197959 29 | 0.000 % |
435.84/435.87 c | 199232 | 43082 600262 2684082 | 2147483647 199232 29 | 0.000 % |
439.04/439.06 c | 200633 | 43082 600262 2684082 | 2147483647 200633 29 | 0.000 % |
442.64/442.66 c | 202173 | 43082 600262 2684082 | 2147483647 202173 29 | 0.000 % |
446.44/446.51 c | 203868 | 43082 600262 2684082 | 2147483647 203868 29 | 0.000 % |
449.94/449.97 c | 205731 | 43082 600262 2684082 | 2147483647 205731 29 | 0.000 % |
455.34/455.33 c | 207780 | 43082 600262 2684082 | 2147483647 207780 29 | 0.000 % |
455.54/455.56 c | 207882 | 43082 600262 2684082 | 2147483647 207882 29 | 0.000 % |
455.74/455.79 c | 207992 | 43082 600262 2684082 | 2147483647 207992 29 | 0.000 % |
456.14/456.11 c | 208114 | 43082 600262 2684082 | 2147483647 208114 29 | 0.000 % |
456.34/456.38 c | 208247 | 43082 600262 2684082 | 2147483647 208247 29 | 0.000 % |
456.64/456.70 c | 208393 | 43082 600262 2684082 | 2147483647 208393 29 | 0.000 % |
457.14/457.21 c | 208553 | 43082 600262 2684082 | 2147483647 208553 29 | 0.000 % |
457.64/457.64 c | 208729 | 43082 600262 2684082 | 2147483647 208729 29 | 0.000 % |
458.14/458.19 c | 208922 | 43082 600262 2684082 | 2147483647 208922 29 | 0.000 % |
458.84/458.89 c | 209134 | 43082 600262 2684082 | 2147483647 209134 29 | 0.000 % |
459.44/459.51 c | 209367 | 43082 600262 2684082 | 2147483647 209367 29 | 0.000 % |
459.94/459.94 c | 209623 | 43082 600262 2684082 | 2147483647 209623 29 | 0.000 % |
460.44/460.51 c | 209904 | 43082 600262 2684082 | 2147483647 209904 29 | 0.000 % |
461.14/461.18 c | 210213 | 43082 600262 2684082 | 2147483647 210213 29 | 0.000 % |
461.84/461.90 c | 210552 | 43082 600262 2684082 | 2147483647 210552 29 | 0.000 % |
462.84/462.90 c | 210925 | 43082 600262 2684082 | 2147483647 210925 29 | 0.000 % |
463.94/463.92 c | 211334 | 43082 600262 2684082 | 2147483647 211334 29 | 0.000 % |
465.04/465.04 c | 211783 | 43082 600262 2684082 | 2147483647 211783 29 | 0.000 % |
466.14/466.14 c | 212276 | 43082 600262 2684082 | 2147483647 212276 29 | 0.000 % |
467.34/467.34 c | 212819 | 43082 600262 2684082 | 2147483647 212819 29 | 0.000 % |
468.75/468.73 c | 213416 | 43082 600262 2684082 | 2147483647 213416 29 | 0.000 % |
470.24/470.24 c | 214072 | 43082 600262 2684082 | 2147483647 214072 29 | 0.000 % |
472.05/472.08 c | 214792 | 43082 600262 2684082 | 2147483647 214792 29 | 0.000 % |
473.84/473.83 c | 215584 | 43082 600262 2684082 | 2147483647 215584 29 | 0.000 % |
475.94/475.95 c | 216456 | 43082 600262 2684082 | 2147483647 216456 29 | 0.000 % |
478.65/478.71 c | 217415 | 43082 600262 2684082 | 2147483647 217415 29 | 0.000 % |
481.24/481.25 c | 218468 | 43082 600262 2684082 | 2147483647 218468 29 | 0.000 % |
483.84/483.81 c | 219626 | 43082 600262 2684082 | 2147483647 219626 29 | 0.000 % |
487.74/487.76 c | 220899 | 43082 600262 2684082 | 2147483647 220899 29 | 0.000 % |
491.04/491.01 c | 222299 | 43082 600262 2684082 | 2147483647 222299 29 | 0.000 % |
494.34/494.34 c | 223839 | 43082 600262 2684082 | 2147483647 223839 29 | 0.000 % |
497.84/497.81 c | 225533 | 43082 600262 2684082 | 2147483647 225533 29 | 0.000 % |
502.14/502.16 c | 227396 | 43082 600262 2684082 | 2147483647 227396 29 | 0.000 % |
508.64/508.66 c | 229445 | 43082 600262 2684082 | 2147483647 229445 29 | 0.000 % |
514.34/514.37 c | 231698 | 43082 600262 2684082 | 2147483647 231698 29 | 0.000 % |
514.64/514.61 c | 231798 | 43082 600262 2684082 | 2147483647 231798 29 | 0.000 % |
514.95/515.01 c | 231910 | 43082 600262 2684082 | 2147483647 231910 29 | 0.000 % |
515.34/515.36 c | 232031 | 43082 600262 2684082 | 2147483647 232031 29 | 0.000 % |
515.74/515.80 c | 232164 | 43082 600262 2684082 | 2147483647 232164 29 | 0.000 % |
516.05/516.02 c | 232313 | 43082 600262 2684082 | 2147483647 232313 29 | 0.000 % |
516.54/516.52 c | 232475 | 43082 600262 2684082 | 2147483647 232475 29 | 0.000 % |
517.04/517.10 c | 232651 | 43082 600262 2684082 | 2147483647 232651 29 | 0.000 % |
517.44/517.51 c | 232844 | 43082 600262 2684082 | 2147483647 232844 29 | 0.000 % |
517.74/517.78 c | 233056 | 43082 600262 2684082 | 2147483647 233056 29 | 0.000 % |
518.25/518.23 c | 233289 | 43082 600262 2684082 | 2147483647 233289 29 | 0.000 % |
518.74/518.75 c | 233547 | 43082 600262 2684082 | 2147483647 233547 29 | 0.000 % |
519.74/519.74 c | 233831 | 43082 600262 2684082 | 2147483647 233831 29 | 0.000 % |
520.64/520.62 c | 234140 | 43082 600262 2684082 | 2147483647 234140 29 | 0.000 % |
521.34/521.39 c | 234480 | 43082 600262 2684082 | 2147483647 234480 29 | 0.000 % |
522.14/522.12 c | 234852 | 43082 600262 2684082 | 2147483647 234852 29 | 0.000 % |
523.05/523.05 c | 235262 | 43082 600262 2684082 | 2147483647 235262 29 | 0.000 % |
523.95/524.01 c | 235711 | 43082 600262 2684082 | 2147483647 235711 29 | 0.000 % |
525.45/525.48 c | 236204 | 43082 600262 2684082 | 2147483647 236204 29 | 0.000 % |
526.75/526.82 c | 236747 | 43082 600262 2684082 | 2147483647 236747 29 | 0.000 % |
528.35/528.40 c | 237344 | 43082 600262 2684082 | 2147483647 237344 29 | 0.000 % |
530.15/530.20 c | 238001 | 43082 600262 2684082 | 2147483647 238001 29 | 0.000 % |
532.75/532.76 c | 238722 | 43082 600262 2684082 | 2147483647 238722 29 | 0.000 % |
535.05/535.08 c | 239515 | 43082 600262 2684082 | 2147483647 239515 29 | 0.000 % |
536.85/536.84 c | 240386 | 43082 600262 2684082 | 2147483647 240386 29 | 0.000 % |
538.65/538.66 c | 241344 | 43082 600262 2684082 | 2147483647 241344 29 | 0.000 % |
542.15/542.16 c | 242398 | 43082 600262 2684082 | 2147483647 242398 29 | 0.000 % |
545.45/545.44 c | 243556 | 43082 600262 2684082 | 2147483647 243556 29 | 0.000 % |
548.35/548.37 c | 244829 | 43082 600262 2684082 | 2147483647 244829 29 | 0.000 % |
552.05/552.03 c | 246229 | 43082 600262 2684082 | 2147483647 246229 29 | 0.000 % |
557.55/557.57 c | 247770 | 43082 600262 2684082 | 2147483647 247770 29 | 0.000 % |
560.75/560.80 c | 249464 | 43082 600262 2684082 | 2147483647 249464 29 | 0.000 % |
565.15/565.16 c | 251329 | 43082 600262 2684082 | 2147483647 251329 29 | 0.000 % |
571.65/571.71 c | 253381 | 43082 600262 2684082 | 2147483647 253381 29 | 0.000 % |
574.65/574.67 c | 255634 | 43082 600262 2684082 | 2147483647 255634 29 | 0.000 % |
578.45/578.51 c | 258113 | 43082 600262 2684082 | 2147483647 258113 29 | 0.000 % |
578.75/578.78 c | 258213 | 43082 600262 2684082 | 2147483647 258213 29 | 0.000 % |
579.15/579.14 c | 258323 | 43082 600262 2684082 | 2147483647 258323 29 | 0.000 % |
579.55/579.58 c | 258444 | 43082 600262 2684082 | 2147483647 258444 29 | 0.000 % |
579.95/579.93 c | 258577 | 43082 600262 2684082 | 2147483647 258577 29 | 0.000 % |
580.25/580.31 c | 258724 | 43082 600262 2684082 | 2147483647 258724 29 | 0.000 % |
580.55/580.61 c | 258884 | 43082 600262 2684082 | 2147483647 258884 29 | 0.000 % |
581.15/581.19 c | 259060 | 43082 600262 2684082 | 2147483647 259060 29 | 0.000 % |
581.45/581.48 c | 259254 | 43082 600262 2684082 | 2147483647 259254 29 | 0.000 % |
581.85/581.91 c | 259466 | 43082 600262 2684082 | 2147483647 259466 29 | 0.000 % |
582.55/582.59 c | 259699 | 43082 600262 2684082 | 2147483647 259699 29 | 0.000 % |
583.15/583.20 c | 259956 | 43082 600262 2684082 | 2147483647 259956 29 | 0.000 % |
583.85/583.88 c | 260239 | 43082 600262 2684082 | 2147483647 260239 29 | 0.000 % |
584.65/584.62 c | 260548 | 43082 600262 2684082 | 2147483647 260548 29 | 0.000 % |
585.95/585.93 c | 260888 | 43082 600262 2684082 | 2147483647 260888 29 | 0.000 % |
586.85/586.83 c | 261261 | 43082 600262 2684082 | 2147483647 261261 29 | 0.000 % |
588.05/588.08 c | 261670 | 43082 600262 2684082 | 2147483647 261670 29 | 0.000 % |
588.95/588.98 c | 262120 | 43082 600262 2684082 | 2147483647 262120 29 | 0.000 % |
590.15/590.14 c | 262614 | 43082 600262 2684082 | 2147483647 262614 29 | 0.000 % |
591.65/591.66 c | 263157 | 43082 600262 2684082 | 2147483647 263157 29 | 0.000 % |
593.95/593.96 c | 263754 | 43082 600262 2684082 | 2147483647 263754 29 | 0.000 % |
596.36/596.37 c | 264409 | 43082 600262 2684082 | 2147483647 264409 29 | 0.000 % |
598.25/598.26 c | 265132 | 43082 600262 2684082 | 2147483647 265132 29 | 0.000 % |
600.05/600.02 c | 265924 | 43082 600262 2684082 | 2147483647 265924 29 | 0.000 % |
602.05/602.10 c | 266796 | 43082 600262 2684082 | 2147483647 266796 29 | 0.000 % |
605.25/605.30 c | 267754 | 43082 600262 2684082 | 2147483647 267754 29 | 0.000 % |
607.95/607.97 c | 268808 | 43082 600262 2684082 | 2147483647 268808 29 | 0.000 % |
610.75/610.78 c | 269966 | 43082 600262 2684082 | 2147483647 269966 29 | 0.000 % |
613.85/613.86 c | 271239 | 43082 600262 2684082 | 2147483647 271239 29 | 0.000 % |
617.55/617.54 c | 272640 | 43082 600262 2684082 | 2147483647 272640 29 | 0.000 % |
622.55/622.56 c | 274180 | 43082 600262 2684082 | 2147483647 274180 29 | 0.000 % |
627.05/627.07 c | 275881 | 43082 600262 2684082 | 2147483647 275881 29 | 0.000 % |
632.45/632.47 c | 277745 | 43082 600262 2684082 | 2147483647 277745 29 | 0.000 % |
638.75/638.77 c | 279797 | 43082 600262 2684082 | 2147483647 279797 29 | 0.000 % |
646.65/646.63 c | 282050 | 43082 600262 2684082 | 2147483647 282050 30 | 0.000 % |
654.55/654.60 c | 284528 | 43082 600262 2684082 | 2147483647 284528 30 | 0.000 % |
661.65/661.64 c | 287254 | 43082 600262 2684082 | 2147483647 287254 30 | 0.000 % |
661.95/661.94 c | 287356 | 43082 600262 2684082 | 2147483647 287356 30 | 0.000 % |
662.25/662.28 c | 287466 | 43082 600262 2684082 | 2147483647 287466 30 | 0.000 % |
662.75/662.76 c | 287587 | 43082 600262 2684082 | 2147483647 287587 30 | 0.000 % |
663.35/663.38 c | 287721 | 43082 600262 2684082 | 2147483647 287721 30 | 0.000 % |
664.05/664.01 c | 287867 | 43082 600262 2684082 | 2147483647 287867 30 | 0.000 % |
664.55/664.53 c | 288029 | 43082 600262 2684082 | 2147483647 288029 30 | 0.000 % |
665.05/665.02 c | 288205 | 43082 600262 2684082 | 2147483647 288205 30 | 0.000 % |
665.45/665.45 c | 288398 | 43082 600262 2684082 | 2147483647 288398 30 | 0.000 % |
665.95/665.99 c | 288610 | 43082 600262 2684082 | 2147483647 288610 30 | 0.000 % |
666.55/666.60 c | 288844 | 43082 600262 2684082 | 2147483647 288844 30 | 0.000 % |
667.25/667.24 c | 289100 | 43082 600262 2684082 | 2147483647 289100 30 | 0.000 % |
667.85/667.81 c | 289382 | 43082 600262 2684082 | 2147483647 289382 30 | 0.000 % |
668.65/668.62 c | 289691 | 43082 600262 2684082 | 2147483647 289691 30 | 0.000 % |
669.25/669.28 c | 290030 | 43082 600262 2684082 | 2147483647 290030 30 | 0.000 % |
670.45/670.42 c | 290404 | 43082 600262 2684082 | 2147483647 290404 30 | 0.000 % |
671.45/671.50 c | 290813 | 43082 600262 2684082 | 2147483647 290813 30 | 0.000 % |
672.35/672.38 c | 291262 | 43082 600262 2684082 | 2147483647 291262 30 | 0.000 % |
673.45/673.46 c | 291756 | 43082 600262 2684082 | 2147483647 291756 30 | 0.000 % |
675.15/675.13 c | 292298 | 43082 600262 2684082 | 2147483647 292298 30 | 0.000 % |
677.05/677.04 c | 292895 | 43082 600262 2684082 | 2147483647 292895 30 | 0.000 % |
679.45/679.44 c | 293551 | 43082 600262 2684082 | 2147483647 293551 30 | 0.000 % |
680.95/680.99 c | 294272 | 43082 600262 2684082 | 2147483647 294272 30 | 0.000 % |
683.65/683.69 c | 295064 | 43082 600262 2684082 | 2147483647 295064 30 | 0.000 % |
686.05/686.06 c | 295935 | 43082 600262 2684082 | 2147483647 295935 29 | 0.000 % |
688.25/688.22 c | 296893 | 43082 600262 2684082 | 2147483647 296893 29 | 0.000 % |
691.45/691.47 c | 297948 | 43082 600262 2684082 | 2147483647 297948 30 | 0.000 % |
694.85/694.85 c | 299106 | 43082 600262 2684082 | 2147483647 299106 30 | 0.000 % |
698.25/698.22 c | 300379 | 43082 600262 2684082 | 2147483647 300379 30 | 0.000 % |
704.55/704.59 c | 301779 | 43082 600262 2684082 | 2147483647 301779 30 | 0.000 % |
708.15/708.13 c | 303320 | 43082 600262 2684082 | 2147483647 303320 30 | 0.000 % |
712.35/712.37 c | 305016 | 43082 600262 2684082 | 2147483647 305016 30 | 0.000 % |
716.25/716.22 c | 306880 | 43082 600262 2684082 | 2147483647 306880 30 | 0.000 % |
721.65/721.70 c | 308929 | 43082 600262 2684082 | 2147483647 308929 30 | 0.000 % |
727.05/727.09 c | 311182 | 43082 600262 2684082 | 2147483647 311182 30 | 0.000 % |
733.65/733.69 c | 313662 | 43082 600262 2684082 | 2147483647 313662 30 | 0.000 % |
740.65/740.70 c | 316387 | 43082 600262 2684082 | 2147483647 316387 30 | 0.000 % |
750.05/750.01 c | 319384 | 43082 600262 2684082 | 2147483647 319384 30 | 0.000 % |
750.36/750.33 c | 319484 | 43082 600262 2684082 | 2147483647 319484 30 | 0.000 % |
750.65/750.70 c | 319595 | 43082 600262 2684082 | 2147483647 319595 30 | 0.000 % |
751.05/751.05 c | 319716 | 43082 600262 2684082 | 2147483647 319716 30 | 0.000 % |
751.35/751.33 c | 319850 | 43082 600262 2684082 | 2147483647 319850 30 | 0.000 % |
751.65/751.69 c | 320000 | 43082 600262 2684082 | 2147483647 320000 30 | 0.000 % |
752.25/752.24 c | 320161 | 43082 600262 2684082 | 2147483647 320161 30 | 0.000 % |
752.75/752.72 c | 320337 | 43082 600262 2684082 | 2147483647 320337 30 | 0.000 % |
753.15/753.20 c | 320530 | 43082 600262 2684082 | 2147483647 320530 30 | 0.000 % |
753.95/754.00 c | 320742 | 43082 600262 2684082 | 2147483647 320742 30 | 0.000 % |
754.65/754.71 c | 320977 | 43082 600262 2684082 | 2147483647 320977 30 | 0.000 % |
755.35/755.35 c | 321234 | 43082 600262 2684082 | 2147483647 321234 30 | 0.000 % |
755.86/755.90 c | 321515 | 43082 600262 2684082 | 2147483647 321515 30 | 0.000 % |
756.85/756.82 c | 321824 | 43082 600262 2684082 | 2147483647 321824 30 | 0.000 % |
757.85/757.88 c | 322163 | 43082 600262 2684082 | 2147483647 322163 30 | 0.000 % |
758.75/758.77 c | 322535 | 43082 600262 2684082 | 2147483647 322535 30 | 0.000 % |
760.15/760.13 c | 322945 | 43082 600262 2684082 | 2147483647 322945 30 | 0.000 % |
761.15/761.14 c | 323395 | 43082 600262 2684082 | 2147483647 323395 30 | 0.000 % |
762.05/762.04 c | 323890 | 43082 600262 2684082 | 2147483647 323890 30 | 0.000 % |
762.95/763.00 c | 324433 | 43082 600262 2684082 | 2147483647 324433 30 | 0.000 % |
764.25/764.21 c | 325031 | 43082 600262 2684082 | 2147483647 325031 30 | 0.000 % |
765.76/765.75 c | 325687 | 43082 600262 2684082 | 2147483647 325687 30 | 0.000 % |
767.96/767.97 c | 326407 | 43082 600262 2684082 | 2147483647 326407 30 | 0.000 % |
770.05/770.08 c | 327199 | 43082 600262 2684082 | 2147483647 327199 30 | 0.000 % |
772.25/772.21 c | 328070 | 43082 600262 2684082 | 2147483647 328070 30 | 0.000 % |
774.05/774.03 c | 329028 | 43082 600262 2684082 | 2147483647 329028 30 | 0.000 % |
777.06/777.11 c | 330081 | 43082 600262 2684082 | 2147483647 330081 30 | 0.000 % |
780.46/780.43 c | 331240 | 43082 600262 2684082 | 2147483647 331240 30 | 0.000 % |
784.26/784.28 c | 332513 | 43082 600262 2684082 | 2147483647 332513 30 | 0.000 % |
788.66/788.61 c | 333913 | 43082 600262 2684082 | 2147483647 333913 30 | 0.000 % |
794.46/794.50 c | 335453 | 43082 600262 2684082 | 2147483647 335453 30 | 0.000 % |
800.06/800.07 c | 337147 | 43082 600262 2684082 | 2147483647 337147 30 | 0.000 % |
804.66/804.68 c | 339010 | 43082 600262 2684082 | 2147483647 339010 30 | 0.000 % |
811.36/811.38 c | 341059 | 43082 600262 2684082 | 2147483647 341059 30 | 0.000 % |
818.06/818.06 c | 343313 | 43082 600262 2684082 | 2147483647 343313 30 | 0.000 % |
827.26/827.26 c | 345793 | 43082 600262 2684082 | 2147483647 345793 30 | 0.000 % |
836.86/836.85 c | 348518 | 43082 600262 2684082 | 2147483647 348518 31 | 0.000 % |
845.36/845.32 c | 351515 | 43082 600262 2684082 | 2147483647 351515 31 | 0.000 % |
853.96/853.94 c | 354811 | 43082 600262 2684082 | 2147483647 354811 31 | 0.000 % |
854.36/854.32 c | 354911 | 43082 600262 2684082 | 2147483647 354911 31 | 0.000 % |
854.87/854.84 c | 355022 | 43082 600262 2684082 | 2147483647 355022 31 | 0.000 % |
855.16/855.21 c | 355143 | 43082 600262 2684082 | 2147483647 355143 31 | 0.000 % |
855.66/855.64 c | 355281 | 43082 600262 2684082 | 2147483647 355281 31 | 0.000 % |
856.16/856.15 c | 355427 | 43082 600262 2684082 | 2147483647 355427 31 | 0.000 % |
856.56/856.55 c | 355588 | 43082 600262 2684082 | 2147483647 355588 31 | 0.000 % |
857.26/857.31 c | 355767 | 43082 600262 2684082 | 2147483647 355767 31 | 0.000 % |
857.76/857.80 c | 355960 | 43082 600262 2684082 | 2147483647 355960 31 | 0.000 % |
858.36/858.41 c | 356172 | 43082 600262 2684082 | 2147483647 356172 31 | 0.000 % |
859.16/859.16 c | 356405 | 43082 600262 2684082 | 2147483647 356405 31 | 0.000 % |
860.16/860.11 c | 356664 | 43082 600262 2684082 | 2147483647 356664 31 | 0.000 % |
861.06/861.11 c | 356947 | 43082 600262 2684082 | 2147483647 356947 31 | 0.000 % |
862.26/862.23 c | 357259 | 43082 600262 2684082 | 2147483647 357259 31 | 0.000 % |
863.86/863.86 c | 357598 | 43082 600262 2684082 | 2147483647 357598 31 | 0.000 % |
865.66/865.64 c | 357970 | 43082 600262 2684082 | 2147483647 357970 31 | 0.000 % |
868.16/868.16 c | 358380 | 43082 600262 2684082 | 2147483647 358380 31 | 0.000 % |
869.66/869.66 c | 358830 | 43082 600262 2684082 | 2147483647 358830 31 | 0.000 % |
870.76/870.77 c | 359326 | 43082 600262 2684082 | 2147483647 359326 31 | 0.000 % |
872.47/872.45 c | 359869 | 43082 600262 2684082 | 2147483647 359869 31 | 0.000 % |
873.96/873.99 c | 360466 | 43082 600262 2684082 | 2147483647 360466 31 | 0.000 % |
876.16/876.11 c | 361124 | 43082 600262 2684082 | 2147483647 361124 31 | 0.000 % |
878.56/878.53 c | 361844 | 43082 600262 2684082 | 2147483647 361844 31 | 0.000 % |
881.27/881.22 c | 362636 | 43082 600262 2684082 | 2147483647 362636 31 | 0.000 % |
883.86/883.82 c | 363508 | 43082 600262 2684082 | 2147483647 363508 31 | 0.000 % |
887.06/887.06 c | 364466 | 43082 600262 2684082 | 2147483647 364466 31 | 0.000 % |
890.26/890.23 c | 365520 | 43082 600262 2684082 | 2147483647 365520 31 | 0.000 % |
892.96/892.92 c | 366679 | 43082 600262 2684082 | 2147483647 366679 31 | 0.000 % |
897.26/897.24 c | 367952 | 43082 600262 2684082 | 2147483647 367952 31 | 0.000 % |
900.46/900.44 c | 369352 | 43082 600262 2684082 | 2147483647 369352 31 | 0.000 % |
904.97/904.97 c | 370892 | 43082 600262 2684082 | 2147483647 370892 31 | 0.000 % |
908.37/908.39 c | 372587 | 43082 600262 2684082 | 2147483647 372587 31 | 0.000 % |
914.17/914.17 c | 374451 | 43082 600262 2684082 | 2147483647 374451 31 | 0.000 % |
919.67/919.64 c | 376500 | 43082 600262 2684082 | 2147483647 376500 31 | 0.000 % |
925.97/926.01 c | 378755 | 43082 600262 2684082 | 2147483647 378755 31 | 0.000 % |
933.77/933.78 c | 381234 | 43082 600262 2684082 | 2147483647 381234 31 | 0.000 % |
941.27/941.22 c | 383959 | 43082 600262 2684082 | 2147483647 383959 31 | 0.000 % |
950.37/950.31 c | 386956 | 43082 600262 2684082 | 2147483647 386956 31 | 0.000 % |
959.27/959.22 c | 390252 | 43082 600262 2684082 | 2147483647 390252 31 | 0.000 % |
969.97/969.95 c | 393878 | 43082 600262 2684082 | 2147483647 393878 31 | 0.000 % |
970.37/970.40 c | 393980 | 43082 600262 2684082 | 2147483647 393980 31 | 0.000 % |
970.67/970.64 c | 394090 | 43082 600262 2684082 | 2147483647 394090 31 | 0.000 % |
970.97/970.97 c | 394211 | 43082 600262 2684082 | 2147483647 394211 31 | 0.000 % |
971.57/971.52 c | 394344 | 43082 600262 2684082 | 2147483647 394344 31 | 0.000 % |
971.97/971.92 c | 394492 | 43082 600262 2684082 | 2147483647 394492 31 | 0.000 % |
972.27/972.30 c | 394652 | 43082 600262 2684082 | 2147483647 394652 31 | 0.000 % |
973.07/973.08 c | 394828 | 43082 600262 2684082 | 2147483647 394828 31 | 0.000 % |
973.77/973.72 c | 395021 | 43082 600262 2684082 | 2147483647 395021 31 | 0.000 % |
974.87/974.84 c | 395233 | 43082 600262 2684082 | 2147483647 395233 31 | 0.000 % |
975.67/975.71 c | 395466 | 43082 600262 2684082 | 2147483647 395466 31 | 0.000 % |
976.37/976.36 c | 395723 | 43082 600262 2684082 | 2147483647 395723 31 | 0.000 % |
977.17/977.16 c | 396004 | 43082 600262 2684082 | 2147483647 396004 31 | 0.000 % |
978.27/978.24 c | 396316 | 43082 600262 2684082 | 2147483647 396316 31 | 0.000 % |
979.37/979.34 c | 396657 | 43082 600262 2684082 | 2147483647 396657 31 | 0.000 % |
980.77/980.81 c | 397029 | 43082 600262 2684082 | 2147483647 397029 31 | 0.000 % |
982.27/982.28 c | 397441 | 43082 600262 2684082 | 2147483647 397441 31 | 0.000 % |
984.37/984.35 c | 397892 | 43082 600262 2684082 | 2147483647 397892 31 | 0.000 % |
985.57/985.53 c | 398385 | 43082 600262 2684082 | 2147483647 398385 31 | 0.000 % |
986.77/986.77 c | 398927 | 43082 600262 2684082 | 2147483647 398927 31 | 0.000 % |
988.37/988.40 c | 399523 | 43082 600262 2684082 | 2147483647 399523 31 | 0.000 % |
990.97/990.94 c | 400178 | 43082 600262 2684082 | 2147483647 400178 31 | 0.000 % |
993.37/993.42 c | 400899 | 43082 600262 2684082 | 2147483647 400899 31 | 0.000 % |
995.77/995.76 c | 401693 | 43082 600262 2684082 | 2147483647 401693 31 | 0.000 % |
998.47/998.46 c | 402564 | 43082 600262 2684082 | 2147483647 402564 31 | 0.000 % |
1001.37/1001.37 c | 403522 | 43082 600262 2684082 | 2147483647 403522 31 | 0.000 % |
1005.57/1005.54 c | 404577 | 43082 600262 2684082 | 2147483647 404577 31 | 0.000 % |
1009.46/1009.42 c | 405736 | 43082 600262 2684082 | 2147483647 405736 31 | 0.000 % |
1013.36/1013.34 c | 407010 | 43082 600262 2684082 | 2147483647 407010 31 | 0.000 % |
1017.86/1017.85 c | 408410 | 43082 600262 2684082 | 2147483647 408410 31 | 0.000 % |
1021.96/1021.92 c | 409953 | 43082 600262 2684082 | 2147483647 409953 31 | 0.000 % |
1027.46/1027.49 c | 411648 | 43082 600262 2684082 | 2147483647 411648 31 | 0.000 % |
1034.47/1034.46 c | 413512 | 43082 600262 2684082 | 2147483647 413512 31 | 0.000 % |
1041.47/1041.50 c | 415561 | 43082 600262 2684082 | 2147483647 415561 31 | 0.000 % |
1048.57/1048.54 c | 417814 | 43082 600262 2684082 | 2147483647 417814 31 | 0.000 % |
1054.37/1054.37 c | 420293 | 43082 600262 2684082 | 2147483647 420293 31 | 0.000 % |
1063.07/1063.06 c | 423018 | 43082 600262 2684082 | 2147483647 423018 31 | 0.000 % |
1073.57/1073.61 c | 426015 | 43082 600262 2684082 | 2147483647 426015 31 | 0.000 % |
1082.47/1082.48 c | 429313 | 43082 600262 2684082 | 2147483647 429313 31 | 0.000 % |
1092.47/1092.46 c | 432939 | 43082 600262 2684082 | 2147483647 432939 31 | 0.000 % |
1106.07/1106.06 c | 436926 | 43082 600262 2684082 | 2147483647 436926 31 | 0.000 % |
1106.57/1106.54 c | 437027 | 43082 600262 2684082 | 2147483647 437027 31 | 0.000 % |
1106.97/1106.96 c | 437137 | 43082 600262 2684082 | 2147483647 437137 31 | 0.000 % |
1107.47/1107.47 c | 437260 | 43082 600262 2684082 | 2147483647 437260 31 | 0.000 % |
1107.77/1107.80 c | 437393 | 43082 600262 2684082 | 2147483647 437393 31 | 0.000 % |
1108.47/1108.47 c | 437539 | 43082 600262 2684082 | 2147483647 437539 31 | 0.000 % |
1109.27/1109.23 c | 437699 | 43082 600262 2684082 | 2147483647 437699 31 | 0.000 % |
1109.97/1109.99 c | 437877 | 43082 600262 2684082 | 2147483647 437877 31 | 0.000 % |
1110.77/1110.80 c | 438070 | 43082 600262 2684082 | 2147483647 438070 31 | 0.000 % |
1111.47/1111.47 c | 438283 | 43082 600262 2684082 | 2147483647 438283 31 | 0.000 % |
1112.28/1112.23 c | 438516 | 43082 600262 2684082 | 2147483647 438516 31 | 0.000 % |
1112.97/1112.93 c | 438773 | 43082 600262 2684082 | 2147483647 438773 31 | 0.000 % |
1113.67/1113.67 c | 439054 | 43082 600262 2684082 | 2147483647 439054 31 | 0.000 % |
1114.67/1114.61 c | 439364 | 43082 600262 2684082 | 2147483647 439364 31 | 0.000 % |
1115.77/1115.72 c | 439706 | 43082 600262 2684082 | 2147483647 439706 31 | 0.000 % |
1116.68/1116.67 c | 440078 | 43082 600262 2684082 | 2147483647 440078 31 | 0.000 % |
1118.07/1118.02 c | 440489 | 43082 600262 2684082 | 2147483647 440489 31 | 0.000 % |
1119.67/1119.66 c | 440941 | 43082 600262 2684082 | 2147483647 440941 31 | 0.000 % |
1121.57/1121.55 c | 441434 | 43082 600262 2684082 | 2147483647 441434 31 | 0.000 % |
1123.17/1123.11 c | 441976 | 43082 600262 2684082 | 2147483647 441976 31 | 0.000 % |
1125.27/1125.22 c | 442573 | 43082 600262 2684082 | 2147483647 442573 31 | 0.000 % |
1127.77/1127.78 c | 443231 | 43082 600262 2684082 | 2147483647 443231 31 | 0.000 % |
1130.47/1130.45 c | 443954 | 43082 600262 2684082 | 2147483647 443954 31 | 0.000 % |
1132.97/1132.99 c | 444747 | 43082 600262 2684082 | 2147483647 444747 31 | 0.000 % |
1135.67/1135.70 c | 445618 | 43082 600262 2684082 | 2147483647 445618 31 | 0.000 % |
1138.77/1138.76 c | 446576 | 43082 600262 2684082 | 2147483647 446576 31 | 0.000 % |
1142.17/1142.15 c | 447631 | 43082 600262 2684082 | 2147483647 447631 31 | 0.000 % |
1146.57/1146.58 c | 448789 | 43082 600262 2684082 | 2147483647 448789 31 | 0.000 % |
1149.97/1149.94 c | 450065 | 43082 600262 2684082 | 2147483647 450065 31 | 0.000 % |
1154.08/1154.06 c | 451466 | 43082 600262 2684082 | 2147483647 451466 31 | 0.000 % |
1159.88/1159.90 c | 453006 | 43082 600262 2684082 | 2147483647 453006 31 | 0.000 % |
1167.68/1167.64 c | 454700 | 43082 600262 2684082 | 2147483647 454700 31 | 0.000 % |
1174.08/1174.10 c | 456564 | 43082 600262 2684082 | 2147483647 456564 31 | 0.000 % |
1181.28/1181.23 c | 458613 | 43082 600262 2684082 | 2147483647 458613 31 | 0.000 % |
1187.88/1187.84 c | 460866 | 43082 600262 2684082 | 2147483647 460866 31 | 0.000 % |
1195.78/1195.74 c | 463345 | 43082 600262 2684082 | 2147483647 463345 31 | 0.000 % |
1200.08/1200.02 HOME/SatELiteGTI: line 36: 708 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-1820464-1242448048/watcher-1820464-1242448048 -o /tmp/evaluation-result-1820464-1242448048/solver-1820464-1242448048 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1820464-1242448048.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 0.95 1.05 1.02 2/96 698
/proc/meminfo: memFree=1354076/2074464 swapFree=1950760/1959888
[pid=698] ppid=696 vsize=2412 CPUtime=0.01
/proc/698/stat : 698 (SatELiteGTI) S 696 698 11066 0 -1 4194304 367 643 0 0 0 0 0 1 18 0 1 0 1009303333 2469888 276 4294967295 134512640 135169312 3218495664 3218494200 3085496046 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/698/statm: 603 276 235 161 0 42 0
[pid=702] ppid=698 vsize=1084 CPUtime=0
/proc/702/stat : 702 (SatELite_releas) R 698 698 11066 0 -1 4202496 163 0 0 0 0 0 0 0 20 0 1 0 1009303333 1110016 99 4294967295 134512640 135223648 3213206432 3213205152 134734703 0 0 0 3 0 0 0 17 2 0 0 0
/proc/702/statm: 271 104 45 174 0 96 0
[startup+0.102332 s]
/proc/loadavg: 0.95 1.05 1.02 2/96 698
/proc/meminfo: memFree=1354076/2074464 swapFree=1950760/1959888
[pid=698] ppid=696 vsize=2412 CPUtime=0.01
/proc/698/stat : 698 (SatELiteGTI) S 696 698 11066 0 -1 4194304 367 643 0 0 0 0 0 1 18 0 1 0 1009303333 2469888 276 4294967295 134512640 135169312 3218495664 3218494200 3085496046 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/698/statm: 603 276 235 161 0 42 0
[pid=702] ppid=698 vsize=15792 CPUtime=0.1
/proc/702/stat : 702 (SatELite_releas) R 698 698 11066 0 -1 4202496 3226 0 0 0 9 1 0 0 20 0 1 0 1009303333 16171008 3162 4294967295 134512640 135223648 3213206432 3213204932 134719062 0 0 0 3 0 0 0 17 2 0 0 0
/proc/702/statm: 3948 3162 47 174 0 3773 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 18204
[startup+0.212326 s]
/proc/loadavg: 0.95 1.05 1.02 2/96 698
/proc/meminfo: memFree=1354076/2074464 swapFree=1950760/1959888
[pid=698] ppid=696 vsize=2412 CPUtime=0.01
/proc/698/stat : 698 (SatELiteGTI) S 696 698 11066 0 -1 4194304 367 643 0 0 0 0 0 1 18 0 1 0 1009303333 2469888 276 4294967295 134512640 135169312 3218495664 3218494200 3085496046 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/698/statm: 603 276 235 161 0 42 0
[pid=702] ppid=698 vsize=32968 CPUtime=0.21
/proc/702/stat : 702 (SatELite_releas) R 698 698 11066 0 -1 4202496 6612 0 0 0 19 2 0 0 21 0 1 0 1009303333 33759232 6548 4294967295 134512640 135223648 3213206432 3213205016 134719062 0 0 0 3 0 0 0 17 2 0 0 0
/proc/702/statm: 8242 6548 47 174 0 8067 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 35380
[startup+0.31232 s]
/proc/loadavg: 0.95 1.05 1.02 2/96 698
/proc/meminfo: memFree=1354076/2074464 swapFree=1950760/1959888
[pid=698] ppid=696 vsize=2412 CPUtime=0.01
/proc/698/stat : 698 (SatELiteGTI) S 696 698 11066 0 -1 4194304 367 643 0 0 0 0 0 1 18 0 1 0 1009303333 2469888 276 4294967295 134512640 135169312 3218495664 3218494200 3085496046 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/698/statm: 603 276 235 161 0 42 0
[pid=702] ppid=698 vsize=41548 CPUtime=0.31
/proc/702/stat : 702 (SatELite_releas) R 698 698 11066 0 -1 4202496 9640 0 0 0 26 5 0 0 21 0 1 0 1009303333 42545152 9576 4294967295 134512640 135223648 3213206432 3213205016 134719062 0 0 0 3 0 0 0 17 2 0 0 0
/proc/702/statm: 10387 9577 47 174 0 10212 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 43960
[startup+0.712298 s]
/proc/loadavg: 0.95 1.05 1.02 2/96 698
/proc/meminfo: memFree=1354076/2074464 swapFree=1950760/1959888
[pid=698] ppid=696 vsize=2412 CPUtime=0.01
/proc/698/stat : 698 (SatELiteGTI) S 696 698 11066 0 -1 4194304 367 643 0 0 0 0 0 1 18 0 1 0 1009303333 2469888 276 4294967295 134512640 135169312 3218495664 3218494200 3085496046 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/698/statm: 603 276 235 161 0 42 0
[pid=702] ppid=698 vsize=88616 CPUtime=0.71
/proc/702/stat : 702 (SatELite_releas) R 698 698 11066 0 -1 4202496 21434 0 0 0 58 13 0 0 22 0 1 0 1009303333 90742784 21370 4294967295 134512640 135223648 3213206432 3213205384 134737310 0 0 0 3 0 0 0 17 2 0 0 0
/proc/702/statm: 22154 21371 47 174 0 21979 0
Current children cumulated CPU time (s) 0.72
Current children cumulated vsize (KiB) 91028
[startup+1.51225 s]
/proc/loadavg: 0.95 1.05 1.02 2/98 703
/proc/meminfo: memFree=1216172/2074464 swapFree=1950760/1959888
[pid=698] ppid=696 vsize=2412 CPUtime=0.01
/proc/698/stat : 698 (SatELiteGTI) S 696 698 11066 0 -1 4194304 367 643 0 0 0 0 0 1 18 0 1 0 1009303333 2469888 276 4294967295 134512640 135169312 3218495664 3218494200 3085496046 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/698/statm: 603 276 235 161 0 42 0
[pid=702] ppid=698 vsize=177380 CPUtime=1.51
/proc/702/stat : 702 (SatELite_releas) R 698 698 11066 0 -1 4202496 39164 0 0 0 128 23 0 0 25 0 1 0 1009303333 181637120 38217 4294967295 134512640 135223648 3213206432 3213204432 134548289 0 0 0 3 0 0 0 17 2 0 0 0
/proc/702/statm: 44345 38217 73 174 0 44170 0
Current children cumulated CPU time (s) 1.52
Current children cumulated vsize (KiB) 179792
[startup+3.11216 s]
/proc/loadavg: 0.95 1.05 1.02 2/98 703
/proc/meminfo: memFree=1195960/2074464 swapFree=1950760/1959888
[pid=698] ppid=696 vsize=2412 CPUtime=0.01
/proc/698/stat : 698 (SatELiteGTI) S 696 698 11066 0 -1 4194304 367 643 0 0 0 0 0 1 18 0 1 0 1009303333 2469888 276 4294967295 134512640 135169312 3218495664 3218494200 3085496046 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/698/statm: 603 276 235 161 0 42 0
[pid=702] ppid=698 vsize=182072 CPUtime=3.11
/proc/702/stat : 702 (SatELite_releas) R 698 698 11066 0 -1 4202496 40285 0 0 0 286 25 0 0 25 0 1 0 1009303333 186441728 39338 4294967295 134512640 135223648 3213206432 3213204448 134586640 0 0 0 3 0 0 0 17 2 0 0 0
/proc/702/statm: 45518 39338 73 174 0 45343 0
Current children cumulated CPU time (s) 3.12
Current children cumulated vsize (KiB) 184484
[startup+6.31199 s]
/proc/loadavg: 0.96 1.04 1.02 2/98 703
/proc/meminfo: memFree=1169424/2074464 swapFree=1950760/1959888
[pid=698] ppid=696 vsize=2412 CPUtime=0.01
/proc/698/stat : 698 (SatELiteGTI) S 696 698 11066 0 -1 4194304 367 643 0 0 0 0 0 1 18 0 1 0 1009303333 2469888 276 4294967295 134512640 135169312 3218495664 3218494200 3085496046 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/698/statm: 603 276 235 161 0 42 0
[pid=702] ppid=698 vsize=199676 CPUtime=6.31
/proc/702/stat : 702 (SatELite_releas) R 698 698 11066 0 -1 4202496 43640 0 0 0 605 26 0 0 25 0 1 0 1009303333 204468224 42693 4294967295 134512640 135223648 3213206432 3213204208 134564190 0 0 0 3 0 0 0 17 2 0 0 0
/proc/702/statm: 49919 42693 73 174 0 49744 0
Current children cumulated CPU time (s) 6.32
Current children cumulated vsize (KiB) 202088
[startup+12.7116 s]
/proc/loadavg: 0.96 1.04 1.02 2/98 703
/proc/meminfo: memFree=1133908/2074464 swapFree=1950760/1959888
[pid=698] ppid=696 vsize=2412 CPUtime=0.01
/proc/698/stat : 698 (SatELiteGTI) S 696 698 11066 0 -1 4194304 367 643 0 0 0 0 0 1 18 0 1 0 1009303333 2469888 276 4294967295 134512640 135169312 3218495664 3218494200 3085496046 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/698/statm: 603 276 235 161 0 42 0
[pid=702] ppid=698 vsize=213968 CPUtime=12.71
/proc/702/stat : 702 (SatELite_releas) R 698 698 11066 0 -1 4202496 46873 0 0 0 1234 37 0 0 25 0 1 0 1009303333 219103232 45926 4294967295 134512640 135223648 3213206432 3213204352 134548987 0 0 0 3 0 0 0 17 2 0 0 0
/proc/702/statm: 53492 45926 73 174 0 53317 0
Current children cumulated CPU time (s) 12.72
Current children cumulated vsize (KiB) 216380
[startup+25.5209 s]
/proc/loadavg: 0.97 1.04 1.01 2/98 709
/proc/meminfo: memFree=1261568/2074464 swapFree=1950760/1959888
[pid=698] ppid=696 vsize=2416 CPUtime=22.33
/proc/698/stat : 698 (SatELiteGTI) S 696 698 11066 0 -1 4194304 386 55170 0 0 0 0 2188 45 18 0 1 0 1009303333 2473984 277 4294967295 134512640 135169312 3218495664 3218491880 3085496046 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/698/statm: 604 277 235 161 0 43 0
[pid=708] ppid=698 vsize=37140 CPUtime=3.2
/proc/708/stat : 708 (minisat_static) R 698 698 11066 0 -1 4202496 9002 0 0 0 315 5 0 0 25 0 1 0 1009305565 38031360 8937 4294967295 134512640 135215339 3218016400 3218014688 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/708/statm: 9285 8937 73 172 0 9112 0
Current children cumulated CPU time (s) 25.53
Current children cumulated vsize (KiB) 39556
[startup+51.1195 s]
/proc/loadavg: 0.98 1.04 1.01 2/98 710
/proc/meminfo: memFree=1258840/2074464 swapFree=1950760/1959888
[pid=698] ppid=696 vsize=2416 CPUtime=22.33
/proc/698/stat : 698 (SatELiteGTI) S 696 698 11066 0 -1 4194304 386 55170 0 0 0 0 2188 45 18 0 1 0 1009303333 2473984 277 4294967295 134512640 135169312 3218495664 3218491880 3085496046 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/698/statm: 604 277 235 161 0 43 0
[pid=708] ppid=698 vsize=39996 CPUtime=28.79
/proc/708/stat : 708 (minisat_static) R 698 698 11066 0 -1 4202496 9696 0 0 0 2874 5 0 0 25 0 1 0 1009305565 40955904 9631 4294967295 134512640 135215339 3218016400 3218014672 134525713 0 0 0 3 0 0 0 17 2 0 0 0
/proc/708/statm: 9999 9631 73 172 0 9826 0
Current children cumulated CPU time (s) 51.12
Current children cumulated vsize (KiB) 42412
[startup+102.317 s]
/proc/loadavg: 1.05 1.04 1.01 2/98 908
/proc/meminfo: memFree=1254180/2074464 swapFree=1950760/1959888
[pid=698] ppid=696 vsize=2416 CPUtime=22.33
/proc/698/stat : 698 (SatELiteGTI) S 696 698 11066 0 -1 4194304 386 55170 0 0 0 0 2188 45 18 0 1 0 1009303333 2473984 277 4294967295 134512640 135169312 3218495664 3218491880 3085496046 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/698/statm: 604 277 235 161 0 43 0
[pid=708] ppid=698 vsize=44352 CPUtime=79.99
/proc/708/stat : 708 (minisat_static) R 698 698 11066 0 -1 4202496 10768 0 0 0 7992 7 0 0 25 0 1 0 1009305565 45416448 10703 4294967295 134512640 135215339 3218016400 3218014688 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/708/statm: 11088 10703 73 172 0 10915 0
Current children cumulated CPU time (s) 102.32
Current children cumulated vsize (KiB) 46768
[startup+162.323 s]
/proc/loadavg: 1.02 1.03 1.01 2/98 1096
/proc/meminfo: memFree=1249904/2074464 swapFree=1950760/1959888
[pid=698] ppid=696 vsize=2416 CPUtime=22.33
/proc/698/stat : 698 (SatELiteGTI) S 696 698 11066 0 -1 4194304 386 55170 0 0 0 0 2188 45 18 0 1 0 1009303333 2473984 277 4294967295 134512640 135169312 3218495664 3218491880 3085496046 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/698/statm: 604 277 235 161 0 43 0
[pid=708] ppid=698 vsize=48960 CPUtime=140
/proc/708/stat : 708 (minisat_static) R 698 698 11066 0 -1 4202496 11918 0 0 0 13993 7 0 0 25 0 1 0 1009305565 50135040 11853 4294967295 134512640 135215339 3218016400 3218014688 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/708/statm: 12240 11853 73 172 0 12067 0
Current children cumulated CPU time (s) 162.33
Current children cumulated vsize (KiB) 51376
[startup+222.33 s]
/proc/loadavg: 1.00 1.02 1.00 2/98 1289
/proc/meminfo: memFree=1245200/2074464 swapFree=1950760/1959888
[pid=698] ppid=696 vsize=2416 CPUtime=22.33
/proc/698/stat : 698 (SatELiteGTI) S 696 698 11066 0 -1 4194304 386 55170 0 0 0 0 2188 45 18 0 1 0 1009303333 2473984 277 4294967295 134512640 135169312 3218495664 3218491880 3085496046 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/698/statm: 604 277 235 161 0 43 0
[pid=708] ppid=698 vsize=53776 CPUtime=200.01
/proc/708/stat : 708 (minisat_static) R 698 698 11066 0 -1 4202496 13079 0 0 0 19994 7 0 0 25 0 1 0 1009305565 55066624 13014 4294967295 134512640 135215339 3218016400 3218014688 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/708/statm: 13444 13014 73 172 0 13271 0
Current children cumulated CPU time (s) 222.34
Current children cumulated vsize (KiB) 56192
[startup+282.327 s]
/proc/loadavg: 1.00 1.02 1.00 2/98 1478
/proc/meminfo: memFree=1240976/2074464 swapFree=1950760/1959888
[pid=698] ppid=696 vsize=2416 CPUtime=22.33
/proc/698/stat : 698 (SatELiteGTI) S 696 698 11066 0 -1 4194304 386 55170 0 0 0 0 2188 45 18 0 1 0 1009303333 2473984 277 4294967295 134512640 135169312 3218495664 3218491880 3085496046 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/698/statm: 604 277 235 161 0 43 0
[pid=708] ppid=698 vsize=57748 CPUtime=260.01
/proc/708/stat : 708 (minisat_static) R 698 698 11066 0 -1 4202496 14106 0 0 0 25992 9 0 0 25 0 1 0 1009305565 59133952 14041 4294967295 134512640 135215339 3218016400 3218014688 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/708/statm: 14437 14041 73 172 0 14264 0
Current children cumulated CPU time (s) 282.34
Current children cumulated vsize (KiB) 60164
[startup+342.313 s]
/proc/loadavg: 1.00 1.01 1.00 4/98 1669
/proc/meminfo: memFree=1237140/2074464 swapFree=1950760/1959888
[pid=698] ppid=696 vsize=2416 CPUtime=22.33
/proc/698/stat : 698 (SatELiteGTI) S 696 698 11066 0 -1 4194304 386 55170 0 0 0 0 2188 45 18 0 1 0 1009303333 2473984 277 4294967295 134512640 135169312 3218495664 3218491880 3085496046 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/698/statm: 604 277 235 161 0 43 0
[pid=708] ppid=698 vsize=61740 CPUtime=320
/proc/708/stat : 708 (minisat_static) R 698 698 11066 0 -1 4202496 15081 0 0 0 31989 11 0 0 25 0 1 0 1009305565 63221760 15016 4294967295 134512640 135215339 3218016400 3218014688 134528666 0 0 0 3 0 0 0 17 2 0 0 0
/proc/708/statm: 15435 15016 73 172 0 15262 0
Current children cumulated CPU time (s) 342.33
################
# More data... #
################
[pid=708] ppid=698 vsize=73708 CPUtime=500.01
/proc/708/stat : 708 (minisat_static) R 698 698 11066 0 -1 4202496 18029 0 0 0 49988 13 0 0 25 0 1 0 1009305565 75476992 17964 4294967295 134512640 135215339 3218016400 3218014688 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/708/statm: 18427 17964 73 172 0 18254 0
Current children cumulated CPU time (s) 522.34
Current children cumulated vsize (KiB) 76124
[startup+582.32 s]
/proc/loadavg: 1.00 1.00 1.00 2/98 2423
/proc/meminfo: memFree=1221152/2074464 swapFree=1950760/1959888
[pid=698] ppid=696 vsize=2416 CPUtime=22.33
/proc/698/stat : 698 (SatELiteGTI) S 696 698 11066 0 -1 4194304 386 55170 0 0 0 0 2188 45 18 0 1 0 1009303333 2473984 277 4294967295 134512640 135169312 3218495664 3218491880 3085496046 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/698/statm: 604 277 235 161 0 43 0
[pid=708] ppid=698 vsize=77564 CPUtime=560.02
/proc/708/stat : 708 (minisat_static) R 698 698 11066 0 -1 4202496 19015 0 0 0 55989 13 0 0 25 0 1 0 1009305565 79425536 18950 4294967295 134512640 135215339 3218016400 3218014688 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/708/statm: 19391 18950 73 172 0 19218 0
Current children cumulated CPU time (s) 582.35
Current children cumulated vsize (KiB) 79980
[startup+642.317 s]
/proc/loadavg: 1.00 1.00 1.00 2/98 2612
/proc/meminfo: memFree=1217548/2074464 swapFree=1950760/1959888
[pid=698] ppid=696 vsize=2416 CPUtime=22.33
/proc/698/stat : 698 (SatELiteGTI) S 696 698 11066 0 -1 4194304 386 55170 0 0 0 0 2188 45 18 0 1 0 1009303333 2473984 277 4294967295 134512640 135169312 3218495664 3218491880 3085496046 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/698/statm: 604 277 235 161 0 43 0
[pid=708] ppid=698 vsize=81168 CPUtime=620.02
/proc/708/stat : 708 (minisat_static) R 698 698 11066 0 -1 4202496 19944 0 0 0 61989 13 0 0 25 0 1 0 1009305565 83116032 19879 4294967295 134512640 135215339 3218016400 3218014688 134528624 0 0 0 3 0 0 0 17 2 0 0 0
/proc/708/statm: 20292 19879 73 172 0 20119 0
Current children cumulated CPU time (s) 642.35
Current children cumulated vsize (KiB) 83584
[startup+702.313 s]
/proc/loadavg: 1.04 1.01 1.00 2/98 2807
/proc/meminfo: memFree=1213704/2074464 swapFree=1950760/1959888
[pid=698] ppid=696 vsize=2416 CPUtime=22.33
/proc/698/stat : 698 (SatELiteGTI) S 696 698 11066 0 -1 4194304 386 55170 0 0 0 0 2188 45 18 0 1 0 1009303333 2473984 277 4294967295 134512640 135169312 3218495664 3218491880 3085496046 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/698/statm: 604 277 235 161 0 43 0
[pid=708] ppid=698 vsize=84808 CPUtime=680.02
/proc/708/stat : 708 (minisat_static) R 698 698 11066 0 -1 4202496 20847 0 0 0 67989 13 0 0 25 0 1 0 1009305565 86843392 20782 4294967295 134512640 135215339 3218016400 3218014688 134528884 0 0 0 3 0 0 0 17 2 0 0 0
/proc/708/statm: 21202 20782 73 172 0 21029 0
Current children cumulated CPU time (s) 702.35
Current children cumulated vsize (KiB) 87224
[startup+762.31 s]
/proc/loadavg: 1.01 1.01 1.00 5/98 2998
/proc/meminfo: memFree=1209852/2074464 swapFree=1950760/1959888
[pid=698] ppid=696 vsize=2416 CPUtime=22.33
/proc/698/stat : 698 (SatELiteGTI) S 696 698 11066 0 -1 4194304 386 55170 0 0 0 0 2188 45 18 0 1 0 1009303333 2473984 277 4294967295 134512640 135169312 3218495664 3218491880 3085496046 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/698/statm: 604 277 235 161 0 43 0
[pid=708] ppid=698 vsize=89128 CPUtime=740.02
/proc/708/stat : 708 (minisat_static) R 698 698 11066 0 -1 4202496 21794 0 0 0 73989 13 0 0 25 0 1 0 1009305565 91267072 21729 4294967295 134512640 135215339 3218016400 3218014688 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/708/statm: 22282 21729 73 172 0 22109 0
Current children cumulated CPU time (s) 762.35
Current children cumulated vsize (KiB) 91544
[startup+822.317 s]
/proc/loadavg: 1.00 1.00 1.00 2/98 3189
/proc/meminfo: memFree=1206272/2074464 swapFree=1950760/1959888
[pid=698] ppid=696 vsize=2416 CPUtime=22.33
/proc/698/stat : 698 (SatELiteGTI) S 696 698 11066 0 -1 4194304 386 55170 0 0 0 0 2188 45 18 0 1 0 1009303333 2473984 277 4294967295 134512640 135169312 3218495664 3218491880 3085496046 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/698/statm: 604 277 235 161 0 43 0
[pid=708] ppid=698 vsize=92580 CPUtime=800.03
/proc/708/stat : 708 (minisat_static) R 698 698 11066 0 -1 4202496 22677 0 0 0 79988 15 0 0 25 0 1 0 1009305565 94801920 22612 4294967295 134512640 135215339 3218016400 3218014688 134528624 0 0 0 3 0 0 0 17 2 0 0 0
/proc/708/statm: 23145 22612 73 172 0 22972 0
Current children cumulated CPU time (s) 822.36
Current children cumulated vsize (KiB) 94996
[startup+882.323 s]
/proc/loadavg: 1.00 1.00 1.00 2/98 3378
/proc/meminfo: memFree=1202652/2074464 swapFree=1950760/1959888
[pid=698] ppid=696 vsize=2416 CPUtime=22.33
/proc/698/stat : 698 (SatELiteGTI) S 696 698 11066 0 -1 4194304 386 55170 0 0 0 0 2188 45 18 0 1 0 1009303333 2473984 277 4294967295 134512640 135169312 3218495664 3218491880 3085496046 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/698/statm: 604 277 235 161 0 43 0
[pid=708] ppid=698 vsize=96108 CPUtime=860.04
/proc/708/stat : 708 (minisat_static) R 698 698 11066 0 -1 4202496 23571 0 0 0 85987 17 0 0 25 0 1 0 1009305565 98414592 23506 4294967295 134512640 135215339 3218016400 3218014688 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/708/statm: 24027 23506 73 172 0 23854 0
Current children cumulated CPU time (s) 882.37
Current children cumulated vsize (KiB) 98524
[startup+942.32 s]
/proc/loadavg: 1.00 1.00 1.00 3/98 3574
/proc/meminfo: memFree=1199692/2074464 swapFree=1950760/1959888
[pid=698] ppid=696 vsize=2416 CPUtime=22.33
/proc/698/stat : 698 (SatELiteGTI) S 696 698 11066 0 -1 4194304 386 55170 0 0 0 0 2188 45 18 0 1 0 1009303333 2473984 277 4294967295 134512640 135169312 3218495664 3218491880 3085496046 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/698/statm: 604 277 235 161 0 43 0
[pid=708] ppid=698 vsize=99292 CPUtime=920.04
/proc/708/stat : 708 (minisat_static) R 698 698 11066 0 -1 4202496 24399 0 0 0 91985 19 0 0 25 0 1 0 1009305565 101675008 24334 4294967295 134512640 135215339 3218016400 3218014464 134538556 0 0 0 3 0 0 0 17 2 0 0 0
/proc/708/statm: 24823 24334 73 172 0 24650 0
Current children cumulated CPU time (s) 942.37
Current children cumulated vsize (KiB) 101708
[startup+1002.32 s]
/proc/loadavg: 1.00 1.00 1.00 2/98 3781
/proc/meminfo: memFree=1195840/2074464 swapFree=1950760/1959888
[pid=698] ppid=696 vsize=2416 CPUtime=22.33
/proc/698/stat : 698 (SatELiteGTI) S 696 698 11066 0 -1 4194304 386 55170 0 0 0 0 2188 45 18 0 1 0 1009303333 2473984 277 4294967295 134512640 135169312 3218495664 3218491880 3085496046 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/698/statm: 604 277 235 161 0 43 0
[pid=708] ppid=698 vsize=102744 CPUtime=980.04
/proc/708/stat : 708 (minisat_static) R 698 698 11066 0 -1 4202496 25272 0 0 0 97984 20 0 0 25 0 1 0 1009305565 105209856 25207 4294967295 134512640 135215339 3218016400 3218014688 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/708/statm: 25686 25207 73 172 0 25513 0
Current children cumulated CPU time (s) 1002.37
Current children cumulated vsize (KiB) 105160
[startup+1062.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/98 3972
/proc/meminfo: memFree=1192732/2074464 swapFree=1950760/1959888
[pid=698] ppid=696 vsize=2416 CPUtime=22.33
/proc/698/stat : 698 (SatELiteGTI) S 696 698 11066 0 -1 4194304 386 55170 0 0 0 0 2188 45 18 0 1 0 1009303333 2473984 277 4294967295 134512640 135169312 3218495664 3218491880 3085496046 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/698/statm: 604 277 235 161 0 43 0
[pid=708] ppid=698 vsize=105840 CPUtime=1040.04
/proc/708/stat : 708 (minisat_static) R 698 698 11066 0 -1 4202496 26070 0 0 0 103984 20 0 0 25 0 1 0 1009305565 108380160 26005 4294967295 134512640 135215339 3218016400 3218014688 134528905 0 0 0 3 0 0 0 17 2 0 0 0
/proc/708/statm: 26460 26005 73 172 0 26287 0
Current children cumulated CPU time (s) 1062.37
Current children cumulated vsize (KiB) 108256
[startup+1122.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/98 4161
/proc/meminfo: memFree=1189764/2074464 swapFree=1950760/1959888
[pid=698] ppid=696 vsize=2416 CPUtime=22.33
/proc/698/stat : 698 (SatELiteGTI) S 696 698 11066 0 -1 4194304 386 55170 0 0 0 0 2188 45 18 0 1 0 1009303333 2473984 277 4294967295 134512640 135169312 3218495664 3218491880 3085496046 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/698/statm: 604 277 235 161 0 43 0
[pid=708] ppid=698 vsize=108888 CPUtime=1100.04
/proc/708/stat : 708 (minisat_static) R 698 698 11066 0 -1 4202496 26813 0 0 0 109983 21 0 0 25 0 1 0 1009305565 111501312 26748 4294967295 134512640 135215339 3218016400 3218014688 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/708/statm: 27222 26748 73 172 0 27049 0
Current children cumulated CPU time (s) 1122.37
Current children cumulated vsize (KiB) 111304
[startup+1182.32 s]
/proc/loadavg: 1.00 1.00 1.00 2/98 4350
/proc/meminfo: memFree=1186904/2074464 swapFree=1950760/1959888
[pid=698] ppid=696 vsize=2416 CPUtime=22.33
/proc/698/stat : 698 (SatELiteGTI) S 696 698 11066 0 -1 4194304 386 55170 0 0 0 0 2188 45 18 0 1 0 1009303333 2473984 277 4294967295 134512640 135169312 3218495664 3218491880 3085496046 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/698/statm: 604 277 235 161 0 43 0
[pid=708] ppid=698 vsize=111596 CPUtime=1160.05
/proc/708/stat : 708 (minisat_static) R 698 698 11066 0 -1 4202496 27529 0 0 0 115984 21 0 0 25 0 1 0 1009305565 114274304 27464 4294967295 134512640 135215339 3218016400 3218014688 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/708/statm: 27899 27464 73 172 0 27726 0
Current children cumulated CPU time (s) 1182.38
Current children cumulated vsize (KiB) 114012
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.02 s]
/proc/loadavg: 1.00 1.00 1.00 2/98 4533
/proc/meminfo: memFree=1185712/2074464 swapFree=1950760/1959888
[pid=698] ppid=696 vsize=2416 CPUtime=22.33
/proc/698/stat : 698 (SatELiteGTI) S 696 698 11066 0 -1 4194304 386 55170 0 0 0 0 2188 45 18 0 1 0 1009303333 2473984 277 4294967295 134512640 135169312 3218495664 3218491880 3085496046 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/698/statm: 604 277 235 161 0 43 0
[pid=708] ppid=698 vsize=112660 CPUtime=1177.75
/proc/708/stat : 708 (minisat_static) R 698 698 11066 0 -1 4202496 27773 0 0 0 117754 21 0 0 25 0 1 0 1009305565 115363840 27708 4294967295 134512640 135215339 3218016400 3218014688 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/708/statm: 28165 27708 73 172 0 27992 0
Current children cumulated CPU time (s) 1200.08
Current children cumulated vsize (KiB) 115076
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1200.02 s]
/proc/loadavg: 1.00 1.00 1.00 2/98 4533
/proc/meminfo: memFree=1185712/2074464 swapFree=1950760/1959888
[pid=698] ppid=696 vsize=2416 CPUtime=22.33
/proc/698/stat : 698 (SatELiteGTI) S 696 698 11066 0 -1 4194304 386 55170 0 0 0 0 2188 45 18 0 1 0 1009303333 2473984 277 4294967295 134512640 135169312 3218495664 3218491880 3085496046 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/698/statm: 604 277 235 161 0 43 0
[pid=708] ppid=698 vsize=112660 CPUtime=1177.75
/proc/708/stat : 708 (minisat_static) R 698 698 11066 0 -1 4202496 27773 0 0 0 117754 21 0 0 25 0 1 0 1009305565 115363840 27708 4294967295 134512640 135215339 3218016400 3218014688 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/708/statm: 28165 27708 73 172 0 27992 0
Current children cumulated CPU time (s) 1200.08
Current children cumulated vsize (KiB) 115076
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.04
CPU time (s): 1200.09
CPU user time (s): 1199.42
CPU system time (s): 0.67
CPU usage (%): 100.005
Max. virtual memory (cumulated for all children) (KiB): 229020
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.42
system time used= 0.67
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 83419
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= 17
involuntary context switches= 1032
runsolver used 0 second user time and 0.04 second system time
The end
Begin job on tipi23 at 2009-05-16 06:27:28
IDJOB=1820464
IDBENCH=20410
IDSOLVER=657
FILE ID=tipi23/1820464-1242448048
PBS_JOBID=
Free space on /tmp= 9792 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT07/industrial/palacios/hard/sortnet-8-ipc5-h19-sat.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1820464-1242448048/watcher-1820464-1242448048 -o /tmp/evaluation-result-1820464-1242448048/solver-1820464-1242448048 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1820464-1242448048.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 409f4401e9e8b60ee665ac5567a13e41
RANDOM SEED= 431965694
Linux tipi23 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.377
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.38
processor : 1
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.377
cache size : 1024 KB
physical id : 0
siblings : 2
core id : 1
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.78
processor : 2
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.377
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.79
processor : 3
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.377
cache size : 1024 KB
physical id : 1
siblings : 2
core id : 1
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.78
/proc/meminfo:
MemTotal: 2074464 kB
MemFree: 1354200 kB
Buffers: 31468 kB
Cached: 591384 kB
SwapCached: 3700 kB
Active: 318204 kB
Inactive: 316492 kB
HighTotal: 1178688 kB
HighFree: 581048 kB
LowTotal: 895776 kB
LowFree: 773152 kB
SwapTotal: 1959888 kB
SwapFree: 1950760 kB
Dirty: 24684 kB
Writeback: 0 kB
AnonPages: 11092 kB
Mapped: 4412 kB
Slab: 76448 kB
PageTables: 488 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 2997120 kB
Committed_AS: 96896 kB
VmallocTotal: 114680 kB
VmallocUsed: 1324 kB
VmallocChunk: 113264 kB
Free space on /tmp at the end= 9754 MiB
End job on tipi23 at 2009-05-16 06:47:33