0.00/0.00 c Parsing...
0.52/0.54 c ==============================================================================
0.52/0.54 c | | ORIGINAL | LEARNT | |
0.52/0.54 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.52/0.54 c ==============================================================================
0.52/0.54 c | 0 | 564648 1317512 | 169394 0 0 nan | 0.000 % |
3.30/3.36 c | 0 | 423113 1189990 | -- 0 -- -- | -- | -141533/-127517
3.30/3.37 c ==============================================================================
3.30/3.37 c Result : #vars: 97638 #clauses: 423113 #literals: 1189990
3.30/3.37 c CPU time: 3.2 s
3.30/3.37 c ==============================================================================
3.70/3.80 c This is MiniSat 2.0 beta
3.70/3.80 c WARNING: for repeatability, setting FPU to use double precision
3.70/3.80 c ============================[ Problem Statistics ]=============================
3.70/3.80 c | |
3.70/3.80 c | Number of variables: 97638 |
3.70/3.80 c | Number of clauses: 423113 |
3.79/4.08 c | Parsing time: 0.27 s |
3.79/4.10 c ============================[ Search Statistics ]==============================
3.79/4.10 c | Conflicts | ORIGINAL | LEARNT | Progress |
3.79/4.10 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
3.79/4.10 c ===============================================================================
3.79/4.10 c | 0 | 97638 423113 1189990 | 141037 0 nan | 0.000 % |
3.79/4.16 c | 101 | 97638 423113 1189990 | 141037 101 51 | 0.000 % |
4.40/4.43 c | 201 | 97638 423113 1189990 | 141037 201 51 | 0.000 % |
4.40/4.44 c | 303 | 97638 423113 1189990 | 141037 303 40 | 0.000 % |
4.40/4.46 c | 413 | 97638 423113 1189990 | 141037 413 32 | 0.000 % |
4.40/4.47 c | 514 | 97638 423113 1189990 | 141037 514 29 | 0.000 % |
5.10/5.19 c | 624 | 97638 423113 1189990 | 141037 624 67 | 0.000 % |
19.79/19.81 c | 745 | 97638 423113 1189990 | 141037 745 65 | 0.000 % |
21.49/21.53 c | 848 | 97638 423113 1189990 | 141037 848 64 | 0.000 % |
22.69/22.71 c | 958 | 97638 423113 1189990 | 141037 958 89 | 0.000 % |
23.89/23.94 c | 1079 | 97638 423113 1189990 | 141037 1079 96 | 0.000 % |
31.70/31.71 c | 1213 | 97638 423113 1189990 | 141037 1213 250 | 0.000 % |
33.41/33.47 c | 1313 | 97638 423113 1189990 | 141037 1313 244 | 0.000 % |
35.21/35.27 c | 1423 | 97638 423113 1189990 | 141037 1423 235 | 0.000 % |
36.31/36.38 c | 1547 | 97638 423113 1189990 | 141037 1547 228 | 0.000 % |
56.01/56.07 c | 1681 | 97638 423113 1189990 | 141037 1681 217 | 0.000 % |
60.61/60.65 c | 1827 | 97638 423113 1189990 | 141037 1827 212 | 0.000 % |
62.01/62.11 c | 1927 | 97638 423113 1189990 | 141037 1927 205 | 0.000 % |
64.91/64.94 c | 2038 | 97638 423113 1189990 | 141037 2038 200 | 0.000 % |
66.11/66.17 c | 2160 | 97638 423113 1189990 | 141037 2160 198 | 0.000 % |
68.01/68.11 c | 2294 | 97638 423113 1189990 | 141037 2294 201 | 0.000 % |
71.01/71.03 c | 2440 | 97638 423113 1189990 | 141037 2440 196 | 0.000 % |
81.51/81.61 c | 2603 | 97638 423113 1189990 | 141037 2603 194 | 0.000 % |
83.11/83.15 c | 2704 | 97638 423113 1189990 | 141037 2704 189 | 0.000 % |
84.71/84.76 c | 2815 | 97638 423113 1189990 | 141037 2815 186 | 0.000 % |
85.71/85.77 c | 2936 | 97638 423113 1189990 | 141037 2936 181 | 0.000 % |
85.91/86.01 c | 3073 | 97638 423113 1189990 | 141037 3073 174 | 0.000 % |
86.21/86.23 c | 3219 | 97638 423113 1189990 | 141037 3219 170 | 0.000 % |
86.31/86.33 c | 3380 | 97638 423113 1189990 | 141037 3380 163 | 0.000 % |
86.71/86.75 c | 3556 | 97638 423113 1189990 | 141037 3556 157 | 0.000 % |
86.81/86.86 c | 3656 | 97638 423113 1189990 | 141037 3656 153 | 0.000 % |
86.91/86.98 c | 3767 | 97638 423113 1189990 | 141037 3767 149 | 0.000 % |
87.21/87.25 c | 3889 | 97638 423113 1189990 | 141037 3889 146 | 0.000 % |
87.81/87.85 c | 4025 | 97638 423113 1189990 | 141037 4025 145 | 0.000 % |
88.01/88.05 c | 4172 | 97638 423113 1189990 | 141037 4172 141 | 0.000 % |
88.01/88.10 c | 4332 | 97638 423113 1189990 | 141037 4332 137 | 0.000 % |
88.11/88.14 c | 4508 | 97638 423113 1189990 | 141037 4508 132 | 0.000 % |
88.41/88.50 c | 4702 | 97638 423113 1189990 | 141037 4702 132 | 0.000 % |
88.51/88.54 c | 4802 | 97638 423113 1189990 | 141037 4802 129 | 0.000 % |
88.51/88.58 c | 4912 | 97638 423113 1189990 | 141037 4912 127 | 0.000 % |
88.71/88.75 c | 5033 | 97638 423113 1189990 | 141037 5033 126 | 0.000 % |
88.91/88.93 c | 5166 | 97638 423113 1189990 | 141037 5166 127 | 0.000 % |
88.91/88.99 c | 5312 | 97638 423113 1189990 | 141037 5312 124 | 0.000 % |
89.01/89.07 c | 5473 | 97638 423113 1189990 | 141037 5473 121 | 0.000 % |
89.21/89.22 c | 5649 | 97638 423113 1189990 | 141037 5649 120 | 0.000 % |
89.31/89.36 c | 5843 | 97638 423113 1189990 | 141037 5843 117 | 0.000 % |
89.41/89.47 c | 6055 | 97638 423113 1189990 | 141037 6055 114 | 0.000 % |
90.81/90.88 c | 6155 | 97638 423113 1189990 | 141037 6155 120 | 0.000 % |
91.11/91.17 c | 6267 | 97638 423113 1189990 | 141037 6267 127 | 0.000 % |
91.31/91.34 c | 6389 | 97638 423113 1189990 | 141037 6389 134 | 0.000 % |
91.31/91.40 c | 6523 | 97638 423113 1189990 | 141037 6523 134 | 0.000 % |
92.41/92.44 c | 6669 | 97638 423113 1189990 | 141037 6669 140 | 0.000 % |
92.91/92.93 c | 6831 | 97638 423113 1189990 | 141037 6831 138 | 0.000 % |
93.41/93.47 c | 7008 | 97638 423113 1189990 | 141037 7008 135 | 0.000 % |
93.61/93.66 c | 7201 | 97638 423113 1189990 | 141037 7201 135 | 0.000 % |
93.71/93.72 c | 7414 | 97638 423113 1189990 | 141037 7414 132 | 0.000 % |
93.71/93.76 c | 7648 | 97638 423113 1189990 | 141037 7648 129 | 0.000 % |
93.71/93.80 c | 7748 | 97638 423113 1189990 | 141037 7748 127 | 0.000 % |
93.81/93.87 c | 7858 | 97638 423113 1189990 | 141037 7858 126 | 0.000 % |
93.91/93.97 c | 7979 | 97638 423113 1189990 | 141037 7979 124 | 0.000 % |
94.01/94.04 c | 8112 | 97638 423113 1189990 | 141037 8112 123 | 0.000 % |
94.11/94.14 c | 8258 | 97638 423113 1189990 | 141037 8258 121 | 0.000 % |
94.11/94.18 c | 8418 | 97638 423113 1189990 | 141037 8418 119 | 0.000 % |
94.21/94.26 c | 8594 | 97638 423113 1189990 | 141037 8594 117 | 0.000 % |
94.91/94.94 c | 8787 | 97638 423113 1189990 | 141037 8787 121 | 0.000 % |
94.91/95.01 c | 9000 | 97638 423113 1189990 | 141037 9000 119 | 0.000 % |
95.21/95.30 c | 9233 | 97638 423113 1189990 | 141037 9233 118 | 0.000 % |
95.31/95.40 c | 9490 | 97638 423113 1189990 | 141037 9490 117 | 0.000 % |
95.41/95.41 c | 9590 | 97638 423113 1189990 | 141037 9590 116 | 0.000 % |
95.41/95.46 c | 9700 | 97638 423113 1189990 | 141037 9700 115 | 0.000 % |
95.51/95.55 c | 9823 | 97638 423113 1189990 | 141037 9823 114 | 0.000 % |
95.51/95.60 c | 9957 | 97638 423113 1189990 | 141037 9957 113 | 0.000 % |
95.81/95.84 c | 10105 | 97638 423113 1189990 | 2147483647 10105 113 | 0.000 % |
95.81/95.91 c | 10265 | 97638 423113 1189990 | 2147483647 10265 112 | 0.000 % |
95.91/95.96 c | 10442 | 97638 423113 1189990 | 2147483647 10442 110 | 0.000 % |
96.11/96.18 c | 10635 | 97638 423113 1189990 | 2147483647 10635 109 | 0.000 % |
96.21/96.30 c | 10849 | 97638 423113 1189990 | 2147483647 10849 107 | 0.000 % |
96.41/96.41 c | 11083 | 97638 423113 1189990 | 2147483647 11083 105 | 0.000 % |
96.51/96.55 c | 11339 | 97638 423113 1189990 | 2147483647 11339 103 | 0.000 % |
96.61/96.66 c | 11620 | 97638 423113 1189990 | 2147483647 11620 101 | 0.000 % |
96.61/96.70 c | 11720 | 97638 423113 1189990 | 2147483647 11720 101 | 0.000 % |
96.71/96.74 c | 11830 | 97638 423113 1189990 | 2147483647 11830 100 | 0.000 % |
96.71/96.79 c | 11951 | 97638 423113 1189990 | 2147483647 11951 99 | 0.000 % |
96.81/96.86 c | 12085 | 97638 423113 1189990 | 2147483647 12085 98 | 0.000 % |
97.61/97.65 c | 12231 | 97638 423113 1189990 | 2147483647 12231 98 | 0.000 % |
99.91/99.97 c | 12392 | 97638 423113 1189990 | 2147483647 12392 97 | 0.000 % |
101.81/101.88 c | 12570 | 97638 423113 1189990 | 2147483647 12570 97 | 0.000 % |
103.41/103.43 c | 12763 | 97638 423113 1189990 | 2147483647 12763 105 | 0.000 % |
103.71/103.71 c | 12975 | 97638 423113 1189990 | 2147483647 12975 104 | 0.000 % |
103.91/103.96 c | 13208 | 97638 423113 1189990 | 2147483647 13208 102 | 0.000 % |
104.11/104.12 c | 13464 | 97638 423113 1189990 | 2147483647 13464 101 | 0.000 % |
104.11/104.19 c | 13745 | 97638 423113 1189990 | 2147483647 13745 99 | 0.000 % |
104.31/104.32 c | 14054 | 97638 423113 1189990 | 2147483647 14054 98 | 0.000 % |
104.62/104.63 c | 14154 | 97638 423113 1189990 | 2147483647 14154 98 | 0.000 % |
104.62/104.67 c | 14265 | 97638 423113 1189990 | 2147483647 14265 97 | 0.000 % |
104.81/104.81 c | 14387 | 97638 423113 1189990 | 2147483647 14387 97 | 0.000 % |
104.81/104.83 c | 14521 | 97638 423113 1189990 | 2147483647 14521 96 | 0.000 % |
105.31/105.36 c | 14668 | 97638 423113 1189990 | 2147483647 14668 96 | 0.000 % |
105.41/105.42 c | 14829 | 97638 423113 1189990 | 2147483647 14829 95 | 0.000 % |
105.72/105.81 c | 15005 | 97638 423113 1189990 | 2147483647 15005 97 | 0.000 % |
106.01/106.01 c | 15198 | 97638 423113 1189990 | 2147483647 15198 98 | 0.000 % |
106.11/106.13 c | 15410 | 97638 423113 1189990 | 2147483647 15410 97 | 0.000 % |
106.21/106.22 c | 15643 | 97638 423113 1189990 | 2147483647 15643 96 | 0.000 % |
106.31/106.36 c | 15901 | 97638 423113 1189990 | 2147483647 15901 95 | 0.000 % |
106.51/106.52 c | 16183 | 97638 423113 1189990 | 2147483647 16183 94 | 0.000 % |
108.21/108.25 c | 16494 | 97638 423113 1189990 | 2147483647 16494 96 | 0.000 % |
108.91/108.94 c | 16834 | 97638 423113 1189990 | 2147483647 16834 97 | 0.000 % |
108.91/108.97 c | 16934 | 97638 423113 1189990 | 2147483647 16934 97 | 0.000 % |
109.02/109.03 c | 17047 | 97638 423113 1189990 | 2147483647 17047 96 | 0.000 % |
109.21/109.25 c | 17169 | 97638 423113 1189990 | 2147483647 17169 96 | 0.000 % |
109.31/109.32 c | 17308 | 97638 423113 1189990 | 2147483647 17308 96 | 0.000 % |
109.31/109.40 c | 17454 | 97638 423113 1189990 | 2147483647 17454 95 | 0.000 % |
109.41/109.49 c | 17616 | 97638 423113 1189990 | 2147483647 17616 95 | 0.000 % |
109.61/109.67 c | 17793 | 97638 423113 1189990 | 2147483647 17793 94 | 0.000 % |
109.81/109.83 c | 17989 | 97638 423113 1189990 | 2147483647 17989 94 | 0.000 % |
109.91/109.94 c | 18201 | 97638 423113 1189990 | 2147483647 18201 93 | 0.000 % |
110.31/110.35 c | 18435 | 97638 423113 1189990 | 2147483647 18435 93 | 0.000 % |
110.91/110.99 c | 18691 | 97638 423113 1189990 | 2147483647 18691 94 | 0.000 % |
111.11/111.13 c | 18972 | 97638 423113 1189990 | 2147483647 18972 94 | 0.000 % |
111.51/111.59 c | 19281 | 97638 423113 1189990 | 2147483647 19281 93 | 0.000 % |
111.61/111.65 c | 19620 | 97638 423113 1189990 | 2147483647 19620 92 | 0.000 % |
111.71/111.77 c | 19992 | 97638 423113 1189990 | 2147483647 19992 91 | 0.000 % |
111.71/111.81 c | 20092 | 97638 423113 1189990 | 2147483647 20092 91 | 0.000 % |
111.91/111.95 c | 20204 | 97638 423113 1189990 | 2147483647 20204 90 | 0.000 % |
112.01/112.05 c | 20325 | 97638 423113 1189990 | 2147483647 20325 90 | 0.000 % |
112.01/112.08 c | 20458 | 97638 423113 1189990 | 2147483647 20458 90 | 0.000 % |
112.11/112.13 c | 20607 | 97638 423113 1189990 | 2147483647 20607 89 | 0.000 % |
112.21/112.26 c | 20768 | 97638 423113 1189990 | 2147483647 20768 89 | 0.000 % |
112.21/112.29 c | 20944 | 97638 423113 1189990 | 2147483647 20944 88 | 0.000 % |
112.32/112.34 c | 21137 | 97638 423113 1189990 | 2147483647 21137 88 | 0.000 % |
112.81/112.89 c | 21350 | 97638 423113 1189990 | 2147483647 21350 87 | 0.000 % |
113.21/113.25 c | 21583 | 97638 423113 1189990 | 2147483647 21583 87 | 0.000 % |
113.61/113.71 c | 21840 | 97638 423113 1189990 | 2147483647 21840 87 | 0.000 % |
113.81/113.82 c | 22121 | 97638 423113 1189990 | 2147483647 22121 86 | 0.000 % |
113.91/113.91 c | 22430 | 97638 423113 1189990 | 2147483647 22430 85 | 0.000 % |
114.01/114.04 c | 22769 | 97638 423113 1189990 | 2147483647 22769 84 | 0.000 % |
114.21/114.24 c | 23142 | 97638 423113 1189990 | 2147483647 23142 84 | 0.000 % |
114.31/114.32 c | 23551 | 97638 423113 1189990 | 2147483647 23551 83 | 0.000 % |
114.52/114.58 c | 23652 | 97638 423113 1189990 | 2147483647 23652 83 | 0.000 % |
114.71/114.73 c | 23763 | 97638 423113 1189990 | 2147483647 23763 83 | 0.000 % |
114.81/114.83 c | 23884 | 97638 423113 1189990 | 2147483647 23884 82 | 0.000 % |
114.81/114.87 c | 24018 | 97638 423113 1189990 | 2147483647 24018 82 | 0.000 % |
115.11/115.12 c | 24164 | 97638 423113 1189990 | 2147483647 24164 82 | 0.000 % |
115.21/115.23 c | 24327 | 97638 423113 1189990 | 2147483647 24327 81 | 0.000 % |
115.51/115.54 c | 24504 | 97638 423113 1189990 | 2147483647 24504 81 | 0.000 % |
116.21/116.28 c | 24698 | 97638 423113 1189990 | 2147483647 24698 82 | 0.000 % |
116.51/116.55 c | 24913 | 97638 423113 1189990 | 2147483647 24913 81 | 0.000 % |
116.61/116.66 c | 25147 | 97638 423113 1189990 | 2147483647 25147 81 | 0.000 % |
116.72/116.75 c | 25405 | 97638 423113 1189990 | 2147483647 25405 81 | 0.000 % |
117.01/117.04 c | 25687 | 97638 423113 1189990 | 2147483647 25687 80 | 0.000 % |
117.21/117.29 c | 25997 | 97638 423113 1189990 | 2147483647 25997 80 | 0.000 % |
117.41/117.46 c | 26337 | 97638 423113 1189990 | 2147483647 26337 79 | 0.000 % |
118.01/118.10 c | 26709 | 97638 423113 1189990 | 2147483647 26709 80 | 0.000 % |
118.51/118.57 c | 27119 | 97638 423113 1189990 | 2147483647 27119 80 | 0.000 % |
118.71/118.72 c | 27568 | 97638 423113 1189990 | 2147483647 27568 79 | 0.000 % |
119.31/119.34 c | 27669 | 97638 423113 1189990 | 2147483647 27669 80 | 0.000 % |
119.41/119.48 c | 27779 | 97638 423113 1189990 | 2147483647 27779 80 | 0.000 % |
119.41/119.51 c | 27900 | 97638 423113 1189990 | 2147483647 27900 79 | 0.000 % |
119.51/119.54 c | 28033 | 97638 423113 1189990 | 2147483647 28033 79 | 0.000 % |
119.91/119.99 c | 28179 | 97638 423113 1189990 | 2147483647 28179 80 | 0.000 % |
123.81/123.82 c | 28341 | 97638 423113 1189990 | 2147483647 28341 80 | 0.000 % |
124.71/124.74 c | 28517 | 97638 423113 1189990 | 2147483647 28517 80 | 0.000 % |
125.11/125.20 c | 28710 | 97638 423113 1189990 | 2147483647 28710 80 | 0.000 % |
125.52/125.57 c | 28924 | 97638 423113 1189990 | 2147483647 28924 80 | 0.000 % |
125.71/125.78 c | 29159 | 97638 423113 1189990 | 2147483647 29159 79 | 0.000 % |
126.01/126.05 c | 29416 | 97638 423113 1189990 | 2147483647 29416 79 | 0.000 % |
126.41/126.43 c | 29697 | 97638 423113 1189990 | 2147483647 29697 79 | 0.000 % |
126.51/126.56 c | 30006 | 97638 423113 1189990 | 2147483647 30006 79 | 0.000 % |
126.71/126.74 c | 30345 | 97638 423113 1189990 | 2147483647 30345 78 | 0.000 % |
126.91/126.94 c | 30718 | 97638 423113 1189990 | 2147483647 30718 78 | 0.000 % |
126.91/127.00 c | 31127 | 97638 423113 1189990 | 2147483647 31127 77 | 0.000 % |
127.11/127.14 c | 31577 | 97638 423113 1189990 | 2147483647 31577 76 | 0.000 % |
129.71/129.76 c | 32072 | 97638 423113 1189990 | 2147483647 32072 78 | 0.000 % |
129.81/129.85 c | 32172 | 97638 423113 1189990 | 2147483647 32172 78 | 0.000 % |
129.81/129.88 c | 32282 | 97638 423113 1189990 | 2147483647 32282 78 | 0.000 % |
129.81/129.90 c | 32403 | 97638 423113 1189990 | 2147483647 32403 77 | 0.000 % |
130.01/130.08 c | 32536 | 97638 423113 1189990 | 2147483647 32536 77 | 0.000 % |
133.22/133.27 c | 32683 | 97637 423110 1189984 | 2147483647 32682 78 | 0.001 % |
135.61/135.71 c | 32843 | 97637 423110 1189984 | 2147483647 32842 78 | 0.001 % |
136.81/136.82 c | 33019 | 97637 423110 1189984 | 2147483647 33018 79 | 0.001 % |
137.51/137.52 c | 33212 | 97637 423110 1189984 | 2147483647 33211 79 | 0.001 % |
138.01/138.06 c | 33427 | 97637 423110 1189984 | 2147483647 33426 78 | 0.001 % |
138.11/138.17 c | 33662 | 97637 423110 1189984 | 2147483647 33661 78 | 0.001 % |
138.21/138.22 c | 33918 | 97637 423110 1189984 | 2147483647 33917 78 | 0.001 % |
138.41/138.44 c | 34199 | 97637 423110 1189984 | 2147483647 34198 77 | 0.001 % |
138.51/138.57 c | 34510 | 97637 423110 1189984 | 2147483647 34509 77 | 0.001 % |
139.21/139.22 c | 34851 | 97637 423110 1189984 | 2147483647 34850 77 | 0.001 % |
139.31/139.32 c | 35223 | 97637 423110 1189984 | 2147483647 35222 77 | 0.001 % |
139.51/139.53 c | 35632 | 97637 423110 1189984 | 2147483647 35631 76 | 0.001 % |
139.51/139.60 c | 36081 | 97637 423110 1189984 | 2147483647 36080 75 | 0.001 % |
140.61/140.65 c | 36574 | 97637 423110 1189984 | 2147483647 36573 77 | 0.001 % |
140.81/140.89 c | 37118 | 97637 423110 1189984 | 2147483647 37117 76 | 0.001 % |
140.81/140.91 c | 37218 | 97637 423110 1189984 | 2147483647 37217 76 | 0.001 % |
140.81/140.91 c | 37328 | 97637 423110 1189984 | 2147483647 37327 76 | 0.001 % |
140.92/140.97 c | 37449 | 97637 423110 1189984 | 2147483647 37448 76 | 0.001 % |
141.11/141.11 c | 37584 | 97637 423110 1189984 | 2147483647 37583 76 | 0.001 % |
141.31/141.39 c | 37730 | 97637 423110 1189984 | 2147483647 37729 76 | 0.001 % |
141.41/141.45 c | 37891 | 97637 423110 1189984 | 2147483647 37890 75 | 0.001 % |
141.61/141.66 c | 38067 | 97637 423110 1189984 | 2147483647 38066 75 | 0.001 % |
142.21/142.28 c | 38261 | 97637 423110 1189984 | 2147483647 38260 76 | 0.001 % |
142.91/143.00 c | 38474 | 97637 423110 1189984 | 2147483647 38473 76 | 0.001 % |
143.01/143.10 c | 38707 | 97637 423110 1189984 | 2147483647 38706 76 | 0.001 % |
143.21/143.21 c | 38964 | 97637 423110 1189984 | 2147483647 38963 76 | 0.001 % |
143.21/143.24 c | 39247 | 97637 423110 1189984 | 2147483647 39246 75 | 0.001 % |
143.31/143.33 c | 39556 | 97637 423110 1189984 | 2147483647 39555 75 | 0.001 % |
143.41/143.47 c | 39895 | 97637 423110 1189984 | 2147483647 39894 74 | 0.001 % |
143.61/143.67 c | 40267 | 97637 423110 1189984 | 2147483647 40266 74 | 0.001 % |
143.81/143.82 c | 40676 | 97637 423110 1189984 | 2147483647 40675 74 | 0.001 % |
143.81/143.90 c | 41126 | 97637 423110 1189984 | 2147483647 41125 73 | 0.001 % |
143.91/143.99 c | 41620 | 97637 423110 1189984 | 2147483647 41619 72 | 0.001 % |
144.22/144.28 c | 42162 | 97637 423110 1189984 | 2147483647 42161 72 | 0.001 % |
144.51/144.54 c | 42758 | 97637 423110 1189984 | 2147483647 42757 71 | 0.001 % |
144.51/144.57 c | 42858 | 97637 423110 1189984 | 2147483647 42857 71 | 0.001 % |
144.51/144.60 c | 42968 | 97637 423110 1189984 | 2147483647 42967 71 | 0.001 % |
144.81/144.86 c | 43090 | 97637 423110 1189984 | 2147483647 43089 71 | 0.001 % |
145.11/145.11 c | 43224 | 97637 423110 1189984 | 2147483647 43223 71 | 0.001 % |
145.11/145.17 c | 43372 | 97637 423110 1189984 | 2147483647 43371 71 | 0.001 % |
145.32/145.39 c | 43532 | 97637 423110 1189984 | 2147483647 43531 71 | 0.001 % |
145.71/145.73 c | 43708 | 97637 423110 1189984 | 2147483647 43707 71 | 0.001 % |
146.01/146.06 c | 43901 | 97637 423110 1189984 | 2147483647 43900 71 | 0.001 % |
146.11/146.18 c | 44114 | 97637 423110 1189984 | 2147483647 44113 71 | 0.001 % |
146.21/146.29 c | 44348 | 97637 423110 1189984 | 2147483647 44347 71 | 0.001 % |
146.42/146.46 c | 44604 | 97637 423110 1189984 | 2147483647 44603 70 | 0.001 % |
146.61/146.62 c | 44885 | 97637 423110 1189984 | 2147483647 44884 70 | 0.001 % |
147.11/147.12 c | 45196 | 97637 423110 1189984 | 2147483647 45195 70 | 0.001 % |
147.31/147.34 c | 45539 | 97637 423110 1189984 | 2147483647 45538 70 | 0.001 % |
147.81/147.89 c | 45911 | 97637 423110 1189984 | 2147483647 45910 71 | 0.001 % |
148.21/148.25 c | 46320 | 97637 423110 1189984 | 2147483647 46319 71 | 0.001 % |
148.71/148.72 c | 46769 | 97637 423110 1189984 | 2147483647 46768 71 | 0.001 % |
149.21/149.28 c | 47262 | 97637 423110 1189984 | 2147483647 47261 71 | 0.001 % |
149.41/149.43 c | 47804 | 97637 423110 1189984 | 2147483647 47803 70 | 0.001 % |
149.91/150.00 c | 48401 | 97637 423110 1189984 | 2147483647 48400 70 | 0.001 % |
150.21/150.26 c | 49056 | 97637 423110 1189984 | 2147483647 49055 70 | 0.001 % |
151.01/151.09 c | 49156 | 97637 423110 1189984 | 2147483647 49155 70 | 0.001 % |
151.11/151.21 c | 49269 | 97637 423110 1189984 | 2147483647 49268 70 | 0.001 % |
151.31/151.39 c | 49390 | 97637 423110 1189984 | 2147483647 49389 70 | 0.001 % |
151.41/151.43 c | 49526 | 97637 423110 1189984 | 2147483647 49525 70 | 0.001 % |
151.71/151.71 c | 49672 | 97637 423110 1189984 | 2147483647 49671 70 | 0.001 % |
152.01/152.03 c | 49832 | 97637 423110 1189984 | 2147483647 49831 70 | 0.001 % |
152.01/152.08 c | 50010 | 97637 423110 1189984 | 2147483647 50009 70 | 0.001 % |
152.11/152.17 c | 50203 | 97637 423110 1189984 | 2147483647 50202 70 | 0.001 % |
152.11/152.20 c | 50417 | 97637 423110 1189984 | 2147483647 50416 70 | 0.001 % |
152.21/152.25 c | 50650 | 97637 423110 1189984 | 2147483647 50649 69 | 0.001 % |
152.31/152.31 c | 50909 | 97637 423110 1189984 | 2147483647 50908 69 | 0.001 % |
152.41/152.45 c | 51192 | 97637 423110 1189984 | 2147483647 51191 69 | 0.001 % |
152.51/152.55 c | 51501 | 97637 423110 1189984 | 2147483647 51500 69 | 0.001 % |
152.81/152.82 c | 51840 | 97637 423110 1189984 | 2147483647 51839 69 | 0.001 % |
152.91/153.00 c | 52213 | 97637 423110 1189984 | 2147483647 52212 68 | 0.001 % |
153.02/153.11 c | 52622 | 97637 423110 1189984 | 2147483647 52621 68 | 0.001 % |
153.31/153.37 c | 53071 | 97637 423110 1189984 | 2147483647 53070 68 | 0.001 % |
153.81/153.87 c | 53565 | 97637 423110 1189984 | 2147483647 53564 68 | 0.001 % |
154.91/154.93 c | 54107 | 97637 423110 1189984 | 2147483647 54106 68 | 0.001 % |
155.51/155.56 c | 54703 | 97637 423110 1189984 | 2147483647 54702 68 | 0.001 % |
155.71/155.79 c | 55359 | 97637 423110 1189984 | 2147483647 55358 68 | 0.001 % |
156.21/156.24 c | 56080 | 97637 423110 1189984 | 2147483647 56079 67 | 0.001 % |
156.91/156.95 c | 56184 | 97637 423110 1189984 | 2147483647 56183 67 | 0.001 % |
157.21/157.26 c | 56294 | 97637 423110 1189984 | 2147483647 56293 67 | 0.001 % |
157.31/157.41 c | 56416 | 97637 423110 1189984 | 2147483647 56415 67 | 0.001 % |
157.61/157.61 c | 56549 | 97637 423110 1189984 | 2147483647 56548 67 | 0.001 % |
157.72/157.76 c | 56695 | 97637 423110 1189984 | 2147483647 56694 67 | 0.001 % |
157.92/158.01 c | 56855 | 97637 423110 1189984 | 2147483647 56854 68 | 0.001 % |
158.02/158.12 c | 57033 | 97637 423110 1189984 | 2147483647 57032 67 | 0.001 % |
158.82/158.89 c | 57227 | 97637 423110 1189984 | 2147483647 57226 68 | 0.001 % |
161.32/161.36 c | 57439 | 97637 423110 1189984 | 2147483647 57438 67 | 0.001 % |
162.32/162.41 c | 57674 | 97637 423110 1189984 | 2147483647 57673 68 | 0.001 % |
162.42/162.45 c | 57931 | 97637 423110 1189984 | 2147483647 57930 67 | 0.001 % |
162.52/162.52 c | 58212 | 97637 423110 1189984 | 2147483647 58211 67 | 0.001 % |
162.52/162.59 c | 58522 | 97637 423110 1189984 | 2147483647 58521 67 | 0.001 % |
164.92/164.96 c | 58861 | 97637 423110 1189984 | 2147483647 58860 67 | 0.001 % |
169.02/169.03 c | 59233 | 97637 423110 1189984 | 2147483647 59232 68 | 0.001 % |
171.12/171.18 c | 59642 | 97637 423110 1189984 | 2147483647 59641 69 | 0.001 % |
171.32/171.38 c | 60091 | 97637 423110 1189984 | 2147483647 60090 69 | 0.001 % |
176.12/176.21 c | 60585 | 97637 423110 1189984 | 2147483647 60584 69 | 0.001 % |
180.12/180.15 c | 61127 | 97637 423110 1189984 | 2147483647 61126 70 | 0.001 % |
180.72/180.77 c | 61723 | 97637 423110 1189984 | 2147483647 61722 70 | 0.001 % |
181.52/181.58 c | 62379 | 97637 423110 1189984 | 2147483647 62378 70 | 0.001 % |
181.82/181.84 c | 63099 | 97637 423110 1189984 | 2147483647 63098 70 | 0.001 % |
188.92/188.93 c | 63896 | 97637 423110 1189984 | 2147483647 63895 78 | 0.001 % |
189.22/189.24 c | 63996 | 97637 423110 1189984 | 2147483647 63995 78 | 0.001 % |
189.32/189.39 c | 64109 | 97637 423110 1189984 | 2147483647 64108 78 | 0.001 % |
189.52/189.54 c | 64231 | 97637 423110 1189984 | 2147483647 64230 78 | 0.001 % |
189.52/189.61 c | 64364 | 97637 423110 1189984 | 2147483647 64363 78 | 0.001 % |
189.62/189.70 c | 64512 | 97637 423110 1189984 | 2147483647 64511 78 | 0.001 % |
190.42/190.51 c | 64672 | 97637 423110 1189984 | 2147483647 64671 79 | 0.001 % |
190.52/190.61 c | 64849 | 97637 423110 1189984 | 2147483647 64848 79 | 0.001 % |
190.62/190.69 c | 65042 | 97637 423110 1189984 | 2147483647 65041 79 | 0.001 % |
190.92/190.99 c | 65254 | 97637 423110 1189984 | 2147483647 65253 79 | 0.001 % |
191.12/191.13 c | 65488 | 97637 423110 1189984 | 2147483647 65487 78 | 0.001 % |
191.12/191.20 c | 65748 | 97637 423110 1189984 | 2147483647 65747 78 | 0.001 % |
191.32/191.40 c | 66030 | 97637 423110 1189984 | 2147483647 66029 78 | 0.001 % |
192.02/192.09 c | 66340 | 97637 423110 1189984 | 2147483647 66339 78 | 0.001 % |
192.32/192.38 c | 66679 | 97637 423110 1189984 | 2147483647 66678 78 | 0.001 % |
192.62/192.67 c | 67052 | 97637 423110 1189984 | 2147483647 67051 78 | 0.001 % |
195.32/195.39 c | 67462 | 97637 423110 1189984 | 2147483647 67461 80 | 0.001 % |
196.02/196.05 c | 67911 | 97637 423110 1189984 | 2147483647 67910 81 | 0.001 % |
196.12/196.21 c | 68406 | 97637 423110 1189984 | 2147483647 68405 80 | 0.001 % |
196.42/196.48 c | 68948 | 97637 423110 1189984 | 2147483647 68947 80 | 0.001 % |
197.02/197.07 c | 69545 | 97637 423110 1189984 | 2147483647 69544 80 | 0.001 % |
203.82/203.87 c | 70200 | 97637 423110 1189984 | 2147483647 70199 81 | 0.001 % |
204.62/204.71 c | 70921 | 97637 423110 1189984 | 2147483647 70920 80 | 0.001 % |
204.92/204.95 c | 71715 | 97637 423110 1189984 | 2147483647 71714 80 | 0.001 % |
205.62/205.62 c | 72586 | 97637 423110 1189984 | 2147483647 72585 79 | 0.001 % |
206.32/206.37 c | 72687 | 97637 423110 1189984 | 2147483647 72686 79 | 0.001 % |
206.92/206.96 c | 72798 | 97637 423110 1189984 | 2147483647 72797 79 | 0.001 % |
207.02/207.10 c | 72919 | 97637 423110 1189984 | 2147483647 72918 79 | 0.001 % |
207.22/207.24 c | 73052 | 97637 423110 1189984 | 2147483647 73051 79 | 0.001 % |
207.52/207.54 c | 73199 | 97637 423110 1189984 | 2147483647 73198 79 | 0.001 % |
207.62/207.64 c | 73360 | 97637 423110 1189984 | 2147483647 73359 79 | 0.001 % |
207.82/207.82 c | 73537 | 97637 423110 1189984 | 2147483647 73536 79 | 0.001 % |
209.52/209.52 c | 73730 | 97637 423110 1189984 | 2147483647 73729 79 | 0.001 % |
209.52/209.61 c | 73942 | 97637 423110 1189984 | 2147483647 73941 79 | 0.001 % |
210.02/210.12 c | 74176 | 97637 423110 1189984 | 2147483647 74175 79 | 0.001 % |
210.12/210.18 c | 74434 | 97637 423110 1189984 | 2147483647 74433 79 | 0.001 % |
210.42/210.44 c | 74715 | 97637 423110 1189984 | 2147483647 74714 79 | 0.001 % |
210.62/210.65 c | 75025 | 97637 423110 1189984 | 2147483647 75024 79 | 0.001 % |
211.72/211.73 c | 75365 | 97637 423110 1189984 | 2147483647 75364 79 | 0.001 % |
211.92/211.95 c | 75738 | 97637 423110 1189984 | 2147483647 75737 79 | 0.001 % |
212.12/212.14 c | 76147 | 97637 423110 1189984 | 2147483647 76146 78 | 0.001 % |
212.22/212.27 c | 76596 | 97637 423110 1189984 | 2147483647 76595 78 | 0.001 % |
212.72/212.78 c | 77089 | 97637 423110 1189984 | 2147483647 77088 78 | 0.001 % |
216.22/216.22 c | 77631 | 97637 423110 1189984 | 2147483647 77630 79 | 0.001 % |
216.82/216.89 c | 78227 | 97637 423110 1189984 | 2147483647 78226 79 | 0.001 % |
217.42/217.48 c | 78882 | 97637 423110 1189984 | 2147483647 78881 79 | 0.001 % |
217.62/217.62 c | 79603 | 97637 423110 1189984 | 2147483647 79602 78 | 0.001 % |
218.52/218.52 c | 80395 | 97637 423110 1189984 | 2147483647 80394 78 | 0.001 % |
219.32/219.35 c | 81267 | 97637 423110 1189984 | 2147483647 81266 78 | 0.001 % |
219.72/219.80 c | 82226 | 97637 423110 1189984 | 2147483647 82225 77 | 0.001 % |
219.72/219.81 c | 82326 | 97637 423110 1189984 | 2147483647 82325 77 | 0.001 % |
219.82/219.86 c | 82436 | 97637 423110 1189984 | 2147483647 82435 77 | 0.001 % |
219.92/219.93 c | 82559 | 97637 423110 1189984 | 2147483647 82558 77 | 0.001 % |
220.42/220.51 c | 82692 | 97637 423110 1189984 | 2147483647 82691 77 | 0.001 % |
221.82/221.84 c | 82838 | 97637 423110 1189984 | 2147483647 82837 77 | 0.001 % |
222.22/222.25 c | 82998 | 97637 423110 1189984 | 2147483647 82997 77 | 0.001 % |
222.32/222.41 c | 83174 | 97637 423110 1189984 | 2147483647 83173 77 | 0.001 % |
222.42/222.48 c | 83367 | 97637 423110 1189984 | 2147483647 83366 76 | 0.001 % |
222.52/222.52 c | 83580 | 97637 423110 1189984 | 2147483647 83579 76 | 0.001 % |
223.42/223.46 c | 83813 | 97637 423110 1189984 | 2147483647 83812 77 | 0.001 % |
223.82/223.84 c | 84069 | 97637 423110 1189984 | 2147483647 84068 77 | 0.001 % |
224.82/224.91 c | 84350 | 97637 423110 1189984 | 2147483647 84349 77 | 0.001 % |
225.12/225.19 c | 84659 | 97637 423110 1189984 | 2147483647 84658 77 | 0.001 % |
225.22/225.23 c | 85000 | 97637 423110 1189984 | 2147483647 84999 77 | 0.001 % |
225.32/225.41 c | 85372 | 97637 423110 1189984 | 2147483647 85371 77 | 0.001 % |
225.92/226.00 c | 85781 | 97637 423110 1189984 | 2147483647 85780 76 | 0.001 % |
226.22/226.28 c | 86230 | 97637 423110 1189984 | 2147483647 86229 76 | 0.001 % |
226.42/226.50 c | 86724 | 97637 423110 1189984 | 2147483647 86723 76 | 0.001 % |
227.52/227.55 c | 87267 | 97637 423110 1189984 | 2147483647 87266 76 | 0.001 % |
227.72/227.78 c | 87863 | 97637 423110 1189984 | 2147483647 87862 76 | 0.001 % |
228.02/228.02 c | 88518 | 97637 423110 1189984 | 2147483647 88517 75 | 0.001 % |
233.42/233.49 c | 89239 | 97637 423110 1189984 | 2147483647 89238 76 | 0.001 % |
234.22/234.26 c | 90033 | 97637 423110 1189984 | 2147483647 90032 76 | 0.001 % |
240.92/241.01 c | 90904 | 97637 423110 1189984 | 2147483647 90903 76 | 0.001 % |
243.12/243.13 c | 91863 | 97637 423110 1189984 | 2147483647 91862 77 | 0.001 % |
243.23/243.31 c | 92916 | 97637 423110 1189984 | 2147483647 92915 77 | 0.001 % |
243.32/243.33 c | 93016 | 97637 423110 1189984 | 2147483647 93015 77 | 0.001 % |
243.52/243.61 c | 93126 | 97637 423110 1189984 | 2147483647 93125 77 | 0.001 % |
243.72/243.79 c | 93248 | 97637 423110 1189984 | 2147483647 93247 77 | 0.001 % |
243.82/243.84 c | 93381 | 97637 423110 1189984 | 2147483647 93380 77 | 0.001 % |
243.82/243.90 c | 93527 | 97637 423110 1189984 | 2147483647 93526 76 | 0.001 % |
244.42/244.44 c | 93687 | 97637 423110 1189984 | 2147483647 93686 76 | 0.001 % |
244.62/244.70 c | 93863 | 97637 423110 1189984 | 2147483647 93862 76 | 0.001 % |
244.72/244.76 c | 94056 | 97637 423110 1189984 | 2147483647 94055 76 | 0.001 % |
245.12/245.18 c | 94269 | 97637 423110 1189984 | 2147483647 94268 76 | 0.001 % |
245.22/245.26 c | 94502 | 97637 423110 1189984 | 2147483647 94501 76 | 0.001 % |
245.72/245.77 c | 94759 | 97637 423110 1189984 | 2147483647 94758 76 | 0.001 % |
245.92/245.94 c | 95044 | 97637 423110 1189984 | 2147483647 95043 76 | 0.001 % |
248.02/248.08 c | 95354 | 97637 423110 1189984 | 2147483647 95353 76 | 0.001 % |
248.42/248.42 c | 95693 | 97637 423110 1189984 | 2147483647 95692 76 | 0.001 % |
248.52/248.58 c | 96065 | 97637 423110 1189984 | 2147483647 96064 75 | 0.001 % |
252.72/252.76 c | 96475 | 97637 423110 1189984 | 2147483647 96474 77 | 0.001 % |
253.13/253.14 c | 96924 | 97637 423110 1189984 | 2147483647 96923 77 | 0.001 % |
253.52/253.51 c | 97417 | 97637 423110 1189984 | 2147483647 97416 77 | 0.001 % |
253.62/253.66 c | 97959 | 97637 423110 1189984 | 2147483647 97958 76 | 0.001 % |
254.02/254.09 c | 98556 | 97637 423110 1189984 | 2147483647 98555 76 | 0.001 % |
254.52/254.61 c | 99211 | 97637 423110 1189984 | 2147483647 99210 76 | 0.001 % |
254.92/255.00 c | 99932 | 97637 423110 1189984 | 2147483647 99931 76 | 0.001 % |
255.22/255.27 c | 100724 | 97637 423110 1189984 | 2147483647 100723 75 | 0.001 % |
255.52/255.61 c | 101596 | 97637 423110 1189984 | 2147483647 101595 75 | 0.001 % |
256.62/256.71 c | 102555 | 97637 423110 1189984 | 2147483647 102554 75 | 0.001 % |
261.52/261.61 c | 103608 | 97637 423110 1189984 | 2147483647 103607 76 | 0.001 % |
263.22/263.23 c | 104766 | 97637 423110 1189984 | 2147483647 104765 75 | 0.001 % |
263.22/263.30 c | 104866 | 97637 423110 1189984 | 2147483647 104865 75 | 0.001 % |
263.22/263.31 c | 104976 | 97637 423110 1189984 | 2147483647 104975 75 | 0.001 % |
263.42/263.47 c | 105097 | 97637 423110 1189984 | 2147483647 105096 75 | 0.001 % |
267.02/267.08 c | 105231 | 97637 423110 1189984 | 2147483647 105230 76 | 0.001 % |
268.22/268.24 c | 105377 | 97637 423110 1189984 | 2147483647 105376 76 | 0.001 % |
268.42/268.47 c | 105539 | 97637 423110 1189984 | 2147483647 105538 76 | 0.001 % |
268.92/268.95 c | 105715 | 97637 423110 1189984 | 2147483647 105714 76 | 0.001 % |
269.12/269.18 c | 105908 | 97637 423110 1189984 | 2147483647 105907 76 | 0.001 % |
269.22/269.22 c | 106120 | 97637 423110 1189984 | 2147483647 106119 76 | 0.001 % |
269.32/269.37 c | 106355 | 97637 423110 1189984 | 2147483647 106354 76 | 0.001 % |
269.63/269.66 c | 106611 | 97637 423110 1189984 | 2147483647 106610 76 | 0.001 % |
269.82/269.88 c | 106892 | 97637 423110 1189984 | 2147483647 106891 76 | 0.001 % |
270.02/270.01 c | 107201 | 97637 423110 1189984 | 2147483647 107200 76 | 0.001 % |
270.02/270.07 c | 107541 | 97637 423110 1189984 | 2147483647 107540 76 | 0.001 % |
272.12/272.18 c | 107913 | 97637 423110 1189984 | 2147483647 107912 76 | 0.001 % |
272.72/272.72 c | 108322 | 97637 423110 1189984 | 2147483647 108321 76 | 0.001 % |
273.32/273.38 c | 108772 | 97637 423110 1189984 | 2147483647 108771 75 | 0.001 % |
275.32/275.32 c | 109265 | 97637 423110 1189984 | 2147483647 109264 76 | 0.001 % |
275.62/275.63 c | 109808 | 97637 423110 1189984 | 2147483647 109807 76 | 0.001 % |
275.72/275.78 c | 110404 | 97637 423110 1189984 | 2147483647 110403 75 | 0.001 % |
276.02/276.06 c | 111061 | 97637 423110 1189984 | 2147483647 111060 75 | 0.001 % |
283.13/283.20 c | 111781 | 97637 423110 1189984 | 2147483647 111780 75 | 0.001 % |
283.63/283.67 c | 112574 | 97637 423110 1189984 | 2147483647 112573 75 | 0.001 % |
285.23/285.32 c | 113445 | 97637 423110 1189984 | 2147483647 113444 75 | 0.001 % |
286.23/286.30 c | 114403 | 97637 423110 1189984 | 2147483647 114402 75 | 0.001 % |
286.83/286.87 c | 115456 | 97637 423110 1189984 | 2147483647 115455 74 | 0.001 % |
287.43/287.51 c | 116615 | 97637 423110 1189984 | 2147483647 116614 74 | 0.001 % |
287.93/288.00 c | 117888 | 97637 423110 1189984 | 2147483647 117887 74 | 0.001 % |
288.13/288.16 c | 117988 | 97637 423110 1189984 | 2147483647 117987 74 | 0.001 % |
288.23/288.31 c | 118099 | 97637 423110 1189984 | 2147483647 118098 73 | 0.001 % |
290.03/290.09 c | 118220 | 97637 423110 1189984 | 2147483647 118219 73 | 0.001 % |
290.53/290.53 c | 118354 | 97637 423110 1189984 | 2147483647 118353 73 | 0.001 % |
290.93/290.94 c | 118501 | 97637 423110 1189984 | 2147483647 118500 73 | 0.001 % |
293.13/293.13 c | 118661 | 97637 423110 1189984 | 2147483647 118660 74 | 0.001 % |
293.43/293.46 c | 118838 | 97637 423110 1189984 | 2147483647 118837 74 | 0.001 % |
293.53/293.61 c | 119032 | 97637 423110 1189984 | 2147483647 119031 74 | 0.001 % |
294.53/294.60 c | 119245 | 97637 423110 1189984 | 2147483647 119244 74 | 0.001 % |
294.83/294.86 c | 119479 | 97637 423110 1189984 | 2147483647 119478 74 | 0.001 % |
295.13/295.17 c | 119735 | 97637 423110 1189984 | 2147483647 119734 74 | 0.001 % |
295.33/295.40 c | 120016 | 97637 423110 1189984 | 2147483647 120015 74 | 0.001 % |
295.83/295.88 c | 120326 | 97637 423110 1189984 | 2147483647 120325 74 | 0.001 % |
296.33/296.39 c | 120666 | 97637 423110 1189984 | 2147483647 120665 73 | 0.001 % |
296.63/296.64 c | 121039 | 97637 423110 1189984 | 2147483647 121038 73 | 0.001 % |
298.33/298.42 c | 121448 | 97637 423110 1189984 | 2147483647 121447 74 | 0.001 % |
298.63/298.72 c | 121899 | 97637 423110 1189984 | 2147483647 121898 74 | 0.001 % |
298.93/298.95 c | 122393 | 97637 423110 1189984 | 2147483647 122392 74 | 0.001 % |
299.23/299.28 c | 122935 | 97637 423110 1189984 | 2147483647 122934 73 | 0.001 % |
299.83/299.87 c | 123531 | 97637 423110 1189984 | 2147483647 123530 73 | 0.001 % |
313.33/313.32 c | 124186 | 97637 423110 1189984 | 2147483647 124185 75 | 0.001 % |
314.03/314.10 c | 124906 | 97637 423110 1189984 | 2147483647 124905 76 | 0.001 % |
314.83/314.90 c | 125699 | 97637 423110 1189984 | 2147483647 125698 76 | 0.001 % |
315.43/315.44 c | 126571 | 97637 423110 1189984 | 2147483647 126570 75 | 0.001 % |
317.43/317.50 c | 127529 | 97637 423110 1189984 | 2147483647 127528 75 | 0.001 % |
318.23/318.23 c | 128583 | 97637 423110 1189984 | 2147483647 128582 75 | 0.001 % |
321.63/321.66 c | 129742 | 97637 423110 1189984 | 2147483647 129741 75 | 0.001 % |
323.03/323.08 c | 131015 | 97637 423110 1189984 | 2147483647 131014 74 | 0.001 % |
324.83/324.89 c | 132416 | 97637 423110 1189984 | 2147483647 132415 74 | 0.001 % |
326.13/326.20 c | 132516 | 97637 423110 1189984 | 2147483647 132515 74 | 0.001 % |
326.53/326.60 c | 132629 | 97637 423110 1189984 | 2147483647 132628 74 | 0.001 % |
326.93/326.97 c | 132750 | 97637 423110 1189984 | 2147483647 132749 74 | 0.001 % |
327.03/327.05 c | 132883 | 97637 423110 1189984 | 2147483647 132882 74 | 0.001 % |
327.03/327.10 c | 133030 | 97637 423110 1189984 | 2147483647 133029 74 | 0.001 % |
328.93/328.95 c | 133192 | 97637 423110 1189984 | 2147483647 133191 74 | 0.001 % |
329.63/329.69 c | 133368 | 97637 423110 1189984 | 2147483647 133367 74 | 0.001 % |
330.13/330.16 c | 133561 | 97637 423110 1189984 | 2147483647 133560 74 | 0.001 % |
331.73/331.76 c | 133773 | 97637 423110 1189984 | 2147483647 133772 75 | 0.001 % |
332.03/332.06 c | 134007 | 97637 423110 1189984 | 2147483647 134006 75 | 0.001 % |
332.73/332.76 c | 134263 | 97637 423110 1189984 | 2147483647 134262 75 | 0.001 % |
333.43/333.50 c | 134544 | 97637 423110 1189984 | 2147483647 134543 75 | 0.001 % |
334.63/334.66 c | 134856 | 97637 423110 1189984 | 2147483647 134855 75 | 0.001 % |
335.23/335.32 c | 135195 | 97637 423110 1189984 | 2147483647 135194 75 | 0.001 % |
335.93/335.93 c | 135567 | 97637 423110 1189984 | 2147483647 135566 75 | 0.001 % |
336.33/336.33 c | 135976 | 97637 423110 1189984 | 2147483647 135975 75 | 0.001 % |
336.43/336.50 c | 136426 | 97637 423110 1189984 | 2147483647 136425 75 | 0.001 % |
336.83/336.88 c | 136919 | 97637 423110 1189984 | 2147483647 136918 75 | 0.001 % |
337.13/337.18 c | 137461 | 97637 423110 1189984 | 2147483647 137460 74 | 0.001 % |
338.63/338.70 c | 138058 | 97637 423110 1189984 | 2147483647 138057 75 | 0.001 % |
341.53/341.56 c | 138713 | 97637 423110 1189984 | 2147483647 138712 75 | 0.001 % |
341.63/341.68 c | 139433 | 97637 423110 1189984 | 2147483647 139432 75 | 0.001 % |
342.13/342.20 c | 140226 | 97637 423110 1189984 | 2147483647 140225 74 | 0.001 % |
342.63/342.71 c | 141099 | 97637 423110 1189984 | 2147483647 141098 74 | 0.001 % |
343.93/343.99 c | 142058 | 97637 423110 1189984 | 2147483647 142057 74 | 0.001 % |
345.43/345.45 c | 143112 | 97637 423110 1189984 | 2147483647 143111 74 | 0.001 % |
347.83/347.86 c | 144270 | 97637 423110 1189984 | 2147483647 144269 75 | 0.001 % |
348.53/348.53 c | 145543 | 97637 423110 1189984 | 2147483647 145542 75 | 0.001 % |
386.32/386.35 c | 146944 | 97637 423110 1189984 | 2147483647 146943 81 | 0.001 % |
387.22/387.27 c | 148484 | 97637 423110 1189984 | 2147483647 148483 80 | 0.001 % |
387.22/387.31 c | 148584 | 97637 423110 1189984 | 2147483647 148583 80 | 0.001 % |
387.72/387.74 c | 148694 | 97637 423110 1189984 | 2147483647 148693 80 | 0.001 % |
387.82/387.89 c | 148816 | 97637 423110 1189984 | 2147483647 148815 80 | 0.001 % |
388.02/388.02 c | 148951 | 97637 423110 1189984 | 2147483647 148950 80 | 0.001 % |
388.02/388.07 c | 149097 | 97637 423110 1189984 | 2147483647 149096 80 | 0.001 % |
388.52/388.55 c | 149258 | 97637 423110 1189984 | 2147483647 149257 80 | 0.001 % |
388.72/388.72 c | 149434 | 97637 423110 1189984 | 2147483647 149433 80 | 0.001 % |
388.72/388.76 c | 149628 | 97637 423110 1189984 | 2147483647 149627 80 | 0.001 % |
388.92/388.92 c | 149841 | 97637 423110 1189984 | 2147483647 149840 80 | 0.001 % |
389.02/389.10 c | 150075 | 97637 423110 1189984 | 2147483647 150074 80 | 0.001 % |
393.02/393.06 c | 150331 | 97637 423110 1189984 | 2147483647 150330 80 | 0.001 % |
393.22/393.28 c | 150613 | 97637 423110 1189984 | 2147483647 150612 80 | 0.001 % |
393.42/393.43 c | 150923 | 97637 423110 1189984 | 2147483647 150922 80 | 0.001 % |
394.92/394.96 c | 151263 | 97637 423110 1189984 | 2147483647 151262 80 | 0.001 % |
395.52/395.58 c | 151637 | 97637 423110 1189984 | 2147483647 151636 80 | 0.001 % |
395.72/395.79 c | 152046 | 97637 423110 1189984 | 2147483647 152045 80 | 0.001 % |
396.32/396.37 c | 152496 | 97637 423110 1189984 | 2147483647 152495 80 | 0.001 % |
396.52/396.55 c | 152989 | 97637 423110 1189984 | 2147483647 152988 80 | 0.001 % |
396.92/396.97 c | 153532 | 97637 423110 1189984 | 2147483647 153531 80 | 0.001 % |
403.83/403.83 c | 154128 | 97637 423110 1189984 | 2147483647 154127 80 | 0.001 % |
404.72/404.73 c | 154784 | 97637 423110 1189984 | 2147483647 154783 80 | 0.001 % |
405.02/405.06 c | 155504 | 97637 423110 1189984 | 2147483647 155503 80 | 0.001 % |
412.13/412.16 c | 156298 | 97637 423110 1189984 | 2147483647 156297 82 | 0.001 % |
415.63/415.64 c | 157169 | 97637 423110 1189984 | 2147483647 157168 82 | 0.001 % |
416.13/416.18 c | 158128 | 97637 423110 1189984 | 2147483647 158127 82 | 0.001 % |
416.33/416.34 c | 159181 | 97637 423110 1189984 | 2147483647 159180 82 | 0.001 % |
416.83/416.87 c | 160340 | 97637 423110 1189984 | 2147483647 160339 81 | 0.001 % |
417.33/417.38 c | 161613 | 97637 423110 1189984 | 2147483647 161612 81 | 0.001 % |
418.13/418.16 c | 163015 | 97637 423110 1189984 | 2147483647 163014 81 | 0.001 % |
419.13/419.17 c | 164556 | 97637 423110 1189984 | 2147483647 164555 80 | 0.001 % |
424.43/424.42 c | 166251 | 97637 423110 1189984 | 2147483647 166250 81 | 0.001 % |
424.53/424.57 c | 166352 | 97637 423110 1189984 | 2147483647 166351 81 | 0.001 % |
424.63/424.70 c | 166462 | 97637 423110 1189984 | 2147483647 166461 81 | 0.001 % |
424.73/424.80 c | 166583 | 97637 423110 1189984 | 2147483647 166582 81 | 0.001 % |
427.03/427.03 c | 166718 | 97637 423110 1189984 | 2147483647 166717 81 | 0.001 % |
427.63/427.66 c | 166864 | 97637 423110 1189984 | 2147483647 166863 81 | 0.001 % |
428.03/428.03 c | 167025 | 97637 423110 1189984 | 2147483647 167024 81 | 0.001 % |
428.63/428.64 c | 167201 | 97637 423110 1189984 | 2147483647 167200 81 | 0.001 % |
428.83/428.82 c | 167394 | 97637 423110 1189984 | 2147483647 167393 81 | 0.001 % |
428.93/428.94 c | 167606 | 97637 423110 1189984 | 2147483647 167605 81 | 0.001 % |
428.93/428.98 c | 167840 | 97637 423110 1189984 | 2147483647 167839 81 | 0.001 % |
429.03/429.06 c | 168097 | 97637 423110 1189984 | 2147483647 168096 81 | 0.001 % |
429.33/429.35 c | 168378 | 97637 423110 1189984 | 2147483647 168377 81 | 0.001 % |
431.43/431.45 c | 168688 | 97637 423110 1189984 | 2147483647 168687 81 | 0.001 % |
431.83/431.87 c | 169027 | 97637 423110 1189984 | 2147483647 169026 81 | 0.001 % |
433.33/433.36 c | 169400 | 97637 423110 1189984 | 2147483647 169399 81 | 0.001 % |
434.83/434.83 c | 169811 | 97637 423110 1189984 | 2147483647 169810 81 | 0.001 % |
435.33/435.40 c | 170260 | 97637 423110 1189984 | 2147483647 170259 81 | 0.001 % |
435.73/435.75 c | 170753 | 97637 423110 1189984 | 2147483647 170752 81 | 0.001 % |
437.03/437.08 c | 171298 | 97637 423110 1189984 | 2147483647 171297 81 | 0.001 % |
437.63/437.65 c | 171894 | 97637 423110 1189984 | 2147483647 171893 81 | 0.001 % |
437.93/437.95 c | 172549 | 97637 423110 1189984 | 2147483647 172548 80 | 0.001 % |
440.43/440.51 c | 173269 | 97637 423110 1189984 | 2147483647 173268 81 | 0.001 % |
441.33/441.36 c | 174062 | 97637 423110 1189984 | 2147483647 174061 80 | 0.001 % |
450.03/450.11 c | 174936 | 97637 423110 1189984 | 2147483647 174935 80 | 0.001 % |
455.83/455.83 c | 175894 | 97637 423110 1189984 | 2147483647 175893 81 | 0.001 % |
457.03/457.02 c | 176948 | 97637 423110 1189984 | 2147483647 176947 81 | 0.001 % |
458.03/458.06 c | 178107 | 97637 423110 1189984 | 2147483647 178106 81 | 0.001 % |
459.23/459.27 c | 179380 | 97637 423110 1189984 | 2147483647 179379 81 | 0.001 % |
460.03/460.07 c | 180780 | 97637 423110 1189984 | 2147483647 180779 80 | 0.001 % |
461.13/461.18 c | 182320 | 97637 423110 1189984 | 2147483647 182319 80 | 0.001 % |
466.93/466.98 c | 184015 | 97637 423110 1189984 | 2147483647 184014 81 | 0.001 % |
474.33/474.39 c | 185878 | 97637 423110 1189984 | 2147483647 185877 81 | 0.001 % |
475.93/475.95 c | 185978 | 97637 423110 1189984 | 2147483647 185977 81 | 0.001 % |
477.93/477.99 c | 186089 | 97637 423110 1189984 | 2147483647 186088 81 | 0.001 % |
478.33/478.36 c | 186210 | 97637 423110 1189984 | 2147483647 186209 81 | 0.001 % |
478.33/478.41 c | 186344 | 97637 423110 1189984 | 2147483647 186343 81 | 0.001 % |
478.43/478.47 c | 186490 | 97637 423110 1189984 | 2147483647 186489 81 | 0.001 % |
478.53/478.58 c | 186651 | 97637 423110 1189984 | 2147483647 186650 81 | 0.001 % |
478.63/478.67 c | 186828 | 97637 423110 1189984 | 2147483647 186827 81 | 0.001 % |
478.73/478.74 c | 187022 | 97637 423110 1189984 | 2147483647 187021 81 | 0.001 % |
479.53/479.58 c | 187234 | 97637 423110 1189984 | 2147483647 187233 81 | 0.001 % |
481.43/481.42 c | 187467 | 97637 423110 1189984 | 2147483647 187466 81 | 0.001 % |
482.73/482.73 c | 187724 | 97637 423110 1189984 | 2147483647 187723 81 | 0.001 % |
485.03/485.06 c | 188005 | 97637 423110 1189984 | 2147483647 188004 81 | 0.001 % |
487.23/487.25 c | 188314 | 97637 423110 1189984 | 2147483647 188313 81 | 0.001 % |
487.83/487.84 c | 188653 | 97637 423110 1189984 | 2147483647 188652 81 | 0.001 % |
487.93/487.99 c | 189025 | 97637 423110 1189984 | 2147483647 189024 81 | 0.001 % |
489.43/489.45 c | 189435 | 97637 423110 1189984 | 2147483647 189434 82 | 0.001 % |
491.13/491.15 c | 189885 | 97637 423110 1189984 | 2147483647 189884 82 | 0.001 % |
491.53/491.56 c | 190380 | 97637 423110 1189984 | 2147483647 190379 82 | 0.001 % |
491.84/491.90 c | 190922 | 97637 423110 1189984 | 2147483647 190921 82 | 0.001 % |
492.13/492.18 c | 191519 | 97637 423110 1189984 | 2147483647 191518 82 | 0.001 % |
497.03/497.08 c | 192174 | 97637 423110 1189984 | 2147483647 192173 82 | 0.001 % |
497.83/497.82 c | 192894 | 97637 423110 1189984 | 2147483647 192893 82 | 0.001 % |
498.53/498.53 c | 193686 | 97637 423110 1189984 | 2147483647 193685 82 | 0.001 % |
498.93/498.99 c | 194558 | 97637 423110 1189984 | 2147483647 194557 82 | 0.001 % |
501.83/501.83 c | 195517 | 97637 423110 1189984 | 2147483647 195516 82 | 0.001 % |
503.94/504.00 c | 196570 | 97637 423110 1189984 | 2147483647 196569 82 | 0.001 % |
517.83/517.87 c | 197728 | 97637 423110 1189984 | 2147483647 197727 82 | 0.001 % |
522.53/522.56 c | 199002 | 97637 423110 1189984 | 2147483647 199001 83 | 0.001 % |
524.63/524.62 c | 200403 | 97637 423110 1189984 | 2147483647 200402 82 | 0.001 % |
526.73/526.75 c | 201943 | 97637 423110 1189984 | 2147483647 201942 82 | 0.001 % |
528.33/528.40 c | 203638 | 97637 423110 1189984 | 2147483647 203637 82 | 0.001 % |
529.73/529.74 c | 205501 | 97637 423110 1189984 | 2147483647 205500 82 | 0.001 % |
532.63/532.68 c | 207551 | 97637 423110 1189984 | 2147483647 207550 82 | 0.001 % |
533.84/533.86 c | 207651 | 97637 423110 1189984 | 2147483647 207650 82 | 0.001 % |
533.94/534.01 c | 207761 | 97637 423110 1189984 | 2147483647 207760 82 | 0.001 % |
534.04/534.10 c | 207882 | 97637 423110 1189984 | 2147483647 207881 82 | 0.001 % |
534.14/534.19 c | 208015 | 97637 423110 1189984 | 2147483647 208014 82 | 0.001 % |
535.74/535.80 c | 208162 | 97637 423110 1189984 | 2147483647 208161 82 | 0.001 % |
535.94/535.99 c | 208322 | 97637 423110 1189984 | 2147483647 208321 82 | 0.001 % |
536.14/536.20 c | 208498 | 97637 423110 1189984 | 2147483647 208497 82 | 0.001 % |
536.24/536.31 c | 208691 | 97637 423110 1189984 | 2147483647 208690 81 | 0.001 % |
536.44/536.42 c | 208903 | 97637 423110 1189984 | 2147483647 208902 81 | 0.001 % |
536.54/536.58 c | 209138 | 97637 423110 1189984 | 2147483647 209137 81 | 0.001 % |
536.84/536.86 c | 209395 | 97637 423110 1189984 | 2147483647 209394 81 | 0.001 % |
537.04/537.05 c | 209679 | 97637 423110 1189984 | 2147483647 209678 81 | 0.001 % |
537.04/537.09 c | 209988 | 97637 423110 1189984 | 2147483647 209987 81 | 0.001 % |
537.44/537.46 c | 210328 | 97637 423110 1189984 | 2147483647 210327 81 | 0.001 % |
537.54/537.59 c | 210700 | 97637 423110 1189984 | 2147483647 210699 81 | 0.001 % |
537.94/537.95 c | 211110 | 97637 423110 1189984 | 2147483647 211109 81 | 0.001 % |
538.54/538.54 c | 211560 | 97637 423110 1189984 | 2147483647 211559 81 | 0.001 % |
540.44/540.50 c | 212054 | 97637 423110 1189984 | 2147483647 212053 81 | 0.001 % |
540.94/540.96 c | 212596 | 97637 423110 1189984 | 2147483647 212595 81 | 0.001 % |
542.54/542.59 c | 213192 | 97637 423110 1189984 | 2147483647 213191 81 | 0.001 % |
546.44/546.42 c | 213848 | 97637 423110 1189984 | 2147483647 213847 81 | 0.001 % |
548.54/548.56 c | 214569 | 97637 423110 1189984 | 2147483647 214568 81 | 0.001 % |
550.14/550.16 c | 215361 | 97637 423110 1189984 | 2147483647 215360 81 | 0.001 % |
551.44/551.48 c | 216233 | 97637 423110 1189984 | 2147483647 216232 81 | 0.001 % |
551.54/551.59 c | 217193 | 97637 423110 1189984 | 2147483647 217192 80 | 0.001 % |
552.74/552.79 c | 218247 | 97637 423110 1189984 | 2147483647 218246 80 | 0.001 % |
553.74/553.73 c | 219405 | 97637 423110 1189984 | 2147483647 219404 80 | 0.001 % |
554.24/554.27 c | 220678 | 97637 423110 1189984 | 2147483647 220677 80 | 0.001 % |
555.14/555.14 c | 222080 | 97637 423110 1189984 | 2147483647 222079 79 | 0.001 % |
560.54/560.59 c | 223620 | 97637 423110 1189984 | 2147483647 223619 80 | 0.001 % |
561.94/561.96 c | 225314 | 97637 423110 1189984 | 2147483647 225313 80 | 0.001 % |
564.74/564.78 c | 227177 | 97637 423110 1189984 | 2147483647 227176 79 | 0.001 % |
566.34/566.36 c | 229226 | 97637 423110 1189984 | 2147483647 229225 79 | 0.001 % |
568.04/568.06 c | 231479 | 97637 423110 1189984 | 2147483647 231478 78 | 0.001 % |
568.14/568.20 c | 231579 | 97637 423110 1189984 | 2147483647 231578 78 | 0.001 % |
571.34/571.35 c | 231692 | 97637 423110 1189984 | 2147483647 231691 79 | 0.001 % |
573.74/573.81 c | 231814 | 97637 423110 1189984 | 2147483647 231813 79 | 0.001 % |
578.64/578.67 c | 231948 | 97637 423110 1189984 | 2147483647 231947 79 | 0.001 % |
579.34/579.40 c | 232095 | 97637 423110 1189984 | 2147483647 232094 79 | 0.001 % |
582.34/582.32 c | 232256 | 97637 423110 1189984 | 2147483647 232255 79 | 0.001 % |
583.64/583.62 c | 232433 | 97637 423110 1189984 | 2147483647 232432 79 | 0.001 % |
592.34/592.35 c | 232628 | 97637 423110 1189984 | 2147483647 232627 79 | 0.001 % |
598.04/598.10 c | 232840 | 97637 423110 1189984 | 2147483647 232839 79 | 0.001 % |
601.64/601.64 c | 233073 | 97637 423110 1189984 | 2147483647 233072 79 | 0.001 % |
602.64/602.65 c | 233329 | 97637 423110 1189984 | 2147483647 233328 79 | 0.001 % |
603.24/603.28 c | 233610 | 97637 423110 1189984 | 2147483647 233609 79 | 0.001 % |
603.54/603.52 c | 233919 | 97637 423110 1189984 | 2147483647 233918 79 | 0.001 % |
603.74/603.78 c | 234259 | 97637 423110 1189984 | 2147483647 234258 79 | 0.001 % |
604.64/604.62 c | 234632 | 97637 423110 1189984 | 2147483647 234631 79 | 0.001 % |
604.74/604.76 c | 235042 | 97637 423110 1189984 | 2147483647 235041 79 | 0.001 % |
605.54/605.60 c | 235491 | 97637 423110 1189984 | 2147483647 235490 79 | 0.001 % |
605.94/605.94 c | 235984 | 97637 423110 1189984 | 2147483647 235983 79 | 0.001 % |
606.25/606.28 c | 236527 | 97637 423110 1189984 | 2147483647 236526 79 | 0.001 % |
609.94/610.00 c | 237123 | 97637 423110 1189984 | 2147483647 237122 79 | 0.001 % |
610.14/610.16 c | 237779 | 97637 423110 1189984 | 2147483647 237778 79 | 0.001 % |
610.84/610.84 c | 238500 | 97637 423110 1189984 | 2147483647 238499 78 | 0.001 % |
625.84/625.87 c | 239293 | 97637 423110 1189984 | 2147483647 239292 78 | 0.001 % |
627.64/627.67 c | 240164 | 97637 423110 1189984 | 2147483647 240163 78 | 0.001 % |
629.64/629.70 c | 241122 | 97637 423110 1189984 | 2147483647 241121 78 | 0.001 % |
630.14/630.12 c | 242175 | 97637 423110 1189984 | 2147483647 242174 78 | 0.001 % |
636.34/636.32 c | 243341 | 97637 423110 1189984 | 2147483647 243340 78 | 0.001 % |
637.24/637.24 c | 244614 | 97637 423110 1189984 | 2147483647 244613 78 | 0.001 % |
637.54/637.60 c | 246015 | 97637 423110 1189984 | 2147483647 246014 78 | 0.001 % |
643.54/643.61 c | 247555 | 97637 423110 1189984 | 2147483647 247554 78 | 0.001 % |
689.85/689.83 c | 249250 | 97637 423110 1189984 | 2147483647 249249 79 | 0.001 % |
703.95/703.94 c | 251113 | 97637 423110 1189984 | 2147483647 251112 81 | 0.001 % |
762.34/762.31 c | 253163 | 97637 423110 1189984 | 2147483647 253162 82 | 0.001 % |
840.35/840.38 c | 255416 | 97637 423110 1189984 | 2147483647 255415 87 | 0.001 % |
852.15/852.20 c | 257894 | 97637 423110 1189984 | 2147483647 257893 87 | 0.001 % |
852.25/852.21 c | 257994 | 97637 423110 1189984 | 2147483647 257993 87 | 0.001 % |
852.25/852.25 c | 258106 | 97637 423110 1189984 | 2147483647 258105 87 | 0.001 % |
852.35/852.32 c | 258227 | 97637 423110 1189984 | 2147483647 258226 87 | 0.001 % |
852.35/852.40 c | 258365 | 97637 423110 1189984 | 2147483647 258364 87 | 0.001 % |
852.55/852.52 c | 258512 | 97637 423110 1189984 | 2147483647 258511 87 | 0.001 % |
853.55/853.61 c | 258676 | 97637 423110 1189984 | 2147483647 258675 87 | 0.001 % |
856.15/856.16 c | 258852 | 97637 423110 1189984 | 2147483647 258851 87 | 0.001 % |
861.25/861.23 c | 259051 | 97637 423110 1189984 | 2147483647 259050 87 | 0.001 % |
865.05/865.09 c | 259263 | 97637 423110 1189984 | 2147483647 259262 87 | 0.001 % |
865.45/865.42 c | 259497 | 97637 423110 1189984 | 2147483647 259496 87 | 0.001 % |
866.05/866.08 c | 259754 | 97637 423110 1189984 | 2147483647 259753 87 | 0.001 % |
866.75/866.74 c | 260035 | 97637 423110 1189984 | 2147483647 260034 87 | 0.001 % |
867.35/867.37 c | 260345 | 97637 423110 1189984 | 2147483647 260344 87 | 0.001 % |
867.65/867.67 c | 260684 | 97637 423110 1189984 | 2147483647 260683 87 | 0.001 % |
868.65/868.64 c | 261057 | 97637 423110 1189984 | 2147483647 261056 87 | 0.001 % |
869.16/869.17 c | 261466 | 97637 423110 1189984 | 2147483647 261465 87 | 0.001 % |
869.75/869.75 c | 261916 | 97637 423110 1189984 | 2147483647 261915 87 | 0.001 % |
870.75/870.74 c | 262409 | 97637 423110 1189984 | 2147483647 262408 87 | 0.001 % |
871.95/871.96 c | 262952 | 97637 423110 1189984 | 2147483647 262951 87 | 0.001 % |
873.35/873.37 c | 263549 | 97637 423110 1189984 | 2147483647 263548 87 | 0.001 % |
873.95/873.96 c | 264204 | 97637 423110 1189984 | 2147483647 264203 87 | 0.001 % |
874.35/874.39 c | 264925 | 97637 423110 1189984 | 2147483647 264924 87 | 0.001 % |
874.85/874.87 c | 265719 | 97637 423110 1189984 | 2147483647 265718 87 | 0.001 % |
875.65/875.64 c | 266590 | 97637 423110 1189984 | 2147483647 266589 87 | 0.001 % |
876.75/876.72 c | 267548 | 97637 423110 1189984 | 2147483647 267547 87 | 0.001 % |
878.15/878.18 c | 268601 | 97637 423110 1189984 | 2147483647 268600 87 | 0.001 % |
879.15/879.18 c | 269760 | 97637 423110 1189984 | 2147483647 269759 86 | 0.001 % |
880.16/880.13 c | 271035 | 97637 423110 1189984 | 2147483647 271034 86 | 0.001 % |
886.25/886.28 c | 272435 | 97637 423110 1189984 | 2147483647 272434 87 | 0.001 % |
889.85/889.90 c | 273976 | 97637 423110 1189984 | 2147483647 273975 87 | 0.001 % |
890.65/890.67 c | 275670 | 97637 423110 1189984 | 2147483647 275669 87 | 0.001 % |
891.95/891.93 c | 277534 | 97637 423110 1189984 | 2147483647 277533 86 | 0.001 % |
896.45/896.49 c | 279583 | 97637 423110 1189984 | 2147483647 279582 86 | 0.001 % |
899.96/899.99 c | 281837 | 97637 423110 1189984 | 2147483647 281836 86 | 0.001 % |
908.15/908.11 c | 284316 | 97637 423110 1189984 | 2147483647 284315 86 | 0.001 % |
910.06/910.09 c | 287041 | 97637 423110 1189984 | 2147483647 287040 85 | 0.001 % |
910.66/910.71 c | 287141 | 97637 423110 1189984 | 2147483647 287140 85 | 0.001 % |
913.06/913.07 c | 287251 | 97637 423110 1189984 | 2147483647 287250 86 | 0.001 % |
913.36/913.41 c | 287374 | 97637 423110 1189984 | 2147483647 287373 86 | 0.001 % |
913.56/913.56 c | 287507 | 97637 423110 1189984 | 2147483647 287506 86 | 0.001 % |
914.96/915.00 c | 287654 | 97637 423110 1189984 | 2147483647 287653 86 | 0.001 % |
915.56/915.54 c | 287815 | 97637 423110 1189984 | 2147483647 287814 86 | 0.001 % |
915.56/915.57 c | 287991 | 97637 423110 1189984 | 2147483647 287990 86 | 0.001 % |
915.66/915.63 c | 288184 | 97637 423110 1189984 | 2147483647 288183 86 | 0.001 % |
915.86/915.85 c | 288398 | 97637 423110 1189984 | 2147483647 288397 86 | 0.001 % |
915.96/915.94 c | 288631 | 97637 423110 1189984 | 2147483647 288630 86 | 0.001 % |
916.16/916.17 c | 288887 | 97637 423110 1189984 | 2147483647 288886 86 | 0.001 % |
916.36/916.33 c | 289168 | 97637 423110 1189984 | 2147483647 289167 86 | 0.001 % |
916.66/916.68 c | 289478 | 97636 423104 1189969 | 2147483647 289475 85 | 0.002 % |
917.16/917.18 c | 289818 | 97636 423104 1189969 | 2147483647 289815 85 | 0.002 % |
917.36/917.41 c | 290192 | 97636 423104 1189969 | 2147483647 290189 85 | 0.002 % |
917.56/917.58 c | 290601 | 97636 423104 1189969 | 2147483647 290598 85 | 0.002 % |
917.76/917.73 c | 291051 | 97636 423104 1189969 | 2147483647 291048 85 | 0.002 % |
919.06/919.02 c | 291545 | 97636 423104 1189969 | 2147483647 291542 85 | 0.002 % |
919.96/919.96 c | 292087 | 97636 423104 1189969 | 2147483647 292084 85 | 0.002 % |
922.46/922.42 c | 292683 | 97636 423104 1189969 | 2147483647 292680 86 | 0.002 % |
923.46/923.42 c | 293338 | 97636 423104 1189969 | 2147483647 293335 86 | 0.002 % |
923.86/923.86 c | 294059 | 97636 423104 1189969 | 2147483647 294056 85 | 0.002 % |
925.86/925.89 c | 294852 | 97636 423104 1189969 | 2147483647 294849 85 | 0.002 % |
926.26/926.31 c | 295724 | 97636 423104 1189969 | 2147483647 295721 85 | 0.002 % |
927.86/927.82 c | 296682 | 97636 423104 1189969 | 2147483647 296679 85 | 0.002 % |
928.06/928.04 c | 297735 | 97636 423104 1189969 | 2147483647 297732 85 | 0.002 % |
928.76/928.73 c | 298893 | 97636 423104 1189969 | 2147483647 298890 85 | 0.002 % |
929.26/929.28 c | 300167 | 97636 423104 1189969 | 2147483647 300164 85 | 0.002 % |
931.46/931.49 c | 301569 | 97636 423104 1189969 | 2147483647 301566 85 | 0.002 % |
936.56/936.55 c | 303109 | 97636 423104 1189969 | 2147483647 303106 85 | 0.002 % |
939.66/939.70 c | 304805 | 97636 423104 1189969 | 2147483647 304802 85 | 0.002 % |
940.86/940.86 c | 306668 | 97636 423104 1189969 | 2147483647 306665 85 | 0.002 % |
942.26/942.30 c | 308717 | 97636 423104 1189969 | 2147483647 308714 85 | 0.002 % |
943.66/943.69 c | 310970 | 97636 423104 1189969 | 2147483647 310967 84 | 0.002 % |
945.36/945.33 c | 313449 | 97636 423104 1189969 | 2147483647 313446 84 | 0.002 % |
948.16/948.18 c | 316175 | 97636 423104 1189969 | 2147483647 316172 84 | 0.002 % |
951.06/951.08 c | 319172 | 97636 423104 1189969 | 2147483647 319169 83 | 0.002 % |
951.36/951.33 c | 319272 | 97636 423104 1189969 | 2147483647 319269 83 | 0.002 % |
951.96/951.96 c | 319383 | 97636 423104 1189969 | 2147483647 319380 83 | 0.002 % |
952.16/952.13 c | 319504 | 97636 423104 1189969 | 2147483647 319501 83 | 0.002 % |
953.56/953.59 c | 319637 | 97636 423104 1189969 | 2147483647 319634 83 | 0.002 % |
953.76/953.76 c | 319783 | 97636 423104 1189969 | 2147483647 319780 83 | 0.002 % |
953.76/953.80 c | 319943 | 97636 423104 1189969 | 2147483647 319940 83 | 0.002 % |
954.56/954.61 c | 320123 | 97636 423104 1189969 | 2147483647 320120 83 | 0.002 % |
954.76/954.80 c | 320316 | 97636 423104 1189969 | 2147483647 320313 83 | 0.002 % |
954.96/955.01 c | 320529 | 97636 423104 1189969 | 2147483647 320526 83 | 0.002 % |
956.16/956.15 c | 320762 | 97636 423104 1189969 | 2147483647 320759 83 | 0.002 % |
956.36/956.32 c | 321018 | 97636 423104 1189969 | 2147483647 321015 83 | 0.002 % |
957.46/957.50 c | 321300 | 97636 423104 1189969 | 2147483647 321297 83 | 0.002 % |
957.56/957.57 c | 321609 | 97636 423104 1189969 | 2147483647 321606 83 | 0.002 % |
957.86/957.81 c | 321948 | 97636 423104 1189969 | 2147483647 321945 83 | 0.002 % |
957.96/957.99 c | 322320 | 97636 423104 1189969 | 2147483647 322317 83 | 0.002 % |
958.26/958.24 c | 322729 | 97636 423104 1189969 | 2147483647 322726 83 | 0.002 % |
958.76/958.77 c | 323179 | 97636 423104 1189969 | 2147483647 323176 83 | 0.002 % |
961.36/961.36 c | 323672 | 97636 423104 1189969 | 2147483647 323669 83 | 0.002 % |
961.66/961.71 c | 324214 | 97636 423104 1189969 | 2147483647 324211 83 | 0.002 % |
962.16/962.12 c | 324810 | 97636 423104 1189969 | 2147483647 324807 83 | 0.002 % |
962.76/962.77 c | 325465 | 97636 423104 1189969 | 2147483647 325462 83 | 0.002 % |
963.16/963.21 c | 326185 | 97636 423104 1189969 | 2147483647 326182 82 | 0.002 % |
964.06/964.10 c | 326977 | 97636 423104 1189969 | 2147483647 326974 82 | 0.002 % |
966.16/966.17 c | 327851 | 97636 423104 1189969 | 2147483647 327848 82 | 0.002 % |
966.76/966.73 c | 328810 | 97636 423104 1189969 | 2147483647 328807 82 | 0.002 % |
967.46/967.45 c | 329864 | 97636 423104 1189969 | 2147483647 329861 82 | 0.002 % |
968.86/968.90 c | 331022 | 97636 423104 1189969 | 2147483647 331019 82 | 0.002 % |
986.26/986.29 c | 332295 | 97636 423104 1189969 | 2147483647 332292 82 | 0.002 % |
990.46/990.50 c | 333696 | 97636 423104 1189969 | 2147483647 333693 83 | 0.002 % |
992.37/992.36 c | 335237 | 97636 423104 1189969 | 2147483647 335234 82 | 0.002 % |
994.46/994.49 c | 336931 | 97636 423104 1189969 | 2147483647 336928 82 | 0.002 % |
996.26/996.26 c | 338794 | 97636 423104 1189969 | 2147483647 338791 82 | 0.002 % |
998.16/998.21 c | 340843 | 97636 423104 1189969 | 2147483647 340840 82 | 0.002 % |
1001.46/1001.49 c | 343097 | 97636 423104 1189969 | 2147483647 343094 81 | 0.002 % |
1011.36/1011.37 c | 345576 | 97636 423104 1189969 | 2147483647 345573 82 | 0.002 % |
1021.36/1021.33 c | 348303 | 97636 423104 1189969 | 2147483647 348300 82 | 0.002 % |
1023.46/1023.43 c | 351300 | 97636 423104 1189969 | 2147483647 351297 82 | 0.002 % |
1055.87/1055.85 c | 354596 | 97636 423104 1189969 | 2147483647 354593 84 | 0.002 % |
1056.47/1056.46 c | 354697 | 97636 423104 1189969 | 2147483647 354694 84 | 0.002 % |
1056.87/1056.90 c | 354807 | 97636 423104 1189969 | 2147483647 354804 84 | 0.002 % |
1056.97/1057.01 c | 354929 | 97636 423104 1189969 | 2147483647 354926 84 | 0.002 % |
1057.17/1057.17 c | 355062 | 97636 423104 1189969 | 2147483647 355059 84 | 0.002 % |
1058.27/1058.29 c | 355209 | 97636 423104 1189969 | 2147483647 355206 84 | 0.002 % |
1058.47/1058.47 c | 355370 | 97636 423104 1189969 | 2147483647 355367 84 | 0.002 % |
1058.57/1058.55 c | 355546 | 97636 423104 1189969 | 2147483647 355543 84 | 0.002 % |
1059.47/1059.47 c | 355739 | 97636 423104 1189969 | 2147483647 355736 84 | 0.002 % |
1059.67/1059.63 c | 355951 | 97636 423104 1189969 | 2147483647 355948 84 | 0.002 % |
1059.97/1059.93 c | 356186 | 97636 423104 1189969 | 2147483647 356183 84 | 0.002 % |
1060.17/1060.12 c | 356442 | 97636 423104 1189969 | 2147483647 356439 84 | 0.002 % |
1060.27/1060.26 c | 356723 | 97636 423104 1189969 | 2147483647 356720 84 | 0.002 % |
1060.37/1060.39 c | 357033 | 97636 423104 1189969 | 2147483647 357030 84 | 0.002 % |
1064.07/1064.11 c | 357374 | 97636 423104 1189969 | 2147483647 357371 84 | 0.002 % |
1065.07/1065.10 c | 357747 | 97636 423104 1189969 | 2147483647 357744 84 | 0.002 % |
1065.77/1065.77 c | 358156 | 97636 423104 1189969 | 2147483647 358153 84 | 0.002 % |
1066.17/1066.18 c | 358607 | 97636 423104 1189969 | 2147483647 358604 84 | 0.002 % |
1066.37/1066.39 c | 359100 | 97636 423104 1189969 | 2147483647 359097 84 | 0.002 % |
1066.77/1066.80 c | 359644 | 97636 423104 1189969 | 2147483647 359641 84 | 0.002 % |
1066.97/1066.96 c | 360240 | 97636 423104 1189969 | 2147483647 360237 84 | 0.002 % |
1067.07/1067.03 c | 360895 | 97636 423104 1189969 | 2147483647 360892 83 | 0.002 % |
1067.37/1067.38 c | 361616 | 97636 423104 1189969 | 2147483647 361613 83 | 0.002 % |
1068.47/1068.47 c | 362408 | 97636 423104 1189969 | 2147483647 362405 83 | 0.002 % |
1069.07/1069.09 c | 363280 | 97636 423104 1189969 | 2147483647 363277 83 | 0.002 % |
1069.57/1069.54 c | 364239 | 97636 423104 1189969 | 2147483647 364236 83 | 0.002 % |
1069.87/1069.90 c | 365292 | 97636 423104 1189969 | 2147483647 365289 83 | 0.002 % |
1070.87/1070.83 c | 366450 | 97636 423104 1189969 | 2147483647 366447 83 | 0.002 % |
1071.57/1071.57 c | 367724 | 97636 423104 1189969 | 2147483647 367721 82 | 0.002 % |
1072.57/1072.57 c | 369125 | 97636 423104 1189969 | 2147483647 369122 82 | 0.002 % |
1073.47/1073.42 c | 370666 | 97636 423104 1189969 | 2147483647 370663 82 | 0.002 % |
1074.87/1074.83 c | 372361 | 97636 423104 1189969 | 2147483647 372358 82 | 0.002 % |
1076.57/1076.55 c | 374225 | 97636 423104 1189969 | 2147483647 374222 81 | 0.002 % |
1078.87/1078.91 c | 376274 | 97636 423104 1189969 | 2147483647 376271 81 | 0.002 % |
1085.96/1085.92 c | 378529 | 97636 423104 1189969 | 2147483647 378526 82 | 0.002 % |
1107.16/1107.11 c | 381008 | 97636 423104 1189969 | 2147483647 381005 82 | 0.002 % |
1147.86/1147.85 c | 383733 | 97636 423104 1189969 | 2147483647 383730 83 | 0.002 % |
1154.16/1154.19 c | 386730 | 97636 423104 1189969 | 2147483647 386727 83 | 0.002 % |
1158.06/1158.01 c | 390026 | 97636 423104 1189969 | 2147483647 390023 83 | 0.002 % |
1200.07/1200.03 HOME/SatELiteGTI: line 36: 21254 Terminated $MS $TMP.cnf $TMP.result
runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w /tmp/evaluation-result-1820974-1242493037/watcher-1820974-1242493037 -o /tmp/evaluation-result-1820974-1242493037/solver-1820974-1242493037 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1820974-1242493037.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 0.91 0.98 0.99 2/97 21248
/proc/meminfo: memFree=1770996/2074464 swapFree=1949244/1959888
[pid=21248] ppid=21246 vsize=2416 CPUtime=0.01
/proc/21248/stat : 21248 (SatELiteGTI) S 21246 21248 16367 0 -1 4194304 365 648 0 0 0 0 0 1 25 0 1 0 1013804823 2473984 276 4294967295 134512640 135169312 3217756160 3217754696 3085524718 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/21248/statm: 604 276 235 161 0 43 0
[pid=21252] ppid=21248 vsize=956 CPUtime=0
/proc/21252/stat : 21252 (SatELite_releas) R 21248 21248 16367 0 -1 4202496 138 0 0 0 0 0 0 0 25 0 1 0 1013804824 978944 75 4294967295 134512640 135223648 3216379552 3216378136 134719062 0 0 0 3 0 0 0 17 1 0 0 0
/proc/21252/statm: 239 75 46 174 0 64 0
[startup+0.102542 s]
/proc/loadavg: 0.91 0.98 0.99 2/97 21248
/proc/meminfo: memFree=1770996/2074464 swapFree=1949244/1959888
[pid=21248] ppid=21246 vsize=2416 CPUtime=0.01
/proc/21248/stat : 21248 (SatELiteGTI) S 21246 21248 16367 0 -1 4194304 365 648 0 0 0 0 0 1 25 0 1 0 1013804823 2473984 276 4294967295 134512640 135169312 3217756160 3217754696 3085524718 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/21248/statm: 604 276 235 161 0 43 0
[pid=21252] ppid=21248 vsize=16716 CPUtime=0.1
/proc/21252/stat : 21252 (SatELite_releas) R 21248 21248 16367 0 -1 4202496 3632 0 0 0 9 1 0 0 25 0 1 0 1013804824 17117184 3568 4294967295 134512640 135223648 3216379552 3216378504 134737310 0 0 0 3 0 0 0 17 1 0 0 0
/proc/21252/statm: 4179 3569 46 174 0 4004 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 19132
[startup+0.212535 s]
/proc/loadavg: 0.91 0.98 0.99 2/97 21248
/proc/meminfo: memFree=1770996/2074464 swapFree=1949244/1959888
[pid=21248] ppid=21246 vsize=2416 CPUtime=0.01
/proc/21248/stat : 21248 (SatELiteGTI) S 21246 21248 16367 0 -1 4194304 365 648 0 0 0 0 0 1 25 0 1 0 1013804823 2473984 276 4294967295 134512640 135169312 3217756160 3217754696 3085524718 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/21248/statm: 604 276 235 161 0 43 0
[pid=21252] ppid=21248 vsize=34340 CPUtime=0.21
/proc/21252/stat : 21252 (SatELite_releas) R 21248 21248 16367 0 -1 4202496 7297 0 0 0 18 3 0 0 25 0 1 0 1013804824 35164160 7233 4294967295 134512640 135223648 3216379552 3216378120 134719062 0 0 0 3 0 0 0 17 1 0 0 0
/proc/21252/statm: 8585 7235 46 174 0 8410 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 36756
[startup+0.312529 s]
/proc/loadavg: 0.91 0.98 0.99 2/97 21248
/proc/meminfo: memFree=1770996/2074464 swapFree=1949244/1959888
[pid=21248] ppid=21246 vsize=2416 CPUtime=0.01
/proc/21248/stat : 21248 (SatELiteGTI) S 21246 21248 16367 0 -1 4194304 365 648 0 0 0 0 0 1 25 0 1 0 1013804823 2473984 276 4294967295 134512640 135169312 3217756160 3217754696 3085524718 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/21248/statm: 604 276 235 161 0 43 0
[pid=21252] ppid=21248 vsize=43184 CPUtime=0.31
/proc/21252/stat : 21252 (SatELite_releas) R 21248 21248 16367 0 -1 4202496 10539 0 0 0 28 3 0 0 25 0 1 0 1013804824 44220416 10475 4294967295 134512640 135223648 3216379552 3216378136 134719062 0 0 0 3 0 0 0 17 1 0 0 0
/proc/21252/statm: 10796 10475 46 174 0 10621 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 45600
[startup+0.712507 s]
/proc/loadavg: 0.91 0.98 0.99 2/97 21248
/proc/meminfo: memFree=1770996/2074464 swapFree=1949244/1959888
[pid=21248] ppid=21246 vsize=2416 CPUtime=0.01
/proc/21248/stat : 21248 (SatELiteGTI) S 21246 21248 16367 0 -1 4194304 365 648 0 0 0 0 0 1 25 0 1 0 1013804823 2473984 276 4294967295 134512640 135169312 3217756160 3217754696 3085524718 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/21248/statm: 604 276 235 161 0 43 0
[pid=21252] ppid=21248 vsize=87768 CPUtime=0.71
/proc/21252/stat : 21252 (SatELite_releas) R 21248 21248 16367 0 -1 4202496 21193 0 0 0 62 9 0 0 25 0 1 0 1013804824 89874432 19563 4294967295 134512640 135223648 3216379552 3216377220 134719062 0 0 0 3 0 0 0 17 1 0 0 0
/proc/21252/statm: 21942 19563 73 174 0 21767 0
Current children cumulated CPU time (s) 0.72
Current children cumulated vsize (KiB) 90184
[startup+1.51246 s]
/proc/loadavg: 0.91 0.98 0.99 2/99 21253
/proc/meminfo: memFree=1681336/2074464 swapFree=1949244/1959888
[pid=21248] ppid=21246 vsize=2416 CPUtime=0.01
/proc/21248/stat : 21248 (SatELiteGTI) S 21246 21248 16367 0 -1 4194304 365 648 0 0 0 0 0 1 25 0 1 0 1013804823 2473984 276 4294967295 134512640 135169312 3217756160 3217754696 3085524718 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/21248/statm: 604 276 235 161 0 43 0
[pid=21252] ppid=21248 vsize=98636 CPUtime=1.5
/proc/21252/stat : 21252 (SatELite_releas) R 21248 21248 16367 0 -1 4202496 23871 0 0 0 139 11 0 0 25 0 1 0 1013804824 101003264 22241 4294967295 134512640 135223648 3216379552 3216377568 134586721 0 0 0 3 0 0 0 17 1 0 0 0
/proc/21252/statm: 24659 22241 73 174 0 24484 0
Current children cumulated CPU time (s) 1.51
Current children cumulated vsize (KiB) 101052
[startup+3.11237 s]
/proc/loadavg: 0.91 0.98 0.99 2/99 21253
/proc/meminfo: memFree=1670796/2074464 swapFree=1949244/1959888
[pid=21248] ppid=21246 vsize=2416 CPUtime=0.01
/proc/21248/stat : 21248 (SatELiteGTI) S 21246 21248 16367 0 -1 4194304 365 648 0 0 0 0 0 1 25 0 1 0 1013804823 2473984 276 4294967295 134512640 135169312 3217756160 3217754696 3085524718 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/21248/statm: 604 276 235 161 0 43 0
[pid=21252] ppid=21248 vsize=102700 CPUtime=3.09
/proc/21252/stat : 21252 (SatELite_releas) R 21248 21248 16367 0 -1 4202496 25045 0 0 0 295 14 0 0 25 0 1 0 1013804824 105164800 23045 4294967295 134512640 135223648 3216379552 3216377648 134586170 0 0 0 3 0 0 0 17 0 0 0 0
/proc/21252/statm: 25675 23045 73 174 0 25500 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 105116
[startup+6.31219 s]
/proc/loadavg: 0.92 0.98 0.99 2/99 21254
/proc/meminfo: memFree=1728620/2074464 swapFree=1949244/1959888
[pid=21248] ppid=21246 vsize=2420 CPUtime=3.79
/proc/21248/stat : 21248 (SatELiteGTI) S 21246 21248 16367 0 -1 4194304 385 26453 0 0 0 0 357 22 18 0 1 0 1013804823 2478080 278 4294967295 134512640 135169312 3217756160 3217752376 3085524718 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/21248/statm: 605 278 235 161 0 44 0
[pid=21254] ppid=21248 vsize=28472 CPUtime=2.51
/proc/21254/stat : 21254 (minisat_static) R 21248 21248 16367 0 -1 4202496 6640 0 0 0 251 0 0 0 25 0 1 0 1013805204 29155328 6574 4294967295 134512640 135215339 3216473872 3216471872 134532626 0 0 0 3 0 0 0 17 2 0 0 0
/proc/21254/statm: 7118 6574 73 172 0 6945 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 30892
[startup+12.7018 s]
/proc/loadavg: 0.93 0.98 0.99 2/99 21254
/proc/meminfo: memFree=1728468/2074464 swapFree=1949244/1959888
[pid=21248] ppid=21246 vsize=2420 CPUtime=3.79
/proc/21248/stat : 21248 (SatELiteGTI) S 21246 21248 16367 0 -1 4194304 385 26453 0 0 0 0 357 22 18 0 1 0 1013804823 2478080 278 4294967295 134512640 135169312 3217756160 3217752376 3085524718 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/21248/statm: 605 278 235 161 0 44 0
[pid=21254] ppid=21248 vsize=28472 CPUtime=8.9
/proc/21254/stat : 21254 (minisat_static) R 21248 21248 16367 0 -1 4202496 6642 0 0 0 890 0 0 0 25 0 1 0 1013805204 29155328 6576 4294967295 134512640 135215339 3216473872 3216471872 134532626 0 0 0 3 0 0 0 17 2 0 0 0
/proc/21254/statm: 7118 6576 73 172 0 6945 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 30892
[startup+25.5011 s]
/proc/loadavg: 0.94 0.98 0.99 2/99 21256
/proc/meminfo: memFree=1727820/2074464 swapFree=1949244/1959888
[pid=21248] ppid=21246 vsize=2420 CPUtime=3.79
/proc/21248/stat : 21248 (SatELiteGTI) S 21246 21248 16367 0 -1 4194304 385 26453 0 0 0 0 357 22 18 0 1 0 1013804823 2478080 278 4294967295 134512640 135169312 3217756160 3217752376 3085524718 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/21248/statm: 605 278 235 161 0 44 0
[pid=21254] ppid=21248 vsize=29240 CPUtime=21.7
/proc/21254/stat : 21254 (minisat_static) R 21248 21248 16367 0 -1 4202496 6831 0 0 0 2170 0 0 0 25 0 1 0 1013805204 29941760 6758 4294967295 134512640 135215339 3216473872 3216471872 134532792 0 0 0 3 0 0 0 17 2 0 0 0
/proc/21254/statm: 7310 6758 73 172 0 7137 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 31660
[startup+51.1197 s]
/proc/loadavg: 1.12 1.02 1.01 3/99 21258
/proc/meminfo: memFree=1726392/2074464 swapFree=1949244/1959888
[pid=21248] ppid=21246 vsize=2420 CPUtime=3.79
/proc/21248/stat : 21248 (SatELiteGTI) S 21246 21248 16367 0 -1 4194304 385 26453 0 0 0 0 357 22 18 0 1 0 1013804823 2478080 278 4294967295 134512640 135169312 3217756160 3217752376 3085524718 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/21248/statm: 605 278 235 161 0 44 0
[pid=21254] ppid=21248 vsize=30404 CPUtime=47.32
/proc/21254/stat : 21254 (minisat_static) R 21248 21248 16367 0 -1 4202496 7134 0 0 0 4732 0 0 0 25 0 1 0 1013805204 31133696 7061 4294967295 134512640 135215339 3216473872 3216471872 134532626 0 0 0 3 0 0 0 17 2 0 0 0
/proc/21254/statm: 7601 7061 73 172 0 7428 0
Current children cumulated CPU time (s) 51.11
Current children cumulated vsize (KiB) 32824
[startup+102.317 s]
/proc/loadavg: 1.61 1.17 1.05 2/99 21445
/proc/meminfo: memFree=1721588/2074464 swapFree=1949244/1959888
[pid=21248] ppid=21246 vsize=2420 CPUtime=3.79
/proc/21248/stat : 21248 (SatELiteGTI) S 21246 21248 16367 0 -1 4194304 385 26453 0 0 0 0 357 22 18 0 1 0 1013804823 2478080 278 4294967295 134512640 135169312 3217756160 3217752376 3085524718 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/21248/statm: 605 278 235 161 0 44 0
[pid=21254] ppid=21248 vsize=34884 CPUtime=98.52
/proc/21254/stat : 21254 (minisat_static) R 21248 21248 16367 0 -1 4202496 8261 0 0 0 9851 1 0 0 25 0 1 0 1013805204 35721216 8188 4294967295 134512640 135215339 3216473872 3216471872 134532964 0 0 0 3 0 0 0 17 2 0 0 0
/proc/21254/statm: 8721 8188 73 172 0 8548 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 37304
[startup+162.323 s]
/proc/loadavg: 1.31 1.16 1.06 3/99 21634
/proc/meminfo: memFree=1708560/2074464 swapFree=1949244/1959888
[pid=21248] ppid=21246 vsize=2420 CPUtime=3.79
/proc/21248/stat : 21248 (SatELiteGTI) S 21246 21248 16367 0 -1 4194304 385 26453 0 0 0 0 357 22 18 0 1 0 1013804823 2478080 278 4294967295 134512640 135169312 3217756160 3217752376 3085524718 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/21248/statm: 605 278 235 161 0 44 0
[pid=21254] ppid=21248 vsize=48076 CPUtime=158.53
/proc/21254/stat : 21254 (minisat_static) R 21248 21248 16367 0 -1 4202496 11535 0 0 0 15848 5 0 0 25 0 1 0 1013805204 49229824 11462 4294967295 134512640 135215339 3216473872 3216471936 134538302 0 0 0 3 0 0 0 17 2 0 0 0
/proc/21254/statm: 12019 11462 73 172 0 11846 0
Current children cumulated CPU time (s) 162.32
Current children cumulated vsize (KiB) 50496
[startup+222.32 s]
/proc/loadavg: 1.11 1.13 1.05 2/99 21823
/proc/meminfo: memFree=1697936/2074464 swapFree=1949244/1959888
[pid=21248] ppid=21246 vsize=2420 CPUtime=3.79
/proc/21248/stat : 21248 (SatELiteGTI) S 21246 21248 16367 0 -1 4194304 385 26453 0 0 0 0 357 22 18 0 1 0 1013804823 2478080 278 4294967295 134512640 135169312 3217756160 3217752376 3085524718 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/21248/statm: 605 278 235 161 0 44 0
[pid=21254] ppid=21248 vsize=58964 CPUtime=218.53
/proc/21254/stat : 21254 (minisat_static) R 21248 21248 16367 0 -1 4202496 14280 0 0 0 21845 8 0 0 25 0 1 0 1013805204 60379136 14207 4294967295 134512640 135215339 3216473872 3216472160 134528881 0 0 0 3 0 0 0 17 2 0 0 0
/proc/21254/statm: 14741 14207 73 172 0 14568 0
Current children cumulated CPU time (s) 222.32
Current children cumulated vsize (KiB) 61384
[startup+282.317 s]
/proc/loadavg: 1.04 1.10 1.05 3/99 22016
/proc/meminfo: memFree=1688232/2074464 swapFree=1949244/1959888
[pid=21248] ppid=21246 vsize=2420 CPUtime=3.79
/proc/21248/stat : 21248 (SatELiteGTI) S 21246 21248 16367 0 -1 4194304 385 26453 0 0 0 0 357 22 18 0 1 0 1013804823 2478080 278 4294967295 134512640 135169312 3217756160 3217752376 3085524718 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/21248/statm: 605 278 235 161 0 44 0
[pid=21254] ppid=21248 vsize=68412 CPUtime=278.53
/proc/21254/stat : 21254 (minisat_static) R 21248 21248 16367 0 -1 4202496 16620 0 0 0 27837 16 0 0 25 0 1 0 1013805204 70053888 16547 4294967295 134512640 135215339 3216473872 3216472160 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/21254/statm: 17103 16547 73 172 0 16930 0
Current children cumulated CPU time (s) 282.32
Current children cumulated vsize (KiB) 70832
[startup+342.323 s]
/proc/loadavg: 1.10 1.11 1.05 3/99 22203
/proc/meminfo: memFree=1679180/2074464 swapFree=1949244/1959888
[pid=21248] ppid=21246 vsize=2420 CPUtime=3.79
/proc/21248/stat : 21248 (SatELiteGTI) S 21246 21248 16367 0 -1 4194304 385 26453 0 0 0 0 357 22 18 0 1 0 1013804823 2478080 278 4294967295 134512640 135169312 3217756160 3217752376 3085524718 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/21248/statm: 605 278 235 161 0 44 0
[pid=21254] ppid=21248 vsize=77892 CPUtime=338.54
/proc/21254/stat : 21254 (minisat_static) R 21248 21248 16367 0 -1 4202496 18954 0 0 0 33838 16 0 0 25 0 1 0 1013805204 79761408 18881 4294967295 134512640 135215339 3216473872 3216472160 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/21254/statm: 19473 18881 73 172 0 19300 0
Current children cumulated CPU time (s) 342.33
################
# More data... #
################
[pid=21254] ppid=21248 vsize=103860 CPUtime=518.54
/proc/21254/stat : 21254 (minisat_static) R 21248 21248 16367 0 -1 4202496 25505 0 0 0 51835 19 0 0 25 0 1 0 1013805204 106352640 25432 4294967295 134512640 135215339 3216473872 3216472160 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/21254/statm: 25965 25432 73 172 0 25792 0
Current children cumulated CPU time (s) 522.33
Current children cumulated vsize (KiB) 106280
[startup+582.32 s]
/proc/loadavg: 1.08 1.11 1.06 2/99 22955
/proc/meminfo: memFree=1644220/2074464 swapFree=1949244/1959888
[pid=21248] ppid=21246 vsize=2420 CPUtime=3.79
/proc/21248/stat : 21248 (SatELiteGTI) S 21246 21248 16367 0 -1 4194304 385 26453 0 0 0 0 357 22 18 0 1 0 1013804823 2478080 278 4294967295 134512640 135169312 3217756160 3217752376 3085524718 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/21248/statm: 605 278 235 161 0 44 0
[pid=21254] ppid=21248 vsize=112888 CPUtime=578.55
/proc/21254/stat : 21254 (minisat_static) R 21248 21248 16367 0 -1 4202496 27673 0 0 0 57833 22 0 0 25 0 1 0 1013805204 115597312 27600 4294967295 134512640 135215339 3216473872 3216472144 134525016 0 0 0 3 0 0 0 17 2 0 0 0
/proc/21254/statm: 28222 27600 73 172 0 28049 0
Current children cumulated CPU time (s) 582.34
Current children cumulated vsize (KiB) 115308
[startup+642.316 s]
/proc/loadavg: 1.03 1.08 1.06 2/99 23146
/proc/meminfo: memFree=1639376/2074464 swapFree=1949244/1959888
[pid=21248] ppid=21246 vsize=2420 CPUtime=3.79
/proc/21248/stat : 21248 (SatELiteGTI) S 21246 21248 16367 0 -1 4194304 385 26453 0 0 0 0 357 22 18 0 1 0 1013804823 2478080 278 4294967295 134512640 135169312 3217756160 3217752376 3085524718 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/21248/statm: 605 278 235 161 0 44 0
[pid=21254] ppid=21248 vsize=117612 CPUtime=638.55
/proc/21254/stat : 21254 (minisat_static) R 21248 21248 16367 0 -1 4202496 28882 0 0 0 63827 28 0 0 25 0 1 0 1013805204 120434688 28809 4294967295 134512640 135215339 3216473872 3216471872 134532941 0 0 0 3 0 0 0 17 2 0 0 0
/proc/21254/statm: 29403 28809 73 172 0 29230 0
Current children cumulated CPU time (s) 642.34
Current children cumulated vsize (KiB) 120032
[startup+702.323 s]
/proc/loadavg: 1.01 1.07 1.05 2/99 23333
/proc/meminfo: memFree=1635780/2074464 swapFree=1949244/1959888
[pid=21248] ppid=21246 vsize=2420 CPUtime=3.79
/proc/21248/stat : 21248 (SatELiteGTI) S 21246 21248 16367 0 -1 4194304 385 26453 0 0 0 0 357 22 18 0 1 0 1013804823 2478080 278 4294967295 134512640 135169312 3217756160 3217752376 3085524718 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/21248/statm: 605 278 235 161 0 44 0
[pid=21254] ppid=21248 vsize=121176 CPUtime=698.56
/proc/21254/stat : 21254 (minisat_static) R 21248 21248 16367 0 -1 4202496 29751 0 0 0 69827 29 0 0 25 0 1 0 1013805204 124084224 29678 4294967295 134512640 135215339 3216473872 3216472160 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/21254/statm: 30294 29678 73 172 0 30121 0
Current children cumulated CPU time (s) 702.35
Current children cumulated vsize (KiB) 123596
[startup+762.31 s]
/proc/loadavg: 1.00 1.05 1.04 3/99 23520
/proc/meminfo: memFree=1632928/2074464 swapFree=1949244/1959888
[pid=21248] ppid=21246 vsize=2420 CPUtime=3.79
/proc/21248/stat : 21248 (SatELiteGTI) S 21246 21248 16367 0 -1 4194304 385 26453 0 0 0 0 357 22 18 0 1 0 1013804823 2478080 278 4294967295 134512640 135169312 3217756160 3217752376 3085524718 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/21248/statm: 605 278 235 161 0 44 0
[pid=21254] ppid=21248 vsize=123832 CPUtime=758.55
/proc/21254/stat : 21254 (minisat_static) R 21248 21248 16367 0 -1 4202496 30445 0 0 0 75822 33 0 0 25 0 1 0 1013805204 126803968 30372 4294967295 134512640 135215339 3216473872 3216472088 134721382 0 0 0 3 0 0 0 17 2 0 0 0
/proc/21254/statm: 30958 30372 73 172 0 30785 0
Current children cumulated CPU time (s) 762.34
Current children cumulated vsize (KiB) 126252
[startup+822.316 s]
/proc/loadavg: 1.07 1.07 1.05 3/99 23709
/proc/meminfo: memFree=1630696/2074464 swapFree=1949244/1959888
[pid=21248] ppid=21246 vsize=2420 CPUtime=3.79
/proc/21248/stat : 21248 (SatELiteGTI) S 21246 21248 16367 0 -1 4194304 385 26453 0 0 0 0 357 22 18 0 1 0 1013804823 2478080 278 4294967295 134512640 135169312 3217756160 3217752376 3085524718 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/21248/statm: 605 278 235 161 0 44 0
[pid=21254] ppid=21248 vsize=126140 CPUtime=818.56
/proc/21254/stat : 21254 (minisat_static) R 21248 21248 16367 0 -1 4202496 31018 0 0 0 81822 34 0 0 25 0 1 0 1013805204 129167360 30945 4294967295 134512640 135215339 3216473872 3216471936 134537869 0 0 0 3 0 0 0 17 2 0 0 0
/proc/21254/statm: 31535 30945 73 172 0 31362 0
Current children cumulated CPU time (s) 822.35
Current children cumulated vsize (KiB) 128560
[startup+882.323 s]
/proc/loadavg: 1.02 1.05 1.04 2/99 23898
/proc/meminfo: memFree=1622016/2074464 swapFree=1949244/1959888
[pid=21248] ppid=21246 vsize=2420 CPUtime=3.79
/proc/21248/stat : 21248 (SatELiteGTI) S 21246 21248 16367 0 -1 4194304 385 26453 0 0 0 0 357 22 18 0 1 0 1013804823 2478080 278 4294967295 134512640 135169312 3217756160 3217752376 3085524718 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/21248/statm: 605 278 235 161 0 44 0
[pid=21254] ppid=21248 vsize=134728 CPUtime=878.57
/proc/21254/stat : 21254 (minisat_static) R 21248 21248 16367 0 -1 4202496 33183 0 0 0 87820 37 0 0 25 0 1 0 1013805204 137961472 33110 4294967295 134512640 135215339 3216473872 3216472160 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/21254/statm: 33682 33110 73 172 0 33509 0
Current children cumulated CPU time (s) 882.36
Current children cumulated vsize (KiB) 137148
[startup+942.319 s]
/proc/loadavg: 1.01 1.04 1.04 3/99 24085
/proc/meminfo: memFree=1609880/2074464 swapFree=1949244/1959888
[pid=21248] ppid=21246 vsize=2420 CPUtime=3.79
/proc/21248/stat : 21248 (SatELiteGTI) S 21246 21248 16367 0 -1 4194304 385 26453 0 0 0 0 357 22 18 0 1 0 1013804823 2478080 278 4294967295 134512640 135169312 3217756160 3217752376 3085524718 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/21248/statm: 605 278 235 161 0 44 0
[pid=21254] ppid=21248 vsize=146668 CPUtime=938.57
/proc/21254/stat : 21254 (minisat_static) R 21248 21248 16367 0 -1 4202496 36203 0 0 0 93815 42 0 0 25 0 1 0 1013805204 150188032 36130 4294967295 134512640 135215339 3216473872 3216472160 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/21254/statm: 36667 36130 73 172 0 36494 0
Current children cumulated CPU time (s) 942.36
Current children cumulated vsize (KiB) 149088
[startup+1002.32 s]
/proc/loadavg: 1.00 1.03 1.03 2/99 24276
/proc/meminfo: memFree=1601184/2074464 swapFree=1949244/1959888
[pid=21248] ppid=21246 vsize=2420 CPUtime=3.79
/proc/21248/stat : 21248 (SatELiteGTI) S 21246 21248 16367 0 -1 4194304 385 26453 0 0 0 0 357 22 18 0 1 0 1013804823 2478080 278 4294967295 134512640 135169312 3217756160 3217752376 3085524718 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/21248/statm: 605 278 235 161 0 44 0
[pid=21254] ppid=21248 vsize=155880 CPUtime=998.57
/proc/21254/stat : 21254 (minisat_static) R 21248 21248 16367 0 -1 4202496 38384 0 0 0 99811 46 0 0 25 0 1 0 1013805204 159621120 38311 4294967295 134512640 135215339 3216473872 3216472160 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/21254/statm: 38970 38311 73 172 0 38797 0
Current children cumulated CPU time (s) 1002.36
Current children cumulated vsize (KiB) 158300
[startup+1062.32 s]
/proc/loadavg: 1.00 1.02 1.02 3/99 24463
/proc/meminfo: memFree=1593032/2074464 swapFree=1949244/1959888
[pid=21248] ppid=21246 vsize=2420 CPUtime=3.79
/proc/21248/stat : 21248 (SatELiteGTI) S 21246 21248 16367 0 -1 4194304 385 26453 0 0 0 0 357 22 18 0 1 0 1013804823 2478080 278 4294967295 134512640 135169312 3217756160 3217752376 3085524718 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/21248/statm: 605 278 235 161 0 44 0
[pid=21254] ppid=21248 vsize=164136 CPUtime=1058.58
/proc/21254/stat : 21254 (minisat_static) R 21248 21248 16367 0 -1 4202496 40448 0 0 0 105811 47 0 0 25 0 1 0 1013805204 168075264 40375 4294967295 134512640 135215339 3216473872 3216472160 134528679 0 0 0 3 0 0 0 17 2 0 0 0
/proc/21254/statm: 41034 40375 73 172 0 40861 0
Current children cumulated CPU time (s) 1062.37
Current children cumulated vsize (KiB) 166556
[startup+1122.31 s]
/proc/loadavg: 1.00 1.02 1.02 2/99 24652
/proc/meminfo: memFree=1585956/2074464 swapFree=1949244/1959888
[pid=21248] ppid=21246 vsize=2420 CPUtime=3.79
/proc/21248/stat : 21248 (SatELiteGTI) S 21246 21248 16367 0 -1 4194304 385 26453 0 0 0 0 357 22 18 0 1 0 1013804823 2478080 278 4294967295 134512640 135169312 3217756160 3217752376 3085524718 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/21248/statm: 605 278 235 161 0 44 0
[pid=21254] ppid=21248 vsize=171008 CPUtime=1118.57
/proc/21254/stat : 21254 (minisat_static) R 21248 21248 16367 0 -1 4202496 42198 0 0 0 111809 48 0 0 25 0 1 0 1013805204 175112192 42125 4294967295 134512640 135215339 3216473872 3216472160 134528666 0 0 0 3 0 0 0 17 2 0 0 0
/proc/21254/statm: 42752 42125 73 172 0 42579 0
Current children cumulated CPU time (s) 1122.36
Current children cumulated vsize (KiB) 173428
[startup+1182.32 s]
/proc/loadavg: 1.00 1.01 1.01 3/99 24841
/proc/meminfo: memFree=1579872/2074464 swapFree=1949244/1959888
[pid=21248] ppid=21246 vsize=2420 CPUtime=3.79
/proc/21248/stat : 21248 (SatELiteGTI) S 21246 21248 16367 0 -1 4194304 385 26453 0 0 0 0 357 22 18 0 1 0 1013804823 2478080 278 4294967295 134512640 135169312 3217756160 3217752376 3085524718 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/21248/statm: 605 278 235 161 0 44 0
[pid=21254] ppid=21248 vsize=177260 CPUtime=1178.58
/proc/21254/stat : 21254 (minisat_static) R 21248 21248 16367 0 -1 4202496 43748 0 0 0 117809 49 0 0 25 0 1 0 1013805204 181514240 43675 4294967295 134512640 135215339 3216473872 3216472160 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/21254/statm: 44315 43675 73 172 0 44142 0
Current children cumulated CPU time (s) 1182.37
Current children cumulated vsize (KiB) 179680
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.01 s]
/proc/loadavg: 1.00 1.01 1.01 2/99 25027
/proc/meminfo: memFree=1575476/2074464 swapFree=1949244/1959888
[pid=21248] ppid=21246 vsize=2420 CPUtime=3.79
/proc/21248/stat : 21248 (SatELiteGTI) S 21246 21248 16367 0 -1 4194304 385 26453 0 0 0 0 357 22 18 0 1 0 1013804823 2478080 278 4294967295 134512640 135169312 3217756160 3217752376 3085524718 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/21248/statm: 605 278 235 161 0 44 0
[pid=21254] ppid=21248 vsize=181096 CPUtime=1196.28
/proc/21254/stat : 21254 (minisat_static) R 21248 21248 16367 0 -1 4202496 44712 0 0 0 119579 49 0 0 25 0 1 0 1013805204 185442304 44639 4294967295 134512640 135215339 3216473872 3216472160 134528666 0 0 0 3 0 0 0 17 2 0 0 0
/proc/21254/statm: 45274 44639 73 172 0 45101 0
Current children cumulated CPU time (s) 1200.07
Current children cumulated vsize (KiB) 183516
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1200.01 s]
/proc/loadavg: 1.00 1.01 1.01 2/99 25027
/proc/meminfo: memFree=1575476/2074464 swapFree=1949244/1959888
[pid=21248] ppid=21246 vsize=2420 CPUtime=3.79
/proc/21248/stat : 21248 (SatELiteGTI) S 21246 21248 16367 0 -1 4194304 385 26453 0 0 0 0 357 22 18 0 1 0 1013804823 2478080 278 4294967295 134512640 135169312 3217756160 3217752376 3085524718 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/21248/statm: 605 278 235 161 0 44 0
[pid=21254] ppid=21248 vsize=181096 CPUtime=1196.28
/proc/21254/stat : 21254 (minisat_static) R 21248 21248 16367 0 -1 4202496 44712 0 0 0 119579 49 0 0 25 0 1 0 1013805204 185442304 44639 4294967295 134512640 135215339 3216473872 3216472160 134528666 0 0 0 3 0 0 0 17 2 0 0 0
/proc/21254/statm: 45274 44639 73 172 0 45101 0
Current children cumulated CPU time (s) 1200.07
Current children cumulated vsize (KiB) 183516
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.04
CPU time (s): 1200.08
CPU user time (s): 1199.36
CPU system time (s): 0.72
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 183516
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.36
system time used= 0.72
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 71640
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= 18
involuntary context switches= 1927
runsolver used 0.01 second user time and 0.02 second system time
The end
Begin job on tipi11 at 2009-05-16 18:57:17
IDJOB=1820974
IDBENCH=70789
IDSOLVER=657
FILE ID=tipi11/1820974-1242493037
PBS_JOBID=
Free space on /tmp= 9909 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/APPLICATIONS/bitverif/smulo/smulo128.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1820974-1242493037/watcher-1820974-1242493037 -o /tmp/evaluation-result-1820974-1242493037/solver-1820974-1242493037 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1820974-1242493037.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= c5685247c8f21e8da88f42049fffdb13
RANDOM SEED= 392707667
Linux tipi11 2.6.18 #19 SMP Tue Jun 19 11:27:27 CEST 2007 i686 GNU/Linux
/proc/cpuinfo:
processor : 0
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.431
cache size : 1024 KB
physical id : 0
siblings : 2
core id : 0
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3618.40
processor : 1
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.431
cache size : 1024 KB
physical id : 0
siblings : 2
core id : 1
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.77
processor : 2
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.431
cache size : 1024 KB
physical id : 1
siblings : 2
core id : 0
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.79
processor : 3
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.431
cache size : 1024 KB
physical id : 1
siblings : 2
core id : 1
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.77
/proc/meminfo:
MemTotal: 2074464 kB
MemFree: 1770996 kB
Buffers: 24012 kB
Cached: 209224 kB
SwapCached: 5224 kB
Active: 64612 kB
Inactive: 180484 kB
HighTotal: 1178688 kB
HighFree: 989436 kB
LowTotal: 895776 kB
LowFree: 781560 kB
SwapTotal: 1959888 kB
SwapFree: 1949244 kB
Dirty: 11608 kB
Writeback: 0 kB
AnonPages: 11192 kB
Mapped: 5112 kB
Slab: 49964 kB
PageTables: 552 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 2997120 kB
Committed_AS: 97128 kB
VmallocTotal: 114680 kB
VmallocUsed: 1324 kB
VmallocChunk: 113264 kB
Free space on /tmp at the end= 9901 MiB
End job on tipi11 at 2009-05-16 19:17:21