0.00/0.00 c Parsing...
0.00/0.08 c ==============================================================================
0.00/0.08 c | | ORIGINAL | LEARNT | |
0.00/0.08 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.08 c ==============================================================================
0.00/0.08 c | 0 | 95535 225263 | 28660 0 0 nan | 0.000 % |
1.28/1.35 c | 0 | 58933 176133 | -- 0 -- -- | -- | -36262/-48154
1.28/1.35 c ==============================================================================
1.28/1.35 c Result : #vars: 14170 #clauses: 58933 #literals: 176133
1.28/1.35 c CPU time: 1.3118 s
1.28/1.35 c ==============================================================================
1.38/1.41 c This is MiniSat 2.0 beta
1.38/1.41 c WARNING: for repeatability, setting FPU to use double precision
1.38/1.41 c ============================[ Problem Statistics ]=============================
1.38/1.41 c | |
1.38/1.41 c | Number of variables: 14170 |
1.38/1.41 c | Number of clauses: 58933 |
1.38/1.45 c | Parsing time: 0.04 s |
1.38/1.45 c ============================[ Search Statistics ]==============================
1.38/1.45 c | Conflicts | ORIGINAL | LEARNT | Progress |
1.38/1.45 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
1.38/1.45 c ===============================================================================
1.38/1.45 c | 0 | 14170 58933 176133 | 19644 0 nan | 0.000 % |
1.40/1.64 c | 101 | 14151 58933 176133 | 19644 94 40 | 2.491 % |
1.40/1.96 c | 201 | 13817 57120 171610 | 19644 191 33 | 2.491 % |
2.27/2.31 c | 302 | 13817 57120 171610 | 19644 292 30 | 2.491 % |
2.57/2.62 c | 413 | 13817 57120 171610 | 19644 403 30 | 2.491 % |
2.97/3.01 c | 514 | 13817 57120 171610 | 19644 504 29 | 2.491 % |
3.37/3.47 c | 624 | 13817 57120 171610 | 19644 614 28 | 2.491 % |
3.67/3.72 c | 745 | 13817 57120 171610 | 19644 735 36 | 2.491 % |
3.97/4.01 c | 846 | 13817 57120 171610 | 19644 836 35 | 2.491 % |
4.47/4.51 c | 956 | 13817 57120 171610 | 19644 946 33 | 2.491 % |
4.77/4.80 c | 1078 | 13817 57120 171610 | 19644 1068 33 | 2.491 % |
5.37/5.43 c | 1212 | 13817 57120 171610 | 19644 1202 32 | 2.491 % |
5.87/5.92 c | 1314 | 13817 57120 171610 | 19644 1304 31 | 2.491 % |
6.37/6.41 c | 1425 | 13817 57120 171610 | 19644 1415 30 | 2.491 % |
6.87/6.90 c | 1551 | 13817 57120 171610 | 19644 1541 30 | 2.491 % |
7.37/7.44 c | 1684 | 13817 57120 171610 | 19644 1674 29 | 2.491 % |
7.87/7.91 c | 1830 | 13817 57120 171610 | 19644 1820 29 | 2.491 % |
8.27/8.31 c | 1932 | 13817 57120 171610 | 19644 1922 29 | 2.491 % |
8.77/8.83 c | 2043 | 13817 57120 171610 | 19644 2033 28 | 2.491 % |
8.97/9.01 c | 2164 | 13817 57120 171610 | 19644 2154 29 | 2.491 % |
9.47/9.53 c | 2297 | 13817 57120 171610 | 19644 2287 30 | 2.491 % |
9.97/10.00 c | 2443 | 13817 57120 171610 | 19644 2433 30 | 2.491 % |
10.67/10.76 c | 2604 | 13817 57120 171610 | 19644 2594 29 | 2.491 % |
11.07/11.16 c | 2704 | 13817 57120 171610 | 19644 2694 29 | 2.491 % |
11.36/11.47 c | 2815 | 13817 57120 171610 | 19644 2805 29 | 2.491 % |
11.76/11.82 c | 2937 | 13817 57120 171610 | 19644 2927 29 | 2.491 % |
12.07/12.15 c | 3072 | 13817 57120 171610 | 19644 3062 29 | 2.491 % |
12.26/12.38 c | 3219 | 13817 57120 171610 | 19644 3209 30 | 2.491 % |
12.86/12.90 c | 3379 | 13817 57120 171610 | 19644 3369 31 | 2.491 % |
13.46/13.53 c | 3556 | 13817 57120 171610 | 19644 3546 31 | 2.491 % |
13.86/13.90 c | 3657 | 13817 57120 171610 | 19644 3647 31 | 2.491 % |
14.36/14.43 c | 3768 | 13817 57120 171610 | 19644 3758 30 | 2.491 % |
14.86/14.91 c | 3890 | 13817 57120 171610 | 19644 3880 30 | 2.491 % |
15.46/15.53 c | 4024 | 13817 57120 171610 | 19644 4014 30 | 2.491 % |
15.86/15.91 c | 4171 | 13817 57120 171610 | 19644 4161 30 | 2.491 % |
16.47/16.56 c | 4333 | 13817 57120 171610 | 19644 4323 31 | 2.491 % |
17.06/17.11 c | 4510 | 13817 57120 171610 | 19644 4500 31 | 2.491 % |
17.76/17.83 c | 4704 | 13817 57120 171610 | 19644 4694 30 | 2.491 % |
18.16/18.27 c | 4804 | 13817 57120 171610 | 19644 4794 30 | 2.491 % |
18.67/18.76 c | 4914 | 13817 57120 171610 | 19644 4904 30 | 2.491 % |
19.06/19.11 c | 5036 | 13817 57120 171610 | 19644 5026 30 | 2.491 % |
19.67/19.73 c | 5169 | 13817 57120 171610 | 19644 5159 30 | 2.491 % |
20.16/20.24 c | 5315 | 13817 57120 171610 | 19644 5305 30 | 2.491 % |
20.76/20.85 c | 5476 | 13817 57120 171610 | 19644 5466 30 | 2.491 % |
21.56/21.61 c | 5653 | 13817 57120 171610 | 19644 5643 30 | 2.491 % |
22.56/22.62 c | 5847 | 13817 57120 171610 | 19644 5837 29 | 2.491 % |
23.56/23.62 c | 6059 | 13817 57120 171610 | 19644 6049 29 | 2.491 % |
23.96/24.03 c | 6159 | 13817 57120 171610 | 19644 6149 30 | 2.491 % |
24.26/24.33 c | 6269 | 13817 57120 171610 | 19644 6259 30 | 2.491 % |
24.56/24.66 c | 6391 | 13817 57120 171610 | 19644 6381 30 | 2.491 % |
25.16/25.28 c | 6525 | 13817 57120 171610 | 19644 6515 29 | 2.491 % |
25.76/25.86 c | 6671 | 13817 57120 171610 | 19644 6661 29 | 2.491 % |
26.46/26.58 c | 6832 | 13817 57120 171610 | 19644 6822 29 | 2.491 % |
27.06/27.15 c | 7009 | 13817 57120 171610 | 19644 6999 29 | 2.491 % |
27.46/27.56 c | 7202 | 13817 57120 171610 | 19644 7192 30 | 2.491 % |
28.36/28.41 c | 7414 | 13817 57120 171610 | 19644 7404 30 | 2.491 % |
29.06/29.19 c | 7648 | 13817 57120 171610 | 19644 7638 30 | 2.491 % |
29.36/29.49 c | 7749 | 13817 57120 171610 | 19644 7739 30 | 2.491 % |
29.76/29.89 c | 7859 | 13817 57120 171610 | 19644 7849 30 | 2.491 % |
30.45/30.51 c | 7981 | 13817 57120 171610 | 19644 7971 30 | 2.491 % |
31.05/31.19 c | 8115 | 13817 57120 171610 | 19644 8105 30 | 2.491 % |
31.35/31.45 c | 8262 | 13817 57120 171610 | 19644 8252 30 | 2.491 % |
31.45/31.58 c | 8422 | 13817 57120 171610 | 19644 8412 31 | 2.491 % |
31.95/32.09 c | 8601 | 13817 57120 171610 | 19644 8591 32 | 2.491 % |
32.55/32.68 c | 8794 | 13817 57120 171610 | 19644 8784 32 | 2.491 % |
33.25/33.36 c | 9007 | 13817 57120 171610 | 19644 8997 32 | 2.491 % |
34.35/34.46 c | 9241 | 13817 57120 171610 | 19644 9231 32 | 2.491 % |
35.55/35.69 c | 9497 | 13817 57120 171610 | 19644 9487 31 | 2.491 % |
35.95/36.07 c | 9600 | 13817 57120 171610 | 19644 9590 31 | 2.491 % |
36.45/36.59 c | 9711 | 13817 57120 171610 | 19644 9701 31 | 2.491 % |
36.95/37.06 c | 9833 | 13817 57120 171610 | 19644 9823 31 | 2.491 % |
37.54/37.60 c | 9966 | 13817 57120 171610 | 19644 9956 31 | 2.491 % |
38.14/38.29 c | 10113 | 13817 57120 171610 | 2147483647 10103 31 | 2.491 % |
38.94/39.06 c | 10273 | 13817 57120 171610 | 2147483647 10263 31 | 2.491 % |
39.64/39.77 c | 10449 | 13817 57120 171610 | 2147483647 10439 31 | 2.491 % |
40.44/40.51 c | 10643 | 13817 57120 171610 | 2147483647 10633 31 | 2.491 % |
41.14/41.28 c | 10856 | 13817 57120 171610 | 2147483647 10846 31 | 2.491 % |
42.14/42.23 c | 11090 | 13817 57120 171610 | 2147483647 11080 31 | 2.491 % |
43.24/43.31 c | 11347 | 13817 57120 171610 | 2147483647 11337 31 | 2.491 % |
44.44/44.54 c | 11628 | 13817 57120 171610 | 2147483647 11618 31 | 2.491 % |
44.95/45.06 c | 11729 | 13817 57120 171610 | 2147483647 11719 31 | 2.491 % |
45.34/45.48 c | 11839 | 13817 57120 171610 | 2147483647 11829 31 | 2.491 % |
45.94/46.03 c | 11961 | 13817 57120 171610 | 2147483647 11951 31 | 2.491 % |
46.53/46.63 c | 12095 | 13817 57120 171610 | 2147483647 12085 31 | 2.491 % |
47.14/47.27 c | 12241 | 13817 57120 171610 | 2147483647 12231 31 | 2.491 % |
47.83/47.91 c | 12401 | 13817 57120 171610 | 2147483647 12391 31 | 2.491 % |
48.53/48.61 c | 12577 | 13817 57120 171610 | 2147483647 12567 31 | 2.491 % |
49.23/49.33 c | 12770 | 13817 57120 171610 | 2147483647 12760 31 | 2.491 % |
49.93/50.09 c | 12983 | 13817 57120 171610 | 2147483647 12973 31 | 2.491 % |
51.03/51.15 c | 13216 | 13817 57120 171610 | 2147483647 13206 31 | 2.491 % |
52.33/52.42 c | 13472 | 13817 57120 171610 | 2147483647 13462 31 | 2.491 % |
53.23/53.38 c | 13753 | 13817 57120 171610 | 2147483647 13743 31 | 2.491 % |
54.63/54.72 c | 14063 | 13817 57120 171610 | 2147483647 14053 31 | 2.491 % |
55.03/55.15 c | 14163 | 13817 57120 171610 | 2147483647 14153 31 | 2.491 % |
55.53/55.69 c | 14274 | 13817 57120 171610 | 2147483647 14264 31 | 2.491 % |
56.03/56.17 c | 14395 | 13817 57120 171610 | 2147483647 14385 31 | 2.491 % |
56.63/56.80 c | 14528 | 13817 57120 171610 | 2147483647 14518 31 | 2.491 % |
57.23/57.36 c | 14674 | 13817 57120 171610 | 2147483647 14664 31 | 2.491 % |
57.83/57.91 c | 14834 | 13817 57120 171610 | 2147483647 14824 31 | 2.491 % |
58.53/58.61 c | 15011 | 13817 57120 171610 | 2147483647 15001 31 | 2.491 % |
59.24/59.33 c | 15205 | 13817 57120 171610 | 2147483647 15195 31 | 2.491 % |
60.34/60.43 c | 15418 | 13817 57120 171610 | 2147483647 15408 31 | 2.491 % |
61.54/61.63 c | 15652 | 13817 57120 171610 | 2147483647 15642 31 | 2.491 % |
62.13/62.28 c | 15908 | 13817 57120 171610 | 2147483647 15898 31 | 2.491 % |
63.43/63.56 c | 16190 | 13817 57120 171610 | 2147483647 16180 31 | 2.491 % |
64.53/64.62 c | 16501 | 13817 57120 171610 | 2147483647 16491 31 | 2.491 % |
66.13/66.23 c | 16840 | 13817 57120 171610 | 2147483647 16830 31 | 2.491 % |
66.53/66.65 c | 16941 | 13817 57120 171610 | 2147483647 16931 31 | 2.491 % |
66.94/67.04 c | 17052 | 13817 57120 171610 | 2147483647 17042 31 | 2.491 % |
67.43/67.52 c | 17174 | 13817 57120 171610 | 2147483647 17164 31 | 2.491 % |
67.83/67.99 c | 17309 | 13817 57120 171610 | 2147483647 17299 31 | 2.491 % |
68.73/68.80 c | 17456 | 13817 57120 171610 | 2147483647 17446 31 | 2.491 % |
69.53/69.66 c | 17617 | 13817 57120 171610 | 2147483647 17607 31 | 2.491 % |
70.23/70.36 c | 17795 | 13817 57120 171610 | 2147483647 17785 31 | 2.491 % |
71.13/71.23 c | 17988 | 13817 57120 171610 | 2147483647 17978 31 | 2.491 % |
71.93/72.00 c | 18200 | 13817 57120 171610 | 2147483647 18190 31 | 2.491 % |
72.13/72.22 c | 18433 | 13817 57120 171610 | 2147483647 18423 32 | 2.491 % |
73.13/73.22 c | 18689 | 13817 57120 171610 | 2147483647 18679 32 | 2.491 % |
74.33/74.44 c | 18971 | 13817 57120 171610 | 2147483647 18961 32 | 2.491 % |
75.63/75.74 c | 19281 | 13817 57120 171610 | 2147483647 19271 32 | 2.491 % |
76.73/76.87 c | 19620 | 13817 57120 171610 | 2147483647 19610 32 | 2.491 % |
78.33/78.42 c | 19993 | 13817 57120 171610 | 2147483647 19983 32 | 2.491 % |
78.73/78.83 c | 20094 | 13817 57120 171610 | 2147483647 20084 32 | 2.491 % |
79.03/79.18 c | 20205 | 13817 57120 171610 | 2147483647 20195 32 | 2.491 % |
79.63/79.73 c | 20327 | 13817 57120 171610 | 2147483647 20317 32 | 2.491 % |
80.13/80.27 c | 20461 | 13817 57120 171610 | 2147483647 20451 32 | 2.491 % |
80.73/80.87 c | 20608 | 13817 57120 171610 | 2147483647 20598 32 | 2.491 % |
81.52/81.67 c | 20769 | 13817 57120 171610 | 2147483647 20759 32 | 2.491 % |
82.33/82.46 c | 20946 | 13817 57120 171610 | 2147483647 20936 32 | 2.491 % |
82.72/82.88 c | 21141 | 13817 57120 171610 | 2147483647 21131 32 | 2.491 % |
83.82/83.98 c | 21354 | 13817 57120 171610 | 2147483647 21344 32 | 2.491 % |
85.02/85.13 c | 21588 | 13817 57120 171610 | 2147483647 21578 32 | 2.491 % |
86.32/86.42 c | 21845 | 13817 57120 171610 | 2147483647 21835 32 | 2.491 % |
87.72/87.82 c | 22127 | 13817 57120 171610 | 2147483647 22117 32 | 2.491 % |
89.42/89.58 c | 22436 | 13817 57120 171610 | 2147483647 22426 32 | 2.491 % |
91.31/91.45 c | 22775 | 13817 57120 171610 | 2147483647 22765 31 | 2.491 % |
93.11/93.29 c | 23147 | 13817 57120 171610 | 2147483647 23137 31 | 2.491 % |
95.01/95.14 c | 23556 | 13817 57120 171610 | 2147483647 23546 31 | 2.491 % |
95.41/95.57 c | 23656 | 13817 57120 171610 | 2147483647 23646 31 | 2.491 % |
96.01/96.19 c | 23767 | 13817 57120 171610 | 2147483647 23757 31 | 2.491 % |
96.61/96.78 c | 23890 | 13817 57120 171610 | 2147483647 23880 31 | 2.491 % |
97.31/97.47 c | 24024 | 13817 57120 171610 | 2147483647 24014 31 | 2.491 % |
97.91/98.09 c | 24170 | 13817 57120 171610 | 2147483647 24160 31 | 2.491 % |
98.71/98.82 c | 24330 | 13817 57120 171610 | 2147483647 24320 31 | 2.491 % |
99.61/99.75 c | 24506 | 13817 57120 171610 | 2147483647 24496 31 | 2.491 % |
100.71/100.88 c | 24700 | 13817 57120 171610 | 2147483647 24690 31 | 2.491 % |
101.81/101.99 c | 24913 | 13817 57120 171610 | 2147483647 24903 31 | 2.491 % |
102.91/103.01 c | 25146 | 13817 57120 171610 | 2147483647 25136 31 | 2.491 % |
104.21/104.39 c | 25402 | 13817 57120 171610 | 2147483647 25392 31 | 2.491 % |
105.61/105.70 c | 25683 | 13817 57120 171610 | 2147483647 25673 31 | 2.491 % |
106.90/107.02 c | 25992 | 13817 57120 171610 | 2147483647 25982 31 | 2.491 % |
108.71/108.86 c | 26331 | 13817 57120 171610 | 2147483647 26321 31 | 2.491 % |
110.50/110.69 c | 26703 | 13817 57120 171610 | 2147483647 26693 31 | 2.491 % |
112.50/112.63 c | 27113 | 13817 57120 171610 | 2147483647 27103 31 | 2.491 % |
114.60/114.77 c | 27563 | 13817 57120 171610 | 2147483647 27553 31 | 2.491 % |
115.10/115.26 c | 27665 | 13817 57120 171610 | 2147483647 27655 31 | 2.491 % |
115.60/115.73 c | 27775 | 13817 57120 171610 | 2147483647 27765 31 | 2.491 % |
116.10/116.21 c | 27896 | 13817 57120 171610 | 2147483647 27886 31 | 2.491 % |
116.60/116.70 c | 28030 | 13817 57120 171610 | 2147483647 28020 31 | 2.491 % |
117.20/117.38 c | 28176 | 13817 57120 171610 | 2147483647 28166 31 | 2.491 % |
117.80/117.95 c | 28337 | 13817 57120 171610 | 2147483647 28327 31 | 2.491 % |
118.40/118.58 c | 28514 | 13817 57120 171610 | 2147483647 28504 31 | 2.491 % |
119.20/119.35 c | 28707 | 13817 57120 171610 | 2147483647 28697 31 | 2.491 % |
120.10/120.21 c | 28921 | 13817 57120 171610 | 2147483647 28911 31 | 2.491 % |
121.30/121.41 c | 29154 | 13817 57120 171610 | 2147483647 29144 31 | 2.491 % |
122.40/122.57 c | 29410 | 13817 57120 171610 | 2147483647 29400 31 | 2.491 % |
123.50/123.61 c | 29692 | 13817 57120 171610 | 2147483647 29682 31 | 2.491 % |
125.10/125.22 c | 30001 | 13817 57120 171610 | 2147483647 29991 32 | 2.491 % |
127.00/127.16 c | 30341 | 13817 57120 171610 | 2147483647 30331 32 | 2.491 % |
129.00/129.14 c | 30714 | 13817 57120 171610 | 2147483647 30704 31 | 2.491 % |
131.29/131.46 c | 31123 | 13817 57120 171610 | 2147483647 31113 31 | 2.491 % |
133.49/133.66 c | 31572 | 13817 57120 171610 | 2147483647 31562 31 | 2.491 % |
135.89/136.00 c | 32065 | 13817 57120 171610 | 2147483647 32055 31 | 2.491 % |
136.29/136.41 c | 32165 | 13817 57120 171610 | 2147483647 32155 31 | 2.491 % |
136.79/136.92 c | 32277 | 13817 57120 171610 | 2147483647 32267 31 | 2.491 % |
137.29/137.41 c | 32399 | 13817 57120 171610 | 2147483647 32389 31 | 2.491 % |
137.89/138.00 c | 32533 | 13817 57120 171610 | 2147483647 32523 31 | 2.491 % |
138.29/138.46 c | 32679 | 13817 57120 171610 | 2147483647 32669 31 | 2.491 % |
139.19/139.35 c | 32840 | 13817 57120 171610 | 2147483647 32830 31 | 2.491 % |
140.08/140.24 c | 33016 | 13817 57120 171610 | 2147483647 33006 31 | 2.491 % |
141.08/141.26 c | 33209 | 13817 57120 171610 | 2147483647 33199 31 | 2.491 % |
142.18/142.39 c | 33421 | 13817 57120 171610 | 2147483647 33411 31 | 2.491 % |
142.98/143.16 c | 33654 | 13817 57120 171610 | 2147483647 33644 32 | 2.491 % |
144.38/144.54 c | 33910 | 13817 57120 171610 | 2147483647 33900 32 | 2.491 % |
145.88/146.06 c | 34192 | 13817 57120 171610 | 2147483647 34182 32 | 2.491 % |
147.58/147.78 c | 34501 | 13817 57120 171610 | 2147483647 34491 32 | 2.491 % |
149.08/149.21 c | 34841 | 13817 57120 171610 | 2147483647 34831 32 | 2.491 % |
151.08/151.20 c | 35213 | 13817 57120 171610 | 2147483647 35203 32 | 2.491 % |
153.08/153.26 c | 35622 | 13817 57120 171610 | 2147483647 35612 32 | 2.491 % |
155.28/155.49 c | 36073 | 13817 57120 171610 | 2147483647 36063 32 | 2.491 % |
157.88/158.05 c | 36568 | 13817 57120 171610 | 2147483647 36558 32 | 2.491 % |
159.77/159.92 c | 37111 | 13817 57120 171610 | 2147483647 37101 32 | 2.491 % |
160.17/160.38 c | 37211 | 13817 57120 171610 | 2147483647 37201 32 | 2.491 % |
160.77/160.95 c | 37322 | 13817 57120 171610 | 2147483647 37312 32 | 2.491 % |
161.48/161.62 c | 37443 | 13817 57120 171610 | 2147483647 37433 32 | 2.491 % |
162.17/162.39 c | 37576 | 13817 57120 171610 | 2147483647 37566 32 | 2.491 % |
163.08/163.20 c | 37723 | 13817 57120 171610 | 2147483647 37713 32 | 2.491 % |
164.08/164.23 c | 37884 | 13817 57120 171610 | 2147483647 37874 32 | 2.491 % |
164.38/164.60 c | 38060 | 13817 57120 171610 | 2147483647 38050 32 | 2.491 % |
165.48/165.62 c | 38253 | 13817 57120 171610 | 2147483647 38243 32 | 2.491 % |
166.68/166.86 c | 38465 | 13817 57120 171610 | 2147483647 38455 32 | 2.491 % |
167.88/168.05 c | 38698 | 13817 57120 171610 | 2147483647 38688 32 | 2.491 % |
169.38/169.50 c | 38955 | 13817 57120 171610 | 2147483647 38945 32 | 2.491 % |
170.88/171.01 c | 39237 | 13817 57120 171610 | 2147483647 39227 32 | 2.491 % |
172.48/172.66 c | 39547 | 13817 57120 171610 | 2147483647 39537 32 | 2.491 % |
174.48/174.62 c | 39886 | 13817 57120 171610 | 2147483647 39876 32 | 2.491 % |
176.38/176.58 c | 40258 | 13817 57120 171610 | 2147483647 40248 32 | 2.491 % |
178.48/178.63 c | 40668 | 13817 57120 171610 | 2147483647 40658 32 | 2.491 % |
180.88/181.07 c | 41117 | 13817 57120 171610 | 2147483647 41107 32 | 2.491 % |
183.47/183.66 c | 41612 | 13817 57120 171610 | 2147483647 41602 32 | 2.491 % |
186.27/186.49 c | 42154 | 13817 57120 171610 | 2147483647 42144 32 | 2.491 % |
189.47/189.60 c | 42751 | 13817 57120 171610 | 2147483647 42741 32 | 2.491 % |
189.77/189.92 c | 42851 | 13817 57120 171610 | 2147483647 42841 32 | 2.491 % |
190.27/190.49 c | 42962 | 13817 57120 171610 | 2147483647 42952 32 | 2.491 % |
190.87/191.02 c | 43083 | 13817 57120 171610 | 2147483647 43073 32 | 2.491 % |
191.37/191.52 c | 43216 | 13817 57120 171610 | 2147483647 43206 32 | 2.491 % |
192.27/192.43 c | 43363 | 13817 57120 171610 | 2147483647 43353 32 | 2.491 % |
193.16/193.36 c | 43524 | 13817 57120 171610 | 2147483647 43514 32 | 2.491 % |
194.16/194.32 c | 43701 | 13817 57120 171610 | 2147483647 43691 32 | 2.491 % |
195.16/195.37 c | 43895 | 13817 57120 171610 | 2147483647 43885 32 | 2.491 % |
196.36/196.57 c | 44108 | 13817 57120 171610 | 2147483647 44098 32 | 2.491 % |
197.56/197.74 c | 44342 | 13817 57120 171610 | 2147483647 44332 32 | 2.491 % |
198.87/199.07 c | 44599 | 13817 57120 171610 | 2147483647 44589 32 | 2.491 % |
200.46/200.67 c | 44881 | 13817 57120 171610 | 2147483647 44871 32 | 2.491 % |
201.96/202.20 c | 45190 | 13817 57120 171610 | 2147483647 45180 32 | 2.491 % |
203.86/204.00 c | 45530 | 13817 57120 171610 | 2147483647 45520 32 | 2.491 % |
205.46/205.69 c | 45903 | 13817 57120 171610 | 2147483647 45893 32 | 2.491 % |
207.76/207.94 c | 46313 | 13817 57120 171610 | 2147483647 46303 32 | 2.491 % |
210.16/210.39 c | 46763 | 13817 57120 171610 | 2147483647 46753 32 | 2.491 % |
212.85/213.08 c | 47257 | 13817 57120 171610 | 2147483647 47247 32 | 2.491 % |
216.05/216.22 c | 47799 | 13817 57120 171610 | 2147483647 47789 32 | 2.491 % |
219.45/219.67 c | 48395 | 13817 57120 171610 | 2147483647 48385 32 | 2.491 % |
223.15/223.35 c | 49051 | 13817 57120 171610 | 2147483647 49041 32 | 2.491 % |
223.65/223.84 c | 49151 | 13817 57120 171610 | 2147483647 49141 32 | 2.491 % |
224.35/224.58 c | 49262 | 13817 57120 171610 | 2147483647 49252 32 | 2.491 % |
225.16/225.33 c | 49384 | 13817 57120 171610 | 2147483647 49374 32 | 2.491 % |
225.95/226.12 c | 49518 | 13817 57120 171610 | 2147483647 49508 32 | 2.491 % |
226.95/227.14 c | 49664 | 13817 57120 171610 | 2147483647 49654 32 | 2.491 % |
227.75/227.96 c | 49824 | 13817 57120 171610 | 2147483647 49814 32 | 2.491 % |
228.85/229.00 c | 50001 | 13817 57120 171610 | 2147483647 49991 32 | 2.491 % |
230.05/230.23 c | 50194 | 13817 57120 171610 | 2147483647 50184 32 | 2.491 % |
231.35/231.54 c | 50406 | 13817 57120 171610 | 2147483647 50396 32 | 2.491 % |
232.75/232.92 c | 50641 | 13817 57120 171610 | 2147483647 50631 32 | 2.491 % |
234.15/234.37 c | 50897 | 13817 57120 171610 | 2147483647 50887 32 | 2.491 % |
235.04/235.26 c | 51181 | 13817 57120 171610 | 2147483647 51171 32 | 2.491 % |
236.74/236.93 c | 51490 | 13817 57120 171610 | 2147483647 51480 32 | 2.491 % |
238.24/238.48 c | 51830 | 13817 57120 171610 | 2147483647 51820 32 | 2.491 % |
240.44/240.62 c | 52203 | 13817 57120 171610 | 2147483647 52193 32 | 2.491 % |
241.75/242.00 c | 52613 | 13817 57120 171610 | 2147483647 52603 32 | 2.491 % |
243.64/243.90 c | 53063 | 13817 57120 171610 | 2147483647 53053 32 | 2.491 % |
246.54/246.78 c | 53557 | 13817 57120 171610 | 2147483647 53547 32 | 2.491 % |
249.64/249.87 c | 54099 | 13817 57120 171610 | 2147483647 54089 32 | 2.491 % |
253.33/253.57 c | 54695 | 13817 57120 171610 | 2147483647 54685 32 | 2.491 % |
256.93/257.18 c | 55351 | 13817 57120 171610 | 2147483647 55341 32 | 2.491 % |
261.33/261.54 c | 56071 | 13817 57120 171610 | 2147483647 56061 32 | 2.491 % |
262.03/262.23 c | 56172 | 13817 57120 171610 | 2147483647 56162 32 | 2.491 % |
262.74/262.99 c | 56283 | 13817 57120 171610 | 2147483647 56273 32 | 2.491 % |
263.43/263.70 c | 56404 | 13817 57120 171610 | 2147483647 56394 32 | 2.491 % |
264.23/264.40 c | 56537 | 13817 57120 171610 | 2147483647 56527 32 | 2.491 % |
265.03/265.28 c | 56684 | 13817 57120 171610 | 2147483647 56674 32 | 2.491 % |
265.93/266.11 c | 56844 | 13817 57120 171610 | 2147483647 56834 32 | 2.491 % |
266.93/267.17 c | 57021 | 13817 57120 171610 | 2147483647 57011 32 | 2.491 % |
268.03/268.27 c | 57214 | 13817 57120 171610 | 2147483647 57204 32 | 2.491 % |
269.33/269.58 c | 57428 | 13817 57120 171610 | 2147483647 57418 32 | 2.491 % |
270.73/270.98 c | 57662 | 13817 57120 171610 | 2147483647 57652 32 | 2.491 % |
271.82/272.03 c | 57919 | 13817 57120 171610 | 2147483647 57909 32 | 2.491 % |
273.42/273.63 c | 58201 | 13817 57120 171610 | 2147483647 58191 32 | 2.491 % |
275.12/275.34 c | 58511 | 13817 57120 171610 | 2147483647 58501 32 | 2.491 % |
277.22/277.47 c | 58850 | 13817 57120 171610 | 2147483647 58840 32 | 2.491 % |
279.62/279.81 c | 59224 | 13817 57120 171610 | 2147483647 59214 32 | 2.491 % |
282.12/282.35 c | 59633 | 13817 57120 171610 | 2147483647 59623 32 | 2.491 % |
285.12/285.36 c | 60083 | 13817 57120 171610 | 2147483647 60073 32 | 2.491 % |
288.32/288.51 c | 60576 | 13817 57120 171610 | 2147483647 60566 32 | 2.491 % |
291.52/291.74 c | 61118 | 13817 57120 171610 | 2147483647 61108 32 | 2.491 % |
295.63/295.82 c | 61715 | 13817 57120 171610 | 2147483647 61705 32 | 2.491 % |
299.62/299.88 c | 62370 | 13817 57120 171610 | 2147483647 62360 32 | 2.491 % |
304.42/304.61 c | 63091 | 13817 57120 171610 | 2147483647 63081 32 | 2.491 % |
309.42/309.66 c | 63884 | 13817 57120 171610 | 2147483647 63874 32 | 2.491 % |
310.12/310.37 c | 63984 | 13817 57120 171610 | 2147483647 63974 32 | 2.491 % |
310.82/311.03 c | 64095 | 13817 57120 171610 | 2147483647 64085 32 | 2.491 % |
311.52/311.75 c | 64216 | 13817 57120 171610 | 2147483647 64206 32 | 2.491 % |
312.12/312.34 c | 64350 | 13817 57120 171610 | 2147483647 64340 32 | 2.491 % |
313.02/313.23 c | 64496 | 13817 57120 171610 | 2147483647 64486 32 | 2.491 % |
314.12/314.31 c | 64656 | 13817 57120 171610 | 2147483647 64646 32 | 2.491 % |
315.32/315.52 c | 64832 | 13817 57120 171610 | 2147483647 64822 32 | 2.491 % |
316.71/316.99 c | 65026 | 13817 57120 171610 | 2147483647 65016 32 | 2.491 % |
318.11/318.39 c | 65238 | 13817 57120 171610 | 2147483647 65228 32 | 2.491 % |
319.61/319.87 c | 65473 | 13817 57120 171610 | 2147483647 65463 32 | 2.491 % |
321.01/321.28 c | 65730 | 13817 57120 171610 | 2147483647 65720 32 | 2.491 % |
322.81/323.08 c | 66012 | 13817 57120 171610 | 2147483647 66002 32 | 2.491 % |
324.90/325.16 c | 66324 | 13817 57120 171610 | 2147483647 66314 32 | 2.491 % |
327.30/327.55 c | 66665 | 13817 57120 171610 | 2147483647 66655 31 | 2.491 % |
329.71/329.96 c | 67037 | 13817 57120 171610 | 2147483647 67027 31 | 2.491 % |
332.10/332.35 c | 67448 | 13817 57120 171610 | 2147483647 67438 32 | 2.491 % |
334.60/334.86 c | 67897 | 13817 57120 171610 | 2147483647 67887 32 | 2.491 % |
337.40/337.64 c | 68390 | 13817 57120 171610 | 2147483647 68380 32 | 2.491 % |
340.60/340.88 c | 68934 | 13817 57120 171610 | 2147483647 68924 32 | 2.491 % |
344.20/344.45 c | 69531 | 13817 57120 171610 | 2147483647 69521 32 | 2.491 % |
348.59/348.87 c | 70187 | 13817 57120 171610 | 2147483647 70177 32 | 2.491 % |
352.99/353.22 c | 70907 | 13817 57120 171610 | 2147483647 70897 32 | 2.491 % |
357.39/357.60 c | 71699 | 13817 57120 171610 | 2147483647 71689 32 | 2.491 % |
362.08/362.34 c | 72571 | 13817 57120 171610 | 2147483647 72561 32 | 2.491 % |
362.38/362.63 c | 72672 | 13817 57120 171610 | 2147483647 72662 32 | 2.491 % |
362.88/363.15 c | 72783 | 13817 57120 171610 | 2147483647 72773 33 | 2.491 % |
363.68/363.90 c | 72904 | 13817 57120 171610 | 2147483647 72894 33 | 2.491 % |
364.08/364.39 c | 73038 | 13817 57120 171610 | 2147483647 73028 33 | 2.491 % |
364.99/365.23 c | 73186 | 13817 57120 171610 | 2147483647 73176 33 | 2.491 % |
365.99/366.30 c | 73346 | 13817 57120 171610 | 2147483647 73336 33 | 2.491 % |
367.19/367.44 c | 73522 | 13817 57120 171610 | 2147483647 73512 33 | 2.491 % |
368.48/368.72 c | 73715 | 13817 57120 171610 | 2147483647 73705 33 | 2.491 % |
369.98/370.22 c | 73927 | 13817 57120 171610 | 2147483647 73917 33 | 2.491 % |
371.68/371.93 c | 74161 | 13817 57120 171610 | 2147483647 74151 32 | 2.491 % |
373.48/373.74 c | 74418 | 13817 57120 171610 | 2147483647 74408 32 | 2.491 % |
375.59/375.82 c | 74700 | 13817 57120 171610 | 2147483647 74690 32 | 2.491 % |
377.59/377.80 c | 75011 | 13817 57120 171610 | 2147483647 75001 32 | 2.491 % |
378.99/379.29 c | 75352 | 13817 57120 171610 | 2147483647 75342 32 | 2.491 % |
381.19/381.49 c | 75726 | 13817 57120 171610 | 2147483647 75716 32 | 2.491 % |
383.88/384.15 c | 76136 | 13817 57120 171610 | 2147483647 76126 32 | 2.491 % |
386.99/387.27 c | 76585 | 13817 57120 171610 | 2147483647 76575 32 | 2.491 % |
390.38/390.67 c | 77079 | 13817 57120 171610 | 2147483647 77069 32 | 2.491 % |
393.68/393.91 c | 77622 | 13817 57120 171610 | 2147483647 77612 32 | 2.491 % |
397.48/397.70 c | 78219 | 13817 57120 171610 | 2147483647 78209 32 | 2.491 % |
401.98/402.24 c | 78874 | 13817 57120 171610 | 2147483647 78864 32 | 2.491 % |
405.87/406.19 c | 79595 | 13817 57120 171610 | 2147483647 79585 33 | 2.491 % |
411.07/411.31 c | 80387 | 13817 57120 171610 | 2147483647 80377 33 | 2.491 % |
416.97/417.27 c | 81258 | 13817 57120 171610 | 2147483647 81248 33 | 2.491 % |
423.66/423.91 c | 82217 | 13817 57120 171610 | 2147483647 82207 33 | 2.491 % |
424.37/424.67 c | 82318 | 13817 57120 171610 | 2147483647 82308 33 | 2.491 % |
425.26/425.51 c | 82428 | 13817 57120 171610 | 2147483647 82418 33 | 2.491 % |
425.86/426.12 c | 82550 | 13817 57120 171610 | 2147483647 82540 33 | 2.491 % |
426.86/427.12 c | 82684 | 13817 57120 171610 | 2147483647 82674 33 | 2.491 % |
427.86/428.10 c | 82831 | 13817 57120 171610 | 2147483647 82821 33 | 2.491 % |
429.06/429.32 c | 82992 | 13817 57120 171610 | 2147483647 82982 33 | 2.491 % |
430.06/430.39 c | 83169 | 13817 57120 171610 | 2147483647 83159 33 | 2.491 % |
430.76/431.09 c | 83362 | 13817 57120 171610 | 2147483647 83352 33 | 2.491 % |
432.36/432.67 c | 83576 | 13817 57120 171610 | 2147483647 83566 33 | 2.491 % |
434.16/434.48 c | 83809 | 13817 57120 171610 | 2147483647 83799 33 | 2.491 % |
435.86/436.16 c | 84065 | 13817 57120 171610 | 2147483647 84055 33 | 2.491 % |
437.86/438.14 c | 84346 | 13817 57120 171610 | 2147483647 84336 33 | 2.491 % |
440.05/440.34 c | 84656 | 13817 57120 171610 | 2147483647 84646 33 | 2.491 % |
440.95/441.23 c | 84995 | 13817 57120 171610 | 2147483647 84985 33 | 2.491 % |
443.55/443.85 c | 85367 | 13817 57120 171610 | 2147483647 85357 33 | 2.491 % |
445.85/446.10 c | 85777 | 13817 57120 171610 | 2147483647 85767 33 | 2.491 % |
449.25/449.59 c | 86227 | 13817 57120 171610 | 2147483647 86217 33 | 2.491 % |
452.55/452.85 c | 86720 | 13817 57120 171610 | 2147483647 86710 33 | 2.491 % |
456.35/456.61 c | 87262 | 13817 57120 171610 | 2147483647 87252 33 | 2.491 % |
460.55/460.85 c | 87858 | 13817 57120 171610 | 2147483647 87848 33 | 2.491 % |
464.95/465.21 c | 88513 | 13817 57120 171610 | 2147483647 88503 33 | 2.491 % |
470.14/470.44 c | 89233 | 13817 57120 171610 | 2147483647 89223 33 | 2.491 % |
475.84/476.16 c | 90026 | 13817 57120 171610 | 2147483647 90016 33 | 2.491 % |
482.14/482.46 c | 90899 | 13817 57120 171610 | 2147483647 90889 33 | 2.491 % |
489.24/489.55 c | 91858 | 13817 57120 171610 | 2147483647 91848 33 | 2.491 % |
496.72/497.01 c | 92911 | 13817 57120 171610 | 2147483647 92901 33 | 2.491 % |
497.52/497.84 c | 93012 | 13817 57120 171610 | 2147483647 93002 33 | 2.491 % |
498.33/498.65 c | 93124 | 13817 57120 171610 | 2147483647 93114 33 | 2.491 % |
499.32/499.60 c | 93246 | 13817 57120 171610 | 2147483647 93236 33 | 2.491 % |
500.02/500.38 c | 93380 | 13817 57120 171610 | 2147483647 93370 33 | 2.491 % |
501.12/501.42 c | 93527 | 13817 57120 171610 | 2147483647 93517 33 | 2.491 % |
502.22/502.55 c | 93687 | 13817 57120 171610 | 2147483647 93677 33 | 2.491 % |
503.43/503.75 c | 93863 | 13817 57120 171610 | 2147483647 93853 33 | 2.491 % |
504.43/504.70 c | 94056 | 13817 57120 171610 | 2147483647 94046 33 | 2.491 % |
505.53/505.88 c | 94269 | 13817 57120 171610 | 2147483647 94259 33 | 2.491 % |
507.13/507.47 c | 94502 | 13817 57120 171610 | 2147483647 94492 33 | 2.491 % |
508.53/508.82 c | 94759 | 13817 57120 171610 | 2147483647 94749 33 | 2.491 % |
510.43/510.77 c | 95040 | 13817 57120 171610 | 2147483647 95030 33 | 2.491 % |
512.53/512.87 c | 95349 | 13817 57120 171610 | 2147483647 95339 33 | 2.491 % |
514.83/515.19 c | 95689 | 13817 57120 171610 | 2147483647 95679 33 | 2.491 % |
517.33/517.67 c | 96061 | 13817 57120 171610 | 2147483647 96051 33 | 2.491 % |
520.43/520.71 c | 96471 | 13817 57120 171610 | 2147483647 96461 33 | 2.491 % |
523.02/523.35 c | 96921 | 13817 57120 171610 | 2147483647 96911 33 | 2.491 % |
526.63/526.92 c | 97414 | 13817 57120 171610 | 2147483647 97404 33 | 2.491 % |
530.22/530.60 c | 97957 | 13817 57120 171610 | 2147483647 97947 33 | 2.491 % |
534.62/534.96 c | 98554 | 13817 57120 171610 | 2147483647 98544 33 | 2.491 % |
539.62/539.91 c | 99209 | 13817 57120 171610 | 2147483647 99199 33 | 2.491 % |
545.22/545.54 c | 99930 | 13817 57120 171610 | 2147483647 99920 33 | 2.491 % |
551.31/551.65 c | 100722 | 13817 57120 171610 | 2147483647 100712 33 | 2.491 % |
557.91/558.20 c | 101593 | 13817 57120 171610 | 2147483647 101583 33 | 2.491 % |
564.91/565.24 c | 102551 | 13817 57120 171610 | 2147483647 102541 33 | 2.491 % |
572.91/573.24 c | 103604 | 13817 57120 171610 | 2147483647 103594 33 | 2.491 % |
581.70/582.02 c | 104763 | 13817 57120 171610 | 2147483647 104753 33 | 2.491 % |
582.50/582.82 c | 104865 | 13817 57120 171610 | 2147483647 104855 33 | 2.491 % |
583.30/583.68 c | 104975 | 13817 57120 171610 | 2147483647 104965 33 | 2.491 % |
584.30/584.68 c | 105097 | 13817 57120 171610 | 2147483647 105087 33 | 2.491 % |
585.40/585.70 c | 105230 | 13817 57120 171610 | 2147483647 105220 33 | 2.491 % |
586.60/586.92 c | 105377 | 13817 57120 171610 | 2147483647 105367 33 | 2.491 % |
587.80/588.12 c | 105538 | 13817 57120 171610 | 2147483647 105528 33 | 2.491 % |
589.00/589.30 c | 105716 | 13817 57120 171610 | 2147483647 105706 33 | 2.491 % |
589.90/590.23 c | 105909 | 13817 57120 171610 | 2147483647 105899 33 | 2.491 % |
590.90/591.25 c | 106123 | 13817 57120 171610 | 2147483647 106113 33 | 2.491 % |
592.50/592.85 c | 106357 | 13817 57120 171610 | 2147483647 106347 33 | 2.491 % |
593.49/593.88 c | 106613 | 13817 57120 171610 | 2147483647 106603 33 | 2.491 % |
595.90/596.25 c | 106895 | 13817 57120 171610 | 2147483647 106885 33 | 2.491 % |
598.19/598.56 c | 107205 | 13817 57120 171610 | 2147483647 107195 33 | 2.491 % |
600.69/601.05 c | 107545 | 13817 57120 171610 | 2147483647 107535 33 | 2.491 % |
603.29/603.65 c | 107917 | 13817 57120 171610 | 2147483647 107907 33 | 2.491 % |
605.19/605.50 c | 108327 | 13817 57120 171610 | 2147483647 108317 33 | 2.491 % |
608.59/608.97 c | 108776 | 13817 57120 171610 | 2147483647 108766 33 | 2.491 % |
612.09/612.43 c | 109270 | 13817 57120 171610 | 2147483647 109260 33 | 2.491 % |
616.18/616.53 c | 109813 | 13817 57120 171610 | 2147483647 109803 33 | 2.491 % |
620.68/621.00 c | 110409 | 13817 57120 171610 | 2147483647 110399 33 | 2.491 % |
625.78/626.12 c | 111065 | 13817 57120 171610 | 2147483647 111055 33 | 2.491 % |
631.17/631.52 c | 111785 | 13817 57120 171610 | 2147483647 111775 33 | 2.491 % |
637.27/637.61 c | 112578 | 13817 57120 171610 | 2147483647 112568 33 | 2.491 % |
644.37/644.70 c | 113450 | 13817 57120 171610 | 2147483647 113440 33 | 2.491 % |
651.27/651.65 c | 114408 | 13817 57120 171610 | 2147483647 114398 33 | 2.491 % |
659.26/659.66 c | 115461 | 13817 57120 171610 | 2147483647 115451 33 | 2.491 % |
667.66/668.08 c | 116619 | 13817 57120 171610 | 2147483647 116609 33 | 2.491 % |
676.16/676.59 c | 117896 | 13817 57120 171610 | 2147483647 117886 33 | 2.491 % |
676.95/677.39 c | 117996 | 13817 57120 171610 | 2147483647 117986 33 | 2.491 % |
677.85/678.26 c | 118107 | 13817 57120 171610 | 2147483647 118097 33 | 2.491 % |
678.85/679.21 c | 118231 | 13817 57120 171610 | 2147483647 118221 33 | 2.491 % |
679.65/680.07 c | 118364 | 13817 57120 171610 | 2147483647 118354 33 | 2.491 % |
680.75/681.14 c | 118511 | 13817 57120 171610 | 2147483647 118501 33 | 2.491 % |
681.95/682.30 c | 118672 | 13817 57120 171610 | 2147483647 118662 33 | 2.491 % |
683.15/683.51 c | 118849 | 13817 57120 171610 | 2147483647 118839 33 | 2.491 % |
684.65/685.01 c | 119043 | 13817 57120 171610 | 2147483647 119033 33 | 2.491 % |
686.35/686.79 c | 119256 | 13817 57120 171610 | 2147483647 119246 33 | 2.491 % |
688.35/688.79 c | 119489 | 13817 57120 171610 | 2147483647 119479 33 | 2.491 % |
690.46/690.85 c | 119746 | 13817 57120 171610 | 2147483647 119736 33 | 2.491 % |
692.25/692.65 c | 120028 | 13817 57120 171610 | 2147483647 120018 33 | 2.491 % |
694.55/694.91 c | 120338 | 13817 57120 171610 | 2147483647 120328 33 | 2.491 % |
697.55/697.95 c | 120678 | 13817 57120 171610 | 2147483647 120668 33 | 2.491 % |
700.35/700.71 c | 121051 | 13817 57120 171610 | 2147483647 121041 33 | 2.491 % |
703.45/703.83 c | 121460 | 13817 57120 171610 | 2147483647 121450 33 | 2.491 % |
707.15/707.53 c | 121911 | 13817 57120 171610 | 2147483647 121901 33 | 2.491 % |
711.14/711.59 c | 122404 | 13817 57120 171610 | 2147483647 122394 33 | 2.491 % |
715.84/716.23 c | 122946 | 13817 57120 171610 | 2147483647 122936 33 | 2.491 % |
720.34/720.79 c | 123542 | 13817 57120 171610 | 2147483647 123532 33 | 2.491 % |
726.13/726.53 c | 124197 | 13817 57120 171610 | 2147483647 124187 33 | 2.491 % |
731.83/732.24 c | 124918 | 13817 57120 171610 | 2147483647 124908 33 | 2.491 % |
737.93/738.39 c | 125711 | 13817 57120 171610 | 2147483647 125701 33 | 2.491 % |
744.72/745.19 c | 126584 | 13817 57120 171610 | 2147483647 126574 33 | 2.491 % |
753.12/753.53 c | 127542 | 13817 57120 171610 | 2147483647 127532 33 | 2.491 % |
762.62/763.02 c | 128595 | 13817 57120 171610 | 2147483647 128585 33 | 2.491 % |
771.21/771.65 c | 129753 | 13817 57120 171610 | 2147483647 129743 33 | 2.491 % |
782.31/782.72 c | 131026 | 13817 57120 171610 | 2147483647 131016 33 | 2.491 % |
794.10/794.54 c | 132427 | 13817 57120 171610 | 2147483647 132417 33 | 2.491 % |
794.91/795.38 c | 132527 | 13817 57120 171610 | 2147483647 132517 33 | 2.491 % |
795.70/796.17 c | 132638 | 13817 57120 171610 | 2147483647 132628 33 | 2.491 % |
796.70/797.15 c | 132759 | 13817 57120 171610 | 2147483647 132749 33 | 2.491 % |
797.90/798.32 c | 132892 | 13817 57120 171610 | 2147483647 132882 33 | 2.491 % |
799.10/799.59 c | 133038 | 13817 57120 171610 | 2147483647 133028 33 | 2.491 % |
800.70/801.12 c | 133199 | 13817 57120 171610 | 2147483647 133189 33 | 2.491 % |
802.00/802.47 c | 133375 | 13817 57120 171610 | 2147483647 133365 33 | 2.491 % |
803.60/804.06 c | 133568 | 13817 57120 171610 | 2147483647 133558 33 | 2.491 % |
805.50/805.99 c | 133780 | 13817 57120 171610 | 2147483647 133770 33 | 2.491 % |
807.70/808.15 c | 134014 | 13817 57120 171610 | 2147483647 134004 33 | 2.491 % |
810.00/810.47 c | 134271 | 13817 57120 171610 | 2147483647 134261 33 | 2.491 % |
812.40/812.82 c | 134553 | 13817 57120 171610 | 2147483647 134543 33 | 2.491 % |
815.19/815.68 c | 134863 | 13817 57120 171610 | 2147483647 134853 33 | 2.491 % |
817.99/818.48 c | 135203 | 13817 57120 171610 | 2147483647 135193 33 | 2.491 % |
821.09/821.52 c | 135575 | 13817 57120 171610 | 2147483647 135565 33 | 2.491 % |
824.49/824.99 c | 135985 | 13817 57120 171610 | 2147483647 135975 33 | 2.491 % |
828.69/829.16 c | 136435 | 13817 57120 171610 | 2147483647 136425 33 | 2.491 % |
833.29/833.71 c | 136928 | 13817 57120 171610 | 2147483647 136918 33 | 2.491 % |
838.18/838.63 c | 137470 | 13817 57120 171610 | 2147483647 137460 32 | 2.491 % |
843.58/844.07 c | 138067 | 13817 57120 171610 | 2147483647 138057 32 | 2.491 % |
849.08/849.59 c | 138722 | 13817 57120 171610 | 2147483647 138712 32 | 2.491 % |
855.38/855.87 c | 139442 | 13817 57120 171610 | 2147483647 139432 32 | 2.491 % |
862.58/863.05 c | 140235 | 13817 57120 171610 | 2147483647 140225 32 | 2.491 % |
870.28/870.79 c | 141106 | 13817 57120 171610 | 2147483647 141096 32 | 2.491 % |
879.67/880.16 c | 142064 | 13817 57120 171610 | 2147483647 142054 32 | 2.491 % |
888.87/889.33 c | 143117 | 13817 57120 171610 | 2147483647 143107 32 | 2.491 % |
898.77/899.25 c | 144275 | 13817 57120 171610 | 2147483647 144265 32 | 2.491 % |
909.26/909.77 c | 145549 | 13817 57120 171610 | 2147483647 145539 32 | 2.491 % |
922.55/923.04 c | 146949 | 13817 57120 171610 | 2147483647 146939 32 | 2.491 % |
936.45/936.90 c | 148489 | 13817 57120 171610 | 2147483647 148479 32 | 2.491 % |
937.25/937.76 c | 148589 | 13817 57120 171610 | 2147483647 148579 32 | 2.491 % |
938.35/938.81 c | 148699 | 13817 57120 171610 | 2147483647 148689 32 | 2.491 % |
939.45/939.92 c | 148821 | 13817 57120 171610 | 2147483647 148811 32 | 2.491 % |
940.15/940.69 c | 148954 | 13817 57120 171610 | 2147483647 148944 32 | 2.491 % |
941.45/942.00 c | 149100 | 13817 57120 171610 | 2147483647 149090 32 | 2.491 % |
942.95/943.42 c | 149262 | 13817 57120 171610 | 2147483647 149252 32 | 2.491 % |
944.15/944.68 c | 149439 | 13817 57120 171610 | 2147483647 149429 32 | 2.491 % |
946.14/946.61 c | 149632 | 13817 57120 171610 | 2147483647 149622 32 | 2.491 % |
947.94/948.47 c | 149844 | 13817 57120 171610 | 2147483647 149834 32 | 2.491 % |
950.24/950.73 c | 150078 | 13817 57120 171610 | 2147483647 150068 32 | 2.491 % |
952.24/952.79 c | 150334 | 13817 57120 171610 | 2147483647 150324 32 | 2.491 % |
954.84/955.37 c | 150616 | 13817 57120 171610 | 2147483647 150606 32 | 2.491 % |
957.54/958.08 c | 150926 | 13817 57120 171610 | 2147483647 150916 32 | 2.491 % |
960.74/961.29 c | 151265 | 13817 57120 171610 | 2147483647 151255 32 | 2.491 % |
964.24/964.71 c | 151638 | 13817 57120 171610 | 2147483647 151628 32 | 2.491 % |
967.63/968.14 c | 152047 | 13817 57120 171610 | 2147483647 152037 32 | 2.491 % |
971.73/972.21 c | 152497 | 13817 57120 171610 | 2147483647 152487 32 | 2.491 % |
976.03/976.51 c | 152990 | 13817 57120 171610 | 2147483647 152980 32 | 2.491 % |
980.23/980.71 c | 153532 | 13817 57120 171610 | 2147483647 153522 32 | 2.491 % |
985.93/986.44 c | 154128 | 13817 57120 171610 | 2147483647 154118 32 | 2.491 % |
991.52/992.06 c | 154783 | 13817 57120 171610 | 2147483647 154773 32 | 2.491 % |
998.12/998.62 c | 155504 | 13817 57120 171610 | 2147483647 155494 32 | 2.491 % |
1004.82/1005.40 c | 156297 | 13817 57120 171610 | 2147483647 156287 32 | 2.491 % |
1013.02/1013.50 c | 157169 | 13817 57120 171610 | 2147483647 157159 32 | 2.491 % |
1021.32/1021.82 c | 158128 | 13817 57120 171610 | 2147483647 158118 32 | 2.491 % |
1030.71/1031.22 c | 159182 | 13817 57120 171610 | 2147483647 159172 32 | 2.491 % |
1040.01/1040.55 c | 160341 | 13817 57120 171610 | 2147483647 160331 32 | 2.491 % |
1050.11/1050.66 c | 161615 | 13817 57120 171610 | 2147483647 161605 32 | 2.491 % |
1060.00/1060.56 c | 163015 | 13817 57120 171610 | 2147483647 163005 32 | 2.491 % |
1074.60/1075.16 c | 164556 | 13817 57120 171610 | 2147483647 164546 32 | 2.491 % |
1089.69/1090.27 c | 166252 | 13817 57120 171610 | 2147483647 166242 32 | 2.491 % |
1090.39/1090.97 c | 166353 | 13817 57120 171610 | 2147483647 166343 32 | 2.491 % |
1091.39/1091.97 c | 166463 | 13817 57120 171610 | 2147483647 166453 32 | 2.491 % |
1092.38/1092.94 c | 166585 | 13817 57120 171610 | 2147483647 166575 32 | 2.491 % |
1093.78/1094.33 c | 166718 | 13817 57120 171610 | 2147483647 166708 32 | 2.491 % |
1094.99/1095.52 c | 166864 | 13817 57120 171610 | 2147483647 166854 32 | 2.491 % |
1096.68/1097.26 c | 167024 | 13817 57120 171610 | 2147483647 167014 32 | 2.491 % |
1098.68/1099.22 c | 167202 | 13817 57120 171610 | 2147483647 167192 32 | 2.491 % |
1100.59/1101.16 c | 167396 | 13817 57120 171610 | 2147483647 167386 32 | 2.491 % |
1102.48/1103.04 c | 167608 | 13817 57120 171610 | 2147483647 167598 32 | 2.491 % |
1104.08/1104.65 c | 167842 | 13817 57120 171610 | 2147483647 167832 32 | 2.491 % |
1105.99/1106.56 c | 168100 | 13817 57120 171610 | 2147483647 168090 32 | 2.491 % |
1108.18/1108.79 c | 168382 | 13817 57120 171610 | 2147483647 168372 32 | 2.491 % |
1111.28/1111.83 c | 168691 | 13817 57120 171610 | 2147483647 168681 32 | 2.491 % |
1114.48/1115.06 c | 169030 | 13817 57120 171610 | 2147483647 169020 32 | 2.491 % |
1117.88/1118.43 c | 169403 | 13817 57120 171610 | 2147483647 169393 32 | 2.491 % |
1121.87/1122.44 c | 169812 | 13817 57120 171610 | 2147483647 169802 32 | 2.491 % |
1126.36/1126.93 c | 170262 | 13817 57120 171610 | 2147483647 170252 32 | 2.491 % |
1130.76/1131.38 c | 170756 | 13817 57120 171610 | 2147483647 170746 32 | 2.491 % |
1136.16/1136.77 c | 171298 | 13817 57120 171610 | 2147483647 171288 32 | 2.491 % |
1141.66/1142.21 c | 171894 | 13817 57120 171610 | 2147483647 171884 32 | 2.491 % |
1147.46/1148.05 c | 172550 | 13817 57120 171610 | 2147483647 172540 32 | 2.491 % |
1154.36/1154.91 c | 173271 | 13817 57120 171610 | 2147483647 173261 32 | 2.491 % |
1161.25/1161.82 c | 174063 | 13817 57120 171610 | 2147483647 174053 32 | 2.491 % |
1168.45/1169.01 c | 174935 | 13817 57120 171610 | 2147483647 174925 32 | 2.491 % |
1176.84/1177.40 c | 175894 | 13817 57120 171610 | 2147483647 175884 32 | 2.491 % |
1186.14/1186.74 c | 176948 | 13817 57120 171610 | 2147483647 176938 32 | 2.491 % |
1196.24/1196.88 c | 178107 | 13817 57120 171610 | 2147483647 178097 32 | 2.491 % |
1200.04/1200.61 HOME/SatELiteGTI: line 36: 11607 Terminated $MS $TMP.cnf $TMP.result
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1833691-1242824535/watcher-1833691-1242824535 -o /tmp/evaluation-result-1833691-1242824535/solver-1833691-1242824535 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1833691-1242824535.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.06 1.00 1.00 3/64 11601
/proc/meminfo: memFree=1964304/2055920 swapFree=4180320/4192956
[pid=11601] ppid=11599 vsize=5356 CPUtime=0
/proc/11601/stat : 11601 (SatELiteGTI) R 11599 11601 11321 0 -1 4194304 291 249 0 0 0 0 0 0 18 0 1 0 310486742 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 255236172275 0 0 4100 65536 0 0 0 17 0 0 0
/proc/11601/statm: 1339 237 197 169 0 50 0
[startup+0.0969171 s]
/proc/loadavg: 1.06 1.00 1.00 3/64 11601
/proc/meminfo: memFree=1964304/2055920 swapFree=4180320/4192956
[pid=11601] ppid=11599 vsize=5356 CPUtime=0
/proc/11601/stat : 11601 (SatELiteGTI) S 11599 11601 11321 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 310486742 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11601/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.101914 s]
/proc/loadavg: 1.06 1.00 1.00 3/64 11601
/proc/meminfo: memFree=1964304/2055920 swapFree=4180320/4192956
[pid=11601] ppid=11599 vsize=5356 CPUtime=0
/proc/11601/stat : 11601 (SatELiteGTI) S 11599 11601 11321 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 310486742 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11601/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301937 s]
/proc/loadavg: 1.06 1.00 1.00 3/64 11601
/proc/meminfo: memFree=1964304/2055920 swapFree=4180320/4192956
[pid=11601] ppid=11599 vsize=5356 CPUtime=0
/proc/11601/stat : 11601 (SatELiteGTI) S 11599 11601 11321 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 310486742 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11601/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.70198 s]
/proc/loadavg: 1.06 1.00 1.00 3/64 11601
/proc/meminfo: memFree=1964304/2055920 swapFree=4180320/4192956
[pid=11601] ppid=11599 vsize=5356 CPUtime=0
/proc/11601/stat : 11601 (SatELiteGTI) S 11599 11601 11321 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 310486742 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11601/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+1.50111 s]
/proc/loadavg: 1.06 1.00 1.00 2/66 11606
/proc/meminfo: memFree=1946112/2055920 swapFree=4180320/4192956
[pid=11601] ppid=11599 vsize=5356 CPUtime=1.4
/proc/11601/stat : 11601 (SatELiteGTI) S 11599 11601 11321 0 -1 4194304 336 4391 0 0 0 0 136 4 16 0 1 0 310486742 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11601/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 1.4
Current children cumulated vsize (KiB) 5356
[startup+3.10127 s]
/proc/loadavg: 1.06 1.00 1.00 2/66 11607
/proc/meminfo: memFree=1953984/2055920 swapFree=4180320/4192956
[pid=11601] ppid=11599 vsize=5356 CPUtime=1.4
/proc/11601/stat : 11601 (SatELiteGTI) S 11599 11601 11321 0 -1 4194304 336 4391 0 0 0 0 136 4 16 0 1 0 310486742 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11601/statm: 1339 239 197 169 0 50 0
[pid=11607] ppid=11601 vsize=5880 CPUtime=1.67
/proc/11607/stat : 11607 (minisat_static) R 11601 11601 11321 0 -1 4194304 1322 0 0 0 167 0 0 0 25 0 1 0 310486884 6021120 1308 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 0 0 0
/proc/11607/statm: 1470 1308 76 171 0 1297 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 11236
[startup+6.30161 s]
/proc/loadavg: 1.06 1.00 1.00 2/66 11607
/proc/meminfo: memFree=1953600/2055920 swapFree=4180320/4192956
[pid=11601] ppid=11599 vsize=5356 CPUtime=1.4
/proc/11601/stat : 11601 (SatELiteGTI) S 11599 11601 11321 0 -1 4194304 336 4391 0 0 0 0 136 4 16 0 1 0 310486742 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11601/statm: 1339 239 197 169 0 50 0
[pid=11607] ppid=11601 vsize=6144 CPUtime=4.87
/proc/11607/stat : 11607 (minisat_static) R 11601 11601 11321 0 -1 4194304 1362 0 0 0 487 0 0 0 25 0 1 0 310486884 6291456 1348 1992294400 134512640 135215339 4294956240 18446744073709551615 134525090 0 0 4096 3 0 0 0 17 0 0 0
/proc/11607/statm: 1536 1348 76 171 0 1363 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 11500
[startup+12.7013 s]
/proc/loadavg: 1.05 1.00 1.00 2/66 11607
/proc/meminfo: memFree=1953408/2055920 swapFree=4180320/4192956
[pid=11601] ppid=11599 vsize=5356 CPUtime=1.4
/proc/11601/stat : 11601 (SatELiteGTI) S 11599 11601 11321 0 -1 4194304 336 4391 0 0 0 0 136 4 16 0 1 0 310486742 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11601/statm: 1339 239 197 169 0 50 0
[pid=11607] ppid=11601 vsize=6408 CPUtime=11.26
/proc/11607/stat : 11607 (minisat_static) R 11601 11601 11321 0 -1 4194304 1445 0 0 0 1126 0 0 0 25 0 1 0 310486884 6561792 1431 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 0 0 0
/proc/11607/statm: 1602 1431 76 171 0 1429 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 11764
[startup+25.5016 s]
/proc/loadavg: 1.04 1.00 1.00 2/66 11607
/proc/meminfo: memFree=1953024/2055920 swapFree=4180320/4192956
[pid=11601] ppid=11599 vsize=5356 CPUtime=1.4
/proc/11601/stat : 11601 (SatELiteGTI) S 11599 11601 11321 0 -1 4194304 336 4391 0 0 0 0 136 4 16 0 1 0 310486742 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11601/statm: 1339 239 197 169 0 50 0
[pid=11607] ppid=11601 vsize=6972 CPUtime=24.06
/proc/11607/stat : 11607 (minisat_static) R 11601 11601 11321 0 -1 4194304 1571 0 0 0 2406 0 0 0 25 0 1 0 310486884 7139328 1557 1992294400 134512640 135215339 4294956240 18446744073709551615 134529096 0 0 4096 3 0 0 0 17 0 0 0
/proc/11607/statm: 1743 1557 76 171 0 1570 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 12328
[startup+51.1014 s]
/proc/loadavg: 1.03 1.00 1.00 2/66 11607
/proc/meminfo: memFree=1951872/2055920 swapFree=4180320/4192956
[pid=11601] ppid=11599 vsize=5356 CPUtime=1.4
/proc/11601/stat : 11601 (SatELiteGTI) S 11599 11601 11321 0 -1 4194304 336 4391 0 0 0 0 136 4 16 0 1 0 310486742 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11601/statm: 1339 239 197 169 0 50 0
[pid=11607] ppid=11601 vsize=8160 CPUtime=49.63
/proc/11607/stat : 11607 (minisat_static) R 11601 11601 11321 0 -1 4194304 1863 0 0 0 4963 0 0 0 25 0 1 0 310486884 8355840 1849 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/11607/statm: 2040 1849 76 171 0 1867 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 13516
[startup+102.306 s]
/proc/loadavg: 1.01 1.00 1.00 2/66 11607
/proc/meminfo: memFree=1949632/2055920 swapFree=4180320/4192956
[pid=11601] ppid=11599 vsize=5356 CPUtime=1.4
/proc/11601/stat : 11601 (SatELiteGTI) S 11599 11601 11321 0 -1 4194304 336 4391 0 0 0 0 136 4 16 0 1 0 310486742 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11601/statm: 1339 239 197 169 0 50 0
[pid=11607] ppid=11601 vsize=10104 CPUtime=100.81
/proc/11607/stat : 11607 (minisat_static) R 11601 11601 11321 0 -1 4194304 2377 0 0 0 10080 1 0 0 25 0 1 0 310486884 10346496 2363 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 0 0 0
/proc/11607/statm: 2526 2363 76 171 0 2353 0
Current children cumulated CPU time (s) 102.21
Current children cumulated vsize (KiB) 15460
[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11607
/proc/meminfo: memFree=1947328/2055920 swapFree=4180320/4192956
[pid=11601] ppid=11599 vsize=5356 CPUtime=1.4
/proc/11601/stat : 11601 (SatELiteGTI) S 11599 11601 11321 0 -1 4194304 336 4391 0 0 0 0 136 4 16 0 1 0 310486742 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11601/statm: 1339 239 197 169 0 50 0
[pid=11607] ppid=11601 vsize=12476 CPUtime=160.77
/proc/11607/stat : 11607 (minisat_static) R 11601 11601 11321 0 -1 4194304 2931 0 0 0 16076 1 0 0 25 0 1 0 310486884 12775424 2917 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/11607/statm: 3119 2917 76 171 0 2946 0
Current children cumulated CPU time (s) 162.17
Current children cumulated vsize (KiB) 17832
[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11607
/proc/meminfo: memFree=1945344/2055920 swapFree=4180320/4192956
[pid=11601] ppid=11599 vsize=5356 CPUtime=1.4
/proc/11601/stat : 11601 (SatELiteGTI) S 11599 11601 11321 0 -1 4194304 336 4391 0 0 0 0 136 4 16 0 1 0 310486742 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11601/statm: 1339 239 197 169 0 50 0
[pid=11607] ppid=11601 vsize=14416 CPUtime=220.75
/proc/11607/stat : 11607 (minisat_static) R 11601 11601 11321 0 -1 4194304 3403 0 0 0 22073 2 0 0 25 0 1 0 310486884 14761984 3389 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 0 0 0
/proc/11607/statm: 3604 3389 76 171 0 3431 0
Current children cumulated CPU time (s) 222.15
Current children cumulated vsize (KiB) 19772
[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11607
/proc/meminfo: memFree=1943296/2055920 swapFree=4180320/4192956
[pid=11601] ppid=11599 vsize=5356 CPUtime=1.4
/proc/11601/stat : 11601 (SatELiteGTI) S 11599 11601 11321 0 -1 4194304 336 4391 0 0 0 0 136 4 16 0 1 0 310486742 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11601/statm: 1339 239 197 169 0 50 0
[pid=11607] ppid=11601 vsize=16236 CPUtime=280.72
/proc/11607/stat : 11607 (minisat_static) R 11601 11601 11321 0 -1 4194304 3895 0 0 0 28069 3 0 0 25 0 1 0 310486884 16625664 3881 1992294400 134512640 135215339 4294956240 18446744073709551615 134528814 0 0 4096 3 0 0 0 17 0 0 0
/proc/11607/statm: 4059 3881 76 171 0 3886 0
Current children cumulated CPU time (s) 282.12
Current children cumulated vsize (KiB) 21592
[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11607
/proc/meminfo: memFree=1941760/2055920 swapFree=4180320/4192956
[pid=11601] ppid=11599 vsize=5356 CPUtime=1.4
/proc/11601/stat : 11601 (SatELiteGTI) S 11599 11601 11321 0 -1 4194304 336 4391 0 0 0 0 136 4 16 0 1 0 310486742 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11601/statm: 1339 239 197 169 0 50 0
[pid=11607] ppid=11601 vsize=17876 CPUtime=340.7
/proc/11607/stat : 11607 (minisat_static) R 11601 11601 11321 0 -1 4194304 4251 0 0 0 34066 4 0 0 25 0 1 0 310486884 18305024 4237 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 0 0 0
/proc/11607/statm: 4469 4237 76 171 0 4296 0
Current children cumulated CPU time (s) 342.1
Current children cumulated vsize (KiB) 23232
[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11607
/proc/meminfo: memFree=1939840/2055920 swapFree=4180320/4192956
[pid=11601] ppid=11599 vsize=5356 CPUtime=1.4
/proc/11601/stat : 11601 (SatELiteGTI) S 11599 11601 11321 0 -1 4194304 336 4391 0 0 0 0 136 4 16 0 1 0 310486742 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11601/statm: 1339 239 197 169 0 50 0
[pid=11607] ppid=11601 vsize=19784 CPUtime=400.68
/proc/11607/stat : 11607 (minisat_static) R 11601 11601 11321 0 -1 4194304 4721 0 0 0 40063 5 0 0 25 0 1 0 310486884 20258816 4707 1992294400 134512640 135215339 4294956240 18446744073709551615 134529139 0 0 4096 3 0 0 0 17 0 0 0
/proc/11607/statm: 4946 4707 76 171 0 4773 0
Current children cumulated CPU time (s) 402.08
Current children cumulated vsize (KiB) 25140
[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11607
/proc/meminfo: memFree=1937792/2055920 swapFree=4180320/4192956
[pid=11601] ppid=11599 vsize=5356 CPUtime=1.4
################
# More data... #
################
[pid=11607] ppid=11601 vsize=21616 CPUtime=460.64
/proc/11607/stat : 11607 (minisat_static) R 11601 11601 11321 0 -1 4194304 5191 0 0 0 46059 5 0 0 25 0 1 0 310486884 22134784 5177 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/11607/statm: 5404 5177 76 171 0 5231 0
Current children cumulated CPU time (s) 462.04
Current children cumulated vsize (KiB) 26972
[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11607
/proc/meminfo: memFree=1936320/2055920 swapFree=4180320/4192956
[pid=11601] ppid=11599 vsize=5356 CPUtime=1.4
/proc/11601/stat : 11601 (SatELiteGTI) S 11599 11601 11321 0 -1 4194304 336 4391 0 0 0 0 136 4 16 0 1 0 310486742 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11601/statm: 1339 239 197 169 0 50 0
[pid=11607] ppid=11601 vsize=23324 CPUtime=520.63
/proc/11607/stat : 11607 (minisat_static) R 11601 11601 11321 0 -1 4194304 5559 0 0 0 52057 6 0 0 25 0 1 0 310486884 23883776 5545 1992294400 134512640 135215339 4294956240 18446744073709551615 134537919 0 0 4096 3 0 0 0 17 0 0 0
/proc/11607/statm: 5831 5545 76 171 0 5658 0
Current children cumulated CPU time (s) 522.03
Current children cumulated vsize (KiB) 28680
[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11607
/proc/meminfo: memFree=1934976/2055920 swapFree=4180320/4192956
[pid=11601] ppid=11599 vsize=5356 CPUtime=1.4
/proc/11601/stat : 11601 (SatELiteGTI) S 11599 11601 11321 0 -1 4194304 336 4391 0 0 0 0 136 4 16 0 1 0 310486742 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11601/statm: 1339 239 197 169 0 50 0
[pid=11607] ppid=11601 vsize=24540 CPUtime=580.6
/proc/11607/stat : 11607 (minisat_static) R 11601 11601 11321 0 -1 4194304 5878 0 0 0 58054 6 0 0 25 0 1 0 310486884 25128960 5864 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/11607/statm: 6135 5864 76 171 0 5962 0
Current children cumulated CPU time (s) 582
Current children cumulated vsize (KiB) 29896
[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11607
/proc/meminfo: memFree=1933312/2055920 swapFree=4180320/4192956
[pid=11601] ppid=11599 vsize=5356 CPUtime=1.4
/proc/11601/stat : 11601 (SatELiteGTI) S 11599 11601 11321 0 -1 4194304 336 4391 0 0 0 0 136 4 16 0 1 0 310486742 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11601/statm: 1339 239 197 169 0 50 0
[pid=11607] ppid=11601 vsize=25932 CPUtime=640.57
/proc/11607/stat : 11607 (minisat_static) R 11601 11601 11321 0 -1 4194304 6251 0 0 0 64051 6 0 0 25 0 1 0 310486884 26554368 6237 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/11607/statm: 6483 6237 76 171 0 6310 0
Current children cumulated CPU time (s) 641.97
Current children cumulated vsize (KiB) 31288
[startup+702.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11607
/proc/meminfo: memFree=1931776/2055920 swapFree=4180320/4192956
[pid=11601] ppid=11599 vsize=5356 CPUtime=1.4
/proc/11601/stat : 11601 (SatELiteGTI) S 11599 11601 11321 0 -1 4194304 336 4391 0 0 0 0 136 4 16 0 1 0 310486742 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11601/statm: 1339 239 197 169 0 50 0
[pid=11607] ppid=11601 vsize=27472 CPUtime=700.55
/proc/11607/stat : 11607 (minisat_static) R 11601 11601 11321 0 -1 4194304 6609 0 0 0 70048 7 0 0 25 0 1 0 310486884 28131328 6595 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 0 0 0
/proc/11607/statm: 6868 6595 76 171 0 6695 0
Current children cumulated CPU time (s) 701.95
Current children cumulated vsize (KiB) 32828
[startup+762.307 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11607
/proc/meminfo: memFree=1930368/2055920 swapFree=4180320/4192956
[pid=11601] ppid=11599 vsize=5356 CPUtime=1.4
/proc/11601/stat : 11601 (SatELiteGTI) S 11599 11601 11321 0 -1 4194304 336 4391 0 0 0 0 136 4 16 0 1 0 310486742 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11601/statm: 1339 239 197 169 0 50 0
[pid=11607] ppid=11601 vsize=28648 CPUtime=760.52
/proc/11607/stat : 11607 (minisat_static) R 11601 11601 11321 0 -1 4194304 6927 0 0 0 76045 7 0 0 25 0 1 0 310486884 29335552 6913 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/11607/statm: 7162 6913 76 171 0 6989 0
Current children cumulated CPU time (s) 761.92
Current children cumulated vsize (KiB) 34004
[startup+822.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11607
/proc/meminfo: memFree=1929152/2055920 swapFree=4180320/4192956
[pid=11601] ppid=11599 vsize=5356 CPUtime=1.4
/proc/11601/stat : 11601 (SatELiteGTI) S 11599 11601 11321 0 -1 4194304 336 4391 0 0 0 0 136 4 16 0 1 0 310486742 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11601/statm: 1339 239 197 169 0 50 0
[pid=11607] ppid=11601 vsize=29896 CPUtime=820.49
/proc/11607/stat : 11607 (minisat_static) R 11601 11601 11321 0 -1 4194304 7221 0 0 0 82042 7 0 0 25 0 1 0 310486884 30613504 7207 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/11607/statm: 7474 7207 76 171 0 7301 0
Current children cumulated CPU time (s) 821.89
Current children cumulated vsize (KiB) 35252
[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11607
/proc/meminfo: memFree=1928192/2055920 swapFree=4180320/4192956
[pid=11601] ppid=11599 vsize=5356 CPUtime=1.4
/proc/11601/stat : 11601 (SatELiteGTI) S 11599 11601 11321 0 -1 4194304 336 4391 0 0 0 0 136 4 16 0 1 0 310486742 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11601/statm: 1339 239 197 169 0 50 0
[pid=11607] ppid=11601 vsize=31016 CPUtime=880.47
/proc/11607/stat : 11607 (minisat_static) R 11601 11601 11321 0 -1 4194304 7447 0 0 0 88039 8 0 0 25 0 1 0 310486884 31760384 7433 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/11607/statm: 7754 7433 76 171 0 7581 0
Current children cumulated CPU time (s) 881.87
Current children cumulated vsize (KiB) 36372
[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11607
/proc/meminfo: memFree=1926720/2055920 swapFree=4180320/4192956
[pid=11601] ppid=11599 vsize=5356 CPUtime=1.4
/proc/11601/stat : 11601 (SatELiteGTI) S 11599 11601 11321 0 -1 4194304 336 4391 0 0 0 0 136 4 16 0 1 0 310486742 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11601/statm: 1339 239 197 169 0 50 0
[pid=11607] ppid=11601 vsize=32500 CPUtime=940.45
/proc/11607/stat : 11607 (minisat_static) R 11601 11601 11321 0 -1 4194304 7781 0 0 0 94037 8 0 0 25 0 1 0 310486884 33280000 7767 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/11607/statm: 8125 7767 76 171 0 7952 0
Current children cumulated CPU time (s) 941.85
Current children cumulated vsize (KiB) 37856
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11607
/proc/meminfo: memFree=1925824/2055920 swapFree=4180320/4192956
[pid=11601] ppid=11599 vsize=5356 CPUtime=1.4
/proc/11601/stat : 11601 (SatELiteGTI) S 11599 11601 11321 0 -1 4194304 336 4391 0 0 0 0 136 4 16 0 1 0 310486742 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11601/statm: 1339 239 197 169 0 50 0
[pid=11607] ppid=11601 vsize=33336 CPUtime=1000.42
/proc/11607/stat : 11607 (minisat_static) R 11601 11601 11321 0 -1 4194304 7988 0 0 0 100034 8 0 0 25 0 1 0 310486884 34136064 7974 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/11607/statm: 8334 7974 76 171 0 8161 0
Current children cumulated CPU time (s) 1001.82
Current children cumulated vsize (KiB) 38692
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11607
/proc/meminfo: memFree=1924480/2055920 swapFree=4180320/4192956
[pid=11601] ppid=11599 vsize=5356 CPUtime=1.4
/proc/11601/stat : 11601 (SatELiteGTI) S 11599 11601 11321 0 -1 4194304 336 4391 0 0 0 0 136 4 16 0 1 0 310486742 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11601/statm: 1339 239 197 169 0 50 0
[pid=11607] ppid=11601 vsize=34672 CPUtime=1060.4
/proc/11607/stat : 11607 (minisat_static) R 11601 11601 11321 0 -1 4194304 8310 0 0 0 106031 9 0 0 25 0 1 0 310486884 35504128 8296 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/11607/statm: 8668 8296 76 171 0 8495 0
Current children cumulated CPU time (s) 1061.8
Current children cumulated vsize (KiB) 40028
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11607
/proc/meminfo: memFree=1923136/2055920 swapFree=4180320/4192956
[pid=11601] ppid=11599 vsize=5356 CPUtime=1.4
/proc/11601/stat : 11601 (SatELiteGTI) S 11599 11601 11321 0 -1 4194304 336 4391 0 0 0 0 136 4 16 0 1 0 310486742 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11601/statm: 1339 239 197 169 0 50 0
[pid=11607] ppid=11601 vsize=35868 CPUtime=1120.37
/proc/11607/stat : 11607 (minisat_static) R 11601 11601 11321 0 -1 4194304 8612 0 0 0 112028 9 0 0 25 0 1 0 310486884 36728832 8598 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/11607/statm: 8967 8598 76 171 0 8794 0
Current children cumulated CPU time (s) 1121.77
Current children cumulated vsize (KiB) 41224
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11607
/proc/meminfo: memFree=1921920/2055920 swapFree=4180320/4192956
[pid=11601] ppid=11599 vsize=5356 CPUtime=1.4
/proc/11601/stat : 11601 (SatELiteGTI) S 11599 11601 11321 0 -1 4194304 336 4391 0 0 0 0 136 4 16 0 1 0 310486742 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11601/statm: 1339 239 197 169 0 50 0
[pid=11607] ppid=11601 vsize=36988 CPUtime=1180.34
/proc/11607/stat : 11607 (minisat_static) R 11601 11601 11321 0 -1 4194304 8896 0 0 0 118025 9 0 0 25 0 1 0 310486884 37875712 8882 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 0 0 0
/proc/11607/statm: 9247 8882 76 171 0 9074 0
Current children cumulated CPU time (s) 1181.74
Current children cumulated vsize (KiB) 42344
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11607
/proc/meminfo: memFree=1921600/2055920 swapFree=4180320/4192956
[pid=11601] ppid=11599 vsize=5356 CPUtime=1.4
/proc/11601/stat : 11601 (SatELiteGTI) S 11599 11601 11321 0 -1 4194304 336 4391 0 0 0 0 136 4 16 0 1 0 310486742 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11601/statm: 1339 239 197 169 0 50 0
[pid=11607] ppid=11601 vsize=37252 CPUtime=1198.64
/proc/11607/stat : 11607 (minisat_static) R 11601 11601 11321 0 -1 4194304 8974 0 0 0 119855 9 0 0 25 0 1 0 310486884 38146048 8960 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 0 0 0
/proc/11607/statm: 9313 8960 76 171 0 9140 0
Current children cumulated CPU time (s) 1200.04
Current children cumulated vsize (KiB) 42608
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.62
CPU time (s): 1200.07
CPU user time (s): 1199.92
CPU system time (s): 0.148977
CPU usage (%): 99.9544
Max. virtual memory (cumulated for all children) (KiB): 42608
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.92
system time used= 0.148977
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13710
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= 24
involuntary context switches= 4599
runsolver used 0.932858 second user time and 3.50647 second system time
The end
Begin job on node19 at 2009-05-20 15:02:15
IDJOB=1833691
IDBENCH=70874
IDSOLVER=671
FILE ID=node19/1833691-1242824535
PBS_JOBID= 9322508
Free space on /tmp= 66268 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/APPLICATIONS/crypto/desgen/gss-24-s100.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1833691-1242824535/watcher-1833691-1242824535 -o /tmp/evaluation-result-1833691-1242824535/solver-1833691-1242824535 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1833691-1242824535.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 107f2922072d64498e09af3270c7b9c3
RANDOM SEED=525149188
node19.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.236
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.236
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: 1964848 kB
Buffers: 16224 kB
Cached: 39184 kB
SwapCached: 6676 kB
Active: 29604 kB
Inactive: 34044 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1964848 kB
SwapTotal: 4192956 kB
SwapFree: 4180320 kB
Dirty: 3184 kB
Writeback: 0 kB
Mapped: 13380 kB
Slab: 13476 kB
Committed_AS: 1054984 kB
PageTables: 1456 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= 66260 MiB
End job on node19 at 2009-05-20 15:22:17