0.00/0.00 c Parsing...
0.00/0.47 c ==============================================================================
0.00/0.47 c | | ORIGINAL | LEARNT | |
0.00/0.47 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.47 c ==============================================================================
0.00/0.47 c | 0 | 564648 1317512 | 169394 0 0 nan | 0.000 % |
3.58/3.64 c | 0 | 423113 1189990 | -- 0 -- -- | -- | -141533/-127517
3.58/3.64 c ==============================================================================
3.58/3.64 c Result : #vars: 97638 #clauses: 423113 #literals: 1189990
3.58/3.64 c CPU time: 3.47547 s
3.58/3.64 c ==============================================================================
3.99/4.08 c This is MiniSat 2.0 beta
3.99/4.08 c WARNING: for repeatability, setting FPU to use double precision
3.99/4.08 c ============================[ Problem Statistics ]=============================
3.99/4.08 c | |
3.99/4.08 c | Number of variables: 97638 |
3.99/4.08 c | Number of clauses: 423113 |
4.27/4.34 c | Parsing time: 0.21 s |
4.27/4.35 c ============================[ Search Statistics ]==============================
4.27/4.35 c | Conflicts | ORIGINAL | LEARNT | Progress |
4.27/4.35 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
4.27/4.35 c ===============================================================================
4.27/4.35 c | 0 | 97638 423113 1189990 | 141037 0 nan | 0.000 % |
4.37/4.41 c | 101 | 97638 423113 1189990 | 141037 101 51 | 0.000 % |
4.57/4.65 c | 201 | 97638 423113 1189990 | 141037 201 51 | 0.000 % |
4.57/4.66 c | 303 | 97638 423113 1189990 | 141037 303 40 | 0.000 % |
4.57/4.67 c | 413 | 97638 423113 1189990 | 141037 413 32 | 0.000 % |
4.57/4.69 c | 514 | 97638 423113 1189990 | 141037 514 29 | 0.000 % |
5.27/5.36 c | 624 | 97638 423113 1189990 | 141037 624 67 | 0.000 % |
19.67/19.74 c | 745 | 97638 423113 1189990 | 141037 745 65 | 0.000 % |
21.56/21.64 c | 848 | 97638 423113 1189990 | 141037 848 64 | 0.000 % |
22.76/22.86 c | 958 | 97638 423113 1189990 | 141037 958 89 | 0.000 % |
24.07/24.13 c | 1079 | 97638 423113 1189990 | 141037 1079 96 | 0.000 % |
32.26/32.31 c | 1213 | 97638 423113 1189990 | 141037 1213 250 | 0.000 % |
33.96/34.04 c | 1313 | 97638 423113 1189990 | 141037 1313 244 | 0.000 % |
35.75/35.82 c | 1423 | 97638 423113 1189990 | 141037 1423 235 | 0.000 % |
36.85/36.95 c | 1547 | 97638 423113 1189990 | 141037 1547 228 | 0.000 % |
56.74/56.86 c | 1681 | 97638 423113 1189990 | 141037 1681 217 | 0.000 % |
61.45/61.57 c | 1827 | 97638 423113 1189990 | 141037 1827 212 | 0.000 % |
63.04/63.12 c | 1927 | 97638 423113 1189990 | 141037 1927 205 | 0.000 % |
66.04/66.14 c | 2038 | 97638 423113 1189990 | 141037 2038 200 | 0.000 % |
67.24/67.36 c | 2160 | 97638 423113 1189990 | 141037 2160 198 | 0.000 % |
69.24/69.32 c | 2294 | 97638 423113 1189990 | 141037 2294 201 | 0.000 % |
72.14/72.26 c | 2440 | 97638 423113 1189990 | 141037 2440 196 | 0.000 % |
82.73/82.84 c | 2603 | 97638 423113 1189990 | 141037 2603 194 | 0.000 % |
84.33/84.49 c | 2704 | 97638 423113 1189990 | 141037 2704 189 | 0.000 % |
86.13/86.21 c | 2815 | 97638 423113 1189990 | 141037 2815 186 | 0.000 % |
87.13/87.28 c | 2936 | 97638 423113 1189990 | 141037 2936 181 | 0.000 % |
87.43/87.55 c | 3073 | 97638 423113 1189990 | 141037 3073 174 | 0.000 % |
87.63/87.78 c | 3219 | 97638 423113 1189990 | 141037 3219 170 | 0.000 % |
87.73/87.89 c | 3380 | 97638 423113 1189990 | 141037 3380 163 | 0.000 % |
88.23/88.32 c | 3556 | 97638 423113 1189990 | 141037 3556 157 | 0.000 % |
88.33/88.43 c | 3656 | 97638 423113 1189990 | 141037 3656 153 | 0.000 % |
88.43/88.56 c | 3767 | 97638 423113 1189990 | 141037 3767 149 | 0.000 % |
88.73/88.83 c | 3889 | 97638 423113 1189990 | 141037 3889 146 | 0.000 % |
89.33/89.46 c | 4025 | 97638 423113 1189990 | 141037 4025 145 | 0.000 % |
89.53/89.65 c | 4172 | 97638 423113 1189990 | 141037 4172 141 | 0.000 % |
89.63/89.71 c | 4332 | 97638 423113 1189990 | 141037 4332 137 | 0.000 % |
89.63/89.76 c | 4508 | 97638 423113 1189990 | 141037 4508 132 | 0.000 % |
90.03/90.11 c | 4702 | 97638 423113 1189990 | 141037 4702 132 | 0.000 % |
90.03/90.15 c | 4802 | 97638 423113 1189990 | 141037 4802 129 | 0.000 % |
90.03/90.20 c | 4912 | 97638 423113 1189990 | 141037 4912 127 | 0.000 % |
90.23/90.37 c | 5033 | 97638 423113 1189990 | 141037 5033 126 | 0.000 % |
90.43/90.55 c | 5166 | 97638 423113 1189990 | 141037 5166 127 | 0.000 % |
90.53/90.62 c | 5312 | 97638 423113 1189990 | 141037 5312 124 | 0.000 % |
90.63/90.71 c | 5473 | 97638 423113 1189990 | 141037 5473 121 | 0.000 % |
90.73/90.87 c | 5649 | 97638 423113 1189990 | 141037 5649 120 | 0.000 % |
90.93/91.01 c | 5843 | 97638 423113 1189990 | 141037 5843 117 | 0.000 % |
91.03/91.14 c | 6055 | 97638 423113 1189990 | 141037 6055 114 | 0.000 % |
92.52/92.60 c | 6155 | 97638 423113 1189990 | 141037 6155 120 | 0.000 % |
92.82/92.90 c | 6267 | 97638 423113 1189990 | 141037 6267 127 | 0.000 % |
92.92/93.07 c | 6389 | 97638 423113 1189990 | 141037 6389 134 | 0.000 % |
93.02/93.13 c | 6523 | 97638 423113 1189990 | 141037 6523 134 | 0.000 % |
94.12/94.21 c | 6669 | 97638 423113 1189990 | 141037 6669 140 | 0.000 % |
94.62/94.71 c | 6831 | 97638 423113 1189990 | 141037 6831 138 | 0.000 % |
95.12/95.26 c | 7008 | 97638 423113 1189990 | 141037 7008 135 | 0.000 % |
95.32/95.44 c | 7201 | 97638 423113 1189990 | 141037 7201 135 | 0.000 % |
95.42/95.51 c | 7414 | 97638 423113 1189990 | 141037 7414 132 | 0.000 % |
95.42/95.56 c | 7648 | 97638 423113 1189990 | 141037 7648 129 | 0.000 % |
95.53/95.60 c | 7748 | 97638 423113 1189990 | 141037 7748 127 | 0.000 % |
95.53/95.68 c | 7858 | 97638 423113 1189990 | 141037 7858 126 | 0.000 % |
95.63/95.78 c | 7979 | 97638 423113 1189990 | 141037 7979 124 | 0.000 % |
95.72/95.86 c | 8112 | 97638 423113 1189990 | 141037 8112 123 | 0.000 % |
95.82/95.96 c | 8258 | 97638 423113 1189990 | 141037 8258 121 | 0.000 % |
95.92/96.00 c | 8418 | 97638 423113 1189990 | 141037 8418 119 | 0.000 % |
95.92/96.09 c | 8594 | 97638 423113 1189990 | 141037 8594 117 | 0.000 % |
96.62/96.78 c | 8787 | 97638 423113 1189990 | 141037 8787 121 | 0.000 % |
96.72/96.86 c | 9000 | 97638 423113 1189990 | 141037 9000 119 | 0.000 % |
97.02/97.16 c | 9233 | 97638 423113 1189990 | 141037 9233 118 | 0.000 % |
97.13/97.27 c | 9490 | 97638 423113 1189990 | 141037 9490 117 | 0.000 % |
97.13/97.29 c | 9590 | 97638 423113 1189990 | 141037 9590 116 | 0.000 % |
97.23/97.34 c | 9700 | 97638 423113 1189990 | 141037 9700 115 | 0.000 % |
97.33/97.44 c | 9823 | 97638 423113 1189990 | 141037 9823 114 | 0.000 % |
97.33/97.49 c | 9957 | 97638 423113 1189990 | 141037 9957 113 | 0.000 % |
97.63/97.74 c | 10105 | 97638 423113 1189990 | 2147483647 10105 113 | 0.000 % |
97.73/97.82 c | 10265 | 97638 423113 1189990 | 2147483647 10265 112 | 0.000 % |
97.73/97.88 c | 10442 | 97638 423113 1189990 | 2147483647 10442 110 | 0.000 % |
98.03/98.10 c | 10635 | 97638 423113 1189990 | 2147483647 10635 109 | 0.000 % |
98.13/98.23 c | 10849 | 97638 423113 1189990 | 2147483647 10849 107 | 0.000 % |
98.23/98.34 c | 11083 | 97638 423113 1189990 | 2147483647 11083 105 | 0.000 % |
98.33/98.48 c | 11339 | 97638 423113 1189990 | 2147483647 11339 103 | 0.000 % |
98.53/98.60 c | 11620 | 97638 423113 1189990 | 2147483647 11620 101 | 0.000 % |
98.53/98.64 c | 11720 | 97638 423113 1189990 | 2147483647 11720 101 | 0.000 % |
98.53/98.69 c | 11830 | 97638 423113 1189990 | 2147483647 11830 100 | 0.000 % |
98.63/98.75 c | 11951 | 97638 423113 1189990 | 2147483647 11951 99 | 0.000 % |
98.73/98.82 c | 12085 | 97638 423113 1189990 | 2147483647 12085 98 | 0.000 % |
99.53/99.63 c | 12231 | 97638 423113 1189990 | 2147483647 12231 98 | 0.000 % |
101.93/102.03 c | 12392 | 97638 423113 1189990 | 2147483647 12392 97 | 0.000 % |
103.93/104.00 c | 12570 | 97638 423113 1189990 | 2147483647 12570 97 | 0.000 % |
105.43/105.54 c | 12763 | 97638 423113 1189990 | 2147483647 12763 105 | 0.000 % |
105.72/105.85 c | 12975 | 97638 423113 1189990 | 2147483647 12975 104 | 0.000 % |
106.02/106.12 c | 13208 | 97638 423113 1189990 | 2147483647 13208 102 | 0.000 % |
106.12/106.29 c | 13464 | 97638 423113 1189990 | 2147483647 13464 101 | 0.000 % |
106.22/106.37 c | 13745 | 97638 423113 1189990 | 2147483647 13745 99 | 0.000 % |
106.42/106.51 c | 14054 | 97638 423113 1189990 | 2147483647 14054 98 | 0.000 % |
106.72/106.83 c | 14154 | 97638 423113 1189990 | 2147483647 14154 98 | 0.000 % |
106.72/106.88 c | 14265 | 97638 423113 1189990 | 2147483647 14265 97 | 0.000 % |
106.92/107.03 c | 14387 | 97638 423113 1189990 | 2147483647 14387 97 | 0.000 % |
106.92/107.05 c | 14521 | 97638 423113 1189990 | 2147483647 14521 96 | 0.000 % |
107.52/107.61 c | 14668 | 97638 423113 1189990 | 2147483647 14668 96 | 0.000 % |
107.52/107.69 c | 14829 | 97638 423113 1189990 | 2147483647 14829 95 | 0.000 % |
108.02/108.11 c | 15005 | 97638 423113 1189990 | 2147483647 15005 97 | 0.000 % |
108.22/108.32 c | 15198 | 97638 423113 1189990 | 2147483647 15198 98 | 0.000 % |
108.32/108.45 c | 15410 | 97638 423113 1189990 | 2147483647 15410 97 | 0.000 % |
108.42/108.55 c | 15643 | 97638 423113 1189990 | 2147483647 15643 96 | 0.000 % |
108.52/108.69 c | 15901 | 97638 423113 1189990 | 2147483647 15901 95 | 0.000 % |
108.73/108.86 c | 16183 | 97638 423113 1189990 | 2147483647 16183 94 | 0.000 % |
110.62/110.78 c | 16494 | 97638 423113 1189990 | 2147483647 16494 96 | 0.000 % |
111.32/111.49 c | 16834 | 97638 423113 1189990 | 2147483647 16834 97 | 0.000 % |
111.42/111.51 c | 16934 | 97638 423113 1189990 | 2147483647 16934 97 | 0.000 % |
111.42/111.58 c | 17047 | 97638 423113 1189990 | 2147483647 17047 96 | 0.000 % |
111.72/111.80 c | 17169 | 97638 423113 1189990 | 2147483647 17169 96 | 0.000 % |
111.72/111.89 c | 17308 | 97638 423113 1189990 | 2147483647 17308 96 | 0.000 % |
111.82/111.97 c | 17454 | 97638 423113 1189990 | 2147483647 17454 95 | 0.000 % |
111.92/112.08 c | 17616 | 97638 423113 1189990 | 2147483647 17616 95 | 0.000 % |
112.12/112.27 c | 17793 | 97638 423113 1189990 | 2147483647 17793 94 | 0.000 % |
112.32/112.43 c | 17989 | 97638 423113 1189990 | 2147483647 17989 94 | 0.000 % |
112.42/112.55 c | 18201 | 97638 423113 1189990 | 2147483647 18201 93 | 0.000 % |
112.82/112.98 c | 18435 | 97638 423113 1189990 | 2147483647 18435 93 | 0.000 % |
113.52/113.67 c | 18691 | 97638 423113 1189990 | 2147483647 18691 94 | 0.000 % |
113.72/113.81 c | 18972 | 97638 423113 1189990 | 2147483647 18972 94 | 0.000 % |
114.12/114.27 c | 19281 | 97638 423113 1189990 | 2147483647 19281 93 | 0.000 % |
114.22/114.34 c | 19620 | 97638 423113 1189990 | 2147483647 19620 92 | 0.000 % |
114.32/114.47 c | 19992 | 97638 423113 1189990 | 2147483647 19992 91 | 0.000 % |
114.42/114.52 c | 20092 | 97638 423113 1189990 | 2147483647 20092 91 | 0.000 % |
114.52/114.67 c | 20204 | 97638 423113 1189990 | 2147483647 20204 90 | 0.000 % |
114.62/114.78 c | 20325 | 97638 423113 1189990 | 2147483647 20325 90 | 0.000 % |
114.72/114.82 c | 20458 | 97638 423113 1189990 | 2147483647 20458 90 | 0.000 % |
114.72/114.87 c | 20607 | 97638 423113 1189990 | 2147483647 20607 89 | 0.000 % |
114.92/115.01 c | 20768 | 97638 423113 1189990 | 2147483647 20768 89 | 0.000 % |
114.92/115.03 c | 20944 | 97638 423113 1189990 | 2147483647 20944 88 | 0.000 % |
114.92/115.09 c | 21137 | 97638 423113 1189990 | 2147483647 21137 88 | 0.000 % |
115.52/115.68 c | 21350 | 97638 423113 1189990 | 2147483647 21350 87 | 0.000 % |
115.92/116.05 c | 21583 | 97638 423113 1189990 | 2147483647 21583 87 | 0.000 % |
116.42/116.52 c | 21840 | 97638 423113 1189990 | 2147483647 21840 87 | 0.000 % |
116.53/116.65 c | 22121 | 97638 423113 1189990 | 2147483647 22121 86 | 0.000 % |
116.62/116.75 c | 22430 | 97638 423113 1189990 | 2147483647 22430 85 | 0.000 % |
116.72/116.88 c | 22769 | 97638 423113 1189990 | 2147483647 22769 84 | 0.000 % |
117.02/117.10 c | 23142 | 97638 423113 1189990 | 2147483647 23142 84 | 0.000 % |
117.02/117.19 c | 23551 | 97638 423113 1189990 | 2147483647 23551 83 | 0.000 % |
117.32/117.44 c | 23652 | 97638 423113 1189990 | 2147483647 23652 83 | 0.000 % |
117.53/117.60 c | 23763 | 97638 423113 1189990 | 2147483647 23763 83 | 0.000 % |
117.63/117.71 c | 23884 | 97638 423113 1189990 | 2147483647 23884 82 | 0.000 % |
117.63/117.74 c | 24018 | 97638 423113 1189990 | 2147483647 24018 82 | 0.000 % |
117.92/118.02 c | 24164 | 97638 423113 1189990 | 2147483647 24164 82 | 0.000 % |
118.02/118.14 c | 24327 | 97638 423113 1189990 | 2147483647 24327 81 | 0.000 % |
118.32/118.47 c | 24504 | 97638 423113 1189990 | 2147483647 24504 81 | 0.000 % |
119.02/119.19 c | 24698 | 97638 423113 1189990 | 2147483647 24698 82 | 0.000 % |
119.32/119.48 c | 24913 | 97638 423113 1189990 | 2147483647 24913 81 | 0.000 % |
119.52/119.61 c | 25147 | 97638 423113 1189990 | 2147483647 25147 81 | 0.000 % |
119.62/119.70 c | 25405 | 97638 423113 1189990 | 2147483647 25405 81 | 0.000 % |
119.92/120.02 c | 25687 | 97638 423113 1189990 | 2147483647 25687 80 | 0.000 % |
120.12/120.27 c | 25997 | 97638 423113 1189990 | 2147483647 25997 80 | 0.000 % |
120.32/120.45 c | 26337 | 97638 423113 1189990 | 2147483647 26337 79 | 0.000 % |
121.02/121.12 c | 26709 | 97638 423113 1189990 | 2147483647 26709 80 | 0.000 % |
121.52/121.63 c | 27119 | 97638 423113 1189990 | 2147483647 27119 80 | 0.000 % |
121.62/121.79 c | 27568 | 97638 423113 1189990 | 2147483647 27568 79 | 0.000 % |
122.32/122.45 c | 27669 | 97638 423113 1189990 | 2147483647 27669 80 | 0.000 % |
122.52/122.60 c | 27779 | 97638 423113 1189990 | 2147483647 27779 80 | 0.000 % |
122.52/122.63 c | 27900 | 97638 423113 1189990 | 2147483647 27900 79 | 0.000 % |
122.52/122.67 c | 28033 | 97638 423113 1189990 | 2147483647 28033 79 | 0.000 % |
123.02/123.15 c | 28179 | 97638 423113 1189990 | 2147483647 28179 80 | 0.000 % |
126.82/127.00 c | 28341 | 97638 423113 1189990 | 2147483647 28341 80 | 0.000 % |
127.82/127.96 c | 28517 | 97638 423113 1189990 | 2147483647 28517 80 | 0.000 % |
128.32/128.44 c | 28710 | 97638 423113 1189990 | 2147483647 28710 80 | 0.000 % |
128.72/128.81 c | 28924 | 97638 423113 1189990 | 2147483647 28924 80 | 0.000 % |
128.92/129.04 c | 29159 | 97638 423113 1189990 | 2147483647 29159 79 | 0.000 % |
129.22/129.31 c | 29416 | 97638 423113 1189990 | 2147483647 29416 79 | 0.000 % |
129.62/129.72 c | 29697 | 97638 423113 1189990 | 2147483647 29697 79 | 0.000 % |
129.72/129.86 c | 30006 | 97638 423113 1189990 | 2147483647 30006 79 | 0.000 % |
129.92/130.06 c | 30345 | 97638 423113 1189990 | 2147483647 30345 78 | 0.000 % |
130.12/130.27 c | 30718 | 97638 423113 1189990 | 2147483647 30718 78 | 0.000 % |
130.22/130.34 c | 31127 | 97638 423113 1189990 | 2147483647 31127 77 | 0.000 % |
130.32/130.50 c | 31577 | 97638 423113 1189990 | 2147483647 31577 76 | 0.000 % |
133.02/133.13 c | 32072 | 97638 423113 1189990 | 2147483647 32072 78 | 0.000 % |
133.11/133.24 c | 32172 | 97638 423113 1189990 | 2147483647 32172 78 | 0.000 % |
133.11/133.27 c | 32282 | 97638 423113 1189990 | 2147483647 32282 78 | 0.000 % |
133.11/133.29 c | 32403 | 97638 423113 1189990 | 2147483647 32403 77 | 0.000 % |
133.31/133.48 c | 32536 | 97638 423113 1189990 | 2147483647 32536 77 | 0.000 % |
136.71/136.85 c | 32683 | 97637 423110 1189984 | 2147483647 32682 78 | 0.001 % |
139.21/139.39 c | 32843 | 97637 423110 1189984 | 2147483647 32842 78 | 0.001 % |
140.41/140.56 c | 33019 | 97637 423110 1189984 | 2147483647 33018 79 | 0.001 % |
141.21/141.30 c | 33212 | 97637 423110 1189984 | 2147483647 33211 79 | 0.001 % |
141.71/141.86 c | 33427 | 97637 423110 1189984 | 2147483647 33426 78 | 0.001 % |
141.81/141.99 c | 33662 | 97637 423110 1189984 | 2147483647 33661 78 | 0.001 % |
141.91/142.05 c | 33918 | 97637 423110 1189984 | 2147483647 33917 78 | 0.001 % |
142.11/142.29 c | 34199 | 97637 423110 1189984 | 2147483647 34198 77 | 0.001 % |
142.31/142.43 c | 34510 | 97637 423110 1189984 | 2147483647 34509 77 | 0.001 % |
143.01/143.12 c | 34851 | 97637 423110 1189984 | 2147483647 34850 77 | 0.001 % |
143.11/143.23 c | 35223 | 97637 423110 1189984 | 2147483647 35222 77 | 0.001 % |
143.31/143.48 c | 35632 | 97637 423110 1189984 | 2147483647 35631 76 | 0.001 % |
143.41/143.55 c | 36081 | 97637 423110 1189984 | 2147483647 36080 75 | 0.001 % |
144.52/144.64 c | 36574 | 97637 423110 1189984 | 2147483647 36573 77 | 0.001 % |
144.82/144.90 c | 37118 | 97637 423110 1189984 | 2147483647 37117 76 | 0.001 % |
144.82/144.92 c | 37218 | 97637 423110 1189984 | 2147483647 37217 76 | 0.001 % |
144.82/144.93 c | 37328 | 97637 423110 1189984 | 2147483647 37327 76 | 0.001 % |
144.92/145.00 c | 37449 | 97637 423110 1189984 | 2147483647 37448 76 | 0.001 % |
145.02/145.15 c | 37584 | 97637 423110 1189984 | 2147483647 37583 76 | 0.001 % |
145.32/145.45 c | 37730 | 97637 423110 1189984 | 2147483647 37729 76 | 0.001 % |
145.42/145.52 c | 37891 | 97637 423110 1189984 | 2147483647 37890 75 | 0.001 % |
145.62/145.75 c | 38067 | 97637 423110 1189984 | 2147483647 38066 75 | 0.001 % |
146.22/146.39 c | 38261 | 97637 423110 1189984 | 2147483647 38260 76 | 0.001 % |
147.02/147.18 c | 38474 | 97637 423110 1189984 | 2147483647 38473 76 | 0.001 % |
147.22/147.30 c | 38707 | 97637 423110 1189984 | 2147483647 38706 76 | 0.001 % |
147.32/147.41 c | 38964 | 97637 423110 1189984 | 2147483647 38963 76 | 0.001 % |
147.32/147.44 c | 39247 | 97637 423110 1189984 | 2147483647 39246 75 | 0.001 % |
147.42/147.54 c | 39556 | 97637 423110 1189984 | 2147483647 39555 75 | 0.001 % |
147.52/147.68 c | 39895 | 97637 423110 1189984 | 2147483647 39894 74 | 0.001 % |
147.82/147.91 c | 40267 | 97637 423110 1189984 | 2147483647 40266 74 | 0.001 % |
147.92/148.07 c | 40676 | 97637 423110 1189984 | 2147483647 40675 74 | 0.001 % |
148.02/148.17 c | 41126 | 97637 423110 1189984 | 2147483647 41125 73 | 0.001 % |
148.12/148.27 c | 41620 | 97637 423110 1189984 | 2147483647 41619 72 | 0.001 % |
148.42/148.59 c | 42162 | 97637 423110 1189984 | 2147483647 42161 72 | 0.001 % |
148.72/148.88 c | 42758 | 97637 423110 1189984 | 2147483647 42757 71 | 0.001 % |
148.82/148.92 c | 42858 | 97637 423110 1189984 | 2147483647 42857 71 | 0.001 % |
148.82/148.95 c | 42968 | 97637 423110 1189984 | 2147483647 42967 71 | 0.001 % |
149.11/149.23 c | 43090 | 97637 423110 1189984 | 2147483647 43089 71 | 0.001 % |
149.42/149.51 c | 43224 | 97637 423110 1189984 | 2147483647 43223 71 | 0.001 % |
149.42/149.57 c | 43372 | 97637 423110 1189984 | 2147483647 43371 71 | 0.001 % |
149.71/149.81 c | 43532 | 97637 423110 1189984 | 2147483647 43531 71 | 0.001 % |
150.01/150.18 c | 43708 | 97637 423110 1189984 | 2147483647 43707 71 | 0.001 % |
150.41/150.53 c | 43901 | 97637 423110 1189984 | 2147483647 43900 71 | 0.001 % |
150.52/150.67 c | 44114 | 97637 423110 1189984 | 2147483647 44113 71 | 0.001 % |
150.62/150.79 c | 44348 | 97637 423110 1189984 | 2147483647 44347 71 | 0.001 % |
150.81/150.98 c | 44604 | 97637 423110 1189984 | 2147483647 44603 70 | 0.001 % |
151.01/151.15 c | 44885 | 97637 423110 1189984 | 2147483647 44884 70 | 0.001 % |
151.51/151.69 c | 45196 | 97637 423110 1189984 | 2147483647 45195 70 | 0.001 % |
151.81/151.93 c | 45539 | 97637 423110 1189984 | 2147483647 45538 70 | 0.001 % |
152.41/152.52 c | 45911 | 97637 423110 1189984 | 2147483647 45910 71 | 0.001 % |
152.81/152.90 c | 46320 | 97637 423110 1189984 | 2147483647 46319 71 | 0.001 % |
153.21/153.38 c | 46769 | 97637 423110 1189984 | 2147483647 46768 71 | 0.001 % |
153.71/153.89 c | 47262 | 97637 423110 1189984 | 2147483647 47261 71 | 0.001 % |
153.91/154.06 c | 47804 | 97637 423110 1189984 | 2147483647 47803 70 | 0.001 % |
154.51/154.65 c | 48401 | 97637 423110 1189984 | 2147483647 48400 70 | 0.001 % |
154.81/154.94 c | 49056 | 97637 423110 1189984 | 2147483647 49055 70 | 0.001 % |
155.71/155.81 c | 49156 | 97637 423110 1189984 | 2147483647 49155 70 | 0.001 % |
155.81/155.95 c | 49269 | 97637 423110 1189984 | 2147483647 49268 70 | 0.001 % |
156.01/156.16 c | 49390 | 97637 423110 1189984 | 2147483647 49389 70 | 0.001 % |
156.11/156.20 c | 49526 | 97637 423110 1189984 | 2147483647 49525 70 | 0.001 % |
156.31/156.49 c | 49672 | 97637 423110 1189984 | 2147483647 49671 70 | 0.001 % |
156.71/156.85 c | 49832 | 97637 423110 1189984 | 2147483647 49831 70 | 0.001 % |
156.81/156.90 c | 50010 | 97637 423110 1189984 | 2147483647 50009 70 | 0.001 % |
156.91/157.00 c | 50203 | 97637 423110 1189984 | 2147483647 50202 70 | 0.001 % |
156.91/157.04 c | 50417 | 97637 423110 1189984 | 2147483647 50416 70 | 0.001 % |
156.91/157.09 c | 50650 | 97637 423110 1189984 | 2147483647 50649 69 | 0.001 % |
157.01/157.16 c | 50909 | 97637 423110 1189984 | 2147483647 50908 69 | 0.001 % |
157.11/157.30 c | 51192 | 97637 423110 1189984 | 2147483647 51191 69 | 0.001 % |
157.31/157.40 c | 51501 | 97637 423110 1189984 | 2147483647 51500 69 | 0.001 % |
157.61/157.70 c | 51840 | 97637 423110 1189984 | 2147483647 51839 69 | 0.001 % |
157.71/157.89 c | 52213 | 97637 423110 1189984 | 2147483647 52212 68 | 0.001 % |
157.91/158.00 c | 52622 | 97637 423110 1189984 | 2147483647 52621 68 | 0.001 % |
158.11/158.28 c | 53071 | 97637 423110 1189984 | 2147483647 53070 68 | 0.001 % |
158.70/158.83 c | 53565 | 97637 423110 1189984 | 2147483647 53564 68 | 0.001 % |
159.80/159.94 c | 54107 | 97637 423110 1189984 | 2147483647 54106 68 | 0.001 % |
160.51/160.61 c | 54703 | 97637 423110 1189984 | 2147483647 54702 68 | 0.001 % |
160.71/160.85 c | 55359 | 97637 423110 1189984 | 2147483647 55358 68 | 0.001 % |
161.21/161.36 c | 56080 | 97637 423110 1189984 | 2147483647 56079 67 | 0.001 % |
162.01/162.11 c | 56184 | 97637 423110 1189984 | 2147483647 56183 67 | 0.001 % |
162.31/162.45 c | 56294 | 97637 423110 1189984 | 2147483647 56293 67 | 0.001 % |
162.41/162.59 c | 56416 | 97637 423110 1189984 | 2147483647 56415 67 | 0.001 % |
162.71/162.81 c | 56549 | 97637 423110 1189984 | 2147483647 56548 67 | 0.001 % |
162.81/162.96 c | 56695 | 97637 423110 1189984 | 2147483647 56694 67 | 0.001 % |
163.11/163.22 c | 56855 | 97637 423110 1189984 | 2147483647 56854 68 | 0.001 % |
163.21/163.34 c | 57033 | 97637 423110 1189984 | 2147483647 57032 67 | 0.001 % |
164.11/164.21 c | 57227 | 97637 423110 1189984 | 2147483647 57226 68 | 0.001 % |
166.61/166.76 c | 57439 | 97637 423110 1189984 | 2147483647 57438 67 | 0.001 % |
167.80/167.92 c | 57674 | 97637 423110 1189984 | 2147483647 57673 68 | 0.001 % |
167.80/167.95 c | 57931 | 97637 423110 1189984 | 2147483647 57930 67 | 0.001 % |
167.90/168.03 c | 58212 | 97637 423110 1189984 | 2147483647 58211 67 | 0.001 % |
168.00/168.11 c | 58522 | 97637 423110 1189984 | 2147483647 58521 67 | 0.001 % |
170.60/170.74 c | 58861 | 97637 423110 1189984 | 2147483647 58860 67 | 0.001 % |
174.90/175.01 c | 59233 | 97637 423110 1189984 | 2147483647 59232 68 | 0.001 % |
177.20/177.33 c | 59642 | 97637 423110 1189984 | 2147483647 59641 69 | 0.001 % |
177.40/177.54 c | 60091 | 97637 423110 1189984 | 2147483647 60090 69 | 0.001 % |
182.91/183.03 c | 60585 | 97637 423110 1189984 | 2147483647 60584 69 | 0.001 % |
187.10/187.29 c | 61127 | 97637 423110 1189984 | 2147483647 61126 70 | 0.001 % |
187.80/187.98 c | 61723 | 97637 423110 1189984 | 2147483647 61722 70 | 0.001 % |
188.70/188.85 c | 62379 | 97637 423110 1189984 | 2147483647 62378 70 | 0.001 % |
189.01/189.13 c | 63099 | 97637 423110 1189984 | 2147483647 63098 70 | 0.001 % |
195.99/196.15 c | 63896 | 97637 423110 1189984 | 2147483647 63895 78 | 0.001 % |
196.29/196.50 c | 63996 | 97637 423110 1189984 | 2147483647 63995 78 | 0.001 % |
196.49/196.66 c | 64109 | 97637 423110 1189984 | 2147483647 64108 78 | 0.001 % |
196.70/196.81 c | 64231 | 97637 423110 1189984 | 2147483647 64230 78 | 0.001 % |
196.70/196.89 c | 64364 | 97637 423110 1189984 | 2147483647 64363 78 | 0.001 % |
196.80/196.98 c | 64512 | 97637 423110 1189984 | 2147483647 64511 78 | 0.001 % |
197.69/197.85 c | 64672 | 97637 423110 1189984 | 2147483647 64671 79 | 0.001 % |
197.80/197.96 c | 64849 | 97637 423110 1189984 | 2147483647 64848 79 | 0.001 % |
197.90/198.05 c | 65042 | 97637 423110 1189984 | 2147483647 65041 79 | 0.001 % |
198.19/198.37 c | 65254 | 97637 423110 1189984 | 2147483647 65253 79 | 0.001 % |
198.39/198.51 c | 65488 | 97637 423110 1189984 | 2147483647 65487 78 | 0.001 % |
198.39/198.59 c | 65748 | 97637 423110 1189984 | 2147483647 65747 78 | 0.001 % |
198.69/198.82 c | 66030 | 97637 423110 1189984 | 2147483647 66029 78 | 0.001 % |
199.39/199.54 c | 66340 | 97637 423110 1189984 | 2147483647 66339 78 | 0.001 % |
199.70/199.85 c | 66679 | 97637 423110 1189984 | 2147483647 66678 78 | 0.001 % |
200.01/200.18 c | 67052 | 97637 423110 1189984 | 2147483647 67051 78 | 0.001 % |
202.80/202.90 c | 67462 | 97637 423110 1189984 | 2147483647 67461 80 | 0.001 % |
203.40/203.58 c | 67911 | 97637 423110 1189984 | 2147483647 67910 81 | 0.001 % |
203.60/203.75 c | 68406 | 97637 423110 1189984 | 2147483647 68405 80 | 0.001 % |
203.90/204.05 c | 68948 | 97637 423110 1189984 | 2147483647 68947 80 | 0.001 % |
204.50/204.68 c | 69545 | 97637 423110 1189984 | 2147483647 69544 80 | 0.001 % |
211.89/212.10 c | 70200 | 97637 423110 1189984 | 2147483647 70199 81 | 0.001 % |
212.89/213.04 c | 70921 | 97637 423110 1189984 | 2147483647 70920 80 | 0.001 % |
213.09/213.29 c | 71715 | 97637 423110 1189984 | 2147483647 71714 80 | 0.001 % |
213.89/214.02 c | 72586 | 97637 423110 1189984 | 2147483647 72585 79 | 0.001 % |
214.69/214.83 c | 72687 | 97637 423110 1189984 | 2147483647 72686 79 | 0.001 % |
215.29/215.45 c | 72798 | 97637 423110 1189984 | 2147483647 72797 79 | 0.001 % |
215.49/215.60 c | 72919 | 97637 423110 1189984 | 2147483647 72918 79 | 0.001 % |
215.59/215.76 c | 73052 | 97637 423110 1189984 | 2147483647 73051 79 | 0.001 % |
215.89/216.07 c | 73199 | 97637 423110 1189984 | 2147483647 73198 79 | 0.001 % |
215.99/216.18 c | 73360 | 97637 423110 1189984 | 2147483647 73359 79 | 0.001 % |
216.19/216.39 c | 73537 | 97637 423110 1189984 | 2147483647 73536 79 | 0.001 % |
218.09/218.21 c | 73730 | 97637 423110 1189984 | 2147483647 73729 79 | 0.001 % |
218.19/218.32 c | 73942 | 97637 423110 1189984 | 2147483647 73941 79 | 0.001 % |
218.69/218.86 c | 74176 | 97637 423110 1189984 | 2147483647 74175 79 | 0.001 % |
218.79/218.93 c | 74434 | 97637 423110 1189984 | 2147483647 74433 79 | 0.001 % |
219.09/219.21 c | 74715 | 97637 423110 1189984 | 2147483647 74714 79 | 0.001 % |
219.29/219.44 c | 75025 | 97637 423110 1189984 | 2147483647 75024 79 | 0.001 % |
220.49/220.61 c | 75365 | 97637 423110 1189984 | 2147483647 75364 79 | 0.001 % |
220.69/220.84 c | 75738 | 97637 423110 1189984 | 2147483647 75737 79 | 0.001 % |
220.89/221.06 c | 76147 | 97637 423110 1189984 | 2147483647 76146 78 | 0.001 % |
221.09/221.20 c | 76596 | 97637 423110 1189984 | 2147483647 76595 78 | 0.001 % |
221.59/221.75 c | 77089 | 97637 423110 1189984 | 2147483647 77088 78 | 0.001 % |
225.29/225.43 c | 77631 | 97637 423110 1189984 | 2147483647 77630 79 | 0.001 % |
225.99/226.16 c | 78227 | 97637 423110 1189984 | 2147483647 78226 79 | 0.001 % |
226.69/226.81 c | 78882 | 97637 423110 1189984 | 2147483647 78881 79 | 0.001 % |
226.79/226.96 c | 79603 | 97637 423110 1189984 | 2147483647 79602 78 | 0.001 % |
227.79/227.96 c | 80395 | 97637 423110 1189984 | 2147483647 80394 78 | 0.001 % |
228.59/228.77 c | 81267 | 97637 423110 1189984 | 2147483647 81266 78 | 0.001 % |
229.09/229.24 c | 82226 | 97637 423110 1189984 | 2147483647 82225 77 | 0.001 % |
229.09/229.26 c | 82326 | 97637 423110 1189984 | 2147483647 82325 77 | 0.001 % |
229.19/229.32 c | 82436 | 97637 423110 1189984 | 2147483647 82435 77 | 0.001 % |
229.19/229.39 c | 82559 | 97637 423110 1189984 | 2147483647 82558 77 | 0.001 % |
229.89/230.04 c | 82692 | 97637 423110 1189984 | 2147483647 82691 77 | 0.001 % |
231.39/231.51 c | 82838 | 97637 423110 1189984 | 2147483647 82837 77 | 0.001 % |
231.79/231.96 c | 82998 | 97637 423110 1189984 | 2147483647 82997 77 | 0.001 % |
231.99/232.13 c | 83174 | 97637 423110 1189984 | 2147483647 83173 77 | 0.001 % |
232.09/232.21 c | 83367 | 97637 423110 1189984 | 2147483647 83366 76 | 0.001 % |
232.09/232.25 c | 83580 | 97637 423110 1189984 | 2147483647 83579 76 | 0.001 % |
233.09/233.27 c | 83813 | 97637 423110 1189984 | 2147483647 83812 77 | 0.001 % |
233.48/233.66 c | 84069 | 97637 423110 1189984 | 2147483647 84068 77 | 0.001 % |
234.68/234.83 c | 84350 | 97637 423110 1189984 | 2147483647 84349 77 | 0.001 % |
234.98/235.13 c | 84659 | 97637 423110 1189984 | 2147483647 84658 77 | 0.001 % |
234.98/235.18 c | 85000 | 97637 423110 1189984 | 2147483647 84999 77 | 0.001 % |
235.19/235.38 c | 85372 | 97637 423110 1189984 | 2147483647 85371 77 | 0.001 % |
235.89/236.02 c | 85781 | 97637 423110 1189984 | 2147483647 85780 76 | 0.001 % |
236.19/236.32 c | 86230 | 97637 423110 1189984 | 2147483647 86229 76 | 0.001 % |
236.40/236.57 c | 86724 | 97637 423110 1189984 | 2147483647 86723 76 | 0.001 % |
237.49/237.66 c | 87267 | 97637 423110 1189984 | 2147483647 87266 76 | 0.001 % |
237.79/237.92 c | 87863 | 97637 423110 1189984 | 2147483647 87862 76 | 0.001 % |
237.99/238.19 c | 88518 | 97637 423110 1189984 | 2147483647 88517 75 | 0.001 % |
243.79/243.99 c | 89239 | 97637 423110 1189984 | 2147483647 89238 76 | 0.001 % |
244.69/244.82 c | 90033 | 97637 423110 1189984 | 2147483647 90032 76 | 0.001 % |
251.48/251.66 c | 90904 | 97637 423110 1189984 | 2147483647 90903 76 | 0.001 % |
253.68/253.87 c | 91863 | 97637 423110 1189984 | 2147483647 91862 77 | 0.001 % |
253.89/254.06 c | 92916 | 97637 423110 1189984 | 2147483647 92915 77 | 0.001 % |
253.89/254.09 c | 93016 | 97637 423110 1189984 | 2147483647 93015 77 | 0.001 % |
254.18/254.39 c | 93126 | 97637 423110 1189984 | 2147483647 93125 77 | 0.001 % |
254.38/254.59 c | 93248 | 97637 423110 1189984 | 2147483647 93247 77 | 0.001 % |
254.48/254.65 c | 93381 | 97637 423110 1189984 | 2147483647 93380 77 | 0.001 % |
254.58/254.72 c | 93527 | 97637 423110 1189984 | 2147483647 93526 76 | 0.001 % |
255.18/255.30 c | 93687 | 97637 423110 1189984 | 2147483647 93686 76 | 0.001 % |
255.38/255.59 c | 93863 | 97637 423110 1189984 | 2147483647 93862 76 | 0.001 % |
255.48/255.66 c | 94056 | 97637 423110 1189984 | 2147483647 94055 76 | 0.001 % |
255.98/256.12 c | 94269 | 97637 423110 1189984 | 2147483647 94268 76 | 0.001 % |
256.08/256.21 c | 94502 | 97637 423110 1189984 | 2147483647 94501 76 | 0.001 % |
256.59/256.74 c | 94759 | 97637 423110 1189984 | 2147483647 94758 76 | 0.001 % |
256.79/256.92 c | 95044 | 97637 423110 1189984 | 2147483647 95043 76 | 0.001 % |
259.08/259.24 c | 95354 | 97637 423110 1189984 | 2147483647 95353 76 | 0.001 % |
259.49/259.64 c | 95693 | 97637 423110 1189984 | 2147483647 95692 76 | 0.001 % |
259.68/259.82 c | 96065 | 97637 423110 1189984 | 2147483647 96064 75 | 0.001 % |
264.08/264.24 c | 96475 | 97637 423110 1189984 | 2147483647 96474 77 | 0.001 % |
264.48/264.66 c | 96924 | 97637 423110 1189984 | 2147483647 96923 77 | 0.001 % |
264.88/265.06 c | 97417 | 97637 423110 1189984 | 2147483647 97416 77 | 0.001 % |
265.08/265.24 c | 97959 | 97637 423110 1189984 | 2147483647 97958 76 | 0.001 % |
265.58/265.72 c | 98556 | 97637 423110 1189984 | 2147483647 98555 76 | 0.001 % |
266.08/266.29 c | 99211 | 97637 423110 1189984 | 2147483647 99210 76 | 0.001 % |
266.58/266.71 c | 99932 | 97637 423110 1189984 | 2147483647 99931 76 | 0.001 % |
266.88/267.02 c | 100724 | 97637 423110 1189984 | 2147483647 100723 75 | 0.001 % |
267.28/267.40 c | 101596 | 97637 423110 1189984 | 2147483647 101595 75 | 0.001 % |
268.38/268.51 c | 102555 | 97637 423110 1189984 | 2147483647 102554 75 | 0.001 % |
273.48/273.68 c | 103608 | 97637 423110 1189984 | 2147483647 103607 76 | 0.001 % |
275.28/275.45 c | 104766 | 97637 423110 1189984 | 2147483647 104765 75 | 0.001 % |
275.38/275.53 c | 104866 | 97637 423110 1189984 | 2147483647 104865 75 | 0.001 % |
275.38/275.54 c | 104976 | 97637 423110 1189984 | 2147483647 104975 75 | 0.001 % |
275.58/275.72 c | 105097 | 97637 423110 1189984 | 2147483647 105096 75 | 0.001 % |
279.48/279.60 c | 105231 | 97637 423110 1189984 | 2147483647 105230 76 | 0.001 % |
280.68/280.89 c | 105377 | 97637 423110 1189984 | 2147483647 105376 76 | 0.001 % |
280.97/281.15 c | 105539 | 97637 423110 1189984 | 2147483647 105538 76 | 0.001 % |
281.48/281.66 c | 105715 | 97637 423110 1189984 | 2147483647 105714 76 | 0.001 % |
281.77/281.92 c | 105908 | 97637 423110 1189984 | 2147483647 105907 76 | 0.001 % |
281.77/281.97 c | 106120 | 97637 423110 1189984 | 2147483647 106119 76 | 0.001 % |
281.97/282.14 c | 106355 | 97637 423110 1189984 | 2147483647 106354 76 | 0.001 % |
282.27/282.47 c | 106611 | 97637 423110 1189984 | 2147483647 106610 76 | 0.001 % |
282.58/282.72 c | 106892 | 97637 423110 1189984 | 2147483647 106891 76 | 0.001 % |
282.67/282.87 c | 107201 | 97637 423110 1189984 | 2147483647 107200 76 | 0.001 % |
282.77/282.94 c | 107541 | 97637 423110 1189984 | 2147483647 107540 76 | 0.001 % |
285.07/285.24 c | 107913 | 97637 423110 1189984 | 2147483647 107912 76 | 0.001 % |
285.67/285.81 c | 108322 | 97637 423110 1189984 | 2147483647 108321 76 | 0.001 % |
286.37/286.56 c | 108772 | 97637 423110 1189984 | 2147483647 108771 75 | 0.001 % |
288.47/288.69 c | 109265 | 97637 423110 1189984 | 2147483647 109264 76 | 0.001 % |
288.87/289.04 c | 109808 | 97637 423110 1189984 | 2147483647 109807 76 | 0.001 % |
289.07/289.21 c | 110404 | 97637 423110 1189984 | 2147483647 110403 75 | 0.001 % |
289.37/289.51 c | 111061 | 97637 423110 1189984 | 2147483647 111060 75 | 0.001 % |
297.17/297.38 c | 111781 | 97637 423110 1189984 | 2147483647 111780 75 | 0.001 % |
297.77/297.92 c | 112574 | 97637 423110 1189984 | 2147483647 112573 75 | 0.001 % |
299.48/299.66 c | 113445 | 97637 423110 1189984 | 2147483647 113444 75 | 0.001 % |
300.57/300.74 c | 114403 | 97637 423110 1189984 | 2147483647 114402 75 | 0.001 % |
301.17/301.38 c | 115456 | 97637 423110 1189984 | 2147483647 115455 74 | 0.001 % |
301.87/302.09 c | 116615 | 97637 423110 1189984 | 2147483647 116614 74 | 0.001 % |
302.47/302.64 c | 117888 | 97637 423110 1189984 | 2147483647 117887 74 | 0.001 % |
302.67/302.82 c | 117988 | 97637 423110 1189984 | 2147483647 117987 74 | 0.001 % |
302.77/302.99 c | 118099 | 97637 423110 1189984 | 2147483647 118098 73 | 0.001 % |
304.77/304.97 c | 118220 | 97637 423110 1189984 | 2147483647 118219 73 | 0.001 % |
305.27/305.44 c | 118354 | 97637 423110 1189984 | 2147483647 118353 73 | 0.001 % |
305.77/305.91 c | 118501 | 97637 423110 1189984 | 2147483647 118500 73 | 0.001 % |
308.07/308.28 c | 118661 | 97637 423110 1189984 | 2147483647 118660 74 | 0.001 % |
308.47/308.65 c | 118838 | 97637 423110 1189984 | 2147483647 118837 74 | 0.001 % |
308.67/308.83 c | 119032 | 97637 423110 1189984 | 2147483647 119031 74 | 0.001 % |
309.77/309.92 c | 119245 | 97637 423110 1189984 | 2147483647 119244 74 | 0.001 % |
310.07/310.22 c | 119479 | 97637 423110 1189984 | 2147483647 119478 74 | 0.001 % |
310.37/310.58 c | 119735 | 97637 423110 1189984 | 2147483647 119734 74 | 0.001 % |
310.67/310.82 c | 120016 | 97637 423110 1189984 | 2147483647 120015 74 | 0.001 % |
311.17/311.35 c | 120326 | 97637 423110 1189984 | 2147483647 120325 74 | 0.001 % |
311.67/311.90 c | 120666 | 97637 423110 1189984 | 2147483647 120665 73 | 0.001 % |
311.97/312.17 c | 121039 | 97637 423110 1189984 | 2147483647 121038 73 | 0.001 % |
313.96/314.14 c | 121448 | 97637 423110 1189984 | 2147483647 121447 74 | 0.001 % |
314.26/314.46 c | 121899 | 97637 423110 1189984 | 2147483647 121898 74 | 0.001 % |
314.56/314.72 c | 122393 | 97637 423110 1189984 | 2147483647 122392 74 | 0.001 % |
314.86/315.09 c | 122935 | 97637 423110 1189984 | 2147483647 122934 73 | 0.001 % |
315.57/315.71 c | 123531 | 97637 423110 1189984 | 2147483647 123530 73 | 0.001 % |
330.06/330.25 c | 124186 | 97637 423110 1189984 | 2147483647 124185 75 | 0.001 % |
330.87/331.08 c | 124906 | 97637 423110 1189984 | 2147483647 124905 76 | 0.001 % |
331.76/331.96 c | 125699 | 97637 423110 1189984 | 2147483647 125698 76 | 0.001 % |
332.36/332.54 c | 126571 | 97637 423110 1189984 | 2147483647 126570 75 | 0.001 % |
334.66/334.83 c | 127529 | 97637 423110 1189984 | 2147483647 127528 75 | 0.001 % |
335.36/335.57 c | 128583 | 97637 423110 1189984 | 2147483647 128582 75 | 0.001 % |
339.16/339.38 c | 129742 | 97637 423110 1189984 | 2147483647 129741 75 | 0.001 % |
340.76/340.96 c | 131015 | 97637 423110 1189984 | 2147483647 131014 74 | 0.001 % |
342.65/342.82 c | 132416 | 97637 423110 1189984 | 2147483647 132415 74 | 0.001 % |
343.86/344.09 c | 132516 | 97637 423110 1189984 | 2147483647 132515 74 | 0.001 % |
344.36/344.50 c | 132629 | 97637 423110 1189984 | 2147483647 132628 74 | 0.001 % |
344.76/344.91 c | 132750 | 97637 423110 1189984 | 2147483647 132749 74 | 0.001 % |
344.76/345.00 c | 132883 | 97637 423110 1189984 | 2147483647 132882 74 | 0.001 % |
344.86/345.06 c | 133030 | 97637 423110 1189984 | 2147483647 133029 74 | 0.001 % |
346.96/347.14 c | 133192 | 97637 423110 1189984 | 2147483647 133191 74 | 0.001 % |
347.76/347.97 c | 133368 | 97637 423110 1189984 | 2147483647 133367 74 | 0.001 % |
348.26/348.49 c | 133561 | 97637 423110 1189984 | 2147483647 133560 74 | 0.001 % |
349.86/350.10 c | 133773 | 97637 423110 1189984 | 2147483647 133772 75 | 0.001 % |
350.26/350.44 c | 134007 | 97637 423110 1189984 | 2147483647 134006 75 | 0.001 % |
351.06/351.21 c | 134263 | 97637 423110 1189984 | 2147483647 134262 75 | 0.001 % |
351.86/352.02 c | 134544 | 97637 423110 1189984 | 2147483647 134543 75 | 0.001 % |
353.15/353.31 c | 134856 | 97637 423110 1189984 | 2147483647 134855 75 | 0.001 % |
353.85/354.00 c | 135195 | 97637 423110 1189984 | 2147483647 135194 75 | 0.001 % |
354.45/354.69 c | 135567 | 97637 423110 1189984 | 2147483647 135566 75 | 0.001 % |
354.95/355.15 c | 135976 | 97637 423110 1189984 | 2147483647 135975 75 | 0.001 % |
355.16/355.34 c | 136426 | 97637 423110 1189984 | 2147483647 136425 75 | 0.001 % |
355.55/355.77 c | 136919 | 97637 423110 1189984 | 2147483647 136918 75 | 0.001 % |
355.95/356.12 c | 137461 | 97637 423110 1189984 | 2147483647 137460 74 | 0.001 % |
357.65/357.84 c | 138058 | 97637 423110 1189984 | 2147483647 138057 75 | 0.001 % |
360.75/360.91 c | 138713 | 97637 423110 1189984 | 2147483647 138712 75 | 0.001 % |
360.85/361.06 c | 139433 | 97637 423110 1189984 | 2147483647 139432 75 | 0.001 % |
361.46/361.65 c | 140226 | 97637 423110 1189984 | 2147483647 140225 74 | 0.001 % |
362.06/362.21 c | 141099 | 97637 423110 1189984 | 2147483647 141098 74 | 0.001 % |
363.36/363.56 c | 142058 | 97637 423110 1189984 | 2147483647 142057 74 | 0.001 % |
364.96/365.17 c | 143112 | 97637 423110 1189984 | 2147483647 143111 74 | 0.001 % |
367.55/367.76 c | 144270 | 97637 423110 1189984 | 2147483647 144269 75 | 0.001 % |
368.36/368.53 c | 145543 | 97637 423110 1189984 | 2147483647 145542 75 | 0.001 % |
406.54/406.78 c | 146944 | 97637 423110 1189984 | 2147483647 146943 81 | 0.001 % |
407.64/407.80 c | 148484 | 97637 423110 1189984 | 2147483647 148483 80 | 0.001 % |
407.64/407.85 c | 148584 | 97637 423110 1189984 | 2147483647 148583 80 | 0.001 % |
408.14/408.33 c | 148694 | 97637 423110 1189984 | 2147483647 148693 80 | 0.001 % |
408.34/408.50 c | 148816 | 97637 423110 1189984 | 2147483647 148815 80 | 0.001 % |
408.44/408.65 c | 148951 | 97637 423110 1189984 | 2147483647 148950 80 | 0.001 % |
408.54/408.71 c | 149097 | 97637 423110 1189984 | 2147483647 149096 80 | 0.001 % |
409.05/409.22 c | 149258 | 97637 423110 1189984 | 2147483647 149257 80 | 0.001 % |
409.24/409.41 c | 149434 | 97637 423110 1189984 | 2147483647 149433 80 | 0.001 % |
409.24/409.46 c | 149628 | 97637 423110 1189984 | 2147483647 149627 80 | 0.001 % |
409.44/409.63 c | 149841 | 97637 423110 1189984 | 2147483647 149840 80 | 0.001 % |
409.64/409.84 c | 150075 | 97637 423110 1189984 | 2147483647 150074 80 | 0.001 % |
414.04/414.23 c | 150331 | 97637 423110 1189984 | 2147483647 150330 80 | 0.001 % |
414.24/414.47 c | 150613 | 97637 423110 1189984 | 2147483647 150612 80 | 0.001 % |
414.44/414.64 c | 150923 | 97637 423110 1189984 | 2147483647 150922 80 | 0.001 % |
416.14/416.33 c | 151263 | 97637 423110 1189984 | 2147483647 151262 80 | 0.001 % |
416.84/417.05 c | 151637 | 97637 423110 1189984 | 2147483647 151636 80 | 0.001 % |
417.04/417.29 c | 152046 | 97637 423110 1189984 | 2147483647 152045 80 | 0.001 % |
417.74/417.95 c | 152496 | 97637 423110 1189984 | 2147483647 152495 80 | 0.001 % |
417.93/418.15 c | 152989 | 97637 423110 1189984 | 2147483647 152988 80 | 0.001 % |
418.43/418.63 c | 153532 | 97637 423110 1189984 | 2147483647 153531 80 | 0.001 % |
425.74/425.92 c | 154128 | 97637 423110 1189984 | 2147483647 154127 80 | 0.001 % |
426.74/426.90 c | 154784 | 97637 423110 1189984 | 2147483647 154783 80 | 0.001 % |
427.04/427.28 c | 155504 | 97637 423110 1189984 | 2147483647 155503 80 | 0.001 % |
434.13/434.39 c | 156298 | 97637 423110 1189984 | 2147483647 156297 82 | 0.001 % |
438.03/438.22 c | 157169 | 97637 423110 1189984 | 2147483647 157168 82 | 0.001 % |
438.53/438.80 c | 158128 | 97637 423110 1189984 | 2147483647 158127 82 | 0.001 % |
438.73/438.98 c | 159181 | 97637 423110 1189984 | 2147483647 159180 82 | 0.001 % |
439.43/439.60 c | 160340 | 97637 423110 1189984 | 2147483647 160339 81 | 0.001 % |
439.94/440.19 c | 161613 | 97637 423110 1189984 | 2147483647 161612 81 | 0.001 % |
440.84/441.06 c | 163015 | 97637 423110 1189984 | 2147483647 163014 81 | 0.001 % |
441.94/442.11 c | 164556 | 97637 423110 1189984 | 2147483647 164555 80 | 0.001 % |
447.44/447.65 c | 166251 | 97637 423110 1189984 | 2147483647 166250 81 | 0.001 % |
447.63/447.82 c | 166352 | 97637 423110 1189984 | 2147483647 166351 81 | 0.001 % |
447.73/447.97 c | 166462 | 97637 423110 1189984 | 2147483647 166461 81 | 0.001 % |
447.83/448.09 c | 166583 | 97637 423110 1189984 | 2147483647 166582 81 | 0.001 % |
450.33/450.54 c | 166718 | 97637 423110 1189984 | 2147483647 166717 81 | 0.001 % |
451.03/451.23 c | 166864 | 97637 423110 1189984 | 2147483647 166863 81 | 0.001 % |
451.43/451.64 c | 167025 | 97637 423110 1189984 | 2147483647 167024 81 | 0.001 % |
452.03/452.29 c | 167201 | 97637 423110 1189984 | 2147483647 167200 81 | 0.001 % |
452.23/452.49 c | 167394 | 97637 423110 1189984 | 2147483647 167393 81 | 0.001 % |
452.43/452.63 c | 167606 | 97637 423110 1189984 | 2147483647 167605 81 | 0.001 % |
452.43/452.68 c | 167840 | 97637 423110 1189984 | 2147483647 167839 81 | 0.001 % |
452.53/452.77 c | 168097 | 97637 423110 1189984 | 2147483647 168096 81 | 0.001 % |
452.83/453.10 c | 168378 | 97637 423110 1189984 | 2147483647 168377 81 | 0.001 % |
455.13/455.40 c | 168688 | 97637 423110 1189984 | 2147483647 168687 81 | 0.001 % |
455.63/455.87 c | 169027 | 97637 423110 1189984 | 2147483647 169026 81 | 0.001 % |
457.23/457.41 c | 169400 | 97637 423110 1189984 | 2147483647 169399 81 | 0.001 % |
458.82/459.03 c | 169811 | 97637 423110 1189984 | 2147483647 169810 81 | 0.001 % |
459.42/459.67 c | 170260 | 97637 423110 1189984 | 2147483647 170259 81 | 0.001 % |
459.82/460.07 c | 170753 | 97637 423110 1189984 | 2147483647 170752 81 | 0.001 % |
461.42/461.60 c | 171298 | 97637 423110 1189984 | 2147483647 171297 81 | 0.001 % |
462.02/462.21 c | 171894 | 97637 423110 1189984 | 2147483647 171893 81 | 0.001 % |
462.32/462.58 c | 172549 | 97637 423110 1189984 | 2147483647 172548 80 | 0.001 % |
465.22/465.40 c | 173269 | 97637 423110 1189984 | 2147483647 173268 81 | 0.001 % |
466.12/466.35 c | 174062 | 97637 423110 1189984 | 2147483647 174061 80 | 0.001 % |
475.72/475.95 c | 174936 | 97637 423110 1189984 | 2147483647 174935 80 | 0.001 % |
481.92/482.11 c | 175894 | 97637 423110 1189984 | 2147483647 175893 81 | 0.001 % |
483.22/483.41 c | 176948 | 97637 423110 1189984 | 2147483647 176947 81 | 0.001 % |
484.32/484.54 c | 178107 | 97637 423110 1189984 | 2147483647 178106 81 | 0.001 % |
485.72/485.95 c | 179380 | 97637 423110 1189984 | 2147483647 179379 81 | 0.001 % |
486.62/486.88 c | 180780 | 97637 423110 1189984 | 2147483647 180779 80 | 0.001 % |
487.82/488.08 c | 182320 | 97637 423110 1189984 | 2147483647 182319 80 | 0.001 % |
494.31/494.52 c | 184015 | 97637 423110 1189984 | 2147483647 184014 81 | 0.001 % |
502.62/502.84 c | 185878 | 97637 423110 1189984 | 2147483647 185877 81 | 0.001 % |
504.31/504.58 c | 185978 | 97637 423110 1189984 | 2147483647 185977 81 | 0.001 % |
506.51/506.70 c | 186089 | 97637 423110 1189984 | 2147483647 186088 81 | 0.001 % |
506.91/507.10 c | 186210 | 97637 423110 1189984 | 2147483647 186209 81 | 0.001 % |
506.91/507.17 c | 186344 | 97637 423110 1189984 | 2147483647 186343 81 | 0.001 % |
507.01/507.24 c | 186490 | 97637 423110 1189984 | 2147483647 186489 81 | 0.001 % |
507.11/507.37 c | 186651 | 97637 423110 1189984 | 2147483647 186650 81 | 0.001 % |
507.21/507.48 c | 186828 | 97637 423110 1189984 | 2147483647 186827 81 | 0.001 % |
507.31/507.57 c | 187022 | 97637 423110 1189984 | 2147483647 187021 81 | 0.001 % |
508.31/508.52 c | 187234 | 97637 423110 1189984 | 2147483647 187233 81 | 0.001 % |
510.21/510.47 c | 187467 | 97637 423110 1189984 | 2147483647 187466 81 | 0.001 % |
511.70/511.92 c | 187724 | 97637 423110 1189984 | 2147483647 187723 81 | 0.001 % |
514.21/514.41 c | 188005 | 97637 423110 1189984 | 2147483647 188004 81 | 0.001 % |
516.60/516.81 c | 188314 | 97637 423110 1189984 | 2147483647 188313 81 | 0.001 % |
517.20/517.47 c | 188653 | 97637 423110 1189984 | 2147483647 188652 81 | 0.001 % |
517.40/517.64 c | 189025 | 97637 423110 1189984 | 2147483647 189024 81 | 0.001 % |
519.00/519.24 c | 189435 | 97637 423110 1189984 | 2147483647 189434 82 | 0.001 % |
520.90/521.10 c | 189885 | 97637 423110 1189984 | 2147483647 189884 82 | 0.001 % |
521.30/521.54 c | 190380 | 97637 423110 1189984 | 2147483647 190379 82 | 0.001 % |
521.70/521.93 c | 190922 | 97637 423110 1189984 | 2147483647 190921 82 | 0.001 % |
522.00/522.25 c | 191519 | 97637 423110 1189984 | 2147483647 191518 82 | 0.001 % |
527.40/527.66 c | 192174 | 97637 423110 1189984 | 2147483647 192173 82 | 0.001 % |
528.19/528.46 c | 192894 | 97637 423110 1189984 | 2147483647 192893 82 | 0.001 % |
528.99/529.26 c | 193686 | 97637 423110 1189984 | 2147483647 193685 82 | 0.001 % |
529.49/529.78 c | 194558 | 97637 423110 1189984 | 2147483647 194557 82 | 0.001 % |
532.70/532.94 c | 195517 | 97637 423110 1189984 | 2147483647 195516 82 | 0.001 % |
535.10/535.30 c | 196570 | 97637 423110 1189984 | 2147483647 196569 82 | 0.001 % |
550.59/550.86 c | 197728 | 97637 423110 1189984 | 2147483647 197727 82 | 0.001 % |
555.79/556.06 c | 199002 | 97637 423110 1189984 | 2147483647 199001 83 | 0.001 % |
557.99/558.25 c | 200403 | 97637 423110 1189984 | 2147483647 200402 82 | 0.001 % |
560.39/560.64 c | 201943 | 97637 423110 1189984 | 2147483647 201942 82 | 0.001 % |
562.18/562.50 c | 203638 | 97637 423110 1189984 | 2147483647 203637 82 | 0.001 % |
563.78/564.02 c | 205501 | 97637 423110 1189984 | 2147483647 205500 82 | 0.001 % |
566.99/567.25 c | 207551 | 97637 423110 1189984 | 2147483647 207550 82 | 0.001 % |
568.29/568.56 c | 207651 | 97637 423110 1189984 | 2147483647 207650 82 | 0.001 % |
568.49/568.73 c | 207761 | 97637 423110 1189984 | 2147483647 207760 82 | 0.001 % |
568.59/568.84 c | 207882 | 97637 423110 1189984 | 2147483647 207881 82 | 0.001 % |
568.69/568.94 c | 208015 | 97637 423110 1189984 | 2147483647 208014 82 | 0.001 % |
570.49/570.72 c | 208162 | 97637 423110 1189984 | 2147483647 208161 82 | 0.001 % |
570.69/570.93 c | 208322 | 97637 423110 1189984 | 2147483647 208321 82 | 0.001 % |
570.89/571.17 c | 208498 | 97637 423110 1189984 | 2147483647 208497 82 | 0.001 % |
570.99/571.29 c | 208691 | 97637 423110 1189984 | 2147483647 208690 81 | 0.001 % |
571.19/571.42 c | 208903 | 97637 423110 1189984 | 2147483647 208902 81 | 0.001 % |
571.39/571.60 c | 209138 | 97637 423110 1189984 | 2147483647 209137 81 | 0.001 % |
571.69/571.92 c | 209395 | 97637 423110 1189984 | 2147483647 209394 81 | 0.001 % |
571.89/572.13 c | 209679 | 97637 423110 1189984 | 2147483647 209678 81 | 0.001 % |
571.89/572.18 c | 209988 | 97637 423110 1189984 | 2147483647 209987 81 | 0.001 % |
572.29/572.59 c | 210328 | 97637 423110 1189984 | 2147483647 210327 81 | 0.001 % |
572.49/572.76 c | 210700 | 97637 423110 1189984 | 2147483647 210699 81 | 0.001 % |
572.89/573.14 c | 211110 | 97637 423110 1189984 | 2147483647 211109 81 | 0.001 % |
573.49/573.80 c | 211560 | 97637 423110 1189984 | 2147483647 211559 81 | 0.001 % |
575.69/575.94 c | 212054 | 97637 423110 1189984 | 2147483647 212053 81 | 0.001 % |
576.19/576.45 c | 212596 | 97637 423110 1189984 | 2147483647 212595 81 | 0.001 % |
577.98/578.29 c | 213192 | 97637 423110 1189984 | 2147483647 213191 81 | 0.001 % |
582.38/582.64 c | 213848 | 97637 423110 1189984 | 2147483647 213847 81 | 0.001 % |
584.78/585.07 c | 214569 | 97637 423110 1189984 | 2147483647 214568 81 | 0.001 % |
586.38/586.69 c | 215361 | 97637 423110 1189984 | 2147483647 215360 81 | 0.001 % |
587.88/588.15 c | 216233 | 97637 423110 1189984 | 2147483647 216232 81 | 0.001 % |
587.98/588.28 c | 217193 | 97637 423110 1189984 | 2147483647 217192 80 | 0.001 % |
589.38/589.63 c | 218247 | 97637 423110 1189984 | 2147483647 218246 80 | 0.001 % |
590.38/590.65 c | 219405 | 97637 423110 1189984 | 2147483647 219404 80 | 0.001 % |
590.97/591.27 c | 220678 | 97637 423110 1189984 | 2147483647 220677 80 | 0.001 % |
591.97/592.26 c | 222080 | 97637 423110 1189984 | 2147483647 222079 79 | 0.001 % |
597.78/598.06 c | 223620 | 97637 423110 1189984 | 2147483647 223619 80 | 0.001 % |
599.28/599.57 c | 225314 | 97637 423110 1189984 | 2147483647 225313 80 | 0.001 % |
602.48/602.72 c | 227177 | 97637 423110 1189984 | 2147483647 227176 79 | 0.001 % |
604.17/604.45 c | 229226 | 97637 423110 1189984 | 2147483647 229225 79 | 0.001 % |
606.07/606.39 c | 231479 | 97637 423110 1189984 | 2147483647 231478 78 | 0.001 % |
606.27/606.55 c | 231579 | 97637 423110 1189984 | 2147483647 231578 78 | 0.001 % |
609.77/610.09 c | 231692 | 97637 423110 1189984 | 2147483647 231691 79 | 0.001 % |
612.57/612.80 c | 231814 | 97637 423110 1189984 | 2147483647 231813 79 | 0.001 % |
617.57/617.88 c | 231948 | 97637 423110 1189984 | 2147483647 231947 79 | 0.001 % |
618.36/618.69 c | 232095 | 97637 423110 1189984 | 2147483647 232094 79 | 0.001 % |
621.66/621.97 c | 232256 | 97637 423110 1189984 | 2147483647 232255 79 | 0.001 % |
623.16/623.41 c | 232433 | 97637 423110 1189984 | 2147483647 232432 79 | 0.001 % |
632.06/632.36 c | 232628 | 97637 423110 1189984 | 2147483647 232627 79 | 0.001 % |
638.36/638.67 c | 232840 | 97637 423110 1189984 | 2147483647 232839 79 | 0.001 % |
642.27/642.55 c | 233073 | 97637 423110 1189984 | 2147483647 233072 79 | 0.001 % |
643.36/643.62 c | 233329 | 97637 423110 1189984 | 2147483647 233328 79 | 0.001 % |
644.06/644.33 c | 233610 | 97637 423110 1189984 | 2147483647 233609 79 | 0.001 % |
644.37/644.61 c | 233919 | 97637 423110 1189984 | 2147483647 233918 79 | 0.001 % |
644.66/644.91 c | 234259 | 97637 423110 1189984 | 2147483647 234258 79 | 0.001 % |
645.56/645.84 c | 234632 | 97637 423110 1189984 | 2147483647 234631 79 | 0.001 % |
645.76/646.00 c | 235042 | 97637 423110 1189984 | 2147483647 235041 79 | 0.001 % |
646.66/646.92 c | 235491 | 97637 423110 1189984 | 2147483647 235490 79 | 0.001 % |
647.06/647.31 c | 235984 | 97637 423110 1189984 | 2147483647 235983 79 | 0.001 % |
647.46/647.70 c | 236527 | 97637 423110 1189984 | 2147483647 236526 79 | 0.001 % |
651.46/651.74 c | 237123 | 97637 423110 1189984 | 2147483647 237122 79 | 0.001 % |
651.66/651.91 c | 237779 | 97637 423110 1189984 | 2147483647 237778 79 | 0.001 % |
652.36/652.66 c | 238500 | 97637 423110 1189984 | 2147483647 238499 78 | 0.001 % |
667.85/668.19 c | 239293 | 97637 423110 1189984 | 2147483647 239292 78 | 0.001 % |
669.85/670.17 c | 240164 | 97637 423110 1189984 | 2147483647 240163 78 | 0.001 % |
672.15/672.40 c | 241122 | 97637 423110 1189984 | 2147483647 241121 78 | 0.001 % |
672.55/672.88 c | 242175 | 97637 423110 1189984 | 2147483647 242174 78 | 0.001 % |
679.35/679.61 c | 243341 | 97637 423110 1189984 | 2147483647 243340 78 | 0.001 % |
680.35/680.64 c | 244614 | 97637 423110 1189984 | 2147483647 244613 78 | 0.001 % |
680.75/681.05 c | 246015 | 97637 423110 1189984 | 2147483647 246014 78 | 0.001 % |
687.05/687.39 c | 247555 | 97637 423110 1189984 | 2147483647 247554 78 | 0.001 % |
739.24/739.53 c | 249250 | 97637 423110 1189984 | 2147483647 249249 79 | 0.001 % |
754.43/754.74 c | 251113 | 97637 423110 1189984 | 2147483647 251112 81 | 0.001 % |
813.21/813.55 c | 253163 | 97637 423110 1189984 | 2147483647 253162 82 | 0.001 % |
894.79/895.15 c | 255416 | 97637 423110 1189984 | 2147483647 255415 87 | 0.001 % |
907.38/907.72 c | 257894 | 97637 423110 1189984 | 2147483647 257893 87 | 0.001 % |
907.38/907.73 c | 257994 | 97637 423110 1189984 | 2147483647 257993 87 | 0.001 % |
907.38/907.78 c | 258106 | 97637 423110 1189984 | 2147483647 258105 87 | 0.001 % |
907.48/907.86 c | 258227 | 97637 423110 1189984 | 2147483647 258226 87 | 0.001 % |
907.58/907.96 c | 258365 | 97637 423110 1189984 | 2147483647 258364 87 | 0.001 % |
907.68/908.09 c | 258512 | 97637 423110 1189984 | 2147483647 258511 87 | 0.001 % |
908.98/909.32 c | 258676 | 97637 423110 1189984 | 2147483647 258675 87 | 0.001 % |
911.78/912.12 c | 258852 | 97637 423110 1189984 | 2147483647 258851 87 | 0.001 % |
917.28/917.63 c | 259051 | 97637 423110 1189984 | 2147483647 259050 87 | 0.001 % |
921.57/921.95 c | 259263 | 97637 423110 1189984 | 2147483647 259262 87 | 0.001 % |
921.97/922.32 c | 259497 | 97637 423110 1189984 | 2147483647 259496 87 | 0.001 % |
922.67/923.07 c | 259754 | 97637 423110 1189984 | 2147483647 259753 87 | 0.001 % |
923.47/923.80 c | 260035 | 97637 423110 1189984 | 2147483647 260034 87 | 0.001 % |
924.18/924.50 c | 260345 | 97637 423110 1189984 | 2147483647 260344 87 | 0.001 % |
924.48/924.83 c | 260684 | 97637 423110 1189984 | 2147483647 260683 87 | 0.001 % |
925.57/925.90 c | 261057 | 97637 423110 1189984 | 2147483647 261056 87 | 0.001 % |
926.08/926.48 c | 261466 | 97637 423110 1189984 | 2147483647 261465 87 | 0.001 % |
926.78/927.13 c | 261916 | 97637 423110 1189984 | 2147483647 261915 87 | 0.001 % |
927.88/928.25 c | 262409 | 97637 423110 1189984 | 2147483647 262408 87 | 0.001 % |
929.28/929.60 c | 262952 | 97637 423110 1189984 | 2147483647 262951 87 | 0.001 % |
930.78/931.16 c | 263549 | 97637 423110 1189984 | 2147483647 263548 87 | 0.001 % |
931.48/931.81 c | 264204 | 97637 423110 1189984 | 2147483647 264203 87 | 0.001 % |
931.88/932.29 c | 264925 | 97637 423110 1189984 | 2147483647 264924 87 | 0.001 % |
932.48/932.85 c | 265719 | 97637 423110 1189984 | 2147483647 265718 87 | 0.001 % |
933.37/933.73 c | 266590 | 97637 423110 1189984 | 2147483647 266589 87 | 0.001 % |
934.47/934.88 c | 267548 | 97637 423110 1189984 | 2147483647 267547 87 | 0.001 % |
936.07/936.48 c | 268601 | 97637 423110 1189984 | 2147483647 268600 87 | 0.001 % |
937.17/937.58 c | 269760 | 97637 423110 1189984 | 2147483647 269759 86 | 0.001 % |
938.27/938.64 c | 271035 | 97637 423110 1189984 | 2147483647 271034 86 | 0.001 % |
944.87/945.22 c | 272435 | 97637 423110 1189984 | 2147483647 272434 87 | 0.001 % |
948.88/949.30 c | 273976 | 97637 423110 1189984 | 2147483647 273975 87 | 0.001 % |
949.78/950.17 c | 275670 | 97637 423110 1189984 | 2147483647 275669 87 | 0.001 % |
951.18/951.58 c | 277534 | 97637 423110 1189984 | 2147483647 277533 86 | 0.001 % |
956.27/956.60 c | 279583 | 97637 423110 1189984 | 2147483647 279582 86 | 0.001 % |
959.77/960.15 c | 281837 | 97637 423110 1189984 | 2147483647 281836 86 | 0.001 % |
968.86/969.21 c | 284316 | 97637 423110 1189984 | 2147483647 284315 86 | 0.001 % |
971.06/971.47 c | 287041 | 97637 423110 1189984 | 2147483647 287040 85 | 0.001 % |
971.76/972.16 c | 287141 | 97637 423110 1189984 | 2147483647 287140 85 | 0.001 % |
974.16/974.57 c | 287251 | 97637 423110 1189984 | 2147483647 287250 86 | 0.001 % |
974.56/974.93 c | 287374 | 97637 423110 1189984 | 2147483647 287373 86 | 0.001 % |
974.76/975.10 c | 287507 | 97637 423110 1189984 | 2147483647 287506 86 | 0.001 % |
976.16/976.56 c | 287654 | 97637 423110 1189984 | 2147483647 287653 86 | 0.001 % |
976.76/977.16 c | 287815 | 97637 423110 1189984 | 2147483647 287814 86 | 0.001 % |
976.76/977.19 c | 287991 | 97637 423110 1189984 | 2147483647 287990 86 | 0.001 % |
976.85/977.26 c | 288184 | 97637 423110 1189984 | 2147483647 288183 86 | 0.001 % |
977.15/977.50 c | 288398 | 97637 423110 1189984 | 2147483647 288397 86 | 0.001 % |
977.25/977.60 c | 288631 | 97637 423110 1189984 | 2147483647 288630 86 | 0.001 % |
977.46/977.85 c | 288887 | 97637 423110 1189984 | 2147483647 288886 86 | 0.001 % |
977.65/978.05 c | 289168 | 97637 423110 1189984 | 2147483647 289167 86 | 0.001 % |
977.95/978.39 c | 289478 | 97636 423104 1189969 | 2147483647 289475 85 | 0.002 % |
978.56/978.93 c | 289818 | 97636 423104 1189969 | 2147483647 289815 85 | 0.002 % |
978.75/979.19 c | 290192 | 97636 423104 1189969 | 2147483647 290189 85 | 0.002 % |
978.95/979.39 c | 290601 | 97636 423104 1189969 | 2147483647 290598 85 | 0.002 % |
979.15/979.56 c | 291051 | 97636 423104 1189969 | 2147483647 291048 85 | 0.002 % |
980.55/980.97 c | 291545 | 97636 423104 1189969 | 2147483647 291542 85 | 0.002 % |
981.65/982.01 c | 292087 | 97636 423104 1189969 | 2147483647 292084 85 | 0.002 % |
984.26/984.68 c | 292683 | 97636 423104 1189969 | 2147483647 292680 86 | 0.002 % |
985.36/985.77 c | 293338 | 97636 423104 1189969 | 2147483647 293335 86 | 0.002 % |
985.86/986.25 c | 294059 | 97636 423104 1189969 | 2147483647 294056 85 | 0.002 % |
988.06/988.45 c | 294852 | 97636 423104 1189969 | 2147483647 294849 85 | 0.002 % |
988.56/988.94 c | 295724 | 97636 423104 1189969 | 2147483647 295721 85 | 0.002 % |
990.26/990.60 c | 296682 | 97636 423104 1189969 | 2147483647 296679 85 | 0.002 % |
990.45/990.86 c | 297735 | 97636 423104 1189969 | 2147483647 297732 85 | 0.002 % |
991.25/991.65 c | 298893 | 97636 423104 1189969 | 2147483647 298890 85 | 0.002 % |
991.86/992.29 c | 300167 | 97636 423104 1189969 | 2147483647 300164 85 | 0.002 % |
994.35/994.74 c | 301569 | 97636 423104 1189969 | 2147483647 301566 85 | 0.002 % |
999.96/1000.31 c | 303109 | 97636 423104 1189969 | 2147483647 303106 85 | 0.002 % |
1003.45/1003.85 c | 304805 | 97636 423104 1189969 | 2147483647 304802 85 | 0.002 % |
1004.75/1005.11 c | 306668 | 97636 423104 1189969 | 2147483647 306665 85 | 0.002 % |
1006.35/1006.75 c | 308717 | 97636 423104 1189969 | 2147483647 308714 85 | 0.002 % |
1007.95/1008.33 c | 310970 | 97636 423104 1189969 | 2147483647 310967 84 | 0.002 % |
1009.75/1010.18 c | 313449 | 97636 423104 1189969 | 2147483647 313446 84 | 0.002 % |
1012.94/1013.35 c | 316175 | 97636 423104 1189969 | 2147483647 316172 84 | 0.002 % |
1016.25/1016.63 c | 319172 | 97636 423104 1189969 | 2147483647 319169 83 | 0.002 % |
1016.55/1016.91 c | 319272 | 97636 423104 1189969 | 2147483647 319269 83 | 0.002 % |
1017.16/1017.60 c | 319383 | 97636 423104 1189969 | 2147483647 319380 83 | 0.002 % |
1017.35/1017.79 c | 319504 | 97636 423104 1189969 | 2147483647 319501 83 | 0.002 % |
1018.85/1019.20 c | 319637 | 97636 423104 1189969 | 2147483647 319634 83 | 0.002 % |
1019.05/1019.40 c | 319783 | 97636 423104 1189969 | 2147483647 319780 83 | 0.002 % |
1019.05/1019.45 c | 319943 | 97636 423104 1189969 | 2147483647 319940 83 | 0.002 % |
1019.95/1020.36 c | 320123 | 97636 423104 1189969 | 2147483647 320120 83 | 0.002 % |
1020.15/1020.58 c | 320316 | 97636 423104 1189969 | 2147483647 320313 83 | 0.002 % |
1020.45/1020.82 c | 320529 | 97636 423104 1189969 | 2147483647 320526 83 | 0.002 % |
1021.64/1022.06 c | 320762 | 97636 423104 1189969 | 2147483647 320759 83 | 0.002 % |
1021.84/1022.27 c | 321018 | 97636 423104 1189969 | 2147483647 321015 83 | 0.002 % |
1023.14/1023.56 c | 321300 | 97636 423104 1189969 | 2147483647 321297 83 | 0.002 % |
1023.24/1023.64 c | 321609 | 97636 423104 1189969 | 2147483647 321606 83 | 0.002 % |
1023.54/1023.92 c | 321948 | 97636 423104 1189969 | 2147483647 321945 83 | 0.002 % |
1023.75/1024.12 c | 322320 | 97636 423104 1189969 | 2147483647 322317 83 | 0.002 % |
1024.04/1024.41 c | 322729 | 97636 423104 1189969 | 2147483647 322726 83 | 0.002 % |
1024.64/1025.03 c | 323179 | 97636 423104 1189969 | 2147483647 323176 83 | 0.002 % |
1027.54/1027.97 c | 323672 | 97636 423104 1189969 | 2147483647 323669 83 | 0.002 % |
1027.94/1028.37 c | 324214 | 97636 423104 1189969 | 2147483647 324211 83 | 0.002 % |
1028.44/1028.84 c | 324810 | 97636 423104 1189969 | 2147483647 324807 83 | 0.002 % |
1029.14/1029.58 c | 325465 | 97636 423104 1189969 | 2147483647 325462 83 | 0.002 % |
1029.64/1030.09 c | 326185 | 97636 423104 1189969 | 2147483647 326182 82 | 0.002 % |
1030.64/1031.09 c | 326977 | 97636 423104 1189969 | 2147483647 326974 82 | 0.002 % |
1032.94/1033.39 c | 327851 | 97636 423104 1189969 | 2147483647 327848 82 | 0.002 % |
1033.64/1034.02 c | 328810 | 97636 423104 1189969 | 2147483647 328807 82 | 0.002 % |
1034.44/1034.84 c | 329864 | 97636 423104 1189969 | 2147483647 329861 82 | 0.002 % |
1036.04/1036.47 c | 331022 | 97636 423104 1189969 | 2147483647 331019 82 | 0.002 % |
1052.24/1052.61 c | 332295 | 97636 423104 1189969 | 2147483647 332292 82 | 0.002 % |
1056.33/1056.75 c | 333696 | 97636 423104 1189969 | 2147483647 333693 83 | 0.002 % |
1058.43/1058.87 c | 335237 | 97636 423104 1189969 | 2147483647 335234 82 | 0.002 % |
1060.84/1061.27 c | 336931 | 97636 423104 1189969 | 2147483647 336928 82 | 0.002 % |
1062.83/1063.29 c | 338794 | 97636 423104 1189969 | 2147483647 338791 82 | 0.002 % |
1065.03/1065.48 c | 340843 | 97636 423104 1189969 | 2147483647 340840 82 | 0.002 % |
1068.73/1069.11 c | 343097 | 97636 423104 1189969 | 2147483647 343094 81 | 0.002 % |
1079.43/1079.83 c | 345576 | 97636 423104 1189969 | 2147483647 345573 82 | 0.002 % |
1089.63/1090.03 c | 348303 | 97636 423104 1189969 | 2147483647 348300 82 | 0.002 % |
1091.92/1092.32 c | 351300 | 97636 423104 1189969 | 2147483647 351297 82 | 0.002 % |
1127.41/1127.80 c | 354596 | 97636 423104 1189969 | 2147483647 354593 84 | 0.002 % |
1128.01/1128.44 c | 354697 | 97636 423104 1189969 | 2147483647 354694 84 | 0.002 % |
1128.51/1128.93 c | 354807 | 97636 423104 1189969 | 2147483647 354804 84 | 0.002 % |
1128.61/1129.06 c | 354929 | 97636 423104 1189969 | 2147483647 354926 84 | 0.002 % |
1128.81/1129.26 c | 355062 | 97636 423104 1189969 | 2147483647 355059 84 | 0.002 % |
1130.01/1130.49 c | 355209 | 97636 423104 1189969 | 2147483647 355206 84 | 0.002 % |
1130.21/1130.68 c | 355370 | 97636 423104 1189969 | 2147483647 355367 84 | 0.002 % |
1130.31/1130.77 c | 355546 | 97636 423104 1189969 | 2147483647 355543 84 | 0.002 % |
1131.31/1131.75 c | 355739 | 97636 423104 1189969 | 2147483647 355736 84 | 0.002 % |
1131.51/1131.94 c | 355951 | 97636 423104 1189969 | 2147483647 355948 84 | 0.002 % |
1131.81/1132.28 c | 356186 | 97636 423104 1189969 | 2147483647 356183 84 | 0.002 % |
1132.11/1132.51 c | 356442 | 97636 423104 1189969 | 2147483647 356439 84 | 0.002 % |
1132.21/1132.67 c | 356723 | 97636 423104 1189969 | 2147483647 356720 84 | 0.002 % |
1132.41/1132.82 c | 357033 | 97636 423104 1189969 | 2147483647 357030 84 | 0.002 % |
1136.30/1136.77 c | 357374 | 97636 423104 1189969 | 2147483647 357371 84 | 0.002 % |
1137.31/1137.76 c | 357747 | 97636 423104 1189969 | 2147483647 357744 84 | 0.002 % |
1138.12/1138.52 c | 358156 | 97636 423104 1189969 | 2147483647 358153 84 | 0.002 % |
1138.51/1138.98 c | 358607 | 97636 423104 1189969 | 2147483647 358604 84 | 0.002 % |
1138.81/1139.22 c | 359100 | 97636 423104 1189969 | 2147483647 359097 84 | 0.002 % |
1139.21/1139.68 c | 359644 | 97636 423104 1189969 | 2147483647 359641 84 | 0.002 % |
1139.41/1139.88 c | 360240 | 97636 423104 1189969 | 2147483647 360237 84 | 0.002 % |
1139.51/1139.96 c | 360895 | 97636 423104 1189969 | 2147483647 360892 83 | 0.002 % |
1139.91/1140.38 c | 361616 | 97636 423104 1189969 | 2147483647 361613 83 | 0.002 % |
1141.11/1141.57 c | 362408 | 97636 423104 1189969 | 2147483647 362405 83 | 0.002 % |
1141.81/1142.28 c | 363280 | 97636 423104 1189969 | 2147483647 363277 83 | 0.002 % |
1142.41/1142.81 c | 364239 | 97636 423104 1189969 | 2147483647 364236 83 | 0.002 % |
1142.80/1143.24 c | 365292 | 97636 423104 1189969 | 2147483647 365289 83 | 0.002 % |
1143.80/1144.27 c | 366450 | 97636 423104 1189969 | 2147483647 366447 83 | 0.002 % |
1144.71/1145.13 c | 367724 | 97636 423104 1189969 | 2147483647 367721 82 | 0.002 % |
1145.90/1146.30 c | 369125 | 97636 423104 1189969 | 2147483647 369122 82 | 0.002 % |
1146.81/1147.29 c | 370666 | 97636 423104 1189969 | 2147483647 370663 82 | 0.002 % |
1148.40/1148.89 c | 372361 | 97636 423104 1189969 | 2147483647 372358 82 | 0.002 % |
1150.30/1150.78 c | 374225 | 97636 423104 1189969 | 2147483647 374222 81 | 0.002 % |
1153.00/1153.40 c | 376274 | 97636 423104 1189969 | 2147483647 376271 81 | 0.002 % |
1160.80/1161.22 c | 378529 | 97636 423104 1189969 | 2147483647 378526 82 | 0.002 % |
1183.69/1184.18 c | 381008 | 97636 423104 1189969 | 2147483647 381005 82 | 0.002 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1833617-1242823956/watcher-1833617-1242823956 -o /tmp/evaluation-result-1833617-1242823956/solver-1833617-1242823956 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1833617-1242823956.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.99 0.98 1.02 3/64 5747
/proc/meminfo: memFree=1969264/2055920 swapFree=4179664/4192956
[pid=5747] ppid=5745 vsize=5356 CPUtime=0
/proc/5747/stat : 5747 (SatELiteGTI) S 5745 5747 5609 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 310428293 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5747/statm: 1339 237 197 169 0 50 0
[startup+0.0161059 s]
/proc/loadavg: 0.99 0.98 1.02 3/64 5747
/proc/meminfo: memFree=1969264/2055920 swapFree=4179664/4192956
[pid=5747] ppid=5745 vsize=5356 CPUtime=0
/proc/5747/stat : 5747 (SatELiteGTI) S 5745 5747 5609 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 310428293 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5747/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.102104 s]
/proc/loadavg: 0.99 0.98 1.02 3/64 5747
/proc/meminfo: memFree=1969264/2055920 swapFree=4179664/4192956
[pid=5747] ppid=5745 vsize=5356 CPUtime=0
/proc/5747/stat : 5747 (SatELiteGTI) S 5745 5747 5609 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 310428293 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5747/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301128 s]
/proc/loadavg: 0.99 0.98 1.02 3/64 5747
/proc/meminfo: memFree=1969264/2055920 swapFree=4179664/4192956
[pid=5747] ppid=5745 vsize=5356 CPUtime=0
/proc/5747/stat : 5747 (SatELiteGTI) S 5745 5747 5609 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 310428293 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5747/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.702175 s]
/proc/loadavg: 0.99 0.98 1.02 3/64 5747
/proc/meminfo: memFree=1969264/2055920 swapFree=4179664/4192956
[pid=5747] ppid=5745 vsize=5356 CPUtime=0
/proc/5747/stat : 5747 (SatELiteGTI) S 5745 5747 5609 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 310428293 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5747/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+1.50127 s]
/proc/loadavg: 0.99 0.98 1.02 2/66 5752
/proc/meminfo: memFree=1879776/2055920 swapFree=4179664/4192956
[pid=5747] ppid=5745 vsize=5356 CPUtime=0
/proc/5747/stat : 5747 (SatELiteGTI) S 5745 5747 5609 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 310428293 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5747/statm: 1339 237 197 169 0 50 0
[pid=5751] ppid=5747 vsize=97628 CPUtime=1.48
/proc/5751/stat : 5751 (SatELite_releas) R 5747 5747 5609 0 -1 4194304 23577 0 0 0 135 13 0 0 25 0 1 0 310428294 99971072 21997 1992294400 134512640 135223648 4294956128 18446744073709551615 134587312 0 0 4096 3 0 0 0 17 1 0 0
/proc/5751/statm: 24407 21998 76 173 0 24232 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 102984
[startup+3.10146 s]
/proc/loadavg: 0.99 0.98 1.02 2/66 5752
/proc/meminfo: memFree=1870816/2055920 swapFree=4179664/4192956
[pid=5747] ppid=5745 vsize=5356 CPUtime=0
/proc/5747/stat : 5747 (SatELiteGTI) S 5745 5747 5609 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 310428293 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5747/statm: 1339 237 197 169 0 50 0
[pid=5751] ppid=5747 vsize=103640 CPUtime=3.08
/proc/5751/stat : 5751 (SatELite_releas) R 5747 5747 5609 0 -1 4194304 24997 0 0 0 292 16 0 0 25 0 1 0 310428294 106127360 23232 1992294400 134512640 135223648 4294956128 18446744073709551615 134597315 0 0 4096 3 0 0 0 17 1 0 0
/proc/5751/statm: 25910 23232 76 173 0 25735 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 108996
[startup+6.30185 s]
/proc/loadavg: 0.99 0.98 1.02 2/66 5753
/proc/meminfo: memFree=1925984/2055920 swapFree=4179664/4192956
[pid=5747] ppid=5745 vsize=5356 CPUtime=4.07
/proc/5747/stat : 5747 (SatELiteGTI) S 5745 5747 5609 0 -1 4194304 336 26006 0 0 0 0 386 21 16 0 1 0 310428293 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5747/statm: 1339 239 197 169 0 50 0
[pid=5753] ppid=5747 vsize=28456 CPUtime=2.2
/proc/5753/stat : 5753 (minisat_static) R 5747 5747 5609 0 -1 4194304 6590 0 0 0 216 4 0 0 25 0 1 0 310428702 29138944 6576 1992294400 134512640 135215339 4294956240 18446744073709551615 134532626 0 0 4096 3 0 0 0 17 1 0 0
/proc/5753/statm: 7114 6576 77 171 0 6941 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 33812
[startup+12.7016 s]
/proc/loadavg: 0.99 0.98 1.02 2/66 5753
/proc/meminfo: memFree=1926048/2055920 swapFree=4179664/4192956
[pid=5747] ppid=5745 vsize=5356 CPUtime=4.07
/proc/5747/stat : 5747 (SatELiteGTI) S 5745 5747 5609 0 -1 4194304 336 26006 0 0 0 0 386 21 16 0 1 0 310428293 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5747/statm: 1339 239 197 169 0 50 0
[pid=5753] ppid=5747 vsize=28456 CPUtime=8.6
/proc/5753/stat : 5753 (minisat_static) R 5747 5747 5609 0 -1 4194304 6592 0 0 0 856 4 0 0 25 0 1 0 310428702 29138944 6578 1992294400 134512640 135215339 4294956240 18446744073709551615 134532833 0 0 4096 3 0 0 0 17 1 0 0
/proc/5753/statm: 7114 6578 77 171 0 6941 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 33812
[startup+25.5011 s]
/proc/loadavg: 0.99 0.98 1.02 2/66 5753
/proc/meminfo: memFree=1925408/2055920 swapFree=4179664/4192956
[pid=5747] ppid=5745 vsize=5356 CPUtime=4.07
/proc/5747/stat : 5747 (SatELiteGTI) S 5745 5747 5609 0 -1 4194304 336 26006 0 0 0 0 386 21 16 0 1 0 310428293 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5747/statm: 1339 239 197 169 0 50 0
[pid=5753] ppid=5747 vsize=29228 CPUtime=21.39
/proc/5753/stat : 5753 (minisat_static) R 5747 5747 5609 0 -1 4194304 6780 0 0 0 2135 4 0 0 25 0 1 0 310428702 29929472 6759 1992294400 134512640 135215339 4294956240 18446744073709551615 134532929 0 0 4096 3 0 0 0 17 1 0 0
/proc/5753/statm: 7307 6759 77 171 0 7134 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 34584
[startup+51.1012 s]
/proc/loadavg: 0.99 0.98 1.02 2/66 5753
/proc/meminfo: memFree=1924256/2055920 swapFree=4179664/4192956
[pid=5747] ppid=5745 vsize=5356 CPUtime=4.07
/proc/5747/stat : 5747 (SatELiteGTI) S 5745 5747 5609 0 -1 4194304 336 26006 0 0 0 0 386 21 16 0 1 0 310428293 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5747/statm: 1339 239 197 169 0 50 0
[pid=5753] ppid=5747 vsize=30388 CPUtime=46.97
/proc/5753/stat : 5753 (minisat_static) R 5747 5747 5609 0 -1 4194304 7084 0 0 0 4693 4 0 0 25 0 1 0 310428702 31117312 7063 1992294400 134512640 135215339 4294956240 18446744073709551615 134532626 0 0 4096 3 0 0 0 17 1 0 0
/proc/5753/statm: 7597 7063 77 171 0 7424 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 35744
[startup+102.305 s]
/proc/loadavg: 0.99 0.98 1.01 2/66 5753
/proc/meminfo: memFree=1919776/2055920 swapFree=4179664/4192956
[pid=5747] ppid=5745 vsize=5356 CPUtime=4.07
/proc/5747/stat : 5747 (SatELiteGTI) S 5745 5747 5609 0 -1 4194304 336 26006 0 0 0 0 386 21 16 0 1 0 310428293 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5747/statm: 1339 239 197 169 0 50 0
[pid=5753] ppid=5747 vsize=34868 CPUtime=98.16
/proc/5753/stat : 5753 (minisat_static) R 5747 5747 5609 0 -1 4194304 8183 0 0 0 9810 6 0 0 25 0 1 0 310428702 35704832 8162 1992294400 134512640 135215339 4294956240 18446744073709551615 134532626 0 0 4096 3 0 0 0 17 1 0 0
/proc/5753/statm: 8717 8162 77 171 0 8544 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 40224
[startup+162.301 s]
/proc/loadavg: 0.99 0.98 1.01 2/66 5753
/proc/meminfo: memFree=1907104/2055920 swapFree=4179664/4192956
[pid=5747] ppid=5745 vsize=5356 CPUtime=4.07
/proc/5747/stat : 5747 (SatELiteGTI) S 5745 5747 5609 0 -1 4194304 336 26006 0 0 0 0 386 21 16 0 1 0 310428293 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5747/statm: 1339 239 197 169 0 50 0
[pid=5753] ppid=5747 vsize=47536 CPUtime=158.14
/proc/5753/stat : 5753 (minisat_static) R 5747 5747 5609 0 -1 4194304 11369 0 0 0 15805 9 0 0 25 0 1 0 310428702 48676864 11348 1992294400 134512640 135215339 4294956240 18446744073709551615 134532626 0 0 4096 3 0 0 0 17 1 0 0
/proc/5753/statm: 11884 11348 77 171 0 11711 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 52892
[startup+222.302 s]
/proc/loadavg: 0.99 0.98 1.00 2/66 5753
/proc/meminfo: memFree=1897056/2055920 swapFree=4179664/4192956
[pid=5747] ppid=5745 vsize=5356 CPUtime=4.07
/proc/5747/stat : 5747 (SatELiteGTI) S 5745 5747 5609 0 -1 4194304 336 26006 0 0 0 0 386 21 16 0 1 0 310428293 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5747/statm: 1339 239 197 169 0 50 0
[pid=5753] ppid=5747 vsize=57364 CPUtime=218.12
/proc/5753/stat : 5753 (minisat_static) R 5747 5747 5609 0 -1 4194304 13830 0 0 0 21800 12 0 0 25 0 1 0 310428702 58740736 13809 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/5753/statm: 14341 13809 77 171 0 14168 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 62720
[startup+282.302 s]
/proc/loadavg: 0.99 0.98 1.00 2/66 5753
/proc/meminfo: memFree=1887584/2055920 swapFree=4179664/4192956
[pid=5747] ppid=5745 vsize=5356 CPUtime=4.07
/proc/5747/stat : 5747 (SatELiteGTI) S 5745 5747 5609 0 -1 4194304 336 26006 0 0 0 0 386 21 16 0 1 0 310428293 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5747/statm: 1339 239 197 169 0 50 0
[pid=5753] ppid=5747 vsize=67060 CPUtime=278.1
/proc/5753/stat : 5753 (minisat_static) R 5747 5747 5609 0 -1 4194304 16220 0 0 0 27795 15 0 0 25 0 1 0 310428702 68669440 16199 1992294400 134512640 135215339 4294956240 18446744073709551615 134528911 0 0 4096 3 0 0 0 17 1 0 0
/proc/5753/statm: 16765 16199 77 171 0 16592 0
Current children cumulated CPU time (s) 282.17
Current children cumulated vsize (KiB) 72416
[startup+342.302 s]
/proc/loadavg: 0.99 0.98 1.00 2/66 5753
/proc/meminfo: memFree=1879392/2055920 swapFree=4179664/4192956
[pid=5747] ppid=5745 vsize=5356 CPUtime=4.07
/proc/5747/stat : 5747 (SatELiteGTI) S 5745 5747 5609 0 -1 4194304 336 26006 0 0 0 0 386 21 16 0 1 0 310428293 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5747/statm: 1339 239 197 169 0 50 0
[pid=5753] ppid=5747 vsize=74828 CPUtime=338.08
/proc/5753/stat : 5753 (minisat_static) R 5747 5747 5609 0 -1 4194304 18194 0 0 0 33791 17 0 0 25 0 1 0 310428702 76623872 18173 1992294400 134512640 135215339 4294956240 18446744073709551615 134532626 0 0 4096 3 0 0 0 17 1 0 0
/proc/5753/statm: 18707 18173 77 171 0 18534 0
Current children cumulated CPU time (s) 342.15
Current children cumulated vsize (KiB) 80184
[startup+402.302 s]
/proc/loadavg: 0.99 0.98 1.00 2/66 5753
/proc/meminfo: memFree=1871008/2055920 swapFree=4179664/4192956
[pid=5747] ppid=5745 vsize=5356 CPUtime=4.07
/proc/5747/stat : 5747 (SatELiteGTI) S 5745 5747 5609 0 -1 4194304 336 26006 0 0 0 0 386 21 16 0 1 0 310428293 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5747/statm: 1339 239 197 169 0 50 0
[pid=5753] ppid=5747 vsize=83420 CPUtime=398.08
/proc/5753/stat : 5753 (minisat_static) R 5747 5747 5609 0 -1 4194304 20269 0 0 0 39788 20 0 0 25 0 1 0 310428702 85422080 20248 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/5753/statm: 20855 20248 77 171 0 20682 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 88776
[startup+462.302 s]
################
# More data... #
################
/proc/5753/statm: 27024 26402 77 171 0 26851 0
Current children cumulated CPU time (s) 582.08
Current children cumulated vsize (KiB) 113452
[startup+642.303 s]
/proc/loadavg: 0.99 0.98 1.00 2/66 5759
/proc/meminfo: memFree=1840544/2055920 swapFree=4179664/4192956
[pid=5747] ppid=5745 vsize=5356 CPUtime=4.07
/proc/5747/stat : 5747 (SatELiteGTI) S 5745 5747 5609 0 -1 4194304 336 26006 0 0 0 0 386 21 16 0 1 0 310428293 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5747/statm: 1339 239 197 169 0 50 0
[pid=5753] ppid=5747 vsize=113404 CPUtime=637.99
/proc/5753/stat : 5753 (minisat_static) R 5747 5747 5609 0 -1 4194304 27755 0 0 0 63772 27 0 0 25 0 1 0 310428702 116125696 27734 1992294400 134512640 135215339 4294956240 18446744073709551615 134532775 0 0 4096 3 0 0 0 17 1 0 0
/proc/5753/statm: 28351 27734 77 171 0 28178 0
Current children cumulated CPU time (s) 642.06
Current children cumulated vsize (KiB) 118760
[startup+702.302 s]
/proc/loadavg: 0.99 0.98 1.00 2/66 5759
/proc/meminfo: memFree=1835552/2055920 swapFree=4179664/4192956
[pid=5747] ppid=5745 vsize=5356 CPUtime=4.07
/proc/5747/stat : 5747 (SatELiteGTI) S 5745 5747 5609 0 -1 4194304 336 26006 0 0 0 0 386 21 16 0 1 0 310428293 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5747/statm: 1339 239 197 169 0 50 0
[pid=5753] ppid=5747 vsize=118256 CPUtime=697.97
/proc/5753/stat : 5753 (minisat_static) R 5747 5747 5609 0 -1 4194304 28981 0 0 0 69768 29 0 0 25 0 1 0 310428702 121094144 28960 1992294400 134512640 135215339 4294956240 18446744073709551615 134532684 0 0 4096 3 0 0 0 17 1 0 0
/proc/5753/statm: 29564 28960 77 171 0 29391 0
Current children cumulated CPU time (s) 702.04
Current children cumulated vsize (KiB) 123612
[startup+762.305 s]
/proc/loadavg: 0.99 0.98 1.00 2/66 5759
/proc/meminfo: memFree=1832160/2055920 swapFree=4179664/4192956
[pid=5747] ppid=5745 vsize=5356 CPUtime=4.07
/proc/5747/stat : 5747 (SatELiteGTI) S 5745 5747 5609 0 -1 4194304 336 26006 0 0 0 0 386 21 16 0 1 0 310428293 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5747/statm: 1339 239 197 169 0 50 0
[pid=5753] ppid=5747 vsize=121556 CPUtime=757.96
/proc/5753/stat : 5753 (minisat_static) R 5747 5747 5609 0 -1 4194304 29814 0 0 0 75766 30 0 0 25 0 1 0 310428702 124473344 29793 1992294400 134512640 135215339 4294956240 18446744073709551615 134525025 0 0 4096 3 0 0 0 17 1 0 0
/proc/5753/statm: 30389 29793 77 171 0 30216 0
Current children cumulated CPU time (s) 762.03
Current children cumulated vsize (KiB) 126912
[startup+822.302 s]
/proc/loadavg: 0.99 0.98 1.00 2/66 5759
/proc/meminfo: memFree=1829024/2055920 swapFree=4179664/4192956
[pid=5747] ppid=5745 vsize=5356 CPUtime=4.07
/proc/5747/stat : 5747 (SatELiteGTI) S 5745 5747 5609 0 -1 4194304 336 26006 0 0 0 0 386 21 16 0 1 0 310428293 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5747/statm: 1339 239 197 169 0 50 0
[pid=5753] ppid=5747 vsize=124672 CPUtime=817.94
/proc/5753/stat : 5753 (minisat_static) R 5747 5747 5609 0 -1 4194304 30602 0 0 0 81763 31 0 0 25 0 1 0 310428702 127664128 30581 1992294400 134512640 135215339 4294956240 18446744073709551615 134532626 0 0 4096 3 0 0 0 17 1 0 0
/proc/5753/statm: 31168 30581 77 171 0 30995 0
Current children cumulated CPU time (s) 822.01
Current children cumulated vsize (KiB) 130028
[startup+882.303 s]
/proc/loadavg: 0.99 0.98 1.00 2/66 5759
/proc/meminfo: memFree=1826336/2055920 swapFree=4179664/4192956
[pid=5747] ppid=5745 vsize=5356 CPUtime=4.07
/proc/5747/stat : 5747 (SatELiteGTI) S 5745 5747 5609 0 -1 4194304 336 26006 0 0 0 0 386 21 16 0 1 0 310428293 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5747/statm: 1339 239 197 169 0 50 0
[pid=5753] ppid=5747 vsize=127312 CPUtime=877.93
/proc/5753/stat : 5753 (minisat_static) R 5747 5747 5609 0 -1 4194304 31266 0 0 0 87761 32 0 0 25 0 1 0 310428702 130367488 31245 1992294400 134512640 135215339 4294956240 18446744073709551615 134532672 0 0 4096 3 0 0 0 17 1 0 0
/proc/5753/statm: 31828 31245 77 171 0 31655 0
Current children cumulated CPU time (s) 882
Current children cumulated vsize (KiB) 132668
[startup+942.303 s]
/proc/loadavg: 0.99 0.98 1.00 2/66 5759
/proc/meminfo: memFree=1818656/2055920 swapFree=4179664/4192956
[pid=5747] ppid=5745 vsize=5356 CPUtime=4.07
/proc/5747/stat : 5747 (SatELiteGTI) S 5745 5747 5609 0 -1 4194304 336 26006 0 0 0 0 386 21 16 0 1 0 310428293 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5747/statm: 1339 239 197 169 0 50 0
[pid=5753] ppid=5747 vsize=134976 CPUtime=937.91
/proc/5753/stat : 5753 (minisat_static) R 5747 5747 5609 0 -1 4194304 33197 0 0 0 93757 34 0 0 25 0 1 0 310428702 138215424 33176 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/5753/statm: 33744 33176 77 171 0 33571 0
Current children cumulated CPU time (s) 941.98
Current children cumulated vsize (KiB) 140332
[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 1.00 2/66 5759
/proc/meminfo: memFree=1807712/2055920 swapFree=4179664/4192956
[pid=5747] ppid=5745 vsize=5356 CPUtime=4.07
/proc/5747/stat : 5747 (SatELiteGTI) S 5745 5747 5609 0 -1 4194304 336 26006 0 0 0 0 386 21 16 0 1 0 310428293 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5747/statm: 1339 239 197 169 0 50 0
[pid=5753] ppid=5747 vsize=145552 CPUtime=997.88
/proc/5753/stat : 5753 (minisat_static) R 5747 5747 5609 0 -1 4194304 35873 0 0 0 99751 37 0 0 25 0 1 0 310428702 149045248 35852 1992294400 134512640 135215339 4294956240 18446744073709551615 134538362 0 0 4096 3 0 0 0 17 1 0 0
/proc/5753/statm: 36388 35852 77 171 0 36215 0
Current children cumulated CPU time (s) 1001.95
Current children cumulated vsize (KiB) 150908
[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 1.00 2/66 5759
/proc/meminfo: memFree=1799200/2055920 swapFree=4179664/4192956
[pid=5747] ppid=5745 vsize=5356 CPUtime=4.07
/proc/5747/stat : 5747 (SatELiteGTI) S 5745 5747 5609 0 -1 4194304 336 26006 0 0 0 0 386 21 16 0 1 0 310428293 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5747/statm: 1339 239 197 169 0 50 0
[pid=5753] ppid=5747 vsize=154648 CPUtime=1057.86
/proc/5753/stat : 5753 (minisat_static) R 5747 5747 5609 0 -1 4194304 38021 0 0 0 105746 40 0 0 25 0 1 0 310428702 158359552 38000 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/5753/statm: 38662 38000 77 171 0 38489 0
Current children cumulated CPU time (s) 1061.93
Current children cumulated vsize (KiB) 160004
[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 1.00 2/66 5759
/proc/meminfo: memFree=1791072/2055920 swapFree=4179664/4192956
[pid=5747] ppid=5745 vsize=5356 CPUtime=4.07
/proc/5747/stat : 5747 (SatELiteGTI) S 5745 5747 5609 0 -1 4194304 336 26006 0 0 0 0 386 21 16 0 1 0 310428293 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5747/statm: 1339 239 197 169 0 50 0
[pid=5753] ppid=5747 vsize=162488 CPUtime=1117.84
/proc/5753/stat : 5753 (minisat_static) R 5747 5747 5609 0 -1 4194304 39980 0 0 0 111742 42 0 0 25 0 1 0 310428702 166387712 39959 1992294400 134512640 135215339 4294956240 18446744073709551615 134537869 0 0 4096 3 0 0 0 17 1 0 0
/proc/5753/statm: 40622 39959 77 171 0 40449 0
Current children cumulated CPU time (s) 1121.91
Current children cumulated vsize (KiB) 167844
[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 1.00 2/66 5759
/proc/meminfo: memFree=1783264/2055920 swapFree=4179664/4192956
[pid=5747] ppid=5745 vsize=5356 CPUtime=4.07
/proc/5747/stat : 5747 (SatELiteGTI) S 5745 5747 5609 0 -1 4194304 336 26006 0 0 0 0 386 21 16 0 1 0 310428293 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5747/statm: 1339 239 197 169 0 50 0
[pid=5753] ppid=5747 vsize=170000 CPUtime=1177.82
/proc/5753/stat : 5753 (minisat_static) R 5747 5747 5609 0 -1 4194304 41910 0 0 0 117738 44 0 0 25 0 1 0 310428702 174080000 41889 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/5753/statm: 42500 41889 77 171 0 42327 0
Current children cumulated CPU time (s) 1181.89
Current children cumulated vsize (KiB) 175356
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.5 s]
/proc/loadavg: 0.99 0.98 1.00 2/66 5759
/proc/meminfo: memFree=1782240/2055920 swapFree=4179664/4192956
[pid=5747] ppid=5745 vsize=5356 CPUtime=4.07
/proc/5747/stat : 5747 (SatELiteGTI) S 5745 5747 5609 0 -1 4194304 336 26006 0 0 0 0 386 21 16 0 1 0 310428293 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5747/statm: 1339 239 197 169 0 50 0
[pid=5753] ppid=5747 vsize=171056 CPUtime=1196.02
/proc/5753/stat : 5753 (minisat_static) R 5747 5747 5609 0 -1 4194304 42153 0 0 0 119557 45 0 0 25 0 1 0 310428702 175161344 42132 1992294400 134512640 135215339 4294956240 18446744073709551615 134532684 0 0 4096 3 0 0 0 17 1 0 0
/proc/5753/statm: 42764 42132 77 171 0 42591 0
Current children cumulated CPU time (s) 1200.09
Current children cumulated vsize (KiB) 176412
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1200.5 s]
/proc/loadavg: 0.99 0.98 1.00 2/66 5759
/proc/meminfo: memFree=1782240/2055920 swapFree=4179664/4192956
[pid=5747] ppid=5745 vsize=5356 CPUtime=4.07
/proc/5747/stat : 5747 (SatELiteGTI) S 5745 5747 5609 0 -1 4194304 336 26006 0 0 0 0 386 21 16 0 1 0 310428293 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5747/statm: 1339 239 197 169 0 50 0
[pid=5753] ppid=5747 vsize=171056 CPUtime=1196.02
/proc/5753/stat : 5753 (minisat_static) R 5747 5747 5609 0 -1 4194304 42153 0 0 0 119557 45 0 0 25 0 1 0 310428702 175161344 42132 1992294400 134512640 135215339 4294956240 18446744073709551615 134532684 0 0 4096 3 0 0 0 17 1 0 0
/proc/5753/statm: 42764 42132 77 171 0 42591 0
Current children cumulated CPU time (s) 1200.09
Current children cumulated vsize (KiB) 176412
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 5747 and gives
# childrusage.ru_utime.tv_sec=3
# childrusage.ru_utime.tv_usec=868411
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=214967
# CPU time returned by wait4() is 4.08338
# while last known CPU time is 1200.09
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1200.51
CPU time (s): 1200.09
CPU user time (s): 1199.43
CPU system time (s): 0.66
CPU usage (%): 99.9648
Max. virtual memory (cumulated for all children) (KiB): 176412
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.86841
system time used= 0.214967
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26342
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= 13
involuntary context switches= 15
runsolver used 1.38679 second user time and 3.03054 second system time
The end
Begin job on node33 at 2009-05-20 14:52:37
IDJOB=1833617
IDBENCH=70789
IDSOLVER=671
FILE ID=node33/1833617-1242823956
PBS_JOBID= 9322502
Free space on /tmp= 66296 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/APPLICATIONS/bitverif/smulo/smulo128.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1833617-1242823956/watcher-1833617-1242823956 -o /tmp/evaluation-result-1833617-1242823956/solver-1833617-1242823956 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1833617-1242823956.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= c5685247c8f21e8da88f42049fffdb13
RANDOM SEED=1684285255
node33.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.212
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.212
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1969752 kB
Buffers: 11516 kB
Cached: 38332 kB
SwapCached: 7340 kB
Active: 27888 kB
Inactive: 30732 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1969752 kB
SwapTotal: 4192956 kB
SwapFree: 4179664 kB
Dirty: 11660 kB
Writeback: 0 kB
Mapped: 13880 kB
Slab: 13628 kB
Committed_AS: 1061228 kB
PageTables: 1392 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66280 MiB
End job on node33 at 2009-05-20 15:12:39