0.00/0.00 c Parsing...
0.98/1.07 c ==============================================================================
0.98/1.07 c | | ORIGINAL | LEARNT | |
0.98/1.07 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.98/1.07 c ==============================================================================
0.98/1.07 c | 0 | 1254005 3044653 | 376201 0 0 nan | 0.000 % |
20.24/20.36 c | 0 | 600262 2684082 | -- 0 -- -- | -- | -653743/-360571
20.24/20.37 c ==============================================================================
20.24/20.37 c Result : #vars: 43082 #clauses: 600262 #literals: 2684082
20.24/20.37 c CPU time: 19.804 s
20.24/20.37 c ==============================================================================
21.14/21.23 c This is MiniSat 2.0 beta
21.14/21.23 c WARNING: for repeatability, setting FPU to use double precision
21.14/21.23 c ============================[ Problem Statistics ]=============================
21.14/21.23 c | |
21.14/21.24 c | Number of variables: 43082 |
21.14/21.24 c | Number of clauses: 600262 |
21.19/21.68 c | Parsing time: 0.39 s |
21.19/21.71 c ============================[ Search Statistics ]==============================
21.19/21.71 c | Conflicts | ORIGINAL | LEARNT | Progress |
21.19/21.71 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
21.19/21.71 c ===============================================================================
21.19/21.71 c | 0 | 43082 600262 2684082 | 200087 0 nan | 0.000 % |
21.95/22.04 c | 100 | 43082 600262 2684082 | 200087 100 13 | 0.000 % |
22.04/22.15 c | 200 | 43082 600262 2684082 | 200087 200 19 | 0.000 % |
22.24/22.32 c | 300 | 43082 600262 2684082 | 200087 300 16 | 0.000 % |
22.44/22.58 c | 415 | 43082 600262 2684082 | 200087 415 16 | 0.000 % |
22.64/22.75 c | 515 | 43082 600262 2684082 | 200087 515 22 | 0.000 % |
22.84/22.97 c | 626 | 43082 600262 2684082 | 200087 626 21 | 0.000 % |
23.04/23.11 c | 750 | 43082 600262 2684082 | 200087 750 20 | 0.000 % |
23.14/23.23 c | 858 | 43082 600262 2684082 | 200087 858 21 | 0.000 % |
23.34/23.49 c | 970 | 43082 600262 2684082 | 200087 970 21 | 0.000 % |
23.54/23.64 c | 1091 | 43082 600262 2684082 | 200087 1091 21 | 0.000 % |
23.94/24.06 c | 1225 | 43082 600262 2684082 | 200087 1225 21 | 0.000 % |
24.04/24.17 c | 1326 | 43082 600262 2684082 | 200087 1326 22 | 0.000 % |
24.24/24.33 c | 1438 | 43082 600262 2684082 | 200087 1438 22 | 0.000 % |
24.44/24.52 c | 1559 | 43082 600262 2684082 | 200087 1559 22 | 0.000 % |
24.74/24.82 c | 1692 | 43082 600262 2684082 | 200087 1692 24 | 0.000 % |
24.94/25.09 c | 1838 | 43082 600262 2684082 | 200087 1838 24 | 0.000 % |
25.14/25.28 c | 1938 | 43082 600262 2684082 | 200087 1938 24 | 0.000 % |
25.44/25.57 c | 2048 | 43082 600262 2684082 | 200087 2048 24 | 0.000 % |
25.64/25.72 c | 2170 | 43082 600262 2684082 | 200087 2170 24 | 0.000 % |
26.03/26.15 c | 2303 | 43082 600262 2684082 | 200087 2303 24 | 0.000 % |
26.34/26.49 c | 2449 | 43082 600262 2684082 | 200087 2449 23 | 0.000 % |
26.73/26.83 c | 2610 | 43082 600262 2684082 | 200087 2610 23 | 0.000 % |
27.03/27.16 c | 2711 | 43082 600262 2684082 | 200087 2711 25 | 0.000 % |
27.23/27.32 c | 2821 | 43082 600262 2684082 | 200087 2821 24 | 0.000 % |
27.53/27.62 c | 2945 | 43082 600262 2684082 | 200087 2945 25 | 0.000 % |
27.63/27.79 c | 3078 | 43082 600262 2684082 | 200087 3078 24 | 0.000 % |
27.93/28.04 c | 3224 | 43082 600262 2684082 | 200087 3224 24 | 0.000 % |
28.33/28.41 c | 3386 | 43082 600262 2684082 | 200087 3386 25 | 0.000 % |
28.63/28.79 c | 3562 | 43082 600262 2684082 | 200087 3562 25 | 0.000 % |
28.83/28.96 c | 3664 | 43082 600262 2684082 | 200087 3664 25 | 0.000 % |
29.13/29.25 c | 3775 | 43082 600262 2684082 | 200087 3775 25 | 0.000 % |
29.43/29.51 c | 3896 | 43082 600262 2684082 | 200087 3896 25 | 0.000 % |
29.73/29.80 c | 4029 | 43082 600262 2684082 | 200087 4029 25 | 0.000 % |
29.94/30.02 c | 4176 | 43082 600262 2684082 | 200087 4176 25 | 0.000 % |
30.34/30.47 c | 4336 | 43082 600262 2684082 | 200087 4336 25 | 0.000 % |
30.74/30.82 c | 4512 | 43082 600262 2684082 | 200087 4512 25 | 0.000 % |
31.14/31.25 c | 4706 | 43082 600262 2684082 | 200087 4706 24 | 0.000 % |
31.44/31.51 c | 4806 | 43082 600262 2684082 | 200087 4806 24 | 0.000 % |
31.54/31.66 c | 4918 | 43082 600262 2684082 | 200087 4918 24 | 0.000 % |
31.74/31.86 c | 5039 | 43082 600262 2684082 | 200087 5039 24 | 0.000 % |
31.93/32.07 c | 5172 | 43082 600262 2684082 | 200087 5172 24 | 0.000 % |
32.23/32.30 c | 5318 | 43082 600262 2684082 | 200087 5318 24 | 0.000 % |
32.53/32.64 c | 5479 | 43082 600262 2684082 | 200087 5479 25 | 0.000 % |
32.73/32.90 c | 5657 | 43082 600262 2684082 | 200087 5657 25 | 0.000 % |
33.13/33.28 c | 5850 | 43082 600262 2684082 | 200087 5850 25 | 0.000 % |
33.33/33.50 c | 6062 | 43082 600262 2684082 | 200087 6062 25 | 0.000 % |
33.63/33.70 c | 6165 | 43082 600262 2684082 | 200087 6165 25 | 0.000 % |
33.63/33.79 c | 6281 | 43082 600262 2684082 | 200087 6281 25 | 0.000 % |
33.83/33.95 c | 6404 | 43082 600262 2684082 | 200087 6404 25 | 0.000 % |
34.03/34.17 c | 6537 | 43082 600262 2684082 | 200087 6537 25 | 0.000 % |
34.23/34.37 c | 6688 | 43082 600262 2684082 | 200087 6688 25 | 0.000 % |
34.43/34.56 c | 6848 | 43082 600262 2684082 | 200087 6848 26 | 0.000 % |
34.63/34.72 c | 7024 | 43082 600262 2684082 | 200087 7024 25 | 0.000 % |
34.73/34.87 c | 7217 | 43082 600262 2684082 | 200087 7217 25 | 0.000 % |
34.93/35.04 c | 7429 | 43082 600262 2684082 | 200087 7429 25 | 0.000 % |
35.23/35.32 c | 7664 | 43082 600262 2684082 | 200087 7664 25 | 0.000 % |
35.43/35.51 c | 7764 | 43082 600262 2684082 | 200087 7764 25 | 0.000 % |
35.63/35.73 c | 7874 | 43082 600262 2684082 | 200087 7874 25 | 0.000 % |
35.83/35.93 c | 7995 | 43082 600262 2684082 | 200087 7995 25 | 0.000 % |
36.03/36.12 c | 8131 | 43082 600262 2684082 | 200087 8131 25 | 0.000 % |
36.23/36.34 c | 8280 | 43082 600262 2684082 | 200087 8280 25 | 0.000 % |
36.63/36.75 c | 8440 | 43082 600262 2684082 | 200087 8440 25 | 0.000 % |
36.93/37.08 c | 8620 | 43082 600262 2684082 | 200087 8620 25 | 0.000 % |
37.33/37.45 c | 8813 | 43082 600262 2684082 | 200087 8813 25 | 0.000 % |
37.83/37.92 c | 9025 | 43082 600262 2684082 | 200087 9025 26 | 0.000 % |
38.13/38.28 c | 9258 | 43082 600262 2684082 | 200087 9258 26 | 0.000 % |
38.52/38.69 c | 9514 | 43082 600262 2684082 | 200087 9514 26 | 0.000 % |
38.82/38.97 c | 9614 | 43082 600262 2684082 | 200087 9614 26 | 0.000 % |
39.02/39.14 c | 9725 | 43082 600262 2684082 | 200087 9725 26 | 0.000 % |
39.12/39.26 c | 9846 | 43082 600262 2684082 | 200087 9846 26 | 0.000 % |
39.43/39.53 c | 9980 | 43082 600262 2684082 | 200087 9980 26 | 0.000 % |
39.62/39.78 c | 10129 | 43082 600262 2684082 | 2147483647 10129 26 | 0.000 % |
39.92/40.04 c | 10291 | 43082 600262 2684082 | 2147483647 10291 26 | 0.000 % |
40.32/40.47 c | 10467 | 43082 600262 2684082 | 2147483647 10467 26 | 0.000 % |
40.82/40.98 c | 10665 | 43082 600262 2684082 | 2147483647 10665 26 | 0.000 % |
41.12/41.24 c | 10880 | 43082 600262 2684082 | 2147483647 10880 26 | 0.000 % |
41.62/41.78 c | 11113 | 43082 600262 2684082 | 2147483647 11113 25 | 0.000 % |
42.02/42.11 c | 11369 | 43082 600262 2684082 | 2147483647 11369 26 | 0.000 % |
42.32/42.49 c | 11652 | 43082 600262 2684082 | 2147483647 11652 25 | 0.000 % |
42.62/42.75 c | 11753 | 43082 600262 2684082 | 2147483647 11753 25 | 0.000 % |
42.72/42.90 c | 11864 | 43082 600262 2684082 | 2147483647 11864 25 | 0.000 % |
43.02/43.15 c | 11985 | 43082 600262 2684082 | 2147483647 11985 25 | 0.000 % |
43.22/43.39 c | 12123 | 43082 600262 2684082 | 2147483647 12123 25 | 0.000 % |
43.52/43.63 c | 12269 | 43082 600262 2684082 | 2147483647 12269 25 | 0.000 % |
43.82/43.94 c | 12431 | 43082 600262 2684082 | 2147483647 12431 25 | 0.000 % |
44.02/44.15 c | 12614 | 43082 600262 2684082 | 2147483647 12614 25 | 0.000 % |
44.22/44.39 c | 12813 | 43082 600262 2684082 | 2147483647 12813 25 | 0.000 % |
44.72/44.86 c | 13025 | 43082 600262 2684082 | 2147483647 13025 25 | 0.000 % |
45.22/45.35 c | 13261 | 43082 600262 2684082 | 2147483647 13261 25 | 0.000 % |
45.72/45.85 c | 13519 | 43082 600262 2684082 | 2147483647 13519 25 | 0.000 % |
46.02/46.20 c | 13804 | 43082 600262 2684082 | 2147483647 13804 26 | 0.000 % |
46.72/46.86 c | 14114 | 43082 600262 2684082 | 2147483647 14114 25 | 0.000 % |
46.92/47.05 c | 14217 | 43082 600262 2684082 | 2147483647 14217 25 | 0.000 % |
47.12/47.25 c | 14327 | 43082 600262 2684082 | 2147483647 14327 25 | 0.000 % |
47.32/47.46 c | 14448 | 43082 600262 2684082 | 2147483647 14448 26 | 0.000 % |
47.62/47.75 c | 14581 | 43082 600262 2684082 | 2147483647 14581 25 | 0.000 % |
47.82/48.00 c | 14728 | 43082 600262 2684082 | 2147483647 14728 25 | 0.000 % |
48.02/48.14 c | 14890 | 43082 600262 2684082 | 2147483647 14890 25 | 0.000 % |
48.42/48.52 c | 15068 | 43082 600262 2684082 | 2147483647 15068 25 | 0.000 % |
48.82/48.90 c | 15264 | 43082 600262 2684082 | 2147483647 15264 26 | 0.000 % |
49.12/49.25 c | 15477 | 43082 600262 2684082 | 2147483647 15477 25 | 0.000 % |
49.52/49.63 c | 15712 | 43082 600262 2684082 | 2147483647 15712 25 | 0.000 % |
50.12/50.22 c | 15968 | 43082 600262 2684082 | 2147483647 15968 26 | 0.000 % |
50.52/50.62 c | 16249 | 43082 600262 2684082 | 2147483647 16249 26 | 0.000 % |
51.41/51.55 c | 16561 | 43082 600262 2684082 | 2147483647 16561 26 | 0.000 % |
52.01/52.12 c | 16900 | 43082 600262 2684082 | 2147483647 16900 26 | 0.000 % |
52.11/52.25 c | 17001 | 43082 600262 2684082 | 2147483647 17001 26 | 0.000 % |
52.31/52.47 c | 17116 | 43082 600262 2684082 | 2147483647 17116 26 | 0.000 % |
52.51/52.62 c | 17237 | 43082 600262 2684082 | 2147483647 17237 26 | 0.000 % |
52.72/52.82 c | 17381 | 43082 600262 2684082 | 2147483647 17381 26 | 0.000 % |
52.91/53.07 c | 17527 | 43082 600262 2684082 | 2147483647 17527 26 | 0.000 % |
53.21/53.31 c | 17688 | 43082 600262 2684082 | 2147483647 17688 26 | 0.000 % |
53.41/53.54 c | 17872 | 43082 600262 2684082 | 2147483647 17872 26 | 0.000 % |
53.72/53.80 c | 18065 | 43082 600262 2684082 | 2147483647 18065 26 | 0.000 % |
54.31/54.43 c | 18277 | 43082 600262 2684082 | 2147483647 18277 26 | 0.000 % |
54.51/54.67 c | 18510 | 43082 600262 2684082 | 2147483647 18510 26 | 0.000 % |
55.11/55.25 c | 18766 | 43082 600262 2684082 | 2147483647 18766 26 | 0.000 % |
55.71/55.82 c | 19047 | 43082 600262 2684082 | 2147483647 19047 26 | 0.000 % |
56.01/56.19 c | 19357 | 43082 600262 2684082 | 2147483647 19357 26 | 0.000 % |
56.51/56.65 c | 19696 | 43082 600262 2684082 | 2147483647 19696 26 | 0.000 % |
57.30/57.43 c | 20068 | 43082 600262 2684082 | 2147483647 20068 26 | 0.000 % |
57.40/57.58 c | 20168 | 43082 600262 2684082 | 2147483647 20168 26 | 0.000 % |
57.61/57.71 c | 20284 | 43082 600262 2684082 | 2147483647 20284 26 | 0.000 % |
57.91/58.01 c | 20407 | 43082 600262 2684082 | 2147483647 20407 26 | 0.000 % |
58.01/58.19 c | 20540 | 43082 600262 2684082 | 2147483647 20540 26 | 0.000 % |
58.31/58.46 c | 20687 | 43082 600262 2684082 | 2147483647 20687 26 | 0.000 % |
58.51/58.68 c | 20847 | 43082 600262 2684082 | 2147483647 20847 26 | 0.000 % |
58.91/59.01 c | 21024 | 43082 600262 2684082 | 2147483647 21024 26 | 0.000 % |
59.31/59.48 c | 21218 | 43082 600262 2684082 | 2147483647 21218 26 | 0.000 % |
59.61/59.74 c | 21430 | 43082 600262 2684082 | 2147483647 21430 26 | 0.000 % |
59.81/59.98 c | 21667 | 43082 600262 2684082 | 2147483647 21667 26 | 0.000 % |
60.11/60.29 c | 21926 | 43082 600262 2684082 | 2147483647 21926 26 | 0.000 % |
60.81/60.98 c | 22207 | 43082 600262 2684082 | 2147483647 22207 26 | 0.000 % |
61.31/61.46 c | 22516 | 43082 600262 2684082 | 2147483647 22516 26 | 0.000 % |
62.01/62.13 c | 22855 | 43082 600262 2684082 | 2147483647 22855 26 | 0.000 % |
62.51/62.68 c | 23228 | 43082 600262 2684082 | 2147483647 23228 26 | 0.000 % |
63.31/63.50 c | 23637 | 43082 600262 2684082 | 2147483647 23637 26 | 0.000 % |
63.51/63.66 c | 23737 | 43082 600262 2684082 | 2147483647 23737 26 | 0.000 % |
63.81/63.95 c | 23847 | 43082 600262 2684082 | 2147483647 23847 26 | 0.000 % |
64.21/64.32 c | 23972 | 43082 600262 2684082 | 2147483647 23972 26 | 0.000 % |
64.51/64.66 c | 24107 | 43082 600262 2684082 | 2147483647 24107 26 | 0.000 % |
64.71/64.86 c | 24253 | 43082 600262 2684082 | 2147483647 24253 26 | 0.000 % |
65.11/65.23 c | 24415 | 43082 600262 2684082 | 2147483647 24415 26 | 0.000 % |
65.31/65.46 c | 24591 | 43082 600262 2684082 | 2147483647 24591 26 | 0.000 % |
65.71/65.83 c | 24785 | 43082 600262 2684082 | 2147483647 24785 26 | 0.000 % |
66.01/66.11 c | 25001 | 43082 600262 2684082 | 2147483647 25001 26 | 0.000 % |
66.41/66.52 c | 25235 | 43082 600262 2684082 | 2147483647 25235 26 | 0.000 % |
66.61/66.79 c | 25494 | 43082 600262 2684082 | 2147483647 25494 26 | 0.000 % |
67.31/67.43 c | 25775 | 43082 600262 2684082 | 2147483647 25775 26 | 0.000 % |
67.90/68.04 c | 26084 | 43082 600262 2684082 | 2147483647 26084 26 | 0.000 % |
68.80/68.95 c | 26424 | 43082 600262 2684082 | 2147483647 26424 26 | 0.000 % |
69.60/69.79 c | 26797 | 43082 600262 2684082 | 2147483647 26797 26 | 0.000 % |
70.41/70.54 c | 27206 | 43082 600262 2684082 | 2147483647 27206 26 | 0.000 % |
71.10/71.28 c | 27655 | 43082 600262 2684082 | 2147483647 27655 26 | 0.000 % |
71.31/71.46 c | 27755 | 43082 600262 2684082 | 2147483647 27755 26 | 0.000 % |
71.60/71.80 c | 27865 | 43082 600262 2684082 | 2147483647 27865 26 | 0.000 % |
71.90/72.02 c | 27986 | 43082 600262 2684082 | 2147483647 27986 26 | 0.000 % |
72.10/72.23 c | 28123 | 43082 600262 2684082 | 2147483647 28123 26 | 0.000 % |
72.41/72.51 c | 28272 | 43082 600262 2684082 | 2147483647 28272 26 | 0.000 % |
72.80/72.98 c | 28432 | 43082 600262 2684082 | 2147483647 28432 26 | 0.000 % |
73.10/73.21 c | 28608 | 43082 600262 2684082 | 2147483647 28608 26 | 0.000 % |
73.30/73.49 c | 28801 | 43082 600262 2684082 | 2147483647 28801 26 | 0.000 % |
73.70/73.82 c | 29013 | 43082 600262 2684082 | 2147483647 29013 26 | 0.000 % |
74.20/74.34 c | 29246 | 43082 600262 2684082 | 2147483647 29246 26 | 0.000 % |
74.50/74.70 c | 29502 | 43082 600262 2684082 | 2147483647 29502 26 | 0.000 % |
75.30/75.43 c | 29787 | 43082 600262 2684082 | 2147483647 29787 26 | 0.000 % |
75.80/75.97 c | 30096 | 43082 600262 2684082 | 2147483647 30096 26 | 0.000 % |
76.50/76.67 c | 30435 | 43082 600262 2684082 | 2147483647 30435 26 | 0.000 % |
77.20/77.33 c | 30812 | 43082 600262 2684082 | 2147483647 30812 26 | 0.000 % |
77.90/78.07 c | 31221 | 43082 600262 2684082 | 2147483647 31221 26 | 0.000 % |
78.70/78.82 c | 31670 | 43082 600262 2684082 | 2147483647 31670 26 | 0.000 % |
79.50/79.65 c | 32164 | 43082 600262 2684082 | 2147483647 32164 26 | 0.000 % |
79.70/79.86 c | 32267 | 43082 600262 2684082 | 2147483647 32267 26 | 0.000 % |
79.80/79.98 c | 32377 | 43082 600262 2684082 | 2147483647 32377 26 | 0.000 % |
80.10/80.21 c | 32498 | 43082 600262 2684082 | 2147483647 32498 26 | 0.000 % |
80.30/80.45 c | 32631 | 43082 600262 2684082 | 2147483647 32631 26 | 0.000 % |
80.70/80.86 c | 32777 | 43082 600262 2684082 | 2147483647 32777 26 | 0.000 % |
81.00/81.12 c | 32940 | 43082 600262 2684082 | 2147483647 32940 26 | 0.000 % |
81.20/81.35 c | 33117 | 43082 600262 2684082 | 2147483647 33117 26 | 0.000 % |
81.49/81.65 c | 33311 | 43082 600262 2684082 | 2147483647 33311 26 | 0.000 % |
81.79/81.92 c | 33523 | 43082 600262 2684082 | 2147483647 33523 26 | 0.000 % |
82.29/82.45 c | 33757 | 43082 600262 2684082 | 2147483647 33757 26 | 0.000 % |
82.79/82.92 c | 34013 | 43082 600262 2684082 | 2147483647 34013 26 | 0.000 % |
83.19/83.35 c | 34295 | 43082 600262 2684082 | 2147483647 34295 26 | 0.000 % |
83.59/83.74 c | 34607 | 43082 600262 2684082 | 2147483647 34607 26 | 0.000 % |
83.99/84.19 c | 34946 | 43082 600262 2684082 | 2147483647 34946 26 | 0.000 % |
84.99/85.14 c | 35321 | 43082 600262 2684082 | 2147483647 35321 26 | 0.000 % |
85.60/85.71 c | 35730 | 43082 600262 2684082 | 2147483647 35730 26 | 0.000 % |
86.40/86.51 c | 36179 | 43082 600262 2684082 | 2147483647 36179 26 | 0.000 % |
87.40/87.51 c | 36674 | 43082 600262 2684082 | 2147483647 36674 26 | 0.000 % |
88.19/88.33 c | 37219 | 43082 600262 2684082 | 2147483647 37219 26 | 0.000 % |
88.29/88.45 c | 37319 | 43082 600262 2684082 | 2147483647 37319 26 | 0.000 % |
88.49/88.60 c | 37436 | 43082 600262 2684082 | 2147483647 37436 26 | 0.000 % |
88.69/88.83 c | 37560 | 43082 600262 2684082 | 2147483647 37560 26 | 0.000 % |
89.00/89.13 c | 37693 | 43082 600262 2684082 | 2147483647 37693 26 | 0.000 % |
89.39/89.56 c | 37840 | 43082 600262 2684082 | 2147483647 37840 26 | 0.000 % |
89.69/89.87 c | 38000 | 43082 600262 2684082 | 2147483647 38000 26 | 0.000 % |
90.10/90.25 c | 38180 | 43082 600262 2684082 | 2147483647 38180 26 | 0.000 % |
90.49/90.69 c | 38374 | 43082 600262 2684082 | 2147483647 38374 26 | 0.000 % |
90.99/91.15 c | 38586 | 43082 600262 2684082 | 2147483647 38586 26 | 0.000 % |
91.59/91.79 c | 38819 | 43082 600262 2684082 | 2147483647 38819 26 | 0.000 % |
92.09/92.20 c | 39075 | 43082 600262 2684082 | 2147483647 39075 26 | 0.000 % |
92.69/92.80 c | 39356 | 43082 600262 2684082 | 2147483647 39356 26 | 0.000 % |
93.09/93.23 c | 39668 | 43082 600262 2684082 | 2147483647 39668 26 | 0.000 % |
93.59/93.72 c | 40007 | 43082 600262 2684082 | 2147483647 40007 26 | 0.000 % |
94.50/94.66 c | 40379 | 43082 600262 2684082 | 2147483647 40379 26 | 0.000 % |
95.09/95.21 c | 40788 | 43082 600262 2684082 | 2147483647 40788 26 | 0.000 % |
96.39/96.54 c | 41237 | 43082 600262 2684082 | 2147483647 41237 26 | 0.000 % |
97.70/97.84 c | 41731 | 43082 600262 2684082 | 2147483647 41731 27 | 0.000 % |
98.69/98.89 c | 42273 | 43082 600262 2684082 | 2147483647 42273 26 | 0.000 % |
100.39/100.51 c | 42869 | 43082 600262 2684082 | 2147483647 42869 27 | 0.000 % |
100.79/100.94 c | 42969 | 43082 600262 2684082 | 2147483647 42969 27 | 0.000 % |
100.99/101.15 c | 43080 | 43082 600262 2684082 | 2147483647 43080 27 | 0.000 % |
101.09/101.29 c | 43202 | 43082 600262 2684082 | 2147483647 43202 27 | 0.000 % |
101.39/101.56 c | 43335 | 43082 600262 2684082 | 2147483647 43335 27 | 0.000 % |
101.69/101.80 c | 43481 | 43082 600262 2684082 | 2147483647 43481 27 | 0.000 % |
101.89/102.07 c | 43642 | 43082 600262 2684082 | 2147483647 43642 27 | 0.000 % |
102.09/102.30 c | 43819 | 43082 600262 2684082 | 2147483647 43819 27 | 0.000 % |
102.49/102.62 c | 44013 | 43082 600262 2684082 | 2147483647 44013 27 | 0.000 % |
102.89/103.02 c | 44225 | 43082 600262 2684082 | 2147483647 44225 27 | 0.000 % |
103.09/103.29 c | 44458 | 43082 600262 2684082 | 2147483647 44458 27 | 0.000 % |
103.59/103.74 c | 44714 | 43082 600262 2684082 | 2147483647 44714 27 | 0.000 % |
103.89/104.04 c | 44995 | 43082 600262 2684082 | 2147483647 44995 27 | 0.000 % |
104.49/104.62 c | 45310 | 43082 600262 2684082 | 2147483647 45310 27 | 0.000 % |
104.89/105.04 c | 45649 | 43082 600262 2684082 | 2147483647 45649 27 | 0.000 % |
105.49/105.68 c | 46021 | 43082 600262 2684082 | 2147483647 46021 27 | 0.000 % |
106.49/106.68 c | 46431 | 43082 600262 2684082 | 2147483647 46431 27 | 0.000 % |
107.29/107.48 c | 46880 | 43082 600262 2684082 | 2147483647 46880 26 | 0.000 % |
108.29/108.48 c | 47374 | 43082 600262 2684082 | 2147483647 47374 26 | 0.000 % |
109.29/109.41 c | 47916 | 43082 600262 2684082 | 2147483647 47916 26 | 0.000 % |
110.79/110.92 c | 48512 | 43082 600262 2684082 | 2147483647 48512 26 | 0.000 % |
112.19/112.36 c | 49167 | 43082 600262 2684082 | 2147483647 49167 26 | 0.000 % |
112.49/112.68 c | 49268 | 43082 600262 2684082 | 2147483647 49268 26 | 0.000 % |
112.69/112.83 c | 49378 | 43082 600262 2684082 | 2147483647 49378 26 | 0.000 % |
112.89/113.04 c | 49505 | 43082 600262 2684082 | 2147483647 49505 26 | 0.000 % |
113.19/113.32 c | 49638 | 43082 600262 2684082 | 2147483647 49638 26 | 0.000 % |
113.39/113.53 c | 49784 | 43082 600262 2684082 | 2147483647 49784 26 | 0.000 % |
113.68/113.83 c | 49950 | 43082 600262 2684082 | 2147483647 49950 26 | 0.000 % |
114.08/114.29 c | 50128 | 43082 600262 2684082 | 2147483647 50128 26 | 0.000 % |
114.38/114.54 c | 50322 | 43082 600262 2684082 | 2147483647 50322 26 | 0.000 % |
114.88/115.08 c | 50534 | 43082 600262 2684082 | 2147483647 50534 26 | 0.000 % |
115.48/115.62 c | 50768 | 43082 600262 2684082 | 2147483647 50768 26 | 0.000 % |
116.18/116.35 c | 51025 | 43082 600262 2684082 | 2147483647 51025 26 | 0.000 % |
116.58/116.79 c | 51311 | 43082 600262 2684082 | 2147483647 51311 26 | 0.000 % |
117.38/117.51 c | 51626 | 43082 600262 2684082 | 2147483647 51626 26 | 0.000 % |
118.59/118.71 c | 51965 | 43082 600262 2684082 | 2147483647 51965 26 | 0.000 % |
119.48/119.63 c | 52337 | 43082 600262 2684082 | 2147483647 52337 26 | 0.000 % |
120.08/120.23 c | 52747 | 43082 600262 2684082 | 2147483647 52747 26 | 0.000 % |
121.08/121.27 c | 53196 | 43082 600262 2684082 | 2147483647 53196 26 | 0.000 % |
122.08/122.24 c | 53689 | 43082 600262 2684082 | 2147483647 53689 26 | 0.000 % |
123.58/123.71 c | 54232 | 43082 600262 2684082 | 2147483647 54232 26 | 0.000 % |
124.58/124.72 c | 54828 | 43082 600262 2684082 | 2147483647 54828 26 | 0.000 % |
125.69/125.84 c | 55484 | 43082 600262 2684082 | 2147483647 55484 26 | 0.000 % |
126.78/126.94 c | 56204 | 43082 600262 2684082 | 2147483647 56204 26 | 0.000 % |
127.08/127.20 c | 56305 | 43082 600262 2684082 | 2147483647 56305 26 | 0.000 % |
127.28/127.47 c | 56415 | 43082 600262 2684082 | 2147483647 56415 26 | 0.000 % |
127.58/127.79 c | 56536 | 43082 600262 2684082 | 2147483647 56536 26 | 0.000 % |
127.98/128.10 c | 56670 | 43082 600262 2684082 | 2147483647 56670 26 | 0.000 % |
128.18/128.38 c | 56817 | 43082 600262 2684082 | 2147483647 56817 26 | 0.000 % |
128.59/128.71 c | 56977 | 43082 600262 2684082 | 2147483647 56977 26 | 0.000 % |
128.88/129.05 c | 57154 | 43082 600262 2684082 | 2147483647 57154 26 | 0.000 % |
129.28/129.48 c | 57348 | 43082 600262 2684082 | 2147483647 57348 26 | 0.000 % |
129.59/129.79 c | 57560 | 43082 600262 2684082 | 2147483647 57560 26 | 0.000 % |
130.18/130.37 c | 57794 | 43082 600262 2684082 | 2147483647 57794 26 | 0.000 % |
130.58/130.78 c | 58052 | 43082 600262 2684082 | 2147483647 58052 26 | 0.000 % |
131.28/131.44 c | 58333 | 43082 600262 2684082 | 2147483647 58333 26 | 0.000 % |
131.78/131.98 c | 58642 | 43082 600262 2684082 | 2147483647 58642 26 | 0.000 % |
132.18/132.37 c | 58982 | 43082 600262 2684082 | 2147483647 58982 26 | 0.000 % |
133.38/133.57 c | 59354 | 43082 600262 2684082 | 2147483647 59354 26 | 0.000 % |
135.18/135.39 c | 59763 | 43082 600262 2684082 | 2147483647 59763 26 | 0.000 % |
136.28/136.45 c | 60212 | 43082 600262 2684082 | 2147483647 60212 26 | 0.000 % |
138.08/138.24 c | 60708 | 43082 600262 2684082 | 2147483647 60708 27 | 0.000 % |
139.07/139.26 c | 61250 | 43082 600262 2684082 | 2147483647 61250 27 | 0.000 % |
140.69/140.83 c | 61852 | 43082 600262 2684082 | 2147483647 61852 27 | 0.000 % |
141.79/141.99 c | 62507 | 43082 600262 2684082 | 2147483647 62507 27 | 0.000 % |
143.18/143.39 c | 63227 | 43082 600262 2684082 | 2147483647 63227 27 | 0.000 % |
144.78/144.91 c | 64019 | 43082 600262 2684082 | 2147483647 64019 27 | 0.000 % |
144.88/145.09 c | 64123 | 43082 600262 2684082 | 2147483647 64123 27 | 0.000 % |
145.28/145.42 c | 64234 | 43082 600262 2684082 | 2147483647 64234 27 | 0.000 % |
145.48/145.65 c | 64359 | 43082 600262 2684082 | 2147483647 64359 27 | 0.000 % |
145.68/145.82 c | 64492 | 43082 600262 2684082 | 2147483647 64492 27 | 0.000 % |
146.09/146.20 c | 64639 | 43082 600262 2684082 | 2147483647 64639 27 | 0.000 % |
146.38/146.51 c | 64800 | 43082 600262 2684082 | 2147483647 64800 27 | 0.000 % |
146.78/146.95 c | 64978 | 43082 600262 2684082 | 2147483647 64978 27 | 0.000 % |
147.08/147.23 c | 65171 | 43082 600262 2684082 | 2147483647 65171 27 | 0.000 % |
147.48/147.65 c | 65383 | 43082 600262 2684082 | 2147483647 65383 27 | 0.000 % |
147.88/148.07 c | 65619 | 43082 600262 2684082 | 2147483647 65619 27 | 0.000 % |
148.38/148.58 c | 65877 | 43082 600262 2684082 | 2147483647 65877 27 | 0.000 % |
148.98/149.13 c | 66158 | 43082 600262 2684082 | 2147483647 66158 27 | 0.000 % |
149.68/149.83 c | 66467 | 43082 600262 2684082 | 2147483647 66467 27 | 0.000 % |
150.28/150.49 c | 66806 | 43082 600262 2684082 | 2147483647 66806 27 | 0.000 % |
150.98/151.16 c | 67179 | 43082 600262 2684082 | 2147483647 67179 27 | 0.000 % |
151.88/152.03 c | 67588 | 43082 600262 2684082 | 2147483647 67588 27 | 0.000 % |
152.68/152.86 c | 68037 | 43082 600262 2684082 | 2147483647 68037 27 | 0.000 % |
153.97/154.15 c | 68530 | 43082 600262 2684082 | 2147483647 68530 27 | 0.000 % |
155.27/155.40 c | 69073 | 43082 600262 2684082 | 2147483647 69073 27 | 0.000 % |
156.17/156.36 c | 69671 | 43082 600262 2684082 | 2147483647 69671 27 | 0.000 % |
158.07/158.26 c | 70326 | 43082 600262 2684082 | 2147483647 70326 27 | 0.000 % |
159.07/159.22 c | 71048 | 43082 600262 2684082 | 2147483647 71048 27 | 0.000 % |
160.97/161.14 c | 71842 | 43082 600262 2684082 | 2147483647 71842 27 | 0.000 % |
161.97/162.20 c | 72714 | 43082 600262 2684082 | 2147483647 72714 27 | 0.000 % |
162.17/162.34 c | 72814 | 43082 600262 2684082 | 2147483647 72814 27 | 0.000 % |
162.47/162.70 c | 72924 | 43082 600262 2684082 | 2147483647 72924 27 | 0.000 % |
162.67/162.89 c | 73045 | 43082 600262 2684082 | 2147483647 73045 27 | 0.000 % |
163.07/163.21 c | 73181 | 43082 600262 2684082 | 2147483647 73181 27 | 0.000 % |
163.27/163.50 c | 73331 | 43082 600262 2684082 | 2147483647 73331 27 | 0.000 % |
163.97/164.13 c | 73491 | 43082 600262 2684082 | 2147483647 73491 27 | 0.000 % |
164.47/164.64 c | 73667 | 43082 600262 2684082 | 2147483647 73667 27 | 0.000 % |
164.77/164.94 c | 73861 | 43082 600262 2684082 | 2147483647 73861 27 | 0.000 % |
165.17/165.38 c | 74073 | 43082 600262 2684082 | 2147483647 74073 27 | 0.000 % |
165.78/165.96 c | 74306 | 43082 600262 2684082 | 2147483647 74306 27 | 0.000 % |
166.67/166.83 c | 74562 | 43082 600262 2684082 | 2147483647 74562 27 | 0.000 % |
167.37/167.52 c | 74843 | 43082 600262 2684082 | 2147483647 74843 27 | 0.000 % |
167.97/168.14 c | 75154 | 43082 600262 2684082 | 2147483647 75154 27 | 0.000 % |
168.87/169.00 c | 75493 | 43082 600262 2684082 | 2147483647 75493 27 | 0.000 % |
169.37/169.56 c | 75865 | 43082 600262 2684082 | 2147483647 75865 27 | 0.000 % |
170.38/170.58 c | 76278 | 43082 600262 2684082 | 2147483647 76278 27 | 0.000 % |
171.17/171.34 c | 76728 | 43082 600262 2684082 | 2147483647 76728 27 | 0.000 % |
172.48/172.65 c | 77222 | 43082 600262 2684082 | 2147483647 77222 27 | 0.000 % |
173.37/173.56 c | 77765 | 43082 600262 2684082 | 2147483647 77765 27 | 0.000 % |
175.07/175.27 c | 78361 | 43082 600262 2684082 | 2147483647 78361 27 | 0.000 % |
176.17/176.39 c | 79019 | 43082 600262 2684082 | 2147483647 79019 27 | 0.000 % |
177.57/177.76 c | 79739 | 43082 600262 2684082 | 2147483647 79739 27 | 0.000 % |
178.67/178.87 c | 80531 | 43082 600262 2684082 | 2147483647 80531 27 | 0.000 % |
181.17/181.30 c | 81407 | 43082 600262 2684082 | 2147483647 81407 27 | 0.000 % |
183.37/183.58 c | 82365 | 43082 600262 2684082 | 2147483647 82365 27 | 0.000 % |
183.67/183.81 c | 82465 | 43082 600262 2684082 | 2147483647 82465 27 | 0.000 % |
183.87/184.10 c | 82576 | 43082 600262 2684082 | 2147483647 82576 27 | 0.000 % |
184.27/184.41 c | 82703 | 43082 600262 2684082 | 2147483647 82703 27 | 0.000 % |
184.47/184.69 c | 82839 | 43082 600262 2684082 | 2147483647 82839 27 | 0.000 % |
184.87/185.00 c | 82985 | 43082 600262 2684082 | 2147483647 82985 27 | 0.000 % |
185.27/185.45 c | 83146 | 43082 600262 2684082 | 2147483647 83146 27 | 0.000 % |
185.67/185.87 c | 83324 | 43082 600262 2684082 | 2147483647 83324 27 | 0.000 % |
186.06/186.27 c | 83517 | 43082 600262 2684082 | 2147483647 83517 27 | 0.000 % |
186.36/186.54 c | 83731 | 43082 600262 2684082 | 2147483647 83731 27 | 0.000 % |
186.87/187.00 c | 83966 | 43082 600262 2684082 | 2147483647 83966 27 | 0.000 % |
187.56/187.75 c | 84223 | 43082 600262 2684082 | 2147483647 84223 27 | 0.000 % |
187.97/188.17 c | 84504 | 43082 600262 2684082 | 2147483647 84504 27 | 0.000 % |
188.36/188.55 c | 84815 | 43082 600262 2684082 | 2147483647 84815 27 | 0.000 % |
189.16/189.33 c | 85154 | 43082 600262 2684082 | 2147483647 85154 27 | 0.000 % |
190.17/190.32 c | 85527 | 43082 600262 2684082 | 2147483647 85527 27 | 0.000 % |
190.96/191.13 c | 85936 | 43082 600262 2684082 | 2147483647 85936 27 | 0.000 % |
193.16/193.36 c | 86385 | 43082 600262 2684082 | 2147483647 86385 27 | 0.000 % |
193.96/194.17 c | 86880 | 43082 600262 2684082 | 2147483647 86880 27 | 0.000 % |
195.66/195.84 c | 87424 | 43082 600262 2684082 | 2147483647 87424 27 | 0.000 % |
196.86/197.07 c | 88020 | 43082 600262 2684082 | 2147483647 88020 28 | 0.000 % |
198.16/198.36 c | 88678 | 43082 600262 2684082 | 2147483647 88678 28 | 0.000 % |
199.06/199.20 c | 89400 | 43082 600262 2684082 | 2147483647 89400 28 | 0.000 % |
200.76/200.96 c | 90193 | 43082 600262 2684082 | 2147483647 90193 28 | 0.000 % |
202.56/202.72 c | 91064 | 43082 600262 2684082 | 2147483647 91064 28 | 0.000 % |
204.26/204.48 c | 92022 | 43082 600262 2684082 | 2147483647 92022 28 | 0.000 % |
206.16/206.31 c | 93075 | 43082 600262 2684082 | 2147483647 93075 28 | 0.000 % |
206.26/206.48 c | 93175 | 43082 600262 2684082 | 2147483647 93175 28 | 0.000 % |
206.46/206.64 c | 93289 | 43082 600262 2684082 | 2147483647 93289 28 | 0.000 % |
206.57/206.77 c | 93410 | 43082 600262 2684082 | 2147483647 93410 28 | 0.000 % |
206.96/207.12 c | 93543 | 43082 600262 2684082 | 2147483647 93543 28 | 0.000 % |
207.26/207.43 c | 93693 | 43082 600262 2684082 | 2147483647 93693 28 | 0.000 % |
207.56/207.72 c | 93854 | 43082 600262 2684082 | 2147483647 93854 28 | 0.000 % |
208.06/208.23 c | 94030 | 43082 600262 2684082 | 2147483647 94030 28 | 0.000 % |
208.36/208.58 c | 94223 | 43082 600262 2684082 | 2147483647 94223 28 | 0.000 % |
209.16/209.30 c | 94436 | 43082 600262 2684082 | 2147483647 94436 28 | 0.000 % |
209.66/209.87 c | 94670 | 43082 600262 2684082 | 2147483647 94670 28 | 0.000 % |
210.16/210.37 c | 94927 | 43082 600262 2684082 | 2147483647 94927 28 | 0.000 % |
210.96/211.12 c | 95210 | 43082 600262 2684082 | 2147483647 95210 28 | 0.000 % |
211.76/211.91 c | 95519 | 43082 600262 2684082 | 2147483647 95519 28 | 0.000 % |
212.56/212.71 c | 95858 | 43082 600262 2684082 | 2147483647 95858 28 | 0.000 % |
213.36/213.54 c | 96230 | 43082 600262 2684082 | 2147483647 96230 28 | 0.000 % |
214.56/214.76 c | 96639 | 43082 600262 2684082 | 2147483647 96639 28 | 0.000 % |
215.66/215.88 c | 97088 | 43082 600262 2684082 | 2147483647 97088 28 | 0.000 % |
216.96/217.18 c | 97581 | 43082 600262 2684082 | 2147483647 97581 28 | 0.000 % |
218.85/219.02 c | 98123 | 43082 600262 2684082 | 2147483647 98123 28 | 0.000 % |
220.65/220.86 c | 98722 | 43082 600262 2684082 | 2147483647 98722 28 | 0.000 % |
221.96/222.20 c | 99379 | 43082 600262 2684082 | 2147483647 99379 28 | 0.000 % |
223.16/223.33 c | 100099 | 43082 600262 2684082 | 2147483647 100099 28 | 0.000 % |
225.15/225.36 c | 100891 | 43082 600262 2684082 | 2147483647 100891 28 | 0.000 % |
227.25/227.48 c | 101762 | 43082 600262 2684082 | 2147483647 101762 28 | 0.000 % |
230.25/230.48 c | 102721 | 43082 600262 2684082 | 2147483647 102721 28 | 0.000 % |
231.75/231.91 c | 103774 | 43082 600262 2684082 | 2147483647 103774 28 | 0.000 % |
233.76/233.91 c | 104935 | 43082 600262 2684082 | 2147483647 104935 28 | 0.000 % |
233.96/234.17 c | 105035 | 43082 600262 2684082 | 2147483647 105035 28 | 0.000 % |
234.16/234.39 c | 105148 | 43082 600262 2684082 | 2147483647 105148 28 | 0.000 % |
234.46/234.66 c | 105269 | 43082 600262 2684082 | 2147483647 105269 28 | 0.000 % |
234.76/234.96 c | 105403 | 43082 600262 2684082 | 2147483647 105403 28 | 0.000 % |
235.06/235.21 c | 105551 | 43082 600262 2684082 | 2147483647 105551 28 | 0.000 % |
235.26/235.48 c | 105712 | 43082 600262 2684082 | 2147483647 105712 28 | 0.000 % |
235.66/235.87 c | 105889 | 43082 600262 2684082 | 2147483647 105889 28 | 0.000 % |
235.96/236.16 c | 106083 | 43082 600262 2684082 | 2147483647 106083 28 | 0.000 % |
236.45/236.62 c | 106296 | 43082 600262 2684082 | 2147483647 106296 28 | 0.000 % |
237.05/237.25 c | 106530 | 43082 600262 2684082 | 2147483647 106530 28 | 0.000 % |
237.55/237.75 c | 106788 | 43082 600262 2684082 | 2147483647 106788 28 | 0.000 % |
238.05/238.20 c | 107069 | 43082 600262 2684082 | 2147483647 107069 28 | 0.000 % |
239.15/239.38 c | 107378 | 43082 600262 2684082 | 2147483647 107378 28 | 0.000 % |
240.25/240.44 c | 107717 | 43082 600262 2684082 | 2147483647 107717 28 | 0.000 % |
241.35/241.50 c | 108090 | 43082 600262 2684082 | 2147483647 108090 28 | 0.000 % |
242.15/242.37 c | 108500 | 43082 600262 2684082 | 2147483647 108500 28 | 0.000 % |
242.96/243.13 c | 108950 | 43082 600262 2684082 | 2147483647 108950 28 | 0.000 % |
243.85/244.10 c | 109443 | 43082 600262 2684082 | 2147483647 109443 28 | 0.000 % |
245.55/245.72 c | 109985 | 43082 600262 2684082 | 2147483647 109985 28 | 0.000 % |
246.65/246.87 c | 110581 | 43082 600262 2684082 | 2147483647 110581 28 | 0.000 % |
247.95/248.17 c | 111236 | 43082 600262 2684082 | 2147483647 111236 28 | 0.000 % |
249.25/249.48 c | 111956 | 43082 600262 2684082 | 2147483647 111956 28 | 0.000 % |
251.65/251.81 c | 112750 | 43082 600262 2684082 | 2147483647 112750 28 | 0.000 % |
253.45/253.69 c | 113621 | 43082 600262 2684082 | 2147483647 113621 28 | 0.000 % |
255.84/256.09 c | 114582 | 43082 600262 2684082 | 2147483647 114582 28 | 0.000 % |
257.84/258.01 c | 115636 | 43082 600262 2684082 | 2147483647 115636 28 | 0.000 % |
261.14/261.32 c | 116800 | 43082 600262 2684082 | 2147483647 116800 28 | 0.000 % |
264.14/264.39 c | 118073 | 43082 600262 2684082 | 2147483647 118073 28 | 0.000 % |
264.44/264.61 c | 118173 | 43082 600262 2684082 | 2147483647 118173 28 | 0.000 % |
264.64/264.82 c | 118284 | 43082 600262 2684082 | 2147483647 118284 28 | 0.000 % |
264.84/265.08 c | 118407 | 43082 600262 2684082 | 2147483647 118407 28 | 0.000 % |
265.24/265.41 c | 118540 | 43082 600262 2684082 | 2147483647 118540 28 | 0.000 % |
265.64/265.87 c | 118688 | 43082 600262 2684082 | 2147483647 118688 28 | 0.000 % |
266.34/266.55 c | 118848 | 43082 600262 2684082 | 2147483647 118848 28 | 0.000 % |
266.74/266.99 c | 119024 | 43082 600262 2684082 | 2147483647 119024 28 | 0.000 % |
267.14/267.34 c | 119217 | 43082 600262 2684082 | 2147483647 119217 28 | 0.000 % |
267.54/267.73 c | 119438 | 43082 600262 2684082 | 2147483647 119438 28 | 0.000 % |
268.04/268.25 c | 119671 | 43082 600262 2684082 | 2147483647 119671 28 | 0.000 % |
268.64/268.88 c | 119929 | 43082 600262 2684082 | 2147483647 119929 28 | 0.000 % |
269.14/269.32 c | 120210 | 43082 600262 2684082 | 2147483647 120210 28 | 0.000 % |
269.74/269.95 c | 120519 | 43082 600262 2684082 | 2147483647 120519 28 | 0.000 % |
270.64/270.87 c | 120858 | 43082 600262 2684082 | 2147483647 120858 28 | 0.000 % |
271.44/271.66 c | 121231 | 43082 600262 2684082 | 2147483647 121231 28 | 0.000 % |
272.13/272.38 c | 121640 | 43082 600262 2684082 | 2147483647 121640 28 | 0.000 % |
273.33/273.56 c | 122090 | 43082 600262 2684082 | 2147483647 122090 28 | 0.000 % |
274.63/274.80 c | 122585 | 43082 600262 2684082 | 2147483647 122585 28 | 0.000 % |
275.94/276.13 c | 123128 | 43082 600262 2684082 | 2147483647 123128 28 | 0.000 % |
277.33/277.54 c | 123724 | 43082 600262 2684082 | 2147483647 123724 28 | 0.000 % |
278.73/278.99 c | 124382 | 43082 600262 2684082 | 2147483647 124382 28 | 0.000 % |
280.73/280.97 c | 125102 | 43082 600262 2684082 | 2147483647 125102 28 | 0.000 % |
282.53/282.71 c | 125894 | 43082 600262 2684082 | 2147483647 125894 28 | 0.000 % |
284.43/284.61 c | 126765 | 43082 600262 2684082 | 2147483647 126765 28 | 0.000 % |
286.74/286.96 c | 127726 | 43082 600262 2684082 | 2147483647 127726 28 | 0.000 % |
289.14/289.31 c | 128779 | 43082 600262 2684082 | 2147483647 128779 28 | 0.000 % |
291.53/291.75 c | 129937 | 43082 600262 2684082 | 2147483647 129937 28 | 0.000 % |
294.54/294.71 c | 131210 | 43082 600262 2684082 | 2147483647 131210 28 | 0.000 % |
297.63/297.86 c | 132610 | 43082 600262 2684082 | 2147483647 132610 28 | 0.000 % |
298.03/298.21 c | 132713 | 43082 600262 2684082 | 2147483647 132713 28 | 0.000 % |
298.23/298.40 c | 132824 | 43082 600262 2684082 | 2147483647 132824 28 | 0.000 % |
298.53/298.75 c | 132946 | 43082 600262 2684082 | 2147483647 132946 28 | 0.000 % |
298.83/299.01 c | 133080 | 43082 600262 2684082 | 2147483647 133080 28 | 0.000 % |
299.13/299.33 c | 133227 | 43082 600262 2684082 | 2147483647 133227 28 | 0.000 % |
299.43/299.61 c | 133387 | 43082 600262 2684082 | 2147483647 133387 28 | 0.000 % |
299.73/299.98 c | 133564 | 43082 600262 2684082 | 2147483647 133564 28 | 0.000 % |
300.23/300.41 c | 133761 | 43082 600262 2684082 | 2147483647 133761 28 | 0.000 % |
300.73/300.90 c | 133975 | 43082 600262 2684082 | 2147483647 133975 28 | 0.000 % |
301.13/301.38 c | 134208 | 43082 600262 2684082 | 2147483647 134208 28 | 0.000 % |
301.63/301.88 c | 134464 | 43082 600262 2684082 | 2147483647 134464 28 | 0.000 % |
302.33/302.51 c | 134745 | 43082 600262 2684082 | 2147483647 134745 28 | 0.000 % |
303.43/303.68 c | 135054 | 43082 600262 2684082 | 2147483647 135054 28 | 0.000 % |
304.33/304.51 c | 135393 | 43082 600262 2684082 | 2147483647 135393 28 | 0.000 % |
305.33/305.54 c | 135766 | 43082 600262 2684082 | 2147483647 135766 28 | 0.000 % |
306.33/306.53 c | 136176 | 43082 600262 2684082 | 2147483647 136176 28 | 0.000 % |
307.33/307.55 c | 136626 | 43082 600262 2684082 | 2147483647 136626 28 | 0.000 % |
308.23/308.43 c | 137119 | 43082 600262 2684082 | 2147483647 137119 28 | 0.000 % |
309.23/309.45 c | 137662 | 43082 600262 2684082 | 2147483647 137662 28 | 0.000 % |
310.72/310.95 c | 138259 | 43082 600262 2684082 | 2147483647 138259 28 | 0.000 % |
312.23/312.42 c | 138916 | 43082 600262 2684082 | 2147483647 138916 28 | 0.000 % |
313.82/314.03 c | 139636 | 43082 600262 2684082 | 2147483647 139636 28 | 0.000 % |
315.43/315.65 c | 140428 | 43082 600262 2684082 | 2147483647 140428 28 | 0.000 % |
317.02/317.22 c | 141302 | 43082 600262 2684082 | 2147483647 141302 28 | 0.000 % |
319.22/319.47 c | 142262 | 43082 600262 2684082 | 2147483647 142262 28 | 0.000 % |
322.02/322.22 c | 143317 | 43082 600262 2684082 | 2147483647 143317 28 | 0.000 % |
324.82/325.01 c | 144476 | 43082 600262 2684082 | 2147483647 144476 28 | 0.000 % |
329.32/329.53 c | 145749 | 43082 600262 2684082 | 2147483647 145749 28 | 0.000 % |
332.42/332.68 c | 147149 | 43082 600262 2684082 | 2147483647 147149 28 | 0.000 % |
335.82/336.08 c | 148689 | 43082 600262 2684082 | 2147483647 148689 28 | 0.000 % |
336.11/336.33 c | 148791 | 43082 600262 2684082 | 2147483647 148791 28 | 0.000 % |
336.42/336.67 c | 148902 | 43082 600262 2684082 | 2147483647 148902 28 | 0.000 % |
336.81/337.03 c | 149024 | 43082 600262 2684082 | 2147483647 149024 28 | 0.000 % |
337.21/337.46 c | 149157 | 43082 600262 2684082 | 2147483647 149157 28 | 0.000 % |
337.52/337.73 c | 149305 | 43082 600262 2684082 | 2147483647 149305 28 | 0.000 % |
337.91/338.17 c | 149465 | 43082 600262 2684082 | 2147483647 149465 28 | 0.000 % |
338.21/338.47 c | 149642 | 43082 600262 2684082 | 2147483647 149642 28 | 0.000 % |
338.71/338.92 c | 149836 | 43082 600262 2684082 | 2147483647 149836 28 | 0.000 % |
339.11/339.39 c | 150049 | 43082 600262 2684082 | 2147483647 150049 28 | 0.000 % |
339.72/339.93 c | 150282 | 43082 600262 2684082 | 2147483647 150282 28 | 0.000 % |
340.21/340.42 c | 150539 | 43082 600262 2684082 | 2147483647 150539 28 | 0.000 % |
341.01/341.29 c | 150820 | 43082 600262 2684082 | 2147483647 150820 28 | 0.000 % |
341.82/342.03 c | 151130 | 43082 600262 2684082 | 2147483647 151130 28 | 0.000 % |
342.81/343.04 c | 151469 | 43082 600262 2684082 | 2147483647 151469 28 | 0.000 % |
344.02/344.29 c | 151841 | 43082 600262 2684082 | 2147483647 151841 28 | 0.000 % |
345.61/345.82 c | 152251 | 43082 600262 2684082 | 2147483647 152251 28 | 0.000 % |
347.21/347.49 c | 152703 | 43082 600262 2684082 | 2147483647 152703 28 | 0.000 % |
348.41/348.63 c | 153198 | 43082 600262 2684082 | 2147483647 153198 28 | 0.000 % |
349.71/349.93 c | 153741 | 43082 600262 2684082 | 2147483647 153741 28 | 0.000 % |
350.71/350.94 c | 154340 | 43082 600262 2684082 | 2147483647 154340 28 | 0.000 % |
352.91/353.17 c | 154995 | 43082 600262 2684082 | 2147483647 154995 28 | 0.000 % |
355.31/355.51 c | 155717 | 43082 600262 2684082 | 2147483647 155717 28 | 0.000 % |
358.01/358.28 c | 156510 | 43082 600262 2684082 | 2147483647 156510 28 | 0.000 % |
360.11/360.38 c | 157384 | 43082 600262 2684082 | 2147483647 157384 28 | 0.000 % |
362.41/362.66 c | 158344 | 43082 600262 2684082 | 2147483647 158344 28 | 0.000 % |
365.01/365.21 c | 159397 | 43082 600262 2684082 | 2147483647 159397 28 | 0.000 % |
367.91/368.11 c | 160555 | 43082 600262 2684082 | 2147483647 160555 28 | 0.000 % |
371.01/371.29 c | 161829 | 43082 600262 2684082 | 2147483647 161829 28 | 0.000 % |
374.70/374.94 c | 163230 | 43082 600262 2684082 | 2147483647 163230 28 | 0.000 % |
378.70/378.94 c | 164771 | 43082 600262 2684082 | 2147483647 164771 28 | 0.000 % |
382.30/382.58 c | 166465 | 43082 600262 2684082 | 2147483647 166465 28 | 0.000 % |
382.60/382.85 c | 166567 | 43082 600262 2684082 | 2147483647 166567 28 | 0.000 % |
382.90/383.15 c | 166678 | 43082 600262 2684082 | 2147483647 166678 28 | 0.000 % |
383.10/383.39 c | 166801 | 43082 600262 2684082 | 2147483647 166801 28 | 0.000 % |
383.60/383.81 c | 166934 | 43082 600262 2684082 | 2147483647 166934 28 | 0.000 % |
383.90/384.14 c | 167080 | 43082 600262 2684082 | 2147483647 167080 28 | 0.000 % |
384.40/384.69 c | 167240 | 43082 600262 2684082 | 2147483647 167240 28 | 0.000 % |
384.80/385.06 c | 167416 | 43082 600262 2684082 | 2147483647 167416 28 | 0.000 % |
385.40/385.64 c | 167610 | 43082 600262 2684082 | 2147483647 167610 28 | 0.000 % |
385.90/386.17 c | 167824 | 43082 600262 2684082 | 2147483647 167824 28 | 0.000 % |
386.60/386.87 c | 168058 | 43082 600262 2684082 | 2147483647 168058 28 | 0.000 % |
387.10/387.34 c | 168314 | 43082 600262 2684082 | 2147483647 168314 28 | 0.000 % |
387.60/387.87 c | 168595 | 43082 600262 2684082 | 2147483647 168595 28 | 0.000 % |
388.60/388.85 c | 168905 | 43082 600262 2684082 | 2147483647 168905 28 | 0.000 % |
389.50/389.73 c | 169244 | 43082 600262 2684082 | 2147483647 169244 28 | 0.000 % |
390.30/390.52 c | 169617 | 43082 600262 2684082 | 2147483647 169617 28 | 0.000 % |
391.30/391.57 c | 170026 | 43082 600262 2684082 | 2147483647 170026 28 | 0.000 % |
392.50/392.78 c | 170475 | 43082 600262 2684082 | 2147483647 170475 28 | 0.000 % |
393.90/394.19 c | 170968 | 43082 600262 2684082 | 2147483647 170968 28 | 0.000 % |
395.60/395.84 c | 171512 | 43082 600262 2684082 | 2147483647 171512 28 | 0.000 % |
397.39/397.62 c | 172108 | 43082 600262 2684082 | 2147483647 172108 28 | 0.000 % |
399.29/399.52 c | 172763 | 43082 600262 2684082 | 2147483647 172763 28 | 0.000 % |
401.29/401.55 c | 173483 | 43082 600262 2684082 | 2147483647 173483 28 | 0.000 % |
403.59/403.84 c | 174275 | 43082 600262 2684082 | 2147483647 174275 28 | 0.000 % |
405.99/406.21 c | 175146 | 43082 600262 2684082 | 2147483647 175146 28 | 0.000 % |
408.29/408.56 c | 176104 | 43082 600262 2684082 | 2147483647 176104 28 | 0.000 % |
410.79/411.01 c | 177159 | 43082 600262 2684082 | 2147483647 177159 28 | 0.000 % |
414.59/414.80 c | 178317 | 43082 600262 2684082 | 2147483647 178317 28 | 0.000 % |
418.29/418.56 c | 179590 | 43082 600262 2684082 | 2147483647 179590 28 | 0.000 % |
422.19/422.47 c | 180995 | 43082 600262 2684082 | 2147483647 180995 28 | 0.000 % |
425.79/426.06 c | 182536 | 43082 600262 2684082 | 2147483647 182536 28 | 0.000 % |
429.59/429.85 c | 184236 | 43082 600262 2684082 | 2147483647 184236 28 | 0.000 % |
435.88/436.12 c | 186100 | 43082 600262 2684082 | 2147483647 186100 28 | 0.000 % |
436.08/436.38 c | 186200 | 43082 600262 2684082 | 2147483647 186200 28 | 0.000 % |
436.49/436.71 c | 186310 | 43082 600262 2684082 | 2147483647 186310 28 | 0.000 % |
436.78/437.01 c | 186433 | 43082 600262 2684082 | 2147483647 186433 28 | 0.000 % |
437.18/437.45 c | 186566 | 43082 600262 2684082 | 2147483647 186566 28 | 0.000 % |
437.48/437.75 c | 186712 | 43082 600262 2684082 | 2147483647 186712 28 | 0.000 % |
437.88/438.15 c | 186874 | 43082 600262 2684082 | 2147483647 186874 28 | 0.000 % |
438.38/438.65 c | 187050 | 43082 600262 2684082 | 2147483647 187050 28 | 0.000 % |
438.88/439.10 c | 187244 | 43082 600262 2684082 | 2147483647 187244 28 | 0.000 % |
439.48/439.73 c | 187457 | 43082 600262 2684082 | 2147483647 187457 28 | 0.000 % |
440.08/440.33 c | 187693 | 43082 600262 2684082 | 2147483647 187693 28 | 0.000 % |
440.78/441.04 c | 187953 | 43082 600262 2684082 | 2147483647 187953 28 | 0.000 % |
441.38/441.63 c | 188235 | 43082 600262 2684082 | 2147483647 188235 28 | 0.000 % |
442.38/442.60 c | 188544 | 43082 600262 2684082 | 2147483647 188544 28 | 0.000 % |
443.38/443.64 c | 188884 | 43082 600262 2684082 | 2147483647 188884 28 | 0.000 % |
445.18/445.44 c | 189256 | 43082 600262 2684082 | 2147483647 189256 28 | 0.000 % |
446.28/446.50 c | 189666 | 43082 600262 2684082 | 2147483647 189666 28 | 0.000 % |
447.28/447.53 c | 190115 | 43082 600262 2684082 | 2147483647 190115 28 | 0.000 % |
448.18/448.50 c | 190609 | 43082 600262 2684082 | 2147483647 190609 28 | 0.000 % |
449.87/450.11 c | 191151 | 43082 600262 2684082 | 2147483647 191151 28 | 0.000 % |
451.37/451.60 c | 191748 | 43082 600262 2684082 | 2147483647 191748 28 | 0.000 % |
452.98/453.27 c | 192403 | 43082 600262 2684082 | 2147483647 192403 28 | 0.000 % |
455.27/455.53 c | 193123 | 43082 600262 2684082 | 2147483647 193123 28 | 0.000 % |
457.67/457.95 c | 193916 | 43082 600262 2684082 | 2147483647 193916 28 | 0.000 % |
460.17/460.42 c | 194787 | 43082 600262 2684082 | 2147483647 194787 28 | 0.000 % |
462.47/462.75 c | 195746 | 43082 600262 2684082 | 2147483647 195746 28 | 0.000 % |
465.08/465.34 c | 196801 | 43082 600262 2684082 | 2147483647 196801 28 | 0.000 % |
468.18/468.47 c | 197959 | 43082 600262 2684082 | 2147483647 197959 29 | 0.000 % |
471.27/471.55 c | 199232 | 43082 600262 2684082 | 2147483647 199232 29 | 0.000 % |
474.67/474.94 c | 200633 | 43082 600262 2684082 | 2147483647 200633 29 | 0.000 % |
478.77/479.03 c | 202173 | 43082 600262 2684082 | 2147483647 202173 29 | 0.000 % |
482.87/483.14 c | 203868 | 43082 600262 2684082 | 2147483647 203868 29 | 0.000 % |
486.77/487.04 c | 205731 | 43082 600262 2684082 | 2147483647 205731 29 | 0.000 % |
492.36/492.70 c | 207780 | 43082 600262 2684082 | 2147483647 207780 29 | 0.000 % |
492.66/492.95 c | 207882 | 43082 600262 2684082 | 2147483647 207882 29 | 0.000 % |
492.96/493.20 c | 207992 | 43082 600262 2684082 | 2147483647 207992 29 | 0.000 % |
493.26/493.57 c | 208114 | 43082 600262 2684082 | 2147483647 208114 29 | 0.000 % |
493.57/493.85 c | 208247 | 43082 600262 2684082 | 2147483647 208247 29 | 0.000 % |
493.96/494.20 c | 208393 | 43082 600262 2684082 | 2147483647 208393 29 | 0.000 % |
494.46/494.75 c | 208553 | 43082 600262 2684082 | 2147483647 208553 29 | 0.000 % |
494.96/495.23 c | 208729 | 43082 600262 2684082 | 2147483647 208729 29 | 0.000 % |
495.56/495.82 c | 208922 | 43082 600262 2684082 | 2147483647 208922 29 | 0.000 % |
496.36/496.61 c | 209134 | 43082 600262 2684082 | 2147483647 209134 29 | 0.000 % |
496.96/497.27 c | 209367 | 43082 600262 2684082 | 2147483647 209367 29 | 0.000 % |
497.46/497.76 c | 209623 | 43082 600262 2684082 | 2147483647 209623 29 | 0.000 % |
498.06/498.37 c | 209904 | 43082 600262 2684082 | 2147483647 209904 29 | 0.000 % |
498.86/499.11 c | 210213 | 43082 600262 2684082 | 2147483647 210213 29 | 0.000 % |
499.66/499.91 c | 210552 | 43082 600262 2684082 | 2147483647 210552 29 | 0.000 % |
500.66/500.99 c | 210925 | 43082 600262 2684082 | 2147483647 210925 29 | 0.000 % |
501.86/502.14 c | 211334 | 43082 600262 2684082 | 2147483647 211334 29 | 0.000 % |
503.06/503.37 c | 211783 | 43082 600262 2684082 | 2147483647 211783 29 | 0.000 % |
504.26/504.56 c | 212276 | 43082 600262 2684082 | 2147483647 212276 29 | 0.000 % |
505.56/505.90 c | 212819 | 43082 600262 2684082 | 2147483647 212819 29 | 0.000 % |
507.06/507.39 c | 213416 | 43082 600262 2684082 | 2147483647 213416 29 | 0.000 % |
508.76/509.07 c | 214072 | 43082 600262 2684082 | 2147483647 214072 29 | 0.000 % |
510.76/511.02 c | 214792 | 43082 600262 2684082 | 2147483647 214792 29 | 0.000 % |
512.66/512.96 c | 215584 | 43082 600262 2684082 | 2147483647 215584 29 | 0.000 % |
514.96/515.28 c | 216456 | 43082 600262 2684082 | 2147483647 216456 29 | 0.000 % |
518.06/518.34 c | 217415 | 43082 600262 2684082 | 2147483647 217415 29 | 0.000 % |
520.76/521.09 c | 218468 | 43082 600262 2684082 | 2147483647 218468 29 | 0.000 % |
523.65/523.99 c | 219626 | 43082 600262 2684082 | 2147483647 219626 29 | 0.000 % |
527.85/528.19 c | 220899 | 43082 600262 2684082 | 2147483647 220899 29 | 0.000 % |
531.55/531.81 c | 222299 | 43082 600262 2684082 | 2147483647 222299 29 | 0.000 % |
535.05/535.31 c | 223839 | 43082 600262 2684082 | 2147483647 223839 29 | 0.000 % |
538.85/539.18 c | 225533 | 43082 600262 2684082 | 2147483647 225533 29 | 0.000 % |
543.55/543.86 c | 227396 | 43082 600262 2684082 | 2147483647 227396 29 | 0.000 % |
550.74/551.07 c | 229445 | 43082 600262 2684082 | 2147483647 229445 29 | 0.000 % |
556.84/557.19 c | 231698 | 43082 600262 2684082 | 2147483647 231698 29 | 0.000 % |
557.14/557.47 c | 231798 | 43082 600262 2684082 | 2147483647 231798 29 | 0.000 % |
557.54/557.88 c | 231910 | 43082 600262 2684082 | 2147483647 231910 29 | 0.000 % |
557.95/558.27 c | 232031 | 43082 600262 2684082 | 2147483647 232031 29 | 0.000 % |
558.45/558.75 c | 232164 | 43082 600262 2684082 | 2147483647 232164 29 | 0.000 % |
558.75/559.00 c | 232313 | 43082 600262 2684082 | 2147483647 232313 29 | 0.000 % |
559.25/559.57 c | 232475 | 43082 600262 2684082 | 2147483647 232475 29 | 0.000 % |
559.85/560.18 c | 232651 | 43082 600262 2684082 | 2147483647 232651 29 | 0.000 % |
560.35/560.63 c | 232844 | 43082 600262 2684082 | 2147483647 232844 29 | 0.000 % |
560.65/560.93 c | 233056 | 43082 600262 2684082 | 2147483647 233056 29 | 0.000 % |
561.14/561.45 c | 233289 | 43082 600262 2684082 | 2147483647 233289 29 | 0.000 % |
561.64/561.99 c | 233547 | 43082 600262 2684082 | 2147483647 233547 29 | 0.000 % |
562.74/563.05 c | 233831 | 43082 600262 2684082 | 2147483647 233831 29 | 0.000 % |
563.74/564.05 c | 234140 | 43082 600262 2684082 | 2147483647 234140 29 | 0.000 % |
564.54/564.89 c | 234480 | 43082 600262 2684082 | 2147483647 234480 29 | 0.000 % |
565.34/565.69 c | 234852 | 43082 600262 2684082 | 2147483647 234852 29 | 0.000 % |
566.44/566.71 c | 235262 | 43082 600262 2684082 | 2147483647 235262 29 | 0.000 % |
567.44/567.78 c | 235711 | 43082 600262 2684082 | 2147483647 235711 29 | 0.000 % |
569.04/569.30 c | 236204 | 43082 600262 2684082 | 2147483647 236204 29 | 0.000 % |
570.44/570.78 c | 236747 | 43082 600262 2684082 | 2147483647 236747 29 | 0.000 % |
572.14/572.47 c | 237344 | 43082 600262 2684082 | 2147483647 237344 29 | 0.000 % |
574.14/574.44 c | 238001 | 43082 600262 2684082 | 2147483647 238001 29 | 0.000 % |
576.84/577.16 c | 238722 | 43082 600262 2684082 | 2147483647 238722 29 | 0.000 % |
579.44/579.71 c | 239515 | 43082 600262 2684082 | 2147483647 239515 29 | 0.000 % |
581.34/581.67 c | 240386 | 43082 600262 2684082 | 2147483647 240386 29 | 0.000 % |
583.44/583.73 c | 241344 | 43082 600262 2684082 | 2147483647 241344 29 | 0.000 % |
587.14/587.43 c | 242398 | 43082 600262 2684082 | 2147483647 242398 29 | 0.000 % |
590.73/591.07 c | 243556 | 43082 600262 2684082 | 2147483647 243556 29 | 0.000 % |
593.83/594.14 c | 244829 | 43082 600262 2684082 | 2147483647 244829 29 | 0.000 % |
597.93/598.20 c | 246229 | 43082 600262 2684082 | 2147483647 246229 29 | 0.000 % |
603.63/603.98 c | 247770 | 43082 600262 2684082 | 2147483647 247770 29 | 0.000 % |
607.22/607.57 c | 249464 | 43082 600262 2684082 | 2147483647 249464 29 | 0.000 % |
612.02/612.39 c | 251329 | 43082 600262 2684082 | 2147483647 251329 29 | 0.000 % |
619.12/619.44 c | 253381 | 43082 600262 2684082 | 2147483647 253381 29 | 0.000 % |
622.42/622.74 c | 255634 | 43082 600262 2684082 | 2147483647 255634 29 | 0.000 % |
626.73/627.05 c | 258113 | 43082 600262 2684082 | 2147483647 258113 29 | 0.000 % |
627.02/627.35 c | 258213 | 43082 600262 2684082 | 2147483647 258213 29 | 0.000 % |
627.42/627.75 c | 258323 | 43082 600262 2684082 | 2147483647 258323 29 | 0.000 % |
627.92/628.22 c | 258444 | 43082 600262 2684082 | 2147483647 258444 29 | 0.000 % |
628.22/628.59 c | 258577 | 43082 600262 2684082 | 2147483647 258577 29 | 0.000 % |
628.62/628.99 c | 258724 | 43082 600262 2684082 | 2147483647 258724 29 | 0.000 % |
629.02/629.33 c | 258884 | 43082 600262 2684082 | 2147483647 258884 29 | 0.000 % |
629.62/629.95 c | 259060 | 43082 600262 2684082 | 2147483647 259060 29 | 0.000 % |
629.93/630.27 c | 259254 | 43082 600262 2684082 | 2147483647 259254 29 | 0.000 % |
630.42/630.75 c | 259466 | 43082 600262 2684082 | 2147483647 259466 29 | 0.000 % |
631.13/631.46 c | 259699 | 43082 600262 2684082 | 2147483647 259699 29 | 0.000 % |
631.82/632.12 c | 259956 | 43082 600262 2684082 | 2147483647 259956 29 | 0.000 % |
632.52/632.86 c | 260239 | 43082 600262 2684082 | 2147483647 260239 29 | 0.000 % |
633.32/633.69 c | 260548 | 43082 600262 2684082 | 2147483647 260548 29 | 0.000 % |
634.82/635.11 c | 260888 | 43082 600262 2684082 | 2147483647 260888 29 | 0.000 % |
635.82/636.10 c | 261261 | 43082 600262 2684082 | 2147483647 261261 29 | 0.000 % |
637.12/637.45 c | 261670 | 43082 600262 2684082 | 2147483647 261670 29 | 0.000 % |
638.12/638.48 c | 262120 | 43082 600262 2684082 | 2147483647 262120 29 | 0.000 % |
639.42/639.77 c | 262614 | 43082 600262 2684082 | 2147483647 262614 29 | 0.000 % |
641.12/641.45 c | 263157 | 43082 600262 2684082 | 2147483647 263157 29 | 0.000 % |
643.62/643.93 c | 263754 | 43082 600262 2684082 | 2147483647 263754 29 | 0.000 % |
646.22/646.55 c | 264409 | 43082 600262 2684082 | 2147483647 264409 29 | 0.000 % |
648.21/648.54 c | 265132 | 43082 600262 2684082 | 2147483647 265132 29 | 0.000 % |
650.11/650.42 c | 265924 | 43082 600262 2684082 | 2147483647 265924 29 | 0.000 % |
652.31/652.70 c | 266796 | 43082 600262 2684082 | 2147483647 266796 29 | 0.000 % |
655.71/656.09 c | 267754 | 43082 600262 2684082 | 2147483647 267754 29 | 0.000 % |
658.71/659.02 c | 268808 | 43082 600262 2684082 | 2147483647 268808 29 | 0.000 % |
661.81/662.10 c | 269966 | 43082 600262 2684082 | 2147483647 269966 29 | 0.000 % |
665.01/665.33 c | 271239 | 43082 600262 2684082 | 2147483647 271239 29 | 0.000 % |
669.01/669.39 c | 272640 | 43082 600262 2684082 | 2147483647 272640 29 | 0.000 % |
674.40/674.75 c | 274180 | 43082 600262 2684082 | 2147483647 274180 29 | 0.000 % |
679.50/679.82 c | 275881 | 43082 600262 2684082 | 2147483647 275881 29 | 0.000 % |
685.31/685.63 c | 277745 | 43082 600262 2684082 | 2147483647 277745 29 | 0.000 % |
692.10/692.43 c | 279797 | 43082 600262 2684082 | 2147483647 279797 29 | 0.000 % |
700.20/700.56 c | 282050 | 43082 600262 2684082 | 2147483647 282050 30 | 0.000 % |
708.79/709.17 c | 284528 | 43082 600262 2684082 | 2147483647 284528 30 | 0.000 % |
716.29/716.63 c | 287254 | 43082 600262 2684082 | 2147483647 287254 30 | 0.000 % |
716.59/716.96 c | 287356 | 43082 600262 2684082 | 2147483647 287356 30 | 0.000 % |
716.99/717.33 c | 287466 | 43082 600262 2684082 | 2147483647 287466 30 | 0.000 % |
717.49/717.84 c | 287587 | 43082 600262 2684082 | 2147483647 287587 30 | 0.000 % |
718.19/718.50 c | 287721 | 43082 600262 2684082 | 2147483647 287721 30 | 0.000 % |
718.79/719.18 c | 287867 | 43082 600262 2684082 | 2147483647 287867 30 | 0.000 % |
719.39/719.74 c | 288029 | 43082 600262 2684082 | 2147483647 288029 30 | 0.000 % |
719.89/720.28 c | 288205 | 43082 600262 2684082 | 2147483647 288205 30 | 0.000 % |
720.39/720.76 c | 288398 | 43082 600262 2684082 | 2147483647 288398 30 | 0.000 % |
720.99/721.36 c | 288610 | 43082 600262 2684082 | 2147483647 288610 30 | 0.000 % |
721.69/722.03 c | 288844 | 43082 600262 2684082 | 2147483647 288844 30 | 0.000 % |
722.39/722.75 c | 289100 | 43082 600262 2684082 | 2147483647 289100 30 | 0.000 % |
722.99/723.39 c | 289382 | 43082 600262 2684082 | 2147483647 289382 30 | 0.000 % |
723.89/724.25 c | 289691 | 43082 600262 2684082 | 2147483647 289691 30 | 0.000 % |
724.69/725.00 c | 290030 | 43082 600262 2684082 | 2147483647 290030 30 | 0.000 % |
725.89/726.27 c | 290404 | 43082 600262 2684082 | 2147483647 290404 30 | 0.000 % |
727.09/727.45 c | 290813 | 43082 600262 2684082 | 2147483647 290813 30 | 0.000 % |
727.99/728.38 c | 291262 | 43082 600262 2684082 | 2147483647 291262 30 | 0.000 % |
729.20/729.56 c | 291756 | 43082 600262 2684082 | 2147483647 291756 30 | 0.000 % |
730.99/731.35 c | 292298 | 43082 600262 2684082 | 2147483647 292298 30 | 0.000 % |
733.09/733.44 c | 292895 | 43082 600262 2684082 | 2147483647 292895 30 | 0.000 % |
735.60/735.95 c | 293551 | 43082 600262 2684082 | 2147483647 293551 30 | 0.000 % |
737.29/737.67 c | 294272 | 43082 600262 2684082 | 2147483647 294272 30 | 0.000 % |
740.19/740.52 c | 295064 | 43082 600262 2684082 | 2147483647 295064 30 | 0.000 % |
742.79/743.18 c | 295935 | 43082 600262 2684082 | 2147483647 295935 29 | 0.000 % |
745.19/745.55 c | 296893 | 43082 600262 2684082 | 2147483647 296893 29 | 0.000 % |
748.59/748.96 c | 297948 | 43082 600262 2684082 | 2147483647 297948 30 | 0.000 % |
752.18/752.55 c | 299106 | 43082 600262 2684082 | 2147483647 299106 30 | 0.000 % |
755.98/756.32 c | 300379 | 43082 600262 2684082 | 2147483647 300379 30 | 0.000 % |
762.68/763.04 c | 301779 | 43082 600262 2684082 | 2147483647 301779 30 | 0.000 % |
766.68/767.03 c | 303320 | 43082 600262 2684082 | 2147483647 303320 30 | 0.000 % |
771.18/771.52 c | 305016 | 43082 600262 2684082 | 2147483647 305016 30 | 0.000 % |
775.47/775.80 c | 306880 | 43082 600262 2684082 | 2147483647 306880 30 | 0.000 % |
781.17/781.57 c | 308929 | 43082 600262 2684082 | 2147483647 308929 30 | 0.000 % |
787.28/787.70 c | 311182 | 43082 600262 2684082 | 2147483647 311182 30 | 0.000 % |
794.17/794.59 c | 313662 | 43082 600262 2684082 | 2147483647 313662 30 | 0.000 % |
801.97/802.37 c | 316387 | 43082 600262 2684082 | 2147483647 316387 30 | 0.000 % |
811.87/812.20 c | 319384 | 43082 600262 2684082 | 2147483647 319384 30 | 0.000 % |
812.16/812.55 c | 319484 | 43082 600262 2684082 | 2147483647 319484 30 | 0.000 % |
812.57/812.98 c | 319595 | 43082 600262 2684082 | 2147483647 319595 30 | 0.000 % |
812.96/813.35 c | 319716 | 43082 600262 2684082 | 2147483647 319716 30 | 0.000 % |
813.26/813.67 c | 319850 | 43082 600262 2684082 | 2147483647 319850 30 | 0.000 % |
813.67/814.06 c | 320000 | 43082 600262 2684082 | 2147483647 320000 30 | 0.000 % |
814.26/814.67 c | 320161 | 43082 600262 2684082 | 2147483647 320161 30 | 0.000 % |
814.77/815.19 c | 320337 | 43082 600262 2684082 | 2147483647 320337 30 | 0.000 % |
815.36/815.73 c | 320530 | 43082 600262 2684082 | 2147483647 320530 30 | 0.000 % |
816.16/816.58 c | 320742 | 43082 600262 2684082 | 2147483647 320742 30 | 0.000 % |
816.96/817.37 c | 320977 | 43082 600262 2684082 | 2147483647 320977 30 | 0.000 % |
817.66/818.09 c | 321234 | 43082 600262 2684082 | 2147483647 321234 30 | 0.000 % |
818.36/818.72 c | 321515 | 43082 600262 2684082 | 2147483647 321515 30 | 0.000 % |
819.36/819.74 c | 321824 | 43082 600262 2684082 | 2147483647 321824 30 | 0.000 % |
820.56/820.90 c | 322163 | 43082 600262 2684082 | 2147483647 322163 30 | 0.000 % |
821.46/821.88 c | 322535 | 43082 600262 2684082 | 2147483647 322535 30 | 0.000 % |
822.96/823.39 c | 322945 | 43082 600262 2684082 | 2147483647 322945 30 | 0.000 % |
824.06/824.49 c | 323395 | 43082 600262 2684082 | 2147483647 323395 30 | 0.000 % |
825.16/825.51 c | 323890 | 43082 600262 2684082 | 2147483647 323890 30 | 0.000 % |
826.26/826.61 c | 324433 | 43082 600262 2684082 | 2147483647 324433 30 | 0.000 % |
827.56/827.92 c | 325031 | 43082 600262 2684082 | 2147483647 325031 30 | 0.000 % |
829.26/829.64 c | 325687 | 43082 600262 2684082 | 2147483647 325687 30 | 0.000 % |
831.66/832.01 c | 326407 | 43082 600262 2684082 | 2147483647 326407 30 | 0.000 % |
833.96/834.35 c | 327199 | 43082 600262 2684082 | 2147483647 327199 30 | 0.000 % |
836.26/836.63 c | 328070 | 43082 600262 2684082 | 2147483647 328070 30 | 0.000 % |
838.16/838.58 c | 329028 | 43082 600262 2684082 | 2147483647 329028 30 | 0.000 % |
841.66/842.00 c | 330081 | 43082 600262 2684082 | 2147483647 330081 30 | 0.000 % |
845.16/845.59 c | 331240 | 43082 600262 2684082 | 2147483647 331240 30 | 0.000 % |
849.36/849.71 c | 332513 | 43082 600262 2684082 | 2147483647 332513 30 | 0.000 % |
853.85/854.29 c | 333913 | 43082 600262 2684082 | 2147483647 333913 30 | 0.000 % |
860.05/860.44 c | 335453 | 43082 600262 2684082 | 2147483647 335453 30 | 0.000 % |
865.95/866.37 c | 337147 | 43082 600262 2684082 | 2147483647 337147 30 | 0.000 % |
871.05/871.43 c | 339010 | 43082 600262 2684082 | 2147483647 339010 30 | 0.000 % |
878.45/878.86 c | 341059 | 43082 600262 2684082 | 2147483647 341059 30 | 0.000 % |
885.54/885.95 c | 343313 | 43082 600262 2684082 | 2147483647 343313 30 | 0.000 % |
895.34/895.75 c | 345793 | 43082 600262 2684082 | 2147483647 345793 30 | 0.000 % |
905.53/905.92 c | 348518 | 43082 600262 2684082 | 2147483647 348518 31 | 0.000 % |
914.84/915.21 c | 351515 | 43082 600262 2684082 | 2147483647 351515 31 | 0.000 % |
924.13/924.51 c | 354811 | 43082 600262 2684082 | 2147483647 354811 31 | 0.000 % |
924.53/924.93 c | 354911 | 43082 600262 2684082 | 2147483647 354911 31 | 0.000 % |
925.03/925.47 c | 355022 | 43082 600262 2684082 | 2147483647 355022 31 | 0.000 % |
925.43/925.89 c | 355143 | 43082 600262 2684082 | 2147483647 355143 31 | 0.000 % |
925.93/926.37 c | 355281 | 43082 600262 2684082 | 2147483647 355281 31 | 0.000 % |
926.53/926.91 c | 355427 | 43082 600262 2684082 | 2147483647 355427 31 | 0.000 % |
926.93/927.34 c | 355588 | 43082 600262 2684082 | 2147483647 355588 31 | 0.000 % |
927.73/928.15 c | 355767 | 43082 600262 2684082 | 2147483647 355767 31 | 0.000 % |
928.23/928.68 c | 355960 | 43082 600262 2684082 | 2147483647 355960 31 | 0.000 % |
928.93/929.36 c | 356172 | 43082 600262 2684082 | 2147483647 356172 31 | 0.000 % |
929.73/930.18 c | 356405 | 43082 600262 2684082 | 2147483647 356405 31 | 0.000 % |
930.83/931.23 c | 356664 | 43082 600262 2684082 | 2147483647 356664 31 | 0.000 % |
931.83/932.28 c | 356947 | 43082 600262 2684082 | 2147483647 356947 31 | 0.000 % |
933.13/933.51 c | 357259 | 43082 600262 2684082 | 2147483647 357259 31 | 0.000 % |
934.83/935.20 c | 357598 | 43082 600262 2684082 | 2147483647 357598 31 | 0.000 % |
936.63/937.10 c | 357970 | 43082 600262 2684082 | 2147483647 357970 31 | 0.000 % |
939.23/939.65 c | 358380 | 43082 600262 2684082 | 2147483647 358380 31 | 0.000 % |
940.83/941.24 c | 358830 | 43082 600262 2684082 | 2147483647 358830 31 | 0.000 % |
942.13/942.51 c | 359326 | 43082 600262 2684082 | 2147483647 359326 31 | 0.000 % |
943.83/944.23 c | 359869 | 43082 600262 2684082 | 2147483647 359869 31 | 0.000 % |
945.53/945.97 c | 360466 | 43082 600262 2684082 | 2147483647 360466 31 | 0.000 % |
947.83/948.21 c | 361124 | 43082 600262 2684082 | 2147483647 361124 31 | 0.000 % |
950.42/950.83 c | 361844 | 43082 600262 2684082 | 2147483647 361844 31 | 0.000 % |
953.23/953.61 c | 362636 | 43082 600262 2684082 | 2147483647 362636 31 | 0.000 % |
956.02/956.45 c | 363508 | 43082 600262 2684082 | 2147483647 363508 31 | 0.000 % |
959.52/959.97 c | 364466 | 43082 600262 2684082 | 2147483647 364466 31 | 0.000 % |
963.02/963.47 c | 365520 | 43082 600262 2684082 | 2147483647 365520 31 | 0.000 % |
965.92/966.37 c | 366679 | 43082 600262 2684082 | 2147483647 366679 31 | 0.000 % |
970.72/971.12 c | 367952 | 43082 600262 2684082 | 2147483647 367952 31 | 0.000 % |
974.01/974.42 c | 369352 | 43082 600262 2684082 | 2147483647 369352 31 | 0.000 % |
978.91/979.37 c | 370892 | 43082 600262 2684082 | 2147483647 370892 31 | 0.000 % |
982.71/983.16 c | 372587 | 43082 600262 2684082 | 2147483647 372587 31 | 0.000 % |
989.11/989.52 c | 374451 | 43082 600262 2684082 | 2147483647 374451 31 | 0.000 % |
994.81/995.25 c | 376500 | 43082 600262 2684082 | 2147483647 376500 31 | 0.000 % |
1001.61/1002.09 c | 378755 | 43082 600262 2684082 | 2147483647 378755 31 | 0.000 % |
1010.00/1010.43 c | 381234 | 43082 600262 2684082 | 2147483647 381234 31 | 0.000 % |
1018.00/1018.46 c | 383959 | 43082 600262 2684082 | 2147483647 383959 31 | 0.000 % |
1027.90/1028.40 c | 386956 | 43082 600262 2684082 | 2147483647 386956 31 | 0.000 % |
1037.70/1038.19 c | 390252 | 43082 600262 2684082 | 2147483647 390252 31 | 0.000 % |
1049.50/1049.93 c | 393878 | 43082 600262 2684082 | 2147483647 393878 31 | 0.000 % |
1050.00/1050.41 c | 393980 | 43082 600262 2684082 | 2147483647 393980 31 | 0.000 % |
1050.20/1050.67 c | 394090 | 43082 600262 2684082 | 2147483647 394090 31 | 0.000 % |
1050.59/1051.03 c | 394211 | 43082 600262 2684082 | 2147483647 394211 31 | 0.000 % |
1051.10/1051.60 c | 394344 | 43082 600262 2684082 | 2147483647 394344 31 | 0.000 % |
1051.59/1052.02 c | 394492 | 43082 600262 2684082 | 2147483647 394492 31 | 0.000 % |
1051.99/1052.43 c | 394652 | 43082 600262 2684082 | 2147483647 394652 31 | 0.000 % |
1052.79/1053.28 c | 394828 | 43082 600262 2684082 | 2147483647 394828 31 | 0.000 % |
1053.49/1053.96 c | 395021 | 43082 600262 2684082 | 2147483647 395021 31 | 0.000 % |
1054.69/1055.14 c | 395233 | 43082 600262 2684082 | 2147483647 395233 31 | 0.000 % |
1055.59/1056.07 c | 395466 | 43082 600262 2684082 | 2147483647 395466 31 | 0.000 % |
1056.29/1056.76 c | 395723 | 43082 600262 2684082 | 2147483647 395723 31 | 0.000 % |
1057.19/1057.64 c | 396004 | 43082 600262 2684082 | 2147483647 396004 31 | 0.000 % |
1058.39/1058.83 c | 396316 | 43082 600262 2684082 | 2147483647 396316 31 | 0.000 % |
1059.59/1060.06 c | 396657 | 43082 600262 2684082 | 2147483647 396657 31 | 0.000 % |
1061.19/1061.60 c | 397029 | 43082 600262 2684082 | 2147483647 397029 31 | 0.000 % |
1062.69/1063.15 c | 397441 | 43082 600262 2684082 | 2147483647 397441 31 | 0.000 % |
1064.89/1065.31 c | 397892 | 43082 600262 2684082 | 2147483647 397892 31 | 0.000 % |
1066.09/1066.57 c | 398385 | 43082 600262 2684082 | 2147483647 398385 31 | 0.000 % |
1067.38/1067.88 c | 398927 | 43082 600262 2684082 | 2147483647 398927 31 | 0.000 % |
1069.18/1069.65 c | 399523 | 43082 600262 2684082 | 2147483647 399523 31 | 0.000 % |
1071.78/1072.25 c | 400178 | 43082 600262 2684082 | 2147483647 400178 31 | 0.000 % |
1074.48/1074.92 c | 400899 | 43082 600262 2684082 | 2147483647 400899 31 | 0.000 % |
1076.98/1077.46 c | 401693 | 43082 600262 2684082 | 2147483647 401693 31 | 0.000 % |
1079.88/1080.33 c | 402564 | 43082 600262 2684082 | 2147483647 402564 31 | 0.000 % |
1083.08/1083.52 c | 403522 | 43082 600262 2684082 | 2147483647 403522 31 | 0.000 % |
1087.48/1087.97 c | 404577 | 43082 600262 2684082 | 2147483647 404577 31 | 0.000 % |
1091.48/1091.98 c | 405736 | 43082 600262 2684082 | 2147483647 405736 31 | 0.000 % |
1095.68/1096.11 c | 407010 | 43082 600262 2684082 | 2147483647 407010 31 | 0.000 % |
1100.68/1101.12 c | 408410 | 43082 600262 2684082 | 2147483647 408410 31 | 0.000 % |
1104.88/1105.36 c | 409953 | 43082 600262 2684082 | 2147483647 409953 31 | 0.000 % |
1110.98/1111.50 c | 411648 | 43082 600262 2684082 | 2147483647 411648 31 | 0.000 % |
1118.37/1118.80 c | 413512 | 43082 600262 2684082 | 2147483647 413512 31 | 0.000 % |
1126.07/1126.55 c | 415561 | 43082 600262 2684082 | 2147483647 415561 31 | 0.000 % |
1133.57/1134.08 c | 417814 | 43082 600262 2684082 | 2147483647 417814 31 | 0.000 % |
1139.97/1140.47 c | 420293 | 43082 600262 2684082 | 2147483647 420293 31 | 0.000 % |
1149.36/1149.83 c | 423018 | 43082 600262 2684082 | 2147483647 423018 31 | 0.000 % |
1160.36/1160.83 c | 426015 | 43082 600262 2684082 | 2147483647 426015 31 | 0.000 % |
1169.96/1170.48 c | 429313 | 43082 600262 2684082 | 2147483647 429313 31 | 0.000 % |
1180.55/1181.00 c | 432939 | 43082 600262 2684082 | 2147483647 432939 31 | 0.000 % |
1194.65/1195.16 c | 436926 | 43082 600262 2684082 | 2147483647 436926 31 | 0.000 % |
1195.15/1195.66 c | 437027 | 43082 600262 2684082 | 2147483647 437027 31 | 0.000 % |
1195.65/1196.14 c | 437137 | 43082 600262 2684082 | 2147483647 437137 31 | 0.000 % |
1196.25/1196.71 c | 437260 | 43082 600262 2684082 | 2147483647 437260 31 | 0.000 % |
1196.55/1197.08 c | 437393 | 43082 600262 2684082 | 2147483647 437393 31 | 0.000 % |
1197.35/1197.81 c | 437539 | 43082 600262 2684082 | 2147483647 437539 31 | 0.000 % |
1198.15/1198.67 c | 437699 | 43082 600262 2684082 | 2147483647 437699 31 | 0.000 % |
1198.95/1199.48 c | 437877 | 43082 600262 2684082 | 2147483647 437877 31 | 0.000 % |
1199.86/1200.34 c | 438070 | 43082 600262 2684082 | 2147483647 438070 31 | 0.000 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1832063-1242769130/watcher-1832063-1242769130 -o /tmp/evaluation-result-1832063-1242769130/solver-1832063-1242769130 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832063-1242769130.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 709
/proc/meminfo: memFree=1804352/2055920 swapFree=4124164/4192956
[pid=709] ppid=707 vsize=5356 CPUtime=0
/proc/709/stat : 709 (SatELiteGTI) R 707 709 595 0 -1 4194304 268 0 0 0 0 0 0 0 18 0 1 0 304942908 5484544 235 1992294400 4194304 4889804 548682068832 18446744073709551615 214945032863 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/709/statm: 1339 235 195 169 0 50 0
[pid=710] ppid=709 vsize=5356 CPUtime=0
/proc/710/stat : 710 (SatELiteGTI) R 709 709 595 0 -1 4194368 21 0 0 0 0 0 0 0 18 0 1 0 304942909 5484544 238 1992294400 4194304 4889804 548682068832 18446744073709551615 214945032863 0 65538 4096 65538 0 0 0 17 1 0 0
/proc/710/statm: 1339 238 198 169 0 50 0
[pid=711] ppid=710 vsize=0 CPUtime=0
/proc/711/stat : 711 (SatELiteGTI) Z 710 709 595 0 -1 4194380 25 0 0 0 0 0 0 0 18 0 1 0 304942909 0 0 1992294400 0 0 0 0 0 0 0 4096 65538 18446744071563351923 0 0 17 1 0 0
/proc/711/statm: 0 0 0 0 0 0 0
[startup+0.034388 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 709
/proc/meminfo: memFree=1804352/2055920 swapFree=4124164/4192956
[pid=709] ppid=707 vsize=5356 CPUtime=0
/proc/709/stat : 709 (SatELiteGTI) S 707 709 595 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 304942908 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/709/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.102395 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 709
/proc/meminfo: memFree=1804352/2055920 swapFree=4124164/4192956
[pid=709] ppid=707 vsize=5356 CPUtime=0
/proc/709/stat : 709 (SatELiteGTI) S 707 709 595 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 304942908 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/709/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301416 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 709
/proc/meminfo: memFree=1804352/2055920 swapFree=4124164/4192956
[pid=709] ppid=707 vsize=5356 CPUtime=0
/proc/709/stat : 709 (SatELiteGTI) S 707 709 595 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 304942908 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/709/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.701462 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 709
/proc/meminfo: memFree=1804352/2055920 swapFree=4124164/4192956
[pid=709] ppid=707 vsize=5356 CPUtime=0
/proc/709/stat : 709 (SatELiteGTI) S 707 709 595 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 304942908 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/709/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+1.50254 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 714
/proc/meminfo: memFree=1661864/2055920 swapFree=4124164/4192956
[pid=709] ppid=707 vsize=5356 CPUtime=0
/proc/709/stat : 709 (SatELiteGTI) S 707 709 595 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 304942908 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/709/statm: 1339 237 197 169 0 50 0
[pid=714] ppid=709 vsize=177712 CPUtime=1.48
/proc/714/stat : 714 (SatELite_releas) R 709 709 595 0 -1 4194304 39217 0 0 0 126 22 0 0 25 0 1 0 304942909 181977088 38320 1992294400 134512640 135223648 4294956128 18446744073709551615 134719062 0 0 4096 3 0 0 0 17 1 0 0
/proc/714/statm: 44428 38320 76 173 0 44253 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 183068
[startup+3.10173 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 714
/proc/meminfo: memFree=1644648/2055920 swapFree=4124164/4192956
[pid=709] ppid=707 vsize=5356 CPUtime=0
/proc/709/stat : 709 (SatELiteGTI) S 707 709 595 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 304942908 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/709/statm: 1339 237 197 169 0 50 0
[pid=714] ppid=709 vsize=182384 CPUtime=3.05
/proc/714/stat : 714 (SatELite_releas) R 709 709 595 0 -1 4194304 40317 0 0 0 280 25 0 0 25 0 1 0 304942909 186761216 39420 1992294400 134512640 135223648 4294956128 18446744073709551615 134599695 0 0 4096 3 0 0 0 17 0 0 0
/proc/714/statm: 45596 39420 76 173 0 45421 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 187740
[startup+6.30108 s]
/proc/loadavg: 1.08 1.02 1.01 2/67 714
/proc/meminfo: memFree=1617384/2055920 swapFree=4124164/4192956
[pid=709] ppid=707 vsize=5356 CPUtime=0
/proc/709/stat : 709 (SatELiteGTI) S 707 709 595 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 304942908 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/709/statm: 1339 237 197 169 0 50 0
[pid=714] ppid=709 vsize=199884 CPUtime=6.25
/proc/714/stat : 714 (SatELite_releas) R 709 709 595 0 -1 4194304 43679 0 0 0 592 33 0 0 25 0 1 0 304942909 204681216 42782 1992294400 134512640 135223648 4294956128 18446744073709551615 134737406 0 0 4096 3 0 0 0 17 1 0 0
/proc/714/statm: 49971 42782 76 173 0 49796 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 205240
[startup+12.7018 s]
/proc/loadavg: 1.15 1.03 1.01 2/67 714
/proc/meminfo: memFree=1581680/2055920 swapFree=4124164/4192956
[pid=709] ppid=707 vsize=5356 CPUtime=0
/proc/709/stat : 709 (SatELiteGTI) S 707 709 595 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 304942908 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/709/statm: 1339 237 197 169 0 50 0
[pid=714] ppid=709 vsize=211052 CPUtime=12.65
/proc/714/stat : 714 (SatELite_releas) R 709 709 595 0 -1 4194304 46972 0 0 0 1217 48 0 0 25 0 1 0 304942909 216117248 45359 1992294400 134512640 135223648 4294956128 18446744073709551615 134549042 0 0 4096 3 0 0 0 17 1 0 0
/proc/714/statm: 52763 45359 76 173 0 52588 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 216408
[startup+25.5012 s]
/proc/loadavg: 1.19 1.05 1.01 2/67 715
/proc/meminfo: memFree=1712176/2055920 swapFree=4124164/4192956
[pid=709] ppid=707 vsize=5356 CPUtime=21.19
/proc/709/stat : 709 (SatELiteGTI) S 707 709 595 0 -1 4194304 336 54735 0 0 0 0 2058 61 16 0 1 0 304942908 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/709/statm: 1339 239 197 169 0 50 0
[pid=715] ppid=709 vsize=37392 CPUtime=4.25
/proc/715/stat : 715 (minisat_static) R 709 709 595 0 -1 4194304 8995 0 0 0 419 6 0 0 25 0 1 0 304945032 38289408 8981 1992294400 134512640 135215339 4294956256 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/715/statm: 9348 8981 77 171 0 9175 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 42748
[startup+51.1011 s]
/proc/loadavg: 1.12 1.04 1.01 2/67 715
/proc/meminfo: memFree=1709808/2055920 swapFree=4124164/4192956
[pid=709] ppid=707 vsize=5356 CPUtime=21.19
/proc/709/stat : 709 (SatELiteGTI) S 707 709 595 0 -1 4194304 336 54735 0 0 0 0 2058 61 16 0 1 0 304942908 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/709/statm: 1339 239 197 169 0 50 0
[pid=715] ppid=709 vsize=39984 CPUtime=29.83
/proc/715/stat : 715 (minisat_static) R 709 709 595 0 -1 4194304 9624 0 0 0 2976 7 0 0 25 0 1 0 304945032 40943616 9610 1992294400 134512640 135215339 4294956256 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/715/statm: 9996 9610 77 171 0 9823 0
Current children cumulated CPU time (s) 51.02
Current children cumulated vsize (KiB) 45340
[startup+102.306 s]
/proc/loadavg: 1.05 1.03 1.01 2/67 715
/proc/meminfo: memFree=1705712/2055920 swapFree=4124164/4192956
[pid=709] ppid=707 vsize=5356 CPUtime=21.19
/proc/709/stat : 709 (SatELiteGTI) S 707 709 595 0 -1 4194304 336 54735 0 0 0 0 2058 61 16 0 1 0 304942908 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/709/statm: 1339 239 197 169 0 50 0
[pid=715] ppid=709 vsize=43944 CPUtime=81
/proc/715/stat : 715 (minisat_static) R 709 709 595 0 -1 4194304 10614 0 0 0 8091 9 0 0 25 0 1 0 304945032 44998656 10600 1992294400 134512640 135215339 4294956256 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/715/statm: 10986 10600 77 171 0 10813 0
Current children cumulated CPU time (s) 102.19
Current children cumulated vsize (KiB) 49300
[startup+162.302 s]
/proc/loadavg: 1.02 1.02 1.00 2/67 715
/proc/meminfo: memFree=1701488/2055920 swapFree=4124164/4192956
[pid=709] ppid=707 vsize=5356 CPUtime=21.19
/proc/709/stat : 709 (SatELiteGTI) S 707 709 595 0 -1 4194304 336 54735 0 0 0 0 2058 61 16 0 1 0 304942908 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/709/statm: 1339 239 197 169 0 50 0
[pid=715] ppid=709 vsize=48288 CPUtime=140.98
/proc/715/stat : 715 (minisat_static) R 709 709 595 0 -1 4194304 11690 0 0 0 14087 11 0 0 25 0 1 0 304945032 49446912 11676 1992294400 134512640 135215339 4294956256 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/715/statm: 12072 11676 77 171 0 11899 0
Current children cumulated CPU time (s) 162.17
Current children cumulated vsize (KiB) 53644
[startup+222.301 s]
/proc/loadavg: 1.00 1.02 1.00 2/67 715
/proc/meminfo: memFree=1697264/2055920 swapFree=4124164/4192956
[pid=709] ppid=707 vsize=5356 CPUtime=21.19
/proc/709/stat : 709 (SatELiteGTI) S 707 709 595 0 -1 4194304 336 54735 0 0 0 0 2058 61 16 0 1 0 304942908 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/709/statm: 1339 239 197 169 0 50 0
[pid=715] ppid=709 vsize=52436 CPUtime=200.96
/proc/715/stat : 715 (minisat_static) R 709 709 595 0 -1 4194304 12705 0 0 0 20083 13 0 0 25 0 1 0 304945032 53694464 12691 1992294400 134512640 135215339 4294956256 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/715/statm: 13109 12691 77 171 0 12936 0
Current children cumulated CPU time (s) 222.15
Current children cumulated vsize (KiB) 57792
[startup+282.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/67 715
/proc/meminfo: memFree=1693104/2055920 swapFree=4124164/4192956
[pid=709] ppid=707 vsize=5356 CPUtime=21.19
/proc/709/stat : 709 (SatELiteGTI) S 707 709 595 0 -1 4194304 336 54735 0 0 0 0 2058 61 16 0 1 0 304942908 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/709/statm: 1339 239 197 169 0 50 0
[pid=715] ppid=709 vsize=56404 CPUtime=260.94
/proc/715/stat : 715 (minisat_static) R 709 709 595 0 -1 4194304 13735 0 0 0 26080 14 0 0 25 0 1 0 304945032 57757696 13721 1992294400 134512640 135215339 4294956256 18446744073709551615 134528896 0 0 4096 3 0 0 0 17 1 0 0
/proc/715/statm: 14101 13721 77 171 0 13928 0
Current children cumulated CPU time (s) 282.13
Current children cumulated vsize (KiB) 61760
[startup+342.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/67 717
/proc/meminfo: memFree=1689264/2055920 swapFree=4124164/4192956
[pid=709] ppid=707 vsize=5356 CPUtime=21.19
/proc/709/stat : 709 (SatELiteGTI) S 707 709 595 0 -1 4194304 336 54735 0 0 0 0 2058 61 16 0 1 0 304942908 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/709/statm: 1339 239 197 169 0 50 0
[pid=715] ppid=709 vsize=60260 CPUtime=320.92
/proc/715/stat : 715 (minisat_static) R 709 709 595 0 -1 4194304 14641 0 0 0 32077 15 0 0 25 0 1 0 304945032 61706240 14627 1992294400 134512640 135215339 4294956256 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/715/statm: 15065 14627 77 171 0 14892 0
Current children cumulated CPU time (s) 342.11
Current children cumulated vsize (KiB) 65616
[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 717
/proc/meminfo: memFree=1685744/2055920 swapFree=4124164/4192956
[pid=709] ppid=707 vsize=5356 CPUtime=21.19
/proc/709/stat : 709 (SatELiteGTI) S 707 709 595 0 -1 4194304 336 54735 0 0 0 0 2058 61 16 0 1 0 304942908 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/709/statm: 1339 239 197 169 0 50 0
[pid=715] ppid=709 vsize=63584 CPUtime=380.9
################
# More data... #
################
/proc/715/statm: 18661 18199 77 171 0 18488 0
Current children cumulated CPU time (s) 582.03
Current children cumulated vsize (KiB) 80000
[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 717
/proc/meminfo: memFree=1671088/2055920 swapFree=4124164/4192956
[pid=709] ppid=707 vsize=5356 CPUtime=21.19
/proc/709/stat : 709 (SatELiteGTI) S 707 709 595 0 -1 4194304 336 54735 0 0 0 0 2058 61 16 0 1 0 304942908 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/709/statm: 1339 239 197 169 0 50 0
[pid=715] ppid=709 vsize=78104 CPUtime=620.83
/proc/715/stat : 715 (minisat_static) R 709 709 595 0 -1 4194304 19105 0 0 0 62061 22 0 0 25 0 1 0 304945032 79978496 19091 1992294400 134512640 135215339 4294956256 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/715/statm: 19526 19091 77 171 0 19353 0
Current children cumulated CPU time (s) 642.02
Current children cumulated vsize (KiB) 83460
[startup+702.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 717
/proc/meminfo: memFree=1667440/2055920 swapFree=4124164/4192956
[pid=709] ppid=707 vsize=5356 CPUtime=21.19
/proc/709/stat : 709 (SatELiteGTI) S 707 709 595 0 -1 4194304 336 54735 0 0 0 0 2058 61 16 0 1 0 304942908 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/709/statm: 1339 239 197 169 0 50 0
[pid=715] ppid=709 vsize=81456 CPUtime=680.81
/proc/715/stat : 715 (minisat_static) R 709 709 595 0 -1 4194304 19970 0 0 0 68058 23 0 0 25 0 1 0 304945032 83410944 19956 1992294400 134512640 135215339 4294956256 18446744073709551615 134525025 0 0 4096 3 0 0 0 17 1 0 0
/proc/715/statm: 20364 19956 77 171 0 20191 0
Current children cumulated CPU time (s) 702
Current children cumulated vsize (KiB) 86812
[startup+762.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 717
/proc/meminfo: memFree=1663856/2055920 swapFree=4124164/4192956
[pid=709] ppid=707 vsize=5356 CPUtime=21.19
/proc/709/stat : 709 (SatELiteGTI) S 707 709 595 0 -1 4194304 336 54735 0 0 0 0 2058 61 16 0 1 0 304942908 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/709/statm: 1339 239 197 169 0 50 0
[pid=715] ppid=709 vsize=84928 CPUtime=740.79
/proc/715/stat : 715 (minisat_static) R 709 709 595 0 -1 4194304 20834 0 0 0 74055 24 0 0 25 0 1 0 304945032 86966272 20820 1992294400 134512640 135215339 4294956256 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/715/statm: 21232 20820 77 171 0 21059 0
Current children cumulated CPU time (s) 761.98
Current children cumulated vsize (KiB) 90284
[startup+822.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 717
/proc/meminfo: memFree=1660400/2055920 swapFree=4124164/4192956
[pid=709] ppid=707 vsize=5356 CPUtime=21.19
/proc/709/stat : 709 (SatELiteGTI) S 707 709 595 0 -1 4194304 336 54735 0 0 0 0 2058 61 16 0 1 0 304942908 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/709/statm: 1339 239 197 169 0 50 0
[pid=715] ppid=709 vsize=88852 CPUtime=800.77
/proc/715/stat : 715 (minisat_static) R 709 709 595 0 -1 4194304 21698 0 0 0 80052 25 0 0 25 0 1 0 304945032 90984448 21684 1992294400 134512640 135215339 4294956256 18446744073709551615 134528624 0 0 4096 3 0 0 0 17 1 0 0
/proc/715/statm: 22213 21684 77 171 0 22040 0
Current children cumulated CPU time (s) 821.96
Current children cumulated vsize (KiB) 94208
[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 717
/proc/meminfo: memFree=1657008/2055920 swapFree=4124164/4192956
[pid=709] ppid=707 vsize=5356 CPUtime=21.19
/proc/709/stat : 709 (SatELiteGTI) S 707 709 595 0 -1 4194304 336 54735 0 0 0 0 2058 61 16 0 1 0 304942908 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/709/statm: 1339 239 197 169 0 50 0
[pid=715] ppid=709 vsize=92152 CPUtime=860.75
/proc/715/stat : 715 (minisat_static) R 709 709 595 0 -1 4194304 22528 0 0 0 86049 26 0 0 25 0 1 0 304945032 94363648 22514 1992294400 134512640 135215339 4294956256 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/715/statm: 23038 22514 77 171 0 22865 0
Current children cumulated CPU time (s) 881.94
Current children cumulated vsize (KiB) 97508
[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 717
/proc/meminfo: memFree=1653616/2055920 swapFree=4124164/4192956
[pid=709] ppid=707 vsize=5356 CPUtime=21.19
/proc/709/stat : 709 (SatELiteGTI) S 707 709 595 0 -1 4194304 336 54735 0 0 0 0 2058 61 16 0 1 0 304942908 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/709/statm: 1339 239 197 169 0 50 0
[pid=715] ppid=709 vsize=95316 CPUtime=920.74
/proc/715/stat : 715 (minisat_static) R 709 709 595 0 -1 4194304 23342 0 0 0 92047 27 0 0 25 0 1 0 304945032 97603584 23328 1992294400 134512640 135215339 4294956256 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/715/statm: 23829 23328 77 171 0 23656 0
Current children cumulated CPU time (s) 941.93
Current children cumulated vsize (KiB) 100672
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 717
/proc/meminfo: memFree=1650352/2055920 swapFree=4124164/4192956
[pid=709] ppid=707 vsize=5356 CPUtime=21.19
/proc/709/stat : 709 (SatELiteGTI) S 707 709 595 0 -1 4194304 336 54735 0 0 0 0 2058 61 16 0 1 0 304942908 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/709/statm: 1339 239 197 169 0 50 0
[pid=715] ppid=709 vsize=98356 CPUtime=980.71
/proc/715/stat : 715 (minisat_static) R 709 709 595 0 -1 4194304 24127 0 0 0 98044 27 0 0 25 0 1 0 304945032 100716544 24113 1992294400 134512640 135215339 4294956256 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/715/statm: 24589 24113 77 171 0 24416 0
Current children cumulated CPU time (s) 1001.9
Current children cumulated vsize (KiB) 103712
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 717
/proc/meminfo: memFree=1647088/2055920 swapFree=4124164/4192956
[pid=709] ppid=707 vsize=5356 CPUtime=21.19
/proc/709/stat : 709 (SatELiteGTI) S 707 709 595 0 -1 4194304 336 54735 0 0 0 0 2058 61 16 0 1 0 304942908 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/709/statm: 1339 239 197 169 0 50 0
[pid=715] ppid=709 vsize=101676 CPUtime=1040.7
/proc/715/stat : 715 (minisat_static) R 709 709 595 0 -1 4194304 24937 0 0 0 104042 28 0 0 25 0 1 0 304945032 104116224 24923 1992294400 134512640 135215339 4294956256 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/715/statm: 25419 24923 77 171 0 25246 0
Current children cumulated CPU time (s) 1061.89
Current children cumulated vsize (KiB) 107032
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 717
/proc/meminfo: memFree=1643888/2055920 swapFree=4124164/4192956
[pid=709] ppid=707 vsize=5356 CPUtime=21.19
/proc/709/stat : 709 (SatELiteGTI) S 707 709 595 0 -1 4194304 336 54735 0 0 0 0 2058 61 16 0 1 0 304942908 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/709/statm: 1339 239 197 169 0 50 0
[pid=715] ppid=709 vsize=104616 CPUtime=1100.68
/proc/715/stat : 715 (minisat_static) R 709 709 595 0 -1 4194304 25699 0 0 0 110039 29 0 0 25 0 1 0 304945032 107126784 25685 1992294400 134512640 135215339 4294956256 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/715/statm: 26154 25685 77 171 0 25981 0
Current children cumulated CPU time (s) 1121.87
Current children cumulated vsize (KiB) 109972
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 717
/proc/meminfo: memFree=1641008/2055920 swapFree=4124164/4192956
[pid=709] ppid=707 vsize=5356 CPUtime=21.19
/proc/709/stat : 709 (SatELiteGTI) S 707 709 595 0 -1 4194304 336 54735 0 0 0 0 2058 61 16 0 1 0 304942908 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/709/statm: 1339 239 197 169 0 50 0
[pid=715] ppid=709 vsize=107304 CPUtime=1160.66
/proc/715/stat : 715 (minisat_static) R 709 709 595 0 -1 4194304 26401 0 0 0 116037 29 0 0 25 0 1 0 304945032 109879296 26387 1992294400 134512640 135215339 4294956256 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/715/statm: 26826 26387 77 171 0 26653 0
Current children cumulated CPU time (s) 1181.85
Current children cumulated vsize (KiB) 112660
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 717
/proc/meminfo: memFree=1640048/2055920 swapFree=4124164/4192956
[pid=709] ppid=707 vsize=5356 CPUtime=21.19
/proc/709/stat : 709 (SatELiteGTI) S 707 709 595 0 -1 4194304 336 54735 0 0 0 0 2058 61 16 0 1 0 304942908 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/709/statm: 1339 239 197 169 0 50 0
[pid=715] ppid=709 vsize=108228 CPUtime=1178.87
/proc/715/stat : 715 (minisat_static) R 709 709 595 0 -1 4194304 26629 0 0 0 117857 30 0 0 25 0 1 0 304945032 110825472 26615 1992294400 134512640 135215339 4294956256 18446744073709551615 134528742 0 0 4096 3 0 0 0 17 1 0 0
/proc/715/statm: 27057 26615 77 171 0 26884 0
Current children cumulated CPU time (s) 1200.06
Current children cumulated vsize (KiB) 113584
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1200.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 717
/proc/meminfo: memFree=1640048/2055920 swapFree=4124164/4192956
[pid=709] ppid=707 vsize=5356 CPUtime=21.19
/proc/709/stat : 709 (SatELiteGTI) S 707 709 595 0 -1 4194304 336 54735 0 0 0 0 2058 61 16 0 1 0 304942908 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/709/statm: 1339 239 197 169 0 50 0
[pid=715] ppid=709 vsize=108228 CPUtime=1178.87
/proc/715/stat : 715 (minisat_static) R 709 709 595 0 -1 4194304 26629 0 0 0 117857 30 0 0 25 0 1 0 304945032 110825472 26615 1992294400 134512640 135215339 4294956256 18446744073709551615 134528742 0 0 4096 3 0 0 0 17 1 0 0
/proc/715/statm: 27057 26615 77 171 0 26884 0
Current children cumulated CPU time (s) 1200.06
Current children cumulated vsize (KiB) 113584
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 709 and gives
# childrusage.ru_utime.tv_sec=20
# childrusage.ru_utime.tv_usec=584870
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=615906
# CPU time returned by wait4() is 21.2008
# while last known CPU time is 1200.06
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1200.51
CPU time (s): 1200.06
CPU user time (s): 1199.15
CPU system time (s): 0.91
CPU usage (%): 99.9623
Max. virtual memory (cumulated for all children) (KiB): 231884
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20.5849
system time used= 0.615906
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 55071
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= 76
runsolver used 1.16982 second user time and 3.2735 second system time
The end
Begin job on node85 at 2009-05-19 23:38:52
IDJOB=1832063
IDBENCH=20410
IDSOLVER=671
FILE ID=node85/1832063-1242769130
PBS_JOBID= 9322219
Free space on /tmp= 126548 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= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832063-1242769130/watcher-1832063-1242769130 -o /tmp/evaluation-result-1832063-1242769130/solver-1832063-1242769130 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832063-1242769130.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 409f4401e9e8b60ee665ac5567a13e41
RANDOM SEED=1529062131
node85.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.238
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.238
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5996.54
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1804832 kB
Buffers: 11128 kB
Cached: 141904 kB
SwapCached: 63276 kB
Active: 76576 kB
Inactive: 141808 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1804832 kB
SwapTotal: 4192956 kB
SwapFree: 4124164 kB
Dirty: 24396 kB
Writeback: 0 kB
Mapped: 13944 kB
Slab: 18708 kB
Committed_AS: 940172 kB
PageTables: 1388 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 126492 MiB
End job on node85 at 2009-05-19 23:58:55