0.00/0.01 c Parsing...
0.00/0.71 c ==============================================================================
0.00/0.71 c | | ORIGINAL | LEARNT | |
0.00/0.71 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.71 c ==============================================================================
0.00/0.71 c | 0 | 746442 1741698 | 223932 0 0 nan | 0.000 % |
12.92/13.05 c | 0 | 397738 1362662 | -- 0 -- -- | -- | -348682/-378983
12.92/13.05 c ==============================================================================
12.92/13.05 c Result : #vars: 76979 #clauses: 397738 #literals: 1362662
12.92/13.05 c CPU time: 12.64 s
12.92/13.05 c ==============================================================================
13.42/13.55 c This is MiniSat 2.0 beta
13.42/13.55 c WARNING: for repeatability, setting FPU to use double precision
13.42/13.55 c ============================[ Problem Statistics ]=============================
13.42/13.55 c | |
13.42/13.55 c | Number of variables: 76979 |
13.42/13.55 c | Number of clauses: 397738 |
13.45/13.83 c | Parsing time: 0.24 s |
13.45/13.85 c ============================[ Search Statistics ]==============================
13.45/13.85 c | Conflicts | ORIGINAL | LEARNT | Progress |
13.45/13.85 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
13.45/13.85 c ===============================================================================
13.45/13.85 c | 0 | 76979 397738 1362662 | 132579 0 nan | 0.000 % |
13.45/13.99 c | 100 | 76979 397738 1362662 | 132579 100 17 | 0.000 % |
13.45/14.16 c | 201 | 76979 397738 1362662 | 132579 201 13 | 0.000 % |
14.22/14.33 c | 303 | 76979 397738 1362662 | 132579 303 15 | 0.000 % |
14.22/14.39 c | 415 | 76979 397738 1362662 | 132579 415 16 | 0.000 % |
14.82/14.96 c | 561 | 76979 397738 1362662 | 132579 561 23 | 0.000 % |
15.12/15.26 c | 671 | 76979 397738 1362662 | 132579 671 33 | 0.000 % |
15.42/15.56 c | 793 | 76979 397738 1362662 | 132579 793 38 | 0.000 % |
15.52/15.62 c | 893 | 76979 397738 1362662 | 132579 893 39 | 0.000 % |
15.92/16.03 c | 1003 | 76979 397738 1362662 | 132579 1003 43 | 0.000 % |
16.12/16.28 c | 1124 | 76979 397738 1362662 | 132579 1124 40 | 0.000 % |
16.42/16.55 c | 1258 | 76979 397738 1362662 | 132579 1258 41 | 0.000 % |
16.52/16.65 c | 1359 | 76979 397738 1362662 | 132579 1359 40 | 0.000 % |
16.82/16.94 c | 1469 | 76979 397738 1362662 | 132579 1469 40 | 0.000 % |
16.92/17.04 c | 1592 | 76979 397738 1362662 | 132579 1592 38 | 0.000 % |
17.12/17.31 c | 1726 | 76979 397738 1362662 | 132579 1726 38 | 0.000 % |
17.22/17.41 c | 1872 | 76979 397738 1362662 | 132579 1872 38 | 0.000 % |
17.62/17.73 c | 1972 | 76979 397738 1362662 | 132579 1972 40 | 0.000 % |
17.72/17.83 c | 2082 | 76979 397738 1362662 | 132579 2082 39 | 0.000 % |
17.82/18.01 c | 2203 | 76979 397738 1362662 | 132579 2203 38 | 0.000 % |
18.02/18.14 c | 2336 | 76979 397738 1362662 | 132579 2336 37 | 0.000 % |
18.62/18.75 c | 2532 | 76979 397738 1362662 | 132579 2532 39 | 0.000 % |
19.02/19.18 c | 2693 | 76979 397738 1362662 | 132579 2693 39 | 0.000 % |
19.22/19.33 c | 2799 | 76979 397738 1362662 | 132579 2799 41 | 0.000 % |
19.22/19.41 c | 2909 | 76979 397738 1362662 | 132579 2909 40 | 0.000 % |
19.42/19.61 c | 3031 | 76979 397738 1362662 | 132579 3031 43 | 0.000 % |
19.62/19.78 c | 3164 | 76979 397738 1362662 | 132579 3164 41 | 0.000 % |
19.82/20.00 c | 3311 | 76979 397738 1362662 | 132579 3311 45 | 0.000 % |
20.22/20.38 c | 3472 | 76979 397738 1362662 | 132579 3472 51 | 0.000 % |
20.32/20.49 c | 3648 | 76979 397738 1362662 | 132579 3648 50 | 0.000 % |
20.42/20.55 c | 3750 | 76979 397738 1362662 | 132579 3750 50 | 0.000 % |
20.92/21.04 c | 3862 | 76979 397738 1362662 | 132579 3862 54 | 0.000 % |
21.42/21.56 c | 3984 | 76979 397738 1362662 | 132579 3984 56 | 0.000 % |
21.92/22.03 c | 4117 | 76979 397738 1362662 | 132579 4117 60 | 0.000 % |
22.12/22.25 c | 4264 | 76979 397738 1362662 | 132579 4264 62 | 0.000 % |
23.62/23.76 c | 4425 | 76979 397738 1362662 | 132579 4425 68 | 0.000 % |
24.02/24.18 c | 4601 | 76979 397738 1362662 | 132579 4601 67 | 0.000 % |
24.32/24.46 c | 4794 | 76979 397738 1362662 | 132579 4794 67 | 0.000 % |
24.42/24.60 c | 4894 | 76979 397738 1362662 | 132579 4894 68 | 0.000 % |
24.92/25.04 c | 5004 | 76979 397738 1362662 | 132579 5004 67 | 0.000 % |
25.22/25.33 c | 5125 | 76979 397738 1362662 | 132579 5125 66 | 0.000 % |
26.22/26.39 c | 5259 | 76979 397738 1362662 | 132579 5259 66 | 0.000 % |
26.82/27.00 c | 5405 | 76979 397738 1362662 | 132579 5405 66 | 0.000 % |
27.22/27.33 c | 5565 | 76979 397738 1362662 | 132579 5565 68 | 0.000 % |
27.32/27.45 c | 5742 | 76979 397738 1362662 | 132579 5742 68 | 0.000 % |
28.12/28.26 c | 5935 | 76979 397738 1362662 | 132579 5935 72 | 0.000 % |
29.02/29.16 c | 6149 | 76979 397738 1362662 | 132579 6149 74 | 0.000 % |
29.12/29.23 c | 6250 | 76979 397738 1362662 | 132579 6250 73 | 0.000 % |
29.22/29.39 c | 6360 | 76979 397738 1362662 | 132579 6360 73 | 0.000 % |
29.42/29.53 c | 6481 | 76979 397738 1362662 | 132579 6481 73 | 0.000 % |
29.52/29.64 c | 6614 | 76979 397738 1362662 | 132579 6614 72 | 0.000 % |
29.72/29.86 c | 6764 | 76979 397738 1362662 | 132579 6764 72 | 0.000 % |
30.02/30.15 c | 6926 | 76979 397738 1362662 | 132579 6926 71 | 0.000 % |
30.22/30.40 c | 7106 | 76979 397738 1362662 | 132579 7106 71 | 0.000 % |
30.52/30.65 c | 7302 | 76979 397738 1362662 | 132579 7302 70 | 0.000 % |
31.02/31.17 c | 7514 | 76979 397738 1362662 | 132579 7514 69 | 0.000 % |
31.82/31.93 c | 7748 | 76979 397738 1362662 | 132579 7748 74 | 0.000 % |
32.02/32.16 c | 7848 | 76979 397738 1362662 | 132579 7848 73 | 0.000 % |
32.22/32.33 c | 7959 | 76979 397738 1362662 | 132579 7959 73 | 0.000 % |
32.42/32.60 c | 8081 | 76979 397738 1362662 | 132579 8081 76 | 0.000 % |
32.62/32.79 c | 8214 | 76979 397738 1362662 | 132579 8214 75 | 0.000 % |
32.82/33.01 c | 8360 | 76979 397738 1362662 | 132579 8360 76 | 0.000 % |
33.12/33.25 c | 8521 | 76979 397738 1362662 | 132579 8521 75 | 0.000 % |
33.52/33.68 c | 8698 | 76979 397738 1362662 | 132579 8698 78 | 0.000 % |
33.82/33.99 c | 8892 | 76979 397738 1362662 | 132579 8892 81 | 0.000 % |
34.92/35.08 c | 9105 | 76979 397738 1362662 | 132579 9105 85 | 0.000 % |
35.22/35.40 c | 9338 | 76979 397738 1362662 | 132579 9338 84 | 0.000 % |
36.52/36.67 c | 9594 | 76979 397738 1362662 | 132579 9594 85 | 0.000 % |
36.72/36.88 c | 9694 | 76979 397738 1362662 | 132579 9694 85 | 0.000 % |
36.92/37.05 c | 9804 | 76979 397738 1362662 | 132579 9804 84 | 0.000 % |
37.02/37.16 c | 9926 | 76979 397738 1362662 | 132579 9926 84 | 0.000 % |
37.32/37.44 c | 10059 | 76979 397738 1362662 | 2147483647 10059 83 | 0.000 % |
38.02/38.19 c | 10211 | 76979 397738 1362662 | 2147483647 10211 85 | 0.000 % |
38.42/38.53 c | 10371 | 76979 397738 1362662 | 2147483647 10371 86 | 0.000 % |
39.22/39.38 c | 10547 | 76979 397738 1362662 | 2147483647 10547 87 | 0.000 % |
39.72/39.87 c | 10740 | 76979 397738 1362662 | 2147483647 10740 87 | 0.000 % |
40.12/40.24 c | 10952 | 76979 397738 1362662 | 2147483647 10952 87 | 0.000 % |
40.42/40.53 c | 11186 | 76979 397738 1362662 | 2147483647 11186 86 | 0.000 % |
40.82/40.93 c | 11442 | 76979 397738 1362662 | 2147483647 11442 85 | 0.000 % |
42.12/42.25 c | 11724 | 76979 397738 1362662 | 2147483647 11724 86 | 0.000 % |
42.32/42.43 c | 11824 | 76979 397738 1362662 | 2147483647 11824 86 | 0.000 % |
42.52/42.64 c | 11934 | 76979 397738 1362662 | 2147483647 11934 86 | 0.000 % |
42.72/42.85 c | 12056 | 76979 397738 1362662 | 2147483647 12056 85 | 0.000 % |
43.02/43.16 c | 12190 | 76979 397738 1362662 | 2147483647 12190 86 | 0.000 % |
43.22/43.33 c | 12336 | 76979 397738 1362662 | 2147483647 12336 86 | 0.000 % |
43.32/43.48 c | 12496 | 76979 397738 1362662 | 2147483647 12496 86 | 0.000 % |
43.82/43.96 c | 12674 | 76979 397738 1362662 | 2147483647 12674 87 | 0.000 % |
43.92/44.09 c | 12867 | 76979 397738 1362662 | 2147483647 12867 87 | 0.000 % |
44.32/44.42 c | 13080 | 76979 397738 1362662 | 2147483647 13080 87 | 0.000 % |
45.22/45.32 c | 13313 | 76979 397738 1362662 | 2147483647 13313 89 | 0.000 % |
46.62/46.77 c | 13570 | 76979 397738 1362662 | 2147483647 13570 90 | 0.000 % |
48.02/48.21 c | 13852 | 76978 397734 1362650 | 2147483647 13003 86 | 0.001 % |
48.82/48.99 c | 14161 | 76978 397734 1362650 | 2147483647 13312 85 | 0.001 % |
49.72/49.86 c | 14261 | 76978 397734 1362650 | 2147483647 13412 85 | 0.001 % |
49.92/50.07 c | 14372 | 76978 397734 1362650 | 2147483647 13523 85 | 0.001 % |
50.12/50.29 c | 14493 | 76978 397734 1362650 | 2147483647 13644 85 | 0.001 % |
50.32/50.49 c | 14628 | 76978 397734 1362650 | 2147483647 13779 85 | 0.001 % |
50.72/50.88 c | 14774 | 76978 397734 1362650 | 2147483647 13925 85 | 0.001 % |
51.02/51.15 c | 14934 | 76978 397734 1362650 | 2147483647 14085 85 | 0.001 % |
51.22/51.32 c | 15110 | 76978 397734 1362650 | 2147483647 14261 85 | 0.001 % |
51.32/51.46 c | 15303 | 76978 397734 1362650 | 2147483647 14454 84 | 0.001 % |
52.02/52.14 c | 15516 | 76978 397734 1362650 | 2147483647 14667 85 | 0.001 % |
52.32/52.48 c | 15749 | 76978 397734 1362650 | 2147483647 14900 85 | 0.001 % |
52.62/52.81 c | 16022 | 76978 397734 1362650 | 2147483647 15173 84 | 0.001 % |
53.02/53.21 c | 16303 | 76978 397734 1362650 | 2147483647 15454 85 | 0.001 % |
53.92/54.05 c | 16613 | 76978 397734 1362650 | 2147483647 15764 88 | 0.001 % |
54.82/54.98 c | 16953 | 76978 397734 1362650 | 2147483647 16104 90 | 0.001 % |
55.22/55.39 c | 17053 | 76978 397734 1362650 | 2147483647 16204 90 | 0.001 % |
55.52/55.63 c | 17165 | 76978 397734 1362650 | 2147483647 16316 91 | 0.001 % |
55.72/55.84 c | 17288 | 76978 397734 1362650 | 2147483647 16439 91 | 0.001 % |
55.82/55.96 c | 17423 | 76978 397734 1362650 | 2147483647 16574 91 | 0.001 % |
55.82/55.98 c | 17569 | 76978 397734 1362650 | 2147483647 16720 90 | 0.001 % |
56.02/56.17 c | 17740 | 76978 397734 1362650 | 2147483647 16891 89 | 0.001 % |
56.22/56.32 c | 17918 | 76978 397734 1362650 | 2147483647 17069 89 | 0.001 % |
56.42/56.53 c | 18111 | 76978 397734 1362650 | 2147483647 17262 88 | 0.001 % |
56.62/56.81 c | 18323 | 76978 397734 1362650 | 2147483647 17474 88 | 0.001 % |
57.72/57.86 c | 18557 | 76978 397734 1362650 | 2147483647 17708 90 | 0.001 % |
58.22/58.35 c | 18813 | 76978 397734 1362650 | 2147483647 17964 89 | 0.001 % |
58.52/58.67 c | 19094 | 76978 397734 1362650 | 2147483647 18245 90 | 0.001 % |
58.82/59.01 c | 19404 | 76978 397734 1362650 | 2147483647 18555 90 | 0.001 % |
60.52/60.62 c | 19745 | 76978 397734 1362650 | 2147483647 18896 91 | 0.001 % |
60.82/60.99 c | 20119 | 76978 397734 1362650 | 2147483647 19270 90 | 0.001 % |
61.02/61.19 c | 20219 | 76978 397734 1362650 | 2147483647 19370 91 | 0.001 % |
61.72/61.90 c | 20330 | 76978 397734 1362650 | 2147483647 19481 91 | 0.001 % |
62.02/62.16 c | 20451 | 76978 397734 1362650 | 2147483647 19602 91 | 0.001 % |
62.52/62.67 c | 20585 | 76978 397734 1362650 | 2147483647 19736 91 | 0.001 % |
62.82/62.91 c | 20732 | 76978 397734 1362650 | 2147483647 19883 91 | 0.001 % |
63.12/63.22 c | 20892 | 76978 397734 1362650 | 2147483647 20043 91 | 0.001 % |
63.32/63.43 c | 21068 | 76978 397734 1362650 | 2147483647 20219 91 | 0.001 % |
63.62/63.80 c | 21261 | 76978 397734 1362650 | 2147483647 20412 91 | 0.001 % |
63.92/64.01 c | 21474 | 76978 397734 1362650 | 2147483647 20625 91 | 0.001 % |
64.32/64.49 c | 21707 | 76978 397734 1362650 | 2147483647 20858 91 | 0.001 % |
64.72/64.89 c | 21965 | 76978 397734 1362650 | 2147483647 21116 91 | 0.001 % |
65.22/65.35 c | 22248 | 76978 397734 1362650 | 2147483647 21399 91 | 0.001 % |
65.62/65.77 c | 22558 | 76978 397734 1362650 | 2147483647 21709 94 | 0.001 % |
66.42/66.52 c | 22898 | 76978 397734 1362650 | 2147483647 22049 94 | 0.001 % |
67.03/67.14 c | 23272 | 76978 397734 1362650 | 2147483647 22423 93 | 0.001 % |
67.52/67.68 c | 23682 | 76978 397734 1362650 | 2147483647 22833 93 | 0.001 % |
68.13/68.29 c | 23783 | 76978 397734 1362650 | 2147483647 22934 93 | 0.001 % |
68.32/68.48 c | 23894 | 76978 397734 1362650 | 2147483647 23045 93 | 0.001 % |
69.32/69.46 c | 24016 | 76978 397734 1362650 | 2147483647 23167 93 | 0.001 % |
69.72/69.82 c | 24149 | 76978 397734 1362650 | 2147483647 23300 93 | 0.001 % |
70.02/70.19 c | 24295 | 76978 397734 1362650 | 2147483647 23446 94 | 0.001 % |
70.92/71.10 c | 24456 | 76978 397734 1362650 | 2147483647 23607 95 | 0.001 % |
71.22/71.36 c | 24635 | 76978 397734 1362650 | 2147483647 23786 95 | 0.001 % |
71.32/71.51 c | 24828 | 76978 397734 1362650 | 2147483647 23979 95 | 0.001 % |
72.82/72.95 c | 25040 | 76978 397734 1362650 | 2147483647 24191 97 | 0.001 % |
73.32/73.44 c | 25275 | 76978 397734 1362650 | 2147483647 24426 96 | 0.001 % |
74.32/74.42 c | 25531 | 76978 397734 1362650 | 2147483647 24682 97 | 0.001 % |
74.73/74.82 c | 25813 | 76978 397734 1362650 | 2147483647 24964 97 | 0.001 % |
75.12/75.28 c | 26122 | 76978 397734 1362650 | 2147483647 25273 98 | 0.001 % |
76.02/76.12 c | 26461 | 76978 397734 1362650 | 2147483647 25612 100 | 0.001 % |
76.62/76.72 c | 26833 | 76978 397734 1362650 | 2147483647 25984 99 | 0.001 % |
77.42/77.54 c | 27242 | 76978 397734 1362650 | 2147483647 26393 100 | 0.001 % |
78.03/78.15 c | 27691 | 76978 397734 1362650 | 2147483647 26842 99 | 0.001 % |
78.32/78.44 c | 27793 | 76978 397734 1362650 | 2147483647 26944 99 | 0.001 % |
78.52/78.63 c | 27903 | 76978 397734 1362650 | 2147483647 27054 99 | 0.001 % |
78.62/78.74 c | 28026 | 76978 397734 1362650 | 2147483647 27177 99 | 0.001 % |
78.92/79.04 c | 28160 | 76978 397734 1362650 | 2147483647 27311 99 | 0.001 % |
79.32/79.48 c | 28308 | 76978 397734 1362650 | 2147483647 27459 99 | 0.001 % |
80.62/80.80 c | 28469 | 76978 397734 1362650 | 2147483647 27620 100 | 0.001 % |
80.82/80.98 c | 28645 | 76978 397734 1362650 | 2147483647 27796 100 | 0.001 % |
80.92/81.03 c | 28839 | 76978 397734 1362650 | 2147483647 27990 99 | 0.001 % |
81.52/81.62 c | 29052 | 76978 397734 1362650 | 2147483647 28203 100 | 0.001 % |
81.92/82.05 c | 29285 | 76978 397734 1362650 | 2147483647 28436 100 | 0.001 % |
82.12/82.22 c | 29543 | 76978 397734 1362650 | 2147483647 28694 99 | 0.001 % |
83.32/83.46 c | 29824 | 76978 397734 1362650 | 2147483647 28975 100 | 0.001 % |
83.82/83.96 c | 30133 | 76978 397734 1362650 | 2147483647 29284 100 | 0.001 % |
84.32/84.46 c | 30473 | 76978 397734 1362650 | 2147483647 29624 100 | 0.001 % |
85.82/85.93 c | 30845 | 76978 397734 1362650 | 2147483647 29996 100 | 0.001 % |
87.02/87.19 c | 31255 | 76978 397734 1362650 | 2147483647 30406 100 | 0.001 % |
88.62/88.80 c | 31704 | 76978 397734 1362650 | 2147483647 30855 101 | 0.001 % |
89.42/89.55 c | 32197 | 76978 397734 1362650 | 2147483647 31348 102 | 0.001 % |
89.62/89.79 c | 32297 | 76978 397734 1362650 | 2147483647 31448 101 | 0.001 % |
89.72/89.83 c | 32407 | 76978 397734 1362650 | 2147483647 31558 101 | 0.001 % |
89.72/89.88 c | 32528 | 76978 397734 1362650 | 2147483647 31679 101 | 0.001 % |
90.22/90.36 c | 32673 | 76978 397734 1362650 | 2147483647 31824 102 | 0.001 % |
90.42/90.56 c | 32820 | 76978 397734 1362650 | 2147483647 31971 102 | 0.001 % |
90.62/90.80 c | 32980 | 76978 397734 1362650 | 2147483647 32131 102 | 0.001 % |
90.82/90.99 c | 33157 | 76978 397734 1362650 | 2147483647 32308 102 | 0.001 % |
91.23/91.34 c | 33351 | 76978 397734 1362650 | 2147483647 32502 102 | 0.001 % |
91.42/91.58 c | 33563 | 76978 397734 1362650 | 2147483647 32714 101 | 0.001 % |
92.02/92.20 c | 33807 | 76978 397734 1362650 | 2147483647 32958 102 | 0.001 % |
92.82/92.93 c | 34063 | 76978 397734 1362650 | 2147483647 33214 102 | 0.001 % |
93.72/93.90 c | 34344 | 76978 397734 1362650 | 2147483647 33495 102 | 0.001 % |
94.02/94.15 c | 34654 | 76978 397734 1362650 | 2147483647 33805 101 | 0.001 % |
94.42/94.60 c | 34993 | 76978 397734 1362650 | 2147483647 34144 101 | 0.001 % |
95.32/95.46 c | 35365 | 76978 397734 1362650 | 2147483647 34516 101 | 0.001 % |
95.82/95.98 c | 35776 | 76978 397734 1362650 | 2147483647 34927 100 | 0.001 % |
97.12/97.25 c | 36225 | 76978 397734 1362650 | 2147483647 35376 100 | 0.001 % |
98.12/98.27 c | 36719 | 76978 397734 1362650 | 2147483647 35870 101 | 0.001 % |
99.02/99.14 c | 37263 | 76978 397734 1362650 | 2147483647 36414 101 | 0.001 % |
99.02/99.21 c | 37364 | 76978 397734 1362650 | 2147483647 36515 101 | 0.001 % |
99.22/99.40 c | 37475 | 76978 397734 1362650 | 2147483647 36626 101 | 0.001 % |
99.52/99.70 c | 37596 | 76978 397734 1362650 | 2147483647 36747 101 | 0.001 % |
99.92/100.10 c | 37729 | 76978 397734 1362650 | 2147483647 36880 101 | 0.001 % |
100.72/100.82 c | 37875 | 76978 397734 1362650 | 2147483647 37026 102 | 0.001 % |
100.92/101.07 c | 38035 | 76978 397734 1362650 | 2147483647 37186 102 | 0.001 % |
101.22/101.33 c | 38212 | 76978 397734 1362650 | 2147483647 37363 102 | 0.001 % |
101.42/101.57 c | 38406 | 76978 397734 1362650 | 2147483647 37557 102 | 0.001 % |
101.92/102.09 c | 38653 | 76978 397734 1362650 | 2147483647 37804 101 | 0.001 % |
102.72/102.86 c | 38887 | 76978 397734 1362650 | 2147483647 38038 102 | 0.001 % |
103.02/103.16 c | 39143 | 76978 397734 1362650 | 2147483647 38294 102 | 0.001 % |
103.52/103.63 c | 39424 | 76978 397734 1362650 | 2147483647 38575 101 | 0.001 % |
103.92/104.11 c | 39734 | 76978 397734 1362650 | 2147483647 38885 101 | 0.001 % |
105.13/105.29 c | 40074 | 76978 397734 1362650 | 2147483647 39225 101 | 0.001 % |
107.03/107.13 c | 40451 | 76978 397734 1362650 | 2147483647 39602 102 | 0.001 % |
108.03/108.14 c | 40860 | 76978 397734 1362650 | 2147483647 40011 101 | 0.001 % |
108.53/108.71 c | 41310 | 76978 397734 1362650 | 2147483647 40461 100 | 0.001 % |
111.03/111.16 c | 41805 | 76978 397734 1362650 | 2147483647 40956 101 | 0.001 % |
112.43/112.61 c | 42349 | 76978 397734 1362650 | 2147483647 41500 101 | 0.001 % |
113.03/113.18 c | 42947 | 76978 397734 1362650 | 2147483647 42098 102 | 0.001 % |
113.03/113.21 c | 43047 | 76978 397734 1362650 | 2147483647 42198 102 | 0.001 % |
113.43/113.55 c | 43158 | 76978 397734 1362650 | 2147483647 42309 102 | 0.001 % |
114.03/114.19 c | 43293 | 76977 397594 1362350 | 2147483647 42353 102 | 0.003 % |
114.23/114.33 c | 43428 | 76977 397594 1362350 | 2147483647 42488 102 | 0.003 % |
114.73/114.89 c | 43574 | 76977 397594 1362350 | 2147483647 42634 102 | 0.003 % |
114.93/115.09 c | 43734 | 76977 397594 1362350 | 2147483647 42794 102 | 0.003 % |
116.73/116.85 c | 43910 | 76977 397594 1362350 | 2147483647 42970 103 | 0.003 % |
117.43/117.58 c | 44103 | 76977 397594 1362350 | 2147483647 43163 103 | 0.003 % |
117.63/117.75 c | 44315 | 76977 397594 1362350 | 2147483647 43375 102 | 0.003 % |
117.63/117.78 c | 44548 | 76977 397594 1362350 | 2147483647 43608 102 | 0.003 % |
118.43/118.59 c | 44804 | 76977 397594 1362350 | 2147483647 43864 102 | 0.003 % |
118.53/118.69 c | 45086 | 76977 397594 1362350 | 2147483647 44146 101 | 0.003 % |
119.13/119.24 c | 45395 | 76977 397594 1362350 | 2147483647 44455 101 | 0.003 % |
119.43/119.55 c | 45734 | 76977 397594 1362350 | 2147483647 44794 101 | 0.003 % |
120.13/120.31 c | 46106 | 76977 397594 1362350 | 2147483647 45166 101 | 0.003 % |
120.73/120.88 c | 46515 | 76977 397594 1362350 | 2147483647 45575 100 | 0.003 % |
122.73/122.87 c | 46967 | 76977 397594 1362350 | 2147483647 46027 101 | 0.003 % |
123.63/123.76 c | 47460 | 76977 397594 1362350 | 2147483647 46520 101 | 0.003 % |
125.23/125.41 c | 48003 | 76977 397594 1362350 | 2147483647 47063 101 | 0.003 % |
126.03/126.20 c | 48600 | 76977 397594 1362350 | 2147483647 47660 101 | 0.003 % |
126.93/127.06 c | 49256 | 76977 397594 1362350 | 2147483647 48316 101 | 0.003 % |
127.13/127.29 c | 49356 | 76977 397594 1362350 | 2147483647 48416 101 | 0.003 % |
127.33/127.46 c | 49467 | 76977 397594 1362350 | 2147483647 48527 101 | 0.003 % |
127.43/127.61 c | 49589 | 76977 397594 1362350 | 2147483647 48649 101 | 0.003 % |
127.83/128.02 c | 49723 | 76977 397594 1362350 | 2147483647 48783 101 | 0.003 % |
128.13/128.25 c | 49870 | 76977 397594 1362350 | 2147483647 48930 101 | 0.003 % |
128.63/128.79 c | 50030 | 76977 397594 1362350 | 2147483647 49090 101 | 0.003 % |
129.03/129.19 c | 50206 | 76977 397594 1362350 | 2147483647 49266 101 | 0.003 % |
129.13/129.26 c | 50399 | 76977 397594 1362350 | 2147483647 49459 101 | 0.003 % |
129.43/129.53 c | 50613 | 76977 397594 1362350 | 2147483647 49673 101 | 0.003 % |
129.73/129.89 c | 50847 | 76977 397594 1362350 | 2147483647 49907 101 | 0.003 % |
129.93/130.03 c | 51107 | 76977 397594 1362350 | 2147483647 50167 100 | 0.003 % |
130.03/130.14 c | 51389 | 76977 397594 1362350 | 2147483647 50449 100 | 0.003 % |
131.33/131.45 c | 51698 | 76977 397594 1362350 | 2147483647 50758 101 | 0.003 % |
131.83/131.94 c | 52038 | 76977 397594 1362350 | 2147483647 51098 101 | 0.003 % |
132.63/132.81 c | 52410 | 76977 397594 1362350 | 2147483647 51470 100 | 0.003 % |
133.23/133.37 c | 52819 | 76977 397594 1362350 | 2147483647 51879 100 | 0.003 % |
134.23/134.38 c | 53268 | 76977 397594 1362350 | 2147483647 52328 100 | 0.003 % |
134.83/135.00 c | 53762 | 76977 397594 1362350 | 2147483647 52822 100 | 0.003 % |
135.73/135.89 c | 54305 | 76977 397594 1362350 | 2147483647 53365 100 | 0.003 % |
138.83/138.93 c | 54901 | 76977 397594 1362350 | 2147483647 53961 101 | 0.003 % |
140.33/140.43 c | 55557 | 76977 397594 1362350 | 2147483647 54617 101 | 0.003 % |
141.03/141.21 c | 56278 | 76977 397594 1362350 | 2147483647 55338 101 | 0.003 % |
141.33/141.46 c | 56378 | 76977 397594 1362350 | 2147483647 55438 101 | 0.003 % |
141.53/141.69 c | 56488 | 76977 397594 1362350 | 2147483647 55548 101 | 0.003 % |
141.63/141.80 c | 56610 | 76977 397594 1362350 | 2147483647 55670 101 | 0.003 % |
141.83/141.96 c | 56745 | 76977 397594 1362350 | 2147483647 55805 101 | 0.003 % |
142.13/142.22 c | 56891 | 76977 397594 1362350 | 2147483647 55951 101 | 0.003 % |
142.83/142.98 c | 57055 | 76977 397594 1362350 | 2147483647 56115 102 | 0.003 % |
143.33/143.47 c | 57231 | 76977 397594 1362350 | 2147483647 56291 102 | 0.003 % |
143.53/143.65 c | 57424 | 76977 397594 1362350 | 2147483647 56484 101 | 0.003 % |
144.13/144.23 c | 57638 | 76977 397594 1362350 | 2147483647 56698 101 | 0.003 % |
144.63/144.77 c | 57876 | 76977 397594 1362350 | 2147483647 56936 102 | 0.003 % |
144.93/145.05 c | 58132 | 76977 397594 1362350 | 2147483647 57192 101 | 0.003 % |
145.23/145.34 c | 58413 | 76977 397594 1362350 | 2147483647 57473 101 | 0.003 % |
146.23/146.35 c | 58723 | 76977 397594 1362350 | 2147483647 57783 101 | 0.003 % |
146.93/147.04 c | 59062 | 76977 397594 1362350 | 2147483647 58122 101 | 0.003 % |
147.83/148.01 c | 59434 | 76977 397594 1362350 | 2147483647 58494 101 | 0.003 % |
148.33/148.45 c | 59846 | 76977 397594 1362350 | 2147483647 58906 101 | 0.003 % |
149.23/149.34 c | 60298 | 76977 397594 1362350 | 2147483647 59358 101 | 0.003 % |
149.93/150.06 c | 60793 | 76977 397594 1362350 | 2147483647 59853 101 | 0.003 % |
150.83/150.92 c | 61337 | 76977 397594 1362350 | 2147483647 60397 100 | 0.003 % |
151.43/151.51 c | 61934 | 76977 397594 1362350 | 2147483647 60994 100 | 0.003 % |
153.93/154.02 c | 62599 | 76977 397594 1362350 | 2147483647 61659 100 | 0.003 % |
155.63/155.79 c | 63325 | 76977 397594 1362350 | 2147483647 62385 100 | 0.003 % |
157.03/157.16 c | 64117 | 76977 397594 1362350 | 2147483647 63177 101 | 0.003 % |
157.23/157.39 c | 64218 | 76977 397594 1362350 | 2147483647 63278 101 | 0.003 % |
157.53/157.70 c | 64328 | 76977 397594 1362350 | 2147483647 63388 100 | 0.003 % |
157.73/157.89 c | 64450 | 76977 397594 1362350 | 2147483647 63510 100 | 0.003 % |
158.03/158.17 c | 64583 | 76977 397594 1362350 | 2147483647 63643 100 | 0.003 % |
158.43/158.59 c | 64729 | 76977 397594 1362350 | 2147483647 63789 100 | 0.003 % |
158.73/158.84 c | 64889 | 76977 397594 1362350 | 2147483647 63949 100 | 0.003 % |
158.93/159.09 c | 65066 | 76977 397594 1362350 | 2147483647 64126 100 | 0.003 % |
159.63/159.72 c | 65259 | 76977 397594 1362350 | 2147483647 64319 100 | 0.003 % |
160.33/160.41 c | 65472 | 76977 397594 1362350 | 2147483647 64532 100 | 0.003 % |
160.93/161.04 c | 65706 | 76977 397594 1362350 | 2147483647 64766 100 | 0.003 % |
162.03/162.11 c | 65962 | 76977 397594 1362350 | 2147483647 65022 100 | 0.003 % |
162.43/162.59 c | 66243 | 76977 397594 1362350 | 2147483647 65303 100 | 0.003 % |
163.33/163.51 c | 66552 | 76977 397594 1362350 | 2147483647 65612 101 | 0.003 % |
163.93/164.07 c | 66891 | 76977 397594 1362350 | 2147483647 65951 100 | 0.003 % |
164.63/164.76 c | 67264 | 76977 397594 1362350 | 2147483647 66324 100 | 0.003 % |
165.53/165.71 c | 67675 | 76977 397594 1362350 | 2147483647 66735 100 | 0.003 % |
166.33/166.51 c | 68124 | 76977 397594 1362350 | 2147483647 67184 100 | 0.003 % |
167.53/167.70 c | 68617 | 76977 397594 1362350 | 2147483647 67677 101 | 0.003 % |
168.13/168.31 c | 69159 | 76977 397594 1362350 | 2147483647 68219 100 | 0.003 % |
169.23/169.38 c | 69756 | 76977 397594 1362350 | 2147483647 68816 100 | 0.003 % |
170.33/170.42 c | 70411 | 76977 397594 1362350 | 2147483647 69471 100 | 0.003 % |
171.43/171.58 c | 71132 | 76977 397594 1362350 | 2147483647 70192 100 | 0.003 % |
173.03/173.15 c | 71926 | 76977 397594 1362350 | 2147483647 70986 101 | 0.003 % |
175.43/175.52 c | 72798 | 76977 397594 1362350 | 2147483647 71858 103 | 0.003 % |
175.63/175.80 c | 72901 | 76977 397594 1362350 | 2147483647 71961 103 | 0.003 % |
175.94/176.03 c | 73011 | 76977 397594 1362350 | 2147483647 72071 103 | 0.003 % |
176.13/176.30 c | 73133 | 76977 397594 1362350 | 2147483647 72193 103 | 0.003 % |
176.53/176.66 c | 73266 | 76977 397594 1362350 | 2147483647 72326 103 | 0.003 % |
176.63/176.74 c | 73413 | 76977 397594 1362350 | 2147483647 72473 103 | 0.003 % |
177.13/177.30 c | 73574 | 76977 397594 1362350 | 2147483647 72634 103 | 0.003 % |
177.43/177.53 c | 73751 | 76977 397594 1362350 | 2147483647 72811 103 | 0.003 % |
177.93/178.07 c | 73944 | 76977 397594 1362350 | 2147483647 73004 103 | 0.003 % |
178.53/178.68 c | 74156 | 76977 397594 1362350 | 2147483647 73216 103 | 0.003 % |
179.03/179.21 c | 74390 | 76977 397594 1362350 | 2147483647 73450 103 | 0.003 % |
179.83/179.97 c | 74648 | 76977 397594 1362350 | 2147483647 73708 103 | 0.003 % |
180.73/180.89 c | 74930 | 76977 397594 1362350 | 2147483647 73990 104 | 0.003 % |
181.83/181.93 c | 75242 | 76977 397594 1362350 | 2147483647 74302 104 | 0.003 % |
183.23/183.36 c | 75584 | 76977 397594 1362350 | 2147483647 74644 104 | 0.003 % |
184.43/184.53 c | 75957 | 76977 397594 1362350 | 2147483647 75017 104 | 0.003 % |
185.03/185.18 c | 76366 | 76977 397594 1362350 | 2147483647 75426 104 | 0.003 % |
185.63/185.74 c | 76817 | 76977 397594 1362350 | 2147483647 75877 104 | 0.003 % |
186.73/186.83 c | 77310 | 76977 397594 1362350 | 2147483647 76370 104 | 0.003 % |
187.63/187.76 c | 77855 | 76977 397594 1362350 | 2147483647 76915 104 | 0.003 % |
188.43/188.57 c | 78451 | 76977 397594 1362350 | 2147483647 77511 103 | 0.003 % |
190.02/190.18 c | 79107 | 76977 397594 1362350 | 2147483647 78167 103 | 0.003 % |
191.12/191.24 c | 79828 | 76977 397594 1362350 | 2147483647 78888 103 | 0.003 % |
192.52/192.64 c | 80620 | 76977 397594 1362350 | 2147483647 79680 104 | 0.003 % |
197.02/197.17 c | 81491 | 76977 397594 1362350 | 2147483647 80551 106 | 0.003 % |
199.42/199.57 c | 82451 | 76977 397594 1362350 | 2147483647 81511 106 | 0.003 % |
199.52/199.63 c | 82551 | 76977 397594 1362350 | 2147483647 81611 105 | 0.003 % |
199.92/200.04 c | 82661 | 76977 397594 1362350 | 2147483647 81721 106 | 0.003 % |
200.52/200.65 c | 82782 | 76977 397594 1362350 | 2147483647 81842 106 | 0.003 % |
200.82/200.91 c | 82915 | 76977 397594 1362350 | 2147483647 81975 106 | 0.003 % |
201.02/201.12 c | 83062 | 76977 397594 1362350 | 2147483647 82122 106 | 0.003 % |
201.72/201.85 c | 83222 | 76977 397594 1362350 | 2147483647 82282 106 | 0.003 % |
202.62/202.72 c | 83398 | 76977 397594 1362350 | 2147483647 82458 106 | 0.003 % |
202.93/203.07 c | 83594 | 76977 397594 1362350 | 2147483647 82654 106 | 0.003 % |
203.03/203.21 c | 83807 | 76977 397594 1362350 | 2147483647 82867 106 | 0.003 % |
203.73/203.85 c | 84040 | 76977 397594 1362350 | 2147483647 83100 106 | 0.003 % |
204.53/204.66 c | 84297 | 76977 397594 1362350 | 2147483647 83357 106 | 0.003 % |
204.83/204.94 c | 84578 | 76977 397594 1362350 | 2147483647 83638 106 | 0.003 % |
205.23/205.38 c | 84887 | 76977 397594 1362350 | 2147483647 83947 106 | 0.003 % |
205.63/205.75 c | 85229 | 76977 397594 1362350 | 2147483647 84289 106 | 0.003 % |
206.13/206.28 c | 85601 | 76977 397594 1362350 | 2147483647 84661 106 | 0.003 % |
207.43/207.54 c | 86012 | 76977 397594 1362350 | 2147483647 85072 107 | 0.003 % |
208.53/208.69 c | 86461 | 76977 397594 1362350 | 2147483647 85521 107 | 0.003 % |
209.93/210.06 c | 86954 | 76977 397594 1362350 | 2147483647 86014 108 | 0.003 % |
211.53/211.65 c | 87497 | 76977 397594 1362350 | 2147483647 86557 108 | 0.003 % |
212.43/212.58 c | 88095 | 76977 397594 1362350 | 2147483647 87155 108 | 0.003 % |
213.53/213.61 c | 88750 | 76977 397594 1362350 | 2147483647 87810 108 | 0.003 % |
214.43/214.57 c | 89471 | 76977 397594 1362350 | 2147483647 88531 109 | 0.003 % |
216.23/216.32 c | 90263 | 76977 397594 1362350 | 2147483647 89323 110 | 0.003 % |
219.03/219.17 c | 91134 | 76977 397594 1362350 | 2147483647 90194 110 | 0.003 % |
222.03/222.14 c | 92093 | 76977 397594 1362350 | 2147483647 91153 110 | 0.003 % |
224.03/224.19 c | 93146 | 76977 397594 1362350 | 2147483647 92206 111 | 0.003 % |
224.23/224.37 c | 93246 | 76977 397594 1362350 | 2147483647 92306 111 | 0.003 % |
224.63/224.78 c | 93357 | 76977 397594 1362350 | 2147483647 92417 112 | 0.003 % |
224.93/225.07 c | 93478 | 76977 397594 1362350 | 2147483647 92538 112 | 0.003 % |
225.33/225.44 c | 93613 | 76977 397594 1362350 | 2147483647 92673 112 | 0.003 % |
225.83/225.92 c | 93759 | 76977 397594 1362350 | 2147483647 92819 112 | 0.003 % |
226.33/226.44 c | 93919 | 76977 397594 1362350 | 2147483647 92979 112 | 0.003 % |
226.93/227.07 c | 94097 | 76977 397594 1362350 | 2147483647 93157 112 | 0.003 % |
228.13/228.24 c | 94291 | 76977 397594 1362350 | 2147483647 93351 112 | 0.003 % |
229.13/229.26 c | 94510 | 76977 397594 1362350 | 2147483647 93570 112 | 0.003 % |
230.33/230.41 c | 94743 | 76977 397594 1362350 | 2147483647 93803 112 | 0.003 % |
230.73/230.83 c | 95001 | 76977 397594 1362350 | 2147483647 94061 112 | 0.003 % |
231.43/231.60 c | 95282 | 76977 397594 1362350 | 2147483647 94342 112 | 0.003 % |
232.13/232.26 c | 95591 | 76977 397594 1362350 | 2147483647 94651 113 | 0.003 % |
232.93/233.09 c | 95931 | 76977 397594 1362350 | 2147483647 94991 113 | 0.003 % |
234.23/234.35 c | 96304 | 76977 397594 1362350 | 2147483647 95364 113 | 0.003 % |
235.23/235.36 c | 96715 | 76977 397594 1362350 | 2147483647 95775 113 | 0.003 % |
236.03/236.18 c | 97166 | 76977 397594 1362350 | 2147483647 96226 112 | 0.003 % |
236.83/236.98 c | 97660 | 76977 397594 1362350 | 2147483647 96720 112 | 0.003 % |
237.63/237.72 c | 98202 | 76977 397594 1362350 | 2147483647 97262 112 | 0.003 % |
238.63/238.77 c | 98799 | 76977 397594 1362350 | 2147483647 97859 112 | 0.003 % |
240.93/241.10 c | 99455 | 76977 397594 1362350 | 2147483647 98515 112 | 0.003 % |
242.63/242.78 c | 100175 | 76977 397594 1362350 | 2147483647 99235 112 | 0.003 % |
243.33/243.48 c | 100967 | 76977 397594 1362350 | 2147483647 100027 112 | 0.003 % |
244.93/245.03 c | 101838 | 76977 397594 1362350 | 2147483647 100898 112 | 0.003 % |
248.43/248.54 c | 102796 | 76977 397594 1362350 | 2147483647 101856 112 | 0.003 % |
252.03/252.19 c | 103849 | 76977 397594 1362350 | 2147483647 102909 113 | 0.003 % |
254.73/254.84 c | 105008 | 76977 397594 1362350 | 2147483647 104068 113 | 0.003 % |
254.93/255.01 c | 105108 | 76977 397594 1362350 | 2147483647 104168 113 | 0.003 % |
255.23/255.36 c | 105219 | 76977 397594 1362350 | 2147483647 104279 113 | 0.003 % |
255.63/255.74 c | 105341 | 76977 397594 1362350 | 2147483647 104401 113 | 0.003 % |
256.03/256.12 c | 105474 | 76977 397594 1362350 | 2147483647 104534 113 | 0.003 % |
256.33/256.47 c | 105622 | 76977 397594 1362350 | 2147483647 104682 113 | 0.003 % |
256.73/256.88 c | 105783 | 76977 397594 1362350 | 2147483647 104843 113 | 0.003 % |
257.23/257.40 c | 105959 | 76977 397594 1362350 | 2147483647 105019 113 | 0.003 % |
257.73/257.81 c | 106152 | 76977 397594 1362350 | 2147483647 105212 113 | 0.003 % |
258.44/258.53 c | 106365 | 76977 397594 1362350 | 2147483647 105425 113 | 0.003 % |
259.13/259.27 c | 106599 | 76977 397594 1362350 | 2147483647 105659 113 | 0.003 % |
259.73/259.81 c | 106856 | 76977 397594 1362350 | 2147483647 105916 113 | 0.003 % |
260.64/260.78 c | 107137 | 76977 397594 1362350 | 2147483647 106197 113 | 0.003 % |
261.43/261.59 c | 107446 | 76977 397594 1362350 | 2147483647 106506 113 | 0.003 % |
262.23/262.31 c | 107786 | 76977 397594 1362350 | 2147483647 106846 113 | 0.003 % |
263.94/264.03 c | 108158 | 76977 397594 1362350 | 2147483647 107218 113 | 0.003 % |
265.43/265.58 c | 108567 | 76977 397594 1362350 | 2147483647 107627 113 | 0.003 % |
267.53/267.60 c | 109016 | 76977 397594 1362350 | 2147483647 108076 114 | 0.003 % |
269.23/269.39 c | 109509 | 76976 397466 1362094 | 2147483647 108567 114 | 0.004 % |
270.93/271.05 c | 110051 | 76976 397466 1362094 | 2147483647 109109 114 | 0.004 % |
271.93/272.05 c | 110648 | 76976 397466 1362094 | 2147483647 109706 114 | 0.004 % |
273.03/273.18 c | 111303 | 76976 397466 1362094 | 2147483647 110361 113 | 0.004 % |
274.43/274.58 c | 112024 | 76976 397466 1362094 | 2147483647 111082 113 | 0.004 % |
278.53/278.62 c | 112818 | 76976 397466 1362094 | 2147483647 111876 114 | 0.004 % |
280.13/280.25 c | 113689 | 76976 397466 1362094 | 2147483647 112747 114 | 0.004 % |
282.53/282.67 c | 114647 | 76976 397466 1362094 | 2147483647 113705 114 | 0.004 % |
284.84/285.00 c | 115700 | 76976 397466 1362094 | 2147483647 114758 114 | 0.004 % |
288.23/288.31 c | 116860 | 76976 397466 1362094 | 2147483647 115918 115 | 0.004 % |
290.43/290.56 c | 118133 | 76976 397466 1362094 | 2147483647 117191 115 | 0.004 % |
290.53/290.65 c | 118234 | 76976 397466 1362094 | 2147483647 117292 115 | 0.004 % |
290.63/290.77 c | 118346 | 76976 397466 1362094 | 2147483647 117404 115 | 0.004 % |
291.23/291.34 c | 118467 | 76976 397466 1362094 | 2147483647 117525 115 | 0.004 % |
291.53/291.66 c | 118601 | 76976 397466 1362094 | 2147483647 117659 115 | 0.004 % |
291.83/291.94 c | 118748 | 76976 397466 1362094 | 2147483647 117806 115 | 0.004 % |
292.23/292.38 c | 118908 | 76976 397466 1362094 | 2147483647 117966 115 | 0.004 % |
292.54/292.68 c | 119084 | 76976 397466 1362094 | 2147483647 118142 115 | 0.004 % |
293.73/293.83 c | 119277 | 76976 397466 1362094 | 2147483647 118335 115 | 0.004 % |
294.93/295.02 c | 119489 | 76976 397466 1362094 | 2147483647 118547 115 | 0.004 % |
295.23/295.40 c | 119723 | 76976 397466 1362094 | 2147483647 118781 115 | 0.004 % |
295.53/295.62 c | 119979 | 76976 397466 1362094 | 2147483647 119037 115 | 0.004 % |
296.23/296.31 c | 120260 | 76976 397466 1362094 | 2147483647 119318 115 | 0.004 % |
296.94/297.07 c | 120571 | 76976 397466 1362094 | 2147483647 119629 115 | 0.004 % |
297.63/297.75 c | 120912 | 76976 397466 1362094 | 2147483647 119970 115 | 0.004 % |
298.04/298.12 c | 121285 | 76976 397466 1362094 | 2147483647 120343 115 | 0.004 % |
298.73/298.82 c | 121694 | 76976 397466 1362094 | 2147483647 120752 115 | 0.004 % |
299.23/299.35 c | 122143 | 76976 397466 1362094 | 2147483647 121201 115 | 0.004 % |
299.73/299.86 c | 122636 | 76976 397466 1362094 | 2147483647 121694 115 | 0.004 % |
300.54/300.64 c | 123179 | 76976 397466 1362094 | 2147483647 122237 115 | 0.004 % |
302.94/303.06 c | 123775 | 76976 397466 1362094 | 2147483647 122833 116 | 0.004 % |
305.44/305.53 c | 124430 | 76976 397466 1362094 | 2147483647 123488 116 | 0.004 % |
307.04/307.17 c | 125150 | 76976 397466 1362094 | 2147483647 124208 117 | 0.004 % |
309.04/309.16 c | 125942 | 76976 397466 1362094 | 2147483647 125000 117 | 0.004 % |
310.34/310.42 c | 126813 | 76976 397466 1362094 | 2147483647 125871 117 | 0.004 % |
311.94/312.05 c | 127773 | 76976 397466 1362094 | 2147483647 126831 117 | 0.004 % |
313.84/313.93 c | 128829 | 76976 397466 1362094 | 2147483647 127887 117 | 0.004 % |
315.44/315.57 c | 129988 | 76976 397466 1362094 | 2147483647 129046 117 | 0.004 % |
317.44/317.55 c | 131261 | 76976 397466 1362094 | 2147483647 130319 117 | 0.004 % |
319.84/319.92 c | 132661 | 76976 397466 1362094 | 2147483647 131719 117 | 0.004 % |
319.94/320.10 c | 132761 | 76976 397466 1362094 | 2147483647 131819 117 | 0.004 % |
320.14/320.31 c | 132873 | 76976 397466 1362094 | 2147483647 131931 117 | 0.004 % |
320.34/320.50 c | 132994 | 76976 397466 1362094 | 2147483647 132052 117 | 0.004 % |
320.64/320.72 c | 133127 | 76976 397466 1362094 | 2147483647 132185 117 | 0.004 % |
320.64/320.79 c | 133276 | 76976 397466 1362094 | 2147483647 132334 117 | 0.004 % |
320.74/320.83 c | 133437 | 76976 397466 1362094 | 2147483647 132495 116 | 0.004 % |
321.64/321.77 c | 133614 | 76976 397466 1362094 | 2147483647 132672 117 | 0.004 % |
322.54/322.68 c | 133808 | 76976 397466 1362094 | 2147483647 132866 117 | 0.004 % |
323.24/323.34 c | 134020 | 76976 397466 1362094 | 2147483647 133078 117 | 0.004 % |
324.44/324.52 c | 134253 | 76976 397466 1362094 | 2147483647 133311 117 | 0.004 % |
325.14/325.22 c | 134509 | 76976 397466 1362094 | 2147483647 133567 117 | 0.004 % |
326.94/327.02 c | 134791 | 76976 397466 1362094 | 2147483647 133849 117 | 0.004 % |
328.74/328.87 c | 135102 | 76976 397466 1362094 | 2147483647 134160 117 | 0.004 % |
329.24/329.38 c | 135443 | 76976 397466 1362094 | 2147483647 134501 117 | 0.004 % |
330.84/330.92 c | 135817 | 76976 397466 1362094 | 2147483647 134875 117 | 0.004 % |
331.34/331.45 c | 136226 | 76976 397466 1362094 | 2147483647 135284 117 | 0.004 % |
331.64/331.77 c | 136677 | 76976 397466 1362094 | 2147483647 135735 117 | 0.004 % |
333.14/333.24 c | 137170 | 76976 397466 1362094 | 2147483647 136228 117 | 0.004 % |
335.64/335.72 c | 137713 | 76976 397466 1362094 | 2147483647 136771 117 | 0.004 % |
337.04/337.17 c | 138309 | 76976 397466 1362094 | 2147483647 137367 117 | 0.004 % |
338.14/338.22 c | 138964 | 76976 397466 1362094 | 2147483647 138022 117 | 0.004 % |
340.94/341.09 c | 139685 | 76976 397466 1362094 | 2147483647 138743 118 | 0.004 % |
342.84/342.98 c | 140477 | 76976 397466 1362094 | 2147483647 139535 118 | 0.004 % |
344.14/344.28 c | 141350 | 76976 397466 1362094 | 2147483647 140408 118 | 0.004 % |
347.54/347.66 c | 142308 | 76976 397466 1362094 | 2147483647 141366 118 | 0.004 % |
350.34/350.51 c | 143362 | 76976 397466 1362094 | 2147483647 142420 119 | 0.004 % |
353.24/353.37 c | 144521 | 76976 397466 1362094 | 2147483647 143579 119 | 0.004 % |
360.44/360.56 c | 145802 | 76976 397466 1362094 | 2147483647 144860 120 | 0.004 % |
364.05/364.16 c | 147203 | 76976 397466 1362094 | 2147483647 146261 120 | 0.004 % |
367.35/367.50 c | 148743 | 76976 397466 1362094 | 2147483647 147801 120 | 0.004 % |
367.54/367.65 c | 148843 | 76976 397466 1362094 | 2147483647 147901 120 | 0.004 % |
367.84/368.00 c | 148956 | 76976 397466 1362094 | 2147483647 148014 120 | 0.004 % |
368.14/368.21 c | 149078 | 76976 397466 1362094 | 2147483647 148136 120 | 0.004 % |
368.74/368.83 c | 149211 | 76976 397466 1362094 | 2147483647 148269 121 | 0.004 % |
369.04/369.13 c | 149357 | 76976 397466 1362094 | 2147483647 148415 121 | 0.004 % |
369.74/369.87 c | 149517 | 76976 397466 1362094 | 2147483647 148575 121 | 0.004 % |
370.24/370.38 c | 149695 | 76976 397466 1362094 | 2147483647 148753 121 | 0.004 % |
370.74/370.84 c | 149888 | 76976 397466 1362094 | 2147483647 148946 121 | 0.004 % |
371.75/371.84 c | 150101 | 76976 397466 1362094 | 2147483647 149159 121 | 0.004 % |
372.74/372.81 c | 150334 | 76976 397466 1362094 | 2147483647 149392 121 | 0.004 % |
373.24/373.37 c | 150590 | 76976 397466 1362094 | 2147483647 149648 121 | 0.004 % |
373.95/374.10 c | 150871 | 76976 397466 1362094 | 2147483647 149929 121 | 0.004 % |
374.54/374.65 c | 151182 | 76976 397466 1362094 | 2147483647 150240 121 | 0.004 % |
375.94/376.03 c | 151521 | 76976 397466 1362094 | 2147483647 150579 122 | 0.004 % |
377.54/377.69 c | 151926 | 76976 397466 1362094 | 2147483647 150984 122 | 0.004 % |
378.14/378.23 c | 152335 | 76976 397466 1362094 | 2147483647 151393 122 | 0.004 % |
379.64/379.77 c | 152784 | 76976 397466 1362094 | 2147483647 151842 122 | 0.004 % |
381.14/381.26 c | 153277 | 76976 397466 1362094 | 2147483647 152335 122 | 0.004 % |
384.54/384.68 c | 153820 | 76975 397462 1362082 | 2147483647 151565 121 | 0.005 % |
386.54/386.70 c | 154418 | 76975 397462 1362082 | 2147483647 152163 122 | 0.005 % |
388.74/388.82 c | 155073 | 76975 397462 1362082 | 2147483647 152818 121 | 0.005 % |
390.74/390.86 c | 155793 | 76975 397462 1362082 | 2147483647 153538 121 | 0.005 % |
391.84/391.94 c | 156585 | 76975 397462 1362082 | 2147483647 154330 121 | 0.005 % |
394.74/394.86 c | 157461 | 76975 397462 1362082 | 2147483647 155206 121 | 0.005 % |
396.44/396.53 c | 158420 | 76975 397462 1362082 | 2147483647 156165 121 | 0.005 % |
399.65/399.79 c | 159473 | 76975 397462 1362082 | 2147483647 157218 122 | 0.005 % |
403.35/403.47 c | 160631 | 76975 397462 1362082 | 2147483647 158376 122 | 0.005 % |
406.45/406.59 c | 161904 | 76975 397462 1362082 | 2147483647 159649 122 | 0.005 % |
411.95/412.03 c | 163304 | 76975 397462 1362082 | 2147483647 161049 123 | 0.005 % |
414.75/414.86 c | 164845 | 76975 397462 1362082 | 2147483647 162590 124 | 0.005 % |
419.05/419.21 c | 166540 | 76975 397462 1362082 | 2147483647 164285 124 | 0.005 % |
419.55/419.69 c | 166642 | 76975 397462 1362082 | 2147483647 164387 124 | 0.005 % |
419.85/419.93 c | 166752 | 76975 397462 1362082 | 2147483647 164497 124 | 0.005 % |
420.05/420.20 c | 166873 | 76975 397462 1362082 | 2147483647 164618 124 | 0.005 % |
420.25/420.41 c | 167006 | 76975 397462 1362082 | 2147483647 164751 124 | 0.005 % |
420.95/421.03 c | 167154 | 76975 397462 1362082 | 2147483647 164899 124 | 0.005 % |
421.75/421.89 c | 167315 | 76975 397462 1362082 | 2147483647 165060 124 | 0.005 % |
422.35/422.44 c | 167492 | 76975 397462 1362082 | 2147483647 165237 124 | 0.005 % |
422.95/423.08 c | 167690 | 76975 397462 1362082 | 2147483647 165435 124 | 0.005 % |
423.45/423.56 c | 167904 | 76975 397462 1362082 | 2147483647 165649 124 | 0.005 % |
424.45/424.58 c | 168139 | 76975 397462 1362082 | 2147483647 165884 124 | 0.005 % |
424.95/425.06 c | 168397 | 76975 397462 1362082 | 2147483647 166142 124 | 0.005 % |
426.85/426.99 c | 168686 | 76975 397462 1362082 | 2147483647 166431 124 | 0.005 % |
427.55/427.70 c | 168997 | 76975 397462 1362082 | 2147483647 166742 124 | 0.005 % |
428.65/428.76 c | 169336 | 76975 397462 1362082 | 2147483647 167081 124 | 0.005 % |
429.35/429.50 c | 169709 | 76975 397462 1362082 | 2147483647 167454 124 | 0.005 % |
430.75/430.84 c | 170118 | 76975 397462 1362082 | 2147483647 167863 124 | 0.005 % |
432.75/432.82 c | 170567 | 76975 397462 1362082 | 2147483647 168312 125 | 0.005 % |
434.55/434.70 c | 171061 | 76975 397462 1362082 | 2147483647 168806 125 | 0.005 % |
436.05/436.12 c | 171605 | 76975 397462 1362082 | 2147483647 169350 125 | 0.005 % |
438.25/438.35 c | 172202 | 76975 397462 1362082 | 2147483647 169947 125 | 0.005 % |
440.15/440.23 c | 172861 | 76975 397462 1362082 | 2147483647 170606 125 | 0.005 % |
442.25/442.33 c | 173581 | 76975 397462 1362082 | 2147483647 171326 125 | 0.005 % |
444.75/444.86 c | 174374 | 76975 397462 1362082 | 2147483647 172119 125 | 0.005 % |
445.45/445.53 c | 175245 | 76975 397462 1362082 | 2147483647 172990 125 | 0.005 % |
448.25/448.34 c | 176203 | 76975 397462 1362082 | 2147483647 173948 126 | 0.005 % |
450.75/450.89 c | 177256 | 76975 397462 1362082 | 2147483647 175001 126 | 0.005 % |
453.85/453.95 c | 178414 | 76975 397462 1362082 | 2147483647 176159 126 | 0.005 % |
456.25/456.32 c | 179687 | 76975 397462 1362082 | 2147483647 177432 126 | 0.005 % |
463.85/464.00 c | 181087 | 76975 397462 1362082 | 2147483647 178832 127 | 0.005 % |
467.55/467.61 c | 182627 | 76975 397462 1362082 | 2147483647 180372 128 | 0.005 % |
474.25/474.37 c | 184322 | 76975 397462 1362082 | 2147483647 182067 128 | 0.005 % |
478.95/479.06 c | 186185 | 76975 397462 1362082 | 2147483647 183930 128 | 0.005 % |
479.25/479.34 c | 186285 | 76975 397462 1362082 | 2147483647 184030 128 | 0.005 % |
479.85/479.91 c | 186395 | 76975 397462 1362082 | 2147483647 184140 128 | 0.005 % |
480.55/480.66 c | 186516 | 76975 397462 1362082 | 2147483647 184261 128 | 0.005 % |
480.95/481.06 c | 186649 | 76975 397462 1362082 | 2147483647 184394 128 | 0.005 % |
481.76/481.90 c | 186795 | 76975 397462 1362082 | 2147483647 184540 128 | 0.005 % |
482.25/482.35 c | 186955 | 76975 397462 1362082 | 2147483647 184700 128 | 0.005 % |
482.86/482.96 c | 187132 | 76975 397462 1362082 | 2147483647 184877 128 | 0.005 % |
483.35/483.47 c | 187325 | 76975 397462 1362082 | 2147483647 185070 128 | 0.005 % |
483.85/483.95 c | 187537 | 76975 397462 1362082 | 2147483647 185282 128 | 0.005 % |
484.85/484.95 c | 187770 | 76975 397462 1362082 | 2147483647 185515 128 | 0.005 % |
485.45/485.56 c | 188026 | 76975 397462 1362082 | 2147483647 185771 128 | 0.005 % |
486.05/486.15 c | 188311 | 76975 397462 1362082 | 2147483647 186056 128 | 0.005 % |
487.05/487.14 c | 188620 | 76975 397462 1362082 | 2147483647 186365 128 | 0.005 % |
487.85/487.98 c | 188959 | 76975 397462 1362082 | 2147483647 186704 128 | 0.005 % |
488.85/488.98 c | 189332 | 76975 397462 1362082 | 2147483647 187077 129 | 0.005 % |
490.15/490.25 c | 189743 | 76975 397462 1362082 | 2147483647 187488 129 | 0.005 % |
491.45/491.51 c | 190192 | 76975 397462 1362082 | 2147483647 187937 129 | 0.005 % |
492.45/492.55 c | 190686 | 76975 397462 1362082 | 2147483647 188431 129 | 0.005 % |
493.25/493.32 c | 191228 | 76975 397462 1362082 | 2147483647 188973 129 | 0.005 % |
495.15/495.30 c | 191825 | 76975 397462 1362082 | 2147483647 189570 130 | 0.005 % |
496.06/496.13 c | 192480 | 76975 397462 1362082 | 2147483647 190225 130 | 0.005 % |
498.56/498.71 c | 193200 | 76975 397462 1362082 | 2147483647 190945 130 | 0.005 % |
501.46/501.55 c | 193992 | 76975 397462 1362082 | 2147483647 191737 131 | 0.005 % |
505.46/505.58 c | 194864 | 76975 397462 1362082 | 2147483647 192609 131 | 0.005 % |
508.26/508.34 c | 195822 | 76975 397462 1362082 | 2147483647 193567 131 | 0.005 % |
511.66/511.76 c | 196875 | 76975 397462 1362082 | 2147483647 194620 131 | 0.005 % |
513.86/513.98 c | 198035 | 76975 397462 1362082 | 2147483647 195780 131 | 0.005 % |
517.76/517.85 c | 199308 | 76975 397462 1362082 | 2147483647 197053 131 | 0.005 % |
521.06/521.16 c | 200709 | 76974 397301 1361698 | 2147483647 197585 131 | 0.006 % |
528.46/528.60 c | 202250 | 76972 397301 1361698 | 2147483647 199124 132 | 0.009 % |
533.56/533.67 c | 203944 | 76972 397301 1361698 | 2147483647 200818 133 | 0.009 % |
538.16/538.30 c | 205807 | 76972 397301 1361698 | 2147483647 202681 133 | 0.009 % |
546.46/546.59 c | 207859 | 76972 397301 1361698 | 2147483647 204733 133 | 0.009 % |
546.95/547.00 c | 207959 | 76972 397301 1361698 | 2147483647 204833 133 | 0.009 % |
547.65/547.72 c | 208084 | 76972 397301 1361698 | 2147483647 204958 133 | 0.009 % |
548.35/548.49 c | 208207 | 76972 397301 1361698 | 2147483647 205081 133 | 0.009 % |
549.15/549.22 c | 208340 | 76972 397301 1361698 | 2147483647 205214 133 | 0.009 % |
549.65/549.75 c | 208492 | 76972 397301 1361698 | 2147483647 205366 133 | 0.009 % |
550.05/550.20 c | 208652 | 76972 397301 1361698 | 2147483647 205526 133 | 0.009 % |
551.25/551.32 c | 208828 | 76972 397021 1361098 | 2147483647 205442 134 | 0.009 % |
551.85/551.98 c | 209021 | 76972 397021 1361098 | 2147483647 205635 133 | 0.009 % |
552.65/552.73 c | 209234 | 76972 397021 1361098 | 2147483647 205848 133 | 0.009 % |
553.15/553.20 c | 209467 | 76972 397021 1361098 | 2147483647 206081 133 | 0.009 % |
554.25/554.36 c | 209723 | 76972 397021 1361098 | 2147483647 206337 133 | 0.009 % |
555.15/555.23 c | 210004 | 76972 397021 1361098 | 2147483647 206618 134 | 0.009 % |
556.75/556.82 c | 210313 | 76972 397021 1361098 | 2147483647 206927 134 | 0.009 % |
557.55/557.65 c | 210652 | 76972 397021 1361098 | 2147483647 207266 134 | 0.009 % |
559.05/559.15 c | 211024 | 76972 397021 1361098 | 2147483647 207638 134 | 0.009 % |
560.45/560.51 c | 211437 | 76972 397021 1361098 | 2147483647 208051 134 | 0.009 % |
561.25/561.34 c | 211886 | 76972 397021 1361098 | 2147483647 208500 134 | 0.009 % |
561.85/561.95 c | 212379 | 76972 397021 1361098 | 2147483647 208993 134 | 0.009 % |
563.55/563.65 c | 212922 | 76972 397021 1361098 | 2147483647 209536 134 | 0.009 % |
564.26/564.36 c | 213526 | 76972 397021 1361098 | 2147483647 210140 134 | 0.009 % |
566.25/566.30 c | 214181 | 76972 397021 1361098 | 2147483647 210795 134 | 0.009 % |
568.25/568.37 c | 214901 | 76972 397021 1361098 | 2147483647 211515 134 | 0.009 % |
573.15/573.24 c | 215694 | 76972 397021 1361098 | 2147483647 212308 134 | 0.009 % |
576.15/576.25 c | 216565 | 76972 397021 1361098 | 2147483647 213179 134 | 0.009 % |
580.16/580.30 c | 217525 | 76972 397021 1361098 | 2147483647 214139 134 | 0.009 % |
583.46/583.59 c | 218581 | 76972 397021 1361098 | 2147483647 215195 134 | 0.009 % |
586.16/586.30 c | 219741 | 76972 397021 1361098 | 2147483647 216355 134 | 0.009 % |
590.06/590.11 c | 221014 | 76972 397021 1361098 | 2147483647 217628 135 | 0.009 % |
595.17/595.26 c | 222414 | 76972 397021 1361098 | 2147483647 219028 134 | 0.009 % |
601.47/601.61 c | 223954 | 76972 397021 1361098 | 2147483647 220568 134 | 0.009 % |
606.57/606.69 c | 225649 | 76972 397021 1361098 | 2147483647 222263 135 | 0.009 % |
611.57/611.69 c | 227512 | 76972 397021 1361098 | 2147483647 224126 135 | 0.009 % |
617.47/617.53 c | 229564 | 76972 397021 1361098 | 2147483647 226178 134 | 0.009 % |
622.97/623.01 c | 231817 | 76972 397021 1361098 | 2147483647 228431 134 | 0.009 % |
623.07/623.20 c | 231917 | 76972 397021 1361098 | 2147483647 228531 134 | 0.009 % |
623.57/623.62 c | 232028 | 76972 397021 1361098 | 2147483647 228642 134 | 0.009 % |
623.97/624.03 c | 232153 | 76972 397021 1361098 | 2147483647 228767 134 | 0.009 % |
624.37/624.46 c | 232289 | 76972 397021 1361098 | 2147483647 228903 134 | 0.009 % |
624.87/624.92 c | 232435 | 76972 397021 1361098 | 2147483647 229049 134 | 0.009 % |
625.67/625.77 c | 232597 | 76972 397021 1361098 | 2147483647 229211 134 | 0.009 % |
626.57/626.71 c | 232773 | 76972 397021 1361098 | 2147483647 229387 134 | 0.009 % |
627.27/627.39 c | 232966 | 76972 397021 1361098 | 2147483647 229580 134 | 0.009 % |
627.77/627.86 c | 233181 | 76972 397021 1361098 | 2147483647 229795 134 | 0.009 % |
628.87/628.94 c | 233414 | 76972 397021 1361098 | 2147483647 230028 134 | 0.009 % |
629.77/629.83 c | 233672 | 76972 397021 1361098 | 2147483647 230286 134 | 0.009 % |
630.47/630.54 c | 233953 | 76972 397021 1361098 | 2147483647 230567 134 | 0.009 % |
630.97/631.07 c | 234262 | 76972 397021 1361098 | 2147483647 230876 134 | 0.009 % |
631.77/631.91 c | 234609 | 76972 397021 1361098 | 2147483647 231223 134 | 0.009 % |
632.47/632.60 c | 234981 | 76972 397021 1361098 | 2147483647 231595 134 | 0.009 % |
632.87/632.97 c | 235392 | 76972 397021 1361098 | 2147483647 232006 134 | 0.009 % |
633.67/633.72 c | 235841 | 76972 397021 1361098 | 2147483647 232455 134 | 0.009 % |
634.97/635.06 c | 236335 | 76972 397021 1361098 | 2147483647 232949 134 | 0.009 % |
636.77/636.82 c | 236877 | 76972 397021 1361098 | 2147483647 233491 134 | 0.009 % |
637.87/637.93 c | 237473 | 76972 397021 1361098 | 2147483647 234087 134 | 0.009 % |
639.67/639.74 c | 238128 | 76972 397021 1361098 | 2147483647 234742 134 | 0.009 % |
640.97/641.10 c | 238848 | 76972 397021 1361098 | 2147483647 235462 134 | 0.009 % |
644.27/644.37 c | 239645 | 76972 397021 1361098 | 2147483647 236259 134 | 0.009 % |
648.17/648.28 c | 240517 | 76972 397021 1361098 | 2147483647 237131 134 | 0.009 % |
650.57/650.65 c | 241475 | 76972 397021 1361098 | 2147483647 238089 134 | 0.009 % |
654.97/655.11 c | 242530 | 76972 397021 1361098 | 2147483647 239144 135 | 0.009 % |
657.67/657.75 c | 243688 | 76972 397021 1361098 | 2147483647 240302 134 | 0.009 % |
661.87/661.93 c | 244961 | 76972 397021 1361098 | 2147483647 241575 135 | 0.009 % |
666.17/666.26 c | 246362 | 76972 397021 1361098 | 2147483647 242976 136 | 0.009 % |
670.57/670.70 c | 247902 | 76972 397021 1361098 | 2147483647 244516 137 | 0.009 % |
676.27/676.37 c | 249596 | 76972 397021 1361098 | 2147483647 246210 137 | 0.009 % |
684.57/684.67 c | 251460 | 76972 397021 1361098 | 2147483647 248074 138 | 0.009 % |
692.28/692.39 c | 253509 | 76972 397021 1361098 | 2147483647 250123 138 | 0.009 % |
697.08/697.19 c | 255762 | 76972 397021 1361098 | 2147483647 252376 139 | 0.009 % |
701.98/702.11 c | 258240 | 76972 397021 1361098 | 2147483647 254854 139 | 0.009 % |
702.28/702.32 c | 258340 | 76972 397021 1361098 | 2147483647 254954 139 | 0.009 % |
702.58/702.71 c | 258452 | 76972 397021 1361098 | 2147483647 255066 139 | 0.009 % |
702.88/702.96 c | 258575 | 76972 397021 1361098 | 2147483647 255189 139 | 0.009 % |
703.38/703.50 c | 258709 | 76972 397021 1361098 | 2147483647 255323 139 | 0.009 % |
704.48/704.56 c | 258855 | 76972 397021 1361098 | 2147483647 255469 139 | 0.009 % |
705.38/705.42 c | 259015 | 76972 397021 1361098 | 2147483647 255629 139 | 0.009 % |
706.38/706.42 c | 259191 | 76972 397021 1361098 | 2147483647 255805 139 | 0.009 % |
707.18/707.23 c | 259386 | 76972 397021 1361098 | 2147483647 256000 139 | 0.009 % |
707.88/707.95 c | 259598 | 76972 397021 1361098 | 2147483647 256212 139 | 0.009 % |
708.98/709.06 c | 259833 | 76972 397021 1361098 | 2147483647 256447 139 | 0.009 % |
709.88/710.01 c | 260089 | 76972 397021 1361098 | 2147483647 256703 139 | 0.009 % |
711.08/711.18 c | 260379 | 76972 397021 1361098 | 2147483647 256993 139 | 0.009 % |
712.28/712.38 c | 260691 | 76972 397021 1361098 | 2147483647 257305 139 | 0.009 % |
713.88/713.94 c | 261030 | 76972 397021 1361098 | 2147483647 257644 139 | 0.009 % |
715.78/715.82 c | 261403 | 76972 397021 1361098 | 2147483647 258017 139 | 0.009 % |
717.28/717.38 c | 261812 | 76972 397021 1361098 | 2147483647 258426 139 | 0.009 % |
718.68/718.77 c | 262261 | 76972 397021 1361098 | 2147483647 258875 140 | 0.009 % |
720.68/720.76 c | 262754 | 76972 397021 1361098 | 2147483647 259368 140 | 0.009 % |
722.08/722.18 c | 263297 | 76972 397021 1361098 | 2147483647 259911 140 | 0.009 % |
724.48/724.57 c | 263897 | 76972 397021 1361098 | 2147483647 260511 140 | 0.009 % |
727.48/727.61 c | 264552 | 76972 397021 1361098 | 2147483647 261166 140 | 0.009 % |
729.38/729.46 c | 265272 | 76972 397021 1361098 | 2147483647 261886 140 | 0.009 % |
731.58/731.69 c | 266064 | 76972 397021 1361098 | 2147483647 262678 140 | 0.009 % |
734.08/734.16 c | 266935 | 76972 397021 1361098 | 2147483647 263549 139 | 0.009 % |
736.08/736.12 c | 267893 | 76972 397021 1361098 | 2147483647 264507 140 | 0.009 % |
738.08/738.18 c | 268946 | 76972 397021 1361098 | 2147483647 265560 139 | 0.009 % |
742.78/742.85 c | 270107 | 76972 397021 1361098 | 2147483647 266721 140 | 0.009 % |
746.58/746.70 c | 271380 | 76972 397021 1361098 | 2147483647 267994 139 | 0.009 % |
750.78/750.90 c | 272780 | 76972 397021 1361098 | 2147483647 269394 140 | 0.009 % |
754.48/754.53 c | 274320 | 76972 397021 1361098 | 2147483647 270934 139 | 0.009 % |
756.28/756.40 c | 276015 | 76972 397021 1361098 | 2147483647 272629 139 | 0.009 % |
762.48/762.58 c | 277879 | 76972 397021 1361098 | 2147483647 274493 139 | 0.009 % |
768.89/768.98 c | 279928 | 76972 397021 1361098 | 2147483647 276542 139 | 0.009 % |
776.88/776.99 c | 282181 | 76972 397021 1361098 | 2147483647 278795 141 | 0.009 % |
784.08/784.18 c | 284659 | 76972 397021 1361098 | 2147483647 281273 141 | 0.009 % |
793.69/793.76 c | 287384 | 76972 397021 1361098 | 2147483647 283998 142 | 0.009 % |
794.09/794.22 c | 287484 | 76972 397021 1361098 | 2147483647 284098 142 | 0.009 % |
794.39/794.49 c | 287601 | 76972 397021 1361098 | 2147483647 284215 142 | 0.009 % |
795.19/795.27 c | 287722 | 76972 397021 1361098 | 2147483647 284336 142 | 0.009 % |
795.49/795.54 c | 287857 | 76972 397021 1361098 | 2147483647 284471 142 | 0.009 % |
795.99/796.09 c | 288003 | 76972 397021 1361098 | 2147483647 284617 142 | 0.009 % |
796.59/796.70 c | 288163 | 76972 397021 1361098 | 2147483647 284777 142 | 0.009 % |
797.19/797.32 c | 288342 | 76972 397021 1361098 | 2147483647 284956 142 | 0.009 % |
797.99/798.04 c | 288535 | 76972 397021 1361098 | 2147483647 285149 142 | 0.009 % |
799.39/799.52 c | 288748 | 76972 397021 1361098 | 2147483647 285362 142 | 0.009 % |
799.99/800.10 c | 288981 | 76972 397021 1361098 | 2147483647 285595 142 | 0.009 % |
800.59/800.71 c | 289245 | 76972 397021 1361098 | 2147483647 285859 142 | 0.009 % |
801.39/801.46 c | 289528 | 76972 397021 1361098 | 2147483647 286142 142 | 0.009 % |
802.99/803.12 c | 289839 | 76972 397021 1361098 | 2147483647 286453 142 | 0.009 % |
803.89/803.94 c | 290178 | 76972 397021 1361098 | 2147483647 286792 142 | 0.009 % |
805.49/805.59 c | 290550 | 76972 397021 1361098 | 2147483647 287164 142 | 0.009 % |
807.89/807.97 c | 290959 | 76972 397021 1361098 | 2147483647 287573 143 | 0.009 % |
809.79/809.82 c | 291412 | 76972 397021 1361098 | 2147483647 288026 143 | 0.009 % |
811.59/811.68 c | 291906 | 76972 397021 1361098 | 2147483647 288520 143 | 0.009 % |
814.69/814.79 c | 292448 | 76972 397021 1361098 | 2147483647 289062 143 | 0.009 % |
816.79/816.84 c | 293044 | 76972 397021 1361098 | 2147483647 289658 143 | 0.009 % |
818.79/818.85 c | 293700 | 76972 397021 1361098 | 2147483647 290314 143 | 0.009 % |
821.19/821.26 c | 294420 | 76972 397021 1361098 | 2147483647 291034 143 | 0.009 % |
823.89/823.96 c | 295214 | 76972 397021 1361098 | 2147483647 291828 144 | 0.009 % |
829.09/829.21 c | 296085 | 76972 397021 1361098 | 2147483647 292699 144 | 0.009 % |
832.89/832.97 c | 297046 | 76972 397021 1361098 | 2147483647 293660 144 | 0.009 % |
840.29/840.39 c | 298101 | 76972 397021 1361098 | 2147483647 294715 144 | 0.009 % |
844.09/844.14 c | 299260 | 76972 397021 1361098 | 2147483647 295874 144 | 0.009 % |
847.69/847.73 c | 300533 | 76972 397021 1361098 | 2147483647 297147 144 | 0.009 % |
854.19/854.22 c | 301933 | 76972 397021 1361098 | 2147483647 298547 145 | 0.009 % |
857.09/857.17 c | 303473 | 76972 397021 1361098 | 2147483647 300087 145 | 0.009 % |
864.69/864.80 c | 305169 | 76972 397021 1361098 | 2147483647 301783 145 | 0.009 % |
869.79/869.83 c | 307033 | 76972 397021 1361098 | 2147483647 303647 145 | 0.009 % |
874.69/874.75 c | 309082 | 76972 397021 1361098 | 2147483647 305696 145 | 0.009 % |
878.69/878.75 c | 311336 | 76972 397021 1361098 | 2147483647 307950 145 | 0.009 % |
887.40/887.44 c | 313814 | 76972 397021 1361098 | 2147483647 310428 145 | 0.009 % |
896.00/896.10 c | 316540 | 76972 397021 1361098 | 2147483647 313154 145 | 0.009 % |
908.49/908.53 c | 319538 | 76972 397021 1361098 | 2147483647 316152 146 | 0.009 % |
908.89/908.91 c | 319638 | 76972 397021 1361098 | 2147483647 316252 146 | 0.009 % |
909.29/909.31 c | 319748 | 76972 397021 1361098 | 2147483647 316362 146 | 0.009 % |
909.99/910.01 c | 319869 | 76972 397021 1361098 | 2147483647 316483 146 | 0.009 % |
910.49/910.55 c | 320003 | 76972 397021 1361098 | 2147483647 316617 146 | 0.009 % |
911.39/911.44 c | 320149 | 76972 397021 1361098 | 2147483647 316763 146 | 0.009 % |
912.29/912.33 c | 320309 | 76972 397021 1361098 | 2147483647 316923 146 | 0.009 % |
913.29/913.32 c | 320485 | 76972 397021 1361098 | 2147483647 317099 146 | 0.009 % |
913.99/914.10 c | 320678 | 76972 397021 1361098 | 2147483647 317292 146 | 0.009 % |
915.09/915.15 c | 320890 | 76972 397021 1361098 | 2147483647 317504 146 | 0.009 % |
916.49/916.54 c | 321124 | 76972 397021 1361098 | 2147483647 317738 146 | 0.009 % |
917.49/917.54 c | 321380 | 76972 397021 1361098 | 2147483647 317994 146 | 0.009 % |
918.69/918.72 c | 321663 | 76972 397021 1361098 | 2147483647 318277 146 | 0.009 % |
920.09/920.16 c | 321972 | 76972 397021 1361098 | 2147483647 318586 146 | 0.009 % |
921.69/921.77 c | 322311 | 76972 397021 1361098 | 2147483647 318925 146 | 0.009 % |
924.39/924.43 c | 322684 | 76972 397021 1361098 | 2147483647 319298 146 | 0.009 % |
927.79/927.88 c | 323093 | 76972 397021 1361098 | 2147483647 319707 146 | 0.009 % |
929.69/929.78 c | 323542 | 76972 397021 1361098 | 2147483647 320156 146 | 0.009 % |
932.29/932.34 c | 324035 | 76971 396875 1360774 | 2147483647 320417 146 | 0.010 % |
933.69/933.73 c | 324578 | 76971 396875 1360774 | 2147483647 320960 146 | 0.010 % |
935.89/935.92 c | 325174 | 76971 396875 1360774 | 2147483647 321556 146 | 0.010 % |
938.59/938.70 c | 325831 | 76971 396875 1360774 | 2147483647 322213 146 | 0.010 % |
941.49/941.54 c | 326552 | 76971 396875 1360774 | 2147483647 322934 146 | 0.010 % |
944.49/944.56 c | 327345 | 76971 396875 1360774 | 2147483647 323727 146 | 0.010 % |
947.89/948.00 c | 328218 | 76971 396875 1360774 | 2147483647 324600 147 | 0.010 % |
950.09/950.11 c | 329176 | 76971 396875 1360774 | 2147483647 325558 146 | 0.010 % |
953.39/953.43 c | 330230 | 76971 396875 1360774 | 2147483647 326612 146 | 0.010 % |
956.39/956.48 c | 331388 | 76971 396875 1360774 | 2147483647 327770 146 | 0.010 % |
960.30/960.38 c | 332661 | 76971 396875 1360774 | 2147483647 329043 146 | 0.010 % |
964.79/964.86 c | 334061 | 76971 396875 1360774 | 2147483647 330443 146 | 0.010 % |
973.19/973.22 c | 335602 | 76971 396875 1360774 | 2147483647 331984 147 | 0.010 % |
978.79/978.81 c | 337297 | 76971 396875 1360774 | 2147483647 333679 146 | 0.010 % |
983.69/983.75 c | 339161 | 76971 396875 1360774 | 2147483647 335543 146 | 0.010 % |
991.40/991.50 c | 341210 | 76971 396875 1360774 | 2147483647 337592 146 | 0.010 % |
1000.30/1000.36 c | 343463 | 76971 396875 1360774 | 2147483647 339845 147 | 0.010 % |
1006.80/1006.83 c | 345941 | 76971 396875 1360774 | 2147483647 342323 147 | 0.010 % |
1018.60/1018.68 c | 348669 | 76971 396875 1360774 | 2147483647 345051 147 | 0.010 % |
1027.90/1027.95 c | 351666 | 76971 396875 1360774 | 2147483647 348048 147 | 0.010 % |
1040.30/1040.40 c | 354962 | 76971 396875 1360774 | 2147483647 351344 147 | 0.010 % |
1040.60/1040.63 c | 355063 | 76971 396875 1360774 | 2147483647 351445 147 | 0.010 % |
1041.00/1041.07 c | 355173 | 76971 396875 1360774 | 2147483647 351555 147 | 0.010 % |
1041.50/1041.57 c | 355294 | 76971 396875 1360774 | 2147483647 351676 147 | 0.010 % |
1041.80/1041.82 c | 355427 | 76971 396875 1360774 | 2147483647 351809 147 | 0.010 % |
1042.30/1042.32 c | 355577 | 76971 396875 1360774 | 2147483647 351959 147 | 0.010 % |
1042.90/1042.96 c | 355742 | 76971 396875 1360774 | 2147483647 352124 148 | 0.010 % |
1044.10/1044.19 c | 355918 | 76971 396875 1360774 | 2147483647 352300 148 | 0.010 % |
1046.00/1046.05 c | 356112 | 76971 396875 1360774 | 2147483647 352494 148 | 0.010 % |
1046.40/1046.45 c | 356325 | 76971 396875 1360774 | 2147483647 352707 147 | 0.010 % |
1048.00/1048.01 c | 356558 | 76971 396875 1360774 | 2147483647 352940 148 | 0.010 % |
1048.90/1048.98 c | 356826 | 76971 396875 1360774 | 2147483647 353208 148 | 0.010 % |
1050.51/1050.56 c | 357107 | 76971 396875 1360774 | 2147483647 353489 148 | 0.010 % |
1052.20/1052.21 c | 357417 | 76971 396875 1360774 | 2147483647 353799 148 | 0.010 % |
1054.00/1054.08 c | 357757 | 76971 396875 1360774 | 2147483647 354139 148 | 0.010 % |
1054.30/1054.38 c | 358129 | 76971 396875 1360774 | 2147483647 354511 148 | 0.010 % |
1055.30/1055.31 c | 358538 | 76971 396875 1360774 | 2147483647 354920 148 | 0.010 % |
1057.30/1057.39 c | 358988 | 76971 396875 1360774 | 2147483647 355370 148 | 0.010 % |
1060.30/1060.38 c | 359482 | 76971 396875 1360774 | 2147483647 355864 148 | 0.010 % |
1062.50/1062.61 c | 360024 | 76971 396875 1360774 | 2147483647 356406 148 | 0.010 % |
1066.10/1066.20 c | 360620 | 76971 396875 1360774 | 2147483647 357002 148 | 0.010 % |
1068.40/1068.50 c | 361275 | 76971 396875 1360774 | 2147483647 357657 148 | 0.010 % |
1069.80/1069.86 c | 361995 | 76971 396875 1360774 | 2147483647 358377 148 | 0.010 % |
1076.40/1076.47 c | 362787 | 76971 396875 1360774 | 2147483647 359169 148 | 0.010 % |
1079.90/1079.93 c | 363659 | 76971 396875 1360774 | 2147483647 360041 148 | 0.010 % |
1081.90/1081.93 c | 364619 | 76971 396875 1360774 | 2147483647 361001 148 | 0.010 % |
1084.31/1084.36 c | 365672 | 76971 396875 1360774 | 2147483647 362054 148 | 0.010 % |
1085.91/1085.97 c | 366832 | 76971 396875 1360774 | 2147483647 363214 148 | 0.010 % |
1091.11/1091.16 c | 368105 | 76971 396875 1360774 | 2147483647 364487 148 | 0.010 % |
1094.71/1094.76 c | 369505 | 76971 396875 1360774 | 2147483647 365887 148 | 0.010 % |
1109.01/1109.09 c | 371045 | 76971 396875 1360774 | 2147483647 367427 149 | 0.010 % |
1119.21/1119.28 c | 372740 | 76968 396742 1360502 | 2147483647 369100 149 | 0.014 % |
1124.91/1124.93 c | 374605 | 76968 396742 1360502 | 2147483647 370965 148 | 0.014 % |
1134.11/1134.17 c | 376654 | 76968 396742 1360502 | 2147483647 373014 149 | 0.014 % |
1141.71/1141.79 c | 378910 | 76968 396742 1360502 | 2147483647 375270 149 | 0.014 % |
1155.31/1155.31 c | 381388 | 76968 396742 1360502 | 2147483647 377748 150 | 0.014 % |
1162.11/1162.13 c | 384114 | 76968 396742 1360502 | 2147483647 380474 149 | 0.014 % |
1169.61/1169.68 c | 387112 | 76968 396742 1360502 | 2147483647 383472 149 | 0.014 % |
1181.42/1181.47 c | 390409 | 76968 396742 1360502 | 2147483647 386769 150 | 0.014 % |
1198.72/1198.78 c | 394034 | 76968 396742 1360502 | 2147483647 390394 150 | 0.014 % |
1199.52/1199.55 c | 394134 | 76967 396742 1360502 | 2147483647 390493 150 | 0.016 % |
1200.02/1200.04 HOME/SatELiteGTI: line 36: 29752 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-1820908-1242486227/watcher-1820908-1242486227 -o /tmp/evaluation-result-1820908-1242486227/solver-1820908-1242486227 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1820908-1242486227.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.15 1.02 1.00 3/96 29746
/proc/meminfo: memFree=629220/2074464 swapFree=1949056/1959888
[pid=29743] ppid=29741 vsize=2412 CPUtime=0
/proc/29743/stat : 29743 (SatELiteGTI) S 29741 29743 14060 0 -1 4194304 337 0 0 0 0 0 0 0 25 0 1 0 1013119935 2469888 271 4294967295 134512640 135169312 3217368992 3217366584 3086009262 0 0 4 65536 3222620697 0 0 17 1 0 0 0
/proc/29743/statm: 603 271 230 161 0 42 0
[pid=29744] ppid=29743 vsize=2412 CPUtime=0
/proc/29744/stat : 29744 (SatELiteGTI) R 29743 29743 14060 0 -1 4194368 101 0 0 0 0 0 0 0 25 0 1 0 1013119935 2469888 114 4294967295 134512640 135169312 3217368992 3217365212 3085817716 0 65538 0 65538 0 0 0 17 1 0 0 0
/proc/29744/statm: 603 114 72 161 0 42 0
[pid=29745] ppid=29744 vsize=0 CPUtime=0
/proc/29745/stat : 29745 (SatELiteGTI) Z 29744 29743 14060 0 -1 4194380 142 0 0 0 0 0 0 0 25 0 1 0 1013119935 0 0 4294967295 0 0 0 0 0 0 0 0 65538 3222378830 0 0 17 1 0 0 0
/proc/29745/statm: 0 0 0 0 0 0 0
[pid=29746] ppid=29744 vsize=2412 CPUtime=0
/proc/29746/stat : 29746 (SatELiteGTI) R 29744 29743 14060 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 1 0 1013119935 2469888 42 4294967295 134512640 135169312 3217368992 3217365212 3085817716 0 65538 0 65538 0 0 0 17 1 0 0 0
/proc/29746/statm: 603 42 0 161 0 42 0
[startup+0.042751 s]
/proc/loadavg: 1.15 1.02 1.00 3/96 29746
/proc/meminfo: memFree=629220/2074464 swapFree=1949056/1959888
[pid=29743] ppid=29741 vsize=2412 CPUtime=0
/proc/29743/stat : 29743 (SatELiteGTI) S 29741 29743 14060 0 -1 4194304 367 644 0 0 0 0 0 0 25 0 1 0 1013119935 2469888 276 4294967295 134512640 135169312 3217368992 3217367528 3085815534 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/29743/statm: 603 276 235 161 0 42 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2412
[startup+0.112756 s]
/proc/loadavg: 1.15 1.02 1.00 3/96 29746
/proc/meminfo: memFree=629220/2074464 swapFree=1949056/1959888
[pid=29743] ppid=29741 vsize=2412 CPUtime=0
/proc/29743/stat : 29743 (SatELiteGTI) S 29741 29743 14060 0 -1 4194304 367 644 0 0 0 0 0 0 25 0 1 0 1013119935 2469888 276 4294967295 134512640 135169312 3217368992 3217367528 3085815534 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/29743/statm: 603 276 235 161 0 42 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2412
[startup+0.312726 s]
/proc/loadavg: 1.15 1.02 1.00 3/96 29746
/proc/meminfo: memFree=629220/2074464 swapFree=1949056/1959888
[pid=29743] ppid=29741 vsize=2412 CPUtime=0
/proc/29743/stat : 29743 (SatELiteGTI) S 29741 29743 14060 0 -1 4194304 367 644 0 0 0 0 0 0 25 0 1 0 1013119935 2469888 276 4294967295 134512640 135169312 3217368992 3217367528 3085815534 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/29743/statm: 603 276 235 161 0 42 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2412
[startup+0.712748 s]
/proc/loadavg: 1.15 1.02 1.00 3/96 29746
/proc/meminfo: memFree=629220/2074464 swapFree=1949056/1959888
[pid=29743] ppid=29741 vsize=2412 CPUtime=0
/proc/29743/stat : 29743 (SatELiteGTI) S 29741 29743 14060 0 -1 4194304 367 644 0 0 0 0 0 0 25 0 1 0 1013119935 2469888 276 4294967295 134512640 135169312 3217368992 3217367528 3085815534 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/29743/statm: 603 276 235 161 0 42 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2412
[startup+1.51262 s]
/proc/loadavg: 1.15 1.02 1.00 2/95 29748
/proc/meminfo: memFree=528640/2074464 swapFree=1949056/1959888
[pid=29743] ppid=29741 vsize=2412 CPUtime=0
/proc/29743/stat : 29743 (SatELiteGTI) S 29741 29743 14060 0 -1 4194304 367 644 0 0 0 0 0 0 25 0 1 0 1013119935 2469888 276 4294967295 134512640 135169312 3217368992 3217367528 3085815534 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/29743/statm: 603 276 235 161 0 42 0
[pid=29748] ppid=29743 vsize=107216 CPUtime=1.5
/proc/29748/stat : 29748 (SatELite_releas) D 29743 29743 14060 0 -1 4202496 27469 0 0 0 138 12 0 0 25 0 1 0 1013119936 109789184 25337 4294967295 134512640 135223648 3212893008 3212890776 134737406 0 0 0 3 3222585681 0 0 17 2 0 0 0
/proc/29748/statm: 26804 25337 73 174 0 26629 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 109628
[startup+3.11248 s]
/proc/loadavg: 1.15 1.02 1.00 2/95 29748
/proc/meminfo: memFree=520208/2074464 swapFree=1949056/1959888
[pid=29743] ppid=29741 vsize=2412 CPUtime=0
/proc/29743/stat : 29743 (SatELiteGTI) S 29741 29743 14060 0 -1 4194304 367 644 0 0 0 0 0 0 25 0 1 0 1013119935 2469888 276 4294967295 134512640 135169312 3217368992 3217367528 3085815534 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/29743/statm: 603 276 235 161 0 42 0
[pid=29748] ppid=29743 vsize=111392 CPUtime=3.09
/proc/29748/stat : 29748 (SatELite_releas) R 29743 29743 14060 0 -1 4202496 28402 0 0 0 294 15 0 0 25 0 1 0 1013119936 114065408 26270 4294967295 134512640 135223648 3212893008 3212891008 134548278 0 0 0 3 0 0 0 17 3 0 0 0
/proc/29748/statm: 27848 26270 73 174 0 27673 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 113804
[startup+6.31221 s]
/proc/loadavg: 1.22 1.04 1.01 1/95 29751
/proc/meminfo: memFree=500904/2074464 swapFree=1949056/1959888
[pid=29743] ppid=29741 vsize=2412 CPUtime=0
/proc/29743/stat : 29743 (SatELiteGTI) S 29741 29743 14060 0 -1 4194304 367 644 0 0 0 0 0 0 25 0 1 0 1013119935 2469888 276 4294967295 134512640 135169312 3217368992 3217367528 3085815534 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/29743/statm: 603 276 235 161 0 42 0
[pid=29748] ppid=29743 vsize=116656 CPUtime=6.24
/proc/29748/stat : 29748 (SatELite_releas) R 29743 29743 14060 0 -1 4202496 29764 0 0 0 606 18 0 0 25 0 1 0 1013119936 119455744 27632 4294967295 134512640 135223648 3212893008 3212891024 134586845 0 0 0 3 0 0 0 17 0 0 0 0
/proc/29748/statm: 29164 27632 73 174 0 28989 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 119068
[startup+12.7217 s]
/proc/loadavg: 1.20 1.03 1.01 4/95 29751
/proc/meminfo: memFree=473796/2074464 swapFree=1949056/1959888
[pid=29743] ppid=29741 vsize=2412 CPUtime=0
/proc/29743/stat : 29743 (SatELiteGTI) S 29741 29743 14060 0 -1 4194304 367 644 0 0 0 0 0 0 25 0 1 0 1013119935 2469888 276 4294967295 134512640 135169312 3217368992 3217367528 3085815534 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/29743/statm: 603 276 235 161 0 42 0
[pid=29748] ppid=29743 vsize=122888 CPUtime=12.62
/proc/29748/stat : 29748 (SatELite_releas) R 29743 29743 14060 0 -1 4202496 32195 0 0 0 1234 28 0 0 25 0 1 0 1013119936 125837312 28846 4294967295 134512640 135223648 3212893008 3212891024 134586759 0 0 0 3 0 0 0 17 0 0 0 0
/proc/29748/statm: 30722 28846 73 174 0 30547 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 125300
[startup+25.5205 s]
/proc/loadavg: 1.22 1.05 1.01 2/95 29752
/proc/meminfo: memFree=551300/2074464 swapFree=1949056/1959888
[pid=29743] ppid=29741 vsize=2416 CPUtime=13.45
/proc/29743/stat : 29743 (SatELiteGTI) S 29741 29743 14060 0 -1 4194304 385 36162 0 0 0 0 1312 33 21 0 1 0 1013119935 2473984 277 4294967295 134512640 135169312 3217368992 3217365208 3085815534 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/29743/statm: 604 277 235 161 0 43 0
[pid=29752] ppid=29743 vsize=29300 CPUtime=11.97
/proc/29752/stat : 29752 (minisat_static) R 29743 29743 14060 0 -1 4202496 6935 0 0 0 1191 6 0 0 25 0 1 0 1013121290 30003200 6869 4294967295 134512640 135215339 3217678400 3217676496 134527353 0 0 0 3 0 0 0 17 2 0 0 0
/proc/29752/statm: 7325 6869 73 172 0 7152 0
Current children cumulated CPU time (s) 25.42
Current children cumulated vsize (KiB) 31716
[startup+51.1183 s]
/proc/loadavg: 1.15 1.04 1.01 2/95 29935
/proc/meminfo: memFree=545932/2074464 swapFree=1949056/1959888
[pid=29743] ppid=29741 vsize=2416 CPUtime=13.45
/proc/29743/stat : 29743 (SatELiteGTI) S 29741 29743 14060 0 -1 4194304 385 36162 0 0 0 0 1312 33 21 0 1 0 1013119935 2473984 277 4294967295 134512640 135169312 3217368992 3217365208 3085815534 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/29743/statm: 604 277 235 161 0 43 0
[pid=29752] ppid=29743 vsize=33984 CPUtime=37.57
/proc/29752/stat : 29752 (minisat_static) R 29743 29743 14060 0 -1 4202496 8080 0 0 0 3749 8 0 0 25 0 1 0 1013121290 34799616 8014 4294967295 134512640 135215339 3217678400 3217676688 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/29752/statm: 8496 8014 73 172 0 8323 0
Current children cumulated CPU time (s) 51.02
Current children cumulated vsize (KiB) 36400
[startup+102.324 s]
/proc/loadavg: 1.06 1.03 1.01 2/95 29956
/proc/meminfo: memFree=534000/2074464 swapFree=1949056/1959888
[pid=29743] ppid=29741 vsize=2416 CPUtime=13.45
/proc/29743/stat : 29743 (SatELiteGTI) S 29741 29743 14060 0 -1 4194304 385 36162 0 0 0 0 1312 33 21 0 1 0 1013119935 2473984 277 4294967295 134512640 135169312 3217368992 3217365208 3085815534 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/29743/statm: 604 277 235 161 0 43 0
[pid=29752] ppid=29743 vsize=45776 CPUtime=88.78
/proc/29752/stat : 29752 (minisat_static) R 29743 29743 14060 0 -1 4202496 11049 0 0 0 8862 16 0 0 25 0 1 0 1013121290 46874624 10983 4294967295 134512640 135215339 3217678400 3217676688 134528666 0 0 0 3 0 0 0 17 2 0 0 0
/proc/29752/statm: 11444 10983 73 172 0 11271 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 48192
[startup+162.319 s]
/proc/loadavg: 1.02 1.03 1.00 3/95 30145
/proc/meminfo: memFree=521532/2074464 swapFree=1949056/1959888
[pid=29743] ppid=29741 vsize=2416 CPUtime=13.45
/proc/29743/stat : 29743 (SatELiteGTI) S 29741 29743 14060 0 -1 4194304 385 36162 0 0 0 0 1312 33 21 0 1 0 1013119935 2473984 277 4294967295 134512640 135169312 3217368992 3217365208 3085815534 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/29743/statm: 604 277 235 161 0 43 0
[pid=29752] ppid=29743 vsize=58568 CPUtime=148.78
/proc/29752/stat : 29752 (minisat_static) R 29743 29743 14060 0 -1 4202496 14190 0 0 0 14859 19 0 0 25 0 1 0 1013121290 59973632 14124 4294967295 134512640 135215339 3217678400 3217676688 134528849 0 0 0 3 0 0 0 17 2 0 0 0
/proc/29752/statm: 14642 14124 73 172 0 14469 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 60984
[startup+222.313 s]
/proc/loadavg: 1.01 1.02 1.00 2/95 30330
/proc/meminfo: memFree=506056/2074464 swapFree=1949056/1959888
[pid=29743] ppid=29741 vsize=2416 CPUtime=13.45
/proc/29743/stat : 29743 (SatELiteGTI) S 29741 29743 14060 0 -1 4194304 385 36162 0 0 0 0 1312 33 21 0 1 0 1013119935 2473984 277 4294967295 134512640 135169312 3217368992 3217365208 3085815534 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/29743/statm: 604 277 235 161 0 43 0
[pid=29752] ppid=29743 vsize=73940 CPUtime=208.78
/proc/29752/stat : 29752 (minisat_static) R 29743 29743 14060 0 -1 4202496 18056 0 0 0 20854 24 0 0 25 0 1 0 1013121290 75714560 17990 4294967295 134512640 135215339 3217678400 3217676464 134537869 0 0 0 3 0 0 0 17 2 0 0 0
/proc/29752/statm: 18485 17990 73 172 0 18312 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 76356
[startup+282.308 s]
/proc/loadavg: 1.00 1.01 1.00 2/95 30520
/proc/meminfo: memFree=492904/2074464 swapFree=1949056/1959888
[pid=29743] ppid=29741 vsize=2416 CPUtime=13.45
/proc/29743/stat : 29743 (SatELiteGTI) S 29741 29743 14060 0 -1 4194304 385 36162 0 0 0 0 1312 33 21 0 1 0 1013119935 2473984 277 4294967295 134512640 135169312 3217368992 3217365208 3085815534 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/29743/statm: 604 277 235 161 0 43 0
[pid=29752] ppid=29743 vsize=86904 CPUtime=268.78
/proc/29752/stat : 29752 (minisat_static) R 29743 29743 14060 0 -1 4202496 21269 0 0 0 26853 25 0 0 25 0 1 0 1013121290 88989696 21203 4294967295 134512640 135215339 3217678400 3217676688 134528624 0 0 0 3 0 0 0 17 2 0 0 0
/proc/29752/statm: 21726 21203 73 172 0 21553 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 89320
[startup+342.313 s]
/proc/loadavg: 1.00 1.01 1.00 3/95 30708
/proc/meminfo: memFree=477768/2074464 swapFree=1949056/1959888
[pid=29743] ppid=29741 vsize=2416 CPUtime=13.45
/proc/29743/stat : 29743 (SatELiteGTI) S 29741 29743 14060 0 -1 4194304 385 36162 0 0 0 0 1312 33 21 0 1 0 1013119935 2473984 277 4294967295 134512640 135169312 3217368992 3217365208 3085815534 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/29743/statm: 604 277 235 161 0 43 0
[pid=29752] ppid=29743 vsize=102284 CPUtime=328.79
/proc/29752/stat : 29752 (minisat_static) R 29743 29743 14060 0 -1 4202496 25065 0 0 0 32853 26 0 0 25 0 1 0 1013121290 104738816 24999 4294967295 134512640 135215339 3217678400 3217676688 134528666 0 0 0 3 0 0 0 17 2 0 0 0
/proc/29752/statm: 25571 24999 73 172 0 25398 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 104700
[startup+402.318 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 30897
/proc/meminfo: memFree=465020/2074464 swapFree=1949056/1959888
[pid=29743] ppid=29741 vsize=2416 CPUtime=13.45
################
# More data... #
################
[pid=29752] ppid=29743 vsize=130036 CPUtime=448.8
/proc/29752/stat : 29752 (minisat_static) R 29743 29743 14060 0 -1 4202496 31946 0 0 0 44850 30 0 0 25 0 1 0 1013121290 133156864 31880 4294967295 134512640 135215339 3217678400 3217676688 134528700 0 0 0 3 0 0 0 17 2 0 0 0
/proc/29752/statm: 32509 31880 73 172 0 32336 0
Current children cumulated CPU time (s) 462.25
Current children cumulated vsize (KiB) 132452
[startup+522.317 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 31276
/proc/meminfo: memFree=434648/2074464 swapFree=1949056/1959888
[pid=29743] ppid=29741 vsize=2416 CPUtime=13.45
/proc/29743/stat : 29743 (SatELiteGTI) S 29741 29743 14060 0 -1 4194304 385 36162 0 0 0 0 1312 33 21 0 1 0 1013119935 2473984 277 4294967295 134512640 135169312 3217368992 3217365208 3085815534 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/29743/statm: 604 277 235 161 0 43 0
[pid=29752] ppid=29743 vsize=145028 CPUtime=508.81
/proc/29752/stat : 29752 (minisat_static) R 29743 29743 14060 0 -1 4202496 35679 0 0 0 50847 34 0 0 25 0 1 0 1013121290 148508672 35613 4294967295 134512640 135215339 3217678400 3217676688 134528666 0 0 0 3 0 0 0 17 2 0 0 0
/proc/29752/statm: 36257 35613 73 172 0 36084 0
Current children cumulated CPU time (s) 522.26
Current children cumulated vsize (KiB) 147444
[startup+582.312 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 31464
/proc/meminfo: memFree=421844/2074464 swapFree=1949056/1959888
[pid=29743] ppid=29741 vsize=2416 CPUtime=13.45
/proc/29743/stat : 29743 (SatELiteGTI) S 29741 29743 14060 0 -1 4194304 385 36162 0 0 0 0 1312 33 21 0 1 0 1013119935 2473984 277 4294967295 134512640 135169312 3217368992 3217365208 3085815534 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/29743/statm: 604 277 235 161 0 43 0
[pid=29752] ppid=29743 vsize=158520 CPUtime=568.81
/proc/29752/stat : 29752 (minisat_static) R 29743 29743 14060 0 -1 4202496 38916 0 0 0 56845 36 0 0 25 0 1 0 1013121290 162324480 38850 4294967295 134512640 135215339 3217678400 3217676688 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/29752/statm: 39630 38850 73 172 0 39457 0
Current children cumulated CPU time (s) 582.26
Current children cumulated vsize (KiB) 160936
[startup+642.317 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 31652
/proc/meminfo: memFree=409088/2074464 swapFree=1949056/1959888
[pid=29743] ppid=29741 vsize=2416 CPUtime=13.45
/proc/29743/stat : 29743 (SatELiteGTI) S 29741 29743 14060 0 -1 4194304 385 36162 0 0 0 0 1312 33 21 0 1 0 1013119935 2473984 277 4294967295 134512640 135169312 3217368992 3217365208 3085815534 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/29743/statm: 604 277 235 161 0 43 0
[pid=29752] ppid=29743 vsize=171000 CPUtime=628.82
/proc/29752/stat : 29752 (minisat_static) R 29743 29743 14060 0 -1 4202496 42047 0 0 0 62843 39 0 0 25 0 1 0 1013121290 175104000 41981 4294967295 134512640 135215339 3217678400 3217676688 134528806 0 0 0 3 0 0 0 17 2 0 0 0
/proc/29752/statm: 42750 41981 73 172 0 42577 0
Current children cumulated CPU time (s) 642.27
Current children cumulated vsize (KiB) 173416
[startup+702.322 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 31841
/proc/meminfo: memFree=393464/2074464 swapFree=1949056/1959888
[pid=29743] ppid=29741 vsize=2416 CPUtime=13.45
/proc/29743/stat : 29743 (SatELiteGTI) S 29741 29743 14060 0 -1 4194304 385 36162 0 0 0 0 1312 33 21 0 1 0 1013119935 2473984 277 4294967295 134512640 135169312 3217368992 3217365208 3085815534 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/29743/statm: 604 277 235 161 0 43 0
[pid=29752] ppid=29743 vsize=186824 CPUtime=688.83
/proc/29752/stat : 29752 (minisat_static) R 29743 29743 14060 0 -1 4202496 45974 0 0 0 68842 41 0 0 25 0 1 0 1013121290 191307776 45908 4294967295 134512640 135215339 3217678400 3217676688 134528700 0 0 0 3 0 0 0 17 2 0 0 0
/proc/29752/statm: 46706 45908 73 172 0 46533 0
Current children cumulated CPU time (s) 702.28
Current children cumulated vsize (KiB) 189240
[startup+762.327 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 32030
/proc/meminfo: memFree=380940/2074464 swapFree=1949056/1959888
[pid=29743] ppid=29741 vsize=2416 CPUtime=13.45
/proc/29743/stat : 29743 (SatELiteGTI) S 29741 29743 14060 0 -1 4194304 385 36162 0 0 0 0 1312 33 21 0 1 0 1013119935 2473984 277 4294967295 134512640 135169312 3217368992 3217365208 3085815534 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/29743/statm: 604 277 235 161 0 43 0
[pid=29752] ppid=29743 vsize=198944 CPUtime=748.84
/proc/29752/stat : 29752 (minisat_static) R 29743 29743 14060 0 -1 4202496 49055 0 0 0 74842 42 0 0 25 0 1 0 1013121290 203718656 48989 4294967295 134512640 135215339 3217678400 3217676688 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/29752/statm: 49736 48989 73 172 0 49563 0
Current children cumulated CPU time (s) 762.29
Current children cumulated vsize (KiB) 201360
[startup+822.321 s]
/proc/loadavg: 1.11 1.03 1.01 3/95 32222
/proc/meminfo: memFree=365820/2074464 swapFree=1949056/1959888
[pid=29743] ppid=29741 vsize=2416 CPUtime=13.45
/proc/29743/stat : 29743 (SatELiteGTI) S 29741 29743 14060 0 -1 4194304 385 36162 0 0 0 0 1312 33 21 0 1 0 1013119935 2473984 277 4294967295 134512640 135169312 3217368992 3217365208 3085815534 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/29743/statm: 604 277 235 161 0 43 0
[pid=29752] ppid=29743 vsize=214340 CPUtime=808.84
/proc/29752/stat : 29752 (minisat_static) R 29743 29743 14060 0 -1 4202496 52878 0 0 0 80837 47 0 0 25 0 1 0 1013121290 219484160 52812 4294967295 134512640 135215339 3217678400 3217676688 134528788 0 0 0 3 0 0 0 17 2 0 0 0
/proc/29752/statm: 53585 52812 73 172 0 53412 0
Current children cumulated CPU time (s) 822.29
Current children cumulated vsize (KiB) 216756
[startup+882.316 s]
/proc/loadavg: 1.15 1.05 1.01 2/95 32410
/proc/meminfo: memFree=352652/2074464 swapFree=1949056/1959888
[pid=29743] ppid=29741 vsize=2416 CPUtime=13.45
/proc/29743/stat : 29743 (SatELiteGTI) S 29741 29743 14060 0 -1 4194304 385 36162 0 0 0 0 1312 33 21 0 1 0 1013119935 2473984 277 4294967295 134512640 135169312 3217368992 3217365208 3085815534 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/29743/statm: 604 277 235 161 0 43 0
[pid=29752] ppid=29743 vsize=227208 CPUtime=868.84
/proc/29752/stat : 29752 (minisat_static) R 29743 29743 14060 0 -1 4202496 56119 0 0 0 86836 48 0 0 25 0 1 0 1013121290 232660992 56053 4294967295 134512640 135215339 3217678400 3217676688 134529171 0 0 0 3 0 0 0 17 2 0 0 0
/proc/29752/statm: 56802 56053 73 172 0 56629 0
Current children cumulated CPU time (s) 882.29
Current children cumulated vsize (KiB) 229624
[startup+942.311 s]
/proc/loadavg: 1.10 1.06 1.01 2/95 32598
/proc/meminfo: memFree=342516/2074464 swapFree=1949056/1959888
[pid=29743] ppid=29741 vsize=2416 CPUtime=13.45
/proc/29743/stat : 29743 (SatELiteGTI) S 29741 29743 14060 0 -1 4194304 385 36162 0 0 0 0 1312 33 21 0 1 0 1013119935 2473984 277 4294967295 134512640 135169312 3217368992 3217365208 3085815534 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/29743/statm: 604 277 235 161 0 43 0
[pid=29752] ppid=29743 vsize=238444 CPUtime=928.84
/proc/29752/stat : 29752 (minisat_static) R 29743 29743 14060 0 -1 4202496 58746 0 0 0 92830 54 0 0 25 0 1 0 1013121290 244166656 58680 4294967295 134512640 135215339 3217678400 3217676672 134525025 0 0 0 3 0 0 0 17 2 0 0 0
/proc/29752/statm: 59611 58680 73 172 0 59438 0
Current children cumulated CPU time (s) 942.29
Current children cumulated vsize (KiB) 240860
[startup+1002.32 s]
/proc/loadavg: 1.04 1.04 1.01 2/95 319
/proc/meminfo: memFree=329968/2074464 swapFree=1949056/1959888
[pid=29743] ppid=29741 vsize=2416 CPUtime=13.45
/proc/29743/stat : 29743 (SatELiteGTI) S 29741 29743 14060 0 -1 4194304 385 36162 0 0 0 0 1312 33 21 0 1 0 1013119935 2473984 277 4294967295 134512640 135169312 3217368992 3217365208 3085815534 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/29743/statm: 604 277 235 161 0 43 0
[pid=29752] ppid=29743 vsize=250836 CPUtime=988.85
/proc/29752/stat : 29752 (minisat_static) R 29743 29743 14060 0 -1 4202496 61818 0 0 0 98830 55 0 0 25 0 1 0 1013121290 256856064 61752 4294967295 134512640 135215339 3217678400 3217676688 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/29752/statm: 62709 61752 73 172 0 62536 0
Current children cumulated CPU time (s) 1002.3
Current children cumulated vsize (KiB) 253252
[startup+1062.31 s]
/proc/loadavg: 1.01 1.03 1.00 3/95 508
/proc/meminfo: memFree=317212/2074464 swapFree=1949056/1959888
[pid=29743] ppid=29741 vsize=2416 CPUtime=13.45
/proc/29743/stat : 29743 (SatELiteGTI) S 29741 29743 14060 0 -1 4194304 385 36162 0 0 0 0 1312 33 21 0 1 0 1013119935 2473984 277 4294967295 134512640 135169312 3217368992 3217365208 3085815534 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/29743/statm: 604 277 235 161 0 43 0
[pid=29752] ppid=29743 vsize=263844 CPUtime=1048.85
/proc/29752/stat : 29752 (minisat_static) R 29743 29743 14060 0 -1 4202496 65007 0 0 0 104824 61 0 0 25 0 1 0 1013121290 270176256 64941 4294967295 134512640 135215339 3217678400 3217676400 134532672 0 0 0 3 0 0 0 17 2 0 0 0
/proc/29752/statm: 65961 64941 73 172 0 65788 0
Current children cumulated CPU time (s) 1062.3
Current children cumulated vsize (KiB) 266260
[startup+1122.32 s]
/proc/loadavg: 1.00 1.03 1.00 3/95 693
/proc/meminfo: memFree=306672/2074464 swapFree=1949056/1959888
[pid=29743] ppid=29741 vsize=2416 CPUtime=13.45
/proc/29743/stat : 29743 (SatELiteGTI) S 29741 29743 14060 0 -1 4194304 385 36162 0 0 0 0 1312 33 21 0 1 0 1013119935 2473984 277 4294967295 134512640 135169312 3217368992 3217365208 3085815534 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/29743/statm: 604 277 235 161 0 43 0
[pid=29752] ppid=29743 vsize=274592 CPUtime=1108.86
/proc/29752/stat : 29752 (minisat_static) R 29743 29743 14060 0 -1 4202496 67639 0 0 0 110823 63 0 0 25 0 1 0 1013121290 281182208 67573 4294967295 134512640 135215339 3217678400 3217676496 134527255 0 0 0 3 0 0 0 17 2 0 0 0
/proc/29752/statm: 68648 67573 73 172 0 68475 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 277008
[startup+1182.32 s]
/proc/loadavg: 1.00 1.02 1.00 3/95 882
/proc/meminfo: memFree=292272/2074464 swapFree=1949056/1959888
[pid=29743] ppid=29741 vsize=2416 CPUtime=13.45
/proc/29743/stat : 29743 (SatELiteGTI) S 29741 29743 14060 0 -1 4194304 385 36162 0 0 0 0 1312 33 21 0 1 0 1013119935 2473984 277 4294967295 134512640 135169312 3217368992 3217365208 3085815534 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/29743/statm: 604 277 235 161 0 43 0
[pid=29752] ppid=29743 vsize=289256 CPUtime=1168.87
/proc/29752/stat : 29752 (minisat_static) R 29743 29743 14060 0 -1 4202496 71198 0 0 0 116822 65 0 0 25 0 1 0 1013121290 296198144 71132 4294967295 134512640 135215339 3217678400 3217676688 134529085 0 0 0 3 0 0 0 17 2 0 0 0
/proc/29752/statm: 72314 71132 73 172 0 72141 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 291672
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.02 s]
/proc/loadavg: 1.00 1.02 1.00 2/95 1083
/proc/meminfo: memFree=288712/2074464 swapFree=1949056/1959888
[pid=29743] ppid=29741 vsize=2416 CPUtime=13.45
/proc/29743/stat : 29743 (SatELiteGTI) S 29741 29743 14060 0 -1 4194304 385 36162 0 0 0 0 1312 33 21 0 1 0 1013119935 2473984 277 4294967295 134512640 135169312 3217368992 3217365208 3085815534 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/29743/statm: 604 277 235 161 0 43 0
[pid=29752] ppid=29743 vsize=292700 CPUtime=1186.57
/proc/29752/stat : 29752 (minisat_static) R 29743 29743 14060 0 -1 4202496 72037 0 0 0 118591 66 0 0 25 0 1 0 1013121290 299724800 71971 4294967295 134512640 135215339 3217678400 3217676616 134721382 0 0 0 3 0 0 0 17 2 0 0 0
/proc/29752/statm: 73175 71971 73 172 0 73002 0
Current children cumulated CPU time (s) 1200.02
Current children cumulated vsize (KiB) 295116
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.05
CPU time (s): 1200.04
CPU user time (s): 1199.03
CPU system time (s): 1.01
CPU usage (%): 99.9993
Max. virtual memory (cumulated for all children) (KiB): 295116
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.03
system time used= 1.01
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 108674
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= 25
involuntary context switches= 1171
runsolver used 0.02 second user time and 0.02 second system time
The end
Begin job on tipi27 at 2009-05-16 17:03:47
IDJOB=1820908
IDBENCH=70769
IDSOLVER=657
FILE ID=tipi27/1820908-1242486227
PBS_JOBID=
Free space on /tmp= 9220 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/APPLICATIONS/bitverif/minandmaxor/minandmaxor128.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1820908-1242486227/watcher-1820908-1242486227 -o /tmp/evaluation-result-1820908-1242486227/solver-1820908-1242486227 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1820908-1242486227.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 5b2e2178738883a628728bb1ec39f4a9
RANDOM SEED= 1858492713
Linux tipi27 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.389
cache size : 1024 KB
physical id : 0
siblings : 2
core id : 0
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3618.40
processor : 1
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.389
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.79
processor : 2
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.389
cache size : 1024 KB
physical id : 1
siblings : 2
core id : 0
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.77
processor : 3
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.389
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: 629524 kB
Buffers: 60596 kB
Cached: 1258116 kB
SwapCached: 5508 kB
Active: 673188 kB
Inactive: 655464 kB
HighTotal: 1178688 kB
HighFree: 345076 kB
LowTotal: 895776 kB
LowFree: 284448 kB
SwapTotal: 1959888 kB
SwapFree: 1949056 kB
Dirty: 15316 kB
Writeback: 0 kB
AnonPages: 9068 kB
Mapped: 3348 kB
Slab: 106860 kB
PageTables: 584 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 2997120 kB
Committed_AS: 90628 kB
VmallocTotal: 114680 kB
VmallocUsed: 1324 kB
VmallocChunk: 113264 kB
Free space on /tmp at the end= 9179 MiB
End job on tipi27 at 2009-05-16 17:23:50