0.00/0.00 c Parsing...
1.42/1.48 c ==============================================================================
1.42/1.48 c | | ORIGINAL | LEARNT | |
1.42/1.48 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
1.42/1.48 c ==============================================================================
1.42/1.48 c | 0 | 1404697 3320628 | 421409 0 0 nan | 0.000 % |
8.72/8.73 c | 0 | 1044843 2775530 | -- 0 -- -- | -- | -106380/29683
8.72/8.73 c ==============================================================================
8.72/8.73 c Result : #vars: 219138 #clauses: 1044843 #literals: 2775530
8.72/8.73 c CPU time: 8.41 s
8.72/8.73 c ==============================================================================
9.71/9.79 c This is MiniSat 2.0 beta
9.71/9.79 c WARNING: for repeatability, setting FPU to use double precision
9.71/9.79 c ============================[ Problem Statistics ]=============================
9.71/9.79 c | |
9.71/9.79 c | Number of variables: 219138 |
9.71/9.79 c | Number of clauses: 1044843 |
10.51/10.51 c | Parsing time: 0.68 s |
10.51/10.56 c ============================[ Search Statistics ]==============================
10.51/10.56 c | Conflicts | ORIGINAL | LEARNT | Progress |
10.51/10.56 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
10.51/10.56 c ===============================================================================
10.51/10.56 c | 0 | 219138 1044843 2775530 | 348281 0 nan | 0.000 % |
10.91/10.96 c | 101 | 218935 1044843 2775530 | 348281 94 29 | 1.845 % |
11.21/11.29 c | 205 | 218889 1044843 2775530 | 348281 198 22 | 1.845 % |
11.81/11.81 c | 307 | 218581 1044843 2775530 | 348281 293 23 | 5.498 % |
11.91/11.98 c | 420 | 218547 1044843 2775530 | 348281 406 27 | 5.498 % |
12.31/12.40 c | 520 | 207089 981115 2614276 | 348281 495 32 | 5.498 % |
12.61/12.69 c | 632 | 207079 981115 2614276 | 348281 603 29 | 6.114 % |
13.11/13.17 c | 753 | 207022 981115 2614276 | 348281 723 29 | 7.323 % |
13.41/13.43 c | 853 | 202207 955083 2548449 | 348281 820 29 | 7.726 % |
13.81/13.89 c | 967 | 202183 955083 2548449 | 348281 932 27 | 7.831 % |
14.01/14.10 c | 1088 | 202166 955083 2548449 | 348281 1052 27 | 7.845 % |
14.61/14.63 c | 1221 | 200085 945103 2523580 | 348281 1177 28 | 8.918 % |
14.81/14.86 c | 1325 | 200083 945103 2523580 | 348281 1281 30 | 8.918 % |
15.01/15.06 c | 1436 | 199812 945103 2523580 | 348281 1386 34 | 11.853 % |
15.41/15.42 c | 1557 | 199452 945103 2523580 | 348281 1503 35 | 14.292 % |
15.61/15.65 c | 1690 | 199370 945103 2523580 | 348281 1634 34 | 15.233 % |
15.91/15.99 c | 1836 | 185756 871066 2336741 | 348281 1763 36 | 15.233 % |
16.31/16.37 c | 1937 | 185756 871066 2336741 | 348281 1864 36 | 15.233 % |
16.51/16.58 c | 2047 | 185723 871066 2336741 | 348281 1972 36 | 15.282 % |
16.81/16.81 c | 2171 | 185666 871066 2336741 | 348281 2095 36 | 15.491 % |
17.21/17.22 c | 2304 | 185191 868066 2329218 | 348281 2227 38 | 15.491 % |
17.51/17.58 c | 2451 | 185191 868066 2329218 | 348281 2374 37 | 15.491 % |
18.01/18.10 c | 2613 | 185129 868066 2329218 | 348281 2532 36 | 16.910 % |
18.41/18.47 c | 2713 | 182054 851551 2287657 | 348281 2630 36 | 16.934 % |
18.61/18.67 c | 2823 | 182048 851551 2287657 | 348281 2739 36 | 16.957 % |
19.11/19.18 c | 2944 | 182006 851551 2287657 | 348281 2859 35 | 16.983 % |
19.51/19.58 c | 3077 | 181861 850666 2285689 | 348281 2987 36 | 17.465 % |
19.61/19.68 c | 3224 | 181859 850666 2285689 | 348281 3134 35 | 17.465 % |
20.01/20.02 c | 3388 | 181844 850666 2285689 | 348281 3297 36 | 17.483 % |
20.31/20.40 c | 3564 | 181841 850666 2285689 | 348281 3472 36 | 17.497 % |
20.51/20.58 c | 3664 | 181841 850666 2285689 | 348281 3572 37 | 17.497 % |
20.91/21.01 c | 3774 | 180735 844762 2270751 | 348281 3678 37 | 17.579 % |
21.21/21.27 c | 3896 | 180714 844762 2270751 | 348281 3799 38 | 17.616 % |
21.41/21.48 c | 4031 | 180714 844762 2270751 | 348281 3934 38 | 17.616 % |
21.71/21.73 c | 4178 | 180685 844762 2270751 | 348281 4079 39 | 18.518 % |
22.01/22.04 c | 4338 | 178523 832796 2241032 | 348281 4196 39 | 18.534 % |
22.32/22.41 c | 4515 | 178457 832796 2241032 | 348281 4372 39 | 18.584 % |
22.62/22.70 c | 4711 | 178438 832796 2241032 | 348281 4566 39 | 18.667 % |
22.92/22.93 c | 4813 | 178438 832796 2241032 | 348281 4668 39 | 18.667 % |
23.22/23.29 c | 4924 | 178438 832796 2241032 | 348281 4779 39 | 18.667 % |
23.52/23.55 c | 5045 | 178231 831393 2237911 | 348281 4860 39 | 18.667 % |
23.82/23.83 c | 5178 | 178190 831393 2237911 | 348281 4990 39 | 18.831 % |
24.32/24.38 c | 5324 | 178155 831393 2237911 | 348281 5134 39 | 18.864 % |
24.62/24.70 c | 5484 | 177659 829197 2233125 | 348281 5233 41 | 18.932 % |
25.02/25.08 c | 5660 | 177656 829197 2233125 | 348281 5407 40 | 18.957 % |
25.62/25.62 c | 5855 | 177653 829197 2233125 | 348281 5602 41 | 18.957 % |
26.02/26.09 c | 6067 | 177653 829197 2233125 | 348281 5814 42 | 18.957 % |
26.32/26.34 c | 6167 | 177596 828771 2231984 | 348281 5910 42 | 18.957 % |
26.72/26.78 c | 6278 | 177595 828771 2231984 | 348281 6020 42 | 18.958 % |
27.02/27.08 c | 6403 | 177594 828771 2231984 | 348281 6144 42 | 18.960 % |
27.22/27.26 c | 6536 | 177594 828771 2231984 | 348281 6277 42 | 18.960 % |
27.42/27.51 c | 6682 | 177551 828490 2231290 | 348281 6419 45 | 18.978 % |
27.62/27.69 c | 6854 | 177551 828490 2231290 | 348281 6591 46 | 18.978 % |
28.02/28.10 c | 7030 | 177457 828490 2231290 | 348281 6764 46 | 19.158 % |
28.52/28.53 c | 7223 | 177364 828490 2231290 | 348281 6957 45 | 19.158 % |
28.92/28.95 c | 7436 | 176921 825267 2223582 | 348281 7154 46 | 19.274 % |
29.42/29.50 c | 7669 | 176859 825267 2223582 | 348281 7384 46 | 19.925 % |
29.62/29.66 c | 7769 | 176859 825267 2223582 | 348281 7484 46 | 19.925 % |
30.02/30.03 c | 7880 | 176859 825267 2223582 | 348281 7595 46 | 19.925 % |
30.32/30.36 c | 8001 | 175464 817545 2203218 | 348281 7709 46 | 19.951 % |
30.62/30.64 c | 8134 | 175453 817545 2203218 | 348281 7842 46 | 19.951 % |
31.22/31.29 c | 8284 | 175450 817545 2203218 | 348281 7992 46 | 19.951 % |
31.62/31.63 c | 8444 | 175450 817545 2203218 | 348281 8152 46 | 19.951 % |
32.22/32.23 c | 8620 | 175418 817120 2202113 | 348281 8328 46 | 19.951 % |
33.22/33.24 c | 8814 | 175342 816974 2201737 | 348281 8520 46 | 20.058 % |
33.72/33.76 c | 9028 | 175342 816974 2201737 | 348281 8733 46 | 20.059 % |
34.22/34.29 c | 9261 | 175333 816974 2201737 | 348281 8965 47 | 20.087 % |
34.82/34.88 c | 9517 | 173331 806377 2174451 | 348281 9214 47 | 20.903 % |
34.92/34.98 c | 9619 | 173331 806377 2174451 | 348281 9316 48 | 20.903 % |
35.12/35.14 c | 9729 | 173331 806377 2174451 | 348281 9426 48 | 20.903 % |
35.22/35.28 c | 9851 | 173328 806377 2174451 | 348281 9547 48 | 21.528 % |
35.52/35.56 c | 9985 | 173303 806377 2174451 | 348281 9680 48 | 21.551 % |
35.82/35.91 c | 10131 | 171911 798746 2154772 | 2147483647 9824 48 | 21.551 % |
36.22/36.24 c | 10296 | 171911 798746 2154772 | 2147483647 9989 49 | 21.551 % |
36.52/36.60 c | 10474 | 171909 798746 2154772 | 2147483647 10165 51 | 21.557 % |
36.92/37.00 c | 10670 | 171902 798746 2154772 | 2147483647 10360 52 | 21.563 % |
37.42/37.47 c | 10882 | 171885 798526 2154186 | 2147483647 10570 52 | 21.563 % |
37.82/37.84 c | 11116 | 171885 798526 2154186 | 2147483647 10804 52 | 21.563 % |
38.32/38.32 c | 11374 | 171885 798526 2154186 | 2147483647 11062 52 | 21.563 % |
39.02/39.10 c | 11655 | 171847 798351 2153766 | 2147483647 11342 52 | 21.580 % |
39.42/39.49 c | 11755 | 171788 798351 2153766 | 2147483647 11441 53 | 21.622 % |
40.12/40.13 c | 11865 | 171716 798351 2153766 | 2147483647 11548 53 | 22.447 % |
40.62/40.65 c | 11990 | 169947 787827 2126811 | 2147483647 11664 53 | 22.447 % |
40.92/40.95 c | 12123 | 169947 787827 2126811 | 2147483647 11797 54 | 22.447 % |
41.22/41.23 c | 12269 | 169947 787827 2126811 | 2147483647 11943 54 | 22.447 % |
42.02/42.04 c | 12429 | 169945 787827 2126811 | 2147483647 12102 56 | 22.454 % |
42.32/42.36 c | 12605 | 169933 787718 2126516 | 2147483647 12278 57 | 22.454 % |
42.92/42.92 c | 12798 | 169933 787718 2126516 | 2147483647 12471 57 | 22.454 % |
43.22/43.29 c | 13010 | 169933 787718 2126516 | 2147483647 12683 57 | 22.454 % |
44.22/44.28 c | 13244 | 169931 787718 2126516 | 2147483647 12916 59 | 22.512 % |
45.12/45.19 c | 13502 | 169805 787078 2125236 | 2147483647 13095 60 | 22.512 % |
46.02/46.09 c | 13783 | 169803 787078 2125236 | 2147483647 13375 61 | 22.593 % |
47.72/47.81 c | 14094 | 169629 786351 2123685 | 2147483647 13679 67 | 22.593 % |
48.12/48.18 c | 14195 | 168857 782286 2113049 | 2147483647 13776 67 | 22.945 % |
48.52/48.57 c | 14305 | 168857 782286 2113049 | 2147483647 13886 67 | 22.945 % |
49.32/49.34 c | 14426 | 168857 782286 2113049 | 2147483647 14007 67 | 22.945 % |
49.72/49.76 c | 14559 | 168851 782267 2112998 | 2147483647 14138 67 | 23.003 % |
49.92/50.00 c | 14708 | 168832 782267 2112998 | 2147483647 14287 68 | 23.003 % |
50.32/50.35 c | 14868 | 168832 782267 2112998 | 2147483647 14447 68 | 23.003 % |
50.72/50.73 c | 15044 | 168826 782267 2112998 | 2147483647 14622 68 | 23.010 % |
51.12/51.12 c | 15238 | 168824 782267 2112998 | 2147483647 14815 68 | 23.030 % |
51.72/51.73 c | 15450 | 168823 782267 2112998 | 2147483647 15027 68 | 23.030 % |
52.62/52.71 c | 15683 | 168670 781322 2110665 | 2147483647 15254 69 | 23.030 % |
54.22/54.28 c | 15941 | 168670 781322 2110665 | 2147483647 15512 75 | 23.030 % |
55.32/55.33 c | 16224 | 168670 781322 2110665 | 2147483647 15795 77 | 23.030 % |
56.32/56.34 c | 16534 | 168670 781322 2110665 | 2147483647 16105 79 | 23.030 % |
57.82/57.87 c | 16873 | 168668 781318 2110657 | 2147483647 16442 81 | 23.228 % |
58.22/58.22 c | 16973 | 168656 781318 2110657 | 2147483647 16541 81 | 23.399 % |
58.52/58.59 c | 17083 | 168656 781318 2110657 | 2147483647 16651 81 | 23.399 % |
59.02/59.03 c | 17205 | 168656 781318 2110657 | 2147483647 16773 81 | 23.399 % |
59.22/59.28 c | 17339 | 167861 776515 2098000 | 2147483647 16905 81 | 23.399 % |
59.52/59.54 c | 17487 | 167861 776515 2098000 | 2147483647 17053 81 | 23.399 % |
59.92/59.96 c | 17647 | 167861 776515 2098000 | 2147483647 17212 81 | 23.421 % |
60.22/60.28 c | 17823 | 167860 776515 2098000 | 2147483647 17388 81 | 23.421 % |
60.52/60.52 c | 18017 | 167860 776515 2098000 | 2147483647 17582 81 | 23.421 % |
61.12/61.16 c | 18229 | 167860 776515 2098000 | 2147483647 17794 82 | 23.421 % |
61.42/61.47 c | 18464 | 167813 776310 2097487 | 2147483647 18028 82 | 23.421 % |
61.92/61.95 c | 18724 | 167813 776310 2097487 | 2147483647 18288 82 | 23.421 % |
62.42/62.45 c | 19005 | 167811 776310 2097487 | 2147483647 18568 82 | 23.427 % |
62.82/62.89 c | 19314 | 167811 776310 2097487 | 2147483647 18877 82 | 23.427 % |
63.82/63.89 c | 19655 | 167797 776207 2097232 | 2147483647 19211 82 | 23.434 % |
64.72/64.80 c | 20027 | 167712 776207 2097232 | 2147483647 19581 82 | 23.498 % |
65.12/65.14 c | 20128 | 167254 773975 2092378 | 2147483647 19580 82 | 23.676 % |
65.42/65.50 c | 20239 | 167206 773975 2092378 | 2147483647 19690 82 | 23.715 % |
65.62/65.69 c | 20362 | 167206 773975 2092378 | 2147483647 19813 83 | 23.715 % |
65.92/65.97 c | 20496 | 167206 773975 2092378 | 2147483647 19947 83 | 23.715 % |
66.42/66.43 c | 20644 | 167206 773975 2092378 | 2147483647 20095 83 | 23.715 % |
66.92/66.97 c | 20805 | 167206 773975 2092378 | 2147483647 20256 83 | 23.715 % |
67.32/67.41 c | 20981 | 167169 773687 2091766 | 2147483647 20429 84 | 23.715 % |
68.02/68.05 c | 21175 | 167164 773687 2091766 | 2147483647 20621 84 | 23.732 % |
68.62/68.70 c | 21391 | 167125 773687 2091766 | 2147483647 20834 84 | 23.751 % |
69.02/69.01 c | 21624 | 167125 773687 2091766 | 2147483647 21067 85 | 23.751 % |
69.82/69.82 c | 21882 | 167090 773134 2090351 | 2147483647 21313 85 | 23.751 % |
70.72/70.76 c | 22163 | 167090 773134 2090351 | 2147483647 21594 87 | 23.751 % |
71.42/71.51 c | 22472 | 167090 773134 2090351 | 2147483647 21903 88 | 23.751 % |
72.02/72.01 c | 22812 | 167090 773134 2090351 | 2147483647 22243 89 | 23.751 % |
73.52/73.54 c | 23184 | 167089 773131 2090345 | 2147483647 22613 90 | 23.753 % |
74.32/74.31 c | 23593 | 167071 773131 2090345 | 2147483647 23021 89 | 23.764 % |
74.62/74.61 c | 23699 | 167071 773131 2090345 | 2147483647 23127 89 | 23.764 % |
75.02/75.06 c | 23809 | 167067 773131 2090345 | 2147483647 23235 89 | 23.785 % |
75.32/75.38 c | 23930 | 167010 772714 2089348 | 2147483647 23352 89 | 24.046 % |
76.52/76.52 c | 24063 | 167010 772714 2089348 | 2147483647 23485 90 | 24.046 % |
76.72/76.77 c | 24211 | 167004 772714 2089348 | 2147483647 23632 90 | 24.536 % |
76.92/76.96 c | 24371 | 167004 772714 2089348 | 2147483647 23792 90 | 24.536 % |
78.23/78.23 c | 24547 | 166956 772714 2089348 | 2147483647 23967 91 | 24.545 % |
78.62/78.70 c | 24741 | 165350 763420 2065760 | 2147483647 24125 91 | 24.554 % |
78.92/78.94 c | 24953 | 165350 763420 2065760 | 2147483647 24337 92 | 24.554 % |
79.33/79.34 c | 25187 | 165342 763420 2065760 | 2147483647 24569 92 | 24.673 % |
80.62/80.70 c | 25443 | 165319 763420 2065760 | 2147483647 24825 93 | 24.673 % |
82.02/82.03 c | 25724 | 165054 761906 2061832 | 2147483647 25041 95 | 24.743 % |
83.73/83.79 c | 26033 | 165054 761906 2061832 | 2147483647 25350 97 | 24.743 % |
84.42/84.43 c | 26372 | 164907 760983 2059310 | 2147483647 25682 97 | 24.826 % |
85.02/85.03 c | 26744 | 164906 760983 2059310 | 2147483647 26053 97 | 24.840 % |
85.72/85.80 c | 27156 | 164906 760983 2059310 | 2147483647 26465 97 | 24.840 % |
86.22/86.30 c | 27605 | 164906 760983 2059310 | 2147483647 26914 97 | 24.840 % |
86.62/86.64 c | 27705 | 164705 759933 2056751 | 2147483647 26972 97 | 24.840 % |
87.62/87.65 c | 27815 | 164705 759933 2056751 | 2147483647 27082 98 | 24.840 % |
88.02/88.07 c | 27936 | 164705 759933 2056751 | 2147483647 27203 99 | 24.840 % |
88.32/88.39 c | 28070 | 164704 759933 2056751 | 2147483647 27336 99 | 24.840 % |
89.02/89.08 c | 28223 | 164702 759933 2056751 | 2147483647 27488 99 | 24.863 % |
90.12/90.20 c | 28383 | 164647 759710 2056192 | 2147483647 27640 100 | 24.872 % |
91.52/91.52 c | 28560 | 164643 759710 2056192 | 2147483647 27815 101 | 24.902 % |
91.82/91.88 c | 28755 | 164643 759710 2056192 | 2147483647 28010 101 | 24.902 % |
92.72/92.73 c | 28968 | 164568 759256 2055041 | 2147483647 28207 101 | 24.902 % |
93.52/93.55 c | 29201 | 164567 759256 2055041 | 2147483647 28439 101 | 24.903 % |
94.22/94.25 c | 29459 | 164566 759256 2055041 | 2147483647 28696 102 | 24.903 % |
94.62/94.61 c | 29746 | 164566 759256 2055041 | 2147483647 28983 102 | 24.903 % |
95.62/95.65 c | 30055 | 164537 759246 2055020 | 2147483647 29272 101 | 25.028 % |
97.42/97.48 c | 30396 | 164534 759246 2055020 | 2147483647 29611 103 | 25.040 % |
100.42/100.42 c | 30770 | 164262 757763 2051166 | 2147483647 29959 106 | 25.093 % |
102.82/102.84 c | 31182 | 164138 757163 2049659 | 2147483647 30357 109 | 25.559 % |
105.73/105.74 c | 31631 | 164138 757163 2049659 | 2147483647 30806 110 | 25.559 % |
108.23/108.28 c | 32128 | 163110 751728 2035723 | 2147483647 31281 112 | 25.682 % |
108.93/108.93 c | 32229 | 163109 751728 2035723 | 2147483647 31382 112 | 25.682 % |
109.33/109.38 c | 32339 | 162854 750332 2032406 | 2147483647 31464 112 | 25.696 % |
110.33/110.36 c | 32461 | 162854 750332 2032406 | 2147483647 31586 113 | 25.696 % |
110.73/110.73 c | 32594 | 162854 750332 2032406 | 2147483647 31718 113 | 25.698 % |
112.13/112.15 c | 32742 | 162854 750332 2032406 | 2147483647 31866 114 | 25.698 % |
113.03/113.05 c | 32902 | 162825 750099 2031789 | 2147483647 32018 114 | 25.698 % |
114.13/114.14 c | 33078 | 162825 750099 2031789 | 2147483647 32194 116 | 25.698 % |
114.63/114.62 c | 33271 | 162825 750099 2031789 | 2147483647 32387 116 | 25.698 % |
115.73/115.80 c | 33485 | 162825 750099 2031789 | 2147483647 32601 116 | 25.698 % |
116.63/116.69 c | 33718 | 162825 750099 2031789 | 2147483647 32834 117 | 25.698 % |
118.13/118.17 c | 33974 | 162824 750095 2031781 | 2147483647 33089 118 | 25.698 % |
119.13/119.15 c | 34255 | 162823 750095 2031781 | 2147483647 33369 119 | 25.704 % |
120.83/120.88 c | 34565 | 162823 750095 2031781 | 2147483647 33679 120 | 25.704 % |
121.63/121.70 c | 34912 | 162811 749989 2031506 | 2147483647 34024 123 | 25.704 % |
123.53/123.57 c | 35284 | 162810 749989 2031506 | 2147483647 34395 124 | 25.712 % |
125.63/125.68 c | 35693 | 162755 749989 2031506 | 2147483647 34799 124 | 25.809 % |
127.53/127.58 c | 36142 | 162581 748876 2028900 | 2147483647 35219 124 | 25.809 % |
130.13/130.13 c | 36635 | 162509 748615 2028262 | 2147483647 35708 126 | 26.058 % |
133.73/133.72 c | 37177 | 162508 748615 2028262 | 2147483647 36248 128 | 26.069 % |
134.73/134.73 c | 37277 | 162012 746107 2021830 | 2147483647 36336 128 | 26.069 % |
135.63/135.70 c | 37389 | 162012 746107 2021830 | 2147483647 36448 128 | 26.069 % |
136.23/136.29 c | 37518 | 162012 746107 2021830 | 2147483647 36577 128 | 26.069 % |
136.73/136.72 c | 37651 | 162012 746107 2021830 | 2147483647 36710 129 | 26.069 % |
137.03/137.08 c | 37797 | 162012 746107 2021830 | 2147483647 36856 128 | 26.069 % |
138.43/138.42 c | 37958 | 161861 745193 2019409 | 2147483647 37012 129 | 26.137 % |
139.63/139.65 c | 38134 | 161855 745193 2019409 | 2147483647 37186 129 | 26.152 % |
140.93/140.96 c | 38327 | 161855 745193 2019409 | 2147483647 37378 130 | 26.153 % |
141.93/142.01 c | 38539 | 161783 744771 2018320 | 2147483647 37574 130 | 26.189 % |
142.53/142.55 c | 38780 | 161783 744771 2018320 | 2147483647 37815 130 | 26.189 % |
143.43/143.42 c | 39036 | 161783 744771 2018320 | 2147483647 38071 130 | 26.189 % |
145.23/145.23 c | 39317 | 161778 744771 2018320 | 2147483647 38350 130 | 26.291 % |
147.53/147.57 c | 39626 | 161524 743527 2015349 | 2147483647 38617 132 | 26.298 % |
149.63/149.70 c | 39965 | 161515 743527 2015349 | 2147483647 38952 133 | 26.381 % |
152.33/152.34 c | 40337 | 161327 742687 2013242 | 2147483647 39315 134 | 26.381 % |
154.33/154.36 c | 40747 | 161270 742401 2012506 | 2147483647 39718 134 | 26.407 % |
156.63/156.65 c | 41197 | 161270 742401 2012506 | 2147483647 40167 135 | 26.418 % |
158.43/158.44 c | 41690 | 161270 742401 2012506 | 2147483647 40660 137 | 26.418 % |
162.73/162.73 c | 42232 | 160715 739627 2005490 | 2147483647 41146 137 | 26.679 % |
165.73/165.73 c | 42828 | 160713 739627 2005490 | 2147483647 41740 138 | 26.688 % |
165.93/165.92 c | 42928 | 160713 739627 2005490 | 2147483647 41839 138 | 26.753 % |
167.03/167.01 c | 43038 | 160564 739627 2005490 | 2147483647 41948 138 | 26.874 % |
168.33/168.34 c | 43159 | 160245 737517 2000857 | 2147483647 42045 139 | 26.875 % |
168.83/168.86 c | 43292 | 160245 737517 2000857 | 2147483647 42178 139 | 26.875 % |
169.83/169.82 c | 43438 | 160240 737517 2000857 | 2147483647 42321 140 | 26.904 % |
171.23/171.22 c | 43599 | 160240 737517 2000857 | 2147483647 42482 140 | 26.904 % |
171.74/171.77 c | 43777 | 160099 736798 1999088 | 2147483647 42637 140 | 26.941 % |
172.13/172.12 c | 43972 | 160099 736798 1999088 | 2147483647 42832 140 | 26.941 % |
173.23/173.25 c | 44185 | 160099 736798 1999088 | 2147483647 43045 140 | 26.941 % |
173.94/174.00 c | 44420 | 160099 736798 1999088 | 2147483647 43280 140 | 26.941 % |
175.43/175.46 c | 44677 | 160099 736798 1999088 | 2147483647 43537 140 | 26.941 % |
176.23/176.27 c | 44958 | 160099 736798 1999088 | 2147483647 43818 140 | 26.941 % |
177.92/177.98 c | 45268 | 159999 736374 1998030 | 2147483647 44118 141 | 26.987 % |
180.62/180.66 c | 45607 | 159999 736374 1998030 | 2147483647 44457 142 | 26.987 % |
181.02/181.09 c | 45981 | 159999 736374 1998030 | 2147483647 44831 142 | 26.987 % |
183.92/183.96 c | 46390 | 159999 736374 1998030 | 2147483647 45240 144 | 26.987 % |
187.13/187.18 c | 46839 | 159952 736192 1997568 | 2147483647 45683 145 | 27.095 % |
190.33/190.33 c | 47332 | 159940 736192 1997568 | 2147483647 46169 146 | 27.145 % |
192.73/192.71 c | 47874 | 159940 736192 1997568 | 2147483647 46711 147 | 27.145 % |
196.23/196.30 c | 48473 | 159654 734729 1993946 | 2147483647 47294 147 | 27.145 % |
200.33/200.31 c | 49128 | 159510 734072 1992322 | 2147483647 47906 148 | 27.225 % |
201.03/201.01 c | 49229 | 159510 734072 1992322 | 2147483647 48006 149 | 27.225 % |
201.83/201.81 c | 49341 | 159509 734072 1992322 | 2147483647 48117 149 | 27.226 % |
203.03/203.08 c | 49463 | 159509 734072 1992322 | 2147483647 48239 149 | 27.226 % |
204.33/204.34 c | 49597 | 159472 733910 1991911 | 2147483647 48365 149 | 27.323 % |
205.43/205.50 c | 49746 | 159469 733910 1991911 | 2147483647 48513 149 | 27.343 % |
206.73/206.78 c | 49909 | 159468 733910 1991911 | 2147483647 48675 150 | 27.379 % |
207.23/207.24 c | 50089 | 159468 733910 1991911 | 2147483647 48855 150 | 27.379 % |
208.33/208.34 c | 50282 | 159465 733910 1991911 | 2147483647 49044 150 | 27.404 % |
210.43/210.42 c | 50494 | 159086 732067 1987263 | 2147483647 49153 151 | 27.404 % |
211.83/211.84 c | 50730 | 159085 732067 1987263 | 2147483647 49388 151 | 27.417 % |
213.93/213.92 c | 50986 | 159085 732067 1987263 | 2147483647 49644 152 | 27.417 % |
214.83/214.88 c | 51274 | 159056 731918 1986883 | 2147483647 49928 152 | 27.430 % |
217.03/217.10 c | 51583 | 159055 731918 1986883 | 2147483647 50236 153 | 27.438 % |
219.93/219.91 c | 51923 | 159021 731918 1986883 | 2147483647 50575 154 | 27.483 % |
222.63/222.62 c | 52297 | 158912 731080 1984757 | 2147483647 50925 155 | 27.483 % |
225.43/225.42 c | 52709 | 158902 731080 1984757 | 2147483647 51330 156 | 27.522 % |
228.73/228.77 c | 53158 | 158809 730529 1983360 | 2147483647 51728 157 | 27.543 % |
232.53/232.59 c | 53652 | 158804 730529 1983360 | 2147483647 52216 159 | 27.591 % |
236.43/236.45 c | 54194 | 158673 729833 1981565 | 2147483647 52733 160 | 27.612 % |
237.53/237.52 c | 54790 | 158673 729833 1981565 | 2147483647 53329 160 | 27.612 % |
239.43/239.48 c | 55446 | 158669 729833 1981565 | 2147483647 53982 160 | 27.650 % |
244.43/244.46 c | 56166 | 158547 729273 1980183 | 2147483647 54677 161 | 27.652 % |
245.53/245.54 c | 56268 | 158545 729273 1980183 | 2147483647 54777 161 | 27.653 % |
246.33/246.34 c | 56378 | 158462 728872 1979168 | 2147483647 54867 161 | 27.688 % |
246.63/246.62 c | 56508 | 158462 728872 1979168 | 2147483647 54997 161 | 27.688 % |
247.33/247.39 c | 56641 | 158462 728872 1979168 | 2147483647 55130 161 | 27.688 % |
248.53/248.52 c | 56788 | 158462 728872 1979168 | 2147483647 55276 162 | 27.702 % |
250.03/250.07 c | 56954 | 158460 728872 1979168 | 2147483647 55438 162 | 27.722 % |
251.63/251.61 c | 57131 | 158450 728872 1979168 | 2147483647 55610 162 | 28.041 % |
252.13/252.13 c | 57324 | 158448 728872 1979168 | 2147483647 55802 162 | 28.044 % |
253.93/253.98 c | 57536 | 157659 725300 1970458 | 2147483647 55891 162 | 28.066 % |
255.13/255.11 c | 57769 | 157659 725300 1970458 | 2147483647 56124 162 | 28.066 % |
256.83/256.88 c | 58025 | 157658 725300 1970458 | 2147483647 56378 163 | 28.099 % |
258.33/258.34 c | 58307 | 157656 725300 1970458 | 2147483647 56658 163 | 29.977 % |
261.43/261.42 c | 58616 | 153412 702341 1913428 | 2147483647 56941 164 | 29.993 % |
263.23/263.28 c | 58955 | 153412 702341 1913428 | 2147483647 57280 164 | 29.993 % |
265.24/265.27 c | 59327 | 153412 702341 1913428 | 2147483647 57651 165 | 29.993 % |
268.13/268.13 c | 59739 | 153410 702341 1913428 | 2147483647 58061 166 | 29.994 % |
271.74/271.74 c | 60190 | 153407 702332 1913410 | 2147483647 58506 167 | 30.084 % |
274.64/274.63 c | 60683 | 153406 702332 1913410 | 2147483647 58998 169 | 30.085 % |
277.04/277.11 c | 61227 | 153087 700845 1909705 | 2147483647 59476 170 | 30.141 % |
281.64/281.65 c | 61823 | 153086 700845 1909705 | 2147483647 60069 171 | 30.147 % |
286.04/286.09 c | 62478 | 153056 700622 1909181 | 2147483647 60698 172 | 30.167 % |
293.14/293.16 c | 63198 | 153056 700622 1909181 | 2147483647 61418 173 | 30.167 % |
299.24/299.27 c | 63992 | 153030 700487 1908866 | 2147483647 62194 175 | 30.176 % |
299.84/299.87 c | 64092 | 153030 700487 1908866 | 2147483647 62294 175 | 30.176 % |
300.44/300.49 c | 64202 | 153030 700487 1908866 | 2147483647 62404 175 | 30.176 % |
301.64/301.70 c | 64323 | 153008 700360 1908533 | 2147483647 62515 175 | 30.182 % |
302.64/302.69 c | 64456 | 153008 700360 1908533 | 2147483647 62648 175 | 30.182 % |
303.64/303.66 c | 64603 | 153007 700360 1908533 | 2147483647 62794 175 | 30.182 % |
304.04/304.08 c | 64765 | 153007 700360 1908533 | 2147483647 62956 175 | 30.182 % |
305.34/305.34 c | 64945 | 153007 700360 1908533 | 2147483647 63136 176 | 30.182 % |
306.54/306.59 c | 65144 | 153007 700360 1908533 | 2147483647 63335 175 | 30.182 % |
307.74/307.76 c | 65362 | 153007 700360 1908533 | 2147483647 63553 176 | 30.182 % |
309.24/309.29 c | 65602 | 153007 700360 1908533 | 2147483647 63793 175 | 30.182 % |
311.54/311.57 c | 65858 | 152997 700257 1908290 | 2147483647 64035 176 | 30.182 % |
313.74/313.74 c | 66140 | 152995 700257 1908290 | 2147483647 64315 176 | 30.210 % |
316.64/316.61 c | 66449 | 152995 700257 1908290 | 2147483647 64624 177 | 30.210 % |
319.04/319.06 c | 66788 | 152995 700257 1908290 | 2147483647 64963 177 | 30.210 % |
322.74/322.72 c | 67160 | 152935 699956 1907549 | 2147483647 65303 178 | 30.218 % |
327.14/327.13 c | 67576 | 152916 699837 1907228 | 2147483647 65714 179 | 30.219 % |
330.94/330.92 c | 68026 | 152916 699837 1907228 | 2147483647 66164 180 | 30.219 % |
334.04/334.10 c | 68519 | 152916 699837 1907228 | 2147483647 66657 181 | 30.219 % |
336.75/336.72 c | 69062 | 152903 699733 1906945 | 2147483647 67196 182 | 30.225 % |
339.74/339.72 c | 69658 | 152903 699733 1906945 | 2147483647 67791 182 | 30.226 % |
344.34/344.38 c | 70313 | 152903 699733 1906945 | 2147483647 68446 182 | 30.226 % |
349.95/349.95 c | 71033 | 152902 699729 1906937 | 2147483647 69164 184 | 30.226 % |
355.15/355.17 c | 71826 | 152901 699729 1906937 | 2147483647 69956 185 | 30.711 % |
361.75/361.80 c | 72698 | 151838 695471 1896396 | 2147483647 70818 186 | 30.796 % |
362.65/362.63 c | 72798 | 151838 695471 1896396 | 2147483647 70918 186 | 30.796 % |
363.25/363.23 c | 72908 | 151838 695471 1896396 | 2147483647 71028 186 | 30.796 % |
364.05/364.08 c | 73029 | 151838 695471 1896396 | 2147483647 71149 187 | 30.796 % |
364.75/364.78 c | 73162 | 151838 695471 1896396 | 2147483647 71282 187 | 30.796 % |
366.25/366.24 c | 73308 | 151652 694624 1894361 | 2147483647 71328 187 | 30.796 % |
367.55/367.53 c | 73472 | 151652 694624 1894361 | 2147483647 71491 187 | 30.797 % |
368.95/368.92 c | 73648 | 151652 694624 1894361 | 2147483647 71667 187 | 30.797 % |
370.75/370.76 c | 73842 | 151651 694624 1894361 | 2147483647 71859 188 | 30.803 % |
372.45/372.43 c | 74054 | 151651 694624 1894361 | 2147483647 72071 188 | 30.803 % |
373.95/373.99 c | 74287 | 151651 694624 1894361 | 2147483647 72304 188 | 30.803 % |
376.25/376.28 c | 74544 | 151650 694624 1894361 | 2147483647 72560 189 | 30.803 % |
378.65/378.69 c | 74831 | 151636 694519 1894088 | 2147483647 72838 189 | 30.803 % |
380.95/380.98 c | 75142 | 151636 694519 1894088 | 2147483647 73149 189 | 30.803 % |
383.35/383.31 c | 75481 | 151636 694519 1894088 | 2147483647 73488 190 | 30.803 % |
386.45/386.44 c | 75853 | 151636 694519 1894088 | 2147483647 73860 190 | 30.803 % |
390.05/390.03 c | 76264 | 151583 694246 1893380 | 2147483647 74261 191 | 30.835 % |
393.55/393.52 c | 76713 | 151582 694246 1893380 | 2147483647 74709 192 | 30.848 % |
397.75/397.74 c | 77206 | 151578 694246 1893380 | 2147483647 75200 193 | 30.854 % |
401.05/401.09 c | 77751 | 151526 693929 1892543 | 2147483647 75737 194 | 30.854 % |
406.45/406.46 c | 78354 | 151524 693929 1892543 | 2147483647 76336 194 | 31.343 % |
411.35/411.41 c | 79013 | 150452 688144 1877331 | 2147483647 76967 195 | 31.344 % |
417.35/417.36 c | 79733 | 150452 688144 1877331 | 2147483647 77687 195 | 31.344 % |
421.15/421.20 c | 80525 | 150452 688144 1877331 | 2147483647 78479 196 | 31.344 % |
427.15/427.19 c | 81396 | 150452 688144 1877331 | 2147483647 79350 197 | 31.344 % |
434.86/434.90 c | 82355 | 150441 688047 1877075 | 2147483647 80305 199 | 31.349 % |
435.86/435.89 c | 82455 | 150441 688047 1877075 | 2147483647 80405 199 | 31.349 % |
436.76/436.75 c | 82565 | 150441 688047 1877075 | 2147483647 80515 199 | 31.349 % |
437.66/437.70 c | 82687 | 150441 688047 1877075 | 2147483647 80636 200 | 31.350 % |
438.26/438.26 c | 82821 | 150441 688047 1877075 | 2147483647 80770 200 | 31.350 % |
439.26/439.26 c | 82967 | 150440 688047 1877075 | 2147483647 80915 200 | 31.354 % |
440.56/440.53 c | 83127 | 150439 688047 1877075 | 2147483647 81074 200 | 31.357 % |
441.96/442.01 c | 83305 | 150439 688047 1877075 | 2147483647 81252 200 | 31.357 % |
443.66/443.66 c | 83498 | 150439 688047 1877075 | 2147483647 81445 201 | 31.357 % |
444.96/444.97 c | 83710 | 150422 687894 1876698 | 2147483647 81655 201 | 31.357 % |
447.16/447.13 c | 83944 | 150422 687894 1876698 | 2147483647 81889 202 | 31.357 % |
449.16/449.12 c | 84200 | 150422 687894 1876698 | 2147483647 82144 202 | 31.371 % |
451.26/451.26 c | 84483 | 150420 687894 1876698 | 2147483647 82426 202 | 31.384 % |
452.26/452.27 c | 84793 | 150420 687894 1876698 | 2147483647 82736 202 | 31.384 % |
454.96/454.93 c | 85132 | 150420 687894 1876698 | 2147483647 83075 203 | 31.384 % |
456.16/456.12 c | 85513 | 150420 687894 1876698 | 2147483647 83456 203 | 31.384 % |
459.06/459.08 c | 85922 | 150363 687614 1875963 | 2147483647 83851 203 | 31.384 % |
462.96/462.95 c | 86372 | 150363 687614 1875963 | 2147483647 84301 203 | 31.384 % |
465.66/465.70 c | 86865 | 150363 687614 1875963 | 2147483647 84794 203 | 31.384 % |
469.26/469.23 c | 87407 | 150362 687614 1875963 | 2147483647 85335 204 | 31.617 % |
475.26/475.30 c | 88003 | 149853 684611 1867814 | 2147483647 85818 204 | 31.617 % |
480.16/480.12 c | 88658 | 149853 684611 1867814 | 2147483647 86473 204 | 31.617 % |
487.16/487.12 c | 89378 | 149822 684464 1867427 | 2147483647 87189 204 | 31.647 % |
493.26/493.23 c | 90170 | 149821 684464 1867427 | 2147483647 87980 204 | 31.648 % |
499.76/499.76 c | 91041 | 149821 684464 1867427 | 2147483647 88851 205 | 31.648 % |
505.86/505.88 c | 92000 | 149785 684301 1867001 | 2147483647 89802 206 | 31.670 % |
511.56/511.56 c | 93053 | 149783 684301 1867001 | 2147483647 90852 207 | 32.144 % |
512.46/512.41 c | 93153 | 149782 684301 1867001 | 2147483647 90951 207 | 32.158 % |
513.26/513.30 c | 93263 | 149781 684301 1867001 | 2147483647 91060 207 | 32.166 % |
514.16/514.20 c | 93384 | 149781 684301 1867001 | 2147483647 91181 207 | 32.166 % |
515.36/515.34 c | 93517 | 148651 678960 1853780 | 2147483647 90954 208 | 32.166 % |
516.37/516.40 c | 93665 | 148651 678960 1853780 | 2147483647 91101 208 | 32.174 % |
516.87/516.85 c | 93826 | 148651 678960 1853780 | 2147483647 91262 208 | 32.174 % |
518.57/518.59 c | 94002 | 148651 678960 1853780 | 2147483647 91438 208 | 32.174 % |
519.87/519.86 c | 94195 | 148651 678960 1853780 | 2147483647 91630 208 | 32.214 % |
521.57/521.53 c | 94407 | 148648 678960 1853780 | 2147483647 91839 208 | 32.258 % |
523.77/523.80 c | 94641 | 148648 678960 1853780 | 2147483647 92073 209 | 32.258 % |
526.27/526.30 c | 94898 | 148648 678960 1853780 | 2147483647 92330 209 | 32.258 % |
528.87/528.81 c | 95179 | 148648 678960 1853780 | 2147483647 92611 209 | 32.258 % |
532.37/532.41 c | 95488 | 148448 677771 1850787 | 2147483647 90787 211 | 32.258 % |
533.97/533.94 c | 95827 | 148448 677771 1850787 | 2147483647 91126 211 | 32.258 % |
535.86/535.80 c | 96199 | 148448 677771 1850787 | 2147483647 91498 212 | 32.258 % |
538.36/538.40 c | 96609 | 148448 677771 1850787 | 2147483647 91907 212 | 32.260 % |
542.16/542.14 c | 97058 | 148448 677771 1850787 | 2147483647 92354 213 | 32.287 % |
545.86/545.89 c | 97552 | 148448 677771 1850787 | 2147483647 92848 214 | 32.287 % |
549.66/549.69 c | 98094 | 148386 677467 1850031 | 2147483647 93377 215 | 32.287 % |
553.56/553.53 c | 98691 | 148385 677467 1850031 | 2147483647 93973 215 | 32.293 % |
558.16/558.12 c | 99346 | 148384 677467 1850031 | 2147483647 94627 214 | 32.293 % |
563.56/563.57 c | 100068 | 148370 677346 1849714 | 2147483647 95339 215 | 32.294 % |
568.76/568.74 c | 100861 | 148370 677346 1849714 | 2147483647 96132 216 | 32.294 % |
575.56/575.53 c | 101735 | 148370 677346 1849714 | 2147483647 97005 217 | 32.304 % |
581.56/581.52 c | 102693 | 148310 676997 1848843 | 2147483647 97947 218 | 32.321 % |
588.86/588.85 c | 103746 | 148310 676997 1848843 | 2147483647 99000 218 | 32.321 % |
601.88/601.88 c | 104906 | 148310 676997 1848843 | 2147483647 100160 217 | 32.321 % |
602.88/602.90 c | 105006 | 148310 676997 1848843 | 2147483647 100260 217 | 32.321 % |
603.68/603.64 c | 105116 | 148310 676997 1848843 | 2147483647 100370 217 | 32.321 % |
604.48/604.49 c | 105237 | 148310 676997 1848843 | 2147483647 100491 217 | 32.321 % |
605.88/605.88 c | 105370 | 148310 676997 1848843 | 2147483647 100624 217 | 32.321 % |
606.78/606.75 c | 105516 | 148307 676994 1848837 | 2147483647 100768 217 | 32.329 % |
607.48/607.48 c | 105676 | 148307 676994 1848837 | 2147483647 100928 217 | 32.329 % |
609.28/609.23 c | 105852 | 148306 676994 1848837 | 2147483647 101103 217 | 32.329 % |
610.18/610.18 c | 106047 | 148306 676994 1848837 | 2147483647 101298 217 | 32.329 % |
611.78/611.81 c | 106259 | 148306 676994 1848837 | 2147483647 101510 217 | 32.329 % |
613.88/613.86 c | 106493 | 148306 676994 1848837 | 2147483647 101744 217 | 32.329 % |
616.38/616.40 c | 106750 | 148305 676994 1848837 | 2147483647 102000 218 | 32.342 % |
618.58/618.55 c | 107031 | 148303 676994 1848837 | 2147483647 102279 218 | 32.361 % |
620.78/620.80 c | 107340 | 148302 676994 1848837 | 2147483647 102587 219 | 32.372 % |
622.68/622.71 c | 107681 | 148302 676994 1848837 | 2147483647 102928 219 | 32.372 % |
625.78/625.74 c | 108054 | 148198 676395 1847283 | 2147483647 103285 219 | 32.372 % |
628.08/628.02 c | 108466 | 148197 676395 1847283 | 2147483647 103695 220 | 32.373 % |
632.18/632.14 c | 108917 | 148195 676395 1847283 | 2147483647 104145 220 | 32.384 % |
636.28/636.25 c | 109410 | 148195 676395 1847283 | 2147483647 104638 221 | 32.384 % |
641.58/641.54 c | 109954 | 148158 676143 1846657 | 2147483647 105172 221 | 32.391 % |
646.88/646.90 c | 110550 | 148157 676143 1846657 | 2147483647 105766 221 | 32.400 % |
652.18/652.14 c | 111205 | 148155 676143 1846657 | 2147483647 106419 221 | 32.421 % |
658.28/658.22 c | 111928 | 148155 676143 1846657 | 2147483647 107142 221 | 32.421 % |
666.08/666.07 c | 112723 | 148092 675787 1845736 | 2147483647 107931 221 | 32.421 % |
671.88/671.90 c | 113594 | 148092 675787 1845736 | 2147483647 108802 222 | 32.421 % |
677.18/677.19 c | 114552 | 148091 675787 1845736 | 2147483647 109758 222 | 32.444 % |
685.89/685.90 c | 115606 | 148041 675547 1845122 | 2147483647 110805 222 | 32.444 % |
694.59/694.59 c | 116764 | 148041 675547 1845122 | 2147483647 111962 222 | 32.474 % |
705.19/705.13 c | 118038 | 147974 675218 1844266 | 2147483647 113229 224 | 32.490 % |
705.89/705.89 c | 118138 | 147974 675218 1844266 | 2147483647 113329 224 | 32.490 % |
707.19/707.12 c | 118252 | 147974 675218 1844266 | 2147483647 113443 224 | 32.490 % |
708.29/708.28 c | 118374 | 147974 675218 1844266 | 2147483647 113565 224 | 32.490 % |
709.59/709.57 c | 118508 | 147974 675218 1844266 | 2147483647 113699 224 | 32.490 % |
711.09/711.07 c | 118655 | 147974 675218 1844266 | 2147483647 113846 224 | 32.490 % |
712.39/712.40 c | 118815 | 147974 675218 1844266 | 2147483647 114006 224 | 32.490 % |
713.99/713.99 c | 118995 | 147974 675218 1844266 | 2147483647 114186 224 | 32.490 % |
715.29/715.24 c | 119188 | 147974 675218 1844266 | 2147483647 114379 224 | 32.490 % |
717.19/717.15 c | 119400 | 147974 675218 1844266 | 2147483647 114589 225 | 32.522 % |
718.99/718.94 c | 119635 | 147974 675218 1844266 | 2147483647 114824 225 | 32.522 % |
721.09/721.11 c | 119891 | 147974 675218 1844266 | 2147483647 115080 225 | 32.522 % |
723.49/723.45 c | 120173 | 147870 674748 1843053 | 2147483647 115345 225 | 32.522 % |
726.19/726.19 c | 120483 | 147870 674748 1843053 | 2147483647 115655 225 | 32.522 % |
729.09/729.02 c | 120823 | 147869 674748 1843053 | 2147483647 115994 225 | 32.522 % |
731.79/731.79 c | 121196 | 147868 674748 1843053 | 2147483647 116365 225 | 32.585 % |
734.79/734.78 c | 121605 | 147868 674748 1843053 | 2147483647 116774 225 | 32.585 % |
738.39/738.40 c | 122054 | 147866 674748 1843053 | 2147483647 117222 225 | 32.598 % |
742.89/742.85 c | 122547 | 147866 674748 1843053 | 2147483647 117715 225 | 32.598 % |
747.39/747.40 c | 123090 | 147703 673965 1841283 | 2147483647 118221 226 | 32.598 % |
752.19/752.17 c | 123688 | 147703 673965 1841283 | 2147483647 118819 226 | 32.598 % |
758.39/758.38 c | 124343 | 147703 673965 1841283 | 2147483647 119474 226 | 32.598 % |
764.50/764.43 c | 125067 | 147689 673859 1841003 | 2147483647 120197 227 | 32.605 % |
769.20/769.20 c | 125866 | 147685 673859 1841003 | 2147483647 120991 226 | 32.611 % |
777.70/777.67 c | 126738 | 147685 673859 1841003 | 2147483647 121863 227 | 32.611 % |
785.80/785.74 c | 127696 | 147685 673859 1841003 | 2147483647 122821 227 | 32.611 % |
795.00/794.93 c | 128750 | 147676 673780 1840821 | 2147483647 123872 228 | 32.626 % |
802.30/802.27 c | 129910 | 147676 673780 1840821 | 2147483647 125032 229 | 32.626 % |
814.50/814.43 c | 131183 | 147676 673780 1840821 | 2147483647 126304 229 | 32.626 % |
827.41/827.35 c | 132586 | 147639 673603 1840381 | 2147483647 127686 230 | 32.640 % |
828.20/828.18 c | 132686 | 147639 673603 1840381 | 2147483647 127784 230 | 32.682 % |
829.20/829.15 c | 132799 | 147639 673603 1840381 | 2147483647 127897 230 | 32.682 % |
830.50/830.52 c | 132920 | 147639 673603 1840381 | 2147483647 128018 230 | 32.682 % |
831.81/831.78 c | 133056 | 147639 673603 1840381 | 2147483647 128154 230 | 32.682 % |
833.20/833.18 c | 133202 | 147639 673603 1840381 | 2147483647 128300 230 | 32.682 % |
835.00/834.94 c | 133362 | 147639 673603 1840381 | 2147483647 128460 230 | 32.682 % |
836.40/836.41 c | 133539 | 147639 673603 1840381 | 2147483647 128637 230 | 32.682 % |
838.41/838.32 c | 133734 | 147639 673603 1840381 | 2147483647 128832 230 | 32.682 % |
840.70/840.68 c | 133949 | 147520 673081 1839021 | 2147483647 129035 230 | 32.707 % |
842.70/842.68 c | 134184 | 147520 673081 1839021 | 2147483647 129270 230 | 32.707 % |
845.21/845.17 c | 134441 | 147520 673081 1839021 | 2147483647 129527 230 | 32.707 % |
846.61/846.59 c | 134722 | 147520 673081 1839021 | 2147483647 129807 230 | 32.732 % |
847.51/847.51 c | 135035 | 147515 673081 1839021 | 2147483647 130116 230 | 32.775 % |
850.41/850.40 c | 135374 | 147509 673081 1839021 | 2147483647 130455 230 | 32.775 % |
852.61/852.58 c | 135747 | 147509 673081 1839021 | 2147483647 130828 230 | 32.775 % |
855.41/855.37 c | 136163 | 147509 673081 1839021 | 2147483647 131244 230 | 32.775 % |
859.21/859.20 c | 136613 | 147509 673081 1839021 | 2147483647 131694 231 | 32.775 % |
863.11/863.06 c | 137106 | 147509 673081 1839021 | 2147483647 132187 231 | 32.775 % |
868.21/868.19 c | 137650 | 147315 672160 1836617 | 2147483647 132701 231 | 32.794 % |
873.11/873.04 c | 138248 | 147315 672160 1836617 | 2147483647 133298 231 | 32.809 % |
878.21/878.20 c | 138903 | 147314 672160 1836617 | 2147483647 133952 231 | 32.809 % |
885.91/885.89 c | 139626 | 147314 672160 1836617 | 2147483647 134675 231 | 32.809 % |
892.61/892.57 c | 140420 | 147314 672160 1836617 | 2147483647 135469 231 | 32.809 % |
899.90/899.91 c | 141291 | 147240 671826 1835826 | 2147483647 136318 232 | 32.842 % |
908.30/908.24 c | 142251 | 147240 671826 1835826 | 2147483647 137278 232 | 32.842 % |
918.60/918.61 c | 143304 | 147240 671826 1835826 | 2147483647 138330 233 | 32.856 % |
929.31/929.31 c | 144465 | 147139 671379 1834725 | 2147483647 139478 233 | 32.856 % |
940.61/940.55 c | 145740 | 147137 671379 1834725 | 2147483647 140751 234 | 32.883 % |
954.51/954.44 c | 147140 | 147137 671379 1834725 | 2147483647 142151 235 | 32.883 % |
968.41/968.41 c | 148680 | 147079 671021 1833828 | 2147483647 143673 235 | 32.883 % |
969.71/969.67 c | 148781 | 147079 671021 1833828 | 2147483647 143774 235 | 32.883 % |
970.71/970.69 c | 148899 | 147079 671021 1833828 | 2147483647 143892 235 | 32.883 % |
971.01/971.01 c | 149021 | 147078 671021 1833828 | 2147483647 144013 235 | 32.890 % |
971.31/971.28 c | 149159 | 147078 671021 1833828 | 2147483647 144151 235 | 32.890 % |
971.71/971.66 c | 149306 | 147076 671021 1833828 | 2147483647 144296 235 | 32.935 % |
972.11/972.09 c | 149466 | 147076 671021 1833828 | 2147483647 144455 234 | 32.936 % |
972.61/972.55 c | 149646 | 147075 671021 1833828 | 2147483647 144635 234 | 32.936 % |
974.41/974.32 c | 149840 | 147075 671021 1833828 | 2147483647 144829 234 | 32.936 % |
976.31/976.26 c | 150053 | 147075 671021 1833828 | 2147483647 145042 235 | 32.936 % |
977.81/977.78 c | 150286 | 147075 671021 1833828 | 2147483647 145275 235 | 32.936 % |
979.22/979.15 c | 150542 | 147075 671021 1833828 | 2147483647 145531 234 | 32.936 % |
981.51/981.43 c | 150824 | 147075 671021 1833828 | 2147483647 145813 235 | 32.936 % |
984.72/984.66 c | 151134 | 146963 670400 1832333 | 2147483647 145992 235 | 32.936 % |
988.02/988.00 c | 151474 | 146963 670400 1832333 | 2147483647 146332 235 | 32.936 % |
991.51/991.50 c | 151852 | 146963 670400 1832333 | 2147483647 146710 235 | 32.936 % |
995.21/995.15 c | 152261 | 146963 670400 1832333 | 2147483647 147119 235 | 32.936 % |
998.71/998.62 c | 152710 | 146963 670400 1832333 | 2147483647 147568 235 | 32.936 % |
1003.31/1003.22 c | 153203 | 146962 670400 1832333 | 2147483647 148059 235 | 33.001 % |
1009.02/1008.95 c | 153747 | 146962 670400 1832333 | 2147483647 148603 235 | 33.001 % |
1015.32/1015.27 c | 154345 | 146962 670400 1832333 | 2147483647 149201 235 | 33.001 % |
1021.92/1021.91 c | 155001 | 146820 669783 1830820 | 2147483647 149834 235 | 33.001 % |
1028.12/1028.10 c | 155723 | 146818 669783 1830820 | 2147483647 150554 235 | 33.004 % |
1036.72/1036.68 c | 156515 | 146818 669783 1830820 | 2147483647 151346 235 | 33.004 % |
1043.82/1043.76 c | 157386 | 146818 669783 1830820 | 2147483647 152217 235 | 33.004 % |
1054.12/1054.08 c | 158346 | 146814 669754 1830754 | 2147483647 153174 235 | 33.071 % |
1065.03/1064.99 c | 159402 | 146814 669754 1830754 | 2147483647 154230 235 | 33.071 % |
1075.72/1075.64 c | 160560 | 146813 669754 1830754 | 2147483647 155387 235 | 33.079 % |
1088.32/1088.25 c | 161833 | 146649 669041 1828918 | 2147483647 156643 235 | 33.080 % |
1102.23/1102.15 c | 163234 | 146649 669041 1828918 | 2147483647 158044 234 | 33.080 % |
1118.13/1118.03 c | 164780 | 146649 669041 1828918 | 2147483647 159590 235 | 33.080 % |
1138.03/1137.96 c | 166476 | 146647 669038 1828912 | 2147483647 161285 235 | 33.080 % |
1139.13/1139.06 c | 166578 | 146647 669038 1828912 | 2147483647 161387 235 | 33.080 % |
1140.23/1140.14 c | 166690 | 146647 669038 1828912 | 2147483647 161499 235 | 33.080 % |
1141.23/1141.17 c | 166815 | 146647 669038 1828912 | 2147483647 161624 235 | 33.080 % |
1142.73/1142.62 c | 166949 | 146647 669038 1828912 | 2147483647 161758 235 | 33.080 % |
1144.24/1144.13 c | 167098 | 146647 669038 1828912 | 2147483647 161907 235 | 33.080 % |
1145.83/1145.74 c | 167258 | 146647 669038 1828912 | 2147483647 162067 235 | 33.080 % |
1147.83/1147.79 c | 167435 | 146647 669038 1828912 | 2147483647 162244 235 | 33.080 % |
1149.93/1149.86 c | 167629 | 146647 669038 1828912 | 2147483647 162438 235 | 33.080 % |
1152.03/1151.94 c | 167842 | 146647 669033 1828902 | 2147483647 162651 235 | 33.080 % |
1154.33/1154.30 c | 168078 | 146647 669033 1828902 | 2147483647 162887 235 | 33.080 % |
1157.23/1157.17 c | 168334 | 146647 669033 1828902 | 2147483647 163143 235 | 33.080 % |
1159.83/1159.78 c | 168617 | 146647 669033 1828902 | 2147483647 163426 235 | 33.080 % |
1163.23/1163.16 c | 168926 | 146647 669033 1828902 | 2147483647 163735 235 | 33.080 % |
1166.43/1166.39 c | 169265 | 146646 669033 1828902 | 2147483647 164073 235 | 33.092 % |
1170.73/1170.61 c | 169638 | 146646 669033 1828902 | 2147483647 164446 235 | 33.092 % |
1175.14/1175.02 c | 170047 | 146646 669033 1828902 | 2147483647 164855 235 | 33.092 % |
1178.74/1178.65 c | 170496 | 146646 669033 1828902 | 2147483647 165304 235 | 33.092 % |
1183.44/1183.33 c | 170989 | 146646 669033 1828902 | 2147483647 165797 234 | 33.092 % |
1188.24/1188.13 c | 171532 | 146620 668900 1828555 | 2147483647 166336 234 | 33.102 % |
1194.24/1194.21 c | 172131 | 146620 668900 1828555 | 2147483647 166935 234 | 33.102 % |
1200.04/1199.94 HOME/SatELiteGTI: line 36: 20863 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-1821598-1242541836/watcher-1821598-1242541836 -o /tmp/evaluation-result-1821598-1242541836/solver-1821598-1242541836 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1821598-1242541836.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: 1.00 1.00 1.00 2/93 20856
/proc/meminfo: memFree=531528/2074464 swapFree=1951864/1959888
[pid=20856] ppid=20854 vsize=2416 CPUtime=0.01
/proc/20856/stat : 20856 (SatELiteGTI) S 20854 20856 20977 0 -1 4194304 366 649 0 0 1 0 0 0 18 0 1 0 1018684954 2473984 277 4294967295 134512640 135169312 3215912512 3215911048 3084918510 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/20856/statm: 604 277 235 161 0 43 0
[pid=20860] ppid=20856 vsize=952 CPUtime=0
/proc/20860/stat : 20860 (SatELite_releas) R 20856 20856 20977 0 -1 4202496 118 0 0 0 0 0 0 0 20 0 1 0 1018684955 974848 54 4294967295 134512640 135223648 3220910832 3220909764 134737406 0 0 0 3 0 0 0 17 3 0 0 0
/proc/20860/statm: 238 56 45 174 0 63 0
[startup+0.110488 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 20856
/proc/meminfo: memFree=531528/2074464 swapFree=1951864/1959888
[pid=20856] ppid=20854 vsize=2416 CPUtime=0.01
/proc/20856/stat : 20856 (SatELiteGTI) S 20854 20856 20977 0 -1 4194304 366 649 0 0 1 0 0 0 18 0 1 0 1018684954 2473984 277 4294967295 134512640 135169312 3215912512 3215911048 3084918510 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/20856/statm: 604 277 235 161 0 43 0
[pid=20860] ppid=20856 vsize=29880 CPUtime=0.11
/proc/20860/stat : 20860 (SatELite_releas) R 20856 20856 20977 0 -1 4202496 5748 0 0 0 8 3 0 0 21 0 1 0 1018684955 30597120 5580 4294967295 134512640 135223648 3220910832 3220909400 134718983 0 0 0 3 0 0 0 17 3 0 0 0
/proc/20860/statm: 7470 5580 46 174 0 7295 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 32296
[startup+0.210478 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 20856
/proc/meminfo: memFree=531528/2074464 swapFree=1951864/1959888
[pid=20856] ppid=20854 vsize=2416 CPUtime=0.01
/proc/20856/stat : 20856 (SatELiteGTI) S 20854 20856 20977 0 -1 4194304 366 649 0 0 1 0 0 0 18 0 1 0 1018684954 2473984 277 4294967295 134512640 135169312 3215912512 3215911048 3084918510 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/20856/statm: 604 277 235 161 0 43 0
[pid=20860] ppid=20856 vsize=41348 CPUtime=0.21
/proc/20860/stat : 20860 (SatELite_releas) R 20856 20856 20977 0 -1 4202496 8615 0 0 0 18 3 0 0 21 0 1 0 1018684955 42340352 8447 4294967295 134512640 135223648 3220910832 3220909400 134719062 0 0 0 3 0 0 0 17 3 0 0 0
/proc/20860/statm: 10337 8449 46 174 0 10162 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 43764
[startup+0.310468 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 20856
/proc/meminfo: memFree=531528/2074464 swapFree=1951864/1959888
[pid=20856] ppid=20854 vsize=2416 CPUtime=0.01
/proc/20856/stat : 20856 (SatELiteGTI) S 20854 20856 20977 0 -1 4194304 366 649 0 0 1 0 0 0 18 0 1 0 1018684954 2473984 277 4294967295 134512640 135169312 3215912512 3215911048 3084918510 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/20856/statm: 604 277 235 161 0 43 0
[pid=20860] ppid=20856 vsize=49500 CPUtime=0.31
/proc/20860/stat : 20860 (SatELite_releas) R 20856 20856 20977 0 -1 4202496 10516 0 0 0 28 3 0 0 21 0 1 0 1018684955 50688000 10348 4294967295 134512640 135223648 3220910832 3220909400 134719062 0 0 0 3 0 0 0 17 3 0 0 0
/proc/20860/statm: 12375 10348 46 174 0 12200 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 51916
[startup+0.710429 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 20856
/proc/meminfo: memFree=531528/2074464 swapFree=1951864/1959888
[pid=20856] ppid=20854 vsize=2416 CPUtime=0.01
/proc/20856/stat : 20856 (SatELiteGTI) S 20854 20856 20977 0 -1 4194304 366 649 0 0 1 0 0 0 18 0 1 0 1018684954 2473984 277 4294967295 134512640 135169312 3215912512 3215911048 3084918510 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/20856/statm: 604 277 235 161 0 43 0
[pid=20860] ppid=20856 vsize=72404 CPUtime=0.71
/proc/20860/stat : 20860 (SatELite_releas) R 20856 20856 20977 0 -1 4202496 16203 0 0 0 67 4 0 0 22 0 1 0 1018684955 74141696 16035 4294967295 134512640 135223648 3220910832 3220909784 134737310 0 0 0 3 0 0 0 17 3 0 0 0
/proc/20860/statm: 18101 16036 46 174 0 17926 0
Current children cumulated CPU time (s) 0.72
Current children cumulated vsize (KiB) 74820
[startup+1.51035 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 20862
/proc/meminfo: memFree=426980/2074464 swapFree=1951864/1959888
[pid=20856] ppid=20854 vsize=2416 CPUtime=0.01
/proc/20856/stat : 20856 (SatELiteGTI) S 20854 20856 20977 0 -1 4194304 366 649 0 0 1 0 0 0 18 0 1 0 1018684954 2473984 277 4294967295 134512640 135169312 3215912512 3215911048 3084918510 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/20856/statm: 604 277 235 161 0 43 0
[pid=20860] ppid=20856 vsize=161508 CPUtime=1.51
/proc/20860/stat : 20860 (SatELite_releas) R 20856 20856 20977 0 -1 4202496 34467 0 0 0 129 22 0 0 25 0 1 0 1018684955 165384192 34299 4294967295 134512640 135223648 3220910832 3220909248 134545761 0 0 0 3 0 0 0 17 3 0 0 0
/proc/20860/statm: 40377 34299 67 174 0 40202 0
Current children cumulated CPU time (s) 1.52
Current children cumulated vsize (KiB) 163924
[startup+3.11019 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 20862
/proc/meminfo: memFree=380356/2074464 swapFree=1951864/1959888
[pid=20856] ppid=20854 vsize=2416 CPUtime=0.01
/proc/20856/stat : 20856 (SatELiteGTI) S 20854 20856 20977 0 -1 4194304 366 649 0 0 1 0 0 0 18 0 1 0 1018684954 2473984 277 4294967295 134512640 135169312 3215912512 3215911048 3084918510 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/20856/statm: 604 277 235 161 0 43 0
[pid=20860] ppid=20856 vsize=190564 CPUtime=3.11
/proc/20860/stat : 20860 (SatELite_releas) R 20856 20856 20977 0 -1 4202496 44543 0 0 0 283 28 0 0 25 0 1 0 1018684955 195137536 40802 4294967295 134512640 135223648 3220910832 3220908848 134586762 0 0 0 3 0 0 0 17 3 0 0 0
/proc/20860/statm: 47641 40803 73 174 0 47466 0
Current children cumulated CPU time (s) 3.12
Current children cumulated vsize (KiB) 192980
[startup+6.30988 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 20862
/proc/meminfo: memFree=347124/2074464 swapFree=1951864/1959888
[pid=20856] ppid=20854 vsize=2416 CPUtime=0.01
/proc/20856/stat : 20856 (SatELiteGTI) S 20854 20856 20977 0 -1 4194304 366 649 0 0 1 0 0 0 18 0 1 0 1018684954 2473984 277 4294967295 134512640 135169312 3215912512 3215911048 3084918510 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/20856/statm: 604 277 235 161 0 43 0
[pid=20860] ppid=20856 vsize=194164 CPUtime=6.31
/proc/20860/stat : 20860 (SatELite_releas) R 20856 20856 20977 0 -1 4202496 50048 0 0 0 600 31 0 0 25 0 1 0 1018684955 198823936 42028 4294967295 134512640 135223648 3220910832 3220908848 134586814 0 0 0 3 0 0 0 17 3 0 0 0
/proc/20860/statm: 48541 42028 73 174 0 48366 0
Current children cumulated CPU time (s) 6.32
Current children cumulated vsize (KiB) 196580
[startup+12.7093 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 20863
/proc/meminfo: memFree=441676/2074464 swapFree=1951864/1959888
[pid=20856] ppid=20854 vsize=2420 CPUtime=9.79
/proc/20856/stat : 20856 (SatELiteGTI) S 20854 20856 20977 0 -1 4194304 386 58323 0 0 1 0 938 40 18 0 1 0 1018684954 2478080 278 4294967295 134512640 135169312 3215912512 3215908728 3084918510 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/20856/statm: 605 278 235 161 0 44 0
[pid=20863] ppid=20856 vsize=62520 CPUtime=2.92
/proc/20863/stat : 20863 (minisat_static) R 20856 20856 20977 0 -1 4202496 14781 0 0 0 287 5 0 0 25 0 1 0 1018685934 64020480 14692 4294967295 134512640 135215339 3215244784 3215243072 134528721 0 0 0 3 0 0 0 17 2 0 0 0
/proc/20863/statm: 15630 14692 73 172 0 15457 0
Current children cumulated CPU time (s) 12.71
Current children cumulated vsize (KiB) 64940
[startup+25.518 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 20863
/proc/meminfo: memFree=441592/2074464 swapFree=1951864/1959888
[pid=20856] ppid=20854 vsize=2420 CPUtime=9.79
/proc/20856/stat : 20856 (SatELiteGTI) S 20854 20856 20977 0 -1 4194304 386 58323 0 0 1 0 938 40 18 0 1 0 1018684954 2478080 278 4294967295 134512640 135169312 3215912512 3215908728 3084918510 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/20856/statm: 605 278 235 161 0 44 0
[pid=20863] ppid=20856 vsize=62656 CPUtime=15.73
/proc/20863/stat : 20863 (minisat_static) R 20856 20856 20977 0 -1 4202496 14812 0 0 0 1568 5 0 0 25 0 1 0 1018685934 64159744 14723 4294967295 134512640 135215339 3215244784 3215243072 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/20863/statm: 15664 14723 73 172 0 15491 0
Current children cumulated CPU time (s) 25.52
Current children cumulated vsize (KiB) 65076
[startup+51.1155 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 21051
/proc/meminfo: memFree=439480/2074464 swapFree=1951864/1959888
[pid=20856] ppid=20854 vsize=2420 CPUtime=9.79
/proc/20856/stat : 20856 (SatELiteGTI) S 20854 20856 20977 0 -1 4194304 386 58323 0 0 1 0 938 40 18 0 1 0 1018684954 2478080 278 4294967295 134512640 135169312 3215912512 3215908728 3084918510 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/20856/statm: 605 278 235 161 0 44 0
[pid=20863] ppid=20856 vsize=64240 CPUtime=41.33
/proc/20863/stat : 20863 (minisat_static) R 20856 20856 20977 0 -1 4202496 15235 0 0 0 4126 7 0 0 25 0 1 0 1018685934 65781760 15146 4294967295 134512640 135215339 3215244784 3215242784 134532689 0 0 0 3 0 0 0 17 2 0 0 0
/proc/20863/statm: 16060 15146 73 172 0 15887 0
Current children cumulated CPU time (s) 51.12
Current children cumulated vsize (KiB) 66660
[startup+102.31 s]
/proc/loadavg: 1.07 1.02 1.00 2/95 21240
/proc/meminfo: memFree=429936/2074464 swapFree=1951864/1959888
[pid=20856] ppid=20854 vsize=2420 CPUtime=9.79
/proc/20856/stat : 20856 (SatELiteGTI) S 20854 20856 20977 0 -1 4194304 386 58323 0 0 1 0 938 40 18 0 1 0 1018684954 2478080 278 4294967295 134512640 135169312 3215912512 3215908728 3084918510 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/20856/statm: 605 278 235 161 0 44 0
[pid=20863] ppid=20856 vsize=73648 CPUtime=92.53
/proc/20863/stat : 20863 (minisat_static) R 20856 20856 20977 0 -1 4202496 17552 0 0 0 9244 9 0 0 25 0 1 0 1018685934 75415552 17463 4294967295 134512640 135215339 3215244784 3215243072 134528624 0 0 0 3 0 0 0 17 2 0 0 0
/proc/20863/statm: 18412 17463 73 172 0 18239 0
Current children cumulated CPU time (s) 102.32
Current children cumulated vsize (KiB) 76068
[startup+162.315 s]
/proc/loadavg: 1.02 1.01 1.00 3/96 21272
/proc/meminfo: memFree=420112/2074464 swapFree=1951864/1959888
[pid=20856] ppid=20854 vsize=2420 CPUtime=9.79
/proc/20856/stat : 20856 (SatELiteGTI) S 20854 20856 20977 0 -1 4194304 386 58323 0 0 1 0 938 40 18 0 1 0 1018684954 2478080 278 4294967295 134512640 135169312 3215912512 3215908728 3084918510 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/20856/statm: 605 278 235 161 0 44 0
[pid=20863] ppid=20856 vsize=83368 CPUtime=152.54
/proc/20863/stat : 20863 (minisat_static) R 20856 20856 20977 0 -1 4202496 19980 0 0 0 15244 10 0 0 25 0 1 0 1018685934 85368832 19891 4294967295 134512640 135215339 3215244784 3215243072 134528745 0 0 0 3 0 0 0 17 2 0 0 0
/proc/20863/statm: 20842 19891 73 172 0 20669 0
Current children cumulated CPU time (s) 162.33
Current children cumulated vsize (KiB) 85788
[startup+222.309 s]
/proc/loadavg: 1.01 1.00 1.00 2/95 21616
/proc/meminfo: memFree=410740/2074464 swapFree=1951864/1959888
[pid=20856] ppid=20854 vsize=2420 CPUtime=9.79
/proc/20856/stat : 20856 (SatELiteGTI) S 20854 20856 20977 0 -1 4194304 386 58323 0 0 1 0 938 40 18 0 1 0 1018684954 2478080 278 4294967295 134512640 135169312 3215912512 3215908728 3084918510 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/20856/statm: 605 278 235 161 0 44 0
[pid=20863] ppid=20856 vsize=92480 CPUtime=212.54
/proc/20863/stat : 20863 (minisat_static) R 20856 20856 20977 0 -1 4202496 22281 0 0 0 21238 16 0 0 25 0 1 0 1018685934 94699520 22192 4294967295 134512640 135215339 3215244784 3215243072 134528624 0 0 0 3 0 0 0 17 2 0 0 0
/proc/20863/statm: 23120 22192 73 172 0 22947 0
Current children cumulated CPU time (s) 222.33
Current children cumulated vsize (KiB) 94900
[startup+282.313 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 21620
/proc/meminfo: memFree=401424/2074464 swapFree=1951864/1959888
[pid=20856] ppid=20854 vsize=2420 CPUtime=9.79
/proc/20856/stat : 20856 (SatELiteGTI) S 20854 20856 20977 0 -1 4194304 386 58323 0 0 1 0 938 40 18 0 1 0 1018684954 2478080 278 4294967295 134512640 135169312 3215912512 3215908728 3084918510 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/20856/statm: 605 278 235 161 0 44 0
[pid=20863] ppid=20856 vsize=102408 CPUtime=272.55
/proc/20863/stat : 20863 (minisat_static) R 20856 20856 20977 0 -1 4202496 24755 0 0 0 27238 17 0 0 25 0 1 0 1018685934 104865792 24666 4294967295 134512640 135215339 3215244784 3215243072 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/20863/statm: 25602 24666 73 172 0 25429 0
Current children cumulated CPU time (s) 282.34
Current children cumulated vsize (KiB) 104828
[startup+342.307 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 21998
/proc/meminfo: memFree=392644/2074464 swapFree=1951864/1959888
[pid=20856] ppid=20854 vsize=2420 CPUtime=9.79
/proc/20856/stat : 20856 (SatELiteGTI) S 20854 20856 20977 0 -1 4194304 386 58323 0 0 1 0 938 40 18 0 1 0 1018684954 2478080 278 4294967295 134512640 135169312 3215912512 3215908728 3084918510 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/20856/statm: 605 278 235 161 0 44 0
[pid=20863] ppid=20856 vsize=111108 CPUtime=332.55
/proc/20863/stat : 20863 (minisat_static) R 20856 20856 20977 0 -1 4202496 26918 0 0 0 33237 18 0 0 25 0 1 0 1018685934 113774592 26829 4294967295 134512640 135215339 3215244784 3215243000 134721382 0 0 0 3 0 0 0 17 2 0 0 0
/proc/20863/statm: 27777 26829 73 172 0 27604 0
Current children cumulated CPU time (s) 342.34
################
# More data... #
################
[pid=20863] ppid=20856 vsize=130524 CPUtime=452.57
/proc/20863/stat : 20863 (minisat_static) R 20856 20856 20977 0 -1 4202496 31683 0 0 0 45235 22 0 0 25 0 1 0 1018685934 133656576 31594 4294967295 134512640 135215339 3215244784 3215243072 134528714 0 0 0 3 0 0 0 17 2 0 0 0
/proc/20863/statm: 32631 31594 73 172 0 32458 0
Current children cumulated CPU time (s) 462.36
Current children cumulated vsize (KiB) 132944
[startup+522.319 s]
/proc/loadavg: 1.01 1.02 1.00 2/95 22378
/proc/meminfo: memFree=365340/2074464 swapFree=1951864/1959888
[pid=20856] ppid=20854 vsize=2420 CPUtime=9.79
/proc/20856/stat : 20856 (SatELiteGTI) S 20854 20856 20977 0 -1 4194304 386 58323 0 0 1 0 938 40 18 0 1 0 1018684954 2478080 278 4294967295 134512640 135169312 3215912512 3215908728 3084918510 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/20856/statm: 605 278 235 161 0 44 0
[pid=20863] ppid=20856 vsize=138976 CPUtime=512.58
/proc/20863/stat : 20863 (minisat_static) R 20856 20856 20977 0 -1 4202496 33796 0 0 0 51236 22 0 0 25 0 1 0 1018685934 142311424 33707 4294967295 134512640 135215339 3215244784 3215243072 134528788 0 0 0 3 0 0 0 17 2 0 0 0
/proc/20863/statm: 34744 33707 73 172 0 34571 0
Current children cumulated CPU time (s) 522.37
Current children cumulated vsize (KiB) 141396
[startup+582.303 s]
/proc/loadavg: 1.00 1.01 1.00 2/95 22748
/proc/meminfo: memFree=355764/2074464 swapFree=1951864/1959888
[pid=20856] ppid=20854 vsize=2420 CPUtime=9.79
/proc/20856/stat : 20856 (SatELiteGTI) S 20854 20856 20977 0 -1 4194304 386 58323 0 0 1 0 938 40 18 0 1 0 1018684954 2478080 278 4294967295 134512640 135169312 3215912512 3215908728 3084918510 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/20856/statm: 605 278 235 161 0 44 0
[pid=20863] ppid=20856 vsize=148136 CPUtime=572.57
/proc/20863/stat : 20863 (minisat_static) R 20856 20856 20977 0 -1 4202496 36060 0 0 0 57234 23 0 0 25 0 1 0 1018685934 151691264 35971 4294967295 134512640 135215339 3215244784 3215243072 134528875 0 0 0 3 0 0 0 17 2 0 0 0
/proc/20863/statm: 37034 35971 73 172 0 36861 0
Current children cumulated CPU time (s) 582.36
Current children cumulated vsize (KiB) 150556
[startup+642.317 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 22754
/proc/meminfo: memFree=348796/2074464 swapFree=1951864/1959888
[pid=20856] ppid=20854 vsize=2420 CPUtime=9.79
/proc/20856/stat : 20856 (SatELiteGTI) S 20854 20856 20977 0 -1 4194304 386 58323 0 0 1 0 938 40 18 0 1 0 1018684954 2478080 278 4294967295 134512640 135169312 3215912512 3215908728 3084918510 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/20856/statm: 605 278 235 161 0 44 0
[pid=20863] ppid=20856 vsize=155668 CPUtime=632.59
/proc/20863/stat : 20863 (minisat_static) R 20856 20856 20977 0 -1 4202496 37963 0 0 0 63234 25 0 0 25 0 1 0 1018685934 159404032 37874 4294967295 134512640 135215339 3215244784 3215243072 134528630 0 0 0 3 0 0 0 17 2 0 0 0
/proc/20863/statm: 38917 37874 73 172 0 38744 0
Current children cumulated CPU time (s) 642.38
Current children cumulated vsize (KiB) 158088
[startup+702.322 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 22945
/proc/meminfo: memFree=340564/2074464 swapFree=1951864/1959888
[pid=20856] ppid=20854 vsize=2420 CPUtime=9.79
/proc/20856/stat : 20856 (SatELiteGTI) S 20854 20856 20977 0 -1 4194304 386 58323 0 0 1 0 938 40 18 0 1 0 1018684954 2478080 278 4294967295 134512640 135169312 3215912512 3215908728 3084918510 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/20856/statm: 605 278 235 161 0 44 0
[pid=20863] ppid=20856 vsize=163740 CPUtime=692.6
/proc/20863/stat : 20863 (minisat_static) R 20856 20856 20977 0 -1 4202496 39963 0 0 0 69230 30 0 0 25 0 1 0 1018685934 167669760 39874 4294967295 134512640 135215339 3215244784 3215243072 134528666 0 0 0 3 0 0 0 17 2 0 0 0
/proc/20863/statm: 40935 39874 73 172 0 40762 0
Current children cumulated CPU time (s) 702.39
Current children cumulated vsize (KiB) 166160
[startup+762.326 s]
/proc/loadavg: 1.12 1.05 1.02 2/95 23134
/proc/meminfo: memFree=332612/2074464 swapFree=1951864/1959888
[pid=20856] ppid=20854 vsize=2420 CPUtime=9.79
/proc/20856/stat : 20856 (SatELiteGTI) S 20854 20856 20977 0 -1 4194304 386 58323 0 0 1 0 938 40 18 0 1 0 1018684954 2478080 278 4294967295 134512640 135169312 3215912512 3215908728 3084918510 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/20856/statm: 605 278 235 161 0 44 0
[pid=20863] ppid=20856 vsize=171804 CPUtime=752.61
/proc/20863/stat : 20863 (minisat_static) R 20856 20856 20977 0 -1 4202496 41990 0 0 0 75230 31 0 0 25 0 1 0 1018685934 175927296 41901 4294967295 134512640 135215339 3215244784 3215243072 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/20863/statm: 42951 41901 73 172 0 42778 0
Current children cumulated CPU time (s) 762.4
Current children cumulated vsize (KiB) 174224
[startup+822.32 s]
/proc/loadavg: 1.05 1.04 1.01 2/95 23321
/proc/meminfo: memFree=324072/2074464 swapFree=1951864/1959888
[pid=20856] ppid=20854 vsize=2420 CPUtime=9.79
/proc/20856/stat : 20856 (SatELiteGTI) S 20854 20856 20977 0 -1 4194304 386 58323 0 0 1 0 938 40 18 0 1 0 1018684954 2478080 278 4294967295 134512640 135169312 3215912512 3215908728 3084918510 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/20856/statm: 605 278 235 161 0 44 0
[pid=20863] ppid=20856 vsize=180260 CPUtime=812.61
/proc/20863/stat : 20863 (minisat_static) R 20856 20856 20977 0 -1 4202496 44104 0 0 0 81227 34 0 0 25 0 1 0 1018685934 184586240 44015 4294967295 134512640 135215339 3215244784 3215242784 134532626 0 0 0 3 0 0 0 17 2 0 0 0
/proc/20863/statm: 45065 44015 73 172 0 44892 0
Current children cumulated CPU time (s) 822.4
Current children cumulated vsize (KiB) 182680
[startup+882.324 s]
/proc/loadavg: 1.01 1.03 1.00 2/95 23508
/proc/meminfo: memFree=316384/2074464 swapFree=1951864/1959888
[pid=20856] ppid=20854 vsize=2420 CPUtime=9.79
/proc/20856/stat : 20856 (SatELiteGTI) S 20854 20856 20977 0 -1 4194304 386 58323 0 0 1 0 938 40 18 0 1 0 1018684954 2478080 278 4294967295 134512640 135169312 3215912512 3215908728 3084918510 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/20856/statm: 605 278 235 161 0 44 0
[pid=20863] ppid=20856 vsize=187796 CPUtime=872.62
/proc/20863/stat : 20863 (minisat_static) R 20856 20856 20977 0 -1 4202496 46004 0 0 0 87227 35 0 0 25 0 1 0 1018685934 192303104 45915 4294967295 134512640 135215339 3215244784 3215243072 134528666 0 0 0 3 0 0 0 17 2 0 0 0
/proc/20863/statm: 46949 45915 73 172 0 46776 0
Current children cumulated CPU time (s) 882.41
Current children cumulated vsize (KiB) 190216
[startup+942.318 s]
/proc/loadavg: 1.00 1.02 1.00 2/95 23697
/proc/meminfo: memFree=308812/2074464 swapFree=1951864/1959888
[pid=20856] ppid=20854 vsize=2420 CPUtime=9.79
/proc/20856/stat : 20856 (SatELiteGTI) S 20854 20856 20977 0 -1 4194304 386 58323 0 0 1 0 938 40 18 0 1 0 1018684954 2478080 278 4294967295 134512640 135169312 3215912512 3215908728 3084918510 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/20856/statm: 605 278 235 161 0 44 0
[pid=20863] ppid=20856 vsize=195720 CPUtime=932.62
/proc/20863/stat : 20863 (minisat_static) R 20856 20856 20977 0 -1 4202496 47938 0 0 0 93220 42 0 0 25 0 1 0 1018685934 200417280 47849 4294967295 134512640 135215339 3215244784 3215243072 134528691 0 0 0 3 0 0 0 17 2 0 0 0
/proc/20863/statm: 48930 47849 73 172 0 48757 0
Current children cumulated CPU time (s) 942.41
Current children cumulated vsize (KiB) 198140
[startup+1002.31 s]
/proc/loadavg: 1.00 1.02 1.00 2/95 23884
/proc/meminfo: memFree=300868/2074464 swapFree=1951864/1959888
[pid=20856] ppid=20854 vsize=2420 CPUtime=9.79
/proc/20856/stat : 20856 (SatELiteGTI) S 20854 20856 20977 0 -1 4194304 386 58323 0 0 1 0 938 40 18 0 1 0 1018684954 2478080 278 4294967295 134512640 135169312 3215912512 3215908728 3084918510 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/20856/statm: 605 278 235 161 0 44 0
[pid=20863] ppid=20856 vsize=203272 CPUtime=992.62
/proc/20863/stat : 20863 (minisat_static) R 20856 20856 20977 0 -1 4202496 49832 0 0 0 99217 45 0 0 25 0 1 0 1018685934 208150528 49743 4294967295 134512640 135215339 3215244784 3215243072 134528666 0 0 0 3 0 0 0 17 2 0 0 0
/proc/20863/statm: 50818 49743 73 172 0 50645 0
Current children cumulated CPU time (s) 1002.41
Current children cumulated vsize (KiB) 205692
[startup+1062.32 s]
/proc/loadavg: 1.00 1.01 1.00 2/95 24077
/proc/meminfo: memFree=295420/2074464 swapFree=1951864/1959888
[pid=20856] ppid=20854 vsize=2420 CPUtime=9.79
/proc/20856/stat : 20856 (SatELiteGTI) S 20854 20856 20977 0 -1 4194304 386 58323 0 0 1 0 938 40 18 0 1 0 1018684954 2478080 278 4294967295 134512640 135169312 3215912512 3215908728 3084918510 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/20856/statm: 605 278 235 161 0 44 0
[pid=20863] ppid=20856 vsize=209108 CPUtime=1052.63
/proc/20863/stat : 20863 (minisat_static) R 20856 20856 20977 0 -1 4202496 51267 0 0 0 105214 49 0 0 25 0 1 0 1018685934 214126592 51178 4294967295 134512640 135215339 3215244784 3215243072 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/20863/statm: 52277 51178 73 172 0 52104 0
Current children cumulated CPU time (s) 1062.42
Current children cumulated vsize (KiB) 211528
[startup+1122.32 s]
/proc/loadavg: 1.00 1.01 1.00 2/95 24264
/proc/meminfo: memFree=289724/2074464 swapFree=1951864/1959888
[pid=20856] ppid=20854 vsize=2420 CPUtime=9.79
/proc/20856/stat : 20856 (SatELiteGTI) S 20854 20856 20977 0 -1 4194304 386 58323 0 0 1 0 938 40 18 0 1 0 1018684954 2478080 278 4294967295 134512640 135169312 3215912512 3215908728 3084918510 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/20856/statm: 605 278 235 161 0 44 0
[pid=20863] ppid=20856 vsize=214868 CPUtime=1112.64
/proc/20863/stat : 20863 (minisat_static) R 20856 20856 20977 0 -1 4202496 52703 0 0 0 111213 51 0 0 25 0 1 0 1018685934 220024832 52614 4294967295 134512640 135215339 3215244784 3215243072 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/20863/statm: 53717 52614 73 172 0 53544 0
Current children cumulated CPU time (s) 1122.43
Current children cumulated vsize (KiB) 217288
[startup+1182.32 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 24451
/proc/meminfo: memFree=284120/2074464 swapFree=1951864/1959888
[pid=20856] ppid=20854 vsize=2420 CPUtime=9.79
/proc/20856/stat : 20856 (SatELiteGTI) S 20854 20856 20977 0 -1 4194304 386 58323 0 0 1 0 938 40 18 0 1 0 1018684954 2478080 278 4294967295 134512640 135169312 3215912512 3215908728 3084918510 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/20856/statm: 605 278 235 161 0 44 0
[pid=20863] ppid=20856 vsize=220312 CPUtime=1172.65
/proc/20863/stat : 20863 (minisat_static) R 20856 20856 20977 0 -1 4202496 54093 0 0 0 117213 52 0 0 25 0 1 0 1018685934 225599488 54004 4294967295 134512640 135215339 3215244784 3215243072 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/20863/statm: 55078 54004 73 172 0 54905 0
Current children cumulated CPU time (s) 1182.44
Current children cumulated vsize (KiB) 222732
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1199.92 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 24637
/proc/meminfo: memFree=282452/2074464 swapFree=1951864/1959888
[pid=20856] ppid=20854 vsize=2420 CPUtime=9.79
/proc/20856/stat : 20856 (SatELiteGTI) S 20854 20856 20977 0 -1 4194304 386 58323 0 0 1 0 938 40 18 0 1 0 1018684954 2478080 278 4294967295 134512640 135169312 3215912512 3215908728 3084918510 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/20856/statm: 605 278 235 161 0 44 0
[pid=20863] ppid=20856 vsize=221764 CPUtime=1190.25
/proc/20863/stat : 20863 (minisat_static) R 20856 20856 20977 0 -1 4202496 54461 0 0 0 118973 52 0 0 25 0 1 0 1018685934 227086336 54372 4294967295 134512640 135215339 3215244784 3215243072 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/20863/statm: 55441 54372 73 172 0 55268 0
Current children cumulated CPU time (s) 1200.04
Current children cumulated vsize (KiB) 224184
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1199.95
CPU time (s): 1200.06
CPU user time (s): 1199.12
CPU system time (s): 0.94
CPU usage (%): 100.009
Max. virtual memory (cumulated for all children) (KiB): 224184
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.12
system time used= 0.94
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 113260
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= 740
runsolver used 0.02 second user time and 0.01 second system time
The end
Begin job on tipi10 at 2009-05-17 08:30:36
IDJOB=1821598
IDBENCH=71023
IDSOLVER=657
FILE ID=tipi10/1821598-1242541836
PBS_JOBID=
Free space on /tmp= 3940 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/APPLICATIONS/diagnosis/ACG-20-5p1.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1821598-1242541836/watcher-1821598-1242541836 -o /tmp/evaluation-result-1821598-1242541836/solver-1821598-1242541836 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1821598-1242541836.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 8eb175d312e8be3bb4695a79b8f45bdc
RANDOM SEED= 845344750
Linux tipi10 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.367
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.37
processor : 1
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.367
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.367
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.77
processor : 3
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.367
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: 531544 kB
Buffers: 40124 kB
Cached: 1372096 kB
SwapCached: 2732 kB
Active: 599520 kB
Inactive: 822552 kB
HighTotal: 1178688 kB
HighFree: 96720 kB
LowTotal: 895776 kB
LowFree: 434824 kB
SwapTotal: 1959888 kB
SwapFree: 1951864 kB
Dirty: 28288 kB
Writeback: 12 kB
AnonPages: 8996 kB
Mapped: 3224 kB
Slab: 111792 kB
PageTables: 588 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 2997120 kB
Committed_AS: 90584 kB
VmallocTotal: 114680 kB
VmallocUsed: 1324 kB
VmallocChunk: 113264 kB
Free space on /tmp at the end= 3931 MiB
End job on tipi10 at 2009-05-17 08:50:41