0.00/0.00 c Parsing...
0.92/0.92 c ==============================================================================
0.92/0.92 c | | ORIGINAL | LEARNT | |
0.92/0.92 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.92/0.92 c ==============================================================================
0.92/0.92 c | 0 | 812763 1945115 | 243828 0 0 nan | 0.000 % |
5.40/5.48 c | 0 | 546996 1519613 | -- 0 -- -- | -- | -74850/8386
5.40/5.49 c ==============================================================================
5.40/5.49 c Result : #vars: 85935 #clauses: 546996 #literals: 1519613
5.40/5.49 c CPU time: 5.24 s
5.40/5.49 c ==============================================================================
6.00/6.05 c This is MiniSat 2.0 beta
6.00/6.05 c WARNING: for repeatability, setting FPU to use double precision
6.00/6.05 c ============================[ Problem Statistics ]=============================
6.00/6.05 c | |
6.00/6.05 c | Number of variables: 85935 |
6.00/6.05 c | Number of clauses: 546996 |
6.03/6.45 c | Parsing time: 0.36 s |
6.03/6.48 c ============================[ Search Statistics ]==============================
6.03/6.48 c | Conflicts | ORIGINAL | LEARNT | Progress |
6.03/6.48 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
6.03/6.48 c ===============================================================================
6.03/6.48 c | 0 | 85935 546996 1519613 | 182332 0 nan | 0.000 % |
6.70/6.74 c | 101 | 85717 546996 1519613 | 182332 95 89 | 1.608 % |
6.80/6.84 c | 202 | 85630 546996 1519613 | 182332 195 60 | 1.854 % |
6.90/6.95 c | 303 | 85630 546996 1519613 | 182332 296 52 | 1.854 % |
7.10/7.12 c | 413 | 85630 546996 1519613 | 182332 406 53 | 1.854 % |
7.30/7.34 c | 514 | 85510 546996 1519613 | 182332 506 52 | 2.738 % |
7.50/7.60 c | 624 | 83578 527789 1469640 | 182332 609 48 | 5.352 % |
7.70/7.77 c | 745 | 83257 527789 1469640 | 182332 725 50 | 9.974 % |
7.80/7.88 c | 845 | 82918 527789 1469640 | 182332 825 49 | 9.974 % |
8.20/8.25 c | 955 | 82360 527789 1469640 | 182332 926 47 | 12.386 % |
8.50/8.55 c | 1076 | 75194 471770 1327289 | 182332 1039 44 | 13.920 % |
8.70/8.74 c | 1211 | 75053 471770 1327289 | 182332 1172 43 | 14.146 % |
8.90/8.92 c | 1313 | 74988 471770 1327289 | 182332 1272 43 | 14.232 % |
9.00/9.05 c | 1424 | 74970 471770 1327289 | 182332 1381 45 | 14.615 % |
9.20/9.21 c | 1546 | 72546 453637 1281404 | 182332 1498 45 | 15.580 % |
9.30/9.36 c | 1679 | 72505 453637 1281404 | 182332 1630 43 | 16.209 % |
9.50/9.58 c | 1826 | 72505 453637 1281404 | 182332 1777 48 | 16.209 % |
9.70/9.77 c | 1927 | 72376 453637 1281404 | 182332 1877 48 | 16.519 % |
9.90/9.97 c | 2037 | 72373 453637 1281404 | 182332 1985 47 | 16.760 % |
10.20/10.22 c | 2158 | 71517 447292 1265471 | 182332 2097 46 | 16.813 % |
10.40/10.49 c | 2293 | 71475 447292 1265471 | 182332 2229 45 | 17.052 % |
10.60/10.63 c | 2441 | 71475 447292 1265471 | 182332 2377 51 | 17.052 % |
10.80/10.86 c | 2602 | 71475 447292 1265471 | 182332 2538 51 | 17.052 % |
10.90/10.95 c | 2702 | 71384 447292 1265471 | 182332 2636 50 | 17.258 % |
11.10/11.15 c | 2813 | 71369 447292 1265471 | 182332 2745 53 | 17.391 % |
11.30/11.37 c | 2934 | 70980 444566 1259396 | 182332 2859 53 | 18.568 % |
11.50/11.57 c | 3067 | 70911 444566 1259396 | 182332 2992 52 | 18.568 % |
11.70/11.73 c | 3218 | 70911 444566 1259396 | 182332 3143 53 | 18.568 % |
11.80/11.88 c | 3385 | 70911 444566 1259396 | 182332 3310 54 | 18.568 % |
12.00/12.04 c | 3564 | 70911 444566 1259396 | 182332 3489 54 | 18.568 % |
12.20/12.25 c | 3664 | 69847 437594 1241536 | 182332 3579 54 | 20.148 % |
12.40/12.42 c | 3774 | 69681 437594 1241536 | 182332 3689 53 | 20.148 % |
12.50/12.60 c | 3895 | 69472 437594 1241536 | 182332 3809 53 | 21.101 % |
12.70/12.76 c | 4029 | 69430 437594 1241536 | 182332 3942 53 | 21.225 % |
12.90/12.98 c | 4175 | 69420 437594 1241536 | 182332 4087 52 | 21.237 % |
13.00/13.06 c | 4335 | 69420 437594 1241536 | 182332 4247 55 | 21.237 % |
13.10/13.21 c | 4512 | 69420 437594 1241536 | 182332 4424 54 | 21.237 % |
13.40/13.42 c | 4705 | 67684 421164 1197664 | 182332 4599 53 | 21.302 % |
13.60/13.63 c | 4805 | 67684 421164 1197664 | 182332 4699 53 | 21.302 % |
13.70/13.80 c | 4915 | 67669 421164 1197664 | 182332 4805 53 | 21.378 % |
13.90/13.95 c | 5037 | 67669 421164 1197664 | 182332 4927 55 | 21.378 % |
13.90/14.00 c | 5172 | 67669 421164 1197664 | 182332 5062 55 | 21.378 % |
14.00/14.10 c | 5318 | 67667 421164 1197664 | 182332 5207 55 | 21.389 % |
14.20/14.26 c | 5478 | 67665 421164 1197664 | 182332 5367 55 | 21.389 % |
14.40/14.46 c | 5655 | 67554 420239 1195316 | 182332 5543 54 | 21.389 % |
14.60/14.67 c | 5848 | 67551 420239 1195316 | 182332 5734 53 | 21.415 % |
14.80/14.84 c | 6061 | 67548 420239 1195316 | 182332 5945 55 | 21.434 % |
14.90/14.97 c | 6161 | 67548 420239 1195316 | 182332 6045 55 | 21.434 % |
15.10/15.12 c | 6273 | 67548 420239 1195316 | 182332 6157 55 | 21.434 % |
15.20/15.30 c | 6394 | 67548 420239 1195316 | 182332 6278 55 | 21.434 % |
15.40/15.49 c | 6527 | 67423 419913 1194453 | 182332 6407 56 | 22.507 % |
15.70/15.74 c | 6673 | 67423 419913 1194453 | 182332 6552 55 | 22.526 % |
15.80/15.91 c | 6834 | 67423 419913 1194453 | 182332 6713 55 | 22.526 % |
16.00/16.05 c | 7010 | 67423 419913 1194453 | 182332 6889 55 | 22.526 % |
16.10/16.20 c | 7214 | 67414 419913 1194453 | 182332 7084 55 | 22.619 % |
16.30/16.34 c | 7426 | 67414 419913 1194453 | 182332 7296 57 | 22.619 % |
16.70/16.73 c | 7661 | 66490 412738 1175418 | 182332 7501 57 | 23.042 % |
16.80/16.84 c | 7761 | 66487 412738 1175418 | 182332 7600 57 | 23.197 % |
16.90/16.96 c | 7871 | 66486 412738 1175418 | 182332 7709 57 | 23.200 % |
17.10/17.12 c | 7992 | 66486 412738 1175418 | 182332 7830 57 | 23.200 % |
17.20/17.30 c | 8125 | 66484 412738 1175418 | 182332 7961 57 | 23.613 % |
17.40/17.49 c | 8273 | 66479 412738 1175418 | 182332 8108 58 | 23.710 % |
17.70/17.77 c | 8435 | 65560 401201 1144562 | 182332 8253 60 | 23.710 % |
18.00/18.07 c | 8611 | 65560 401201 1144562 | 182332 8429 62 | 23.710 % |
18.20/18.30 c | 8804 | 65554 401201 1144562 | 182332 8621 62 | 24.095 % |
18.40/18.46 c | 9017 | 65553 401201 1144562 | 182332 8833 62 | 24.096 % |
18.60/18.66 c | 9250 | 65549 401201 1144562 | 182332 9065 62 | 24.212 % |
19.00/19.05 c | 9507 | 65127 399347 1140854 | 182332 9313 62 | 24.225 % |
19.10/19.12 c | 9610 | 65127 399347 1140854 | 182332 9416 62 | 24.225 % |
19.20/19.31 c | 9721 | 65127 399347 1140854 | 182332 9527 62 | 24.225 % |
19.40/19.45 c | 9842 | 65127 399347 1140854 | 182332 9648 63 | 24.225 % |
19.60/19.63 c | 9982 | 65126 399347 1140854 | 182332 9787 63 | 24.237 % |
19.70/19.79 c | 10129 | 65124 399347 1140854 | 2147483647 9933 63 | 24.290 % |
20.00/20.05 c | 10289 | 65045 398835 1139626 | 2147483647 10091 63 | 24.309 % |
20.20/20.23 c | 10465 | 65045 398835 1139626 | 2147483647 10267 63 | 24.309 % |
20.30/20.36 c | 10659 | 65045 398835 1139626 | 2147483647 10461 63 | 24.309 % |
20.50/20.60 c | 10877 | 65045 398835 1139626 | 2147483647 10679 63 | 24.309 % |
20.90/20.97 c | 11110 | 65045 398835 1139626 | 2147483647 10912 63 | 24.309 % |
21.30/21.34 c | 11366 | 65028 398738 1139374 | 2147483647 11162 64 | 24.396 % |
21.60/21.65 c | 11648 | 65026 398738 1139374 | 2147483647 11443 64 | 24.410 % |
21.70/21.78 c | 11749 | 65026 398738 1139374 | 2147483647 11544 64 | 24.410 % |
21.90/21.93 c | 11862 | 65026 398738 1139374 | 2147483647 11657 64 | 24.410 % |
21.90/21.99 c | 11983 | 65026 398738 1139374 | 2147483647 11778 64 | 24.410 % |
22.10/22.20 c | 12116 | 65026 398738 1139374 | 2147483647 11911 65 | 24.410 % |
22.40/22.46 c | 12264 | 64935 398100 1137781 | 2147483647 12046 65 | 24.437 % |
22.60/22.67 c | 12424 | 64935 398100 1137781 | 2147483647 12206 65 | 24.437 % |
22.80/22.86 c | 12602 | 64934 398100 1137781 | 2147483647 12383 65 | 24.501 % |
23.10/23.15 c | 12795 | 64930 398100 1137781 | 2147483647 12576 65 | 24.501 % |
23.30/23.34 c | 13007 | 64930 398100 1137781 | 2147483647 12788 68 | 24.501 % |
23.70/23.72 c | 13240 | 64898 398100 1137781 | 2147483647 13020 69 | 24.706 % |
24.00/24.07 c | 13496 | 64703 397049 1135677 | 2147483647 13275 69 | 24.711 % |
24.40/24.42 c | 13777 | 64683 397049 1135677 | 2147483647 13554 69 | 24.804 % |
24.60/24.70 c | 14087 | 64678 397049 1135677 | 2147483647 13862 69 | 24.826 % |
24.80/24.85 c | 14187 | 64654 397049 1135677 | 2147483647 13960 69 | 24.950 % |
24.90/24.92 c | 14299 | 64654 397049 1135677 | 2147483647 14072 69 | 24.950 % |
25.00/25.02 c | 14423 | 64649 397049 1135677 | 2147483647 14193 69 | 25.028 % |
25.20/25.30 c | 14557 | 64636 397049 1135677 | 2147483647 14327 70 | 25.028 % |
25.50/25.53 c | 14703 | 64427 395207 1130919 | 2147483647 14453 71 | 25.028 % |
25.60/25.70 c | 14864 | 64427 395207 1130919 | 2147483647 14614 71 | 25.028 % |
25.80/25.88 c | 15040 | 64427 395207 1130919 | 2147483647 14790 71 | 25.028 % |
26.00/26.06 c | 15233 | 64422 395207 1130919 | 2147483647 14982 71 | 25.083 % |
26.30/26.35 c | 15447 | 64413 395207 1130919 | 2147483647 15196 72 | 25.083 % |
26.70/26.72 c | 15683 | 64374 395207 1130919 | 2147483647 15426 72 | 25.354 % |
27.10/27.21 c | 15939 | 64373 395207 1130919 | 2147483647 15682 74 | 25.354 % |
27.40/27.51 c | 16221 | 64141 393789 1127653 | 2147483647 15924 74 | 25.380 % |
27.70/27.77 c | 16530 | 64139 393789 1127653 | 2147483647 16232 75 | 25.390 % |
28.20/28.21 c | 16869 | 64137 393789 1127653 | 2147483647 16570 75 | 25.402 % |
28.30/28.35 c | 16970 | 64137 393789 1127653 | 2147483647 16671 76 | 25.402 % |
28.50/28.52 c | 17080 | 64137 393789 1127653 | 2147483647 16781 76 | 25.402 % |
28.70/28.75 c | 17203 | 64134 393789 1127653 | 2147483647 16901 76 | 25.917 % |
28.90/28.92 c | 17336 | 63649 386785 1108412 | 2147483647 16763 76 | 25.979 % |
29.10/29.12 c | 17482 | 63615 386785 1108412 | 2147483647 16903 76 | 26.014 % |
29.40/29.46 c | 17642 | 63615 386785 1108412 | 2147483647 17063 77 | 26.014 % |
29.70/29.77 c | 17818 | 63614 386785 1108412 | 2147483647 17238 78 | 26.029 % |
30.00/30.11 c | 18012 | 63608 386785 1108412 | 2147483647 17430 78 | 26.051 % |
30.20/30.27 c | 18224 | 63603 386785 1108412 | 2147483647 17637 78 | 26.098 % |
30.60/30.69 c | 18458 | 63487 385309 1104586 | 2147483647 17822 79 | 26.122 % |
30.90/30.98 c | 18716 | 63487 385309 1104586 | 2147483647 18080 80 | 26.122 % |
31.30/31.32 c | 18998 | 63487 385309 1104586 | 2147483647 18362 81 | 26.122 % |
31.70/31.78 c | 19307 | 63475 385309 1104586 | 2147483647 18669 81 | 26.187 % |
32.10/32.17 c | 19646 | 63475 385309 1104586 | 2147483647 19008 81 | 26.187 % |
32.40/32.44 c | 20021 | 63474 385309 1104586 | 2147483647 19382 82 | 26.191 % |
32.60/32.62 c | 20121 | 63474 385309 1104586 | 2147483647 19482 82 | 26.191 % |
32.70/32.71 c | 20231 | 63474 385309 1104586 | 2147483647 19592 82 | 26.191 % |
32.80/32.90 c | 20353 | 63425 384878 1103369 | 2147483647 19712 82 | 26.202 % |
33.00/33.09 c | 20490 | 63424 384878 1103369 | 2147483647 19848 82 | 26.242 % |
33.30/33.37 c | 20636 | 63416 384878 1103369 | 2147483647 19993 83 | 26.257 % |
33.60/33.70 c | 20798 | 63413 384878 1103369 | 2147483647 20154 84 | 26.268 % |
33.90/33.94 c | 20974 | 63397 384878 1103369 | 2147483647 20329 84 | 26.305 % |
34.20/34.21 c | 21168 | 63397 384878 1103369 | 2147483647 20523 85 | 26.305 % |
34.40/34.41 c | 21380 | 63397 384878 1103369 | 2147483647 20735 86 | 26.305 % |
34.50/34.59 c | 21614 | 63397 384878 1103369 | 2147483647 20969 86 | 26.305 % |
34.80/34.83 c | 21878 | 63397 384878 1103369 | 2147483647 21233 86 | 26.305 % |
35.10/35.11 c | 22159 | 63329 383867 1100604 | 2147483647 21492 85 | 26.308 % |
35.60/35.68 c | 22469 | 63327 383867 1100604 | 2147483647 21800 85 | 26.347 % |
36.00/36.03 c | 22812 | 63323 383867 1100604 | 2147483647 22141 86 | 26.359 % |
36.40/36.48 c | 23184 | 63314 383867 1100604 | 2147483647 22510 86 | 26.383 % |
37.00/37.01 c | 23594 | 63312 383867 1100604 | 2147483647 22919 87 | 26.396 % |
37.10/37.13 c | 23694 | 63312 383867 1100604 | 2147483647 23019 87 | 26.396 % |
37.30/37.32 c | 23805 | 63252 383318 1099235 | 2147483647 23117 87 | 26.396 % |
37.40/37.48 c | 23926 | 63252 383318 1099235 | 2147483647 23238 87 | 26.396 % |
37.60/37.65 c | 24060 | 63251 383318 1099235 | 2147483647 23371 88 | 26.399 % |
37.80/37.87 c | 24208 | 63249 383318 1099235 | 2147483647 23518 88 | 26.411 % |
38.00/38.05 c | 24368 | 63247 383318 1099235 | 2147483647 23678 88 | 26.411 % |
38.20/38.22 c | 24544 | 63246 383318 1099235 | 2147483647 23853 88 | 26.412 % |
38.40/38.45 c | 24738 | 63212 383318 1099235 | 2147483647 24045 88 | 26.839 % |
38.70/38.75 c | 24950 | 63212 383318 1099235 | 2147483647 24257 89 | 26.839 % |
38.80/38.90 c | 25185 | 63212 383318 1099235 | 2147483647 24492 89 | 26.839 % |
39.30/39.32 c | 25441 | 63187 383318 1099235 | 2147483647 24744 89 | 26.901 % |
39.70/39.78 c | 25724 | 62645 380492 1092953 | 2147483647 25013 90 | 27.102 % |
40.10/40.12 c | 26037 | 62630 380492 1092953 | 2147483647 25322 89 | 27.593 % |
40.40/40.49 c | 26376 | 62630 380492 1092953 | 2147483647 25661 89 | 27.593 % |
40.90/40.92 c | 26749 | 62581 380492 1092953 | 2147483647 26031 89 | 27.882 % |
41.30/41.39 c | 27159 | 62578 380492 1092953 | 2147483647 26439 90 | 27.904 % |
42.00/42.06 c | 27608 | 62512 380492 1092953 | 2147483647 26886 91 | 28.313 % |
42.10/42.20 c | 27708 | 62511 380492 1092953 | 2147483647 26985 91 | 28.314 % |
42.40/42.44 c | 27818 | 62510 380492 1092953 | 2147483647 27094 91 | 28.330 % |
42.50/42.60 c | 27941 | 62509 380492 1092953 | 2147483647 27216 91 | 28.331 % |
42.80/42.83 c | 28075 | 61589 374431 1077675 | 2147483647 27311 91 | 28.331 % |
42.90/42.97 c | 28221 | 61589 374431 1077675 | 2147483647 27457 91 | 28.331 % |
43.20/43.22 c | 28382 | 61589 374431 1077675 | 2147483647 27618 92 | 28.331 % |
43.30/43.39 c | 28561 | 61588 374431 1077675 | 2147483647 27796 92 | 28.341 % |
43.60/43.64 c | 28754 | 61586 374431 1077675 | 2147483647 27989 92 | 28.341 % |
43.90/43.92 c | 28966 | 61585 374431 1077675 | 2147483647 28200 92 | 28.408 % |
44.20/44.29 c | 29199 | 61574 374431 1077675 | 2147483647 28430 92 | 28.629 % |
44.60/44.69 c | 29458 | 61547 374431 1077675 | 2147483647 28686 93 | 28.690 % |
45.10/45.20 c | 29741 | 61545 374431 1077675 | 2147483647 28966 93 | 28.716 % |
45.30/45.39 c | 30052 | 61544 374431 1077675 | 2147483647 29276 94 | 28.725 % |
45.80/45.89 c | 30393 | 61543 374431 1077675 | 2147483647 29617 94 | 28.725 % |
46.60/46.67 c | 30765 | 61250 372259 1072243 | 2147483647 29895 95 | 28.725 % |
47.10/47.11 c | 31174 | 61250 372259 1072243 | 2147483647 30304 96 | 28.725 % |
47.50/47.60 c | 31626 | 61250 372259 1072243 | 2147483647 30756 97 | 28.725 % |
48.20/48.27 c | 32120 | 61250 372259 1072243 | 2147483647 31250 98 | 28.725 % |
48.40/48.46 c | 32220 | 61249 372259 1072243 | 2147483647 31349 98 | 28.735 % |
48.70/48.76 c | 32331 | 61249 372259 1072243 | 2147483647 31460 98 | 28.735 % |
48.80/48.89 c | 32454 | 61249 372259 1072243 | 2147483647 31583 99 | 28.735 % |
49.10/49.15 c | 32591 | 61249 372259 1072243 | 2147483647 31720 99 | 28.735 % |
49.40/49.48 c | 32737 | 61242 372229 1072181 | 2147483647 31866 99 | 28.735 % |
49.70/49.74 c | 32897 | 61239 372229 1072181 | 2147483647 32024 99 | 28.751 % |
49.90/49.92 c | 33073 | 61239 372229 1072181 | 2147483647 32200 99 | 28.751 % |
50.10/50.20 c | 33266 | 61238 372229 1072181 | 2147483647 32392 99 | 28.752 % |
50.50/50.54 c | 33481 | 61232 372229 1072181 | 2147483647 32603 100 | 28.805 % |
50.70/50.72 c | 33714 | 61227 372229 1072181 | 2147483647 32832 100 | 28.842 % |
51.10/51.12 c | 33972 | 61226 372229 1072181 | 2147483647 33089 100 | 28.843 % |
51.40/51.48 c | 34253 | 61225 372229 1072181 | 2147483647 33368 100 | 28.849 % |
51.70/51.78 c | 34563 | 61225 372229 1072181 | 2147483647 33678 100 | 28.849 % |
52.10/52.11 c | 34903 | 61224 372229 1072181 | 2147483647 34017 100 | 28.850 % |
52.60/52.69 c | 35275 | 61092 371060 1069022 | 2147483647 34341 100 | 28.909 % |
53.30/53.33 c | 35685 | 61092 371060 1069022 | 2147483647 34751 102 | 28.909 % |
53.90/53.91 c | 36138 | 61090 371060 1069022 | 2147483647 35202 102 | 28.914 % |
54.70/54.74 c | 36631 | 61090 371060 1069022 | 2147483647 35695 102 | 28.914 % |
55.30/55.37 c | 37173 | 61090 371060 1069022 | 2147483647 36237 103 | 28.914 % |
55.50/55.53 c | 37273 | 61090 371060 1069022 | 2147483647 36337 103 | 28.914 % |
55.70/55.76 c | 37383 | 61087 371060 1069022 | 2147483647 36445 103 | 28.931 % |
55.80/55.88 c | 37506 | 61085 371060 1069022 | 2147483647 36566 103 | 28.957 % |
56.11/56.13 c | 37640 | 61081 371060 1069022 | 2147483647 36700 103 | 28.957 % |
56.30/56.33 c | 37787 | 61081 371060 1069022 | 2147483647 36846 103 | 28.960 % |
56.40/56.47 c | 37951 | 61081 371060 1069022 | 2147483647 37010 103 | 28.960 % |
56.90/56.93 c | 38137 | 61048 370756 1068188 | 2147483647 37191 103 | 28.960 % |
57.21/57.22 c | 38330 | 61048 370756 1068188 | 2147483647 37384 103 | 28.960 % |
57.40/57.44 c | 38542 | 61044 370756 1068188 | 2147483647 37594 103 | 29.016 % |
57.70/57.75 c | 38775 | 61041 370756 1068188 | 2147483647 37827 103 | 29.016 % |
58.10/58.13 c | 39031 | 61006 370756 1068188 | 2147483647 38080 104 | 29.448 % |
58.50/58.59 c | 39313 | 61006 370756 1068188 | 2147483647 38362 104 | 29.448 % |
59.00/59.01 c | 39624 | 61005 370756 1068188 | 2147483647 38672 104 | 29.449 % |
59.60/59.65 c | 39964 | 61000 370756 1068188 | 2147483647 39009 105 | 29.880 % |
60.10/60.13 c | 40339 | 61000 370756 1068188 | 2147483647 39384 105 | 29.880 % |
60.51/60.54 c | 40748 | 60993 370756 1068188 | 2147483647 39790 105 | 29.912 % |
61.20/61.28 c | 41197 | 60993 370756 1068188 | 2147483647 40238 106 | 29.913 % |
62.00/62.05 c | 41691 | 60139 358857 1035679 | 2147483647 40336 106 | 30.018 % |
63.00/63.01 c | 42233 | 60133 358857 1035679 | 2147483647 40874 106 | 30.059 % |
64.10/64.18 c | 42829 | 60124 358857 1035679 | 2147483647 41466 107 | 30.088 % |
64.30/64.31 c | 42929 | 60124 358857 1035679 | 2147483647 41566 107 | 30.088 % |
64.40/64.48 c | 43039 | 60124 358857 1035679 | 2147483647 41676 107 | 30.088 % |
64.60/64.68 c | 43162 | 60123 358857 1035679 | 2147483647 41798 107 | 30.089 % |
64.91/64.94 c | 43297 | 60123 358857 1035679 | 2147483647 41932 107 | 30.090 % |
65.20/65.27 c | 43449 | 60123 358857 1035679 | 2147483647 42084 107 | 30.090 % |
65.40/65.47 c | 43610 | 60123 358857 1035679 | 2147483647 42245 108 | 30.090 % |
65.70/65.72 c | 43786 | 60123 358857 1035679 | 2147483647 42421 108 | 30.090 % |
66.01/66.06 c | 43982 | 60054 358206 1033979 | 2147483647 42576 108 | 30.137 % |
66.50/66.60 c | 44198 | 60052 358206 1033979 | 2147483647 42792 109 | 30.137 % |
67.00/67.05 c | 44434 | 60052 358206 1033979 | 2147483647 43028 109 | 30.137 % |
67.20/67.31 c | 44692 | 60051 358206 1033979 | 2147483647 43285 109 | 30.138 % |
67.80/67.82 c | 44975 | 60047 358206 1033979 | 2147483647 43566 110 | 30.151 % |
68.21/68.23 c | 45284 | 60029 358206 1033979 | 2147483647 43871 109 | 30.290 % |
68.80/68.85 c | 45623 | 60026 358206 1033979 | 2147483647 44210 110 | 30.290 % |
69.20/69.32 c | 45999 | 60024 358206 1033979 | 2147483647 44584 110 | 30.338 % |
70.41/70.42 c | 46409 | 60024 358206 1033979 | 2147483647 44994 110 | 30.338 % |
70.80/70.88 c | 46858 | 60024 358206 1033979 | 2147483647 45443 111 | 30.338 % |
72.00/72.03 c | 47353 | 59971 358206 1033979 | 2147483647 45935 112 | 31.137 % |
72.90/72.92 c | 47897 | 59168 346412 1001710 | 2147483647 46206 113 | 31.162 % |
73.90/73.96 c | 48493 | 59168 346412 1001710 | 2147483647 46802 113 | 31.162 % |
74.81/74.87 c | 49148 | 59163 346412 1001710 | 2147483647 47455 113 | 31.222 % |
75.10/75.20 c | 49248 | 59144 346412 1001710 | 2147483647 47555 114 | 31.222 % |
75.30/75.40 c | 49359 | 59144 346412 1001710 | 2147483647 47666 114 | 31.222 % |
75.40/75.50 c | 49489 | 59144 346412 1001710 | 2147483647 47796 114 | 31.222 % |
75.60/75.61 c | 49623 | 59144 346412 1001710 | 2147483647 47930 114 | 31.222 % |
75.80/75.85 c | 49770 | 59143 346412 1001710 | 2147483647 48076 114 | 31.275 % |
76.00/76.09 c | 49930 | 59142 346412 1001710 | 2147483647 48235 114 | 31.283 % |
76.20/76.29 c | 50107 | 59141 346412 1001710 | 2147483647 48411 114 | 31.284 % |
76.70/76.77 c | 50301 | 59140 346412 1001710 | 2147483647 48604 114 | 31.285 % |
77.10/77.16 c | 50515 | 59136 346412 1001710 | 2147483647 48817 114 | 31.373 % |
77.50/77.56 c | 50748 | 59121 346412 1001710 | 2147483647 49050 115 | 31.373 % |
77.90/77.95 c | 51004 | 58973 345189 998621 | 2147483647 49252 115 | 31.375 % |
78.40/78.42 c | 51285 | 58972 345189 998621 | 2147483647 49532 115 | 31.391 % |
78.70/78.76 c | 51597 | 58972 345189 998621 | 2147483647 49843 115 | 31.448 % |
79.30/79.35 c | 51938 | 58972 345189 998621 | 2147483647 50183 116 | 31.449 % |
80.10/80.13 c | 52310 | 58970 345189 998621 | 2147483647 50553 116 | 31.452 % |
80.80/80.89 c | 52720 | 58970 345189 998621 | 2147483647 50963 117 | 31.452 % |
81.30/81.40 c | 53169 | 58969 345189 998621 | 2147483647 51410 117 | 31.466 % |
82.30/82.39 c | 53662 | 58969 345189 998621 | 2147483647 51903 118 | 31.466 % |
83.30/83.35 c | 54204 | 58969 345189 998621 | 2147483647 52444 118 | 31.478 % |
84.00/84.06 c | 54802 | 58968 345189 998621 | 2147483647 53041 118 | 31.488 % |
85.20/85.22 c | 55457 | 58875 344638 997260 | 2147483647 53670 118 | 31.489 % |
86.40/86.50 c | 56177 | 58875 344638 997260 | 2147483647 54390 119 | 31.489 % |
86.50/86.60 c | 56277 | 58875 344638 997260 | 2147483647 54490 119 | 31.489 % |
86.70/86.73 c | 56388 | 58875 344638 997260 | 2147483647 54600 119 | 31.504 % |
86.91/86.95 c | 56509 | 58875 344638 997260 | 2147483647 54721 119 | 31.504 % |
87.00/87.05 c | 56642 | 58875 344638 997260 | 2147483647 54854 119 | 31.504 % |
87.20/87.28 c | 56788 | 58875 344638 997260 | 2147483647 55000 118 | 31.504 % |
87.40/87.49 c | 56948 | 58875 344638 997260 | 2147483647 55160 118 | 31.504 % |
88.01/88.05 c | 57125 | 58875 344638 997260 | 2147483647 55337 119 | 31.504 % |
88.30/88.37 c | 57318 | 58875 344638 997260 | 2147483647 55530 119 | 31.504 % |
88.60/88.64 c | 57531 | 58875 344638 997260 | 2147483647 55743 119 | 31.504 % |
88.90/88.91 c | 57766 | 58875 344638 997260 | 2147483647 55978 119 | 31.504 % |
89.40/89.45 c | 58022 | 58861 344638 997260 | 2147483647 56230 119 | 31.540 % |
89.70/89.72 c | 58303 | 58856 344638 997260 | 2147483647 56509 119 | 31.565 % |
90.40/90.46 c | 58613 | 58852 344638 997260 | 2147483647 56818 120 | 31.573 % |
91.10/91.17 c | 58953 | 58852 344638 997260 | 2147483647 57158 120 | 31.573 % |
91.70/91.73 c | 59325 | 58419 338728 981056 | 2147483647 57433 120 | 32.020 % |
92.50/92.57 c | 59734 | 58418 338728 981056 | 2147483647 57841 120 | 32.021 % |
93.10/93.14 c | 60186 | 58416 338728 981056 | 2147483647 58292 120 | 32.028 % |
93.80/93.90 c | 60679 | 58411 338728 981056 | 2147483647 58784 120 | 32.039 % |
94.40/94.44 c | 61222 | 58410 338728 981056 | 2147483647 59326 120 | 32.040 % |
96.00/96.05 c | 61820 | 58407 338728 981056 | 2147483647 59923 121 | 32.054 % |
96.90/96.90 c | 62475 | 58404 338728 981056 | 2147483647 60577 122 | 32.065 % |
97.50/97.53 c | 63196 | 58403 338728 981056 | 2147483647 61297 122 | 32.066 % |
98.60/98.68 c | 63991 | 58393 338728 981056 | 2147483647 62088 122 | 32.136 % |
98.80/98.86 c | 64091 | 58393 338728 981056 | 2147483647 62188 122 | 32.136 % |
99.10/99.16 c | 64202 | 58319 338110 979518 | 2147483647 62276 122 | 32.136 % |
99.40/99.43 c | 64324 | 58319 338110 979518 | 2147483647 62398 122 | 32.136 % |
99.80/99.83 c | 64457 | 58319 338110 979518 | 2147483647 62531 122 | 32.136 % |
100.00/100.01 c | 64609 | 58319 338110 979518 | 2147483647 62683 122 | 32.136 % |
100.20/100.20 c | 64769 | 58319 338110 979518 | 2147483647 62843 122 | 32.136 % |
100.40/100.45 c | 64947 | 58317 338110 979518 | 2147483647 63020 122 | 32.142 % |
100.60/100.64 c | 65140 | 58317 338110 979518 | 2147483647 63213 122 | 32.142 % |
101.00/101.04 c | 65352 | 58317 338110 979518 | 2147483647 63425 122 | 32.142 % |
101.40/101.41 c | 65588 | 58317 338110 979518 | 2147483647 63661 123 | 32.142 % |
102.10/102.11 c | 65846 | 58317 338110 979518 | 2147483647 63919 123 | 32.142 % |
102.71/102.77 c | 66130 | 58315 338110 979518 | 2147483647 64201 123 | 32.155 % |
103.21/103.29 c | 66440 | 58312 338110 979518 | 2147483647 64509 123 | 32.172 % |
104.11/104.21 c | 66779 | 58312 338110 979518 | 2147483647 64848 124 | 32.172 % |
105.01/105.04 c | 67154 | 58312 338110 979518 | 2147483647 65223 124 | 32.172 % |
105.71/105.76 c | 67563 | 58304 338110 979518 | 2147483647 65630 124 | 32.195 % |
106.41/106.48 c | 68014 | 58303 338110 979518 | 2147483647 66080 124 | 32.196 % |
107.51/107.56 c | 68508 | 58303 338110 979518 | 2147483647 66574 125 | 32.196 % |
108.51/108.59 c | 69050 | 58266 337697 978410 | 2147483647 67087 126 | 32.198 % |
109.61/109.66 c | 69646 | 58266 337697 978410 | 2147483647 67683 126 | 32.198 % |
111.51/111.54 c | 70303 | 58265 337697 978410 | 2147483647 68339 127 | 32.199 % |
112.61/112.70 c | 71023 | 58254 337697 978410 | 2147483647 69052 128 | 32.285 % |
113.71/113.80 c | 71820 | 58248 337697 978410 | 2147483647 69846 128 | 32.314 % |
115.01/115.03 c | 72693 | 58243 337697 978410 | 2147483647 70716 129 | 32.349 % |
115.21/115.31 c | 72793 | 58243 337697 978410 | 2147483647 70816 130 | 32.349 % |
115.51/115.61 c | 72906 | 58243 337697 978410 | 2147483647 70929 130 | 32.349 % |
115.81/115.88 c | 73028 | 58243 337697 978410 | 2147483647 71051 130 | 32.349 % |
116.11/116.12 c | 73161 | 58243 337697 978410 | 2147483647 71184 130 | 32.349 % |
116.41/116.42 c | 73307 | 58243 337697 978410 | 2147483647 71330 130 | 32.349 % |
116.61/116.65 c | 73467 | 58243 337697 978410 | 2147483647 71490 130 | 32.349 % |
116.91/116.92 c | 73644 | 58243 337697 978410 | 2147483647 71667 130 | 32.349 % |
117.21/117.28 c | 73837 | 58213 337697 978410 | 2147483647 71858 130 | 32.479 % |
117.51/117.58 c | 74050 | 58213 337697 978410 | 2147483647 72071 130 | 32.479 % |
117.91/117.96 c | 74286 | 58213 337697 978410 | 2147483647 72307 130 | 32.479 % |
118.31/118.36 c | 74543 | 58205 337697 978410 | 2147483647 72561 130 | 32.532 % |
119.01/119.04 c | 74825 | 57976 335730 973237 | 2147483647 72724 131 | 32.535 % |
119.51/119.52 c | 75134 | 57976 335730 973237 | 2147483647 73033 131 | 32.535 % |
120.31/120.39 c | 75476 | 57976 335730 973237 | 2147483647 73374 131 | 32.548 % |
121.21/121.22 c | 75851 | 57976 335730 973237 | 2147483647 73749 132 | 32.548 % |
121.71/121.79 c | 76264 | 57976 335730 973237 | 2147483647 74162 132 | 32.548 % |
123.11/123.14 c | 76716 | 57975 335730 973237 | 2147483647 74613 133 | 32.549 % |
124.11/124.14 c | 77209 | 57975 335730 973237 | 2147483647 75106 134 | 32.549 % |
125.01/125.06 c | 77754 | 57975 335730 973237 | 2147483647 75651 134 | 32.549 % |
126.21/126.26 c | 78355 | 57974 335730 973237 | 2147483647 76251 135 | 32.550 % |
127.01/127.06 c | 79017 | 57974 335730 973237 | 2147483647 76913 135 | 32.550 % |
128.61/128.65 c | 79742 | 57948 335730 973237 | 2147483647 77634 136 | 32.863 % |
129.71/129.73 c | 80534 | 57948 335730 973237 | 2147483647 78426 136 | 32.863 % |
131.11/131.21 c | 81406 | 57948 335730 973237 | 2147483647 79298 136 | 32.863 % |
133.01/133.07 c | 82364 | 57693 334407 970394 | 2147483647 80224 137 | 32.864 % |
133.21/133.24 c | 82473 | 57693 334407 970394 | 2147483647 80333 137 | 32.864 % |
133.41/133.50 c | 82584 | 57692 334407 970394 | 2147483647 80443 137 | 32.866 % |
133.71/133.77 c | 82708 | 57692 334407 970394 | 2147483647 80567 137 | 32.866 % |
134.01/134.04 c | 82844 | 57692 334407 970394 | 2147483647 80703 137 | 32.866 % |
134.21/134.31 c | 82990 | 57690 334407 970394 | 2147483647 80848 137 | 32.880 % |
134.61/134.64 c | 83150 | 57690 334407 970394 | 2147483647 81008 137 | 32.880 % |
134.81/134.90 c | 83327 | 57689 334407 970394 | 2147483647 81184 137 | 32.883 % |
135.31/135.37 c | 83520 | 57689 334407 970394 | 2147483647 81377 137 | 32.883 % |
135.91/135.92 c | 83734 | 57689 334407 970394 | 2147483647 81591 137 | 32.883 % |
136.41/136.45 c | 83968 | 57689 334407 970394 | 2147483647 81825 137 | 32.883 % |
136.91/136.95 c | 84224 | 57689 334407 970394 | 2147483647 82080 138 | 32.886 % |
137.51/137.61 c | 84507 | 57689 334407 970394 | 2147483647 82363 138 | 32.886 % |
138.41/138.43 c | 84816 | 57687 334407 970394 | 2147483647 82670 138 | 32.899 % |
139.11/139.17 c | 85155 | 57687 334407 970394 | 2147483647 83008 139 | 32.902 % |
139.91/140.01 c | 85527 | 57686 334407 970394 | 2147483647 83380 139 | 32.902 % |
140.91/140.98 c | 85943 | 57686 334407 970394 | 2147483647 83795 140 | 32.916 % |
141.71/141.76 c | 86392 | 57686 334407 970394 | 2147483647 84244 140 | 32.916 % |
142.51/142.59 c | 86885 | 57685 334407 970394 | 2147483647 84736 140 | 32.917 % |
143.81/143.91 c | 87427 | 57685 334407 970394 | 2147483647 85278 141 | 32.917 % |
144.91/144.92 c | 88023 | 57684 334407 970394 | 2147483647 85873 141 | 32.918 % |
146.41/146.46 c | 88680 | 57618 333806 968776 | 2147483647 86488 141 | 32.952 % |
148.01/148.10 c | 89401 | 57606 333806 968776 | 2147483647 87206 141 | 32.995 % |
149.11/149.18 c | 90195 | 57584 333806 968776 | 2147483647 87998 141 | 33.074 % |
151.41/151.45 c | 91067 | 57583 333806 968776 | 2147483647 88869 142 | 33.082 % |
153.51/153.52 c | 92025 | 57579 333806 968776 | 2147483647 89824 142 | 33.130 % |
155.41/155.48 c | 93079 | 57579 333806 968776 | 2147483647 90878 144 | 33.130 % |
155.81/155.81 c | 93182 | 57578 333806 968776 | 2147483647 90980 144 | 33.138 % |
156.01/156.04 c | 93293 | 57576 333806 968776 | 2147483647 91091 144 | 33.138 % |
156.11/156.18 c | 93414 | 57576 333806 968776 | 2147483647 91212 144 | 33.138 % |
156.61/156.71 c | 93547 | 57576 333806 968776 | 2147483647 91345 144 | 33.138 % |
157.01/157.07 c | 93693 | 57576 333806 968776 | 2147483647 91491 144 | 33.138 % |
157.41/157.45 c | 93854 | 57576 333806 968776 | 2147483647 91652 145 | 33.138 % |
157.71/157.81 c | 94031 | 57574 333806 968776 | 2147483647 91828 145 | 33.147 % |
158.11/158.12 c | 94224 | 57574 333806 968776 | 2147483647 92021 145 | 33.147 % |
158.41/158.46 c | 94437 | 57574 333806 968776 | 2147483647 92234 144 | 33.147 % |
158.91/158.96 c | 94670 | 57574 333806 968776 | 2147483647 92467 144 | 33.147 % |
159.41/159.49 c | 94930 | 57574 333806 968776 | 2147483647 92727 144 | 33.147 % |
159.91/159.95 c | 95211 | 57569 333806 968776 | 2147483647 93007 144 | 33.161 % |
160.31/160.38 c | 95520 | 57569 333806 968776 | 2147483647 93316 144 | 33.161 % |
161.01/161.11 c | 95861 | 57569 333806 968776 | 2147483647 93657 145 | 33.161 % |
161.91/161.98 c | 96238 | 57438 331978 963931 | 2147483647 93884 145 | 33.161 % |
162.51/162.60 c | 96652 | 57438 331978 963931 | 2147483647 94298 145 | 33.161 % |
163.21/163.23 c | 97101 | 57438 331978 963931 | 2147483647 94747 145 | 33.161 % |
164.71/164.77 c | 97594 | 57438 331978 963931 | 2147483647 95240 146 | 33.161 % |
165.71/165.77 c | 98136 | 57402 331978 963931 | 2147483647 95781 146 | 33.215 % |
167.61/167.68 c | 98732 | 57401 331978 963931 | 2147483647 96376 146 | 33.225 % |
168.91/168.91 c | 99387 | 57401 331978 963931 | 2147483647 97031 147 | 33.225 % |
170.31/170.37 c | 100108 | 57400 331978 963931 | 2147483647 97751 147 | 33.226 % |
172.01/172.07 c | 100900 | 57398 331978 963931 | 2147483647 98541 148 | 33.238 % |
174.01/174.04 c | 101772 | 57397 331978 963931 | 2147483647 99412 148 | 33.245 % |
176.21/176.26 c | 102730 | 57395 331978 963931 | 2147483647 100367 148 | 33.257 % |
178.31/178.35 c | 103787 | 57395 331978 963931 | 2147483647 101424 149 | 33.257 % |
181.52/181.54 c | 104945 | 57395 331978 963931 | 2147483647 102582 149 | 33.257 % |
182.01/182.02 c | 105048 | 57356 331514 962790 | 2147483647 102657 150 | 33.257 % |
182.31/182.34 c | 105162 | 57356 331514 962790 | 2147483647 102771 150 | 33.257 % |
182.51/182.56 c | 105285 | 57356 331514 962790 | 2147483647 102894 150 | 33.257 % |
182.71/182.77 c | 105418 | 57356 331514 962790 | 2147483647 103027 150 | 33.257 % |
182.91/182.97 c | 105564 | 57356 331514 962790 | 2147483647 103173 150 | 33.257 % |
183.21/183.23 c | 105724 | 57356 331514 962790 | 2147483647 103333 150 | 33.257 % |
183.51/183.57 c | 105901 | 57356 331514 962790 | 2147483647 103510 150 | 33.257 % |
183.91/183.99 c | 106098 | 57356 331514 962790 | 2147483647 103707 150 | 33.257 % |
184.31/184.35 c | 106313 | 57356 331514 962790 | 2147483647 103922 150 | 33.257 % |
184.82/184.89 c | 106548 | 57356 331514 962790 | 2147483647 104157 150 | 33.257 % |
185.51/185.59 c | 106808 | 57356 331514 962790 | 2147483647 104417 150 | 33.257 % |
185.92/186.00 c | 107089 | 57355 331514 962790 | 2147483647 104697 150 | 33.272 % |
186.81/186.81 c | 107410 | 57352 331514 962790 | 2147483647 105016 150 | 33.287 % |
187.21/187.21 c | 107752 | 57352 331514 962790 | 2147483647 105358 150 | 33.287 % |
188.01/188.03 c | 108124 | 57352 331514 962790 | 2147483647 105730 150 | 33.287 % |
188.91/188.98 c | 108533 | 57352 331514 962790 | 2147483647 106139 150 | 33.287 % |
189.81/189.83 c | 108984 | 57350 331514 962790 | 2147483647 106589 151 | 33.298 % |
191.01/191.09 c | 109483 | 57342 331514 962790 | 2147483647 107084 151 | 33.353 % |
192.52/192.58 c | 110025 | 57341 331514 962790 | 2147483647 107624 152 | 33.424 % |
194.11/194.19 c | 110621 | 57340 331514 962790 | 2147483647 108219 152 | 33.426 % |
195.31/195.37 c | 111279 | 57339 331514 962790 | 2147483647 108876 152 | 33.436 % |
197.11/197.17 c | 111999 | 57333 331514 962790 | 2147483647 109594 153 | 33.461 % |
198.61/198.69 c | 112794 | 57333 331514 962790 | 2147483647 110389 153 | 33.461 % |
199.71/199.77 c | 113665 | 57333 331514 962790 | 2147483647 111260 153 | 33.461 % |
202.81/202.89 c | 114628 | 57333 331514 962790 | 2147483647 112223 153 | 33.461 % |
205.72/205.73 c | 115681 | 57178 329837 958246 | 2147483647 112209 154 | 33.464 % |
208.61/208.61 c | 116839 | 57178 329837 958246 | 2147483647 113367 154 | 33.464 % |
212.01/212.03 c | 118117 | 57178 329837 958246 | 2147483647 114645 155 | 33.464 % |
212.21/212.25 c | 118217 | 57178 329837 958246 | 2147483647 114745 155 | 33.464 % |
212.51/212.53 c | 118327 | 57178 329837 958246 | 2147483647 114855 155 | 33.464 % |
212.91/212.95 c | 118450 | 57178 329837 958246 | 2147483647 114978 156 | 33.464 % |
213.51/213.56 c | 118593 | 57178 329837 958246 | 2147483647 115121 156 | 33.464 % |
213.91/213.97 c | 118741 | 57178 329837 958246 | 2147483647 115269 156 | 33.464 % |
214.42/214.44 c | 118903 | 57178 329837 958246 | 2147483647 115431 156 | 33.464 % |
214.72/214.77 c | 119080 | 57178 329837 958246 | 2147483647 115608 156 | 33.464 % |
215.32/215.40 c | 119277 | 57177 329837 958246 | 2147483647 115804 156 | 33.465 % |
215.92/215.92 c | 119490 | 57177 329837 958246 | 2147483647 116017 156 | 33.465 % |
216.42/216.50 c | 119723 | 57177 329837 958246 | 2147483647 116250 156 | 33.465 % |
217.22/217.31 c | 119982 | 57177 329837 958246 | 2147483647 116509 156 | 33.465 % |
217.92/218.00 c | 120263 | 57175 329837 958246 | 2147483647 116788 156 | 33.469 % |
218.32/218.34 c | 120573 | 57175 329837 958246 | 2147483647 117098 156 | 33.470 % |
218.62/218.69 c | 120912 | 57173 329837 958246 | 2147483647 117435 156 | 33.492 % |
219.82/219.83 c | 121285 | 57173 329837 958246 | 2147483647 117808 156 | 33.492 % |
221.22/221.29 c | 121695 | 57173 329837 958246 | 2147483647 118218 157 | 33.492 % |
222.62/222.68 c | 122144 | 57173 329837 958246 | 2147483647 118667 157 | 33.492 % |
223.72/223.75 c | 122638 | 57173 329837 958246 | 2147483647 119161 158 | 33.492 % |
224.42/224.42 c | 123182 | 57173 329837 958246 | 2147483647 119705 158 | 33.492 % |
225.72/225.76 c | 123783 | 57173 329837 958246 | 2147483647 120306 158 | 33.492 % |
227.02/227.06 c | 124438 | 57173 329837 958246 | 2147483647 120961 157 | 33.492 % |
229.02/229.02 c | 125158 | 57153 329608 957676 | 2147483647 121673 157 | 33.501 % |
230.92/230.95 c | 125950 | 57153 329608 957676 | 2147483647 122465 158 | 33.501 % |
232.82/232.91 c | 126821 | 57153 329608 957676 | 2147483647 123336 159 | 33.501 % |
234.42/234.42 c | 127781 | 57116 329608 957676 | 2147483647 124292 158 | 33.695 % |
235.82/235.83 c | 128835 | 57113 329608 957676 | 2147483647 125344 159 | 33.762 % |
238.12/238.18 c | 129996 | 57112 329608 957676 | 2147483647 126503 159 | 33.767 % |
241.22/241.28 c | 131274 | 57104 329608 957676 | 2147483647 127779 159 | 33.927 % |
243.92/243.95 c | 132675 | 57086 329608 957676 | 2147483647 129173 160 | 34.092 % |
244.12/244.13 c | 132776 | 57085 329608 957676 | 2147483647 129273 159 | 34.093 % |
244.32/244.40 c | 132886 | 57085 329608 957676 | 2147483647 129383 159 | 34.093 % |
244.82/244.85 c | 133009 | 57083 329608 957676 | 2147483647 129505 160 | 34.096 % |
245.02/245.08 c | 133144 | 57083 329608 957676 | 2147483647 129640 160 | 34.096 % |
245.22/245.29 c | 133290 | 57082 329608 957676 | 2147483647 129785 160 | 34.103 % |
245.82/245.81 c | 133451 | 57082 329608 957676 | 2147483647 129945 159 | 34.113 % |
246.22/246.31 c | 133630 | 57082 329608 957676 | 2147483647 130124 160 | 34.113 % |
246.92/246.91 c | 133829 | 57082 329608 957676 | 2147483647 130323 160 | 34.113 % |
247.32/247.38 c | 134043 | 57082 329608 957676 | 2147483647 130537 160 | 34.113 % |
248.22/248.24 c | 134277 | 57082 329608 957676 | 2147483647 130771 160 | 34.113 % |
248.72/248.77 c | 134534 | 57082 329608 957676 | 2147483647 131028 160 | 34.113 % |
249.22/249.27 c | 134815 | 57082 329608 957676 | 2147483647 131309 160 | 34.113 % |
249.62/249.62 c | 135124 | 57082 329608 957676 | 2147483647 131618 160 | 34.113 % |
250.72/250.73 c | 135463 | 57082 329608 957676 | 2147483647 131957 160 | 34.113 % |
252.02/252.02 c | 135835 | 57081 329608 957676 | 2147483647 132328 160 | 34.215 % |
252.92/252.94 c | 136244 | 57081 329608 957676 | 2147483647 132737 161 | 34.215 % |
254.02/254.08 c | 136695 | 57081 329608 957676 | 2147483647 133188 161 | 34.215 % |
255.72/255.78 c | 137188 | 56531 324284 944336 | 2147483647 133363 162 | 34.217 % |
257.52/257.56 c | 137731 | 56531 324284 944336 | 2147483647 133906 163 | 34.217 % |
259.22/259.21 c | 138327 | 56531 324284 944336 | 2147483647 134502 163 | 34.217 % |
260.12/260.19 c | 138985 | 56531 324284 944336 | 2147483647 135160 163 | 34.217 % |
262.02/262.08 c | 139707 | 56526 324284 944336 | 2147483647 135878 163 | 34.296 % |
263.92/263.94 c | 140499 | 56525 324284 944336 | 2147483647 136669 164 | 34.299 % |
266.42/266.43 c | 141370 | 56525 324284 944336 | 2147483647 137540 164 | 34.299 % |
268.32/268.41 c | 142329 | 56523 324284 944336 | 2147483647 138496 164 | 34.346 % |
271.02/271.04 c | 143383 | 56523 324284 944336 | 2147483647 139550 165 | 34.346 % |
274.22/274.28 c | 144541 | 56523 324284 944336 | 2147483647 140707 165 | 34.347 % |
276.12/276.20 c | 145818 | 56517 324284 944336 | 2147483647 141980 165 | 34.404 % |
277.52/277.60 c | 147220 | 56516 324284 944336 | 2147483647 143381 165 | 34.414 % |
279.32/279.36 c | 148761 | 56516 324284 944336 | 2147483647 144922 164 | 34.414 % |
279.42/279.47 c | 148863 | 56516 324284 944336 | 2147483647 145024 164 | 34.414 % |
279.52/279.58 c | 148973 | 56516 324284 944336 | 2147483647 145134 164 | 34.414 % |
279.72/279.73 c | 149094 | 56516 324284 944336 | 2147483647 145255 164 | 34.414 % |
279.82/279.87 c | 149227 | 56515 324284 944336 | 2147483647 145387 164 | 34.421 % |
280.12/280.14 c | 149373 | 56515 324284 944336 | 2147483647 145533 164 | 34.421 % |
280.22/280.30 c | 149540 | 56515 324284 944336 | 2147483647 145700 164 | 34.421 % |
280.53/280.58 c | 149717 | 56513 324284 944336 | 2147483647 145877 164 | 34.421 % |
281.02/281.05 c | 149910 | 56511 324284 944336 | 2147483647 146069 164 | 34.430 % |
281.32/281.41 c | 150122 | 56511 324284 944336 | 2147483647 146281 164 | 34.430 % |
282.02/282.04 c | 150358 | 56511 324284 944336 | 2147483647 146517 164 | 34.430 % |
283.22/283.24 c | 150614 | 56511 324284 944336 | 2147483647 146773 164 | 34.430 % |
283.62/283.67 c | 150895 | 56511 324284 944336 | 2147483647 147054 164 | 34.430 % |
284.42/284.47 c | 151204 | 56346 322959 940962 | 2147483647 147286 164 | 34.440 % |
285.12/285.20 c | 151544 | 56346 322959 940962 | 2147483647 147626 165 | 34.440 % |
285.92/286.01 c | 151917 | 56344 322959 940962 | 2147483647 147997 165 | 34.446 % |
287.42/287.41 c | 152328 | 56344 322959 940962 | 2147483647 148408 165 | 34.446 % |
287.92/288.00 c | 152778 | 56340 322959 940962 | 2147483647 148856 165 | 34.488 % |
289.33/289.34 c | 153272 | 56339 322959 940962 | 2147483647 149349 165 | 34.489 % |
290.92/290.96 c | 153817 | 56339 322959 940962 | 2147483647 149894 165 | 34.489 % |
293.12/293.19 c | 154415 | 56339 322959 940962 | 2147483647 150492 166 | 34.489 % |
294.72/294.77 c | 155072 | 56339 322959 940962 | 2147483647 151149 166 | 34.489 % |
296.92/296.93 c | 155792 | 56339 322959 940962 | 2147483647 151868 167 | 34.492 % |
299.82/299.90 c | 156585 | 56338 322959 940962 | 2147483647 152660 167 | 34.494 % |
303.02/303.10 c | 157460 | 56337 322959 940962 | 2147483647 153534 168 | 34.504 % |
306.02/306.09 c | 158418 | 56336 322959 940962 | 2147483647 154490 168 | 34.514 % |
309.02/309.09 c | 159473 | 56336 322959 940962 | 2147483647 155545 168 | 34.514 % |
312.02/312.03 c | 160633 | 56334 322959 940962 | 2147483647 156703 168 | 34.538 % |
313.92/314.00 c | 161906 | 56334 322959 940962 | 2147483647 157976 168 | 34.538 % |
317.82/317.84 c | 163306 | 56333 322959 940962 | 2147483647 159374 168 | 34.585 % |
322.02/322.03 c | 164846 | 56322 322959 940962 | 2147483647 160911 168 | 34.641 % |
328.22/328.23 c | 166542 | 56162 321453 936907 | 2147483647 162272 169 | 34.809 % |
328.52/328.54 c | 166642 | 56160 321453 936907 | 2147483647 162371 169 | 34.819 % |
328.82/328.84 c | 166752 | 56160 321453 936907 | 2147483647 162481 169 | 34.819 % |
329.12/329.16 c | 166878 | 56160 321453 936907 | 2147483647 162607 169 | 34.819 % |
329.62/329.67 c | 167011 | 56160 321453 936907 | 2147483647 162740 169 | 34.819 % |
330.22/330.30 c | 167158 | 56160 321453 936907 | 2147483647 162887 169 | 34.819 % |
330.82/330.85 c | 167321 | 56160 321453 936907 | 2147483647 163050 169 | 34.819 % |
331.52/331.51 c | 167505 | 56160 321453 936907 | 2147483647 163234 169 | 34.819 % |
332.32/332.39 c | 167698 | 56159 321453 936907 | 2147483647 163426 169 | 34.850 % |
333.12/333.12 c | 167910 | 56159 321453 936907 | 2147483647 163638 170 | 34.850 % |
333.72/333.75 c | 168145 | 56159 321453 936907 | 2147483647 163873 170 | 34.850 % |
334.52/334.52 c | 168404 | 56159 321453 936907 | 2147483647 164132 170 | 34.850 % |
336.22/336.22 c | 168685 | 56159 321453 936907 | 2147483647 164413 170 | 34.850 % |
337.02/337.09 c | 168995 | 56159 321453 936907 | 2147483647 164723 170 | 34.850 % |
337.92/338.00 c | 169335 | 56159 321453 936907 | 2147483647 165063 170 | 34.850 % |
339.02/339.01 c | 169707 | 56159 321453 936907 | 2147483647 165435 170 | 34.850 % |
339.72/339.79 c | 170117 | 56159 321453 936907 | 2147483647 165845 170 | 34.850 % |
340.72/340.72 c | 170571 | 56159 321453 936907 | 2147483647 166299 170 | 34.850 % |
341.32/341.38 c | 171064 | 56158 321453 936907 | 2147483647 166791 170 | 34.858 % |
343.23/343.25 c | 171609 | 56158 321453 936907 | 2147483647 167336 170 | 34.858 % |
345.23/345.29 c | 172205 | 56158 321453 936907 | 2147483647 167930 170 | 34.965 % |
347.93/347.93 c | 172860 | 56158 321453 936907 | 2147483647 168585 171 | 34.965 % |
349.83/349.86 c | 173580 | 56158 321453 936907 | 2147483647 169305 171 | 34.965 % |
353.83/353.90 c | 174373 | 56156 321453 936907 | 2147483647 170097 171 | 34.975 % |
357.43/357.49 c | 175246 | 56156 321453 936907 | 2147483647 170970 172 | 34.975 % |
360.33/360.34 c | 176206 | 56156 321453 936907 | 2147483647 171929 172 | 34.976 % |
363.13/363.17 c | 177260 | 56154 321453 936907 | 2147483647 172981 172 | 35.107 % |
365.03/365.01 c | 178421 | 56153 321453 936907 | 2147483647 174140 172 | 35.117 % |
366.93/366.98 c | 179699 | 55757 318934 930425 | 2147483647 175142 172 | 35.117 % |
372.23/372.26 c | 181100 | 55755 318934 930425 | 2147483647 176542 173 | 35.128 % |
377.33/377.39 c | 182643 | 55754 318934 930425 | 2147483647 178083 173 | 35.143 % |
384.03/384.10 c | 184337 | 55754 318934 930425 | 2147483647 179777 174 | 35.143 % |
387.33/387.41 c | 186202 | 55753 318934 930425 | 2147483647 181641 174 | 35.153 % |
387.53/387.60 c | 186302 | 55753 318934 930425 | 2147483647 181741 174 | 35.153 % |
387.63/387.67 c | 186412 | 55753 318934 930425 | 2147483647 181851 174 | 35.153 % |
388.23/388.22 c | 186533 | 55753 318934 930425 | 2147483647 181972 174 | 35.153 % |
388.83/388.84 c | 186668 | 55753 318934 930425 | 2147483647 182107 174 | 35.153 % |
389.63/389.71 c | 186814 | 55753 318934 930425 | 2147483647 182253 174 | 35.153 % |
390.13/390.18 c | 186978 | 55753 318934 930425 | 2147483647 182417 174 | 35.153 % |
390.93/390.98 c | 187154 | 55753 318934 930425 | 2147483647 182593 175 | 35.153 % |
391.53/391.60 c | 187347 | 55753 318934 930425 | 2147483647 182786 175 | 35.153 % |
392.03/392.07 c | 187562 | 55753 318934 930425 | 2147483647 183001 175 | 35.153 % |
392.74/392.79 c | 187799 | 55753 318934 930425 | 2147483647 183238 175 | 35.153 % |
393.53/393.52 c | 188056 | 55752 318934 930425 | 2147483647 183494 175 | 35.154 % |
394.73/394.81 c | 188339 | 55752 318934 930425 | 2147483647 183777 175 | 35.154 % |
395.33/395.35 c | 188651 | 55752 318934 930425 | 2147483647 184089 175 | 35.155 % |
396.23/396.30 c | 188990 | 55752 318934 930425 | 2147483647 184428 175 | 35.154 % |
397.23/397.23 c | 189363 | 55752 318934 930425 | 2147483647 184801 175 | 35.154 % |
398.33/398.40 c | 189776 | 55752 318934 930425 | 2147483647 185214 175 | 35.154 % |
399.34/399.38 c | 190225 | 55752 318934 930425 | 2147483647 185663 175 | 35.154 % |
401.54/401.61 c | 190725 | 55752 318934 930425 | 2147483647 186163 175 | 35.154 % |
402.73/402.80 c | 191269 | 55750 318934 930425 | 2147483647 186706 175 | 35.171 % |
404.23/404.23 c | 191870 | 55749 318934 930425 | 2147483647 187305 175 | 35.173 % |
406.53/406.52 c | 192526 | 55749 318934 930425 | 2147483647 187961 175 | 35.173 % |
408.83/408.90 c | 193246 | 55749 318934 930425 | 2147483647 188681 176 | 35.173 % |
411.73/411.73 c | 194039 | 55748 318934 930425 | 2147483647 189473 176 | 35.184 % |
414.83/414.88 c | 194913 | 55747 318934 930425 | 2147483647 190345 176 | 35.199 % |
417.43/417.49 c | 195871 | 55747 318934 930425 | 2147483647 191303 177 | 35.199 % |
420.93/420.94 c | 196924 | 55687 318447 929166 | 2147483647 192319 177 | 35.199 % |
425.13/425.15 c | 198083 | 55687 318447 929166 | 2147483647 193477 177 | 35.203 % |
430.33/430.39 c | 199356 | 55687 318447 929166 | 2147483647 194749 178 | 35.205 % |
435.64/435.65 c | 200758 | 55685 318447 929166 | 2147483647 196148 178 | 35.228 % |
441.34/441.35 c | 202299 | 55683 318447 929166 | 2147483647 197688 179 | 35.237 % |
447.34/447.41 c | 203994 | 55681 318447 929166 | 2147483647 199381 180 | 35.239 % |
451.84/451.90 c | 205858 | 55676 318447 929166 | 2147483647 201244 181 | 35.252 % |
456.14/456.13 c | 207907 | 55676 318447 929166 | 2147483647 203293 181 | 35.252 % |
456.44/456.48 c | 208011 | 55676 318447 929166 | 2147483647 203397 181 | 35.252 % |
457.14/457.17 c | 208122 | 55676 318447 929166 | 2147483647 203508 181 | 35.252 % |
457.74/457.72 c | 208243 | 55676 318447 929166 | 2147483647 203629 181 | 35.252 % |
458.14/458.19 c | 208376 | 55676 318447 929166 | 2147483647 203762 181 | 35.252 % |
458.64/458.71 c | 208522 | 55676 318447 929166 | 2147483647 203908 181 | 35.252 % |
459.24/459.25 c | 208683 | 55676 318447 929166 | 2147483647 204069 181 | 35.252 % |
459.64/459.68 c | 208859 | 55676 318447 929166 | 2147483647 204245 181 | 35.252 % |
460.64/460.64 c | 209052 | 55676 318447 929166 | 2147483647 204438 181 | 35.252 % |
461.44/461.45 c | 209268 | 55676 318447 929166 | 2147483647 204654 181 | 35.252 % |
462.14/462.19 c | 209502 | 55676 318447 929166 | 2147483647 204888 181 | 35.252 % |
462.84/462.87 c | 209763 | 55676 318447 929166 | 2147483647 205149 181 | 35.252 % |
463.34/463.41 c | 210045 | 55676 318447 929166 | 2147483647 205431 181 | 35.252 % |
464.64/464.68 c | 210359 | 55676 318447 929166 | 2147483647 205745 181 | 35.252 % |
465.54/465.61 c | 210698 | 55675 318447 929166 | 2147483647 206083 181 | 35.253 % |
466.64/466.70 c | 211071 | 55675 318447 929166 | 2147483647 206456 181 | 35.253 % |
468.74/468.77 c | 211482 | 55673 318447 929166 | 2147483647 206865 181 | 35.692 % |
469.84/469.86 c | 211931 | 55671 318447 929166 | 2147483647 207313 181 | 35.719 % |
470.84/470.82 c | 212425 | 55668 318447 929166 | 2147483647 207805 181 | 35.737 % |
472.84/472.82 c | 212969 | 55668 318447 929166 | 2147483647 208349 181 | 35.737 % |
474.74/474.80 c | 213568 | 55668 318447 929166 | 2147483647 208948 182 | 35.737 % |
477.24/477.30 c | 214225 | 55667 318447 929166 | 2147483647 209604 182 | 35.741 % |
480.64/480.70 c | 214949 | 55667 318447 929166 | 2147483647 210328 182 | 35.741 % |
483.54/483.56 c | 215741 | 55219 312667 913073 | 2147483647 210970 182 | 35.749 % |
486.44/486.49 c | 216612 | 55213 312667 913073 | 2147483647 211837 182 | 35.839 % |
489.94/489.98 c | 217570 | 55212 312667 913073 | 2147483647 212794 183 | 35.843 % |
493.44/493.50 c | 218625 | 55212 312667 913073 | 2147483647 213849 182 | 35.843 % |
497.74/497.75 c | 219786 | 55211 312667 913073 | 2147483647 215009 182 | 35.855 % |
500.34/500.33 c | 221063 | 55211 312667 913073 | 2147483647 216286 183 | 35.855 % |
504.24/504.26 c | 222466 | 55211 312667 913073 | 2147483647 217688 182 | 35.857 % |
509.14/509.12 c | 224010 | 55199 312667 913073 | 2147483647 219230 183 | 35.957 % |
515.04/515.04 c | 225705 | 55191 312667 913073 | 2147483647 220917 183 | 36.134 % |
522.24/522.25 c | 227569 | 55189 312667 913073 | 2147483647 222778 184 | 36.251 % |
529.84/529.81 c | 229618 | 55188 312667 913073 | 2147483647 224826 184 | 36.252 % |
539.84/539.84 c | 231871 | 55188 312667 913073 | 2147483647 227079 184 | 36.252 % |
540.24/540.28 c | 231972 | 55188 312667 913073 | 2147483647 227180 184 | 36.252 % |
540.64/540.65 c | 232083 | 55188 312667 913073 | 2147483647 227291 184 | 36.252 % |
541.14/541.20 c | 232204 | 55188 312667 913073 | 2147483647 227412 184 | 36.252 % |
541.74/541.80 c | 232347 | 55188 312667 913073 | 2147483647 227555 184 | 36.252 % |
542.14/542.15 c | 232493 | 55188 312667 913073 | 2147483647 227701 184 | 36.252 % |
543.14/543.11 c | 232654 | 55188 312667 913073 | 2147483647 227862 184 | 36.252 % |
543.54/543.52 c | 232836 | 55186 312667 913073 | 2147483647 228042 184 | 36.268 % |
544.44/544.45 c | 233034 | 55186 312667 913073 | 2147483647 228240 184 | 36.268 % |
545.34/545.31 c | 233246 | 55172 312667 913073 | 2147483647 228451 184 | 37.256 % |
546.04/546.06 c | 233479 | 55172 312667 913073 | 2147483647 228684 184 | 37.256 % |
547.14/547.11 c | 233735 | 55172 312667 913073 | 2147483647 228940 184 | 37.256 % |
548.64/548.63 c | 234016 | 53919 303607 888935 | 2147483647 222517 184 | 37.256 % |
549.35/549.36 c | 234326 | 53919 303607 888935 | 2147483647 222827 184 | 37.256 % |
550.85/550.87 c | 234665 | 53919 303607 888935 | 2147483647 223166 184 | 37.256 % |
551.95/552.00 c | 235038 | 53919 303607 888935 | 2147483647 223539 184 | 37.256 % |
552.95/552.93 c | 235447 | 53918 303607 888935 | 2147483647 223947 184 | 37.264 % |
554.75/554.74 c | 235904 | 53918 303607 888935 | 2147483647 224404 184 | 37.264 % |
556.45/556.44 c | 236397 | 53917 303607 888935 | 2147483647 224894 185 | 37.751 % |
558.15/558.12 c | 236947 | 53917 303607 888935 | 2147483647 225444 185 | 37.751 % |
559.85/559.88 c | 237544 | 53917 303607 888935 | 2147483647 226041 185 | 37.751 % |
562.35/562.33 c | 238208 | 53915 303607 888935 | 2147483647 226703 185 | 37.763 % |
564.55/564.56 c | 238929 | 53915 303607 888935 | 2147483647 227424 185 | 37.763 % |
566.35/566.36 c | 239725 | 53915 303607 888935 | 2147483647 228220 185 | 37.763 % |
568.15/568.19 c | 240604 | 53913 303607 888935 | 2147483647 229097 185 | 37.872 % |
569.55/569.59 c | 241563 | 53913 303607 888935 | 2147483647 230056 185 | 37.872 % |
573.85/573.86 c | 242617 | 53913 303607 888935 | 2147483647 231110 185 | 37.872 % |
577.95/578.00 c | 243775 | 53913 303607 888935 | 2147483647 232268 185 | 37.872 % |
581.75/581.79 c | 245049 | 53913 303607 888935 | 2147483647 233541 186 | 37.873 % |
585.85/585.88 c | 246450 | 53909 303607 888935 | 2147483647 234940 186 | 37.908 % |
590.15/590.15 c | 247993 | 53908 303607 888935 | 2147483647 236482 186 | 37.909 % |
596.25/596.22 c | 249688 | 53907 303607 888935 | 2147483647 238176 186 | 37.922 % |
602.85/602.84 c | 251555 | 53907 303607 888935 | 2147483647 240043 187 | 37.922 % |
612.05/612.08 c | 253605 | 53904 303607 888935 | 2147483647 242090 187 | 37.944 % |
621.15/621.12 c | 255862 | 53903 303607 888935 | 2147483647 244345 188 | 37.957 % |
630.25/630.22 c | 258343 | 53309 296885 870315 | 2147483647 246590 188 | 37.974 % |
630.75/630.75 c | 258443 | 53309 296885 870315 | 2147483647 246690 188 | 37.974 % |
631.25/631.25 c | 258554 | 53309 296885 870315 | 2147483647 246801 188 | 37.974 % |
631.75/631.79 c | 258675 | 53309 296885 870315 | 2147483647 246922 188 | 37.974 % |
632.35/632.37 c | 258808 | 53307 296885 870315 | 2147483647 247053 188 | 38.549 % |
632.95/632.91 c | 258954 | 53307 296885 870315 | 2147483647 247199 188 | 38.549 % |
633.55/633.56 c | 259114 | 53307 296885 870315 | 2147483647 247359 188 | 38.549 % |
634.25/634.26 c | 259290 | 53307 296885 870315 | 2147483647 247535 188 | 38.549 % |
634.95/634.94 c | 259483 | 53307 296885 870315 | 2147483647 247728 188 | 38.549 % |
635.75/635.81 c | 259695 | 53307 296885 870315 | 2147483647 247940 188 | 38.549 % |
636.55/636.59 c | 259928 | 53307 296885 870315 | 2147483647 248173 188 | 38.549 % |
637.25/637.28 c | 260194 | 53307 296885 870315 | 2147483647 248439 188 | 38.549 % |
637.65/637.69 c | 260476 | 53307 296885 870315 | 2147483647 248721 188 | 38.549 % |
638.55/638.55 c | 260785 | 53307 296885 870315 | 2147483647 249029 188 | 38.564 % |
639.55/639.59 c | 261126 | 53307 296885 870315 | 2147483647 249370 188 | 38.564 % |
641.05/641.02 c | 261498 | 53307 296885 870315 | 2147483647 249742 188 | 38.564 % |
642.15/642.19 c | 261911 | 53307 296885 870315 | 2147483647 250155 188 | 38.564 % |
643.35/643.31 c | 262360 | 53307 296885 870315 | 2147483647 250604 188 | 38.564 % |
645.05/645.03 c | 262856 | 53307 296885 870315 | 2147483647 251100 188 | 38.564 % |
646.15/646.13 c | 263399 | 53307 296885 870315 | 2147483647 251643 188 | 38.564 % |
648.15/648.19 c | 263996 | 53307 296885 870315 | 2147483647 252240 188 | 38.564 % |
649.25/649.21 c | 264653 | 53307 296885 870315 | 2147483647 252897 188 | 38.564 % |
651.95/651.94 c | 265375 | 53307 296885 870315 | 2147483647 253619 188 | 38.564 % |
654.25/654.25 c | 266168 | 53305 296885 870315 | 2147483647 254411 188 | 38.571 % |
657.75/657.72 c | 267042 | 53304 296885 870315 | 2147483647 255284 188 | 38.573 % |
662.06/662.11 c | 268005 | 53304 296885 870315 | 2147483647 256247 188 | 38.573 % |
666.06/666.02 c | 269059 | 53304 296885 870315 | 2147483647 257301 188 | 38.573 % |
670.86/670.83 c | 270217 | 53302 296885 870315 | 2147483647 258456 188 | 38.580 % |
675.26/675.30 c | 271491 | 53302 296885 870315 | 2147483647 259730 188 | 38.580 % |
680.36/680.35 c | 272891 | 53302 296885 870315 | 2147483647 261130 188 | 38.580 % |
683.75/683.72 c | 274434 | 53302 296885 870315 | 2147483647 262673 188 | 38.580 % |
691.05/691.09 c | 276128 | 53302 296885 870315 | 2147483647 264367 189 | 38.580 % |
697.55/697.52 c | 278009 | 53302 296885 870315 | 2147483647 266248 189 | 38.580 % |
705.35/705.33 c | 280065 | 53299 296885 870315 | 2147483647 268300 190 | 38.612 % |
715.15/715.17 c | 282322 | 52696 290917 853949 | 2147483647 238342 177 | 38.679 % |
720.95/720.97 c | 284800 | 52694 290917 853949 | 2147483647 240818 178 | 38.682 % |
731.25/731.22 c | 287535 | 52694 290917 853949 | 2147483647 243553 179 | 38.682 % |
731.75/731.73 c | 287639 | 52694 290917 853949 | 2147483647 243657 179 | 38.682 % |
732.25/732.30 c | 287749 | 52693 290917 853949 | 2147483647 243766 179 | 38.690 % |
732.75/732.74 c | 287870 | 52693 290917 853949 | 2147483647 243887 179 | 38.690 % |
733.25/733.22 c | 288006 | 52693 290917 853949 | 2147483647 244023 179 | 38.690 % |
733.65/733.69 c | 288152 | 52693 290917 853949 | 2147483647 244169 179 | 38.690 % |
734.25/734.20 c | 288312 | 52693 290917 853949 | 2147483647 244329 179 | 38.690 % |
734.95/734.92 c | 288488 | 52692 290917 853949 | 2147483647 244503 179 | 38.715 % |
735.45/735.48 c | 288681 | 52692 290917 853949 | 2147483647 244696 179 | 38.715 % |
736.45/736.41 c | 288895 | 52692 290917 853949 | 2147483647 244910 179 | 38.715 % |
736.85/736.88 c | 289130 | 52692 290917 853949 | 2147483647 245145 179 | 38.715 % |
737.45/737.47 c | 289387 | 52692 290917 853949 | 2147483647 245401 179 | 38.746 % |
738.55/738.53 c | 289669 | 52692 290917 853949 | 2147483647 245683 179 | 38.746 % |
739.75/739.73 c | 289979 | 52692 290917 853949 | 2147483647 245993 179 | 38.746 % |
741.65/741.61 c | 290321 | 52692 290917 853949 | 2147483647 246335 179 | 38.746 % |
743.05/743.02 c | 290693 | 52692 290917 853949 | 2147483647 246707 179 | 38.746 % |
745.65/745.66 c | 291104 | 52692 290917 853949 | 2147483647 247118 179 | 38.746 % |
747.25/747.29 c | 291553 | 52692 290917 853949 | 2147483647 247567 179 | 38.746 % |
749.16/749.19 c | 292046 | 52692 290917 853949 | 2147483647 248060 179 | 38.746 % |
750.85/750.83 c | 292588 | 52691 290917 853949 | 2147483647 248601 179 | 38.758 % |
752.85/752.82 c | 293188 | 52691 290917 853949 | 2147483647 249201 179 | 38.758 % |
755.35/755.37 c | 293843 | 52691 290917 853949 | 2147483647 249856 179 | 38.758 % |
758.75/758.73 c | 294567 | 52691 290917 853949 | 2147483647 250580 179 | 38.758 % |
761.55/761.53 c | 295360 | 52690 290917 853949 | 2147483647 251372 180 | 38.765 % |
763.55/763.57 c | 296234 | 52690 290917 853949 | 2147483647 252246 180 | 38.765 % |
767.95/767.96 c | 297192 | 52689 290917 853949 | 2147483647 253203 180 | 38.767 % |
772.96/772.95 c | 298245 | 52689 290917 853949 | 2147483647 254256 180 | 38.767 % |
777.66/777.61 c | 299403 | 52683 290917 853949 | 2147483647 255412 181 | 38.819 % |
784.26/784.27 c | 300677 | 52683 290917 853949 | 2147483647 256686 181 | 38.819 % |
789.36/789.34 c | 302077 | 52683 290917 853949 | 2147483647 258086 182 | 38.819 % |
797.36/797.36 c | 303623 | 52576 290089 851944 | 2147483647 259472 182 | 38.819 % |
804.46/804.43 c | 305317 | 52576 290089 851944 | 2147483647 261166 183 | 38.819 % |
811.66/811.70 c | 307180 | 52575 290089 851944 | 2147483647 263027 183 | 38.860 % |
821.86/821.85 c | 309234 | 52575 290089 851944 | 2147483647 265081 184 | 38.860 % |
830.26/830.25 c | 311490 | 52575 290089 851944 | 2147483647 267337 184 | 38.860 % |
840.48/840.51 c | 313971 | 52571 290089 851944 | 2147483647 269816 185 | 38.868 % |
849.37/849.40 c | 316696 | 52571 290089 851944 | 2147483647 272541 185 | 38.868 % |
860.37/860.31 c | 319697 | 52567 290089 851944 | 2147483647 275540 186 | 39.060 % |
860.57/860.56 c | 319797 | 52567 290089 851944 | 2147483647 275640 186 | 39.060 % |
860.77/860.74 c | 319908 | 52567 290089 851944 | 2147483647 275751 186 | 39.060 % |
861.07/861.10 c | 320032 | 52567 290089 851944 | 2147483647 275875 186 | 39.060 % |
861.57/861.54 c | 320169 | 52567 290089 851944 | 2147483647 276012 186 | 39.060 % |
861.87/861.90 c | 320315 | 52567 290089 851944 | 2147483647 276158 186 | 39.060 % |
862.27/862.26 c | 320479 | 52567 290089 851944 | 2147483647 276322 186 | 39.060 % |
862.87/862.83 c | 320657 | 52567 290089 851944 | 2147483647 276500 186 | 39.060 % |
863.67/863.69 c | 320852 | 52567 290089 851944 | 2147483647 276695 186 | 39.060 % |
864.77/864.80 c | 321064 | 52566 290089 851944 | 2147483647 276906 186 | 39.061 % |
865.97/865.99 c | 321299 | 52566 290089 851944 | 2147483647 277141 186 | 39.061 % |
867.37/867.39 c | 321559 | 52564 290089 851944 | 2147483647 277400 186 | 39.082 % |
868.57/868.54 c | 321842 | 52563 290089 851944 | 2147483647 277681 186 | 39.105 % |
870.27/870.30 c | 322159 | 52563 290089 851944 | 2147483647 277998 186 | 39.105 % |
872.17/872.15 c | 322500 | 52563 290089 851944 | 2147483647 278339 186 | 39.105 % |
873.97/873.94 c | 322872 | 52563 290089 851944 | 2147483647 278711 186 | 39.105 % |
875.77/875.74 c | 323282 | 52563 290089 851944 | 2147483647 279121 186 | 39.105 % |
877.57/877.53 c | 323736 | 52563 290089 851944 | 2147483647 279575 187 | 39.105 % |
879.77/879.72 c | 324231 | 52563 290089 851944 | 2147483647 280070 187 | 39.105 % |
882.48/882.44 c | 324773 | 52562 290089 851944 | 2147483647 280611 187 | 39.106 % |
885.28/885.24 c | 325369 | 52560 290089 851944 | 2147483647 281205 187 | 39.116 % |
888.58/888.59 c | 326024 | 52560 290089 851944 | 2147483647 281859 187 | 39.138 % |
891.78/891.81 c | 326744 | 52279 288174 846747 | 2147483647 282471 187 | 39.165 % |
894.48/894.50 c | 327536 | 52277 288174 846747 | 2147483647 283262 187 | 39.212 % |
898.28/898.23 c | 328408 | 52277 288174 846747 | 2147483647 284133 187 | 39.216 % |
899.38/899.38 c | 329366 | 52277 288174 846747 | 2147483647 285091 187 | 39.216 % |
904.08/904.12 c | 330419 | 52275 288174 846747 | 2147483647 286143 188 | 39.227 % |
908.68/908.62 c | 331579 | 52275 288174 846747 | 2147483647 287303 188 | 39.227 % |
915.38/915.36 c | 332852 | 52275 288174 846747 | 2147483647 288576 188 | 39.227 % |
923.28/923.25 c | 334252 | 52271 288174 846747 | 2147483647 289973 189 | 39.240 % |
929.88/929.85 c | 335794 | 52268 288174 846747 | 2147483647 291512 189 | 39.255 % |
937.38/937.36 c | 337492 | 52264 288174 846747 | 2147483647 293208 189 | 39.266 % |
946.08/946.06 c | 339356 | 52264 288174 846747 | 2147483647 295072 190 | 39.266 % |
955.18/955.18 c | 341405 | 52264 288174 846747 | 2147483647 297121 190 | 39.266 % |
963.98/963.94 c | 343658 | 52264 288174 846747 | 2147483647 299374 190 | 39.266 % |
976.08/976.09 c | 346138 | 52264 288174 846747 | 2147483647 301854 190 | 39.266 % |
989.48/989.50 c | 348865 | 52264 288174 846747 | 2147483647 304581 190 | 39.266 % |
1004.59/1004.58 c | 351864 | 52262 288174 846747 | 2147483647 307578 190 | 39.279 % |
1023.49/1023.45 c | 355160 | 52179 287511 845086 | 2147483647 310764 192 | 39.284 % |
1023.89/1023.86 c | 355260 | 52179 287511 845086 | 2147483647 310864 192 | 39.284 % |
1024.39/1024.41 c | 355374 | 52179 287511 845086 | 2147483647 310978 192 | 39.284 % |
1024.99/1025.01 c | 355497 | 52179 287511 845086 | 2147483647 311101 192 | 39.284 % |
1026.09/1026.07 c | 355630 | 52179 287511 845086 | 2147483647 311234 192 | 39.284 % |
1027.19/1027.17 c | 355776 | 52179 287511 845086 | 2147483647 311380 192 | 39.284 % |
1028.19/1028.17 c | 355936 | 52179 287511 845086 | 2147483647 311540 192 | 39.284 % |
1029.09/1029.03 c | 356112 | 52179 287511 845086 | 2147483647 311716 192 | 39.284 % |
1030.09/1030.05 c | 356317 | 52179 287511 845086 | 2147483647 311921 192 | 39.284 % |
1031.39/1031.41 c | 356529 | 52179 287511 845086 | 2147483647 312133 192 | 39.284 % |
1032.59/1032.61 c | 356762 | 52179 287511 845086 | 2147483647 312366 192 | 39.284 % |
1034.69/1034.63 c | 357018 | 52179 287511 845086 | 2147483647 312622 192 | 39.284 % |
1036.39/1036.32 c | 357303 | 52179 287511 845086 | 2147483647 312907 192 | 39.284 % |
1038.49/1038.50 c | 357614 | 52179 287511 845086 | 2147483647 313218 192 | 39.284 % |
1040.39/1040.36 c | 357957 | 52179 287511 845086 | 2147483647 313561 192 | 39.284 % |
1042.58/1042.60 c | 358329 | 52179 287511 845086 | 2147483647 313933 192 | 39.284 % |
1044.68/1044.63 c | 358739 | 52179 287511 845086 | 2147483647 314343 192 | 39.284 % |
1047.08/1047.03 c | 359189 | 52179 287511 845086 | 2147483647 314793 192 | 39.284 % |
1049.58/1049.57 c | 359685 | 52179 287511 845086 | 2147483647 315289 192 | 39.284 % |
1052.68/1052.66 c | 360231 | 52179 287511 845086 | 2147483647 315835 193 | 39.284 % |
1054.88/1054.85 c | 360828 | 52179 287511 845086 | 2147483647 316432 193 | 39.284 % |
1058.88/1058.81 c | 361488 | 52179 287511 845086 | 2147483647 317092 193 | 39.284 % |
1062.38/1062.37 c | 362208 | 52178 287511 845086 | 2147483647 317811 193 | 39.286 % |
1067.18/1067.11 c | 363000 | 52178 287511 845086 | 2147483647 318603 193 | 39.286 % |
1070.18/1070.15 c | 363874 | 52177 287511 845086 | 2147483647 319476 193 | 39.287 % |
1072.18/1072.16 c | 364832 | 52177 287511 845086 | 2147483647 320434 193 | 39.287 % |
1076.78/1076.79 c | 365886 | 52176 287511 845086 | 2147483647 321485 193 | 39.386 % |
1084.18/1084.19 c | 367048 | 52176 287511 845086 | 2147483647 322647 194 | 39.386 % |
1087.58/1087.60 c | 368321 | 52176 287511 845086 | 2147483647 323920 193 | 39.386 % |
1095.28/1095.20 c | 369721 | 52176 287511 845086 | 2147483647 325320 193 | 39.386 % |
1104.18/1104.12 c | 371262 | 52176 287511 845086 | 2147483647 326860 194 | 39.396 % |
1112.59/1112.56 c | 372956 | 52176 287511 845086 | 2147483647 328554 194 | 39.396 % |
1116.49/1116.49 c | 374819 | 52175 287511 845086 | 2147483647 330416 195 | 39.397 % |
1126.89/1126.86 c | 376874 | 52175 287511 845086 | 2147483647 332471 195 | 39.397 % |
1138.59/1138.53 c | 379131 | 52175 287511 845086 | 2147483647 334728 195 | 39.397 % |
1151.99/1151.95 c | 381612 | 52175 287511 845086 | 2147483647 337209 195 | 39.397 % |
1168.09/1168.10 c | 384337 | 52078 286953 843710 | 2147483647 339808 195 | 39.407 % |
1189.09/1189.04 c | 387336 | 52078 286953 843710 | 2147483647 342806 195 | 39.417 % |
runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w /tmp/evaluation-result-1821556-1242536297/watcher-1821556-1242536297 -o /tmp/evaluation-result-1821556-1242536297/solver-1821556-1242536297 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1821556-1242536297.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 1.09 1.05 1.01 3/93 24886
/proc/meminfo: memFree=1036408/2074464 swapFree=1948616/1959888
[pid=24886] ppid=24884 vsize=2416 CPUtime=0
/proc/24886/stat : 24886 (SatELiteGTI) S 24884 24886 10436 0 -1 4194304 365 648 0 0 0 0 0 0 25 0 1 0 1018130405 2473984 276 4294967295 134512640 135169312 3216285344 3216283880 3085811438 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/24886/statm: 604 276 235 161 0 43 0
[pid=24890] ppid=24886 vsize=956 CPUtime=0
/proc/24890/stat : 24890 (SatELite_releas) R 24886 24886 10436 0 -1 4202496 126 0 0 0 0 0 0 0 18 0 1 0 1018130406 978944 63 4294967295 134512640 135223648 3213558768 3213557488 134734703 0 0 0 3 0 0 0 17 0 0 0 0
/proc/24890/statm: 239 65 46 174 0 64 0
[startup+0.067154 s]
/proc/loadavg: 1.09 1.05 1.01 3/93 24886
/proc/meminfo: memFree=1036408/2074464 swapFree=1948616/1959888
[pid=24886] ppid=24884 vsize=2416 CPUtime=0
/proc/24886/stat : 24886 (SatELiteGTI) S 24884 24886 10436 0 -1 4194304 365 648 0 0 0 0 0 0 25 0 1 0 1018130405 2473984 276 4294967295 134512640 135169312 3216285344 3216283880 3085811438 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/24886/statm: 604 276 235 161 0 43 0
[pid=24890] ppid=24886 vsize=26732 CPUtime=0.07
/proc/24890/stat : 24890 (SatELite_releas) R 24886 24886 10436 0 -1 4202496 3870 0 0 0 5 2 0 0 18 0 1 0 1018130406 27373568 3702 4294967295 134512640 135223648 3213558768 3213557352 134719062 0 0 0 3 0 0 0 17 0 0 0 0
/proc/24890/statm: 6683 3703 46 174 0 6508 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 29148
[startup+0.117148 s]
/proc/loadavg: 1.09 1.05 1.01 3/93 24886
/proc/meminfo: memFree=1036408/2074464 swapFree=1948616/1959888
[pid=24886] ppid=24884 vsize=2416 CPUtime=0
/proc/24886/stat : 24886 (SatELiteGTI) S 24884 24886 10436 0 -1 4194304 365 648 0 0 0 0 0 0 25 0 1 0 1018130405 2473984 276 4294967295 134512640 135169312 3216285344 3216283880 3085811438 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/24886/statm: 604 276 235 161 0 43 0
[pid=24890] ppid=24886 vsize=32260 CPUtime=0.12
/proc/24890/stat : 24890 (SatELite_releas) R 24886 24886 10436 0 -1 4202496 5229 0 0 0 9 3 0 0 18 0 1 0 1018130406 33034240 5061 4294967295 134512640 135223648 3213558768 3213557352 134719062 0 0 0 3 0 0 0 17 0 0 0 0
/proc/24890/statm: 8065 5062 46 174 0 7890 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 34676
[startup+0.317131 s]
/proc/loadavg: 1.09 1.05 1.01 3/93 24886
/proc/meminfo: memFree=1036408/2074464 swapFree=1948616/1959888
[pid=24886] ppid=24884 vsize=2416 CPUtime=0
/proc/24886/stat : 24886 (SatELiteGTI) S 24884 24886 10436 0 -1 4194304 365 648 0 0 0 0 0 0 25 0 1 0 1018130405 2473984 276 4294967295 134512640 135169312 3216285344 3216283880 3085811438 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/24886/statm: 604 276 235 161 0 43 0
[pid=24890] ppid=24886 vsize=47128 CPUtime=0.32
/proc/24890/stat : 24890 (SatELite_releas) R 24886 24886 10436 0 -1 4202496 8783 0 0 0 27 5 0 0 18 0 1 0 1018130406 48259072 8615 4294967295 134512640 135223648 3213558768 3213557368 134719062 0 0 0 3 0 0 0 17 0 0 0 0
/proc/24890/statm: 11782 8615 46 174 0 11607 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 49544
[startup+0.717107 s]
/proc/loadavg: 1.09 1.05 1.01 3/93 24886
/proc/meminfo: memFree=1036408/2074464 swapFree=1948616/1959888
[pid=24886] ppid=24884 vsize=2416 CPUtime=0
/proc/24886/stat : 24886 (SatELiteGTI) S 24884 24886 10436 0 -1 4194304 365 648 0 0 0 0 0 0 25 0 1 0 1018130405 2473984 276 4294967295 134512640 135169312 3216285344 3216283880 3085811438 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/24886/statm: 604 276 235 161 0 43 0
[pid=24890] ppid=24886 vsize=70172 CPUtime=0.72
/proc/24890/stat : 24890 (SatELite_releas) R 24886 24886 10436 0 -1 4202496 14990 0 0 0 61 11 0 0 18 0 1 0 1018130406 71856128 14822 4294967295 134512640 135223648 3213558768 3213557336 134719062 0 0 0 3 0 0 0 17 0 0 0 0
/proc/24890/statm: 17543 14822 47 174 0 17368 0
Current children cumulated CPU time (s) 0.72
Current children cumulated vsize (KiB) 72588
[startup+1.51703 s]
/proc/loadavg: 1.09 1.05 1.01 2/95 24891
/proc/meminfo: memFree=964456/2074464 swapFree=1948616/1959888
[pid=24886] ppid=24884 vsize=2416 CPUtime=0
/proc/24886/stat : 24886 (SatELiteGTI) S 24884 24886 10436 0 -1 4194304 365 648 0 0 0 0 0 0 25 0 1 0 1018130405 2473984 276 4294967295 134512640 135169312 3216285344 3216283880 3085811438 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/24886/statm: 604 276 235 161 0 43 0
[pid=24890] ppid=24886 vsize=96020 CPUtime=1.5
/proc/24890/stat : 24890 (SatELite_releas) R 24886 24886 10436 0 -1 4202496 22650 0 0 0 131 19 0 0 20 0 1 0 1018130406 98324480 20479 4294967295 134512640 135223648 3213558768 3213556436 134719062 0 0 0 3 0 0 0 17 0 0 0 0
/proc/24890/statm: 24005 20479 73 174 0 23830 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 98436
[startup+3.1169 s]
/proc/loadavg: 1.09 1.05 1.01 2/95 24891
/proc/meminfo: memFree=946740/2074464 swapFree=1948616/1959888
[pid=24886] ppid=24884 vsize=2416 CPUtime=0
/proc/24886/stat : 24886 (SatELiteGTI) S 24884 24886 10436 0 -1 4194304 365 648 0 0 0 0 0 0 25 0 1 0 1018130405 2473984 276 4294967295 134512640 135169312 3216285344 3216283880 3085811438 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/24886/statm: 604 276 235 161 0 43 0
[pid=24890] ppid=24886 vsize=110408 CPUtime=3.1
/proc/24890/stat : 24890 (SatELite_releas) R 24886 24886 10436 0 -1 4202496 25945 0 0 0 288 22 0 0 25 0 1 0 1018130406 113057792 23524 4294967295 134512640 135223648 3213558768 3213556864 134585550 0 0 0 3 0 0 0 17 0 0 0 0
/proc/24890/statm: 27602 23524 73 174 0 27427 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 112824
[startup+6.31665 s]
/proc/loadavg: 1.08 1.05 1.01 2/95 24891
/proc/meminfo: memFree=940704/2074464 swapFree=1948616/1959888
[pid=24886] ppid=24884 vsize=2420 CPUtime=6.03
/proc/24886/stat : 24886 (SatELiteGTI) S 24884 24886 10436 0 -1 4194304 385 29842 0 0 0 0 579 24 18 0 1 0 1018130405 2478080 278 4294967295 134512640 135169312 3216285344 3216281560 3085811438 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/24886/statm: 605 278 235 161 0 44 0
Current children cumulated CPU time (s) 6.03
Current children cumulated vsize (KiB) 2420
[startup+12.7161 s]
/proc/loadavg: 1.08 1.04 1.01 2/95 24892
/proc/meminfo: memFree=990936/2074464 swapFree=1948616/1959888
[pid=24886] ppid=24884 vsize=2420 CPUtime=6.03
/proc/24886/stat : 24886 (SatELiteGTI) S 24884 24886 10436 0 -1 4194304 385 29842 0 0 0 0 579 24 18 0 1 0 1018130405 2478080 278 4294967295 134512640 135169312 3216285344 3216281560 3085811438 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/24886/statm: 605 278 235 161 0 44 0
[pid=24892] ppid=24886 vsize=31772 CPUtime=6.67
/proc/24892/stat : 24892 (minisat_static) R 24886 24886 10436 0 -1 4202496 7584 0 0 0 662 5 0 0 25 0 1 0 1018131011 32534528 7508 4294967295 134512640 135215339 3215414800 3215413088 134528788 0 0 0 3 0 0 0 17 2 0 0 0
/proc/24892/statm: 7943 7508 73 172 0 7770 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 34192
[startup+25.5151 s]
/proc/loadavg: 1.06 1.04 1.01 2/95 24898
/proc/meminfo: memFree=987652/2074464 swapFree=1948616/1959888
[pid=24886] ppid=24884 vsize=2420 CPUtime=6.03
/proc/24886/stat : 24886 (SatELiteGTI) S 24884 24886 10436 0 -1 4194304 385 29842 0 0 0 0 579 24 18 0 1 0 1018130405 2478080 278 4294967295 134512640 135169312 3216285344 3216281560 3085811438 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/24886/statm: 605 278 235 161 0 44 0
[pid=24892] ppid=24886 vsize=34896 CPUtime=19.47
/proc/24892/stat : 24892 (minisat_static) R 24886 24886 10436 0 -1 4202496 8348 0 0 0 1940 7 0 0 25 0 1 0 1018131011 35733504 8272 4294967295 134512640 135215339 3215414800 3215413088 134528788 0 0 0 3 0 0 0 17 2 0 0 0
/proc/24892/statm: 8724 8272 73 172 0 8551 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 37316
[startup+51.113 s]
/proc/loadavg: 1.04 1.04 1.00 3/95 25083
/proc/meminfo: memFree=977668/2074464 swapFree=1948616/1959888
[pid=24886] ppid=24884 vsize=2420 CPUtime=6.03
/proc/24886/stat : 24886 (SatELiteGTI) S 24884 24886 10436 0 -1 4194304 385 29842 0 0 0 0 579 24 18 0 1 0 1018130405 2478080 278 4294967295 134512640 135169312 3216285344 3216281560 3085811438 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/24886/statm: 605 278 235 161 0 44 0
[pid=24892] ppid=24886 vsize=44724 CPUtime=45.07
/proc/24892/stat : 24892 (minisat_static) R 24886 24886 10436 0 -1 4202496 10801 0 0 0 4499 8 0 0 25 0 1 0 1018131011 45797376 10725 4294967295 134512640 135215339 3215414800 3215412800 134532711 0 0 0 3 0 0 0 17 2 0 0 0
/proc/24892/statm: 11181 10725 73 172 0 11008 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 47144
[startup+102.319 s]
/proc/loadavg: 1.01 1.03 1.00 3/95 25270
/proc/meminfo: memFree=957728/2074464 swapFree=1948616/1959888
[pid=24886] ppid=24884 vsize=2420 CPUtime=6.03
/proc/24886/stat : 24886 (SatELiteGTI) S 24884 24886 10436 0 -1 4194304 385 29842 0 0 0 0 579 24 18 0 1 0 1018130405 2478080 278 4294967295 134512640 135169312 3216285344 3216281560 3085811438 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/24886/statm: 605 278 235 161 0 44 0
[pid=24892] ppid=24886 vsize=64064 CPUtime=96.28
/proc/24892/stat : 24892 (minisat_static) R 24886 24886 10436 0 -1 4202496 15621 0 0 0 9614 14 0 0 25 0 1 0 1018131011 65601536 15545 4294967295 134512640 135215339 3215414800 3215413088 134529157 0 0 0 3 0 0 0 17 2 0 0 0
/proc/24892/statm: 16016 15545 73 172 0 15843 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 66484
[startup+162.314 s]
/proc/loadavg: 1.00 1.02 1.00 3/95 25457
/proc/meminfo: memFree=933596/2074464 swapFree=1948616/1959888
[pid=24886] ppid=24884 vsize=2420 CPUtime=6.03
/proc/24886/stat : 24886 (SatELiteGTI) S 24884 24886 10436 0 -1 4194304 385 29842 0 0 0 0 579 24 18 0 1 0 1018130405 2478080 278 4294967295 134512640 135169312 3216285344 3216281560 3085811438 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/24886/statm: 605 278 235 161 0 44 0
[pid=24892] ppid=24886 vsize=88536 CPUtime=156.28
/proc/24892/stat : 24892 (minisat_static) R 24886 24886 10436 0 -1 4202496 21724 0 0 0 15614 14 0 0 25 0 1 0 1018131011 90660864 21648 4294967295 134512640 135215339 3215414800 3215413088 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/24892/statm: 22134 21648 73 172 0 21961 0
Current children cumulated CPU time (s) 162.31
Current children cumulated vsize (KiB) 90956
[startup+222.319 s]
/proc/loadavg: 1.00 1.02 1.00 3/95 25648
/proc/meminfo: memFree=912128/2074464 swapFree=1948616/1959888
[pid=24886] ppid=24884 vsize=2420 CPUtime=6.03
/proc/24886/stat : 24886 (SatELiteGTI) S 24884 24886 10436 0 -1 4194304 385 29842 0 0 0 0 579 24 18 0 1 0 1018130405 2478080 278 4294967295 134512640 135169312 3216285344 3216281560 3085811438 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/24886/statm: 605 278 235 161 0 44 0
[pid=24892] ppid=24886 vsize=109556 CPUtime=216.29
/proc/24892/stat : 24892 (minisat_static) R 24886 24886 10436 0 -1 4202496 26994 0 0 0 21610 19 0 0 25 0 1 0 1018131011 112185344 26918 4294967295 134512640 135215339 3215414800 3215412800 134532704 0 0 0 3 0 0 0 17 2 0 0 0
/proc/24892/statm: 27389 26918 73 172 0 27216 0
Current children cumulated CPU time (s) 222.32
Current children cumulated vsize (KiB) 111976
[startup+282.314 s]
/proc/loadavg: 1.00 1.01 1.00 2/95 25835
/proc/meminfo: memFree=889668/2074464 swapFree=1948616/1959888
[pid=24886] ppid=24884 vsize=2420 CPUtime=6.03
/proc/24886/stat : 24886 (SatELiteGTI) S 24884 24886 10436 0 -1 4194304 385 29842 0 0 0 0 579 24 18 0 1 0 1018130405 2478080 278 4294967295 134512640 135169312 3216285344 3216281560 3085811438 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/24886/statm: 605 278 235 161 0 44 0
[pid=24892] ppid=24886 vsize=132272 CPUtime=276.29
/proc/24892/stat : 24892 (minisat_static) R 24886 24886 10436 0 -1 4202496 32641 0 0 0 27605 24 0 0 25 0 1 0 1018131011 135446528 32565 4294967295 134512640 135215339 3215414800 3215413088 134528700 0 0 0 3 0 0 0 17 2 0 0 0
/proc/24892/statm: 33068 32565 73 172 0 32895 0
Current children cumulated CPU time (s) 282.32
Current children cumulated vsize (KiB) 134692
[startup+342.309 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 26024
/proc/meminfo: memFree=870960/2074464 swapFree=1948616/1959888
[pid=24886] ppid=24884 vsize=2420 CPUtime=6.03
/proc/24886/stat : 24886 (SatELiteGTI) S 24884 24886 10436 0 -1 4194304 385 29842 0 0 0 0 579 24 18 0 1 0 1018130405 2478080 278 4294967295 134512640 135169312 3216285344 3216281560 3085811438 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/24886/statm: 605 278 235 161 0 44 0
[pid=24892] ppid=24886 vsize=150524 CPUtime=336.29
/proc/24892/stat : 24892 (minisat_static) R 24886 24886 10436 0 -1 4202496 37237 0 0 0 33596 33 0 0 25 0 1 0 1018131011 154136576 37161 4294967295 134512640 135215339 3215414800 3215413088 134528745 0 0 0 3 0 0 0 17 2 0 0 0
/proc/24892/statm: 37631 37161 73 172 0 37458 0
Current children cumulated CPU time (s) 342.32
Current children cumulated vsize (KiB) 152944
[startup+402.314 s]
################
# More data... #
################
/proc/24892/statm: 50782 50233 73 172 0 50609 0
Current children cumulated CPU time (s) 522.34
Current children cumulated vsize (KiB) 205548
[startup+582.319 s]
/proc/loadavg: 1.04 1.03 1.00 2/95 26595
/proc/meminfo: memFree=808512/2074464 swapFree=1948616/1959888
[pid=24886] ppid=24884 vsize=2420 CPUtime=6.03
/proc/24886/stat : 24886 (SatELiteGTI) S 24884 24886 10436 0 -1 4194304 385 29842 0 0 0 0 579 24 18 0 1 0 1018130405 2478080 278 4294967295 134512640 135169312 3216285344 3216281560 3085811438 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/24886/statm: 605 278 235 161 0 44 0
[pid=24892] ppid=24886 vsize=213848 CPUtime=576.32
/proc/24892/stat : 24892 (minisat_static) R 24886 24886 10436 0 -1 4202496 53004 0 0 0 57578 54 0 0 25 0 1 0 1018131011 218980352 52928 4294967295 134512640 135215339 3215414800 3215413088 134528863 0 0 0 3 0 0 0 17 2 0 0 0
/proc/24892/statm: 53462 52928 73 172 0 53289 0
Current children cumulated CPU time (s) 582.35
Current children cumulated vsize (KiB) 216268
[startup+642.315 s]
/proc/loadavg: 1.01 1.02 1.00 2/95 26967
/proc/meminfo: memFree=792948/2074464 swapFree=1948616/1959888
[pid=24886] ppid=24884 vsize=2420 CPUtime=6.03
/proc/24886/stat : 24886 (SatELiteGTI) S 24884 24886 10436 0 -1 4194304 385 29842 0 0 0 0 579 24 18 0 1 0 1018130405 2478080 278 4294967295 134512640 135169312 3216285344 3216281560 3085811438 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/24886/statm: 605 278 235 161 0 44 0
[pid=24892] ppid=24886 vsize=228656 CPUtime=636.32
/proc/24892/stat : 24892 (minisat_static) R 24886 24886 10436 0 -1 4202496 56737 0 0 0 63574 58 0 0 25 0 1 0 1018131011 234143744 56661 4294967295 134512640 135215339 3215414800 3215412800 134532626 0 0 0 3 0 0 0 17 2 0 0 0
/proc/24892/statm: 57164 56661 73 172 0 56991 0
Current children cumulated CPU time (s) 642.35
Current children cumulated vsize (KiB) 231076
[startup+702.31 s]
/proc/loadavg: 1.00 1.02 1.00 2/95 26971
/proc/meminfo: memFree=778612/2074464 swapFree=1948616/1959888
[pid=24886] ppid=24884 vsize=2420 CPUtime=6.03
/proc/24886/stat : 24886 (SatELiteGTI) S 24884 24886 10436 0 -1 4194304 385 29842 0 0 0 0 579 24 18 0 1 0 1018130405 2478080 278 4294967295 134512640 135169312 3216285344 3216281560 3085811438 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/24886/statm: 605 278 235 161 0 44 0
[pid=24892] ppid=24886 vsize=243320 CPUtime=696.32
/proc/24892/stat : 24892 (minisat_static) R 24886 24886 10436 0 -1 4202496 60402 0 0 0 69571 61 0 0 25 0 1 0 1018131011 249159680 60326 4294967295 134512640 135215339 3215414800 3215413088 134528742 0 0 0 3 0 0 0 17 2 0 0 0
/proc/24892/statm: 60830 60326 73 172 0 60657 0
Current children cumulated CPU time (s) 702.35
Current children cumulated vsize (KiB) 245740
[startup+762.315 s]
/proc/loadavg: 1.00 1.01 1.00 3/96 27336
/proc/meminfo: memFree=776264/2074464 swapFree=1948616/1959888
[pid=24886] ppid=24884 vsize=2420 CPUtime=6.03
/proc/24886/stat : 24886 (SatELiteGTI) S 24884 24886 10436 0 -1 4194304 385 29842 0 0 0 0 579 24 18 0 1 0 1018130405 2478080 278 4294967295 134512640 135169312 3216285344 3216281560 3085811438 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/24886/statm: 605 278 235 161 0 44 0
[pid=24892] ppid=24886 vsize=244904 CPUtime=756.33
/proc/24892/stat : 24892 (minisat_static) R 24886 24886 10436 0 -1 4202496 60822 0 0 0 75572 61 0 0 25 0 1 0 1018131011 250781696 60746 4294967295 134512640 135215339 3215414800 3215412864 134539387 0 0 0 3 0 0 0 17 2 0 0 0
/proc/24892/statm: 61226 60746 73 172 0 61053 0
Current children cumulated CPU time (s) 762.36
Current children cumulated vsize (KiB) 247324
[startup+822.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 27351
/proc/meminfo: memFree=776752/2074464 swapFree=1948616/1959888
[pid=24886] ppid=24884 vsize=2420 CPUtime=6.03
/proc/24886/stat : 24886 (SatELiteGTI) S 24884 24886 10436 0 -1 4194304 385 29842 0 0 0 0 579 24 18 0 1 0 1018130405 2478080 278 4294967295 134512640 135169312 3216285344 3216281560 3085811438 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/24886/statm: 605 278 235 161 0 44 0
[pid=24892] ppid=24886 vsize=244904 CPUtime=816.33
/proc/24892/stat : 24892 (minisat_static) R 24886 24886 10436 0 -1 4202496 60822 0 0 0 81572 61 0 0 25 0 1 0 1018131011 250781696 60746 4294967295 134512640 135215339 3215414800 3215413088 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/24892/statm: 61226 60746 73 172 0 61053 0
Current children cumulated CPU time (s) 822.36
Current children cumulated vsize (KiB) 247324
[startup+882.315 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 27538
/proc/meminfo: memFree=769948/2074464 swapFree=1948616/1959888
[pid=24886] ppid=24884 vsize=2420 CPUtime=6.03
/proc/24886/stat : 24886 (SatELiteGTI) S 24884 24886 10436 0 -1 4194304 385 29842 0 0 0 0 579 24 18 0 1 0 1018130405 2478080 278 4294967295 134512640 135169312 3216285344 3216281560 3085811438 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/24886/statm: 605 278 235 161 0 44 0
[pid=24892] ppid=24886 vsize=251772 CPUtime=876.34
/proc/24892/stat : 24892 (minisat_static) R 24886 24886 10436 0 -1 4202496 62544 0 0 0 87569 65 0 0 25 0 1 0 1018131011 257814528 62468 4294967295 134512640 135215339 3215414800 3215413072 134525713 0 0 0 3 0 0 0 17 2 0 0 0
/proc/24892/statm: 62943 62468 73 172 0 62770 0
Current children cumulated CPU time (s) 882.37
Current children cumulated vsize (KiB) 254192
[startup+942.32 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 27727
/proc/meminfo: memFree=756176/2074464 swapFree=1948616/1959888
[pid=24886] ppid=24884 vsize=2420 CPUtime=6.03
/proc/24886/stat : 24886 (SatELiteGTI) S 24884 24886 10436 0 -1 4194304 385 29842 0 0 0 0 579 24 18 0 1 0 1018130405 2478080 278 4294967295 134512640 135169312 3216285344 3216281560 3085811438 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/24886/statm: 605 278 235 161 0 44 0
[pid=24892] ppid=24886 vsize=265684 CPUtime=936.35
/proc/24892/stat : 24892 (minisat_static) R 24886 24886 10436 0 -1 4202496 66011 0 0 0 93569 66 0 0 25 0 1 0 1018131011 272060416 65935 4294967295 134512640 135215339 3215414800 3215413088 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/24892/statm: 66421 65935 73 172 0 66248 0
Current children cumulated CPU time (s) 942.38
Current children cumulated vsize (KiB) 268104
[startup+1002.33 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 27914
/proc/meminfo: memFree=745380/2074464 swapFree=1948616/1959888
[pid=24886] ppid=24884 vsize=2420 CPUtime=6.03
/proc/24886/stat : 24886 (SatELiteGTI) S 24884 24886 10436 0 -1 4194304 385 29842 0 0 0 0 579 24 18 0 1 0 1018130405 2478080 278 4294967295 134512640 135169312 3216285344 3216281560 3085811438 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/24886/statm: 605 278 235 161 0 44 0
[pid=24892] ppid=24886 vsize=276732 CPUtime=996.36
/proc/24892/stat : 24892 (minisat_static) R 24886 24886 10436 0 -1 4202496 68766 0 0 0 99569 67 0 0 25 0 1 0 1018131011 283373568 68690 4294967295 134512640 135215339 3215414800 3215413016 134721303 0 0 0 3 0 0 0 17 2 0 0 0
/proc/24892/statm: 69183 68690 73 172 0 69010 0
Current children cumulated CPU time (s) 1002.39
Current children cumulated vsize (KiB) 279152
[startup+1062.31 s]
/proc/loadavg: 1.15 1.04 1.01 2/95 28101
/proc/meminfo: memFree=733492/2074464 swapFree=1948616/1959888
[pid=24886] ppid=24884 vsize=2420 CPUtime=6.03
/proc/24886/stat : 24886 (SatELiteGTI) S 24884 24886 10436 0 -1 4194304 385 29842 0 0 0 0 579 24 18 0 1 0 1018130405 2478080 278 4294967295 134512640 135169312 3216285344 3216281560 3085811438 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/24886/statm: 605 278 235 161 0 44 0
[pid=24892] ppid=24886 vsize=289168 CPUtime=1056.35
/proc/24892/stat : 24892 (minisat_static) R 24886 24886 10436 0 -1 4202496 71742 0 0 0 105566 69 0 0 25 0 1 0 1018131011 296108032 71666 4294967295 134512640 135215339 3215414800 3215413088 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/24892/statm: 72292 71666 73 172 0 72119 0
Current children cumulated CPU time (s) 1062.38
Current children cumulated vsize (KiB) 291588
[startup+1122.32 s]
/proc/loadavg: 1.06 1.03 1.00 2/95 28293
/proc/meminfo: memFree=719580/2074464 swapFree=1948616/1959888
[pid=24886] ppid=24884 vsize=2420 CPUtime=6.03
/proc/24886/stat : 24886 (SatELiteGTI) S 24884 24886 10436 0 -1 4194304 385 29842 0 0 0 0 579 24 18 0 1 0 1018130405 2478080 278 4294967295 134512640 135169312 3216285344 3216281560 3085811438 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/24886/statm: 605 278 235 161 0 44 0
[pid=24892] ppid=24886 vsize=302904 CPUtime=1116.36
/proc/24892/stat : 24892 (minisat_static) R 24886 24886 10436 0 -1 4202496 75207 0 0 0 111565 71 0 0 25 0 1 0 1018131011 310173696 75131 4294967295 134512640 135215339 3215414800 3215413088 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/24892/statm: 75726 75131 73 172 0 75553 0
Current children cumulated CPU time (s) 1122.39
Current children cumulated vsize (KiB) 305324
[startup+1182.31 s]
/proc/loadavg: 1.02 1.02 1.00 3/95 28484
/proc/meminfo: memFree=710552/2074464 swapFree=1948616/1959888
[pid=24886] ppid=24884 vsize=2420 CPUtime=6.03
/proc/24886/stat : 24886 (SatELiteGTI) S 24884 24886 10436 0 -1 4194304 385 29842 0 0 0 0 579 24 18 0 1 0 1018130405 2478080 278 4294967295 134512640 135169312 3216285344 3216281560 3085811438 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/24886/statm: 605 278 235 161 0 44 0
[pid=24892] ppid=24886 vsize=312100 CPUtime=1176.36
/proc/24892/stat : 24892 (minisat_static) R 24886 24886 10436 0 -1 4202496 77478 0 0 0 117564 72 0 0 25 0 1 0 1018131011 319590400 77402 4294967295 134512640 135215339 3215414800 3215412864 134538089 0 0 0 3 0 0 0 17 2 0 0 0
/proc/24892/statm: 78025 77402 73 172 0 77852 0
Current children cumulated CPU time (s) 1182.39
Current children cumulated vsize (KiB) 314520
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.01 s]
/proc/loadavg: 1.01 1.02 1.00 2/95 28669
/proc/meminfo: memFree=708232/2074464 swapFree=1948616/1959888
[pid=24886] ppid=24884 vsize=2420 CPUtime=6.03
/proc/24886/stat : 24886 (SatELiteGTI) S 24884 24886 10436 0 -1 4194304 385 29842 0 0 0 0 579 24 18 0 1 0 1018130405 2478080 278 4294967295 134512640 135169312 3216285344 3216281560 3085811438 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/24886/statm: 605 278 235 161 0 44 0
[pid=24892] ppid=24886 vsize=314260 CPUtime=1194.06
/proc/24892/stat : 24892 (minisat_static) R 24886 24886 10436 0 -1 4202496 78028 0 0 0 119334 72 0 0 25 0 1 0 1018131011 321802240 77952 4294967295 134512640 135215339 3215414800 3215413016 134721382 0 0 0 3 0 0 0 17 2 0 0 0
/proc/24892/statm: 78565 77952 73 172 0 78392 0
Current children cumulated CPU time (s) 1200.09
Current children cumulated vsize (KiB) 316680
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 24886 and gives
# childrusage.ru_utime.tv_sec=5
# childrusage.ru_utime.tv_usec=790000
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=240000
# CPU time returned by wait4() is 6.03
# 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.04
CPU time (s): 1200.09
CPU user time (s): 1199.13
CPU system time (s): 0.96
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 316680
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.79
system time used= 0.24
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30227
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= 14
involuntary context switches= 659
runsolver used 0.01 second user time and 0.01 second system time
The end
Begin job on tipi16 at 2009-05-17 06:58:17
IDJOB=1821556
IDBENCH=71008
IDSOLVER=657
FILE ID=tipi16/1821556-1242536297
PBS_JOBID=
Free space on /tmp= 4833 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= runsolver --timestamp -w /tmp/evaluation-result-1821556-1242536297/watcher-1821556-1242536297 -o /tmp/evaluation-result-1821556-1242536297/solver-1821556-1242536297 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1821556-1242536297.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= b21b299f860c56270b509900cff82599
RANDOM SEED= 2047563436
Linux tipi16 2.6.18 #19 SMP Tue Jun 19 11:27:27 CEST 2007 i686 GNU/Linux
/proc/cpuinfo:
processor : 0
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.457
cache size : 1024 KB
physical id : 0
siblings : 2
core id : 0
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3618.37
processor : 1
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.457
cache size : 1024 KB
physical id : 0
siblings : 2
core id : 1
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.78
processor : 2
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.457
cache size : 1024 KB
physical id : 1
siblings : 2
core id : 0
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.78
processor : 3
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.457
cache size : 1024 KB
physical id : 1
siblings : 2
core id : 1
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.78
/proc/meminfo:
MemTotal: 2074464 kB
MemFree: 1036424 kB
Buffers: 54652 kB
Cached: 880708 kB
SwapCached: 5940 kB
Active: 171148 kB
Inactive: 774260 kB
HighTotal: 1178688 kB
HighFree: 334276 kB
LowTotal: 895776 kB
LowFree: 702148 kB
SwapTotal: 1959888 kB
SwapFree: 1948616 kB
Dirty: 16864 kB
Writeback: 0 kB
AnonPages: 9280 kB
Mapped: 3248 kB
Slab: 84088 kB
PageTables: 644 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 2997120 kB
Committed_AS: 90764 kB
VmallocTotal: 114680 kB
VmallocUsed: 1324 kB
VmallocChunk: 113264 kB
Free space on /tmp at the end= 4818 MiB
End job on tipi16 at 2009-05-17 07:18:21