0.00/0.00 c Parsing...
0.00/0.63 c ==============================================================================
0.00/0.63 c | | ORIGINAL | LEARNT | |
0.00/0.63 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.63 c ==============================================================================
0.00/0.63 c | 0 | 746442 1741698 | 223932 0 0 nan | 0.000 % |
14.48/14.56 c | 0 | 397738 1362662 | -- 0 -- -- | -- | -348682/-378983
14.48/14.57 c ==============================================================================
14.48/14.57 c Result : #vars: 76979 #clauses: 397738 #literals: 1362662
14.48/14.57 c CPU time: 14.2058 s
14.48/14.57 c ==============================================================================
14.98/15.07 c This is MiniSat 2.0 beta
14.98/15.07 c WARNING: for repeatability, setting FPU to use double precision
14.98/15.07 c ============================[ Problem Statistics ]=============================
14.98/15.07 c | |
14.98/15.07 c | Number of variables: 76979 |
14.98/15.07 c | Number of clauses: 397738 |
15.26/15.33 c | Parsing time: 0.23 s |
15.26/15.35 c ============================[ Search Statistics ]==============================
15.26/15.35 c | Conflicts | ORIGINAL | LEARNT | Progress |
15.26/15.35 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
15.26/15.35 c ===============================================================================
15.26/15.35 c | 0 | 76979 397738 1362662 | 132579 0 nan | 0.000 % |
15.36/15.49 c | 100 | 76979 397738 1362662 | 132579 100 17 | 0.000 % |
15.56/15.66 c | 201 | 76979 397738 1362662 | 132579 201 13 | 0.000 % |
15.75/15.84 c | 303 | 76979 397738 1362662 | 132579 303 15 | 0.000 % |
15.75/15.90 c | 415 | 76979 397738 1362662 | 132579 415 16 | 0.000 % |
16.46/16.52 c | 561 | 76979 397738 1362662 | 132579 561 23 | 0.000 % |
16.75/16.84 c | 671 | 76979 397738 1362662 | 132579 671 33 | 0.000 % |
17.05/17.16 c | 793 | 76979 397738 1362662 | 132579 793 38 | 0.000 % |
17.15/17.23 c | 893 | 76979 397738 1362662 | 132579 893 39 | 0.000 % |
17.56/17.65 c | 1003 | 76979 397738 1362662 | 132579 1003 43 | 0.000 % |
17.85/17.90 c | 1124 | 76979 397738 1362662 | 132579 1124 40 | 0.000 % |
18.05/18.18 c | 1258 | 76979 397738 1362662 | 132579 1258 41 | 0.000 % |
18.15/18.28 c | 1359 | 76979 397738 1362662 | 132579 1359 40 | 0.000 % |
18.45/18.58 c | 1469 | 76979 397738 1362662 | 132579 1469 40 | 0.000 % |
18.56/18.69 c | 1592 | 76979 397738 1362662 | 132579 1592 38 | 0.000 % |
18.85/18.97 c | 1726 | 76979 397738 1362662 | 132579 1726 38 | 0.000 % |
18.96/19.07 c | 1872 | 76979 397738 1362662 | 132579 1872 38 | 0.000 % |
19.36/19.41 c | 1972 | 76979 397738 1362662 | 132579 1972 40 | 0.000 % |
19.46/19.52 c | 2082 | 76979 397738 1362662 | 132579 2082 39 | 0.000 % |
19.66/19.70 c | 2203 | 76979 397738 1362662 | 132579 2203 38 | 0.000 % |
19.76/19.84 c | 2336 | 76979 397738 1362662 | 132579 2336 37 | 0.000 % |
20.46/20.52 c | 2532 | 76979 397738 1362662 | 132579 2532 39 | 0.000 % |
20.86/20.97 c | 2693 | 76979 397738 1362662 | 132579 2693 39 | 0.000 % |
21.06/21.15 c | 2799 | 76979 397738 1362662 | 132579 2799 41 | 0.000 % |
21.16/21.23 c | 2909 | 76979 397738 1362662 | 132579 2909 40 | 0.000 % |
21.36/21.45 c | 3031 | 76979 397738 1362662 | 132579 3031 43 | 0.000 % |
21.56/21.64 c | 3164 | 76979 397738 1362662 | 132579 3164 41 | 0.000 % |
21.86/21.91 c | 3311 | 76979 397738 1362662 | 132579 3311 45 | 0.000 % |
22.25/22.34 c | 3472 | 76979 397738 1362662 | 132579 3472 51 | 0.000 % |
22.35/22.47 c | 3648 | 76979 397738 1362662 | 132579 3648 50 | 0.000 % |
22.45/22.53 c | 3750 | 76979 397738 1362662 | 132579 3750 50 | 0.000 % |
22.96/23.05 c | 3862 | 76979 397738 1362662 | 132579 3862 54 | 0.000 % |
23.45/23.59 c | 3984 | 76979 397738 1362662 | 132579 3984 56 | 0.000 % |
23.95/24.09 c | 4117 | 76979 397738 1362662 | 132579 4117 60 | 0.000 % |
24.25/24.33 c | 4264 | 76979 397738 1362662 | 132579 4264 62 | 0.000 % |
25.85/25.97 c | 4425 | 76979 397738 1362662 | 132579 4425 68 | 0.000 % |
26.36/26.41 c | 4601 | 76979 397738 1362662 | 132579 4601 67 | 0.000 % |
26.65/26.70 c | 4794 | 76979 397738 1362662 | 132579 4794 67 | 0.000 % |
26.75/26.85 c | 4894 | 76979 397738 1362662 | 132579 4894 68 | 0.000 % |
27.25/27.33 c | 5004 | 76979 397738 1362662 | 132579 5004 67 | 0.000 % |
27.55/27.64 c | 5125 | 76979 397738 1362662 | 132579 5125 66 | 0.000 % |
28.65/28.75 c | 5259 | 76979 397738 1362662 | 132579 5259 66 | 0.000 % |
29.35/29.40 c | 5405 | 76979 397738 1362662 | 132579 5405 66 | 0.000 % |
29.65/29.75 c | 5565 | 76979 397738 1362662 | 132579 5565 68 | 0.000 % |
29.75/29.88 c | 5742 | 76979 397738 1362662 | 132579 5742 68 | 0.000 % |
30.65/30.74 c | 5935 | 76979 397738 1362662 | 132579 5935 72 | 0.000 % |
31.55/31.69 c | 6149 | 76979 397738 1362662 | 132579 6149 74 | 0.000 % |
31.64/31.77 c | 6250 | 76979 397738 1362662 | 132579 6250 73 | 0.000 % |
31.84/31.94 c | 6360 | 76979 397738 1362662 | 132579 6360 73 | 0.000 % |
32.04/32.10 c | 6481 | 76979 397738 1362662 | 132579 6481 73 | 0.000 % |
32.14/32.21 c | 6614 | 76979 397738 1362662 | 132579 6614 72 | 0.000 % |
32.34/32.45 c | 6764 | 76979 397738 1362662 | 132579 6764 72 | 0.000 % |
32.65/32.75 c | 6926 | 76979 397738 1362662 | 132579 6926 71 | 0.000 % |
32.95/33.02 c | 7106 | 76979 397738 1362662 | 132579 7106 71 | 0.000 % |
33.15/33.30 c | 7302 | 76979 397738 1362662 | 132579 7302 70 | 0.000 % |
33.75/33.84 c | 7514 | 76979 397738 1362662 | 132579 7514 69 | 0.000 % |
34.55/34.66 c | 7748 | 76979 397738 1362662 | 132579 7748 74 | 0.000 % |
34.85/34.91 c | 7848 | 76979 397738 1362662 | 132579 7848 73 | 0.000 % |
34.95/35.09 c | 7959 | 76979 397738 1362662 | 132579 7959 73 | 0.000 % |
35.25/35.38 c | 8081 | 76979 397738 1362662 | 132579 8081 76 | 0.000 % |
35.45/35.59 c | 8214 | 76979 397738 1362662 | 132579 8214 75 | 0.000 % |
35.74/35.82 c | 8360 | 76979 397738 1362662 | 132579 8360 76 | 0.000 % |
35.94/36.08 c | 8521 | 76979 397738 1362662 | 132579 8521 75 | 0.000 % |
36.44/36.55 c | 8698 | 76979 397738 1362662 | 132579 8698 78 | 0.000 % |
36.74/36.89 c | 8892 | 76979 397738 1362662 | 132579 8892 81 | 0.000 % |
38.05/38.13 c | 9105 | 76979 397738 1362662 | 132579 9105 85 | 0.000 % |
38.35/38.48 c | 9338 | 76979 397738 1362662 | 132579 9338 84 | 0.000 % |
39.74/39.88 c | 9594 | 76979 397738 1362662 | 132579 9594 85 | 0.000 % |
39.94/40.09 c | 9694 | 76979 397738 1362662 | 132579 9694 85 | 0.000 % |
40.14/40.28 c | 9804 | 76979 397738 1362662 | 132579 9804 84 | 0.000 % |
40.24/40.40 c | 9926 | 76979 397738 1362662 | 132579 9926 84 | 0.000 % |
40.65/40.70 c | 10059 | 76979 397738 1362662 | 2147483647 10059 83 | 0.000 % |
41.44/41.52 c | 10211 | 76979 397738 1362662 | 2147483647 10211 85 | 0.000 % |
41.75/41.89 c | 10371 | 76979 397738 1362662 | 2147483647 10371 86 | 0.000 % |
42.74/42.80 c | 10547 | 76979 397738 1362662 | 2147483647 10547 87 | 0.000 % |
43.24/43.33 c | 10740 | 76979 397738 1362662 | 2147483647 10740 87 | 0.000 % |
43.64/43.73 c | 10952 | 76979 397738 1362662 | 2147483647 10952 87 | 0.000 % |
43.94/44.05 c | 11186 | 76979 397738 1362662 | 2147483647 11186 86 | 0.000 % |
44.34/44.47 c | 11442 | 76979 397738 1362662 | 2147483647 11442 85 | 0.000 % |
45.74/45.89 c | 11724 | 76979 397738 1362662 | 2147483647 11724 86 | 0.000 % |
45.94/46.09 c | 11824 | 76979 397738 1362662 | 2147483647 11824 86 | 0.000 % |
46.24/46.32 c | 11934 | 76979 397738 1362662 | 2147483647 11934 86 | 0.000 % |
46.44/46.55 c | 12056 | 76979 397738 1362662 | 2147483647 12056 85 | 0.000 % |
46.84/46.91 c | 12190 | 76979 397738 1362662 | 2147483647 12190 86 | 0.000 % |
47.04/47.10 c | 12336 | 76979 397738 1362662 | 2147483647 12336 86 | 0.000 % |
47.14/47.27 c | 12496 | 76979 397738 1362662 | 2147483647 12496 86 | 0.000 % |
47.74/47.81 c | 12674 | 76979 397738 1362662 | 2147483647 12674 87 | 0.000 % |
47.84/47.96 c | 12867 | 76979 397738 1362662 | 2147483647 12867 87 | 0.000 % |
48.24/48.32 c | 13080 | 76979 397738 1362662 | 2147483647 13080 87 | 0.000 % |
49.23/49.33 c | 13313 | 76979 397738 1362662 | 2147483647 13313 89 | 0.000 % |
50.83/50.94 c | 13570 | 76979 397738 1362662 | 2147483647 13570 90 | 0.000 % |
52.33/52.48 c | 13852 | 76978 397734 1362650 | 2147483647 13003 86 | 0.001 % |
53.23/53.33 c | 14161 | 76978 397734 1362650 | 2147483647 13312 85 | 0.001 % |
54.13/54.25 c | 14261 | 76978 397734 1362650 | 2147483647 13412 85 | 0.001 % |
54.43/54.50 c | 14372 | 76978 397734 1362650 | 2147483647 13523 85 | 0.001 % |
54.63/54.73 c | 14493 | 76978 397734 1362650 | 2147483647 13644 85 | 0.001 % |
54.84/54.94 c | 14628 | 76978 397734 1362650 | 2147483647 13779 85 | 0.001 % |
55.23/55.38 c | 14774 | 76978 397734 1362650 | 2147483647 13925 85 | 0.001 % |
55.53/55.67 c | 14934 | 76978 397734 1362650 | 2147483647 14085 85 | 0.001 % |
55.73/55.85 c | 15110 | 76978 397734 1362650 | 2147483647 14261 85 | 0.001 % |
55.94/56.01 c | 15303 | 76978 397734 1362650 | 2147483647 14454 84 | 0.001 % |
56.63/56.72 c | 15516 | 76978 397734 1362650 | 2147483647 14667 85 | 0.001 % |
56.93/57.08 c | 15749 | 76978 397734 1362650 | 2147483647 14900 85 | 0.001 % |
57.33/57.42 c | 16022 | 76978 397734 1362650 | 2147483647 15173 84 | 0.001 % |
57.73/57.86 c | 16303 | 76978 397734 1362650 | 2147483647 15454 85 | 0.001 % |
58.63/58.75 c | 16613 | 76978 397734 1362650 | 2147483647 15764 88 | 0.001 % |
59.63/59.79 c | 16953 | 76978 397734 1362650 | 2147483647 16104 90 | 0.001 % |
60.13/60.22 c | 17053 | 76978 397734 1362650 | 2147483647 16204 90 | 0.001 % |
60.33/60.49 c | 17165 | 76978 397734 1362650 | 2147483647 16316 91 | 0.001 % |
60.63/60.71 c | 17288 | 76978 397734 1362650 | 2147483647 16439 91 | 0.001 % |
60.73/60.83 c | 17423 | 76978 397734 1362650 | 2147483647 16574 91 | 0.001 % |
60.73/60.85 c | 17569 | 76978 397734 1362650 | 2147483647 16720 90 | 0.001 % |
60.93/61.06 c | 17740 | 76978 397734 1362650 | 2147483647 16891 89 | 0.001 % |
61.13/61.23 c | 17918 | 76978 397734 1362650 | 2147483647 17069 89 | 0.001 % |
61.33/61.46 c | 18111 | 76978 397734 1362650 | 2147483647 17262 88 | 0.001 % |
61.63/61.76 c | 18323 | 76978 397734 1362650 | 2147483647 17474 88 | 0.001 % |
62.73/62.89 c | 18557 | 76978 397734 1362650 | 2147483647 17708 90 | 0.001 % |
63.33/63.42 c | 18813 | 76978 397734 1362650 | 2147483647 17964 89 | 0.001 % |
63.63/63.78 c | 19094 | 76978 397734 1362650 | 2147483647 18245 90 | 0.001 % |
64.03/64.13 c | 19404 | 76978 397734 1362650 | 2147483647 18555 90 | 0.001 % |
65.73/65.85 c | 19745 | 76978 397734 1362650 | 2147483647 18896 91 | 0.001 % |
66.13/66.24 c | 20119 | 76978 397734 1362650 | 2147483647 19270 90 | 0.001 % |
66.33/66.44 c | 20219 | 76978 397734 1362650 | 2147483647 19370 91 | 0.001 % |
67.03/67.18 c | 20330 | 76978 397734 1362650 | 2147483647 19481 91 | 0.001 % |
67.33/67.50 c | 20451 | 76978 397734 1362650 | 2147483647 19602 91 | 0.001 % |
67.92/68.04 c | 20585 | 76978 397734 1362650 | 2147483647 19736 91 | 0.001 % |
68.22/68.30 c | 20732 | 76978 397734 1362650 | 2147483647 19883 91 | 0.001 % |
68.52/68.64 c | 20892 | 76978 397734 1362650 | 2147483647 20043 91 | 0.001 % |
68.72/68.87 c | 21068 | 76978 397734 1362650 | 2147483647 20219 91 | 0.001 % |
69.13/69.28 c | 21261 | 76978 397734 1362650 | 2147483647 20412 91 | 0.001 % |
69.42/69.50 c | 21474 | 76978 397734 1362650 | 2147483647 20625 91 | 0.001 % |
69.92/70.01 c | 21707 | 76978 397734 1362650 | 2147483647 20858 91 | 0.001 % |
70.33/70.44 c | 21965 | 76978 397734 1362650 | 2147483647 21116 91 | 0.001 % |
70.82/70.93 c | 22248 | 76978 397734 1362650 | 2147483647 21399 91 | 0.001 % |
71.32/71.40 c | 22558 | 76978 397734 1362650 | 2147483647 21709 94 | 0.001 % |
72.02/72.19 c | 22898 | 76978 397734 1362650 | 2147483647 22049 94 | 0.001 % |
72.72/72.88 c | 23272 | 76978 397734 1362650 | 2147483647 22423 93 | 0.001 % |
73.32/73.47 c | 23682 | 76978 397734 1362650 | 2147483647 22833 93 | 0.001 % |
74.02/74.12 c | 23783 | 76978 397734 1362650 | 2147483647 22934 93 | 0.001 % |
74.22/74.34 c | 23894 | 76978 397734 1362650 | 2147483647 23045 93 | 0.001 % |
75.31/75.42 c | 24016 | 76978 397734 1362650 | 2147483647 23167 93 | 0.001 % |
75.72/75.81 c | 24149 | 76978 397734 1362650 | 2147483647 23300 93 | 0.001 % |
76.11/76.21 c | 24295 | 76978 397734 1362650 | 2147483647 23446 94 | 0.001 % |
77.02/77.19 c | 24456 | 76978 397734 1362650 | 2147483647 23607 95 | 0.001 % |
77.42/77.50 c | 24635 | 76978 397734 1362650 | 2147483647 23786 95 | 0.001 % |
77.52/77.66 c | 24828 | 76978 397734 1362650 | 2147483647 23979 95 | 0.001 % |
79.13/79.24 c | 25040 | 76978 397734 1362650 | 2147483647 24191 97 | 0.001 % |
79.62/79.76 c | 25275 | 76978 397734 1362650 | 2147483647 24426 96 | 0.001 % |
80.72/80.85 c | 25531 | 76978 397734 1362650 | 2147483647 24682 97 | 0.001 % |
81.12/81.29 c | 25813 | 76978 397734 1362650 | 2147483647 24964 97 | 0.001 % |
81.72/81.81 c | 26122 | 76978 397734 1362650 | 2147483647 25273 98 | 0.001 % |
82.62/82.72 c | 26461 | 76978 397734 1362650 | 2147483647 25612 100 | 0.001 % |
83.22/83.37 c | 26833 | 76978 397734 1362650 | 2147483647 25984 99 | 0.001 % |
84.12/84.27 c | 27242 | 76978 397734 1362650 | 2147483647 26393 100 | 0.001 % |
84.82/84.98 c | 27691 | 76978 397734 1362650 | 2147483647 26842 99 | 0.001 % |
85.22/85.31 c | 27793 | 76978 397734 1362650 | 2147483647 26944 99 | 0.001 % |
85.42/85.52 c | 27903 | 76978 397734 1362650 | 2147483647 27054 99 | 0.001 % |
85.52/85.64 c | 28026 | 76978 397734 1362650 | 2147483647 27177 99 | 0.001 % |
85.82/85.96 c | 28160 | 76978 397734 1362650 | 2147483647 27311 99 | 0.001 % |
86.31/86.43 c | 28308 | 76978 397734 1362650 | 2147483647 27459 99 | 0.001 % |
87.71/87.86 c | 28469 | 76978 397734 1362650 | 2147483647 27620 100 | 0.001 % |
87.91/88.06 c | 28645 | 76978 397734 1362650 | 2147483647 27796 100 | 0.001 % |
88.01/88.11 c | 28839 | 76978 397734 1362650 | 2147483647 27990 99 | 0.001 % |
88.61/88.78 c | 29052 | 76978 397734 1362650 | 2147483647 28203 100 | 0.001 % |
89.11/89.24 c | 29285 | 76978 397734 1362650 | 2147483647 28436 100 | 0.001 % |
89.31/89.43 c | 29543 | 76978 397734 1362650 | 2147483647 28694 99 | 0.001 % |
90.70/90.83 c | 29824 | 76978 397734 1362650 | 2147483647 28975 100 | 0.001 % |
91.22/91.37 c | 30133 | 76978 397734 1362650 | 2147483647 29284 100 | 0.001 % |
91.81/91.92 c | 30473 | 76978 397734 1362650 | 2147483647 29624 100 | 0.001 % |
93.41/93.55 c | 30845 | 76978 397734 1362650 | 2147483647 29996 100 | 0.001 % |
94.81/94.91 c | 31255 | 76978 397734 1362650 | 2147483647 30406 100 | 0.001 % |
96.61/96.70 c | 31704 | 76978 397734 1362650 | 2147483647 30855 101 | 0.001 % |
97.41/97.52 c | 32197 | 76978 397734 1362650 | 2147483647 31348 102 | 0.001 % |
97.61/97.77 c | 32297 | 76978 397734 1362650 | 2147483647 31448 101 | 0.001 % |
97.71/97.81 c | 32407 | 76978 397734 1362650 | 2147483647 31558 101 | 0.001 % |
97.71/97.87 c | 32528 | 76978 397734 1362650 | 2147483647 31679 101 | 0.001 % |
98.21/98.39 c | 32673 | 76978 397734 1362650 | 2147483647 31824 102 | 0.001 % |
98.51/98.62 c | 32820 | 76978 397734 1362650 | 2147483647 31971 102 | 0.001 % |
98.71/98.88 c | 32980 | 76978 397734 1362650 | 2147483647 32131 102 | 0.001 % |
98.91/99.08 c | 33157 | 76978 397734 1362650 | 2147483647 32308 102 | 0.001 % |
99.31/99.48 c | 33351 | 76978 397734 1362650 | 2147483647 32502 102 | 0.001 % |
99.61/99.76 c | 33563 | 76978 397734 1362650 | 2147483647 32714 101 | 0.001 % |
100.31/100.41 c | 33807 | 76978 397734 1362650 | 2147483647 32958 102 | 0.001 % |
101.11/101.23 c | 34063 | 76978 397734 1362650 | 2147483647 33214 102 | 0.001 % |
102.11/102.28 c | 34344 | 76978 397734 1362650 | 2147483647 33495 102 | 0.001 % |
102.40/102.55 c | 34654 | 76978 397734 1362650 | 2147483647 33805 101 | 0.001 % |
102.90/103.03 c | 34993 | 76978 397734 1362650 | 2147483647 34144 101 | 0.001 % |
103.80/103.99 c | 35365 | 76978 397734 1362650 | 2147483647 34516 101 | 0.001 % |
104.41/104.55 c | 35776 | 76978 397734 1362650 | 2147483647 34927 100 | 0.001 % |
105.81/105.96 c | 36225 | 76978 397734 1362650 | 2147483647 35376 100 | 0.001 % |
107.01/107.13 c | 36719 | 76978 397734 1362650 | 2147483647 35870 101 | 0.001 % |
107.91/108.08 c | 37263 | 76978 397734 1362650 | 2147483647 36414 101 | 0.001 % |
108.01/108.15 c | 37364 | 76978 397734 1362650 | 2147483647 36515 101 | 0.001 % |
108.21/108.36 c | 37475 | 76978 397734 1362650 | 2147483647 36626 101 | 0.001 % |
108.51/108.69 c | 37596 | 76978 397734 1362650 | 2147483647 36747 101 | 0.001 % |
109.01/109.14 c | 37729 | 76978 397734 1362650 | 2147483647 36880 101 | 0.001 % |
109.81/109.92 c | 37875 | 76978 397734 1362650 | 2147483647 37026 102 | 0.001 % |
110.10/110.21 c | 38035 | 76978 397734 1362650 | 2147483647 37186 102 | 0.001 % |
110.40/110.51 c | 38212 | 76978 397734 1362650 | 2147483647 37363 102 | 0.001 % |
110.60/110.77 c | 38406 | 76978 397734 1362650 | 2147483647 37557 102 | 0.001 % |
111.20/111.35 c | 38653 | 76978 397734 1362650 | 2147483647 37804 101 | 0.001 % |
112.11/112.22 c | 38887 | 76978 397734 1362650 | 2147483647 38038 102 | 0.001 % |
112.40/112.55 c | 39143 | 76978 397734 1362650 | 2147483647 38294 102 | 0.001 % |
112.90/113.06 c | 39424 | 76978 397734 1362650 | 2147483647 38575 101 | 0.001 % |
113.40/113.59 c | 39734 | 76978 397734 1362650 | 2147483647 38885 101 | 0.001 % |
114.71/114.88 c | 40074 | 76978 397734 1362650 | 2147483647 39225 101 | 0.001 % |
116.70/116.90 c | 40451 | 76978 397734 1362650 | 2147483647 39602 102 | 0.001 % |
117.90/118.00 c | 40860 | 76978 397734 1362650 | 2147483647 40011 101 | 0.001 % |
118.50/118.64 c | 41310 | 76978 397734 1362650 | 2147483647 40461 100 | 0.001 % |
121.20/121.33 c | 41805 | 76978 397734 1362650 | 2147483647 40956 101 | 0.001 % |
122.80/122.97 c | 42349 | 76978 397734 1362650 | 2147483647 41500 101 | 0.001 % |
123.40/123.58 c | 42947 | 76978 397734 1362650 | 2147483647 42098 102 | 0.001 % |
123.50/123.61 c | 43047 | 76978 397734 1362650 | 2147483647 42198 102 | 0.001 % |
123.80/123.99 c | 43158 | 76978 397734 1362650 | 2147483647 42309 102 | 0.001 % |
124.50/124.70 c | 43293 | 76977 397594 1362350 | 2147483647 42353 102 | 0.003 % |
124.70/124.84 c | 43428 | 76977 397594 1362350 | 2147483647 42488 102 | 0.003 % |
125.40/125.50 c | 43574 | 76977 397594 1362350 | 2147483647 42634 102 | 0.003 % |
125.60/125.73 c | 43734 | 76977 397594 1362350 | 2147483647 42794 102 | 0.003 % |
127.50/127.64 c | 43910 | 76977 397594 1362350 | 2147483647 42970 103 | 0.003 % |
128.30/128.47 c | 44103 | 76977 397594 1362350 | 2147483647 43163 103 | 0.003 % |
128.50/128.66 c | 44315 | 76977 397594 1362350 | 2147483647 43375 102 | 0.003 % |
128.50/128.70 c | 44548 | 76977 397594 1362350 | 2147483647 43608 102 | 0.003 % |
129.40/129.58 c | 44804 | 76977 397594 1362350 | 2147483647 43864 102 | 0.003 % |
129.60/129.70 c | 45086 | 76977 397594 1362350 | 2147483647 44146 101 | 0.003 % |
130.20/130.33 c | 45395 | 76977 397594 1362350 | 2147483647 44455 101 | 0.003 % |
130.50/130.67 c | 45734 | 76977 397594 1362350 | 2147483647 44794 101 | 0.003 % |
131.30/131.49 c | 46106 | 76977 397594 1362350 | 2147483647 45166 101 | 0.003 % |
132.00/132.11 c | 46515 | 76977 397594 1362350 | 2147483647 45575 100 | 0.003 % |
134.19/134.37 c | 46967 | 76977 397594 1362350 | 2147483647 46027 101 | 0.003 % |
135.20/135.34 c | 47460 | 76977 397594 1362350 | 2147483647 46520 101 | 0.003 % |
137.00/137.14 c | 48003 | 76977 397594 1362350 | 2147483647 47063 101 | 0.003 % |
137.80/137.98 c | 48600 | 76977 397594 1362350 | 2147483647 47660 101 | 0.003 % |
138.80/138.92 c | 49256 | 76977 397594 1362350 | 2147483647 48316 101 | 0.003 % |
139.00/139.17 c | 49356 | 76977 397594 1362350 | 2147483647 48416 101 | 0.003 % |
139.20/139.38 c | 49467 | 76977 397594 1362350 | 2147483647 48527 101 | 0.003 % |
139.40/139.54 c | 49589 | 76977 397594 1362350 | 2147483647 48649 101 | 0.003 % |
139.90/140.00 c | 49723 | 76977 397594 1362350 | 2147483647 48783 101 | 0.003 % |
140.10/140.27 c | 49870 | 76977 397594 1362350 | 2147483647 48930 101 | 0.003 % |
140.70/140.88 c | 50030 | 76977 397594 1362350 | 2147483647 49090 101 | 0.003 % |
141.20/141.31 c | 50206 | 76977 397594 1362350 | 2147483647 49266 101 | 0.003 % |
141.20/141.39 c | 50399 | 76977 397594 1362350 | 2147483647 49459 101 | 0.003 % |
141.50/141.69 c | 50613 | 76977 397594 1362350 | 2147483647 49673 101 | 0.003 % |
141.90/142.09 c | 50847 | 76977 397594 1362350 | 2147483647 49907 101 | 0.003 % |
142.10/142.24 c | 51107 | 76977 397594 1362350 | 2147483647 50167 100 | 0.003 % |
142.20/142.37 c | 51389 | 76977 397594 1362350 | 2147483647 50449 100 | 0.003 % |
143.59/143.78 c | 51698 | 76977 397594 1362350 | 2147483647 50758 101 | 0.003 % |
144.19/144.33 c | 52038 | 76977 397594 1362350 | 2147483647 51098 101 | 0.003 % |
145.10/145.29 c | 52410 | 76977 397594 1362350 | 2147483647 51470 100 | 0.003 % |
145.79/145.90 c | 52819 | 76977 397594 1362350 | 2147483647 51879 100 | 0.003 % |
146.89/147.04 c | 53268 | 76977 397594 1362350 | 2147483647 52328 100 | 0.003 % |
147.60/147.72 c | 53762 | 76977 397594 1362350 | 2147483647 52822 100 | 0.003 % |
148.60/148.71 c | 54305 | 76977 397594 1362350 | 2147483647 53365 100 | 0.003 % |
151.79/151.98 c | 54901 | 76977 397594 1362350 | 2147483647 53961 101 | 0.003 % |
153.49/153.69 c | 55557 | 76977 397594 1362350 | 2147483647 54617 101 | 0.003 % |
154.39/154.55 c | 56278 | 76977 397594 1362350 | 2147483647 55338 101 | 0.003 % |
154.69/154.85 c | 56378 | 76977 397594 1362350 | 2147483647 55438 101 | 0.003 % |
155.00/155.10 c | 56488 | 76977 397594 1362350 | 2147483647 55548 101 | 0.003 % |
155.09/155.22 c | 56610 | 76977 397594 1362350 | 2147483647 55670 101 | 0.003 % |
155.19/155.39 c | 56745 | 76977 397594 1362350 | 2147483647 55805 101 | 0.003 % |
155.49/155.68 c | 56891 | 76977 397594 1362350 | 2147483647 55951 101 | 0.003 % |
156.39/156.53 c | 57055 | 76977 397594 1362350 | 2147483647 56115 102 | 0.003 % |
156.89/157.07 c | 57231 | 76977 397594 1362350 | 2147483647 56291 102 | 0.003 % |
157.09/157.26 c | 57424 | 76977 397594 1362350 | 2147483647 56484 101 | 0.003 % |
157.79/157.94 c | 57638 | 76977 397594 1362350 | 2147483647 56698 101 | 0.003 % |
158.39/158.54 c | 57876 | 76977 397594 1362350 | 2147483647 56936 102 | 0.003 % |
158.69/158.84 c | 58132 | 76977 397594 1362350 | 2147483647 57192 101 | 0.003 % |
158.99/159.18 c | 58413 | 76977 397594 1362350 | 2147483647 57473 101 | 0.003 % |
160.19/160.30 c | 58723 | 76977 397594 1362350 | 2147483647 57783 101 | 0.003 % |
160.89/161.05 c | 59062 | 76977 397594 1362350 | 2147483647 58122 101 | 0.003 % |
161.89/162.07 c | 59434 | 76977 397594 1362350 | 2147483647 58494 101 | 0.003 % |
162.39/162.56 c | 59846 | 76977 397594 1362350 | 2147483647 58906 101 | 0.003 % |
163.49/163.62 c | 60298 | 76977 397594 1362350 | 2147483647 59358 101 | 0.003 % |
164.29/164.40 c | 60793 | 76977 397594 1362350 | 2147483647 59853 101 | 0.003 % |
165.19/165.38 c | 61337 | 76977 397594 1362350 | 2147483647 60397 100 | 0.003 % |
165.90/166.05 c | 61934 | 76977 397594 1362350 | 2147483647 60994 100 | 0.003 % |
168.69/168.84 c | 62599 | 76977 397594 1362350 | 2147483647 61659 100 | 0.003 % |
170.69/170.81 c | 63325 | 76977 397594 1362350 | 2147483647 62385 100 | 0.003 % |
172.19/172.32 c | 64117 | 76977 397594 1362350 | 2147483647 63177 101 | 0.003 % |
172.39/172.57 c | 64218 | 76977 397594 1362350 | 2147483647 63278 101 | 0.003 % |
172.79/172.91 c | 64328 | 76977 397594 1362350 | 2147483647 63388 100 | 0.003 % |
172.99/173.12 c | 64450 | 76977 397594 1362350 | 2147483647 63510 100 | 0.003 % |
173.29/173.43 c | 64583 | 76977 397594 1362350 | 2147483647 63643 100 | 0.003 % |
173.69/173.89 c | 64729 | 76977 397594 1362350 | 2147483647 63789 100 | 0.003 % |
173.99/174.18 c | 64889 | 76977 397594 1362350 | 2147483647 63949 100 | 0.003 % |
174.29/174.45 c | 65066 | 76977 397594 1362350 | 2147483647 64126 100 | 0.003 % |
174.99/175.17 c | 65259 | 76977 397594 1362350 | 2147483647 64319 100 | 0.003 % |
175.79/175.94 c | 65472 | 76977 397594 1362350 | 2147483647 64532 100 | 0.003 % |
176.48/176.63 c | 65706 | 76977 397594 1362350 | 2147483647 64766 100 | 0.003 % |
177.58/177.79 c | 65962 | 76977 397594 1362350 | 2147483647 65022 100 | 0.003 % |
178.18/178.32 c | 66243 | 76977 397594 1362350 | 2147483647 65303 100 | 0.003 % |
179.19/179.35 c | 66552 | 76977 397594 1362350 | 2147483647 65612 101 | 0.003 % |
179.78/179.97 c | 66891 | 76977 397594 1362350 | 2147483647 65951 100 | 0.003 % |
180.58/180.74 c | 67264 | 76977 397594 1362350 | 2147483647 66324 100 | 0.003 % |
181.58/181.77 c | 67675 | 76977 397594 1362350 | 2147483647 66735 100 | 0.003 % |
182.49/182.65 c | 68124 | 76977 397594 1362350 | 2147483647 67184 100 | 0.003 % |
183.79/183.99 c | 68617 | 76977 397594 1362350 | 2147483647 67677 101 | 0.003 % |
184.49/184.65 c | 69159 | 76977 397594 1362350 | 2147483647 68219 100 | 0.003 % |
185.69/185.84 c | 69756 | 76977 397594 1362350 | 2147483647 68816 100 | 0.003 % |
186.79/187.00 c | 70411 | 76977 397594 1362350 | 2147483647 69471 100 | 0.003 % |
188.09/188.27 c | 71132 | 76977 397594 1362350 | 2147483647 70192 100 | 0.003 % |
189.88/190.01 c | 71926 | 76977 397594 1362350 | 2147483647 70986 101 | 0.003 % |
192.49/192.64 c | 72798 | 76977 397594 1362350 | 2147483647 71858 103 | 0.003 % |
192.79/192.95 c | 72901 | 76977 397594 1362350 | 2147483647 71961 103 | 0.003 % |
193.09/193.21 c | 73011 | 76977 397594 1362350 | 2147483647 72071 103 | 0.003 % |
193.39/193.51 c | 73133 | 76977 397594 1362350 | 2147483647 72193 103 | 0.003 % |
193.79/193.91 c | 73266 | 76977 397594 1362350 | 2147483647 72326 103 | 0.003 % |
193.89/194.00 c | 73413 | 76977 397594 1362350 | 2147483647 72473 103 | 0.003 % |
194.49/194.64 c | 73574 | 76977 397594 1362350 | 2147483647 72634 103 | 0.003 % |
194.69/194.88 c | 73751 | 76977 397594 1362350 | 2147483647 72811 103 | 0.003 % |
195.28/195.47 c | 73944 | 76977 397594 1362350 | 2147483647 73004 103 | 0.003 % |
195.98/196.13 c | 74156 | 76977 397594 1362350 | 2147483647 73216 103 | 0.003 % |
196.58/196.73 c | 74390 | 76977 397594 1362350 | 2147483647 73450 103 | 0.003 % |
197.48/197.60 c | 74648 | 76977 397594 1362350 | 2147483647 73708 103 | 0.003 % |
198.48/198.62 c | 74930 | 76977 397594 1362350 | 2147483647 73990 104 | 0.003 % |
199.58/199.79 c | 75242 | 76977 397594 1362350 | 2147483647 74302 104 | 0.003 % |
201.18/201.39 c | 75584 | 76977 397594 1362350 | 2147483647 74644 104 | 0.003 % |
202.59/202.71 c | 75957 | 76977 397594 1362350 | 2147483647 75017 104 | 0.003 % |
203.29/203.48 c | 76366 | 76977 397594 1362350 | 2147483647 75426 104 | 0.003 % |
203.99/204.11 c | 76817 | 76977 397594 1362350 | 2147483647 75877 104 | 0.003 % |
205.18/205.35 c | 77310 | 76977 397594 1362350 | 2147483647 76370 104 | 0.003 % |
206.28/206.42 c | 77855 | 76977 397594 1362350 | 2147483647 76915 104 | 0.003 % |
207.18/207.31 c | 78451 | 76977 397594 1362350 | 2147483647 77511 103 | 0.003 % |
208.89/209.10 c | 79107 | 76977 397594 1362350 | 2147483647 78167 103 | 0.003 % |
210.08/210.28 c | 79828 | 76977 397594 1362350 | 2147483647 78888 103 | 0.003 % |
211.68/211.82 c | 80620 | 76977 397594 1362350 | 2147483647 79680 104 | 0.003 % |
216.59/216.76 c | 81491 | 76977 397594 1362350 | 2147483647 80551 106 | 0.003 % |
219.38/219.50 c | 82451 | 76977 397594 1362350 | 2147483647 81511 106 | 0.003 % |
219.38/219.57 c | 82551 | 76977 397594 1362350 | 2147483647 81611 105 | 0.003 % |
219.88/220.03 c | 82661 | 76977 397594 1362350 | 2147483647 81721 106 | 0.003 % |
220.58/220.71 c | 82782 | 76977 397594 1362350 | 2147483647 81842 106 | 0.003 % |
220.88/221.00 c | 82915 | 76977 397594 1362350 | 2147483647 81975 106 | 0.003 % |
221.08/221.24 c | 83062 | 76977 397594 1362350 | 2147483647 82122 106 | 0.003 % |
221.88/222.05 c | 83222 | 76977 397594 1362350 | 2147483647 82282 106 | 0.003 % |
222.88/223.01 c | 83398 | 76977 397594 1362350 | 2147483647 82458 106 | 0.003 % |
223.28/223.43 c | 83594 | 76977 397594 1362350 | 2147483647 82654 106 | 0.003 % |
223.38/223.59 c | 83807 | 76977 397594 1362350 | 2147483647 82867 106 | 0.003 % |
224.08/224.30 c | 84040 | 76977 397594 1362350 | 2147483647 83100 106 | 0.003 % |
225.08/225.23 c | 84297 | 76977 397594 1362350 | 2147483647 83357 106 | 0.003 % |
225.38/225.53 c | 84578 | 76977 397594 1362350 | 2147483647 83638 106 | 0.003 % |
225.88/226.03 c | 84887 | 76977 397594 1362350 | 2147483647 83947 106 | 0.003 % |
226.28/226.44 c | 85229 | 76977 397594 1362350 | 2147483647 84289 106 | 0.003 % |
226.87/227.03 c | 85601 | 76977 397594 1362350 | 2147483647 84661 106 | 0.003 % |
228.27/228.41 c | 86012 | 76977 397594 1362350 | 2147483647 85072 107 | 0.003 % |
229.57/229.70 c | 86461 | 76977 397594 1362350 | 2147483647 85521 107 | 0.003 % |
231.08/231.20 c | 86954 | 76977 397594 1362350 | 2147483647 86014 108 | 0.003 % |
232.78/232.99 c | 87497 | 76977 397594 1362350 | 2147483647 86557 108 | 0.003 % |
233.88/234.02 c | 88095 | 76977 397594 1362350 | 2147483647 87155 108 | 0.003 % |
234.98/235.16 c | 88750 | 76977 397594 1362350 | 2147483647 87810 108 | 0.003 % |
236.07/236.22 c | 89471 | 76977 397594 1362350 | 2147483647 88531 109 | 0.003 % |
237.97/238.18 c | 90263 | 76977 397594 1362350 | 2147483647 89323 110 | 0.003 % |
241.07/241.27 c | 91134 | 76977 397594 1362350 | 2147483647 90194 110 | 0.003 % |
244.47/244.62 c | 92093 | 76977 397594 1362350 | 2147483647 91153 110 | 0.003 % |
246.77/246.90 c | 93146 | 76977 397594 1362350 | 2147483647 92206 111 | 0.003 % |
246.97/247.10 c | 93246 | 76977 397594 1362350 | 2147483647 92306 111 | 0.003 % |
247.37/247.56 c | 93357 | 76977 397594 1362350 | 2147483647 92417 112 | 0.003 % |
247.77/247.90 c | 93478 | 76977 397594 1362350 | 2147483647 92538 112 | 0.003 % |
248.17/248.31 c | 93613 | 76977 397594 1362350 | 2147483647 92673 112 | 0.003 % |
248.67/248.85 c | 93759 | 76977 397594 1362350 | 2147483647 92819 112 | 0.003 % |
249.27/249.42 c | 93919 | 76977 397594 1362350 | 2147483647 92979 112 | 0.003 % |
249.97/250.10 c | 94097 | 76977 397594 1362350 | 2147483647 93157 112 | 0.003 % |
251.27/251.46 c | 94291 | 76977 397594 1362350 | 2147483647 93351 112 | 0.003 % |
252.47/252.60 c | 94510 | 76977 397594 1362350 | 2147483647 93570 112 | 0.003 % |
253.67/253.88 c | 94743 | 76977 397594 1362350 | 2147483647 93803 112 | 0.003 % |
254.17/254.35 c | 95001 | 76977 397594 1362350 | 2147483647 94061 112 | 0.003 % |
255.07/255.21 c | 95282 | 76977 397594 1362350 | 2147483647 94342 112 | 0.003 % |
255.77/255.94 c | 95591 | 76977 397594 1362350 | 2147483647 94651 113 | 0.003 % |
256.67/256.88 c | 95931 | 76977 397594 1362350 | 2147483647 94991 113 | 0.003 % |
258.07/258.26 c | 96304 | 76977 397594 1362350 | 2147483647 95364 113 | 0.003 % |
259.26/259.40 c | 96715 | 76977 397594 1362350 | 2147483647 95775 113 | 0.003 % |
260.16/260.31 c | 97166 | 76977 397594 1362350 | 2147483647 96226 112 | 0.003 % |
261.06/261.20 c | 97660 | 76977 397594 1362350 | 2147483647 96720 112 | 0.003 % |
261.86/262.02 c | 98202 | 76977 397594 1362350 | 2147483647 97262 112 | 0.003 % |
262.97/263.17 c | 98799 | 76977 397594 1362350 | 2147483647 97859 112 | 0.003 % |
265.57/265.76 c | 99455 | 76977 397594 1362350 | 2147483647 98515 112 | 0.003 % |
267.57/267.77 c | 100175 | 76977 397594 1362350 | 2147483647 99235 112 | 0.003 % |
268.37/268.55 c | 100967 | 76977 397594 1362350 | 2147483647 100027 112 | 0.003 % |
270.07/270.27 c | 101838 | 76977 397594 1362350 | 2147483647 100898 112 | 0.003 % |
273.96/274.15 c | 102796 | 76977 397594 1362350 | 2147483647 101856 112 | 0.003 % |
278.07/278.23 c | 103849 | 76977 397594 1362350 | 2147483647 102909 113 | 0.003 % |
280.97/281.15 c | 105008 | 76977 397594 1362350 | 2147483647 104068 113 | 0.003 % |
281.17/281.34 c | 105108 | 76977 397594 1362350 | 2147483647 104168 113 | 0.003 % |
281.57/281.74 c | 105219 | 76977 397594 1362350 | 2147483647 104279 113 | 0.003 % |
281.97/282.17 c | 105341 | 76977 397594 1362350 | 2147483647 104401 113 | 0.003 % |
282.47/282.62 c | 105474 | 76977 397594 1362350 | 2147483647 104534 113 | 0.003 % |
282.86/283.01 c | 105622 | 76977 397594 1362350 | 2147483647 104682 113 | 0.003 % |
283.26/283.47 c | 105783 | 76977 397594 1362350 | 2147483647 104843 113 | 0.003 % |
283.86/284.06 c | 105959 | 76977 397594 1362350 | 2147483647 105019 113 | 0.003 % |
284.36/284.53 c | 106152 | 76977 397594 1362350 | 2147483647 105212 113 | 0.003 % |
285.16/285.32 c | 106365 | 76977 397594 1362350 | 2147483647 105425 113 | 0.003 % |
285.96/286.16 c | 106599 | 76977 397594 1362350 | 2147483647 105659 113 | 0.003 % |
286.56/286.76 c | 106856 | 76977 397594 1362350 | 2147483647 105916 113 | 0.003 % |
287.66/287.85 c | 107137 | 76977 397594 1362350 | 2147483647 106197 113 | 0.003 % |
288.66/288.82 c | 107446 | 76977 397594 1362350 | 2147483647 106506 113 | 0.003 % |
289.46/289.63 c | 107786 | 76977 397594 1362350 | 2147483647 106846 113 | 0.003 % |
291.36/291.55 c | 108158 | 76977 397594 1362350 | 2147483647 107218 113 | 0.003 % |
293.06/293.29 c | 108567 | 76977 397594 1362350 | 2147483647 107627 113 | 0.003 % |
295.36/295.58 c | 109016 | 76977 397594 1362350 | 2147483647 108076 114 | 0.003 % |
297.36/297.59 c | 109509 | 76976 397466 1362094 | 2147483647 108567 114 | 0.004 % |
299.26/299.44 c | 110051 | 76976 397466 1362094 | 2147483647 109109 114 | 0.004 % |
300.36/300.53 c | 110648 | 76976 397466 1362094 | 2147483647 109706 114 | 0.004 % |
301.66/301.82 c | 111303 | 76976 397466 1362094 | 2147483647 110361 113 | 0.004 % |
303.26/303.46 c | 112024 | 76976 397466 1362094 | 2147483647 111082 113 | 0.004 % |
307.76/307.94 c | 112818 | 76976 397466 1362094 | 2147483647 111876 114 | 0.004 % |
309.66/309.88 c | 113689 | 76976 397466 1362094 | 2147483647 112747 114 | 0.004 % |
312.35/312.59 c | 114647 | 76976 397466 1362094 | 2147483647 113705 114 | 0.004 % |
315.05/315.22 c | 115700 | 76976 397466 1362094 | 2147483647 114758 114 | 0.004 % |
318.76/318.97 c | 116860 | 76976 397466 1362094 | 2147483647 115918 115 | 0.004 % |
321.45/321.69 c | 118133 | 76976 397466 1362094 | 2147483647 117191 115 | 0.004 % |
321.55/321.79 c | 118234 | 76976 397466 1362094 | 2147483647 117292 115 | 0.004 % |
321.75/321.93 c | 118346 | 76976 397466 1362094 | 2147483647 117404 115 | 0.004 % |
322.35/322.57 c | 118467 | 76976 397466 1362094 | 2147483647 117525 115 | 0.004 % |
322.75/322.93 c | 118601 | 76976 397466 1362094 | 2147483647 117659 115 | 0.004 % |
323.05/323.25 c | 118748 | 76976 397466 1362094 | 2147483647 117806 115 | 0.004 % |
323.55/323.77 c | 118908 | 76976 397466 1362094 | 2147483647 117966 115 | 0.004 % |
323.95/324.10 c | 119084 | 76976 397466 1362094 | 2147483647 118142 115 | 0.004 % |
325.25/325.41 c | 119277 | 76976 397466 1362094 | 2147483647 118335 115 | 0.004 % |
326.55/326.77 c | 119489 | 76976 397466 1362094 | 2147483647 118547 115 | 0.004 % |
326.95/327.19 c | 119723 | 76976 397466 1362094 | 2147483647 118781 115 | 0.004 % |
327.25/327.44 c | 119979 | 76976 397466 1362094 | 2147483647 119037 115 | 0.004 % |
327.96/328.20 c | 120260 | 76976 397466 1362094 | 2147483647 119318 115 | 0.004 % |
328.86/329.03 c | 120571 | 76976 397466 1362094 | 2147483647 119629 115 | 0.004 % |
329.55/329.78 c | 120912 | 76976 397466 1362094 | 2147483647 119970 115 | 0.004 % |
329.95/330.19 c | 121285 | 76976 397466 1362094 | 2147483647 120343 115 | 0.004 % |
330.75/330.96 c | 121694 | 76976 397466 1362094 | 2147483647 120752 115 | 0.004 % |
331.35/331.55 c | 122143 | 76976 397466 1362094 | 2147483647 121201 115 | 0.004 % |
331.95/332.11 c | 122636 | 76976 397466 1362094 | 2147483647 121694 115 | 0.004 % |
332.85/333.02 c | 123179 | 76976 397466 1362094 | 2147483647 122237 115 | 0.004 % |
335.45/335.69 c | 123775 | 76976 397466 1362094 | 2147483647 122833 116 | 0.004 % |
338.25/338.41 c | 124430 | 76976 397466 1362094 | 2147483647 123488 116 | 0.004 % |
340.05/340.23 c | 125150 | 76976 397466 1362094 | 2147483647 124208 117 | 0.004 % |
342.25/342.49 c | 125942 | 76976 397466 1362094 | 2147483647 125000 117 | 0.004 % |
343.75/343.92 c | 126813 | 76976 397466 1362094 | 2147483647 125871 117 | 0.004 % |
345.55/345.72 c | 127773 | 76976 397466 1362094 | 2147483647 126831 117 | 0.004 % |
347.65/347.87 c | 128829 | 76976 397466 1362094 | 2147483647 127887 117 | 0.004 % |
349.44/349.70 c | 129988 | 76976 397466 1362094 | 2147483647 129046 117 | 0.004 % |
351.75/351.92 c | 131261 | 76976 397466 1362094 | 2147483647 130319 117 | 0.004 % |
354.35/354.51 c | 132661 | 76976 397466 1362094 | 2147483647 131719 117 | 0.004 % |
354.55/354.71 c | 132761 | 76976 397466 1362094 | 2147483647 131819 117 | 0.004 % |
354.75/354.94 c | 132873 | 76976 397466 1362094 | 2147483647 131931 117 | 0.004 % |
354.95/355.16 c | 132994 | 76976 397466 1362094 | 2147483647 132052 117 | 0.004 % |
355.25/355.40 c | 133127 | 76976 397466 1362094 | 2147483647 132185 117 | 0.004 % |
355.25/355.49 c | 133276 | 76976 397466 1362094 | 2147483647 132334 117 | 0.004 % |
355.34/355.53 c | 133437 | 76976 397466 1362094 | 2147483647 132495 116 | 0.004 % |
356.34/356.57 c | 133614 | 76976 397466 1362094 | 2147483647 132672 117 | 0.004 % |
357.35/357.59 c | 133808 | 76976 397466 1362094 | 2147483647 132866 117 | 0.004 % |
358.14/358.31 c | 134020 | 76976 397466 1362094 | 2147483647 133078 117 | 0.004 % |
359.45/359.66 c | 134253 | 76976 397466 1362094 | 2147483647 133311 117 | 0.004 % |
360.24/360.44 c | 134509 | 76976 397466 1362094 | 2147483647 133567 117 | 0.004 % |
362.34/362.50 c | 134791 | 76976 397466 1362094 | 2147483647 133849 117 | 0.004 % |
364.44/364.62 c | 135102 | 76976 397466 1362094 | 2147483647 134160 117 | 0.004 % |
365.04/365.21 c | 135443 | 76976 397466 1362094 | 2147483647 134501 117 | 0.004 % |
366.74/366.94 c | 135817 | 76976 397466 1362094 | 2147483647 134875 117 | 0.004 % |
367.34/367.52 c | 136226 | 76976 397466 1362094 | 2147483647 135284 117 | 0.004 % |
367.64/367.88 c | 136677 | 76976 397466 1362094 | 2147483647 135735 117 | 0.004 % |
369.34/369.54 c | 137170 | 76976 397466 1362094 | 2147483647 136228 117 | 0.004 % |
372.13/372.33 c | 137713 | 76976 397466 1362094 | 2147483647 136771 117 | 0.004 % |
373.74/373.96 c | 138309 | 76976 397466 1362094 | 2147483647 137367 117 | 0.004 % |
374.95/375.13 c | 138964 | 76976 397466 1362094 | 2147483647 138022 117 | 0.004 % |
378.04/378.30 c | 139685 | 76976 397466 1362094 | 2147483647 138743 118 | 0.004 % |
380.14/380.40 c | 140477 | 76976 397466 1362094 | 2147483647 139535 118 | 0.004 % |
381.64/381.82 c | 141350 | 76976 397466 1362094 | 2147483647 140408 118 | 0.004 % |
385.33/385.56 c | 142308 | 76976 397466 1362094 | 2147483647 141366 118 | 0.004 % |
388.53/388.77 c | 143362 | 76976 397466 1362094 | 2147483647 142420 119 | 0.004 % |
391.84/392.01 c | 144521 | 76976 397466 1362094 | 2147483647 143579 119 | 0.004 % |
399.73/399.99 c | 145802 | 76976 397466 1362094 | 2147483647 144860 120 | 0.004 % |
403.83/404.03 c | 147203 | 76976 397466 1362094 | 2147483647 146261 120 | 0.004 % |
407.72/407.95 c | 148743 | 76976 397466 1362094 | 2147483647 147801 120 | 0.004 % |
407.93/408.11 c | 148843 | 76976 397466 1362094 | 2147483647 147901 120 | 0.004 % |
408.32/408.50 c | 148956 | 76976 397466 1362094 | 2147483647 148014 120 | 0.004 % |
408.52/408.73 c | 149078 | 76976 397466 1362094 | 2147483647 148136 120 | 0.004 % |
409.22/409.42 c | 149211 | 76976 397466 1362094 | 2147483647 148269 121 | 0.004 % |
409.52/409.77 c | 149357 | 76976 397466 1362094 | 2147483647 148415 121 | 0.004 % |
410.32/410.58 c | 149517 | 76976 397466 1362094 | 2147483647 148575 121 | 0.004 % |
410.92/411.13 c | 149695 | 76976 397466 1362094 | 2147483647 148753 121 | 0.004 % |
411.42/411.63 c | 149888 | 76976 397466 1362094 | 2147483647 148946 121 | 0.004 % |
412.53/412.75 c | 150101 | 76976 397466 1362094 | 2147483647 149159 121 | 0.004 % |
413.63/413.82 c | 150334 | 76976 397466 1362094 | 2147483647 149392 121 | 0.004 % |
414.23/414.44 c | 150590 | 76976 397466 1362094 | 2147483647 149648 121 | 0.004 % |
415.03/415.25 c | 150871 | 76976 397466 1362094 | 2147483647 149929 121 | 0.004 % |
415.63/415.89 c | 151182 | 76976 397466 1362094 | 2147483647 150240 121 | 0.004 % |
417.12/417.40 c | 151521 | 76976 397466 1362094 | 2147483647 150579 122 | 0.004 % |
419.02/419.23 c | 151926 | 76976 397466 1362094 | 2147483647 150984 122 | 0.004 % |
419.62/419.83 c | 152335 | 76976 397466 1362094 | 2147483647 151393 122 | 0.004 % |
421.32/421.59 c | 152784 | 76976 397466 1362094 | 2147483647 151842 122 | 0.004 % |
423.02/423.29 c | 153277 | 76976 397466 1362094 | 2147483647 152335 122 | 0.004 % |
426.92/427.12 c | 153820 | 76975 397462 1362082 | 2147483647 151565 121 | 0.005 % |
429.12/429.38 c | 154418 | 76975 397462 1362082 | 2147483647 152163 122 | 0.005 % |
431.52/431.72 c | 155073 | 76975 397462 1362082 | 2147483647 152818 121 | 0.005 % |
433.72/434.00 c | 155793 | 76975 397462 1362082 | 2147483647 153538 121 | 0.005 % |
435.02/435.20 c | 156585 | 76975 397462 1362082 | 2147483647 154330 121 | 0.005 % |
438.31/438.54 c | 157461 | 76975 397462 1362082 | 2147483647 155206 121 | 0.005 % |
440.22/440.41 c | 158420 | 76975 397462 1362082 | 2147483647 156165 121 | 0.005 % |
443.82/444.02 c | 159473 | 76975 397462 1362082 | 2147483647 157218 122 | 0.005 % |
447.82/448.04 c | 160631 | 76975 397462 1362082 | 2147483647 158376 122 | 0.005 % |
451.21/451.46 c | 161904 | 76975 397462 1362082 | 2147483647 159649 122 | 0.005 % |
457.21/457.44 c | 163304 | 76975 397462 1362082 | 2147483647 161049 123 | 0.005 % |
460.31/460.57 c | 164845 | 76975 397462 1362082 | 2147483647 162590 124 | 0.005 % |
465.12/465.37 c | 166540 | 76975 397462 1362082 | 2147483647 164285 124 | 0.005 % |
465.71/465.91 c | 166642 | 76975 397462 1362082 | 2147483647 164387 124 | 0.005 % |
465.91/466.18 c | 166752 | 76975 397462 1362082 | 2147483647 164497 124 | 0.005 % |
466.22/466.47 c | 166873 | 76975 397462 1362082 | 2147483647 164618 124 | 0.005 % |
466.51/466.70 c | 167006 | 76975 397462 1362082 | 2147483647 164751 124 | 0.005 % |
467.21/467.41 c | 167154 | 76975 397462 1362082 | 2147483647 164899 124 | 0.005 % |
468.11/468.36 c | 167315 | 76975 397462 1362082 | 2147483647 165060 124 | 0.005 % |
468.81/469.00 c | 167492 | 76975 397462 1362082 | 2147483647 165237 124 | 0.005 % |
469.51/469.72 c | 167690 | 76975 397462 1362082 | 2147483647 165435 124 | 0.005 % |
470.01/470.25 c | 167904 | 76975 397462 1362082 | 2147483647 165649 124 | 0.005 % |
471.21/471.41 c | 168139 | 76975 397462 1362082 | 2147483647 165884 124 | 0.005 % |
471.71/471.94 c | 168397 | 76975 397462 1362082 | 2147483647 166142 124 | 0.005 % |
473.91/474.14 c | 168686 | 76975 397462 1362082 | 2147483647 166431 124 | 0.005 % |
474.71/474.93 c | 168997 | 76975 397462 1362082 | 2147483647 166742 124 | 0.005 % |
475.90/476.15 c | 169336 | 76975 397462 1362082 | 2147483647 167081 124 | 0.005 % |
476.80/477.00 c | 169709 | 76975 397462 1362082 | 2147483647 167454 124 | 0.005 % |
478.21/478.44 c | 170118 | 76975 397462 1362082 | 2147483647 167863 124 | 0.005 % |
480.41/480.65 c | 170567 | 76975 397462 1362082 | 2147483647 168312 125 | 0.005 % |
482.40/482.69 c | 171061 | 76975 397462 1362082 | 2147483647 168806 125 | 0.005 % |
484.00/484.26 c | 171605 | 76975 397462 1362082 | 2147483647 169350 125 | 0.005 % |
486.50/486.75 c | 172202 | 76975 397462 1362082 | 2147483647 169947 125 | 0.005 % |
488.60/488.89 c | 172861 | 76975 397462 1362082 | 2147483647 170606 125 | 0.005 % |
491.01/491.22 c | 173581 | 76975 397462 1362082 | 2147483647 171326 125 | 0.005 % |
493.70/493.99 c | 174374 | 76975 397462 1362082 | 2147483647 172119 125 | 0.005 % |
494.50/494.74 c | 175245 | 76975 397462 1362082 | 2147483647 172990 125 | 0.005 % |
497.60/497.80 c | 176203 | 76975 397462 1362082 | 2147483647 173948 126 | 0.005 % |
500.40/500.68 c | 177256 | 76975 397462 1362082 | 2147483647 175001 126 | 0.005 % |
503.90/504.12 c | 178414 | 76975 397462 1362082 | 2147483647 176159 126 | 0.005 % |
506.50/506.73 c | 179687 | 76975 397462 1362082 | 2147483647 177432 126 | 0.005 % |
514.90/515.19 c | 181087 | 76975 397462 1362082 | 2147483647 178832 127 | 0.005 % |
518.91/519.16 c | 182627 | 76975 397462 1362082 | 2147483647 180372 128 | 0.005 % |
526.50/526.75 c | 184322 | 76975 397462 1362082 | 2147483647 182067 128 | 0.005 % |
531.60/531.84 c | 186185 | 76975 397462 1362082 | 2147483647 183930 128 | 0.005 % |
531.90/532.16 c | 186285 | 76975 397462 1362082 | 2147483647 184030 128 | 0.005 % |
532.59/532.80 c | 186395 | 76975 397462 1362082 | 2147483647 184140 128 | 0.005 % |
533.40/533.66 c | 186516 | 76975 397462 1362082 | 2147483647 184261 128 | 0.005 % |
533.80/534.10 c | 186649 | 76975 397462 1362082 | 2147483647 184394 128 | 0.005 % |
534.79/535.03 c | 186795 | 76975 397462 1362082 | 2147483647 184540 128 | 0.005 % |
535.29/535.51 c | 186955 | 76975 397462 1362082 | 2147483647 184700 128 | 0.005 % |
535.99/536.21 c | 187132 | 76975 397462 1362082 | 2147483647 184877 128 | 0.005 % |
536.50/536.78 c | 187325 | 76975 397462 1362082 | 2147483647 185070 128 | 0.005 % |
537.09/537.32 c | 187537 | 76975 397462 1362082 | 2147483647 185282 128 | 0.005 % |
538.19/538.44 c | 187770 | 76975 397462 1362082 | 2147483647 185515 128 | 0.005 % |
538.89/539.12 c | 188026 | 76975 397462 1362082 | 2147483647 185771 128 | 0.005 % |
539.49/539.77 c | 188311 | 76975 397462 1362082 | 2147483647 186056 128 | 0.005 % |
540.59/540.87 c | 188620 | 76975 397462 1362082 | 2147483647 186365 128 | 0.005 % |
541.49/541.79 c | 188959 | 76975 397462 1362082 | 2147483647 186704 128 | 0.005 % |
542.59/542.86 c | 189332 | 76975 397462 1362082 | 2147483647 187077 129 | 0.005 % |
544.09/544.30 c | 189743 | 76975 397462 1362082 | 2147483647 187488 129 | 0.005 % |
545.49/545.72 c | 190192 | 76975 397462 1362082 | 2147483647 187937 129 | 0.005 % |
546.59/546.86 c | 190686 | 76975 397462 1362082 | 2147483647 188431 129 | 0.005 % |
547.49/547.71 c | 191228 | 76975 397462 1362082 | 2147483647 188973 129 | 0.005 % |
549.59/549.88 c | 191825 | 76975 397462 1362082 | 2147483647 189570 130 | 0.005 % |
550.49/550.79 c | 192480 | 76975 397462 1362082 | 2147483647 190225 130 | 0.005 % |
553.38/553.62 c | 193200 | 76975 397462 1362082 | 2147483647 190945 130 | 0.005 % |
556.49/556.70 c | 193992 | 76975 397462 1362082 | 2147483647 191737 131 | 0.005 % |
560.89/561.11 c | 194864 | 76975 397462 1362082 | 2147483647 192609 131 | 0.005 % |
563.99/564.23 c | 195822 | 76975 397462 1362082 | 2147483647 193567 131 | 0.005 % |
567.78/568.02 c | 196875 | 76975 397462 1362082 | 2147483647 194620 131 | 0.005 % |
570.28/570.54 c | 198035 | 76975 397462 1362082 | 2147483647 195780 131 | 0.005 % |
574.57/574.87 c | 199308 | 76975 397462 1362082 | 2147483647 197053 131 | 0.005 % |
578.29/578.51 c | 200709 | 76974 397301 1361698 | 2147483647 197585 131 | 0.006 % |
586.58/586.86 c | 202250 | 76972 397301 1361698 | 2147483647 199124 132 | 0.009 % |
592.17/592.41 c | 203944 | 76972 397301 1361698 | 2147483647 200818 133 | 0.009 % |
597.18/597.42 c | 205807 | 76972 397301 1361698 | 2147483647 202681 133 | 0.009 % |
606.38/606.67 c | 207859 | 76972 397301 1361698 | 2147483647 204733 133 | 0.009 % |
606.88/607.12 c | 207959 | 76972 397301 1361698 | 2147483647 204833 133 | 0.009 % |
607.67/607.96 c | 208084 | 76972 397301 1361698 | 2147483647 204958 133 | 0.009 % |
608.57/608.86 c | 208207 | 76972 397301 1361698 | 2147483647 205081 133 | 0.009 % |
609.37/609.65 c | 208340 | 76972 397301 1361698 | 2147483647 205214 133 | 0.009 % |
609.97/610.26 c | 208492 | 76972 397301 1361698 | 2147483647 205366 133 | 0.009 % |
610.47/610.78 c | 208652 | 76972 397301 1361698 | 2147483647 205526 133 | 0.009 % |
611.67/611.94 c | 208828 | 76972 397021 1361098 | 2147483647 205442 134 | 0.009 % |
612.37/612.65 c | 209021 | 76972 397021 1361098 | 2147483647 205635 133 | 0.009 % |
613.27/613.52 c | 209234 | 76972 397021 1361098 | 2147483647 205848 133 | 0.009 % |
613.77/614.05 c | 209467 | 76972 397021 1361098 | 2147483647 206081 133 | 0.009 % |
615.06/615.33 c | 209723 | 76972 397021 1361098 | 2147483647 206337 133 | 0.009 % |
615.97/616.30 c | 210004 | 76972 397021 1361098 | 2147483647 206618 134 | 0.009 % |
617.77/618.01 c | 210313 | 76972 397021 1361098 | 2147483647 206927 134 | 0.009 % |
618.67/618.93 c | 210652 | 76972 397021 1361098 | 2147483647 207266 134 | 0.009 % |
620.27/620.59 c | 211024 | 76972 397021 1361098 | 2147483647 207638 134 | 0.009 % |
621.87/622.14 c | 211437 | 76972 397021 1361098 | 2147483647 208051 134 | 0.009 % |
622.77/623.07 c | 211886 | 76972 397021 1361098 | 2147483647 208500 134 | 0.009 % |
623.47/623.74 c | 212379 | 76972 397021 1361098 | 2147483647 208993 134 | 0.009 % |
625.47/625.71 c | 212922 | 76972 397021 1361098 | 2147483647 209536 134 | 0.009 % |
626.17/626.48 c | 213526 | 76972 397021 1361098 | 2147483647 210140 134 | 0.009 % |
628.37/628.66 c | 214181 | 76972 397021 1361098 | 2147483647 210795 134 | 0.009 % |
630.66/630.99 c | 214901 | 76972 397021 1361098 | 2147483647 211515 134 | 0.009 % |
636.06/636.35 c | 215694 | 76972 397021 1361098 | 2147483647 212308 134 | 0.009 % |
639.36/639.65 c | 216565 | 76972 397021 1361098 | 2147483647 213179 134 | 0.009 % |
643.86/644.17 c | 217525 | 76972 397021 1361098 | 2147483647 214139 134 | 0.009 % |
647.56/647.82 c | 218581 | 76972 397021 1361098 | 2147483647 215195 134 | 0.009 % |
650.46/650.77 c | 219741 | 76972 397021 1361098 | 2147483647 216355 134 | 0.009 % |
654.66/654.95 c | 221014 | 76972 397021 1361098 | 2147483647 217628 135 | 0.009 % |
660.35/660.63 c | 222414 | 76972 397021 1361098 | 2147483647 219028 134 | 0.009 % |
667.46/667.77 c | 223954 | 76972 397021 1361098 | 2147483647 220568 134 | 0.009 % |
673.26/673.52 c | 225649 | 76972 397021 1361098 | 2147483647 222263 135 | 0.009 % |
678.84/679.17 c | 227512 | 76972 397021 1361098 | 2147483647 224126 135 | 0.009 % |
685.44/685.72 c | 229564 | 76972 397021 1361098 | 2147483647 226178 134 | 0.009 % |
691.44/691.76 c | 231817 | 76972 397021 1361098 | 2147483647 228431 134 | 0.009 % |
691.65/691.96 c | 231917 | 76972 397021 1361098 | 2147483647 228531 134 | 0.009 % |
692.14/692.44 c | 232028 | 76972 397021 1361098 | 2147483647 228642 134 | 0.009 % |
692.54/692.89 c | 232153 | 76972 397021 1361098 | 2147483647 228767 134 | 0.009 % |
693.04/693.36 c | 232289 | 76972 397021 1361098 | 2147483647 228903 134 | 0.009 % |
693.54/693.86 c | 232435 | 76972 397021 1361098 | 2147483647 229049 134 | 0.009 % |
694.54/694.80 c | 232597 | 76972 397021 1361098 | 2147483647 229211 134 | 0.009 % |
695.54/695.83 c | 232773 | 76972 397021 1361098 | 2147483647 229387 134 | 0.009 % |
696.24/696.59 c | 232966 | 76972 397021 1361098 | 2147483647 229580 134 | 0.009 % |
696.84/697.13 c | 233181 | 76972 397021 1361098 | 2147483647 229795 134 | 0.009 % |
698.04/698.33 c | 233414 | 76972 397021 1361098 | 2147483647 230028 134 | 0.009 % |
699.04/699.30 c | 233672 | 76972 397021 1361098 | 2147483647 230286 134 | 0.009 % |
699.74/700.07 c | 233953 | 76972 397021 1361098 | 2147483647 230567 134 | 0.009 % |
700.34/700.66 c | 234262 | 76972 397021 1361098 | 2147483647 230876 134 | 0.009 % |
701.23/701.59 c | 234609 | 76972 397021 1361098 | 2147483647 231223 134 | 0.009 % |
702.03/702.37 c | 234981 | 76972 397021 1361098 | 2147483647 231595 134 | 0.009 % |
702.44/702.79 c | 235392 | 76972 397021 1361098 | 2147483647 232006 134 | 0.009 % |
703.34/703.62 c | 235841 | 76972 397021 1361098 | 2147483647 232455 134 | 0.009 % |
704.74/705.10 c | 236335 | 76972 397021 1361098 | 2147483647 232949 134 | 0.009 % |
706.74/707.02 c | 236877 | 76972 397021 1361098 | 2147483647 233491 134 | 0.009 % |
707.94/708.26 c | 237473 | 76972 397021 1361098 | 2147483647 234087 134 | 0.009 % |
709.94/710.23 c | 238128 | 76972 397021 1361098 | 2147483647 234742 134 | 0.009 % |
711.44/711.76 c | 238848 | 76972 397021 1361098 | 2147483647 235462 134 | 0.009 % |
715.13/715.48 c | 239645 | 76972 397021 1361098 | 2147483647 236259 134 | 0.009 % |
719.44/719.75 c | 240517 | 76972 397021 1361098 | 2147483647 237131 134 | 0.009 % |
721.94/722.30 c | 241475 | 76972 397021 1361098 | 2147483647 238089 134 | 0.009 % |
726.93/727.25 c | 242530 | 76972 397021 1361098 | 2147483647 239144 135 | 0.009 % |
729.83/730.19 c | 243688 | 76972 397021 1361098 | 2147483647 240302 134 | 0.009 % |
734.62/734.98 c | 244961 | 76972 397021 1361098 | 2147483647 241575 135 | 0.009 % |
739.33/739.64 c | 246362 | 76972 397021 1361098 | 2147483647 242976 136 | 0.009 % |
744.23/744.54 c | 247902 | 76972 397021 1361098 | 2147483647 244516 137 | 0.009 % |
750.53/750.80 c | 249596 | 76972 397021 1361098 | 2147483647 246210 137 | 0.009 % |
759.73/760.07 c | 251460 | 76972 397021 1361098 | 2147483647 248074 138 | 0.009 % |
768.42/768.70 c | 253509 | 76972 397021 1361098 | 2147483647 250123 138 | 0.009 % |
773.52/773.88 c | 255762 | 76972 397021 1361098 | 2147483647 252376 139 | 0.009 % |
778.91/779.30 c | 258240 | 76972 397021 1361098 | 2147483647 254854 139 | 0.009 % |
779.21/779.54 c | 258340 | 76972 397021 1361098 | 2147483647 254954 139 | 0.009 % |
779.61/779.97 c | 258452 | 76972 397021 1361098 | 2147483647 255066 139 | 0.009 % |
779.91/780.26 c | 258575 | 76972 397021 1361098 | 2147483647 255189 139 | 0.009 % |
780.51/780.86 c | 258709 | 76972 397021 1361098 | 2147483647 255323 139 | 0.009 % |
781.61/782.00 c | 258855 | 76972 397021 1361098 | 2147483647 255469 139 | 0.009 % |
782.61/782.97 c | 259015 | 76972 397021 1361098 | 2147483647 255629 139 | 0.009 % |
783.82/784.10 c | 259191 | 76972 397021 1361098 | 2147483647 255805 139 | 0.009 % |
784.72/785.01 c | 259386 | 76972 397021 1361098 | 2147483647 256000 139 | 0.009 % |
785.51/785.82 c | 259598 | 76972 397021 1361098 | 2147483647 256212 139 | 0.009 % |
786.71/787.03 c | 259833 | 76972 397021 1361098 | 2147483647 256447 139 | 0.009 % |
787.71/788.08 c | 260089 | 76972 397021 1361098 | 2147483647 256703 139 | 0.009 % |
789.01/789.38 c | 260379 | 76972 397021 1361098 | 2147483647 256993 139 | 0.009 % |
790.31/790.69 c | 260691 | 76972 397021 1361098 | 2147483647 257305 139 | 0.009 % |
792.11/792.42 c | 261030 | 76972 397021 1361098 | 2147483647 257644 139 | 0.009 % |
794.21/794.51 c | 261403 | 76972 397021 1361098 | 2147483647 258017 139 | 0.009 % |
795.91/796.23 c | 261812 | 76972 397021 1361098 | 2147483647 258426 139 | 0.009 % |
797.41/797.74 c | 262261 | 76972 397021 1361098 | 2147483647 258875 140 | 0.009 % |
799.60/799.91 c | 262754 | 76972 397021 1361098 | 2147483647 259368 140 | 0.009 % |
801.20/801.54 c | 263297 | 76972 397021 1361098 | 2147483647 259911 140 | 0.009 % |
803.82/804.18 c | 263897 | 76972 397021 1361098 | 2147483647 260511 140 | 0.009 % |
807.21/807.53 c | 264552 | 76972 397021 1361098 | 2147483647 261166 140 | 0.009 % |
809.31/809.63 c | 265272 | 76972 397021 1361098 | 2147483647 261886 140 | 0.009 % |
811.71/812.10 c | 266064 | 76972 397021 1361098 | 2147483647 262678 140 | 0.009 % |
814.51/814.81 c | 266935 | 76972 397021 1361098 | 2147483647 263549 139 | 0.009 % |
816.60/816.96 c | 267893 | 76972 397021 1361098 | 2147483647 264507 140 | 0.009 % |
818.90/819.20 c | 268946 | 76972 397021 1361098 | 2147483647 265560 139 | 0.009 % |
824.10/824.41 c | 270107 | 76972 397021 1361098 | 2147483647 266721 140 | 0.009 % |
828.29/828.63 c | 271380 | 76972 397021 1361098 | 2147483647 267994 139 | 0.009 % |
833.00/833.34 c | 272780 | 76972 397021 1361098 | 2147483647 269394 140 | 0.009 % |
837.10/837.47 c | 274320 | 76972 397021 1361098 | 2147483647 270934 139 | 0.009 % |
839.19/839.57 c | 276015 | 76972 397021 1361098 | 2147483647 272629 139 | 0.009 % |
846.00/846.37 c | 277879 | 76972 397021 1361098 | 2147483647 274493 139 | 0.009 % |
853.10/853.43 c | 279928 | 76972 397021 1361098 | 2147483647 276542 139 | 0.009 % |
861.69/862.10 c | 282181 | 76972 397021 1361098 | 2147483647 278795 141 | 0.009 % |
869.69/870.02 c | 284659 | 76972 397021 1361098 | 2147483647 281273 141 | 0.009 % |
880.08/880.47 c | 287384 | 76972 397021 1361098 | 2147483647 283998 142 | 0.009 % |
880.58/880.98 c | 287484 | 76972 397021 1361098 | 2147483647 284098 142 | 0.009 % |
880.98/881.30 c | 287601 | 76972 397021 1361098 | 2147483647 284215 142 | 0.009 % |
881.79/882.17 c | 287722 | 76972 397021 1361098 | 2147483647 284336 142 | 0.009 % |
882.08/882.48 c | 287857 | 76972 397021 1361098 | 2147483647 284471 142 | 0.009 % |
882.68/883.08 c | 288003 | 76972 397021 1361098 | 2147483647 284617 142 | 0.009 % |
883.38/883.75 c | 288163 | 76972 397021 1361098 | 2147483647 284777 142 | 0.009 % |
884.09/884.44 c | 288342 | 76972 397021 1361098 | 2147483647 284956 142 | 0.009 % |
884.89/885.24 c | 288535 | 76972 397021 1361098 | 2147483647 285149 142 | 0.009 % |
886.49/886.85 c | 288748 | 76972 397021 1361098 | 2147483647 285362 142 | 0.009 % |
887.19/887.51 c | 288981 | 76972 397021 1361098 | 2147483647 285595 142 | 0.009 % |
887.88/888.24 c | 289245 | 76972 397021 1361098 | 2147483647 285859 142 | 0.009 % |
888.68/889.09 c | 289528 | 76972 397021 1361098 | 2147483647 286142 142 | 0.009 % |
890.59/890.95 c | 289839 | 76972 397021 1361098 | 2147483647 286453 142 | 0.009 % |
891.48/891.87 c | 290178 | 76972 397021 1361098 | 2147483647 286792 142 | 0.009 % |
893.28/893.69 c | 290550 | 76972 397021 1361098 | 2147483647 287164 142 | 0.009 % |
895.98/896.31 c | 290959 | 76972 397021 1361098 | 2147483647 287573 143 | 0.009 % |
897.98/898.34 c | 291412 | 76972 397021 1361098 | 2147483647 288026 143 | 0.009 % |
900.08/900.41 c | 291906 | 76972 397021 1361098 | 2147483647 288520 143 | 0.009 % |
903.48/903.88 c | 292448 | 76972 397021 1361098 | 2147483647 289062 143 | 0.009 % |
905.68/906.04 c | 293044 | 76972 397021 1361098 | 2147483647 289658 143 | 0.009 % |
907.88/908.25 c | 293700 | 76972 397021 1361098 | 2147483647 290314 143 | 0.009 % |
910.48/910.83 c | 294420 | 76972 397021 1361098 | 2147483647 291034 143 | 0.009 % |
913.37/913.71 c | 295214 | 76972 397021 1361098 | 2147483647 291828 144 | 0.009 % |
919.07/919.48 c | 296085 | 76972 397021 1361098 | 2147483647 292699 144 | 0.009 % |
923.28/923.63 c | 297046 | 76972 397021 1361098 | 2147483647 293660 144 | 0.009 % |
931.57/931.99 c | 298101 | 76972 397021 1361098 | 2147483647 294715 144 | 0.009 % |
935.67/936.10 c | 299260 | 76972 397021 1361098 | 2147483647 295874 144 | 0.009 % |
939.77/940.10 c | 300533 | 76972 397021 1361098 | 2147483647 297147 144 | 0.009 % |
947.07/947.41 c | 301933 | 76972 397021 1361098 | 2147483647 298547 145 | 0.009 % |
950.27/950.65 c | 303473 | 76972 397021 1361098 | 2147483647 300087 145 | 0.009 % |
958.76/959.17 c | 305169 | 76972 397021 1361098 | 2147483647 301783 145 | 0.009 % |
964.37/964.78 c | 307033 | 76972 397021 1361098 | 2147483647 303647 145 | 0.009 % |
969.76/970.13 c | 309082 | 76972 397021 1361098 | 2147483647 305696 145 | 0.009 % |
974.16/974.54 c | 311336 | 76972 397021 1361098 | 2147483647 307950 145 | 0.009 % |
983.76/984.14 c | 313814 | 76972 397021 1361098 | 2147483647 310428 145 | 0.009 % |
993.36/993.73 c | 316540 | 76972 397021 1361098 | 2147483647 313154 145 | 0.009 % |
1006.85/1007.24 c | 319538 | 76972 397021 1361098 | 2147483647 316152 146 | 0.009 % |
1007.25/1007.67 c | 319638 | 76972 397021 1361098 | 2147483647 316252 146 | 0.009 % |
1007.75/1008.13 c | 319748 | 76972 397021 1361098 | 2147483647 316362 146 | 0.009 % |
1008.46/1008.89 c | 319869 | 76972 397021 1361098 | 2147483647 316483 146 | 0.009 % |
1009.05/1009.50 c | 320003 | 76972 397021 1361098 | 2147483647 316617 146 | 0.009 % |
1010.05/1010.50 c | 320149 | 76972 397021 1361098 | 2147483647 316763 146 | 0.009 % |
1011.05/1011.47 c | 320309 | 76972 397021 1361098 | 2147483647 316923 146 | 0.009 % |
1012.15/1012.55 c | 320485 | 76972 397021 1361098 | 2147483647 317099 146 | 0.009 % |
1012.95/1013.39 c | 320678 | 76972 397021 1361098 | 2147483647 317292 146 | 0.009 % |
1014.15/1014.57 c | 320890 | 76972 397021 1361098 | 2147483647 317504 146 | 0.009 % |
1015.75/1016.10 c | 321124 | 76972 397021 1361098 | 2147483647 317738 146 | 0.009 % |
1016.85/1017.22 c | 321380 | 76972 397021 1361098 | 2147483647 317994 146 | 0.009 % |
1018.15/1018.52 c | 321663 | 76972 397021 1361098 | 2147483647 318277 146 | 0.009 % |
1019.75/1020.13 c | 321972 | 76972 397021 1361098 | 2147483647 318586 146 | 0.009 % |
1021.55/1021.92 c | 322311 | 76972 397021 1361098 | 2147483647 318925 146 | 0.009 % |
1024.44/1024.89 c | 322684 | 76972 397021 1361098 | 2147483647 319298 146 | 0.009 % |
1028.24/1028.64 c | 323093 | 76972 397021 1361098 | 2147483647 319707 146 | 0.009 % |
1030.34/1030.71 c | 323542 | 76972 397021 1361098 | 2147483647 320156 146 | 0.009 % |
1033.04/1033.46 c | 324035 | 76971 396875 1360774 | 2147483647 320417 146 | 0.010 % |
1034.54/1034.98 c | 324578 | 76971 396875 1360774 | 2147483647 320960 146 | 0.010 % |
1036.95/1037.37 c | 325174 | 76971 396875 1360774 | 2147483647 321556 146 | 0.010 % |
1040.04/1040.40 c | 325831 | 76971 396875 1360774 | 2147483647 322213 146 | 0.010 % |
1043.14/1043.59 c | 326552 | 76971 396875 1360774 | 2147483647 322934 146 | 0.010 % |
1046.54/1046.98 c | 327345 | 76971 396875 1360774 | 2147483647 323727 146 | 0.010 % |
1050.24/1050.64 c | 328218 | 76971 396875 1360774 | 2147483647 324600 147 | 0.010 % |
1052.54/1052.93 c | 329176 | 76971 396875 1360774 | 2147483647 325558 146 | 0.010 % |
1056.23/1056.61 c | 330230 | 76971 396875 1360774 | 2147483647 326612 146 | 0.010 % |
1059.53/1059.96 c | 331388 | 76971 396875 1360774 | 2147483647 327770 146 | 0.010 % |
1063.83/1064.28 c | 332661 | 76971 396875 1360774 | 2147483647 329043 146 | 0.010 % |
1068.84/1069.22 c | 334061 | 76971 396875 1360774 | 2147483647 330443 146 | 0.010 % |
1078.13/1078.51 c | 335602 | 76971 396875 1360774 | 2147483647 331984 147 | 0.010 % |
1084.32/1084.78 c | 337297 | 76971 396875 1360774 | 2147483647 333679 146 | 0.010 % |
1089.92/1090.34 c | 339161 | 76971 396875 1360774 | 2147483647 335543 146 | 0.010 % |
1098.53/1098.92 c | 341210 | 76971 396875 1360774 | 2147483647 337592 146 | 0.010 % |
1108.12/1108.57 c | 343463 | 76971 396875 1360774 | 2147483647 339845 147 | 0.010 % |
1115.32/1115.73 c | 345941 | 76971 396875 1360774 | 2147483647 342323 147 | 0.010 % |
1128.42/1128.82 c | 348669 | 76971 396875 1360774 | 2147483647 345051 147 | 0.010 % |
1138.81/1139.24 c | 351666 | 76971 396875 1360774 | 2147483647 348048 147 | 0.010 % |
1152.41/1152.80 c | 354962 | 76971 396875 1360774 | 2147483647 351344 147 | 0.010 % |
1152.61/1153.07 c | 355063 | 76971 396875 1360774 | 2147483647 351445 147 | 0.010 % |
1153.11/1153.54 c | 355173 | 76971 396875 1360774 | 2147483647 351555 147 | 0.010 % |
1153.61/1154.08 c | 355294 | 76971 396875 1360774 | 2147483647 351676 147 | 0.010 % |
1153.91/1154.35 c | 355427 | 76971 396875 1360774 | 2147483647 351809 147 | 0.010 % |
1154.41/1154.88 c | 355577 | 76971 396875 1360774 | 2147483647 351959 147 | 0.010 % |
1155.11/1155.58 c | 355742 | 76971 396875 1360774 | 2147483647 352124 148 | 0.010 % |
1156.51/1156.94 c | 355918 | 76971 396875 1360774 | 2147483647 352300 148 | 0.010 % |
1158.50/1159.00 c | 356112 | 76971 396875 1360774 | 2147483647 352494 148 | 0.010 % |
1159.01/1159.43 c | 356325 | 76971 396875 1360774 | 2147483647 352707 147 | 0.010 % |
1160.70/1161.17 c | 356558 | 76971 396875 1360774 | 2147483647 352940 148 | 0.010 % |
1161.80/1162.22 c | 356826 | 76971 396875 1360774 | 2147483647 353208 148 | 0.010 % |
1163.50/1163.97 c | 357107 | 76971 396875 1360774 | 2147483647 353489 148 | 0.010 % |
1165.31/1165.76 c | 357417 | 76971 396875 1360774 | 2147483647 353799 148 | 0.010 % |
1167.31/1167.78 c | 357757 | 76971 396875 1360774 | 2147483647 354139 148 | 0.010 % |
1167.71/1168.11 c | 358129 | 76971 396875 1360774 | 2147483647 354511 148 | 0.010 % |
1168.71/1169.18 c | 358538 | 76971 396875 1360774 | 2147483647 354920 148 | 0.010 % |
1171.11/1171.52 c | 358988 | 76971 396875 1360774 | 2147483647 355370 148 | 0.010 % |
1174.31/1174.76 c | 359482 | 76971 396875 1360774 | 2147483647 355864 148 | 0.010 % |
1176.90/1177.31 c | 360024 | 76971 396875 1360774 | 2147483647 356406 148 | 0.010 % |
1180.90/1181.35 c | 360620 | 76971 396875 1360774 | 2147483647 357002 148 | 0.010 % |
1183.50/1183.98 c | 361275 | 76971 396875 1360774 | 2147483647 357657 148 | 0.010 % |
1185.00/1185.48 c | 361995 | 76971 396875 1360774 | 2147483647 358377 148 | 0.010 % |
1192.20/1192.68 c | 362787 | 76971 396875 1360774 | 2147483647 359169 148 | 0.010 % |
1195.99/1196.49 c | 363659 | 76971 396875 1360774 | 2147483647 360041 148 | 0.010 % |
1198.19/1198.65 c | 364619 | 76971 396875 1360774 | 2147483647 361001 148 | 0.010 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1833595-1242823785/watcher-1833595-1242823785 -o /tmp/evaluation-result-1833595-1242823785/solver-1833595-1242823785 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1833595-1242823785.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 9180
/proc/meminfo: memFree=1963312/2055920 swapFree=4180260/4192956
[pid=9180] ppid=9178 vsize=5356 CPUtime=0
/proc/9180/stat : 9180 (SatELiteGTI) S 9178 9180 9042 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310406678 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/9180/statm: 1339 237 197 169 0 50 0
[startup+0.0873141 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 9180
/proc/meminfo: memFree=1963312/2055920 swapFree=4180260/4192956
[pid=9180] ppid=9178 vsize=5356 CPUtime=0
/proc/9180/stat : 9180 (SatELiteGTI) S 9178 9180 9042 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310406678 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/9180/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.101313 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 9180
/proc/meminfo: memFree=1963312/2055920 swapFree=4180260/4192956
[pid=9180] ppid=9178 vsize=5356 CPUtime=0
/proc/9180/stat : 9180 (SatELiteGTI) S 9178 9180 9042 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310406678 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/9180/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301332 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 9180
/proc/meminfo: memFree=1963312/2055920 swapFree=4180260/4192956
[pid=9180] ppid=9178 vsize=5356 CPUtime=0
/proc/9180/stat : 9180 (SatELiteGTI) S 9178 9180 9042 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310406678 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/9180/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.701367 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 9180
/proc/meminfo: memFree=1963312/2055920 swapFree=4180260/4192956
[pid=9180] ppid=9178 vsize=5356 CPUtime=0
/proc/9180/stat : 9180 (SatELiteGTI) S 9178 9180 9042 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310406678 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/9180/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+1.50144 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 9185
/proc/meminfo: memFree=1861728/2055920 swapFree=4180260/4192956
[pid=9180] ppid=9178 vsize=5356 CPUtime=0
/proc/9180/stat : 9180 (SatELiteGTI) S 9178 9180 9042 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310406678 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/9180/statm: 1339 237 197 169 0 50 0
[pid=9184] ppid=9180 vsize=107000 CPUtime=1.49
/proc/9184/stat : 9184 (SatELite_releas) R 9180 9180 9042 0 -1 4194304 27366 0 0 0 133 16 0 0 25 0 1 0 310406678 109568000 25285 1992294400 134512640 135223648 4294956128 18446744073709551615 134719062 0 0 4096 3 0 0 0 17 1 0 0
/proc/9184/statm: 26750 25285 76 173 0 26575 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 112356
[startup+3.10258 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 9185
/proc/meminfo: memFree=1853792/2055920 swapFree=4180260/4192956
[pid=9180] ppid=9178 vsize=5356 CPUtime=0
/proc/9180/stat : 9180 (SatELiteGTI) S 9178 9180 9042 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310406678 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/9180/statm: 1339 237 197 169 0 50 0
[pid=9184] ppid=9180 vsize=110268 CPUtime=3.09
/proc/9184/stat : 9184 (SatELite_releas) R 9180 9180 9042 0 -1 4194304 28198 0 0 0 291 18 0 0 25 0 1 0 310406678 112914432 26117 1992294400 134512640 135223648 4294956128 18446744073709551615 134548345 0 0 4096 3 0 0 0 17 1 0 0
/proc/9184/statm: 27567 26117 76 173 0 27392 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 115624
[startup+6.30186 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 9185
/proc/meminfo: memFree=1836008/2055920 swapFree=4180260/4192956
[pid=9180] ppid=9178 vsize=5356 CPUtime=0
/proc/9180/stat : 9180 (SatELiteGTI) S 9178 9180 9042 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310406678 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/9180/statm: 1339 237 197 169 0 50 0
[pid=9184] ppid=9180 vsize=115648 CPUtime=6.28
/proc/9184/stat : 9184 (SatELite_releas) R 9180 9180 9042 0 -1 4194304 29450 0 0 0 604 24 0 0 25 0 1 0 310406678 118423552 27369 1992294400 134512640 135223648 4294956128 18446744073709551615 134585377 0 0 4096 3 0 0 0 17 1 0 0
/proc/9184/statm: 28912 27369 76 173 0 28737 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 121004
[startup+12.7014 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 9185
/proc/meminfo: memFree=1805928/2055920 swapFree=4180260/4192956
[pid=9180] ppid=9178 vsize=5356 CPUtime=0
/proc/9180/stat : 9180 (SatELiteGTI) S 9178 9180 9042 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310406678 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/9180/statm: 1339 237 197 169 0 50 0
[pid=9184] ppid=9180 vsize=124032 CPUtime=12.68
/proc/9184/stat : 9184 (SatELite_releas) R 9180 9180 9042 0 -1 4194304 31237 0 0 0 1236 32 0 0 25 0 1 0 310406678 127008768 29156 1992294400 134512640 135223648 4294956128 18446744073709551615 134586669 0 0 4096 3 0 0 0 17 1 0 0
/proc/9184/statm: 31008 29156 76 173 0 30833 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 129388
[startup+25.5015 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 9186
/proc/meminfo: memFree=1883816/2055920 swapFree=4180260/4192956
[pid=9180] ppid=9178 vsize=5356 CPUtime=15.04
/proc/9180/stat : 9180 (SatELiteGTI) S 9178 9180 9042 0 -1 4194304 336 35720 0 0 0 0 1463 41 16 0 1 0 310406678 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9180/statm: 1339 239 197 169 0 50 0
[pid=9186] ppid=9180 vsize=29028 CPUtime=10.41
/proc/9186/stat : 9186 (minisat_static) R 9180 9180 9042 0 -1 4194304 6805 0 0 0 1037 4 0 0 25 0 1 0 310408185 29724672 6790 1992294400 134512640 135215339 4294956240 18446744073709551615 134527384 0 0 4096 3 0 0 0 17 1 0 0
/proc/9186/statm: 7257 6790 77 171 0 7084 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 34384
[startup+51.1018 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 9186
/proc/meminfo: memFree=1879144/2055920 swapFree=4180260/4192956
[pid=9180] ppid=9178 vsize=5356 CPUtime=15.04
/proc/9180/stat : 9180 (SatELiteGTI) S 9178 9180 9042 0 -1 4194304 336 35720 0 0 0 0 1463 41 16 0 1 0 310406678 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9180/statm: 1339 239 197 169 0 50 0
[pid=9186] ppid=9180 vsize=33844 CPUtime=35.99
/proc/9186/stat : 9186 (minisat_static) R 9180 9180 9042 0 -1 4194304 7993 0 0 0 3593 6 0 0 25 0 1 0 310408185 34656256 7978 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/9186/statm: 8461 7978 77 171 0 8288 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 39200
[startup+102.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 9186
/proc/meminfo: memFree=1868968/2055920 swapFree=4180260/4192956
[pid=9180] ppid=9178 vsize=5356 CPUtime=15.04
/proc/9180/stat : 9180 (SatELiteGTI) S 9178 9180 9042 0 -1 4194304 336 35720 0 0 0 0 1463 41 16 0 1 0 310406678 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9180/statm: 1339 239 197 169 0 50 0
[pid=9186] ppid=9180 vsize=43784 CPUtime=87.17
/proc/9186/stat : 9186 (minisat_static) R 9180 9180 9042 0 -1 4194304 10498 0 0 0 8708 9 0 0 25 0 1 0 310408185 44834816 10483 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 1 0 0
/proc/9186/statm: 10946 10483 77 171 0 10773 0
Current children cumulated CPU time (s) 102.21
Current children cumulated vsize (KiB) 49140
[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 9186
/proc/meminfo: memFree=1857448/2055920 swapFree=4180260/4192956
[pid=9180] ppid=9178 vsize=5356 CPUtime=15.04
/proc/9180/stat : 9180 (SatELiteGTI) S 9178 9180 9042 0 -1 4194304 336 35720 0 0 0 0 1463 41 16 0 1 0 310406678 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9180/statm: 1339 239 197 169 0 50 0
[pid=9186] ppid=9180 vsize=55516 CPUtime=147.15
/proc/9186/stat : 9186 (minisat_static) R 9180 9180 9042 0 -1 4194304 13426 0 0 0 14702 13 0 0 25 0 1 0 310408185 56848384 13411 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/9186/statm: 13879 13411 77 171 0 13706 0
Current children cumulated CPU time (s) 162.19
Current children cumulated vsize (KiB) 60872
[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 9186
/proc/meminfo: memFree=1844648/2055920 swapFree=4180260/4192956
[pid=9180] ppid=9178 vsize=5356 CPUtime=15.04
/proc/9180/stat : 9180 (SatELiteGTI) S 9178 9180 9042 0 -1 4194304 336 35720 0 0 0 0 1463 41 16 0 1 0 310406678 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9180/statm: 1339 239 197 169 0 50 0
[pid=9186] ppid=9180 vsize=68096 CPUtime=207.14
/proc/9186/stat : 9186 (minisat_static) R 9180 9180 9042 0 -1 4194304 16559 0 0 0 20696 18 0 0 25 0 1 0 310408185 69730304 16544 1992294400 134512640 135215339 4294956240 18446744073709551615 134527227 0 0 4096 3 0 0 0 17 1 0 0
/proc/9186/statm: 17024 16544 77 171 0 16851 0
Current children cumulated CPU time (s) 222.18
Current children cumulated vsize (KiB) 73452
[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 9186
/proc/meminfo: memFree=1831272/2055920 swapFree=4180260/4192956
[pid=9180] ppid=9178 vsize=5356 CPUtime=15.04
/proc/9180/stat : 9180 (SatELiteGTI) S 9178 9180 9042 0 -1 4194304 336 35720 0 0 0 0 1463 41 16 0 1 0 310406678 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9180/statm: 1339 239 197 169 0 50 0
[pid=9186] ppid=9180 vsize=81652 CPUtime=267.12
/proc/9186/stat : 9186 (minisat_static) R 9180 9180 9042 0 -1 4194304 19918 0 0 0 26690 22 0 0 25 0 1 0 310408185 83611648 19903 1992294400 134512640 135215339 4294956240 18446744073709551615 134525025 0 0 4096 3 0 0 0 17 1 0 0
/proc/9186/statm: 20413 19903 77 171 0 20240 0
Current children cumulated CPU time (s) 282.16
Current children cumulated vsize (KiB) 87008
[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 9186
/proc/meminfo: memFree=1818408/2055920 swapFree=4180260/4192956
[pid=9180] ppid=9178 vsize=5356 CPUtime=15.04
/proc/9180/stat : 9180 (SatELiteGTI) S 9178 9180 9042 0 -1 4194304 336 35720 0 0 0 0 1463 41 16 0 1 0 310406678 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9180/statm: 1339 239 197 169 0 50 0
[pid=9186] ppid=9180 vsize=94324 CPUtime=327.11
/proc/9186/stat : 9186 (minisat_static) R 9180 9180 9042 0 -1 4194304 23089 0 0 0 32685 26 0 0 25 0 1 0 310408185 96587776 23074 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/9186/statm: 23581 23074 77 171 0 23408 0
Current children cumulated CPU time (s) 342.15
Current children cumulated vsize (KiB) 99680
[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 9186
/proc/meminfo: memFree=1805992/2055920 swapFree=4180260/4192956
[pid=9180] ppid=9178 vsize=5356 CPUtime=15.04
/proc/9180/stat : 9180 (SatELiteGTI) S 9178 9180 9042 0 -1 4194304 336 35720 0 0 0 0 1463 41 16 0 1 0 310406678 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9180/statm: 1339 239 197 169 0 50 0
[pid=9186] ppid=9180 vsize=106916 CPUtime=387.09
/proc/9186/stat : 9186 (minisat_static) R 9180 9180 9042 0 -1 4194304 26170 0 0 0 38680 29 0 0 25 0 1 0 310408185 109481984 26155 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 1 0 0
/proc/9186/statm: 26729 26155 77 171 0 26556 0
Current children cumulated CPU time (s) 402.13
Current children cumulated vsize (KiB) 112272
[startup+462.302 s]
################
# More data... #
################
/proc/9186/statm: 36400 35765 77 171 0 36227 0
Current children cumulated CPU time (s) 582.08
Current children cumulated vsize (KiB) 150956
[startup+642.302 s]
/proc/loadavg: 1.14 1.04 1.01 2/66 9186
/proc/meminfo: memFree=1755496/2055920 swapFree=4180260/4192956
[pid=9180] ppid=9178 vsize=5356 CPUtime=15.04
/proc/9180/stat : 9180 (SatELiteGTI) S 9178 9180 9042 0 -1 4194304 336 35720 0 0 0 0 1463 41 16 0 1 0 310406678 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9180/statm: 1339 239 197 169 0 50 0
[pid=9186] ppid=9180 vsize=157592 CPUtime=627.02
/proc/9186/stat : 9186 (minisat_static) R 9180 9180 9042 0 -1 4194304 38654 0 0 0 62658 44 0 0 25 0 1 0 310408185 161374208 38639 1992294400 134512640 135215339 4294956240 18446744073709551615 134528776 0 0 4096 3 0 0 0 17 1 0 0
/proc/9186/statm: 39398 38639 77 171 0 39225 0
Current children cumulated CPU time (s) 642.06
Current children cumulated vsize (KiB) 162948
[startup+702.302 s]
/proc/loadavg: 1.05 1.03 1.00 2/66 9192
/proc/meminfo: memFree=1744160/2055920 swapFree=4180260/4192956
[pid=9180] ppid=9178 vsize=5356 CPUtime=15.04
/proc/9180/stat : 9180 (SatELiteGTI) S 9178 9180 9042 0 -1 4194304 336 35720 0 0 0 0 1463 41 16 0 1 0 310406678 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9180/statm: 1339 239 197 169 0 50 0
[pid=9186] ppid=9180 vsize=168700 CPUtime=686.99
/proc/9186/stat : 9186 (minisat_static) R 9180 9180 9042 0 -1 4194304 41416 0 0 0 68651 48 0 0 25 0 1 0 310408185 172748800 41401 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/9186/statm: 42175 41401 77 171 0 42002 0
Current children cumulated CPU time (s) 702.03
Current children cumulated vsize (KiB) 174056
[startup+762.305 s]
/proc/loadavg: 1.02 1.02 1.00 2/66 9192
/proc/meminfo: memFree=1730720/2055920 swapFree=4180260/4192956
[pid=9180] ppid=9178 vsize=5356 CPUtime=15.04
/proc/9180/stat : 9180 (SatELiteGTI) S 9178 9180 9042 0 -1 4194304 336 35720 0 0 0 0 1463 41 16 0 1 0 310406678 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9180/statm: 1339 239 197 169 0 50 0
[pid=9186] ppid=9180 vsize=181944 CPUtime=746.99
/proc/9186/stat : 9186 (minisat_static) R 9180 9180 9042 0 -1 4194304 44733 0 0 0 74646 53 0 0 25 0 1 0 310408185 186310656 44718 1992294400 134512640 135215339 4294956240 18446744073709551615 134528802 0 0 4096 3 0 0 0 17 1 0 0
/proc/9186/statm: 45486 44718 77 171 0 45313 0
Current children cumulated CPU time (s) 762.03
Current children cumulated vsize (KiB) 187300
[startup+822.301 s]
/proc/loadavg: 1.00 1.02 1.00 2/66 9192
/proc/meminfo: memFree=1718240/2055920 swapFree=4180260/4192956
[pid=9180] ppid=9178 vsize=5356 CPUtime=15.04
/proc/9180/stat : 9180 (SatELiteGTI) S 9178 9180 9042 0 -1 4194304 336 35720 0 0 0 0 1463 41 16 0 1 0 310406678 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9180/statm: 1339 239 197 169 0 50 0
[pid=9186] ppid=9180 vsize=194548 CPUtime=806.96
/proc/9186/stat : 9186 (minisat_static) R 9180 9180 9042 0 -1 4194304 47870 0 0 0 80641 55 0 0 25 0 1 0 310408185 199217152 47855 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/9186/statm: 48637 47855 77 171 0 48464 0
Current children cumulated CPU time (s) 822
Current children cumulated vsize (KiB) 199904
[startup+882.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/66 9192
/proc/meminfo: memFree=1704096/2055920 swapFree=4180260/4192956
[pid=9180] ppid=9178 vsize=5356 CPUtime=15.04
/proc/9180/stat : 9180 (SatELiteGTI) S 9178 9180 9042 0 -1 4194304 336 35720 0 0 0 0 1463 41 16 0 1 0 310406678 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9180/statm: 1339 239 197 169 0 50 0
[pid=9186] ppid=9180 vsize=208496 CPUtime=866.94
/proc/9186/stat : 9186 (minisat_static) R 9180 9180 9042 0 -1 4194304 51374 0 0 0 86635 59 0 0 25 0 1 0 310408185 213499904 51359 1992294400 134512640 135215339 4294956240 18446744073709551615 134528802 0 0 4096 3 0 0 0 17 1 0 0
/proc/9186/statm: 52124 51359 77 171 0 51951 0
Current children cumulated CPU time (s) 881.98
Current children cumulated vsize (KiB) 213852
[startup+942.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/66 9192
/proc/meminfo: memFree=1693344/2055920 swapFree=4180260/4192956
[pid=9180] ppid=9178 vsize=5356 CPUtime=15.04
/proc/9180/stat : 9180 (SatELiteGTI) S 9178 9180 9042 0 -1 4194304 336 35720 0 0 0 0 1463 41 16 0 1 0 310406678 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9180/statm: 1339 239 197 169 0 50 0
[pid=9186] ppid=9180 vsize=219324 CPUtime=926.93
/proc/9186/stat : 9186 (minisat_static) R 9180 9180 9042 0 -1 4194304 54063 0 0 0 92631 62 0 0 25 0 1 0 310408185 224587776 54048 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/9186/statm: 54831 54048 77 171 0 54658 0
Current children cumulated CPU time (s) 941.97
Current children cumulated vsize (KiB) 224680
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 9192
/proc/meminfo: memFree=1680872/2055920 swapFree=4180260/4192956
[pid=9180] ppid=9178 vsize=5356 CPUtime=15.04
/proc/9180/stat : 9180 (SatELiteGTI) S 9178 9180 9042 0 -1 4194304 336 35720 0 0 0 0 1463 41 16 0 1 0 310406678 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9180/statm: 1339 239 197 169 0 50 0
[pid=9186] ppid=9180 vsize=232160 CPUtime=986.91
/proc/9186/stat : 9186 (minisat_static) R 9180 9180 9042 0 -1 4194304 57137 0 0 0 98625 66 0 0 25 0 1 0 310408185 237731840 57122 1992294400 134512640 135215339 4294956240 18446744073709551615 134529186 0 0 4096 3 0 0 0 17 1 0 0
/proc/9186/statm: 58040 57122 77 171 0 57867 0
Current children cumulated CPU time (s) 1001.95
Current children cumulated vsize (KiB) 237516
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 9192
/proc/meminfo: memFree=1670760/2055920 swapFree=4180260/4192956
[pid=9180] ppid=9178 vsize=5356 CPUtime=15.04
/proc/9180/stat : 9180 (SatELiteGTI) S 9178 9180 9042 0 -1 4194304 336 35720 0 0 0 0 1463 41 16 0 1 0 310406678 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9180/statm: 1339 239 197 169 0 50 0
[pid=9186] ppid=9180 vsize=242548 CPUtime=1046.89
/proc/9186/stat : 9186 (minisat_static) R 9180 9180 9042 0 -1 4194304 59712 0 0 0 104621 68 0 0 25 0 1 0 310408185 248369152 59697 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/9186/statm: 60637 59697 77 171 0 60464 0
Current children cumulated CPU time (s) 1061.93
Current children cumulated vsize (KiB) 247904
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 9192
/proc/meminfo: memFree=1660200/2055920 swapFree=4180260/4192956
[pid=9180] ppid=9178 vsize=5356 CPUtime=15.04
/proc/9180/stat : 9180 (SatELiteGTI) S 9178 9180 9042 0 -1 4194304 336 35720 0 0 0 0 1463 41 16 0 1 0 310406678 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9180/statm: 1339 239 197 169 0 50 0
[pid=9186] ppid=9180 vsize=252868 CPUtime=1106.88
/proc/9186/stat : 9186 (minisat_static) R 9180 9180 9042 0 -1 4194304 62256 0 0 0 110617 71 0 0 25 0 1 0 310408185 258936832 62241 1992294400 134512640 135215339 4294956240 18446744073709551615 134532626 0 0 4096 3 0 0 0 17 1 0 0
/proc/9186/statm: 63217 62241 77 171 0 63044 0
Current children cumulated CPU time (s) 1121.92
Current children cumulated vsize (KiB) 258224
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 9192
/proc/meminfo: memFree=1647976/2055920 swapFree=4180260/4192956
[pid=9180] ppid=9178 vsize=5356 CPUtime=15.04
/proc/9180/stat : 9180 (SatELiteGTI) S 9178 9180 9042 0 -1 4194304 336 35720 0 0 0 0 1463 41 16 0 1 0 310406678 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9180/statm: 1339 239 197 169 0 50 0
[pid=9186] ppid=9180 vsize=265272 CPUtime=1166.86
/proc/9186/stat : 9186 (minisat_static) R 9180 9180 9042 0 -1 4194304 65271 0 0 0 116613 73 0 0 25 0 1 0 310408185 271638528 65256 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/9186/statm: 66318 65256 77 171 0 66145 0
Current children cumulated CPU time (s) 1181.9
Current children cumulated vsize (KiB) 270628
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 9192
/proc/meminfo: memFree=1644328/2055920 swapFree=4180260/4192956
[pid=9180] ppid=9178 vsize=5356 CPUtime=15.04
/proc/9180/stat : 9180 (SatELiteGTI) S 9178 9180 9042 0 -1 4194304 336 35720 0 0 0 0 1463 41 16 0 1 0 310406678 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9180/statm: 1339 239 197 169 0 50 0
[pid=9186] ppid=9180 vsize=268948 CPUtime=1185.06
/proc/9186/stat : 9186 (minisat_static) R 9180 9180 9042 0 -1 4194304 66176 0 0 0 118432 74 0 0 25 0 1 0 310408185 275402752 66161 1992294400 134512640 135215339 4294956240 18446744073709551615 134532626 0 0 4096 3 0 0 0 17 1 0 0
/proc/9186/statm: 67237 66161 77 171 0 67064 0
Current children cumulated CPU time (s) 1200.1
Current children cumulated vsize (KiB) 274304
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1200.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 9192
/proc/meminfo: memFree=1644328/2055920 swapFree=4180260/4192956
[pid=9180] ppid=9178 vsize=5356 CPUtime=15.04
/proc/9180/stat : 9180 (SatELiteGTI) S 9178 9180 9042 0 -1 4194304 336 35720 0 0 0 0 1463 41 16 0 1 0 310406678 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9180/statm: 1339 239 197 169 0 50 0
[pid=9186] ppid=9180 vsize=268948 CPUtime=1185.06
/proc/9186/stat : 9186 (minisat_static) R 9180 9180 9042 0 -1 4194304 66176 0 0 0 118432 74 0 0 25 0 1 0 310408185 275402752 66161 1992294400 134512640 135215339 4294956240 18446744073709551615 134532626 0 0 4096 3 0 0 0 17 1 0 0
/proc/9186/statm: 67237 66161 77 171 0 67064 0
Current children cumulated CPU time (s) 1200.1
Current children cumulated vsize (KiB) 274304
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 9180 and gives
# childrusage.ru_utime.tv_sec=14
# childrusage.ru_utime.tv_usec=639774
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=414936
# CPU time returned by wait4() is 15.0547
# while last known CPU time is 1200.1
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1200.51
CPU time (s): 1200.1
CPU user time (s): 1198.95
CPU system time (s): 1.15
CPU usage (%): 99.9656
Max. virtual memory (cumulated for all children) (KiB): 274304
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 14.6398
system time used= 0.414936
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 36056
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 17
involuntary context switches= 44
runsolver used 1.43278 second user time and 3.01054 second system time
The end
Begin job on node50 at 2009-05-20 14:49:46
IDJOB=1833595
IDBENCH=70769
IDSOLVER=671
FILE ID=node50/1833595-1242823785
PBS_JOBID= 9322489
Free space on /tmp= 65908 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/APPLICATIONS/bitverif/minandmaxor/minandmaxor128.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1833595-1242823785/watcher-1833595-1242823785 -o /tmp/evaluation-result-1833595-1242823785/solver-1833595-1242823785 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1833595-1242823785.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 5b2e2178738883a628728bb1ec39f4a9
RANDOM SEED=1510607676
node50.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.216
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.216
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1963856 kB
Buffers: 11540 kB
Cached: 44452 kB
SwapCached: 6840 kB
Active: 31288 kB
Inactive: 32992 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1963856 kB
SwapTotal: 4192956 kB
SwapFree: 4180260 kB
Dirty: 15156 kB
Writeback: 0 kB
Mapped: 13420 kB
Slab: 13860 kB
Committed_AS: 996688 kB
PageTables: 1452 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 65856 MiB
End job on node50 at 2009-05-20 15:09:49