0.00/0.00 c Parsing...
0.78/0.87 c ==============================================================================
0.78/0.87 c | | ORIGINAL | LEARNT | |
0.78/0.87 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.78/0.87 c ==============================================================================
0.78/0.87 c | 0 | 812763 1945115 | 243828 0 0 nan | 0.000 % |
5.64/5.79 c | 0 | 546996 1519613 | -- 0 -- -- | -- | -74850/8386
5.64/5.79 c ==============================================================================
5.64/5.79 c Result : #vars: 85935 #clauses: 546996 #literals: 1519613
5.64/5.79 c CPU time: 5.52316 s
5.64/5.79 c ==============================================================================
6.24/6.32 c This is MiniSat 2.0 beta
6.24/6.32 c WARNING: for repeatability, setting FPU to use double precision
6.24/6.32 c ============================[ Problem Statistics ]=============================
6.24/6.32 c | |
6.24/6.33 c | Number of variables: 85935 |
6.24/6.33 c | Number of clauses: 546996 |
6.54/6.69 c | Parsing time: 0.32 s |
6.64/6.71 c ============================[ Search Statistics ]==============================
6.64/6.71 c | Conflicts | ORIGINAL | LEARNT | Progress |
6.64/6.71 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
6.64/6.71 c ===============================================================================
6.64/6.71 c | 0 | 85935 546996 1519613 | 182332 0 nan | 0.000 % |
6.83/6.95 c | 101 | 85717 546996 1519613 | 182332 95 89 | 1.608 % |
6.93/7.05 c | 202 | 85630 546996 1519613 | 182332 195 60 | 1.854 % |
7.03/7.16 c | 303 | 85630 546996 1519613 | 182332 296 52 | 1.854 % |
7.23/7.34 c | 413 | 85630 546996 1519613 | 182332 406 53 | 1.854 % |
7.43/7.56 c | 514 | 85510 546996 1519613 | 182332 506 52 | 2.738 % |
7.73/7.82 c | 624 | 83578 527789 1469640 | 182332 609 48 | 5.352 % |
7.83/7.99 c | 745 | 83257 527789 1469640 | 182332 725 50 | 9.974 % |
8.03/8.10 c | 845 | 82918 527789 1469640 | 182332 825 49 | 9.974 % |
8.33/8.46 c | 955 | 82360 527789 1469640 | 182332 926 47 | 12.386 % |
8.63/8.76 c | 1076 | 75194 471770 1327289 | 182332 1039 44 | 13.920 % |
8.82/8.96 c | 1211 | 75053 471770 1327289 | 182332 1172 43 | 14.146 % |
9.02/9.14 c | 1313 | 74988 471770 1327289 | 182332 1272 43 | 14.232 % |
9.12/9.27 c | 1424 | 74970 471770 1327289 | 182332 1381 45 | 14.615 % |
9.32/9.43 c | 1546 | 72546 453637 1281404 | 182332 1498 45 | 15.580 % |
9.42/9.57 c | 1679 | 72505 453637 1281404 | 182332 1630 43 | 16.209 % |
9.62/9.79 c | 1826 | 72505 453637 1281404 | 182332 1777 48 | 16.209 % |
9.83/9.99 c | 1927 | 72376 453637 1281404 | 182332 1877 48 | 16.519 % |
10.02/10.19 c | 2037 | 72373 453637 1281404 | 182332 1985 47 | 16.760 % |
10.32/10.45 c | 2158 | 71517 447292 1265471 | 182332 2097 46 | 16.813 % |
10.62/10.71 c | 2293 | 71475 447292 1265471 | 182332 2229 45 | 17.052 % |
10.72/10.84 c | 2441 | 71475 447292 1265471 | 182332 2377 51 | 17.052 % |
10.93/11.08 c | 2602 | 71475 447292 1265471 | 182332 2538 51 | 17.052 % |
11.02/11.17 c | 2702 | 71384 447292 1265471 | 182332 2636 50 | 17.258 % |
11.22/11.36 c | 2813 | 71369 447292 1265471 | 182332 2745 53 | 17.391 % |
11.42/11.58 c | 2934 | 70980 444566 1259396 | 182332 2859 53 | 18.568 % |
11.62/11.78 c | 3067 | 70911 444566 1259396 | 182332 2992 52 | 18.568 % |
11.82/11.94 c | 3218 | 70911 444566 1259396 | 182332 3143 53 | 18.568 % |
11.93/12.08 c | 3385 | 70911 444566 1259396 | 182332 3310 54 | 18.568 % |
12.12/12.25 c | 3564 | 70911 444566 1259396 | 182332 3489 54 | 18.568 % |
12.32/12.46 c | 3664 | 69847 437594 1241536 | 182332 3579 54 | 20.148 % |
12.52/12.63 c | 3774 | 69681 437594 1241536 | 182332 3689 53 | 20.148 % |
12.72/12.81 c | 3895 | 69472 437594 1241536 | 182332 3809 53 | 21.101 % |
12.82/12.98 c | 4029 | 69430 437594 1241536 | 182332 3942 53 | 21.225 % |
13.13/13.20 c | 4175 | 69420 437594 1241536 | 182332 4087 52 | 21.237 % |
13.13/13.28 c | 4335 | 69420 437594 1241536 | 182332 4247 55 | 21.237 % |
13.32/13.43 c | 4512 | 69420 437594 1241536 | 182332 4424 54 | 21.237 % |
13.52/13.64 c | 4705 | 67684 421164 1197664 | 182332 4599 53 | 21.302 % |
13.72/13.86 c | 4805 | 67684 421164 1197664 | 182332 4699 53 | 21.302 % |
13.92/14.03 c | 4915 | 67669 421164 1197664 | 182332 4805 53 | 21.378 % |
14.02/14.18 c | 5037 | 67669 421164 1197664 | 182332 4927 55 | 21.378 % |
14.13/14.24 c | 5172 | 67669 421164 1197664 | 182332 5062 55 | 21.378 % |
14.23/14.33 c | 5318 | 67667 421164 1197664 | 182332 5207 55 | 21.389 % |
14.42/14.50 c | 5478 | 67665 421164 1197664 | 182332 5367 55 | 21.389 % |
14.62/14.70 c | 5655 | 67554 420239 1195316 | 182332 5543 54 | 21.389 % |
14.82/14.91 c | 5848 | 67551 420239 1195316 | 182332 5734 53 | 21.415 % |
14.92/15.08 c | 6061 | 67548 420239 1195316 | 182332 5945 55 | 21.434 % |
15.12/15.21 c | 6161 | 67548 420239 1195316 | 182332 6045 55 | 21.434 % |
15.22/15.36 c | 6273 | 67548 420239 1195316 | 182332 6157 55 | 21.434 % |
15.42/15.56 c | 6394 | 67548 420239 1195316 | 182332 6278 55 | 21.434 % |
15.62/15.74 c | 6527 | 67423 419913 1194453 | 182332 6407 56 | 22.507 % |
15.82/15.99 c | 6673 | 67423 419913 1194453 | 182332 6552 55 | 22.526 % |
16.02/16.17 c | 6834 | 67423 419913 1194453 | 182332 6713 55 | 22.526 % |
16.22/16.31 c | 7010 | 67423 419913 1194453 | 182332 6889 55 | 22.526 % |
16.32/16.46 c | 7214 | 67414 419913 1194453 | 182332 7084 55 | 22.619 % |
16.52/16.60 c | 7426 | 67414 419913 1194453 | 182332 7296 57 | 22.619 % |
16.82/16.99 c | 7661 | 66490 412738 1175418 | 182332 7501 57 | 23.042 % |
17.02/17.10 c | 7761 | 66487 412738 1175418 | 182332 7600 57 | 23.197 % |
17.12/17.24 c | 7871 | 66486 412738 1175418 | 182332 7709 57 | 23.200 % |
17.22/17.40 c | 7992 | 66486 412738 1175418 | 182332 7830 57 | 23.200 % |
17.42/17.58 c | 8125 | 66484 412738 1175418 | 182332 7961 57 | 23.613 % |
17.62/17.78 c | 8273 | 66479 412738 1175418 | 182332 8108 58 | 23.710 % |
17.92/18.05 c | 8435 | 65560 401201 1144562 | 182332 8253 60 | 23.710 % |
18.22/18.35 c | 8611 | 65560 401201 1144562 | 182332 8429 62 | 23.710 % |
18.42/18.60 c | 8804 | 65554 401201 1144562 | 182332 8621 62 | 24.095 % |
18.62/18.76 c | 9017 | 65553 401201 1144562 | 182332 8833 62 | 24.096 % |
18.82/18.96 c | 9250 | 65549 401201 1144562 | 182332 9065 62 | 24.212 % |
19.22/19.35 c | 9507 | 65127 399347 1140854 | 182332 9313 62 | 24.225 % |
19.32/19.43 c | 9610 | 65127 399347 1140854 | 182332 9416 62 | 24.225 % |
19.52/19.62 c | 9721 | 65127 399347 1140854 | 182332 9527 62 | 24.225 % |
19.62/19.76 c | 9842 | 65127 399347 1140854 | 182332 9648 63 | 24.225 % |
19.82/19.95 c | 9982 | 65126 399347 1140854 | 182332 9787 63 | 24.237 % |
20.02/20.11 c | 10129 | 65124 399347 1140854 | 2147483647 9933 63 | 24.290 % |
20.22/20.37 c | 10289 | 65045 398835 1139626 | 2147483647 10091 63 | 24.309 % |
20.42/20.56 c | 10465 | 65045 398835 1139626 | 2147483647 10267 63 | 24.309 % |
20.62/20.70 c | 10659 | 65045 398835 1139626 | 2147483647 10461 63 | 24.309 % |
20.82/20.94 c | 10877 | 65045 398835 1139626 | 2147483647 10679 63 | 24.309 % |
21.21/21.33 c | 11110 | 65045 398835 1139626 | 2147483647 10912 63 | 24.309 % |
21.61/21.70 c | 11366 | 65028 398738 1139374 | 2147483647 11162 64 | 24.396 % |
21.92/22.02 c | 11648 | 65026 398738 1139374 | 2147483647 11443 64 | 24.410 % |
22.01/22.15 c | 11749 | 65026 398738 1139374 | 2147483647 11544 64 | 24.410 % |
22.21/22.31 c | 11862 | 65026 398738 1139374 | 2147483647 11657 64 | 24.410 % |
22.21/22.37 c | 11983 | 65026 398738 1139374 | 2147483647 11778 64 | 24.410 % |
22.41/22.59 c | 12116 | 65026 398738 1139374 | 2147483647 11911 65 | 24.410 % |
22.71/22.83 c | 12264 | 64935 398100 1137781 | 2147483647 12046 65 | 24.437 % |
22.92/23.05 c | 12424 | 64935 398100 1137781 | 2147483647 12206 65 | 24.437 % |
23.12/23.25 c | 12602 | 64934 398100 1137781 | 2147483647 12383 65 | 24.501 % |
23.42/23.54 c | 12795 | 64930 398100 1137781 | 2147483647 12576 65 | 24.501 % |
23.62/23.73 c | 13007 | 64930 398100 1137781 | 2147483647 12788 68 | 24.501 % |
24.02/24.12 c | 13240 | 64898 398100 1137781 | 2147483647 13020 69 | 24.706 % |
24.32/24.48 c | 13496 | 64703 397049 1135677 | 2147483647 13275 69 | 24.711 % |
24.72/24.83 c | 13777 | 64683 397049 1135677 | 2147483647 13554 69 | 24.804 % |
25.02/25.12 c | 14087 | 64678 397049 1135677 | 2147483647 13862 69 | 24.826 % |
25.12/25.28 c | 14187 | 64654 397049 1135677 | 2147483647 13960 69 | 24.950 % |
25.22/25.35 c | 14299 | 64654 397049 1135677 | 2147483647 14072 69 | 24.950 % |
25.32/25.46 c | 14423 | 64649 397049 1135677 | 2147483647 14193 69 | 25.028 % |
25.61/25.74 c | 14557 | 64636 397049 1135677 | 2147483647 14327 70 | 25.028 % |
25.81/25.97 c | 14703 | 64427 395207 1130919 | 2147483647 14453 71 | 25.028 % |
26.01/26.14 c | 14864 | 64427 395207 1130919 | 2147483647 14614 71 | 25.028 % |
26.22/26.32 c | 15040 | 64427 395207 1130919 | 2147483647 14790 71 | 25.028 % |
26.41/26.51 c | 15233 | 64422 395207 1130919 | 2147483647 14982 71 | 25.083 % |
26.61/26.79 c | 15447 | 64413 395207 1130919 | 2147483647 15196 72 | 25.083 % |
27.01/27.18 c | 15683 | 64374 395207 1130919 | 2147483647 15426 72 | 25.354 % |
27.51/27.67 c | 15939 | 64373 395207 1130919 | 2147483647 15682 74 | 25.354 % |
27.81/27.97 c | 16221 | 64141 393789 1127653 | 2147483647 15924 74 | 25.380 % |
28.11/28.23 c | 16530 | 64139 393789 1127653 | 2147483647 16232 75 | 25.390 % |
28.52/28.68 c | 16869 | 64137 393789 1127653 | 2147483647 16570 75 | 25.402 % |
28.71/28.82 c | 16970 | 64137 393789 1127653 | 2147483647 16671 76 | 25.402 % |
28.91/29.00 c | 17080 | 64137 393789 1127653 | 2147483647 16781 76 | 25.402 % |
29.11/29.23 c | 17203 | 64134 393789 1127653 | 2147483647 16901 76 | 25.917 % |
29.31/29.40 c | 17336 | 63649 386785 1108412 | 2147483647 16763 76 | 25.979 % |
29.51/29.60 c | 17482 | 63615 386785 1108412 | 2147483647 16903 76 | 26.014 % |
29.80/29.96 c | 17642 | 63615 386785 1108412 | 2147483647 17063 77 | 26.014 % |
30.10/30.27 c | 17818 | 63614 386785 1108412 | 2147483647 17238 78 | 26.029 % |
30.50/30.62 c | 18012 | 63608 386785 1108412 | 2147483647 17430 78 | 26.051 % |
30.60/30.79 c | 18224 | 63603 386785 1108412 | 2147483647 17637 78 | 26.098 % |
31.11/31.21 c | 18458 | 63487 385309 1104586 | 2147483647 17822 79 | 26.122 % |
31.31/31.50 c | 18716 | 63487 385309 1104586 | 2147483647 18080 80 | 26.122 % |
31.71/31.83 c | 18998 | 63487 385309 1104586 | 2147483647 18362 81 | 26.122 % |
32.21/32.30 c | 19307 | 63475 385309 1104586 | 2147483647 18669 81 | 26.187 % |
32.51/32.69 c | 19646 | 63475 385309 1104586 | 2147483647 19008 81 | 26.187 % |
32.81/32.95 c | 20021 | 63474 385309 1104586 | 2147483647 19382 82 | 26.191 % |
33.01/33.13 c | 20121 | 63474 385309 1104586 | 2147483647 19482 82 | 26.191 % |
33.11/33.23 c | 20231 | 63474 385309 1104586 | 2147483647 19592 82 | 26.191 % |
33.31/33.41 c | 20353 | 63425 384878 1103369 | 2147483647 19712 82 | 26.202 % |
33.51/33.61 c | 20490 | 63424 384878 1103369 | 2147483647 19848 82 | 26.242 % |
33.71/33.89 c | 20636 | 63416 384878 1103369 | 2147483647 19993 83 | 26.257 % |
34.11/34.22 c | 20798 | 63413 384878 1103369 | 2147483647 20154 84 | 26.268 % |
34.31/34.47 c | 20974 | 63397 384878 1103369 | 2147483647 20329 84 | 26.305 % |
34.60/34.73 c | 21168 | 63397 384878 1103369 | 2147483647 20523 85 | 26.305 % |
34.80/34.93 c | 21380 | 63397 384878 1103369 | 2147483647 20735 86 | 26.305 % |
34.90/35.10 c | 21614 | 63397 384878 1103369 | 2147483647 20969 86 | 26.305 % |
35.20/35.33 c | 21878 | 63397 384878 1103369 | 2147483647 21233 86 | 26.305 % |
35.50/35.61 c | 22159 | 63329 383867 1100604 | 2147483647 21492 85 | 26.308 % |
36.00/36.20 c | 22469 | 63327 383867 1100604 | 2147483647 21800 85 | 26.347 % |
36.40/36.56 c | 22812 | 63323 383867 1100604 | 2147483647 22141 86 | 26.359 % |
36.90/37.02 c | 23184 | 63314 383867 1100604 | 2147483647 22510 86 | 26.383 % |
37.40/37.57 c | 23594 | 63312 383867 1100604 | 2147483647 22919 87 | 26.396 % |
37.49/37.69 c | 23694 | 63312 383867 1100604 | 2147483647 23019 87 | 26.396 % |
37.69/37.87 c | 23805 | 63252 383318 1099235 | 2147483647 23117 87 | 26.396 % |
37.89/38.03 c | 23926 | 63252 383318 1099235 | 2147483647 23238 87 | 26.396 % |
38.09/38.22 c | 24060 | 63251 383318 1099235 | 2147483647 23371 88 | 26.399 % |
38.30/38.44 c | 24208 | 63249 383318 1099235 | 2147483647 23518 88 | 26.411 % |
38.49/38.63 c | 24368 | 63247 383318 1099235 | 2147483647 23678 88 | 26.411 % |
38.59/38.79 c | 24544 | 63246 383318 1099235 | 2147483647 23853 88 | 26.412 % |
38.89/39.04 c | 24738 | 63212 383318 1099235 | 2147483647 24045 88 | 26.839 % |
39.19/39.34 c | 24950 | 63212 383318 1099235 | 2147483647 24257 89 | 26.839 % |
39.29/39.48 c | 25185 | 63212 383318 1099235 | 2147483647 24492 89 | 26.839 % |
39.79/39.92 c | 25441 | 63187 383318 1099235 | 2147483647 24744 89 | 26.901 % |
40.19/40.36 c | 25724 | 62645 380492 1092953 | 2147483647 25013 90 | 27.102 % |
40.59/40.71 c | 26037 | 62630 380492 1092953 | 2147483647 25322 89 | 27.593 % |
40.98/41.11 c | 26376 | 62630 380492 1092953 | 2147483647 25661 89 | 27.593 % |
41.38/41.55 c | 26749 | 62581 380492 1092953 | 2147483647 26031 89 | 27.882 % |
41.88/42.03 c | 27159 | 62578 380492 1092953 | 2147483647 26439 90 | 27.904 % |
42.58/42.70 c | 27608 | 62512 380492 1092953 | 2147483647 26886 91 | 28.313 % |
42.68/42.86 c | 27708 | 62511 380492 1092953 | 2147483647 26985 91 | 28.314 % |
42.88/43.09 c | 27818 | 62510 380492 1092953 | 2147483647 27094 91 | 28.330 % |
43.08/43.26 c | 27941 | 62509 380492 1092953 | 2147483647 27216 91 | 28.331 % |
43.38/43.50 c | 28075 | 61589 374431 1077675 | 2147483647 27311 91 | 28.331 % |
43.49/43.64 c | 28221 | 61589 374431 1077675 | 2147483647 27457 91 | 28.331 % |
43.69/43.90 c | 28382 | 61589 374431 1077675 | 2147483647 27618 92 | 28.331 % |
43.89/44.08 c | 28561 | 61588 374431 1077675 | 2147483647 27796 92 | 28.341 % |
44.19/44.32 c | 28754 | 61586 374431 1077675 | 2147483647 27989 92 | 28.341 % |
44.49/44.61 c | 28966 | 61585 374431 1077675 | 2147483647 28200 92 | 28.408 % |
44.79/44.99 c | 29199 | 61574 374431 1077675 | 2147483647 28430 92 | 28.629 % |
45.28/45.40 c | 29458 | 61547 374431 1077675 | 2147483647 28686 93 | 28.690 % |
45.79/45.94 c | 29741 | 61545 374431 1077675 | 2147483647 28966 93 | 28.716 % |
45.99/46.13 c | 30052 | 61544 374431 1077675 | 2147483647 29276 94 | 28.725 % |
46.48/46.65 c | 30393 | 61543 374431 1077675 | 2147483647 29617 94 | 28.725 % |
47.28/47.45 c | 30765 | 61250 372259 1072243 | 2147483647 29895 95 | 28.725 % |
47.68/47.89 c | 31174 | 61250 372259 1072243 | 2147483647 30304 96 | 28.725 % |
48.18/48.38 c | 31626 | 61250 372259 1072243 | 2147483647 30756 97 | 28.725 % |
48.88/49.06 c | 32120 | 61250 372259 1072243 | 2147483647 31250 98 | 28.725 % |
49.07/49.26 c | 32220 | 61249 372259 1072243 | 2147483647 31349 98 | 28.735 % |
49.38/49.57 c | 32331 | 61249 372259 1072243 | 2147483647 31460 98 | 28.735 % |
49.57/49.70 c | 32454 | 61249 372259 1072243 | 2147483647 31583 99 | 28.735 % |
49.77/49.98 c | 32591 | 61249 372259 1072243 | 2147483647 31720 99 | 28.735 % |
50.08/50.29 c | 32737 | 61242 372229 1072181 | 2147483647 31866 99 | 28.735 % |
50.38/50.57 c | 32897 | 61239 372229 1072181 | 2147483647 32024 99 | 28.751 % |
50.58/50.75 c | 33073 | 61239 372229 1072181 | 2147483647 32200 99 | 28.751 % |
50.88/51.03 c | 33266 | 61238 372229 1072181 | 2147483647 32392 99 | 28.752 % |
51.18/51.38 c | 33481 | 61232 372229 1072181 | 2147483647 32603 100 | 28.805 % |
51.38/51.56 c | 33714 | 61227 372229 1072181 | 2147483647 32832 100 | 28.842 % |
51.78/51.99 c | 33972 | 61226 372229 1072181 | 2147483647 33089 100 | 28.843 % |
52.18/52.35 c | 34253 | 61225 372229 1072181 | 2147483647 33368 100 | 28.849 % |
52.48/52.67 c | 34563 | 61225 372229 1072181 | 2147483647 33678 100 | 28.849 % |
52.88/53.01 c | 34903 | 61224 372229 1072181 | 2147483647 34017 100 | 28.850 % |
53.38/53.59 c | 35275 | 61092 371060 1069022 | 2147483647 34341 100 | 28.909 % |
54.08/54.21 c | 35685 | 61092 371060 1069022 | 2147483647 34751 102 | 28.909 % |
54.68/54.82 c | 36138 | 61090 371060 1069022 | 2147483647 35202 102 | 28.914 % |
55.48/55.67 c | 36631 | 61090 371060 1069022 | 2147483647 35695 102 | 28.914 % |
56.17/56.30 c | 37173 | 61090 371060 1069022 | 2147483647 36237 103 | 28.914 % |
56.27/56.46 c | 37273 | 61090 371060 1069022 | 2147483647 36337 103 | 28.914 % |
56.57/56.71 c | 37383 | 61087 371060 1069022 | 2147483647 36445 103 | 28.931 % |
56.67/56.84 c | 37506 | 61085 371060 1069022 | 2147483647 36566 103 | 28.957 % |
56.87/57.10 c | 37640 | 61081 371060 1069022 | 2147483647 36700 103 | 28.957 % |
57.17/57.30 c | 37787 | 61081 371060 1069022 | 2147483647 36846 103 | 28.960 % |
57.27/57.45 c | 37951 | 61081 371060 1069022 | 2147483647 37010 103 | 28.960 % |
57.77/57.91 c | 38137 | 61048 370756 1068188 | 2147483647 37191 103 | 28.960 % |
58.08/58.21 c | 38330 | 61048 370756 1068188 | 2147483647 37384 103 | 28.960 % |
58.27/58.43 c | 38542 | 61044 370756 1068188 | 2147483647 37594 103 | 29.016 % |
58.57/58.75 c | 38775 | 61041 370756 1068188 | 2147483647 37827 103 | 29.016 % |
58.97/59.14 c | 39031 | 61006 370756 1068188 | 2147483647 38080 104 | 29.448 % |
59.47/59.62 c | 39313 | 61006 370756 1068188 | 2147483647 38362 104 | 29.448 % |
59.87/60.05 c | 39624 | 61005 370756 1068188 | 2147483647 38672 104 | 29.449 % |
60.57/60.70 c | 39964 | 61000 370756 1068188 | 2147483647 39009 105 | 29.880 % |
61.07/61.20 c | 40339 | 61000 370756 1068188 | 2147483647 39384 105 | 29.880 % |
61.47/61.63 c | 40748 | 60993 370756 1068188 | 2147483647 39790 105 | 29.912 % |
62.18/62.38 c | 41197 | 60993 370756 1068188 | 2147483647 40238 106 | 29.913 % |
62.98/63.16 c | 41691 | 60139 358857 1035679 | 2147483647 40336 106 | 30.018 % |
63.98/64.18 c | 42233 | 60133 358857 1035679 | 2147483647 40874 106 | 30.059 % |
65.28/65.40 c | 42829 | 60124 358857 1035679 | 2147483647 41466 107 | 30.088 % |
65.38/65.54 c | 42929 | 60124 358857 1035679 | 2147483647 41566 107 | 30.088 % |
65.58/65.72 c | 43039 | 60124 358857 1035679 | 2147483647 41676 107 | 30.088 % |
65.78/65.94 c | 43162 | 60123 358857 1035679 | 2147483647 41798 107 | 30.089 % |
66.07/66.21 c | 43297 | 60123 358857 1035679 | 2147483647 41932 107 | 30.090 % |
66.37/66.56 c | 43449 | 60123 358857 1035679 | 2147483647 42084 107 | 30.090 % |
66.57/66.76 c | 43610 | 60123 358857 1035679 | 2147483647 42245 108 | 30.090 % |
66.88/67.02 c | 43786 | 60123 358857 1035679 | 2147483647 42421 108 | 30.090 % |
67.17/67.35 c | 43982 | 60054 358206 1033979 | 2147483647 42576 108 | 30.137 % |
67.77/67.91 c | 44198 | 60052 358206 1033979 | 2147483647 42792 109 | 30.137 % |
68.17/68.36 c | 44434 | 60052 358206 1033979 | 2147483647 43028 109 | 30.137 % |
68.47/68.61 c | 44692 | 60051 358206 1033979 | 2147483647 43285 109 | 30.138 % |
68.97/69.15 c | 44975 | 60047 358206 1033979 | 2147483647 43566 110 | 30.151 % |
69.37/69.58 c | 45284 | 60029 358206 1033979 | 2147483647 43871 109 | 30.290 % |
70.07/70.21 c | 45623 | 60026 358206 1033979 | 2147483647 44210 110 | 30.290 % |
70.56/70.70 c | 45999 | 60024 358206 1033979 | 2147483647 44584 110 | 30.338 % |
71.67/71.82 c | 46409 | 60024 358206 1033979 | 2147483647 44994 110 | 30.338 % |
72.07/72.26 c | 46858 | 60024 358206 1033979 | 2147483647 45443 111 | 30.338 % |
73.26/73.45 c | 47353 | 59971 358206 1033979 | 2147483647 45935 112 | 31.137 % |
74.16/74.35 c | 47897 | 59168 346412 1001710 | 2147483647 46206 113 | 31.162 % |
75.26/75.41 c | 48493 | 59168 346412 1001710 | 2147483647 46802 113 | 31.162 % |
76.16/76.35 c | 49148 | 59163 346412 1001710 | 2147483647 47455 113 | 31.222 % |
76.46/76.69 c | 49248 | 59144 346412 1001710 | 2147483647 47555 114 | 31.222 % |
76.66/76.88 c | 49359 | 59144 346412 1001710 | 2147483647 47666 114 | 31.222 % |
76.76/76.99 c | 49489 | 59144 346412 1001710 | 2147483647 47796 114 | 31.222 % |
76.96/77.10 c | 49623 | 59144 346412 1001710 | 2147483647 47930 114 | 31.222 % |
77.16/77.35 c | 49770 | 59143 346412 1001710 | 2147483647 48076 114 | 31.275 % |
77.46/77.61 c | 49930 | 59142 346412 1001710 | 2147483647 48235 114 | 31.283 % |
77.66/77.82 c | 50107 | 59141 346412 1001710 | 2147483647 48411 114 | 31.284 % |
78.16/78.34 c | 50301 | 59140 346412 1001710 | 2147483647 48604 114 | 31.285 % |
78.56/78.75 c | 50515 | 59136 346412 1001710 | 2147483647 48817 114 | 31.373 % |
78.96/79.16 c | 50748 | 59121 346412 1001710 | 2147483647 49050 115 | 31.373 % |
79.35/79.54 c | 51004 | 58973 345189 998621 | 2147483647 49252 115 | 31.375 % |
79.86/80.04 c | 51285 | 58972 345189 998621 | 2147483647 49532 115 | 31.391 % |
80.26/80.40 c | 51597 | 58972 345189 998621 | 2147483647 49843 115 | 31.448 % |
80.76/80.99 c | 51938 | 58972 345189 998621 | 2147483647 50183 116 | 31.449 % |
81.66/81.84 c | 52310 | 58970 345189 998621 | 2147483647 50553 116 | 31.452 % |
82.46/82.63 c | 52720 | 58970 345189 998621 | 2147483647 50963 117 | 31.452 % |
82.96/83.16 c | 53169 | 58969 345189 998621 | 2147483647 51410 117 | 31.466 % |
83.96/84.20 c | 53662 | 58969 345189 998621 | 2147483647 51903 118 | 31.466 % |
85.06/85.23 c | 54204 | 58969 345189 998621 | 2147483647 52444 118 | 31.478 % |
85.75/85.97 c | 54802 | 58968 345189 998621 | 2147483647 53041 118 | 31.488 % |
86.95/87.15 c | 55457 | 58875 344638 997260 | 2147483647 53670 118 | 31.489 % |
88.25/88.48 c | 56177 | 58875 344638 997260 | 2147483647 54390 119 | 31.489 % |
88.35/88.58 c | 56277 | 58875 344638 997260 | 2147483647 54490 119 | 31.489 % |
88.55/88.72 c | 56388 | 58875 344638 997260 | 2147483647 54600 119 | 31.504 % |
88.75/88.96 c | 56509 | 58875 344638 997260 | 2147483647 54721 119 | 31.504 % |
88.85/89.07 c | 56642 | 58875 344638 997260 | 2147483647 54854 119 | 31.504 % |
89.15/89.31 c | 56788 | 58875 344638 997260 | 2147483647 55000 118 | 31.504 % |
89.35/89.53 c | 56948 | 58875 344638 997260 | 2147483647 55160 118 | 31.504 % |
89.85/90.09 c | 57125 | 58875 344638 997260 | 2147483647 55337 119 | 31.504 % |
90.25/90.42 c | 57318 | 58875 344638 997260 | 2147483647 55530 119 | 31.504 % |
90.55/90.71 c | 57531 | 58875 344638 997260 | 2147483647 55743 119 | 31.504 % |
90.85/91.00 c | 57766 | 58875 344638 997260 | 2147483647 55978 119 | 31.504 % |
91.35/91.56 c | 58022 | 58861 344638 997260 | 2147483647 56230 119 | 31.540 % |
91.65/91.84 c | 58303 | 58856 344638 997260 | 2147483647 56509 119 | 31.565 % |
92.45/92.60 c | 58613 | 58852 344638 997260 | 2147483647 56818 120 | 31.573 % |
93.15/93.35 c | 58953 | 58852 344638 997260 | 2147483647 57158 120 | 31.573 % |
93.74/93.92 c | 59325 | 58419 338728 981056 | 2147483647 57433 120 | 32.020 % |
94.54/94.78 c | 59734 | 58418 338728 981056 | 2147483647 57841 120 | 32.021 % |
95.15/95.37 c | 60186 | 58416 338728 981056 | 2147483647 58292 120 | 32.028 % |
95.95/96.18 c | 60679 | 58411 338728 981056 | 2147483647 58784 120 | 32.039 % |
96.56/96.77 c | 61222 | 58410 338728 981056 | 2147483647 59326 120 | 32.040 % |
98.25/98.44 c | 61820 | 58407 338728 981056 | 2147483647 59923 121 | 32.054 % |
99.14/99.32 c | 62475 | 58404 338728 981056 | 2147483647 60577 122 | 32.065 % |
99.74/99.97 c | 63196 | 58403 338728 981056 | 2147483647 61297 122 | 32.066 % |
100.95/101.16 c | 63991 | 58393 338728 981056 | 2147483647 62088 122 | 32.136 % |
101.14/101.36 c | 64091 | 58393 338728 981056 | 2147483647 62188 122 | 32.136 % |
101.44/101.67 c | 64202 | 58319 338110 979518 | 2147483647 62276 122 | 32.136 % |
101.74/101.97 c | 64324 | 58319 338110 979518 | 2147483647 62398 122 | 32.136 % |
102.15/102.39 c | 64457 | 58319 338110 979518 | 2147483647 62531 122 | 32.136 % |
102.34/102.57 c | 64609 | 58319 338110 979518 | 2147483647 62683 122 | 32.136 % |
102.54/102.79 c | 64769 | 58319 338110 979518 | 2147483647 62843 122 | 32.136 % |
102.84/103.05 c | 64947 | 58317 338110 979518 | 2147483647 63020 122 | 32.142 % |
103.04/103.26 c | 65140 | 58317 338110 979518 | 2147483647 63213 122 | 32.142 % |
103.44/103.67 c | 65352 | 58317 338110 979518 | 2147483647 63425 122 | 32.142 % |
103.84/104.06 c | 65588 | 58317 338110 979518 | 2147483647 63661 123 | 32.142 % |
104.65/104.80 c | 65846 | 58317 338110 979518 | 2147483647 63919 123 | 32.142 % |
105.35/105.51 c | 66130 | 58315 338110 979518 | 2147483647 64201 123 | 32.155 % |
105.85/106.06 c | 66440 | 58312 338110 979518 | 2147483647 64509 123 | 32.172 % |
106.85/107.03 c | 66779 | 58312 338110 979518 | 2147483647 64848 124 | 32.172 % |
107.75/107.90 c | 67154 | 58312 338110 979518 | 2147483647 65223 124 | 32.172 % |
108.45/108.65 c | 67563 | 58304 338110 979518 | 2147483647 65630 124 | 32.195 % |
109.14/109.39 c | 68014 | 58303 338110 979518 | 2147483647 66080 124 | 32.196 % |
110.24/110.47 c | 68508 | 58303 338110 979518 | 2147483647 66574 125 | 32.196 % |
111.34/111.54 c | 69050 | 58266 337697 978410 | 2147483647 67087 126 | 32.198 % |
112.44/112.66 c | 69646 | 58266 337697 978410 | 2147483647 67683 126 | 32.198 % |
114.34/114.54 c | 70303 | 58265 337697 978410 | 2147483647 68339 127 | 32.199 % |
115.54/115.75 c | 71023 | 58254 337697 978410 | 2147483647 69052 128 | 32.285 % |
116.74/116.91 c | 71820 | 58248 337697 978410 | 2147483647 69846 128 | 32.314 % |
117.94/118.16 c | 72693 | 58243 337697 978410 | 2147483647 70716 129 | 32.349 % |
118.24/118.45 c | 72793 | 58243 337697 978410 | 2147483647 70816 130 | 32.349 % |
118.54/118.77 c | 72906 | 58243 337697 978410 | 2147483647 70929 130 | 32.349 % |
118.83/119.05 c | 73028 | 58243 337697 978410 | 2147483647 71051 130 | 32.349 % |
119.14/119.31 c | 73161 | 58243 337697 978410 | 2147483647 71184 130 | 32.349 % |
119.44/119.62 c | 73307 | 58243 337697 978410 | 2147483647 71330 130 | 32.349 % |
119.65/119.88 c | 73467 | 58243 337697 978410 | 2147483647 71490 130 | 32.349 % |
119.94/120.16 c | 73644 | 58243 337697 978410 | 2147483647 71667 130 | 32.349 % |
120.34/120.53 c | 73837 | 58213 337697 978410 | 2147483647 71858 130 | 32.479 % |
120.64/120.85 c | 74050 | 58213 337697 978410 | 2147483647 72071 130 | 32.479 % |
121.04/121.25 c | 74286 | 58213 337697 978410 | 2147483647 72307 130 | 32.479 % |
121.44/121.69 c | 74543 | 58205 337697 978410 | 2147483647 72561 130 | 32.532 % |
122.14/122.35 c | 74825 | 57976 335730 973237 | 2147483647 72724 131 | 32.535 % |
122.64/122.85 c | 75134 | 57976 335730 973237 | 2147483647 73033 131 | 32.535 % |
123.53/123.76 c | 75476 | 57976 335730 973237 | 2147483647 73374 131 | 32.548 % |
124.43/124.61 c | 75851 | 57976 335730 973237 | 2147483647 73749 132 | 32.548 % |
125.03/125.20 c | 76264 | 57976 335730 973237 | 2147483647 74162 132 | 32.548 % |
126.43/126.62 c | 76716 | 57975 335730 973237 | 2147483647 74613 133 | 32.549 % |
127.43/127.68 c | 77209 | 57975 335730 973237 | 2147483647 75106 134 | 32.549 % |
128.43/128.62 c | 77754 | 57975 335730 973237 | 2147483647 75651 134 | 32.549 % |
129.63/129.87 c | 78355 | 57974 335730 973237 | 2147483647 76251 135 | 32.550 % |
130.43/130.68 c | 79017 | 57974 335730 973237 | 2147483647 76913 135 | 32.550 % |
132.13/132.37 c | 79742 | 57948 335730 973237 | 2147483647 77634 136 | 32.863 % |
133.33/133.50 c | 80534 | 57948 335730 973237 | 2147483647 78426 136 | 32.863 % |
134.83/135.05 c | 81406 | 57948 335730 973237 | 2147483647 79298 136 | 32.863 % |
136.72/136.91 c | 82364 | 57693 334407 970394 | 2147483647 80224 137 | 32.864 % |
136.82/137.10 c | 82473 | 57693 334407 970394 | 2147483647 80333 137 | 32.864 % |
137.13/137.37 c | 82584 | 57692 334407 970394 | 2147483647 80443 137 | 32.866 % |
137.43/137.67 c | 82708 | 57692 334407 970394 | 2147483647 80567 137 | 32.866 % |
137.73/137.96 c | 82844 | 57692 334407 970394 | 2147483647 80703 137 | 32.866 % |
138.03/138.25 c | 82990 | 57690 334407 970394 | 2147483647 80848 137 | 32.880 % |
138.43/138.62 c | 83150 | 57690 334407 970394 | 2147483647 81008 137 | 32.880 % |
138.63/138.89 c | 83327 | 57689 334407 970394 | 2147483647 81184 137 | 32.883 % |
139.23/139.40 c | 83520 | 57689 334407 970394 | 2147483647 81377 137 | 32.883 % |
139.73/139.99 c | 83734 | 57689 334407 970394 | 2147483647 81591 137 | 32.883 % |
140.33/140.53 c | 83968 | 57689 334407 970394 | 2147483647 81825 137 | 32.883 % |
140.82/141.05 c | 84224 | 57689 334407 970394 | 2147483647 82080 138 | 32.886 % |
141.52/141.74 c | 84507 | 57689 334407 970394 | 2147483647 82363 138 | 32.886 % |
142.42/142.63 c | 84816 | 57687 334407 970394 | 2147483647 82670 138 | 32.899 % |
143.22/143.40 c | 85155 | 57687 334407 970394 | 2147483647 83008 139 | 32.902 % |
144.02/144.30 c | 85527 | 57686 334407 970394 | 2147483647 83380 139 | 32.902 % |
145.12/145.32 c | 85943 | 57686 334407 970394 | 2147483647 83795 140 | 32.916 % |
145.92/146.11 c | 86392 | 57686 334407 970394 | 2147483647 84244 140 | 32.916 % |
146.72/146.98 c | 86885 | 57685 334407 970394 | 2147483647 84736 140 | 32.917 % |
148.13/148.36 c | 87427 | 57685 334407 970394 | 2147483647 85278 141 | 32.917 % |
149.22/149.42 c | 88023 | 57684 334407 970394 | 2147483647 85873 141 | 32.918 % |
150.82/151.01 c | 88680 | 57618 333806 968776 | 2147483647 86488 141 | 32.952 % |
152.52/152.76 c | 89401 | 57606 333806 968776 | 2147483647 87206 141 | 32.995 % |
153.62/153.87 c | 90195 | 57584 333806 968776 | 2147483647 87998 141 | 33.074 % |
156.02/156.28 c | 91067 | 57583 333806 968776 | 2147483647 88869 142 | 33.082 % |
158.32/158.51 c | 92025 | 57579 333806 968776 | 2147483647 89824 142 | 33.130 % |
160.32/160.54 c | 93079 | 57579 333806 968776 | 2147483647 90878 144 | 33.130 % |
160.72/160.92 c | 93182 | 57578 333806 968776 | 2147483647 90980 144 | 33.138 % |
160.92/161.16 c | 93293 | 57576 333806 968776 | 2147483647 91091 144 | 33.138 % |
161.12/161.30 c | 93414 | 57576 333806 968776 | 2147483647 91212 144 | 33.138 % |
161.62/161.88 c | 93547 | 57576 333806 968776 | 2147483647 91345 144 | 33.138 % |
162.02/162.28 c | 93693 | 57576 333806 968776 | 2147483647 91491 144 | 33.138 % |
162.42/162.69 c | 93854 | 57576 333806 968776 | 2147483647 91652 145 | 33.138 % |
162.82/163.07 c | 94031 | 57574 333806 968776 | 2147483647 91828 145 | 33.147 % |
163.22/163.40 c | 94224 | 57574 333806 968776 | 2147483647 92021 145 | 33.147 % |
163.52/163.78 c | 94437 | 57574 333806 968776 | 2147483647 92234 144 | 33.147 % |
164.12/164.32 c | 94670 | 57574 333806 968776 | 2147483647 92467 144 | 33.147 % |
164.61/164.88 c | 94930 | 57574 333806 968776 | 2147483647 92727 144 | 33.147 % |
165.12/165.39 c | 95211 | 57569 333806 968776 | 2147483647 93007 144 | 33.161 % |
165.62/165.85 c | 95520 | 57569 333806 968776 | 2147483647 93316 144 | 33.161 % |
166.41/166.61 c | 95861 | 57569 333806 968776 | 2147483647 93657 145 | 33.161 % |
167.21/167.48 c | 96238 | 57438 331978 963931 | 2147483647 93884 145 | 33.161 % |
167.91/168.15 c | 96652 | 57438 331978 963931 | 2147483647 94298 145 | 33.161 % |
168.61/168.80 c | 97101 | 57438 331978 963931 | 2147483647 94747 145 | 33.161 % |
170.12/170.39 c | 97594 | 57438 331978 963931 | 2147483647 95240 146 | 33.161 % |
171.21/171.44 c | 98136 | 57402 331978 963931 | 2147483647 95781 146 | 33.215 % |
173.21/173.47 c | 98732 | 57401 331978 963931 | 2147483647 96376 146 | 33.225 % |
174.51/174.76 c | 99387 | 57401 331978 963931 | 2147483647 97031 147 | 33.225 % |
176.11/176.31 c | 100108 | 57400 331978 963931 | 2147483647 97751 147 | 33.226 % |
177.91/178.13 c | 100900 | 57398 331978 963931 | 2147483647 98541 148 | 33.238 % |
180.01/180.24 c | 101772 | 57397 331978 963931 | 2147483647 99412 148 | 33.245 % |
182.41/182.62 c | 102730 | 57395 331978 963931 | 2147483647 100367 148 | 33.257 % |
184.61/184.82 c | 103787 | 57395 331978 963931 | 2147483647 101424 149 | 33.257 % |
188.01/188.24 c | 104945 | 57395 331978 963931 | 2147483647 102582 149 | 33.257 % |
188.51/188.70 c | 105048 | 57356 331514 962790 | 2147483647 102657 150 | 33.257 % |
188.81/189.06 c | 105162 | 57356 331514 962790 | 2147483647 102771 150 | 33.257 % |
189.01/189.29 c | 105285 | 57356 331514 962790 | 2147483647 102894 150 | 33.257 % |
189.31/189.51 c | 105418 | 57356 331514 962790 | 2147483647 103027 150 | 33.257 % |
189.51/189.73 c | 105564 | 57356 331514 962790 | 2147483647 103173 150 | 33.257 % |
189.81/190.00 c | 105724 | 57356 331514 962790 | 2147483647 103333 150 | 33.257 % |
190.11/190.37 c | 105901 | 57356 331514 962790 | 2147483647 103510 150 | 33.257 % |
190.61/190.80 c | 106098 | 57356 331514 962790 | 2147483647 103707 150 | 33.257 % |
190.91/191.19 c | 106313 | 57356 331514 962790 | 2147483647 103922 150 | 33.257 % |
191.51/191.77 c | 106548 | 57356 331514 962790 | 2147483647 104157 150 | 33.257 % |
192.31/192.50 c | 106808 | 57356 331514 962790 | 2147483647 104417 150 | 33.257 % |
192.71/192.94 c | 107089 | 57355 331514 962790 | 2147483647 104697 150 | 33.272 % |
193.50/193.79 c | 107410 | 57352 331514 962790 | 2147483647 105016 150 | 33.287 % |
194.00/194.20 c | 107752 | 57352 331514 962790 | 2147483647 105358 150 | 33.287 % |
194.80/195.08 c | 108124 | 57352 331514 962790 | 2147483647 105730 150 | 33.287 % |
195.90/196.11 c | 108533 | 57352 331514 962790 | 2147483647 106139 150 | 33.287 % |
196.70/196.98 c | 108984 | 57350 331514 962790 | 2147483647 106589 151 | 33.298 % |
198.10/198.32 c | 109483 | 57342 331514 962790 | 2147483647 107084 151 | 33.353 % |
199.71/199.91 c | 110025 | 57341 331514 962790 | 2147483647 107624 152 | 33.424 % |
201.30/201.59 c | 110621 | 57340 331514 962790 | 2147483647 108219 152 | 33.426 % |
202.60/202.84 c | 111279 | 57339 331514 962790 | 2147483647 108876 152 | 33.436 % |
204.50/204.74 c | 111999 | 57333 331514 962790 | 2147483647 109594 153 | 33.461 % |
206.10/206.38 c | 112794 | 57333 331514 962790 | 2147483647 110389 153 | 33.461 % |
207.20/207.49 c | 113665 | 57333 331514 962790 | 2147483647 111260 153 | 33.461 % |
210.49/210.71 c | 114628 | 57333 331514 962790 | 2147483647 112223 153 | 33.461 % |
213.40/213.66 c | 115681 | 57178 329837 958246 | 2147483647 112209 154 | 33.464 % |
216.40/216.68 c | 116839 | 57178 329837 958246 | 2147483647 113367 154 | 33.464 % |
220.09/220.32 c | 118117 | 57178 329837 958246 | 2147483647 114645 155 | 33.464 % |
220.29/220.57 c | 118217 | 57178 329837 958246 | 2147483647 114745 155 | 33.464 % |
220.59/220.87 c | 118327 | 57178 329837 958246 | 2147483647 114855 155 | 33.464 % |
221.09/221.33 c | 118450 | 57178 329837 958246 | 2147483647 114978 156 | 33.464 % |
221.69/221.98 c | 118593 | 57178 329837 958246 | 2147483647 115121 156 | 33.464 % |
222.19/222.41 c | 118741 | 57178 329837 958246 | 2147483647 115269 156 | 33.464 % |
222.69/222.92 c | 118903 | 57178 329837 958246 | 2147483647 115431 156 | 33.464 % |
222.99/223.27 c | 119080 | 57178 329837 958246 | 2147483647 115608 156 | 33.464 % |
223.69/223.97 c | 119277 | 57177 329837 958246 | 2147483647 115804 156 | 33.465 % |
224.29/224.52 c | 119490 | 57177 329837 958246 | 2147483647 116017 156 | 33.465 % |
224.88/225.15 c | 119723 | 57177 329837 958246 | 2147483647 116250 156 | 33.465 % |
225.78/226.03 c | 119982 | 57177 329837 958246 | 2147483647 116509 156 | 33.465 % |
226.49/226.78 c | 120263 | 57175 329837 958246 | 2147483647 116788 156 | 33.469 % |
226.89/227.12 c | 120573 | 57175 329837 958246 | 2147483647 117098 156 | 33.470 % |
227.19/227.49 c | 120912 | 57173 329837 958246 | 2147483647 117435 156 | 33.492 % |
228.50/228.71 c | 121285 | 57173 329837 958246 | 2147483647 117808 156 | 33.492 % |
229.99/230.22 c | 121695 | 57173 329837 958246 | 2147483647 118218 157 | 33.492 % |
231.49/231.71 c | 122144 | 57173 329837 958246 | 2147483647 118667 157 | 33.492 % |
232.59/232.84 c | 122638 | 57173 329837 958246 | 2147483647 119161 158 | 33.492 % |
233.29/233.52 c | 123182 | 57173 329837 958246 | 2147483647 119705 158 | 33.492 % |
234.68/234.96 c | 123783 | 57173 329837 958246 | 2147483647 120306 158 | 33.492 % |
236.08/236.39 c | 124438 | 57173 329837 958246 | 2147483647 120961 157 | 33.492 % |
238.18/238.45 c | 125158 | 57153 329608 957676 | 2147483647 121673 157 | 33.501 % |
240.18/240.46 c | 125950 | 57153 329608 957676 | 2147483647 122465 158 | 33.501 % |
242.29/242.54 c | 126821 | 57153 329608 957676 | 2147483647 123336 159 | 33.501 % |
243.89/244.15 c | 127781 | 57116 329608 957676 | 2147483647 124292 158 | 33.695 % |
245.39/245.63 c | 128835 | 57113 329608 957676 | 2147483647 125344 159 | 33.762 % |
247.88/248.14 c | 129996 | 57112 329608 957676 | 2147483647 126503 159 | 33.767 % |
251.18/251.43 c | 131274 | 57104 329608 957676 | 2147483647 127779 159 | 33.927 % |
254.08/254.30 c | 132675 | 57086 329608 957676 | 2147483647 129173 160 | 34.092 % |
254.18/254.50 c | 132776 | 57085 329608 957676 | 2147483647 129273 159 | 34.093 % |
254.48/254.79 c | 132886 | 57085 329608 957676 | 2147483647 129383 159 | 34.093 % |
254.98/255.28 c | 133009 | 57083 329608 957676 | 2147483647 129505 160 | 34.096 % |
255.27/255.52 c | 133144 | 57083 329608 957676 | 2147483647 129640 160 | 34.096 % |
255.47/255.75 c | 133290 | 57082 329608 957676 | 2147483647 129785 160 | 34.103 % |
256.08/256.32 c | 133451 | 57082 329608 957676 | 2147483647 129945 159 | 34.113 % |
256.58/256.87 c | 133630 | 57082 329608 957676 | 2147483647 130124 160 | 34.113 % |
257.28/257.50 c | 133829 | 57082 329608 957676 | 2147483647 130323 160 | 34.113 % |
257.78/258.02 c | 134043 | 57082 329608 957676 | 2147483647 130537 160 | 34.113 % |
258.68/258.94 c | 134277 | 57082 329608 957676 | 2147483647 130771 160 | 34.113 % |
259.28/259.53 c | 134534 | 57082 329608 957676 | 2147483647 131028 160 | 34.113 % |
259.78/260.07 c | 134815 | 57082 329608 957676 | 2147483647 131309 160 | 34.113 % |
260.18/260.44 c | 135124 | 57082 329608 957676 | 2147483647 131618 160 | 34.113 % |
261.38/261.63 c | 135463 | 57082 329608 957676 | 2147483647 131957 160 | 34.113 % |
262.78/263.02 c | 135835 | 57081 329608 957676 | 2147483647 132328 160 | 34.215 % |
263.78/264.01 c | 136244 | 57081 329608 957676 | 2147483647 132737 161 | 34.215 % |
264.98/265.25 c | 136695 | 57081 329608 957676 | 2147483647 133188 161 | 34.215 % |
266.77/267.01 c | 137188 | 56531 324284 944336 | 2147483647 133363 162 | 34.217 % |
268.68/268.94 c | 137731 | 56531 324284 944336 | 2147483647 133906 163 | 34.217 % |
270.38/270.69 c | 138327 | 56531 324284 944336 | 2147483647 134502 163 | 34.217 % |
271.37/271.69 c | 138985 | 56531 324284 944336 | 2147483647 135160 163 | 34.217 % |
273.47/273.71 c | 139707 | 56526 324284 944336 | 2147483647 135878 163 | 34.296 % |
275.37/275.69 c | 140499 | 56525 324284 944336 | 2147483647 136669 164 | 34.299 % |
278.07/278.35 c | 141370 | 56525 324284 944336 | 2147483647 137540 164 | 34.299 % |
280.18/280.44 c | 142329 | 56523 324284 944336 | 2147483647 138496 164 | 34.346 % |
282.87/283.17 c | 143383 | 56523 324284 944336 | 2147483647 139550 165 | 34.346 % |
286.36/286.66 c | 144541 | 56523 324284 944336 | 2147483647 140707 165 | 34.347 % |
288.36/288.68 c | 145818 | 56517 324284 944336 | 2147483647 141980 165 | 34.404 % |
289.87/290.11 c | 147220 | 56516 324284 944336 | 2147483647 143381 165 | 34.414 % |
291.67/291.92 c | 148761 | 56516 324284 944336 | 2147483647 144922 164 | 34.414 % |
291.77/292.03 c | 148863 | 56516 324284 944336 | 2147483647 145024 164 | 34.414 % |
291.87/292.14 c | 148973 | 56516 324284 944336 | 2147483647 145134 164 | 34.414 % |
292.07/292.30 c | 149094 | 56516 324284 944336 | 2147483647 145255 164 | 34.414 % |
292.17/292.44 c | 149227 | 56515 324284 944336 | 2147483647 145387 164 | 34.421 % |
292.47/292.73 c | 149373 | 56515 324284 944336 | 2147483647 145533 164 | 34.421 % |
292.66/292.90 c | 149540 | 56515 324284 944336 | 2147483647 145700 164 | 34.421 % |
292.86/293.19 c | 149717 | 56513 324284 944336 | 2147483647 145877 164 | 34.421 % |
293.37/293.70 c | 149910 | 56511 324284 944336 | 2147483647 146069 164 | 34.430 % |
293.76/294.08 c | 150122 | 56511 324284 944336 | 2147483647 146281 164 | 34.430 % |
294.46/294.77 c | 150358 | 56511 324284 944336 | 2147483647 146517 164 | 34.430 % |
295.77/296.07 c | 150614 | 56511 324284 944336 | 2147483647 146773 164 | 34.430 % |
296.27/296.52 c | 150895 | 56511 324284 944336 | 2147483647 147054 164 | 34.430 % |
297.07/297.31 c | 151204 | 56346 322959 940962 | 2147483647 147286 164 | 34.440 % |
297.77/298.09 c | 151544 | 56346 322959 940962 | 2147483647 147626 165 | 34.440 % |
298.67/298.96 c | 151917 | 56344 322959 940962 | 2147483647 147997 165 | 34.446 % |
300.17/300.46 c | 152328 | 56344 322959 940962 | 2147483647 148408 165 | 34.446 % |
300.77/301.09 c | 152778 | 56340 322959 940962 | 2147483647 148856 165 | 34.488 % |
302.27/302.54 c | 153272 | 56339 322959 940962 | 2147483647 149349 165 | 34.489 % |
303.96/304.23 c | 153817 | 56339 322959 940962 | 2147483647 149894 165 | 34.489 % |
306.26/306.57 c | 154415 | 56339 322959 940962 | 2147483647 150492 166 | 34.489 % |
307.96/308.25 c | 155072 | 56339 322959 940962 | 2147483647 151149 166 | 34.489 % |
310.26/310.53 c | 155792 | 56339 322959 940962 | 2147483647 151868 167 | 34.492 % |
313.46/313.78 c | 156585 | 56338 322959 940962 | 2147483647 152660 167 | 34.494 % |
316.86/317.15 c | 157460 | 56337 322959 940962 | 2147483647 153534 168 | 34.504 % |
320.06/320.39 c | 158418 | 56336 322959 940962 | 2147483647 154490 168 | 34.514 % |
323.35/323.66 c | 159473 | 56336 322959 940962 | 2147483647 155545 168 | 34.514 % |
326.55/326.81 c | 160633 | 56334 322959 940962 | 2147483647 156703 168 | 34.538 % |
328.56/328.85 c | 161906 | 56334 322959 940962 | 2147483647 157976 168 | 34.538 % |
332.65/332.98 c | 163306 | 56333 322959 940962 | 2147483647 159374 168 | 34.585 % |
337.15/337.45 c | 164846 | 56322 322959 940962 | 2147483647 160911 168 | 34.641 % |
343.85/344.12 c | 166542 | 56162 321453 936907 | 2147483647 162272 169 | 34.809 % |
344.15/344.46 c | 166642 | 56160 321453 936907 | 2147483647 162371 169 | 34.819 % |
344.45/344.77 c | 166752 | 56160 321453 936907 | 2147483647 162481 169 | 34.819 % |
344.85/345.12 c | 166878 | 56160 321453 936907 | 2147483647 162607 169 | 34.819 % |
345.35/345.69 c | 167011 | 56160 321453 936907 | 2147483647 162740 169 | 34.819 % |
346.15/346.40 c | 167158 | 56160 321453 936907 | 2147483647 162887 169 | 34.819 % |
346.64/346.98 c | 167321 | 56160 321453 936907 | 2147483647 163050 169 | 34.819 % |
347.35/347.66 c | 167505 | 56160 321453 936907 | 2147483647 163234 169 | 34.819 % |
348.35/348.63 c | 167698 | 56159 321453 936907 | 2147483647 163426 169 | 34.850 % |
349.14/349.43 c | 167910 | 56159 321453 936907 | 2147483647 163638 170 | 34.850 % |
349.75/350.08 c | 168145 | 56159 321453 936907 | 2147483647 163873 170 | 34.850 % |
350.55/350.88 c | 168404 | 56159 321453 936907 | 2147483647 164132 170 | 34.850 % |
352.45/352.72 c | 168685 | 56159 321453 936907 | 2147483647 164413 170 | 34.850 % |
353.35/353.62 c | 168995 | 56159 321453 936907 | 2147483647 164723 170 | 34.850 % |
354.25/354.58 c | 169335 | 56159 321453 936907 | 2147483647 165063 170 | 34.850 % |
355.34/355.63 c | 169707 | 56159 321453 936907 | 2147483647 165435 170 | 34.850 % |
356.15/356.45 c | 170117 | 56159 321453 936907 | 2147483647 165845 170 | 34.850 % |
357.14/357.45 c | 170571 | 56159 321453 936907 | 2147483647 166299 170 | 34.850 % |
357.84/358.16 c | 171064 | 56158 321453 936907 | 2147483647 166791 170 | 34.858 % |
359.94/360.20 c | 171609 | 56158 321453 936907 | 2147483647 167336 170 | 34.858 % |
362.14/362.42 c | 172205 | 56158 321453 936907 | 2147483647 167930 170 | 34.965 % |
364.94/365.26 c | 172860 | 56158 321453 936907 | 2147483647 168585 171 | 34.965 % |
366.93/367.28 c | 173580 | 56158 321453 936907 | 2147483647 169305 171 | 34.965 % |
371.33/371.68 c | 174373 | 56156 321453 936907 | 2147483647 170097 171 | 34.975 % |
375.24/375.52 c | 175246 | 56156 321453 936907 | 2147483647 170970 172 | 34.975 % |
378.23/378.53 c | 176206 | 56156 321453 936907 | 2147483647 171929 172 | 34.976 % |
381.23/381.57 c | 177260 | 56154 321453 936907 | 2147483647 172981 172 | 35.107 % |
383.23/383.51 c | 178421 | 56153 321453 936907 | 2147483647 174140 172 | 35.117 % |
385.13/385.45 c | 179699 | 55757 318934 930425 | 2147483647 175142 172 | 35.117 % |
390.73/391.02 c | 181100 | 55755 318934 930425 | 2147483647 176542 173 | 35.128 % |
396.23/396.54 c | 182643 | 55754 318934 930425 | 2147483647 178083 173 | 35.143 % |
403.32/403.65 c | 184337 | 55754 318934 930425 | 2147483647 179777 174 | 35.143 % |
406.73/407.04 c | 186202 | 55753 318934 930425 | 2147483647 181641 174 | 35.153 % |
406.92/407.23 c | 186302 | 55753 318934 930425 | 2147483647 181741 174 | 35.153 % |
407.02/407.31 c | 186412 | 55753 318934 930425 | 2147483647 181851 174 | 35.153 % |
407.62/407.90 c | 186533 | 55753 318934 930425 | 2147483647 181972 174 | 35.153 % |
408.32/408.60 c | 186668 | 55753 318934 930425 | 2147483647 182107 174 | 35.153 % |
409.22/409.57 c | 186814 | 55753 318934 930425 | 2147483647 182253 174 | 35.153 % |
409.72/410.07 c | 186978 | 55753 318934 930425 | 2147483647 182417 174 | 35.153 % |
410.62/410.94 c | 187154 | 55753 318934 930425 | 2147483647 182593 175 | 35.153 % |
411.32/411.60 c | 187347 | 55753 318934 930425 | 2147483647 182786 175 | 35.153 % |
411.71/412.09 c | 187562 | 55753 318934 930425 | 2147483647 183001 175 | 35.153 % |
412.52/412.84 c | 187799 | 55753 318934 930425 | 2147483647 183238 175 | 35.153 % |
413.33/413.62 c | 188056 | 55752 318934 930425 | 2147483647 183494 175 | 35.154 % |
414.72/415.02 c | 188339 | 55752 318934 930425 | 2147483647 183777 175 | 35.154 % |
415.22/415.59 c | 188651 | 55752 318934 930425 | 2147483647 184089 175 | 35.155 % |
416.22/416.56 c | 188990 | 55752 318934 930425 | 2147483647 184428 175 | 35.154 % |
417.22/417.56 c | 189363 | 55752 318934 930425 | 2147483647 184801 175 | 35.154 % |
418.52/418.80 c | 189776 | 55752 318934 930425 | 2147483647 185214 175 | 35.154 % |
419.52/419.82 c | 190225 | 55752 318934 930425 | 2147483647 185663 175 | 35.154 % |
421.91/422.22 c | 190725 | 55752 318934 930425 | 2147483647 186163 175 | 35.154 % |
423.22/423.51 c | 191269 | 55750 318934 930425 | 2147483647 186706 175 | 35.171 % |
424.71/425.06 c | 191870 | 55749 318934 930425 | 2147483647 187305 175 | 35.173 % |
427.11/427.46 c | 192526 | 55749 318934 930425 | 2147483647 187961 175 | 35.173 % |
429.61/429.99 c | 193246 | 55749 318934 930425 | 2147483647 188681 176 | 35.173 % |
432.71/433.03 c | 194039 | 55748 318934 930425 | 2147483647 189473 176 | 35.184 % |
436.21/436.53 c | 194913 | 55747 318934 930425 | 2147483647 190345 176 | 35.199 % |
438.91/439.23 c | 195871 | 55747 318934 930425 | 2147483647 191303 177 | 35.199 % |
442.50/442.83 c | 196924 | 55687 318447 929166 | 2147483647 192319 177 | 35.199 % |
447.01/447.33 c | 198083 | 55687 318447 929166 | 2147483647 193477 177 | 35.203 % |
452.51/452.87 c | 199356 | 55687 318447 929166 | 2147483647 194749 178 | 35.205 % |
458.21/458.50 c | 200758 | 55685 318447 929166 | 2147483647 196148 178 | 35.228 % |
464.10/464.46 c | 202299 | 55683 318447 929166 | 2147483647 197688 179 | 35.237 % |
470.60/470.90 c | 203994 | 55681 318447 929166 | 2147483647 199381 180 | 35.239 % |
475.30/475.64 c | 205858 | 55676 318447 929166 | 2147483647 201244 181 | 35.252 % |
479.70/480.04 c | 207907 | 55676 318447 929166 | 2147483647 203293 181 | 35.252 % |
480.10/480.41 c | 208011 | 55676 318447 929166 | 2147483647 203397 181 | 35.252 % |
480.80/481.19 c | 208122 | 55676 318447 929166 | 2147483647 203508 181 | 35.252 % |
481.40/481.79 c | 208243 | 55676 318447 929166 | 2147483647 203629 181 | 35.252 % |
481.89/482.28 c | 208376 | 55676 318447 929166 | 2147483647 203762 181 | 35.252 % |
482.50/482.83 c | 208522 | 55676 318447 929166 | 2147483647 203908 181 | 35.252 % |
483.09/483.42 c | 208683 | 55676 318447 929166 | 2147483647 204069 181 | 35.252 % |
483.49/483.90 c | 208859 | 55676 318447 929166 | 2147483647 204245 181 | 35.252 % |
484.49/484.90 c | 209052 | 55676 318447 929166 | 2147483647 204438 181 | 35.252 % |
485.49/485.80 c | 209268 | 55676 318447 929166 | 2147483647 204654 181 | 35.252 % |
486.19/486.57 c | 209502 | 55676 318447 929166 | 2147483647 204888 181 | 35.252 % |
486.90/487.29 c | 209763 | 55676 318447 929166 | 2147483647 205149 181 | 35.252 % |
487.50/487.86 c | 210045 | 55676 318447 929166 | 2147483647 205431 181 | 35.252 % |
488.80/489.18 c | 210359 | 55676 318447 929166 | 2147483647 205745 181 | 35.252 % |
489.80/490.15 c | 210698 | 55675 318447 929166 | 2147483647 206083 181 | 35.253 % |
491.00/491.30 c | 211071 | 55675 318447 929166 | 2147483647 206456 181 | 35.253 % |
493.19/493.56 c | 211482 | 55673 318447 929166 | 2147483647 206865 181 | 35.692 % |
494.39/494.75 c | 211931 | 55671 318447 929166 | 2147483647 207313 181 | 35.719 % |
495.39/495.80 c | 212425 | 55668 318447 929166 | 2147483647 207805 181 | 35.737 % |
497.59/497.96 c | 212969 | 55668 318447 929166 | 2147483647 208349 181 | 35.737 % |
499.80/500.11 c | 213568 | 55668 318447 929166 | 2147483647 208948 182 | 35.737 % |
502.39/502.77 c | 214225 | 55667 318447 929166 | 2147483647 209604 182 | 35.741 % |
506.09/506.50 c | 214949 | 55667 318447 929166 | 2147483647 210328 182 | 35.741 % |
509.08/509.48 c | 215741 | 55219 312667 913073 | 2147483647 210970 182 | 35.749 % |
512.29/512.61 c | 216612 | 55213 312667 913073 | 2147483647 211837 182 | 35.839 % |
515.99/516.37 c | 217570 | 55212 312667 913073 | 2147483647 212794 183 | 35.843 % |
519.89/520.23 c | 218625 | 55212 312667 913073 | 2147483647 213849 182 | 35.843 % |
524.38/524.71 c | 219786 | 55211 312667 913073 | 2147483647 215009 182 | 35.855 % |
527.08/527.46 c | 221063 | 55211 312667 913073 | 2147483647 216286 183 | 35.855 % |
531.38/531.73 c | 222466 | 55211 312667 913073 | 2147483647 217688 182 | 35.857 % |
536.49/536.80 c | 224010 | 55199 312667 913073 | 2147483647 219230 183 | 35.957 % |
542.98/543.31 c | 225705 | 55191 312667 913073 | 2147483647 220917 183 | 36.134 % |
550.58/550.95 c | 227569 | 55189 312667 913073 | 2147483647 222778 184 | 36.251 % |
558.58/559.00 c | 229618 | 55188 312667 913073 | 2147483647 224826 184 | 36.252 % |
569.37/569.71 c | 231871 | 55188 312667 913073 | 2147483647 227079 184 | 36.252 % |
569.77/570.18 c | 231972 | 55188 312667 913073 | 2147483647 227180 184 | 36.252 % |
570.17/570.59 c | 232083 | 55188 312667 913073 | 2147483647 227291 184 | 36.252 % |
570.87/571.21 c | 232204 | 55188 312667 913073 | 2147483647 227412 184 | 36.252 % |
571.47/571.87 c | 232347 | 55188 312667 913073 | 2147483647 227555 184 | 36.252 % |
571.87/572.25 c | 232493 | 55188 312667 913073 | 2147483647 227701 184 | 36.252 % |
572.97/573.33 c | 232654 | 55188 312667 913073 | 2147483647 227862 184 | 36.252 % |
573.37/573.79 c | 232836 | 55186 312667 913073 | 2147483647 228042 184 | 36.268 % |
574.37/574.79 c | 233034 | 55186 312667 913073 | 2147483647 228240 184 | 36.268 % |
575.27/575.69 c | 233246 | 55172 312667 913073 | 2147483647 228451 184 | 37.256 % |
576.07/576.47 c | 233479 | 55172 312667 913073 | 2147483647 228684 184 | 37.256 % |
577.17/577.59 c | 233735 | 55172 312667 913073 | 2147483647 228940 184 | 37.256 % |
578.77/579.20 c | 234016 | 53919 303607 888935 | 2147483647 222517 184 | 37.256 % |
579.67/580.00 c | 234326 | 53919 303607 888935 | 2147483647 222827 184 | 37.256 % |
581.27/581.67 c | 234665 | 53919 303607 888935 | 2147483647 223166 184 | 37.256 % |
582.47/582.85 c | 235038 | 53919 303607 888935 | 2147483647 223539 184 | 37.256 % |
583.47/583.88 c | 235447 | 53918 303607 888935 | 2147483647 223947 184 | 37.264 % |
585.47/585.81 c | 235904 | 53918 303607 888935 | 2147483647 224404 184 | 37.264 % |
587.26/587.61 c | 236397 | 53917 303607 888935 | 2147483647 224894 185 | 37.751 % |
588.96/589.39 c | 236947 | 53917 303607 888935 | 2147483647 225444 185 | 37.751 % |
590.96/591.32 c | 237544 | 53917 303607 888935 | 2147483647 226041 185 | 37.751 % |
593.57/593.91 c | 238208 | 53915 303607 888935 | 2147483647 226703 185 | 37.763 % |
595.96/596.30 c | 238929 | 53915 303607 888935 | 2147483647 227424 185 | 37.763 % |
597.86/598.28 c | 239725 | 53915 303607 888935 | 2147483647 228220 185 | 37.763 % |
599.96/600.31 c | 240604 | 53913 303607 888935 | 2147483647 229097 185 | 37.872 % |
601.46/601.81 c | 241563 | 53913 303607 888935 | 2147483647 230056 185 | 37.872 % |
605.96/606.33 c | 242617 | 53913 303607 888935 | 2147483647 231110 185 | 37.872 % |
610.26/610.69 c | 243775 | 53913 303607 888935 | 2147483647 232268 185 | 37.872 % |
614.25/614.66 c | 245049 | 53913 303607 888935 | 2147483647 233541 186 | 37.873 % |
618.76/619.13 c | 246450 | 53909 303607 888935 | 2147483647 234940 186 | 37.908 % |
623.25/623.66 c | 247993 | 53908 303607 888935 | 2147483647 236482 186 | 37.909 % |
629.75/630.17 c | 249688 | 53907 303607 888935 | 2147483647 238176 186 | 37.922 % |
636.75/637.18 c | 251555 | 53907 303607 888935 | 2147483647 240043 187 | 37.922 % |
646.64/647.05 c | 253605 | 53904 303607 888935 | 2147483647 242090 187 | 37.944 % |
656.25/656.65 c | 255862 | 53903 303607 888935 | 2147483647 244345 188 | 37.957 % |
665.84/666.26 c | 258343 | 53309 296885 870315 | 2147483647 246590 188 | 37.974 % |
666.44/666.84 c | 258443 | 53309 296885 870315 | 2147483647 246690 188 | 37.974 % |
666.94/667.37 c | 258554 | 53309 296885 870315 | 2147483647 246801 188 | 37.974 % |
667.54/668.00 c | 258675 | 53309 296885 870315 | 2147483647 246922 188 | 37.974 % |
668.24/668.63 c | 258808 | 53307 296885 870315 | 2147483647 247053 188 | 38.549 % |
668.84/669.22 c | 258954 | 53307 296885 870315 | 2147483647 247199 188 | 38.549 % |
669.54/669.91 c | 259114 | 53307 296885 870315 | 2147483647 247359 188 | 38.549 % |
670.24/670.64 c | 259290 | 53307 296885 870315 | 2147483647 247535 188 | 38.549 % |
670.94/671.35 c | 259483 | 53307 296885 870315 | 2147483647 247728 188 | 38.549 % |
671.84/672.28 c | 259695 | 53307 296885 870315 | 2147483647 247940 188 | 38.549 % |
672.64/673.07 c | 259928 | 53307 296885 870315 | 2147483647 248173 188 | 38.549 % |
673.43/673.80 c | 260194 | 53307 296885 870315 | 2147483647 248439 188 | 38.549 % |
673.84/674.23 c | 260476 | 53307 296885 870315 | 2147483647 248721 188 | 38.549 % |
674.73/675.17 c | 260785 | 53307 296885 870315 | 2147483647 249029 188 | 38.564 % |
675.83/676.29 c | 261126 | 53307 296885 870315 | 2147483647 249370 188 | 38.564 % |
677.43/677.82 c | 261498 | 53307 296885 870315 | 2147483647 249742 188 | 38.564 % |
678.63/679.07 c | 261911 | 53307 296885 870315 | 2147483647 250155 188 | 38.564 % |
679.84/680.27 c | 262360 | 53307 296885 870315 | 2147483647 250604 188 | 38.564 % |
681.64/682.08 c | 262856 | 53307 296885 870315 | 2147483647 251100 188 | 38.564 % |
682.83/683.24 c | 263399 | 53307 296885 870315 | 2147483647 251643 188 | 38.564 % |
684.93/685.35 c | 263996 | 53307 296885 870315 | 2147483647 252240 188 | 38.564 % |
686.03/686.43 c | 264653 | 53307 296885 870315 | 2147483647 252897 188 | 38.564 % |
688.93/689.32 c | 265375 | 53307 296885 870315 | 2147483647 253619 188 | 38.564 % |
691.32/691.75 c | 266168 | 53305 296885 870315 | 2147483647 254411 188 | 38.571 % |
695.03/695.46 c | 267042 | 53304 296885 870315 | 2147483647 255284 188 | 38.573 % |
699.63/700.06 c | 268005 | 53304 296885 870315 | 2147483647 256247 188 | 38.573 % |
703.73/704.19 c | 269059 | 53304 296885 870315 | 2147483647 257301 188 | 38.573 % |
708.83/709.30 c | 270217 | 53302 296885 870315 | 2147483647 258456 188 | 38.580 % |
713.83/714.20 c | 271491 | 53302 296885 870315 | 2147483647 259730 188 | 38.580 % |
719.22/719.63 c | 272891 | 53302 296885 870315 | 2147483647 261130 188 | 38.580 % |
722.82/723.21 c | 274434 | 53302 296885 870315 | 2147483647 262673 188 | 38.580 % |
730.52/730.93 c | 276128 | 53302 296885 870315 | 2147483647 264367 189 | 38.580 % |
737.22/737.67 c | 278009 | 53302 296885 870315 | 2147483647 266248 189 | 38.580 % |
745.51/746.00 c | 280065 | 53299 296885 870315 | 2147483647 268300 190 | 38.612 % |
755.91/756.38 c | 282322 | 52696 290917 853949 | 2147483647 238342 177 | 38.679 % |
761.91/762.36 c | 284800 | 52694 290917 853949 | 2147483647 240818 178 | 38.682 % |
772.70/773.13 c | 287535 | 52694 290917 853949 | 2147483647 243553 179 | 38.682 % |
773.20/773.67 c | 287639 | 52694 290917 853949 | 2147483647 243657 179 | 38.682 % |
773.80/774.28 c | 287749 | 52693 290917 853949 | 2147483647 243766 179 | 38.690 % |
774.30/774.75 c | 287870 | 52693 290917 853949 | 2147483647 243887 179 | 38.690 % |
774.80/775.26 c | 288006 | 52693 290917 853949 | 2147483647 244023 179 | 38.690 % |
775.30/775.77 c | 288152 | 52693 290917 853949 | 2147483647 244169 179 | 38.690 % |
775.90/776.33 c | 288312 | 52693 290917 853949 | 2147483647 244329 179 | 38.690 % |
776.70/777.11 c | 288488 | 52692 290917 853949 | 2147483647 244503 179 | 38.715 % |
777.30/777.71 c | 288681 | 52692 290917 853949 | 2147483647 244696 179 | 38.715 % |
778.30/778.75 c | 288895 | 52692 290917 853949 | 2147483647 244910 179 | 38.715 % |
778.80/779.26 c | 289130 | 52692 290917 853949 | 2147483647 245145 179 | 38.715 % |
779.50/779.90 c | 289387 | 52692 290917 853949 | 2147483647 245401 179 | 38.746 % |
780.60/781.08 c | 289669 | 52692 290917 853949 | 2147483647 245683 179 | 38.746 % |
781.90/782.40 c | 289979 | 52692 290917 853949 | 2147483647 245993 179 | 38.746 % |
784.00/784.41 c | 290321 | 52692 290917 853949 | 2147483647 246335 179 | 38.746 % |
785.50/785.94 c | 290693 | 52692 290917 853949 | 2147483647 246707 179 | 38.746 % |
788.30/788.79 c | 291104 | 52692 290917 853949 | 2147483647 247118 179 | 38.746 % |
790.10/790.51 c | 291553 | 52692 290917 853949 | 2147483647 247567 179 | 38.746 % |
792.10/792.55 c | 292046 | 52692 290917 853949 | 2147483647 248060 179 | 38.746 % |
793.81/794.28 c | 292588 | 52691 290917 853949 | 2147483647 248601 179 | 38.758 % |
796.01/796.44 c | 293188 | 52691 290917 853949 | 2147483647 249201 179 | 38.758 % |
798.70/799.16 c | 293843 | 52691 290917 853949 | 2147483647 249856 179 | 38.758 % |
802.30/802.72 c | 294567 | 52691 290917 853949 | 2147483647 250580 179 | 38.758 % |
805.20/805.68 c | 295360 | 52690 290917 853949 | 2147483647 251372 180 | 38.765 % |
807.40/807.87 c | 296234 | 52690 290917 853949 | 2147483647 252246 180 | 38.765 % |
812.10/812.50 c | 297192 | 52689 290917 853949 | 2147483647 253203 180 | 38.767 % |
817.29/817.78 c | 298245 | 52689 290917 853949 | 2147483647 254256 180 | 38.767 % |
822.40/822.82 c | 299403 | 52683 290917 853949 | 2147483647 255412 181 | 38.819 % |
829.49/829.97 c | 300677 | 52683 290917 853949 | 2147483647 256686 181 | 38.819 % |
834.89/835.30 c | 302077 | 52683 290917 853949 | 2147483647 258086 182 | 38.819 % |
843.39/843.80 c | 303623 | 52576 290089 851944 | 2147483647 259472 182 | 38.819 % |
850.69/851.15 c | 305317 | 52576 290089 851944 | 2147483647 261166 183 | 38.819 % |
858.28/858.78 c | 307180 | 52575 290089 851944 | 2147483647 263027 183 | 38.860 % |
869.08/869.59 c | 309234 | 52575 290089 851944 | 2147483647 265081 184 | 38.860 % |
877.88/878.39 c | 311490 | 52575 290089 851944 | 2147483647 267337 184 | 38.860 % |
888.87/889.30 c | 313971 | 52571 290089 851944 | 2147483647 269816 185 | 38.868 % |
898.17/898.68 c | 316696 | 52571 290089 851944 | 2147483647 272541 185 | 38.868 % |
909.87/910.34 c | 319697 | 52567 290089 851944 | 2147483647 275540 186 | 39.060 % |
910.17/910.61 c | 319797 | 52567 290089 851944 | 2147483647 275640 186 | 39.060 % |
910.37/910.81 c | 319908 | 52567 290089 851944 | 2147483647 275751 186 | 39.060 % |
910.77/911.21 c | 320032 | 52567 290089 851944 | 2147483647 275875 186 | 39.060 % |
911.17/911.68 c | 320169 | 52567 290089 851944 | 2147483647 276012 186 | 39.060 % |
911.57/912.05 c | 320315 | 52567 290089 851944 | 2147483647 276158 186 | 39.060 % |
911.97/912.44 c | 320479 | 52567 290089 851944 | 2147483647 276322 186 | 39.060 % |
912.57/913.04 c | 320657 | 52567 290089 851944 | 2147483647 276500 186 | 39.060 % |
913.47/913.94 c | 320852 | 52567 290089 851944 | 2147483647 276695 186 | 39.060 % |
914.67/915.18 c | 321064 | 52566 290089 851944 | 2147483647 276906 186 | 39.061 % |
915.96/916.43 c | 321299 | 52566 290089 851944 | 2147483647 277141 186 | 39.061 % |
917.46/917.94 c | 321559 | 52564 290089 851944 | 2147483647 277400 186 | 39.082 % |
918.76/919.23 c | 321842 | 52563 290089 851944 | 2147483647 277681 186 | 39.105 % |
920.66/921.12 c | 322159 | 52563 290089 851944 | 2147483647 277998 186 | 39.105 % |
922.56/923.03 c | 322500 | 52563 290089 851944 | 2147483647 278339 186 | 39.105 % |
924.46/924.97 c | 322872 | 52563 290089 851944 | 2147483647 278711 186 | 39.105 % |
926.36/926.87 c | 323282 | 52563 290089 851944 | 2147483647 279121 186 | 39.105 % |
928.26/928.73 c | 323736 | 52563 290089 851944 | 2147483647 279575 187 | 39.105 % |
930.56/931.04 c | 324231 | 52563 290089 851944 | 2147483647 280070 187 | 39.105 % |
933.56/934.02 c | 324773 | 52562 290089 851944 | 2147483647 280611 187 | 39.106 % |
936.66/937.10 c | 325369 | 52560 290089 851944 | 2147483647 281205 187 | 39.116 % |
940.25/940.75 c | 326024 | 52560 290089 851944 | 2147483647 281859 187 | 39.138 % |
943.55/944.09 c | 326744 | 52279 288174 846747 | 2147483647 282471 187 | 39.165 % |
946.45/947.00 c | 327536 | 52277 288174 846747 | 2147483647 283262 187 | 39.212 % |
950.45/950.91 c | 328408 | 52277 288174 846747 | 2147483647 284133 187 | 39.216 % |
951.55/952.08 c | 329366 | 52277 288174 846747 | 2147483647 285091 187 | 39.216 % |
956.65/957.11 c | 330419 | 52275 288174 846747 | 2147483647 286143 188 | 39.227 % |
961.35/961.84 c | 331579 | 52275 288174 846747 | 2147483647 287303 188 | 39.227 % |
968.35/968.80 c | 332852 | 52275 288174 846747 | 2147483647 288576 188 | 39.227 % |
976.74/977.22 c | 334252 | 52271 288174 846747 | 2147483647 289973 189 | 39.240 % |
983.75/984.21 c | 335794 | 52268 288174 846747 | 2147483647 291512 189 | 39.255 % |
991.65/992.16 c | 337492 | 52264 288174 846747 | 2147483647 293208 189 | 39.266 % |
1001.13/1001.66 c | 339356 | 52264 288174 846747 | 2147483647 295072 190 | 39.266 % |
1010.74/1011.25 c | 341405 | 52264 288174 846747 | 2147483647 297121 190 | 39.266 % |
1020.03/1020.51 c | 343658 | 52264 288174 846747 | 2147483647 299374 190 | 39.266 % |
1032.83/1033.34 c | 346138 | 52264 288174 846747 | 2147483647 301854 190 | 39.266 % |
1046.93/1047.43 c | 348865 | 52264 288174 846747 | 2147483647 304581 190 | 39.266 % |
1062.92/1063.46 c | 351864 | 52262 288174 846747 | 2147483647 307578 190 | 39.279 % |
1082.92/1083.50 c | 355160 | 52179 287511 845086 | 2147483647 310764 192 | 39.284 % |
1083.41/1083.93 c | 355260 | 52179 287511 845086 | 2147483647 310864 192 | 39.284 % |
1084.02/1084.53 c | 355374 | 52179 287511 845086 | 2147483647 310978 192 | 39.284 % |
1084.61/1085.20 c | 355497 | 52179 287511 845086 | 2147483647 311101 192 | 39.284 % |
1085.81/1086.38 c | 355630 | 52179 287511 845086 | 2147483647 311234 192 | 39.284 % |
1087.01/1087.58 c | 355776 | 52179 287511 845086 | 2147483647 311380 192 | 39.284 % |
1088.11/1088.64 c | 355936 | 52179 287511 845086 | 2147483647 311540 192 | 39.284 % |
1089.01/1089.56 c | 356112 | 52179 287511 845086 | 2147483647 311716 192 | 39.284 % |
1090.11/1090.61 c | 356317 | 52179 287511 845086 | 2147483647 311921 192 | 39.284 % |
1091.51/1092.07 c | 356529 | 52179 287511 845086 | 2147483647 312133 192 | 39.284 % |
1092.82/1093.35 c | 356762 | 52179 287511 845086 | 2147483647 312366 192 | 39.284 % |
1095.02/1095.51 c | 357018 | 52179 287511 845086 | 2147483647 312622 192 | 39.284 % |
1096.81/1097.37 c | 357303 | 52179 287511 845086 | 2147483647 312907 192 | 39.284 % |
1099.21/1099.74 c | 357614 | 52179 287511 845086 | 2147483647 313218 192 | 39.284 % |
1101.21/1101.72 c | 357957 | 52179 287511 845086 | 2147483647 313561 192 | 39.284 % |
1103.61/1104.12 c | 358329 | 52179 287511 845086 | 2147483647 313933 192 | 39.284 % |
1105.71/1106.25 c | 358739 | 52179 287511 845086 | 2147483647 314343 192 | 39.284 % |
1108.21/1108.77 c | 359189 | 52179 287511 845086 | 2147483647 314793 192 | 39.284 % |
1110.90/1111.49 c | 359685 | 52179 287511 845086 | 2147483647 315289 192 | 39.284 % |
1114.20/1114.74 c | 360231 | 52179 287511 845086 | 2147483647 315835 193 | 39.284 % |
1116.50/1117.08 c | 360828 | 52179 287511 845086 | 2147483647 316432 193 | 39.284 % |
1120.80/1121.39 c | 361488 | 52179 287511 845086 | 2147483647 317092 193 | 39.284 % |
1124.71/1125.24 c | 362208 | 52178 287511 845086 | 2147483647 317811 193 | 39.286 % |
1129.70/1130.23 c | 363000 | 52178 287511 845086 | 2147483647 318603 193 | 39.286 % |
1132.90/1133.42 c | 363874 | 52177 287511 845086 | 2147483647 319476 193 | 39.287 % |
1134.99/1135.57 c | 364832 | 52177 287511 845086 | 2147483647 320434 193 | 39.287 % |
1140.10/1140.63 c | 365886 | 52176 287511 845086 | 2147483647 321485 193 | 39.386 % |
1147.99/1148.52 c | 367048 | 52176 287511 845086 | 2147483647 322647 194 | 39.386 % |
1151.49/1152.04 c | 368321 | 52176 287511 845086 | 2147483647 323920 193 | 39.386 % |
1159.59/1160.13 c | 369721 | 52176 287511 845086 | 2147483647 325320 193 | 39.386 % |
1168.88/1169.44 c | 371262 | 52176 287511 845086 | 2147483647 326860 194 | 39.396 % |
1177.78/1178.35 c | 372956 | 52176 287511 845086 | 2147483647 328554 194 | 39.396 % |
1181.88/1182.46 c | 374819 | 52175 287511 845086 | 2147483647 330416 195 | 39.397 % |
1192.88/1193.43 c | 376874 | 52175 287511 845086 | 2147483647 332471 195 | 39.397 % |
1205.08/1205.69 c | 379131 | 52175 287511 845086 | 2147483647 334728 195 | 39.397 % |
1219.17/1219.70 c | 381612 | 52175 287511 845086 | 2147483647 337209 195 | 39.397 % |
1236.17/1236.72 c | 384337 | 52078 286953 843710 | 2147483647 339808 195 | 39.407 % |
1258.46/1259.10 c | 387336 | 52078 286953 843710 | 2147483647 342806 195 | 39.417 % |
1282.36/1282.99 c | 390644 | 52075 286953 843710 | 2147483647 346112 196 | 39.430 % |
1302.35/1302.95 c | 394269 | 52075 286953 843710 | 2147483647 349737 197 | 39.430 % |
1302.95/1303.56 c | 394370 | 52075 286953 843710 | 2147483647 349838 197 | 39.430 % |
1303.45/1304.10 c | 394480 | 52075 286953 843710 | 2147483647 349948 197 | 39.430 % |
1304.45/1305.00 c | 394601 | 52075 286953 843710 | 2147483647 350069 197 | 39.430 % |
1304.94/1305.59 c | 394741 | 52075 286953 843710 | 2147483647 350209 197 | 39.430 % |
1305.75/1306.30 c | 394887 | 52075 286953 843710 | 2147483647 350355 197 | 39.430 % |
1306.65/1307.29 c | 395049 | 52075 286953 843710 | 2147483647 350517 197 | 39.430 % |
1307.55/1308.15 c | 395226 | 52075 286953 843710 | 2147483647 350694 197 | 39.430 % |
1308.65/1309.25 c | 395419 | 52075 286953 843710 | 2147483647 350887 197 | 39.430 % |
1310.15/1310.77 c | 395636 | 52075 286953 843710 | 2147483647 351104 197 | 39.430 % |
1312.05/1312.68 c | 395872 | 52075 286953 843710 | 2147483647 351340 197 | 39.430 % |
1313.75/1314.38 c | 396128 | 52075 286953 843710 | 2147483647 351595 197 | 39.432 % |
1316.05/1316.69 c | 396409 | 52075 286953 843710 | 2147483647 351876 197 | 39.432 % |
1318.74/1319.37 c | 396720 | 52075 286953 843710 | 2147483647 352187 197 | 39.432 % |
1321.45/1322.07 c | 397062 | 52075 286953 843710 | 2147483647 352529 197 | 39.432 % |
1324.15/1324.74 c | 397434 | 52075 286953 843710 | 2147483647 352901 197 | 39.432 % |
1327.24/1327.88 c | 397845 | 52075 286953 843710 | 2147483647 353312 197 | 39.432 % |
1330.44/1331.03 c | 398294 | 52075 286953 843710 | 2147483647 353761 197 | 39.432 % |
1333.84/1334.42 c | 398788 | 52075 286953 843710 | 2147483647 354255 197 | 39.432 % |
1337.34/1337.99 c | 399330 | 52075 286953 843710 | 2147483647 354797 197 | 39.432 % |
1341.64/1342.29 c | 399928 | 52075 286953 843710 | 2147483647 355394 197 | 39.448 % |
1348.43/1349.01 c | 400583 | 52075 286953 843710 | 2147483647 356048 197 | 39.450 % |
1351.94/1352.50 c | 401310 | 52075 286953 843710 | 2147483647 356775 197 | 39.450 % |
1354.84/1355.43 c | 402104 | 52073 286953 843710 | 2147483647 357567 197 | 39.452 % |
1358.73/1359.34 c | 402975 | 52073 286953 843710 | 2147483647 358438 197 | 39.452 % |
1361.63/1362.24 c | 403935 | 52073 286953 843710 | 2147483647 359398 197 | 39.452 % |
1367.23/1367.84 c | 404988 | 52072 286953 843710 | 2147483647 360450 197 | 39.453 % |
1370.03/1370.69 c | 406146 | 52072 286953 843710 | 2147483647 361608 197 | 39.453 % |
1376.23/1376.86 c | 407422 | 52072 286953 843710 | 2147483647 362884 198 | 39.453 % |
1388.42/1389.08 c | 408824 | 52072 286953 843710 | 2147483647 364286 198 | 39.453 % |
1398.43/1399.06 c | 410364 | 52072 286953 843710 | 2147483647 365826 198 | 39.453 % |
1411.32/1411.99 c | 412062 | 52030 286654 842924 | 2147483647 367471 198 | 39.454 % |
1419.01/1419.67 c | 413929 | 52030 286654 842924 | 2147483647 369338 198 | 39.454 % |
1430.42/1431.05 c | 415984 | 52030 286654 842924 | 2147483647 371393 198 | 39.454 % |
1443.41/1444.06 c | 418238 | 52030 286654 842924 | 2147483647 373646 198 | 39.455 % |
1461.00/1461.61 c | 420716 | 52030 286654 842924 | 2147483647 376124 199 | 39.455 % |
1477.00/1477.66 c | 423441 | 52030 286654 842924 | 2147483647 378849 199 | 39.455 % |
1497.89/1498.50 c | 426438 | 52030 286654 842924 | 2147483647 381846 200 | 39.455 % |
1519.99/1520.65 c | 429734 | 52030 286654 842924 | 2147483647 385142 201 | 39.455 % |
1533.79/1534.44 c | 433364 | 52030 286654 842924 | 2147483647 388772 201 | 39.455 % |
1561.28/1561.99 c | 437351 | 52029 286654 842924 | 2147483647 392757 202 | 39.458 % |
1562.38/1563.01 c | 437453 | 52029 286654 842924 | 2147483647 392859 202 | 39.458 % |
1563.28/1563.93 c | 437563 | 52029 286654 842924 | 2147483647 392969 202 | 39.458 % |
1564.18/1564.88 c | 437688 | 52029 286654 842924 | 2147483647 393094 202 | 39.458 % |
1565.47/1566.18 c | 437821 | 52029 286654 842924 | 2147483647 393227 202 | 39.458 % |
1566.67/1567.32 c | 437967 | 52029 286654 842924 | 2147483647 393373 202 | 39.458 % |
1567.88/1568.59 c | 438128 | 52029 286654 842924 | 2147483647 393534 202 | 39.458 % |
1569.67/1570.33 c | 438304 | 52029 286654 842924 | 2147483647 393710 202 | 39.458 % |
1571.47/1572.13 c | 438497 | 52029 286654 842924 | 2147483647 393903 202 | 39.458 % |
1573.47/1574.19 c | 438713 | 52029 286654 842924 | 2147483647 394119 202 | 39.458 % |
1575.97/1576.67 c | 438953 | 52029 286654 842924 | 2147483647 394359 202 | 39.458 % |
1578.27/1578.90 c | 439210 | 52029 286654 842924 | 2147483647 394616 202 | 39.458 % |
1580.67/1581.40 c | 439491 | 52029 286654 842924 | 2147483647 394897 202 | 39.458 % |
1582.97/1583.63 c | 439806 | 52029 286654 842924 | 2147483647 395212 202 | 39.458 % |
1584.17/1584.86 c | 440146 | 52029 286654 842924 | 2147483647 395552 202 | 39.458 % |
1586.87/1587.54 c | 440518 | 52029 286654 842924 | 2147483647 395924 202 | 39.458 % |
1589.77/1590.43 c | 440929 | 52029 286654 842924 | 2147483647 396335 202 | 39.458 % |
1592.66/1593.32 c | 441382 | 52029 286654 842924 | 2147483647 396788 202 | 39.458 % |
1597.36/1598.05 c | 441879 | 52029 286654 842924 | 2147483647 397285 202 | 39.458 % |
1602.16/1602.80 c | 442429 | 52029 286654 842924 | 2147483647 397835 202 | 39.458 % |
1607.36/1608.05 c | 443027 | 52029 286654 842924 | 2147483647 398433 202 | 39.458 % |
1612.76/1613.46 c | 443682 | 52029 286654 842924 | 2147483647 399088 202 | 39.458 % |
1617.36/1618.05 c | 444402 | 52029 286654 842924 | 2147483647 399808 202 | 39.458 % |
1623.05/1623.79 c | 445195 | 52027 286637 842885 | 2147483647 400596 202 | 39.458 % |
1627.66/1628.32 c | 446068 | 52027 286637 842885 | 2147483647 401469 203 | 39.458 % |
1634.45/1635.16 c | 447029 | 52027 286637 842885 | 2147483647 402430 203 | 39.458 % |
1643.75/1644.44 c | 448084 | 52027 286637 842885 | 2147483647 403485 203 | 39.458 % |
1654.34/1655.05 c | 449243 | 52026 286637 842885 | 2147483647 404643 203 | 39.459 % |
1665.54/1666.25 c | 450520 | 52026 286637 842885 | 2147483647 405920 203 | 39.459 % |
1676.04/1676.73 c | 451920 | 52026 286637 842885 | 2147483647 407320 203 | 39.459 % |
1687.93/1688.66 c | 453464 | 52026 286637 842885 | 2147483647 408864 203 | 39.459 % |
1700.13/1700.87 c | 455160 | 52026 286637 842885 | 2147483647 410560 203 | 39.459 % |
1711.32/1712.05 c | 457023 | 52026 286637 842885 | 2147483647 412423 203 | 39.459 % |
1725.52/1726.30 c | 459073 | 52026 286637 842885 | 2147483647 414473 203 | 39.459 % |
1738.12/1738.87 c | 461327 | 52026 286637 842885 | 2147483647 416727 203 | 39.459 % |
1760.91/1761.65 c | 463807 | 52026 286637 842885 | 2147483647 419207 203 | 39.459 % |
1779.20/1779.99 c | 466534 | 52026 286637 842885 | 2147483647 421934 203 | 39.459 % |
1804.30/1805.07 c | 469535 | 52026 286637 842885 | 2147483647 424935 204 | 39.459 % |
1835.99/1836.72 c | 472831 | 52026 286637 842885 | 2147483647 428229 203 | 39.468 % |
1864.48/1865.23 c | 476460 | 52026 286637 842885 | 2147483647 431858 204 | 39.468 % |
1898.87/1899.66 c | 480449 | 52026 286637 842885 | 2147483647 435847 204 | 39.468 % |
1930.06/1930.87 c | 484835 | 52018 286572 842704 | 2147483647 440231 205 | 39.468 % |
1930.96/1931.75 c | 484935 | 52018 286572 842704 | 2147483647 440331 205 | 39.468 % |
1931.66/1932.47 c | 485047 | 52018 286572 842704 | 2147483647 440443 205 | 39.468 % |
1932.46/1933.20 c | 485168 | 52018 286572 842704 | 2147483647 440564 205 | 39.468 % |
1932.96/1933.79 c | 485305 | 52018 286572 842704 | 2147483647 440701 205 | 39.468 % |
1934.36/1935.12 c | 485454 | 52018 286572 842704 | 2147483647 440850 205 | 39.468 % |
1935.76/1936.55 c | 485616 | 52018 286572 842704 | 2147483647 441012 205 | 39.468 % |
1938.05/1938.81 c | 485794 | 52018 286572 842704 | 2147483647 441190 205 | 39.468 % |
1939.85/1940.69 c | 485989 | 52018 286572 842704 | 2147483647 441385 205 | 39.468 % |
1942.56/1943.36 c | 486214 | 52018 286572 842704 | 2147483647 441610 205 | 39.468 % |
1945.06/1945.86 c | 486450 | 52018 286572 842704 | 2147483647 441846 205 | 39.468 % |
1947.86/1948.61 c | 486708 | 52018 286572 842704 | 2147483647 442104 205 | 39.468 % |
1950.16/1950.99 c | 486989 | 52018 286572 842704 | 2147483647 442385 205 | 39.468 % |
1952.86/1953.69 c | 487300 | 52018 286572 842704 | 2147483647 442696 205 | 39.468 % |
1955.95/1956.71 c | 487639 | 52018 286572 842704 | 2147483647 443034 205 | 39.476 % |
1959.85/1960.66 c | 488014 | 52018 286572 842704 | 2147483647 443409 205 | 39.476 % |
1963.45/1964.23 c | 488428 | 52018 286572 842704 | 2147483647 443823 205 | 39.476 % |
1967.45/1968.22 c | 488879 | 52018 286572 842704 | 2147483647 444274 205 | 39.476 % |
1972.65/1973.46 c | 489378 | 52018 286572 842704 | 2147483647 444773 205 | 39.476 % |
1978.54/1979.34 c | 489923 | 52018 286572 842704 | 2147483647 445318 205 | 39.476 % |
1983.84/1984.63 c | 490520 | 52018 286572 842704 | 2147483647 445915 205 | 39.476 % |
1989.44/1990.28 c | 491175 | 52018 286572 842704 | 2147483647 446570 205 | 39.476 % |
1995.54/1996.30 c | 491896 | 52018 286572 842704 | 2147483647 447291 205 | 39.476 % |
2002.94/2003.71 c | 492689 | 52018 286572 842704 | 2147483647 448084 205 | 39.476 % |
2008.84/2009.62 c | 493560 | 52018 286572 842704 | 2147483647 448954 205 | 39.498 % |
2019.33/2020.12 c | 494519 | 52018 286572 842704 | 2147483647 449913 205 | 39.498 % |
2030.43/2031.27 c | 495572 | 52018 286572 842704 | 2147483647 450966 205 | 39.498 % |
2040.63/2041.41 c | 496731 | 52018 286572 842704 | 2147483647 452125 205 | 39.498 % |
2054.12/2054.98 c | 498006 | 52018 286572 842704 | 2147483647 453400 205 | 39.498 % |
2066.02/2066.87 c | 499406 | 52018 286572 842704 | 2147483647 454800 205 | 39.498 % |
2079.32/2080.12 c | 500949 | 52018 286572 842704 | 2147483647 456342 205 | 39.508 % |
2092.41/2093.28 c | 502643 | 52018 286572 842704 | 2147483647 458036 205 | 39.508 % |
2109.91/2110.77 c | 504512 | 52018 286572 842704 | 2147483647 459905 205 | 39.508 % |
2131.40/2132.20 c | 506566 | 52018 286572 842704 | 2147483647 461958 205 | 39.517 % |
2157.90/2158.79 c | 508819 | 52018 286572 842704 | 2147483647 464211 205 | 39.517 % |
2178.89/2179.70 c | 511298 | 52018 286572 842704 | 2147483647 466690 205 | 39.517 % |
2207.88/2208.74 c | 514028 | 51975 286304 841995 | 2147483647 469406 205 | 39.518 % |
2238.47/2239.31 c | 517025 | 51975 286304 841995 | 2147483647 472403 205 | 39.518 % |
2277.56/2278.46 c | 520321 | 51975 286304 841995 | 2147483647 475697 205 | 39.537 % |
2317.25/2318.13 c | 523951 | 51975 286304 841995 | 2147483647 479326 204 | 39.545 % |
2358.84/2359.79 c | 527939 | 51975 286304 841995 | 2147483647 483314 204 | 39.545 % |
2401.72/2402.62 c | 532325 | 51975 286304 841995 | 2147483647 487699 203 | 39.546 % |
2457.01/2457.92 c | 537153 | 51975 286304 841995 | 2147483647 492526 202 | 39.551 % |
2458.21/2459.18 c | 537255 | 51975 286304 841995 | 2147483647 492628 202 | 39.551 % |
2459.41/2460.34 c | 537368 | 51975 286304 841995 | 2147483647 492741 202 | 39.551 % |
2460.51/2461.48 c | 537489 | 51975 286304 841995 | 2147483647 492862 202 | 39.551 % |
2462.51/2463.45 c | 537625 | 51975 286304 841995 | 2147483647 492998 202 | 39.551 % |
2463.60/2464.55 c | 537774 | 51975 286304 841995 | 2147483647 493147 202 | 39.551 % |
2465.10/2466.00 c | 537936 | 51975 286304 841995 | 2147483647 493309 202 | 39.551 % |
2466.41/2467.30 c | 538117 | 51975 286304 841995 | 2147483647 493490 202 | 39.551 % |
2468.60/2469.58 c | 538310 | 51975 286304 841995 | 2147483647 493683 202 | 39.551 % |
2471.00/2471.94 c | 538524 | 51975 286304 841995 | 2147483647 493897 202 | 39.551 % |
2473.50/2474.41 c | 538757 | 51975 286304 841995 | 2147483647 494130 202 | 39.551 % |
2476.41/2477.34 c | 539013 | 51975 286304 841995 | 2147483647 494386 202 | 39.551 % |
2479.61/2480.58 c | 539295 | 51975 286304 841995 | 2147483647 494668 202 | 39.551 % |
2483.10/2484.02 c | 539604 | 51975 286304 841995 | 2147483647 494977 202 | 39.551 % |
2486.50/2487.41 c | 539946 | 51975 286304 841995 | 2147483647 495319 202 | 39.551 % |
2490.30/2491.21 c | 540318 | 51975 286304 841995 | 2147483647 495691 202 | 39.551 % |
2494.90/2495.89 c | 540731 | 51975 286304 841995 | 2147483647 496104 202 | 39.551 % |
2500.29/2501.23 c | 541181 | 51975 286304 841995 | 2147483647 496554 202 | 39.551 % |
2506.29/2507.22 c | 541674 | 51975 286304 841995 | 2147483647 497047 202 | 39.551 % |
2512.09/2513.04 c | 542218 | 51975 286304 841995 | 2147483647 497591 202 | 39.551 % |
2517.69/2518.68 c | 542816 | 51975 286304 841995 | 2147483647 498189 201 | 39.551 % |
2524.60/2525.58 c | 543481 | 51975 286304 841995 | 2147483647 498854 201 | 39.551 % |
2530.89/2531.85 c | 544205 | 51975 286304 841995 | 2147483647 499578 201 | 39.551 % |
2540.28/2541.29 c | 544997 | 51975 286304 841995 | 2147483647 500370 201 | 39.551 % |
2551.18/2552.15 c | 545874 | 51975 286304 841995 | 2147483647 501247 201 | 39.551 % |
2561.27/2562.29 c | 546850 | 51975 286304 841995 | 2147483647 502223 201 | 39.551 % |
2571.87/2572.88 c | 547906 | 51947 286105 841450 | 2147483647 503232 201 | 39.551 % |
2581.78/2582.72 c | 549068 | 51947 286105 841450 | 2147483647 504394 201 | 39.551 % |
2594.87/2595.80 c | 550341 | 51947 286105 841450 | 2147483647 505667 201 | 39.551 % |
2610.06/2611.01 c | 551741 | 51947 286105 841450 | 2147483647 507067 201 | 39.551 % |
2626.16/2627.13 c | 553281 | 51947 286105 841450 | 2147483647 508607 201 | 39.551 % |
2645.95/2646.91 c | 554976 | 51947 286105 841450 | 2147483647 510302 201 | 39.551 % |
2668.65/2669.61 c | 556839 | 51947 286105 841450 | 2147483647 512165 201 | 39.551 % |
2693.94/2694.94 c | 558889 | 51947 286105 841450 | 2147483647 514213 201 | 39.571 % |
2721.73/2722.75 c | 561144 | 51947 286105 841450 | 2147483647 516468 201 | 39.571 % |
2743.23/2744.21 c | 563622 | 51947 286105 841450 | 2147483647 518945 201 | 39.580 % |
2764.02/2765.08 c | 566354 | 51947 286105 841450 | 2147483647 521677 201 | 39.580 % |
2786.21/2787.25 c | 569354 | 51946 286105 841450 | 2147483647 524676 201 | 39.581 % |
2806.70/2807.73 c | 572650 | 51942 286105 841450 | 2147483647 527970 201 | 39.616 % |
2831.10/2832.10 c | 576282 | 51905 286105 841450 | 2147483647 531597 201 | 45.232 % |
2858.49/2859.58 c | 580273 | 51903 286105 841450 | 2147483647 535584 201 | 46.105 % |
2878.99/2880.08 c ===============================================================================
2878.99/2880.08 c restarts : 945
2878.99/2880.08 c conflicts : 582460 (203 /sec)
2878.99/2880.08 c decisions : 2367897 (1.34 % random) (825 /sec)
2878.99/2880.08 c propagations : 1244598136 (433440 /sec)
2878.99/2880.08 c conflict literals : 118763552 (48.42 % deleted)
2878.99/2880.08 c Memory used : 479.38 MB
2878.99/2880.08 c CPU time : 2871.44 s
2878.99/2880.09 c
2878.99/2880.09 s UNSATISFIABLE
2879.09/2880.16 s UNSATISFIABLE
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1837464-1242871322/watcher-1837464-1242871322 -o /tmp/evaluation-result-1837464-1242871322/solver-1837464-1242871322 -C 10000 -W 12000 -M 1800 SatELiteGTI HOME/instance-1837464-1242871322.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 10000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 10030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 12000 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.99 0.97 0.98 3/68 16326
/proc/meminfo: memFree=1671048/2055920 swapFree=4177980/4192956
[pid=16326] ppid=16324 vsize=5356 CPUtime=0
/proc/16326/stat : 16326 (SatELiteGTI) S 16324 16326 15834 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 315160174 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16326/statm: 1339 237 197 169 0 50 0
[pid=16330] ppid=16326 vsize=1548 CPUtime=0
/proc/16330/stat : 16330 (SatELite_releas) R 16326 16326 15834 0 -1 4194304 226 0 0 0 0 0 0 0 18 0 1 0 315160174 1585152 212 1992294400 134512640 135223648 4294956128 18446744073709551615 134734703 0 0 4096 3 0 0 0 17 1 0 0
/proc/16330/statm: 435 222 49 173 0 260 0
[startup+0.0780849 s]
/proc/loadavg: 0.99 0.97 0.98 3/68 16326
/proc/meminfo: memFree=1671048/2055920 swapFree=4177980/4192956
[pid=16326] ppid=16324 vsize=5356 CPUtime=0
/proc/16326/stat : 16326 (SatELiteGTI) S 16324 16326 15834 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 315160174 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16326/statm: 1339 237 197 169 0 50 0
[pid=16330] ppid=16326 vsize=28224 CPUtime=0.06
/proc/16330/stat : 16330 (SatELite_releas) R 16326 16326 15834 0 -1 4194304 4234 0 0 0 5 1 0 0 18 0 1 0 315160174 28901376 4116 1992294400 134512640 135223648 4294956128 18446744073709551615 134719062 0 0 4096 3 0 0 0 17 1 0 0
/proc/16330/statm: 7056 4118 49 173 0 6881 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 33580
[startup+0.101086 s]
/proc/loadavg: 0.99 0.97 0.98 3/68 16326
/proc/meminfo: memFree=1671048/2055920 swapFree=4177980/4192956
[pid=16326] ppid=16324 vsize=5356 CPUtime=0
/proc/16326/stat : 16326 (SatELiteGTI) S 16324 16326 15834 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 315160174 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16326/statm: 1339 237 197 169 0 50 0
[pid=16330] ppid=16326 vsize=31252 CPUtime=0.09
/proc/16330/stat : 16330 (SatELite_releas) R 16326 16326 15834 0 -1 4194304 4932 0 0 0 7 2 0 0 18 0 1 0 315160174 32002048 4814 1992294400 134512640 135223648 4294956128 18446744073709551615 134719062 0 0 4096 3 0 0 0 17 1 0 0
/proc/16330/statm: 7813 4815 49 173 0 7638 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 36608
[startup+0.301112 s]
/proc/loadavg: 0.99 0.97 0.98 3/68 16326
/proc/meminfo: memFree=1671048/2055920 swapFree=4177980/4192956
[pid=16326] ppid=16324 vsize=5356 CPUtime=0
/proc/16326/stat : 16326 (SatELiteGTI) S 16324 16326 15834 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 315160174 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16326/statm: 1339 237 197 169 0 50 0
[pid=16330] ppid=16326 vsize=47968 CPUtime=0.29
/proc/16330/stat : 16330 (SatELite_releas) R 16326 16326 15834 0 -1 4194304 8968 0 0 0 24 5 0 0 19 0 1 0 315160174 49119232 8850 1992294400 134512640 135223648 4294956128 18446744073709551615 134737310 0 0 4096 3 0 0 0 17 1 0 0
/proc/16330/statm: 11992 8851 49 173 0 11817 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 53324
[startup+0.701146 s]
/proc/loadavg: 0.99 0.97 0.98 3/68 16326
/proc/meminfo: memFree=1671048/2055920 swapFree=4177980/4192956
[pid=16326] ppid=16324 vsize=5356 CPUtime=0
/proc/16326/stat : 16326 (SatELiteGTI) S 16324 16326 15834 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 315160174 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16326/statm: 1339 237 197 169 0 50 0
[pid=16330] ppid=16326 vsize=80384 CPUtime=0.68
/proc/16330/stat : 16330 (SatELite_releas) R 16326 16326 15834 0 -1 4194304 17581 0 0 0 59 9 0 0 23 0 1 0 315160174 82313216 17463 1992294400 134512640 135223648 4294956128 18446744073709551615 134547615 0 0 4096 3 0 0 0 17 1 0 0
/proc/16330/statm: 20096 17463 50 173 0 19921 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 85740
[startup+1.50224 s]
/proc/loadavg: 1.07 0.99 0.99 3/72 16356
/proc/meminfo: memFree=1588136/2055920 swapFree=4177980/4192956
[pid=16326] ppid=16324 vsize=5356 CPUtime=0
/proc/16326/stat : 16326 (SatELiteGTI) S 16324 16326 15834 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 315160174 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16326/statm: 1339 237 197 169 0 50 0
[pid=16330] ppid=16326 vsize=95408 CPUtime=1.47
/proc/16330/stat : 16330 (SatELite_releas) R 16326 16326 15834 0 -1 4194304 22495 0 0 0 134 13 0 0 25 0 1 0 315160174 97697792 20373 1992294400 134512640 135223648 4294956128 18446744073709551615 134587365 0 0 4096 3 0 0 0 17 0 0 0
/proc/16330/statm: 23852 20373 76 173 0 23677 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 100764
[startup+3.10239 s]
/proc/loadavg: 1.07 0.99 0.99 5/74 16426
/proc/meminfo: memFree=1567128/2055920 swapFree=4177980/4192956
[pid=16326] ppid=16324 vsize=5356 CPUtime=0
/proc/16326/stat : 16326 (SatELiteGTI) S 16324 16326 15834 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 315160174 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16326/statm: 1339 237 197 169 0 50 0
[pid=16330] ppid=16326 vsize=109812 CPUtime=3.06
/proc/16330/stat : 16330 (SatELite_releas) R 16326 16326 15834 0 -1 4194304 25705 0 0 0 289 17 0 0 25 0 1 0 315160174 112447488 23333 1992294400 134512640 135223648 4294956128 18446744073709551615 134601840 0 0 4096 3 0 0 0 17 0 0 0
/proc/16330/statm: 27453 23333 76 173 0 27278 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 115168
[startup+6.30172 s]
/proc/loadavg: 1.07 0.99 0.99 3/72 16452
/proc/meminfo: memFree=1555752/2055920 swapFree=4177980/4192956
[pid=16326] ppid=16324 vsize=5356 CPUtime=0
/proc/16326/stat : 16326 (SatELiteGTI) S 16324 16326 15834 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 315160174 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16326/statm: 1339 237 197 169 0 50 0
[pid=16330] ppid=16326 vsize=103704 CPUtime=6.24
/proc/16330/stat : 16330 (SatELite_releas) R 16326 16326 15834 0 -1 4194304 29147 0 0 0 598 26 0 0 25 0 1 0 315160174 106192896 22265 1992294400 134512640 135223648 4294956128 18446744073709551615 134687968 0 0 4096 3 0 0 0 17 0 0 0
/proc/16330/statm: 25926 22265 76 173 0 25751 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 109060
[startup+12.7014 s]
/proc/loadavg: 1.13 1.00 0.99 2/66 16494
/proc/meminfo: memFree=1588832/2055920 swapFree=4177980/4192956
[pid=16326] ppid=16324 vsize=5356 CPUtime=6.27
/proc/16326/stat : 16326 (SatELiteGTI) S 16324 16326 15834 0 -1 4194304 336 29397 0 0 0 0 599 28 16 0 1 0 315160174 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16326/statm: 1339 239 197 169 0 50 0
[pid=16453] ppid=16326 vsize=31772 CPUtime=6.35
/proc/16453/stat : 16453 (minisat_static) R 16326 16326 15834 0 -1 4194304 7536 0 0 0 628 7 0 0 25 0 1 0 315160807 32534528 7512 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/16453/statm: 7943 7512 77 171 0 7770 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 37128
[startup+25.5017 s]
/proc/loadavg: 1.11 1.00 0.99 2/66 16494
/proc/meminfo: memFree=1586616/2055920 swapFree=4177980/4192956
[pid=16326] ppid=16324 vsize=5356 CPUtime=6.27
/proc/16326/stat : 16326 (SatELiteGTI) S 16324 16326 15834 0 -1 4194304 336 29397 0 0 0 0 599 28 16 0 1 0 315160174 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16326/statm: 1339 239 197 169 0 50 0
[pid=16453] ppid=16326 vsize=34628 CPUtime=19.14
/proc/16453/stat : 16453 (minisat_static) R 16326 16326 15834 0 -1 4194304 8262 0 0 0 1906 8 0 0 25 0 1 0 315160807 35459072 8238 1992294400 134512640 135215339 4294956240 18446744073709551615 134532626 0 0 4096 3 0 0 0 17 1 0 0
/proc/16453/statm: 8657 8238 77 171 0 8484 0
Current children cumulated CPU time (s) 25.41
Current children cumulated vsize (KiB) 39984
[startup+51.1013 s]
/proc/loadavg: 1.07 1.00 0.99 2/66 16494
/proc/meminfo: memFree=1577080/2055920 swapFree=4177980/4192956
[pid=16326] ppid=16324 vsize=5356 CPUtime=6.27
/proc/16326/stat : 16326 (SatELiteGTI) S 16324 16326 15834 0 -1 4194304 336 29397 0 0 0 0 599 28 16 0 1 0 315160174 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16326/statm: 1339 239 197 169 0 50 0
[pid=16453] ppid=16326 vsize=44320 CPUtime=44.71
/proc/16453/stat : 16453 (minisat_static) R 16326 16326 15834 0 -1 4194304 10678 0 0 0 4459 12 0 0 25 0 1 0 315160807 45383680 10654 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/16453/statm: 11080 10654 77 171 0 10907 0
Current children cumulated CPU time (s) 50.98
Current children cumulated vsize (KiB) 49676
[startup+102.305 s]
/proc/loadavg: 1.03 1.00 0.99 2/66 16494
/proc/meminfo: memFree=1558200/2055920 swapFree=4177980/4192956
[pid=16326] ppid=16324 vsize=5356 CPUtime=6.27
/proc/16326/stat : 16326 (SatELiteGTI) S 16324 16326 15834 0 -1 4194304 336 29397 0 0 0 0 599 28 16 0 1 0 315160174 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16326/statm: 1339 239 197 169 0 50 0
[pid=16453] ppid=16326 vsize=63148 CPUtime=95.88
/proc/16453/stat : 16453 (minisat_static) R 16326 16326 15834 0 -1 4194304 15347 0 0 0 9573 15 0 0 25 0 1 0 315160807 64663552 15323 1992294400 134512640 135215339 4294956240 18446744073709551615 134532626 0 0 4096 3 0 0 0 17 1 0 0
/proc/16453/statm: 15787 15323 77 171 0 15614 0
Current children cumulated CPU time (s) 102.15
Current children cumulated vsize (KiB) 68504
[startup+162.302 s]
/proc/loadavg: 1.01 1.00 0.99 2/66 16494
/proc/meminfo: memFree=1534776/2055920 swapFree=4177980/4192956
[pid=16326] ppid=16324 vsize=5356 CPUtime=6.27
/proc/16326/stat : 16326 (SatELiteGTI) S 16324 16326 15834 0 -1 4194304 336 29397 0 0 0 0 599 28 16 0 1 0 315160174 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16326/statm: 1339 239 197 169 0 50 0
[pid=16453] ppid=16326 vsize=86548 CPUtime=155.85
/proc/16453/stat : 16453 (minisat_static) R 16326 16326 15834 0 -1 4194304 21213 0 0 0 15564 21 0 0 25 0 1 0 315160807 88625152 21189 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/16453/statm: 21637 21189 77 171 0 21464 0
Current children cumulated CPU time (s) 162.12
Current children cumulated vsize (KiB) 91904
[startup+222.302 s]
/proc/loadavg: 1.00 1.00 0.99 2/66 16494
/proc/meminfo: memFree=1514616/2055920 swapFree=4177980/4192956
[pid=16326] ppid=16324 vsize=5356 CPUtime=6.27
/proc/16326/stat : 16326 (SatELiteGTI) S 16324 16326 15834 0 -1 4194304 336 29397 0 0 0 0 599 28 16 0 1 0 315160174 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16326/statm: 1339 239 197 169 0 50 0
[pid=16453] ppid=16326 vsize=106536 CPUtime=215.82
/proc/16453/stat : 16453 (minisat_static) R 16326 16326 15834 0 -1 4194304 26213 0 0 0 21557 25 0 0 25 0 1 0 315160807 109092864 26189 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/16453/statm: 26634 26189 77 171 0 26461 0
Current children cumulated CPU time (s) 222.09
Current children cumulated vsize (KiB) 111892
[startup+282.302 s]
/proc/loadavg: 1.00 1.00 0.99 2/66 16494
/proc/meminfo: memFree=1494008/2055920 swapFree=4177980/4192956
[pid=16326] ppid=16324 vsize=5356 CPUtime=6.27
/proc/16326/stat : 16326 (SatELiteGTI) S 16324 16326 15834 0 -1 4194304 336 29397 0 0 0 0 599 28 16 0 1 0 315160174 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16326/statm: 1339 239 197 169 0 50 0
[pid=16453] ppid=16326 vsize=127548 CPUtime=275.8
/proc/16453/stat : 16453 (minisat_static) R 16326 16326 15834 0 -1 4194304 31414 0 0 0 27549 31 0 0 25 0 1 0 315160807 130609152 31390 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/16453/statm: 31887 31390 77 171 0 31714 0
Current children cumulated CPU time (s) 282.07
Current children cumulated vsize (KiB) 132904
[startup+342.302 s]
/proc/loadavg: 1.00 1.00 0.99 2/66 16494
/proc/meminfo: memFree=1475128/2055920 swapFree=4177980/4192956
[pid=16326] ppid=16324 vsize=5356 CPUtime=6.27
/proc/16326/stat : 16326 (SatELiteGTI) S 16324 16326 15834 0 -1 4194304 336 29397 0 0 0 0 599 28 16 0 1 0 315160174 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16326/statm: 1339 239 197 169 0 50 0
[pid=16453] ppid=16326 vsize=145904 CPUtime=335.78
/proc/16453/stat : 16453 (minisat_static) R 16326 16326 15834 0 -1 4194304 36029 0 0 0 33542 36 0 0 25 0 1 0 315160807 149405696 36005 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/16453/statm: 36476 36005 77 171 0 36303 0
Current children cumulated CPU time (s) 342.05
################
# More data... #
################
[startup+2502.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/66 16496
/proc/meminfo: memFree=1163320/2055920 swapFree=4177980/4192956
[pid=16326] ppid=16324 vsize=5356 CPUtime=6.27
/proc/16326/stat : 16326 (SatELiteGTI) S 16324 16326 15834 0 -1 4194304 336 29397 0 0 0 0 599 28 16 0 1 0 315160174 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16326/statm: 1339 239 197 169 0 50 0
[pid=16453] ppid=16326 vsize=458264 CPUtime=2495.12
/proc/16453/stat : 16453 (minisat_static) R 16326 16326 15834 0 -1 4194304 113403 0 0 0 249385 127 0 0 25 0 1 0 315160807 469262336 113379 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/16453/statm: 114566 113379 77 171 0 114393 0
Current children cumulated CPU time (s) 2501.39
Current children cumulated vsize (KiB) 463620
[startup+2562.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/66 16496
/proc/meminfo: memFree=1159544/2055920 swapFree=4177980/4192956
[pid=16326] ppid=16324 vsize=5356 CPUtime=6.27
/proc/16326/stat : 16326 (SatELiteGTI) S 16324 16326 15834 0 -1 4194304 336 29397 0 0 0 0 599 28 16 0 1 0 315160174 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16326/statm: 1339 239 197 169 0 50 0
[pid=16453] ppid=16326 vsize=461988 CPUtime=2555.1
/proc/16453/stat : 16453 (minisat_static) R 16326 16326 15834 0 -1 4194304 114321 0 0 0 255382 128 0 0 25 0 1 0 315160807 473075712 114297 1992294400 134512640 135215339 4294956240 18446744073709551615 134525933 0 0 4096 3 0 0 0 17 1 0 0
/proc/16453/statm: 115497 114297 77 171 0 115324 0
Current children cumulated CPU time (s) 2561.37
Current children cumulated vsize (KiB) 467344
[startup+2622.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/66 16496
/proc/meminfo: memFree=1153784/2055920 swapFree=4177980/4192956
[pid=16326] ppid=16324 vsize=5356 CPUtime=6.27
/proc/16326/stat : 16326 (SatELiteGTI) S 16324 16326 15834 0 -1 4194304 336 29397 0 0 0 0 599 28 16 0 1 0 315160174 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16326/statm: 1339 239 197 169 0 50 0
[pid=16453] ppid=16326 vsize=467668 CPUtime=2615.1
/proc/16453/stat : 16453 (minisat_static) R 16326 16326 15834 0 -1 4194304 115731 0 0 0 261380 130 0 0 25 0 1 0 315160807 478892032 115707 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/16453/statm: 116917 115707 77 171 0 116744 0
Current children cumulated CPU time (s) 2621.37
Current children cumulated vsize (KiB) 473024
[startup+2682.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/66 16496
/proc/meminfo: memFree=1149176/2055920 swapFree=4177980/4192956
[pid=16326] ppid=16324 vsize=5356 CPUtime=6.27
/proc/16326/stat : 16326 (SatELiteGTI) S 16324 16326 15834 0 -1 4194304 336 29397 0 0 0 0 599 28 16 0 1 0 315160174 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16326/statm: 1339 239 197 169 0 50 0
[pid=16453] ppid=16326 vsize=472104 CPUtime=2675.07
/proc/16453/stat : 16453 (minisat_static) R 16326 16326 15834 0 -1 4194304 116873 0 0 0 267375 132 0 0 25 0 1 0 315160807 483434496 116849 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/16453/statm: 118026 116849 77 171 0 117853 0
Current children cumulated CPU time (s) 2681.34
Current children cumulated vsize (KiB) 477460
[startup+2742.31 s]
/proc/loadavg: 1.00 1.00 0.99 2/66 16496
/proc/meminfo: memFree=1145016/2055920 swapFree=4177980/4192956
[pid=16326] ppid=16324 vsize=5356 CPUtime=6.27
/proc/16326/stat : 16326 (SatELiteGTI) S 16324 16326 15834 0 -1 4194304 336 29397 0 0 0 0 599 28 16 0 1 0 315160174 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16326/statm: 1339 239 197 169 0 50 0
[pid=16453] ppid=16326 vsize=476316 CPUtime=2735.05
/proc/16453/stat : 16453 (minisat_static) R 16326 16326 15834 0 -1 4194304 117916 0 0 0 273373 132 0 0 25 0 1 0 315160807 487747584 117892 1992294400 134512640 135215339 4294956240 18446744073709551615 134532626 0 0 4096 3 0 0 0 17 1 0 0
/proc/16453/statm: 119079 117892 77 171 0 118906 0
Current children cumulated CPU time (s) 2741.32
Current children cumulated vsize (KiB) 481672
[startup+2802.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/66 16496
/proc/meminfo: memFree=1137848/2055920 swapFree=4177980/4192956
[pid=16326] ppid=16324 vsize=5356 CPUtime=6.27
/proc/16326/stat : 16326 (SatELiteGTI) S 16324 16326 15834 0 -1 4194304 336 29397 0 0 0 0 599 28 16 0 1 0 315160174 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16326/statm: 1339 239 197 169 0 50 0
[pid=16453] ppid=16326 vsize=483444 CPUtime=2795.04
/proc/16453/stat : 16453 (minisat_static) R 16326 16326 15834 0 -1 4194304 119711 0 0 0 279369 135 0 0 25 0 1 0 315160807 495046656 119687 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/16453/statm: 120861 119687 77 171 0 120688 0
Current children cumulated CPU time (s) 2801.31
Current children cumulated vsize (KiB) 488800
[startup+2862.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/66 16496
/proc/meminfo: memFree=1131256/2055920 swapFree=4177980/4192956
[pid=16326] ppid=16324 vsize=5356 CPUtime=6.27
/proc/16326/stat : 16326 (SatELiteGTI) S 16324 16326 15834 0 -1 4194304 336 29397 0 0 0 0 599 28 16 0 1 0 315160174 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16326/statm: 1339 239 197 169 0 50 0
[pid=16453] ppid=16326 vsize=489960 CPUtime=2855.02
/proc/16453/stat : 16453 (minisat_static) R 16326 16326 15834 0 -1 4194304 121320 0 0 0 285366 136 0 0 25 0 1 0 315160807 501719040 121296 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/16453/statm: 122490 121296 77 171 0 122317 0
Current children cumulated CPU time (s) 2861.29
Current children cumulated vsize (KiB) 495316
Solver just ended. Dumping a history of the last processes samples
[startup+2867.1 s]
/proc/loadavg: 1.00 1.00 0.99 2/66 16496
/proc/meminfo: memFree=1130808/2055920 swapFree=4177980/4192956
[pid=16326] ppid=16324 vsize=5356 CPUtime=6.27
/proc/16326/stat : 16326 (SatELiteGTI) S 16324 16326 15834 0 -1 4194304 336 29397 0 0 0 0 599 28 16 0 1 0 315160174 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16326/statm: 1339 239 197 169 0 50 0
[pid=16453] ppid=16326 vsize=490488 CPUtime=2859.82
/proc/16453/stat : 16453 (minisat_static) R 16326 16326 15834 0 -1 4194304 121444 0 0 0 285845 137 0 0 25 0 1 0 315160807 502259712 121420 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/16453/statm: 122622 121420 77 171 0 122449 0
Current children cumulated CPU time (s) 2866.09
Current children cumulated vsize (KiB) 495844
[startup+2873.5 s]
/proc/loadavg: 1.00 1.00 0.99 2/66 16496
/proc/meminfo: memFree=1130488/2055920 swapFree=4177980/4192956
[pid=16326] ppid=16324 vsize=5356 CPUtime=6.27
/proc/16326/stat : 16326 (SatELiteGTI) S 16324 16326 15834 0 -1 4194304 336 29397 0 0 0 0 599 28 16 0 1 0 315160174 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16326/statm: 1339 239 197 169 0 50 0
[pid=16453] ppid=16326 vsize=490752 CPUtime=2866.22
/proc/16453/stat : 16453 (minisat_static) R 16326 16326 15834 0 -1 4194304 121518 0 0 0 286485 137 0 0 25 0 1 0 315160807 502530048 121494 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/16453/statm: 122688 121494 77 171 0 122515 0
Current children cumulated CPU time (s) 2872.49
Current children cumulated vsize (KiB) 496108
[startup+2876.7 s]
/proc/loadavg: 1.00 1.00 0.99 2/66 16496
/proc/meminfo: memFree=1130360/2055920 swapFree=4177980/4192956
[pid=16326] ppid=16324 vsize=5356 CPUtime=6.27
/proc/16326/stat : 16326 (SatELiteGTI) S 16324 16326 15834 0 -1 4194304 336 29397 0 0 0 0 599 28 16 0 1 0 315160174 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16326/statm: 1339 239 197 169 0 50 0
[pid=16453] ppid=16326 vsize=490884 CPUtime=2869.42
/proc/16453/stat : 16453 (minisat_static) R 16326 16326 15834 0 -1 4194304 121535 0 0 0 286805 137 0 0 25 0 1 0 315160807 502665216 121511 1992294400 134512640 135215339 4294956240 18446744073709551615 134529169 0 0 4096 3 0 0 0 17 1 0 0
/proc/16453/statm: 122721 121511 77 171 0 122548 0
Current children cumulated CPU time (s) 2875.69
Current children cumulated vsize (KiB) 496240
[startup+2878.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/66 16496
/proc/meminfo: memFree=1130360/2055920 swapFree=4177980/4192956
[pid=16326] ppid=16324 vsize=5356 CPUtime=6.27
/proc/16326/stat : 16326 (SatELiteGTI) S 16324 16326 15834 0 -1 4194304 336 29397 0 0 0 0 599 28 16 0 1 0 315160174 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16326/statm: 1339 239 197 169 0 50 0
[pid=16453] ppid=16326 vsize=490884 CPUtime=2871.02
/proc/16453/stat : 16453 (minisat_static) R 16326 16326 15834 0 -1 4194304 121543 0 0 0 286965 137 0 0 25 0 1 0 315160807 502665216 121519 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/16453/statm: 122721 121519 77 171 0 122548 0
Current children cumulated CPU time (s) 2877.29
Current children cumulated vsize (KiB) 496240
[startup+2879.1 s]
/proc/loadavg: 1.00 1.00 0.99 2/66 16496
/proc/meminfo: memFree=1130360/2055920 swapFree=4177980/4192956
[pid=16326] ppid=16324 vsize=5356 CPUtime=6.27
/proc/16326/stat : 16326 (SatELiteGTI) S 16324 16326 15834 0 -1 4194304 336 29397 0 0 0 0 599 28 16 0 1 0 315160174 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16326/statm: 1339 239 197 169 0 50 0
[pid=16453] ppid=16326 vsize=490884 CPUtime=2871.82
/proc/16453/stat : 16453 (minisat_static) R 16326 16326 15834 0 -1 4194304 121548 0 0 0 287045 137 0 0 25 0 1 0 315160807 502665216 121524 1992294400 134512640 135215339 4294956240 18446744073709551615 134528721 0 0 4096 3 0 0 0 17 1 0 0
/proc/16453/statm: 122721 121524 77 171 0 122548 0
Current children cumulated CPU time (s) 2878.09
Current children cumulated vsize (KiB) 496240
[startup+2879.9 s]
/proc/loadavg: 1.00 1.00 0.99 2/66 16496
/proc/meminfo: memFree=1130296/2055920 swapFree=4177980/4192956
[pid=16326] ppid=16324 vsize=5356 CPUtime=6.27
/proc/16326/stat : 16326 (SatELiteGTI) S 16324 16326 15834 0 -1 4194304 336 29397 0 0 0 0 599 28 16 0 1 0 315160174 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16326/statm: 1339 239 197 169 0 50 0
[pid=16453] ppid=16326 vsize=490884 CPUtime=2872.62
/proc/16453/stat : 16453 (minisat_static) R 16326 16326 15834 0 -1 4194304 121553 0 0 0 287125 137 0 0 25 0 1 0 315160807 502665216 121529 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/16453/statm: 122721 121529 77 171 0 122548 0
Current children cumulated CPU time (s) 2878.89
Current children cumulated vsize (KiB) 496240
[startup+2880.1 s]
/proc/loadavg: 1.00 1.00 0.99 2/66 16496
/proc/meminfo: memFree=1130296/2055920 swapFree=4177980/4192956
[pid=16326] ppid=16324 vsize=5356 CPUtime=6.27
/proc/16326/stat : 16326 (SatELiteGTI) S 16324 16326 15834 0 -1 4194304 336 29397 0 0 0 0 599 28 16 0 1 0 315160174 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16326/statm: 1339 239 197 169 0 50 0
[pid=16453] ppid=16326 vsize=0 CPUtime=2872.82
/proc/16453/stat : 16453 (minisat_static) R 16326 16326 15834 0 -1 4194308 121559 0 0 0 287144 138 0 0 25 0 1 0 315160807 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0
/proc/16453/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 2879.09
Current children cumulated vsize (KiB) 5356
Child status: 20
Real time (s): 2880.18
CPU time (s): 2879.18
CPU user time (s): 2877.44
CPU system time (s): 1.74073
CPU usage (%): 99.9654
Max. virtual memory (cumulated for all children) (KiB): 496240
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2877.44
system time used= 1.74073
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 151447
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= 48
involuntary context switches= 8348
runsolver used 3.2515 second user time and 7.34288 second system time
The end
Begin job on node45 at 2009-05-21 04:02:03
IDJOB=1837464
IDBENCH=71008
IDSOLVER=674
FILE ID=node45/1837464-1242871322
PBS_JOBID= 9328597
Free space on /tmp= 66168 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/APPLICATIONS/diagnosis/UTI-15-5p0.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1837464-1242871322/watcher-1837464-1242871322 -o /tmp/evaluation-result-1837464-1242871322/solver-1837464-1242871322 -C 10000 -W 12000 -M 1800 SatELiteGTI HOME/instance-1837464-1242871322.cnf
TIME LIMIT= 10000 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= b21b299f860c56270b509900cff82599
RANDOM SEED=814930667
node45.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.231
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.231
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1671592 kB
Buffers: 33048 kB
Cached: 308760 kB
SwapCached: 9208 kB
Active: 123740 kB
Inactive: 230304 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1671592 kB
SwapTotal: 4192956 kB
SwapFree: 4177980 kB
Dirty: 16820 kB
Writeback: 0 kB
Mapped: 16700 kB
Slab: 16004 kB
Committed_AS: 1051604 kB
PageTables: 1600 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= 66168 MiB
End job on node45 at 2009-05-21 04:50:03