0.00/0.00 c Parsing...
0.00/0.85 c ==============================================================================
0.00/0.85 c | | ORIGINAL | LEARNT | |
0.00/0.85 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.85 c ==============================================================================
0.00/0.85 c | 0 | 812763 1945115 | 243828 0 0 nan | 0.000 % |
5.89/5.99 c | 0 | 546996 1519613 | -- 0 -- -- | -- | -74850/8386
5.89/5.99 c ==============================================================================
5.89/5.99 c Result : #vars: 85935 #clauses: 546996 #literals: 1519613
5.89/5.99 c CPU time: 5.83011 s
5.89/5.99 c ==============================================================================
6.49/6.56 c This is MiniSat 2.0 beta
6.49/6.56 c WARNING: for repeatability, setting FPU to use double precision
6.49/6.56 c ============================[ Problem Statistics ]=============================
6.49/6.56 c | |
6.49/6.56 c | Number of variables: 85935 |
6.49/6.56 c | Number of clauses: 546996 |
6.55/6.91 c | Parsing time: 0.29 s |
6.55/6.92 c ============================[ Search Statistics ]==============================
6.55/6.92 c | Conflicts | ORIGINAL | LEARNT | Progress |
6.55/6.92 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
6.55/6.92 c ===============================================================================
6.55/6.92 c | 0 | 85935 546996 1519613 | 182332 0 nan | 0.000 % |
6.55/7.15 c | 101 | 85717 546996 1519613 | 182332 95 89 | 1.608 % |
6.55/7.25 c | 202 | 85630 546996 1519613 | 182332 195 60 | 1.854 % |
6.55/7.36 c | 303 | 85630 546996 1519613 | 182332 296 52 | 1.854 % |
6.55/7.53 c | 413 | 85630 546996 1519613 | 182332 406 53 | 1.854 % |
7.67/7.74 c | 514 | 85510 546996 1519613 | 182332 506 52 | 2.738 % |
7.97/8.00 c | 624 | 83578 527789 1469640 | 182332 609 48 | 5.352 % |
8.07/8.18 c | 745 | 83257 527789 1469640 | 182332 725 50 | 9.974 % |
8.17/8.29 c | 845 | 82918 527789 1469640 | 182332 825 49 | 9.974 % |
8.57/8.66 c | 955 | 82360 527789 1469640 | 182332 926 47 | 12.386 % |
8.87/8.97 c | 1076 | 75194 471770 1327289 | 182332 1039 44 | 13.920 % |
9.07/9.16 c | 1211 | 75053 471770 1327289 | 182332 1172 43 | 14.146 % |
9.27/9.35 c | 1313 | 74988 471770 1327289 | 182332 1272 43 | 14.232 % |
9.37/9.48 c | 1424 | 74970 471770 1327289 | 182332 1381 45 | 14.615 % |
9.57/9.64 c | 1546 | 72546 453637 1281404 | 182332 1498 45 | 15.580 % |
9.67/9.78 c | 1679 | 72505 453637 1281404 | 182332 1630 43 | 16.209 % |
9.97/10.00 c | 1826 | 72505 453637 1281404 | 182332 1777 48 | 16.209 % |
10.17/10.20 c | 1927 | 72376 453637 1281404 | 182332 1877 48 | 16.519 % |
10.37/10.41 c | 2037 | 72373 453637 1281404 | 182332 1985 47 | 16.760 % |
10.57/10.67 c | 2158 | 71517 447292 1265471 | 182332 2097 46 | 16.813 % |
10.87/10.94 c | 2293 | 71475 447292 1265471 | 182332 2229 45 | 17.052 % |
10.97/11.07 c | 2441 | 71475 447292 1265471 | 182332 2377 51 | 17.052 % |
11.27/11.31 c | 2602 | 71475 447292 1265471 | 182332 2538 51 | 17.052 % |
11.37/11.40 c | 2702 | 71384 447292 1265471 | 182332 2636 50 | 17.258 % |
11.57/11.60 c | 2813 | 71369 447292 1265471 | 182332 2745 53 | 17.391 % |
11.77/11.81 c | 2934 | 70980 444566 1259396 | 182332 2859 53 | 18.568 % |
11.97/12.02 c | 3067 | 70911 444566 1259396 | 182332 2992 52 | 18.568 % |
12.07/12.17 c | 3218 | 70911 444566 1259396 | 182332 3143 53 | 18.568 % |
12.27/12.32 c | 3385 | 70911 444566 1259396 | 182332 3310 54 | 18.568 % |
12.37/12.49 c | 3564 | 70911 444566 1259396 | 182332 3489 54 | 18.568 % |
12.57/12.70 c | 3664 | 69847 437594 1241536 | 182332 3579 54 | 20.148 % |
12.77/12.87 c | 3774 | 69681 437594 1241536 | 182332 3689 53 | 20.148 % |
12.97/13.05 c | 3895 | 69472 437594 1241536 | 182332 3809 53 | 21.101 % |
13.17/13.21 c | 4029 | 69430 437594 1241536 | 182332 3942 53 | 21.225 % |
13.37/13.44 c | 4175 | 69420 437594 1241536 | 182332 4087 52 | 21.237 % |
13.47/13.52 c | 4335 | 69420 437594 1241536 | 182332 4247 55 | 21.237 % |
13.57/13.66 c | 4512 | 69420 437594 1241536 | 182332 4424 54 | 21.237 % |
13.77/13.88 c | 4705 | 67684 421164 1197664 | 182332 4599 53 | 21.302 % |
13.97/14.09 c | 4805 | 67684 421164 1197664 | 182332 4699 53 | 21.302 % |
14.17/14.27 c | 4915 | 67669 421164 1197664 | 182332 4805 53 | 21.378 % |
14.37/14.41 c | 5037 | 67669 421164 1197664 | 182332 4927 55 | 21.378 % |
14.37/14.47 c | 5172 | 67669 421164 1197664 | 182332 5062 55 | 21.378 % |
14.47/14.57 c | 5318 | 67667 421164 1197664 | 182332 5207 55 | 21.389 % |
14.67/14.73 c | 5478 | 67665 421164 1197664 | 182332 5367 55 | 21.389 % |
14.87/14.93 c | 5655 | 67554 420239 1195316 | 182332 5543 54 | 21.389 % |
15.07/15.14 c | 5848 | 67551 420239 1195316 | 182332 5734 53 | 21.415 % |
15.27/15.31 c | 6061 | 67548 420239 1195316 | 182332 5945 55 | 21.434 % |
15.37/15.45 c | 6161 | 67548 420239 1195316 | 182332 6045 55 | 21.434 % |
15.57/15.60 c | 6273 | 67548 420239 1195316 | 182332 6157 55 | 21.434 % |
15.67/15.79 c | 6394 | 67548 420239 1195316 | 182332 6278 55 | 21.434 % |
15.87/15.98 c | 6527 | 67423 419913 1194453 | 182332 6407 56 | 22.507 % |
16.17/16.23 c | 6673 | 67423 419913 1194453 | 182332 6552 55 | 22.526 % |
16.27/16.40 c | 6834 | 67423 419913 1194453 | 182332 6713 55 | 22.526 % |
16.47/16.54 c | 7010 | 67423 419913 1194453 | 182332 6889 55 | 22.526 % |
16.57/16.69 c | 7214 | 67414 419913 1194453 | 182332 7084 55 | 22.619 % |
16.77/16.83 c | 7426 | 67414 419913 1194453 | 182332 7296 57 | 22.619 % |
17.16/17.22 c | 7661 | 66490 412738 1175418 | 182332 7501 57 | 23.042 % |
17.26/17.33 c | 7761 | 66487 412738 1175418 | 182332 7600 57 | 23.197 % |
17.36/17.46 c | 7871 | 66486 412738 1175418 | 182332 7709 57 | 23.200 % |
17.57/17.63 c | 7992 | 66486 412738 1175418 | 182332 7830 57 | 23.200 % |
17.76/17.81 c | 8125 | 66484 412738 1175418 | 182332 7961 57 | 23.613 % |
17.96/18.00 c | 8273 | 66479 412738 1175418 | 182332 8108 58 | 23.710 % |
18.16/18.28 c | 8435 | 65560 401201 1144562 | 182332 8253 60 | 23.710 % |
18.46/18.58 c | 8611 | 65560 401201 1144562 | 182332 8429 62 | 23.710 % |
18.76/18.82 c | 8804 | 65554 401201 1144562 | 182332 8621 62 | 24.095 % |
18.86/18.98 c | 9017 | 65553 401201 1144562 | 182332 8833 62 | 24.096 % |
19.06/19.18 c | 9250 | 65549 401201 1144562 | 182332 9065 62 | 24.212 % |
19.47/19.57 c | 9507 | 65127 399347 1140854 | 182332 9313 62 | 24.225 % |
19.57/19.64 c | 9610 | 65127 399347 1140854 | 182332 9416 62 | 24.225 % |
19.77/19.83 c | 9721 | 65127 399347 1140854 | 182332 9527 62 | 24.225 % |
19.87/19.97 c | 9842 | 65127 399347 1140854 | 182332 9648 63 | 24.225 % |
20.07/20.16 c | 9982 | 65126 399347 1140854 | 182332 9787 63 | 24.237 % |
20.27/20.32 c | 10129 | 65124 399347 1140854 | 2147483647 9933 63 | 24.290 % |
20.47/20.58 c | 10289 | 65045 398835 1139626 | 2147483647 10091 63 | 24.309 % |
20.67/20.77 c | 10465 | 65045 398835 1139626 | 2147483647 10267 63 | 24.309 % |
20.87/20.90 c | 10659 | 65045 398835 1139626 | 2147483647 10461 63 | 24.309 % |
21.07/21.14 c | 10877 | 65045 398835 1139626 | 2147483647 10679 63 | 24.309 % |
21.47/21.53 c | 11110 | 65045 398835 1139626 | 2147483647 10912 63 | 24.309 % |
21.87/21.90 c | 11366 | 65028 398738 1139374 | 2147483647 11162 64 | 24.396 % |
22.17/22.22 c | 11648 | 65026 398738 1139374 | 2147483647 11443 64 | 24.410 % |
22.27/22.35 c | 11749 | 65026 398738 1139374 | 2147483647 11544 64 | 24.410 % |
22.47/22.51 c | 11862 | 65026 398738 1139374 | 2147483647 11657 64 | 24.410 % |
22.47/22.56 c | 11983 | 65026 398738 1139374 | 2147483647 11778 64 | 24.410 % |
22.67/22.78 c | 12116 | 65026 398738 1139374 | 2147483647 11911 65 | 24.410 % |
22.97/23.03 c | 12264 | 64935 398100 1137781 | 2147483647 12046 65 | 24.437 % |
23.17/23.25 c | 12424 | 64935 398100 1137781 | 2147483647 12206 65 | 24.437 % |
23.37/23.45 c | 12602 | 64934 398100 1137781 | 2147483647 12383 65 | 24.501 % |
23.67/23.74 c | 12795 | 64930 398100 1137781 | 2147483647 12576 65 | 24.501 % |
23.87/23.93 c | 13007 | 64930 398100 1137781 | 2147483647 12788 68 | 24.501 % |
24.27/24.32 c | 13240 | 64898 398100 1137781 | 2147483647 13020 69 | 24.706 % |
24.57/24.68 c | 13496 | 64703 397049 1135677 | 2147483647 13275 69 | 24.711 % |
24.96/25.03 c | 13777 | 64683 397049 1135677 | 2147483647 13554 69 | 24.804 % |
25.27/25.33 c | 14087 | 64678 397049 1135677 | 2147483647 13862 69 | 24.826 % |
25.36/25.49 c | 14187 | 64654 397049 1135677 | 2147483647 13960 69 | 24.950 % |
25.46/25.56 c | 14299 | 64654 397049 1135677 | 2147483647 14072 69 | 24.950 % |
25.56/25.66 c | 14423 | 64649 397049 1135677 | 2147483647 14193 69 | 25.028 % |
25.86/25.95 c | 14557 | 64636 397049 1135677 | 2147483647 14327 70 | 25.028 % |
26.06/26.17 c | 14703 | 64427 395207 1130919 | 2147483647 14453 71 | 25.028 % |
26.27/26.35 c | 14864 | 64427 395207 1130919 | 2147483647 14614 71 | 25.028 % |
26.46/26.53 c | 15040 | 64427 395207 1130919 | 2147483647 14790 71 | 25.028 % |
26.66/26.72 c | 15233 | 64422 395207 1130919 | 2147483647 14982 71 | 25.083 % |
26.96/27.01 c | 15447 | 64413 395207 1130919 | 2147483647 15196 72 | 25.083 % |
27.26/27.40 c | 15683 | 64374 395207 1130919 | 2147483647 15426 72 | 25.354 % |
27.86/27.90 c | 15939 | 64373 395207 1130919 | 2147483647 15682 74 | 25.354 % |
28.16/28.20 c | 16221 | 64141 393789 1127653 | 2147483647 15924 74 | 25.380 % |
28.36/28.46 c | 16530 | 64139 393789 1127653 | 2147483647 16232 75 | 25.390 % |
28.85/28.92 c | 16869 | 64137 393789 1127653 | 2147483647 16570 75 | 25.402 % |
28.95/29.06 c | 16970 | 64137 393789 1127653 | 2147483647 16671 76 | 25.402 % |
29.15/29.24 c | 17080 | 64137 393789 1127653 | 2147483647 16781 76 | 25.402 % |
29.35/29.48 c | 17203 | 64134 393789 1127653 | 2147483647 16901 76 | 25.917 % |
29.56/29.65 c | 17336 | 63649 386785 1108412 | 2147483647 16763 76 | 25.979 % |
29.75/29.85 c | 17482 | 63615 386785 1108412 | 2147483647 16903 76 | 26.014 % |
30.15/30.20 c | 17642 | 63615 386785 1108412 | 2147483647 17063 77 | 26.014 % |
30.46/30.52 c | 17818 | 63614 386785 1108412 | 2147483647 17238 78 | 26.029 % |
30.77/30.87 c | 18012 | 63608 386785 1108412 | 2147483647 17430 78 | 26.051 % |
30.96/31.04 c | 18224 | 63603 386785 1108412 | 2147483647 17637 78 | 26.098 % |
31.36/31.47 c | 18458 | 63487 385309 1104586 | 2147483647 17822 79 | 26.122 % |
31.66/31.75 c | 18716 | 63487 385309 1104586 | 2147483647 18080 80 | 26.122 % |
31.95/32.09 c | 18998 | 63487 385309 1104586 | 2147483647 18362 81 | 26.122 % |
32.45/32.57 c | 19307 | 63475 385309 1104586 | 2147483647 18669 81 | 26.187 % |
32.85/32.96 c | 19646 | 63475 385309 1104586 | 2147483647 19008 81 | 26.187 % |
33.15/33.22 c | 20021 | 63474 385309 1104586 | 2147483647 19382 82 | 26.191 % |
33.35/33.40 c | 20121 | 63474 385309 1104586 | 2147483647 19482 82 | 26.191 % |
33.45/33.50 c | 20231 | 63474 385309 1104586 | 2147483647 19592 82 | 26.191 % |
33.55/33.68 c | 20353 | 63425 384878 1103369 | 2147483647 19712 82 | 26.202 % |
33.75/33.87 c | 20490 | 63424 384878 1103369 | 2147483647 19848 82 | 26.242 % |
34.05/34.16 c | 20636 | 63416 384878 1103369 | 2147483647 19993 83 | 26.257 % |
34.35/34.49 c | 20798 | 63413 384878 1103369 | 2147483647 20154 84 | 26.268 % |
34.65/34.74 c | 20974 | 63397 384878 1103369 | 2147483647 20329 84 | 26.305 % |
34.95/35.00 c | 21168 | 63397 384878 1103369 | 2147483647 20523 85 | 26.305 % |
35.05/35.20 c | 21380 | 63397 384878 1103369 | 2147483647 20735 86 | 26.305 % |
35.24/35.37 c | 21614 | 63397 384878 1103369 | 2147483647 20969 86 | 26.305 % |
35.54/35.60 c | 21878 | 63397 384878 1103369 | 2147483647 21233 86 | 26.305 % |
35.75/35.89 c | 22159 | 63329 383867 1100604 | 2147483647 21492 85 | 26.308 % |
36.35/36.47 c | 22469 | 63327 383867 1100604 | 2147483647 21800 85 | 26.347 % |
36.75/36.83 c | 22812 | 63323 383867 1100604 | 2147483647 22141 86 | 26.359 % |
37.15/37.30 c | 23184 | 63314 383867 1100604 | 2147483647 22510 86 | 26.383 % |
37.75/37.84 c | 23594 | 63312 383867 1100604 | 2147483647 22919 87 | 26.396 % |
37.85/37.96 c | 23694 | 63312 383867 1100604 | 2147483647 23019 87 | 26.396 % |
38.05/38.14 c | 23805 | 63252 383318 1099235 | 2147483647 23117 87 | 26.396 % |
38.25/38.30 c | 23926 | 63252 383318 1099235 | 2147483647 23238 87 | 26.396 % |
38.35/38.48 c | 24060 | 63251 383318 1099235 | 2147483647 23371 88 | 26.399 % |
38.65/38.71 c | 24208 | 63249 383318 1099235 | 2147483647 23518 88 | 26.411 % |
38.75/38.89 c | 24368 | 63247 383318 1099235 | 2147483647 23678 88 | 26.411 % |
38.95/39.05 c | 24544 | 63246 383318 1099235 | 2147483647 23853 88 | 26.412 % |
39.24/39.30 c | 24738 | 63212 383318 1099235 | 2147483647 24045 88 | 26.839 % |
39.45/39.60 c | 24950 | 63212 383318 1099235 | 2147483647 24257 89 | 26.839 % |
39.64/39.74 c | 25185 | 63212 383318 1099235 | 2147483647 24492 89 | 26.839 % |
40.04/40.17 c | 25441 | 63187 383318 1099235 | 2147483647 24744 89 | 26.901 % |
40.55/40.63 c | 25724 | 62645 380492 1092953 | 2147483647 25013 90 | 27.102 % |
40.84/40.98 c | 26037 | 62630 380492 1092953 | 2147483647 25322 89 | 27.593 % |
41.24/41.38 c | 26376 | 62630 380492 1092953 | 2147483647 25661 89 | 27.593 % |
41.74/41.81 c | 26749 | 62581 380492 1092953 | 2147483647 26031 89 | 27.882 % |
42.24/42.30 c | 27159 | 62578 380492 1092953 | 2147483647 26439 90 | 27.904 % |
42.84/42.97 c | 27608 | 62512 380492 1092953 | 2147483647 26886 91 | 28.313 % |
43.04/43.12 c | 27708 | 62511 380492 1092953 | 2147483647 26985 91 | 28.314 % |
43.24/43.36 c | 27818 | 62510 380492 1092953 | 2147483647 27094 91 | 28.330 % |
43.44/43.53 c | 27941 | 62509 380492 1092953 | 2147483647 27216 91 | 28.331 % |
43.64/43.77 c | 28075 | 61589 374431 1077675 | 2147483647 27311 91 | 28.331 % |
43.84/43.92 c | 28221 | 61589 374431 1077675 | 2147483647 27457 91 | 28.331 % |
44.04/44.17 c | 28382 | 61589 374431 1077675 | 2147483647 27618 92 | 28.331 % |
44.24/44.35 c | 28561 | 61588 374431 1077675 | 2147483647 27796 92 | 28.341 % |
44.44/44.59 c | 28754 | 61586 374431 1077675 | 2147483647 27989 92 | 28.341 % |
44.74/44.89 c | 28966 | 61585 374431 1077675 | 2147483647 28200 92 | 28.408 % |
45.13/45.27 c | 29199 | 61574 374431 1077675 | 2147483647 28430 92 | 28.629 % |
45.53/45.68 c | 29458 | 61547 374431 1077675 | 2147483647 28686 93 | 28.690 % |
46.14/46.22 c | 29741 | 61545 374431 1077675 | 2147483647 28966 93 | 28.716 % |
46.33/46.41 c | 30052 | 61544 374431 1077675 | 2147483647 29276 94 | 28.725 % |
46.83/46.94 c | 30393 | 61543 374431 1077675 | 2147483647 29617 94 | 28.725 % |
47.63/47.75 c | 30765 | 61250 372259 1072243 | 2147483647 29895 95 | 28.725 % |
48.13/48.20 c | 31174 | 61250 372259 1072243 | 2147483647 30304 96 | 28.725 % |
48.53/48.69 c | 31626 | 61250 372259 1072243 | 2147483647 30756 97 | 28.725 % |
49.24/49.38 c | 32120 | 61250 372259 1072243 | 2147483647 31250 98 | 28.725 % |
49.44/49.58 c | 32220 | 61249 372259 1072243 | 2147483647 31349 98 | 28.735 % |
49.74/49.89 c | 32331 | 61249 372259 1072243 | 2147483647 31460 98 | 28.735 % |
49.94/50.03 c | 32454 | 61249 372259 1072243 | 2147483647 31583 99 | 28.735 % |
50.23/50.31 c | 32591 | 61249 372259 1072243 | 2147483647 31720 99 | 28.735 % |
50.54/50.62 c | 32737 | 61242 372229 1072181 | 2147483647 31866 99 | 28.735 % |
50.83/50.90 c | 32897 | 61239 372229 1072181 | 2147483647 32024 99 | 28.751 % |
50.93/51.09 c | 33073 | 61239 372229 1072181 | 2147483647 32200 99 | 28.751 % |
51.23/51.37 c | 33266 | 61238 372229 1072181 | 2147483647 32392 99 | 28.752 % |
51.64/51.72 c | 33481 | 61232 372229 1072181 | 2147483647 32603 100 | 28.805 % |
51.83/51.91 c | 33714 | 61227 372229 1072181 | 2147483647 32832 100 | 28.842 % |
52.23/52.34 c | 33972 | 61226 372229 1072181 | 2147483647 33089 100 | 28.843 % |
52.64/52.71 c | 34253 | 61225 372229 1072181 | 2147483647 33368 100 | 28.849 % |
52.93/53.02 c | 34563 | 61225 372229 1072181 | 2147483647 33678 100 | 28.849 % |
53.23/53.36 c | 34903 | 61224 372229 1072181 | 2147483647 34017 100 | 28.850 % |
53.83/53.95 c | 35275 | 61092 371060 1069022 | 2147483647 34341 100 | 28.909 % |
54.43/54.57 c | 35685 | 61092 371060 1069022 | 2147483647 34751 102 | 28.909 % |
55.03/55.18 c | 36138 | 61090 371060 1069022 | 2147483647 35202 102 | 28.914 % |
55.93/56.03 c | 36631 | 61090 371060 1069022 | 2147483647 35695 102 | 28.914 % |
56.53/56.66 c | 37173 | 61090 371060 1069022 | 2147483647 36237 103 | 28.914 % |
56.72/56.82 c | 37273 | 61090 371060 1069022 | 2147483647 36337 103 | 28.914 % |
56.92/57.07 c | 37383 | 61087 371060 1069022 | 2147483647 36445 103 | 28.931 % |
57.03/57.20 c | 37506 | 61085 371060 1069022 | 2147483647 36566 103 | 28.957 % |
57.32/57.45 c | 37640 | 61081 371060 1069022 | 2147483647 36700 103 | 28.957 % |
57.52/57.65 c | 37787 | 61081 371060 1069022 | 2147483647 36846 103 | 28.960 % |
57.72/57.80 c | 37951 | 61081 371060 1069022 | 2147483647 37010 103 | 28.960 % |
58.14/58.26 c | 38137 | 61048 370756 1068188 | 2147483647 37191 103 | 28.960 % |
58.43/58.55 c | 38330 | 61048 370756 1068188 | 2147483647 37384 103 | 28.960 % |
58.63/58.78 c | 38542 | 61044 370756 1068188 | 2147483647 37594 103 | 29.016 % |
58.93/59.10 c | 38775 | 61041 370756 1068188 | 2147483647 37827 103 | 29.016 % |
59.33/59.48 c | 39031 | 61006 370756 1068188 | 2147483647 38080 104 | 29.448 % |
59.83/59.96 c | 39313 | 61006 370756 1068188 | 2147483647 38362 104 | 29.448 % |
60.23/60.39 c | 39624 | 61005 370756 1068188 | 2147483647 38672 104 | 29.449 % |
60.93/61.03 c | 39964 | 61000 370756 1068188 | 2147483647 39009 105 | 29.880 % |
61.43/61.53 c | 40339 | 61000 370756 1068188 | 2147483647 39384 105 | 29.880 % |
61.82/61.95 c | 40748 | 60993 370756 1068188 | 2147483647 39790 105 | 29.912 % |
62.63/62.71 c | 41197 | 60993 370756 1068188 | 2147483647 40238 106 | 29.913 % |
63.32/63.48 c | 41691 | 60139 358857 1035679 | 2147483647 40336 106 | 30.018 % |
64.42/64.51 c | 42233 | 60133 358857 1035679 | 2147483647 40874 106 | 30.059 % |
65.62/65.74 c | 42829 | 60124 358857 1035679 | 2147483647 41466 107 | 30.088 % |
65.72/65.87 c | 42929 | 60124 358857 1035679 | 2147483647 41566 107 | 30.088 % |
65.93/66.05 c | 43039 | 60124 358857 1035679 | 2147483647 41676 107 | 30.088 % |
66.12/66.27 c | 43162 | 60123 358857 1035679 | 2147483647 41798 107 | 30.089 % |
66.42/66.55 c | 43297 | 60123 358857 1035679 | 2147483647 41932 107 | 30.090 % |
66.72/66.89 c | 43449 | 60123 358857 1035679 | 2147483647 42084 107 | 30.090 % |
66.92/67.10 c | 43610 | 60123 358857 1035679 | 2147483647 42245 108 | 30.090 % |
67.22/67.36 c | 43786 | 60123 358857 1035679 | 2147483647 42421 108 | 30.090 % |
67.52/67.69 c | 43982 | 60054 358206 1033979 | 2147483647 42576 108 | 30.137 % |
68.12/68.25 c | 44198 | 60052 358206 1033979 | 2147483647 42792 109 | 30.137 % |
68.61/68.71 c | 44434 | 60052 358206 1033979 | 2147483647 43028 109 | 30.137 % |
68.81/68.97 c | 44692 | 60051 358206 1033979 | 2147483647 43285 109 | 30.138 % |
69.41/69.51 c | 44975 | 60047 358206 1033979 | 2147483647 43566 110 | 30.151 % |
69.81/69.95 c | 45284 | 60029 358206 1033979 | 2147483647 43871 109 | 30.290 % |
70.41/70.59 c | 45623 | 60026 358206 1033979 | 2147483647 44210 110 | 30.290 % |
70.91/71.09 c | 45999 | 60024 358206 1033979 | 2147483647 44584 110 | 30.338 % |
72.11/72.22 c | 46409 | 60024 358206 1033979 | 2147483647 44994 110 | 30.338 % |
72.51/72.67 c | 46858 | 60024 358206 1033979 | 2147483647 45443 111 | 30.338 % |
73.71/73.86 c | 47353 | 59971 358206 1033979 | 2147483647 45935 112 | 31.137 % |
74.61/74.76 c | 47897 | 59168 346412 1001710 | 2147483647 46206 113 | 31.162 % |
75.71/75.83 c | 48493 | 59168 346412 1001710 | 2147483647 46802 113 | 31.162 % |
76.61/76.77 c | 49148 | 59163 346412 1001710 | 2147483647 47455 113 | 31.222 % |
77.01/77.10 c | 49248 | 59144 346412 1001710 | 2147483647 47555 114 | 31.222 % |
77.21/77.30 c | 49359 | 59144 346412 1001710 | 2147483647 47666 114 | 31.222 % |
77.31/77.41 c | 49489 | 59144 346412 1001710 | 2147483647 47796 114 | 31.222 % |
77.41/77.52 c | 49623 | 59144 346412 1001710 | 2147483647 47930 114 | 31.222 % |
77.61/77.77 c | 49770 | 59143 346412 1001710 | 2147483647 48076 114 | 31.275 % |
77.92/78.02 c | 49930 | 59142 346412 1001710 | 2147483647 48235 114 | 31.283 % |
78.11/78.23 c | 50107 | 59141 346412 1001710 | 2147483647 48411 114 | 31.284 % |
78.61/78.74 c | 50301 | 59140 346412 1001710 | 2147483647 48604 114 | 31.285 % |
79.02/79.16 c | 50515 | 59136 346412 1001710 | 2147483647 48817 114 | 31.373 % |
79.41/79.56 c | 50748 | 59121 346412 1001710 | 2147483647 49050 115 | 31.373 % |
79.81/79.94 c | 51004 | 58973 345189 998621 | 2147483647 49252 115 | 31.375 % |
80.31/80.43 c | 51285 | 58972 345189 998621 | 2147483647 49532 115 | 31.391 % |
80.61/80.79 c | 51597 | 58972 345189 998621 | 2147483647 49843 115 | 31.448 % |
81.21/81.38 c | 51938 | 58972 345189 998621 | 2147483647 50183 116 | 31.449 % |
82.10/82.22 c | 52310 | 58970 345189 998621 | 2147483647 50553 116 | 31.452 % |
82.90/83.02 c | 52720 | 58970 345189 998621 | 2147483647 50963 117 | 31.452 % |
83.41/83.55 c | 53169 | 58969 345189 998621 | 2147483647 51410 117 | 31.466 % |
84.40/84.59 c | 53662 | 58969 345189 998621 | 2147483647 51903 118 | 31.466 % |
85.50/85.62 c | 54204 | 58969 345189 998621 | 2147483647 52444 118 | 31.478 % |
86.20/86.36 c | 54802 | 58968 345189 998621 | 2147483647 53041 118 | 31.488 % |
87.40/87.55 c | 55457 | 58875 344638 997260 | 2147483647 53670 118 | 31.489 % |
88.80/88.90 c | 56177 | 58875 344638 997260 | 2147483647 54390 119 | 31.489 % |
88.90/89.00 c | 56277 | 58875 344638 997260 | 2147483647 54490 119 | 31.489 % |
89.01/89.15 c | 56388 | 58875 344638 997260 | 2147483647 54600 119 | 31.504 % |
89.21/89.39 c | 56509 | 58875 344638 997260 | 2147483647 54721 119 | 31.504 % |
89.41/89.50 c | 56642 | 58875 344638 997260 | 2147483647 54854 119 | 31.504 % |
89.61/89.75 c | 56788 | 58875 344638 997260 | 2147483647 55000 118 | 31.504 % |
89.81/89.96 c | 56948 | 58875 344638 997260 | 2147483647 55160 118 | 31.504 % |
90.41/90.53 c | 57125 | 58875 344638 997260 | 2147483647 55337 119 | 31.504 % |
90.71/90.87 c | 57318 | 58875 344638 997260 | 2147483647 55530 119 | 31.504 % |
91.01/91.15 c | 57531 | 58875 344638 997260 | 2147483647 55743 119 | 31.504 % |
91.31/91.45 c | 57766 | 58875 344638 997260 | 2147483647 55978 119 | 31.504 % |
91.91/92.02 c | 58022 | 58861 344638 997260 | 2147483647 56230 119 | 31.540 % |
92.11/92.30 c | 58303 | 58856 344638 997260 | 2147483647 56509 119 | 31.565 % |
92.90/93.06 c | 58613 | 58852 344638 997260 | 2147483647 56818 120 | 31.573 % |
93.70/93.81 c | 58953 | 58852 344638 997260 | 2147483647 57158 120 | 31.573 % |
94.20/94.39 c | 59325 | 58419 338728 981056 | 2147483647 57433 120 | 32.020 % |
95.10/95.25 c | 59734 | 58418 338728 981056 | 2147483647 57841 120 | 32.021 % |
95.70/95.84 c | 60186 | 58416 338728 981056 | 2147483647 58292 120 | 32.028 % |
96.50/96.65 c | 60679 | 58411 338728 981056 | 2147483647 58784 120 | 32.039 % |
97.10/97.23 c | 61222 | 58410 338728 981056 | 2147483647 59326 120 | 32.040 % |
98.70/98.90 c | 61820 | 58407 338728 981056 | 2147483647 59923 121 | 32.054 % |
99.60/99.77 c | 62475 | 58404 338728 981056 | 2147483647 60577 122 | 32.065 % |
100.30/100.42 c | 63196 | 58403 338728 981056 | 2147483647 61297 122 | 32.066 % |
101.50/101.61 c | 63991 | 58393 338728 981056 | 2147483647 62088 122 | 32.136 % |
101.70/101.80 c | 64091 | 58393 338728 981056 | 2147483647 62188 122 | 32.136 % |
102.00/102.11 c | 64202 | 58319 338110 979518 | 2147483647 62276 122 | 32.136 % |
102.30/102.41 c | 64324 | 58319 338110 979518 | 2147483647 62398 122 | 32.136 % |
102.70/102.84 c | 64457 | 58319 338110 979518 | 2147483647 62531 122 | 32.136 % |
102.90/103.01 c | 64609 | 58319 338110 979518 | 2147483647 62683 122 | 32.136 % |
103.10/103.23 c | 64769 | 58319 338110 979518 | 2147483647 62843 122 | 32.136 % |
103.30/103.49 c | 64947 | 58317 338110 979518 | 2147483647 63020 122 | 32.142 % |
103.60/103.70 c | 65140 | 58317 338110 979518 | 2147483647 63213 122 | 32.142 % |
104.00/104.11 c | 65352 | 58317 338110 979518 | 2147483647 63425 122 | 32.142 % |
104.40/104.51 c | 65588 | 58317 338110 979518 | 2147483647 63661 123 | 32.142 % |
105.10/105.25 c | 65846 | 58317 338110 979518 | 2147483647 63919 123 | 32.142 % |
105.80/105.96 c | 66130 | 58315 338110 979518 | 2147483647 64201 123 | 32.155 % |
106.39/106.51 c | 66440 | 58312 338110 979518 | 2147483647 64509 123 | 32.172 % |
107.29/107.49 c | 66779 | 58312 338110 979518 | 2147483647 64848 124 | 32.172 % |
108.19/108.38 c | 67154 | 58312 338110 979518 | 2147483647 65223 124 | 32.172 % |
108.99/109.13 c | 67563 | 58304 338110 979518 | 2147483647 65630 124 | 32.195 % |
109.69/109.89 c | 68014 | 58303 338110 979518 | 2147483647 66080 124 | 32.196 % |
110.80/110.98 c | 68508 | 58303 338110 979518 | 2147483647 66574 125 | 32.196 % |
111.90/112.07 c | 69050 | 58266 337697 978410 | 2147483647 67087 126 | 32.198 % |
112.99/113.18 c | 69646 | 58266 337697 978410 | 2147483647 67683 126 | 32.198 % |
114.89/115.07 c | 70303 | 58265 337697 978410 | 2147483647 68339 127 | 32.199 % |
116.09/116.29 c | 71023 | 58254 337697 978410 | 2147483647 69052 128 | 32.285 % |
117.30/117.44 c | 71820 | 58248 337697 978410 | 2147483647 69846 128 | 32.314 % |
118.50/118.68 c | 72693 | 58243 337697 978410 | 2147483647 70716 129 | 32.349 % |
118.79/118.97 c | 72793 | 58243 337697 978410 | 2147483647 70816 130 | 32.349 % |
119.09/119.29 c | 72906 | 58243 337697 978410 | 2147483647 70929 130 | 32.349 % |
119.39/119.57 c | 73028 | 58243 337697 978410 | 2147483647 71051 130 | 32.349 % |
119.70/119.83 c | 73161 | 58243 337697 978410 | 2147483647 71184 130 | 32.349 % |
119.99/120.14 c | 73307 | 58243 337697 978410 | 2147483647 71330 130 | 32.349 % |
120.19/120.39 c | 73467 | 58243 337697 978410 | 2147483647 71490 130 | 32.349 % |
120.49/120.67 c | 73644 | 58243 337697 978410 | 2147483647 71667 130 | 32.349 % |
120.90/121.04 c | 73837 | 58213 337697 978410 | 2147483647 71858 130 | 32.479 % |
121.19/121.36 c | 74050 | 58213 337697 978410 | 2147483647 72071 130 | 32.479 % |
121.59/121.76 c | 74286 | 58213 337697 978410 | 2147483647 72307 130 | 32.479 % |
122.00/122.19 c | 74543 | 58205 337697 978410 | 2147483647 72561 130 | 32.532 % |
122.69/122.86 c | 74825 | 57976 335730 973237 | 2147483647 72724 131 | 32.535 % |
123.19/123.36 c | 75134 | 57976 335730 973237 | 2147483647 73033 131 | 32.535 % |
124.09/124.27 c | 75476 | 57976 335730 973237 | 2147483647 73374 131 | 32.548 % |
124.99/125.13 c | 75851 | 57976 335730 973237 | 2147483647 73749 132 | 32.548 % |
125.59/125.73 c | 76264 | 57976 335730 973237 | 2147483647 74162 132 | 32.548 % |
126.98/127.16 c | 76716 | 57975 335730 973237 | 2147483647 74613 133 | 32.549 % |
128.09/128.23 c | 77209 | 57975 335730 973237 | 2147483647 75106 134 | 32.549 % |
128.99/129.18 c | 77754 | 57975 335730 973237 | 2147483647 75651 134 | 32.549 % |
130.29/130.45 c | 78355 | 57974 335730 973237 | 2147483647 76251 135 | 32.550 % |
131.09/131.27 c | 79017 | 57974 335730 973237 | 2147483647 76913 135 | 32.550 % |
132.79/132.97 c | 79742 | 57948 335730 973237 | 2147483647 77634 136 | 32.863 % |
133.99/134.11 c | 80534 | 57948 335730 973237 | 2147483647 78426 136 | 32.863 % |
135.49/135.67 c | 81406 | 57948 335730 973237 | 2147483647 79298 136 | 32.863 % |
137.39/137.53 c | 82364 | 57693 334407 970394 | 2147483647 80224 137 | 32.864 % |
137.59/137.71 c | 82473 | 57693 334407 970394 | 2147483647 80333 137 | 32.864 % |
137.79/137.99 c | 82584 | 57692 334407 970394 | 2147483647 80443 137 | 32.866 % |
138.09/138.28 c | 82708 | 57692 334407 970394 | 2147483647 80567 137 | 32.866 % |
138.39/138.57 c | 82844 | 57692 334407 970394 | 2147483647 80703 137 | 32.866 % |
138.68/138.86 c | 82990 | 57690 334407 970394 | 2147483647 80848 137 | 32.880 % |
139.08/139.22 c | 83150 | 57690 334407 970394 | 2147483647 81008 137 | 32.880 % |
139.28/139.49 c | 83327 | 57689 334407 970394 | 2147483647 81184 137 | 32.883 % |
139.88/140.00 c | 83520 | 57689 334407 970394 | 2147483647 81377 137 | 32.883 % |
140.38/140.58 c | 83734 | 57689 334407 970394 | 2147483647 81591 137 | 32.883 % |
140.99/141.12 c | 83968 | 57689 334407 970394 | 2147483647 81825 137 | 32.883 % |
141.49/141.64 c | 84224 | 57689 334407 970394 | 2147483647 82080 138 | 32.886 % |
142.18/142.33 c | 84507 | 57689 334407 970394 | 2147483647 82363 138 | 32.886 % |
143.08/143.22 c | 84816 | 57687 334407 970394 | 2147483647 82670 138 | 32.899 % |
143.78/143.99 c | 85155 | 57687 334407 970394 | 2147483647 83008 139 | 32.902 % |
144.68/144.89 c | 85527 | 57686 334407 970394 | 2147483647 83380 139 | 32.902 % |
145.78/145.91 c | 85943 | 57686 334407 970394 | 2147483647 83795 140 | 32.916 % |
146.58/146.71 c | 86392 | 57686 334407 970394 | 2147483647 84244 140 | 32.916 % |
147.48/147.60 c | 86885 | 57685 334407 970394 | 2147483647 84736 140 | 32.917 % |
148.78/148.99 c | 87427 | 57685 334407 970394 | 2147483647 85278 141 | 32.917 % |
149.88/150.07 c | 88023 | 57684 334407 970394 | 2147483647 85873 141 | 32.918 % |
151.48/151.68 c | 88680 | 57618 333806 968776 | 2147483647 86488 141 | 32.952 % |
153.28/153.44 c | 89401 | 57606 333806 968776 | 2147483647 87206 141 | 32.995 % |
154.38/154.56 c | 90195 | 57584 333806 968776 | 2147483647 87998 141 | 33.074 % |
156.77/156.98 c | 91067 | 57583 333806 968776 | 2147483647 88869 142 | 33.082 % |
158.98/159.20 c | 92025 | 57579 333806 968776 | 2147483647 89824 142 | 33.130 % |
161.07/161.22 c | 93079 | 57579 333806 968776 | 2147483647 90878 144 | 33.130 % |
161.37/161.59 c | 93182 | 57578 333806 968776 | 2147483647 90980 144 | 33.138 % |
161.67/161.83 c | 93293 | 57576 333806 968776 | 2147483647 91091 144 | 33.138 % |
161.77/161.98 c | 93414 | 57576 333806 968776 | 2147483647 91212 144 | 33.138 % |
162.37/162.54 c | 93547 | 57576 333806 968776 | 2147483647 91345 144 | 33.138 % |
162.77/162.95 c | 93693 | 57576 333806 968776 | 2147483647 91491 144 | 33.138 % |
163.17/163.36 c | 93854 | 57576 333806 968776 | 2147483647 91652 145 | 33.138 % |
163.57/163.75 c | 94031 | 57574 333806 968776 | 2147483647 91828 145 | 33.147 % |
163.87/164.08 c | 94224 | 57574 333806 968776 | 2147483647 92021 145 | 33.147 % |
164.27/164.46 c | 94437 | 57574 333806 968776 | 2147483647 92234 144 | 33.147 % |
164.87/165.00 c | 94670 | 57574 333806 968776 | 2147483647 92467 144 | 33.147 % |
165.37/165.56 c | 94930 | 57574 333806 968776 | 2147483647 92727 144 | 33.147 % |
165.88/166.07 c | 95211 | 57569 333806 968776 | 2147483647 93007 144 | 33.161 % |
166.38/166.53 c | 95520 | 57569 333806 968776 | 2147483647 93316 144 | 33.161 % |
167.18/167.30 c | 95861 | 57569 333806 968776 | 2147483647 93657 145 | 33.161 % |
167.97/168.19 c | 96238 | 57438 331978 963931 | 2147483647 93884 145 | 33.161 % |
168.67/168.87 c | 96652 | 57438 331978 963931 | 2147483647 94298 145 | 33.161 % |
169.37/169.53 c | 97101 | 57438 331978 963931 | 2147483647 94747 145 | 33.161 % |
170.97/171.13 c | 97594 | 57438 331978 963931 | 2147483647 95240 146 | 33.161 % |
172.07/172.21 c | 98136 | 57402 331978 963931 | 2147483647 95781 146 | 33.215 % |
174.07/174.24 c | 98732 | 57401 331978 963931 | 2147483647 96376 146 | 33.225 % |
175.37/175.54 c | 99387 | 57401 331978 963931 | 2147483647 97031 147 | 33.225 % |
176.87/177.09 c | 100108 | 57400 331978 963931 | 2147483647 97751 147 | 33.226 % |
178.77/178.90 c | 100900 | 57398 331978 963931 | 2147483647 98541 148 | 33.238 % |
180.87/181.00 c | 101772 | 57397 331978 963931 | 2147483647 99412 148 | 33.245 % |
183.17/183.38 c | 102730 | 57395 331978 963931 | 2147483647 100367 148 | 33.257 % |
185.37/185.58 c | 103787 | 57395 331978 963931 | 2147483647 101424 149 | 33.257 % |
188.87/189.04 c | 104945 | 57395 331978 963931 | 2147483647 102582 149 | 33.257 % |
189.37/189.51 c | 105048 | 57356 331514 962790 | 2147483647 102657 150 | 33.257 % |
189.67/189.87 c | 105162 | 57356 331514 962790 | 2147483647 102771 150 | 33.257 % |
189.96/190.10 c | 105285 | 57356 331514 962790 | 2147483647 102894 150 | 33.257 % |
190.17/190.33 c | 105418 | 57356 331514 962790 | 2147483647 103027 150 | 33.257 % |
190.36/190.55 c | 105564 | 57356 331514 962790 | 2147483647 103173 150 | 33.257 % |
190.66/190.83 c | 105724 | 57356 331514 962790 | 2147483647 103333 150 | 33.257 % |
190.96/191.20 c | 105901 | 57356 331514 962790 | 2147483647 103510 150 | 33.257 % |
191.46/191.64 c | 106098 | 57356 331514 962790 | 2147483647 103707 150 | 33.257 % |
191.86/192.03 c | 106313 | 57356 331514 962790 | 2147483647 103922 150 | 33.257 % |
192.46/192.61 c | 106548 | 57356 331514 962790 | 2147483647 104157 150 | 33.257 % |
193.16/193.35 c | 106808 | 57356 331514 962790 | 2147483647 104417 150 | 33.257 % |
193.56/193.79 c | 107089 | 57355 331514 962790 | 2147483647 104697 150 | 33.272 % |
194.46/194.64 c | 107410 | 57352 331514 962790 | 2147483647 105016 150 | 33.287 % |
194.86/195.06 c | 107752 | 57352 331514 962790 | 2147483647 105358 150 | 33.287 % |
195.76/195.94 c | 108124 | 57352 331514 962790 | 2147483647 105730 150 | 33.287 % |
196.77/196.97 c | 108533 | 57352 331514 962790 | 2147483647 106139 150 | 33.287 % |
197.66/197.83 c | 108984 | 57350 331514 962790 | 2147483647 106589 151 | 33.298 % |
198.96/199.17 c | 109483 | 57342 331514 962790 | 2147483647 107084 151 | 33.353 % |
200.56/200.75 c | 110025 | 57341 331514 962790 | 2147483647 107624 152 | 33.424 % |
202.26/202.42 c | 110621 | 57340 331514 962790 | 2147483647 108219 152 | 33.426 % |
203.46/203.68 c | 111279 | 57339 331514 962790 | 2147483647 108876 152 | 33.436 % |
205.36/205.58 c | 111999 | 57333 331514 962790 | 2147483647 109594 153 | 33.461 % |
207.05/207.23 c | 112794 | 57333 331514 962790 | 2147483647 110389 153 | 33.461 % |
208.15/208.36 c | 113665 | 57333 331514 962790 | 2147483647 111260 153 | 33.461 % |
211.46/211.61 c | 114628 | 57333 331514 962790 | 2147483647 112223 153 | 33.461 % |
214.36/214.58 c | 115681 | 57178 329837 958246 | 2147483647 112209 154 | 33.464 % |
217.46/217.60 c | 116839 | 57178 329837 958246 | 2147483647 113367 154 | 33.464 % |
221.05/221.22 c | 118117 | 57178 329837 958246 | 2147483647 114645 155 | 33.464 % |
221.25/221.47 c | 118217 | 57178 329837 958246 | 2147483647 114745 155 | 33.464 % |
221.55/221.76 c | 118327 | 57178 329837 958246 | 2147483647 114855 155 | 33.464 % |
222.05/222.22 c | 118450 | 57178 329837 958246 | 2147483647 114978 156 | 33.464 % |
222.65/222.87 c | 118593 | 57178 329837 958246 | 2147483647 115121 156 | 33.464 % |
223.15/223.31 c | 118741 | 57178 329837 958246 | 2147483647 115269 156 | 33.464 % |
223.65/223.82 c | 118903 | 57178 329837 958246 | 2147483647 115431 156 | 33.464 % |
223.95/224.17 c | 119080 | 57178 329837 958246 | 2147483647 115608 156 | 33.464 % |
224.65/224.87 c | 119277 | 57177 329837 958246 | 2147483647 115804 156 | 33.465 % |
225.26/225.42 c | 119490 | 57177 329837 958246 | 2147483647 116017 156 | 33.465 % |
225.86/226.06 c | 119723 | 57177 329837 958246 | 2147483647 116250 156 | 33.465 % |
226.76/226.95 c | 119982 | 57177 329837 958246 | 2147483647 116509 156 | 33.465 % |
227.46/227.70 c | 120263 | 57175 329837 958246 | 2147483647 116788 156 | 33.469 % |
227.85/228.05 c | 120573 | 57175 329837 958246 | 2147483647 117098 156 | 33.470 % |
228.25/228.42 c | 120912 | 57173 329837 958246 | 2147483647 117435 156 | 33.492 % |
229.45/229.66 c | 121285 | 57173 329837 958246 | 2147483647 117808 156 | 33.492 % |
230.95/231.18 c | 121695 | 57173 329837 958246 | 2147483647 118218 157 | 33.492 % |
232.45/232.69 c | 122144 | 57173 329837 958246 | 2147483647 118667 157 | 33.492 % |
233.65/233.83 c | 122638 | 57173 329837 958246 | 2147483647 119161 158 | 33.492 % |
234.35/234.51 c | 123182 | 57173 329837 958246 | 2147483647 119705 158 | 33.492 % |
235.75/235.95 c | 123783 | 57173 329837 958246 | 2147483647 120306 158 | 33.492 % |
237.14/237.39 c | 124438 | 57173 329837 958246 | 2147483647 120961 157 | 33.492 % |
239.24/239.43 c | 125158 | 57153 329608 957676 | 2147483647 121673 157 | 33.501 % |
241.25/241.44 c | 125950 | 57153 329608 957676 | 2147483647 122465 158 | 33.501 % |
243.35/243.52 c | 126821 | 57153 329608 957676 | 2147483647 123336 159 | 33.501 % |
244.94/245.13 c | 127781 | 57116 329608 957676 | 2147483647 124292 158 | 33.695 % |
246.44/246.62 c | 128835 | 57113 329608 957676 | 2147483647 125344 159 | 33.762 % |
248.94/249.16 c | 129996 | 57112 329608 957676 | 2147483647 126503 159 | 33.767 % |
252.24/252.50 c | 131274 | 57104 329608 957676 | 2147483647 127779 159 | 33.927 % |
255.15/255.38 c | 132675 | 57086 329608 957676 | 2147483647 129173 160 | 34.092 % |
255.35/255.57 c | 132776 | 57085 329608 957676 | 2147483647 129273 159 | 34.093 % |
255.65/255.87 c | 132886 | 57085 329608 957676 | 2147483647 129383 159 | 34.093 % |
256.15/256.35 c | 133009 | 57083 329608 957676 | 2147483647 129505 160 | 34.096 % |
256.34/256.59 c | 133144 | 57083 329608 957676 | 2147483647 129640 160 | 34.096 % |
256.64/256.82 c | 133290 | 57082 329608 957676 | 2147483647 129785 160 | 34.103 % |
257.15/257.39 c | 133451 | 57082 329608 957676 | 2147483647 129945 159 | 34.113 % |
257.74/257.93 c | 133630 | 57082 329608 957676 | 2147483647 130124 160 | 34.113 % |
258.35/258.57 c | 133829 | 57082 329608 957676 | 2147483647 130323 160 | 34.113 % |
258.84/259.08 c | 134043 | 57082 329608 957676 | 2147483647 130537 160 | 34.113 % |
259.84/260.00 c | 134277 | 57082 329608 957676 | 2147483647 130771 160 | 34.113 % |
260.34/260.59 c | 134534 | 57082 329608 957676 | 2147483647 131028 160 | 34.113 % |
260.94/261.11 c | 134815 | 57082 329608 957676 | 2147483647 131309 160 | 34.113 % |
261.24/261.49 c | 135124 | 57082 329608 957676 | 2147483647 131618 160 | 34.113 % |
262.44/262.68 c | 135463 | 57082 329608 957676 | 2147483647 131957 160 | 34.113 % |
263.84/264.07 c | 135835 | 57081 329608 957676 | 2147483647 132328 160 | 34.215 % |
264.84/265.06 c | 136244 | 57081 329608 957676 | 2147483647 132737 161 | 34.215 % |
266.13/266.30 c | 136695 | 57081 329608 957676 | 2147483647 133188 161 | 34.215 % |
267.84/268.08 c | 137188 | 56531 324284 944336 | 2147483647 133363 162 | 34.217 % |
269.84/270.04 c | 137731 | 56531 324284 944336 | 2147483647 133906 163 | 34.217 % |
271.64/271.81 c | 138327 | 56531 324284 944336 | 2147483647 134502 163 | 34.217 % |
272.64/272.82 c | 138985 | 56531 324284 944336 | 2147483647 135160 163 | 34.217 % |
274.63/274.84 c | 139707 | 56526 324284 944336 | 2147483647 135878 163 | 34.296 % |
276.63/276.83 c | 140499 | 56525 324284 944336 | 2147483647 136669 164 | 34.299 % |
279.23/279.49 c | 141370 | 56525 324284 944336 | 2147483647 137540 164 | 34.299 % |
281.33/281.57 c | 142329 | 56523 324284 944336 | 2147483647 138496 164 | 34.346 % |
284.14/284.31 c | 143383 | 56523 324284 944336 | 2147483647 139550 165 | 34.346 % |
287.63/287.82 c | 144541 | 56523 324284 944336 | 2147483647 140707 165 | 34.347 % |
289.64/289.85 c | 145818 | 56517 324284 944336 | 2147483647 141980 165 | 34.404 % |
291.13/291.31 c | 147220 | 56516 324284 944336 | 2147483647 143381 165 | 34.414 % |
292.93/293.14 c | 148761 | 56516 324284 944336 | 2147483647 144922 164 | 34.414 % |
293.03/293.24 c | 148863 | 56516 324284 944336 | 2147483647 145024 164 | 34.414 % |
293.13/293.36 c | 148973 | 56516 324284 944336 | 2147483647 145134 164 | 34.414 % |
293.33/293.51 c | 149094 | 56516 324284 944336 | 2147483647 145255 164 | 34.414 % |
293.44/293.66 c | 149227 | 56515 324284 944336 | 2147483647 145387 164 | 34.421 % |
293.73/293.95 c | 149373 | 56515 324284 944336 | 2147483647 145533 164 | 34.421 % |
293.93/294.12 c | 149540 | 56515 324284 944336 | 2147483647 145700 164 | 34.421 % |
294.23/294.41 c | 149717 | 56513 324284 944336 | 2147483647 145877 164 | 34.421 % |
294.73/294.92 c | 149910 | 56511 324284 944336 | 2147483647 146069 164 | 34.430 % |
295.13/295.30 c | 150122 | 56511 324284 944336 | 2147483647 146281 164 | 34.430 % |
295.73/295.99 c | 150358 | 56511 324284 944336 | 2147483647 146517 164 | 34.430 % |
297.13/297.30 c | 150614 | 56511 324284 944336 | 2147483647 146773 164 | 34.430 % |
297.52/297.75 c | 150895 | 56511 324284 944336 | 2147483647 147054 164 | 34.430 % |
298.32/298.54 c | 151204 | 56346 322959 940962 | 2147483647 147286 164 | 34.440 % |
299.12/299.31 c | 151544 | 56346 322959 940962 | 2147483647 147626 165 | 34.440 % |
299.92/300.18 c | 151917 | 56344 322959 940962 | 2147483647 147997 165 | 34.446 % |
301.43/301.67 c | 152328 | 56344 322959 940962 | 2147483647 148408 165 | 34.446 % |
302.13/302.30 c | 152778 | 56340 322959 940962 | 2147483647 148856 165 | 34.488 % |
303.52/303.75 c | 153272 | 56339 322959 940962 | 2147483647 149349 165 | 34.489 % |
305.22/305.45 c | 153817 | 56339 322959 940962 | 2147483647 149894 165 | 34.489 % |
307.53/307.79 c | 154415 | 56339 322959 940962 | 2147483647 150492 166 | 34.489 % |
309.22/309.49 c | 155072 | 56339 322959 940962 | 2147483647 151149 166 | 34.489 % |
311.52/311.80 c | 155792 | 56339 322959 940962 | 2147483647 151868 167 | 34.492 % |
314.82/315.07 c | 156585 | 56338 322959 940962 | 2147483647 152660 167 | 34.494 % |
318.22/318.44 c | 157460 | 56337 322959 940962 | 2147483647 153534 168 | 34.504 % |
321.42/321.66 c | 158418 | 56336 322959 940962 | 2147483647 154490 168 | 34.514 % |
324.72/324.94 c | 159473 | 56336 322959 940962 | 2147483647 155545 168 | 34.514 % |
327.92/328.10 c | 160633 | 56334 322959 940962 | 2147483647 156703 168 | 34.538 % |
329.92/330.17 c | 161906 | 56334 322959 940962 | 2147483647 157976 168 | 34.538 % |
334.12/334.34 c | 163306 | 56333 322959 940962 | 2147483647 159374 168 | 34.585 % |
338.62/338.83 c | 164846 | 56322 322959 940962 | 2147483647 160911 168 | 34.641 % |
345.22/345.48 c | 166542 | 56162 321453 936907 | 2147483647 162272 169 | 34.809 % |
345.62/345.84 c | 166642 | 56160 321453 936907 | 2147483647 162371 169 | 34.819 % |
345.92/346.14 c | 166752 | 56160 321453 936907 | 2147483647 162481 169 | 34.819 % |
346.22/346.50 c | 166878 | 56160 321453 936907 | 2147483647 162607 169 | 34.819 % |
346.82/347.07 c | 167011 | 56160 321453 936907 | 2147483647 162740 169 | 34.819 % |
347.52/347.79 c | 167158 | 56160 321453 936907 | 2147483647 162887 169 | 34.819 % |
348.12/348.37 c | 167321 | 56160 321453 936907 | 2147483647 163050 169 | 34.819 % |
348.81/349.06 c | 167505 | 56160 321453 936907 | 2147483647 163234 169 | 34.819 % |
349.81/350.04 c | 167698 | 56159 321453 936907 | 2147483647 163426 169 | 34.850 % |
350.62/350.85 c | 167910 | 56159 321453 936907 | 2147483647 163638 170 | 34.850 % |
351.31/351.51 c | 168145 | 56159 321453 936907 | 2147483647 163873 170 | 34.850 % |
352.11/352.32 c | 168404 | 56159 321453 936907 | 2147483647 164132 170 | 34.850 % |
353.91/354.17 c | 168685 | 56159 321453 936907 | 2147483647 164413 170 | 34.850 % |
354.81/355.07 c | 168995 | 56159 321453 936907 | 2147483647 164723 170 | 34.850 % |
355.81/356.04 c | 169335 | 56159 321453 936907 | 2147483647 165063 170 | 34.850 % |
356.81/357.09 c | 169707 | 56159 321453 936907 | 2147483647 165435 170 | 34.850 % |
357.71/357.91 c | 170117 | 56159 321453 936907 | 2147483647 165845 170 | 34.850 % |
358.71/358.90 c | 170571 | 56159 321453 936907 | 2147483647 166299 170 | 34.850 % |
359.42/359.61 c | 171064 | 56158 321453 936907 | 2147483647 166791 170 | 34.858 % |
361.41/361.64 c | 171609 | 56158 321453 936907 | 2147483647 167336 170 | 34.858 % |
363.61/363.86 c | 172205 | 56158 321453 936907 | 2147483647 167930 170 | 34.965 % |
366.51/366.71 c | 172860 | 56158 321453 936907 | 2147483647 168585 171 | 34.965 % |
368.51/368.75 c | 173580 | 56158 321453 936907 | 2147483647 169305 171 | 34.965 % |
373.00/373.21 c | 174373 | 56156 321453 936907 | 2147483647 170097 171 | 34.975 % |
376.80/377.06 c | 175246 | 56156 321453 936907 | 2147483647 170970 172 | 34.975 % |
379.80/380.05 c | 176206 | 56156 321453 936907 | 2147483647 171929 172 | 34.976 % |
382.80/383.09 c | 177260 | 56154 321453 936907 | 2147483647 172981 172 | 35.107 % |
384.80/385.03 c | 178421 | 56153 321453 936907 | 2147483647 174140 172 | 35.117 % |
386.71/386.98 c | 179699 | 55757 318934 930425 | 2147483647 175142 172 | 35.117 % |
392.40/392.61 c | 181100 | 55755 318934 930425 | 2147483647 176542 173 | 35.128 % |
397.91/398.14 c | 182643 | 55754 318934 930425 | 2147483647 178083 173 | 35.143 % |
405.00/405.24 c | 184337 | 55754 318934 930425 | 2147483647 179777 174 | 35.143 % |
408.39/408.66 c | 186202 | 55753 318934 930425 | 2147483647 181641 174 | 35.153 % |
408.59/408.85 c | 186302 | 55753 318934 930425 | 2147483647 181741 174 | 35.153 % |
408.69/408.93 c | 186412 | 55753 318934 930425 | 2147483647 181851 174 | 35.153 % |
409.29/409.53 c | 186533 | 55753 318934 930425 | 2147483647 181972 174 | 35.153 % |
410.00/410.23 c | 186668 | 55753 318934 930425 | 2147483647 182107 174 | 35.153 % |
410.99/411.21 c | 186814 | 55753 318934 930425 | 2147483647 182253 174 | 35.153 % |
411.50/411.72 c | 186978 | 55753 318934 930425 | 2147483647 182417 174 | 35.153 % |
412.40/412.60 c | 187154 | 55753 318934 930425 | 2147483647 182593 175 | 35.153 % |
413.00/413.26 c | 187347 | 55753 318934 930425 | 2147483647 182786 175 | 35.153 % |
413.50/413.75 c | 187562 | 55753 318934 930425 | 2147483647 183001 175 | 35.153 % |
414.29/414.51 c | 187799 | 55753 318934 930425 | 2147483647 183238 175 | 35.153 % |
414.99/415.28 c | 188056 | 55752 318934 930425 | 2147483647 183494 175 | 35.154 % |
416.49/416.70 c | 188339 | 55752 318934 930425 | 2147483647 183777 175 | 35.154 % |
416.99/417.27 c | 188651 | 55752 318934 930425 | 2147483647 184089 175 | 35.155 % |
417.99/418.24 c | 188990 | 55752 318934 930425 | 2147483647 184428 175 | 35.154 % |
418.99/419.22 c | 189363 | 55752 318934 930425 | 2147483647 184801 175 | 35.154 % |
420.19/420.46 c | 189776 | 55752 318934 930425 | 2147483647 185214 175 | 35.154 % |
421.20/421.48 c | 190225 | 55752 318934 930425 | 2147483647 185663 175 | 35.154 % |
423.59/423.88 c | 190725 | 55752 318934 930425 | 2147483647 186163 175 | 35.154 % |
424.89/425.17 c | 191269 | 55750 318934 930425 | 2147483647 186706 175 | 35.171 % |
426.50/426.72 c | 191870 | 55749 318934 930425 | 2147483647 187305 175 | 35.173 % |
428.89/429.15 c | 192526 | 55749 318934 930425 | 2147483647 187961 175 | 35.173 % |
431.49/431.71 c | 193246 | 55749 318934 930425 | 2147483647 188681 176 | 35.173 % |
434.49/434.76 c | 194039 | 55748 318934 930425 | 2147483647 189473 176 | 35.184 % |
437.99/438.28 c | 194913 | 55747 318934 930425 | 2147483647 190345 176 | 35.199 % |
440.69/440.97 c | 195871 | 55747 318934 930425 | 2147483647 191303 177 | 35.199 % |
444.28/444.57 c | 196924 | 55687 318447 929166 | 2147483647 192319 177 | 35.199 % |
448.88/449.10 c | 198083 | 55687 318447 929166 | 2147483647 193477 177 | 35.203 % |
454.48/454.70 c | 199356 | 55687 318447 929166 | 2147483647 194749 178 | 35.205 % |
460.08/460.33 c | 200758 | 55685 318447 929166 | 2147483647 196148 178 | 35.228 % |
465.98/466.30 c | 202299 | 55683 318447 929166 | 2147483647 197688 179 | 35.237 % |
472.57/472.81 c | 203994 | 55681 318447 929166 | 2147483647 199381 180 | 35.239 % |
477.27/477.56 c | 205858 | 55676 318447 929166 | 2147483647 201244 181 | 35.252 % |
481.67/481.94 c | 207907 | 55676 318447 929166 | 2147483647 203293 181 | 35.252 % |
482.07/482.31 c | 208011 | 55676 318447 929166 | 2147483647 203397 181 | 35.252 % |
482.87/483.10 c | 208122 | 55676 318447 929166 | 2147483647 203508 181 | 35.252 % |
483.37/483.70 c | 208243 | 55676 318447 929166 | 2147483647 203629 181 | 35.252 % |
483.87/484.18 c | 208376 | 55676 318447 929166 | 2147483647 203762 181 | 35.252 % |
484.47/484.74 c | 208522 | 55676 318447 929166 | 2147483647 203908 181 | 35.252 % |
485.07/485.33 c | 208683 | 55676 318447 929166 | 2147483647 204069 181 | 35.252 % |
485.57/485.81 c | 208859 | 55676 318447 929166 | 2147483647 204245 181 | 35.252 % |
486.57/486.81 c | 209052 | 55676 318447 929166 | 2147483647 204438 181 | 35.252 % |
487.47/487.72 c | 209268 | 55676 318447 929166 | 2147483647 204654 181 | 35.252 % |
488.27/488.50 c | 209502 | 55676 318447 929166 | 2147483647 204888 181 | 35.252 % |
488.97/489.22 c | 209763 | 55676 318447 929166 | 2147483647 205149 181 | 35.252 % |
489.57/489.80 c | 210045 | 55676 318447 929166 | 2147483647 205431 181 | 35.252 % |
490.87/491.14 c | 210359 | 55676 318447 929166 | 2147483647 205745 181 | 35.252 % |
491.87/492.12 c | 210698 | 55675 318447 929166 | 2147483647 206083 181 | 35.253 % |
492.97/493.28 c | 211071 | 55675 318447 929166 | 2147483647 206456 181 | 35.253 % |
495.27/495.54 c | 211482 | 55673 318447 929166 | 2147483647 206865 181 | 35.692 % |
496.47/496.73 c | 211931 | 55671 318447 929166 | 2147483647 207313 181 | 35.719 % |
497.47/497.77 c | 212425 | 55668 318447 929166 | 2147483647 207805 181 | 35.737 % |
499.67/499.93 c | 212969 | 55668 318447 929166 | 2147483647 208349 181 | 35.737 % |
501.76/502.07 c | 213568 | 55668 318447 929166 | 2147483647 208948 182 | 35.737 % |
504.46/504.74 c | 214225 | 55667 318447 929166 | 2147483647 209604 182 | 35.741 % |
508.16/508.47 c | 214949 | 55667 318447 929166 | 2147483647 210328 182 | 35.741 % |
511.16/511.49 c | 215741 | 55219 312667 913073 | 2147483647 210970 182 | 35.749 % |
514.37/514.63 c | 216612 | 55213 312667 913073 | 2147483647 211837 182 | 35.839 % |
518.16/518.41 c | 217570 | 55212 312667 913073 | 2147483647 212794 183 | 35.843 % |
521.96/522.24 c | 218625 | 55212 312667 913073 | 2147483647 213849 182 | 35.843 % |
526.46/526.74 c | 219786 | 55211 312667 913073 | 2147483647 215009 182 | 35.855 % |
529.26/529.51 c | 221063 | 55211 312667 913073 | 2147483647 216286 183 | 35.855 % |
533.56/533.81 c | 222466 | 55211 312667 913073 | 2147483647 217688 182 | 35.857 % |
538.56/538.90 c | 224010 | 55199 312667 913073 | 2147483647 219230 183 | 35.957 % |
545.06/545.39 c | 225705 | 55191 312667 913073 | 2147483647 220917 183 | 36.134 % |
552.85/553.11 c | 227569 | 55189 312667 913073 | 2147483647 222778 184 | 36.251 % |
560.85/561.16 c | 229618 | 55188 312667 913073 | 2147483647 224826 184 | 36.252 % |
571.65/571.94 c | 231871 | 55188 312667 913073 | 2147483647 227079 184 | 36.252 % |
572.15/572.42 c | 231972 | 55188 312667 913073 | 2147483647 227180 184 | 36.252 % |
572.55/572.83 c | 232083 | 55188 312667 913073 | 2147483647 227291 184 | 36.252 % |
573.15/573.44 c | 232204 | 55188 312667 913073 | 2147483647 227412 184 | 36.252 % |
573.85/574.11 c | 232347 | 55188 312667 913073 | 2147483647 227555 184 | 36.252 % |
574.15/574.48 c | 232493 | 55188 312667 913073 | 2147483647 227701 184 | 36.252 % |
575.25/575.57 c | 232654 | 55188 312667 913073 | 2147483647 227862 184 | 36.252 % |
575.75/576.03 c | 232836 | 55186 312667 913073 | 2147483647 228042 184 | 36.268 % |
576.75/577.03 c | 233034 | 55186 312667 913073 | 2147483647 228240 184 | 36.268 % |
577.65/577.94 c | 233246 | 55172 312667 913073 | 2147483647 228451 184 | 37.256 % |
578.44/578.72 c | 233479 | 55172 312667 913073 | 2147483647 228684 184 | 37.256 % |
579.54/579.84 c | 233735 | 55172 312667 913073 | 2147483647 228940 184 | 37.256 % |
581.14/581.43 c | 234016 | 53919 303607 888935 | 2147483647 222517 184 | 37.256 % |
581.94/582.23 c | 234326 | 53919 303607 888935 | 2147483647 222827 184 | 37.256 % |
583.64/583.90 c | 234665 | 53919 303607 888935 | 2147483647 223166 184 | 37.256 % |
584.74/585.08 c | 235038 | 53919 303607 888935 | 2147483647 223539 184 | 37.256 % |
585.84/586.11 c | 235447 | 53918 303607 888935 | 2147483647 223947 184 | 37.264 % |
587.74/588.06 c | 235904 | 53918 303607 888935 | 2147483647 224404 184 | 37.264 % |
589.54/589.88 c | 236397 | 53917 303607 888935 | 2147483647 224894 185 | 37.751 % |
591.34/591.68 c | 236947 | 53917 303607 888935 | 2147483647 225444 185 | 37.751 % |
593.34/593.63 c | 237544 | 53917 303607 888935 | 2147483647 226041 185 | 37.751 % |
595.94/596.24 c | 238208 | 53915 303607 888935 | 2147483647 226703 185 | 37.763 % |
598.35/598.64 c | 238929 | 53915 303607 888935 | 2147483647 227424 185 | 37.763 % |
600.35/600.60 c | 239725 | 53915 303607 888935 | 2147483647 228220 185 | 37.763 % |
602.34/602.63 c | 240604 | 53913 303607 888935 | 2147483647 229097 185 | 37.872 % |
603.84/604.13 c | 241563 | 53913 303607 888935 | 2147483647 230056 185 | 37.872 % |
608.34/608.68 c | 242617 | 53913 303607 888935 | 2147483647 231110 185 | 37.872 % |
612.74/613.09 c | 243775 | 53913 303607 888935 | 2147483647 232268 185 | 37.872 % |
616.74/617.07 c | 245049 | 53913 303607 888935 | 2147483647 233541 186 | 37.873 % |
621.23/621.53 c | 246450 | 53909 303607 888935 | 2147483647 234940 186 | 37.908 % |
625.74/626.05 c | 247993 | 53908 303607 888935 | 2147483647 236482 186 | 37.909 % |
632.33/632.63 c | 249688 | 53907 303607 888935 | 2147483647 238176 186 | 37.922 % |
639.33/639.66 c | 251555 | 53907 303607 888935 | 2147483647 240043 187 | 37.922 % |
649.23/649.56 c | 253605 | 53904 303607 888935 | 2147483647 242090 187 | 37.944 % |
658.92/659.24 c | 255862 | 53903 303607 888935 | 2147483647 244345 188 | 37.957 % |
668.53/668.85 c | 258343 | 53309 296885 870315 | 2147483647 246590 188 | 37.974 % |
669.12/669.44 c | 258443 | 53309 296885 870315 | 2147483647 246690 188 | 37.974 % |
669.63/669.99 c | 258554 | 53309 296885 870315 | 2147483647 246801 188 | 37.974 % |
670.32/670.62 c | 258675 | 53309 296885 870315 | 2147483647 246922 188 | 37.974 % |
670.92/671.26 c | 258808 | 53307 296885 870315 | 2147483647 247053 188 | 38.549 % |
671.52/671.86 c | 258954 | 53307 296885 870315 | 2147483647 247199 188 | 38.549 % |
672.22/672.56 c | 259114 | 53307 296885 870315 | 2147483647 247359 188 | 38.549 % |
672.92/673.30 c | 259290 | 53307 296885 870315 | 2147483647 247535 188 | 38.549 % |
673.72/674.01 c | 259483 | 53307 296885 870315 | 2147483647 247728 188 | 38.549 % |
674.62/674.94 c | 259695 | 53307 296885 870315 | 2147483647 247940 188 | 38.549 % |
675.42/675.74 c | 259928 | 53307 296885 870315 | 2147483647 248173 188 | 38.549 % |
676.13/676.48 c | 260194 | 53307 296885 870315 | 2147483647 248439 188 | 38.549 % |
676.62/676.91 c | 260476 | 53307 296885 870315 | 2147483647 248721 188 | 38.549 % |
677.52/677.84 c | 260785 | 53307 296885 870315 | 2147483647 249029 188 | 38.564 % |
678.62/678.97 c | 261126 | 53307 296885 870315 | 2147483647 249370 188 | 38.564 % |
680.12/680.49 c | 261498 | 53307 296885 870315 | 2147483647 249742 188 | 38.564 % |
681.42/681.74 c | 261911 | 53307 296885 870315 | 2147483647 250155 188 | 38.564 % |
682.62/682.93 c | 262360 | 53307 296885 870315 | 2147483647 250604 188 | 38.564 % |
684.42/684.76 c | 262856 | 53307 296885 870315 | 2147483647 251100 188 | 38.564 % |
685.62/685.92 c | 263399 | 53307 296885 870315 | 2147483647 251643 188 | 38.564 % |
687.72/688.05 c | 263996 | 53307 296885 870315 | 2147483647 252240 188 | 38.564 % |
688.81/689.14 c | 264653 | 53307 296885 870315 | 2147483647 252897 188 | 38.564 % |
691.71/692.07 c | 265375 | 53307 296885 870315 | 2147483647 253619 188 | 38.564 % |
694.21/694.51 c | 266168 | 53305 296885 870315 | 2147483647 254411 188 | 38.571 % |
697.91/698.24 c | 267042 | 53304 296885 870315 | 2147483647 255284 188 | 38.573 % |
702.52/702.83 c | 268005 | 53304 296885 870315 | 2147483647 256247 188 | 38.573 % |
706.61/706.97 c | 269059 | 53304 296885 870315 | 2147483647 257301 188 | 38.573 % |
711.81/712.13 c | 270217 | 53302 296885 870315 | 2147483647 258456 188 | 38.580 % |
716.71/717.06 c | 271491 | 53302 296885 870315 | 2147483647 259730 188 | 38.580 % |
722.11/722.49 c | 272891 | 53302 296885 870315 | 2147483647 261130 188 | 38.580 % |
725.71/726.08 c | 274434 | 53302 296885 870315 | 2147483647 262673 188 | 38.580 % |
733.51/733.86 c | 276128 | 53302 296885 870315 | 2147483647 264367 189 | 38.580 % |
740.30/740.61 c | 278009 | 53302 296885 870315 | 2147483647 266248 189 | 38.580 % |
748.60/748.96 c | 280065 | 53299 296885 870315 | 2147483647 268300 190 | 38.612 % |
759.10/759.42 c | 282322 | 52696 290917 853949 | 2147483647 238342 177 | 38.679 % |
765.00/765.40 c | 284800 | 52694 290917 853949 | 2147483647 240818 178 | 38.682 % |
775.89/776.25 c | 287535 | 52694 290917 853949 | 2147483647 243553 179 | 38.682 % |
776.39/776.79 c | 287639 | 52694 290917 853949 | 2147483647 243657 179 | 38.682 % |
777.09/777.40 c | 287749 | 52693 290917 853949 | 2147483647 243766 179 | 38.690 % |
777.49/777.87 c | 287870 | 52693 290917 853949 | 2147483647 243887 179 | 38.690 % |
777.99/778.39 c | 288006 | 52693 290917 853949 | 2147483647 244023 179 | 38.690 % |
778.59/778.90 c | 288152 | 52693 290917 853949 | 2147483647 244169 179 | 38.690 % |
779.09/779.46 c | 288312 | 52693 290917 853949 | 2147483647 244329 179 | 38.690 % |
779.89/780.24 c | 288488 | 52692 290917 853949 | 2147483647 244503 179 | 38.715 % |
780.49/780.84 c | 288681 | 52692 290917 853949 | 2147483647 244696 179 | 38.715 % |
781.49/781.87 c | 288895 | 52692 290917 853949 | 2147483647 244910 179 | 38.715 % |
781.99/782.38 c | 289130 | 52692 290917 853949 | 2147483647 245145 179 | 38.715 % |
782.69/783.02 c | 289387 | 52692 290917 853949 | 2147483647 245401 179 | 38.746 % |
783.89/784.21 c | 289669 | 52692 290917 853949 | 2147483647 245683 179 | 38.746 % |
785.19/785.54 c | 289979 | 52692 290917 853949 | 2147483647 245993 179 | 38.746 % |
787.19/787.56 c | 290321 | 52692 290917 853949 | 2147483647 246335 179 | 38.746 % |
788.69/789.10 c | 290693 | 52692 290917 853949 | 2147483647 246707 179 | 38.746 % |
791.59/791.99 c | 291104 | 52692 290917 853949 | 2147483647 247118 179 | 38.746 % |
793.39/793.72 c | 291553 | 52692 290917 853949 | 2147483647 247567 179 | 38.746 % |
795.39/795.76 c | 292046 | 52692 290917 853949 | 2147483647 248060 179 | 38.746 % |
797.09/797.50 c | 292588 | 52691 290917 853949 | 2147483647 248601 179 | 38.758 % |
799.29/799.67 c | 293188 | 52691 290917 853949 | 2147483647 249201 179 | 38.758 % |
801.99/802.37 c | 293843 | 52691 290917 853949 | 2147483647 249856 179 | 38.758 % |
805.59/805.94 c | 294567 | 52691 290917 853949 | 2147483647 250580 179 | 38.758 % |
808.59/808.92 c | 295360 | 52690 290917 853949 | 2147483647 251372 180 | 38.765 % |
810.78/811.13 c | 296234 | 52690 290917 853949 | 2147483647 252246 180 | 38.765 % |
815.48/815.80 c | 297192 | 52689 290917 853949 | 2147483647 253203 180 | 38.767 % |
820.68/821.09 c | 298245 | 52689 290917 853949 | 2147483647 254256 180 | 38.767 % |
825.79/826.13 c | 299403 | 52683 290917 853949 | 2147483647 255412 181 | 38.819 % |
832.98/833.33 c | 300677 | 52683 290917 853949 | 2147483647 256686 181 | 38.819 % |
838.28/838.69 c | 302077 | 52683 290917 853949 | 2147483647 258086 182 | 38.819 % |
846.87/847.21 c | 303623 | 52576 290089 851944 | 2147483647 259472 182 | 38.819 % |
854.28/854.61 c | 305317 | 52576 290089 851944 | 2147483647 261166 183 | 38.819 % |
861.87/862.26 c | 307180 | 52575 290089 851944 | 2147483647 263027 183 | 38.860 % |
872.77/873.14 c | 309234 | 52575 290089 851944 | 2147483647 265081 184 | 38.860 % |
881.56/881.96 c | 311490 | 52575 290089 851944 | 2147483647 267337 184 | 38.860 % |
892.56/892.95 c | 313971 | 52571 290089 851944 | 2147483647 269816 185 | 38.868 % |
901.96/902.35 c | 316696 | 52571 290089 851944 | 2147483647 272541 185 | 38.868 % |
913.66/914.09 c | 319697 | 52567 290089 851944 | 2147483647 275540 186 | 39.060 % |
913.96/914.36 c | 319797 | 52567 290089 851944 | 2147483647 275640 186 | 39.060 % |
914.16/914.56 c | 319908 | 52567 290089 851944 | 2147483647 275751 186 | 39.060 % |
914.56/914.96 c | 320032 | 52567 290089 851944 | 2147483647 275875 186 | 39.060 % |
915.06/915.43 c | 320169 | 52567 290089 851944 | 2147483647 276012 186 | 39.060 % |
915.46/915.80 c | 320315 | 52567 290089 851944 | 2147483647 276158 186 | 39.060 % |
915.76/916.19 c | 320479 | 52567 290089 851944 | 2147483647 276322 186 | 39.060 % |
916.46/916.80 c | 320657 | 52567 290089 851944 | 2147483647 276500 186 | 39.060 % |
917.36/917.70 c | 320852 | 52567 290089 851944 | 2147483647 276695 186 | 39.060 % |
918.56/918.95 c | 321064 | 52566 290089 851944 | 2147483647 276906 186 | 39.061 % |
919.85/920.20 c | 321299 | 52566 290089 851944 | 2147483647 277141 186 | 39.061 % |
921.36/921.70 c | 321559 | 52564 290089 851944 | 2147483647 277400 186 | 39.082 % |
922.56/922.98 c | 321842 | 52563 290089 851944 | 2147483647 277681 186 | 39.105 % |
924.45/924.89 c | 322159 | 52563 290089 851944 | 2147483647 277998 186 | 39.105 % |
926.46/926.82 c | 322500 | 52563 290089 851944 | 2147483647 278339 186 | 39.105 % |
928.35/928.77 c | 322872 | 52563 290089 851944 | 2147483647 278711 186 | 39.105 % |
930.26/930.68 c | 323282 | 52563 290089 851944 | 2147483647 279121 186 | 39.105 % |
932.15/932.56 c | 323736 | 52563 290089 851944 | 2147483647 279575 187 | 39.105 % |
934.45/934.87 c | 324231 | 52563 290089 851944 | 2147483647 280070 187 | 39.105 % |
937.45/937.87 c | 324773 | 52562 290089 851944 | 2147483647 280611 187 | 39.106 % |
940.55/940.95 c | 325369 | 52560 290089 851944 | 2147483647 281205 187 | 39.116 % |
944.25/944.61 c | 326024 | 52560 290089 851944 | 2147483647 281859 187 | 39.138 % |
947.55/947.95 c | 326744 | 52279 288174 846747 | 2147483647 282471 187 | 39.165 % |
950.45/950.88 c | 327536 | 52277 288174 846747 | 2147483647 283262 187 | 39.212 % |
954.45/954.83 c | 328408 | 52277 288174 846747 | 2147483647 284133 187 | 39.216 % |
955.65/956.00 c | 329366 | 52277 288174 846747 | 2147483647 285091 187 | 39.216 % |
960.65/961.05 c | 330419 | 52275 288174 846747 | 2147483647 286143 188 | 39.227 % |
965.34/965.78 c | 331579 | 52275 288174 846747 | 2147483647 287303 188 | 39.227 % |
972.34/972.79 c | 332852 | 52275 288174 846747 | 2147483647 288576 188 | 39.227 % |
980.85/981.24 c | 334252 | 52271 288174 846747 | 2147483647 289973 189 | 39.240 % |
987.84/988.24 c | 335794 | 52268 288174 846747 | 2147483647 291512 189 | 39.255 % |
995.84/996.26 c | 337492 | 52264 288174 846747 | 2147483647 293208 189 | 39.266 % |
1005.34/1005.76 c | 339356 | 52264 288174 846747 | 2147483647 295072 190 | 39.266 % |
1015.03/1015.41 c | 341405 | 52264 288174 846747 | 2147483647 297121 190 | 39.266 % |
1024.23/1024.69 c | 343658 | 52264 288174 846747 | 2147483647 299374 190 | 39.266 % |
1037.23/1037.60 c | 346138 | 52264 288174 846747 | 2147483647 301854 190 | 39.266 % |
1051.32/1051.76 c | 348865 | 52264 288174 846747 | 2147483647 304581 190 | 39.266 % |
1067.42/1067.84 c | 351864 | 52262 288174 846747 | 2147483647 307578 190 | 39.279 % |
1087.51/1087.96 c | 355160 | 52179 287511 845086 | 2147483647 310764 192 | 39.284 % |
1088.01/1088.40 c | 355260 | 52179 287511 845086 | 2147483647 310864 192 | 39.284 % |
1088.51/1089.00 c | 355374 | 52179 287511 845086 | 2147483647 310978 192 | 39.284 % |
1089.21/1089.67 c | 355497 | 52179 287511 845086 | 2147483647 311101 192 | 39.284 % |
1090.42/1090.85 c | 355630 | 52179 287511 845086 | 2147483647 311234 192 | 39.284 % |
1091.61/1092.08 c | 355776 | 52179 287511 845086 | 2147483647 311380 192 | 39.284 % |
1092.71/1093.14 c | 355936 | 52179 287511 845086 | 2147483647 311540 192 | 39.284 % |
1093.61/1094.06 c | 356112 | 52179 287511 845086 | 2147483647 311716 192 | 39.284 % |
1094.71/1095.12 c | 356317 | 52179 287511 845086 | 2147483647 311921 192 | 39.284 % |
1096.11/1096.59 c | 356529 | 52179 287511 845086 | 2147483647 312133 192 | 39.284 % |
1097.41/1097.87 c | 356762 | 52179 287511 845086 | 2147483647 312366 192 | 39.284 % |
1099.61/1100.05 c | 357018 | 52179 287511 845086 | 2147483647 312622 192 | 39.284 % |
1101.51/1101.90 c | 357303 | 52179 287511 845086 | 2147483647 312907 192 | 39.284 % |
1103.81/1104.28 c | 357614 | 52179 287511 845086 | 2147483647 313218 192 | 39.284 % |
1105.81/1106.28 c | 357957 | 52179 287511 845086 | 2147483647 313561 192 | 39.284 % |
1108.21/1108.68 c | 358329 | 52179 287511 845086 | 2147483647 313933 192 | 39.284 % |
1110.40/1110.82 c | 358739 | 52179 287511 845086 | 2147483647 314343 192 | 39.284 % |
1112.90/1113.38 c | 359189 | 52179 287511 845086 | 2147483647 314793 192 | 39.284 % |
1115.70/1116.12 c | 359685 | 52179 287511 845086 | 2147483647 315289 192 | 39.284 % |
1118.91/1119.38 c | 360231 | 52179 287511 845086 | 2147483647 315835 193 | 39.284 % |
1121.30/1121.72 c | 360828 | 52179 287511 845086 | 2147483647 316432 193 | 39.284 % |
1125.60/1126.05 c | 361488 | 52179 287511 845086 | 2147483647 317092 193 | 39.284 % |
1129.50/1129.91 c | 362208 | 52178 287511 845086 | 2147483647 317811 193 | 39.286 % |
1134.50/1134.94 c | 363000 | 52178 287511 845086 | 2147483647 318603 193 | 39.286 % |
1137.69/1138.14 c | 363874 | 52177 287511 845086 | 2147483647 319476 193 | 39.287 % |
1139.80/1140.28 c | 364832 | 52177 287511 845086 | 2147483647 320434 193 | 39.287 % |
1144.89/1145.35 c | 365886 | 52176 287511 845086 | 2147483647 321485 193 | 39.386 % |
1152.79/1153.29 c | 367048 | 52176 287511 845086 | 2147483647 322647 194 | 39.386 % |
1156.39/1156.83 c | 368321 | 52176 287511 845086 | 2147483647 323920 193 | 39.386 % |
1164.49/1164.96 c | 369721 | 52176 287511 845086 | 2147483647 325320 193 | 39.386 % |
1173.89/1174.31 c | 371262 | 52176 287511 845086 | 2147483647 326860 194 | 39.396 % |
1182.78/1183.25 c | 372956 | 52176 287511 845086 | 2147483647 328554 194 | 39.396 % |
1186.88/1187.37 c | 374819 | 52175 287511 845086 | 2147483647 330416 195 | 39.397 % |
1197.99/1198.42 c | 376874 | 52175 287511 845086 | 2147483647 332471 195 | 39.397 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1833871-1242825692/watcher-1833871-1242825692 -o /tmp/evaluation-result-1833871-1242825692/solver-1833871-1242825692 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1833871-1242825692.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 10470
/proc/meminfo: memFree=1780160/2055920 swapFree=4180072/4192956
[pid=10470] ppid=10468 vsize=5356 CPUtime=0
/proc/10470/stat : 10470 (SatELiteGTI) S 10468 10470 10257 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310602846 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10470/statm: 1339 237 197 169 0 50 0
[startup+0.06793 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 10470
/proc/meminfo: memFree=1780160/2055920 swapFree=4180072/4192956
[pid=10470] ppid=10468 vsize=5356 CPUtime=0
/proc/10470/stat : 10470 (SatELiteGTI) S 10468 10470 10257 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310602846 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10470/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.101933 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 10470
/proc/meminfo: memFree=1780160/2055920 swapFree=4180072/4192956
[pid=10470] ppid=10468 vsize=5356 CPUtime=0
/proc/10470/stat : 10470 (SatELiteGTI) S 10468 10470 10257 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310602846 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10470/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301956 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 10470
/proc/meminfo: memFree=1780160/2055920 swapFree=4180072/4192956
[pid=10470] ppid=10468 vsize=5356 CPUtime=0
/proc/10470/stat : 10470 (SatELiteGTI) S 10468 10470 10257 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310602846 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10470/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.702 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 10470
/proc/meminfo: memFree=1780160/2055920 swapFree=4180072/4192956
[pid=10470] ppid=10468 vsize=5356 CPUtime=0
/proc/10470/stat : 10470 (SatELiteGTI) S 10468 10470 10257 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310602846 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10470/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+1.50109 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 10475
/proc/meminfo: memFree=1705840/2055920 swapFree=4180072/4192956
[pid=10470] ppid=10468 vsize=5356 CPUtime=0
/proc/10470/stat : 10470 (SatELiteGTI) S 10468 10470 10257 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310602846 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10470/statm: 1339 237 197 169 0 50 0
[pid=10474] ppid=10470 vsize=95804 CPUtime=1.48
/proc/10474/stat : 10474 (SatELite_releas) R 10470 10470 10257 0 -1 4194304 22568 0 0 0 139 9 0 0 25 0 1 0 310602847 98103296 20446 1992294400 134512640 135223648 4294956128 18446744073709551615 134719062 0 0 4096 3 0 0 0 17 1 0 0
/proc/10474/statm: 23951 20446 76 173 0 23776 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 101160
[startup+3.10127 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 10475
/proc/meminfo: memFree=1689968/2055920 swapFree=4180072/4192956
[pid=10470] ppid=10468 vsize=5356 CPUtime=0
/proc/10470/stat : 10470 (SatELiteGTI) S 10468 10470 10257 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310602846 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10470/statm: 1339 237 197 169 0 50 0
[pid=10474] ppid=10470 vsize=109276 CPUtime=3.09
/proc/10474/stat : 10474 (SatELite_releas) R 10470 10470 10257 0 -1 4194304 25204 0 0 0 296 13 0 0 25 0 1 0 310602847 111898624 22832 1992294400 134512640 135223648 4294956128 18446744073709551615 134605001 0 0 4096 3 0 0 0 17 1 0 0
/proc/10474/statm: 27319 22837 76 173 0 27144 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 114632
[startup+6.30164 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 10475
/proc/meminfo: memFree=1686192/2055920 swapFree=4180072/4192956
[pid=10470] ppid=10468 vsize=5356 CPUtime=0
/proc/10470/stat : 10470 (SatELiteGTI) S 10468 10470 10257 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310602846 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10470/statm: 1339 237 197 169 0 50 0
[pid=10474] ppid=10470 vsize=103704 CPUtime=6.29
/proc/10474/stat : 10474 (SatELite_releas) R 10470 10470 10257 0 -1 4194304 29146 0 0 0 610 19 0 0 25 0 1 0 310602847 106192896 22265 1992294400 134512640 135223648 4294956128 18446744073709551615 134737406 0 0 4096 3 0 0 0 17 1 0 0
/proc/10474/statm: 25926 22265 76 173 0 25751 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 109060
[startup+12.7024 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 10476
/proc/meminfo: memFree=1733488/2055920 swapFree=4180072/4192956
[pid=10470] ppid=10468 vsize=5356 CPUtime=6.55
/proc/10470/stat : 10470 (SatELiteGTI) S 10468 10470 10257 0 -1 4194304 336 29397 0 0 0 0 633 22 16 0 1 0 310602846 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10470/statm: 1339 239 197 169 0 50 0
[pid=10476] ppid=10470 vsize=31772 CPUtime=6.12
/proc/10476/stat : 10476 (minisat_static) R 10470 10470 10257 0 -1 4194304 7535 0 0 0 607 5 0 0 25 0 1 0 310603503 32534528 7511 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/10476/statm: 7943 7511 77 171 0 7770 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 37128
[startup+25.5018 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 10476
/proc/meminfo: memFree=1730864/2055920 swapFree=4180072/4192956
[pid=10470] ppid=10468 vsize=5356 CPUtime=6.55
/proc/10470/stat : 10470 (SatELiteGTI) S 10468 10470 10257 0 -1 4194304 336 29397 0 0 0 0 633 22 16 0 1 0 310602846 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10470/statm: 1339 239 197 169 0 50 0
[pid=10476] ppid=10470 vsize=34628 CPUtime=18.91
/proc/10476/stat : 10476 (minisat_static) R 10470 10470 10257 0 -1 4194304 8240 0 0 0 1885 6 0 0 25 0 1 0 310603503 35459072 8216 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/10476/statm: 8657 8216 77 171 0 8484 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 39984
[startup+51.1017 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 10476
/proc/meminfo: memFree=1721328/2055920 swapFree=4180072/4192956
[pid=10470] ppid=10468 vsize=5356 CPUtime=6.55
/proc/10470/stat : 10470 (SatELiteGTI) S 10468 10470 10257 0 -1 4194304 336 29397 0 0 0 0 633 22 16 0 1 0 310602846 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10470/statm: 1339 239 197 169 0 50 0
[pid=10476] ppid=10470 vsize=44320 CPUtime=44.48
/proc/10476/stat : 10476 (minisat_static) R 10470 10470 10257 0 -1 4194304 10650 0 0 0 4439 9 0 0 25 0 1 0 310603503 45383680 10626 1992294400 134512640 135215339 4294956240 18446744073709551615 134529183 0 0 4096 3 0 0 0 17 1 0 0
/proc/10476/statm: 11080 10626 77 171 0 10907 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 49676
[startup+102.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 10476
/proc/meminfo: memFree=1702320/2055920 swapFree=4180072/4192956
[pid=10470] ppid=10468 vsize=5356 CPUtime=6.55
/proc/10470/stat : 10470 (SatELiteGTI) S 10468 10470 10257 0 -1 4194304 336 29397 0 0 0 0 633 22 16 0 1 0 310602846 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10470/statm: 1339 239 197 169 0 50 0
[pid=10476] ppid=10470 vsize=63016 CPUtime=95.65
/proc/10476/stat : 10476 (minisat_static) R 10470 10470 10257 0 -1 4194304 15322 0 0 0 9552 13 0 0 25 0 1 0 310603503 64528384 15298 1992294400 134512640 135215339 4294956240 18446744073709551615 134525052 0 0 4096 3 0 0 0 17 1 0 0
/proc/10476/statm: 15754 15298 77 171 0 15581 0
Current children cumulated CPU time (s) 102.2
Current children cumulated vsize (KiB) 68372
[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 10476
/proc/meminfo: memFree=1679088/2055920 swapFree=4180072/4192956
[pid=10470] ppid=10468 vsize=5356 CPUtime=6.55
/proc/10470/stat : 10470 (SatELiteGTI) S 10468 10470 10257 0 -1 4194304 336 29397 0 0 0 0 633 22 16 0 1 0 310602846 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10470/statm: 1339 239 197 169 0 50 0
[pid=10476] ppid=10470 vsize=86284 CPUtime=155.62
/proc/10476/stat : 10476 (minisat_static) R 10470 10470 10257 0 -1 4194304 21175 0 0 0 15541 21 0 0 25 0 1 0 310603503 88354816 21151 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/10476/statm: 21571 21151 77 171 0 21398 0
Current children cumulated CPU time (s) 162.17
Current children cumulated vsize (KiB) 91640
[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 10476
/proc/meminfo: memFree=1658928/2055920 swapFree=4180072/4192956
[pid=10470] ppid=10468 vsize=5356 CPUtime=6.55
/proc/10470/stat : 10470 (SatELiteGTI) S 10468 10470 10257 0 -1 4194304 336 29397 0 0 0 0 633 22 16 0 1 0 310602846 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10470/statm: 1339 239 197 169 0 50 0
[pid=10476] ppid=10470 vsize=106272 CPUtime=215.6
/proc/10476/stat : 10476 (minisat_static) R 10470 10470 10257 0 -1 4194304 26149 0 0 0 21533 27 0 0 25 0 1 0 310603503 108822528 26125 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/10476/statm: 26568 26125 77 171 0 26395 0
Current children cumulated CPU time (s) 222.15
Current children cumulated vsize (KiB) 111628
[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 10476
/proc/meminfo: memFree=1638640/2055920 swapFree=4180072/4192956
[pid=10470] ppid=10468 vsize=5356 CPUtime=6.55
/proc/10470/stat : 10470 (SatELiteGTI) S 10468 10470 10257 0 -1 4194304 336 29397 0 0 0 0 633 22 16 0 1 0 310602846 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10470/statm: 1339 239 197 169 0 50 0
[pid=10476] ppid=10470 vsize=127020 CPUtime=275.58
/proc/10476/stat : 10476 (minisat_static) R 10470 10470 10257 0 -1 4194304 31280 0 0 0 27527 31 0 0 25 0 1 0 310603503 130068480 31256 1992294400 134512640 135215339 4294956240 18446744073709551615 134538130 0 0 4096 3 0 0 0 17 1 0 0
/proc/10476/statm: 31755 31256 77 171 0 31582 0
Current children cumulated CPU time (s) 282.13
Current children cumulated vsize (KiB) 132376
[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 10476
/proc/meminfo: memFree=1619760/2055920 swapFree=4180072/4192956
[pid=10470] ppid=10468 vsize=5356 CPUtime=6.55
/proc/10470/stat : 10470 (SatELiteGTI) S 10468 10470 10257 0 -1 4194304 336 29397 0 0 0 0 633 22 16 0 1 0 310602846 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10470/statm: 1339 239 197 169 0 50 0
[pid=10476] ppid=10470 vsize=145508 CPUtime=335.56
/proc/10476/stat : 10476 (minisat_static) R 10470 10470 10257 0 -1 4194304 35919 0 0 0 33518 38 0 0 25 0 1 0 310603503 149000192 35895 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/10476/statm: 36377 35895 77 171 0 36204 0
Current children cumulated CPU time (s) 342.11
Current children cumulated vsize (KiB) 150864
[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 10476
/proc/meminfo: memFree=1603696/2055920 swapFree=4180072/4192956
[pid=10470] ppid=10468 vsize=5356 CPUtime=6.55
/proc/10470/stat : 10470 (SatELiteGTI) S 10468 10470 10257 0 -1 4194304 336 29397 0 0 0 0 633 22 16 0 1 0 310602846 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10470/statm: 1339 239 197 169 0 50 0
[pid=10476] ppid=10470 vsize=161748 CPUtime=395.55
/proc/10476/stat : 10476 (minisat_static) R 10470 10470 10257 0 -1 4194304 39981 0 0 0 39512 43 0 0 25 0 1 0 310603503 165629952 39957 1992294400 134512640 135215339 4294956240 18446744073709551615 134532704 0 0 4096 3 0 0 0 17 1 0 0
/proc/10476/statm: 40437 39957 77 171 0 40264 0
Current children cumulated CPU time (s) 402.1
Current children cumulated vsize (KiB) 167104
[startup+462.302 s]
################
# More data... #
################
/proc/10476/statm: 52077 51544 77 171 0 51904 0
Current children cumulated CPU time (s) 582.04
Current children cumulated vsize (KiB) 213664
[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 10476
/proc/meminfo: memFree=1545200/2055920 swapFree=4180072/4192956
[pid=10470] ppid=10468 vsize=5356 CPUtime=6.55
/proc/10470/stat : 10470 (SatELiteGTI) S 10468 10470 10257 0 -1 4194304 336 29397 0 0 0 0 633 22 16 0 1 0 310602846 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10470/statm: 1339 239 197 169 0 50 0
[pid=10476] ppid=10470 vsize=219796 CPUtime=635.48
/proc/10476/stat : 10476 (minisat_static) R 10470 10470 10257 0 -1 4194304 54459 0 0 0 63489 59 0 0 25 0 1 0 310603503 225071104 54435 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/10476/statm: 54949 54435 77 171 0 54776 0
Current children cumulated CPU time (s) 642.03
Current children cumulated vsize (KiB) 225152
[startup+702.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 10476
/proc/meminfo: memFree=1531568/2055920 swapFree=4180072/4192956
[pid=10470] ppid=10468 vsize=5356 CPUtime=6.55
/proc/10470/stat : 10470 (SatELiteGTI) S 10468 10470 10257 0 -1 4194304 336 29397 0 0 0 0 633 22 16 0 1 0 310602846 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10470/statm: 1339 239 197 169 0 50 0
[pid=10476] ppid=10470 vsize=233404 CPUtime=695.47
/proc/10476/stat : 10476 (minisat_static) R 10470 10470 10257 0 -1 4194304 57877 0 0 0 69484 63 0 0 25 0 1 0 310603503 239005696 57853 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/10476/statm: 58351 57853 77 171 0 58178 0
Current children cumulated CPU time (s) 702.02
Current children cumulated vsize (KiB) 238760
[startup+762.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 10476
/proc/meminfo: memFree=1519856/2055920 swapFree=4180072/4192956
[pid=10470] ppid=10468 vsize=5356 CPUtime=6.55
/proc/10470/stat : 10470 (SatELiteGTI) S 10468 10470 10257 0 -1 4194304 336 29397 0 0 0 0 633 22 16 0 1 0 310602846 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10470/statm: 1339 239 197 169 0 50 0
[pid=10476] ppid=10470 vsize=244908 CPUtime=755.45
/proc/10476/stat : 10476 (minisat_static) R 10470 10470 10257 0 -1 4194304 60768 0 0 0 75479 66 0 0 25 0 1 0 310603503 250785792 60744 1992294400 134512640 135215339 4294956240 18446744073709551615 134532976 0 0 4096 3 0 0 0 17 1 0 0
/proc/10476/statm: 61227 60744 77 171 0 61054 0
Current children cumulated CPU time (s) 762
Current children cumulated vsize (KiB) 250264
[startup+822.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 10476
/proc/meminfo: memFree=1519792/2055920 swapFree=4180072/4192956
[pid=10470] ppid=10468 vsize=5356 CPUtime=6.55
/proc/10470/stat : 10470 (SatELiteGTI) S 10468 10470 10257 0 -1 4194304 336 29397 0 0 0 0 633 22 16 0 1 0 310602846 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10470/statm: 1339 239 197 169 0 50 0
[pid=10476] ppid=10470 vsize=244908 CPUtime=815.43
/proc/10476/stat : 10476 (minisat_static) R 10470 10470 10257 0 -1 4194304 60769 0 0 0 81477 66 0 0 25 0 1 0 310603503 250785792 60745 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/10476/statm: 61227 60745 77 171 0 61054 0
Current children cumulated CPU time (s) 821.98
Current children cumulated vsize (KiB) 250264
[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 10476
/proc/meminfo: memFree=1519792/2055920 swapFree=4180072/4192956
[pid=10470] ppid=10468 vsize=5356 CPUtime=6.55
/proc/10470/stat : 10470 (SatELiteGTI) S 10468 10470 10257 0 -1 4194304 336 29397 0 0 0 0 633 22 16 0 1 0 310602846 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10470/statm: 1339 239 197 169 0 50 0
[pid=10476] ppid=10470 vsize=244908 CPUtime=875.41
/proc/10476/stat : 10476 (minisat_static) R 10470 10470 10257 0 -1 4194304 60769 0 0 0 87475 66 0 0 25 0 1 0 310603503 250785792 60745 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/10476/statm: 61227 60745 77 171 0 61054 0
Current children cumulated CPU time (s) 881.96
Current children cumulated vsize (KiB) 250264
[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 10476
/proc/meminfo: memFree=1512048/2055920 swapFree=4180072/4192956
[pid=10470] ppid=10468 vsize=5356 CPUtime=6.55
/proc/10470/stat : 10470 (SatELiteGTI) S 10468 10470 10257 0 -1 4194304 336 29397 0 0 0 0 633 22 16 0 1 0 310602846 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10470/statm: 1339 239 197 169 0 50 0
[pid=10476] ppid=10470 vsize=252708 CPUtime=935.39
/proc/10476/stat : 10476 (minisat_static) R 10470 10470 10257 0 -1 4194304 62721 0 0 0 93471 68 0 0 25 0 1 0 310603503 258772992 62697 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/10476/statm: 63177 62697 77 171 0 63004 0
Current children cumulated CPU time (s) 941.94
Current children cumulated vsize (KiB) 258064
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 10476
/proc/meminfo: memFree=1498800/2055920 swapFree=4180072/4192956
[pid=10470] ppid=10468 vsize=5356 CPUtime=6.55
/proc/10470/stat : 10470 (SatELiteGTI) S 10468 10470 10257 0 -1 4194304 336 29397 0 0 0 0 633 22 16 0 1 0 310602846 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10470/statm: 1339 239 197 169 0 50 0
[pid=10476] ppid=10470 vsize=265920 CPUtime=995.38
/proc/10476/stat : 10476 (minisat_static) R 10470 10470 10257 0 -1 4194304 66013 0 0 0 99465 73 0 0 25 0 1 0 310603503 272302080 65989 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/10476/statm: 66480 65989 77 171 0 66307 0
Current children cumulated CPU time (s) 1001.93
Current children cumulated vsize (KiB) 271276
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 10476
/proc/meminfo: memFree=1488368/2055920 swapFree=4180072/4192956
[pid=10470] ppid=10468 vsize=5356 CPUtime=6.55
/proc/10470/stat : 10470 (SatELiteGTI) S 10468 10470 10257 0 -1 4194304 336 29397 0 0 0 0 633 22 16 0 1 0 310602846 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10470/statm: 1339 239 197 169 0 50 0
[pid=10476] ppid=10470 vsize=276196 CPUtime=1055.37
/proc/10476/stat : 10476 (minisat_static) R 10470 10470 10257 0 -1 4194304 68597 0 0 0 105461 76 0 0 25 0 1 0 310603503 282824704 68573 1992294400 134512640 135215339 4294956240 18446744073709551615 134528806 0 0 4096 3 0 0 0 17 1 0 0
/proc/10476/statm: 69049 68573 77 171 0 68876 0
Current children cumulated CPU time (s) 1061.92
Current children cumulated vsize (KiB) 281552
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 10476
/proc/meminfo: memFree=1477232/2055920 swapFree=4180072/4192956
[pid=10470] ppid=10468 vsize=5356 CPUtime=6.55
/proc/10470/stat : 10470 (SatELiteGTI) S 10468 10470 10257 0 -1 4194304 336 29397 0 0 0 0 633 22 16 0 1 0 310602846 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10470/statm: 1339 239 197 169 0 50 0
[pid=10476] ppid=10470 vsize=287976 CPUtime=1115.35
/proc/10476/stat : 10476 (minisat_static) R 10470 10470 10257 0 -1 4194304 71376 0 0 0 111455 80 0 0 25 0 1 0 310603503 294887424 71352 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/10476/statm: 71994 71352 77 171 0 71821 0
Current children cumulated CPU time (s) 1121.9
Current children cumulated vsize (KiB) 293332
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 10476
/proc/meminfo: memFree=1465520/2055920 swapFree=4180072/4192956
[pid=10470] ppid=10468 vsize=5356 CPUtime=6.55
/proc/10470/stat : 10470 (SatELiteGTI) S 10468 10470 10257 0 -1 4194304 336 29397 0 0 0 0 633 22 16 0 1 0 310602846 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10470/statm: 1339 239 197 169 0 50 0
[pid=10476] ppid=10470 vsize=299620 CPUtime=1175.33
/proc/10476/stat : 10476 (minisat_static) R 10470 10470 10257 0 -1 4194304 74323 0 0 0 117450 83 0 0 25 0 1 0 310603503 306810880 74299 1992294400 134512640 135215339 4294956240 18446744073709551615 134528728 0 0 4096 3 0 0 0 17 1 0 0
/proc/10476/statm: 74905 74299 77 171 0 74732 0
Current children cumulated CPU time (s) 1181.88
Current children cumulated vsize (KiB) 304976
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 10476
/proc/meminfo: memFree=1460592/2055920 swapFree=4180072/4192956
[pid=10470] ppid=10468 vsize=5356 CPUtime=6.55
/proc/10470/stat : 10470 (SatELiteGTI) S 10468 10470 10257 0 -1 4194304 336 29397 0 0 0 0 633 22 16 0 1 0 310602846 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10470/statm: 1339 239 197 169 0 50 0
[pid=10476] ppid=10470 vsize=304380 CPUtime=1193.54
/proc/10476/stat : 10476 (minisat_static) R 10470 10470 10257 0 -1 4194304 75497 0 0 0 119269 85 0 0 25 0 1 0 310603503 311685120 75473 1992294400 134512640 135215339 4294956240 18446744073709551615 134532976 0 0 4096 3 0 0 0 17 1 0 0
/proc/10476/statm: 76095 75473 77 171 0 75922 0
Current children cumulated CPU time (s) 1200.09
Current children cumulated vsize (KiB) 309736
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1200.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 10476
/proc/meminfo: memFree=1460592/2055920 swapFree=4180072/4192956
[pid=10470] ppid=10468 vsize=5356 CPUtime=6.55
/proc/10470/stat : 10470 (SatELiteGTI) S 10468 10470 10257 0 -1 4194304 336 29397 0 0 0 0 633 22 16 0 1 0 310602846 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10470/statm: 1339 239 197 169 0 50 0
[pid=10476] ppid=10470 vsize=304380 CPUtime=1193.54
/proc/10476/stat : 10476 (minisat_static) R 10470 10470 10257 0 -1 4194304 75497 0 0 0 119269 85 0 0 25 0 1 0 310603503 311685120 75473 1992294400 134512640 135215339 4294956240 18446744073709551615 134532976 0 0 4096 3 0 0 0 17 1 0 0
/proc/10476/statm: 76095 75473 77 171 0 75922 0
Current children cumulated CPU time (s) 1200.09
Current children cumulated vsize (KiB) 309736
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 10470 and gives
# childrusage.ru_utime.tv_sec=6
# childrusage.ru_utime.tv_usec=335036
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=227965
# CPU time returned by wait4() is 6.563
# while last known CPU time is 1200.09
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1200.51
CPU time (s): 1200.09
CPU user time (s): 1199.02
CPU system time (s): 1.07
CPU usage (%): 99.9648
Max. virtual memory (cumulated for all children) (KiB): 309736
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6.33504
system time used= 0.227965
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29733
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= 13
involuntary context switches= 16
runsolver used 1.35879 second user time and 3.08353 second system time
The end
Begin job on node23 at 2009-05-20 15:21:33
IDJOB=1833871
IDBENCH=71008
IDSOLVER=671
FILE ID=node23/1833871-1242825692
PBS_JOBID= 9322539
Free space on /tmp= 66432 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-1833871-1242825692/watcher-1833871-1242825692 -o /tmp/evaluation-result-1833871-1242825692/solver-1833871-1242825692 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1833871-1242825692.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= b21b299f860c56270b509900cff82599
RANDOM SEED=1450322411
node23.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.238
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.238
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: 1780640 kB
Buffers: 55160 kB
Cached: 149744 kB
SwapCached: 7120 kB
Active: 69496 kB
Inactive: 144280 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1780640 kB
SwapTotal: 4192956 kB
SwapFree: 4180072 kB
Dirty: 16492 kB
Writeback: 0 kB
Mapped: 14064 kB
Slab: 47512 kB
Committed_AS: 1035228 kB
PageTables: 1392 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= 66416 MiB
End job on node23 at 2009-05-20 15:41:36