0.00/0.00 c Parsing...
1.82/1.83 c ==============================================================================
1.82/1.83 c | | ORIGINAL | LEARNT | |
1.82/1.83 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
1.82/1.83 c ==============================================================================
1.82/1.83 c | 0 | 1618887 3826978 | 485666 0 0 nan | 0.000 % |
10.12/10.13 c | 0 | 1199091 3186259 | -- 0 -- -- | -- | -117869/45832
10.12/10.14 c ==============================================================================
10.12/10.14 c Result : #vars: 250809 #clauses: 1199091 #literals: 3186259
10.12/10.14 c CPU time: 9.75 s
10.12/10.14 c ==============================================================================
11.32/11.35 c This is MiniSat 2.0 beta
11.32/11.35 c WARNING: for repeatability, setting FPU to use double precision
11.32/11.36 c ============================[ Problem Statistics ]=============================
11.32/11.36 c | |
11.32/11.36 c | Number of variables: 250809 |
11.32/11.36 c | Number of clauses: 1199091 |
12.22/12.22 c | Parsing time: 0.77 s |
12.22/12.28 c ============================[ Search Statistics ]==============================
12.22/12.28 c | Conflicts | ORIGINAL | LEARNT | Progress |
12.22/12.28 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
12.22/12.28 c ===============================================================================
12.22/12.28 c | 0 | 250809 1199091 3186259 | 399697 0 nan | 0.000 % |
12.62/12.65 c | 101 | 250809 1199091 3186259 | 399697 101 83 | 0.000 % |
13.32/13.33 c | 201 | 250618 1199091 3186259 | 399697 196 75 | 0.998 % |
13.82/13.84 c | 301 | 250447 1199091 3186259 | 399697 292 64 | 2.351 % |
14.02/14.02 c | 411 | 250447 1199091 3186259 | 399697 402 65 | 2.351 % |
14.73/14.77 c | 511 | 243394 1160406 3090307 | 399697 498 63 | 2.974 % |
15.13/15.16 c | 624 | 243230 1160406 3090307 | 399697 608 58 | 3.773 % |
15.43/15.46 c | 747 | 243230 1160406 3090307 | 399697 731 56 | 3.773 % |
15.73/15.76 c | 847 | 243224 1160406 3090307 | 399697 829 58 | 3.787 % |
16.03/16.03 c | 959 | 243210 1160406 3090307 | 399697 941 57 | 3.787 % |
16.43/16.50 c | 1080 | 240979 1147187 3058610 | 399697 1042 74 | 3.919 % |
16.93/17.01 c | 1213 | 240960 1147187 3058610 | 399697 1173 72 | 4.209 % |
17.33/17.39 c | 1320 | 240695 1147187 3058610 | 399697 1278 69 | 4.553 % |
17.63/17.65 c | 1430 | 240695 1147187 3058610 | 399697 1388 68 | 4.552 % |
17.93/18.00 c | 1552 | 240615 1147187 3058610 | 399697 1509 67 | 4.565 % |
18.23/18.26 c | 1687 | 240615 1147187 3058610 | 399697 1644 67 | 4.565 % |
18.73/18.72 c | 1833 | 239360 1139424 3041234 | 399697 1789 66 | 4.565 % |
18.83/18.84 c | 1936 | 239360 1139424 3041234 | 399697 1892 65 | 4.565 % |
19.03/19.02 c | 2046 | 239360 1139424 3041234 | 399697 2002 64 | 4.565 % |
19.23/19.26 c | 2167 | 239360 1139424 3041234 | 399697 2123 65 | 4.565 % |
19.53/19.59 c | 2301 | 239360 1139424 3041234 | 399697 2257 65 | 4.565 % |
19.83/19.86 c | 2447 | 239360 1139424 3041234 | 399697 2403 66 | 4.565 % |
20.03/20.08 c | 2607 | 239360 1139424 3041234 | 399697 2563 65 | 4.565 % |
20.13/20.17 c | 2708 | 239360 1139424 3041234 | 399697 2664 64 | 4.565 % |
20.43/20.46 c | 2818 | 239239 1138898 3040180 | 399697 2273 65 | 4.613 % |
20.73/20.74 c | 2939 | 239237 1138898 3040180 | 399697 2393 64 | 4.664 % |
20.93/20.97 c | 3075 | 239237 1138898 3040180 | 399697 2529 63 | 4.664 % |
21.33/21.33 c | 3221 | 239231 1138898 3040180 | 399697 2672 61 | 4.771 % |
21.73/21.74 c | 3383 | 239227 1138898 3040180 | 399697 2832 63 | 4.853 % |
22.03/22.05 c | 3564 | 239226 1138898 3040180 | 399697 3012 61 | 4.859 % |
22.23/22.28 c | 3665 | 238623 1135791 3033639 | 399697 3097 62 | 4.859 % |
22.33/22.41 c | 3775 | 238623 1135791 3033639 | 399697 3207 62 | 4.859 % |
23.03/23.02 c | 3897 | 238539 1135791 3033639 | 399697 3325 62 | 5.391 % |
23.03/23.11 c | 4031 | 238539 1135791 3033639 | 399697 3459 64 | 5.391 % |
23.33/23.41 c | 4177 | 238539 1135791 3033639 | 399697 3605 64 | 5.391 % |
23.93/24.01 c | 4337 | 238330 1135791 3033639 | 399697 3764 63 | 5.598 % |
24.53/24.60 c | 4514 | 236664 1126344 3010627 | 399697 3939 64 | 5.700 % |
25.13/25.21 c | 4707 | 236662 1126344 3010627 | 399697 4129 65 | 5.815 % |
25.43/25.46 c | 4807 | 236662 1126344 3010627 | 399697 4229 65 | 5.815 % |
25.53/25.60 c | 4920 | 236661 1126344 3010627 | 399697 4341 65 | 5.819 % |
25.83/25.91 c | 5045 | 236642 1126344 3010627 | 399697 4465 65 | 5.859 % |
26.23/26.28 c | 5178 | 236642 1126344 3010627 | 399697 4598 65 | 5.859 % |
26.83/26.92 c | 5324 | 236000 1122666 3002119 | 399697 4736 65 | 5.952 % |
27.73/27.74 c | 5484 | 235981 1122666 3002119 | 399697 4894 65 | 6.301 % |
28.53/28.60 c | 5660 | 235568 1122666 3002119 | 399697 5067 64 | 6.799 % |
29.03/29.08 c | 5855 | 233757 1111953 2978194 | 399697 5254 63 | 6.799 % |
29.53/29.60 c | 6069 | 233706 1111953 2978194 | 399697 5467 62 | 6.876 % |
29.83/29.83 c | 6170 | 233706 1111953 2978194 | 399697 5568 62 | 6.876 % |
30.13/30.17 c | 6282 | 233706 1111953 2978194 | 399697 5680 62 | 6.876 % |
30.53/30.54 c | 6405 | 233703 1111953 2978194 | 399697 5801 63 | 6.883 % |
31.43/31.43 c | 6540 | 233193 1110952 2976025 | 399697 5931 63 | 7.113 % |
31.63/31.72 c | 6687 | 233191 1110952 2976025 | 399697 6078 64 | 7.113 % |
32.33/32.40 c | 6848 | 233127 1110952 2976025 | 399697 6237 64 | 7.292 % |
32.73/32.73 c | 7025 | 233123 1110952 2976025 | 399697 6414 64 | 7.292 % |
33.23/33.24 c | 7219 | 232491 1106373 2966539 | 399697 6602 64 | 7.304 % |
33.93/33.95 c | 7432 | 232446 1106373 2966539 | 399697 6812 64 | 7.766 % |
34.23/34.30 c | 7666 | 232446 1106373 2966539 | 399697 7046 64 | 7.766 % |
34.43/34.49 c | 7766 | 232446 1106373 2966539 | 399697 7146 65 | 7.766 % |
34.83/34.89 c | 7881 | 232446 1106373 2966539 | 399697 7261 65 | 7.766 % |
35.03/35.09 c | 8004 | 232446 1106373 2966539 | 399697 7384 64 | 7.766 % |
35.33/35.40 c | 8139 | 232446 1106373 2966539 | 399697 7519 64 | 7.766 % |
35.83/35.82 c | 8285 | 231325 1100571 2952534 | 399697 7630 64 | 7.786 % |
36.13/36.20 c | 8445 | 231311 1100571 2952534 | 399697 7789 65 | 7.791 % |
36.63/36.69 c | 8621 | 231306 1100571 2952534 | 399697 7964 65 | 7.793 % |
37.33/37.32 c | 8814 | 231306 1100571 2952534 | 399697 8157 65 | 7.793 % |
37.83/37.87 c | 9029 | 231306 1100571 2952534 | 399697 8372 66 | 7.793 % |
38.52/38.60 c | 9263 | 231263 1100040 2951175 | 399697 8594 67 | 7.793 % |
39.52/39.57 c | 9521 | 231220 1100040 2951175 | 399697 8848 66 | 7.988 % |
39.82/39.87 c | 9621 | 231205 1100040 2951175 | 399697 8947 66 | 8.063 % |
40.32/40.31 c | 9732 | 231193 1100040 2951175 | 399697 9057 66 | 8.110 % |
41.12/41.18 c | 9854 | 230456 1096069 2941648 | 399697 9162 66 | 8.363 % |
41.52/41.55 c | 9987 | 230414 1096069 2941648 | 399697 9294 65 | 8.983 % |
41.72/41.77 c | 10137 | 230406 1096069 2941648 | 2147483647 9444 66 | 8.983 % |
42.52/42.61 c | 10297 | 230335 1096069 2941648 | 2147483647 9601 66 | 9.156 % |
42.92/42.98 c | 10474 | 227845 1082553 2908266 | 2147483647 9767 67 | 9.156 % |
43.22/43.25 c | 10670 | 227844 1082553 2908266 | 2147483647 9962 67 | 9.164 % |
44.02/44.05 c | 10882 | 227841 1082553 2908266 | 2147483647 10174 67 | 9.164 % |
44.92/44.97 c | 11115 | 227841 1082553 2908266 | 2147483647 10407 69 | 9.164 % |
46.22/46.27 c | 11371 | 227823 1082432 2907961 | 2147483647 10650 69 | 9.175 % |
47.72/47.73 c | 11652 | 227765 1082432 2907961 | 2147483647 10930 70 | 9.250 % |
48.32/48.37 c | 11752 | 227609 1081330 2905665 | 2147483647 11019 71 | 9.250 % |
49.22/49.25 c | 11864 | 227608 1081330 2905665 | 2147483647 11130 71 | 9.558 % |
49.72/49.71 c | 11985 | 227608 1081330 2905665 | 2147483647 11251 72 | 9.558 % |
50.22/50.27 c | 12118 | 227608 1081330 2905665 | 2147483647 11384 72 | 9.558 % |
50.72/50.75 c | 12264 | 226837 1077398 2895655 | 2147483647 11530 72 | 9.558 % |
51.22/51.30 c | 12424 | 226837 1077398 2895655 | 2147483647 11690 72 | 9.558 % |
51.62/51.68 c | 12600 | 226837 1077398 2895655 | 2147483647 11865 72 | 9.815 % |
52.32/52.34 c | 12797 | 226822 1077398 2895655 | 2147483647 12062 73 | 9.815 % |
52.82/52.89 c | 13009 | 226818 1077398 2895655 | 2147483647 12273 73 | 9.819 % |
54.02/54.05 c | 13244 | 226127 1073923 2886872 | 2147483647 12504 74 | 9.955 % |
54.42/54.46 c | 13500 | 226127 1073923 2886872 | 2147483647 12760 75 | 9.955 % |
55.12/55.19 c | 13781 | 226127 1073923 2886872 | 2147483647 13041 76 | 9.955 % |
56.92/56.99 c | 14093 | 226127 1073923 2886872 | 2147483647 13353 78 | 9.955 % |
57.42/57.46 c | 14194 | 225841 1072049 2882085 | 2147483647 13440 78 | 9.955 % |
57.62/57.69 c | 14305 | 225841 1072049 2882085 | 2147483647 13551 78 | 9.955 % |
58.42/58.47 c | 14426 | 225841 1072049 2882085 | 2147483647 13672 78 | 9.955 % |
58.92/59.00 c | 14559 | 225779 1072049 2882085 | 2147483647 13803 78 | 10.037 % |
59.32/59.37 c | 14706 | 225779 1072049 2882085 | 2147483647 13950 78 | 10.037 % |
59.92/59.96 c | 14866 | 225779 1072049 2882085 | 2147483647 14110 79 | 10.037 % |
60.72/60.77 c | 15042 | 225630 1070811 2878936 | 2147483647 14285 78 | 10.057 % |
61.12/61.13 c | 15235 | 225630 1070811 2878936 | 2147483647 14478 79 | 10.057 % |
61.92/62.00 c | 15447 | 225630 1070811 2878936 | 2147483647 14690 81 | 10.057 % |
63.02/63.04 c | 15682 | 225630 1070811 2878936 | 2147483647 14925 82 | 10.057 % |
63.82/63.90 c | 15938 | 225584 1070534 2878241 | 2147483647 15174 82 | 10.057 % |
64.72/64.77 c | 16219 | 225583 1070534 2878241 | 2147483647 15454 83 | 10.059 % |
65.72/65.72 c | 16528 | 225581 1070534 2878241 | 2147483647 15762 86 | 10.068 % |
67.82/67.84 c | 16868 | 225580 1070534 2878241 | 2147483647 16102 88 | 10.068 % |
68.62/68.63 c | 16968 | 225461 1070393 2877894 | 2147483647 16194 88 | 10.246 % |
69.12/69.17 c | 17078 | 225460 1070393 2877894 | 2147483647 16304 89 | 10.246 % |
69.62/69.67 c | 17199 | 225374 1070393 2877894 | 2147483647 16423 89 | 10.349 % |
70.12/70.11 c | 17333 | 225363 1070393 2877894 | 2147483647 16555 89 | 10.375 % |
70.92/70.93 c | 17479 | 225363 1070393 2877894 | 2147483647 16701 90 | 10.375 % |
71.42/71.43 c | 17639 | 224788 1066126 2867797 | 2147483647 16826 90 | 10.375 % |
72.12/72.14 c | 17815 | 224757 1066126 2867797 | 2147483647 17001 91 | 10.468 % |
73.02/73.08 c | 18008 | 224755 1066126 2867797 | 2147483647 17193 90 | 10.474 % |
74.62/74.60 c | 18228 | 224746 1066126 2867797 | 2147483647 17413 92 | 10.474 % |
75.72/75.71 c | 18461 | 224540 1064878 2864830 | 2147483647 17640 92 | 10.474 % |
76.62/76.62 c | 18717 | 224540 1064878 2864830 | 2147483647 17896 92 | 10.474 % |
78.82/78.89 c | 18998 | 224540 1064878 2864830 | 2147483647 18177 94 | 10.474 % |
79.42/79.49 c | 19309 | 224540 1064878 2864830 | 2147483647 18488 95 | 10.474 % |
80.92/80.95 c | 19649 | 224528 1064780 2864584 | 2147483647 18826 96 | 10.478 % |
82.31/82.33 c | 20022 | 224528 1064780 2864584 | 2147483647 19199 97 | 10.478 % |
82.81/82.85 c | 20123 | 224527 1064780 2864584 | 2147483647 19299 97 | 10.479 % |
83.11/83.17 c | 20233 | 224527 1064780 2864584 | 2147483647 19409 97 | 10.479 % |
84.81/84.83 c | 20355 | 224527 1064772 2864568 | 2147483647 19531 98 | 10.479 % |
85.01/85.09 c | 20493 | 224527 1064772 2864568 | 2147483647 19669 97 | 10.479 % |
85.91/86.00 c | 20639 | 224509 1064772 2864568 | 2147483647 19812 97 | 10.630 % |
86.41/86.46 c | 20799 | 224509 1064772 2864568 | 2147483647 19972 97 | 10.630 % |
87.01/87.00 c | 20975 | 224148 1062477 2858677 | 2147483647 20146 98 | 10.630 % |
87.81/87.87 c | 21169 | 224148 1062477 2858677 | 2147483647 20340 99 | 10.630 % |
88.81/88.90 c | 21381 | 224147 1062477 2858677 | 2147483647 20551 100 | 10.630 % |
89.91/89.96 c | 21615 | 224147 1062477 2858677 | 2147483647 20785 103 | 10.630 % |
90.71/90.77 c | 21873 | 224132 1062370 2858417 | 2147483647 21039 103 | 10.636 % |
92.01/92.03 c | 22155 | 223928 1062370 2858417 | 2147483647 21319 104 | 10.892 % |
94.81/94.85 c | 22464 | 223911 1062370 2858417 | 2147483647 21628 107 | 10.892 % |
95.91/95.90 c | 22805 | 223471 1058675 2848769 | 2147483647 21950 108 | 11.301 % |
98.61/98.63 c | 23177 | 223469 1058675 2848769 | 2147483647 22322 110 | 11.301 % |
102.41/102.43 c | 23586 | 222460 1053511 2836177 | 2147483647 22669 114 | 11.480 % |
102.71/102.77 c | 23688 | 222016 1051029 2829821 | 2147483647 22770 114 | 11.480 % |
102.91/102.93 c | 23798 | 222016 1051029 2829821 | 2147483647 22880 114 | 11.480 % |
103.81/103.86 c | 23922 | 222015 1051029 2829821 | 2147483647 23003 114 | 11.480 % |
104.21/104.28 c | 24056 | 221976 1051029 2829821 | 2147483647 23133 114 | 11.552 % |
104.91/104.90 c | 24203 | 221975 1051029 2829821 | 2147483647 23279 113 | 11.555 % |
105.51/105.51 c | 24363 | 221975 1051029 2829821 | 2147483647 23439 114 | 11.555 % |
107.01/107.04 c | 24541 | 221975 1051029 2829821 | 2147483647 23617 115 | 11.555 % |
108.41/108.42 c | 24734 | 221824 1049923 2827045 | 2147483647 23791 115 | 11.567 % |
109.81/109.87 c | 24946 | 221821 1049923 2827045 | 2147483647 24002 116 | 11.577 % |
110.71/110.77 c | 25179 | 221821 1049923 2827045 | 2147483647 24235 115 | 11.577 % |
112.71/112.71 c | 25435 | 221771 1049627 2826295 | 2147483647 24484 118 | 12.017 % |
113.81/113.87 c | 25716 | 221684 1049627 2826295 | 2147483647 24763 119 | 12.025 % |
114.42/114.44 c | 26026 | 221684 1049627 2826295 | 2147483647 25073 120 | 12.025 % |
115.52/115.58 c | 26365 | 221684 1049627 2826295 | 2147483647 25412 119 | 12.025 % |
118.11/118.19 c | 26738 | 220629 1043386 2810490 | 2147483647 25776 120 | 12.173 % |
119.21/119.22 c | 27148 | 220619 1043386 2810490 | 2147483647 26185 121 | 12.196 % |
122.81/122.83 c | 27602 | 219307 1036105 2792574 | 2147483647 26616 125 | 12.560 % |
123.41/123.47 c | 27702 | 219307 1036105 2792574 | 2147483647 26716 125 | 12.560 % |
123.91/123.99 c | 27813 | 219305 1036105 2792574 | 2147483647 26826 125 | 12.569 % |
124.32/124.36 c | 27934 | 219304 1036105 2792574 | 2147483647 26947 125 | 12.569 % |
125.21/125.24 c | 28068 | 219171 1035432 2790949 | 2147483647 27071 126 | 12.614 % |
126.11/126.11 c | 28214 | 219171 1035432 2790949 | 2147483647 27217 126 | 12.614 % |
126.91/126.92 c | 28374 | 219170 1035432 2790949 | 2147483647 27376 127 | 12.619 % |
127.91/127.96 c | 28550 | 219169 1035432 2790949 | 2147483647 27551 128 | 12.619 % |
129.12/129.20 c | 28746 | 219169 1035432 2790949 | 2147483647 27747 128 | 12.619 % |
130.12/130.17 c | 28959 | 219153 1035333 2790711 | 2147483647 27957 128 | 12.628 % |
131.32/131.39 c | 29192 | 219152 1035333 2790711 | 2147483647 28189 129 | 12.632 % |
133.32/133.41 c | 29449 | 219152 1035333 2790711 | 2147483647 28446 131 | 12.632 % |
133.92/133.97 c | 29730 | 219152 1035333 2790711 | 2147483647 28727 132 | 12.632 % |
136.32/136.39 c | 30039 | 219123 1035155 2790257 | 2147483647 29028 133 | 12.641 % |
138.32/138.31 c | 30378 | 219115 1035155 2790257 | 2147483647 29365 133 | 12.650 % |
140.02/140.03 c | 30750 | 219053 1034662 2789000 | 2147483647 29729 136 | 12.665 % |
142.72/142.78 c | 31160 | 219053 1034662 2789000 | 2147483647 30138 139 | 12.686 % |
144.92/144.91 c | 31609 | 219050 1034662 2789000 | 2147483647 30585 144 | 12.697 % |
147.02/147.03 c | 32102 | 219050 1034662 2789000 | 2147483647 31078 145 | 12.697 % |
148.12/148.19 c | 32203 | 218945 1034123 2787690 | 2147483647 31168 147 | 12.919 % |
148.82/148.90 c | 32313 | 218945 1034123 2787690 | 2147483647 31278 147 | 12.919 % |
150.02/150.04 c | 32434 | 218945 1034123 2787690 | 2147483647 31399 147 | 12.919 % |
151.02/151.06 c | 32569 | 218942 1034123 2787690 | 2147483647 31532 147 | 12.929 % |
151.42/151.42 c | 32718 | 218938 1034123 2787690 | 2147483647 31677 146 | 12.930 % |
152.42/152.51 c | 32878 | 218376 1031090 2779958 | 2147483647 31822 146 | 12.939 % |
153.42/153.50 c | 33054 | 218305 1031090 2779958 | 2147483647 31996 147 | 13.778 % |
154.42/154.42 c | 33247 | 218305 1031090 2779958 | 2147483647 32189 147 | 13.778 % |
156.92/156.94 c | 33460 | 218305 1031090 2779958 | 2147483647 32402 149 | 13.778 % |
158.02/158.02 c | 33694 | 218305 1031090 2779958 | 2147483647 32636 151 | 13.778 % |
159.72/159.80 c | 33950 | 216253 1017475 2747211 | 2147483647 32828 152 | 13.778 % |
161.02/161.09 c | 34233 | 216253 1017475 2747211 | 2147483647 33111 152 | 13.778 % |
162.82/162.91 c | 34542 | 216252 1017475 2747211 | 2147483647 33419 153 | 13.785 % |
164.42/164.48 c | 34883 | 216252 1017475 2747211 | 2147483647 33760 153 | 13.785 % |
166.62/166.61 c | 35255 | 216236 1017358 2746922 | 2147483647 34129 154 | 13.785 % |
167.92/168.01 c | 35667 | 216196 1017358 2746922 | 2147483647 34540 154 | 13.909 % |
169.52/169.60 c | 36116 | 216194 1017358 2746922 | 2147483647 34987 153 | 13.958 % |
172.52/172.60 c | 36609 | 215776 1014679 2739966 | 2147483647 35470 155 | 13.979 % |
176.12/176.19 c | 37151 | 215776 1014679 2739966 | 2147483647 36012 157 | 13.979 % |
176.32/176.40 c | 37251 | 215776 1014679 2739966 | 2147483647 36112 157 | 13.979 % |
177.72/177.77 c | 37362 | 215748 1014535 2739585 | 2147483647 36221 158 | 13.984 % |
178.42/178.43 c | 37485 | 215748 1014535 2739585 | 2147483647 36344 158 | 13.984 % |
178.62/178.67 c | 37618 | 215748 1014535 2739585 | 2147483647 36477 158 | 13.984 % |
179.82/179.89 c | 37764 | 215748 1014535 2739585 | 2147483647 36623 160 | 13.984 % |
180.52/180.54 c | 37925 | 215746 1014535 2739585 | 2147483647 36783 159 | 13.988 % |
181.02/181.07 c | 38101 | 215746 1014535 2739585 | 2147483647 36959 160 | 13.988 % |
182.32/182.40 c | 38299 | 215746 1014535 2739585 | 2147483647 37157 162 | 13.988 % |
184.22/184.27 c | 38511 | 215724 1014336 2739090 | 2147483647 37364 163 | 13.989 % |
184.92/184.94 c | 38744 | 215724 1014336 2739090 | 2147483647 37597 163 | 13.989 % |
188.62/188.62 c | 39001 | 215723 1014336 2739090 | 2147483647 37853 167 | 14.085 % |
190.12/190.13 c | 39282 | 215723 1014336 2739090 | 2147483647 38134 167 | 14.085 % |
191.92/191.95 c | 39593 | 215723 1014336 2739090 | 2147483647 38445 169 | 14.085 % |
195.12/195.15 c | 39932 | 215480 1012920 2735476 | 2147483647 38780 171 | 16.808 % |
198.22/198.29 c | 40304 | 215478 1012920 2735476 | 2147483647 39150 172 | 16.822 % |
200.42/200.47 c | 40713 | 208618 983627 2662045 | 2147483647 39549 176 | 16.822 % |
202.43/202.46 c | 41162 | 208618 983627 2662045 | 2147483647 39998 177 | 16.822 % |
205.22/205.26 c | 41655 | 208614 983627 2662045 | 2147483647 40488 178 | 16.834 % |
208.12/208.13 c | 42198 | 208611 983627 2662045 | 2147483647 41030 178 | 16.842 % |
214.92/214.91 c | 42797 | 208564 983264 2661125 | 2147483647 41621 183 | 16.848 % |
215.32/215.36 c | 42898 | 208564 983264 2661125 | 2147483647 41722 183 | 16.848 % |
215.52/215.59 c | 43009 | 208564 983264 2661125 | 2147483647 41833 183 | 16.848 % |
216.12/216.14 c | 43130 | 208552 983157 2660887 | 2147483647 41934 183 | 16.848 % |
217.02/217.01 c | 43263 | 208550 983157 2660887 | 2147483647 42064 183 | 16.851 % |
217.52/217.57 c | 43410 | 208550 983157 2660887 | 2147483647 42211 183 | 16.851 % |
218.52/218.59 c | 43570 | 208547 983157 2660887 | 2147483647 42370 184 | 16.857 % |
219.52/219.56 c | 43749 | 208547 983157 2660887 | 2147483647 42549 184 | 16.857 % |
220.92/220.96 c | 43943 | 208544 983157 2660887 | 2147483647 42742 185 | 16.861 % |
221.72/221.80 c | 44160 | 208544 983157 2660887 | 2147483647 42959 185 | 16.861 % |
224.82/224.89 c | 44394 | 208519 982906 2660240 | 2147483647 43186 187 | 16.861 % |
226.82/226.81 c | 44652 | 208519 982906 2660240 | 2147483647 43444 188 | 16.861 % |
229.12/229.13 c | 44938 | 208519 982906 2660240 | 2147483647 43730 188 | 16.861 % |
231.72/231.78 c | 45249 | 208514 982906 2660240 | 2147483647 44038 189 | 16.889 % |
234.12/234.14 c | 45588 | 208510 982906 2660240 | 2147483647 44376 190 | 16.894 % |
236.62/236.63 c | 45961 | 208436 982484 2659215 | 2147483647 44705 190 | 16.895 % |
240.42/240.50 c | 46370 | 208436 982484 2659215 | 2147483647 45114 191 | 16.895 % |
242.23/242.28 c | 46819 | 208436 982484 2659215 | 2147483647 45563 191 | 16.895 % |
244.03/244.02 c | 47312 | 208379 982481 2659209 | 2147483647 46053 191 | 16.951 % |
250.93/250.94 c | 47854 | 208374 982481 2659209 | 2147483647 46595 195 | 16.951 % |
257.13/257.17 c | 48450 | 208292 981877 2657922 | 2147483647 47179 196 | 16.956 % |
261.43/261.43 c | 49106 | 208265 981667 2657416 | 2147483647 47813 198 | 16.963 % |
262.13/262.21 c | 49211 | 208265 981667 2657416 | 2147483647 47918 198 | 16.963 % |
262.73/262.78 c | 49321 | 208265 981667 2657416 | 2147483647 48028 198 | 16.963 % |
264.13/264.19 c | 49442 | 208254 981667 2657416 | 2147483647 48147 199 | 17.072 % |
264.63/264.63 c | 49577 | 208226 981667 2657416 | 2147483647 48281 199 | 17.242 % |
265.23/265.31 c | 49725 | 208160 981667 2657416 | 2147483647 48429 199 | 17.242 % |
265.83/265.87 c | 49885 | 208160 981667 2657416 | 2147483647 48589 199 | 17.242 % |
267.03/267.02 c | 50061 | 208160 981667 2657416 | 2147483647 48765 199 | 17.242 % |
268.53/268.52 c | 50254 | 208160 981667 2657416 | 2147483647 48957 198 | 17.740 % |
269.63/269.63 c | 50468 | 208160 981667 2657416 | 2147483647 49171 199 | 17.740 % |
270.23/270.31 c | 50701 | 208160 981667 2657416 | 2147483647 49404 199 | 17.740 % |
271.93/271.97 c | 50957 | 206315 970206 2630088 | 2147483647 49636 200 | 17.740 % |
273.13/273.13 c | 51240 | 206289 970206 2630088 | 2147483647 49918 200 | 17.803 % |
274.43/274.50 c | 51549 | 206284 970206 2630088 | 2147483647 50223 200 | 17.846 % |
277.23/277.29 c | 51888 | 206283 970206 2630088 | 2147483647 50561 202 | 17.847 % |
280.53/280.52 c | 52263 | 206283 970206 2630088 | 2147483647 50935 204 | 17.852 % |
284.23/284.30 c | 52673 | 205971 968395 2625550 | 2147483647 51309 205 | 17.888 % |
288.03/288.06 c | 53124 | 205971 968395 2625550 | 2147483647 51760 208 | 17.888 % |
294.13/294.15 c | 53618 | 205971 968395 2625550 | 2147483647 52254 213 | 17.888 % |
298.73/298.72 c | 54161 | 205833 968258 2625195 | 2147483647 52791 215 | 18.030 % |
302.93/302.98 c | 54758 | 205831 968258 2625195 | 2147483647 53386 218 | 18.041 % |
308.03/308.08 c | 55414 | 205382 965740 2619304 | 2147483647 53969 219 | 18.112 % |
314.33/314.32 c | 56134 | 205382 965740 2619304 | 2147483647 54689 222 | 18.112 % |
315.33/315.34 c | 56235 | 205382 965740 2619304 | 2147483647 54790 222 | 18.112 % |
315.83/315.82 c | 56345 | 205382 965740 2619304 | 2147483647 54900 222 | 18.112 % |
316.43/316.47 c | 56470 | 205382 965740 2619304 | 2147483647 55025 222 | 18.112 % |
316.84/316.89 c | 56603 | 205382 965740 2619304 | 2147483647 55158 222 | 18.112 % |
317.23/317.26 c | 56749 | 205382 965740 2619304 | 2147483647 55304 222 | 18.112 % |
317.94/318.00 c | 56914 | 205382 965740 2619304 | 2147483647 55469 222 | 18.112 % |
318.53/318.53 c | 57090 | 205382 965740 2619304 | 2147483647 55645 222 | 18.112 % |
319.73/319.80 c | 57284 | 205365 965636 2619056 | 2147483647 55833 222 | 18.119 % |
322.23/322.26 c | 57497 | 205365 965636 2619056 | 2147483647 56046 222 | 18.119 % |
324.33/324.36 c | 57730 | 205365 965636 2619056 | 2147483647 56279 222 | 18.119 % |
326.13/326.20 c | 57986 | 205322 965636 2619056 | 2147483647 56533 223 | 18.153 % |
328.73/328.80 c | 58269 | 205319 965636 2619056 | 2147483647 56813 224 | 18.187 % |
331.43/331.44 c | 58579 | 205313 965636 2619056 | 2147483647 57122 226 | 18.205 % |
332.83/332.86 c | 58918 | 205148 964652 2616838 | 2147483647 57425 226 | 18.216 % |
336.13/336.15 c | 59291 | 205146 964652 2616838 | 2147483647 57796 227 | 18.231 % |
338.23/338.30 c | 59700 | 205144 964652 2616838 | 2147483647 58203 226 | 18.256 % |
340.43/340.46 c | 60149 | 205144 964652 2616838 | 2147483647 58651 226 | 18.309 % |
342.93/342.92 c | 60642 | 205012 964652 2616838 | 2147483647 59143 228 | 18.309 % |
349.03/349.03 c | 61187 | 204871 963013 2612777 | 2147483647 59643 230 | 18.374 % |
351.13/351.20 c | 61787 | 204871 963013 2612777 | 2147483647 60243 230 | 18.374 % |
355.64/355.66 c | 62443 | 204871 963013 2612777 | 2147483647 60899 233 | 18.374 % |
361.34/361.38 c | 63163 | 204692 962030 2610350 | 2147483647 61548 235 | 18.430 % |
368.34/368.40 c | 63956 | 204685 962030 2610350 | 2147483647 62341 237 | 18.430 % |
369.64/369.67 c | 64056 | 204685 962030 2610350 | 2147483647 62441 237 | 18.430 % |
370.84/370.91 c | 64167 | 204685 962030 2610350 | 2147483647 62552 237 | 18.430 % |
371.64/371.72 c | 64289 | 204685 962030 2610350 | 2147483647 62674 237 | 18.430 % |
372.24/372.24 c | 64423 | 204685 962030 2610350 | 2147483647 62808 237 | 18.430 % |
372.74/372.80 c | 64571 | 204683 962030 2610350 | 2147483647 62955 237 | 18.440 % |
373.24/373.25 c | 64733 | 204683 962030 2610350 | 2147483647 63117 236 | 18.440 % |
373.74/373.78 c | 64912 | 204681 962030 2610350 | 2147483647 63296 237 | 18.440 % |
376.24/376.23 c | 65108 | 204559 961245 2608447 | 2147483647 63395 238 | 18.440 % |
377.64/377.69 c | 65320 | 204557 961245 2608447 | 2147483647 63606 238 | 18.441 % |
378.64/378.69 c | 65553 | 204557 961245 2608447 | 2147483647 63838 238 | 18.452 % |
381.24/381.30 c | 65812 | 204554 961245 2608447 | 2147483647 64097 239 | 18.452 % |
383.04/383.09 c | 66093 | 204545 961245 2608447 | 2147483647 64375 239 | 18.465 % |
385.04/385.05 c | 66409 | 204545 961245 2608447 | 2147483647 64691 240 | 18.465 % |
387.54/387.57 c | 66754 | 204544 961245 2608447 | 2147483647 65035 240 | 18.473 % |
390.84/390.90 c | 67126 | 204457 960620 2606809 | 2147483647 65398 241 | 18.481 % |
391.64/391.65 c | 67536 | 204457 960620 2606809 | 2147483647 65808 240 | 18.481 % |
396.73/396.73 c | 67987 | 204457 960620 2606809 | 2147483647 66259 241 | 18.481 % |
401.43/401.47 c | 68480 | 204457 960620 2606809 | 2147483647 66752 243 | 18.481 % |
407.83/407.87 c | 69023 | 204436 960477 2606446 | 2147483647 67293 248 | 18.504 % |
413.13/413.16 c | 69620 | 204324 960477 2606446 | 2147483647 67888 251 | 18.558 % |
418.63/418.64 c | 70280 | 204322 960477 2606446 | 2147483647 68545 252 | 18.570 % |
424.83/424.88 c | 71000 | 204232 959334 2603576 | 2147483647 69229 256 | 18.571 % |
428.63/428.70 c | 71792 | 204232 959334 2603576 | 2147483647 70021 255 | 18.571 % |
433.03/433.10 c | 72663 | 204214 959198 2603226 | 2147483647 70883 255 | 18.578 % |
433.93/434.01 c | 72763 | 204214 959198 2603226 | 2147483647 70983 255 | 18.578 % |
434.93/434.93 c | 72875 | 204214 959198 2603226 | 2147483647 71095 256 | 18.578 % |
436.13/436.15 c | 72996 | 204214 959198 2603226 | 2147483647 71216 256 | 18.578 % |
437.03/437.09 c | 73129 | 204214 959198 2603226 | 2147483647 71349 256 | 18.578 % |
438.03/438.08 c | 73276 | 204214 959198 2603226 | 2147483647 71496 256 | 18.578 % |
438.83/438.83 c | 73436 | 204212 959198 2603226 | 2147483647 71653 256 | 18.585 % |
439.83/439.90 c | 73615 | 204212 959198 2603226 | 2147483647 71832 257 | 18.585 % |
441.14/441.20 c | 73809 | 204212 959198 2603226 | 2147483647 72026 257 | 18.585 % |
441.73/441.79 c | 74023 | 204212 959198 2603226 | 2147483647 72240 257 | 18.585 % |
443.13/443.19 c | 74256 | 204212 959198 2603226 | 2147483647 72473 257 | 18.585 % |
444.83/444.90 c | 74517 | 204212 959198 2603226 | 2147483647 72734 257 | 18.585 % |
446.53/446.54 c | 74798 | 204211 959198 2603226 | 2147483647 73014 257 | 18.586 % |
449.03/449.09 c | 75108 | 204194 959084 2602938 | 2147483647 73322 258 | 18.586 % |
452.33/452.32 c | 75449 | 204193 959084 2602938 | 2147483647 73661 259 | 18.601 % |
453.63/453.65 c | 75826 | 204192 959084 2602938 | 2147483647 74037 260 | 18.601 % |
455.83/455.87 c | 76235 | 204192 959084 2602938 | 2147483647 74446 261 | 18.601 % |
457.73/457.79 c | 76684 | 204172 959084 2602938 | 2147483647 74888 261 | 18.648 % |
460.43/460.41 c | 77178 | 204146 959084 2602938 | 2147483647 75375 261 | 18.668 % |
462.73/462.78 c | 77722 | 203981 957958 2600087 | 2147483647 75864 261 | 18.693 % |
465.13/465.16 c | 78318 | 203947 957958 2600087 | 2147483647 76459 260 | 18.745 % |
468.43/468.44 c | 78973 | 203947 957958 2600087 | 2147483647 77114 261 | 18.745 % |
474.14/474.19 c | 79693 | 203947 957958 2600087 | 2147483647 77834 263 | 18.745 % |
480.84/480.91 c | 80485 | 203794 956945 2597654 | 2147483647 78591 263 | 18.746 % |
490.14/490.21 c | 81356 | 203794 956945 2597654 | 2147483647 79462 268 | 18.746 % |
497.54/497.60 c | 82314 | 203793 956945 2597654 | 2147483647 80419 272 | 18.755 % |
498.74/498.73 c | 82421 | 203771 956821 2597369 | 2147483647 80503 272 | 18.755 % |
499.94/499.97 c | 82532 | 203771 956821 2597369 | 2147483647 80614 273 | 18.755 % |
500.34/500.39 c | 82654 | 203771 956821 2597369 | 2147483647 80736 273 | 18.755 % |
500.94/501.00 c | 82789 | 203769 956821 2597369 | 2147483647 80870 272 | 18.764 % |
502.14/502.21 c | 82939 | 203769 956821 2597369 | 2147483647 81020 272 | 18.764 % |
502.74/502.72 c | 83099 | 203769 956821 2597369 | 2147483647 81180 272 | 18.764 % |
503.24/503.28 c | 83279 | 203769 956821 2597369 | 2147483647 81360 272 | 18.764 % |
504.74/504.79 c | 83473 | 203769 956821 2597369 | 2147483647 81554 273 | 18.764 % |
506.14/506.16 c | 83687 | 203758 956821 2597369 | 2147483647 81765 273 | 19.493 % |
507.74/507.77 c | 83920 | 203755 956821 2597369 | 2147483647 81995 273 | 19.504 % |
509.94/509.99 c | 84176 | 203753 956821 2597369 | 2147483647 82251 274 | 19.504 % |
512.74/512.72 c | 84457 | 203753 956821 2597369 | 2147483647 82532 274 | 19.504 % |
515.44/515.50 c | 84767 | 203752 956821 2597369 | 2147483647 82841 275 | 19.504 % |
517.34/517.41 c | 85106 | 201889 949113 2578174 | 2147483647 81878 273 | 19.505 % |
520.34/520.36 c | 85478 | 201889 949113 2578174 | 2147483647 82250 275 | 19.505 % |
522.84/522.88 c | 85887 | 201889 949113 2578174 | 2147483647 82659 275 | 19.505 % |
526.34/526.40 c | 86337 | 201888 949113 2578174 | 2147483647 83108 276 | 19.512 % |
531.94/531.93 c | 86831 | 201888 949113 2578174 | 2147483647 83602 278 | 19.512 % |
536.44/536.45 c | 87373 | 201867 948993 2577865 | 2147483647 84139 278 | 19.528 % |
540.64/540.67 c | 87969 | 201866 948993 2577865 | 2147483647 84733 280 | 19.537 % |
545.94/545.93 c | 88624 | 201866 948993 2577865 | 2147483647 85388 281 | 19.537 % |
549.74/549.75 c | 89345 | 201866 948993 2577865 | 2147483647 86109 282 | 19.537 % |
556.34/556.38 c | 90138 | 201866 948993 2577865 | 2147483647 86902 283 | 19.537 % |
564.54/564.56 c | 91010 | 201781 948698 2577147 | 2147483647 87756 287 | 19.567 % |
573.84/573.87 c | 91968 | 201771 948698 2577147 | 2147483647 88708 289 | 19.623 % |
582.54/582.56 c | 93021 | 201771 948698 2577147 | 2147483647 89761 290 | 19.623 % |
583.65/583.67 c | 93121 | 201592 947746 2574917 | 2147483647 89805 290 | 19.634 % |
585.25/585.27 c | 93231 | 201592 947746 2574917 | 2147483647 89915 290 | 19.634 % |
586.45/586.52 c | 93353 | 201584 947746 2574917 | 2147483647 90035 291 | 19.654 % |
587.55/587.61 c | 93487 | 201584 947746 2574917 | 2147483647 90169 291 | 19.654 % |
588.85/588.83 c | 93633 | 201584 947746 2574917 | 2147483647 90315 291 | 19.654 % |
590.15/590.13 c | 93793 | 201584 947746 2574917 | 2147483647 90474 291 | 19.655 % |
591.95/591.97 c | 93969 | 201584 947746 2574917 | 2147483647 90650 292 | 19.655 % |
593.95/593.96 c | 94162 | 201584 947746 2574917 | 2147483647 90843 292 | 19.655 % |
596.05/596.04 c | 94375 | 201581 947746 2574917 | 2147483647 91055 292 | 19.710 % |
598.05/598.03 c | 94608 | 201581 947746 2574917 | 2147483647 91287 292 | 19.723 % |
599.05/599.08 c | 94864 | 201581 947746 2574917 | 2147483647 91543 292 | 19.723 % |
600.15/600.17 c | 95147 | 201581 947746 2574917 | 2147483647 91826 292 | 19.723 % |
601.55/601.55 c | 95460 | 201340 946497 2571903 | 2147483647 92089 292 | 19.724 % |
603.35/603.39 c | 95801 | 201340 946497 2571903 | 2147483647 92430 292 | 19.724 % |
605.75/605.78 c | 96179 | 201340 946497 2571903 | 2147483647 92807 292 | 19.734 % |
608.05/608.07 c | 96588 | 201297 946497 2571903 | 2147483647 93214 292 | 19.786 % |
611.95/611.98 c | 97037 | 201297 946497 2571903 | 2147483647 93663 292 | 19.786 % |
615.35/615.32 c | 97532 | 201297 946497 2571903 | 2147483647 94158 292 | 19.786 % |
618.05/618.07 c | 98077 | 201297 946497 2571903 | 2147483647 94702 292 | 19.798 % |
622.75/622.73 c | 98674 | 201295 946497 2571903 | 2147483647 95297 293 | 19.806 % |
628.65/628.70 c | 99330 | 201128 945339 2569017 | 2147483647 95917 294 | 19.833 % |
634.85/634.89 c | 100050 | 201125 945339 2569017 | 2147483647 96633 295 | 19.859 % |
637.95/637.99 c | 100843 | 201125 945339 2569017 | 2147483647 97426 295 | 19.859 % |
644.45/644.45 c | 101716 | 201124 945339 2569017 | 2147483647 98298 295 | 19.870 % |
653.54/653.54 c | 102679 | 200972 944458 2566769 | 2147483647 99229 297 | 19.882 % |
663.64/663.67 c | 103734 | 200972 944458 2566769 | 2147483647 100284 301 | 19.882 % |
674.94/674.91 c | 104893 | 200893 944180 2566028 | 2147483647 101402 301 | 19.997 % |
675.34/675.32 c | 104994 | 200893 944180 2566028 | 2147483647 101503 301 | 19.997 % |
675.64/675.68 c | 105105 | 200893 944180 2566028 | 2147483647 101614 301 | 19.997 % |
676.74/676.76 c | 105226 | 200893 944180 2566028 | 2147483647 101735 301 | 19.997 % |
678.04/678.10 c | 105359 | 200892 944180 2566028 | 2147483647 101867 301 | 20.006 % |
679.54/679.58 c | 105510 | 200892 944180 2566028 | 2147483647 102018 302 | 20.006 % |
681.34/681.34 c | 105675 | 200891 944180 2566028 | 2147483647 102182 302 | 20.006 % |
681.54/681.57 c | 105851 | 200891 944180 2566028 | 2147483647 102358 301 | 20.006 % |
682.14/682.15 c | 106047 | 200891 944180 2566028 | 2147483647 102554 301 | 20.006 % |
683.34/683.37 c | 106259 | 200888 944180 2566028 | 2147483647 102763 301 | 20.021 % |
685.35/685.33 c | 106492 | 200886 944180 2566028 | 2147483647 102995 301 | 20.032 % |
687.64/687.68 c | 106749 | 200877 944180 2566028 | 2147483647 103252 301 | 20.032 % |
690.54/690.57 c | 107030 | 200550 942085 2560760 | 2147483647 103456 302 | 20.039 % |
693.54/693.58 c | 107339 | 200550 942085 2560760 | 2147483647 103765 303 | 20.039 % |
697.15/697.20 c | 107680 | 200546 942085 2560760 | 2147483647 104102 303 | 20.072 % |
701.25/701.28 c | 108052 | 200544 942085 2560760 | 2147483647 104472 303 | 20.076 % |
703.05/703.04 c | 108461 | 200544 942085 2560760 | 2147483647 104881 303 | 20.076 % |
704.65/704.67 c | 108912 | 200544 942085 2560760 | 2147483647 105332 303 | 20.076 % |
707.65/707.68 c | 109405 | 200544 942085 2560760 | 2147483647 105825 303 | 20.076 % |
710.25/710.28 c | 109947 | 200543 942085 2560760 | 2147483647 106365 303 | 20.095 % |
714.85/714.83 c | 110544 | 200353 940994 2558163 | 2147483647 106853 304 | 20.117 % |
720.35/720.42 c | 111199 | 200350 940994 2558163 | 2147483647 107506 305 | 20.134 % |
724.05/724.06 c | 111920 | 200343 940994 2558163 | 2147483647 108225 305 | 20.143 % |
731.25/731.23 c | 112712 | 200342 940994 2558163 | 2147483647 109016 306 | 20.146 % |
738.15/738.15 c | 113583 | 200341 940994 2558163 | 2147483647 109884 307 | 20.147 % |
747.15/747.14 c | 114543 | 200341 940994 2558163 | 2147483647 110844 311 | 20.147 % |
752.15/752.16 c | 115599 | 200279 940541 2556991 | 2147483647 111884 311 | 20.147 % |
760.74/760.74 c | 116759 | 200272 940541 2556991 | 2147483647 113040 313 | 20.178 % |
776.14/776.14 c | 118032 | 200179 940038 2555744 | 2147483647 114285 315 | 20.187 % |
777.04/777.01 c | 118132 | 200179 940038 2555744 | 2147483647 114384 315 | 20.202 % |
777.34/777.36 c | 118242 | 200179 940038 2555744 | 2147483647 114494 315 | 20.202 % |
778.44/778.45 c | 118364 | 200179 940038 2555744 | 2147483647 114616 315 | 20.202 % |
779.95/779.93 c | 118497 | 200179 940038 2555744 | 2147483647 114749 315 | 20.202 % |
781.05/781.05 c | 118643 | 200179 940038 2555744 | 2147483647 114894 314 | 20.202 % |
783.04/783.02 c | 118803 | 200179 940038 2555744 | 2147483647 115054 314 | 20.202 % |
784.24/784.25 c | 118980 | 200179 940038 2555744 | 2147483647 115231 314 | 20.202 % |
785.94/785.95 c | 119174 | 200179 940038 2555744 | 2147483647 115425 315 | 20.202 % |
788.04/788.09 c | 119390 | 200179 940038 2555744 | 2147483647 115641 315 | 20.202 % |
790.04/790.04 c | 119625 | 200179 940038 2555744 | 2147483647 115875 315 | 20.203 % |
791.14/791.16 c | 119881 | 200179 940038 2555744 | 2147483647 116131 315 | 20.203 % |
792.44/792.42 c | 120163 | 200178 940038 2555744 | 2147483647 116412 314 | 20.203 % |
795.74/795.74 c | 120472 | 200178 940038 2555744 | 2147483647 116721 316 | 20.203 % |
798.94/798.94 c | 120811 | 200175 940038 2555744 | 2147483647 117058 316 | 20.296 % |
801.44/801.47 c | 121185 | 200175 940038 2555744 | 2147483647 117432 316 | 20.296 % |
804.04/804.10 c | 121594 | 200173 940038 2555744 | 2147483647 117840 316 | 20.308 % |
807.74/807.73 c | 122046 | 199875 937984 2550668 | 2147483647 118198 315 | 20.308 % |
809.84/809.80 c | 122540 | 199875 937984 2550668 | 2147483647 118692 316 | 20.308 % |
813.05/813.04 c | 123082 | 199874 937984 2550668 | 2147483647 119232 316 | 20.318 % |
817.65/817.67 c | 123679 | 199868 937984 2550668 | 2147483647 119828 316 | 20.329 % |
822.35/822.33 c | 124334 | 199867 937984 2550668 | 2147483647 120482 316 | 20.333 % |
829.25/829.31 c | 125054 | 199864 937984 2550668 | 2147483647 121198 317 | 20.382 % |
834.85/834.82 c | 125848 | 199602 936342 2546562 | 2147483647 121805 318 | 20.417 % |
839.55/839.59 c | 126722 | 199601 936342 2546562 | 2147483647 122678 318 | 20.418 % |
848.45/848.45 c | 127680 | 199595 936342 2546562 | 2147483647 123633 319 | 20.439 % |
853.35/853.39 c | 128736 | 199595 936342 2546562 | 2147483647 124689 319 | 20.439 % |
865.65/865.64 c | 129894 | 199595 936342 2546562 | 2147483647 125847 319 | 20.439 % |
880.25/880.23 c | 131170 | 199544 935984 2545646 | 2147483647 127082 318 | 20.455 % |
896.15/896.14 c | 132572 | 199542 935984 2545646 | 2147483647 128482 318 | 20.476 % |
897.55/897.54 c | 132672 | 199454 935396 2544243 | 2147483647 128500 318 | 20.485 % |
898.35/898.32 c | 132783 | 199454 935396 2544243 | 2147483647 128611 318 | 20.485 % |
899.05/899.01 c | 132907 | 199454 935396 2544243 | 2147483647 128735 318 | 20.485 % |
900.15/900.13 c | 133040 | 199454 935396 2544243 | 2147483647 128868 318 | 20.485 % |
901.55/901.57 c | 133186 | 199454 935396 2544243 | 2147483647 129014 319 | 20.485 % |
903.05/903.07 c | 133347 | 199454 935396 2544243 | 2147483647 129175 319 | 20.485 % |
905.55/905.52 c | 133525 | 199454 935396 2544243 | 2147483647 129353 318 | 20.485 % |
907.56/907.59 c | 133719 | 199453 935396 2544243 | 2147483647 129546 319 | 20.492 % |
908.75/908.80 c | 133932 | 199453 935396 2544243 | 2147483647 129759 319 | 20.492 % |
910.75/910.76 c | 134166 | 199453 935396 2544243 | 2147483647 129993 319 | 20.492 % |
912.35/912.38 c | 134424 | 199453 935396 2544243 | 2147483647 130250 319 | 20.492 % |
914.05/914.05 c | 134711 | 199453 935396 2544243 | 2147483647 130537 320 | 20.492 % |
917.75/917.74 c | 135020 | 199453 935396 2544243 | 2147483647 130846 320 | 20.492 % |
919.85/919.81 c | 135360 | 199452 935396 2544243 | 2147483647 131185 320 | 20.496 % |
922.05/922.09 c | 135734 | 199451 935396 2544243 | 2147483647 131558 319 | 20.496 % |
926.36/926.37 c | 136146 | 199451 935396 2544243 | 2147483647 131970 320 | 20.496 % |
930.66/930.66 c | 136595 | 199451 935396 2544243 | 2147483647 132419 321 | 20.496 % |
935.46/935.43 c | 137088 | 199402 935071 2543422 | 2147483647 132830 321 | 20.496 % |
938.86/938.89 c | 137631 | 199401 935071 2543422 | 2147483647 133370 320 | 20.503 % |
944.56/944.59 c | 138228 | 199399 935071 2543422 | 2147483647 133967 322 | 20.503 % |
950.26/950.31 c | 138883 | 199399 935071 2543422 | 2147483647 134622 321 | 20.503 % |
955.76/955.79 c | 139603 | 199399 935071 2543422 | 2147483647 135342 321 | 20.503 % |
961.06/961.04 c | 140396 | 199398 935071 2543422 | 2147483647 136134 321 | 20.525 % |
966.76/966.78 c | 141267 | 199397 935071 2543422 | 2147483647 137004 322 | 20.536 % |
975.26/975.22 c | 142226 | 199300 934483 2541911 | 2147483647 137888 322 | 20.586 % |
984.26/984.31 c | 143280 | 199294 934483 2541911 | 2147483647 138935 322 | 20.638 % |
993.56/993.56 c | 144438 | 199291 934483 2541911 | 2147483647 140089 323 | 20.710 % |
1002.26/1002.24 c | 145712 | 199288 934483 2541911 | 2147483647 141359 323 | 20.712 % |
1017.16/1017.18 c | 147112 | 198861 932130 2536038 | 2147483647 142554 321 | 20.712 % |
1036.36/1036.33 c | 148652 | 198832 931989 2535685 | 2147483647 144073 320 | 20.724 % |
1037.96/1037.97 c | 148753 | 198829 931989 2535685 | 2147483647 144173 320 | 20.733 % |
1039.67/1039.63 c | 148863 | 198829 931989 2535685 | 2147483647 144282 320 | 20.733 % |
1041.17/1041.16 c | 148986 | 198829 931989 2535685 | 2147483647 144405 320 | 20.733 % |
1042.57/1042.57 c | 149122 | 198829 931989 2535685 | 2147483647 144541 320 | 20.733 % |
1043.97/1043.97 c | 149273 | 198829 931989 2535685 | 2147483647 144692 320 | 20.733 % |
1046.07/1046.02 c | 149435 | 198829 931989 2535685 | 2147483647 144854 320 | 20.733 % |
1048.17/1048.19 c | 149614 | 198829 931989 2535685 | 2147483647 145033 320 | 20.733 % |
1050.47/1050.43 c | 149807 | 198829 931989 2535685 | 2147483647 145226 320 | 20.733 % |
1052.07/1052.11 c | 150019 | 198828 931989 2535685 | 2147483647 145437 320 | 20.733 % |
1054.67/1054.63 c | 150252 | 198828 931989 2535685 | 2147483647 145668 320 | 20.814 % |
1057.37/1057.37 c | 150509 | 198828 931989 2535685 | 2147483647 145925 320 | 20.814 % |
1060.07/1060.05 c | 150791 | 198828 931989 2535685 | 2147483647 146205 320 | 20.823 % |
1063.07/1063.04 c | 151101 | 198827 931989 2535685 | 2147483647 146514 321 | 20.829 % |
1067.17/1067.19 c | 151440 | 198827 931989 2535685 | 2147483647 146853 320 | 20.829 % |
1070.57/1070.56 c | 151813 | 198567 930774 2532667 | 2147483647 147191 321 | 20.829 % |
1075.67/1075.62 c | 152222 | 198567 930774 2532667 | 2147483647 147599 321 | 20.831 % |
1078.87/1078.82 c | 152671 | 198567 930774 2532667 | 2147483647 148048 320 | 20.831 % |
1085.27/1085.27 c | 153165 | 198567 930774 2532667 | 2147483647 148542 320 | 20.831 % |
1090.87/1090.83 c | 153707 | 198566 930774 2532667 | 2147483647 149082 320 | 20.843 % |
1096.97/1096.93 c | 154304 | 198565 930774 2532667 | 2147483647 149677 320 | 20.858 % |
1103.27/1103.27 c | 154959 | 198565 930774 2532667 | 2147483647 150332 320 | 20.858 % |
1110.67/1110.71 c | 155680 | 198495 930438 2531850 | 2147483647 151003 320 | 20.872 % |
1118.46/1118.42 c | 156472 | 198495 930438 2531850 | 2147483647 151795 320 | 20.872 % |
1123.96/1123.96 c | 157347 | 198490 930438 2531850 | 2147483647 152668 321 | 20.908 % |
1133.56/1133.56 c | 158305 | 198453 930438 2531850 | 2147483647 153626 322 | 20.908 % |
1146.86/1146.83 c | 159358 | 198367 929635 2529818 | 2147483647 154639 322 | 20.909 % |
1154.37/1154.39 c | 160518 | 198367 929635 2529818 | 2147483647 155797 323 | 20.925 % |
1167.07/1167.07 c | 161792 | 198367 929635 2529818 | 2147483647 157070 324 | 20.928 % |
1181.47/1181.47 c | 163195 | 198363 929635 2529818 | 2147483647 158468 323 | 21.012 % |
1195.47/1195.41 c | 164739 | 198363 929635 2529818 | 2147483647 160012 324 | 21.012 % |
1200.07/1200.04 HOME/SatELiteGTI: line 36: 24714 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-1821562-1242536951/watcher-1821562-1242536951 -o /tmp/evaluation-result-1821562-1242536951/solver-1821562-1242536951 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1821562-1242536951.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 24707
/proc/meminfo: memFree=967124/2074464 swapFree=1950884/1959888
[pid=24707] ppid=24705 vsize=2416 CPUtime=0.01
/proc/24707/stat : 24707 (SatELiteGTI) S 24705 24707 10114 0 -1 4194304 366 648 0 0 0 0 1 0 25 0 1 0 1018196221 2473984 277 4294967295 134512640 135169312 3216776976 3216775512 3085582062 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/24707/statm: 604 277 235 161 0 43 0
[pid=24711] ppid=24707 vsize=956 CPUtime=0
/proc/24711/stat : 24711 (SatELite_releas) R 24707 24707 10114 0 -1 4202496 136 0 0 0 0 0 0 0 25 0 1 0 1018196221 978944 72 4294967295 134512640 135223648 3215123824 3215122544 134734703 0 0 0 3 0 0 0 17 0 0 0 0
/proc/24711/statm: 239 76 46 174 0 64 0
[startup+0.04278 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 24707
/proc/meminfo: memFree=967124/2074464 swapFree=1950884/1959888
[pid=24707] ppid=24705 vsize=2416 CPUtime=0.01
/proc/24707/stat : 24707 (SatELiteGTI) S 24705 24707 10114 0 -1 4194304 366 648 0 0 0 0 1 0 25 0 1 0 1018196221 2473984 277 4294967295 134512640 135169312 3216776976 3216775512 3085582062 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/24707/statm: 604 277 235 161 0 43 0
[pid=24711] ppid=24707 vsize=13468 CPUtime=0.04
/proc/24711/stat : 24711 (SatELite_releas) R 24707 24707 10114 0 -1 4202496 2813 0 0 0 3 1 0 0 25 0 1 0 1018196221 13791232 2646 4294967295 134512640 135223648 3215123824 3215122704 134544230 0 0 0 3 0 0 0 17 0 0 0 0
/proc/24711/statm: 3367 2652 46 174 0 3192 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 15884
[startup+0.112775 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 24707
/proc/meminfo: memFree=967124/2074464 swapFree=1950884/1959888
[pid=24707] ppid=24705 vsize=2416 CPUtime=0.01
/proc/24707/stat : 24707 (SatELiteGTI) S 24705 24707 10114 0 -1 4194304 366 648 0 0 0 0 1 0 25 0 1 0 1018196221 2473984 277 4294967295 134512640 135169312 3216776976 3216775512 3085582062 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/24707/statm: 604 277 235 161 0 43 0
[pid=24711] ppid=24707 vsize=28308 CPUtime=0.11
/proc/24711/stat : 24711 (SatELite_releas) R 24707 24707 10114 0 -1 4202496 6113 0 0 0 8 3 0 0 25 0 1 0 1018196221 28987392 5882 4294967295 134512640 135223648 3215123824 3215122424 134719062 0 0 0 3 0 0 0 17 0 0 0 0
/proc/24711/statm: 7077 5882 46 174 0 6902 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 30724
[startup+0.312765 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 24707
/proc/meminfo: memFree=967124/2074464 swapFree=1950884/1959888
[pid=24707] ppid=24705 vsize=2416 CPUtime=0.01
/proc/24707/stat : 24707 (SatELiteGTI) S 24705 24707 10114 0 -1 4194304 366 648 0 0 0 0 1 0 25 0 1 0 1018196221 2473984 277 4294967295 134512640 135169312 3216776976 3216775512 3085582062 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/24707/statm: 604 277 235 161 0 43 0
[pid=24711] ppid=24707 vsize=50164 CPUtime=0.31
/proc/24711/stat : 24711 (SatELite_releas) R 24707 24707 10114 0 -1 4202496 11359 0 0 0 27 4 0 0 25 0 1 0 1018196221 51367936 11128 4294967295 134512640 135223648 3215123824 3215122776 134737310 0 0 0 3 0 0 0 17 0 0 0 0
/proc/24711/statm: 12541 11129 46 174 0 12366 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 52580
[startup+0.712746 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 24707
/proc/meminfo: memFree=967124/2074464 swapFree=1950884/1959888
[pid=24707] ppid=24705 vsize=2416 CPUtime=0.01
/proc/24707/stat : 24707 (SatELiteGTI) S 24705 24707 10114 0 -1 4194304 366 648 0 0 0 0 1 0 25 0 1 0 1018196221 2473984 277 4294967295 134512640 135169312 3216776976 3216775512 3085582062 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/24707/statm: 604 277 235 161 0 43 0
[pid=24711] ppid=24707 vsize=70164 CPUtime=0.71
/proc/24711/stat : 24711 (SatELite_releas) R 24707 24707 10114 0 -1 4202496 16253 0 0 0 62 9 0 0 25 0 1 0 1018196221 71847936 16022 4294967295 134512640 135223648 3215123824 3215122408 134719062 0 0 0 3 0 0 0 17 0 0 0 0
/proc/24711/statm: 17541 16022 46 174 0 17366 0
Current children cumulated CPU time (s) 0.72
Current children cumulated vsize (KiB) 72580
[startup+1.51271 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 24712
/proc/meminfo: memFree=884168/2074464 swapFree=1950884/1959888
[pid=24707] ppid=24705 vsize=2416 CPUtime=0.01
/proc/24707/stat : 24707 (SatELiteGTI) S 24705 24707 10114 0 -1 4194304 366 648 0 0 0 0 1 0 25 0 1 0 1018196221 2473984 277 4294967295 134512640 135169312 3216776976 3216775512 3085582062 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/24707/statm: 604 277 235 161 0 43 0
[pid=24711] ppid=24707 vsize=161352 CPUtime=1.51
/proc/24711/stat : 24711 (SatELite_releas) R 24707 24707 10114 0 -1 4202496 36680 0 0 0 125 26 0 0 25 0 1 0 1018196221 165224448 36449 4294967295 134512640 135223648 3215123824 3215122664 134719062 0 0 0 3 0 0 0 17 0 0 0 0
/proc/24711/statm: 40338 36451 47 174 0 40163 0
Current children cumulated CPU time (s) 1.52
Current children cumulated vsize (KiB) 163768
[startup+3.11263 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 24712
/proc/meminfo: memFree=805552/2074464 swapFree=1950884/1959888
[pid=24707] ppid=24705 vsize=2416 CPUtime=0.01
/proc/24707/stat : 24707 (SatELiteGTI) S 24705 24707 10114 0 -1 4194304 366 648 0 0 0 0 1 0 25 0 1 0 1018196221 2473984 277 4294967295 134512640 135169312 3216776976 3216775512 3085582062 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/24707/statm: 604 277 235 161 0 43 0
[pid=24711] ppid=24707 vsize=199352 CPUtime=3.11
/proc/24711/stat : 24711 (SatELite_releas) R 24707 24707 10114 0 -1 4202496 49491 0 0 0 281 30 0 0 25 0 1 0 1018196221 204136448 45076 4294967295 134512640 135223648 3215123824 3215121840 134586669 0 0 0 3 0 0 0 17 0 0 0 0
/proc/24711/statm: 49838 45076 73 174 0 49663 0
Current children cumulated CPU time (s) 3.12
Current children cumulated vsize (KiB) 201768
[startup+6.31248 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 24713
/proc/meminfo: memFree=767440/2074464 swapFree=1950884/1959888
[pid=24707] ppid=24705 vsize=2416 CPUtime=0.01
/proc/24707/stat : 24707 (SatELiteGTI) S 24705 24707 10114 0 -1 4194304 366 648 0 0 0 0 1 0 25 0 1 0 1018196221 2473984 277 4294967295 134512640 135169312 3216776976 3216775512 3085582062 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/24707/statm: 604 277 235 161 0 43 0
[pid=24711] ppid=24707 vsize=234992 CPUtime=6.31
/proc/24711/stat : 24711 (SatELite_releas) R 24707 24707 10114 0 -1 4202496 57037 0 0 0 595 36 0 0 25 0 1 0 1018196221 240631808 51755 4294967295 134512640 135223648 3215123824 3215121840 134548581 0 0 0 3 0 0 0 17 0 0 0 0
/proc/24711/statm: 58748 51755 73 174 0 58573 0
Current children cumulated CPU time (s) 6.32
Current children cumulated vsize (KiB) 237408
[startup+12.7122 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 24714
/proc/meminfo: memFree=882104/2074464 swapFree=1950884/1959888
[pid=24707] ppid=24705 vsize=2420 CPUtime=11.36
/proc/24707/stat : 24707 (SatELiteGTI) S 24705 24707 10114 0 -1 4194304 386 65238 0 0 0 0 1094 42 18 0 1 0 1018196221 2478080 279 4294967295 134512640 135169312 3216776976 3216773192 3085582062 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/24707/statm: 605 279 235 161 0 44 0
[pid=24714] ppid=24707 vsize=72796 CPUtime=1.36
/proc/24714/stat : 24714 (minisat_static) R 24707 24707 10114 0 -1 4202496 16801 0 0 0 126 10 0 0 25 0 1 0 1018197357 74543104 16638 4294967295 134512640 135215339 3214482736 3214481024 134528875 0 0 0 3 0 0 0 17 1 0 0 0
/proc/24714/statm: 18199 16638 72 172 0 18026 0
Current children cumulated CPU time (s) 12.72
Current children cumulated vsize (KiB) 75216
[startup+25.5215 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 24714
/proc/meminfo: memFree=862856/2074464 swapFree=1950884/1959888
[pid=24707] ppid=24705 vsize=2420 CPUtime=11.36
/proc/24707/stat : 24707 (SatELiteGTI) S 24705 24707 10114 0 -1 4194304 386 65238 0 0 0 0 1094 42 18 0 1 0 1018196221 2478080 279 4294967295 134512640 135169312 3216776976 3216773192 3085582062 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/24707/statm: 605 279 235 161 0 44 0
[pid=24714] ppid=24707 vsize=74388 CPUtime=14.17
/proc/24714/stat : 24714 (minisat_static) R 24707 24707 10114 0 -1 4202496 17121 0 0 0 1405 12 0 0 25 0 1 0 1018197357 76173312 16958 4294967295 134512640 135215339 3214482736 3214481024 134528682 0 0 0 3 0 0 0 17 1 0 0 0
/proc/24714/statm: 18597 16958 73 172 0 18424 0
Current children cumulated CPU time (s) 25.53
Current children cumulated vsize (KiB) 76808
[startup+51.1103 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 24716
/proc/meminfo: memFree=860600/2074464 swapFree=1950884/1959888
[pid=24707] ppid=24705 vsize=2420 CPUtime=11.36
/proc/24707/stat : 24707 (SatELiteGTI) S 24705 24707 10114 0 -1 4194304 386 65238 0 0 0 0 1094 42 18 0 1 0 1018196221 2478080 279 4294967295 134512640 135169312 3216776976 3216773192 3085582062 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/24707/statm: 605 279 235 161 0 44 0
[pid=24714] ppid=24707 vsize=76516 CPUtime=39.76
/proc/24714/stat : 24714 (minisat_static) R 24707 24707 10114 0 -1 4202496 17674 0 0 0 3964 12 0 0 25 0 1 0 1018197357 78352384 17511 4294967295 134512640 135215339 3214482736 3214481024 134528682 0 0 0 3 0 0 0 17 1 0 0 0
/proc/24714/statm: 19129 17511 73 172 0 18956 0
Current children cumulated CPU time (s) 51.12
Current children cumulated vsize (KiB) 78936
[startup+102.318 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 24903
/proc/meminfo: memFree=853680/2074464 swapFree=1950884/1959888
[pid=24707] ppid=24705 vsize=2420 CPUtime=11.36
/proc/24707/stat : 24707 (SatELiteGTI) S 24705 24707 10114 0 -1 4194304 386 65238 0 0 0 0 1094 42 18 0 1 0 1018196221 2478080 279 4294967295 134512640 135169312 3216776976 3216773192 3085582062 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/24707/statm: 605 279 235 161 0 44 0
[pid=24714] ppid=24707 vsize=83756 CPUtime=90.96
/proc/24714/stat : 24714 (minisat_static) R 24707 24707 10114 0 -1 4202496 19487 0 0 0 9081 15 0 0 25 0 1 0 1018197357 85766144 19324 4294967295 134512640 135215339 3214482736 3214481024 134528884 0 0 0 3 0 0 0 17 0 0 0 0
/proc/24714/statm: 20939 19324 73 172 0 20766 0
Current children cumulated CPU time (s) 102.32
Current children cumulated vsize (KiB) 86176
[startup+162.315 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 25092
/proc/meminfo: memFree=842976/2074464 swapFree=1950884/1959888
[pid=24707] ppid=24705 vsize=2420 CPUtime=11.36
/proc/24707/stat : 24707 (SatELiteGTI) S 24705 24707 10114 0 -1 4194304 386 65238 0 0 0 0 1094 42 18 0 1 0 1018196221 2478080 279 4294967295 134512640 135169312 3216776976 3216773192 3085582062 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/24707/statm: 605 279 235 161 0 44 0
[pid=24714] ppid=24707 vsize=93972 CPUtime=150.96
/proc/24714/stat : 24714 (minisat_static) R 24707 24707 10114 0 -1 4202496 22041 0 0 0 15079 17 0 0 25 0 1 0 1018197357 96227328 21878 4294967295 134512640 135215339 3214482736 3214481024 134528630 0 0 0 3 0 0 0 17 0 0 0 0
/proc/24714/statm: 23493 21878 73 172 0 23320 0
Current children cumulated CPU time (s) 162.32
Current children cumulated vsize (KiB) 96392
[startup+222.312 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 25284
/proc/meminfo: memFree=830972/2074464 swapFree=1950884/1959888
[pid=24707] ppid=24705 vsize=2420 CPUtime=11.36
/proc/24707/stat : 24707 (SatELiteGTI) S 24705 24707 10114 0 -1 4194304 386 65238 0 0 0 0 1094 42 18 0 1 0 1018196221 2478080 279 4294967295 134512640 135169312 3216776976 3216773192 3085582062 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/24707/statm: 605 279 235 161 0 44 0
[pid=24714] ppid=24707 vsize=105812 CPUtime=210.96
/proc/24714/stat : 24714 (minisat_static) R 24707 24707 10114 0 -1 4202496 24983 0 0 0 21077 19 0 0 25 0 1 0 1018197357 108351488 24820 4294967295 134512640 135215339 3214482736 3214480736 134532964 0 0 0 3 0 0 0 17 0 0 0 0
/proc/24714/statm: 26453 24820 73 172 0 26280 0
Current children cumulated CPU time (s) 222.32
Current children cumulated vsize (KiB) 108232
[startup+282.319 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 25470
/proc/meminfo: memFree=820960/2074464 swapFree=1950884/1959888
[pid=24707] ppid=24705 vsize=2420 CPUtime=11.36
/proc/24707/stat : 24707 (SatELiteGTI) S 24705 24707 10114 0 -1 4194304 386 65238 0 0 0 0 1094 42 18 0 1 0 1018196221 2478080 279 4294967295 134512640 135169312 3216776976 3216773192 3085582062 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/24707/statm: 605 279 235 161 0 44 0
[pid=24714] ppid=24707 vsize=116000 CPUtime=270.97
/proc/24714/stat : 24714 (minisat_static) R 24707 24707 10114 0 -1 4202496 27536 0 0 0 27078 19 0 0 25 0 1 0 1018197357 118784000 27373 4294967295 134512640 135215339 3214482736 3214480736 134532626 0 0 0 3 0 0 0 17 0 0 0 0
/proc/24714/statm: 29000 27373 73 172 0 28827 0
Current children cumulated CPU time (s) 282.33
Current children cumulated vsize (KiB) 118420
[startup+342.316 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 25659
/proc/meminfo: memFree=808684/2074464 swapFree=1950884/1959888
[pid=24707] ppid=24705 vsize=2420 CPUtime=11.36
/proc/24707/stat : 24707 (SatELiteGTI) S 24705 24707 10114 0 -1 4194304 386 65238 0 0 0 0 1094 42 18 0 1 0 1018196221 2478080 279 4294967295 134512640 135169312 3216776976 3216773192 3085582062 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/24707/statm: 605 279 235 161 0 44 0
[pid=24714] ppid=24707 vsize=128036 CPUtime=330.97
/proc/24714/stat : 24714 (minisat_static) R 24707 24707 10114 0 -1 4202496 30545 0 0 0 33076 21 0 0 25 0 1 0 1018197357 131108864 30382 4294967295 134512640 135215339 3214482736 3214481024 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/24714/statm: 32009 30382 73 172 0 31836 0
Current children cumulated CPU time (s) 342.33
################
# More data... #
################
[pid=24714] ppid=24707 vsize=153704 CPUtime=450.97
/proc/24714/stat : 24714 (minisat_static) R 24707 24707 10114 0 -1 4202496 36961 0 0 0 45073 24 0 0 25 0 1 0 1018197357 157392896 36798 4294967295 134512640 135215339 3214482736 3214481024 134528700 0 0 0 3 0 0 0 17 3 0 0 0
/proc/24714/statm: 38426 36798 73 172 0 38253 0
Current children cumulated CPU time (s) 462.33
Current children cumulated vsize (KiB) 156124
[startup+522.317 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 26228
/proc/meminfo: memFree=770476/2074464 swapFree=1950884/1959888
[pid=24707] ppid=24705 vsize=2420 CPUtime=11.36
/proc/24707/stat : 24707 (SatELiteGTI) S 24705 24707 10114 0 -1 4194304 386 65238 0 0 0 0 1094 42 18 0 1 0 1018196221 2478080 279 4294967295 134512640 135169312 3216776976 3216773192 3085582062 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/24707/statm: 605 279 235 161 0 44 0
[pid=24714] ppid=24707 vsize=165924 CPUtime=510.98
/proc/24714/stat : 24714 (minisat_static) R 24707 24707 10114 0 -1 4202496 40017 0 0 0 51072 26 0 0 25 0 1 0 1018197357 169906176 39854 4294967295 134512640 135215339 3214482736 3214481024 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/24714/statm: 41481 39854 73 172 0 41308 0
Current children cumulated CPU time (s) 522.34
Current children cumulated vsize (KiB) 168344
[startup+582.315 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 26414
/proc/meminfo: memFree=757224/2074464 swapFree=1950884/1959888
[pid=24707] ppid=24705 vsize=2420 CPUtime=11.36
/proc/24707/stat : 24707 (SatELiteGTI) S 24705 24707 10114 0 -1 4194304 386 65238 0 0 0 0 1094 42 18 0 1 0 1018196221 2478080 279 4294967295 134512640 135169312 3216776976 3216773192 3085582062 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/24707/statm: 605 279 235 161 0 44 0
[pid=24714] ppid=24707 vsize=179180 CPUtime=570.98
/proc/24714/stat : 24714 (minisat_static) R 24707 24707 10114 0 -1 4202496 43354 0 0 0 57066 32 0 0 25 0 1 0 1018197357 183480320 43191 4294967295 134512640 135215339 3214482736 3214480736 134532666 0 0 0 3 0 0 0 17 3 0 0 0
/proc/24714/statm: 44795 43191 73 172 0 44622 0
Current children cumulated CPU time (s) 582.34
Current children cumulated vsize (KiB) 181600
[startup+642.322 s]
/proc/loadavg: 1.10 1.03 1.01 2/95 26607
/proc/meminfo: memFree=745816/2074464 swapFree=1950884/1959888
[pid=24707] ppid=24705 vsize=2420 CPUtime=11.36
/proc/24707/stat : 24707 (SatELiteGTI) S 24705 24707 10114 0 -1 4194304 386 65238 0 0 0 0 1094 42 18 0 1 0 1018196221 2478080 279 4294967295 134512640 135169312 3216776976 3216773192 3085582062 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/24707/statm: 605 279 235 161 0 44 0
[pid=24714] ppid=24707 vsize=190992 CPUtime=630.99
/proc/24714/stat : 24714 (minisat_static) R 24707 24707 10114 0 -1 4202496 46254 0 0 0 63067 32 0 0 25 0 1 0 1018197357 195575808 46091 4294967295 134512640 135215339 3214482736 3214481024 134528666 0 0 0 3 0 0 0 17 3 0 0 0
/proc/24714/statm: 47748 46091 73 172 0 47575 0
Current children cumulated CPU time (s) 642.35
Current children cumulated vsize (KiB) 193412
[startup+702.319 s]
/proc/loadavg: 1.04 1.02 1.00 2/95 26794
/proc/meminfo: memFree=734532/2074464 swapFree=1950884/1959888
[pid=24707] ppid=24705 vsize=2420 CPUtime=11.36
/proc/24707/stat : 24707 (SatELiteGTI) S 24705 24707 10114 0 -1 4194304 386 65238 0 0 0 0 1094 42 18 0 1 0 1018196221 2478080 279 4294967295 134512640 135169312 3216776976 3216773192 3085582062 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/24707/statm: 605 279 235 161 0 44 0
[pid=24714] ppid=24707 vsize=202368 CPUtime=690.99
/proc/24714/stat : 24714 (minisat_static) R 24707 24707 10114 0 -1 4202496 49110 0 0 0 69064 35 0 0 25 0 1 0 1018197357 207224832 48947 4294967295 134512640 135215339 3214482736 3214481008 134525025 0 0 0 3 0 0 0 17 3 0 0 0
/proc/24714/statm: 50592 48947 73 172 0 50419 0
Current children cumulated CPU time (s) 702.35
Current children cumulated vsize (KiB) 204788
[startup+762.306 s]
/proc/loadavg: 1.01 1.02 1.00 3/95 26983
/proc/meminfo: memFree=719528/2074464 swapFree=1950884/1959888
[pid=24707] ppid=24705 vsize=2420 CPUtime=11.36
/proc/24707/stat : 24707 (SatELiteGTI) S 24705 24707 10114 0 -1 4194304 386 65238 0 0 0 0 1094 42 18 0 1 0 1018196221 2478080 279 4294967295 134512640 135169312 3216776976 3216773192 3085582062 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/24707/statm: 605 279 235 161 0 44 0
[pid=24714] ppid=24707 vsize=217216 CPUtime=750.98
/proc/24714/stat : 24714 (minisat_static) R 24707 24707 10114 0 -1 4202496 52817 0 0 0 75057 41 0 0 25 0 1 0 1018197357 222429184 52654 4294967295 134512640 135215339 3214482736 3214481024 134528624 0 0 0 3 0 0 0 17 3 0 0 0
/proc/24714/statm: 54304 52654 73 172 0 54131 0
Current children cumulated CPU time (s) 762.34
Current children cumulated vsize (KiB) 219636
[startup+822.313 s]
/proc/loadavg: 1.00 1.01 1.00 3/95 27171
/proc/meminfo: memFree=708724/2074464 swapFree=1950884/1959888
[pid=24707] ppid=24705 vsize=2420 CPUtime=11.36
/proc/24707/stat : 24707 (SatELiteGTI) S 24705 24707 10114 0 -1 4194304 386 65238 0 0 0 0 1094 42 18 0 1 0 1018196221 2478080 279 4294967295 134512640 135169312 3216776976 3216773192 3085582062 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/24707/statm: 605 279 235 161 0 44 0
[pid=24714] ppid=24707 vsize=228076 CPUtime=810.99
/proc/24714/stat : 24714 (minisat_static) R 24707 24707 10114 0 -1 4202496 55543 0 0 0 81053 46 0 0 25 0 1 0 1018197357 233549824 55380 4294967295 134512640 135215339 3214482736 3214481024 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/24714/statm: 57019 55380 73 172 0 56846 0
Current children cumulated CPU time (s) 822.35
Current children cumulated vsize (KiB) 230496
[startup+882.31 s]
/proc/loadavg: 1.00 1.01 1.00 3/95 27357
/proc/meminfo: memFree=699316/2074464 swapFree=1950884/1959888
[pid=24707] ppid=24705 vsize=2420 CPUtime=11.36
/proc/24707/stat : 24707 (SatELiteGTI) S 24705 24707 10114 0 -1 4194304 386 65238 0 0 0 0 1094 42 18 0 1 0 1018196221 2478080 279 4294967295 134512640 135169312 3216776976 3216773192 3085582062 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/24707/statm: 605 279 235 161 0 44 0
[pid=24714] ppid=24707 vsize=237740 CPUtime=870.99
/proc/24714/stat : 24714 (minisat_static) R 24707 24707 10114 0 -1 4202496 57979 0 0 0 87048 51 0 0 25 0 1 0 1018197357 243445760 57816 4294967295 134512640 135215339 3214482736 3214481024 134528788 0 0 0 3 0 0 0 17 3 0 0 0
/proc/24714/statm: 59435 57816 73 172 0 59262 0
Current children cumulated CPU time (s) 882.35
Current children cumulated vsize (KiB) 240160
[startup+942.317 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 27546
/proc/meminfo: memFree=689768/2074464 swapFree=1950884/1959888
[pid=24707] ppid=24705 vsize=2420 CPUtime=11.36
/proc/24707/stat : 24707 (SatELiteGTI) S 24705 24707 10114 0 -1 4194304 386 65238 0 0 0 0 1094 42 18 0 1 0 1018196221 2478080 279 4294967295 134512640 135169312 3216776976 3216773192 3085582062 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/24707/statm: 605 279 235 161 0 44 0
[pid=24714] ppid=24707 vsize=247652 CPUtime=931
/proc/24714/stat : 24714 (minisat_static) R 24707 24707 10114 0 -1 4202496 60450 0 0 0 93048 52 0 0 25 0 1 0 1018197357 253595648 60287 4294967295 134512640 135215339 3214482736 3214481024 134529083 0 0 0 3 0 0 0 17 3 0 0 0
/proc/24714/statm: 61913 60287 73 172 0 61740 0
Current children cumulated CPU time (s) 942.36
Current children cumulated vsize (KiB) 250072
[startup+1002.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 27737
/proc/meminfo: memFree=678608/2074464 swapFree=1950884/1959888
[pid=24707] ppid=24705 vsize=2420 CPUtime=11.36
/proc/24707/stat : 24707 (SatELiteGTI) S 24705 24707 10114 0 -1 4194304 386 65238 0 0 0 0 1094 42 18 0 1 0 1018196221 2478080 279 4294967295 134512640 135169312 3216776976 3216773192 3085582062 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/24707/statm: 605 279 235 161 0 44 0
[pid=24714] ppid=24707 vsize=258772 CPUtime=991
/proc/24714/stat : 24714 (minisat_static) R 24707 24707 10114 0 -1 4202496 63191 0 0 0 99044 56 0 0 25 0 1 0 1018197357 264982528 63028 4294967295 134512640 135215339 3214482736 3214480944 134525933 0 0 0 3 0 0 0 17 3 0 0 0
/proc/24714/statm: 64693 63028 73 172 0 64520 0
Current children cumulated CPU time (s) 1002.36
Current children cumulated vsize (KiB) 261192
[startup+1062.32 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 27926
/proc/meminfo: memFree=673028/2074464 swapFree=1950884/1959888
[pid=24707] ppid=24705 vsize=2420 CPUtime=11.36
/proc/24707/stat : 24707 (SatELiteGTI) S 24705 24707 10114 0 -1 4194304 386 65238 0 0 0 0 1094 42 18 0 1 0 1018196221 2478080 279 4294967295 134512640 135169312 3216776976 3216773192 3085582062 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/24707/statm: 605 279 235 161 0 44 0
[pid=24714] ppid=24707 vsize=264332 CPUtime=1051.01
/proc/24714/stat : 24714 (minisat_static) R 24707 24707 10114 0 -1 4202496 64579 0 0 0 105043 58 0 0 25 0 1 0 1018197357 270675968 64416 4294967295 134512640 135215339 3214482736 3214481024 134528624 0 0 0 3 0 0 0 17 3 0 0 0
/proc/24714/statm: 66083 64416 73 172 0 65910 0
Current children cumulated CPU time (s) 1062.37
Current children cumulated vsize (KiB) 266752
[startup+1122.31 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 28114
/proc/meminfo: memFree=665572/2074464 swapFree=1950884/1959888
[pid=24707] ppid=24705 vsize=2420 CPUtime=11.36
/proc/24707/stat : 24707 (SatELiteGTI) S 24705 24707 10114 0 -1 4194304 386 65238 0 0 0 0 1094 42 18 0 1 0 1018196221 2478080 279 4294967295 134512640 135169312 3216776976 3216773192 3085582062 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/24707/statm: 605 279 235 161 0 44 0
[pid=24714] ppid=24707 vsize=271744 CPUtime=1111
/proc/24714/stat : 24714 (minisat_static) R 24707 24707 10114 0 -1 4202496 66449 0 0 0 111036 64 0 0 25 0 1 0 1018197357 278265856 66286 4294967295 134512640 135215339 3214482736 3214481024 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/24714/statm: 67936 66286 73 172 0 67763 0
Current children cumulated CPU time (s) 1122.36
Current children cumulated vsize (KiB) 274164
[startup+1182.32 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 28300
/proc/meminfo: memFree=655792/2074464 swapFree=1950884/1959888
[pid=24707] ppid=24705 vsize=2420 CPUtime=11.36
/proc/24707/stat : 24707 (SatELiteGTI) S 24705 24707 10114 0 -1 4194304 386 65238 0 0 0 0 1094 42 18 0 1 0 1018196221 2478080 279 4294967295 134512640 135169312 3216776976 3216773192 3085582062 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/24707/statm: 605 279 235 161 0 44 0
[pid=24714] ppid=24707 vsize=281536 CPUtime=1171.01
/proc/24714/stat : 24714 (minisat_static) R 24707 24707 10114 0 -1 4202496 68903 0 0 0 117036 65 0 0 25 0 1 0 1018197357 288292864 68740 4294967295 134512640 135215339 3214482736 3214481024 134528700 0 0 0 3 0 0 0 17 3 0 0 0
/proc/24714/statm: 70384 68740 73 172 0 70211 0
Current children cumulated CPU time (s) 1182.37
Current children cumulated vsize (KiB) 283956
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.01 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 28486
/proc/meminfo: memFree=651776/2074464 swapFree=1950884/1959888
[pid=24707] ppid=24705 vsize=2420 CPUtime=11.36
/proc/24707/stat : 24707 (SatELiteGTI) S 24705 24707 10114 0 -1 4194304 386 65238 0 0 0 0 1094 42 18 0 1 0 1018196221 2478080 279 4294967295 134512640 135169312 3216776976 3216773192 3085582062 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/24707/statm: 605 279 235 161 0 44 0
[pid=24714] ppid=24707 vsize=285004 CPUtime=1188.71
/proc/24714/stat : 24714 (minisat_static) R 24707 24707 10114 0 -1 4202496 69756 0 0 0 118806 65 0 0 25 0 1 0 1018197357 291844096 69593 4294967295 134512640 135215339 3214482736 3214481024 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/24714/statm: 71251 69593 73 172 0 71078 0
Current children cumulated CPU time (s) 1200.07
Current children cumulated vsize (KiB) 287424
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.04
CPU time (s): 1200.09
CPU user time (s): 1199
CPU system time (s): 1.09
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 287424
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199
system time used= 1.09
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 135470
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= 18
involuntary context switches= 1558
runsolver used 0.02 second user time and 0 second system time
The end
Begin job on tipi13 at 2009-05-17 07:09:11
IDJOB=1821562
IDBENCH=71009
IDSOLVER=657
FILE ID=tipi13/1821562-1242536951
PBS_JOBID=
Free space on /tmp= 6970 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/APPLICATIONS/diagnosis/ACG-20-10p1.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1821562-1242536951/watcher-1821562-1242536951 -o /tmp/evaluation-result-1821562-1242536951/solver-1821562-1242536951 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1821562-1242536951.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 31a85166c16c74a5f2dcee32f2093a67
RANDOM SEED= 219877615
Linux tipi13 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.475
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.475
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.78
processor : 2
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.475
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.475
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.78
/proc/meminfo:
MemTotal: 2074464 kB
MemFree: 967124 kB
Buffers: 58892 kB
Cached: 944048 kB
SwapCached: 3516 kB
Active: 428300 kB
Inactive: 584080 kB
HighTotal: 1178688 kB
HighFree: 258540 kB
LowTotal: 895776 kB
LowFree: 708584 kB
SwapTotal: 1959888 kB
SwapFree: 1950884 kB
Dirty: 32280 kB
Writeback: 0 kB
AnonPages: 8736 kB
Mapped: 3068 kB
Slab: 86804 kB
PageTables: 512 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 2997120 kB
Committed_AS: 90604 kB
VmallocTotal: 114680 kB
VmallocUsed: 1324 kB
VmallocChunk: 113264 kB
Free space on /tmp at the end= 6960 MiB
End job on tipi13 at 2009-05-17 07:29:16