0.00/0.00 c Parsing...
0.03/0.09 c ==============================================================================
0.03/0.09 c | | ORIGINAL | LEARNT | |
0.03/0.09 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.03/0.09 c ==============================================================================
0.03/0.09 c | 0 | 97364 229838 | 29209 0 0 nan | 0.000 % |
1.22/1.26 c | 0 | 60515 180710 | -- 0 -- -- | -- | -36729/-48704
1.22/1.26 c ==============================================================================
1.22/1.26 c Result : #vars: 14564 #clauses: 60515 #literals: 180710
1.22/1.26 c CPU time: 1.21 s
1.22/1.26 c ==============================================================================
1.32/1.33 c This is MiniSat 2.0 beta
1.32/1.33 c WARNING: for repeatability, setting FPU to use double precision
1.32/1.33 c ============================[ Problem Statistics ]=============================
1.32/1.33 c | |
1.32/1.33 c | Number of variables: 14564 |
1.32/1.33 c | Number of clauses: 60515 |
1.32/1.37 c | Parsing time: 0.04 s |
1.32/1.38 c ============================[ Search Statistics ]==============================
1.32/1.38 c | Conflicts | ORIGINAL | LEARNT | Progress |
1.32/1.38 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
1.32/1.38 c ===============================================================================
1.32/1.38 c | 0 | 14564 60515 180710 | 20171 0 nan | 0.000 % |
1.33/1.42 c | 103 | 14544 60515 180710 | 20171 98 59 | 1.991 % |
1.33/1.70 c | 203 | 14544 60515 180710 | 20171 198 58 | 1.991 % |
1.33/2.07 c | 303 | 14274 58960 176694 | 20171 296 54 | 1.991 % |
2.23/2.26 c | 413 | 14274 58960 176694 | 20171 406 58 | 1.991 % |
2.42/2.50 c | 515 | 14274 58960 176694 | 20171 508 59 | 1.991 % |
2.82/2.85 c | 626 | 14274 58960 176694 | 20171 619 56 | 1.991 % |
3.02/3.03 c | 749 | 14274 58960 176694 | 20171 742 55 | 1.991 % |
3.12/3.21 c | 849 | 14274 58960 176694 | 20171 842 52 | 1.991 % |
3.52/3.55 c | 959 | 14274 58960 176694 | 20171 952 50 | 1.991 % |
3.92/3.92 c | 1080 | 14274 58960 176694 | 20171 1073 48 | 1.991 % |
4.32/4.34 c | 1214 | 14274 58960 176694 | 20171 1207 46 | 1.991 % |
4.82/4.83 c | 1314 | 14274 58960 176694 | 20171 1307 46 | 1.991 % |
5.12/5.11 c | 1425 | 14274 58960 176694 | 20171 1418 45 | 1.991 % |
5.53/5.59 c | 1547 | 14274 58960 176694 | 20171 1540 45 | 1.991 % |
6.02/6.07 c | 1680 | 14274 58960 176694 | 20171 1673 44 | 1.991 % |
6.52/6.61 c | 1828 | 14274 58960 176694 | 20171 1821 43 | 1.991 % |
6.92/7.00 c | 1929 | 14274 58960 176694 | 20171 1922 43 | 1.991 % |
7.42/7.46 c | 2039 | 14274 58960 176694 | 20171 2032 42 | 1.991 % |
7.92/7.95 c | 2160 | 14274 58960 176694 | 20171 2153 42 | 1.991 % |
8.52/8.57 c | 2293 | 14274 58960 176694 | 20171 2286 42 | 1.991 % |
9.22/9.27 c | 2439 | 14274 58960 176694 | 20171 2432 41 | 1.991 % |
9.82/9.85 c | 2599 | 14274 58960 176694 | 20171 2592 43 | 1.991 % |
9.93/9.94 c | 2701 | 14274 58960 176694 | 20171 2694 43 | 1.991 % |
10.32/10.34 c | 2811 | 14274 58960 176694 | 20171 2804 44 | 1.991 % |
11.03/11.03 c | 2933 | 14274 58960 176694 | 20171 2926 43 | 1.991 % |
11.42/11.51 c | 3066 | 14274 58960 176694 | 20171 3059 43 | 1.991 % |
12.13/12.17 c | 3213 | 14274 58960 176694 | 20171 3206 43 | 1.991 % |
12.72/12.75 c | 3374 | 14274 58960 176694 | 20171 3367 42 | 1.991 % |
13.42/13.50 c | 3550 | 14274 58960 176694 | 20171 3543 42 | 1.991 % |
13.82/13.89 c | 3650 | 14274 58960 176694 | 20171 3643 42 | 1.991 % |
14.22/14.23 c | 3761 | 14274 58960 176694 | 20171 3754 42 | 1.991 % |
14.72/14.76 c | 3882 | 14274 58960 176694 | 20171 3875 42 | 1.991 % |
15.32/15.40 c | 4016 | 14274 58960 176694 | 20171 4009 41 | 1.991 % |
16.12/16.14 c | 4163 | 14274 58960 176694 | 20171 4156 41 | 1.991 % |
16.92/17.01 c | 4325 | 14274 58960 176694 | 20171 4318 41 | 1.991 % |
17.63/17.63 c | 4501 | 14274 58960 176694 | 20171 4494 41 | 1.991 % |
18.52/18.57 c | 4694 | 14274 58960 176694 | 20171 4687 41 | 1.991 % |
18.92/18.94 c | 4795 | 14274 58960 176694 | 20171 4788 41 | 1.991 % |
19.42/19.41 c | 4906 | 14274 58960 176694 | 20171 4899 41 | 1.991 % |
19.72/19.72 c | 5028 | 14274 58960 176694 | 20171 5021 41 | 1.991 % |
20.22/20.25 c | 5162 | 14274 58960 176694 | 20171 5155 41 | 1.991 % |
20.62/20.70 c | 5308 | 14274 58960 176694 | 20171 5301 41 | 1.991 % |
20.93/20.99 c | 5470 | 14274 58960 176694 | 20171 5463 42 | 1.991 % |
21.53/21.53 c | 5647 | 14274 58960 176694 | 20171 5640 42 | 1.991 % |
22.33/22.35 c | 5840 | 14274 58960 176694 | 20171 5833 42 | 1.991 % |
23.43/23.50 c | 6052 | 14274 58960 176694 | 20171 6045 41 | 1.991 % |
23.93/24.00 c | 6153 | 14274 58960 176694 | 20171 6146 41 | 1.991 % |
24.33/24.39 c | 6263 | 14274 58960 176694 | 20171 6256 41 | 1.991 % |
25.03/25.05 c | 6385 | 14274 58960 176694 | 20171 6378 41 | 1.991 % |
25.73/25.79 c | 6519 | 14274 58960 176694 | 20171 6512 40 | 1.991 % |
26.23/26.31 c | 6666 | 14274 58960 176694 | 20171 6659 40 | 1.991 % |
27.13/27.17 c | 6827 | 14274 58960 176694 | 20171 6820 40 | 1.991 % |
27.93/28.01 c | 7004 | 14274 58960 176694 | 20171 6997 40 | 1.991 % |
28.73/28.74 c | 7198 | 14274 58960 176694 | 20171 7191 40 | 1.991 % |
29.33/29.38 c | 7412 | 14274 58960 176694 | 20171 7405 40 | 1.991 % |
30.43/30.46 c | 7645 | 14274 58960 176694 | 20171 7638 41 | 1.991 % |
30.73/30.75 c | 7747 | 14274 58960 176694 | 20171 7740 41 | 1.991 % |
31.13/31.15 c | 7857 | 14274 58960 176694 | 20171 7850 41 | 1.991 % |
31.63/31.69 c | 7978 | 14274 58960 176694 | 20171 7971 41 | 1.991 % |
32.03/32.07 c | 8111 | 14274 58960 176694 | 20171 8104 41 | 1.991 % |
32.63/32.69 c | 8257 | 14274 58960 176694 | 20171 8250 41 | 1.991 % |
33.43/33.49 c | 8417 | 14274 58960 176694 | 20171 8410 40 | 1.991 % |
34.33/34.34 c | 8595 | 14274 58960 176694 | 20171 8588 40 | 1.991 % |
35.23/35.28 c | 8788 | 14274 58960 176694 | 20171 8781 40 | 1.991 % |
36.03/36.06 c | 9000 | 14274 58960 176694 | 20171 8993 40 | 1.991 % |
37.03/37.04 c | 9233 | 14274 58960 176694 | 20171 9226 40 | 1.991 % |
38.03/38.10 c | 9491 | 14274 58960 176694 | 20171 9484 40 | 1.991 % |
38.53/38.59 c | 9591 | 14274 58960 176694 | 20171 9584 40 | 1.991 % |
39.03/39.09 c | 9702 | 14274 58960 176694 | 20171 9695 40 | 1.991 % |
39.53/39.60 c | 9823 | 14274 58960 176694 | 20171 9816 40 | 1.991 % |
40.23/40.24 c | 9956 | 14274 58960 176694 | 20171 9949 40 | 1.991 % |
40.83/40.83 c | 10102 | 14274 58960 176694 | 2147483647 10095 40 | 1.991 % |
41.33/41.38 c | 10263 | 14274 58960 176694 | 2147483647 10256 40 | 1.991 % |
42.13/42.18 c | 10440 | 14274 58960 176694 | 2147483647 10433 40 | 1.991 % |
43.03/43.06 c | 10634 | 14274 58960 176694 | 2147483647 10627 39 | 1.991 % |
44.03/44.05 c | 10846 | 14274 58960 176694 | 2147483647 10839 39 | 1.991 % |
45.33/45.34 c | 11079 | 14274 58960 176694 | 2147483647 11072 39 | 1.991 % |
46.43/46.48 c | 11336 | 14274 58960 176694 | 2147483647 11329 39 | 1.991 % |
47.93/47.95 c | 11618 | 14274 58960 176694 | 2147483647 11611 39 | 1.991 % |
48.43/48.46 c | 11719 | 14274 58960 176694 | 2147483647 11712 39 | 1.991 % |
49.03/49.07 c | 11831 | 14274 58960 176694 | 2147483647 11824 39 | 1.991 % |
49.63/49.63 c | 11953 | 14274 58960 176694 | 2147483647 11946 39 | 1.991 % |
50.13/50.14 c | 12086 | 14274 58960 176694 | 2147483647 12079 38 | 1.991 % |
50.83/50.85 c | 12233 | 14274 58960 176694 | 2147483647 12226 38 | 1.991 % |
51.43/51.50 c | 12393 | 14274 58960 176694 | 2147483647 12386 38 | 1.991 % |
52.13/52.20 c | 12571 | 14274 58960 176694 | 2147483647 12564 39 | 1.991 % |
52.83/52.88 c | 12764 | 14274 58960 176694 | 2147483647 12757 38 | 1.991 % |
53.63/53.69 c | 12976 | 14274 58960 176694 | 2147483647 12969 38 | 1.991 % |
54.73/54.81 c | 13210 | 14274 58960 176694 | 2147483647 13203 38 | 1.991 % |
56.03/56.09 c | 13467 | 14274 58960 176694 | 2147483647 13460 38 | 1.991 % |
56.93/57.01 c | 13748 | 14274 58960 176694 | 2147483647 13741 39 | 1.991 % |
58.03/58.04 c | 14058 | 14274 58960 176694 | 2147483647 14051 39 | 1.991 % |
58.23/58.27 c | 14160 | 14274 58960 176694 | 2147483647 14153 39 | 1.991 % |
58.63/58.71 c | 14270 | 14274 58960 176694 | 2147483647 14263 39 | 1.991 % |
59.23/59.26 c | 14393 | 14274 58960 176694 | 2147483647 14386 39 | 1.991 % |
59.83/59.84 c | 14526 | 14274 58960 176694 | 2147483647 14519 39 | 1.991 % |
60.43/60.44 c | 14673 | 14274 58960 176694 | 2147483647 14666 39 | 1.991 % |
61.03/61.09 c | 14834 | 14274 58960 176694 | 2147483647 14827 39 | 1.991 % |
61.93/61.96 c | 15010 | 14274 58960 176694 | 2147483647 15003 39 | 1.991 % |
62.93/63.02 c | 15203 | 14274 58960 176694 | 2147483647 15196 39 | 1.991 % |
64.03/64.09 c | 15415 | 14274 58960 176694 | 2147483647 15408 39 | 1.991 % |
65.13/65.20 c | 15648 | 14274 58960 176694 | 2147483647 15641 39 | 1.991 % |
65.43/65.51 c | 15904 | 14274 58960 176694 | 2147483647 15897 39 | 1.991 % |
66.23/66.32 c | 16186 | 14274 58960 176694 | 2147483647 16179 39 | 1.991 % |
67.53/67.54 c | 16496 | 14274 58960 176694 | 2147483647 16489 39 | 1.991 % |
68.93/68.95 c | 16836 | 14274 58960 176694 | 2147483647 16829 39 | 1.991 % |
69.33/69.37 c | 16937 | 14274 58960 176694 | 2147483647 16930 39 | 1.991 % |
69.83/69.84 c | 17048 | 14274 58960 176694 | 2147483647 17041 39 | 1.991 % |
70.23/70.29 c | 17170 | 14274 58960 176694 | 2147483647 17163 39 | 1.991 % |
70.93/71.00 c | 17304 | 14274 58960 176694 | 2147483647 17297 39 | 1.991 % |
71.53/71.56 c | 17451 | 14274 58960 176694 | 2147483647 17444 39 | 1.991 % |
72.13/72.21 c | 17612 | 14274 58960 176694 | 2147483647 17605 39 | 1.991 % |
72.73/72.80 c | 17788 | 14274 58960 176694 | 2147483647 17781 40 | 1.991 % |
73.53/73.54 c | 17982 | 14274 58960 176694 | 2147483647 17975 40 | 1.991 % |
74.63/74.70 c | 18195 | 14274 58960 176694 | 2147483647 18188 39 | 1.991 % |
75.83/75.84 c | 18428 | 14274 58960 176694 | 2147483647 18421 39 | 1.991 % |
77.13/77.14 c | 18685 | 14274 58960 176694 | 2147483647 18678 39 | 1.991 % |
78.43/78.42 c | 18966 | 14274 58960 176694 | 2147483647 18959 39 | 1.991 % |
80.03/80.07 c | 19275 | 14274 58960 176694 | 2147483647 19268 39 | 1.991 % |
81.13/81.16 c | 19615 | 14274 58960 176694 | 2147483647 19608 40 | 1.991 % |
82.83/82.87 c | 19987 | 14274 58960 176694 | 2147483647 19980 40 | 1.991 % |
83.13/83.20 c | 20087 | 14274 58960 176694 | 2147483647 20080 40 | 1.991 % |
83.53/83.56 c | 20197 | 14274 58960 176694 | 2147483647 20190 40 | 1.991 % |
83.93/83.97 c | 20318 | 14274 58960 176694 | 2147483647 20311 40 | 1.991 % |
84.43/84.49 c | 20451 | 14274 58960 176694 | 2147483647 20444 40 | 1.991 % |
85.03/85.10 c | 20598 | 14274 58960 176694 | 2147483647 20591 40 | 1.991 % |
85.93/85.93 c | 20758 | 14274 58960 176694 | 2147483647 20751 40 | 1.991 % |
86.93/86.92 c | 20934 | 14274 58960 176694 | 2147483647 20927 40 | 1.991 % |
87.83/87.88 c | 21128 | 14274 58960 176694 | 2147483647 21121 40 | 1.991 % |
88.63/88.66 c | 21340 | 14274 58960 176694 | 2147483647 21333 40 | 1.991 % |
89.73/89.79 c | 21573 | 14274 58960 176694 | 2147483647 21566 40 | 1.991 % |
91.13/91.12 c | 21830 | 14274 58960 176694 | 2147483647 21823 40 | 1.991 % |
92.23/92.32 c | 22113 | 14274 58960 176694 | 2147483647 22106 40 | 1.991 % |
93.72/93.78 c | 22422 | 14274 58960 176694 | 2147483647 22415 40 | 1.991 % |
95.52/95.54 c | 22761 | 14274 58960 176694 | 2147483647 22754 40 | 1.991 % |
97.32/97.36 c | 23133 | 14274 58960 176694 | 2147483647 23126 40 | 1.991 % |
99.52/99.53 c | 23542 | 14274 58960 176694 | 2147483647 23535 40 | 1.991 % |
100.13/100.13 c | 23642 | 14274 58960 176694 | 2147483647 23635 39 | 1.991 % |
100.62/100.69 c | 23752 | 14274 58960 176694 | 2147483647 23745 39 | 1.991 % |
100.92/100.94 c | 23875 | 14274 58960 176694 | 2147483647 23868 40 | 1.991 % |
101.42/101.44 c | 24008 | 14274 58960 176694 | 2147483647 24001 40 | 1.991 % |
101.92/101.98 c | 24155 | 14274 58960 176694 | 2147483647 24148 40 | 1.991 % |
102.42/102.42 c | 24317 | 14274 58960 176694 | 2147483647 24310 40 | 1.991 % |
102.92/102.97 c | 24494 | 14274 58960 176694 | 2147483647 24487 40 | 1.991 % |
103.82/103.81 c | 24689 | 14274 58960 176694 | 2147483647 24682 40 | 1.991 % |
104.72/104.77 c | 24902 | 14274 58960 176694 | 2147483647 24895 40 | 1.991 % |
105.72/105.72 c | 25135 | 14274 58960 176694 | 2147483647 25128 40 | 1.991 % |
106.73/106.78 c | 25393 | 14274 58960 176694 | 2147483647 25386 40 | 1.991 % |
107.92/107.95 c | 25677 | 14274 58960 176694 | 2147483647 25670 40 | 1.991 % |
109.02/109.08 c | 25987 | 14274 58960 176694 | 2147483647 25980 40 | 1.991 % |
110.42/110.51 c | 26326 | 14274 58960 176694 | 2147483647 26319 40 | 1.991 % |
111.52/111.59 c | 26698 | 14274 58960 176694 | 2147483647 26691 40 | 1.991 % |
113.52/113.53 c | 27108 | 14274 58960 176694 | 2147483647 27101 40 | 1.991 % |
115.42/115.47 c | 27557 | 14274 58960 176694 | 2147483647 27550 40 | 1.991 % |
115.92/115.93 c | 27657 | 14274 58960 176694 | 2147483647 27650 40 | 1.991 % |
116.42/116.48 c | 27767 | 14274 58960 176694 | 2147483647 27760 40 | 1.991 % |
117.12/117.17 c | 27888 | 14274 58960 176694 | 2147483647 27881 40 | 1.991 % |
117.82/117.81 c | 28021 | 14274 58960 176694 | 2147483647 28014 40 | 1.991 % |
118.42/118.49 c | 28168 | 14274 58960 176694 | 2147483647 28161 40 | 1.991 % |
119.02/119.07 c | 28328 | 14274 58960 176694 | 2147483647 28321 40 | 1.991 % |
119.72/119.79 c | 28505 | 14274 58960 176694 | 2147483647 28498 40 | 1.991 % |
120.52/120.53 c | 28698 | 14274 58960 176694 | 2147483647 28691 41 | 1.991 % |
121.62/121.66 c | 28911 | 14274 58960 176694 | 2147483647 28904 41 | 1.991 % |
122.42/122.50 c | 29145 | 14274 58960 176694 | 2147483647 29138 41 | 1.991 % |
123.42/123.50 c | 29402 | 14274 58960 176694 | 2147483647 29395 41 | 1.991 % |
124.33/124.40 c | 29683 | 14274 58960 176694 | 2147483647 29676 41 | 1.991 % |
125.72/125.73 c | 29993 | 14274 58960 176694 | 2147483647 29986 41 | 1.991 % |
126.82/126.89 c | 30333 | 14274 58960 176694 | 2147483647 30326 41 | 1.991 % |
127.92/127.91 c | 30705 | 14274 58960 176694 | 2147483647 30698 41 | 1.991 % |
129.32/129.34 c | 31115 | 14274 58960 176694 | 2147483647 31108 42 | 1.991 % |
129.72/129.76 c | 31564 | 14274 58960 176694 | 2147483647 31557 42 | 1.991 % |
132.12/132.14 c | 32057 | 14274 58960 176694 | 2147483647 32050 43 | 1.991 % |
132.32/132.38 c | 32157 | 14274 58960 176694 | 2147483647 32150 43 | 1.991 % |
132.82/132.86 c | 32267 | 14274 58960 176694 | 2147483647 32260 43 | 1.991 % |
133.32/133.33 c | 32388 | 14274 58960 176694 | 2147483647 32381 43 | 1.991 % |
133.82/133.81 c | 32522 | 14274 58960 176694 | 2147483647 32515 43 | 1.991 % |
134.42/134.49 c | 32671 | 14274 58960 176694 | 2147483647 32664 43 | 1.991 % |
135.02/135.09 c | 32832 | 14274 58960 176694 | 2147483647 32825 43 | 1.991 % |
135.92/135.97 c | 33010 | 14274 58960 176694 | 2147483647 33003 43 | 1.991 % |
136.72/136.77 c | 33204 | 14274 58960 176694 | 2147483647 33197 43 | 1.991 % |
137.62/137.70 c | 33417 | 14274 58960 176694 | 2147483647 33410 43 | 1.991 % |
138.82/138.83 c | 33651 | 14274 58960 176694 | 2147483647 33644 43 | 1.991 % |
140.12/140.20 c | 33908 | 14274 58960 176694 | 2147483647 33901 43 | 1.991 % |
141.72/141.75 c | 34189 | 14274 58960 176694 | 2147483647 34182 43 | 1.991 % |
143.12/143.16 c | 34500 | 14274 58960 176694 | 2147483647 34493 43 | 1.991 % |
144.52/144.51 c | 34839 | 14274 58960 176694 | 2147483647 34832 43 | 1.991 % |
146.22/146.31 c | 35212 | 14274 58960 176694 | 2147483647 35205 43 | 1.991 % |
148.03/148.01 c | 35622 | 14274 58960 176694 | 2147483647 35615 43 | 1.991 % |
150.03/150.04 c | 36071 | 14274 58960 176694 | 2147483647 36064 43 | 1.991 % |
152.23/152.27 c | 36565 | 14274 58960 176694 | 2147483647 36558 43 | 1.991 % |
154.83/154.88 c | 37107 | 14274 58960 176694 | 2147483647 37100 43 | 1.991 % |
155.23/155.26 c | 37207 | 14274 58960 176694 | 2147483647 37200 43 | 1.991 % |
155.43/155.49 c | 37318 | 14274 58960 176694 | 2147483647 37311 43 | 1.991 % |
156.03/156.05 c | 37440 | 14274 58960 176694 | 2147483647 37433 43 | 1.991 % |
156.43/156.48 c | 37573 | 14274 58960 176694 | 2147483647 37566 43 | 1.991 % |
157.23/157.25 c | 37721 | 14274 58960 176694 | 2147483647 37714 43 | 1.991 % |
158.13/158.12 c | 37882 | 14274 58960 176694 | 2147483647 37875 43 | 1.991 % |
158.83/158.91 c | 38058 | 14274 58960 176694 | 2147483647 38051 43 | 1.991 % |
159.93/159.98 c | 38251 | 14274 58960 176694 | 2147483647 38244 43 | 1.991 % |
160.93/161.01 c | 38463 | 14274 58960 176694 | 2147483647 38456 43 | 1.991 % |
162.23/162.29 c | 38696 | 14274 58960 176694 | 2147483647 38689 43 | 1.991 % |
163.03/163.05 c | 38952 | 14274 58960 176694 | 2147483647 38945 43 | 1.991 % |
164.53/164.60 c | 39233 | 14274 58960 176694 | 2147483647 39226 43 | 1.991 % |
166.13/166.21 c | 39542 | 14274 58960 176694 | 2147483647 39535 43 | 1.991 % |
168.33/168.32 c | 39882 | 14274 58960 176694 | 2147483647 39875 43 | 1.991 % |
170.63/170.68 c | 40254 | 14274 58960 176694 | 2147483647 40247 43 | 1.991 % |
173.33/173.38 c | 40664 | 14274 58960 176694 | 2147483647 40657 43 | 1.991 % |
175.73/175.79 c | 41115 | 14274 58960 176694 | 2147483647 41108 43 | 1.991 % |
178.03/178.10 c | 41609 | 14274 58960 176694 | 2147483647 41602 43 | 1.991 % |
181.23/181.26 c | 42152 | 14274 58960 176694 | 2147483647 42145 43 | 1.991 % |
184.83/184.90 c | 42748 | 14274 58960 176694 | 2147483647 42741 43 | 1.991 % |
185.43/185.50 c | 42849 | 14274 58960 176694 | 2147483647 42842 43 | 1.991 % |
186.03/186.02 c | 42959 | 14274 58960 176694 | 2147483647 42952 43 | 1.991 % |
186.53/186.59 c | 43081 | 14274 58960 176694 | 2147483647 43074 43 | 1.991 % |
187.33/187.41 c | 43215 | 14274 58960 176694 | 2147483647 43208 43 | 1.991 % |
188.13/188.11 c | 43361 | 14274 58960 176694 | 2147483647 43354 43 | 1.991 % |
188.53/188.55 c | 43521 | 14274 58960 176694 | 2147483647 43514 43 | 1.991 % |
189.23/189.25 c | 43697 | 14274 58960 176694 | 2147483647 43690 43 | 1.991 % |
190.23/190.25 c | 43891 | 14274 58960 176694 | 2147483647 43884 43 | 1.991 % |
191.43/191.42 c | 44104 | 14274 58960 176694 | 2147483647 44097 43 | 1.991 % |
192.63/192.67 c | 44338 | 14274 58960 176694 | 2147483647 44331 43 | 1.991 % |
193.83/193.89 c | 44595 | 14274 58960 176694 | 2147483647 44588 43 | 1.991 % |
194.73/194.79 c | 44878 | 14274 58960 176694 | 2147483647 44871 43 | 1.991 % |
195.93/195.96 c | 45188 | 14274 58960 176694 | 2147483647 45181 43 | 1.991 % |
197.93/197.95 c | 45527 | 14274 58960 176694 | 2147483647 45520 43 | 1.991 % |
199.13/199.16 c | 45900 | 14274 58960 176694 | 2147483647 45893 43 | 1.991 % |
201.63/201.70 c | 46309 | 14274 58960 176694 | 2147483647 46302 43 | 1.991 % |
204.33/204.40 c | 46760 | 14274 58960 176694 | 2147483647 46753 43 | 1.991 % |
207.33/207.33 c | 47254 | 14274 58960 176694 | 2147483647 47247 43 | 1.991 % |
210.23/210.27 c | 47796 | 14274 58960 176694 | 2147483647 47789 43 | 1.991 % |
213.83/213.83 c | 48393 | 14274 58960 176694 | 2147483647 48386 43 | 1.991 % |
217.83/217.87 c | 49049 | 14274 58960 176694 | 2147483647 49042 43 | 1.991 % |
218.53/218.54 c | 49150 | 14274 58960 176694 | 2147483647 49143 43 | 1.991 % |
219.03/219.04 c | 49260 | 14274 58960 176694 | 2147483647 49253 43 | 1.991 % |
219.53/219.60 c | 49381 | 14274 58960 176694 | 2147483647 49374 43 | 1.991 % |
219.93/220.01 c | 49514 | 14274 58960 176694 | 2147483647 49507 43 | 1.991 % |
220.83/220.91 c | 49661 | 14274 58960 176694 | 2147483647 49654 43 | 1.991 % |
221.73/221.81 c | 49821 | 14274 58960 176694 | 2147483647 49814 43 | 1.991 % |
222.53/222.54 c | 49999 | 14274 58960 176694 | 2147483647 49992 43 | 1.991 % |
223.23/223.25 c | 50192 | 14274 58960 176694 | 2147483647 50185 43 | 1.991 % |
224.53/224.57 c | 50404 | 14274 58960 176694 | 2147483647 50397 43 | 1.991 % |
225.93/226.01 c | 50638 | 14274 58960 176694 | 2147483647 50631 43 | 1.991 % |
226.23/226.25 c | 50894 | 14274 58960 176694 | 2147483647 50887 43 | 1.991 % |
227.93/227.94 c | 51176 | 14274 58960 176694 | 2147483647 51169 43 | 1.991 % |
229.43/229.49 c | 51488 | 14274 58960 176694 | 2147483647 51481 43 | 1.991 % |
231.13/231.16 c | 51827 | 14274 58960 176694 | 2147483647 51820 43 | 1.991 % |
232.73/232.80 c | 52199 | 14274 58960 176694 | 2147483647 52192 43 | 1.991 % |
234.53/234.57 c | 52609 | 14274 58960 176694 | 2147483647 52602 43 | 1.991 % |
236.83/236.89 c | 53060 | 14274 58960 176694 | 2147483647 53053 43 | 1.991 % |
239.23/239.23 c | 53553 | 14274 58960 176694 | 2147483647 53546 44 | 1.991 % |
242.23/242.25 c | 54095 | 14274 58960 176694 | 2147483647 54088 44 | 1.991 % |
246.03/246.10 c | 54691 | 14274 58960 176694 | 2147483647 54684 44 | 1.991 % |
248.13/248.16 c | 55346 | 14274 58960 176694 | 2147483647 55339 44 | 1.991 % |
252.13/252.15 c | 56066 | 14274 58960 176694 | 2147483647 56059 44 | 1.991 % |
252.73/252.73 c | 56167 | 14274 58960 176694 | 2147483647 56160 44 | 1.991 % |
253.13/253.17 c | 56278 | 14274 58960 176694 | 2147483647 56271 44 | 1.991 % |
253.63/253.67 c | 56399 | 14274 58960 176694 | 2147483647 56392 44 | 1.991 % |
254.33/254.36 c | 56533 | 14274 58960 176694 | 2147483647 56526 44 | 1.991 % |
255.43/255.46 c | 56679 | 14274 58960 176694 | 2147483647 56672 44 | 1.991 % |
256.34/256.40 c | 56841 | 14274 58960 176694 | 2147483647 56834 44 | 1.991 % |
257.33/257.32 c | 57017 | 14274 58960 176694 | 2147483647 57010 44 | 1.991 % |
258.33/258.32 c | 57212 | 14274 58960 176694 | 2147483647 57205 44 | 1.991 % |
259.64/259.65 c | 57424 | 14274 58960 176694 | 2147483647 57417 44 | 1.991 % |
260.63/260.65 c | 57657 | 14274 58960 176694 | 2147483647 57650 44 | 1.991 % |
261.93/261.96 c | 57914 | 14274 58960 176694 | 2147483647 57907 44 | 1.991 % |
264.04/264.02 c | 58195 | 14274 58960 176694 | 2147483647 58188 44 | 1.991 % |
266.24/266.25 c | 58505 | 14274 58960 176694 | 2147483647 58498 44 | 1.991 % |
268.13/268.20 c | 58845 | 14274 58960 176694 | 2147483647 58838 44 | 1.991 % |
270.64/270.69 c | 59218 | 14274 58960 176694 | 2147483647 59211 44 | 1.991 % |
273.24/273.30 c | 59627 | 14274 58960 176694 | 2147483647 59620 44 | 1.991 % |
275.94/275.92 c | 60077 | 14274 58960 176694 | 2147483647 60070 44 | 1.991 % |
279.04/279.03 c | 60570 | 14274 58960 176694 | 2147483647 60563 44 | 1.991 % |
282.24/282.28 c | 61113 | 14274 58960 176694 | 2147483647 61106 44 | 1.991 % |
286.14/286.13 c | 61711 | 14274 58960 176694 | 2147483647 61704 44 | 1.991 % |
290.24/290.26 c | 62367 | 14274 58960 176694 | 2147483647 62360 44 | 1.991 % |
294.44/294.45 c | 63087 | 14274 58960 176694 | 2147483647 63080 44 | 1.991 % |
298.94/298.98 c | 63879 | 14274 58960 176694 | 2147483647 63872 44 | 1.991 % |
299.64/299.67 c | 63980 | 14274 58960 176694 | 2147483647 63973 44 | 1.991 % |
300.34/300.42 c | 64090 | 14274 58960 176694 | 2147483647 64083 44 | 1.991 % |
301.24/301.31 c | 64211 | 14274 58960 176694 | 2147483647 64204 44 | 1.991 % |
302.14/302.18 c | 64344 | 14274 58960 176694 | 2147483647 64337 44 | 1.991 % |
303.14/303.17 c | 64491 | 14274 58960 176694 | 2147483647 64484 44 | 1.991 % |
304.04/304.06 c | 64652 | 14274 58960 176694 | 2147483647 64645 44 | 1.991 % |
304.64/304.69 c | 64828 | 14274 58960 176694 | 2147483647 64821 44 | 1.991 % |
305.64/305.70 c | 65021 | 14274 58960 176694 | 2147483647 65014 44 | 1.991 % |
307.04/307.07 c | 65233 | 14274 58960 176694 | 2147483647 65226 44 | 1.991 % |
308.54/308.60 c | 65467 | 14274 58960 176694 | 2147483647 65460 44 | 1.991 % |
310.34/310.33 c | 65723 | 14274 58960 176694 | 2147483647 65716 44 | 1.991 % |
311.94/311.97 c | 66005 | 14274 58960 176694 | 2147483647 65998 44 | 1.991 % |
313.64/313.71 c | 66314 | 14274 58960 176694 | 2147483647 66307 44 | 1.991 % |
315.14/315.17 c | 66653 | 14274 58960 176694 | 2147483647 66646 44 | 1.991 % |
317.34/317.35 c | 67026 | 14274 58960 176694 | 2147483647 67019 44 | 1.991 % |
320.34/320.34 c | 67436 | 14274 58960 176694 | 2147483647 67429 44 | 1.991 % |
323.64/323.64 c | 67886 | 14274 58960 176694 | 2147483647 67879 44 | 1.991 % |
326.34/326.33 c | 68380 | 14274 58960 176694 | 2147483647 68373 44 | 1.991 % |
329.54/329.52 c | 68923 | 14274 58960 176694 | 2147483647 68916 44 | 1.991 % |
332.84/332.88 c | 69521 | 14274 58960 176694 | 2147483647 69514 44 | 1.991 % |
336.64/336.65 c | 70177 | 14274 58960 176694 | 2147483647 70170 44 | 1.991 % |
340.74/340.72 c | 70897 | 14274 58960 176694 | 2147483647 70890 44 | 1.991 % |
344.44/344.45 c | 71690 | 14274 58960 176694 | 2147483647 71683 44 | 1.991 % |
349.24/349.29 c | 72561 | 14274 58960 176694 | 2147483647 72554 44 | 1.991 % |
349.94/349.96 c | 72663 | 14274 58960 176694 | 2147483647 72656 44 | 1.991 % |
350.34/350.34 c | 72775 | 14274 58960 176694 | 2147483647 72768 44 | 1.991 % |
351.14/351.18 c | 72896 | 14274 58960 176694 | 2147483647 72889 44 | 1.991 % |
351.94/351.95 c | 73030 | 14274 58960 176694 | 2147483647 73023 44 | 1.991 % |
352.74/352.73 c | 73177 | 14274 58960 176694 | 2147483647 73170 44 | 1.991 % |
353.54/353.60 c | 73339 | 14274 58960 176694 | 2147483647 73332 44 | 1.991 % |
354.44/354.46 c | 73515 | 14274 58960 176694 | 2147483647 73508 44 | 1.991 % |
355.74/355.79 c | 73709 | 14274 58960 176694 | 2147483647 73702 44 | 1.991 % |
356.84/356.86 c | 73921 | 14274 58960 176694 | 2147483647 73914 44 | 1.991 % |
358.34/358.41 c | 74155 | 14274 58960 176694 | 2147483647 74148 44 | 1.991 % |
359.84/359.86 c | 74412 | 14274 58960 176694 | 2147483647 74405 44 | 1.991 % |
361.95/362.01 c | 74694 | 14274 58960 176694 | 2147483647 74687 44 | 1.991 % |
364.34/364.34 c | 75003 | 14274 58960 176694 | 2147483647 74996 44 | 1.991 % |
366.84/366.84 c | 75342 | 14274 58960 176694 | 2147483647 75335 44 | 1.991 % |
369.14/369.19 c | 75714 | 14274 58960 176694 | 2147483647 75707 44 | 1.991 % |
372.04/372.01 c | 76125 | 14274 58960 176694 | 2147483647 76118 44 | 1.991 % |
374.94/374.94 c | 76574 | 14274 58960 176694 | 2147483647 76567 44 | 1.991 % |
378.24/378.31 c | 77067 | 14274 58960 176694 | 2147483647 77060 44 | 1.991 % |
381.75/381.79 c | 77610 | 14274 58960 176694 | 2147483647 77603 44 | 1.991 % |
385.64/385.65 c | 78206 | 14274 58960 176694 | 2147483647 78199 44 | 1.991 % |
389.94/390.01 c | 78862 | 14274 58960 176694 | 2147483647 78855 44 | 1.991 % |
395.14/395.20 c | 79582 | 14274 58960 176694 | 2147483647 79575 44 | 1.991 % |
399.95/399.98 c | 80374 | 14274 58960 176694 | 2147483647 80367 44 | 1.991 % |
404.95/404.97 c | 81245 | 14274 58960 176694 | 2147483647 81238 44 | 1.991 % |
411.75/411.80 c | 82204 | 14274 58960 176694 | 2147483647 82197 44 | 1.991 % |
412.45/412.45 c | 82305 | 14274 58960 176694 | 2147483647 82298 44 | 1.991 % |
413.05/413.03 c | 82416 | 14274 58960 176694 | 2147483647 82409 44 | 1.991 % |
413.85/413.82 c | 82538 | 14274 58960 176694 | 2147483647 82531 44 | 1.991 % |
414.75/414.79 c | 82672 | 14274 58960 176694 | 2147483647 82665 44 | 1.991 % |
415.85/415.91 c | 82819 | 14274 58960 176694 | 2147483647 82812 44 | 1.991 % |
417.25/417.24 c | 82979 | 14274 58960 176694 | 2147483647 82972 44 | 1.991 % |
418.05/418.03 c | 83156 | 14274 58960 176694 | 2147483647 83149 44 | 1.991 % |
419.45/419.51 c | 83349 | 14274 58960 176694 | 2147483647 83342 44 | 1.991 % |
420.75/420.80 c | 83562 | 14274 58960 176694 | 2147483647 83555 44 | 1.991 % |
422.65/422.62 c | 83795 | 14274 58960 176694 | 2147483647 83788 44 | 1.991 % |
424.45/424.42 c | 84051 | 14274 58960 176694 | 2147483647 84044 44 | 1.991 % |
426.45/426.51 c | 84332 | 14274 58960 176694 | 2147483647 84325 44 | 1.991 % |
428.75/428.76 c | 84642 | 14274 58960 176694 | 2147483647 84635 44 | 1.991 % |
431.35/431.38 c | 84982 | 14274 58960 176694 | 2147483647 84975 44 | 1.991 % |
433.45/433.43 c | 85354 | 14274 58960 176694 | 2147483647 85347 44 | 1.991 % |
436.15/436.16 c | 85764 | 14274 58960 176694 | 2147483647 85757 44 | 1.991 % |
438.45/438.43 c | 86214 | 14274 58960 176694 | 2147483647 86207 44 | 1.991 % |
441.65/441.67 c | 86707 | 14274 58960 176694 | 2147483647 86700 44 | 1.991 % |
444.75/444.73 c | 87251 | 14274 58960 176694 | 2147483647 87244 44 | 1.991 % |
448.35/448.32 c | 87848 | 14274 58960 176694 | 2147483647 87841 44 | 1.991 % |
452.74/452.74 c | 88505 | 14274 58960 176694 | 2147483647 88498 44 | 1.991 % |
457.44/457.48 c | 89226 | 14274 58960 176694 | 2147483647 89219 44 | 1.991 % |
461.24/461.28 c | 90019 | 14274 58960 176694 | 2147483647 90012 44 | 1.991 % |
467.04/467.06 c | 90892 | 14274 58960 176694 | 2147483647 90885 44 | 1.991 % |
472.54/472.60 c | 91850 | 14274 58960 176694 | 2147483647 91843 44 | 1.991 % |
478.94/478.96 c | 92903 | 14274 58960 176694 | 2147483647 92896 44 | 1.991 % |
479.65/479.65 c | 93003 | 14274 58960 176694 | 2147483647 92996 44 | 1.991 % |
480.44/480.41 c | 93114 | 14274 58960 176694 | 2147483647 93107 44 | 1.991 % |
481.04/481.07 c | 93235 | 14274 58960 176694 | 2147483647 93228 44 | 1.991 % |
482.04/482.01 c | 93370 | 14274 58960 176694 | 2147483647 93363 44 | 1.991 % |
482.74/482.73 c | 93516 | 14274 58960 176694 | 2147483647 93509 44 | 1.991 % |
483.94/483.91 c | 93676 | 14274 58960 176694 | 2147483647 93669 44 | 1.991 % |
484.74/484.71 c | 93853 | 14274 58960 176694 | 2147483647 93846 44 | 1.991 % |
486.25/486.22 c | 94046 | 14274 58960 176694 | 2147483647 94039 44 | 1.991 % |
487.54/487.58 c | 94259 | 14274 58960 176694 | 2147483647 94252 44 | 1.991 % |
489.24/489.24 c | 94492 | 14274 58960 176694 | 2147483647 94485 44 | 1.991 % |
490.94/490.99 c | 94748 | 14274 58960 176694 | 2147483647 94741 44 | 1.991 % |
492.94/492.93 c | 95030 | 14274 58960 176694 | 2147483647 95023 44 | 1.991 % |
495.24/495.23 c | 95339 | 14274 58960 176694 | 2147483647 95332 44 | 1.991 % |
497.84/497.89 c | 95678 | 14274 58960 176694 | 2147483647 95671 44 | 1.991 % |
500.64/500.68 c | 96050 | 14274 58960 176694 | 2147483647 96043 44 | 1.991 % |
503.94/503.93 c | 96460 | 14274 58960 176694 | 2147483647 96453 44 | 1.991 % |
507.44/507.49 c | 96910 | 14274 58960 176694 | 2147483647 96903 44 | 1.991 % |
510.94/510.97 c | 97403 | 14274 58960 176694 | 2147483647 97396 44 | 1.991 % |
515.14/515.15 c | 97947 | 14274 58960 176694 | 2147483647 97940 44 | 1.991 % |
519.94/519.99 c | 98544 | 14274 58960 176694 | 2147483647 98537 44 | 1.991 % |
524.65/524.66 c | 99199 | 14274 58960 176694 | 2147483647 99192 44 | 1.991 % |
529.85/529.90 c | 99920 | 14274 58960 176694 | 2147483647 99913 44 | 1.991 % |
535.65/535.71 c | 100713 | 14274 58960 176694 | 2147483647 100706 44 | 1.991 % |
542.25/542.30 c | 101584 | 14274 58960 176694 | 2147483647 101577 44 | 1.991 % |
549.75/549.77 c | 102542 | 14274 58960 176694 | 2147483647 102535 43 | 1.991 % |
558.35/558.34 c | 103595 | 14274 58960 176694 | 2147483647 103588 43 | 1.991 % |
566.85/566.89 c | 104753 | 14274 58960 176694 | 2147483647 104746 43 | 1.991 % |
567.45/567.42 c | 104854 | 14274 58960 176694 | 2147483647 104847 43 | 1.991 % |
568.05/568.07 c | 104966 | 14274 58960 176694 | 2147483647 104959 43 | 1.991 % |
568.95/568.96 c | 105087 | 14274 58960 176694 | 2147483647 105080 43 | 1.991 % |
569.85/569.90 c | 105221 | 14274 58960 176694 | 2147483647 105214 43 | 1.991 % |
571.05/571.04 c | 105367 | 14274 58960 176694 | 2147483647 105360 43 | 1.991 % |
572.15/572.11 c | 105527 | 14274 58960 176694 | 2147483647 105520 43 | 1.991 % |
573.15/573.20 c | 105703 | 14274 58960 176694 | 2147483647 105696 43 | 1.991 % |
574.55/574.59 c | 105896 | 14274 58960 176694 | 2147483647 105889 43 | 1.991 % |
576.45/576.50 c | 106108 | 14274 58960 176694 | 2147483647 106101 43 | 1.991 % |
578.35/578.40 c | 106342 | 14274 58960 176694 | 2147483647 106335 43 | 1.991 % |
580.45/580.45 c | 106599 | 14274 58960 176694 | 2147483647 106592 43 | 1.991 % |
582.75/582.75 c | 106881 | 14274 58960 176694 | 2147483647 106874 43 | 1.991 % |
585.45/585.50 c | 107191 | 14274 58960 176694 | 2147483647 107184 43 | 1.991 % |
588.55/588.61 c | 107530 | 14274 58960 176694 | 2147483647 107523 43 | 1.991 % |
591.35/591.40 c | 107903 | 14274 58960 176694 | 2147483647 107896 43 | 1.991 % |
593.75/593.80 c | 108312 | 14274 58960 176694 | 2147483647 108305 43 | 1.991 % |
597.36/597.33 c | 108761 | 14274 58960 176694 | 2147483647 108754 43 | 1.991 % |
600.85/600.90 c | 109255 | 14274 58960 176694 | 2147483647 109248 43 | 1.991 % |
605.45/605.43 c | 109799 | 14274 58960 176694 | 2147483647 109792 43 | 1.991 % |
610.35/610.33 c | 110396 | 14274 58960 176694 | 2147483647 110389 43 | 1.991 % |
615.25/615.27 c | 111051 | 14274 58960 176694 | 2147483647 111044 43 | 1.991 % |
620.46/620.45 c | 111772 | 14274 58960 176694 | 2147483647 111765 43 | 1.991 % |
624.95/625.00 c | 112565 | 14274 58960 176694 | 2147483647 112558 43 | 1.991 % |
632.35/632.40 c | 113437 | 14274 58960 176694 | 2147483647 113430 43 | 1.991 % |
640.26/640.27 c | 114395 | 14274 58960 176694 | 2147483647 114388 43 | 1.991 % |
648.05/648.05 c | 115449 | 14274 58960 176694 | 2147483647 115442 43 | 1.991 % |
657.06/657.07 c | 116608 | 14274 58960 176694 | 2147483647 116601 43 | 1.991 % |
666.76/666.74 c | 117881 | 14274 58960 176694 | 2147483647 117874 43 | 1.991 % |
667.46/667.43 c | 117982 | 14274 58960 176694 | 2147483647 117975 43 | 1.991 % |
667.86/667.89 c | 118092 | 14274 58960 176694 | 2147483647 118085 43 | 1.991 % |
668.86/668.85 c | 118213 | 14274 58960 176694 | 2147483647 118206 43 | 1.991 % |
669.66/669.71 c | 118347 | 14274 58960 176694 | 2147483647 118340 43 | 1.991 % |
670.96/670.95 c | 118493 | 14274 58960 176694 | 2147483647 118486 43 | 1.991 % |
672.56/672.54 c | 118654 | 14274 58960 176694 | 2147483647 118647 43 | 1.991 % |
674.16/674.14 c | 118830 | 14274 58960 176694 | 2147483647 118823 43 | 1.991 % |
675.96/675.98 c | 119024 | 14274 58960 176694 | 2147483647 119017 43 | 1.991 % |
677.86/677.89 c | 119238 | 14274 58960 176694 | 2147483647 119231 43 | 1.991 % |
680.16/680.16 c | 119471 | 14274 58960 176694 | 2147483647 119464 43 | 1.991 % |
682.26/682.24 c | 119728 | 14274 58960 176694 | 2147483647 119721 43 | 1.991 % |
684.56/684.57 c | 120010 | 14274 58960 176694 | 2147483647 120003 43 | 1.991 % |
687.06/687.10 c | 120319 | 14274 58960 176694 | 2147483647 120312 43 | 1.991 % |
689.76/689.80 c | 120660 | 14274 58960 176694 | 2147483647 120653 43 | 1.991 % |
692.96/692.97 c | 121032 | 14274 58960 176694 | 2147483647 121025 43 | 1.991 % |
696.26/696.24 c | 121441 | 14274 58960 176694 | 2147483647 121434 43 | 1.991 % |
699.76/699.78 c | 121891 | 14274 58960 176694 | 2147483647 121884 43 | 1.991 % |
703.26/703.26 c | 122384 | 14274 58960 176694 | 2147483647 122377 43 | 1.991 % |
706.96/706.99 c | 122926 | 14274 58960 176694 | 2147483647 122919 43 | 1.991 % |
710.36/710.32 c | 123523 | 14274 58960 176694 | 2147483647 123516 43 | 1.991 % |
715.26/715.27 c | 124179 | 14274 58960 176694 | 2147483647 124172 43 | 1.991 % |
720.66/720.65 c | 124901 | 14274 58960 176694 | 2147483647 124894 43 | 1.991 % |
725.96/726.00 c | 125693 | 14274 58960 176694 | 2147483647 125686 43 | 1.991 % |
729.86/729.87 c | 126565 | 14274 58960 176694 | 2147483647 126558 44 | 1.991 % |
736.96/737.00 c | 127523 | 14274 58960 176694 | 2147483647 127516 44 | 1.991 % |
745.96/745.93 c | 128576 | 14274 58960 176694 | 2147483647 128569 44 | 1.991 % |
754.76/754.72 c | 129735 | 14274 58960 176694 | 2147483647 129728 44 | 1.991 % |
764.76/764.76 c | 131008 | 14274 58960 176694 | 2147483647 131001 44 | 1.991 % |
775.47/775.47 c | 132409 | 14274 58960 176694 | 2147483647 132402 44 | 1.991 % |
776.27/776.22 c | 132510 | 14274 58960 176694 | 2147483647 132503 44 | 1.991 % |
777.17/777.18 c | 132620 | 14274 58960 176694 | 2147483647 132613 44 | 1.991 % |
778.17/778.17 c | 132741 | 14274 58960 176694 | 2147483647 132734 44 | 1.991 % |
779.27/779.24 c | 132874 | 14274 58960 176694 | 2147483647 132867 44 | 1.991 % |
780.27/780.30 c | 133022 | 14274 58960 176694 | 2147483647 133015 44 | 1.991 % |
781.87/781.85 c | 133183 | 14274 58960 176694 | 2147483647 133176 44 | 1.991 % |
782.97/782.96 c | 133360 | 14274 58960 176694 | 2147483647 133353 44 | 1.991 % |
784.37/784.33 c | 133554 | 14274 58960 176694 | 2147483647 133547 44 | 1.991 % |
786.07/786.10 c | 133767 | 14274 58960 176694 | 2147483647 133760 44 | 1.991 % |
788.27/788.31 c | 134000 | 14274 58960 176694 | 2147483647 133993 44 | 1.991 % |
790.67/790.71 c | 134257 | 14274 58960 176694 | 2147483647 134250 44 | 1.991 % |
793.27/793.29 c | 134539 | 14274 58960 176694 | 2147483647 134532 44 | 1.991 % |
796.17/796.21 c | 134848 | 14274 58960 176694 | 2147483647 134841 44 | 1.991 % |
796.97/796.96 c | 135188 | 14274 58960 176694 | 2147483647 135181 44 | 1.991 % |
800.27/800.26 c | 135560 | 14274 58960 176694 | 2147483647 135553 44 | 1.991 % |
802.87/802.90 c | 135970 | 14274 58960 176694 | 2147483647 135963 44 | 1.991 % |
806.07/806.07 c | 136419 | 14274 58960 176694 | 2147483647 136412 44 | 1.991 % |
807.67/807.69 c | 136914 | 14274 58960 176694 | 2147483647 136907 44 | 1.991 % |
812.26/812.23 c | 137456 | 14274 58960 176694 | 2147483647 137449 44 | 1.991 % |
816.66/816.70 c | 138052 | 14274 58960 176694 | 2147483647 138045 44 | 1.991 % |
821.06/821.08 c | 138708 | 14274 58960 176694 | 2147483647 138701 44 | 1.991 % |
827.56/827.54 c | 139428 | 14274 58960 176694 | 2147483647 139421 44 | 1.991 % |
834.16/834.20 c | 140221 | 14274 58960 176694 | 2147483647 140214 44 | 1.991 % |
841.76/841.73 c | 141092 | 14274 58960 176694 | 2147483647 141085 44 | 1.991 % |
850.66/850.65 c | 142050 | 14274 58960 176694 | 2147483647 142043 44 | 1.991 % |
860.86/860.88 c | 143103 | 14274 58960 176694 | 2147483647 143096 44 | 1.991 % |
870.56/870.53 c | 144263 | 14274 58960 176694 | 2147483647 144256 44 | 1.991 % |
881.56/881.59 c | 145537 | 14274 58960 176694 | 2147483647 145530 44 | 1.991 % |
894.26/894.27 c | 146938 | 14274 58960 176694 | 2147483647 146931 44 | 1.991 % |
908.17/908.18 c | 148478 | 14274 58960 176694 | 2147483647 148471 44 | 1.991 % |
908.97/908.99 c | 148578 | 14274 58960 176694 | 2147483647 148571 44 | 1.991 % |
909.57/909.54 c | 148688 | 14274 58960 176694 | 2147483647 148681 44 | 1.991 % |
910.97/910.92 c | 148810 | 14274 58960 176694 | 2147483647 148803 44 | 1.991 % |
912.17/912.14 c | 148946 | 14274 58960 176694 | 2147483647 148939 44 | 1.991 % |
913.57/913.61 c | 149094 | 14274 58960 176694 | 2147483647 149087 44 | 1.991 % |
915.47/915.42 c | 149255 | 14274 58960 176694 | 2147483647 149248 44 | 1.991 % |
916.77/916.78 c | 149431 | 14274 58960 176694 | 2147483647 149424 44 | 1.991 % |
918.27/918.29 c | 149624 | 14274 58960 176694 | 2147483647 149617 44 | 1.991 % |
919.77/919.77 c | 149837 | 14274 58960 176694 | 2147483647 149830 44 | 1.991 % |
921.77/921.80 c | 150071 | 14274 58960 176694 | 2147483647 150064 44 | 1.991 % |
924.17/924.15 c | 150327 | 14274 58960 176694 | 2147483647 150320 44 | 1.991 % |
925.67/925.63 c | 150609 | 14274 58960 176694 | 2147483647 150602 44 | 1.991 % |
928.67/928.69 c | 150919 | 14274 58960 176694 | 2147483647 150912 44 | 1.991 % |
931.57/931.53 c | 151259 | 14274 58960 176694 | 2147483647 151252 44 | 1.991 % |
934.47/934.47 c | 151631 | 14274 58960 176694 | 2147483647 151624 44 | 1.991 % |
938.17/938.15 c | 152040 | 14274 58960 176694 | 2147483647 152033 44 | 1.991 % |
942.87/942.87 c | 152489 | 14274 58960 176694 | 2147483647 152482 44 | 1.991 % |
947.67/947.64 c | 152983 | 14274 58960 176694 | 2147483647 152976 44 | 1.991 % |
951.87/951.84 c | 153525 | 14274 58960 176694 | 2147483647 153518 44 | 1.991 % |
956.97/956.95 c | 154122 | 14274 58960 176694 | 2147483647 154115 44 | 1.991 % |
962.87/962.81 c | 154778 | 14274 58960 176694 | 2147483647 154771 44 | 1.991 % |
969.37/969.34 c | 155498 | 14274 58960 176694 | 2147483647 155491 44 | 1.991 % |
976.17/976.17 c | 156292 | 14274 58960 176694 | 2147483647 156285 44 | 1.991 % |
984.58/984.56 c | 157165 | 14274 58960 176694 | 2147483647 157158 44 | 1.991 % |
993.27/993.29 c | 158124 | 14274 58960 176694 | 2147483647 158117 44 | 1.991 % |
1003.37/1003.33 c | 159177 | 14274 58960 176694 | 2147483647 159170 44 | 1.991 % |
1015.38/1015.36 c | 160335 | 14274 58960 176694 | 2147483647 160328 44 | 1.991 % |
1026.68/1026.66 c | 161609 | 14274 58960 176694 | 2147483647 161602 44 | 1.991 % |
1040.28/1040.22 c | 163011 | 14274 58960 176694 | 2147483647 163004 44 | 1.991 % |
1055.28/1055.26 c | 164552 | 14274 58960 176694 | 2147483647 164545 44 | 1.991 % |
1070.28/1070.26 c | 166246 | 14274 58960 176694 | 2147483647 166239 44 | 1.991 % |
1071.28/1071.28 c | 166347 | 14274 58960 176694 | 2147483647 166340 44 | 1.991 % |
1072.18/1072.19 c | 166457 | 14274 58960 176694 | 2147483647 166450 44 | 1.991 % |
1073.48/1073.49 c | 166578 | 14274 58960 176694 | 2147483647 166571 44 | 1.991 % |
1074.88/1074.86 c | 166712 | 14274 58960 176694 | 2147483647 166705 44 | 1.991 % |
1076.38/1076.36 c | 166860 | 14274 58960 176694 | 2147483647 166853 44 | 1.991 % |
1077.98/1077.94 c | 167020 | 14274 58960 176694 | 2147483647 167013 44 | 1.991 % |
1079.78/1079.79 c | 167196 | 14274 58960 176694 | 2147483647 167189 44 | 1.991 % |
1081.78/1081.73 c | 167389 | 14274 58960 176694 | 2147483647 167382 44 | 1.991 % |
1083.68/1083.63 c | 167601 | 14274 58960 176694 | 2147483647 167594 44 | 1.991 % |
1085.88/1085.88 c | 167835 | 14274 58960 176694 | 2147483647 167828 44 | 1.991 % |
1088.28/1088.25 c | 168092 | 14274 58960 176694 | 2147483647 168085 44 | 1.991 % |
1090.78/1090.77 c | 168373 | 14274 58960 176694 | 2147483647 168366 44 | 1.991 % |
1094.18/1094.15 c | 168682 | 14274 58960 176694 | 2147483647 168675 44 | 1.991 % |
1097.48/1097.46 c | 169021 | 14274 58960 176694 | 2147483647 169014 44 | 1.991 % |
1101.38/1101.37 c | 169393 | 14274 58960 176694 | 2147483647 169386 44 | 1.991 % |
1104.88/1104.89 c | 169802 | 14274 58960 176694 | 2147483647 169795 44 | 1.991 % |
1108.28/1108.24 c | 170253 | 14274 58960 176694 | 2147483647 170246 44 | 1.991 % |
1112.78/1112.73 c | 170747 | 14274 58960 176694 | 2147483647 170740 44 | 1.991 % |
1117.78/1117.74 c | 171290 | 14274 58960 176694 | 2147483647 171283 44 | 1.991 % |
1122.98/1122.96 c | 171886 | 14274 58960 176694 | 2147483647 171879 44 | 1.991 % |
1129.18/1129.19 c | 172544 | 14274 58960 176694 | 2147483647 172537 44 | 1.991 % |
1135.48/1135.51 c | 173264 | 14274 58960 176694 | 2147483647 173257 44 | 1.991 % |
1141.68/1141.65 c | 174056 | 14274 58960 176694 | 2147483647 174049 44 | 1.991 % |
1149.28/1149.23 c | 174929 | 14274 58960 176694 | 2147483647 174922 44 | 1.991 % |
1159.19/1159.18 c | 175889 | 14274 58960 176694 | 2147483647 175882 44 | 1.991 % |
1169.78/1169.72 c | 176943 | 14274 58960 176694 | 2147483647 176936 44 | 1.991 % |
1181.98/1181.99 c | 178102 | 14274 58960 176694 | 2147483647 178095 44 | 1.991 % |
1194.88/1194.90 c | 179375 | 14274 58960 176694 | 2147483647 179368 44 | 1.991 % |
1200.08/1200.02 HOME/SatELiteGTI: line 36: 22453 Terminated $MS $TMP.cnf $TMP.result
runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w /tmp/evaluation-result-1821172-1242513717/watcher-1821172-1242513717 -o /tmp/evaluation-result-1821172-1242513717/solver-1821172-1242513717 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1821172-1242513717.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 0.92 1.00 0.99 2/97 22447
/proc/meminfo: memFree=1674144/2074464 swapFree=1949244/1959888
[pid=22447] ppid=22445 vsize=2412 CPUtime=0
/proc/22447/stat : 22447 (SatELiteGTI) S 22445 22447 16367 0 -1 4194304 367 647 0 0 0 0 0 0 18 0 1 0 1015872665 2469888 277 4294967295 134512640 135169312 3212966768 3212965304 3085250286 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/22447/statm: 603 277 235 161 0 42 0
[pid=22451] ppid=22447 vsize=952 CPUtime=0
/proc/22451/stat : 22451 (SatELite_releas) R 22447 22447 16367 0 -1 4202496 121 0 0 0 0 0 0 0 18 0 1 0 1015872666 974848 57 4294967295 134512640 135223648 3219511712 3219510308 134719062 0 0 0 3 0 0 0 17 2 0 0 0
/proc/22451/statm: 238 59 45 174 0 63 0
[startup+0.027973 s]
/proc/loadavg: 0.92 1.00 0.99 2/97 22447
/proc/meminfo: memFree=1674144/2074464 swapFree=1949244/1959888
[pid=22447] ppid=22445 vsize=2412 CPUtime=0
/proc/22447/stat : 22447 (SatELiteGTI) S 22445 22447 16367 0 -1 4194304 367 647 0 0 0 0 0 0 18 0 1 0 1015872665 2469888 277 4294967295 134512640 135169312 3212966768 3212965304 3085250286 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/22447/statm: 603 277 235 161 0 42 0
[pid=22451] ppid=22447 vsize=5888 CPUtime=0.03
/proc/22451/stat : 22451 (SatELite_releas) R 22447 22447 16367 0 -1 4202496 1350 0 0 0 2 1 0 0 18 0 1 0 1015872666 6029312 1286 4294967295 134512640 135223648 3219511712 3219510296 134719062 0 0 0 3 0 0 0 17 2 0 0 0
/proc/22451/statm: 1472 1286 47 174 0 1297 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 8300
[startup+0.117968 s]
/proc/loadavg: 0.92 1.00 0.99 2/97 22447
/proc/meminfo: memFree=1674144/2074464 swapFree=1949244/1959888
[pid=22447] ppid=22445 vsize=2412 CPUtime=0
/proc/22447/stat : 22447 (SatELiteGTI) S 22445 22447 16367 0 -1 4194304 367 647 0 0 0 0 0 0 18 0 1 0 1015872665 2469888 277 4294967295 134512640 135169312 3212966768 3212965304 3085250286 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/22447/statm: 603 277 235 161 0 42 0
[pid=22451] ppid=22447 vsize=14140 CPUtime=0.12
/proc/22451/stat : 22451 (SatELite_releas) R 22447 22447 16367 0 -1 4202496 3387 0 0 0 9 3 0 0 18 0 1 0 1015872666 14479360 3298 4294967295 134512640 135223648 3219511712 3219509808 134596417 0 0 0 3 0 0 0 17 2 0 0 0
/proc/22451/statm: 3535 3298 73 174 0 3360 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 16552
[startup+0.317956 s]
/proc/loadavg: 0.92 1.00 0.99 2/97 22447
/proc/meminfo: memFree=1674144/2074464 swapFree=1949244/1959888
[pid=22447] ppid=22445 vsize=2412 CPUtime=0
/proc/22447/stat : 22447 (SatELiteGTI) S 22445 22447 16367 0 -1 4194304 367 647 0 0 0 0 0 0 18 0 1 0 1015872665 2469888 277 4294967295 134512640 135169312 3212966768 3212965304 3085250286 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/22447/statm: 603 277 235 161 0 42 0
[pid=22451] ppid=22447 vsize=14772 CPUtime=0.32
/proc/22451/stat : 22451 (SatELite_releas) R 22447 22447 16367 0 -1 4202496 3539 0 0 0 28 4 0 0 18 0 1 0 1015872666 15126528 3450 4294967295 134512640 135223648 3219511712 3219509712 134548433 0 0 0 3 0 0 0 17 2 0 0 0
/proc/22451/statm: 3693 3450 73 174 0 3518 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 17184
[startup+0.717933 s]
/proc/loadavg: 0.92 1.00 0.99 2/97 22447
/proc/meminfo: memFree=1674144/2074464 swapFree=1949244/1959888
[pid=22447] ppid=22445 vsize=2412 CPUtime=0
/proc/22447/stat : 22447 (SatELiteGTI) S 22445 22447 16367 0 -1 4194304 367 647 0 0 0 0 0 0 18 0 1 0 1015872665 2469888 277 4294967295 134512640 135169312 3212966768 3212965304 3085250286 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/22447/statm: 603 277 235 161 0 42 0
[pid=22451] ppid=22447 vsize=15792 CPUtime=0.72
/proc/22451/stat : 22451 (SatELite_releas) R 22447 22447 16367 0 -1 4202496 3773 0 0 0 67 5 0 0 18 0 1 0 1015872666 16171008 3684 4294967295 134512640 135223648 3219511712 3219509728 134586712 0 0 0 3 0 0 0 17 2 0 0 0
/proc/22451/statm: 3948 3684 96 174 0 3773 0
Current children cumulated CPU time (s) 0.72
Current children cumulated vsize (KiB) 18204
[startup+1.51789 s]
/proc/loadavg: 0.92 1.00 0.99 2/99 22452
/proc/meminfo: memFree=1655908/2074464 swapFree=1949244/1959888
[pid=22447] ppid=22445 vsize=2416 CPUtime=1.33
/proc/22447/stat : 22447 (SatELiteGTI) S 22445 22447 16367 0 -1 4194304 386 4620 0 0 0 0 127 6 18 0 1 0 1015872665 2473984 278 4294967295 134512640 135169312 3212966768 3212962984 3085250286 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/22447/statm: 604 278 235 161 0 43 0
Current children cumulated CPU time (s) 1.33
Current children cumulated vsize (KiB) 2416
[startup+3.1178 s]
/proc/loadavg: 0.92 1.00 0.99 2/99 22453
/proc/meminfo: memFree=1664340/2074464 swapFree=1949244/1959888
[pid=22447] ppid=22445 vsize=2416 CPUtime=1.33
/proc/22447/stat : 22447 (SatELiteGTI) S 22445 22447 16367 0 -1 4194304 386 4620 0 0 0 0 127 6 18 0 1 0 1015872665 2473984 278 4294967295 134512640 135169312 3212966768 3212962984 3085250286 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/22447/statm: 604 278 235 161 0 43 0
[pid=22453] ppid=22447 vsize=6124 CPUtime=1.79
/proc/22453/stat : 22453 (minisat_static) R 22447 22447 16367 0 -1 4202496 1427 0 0 0 179 0 0 0 25 0 1 0 1015872799 6270976 1362 4294967295 134512640 135215339 3214318864 3214317152 134528930 0 0 0 3 0 0 0 17 3 0 0 0
/proc/22453/statm: 1531 1362 72 172 0 1358 0
Current children cumulated CPU time (s) 3.12
Current children cumulated vsize (KiB) 8540
[startup+6.31762 s]
/proc/loadavg: 0.93 1.00 0.99 2/99 22638
/proc/meminfo: memFree=1663648/2074464 swapFree=1949244/1959888
[pid=22447] ppid=22445 vsize=2416 CPUtime=1.33
/proc/22447/stat : 22447 (SatELiteGTI) S 22445 22447 16367 0 -1 4194304 386 4620 0 0 0 0 127 6 18 0 1 0 1015872665 2473984 278 4294967295 134512640 135169312 3212966768 3212962984 3085250286 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/22447/statm: 604 278 235 161 0 43 0
[pid=22453] ppid=22447 vsize=6388 CPUtime=4.99
/proc/22453/stat : 22453 (minisat_static) R 22447 22447 16367 0 -1 4202496 1473 0 0 0 499 0 0 0 25 0 1 0 1015872799 6541312 1408 4294967295 134512640 135215339 3214318864 3214317152 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/22453/statm: 1597 1408 72 172 0 1424 0
Current children cumulated CPU time (s) 6.32
Current children cumulated vsize (KiB) 8804
[startup+12.7173 s]
/proc/loadavg: 0.93 1.00 0.99 2/99 22638
/proc/meminfo: memFree=1663372/2074464 swapFree=1949244/1959888
[pid=22447] ppid=22445 vsize=2416 CPUtime=1.33
/proc/22447/stat : 22447 (SatELiteGTI) S 22445 22447 16367 0 -1 4194304 386 4620 0 0 0 0 127 6 18 0 1 0 1015872665 2473984 278 4294967295 134512640 135169312 3212966768 3212962984 3085250286 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/22447/statm: 604 278 235 161 0 43 0
[pid=22453] ppid=22447 vsize=6656 CPUtime=11.39
/proc/22453/stat : 22453 (minisat_static) R 22447 22447 16367 0 -1 4202496 1558 0 0 0 1139 0 0 0 25 0 1 0 1015872799 6815744 1493 4294967295 134512640 135215339 3214318864 3214317152 134528666 0 0 0 3 0 0 0 17 3 0 0 0
/proc/22453/statm: 1664 1493 72 172 0 1491 0
Current children cumulated CPU time (s) 12.72
Current children cumulated vsize (KiB) 9072
[startup+25.5265 s]
/proc/loadavg: 0.95 1.00 0.99 2/99 22638
/proc/meminfo: memFree=1662724/2074464 swapFree=1949244/1959888
[pid=22447] ppid=22445 vsize=2416 CPUtime=1.33
/proc/22447/stat : 22447 (SatELiteGTI) S 22445 22447 16367 0 -1 4194304 386 4620 0 0 0 0 127 6 18 0 1 0 1015872665 2473984 278 4294967295 134512640 135169312 3212966768 3212962984 3085250286 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/22447/statm: 604 278 235 161 0 43 0
[pid=22453] ppid=22447 vsize=7320 CPUtime=24.2
/proc/22453/stat : 22453 (minisat_static) R 22447 22447 16367 0 -1 4202496 1711 0 0 0 2420 0 0 0 25 0 1 0 1015872799 7495680 1646 4294967295 134512640 135215339 3214318864 3214317152 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/22453/statm: 1830 1646 72 172 0 1657 0
Current children cumulated CPU time (s) 25.53
Current children cumulated vsize (KiB) 9736
[startup+51.1251 s]
/proc/loadavg: 0.96 1.00 0.99 2/99 22639
/proc/meminfo: memFree=1661616/2074464 swapFree=1949244/1959888
[pid=22447] ppid=22445 vsize=2416 CPUtime=1.33
/proc/22447/stat : 22447 (SatELiteGTI) S 22445 22447 16367 0 -1 4194304 386 4620 0 0 0 0 127 6 18 0 1 0 1015872665 2473984 278 4294967295 134512640 135169312 3212966768 3212962984 3085250286 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/22447/statm: 604 278 235 161 0 43 0
[pid=22453] ppid=22447 vsize=8376 CPUtime=49.8
/proc/22453/stat : 22453 (minisat_static) R 22447 22447 16367 0 -1 4202496 1989 0 0 0 4980 0 0 0 25 0 1 0 1015872799 8577024 1924 4294967295 134512640 135215339 3214318864 3214317152 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/22453/statm: 2094 1924 72 172 0 1921 0
Current children cumulated CPU time (s) 51.13
Current children cumulated vsize (KiB) 10792
[startup+102.322 s]
/proc/loadavg: 0.98 1.00 0.99 3/99 22827
/proc/meminfo: memFree=1659136/2074464 swapFree=1949244/1959888
[pid=22447] ppid=22445 vsize=2416 CPUtime=1.33
/proc/22447/stat : 22447 (SatELiteGTI) S 22445 22447 16367 0 -1 4194304 386 4620 0 0 0 0 127 6 18 0 1 0 1015872665 2473984 278 4294967295 134512640 135169312 3212966768 3212962984 3085250286 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/22447/statm: 604 278 235 161 0 43 0
[pid=22453] ppid=22447 vsize=10816 CPUtime=101
/proc/22453/stat : 22453 (minisat_static) R 22447 22447 16367 0 -1 4202496 2598 0 0 0 10098 2 0 0 25 0 1 0 1015872799 11075584 2533 4294967295 134512640 135215339 3214318864 3214317152 134528809 0 0 0 3 0 0 0 17 3 0 0 0
/proc/22453/statm: 2704 2533 72 172 0 2531 0
Current children cumulated CPU time (s) 102.33
Current children cumulated vsize (KiB) 13232
[startup+162.319 s]
/proc/loadavg: 0.99 1.00 0.99 2/99 23016
/proc/meminfo: memFree=1655564/2074464 swapFree=1949244/1959888
[pid=22447] ppid=22445 vsize=2416 CPUtime=1.33
/proc/22447/stat : 22447 (SatELiteGTI) S 22445 22447 16367 0 -1 4194304 386 4620 0 0 0 0 127 6 18 0 1 0 1015872665 2473984 278 4294967295 134512640 135169312 3212966768 3212962984 3085250286 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/22447/statm: 604 278 235 161 0 43 0
[pid=22453] ppid=22447 vsize=14352 CPUtime=161
/proc/22453/stat : 22453 (minisat_static) R 22447 22447 16367 0 -1 4202496 3479 0 0 0 16097 3 0 0 25 0 1 0 1015872799 14696448 3414 4294967295 134512640 135215339 3214318864 3214317152 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/22453/statm: 3588 3414 72 172 0 3415 0
Current children cumulated CPU time (s) 162.33
Current children cumulated vsize (KiB) 16768
[startup+222.315 s]
/proc/loadavg: 0.99 1.00 0.99 2/99 23203
/proc/meminfo: memFree=1652928/2074464 swapFree=1949244/1959888
[pid=22447] ppid=22445 vsize=2416 CPUtime=1.33
/proc/22447/stat : 22447 (SatELiteGTI) S 22445 22447 16367 0 -1 4194304 386 4620 0 0 0 0 127 6 18 0 1 0 1015872665 2473984 278 4294967295 134512640 135169312 3212966768 3212962984 3085250286 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/22447/statm: 604 278 235 161 0 43 0
[pid=22453] ppid=22447 vsize=16832 CPUtime=221
/proc/22453/stat : 22453 (minisat_static) R 22447 22447 16367 0 -1 4202496 4073 0 0 0 22097 3 0 0 25 0 1 0 1015872799 17235968 4008 4294967295 134512640 135215339 3214318864 3214317152 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/22453/statm: 4208 4008 72 172 0 4035 0
Current children cumulated CPU time (s) 222.33
Current children cumulated vsize (KiB) 19248
[startup+282.322 s]
/proc/loadavg: 0.99 1.00 0.99 2/99 23394
/proc/meminfo: memFree=1650456/2074464 swapFree=1949244/1959888
[pid=22447] ppid=22445 vsize=2416 CPUtime=1.33
/proc/22447/stat : 22447 (SatELiteGTI) S 22445 22447 16367 0 -1 4194304 386 4620 0 0 0 0 127 6 18 0 1 0 1015872665 2473984 278 4294967295 134512640 135169312 3212966768 3212962984 3085250286 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/22447/statm: 604 278 235 161 0 43 0
[pid=22453] ppid=22447 vsize=19408 CPUtime=281.01
/proc/22453/stat : 22453 (minisat_static) R 22447 22447 16367 0 -1 4202496 4742 0 0 0 28096 5 0 0 25 0 1 0 1015872799 19873792 4677 4294967295 134512640 135215339 3214318864 3214317152 134529099 0 0 0 3 0 0 0 17 3 0 0 0
/proc/22453/statm: 4852 4677 72 172 0 4679 0
Current children cumulated CPU time (s) 282.34
Current children cumulated vsize (KiB) 21824
[startup+342.319 s]
/proc/loadavg: 0.99 1.00 0.99 2/99 23583
/proc/meminfo: memFree=1648240/2074464 swapFree=1949244/1959888
[pid=22447] ppid=22445 vsize=2416 CPUtime=1.33
/proc/22447/stat : 22447 (SatELiteGTI) S 22445 22447 16367 0 -1 4194304 386 4620 0 0 0 0 127 6 18 0 1 0 1015872665 2473984 278 4294967295 134512640 135169312 3212966768 3212962984 3085250286 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/22447/statm: 604 278 235 161 0 43 0
[pid=22453] ppid=22447 vsize=21656 CPUtime=341.01
/proc/22453/stat : 22453 (minisat_static) R 22447 22447 16367 0 -1 4202496 5256 0 0 0 34094 7 0 0 25 0 1 0 1015872799 22175744 5191 4294967295 134512640 135215339 3214318864 3214317152 134528666 0 0 0 3 0 0 0 17 3 0 0 0
/proc/22453/statm: 5414 5191 72 172 0 5241 0
Current children cumulated CPU time (s) 342.34
Current children cumulated vsize (KiB) 24072
[startup+402.325 s]
################
# More data... #
################
/proc/22447/statm: 604 278 235 161 0 43 0
[pid=22453] ppid=22447 vsize=25836 CPUtime=461.01
/proc/22453/stat : 22453 (minisat_static) R 22447 22447 16367 0 -1 4202496 6293 0 0 0 46092 9 0 0 25 0 1 0 1015872799 26456064 6228 4294967295 134512640 135215339 3214318864 3214317152 134528691 0 0 0 3 0 0 0 17 3 0 0 0
/proc/22453/statm: 6459 6228 72 172 0 6286 0
Current children cumulated CPU time (s) 462.34
Current children cumulated vsize (KiB) 28252
[startup+522.309 s]
/proc/loadavg: 1.02 1.01 1.00 2/99 24148
/proc/meminfo: memFree=1642172/2074464 swapFree=1949244/1959888
[pid=22447] ppid=22445 vsize=2416 CPUtime=1.33
/proc/22447/stat : 22447 (SatELiteGTI) S 22445 22447 16367 0 -1 4194304 386 4620 0 0 0 0 127 6 18 0 1 0 1015872665 2473984 278 4294967295 134512640 135169312 3212966768 3212962984 3085250286 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/22447/statm: 604 278 235 161 0 43 0
[pid=22453] ppid=22447 vsize=27788 CPUtime=521.01
/proc/22453/stat : 22453 (minisat_static) R 22447 22447 16367 0 -1 4202496 6756 0 0 0 52092 9 0 0 25 0 1 0 1015872799 28454912 6691 4294967295 134512640 135215339 3214318864 3214316928 134538552 0 0 0 3 0 0 0 17 3 0 0 0
/proc/22453/statm: 6947 6691 72 172 0 6774 0
Current children cumulated CPU time (s) 522.34
Current children cumulated vsize (KiB) 30204
[startup+582.315 s]
/proc/loadavg: 1.08 1.02 1.00 2/99 24335
/proc/meminfo: memFree=1640552/2074464 swapFree=1949244/1959888
[pid=22447] ppid=22445 vsize=2416 CPUtime=1.33
/proc/22447/stat : 22447 (SatELiteGTI) S 22445 22447 16367 0 -1 4194304 386 4620 0 0 0 0 127 6 18 0 1 0 1015872665 2473984 278 4294967295 134512640 135169312 3212966768 3212962984 3085250286 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/22447/statm: 604 278 235 161 0 43 0
[pid=22453] ppid=22447 vsize=29396 CPUtime=581.02
/proc/22453/stat : 22453 (minisat_static) R 22447 22447 16367 0 -1 4202496 7149 0 0 0 58093 9 0 0 25 0 1 0 1015872799 30101504 7084 4294967295 134512640 135215339 3214318864 3214317152 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/22453/statm: 7349 7084 72 172 0 7176 0
Current children cumulated CPU time (s) 582.35
Current children cumulated vsize (KiB) 31812
[startup+642.312 s]
/proc/loadavg: 1.16 1.05 1.01 3/99 24522
/proc/meminfo: memFree=1638800/2074464 swapFree=1949244/1959888
[pid=22447] ppid=22445 vsize=2416 CPUtime=1.33
/proc/22447/stat : 22447 (SatELiteGTI) S 22445 22447 16367 0 -1 4194304 386 4620 0 0 0 0 127 6 18 0 1 0 1015872665 2473984 278 4294967295 134512640 135169312 3212966768 3212962984 3085250286 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/22447/statm: 604 278 235 161 0 43 0
[pid=22453] ppid=22447 vsize=31068 CPUtime=641.02
/proc/22453/stat : 22453 (minisat_static) R 22447 22447 16367 0 -1 4202496 7557 0 0 0 64093 9 0 0 25 0 1 0 1015872799 31813632 7492 4294967295 134512640 135215339 3214318864 3214317152 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/22453/statm: 7767 7492 72 172 0 7594 0
Current children cumulated CPU time (s) 642.35
Current children cumulated vsize (KiB) 33484
[startup+702.319 s]
/proc/loadavg: 1.06 1.04 1.00 3/99 24715
/proc/meminfo: memFree=1637312/2074464 swapFree=1949244/1959888
[pid=22447] ppid=22445 vsize=2416 CPUtime=1.33
/proc/22447/stat : 22447 (SatELiteGTI) S 22445 22447 16367 0 -1 4194304 386 4620 0 0 0 0 127 6 18 0 1 0 1015872665 2473984 278 4294967295 134512640 135169312 3212966768 3212962984 3085250286 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/22447/statm: 604 278 235 161 0 43 0
[pid=22453] ppid=22447 vsize=32660 CPUtime=701.03
/proc/22453/stat : 22453 (minisat_static) R 22447 22447 16367 0 -1 4202496 7960 0 0 0 70092 11 0 0 25 0 1 0 1015872799 33443840 7895 4294967295 134512640 135215339 3214318864 3214317152 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/22453/statm: 8165 7895 72 172 0 7992 0
Current children cumulated CPU time (s) 702.36
Current children cumulated vsize (KiB) 35076
[startup+762.325 s]
/proc/loadavg: 1.02 1.03 1.00 3/99 24904
/proc/meminfo: memFree=1635344/2074464 swapFree=1949244/1959888
[pid=22447] ppid=22445 vsize=2416 CPUtime=1.33
/proc/22447/stat : 22447 (SatELiteGTI) S 22445 22447 16367 0 -1 4194304 386 4620 0 0 0 0 127 6 18 0 1 0 1015872665 2473984 278 4294967295 134512640 135169312 3212966768 3212962984 3085250286 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/22447/statm: 604 278 235 161 0 43 0
[pid=22453] ppid=22447 vsize=34596 CPUtime=761.04
/proc/22453/stat : 22453 (minisat_static) R 22447 22447 16367 0 -1 4202496 8473 0 0 0 76092 12 0 0 25 0 1 0 1015872799 35426304 8408 4294967295 134512640 135215339 3214318864 3214317152 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/22453/statm: 8649 8408 72 172 0 8476 0
Current children cumulated CPU time (s) 762.37
Current children cumulated vsize (KiB) 37012
[startup+822.312 s]
/proc/loadavg: 1.00 1.02 1.00 2/99 25091
/proc/meminfo: memFree=1633220/2074464 swapFree=1949244/1959888
[pid=22447] ppid=22445 vsize=2416 CPUtime=1.33
/proc/22447/stat : 22447 (SatELiteGTI) S 22445 22447 16367 0 -1 4194304 386 4620 0 0 0 0 127 6 18 0 1 0 1015872665 2473984 278 4294967295 134512640 135169312 3212966768 3212962984 3085250286 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/22447/statm: 604 278 235 161 0 43 0
[pid=22453] ppid=22447 vsize=37176 CPUtime=821.03
/proc/22453/stat : 22453 (minisat_static) R 22447 22447 16367 0 -1 4202496 9018 0 0 0 82091 12 0 0 25 0 1 0 1015872799 38068224 8953 4294967295 134512640 135215339 3214318864 3214317152 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/22453/statm: 9294 8953 72 172 0 9121 0
Current children cumulated CPU time (s) 822.36
Current children cumulated vsize (KiB) 39592
[startup+882.308 s]
/proc/loadavg: 1.00 1.02 1.00 2/99 25278
/proc/meminfo: memFree=1631756/2074464 swapFree=1949244/1959888
[pid=22447] ppid=22445 vsize=2416 CPUtime=1.33
/proc/22447/stat : 22447 (SatELiteGTI) S 22445 22447 16367 0 -1 4194304 386 4620 0 0 0 0 127 6 18 0 1 0 1015872665 2473984 278 4294967295 134512640 135169312 3212966768 3212962984 3085250286 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/22447/statm: 604 278 235 161 0 43 0
[pid=22453] ppid=22447 vsize=38592 CPUtime=881.03
/proc/22453/stat : 22453 (minisat_static) R 22447 22447 16367 0 -1 4202496 9397 0 0 0 88090 13 0 0 25 0 1 0 1015872799 39518208 9332 4294967295 134512640 135215339 3214318864 3214317152 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/22453/statm: 9648 9332 72 172 0 9475 0
Current children cumulated CPU time (s) 882.36
Current children cumulated vsize (KiB) 41008
[startup+942.315 s]
/proc/loadavg: 1.00 1.01 1.00 3/99 25465
/proc/meminfo: memFree=1630252/2074464 swapFree=1949244/1959888
[pid=22447] ppid=22445 vsize=2416 CPUtime=1.33
/proc/22447/stat : 22447 (SatELiteGTI) S 22445 22447 16367 0 -1 4194304 386 4620 0 0 0 0 127 6 18 0 1 0 1015872665 2473984 278 4294967295 134512640 135169312 3212966768 3212962984 3085250286 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/22447/statm: 604 278 235 161 0 43 0
[pid=22453] ppid=22447 vsize=40148 CPUtime=941.04
/proc/22453/stat : 22453 (minisat_static) R 22447 22447 16367 0 -1 4202496 9765 0 0 0 94089 15 0 0 25 0 1 0 1015872799 41111552 9700 4294967295 134512640 135215339 3214318864 3214317152 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/22453/statm: 10037 9700 72 172 0 9864 0
Current children cumulated CPU time (s) 942.37
Current children cumulated vsize (KiB) 42564
[startup+1002.31 s]
/proc/loadavg: 1.00 1.00 1.00 3/99 25654
/proc/meminfo: memFree=1628756/2074464 swapFree=1949244/1959888
[pid=22447] ppid=22445 vsize=2416 CPUtime=1.33
/proc/22447/stat : 22447 (SatELiteGTI) S 22445 22447 16367 0 -1 4194304 386 4620 0 0 0 0 127 6 18 0 1 0 1015872665 2473984 278 4294967295 134512640 135169312 3212966768 3212962984 3085250286 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/22447/statm: 604 278 235 161 0 43 0
[pid=22453] ppid=22447 vsize=41524 CPUtime=1001.04
/proc/22453/stat : 22453 (minisat_static) R 22447 22447 16367 0 -1 4202496 10115 0 0 0 100089 15 0 0 25 0 1 0 1015872799 42520576 10050 4294967295 134512640 135215339 3214318864 3214317152 134528930 0 0 0 3 0 0 0 17 3 0 0 0
/proc/22453/statm: 10381 10050 72 172 0 10208 0
Current children cumulated CPU time (s) 1002.37
Current children cumulated vsize (KiB) 43940
[startup+1062.32 s]
/proc/loadavg: 1.00 1.00 1.00 2/99 25847
/proc/meminfo: memFree=1627780/2074464 swapFree=1949244/1959888
[pid=22447] ppid=22445 vsize=2416 CPUtime=1.33
/proc/22447/stat : 22447 (SatELiteGTI) S 22445 22447 16367 0 -1 4194304 386 4620 0 0 0 0 127 6 18 0 1 0 1015872665 2473984 278 4294967295 134512640 135169312 3212966768 3212962984 3085250286 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/22447/statm: 604 278 235 161 0 43 0
[pid=22453] ppid=22447 vsize=42648 CPUtime=1061.05
/proc/22453/stat : 22453 (minisat_static) R 22447 22447 16367 0 -1 4202496 10414 0 0 0 106083 22 0 0 25 0 1 0 1015872799 43671552 10349 4294967295 134512640 135215339 3214318864 3214317152 134528884 0 0 0 3 0 0 0 17 3 0 0 0
/proc/22453/statm: 10662 10349 72 172 0 10489 0
Current children cumulated CPU time (s) 1062.38
Current children cumulated vsize (KiB) 45064
[startup+1122.31 s]
/proc/loadavg: 1.00 1.00 1.00 3/99 26034
/proc/meminfo: memFree=1626416/2074464 swapFree=1949244/1959888
[pid=22447] ppid=22445 vsize=2416 CPUtime=1.33
/proc/22447/stat : 22447 (SatELiteGTI) S 22445 22447 16367 0 -1 4194304 386 4620 0 0 0 0 127 6 18 0 1 0 1015872665 2473984 278 4294967295 134512640 135169312 3212966768 3212962984 3085250286 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/22447/statm: 604 278 235 161 0 43 0
[pid=22453] ppid=22447 vsize=44136 CPUtime=1121.05
/proc/22453/stat : 22453 (minisat_static) R 22447 22447 16367 0 -1 4202496 10789 0 0 0 112077 28 0 0 25 0 1 0 1015872799 45195264 10724 4294967295 134512640 135215339 3214318864 3214317152 134528624 0 0 0 3 0 0 0 17 3 0 0 0
/proc/22453/statm: 11034 10724 72 172 0 10861 0
Current children cumulated CPU time (s) 1122.38
Current children cumulated vsize (KiB) 46552
[startup+1182.31 s]
/proc/loadavg: 1.00 1.00 1.00 3/99 26221
/proc/meminfo: memFree=1625184/2074464 swapFree=1949244/1959888
[pid=22447] ppid=22445 vsize=2416 CPUtime=1.33
/proc/22447/stat : 22447 (SatELiteGTI) S 22445 22447 16367 0 -1 4194304 386 4620 0 0 0 0 127 6 18 0 1 0 1015872665 2473984 278 4294967295 134512640 135169312 3212966768 3212962984 3085250286 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/22447/statm: 604 278 235 161 0 43 0
[pid=22453] ppid=22447 vsize=45356 CPUtime=1181.05
/proc/22453/stat : 22453 (minisat_static) R 22447 22447 16367 0 -1 4202496 11093 0 0 0 118077 28 0 0 25 0 1 0 1015872799 46444544 11028 4294967295 134512640 135215339 3214318864 3214317152 134528673 0 0 0 3 0 0 0 17 3 0 0 0
/proc/22453/statm: 11339 11028 72 172 0 11166 0
Current children cumulated CPU time (s) 1182.38
Current children cumulated vsize (KiB) 47772
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.01 s]
/proc/loadavg: 1.00 1.00 1.00 3/99 26223
/proc/meminfo: memFree=1624812/2074464 swapFree=1949244/1959888
[pid=22447] ppid=22445 vsize=2416 CPUtime=1.33
/proc/22447/stat : 22447 (SatELiteGTI) S 22445 22447 16367 0 -1 4194304 386 4620 0 0 0 0 127 6 18 0 1 0 1015872665 2473984 278 4294967295 134512640 135169312 3212966768 3212962984 3085250286 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/22447/statm: 604 278 235 161 0 43 0
[pid=22453] ppid=22447 vsize=45752 CPUtime=1198.75
/proc/22453/stat : 22453 (minisat_static) R 22447 22447 16367 0 -1 4202496 11177 0 0 0 119847 28 0 0 25 0 1 0 1015872799 46850048 11112 4294967295 134512640 135215339 3214318864 3214317152 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/22453/statm: 11438 11112 72 172 0 11265 0
Current children cumulated CPU time (s) 1200.08
Current children cumulated vsize (KiB) 48168
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
Child status: 143
Real time (s): 1200.03
CPU time (s): 1200.09
CPU user time (s): 1199.74
CPU system time (s): 0.35
CPU usage (%): 100.005
Max. virtual memory (cumulated for all children) (KiB): 48168
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.74
system time used= 0.35
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16460
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= 23
involuntary context switches= 1252
runsolver used 0 second user time and 0 second system time
The end
Begin job on tipi11 at 2009-05-17 00:41:57
IDJOB=1821172
IDBENCH=70865
IDSOLVER=657
FILE ID=tipi11/1821172-1242513717
PBS_JOBID=
Free space on /tmp= 9842 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/APPLICATIONS/crypto/desgen/gss-33-s100.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1821172-1242513717/watcher-1821172-1242513717 -o /tmp/evaluation-result-1821172-1242513717/solver-1821172-1242513717 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1821172-1242513717.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= abeb2c5a0bb0ad39fbdbdbc07efbecf7
RANDOM SEED= 56069757
Linux tipi11 2.6.18 #19 SMP Tue Jun 19 11:27:27 CEST 2007 i686 GNU/Linux
/proc/cpuinfo:
processor : 0
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.431
cache size : 1024 KB
physical id : 0
siblings : 2
core id : 0
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3618.40
processor : 1
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.431
cache size : 1024 KB
physical id : 0
siblings : 2
core id : 1
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.77
processor : 2
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.431
cache size : 1024 KB
physical id : 1
siblings : 2
core id : 0
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.79
processor : 3
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.431
cache size : 1024 KB
physical id : 1
siblings : 2
core id : 1
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.77
/proc/meminfo:
MemTotal: 2074464 kB
MemFree: 1674168 kB
Buffers: 27528 kB
Cached: 302088 kB
SwapCached: 5224 kB
Active: 78212 kB
Inactive: 263168 kB
HighTotal: 1178688 kB
HighFree: 896188 kB
LowTotal: 895776 kB
LowFree: 777980 kB
SwapTotal: 1959888 kB
SwapFree: 1949244 kB
Dirty: 3084 kB
Writeback: 0 kB
AnonPages: 11280 kB
Mapped: 5136 kB
Slab: 50112 kB
PageTables: 464 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 2997120 kB
Committed_AS: 97128 kB
VmallocTotal: 114680 kB
VmallocUsed: 1324 kB
VmallocChunk: 113264 kB
Free space on /tmp at the end= 9842 MiB
End job on tipi11 at 2009-05-17 01:01:57