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 | 95200 224450 | 28559 0 0 nan | 0.000 % |
1.28/1.36 c | 0 | 58435 174205 | -- 0 -- -- | -- | -36425/-49269
1.28/1.36 c ==============================================================================
1.28/1.36 c Result : #vars: 14053 #clauses: 58435 #literals: 174205
1.28/1.36 c CPU time: 1.3298 s
1.28/1.36 c ==============================================================================
1.38/1.42 c This is MiniSat 2.0 beta
1.38/1.42 c WARNING: for repeatability, setting FPU to use double precision
1.38/1.42 c ============================[ Problem Statistics ]=============================
1.38/1.42 c | |
1.38/1.43 c | Number of variables: 14053 |
1.38/1.43 c | Number of clauses: 58435 |
1.38/1.46 c | Parsing time: 0.03 s |
1.38/1.46 c ============================[ Search Statistics ]==============================
1.38/1.46 c | Conflicts | ORIGINAL | LEARNT | Progress |
1.38/1.46 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
1.38/1.46 c ===============================================================================
1.38/1.46 c | 0 | 14053 58435 174205 | 19478 0 nan | 0.000 % |
1.41/1.60 c | 100 | 14038 58435 174205 | 19478 94 34 | 1.708 % |
1.41/1.98 c | 200 | 13813 57117 170858 | 19478 191 34 | 1.708 % |
2.27/2.36 c | 300 | 13813 57117 170858 | 19478 291 29 | 1.708 % |
2.77/2.87 c | 411 | 13813 57117 170858 | 19478 402 26 | 1.708 % |
3.17/3.27 c | 511 | 13813 57117 170858 | 19478 502 25 | 1.708 % |
3.67/3.73 c | 621 | 13813 57117 170858 | 19478 612 24 | 1.708 % |
3.87/3.94 c | 742 | 13813 57117 170858 | 19478 733 28 | 1.708 % |
4.07/4.14 c | 842 | 13813 57117 170858 | 19478 833 32 | 1.708 % |
4.17/4.21 c | 952 | 13813 57117 170858 | 19478 943 36 | 1.708 % |
4.17/4.30 c | 1073 | 13813 57117 170858 | 19478 1064 39 | 1.708 % |
4.37/4.47 c | 1206 | 13767 56905 170377 | 19478 1196 39 | 2.035 % |
4.77/4.84 c | 1307 | 13767 56905 170377 | 19478 1297 41 | 2.035 % |
5.17/5.27 c | 1418 | 13767 56905 170377 | 19478 1408 40 | 2.035 % |
5.67/5.77 c | 1540 | 13767 56905 170377 | 19478 1530 39 | 2.035 % |
6.27/6.32 c | 1673 | 13767 56905 170377 | 19478 1663 38 | 2.035 % |
6.77/6.86 c | 1819 | 13767 56905 170377 | 19478 1809 37 | 2.035 % |
7.27/7.36 c | 1920 | 13767 56905 170377 | 19478 1910 36 | 2.035 % |
7.67/7.74 c | 2031 | 13767 56905 170377 | 19478 2021 35 | 2.035 % |
8.27/8.34 c | 2153 | 13767 56905 170377 | 19478 2143 35 | 2.035 % |
8.87/8.99 c | 2286 | 13767 56905 170377 | 19478 2276 34 | 2.035 % |
9.47/9.53 c | 2433 | 13767 56905 170377 | 19478 2423 34 | 2.035 % |
10.17/10.26 c | 2596 | 13767 56905 170377 | 19478 2586 33 | 2.035 % |
10.67/10.73 c | 2696 | 13767 56905 170377 | 19478 2686 34 | 2.035 % |
10.97/11.08 c | 2807 | 13767 56905 170377 | 19478 2797 33 | 2.035 % |
11.47/11.52 c | 2928 | 13767 56905 170377 | 19478 2918 33 | 2.035 % |
11.86/11.99 c | 3062 | 13767 56905 170377 | 19478 3052 33 | 2.035 % |
12.26/12.32 c | 3208 | 13767 56905 170377 | 19478 3198 33 | 2.035 % |
12.86/12.92 c | 3369 | 13767 56905 170377 | 19478 3359 33 | 2.035 % |
13.56/13.63 c | 3546 | 13767 56905 170377 | 19478 3536 33 | 2.035 % |
14.06/14.10 c | 3647 | 13767 56905 170377 | 19478 3637 32 | 2.035 % |
14.46/14.59 c | 3758 | 13767 56905 170377 | 19478 3748 32 | 2.035 % |
14.96/15.02 c | 3879 | 13767 56905 170377 | 19478 3869 32 | 2.035 % |
15.46/15.52 c | 4013 | 13767 56905 170377 | 19478 4003 32 | 2.035 % |
15.96/16.06 c | 4159 | 13767 56905 170377 | 19478 4149 32 | 2.035 % |
16.56/16.68 c | 4319 | 13767 56905 170377 | 19478 4309 32 | 2.035 % |
17.47/17.60 c | 4496 | 13767 56905 170377 | 19478 4486 31 | 2.035 % |
18.26/18.31 c | 4689 | 13767 56905 170377 | 19478 4679 31 | 2.035 % |
18.76/18.81 c | 4790 | 13767 56905 170377 | 19478 4780 31 | 2.035 % |
19.16/19.29 c | 4902 | 13767 56905 170377 | 19478 4892 31 | 2.035 % |
19.66/19.70 c | 5024 | 13767 56905 170377 | 19478 5014 31 | 2.035 % |
20.06/20.19 c | 5157 | 13767 56905 170377 | 19478 5147 31 | 2.035 % |
20.76/20.81 c | 5303 | 13767 56905 170377 | 19478 5293 31 | 2.035 % |
21.46/21.51 c | 5463 | 13767 56905 170377 | 19478 5453 31 | 2.035 % |
22.26/22.31 c | 5639 | 13767 56905 170377 | 19478 5629 30 | 2.035 % |
23.06/23.19 c | 5833 | 13767 56905 170377 | 19478 5823 30 | 2.035 % |
24.06/24.16 c | 6045 | 13767 56905 170377 | 19478 6035 30 | 2.035 % |
24.56/24.65 c | 6146 | 13767 56905 170377 | 19478 6136 30 | 2.035 % |
25.16/25.21 c | 6257 | 13767 56905 170377 | 19478 6247 30 | 2.035 % |
25.66/25.74 c | 6378 | 13767 56905 170377 | 19478 6368 29 | 2.035 % |
26.16/26.24 c | 6511 | 13767 56905 170377 | 19478 6501 29 | 2.035 % |
26.86/26.90 c | 6658 | 13767 56905 170377 | 19478 6648 29 | 2.035 % |
27.46/27.52 c | 6818 | 13767 56905 170377 | 19478 6808 29 | 2.035 % |
27.85/27.91 c | 6995 | 13767 56905 170377 | 19478 6985 30 | 2.035 % |
28.75/28.80 c | 7188 | 13716 56688 169877 | 19478 7175 30 | 2.398 % |
29.66/29.78 c | 7400 | 13716 56688 169877 | 19478 7387 29 | 2.398 % |
30.76/30.80 c | 7633 | 13716 56688 169877 | 19478 7620 29 | 2.398 % |
31.15/31.24 c | 7733 | 13716 56688 169877 | 19478 7720 29 | 2.398 % |
31.65/31.72 c | 7845 | 13716 56688 169877 | 19478 7832 29 | 2.398 % |
32.25/32.35 c | 7966 | 13716 56688 169877 | 19478 7953 29 | 2.398 % |
32.75/32.88 c | 8100 | 13716 56688 169877 | 19478 8087 29 | 2.398 % |
33.35/33.49 c | 8246 | 13716 56688 169877 | 19478 8233 29 | 2.398 % |
34.05/34.16 c | 8406 | 13716 56688 169877 | 19478 8393 29 | 2.398 % |
34.85/34.99 c | 8583 | 13716 56688 169877 | 19478 8570 29 | 2.398 % |
35.65/35.77 c | 8777 | 13716 56688 169877 | 19478 8764 29 | 2.398 % |
36.64/36.76 c | 8991 | 13716 56688 169877 | 19478 8978 29 | 2.398 % |
37.74/37.82 c | 9224 | 13667 56476 169393 | 19478 9205 28 | 2.747 % |
38.74/38.88 c | 9481 | 13667 56476 169393 | 19478 9462 28 | 2.747 % |
39.24/39.33 c | 9582 | 13667 56476 169393 | 19478 9563 28 | 2.747 % |
39.74/39.87 c | 9692 | 13667 56476 169393 | 19478 9673 29 | 2.747 % |
40.14/40.27 c | 9813 | 13667 56476 169393 | 19478 9794 29 | 2.747 % |
40.74/40.80 c | 9948 | 13667 56476 169393 | 19478 9929 28 | 2.747 % |
41.25/41.30 c | 10094 | 13667 56476 169393 | 2147483647 10075 29 | 2.747 % |
41.85/41.90 c | 10254 | 13667 56476 169393 | 2147483647 10235 29 | 2.747 % |
42.55/42.66 c | 10431 | 13667 56476 169393 | 2147483647 10412 28 | 2.747 % |
43.25/43.32 c | 10624 | 13667 56476 169393 | 2147483647 10605 28 | 2.747 % |
44.15/44.27 c | 10836 | 13667 56476 169393 | 2147483647 10817 28 | 2.747 % |
45.25/45.33 c | 11071 | 13667 56476 169393 | 2147483647 11052 28 | 2.747 % |
46.35/46.49 c | 11327 | 13667 56476 169393 | 2147483647 11308 28 | 2.747 % |
47.65/47.73 c | 11610 | 13667 56476 169393 | 2147483647 11591 28 | 2.747 % |
48.05/48.17 c | 11711 | 13667 56476 169393 | 2147483647 11692 28 | 2.747 % |
48.45/48.59 c | 11821 | 13667 56476 169393 | 2147483647 11802 28 | 2.747 % |
48.95/49.01 c | 11942 | 13667 56476 169393 | 2147483647 11923 28 | 2.747 % |
49.35/49.47 c | 12077 | 13667 56476 169393 | 2147483647 12058 28 | 2.747 % |
49.95/50.05 c | 12224 | 13667 56476 169393 | 2147483647 12205 28 | 2.747 % |
50.55/50.64 c | 12384 | 13667 56476 169393 | 2147483647 12365 28 | 2.747 % |
51.24/51.38 c | 12560 | 13667 56476 169393 | 2147483647 12541 28 | 2.747 % |
51.94/52.07 c | 12754 | 13667 56476 169393 | 2147483647 12735 28 | 2.747 % |
53.04/53.11 c | 12966 | 13667 56476 169393 | 2147483647 12947 28 | 2.747 % |
54.04/54.17 c | 13199 | 13667 56476 169393 | 2147483647 13180 28 | 2.747 % |
55.24/55.32 c | 13455 | 13667 56476 169393 | 2147483647 13436 28 | 2.747 % |
56.54/56.60 c | 13736 | 13667 56476 169393 | 2147483647 13717 28 | 2.747 % |
57.54/57.64 c | 14047 | 13667 56476 169393 | 2147483647 14028 28 | 2.747 % |
57.94/58.01 c | 14150 | 13667 56476 169393 | 2147483647 14131 28 | 2.747 % |
58.44/58.50 c | 14262 | 13667 56476 169393 | 2147483647 14243 28 | 2.747 % |
58.84/58.90 c | 14384 | 13667 56476 169393 | 2147483647 14365 28 | 2.747 % |
59.24/59.35 c | 14518 | 13667 56476 169393 | 2147483647 14499 28 | 2.747 % |
59.94/60.01 c | 14664 | 13667 56476 169393 | 2147483647 14645 28 | 2.747 % |
60.64/60.74 c | 14825 | 13667 56476 169393 | 2147483647 14806 28 | 2.747 % |
61.44/61.54 c | 15001 | 13667 56476 169393 | 2147483647 14982 28 | 2.747 % |
62.14/62.25 c | 15194 | 13667 56476 169393 | 2147483647 15175 28 | 2.747 % |
62.94/63.05 c | 15407 | 13667 56476 169393 | 2147483647 15388 28 | 2.747 % |
63.34/63.48 c | 15640 | 13667 56476 169393 | 2147483647 15621 29 | 2.747 % |
64.34/64.43 c | 15896 | 13667 56476 169393 | 2147483647 15877 29 | 2.747 % |
65.84/65.99 c | 16178 | 13667 56476 169393 | 2147483647 16159 29 | 2.747 % |
67.14/67.21 c | 16487 | 13667 56476 169393 | 2147483647 16468 29 | 2.747 % |
68.54/68.62 c | 16826 | 13667 56476 169393 | 2147483647 16807 29 | 2.747 % |
69.04/69.13 c | 16927 | 13667 56476 169393 | 2147483647 16908 30 | 2.747 % |
69.54/69.61 c | 17038 | 13667 56476 169393 | 2147483647 17019 30 | 2.747 % |
70.04/70.16 c | 17161 | 13667 56476 169393 | 2147483647 17142 29 | 2.747 % |
70.74/70.81 c | 17294 | 13667 56476 169393 | 2147483647 17275 29 | 2.747 % |
71.34/71.46 c | 17440 | 13667 56476 169393 | 2147483647 17421 29 | 2.747 % |
72.14/72.24 c | 17600 | 13667 56476 169393 | 2147483647 17581 29 | 2.747 % |
72.94/73.08 c | 17777 | 13667 56476 169393 | 2147483647 17758 29 | 2.747 % |
73.94/74.05 c | 17971 | 13667 56476 169393 | 2147483647 17952 29 | 2.747 % |
75.03/75.19 c | 18183 | 13667 56476 169393 | 2147483647 18164 29 | 2.747 % |
76.13/76.27 c | 18416 | 13667 56476 169393 | 2147483647 18397 29 | 2.747 % |
77.53/77.60 c | 18673 | 13667 56476 169393 | 2147483647 18654 29 | 2.747 % |
78.43/78.53 c | 18954 | 13667 56476 169393 | 2147483647 18935 29 | 2.747 % |
79.93/80.07 c | 19263 | 13667 56476 169393 | 2147483647 19244 29 | 2.747 % |
81.73/81.82 c | 19602 | 13667 56476 169393 | 2147483647 19583 29 | 2.747 % |
83.63/83.72 c | 19974 | 13667 56476 169393 | 2147483647 19955 29 | 2.747 % |
83.83/83.95 c | 20074 | 13667 56476 169393 | 2147483647 20055 29 | 2.747 % |
84.33/84.43 c | 20184 | 13667 56476 169393 | 2147483647 20165 29 | 2.747 % |
84.93/85.09 c | 20305 | 13667 56476 169393 | 2147483647 20286 29 | 2.747 % |
85.53/85.66 c | 20438 | 13667 56476 169393 | 2147483647 20419 29 | 2.747 % |
86.13/86.25 c | 20586 | 13667 56476 169393 | 2147483647 20567 29 | 2.747 % |
86.83/86.95 c | 20748 | 13667 56476 169393 | 2147483647 20729 29 | 2.747 % |
87.73/87.81 c | 20925 | 13667 56476 169393 | 2147483647 20906 29 | 2.747 % |
88.83/88.91 c | 21118 | 13667 56476 169393 | 2147483647 21099 29 | 2.747 % |
90.03/90.15 c | 21331 | 13667 56476 169393 | 2147483647 21312 29 | 2.747 % |
91.43/91.56 c | 21564 | 13667 56476 169393 | 2147483647 21545 29 | 2.747 % |
92.73/92.84 c | 21821 | 13667 56476 169393 | 2147483647 21802 29 | 2.747 % |
94.13/94.29 c | 22103 | 13667 56476 169393 | 2147483647 22084 29 | 2.747 % |
95.63/95.74 c | 22413 | 13667 56476 169393 | 2147483647 22394 29 | 2.747 % |
97.22/97.30 c | 22752 | 13667 56476 169393 | 2147483647 22733 29 | 2.747 % |
99.03/99.16 c | 23125 | 13667 56476 169393 | 2147483647 23106 29 | 2.747 % |
100.92/101.06 c | 23535 | 13667 56476 169393 | 2147483647 23516 29 | 2.747 % |
101.42/101.50 c | 23637 | 13667 56476 169393 | 2147483647 23618 29 | 2.747 % |
101.92/102.02 c | 23748 | 13667 56476 169393 | 2147483647 23729 29 | 2.747 % |
102.32/102.48 c | 23869 | 13667 56476 169393 | 2147483647 23850 29 | 2.747 % |
102.82/102.97 c | 24002 | 13667 56476 169393 | 2147483647 23983 29 | 2.747 % |
103.42/103.57 c | 24148 | 13667 56476 169393 | 2147483647 24129 29 | 2.747 % |
104.22/104.33 c | 24308 | 13667 56476 169393 | 2147483647 24289 29 | 2.747 % |
105.02/105.16 c | 24484 | 13667 56476 169393 | 2147483647 24465 29 | 2.747 % |
105.92/106.01 c | 24679 | 13667 56476 169393 | 2147483647 24660 29 | 2.747 % |
106.72/106.82 c | 24891 | 13667 56476 169393 | 2147483647 24872 29 | 2.747 % |
107.82/107.96 c | 25125 | 13667 56476 169393 | 2147483647 25106 29 | 2.747 % |
109.02/109.14 c | 25382 | 13667 56476 169393 | 2147483647 25363 29 | 2.747 % |
110.42/110.51 c | 25664 | 13667 56476 169393 | 2147483647 25645 29 | 2.747 % |
111.92/112.01 c | 25974 | 13667 56476 169393 | 2147483647 25955 29 | 2.747 % |
113.32/113.48 c | 26314 | 13667 56476 169393 | 2147483647 26295 29 | 2.747 % |
115.02/115.14 c | 26686 | 13667 56476 169393 | 2147483647 26667 29 | 2.747 % |
116.52/116.70 c | 27095 | 13667 56476 169393 | 2147483647 27076 29 | 2.747 % |
118.42/118.50 c | 27544 | 13667 56476 169393 | 2147483647 27525 29 | 2.747 % |
118.82/118.93 c | 27646 | 13667 56476 169393 | 2147483647 27627 29 | 2.747 % |
119.32/119.46 c | 27757 | 13667 56476 169393 | 2147483647 27738 29 | 2.747 % |
119.82/119.93 c | 27879 | 13667 56476 169393 | 2147483647 27860 29 | 2.747 % |
120.42/120.58 c | 28013 | 13667 56476 169393 | 2147483647 27994 29 | 2.747 % |
120.92/121.08 c | 28160 | 13667 56476 169393 | 2147483647 28141 29 | 2.747 % |
121.61/121.72 c | 28321 | 13667 56476 169393 | 2147483647 28302 29 | 2.747 % |
122.21/122.35 c | 28497 | 13667 56476 169393 | 2147483647 28478 29 | 2.747 % |
123.21/123.33 c | 28691 | 13667 56476 169393 | 2147483647 28672 29 | 2.747 % |
123.91/124.02 c | 28905 | 13667 56476 169393 | 2147483647 28886 29 | 2.747 % |
125.22/125.38 c | 29139 | 13667 56476 169393 | 2147483647 29120 29 | 2.747 % |
126.51/126.69 c | 29395 | 13667 56476 169393 | 2147483647 29376 29 | 2.747 % |
127.91/128.02 c | 29677 | 13667 56476 169393 | 2147483647 29658 29 | 2.747 % |
129.21/129.37 c | 29986 | 13667 56476 169393 | 2147483647 29967 29 | 2.747 % |
130.81/130.91 c | 30325 | 13667 56476 169393 | 2147483647 30306 29 | 2.747 % |
132.11/132.29 c | 30697 | 13667 56476 169393 | 2147483647 30678 29 | 2.747 % |
134.41/134.57 c | 31107 | 13667 56476 169393 | 2147483647 31088 29 | 2.747 % |
136.71/136.81 c | 31556 | 13667 56476 169393 | 2147483647 31537 29 | 2.747 % |
139.51/139.62 c | 32050 | 13667 56476 169393 | 2147483647 32031 29 | 2.747 % |
139.70/139.89 c | 32151 | 13667 56476 169393 | 2147483647 32132 29 | 2.747 % |
140.10/140.23 c | 32262 | 13667 56476 169393 | 2147483647 32243 29 | 2.747 % |
140.30/140.44 c | 32383 | 13667 56476 169393 | 2147483647 32364 30 | 2.747 % |
141.00/141.16 c | 32516 | 13667 56476 169393 | 2147483647 32497 30 | 2.747 % |
141.90/142.01 c | 32662 | 13667 56476 169393 | 2147483647 32643 29 | 2.747 % |
142.81/142.96 c | 32822 | 13667 56476 169393 | 2147483647 32803 29 | 2.747 % |
143.50/143.69 c | 32999 | 13667 56476 169393 | 2147483647 32980 29 | 2.747 % |
144.61/144.79 c | 33192 | 13667 56476 169393 | 2147483647 33173 30 | 2.747 % |
145.71/145.86 c | 33404 | 13667 56476 169393 | 2147483647 33385 30 | 2.747 % |
147.11/147.28 c | 33638 | 13667 56476 169393 | 2147483647 33619 29 | 2.747 % |
148.41/148.53 c | 33895 | 13667 56476 169393 | 2147483647 33876 29 | 2.747 % |
150.01/150.19 c | 34176 | 13667 56476 169393 | 2147483647 34157 29 | 2.747 % |
151.51/151.64 c | 34485 | 13667 56476 169393 | 2147483647 34466 29 | 2.747 % |
153.41/153.53 c | 34824 | 13667 56476 169393 | 2147483647 34805 29 | 2.747 % |
155.31/155.43 c | 35196 | 13667 56476 169393 | 2147483647 35177 29 | 2.747 % |
157.11/157.21 c | 35608 | 13667 56476 169393 | 2147483647 35589 30 | 2.747 % |
159.60/159.71 c | 36059 | 13667 56476 169393 | 2147483647 36040 30 | 2.747 % |
161.61/161.73 c | 36552 | 13667 56476 169393 | 2147483647 36533 30 | 2.747 % |
164.20/164.31 c | 37094 | 13667 56476 169393 | 2147483647 37075 30 | 2.747 % |
164.60/164.76 c | 37194 | 13667 56476 169393 | 2147483647 37175 30 | 2.747 % |
165.00/165.14 c | 37306 | 13667 56476 169393 | 2147483647 37287 30 | 2.747 % |
165.70/165.82 c | 37427 | 13667 56476 169393 | 2147483647 37408 30 | 2.747 % |
166.30/166.49 c | 37560 | 13667 56476 169393 | 2147483647 37541 30 | 2.747 % |
167.20/167.40 c | 37706 | 13667 56476 169393 | 2147483647 37687 30 | 2.747 % |
168.11/168.24 c | 37867 | 13667 56476 169393 | 2147483647 37848 30 | 2.747 % |
169.10/169.22 c | 38045 | 13667 56476 169393 | 2147483647 38026 30 | 2.747 % |
170.10/170.26 c | 38238 | 13667 56476 169393 | 2147483647 38219 30 | 2.747 % |
171.40/171.56 c | 38450 | 13667 56476 169393 | 2147483647 38431 30 | 2.747 % |
172.70/172.88 c | 38683 | 13667 56476 169393 | 2147483647 38664 30 | 2.747 % |
174.10/174.28 c | 38940 | 13667 56476 169393 | 2147483647 38921 30 | 2.747 % |
175.80/175.95 c | 39222 | 13667 56476 169393 | 2147483647 39203 30 | 2.747 % |
177.49/177.65 c | 39532 | 13667 56476 169393 | 2147483647 39513 30 | 2.747 % |
179.49/179.66 c | 39871 | 13667 56476 169393 | 2147483647 39852 30 | 2.747 % |
181.89/182.01 c | 40244 | 13667 56476 169393 | 2147483647 40225 30 | 2.747 % |
184.39/184.52 c | 40653 | 13667 56476 169393 | 2147483647 40634 29 | 2.747 % |
187.00/187.10 c | 41105 | 13667 56476 169393 | 2147483647 41086 29 | 2.747 % |
189.60/189.77 c | 41599 | 13667 56476 169393 | 2147483647 41580 30 | 2.747 % |
192.90/193.04 c | 42141 | 13667 56476 169393 | 2147483647 42122 29 | 2.747 % |
196.49/196.61 c | 42737 | 13667 56476 169393 | 2147483647 42718 29 | 2.747 % |
197.09/197.24 c | 42837 | 13667 56476 169393 | 2147483647 42818 29 | 2.747 % |
197.39/197.55 c | 42947 | 13667 56476 169393 | 2147483647 42928 30 | 2.747 % |
197.90/198.04 c | 43068 | 13667 56476 169393 | 2147483647 43049 30 | 2.747 % |
198.69/198.80 c | 43202 | 13667 56476 169393 | 2147483647 43183 30 | 2.747 % |
199.09/199.27 c | 43349 | 13667 56476 169393 | 2147483647 43330 30 | 2.747 % |
200.00/200.10 c | 43510 | 13667 56476 169393 | 2147483647 43491 30 | 2.747 % |
200.69/200.86 c | 43687 | 13667 56476 169393 | 2147483647 43668 30 | 2.747 % |
201.79/201.99 c | 43881 | 13667 56476 169393 | 2147483647 43862 30 | 2.747 % |
202.99/203.16 c | 44094 | 13667 56476 169393 | 2147483647 44075 30 | 2.747 % |
204.39/204.51 c | 44327 | 13667 56476 169393 | 2147483647 44308 30 | 2.747 % |
205.69/205.81 c | 44585 | 13667 56476 169393 | 2147483647 44566 30 | 2.747 % |
207.39/207.54 c | 44866 | 13667 56476 169393 | 2147483647 44847 30 | 2.747 % |
209.19/209.30 c | 45176 | 13667 56476 169393 | 2147483647 45157 30 | 2.747 % |
210.89/211.07 c | 45516 | 13667 56476 169393 | 2147483647 45497 30 | 2.747 % |
212.69/212.88 c | 45888 | 13667 56476 169393 | 2147483647 45869 30 | 2.747 % |
214.99/215.11 c | 46299 | 13667 56476 169393 | 2147483647 46280 30 | 2.747 % |
216.39/216.50 c | 46748 | 13667 56476 169393 | 2147483647 46729 30 | 2.747 % |
219.09/219.23 c | 47242 | 13667 56476 169393 | 2147483647 47223 30 | 2.747 % |
221.68/221.85 c | 47784 | 13667 56476 169393 | 2147483647 47765 30 | 2.747 % |
225.48/225.67 c | 48381 | 13667 56476 169393 | 2147483647 48362 30 | 2.747 % |
229.38/229.55 c | 49037 | 13667 56476 169393 | 2147483647 49018 30 | 2.747 % |
230.08/230.20 c | 49137 | 13667 56476 169393 | 2147483647 49118 30 | 2.747 % |
230.68/230.82 c | 49247 | 13667 56476 169393 | 2147483647 49228 30 | 2.747 % |
231.28/231.49 c | 49368 | 13667 56476 169393 | 2147483647 49349 30 | 2.747 % |
231.98/232.12 c | 49502 | 13667 56476 169393 | 2147483647 49483 30 | 2.747 % |
232.88/233.08 c | 49648 | 13667 56476 169393 | 2147483647 49629 30 | 2.747 % |
234.08/234.22 c | 49809 | 13667 56476 169393 | 2147483647 49790 30 | 2.747 % |
235.38/235.52 c | 49987 | 13667 56476 169393 | 2147483647 49968 30 | 2.747 % |
236.38/236.52 c | 50181 | 13667 56476 169393 | 2147483647 50162 30 | 2.747 % |
237.58/237.70 c | 50393 | 13667 56476 169393 | 2147483647 50374 30 | 2.747 % |
238.87/239.02 c | 50627 | 13667 56476 169393 | 2147483647 50608 30 | 2.747 % |
240.37/240.50 c | 50883 | 13667 56476 169393 | 2147483647 50864 30 | 2.747 % |
241.97/242.13 c | 51165 | 13667 56476 169393 | 2147483647 51146 30 | 2.747 % |
243.87/244.03 c | 51474 | 13667 56476 169393 | 2147483647 51455 30 | 2.747 % |
245.67/245.81 c | 51813 | 13667 56476 169393 | 2147483647 51794 30 | 2.747 % |
247.87/248.02 c | 52185 | 13667 56476 169393 | 2147483647 52166 30 | 2.747 % |
250.47/250.65 c | 52595 | 13667 56476 169393 | 2147483647 52576 30 | 2.747 % |
252.67/252.85 c | 53044 | 13667 56476 169393 | 2147483647 53025 30 | 2.747 % |
255.57/255.76 c | 53538 | 13667 56476 169393 | 2147483647 53519 30 | 2.747 % |
258.97/259.12 c | 54081 | 13667 56476 169393 | 2147483647 54062 30 | 2.747 % |
262.67/262.83 c | 54678 | 13667 56476 169393 | 2147483647 54659 30 | 2.747 % |
266.56/266.71 c | 55334 | 13667 56476 169393 | 2147483647 55315 30 | 2.747 % |
270.76/270.90 c | 56055 | 13667 56476 169393 | 2147483647 56036 30 | 2.747 % |
271.46/271.60 c | 56157 | 13667 56476 169393 | 2147483647 56138 30 | 2.747 % |
272.16/272.35 c | 56267 | 13667 56476 169393 | 2147483647 56248 30 | 2.747 % |
272.96/273.18 c | 56389 | 13667 56476 169393 | 2147483647 56370 30 | 2.747 % |
273.86/274.01 c | 56523 | 13667 56476 169393 | 2147483647 56504 30 | 2.747 % |
274.56/274.76 c | 56669 | 13667 56476 169393 | 2147483647 56650 30 | 2.747 % |
275.46/275.68 c | 56830 | 13667 56476 169393 | 2147483647 56811 30 | 2.747 % |
276.36/276.52 c | 57006 | 13667 56476 169393 | 2147483647 56987 30 | 2.747 % |
277.56/277.73 c | 57199 | 13667 56476 169393 | 2147483647 57180 30 | 2.747 % |
278.96/279.11 c | 57411 | 13667 56476 169393 | 2147483647 57392 30 | 2.747 % |
280.36/280.54 c | 57644 | 13667 56476 169393 | 2147483647 57625 30 | 2.747 % |
281.56/281.76 c | 57900 | 13667 56476 169393 | 2147483647 57881 30 | 2.747 % |
283.26/283.48 c | 58181 | 13667 56476 169393 | 2147483647 58162 30 | 2.747 % |
284.96/285.15 c | 58492 | 13667 56476 169393 | 2147483647 58473 30 | 2.747 % |
285.96/286.19 c | 58831 | 13667 56476 169393 | 2147483647 58812 30 | 2.747 % |
288.36/288.53 c | 59205 | 13667 56476 169393 | 2147483647 59186 30 | 2.747 % |
290.75/290.91 c | 59615 | 13667 56476 169393 | 2147483647 59596 30 | 2.747 % |
293.46/293.65 c | 60064 | 13667 56476 169393 | 2147483647 60045 31 | 2.747 % |
295.85/296.05 c | 60558 | 13667 56476 169393 | 2147483647 60539 31 | 2.747 % |
299.55/299.74 c | 61100 | 13667 56476 169393 | 2147483647 61081 31 | 2.747 % |
303.05/303.28 c | 61696 | 13667 56476 169393 | 2147483647 61677 31 | 2.747 % |
307.15/307.39 c | 62352 | 13667 56476 169393 | 2147483647 62333 31 | 2.747 % |
311.54/311.73 c | 63073 | 13667 56476 169393 | 2147483647 63054 31 | 2.747 % |
316.34/316.55 c | 63865 | 13667 56476 169393 | 2147483647 63846 31 | 2.747 % |
316.84/317.05 c | 63966 | 13667 56476 169393 | 2147483647 63947 31 | 2.747 % |
317.54/317.78 c | 64076 | 13667 56476 169393 | 2147483647 64057 31 | 2.747 % |
318.44/318.61 c | 64198 | 13667 56476 169393 | 2147483647 64179 31 | 2.747 % |
319.04/319.26 c | 64331 | 13667 56476 169393 | 2147483647 64312 31 | 2.747 % |
320.04/320.24 c | 64480 | 13667 56476 169393 | 2147483647 64461 31 | 2.747 % |
320.95/321.20 c | 64642 | 13667 56476 169393 | 2147483647 64623 31 | 2.747 % |
322.05/322.27 c | 64819 | 13667 56476 169393 | 2147483647 64800 31 | 2.747 % |
323.16/323.31 c | 65012 | 13667 56476 169393 | 2147483647 64993 31 | 2.747 % |
324.45/324.61 c | 65224 | 13667 56476 169393 | 2147483647 65205 31 | 2.747 % |
326.05/326.20 c | 65458 | 13667 56476 169393 | 2147483647 65439 31 | 2.747 % |
327.65/327.83 c | 65715 | 13667 56476 169393 | 2147483647 65696 31 | 2.747 % |
329.35/329.51 c | 65996 | 13667 56476 169393 | 2147483647 65977 31 | 2.747 % |
331.25/331.43 c | 66305 | 13667 56476 169393 | 2147483647 66286 31 | 2.747 % |
333.05/333.29 c | 66644 | 13667 56476 169393 | 2147483647 66625 31 | 2.747 % |
335.05/335.20 c | 67016 | 13667 56476 169393 | 2147483647 66997 31 | 2.747 % |
337.95/338.19 c | 67425 | 13667 56476 169393 | 2147483647 67406 31 | 2.747 % |
340.45/340.63 c | 67875 | 13667 56476 169393 | 2147483647 67856 31 | 2.747 % |
343.65/343.88 c | 68368 | 13667 56476 169393 | 2147483647 68349 31 | 2.747 % |
347.45/347.64 c | 68911 | 13667 56476 169393 | 2147483647 68892 31 | 2.747 % |
350.94/351.15 c | 69507 | 13667 56476 169393 | 2147483647 69488 31 | 2.747 % |
355.84/356.00 c | 70163 | 13667 56476 169393 | 2147483647 70144 31 | 2.747 % |
359.74/359.99 c | 70885 | 13667 56476 169393 | 2147483647 70866 31 | 2.747 % |
364.74/364.94 c | 71678 | 13667 56476 169393 | 2147483647 71659 31 | 2.747 % |
370.04/370.28 c | 72549 | 13667 56476 169393 | 2147483647 72530 31 | 2.747 % |
370.74/370.92 c | 72649 | 13667 56476 169393 | 2147483647 72630 31 | 2.747 % |
371.44/371.67 c | 72760 | 13667 56476 169393 | 2147483647 72741 31 | 2.747 % |
372.34/372.58 c | 72882 | 13667 56476 169393 | 2147483647 72863 31 | 2.747 % |
373.24/373.46 c | 73015 | 13667 56476 169393 | 2147483647 72996 31 | 2.747 % |
374.34/374.50 c | 73161 | 13667 56476 169393 | 2147483647 73142 31 | 2.747 % |
375.44/375.65 c | 73322 | 13667 56476 169393 | 2147483647 73303 31 | 2.747 % |
376.73/376.92 c | 73499 | 13667 56476 169393 | 2147483647 73480 31 | 2.747 % |
378.03/378.28 c | 73693 | 13667 56476 169393 | 2147483647 73674 31 | 2.747 % |
379.63/379.81 c | 73905 | 13667 56476 169393 | 2147483647 73886 31 | 2.747 % |
381.33/381.59 c | 74138 | 13667 56476 169393 | 2147483647 74119 31 | 2.747 % |
383.03/383.23 c | 74394 | 13667 56476 169393 | 2147483647 74375 31 | 2.747 % |
384.84/385.03 c | 74676 | 13667 56476 169393 | 2147483647 74657 31 | 2.747 % |
386.94/387.13 c | 74987 | 13667 56476 169393 | 2147483647 74968 31 | 2.747 % |
389.43/389.67 c | 75327 | 13667 56476 169393 | 2147483647 75308 31 | 2.747 % |
392.33/392.54 c | 75699 | 13667 56476 169393 | 2147483647 75680 31 | 2.747 % |
393.93/394.19 c | 76108 | 13667 56476 169393 | 2147483647 76089 31 | 2.747 % |
396.73/396.92 c | 76557 | 13667 56476 169393 | 2147483647 76538 31 | 2.747 % |
400.13/400.37 c | 77051 | 13667 56476 169393 | 2147483647 77032 31 | 2.747 % |
403.83/404.02 c | 77595 | 13667 56476 169393 | 2147483647 77576 31 | 2.747 % |
408.22/408.46 c | 78193 | 13667 56476 169393 | 2147483647 78174 31 | 2.747 % |
413.22/413.43 c | 78848 | 13667 56476 169393 | 2147483647 78829 31 | 2.747 % |
418.32/418.58 c | 79569 | 13667 56476 169393 | 2147483647 79550 31 | 2.747 % |
423.92/424.14 c | 80361 | 13667 56476 169393 | 2147483647 80342 31 | 2.747 % |
429.02/429.26 c | 81232 | 13667 56476 169393 | 2147483647 81213 31 | 2.747 % |
435.61/435.88 c | 82190 | 13667 56476 169393 | 2147483647 82171 31 | 2.747 % |
436.31/436.57 c | 82290 | 13667 56476 169393 | 2147483647 82271 31 | 2.747 % |
436.91/437.17 c | 82400 | 13667 56476 169393 | 2147483647 82381 31 | 2.747 % |
437.81/438.04 c | 82522 | 13667 56476 169393 | 2147483647 82503 31 | 2.747 % |
438.81/439.04 c | 82657 | 13667 56476 169393 | 2147483647 82638 31 | 2.747 % |
439.72/439.94 c | 82803 | 13667 56476 169393 | 2147483647 82784 31 | 2.747 % |
440.71/440.99 c | 82963 | 13667 56476 169393 | 2147483647 82944 31 | 2.747 % |
442.02/442.25 c | 83139 | 13667 56476 169393 | 2147483647 83120 31 | 2.747 % |
443.41/443.65 c | 83332 | 13667 56476 169393 | 2147483647 83313 31 | 2.747 % |
444.81/445.01 c | 83546 | 13667 56476 169393 | 2147483647 83527 31 | 2.747 % |
446.61/446.83 c | 83780 | 13667 56476 169393 | 2147483647 83761 31 | 2.747 % |
448.11/448.32 c | 84036 | 13667 56476 169393 | 2147483647 84017 31 | 2.747 % |
450.01/450.29 c | 84318 | 13667 56476 169393 | 2147483647 84299 31 | 2.747 % |
452.21/452.45 c | 84628 | 13667 56476 169393 | 2147483647 84609 31 | 2.747 % |
454.21/454.40 c | 84968 | 13667 56476 169393 | 2147483647 84949 31 | 2.747 % |
456.71/456.97 c | 85341 | 13667 56476 169393 | 2147483647 85322 31 | 2.747 % |
459.01/459.28 c | 85750 | 13667 56476 169393 | 2147483647 85731 31 | 2.747 % |
462.01/462.27 c | 86200 | 13667 56476 169393 | 2147483647 86181 31 | 2.747 % |
465.20/465.42 c | 86694 | 13667 56476 169393 | 2147483647 86675 31 | 2.747 % |
468.70/468.94 c | 87236 | 13667 56476 169393 | 2147483647 87217 31 | 2.747 % |
472.71/473.00 c | 87832 | 13667 56476 169393 | 2147483647 87813 31 | 2.747 % |
478.01/478.25 c | 88487 | 13667 56476 169393 | 2147483647 88468 31 | 2.747 % |
483.21/483.48 c | 89208 | 13667 56476 169393 | 2147483647 89189 31 | 2.747 % |
487.31/487.59 c | 90001 | 13667 56476 169393 | 2147483647 89982 31 | 2.747 % |
492.71/492.95 c | 90874 | 13667 56476 169393 | 2147483647 90855 31 | 2.747 % |
499.80/500.10 c | 91832 | 13667 56476 169393 | 2147483647 91813 31 | 2.747 % |
507.10/507.36 c | 92885 | 13667 56476 169393 | 2147483647 92866 31 | 2.747 % |
507.90/508.15 c | 92986 | 13667 56476 169393 | 2147483647 92967 31 | 2.747 % |
508.80/509.07 c | 93096 | 13667 56476 169393 | 2147483647 93077 31 | 2.747 % |
509.70/509.95 c | 93219 | 13667 56476 169393 | 2147483647 93200 31 | 2.747 % |
510.60/510.89 c | 93352 | 13667 56476 169393 | 2147483647 93333 31 | 2.747 % |
512.00/512.24 c | 93499 | 13667 56476 169393 | 2147483647 93480 31 | 2.747 % |
513.20/513.44 c | 93660 | 13667 56476 169393 | 2147483647 93641 31 | 2.747 % |
514.50/514.74 c | 93836 | 13667 56476 169393 | 2147483647 93817 31 | 2.747 % |
515.89/516.15 c | 94030 | 13667 56476 169393 | 2147483647 94011 31 | 2.747 % |
517.59/517.84 c | 94242 | 13667 56476 169393 | 2147483647 94223 31 | 2.747 % |
519.09/519.40 c | 94475 | 13667 56476 169393 | 2147483647 94456 31 | 2.747 % |
521.10/521.37 c | 94733 | 13667 56476 169393 | 2147483647 94714 31 | 2.747 % |
523.09/523.35 c | 95015 | 13667 56476 169393 | 2147483647 94996 31 | 2.747 % |
525.49/525.77 c | 95324 | 13667 56476 169393 | 2147483647 95305 31 | 2.747 % |
528.19/528.43 c | 95664 | 13667 56476 169393 | 2147483647 95645 31 | 2.747 % |
530.89/531.15 c | 96037 | 13667 56476 169393 | 2147483647 96018 31 | 2.747 % |
534.09/534.37 c | 96446 | 13667 56476 169393 | 2147483647 96427 31 | 2.747 % |
537.38/537.68 c | 96896 | 13667 56476 169393 | 2147483647 96877 31 | 2.747 % |
541.08/541.36 c | 97389 | 13667 56476 169393 | 2147483647 97370 31 | 2.747 % |
545.28/545.55 c | 97933 | 13667 56476 169393 | 2147483647 97914 31 | 2.747 % |
549.58/549.89 c | 98529 | 13667 56476 169393 | 2147483647 98510 31 | 2.747 % |
554.09/554.34 c | 99184 | 13667 56476 169393 | 2147483647 99165 31 | 2.747 % |
559.28/559.58 c | 99904 | 13667 56476 169393 | 2147483647 99885 31 | 2.747 % |
565.38/565.63 c | 100697 | 13667 56476 169393 | 2147483647 100678 31 | 2.747 % |
572.18/572.43 c | 101569 | 13667 56476 169393 | 2147483647 101550 31 | 2.747 % |
579.58/579.84 c | 102527 | 13667 56476 169393 | 2147483647 102508 31 | 2.747 % |
587.97/588.26 c | 103581 | 13667 56476 169393 | 2147483647 103562 31 | 2.747 % |
596.77/597.06 c | 104740 | 13667 56476 169393 | 2147483647 104721 31 | 2.747 % |
597.27/597.50 c | 104840 | 13667 56476 169393 | 2147483647 104821 31 | 2.747 % |
597.97/598.29 c | 104950 | 13667 56476 169393 | 2147483647 104931 31 | 2.747 % |
598.87/599.15 c | 105072 | 13667 56476 169393 | 2147483647 105053 31 | 2.747 % |
599.87/600.15 c | 105205 | 13667 56476 169393 | 2147483647 105186 31 | 2.747 % |
601.17/601.47 c | 105351 | 13667 56476 169393 | 2147483647 105332 31 | 2.747 % |
602.47/602.71 c | 105513 | 13667 56476 169393 | 2147483647 105494 31 | 2.747 % |
603.87/604.19 c | 105689 | 13667 56476 169393 | 2147483647 105670 31 | 2.747 % |
605.47/605.79 c | 105882 | 13667 56476 169393 | 2147483647 105863 31 | 2.747 % |
607.37/607.62 c | 106094 | 13667 56476 169393 | 2147483647 106075 31 | 2.747 % |
609.27/609.57 c | 106328 | 13667 56476 169393 | 2147483647 106309 31 | 2.747 % |
611.46/611.71 c | 106585 | 13667 56476 169393 | 2147483647 106566 31 | 2.747 % |
613.76/614.06 c | 106867 | 13667 56476 169393 | 2147483647 106848 31 | 2.747 % |
616.36/616.65 c | 107176 | 13667 56476 169393 | 2147483647 107157 31 | 2.747 % |
619.16/619.41 c | 107515 | 13667 56476 169393 | 2147483647 107496 31 | 2.747 % |
622.27/622.53 c | 107887 | 13667 56476 169393 | 2147483647 107868 31 | 2.747 % |
625.26/625.53 c | 108297 | 13667 56476 169393 | 2147483647 108278 31 | 2.747 % |
629.26/629.51 c | 108746 | 13667 56476 169393 | 2147483647 108727 31 | 2.747 % |
632.86/633.17 c | 109239 | 13667 56476 169393 | 2147483647 109220 31 | 2.747 % |
635.26/635.52 c | 109781 | 13667 56476 169393 | 2147483647 109762 31 | 2.747 % |
638.26/638.51 c | 110377 | 13667 56476 169393 | 2147483647 110358 31 | 2.747 % |
641.25/641.60 c | 111033 | 13667 56476 169393 | 2147483647 111014 31 | 2.747 % |
646.65/646.93 c | 111754 | 13667 56476 169393 | 2147483647 111735 31 | 2.747 % |
652.65/652.93 c | 112546 | 13667 56476 169393 | 2147483647 112527 31 | 2.747 % |
659.35/659.66 c | 113418 | 13667 56476 169393 | 2147483647 113399 31 | 2.747 % |
666.84/667.11 c | 114377 | 13667 56476 169393 | 2147483647 114358 31 | 2.747 % |
675.64/675.99 c | 115431 | 13667 56476 169393 | 2147483647 115412 31 | 2.747 % |
685.04/685.35 c | 116589 | 13667 56476 169393 | 2147483647 116570 31 | 2.747 % |
694.34/694.66 c | 117862 | 13667 56476 169393 | 2147483647 117843 31 | 2.747 % |
695.24/695.50 c | 117962 | 13667 56476 169393 | 2147483647 117943 31 | 2.747 % |
696.04/696.38 c | 118072 | 13667 56476 169393 | 2147483647 118053 31 | 2.747 % |
697.04/697.32 c | 118194 | 13667 56476 169393 | 2147483647 118175 31 | 2.747 % |
698.04/698.40 c | 118327 | 13667 56476 169393 | 2147483647 118308 31 | 2.747 % |
698.53/698.80 c | 118473 | 13667 56476 169393 | 2147483647 118454 31 | 2.747 % |
699.53/699.87 c | 118633 | 13667 56476 169393 | 2147483647 118614 31 | 2.747 % |
701.03/701.33 c | 118809 | 13667 56476 169393 | 2147483647 118790 31 | 2.747 % |
702.43/702.74 c | 119002 | 13667 56476 169393 | 2147483647 118983 31 | 2.747 % |
704.33/704.61 c | 119214 | 13667 56476 169393 | 2147483647 119195 31 | 2.747 % |
705.83/706.20 c | 119448 | 13667 56476 169393 | 2147483647 119429 31 | 2.747 % |
707.53/707.81 c | 119705 | 13667 56476 169393 | 2147483647 119686 31 | 2.747 % |
709.83/710.17 c | 119987 | 13667 56476 169393 | 2147483647 119968 31 | 2.747 % |
711.93/712.28 c | 120297 | 13667 56476 169393 | 2147483647 120278 31 | 2.747 % |
714.23/714.59 c | 120637 | 13667 56476 169393 | 2147483647 120618 31 | 2.747 % |
717.43/717.77 c | 121009 | 13667 56476 169393 | 2147483647 120990 31 | 2.747 % |
720.93/721.20 c | 121418 | 13667 56476 169393 | 2147483647 121399 31 | 2.747 % |
724.73/725.02 c | 121868 | 13667 56476 169393 | 2147483647 121849 31 | 2.747 % |
728.63/728.96 c | 122361 | 13667 56476 169393 | 2147483647 122342 31 | 2.747 % |
733.03/733.35 c | 122903 | 13667 56476 169393 | 2147483647 122884 31 | 2.747 % |
738.13/738.43 c | 123500 | 13667 56476 169393 | 2147483647 123481 31 | 2.747 % |
743.62/743.99 c | 124155 | 13667 56476 169393 | 2147483647 124136 31 | 2.747 % |
750.12/750.48 c | 124875 | 13667 56476 169393 | 2147483647 124856 31 | 2.747 % |
756.12/756.42 c | 125668 | 13667 56476 169393 | 2147483647 125649 31 | 2.747 % |
762.62/762.92 c | 126539 | 13667 56476 169393 | 2147483647 126520 31 | 2.747 % |
771.02/771.34 c | 127498 | 13667 56476 169393 | 2147483647 127479 31 | 2.747 % |
779.52/779.83 c | 128553 | 13667 56476 169393 | 2147483647 128534 31 | 2.747 % |
789.41/789.79 c | 129711 | 13667 56476 169393 | 2147483647 129692 31 | 2.747 % |
799.50/799.88 c | 130985 | 13667 56476 169393 | 2147483647 130966 31 | 2.747 % |
810.70/811.02 c | 132385 | 13667 56476 169393 | 2147483647 132366 30 | 2.747 % |
811.50/811.88 c | 132485 | 13667 56476 169393 | 2147483647 132466 30 | 2.747 % |
812.50/812.83 c | 132596 | 13667 56476 169393 | 2147483647 132577 30 | 2.747 % |
813.70/814.01 c | 132718 | 13667 56476 169393 | 2147483647 132699 30 | 2.747 % |
814.90/815.26 c | 132852 | 13667 56476 169393 | 2147483647 132833 30 | 2.747 % |
816.20/816.59 c | 132998 | 13667 56476 169393 | 2147483647 132979 30 | 2.747 % |
817.60/817.98 c | 133159 | 13667 56476 169393 | 2147483647 133140 30 | 2.747 % |
819.20/819.51 c | 133336 | 13667 56476 169393 | 2147483647 133317 30 | 2.747 % |
820.99/821.35 c | 133529 | 13667 56476 169393 | 2147483647 133510 30 | 2.747 % |
822.29/822.60 c | 133741 | 13667 56476 169393 | 2147483647 133722 30 | 2.747 % |
823.79/824.11 c | 133974 | 13667 56476 169393 | 2147483647 133955 30 | 2.747 % |
825.99/826.31 c | 134232 | 13667 56476 169393 | 2147483647 134213 30 | 2.747 % |
827.40/827.73 c | 134513 | 13667 56476 169393 | 2147483647 134494 31 | 2.747 % |
830.60/830.90 c | 134823 | 13667 56476 169393 | 2147483647 134804 31 | 2.747 % |
833.70/834.08 c | 135164 | 13667 56476 169393 | 2147483647 135145 31 | 2.747 % |
836.90/837.26 c | 135537 | 13667 56476 169393 | 2147483647 135518 31 | 2.747 % |
840.60/840.97 c | 135946 | 13667 56476 169393 | 2147483647 135927 31 | 2.747 % |
844.50/844.87 c | 136395 | 13667 56476 169393 | 2147483647 136376 31 | 2.747 % |
849.09/849.49 c | 136888 | 13667 56476 169393 | 2147483647 136869 31 | 2.747 % |
854.09/854.44 c | 137430 | 13667 56476 169393 | 2147483647 137411 31 | 2.747 % |
858.59/858.95 c | 138026 | 13667 56476 169393 | 2147483647 138007 31 | 2.747 % |
864.99/865.31 c | 138681 | 13667 56476 169393 | 2147483647 138662 31 | 2.747 % |
871.69/872.02 c | 139401 | 13667 56476 169393 | 2147483647 139382 31 | 2.747 % |
878.68/879.05 c | 140193 | 13667 56476 169393 | 2147483647 140174 31 | 2.747 % |
886.19/886.51 c | 141064 | 13667 56476 169393 | 2147483647 141045 31 | 2.747 % |
895.08/895.43 c | 142022 | 13667 56476 169393 | 2147483647 142003 31 | 2.747 % |
903.78/904.11 c | 143076 | 13667 56476 169393 | 2147483647 143057 31 | 2.747 % |
914.27/914.67 c | 144235 | 13667 56476 169393 | 2147483647 144216 31 | 2.747 % |
925.97/926.34 c | 145508 | 13667 56476 169393 | 2147483647 145489 30 | 2.747 % |
939.07/939.43 c | 146908 | 13667 56476 169393 | 2147483647 146889 30 | 2.747 % |
951.46/951.82 c | 148448 | 13667 56476 169393 | 2147483647 148429 30 | 2.747 % |
952.26/952.65 c | 148548 | 13667 56476 169393 | 2147483647 148529 30 | 2.747 % |
953.26/953.70 c | 148658 | 13667 56476 169393 | 2147483647 148639 30 | 2.747 % |
954.36/954.79 c | 148779 | 13667 56476 169393 | 2147483647 148760 30 | 2.747 % |
955.66/956.03 c | 148912 | 13667 56476 169393 | 2147483647 148893 30 | 2.747 % |
956.86/957.20 c | 149058 | 13667 56476 169393 | 2147483647 149039 30 | 2.747 % |
958.26/958.62 c | 149219 | 13667 56476 169393 | 2147483647 149200 30 | 2.747 % |
959.96/960.31 c | 149396 | 13667 56476 169393 | 2147483647 149377 30 | 2.747 % |
961.86/962.23 c | 149590 | 13667 56476 169393 | 2147483647 149571 30 | 2.747 % |
963.86/964.22 c | 149803 | 13667 56476 169393 | 2147483647 149784 30 | 2.747 % |
966.05/966.45 c | 150036 | 13667 56476 169393 | 2147483647 150017 30 | 2.747 % |
968.45/968.87 c | 150294 | 13667 56476 169393 | 2147483647 150275 30 | 2.747 % |
970.65/971.01 c | 150575 | 13667 56476 169393 | 2147483647 150556 30 | 2.747 % |
973.55/973.97 c | 150886 | 13667 56476 169393 | 2147483647 150867 30 | 2.747 % |
976.15/976.53 c | 151225 | 13667 56476 169393 | 2147483647 151206 30 | 2.747 % |
979.85/980.23 c | 151597 | 13667 56476 169393 | 2147483647 151578 30 | 2.747 % |
983.55/983.99 c | 152007 | 13667 56476 169393 | 2147483647 151988 30 | 2.747 % |
987.85/988.27 c | 152456 | 13667 56476 169393 | 2147483647 152437 30 | 2.747 % |
992.55/992.90 c | 152950 | 13667 56476 169393 | 2147483647 152931 30 | 2.747 % |
997.74/998.17 c | 153492 | 13667 56476 169393 | 2147483647 153473 30 | 2.747 % |
1003.54/1003.96 c | 154088 | 13667 56476 169393 | 2147483647 154069 30 | 2.747 % |
1009.54/1009.96 c | 154743 | 13667 56476 169393 | 2147483647 154724 30 | 2.747 % |
1015.64/1016.08 c | 155464 | 13667 56476 169393 | 2147483647 155445 30 | 2.747 % |
1022.54/1022.98 c | 156258 | 13667 56476 169393 | 2147483647 156239 30 | 2.747 % |
1029.73/1030.10 c | 157130 | 13667 56476 169393 | 2147483647 157111 30 | 2.747 % |
1038.63/1039.00 c | 158089 | 13667 56476 169393 | 2147483647 158070 30 | 2.747 % |
1048.84/1049.20 c | 159144 | 13667 56476 169393 | 2147483647 159125 30 | 2.747 % |
1059.63/1060.00 c | 160302 | 13667 56476 169393 | 2147483647 160283 30 | 2.747 % |
1072.23/1072.62 c | 161575 | 13667 56476 169393 | 2147483647 161556 30 | 2.747 % |
1085.02/1085.49 c | 162975 | 13667 56476 169393 | 2147483647 162956 30 | 2.747 % |
1099.52/1099.98 c | 164515 | 13667 56476 169393 | 2147483647 164496 30 | 2.747 % |
1114.52/1114.97 c | 166209 | 13667 56476 169393 | 2147483647 166190 30 | 2.747 % |
1115.52/1115.93 c | 166309 | 13667 56476 169393 | 2147483647 166290 30 | 2.747 % |
1116.72/1117.12 c | 166420 | 13667 56476 169393 | 2147483647 166401 30 | 2.747 % |
1118.02/1118.44 c | 166541 | 13667 56476 169393 | 2147483647 166522 30 | 2.747 % |
1119.42/1119.84 c | 166675 | 13667 56476 169393 | 2147483647 166656 30 | 2.747 % |
1120.61/1121.07 c | 166821 | 13667 56476 169393 | 2147483647 166802 30 | 2.747 % |
1122.11/1122.59 c | 166981 | 13667 56476 169393 | 2147483647 166962 30 | 2.747 % |
1124.01/1124.40 c | 167157 | 13667 56476 169393 | 2147483647 167138 30 | 2.747 % |
1125.71/1126.16 c | 167351 | 13667 56476 169393 | 2147483647 167332 30 | 2.747 % |
1127.91/1128.38 c | 167563 | 13667 56476 169393 | 2147483647 167544 30 | 2.747 % |
1130.51/1130.94 c | 167796 | 13667 56476 169393 | 2147483647 167777 30 | 2.747 % |
1133.11/1133.50 c | 168053 | 13667 56476 169393 | 2147483647 168034 30 | 2.747 % |
1135.71/1136.13 c | 168334 | 13667 56476 169393 | 2147483647 168315 30 | 2.747 % |
1138.31/1138.78 c | 168644 | 13667 56476 169393 | 2147483647 168625 30 | 2.747 % |
1140.01/1140.47 c | 168984 | 13667 56476 169393 | 2147483647 168965 30 | 2.747 % |
1143.51/1143.99 c | 169356 | 13667 56476 169393 | 2147483647 169337 30 | 2.747 % |
1147.80/1148.23 c | 169765 | 13667 56476 169393 | 2147483647 169746 30 | 2.747 % |
1152.31/1152.77 c | 170214 | 13667 56476 169393 | 2147483647 170195 30 | 2.747 % |
1157.00/1157.41 c | 170708 | 13667 56476 169393 | 2147483647 170689 30 | 2.747 % |
1162.10/1162.54 c | 171251 | 13667 56476 169393 | 2147483647 171232 30 | 2.747 % |
1168.00/1168.40 c | 171849 | 13667 56476 169393 | 2147483647 171830 30 | 2.747 % |
1174.60/1175.06 c | 172505 | 13667 56476 169393 | 2147483647 172486 30 | 2.747 % |
1181.09/1181.55 c | 173226 | 13667 56476 169393 | 2147483647 173207 30 | 2.747 % |
1188.70/1189.18 c | 174019 | 13667 56476 169393 | 2147483647 174000 30 | 2.747 % |
1197.69/1198.12 c | 174892 | 13667 56476 169393 | 2147483647 174873 30 | 2.747 % |
1200.09/1200.51 HOME/SatELiteGTI: line 36: 13411 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-1833685-1242824501/watcher-1833685-1242824501 -o /tmp/evaluation-result-1833685-1242824501/solver-1833685-1242824501 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1833685-1242824501.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.00 1.00 1.01 3/64 13405
/proc/meminfo: memFree=1974664/2055920 swapFree=4178264/4192956
[pid=13405] ppid=13403 vsize=5356 CPUtime=0
/proc/13405/stat : 13405 (SatELiteGTI) S 13403 13405 13258 0 -1 4194304 276 0 0 0 0 0 0 0 16 0 1 0 310477038 5484544 235 1992294400 4194304 4889804 548682068832 18446744073709551615 251255291986 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/13405/statm: 1339 235 195 169 0 50 0
[pid=13406] ppid=13405 vsize=5356 CPUtime=0
/proc/13406/stat : 13406 (SatELiteGTI) R 13405 13405 13258 0 -1 4194368 51 25 0 0 0 0 0 0 21 0 1 0 310477039 5484544 238 1992294400 4194304 4889804 548682068832 18446744073709551615 251255120708 0 65536 4096 65538 0 0 0 17 0 0 0
/proc/13406/statm: 1339 238 198 169 0 50 0
[pid=13408] ppid=13406 vsize=0 CPUtime=0
/proc/13408/stat : 13408 (sed) Z 13406 13405 13258 0 -1 4194316 163 0 0 0 0 0 0 0 18 0 1 0 310477039 0 0 1992294400 0 0 0 0 0 0 0 4096 0 18446744071563351923 0 0 17 1 0 0
/proc/13408/statm: 0 0 0 0 0 0 0
[startup+0.0948059 s]
/proc/loadavg: 1.00 1.00 1.01 3/64 13405
/proc/meminfo: memFree=1974664/2055920 swapFree=4178264/4192956
[pid=13405] ppid=13403 vsize=5356 CPUtime=0
/proc/13405/stat : 13405 (SatELiteGTI) S 13403 13405 13258 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310477038 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13405/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.101804 s]
/proc/loadavg: 1.00 1.00 1.01 3/64 13405
/proc/meminfo: memFree=1974664/2055920 swapFree=4178264/4192956
[pid=13405] ppid=13403 vsize=5356 CPUtime=0
/proc/13405/stat : 13405 (SatELiteGTI) S 13403 13405 13258 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310477038 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13405/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301826 s]
/proc/loadavg: 1.00 1.00 1.01 3/64 13405
/proc/meminfo: memFree=1974664/2055920 swapFree=4178264/4192956
[pid=13405] ppid=13403 vsize=5356 CPUtime=0
/proc/13405/stat : 13405 (SatELiteGTI) S 13403 13405 13258 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310477038 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13405/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.70187 s]
/proc/loadavg: 1.00 1.00 1.01 3/64 13405
/proc/meminfo: memFree=1974664/2055920 swapFree=4178264/4192956
[pid=13405] ppid=13403 vsize=5356 CPUtime=0
/proc/13405/stat : 13405 (SatELiteGTI) S 13403 13405 13258 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310477038 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13405/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+1.50197 s]
/proc/loadavg: 1.00 1.00 1.01 2/66 13410
/proc/meminfo: memFree=1956472/2055920 swapFree=4178264/4192956
[pid=13405] ppid=13403 vsize=5356 CPUtime=1.41
/proc/13405/stat : 13405 (SatELiteGTI) S 13403 13405 13258 0 -1 4194304 336 4355 0 0 0 0 138 3 16 0 1 0 310477038 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13405/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 1.41
Current children cumulated vsize (KiB) 5356
[startup+3.10113 s]
/proc/loadavg: 1.00 1.00 1.01 2/66 13411
/proc/meminfo: memFree=1964344/2055920 swapFree=4178264/4192956
[pid=13405] ppid=13403 vsize=5356 CPUtime=1.41
/proc/13405/stat : 13405 (SatELiteGTI) S 13403 13405 13258 0 -1 4194304 336 4355 0 0 0 0 138 3 16 0 1 0 310477038 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13405/statm: 1339 239 197 169 0 50 0
[pid=13411] ppid=13405 vsize=5876 CPUtime=1.66
/proc/13411/stat : 13411 (minisat_static) R 13405 13405 13258 0 -1 4194304 1312 0 0 0 166 0 0 0 25 0 1 0 310477181 6017024 1298 1992294400 134512640 135215339 4294956240 18446744073709551615 134528717 0 0 4096 3 0 0 0 17 1 0 0
/proc/13411/statm: 1469 1298 76 171 0 1296 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 11232
[startup+6.30148 s]
/proc/loadavg: 1.00 1.00 1.01 2/66 13411
/proc/meminfo: memFree=1963832/2055920 swapFree=4178264/4192956
[pid=13405] ppid=13403 vsize=5356 CPUtime=1.41
/proc/13405/stat : 13405 (SatELiteGTI) S 13403 13405 13258 0 -1 4194304 336 4355 0 0 0 0 138 3 16 0 1 0 310477038 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13405/statm: 1339 239 197 169 0 50 0
[pid=13411] ppid=13405 vsize=6144 CPUtime=4.86
/proc/13411/stat : 13411 (minisat_static) R 13405 13405 13258 0 -1 4194304 1383 0 0 0 485 1 0 0 25 0 1 0 310477181 6291456 1369 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13411/statm: 1536 1369 76 171 0 1363 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 11500
[startup+12.7012 s]
/proc/loadavg: 1.00 1.00 1.01 2/66 13411
/proc/meminfo: memFree=1963640/2055920 swapFree=4178264/4192956
[pid=13405] ppid=13403 vsize=5356 CPUtime=1.41
/proc/13405/stat : 13405 (SatELiteGTI) S 13403 13405 13258 0 -1 4194304 336 4355 0 0 0 0 138 3 16 0 1 0 310477038 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13405/statm: 1339 239 197 169 0 50 0
[pid=13411] ppid=13405 vsize=6408 CPUtime=11.25
/proc/13411/stat : 13411 (minisat_static) R 13405 13405 13258 0 -1 4194304 1449 0 0 0 1124 1 0 0 25 0 1 0 310477181 6561792 1435 1992294400 134512640 135215339 4294956240 18446744073709551615 134528700 0 0 4096 3 0 0 0 17 1 0 0
/proc/13411/statm: 1602 1435 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.00 1.00 1.01 2/66 13411
/proc/meminfo: memFree=1963256/2055920 swapFree=4178264/4192956
[pid=13405] ppid=13403 vsize=5356 CPUtime=1.41
/proc/13405/stat : 13405 (SatELiteGTI) S 13403 13405 13258 0 -1 4194304 336 4355 0 0 0 0 138 3 16 0 1 0 310477038 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13405/statm: 1339 239 197 169 0 50 0
[pid=13411] ppid=13405 vsize=6840 CPUtime=24.05
/proc/13411/stat : 13411 (minisat_static) R 13405 13405 13258 0 -1 4194304 1558 0 0 0 2404 1 0 0 25 0 1 0 310477181 7004160 1544 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13411/statm: 1710 1544 76 171 0 1537 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 12196
[startup+51.1013 s]
/proc/loadavg: 1.00 1.00 1.01 2/66 13411
/proc/meminfo: memFree=1962232/2055920 swapFree=4178264/4192956
[pid=13405] ppid=13403 vsize=5356 CPUtime=1.41
/proc/13405/stat : 13405 (SatELiteGTI) S 13403 13405 13258 0 -1 4194304 336 4355 0 0 0 0 138 3 16 0 1 0 310477038 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13405/statm: 1339 239 197 169 0 50 0
[pid=13411] ppid=13405 vsize=7776 CPUtime=49.63
/proc/13411/stat : 13411 (minisat_static) R 13405 13405 13258 0 -1 4194304 1794 0 0 0 4961 2 0 0 25 0 1 0 310477181 7962624 1780 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/13411/statm: 1944 1780 76 171 0 1771 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 13132
[startup+102.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13411
/proc/meminfo: memFree=1960440/2055920 swapFree=4178264/4192956
[pid=13405] ppid=13403 vsize=5356 CPUtime=1.41
/proc/13405/stat : 13405 (SatELiteGTI) S 13403 13405 13258 0 -1 4194304 336 4355 0 0 0 0 138 3 16 0 1 0 310477038 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13405/statm: 1339 239 197 169 0 50 0
[pid=13411] ppid=13405 vsize=9636 CPUtime=100.82
/proc/13411/stat : 13411 (minisat_static) R 13405 13405 13258 0 -1 4194304 2252 0 0 0 10080 2 0 0 25 0 1 0 310477181 9867264 2238 1992294400 134512640 135215339 4294956240 18446744073709551615 134538488 0 0 4096 3 0 0 0 17 1 0 0
/proc/13411/statm: 2409 2238 76 171 0 2236 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 14992
[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13411
/proc/meminfo: memFree=1958136/2055920 swapFree=4178264/4192956
[pid=13405] ppid=13403 vsize=5356 CPUtime=1.41
/proc/13405/stat : 13405 (SatELiteGTI) S 13403 13405 13258 0 -1 4194304 336 4355 0 0 0 0 138 3 16 0 1 0 310477038 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13405/statm: 1339 239 197 169 0 50 0
[pid=13411] ppid=13405 vsize=11948 CPUtime=160.79
/proc/13411/stat : 13411 (minisat_static) R 13405 13405 13258 0 -1 4194304 2808 0 0 0 16076 3 0 0 25 0 1 0 310477181 12234752 2794 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13411/statm: 2987 2794 76 171 0 2814 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 17304
[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13411
/proc/meminfo: memFree=1955960/2055920 swapFree=4178264/4192956
[pid=13405] ppid=13403 vsize=5356 CPUtime=1.41
/proc/13405/stat : 13405 (SatELiteGTI) S 13403 13405 13258 0 -1 4194304 336 4355 0 0 0 0 138 3 16 0 1 0 310477038 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13405/statm: 1339 239 197 169 0 50 0
[pid=13411] ppid=13405 vsize=14060 CPUtime=220.77
/proc/13411/stat : 13411 (minisat_static) R 13405 13405 13258 0 -1 4194304 3310 0 0 0 22073 4 0 0 25 0 1 0 310477181 14397440 3296 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/13411/statm: 3515 3296 76 171 0 3342 0
Current children cumulated CPU time (s) 222.18
Current children cumulated vsize (KiB) 19416
[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13411
/proc/meminfo: memFree=1954296/2055920 swapFree=4178264/4192956
[pid=13405] ppid=13403 vsize=5356 CPUtime=1.41
/proc/13405/stat : 13405 (SatELiteGTI) S 13403 13405 13258 0 -1 4194304 336 4355 0 0 0 0 138 3 16 0 1 0 310477038 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13405/statm: 1339 239 197 169 0 50 0
[pid=13411] ppid=13405 vsize=15584 CPUtime=280.75
/proc/13411/stat : 13411 (minisat_static) R 13405 13405 13258 0 -1 4194304 3714 0 0 0 28071 4 0 0 25 0 1 0 310477181 15958016 3700 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13411/statm: 3896 3700 76 171 0 3723 0
Current children cumulated CPU time (s) 282.16
Current children cumulated vsize (KiB) 20940
[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13411
/proc/meminfo: memFree=1952440/2055920 swapFree=4178264/4192956
[pid=13405] ppid=13403 vsize=5356 CPUtime=1.41
/proc/13405/stat : 13405 (SatELiteGTI) S 13403 13405 13258 0 -1 4194304 336 4355 0 0 0 0 138 3 16 0 1 0 310477038 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13405/statm: 1339 239 197 169 0 50 0
[pid=13411] ppid=13405 vsize=17572 CPUtime=340.74
/proc/13411/stat : 13411 (minisat_static) R 13405 13405 13258 0 -1 4194304 4174 0 0 0 34069 5 0 0 25 0 1 0 310477181 17993728 4160 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 1 0 0
/proc/13411/statm: 4393 4160 76 171 0 4220 0
Current children cumulated CPU time (s) 342.15
Current children cumulated vsize (KiB) 22928
[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13411
/proc/meminfo: memFree=1950648/2055920 swapFree=4178264/4192956
[pid=13405] ppid=13403 vsize=5356 CPUtime=1.41
/proc/13405/stat : 13405 (SatELiteGTI) S 13403 13405 13258 0 -1 4194304 336 4355 0 0 0 0 138 3 16 0 1 0 310477038 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13405/statm: 1339 239 197 169 0 50 0
[pid=13411] ppid=13405 vsize=19216 CPUtime=400.72
/proc/13411/stat : 13411 (minisat_static) R 13405 13405 13258 0 -1 4194304 4597 0 0 0 40067 5 0 0 25 0 1 0 310477181 19677184 4583 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13411/statm: 4804 4583 76 171 0 4631 0
Current children cumulated CPU time (s) 402.13
################
# More data... #
################
[pid=13411] ppid=13405 vsize=22256 CPUtime=520.68
/proc/13411/stat : 13411 (minisat_static) R 13405 13405 13258 0 -1 4194304 5300 0 0 0 52062 6 0 0 25 0 1 0 310477181 22790144 5286 1992294400 134512640 135215339 4294956240 18446744073709551615 134529091 0 0 4096 3 0 0 0 17 1 0 0
/proc/13411/statm: 5564 5286 76 171 0 5391 0
Current children cumulated CPU time (s) 522.09
Current children cumulated vsize (KiB) 27612
[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13411
/proc/meminfo: memFree=1946232/2055920 swapFree=4178264/4192956
[pid=13405] ppid=13403 vsize=5356 CPUtime=1.41
/proc/13405/stat : 13405 (SatELiteGTI) S 13403 13405 13258 0 -1 4194304 336 4355 0 0 0 0 138 3 16 0 1 0 310477038 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13405/statm: 1339 239 197 169 0 50 0
[pid=13411] ppid=13405 vsize=23504 CPUtime=580.67
/proc/13411/stat : 13411 (minisat_static) R 13405 13405 13258 0 -1 4194304 5623 0 0 0 58060 7 0 0 25 0 1 0 310477181 24068096 5609 1992294400 134512640 135215339 4294956240 18446744073709551615 134539363 0 0 4096 3 0 0 0 17 1 0 0
/proc/13411/statm: 5876 5609 76 171 0 5703 0
Current children cumulated CPU time (s) 582.08
Current children cumulated vsize (KiB) 28860
[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13411
/proc/meminfo: memFree=1944696/2055920 swapFree=4178264/4192956
[pid=13405] ppid=13403 vsize=5356 CPUtime=1.41
/proc/13405/stat : 13405 (SatELiteGTI) S 13403 13405 13258 0 -1 4194304 336 4355 0 0 0 0 138 3 16 0 1 0 310477038 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13405/statm: 1339 239 197 169 0 50 0
[pid=13411] ppid=13405 vsize=24988 CPUtime=640.65
/proc/13411/stat : 13411 (minisat_static) R 13405 13405 13258 0 -1 4194304 5988 0 0 0 64058 7 0 0 25 0 1 0 310477181 25587712 5974 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13411/statm: 6247 5974 76 171 0 6074 0
Current children cumulated CPU time (s) 642.06
Current children cumulated vsize (KiB) 30344
[startup+702.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13411
/proc/meminfo: memFree=1943352/2055920 swapFree=4178264/4192956
[pid=13405] ppid=13403 vsize=5356 CPUtime=1.41
/proc/13405/stat : 13405 (SatELiteGTI) S 13403 13405 13258 0 -1 4194304 336 4355 0 0 0 0 138 3 16 0 1 0 310477038 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13405/statm: 1339 239 197 169 0 50 0
[pid=13411] ppid=13405 vsize=26120 CPUtime=700.62
/proc/13411/stat : 13411 (minisat_static) R 13405 13405 13258 0 -1 4194304 6279 0 0 0 70055 7 0 0 25 0 1 0 310477181 26746880 6265 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13411/statm: 6530 6265 76 171 0 6357 0
Current children cumulated CPU time (s) 702.03
Current children cumulated vsize (KiB) 31476
[startup+762.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13411
/proc/meminfo: memFree=1942072/2055920 swapFree=4178264/4192956
[pid=13405] ppid=13403 vsize=5356 CPUtime=1.41
/proc/13405/stat : 13405 (SatELiteGTI) S 13403 13405 13258 0 -1 4194304 336 4355 0 0 0 0 138 3 16 0 1 0 310477038 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13405/statm: 1339 239 197 169 0 50 0
[pid=13411] ppid=13405 vsize=27388 CPUtime=760.61
/proc/13411/stat : 13411 (minisat_static) R 13405 13405 13258 0 -1 4194304 6570 0 0 0 76053 8 0 0 25 0 1 0 310477181 28045312 6556 1992294400 134512640 135215339 4294956240 18446744073709551615 134532708 0 0 4096 3 0 0 0 17 1 0 0
/proc/13411/statm: 6847 6556 76 171 0 6674 0
Current children cumulated CPU time (s) 762.02
Current children cumulated vsize (KiB) 32744
[startup+822.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13411
/proc/meminfo: memFree=1941048/2055920 swapFree=4178264/4192956
[pid=13405] ppid=13403 vsize=5356 CPUtime=1.41
/proc/13405/stat : 13405 (SatELiteGTI) S 13403 13405 13258 0 -1 4194304 336 4355 0 0 0 0 138 3 16 0 1 0 310477038 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13405/statm: 1339 239 197 169 0 50 0
[pid=13411] ppid=13405 vsize=28376 CPUtime=820.58
/proc/13411/stat : 13411 (minisat_static) R 13405 13405 13258 0 -1 4194304 6825 0 0 0 82050 8 0 0 25 0 1 0 310477181 29057024 6811 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13411/statm: 7094 6811 76 171 0 6921 0
Current children cumulated CPU time (s) 821.99
Current children cumulated vsize (KiB) 33732
[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13411
/proc/meminfo: memFree=1939640/2055920 swapFree=4178264/4192956
[pid=13405] ppid=13403 vsize=5356 CPUtime=1.41
/proc/13405/stat : 13405 (SatELiteGTI) S 13403 13405 13258 0 -1 4194304 336 4355 0 0 0 0 138 3 16 0 1 0 310477038 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13405/statm: 1339 239 197 169 0 50 0
[pid=13411] ppid=13405 vsize=29836 CPUtime=880.57
/proc/13411/stat : 13411 (minisat_static) R 13405 13405 13258 0 -1 4194304 7154 0 0 0 88048 9 0 0 25 0 1 0 310477181 30552064 7140 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13411/statm: 7459 7140 76 171 0 7286 0
Current children cumulated CPU time (s) 881.98
Current children cumulated vsize (KiB) 35192
[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13411
/proc/meminfo: memFree=1938680/2055920 swapFree=4178264/4192956
[pid=13405] ppid=13403 vsize=5356 CPUtime=1.41
/proc/13405/stat : 13405 (SatELiteGTI) S 13403 13405 13258 0 -1 4194304 336 4355 0 0 0 0 138 3 16 0 1 0 310477038 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13405/statm: 1339 239 197 169 0 50 0
[pid=13411] ppid=13405 vsize=30760 CPUtime=940.55
/proc/13411/stat : 13411 (minisat_static) R 13405 13405 13258 0 -1 4194304 7374 0 0 0 94046 9 0 0 25 0 1 0 310477181 31498240 7360 1992294400 134512640 135215339 4294956240 18446744073709551615 134529186 0 0 4096 3 0 0 0 17 1 0 0
/proc/13411/statm: 7690 7360 76 171 0 7517 0
Current children cumulated CPU time (s) 941.96
Current children cumulated vsize (KiB) 36116
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13411
/proc/meminfo: memFree=1937592/2055920 swapFree=4178264/4192956
[pid=13405] ppid=13403 vsize=5356 CPUtime=1.41
/proc/13405/stat : 13405 (SatELiteGTI) S 13403 13405 13258 0 -1 4194304 336 4355 0 0 0 0 138 3 16 0 1 0 310477038 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13405/statm: 1339 239 197 169 0 50 0
[pid=13411] ppid=13405 vsize=31860 CPUtime=1000.53
/proc/13411/stat : 13411 (minisat_static) R 13405 13405 13258 0 -1 4194304 7642 0 0 0 100044 9 0 0 25 0 1 0 310477181 32624640 7628 1992294400 134512640 135215339 4294956240 18446744073709551615 134529426 0 0 4096 3 0 0 0 17 1 0 0
/proc/13411/statm: 7965 7628 76 171 0 7792 0
Current children cumulated CPU time (s) 1001.94
Current children cumulated vsize (KiB) 37216
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13411
/proc/meminfo: memFree=1936376/2055920 swapFree=4178264/4192956
[pid=13405] ppid=13403 vsize=5356 CPUtime=1.41
/proc/13405/stat : 13405 (SatELiteGTI) S 13403 13405 13258 0 -1 4194304 336 4355 0 0 0 0 138 3 16 0 1 0 310477038 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13405/statm: 1339 239 197 169 0 50 0
[pid=13411] ppid=13405 vsize=32912 CPUtime=1060.52
/proc/13411/stat : 13411 (minisat_static) R 13405 13405 13258 0 -1 4194304 7909 0 0 0 106042 10 0 0 25 0 1 0 310477181 33701888 7895 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13411/statm: 8228 7895 76 171 0 8055 0
Current children cumulated CPU time (s) 1061.93
Current children cumulated vsize (KiB) 38268
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13411
/proc/meminfo: memFree=1935352/2055920 swapFree=4178264/4192956
[pid=13405] ppid=13403 vsize=5356 CPUtime=1.41
/proc/13405/stat : 13405 (SatELiteGTI) S 13403 13405 13258 0 -1 4194304 336 4355 0 0 0 0 138 3 16 0 1 0 310477038 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13405/statm: 1339 239 197 169 0 50 0
[pid=13411] ppid=13405 vsize=33944 CPUtime=1120.5
/proc/13411/stat : 13411 (minisat_static) R 13405 13405 13258 0 -1 4194304 8148 0 0 0 112040 10 0 0 25 0 1 0 310477181 34758656 8134 1992294400 134512640 135215339 4294956240 18446744073709551615 134528806 0 0 4096 3 0 0 0 17 1 0 0
/proc/13411/statm: 8486 8134 76 171 0 8313 0
Current children cumulated CPU time (s) 1121.91
Current children cumulated vsize (KiB) 39300
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13411
/proc/meminfo: memFree=1934200/2055920 swapFree=4178264/4192956
[pid=13405] ppid=13403 vsize=5356 CPUtime=1.41
/proc/13405/stat : 13405 (SatELiteGTI) S 13403 13405 13258 0 -1 4194304 336 4355 0 0 0 0 138 3 16 0 1 0 310477038 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13405/statm: 1339 239 197 169 0 50 0
[pid=13411] ppid=13405 vsize=35048 CPUtime=1180.48
/proc/13411/stat : 13411 (minisat_static) R 13405 13405 13258 0 -1 4194304 8412 0 0 0 118038 10 0 0 25 0 1 0 310477181 35889152 8398 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13411/statm: 8762 8398 76 171 0 8589 0
Current children cumulated CPU time (s) 1181.89
Current children cumulated vsize (KiB) 40404
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13411
/proc/meminfo: memFree=1933944/2055920 swapFree=4178264/4192956
[pid=13405] ppid=13403 vsize=5356 CPUtime=1.41
/proc/13405/stat : 13405 (SatELiteGTI) S 13403 13405 13258 0 -1 4194304 336 4355 0 0 0 0 138 3 16 0 1 0 310477038 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13405/statm: 1339 239 197 169 0 50 0
[pid=13411] ppid=13405 vsize=35324 CPUtime=1198.68
/proc/13411/stat : 13411 (minisat_static) R 13405 13405 13258 0 -1 4194304 8480 0 0 0 119858 10 0 0 25 0 1 0 310477181 36171776 8466 1992294400 134512640 135215339 4294956240 18446744073709551615 134532661 0 0 4096 3 0 0 0 17 1 0 0
/proc/13411/statm: 8831 8466 76 171 0 8658 0
Current children cumulated CPU time (s) 1200.09
Current children cumulated vsize (KiB) 40680
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1200.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13411
/proc/meminfo: memFree=1933944/2055920 swapFree=4178264/4192956
[pid=13405] ppid=13403 vsize=5356 CPUtime=1.41
/proc/13405/stat : 13405 (SatELiteGTI) S 13403 13405 13258 0 -1 4194304 336 4355 0 0 0 0 138 3 16 0 1 0 310477038 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13405/statm: 1339 239 197 169 0 50 0
[pid=13411] ppid=13405 vsize=35324 CPUtime=1198.68
/proc/13411/stat : 13411 (minisat_static) R 13405 13405 13258 0 -1 4194304 8480 0 0 0 119858 10 0 0 25 0 1 0 310477181 36171776 8466 1992294400 134512640 135215339 4294956240 18446744073709551615 134532661 0 0 4096 3 0 0 0 17 1 0 0
/proc/13411/statm: 8831 8466 76 171 0 8658 0
Current children cumulated CPU time (s) 1200.09
Current children cumulated vsize (KiB) 40680
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.51
CPU time (s): 1200.13
CPU user time (s): 1199.98
CPU system time (s): 0.150977
CPU usage (%): 99.968
Max. virtual memory (cumulated for all children) (KiB): 40680
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.98
system time used= 0.150977
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13178
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= 16
involuntary context switches= 3454
runsolver used 1.3298 second user time and 3.10553 second system time
The end
Begin job on node64 at 2009-05-20 15:01:41
IDJOB=1833685
IDBENCH=70868
IDSOLVER=671
FILE ID=node64/1833685-1242824501
PBS_JOBID= 9322553
Free space on /tmp= 66348 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/APPLICATIONS/crypto/desgen/gss-23-s100.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1833685-1242824501/watcher-1833685-1242824501 -o /tmp/evaluation-result-1833685-1242824501/solver-1833685-1242824501 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1833685-1242824501.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= aa3fff3e05d3f50a3d088c22afa455ea
RANDOM SEED=126926642
node64.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.218
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.218
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: 1975144 kB
Buffers: 14696 kB
Cached: 29512 kB
SwapCached: 8084 kB
Active: 18188 kB
Inactive: 35560 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1975144 kB
SwapTotal: 4192956 kB
SwapFree: 4178264 kB
Dirty: 3088 kB
Writeback: 0 kB
Mapped: 14684 kB
Slab: 12800 kB
Committed_AS: 911572 kB
PageTables: 1396 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264960 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66340 MiB
End job on node64 at 2009-05-20 15:21:44