0.00/0.02 c Parsing...
0.00/0.48 c ==============================================================================
0.00/0.48 c | | ORIGINAL | LEARNT | |
0.00/0.48 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.48 c ==============================================================================
0.00/0.48 c | 0 | 614789 1419314 | 184436 0 0 nan | 0.000 % |
4.38/4.40 c | 0 | 248601 661061 | -- 0 -- -- | -- | -225959/-441263
4.38/4.41 c ==============================================================================
4.38/4.41 c Result : #vars: 44244 #clauses: 248601 #literals: 661061
4.38/4.41 c CPU time: 4.23436 s
4.38/4.41 c ==============================================================================
4.57/4.66 c This is MiniSat 2.0 beta
4.57/4.66 c WARNING: for repeatability, setting FPU to use double precision
4.57/4.66 c ============================[ Problem Statistics ]=============================
4.57/4.66 c | |
4.57/4.66 c | Number of variables: 44244 |
4.57/4.66 c | Number of clauses: 248601 |
4.64/4.81 c | Parsing time: 0.13 s |
4.64/4.82 c ============================[ Search Statistics ]==============================
4.64/4.82 c | Conflicts | ORIGINAL | LEARNT | Progress |
4.64/4.82 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
4.64/4.82 c ===============================================================================
4.64/4.82 c | 0 | 44244 248601 661061 | 82867 0 nan | 0.000 % |
4.64/4.96 c | 100 | 44169 248601 661061 | 82867 81 21 | 9.866 % |
4.64/5.06 c | 200 | 43579 248601 661061 | 82867 177 24 | 10.169 % |
4.64/5.26 c | 300 | 32947 178193 486174 | 82867 246 24 | 33.392 % |
5.37/5.49 c | 411 | 32932 178193 486174 | 82867 349 27 | 40.173 % |
5.66/5.70 c | 511 | 26470 135403 376597 | 82867 425 36 | 40.173 % |
5.76/5.84 c | 621 | 25726 131791 367488 | 82867 531 33 | 44.793 % |
5.86/5.95 c | 743 | 25590 131791 367488 | 82867 652 31 | 44.815 % |
6.06/6.15 c | 845 | 24416 123194 346740 | 82867 742 36 | 44.840 % |
6.16/6.26 c | 956 | 24416 123194 346740 | 82867 853 42 | 44.840 % |
6.36/6.42 c | 1079 | 24405 123126 346550 | 82867 976 42 | 44.840 % |
6.47/6.58 c | 1213 | 24405 123126 346550 | 82867 1109 42 | 45.007 % |
6.66/6.73 c | 1315 | 24331 122630 345288 | 82867 1211 43 | 45.007 % |
6.86/6.96 c | 1427 | 24289 122565 345138 | 82867 1316 43 | 50.789 % |
7.06/7.19 c | 1549 | 24289 122565 345138 | 82867 1438 41 | 50.789 % |
7.26/7.36 c | 1683 | 21772 107665 306482 | 82867 1512 42 | 51.069 % |
7.36/7.45 c | 1831 | 21446 107665 306482 | 82867 1659 41 | 54.166 % |
7.46/7.59 c | 1934 | 20279 98874 282043 | 82867 1738 44 | 54.166 % |
7.57/7.69 c | 2047 | 20279 98874 282043 | 82867 1851 45 | 54.166 % |
7.76/7.82 c | 2168 | 20279 98874 282043 | 82867 1972 45 | 54.166 % |
7.96/8.01 c | 2302 | 20279 98874 282043 | 82867 2106 44 | 54.166 % |
8.16/8.25 c | 2448 | 20279 98874 282043 | 82867 2252 43 | 54.166 % |
8.36/8.43 c | 2609 | 20279 98874 282043 | 82867 2413 46 | 54.166 % |
8.56/8.67 c | 2710 | 20279 98874 282043 | 82867 2514 46 | 54.166 % |
8.67/8.78 c | 2820 | 20279 98874 282043 | 82867 2624 47 | 54.166 % |
8.77/8.88 c | 2946 | 20279 98874 282043 | 82867 2750 51 | 54.166 % |
9.06/9.10 c | 3081 | 20269 98806 281871 | 82867 2883 51 | 54.188 % |
9.16/9.28 c | 3231 | 20085 97646 278981 | 82867 3032 51 | 54.604 % |
9.36/9.49 c | 3391 | 20083 97646 278981 | 82867 3189 52 | 54.676 % |
9.66/9.77 c | 3568 | 20053 97430 278417 | 82867 3366 53 | 54.676 % |
9.77/9.84 c | 3668 | 20053 97430 278417 | 82867 3466 53 | 54.676 % |
9.96/10.03 c | 3778 | 20053 97430 278417 | 82867 3576 53 | 54.676 % |
10.16/10.21 c | 3899 | 20053 97430 278417 | 82867 3697 52 | 54.676 % |
10.26/10.39 c | 4032 | 20013 97199 277768 | 82867 3814 52 | 54.877 % |
10.46/10.50 c | 4179 | 20012 97199 277768 | 82867 3961 52 | 54.878 % |
10.76/10.87 c | 4340 | 20012 97199 277768 | 82867 4122 52 | 54.877 % |
11.06/11.14 c | 4519 | 19964 96892 277000 | 82867 4301 52 | 54.878 % |
11.16/11.27 c | 4712 | 19964 96892 277000 | 82867 4494 52 | 54.877 % |
11.36/11.41 c | 4812 | 19952 96811 276795 | 82867 4592 52 | 54.927 % |
11.46/11.55 c | 4922 | 19952 96811 276795 | 82867 4702 52 | 54.927 % |
11.56/11.67 c | 5043 | 19952 96811 276795 | 82867 4823 53 | 54.927 % |
11.76/11.81 c | 5177 | 19933 96741 276610 | 82867 4952 53 | 56.107 % |
11.86/11.99 c | 5323 | 19933 96741 276610 | 82867 5098 54 | 56.107 % |
12.06/12.17 c | 5485 | 19368 93530 267664 | 82867 5241 55 | 56.225 % |
12.36/12.41 c | 5661 | 19368 93530 267664 | 82867 5416 55 | 56.227 % |
12.66/12.70 c | 5855 | 19354 93458 267480 | 82867 5606 54 | 56.308 % |
12.86/12.97 c | 6070 | 19266 92899 265981 | 82867 5808 54 | 56.494 % |
12.96/13.06 c | 6172 | 19266 92899 265981 | 82867 5910 54 | 56.494 % |
13.06/13.19 c | 6284 | 19266 92899 265981 | 82867 6022 55 | 56.494 % |
13.16/13.28 c | 6405 | 19266 92899 265981 | 82867 6143 56 | 56.494 % |
13.36/13.43 c | 6539 | 19249 92755 265615 | 82867 6275 57 | 56.494 % |
13.56/13.62 c | 6685 | 19249 92755 265615 | 82867 6420 56 | 56.564 % |
13.76/13.86 c | 6845 | 19249 92755 265615 | 82867 6580 56 | 56.564 % |
13.96/14.06 c | 7024 | 19218 92610 265227 | 82867 6754 56 | 56.564 % |
14.26/14.34 c | 7218 | 19218 92610 265227 | 82867 6948 56 | 56.564 % |
14.56/14.65 c | 7430 | 19218 92610 265227 | 82867 7160 55 | 56.564 % |
14.86/14.90 c | 7663 | 19206 92540 265037 | 82867 7388 55 | 56.591 % |
14.96/15.02 c | 7763 | 19206 92540 265037 | 82867 7488 55 | 56.591 % |
15.06/15.16 c | 7874 | 19206 92540 265037 | 82867 7599 54 | 56.591 % |
15.26/15.33 c | 7996 | 19205 92540 265037 | 82867 7719 54 | 56.645 % |
15.46/15.52 c | 8130 | 19182 92372 264589 | 82867 7849 54 | 56.645 % |
15.66/15.75 c | 8277 | 19182 92372 264589 | 82867 7996 53 | 56.645 % |
15.96/16.05 c | 8439 | 19182 92372 264589 | 82867 8158 53 | 56.645 % |
16.16/16.27 c | 8616 | 19159 92225 264180 | 82867 8331 52 | 56.697 % |
16.46/16.59 c | 8810 | 19159 92225 264180 | 82867 8525 52 | 56.697 % |
16.76/16.89 c | 9022 | 19159 92225 264180 | 82867 8737 52 | 56.697 % |
17.06/17.12 c | 9257 | 19159 92225 264180 | 82867 8972 51 | 56.697 % |
17.36/17.44 c | 9514 | 19159 92225 264180 | 82867 9229 51 | 56.697 % |
17.46/17.54 c | 9615 | 19159 92225 264180 | 82867 9330 51 | 56.697 % |
17.56/17.69 c | 9726 | 19159 92225 264180 | 82867 9441 51 | 56.697 % |
17.76/17.87 c | 9848 | 19159 92225 264180 | 82867 9563 51 | 56.697 % |
17.96/18.04 c | 9983 | 19150 92165 264036 | 82867 9697 50 | 56.717 % |
18.16/18.23 c | 10130 | 19150 92165 264036 | 2147483647 9844 50 | 56.717 % |
18.35/18.44 c | 10296 | 19150 92165 264036 | 2147483647 10010 50 | 56.717 % |
18.56/18.70 c | 10472 | 19150 92165 264036 | 2147483647 10186 50 | 56.717 % |
18.85/18.91 c | 10665 | 19150 92165 264036 | 2147483647 10379 49 | 56.717 % |
19.05/19.11 c | 10877 | 19150 92165 264036 | 2147483647 10591 49 | 56.717 % |
19.25/19.34 c | 11110 | 19150 92165 264036 | 2147483647 10824 49 | 56.717 % |
19.67/19.74 c | 11366 | 19150 92165 264036 | 2147483647 11080 49 | 56.717 % |
19.96/20.04 c | 11647 | 19149 92161 264026 | 2147483647 11360 49 | 56.720 % |
20.06/20.13 c | 11749 | 19149 92161 264026 | 2147483647 11462 49 | 56.720 % |
20.16/20.27 c | 11860 | 19148 92161 264026 | 2147483647 11572 49 | 56.740 % |
20.36/20.43 c | 11983 | 19148 92161 264026 | 2147483647 11695 50 | 56.740 % |
20.46/20.54 c | 12118 | 19148 92161 264026 | 2147483647 11830 49 | 56.740 % |
20.66/20.75 c | 12265 | 19140 92101 263861 | 2147483647 11975 49 | 56.740 % |
20.87/20.98 c | 12425 | 19138 92101 263861 | 2147483647 12133 49 | 56.790 % |
21.16/21.20 c | 12601 | 19138 92101 263861 | 2147483647 12309 49 | 56.790 % |
21.36/21.49 c | 12794 | 19118 91960 263478 | 2147483647 12491 49 | 56.790 % |
21.76/21.80 c | 13006 | 19117 91960 263478 | 2147483647 12702 50 | 56.817 % |
21.97/22.08 c | 13239 | 19105 91885 263291 | 2147483647 12934 49 | 56.842 % |
22.36/22.41 c | 13497 | 19105 91885 263291 | 2147483647 13192 49 | 56.842 % |
22.76/22.80 c | 13778 | 19095 91800 263077 | 2147483647 13471 49 | 56.842 % |
23.16/23.23 c | 14087 | 19095 91800 263077 | 2147483647 13780 49 | 56.842 % |
23.26/23.39 c | 14187 | 19095 91800 263077 | 2147483647 13880 49 | 56.842 % |
23.46/23.53 c | 14297 | 19095 91800 263077 | 2147483647 13990 49 | 56.842 % |
23.66/23.73 c | 14418 | 19095 91800 263077 | 2147483647 14111 49 | 56.842 % |
23.86/23.93 c | 14553 | 19095 91800 263077 | 2147483647 14246 48 | 56.842 % |
24.06/24.16 c | 14702 | 18094 86291 248961 | 2147483647 14389 48 | 59.104 % |
24.36/24.40 c | 14862 | 18094 86291 248961 | 2147483647 14548 48 | 59.728 % |
24.46/24.57 c | 15041 | 18094 86291 248961 | 2147483647 14727 48 | 59.728 % |
24.76/24.87 c | 15235 | 18094 86291 248961 | 2147483647 14921 48 | 59.728 % |
24.96/25.05 c | 15448 | 17818 84564 244170 | 2147483647 15134 49 | 59.728 % |
25.26/25.31 c | 15681 | 17818 84564 244170 | 2147483647 15367 49 | 59.728 % |
25.66/25.71 c | 15937 | 17818 84564 244170 | 2147483647 15623 49 | 59.728 % |
25.86/25.97 c | 16219 | 17817 84561 244164 | 2147483647 15901 49 | 59.730 % |
26.36/26.42 c | 16528 | 17816 84561 244164 | 2147483647 16209 49 | 59.757 % |
26.66/26.79 c | 16868 | 17816 84561 244164 | 2147483647 16549 49 | 59.757 % |
26.85/26.96 c | 16968 | 17804 84477 243941 | 2147483647 16647 49 | 59.780 % |
27.05/27.10 c | 17078 | 17804 84477 243941 | 2147483647 16757 49 | 59.780 % |
27.15/27.26 c | 17200 | 17804 84477 243941 | 2147483647 16879 49 | 59.780 % |
27.36/27.48 c | 17338 | 17804 84477 243941 | 2147483647 17017 49 | 59.780 % |
27.55/27.65 c | 17484 | 17804 84477 243941 | 2147483647 17163 49 | 59.780 % |
27.75/27.85 c | 17645 | 17795 84406 243751 | 2147483647 17323 50 | 59.780 % |
27.95/28.03 c | 17821 | 17795 84406 243751 | 2147483647 17499 50 | 59.780 % |
28.15/28.25 c | 18015 | 17795 84406 243751 | 2147483647 17693 50 | 59.780 % |
28.35/28.48 c | 18229 | 17795 84406 243751 | 2147483647 17906 50 | 60.056 % |
28.75/28.87 c | 18465 | 17795 84406 243751 | 2147483647 18142 50 | 60.056 % |
29.05/29.17 c | 18723 | 17673 83671 241753 | 2147483647 18400 50 | 60.056 % |
29.35/29.48 c | 19005 | 17673 83671 241753 | 2147483647 18682 50 | 60.056 % |
29.75/29.87 c | 19318 | 17673 83671 241753 | 2147483647 18995 50 | 60.056 % |
30.15/30.29 c | 19658 | 17673 83671 241753 | 2147483647 19335 50 | 60.056 % |
30.76/30.82 c | 20030 | 17673 83671 241753 | 2147483647 19707 49 | 60.056 % |
30.85/30.94 c | 20130 | 17673 83671 241753 | 2147483647 19807 49 | 60.056 % |
30.95/31.06 c | 20240 | 17673 83671 241753 | 2147483647 19917 49 | 60.056 % |
31.15/31.21 c | 20362 | 17673 83671 241753 | 2147483647 20039 50 | 60.056 % |
31.35/31.41 c | 20496 | 17673 83671 241753 | 2147483647 20173 50 | 60.056 % |
31.55/31.60 c | 20642 | 17673 83671 241753 | 2147483647 20319 50 | 60.056 % |
31.76/31.83 c | 20802 | 17673 83671 241753 | 2147483647 20479 50 | 60.056 % |
31.95/32.09 c | 20978 | 17662 83589 241533 | 2147483647 20651 50 | 60.081 % |
32.25/32.36 c | 21171 | 17662 83589 241533 | 2147483647 20844 50 | 60.080 % |
32.55/32.62 c | 21385 | 17662 83589 241533 | 2147483647 21058 50 | 60.080 % |
32.85/32.93 c | 21618 | 17662 83589 241533 | 2147483647 21291 50 | 60.081 % |
33.25/33.30 c | 21877 | 17662 83589 241533 | 2147483647 21550 50 | 60.080 % |
33.55/33.66 c | 22159 | 17662 83589 241533 | 2147483647 21832 50 | 60.080 % |
34.05/34.11 c | 22468 | 17662 83589 241533 | 2147483647 22141 49 | 60.080 % |
34.45/34.51 c | 22808 | 17661 83586 241527 | 2147483647 22475 49 | 60.083 % |
34.85/34.96 c | 23182 | 17661 83586 241527 | 2147483647 22849 49 | 60.083 % |
35.35/35.47 c | 23592 | 17661 83586 241527 | 2147483647 23259 49 | 60.083 % |
35.45/35.57 c | 23693 | 17661 83586 241527 | 2147483647 23360 49 | 60.083 % |
35.65/35.72 c | 23804 | 17303 81697 236163 | 2147483647 23338 49 | 60.892 % |
35.75/35.85 c | 23926 | 17303 81697 236163 | 2147483647 23460 49 | 60.892 % |
35.95/36.03 c | 24060 | 17302 81697 236163 | 2147483647 23593 49 | 60.917 % |
36.05/36.19 c | 24206 | 17302 81697 236163 | 2147483647 23739 49 | 60.917 % |
36.45/36.51 c | 24368 | 17302 81697 236163 | 2147483647 23901 49 | 60.917 % |
36.65/36.73 c | 24544 | 17302 81697 236163 | 2147483647 24077 49 | 60.917 % |
36.85/36.99 c | 24739 | 17302 81697 236163 | 2147483647 24272 49 | 60.917 % |
37.25/37.36 c | 24952 | 17291 81619 235958 | 2147483647 24473 49 | 60.944 % |
37.65/37.78 c | 25186 | 17291 81619 235958 | 2147483647 24706 49 | 60.969 % |
38.04/38.10 c | 25442 | 17291 81619 235958 | 2147483647 24962 49 | 60.969 % |
38.35/38.49 c | 25723 | 17291 81619 235958 | 2147483647 25243 49 | 60.969 % |
38.74/38.86 c | 26033 | 17269 81469 235563 | 2147483647 25547 49 | 60.969 % |
39.14/39.30 c | 26373 | 17268 81469 235563 | 2147483647 25885 49 | 61.025 % |
39.94/40.05 c | 26755 | 17268 81469 235563 | 2147483647 26267 49 | 61.025 % |
40.65/40.75 c | 27165 | 17244 81306 235116 | 2147483647 26668 49 | 61.025 % |
41.44/41.51 c | 27614 | 17244 81306 235116 | 2147483647 27117 49 | 61.025 % |
41.54/41.68 c | 27714 | 17244 81306 235116 | 2147483647 27217 49 | 61.025 % |
41.75/41.89 c | 27824 | 17244 81306 235116 | 2147483647 27327 49 | 61.025 % |
41.95/42.09 c | 27946 | 17244 81306 235116 | 2147483647 27449 49 | 61.025 % |
42.15/42.28 c | 28081 | 17244 81306 235116 | 2147483647 27584 49 | 61.025 % |
42.45/42.50 c | 28228 | 17244 81306 235116 | 2147483647 27731 49 | 61.025 % |
42.65/42.74 c | 28388 | 17244 81306 235116 | 2147483647 27891 49 | 61.025 % |
42.85/42.99 c | 28566 | 17244 81306 235116 | 2147483647 28069 49 | 61.025 % |
43.15/43.21 c | 28760 | 17244 81306 235116 | 2147483647 28263 49 | 61.025 % |
43.45/43.52 c | 28974 | 17244 81306 235116 | 2147483647 28477 48 | 61.025 % |
43.85/43.97 c | 29207 | 17244 81306 235116 | 2147483647 28709 48 | 61.055 % |
44.05/44.17 c | 29463 | 17231 81224 234895 | 2147483647 28964 48 | 61.055 % |
44.45/44.51 c | 29744 | 17231 81224 234895 | 2147483647 29245 48 | 61.055 % |
44.85/44.92 c | 30053 | 17231 81224 234895 | 2147483647 29554 48 | 61.055 % |
45.25/45.33 c | 30394 | 17231 81224 234895 | 2147483647 29895 48 | 61.055 % |
45.65/45.76 c | 30767 | 17231 81224 234895 | 2147483647 30268 48 | 61.055 % |
46.25/46.36 c | 31179 | 17208 81075 234501 | 2147483647 30677 48 | 61.107 % |
46.65/46.75 c | 31628 | 17208 81075 234501 | 2147483647 31126 48 | 61.107 % |
47.45/47.58 c | 32124 | 17208 81075 234501 | 2147483647 31622 48 | 61.107 % |
47.65/47.74 c | 32225 | 17208 81075 234501 | 2147483647 31723 48 | 61.107 % |
47.75/47.88 c | 32336 | 17208 81075 234501 | 2147483647 31834 48 | 61.107 % |
47.95/48.02 c | 32457 | 17208 81075 234501 | 2147483647 31955 48 | 61.107 % |
48.15/48.26 c | 32590 | 16354 76502 221608 | 2147483647 32085 48 | 63.037 % |
48.35/48.43 c | 32736 | 16354 76502 221608 | 2147483647 32231 48 | 63.037 % |
48.55/48.62 c | 32896 | 16353 76502 221608 | 2147483647 32390 48 | 63.039 % |
48.74/48.88 c | 33072 | 16353 76502 221608 | 2147483647 32566 48 | 63.039 % |
49.14/49.21 c | 33266 | 16353 76502 221608 | 2147483647 32760 48 | 63.039 % |
49.54/49.61 c | 33480 | 16353 76502 221608 | 2147483647 32974 48 | 63.039 % |
49.74/49.89 c | 33715 | 16352 76502 221608 | 2147483647 33208 48 | 63.066 % |
50.24/50.30 c | 33971 | 16352 76502 221608 | 2147483647 33464 48 | 63.066 % |
50.55/50.68 c | 34253 | 16341 76431 221416 | 2147483647 33725 48 | 63.066 % |
51.14/51.28 c | 34562 | 16341 76431 221416 | 2147483647 34034 48 | 63.066 % |
51.64/51.71 c | 34901 | 16341 76431 221416 | 2147483647 34373 48 | 63.066 % |
52.04/52.13 c | 35274 | 16341 76431 221416 | 2147483647 34746 48 | 63.066 % |
52.84/52.92 c | 35684 | 16341 76431 221416 | 2147483647 35156 48 | 63.066 % |
53.84/53.94 c | 36135 | 16341 76431 221416 | 2147483647 35607 48 | 63.066 % |
54.64/54.72 c | 36628 | 16341 76431 221416 | 2147483647 36100 47 | 63.066 % |
55.64/55.77 c | 37170 | 16341 76431 221416 | 2147483647 36642 47 | 63.066 % |
55.84/55.96 c | 37270 | 16341 76431 221416 | 2147483647 36742 47 | 63.066 % |
56.04/56.10 c | 37380 | 16341 76431 221416 | 2147483647 36852 48 | 63.066 % |
56.14/56.28 c | 37501 | 16330 76361 221225 | 2147483647 36967 48 | 63.091 % |
56.34/56.42 c | 37635 | 16330 76361 221225 | 2147483647 37101 48 | 63.091 % |
56.54/56.61 c | 37782 | 16327 76361 221225 | 2147483647 37246 48 | 63.717 % |
56.74/56.82 c | 37942 | 16327 76361 221225 | 2147483647 37406 48 | 63.717 % |
56.94/57.06 c | 38118 | 16327 76361 221225 | 2147483647 37582 48 | 63.717 % |
57.24/57.36 c | 38314 | 16327 76361 221225 | 2147483647 37778 48 | 63.717 % |
57.54/57.66 c | 38529 | 16327 76361 221225 | 2147483647 37992 48 | 63.744 % |
57.84/57.92 c | 38762 | 16326 76361 221225 | 2147483647 38224 48 | 63.769 % |
58.14/58.29 c | 39020 | 16018 74765 216726 | 2147483647 38417 48 | 63.796 % |
58.44/58.56 c | 39301 | 16017 74765 216726 | 2147483647 38697 48 | 63.819 % |
58.74/58.84 c | 39612 | 16017 74765 216726 | 2147483647 39008 48 | 63.819 % |
59.14/59.26 c | 39952 | 16017 74765 216726 | 2147483647 39348 48 | 63.819 % |
59.54/59.67 c | 40324 | 16017 74765 216726 | 2147483647 39720 48 | 63.819 % |
60.24/60.35 c | 40737 | 16017 74765 216726 | 2147483647 40133 48 | 63.819 % |
60.84/60.99 c | 41186 | 15591 72087 209716 | 2147483647 40572 48 | 64.793 % |
61.64/61.72 c | 41680 | 15591 72087 209716 | 2147483647 41065 47 | 65.283 % |
62.24/62.32 c | 42222 | 15591 72087 209716 | 2147483647 41607 47 | 65.283 % |
63.04/63.19 c | 42818 | 15591 72087 209716 | 2147483647 42203 47 | 65.283 % |
63.24/63.33 c | 42922 | 15360 70833 206284 | 2147483647 42307 47 | 65.283 % |
63.34/63.47 c | 43032 | 15360 70833 206284 | 2147483647 42417 47 | 65.283 % |
63.54/63.61 c | 43155 | 15360 70833 206284 | 2147483647 42540 47 | 65.283 % |
63.74/63.87 c | 43290 | 15360 70833 206284 | 2147483647 42675 47 | 65.283 % |
63.94/64.06 c | 43436 | 15360 70833 206284 | 2147483647 42821 47 | 65.283 % |
64.14/64.28 c | 43596 | 15360 70833 206284 | 2147483647 42981 47 | 65.283 % |
64.34/64.49 c | 43772 | 15360 70833 206284 | 2147483647 43157 47 | 65.283 % |
64.75/64.80 c | 43967 | 15360 70833 206284 | 2147483647 43352 47 | 65.283 % |
64.94/65.02 c | 44179 | 15360 70833 206284 | 2147483647 43564 47 | 65.283 % |
65.24/65.31 c | 44412 | 15360 70833 206284 | 2147483647 43797 47 | 65.283 % |
65.64/65.73 c | 44668 | 15360 70833 206284 | 2147483647 44053 47 | 65.283 % |
66.14/66.21 c | 44949 | 15360 70833 206284 | 2147483647 44334 47 | 65.283 % |
66.64/66.77 c | 45260 | 15360 70833 206284 | 2147483647 44645 47 | 65.283 % |
67.14/67.23 c | 45599 | 15360 70833 206284 | 2147483647 44984 47 | 65.283 % |
67.74/67.88 c | 45971 | 15347 70752 206063 | 2147483647 45349 47 | 65.313 % |
68.34/68.45 c | 46380 | 15347 70752 206063 | 2147483647 45758 47 | 65.313 % |
68.94/69.06 c | 46830 | 15345 70752 206063 | 2147483647 46206 47 | 65.363 % |
69.54/69.62 c | 47323 | 15345 70752 206063 | 2147483647 46699 47 | 65.363 % |
70.14/70.25 c | 47866 | 15345 70752 206063 | 2147483647 47242 47 | 65.363 % |
71.24/71.34 c | 48464 | 15323 70623 205732 | 2147483647 47834 47 | 65.421 % |
72.03/72.16 c | 49119 | 15323 70623 205732 | 2147483647 48489 47 | 65.421 % |
72.24/72.30 c | 49221 | 15323 70623 205732 | 2147483647 48591 47 | 65.421 % |
72.44/72.57 c | 49332 | 15323 70623 205732 | 2147483647 48702 47 | 65.421 % |
72.64/72.73 c | 49454 | 15323 70623 205732 | 2147483647 48824 47 | 65.421 % |
72.74/72.89 c | 49588 | 15323 70623 205732 | 2147483647 48958 47 | 65.421 % |
73.03/73.15 c | 49734 | 15295 70430 205209 | 2147483647 49085 47 | 65.430 % |
73.33/73.40 c | 49901 | 15295 70430 205209 | 2147483647 49252 47 | 65.430 % |
73.54/73.61 c | 50078 | 15295 70430 205209 | 2147483647 49429 47 | 65.430 % |
73.83/73.91 c | 50272 | 15295 70430 205209 | 2147483647 49622 47 | 65.462 % |
74.13/74.24 c | 50485 | 15295 70430 205209 | 2147483647 49833 47 | 65.509 % |
74.43/74.59 c | 50718 | 15295 70430 205209 | 2147483647 50066 47 | 65.509 % |
74.93/75.00 c | 50974 | 15295 70430 205209 | 2147483647 50322 47 | 65.509 % |
75.33/75.42 c | 51255 | 15295 70430 205209 | 2147483647 50603 47 | 65.509 % |
75.93/76.01 c | 51566 | 15295 70430 205209 | 2147483647 50914 47 | 65.509 % |
76.43/76.56 c | 51905 | 15260 70218 204656 | 2147483647 51229 47 | 65.509 % |
76.94/77.03 c | 52277 | 15260 70218 204656 | 2147483647 51601 47 | 65.509 % |
77.53/77.66 c | 52688 | 15260 70218 204656 | 2147483647 52012 47 | 65.509 % |
78.43/78.59 c | 53137 | 15260 70218 204656 | 2147483647 52461 47 | 65.509 % |
79.33/79.43 c | 53632 | 15260 70218 204656 | 2147483647 52956 47 | 65.509 % |
80.53/80.66 c | 54174 | 15260 70218 204656 | 2147483647 53498 47 | 65.509 % |
81.53/81.66 c | 54771 | 15248 70146 204459 | 2147483647 54088 47 | 65.537 % |
82.52/82.61 c | 55427 | 15248 70146 204459 | 2147483647 54744 46 | 65.537 % |
84.02/84.14 c | 56148 | 15248 70146 204459 | 2147483647 55465 46 | 65.537 % |
84.12/84.28 c | 56249 | 15248 70146 204459 | 2147483647 55566 46 | 65.537 % |
84.42/84.52 c | 56362 | 15248 70146 204459 | 2147483647 55679 46 | 65.537 % |
84.72/84.80 c | 56483 | 15248 70146 204459 | 2147483647 55800 46 | 65.537 % |
84.82/84.99 c | 56616 | 15248 70146 204459 | 2147483647 55933 46 | 65.537 % |
85.22/85.33 c | 56762 | 15248 70146 204459 | 2147483647 56079 46 | 65.537 % |
85.52/85.69 c | 56922 | 15235 70068 204238 | 2147483647 56233 46 | 65.589 % |
85.92/86.04 c | 57100 | 15234 70068 204238 | 2147483647 56410 46 | 65.618 % |
86.22/86.30 c | 57294 | 15234 70068 204238 | 2147483647 56604 46 | 65.618 % |
86.52/86.60 c | 57506 | 15234 70068 204238 | 2147483647 56816 46 | 65.618 % |
86.72/86.85 c | 57740 | 15234 70068 204238 | 2147483647 57050 46 | 65.618 % |
87.12/87.23 c | 57996 | 15234 70068 204238 | 2147483647 57306 46 | 65.618 % |
87.52/87.66 c | 58277 | 15234 70068 204238 | 2147483647 57587 46 | 65.618 % |
88.02/88.19 c | 58586 | 15234 70068 204238 | 2147483647 57896 46 | 65.618 % |
88.42/88.57 c | 58925 | 15234 70068 204238 | 2147483647 58235 46 | 65.618 % |
88.92/89.09 c | 59297 | 15234 70068 204238 | 2147483647 58607 46 | 65.618 % |
89.62/89.73 c | 59706 | 15212 69921 203815 | 2147483647 59006 46 | 65.618 % |
90.32/90.41 c | 60155 | 15212 69921 203815 | 2147483647 59455 46 | 65.618 % |
91.12/91.27 c | 60649 | 15212 69921 203815 | 2147483647 59949 46 | 65.618 % |
92.22/92.35 c | 61191 | 15212 69921 203815 | 2147483647 60491 46 | 65.618 % |
93.22/93.32 c | 61787 | 15212 69921 203815 | 2147483647 61087 46 | 65.618 % |
94.22/94.30 c | 62442 | 15212 69921 203815 | 2147483647 61742 46 | 65.618 % |
95.31/95.40 c | 63163 | 15212 69921 203815 | 2147483647 62463 46 | 65.618 % |
96.51/96.63 c | 63955 | 15212 69921 203815 | 2147483647 63255 46 | 65.618 % |
96.72/96.81 c | 64055 | 15212 69921 203815 | 2147483647 63355 46 | 65.618 % |
96.81/96.96 c | 64167 | 15212 69921 203815 | 2147483647 63467 46 | 65.618 % |
97.01/97.11 c | 64289 | 15212 69921 203815 | 2147483647 63589 46 | 65.618 % |
97.21/97.34 c | 64422 | 15212 69921 203815 | 2147483647 63722 46 | 65.618 % |
97.51/97.63 c | 64568 | 15212 69921 203815 | 2147483647 63868 46 | 65.618 % |
97.72/97.90 c | 64728 | 15212 69921 203815 | 2147483647 64028 46 | 65.618 % |
98.11/98.22 c | 64905 | 15212 69921 203815 | 2147483647 64205 46 | 65.618 % |
98.41/98.52 c | 65099 | 15212 69921 203815 | 2147483647 64399 46 | 65.618 % |
98.72/98.88 c | 65311 | 15212 69921 203815 | 2147483647 64611 46 | 65.618 % |
99.12/99.30 c | 65546 | 15212 69921 203815 | 2147483647 64846 46 | 65.618 % |
99.52/99.68 c | 65803 | 15212 69921 203815 | 2147483647 65103 46 | 65.618 % |
100.02/100.13 c | 66087 | 15212 69921 203815 | 2147483647 65387 46 | 65.618 % |
100.42/100.54 c | 66400 | 15212 69921 203815 | 2147483647 65700 46 | 65.618 % |
100.82/100.93 c | 66739 | 15212 69921 203815 | 2147483647 66039 45 | 65.618 % |
101.52/101.65 c | 67112 | 15212 69921 203815 | 2147483647 66412 45 | 65.618 % |
102.12/102.24 c | 67521 | 15212 69921 203815 | 2147483647 66821 46 | 65.618 % |
102.72/102.84 c | 67971 | 15212 69921 203815 | 2147483647 67271 45 | 65.618 % |
103.42/103.58 c | 68464 | 15212 69921 203815 | 2147483647 67764 45 | 65.618 % |
104.42/104.59 c | 69006 | 15199 69850 203622 | 2147483647 68291 45 | 65.647 % |
105.32/105.47 c | 69602 | 15199 69850 203622 | 2147483647 68887 45 | 65.647 % |
106.52/106.69 c | 70257 | 15199 69850 203622 | 2147483647 69542 45 | 65.647 % |
108.11/108.23 c | 70980 | 15199 69850 203622 | 2147483647 70265 45 | 65.647 % |
109.31/109.41 c | 71773 | 15143 69653 202995 | 2147483647 71054 45 | 65.830 % |
111.21/111.30 c | 72645 | 15143 69653 202995 | 2147483647 71926 45 | 65.830 % |
111.31/111.49 c | 72748 | 15143 69653 202995 | 2147483647 72029 45 | 65.830 % |
111.61/111.72 c | 72858 | 15143 69653 202995 | 2147483647 72139 45 | 65.830 % |
111.81/111.98 c | 72984 | 15143 69653 202995 | 2147483647 72265 45 | 65.830 % |
112.11/112.21 c | 73118 | 15143 69653 202995 | 2147483647 72399 45 | 65.830 % |
112.41/112.51 c | 73265 | 15143 69653 202995 | 2147483647 72546 45 | 65.830 % |
112.81/112.90 c | 73425 | 15143 69653 202995 | 2147483647 72706 45 | 65.830 % |
113.11/113.23 c | 73601 | 15143 69653 202995 | 2147483647 72882 45 | 65.830 % |
113.41/113.57 c | 73794 | 15143 69653 202995 | 2147483647 73075 45 | 65.830 % |
113.91/114.01 c | 74006 | 15143 69653 202995 | 2147483647 73287 45 | 65.830 % |
114.21/114.40 c | 74240 | 15118 69504 202586 | 2147483647 73509 45 | 65.830 % |
114.71/114.84 c | 74496 | 15118 69504 202586 | 2147483647 73765 45 | 65.830 % |
115.31/115.47 c | 74777 | 15117 69504 202586 | 2147483647 74045 45 | 65.851 % |
116.01/116.18 c | 75089 | 15117 69504 202586 | 2147483647 74356 45 | 65.948 % |
116.61/116.73 c | 75429 | 15114 69504 202586 | 2147483647 74696 45 | 65.948 % |
117.21/117.39 c | 75801 | 15114 69504 202586 | 2147483647 75068 45 | 65.948 % |
118.21/118.31 c | 76215 | 15114 69504 202586 | 2147483647 75482 45 | 65.948 % |
119.01/119.11 c | 76667 | 15114 69504 202586 | 2147483647 75934 45 | 65.948 % |
119.71/119.84 c | 77160 | 15114 69504 202586 | 2147483647 76427 45 | 65.948 % |
120.51/120.64 c | 77704 | 15066 69206 201711 | 2147483647 76961 45 | 65.948 % |
121.31/121.45 c | 78300 | 15066 69206 201711 | 2147483647 77557 45 | 65.948 % |
122.51/122.62 c | 78955 | 15065 69206 201711 | 2147483647 78211 45 | 65.973 % |
123.81/123.92 c | 79676 | 15065 69206 201711 | 2147483647 78932 45 | 65.973 % |
124.91/125.02 c | 80468 | 15065 69206 201711 | 2147483647 79724 44 | 65.973 % |
126.80/126.95 c | 81339 | 15043 69054 201299 | 2147483647 80586 44 | 66.000 % |
129.00/129.10 c | 82297 | 15041 69054 201299 | 2147483647 81542 44 | 66.047 % |
129.10/129.29 c | 82398 | 15041 69054 201299 | 2147483647 81643 44 | 66.047 % |
129.30/129.47 c | 82508 | 15041 69054 201299 | 2147483647 81753 44 | 66.047 % |
129.50/129.69 c | 82629 | 15041 69054 201299 | 2147483647 81874 44 | 66.047 % |
129.80/129.97 c | 82763 | 15041 69054 201299 | 2147483647 82008 44 | 66.047 % |
130.10/130.22 c | 82909 | 15041 69054 201299 | 2147483647 82154 44 | 66.047 % |
130.40/130.56 c | 83069 | 15041 69054 201299 | 2147483647 82314 44 | 66.047 % |
130.70/130.89 c | 83246 | 15041 69054 201299 | 2147483647 82491 44 | 66.047 % |
131.00/131.17 c | 83439 | 15041 69054 201299 | 2147483647 82684 44 | 66.047 % |
131.40/131.51 c | 83653 | 15041 69054 201299 | 2147483647 82898 44 | 66.047 % |
131.80/131.93 c | 83888 | 15041 69054 201299 | 2147483647 83133 44 | 66.047 % |
132.30/132.40 c | 84144 | 15022 68926 200961 | 2147483647 83382 44 | 66.047 % |
132.79/133.00 c | 84425 | 15022 68926 200961 | 2147483647 83663 44 | 66.047 % |
133.59/133.77 c | 84734 | 15022 68926 200961 | 2147483647 83971 44 | 67.028 % |
134.29/134.46 c | 85073 | 15020 68926 200961 | 2147483647 84309 44 | 67.207 % |
134.99/135.17 c | 85445 | 15020 68926 200961 | 2147483647 84680 44 | 67.239 % |
135.89/136.08 c | 85854 | 15020 68926 200961 | 2147483647 85089 44 | 67.239 % |
136.59/136.72 c | 86305 | 15020 68926 200961 | 2147483647 85540 44 | 67.238 % |
137.50/137.68 c | 86800 | 15020 68926 200961 | 2147483647 86035 44 | 67.238 % |
138.50/138.66 c | 87342 | 15020 68926 200961 | 2147483647 86577 44 | 67.238 % |
139.50/139.69 c | 87939 | 14495 66431 193791 | 2147483647 87156 44 | 67.238 % |
140.90/141.05 c | 88594 | 14495 66431 193791 | 2147483647 87811 44 | 67.238 % |
141.90/142.08 c | 89314 | 14495 66431 193791 | 2147483647 88531 44 | 67.238 % |
143.79/143.98 c | 90109 | 14495 66431 193791 | 2147483647 89326 44 | 67.239 % |
145.49/145.68 c | 90981 | 14495 66431 193791 | 2147483647 90198 44 | 67.238 % |
147.29/147.46 c | 91943 | 14495 66431 193791 | 2147483647 91160 44 | 67.239 % |
149.19/149.30 c | 92998 | 14495 66431 193791 | 2147483647 92215 44 | 67.239 % |
149.39/149.59 c | 93099 | 14483 66353 193580 | 2147483647 92315 44 | 67.266 % |
149.59/149.75 c | 93209 | 14483 66353 193580 | 2147483647 92425 44 | 67.266 % |
149.89/150.02 c | 93331 | 14483 66353 193580 | 2147483647 92547 44 | 67.266 % |
150.19/150.31 c | 93467 | 14483 66353 193580 | 2147483647 92683 44 | 67.266 % |
150.49/150.63 c | 93613 | 14483 66353 193580 | 2147483647 92829 44 | 67.266 % |
150.79/150.91 c | 93775 | 14483 66353 193580 | 2147483647 92991 44 | 67.266 % |
151.09/151.29 c | 93952 | 14483 66353 193580 | 2147483647 93168 44 | 67.266 % |
151.59/151.72 c | 94145 | 14483 66353 193580 | 2147483647 93361 44 | 67.266 % |
152.09/152.26 c | 94358 | 14483 66353 193580 | 2147483647 93574 44 | 67.266 % |
152.69/152.83 c | 94592 | 14483 66353 193580 | 2147483647 93807 44 | 67.392 % |
153.09/153.28 c | 94849 | 14483 66353 193580 | 2147483647 94064 44 | 67.392 % |
153.69/153.82 c | 95132 | 14483 66353 193580 | 2147483647 94346 44 | 67.501 % |
154.19/154.39 c | 95442 | 14483 66353 193580 | 2147483647 94656 44 | 67.501 % |
154.89/155.02 c | 95782 | 14483 66353 193580 | 2147483647 94996 44 | 67.501 % |
155.59/155.74 c | 96155 | 14483 66353 193580 | 2147483647 95369 44 | 67.501 % |
156.38/156.53 c | 96566 | 14483 66353 193580 | 2147483647 95780 44 | 67.501 % |
156.88/157.09 c | 97015 | 14379 65759 191886 | 2147483647 96187 44 | 67.501 % |
157.78/157.91 c | 97509 | 14379 65759 191886 | 2147483647 96681 44 | 67.501 % |
158.68/158.87 c | 98053 | 14379 65759 191886 | 2147483647 97225 44 | 67.501 % |
159.78/159.99 c | 98649 | 14379 65759 191886 | 2147483647 97821 44 | 67.501 % |
160.78/160.94 c | 99304 | 14379 65759 191886 | 2147483647 98476 44 | 67.501 % |
162.28/162.47 c | 100024 | 14379 65759 191886 | 2147483647 99196 44 | 67.501 % |
163.98/164.14 c | 100816 | 14379 65759 191886 | 2147483647 99988 44 | 67.501 % |
165.78/165.98 c | 101688 | 14379 65759 191886 | 2147483647 100860 44 | 67.501 % |
167.68/167.88 c | 102648 | 14379 65759 191886 | 2147483647 101820 44 | 67.501 % |
169.47/169.63 c | 103702 | 14379 65759 191886 | 2147483647 102874 44 | 67.501 % |
171.87/172.04 c | 104862 | 14379 65759 191886 | 2147483647 104034 44 | 67.501 % |
172.07/172.29 c | 104964 | 14379 65759 191886 | 2147483647 104136 44 | 67.501 % |
172.37/172.51 c | 105074 | 14379 65759 191886 | 2147483647 104246 44 | 67.501 % |
172.57/172.80 c | 105196 | 14379 65759 191886 | 2147483647 104368 44 | 67.501 % |
172.97/173.12 c | 105329 | 14379 65759 191886 | 2147483647 104501 44 | 67.501 % |
173.17/173.38 c | 105477 | 14379 65759 191886 | 2147483647 104649 44 | 67.501 % |
173.47/173.69 c | 105639 | 14379 65759 191886 | 2147483647 104811 44 | 67.501 % |
173.87/174.04 c | 105815 | 14379 65759 191886 | 2147483647 104987 44 | 67.501 % |
174.47/174.64 c | 106009 | 14379 65759 191886 | 2147483647 105181 44 | 67.501 % |
174.87/175.07 c | 106223 | 14379 65759 191886 | 2147483647 105395 44 | 67.501 % |
175.57/175.78 c | 106456 | 14379 65759 191886 | 2147483647 105628 44 | 67.501 % |
176.07/176.29 c | 106715 | 14379 65759 191886 | 2147483647 105887 44 | 67.501 % |
176.87/177.08 c | 106997 | 14379 65759 191886 | 2147483647 106169 44 | 67.501 % |
177.56/177.77 c | 107307 | 14379 65759 191886 | 2147483647 106479 44 | 67.501 % |
178.66/178.81 c | 107646 | 14379 65759 191886 | 2147483647 106818 44 | 67.501 % |
179.46/179.68 c | 108021 | 14379 65759 191886 | 2147483647 107193 44 | 67.501 % |
180.56/180.76 c | 108431 | 14379 65759 191886 | 2147483647 107603 44 | 67.501 % |
181.37/181.59 c | 108881 | 14379 65759 191886 | 2147483647 108053 44 | 67.501 % |
182.66/182.88 c | 109374 | 14379 65759 191886 | 2147483647 108546 44 | 67.501 % |
183.66/183.85 c | 109917 | 14379 65759 191886 | 2147483647 109089 44 | 67.501 % |
184.66/184.83 c | 110513 | 14379 65759 191886 | 2147483647 109685 44 | 67.501 % |
186.16/186.32 c | 111169 | 14379 65759 191886 | 2147483647 110341 44 | 67.501 % |
187.66/187.83 c | 111889 | 14379 65759 191886 | 2147483647 111061 44 | 67.501 % |
189.06/189.25 c | 112682 | 14379 65759 191886 | 2147483647 111854 44 | 67.501 % |
190.97/191.11 c | 113555 | 14379 65759 191886 | 2147483647 112727 44 | 67.501 % |
192.67/192.88 c | 114513 | 14379 65759 191886 | 2147483647 113685 43 | 67.501 % |
194.57/194.73 c | 115567 | 14364 65672 191642 | 2147483647 114738 44 | 67.535 % |
197.26/197.47 c | 116725 | 14364 65672 191642 | 2147483647 115896 44 | 67.535 % |
200.36/200.57 c | 117999 | 14364 65672 191642 | 2147483647 117170 43 | 67.535 % |
200.56/200.79 c | 118100 | 14364 65672 191642 | 2147483647 117271 43 | 67.535 % |
200.86/201.00 c | 118210 | 14364 65672 191642 | 2147483647 117381 43 | 67.535 % |
201.06/201.29 c | 118333 | 14364 65672 191642 | 2147483647 117504 43 | 67.535 % |
201.46/201.69 c | 118467 | 14364 65672 191642 | 2147483647 117637 43 | 67.546 % |
201.96/202.11 c | 118618 | 14364 65672 191642 | 2147483647 117788 43 | 67.546 % |
202.36/202.50 c | 118778 | 14364 65672 191642 | 2147483647 117948 43 | 67.546 % |
202.86/203.02 c | 118956 | 14364 65672 191642 | 2147483647 118126 43 | 67.546 % |
203.36/203.53 c | 119151 | 14359 65627 191523 | 2147483647 118321 43 | 67.546 % |
203.96/204.11 c | 119364 | 14359 65627 191523 | 2147483647 118534 43 | 67.546 % |
204.36/204.54 c | 119597 | 14359 65627 191523 | 2147483647 118767 43 | 67.546 % |
205.16/205.33 c | 119853 | 14359 65627 191523 | 2147483647 119023 43 | 67.546 % |
205.76/205.92 c | 120134 | 14359 65627 191523 | 2147483647 119304 43 | 67.546 % |
206.96/207.19 c | 120445 | 14359 65627 191523 | 2147483647 119615 43 | 67.546 % |
208.36/208.53 c | 120787 | 14359 65627 191523 | 2147483647 119957 43 | 67.546 % |
209.46/209.68 c | 121159 | 14359 65627 191523 | 2147483647 120329 43 | 67.546 % |
210.55/210.75 c | 121568 | 14359 65627 191523 | 2147483647 120738 43 | 67.546 % |
211.65/211.87 c | 122017 | 14359 65627 191523 | 2147483647 121187 43 | 67.546 % |
212.75/212.94 c | 122510 | 14359 65627 191523 | 2147483647 121680 43 | 67.546 % |
214.05/214.23 c | 123053 | 14359 65627 191523 | 2147483647 122223 43 | 67.546 % |
215.65/215.81 c | 123649 | 14359 65627 191523 | 2147483647 122819 43 | 67.546 % |
217.25/217.41 c | 124304 | 14359 65627 191523 | 2147483647 123474 43 | 67.546 % |
218.65/218.89 c | 125024 | 14359 65627 191523 | 2147483647 124194 43 | 67.546 % |
220.44/220.62 c | 125816 | 14359 65627 191523 | 2147483647 124986 43 | 67.546 % |
222.14/222.34 c | 126687 | 14359 65627 191523 | 2147483647 125857 43 | 67.546 % |
224.74/224.93 c | 127647 | 14359 65627 191523 | 2147483647 126817 44 | 67.546 % |
226.54/226.71 c | 128700 | 14359 65627 191523 | 2147483647 127870 44 | 67.546 % |
229.14/229.30 c | 129864 | 14359 65627 191523 | 2147483647 129034 44 | 67.546 % |
231.94/232.18 c | 131139 | 14349 65558 191330 | 2147483647 130305 44 | 67.569 % |
235.63/235.86 c | 132540 | 14349 65558 191330 | 2147483647 131706 43 | 67.568 % |
235.83/236.08 c | 132641 | 14349 65558 191330 | 2147483647 131807 43 | 67.568 % |
236.24/236.43 c | 132751 | 14349 65558 191330 | 2147483647 131917 43 | 67.568 % |
236.63/236.84 c | 132872 | 14349 65558 191330 | 2147483647 132038 43 | 67.568 % |
236.93/237.19 c | 133005 | 14349 65558 191330 | 2147483647 132171 43 | 67.569 % |
237.33/237.57 c | 133151 | 14349 65558 191330 | 2147483647 132317 43 | 67.568 % |
237.83/238.04 c | 133311 | 14349 65558 191330 | 2147483647 132477 43 | 67.568 % |
238.33/238.54 c | 133487 | 14349 65558 191330 | 2147483647 132653 43 | 67.568 % |
239.03/239.20 c | 133681 | 14349 65558 191330 | 2147483647 132847 43 | 67.568 % |
239.43/239.67 c | 133893 | 14349 65558 191330 | 2147483647 133059 43 | 67.568 % |
240.03/240.28 c | 134126 | 14349 65558 191330 | 2147483647 133292 43 | 67.568 % |
240.73/240.96 c | 134383 | 14349 65558 191330 | 2147483647 133549 43 | 67.568 % |
241.43/241.67 c | 134664 | 14349 65558 191330 | 2147483647 133830 43 | 67.568 % |
242.24/242.43 c | 134974 | 14349 65558 191330 | 2147483647 134140 43 | 67.568 % |
243.04/243.25 c | 135313 | 14349 65558 191330 | 2147483647 134479 43 | 67.569 % |
244.33/244.50 c | 135691 | 14349 65558 191330 | 2147483647 134857 43 | 67.568 % |
245.33/245.51 c | 136101 | 14349 65558 191330 | 2147483647 135267 43 | 67.569 % |
246.63/246.87 c | 136552 | 14349 65558 191330 | 2147483647 135718 43 | 67.569 % |
247.93/248.13 c | 137046 | 14349 65558 191330 | 2147483647 136212 43 | 67.569 % |
249.23/249.49 c | 137589 | 14349 65558 191330 | 2147483647 136755 43 | 67.568 % |
250.54/250.73 c | 138186 | 14349 65558 191330 | 2147483647 137352 43 | 67.568 % |
252.13/252.35 c | 138841 | 14349 65558 191330 | 2147483647 138007 43 | 67.568 % |
253.83/254.01 c | 139562 | 14349 65558 191330 | 2147483647 138728 43 | 67.568 % |
255.23/255.48 c | 140355 | 14349 65558 191330 | 2147483647 139521 43 | 67.568 % |
257.53/257.70 c | 141226 | 14349 65558 191330 | 2147483647 140392 43 | 67.568 % |
259.13/259.36 c | 142184 | 14349 65558 191330 | 2147483647 141350 43 | 67.569 % |
262.32/262.56 c | 143237 | 14349 65558 191330 | 2147483647 142403 43 | 67.568 % |
264.92/265.18 c | 144395 | 14349 65558 191330 | 2147483647 143561 43 | 67.568 % |
268.41/268.65 c | 145668 | 14349 65558 191330 | 2147483647 144834 43 | 67.568 % |
272.31/272.56 c | 147069 | 14349 65558 191330 | 2147483647 146235 43 | 67.568 % |
275.51/275.78 c | 148609 | 14349 65558 191330 | 2147483647 147775 43 | 67.568 % |
275.81/276.03 c | 148710 | 14349 65558 191330 | 2147483647 147876 43 | 67.568 % |
276.11/276.36 c | 148820 | 14349 65558 191330 | 2147483647 147986 43 | 67.568 % |
276.41/276.69 c | 148942 | 14349 65558 191330 | 2147483647 148108 43 | 67.568 % |
276.81/277.08 c | 149075 | 14349 65558 191330 | 2147483647 148241 43 | 67.568 % |
277.41/277.63 c | 149226 | 14349 65558 191330 | 2147483647 148392 43 | 67.568 % |
277.91/278.11 c | 149387 | 14349 65558 191330 | 2147483647 148553 43 | 67.568 % |
278.31/278.56 c | 149564 | 14349 65558 191330 | 2147483647 148730 43 | 67.568 % |
278.91/279.11 c | 149757 | 14349 65558 191330 | 2147483647 148923 43 | 67.569 % |
279.51/279.70 c | 149971 | 14349 65558 191330 | 2147483647 149137 43 | 67.568 % |
280.11/280.40 c | 150205 | 14349 65558 191330 | 2147483647 149371 43 | 67.568 % |
281.01/281.23 c | 150461 | 14349 65558 191330 | 2147483647 149627 43 | 67.568 % |
281.71/281.92 c | 150742 | 14349 65558 191330 | 2147483647 149908 43 | 67.568 % |
282.41/282.68 c | 151051 | 14349 65558 191330 | 2147483647 150217 43 | 67.568 % |
283.10/283.37 c | 151393 | 14349 65558 191330 | 2147483647 150559 43 | 67.568 % |
284.20/284.42 c | 151765 | 14349 65558 191330 | 2147483647 150931 43 | 67.568 % |
285.40/285.65 c | 152174 | 14336 65478 191123 | 2147483647 151338 43 | 67.598 % |
287.10/287.35 c | 152623 | 14336 65478 191123 | 2147483647 151787 43 | 67.598 % |
288.00/288.25 c | 153116 | 14336 65478 191123 | 2147483647 152280 43 | 67.598 % |
289.40/289.69 c | 153661 | 14336 65478 191123 | 2147483647 152825 43 | 67.598 % |
291.11/291.40 c | 154257 | 14336 65478 191123 | 2147483647 153421 43 | 67.598 % |
292.41/292.69 c | 154913 | 14336 65478 191123 | 2147483647 154077 43 | 67.598 % |
294.61/294.85 c | 155633 | 14336 65478 191123 | 2147483647 154797 43 | 67.598 % |
297.11/297.39 c | 156427 | 14336 65478 191123 | 2147483647 155591 43 | 67.598 % |
299.21/299.48 c | 157299 | 14336 65478 191123 | 2147483647 156463 43 | 67.598 % |
302.10/302.30 c | 158259 | 14336 65478 191123 | 2147483647 157423 43 | 67.598 % |
305.00/305.26 c | 159312 | 14320 65390 190885 | 2147483647 158473 43 | 67.634 % |
308.39/308.61 c | 160470 | 14320 65390 190885 | 2147483647 159631 43 | 67.634 % |
312.29/312.53 c | 161744 | 14320 65390 190885 | 2147483647 160905 43 | 67.634 % |
315.39/315.67 c | 163144 | 14320 65390 190885 | 2147483647 162305 43 | 67.634 % |
318.99/319.28 c | 164686 | 14320 65390 190885 | 2147483647 163847 43 | 67.634 % |
323.68/323.96 c | 166381 | 14320 65390 190885 | 2147483647 165542 43 | 67.634 % |
324.08/324.31 c | 166481 | 14320 65390 190885 | 2147483647 165642 43 | 67.634 % |
324.38/324.64 c | 166592 | 14320 65390 190885 | 2147483647 165753 43 | 67.634 % |
324.88/325.11 c | 166714 | 14320 65390 190885 | 2147483647 165875 43 | 67.634 % |
325.18/325.43 c | 166851 | 14320 65390 190885 | 2147483647 166012 43 | 67.634 % |
325.78/326.01 c | 166997 | 14320 65390 190885 | 2147483647 166158 43 | 67.634 % |
326.18/326.45 c | 167159 | 14320 65390 190885 | 2147483647 166320 43 | 67.634 % |
326.68/326.97 c | 167335 | 14320 65390 190885 | 2147483647 166496 43 | 67.634 % |
327.18/327.46 c | 167528 | 14320 65390 190885 | 2147483647 166689 43 | 67.634 % |
327.88/328.14 c | 167740 | 14320 65390 190885 | 2147483647 166901 43 | 67.634 % |
328.78/329.01 c | 167973 | 13988 63830 186212 | 2147483647 167114 43 | 68.384 % |
329.78/330.09 c | 168231 | 13988 63830 186212 | 2147483647 167372 43 | 68.384 % |
330.58/330.80 c | 168512 | 13988 63830 186212 | 2147483647 167653 43 | 68.384 % |
331.68/331.93 c | 168821 | 13988 63830 186212 | 2147483647 167962 43 | 68.384 % |
332.88/333.17 c | 169160 | 13988 63830 186212 | 2147483647 168301 43 | 68.384 % |
334.08/334.38 c | 169532 | 13988 63830 186212 | 2147483647 168673 43 | 68.384 % |
335.08/335.34 c | 169941 | 13988 63830 186212 | 2147483647 169082 43 | 68.384 % |
336.28/336.54 c | 170393 | 13988 63830 186212 | 2147483647 169534 43 | 68.385 % |
337.38/337.68 c | 170886 | 13988 63830 186212 | 2147483647 170027 43 | 68.385 % |
338.68/338.91 c | 171429 | 13988 63830 186212 | 2147483647 170570 43 | 68.384 % |
340.48/340.72 c | 172026 | 13988 63830 186212 | 2147483647 171167 43 | 68.384 % |
342.38/342.62 c | 172682 | 13988 63830 186212 | 2147483647 171823 43 | 68.384 % |
343.78/344.01 c | 173403 | 13988 63830 186212 | 2147483647 172544 43 | 68.384 % |
346.19/346.41 c | 174195 | 13988 63830 186212 | 2147483647 173336 43 | 68.384 % |
348.28/348.60 c | 175067 | 13988 63830 186212 | 2147483647 174208 43 | 68.384 % |
350.38/350.66 c | 176025 | 13988 63830 186212 | 2147483647 175166 43 | 68.384 % |
353.27/353.54 c | 177080 | 13988 63830 186212 | 2147483647 176221 43 | 68.384 % |
356.37/356.64 c | 178238 | 13988 63830 186212 | 2147483647 177379 43 | 68.384 % |
359.67/359.92 c | 179515 | 13988 63830 186212 | 2147483647 178656 43 | 68.384 % |
364.06/364.35 c | 180915 | 13988 63830 186212 | 179141 180056 43 | 68.384 % |
367.97/368.24 c | 182455 | 13988 63830 186212 | 179141 181596 43 | 68.384 % |
373.07/373.33 c | 184151 | 13988 63830 186212 | 179141 183292 43 | 68.384 % |
378.07/378.38 c | 186016 | 13988 63830 186212 | 179141 185157 43 | 68.384 % |
378.37/378.68 c | 186116 | 13988 63830 186212 | 179141 185257 43 | 68.384 % |
378.87/379.13 c | 186227 | 13988 63830 186212 | 179141 185368 43 | 68.384 % |
379.27/379.56 c | 186348 | 13988 63830 186212 | 179141 185489 43 | 68.384 % |
379.76/380.04 c | 186481 | 13988 63830 186212 | 179141 185622 43 | 68.384 % |
380.27/380.58 c | 186629 | 13988 63830 186212 | 179141 185770 43 | 68.384 % |
380.76/381.02 c | 186790 | 13988 63830 186212 | 179141 185931 43 | 68.384 % |
381.47/381.72 c | 186968 | 13988 63830 186212 | 179141 186109 43 | 68.384 % |
381.86/382.13 c | 187162 | 13988 63830 186212 | 179141 186303 43 | 68.384 % |
382.57/382.83 c | 187374 | 13988 63830 186212 | 179141 186515 43 | 68.384 % |
383.57/383.88 c | 187607 | 13988 63830 186212 | 179141 186748 43 | 68.384 % |
384.46/384.70 c | 187863 | 13988 63830 186212 | 179141 187004 43 | 68.384 % |
385.96/386.22 c | 188147 | 13988 63830 186212 | 179141 187288 43 | 68.384 % |
387.36/387.66 c | 188457 | 13988 63830 186212 | 179141 187598 43 | 68.384 % |
388.46/388.72 c | 188797 | 13988 63830 186212 | 179141 187938 43 | 68.384 % |
389.86/390.14 c | 189171 | 13988 63830 186212 | 179141 188312 43 | 68.384 % |
391.46/391.77 c | 189580 | 13988 63830 186212 | 179141 188721 43 | 68.384 % |
393.15/393.46 c | 190029 | 13988 63830 186212 | 189141 189170 43 | 68.384 % |
394.75/395.05 c | 190522 | 13988 63830 186212 | 189141 189663 43 | 68.384 % |
396.25/396.59 c | 191066 | 13988 63830 186212 | 189141 190207 43 | 68.384 % |
398.05/398.35 c | 191662 | 13988 63830 186212 | 189141 190803 43 | 68.384 % |
400.35/400.61 c | 192318 | 13988 63830 186212 | 189141 191459 43 | 68.384 % |
402.55/402.85 c | 193038 | 13988 63830 186212 | 189141 192179 43 | 68.384 % |
404.95/405.22 c | 193831 | 13988 63830 186212 | 189141 192972 43 | 68.384 % |
407.75/408.02 c | 194704 | 13988 63830 186212 | 189141 193845 43 | 68.384 % |
410.94/411.28 c | 195663 | 13988 63830 186212 | 189141 194804 43 | 68.384 % |
414.54/414.85 c | 196716 | 13988 63830 186212 | 189141 195857 43 | 68.384 % |
418.04/418.36 c | 197876 | 13988 63830 186212 | 189141 197017 43 | 68.384 % |
421.94/422.27 c | 199150 | 13988 63830 186212 | 189141 198291 43 | 68.384 % |
425.93/426.28 c | 200552 | 13988 63830 186212 | 199142 199693 43 | 68.384 % |
430.23/430.58 c | 202094 | 13988 63830 186212 | 199142 201235 43 | 68.384 % |
435.63/435.91 c | 203789 | 13988 63830 186212 | 199142 202930 43 | 68.384 % |
441.43/441.79 c | 205652 | 13988 63830 186212 | 199142 204793 43 | 68.384 % |
447.52/447.84 c | 207703 | 13988 63830 186212 | 199142 206844 43 | 68.384 % |
448.02/448.37 c | 207803 | 13988 63830 186212 | 199142 206944 43 | 68.384 % |
448.52/448.83 c | 207913 | 13988 63830 186212 | 199142 207054 43 | 68.384 % |
448.92/449.28 c | 208035 | 13988 63830 186212 | 199142 207176 43 | 68.384 % |
449.32/449.66 c | 208171 | 13988 63830 186212 | 199142 207312 43 | 68.384 % |
449.82/450.11 c | 208317 | 13988 63830 186212 | 199142 207458 43 | 68.385 % |
450.32/450.62 c | 208481 | 13988 63830 186212 | 199142 207622 43 | 68.385 % |
450.82/451.15 c | 208658 | 13988 63830 186212 | 199142 207799 43 | 68.384 % |
451.82/452.11 c | 208852 | 13988 63830 186212 | 199142 207993 43 | 68.384 % |
452.41/452.75 c | 209067 | 13988 63830 186212 | 199142 208208 43 | 68.384 % |
453.12/453.48 c | 209302 | 13988 63830 186212 | 199142 208443 43 | 68.384 % |
453.81/454.18 c | 209558 | 13988 63830 186212 | 199142 208699 43 | 68.384 % |
454.81/455.15 c | 209840 | 13988 63830 186212 | 199142 208981 43 | 68.384 % |
455.91/456.26 c | 210151 | 13988 63830 186212 | 209143 209292 43 | 68.384 % |
457.11/457.40 c | 210490 | 13988 63830 186212 | 209143 209631 43 | 68.384 % |
458.21/458.59 c | 210864 | 13988 63830 186212 | 209143 210005 43 | 68.384 % |
459.81/460.18 c | 211273 | 13987 63823 186193 | 209143 210412 43 | 68.387 % |
461.91/462.24 c | 211723 | 13987 63823 186193 | 209143 210862 43 | 68.387 % |
463.71/464.09 c | 212217 | 13987 63823 186193 | 209143 211356 43 | 68.387 % |
465.91/466.26 c | 212761 | 13987 63823 186193 | 209143 211900 43 | 68.387 % |
467.71/468.05 c | 213357 | 13987 63823 186193 | 209143 212496 43 | 68.387 % |
469.71/470.06 c | 214014 | 13987 63823 186193 | 209143 213153 43 | 68.387 % |
471.31/471.65 c | 214734 | 13987 63823 186193 | 209143 213873 43 | 68.387 % |
473.71/474.06 c | 215527 | 13987 63823 186193 | 209143 214666 43 | 68.387 % |
476.70/477.03 c | 216399 | 13987 63823 186193 | 209143 215538 43 | 68.387 % |
479.31/479.61 c | 217358 | 13987 63823 186193 | 209143 216497 43 | 68.387 % |
482.40/482.71 c | 218411 | 13987 63823 186193 | 209143 217550 43 | 68.387 % |
485.60/485.96 c | 219569 | 13987 63823 186193 | 209143 218708 43 | 68.387 % |
489.59/489.93 c | 220843 | 13987 63823 186193 | 219139 219982 43 | 68.387 % |
494.20/494.54 c | 222243 | 13987 63823 186193 | 219139 221382 43 | 68.387 % |
499.69/500.04 c | 223785 | 13987 63823 186193 | 219139 222924 43 | 68.387 % |
505.19/505.58 c | 225479 | 13985 63817 186177 | 219139 224615 43 | 68.418 % |
511.59/511.90 c | 227342 | 13985 63817 186177 | 219139 226478 43 | 68.418 % |
516.19/516.52 c | 229393 | 13985 63817 186177 | 219139 228529 43 | 68.418 % |
524.39/524.73 c | 231646 | 13985 63817 186177 | 229137 230782 42 | 68.418 % |
524.68/525.07 c | 231748 | 13985 63817 186177 | 229137 230884 42 | 68.418 % |
525.28/525.60 c | 231859 | 13985 63817 186177 | 229137 230995 42 | 68.418 % |
525.68/526.08 c | 231982 | 13985 63817 186177 | 229137 231118 42 | 68.418 % |
526.28/526.62 c | 232115 | 13985 63817 186177 | 229137 231251 42 | 68.418 % |
526.68/527.03 c | 232261 | 13985 63817 186177 | 229137 231397 42 | 68.418 % |
527.18/527.52 c | 232422 | 13985 63817 186177 | 229137 231558 42 | 68.418 % |
527.78/528.19 c | 232598 | 13984 63817 186177 | 229137 231733 42 | 68.448 % |
528.28/528.68 c | 232795 | 13984 63817 186177 | 229137 231930 42 | 68.448 % |
528.78/529.11 c | 233008 | 13984 63817 186177 | 229137 232143 42 | 68.448 % |
529.38/529.72 c | 233241 | 13984 63817 186177 | 229137 232376 42 | 68.448 % |
530.38/530.78 c | 233498 | 13984 63817 186177 | 229137 232633 42 | 68.448 % |
531.57/531.99 c | 233780 | 13984 63817 186177 | 229137 232915 42 | 68.448 % |
532.77/533.12 c | 234089 | 13960 63653 185738 | 229137 233209 42 | 68.448 % |
534.17/534.53 c | 234428 | 13960 63653 185738 | 229137 233548 42 | 68.448 % |
535.47/535.81 c | 234800 | 13960 63653 185738 | 229137 233920 42 | 68.448 % |
536.67/537.02 c | 235211 | 13960 63653 185738 | 229137 234331 42 | 68.448 % |
538.07/538.47 c | 235662 | 13960 63653 185738 | 229137 234782 42 | 68.448 % |
539.47/539.88 c | 236155 | 13960 63653 185738 | 229137 235275 42 | 68.448 % |
541.07/541.49 c | 236697 | 13960 63653 185738 | 229137 235817 42 | 68.448 % |
542.77/543.20 c | 237294 | 13960 63653 185738 | 229137 236414 42 | 68.448 % |
545.17/545.54 c | 237953 | 13960 63653 185738 | 229137 237073 42 | 68.448 % |
547.47/547.86 c | 238675 | 13960 63653 185738 | 229137 237795 42 | 68.448 % |
550.16/550.59 c | 239472 | 13960 63653 185738 | 229137 238592 42 | 68.448 % |
553.66/554.09 c | 240343 | 13960 63653 185738 | 239120 239463 42 | 68.448 % |
556.47/556.82 c | 241302 | 13960 63653 185738 | 239120 240422 42 | 68.448 % |
559.57/559.97 c | 242355 | 13960 63653 185738 | 239120 241475 42 | 68.448 % |
563.36/563.79 c | 243513 | 13960 63653 185738 | 239120 242633 42 | 68.448 % |
566.66/567.01 c | 244786 | 13960 63653 185738 | 239120 243906 42 | 68.448 % |
570.86/571.23 c | 246186 | 13960 63653 185738 | 239120 245306 42 | 68.448 % |
576.46/576.85 c | 247728 | 13960 63653 185738 | 239120 246848 42 | 68.448 % |
582.04/582.50 c | 249426 | 13960 63653 185738 | 239120 248546 42 | 68.448 % |
589.85/590.20 c | 251291 | 13960 63653 185738 | 249121 250411 42 | 68.448 % |
597.64/598.08 c | 253343 | 13960 63653 185738 | 249121 252463 42 | 68.448 % |
605.74/606.13 c | 255600 | 13960 63653 185738 | 249121 254720 42 | 68.448 % |
613.74/614.11 c | 258080 | 13960 63653 185738 | 249121 257200 42 | 68.448 % |
614.14/614.51 c | 258181 | 13960 63653 185738 | 249121 257301 42 | 68.448 % |
614.54/614.95 c | 258291 | 13960 63653 185738 | 249121 257411 42 | 68.448 % |
614.94/615.39 c | 258413 | 13960 63653 185738 | 249121 257533 42 | 68.448 % |
615.44/615.87 c | 258547 | 13960 63653 185738 | 249121 257667 42 | 68.448 % |
616.04/616.43 c | 258697 | 13960 63653 185738 | 249121 257817 42 | 68.448 % |
616.64/617.01 c | 258859 | 13960 63653 185738 | 249121 257979 42 | 68.448 % |
617.13/617.54 c | 259036 | 13960 63653 185738 | 249121 258156 42 | 68.448 % |
617.84/618.29 c | 259230 | 13960 63653 185738 | 249121 258350 42 | 68.448 % |
618.53/618.90 c | 259445 | 13960 63653 185738 | 249121 258565 42 | 68.448 % |
619.43/619.86 c | 259679 | 13960 63653 185738 | 249121 258799 42 | 68.448 % |
620.53/620.92 c | 259935 | 13960 63653 185738 | 249121 259055 42 | 68.448 % |
621.63/622.06 c | 260217 | 13960 63653 185738 | 259121 259337 42 | 68.448 % |
622.93/623.30 c | 260527 | 13960 63653 185738 | 259121 259647 42 | 68.448 % |
623.93/624.35 c | 260869 | 13960 63653 185738 | 259121 259989 42 | 68.448 % |
625.13/625.59 c | 261241 | 13960 63653 185738 | 259121 260361 42 | 68.448 % |
626.63/627.00 c | 261651 | 13960 63653 185738 | 259121 260771 42 | 68.448 % |
628.32/628.73 c | 262102 | 13960 63653 185738 | 259121 261222 42 | 68.448 % |
630.32/630.70 c | 262601 | 13960 63653 185738 | 259121 261721 42 | 68.448 % |
632.92/633.36 c | 263143 | 13960 63653 185738 | 259121 262263 42 | 68.448 % |
636.02/636.45 c | 263739 | 13960 63653 185738 | 259121 262859 42 | 68.448 % |
638.22/638.68 c | 264394 | 13960 63653 185738 | 259121 263514 42 | 68.448 % |
640.72/641.15 c | 265114 | 13960 63653 185738 | 259121 264234 42 | 68.448 % |
643.02/643.48 c | 265907 | 13960 63653 185738 | 259121 265027 42 | 68.448 % |
646.11/646.56 c | 266780 | 13960 63653 185738 | 259121 265900 42 | 68.448 % |
649.41/649.80 c | 267742 | 13960 63653 185738 | 259121 266862 42 | 68.448 % |
652.31/652.77 c | 268795 | 13960 63653 185738 | 259121 267915 42 | 68.448 % |
657.11/657.50 c | 269953 | 13960 63653 185738 | 259121 269073 42 | 68.448 % |
662.31/662.70 c | 271226 | 13960 63653 185738 | 269122 270346 42 | 68.448 % |
668.69/669.17 c | 272631 | 13960 63653 185738 | 269122 271751 42 | 68.448 % |
674.98/675.41 c | 274173 | 13960 63653 185738 | 269122 273293 42 | 68.448 % |
681.59/682.03 c | 275867 | 13960 63653 185738 | 269122 274987 42 | 68.448 % |
688.48/688.93 c | 277731 | 13960 63653 185738 | 269122 276851 42 | 68.448 % |
696.08/696.56 c | 279781 | 13960 63653 185738 | 269122 278901 42 | 68.448 % |
705.07/705.54 c | 282034 | 13960 63653 185738 | 279122 281154 42 | 68.448 % |
714.96/715.49 c | 284512 | 13960 63653 185738 | 279122 283632 42 | 68.448 % |
726.86/727.32 c | 287239 | 13960 63653 185738 | 279122 286359 42 | 68.448 % |
727.16/727.68 c | 287341 | 13960 63653 185738 | 279122 286461 42 | 68.448 % |
727.66/728.15 c | 287454 | 13960 63653 185738 | 279122 286574 42 | 68.448 % |
728.16/728.69 c | 287577 | 13960 63653 185738 | 279122 286697 42 | 68.448 % |
728.76/729.22 c | 287713 | 13960 63653 185738 | 279122 286833 42 | 68.448 % |
729.46/729.90 c | 287862 | 13960 63653 185738 | 279122 286982 42 | 68.448 % |
730.16/730.66 c | 288023 | 13960 63653 185738 | 279122 287143 42 | 68.448 % |
730.96/731.42 c | 288199 | 13960 63653 185738 | 279122 287319 42 | 68.448 % |
731.66/732.10 c | 288392 | 13960 63653 185738 | 279122 287512 42 | 68.448 % |
732.56/733.06 c | 288606 | 13960 63653 185738 | 279122 287726 42 | 68.448 % |
733.35/733.80 c | 288839 | 13960 63653 185738 | 279122 287959 42 | 68.448 % |
734.45/734.96 c | 289096 | 13960 63653 185738 | 279122 288216 42 | 68.448 % |
735.55/736.04 c | 289377 | 13960 63653 185738 | 279122 288497 42 | 68.448 % |
736.45/736.99 c | 289687 | 13960 63653 185738 | 279122 288807 42 | 68.448 % |
738.25/738.75 c | 290030 | 13960 63653 185738 | 289122 289150 42 | 68.448 % |
739.75/740.23 c | 290402 | 13960 63653 185738 | 289122 289522 42 | 68.448 % |
741.05/741.58 c | 290812 | 13960 63653 185738 | 289122 289932 42 | 68.448 % |
742.85/743.37 c | 291261 | 13960 63653 185738 | 289122 290381 42 | 68.448 % |
744.95/745.50 c | 291755 | 13960 63653 185738 | 289122 290875 42 | 68.448 % |
747.24/747.75 c | 292298 | 13960 63653 185738 | 289122 291418 42 | 68.448 % |
749.45/749.97 c | 292894 | 13960 63653 185738 | 289122 292014 42 | 68.448 % |
752.15/752.64 c | 293552 | 13960 63653 185738 | 289122 292672 42 | 68.448 % |
755.95/756.48 c | 294272 | 13960 63653 185738 | 289122 293392 42 | 68.448 % |
759.84/760.36 c | 295064 | 13960 63653 185738 | 289122 294184 42 | 68.448 % |
764.04/764.52 c | 295937 | 13960 63653 185738 | 289122 295057 42 | 68.448 % |
767.84/768.33 c | 296897 | 13960 63653 185738 | 289122 296017 42 | 68.448 % |
772.43/772.99 c | 297952 | 13960 63653 185738 | 289122 297072 42 | 68.448 % |
777.83/778.37 c | 299112 | 13960 63653 185738 | 289122 298232 42 | 68.448 % |
783.23/783.75 c | 300386 | 13960 63653 185738 | 299120 299506 42 | 68.448 % |
791.72/792.24 c | 301786 | 13960 63653 185738 | 299120 300906 42 | 68.448 % |
799.02/799.50 c | 303326 | 13960 63653 185738 | 299120 302446 42 | 68.448 % |
805.21/805.70 c | 305020 | 13960 63653 185738 | 299120 304140 42 | 68.448 % |
812.31/812.84 c | 306883 | 13960 63653 185738 | 299120 306003 42 | 68.448 % |
820.20/820.77 c | 308932 | 13960 63653 185738 | 299120 308052 42 | 68.448 % |
829.31/829.88 c | 311185 | 13960 63653 185738 | 309120 310305 42 | 68.448 % |
839.70/840.25 c | 313665 | 13947 63580 185547 | 309120 312776 42 | 68.479 % |
851.59/852.16 c | 316393 | 13946 63580 185547 | 309120 315503 42 | 68.538 % |
863.38/863.94 c | 319393 | 13946 63580 185547 | 309120 318503 42 | 68.538 % |
863.88/864.45 c | 319493 | 13946 63580 185547 | 309120 318603 42 | 68.538 % |
864.68/865.22 c | 319604 | 13946 63580 185547 | 309120 318714 42 | 68.538 % |
865.28/865.88 c | 319725 | 13946 63580 185547 | 309120 318835 42 | 68.538 % |
865.98/866.54 c | 319858 | 13946 63580 185547 | 309120 318968 42 | 68.538 % |
866.88/867.40 c | 320004 | 13946 63580 185547 | 319113 319114 42 | 68.538 % |
867.58/868.13 c | 320166 | 13946 63580 185547 | 319113 319276 42 | 68.538 % |
868.28/868.83 c | 320342 | 13946 63580 185547 | 319113 319452 42 | 68.538 % |
869.08/869.69 c | 320535 | 13946 63580 185547 | 319113 319645 42 | 68.538 % |
870.28/870.89 c | 320747 | 13946 63580 185547 | 319113 319857 42 | 68.538 % |
871.38/871.98 c | 320981 | 13946 63580 185547 | 319113 320091 42 | 68.538 % |
872.38/872.94 c | 321241 | 13946 63580 185547 | 319113 320351 42 | 68.538 % |
873.18/873.79 c | 321524 | 13946 63580 185547 | 319113 320634 42 | 68.538 % |
874.68/875.22 c | 321833 | 13946 63580 185547 | 319113 320943 42 | 68.538 % |
876.18/876.76 c | 322172 | 13946 63580 185547 | 319113 321282 42 | 68.538 % |
878.17/878.71 c | 322545 | 13946 63580 185547 | 319113 321655 42 | 68.538 % |
880.07/880.60 c | 322954 | 13946 63580 185547 | 319113 322064 42 | 68.538 % |
881.77/882.37 c | 323403 | 13946 63580 185547 | 319113 322513 42 | 68.538 % |
884.47/885.00 c | 323900 | 13946 63580 185547 | 319113 323010 42 | 68.538 % |
886.97/887.54 c | 324442 | 13946 63580 185547 | 319113 323552 42 | 68.538 % |
889.87/890.46 c | 325039 | 13946 63580 185547 | 319113 324149 42 | 68.538 % |
893.27/893.88 c | 325695 | 13920 63427 185134 | 319113 324795 42 | 68.538 % |
896.57/897.11 c | 326418 | 13920 63427 185134 | 319113 325518 42 | 68.538 % |
900.37/900.98 c | 327215 | 13920 63427 185134 | 319113 326315 42 | 68.538 % |
904.17/904.79 c | 328088 | 13920 63427 185134 | 319113 327188 42 | 68.538 % |
907.76/908.39 c | 329046 | 13920 63427 185134 | 319113 328146 42 | 68.538 % |
912.47/913.06 c | 330099 | 13920 63427 185134 | 329101 329199 42 | 68.538 % |
918.76/919.31 c | 331258 | 13920 63427 185134 | 329101 330358 42 | 68.538 % |
925.26/925.89 c | 332533 | 13920 63427 185134 | 329101 331633 42 | 68.538 % |
931.45/932.05 c | 333934 | 13920 63427 185134 | 329101 333034 42 | 68.538 % |
937.94/938.52 c | 335474 | 13920 63427 185134 | 329101 334574 42 | 68.538 % |
946.94/947.50 c | 337168 | 13920 63427 185134 | 329101 336268 42 | 68.538 % |
954.84/955.43 c | 339033 | 13920 63427 185134 | 329101 338133 42 | 68.538 % |
963.04/963.65 c | 341083 | 13920 63427 185134 | 339100 340183 42 | 68.538 % |
973.73/974.33 c | 343336 | 13919 63423 185124 | 339100 342435 42 | 68.540 % |
984.72/985.34 c | 345816 | 13919 63423 185124 | 339100 344915 42 | 68.540 % |
996.71/997.33 c | 348542 | 13919 63423 185124 | 339100 347641 42 | 68.540 % |
1010.81/1011.47 c | 351540 | 13919 63423 185124 | 349099 350639 43 | 68.540 % |
1024.01/1024.66 c | 354840 | 13919 63423 185124 | 349099 353939 43 | 68.540 % |
1024.61/1025.27 c | 354944 | 13919 63423 185124 | 349099 354043 43 | 68.540 % |
1025.41/1026.00 c | 355055 | 13919 63423 185124 | 349099 354154 43 | 68.540 % |
1026.01/1026.61 c | 355176 | 13919 63423 185124 | 349099 354275 43 | 68.540 % |
1026.71/1027.38 c | 355310 | 13919 63423 185124 | 349099 354409 43 | 68.540 % |
1027.70/1028.34 c | 355458 | 13919 63423 185124 | 349099 354557 43 | 68.540 % |
1028.70/1029.37 c | 355619 | 13919 63423 185124 | 349099 354718 43 | 68.540 % |
1029.70/1030.31 c | 355795 | 13919 63423 185124 | 349099 354894 43 | 68.540 % |
1030.80/1031.42 c | 355988 | 13919 63423 185124 | 349099 355087 43 | 68.540 % |
1032.10/1032.73 c | 356200 | 13919 63423 185124 | 349099 355299 43 | 68.540 % |
1033.50/1034.19 c | 356435 | 13919 63423 185124 | 349099 355534 43 | 68.540 % |
1035.10/1035.79 c | 356692 | 13919 63423 185124 | 349099 355791 43 | 68.540 % |
1036.50/1037.14 c | 356973 | 13919 63423 185124 | 349099 356072 43 | 68.540 % |
1038.50/1039.11 c | 357283 | 13919 63423 185124 | 349099 356382 43 | 68.540 % |
1040.90/1041.51 c | 357623 | 13919 63423 185124 | 349099 356722 43 | 68.540 % |
1042.60/1043.25 c | 357997 | 13919 63423 185124 | 349099 357096 43 | 68.540 % |
1044.59/1045.26 c | 358406 | 13919 63423 185124 | 349099 357505 43 | 68.540 % |
1046.29/1046.98 c | 358855 | 13919 63423 185124 | 349099 357954 42 | 68.540 % |
1048.09/1048.72 c | 359351 | 13919 63423 185124 | 349099 358450 42 | 68.540 % |
1050.39/1051.01 c | 359893 | 13919 63423 185124 | 349099 358992 42 | 68.540 % |
1053.99/1054.64 c | 360490 | 13919 63423 185124 | 359099 359589 42 | 68.540 % |
1057.69/1058.31 c | 361146 | 13919 63423 185124 | 359099 360245 42 | 68.540 % |
1062.08/1062.78 c | 361866 | 13919 63423 185124 | 359099 360965 42 | 68.540 % |
1066.98/1067.69 c | 362659 | 13919 63423 185124 | 359099 361758 42 | 68.540 % |
1071.47/1072.12 c | 363531 | 13919 63423 185124 | 359099 362630 42 | 68.540 % |
1076.37/1077.04 c | 364490 | 13919 63423 185124 | 359099 363589 42 | 68.540 % |
1081.37/1082.08 c | 365545 | 13919 63423 185124 | 359099 364644 42 | 68.540 % |
1088.27/1088.96 c | 366704 | 13919 63423 185124 | 359099 365803 42 | 68.540 % |
1095.16/1095.86 c | 367977 | 13919 63423 185124 | 359099 367076 42 | 68.540 % |
1102.16/1102.89 c | 369378 | 13919 63423 185124 | 359099 368477 42 | 68.540 % |
1111.26/1111.91 c | 370918 | 13919 63423 185124 | 369101 370017 42 | 68.540 % |
1118.46/1119.17 c | 372612 | 13919 63423 185124 | 369101 371711 42 | 68.540 % |
1127.25/1127.92 c | 374478 | 13919 63423 185124 | 369101 373577 42 | 68.540 % |
1138.95/1139.64 c | 376528 | 13919 63423 185124 | 369101 375627 42 | 68.540 % |
1148.24/1148.98 c | 378781 | 13919 63423 185124 | 369101 377880 42 | 68.540 % |
1161.83/1162.59 c | 381259 | 13919 63423 185124 | 379101 380358 42 | 68.540 % |
1175.32/1176.09 c | 383984 | 13919 63423 185124 | 379101 383083 42 | 68.540 % |
1189.21/1189.91 c | 386984 | 13919 63423 185124 | 379101 386083 42 | 68.540 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1832037-1242768172/watcher-1832037-1242768172 -o /tmp/evaluation-result-1832037-1242768172/solver-1832037-1242768172 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832037-1242768172.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.96 1.03 0.99 3/65 3111
/proc/meminfo: memFree=1732344/2055920 swapFree=4177788/4192956
[pid=3111] ppid=3109 vsize=5356 CPUtime=0
/proc/3111/stat : 3111 (SatELiteGTI) R 3109 3111 25044 0 -1 4194304 276 0 0 0 0 0 0 0 21 0 1 0 304846785 5484544 235 1992294400 4194304 4889804 548682068832 18446744073709551615 249070059602 0 0 4100 65536 0 0 0 17 1 0 0
/proc/3111/statm: 1339 235 195 169 0 50 0
[pid=3112] ppid=3111 vsize=5356 CPUtime=0
/proc/3112/stat : 3112 (SatELiteGTI) R 3111 3111 25044 0 -1 4194368 51 25 0 0 0 0 0 0 23 0 1 0 304846785 5484544 238 1992294400 4194304 4889804 548682068832 18446744073709551615 249069888324 0 65536 4096 65538 0 0 0 17 1 0 0
/proc/3112/statm: 1339 238 198 169 0 50 0
[pid=3114] ppid=3112 vsize=0 CPUtime=0
/proc/3114/stat : 3114 (sed) Z 3112 3111 25044 0 -1 4194316 163 0 0 0 0 0 0 0 18 0 1 0 304846785 0 0 1992294400 0 0 0 0 0 0 0 4096 0 18446744071563351923 0 0 17 0 0 0
/proc/3114/statm: 0 0 0 0 0 0 0
[startup+0.0102631 s]
/proc/loadavg: 0.96 1.03 0.99 3/65 3111
/proc/meminfo: memFree=1732344/2055920 swapFree=4177788/4192956
[pid=3111] ppid=3109 vsize=5356 CPUtime=0
/proc/3111/stat : 3111 (SatELiteGTI) S 3109 3111 25044 0 -1 4194304 310 249 0 0 0 0 0 0 21 0 1 0 304846785 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3111/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.101275 s]
/proc/loadavg: 0.96 1.03 0.99 3/65 3111
/proc/meminfo: memFree=1732344/2055920 swapFree=4177788/4192956
[pid=3111] ppid=3109 vsize=5356 CPUtime=0
/proc/3111/stat : 3111 (SatELiteGTI) S 3109 3111 25044 0 -1 4194304 310 249 0 0 0 0 0 0 21 0 1 0 304846785 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3111/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301311 s]
/proc/loadavg: 0.96 1.03 0.99 3/65 3111
/proc/meminfo: memFree=1732344/2055920 swapFree=4177788/4192956
[pid=3111] ppid=3109 vsize=5356 CPUtime=0
/proc/3111/stat : 3111 (SatELiteGTI) S 3109 3111 25044 0 -1 4194304 310 249 0 0 0 0 0 0 21 0 1 0 304846785 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3111/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.701381 s]
/proc/loadavg: 0.96 1.03 0.99 3/65 3111
/proc/meminfo: memFree=1732344/2055920 swapFree=4177788/4192956
[pid=3111] ppid=3109 vsize=5356 CPUtime=0
/proc/3111/stat : 3111 (SatELiteGTI) S 3109 3111 25044 0 -1 4194304 310 249 0 0 0 0 0 0 21 0 1 0 304846785 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3111/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+1.50252 s]
/proc/loadavg: 0.96 1.03 0.99 2/67 3116
/proc/meminfo: memFree=1667360/2055920 swapFree=4177788/4192956
[pid=3111] ppid=3109 vsize=5356 CPUtime=0
/proc/3111/stat : 3111 (SatELiteGTI) S 3109 3111 25044 0 -1 4194304 310 249 0 0 0 0 0 0 21 0 1 0 304846785 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3111/statm: 1339 237 197 169 0 50 0
[pid=3116] ppid=3111 vsize=82940 CPUtime=1.47
/proc/3116/stat : 3116 (SatELite_releas) R 3111 3111 25044 0 -1 4194304 18082 0 0 0 137 10 0 0 25 0 1 0 304846786 84930560 16614 1992294400 134512640 135223648 4294956128 18446744073709551615 134586669 0 0 4096 3 0 0 0 17 0 0 0
/proc/3116/statm: 20735 16614 76 173 0 20560 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 88296
[startup+3.10181 s]
/proc/loadavg: 0.96 1.03 0.99 2/67 3116
/proc/meminfo: memFree=1663392/2055920 swapFree=4177788/4192956
[pid=3111] ppid=3109 vsize=5356 CPUtime=0
/proc/3111/stat : 3111 (SatELiteGTI) S 3109 3111 25044 0 -1 4194304 310 249 0 0 0 0 0 0 21 0 1 0 304846785 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3111/statm: 1339 237 197 169 0 50 0
[pid=3116] ppid=3111 vsize=84880 CPUtime=3.07
/proc/3116/stat : 3116 (SatELite_releas) R 3111 3111 25044 0 -1 4194304 20226 0 0 0 296 11 0 0 25 0 1 0 304846786 86917120 17107 1992294400 134512640 135223648 4294956128 18446744073709551615 134737406 0 0 4096 3 0 0 0 17 0 0 0
/proc/3116/statm: 21220 17107 76 173 0 21045 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 90236
[startup+6.30238 s]
/proc/loadavg: 1.04 1.05 0.99 2/67 3117
/proc/meminfo: memFree=1708384/2055920 swapFree=4177788/4192956
[pid=3111] ppid=3109 vsize=5356 CPUtime=4.64
/proc/3111/stat : 3111 (SatELiteGTI) S 3109 3111 25044 0 -1 4194304 336 26850 0 0 0 0 445 19 16 0 1 0 304846785 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3111/statm: 1339 239 197 169 0 50 0
[pid=3117] ppid=3111 vsize=15896 CPUtime=1.62
/proc/3117/stat : 3117 (minisat_static) R 3111 3111 25044 0 -1 4194304 3696 0 0 0 160 2 0 0 25 0 1 0 304847252 16277504 3682 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 0 0 0
/proc/3117/statm: 3974 3682 77 171 0 3801 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 21252
[startup+12.7015 s]
/proc/loadavg: 1.12 1.06 1.00 2/67 3117
/proc/meminfo: memFree=1708520/2055920 swapFree=4177788/4192956
[pid=3111] ppid=3109 vsize=5356 CPUtime=4.64
/proc/3111/stat : 3111 (SatELiteGTI) S 3109 3111 25044 0 -1 4194304 336 26850 0 0 0 0 445 19 16 0 1 0 304846785 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3111/statm: 1339 239 197 169 0 50 0
[pid=3117] ppid=3111 vsize=16032 CPUtime=8.02
/proc/3117/stat : 3117 (minisat_static) R 3111 3111 25044 0 -1 4194304 3703 0 0 0 800 2 0 0 25 0 1 0 304847252 16416768 3689 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/3117/statm: 4008 3689 77 171 0 3835 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 21388
[startup+25.5018 s]
/proc/loadavg: 1.09 1.06 1.00 2/67 3117
/proc/meminfo: memFree=1707688/2055920 swapFree=4177788/4192956
[pid=3111] ppid=3109 vsize=5356 CPUtime=4.64
/proc/3111/stat : 3111 (SatELiteGTI) S 3109 3111 25044 0 -1 4194304 336 26850 0 0 0 0 445 19 16 0 1 0 304846785 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3111/statm: 1339 239 197 169 0 50 0
[pid=3117] ppid=3111 vsize=17256 CPUtime=20.82
/proc/3117/stat : 3117 (minisat_static) R 3111 3111 25044 0 -1 4194304 4030 0 0 0 2079 3 0 0 25 0 1 0 304847252 17670144 4016 1992294400 134512640 135215339 4294956240 18446744073709551615 134528742 0 0 4096 3 0 0 0 17 0 0 0
/proc/3117/statm: 4314 4016 77 171 0 4141 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 22612
[startup+51.1013 s]
/proc/loadavg: 1.06 1.05 1.00 2/67 3117
/proc/meminfo: memFree=1703720/2055920 swapFree=4177788/4192956
[pid=3111] ppid=3109 vsize=5356 CPUtime=4.64
/proc/3111/stat : 3111 (SatELiteGTI) S 3109 3111 25044 0 -1 4194304 336 26850 0 0 0 0 445 19 16 0 1 0 304846785 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3111/statm: 1339 239 197 169 0 50 0
[pid=3117] ppid=3111 vsize=21336 CPUtime=46.4
/proc/3117/stat : 3117 (minisat_static) R 3111 3111 25044 0 -1 4194304 5019 0 0 0 4636 4 0 0 25 0 1 0 304847252 21848064 5005 1992294400 134512640 135215339 4294956240 18446744073709551615 134528721 0 0 4096 3 0 0 0 17 0 0 0
/proc/3117/statm: 5334 5005 77 171 0 5161 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 26692
[startup+102.305 s]
/proc/loadavg: 1.02 1.04 1.00 2/67 3117
/proc/meminfo: memFree=1696744/2055920 swapFree=4177788/4192956
[pid=3111] ppid=3109 vsize=5356 CPUtime=4.64
/proc/3111/stat : 3111 (SatELiteGTI) S 3109 3111 25044 0 -1 4194304 336 26850 0 0 0 0 445 19 16 0 1 0 304846785 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3111/statm: 1339 239 197 169 0 50 0
[pid=3117] ppid=3111 vsize=28208 CPUtime=97.58
/proc/3117/stat : 3117 (minisat_static) R 3111 3111 25044 0 -1 4194304 6720 0 0 0 9752 6 0 0 25 0 1 0 304847252 28884992 6706 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 0 0 0
/proc/3117/statm: 7052 6706 77 171 0 6879 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 33564
[startup+162.301 s]
/proc/loadavg: 1.01 1.03 1.00 2/67 3117
/proc/meminfo: memFree=1690216/2055920 swapFree=4177788/4192956
[pid=3111] ppid=3109 vsize=5356 CPUtime=4.64
/proc/3111/stat : 3111 (SatELiteGTI) S 3109 3111 25044 0 -1 4194304 336 26850 0 0 0 0 445 19 16 0 1 0 304846785 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3111/statm: 1339 239 197 169 0 50 0
[pid=3117] ppid=3111 vsize=34780 CPUtime=157.54
/proc/3117/stat : 3117 (minisat_static) R 3111 3111 25044 0 -1 4194304 8326 0 0 0 15746 8 0 0 25 0 1 0 304847252 35614720 8312 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 0 0 0
/proc/3117/statm: 8695 8312 77 171 0 8522 0
Current children cumulated CPU time (s) 162.18
Current children cumulated vsize (KiB) 40136
[startup+222.302 s]
/proc/loadavg: 1.00 1.02 1.00 2/67 3117
/proc/meminfo: memFree=1684584/2055920 swapFree=4177788/4192956
[pid=3111] ppid=3109 vsize=5356 CPUtime=4.64
/proc/3111/stat : 3111 (SatELiteGTI) S 3109 3111 25044 0 -1 4194304 336 26850 0 0 0 0 445 19 16 0 1 0 304846785 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3111/statm: 1339 239 197 169 0 50 0
[pid=3117] ppid=3111 vsize=40380 CPUtime=217.5
/proc/3117/stat : 3117 (minisat_static) R 3111 3111 25044 0 -1 4194304 9729 0 0 0 21741 9 0 0 25 0 1 0 304847252 41349120 9715 1992294400 134512640 135215339 4294956240 18446744073709551615 134528717 0 0 4096 3 0 0 0 17 0 0 0
/proc/3117/statm: 10095 9715 77 171 0 9922 0
Current children cumulated CPU time (s) 222.14
Current children cumulated vsize (KiB) 45736
[startup+282.301 s]
/proc/loadavg: 1.00 1.02 1.00 2/67 3117
/proc/meminfo: memFree=1679272/2055920 swapFree=4177788/4192956
[pid=3111] ppid=3109 vsize=5356 CPUtime=4.64
/proc/3111/stat : 3111 (SatELiteGTI) S 3109 3111 25044 0 -1 4194304 336 26850 0 0 0 0 445 19 16 0 1 0 304846785 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3111/statm: 1339 239 197 169 0 50 0
[pid=3117] ppid=3111 vsize=45840 CPUtime=277.47
/proc/3117/stat : 3117 (minisat_static) R 3111 3111 25044 0 -1 4194304 11039 0 0 0 27737 10 0 0 25 0 1 0 304847252 46940160 11025 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/3117/statm: 11460 11025 77 171 0 11287 0
Current children cumulated CPU time (s) 282.11
Current children cumulated vsize (KiB) 51196
[startup+342.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/67 3117
/proc/meminfo: memFree=1674728/2055920 swapFree=4177788/4192956
[pid=3111] ppid=3109 vsize=5356 CPUtime=4.64
/proc/3111/stat : 3111 (SatELiteGTI) S 3109 3111 25044 0 -1 4194304 336 26850 0 0 0 0 445 19 16 0 1 0 304846785 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3111/statm: 1339 239 197 169 0 50 0
[pid=3117] ppid=3111 vsize=50396 CPUtime=337.44
/proc/3117/stat : 3117 (minisat_static) R 3111 3111 25044 0 -1 4194304 12136 0 0 0 33732 12 0 0 25 0 1 0 304847252 51605504 12122 1992294400 134512640 135215339 4294956240 18446744073709551615 134528624 0 0 4096 3 0 0 0 17 0 0 0
/proc/3117/statm: 12599 12122 77 171 0 12426 0
Current children cumulated CPU time (s) 342.08
Current children cumulated vsize (KiB) 55752
[startup+402.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/67 3117
/proc/meminfo: memFree=1670056/2055920 swapFree=4177788/4192956
[pid=3111] ppid=3109 vsize=5356 CPUtime=4.64
/proc/3111/stat : 3111 (SatELiteGTI) S 3109 3111 25044 0 -1 4194304 336 26850 0 0 0 0 445 19 16 0 1 0 304846785 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3111/statm: 1339 239 197 169 0 50 0
[pid=3117] ppid=3111 vsize=54916 CPUtime=397.41
################
# More data... #
################
/proc/3117/statm: 16625 16092 77 171 0 16452 0
Current children cumulated CPU time (s) 581.94
Current children cumulated vsize (KiB) 71856
[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 3117
/proc/meminfo: memFree=1655208/2055920 swapFree=4177788/4192956
[pid=3111] ppid=3109 vsize=5356 CPUtime=4.64
/proc/3111/stat : 3111 (SatELiteGTI) S 3109 3111 25044 0 -1 4194304 336 26850 0 0 0 0 445 19 16 0 1 0 304846785 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3111/statm: 1339 239 197 169 0 50 0
[pid=3117] ppid=3111 vsize=69772 CPUtime=637.28
/proc/3117/stat : 3117 (minisat_static) R 3111 3111 25044 0 -1 4194304 16905 0 0 0 63711 17 0 0 25 0 1 0 304847252 71446528 16891 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/3117/statm: 17443 16891 77 171 0 17270 0
Current children cumulated CPU time (s) 641.92
Current children cumulated vsize (KiB) 75128
[startup+702.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 3117
/proc/meminfo: memFree=1652136/2055920 swapFree=4177788/4192956
[pid=3111] ppid=3109 vsize=5356 CPUtime=4.64
/proc/3111/stat : 3111 (SatELiteGTI) S 3109 3111 25044 0 -1 4194304 336 26850 0 0 0 0 445 19 16 0 1 0 304846785 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3111/statm: 1339 239 197 169 0 50 0
[pid=3117] ppid=3111 vsize=72740 CPUtime=697.24
/proc/3117/stat : 3117 (minisat_static) R 3111 3111 25044 0 -1 4194304 17645 0 0 0 69706 18 0 0 25 0 1 0 304847252 74485760 17631 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/3117/statm: 18185 17631 77 171 0 18012 0
Current children cumulated CPU time (s) 701.88
Current children cumulated vsize (KiB) 78096
[startup+762.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 3117
/proc/meminfo: memFree=1648808/2055920 swapFree=4177788/4192956
[pid=3111] ppid=3109 vsize=5356 CPUtime=4.64
/proc/3111/stat : 3111 (SatELiteGTI) S 3109 3111 25044 0 -1 4194304 336 26850 0 0 0 0 445 19 16 0 1 0 304846785 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3111/statm: 1339 239 197 169 0 50 0
[pid=3117] ppid=3111 vsize=76016 CPUtime=757.2
/proc/3117/stat : 3117 (minisat_static) R 3111 3111 25044 0 -1 4194304 18463 0 0 0 75701 19 0 0 25 0 1 0 304847252 77840384 18449 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 0 0 0
/proc/3117/statm: 19004 18449 77 171 0 18831 0
Current children cumulated CPU time (s) 761.84
Current children cumulated vsize (KiB) 81372
[startup+822.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 3117
/proc/meminfo: memFree=1645800/2055920 swapFree=4177788/4192956
[pid=3111] ppid=3109 vsize=5356 CPUtime=4.64
/proc/3111/stat : 3111 (SatELiteGTI) S 3109 3111 25044 0 -1 4194304 336 26850 0 0 0 0 445 19 16 0 1 0 304846785 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3111/statm: 1339 239 197 169 0 50 0
[pid=3117] ppid=3111 vsize=78984 CPUtime=817.17
/proc/3117/stat : 3117 (minisat_static) R 3111 3111 25044 0 -1 4194304 19206 0 0 0 81697 20 0 0 25 0 1 0 304847252 80879616 19192 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 0 0 0
/proc/3117/statm: 19746 19192 77 171 0 19573 0
Current children cumulated CPU time (s) 821.81
Current children cumulated vsize (KiB) 84340
[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 3117
/proc/meminfo: memFree=1642472/2055920 swapFree=4177788/4192956
[pid=3111] ppid=3109 vsize=5356 CPUtime=4.64
/proc/3111/stat : 3111 (SatELiteGTI) S 3109 3111 25044 0 -1 4194304 336 26850 0 0 0 0 445 19 16 0 1 0 304846785 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3111/statm: 1339 239 197 169 0 50 0
[pid=3117] ppid=3111 vsize=82812 CPUtime=877.13
/proc/3117/stat : 3117 (minisat_static) R 3111 3111 25044 0 -1 4194304 20012 0 0 0 87693 20 0 0 25 0 1 0 304847252 84799488 19998 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/3117/statm: 20703 19998 77 171 0 20530 0
Current children cumulated CPU time (s) 881.77
Current children cumulated vsize (KiB) 88168
[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 3117
/proc/meminfo: memFree=1639720/2055920 swapFree=4177788/4192956
[pid=3111] ppid=3109 vsize=5356 CPUtime=4.64
/proc/3111/stat : 3111 (SatELiteGTI) S 3109 3111 25044 0 -1 4194304 336 26850 0 0 0 0 445 19 16 0 1 0 304846785 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3111/statm: 1339 239 197 169 0 50 0
[pid=3117] ppid=3111 vsize=85608 CPUtime=937.1
/proc/3117/stat : 3117 (minisat_static) R 3111 3111 25044 0 -1 4194304 20681 0 0 0 93689 21 0 0 25 0 1 0 304847252 87662592 20667 1992294400 134512640 135215339 4294956240 18446744073709551615 134529083 0 0 4096 3 0 0 0 17 0 0 0
/proc/3117/statm: 21402 20667 77 171 0 21229 0
Current children cumulated CPU time (s) 941.74
Current children cumulated vsize (KiB) 90964
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 3117
/proc/meminfo: memFree=1636584/2055920 swapFree=4177788/4192956
[pid=3111] ppid=3109 vsize=5356 CPUtime=4.64
/proc/3111/stat : 3111 (SatELiteGTI) S 3109 3111 25044 0 -1 4194304 336 26850 0 0 0 0 445 19 16 0 1 0 304846785 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3111/statm: 1339 239 197 169 0 50 0
[pid=3117] ppid=3111 vsize=88684 CPUtime=997.07
/proc/3117/stat : 3117 (minisat_static) R 3111 3111 25044 0 -1 4194304 21444 0 0 0 99685 22 0 0 25 0 1 0 304847252 90812416 21430 1992294400 134512640 135215339 4294956240 18446744073709551615 134532687 0 0 4096 3 0 0 0 17 0 0 0
/proc/3117/statm: 22171 21430 77 171 0 21998 0
Current children cumulated CPU time (s) 1001.71
Current children cumulated vsize (KiB) 94040
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 3117
/proc/meminfo: memFree=1633704/2055920 swapFree=4177788/4192956
[pid=3111] ppid=3109 vsize=5356 CPUtime=4.64
/proc/3111/stat : 3111 (SatELiteGTI) S 3109 3111 25044 0 -1 4194304 336 26850 0 0 0 0 445 19 16 0 1 0 304846785 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3111/statm: 1339 239 197 169 0 50 0
[pid=3117] ppid=3111 vsize=91632 CPUtime=1057.04
/proc/3117/stat : 3117 (minisat_static) R 3111 3111 25044 0 -1 4194304 22172 0 0 0 105681 23 0 0 25 0 1 0 304847252 93831168 22158 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/3117/statm: 22908 22158 77 171 0 22735 0
Current children cumulated CPU time (s) 1061.68
Current children cumulated vsize (KiB) 96988
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 3117
/proc/meminfo: memFree=1631144/2055920 swapFree=4177788/4192956
[pid=3111] ppid=3109 vsize=5356 CPUtime=4.64
/proc/3111/stat : 3111 (SatELiteGTI) S 3109 3111 25044 0 -1 4194304 336 26850 0 0 0 0 445 19 16 0 1 0 304846785 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3111/statm: 1339 239 197 169 0 50 0
[pid=3117] ppid=3111 vsize=93936 CPUtime=1117.01
/proc/3117/stat : 3117 (minisat_static) R 3111 3111 25044 0 -1 4194304 22759 0 0 0 111677 24 0 0 25 0 1 0 304847252 96190464 22745 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/3117/statm: 23484 22745 77 171 0 23311 0
Current children cumulated CPU time (s) 1121.65
Current children cumulated vsize (KiB) 99292
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 3117
/proc/meminfo: memFree=1628648/2055920 swapFree=4177788/4192956
[pid=3111] ppid=3109 vsize=5356 CPUtime=4.64
/proc/3111/stat : 3111 (SatELiteGTI) S 3109 3111 25044 0 -1 4194304 336 26850 0 0 0 0 445 19 16 0 1 0 304846785 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3111/statm: 1339 239 197 169 0 50 0
[pid=3117] ppid=3111 vsize=96400 CPUtime=1176.98
/proc/3117/stat : 3117 (minisat_static) R 3111 3111 25044 0 -1 4194304 23369 0 0 0 117674 24 0 0 25 0 1 0 304847252 98713600 23355 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/3117/statm: 24100 23355 77 171 0 23927 0
Current children cumulated CPU time (s) 1181.62
Current children cumulated vsize (KiB) 101756
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 3117
/proc/meminfo: memFree=1627880/2055920 swapFree=4177788/4192956
[pid=3111] ppid=3109 vsize=5356 CPUtime=4.64
/proc/3111/stat : 3111 (SatELiteGTI) S 3109 3111 25044 0 -1 4194304 336 26850 0 0 0 0 445 19 16 0 1 0 304846785 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3111/statm: 1339 239 197 169 0 50 0
[pid=3117] ppid=3111 vsize=97060 CPUtime=1195.37
/proc/3117/stat : 3117 (minisat_static) R 3111 3111 25044 0 -1 4194304 23553 0 0 0 119513 24 0 0 25 0 1 0 304847252 99389440 23539 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/3117/statm: 24265 23539 77 171 0 24092 0
Current children cumulated CPU time (s) 1200.01
Current children cumulated vsize (KiB) 102416
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1200.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 3117
/proc/meminfo: memFree=1627880/2055920 swapFree=4177788/4192956
[pid=3111] ppid=3109 vsize=5356 CPUtime=4.64
/proc/3111/stat : 3111 (SatELiteGTI) S 3109 3111 25044 0 -1 4194304 336 26850 0 0 0 0 445 19 16 0 1 0 304846785 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3111/statm: 1339 239 197 169 0 50 0
[pid=3117] ppid=3111 vsize=97060 CPUtime=1195.37
/proc/3117/stat : 3117 (minisat_static) R 3111 3111 25044 0 -1 4194304 23553 0 0 0 119513 24 0 0 25 0 1 0 304847252 99389440 23539 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/3117/statm: 24265 23539 77 171 0 24092 0
Current children cumulated CPU time (s) 1200.01
Current children cumulated vsize (KiB) 102416
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 3111 and gives
# childrusage.ru_utime.tv_sec=4
# childrusage.ru_utime.tv_usec=455322
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=192970
# CPU time returned by wait4() is 4.64829
# while last known CPU time is 1200.01
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1200.71
CPU time (s): 1200.01
CPU user time (s): 1199.58
CPU system time (s): 0.43
CPU usage (%): 99.9415
Max. virtual memory (cumulated for all children) (KiB): 102416
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.45532
system time used= 0.19297
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27186
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= 15
involuntary context switches= 20
runsolver used 1.10783 second user time and 3.33449 second system time
The end
Begin job on node89 at 2009-05-19 23:22:53
IDJOB=1832037
IDBENCH=20387
IDSOLVER=671
FILE ID=node89/1832037-1242768172
PBS_JOBID= 9322215
Free space on /tmp= 66272 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT07/industrial/anbulagan/hard-unsat/dated-5-13-u.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832037-1242768172/watcher-1832037-1242768172 -o /tmp/evaluation-result-1832037-1242768172/solver-1832037-1242768172 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832037-1242768172.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 45ee13b66821e6c36f3e38be418fa121
RANDOM SEED=65967755
node89.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.268
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.268
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5996.54
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1732824 kB
Buffers: 22592 kB
Cached: 252588 kB
SwapCached: 9468 kB
Active: 72832 kB
Inactive: 213812 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1732824 kB
SwapTotal: 4192956 kB
SwapFree: 4177788 kB
Dirty: 12332 kB
Writeback: 0 kB
Mapped: 15992 kB
Slab: 22348 kB
Committed_AS: 914816 kB
PageTables: 1404 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66264 MiB
End job on node89 at 2009-05-19 23:42:55