0.00/0.00 c Parsing...
1.12/1.16 c ==============================================================================
1.12/1.16 c | | ORIGINAL | LEARNT | |
1.12/1.16 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
1.12/1.16 c ==============================================================================
1.12/1.16 c | 0 | 1186821 2884753 | 356046 0 0 nan | 0.000 % |
20.32/20.42 c | 0 | 571173 2544294 | -- 0 -- -- | -- | -615648/-340459
20.32/20.42 c ==============================================================================
20.32/20.42 c Result : #vars: 40759 #clauses: 571173 #literals: 2544294
20.32/20.42 c CPU time: 19.89 s
20.32/20.42 c ==============================================================================
21.12/21.30 c This is MiniSat 2.0 beta
21.12/21.30 c WARNING: for repeatability, setting FPU to use double precision
21.12/21.30 c ============================[ Problem Statistics ]=============================
21.12/21.30 c | |
21.12/21.30 c | Number of variables: 40759 |
21.12/21.30 c | Number of clauses: 571173 |
21.21/21.77 c | Parsing time: 0.37 s |
21.21/21.81 c ============================[ Search Statistics ]==============================
21.21/21.81 c | Conflicts | ORIGINAL | LEARNT | Progress |
21.21/21.81 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
21.21/21.81 c ===============================================================================
21.21/21.81 c | 0 | 40759 571173 2544294 | 190391 0 nan | 0.000 % |
22.02/22.11 c | 100 | 40759 571173 2544294 | 190391 100 14 | 0.000 % |
22.22/22.32 c | 200 | 40759 571173 2544294 | 190391 200 18 | 0.000 % |
22.42/22.53 c | 301 | 40759 571173 2544294 | 190391 301 17 | 0.000 % |
22.62/22.71 c | 413 | 40759 571173 2544294 | 190391 413 20 | 0.000 % |
22.72/22.86 c | 515 | 40759 571173 2544294 | 190391 515 21 | 0.000 % |
23.12/23.21 c | 626 | 40759 571173 2544294 | 190391 626 20 | 0.000 % |
23.32/23.44 c | 747 | 40759 571173 2544294 | 190391 747 20 | 0.000 % |
23.42/23.58 c | 847 | 40759 571173 2544294 | 190391 847 22 | 0.000 % |
23.72/23.82 c | 959 | 40759 571173 2544294 | 190391 959 21 | 0.000 % |
23.92/24.05 c | 1080 | 40759 571173 2544294 | 190391 1080 21 | 0.000 % |
24.22/24.39 c | 1214 | 40759 571173 2544294 | 190391 1214 22 | 0.000 % |
24.42/24.53 c | 1316 | 40759 571173 2544294 | 190391 1316 23 | 0.000 % |
24.62/24.80 c | 1426 | 40759 571173 2544294 | 190391 1426 23 | 0.000 % |
25.02/25.12 c | 1547 | 40759 571173 2544294 | 190391 1547 23 | 0.000 % |
25.42/25.54 c | 1680 | 40759 571173 2544294 | 190391 1680 23 | 0.000 % |
25.62/25.76 c | 1829 | 40759 571173 2544294 | 190391 1829 24 | 0.000 % |
25.72/25.87 c | 1929 | 40759 571173 2544294 | 190391 1929 24 | 0.000 % |
26.12/26.28 c | 2039 | 40759 571173 2544294 | 190391 2039 25 | 0.000 % |
26.42/26.53 c | 2160 | 40759 571173 2544294 | 190391 2160 25 | 0.000 % |
26.52/26.68 c | 2293 | 40759 571173 2544294 | 190391 2293 25 | 0.000 % |
26.92/27.04 c | 2440 | 40759 571173 2544294 | 190391 2440 27 | 0.000 % |
27.22/27.40 c | 2600 | 40759 571173 2544294 | 190391 2600 27 | 0.000 % |
27.52/27.63 c | 2702 | 40759 571173 2544294 | 190391 2702 27 | 0.000 % |
27.82/27.91 c | 2813 | 40759 571173 2544294 | 190391 2813 27 | 0.000 % |
28.02/28.17 c | 2935 | 40759 571173 2544294 | 190391 2935 27 | 0.000 % |
28.22/28.38 c | 3068 | 40759 571173 2544294 | 190391 3068 26 | 0.000 % |
28.82/28.90 c | 3214 | 40759 571173 2544294 | 190391 3214 26 | 0.000 % |
29.02/29.17 c | 3374 | 40759 571173 2544294 | 190391 3374 26 | 0.000 % |
29.42/29.53 c | 3550 | 40759 571173 2544294 | 190391 3550 27 | 0.000 % |
29.63/29.79 c | 3651 | 40759 571173 2544294 | 190391 3651 27 | 0.000 % |
29.82/29.98 c | 3763 | 40759 571173 2544294 | 190391 3763 27 | 0.000 % |
30.12/30.21 c | 3886 | 40759 571173 2544294 | 190391 3886 26 | 0.000 % |
30.22/30.37 c | 4019 | 40759 571173 2544294 | 190391 4019 27 | 0.000 % |
30.73/30.85 c | 4167 | 40759 571173 2544294 | 190391 4167 27 | 0.000 % |
31.02/31.12 c | 4329 | 40759 571173 2544294 | 190391 4329 27 | 0.000 % |
31.42/31.51 c | 4508 | 40759 571173 2544294 | 190391 4508 27 | 0.000 % |
31.72/31.83 c | 4703 | 40759 571173 2544294 | 190391 4703 27 | 0.000 % |
32.02/32.11 c | 4803 | 40759 571173 2544294 | 190391 4803 27 | 0.000 % |
32.12/32.26 c | 4915 | 40759 571173 2544294 | 190391 4915 27 | 0.000 % |
32.42/32.51 c | 5036 | 40759 571173 2544294 | 190391 5036 27 | 0.000 % |
32.62/32.76 c | 5171 | 40759 571173 2544294 | 190391 5171 27 | 0.000 % |
32.82/32.92 c | 5317 | 40759 571173 2544294 | 190391 5317 27 | 0.000 % |
33.22/33.38 c | 5478 | 40759 571173 2544294 | 190391 5478 27 | 0.000 % |
33.52/33.69 c | 5656 | 40759 571173 2544294 | 190391 5656 27 | 0.000 % |
33.92/34.09 c | 5850 | 40759 571173 2544294 | 190391 5850 28 | 0.000 % |
34.32/34.48 c | 6062 | 40759 571173 2544294 | 190391 6062 28 | 0.000 % |
34.62/34.74 c | 6162 | 40759 571173 2544294 | 190391 6162 28 | 0.000 % |
34.72/34.88 c | 6272 | 40759 571173 2544294 | 190391 6272 27 | 0.000 % |
34.92/35.04 c | 6393 | 40759 571173 2544294 | 190391 6393 27 | 0.000 % |
35.02/35.19 c | 6527 | 40759 571173 2544294 | 190391 6527 27 | 0.000 % |
35.32/35.43 c | 6673 | 40759 571173 2544294 | 190391 6673 27 | 0.000 % |
35.42/35.59 c | 6833 | 40759 571173 2544294 | 190391 6833 27 | 0.000 % |
35.72/35.89 c | 7011 | 40759 571173 2544294 | 190391 7011 27 | 0.000 % |
36.23/36.32 c | 7204 | 40759 571173 2544294 | 190391 7204 27 | 0.000 % |
36.62/36.71 c | 7417 | 40759 571173 2544294 | 190391 7417 27 | 0.000 % |
37.02/37.19 c | 7653 | 40759 571173 2544294 | 190391 7653 26 | 0.000 % |
37.22/37.35 c | 7753 | 40759 571173 2544294 | 190391 7753 26 | 0.000 % |
37.52/37.62 c | 7863 | 40759 571173 2544294 | 190391 7863 26 | 0.000 % |
37.82/37.92 c | 7985 | 40759 571173 2544294 | 190391 7985 26 | 0.000 % |
38.02/38.19 c | 8118 | 40759 571173 2544294 | 190391 8118 26 | 0.000 % |
38.32/38.41 c | 8267 | 40759 571173 2544294 | 190391 8267 26 | 0.000 % |
38.72/38.86 c | 8428 | 40759 571173 2544294 | 190391 8428 26 | 0.000 % |
38.92/39.10 c | 8606 | 40759 571173 2544294 | 190391 8606 26 | 0.000 % |
39.22/39.32 c | 8799 | 40759 571173 2544294 | 190391 8799 26 | 0.000 % |
39.53/39.70 c | 9012 | 40759 571173 2544294 | 190391 9012 26 | 0.000 % |
40.02/40.15 c | 9252 | 40759 571173 2544294 | 190391 9252 26 | 0.000 % |
40.52/40.69 c | 9511 | 40759 571173 2544294 | 190391 9511 26 | 0.000 % |
40.72/40.89 c | 9615 | 40759 571173 2544294 | 190391 9615 26 | 0.000 % |
41.02/41.17 c | 9725 | 40759 571173 2544294 | 190391 9725 26 | 0.000 % |
41.42/41.56 c | 9847 | 40759 571173 2544294 | 190391 9847 26 | 0.000 % |
41.62/41.74 c | 9982 | 40759 571173 2544294 | 190391 9982 26 | 0.000 % |
42.02/42.18 c | 10128 | 40759 571173 2544294 | 2147483647 10128 26 | 0.000 % |
42.42/42.51 c | 10289 | 40759 571173 2544294 | 2147483647 10289 26 | 0.000 % |
43.02/43.16 c | 10467 | 40759 571173 2544294 | 2147483647 10467 26 | 0.000 % |
43.32/43.47 c | 10661 | 40759 571173 2544294 | 2147483647 10661 26 | 0.000 % |
43.52/43.68 c | 10873 | 40759 571173 2544294 | 2147483647 10873 27 | 0.000 % |
44.12/44.22 c | 11107 | 40759 571173 2544294 | 2147483647 11107 27 | 0.000 % |
44.52/44.62 c | 11363 | 40759 571173 2544294 | 2147483647 11363 27 | 0.000 % |
45.03/45.19 c | 11645 | 40759 571173 2544294 | 2147483647 11645 27 | 0.000 % |
45.32/45.45 c | 11746 | 40759 571173 2544294 | 2147483647 11746 27 | 0.000 % |
45.52/45.64 c | 11856 | 40759 571173 2544294 | 2147483647 11856 27 | 0.000 % |
45.82/45.99 c | 11978 | 40759 571173 2544294 | 2147483647 11978 27 | 0.000 % |
46.13/46.28 c | 12113 | 40759 571173 2544294 | 2147483647 12113 26 | 0.000 % |
46.42/46.57 c | 12259 | 40759 571173 2544294 | 2147483647 12259 26 | 0.000 % |
46.72/46.82 c | 12421 | 40759 571173 2544294 | 2147483647 12421 27 | 0.000 % |
47.12/47.23 c | 12597 | 40759 571173 2544294 | 2147483647 12597 27 | 0.000 % |
47.32/47.50 c | 12790 | 40759 571173 2544294 | 2147483647 12790 27 | 0.000 % |
47.92/48.05 c | 13002 | 40759 571173 2544294 | 2147483647 13002 27 | 0.000 % |
48.33/48.49 c | 13235 | 40759 571173 2544294 | 2147483647 13235 27 | 0.000 % |
48.72/48.87 c | 13491 | 40759 571173 2544294 | 2147483647 13491 27 | 0.000 % |
49.22/49.40 c | 13778 | 40759 571173 2544294 | 2147483647 13778 27 | 0.000 % |
50.02/50.11 c | 14087 | 40759 571173 2544294 | 2147483647 14087 26 | 0.000 % |
50.12/50.29 c | 14191 | 40759 571173 2544294 | 2147483647 14191 27 | 0.000 % |
50.32/50.50 c | 14303 | 40759 571173 2544294 | 2147483647 14303 27 | 0.000 % |
50.62/50.79 c | 14424 | 40759 571173 2544294 | 2147483647 14424 27 | 0.000 % |
50.92/51.10 c | 14557 | 40759 571173 2544294 | 2147483647 14557 27 | 0.000 % |
51.32/51.46 c | 14703 | 40759 571173 2544294 | 2147483647 14703 26 | 0.000 % |
51.72/51.82 c | 14864 | 40759 571173 2544294 | 2147483647 14864 26 | 0.000 % |
52.02/52.16 c | 15041 | 40759 571173 2544294 | 2147483647 15041 26 | 0.000 % |
52.42/52.51 c | 15234 | 40759 571173 2544294 | 2147483647 15234 27 | 0.000 % |
52.62/52.71 c | 15450 | 40759 571173 2544294 | 2147483647 15450 27 | 0.000 % |
52.92/53.09 c | 15684 | 40759 571173 2544294 | 2147483647 15684 27 | 0.000 % |
53.52/53.68 c | 15941 | 40759 571173 2544294 | 2147483647 15941 26 | 0.000 % |
54.02/54.11 c | 16223 | 40759 571173 2544294 | 2147483647 16223 26 | 0.000 % |
54.82/54.97 c | 16532 | 40759 571173 2544294 | 2147483647 16532 26 | 0.000 % |
55.32/55.42 c | 16873 | 40759 571173 2544294 | 2147483647 16873 26 | 0.000 % |
55.42/55.60 c | 16973 | 40759 571173 2544294 | 2147483647 16973 26 | 0.000 % |
55.92/56.03 c | 17085 | 40759 571173 2544294 | 2147483647 17085 26 | 0.000 % |
56.22/56.31 c | 17206 | 40759 571173 2544294 | 2147483647 17206 26 | 0.000 % |
56.52/56.70 c | 17339 | 40759 571173 2544294 | 2147483647 17339 26 | 0.000 % |
56.82/56.91 c | 17488 | 40759 571173 2544294 | 2147483647 17488 26 | 0.000 % |
57.13/57.22 c | 17652 | 40759 571173 2544294 | 2147483647 17652 26 | 0.000 % |
57.32/57.44 c | 17831 | 40759 571173 2544294 | 2147483647 17831 26 | 0.000 % |
57.52/57.61 c | 18024 | 40759 571173 2544294 | 2147483647 18024 26 | 0.000 % |
58.02/58.12 c | 18239 | 40759 571173 2544294 | 2147483647 18239 26 | 0.000 % |
58.42/58.54 c | 18473 | 40759 571173 2544294 | 2147483647 18473 26 | 0.000 % |
58.92/59.04 c | 18730 | 40759 571173 2544294 | 2147483647 18730 26 | 0.000 % |
59.33/59.46 c | 19011 | 40759 571173 2544294 | 2147483647 19011 26 | 0.000 % |
59.82/59.99 c | 19320 | 40759 571173 2544294 | 2147483647 19320 26 | 0.000 % |
60.72/60.81 c | 19661 | 40759 571173 2544294 | 2147483647 19661 27 | 0.000 % |
61.22/61.36 c | 20033 | 40759 571173 2544294 | 2147483647 20033 27 | 0.000 % |
61.42/61.61 c | 20133 | 40759 571173 2544294 | 2147483647 20133 27 | 0.000 % |
61.72/61.82 c | 20246 | 40759 571173 2544294 | 2147483647 20246 27 | 0.000 % |
61.82/62.00 c | 20367 | 40759 571173 2544294 | 2147483647 20367 27 | 0.000 % |
62.02/62.18 c | 20502 | 40759 571173 2544294 | 2147483647 20502 27 | 0.000 % |
62.32/62.49 c | 20649 | 40759 571173 2544294 | 2147483647 20649 27 | 0.000 % |
62.63/62.80 c | 20809 | 40759 571173 2544294 | 2147483647 20809 26 | 0.000 % |
63.32/63.50 c | 20986 | 40759 571173 2544294 | 2147483647 20986 26 | 0.000 % |
63.73/63.87 c | 21180 | 40759 571173 2544294 | 2147483647 21180 26 | 0.000 % |
64.52/64.68 c | 21392 | 40759 571173 2544294 | 2147483647 21392 26 | 0.000 % |
65.22/65.31 c | 21633 | 40759 571173 2544294 | 2147483647 21633 27 | 0.000 % |
65.72/65.90 c | 21889 | 40759 571173 2544294 | 2147483647 21889 27 | 0.000 % |
66.12/66.27 c | 22171 | 40759 571173 2544294 | 2147483647 22171 27 | 0.000 % |
66.53/66.69 c | 22490 | 40759 571173 2544294 | 2147483647 22490 27 | 0.000 % |
67.43/67.60 c | 22829 | 40759 571173 2544294 | 2147483647 22829 27 | 0.000 % |
68.23/68.37 c | 23203 | 40759 571173 2544294 | 2147483647 23203 27 | 0.000 % |
69.23/69.35 c | 23612 | 40759 571173 2544294 | 2147483647 23612 27 | 0.000 % |
69.63/69.72 c | 23714 | 40759 571173 2544294 | 2147483647 23714 27 | 0.000 % |
69.83/69.93 c | 23827 | 40759 571173 2544294 | 2147483647 23827 27 | 0.000 % |
69.93/70.06 c | 23948 | 40759 571173 2544294 | 2147483647 23948 27 | 0.000 % |
70.13/70.29 c | 24081 | 40759 571173 2544294 | 2147483647 24081 27 | 0.000 % |
70.53/70.68 c | 24228 | 40759 571173 2544294 | 2147483647 24228 27 | 0.000 % |
70.83/70.96 c | 24391 | 40759 571173 2544294 | 2147483647 24391 27 | 0.000 % |
71.53/71.68 c | 24568 | 40759 571173 2544294 | 2147483647 24568 27 | 0.000 % |
72.23/72.39 c | 24763 | 40759 571173 2544294 | 2147483647 24763 27 | 0.000 % |
72.73/72.85 c | 24976 | 40759 571173 2544294 | 2147483647 24976 27 | 0.000 % |
73.23/73.37 c | 25211 | 40759 571173 2544294 | 2147483647 25211 27 | 0.000 % |
73.73/73.89 c | 25467 | 40759 571173 2544294 | 2147483647 25467 27 | 0.000 % |
74.13/74.28 c | 25748 | 40759 571173 2544294 | 2147483647 25748 27 | 0.000 % |
74.53/74.69 c | 26057 | 40759 571173 2544294 | 2147483647 26057 27 | 0.000 % |
75.53/75.71 c | 26396 | 40759 571173 2544294 | 2147483647 26396 27 | 0.000 % |
76.43/76.57 c | 26771 | 40759 571173 2544294 | 2147483647 26771 27 | 0.000 % |
78.03/78.12 c | 27180 | 40759 571173 2544294 | 2147483647 27180 27 | 0.000 % |
78.93/79.04 c | 27631 | 40759 571173 2544294 | 2147483647 27631 27 | 0.000 % |
79.23/79.35 c | 27732 | 40759 571173 2544294 | 2147483647 27732 27 | 0.000 % |
79.43/79.55 c | 27843 | 40759 571173 2544294 | 2147483647 27843 27 | 0.000 % |
79.63/79.74 c | 27964 | 40759 571173 2544294 | 2147483647 27964 27 | 0.000 % |
79.83/80.00 c | 28097 | 40759 571173 2544294 | 2147483647 28097 27 | 0.000 % |
80.13/80.22 c | 28246 | 40759 571173 2544294 | 2147483647 28246 27 | 0.000 % |
80.43/80.56 c | 28408 | 40759 571173 2544294 | 2147483647 28408 27 | 0.000 % |
80.93/81.10 c | 28585 | 40759 571173 2544294 | 2147483647 28585 27 | 0.000 % |
81.43/81.54 c | 28778 | 40759 571173 2544294 | 2147483647 28778 27 | 0.000 % |
81.93/82.10 c | 28990 | 40759 571173 2544294 | 2147483647 28990 27 | 0.000 % |
82.33/82.51 c | 29223 | 40759 571173 2544294 | 2147483647 29223 27 | 0.000 % |
82.73/82.83 c | 29479 | 40759 571173 2544294 | 2147483647 29479 27 | 0.000 % |
83.43/83.52 c | 29760 | 40759 571173 2544294 | 2147483647 29760 27 | 0.000 % |
83.93/84.02 c | 30070 | 40759 571173 2544294 | 2147483647 30070 27 | 0.000 % |
85.03/85.11 c | 30411 | 40759 571173 2544294 | 2147483647 30411 27 | 0.000 % |
85.73/85.90 c | 30786 | 40759 571173 2544294 | 2147483647 30786 28 | 0.000 % |
86.33/86.46 c | 31195 | 40759 571173 2544294 | 2147483647 31195 28 | 0.000 % |
87.13/87.25 c | 31648 | 40759 571173 2544294 | 2147483647 31648 27 | 0.000 % |
88.53/88.70 c | 32141 | 40759 571173 2544294 | 2147483647 32141 28 | 0.000 % |
88.83/88.92 c | 32241 | 40759 571173 2544294 | 2147483647 32241 28 | 0.000 % |
89.03/89.12 c | 32351 | 40759 571173 2544294 | 2147483647 32351 28 | 0.000 % |
89.23/89.33 c | 32474 | 40759 571173 2544294 | 2147483647 32474 28 | 0.000 % |
89.53/89.68 c | 32607 | 40759 571173 2544294 | 2147483647 32607 28 | 0.000 % |
89.83/89.93 c | 32755 | 40759 571173 2544294 | 2147483647 32755 28 | 0.000 % |
90.03/90.19 c | 32918 | 40759 571173 2544294 | 2147483647 32918 28 | 0.000 % |
90.43/90.56 c | 33094 | 40759 571173 2544294 | 2147483647 33094 28 | 0.000 % |
91.03/91.15 c | 33287 | 40759 571173 2544294 | 2147483647 33287 28 | 0.000 % |
91.63/91.72 c | 33499 | 40759 571173 2544294 | 2147483647 33499 28 | 0.000 % |
91.93/92.07 c | 33732 | 40759 571173 2544294 | 2147483647 33732 28 | 0.000 % |
92.23/92.32 c | 33989 | 40759 571173 2544294 | 2147483647 33989 28 | 0.000 % |
93.13/93.30 c | 34273 | 40759 571173 2544294 | 2147483647 34273 28 | 0.000 % |
93.73/93.86 c | 34582 | 40759 571173 2544294 | 2147483647 34582 28 | 0.000 % |
94.53/94.62 c | 34921 | 40759 571173 2544294 | 2147483647 34921 28 | 0.000 % |
95.23/95.35 c | 35294 | 40759 571173 2544294 | 2147483647 35294 28 | 0.000 % |
95.93/96.05 c | 35705 | 40759 571173 2544294 | 2147483647 35705 28 | 0.000 % |
96.83/96.92 c | 36155 | 40759 571173 2544294 | 2147483647 36155 28 | 0.000 % |
97.43/97.59 c | 36648 | 40759 571173 2544294 | 2147483647 36648 28 | 0.000 % |
98.43/98.59 c | 37190 | 40759 571173 2544294 | 2147483647 37190 28 | 0.000 % |
98.83/98.96 c | 37292 | 40759 571173 2544294 | 2147483647 37292 28 | 0.000 % |
99.03/99.15 c | 37403 | 40759 571173 2544294 | 2147483647 37403 28 | 0.000 % |
99.23/99.36 c | 37525 | 40759 571173 2544294 | 2147483647 37525 28 | 0.000 % |
99.53/99.71 c | 37658 | 40759 571173 2544294 | 2147483647 37658 28 | 0.000 % |
99.93/100.06 c | 37804 | 40759 571173 2544294 | 2147483647 37804 28 | 0.000 % |
100.83/100.97 c | 37966 | 40759 571173 2544294 | 2147483647 37966 28 | 0.000 % |
101.23/101.33 c | 38143 | 40759 571173 2544294 | 2147483647 38143 28 | 0.000 % |
101.93/102.01 c | 38336 | 40759 571173 2544294 | 2147483647 38336 28 | 0.000 % |
102.33/102.51 c | 38548 | 40759 571173 2544294 | 2147483647 38548 28 | 0.000 % |
102.93/103.08 c | 38782 | 40759 571173 2544294 | 2147483647 38782 28 | 0.000 % |
103.43/103.52 c | 39038 | 40759 571173 2544294 | 2147483647 39038 28 | 0.000 % |
103.93/104.03 c | 39319 | 40759 571173 2544294 | 2147483647 39319 27 | 0.000 % |
104.53/104.65 c | 39629 | 40759 571173 2544294 | 2147483647 39629 27 | 0.000 % |
105.13/105.24 c | 39968 | 40759 571173 2544294 | 2147483647 39968 27 | 0.000 % |
106.03/106.20 c | 40340 | 40759 571173 2544294 | 2147483647 40340 27 | 0.000 % |
106.53/106.67 c | 40749 | 40759 571173 2544294 | 2147483647 40749 28 | 0.000 % |
107.13/107.26 c | 41198 | 40759 571173 2544294 | 2147483647 41198 28 | 0.000 % |
107.93/108.06 c | 41691 | 40759 571173 2544294 | 2147483647 41691 28 | 0.000 % |
108.73/108.89 c | 42233 | 40759 571173 2544294 | 2147483647 42233 27 | 0.000 % |
110.43/110.57 c | 42829 | 40759 571173 2544294 | 2147483647 42829 27 | 0.000 % |
110.73/110.88 c | 42930 | 40759 571173 2544294 | 2147483647 42930 27 | 0.000 % |
111.03/111.14 c | 43044 | 40759 571173 2544294 | 2147483647 43044 27 | 0.000 % |
111.33/111.44 c | 43165 | 40759 571173 2544294 | 2147483647 43165 27 | 0.000 % |
111.73/111.89 c | 43299 | 40759 571173 2544294 | 2147483647 43299 27 | 0.000 % |
112.03/112.21 c | 43447 | 40759 571173 2544294 | 2147483647 43447 27 | 0.000 % |
112.33/112.48 c | 43612 | 40759 571173 2544294 | 2147483647 43612 27 | 0.000 % |
112.83/112.95 c | 43789 | 40759 571173 2544294 | 2147483647 43789 27 | 0.000 % |
113.23/113.35 c | 43983 | 40759 571173 2544294 | 2147483647 43983 27 | 0.000 % |
113.53/113.66 c | 44196 | 40759 571173 2544294 | 2147483647 44196 27 | 0.000 % |
114.03/114.20 c | 44430 | 40759 571173 2544294 | 2147483647 44430 27 | 0.000 % |
114.53/114.70 c | 44689 | 40759 571173 2544294 | 2147483647 44689 27 | 0.000 % |
115.03/115.11 c | 44972 | 40759 571173 2544294 | 2147483647 44972 27 | 0.000 % |
116.13/116.22 c | 45281 | 40759 571173 2544294 | 2147483647 45281 27 | 0.000 % |
116.63/116.77 c | 45620 | 40759 571173 2544294 | 2147483647 45620 27 | 0.000 % |
117.13/117.30 c | 45993 | 40759 571173 2544294 | 2147483647 45993 27 | 0.000 % |
118.23/118.37 c | 46402 | 40759 571173 2544294 | 2147483647 46402 27 | 0.000 % |
118.93/119.11 c | 46851 | 40759 571173 2544294 | 2147483647 46851 27 | 0.000 % |
120.43/120.53 c | 47344 | 40759 571173 2544294 | 2147483647 47344 27 | 0.000 % |
121.33/121.49 c | 47886 | 40759 571173 2544294 | 2147483647 47886 27 | 0.000 % |
123.23/123.35 c | 48485 | 40759 571173 2544294 | 2147483647 48485 27 | 0.000 % |
124.33/124.51 c | 49142 | 40759 571173 2544294 | 2147483647 49142 27 | 0.000 % |
124.53/124.69 c | 49242 | 40759 571173 2544294 | 2147483647 49242 27 | 0.000 % |
124.83/125.00 c | 49352 | 40759 571173 2544294 | 2147483647 49352 27 | 0.000 % |
125.03/125.17 c | 49473 | 40759 571173 2544294 | 2147483647 49473 27 | 0.000 % |
125.23/125.40 c | 49607 | 40759 571173 2544294 | 2147483647 49607 27 | 0.000 % |
125.73/125.82 c | 49754 | 40759 571173 2544294 | 2147483647 49754 27 | 0.000 % |
125.93/126.08 c | 49916 | 40759 571173 2544294 | 2147483647 49916 27 | 0.000 % |
126.33/126.48 c | 50092 | 40759 571173 2544294 | 2147483647 50092 27 | 0.000 % |
127.03/127.12 c | 50286 | 40759 571173 2544294 | 2147483647 50286 27 | 0.000 % |
127.63/127.81 c | 50498 | 40759 571173 2544294 | 2147483647 50498 27 | 0.000 % |
128.53/128.65 c | 50731 | 40759 571173 2544294 | 2147483647 50731 27 | 0.000 % |
129.13/129.29 c | 50987 | 40759 571173 2544294 | 2147483647 50987 27 | 0.000 % |
130.03/130.12 c | 51269 | 40759 571173 2544294 | 2147483647 51269 27 | 0.000 % |
130.83/130.91 c | 51578 | 40759 571173 2544294 | 2147483647 51578 27 | 0.000 % |
132.03/132.11 c | 51918 | 40759 571173 2544294 | 2147483647 51918 27 | 0.000 % |
132.63/132.74 c | 52292 | 40759 571173 2544294 | 2147483647 52292 27 | 0.000 % |
133.83/133.99 c | 52704 | 40759 571173 2544294 | 2147483647 52704 27 | 0.000 % |
134.83/135.01 c | 53160 | 40759 571173 2544294 | 2147483647 53160 27 | 0.000 % |
136.03/136.12 c | 53653 | 40759 571173 2544294 | 2147483647 53653 27 | 0.000 % |
137.23/137.41 c | 54197 | 40759 571173 2544294 | 2147483647 54197 27 | 0.000 % |
139.23/139.37 c | 54794 | 40759 571173 2544294 | 2147483647 54794 27 | 0.000 % |
141.33/141.42 c | 55453 | 40759 571173 2544294 | 2147483647 55453 27 | 0.000 % |
143.03/143.17 c | 56173 | 40759 571173 2544294 | 2147483647 56173 27 | 0.000 % |
143.23/143.39 c | 56273 | 40759 571173 2544294 | 2147483647 56273 27 | 0.000 % |
143.63/143.76 c | 56383 | 40759 571173 2544294 | 2147483647 56383 27 | 0.000 % |
144.04/144.20 c | 56505 | 40759 571173 2544294 | 2147483647 56505 27 | 0.000 % |
144.33/144.48 c | 56638 | 40759 571173 2544294 | 2147483647 56638 27 | 0.000 % |
144.63/144.75 c | 56784 | 40759 571173 2544294 | 2147483647 56784 27 | 0.000 % |
145.14/145.28 c | 56945 | 40759 571173 2544294 | 2147483647 56945 27 | 0.000 % |
145.43/145.58 c | 57121 | 40759 571173 2544294 | 2147483647 57121 27 | 0.000 % |
145.73/145.86 c | 57314 | 40759 571173 2544294 | 2147483647 57314 27 | 0.000 % |
146.03/146.17 c | 57526 | 40759 571173 2544294 | 2147483647 57526 27 | 0.000 % |
146.53/146.68 c | 57759 | 40759 571173 2544294 | 2147483647 57759 27 | 0.000 % |
147.03/147.18 c | 58015 | 40759 571173 2544294 | 2147483647 58015 27 | 0.000 % |
147.73/147.81 c | 58297 | 40759 571173 2544294 | 2147483647 58297 27 | 0.000 % |
148.33/148.46 c | 58609 | 40759 571173 2544294 | 2147483647 58609 27 | 0.000 % |
149.23/149.33 c | 58949 | 40759 571173 2544294 | 2147483647 58949 27 | 0.000 % |
149.73/149.86 c | 59321 | 40759 571173 2544294 | 2147483647 59321 27 | 0.000 % |
150.83/150.95 c | 59730 | 40759 571173 2544294 | 2147483647 59730 27 | 0.000 % |
152.23/152.37 c | 60183 | 40759 571173 2544294 | 2147483647 60183 27 | 0.000 % |
153.83/153.95 c | 60678 | 40759 571173 2544294 | 2147483647 60678 27 | 0.000 % |
155.93/156.06 c | 61220 | 40759 571173 2544294 | 2147483647 61220 28 | 0.000 % |
157.33/157.46 c | 61822 | 40759 571173 2544294 | 2147483647 61822 28 | 0.000 % |
159.73/159.88 c | 62479 | 40759 571173 2544294 | 2147483647 62479 28 | 0.000 % |
161.03/161.11 c | 63199 | 40759 571173 2544294 | 2147483647 63199 28 | 0.000 % |
162.33/162.50 c | 63991 | 40759 571173 2544294 | 2147483647 63991 28 | 0.000 % |
162.74/162.84 c | 64092 | 40759 571173 2544294 | 2147483647 64092 28 | 0.000 % |
163.03/163.12 c | 64203 | 40759 571173 2544294 | 2147483647 64203 28 | 0.000 % |
163.33/163.42 c | 64325 | 40759 571173 2544294 | 2147483647 64325 28 | 0.000 % |
163.53/163.69 c | 64458 | 40759 571173 2544294 | 2147483647 64458 28 | 0.000 % |
164.03/164.18 c | 64607 | 40759 571173 2544294 | 2147483647 64607 28 | 0.000 % |
164.83/164.99 c | 64771 | 40759 571173 2544294 | 2147483647 64771 28 | 0.000 % |
165.23/165.31 c | 64947 | 40759 571173 2544294 | 2147483647 64947 28 | 0.000 % |
165.53/165.62 c | 65141 | 40759 571173 2544294 | 2147483647 65141 28 | 0.000 % |
166.13/166.27 c | 65353 | 40759 571173 2544294 | 2147483647 65353 28 | 0.000 % |
166.53/166.70 c | 65586 | 40759 571173 2544294 | 2147483647 65586 28 | 0.000 % |
166.93/167.02 c | 65842 | 40759 571173 2544294 | 2147483647 65842 28 | 0.000 % |
167.53/167.68 c | 66125 | 40759 571173 2544294 | 2147483647 66125 28 | 0.000 % |
168.03/168.14 c | 66434 | 40759 571173 2544294 | 2147483647 66434 28 | 0.000 % |
169.03/169.13 c | 66773 | 40759 571173 2544294 | 2147483647 66773 28 | 0.000 % |
169.53/169.67 c | 67146 | 40759 571173 2544294 | 2147483647 67146 28 | 0.000 % |
170.33/170.51 c | 67555 | 40759 571173 2544294 | 2147483647 67555 28 | 0.000 % |
171.63/171.80 c | 68004 | 40759 571173 2544294 | 2147483647 68004 28 | 0.000 % |
172.64/172.74 c | 68500 | 40759 571173 2544294 | 2147483647 68500 28 | 0.000 % |
174.43/174.60 c | 69044 | 40759 571173 2544294 | 2147483647 69044 28 | 0.000 % |
175.53/175.66 c | 69640 | 40759 571173 2544294 | 2147483647 69640 28 | 0.000 % |
176.53/176.65 c | 70295 | 40759 571173 2544294 | 2147483647 70295 28 | 0.000 % |
178.23/178.36 c | 71015 | 40759 571173 2544294 | 2147483647 71015 28 | 0.000 % |
180.63/180.79 c | 71808 | 40759 571173 2544294 | 2147483647 71808 28 | 0.000 % |
183.53/183.62 c | 72680 | 40759 571173 2544294 | 2147483647 72680 28 | 0.000 % |
183.83/183.92 c | 72783 | 40759 571173 2544294 | 2147483647 72783 28 | 0.000 % |
183.93/184.07 c | 72893 | 40759 571173 2544294 | 2147483647 72893 28 | 0.000 % |
184.33/184.42 c | 73014 | 40759 571173 2544294 | 2147483647 73014 28 | 0.000 % |
184.63/184.79 c | 73147 | 40759 571173 2544294 | 2147483647 73147 28 | 0.000 % |
184.93/185.08 c | 73293 | 40759 571173 2544294 | 2147483647 73293 28 | 0.000 % |
185.43/185.51 c | 73454 | 40759 571173 2544294 | 2147483647 73454 28 | 0.000 % |
185.73/185.86 c | 73631 | 40759 571173 2544294 | 2147483647 73631 28 | 0.000 % |
186.23/186.36 c | 73825 | 40759 571173 2544294 | 2147483647 73825 28 | 0.000 % |
186.73/186.83 c | 74037 | 40759 571173 2544294 | 2147483647 74037 28 | 0.000 % |
187.13/187.22 c | 74272 | 40759 571173 2544294 | 2147483647 74272 28 | 0.000 % |
187.73/187.85 c | 74528 | 40759 571173 2544294 | 2147483647 74528 28 | 0.000 % |
188.73/188.82 c | 74811 | 40759 571173 2544294 | 2147483647 74811 28 | 0.000 % |
189.23/189.35 c | 75123 | 40759 571173 2544294 | 2147483647 75123 28 | 0.000 % |
190.13/190.21 c | 75462 | 40759 571173 2544294 | 2147483647 75462 28 | 0.000 % |
191.13/191.28 c | 75834 | 40759 571173 2544294 | 2147483647 75834 28 | 0.000 % |
192.13/192.25 c | 76243 | 40759 571173 2544294 | 2147483647 76243 28 | 0.000 % |
193.34/193.51 c | 76692 | 40759 571173 2544294 | 2147483647 76692 28 | 0.000 % |
194.34/194.43 c | 77185 | 40759 571173 2544294 | 2147483647 77185 28 | 0.000 % |
195.94/196.11 c | 77727 | 40759 571173 2544294 | 2147483647 77727 28 | 0.000 % |
197.34/197.50 c | 78323 | 40759 571173 2544294 | 2147483647 78323 27 | 0.000 % |
198.94/199.09 c | 78978 | 40759 571173 2544294 | 2147483647 78978 27 | 0.000 % |
201.14/201.30 c | 79701 | 40759 571173 2544294 | 2147483647 79701 28 | 0.000 % |
202.44/202.54 c | 80493 | 40759 571173 2544294 | 2147483647 80493 28 | 0.000 % |
204.74/204.86 c | 81364 | 40759 571173 2544294 | 2147483647 81364 28 | 0.000 % |
206.34/206.48 c | 82322 | 40759 571173 2544294 | 2147483647 82322 28 | 0.000 % |
206.64/206.73 c | 82422 | 40759 571173 2544294 | 2147483647 82422 28 | 0.000 % |
206.94/207.03 c | 82532 | 40759 571173 2544294 | 2147483647 82532 28 | 0.000 % |
207.24/207.40 c | 82653 | 40759 571173 2544294 | 2147483647 82653 28 | 0.000 % |
207.54/207.69 c | 82787 | 40759 571173 2544294 | 2147483647 82787 28 | 0.000 % |
207.94/208.07 c | 82934 | 40759 571173 2544294 | 2147483647 82934 28 | 0.000 % |
208.34/208.50 c | 83096 | 40759 571173 2544294 | 2147483647 83096 28 | 0.000 % |
208.74/208.89 c | 83276 | 40759 571173 2544294 | 2147483647 83276 28 | 0.000 % |
209.34/209.47 c | 83474 | 40759 571173 2544294 | 2147483647 83474 28 | 0.000 % |
209.94/210.03 c | 83689 | 40759 571173 2544294 | 2147483647 83689 27 | 0.000 % |
210.44/210.57 c | 83922 | 40759 571173 2544294 | 2147483647 83922 27 | 0.000 % |
211.24/211.40 c | 84181 | 40759 571173 2544294 | 2147483647 84181 27 | 0.000 % |
212.04/212.19 c | 84462 | 40759 571173 2544294 | 2147483647 84462 28 | 0.000 % |
212.74/212.84 c | 84771 | 40759 571173 2544294 | 2147483647 84771 28 | 0.000 % |
213.94/214.03 c | 85112 | 40759 571173 2544294 | 2147483647 85112 28 | 0.000 % |
214.74/214.88 c | 85486 | 40759 571173 2544294 | 2147483647 85486 28 | 0.000 % |
215.94/216.10 c | 85896 | 40759 571173 2544294 | 2147483647 85896 28 | 0.000 % |
217.44/217.52 c | 86348 | 40759 571173 2544294 | 2147483647 86348 28 | 0.000 % |
218.44/218.60 c | 86841 | 40759 571173 2544294 | 2147483647 86841 28 | 0.000 % |
220.74/220.85 c | 87386 | 40759 571173 2544294 | 2147483647 87386 28 | 0.000 % |
221.84/221.97 c | 87982 | 40759 571173 2544294 | 2147483647 87982 28 | 0.000 % |
223.74/223.90 c | 88641 | 40759 571173 2544294 | 2147483647 88641 28 | 0.000 % |
225.14/225.31 c | 89362 | 40759 571173 2544294 | 2147483647 89362 28 | 0.000 % |
227.54/227.69 c | 90154 | 40759 571173 2544294 | 2147483647 90154 28 | 0.000 % |
229.14/229.26 c | 91025 | 40759 571173 2544294 | 2147483647 91025 28 | 0.000 % |
231.84/231.92 c | 91984 | 40759 571173 2544294 | 2147483647 91984 28 | 0.000 % |
233.94/234.03 c | 93037 | 40759 571173 2544294 | 2147483647 93037 28 | 0.000 % |
234.14/234.26 c | 93137 | 40759 571173 2544294 | 2147483647 93137 28 | 0.000 % |
234.24/234.41 c | 93249 | 40759 571173 2544294 | 2147483647 93249 28 | 0.000 % |
234.64/234.73 c | 93372 | 40759 571173 2544294 | 2147483647 93372 28 | 0.000 % |
234.94/235.10 c | 93506 | 40759 571173 2544294 | 2147483647 93506 28 | 0.000 % |
235.34/235.46 c | 93652 | 40759 571173 2544294 | 2147483647 93652 28 | 0.000 % |
235.84/235.93 c | 93814 | 40759 571173 2544294 | 2147483647 93814 28 | 0.000 % |
236.14/236.25 c | 93991 | 40759 571173 2544294 | 2147483647 93991 28 | 0.000 % |
236.54/236.65 c | 94184 | 40759 571173 2544294 | 2147483647 94184 28 | 0.000 % |
237.04/237.21 c | 94396 | 40759 571173 2544294 | 2147483647 94396 28 | 0.000 % |
237.74/237.89 c | 94630 | 40759 571173 2544294 | 2147483647 94630 28 | 0.000 % |
238.34/238.48 c | 94888 | 40759 571173 2544294 | 2147483647 94888 28 | 0.000 % |
239.04/239.12 c | 95171 | 40759 571173 2544294 | 2147483647 95171 28 | 0.000 % |
240.24/240.32 c | 95482 | 40759 571173 2544294 | 2147483647 95482 28 | 0.000 % |
240.84/241.01 c | 95824 | 40759 571173 2544294 | 2147483647 95824 28 | 0.000 % |
241.64/241.81 c | 96196 | 40759 571173 2544294 | 2147483647 96196 28 | 0.000 % |
242.94/243.11 c | 96605 | 40759 571173 2544294 | 2147483647 96605 28 | 0.000 % |
244.54/244.71 c | 97054 | 40759 571173 2544294 | 2147483647 97054 28 | 0.000 % |
245.44/245.59 c | 97547 | 40759 571173 2544294 | 2147483647 97547 28 | 0.000 % |
246.94/247.10 c | 98089 | 40759 571173 2544294 | 2147483647 98089 28 | 0.000 % |
248.44/248.56 c | 98686 | 40759 571173 2544294 | 2147483647 98686 28 | 0.000 % |
250.54/250.62 c | 99341 | 40759 571173 2544294 | 2147483647 99341 28 | 0.000 % |
252.14/252.31 c | 100061 | 40759 571173 2544294 | 2147483647 100061 28 | 0.000 % |
255.04/255.13 c | 100855 | 40759 571173 2544294 | 2147483647 100855 28 | 0.000 % |
257.14/257.23 c | 101726 | 40759 571173 2544294 | 2147483647 101726 28 | 0.000 % |
260.34/260.45 c | 102684 | 40759 571173 2544294 | 2147483647 102684 29 | 0.000 % |
262.34/262.42 c | 103737 | 40759 571173 2544294 | 2147483647 103737 29 | 0.000 % |
267.14/267.24 c | 104897 | 40759 571173 2544294 | 2147483647 104897 29 | 0.000 % |
267.34/267.48 c | 104997 | 40759 571173 2544294 | 2147483647 104997 29 | 0.000 % |
267.64/267.76 c | 105107 | 40759 571173 2544294 | 2147483647 105107 29 | 0.000 % |
267.94/268.08 c | 105228 | 40759 571173 2544294 | 2147483647 105228 29 | 0.000 % |
268.35/268.51 c | 105362 | 40759 571173 2544294 | 2147483647 105362 29 | 0.000 % |
268.54/268.68 c | 105508 | 40759 571173 2544294 | 2147483647 105508 29 | 0.000 % |
269.04/269.15 c | 105668 | 40759 571173 2544294 | 2147483647 105668 29 | 0.000 % |
269.45/269.61 c | 105844 | 40759 571173 2544294 | 2147483647 105844 29 | 0.000 % |
270.24/270.32 c | 106039 | 40759 571173 2544294 | 2147483647 106039 29 | 0.000 % |
270.84/271.01 c | 106254 | 40759 571173 2544294 | 2147483647 106254 29 | 0.000 % |
271.54/271.62 c | 106487 | 40759 571173 2544294 | 2147483647 106487 29 | 0.000 % |
272.24/272.34 c | 106743 | 40759 571173 2544294 | 2147483647 106743 29 | 0.000 % |
272.94/273.07 c | 107024 | 40759 571173 2544294 | 2147483647 107024 29 | 0.000 % |
273.74/273.89 c | 107334 | 40759 571173 2544294 | 2147483647 107334 29 | 0.000 % |
274.84/274.93 c | 107677 | 40759 571173 2544294 | 2147483647 107677 29 | 0.000 % |
275.74/275.82 c | 108049 | 40759 571173 2544294 | 2147483647 108049 29 | 0.000 % |
276.84/276.95 c | 108460 | 40759 571173 2544294 | 2147483647 108460 29 | 0.000 % |
277.74/277.86 c | 108910 | 40759 571173 2544294 | 2147483647 108910 29 | 0.000 % |
278.44/278.59 c | 109405 | 40759 571173 2544294 | 2147483647 109405 29 | 0.000 % |
280.04/280.15 c | 109948 | 40759 571173 2544294 | 2147483647 109948 29 | 0.000 % |
282.04/282.17 c | 110544 | 40759 571173 2544294 | 2147483647 110544 29 | 0.000 % |
284.14/284.29 c | 111199 | 40759 571173 2544294 | 2147483647 111199 29 | 0.000 % |
285.84/285.98 c | 111920 | 40759 571173 2544294 | 2147483647 111920 29 | 0.000 % |
287.84/287.92 c | 112713 | 40759 571173 2544294 | 2147483647 112713 29 | 0.000 % |
290.04/290.20 c | 113587 | 40759 571173 2544294 | 2147483647 113587 29 | 0.000 % |
292.55/292.64 c | 114545 | 40759 571173 2544294 | 2147483647 114545 29 | 0.000 % |
294.94/295.11 c | 115599 | 40759 571173 2544294 | 2147483647 115599 29 | 0.000 % |
297.54/297.67 c | 116758 | 40759 571173 2544294 | 2147483647 116758 29 | 0.000 % |
301.74/301.84 c | 118031 | 40759 571173 2544294 | 2147483647 118031 29 | 0.000 % |
302.04/302.12 c | 118133 | 40759 571173 2544294 | 2147483647 118133 29 | 0.000 % |
302.34/302.50 c | 118243 | 40759 571173 2544294 | 2147483647 118243 29 | 0.000 % |
302.64/302.81 c | 118366 | 40759 571173 2544294 | 2147483647 118366 29 | 0.000 % |
303.04/303.13 c | 118504 | 40759 571173 2544294 | 2147483647 118504 29 | 0.000 % |
303.34/303.45 c | 118650 | 40759 571173 2544294 | 2147483647 118650 29 | 0.000 % |
303.74/303.82 c | 118810 | 40759 571173 2544294 | 2147483647 118810 29 | 0.000 % |
304.24/304.31 c | 118989 | 40759 571173 2544294 | 2147483647 118989 29 | 0.000 % |
304.74/304.83 c | 119182 | 40759 571173 2544294 | 2147483647 119182 29 | 0.000 % |
305.44/305.55 c | 119394 | 40759 571173 2544294 | 2147483647 119394 29 | 0.000 % |
305.84/306.01 c | 119630 | 40759 571173 2544294 | 2147483647 119630 29 | 0.000 % |
306.54/306.69 c | 119886 | 40759 571173 2544294 | 2147483647 119886 29 | 0.000 % |
307.34/307.42 c | 120167 | 40759 571173 2544294 | 2147483647 120167 29 | 0.000 % |
307.84/307.95 c | 120476 | 40759 571173 2544294 | 2147483647 120476 29 | 0.000 % |
309.05/309.21 c | 120815 | 40759 571173 2544294 | 2147483647 120815 29 | 0.000 % |
309.84/309.99 c | 121187 | 40759 571173 2544294 | 2147483647 121187 29 | 0.000 % |
311.04/311.13 c | 121596 | 40759 571173 2544294 | 2147483647 121596 29 | 0.000 % |
311.84/311.94 c | 122045 | 40759 571173 2544294 | 2147483647 122045 29 | 0.000 % |
313.45/313.57 c | 122539 | 40759 571173 2544294 | 2147483647 122539 29 | 0.000 % |
314.94/315.09 c | 123081 | 40759 571173 2544294 | 2147483647 123081 29 | 0.000 % |
316.64/316.75 c | 123678 | 40759 571173 2544294 | 2147483647 123678 29 | 0.000 % |
318.24/318.36 c | 124336 | 40759 571173 2544294 | 2147483647 124336 29 | 0.000 % |
319.75/319.82 c | 125058 | 40759 571173 2544294 | 2147483647 125058 29 | 0.000 % |
321.75/321.83 c | 125850 | 40759 571173 2544294 | 2147483647 125850 29 | 0.000 % |
323.45/323.53 c | 126721 | 40759 571173 2544294 | 2147483647 126721 29 | 0.000 % |
326.24/326.36 c | 127680 | 40759 571173 2544294 | 2147483647 127680 29 | 0.000 % |
328.54/328.64 c | 128735 | 40759 571173 2544294 | 2147483647 128735 29 | 0.000 % |
331.44/331.51 c | 129894 | 40759 571173 2544294 | 2147483647 129894 29 | 0.000 % |
334.44/334.59 c | 131167 | 40759 571173 2544294 | 2147483647 131167 29 | 0.000 % |
337.94/338.04 c | 132569 | 40759 571173 2544294 | 2147483647 132569 29 | 0.000 % |
338.14/338.24 c | 132669 | 40759 571173 2544294 | 2147483647 132669 29 | 0.000 % |
338.44/338.51 c | 132781 | 40759 571173 2544294 | 2147483647 132781 29 | 0.000 % |
338.84/338.95 c | 132903 | 40759 571173 2544294 | 2147483647 132903 29 | 0.000 % |
339.14/339.30 c | 133037 | 40759 571173 2544294 | 2147483647 133037 29 | 0.000 % |
339.84/339.92 c | 133186 | 40759 571173 2544294 | 2147483647 133186 29 | 0.000 % |
340.24/340.35 c | 133348 | 40759 571173 2544294 | 2147483647 133348 29 | 0.000 % |
340.64/340.79 c | 133525 | 40759 571173 2544294 | 2147483647 133525 29 | 0.000 % |
341.04/341.16 c | 133721 | 40759 571173 2544294 | 2147483647 133721 29 | 0.000 % |
341.44/341.56 c | 133933 | 40759 571173 2544294 | 2147483647 133933 29 | 0.000 % |
341.94/342.07 c | 134167 | 40759 571173 2544294 | 2147483647 134167 29 | 0.000 % |
342.54/342.66 c | 134423 | 40759 571173 2544294 | 2147483647 134423 29 | 0.000 % |
343.54/343.68 c | 134704 | 40759 571173 2544294 | 2147483647 134704 29 | 0.000 % |
344.44/344.61 c | 135015 | 40759 571173 2544294 | 2147483647 135015 29 | 0.000 % |
345.34/345.49 c | 135354 | 40759 571173 2544294 | 2147483647 135354 29 | 0.000 % |
346.74/346.84 c | 135726 | 40759 571173 2544294 | 2147483647 135726 29 | 0.000 % |
347.74/347.82 c | 136135 | 40759 571173 2544294 | 2147483647 136135 29 | 0.000 % |
349.54/349.69 c | 136585 | 40759 571173 2544294 | 2147483647 136585 29 | 0.000 % |
351.04/351.18 c | 137081 | 40759 571173 2544294 | 2147483647 137081 29 | 0.000 % |
352.24/352.32 c | 137625 | 40759 571173 2544294 | 2147483647 137625 29 | 0.000 % |
353.84/353.96 c | 138221 | 40759 571173 2544294 | 2147483647 138221 29 | 0.000 % |
355.64/355.73 c | 138876 | 40759 571173 2544294 | 2147483647 138876 29 | 0.000 % |
357.74/357.88 c | 139598 | 40759 571173 2544294 | 2147483647 139598 29 | 0.000 % |
359.94/360.10 c | 140391 | 40759 571173 2544294 | 2147483647 140391 29 | 0.000 % |
362.64/362.73 c | 141263 | 40759 571173 2544294 | 2147483647 141263 29 | 0.000 % |
365.74/365.84 c | 142222 | 40759 571173 2544294 | 2147483647 142222 29 | 0.000 % |
368.34/368.50 c | 143275 | 40759 571173 2544294 | 2147483647 143275 29 | 0.000 % |
371.74/371.86 c | 144435 | 40759 571173 2544294 | 2147483647 144435 29 | 0.000 % |
374.64/374.80 c | 145709 | 40759 571173 2544294 | 2147483647 145709 29 | 0.000 % |
377.74/377.90 c | 147110 | 40759 571173 2544294 | 2147483647 147110 29 | 0.000 % |
381.84/381.96 c | 148650 | 40759 571173 2544294 | 2147483647 148650 29 | 0.000 % |
382.04/382.11 c | 148751 | 40759 571173 2544294 | 2147483647 148751 29 | 0.000 % |
382.44/382.57 c | 148861 | 40759 571173 2544294 | 2147483647 148861 29 | 0.000 % |
382.84/382.94 c | 148983 | 40759 571173 2544294 | 2147483647 148983 29 | 0.000 % |
383.24/383.33 c | 149116 | 40759 571173 2544294 | 2147483647 149116 29 | 0.000 % |
383.64/383.76 c | 149262 | 40759 571173 2544294 | 2147483647 149262 29 | 0.000 % |
384.14/384.23 c | 149422 | 40759 571173 2544294 | 2147483647 149422 29 | 0.000 % |
384.54/384.61 c | 149598 | 40759 571173 2544294 | 2147483647 149598 29 | 0.000 % |
384.84/384.95 c | 149791 | 40759 571173 2544294 | 2147483647 149791 29 | 0.000 % |
385.44/385.59 c | 150005 | 40759 571173 2544294 | 2147483647 150005 29 | 0.000 % |
385.94/386.07 c | 150238 | 40759 571173 2544294 | 2147483647 150238 29 | 0.000 % |
386.44/386.55 c | 150494 | 40759 571173 2544294 | 2147483647 150494 29 | 0.000 % |
387.24/387.31 c | 150775 | 40759 571173 2544294 | 2147483647 150775 29 | 0.000 % |
388.14/388.28 c | 151084 | 40759 571173 2544294 | 2147483647 151084 29 | 0.000 % |
389.34/389.49 c | 151423 | 40759 571173 2544294 | 2147483647 151423 29 | 0.000 % |
390.84/390.94 c | 151796 | 40759 571173 2544294 | 2147483647 151796 29 | 0.000 % |
392.04/392.17 c | 152206 | 40759 571173 2544294 | 2147483647 152206 29 | 0.000 % |
393.14/393.24 c | 152657 | 40759 571173 2544294 | 2147483647 152657 29 | 0.000 % |
394.94/395.03 c | 153150 | 40759 571173 2544294 | 2147483647 153150 29 | 0.000 % |
396.44/396.60 c | 153692 | 40759 571173 2544294 | 2147483647 153692 29 | 0.000 % |
398.64/398.77 c | 154292 | 40759 571173 2544294 | 2147483647 154292 29 | 0.000 % |
401.04/401.14 c | 154947 | 40759 571173 2544294 | 2147483647 154947 29 | 0.000 % |
403.74/403.81 c | 155668 | 40759 571173 2544294 | 2147483647 155668 29 | 0.000 % |
406.04/406.14 c | 156461 | 40759 571173 2544294 | 2147483647 156461 29 | 0.000 % |
408.54/408.68 c | 157332 | 40759 571173 2544294 | 2147483647 157332 29 | 0.000 % |
410.94/411.06 c | 158292 | 40759 571173 2544294 | 2147483647 158292 29 | 0.000 % |
414.65/414.74 c | 159346 | 40759 571173 2544294 | 2147483647 159346 29 | 0.000 % |
416.74/416.90 c | 160504 | 40759 571173 2544294 | 2147483647 160504 29 | 0.000 % |
419.54/419.61 c | 161783 | 40759 571173 2544294 | 2147483647 161783 29 | 0.000 % |
424.94/425.01 c | 163184 | 40759 571173 2544294 | 2147483647 163184 29 | 0.000 % |
429.74/429.83 c | 164724 | 40759 571173 2544294 | 2147483647 164724 29 | 0.000 % |
439.84/440.00 c | 166420 | 40759 571173 2544294 | 2147483647 166420 29 | 0.000 % |
440.34/440.49 c | 166520 | 40759 571173 2544294 | 2147483647 166520 29 | 0.000 % |
440.74/440.90 c | 166630 | 40759 571173 2544294 | 2147483647 166630 29 | 0.000 % |
441.14/441.29 c | 166751 | 40759 571173 2544294 | 2147483647 166751 29 | 0.000 % |
441.44/441.58 c | 166886 | 40759 571173 2544294 | 2147483647 166886 29 | 0.000 % |
441.94/442.09 c | 167032 | 40759 571173 2544294 | 2147483647 167032 29 | 0.000 % |
442.34/442.45 c | 167193 | 40759 571173 2544294 | 2147483647 167193 29 | 0.000 % |
442.84/442.98 c | 167370 | 40759 571173 2544294 | 2147483647 167370 29 | 0.000 % |
443.84/443.92 c | 167563 | 40759 571173 2544294 | 2147483647 167563 29 | 0.000 % |
444.44/444.51 c | 167776 | 40759 571173 2544294 | 2147483647 167776 29 | 0.000 % |
444.94/445.05 c | 168009 | 40759 571173 2544294 | 2147483647 168009 29 | 0.000 % |
445.64/445.71 c | 168265 | 40759 571173 2544294 | 2147483647 168265 29 | 0.000 % |
446.75/446.86 c | 168547 | 40759 571173 2544294 | 2147483647 168547 29 | 0.000 % |
447.65/447.77 c | 168858 | 40759 571173 2544294 | 2147483647 168858 29 | 0.000 % |
448.85/448.94 c | 169197 | 40759 571173 2544294 | 2147483647 169197 29 | 0.000 % |
449.95/450.07 c | 169569 | 40759 571173 2544294 | 2147483647 169569 29 | 0.000 % |
451.15/451.31 c | 169979 | 40759 571173 2544294 | 2147483647 169979 29 | 0.000 % |
452.85/452.97 c | 170433 | 40759 571173 2544294 | 2147483647 170433 29 | 0.000 % |
454.15/454.28 c | 170928 | 40759 571173 2544294 | 2147483647 170928 29 | 0.000 % |
455.45/455.51 c | 171472 | 40759 571173 2544294 | 2147483647 171472 29 | 0.000 % |
457.75/457.81 c | 172069 | 40759 571173 2544294 | 2147483647 172069 29 | 0.000 % |
459.35/459.49 c | 172724 | 40759 571173 2544294 | 2147483647 172724 29 | 0.000 % |
461.85/461.93 c | 173445 | 40759 571173 2544294 | 2147483647 173445 29 | 0.000 % |
463.65/463.80 c | 174240 | 40759 571173 2544294 | 2147483647 174240 29 | 0.000 % |
467.15/467.23 c | 175112 | 40759 571173 2544294 | 2147483647 175112 29 | 0.000 % |
469.75/469.85 c | 176070 | 40759 571173 2544294 | 2147483647 176070 29 | 0.000 % |
472.75/472.89 c | 177123 | 40759 571173 2544294 | 2147483647 177123 29 | 0.000 % |
476.05/476.18 c | 178281 | 40759 571173 2544294 | 2147483647 178281 29 | 0.000 % |
480.15/480.25 c | 179555 | 40759 571173 2544294 | 2147483647 179555 29 | 0.000 % |
483.75/483.91 c | 180956 | 40759 571173 2544294 | 2147483647 180956 29 | 0.000 % |
487.55/487.67 c | 182496 | 40759 571173 2544294 | 2147483647 182496 29 | 0.000 % |
492.95/493.09 c | 184191 | 40759 571173 2544294 | 2147483647 184191 29 | 0.000 % |
497.95/498.03 c | 186054 | 40759 571173 2544294 | 2147483647 186054 29 | 0.000 % |
498.35/498.50 c | 186154 | 40759 571173 2544294 | 2147483647 186154 29 | 0.000 % |
498.65/498.77 c | 186265 | 40759 571173 2544294 | 2147483647 186265 29 | 0.000 % |
498.95/499.10 c | 186387 | 40759 571173 2544294 | 2147483647 186387 29 | 0.000 % |
499.55/499.61 c | 186521 | 40759 571173 2544294 | 2147483647 186521 29 | 0.000 % |
499.95/500.07 c | 186667 | 40759 571173 2544294 | 2147483647 186667 29 | 0.000 % |
500.45/500.52 c | 186827 | 40759 571173 2544294 | 2147483647 186827 29 | 0.000 % |
500.95/501.04 c | 187003 | 40759 571173 2544294 | 2147483647 187003 29 | 0.000 % |
501.45/501.56 c | 187197 | 40759 571173 2544294 | 2147483647 187197 29 | 0.000 % |
502.55/502.64 c | 187409 | 40759 571173 2544294 | 2147483647 187409 29 | 0.000 % |
503.15/503.30 c | 187642 | 40759 571173 2544294 | 2147483647 187642 29 | 0.000 % |
504.35/504.48 c | 187898 | 40759 571173 2544294 | 2147483647 187898 29 | 0.000 % |
505.25/505.37 c | 188181 | 40759 571173 2544294 | 2147483647 188181 29 | 0.000 % |
506.55/506.66 c | 188491 | 40759 571173 2544294 | 2147483647 188491 29 | 0.000 % |
507.35/507.50 c | 188830 | 40759 571173 2544294 | 2147483647 188830 29 | 0.000 % |
508.25/508.38 c | 189203 | 40759 571173 2544294 | 2147483647 189203 29 | 0.000 % |
509.45/509.57 c | 189613 | 40759 571173 2544294 | 2147483647 189613 29 | 0.000 % |
510.65/510.76 c | 190062 | 40759 571173 2544294 | 2147483647 190062 29 | 0.000 % |
512.55/512.65 c | 190557 | 40759 571173 2544294 | 2147483647 190557 29 | 0.000 % |
514.45/514.58 c | 191099 | 40759 571173 2544294 | 2147483647 191099 29 | 0.000 % |
516.35/516.44 c | 191696 | 40759 571173 2544294 | 2147483647 191696 29 | 0.000 % |
517.95/518.03 c | 192351 | 40759 571173 2544294 | 2147483647 192351 29 | 0.000 % |
520.05/520.15 c | 193071 | 40759 571173 2544294 | 2147483647 193071 29 | 0.000 % |
522.35/522.50 c | 193864 | 40759 571173 2544294 | 2147483647 193864 29 | 0.000 % |
525.35/525.42 c | 194735 | 40759 571173 2544294 | 2147483647 194735 29 | 0.000 % |
527.85/527.96 c | 195694 | 40759 571173 2544294 | 2147483647 195694 29 | 0.000 % |
531.45/531.51 c | 196747 | 40759 571173 2544294 | 2147483647 196747 29 | 0.000 % |
534.95/535.01 c | 197905 | 40759 571173 2544294 | 2147483647 197905 29 | 0.000 % |
539.15/539.27 c | 199178 | 40759 571173 2544294 | 2147483647 199178 29 | 0.000 % |
543.75/543.86 c | 200580 | 40759 571173 2544294 | 2147483647 200580 29 | 0.000 % |
548.95/549.04 c | 202122 | 40759 571173 2544294 | 2147483647 202122 29 | 0.000 % |
554.85/554.95 c | 203817 | 40759 571173 2544294 | 2147483647 203817 29 | 0.000 % |
563.95/564.03 c | 205682 | 40759 571173 2544294 | 2147483647 205682 29 | 0.000 % |
574.36/574.47 c | 207731 | 40759 571173 2544294 | 2147483647 207731 30 | 0.000 % |
574.66/574.79 c | 207832 | 40759 571173 2544294 | 2147483647 207832 30 | 0.000 % |
575.26/575.36 c | 207942 | 40759 571173 2544294 | 2147483647 207942 30 | 0.000 % |
575.66/575.79 c | 208064 | 40759 571173 2544294 | 2147483647 208064 30 | 0.000 % |
575.96/576.11 c | 208197 | 40759 571173 2544294 | 2147483647 208197 30 | 0.000 % |
576.46/576.57 c | 208345 | 40759 571173 2544294 | 2147483647 208345 30 | 0.000 % |
577.26/577.37 c | 208506 | 40759 571173 2544294 | 2147483647 208506 30 | 0.000 % |
577.66/577.81 c | 208682 | 40759 571173 2544294 | 2147483647 208682 30 | 0.000 % |
578.26/578.41 c | 208875 | 40759 571173 2544294 | 2147483647 208875 30 | 0.000 % |
579.06/579.12 c | 209088 | 40759 571173 2544294 | 2147483647 209088 30 | 0.000 % |
579.76/579.83 c | 209322 | 40759 571173 2544294 | 2147483647 209322 30 | 0.000 % |
580.56/580.63 c | 209578 | 40759 571173 2544294 | 2147483647 209578 30 | 0.000 % |
581.16/581.28 c | 209860 | 40759 571173 2544294 | 2147483647 209860 30 | 0.000 % |
581.86/581.97 c | 210172 | 40759 571173 2544294 | 2147483647 210172 30 | 0.000 % |
582.76/582.85 c | 210512 | 40759 571173 2544294 | 2147483647 210512 30 | 0.000 % |
583.66/583.78 c | 210885 | 40759 571173 2544294 | 2147483647 210885 30 | 0.000 % |
584.66/584.74 c | 211295 | 40759 571173 2544294 | 2147483647 211295 30 | 0.000 % |
586.36/586.51 c | 211745 | 40759 571173 2544294 | 2147483647 211745 30 | 0.000 % |
587.76/587.85 c | 212243 | 40759 571173 2544294 | 2147483647 212243 30 | 0.000 % |
589.26/589.33 c | 212786 | 40759 571173 2544294 | 2147483647 212786 30 | 0.000 % |
591.06/591.18 c | 213382 | 40759 571173 2544294 | 2147483647 213382 30 | 0.000 % |
592.66/592.74 c | 214037 | 40759 571173 2544294 | 2147483647 214037 30 | 0.000 % |
595.26/595.41 c | 214757 | 40759 571173 2544294 | 2147483647 214757 30 | 0.000 % |
598.06/598.17 c | 215549 | 40759 571173 2544294 | 2147483647 215549 30 | 0.000 % |
600.96/601.09 c | 216420 | 40759 571173 2544294 | 2147483647 216420 30 | 0.000 % |
604.96/605.02 c | 217378 | 40759 571173 2544294 | 2147483647 217378 30 | 0.000 % |
608.46/608.53 c | 218431 | 40759 571173 2544294 | 2147483647 218431 30 | 0.000 % |
612.36/612.47 c | 219590 | 40759 571173 2544294 | 2147483647 219590 30 | 0.000 % |
616.76/616.85 c | 220865 | 40759 571173 2544294 | 2147483647 220865 30 | 0.000 % |
620.76/620.85 c | 222265 | 40759 571173 2544294 | 2147483647 222265 30 | 0.000 % |
625.56/625.66 c | 223806 | 40759 571173 2544294 | 2147483647 223806 30 | 0.000 % |
631.56/631.63 c | 225500 | 40759 571173 2544294 | 2147483647 225500 30 | 0.000 % |
638.46/638.52 c | 227364 | 40759 571173 2544294 | 2147483647 227364 30 | 0.000 % |
645.36/645.50 c | 229413 | 40759 571173 2544294 | 2147483647 229413 30 | 0.000 % |
653.86/653.96 c | 231666 | 40759 571173 2544294 | 2147483647 231666 30 | 0.000 % |
654.16/654.23 c | 231767 | 40759 571173 2544294 | 2147483647 231767 30 | 0.000 % |
654.56/654.62 c | 231877 | 40759 571173 2544294 | 2147483647 231877 30 | 0.000 % |
654.96/655.10 c | 231999 | 40759 571173 2544294 | 2147483647 231999 30 | 0.000 % |
655.36/655.44 c | 232132 | 40759 571173 2544294 | 2147483647 232132 30 | 0.000 % |
655.96/656.05 c | 232278 | 40759 571173 2544294 | 2147483647 232278 30 | 0.000 % |
656.36/656.41 c | 232440 | 40759 571173 2544294 | 2147483647 232440 30 | 0.000 % |
656.86/656.99 c | 232617 | 40759 571173 2544294 | 2147483647 232617 30 | 0.000 % |
657.46/657.60 c | 232810 | 40759 571173 2544294 | 2147483647 232810 30 | 0.000 % |
658.26/658.34 c | 233023 | 40759 571173 2544294 | 2147483647 233023 30 | 0.000 % |
659.16/659.25 c | 233256 | 40759 571173 2544294 | 2147483647 233256 30 | 0.000 % |
659.76/659.90 c | 233512 | 40759 571173 2544294 | 2147483647 233512 30 | 0.000 % |
660.76/660.83 c | 233794 | 40759 571173 2544294 | 2147483647 233794 30 | 0.000 % |
661.86/661.97 c | 234103 | 40759 571173 2544294 | 2147483647 234103 30 | 0.000 % |
662.86/663.00 c | 234445 | 40759 571173 2544294 | 2147483647 234445 30 | 0.000 % |
663.76/663.89 c | 234819 | 40759 571173 2544294 | 2147483647 234819 30 | 0.000 % |
664.96/665.05 c | 235228 | 40759 571173 2544294 | 2147483647 235228 30 | 0.000 % |
666.57/666.66 c | 235677 | 40759 571173 2544294 | 2147483647 235677 30 | 0.000 % |
667.86/667.93 c | 236173 | 40759 571173 2544294 | 2147483647 236173 30 | 0.000 % |
669.66/669.80 c | 236715 | 40759 571173 2544294 | 2147483647 236715 30 | 0.000 % |
671.16/671.24 c | 237316 | 40759 571173 2544294 | 2147483647 237316 30 | 0.000 % |
672.96/673.09 c | 237972 | 40759 571173 2544294 | 2147483647 237972 30 | 0.000 % |
674.56/674.64 c | 238695 | 40759 571173 2544294 | 2147483647 238695 30 | 0.000 % |
676.86/676.93 c | 239489 | 40759 571173 2544294 | 2147483647 239489 30 | 0.000 % |
678.96/679.04 c | 240361 | 40759 571173 2544294 | 2147483647 240361 30 | 0.000 % |
682.35/682.47 c | 241319 | 40759 571173 2544294 | 2147483647 241319 30 | 0.000 % |
685.65/685.76 c | 242372 | 40759 571173 2544294 | 2147483647 242372 30 | 0.000 % |
688.95/689.07 c | 243531 | 40759 571173 2544294 | 2147483647 243531 30 | 0.000 % |
693.25/693.31 c | 244805 | 40759 571173 2544294 | 2147483647 244805 30 | 0.000 % |
696.35/696.49 c | 246206 | 40759 571173 2544294 | 2147483647 246206 30 | 0.000 % |
701.56/701.68 c | 247747 | 40759 571173 2544294 | 2147483647 247747 30 | 0.000 % |
706.26/706.36 c | 249441 | 40759 571173 2544294 | 2147483647 249441 30 | 0.000 % |
713.36/713.48 c | 251305 | 40759 571173 2544294 | 2147483647 251305 30 | 0.000 % |
720.66/720.77 c | 253354 | 40759 571173 2544294 | 2147483647 253354 30 | 0.000 % |
728.46/728.55 c | 255609 | 40759 571173 2544294 | 2147483647 255609 30 | 0.000 % |
735.96/736.01 c | 258087 | 40759 571173 2544294 | 2147483647 258087 30 | 0.000 % |
736.16/736.30 c | 258187 | 40759 571173 2544294 | 2147483647 258187 30 | 0.000 % |
736.46/736.53 c | 258297 | 40759 571173 2544294 | 2147483647 258297 30 | 0.000 % |
737.06/737.13 c | 258420 | 40759 571173 2544294 | 2147483647 258420 30 | 0.000 % |
737.36/737.49 c | 258555 | 40759 571173 2544294 | 2147483647 258555 30 | 0.000 % |
737.86/737.92 c | 258703 | 40759 571173 2544294 | 2147483647 258703 30 | 0.000 % |
738.46/738.53 c | 258864 | 40759 571173 2544294 | 2147483647 258864 30 | 0.000 % |
738.96/739.01 c | 259040 | 40759 571173 2544294 | 2147483647 259040 30 | 0.000 % |
739.46/739.60 c | 259233 | 40759 571173 2544294 | 2147483647 259233 30 | 0.000 % |
740.36/740.42 c | 259448 | 40759 571173 2544294 | 2147483647 259448 30 | 0.000 % |
741.26/741.37 c | 259682 | 40759 571173 2544294 | 2147483647 259682 30 | 0.000 % |
742.26/742.39 c | 259940 | 40759 571173 2544294 | 2147483647 259940 30 | 0.000 % |
742.96/743.01 c | 260222 | 40759 571173 2544294 | 2147483647 260222 30 | 0.000 % |
744.46/744.57 c | 260532 | 40759 571173 2544294 | 2147483647 260532 30 | 0.000 % |
745.66/745.80 c | 260871 | 40759 571173 2544294 | 2147483647 260871 30 | 0.000 % |
747.06/747.19 c | 261243 | 40759 571173 2544294 | 2147483647 261243 30 | 0.000 % |
748.36/748.47 c | 261655 | 40759 571173 2544294 | 2147483647 261655 30 | 0.000 % |
749.56/749.61 c | 262104 | 40759 571173 2544294 | 2147483647 262104 30 | 0.000 % |
751.16/751.27 c | 262597 | 40759 571173 2544294 | 2147483647 262597 30 | 0.000 % |
753.16/753.27 c | 263140 | 40759 571173 2544294 | 2147483647 263140 30 | 0.000 % |
755.36/755.41 c | 263736 | 40759 571173 2544294 | 2147483647 263736 30 | 0.000 % |
757.76/757.84 c | 264391 | 40759 571173 2544294 | 2147483647 264391 29 | 0.000 % |
760.26/760.37 c | 265113 | 40759 571173 2544294 | 2147483647 265113 30 | 0.000 % |
762.96/763.03 c | 265906 | 40759 571173 2544294 | 2147483647 265906 30 | 0.000 % |
765.26/765.35 c | 266777 | 40759 571173 2544294 | 2147483647 266777 30 | 0.000 % |
767.66/767.75 c | 267736 | 40759 571173 2544294 | 2147483647 267736 30 | 0.000 % |
770.36/770.47 c | 268790 | 40759 571173 2544294 | 2147483647 268790 29 | 0.000 % |
773.86/773.99 c | 269950 | 40759 571173 2544294 | 2147483647 269950 29 | 0.000 % |
778.16/778.24 c | 271225 | 40759 571173 2544294 | 2147483647 271225 30 | 0.000 % |
783.06/783.18 c | 272625 | 40759 571173 2544294 | 2147483647 272625 29 | 0.000 % |
787.36/787.50 c | 274165 | 40759 571173 2544294 | 2147483647 274165 30 | 0.000 % |
793.36/793.44 c | 275859 | 40759 571173 2544294 | 2147483647 275859 30 | 0.000 % |
798.66/798.75 c | 277723 | 40759 571173 2544294 | 2147483647 277723 30 | 0.000 % |
805.56/805.66 c | 279772 | 40759 571173 2544294 | 2147483647 279772 30 | 0.000 % |
812.66/812.78 c | 282025 | 40759 571173 2544294 | 2147483647 282025 30 | 0.000 % |
821.36/821.43 c | 284504 | 40759 571173 2544294 | 2147483647 284504 30 | 0.000 % |
829.37/829.42 c | 287229 | 40759 571173 2544294 | 2147483647 287229 30 | 0.000 % |
829.77/829.84 c | 287329 | 40759 571173 2544294 | 2147483647 287329 30 | 0.000 % |
830.17/830.27 c | 287441 | 40759 571173 2544294 | 2147483647 287441 30 | 0.000 % |
830.67/830.79 c | 287562 | 40759 571173 2544294 | 2147483647 287562 30 | 0.000 % |
831.37/831.45 c | 287698 | 40759 571173 2544294 | 2147483647 287698 30 | 0.000 % |
831.97/832.04 c | 287845 | 40759 571173 2544294 | 2147483647 287845 30 | 0.000 % |
832.47/832.52 c | 288005 | 40759 571173 2544294 | 2147483647 288005 30 | 0.000 % |
832.97/833.07 c | 288183 | 40759 571173 2544294 | 2147483647 288183 30 | 0.000 % |
833.47/833.56 c | 288376 | 40759 571173 2544294 | 2147483647 288376 30 | 0.000 % |
834.17/834.30 c | 288588 | 40759 571173 2544294 | 2147483647 288588 30 | 0.000 % |
834.97/835.07 c | 288822 | 40759 571173 2544294 | 2147483647 288822 30 | 0.000 % |
835.67/835.75 c | 289078 | 40759 571173 2544294 | 2147483647 289078 30 | 0.000 % |
836.47/836.61 c | 289360 | 40759 571173 2544294 | 2147483647 289360 30 | 0.000 % |
837.47/837.56 c | 289671 | 40759 571173 2544294 | 2147483647 289671 30 | 0.000 % |
838.17/838.28 c | 290011 | 40759 571173 2544294 | 2147483647 290011 30 | 0.000 % |
840.57/840.64 c | 290383 | 40759 571173 2544294 | 2147483647 290383 30 | 0.000 % |
843.77/843.81 c | 290794 | 40759 571173 2544294 | 2147483647 290794 30 | 0.000 % |
845.57/845.64 c | 291243 | 40759 571173 2544294 | 2147483647 291243 30 | 0.000 % |
847.47/847.60 c | 291737 | 40759 571173 2544294 | 2147483647 291737 30 | 0.000 % |
849.97/850.09 c | 292279 | 40759 571173 2544294 | 2147483647 292279 30 | 0.000 % |
851.77/851.87 c | 292875 | 40759 571173 2544294 | 2147483647 292875 30 | 0.000 % |
853.27/853.35 c | 293531 | 40759 571173 2544294 | 2147483647 293531 30 | 0.000 % |
856.27/856.38 c | 294252 | 40759 571173 2544294 | 2147483647 294252 30 | 0.000 % |
858.97/859.01 c | 295048 | 40759 571173 2544294 | 2147483647 295048 30 | 0.000 % |
861.67/861.78 c | 295920 | 40759 571173 2544294 | 2147483647 295920 30 | 0.000 % |
863.97/864.05 c | 296878 | 40759 571173 2544294 | 2147483647 296878 29 | 0.000 % |
867.47/867.59 c | 297935 | 40759 571173 2544294 | 2147483647 297935 29 | 0.000 % |
871.37/871.42 c | 299095 | 40759 571173 2544294 | 2147483647 299095 29 | 0.000 % |
876.07/876.19 c | 300368 | 40759 571173 2544294 | 2147483647 300368 29 | 0.000 % |
881.87/881.96 c | 301768 | 40759 571173 2544294 | 2147483647 301768 29 | 0.000 % |
887.87/887.96 c | 303309 | 40759 571173 2544294 | 2147483647 303309 29 | 0.000 % |
893.37/893.44 c | 305005 | 40759 571173 2544294 | 2147483647 305005 30 | 0.000 % |
900.17/900.27 c | 306870 | 40759 571173 2544294 | 2147483647 306870 30 | 0.000 % |
907.48/907.58 c | 308921 | 40759 571173 2544294 | 2147483647 308921 30 | 0.000 % |
914.67/914.77 c | 311174 | 40759 571173 2544294 | 2147483647 311174 30 | 0.000 % |
931.27/931.33 c | 313652 | 40759 571173 2544294 | 2147483647 313652 30 | 0.000 % |
943.37/943.46 c | 316377 | 40759 571173 2544294 | 2147483647 316377 30 | 0.000 % |
959.38/959.49 c | 319376 | 40759 571173 2544294 | 2147483647 319376 30 | 0.000 % |
959.68/959.79 c | 319476 | 40759 571173 2544294 | 2147483647 319476 30 | 0.000 % |
959.98/960.04 c | 319586 | 40759 571173 2544294 | 2147483647 319586 30 | 0.000 % |
960.78/960.90 c | 319707 | 40759 571173 2544294 | 2147483647 319707 30 | 0.000 % |
961.28/961.32 c | 319842 | 40759 571173 2544294 | 2147483647 319842 30 | 0.000 % |
961.68/961.79 c | 319988 | 40759 571173 2544294 | 2147483647 319988 30 | 0.000 % |
962.18/962.26 c | 320148 | 40759 571173 2544294 | 2147483647 320148 30 | 0.000 % |
962.68/962.79 c | 320328 | 40759 571173 2544294 | 2147483647 320328 30 | 0.000 % |
963.18/963.29 c | 320521 | 40759 571173 2544294 | 2147483647 320521 30 | 0.000 % |
963.98/964.10 c | 320733 | 40759 571173 2544294 | 2147483647 320733 30 | 0.000 % |
965.28/965.41 c | 320966 | 40759 571173 2544294 | 2147483647 320966 30 | 0.000 % |
966.18/966.23 c | 321224 | 40759 571173 2544294 | 2147483647 321224 30 | 0.000 % |
967.58/967.63 c | 321506 | 40759 571173 2544294 | 2147483647 321506 30 | 0.000 % |
968.78/968.86 c | 321815 | 40759 571173 2544294 | 2147483647 321815 30 | 0.000 % |
970.08/970.21 c | 322155 | 40759 571173 2544294 | 2147483647 322155 30 | 0.000 % |
971.48/971.57 c | 322528 | 40759 571173 2544294 | 2147483647 322528 30 | 0.000 % |
973.08/973.21 c | 322937 | 40759 571173 2544294 | 2147483647 322937 30 | 0.000 % |
974.38/974.48 c | 323388 | 40759 571173 2544294 | 2147483647 323388 30 | 0.000 % |
976.38/976.44 c | 323882 | 40759 571173 2544294 | 2147483647 323882 30 | 0.000 % |
978.58/978.70 c | 324425 | 40759 571173 2544294 | 2147483647 324425 30 | 0.000 % |
981.78/981.89 c | 325021 | 40759 571173 2544294 | 2147483647 325021 30 | 0.000 % |
983.48/983.59 c | 325676 | 40759 571173 2544294 | 2147483647 325676 30 | 0.000 % |
986.28/986.39 c | 326396 | 40759 571173 2544294 | 2147483647 326396 30 | 0.000 % |
989.18/989.21 c | 327188 | 40759 571173 2544294 | 2147483647 327188 30 | 0.000 % |
992.28/992.33 c | 328059 | 40759 571173 2544294 | 2147483647 328059 30 | 0.000 % |
995.58/995.64 c | 329017 | 40759 571173 2544294 | 2147483647 329017 30 | 0.000 % |
1000.58/1000.67 c | 330071 | 40759 571173 2544294 | 2147483647 330071 30 | 0.000 % |
1005.58/1005.68 c | 331231 | 40759 571173 2544294 | 2147483647 331231 30 | 0.000 % |
1010.48/1010.61 c | 332506 | 40759 571173 2544294 | 2147483647 332506 30 | 0.000 % |
1015.98/1016.06 c | 333906 | 40759 571173 2544294 | 2147483647 333906 30 | 0.000 % |
1025.08/1025.12 c | 335446 | 40759 571173 2544294 | 2147483647 335446 30 | 0.000 % |
1032.08/1032.15 c | 337140 | 40759 571173 2544294 | 2147483647 337140 30 | 0.000 % |
1038.88/1038.94 c | 339004 | 40759 571173 2544294 | 2147483647 339004 30 | 0.000 % |
1046.67/1046.71 c | 341053 | 40759 571173 2544294 | 2147483647 341053 30 | 0.000 % |
1053.47/1053.54 c | 343308 | 40759 571173 2544294 | 2147483647 343308 30 | 0.000 % |
1063.57/1063.63 c | 345787 | 40759 571173 2544294 | 2147483647 345787 30 | 0.000 % |
1072.07/1072.11 c | 348512 | 40759 571173 2544294 | 2147483647 348512 30 | 0.000 % |
1084.38/1084.47 c | 351509 | 40759 571173 2544294 | 2147483647 351509 30 | 0.000 % |
1096.78/1096.88 c | 354806 | 40759 571173 2544294 | 2147483647 354806 30 | 0.000 % |
1097.18/1097.22 c | 354906 | 40759 571173 2544294 | 2147483647 354906 30 | 0.000 % |
1097.58/1097.64 c | 355016 | 40759 571173 2544294 | 2147483647 355016 30 | 0.000 % |
1097.98/1098.06 c | 355142 | 40759 571173 2544294 | 2147483647 355142 30 | 0.000 % |
1098.38/1098.50 c | 355275 | 40759 571173 2544294 | 2147483647 355275 30 | 0.000 % |
1099.08/1099.12 c | 355421 | 40759 571173 2544294 | 2147483647 355421 30 | 0.000 % |
1099.88/1099.97 c | 355581 | 40759 571173 2544294 | 2147483647 355581 30 | 0.000 % |
1100.58/1100.69 c | 355757 | 40759 571173 2544294 | 2147483647 355757 30 | 0.000 % |
1101.58/1101.64 c | 355950 | 40759 571173 2544294 | 2147483647 355950 30 | 0.000 % |
1102.38/1102.44 c | 356164 | 40759 571173 2544294 | 2147483647 356164 30 | 0.000 % |
1103.18/1103.26 c | 356398 | 40759 571173 2544294 | 2147483647 356398 30 | 0.000 % |
1104.28/1104.35 c | 356654 | 40759 571173 2544294 | 2147483647 356654 30 | 0.000 % |
1105.28/1105.38 c | 356935 | 40759 571173 2544294 | 2147483647 356935 30 | 0.000 % |
1106.38/1106.44 c | 357246 | 40759 571173 2544294 | 2147483647 357246 30 | 0.000 % |
1107.58/1107.61 c | 357585 | 40759 571173 2544294 | 2147483647 357585 30 | 0.000 % |
1108.88/1108.97 c | 357957 | 40759 571173 2544294 | 2147483647 357957 30 | 0.000 % |
1110.28/1110.40 c | 358366 | 40759 571173 2544294 | 2147483647 358366 30 | 0.000 % |
1112.38/1112.47 c | 358815 | 40759 571173 2544294 | 2147483647 358815 30 | 0.000 % |
1114.48/1114.51 c | 359309 | 40759 571173 2544294 | 2147483647 359309 30 | 0.000 % |
1116.88/1116.93 c | 359851 | 40759 571173 2544294 | 2147483647 359851 30 | 0.000 % |
1119.18/1119.28 c | 360449 | 40759 571173 2544294 | 2147483647 360449 30 | 0.000 % |
1121.18/1121.26 c | 361104 | 40759 571173 2544294 | 2147483647 361104 30 | 0.000 % |
1122.98/1123.03 c | 361825 | 40759 571173 2544294 | 2147483647 361825 30 | 0.000 % |
1125.58/1125.66 c | 362617 | 40759 571173 2544294 | 2147483647 362617 30 | 0.000 % |
1128.68/1128.74 c | 363489 | 40759 571173 2544294 | 2147483647 363489 30 | 0.000 % |
1131.99/1132.11 c | 364447 | 40759 571173 2544294 | 2147483647 364447 31 | 0.000 % |
1136.99/1137.11 c | 365501 | 40759 571173 2544294 | 2147483647 365501 31 | 0.000 % |
1140.89/1141.00 c | 366661 | 40759 571173 2544294 | 2147483647 366661 31 | 0.000 % |
1145.09/1145.11 c | 367936 | 40759 571173 2544294 | 2147483647 367936 31 | 0.000 % |
1149.89/1149.95 c | 369337 | 40759 571173 2544294 | 2147483647 369337 31 | 0.000 % |
1155.39/1155.47 c | 370879 | 40759 571173 2544294 | 2147483647 370879 31 | 0.000 % |
1162.70/1162.73 c | 372574 | 40759 571173 2544294 | 2147483647 372574 31 | 0.000 % |
1169.19/1169.25 c | 374438 | 40759 571173 2544294 | 2147483647 374438 31 | 0.000 % |
1176.69/1176.72 c | 376487 | 40759 571173 2544294 | 2147483647 376487 31 | 0.000 % |
1185.39/1185.45 c | 378740 | 40759 571173 2544294 | 2147483647 378740 31 | 0.000 % |
1195.79/1195.84 c | 381220 | 40759 571173 2544294 | 2147483647 381220 31 | 0.000 % |
1200.10/1200.13 HOME/SatELiteGTI: line 36: 21581 Terminated $MS $TMP.cnf $TMP.result
runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w /tmp/evaluation-result-1820440-1242444434/watcher-1820440-1242444434 -o /tmp/evaluation-result-1820440-1242444434/solver-1820440-1242444434 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1820440-1242444434.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 1.00 1.02 1.00 2/96 21392
/proc/meminfo: memFree=1533704/2074464 swapFree=1950760/1959888
[pid=21392] ppid=21390 vsize=2416 CPUtime=0.01
/proc/21392/stat : 21392 (SatELiteGTI) S 21390 21392 11066 0 -1 4194304 367 646 0 0 0 1 0 0 18 0 1 0 1008941866 2473984 277 4294967295 134512640 135169312 3219925520 3219924056 3085123310 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/21392/statm: 604 277 235 161 0 43 0
[pid=21396] ppid=21392 vsize=952 CPUtime=0
/proc/21396/stat : 21396 (SatELite_releas) R 21392 21392 11066 0 -1 4202496 126 0 0 0 0 0 0 0 20 0 1 0 1008941866 974848 62 4294967295 134512640 135223648 3216721648 3216720244 134719062 0 0 0 3 0 0 0 17 3 0 0 0
/proc/21396/statm: 238 67 45 174 0 63 0
[startup+0.031288 s]
/proc/loadavg: 1.00 1.02 1.00 2/96 21392
/proc/meminfo: memFree=1533704/2074464 swapFree=1950760/1959888
[pid=21392] ppid=21390 vsize=2416 CPUtime=0.01
/proc/21392/stat : 21392 (SatELiteGTI) S 21390 21392 11066 0 -1 4194304 367 646 0 0 0 1 0 0 18 0 1 0 1008941866 2473984 277 4294967295 134512640 135169312 3219925520 3219924056 3085123310 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/21392/statm: 604 277 235 161 0 43 0
[pid=21396] ppid=21392 vsize=4868 CPUtime=0.03
/proc/21396/stat : 21396 (SatELite_releas) R 21392 21392 11066 0 -1 4202496 984 0 0 0 1 2 0 0 20 0 1 0 1008941866 4984832 920 4294967295 134512640 135223648 3216721648 3216720600 134737310 0 0 0 3 0 0 0 17 3 0 0 0
/proc/21396/statm: 1217 920 47 174 0 1042 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 7284
[startup+0.111283 s]
/proc/loadavg: 1.00 1.02 1.00 2/96 21392
/proc/meminfo: memFree=1533704/2074464 swapFree=1950760/1959888
[pid=21392] ppid=21390 vsize=2416 CPUtime=0.01
/proc/21392/stat : 21392 (SatELiteGTI) S 21390 21392 11066 0 -1 4194304 367 646 0 0 0 1 0 0 18 0 1 0 1008941866 2473984 277 4294967295 134512640 135169312 3219925520 3219924056 3085123310 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/21392/statm: 604 277 235 161 0 43 0
[pid=21396] ppid=21392 vsize=17132 CPUtime=0.11
/proc/21396/stat : 21396 (SatELite_releas) R 21392 21392 11066 0 -1 4202496 3515 0 0 0 7 4 0 0 20 0 1 0 1008941866 17543168 3451 4294967295 134512640 135223648 3216721648 3216720216 134719062 0 0 0 3 0 0 0 17 3 0 0 0
/proc/21396/statm: 4283 3452 47 174 0 4108 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 19548
[startup+0.311272 s]
/proc/loadavg: 1.00 1.02 1.00 2/96 21392
/proc/meminfo: memFree=1533704/2074464 swapFree=1950760/1959888
[pid=21392] ppid=21390 vsize=2416 CPUtime=0.01
/proc/21392/stat : 21392 (SatELiteGTI) S 21390 21392 11066 0 -1 4194304 367 646 0 0 0 1 0 0 18 0 1 0 1008941866 2473984 277 4294967295 134512640 135169312 3219925520 3219924056 3085123310 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/21392/statm: 604 277 235 161 0 43 0
[pid=21396] ppid=21392 vsize=41584 CPUtime=0.31
/proc/21396/stat : 21396 (SatELite_releas) R 21392 21392 11066 0 -1 4202496 9626 0 0 0 22 9 0 0 21 0 1 0 1008941866 42582016 9562 4294967295 134512640 135223648 3216721648 3216720232 134719062 0 0 0 3 0 0 0 17 3 0 0 0
/proc/21396/statm: 10396 9568 47 174 0 10221 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 44000
[startup+0.711256 s]
/proc/loadavg: 1.00 1.02 1.00 2/96 21392
/proc/meminfo: memFree=1533704/2074464 swapFree=1950760/1959888
[pid=21392] ppid=21390 vsize=2416 CPUtime=0.01
/proc/21392/stat : 21392 (SatELiteGTI) S 21390 21392 11066 0 -1 4194304 367 646 0 0 0 1 0 0 18 0 1 0 1008941866 2473984 277 4294967295 134512640 135169312 3219925520 3219924056 3085123310 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/21392/statm: 604 277 235 161 0 43 0
[pid=21396] ppid=21392 vsize=88388 CPUtime=0.71
/proc/21396/stat : 21396 (SatELite_releas) R 21392 21392 11066 0 -1 4202496 21351 0 0 0 53 18 0 0 22 0 1 0 1008941866 90509312 21287 4294967295 134512640 135223648 3216721648 3216720600 134737310 0 0 0 3 0 0 0 17 3 0 0 0
/proc/21396/statm: 22097 21289 47 174 0 21922 0
Current children cumulated CPU time (s) 0.72
Current children cumulated vsize (KiB) 90804
[startup+1.51121 s]
/proc/loadavg: 1.00 1.02 1.00 3/98 21580
/proc/meminfo: memFree=1411884/2074464 swapFree=1950760/1959888
[pid=21392] ppid=21390 vsize=2416 CPUtime=0.01
/proc/21392/stat : 21392 (SatELiteGTI) S 21390 21392 11066 0 -1 4194304 367 646 0 0 0 1 0 0 18 0 1 0 1008941866 2473984 277 4294967295 134512640 135169312 3219925520 3219924056 3085123310 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/21392/statm: 604 277 235 161 0 43 0
[pid=21396] ppid=21392 vsize=171200 CPUtime=1.51
/proc/21396/stat : 21396 (SatELite_releas) R 21392 21392 11066 0 -1 4202496 37073 0 0 0 129 22 0 0 25 0 1 0 1008941866 175308800 36145 4294967295 134512640 135223648 3216721648 3216719664 134586754 0 0 0 3 0 0 0 17 3 0 0 0
/proc/21396/statm: 42800 36145 73 174 0 42625 0
Current children cumulated CPU time (s) 1.52
Current children cumulated vsize (KiB) 173616
[startup+3.11112 s]
/proc/loadavg: 1.00 1.02 1.00 3/98 21580
/proc/meminfo: memFree=1383736/2074464 swapFree=1950760/1959888
[pid=21392] ppid=21390 vsize=2416 CPUtime=0.01
/proc/21392/stat : 21392 (SatELiteGTI) S 21390 21392 11066 0 -1 4194304 367 646 0 0 0 1 0 0 18 0 1 0 1008941866 2473984 277 4294967295 134512640 135169312 3219925520 3219924056 3085123310 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/21392/statm: 604 277 235 161 0 43 0
[pid=21396] ppid=21392 vsize=175884 CPUtime=3.11
/proc/21396/stat : 21396 (SatELite_releas) R 21392 21392 11066 0 -1 4202496 38204 0 0 0 286 25 0 0 25 0 1 0 1008941866 180105216 37276 4294967295 134512640 135223648 3216721648 3216719664 134586742 0 0 0 3 0 0 0 17 3 0 0 0
/proc/21396/statm: 43971 37276 73 174 0 43796 0
Current children cumulated CPU time (s) 3.12
Current children cumulated vsize (KiB) 178300
[startup+6.31094 s]
/proc/loadavg: 1.00 1.02 1.00 2/98 21580
/proc/meminfo: memFree=1360844/2074464 swapFree=1950760/1959888
[pid=21392] ppid=21390 vsize=2416 CPUtime=0.01
/proc/21392/stat : 21392 (SatELiteGTI) S 21390 21392 11066 0 -1 4194304 367 646 0 0 0 1 0 0 18 0 1 0 1008941866 2473984 277 4294967295 134512640 135169312 3219925520 3219924056 3085123310 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/21392/statm: 604 277 235 161 0 43 0
[pid=21396] ppid=21392 vsize=192016 CPUtime=6.3
/proc/21396/stat : 21396 (SatELite_releas) R 21392 21392 11066 0 -1 4202496 41386 0 0 0 600 30 0 0 25 0 1 0 1008941866 196624384 40458 4294967295 134512640 135223648 3216721648 3216719416 134737406 0 0 0 3 0 0 0 17 2 0 0 0
/proc/21396/statm: 48004 40458 73 174 0 47829 0
Current children cumulated CPU time (s) 6.31
Current children cumulated vsize (KiB) 194432
[startup+12.7106 s]
/proc/loadavg: 1.00 1.02 1.00 2/98 21580
/proc/meminfo: memFree=1322432/2074464 swapFree=1950760/1959888
[pid=21392] ppid=21390 vsize=2416 CPUtime=0.01
/proc/21392/stat : 21392 (SatELiteGTI) S 21390 21392 11066 0 -1 4194304 367 646 0 0 0 1 0 0 18 0 1 0 1008941866 2473984 277 4294967295 134512640 135169312 3219925520 3219924056 3085123310 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/21392/statm: 604 277 235 161 0 43 0
[pid=21396] ppid=21392 vsize=204464 CPUtime=12.65
/proc/21396/stat : 21396 (SatELite_releas) R 21392 21392 11066 0 -1 4202496 44433 0 0 0 1227 38 0 0 25 0 1 0 1008941866 209371136 43174 4294967295 134512640 135223648 3216721648 3216719664 134586706 0 0 0 3 0 0 0 17 2 0 0 0
/proc/21396/statm: 51116 43174 73 174 0 50941 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 206880
[startup+25.5099 s]
/proc/loadavg: 1.00 1.02 1.00 2/98 21581
/proc/meminfo: memFree=1444544/2074464 swapFree=1950760/1959888
[pid=21392] ppid=21390 vsize=2420 CPUtime=21.21
/proc/21392/stat : 21392 (SatELiteGTI) S 21390 21392 11066 0 -1 4194304 386 52279 0 0 0 1 2072 48 18 0 1 0 1008941866 2478080 278 4294967295 134512640 135169312 3219925520 3219921736 3085123310 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/21392/statm: 605 278 235 161 0 44 0
[pid=21581] ppid=21392 vsize=35224 CPUtime=4.21
/proc/21581/stat : 21581 (minisat_static) R 21392 21392 11066 0 -1 4202496 8575 0 0 0 409 12 0 0 25 0 1 0 1008943996 36069376 8510 4294967295 134512640 135215339 3215869568 3215867856 134528682 0 0 0 3 0 0 0 17 1 0 0 0
/proc/21581/statm: 8806 8510 73 172 0 8633 0
Current children cumulated CPU time (s) 25.42
Current children cumulated vsize (KiB) 37644
[startup+51.1085 s]
/proc/loadavg: 1.00 1.02 1.00 2/98 21587
/proc/meminfo: memFree=1442296/2074464 swapFree=1950760/1959888
[pid=21392] ppid=21390 vsize=2420 CPUtime=21.21
/proc/21392/stat : 21392 (SatELiteGTI) S 21390 21392 11066 0 -1 4194304 386 52279 0 0 0 1 2072 48 18 0 1 0 1008941866 2478080 278 4294967295 134512640 135169312 3219925520 3219921736 3085123310 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/21392/statm: 605 278 235 161 0 44 0
[pid=21581] ppid=21392 vsize=37508 CPUtime=29.81
/proc/21581/stat : 21581 (minisat_static) R 21392 21392 11066 0 -1 4202496 9146 0 0 0 2967 14 0 0 25 0 1 0 1008943996 38408192 9081 4294967295 134512640 135215339 3215869568 3215867856 134528721 0 0 0 3 0 0 0 17 1 0 0 0
/proc/21581/statm: 9377 9081 73 172 0 9204 0
Current children cumulated CPU time (s) 51.02
Current children cumulated vsize (KiB) 39928
[startup+102.316 s]
/proc/loadavg: 1.00 1.01 1.00 3/98 21772
/proc/meminfo: memFree=1438652/2074464 swapFree=1950760/1959888
[pid=21392] ppid=21390 vsize=2420 CPUtime=21.21
/proc/21392/stat : 21392 (SatELiteGTI) S 21390 21392 11066 0 -1 4194304 386 52279 0 0 0 1 2072 48 18 0 1 0 1008941866 2478080 278 4294967295 134512640 135169312 3219925520 3219921736 3085123310 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/21392/statm: 605 278 235 161 0 44 0
[pid=21581] ppid=21392 vsize=41056 CPUtime=81.02
/proc/21581/stat : 21581 (minisat_static) R 21392 21392 11066 0 -1 4202496 10042 0 0 0 8087 15 0 0 25 0 1 0 1008943996 42041344 9977 4294967295 134512640 135215339 3215869568 3215867856 134528682 0 0 0 3 0 0 0 17 1 0 0 0
/proc/21581/statm: 10264 9977 73 172 0 10091 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 43476
[startup+162.312 s]
/proc/loadavg: 1.00 1.01 1.00 3/98 21959
/proc/meminfo: memFree=1435012/2074464 swapFree=1950760/1959888
[pid=21392] ppid=21390 vsize=2420 CPUtime=21.21
/proc/21392/stat : 21392 (SatELiteGTI) S 21390 21392 11066 0 -1 4194304 386 52279 0 0 0 1 2072 48 18 0 1 0 1008941866 2478080 278 4294967295 134512640 135169312 3219925520 3219921736 3085123310 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/21392/statm: 605 278 235 161 0 44 0
[pid=21581] ppid=21392 vsize=44952 CPUtime=141.02
/proc/21581/stat : 21581 (minisat_static) R 21392 21392 11066 0 -1 4202496 10979 0 0 0 14083 19 0 0 25 0 1 0 1008943996 46030848 10914 4294967295 134512640 135215339 3215869568 3215867856 134528666 0 0 0 3 0 0 0 17 1 0 0 0
/proc/21581/statm: 11238 10914 73 172 0 11065 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 47372
[startup+222.319 s]
/proc/loadavg: 1.00 1.00 1.00 3/98 22152
/proc/meminfo: memFree=1431524/2074464 swapFree=1950760/1959888
[pid=21392] ppid=21390 vsize=2420 CPUtime=21.21
/proc/21392/stat : 21392 (SatELiteGTI) S 21390 21392 11066 0 -1 4194304 386 52279 0 0 0 1 2072 48 18 0 1 0 1008941866 2478080 278 4294967295 134512640 135169312 3219925520 3219921736 3085123310 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/21392/statm: 605 278 235 161 0 44 0
[pid=21581] ppid=21392 vsize=48388 CPUtime=201.03
/proc/21581/stat : 21581 (minisat_static) R 21392 21392 11066 0 -1 4202496 11867 0 0 0 20082 21 0 0 25 0 1 0 1008943996 49549312 11802 4294967295 134512640 135215339 3215869568 3215867856 134529085 0 0 0 3 0 0 0 17 1 0 0 0
/proc/21581/statm: 12097 11802 73 172 0 11924 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 50808
[startup+282.316 s]
/proc/loadavg: 1.00 1.00 1.00 3/98 22341
/proc/meminfo: memFree=1427812/2074464 swapFree=1950760/1959888
[pid=21392] ppid=21390 vsize=2420 CPUtime=21.21
/proc/21392/stat : 21392 (SatELiteGTI) S 21390 21392 11066 0 -1 4194304 386 52279 0 0 0 1 2072 48 18 0 1 0 1008941866 2478080 278 4294967295 134512640 135169312 3219925520 3219921736 3085123310 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/21392/statm: 605 278 235 161 0 44 0
[pid=21581] ppid=21392 vsize=52268 CPUtime=261.03
/proc/21581/stat : 21581 (minisat_static) R 21392 21392 11066 0 -1 4202496 12819 0 0 0 26079 24 0 0 25 0 1 0 1008943996 53522432 12754 4294967295 134512640 135215339 3215869568 3215867856 134528682 0 0 0 3 0 0 0 17 1 0 0 0
/proc/21581/statm: 13067 12754 73 172 0 12894 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 54688
[startup+342.312 s]
/proc/loadavg: 1.00 1.00 1.00 3/98 22531
/proc/meminfo: memFree=1424240/2074464 swapFree=1950760/1959888
[pid=21392] ppid=21390 vsize=2420 CPUtime=21.21
/proc/21392/stat : 21392 (SatELiteGTI) S 21390 21392 11066 0 -1 4194304 386 52279 0 0 0 1 2072 48 18 0 1 0 1008941866 2478080 278 4294967295 134512640 135169312 3219925520 3219921736 3085123310 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/21392/statm: 605 278 235 161 0 44 0
[pid=21581] ppid=21392 vsize=55700 CPUtime=321.03
/proc/21581/stat : 21581 (minisat_static) R 21392 21392 11066 0 -1 4202496 13700 0 0 0 32077 26 0 0 25 0 1 0 1008943996 57036800 13635 4294967295 134512640 135215339 3215869568 3215867856 134528742 0 0 0 3 0 0 0 17 1 0 0 0
/proc/21581/statm: 13925 13635 73 172 0 13752 0
Current children cumulated CPU time (s) 342.24
################
# More data... #
################
[pid=21581] ppid=21392 vsize=65136 CPUtime=501.04
/proc/21581/stat : 21581 (minisat_static) R 21392 21392 11066 0 -1 4202496 16054 0 0 0 50077 27 0 0 25 0 1 0 1008943996 66699264 15989 4294967295 134512640 135215339 3215869568 3215867856 134528682 0 0 0 3 0 0 0 17 1 0 0 0
/proc/21581/statm: 16284 15989 73 172 0 16111 0
Current children cumulated CPU time (s) 522.25
Current children cumulated vsize (KiB) 67556
[startup+582.319 s]
/proc/loadavg: 1.00 1.00 1.00 3/98 23286
/proc/meminfo: memFree=1411584/2074464 swapFree=1950760/1959888
[pid=21392] ppid=21390 vsize=2420 CPUtime=21.21
/proc/21392/stat : 21392 (SatELiteGTI) S 21390 21392 11066 0 -1 4194304 386 52279 0 0 0 1 2072 48 18 0 1 0 1008941866 2478080 278 4294967295 134512640 135169312 3219925520 3219921736 3085123310 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/21392/statm: 605 278 235 161 0 44 0
[pid=21581] ppid=21392 vsize=68360 CPUtime=561.05
/proc/21581/stat : 21581 (minisat_static) R 21392 21392 11066 0 -1 4202496 16749 0 0 0 56075 30 0 0 25 0 1 0 1008943996 70000640 16684 4294967295 134512640 135215339 3215869568 3215867856 134528682 0 0 0 3 0 0 0 17 1 0 0 0
/proc/21581/statm: 17090 16684 73 172 0 16917 0
Current children cumulated CPU time (s) 582.26
Current children cumulated vsize (KiB) 70780
[startup+642.316 s]
/proc/loadavg: 1.00 1.00 1.00 3/98 23474
/proc/meminfo: memFree=1408872/2074464 swapFree=1950760/1959888
[pid=21392] ppid=21390 vsize=2420 CPUtime=21.21
/proc/21392/stat : 21392 (SatELiteGTI) S 21390 21392 11066 0 -1 4194304 386 52279 0 0 0 1 2072 48 18 0 1 0 1008941866 2478080 278 4294967295 134512640 135169312 3219925520 3219921736 3085123310 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/21392/statm: 605 278 235 161 0 44 0
[pid=21581] ppid=21392 vsize=71024 CPUtime=621.05
/proc/21581/stat : 21581 (minisat_static) R 21392 21392 11066 0 -1 4202496 17459 0 0 0 62075 30 0 0 25 0 1 0 1008943996 72728576 17394 4294967295 134512640 135215339 3215869568 3215867856 134528742 0 0 0 3 0 0 0 17 1 0 0 0
/proc/21581/statm: 17756 17394 73 172 0 17583 0
Current children cumulated CPU time (s) 642.26
Current children cumulated vsize (KiB) 73444
[startup+702.312 s]
/proc/loadavg: 1.00 1.00 1.00 3/98 23660
/proc/meminfo: memFree=1405764/2074464 swapFree=1950760/1959888
[pid=21392] ppid=21390 vsize=2420 CPUtime=21.21
/proc/21392/stat : 21392 (SatELiteGTI) S 21390 21392 11066 0 -1 4194304 386 52279 0 0 0 1 2072 48 18 0 1 0 1008941866 2478080 278 4294967295 134512640 135169312 3219925520 3219921736 3085123310 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/21392/statm: 605 278 235 161 0 44 0
[pid=21581] ppid=21392 vsize=73956 CPUtime=681.05
/proc/21581/stat : 21581 (minisat_static) R 21392 21392 11066 0 -1 4202496 18209 0 0 0 68075 30 0 0 25 0 1 0 1008943996 75730944 18144 4294967295 134512640 135215339 3215869568 3215867856 134528682 0 0 0 3 0 0 0 17 1 0 0 0
/proc/21581/statm: 18489 18144 73 172 0 18316 0
Current children cumulated CPU time (s) 702.26
Current children cumulated vsize (KiB) 76376
[startup+762.309 s]
/proc/loadavg: 1.00 1.00 1.00 2/98 23847
/proc/meminfo: memFree=1402896/2074464 swapFree=1950760/1959888
[pid=21392] ppid=21390 vsize=2420 CPUtime=21.21
/proc/21392/stat : 21392 (SatELiteGTI) S 21390 21392 11066 0 -1 4194304 386 52279 0 0 0 1 2072 48 18 0 1 0 1008941866 2478080 278 4294967295 134512640 135169312 3219925520 3219921736 3085123310 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/21392/statm: 605 278 235 161 0 44 0
[pid=21581] ppid=21392 vsize=76632 CPUtime=741.05
/proc/21581/stat : 21581 (minisat_static) R 21392 21392 11066 0 -1 4202496 18888 0 0 0 74075 30 0 0 25 0 1 0 1008943996 78471168 18823 4294967295 134512640 135215339 3215869568 3215867856 134528682 0 0 0 3 0 0 0 17 1 0 0 0
/proc/21581/statm: 19158 18823 73 172 0 18985 0
Current children cumulated CPU time (s) 762.26
Current children cumulated vsize (KiB) 79052
[startup+822.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/98 24036
/proc/meminfo: memFree=1400192/2074464 swapFree=1950760/1959888
[pid=21392] ppid=21390 vsize=2420 CPUtime=21.21
/proc/21392/stat : 21392 (SatELiteGTI) S 21390 21392 11066 0 -1 4194304 386 52279 0 0 0 1 2072 48 18 0 1 0 1008941866 2478080 278 4294967295 134512640 135169312 3219925520 3219921736 3085123310 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/21392/statm: 605 278 235 161 0 44 0
[pid=21581] ppid=21392 vsize=79444 CPUtime=801.05
/proc/21581/stat : 21581 (minisat_static) R 21392 21392 11066 0 -1 4202496 19608 0 0 0 80075 30 0 0 25 0 1 0 1008943996 81350656 19543 4294967295 134512640 135215339 3215869568 3215867856 134528682 0 0 0 3 0 0 0 17 1 0 0 0
/proc/21581/statm: 19861 19543 73 172 0 19688 0
Current children cumulated CPU time (s) 822.26
Current children cumulated vsize (KiB) 81864
[startup+882.312 s]
/proc/loadavg: 1.00 1.00 1.00 3/98 24225
/proc/meminfo: memFree=1397448/2074464 swapFree=1950760/1959888
[pid=21392] ppid=21390 vsize=2420 CPUtime=21.21
/proc/21392/stat : 21392 (SatELiteGTI) S 21390 21392 11066 0 -1 4194304 386 52279 0 0 0 1 2072 48 18 0 1 0 1008941866 2478080 278 4294967295 134512640 135169312 3219925520 3219921736 3085123310 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/21392/statm: 605 278 235 161 0 44 0
[pid=21581] ppid=21392 vsize=81992 CPUtime=861.06
/proc/21581/stat : 21581 (minisat_static) R 21392 21392 11066 0 -1 4202496 20264 0 0 0 86074 32 0 0 25 0 1 0 1008943996 83959808 20199 4294967295 134512640 135215339 3215869568 3215867856 134528682 0 0 0 3 0 0 0 17 1 0 0 0
/proc/21581/statm: 20498 20199 73 172 0 20325 0
Current children cumulated CPU time (s) 882.27
Current children cumulated vsize (KiB) 84412
[startup+942.309 s]
/proc/loadavg: 1.00 1.00 1.00 3/98 24417
/proc/meminfo: memFree=1394464/2074464 swapFree=1950760/1959888
[pid=21392] ppid=21390 vsize=2420 CPUtime=21.21
/proc/21392/stat : 21392 (SatELiteGTI) S 21390 21392 11066 0 -1 4194304 386 52279 0 0 0 1 2072 48 18 0 1 0 1008941866 2478080 278 4294967295 134512640 135169312 3219925520 3219921736 3085123310 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/21392/statm: 605 278 235 161 0 44 0
[pid=21581] ppid=21392 vsize=85592 CPUtime=921.06
/proc/21581/stat : 21581 (minisat_static) R 21392 21392 11066 0 -1 4202496 20994 0 0 0 92073 33 0 0 25 0 1 0 1008943996 87646208 20929 4294967295 134512640 135215339 3215869568 3215867856 134528666 0 0 0 3 0 0 0 17 1 0 0 0
/proc/21581/statm: 21398 20929 73 172 0 21225 0
Current children cumulated CPU time (s) 942.27
Current children cumulated vsize (KiB) 88012
[startup+1002.32 s]
/proc/loadavg: 1.00 1.00 1.00 3/98 24603
/proc/meminfo: memFree=1391860/2074464 swapFree=1950760/1959888
[pid=21392] ppid=21390 vsize=2420 CPUtime=21.21
/proc/21392/stat : 21392 (SatELiteGTI) S 21390 21392 11066 0 -1 4194304 386 52279 0 0 0 1 2072 48 18 0 1 0 1008941866 2478080 278 4294967295 134512640 135169312 3219925520 3219921736 3085123310 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/21392/statm: 605 278 235 161 0 44 0
[pid=21581] ppid=21392 vsize=88124 CPUtime=981.07
/proc/21581/stat : 21581 (minisat_static) R 21392 21392 11066 0 -1 4202496 21642 0 0 0 98074 33 0 0 25 0 1 0 1008943996 90238976 21577 4294967295 134512640 135215339 3215869568 3215867856 134528863 0 0 0 3 0 0 0 17 1 0 0 0
/proc/21581/statm: 22031 21577 73 172 0 21858 0
Current children cumulated CPU time (s) 1002.28
Current children cumulated vsize (KiB) 90544
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 3/98 24790
/proc/meminfo: memFree=1389380/2074464 swapFree=1950760/1959888
[pid=21392] ppid=21390 vsize=2420 CPUtime=21.21
/proc/21392/stat : 21392 (SatELiteGTI) S 21390 21392 11066 0 -1 4194304 386 52279 0 0 0 1 2072 48 18 0 1 0 1008941866 2478080 278 4294967295 134512640 135169312 3219925520 3219921736 3085123310 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/21392/statm: 605 278 235 161 0 44 0
[pid=21581] ppid=21392 vsize=90536 CPUtime=1041.06
/proc/21581/stat : 21581 (minisat_static) R 21392 21392 11066 0 -1 4202496 22273 0 0 0 104073 33 0 0 25 0 1 0 1008943996 92708864 22208 4294967295 134512640 135215339 3215869568 3215867856 134528804 0 0 0 3 0 0 0 17 1 0 0 0
/proc/21581/statm: 22634 22208 73 172 0 22461 0
Current children cumulated CPU time (s) 1062.27
Current children cumulated vsize (KiB) 92956
[startup+1122.31 s]
/proc/loadavg: 1.00 1.00 1.00 4/98 24979
/proc/meminfo: memFree=1386800/2074464 swapFree=1950760/1959888
[pid=21392] ppid=21390 vsize=2420 CPUtime=21.21
/proc/21392/stat : 21392 (SatELiteGTI) S 21390 21392 11066 0 -1 4194304 386 52279 0 0 0 1 2072 48 18 0 1 0 1008941866 2478080 278 4294967295 134512640 135169312 3219925520 3219921736 3085123310 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/21392/statm: 605 278 235 161 0 44 0
[pid=21581] ppid=21392 vsize=93220 CPUtime=1101.07
/proc/21581/stat : 21581 (minisat_static) R 21392 21392 11066 0 -1 4202496 22930 0 0 0 110074 33 0 0 25 0 1 0 1008943996 95457280 22865 4294967295 134512640 135215339 3215869568 3215867856 134528682 0 0 0 3 0 0 0 17 1 0 0 0
/proc/21581/statm: 23305 22865 73 172 0 23132 0
Current children cumulated CPU time (s) 1122.28
Current children cumulated vsize (KiB) 95640
[startup+1182.32 s]
/proc/loadavg: 1.08 1.03 1.01 3/98 25168
/proc/meminfo: memFree=1383816/2074464 swapFree=1950760/1959888
[pid=21392] ppid=21390 vsize=2420 CPUtime=21.21
/proc/21392/stat : 21392 (SatELiteGTI) S 21390 21392 11066 0 -1 4194304 386 52279 0 0 0 1 2072 48 18 0 1 0 1008941866 2478080 278 4294967295 134512640 135169312 3219925520 3219921736 3085123310 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/21392/statm: 605 278 235 161 0 44 0
[pid=21581] ppid=21392 vsize=96000 CPUtime=1161.08
/proc/21581/stat : 21581 (minisat_static) R 21392 21392 11066 0 -1 4202496 23660 0 0 0 116075 33 0 0 25 0 1 0 1008943996 98304000 23595 4294967295 134512640 135215339 3215869568 3215867856 134528682 0 0 0 3 0 0 0 17 1 0 0 0
/proc/21581/statm: 24000 23595 73 172 0 23827 0
Current children cumulated CPU time (s) 1182.29
Current children cumulated vsize (KiB) 98420
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.12 s]
/proc/loadavg: 1.06 1.03 1.00 3/98 25168
/proc/meminfo: memFree=1382948/2074464 swapFree=1950760/1959888
[pid=21392] ppid=21390 vsize=2420 CPUtime=21.21
/proc/21392/stat : 21392 (SatELiteGTI) S 21390 21392 11066 0 -1 4194304 386 52279 0 0 0 1 2072 48 18 0 1 0 1008941866 2478080 278 4294967295 134512640 135169312 3219925520 3219921736 3085123310 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/21392/statm: 605 278 235 161 0 44 0
[pid=21581] ppid=21392 vsize=96924 CPUtime=1178.89
/proc/21581/stat : 21581 (minisat_static) R 21392 21392 11066 0 -1 4202496 23887 0 0 0 117856 33 0 0 25 0 1 0 1008943996 99250176 23822 4294967295 134512640 135215339 3215869568 3215867856 134528682 0 0 0 3 0 0 0 17 1 0 0 0
/proc/21581/statm: 24231 23822 73 172 0 24058 0
Current children cumulated CPU time (s) 1200.1
Current children cumulated vsize (KiB) 99344
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1200.12 s]
/proc/loadavg: 1.06 1.03 1.00 3/98 25168
/proc/meminfo: memFree=1382948/2074464 swapFree=1950760/1959888
[pid=21392] ppid=21390 vsize=2420 CPUtime=21.21
/proc/21392/stat : 21392 (SatELiteGTI) S 21390 21392 11066 0 -1 4194304 386 52279 0 0 0 1 2072 48 18 0 1 0 1008941866 2478080 278 4294967295 134512640 135169312 3219925520 3219921736 3085123310 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/21392/statm: 605 278 235 161 0 44 0
[pid=21581] ppid=21392 vsize=96924 CPUtime=1178.89
/proc/21581/stat : 21581 (minisat_static) R 21392 21392 11066 0 -1 4202496 23887 0 0 0 117856 33 0 0 25 0 1 0 1008943996 99250176 23822 4294967295 134512640 135215339 3215869568 3215867856 134528682 0 0 0 3 0 0 0 17 1 0 0 0
/proc/21581/statm: 24231 23822 73 172 0 24058 0
Current children cumulated CPU time (s) 1200.1
Current children cumulated vsize (KiB) 99344
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.15
CPU time (s): 1200.11
CPU user time (s): 1199.28
CPU system time (s): 0.83
CPU usage (%): 99.9963
Max. virtual memory (cumulated for all children) (KiB): 221480
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.28
system time used= 0.83
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 76643
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= 23
involuntary context switches= 1588
runsolver used 0.01 second user time and 0.03 second system time
The end
Begin job on tipi23 at 2009-05-16 05:27:14
IDJOB=1820440
IDBENCH=20405
IDSOLVER=657
FILE ID=tipi23/1820440-1242444434
PBS_JOBID=
Free space on /tmp= 9937 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT07/industrial/palacios/hard/sortnet-8-ipc5-h18-unsat.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1820440-1242444434/watcher-1820440-1242444434 -o /tmp/evaluation-result-1820440-1242444434/solver-1820440-1242444434 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1820440-1242444434.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= b3381a58cbbd64d5d90a3b4fcd44bf6d
RANDOM SEED= 166667690
Linux tipi23 2.6.18 #19 SMP Tue Jun 19 11:27:27 CEST 2007 i686 GNU/Linux
/proc/cpuinfo:
processor : 0
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.377
cache size : 1024 KB
physical id : 0
siblings : 2
core id : 0
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3618.38
processor : 1
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.377
cache size : 1024 KB
physical id : 0
siblings : 2
core id : 1
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.78
processor : 2
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.377
cache size : 1024 KB
physical id : 1
siblings : 2
core id : 0
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.79
processor : 3
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.377
cache size : 1024 KB
physical id : 1
siblings : 2
core id : 1
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.78
/proc/meminfo:
MemTotal: 2074464 kB
MemFree: 1533720 kB
Buffers: 26392 kB
Cached: 427136 kB
SwapCached: 3700 kB
Active: 312100 kB
Inactive: 153296 kB
HighTotal: 1178688 kB
HighFree: 745416 kB
LowTotal: 895776 kB
LowFree: 788304 kB
SwapTotal: 1959888 kB
SwapFree: 1950760 kB
Dirty: 23488 kB
Writeback: 0 kB
AnonPages: 10724 kB
Mapped: 4488 kB
Slab: 66924 kB
PageTables: 620 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 2997120 kB
Committed_AS: 96892 kB
VmallocTotal: 114680 kB
VmallocUsed: 1324 kB
VmallocChunk: 113264 kB
Free space on /tmp at the end= 9937 MiB
End job on tipi23 at 2009-05-16 05:47:18