0.00/0.00 c Parsing...
0.00/0.35 c ==============================================================================
0.00/0.35 c | | ORIGINAL | LEARNT | |
0.00/0.35 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.35 c ==============================================================================
0.00/0.35 c | 0 | 415290 969010 | 124586 0 0 nan | 0.000 % |
2.59/2.64 c | 0 | 316116 885852 | -- 0 -- -- | -- | -99172/-83153
2.59/2.65 c ==============================================================================
2.59/2.65 c Result : #vars: 76931 #clauses: 316116 #literals: 885852
2.59/2.65 c CPU time: 2.51862 s
2.59/2.65 c ==============================================================================
2.89/2.97 c This is MiniSat 2.0 beta
2.89/2.97 c WARNING: for repeatability, setting FPU to use double precision
2.89/2.97 c ============================[ Problem Statistics ]=============================
2.89/2.97 c | |
2.89/2.97 c | Number of variables: 76931 |
2.89/2.97 c | Number of clauses: 316116 |
2.96/3.16 c | Parsing time: 0.17 s |
2.96/3.17 c ============================[ Search Statistics ]==============================
2.96/3.17 c | Conflicts | ORIGINAL | LEARNT | Progress |
2.96/3.17 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
2.96/3.17 c ===============================================================================
2.96/3.17 c | 0 | 76931 316116 885852 | 105372 0 nan | 0.000 % |
3.47/3.55 c | 100 | 76931 316116 885852 | 105372 100 133 | 0.000 % |
6.07/6.10 c | 201 | 76931 316116 885852 | 105372 201 184 | 0.000 % |
10.67/10.76 c | 301 | 76931 316116 885852 | 105372 301 192 | 0.000 % |
12.67/12.78 c | 412 | 76931 316116 885852 | 105372 412 174 | 0.000 % |
12.77/12.89 c | 512 | 76931 316116 885852 | 105372 512 157 | 0.000 % |
16.27/16.39 c | 623 | 76931 316116 885852 | 105372 623 166 | 0.000 % |
19.97/20.01 c | 745 | 76931 316116 885852 | 105372 745 164 | 0.000 % |
23.57/23.68 c | 846 | 76931 316116 885852 | 105372 846 168 | 0.000 % |
25.97/26.02 c | 957 | 76931 316116 885852 | 105372 957 163 | 0.000 % |
31.17/31.26 c | 1078 | 76931 316116 885852 | 105372 1078 158 | 0.000 % |
35.56/35.66 c | 1211 | 76931 316116 885852 | 105372 1211 155 | 0.000 % |
37.65/37.73 c | 1312 | 76931 316116 885852 | 105372 1312 154 | 0.000 % |
37.75/37.83 c | 1424 | 76931 316116 885852 | 105372 1424 147 | 0.000 % |
37.75/37.89 c | 1545 | 76931 316116 885852 | 105372 1545 137 | 0.000 % |
42.25/42.34 c | 1678 | 76931 316116 885852 | 105372 1678 143 | 0.000 % |
45.45/45.51 c | 1824 | 76931 316116 885852 | 105372 1824 142 | 0.000 % |
47.95/48.00 c | 1926 | 76931 316116 885852 | 105372 1926 140 | 0.000 % |
49.14/49.25 c | 2037 | 76931 316116 885852 | 105372 2037 138 | 0.000 % |
53.94/54.06 c | 2158 | 76931 316116 885852 | 105372 2158 138 | 0.000 % |
57.54/57.60 c | 2292 | 76931 316116 885852 | 105372 2292 137 | 0.000 % |
59.44/59.50 c | 2438 | 76931 316116 885852 | 105372 2438 140 | 0.000 % |
59.94/60.01 c | 2598 | 76931 316116 885852 | 105372 2598 138 | 0.000 % |
64.34/64.49 c | 2699 | 76931 316116 885852 | 105372 2699 143 | 0.000 % |
66.94/67.09 c | 2809 | 76931 316116 885852 | 105372 2809 143 | 0.000 % |
67.13/67.27 c | 2930 | 76931 316116 885852 | 105372 2930 143 | 0.000 % |
67.53/67.69 c | 3064 | 76931 316116 885852 | 105372 3064 142 | 0.000 % |
73.83/73.95 c | 3210 | 76931 316116 885852 | 105372 3210 145 | 0.000 % |
78.63/78.76 c | 3370 | 76931 316116 885852 | 105372 3370 143 | 0.000 % |
82.33/82.44 c | 3546 | 76931 316116 885852 | 105372 3546 143 | 0.000 % |
86.63/86.75 c | 3647 | 76931 316116 885852 | 105372 3647 143 | 0.000 % |
91.42/91.51 c | 3757 | 76931 316116 885852 | 105372 3757 142 | 0.000 % |
94.02/94.15 c | 3879 | 76931 316116 885852 | 105372 3879 142 | 0.000 % |
97.73/97.85 c | 4014 | 76931 316116 885852 | 105372 4014 142 | 0.000 % |
99.52/99.66 c | 4160 | 76931 316116 885852 | 105372 4160 143 | 0.000 % |
102.42/102.55 c | 4321 | 76931 316116 885852 | 105372 4321 143 | 0.000 % |
106.62/106.72 c | 4497 | 76931 316116 885852 | 105372 4497 143 | 0.000 % |
115.81/115.95 c | 4691 | 76931 316116 885852 | 105372 4691 142 | 0.000 % |
117.91/118.05 c | 4791 | 76931 316116 885852 | 105372 4791 141 | 0.000 % |
118.82/118.93 c | 4902 | 76931 316116 885852 | 105372 4902 140 | 0.000 % |
120.32/120.46 c | 5023 | 76931 316116 885852 | 105372 5023 140 | 0.000 % |
125.22/125.32 c | 5157 | 76931 316116 885852 | 105372 5157 140 | 0.000 % |
128.62/128.75 c | 5304 | 76931 316116 885852 | 105372 5304 140 | 0.000 % |
130.52/130.67 c | 5464 | 76931 316116 885852 | 105372 5464 140 | 0.000 % |
133.62/133.71 c | 5641 | 76931 316116 885852 | 105372 5641 139 | 0.000 % |
139.62/139.78 c | 5834 | 76931 316116 885852 | 105372 5834 139 | 0.000 % |
147.71/147.80 c | 6047 | 76931 316116 885852 | 105372 6047 138 | 0.000 % |
150.01/150.10 c | 6148 | 76931 316116 885852 | 105372 6148 138 | 0.000 % |
150.21/150.38 c | 6259 | 76931 316116 885852 | 105372 6259 137 | 0.000 % |
152.21/152.33 c | 6381 | 76931 316116 885852 | 105372 6381 137 | 0.000 % |
158.71/158.80 c | 6515 | 76931 316116 885852 | 105372 6515 137 | 0.000 % |
163.60/163.77 c | 6662 | 76931 316116 885852 | 105372 6662 137 | 0.000 % |
168.60/168.76 c | 6822 | 76931 316116 885852 | 105372 6822 137 | 0.000 % |
174.70/174.83 c | 6998 | 76931 316116 885852 | 105372 6998 138 | 0.000 % |
182.59/182.77 c | 7192 | 76931 316116 885852 | 105372 7192 138 | 0.000 % |
189.99/190.19 c | 7404 | 76931 316116 885852 | 105372 7404 138 | 0.000 % |
201.69/201.81 c | 7638 | 76931 316116 885852 | 105372 7638 137 | 0.000 % |
204.39/204.57 c | 7738 | 76931 316116 885852 | 105372 7738 137 | 0.000 % |
206.59/206.78 c | 7849 | 76931 316116 885852 | 105372 7849 137 | 0.000 % |
208.89/209.06 c | 7971 | 76931 316116 885852 | 105372 7971 137 | 0.000 % |
212.68/212.80 c | 8105 | 76931 316116 885852 | 105372 8105 137 | 0.000 % |
213.19/213.33 c | 8251 | 76931 316116 885852 | 105372 8251 136 | 0.000 % |
220.08/220.23 c | 8412 | 76931 316116 885852 | 105372 8412 137 | 0.000 % |
224.98/225.13 c | 8589 | 76931 316116 885852 | 105372 8589 137 | 0.000 % |
233.27/233.45 c | 8782 | 76931 316116 885852 | 105372 8782 137 | 0.000 % |
240.07/240.29 c | 8995 | 76931 316116 885852 | 105372 8995 136 | 0.000 % |
244.37/244.55 c | 9228 | 76931 316116 885852 | 105372 9228 137 | 0.000 % |
246.68/246.87 c | 9484 | 76931 316116 885852 | 105372 9484 136 | 0.000 % |
249.28/249.48 c | 9585 | 76931 316116 885852 | 105372 9585 136 | 0.000 % |
251.98/252.16 c | 9695 | 76931 316116 885852 | 105372 9695 137 | 0.000 % |
255.37/255.57 c | 9817 | 76931 316116 885852 | 105372 9817 136 | 0.000 % |
259.07/259.28 c | 9950 | 76931 316116 885852 | 105372 9950 136 | 0.000 % |
261.37/261.51 c | 10096 | 76931 316116 885852 | 2147483647 10096 136 | 0.000 % |
262.78/262.98 c | 10256 | 76931 316116 885852 | 2147483647 10256 136 | 0.000 % |
268.67/268.89 c | 10433 | 76931 316116 885852 | 2147483647 10433 137 | 0.000 % |
273.77/273.95 c | 10627 | 76931 316116 885852 | 2147483647 10627 136 | 0.000 % |
282.47/282.67 c | 10840 | 76931 316116 885852 | 2147483647 10840 136 | 0.000 % |
294.16/294.35 c | 11074 | 76931 316116 885852 | 2147483647 11074 138 | 0.000 % |
297.46/297.64 c | 11330 | 76931 316116 885852 | 2147483647 11330 137 | 0.000 % |
306.76/306.94 c | 11611 | 76931 316116 885852 | 2147483647 11611 137 | 0.000 % |
306.85/307.00 c | 11711 | 76931 316116 885852 | 2147483647 11711 137 | 0.000 % |
308.35/308.54 c | 11823 | 76931 316116 885852 | 2147483647 11823 137 | 0.000 % |
308.86/309.09 c | 11944 | 76931 316116 885852 | 2147483647 11944 136 | 0.000 % |
312.55/312.71 c | 12077 | 76931 316116 885852 | 2147483647 12077 136 | 0.000 % |
315.45/315.64 c | 12224 | 76931 316116 885852 | 2147483647 12224 136 | 0.000 % |
317.25/317.48 c | 12388 | 76931 316116 885852 | 2147483647 12388 136 | 0.000 % |
320.95/321.16 c | 12565 | 76931 316116 885852 | 2147483647 12565 136 | 0.000 % |
325.04/325.26 c | 12758 | 76931 316116 885852 | 2147483647 12758 136 | 0.000 % |
326.34/326.57 c | 12971 | 76931 316116 885852 | 2147483647 12971 135 | 0.000 % |
330.45/330.66 c | 13204 | 76931 316116 885852 | 2147483647 13204 135 | 0.000 % |
336.35/336.51 c | 13461 | 76931 316116 885852 | 2147483647 13461 135 | 0.000 % |
341.34/341.55 c | 13742 | 76931 316116 885852 | 2147483647 13742 135 | 0.000 % |
350.33/350.56 c | 14051 | 76931 316116 885852 | 2147483647 14051 135 | 0.000 % |
352.23/352.41 c | 14151 | 76931 316116 885852 | 2147483647 14151 135 | 0.000 % |
354.23/354.40 c | 14263 | 76931 316116 885852 | 2147483647 14263 135 | 0.000 % |
354.63/354.83 c | 14384 | 76931 316116 885852 | 2147483647 14384 135 | 0.000 % |
358.63/358.85 c | 14517 | 76931 316116 885852 | 2147483647 14517 135 | 0.000 % |
363.83/364.01 c | 14664 | 76931 316116 885852 | 2147483647 14664 135 | 0.000 % |
365.93/366.16 c | 14825 | 76931 316116 885852 | 2147483647 14825 135 | 0.000 % |
370.83/371.07 c | 15002 | 76931 316116 885852 | 2147483647 15002 135 | 0.000 % |
376.42/376.61 c | 15195 | 76931 316116 885852 | 2147483647 15195 135 | 0.000 % |
380.22/380.42 c | 15407 | 76931 316116 885852 | 2147483647 15407 135 | 0.000 % |
384.73/384.93 c | 15640 | 76931 316116 885852 | 2147483647 15640 135 | 0.000 % |
388.63/388.87 c | 15897 | 76931 316116 885852 | 2147483647 15897 134 | 0.000 % |
395.63/395.84 c | 16179 | 76931 316116 885852 | 2147483647 16179 134 | 0.000 % |
401.02/401.25 c | 16488 | 76931 316116 885852 | 2147483647 16488 134 | 0.000 % |
410.32/410.50 c | 16828 | 76931 316116 885852 | 2147483647 16828 134 | 0.000 % |
412.32/412.53 c | 16930 | 76931 316116 885852 | 2147483647 16930 134 | 0.000 % |
413.12/413.30 c | 17040 | 76931 316116 885852 | 2147483647 17040 134 | 0.000 % |
414.42/414.66 c | 17164 | 76931 316116 885852 | 2147483647 17164 134 | 0.000 % |
415.02/415.20 c | 17298 | 76931 316116 885852 | 2147483647 17298 133 | 0.000 % |
417.21/417.44 c | 17444 | 76931 316116 885852 | 2147483647 17444 133 | 0.000 % |
418.31/418.53 c | 17604 | 76931 316116 885852 | 2147483647 17604 133 | 0.000 % |
419.21/419.46 c | 17780 | 76931 316116 885852 | 2147483647 17780 133 | 0.000 % |
426.01/426.29 c | 17973 | 76931 316116 885852 | 2147483647 17973 133 | 0.000 % |
428.61/428.81 c | 18185 | 76931 316116 885852 | 2147483647 18185 133 | 0.000 % |
437.91/438.18 c | 18419 | 76931 316116 885852 | 2147483647 18419 134 | 0.000 % |
440.81/441.05 c | 18675 | 76931 316116 885852 | 2147483647 18675 133 | 0.000 % |
450.30/450.53 c | 18957 | 76931 316116 885852 | 2147483647 18957 133 | 0.000 % |
452.60/452.83 c | 19268 | 76931 316116 885852 | 2147483647 19268 133 | 0.000 % |
456.90/457.16 c | 19607 | 76931 316116 885852 | 2147483647 19607 133 | 0.000 % |
457.70/457.93 c | 19980 | 76931 316116 885852 | 2147483647 19980 131 | 0.000 % |
457.70/457.98 c | 20080 | 76931 316116 885852 | 2147483647 20080 131 | 0.000 % |
460.70/460.98 c | 20190 | 76931 316116 885852 | 2147483647 20190 131 | 0.000 % |
466.10/466.37 c | 20312 | 76931 316116 885852 | 2147483647 20312 131 | 0.000 % |
467.59/467.81 c | 20445 | 76931 316116 885852 | 2147483647 20445 131 | 0.000 % |
468.69/468.92 c | 20592 | 76931 316116 885852 | 2147483647 20592 130 | 0.000 % |
475.59/475.85 c | 20753 | 76931 316116 885852 | 2147483647 20753 130 | 0.000 % |
479.49/479.76 c | 20929 | 76931 316116 885852 | 2147483647 20929 131 | 0.000 % |
481.29/481.55 c | 21123 | 76931 316116 885852 | 2147483647 21123 131 | 0.000 % |
481.90/482.17 c | 21335 | 76931 316116 885852 | 2147483647 21335 131 | 0.000 % |
489.59/489.88 c | 21568 | 76931 316116 885852 | 2147483647 21568 131 | 0.000 % |
500.79/501.07 c | 21825 | 76931 316116 885852 | 2147483647 21825 131 | 0.000 % |
513.58/513.89 c | 22107 | 76931 316116 885852 | 2147483647 22107 132 | 0.000 % |
521.48/521.77 c | 22416 | 76931 316116 885852 | 2147483647 22416 131 | 0.000 % |
525.38/525.66 c | 22758 | 76931 316116 885852 | 2147483647 22758 131 | 0.000 % |
525.88/526.10 c | 23130 | 76931 316116 885852 | 2147483647 23130 130 | 0.000 % |
528.27/528.53 c | 23541 | 76931 316116 885852 | 2147483647 23541 129 | 0.000 % |
530.57/530.87 c | 23641 | 76931 316116 885852 | 2147483647 23641 130 | 0.000 % |
535.38/535.70 c | 23752 | 76931 316116 885852 | 2147483647 23752 130 | 0.000 % |
538.87/539.13 c | 23874 | 76931 316116 885852 | 2147483647 23874 130 | 0.000 % |
541.97/542.26 c | 24007 | 76931 316116 885852 | 2147483647 24007 130 | 0.000 % |
545.27/545.59 c | 24153 | 76931 316116 885852 | 2147483647 24153 130 | 0.000 % |
546.37/546.67 c | 24314 | 76931 316116 885852 | 2147483647 24314 130 | 0.000 % |
547.07/547.33 c | 24491 | 76931 316116 885852 | 2147483647 24491 130 | 0.000 % |
554.17/554.45 c | 24685 | 76931 316116 885852 | 2147483647 24685 130 | 0.000 % |
560.56/560.82 c | 24898 | 76931 316116 885852 | 2147483647 24898 130 | 0.000 % |
566.27/566.60 c | 25131 | 76931 316116 885852 | 2147483647 25131 129 | 0.000 % |
571.36/571.60 c | 25390 | 76931 316116 885852 | 2147483647 25390 129 | 0.000 % |
573.86/574.18 c | 25673 | 76931 316116 885852 | 2147483647 25673 129 | 0.000 % |
583.46/583.73 c | 25983 | 76931 316116 885852 | 2147483647 25983 129 | 0.000 % |
591.65/591.98 c | 26322 | 76931 316116 885852 | 2147483647 26322 129 | 0.000 % |
591.85/592.17 c | 26695 | 76931 316116 885852 | 2147483647 26695 128 | 0.000 % |
596.15/596.49 c | 27106 | 76931 316116 885852 | 2147483647 27106 128 | 0.000 % |
610.84/611.14 c | 27555 | 76931 316116 885852 | 2147483647 27555 128 | 0.000 % |
613.74/614.02 c | 27656 | 76931 316116 885852 | 2147483647 27656 128 | 0.000 % |
618.74/619.06 c | 27767 | 76931 316116 885852 | 2147483647 27767 128 | 0.000 % |
624.04/624.34 c | 27889 | 76931 316116 885852 | 2147483647 27889 128 | 0.000 % |
627.24/627.51 c | 28024 | 76931 316116 885852 | 2147483647 28024 128 | 0.000 % |
631.74/632.05 c | 28170 | 76931 316116 885852 | 2147483647 28170 128 | 0.000 % |
636.04/636.36 c | 28330 | 76931 316116 885852 | 2147483647 28330 128 | 0.000 % |
639.94/640.20 c | 28506 | 76931 316116 885852 | 2147483647 28506 128 | 0.000 % |
644.94/645.23 c | 28699 | 76931 316116 885852 | 2147483647 28699 128 | 0.000 % |
654.63/654.99 c | 28912 | 76931 316116 885852 | 2147483647 28912 128 | 0.000 % |
660.33/660.66 c | 29146 | 76931 316116 885852 | 2147483647 29146 128 | 0.000 % |
666.33/666.64 c | 29403 | 76931 316116 885852 | 2147483647 29403 128 | 0.000 % |
676.32/676.69 c | 29684 | 76931 316116 885852 | 2147483647 29684 128 | 0.000 % |
691.92/692.23 c | 29994 | 76931 316116 885852 | 2147483647 29994 128 | 0.000 % |
709.21/709.54 c | 30334 | 76931 316116 885852 | 2147483647 30334 128 | 0.000 % |
727.20/727.56 c | 30707 | 76931 316116 885852 | 2147483647 30707 128 | 0.000 % |
728.80/729.11 c | 31116 | 76931 316116 885852 | 2147483647 31116 128 | 0.000 % |
729.40/729.79 c | 31566 | 76931 316116 885852 | 2147483647 31566 127 | 0.000 % |
740.00/740.37 c | 32059 | 76931 316116 885852 | 2147483647 32059 128 | 0.000 % |
741.70/742.09 c | 32159 | 76931 316116 885852 | 2147483647 32159 128 | 0.000 % |
744.90/745.26 c | 32269 | 76931 316116 885852 | 2147483647 32269 128 | 0.000 % |
748.60/748.91 c | 32391 | 76931 316116 885852 | 2147483647 32391 128 | 0.000 % |
751.10/751.47 c | 32524 | 76931 316116 885852 | 2147483647 32524 128 | 0.000 % |
757.20/757.59 c | 32670 | 76931 316116 885852 | 2147483647 32670 128 | 0.000 % |
757.60/757.99 c | 32831 | 76931 316116 885852 | 2147483647 32831 128 | 0.000 % |
764.60/764.98 c | 33007 | 76931 316116 885852 | 2147483647 33007 128 | 0.000 % |
768.40/768.72 c | 33200 | 76931 316116 885852 | 2147483647 33200 128 | 0.000 % |
768.60/768.98 c | 33412 | 76931 316116 885852 | 2147483647 33412 128 | 0.000 % |
773.00/773.36 c | 33649 | 76931 316116 885852 | 2147483647 33649 128 | 0.000 % |
775.69/776.08 c | 33906 | 76931 316116 885852 | 2147483647 33906 128 | 0.000 % |
778.59/778.92 c | 34187 | 76931 316116 885852 | 2147483647 34187 127 | 0.000 % |
788.59/788.98 c | 34497 | 76931 316116 885852 | 2147483647 34497 127 | 0.000 % |
797.28/797.61 c | 34836 | 76931 316116 885852 | 2147483647 34836 128 | 0.000 % |
801.28/801.64 c | 35209 | 76931 316116 885852 | 2147483647 35209 127 | 0.000 % |
806.28/806.64 c | 35619 | 76931 316116 885852 | 2147483647 35619 127 | 0.000 % |
806.78/807.14 c | 36068 | 76931 316116 885852 | 2147483647 36068 126 | 0.000 % |
809.78/810.16 c | 36562 | 76931 316116 885852 | 2147483647 36562 125 | 0.000 % |
824.87/825.26 c | 37104 | 76931 316116 885852 | 2147483647 37104 126 | 0.000 % |
829.18/829.54 c | 37205 | 76931 316116 885852 | 2147483647 37205 126 | 0.000 % |
830.18/830.55 c | 37315 | 76931 316116 885852 | 2147483647 37315 127 | 0.000 % |
834.07/834.40 c | 37437 | 76931 316116 885852 | 2147483647 37437 127 | 0.000 % |
837.37/837.74 c | 37571 | 76931 316116 885852 | 2147483647 37571 127 | 0.000 % |
843.97/844.31 c | 37718 | 76931 316116 885852 | 2147483647 37718 127 | 0.000 % |
847.57/847.94 c | 37879 | 76931 316116 885852 | 2147483647 37879 127 | 0.000 % |
850.27/850.62 c | 38056 | 76931 316116 885852 | 2147483647 38056 127 | 0.000 % |
857.57/857.97 c | 38250 | 76931 316116 885852 | 2147483647 38250 127 | 0.000 % |
864.06/864.48 c | 38462 | 76931 316116 885852 | 2147483647 38462 127 | 0.000 % |
875.56/875.97 c | 38696 | 76931 316116 885852 | 2147483647 38696 127 | 0.000 % |
884.15/884.59 c | 38953 | 76931 316116 885852 | 2147483647 38953 127 | 0.000 % |
888.95/889.37 c | 39234 | 76931 316116 885852 | 2147483647 39234 127 | 0.000 % |
899.25/899.64 c | 39544 | 76931 316116 885852 | 2147483647 39544 127 | 0.000 % |
905.64/906.01 c | 39884 | 76931 316116 885852 | 2147483647 39884 127 | 0.000 % |
921.94/922.32 c | 40256 | 76931 316116 885852 | 2147483647 40256 127 | 0.000 % |
934.14/934.55 c | 40665 | 76931 316116 885852 | 2147483647 40665 127 | 0.000 % |
949.03/949.44 c | 41114 | 76931 316116 885852 | 2147483647 41114 127 | 0.000 % |
953.93/954.35 c | 41608 | 76931 316116 885852 | 2147483647 41608 127 | 0.000 % |
965.42/965.83 c | 42151 | 76931 316116 885852 | 2147483647 42151 127 | 0.000 % |
992.82/993.29 c | 42747 | 76931 316116 885852 | 2147483647 42747 128 | 0.000 % |
994.02/994.49 c | 42848 | 76931 316116 885852 | 2147483647 42848 128 | 0.000 % |
995.22/995.67 c | 42959 | 76931 316116 885852 | 2147483647 42959 128 | 0.000 % |
999.02/999.42 c | 43080 | 76931 316116 885852 | 2147483647 43080 128 | 0.000 % |
1003.21/1003.61 c | 43213 | 76931 316116 885852 | 2147483647 43213 128 | 0.000 % |
1006.61/1007.06 c | 43359 | 76931 316116 885852 | 2147483647 43359 128 | 0.000 % |
1010.91/1011.35 c | 43519 | 76931 316116 885852 | 2147483647 43519 128 | 0.000 % |
1018.21/1018.64 c | 43696 | 76931 316116 885852 | 2147483647 43696 128 | 0.000 % |
1027.31/1027.73 c | 43890 | 76931 316116 885852 | 2147483647 43890 128 | 0.000 % |
1033.30/1033.71 c | 44103 | 76931 316116 885852 | 2147483647 44103 128 | 0.000 % |
1033.70/1034.16 c | 44339 | 76931 316116 885852 | 2147483647 44339 128 | 0.000 % |
1041.40/1041.87 c | 44596 | 76931 316116 885852 | 2147483647 44596 128 | 0.000 % |
1044.40/1044.88 c | 44878 | 76931 316116 885852 | 2147483647 44878 128 | 0.000 % |
1045.20/1045.62 c | 45187 | 76931 316116 885852 | 2147483647 45187 128 | 0.000 % |
1050.00/1050.46 c | 45526 | 76931 316116 885852 | 2147483647 45526 128 | 0.000 % |
1058.79/1059.27 c | 45899 | 76931 316116 885852 | 2147483647 45899 128 | 0.000 % |
1070.89/1071.39 c | 46311 | 76931 316116 885852 | 2147483647 46311 128 | 0.000 % |
1077.68/1078.18 c | 46760 | 76931 316116 885852 | 2147483647 46760 127 | 0.000 % |
1079.78/1080.27 c | 47253 | 76931 316116 885852 | 2147483647 47253 127 | 0.000 % |
1080.28/1080.71 c | 47795 | 76931 316116 885852 | 2147483647 47795 126 | 0.000 % |
1086.08/1086.59 c | 48391 | 76931 316116 885852 | 2147483647 48391 126 | 0.000 % |
1104.57/1105.06 c | 49047 | 76931 316116 885852 | 2147483647 49047 126 | 0.000 % |
1107.27/1107.79 c | 49148 | 76931 316116 885852 | 2147483647 49148 126 | 0.000 % |
1111.88/1112.33 c | 49258 | 76931 316116 885852 | 2147483647 49258 126 | 0.000 % |
1116.17/1116.62 c | 49380 | 76931 316116 885852 | 2147483647 49380 126 | 0.000 % |
1120.27/1120.80 c | 49514 | 76931 316116 885852 | 2147483647 49514 126 | 0.000 % |
1126.47/1126.98 c | 49660 | 76931 316116 885852 | 2147483647 49660 126 | 0.000 % |
1132.27/1132.70 c | 49820 | 76931 316116 885852 | 2147483647 49820 126 | 0.000 % |
1140.56/1141.00 c | 49996 | 76931 316116 885852 | 2147483647 49996 126 | 0.000 % |
1142.56/1143.05 c | 50189 | 76931 316116 885852 | 2147483647 50189 126 | 0.000 % |
1149.86/1150.40 c | 50402 | 76931 316116 885852 | 2147483647 50402 126 | 0.000 % |
1157.06/1157.59 c | 50637 | 76931 316116 885852 | 2147483647 50637 126 | 0.000 % |
1163.56/1164.01 c | 50894 | 76931 316116 885852 | 2147483647 50894 126 | 0.000 % |
1169.55/1170.09 c | 51176 | 76931 316116 885852 | 2147483647 51176 126 | 0.000 % |
1184.95/1185.43 c | 51486 | 76931 316116 885852 | 2147483647 51486 126 | 0.000 % |
1199.34/1199.81 c | 51825 | 76931 316116 885852 | 2147483647 51825 126 | 0.000 % |
1205.93/1206.48 c | 52198 | 76931 316116 885852 | 2147483647 52198 126 | 0.000 % |
1219.54/1220.00 c | 52607 | 76931 316116 885852 | 2147483647 52607 127 | 0.000 % |
1230.53/1231.09 c | 53056 | 76931 316116 885852 | 2147483647 53056 126 | 0.000 % |
1251.62/1252.10 c | 53550 | 76931 316116 885852 | 2147483647 53550 127 | 0.000 % |
1268.82/1269.31 c | 54092 | 76931 316116 885852 | 2147483647 54092 127 | 0.000 % |
1278.72/1279.29 c | 54688 | 76931 316116 885852 | 2147483647 54688 127 | 0.000 % |
1288.01/1288.57 c | 55344 | 76931 316116 885852 | 2147483647 55344 128 | 0.000 % |
1294.11/1294.66 c | 56065 | 76931 316116 885852 | 2147483647 56065 127 | 0.000 % |
1298.51/1299.00 c | 56165 | 76931 316116 885852 | 2147483647 56165 127 | 0.000 % |
1300.31/1300.80 c | 56275 | 76931 316116 885852 | 2147483647 56275 127 | 0.000 % |
1301.31/1301.82 c | 56397 | 76931 316116 885852 | 2147483647 56397 127 | 0.000 % |
1302.01/1302.51 c | 56530 | 76931 316116 885852 | 2147483647 56530 127 | 0.000 % |
1305.70/1306.20 c | 56678 | 76931 316116 885852 | 2147483647 56678 127 | 0.000 % |
1307.00/1307.57 c | 56839 | 76931 316116 885852 | 2147483647 56839 127 | 0.000 % |
1310.10/1310.66 c | 57016 | 76931 316116 885852 | 2147483647 57016 127 | 0.000 % |
1315.50/1316.07 c | 57209 | 76931 316116 885852 | 2147483647 57209 127 | 0.000 % |
1319.70/1320.22 c | 57421 | 76931 316116 885852 | 2147483647 57421 128 | 0.000 % |
1329.00/1329.57 c | 57654 | 76931 316116 885852 | 2147483647 57654 128 | 0.000 % |
1332.39/1332.95 c | 57910 | 76931 316116 885852 | 2147483647 57910 128 | 0.000 % |
1344.59/1345.15 c | 58191 | 76931 316116 885852 | 2147483647 58191 128 | 0.000 % |
1357.28/1357.81 c | 58500 | 76931 316116 885852 | 2147483647 58500 128 | 0.000 % |
1363.88/1364.45 c | 58839 | 76931 316116 885852 | 2147483647 58839 128 | 0.000 % |
1367.98/1368.52 c | 59212 | 76931 316116 885852 | 2147483647 59212 128 | 0.000 % |
1376.08/1376.68 c | 59622 | 76931 316116 885852 | 2147483647 59622 128 | 0.000 % |
1380.67/1381.26 c | 60071 | 76931 316116 885852 | 2147483647 60071 128 | 0.000 % |
1401.17/1401.78 c | 60565 | 76931 316116 885852 | 2147483647 60565 128 | 0.000 % |
1425.56/1426.13 c | 61107 | 76931 316116 885852 | 2147483647 61107 128 | 0.000 % |
1433.86/1434.45 c | 61703 | 76931 316116 885852 | 2147483647 61703 128 | 0.000 % |
1434.56/1435.16 c | 62358 | 76931 316116 885852 | 2147483647 62358 127 | 0.000 % |
1442.96/1443.51 c | 63078 | 76931 316116 885852 | 2147483647 63078 127 | 0.000 % |
1471.05/1471.66 c | 63871 | 76931 316116 885852 | 2147483647 63871 127 | 0.000 % |
1471.55/1472.11 c | 63972 | 76931 316116 885852 | 2147483647 63972 127 | 0.000 % |
1474.25/1474.86 c | 64082 | 76931 316116 885852 | 2147483647 64082 127 | 0.000 % |
1479.85/1480.41 c | 64204 | 76931 316116 885852 | 2147483647 64204 127 | 0.000 % |
1485.94/1486.59 c | 64337 | 76931 316116 885852 | 2147483647 64337 127 | 0.000 % |
1489.54/1490.11 c | 64484 | 76931 316116 885852 | 2147483647 64484 127 | 0.000 % |
1489.74/1490.30 c | 64645 | 76931 316116 885852 | 2147483647 64645 127 | 0.000 % |
1490.14/1490.77 c | 64826 | 76931 316116 885852 | 2147483647 64826 127 | 0.000 % |
1494.84/1495.46 c | 65019 | 76931 316116 885852 | 2147483647 65019 127 | 0.000 % |
1499.54/1500.13 c | 65231 | 76931 316116 885852 | 2147483647 65231 127 | 0.000 % |
1507.93/1508.59 c | 65465 | 76931 316116 885852 | 2147483647 65465 127 | 0.000 % |
1520.13/1520.76 c | 65721 | 76931 316116 885852 | 2147483647 65721 127 | 0.000 % |
1527.92/1528.54 c | 66002 | 76931 316116 885852 | 2147483647 66002 127 | 0.000 % |
1535.72/1536.36 c | 66311 | 76931 316116 885852 | 2147483647 66311 127 | 0.000 % |
1550.43/1551.09 c | 66651 | 76931 316116 885852 | 2147483647 66651 127 | 0.000 % |
1559.02/1559.65 c | 67023 | 76931 316116 885852 | 2147483647 67023 127 | 0.000 % |
1573.22/1573.82 c | 67433 | 76931 316116 885852 | 2147483647 67433 127 | 0.000 % |
1593.91/1594.60 c | 67882 | 76931 316116 885852 | 2147483647 67882 127 | 0.000 % |
1603.80/1604.50 c | 68376 | 76931 316116 885852 | 2147483647 68376 127 | 0.000 % |
1612.00/1612.64 c | 68919 | 76931 316116 885852 | 2147483647 68919 127 | 0.000 % |
1628.99/1629.66 c | 69516 | 76931 316116 885852 | 2147483647 69516 127 | 0.000 % |
1653.18/1653.89 c | 70172 | 76931 316116 885852 | 2147483647 70172 127 | 0.000 % |
1683.57/1684.28 c | 70893 | 76931 316116 885852 | 2147483647 70893 127 | 0.000 % |
1710.86/1711.55 c | 71686 | 76931 316116 885852 | 2147483647 71686 127 | 0.000 % |
1740.96/1741.67 c | 72557 | 76931 316116 885852 | 2147483647 72557 127 | 0.000 % |
1745.46/1746.18 c | 72657 | 76931 316116 885852 | 2147483647 72657 127 | 0.000 % |
1745.86/1746.58 c | 72771 | 76931 316116 885852 | 2147483647 72771 126 | 0.000 % |
1747.35/1748.05 c | 72892 | 76931 316116 885852 | 2147483647 72892 126 | 0.000 % |
1751.56/1752.21 c | 73025 | 76931 316116 885852 | 2147483647 73025 126 | 0.000 % |
1755.15/1755.82 c | 73172 | 76931 316116 885852 | 2147483647 73172 126 | 0.000 % |
1760.15/1760.89 c | 73333 | 76931 316116 885852 | 2147483647 73333 126 | 0.000 % |
1769.44/1770.18 c | 73509 | 76931 316116 885852 | 2147483647 73509 126 | 0.000 % |
1774.64/1775.40 c | 73703 | 76931 316116 885852 | 2147483647 73703 127 | 0.000 % |
1779.84/1780.53 c | 73916 | 76931 316116 885852 | 2147483647 73916 127 | 0.000 % |
1783.24/1783.99 c | 74151 | 76931 316116 885852 | 2147483647 74151 127 | 0.000 % |
1793.93/1794.69 c | 74408 | 76931 316116 885852 | 2147483647 74408 127 | 0.000 % |
1799.73/1800.44 c | 74690 | 76931 316116 885852 | 2147483647 74690 127 | 0.000 % |
1807.63/1808.38 c | 75000 | 76931 316116 885852 | 2147483647 75000 127 | 0.000 % |
1814.12/1814.86 c | 75340 | 76931 316116 885852 | 2147483647 75340 127 | 0.000 % |
1829.92/1830.69 c | 75712 | 76931 316116 885852 | 2147483647 75712 127 | 0.000 % |
1833.03/1833.76 c | 76121 | 76931 316116 885852 | 2147483647 76121 127 | 0.000 % |
1841.52/1842.26 c | 76571 | 76931 316116 885852 | 2147483647 76571 126 | 0.000 % |
1861.61/1862.35 c | 77064 | 76931 316116 885852 | 2147483647 77064 127 | 0.000 % |
1883.30/1884.07 c | 77606 | 76931 316116 885852 | 2147483647 77606 127 | 0.000 % |
1912.19/1912.98 c | 78202 | 76931 316116 885852 | 2147483647 78202 127 | 0.000 % |
1915.99/1916.74 c | 78858 | 76931 316116 885852 | 2147483647 78858 127 | 0.000 % |
1936.28/1937.01 c | 79579 | 76931 316116 885852 | 2147483647 79579 128 | 0.000 % |
1954.48/1955.25 c | 80372 | 76931 316116 885852 | 2147483647 80372 128 | 0.000 % |
1984.67/1985.43 c | 81243 | 76931 316116 885852 | 2147483647 81243 128 | 0.000 % |
2014.06/2014.82 c | 82202 | 76931 316116 885852 | 2147483647 82202 127 | 0.000 % |
2016.56/2017.39 c | 82302 | 76931 316116 885852 | 2147483647 82302 127 | 0.000 % |
2020.45/2021.26 c | 82412 | 76931 316116 885852 | 2147483647 82412 127 | 0.000 % |
2022.25/2023.06 c | 82533 | 76931 316116 885852 | 2147483647 82533 127 | 0.000 % |
2024.75/2025.53 c | 82666 | 76931 316116 885852 | 2147483647 82666 127 | 0.000 % |
2028.35/2029.12 c | 82812 | 76931 316116 885852 | 2147483647 82812 127 | 0.000 % |
2036.35/2037.18 c | 82972 | 76931 316116 885852 | 2147483647 82972 127 | 0.000 % |
2045.64/2046.40 c | 83148 | 76931 316116 885852 | 2147483647 83148 127 | 0.000 % |
2054.84/2055.62 c | 83341 | 76931 316116 885852 | 2147483647 83341 127 | 0.000 % |
2057.34/2058.18 c | 83555 | 76931 316116 885852 | 2147483647 83555 127 | 0.000 % |
2063.63/2064.47 c | 83788 | 76931 316116 885852 | 2147483647 83788 127 | 0.000 % |
2071.94/2072.77 c | 84045 | 76931 316116 885852 | 2147483647 84045 127 | 0.000 % |
2078.44/2079.20 c | 84327 | 76931 316116 885852 | 2147483647 84327 128 | 0.000 % |
2090.63/2091.49 c | 84637 | 76931 316116 885852 | 2147483647 84637 127 | 0.000 % |
2091.03/2091.85 c | 84976 | 76931 316116 885852 | 2147483647 84976 127 | 0.000 % |
2091.44/2092.25 c | 85349 | 76931 316116 885852 | 2147483647 85349 127 | 0.000 % |
2093.73/2094.54 c | 85761 | 76931 316116 885852 | 2147483647 85761 127 | 0.000 % |
2096.73/2097.57 c | 86210 | 76931 316116 885852 | 2147483647 86210 126 | 0.000 % |
2098.63/2099.45 c | 86704 | 76931 316116 885852 | 2147483647 86704 126 | 0.000 % |
2107.62/2108.42 c | 87246 | 76931 316116 885852 | 2147483647 87246 126 | 0.000 % |
2128.91/2129.73 c | 87842 | 76931 316116 885852 | 2147483647 87842 126 | 0.000 % |
2152.20/2153.07 c | 88497 | 76931 316116 885852 | 2147483647 88497 127 | 0.000 % |
2156.31/2157.15 c | 89217 | 76931 316116 885852 | 2147483647 89217 126 | 0.000 % |
2181.30/2182.17 c | 90011 | 76931 316116 885852 | 2147483647 90011 126 | 0.000 % |
2189.10/2189.97 c | 90884 | 76931 316116 885852 | 2147483647 90884 126 | 0.000 % |
2209.59/2210.40 c | 91842 | 76931 316116 885852 | 2147483647 91842 127 | 0.000 % |
2244.67/2245.56 c | 92896 | 76931 316116 885852 | 2147483647 92896 126 | 0.000 % |
2245.87/2246.73 c | 92997 | 76931 316116 885852 | 2147483647 92997 126 | 0.000 % |
2248.97/2249.84 c | 93108 | 76931 316116 885852 | 2147483647 93108 126 | 0.000 % |
2251.57/2252.44 c | 93229 | 76931 316116 885852 | 2147483647 93229 126 | 0.000 % |
2255.87/2256.74 c | 93363 | 76931 316116 885852 | 2147483647 93363 126 | 0.000 % |
2256.47/2257.38 c | 93509 | 76931 316116 885852 | 2147483647 93509 126 | 0.000 % |
2260.56/2261.40 c | 93670 | 76931 316116 885852 | 2147483647 93670 126 | 0.000 % |
2265.17/2266.02 c | 93846 | 76931 316116 885852 | 2147483647 93846 127 | 0.000 % |
2269.07/2269.98 c | 94039 | 76931 316116 885852 | 2147483647 94039 127 | 0.000 % |
2269.57/2270.46 c | 94252 | 76931 316116 885852 | 2147483647 94252 127 | 0.000 % |
2272.37/2273.29 c | 94485 | 76931 316116 885852 | 2147483647 94485 127 | 0.000 % |
2277.27/2278.18 c | 94741 | 76931 316116 885852 | 2147483647 94741 127 | 0.000 % |
2284.06/2284.99 c | 95023 | 76931 316116 885852 | 2147483647 95023 127 | 0.000 % |
2295.16/2296.05 c | 95332 | 76931 316116 885852 | 2147483647 95332 127 | 0.000 % |
2309.25/2310.16 c | 95672 | 76931 316116 885852 | 2147483647 95672 127 | 0.000 % |
2321.75/2322.65 c | 96045 | 76931 316116 885852 | 2147483647 96045 127 | 0.000 % |
2333.74/2334.63 c | 96456 | 76931 316116 885852 | 2147483647 96456 127 | 0.000 % |
2343.34/2344.20 c | 96906 | 76931 316116 885852 | 2147483647 96906 127 | 0.000 % |
2366.03/2366.97 c | 97400 | 76931 316116 885852 | 2147483647 97400 127 | 0.000 % |
2393.62/2394.59 c | 97942 | 76931 316116 885852 | 2147483647 97942 127 | 0.000 % |
2394.13/2395.00 c | 98538 | 76931 316116 885852 | 2147483647 98538 127 | 0.000 % |
2415.92/2416.80 c | 99194 | 76931 316116 885852 | 2147483647 99194 128 | 0.000 % |
2428.41/2429.32 c | 99914 | 76931 316116 885852 | 2147483647 99914 128 | 0.000 % |
2429.61/2430.51 c | 100708 | 76931 316116 885852 | 2147483647 100708 128 | 0.000 % |
2441.60/2442.53 c | 101579 | 76931 316116 885852 | 2147483647 101579 128 | 0.000 % |
2446.40/2447.33 c | 102538 | 76931 316116 885852 | 2147483647 102538 127 | 0.000 % |
2469.00/2469.92 c | 103592 | 76931 316116 885852 | 2147483647 103592 128 | 0.000 % |
2504.28/2505.30 c | 104750 | 76931 316116 885852 | 2147483647 104750 128 | 0.000 % |
2507.09/2508.06 c | 104851 | 76931 316116 885852 | 2147483647 104851 128 | 0.000 % |
2511.89/2512.85 c | 104963 | 76931 316116 885852 | 2147483647 104963 128 | 0.000 % |
2513.29/2514.25 c | 105085 | 76931 316116 885852 | 2147483647 105085 128 | 0.000 % |
2513.59/2514.57 c | 105218 | 76931 316116 885852 | 2147483647 105218 128 | 0.000 % |
2516.68/2517.61 c | 105364 | 76931 316116 885852 | 2147483647 105364 128 | 0.000 % |
2522.39/2523.38 c | 105525 | 76931 316116 885852 | 2147483647 105525 128 | 0.000 % |
2525.18/2526.10 c | 105702 | 76931 316116 885852 | 2147483647 105702 128 | 0.000 % |
2525.78/2526.72 c | 105895 | 76931 316116 885852 | 2147483647 105895 128 | 0.000 % |
2534.78/2535.71 c | 106108 | 76931 316116 885852 | 2147483647 106108 128 | 0.000 % |
2539.07/2540.02 c | 106343 | 76931 316116 885852 | 2147483647 106343 128 | 0.000 % |
2544.57/2545.58 c | 106600 | 76931 316116 885852 | 2147483647 106600 128 | 0.000 % |
2549.97/2550.91 c | 106881 | 76931 316116 885852 | 2147483647 106881 128 | 0.000 % |
2554.67/2555.61 c | 107191 | 76931 316116 885852 | 2147483647 107191 128 | 0.000 % |
2560.07/2561.02 c | 107530 | 76931 316116 885852 | 2147483647 107530 128 | 0.000 % |
2569.16/2570.18 c | 107903 | 76931 316116 885852 | 2147483647 107903 128 | 0.000 % |
2576.66/2577.60 c | 108312 | 76931 316116 885852 | 2147483647 108312 128 | 0.000 % |
2586.26/2587.24 c | 108761 | 76931 316116 885852 | 2147483647 108761 128 | 0.000 % |
2598.85/2599.81 c | 109254 | 76931 316116 885852 | 2147483647 109254 128 | 0.000 % |
2602.85/2603.84 c | 109798 | 76931 316116 885852 | 2147483647 109798 128 | 0.000 % |
2608.85/2609.87 c | 110395 | 76931 316116 885852 | 2147483647 110395 127 | 0.000 % |
2628.34/2629.31 c | 111051 | 76931 316116 885852 | 2147483647 111051 128 | 0.000 % |
2640.44/2641.40 c | 111772 | 76931 316116 885852 | 2147483647 111772 128 | 0.000 % |
2653.24/2654.28 c | 112565 | 76931 316116 885852 | 2147483647 112565 128 | 0.000 % |
2672.52/2673.56 c | 113437 | 76931 316116 885852 | 2147483647 113437 128 | 0.000 % |
2696.01/2697.02 c | 114395 | 76931 316116 885852 | 2147483647 114395 128 | 0.000 % |
2731.31/2732.37 c | 115448 | 76931 316116 885852 | 2147483647 115448 128 | 0.000 % |
2778.28/2779.33 c | 116607 | 76931 316116 885852 | 2147483647 116607 128 | 0.000 % |
2814.87/2815.91 c | 117880 | 76931 316116 885852 | 2147483647 117880 128 | 0.000 % |
2817.76/2818.83 c | 117980 | 76931 316116 885852 | 2147483647 117980 128 | 0.000 % |
2818.27/2819.30 c | 118091 | 76931 316116 885852 | 2147483647 118091 128 | 0.000 % |
2821.46/2822.50 c | 118213 | 76931 316116 885852 | 2147483647 118213 128 | 0.000 % |
2821.86/2822.99 c | 118347 | 76931 316116 885852 | 2147483647 118347 128 | 0.000 % |
2822.26/2823.33 c | 118496 | 76931 316116 885852 | 2147483647 118496 128 | 0.000 % |
2822.36/2823.50 c | 118657 | 76931 316116 885852 | 2147483647 118657 128 | 0.000 % |
2826.96/2828.09 c | 118833 | 76931 316116 885852 | 2147483647 118833 128 | 0.000 % |
2830.26/2831.35 c | 119027 | 76931 316116 885852 | 2147483647 119027 128 | 0.000 % |
2840.56/2841.64 c | 119240 | 76931 316116 885852 | 2147483647 119240 128 | 0.000 % |
2846.26/2847.39 c | 119474 | 76931 316116 885852 | 2147483647 119474 128 | 0.000 % |
2853.05/2854.16 c | 119731 | 76931 316116 885852 | 2147483647 119731 128 | 0.000 % |
2859.05/2860.14 c | 120013 | 76931 316116 885852 | 2147483647 120013 128 | 0.000 % |
2864.85/2865.95 c | 120324 | 76931 316116 885852 | 2147483647 120324 128 | 0.000 % |
2873.85/2874.96 c | 120664 | 76931 316116 885852 | 2147483647 120664 128 | 0.000 % |
2875.15/2876.21 c | 121037 | 76931 316116 885852 | 2147483647 121037 128 | 0.000 % |
2895.04/2896.14 c | 121446 | 76931 316116 885852 | 2147483647 121446 128 | 0.000 % |
2900.83/2901.91 c | 121895 | 76931 316116 885852 | 2147483647 121895 128 | 0.000 % |
2921.23/2922.33 c | 122389 | 76931 316116 885852 | 2147483647 122389 128 | 0.000 % |
2948.92/2950.02 c | 122931 | 76931 316116 885852 | 2147483647 122931 128 | 0.000 % |
2980.31/2981.44 c | 123528 | 76931 316116 885852 | 2147483647 123528 128 | 0.000 % |
3010.29/3011.43 c | 124183 | 76931 316116 885852 | 2147483647 124183 128 | 0.000 % |
3039.48/3040.62 c | 124903 | 76931 316116 885852 | 2147483647 124903 128 | 0.000 % |
3060.19/3061.37 c | 125695 | 76931 316116 885852 | 2147483647 125695 128 | 0.000 % |
3094.87/3096.03 c | 126567 | 76931 316116 885852 | 2147483647 126567 128 | 0.000 % |
3113.56/3114.73 c | 127526 | 76931 316116 885852 | 2147483647 127526 128 | 0.000 % |
3130.95/3132.11 c | 128579 | 76931 316116 885852 | 2147483647 128579 128 | 0.000 % |
3180.74/3181.95 c | 129737 | 76931 316116 885852 | 2147483647 129737 128 | 0.000 % |
3237.91/3239.13 c | 131011 | 76931 316116 885852 | 2147483647 131011 128 | 0.000 % |
3256.32/3257.50 c | 132411 | 76931 316116 885852 | 2147483647 132411 128 | 0.000 % |
3256.42/3257.66 c | 132513 | 76931 316116 885852 | 2147483647 132513 128 | 0.000 % |
3258.61/3259.82 c | 132623 | 76931 316116 885852 | 2147483647 132623 128 | 0.000 % |
3263.91/3265.14 c | 132744 | 76931 316116 885852 | 2147483647 132744 128 | 0.000 % |
3269.01/3270.29 c | 132879 | 76931 316116 885852 | 2147483647 132879 128 | 0.000 % |
3276.61/3277.86 c | 133025 | 76931 316116 885852 | 2147483647 133025 128 | 0.000 % |
3282.40/3283.60 c | 133186 | 76931 316116 885852 | 2147483647 133186 128 | 0.000 % |
3286.20/3287.46 c | 133362 | 76931 316116 885852 | 2147483647 133362 128 | 0.000 % |
3289.50/3290.73 c | 133555 | 76931 316116 885852 | 2147483647 133555 128 | 0.000 % |
3292.70/3293.96 c | 133768 | 76931 316116 885852 | 2147483647 133768 128 | 0.000 % |
3295.60/3296.88 c | 134002 | 76931 316116 885852 | 2147483647 134002 128 | 0.000 % |
3304.50/3305.78 c | 134258 | 76931 316116 885852 | 2147483647 134258 129 | 0.000 % |
3307.50/3308.71 c | 134539 | 76931 316116 885852 | 2147483647 134539 129 | 0.000 % |
3320.09/3321.38 c | 134849 | 76931 316116 885852 | 2147483647 134849 129 | 0.000 % |
3329.19/3330.49 c | 135188 | 76931 316116 885852 | 2147483647 135188 129 | 0.000 % |
3336.88/3338.19 c | 135560 | 76931 316116 885852 | 2147483647 135560 129 | 0.000 % |
3353.38/3354.69 c | 135969 | 76931 316116 885852 | 2147483647 135969 129 | 0.000 % |
3353.98/3355.26 c | 136419 | 76931 316116 885852 | 2147483647 136419 129 | 0.000 % |
3356.48/3357.73 c | 136913 | 76931 316116 885852 | 2147483647 136913 128 | 0.000 % |
3373.17/3374.41 c | 137456 | 76931 316116 885852 | 2147483647 137456 129 | 0.000 % |
3392.36/3393.60 c | 138053 | 76931 316116 885852 | 2147483647 138053 129 | 0.000 % |
3417.85/3419.11 c | 138708 | 76931 316116 885852 | 2147483647 138708 129 | 0.000 % |
3452.04/3453.31 c | 139429 | 76931 316116 885852 | 2147483647 139429 129 | 0.000 % |
3478.53/3479.89 c | 140222 | 76931 316116 885852 | 2147483647 140222 129 | 0.000 % |
3514.12/3515.40 c | 141094 | 76931 316116 885852 | 2147483647 141094 129 | 0.000 % |
3529.22/3530.54 c | 142054 | 76931 316116 885852 | 2147483647 142054 129 | 0.000 % |
3549.31/3550.65 c | 143107 | 76931 316116 885852 | 2147483647 143107 129 | 0.000 % |
3561.81/3563.12 c | 144265 | 76931 316116 885852 | 2147483647 144265 129 | 0.000 % |
3608.09/3609.41 c | 145539 | 76931 316116 885852 | 2147483647 145539 129 | 0.000 % |
3629.88/3631.26 c | 146939 | 76931 316116 885852 | 2147483647 146939 129 | 0.000 % |
3656.68/3658.01 c | 148480 | 76931 316116 885852 | 2147483647 148480 129 | 0.000 % |
3658.18/3659.52 c | 148580 | 76931 316116 885852 | 2147483647 148580 129 | 0.000 % |
3660.97/3662.33 c | 148690 | 76931 316116 885852 | 2147483647 148690 129 | 0.000 % |
3667.57/3668.92 c | 148812 | 76931 316116 885852 | 2147483647 148812 129 | 0.000 % |
3672.67/3674.01 c | 148945 | 76931 316116 885852 | 2147483647 148945 129 | 0.000 % |
3676.87/3678.25 c | 149092 | 76931 316116 885852 | 2147483647 149092 129 | 0.000 % |
3683.17/3684.55 c | 149253 | 76931 316116 885852 | 2147483647 149253 129 | 0.000 % |
3691.96/3693.36 c | 149429 | 76931 316116 885852 | 2147483647 149429 129 | 0.000 % |
3700.36/3701.77 c | 149622 | 76931 316116 885852 | 2147483647 149622 129 | 0.000 % |
3707.45/3708.80 c | 149835 | 76931 316116 885852 | 2147483647 149835 129 | 0.000 % |
3719.85/3721.29 c | 150068 | 76931 316116 885852 | 2147483647 150068 129 | 0.000 % |
3729.85/3731.22 c | 150324 | 76931 316116 885852 | 2147483647 150324 129 | 0.000 % |
3740.24/3741.66 c | 150605 | 76931 316116 885852 | 2147483647 150605 129 | 0.000 % |
3747.74/3749.15 c | 150915 | 76931 316116 885852 | 2147483647 150915 129 | 0.000 % |
3753.04/3754.45 c | 151254 | 76931 316116 885852 | 2147483647 151254 129 | 0.000 % |
3753.44/3754.87 c | 151626 | 76931 316116 885852 | 2147483647 151626 129 | 0.000 % |
3755.15/3756.51 c | 152040 | 76931 316116 885852 | 2147483647 152040 129 | 0.000 % |
3764.14/3765.54 c | 152490 | 76931 316116 885852 | 2147483647 152490 129 | 0.000 % |
3767.94/3769.32 c | 152984 | 76931 316116 885852 | 2147483647 152984 129 | 0.000 % |
3771.23/3772.65 c | 153527 | 76931 316116 885852 | 2147483647 153527 129 | 0.000 % |
3783.93/3785.33 c | 154123 | 76931 316116 885852 | 2147483647 154123 129 | 0.000 % |
3807.72/3809.19 c | 154778 | 76931 316116 885852 | 2147483647 154778 129 | 0.000 % |
3835.51/3836.95 c | 155499 | 76931 316116 885852 | 2147483647 155499 129 | 0.000 % |
3848.61/3850.06 c | 156292 | 76931 316116 885852 | 2147483647 156292 129 | 0.000 % |
3862.30/3863.77 c | 157164 | 76931 316116 885852 | 2147483647 157164 129 | 0.000 % |
3902.59/3904.03 c | 158123 | 76931 316116 885852 | 2147483647 158123 129 | 0.000 % |
3927.58/3929.09 c | 159177 | 76931 316116 885852 | 2147483647 159177 130 | 0.000 % |
3976.56/3978.04 c | 160335 | 76931 316116 885852 | 2147483647 160335 130 | 0.000 % |
3995.66/3997.18 c | 161610 | 76931 316116 885852 | 2147483647 161610 130 | 0.000 % |
4040.64/4042.14 c | 163010 | 76931 316116 885852 | 2147483647 163010 130 | 0.000 % |
4115.81/4117.33 c | 164550 | 76931 316116 885852 | 2147483647 164550 130 | 0.000 % |
4179.49/4181.05 c | 166246 | 76931 316116 885852 | 2147483647 166246 130 | 0.000 % |
4179.69/4181.26 c | 166346 | 76931 316116 885852 | 2147483647 166346 130 | 0.000 % |
4180.09/4181.63 c | 166459 | 76931 316116 885852 | 2147483647 166459 130 | 0.000 % |
4180.19/4181.73 c | 166582 | 76931 316116 885852 | 2147483647 166582 130 | 0.000 % |
4185.79/4187.30 c | 166717 | 76931 316116 885852 | 2147483647 166717 130 | 0.000 % |
4193.09/4194.67 c | 166863 | 76931 316116 885852 | 2147483647 166863 130 | 0.000 % |
4201.28/4202.82 c | 167023 | 76931 316116 885852 | 2147483647 167023 130 | 0.000 % |
4209.58/4211.16 c | 167200 | 76931 316116 885852 | 2147483647 167200 130 | 0.000 % |
4214.68/4216.26 c | 167393 | 76931 316116 885852 | 2147483647 167393 130 | 0.000 % |
4221.47/4223.07 c | 167606 | 76931 316116 885852 | 2147483647 167606 130 | 0.000 % |
4227.37/4228.90 c | 167839 | 76931 316116 885852 | 2147483647 167839 130 | 0.000 % |
4233.97/4235.57 c | 168096 | 76931 316116 885852 | 2147483647 168096 130 | 0.000 % |
4247.86/4249.43 c | 168378 | 76931 316116 885852 | 2147483647 168378 130 | 0.000 % |
4260.86/4262.41 c | 168688 | 76931 316116 885852 | 2147483647 168688 130 | 0.000 % |
4266.06/4267.67 c | 169027 | 76931 316116 885852 | 2147483647 169027 130 | 0.000 % |
4275.65/4277.23 c | 169400 | 76931 316116 885852 | 2147483647 169400 130 | 0.000 % |
4296.75/4298.31 c | 169809 | 76931 316116 885852 | 2147483647 169809 130 | 0.000 % |
4312.04/4313.61 c | 170259 | 76931 316116 885852 | 2147483647 170259 130 | 0.000 % |
4332.04/4333.63 c | 170752 | 76931 316116 885852 | 2147483647 170752 130 | 0.000 % |
4350.13/4351.71 c | 171295 | 76931 316116 885852 | 2147483647 171295 130 | 0.000 % |
4372.02/4373.63 c | 171892 | 76931 316116 885852 | 2147483647 171892 130 | 0.000 % |
4397.22/4398.83 c | 172548 | 76931 316116 885852 | 2147483647 172548 130 | 0.000 % |
4401.91/4403.52 c | 173269 | 76931 316116 885852 | 2147483647 173269 130 | 0.000 % |
4423.50/4425.20 c | 174061 | 76931 316116 885852 | 2147483647 174061 130 | 0.000 % |
4444.29/4445.91 c | 174933 | 76931 316116 885852 | 2147483647 174933 130 | 0.000 % |
4479.89/4481.57 c | 175892 | 76931 316116 885852 | 2147483647 175892 130 | 0.000 % |
4514.48/4516.10 c | 176946 | 76931 316116 885852 | 2147483647 176946 130 | 0.000 % |
4552.86/4554.57 c | 178105 | 76931 316116 885852 | 2147483647 178105 130 | 0.000 % |
4613.64/4615.38 c | 179378 | 76931 316116 885852 | 2147483647 179378 130 | 0.000 % |
4632.44/4634.19 c | 180778 | 76931 316116 885852 | 2147483647 180778 130 | 0.000 % |
4658.82/4660.55 c | 182319 | 76931 316116 885852 | 2147483647 182319 130 | 0.000 % |
4701.50/4703.23 c | 184014 | 76931 316116 885852 | 2147483647 184014 130 | 0.000 % |
4724.20/4725.91 c | 185877 | 76931 316116 885852 | 2147483647 185877 130 | 0.000 % |
4729.20/4730.91 c | 185977 | 76931 316116 885852 | 2147483647 185977 130 | 0.000 % |
4732.10/4733.88 c | 186087 | 76931 316116 885852 | 2147483647 186087 130 | 0.000 % |
4735.10/4736.85 c | 186208 | 76931 316116 885852 | 2147483647 186208 130 | 0.000 % |
4741.40/4743.16 c | 186342 | 76931 316116 885852 | 2147483647 186342 130 | 0.000 % |
4742.79/4744.54 c | 186489 | 76931 316116 885852 | 2147483647 186489 130 | 0.000 % |
4745.80/4747.55 c | 186649 | 76931 316116 885852 | 2147483647 186649 130 | 0.000 % |
4749.99/4751.74 c | 186826 | 76931 316116 885852 | 2147483647 186826 130 | 0.000 % |
4756.29/4758.02 c | 187020 | 76931 316116 885852 | 2147483647 187020 130 | 0.000 % |
4763.98/4765.76 c | 187233 | 76931 316116 885852 | 2147483647 187233 130 | 0.000 % |
4773.48/4775.23 c | 187467 | 76931 316116 885852 | 2147483647 187467 130 | 0.000 % |
4784.28/4786.10 c | 187723 | 76931 316116 885852 | 2147483647 187723 130 | 0.000 % |
4796.47/4798.24 c | 188005 | 76931 316116 885852 | 2147483647 188005 130 | 0.000 % |
4805.17/4806.99 c | 188315 | 76931 316116 885852 | 2147483647 188315 130 | 0.000 % |
4821.16/4822.96 c | 188654 | 76931 316116 885852 | 2147483647 188654 131 | 0.000 % |
4831.37/4833.12 c | 189028 | 76931 316116 885852 | 2147483647 189028 131 | 0.000 % |
4837.86/4839.60 c | 189437 | 76931 316116 885852 | 2147483647 189437 131 | 0.000 % |
4848.46/4850.28 c | 189886 | 76931 316116 885852 | 2147483647 189886 131 | 0.000 % |
4874.25/4876.09 c | 190379 | 76931 316116 885852 | 2147483647 190379 131 | 0.000 % |
4891.04/4892.82 c | 190921 | 76931 316116 885852 | 2147483647 190921 131 | 0.000 % |
4903.94/4905.72 c | 191518 | 76931 316116 885852 | 2147483647 191518 131 | 0.000 % |
4935.62/4937.44 c | 192173 | 76931 316116 885852 | 2147483647 192173 131 | 0.000 % |
4966.72/4968.53 c | 192894 | 76931 316116 885852 | 2147483647 192894 131 | 0.000 % |
4970.81/4972.68 c | 193687 | 76931 316116 885852 | 2147483647 193687 131 | 0.000 % |
5010.50/5012.36 c | 194559 | 76931 316116 885852 | 2147483647 194559 131 | 0.000 % |
5026.59/5028.43 c | 195519 | 76931 316116 885852 | 2147483647 195519 131 | 0.000 % |
5036.39/5038.20 c | 196573 | 76931 316116 885852 | 2147483647 196573 131 | 0.000 % |
5091.97/5093.80 c | 197732 | 76931 316116 885852 | 2147483647 197732 131 | 0.000 % |
5126.96/5128.86 c | 199005 | 76931 316116 885852 | 2147483647 199005 131 | 0.000 % |
5186.44/5188.39 c | 200405 | 76931 316116 885852 | 2147483647 200405 131 | 0.000 % |
5251.12/5253.05 c | 201945 | 76931 316116 885852 | 2147483647 201945 131 | 0.000 % |
5332.88/5334.80 c | 203640 | 76931 316116 885852 | 2147483647 203640 131 | 0.000 % |
5409.66/5411.65 c | 205504 | 76931 316116 885852 | 2147483647 205504 130 | 0.000 % |
5500.53/5502.50 c | 207554 | 76931 316116 885852 | 2147483647 207554 130 | 0.000 % |
5505.33/5507.36 c | 207655 | 76931 316116 885852 | 2147483647 207655 130 | 0.000 % |
5508.83/5510.87 c | 207765 | 76931 316116 885852 | 2147483647 207765 130 | 0.000 % |
5512.72/5514.79 c | 207886 | 76931 316116 885852 | 2147483647 207886 130 | 0.000 % |
5516.22/5518.28 c | 208019 | 76931 316116 885852 | 2147483647 208019 130 | 0.000 % |
5517.92/5519.90 c | 208168 | 76931 316116 885852 | 2147483647 208168 130 | 0.000 % |
5523.92/5525.91 c | 208329 | 76931 316116 885852 | 2147483647 208329 130 | 0.000 % |
5529.02/5531.00 c | 208505 | 76931 316116 885852 | 2147483647 208505 130 | 0.000 % |
5538.61/5540.64 c | 208698 | 76931 316116 885852 | 2147483647 208698 130 | 0.000 % |
5543.11/5545.20 c | 208910 | 76931 316116 885852 | 2147483647 208910 130 | 0.000 % |
5547.31/5549.34 c | 209143 | 76931 316116 885852 | 2147483647 209143 130 | 0.000 % |
5554.51/5556.51 c | 209399 | 76931 316116 885852 | 2147483647 209399 130 | 0.000 % |
5564.01/5566.01 c | 209681 | 76931 316116 885852 | 2147483647 209681 130 | 0.000 % |
5569.60/5571.62 c | 209990 | 76931 316116 885852 | 2147483647 209990 130 | 0.000 % |
5576.20/5578.27 c | 210330 | 76931 316116 885852 | 2147483647 210330 130 | 0.000 % |
5583.90/5585.98 c | 210702 | 76931 316116 885852 | 2147483647 210702 130 | 0.000 % |
5606.09/5608.12 c | 211111 | 76931 316116 885852 | 2147483647 211111 130 | 0.000 % |
5633.18/5635.22 c | 211561 | 76931 316116 885852 | 2147483647 211561 130 | 0.000 % |
5643.58/5645.64 c | 212055 | 76931 316116 885852 | 2147483647 212055 131 | 0.000 % |
5665.27/5667.33 c | 212597 | 76931 316116 885852 | 2147483647 212597 130 | 0.000 % |
5676.07/5678.11 c | 213194 | 76931 316116 885852 | 2147483647 213194 130 | 0.000 % |
5677.27/5679.38 c | 213849 | 76931 316116 885852 | 2147483647 213849 130 | 0.000 % |
5694.96/5697.02 c | 214570 | 76931 316116 885852 | 2147483647 214570 130 | 0.000 % |
5733.45/5735.53 c | 215362 | 76931 316116 885852 | 2147483647 215362 130 | 0.000 % |
5778.53/5780.68 c | 216234 | 76931 316116 885852 | 2147483647 216234 131 | 0.000 % |
5832.61/5834.80 c | 217193 | 76931 316116 885852 | 2147483647 217193 131 | 0.000 % |
5866.90/5869.00 c | 218247 | 76931 316116 885852 | 2147483647 218247 131 | 0.000 % |
5870.20/5872.31 c | 219407 | 76931 316116 885852 | 2147483647 219407 130 | 0.000 % |
5912.59/5914.73 c | 220681 | 76931 316116 885852 | 2147483647 220681 131 | 0.000 % |
5992.76/5994.98 c | 222082 | 76931 316116 885852 | 2147483647 222082 131 | 0.000 % |
6067.43/6069.66 c | 223623 | 76931 316116 885852 | 2147483647 223623 131 | 0.000 % |
6121.11/6123.30 c | 225317 | 76931 316116 885852 | 2147483647 225317 131 | 0.000 % |
6209.38/6211.63 c | 227181 | 76931 316116 885852 | 2147483647 227181 131 | 0.000 % |
6302.54/6304.82 c | 229231 | 76931 316116 885852 | 2147483647 229231 131 | 0.000 % |
6386.11/6388.48 c | 231485 | 76931 316116 885852 | 2147483647 231485 131 | 0.000 % |
6390.51/6392.80 c | 231586 | 76931 316116 885852 | 2147483647 231586 131 | 0.000 % |
6395.40/6397.71 c | 231696 | 76931 316116 885852 | 2147483647 231696 131 | 0.000 % |
6398.20/6400.50 c | 231819 | 76931 316116 885852 | 2147483647 231819 131 | 0.000 % |
6403.10/6405.49 c | 231953 | 76931 316116 885852 | 2147483647 231953 131 | 0.000 % |
6410.77/6413.11 c | 232099 | 76931 316116 885852 | 2147483647 232099 131 | 0.000 % |
6414.76/6417.12 c | 232260 | 76931 316116 885852 | 2147483647 232260 131 | 0.000 % |
6424.54/6426.97 c | 232436 | 76931 316116 885852 | 2147483647 232436 131 | 0.000 % |
6428.14/6430.57 c | 232630 | 76931 316116 885852 | 2147483647 232630 131 | 0.000 % |
6433.93/6436.34 c | 232842 | 76931 316116 885852 | 2147483647 232842 131 | 0.000 % |
6442.73/6445.14 c | 233075 | 76931 316116 885852 | 2147483647 233075 131 | 0.000 % |
6448.62/6451.06 c | 233332 | 76931 316116 885852 | 2147483647 233332 131 | 0.000 % |
6458.43/6460.89 c | 233614 | 76931 316116 885852 | 2147483647 233614 131 | 0.000 % |
6467.52/6469.91 c | 233924 | 76931 316116 885852 | 2147483647 233924 131 | 0.000 % |
6476.52/6478.94 c | 234263 | 76931 316116 885852 | 2147483647 234263 131 | 0.000 % |
6481.42/6483.82 c | 234636 | 76931 316116 885852 | 2147483647 234636 131 | 0.000 % |
6491.51/6493.95 c | 235046 | 76931 316116 885852 | 2147483647 235046 131 | 0.000 % |
6492.41/6494.84 c | 235495 | 76931 316116 885852 | 2147483647 235495 131 | 0.000 % |
6502.21/6504.68 c | 235990 | 76931 316116 885852 | 2147483647 235990 131 | 0.000 % |
6519.20/6521.65 c | 236532 | 76931 316116 885852 | 2147483647 236532 131 | 0.000 % |
6537.89/6540.35 c | 237128 | 76931 316116 885852 | 2147483647 237128 131 | 0.000 % |
6548.19/6550.68 c | 237784 | 76931 316116 885852 | 2147483647 237784 131 | 0.000 % |
6558.38/6560.82 c | 238504 | 76931 316116 885852 | 2147483647 238504 131 | 0.000 % |
6575.29/6577.77 c | 239296 | 76931 316116 885852 | 2147483647 239296 131 | 0.000 % |
6588.68/6591.13 c | 240168 | 76931 316116 885852 | 2147483647 240168 131 | 0.000 % |
6597.38/6599.84 c | 241126 | 76931 316116 885852 | 2147483647 241126 130 | 0.000 % |
6648.06/6650.58 c | 242180 | 76931 316116 885852 | 2147483647 242180 131 | 0.000 % |
6699.24/6701.79 c | 243338 | 76931 316116 885852 | 2147483647 243338 131 | 0.000 % |
6754.42/6756.91 c | 244611 | 76931 316116 885852 | 2147483647 244611 131 | 0.000 % |
6795.71/6798.25 c | 246011 | 76931 316116 885852 | 2147483647 246011 131 | 0.000 % |
6867.28/6869.89 c | 247552 | 76931 316116 885852 | 2147483647 247552 131 | 0.000 % |
6920.17/6922.70 c | 249249 | 76931 316116 885852 | 2147483647 249249 131 | 0.000 % |
7013.33/7015.93 c | 251113 | 76931 316116 885852 | 2147483647 251113 131 | 0.000 % |
7041.72/7044.36 c | 253163 | 76931 316116 885852 | 2147483647 253163 130 | 0.000 % |
7074.91/7077.58 c | 255418 | 76931 316116 885852 | 2147483647 255418 131 | 0.000 % |
7120.40/7123.00 c | 257896 | 76931 316116 885852 | 2147483647 257896 130 | 0.000 % |
7120.80/7123.41 c | 257997 | 76931 316116 885852 | 2147483647 257997 130 | 0.000 % |
7125.59/7128.22 c | 258108 | 76931 316116 885852 | 2147483647 258108 130 | 0.000 % |
7130.29/7132.98 c | 258229 | 76931 316116 885852 | 2147483647 258229 130 | 0.000 % |
7138.69/7141.34 c | 258363 | 76931 316116 885852 | 2147483647 258363 130 | 0.000 % |
7143.79/7146.42 c | 258509 | 76931 316116 885852 | 2147483647 258509 130 | 0.000 % |
7149.98/7152.67 c | 258670 | 76931 316116 885852 | 2147483647 258670 130 | 0.000 % |
7153.18/7155.83 c | 258846 | 76931 316116 885852 | 2147483647 258846 130 | 0.000 % |
7160.78/7163.44 c | 259039 | 76931 316116 885852 | 2147483647 259039 130 | 0.000 % |
7165.78/7168.45 c | 259252 | 76931 316116 885852 | 2147483647 259252 130 | 0.000 % |
7169.68/7172.31 c | 259485 | 76931 316116 885852 | 2147483647 259485 130 | 0.000 % |
7173.78/7176.42 c | 259741 | 76931 316116 885852 | 2147483647 259741 130 | 0.000 % |
7188.27/7190.94 c | 260022 | 76931 316116 885852 | 2147483647 260022 130 | 0.000 % |
7204.16/7206.85 c | 260331 | 76931 316116 885852 | 2147483647 260331 130 | 0.000 % |
7211.26/7213.91 c | 260670 | 76931 316116 885852 | 2147483647 260670 130 | 0.000 % |
7221.35/7224.01 c | 261042 | 76931 316116 885852 | 2147483647 261042 130 | 0.000 % |
7230.25/7232.90 c | 261451 | 76931 316116 885852 | 2147483647 261451 130 | 0.000 % |
7236.05/7238.75 c | 261901 | 76931 316116 885852 | 2147483647 261901 130 | 0.000 % |
7251.54/7254.24 c | 262395 | 76931 316116 885852 | 2147483647 262395 130 | 0.000 % |
7274.14/7276.85 c | 262938 | 76931 316116 885852 | 2147483647 262938 130 | 0.000 % |
7298.53/7301.29 c | 263534 | 76931 316116 885852 | 2147483647 263534 131 | 0.000 % |
7319.12/7321.86 c | 264190 | 76931 316116 885852 | 2147483647 264190 131 | 0.000 % |
7343.12/7345.81 c | 264911 | 76931 316116 885852 | 2147483647 264911 131 | 0.000 % |
7351.61/7354.32 c | 265704 | 76931 316116 885852 | 2147483647 265704 131 | 0.000 % |
7363.91/7366.68 c | 266576 | 76931 316116 885852 | 2147483647 266576 131 | 0.000 % |
7403.89/7406.69 c | 267534 | 76931 316116 885852 | 2147483647 267534 131 | 0.000 % |
7435.59/7438.37 c | 268587 | 76931 316116 885852 | 2147483647 268587 130 | 0.000 % |
7488.77/7491.52 c | 269745 | 76931 316116 885852 | 2147483647 269745 131 | 0.000 % |
7529.75/7532.51 c | 271019 | 76931 316116 885852 | 2147483647 271019 131 | 0.000 % |
7566.03/7568.84 c | 272419 | 76931 316116 885852 | 2147483647 272419 131 | 0.000 % |
7625.52/7628.40 c | 273960 | 76931 316116 885852 | 2147483647 273960 131 | 0.000 % |
7634.91/7637.72 c | 275656 | 76931 316116 885852 | 2147483647 275656 131 | 0.000 % |
7695.49/7698.32 c | 277519 | 76931 316116 885852 | 2147483647 277519 131 | 0.000 % |
7794.66/7797.56 c | 279568 | 76931 316116 885852 | 2147483647 279568 131 | 0.000 % |
7841.34/7844.25 c | 281822 | 76931 316116 885852 | 2147483647 281822 131 | 0.000 % |
7922.82/7925.79 c | 284301 | 76931 316116 885852 | 2147483647 284301 132 | 0.000 % |
8036.67/8039.66 c | 287026 | 76931 316116 885852 | 2147483647 287026 132 | 0.000 % |
8041.67/8044.65 c | 287127 | 76931 316116 885852 | 2147483647 287127 132 | 0.000 % |
8045.56/8048.58 c | 287237 | 76931 316116 885852 | 2147483647 287237 132 | 0.000 % |
8049.16/8052.16 c | 287359 | 76931 316116 885852 | 2147483647 287359 132 | 0.000 % |
8051.67/8054.67 c | 287492 | 76931 316116 885852 | 2147483647 287492 132 | 0.000 % |
8055.37/8058.34 c | 287638 | 76931 316116 885852 | 2147483647 287638 132 | 0.000 % |
8055.87/8058.82 c | 287798 | 76931 316116 885852 | 2147483647 287798 132 | 0.000 % |
8062.76/8065.75 c | 287975 | 76931 316116 885852 | 2147483647 287975 132 | 0.000 % |
8068.76/8071.70 c | 288169 | 76931 316116 885852 | 2147483647 288169 132 | 0.000 % |
8078.96/8081.99 c | 288382 | 76931 316116 885852 | 2147483647 288382 132 | 0.000 % |
8093.35/8096.39 c | 288616 | 76931 316116 885852 | 2147483647 288616 132 | 0.000 % |
8096.05/8099.08 c | 288873 | 76931 316116 885852 | 2147483647 288873 132 | 0.000 % |
8114.14/8117.11 c | 289155 | 76931 316116 885852 | 2147483647 289155 132 | 0.000 % |
8122.14/8125.19 c | 289464 | 76931 316116 885852 | 2147483647 289464 132 | 0.000 % |
8128.44/8131.41 c | 289803 | 76931 316116 885852 | 2147483647 289803 132 | 0.000 % |
8136.74/8139.70 c | 290175 | 76931 316116 885852 | 2147483647 290175 132 | 0.000 % |
8141.73/8144.73 c | 290584 | 76931 316116 885852 | 2147483647 290584 132 | 0.000 % |
8145.84/8148.80 c | 291033 | 76931 316116 885852 | 2147483647 291033 132 | 0.000 % |
8163.92/8166.90 c | 291526 | 76931 316116 885852 | 2147483647 291526 132 | 0.000 % |
8184.23/8187.30 c | 292069 | 76931 316116 885852 | 2147483647 292069 132 | 0.000 % |
8206.71/8209.73 c | 292666 | 76931 316116 885852 | 2147483647 292666 132 | 0.000 % |
8218.31/8221.39 c | 293322 | 76931 316116 885852 | 2147483647 293322 132 | 0.000 % |
8219.41/8222.46 c | 294043 | 76931 316116 885852 | 2147483647 294043 132 | 0.000 % |
8230.50/8233.51 c | 294839 | 76931 316116 885852 | 2147483647 294839 132 | 0.000 % |
8243.71/8246.70 c | 295710 | 76931 316116 885852 | 2147483647 295710 132 | 0.000 % |
8288.39/8291.46 c | 296668 | 76931 316116 885852 | 2147483647 296668 132 | 0.000 % |
8292.38/8295.45 c | 297722 | 76931 316116 885852 | 2147483647 297722 132 | 0.000 % |
8328.17/8331.29 c | 298881 | 76931 316116 885852 | 2147483647 298881 132 | 0.000 % |
8375.66/8378.77 c | 300155 | 76931 316116 885852 | 2147483647 300155 132 | 0.000 % |
8428.44/8431.59 c | 301555 | 76931 316116 885852 | 2147483647 301555 132 | 0.000 % |
8483.61/8486.71 c | 303096 | 76931 316116 885852 | 2147483647 303096 132 | 0.000 % |
8545.59/8548.74 c | 304790 | 76931 316116 885852 | 2147483647 304790 132 | 0.000 % |
8585.28/8588.47 c | 306653 | 76931 316116 885852 | 2147483647 306653 132 | 0.000 % |
8603.77/8606.97 c | 308702 | 76931 316116 885852 | 2147483647 308702 132 | 0.000 % |
8716.84/8720.00 c | 310956 | 76931 316116 885852 | 2147483647 310956 132 | 0.000 % |
8766.71/8769.96 c | 313435 | 76931 316116 885852 | 2147483647 313435 132 | 0.000 % |
8872.08/8875.32 c | 316160 | 76931 316116 885852 | 2147483647 316160 132 | 0.000 % |
9013.63/9016.93 c | 319158 | 76931 316116 885852 | 2147483647 319158 132 | 0.000 % |
9019.83/9023.11 c | 319258 | 76931 316116 885852 | 2147483647 319258 132 | 0.000 % |
9022.23/9025.58 c | 319368 | 76931 316116 885852 | 2147483647 319368 132 | 0.000 % |
9024.03/9027.39 c | 319489 | 76931 316116 885852 | 2147483647 319489 132 | 0.000 % |
9024.53/9027.88 c | 319624 | 76931 316116 885852 | 2147483647 319624 132 | 0.000 % |
9028.42/9031.75 c | 319770 | 76931 316116 885852 | 2147483647 319770 132 | 0.000 % |
9031.52/9034.85 c | 319930 | 76931 316116 885852 | 2147483647 319930 132 | 0.000 % |
9041.42/9044.78 c | 320106 | 76931 316116 885852 | 2147483647 320106 132 | 0.000 % |
9043.91/9047.26 c | 320299 | 76931 316116 885852 | 2147483647 320299 132 | 0.000 % |
9052.81/9056.10 c | 320511 | 76931 316116 885852 | 2147483647 320511 132 | 0.000 % |
9057.81/9061.15 c | 320744 | 76931 316116 885852 | 2147483647 320744 132 | 0.000 % |
9066.31/9069.65 c | 321001 | 76931 316116 885852 | 2147483647 321001 132 | 0.000 % |
9072.00/9075.30 c | 321283 | 76931 316116 885852 | 2147483647 321283 132 | 0.000 % |
9080.40/9083.78 c | 321593 | 76931 316116 885852 | 2147483647 321593 132 | 0.000 % |
9095.00/9098.32 c | 321933 | 76931 316116 885852 | 2147483647 321933 132 | 0.000 % |
9101.50/9104.87 c | 322305 | 76931 316116 885852 | 2147483647 322305 132 | 0.000 % |
9111.09/9114.45 c | 322714 | 76931 316116 885852 | 2147483647 322714 132 | 0.000 % |
9138.08/9141.49 c | 323164 | 76931 316116 885852 | 2147483647 323164 132 | 0.000 % |
9151.38/9154.71 c | 323658 | 76931 316116 885852 | 2147483647 323658 132 | 0.000 % |
9173.57/9176.92 c | 324201 | 76931 316116 885852 | 2147483647 324201 132 | 0.000 % |
9208.25/9211.65 c | 324797 | 76931 316116 885852 | 2147483647 324797 132 | 0.000 % |
9236.84/9240.25 c | 325452 | 76931 316116 885852 | 2147483647 325452 132 | 0.000 % |
9258.25/9261.65 c | 326172 | 76931 316116 885852 | 2147483647 326172 132 | 0.000 % |
9295.73/9299.10 c | 326965 | 76931 316116 885852 | 2147483647 326965 132 | 0.000 % |
9311.92/9315.39 c | 327838 | 76931 316116 885852 | 2147483647 327838 132 | 0.000 % |
9341.61/9345.01 c | 328796 | 76931 316116 885852 | 2147483647 328796 132 | 0.000 % |
9398.79/9402.27 c | 329850 | 76931 316116 885852 | 2147483647 329850 132 | 0.000 % |
9464.07/9467.57 c | 331008 | 76931 316116 885852 | 2147483647 331008 132 | 0.000 % |
9531.14/9534.66 c | 332282 | 76931 316116 885852 | 2147483647 332282 132 | 0.000 % |
9587.83/9591.39 c | 333683 | 76931 316116 885852 | 2147483647 333683 132 | 0.000 % |
9657.10/9660.69 c | 335224 | 76931 316116 885852 | 2147483647 335224 132 | 0.000 % |
9692.89/9696.50 c | 336918 | 76931 316116 885852 | 2147483647 336918 132 | 0.000 % |
9695.88/9699.49 c | 338782 | 76931 316116 885852 | 2147483647 338782 132 | 0.000 % |
9743.67/9747.29 c | 340832 | 76931 316116 885852 | 2147483647 340832 132 | 0.000 % |
9788.45/9792.02 c | 343085 | 76931 316116 885852 | 2147483647 343085 132 | 0.000 % |
9909.11/9912.75 c | 345563 | 76931 316116 885852 | 2147483647 345563 133 | 0.000 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1837250-1242864910/watcher-1837250-1242864910 -o /tmp/evaluation-result-1837250-1242864910/solver-1837250-1242864910 -C 10000 -W 12000 -M 1800 SatELiteGTI HOME/instance-1837250-1242864910.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 10000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 10030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 12000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.00 0.99 0.91 3/64 16500
/proc/meminfo: memFree=1839848/2055920 swapFree=4179860/4192956
[pid=16500] ppid=16498 vsize=5356 CPUtime=0
/proc/16500/stat : 16500 (SatELiteGTI) S 16498 16500 16154 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 314517441 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16500/statm: 1339 237 197 169 0 50 0
[startup+0.030295 s]
/proc/loadavg: 1.00 0.99 0.91 3/64 16500
/proc/meminfo: memFree=1839848/2055920 swapFree=4179860/4192956
[pid=16500] ppid=16498 vsize=5356 CPUtime=0
/proc/16500/stat : 16500 (SatELiteGTI) S 16498 16500 16154 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 314517441 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16500/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.101309 s]
/proc/loadavg: 1.00 0.99 0.91 3/64 16500
/proc/meminfo: memFree=1839848/2055920 swapFree=4179860/4192956
[pid=16500] ppid=16498 vsize=5356 CPUtime=0
/proc/16500/stat : 16500 (SatELiteGTI) S 16498 16500 16154 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 314517441 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16500/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301347 s]
/proc/loadavg: 1.00 0.99 0.91 3/64 16500
/proc/meminfo: memFree=1839848/2055920 swapFree=4179860/4192956
[pid=16500] ppid=16498 vsize=5356 CPUtime=0
/proc/16500/stat : 16500 (SatELiteGTI) S 16498 16500 16154 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 314517441 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16500/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.701425 s]
/proc/loadavg: 1.00 0.99 0.91 3/64 16500
/proc/meminfo: memFree=1839848/2055920 swapFree=4179860/4192956
[pid=16500] ppid=16498 vsize=5356 CPUtime=0
/proc/16500/stat : 16500 (SatELiteGTI) S 16498 16500 16154 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 314517441 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16500/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+1.50258 s]
/proc/loadavg: 1.00 0.99 0.91 2/66 16505
/proc/meminfo: memFree=1770968/2055920 swapFree=4179860/4192956
[pid=16500] ppid=16498 vsize=5356 CPUtime=0
/proc/16500/stat : 16500 (SatELiteGTI) S 16498 16500 16154 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 314517441 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16500/statm: 1339 237 197 169 0 50 0
[pid=16504] ppid=16500 vsize=82968 CPUtime=1.49
/proc/16504/stat : 16504 (SatELite_releas) R 16500 16500 16154 0 -1 4194304 18223 0 0 0 138 11 0 0 25 0 1 0 314517442 84959232 17058 1992294400 134512640 135223648 4294956128 18446744073709551615 134587012 0 0 4096 3 0 0 0 17 1 0 0
/proc/16504/statm: 20742 17058 76 173 0 20567 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 88324
[startup+3.10191 s]
/proc/loadavg: 1.00 0.99 0.91 2/66 16505
/proc/meminfo: memFree=1765080/2055920 swapFree=4179860/4192956
[pid=16500] ppid=16498 vsize=5356 CPUtime=2.96
/proc/16500/stat : 16500 (SatELiteGTI) S 16498 16500 16154 0 -1 4194304 336 19457 0 0 0 0 281 15 16 0 1 0 314517441 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16500/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 5356
[startup+6.30153 s]
/proc/loadavg: 1.08 1.00 0.92 2/66 16506
/proc/meminfo: memFree=1808344/2055920 swapFree=4179860/4192956
[pid=16500] ppid=16498 vsize=5356 CPUtime=2.96
/proc/16500/stat : 16500 (SatELiteGTI) S 16498 16500 16154 0 -1 4194304 336 19457 0 0 0 0 281 15 16 0 1 0 314517441 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16500/statm: 1339 239 197 169 0 50 0
[pid=16506] ppid=16500 vsize=22180 CPUtime=3.31
/proc/16506/stat : 16506 (minisat_static) R 16500 16500 16154 0 -1 4194304 4982 0 0 0 329 2 0 0 25 0 1 0 314517739 22712320 4968 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/16506/statm: 5545 4968 77 171 0 5372 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 27536
[startup+12.7018 s]
/proc/loadavg: 1.07 1.00 0.92 2/66 16506
/proc/meminfo: memFree=1808024/2055920 swapFree=4179860/4192956
[pid=16500] ppid=16498 vsize=5356 CPUtime=2.96
/proc/16500/stat : 16500 (SatELiteGTI) S 16498 16500 16154 0 -1 4194304 336 19457 0 0 0 0 281 15 16 0 1 0 314517441 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16500/statm: 1339 239 197 169 0 50 0
[pid=16506] ppid=16500 vsize=22372 CPUtime=9.71
/proc/16506/stat : 16506 (minisat_static) R 16500 16500 16154 0 -1 4194304 5030 0 0 0 969 2 0 0 25 0 1 0 314517739 22908928 5016 1992294400 134512640 135215339 4294956240 18446744073709551615 134529148 0 0 4096 3 0 0 0 17 1 0 0
/proc/16506/statm: 5593 5016 77 171 0 5420 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 27728
[startup+25.5013 s]
/proc/loadavg: 1.06 1.00 0.92 2/66 16506
/proc/meminfo: memFree=1807576/2055920 swapFree=4179860/4192956
[pid=16500] ppid=16498 vsize=5356 CPUtime=2.96
/proc/16500/stat : 16500 (SatELiteGTI) S 16498 16500 16154 0 -1 4194304 336 19457 0 0 0 0 281 15 16 0 1 0 314517441 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16500/statm: 1339 239 197 169 0 50 0
[pid=16506] ppid=16500 vsize=22876 CPUtime=22.51
/proc/16506/stat : 16506 (minisat_static) R 16500 16500 16154 0 -1 4194304 5181 0 0 0 2248 3 0 0 25 0 1 0 314517739 23425024 5167 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/16506/statm: 5719 5167 77 171 0 5546 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 28232
[startup+51.1013 s]
/proc/loadavg: 1.04 1.00 0.92 2/66 16506
/proc/meminfo: memFree=1806744/2055920 swapFree=4179860/4192956
[pid=16500] ppid=16498 vsize=5356 CPUtime=2.96
/proc/16500/stat : 16500 (SatELiteGTI) S 16498 16500 16154 0 -1 4194304 336 19457 0 0 0 0 281 15 16 0 1 0 314517441 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16500/statm: 1339 239 197 169 0 50 0
[pid=16506] ppid=16500 vsize=23908 CPUtime=48.08
/proc/16506/stat : 16506 (minisat_static) R 16500 16500 16154 0 -1 4194304 5402 0 0 0 4805 3 0 0 25 0 1 0 314517739 24481792 5388 1992294400 134512640 135215339 4294956240 18446744073709551615 134532653 0 0 4096 3 0 0 0 17 1 0 0
/proc/16506/statm: 5977 5388 77 171 0 5804 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 29264
[startup+102.305 s]
/proc/loadavg: 1.01 1.00 0.92 2/66 16506
/proc/meminfo: memFree=1805208/2055920 swapFree=4179860/4192956
[pid=16500] ppid=16498 vsize=5356 CPUtime=2.96
/proc/16500/stat : 16500 (SatELiteGTI) S 16498 16500 16154 0 -1 4194304 336 19457 0 0 0 0 281 15 16 0 1 0 314517441 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16500/statm: 1339 239 197 169 0 50 0
[pid=16506] ppid=16500 vsize=25260 CPUtime=99.26
/proc/16506/stat : 16506 (minisat_static) R 16500 16500 16154 0 -1 4194304 5769 0 0 0 9923 3 0 0 25 0 1 0 314517739 25866240 5755 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/16506/statm: 6315 5755 77 171 0 6142 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 30616
[startup+162.301 s]
/proc/loadavg: 1.00 1.00 0.92 2/66 16506
/proc/meminfo: memFree=1803800/2055920 swapFree=4179860/4192956
[pid=16500] ppid=16498 vsize=5356 CPUtime=2.96
/proc/16500/stat : 16500 (SatELiteGTI) S 16498 16500 16154 0 -1 4194304 336 19457 0 0 0 0 281 15 16 0 1 0 314517441 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16500/statm: 1339 239 197 169 0 50 0
[pid=16506] ppid=16500 vsize=26700 CPUtime=159.24
/proc/16506/stat : 16506 (minisat_static) R 16500 16500 16154 0 -1 4194304 6102 0 0 0 15920 4 0 0 25 0 1 0 314517739 27340800 6088 1992294400 134512640 135215339 4294956240 18446744073709551615 134525713 0 0 4096 3 0 0 0 17 1 0 0
/proc/16506/statm: 6675 6088 77 171 0 6502 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 32056
[startup+222.302 s]
/proc/loadavg: 1.00 1.00 0.92 2/66 16506
/proc/meminfo: memFree=1802712/2055920 swapFree=4179860/4192956
[pid=16500] ppid=16498 vsize=5356 CPUtime=2.96
/proc/16500/stat : 16500 (SatELiteGTI) S 16498 16500 16154 0 -1 4194304 336 19457 0 0 0 0 281 15 16 0 1 0 314517441 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16500/statm: 1339 239 197 169 0 50 0
[pid=16506] ppid=16500 vsize=27712 CPUtime=219.22
/proc/16506/stat : 16506 (minisat_static) R 16500 16500 16154 0 -1 4194304 6361 0 0 0 21918 4 0 0 25 0 1 0 314517739 28377088 6347 1992294400 134512640 135215339 4294956240 18446744073709551615 134538397 0 0 4096 3 0 0 0 17 1 0 0
/proc/16506/statm: 6928 6347 77 171 0 6755 0
Current children cumulated CPU time (s) 222.18
Current children cumulated vsize (KiB) 33068
[startup+282.302 s]
/proc/loadavg: 1.00 1.00 0.92 2/66 16506
/proc/meminfo: memFree=1801304/2055920 swapFree=4179860/4192956
[pid=16500] ppid=16498 vsize=5356 CPUtime=2.96
/proc/16500/stat : 16500 (SatELiteGTI) S 16498 16500 16154 0 -1 4194304 336 19457 0 0 0 0 281 15 16 0 1 0 314517441 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16500/statm: 1339 239 197 169 0 50 0
[pid=16506] ppid=16500 vsize=29112 CPUtime=279.2
/proc/16506/stat : 16506 (minisat_static) R 16500 16500 16154 0 -1 4194304 6713 0 0 0 27915 5 0 0 25 0 1 0 314517739 29810688 6699 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/16506/statm: 7278 6699 77 171 0 7105 0
Current children cumulated CPU time (s) 282.16
Current children cumulated vsize (KiB) 34468
[startup+342.303 s]
/proc/loadavg: 1.00 1.00 0.92 2/66 16506
/proc/meminfo: memFree=1799576/2055920 swapFree=4179860/4192956
[pid=16500] ppid=16498 vsize=5356 CPUtime=2.96
/proc/16500/stat : 16500 (SatELiteGTI) S 16498 16500 16154 0 -1 4194304 336 19457 0 0 0 0 281 15 16 0 1 0 314517441 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16500/statm: 1339 239 197 169 0 50 0
[pid=16506] ppid=16500 vsize=30828 CPUtime=339.18
/proc/16506/stat : 16506 (minisat_static) R 16500 16500 16154 0 -1 4194304 7143 0 0 0 33912 6 0 0 25 0 1 0 314517739 31567872 7129 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 1 0 0
/proc/16506/statm: 7707 7129 77 171 0 7534 0
Current children cumulated CPU time (s) 342.14
Current children cumulated vsize (KiB) 36184
[startup+402.301 s]
/proc/loadavg: 1.00 1.00 0.92 2/66 16506
/proc/meminfo: memFree=1797912/2055920 swapFree=4179860/4192956
[pid=16500] ppid=16498 vsize=5356 CPUtime=2.96
/proc/16500/stat : 16500 (SatELiteGTI) S 16498 16500 16154 0 -1 4194304 336 19457 0 0 0 0 281 15 16 0 1 0 314517441 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16500/statm: 1339 239 197 169 0 50 0
[pid=16506] ppid=16500 vsize=32320 CPUtime=399.16
/proc/16506/stat : 16506 (minisat_static) R 16500 16500 16154 0 -1 4194304 7518 0 0 0 39909 7 0 0 25 0 1 0 314517739 33095680 7504 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/16506/statm: 8080 7504 77 171 0 7907 0
Current children cumulated CPU time (s) 402.12
Current children cumulated vsize (KiB) 37676
[startup+462.301 s]
/proc/loadavg: 1.00 1.00 0.92 2/66 16506
/proc/meminfo: memFree=1795864/2055920 swapFree=4179860/4192956
[pid=16500] ppid=16498 vsize=5356 CPUtime=2.96
################
# More data... #
################
/proc/16506/statm: 52522 51677 77 171 0 52349 0
Current children cumulated CPU time (s) 9398.89
Current children cumulated vsize (KiB) 215444
[startup+9462.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/66 17000
/proc/meminfo: memFree=1573976/2055920 swapFree=4179860/4192956
[pid=16500] ppid=16498 vsize=5356 CPUtime=2.96
/proc/16500/stat : 16500 (SatELiteGTI) S 16498 16500 16154 0 -1 4194304 336 19457 0 0 0 0 281 15 16 0 1 0 314517441 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16500/statm: 1339 239 197 169 0 50 0
[pid=16506] ppid=16500 vsize=210616 CPUtime=9455.91
/proc/16506/stat : 16506 (minisat_static) R 16500 16500 16154 0 -1 4194304 51830 0 0 0 945504 87 0 0 25 0 1 0 314517739 215670784 51816 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/16506/statm: 52654 51816 77 171 0 52481 0
Current children cumulated CPU time (s) 9458.87
Current children cumulated vsize (KiB) 215972
[startup+9522.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/66 17000
/proc/meminfo: memFree=1573272/2055920 swapFree=4179860/4192956
[pid=16500] ppid=16498 vsize=5356 CPUtime=2.96
/proc/16500/stat : 16500 (SatELiteGTI) S 16498 16500 16154 0 -1 4194304 336 19457 0 0 0 0 281 15 16 0 1 0 314517441 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16500/statm: 1339 239 197 169 0 50 0
[pid=16506] ppid=16500 vsize=211280 CPUtime=9515.89
/proc/16506/stat : 16506 (minisat_static) R 16500 16500 16154 0 -1 4194304 51994 0 0 0 951502 87 0 0 25 0 1 0 314517739 216350720 51980 1992294400 134512640 135215339 4294956240 18446744073709551615 134532626 0 0 4096 3 0 0 0 17 1 0 0
/proc/16506/statm: 52820 51980 77 171 0 52647 0
Current children cumulated CPU time (s) 9518.85
Current children cumulated vsize (KiB) 216636
[startup+9582.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/66 17000
/proc/meminfo: memFree=1572504/2055920 swapFree=4179860/4192956
[pid=16500] ppid=16498 vsize=5356 CPUtime=2.96
/proc/16500/stat : 16500 (SatELiteGTI) S 16498 16500 16154 0 -1 4194304 336 19457 0 0 0 0 281 15 16 0 1 0 314517441 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16500/statm: 1339 239 197 169 0 50 0
[pid=16506] ppid=16500 vsize=211940 CPUtime=9575.87
/proc/16506/stat : 16506 (minisat_static) R 16500 16500 16154 0 -1 4194304 52178 0 0 0 957499 88 0 0 25 0 1 0 314517739 217026560 52164 1992294400 134512640 135215339 4294956240 18446744073709551615 134538362 0 0 4096 3 0 0 0 17 1 0 0
/proc/16506/statm: 52985 52164 77 171 0 52812 0
Current children cumulated CPU time (s) 9578.83
Current children cumulated vsize (KiB) 217296
[startup+9642.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/66 17000
/proc/meminfo: memFree=1571736/2055920 swapFree=4179860/4192956
[pid=16500] ppid=16498 vsize=5356 CPUtime=2.96
/proc/16500/stat : 16500 (SatELiteGTI) S 16498 16500 16154 0 -1 4194304 336 19457 0 0 0 0 281 15 16 0 1 0 314517441 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16500/statm: 1339 239 197 169 0 50 0
[pid=16506] ppid=16500 vsize=212740 CPUtime=9635.85
/proc/16506/stat : 16506 (minisat_static) R 16500 16500 16154 0 -1 4194304 52348 0 0 0 963497 88 0 0 25 0 1 0 314517739 217845760 52334 1992294400 134512640 135215339 4294956240 18446744073709551615 134538488 0 0 4096 3 0 0 0 17 1 0 0
/proc/16506/statm: 53185 52334 77 171 0 53012 0
Current children cumulated CPU time (s) 9638.81
Current children cumulated vsize (KiB) 218096
[startup+9702.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/66 17000
/proc/meminfo: memFree=1569944/2055920 swapFree=4179860/4192956
[pid=16500] ppid=16498 vsize=5356 CPUtime=2.96
/proc/16500/stat : 16500 (SatELiteGTI) S 16498 16500 16154 0 -1 4194304 336 19457 0 0 0 0 281 15 16 0 1 0 314517441 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16500/statm: 1339 239 197 169 0 50 0
[pid=16506] ppid=16500 vsize=214388 CPUtime=9695.83
/proc/16506/stat : 16506 (minisat_static) R 16500 16500 16154 0 -1 4194304 52767 0 0 0 969494 89 0 0 25 0 1 0 314517739 219533312 52753 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/16506/statm: 53597 52753 77 171 0 53424 0
Current children cumulated CPU time (s) 9698.79
Current children cumulated vsize (KiB) 219744
[startup+9762.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/66 17000
/proc/meminfo: memFree=1568536/2055920 swapFree=4179860/4192956
[pid=16500] ppid=16498 vsize=5356 CPUtime=2.96
/proc/16500/stat : 16500 (SatELiteGTI) S 16498 16500 16154 0 -1 4194304 336 19457 0 0 0 0 281 15 16 0 1 0 314517441 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16500/statm: 1339 239 197 169 0 50 0
[pid=16506] ppid=16500 vsize=215760 CPUtime=9755.81
/proc/16506/stat : 16506 (minisat_static) R 16500 16500 16154 0 -1 4194304 53116 0 0 0 975492 89 0 0 25 0 1 0 314517739 220938240 53102 1992294400 134512640 135215339 4294956240 18446744073709551615 134537869 0 0 4096 3 0 0 0 17 1 0 0
/proc/16506/statm: 53940 53102 77 171 0 53767 0
Current children cumulated CPU time (s) 9758.77
Current children cumulated vsize (KiB) 221116
[startup+9822.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/66 17000
/proc/meminfo: memFree=1567000/2055920 swapFree=4179860/4192956
[pid=16500] ppid=16498 vsize=5356 CPUtime=2.96
/proc/16500/stat : 16500 (SatELiteGTI) S 16498 16500 16154 0 -1 4194304 336 19457 0 0 0 0 281 15 16 0 1 0 314517441 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16500/statm: 1339 239 197 169 0 50 0
[pid=16506] ppid=16500 vsize=217216 CPUtime=9815.79
/proc/16506/stat : 16506 (minisat_static) R 16500 16500 16154 0 -1 4194304 53491 0 0 0 981489 90 0 0 25 0 1 0 314517739 222429184 53477 1992294400 134512640 135215339 4294956240 18446744073709551615 134539403 0 0 4096 3 0 0 0 17 1 0 0
/proc/16506/statm: 54304 53477 77 171 0 54131 0
Current children cumulated CPU time (s) 9818.75
Current children cumulated vsize (KiB) 222572
[startup+9882.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/66 17000
/proc/meminfo: memFree=1565784/2055920 swapFree=4179860/4192956
[pid=16500] ppid=16498 vsize=5356 CPUtime=2.96
/proc/16500/stat : 16500 (SatELiteGTI) S 16498 16500 16154 0 -1 4194304 336 19457 0 0 0 0 281 15 16 0 1 0 314517441 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16500/statm: 1339 239 197 169 0 50 0
[pid=16506] ppid=16500 vsize=218404 CPUtime=9875.77
/proc/16506/stat : 16506 (minisat_static) R 16500 16500 16154 0 -1 4194304 53781 0 0 0 987487 90 0 0 25 0 1 0 314517739 223645696 53767 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/16506/statm: 54601 53767 77 171 0 54428 0
Current children cumulated CPU time (s) 9878.73
Current children cumulated vsize (KiB) 223760
[startup+9942.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/66 17000
/proc/meminfo: memFree=1564888/2055920 swapFree=4179860/4192956
[pid=16500] ppid=16498 vsize=5356 CPUtime=2.96
/proc/16500/stat : 16500 (SatELiteGTI) S 16498 16500 16154 0 -1 4194304 336 19457 0 0 0 0 281 15 16 0 1 0 314517441 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16500/statm: 1339 239 197 169 0 50 0
[pid=16506] ppid=16500 vsize=219244 CPUtime=9935.74
/proc/16506/stat : 16506 (minisat_static) R 16500 16500 16154 0 -1 4194304 54007 0 0 0 993484 90 0 0 25 0 1 0 314517739 224505856 53993 1992294400 134512640 135215339 4294956240 18446744073709551615 134538368 0 0 4096 3 0 0 0 17 1 0 0
/proc/16506/statm: 54811 53993 77 171 0 54638 0
Current children cumulated CPU time (s) 9938.7
Current children cumulated vsize (KiB) 224600
[startup+10002.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/66 17006
/proc/meminfo: memFree=1564120/2055920 swapFree=4179860/4192956
[pid=16500] ppid=16498 vsize=5356 CPUtime=2.96
/proc/16500/stat : 16500 (SatELiteGTI) S 16498 16500 16154 0 -1 4194304 336 19457 0 0 0 0 281 15 16 0 1 0 314517441 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16500/statm: 1339 239 197 169 0 50 0
[pid=16506] ppid=16500 vsize=220036 CPUtime=9995.71
/proc/16506/stat : 16506 (minisat_static) R 16500 16500 16154 0 -1 4194304 54185 0 0 0 999481 90 0 0 25 0 1 0 314517739 225316864 54171 1992294400 134512640 135215339 4294956240 18446744073709551615 134529085 0 0 4096 3 0 0 0 17 1 0 0
/proc/16506/statm: 55009 54171 77 171 0 54836 0
Current children cumulated CPU time (s) 9998.67
Current children cumulated vsize (KiB) 225392
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+10003.7 s]
/proc/loadavg: 1.00 1.00 0.95 2/66 17006
/proc/meminfo: memFree=1564056/2055920 swapFree=4179860/4192956
[pid=16500] ppid=16498 vsize=5356 CPUtime=2.96
/proc/16500/stat : 16500 (SatELiteGTI) S 16498 16500 16154 0 -1 4194304 336 19457 0 0 0 0 281 15 16 0 1 0 314517441 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16500/statm: 1339 239 197 169 0 50 0
[pid=16506] ppid=16500 vsize=220036 CPUtime=9997.12
/proc/16506/stat : 16506 (minisat_static) R 16500 16500 16154 0 -1 4194304 54188 0 0 0 999622 90 0 0 25 0 1 0 314517739 225316864 54174 1992294400 134512640 135215339 4294956240 18446744073709551615 134539307 0 0 4096 3 0 0 0 17 1 0 0
/proc/16506/statm: 55009 54174 77 171 0 54836 0
Current children cumulated CPU time (s) 10000.1
Current children cumulated vsize (KiB) 225392
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+10003.7 s]
/proc/loadavg: 1.00 1.00 0.95 2/66 17006
/proc/meminfo: memFree=1564056/2055920 swapFree=4179860/4192956
[pid=16500] ppid=16498 vsize=5356 CPUtime=2.96
/proc/16500/stat : 16500 (SatELiteGTI) S 16498 16500 16154 0 -1 4194304 336 19457 0 0 0 0 281 15 16 0 1 0 314517441 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16500/statm: 1339 239 197 169 0 50 0
[pid=16506] ppid=16500 vsize=220036 CPUtime=9997.12
/proc/16506/stat : 16506 (minisat_static) R 16500 16500 16154 0 -1 4194304 54188 0 0 0 999622 90 0 0 25 0 1 0 314517739 225316864 54174 1992294400 134512640 135215339 4294956240 18446744073709551615 134539307 0 0 4096 3 0 0 0 17 1 0 0
/proc/16506/statm: 55009 54174 77 171 0 54836 0
Current children cumulated CPU time (s) 10000.1
Current children cumulated vsize (KiB) 225392
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 16500 and gives
# childrusage.ru_utime.tv_sec=2
# childrusage.ru_utime.tv_usec=812572
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=160975
# CPU time returned by wait4() is 2.97355
# while last known CPU time is 10000.1
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 10003.7
CPU time (s): 10000.1
CPU user time (s): 9999.03
CPU system time (s): 1.05
CPU usage (%): 99.9637
Max. virtual memory (cumulated for all children) (KiB): 225392
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.81257
system time used= 0.160975
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19793
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= 12
runsolver used 11.5512 second user time and 24.8602 second system time
The end
Begin job on node66 at 2009-05-21 02:15:11
IDJOB=1837250
IDBENCH=70772
IDSOLVER=674
FILE ID=node66/1837250-1242864910
PBS_JOBID= 9328515
Free space on /tmp= 66388 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/APPLICATIONS/bitverif/countbitsrotate/countbitsrotate128.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1837250-1242864910/watcher-1837250-1242864910 -o /tmp/evaluation-result-1837250-1242864910/solver-1837250-1242864910 -C 10000 -W 12000 -M 1800 SatELiteGTI HOME/instance-1837250-1242864910.cnf
TIME LIMIT= 10000 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= f21954c654ab1cfd9e2c1aa6fdf49c58
RANDOM SEED=869716851
node66.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.263
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 : 5931.00
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.263
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: 1840392 kB
Buffers: 13812 kB
Cached: 157012 kB
SwapCached: 7336 kB
Active: 23156 kB
Inactive: 156548 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1840392 kB
SwapTotal: 4192956 kB
SwapFree: 4179860 kB
Dirty: 8628 kB
Writeback: 0 kB
Mapped: 13980 kB
Slab: 21880 kB
Committed_AS: 1156332 kB
PageTables: 1388 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= 66376 MiB
End job on node66 at 2009-05-21 05:01:56