0.00/0.00 c Parsing...
0.00/0.09 c ==============================================================================
0.00/0.09 c | | ORIGINAL | LEARNT | |
0.00/0.09 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.09 c ==============================================================================
0.00/0.09 c | 0 | 129507 394961 | 38852 0 0 nan | 0.000 % |
0.00/0.72 c | 0 | 129507 394981 | -- 0 -- -- | -- | 0/20
0.00/0.72 c ==============================================================================
0.00/0.72 c Result : #vars: 8709 #clauses: 129507 #literals: 394981
0.00/0.72 c CPU time: 0.704892 s
0.00/0.72 c ==============================================================================
0.00/0.83 c This is MiniSat 2.0 beta
0.00/0.83 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.83 c ============================[ Problem Statistics ]=============================
0.00/0.83 c | |
0.00/0.83 c | Number of variables: 8709 |
0.00/0.83 c | Number of clauses: 129507 |
0.82/0.90 c | Parsing time: 0.06 s |
2.91/4.49 c ============================[ Search Statistics ]==============================
2.91/4.49 c | Conflicts | ORIGINAL | LEARNT | Progress |
2.91/4.49 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
2.91/4.49 c ===============================================================================
2.91/4.49 c | 0 | 8709 129507 394981 | 43169 0 nan | 0.000 % |
2.91/4.49 c | 100 | 8709 129507 394981 | 43169 100 291 | 0.000 % |
2.91/4.49 c | 200 | 8709 129507 394981 | 43169 200 199 | 0.000 % |
2.91/4.49 c | 301 | 8709 129507 394981 | 43169 301 184 | 0.000 % |
2.91/4.49 c | 411 | 8709 129507 394981 | 43169 411 180 | 0.000 % |
2.91/4.49 c | 512 | 8709 129507 394981 | 43169 512 176 | 0.000 % |
2.91/4.49 c | 622 | 8709 129507 394981 | 43169 622 173 | 0.000 % |
2.91/4.49 c | 743 | 8709 129507 394981 | 43169 743 164 | 0.000 % |
2.91/4.51 c | 843 | 8709 129507 394981 | 43169 843 162 | 0.000 % |
2.91/4.51 c | 953 | 8709 129507 394981 | 43169 953 158 | 0.000 % |
2.91/4.51 c | 1075 | 8709 129507 394981 | 43169 1075 157 | 0.000 % |
2.91/4.51 c | 1208 | 8709 129507 394981 | 43169 1208 151 | 0.000 % |
2.91/4.51 c | 1308 | 8709 129507 394981 | 43169 1308 149 | 0.000 % |
2.91/4.51 c | 1418 | 8709 129507 394981 | 43169 1418 151 | 0.000 % |
2.91/4.51 c | 1541 | 8709 129507 394981 | 43169 1541 152 | 0.000 % |
2.91/4.51 c | 1674 | 8709 129507 394981 | 43169 1674 152 | 0.000 % |
2.91/4.51 c | 1820 | 8709 129507 394981 | 43169 1820 151 | 0.000 % |
2.91/4.51 c | 1920 | 8709 129507 394981 | 43169 1920 152 | 0.000 % |
2.91/4.51 c | 2035 | 8709 129507 394981 | 43169 2035 154 | 0.000 % |
2.91/4.51 c | 2156 | 8709 129507 394981 | 43169 2156 154 | 0.000 % |
2.91/4.51 c | 2291 | 8709 129507 394981 | 43169 2291 155 | 0.000 % |
2.91/4.51 c | 2437 | 8709 129507 394981 | 43169 2437 157 | 0.000 % |
2.91/4.51 c | 2599 | 8709 129507 394981 | 43169 2599 162 | 0.000 % |
2.91/4.51 c | 2700 | 8709 129507 394981 | 43169 2700 160 | 0.000 % |
2.91/4.51 c | 2811 | 8709 129507 394981 | 43169 2811 160 | 0.000 % |
2.91/4.51 c | 2932 | 8709 129507 394981 | 43169 2932 160 | 0.000 % |
2.91/4.51 c | 3065 | 8709 129507 394981 | 43169 3065 167 | 0.000 % |
2.91/4.51 c | 3216 | 8709 129507 394981 | 43169 3216 167 | 0.000 % |
2.91/4.51 c | 3378 | 8709 129507 394981 | 43169 3378 169 | 0.000 % |
2.91/4.51 c | 3554 | 8709 129507 394981 | 43169 3554 169 | 0.000 % |
2.91/4.51 c | 3656 | 8709 129507 394981 | 43169 3656 168 | 0.000 % |
2.91/4.51 c | 3766 | 8709 129507 394981 | 43169 3766 169 | 0.000 % |
2.91/4.51 c | 3889 | 8709 129507 394981 | 43169 3889 167 | 0.000 % |
2.91/4.52 c | 4022 | 8709 129507 394981 | 43169 4022 168 | 0.000 % |
2.91/4.52 c | 4168 | 8709 129507 394981 | 43169 4168 170 | 0.000 % |
2.91/4.52 c | 4328 | 8709 129507 394981 | 43169 4328 169 | 0.000 % |
2.91/4.52 c | 4504 | 8709 129507 394981 | 43169 4504 171 | 0.000 % |
2.91/4.52 c | 4697 | 8709 129507 394981 | 43169 4697 171 | 0.000 % |
2.91/4.52 c | 4798 | 8709 129507 394981 | 43169 4798 171 | 0.000 % |
2.91/4.52 c | 4909 | 8709 129507 394981 | 43169 4909 170 | 0.000 % |
2.91/4.52 c | 5030 | 8709 129507 394981 | 43169 5030 169 | 0.000 % |
2.91/4.52 c | 5163 | 8709 129507 394981 | 43169 5163 169 | 0.000 % |
2.91/4.52 c | 5309 | 8709 129507 394981 | 43169 5309 170 | 0.000 % |
2.91/4.52 c | 5469 | 8709 129507 394981 | 43169 5469 169 | 0.000 % |
2.91/4.52 c | 5645 | 8709 129507 394981 | 43169 5645 169 | 0.000 % |
2.98/4.60 c | 5839 | 8709 129507 394981 | 43169 5839 169 | 0.000 % |
3.11/4.73 c | 6051 | 8709 129507 394981 | 43169 6051 166 | 0.000 % |
3.21/4.80 c | 6151 | 8709 129507 394981 | 43169 6151 165 | 0.000 % |
3.21/4.85 c | 6261 | 8709 129507 394981 | 43169 6261 165 | 0.000 % |
3.31/4.91 c | 6382 | 8709 129507 394981 | 43169 6382 164 | 0.000 % |
3.31/4.97 c | 6515 | 8709 129507 394981 | 43169 6515 164 | 0.000 % |
3.41/5.08 c | 6661 | 8709 129507 394981 | 43169 6661 162 | 0.000 % |
3.51/5.18 c | 6822 | 8709 129507 394981 | 43169 6822 162 | 0.000 % |
3.61/5.25 c | 6998 | 8709 129507 394981 | 43169 6998 161 | 0.000 % |
3.71/5.35 c | 7191 | 8709 129507 394981 | 43169 7191 161 | 0.000 % |
3.82/5.41 c | 7403 | 8709 129507 394981 | 43169 7403 162 | 0.000 % |
3.92/5.57 c | 7638 | 8709 129507 394981 | 43169 7638 161 | 0.000 % |
4.02/5.62 c | 7738 | 8709 129507 394981 | 43169 7738 161 | 0.000 % |
4.02/5.67 c | 7848 | 8709 129507 394981 | 43169 7848 162 | 0.000 % |
4.11/5.72 c | 7970 | 8709 129507 394981 | 43169 7970 163 | 0.000 % |
4.11/5.78 c | 8103 | 8709 129507 394981 | 43169 8103 163 | 0.000 % |
4.31/5.90 c | 8249 | 8709 129507 394981 | 43169 8249 162 | 0.000 % |
4.41/6.00 c | 8411 | 8709 129507 394981 | 43169 8411 161 | 0.000 % |
4.41/6.08 c | 8587 | 8709 129507 394981 | 43169 8587 163 | 0.000 % |
4.51/6.17 c | 8780 | 8709 129507 394981 | 43169 8780 163 | 0.000 % |
4.71/6.32 c | 8993 | 8709 129507 394981 | 43169 8993 162 | 0.000 % |
4.81/6.47 c | 9226 | 8709 129507 394981 | 43169 9226 161 | 0.000 % |
4.91/6.60 c | 9483 | 8709 129507 394981 | 43169 9483 161 | 0.000 % |
5.01/6.64 c | 9583 | 8709 129507 394981 | 43169 9583 161 | 0.000 % |
5.11/6.72 c | 9693 | 8709 129507 394981 | 43169 9693 161 | 0.000 % |
5.11/6.79 c | 9815 | 8709 129507 394981 | 43169 9815 160 | 0.000 % |
5.31/6.90 c | 9948 | 8709 129507 394981 | 43169 9948 160 | 0.000 % |
5.41/7.03 c | 10094 | 8709 129507 394981 | 2147483647 10094 159 | 0.000 % |
5.51/7.15 c | 10254 | 8709 129507 394981 | 2147483647 10254 159 | 0.000 % |
5.61/7.30 c | 10431 | 8709 129507 394981 | 2147483647 10431 159 | 0.000 % |
5.81/7.40 c | 10624 | 8709 129507 394981 | 2147483647 10624 158 | 0.000 % |
5.91/7.56 c | 10836 | 8709 129507 394981 | 2147483647 10836 157 | 0.000 % |
6.01/7.68 c | 11069 | 8709 129507 394981 | 2147483647 11069 157 | 0.000 % |
6.21/7.85 c | 11325 | 8709 129507 394981 | 2147483647 11325 158 | 0.000 % |
6.41/8.01 c | 11606 | 8709 129507 394981 | 2147483647 11606 158 | 0.000 % |
6.41/8.09 c | 11706 | 8709 129507 394981 | 2147483647 11706 157 | 0.000 % |
6.51/8.15 c | 11816 | 8709 129507 394981 | 2147483647 11816 157 | 0.000 % |
6.61/8.24 c | 11937 | 8709 129507 394981 | 2147483647 11937 156 | 0.000 % |
6.71/8.37 c | 12070 | 8709 129507 394981 | 2147483647 12070 155 | 0.000 % |
6.90/8.54 c | 12217 | 8709 129507 394981 | 2147483647 12217 155 | 0.000 % |
7.00/8.62 c | 12377 | 8709 129507 394981 | 2147483647 12377 157 | 0.000 % |
7.10/8.70 c | 12553 | 8709 129507 394981 | 2147483647 12553 159 | 0.000 % |
7.20/8.80 c | 12746 | 8709 129507 394981 | 2147483647 12746 159 | 0.000 % |
7.30/8.92 c | 12958 | 8709 129507 394981 | 2147483647 12958 159 | 0.000 % |
7.40/9.00 c | 13194 | 8709 129507 394981 | 2147483647 13194 162 | 0.000 % |
7.50/9.12 c | 13450 | 8709 129507 394981 | 2147483647 13450 162 | 0.000 % |
7.70/9.30 c | 13732 | 8709 129507 394981 | 2147483647 13732 162 | 0.000 % |
7.90/9.58 c | 14041 | 8709 129507 394981 | 2147483647 14041 162 | 0.000 % |
8.00/9.66 c | 14141 | 8709 129507 394981 | 2147483647 14141 161 | 0.000 % |
8.10/9.74 c | 14251 | 8709 129507 394981 | 2147483647 14251 161 | 0.000 % |
8.20/9.82 c | 14373 | 8709 129507 394981 | 2147483647 14373 161 | 0.000 % |
8.20/9.89 c | 14506 | 8709 129507 394981 | 2147483647 14506 162 | 0.000 % |
8.30/9.99 c | 14652 | 8709 129507 394981 | 2147483647 14652 161 | 0.000 % |
8.49/10.13 c | 14812 | 8709 129507 394981 | 2147483647 14812 161 | 0.000 % |
8.59/10.20 c | 14990 | 8709 129507 394981 | 2147483647 14990 162 | 0.000 % |
8.69/10.32 c | 15183 | 8709 129507 394981 | 2147483647 15183 162 | 0.000 % |
8.79/10.43 c | 15396 | 8709 129507 394981 | 2147483647 15396 163 | 0.000 % |
8.89/10.53 c | 15630 | 8709 129507 394981 | 2147483647 15630 163 | 0.000 % |
9.10/10.70 c | 15886 | 8709 129507 394981 | 2147483647 15886 164 | 0.000 % |
9.30/10.92 c | 16167 | 8709 129507 394981 | 2147483647 16167 164 | 0.000 % |
9.50/11.14 c | 16476 | 8709 129507 394981 | 2147483647 16476 163 | 0.000 % |
9.69/11.30 c | 16816 | 8709 129507 394981 | 2147483647 16816 164 | 0.000 % |
9.69/11.36 c | 16918 | 8709 129507 394981 | 2147483647 16918 164 | 0.000 % |
9.79/11.44 c | 17028 | 8709 129507 394981 | 2147483647 17028 164 | 0.000 % |
9.89/11.52 c | 17150 | 8709 129507 394981 | 2147483647 17150 164 | 0.000 % |
9.99/11.63 c | 17283 | 8709 129507 394981 | 2147483647 17283 164 | 0.000 % |
10.09/11.74 c | 17429 | 8709 129507 394981 | 2147483647 17429 164 | 0.000 % |
10.19/11.88 c | 17589 | 8709 129507 394981 | 2147483647 17589 164 | 0.000 % |
10.39/12.00 c | 17765 | 8709 129507 394981 | 2147483647 17765 163 | 0.000 % |
10.49/12.13 c | 17958 | 8709 129507 394981 | 2147483647 17958 164 | 0.000 % |
10.59/12.29 c | 18170 | 8709 129507 394981 | 2147483647 18170 163 | 0.000 % |
10.79/12.44 c | 18403 | 8709 129507 394981 | 2147483647 18403 163 | 0.000 % |
10.99/12.68 c | 18659 | 8709 129507 394981 | 2147483647 18659 163 | 0.000 % |
11.29/12.90 c | 18940 | 8709 129507 394981 | 2147483647 18940 164 | 0.000 % |
11.38/13.08 c | 19249 | 8709 129507 394981 | 2147483647 19249 164 | 0.000 % |
11.69/13.38 c | 19588 | 8709 129507 394981 | 2147483647 19588 163 | 0.000 % |
11.99/13.63 c | 19962 | 8709 129507 394981 | 2147483647 19962 165 | 0.000 % |
12.09/13.72 c | 20062 | 8709 129507 394981 | 2147483647 20062 165 | 0.000 % |
12.09/13.79 c | 20174 | 8709 129507 394981 | 2147483647 20174 165 | 0.000 % |
12.19/13.88 c | 20296 | 8709 129507 394981 | 2147483647 20296 165 | 0.000 % |
12.29/14.00 c | 20429 | 8709 129507 394981 | 2147483647 20429 165 | 0.000 % |
12.49/14.14 c | 20575 | 8709 129507 394981 | 2147483647 20575 165 | 0.000 % |
12.59/14.23 c | 20735 | 8709 129507 394981 | 2147483647 20735 165 | 0.000 % |
12.69/14.40 c | 20911 | 8709 129507 394981 | 2147483647 20911 165 | 0.000 % |
12.89/14.56 c | 21104 | 8709 129507 394981 | 2147483647 21104 165 | 0.000 % |
13.09/14.71 c | 21316 | 8709 129507 394981 | 2147483647 21316 165 | 0.000 % |
13.19/14.89 c | 21549 | 8709 129507 394981 | 2147483647 21549 165 | 0.000 % |
13.49/15.17 c | 21806 | 8709 129507 394981 | 2147483647 21806 164 | 0.000 % |
13.69/15.37 c | 22087 | 8709 129507 394981 | 2147483647 22087 164 | 0.000 % |
13.99/15.67 c | 22397 | 8709 129507 394981 | 2147483647 22397 164 | 0.000 % |
14.29/15.94 c | 22738 | 8709 129507 394981 | 2147483647 22738 164 | 0.000 % |
14.49/16.19 c | 23110 | 8709 129507 394981 | 2147483647 23110 164 | 0.000 % |
14.89/16.53 c | 23519 | 8709 129507 394981 | 2147483647 23519 164 | 0.000 % |
14.99/16.63 c | 23619 | 8709 129507 394981 | 2147483647 23619 164 | 0.000 % |
15.08/16.74 c | 23729 | 8709 129507 394981 | 2147483647 23729 164 | 0.000 % |
15.18/16.82 c | 23851 | 8709 129507 394981 | 2147483647 23851 164 | 0.000 % |
15.28/16.91 c | 23984 | 8709 129507 394981 | 2147483647 23984 164 | 0.000 % |
15.38/17.01 c | 24130 | 8709 129507 394981 | 2147483647 24130 164 | 0.000 % |
15.48/17.14 c | 24290 | 8709 129507 394981 | 2147483647 24290 164 | 0.000 % |
15.58/17.27 c | 24466 | 8709 129507 394981 | 2147483647 24466 164 | 0.000 % |
15.78/17.41 c | 24662 | 8709 129507 394981 | 2147483647 24662 164 | 0.000 % |
15.78/17.49 c | 24874 | 8709 129507 394981 | 2147483647 24874 166 | 0.000 % |
16.09/17.73 c | 25107 | 8709 129507 394981 | 2147483647 25107 166 | 0.000 % |
16.28/17.90 c | 25363 | 8709 129507 394981 | 2147483647 25363 166 | 0.000 % |
16.58/18.21 c | 25644 | 8709 129507 394981 | 2147483647 25644 165 | 0.000 % |
16.88/18.50 c | 25953 | 8709 129507 394981 | 2147483647 25953 165 | 0.000 % |
17.08/18.75 c | 26292 | 8709 129507 394981 | 2147483647 26292 166 | 0.000 % |
17.38/19.00 c | 26664 | 8709 129507 394981 | 2147483647 26664 166 | 0.000 % |
17.68/19.31 c | 27073 | 8709 129507 394981 | 2147483647 27073 165 | 0.000 % |
17.98/19.63 c | 27522 | 8709 129507 394981 | 2147483647 27522 166 | 0.000 % |
18.08/19.74 c | 27623 | 8709 129507 394981 | 2147483647 27623 166 | 0.000 % |
18.18/19.82 c | 27733 | 8709 129507 394981 | 2147483647 27733 166 | 0.000 % |
18.28/19.95 c | 27854 | 8709 129507 394981 | 2147483647 27854 165 | 0.000 % |
18.38/20.09 c | 27987 | 8709 129507 394981 | 2147483647 27987 165 | 0.000 % |
18.58/20.21 c | 28133 | 8709 129507 394981 | 2147483647 28133 165 | 0.000 % |
18.68/20.38 c | 28293 | 8709 129507 394981 | 2147483647 28293 165 | 0.000 % |
18.87/20.50 c | 28469 | 8709 129507 394981 | 2147483647 28469 165 | 0.000 % |
19.07/20.72 c | 28662 | 8709 129507 394981 | 2147483647 28662 165 | 0.000 % |
19.18/20.86 c | 28875 | 8709 129507 394981 | 2147483647 28875 165 | 0.000 % |
19.39/21.02 c | 29108 | 8709 129507 394981 | 2147483647 29108 166 | 0.000 % |
19.58/21.21 c | 29364 | 8709 129507 394981 | 2147483647 29364 166 | 0.000 % |
19.78/21.44 c | 29645 | 8709 129507 394981 | 2147483647 29645 166 | 0.000 % |
19.98/21.69 c | 29955 | 8709 129507 394981 | 2147483647 29955 166 | 0.000 % |
20.39/22.02 c | 30294 | 8709 129507 394981 | 2147483647 30294 165 | 0.000 % |
20.68/22.31 c | 30666 | 8709 129507 394981 | 2147483647 30666 165 | 0.000 % |
20.98/22.61 c | 31076 | 8709 129507 394981 | 2147483647 31076 165 | 0.000 % |
21.38/23.02 c | 31525 | 8709 129507 394981 | 2147483647 31525 165 | 0.000 % |
21.78/23.48 c | 32018 | 8709 129507 394981 | 2147483647 32018 165 | 0.000 % |
21.88/23.59 c | 32118 | 8709 129507 394981 | 2147483647 32118 165 | 0.000 % |
21.98/23.69 c | 32229 | 8709 129507 394981 | 2147483647 32229 165 | 0.000 % |
22.18/23.81 c | 32350 | 8709 129507 394981 | 2147483647 32350 165 | 0.000 % |
22.28/23.91 c | 32483 | 8709 129507 394981 | 2147483647 32483 165 | 0.000 % |
22.48/24.12 c | 32629 | 8709 129507 394981 | 2147483647 32629 164 | 0.000 % |
22.58/24.28 c | 32790 | 8709 129507 394981 | 2147483647 32790 164 | 0.000 % |
22.78/24.42 c | 32967 | 8709 129507 394981 | 2147483647 32967 164 | 0.000 % |
22.88/24.57 c | 33161 | 8709 129507 394981 | 2147483647 33161 164 | 0.000 % |
23.08/24.77 c | 33373 | 8709 129507 394981 | 2147483647 33373 164 | 0.000 % |
23.28/24.94 c | 33606 | 8709 129507 394981 | 2147483647 33606 164 | 0.000 % |
23.58/25.20 c | 33862 | 8709 129507 394981 | 2147483647 33862 164 | 0.000 % |
23.78/25.48 c | 34143 | 8709 129507 394981 | 2147483647 34143 164 | 0.000 % |
24.08/25.78 c | 34452 | 8709 129507 394981 | 2147483647 34452 164 | 0.000 % |
24.38/26.08 c | 34791 | 8709 129507 394981 | 2147483647 34791 164 | 0.000 % |
24.68/26.34 c | 35163 | 8709 129507 394981 | 2147483647 35163 164 | 0.000 % |
24.98/26.68 c | 35572 | 8709 129507 394981 | 2147483647 35572 164 | 0.000 % |
25.38/27.09 c | 36021 | 8709 129507 394981 | 2147483647 36021 165 | 0.000 % |
25.77/27.50 c | 36514 | 8709 129507 394981 | 2147483647 36514 165 | 0.000 % |
26.37/28.04 c | 37056 | 8709 129507 394981 | 2147483647 37056 165 | 0.000 % |
26.47/28.15 c | 37157 | 8709 129507 394981 | 2147483647 37157 165 | 0.000 % |
26.58/28.29 c | 37267 | 8709 129507 394981 | 2147483647 37267 164 | 0.000 % |
26.78/28.43 c | 37388 | 8709 129507 394981 | 2147483647 37388 164 | 0.000 % |
26.88/28.53 c | 37521 | 8709 129507 394981 | 2147483647 37521 165 | 0.000 % |
26.98/28.70 c | 37667 | 8709 129507 394981 | 2147483647 37667 165 | 0.000 % |
27.28/28.93 c | 37830 | 8709 129507 394981 | 2147483647 37830 164 | 0.000 % |
27.48/29.11 c | 38006 | 8709 129507 394981 | 2147483647 38006 164 | 0.000 % |
27.68/29.35 c | 38199 | 8709 129507 394981 | 2147483647 38199 164 | 0.000 % |
27.88/29.58 c | 38411 | 8709 129507 394981 | 2147483647 38411 164 | 0.000 % |
28.08/29.78 c | 38644 | 8709 129507 394981 | 2147483647 38644 164 | 0.000 % |
28.38/30.06 c | 38900 | 8709 129507 394981 | 2147483647 38900 164 | 0.000 % |
28.67/30.35 c | 39182 | 8709 129507 394981 | 2147483647 39182 164 | 0.000 % |
28.87/30.56 c | 39491 | 8709 129507 394981 | 2147483647 39491 164 | 0.000 % |
29.07/30.76 c | 39830 | 8709 129507 394981 | 2147483647 39830 165 | 0.000 % |
29.47/31.11 c | 40202 | 8709 129507 394981 | 2147483647 40202 165 | 0.000 % |
29.67/31.35 c | 40611 | 8709 129507 394981 | 2147483647 40611 168 | 0.000 % |
30.18/31.85 c | 41060 | 8709 129507 394981 | 2147483647 41060 168 | 0.000 % |
30.77/32.45 c | 41554 | 8709 129507 394981 | 2147483647 41554 168 | 0.000 % |
31.38/33.04 c | 42097 | 8709 129507 394981 | 2147483647 42097 167 | 0.000 % |
31.97/33.67 c | 42693 | 8709 129507 394981 | 2147483647 42693 167 | 0.000 % |
32.17/33.81 c | 42793 | 8709 129507 394981 | 2147483647 42793 167 | 0.000 % |
32.27/33.92 c | 42903 | 8709 129507 394981 | 2147483647 42903 167 | 0.000 % |
32.37/34.00 c | 43024 | 8709 129507 394981 | 2147483647 43024 167 | 0.000 % |
32.37/34.10 c | 43158 | 8709 129507 394981 | 2147483647 43158 167 | 0.000 % |
32.58/34.24 c | 43304 | 8709 129507 394981 | 2147483647 43304 167 | 0.000 % |
32.67/34.37 c | 43464 | 8709 129507 394981 | 2147483647 43464 167 | 0.000 % |
32.87/34.50 c | 43641 | 8709 129507 394981 | 2147483647 43641 168 | 0.000 % |
33.07/34.75 c | 43834 | 8709 129507 394981 | 2147483647 43834 168 | 0.000 % |
33.27/34.95 c | 44046 | 8709 129507 394981 | 2147483647 44046 168 | 0.000 % |
33.57/35.23 c | 44281 | 8709 129507 394981 | 2147483647 44281 168 | 0.000 % |
33.87/35.55 c | 44537 | 8709 129507 394981 | 2147483647 44537 167 | 0.000 % |
34.17/35.89 c | 44818 | 8709 129507 394981 | 2147483647 44818 167 | 0.000 % |
34.67/36.32 c | 45127 | 8709 129507 394981 | 2147483647 45127 167 | 0.000 % |
35.06/36.74 c | 45466 | 8709 129507 394981 | 2147483647 45466 167 | 0.000 % |
35.46/37.20 c | 45838 | 8709 129507 394981 | 2147483647 45838 167 | 0.000 % |
35.87/37.58 c | 46248 | 8709 129507 394981 | 2147483647 46248 167 | 0.000 % |
36.26/37.97 c | 46697 | 8709 129507 394981 | 2147483647 46697 167 | 0.000 % |
36.98/38.61 c | 47190 | 8709 129507 394981 | 2147483647 47190 167 | 0.000 % |
37.57/39.20 c | 47732 | 8709 129507 394981 | 2147483647 47732 166 | 0.000 % |
38.08/39.79 c | 48328 | 8709 129507 394981 | 2147483647 48328 166 | 0.000 % |
38.57/40.29 c | 48984 | 8709 129507 394981 | 2147483647 48984 167 | 0.000 % |
38.77/40.42 c | 49084 | 8709 129507 394981 | 2147483647 49084 167 | 0.000 % |
38.87/40.54 c | 49194 | 8709 129507 394981 | 2147483647 49194 167 | 0.000 % |
39.07/40.72 c | 49315 | 8709 129507 394981 | 2147483647 49315 167 | 0.000 % |
39.17/40.88 c | 49448 | 8709 129507 394981 | 2147483647 49448 167 | 0.000 % |
39.46/41.12 c | 49595 | 8709 129507 394981 | 2147483647 49595 167 | 0.000 % |
39.66/41.33 c | 49757 | 8709 129507 394981 | 2147483647 49757 167 | 0.000 % |
39.86/41.51 c | 49933 | 8709 129507 394981 | 2147483647 49933 167 | 0.000 % |
40.06/41.70 c | 50126 | 8709 129507 394981 | 2147483647 50126 167 | 0.000 % |
40.17/41.90 c | 50338 | 8709 129507 394981 | 2147483647 50338 167 | 0.000 % |
40.46/42.17 c | 50571 | 8709 129507 394981 | 2147483647 50571 167 | 0.000 % |
40.76/42.45 c | 50827 | 8709 129507 394981 | 2147483647 50827 167 | 0.000 % |
41.06/42.76 c | 51108 | 8709 129507 394981 | 2147483647 51108 167 | 0.000 % |
41.37/43.09 c | 51417 | 8709 129507 394981 | 2147483647 51417 167 | 0.000 % |
41.86/43.56 c | 51756 | 8709 129507 394981 | 2147483647 51756 167 | 0.000 % |
42.46/44.12 c | 52128 | 8709 129507 394981 | 2147483647 52128 167 | 0.000 % |
42.86/44.55 c | 52538 | 8709 129507 394981 | 2147483647 52538 167 | 0.000 % |
43.46/45.14 c | 52987 | 8709 129507 394981 | 2147483647 52987 167 | 0.000 % |
44.06/45.78 c | 53480 | 8709 129507 394981 | 2147483647 53480 166 | 0.000 % |
44.76/46.40 c | 54022 | 8709 129507 394981 | 2147483647 54022 166 | 0.000 % |
45.36/47.04 c | 54618 | 8709 129507 394981 | 2147483647 54618 167 | 0.000 % |
46.06/47.74 c | 55273 | 8709 129507 394981 | 2147483647 55273 167 | 0.000 % |
46.86/48.54 c | 55993 | 8709 129507 394981 | 2147483647 55993 167 | 0.000 % |
46.96/48.67 c | 56093 | 8709 129507 394981 | 2147483647 56093 167 | 0.000 % |
47.16/48.82 c | 56204 | 8709 129507 394981 | 2147483647 56204 168 | 0.000 % |
47.26/48.91 c | 56326 | 8709 129507 394981 | 2147483647 56326 168 | 0.000 % |
47.36/49.05 c | 56459 | 8709 129507 394981 | 2147483647 56459 167 | 0.000 % |
47.55/49.25 c | 56605 | 8709 129507 394981 | 2147483647 56605 168 | 0.000 % |
47.75/49.49 c | 56765 | 8709 129507 394981 | 2147483647 56765 167 | 0.000 % |
48.06/49.79 c | 56942 | 8709 129507 394981 | 2147483647 56942 167 | 0.000 % |
48.36/50.07 c | 57135 | 8709 129507 394981 | 2147483647 57135 168 | 0.000 % |
48.66/50.38 c | 57347 | 8709 129507 394981 | 2147483647 57347 167 | 0.000 % |
49.07/50.72 c | 57580 | 8709 129507 394981 | 2147483647 57580 167 | 0.000 % |
49.36/51.06 c | 57836 | 8709 129507 394981 | 2147483647 57836 167 | 0.000 % |
49.76/51.45 c | 58117 | 8709 129507 394981 | 2147483647 58117 167 | 0.000 % |
50.16/51.87 c | 58427 | 8709 129507 394981 | 2147483647 58427 167 | 0.000 % |
50.66/52.38 c | 58766 | 8709 129507 394981 | 2147483647 58766 167 | 0.000 % |
51.26/52.93 c | 59138 | 8709 129507 394981 | 2147483647 59138 167 | 0.000 % |
51.76/53.47 c | 59547 | 8709 129507 394981 | 2147483647 59547 167 | 0.000 % |
52.06/53.77 c | 59998 | 8709 129507 394981 | 2147483647 59998 168 | 0.000 % |
52.65/54.33 c | 60491 | 8709 129507 394981 | 2147483647 60491 168 | 0.000 % |
53.46/55.15 c | 61034 | 8709 129507 394981 | 2147483647 61034 168 | 0.000 % |
54.16/55.89 c | 61630 | 8709 129507 394981 | 2147483647 61630 168 | 0.000 % |
55.06/56.74 c | 62285 | 8709 129507 394981 | 2147483647 62285 168 | 0.000 % |
55.95/57.64 c | 63006 | 8709 129507 394981 | 2147483647 63006 168 | 0.000 % |
57.05/58.72 c | 63798 | 8709 129507 394981 | 2147483647 63798 168 | 0.000 % |
57.15/58.87 c | 63898 | 8709 129507 394981 | 2147483647 63898 168 | 0.000 % |
57.25/58.99 c | 64008 | 8709 129507 394981 | 2147483647 64008 168 | 0.000 % |
57.45/59.12 c | 64130 | 8709 129507 394981 | 2147483647 64130 168 | 0.000 % |
57.55/59.24 c | 64263 | 8709 129507 394981 | 2147483647 64263 168 | 0.000 % |
57.76/59.43 c | 64409 | 8709 129507 394981 | 2147483647 64409 168 | 0.000 % |
57.95/59.63 c | 64569 | 8709 129507 394981 | 2147483647 64569 168 | 0.000 % |
58.25/59.92 c | 64745 | 8709 129507 394981 | 2147483647 64745 168 | 0.000 % |
58.45/60.15 c | 64938 | 8709 129507 394981 | 2147483647 64938 169 | 0.000 % |
58.86/60.58 c | 65150 | 8709 129507 394981 | 2147483647 65150 169 | 0.000 % |
59.25/60.95 c | 65385 | 8709 129507 394981 | 2147483647 65385 168 | 0.000 % |
59.65/61.32 c | 65642 | 8709 129507 394981 | 2147483647 65642 168 | 0.000 % |
59.95/61.66 c | 65923 | 8709 129507 394981 | 2147483647 65923 168 | 0.000 % |
60.45/62.17 c | 66232 | 8709 129507 394981 | 2147483647 66232 168 | 0.000 % |
60.85/62.54 c | 66572 | 8709 129507 394981 | 2147483647 66572 169 | 0.000 % |
61.25/62.99 c | 66944 | 8709 129507 394981 | 2147483647 66944 169 | 0.000 % |
61.85/63.57 c | 67353 | 8709 129507 394981 | 2147483647 67353 169 | 0.000 % |
62.54/64.29 c | 67803 | 8709 129507 394981 | 2147483647 67803 169 | 0.000 % |
63.05/64.74 c | 68298 | 8709 129507 394981 | 2147483647 68298 169 | 0.000 % |
63.75/65.44 c | 68840 | 8709 129507 394981 | 2147483647 68840 170 | 0.000 % |
64.55/66.21 c | 69436 | 8709 129507 394981 | 2147483647 69436 170 | 0.000 % |
65.45/67.12 c | 70094 | 8709 129507 394981 | 2147483647 70094 170 | 0.000 % |
66.45/68.15 c | 70815 | 8709 129507 394981 | 2147483647 70815 170 | 0.000 % |
67.45/69.11 c | 71607 | 8709 129507 394981 | 2147483647 71607 171 | 0.000 % |
68.24/69.99 c | 72479 | 8709 129507 394981 | 2147483647 72479 172 | 0.000 % |
68.54/70.22 c | 72579 | 8709 129507 394981 | 2147483647 72579 172 | 0.000 % |
68.75/70.40 c | 72690 | 8709 129507 394981 | 2147483647 72690 172 | 0.000 % |
68.95/70.61 c | 72812 | 8709 129507 394981 | 2147483647 72812 172 | 0.000 % |
69.15/70.83 c | 72946 | 8709 129507 394981 | 2147483647 72946 172 | 0.000 % |
69.35/71.07 c | 73092 | 8709 129507 394981 | 2147483647 73092 172 | 0.000 % |
69.55/71.29 c | 73253 | 8709 129507 394981 | 2147483647 73253 172 | 0.000 % |
69.85/71.53 c | 73429 | 8709 129507 394981 | 2147483647 73429 172 | 0.000 % |
70.05/71.78 c | 73624 | 8709 129507 394981 | 2147483647 73624 172 | 0.000 % |
70.44/72.19 c | 73836 | 8709 129507 394981 | 2147483647 73836 172 | 0.000 % |
70.74/72.49 c | 74069 | 8709 129507 394981 | 2147483647 74069 172 | 0.000 % |
71.24/72.90 c | 74325 | 8709 129507 394981 | 2147483647 74325 172 | 0.000 % |
71.54/73.27 c | 74606 | 8709 129507 394981 | 2147483647 74606 172 | 0.000 % |
71.94/73.69 c | 74915 | 8709 129507 394981 | 2147483647 74915 172 | 0.000 % |
72.54/74.22 c | 75254 | 8709 129507 394981 | 2147483647 75254 172 | 0.000 % |
73.14/74.80 c | 75627 | 8709 129507 394981 | 2147483647 75627 172 | 0.000 % |
73.55/75.28 c | 76036 | 8709 129507 394981 | 2147483647 76036 173 | 0.000 % |
74.25/76.00 c | 76486 | 8709 129507 394981 | 2147483647 76486 174 | 0.000 % |
74.75/76.49 c | 76980 | 8709 129507 394981 | 2147483647 76980 174 | 0.000 % |
75.54/77.20 c | 77522 | 8709 129507 394981 | 2147483647 77522 174 | 0.000 % |
76.34/78.06 c | 78118 | 8709 129507 394981 | 2147483647 78118 175 | 0.000 % |
77.24/79.00 c | 78773 | 8709 129507 394981 | 2147483647 78773 175 | 0.000 % |
78.04/79.70 c | 79493 | 8709 129507 394981 | 2147483647 79493 176 | 0.000 % |
78.94/80.70 c | 80285 | 8709 129507 394981 | 2147483647 80285 177 | 0.000 % |
80.44/82.17 c | 81157 | 8709 129507 394981 | 2147483647 81157 177 | 0.000 % |
81.53/83.27 c | 82115 | 8709 129507 394981 | 2147483647 82115 178 | 0.000 % |
81.73/83.41 c | 82215 | 8709 129507 394981 | 2147483647 82215 178 | 0.000 % |
81.94/83.60 c | 82325 | 8709 129507 394981 | 2147483647 82325 178 | 0.000 % |
82.05/83.79 c | 82446 | 8709 129507 394981 | 2147483647 82446 178 | 0.000 % |
82.34/84.05 c | 82580 | 8709 129507 394981 | 2147483647 82580 178 | 0.000 % |
82.54/84.27 c | 82728 | 8709 129507 394981 | 2147483647 82728 178 | 0.000 % |
82.74/84.49 c | 82889 | 8709 129507 394981 | 2147483647 82889 178 | 0.000 % |
83.04/84.75 c | 83065 | 8709 129507 394981 | 2147483647 83065 178 | 0.000 % |
83.24/84.94 c | 83259 | 8709 129507 394981 | 2147483647 83259 178 | 0.000 % |
83.54/85.29 c | 83471 | 8709 129507 394981 | 2147483647 83471 178 | 0.000 % |
84.04/85.79 c | 83704 | 8709 129507 394981 | 2147483647 83704 178 | 0.000 % |
84.44/86.16 c | 83961 | 8709 129507 394981 | 2147483647 83961 178 | 0.000 % |
84.83/86.56 c | 84242 | 8709 129507 394981 | 2147483647 84242 178 | 0.000 % |
85.24/86.93 c | 84553 | 8709 129507 394981 | 2147483647 84553 179 | 0.000 % |
85.83/87.53 c | 84892 | 8709 129507 394981 | 2147483647 84892 179 | 0.000 % |
86.23/87.97 c | 85265 | 8709 129507 394981 | 2147483647 85265 179 | 0.000 % |
86.84/88.59 c | 85674 | 8709 129507 394981 | 2147483647 85674 179 | 0.000 % |
87.64/89.34 c | 86123 | 8709 129507 394981 | 2147483647 86123 179 | 0.000 % |
88.24/89.94 c | 86616 | 8709 129507 394981 | 2147483647 86616 179 | 0.000 % |
89.03/90.70 c | 87161 | 8709 129507 394981 | 2147483647 87161 179 | 0.000 % |
89.83/91.58 c | 87757 | 8709 129507 394981 | 2147483647 87757 179 | 0.000 % |
90.74/92.41 c | 88413 | 8709 129507 394981 | 2147483647 88413 180 | 0.000 % |
91.63/93.36 c | 89133 | 8709 129507 394981 | 2147483647 89133 180 | 0.000 % |
92.73/94.46 c | 89925 | 8709 129507 394981 | 2147483647 89925 181 | 0.000 % |
94.03/95.77 c | 90796 | 8709 129507 394981 | 2147483647 90796 182 | 0.000 % |
95.64/97.37 c | 91755 | 8709 129507 394981 | 2147483647 91755 182 | 0.000 % |
97.23/98.98 c | 92808 | 8709 129507 394981 | 2147483647 92808 182 | 0.000 % |
97.44/99.10 c | 92910 | 8709 129507 394981 | 2147483647 92910 182 | 0.000 % |
97.53/99.25 c | 93020 | 8709 129507 394981 | 2147483647 93020 182 | 0.000 % |
97.83/99.56 c | 93142 | 8709 129507 394981 | 2147483647 93142 182 | 0.000 % |
98.13/99.83 c | 93275 | 8709 129507 394981 | 2147483647 93275 182 | 0.000 % |
98.33/100.01 c | 93422 | 8709 129507 394981 | 2147483647 93422 182 | 0.000 % |
98.54/100.26 c | 93583 | 8709 129507 394981 | 2147483647 93583 182 | 0.000 % |
98.83/100.59 c | 93759 | 8709 129507 394981 | 2147483647 93759 182 | 0.000 % |
99.13/100.83 c | 93952 | 8709 129507 394981 | 2147483647 93952 182 | 0.000 % |
99.43/101.18 c | 94164 | 8709 129507 394981 | 2147483647 94164 182 | 0.000 % |
99.83/101.55 c | 94397 | 8709 129507 394981 | 2147483647 94397 182 | 0.000 % |
100.33/102.07 c | 94653 | 8709 129507 394981 | 2147483647 94653 182 | 0.000 % |
100.93/102.65 c | 94934 | 8709 129507 394981 | 2147483647 94934 182 | 0.000 % |
101.53/103.22 c | 95243 | 8709 129507 394981 | 2147483647 95243 182 | 0.000 % |
102.03/103.71 c | 95582 | 8709 129507 394981 | 2147483647 95582 182 | 0.000 % |
102.62/104.38 c | 95954 | 8709 129507 394981 | 2147483647 95954 182 | 0.000 % |
103.32/105.07 c | 96363 | 8709 129507 394981 | 2147483647 96363 182 | 0.000 % |
104.22/105.91 c | 96814 | 8709 129507 394981 | 2147483647 96814 182 | 0.000 % |
105.03/106.76 c | 97307 | 8709 129507 394981 | 2147483647 97307 182 | 0.000 % |
106.03/107.73 c | 97849 | 8709 129507 394981 | 2147483647 97849 183 | 0.000 % |
107.03/108.76 c | 98445 | 8709 129507 394981 | 2147483647 98445 183 | 0.000 % |
108.23/109.99 c | 99101 | 8709 129507 394981 | 2147483647 99101 182 | 0.000 % |
109.33/111.10 c | 99822 | 8709 129507 394981 | 2147483647 99822 183 | 0.000 % |
110.22/111.94 c | 100617 | 8709 129507 394981 | 2147483647 100617 184 | 0.000 % |
112.02/113.71 c | 101488 | 8709 129507 394981 | 2147483647 101488 184 | 0.000 % |
113.43/115.16 c | 102446 | 8709 129507 394981 | 2147483647 102446 185 | 0.000 % |
114.93/116.65 c | 103503 | 8709 129507 394981 | 2147483647 103503 186 | 0.000 % |
117.13/118.83 c | 104661 | 8709 129507 394981 | 2147483647 104661 186 | 0.000 % |
117.32/119.00 c | 104761 | 8709 129507 394981 | 2147483647 104761 186 | 0.000 % |
117.42/119.15 c | 104871 | 8709 129507 394981 | 2147483647 104871 186 | 0.000 % |
117.62/119.38 c | 104993 | 8709 129507 394981 | 2147483647 104993 186 | 0.000 % |
118.02/119.74 c | 105126 | 8709 129507 394981 | 2147483647 105126 186 | 0.000 % |
118.33/120.08 c | 105272 | 8709 129507 394981 | 2147483647 105272 186 | 0.000 % |
118.62/120.31 c | 105432 | 8709 129507 394981 | 2147483647 105432 186 | 0.000 % |
118.92/120.60 c | 105608 | 8709 129507 394981 | 2147483647 105608 186 | 0.000 % |
119.12/120.89 c | 105803 | 8709 129507 394981 | 2147483647 105803 186 | 0.000 % |
119.52/121.25 c | 106015 | 8709 129507 394981 | 2147483647 106015 186 | 0.000 % |
120.02/121.77 c | 106248 | 8709 129507 394981 | 2147483647 106248 186 | 0.000 % |
120.42/122.14 c | 106504 | 8709 129507 394981 | 2147483647 106504 186 | 0.000 % |
121.12/122.86 c | 106786 | 8709 129507 394981 | 2147483647 106786 186 | 0.000 % |
121.81/123.50 c | 107095 | 8709 129507 394981 | 2147483647 107095 186 | 0.000 % |
122.21/123.97 c | 107434 | 8709 129507 394981 | 2147483647 107434 186 | 0.000 % |
122.91/124.62 c | 107806 | 8709 129507 394981 | 2147483647 107806 187 | 0.000 % |
123.52/125.28 c | 108216 | 8709 129507 394981 | 2147483647 108216 187 | 0.000 % |
124.22/125.95 c | 108665 | 8709 129507 394981 | 2147483647 108665 188 | 0.000 % |
125.22/126.96 c | 109159 | 8709 129507 394981 | 2147483647 109159 187 | 0.000 % |
126.31/128.01 c | 109702 | 8709 129507 394981 | 2147483647 109702 187 | 0.000 % |
127.21/128.95 c | 110298 | 8709 129507 394981 | 2147483647 110298 188 | 0.000 % |
128.21/129.91 c | 110954 | 8709 129507 394981 | 2147483647 110954 189 | 0.000 % |
129.70/131.48 c | 111674 | 8709 129507 394981 | 2147483647 111674 188 | 0.000 % |
131.31/133.07 c | 112466 | 8709 129507 394981 | 2147483647 112466 188 | 0.000 % |
132.61/134.38 c | 113338 | 8709 129507 394981 | 2147483647 113338 189 | 0.000 % |
134.21/135.99 c | 114296 | 8709 129507 394981 | 2147483647 114296 189 | 0.000 % |
136.21/137.98 c | 115349 | 8709 129507 394981 | 2147483647 115349 189 | 0.000 % |
138.50/140.25 c | 116509 | 8709 129507 394981 | 2147483647 116509 189 | 0.000 % |
141.01/142.70 c | 117782 | 8709 129507 394981 | 2147483647 117782 189 | 0.000 % |
141.11/142.86 c | 117882 | 8709 129507 394981 | 2147483647 117882 189 | 0.000 % |
141.41/143.15 c | 117992 | 8709 129507 394981 | 2147483647 117992 189 | 0.000 % |
141.71/143.49 c | 118114 | 8709 129507 394981 | 2147483647 118114 189 | 0.000 % |
142.01/143.72 c | 118247 | 8709 129507 394981 | 2147483647 118247 189 | 0.000 % |
142.41/144.11 c | 118393 | 8709 129507 394981 | 2147483647 118393 189 | 0.000 % |
142.61/144.36 c | 118554 | 8709 129507 394981 | 2147483647 118554 190 | 0.000 % |
143.11/144.82 c | 118730 | 8709 129507 394981 | 2147483647 118730 190 | 0.000 % |
143.30/145.03 c | 118924 | 8709 129507 394981 | 2147483647 118924 190 | 0.000 % |
143.61/145.32 c | 119137 | 8709 129507 394981 | 2147483647 119137 190 | 0.000 % |
144.00/145.76 c | 119371 | 8709 129507 394981 | 2147483647 119371 190 | 0.000 % |
144.71/146.44 c | 119629 | 8709 129507 394981 | 2147483647 119629 190 | 0.000 % |
145.20/146.90 c | 119911 | 8709 129507 394981 | 2147483647 119911 190 | 0.000 % |
145.70/147.43 c | 120221 | 8709 129507 394981 | 2147483647 120221 190 | 0.000 % |
146.31/148.01 c | 120560 | 8709 129507 394981 | 2147483647 120560 190 | 0.000 % |
147.21/148.90 c | 120933 | 8709 129507 394981 | 2147483647 120933 190 | 0.000 % |
148.01/149.76 c | 121347 | 8709 129507 394981 | 2147483647 121347 190 | 0.000 % |
149.01/150.73 c | 121796 | 8709 129507 394981 | 2147483647 121796 190 | 0.000 % |
149.90/151.63 c | 122290 | 8709 129507 394981 | 2147483647 122290 190 | 0.000 % |
150.60/152.38 c | 122832 | 8709 129507 394981 | 2147483647 122832 190 | 0.000 % |
151.50/153.25 c | 123428 | 8709 129507 394981 | 2147483647 123428 191 | 0.000 % |
152.90/154.61 c | 124083 | 8709 129507 394981 | 2147483647 124083 191 | 0.000 % |
154.40/156.18 c | 124803 | 8709 129507 394981 | 2147483647 124803 191 | 0.000 % |
156.00/157.76 c | 125595 | 8709 129507 394981 | 2147483647 125595 191 | 0.000 % |
157.90/159.65 c | 126466 | 8709 129507 394981 | 2147483647 126466 191 | 0.000 % |
159.89/161.60 c | 127424 | 8709 129507 394981 | 2147483647 127424 192 | 0.000 % |
161.90/163.63 c | 128479 | 8709 129507 394981 | 2147483647 128479 192 | 0.000 % |
164.00/165.79 c | 129637 | 8709 129507 394981 | 2147483647 129637 192 | 0.000 % |
167.09/168.88 c | 130910 | 8709 129507 394981 | 130002 114876 187 | 0.000 % |
170.09/171.83 c | 132310 | 8709 129507 394981 | 130002 116276 187 | 0.000 % |
170.29/172.08 c | 132410 | 8709 129507 394981 | 130002 116376 187 | 0.000 % |
170.49/172.26 c | 132520 | 8709 129507 394981 | 130002 116486 187 | 0.000 % |
170.89/172.64 c | 132641 | 8709 129507 394981 | 130002 116607 187 | 0.000 % |
171.19/172.95 c | 132776 | 8709 129507 394981 | 130002 116742 187 | 0.000 % |
171.49/173.20 c | 132922 | 8709 129507 394981 | 130002 116888 187 | 0.000 % |
171.69/173.45 c | 133083 | 8709 129507 394981 | 130002 117049 188 | 0.000 % |
171.89/173.66 c | 133260 | 8709 129507 394981 | 130002 117226 188 | 0.000 % |
172.39/174.10 c | 133453 | 8709 129507 394981 | 130002 117419 188 | 0.000 % |
172.79/174.57 c | 133665 | 8709 129507 394981 | 130002 117631 188 | 0.000 % |
173.39/175.14 c | 133899 | 8709 129507 394981 | 130002 117865 188 | 0.000 % |
173.79/175.50 c | 134155 | 8709 129507 394981 | 130002 118121 188 | 0.000 % |
174.49/176.24 c | 134437 | 8709 129507 394981 | 130002 118403 188 | 0.000 % |
175.19/176.95 c | 134747 | 8709 129507 394981 | 130002 118713 188 | 0.000 % |
175.59/177.38 c | 135087 | 8709 129507 394981 | 130002 119053 188 | 0.000 % |
176.19/177.91 c | 135459 | 8709 129507 394981 | 130002 119425 189 | 0.000 % |
177.09/178.81 c | 135868 | 8709 129507 394981 | 130002 119834 189 | 0.000 % |
177.99/179.78 c | 136317 | 8709 129507 394981 | 130002 120283 189 | 0.000 % |
178.99/180.71 c | 136810 | 8709 129507 394981 | 130002 120776 189 | 0.000 % |
179.89/181.68 c | 137355 | 8709 129507 394981 | 130002 121321 190 | 0.000 % |
181.18/182.97 c | 137953 | 8709 129507 394981 | 130002 121919 190 | 0.000 % |
182.09/183.81 c | 138610 | 8709 129507 394981 | 130002 122576 190 | 0.000 % |
183.58/185.39 c | 139331 | 8709 129507 394981 | 130002 123297 190 | 0.000 % |
185.48/187.20 c | 140123 | 8709 129507 394981 | 123966 124089 190 | 0.000 % |
187.38/189.15 c | 140996 | 8709 129507 394981 | 123966 109632 185 | 0.000 % |
188.88/190.67 c | 141954 | 8709 129507 394981 | 123966 110590 186 | 0.000 % |
191.28/193.07 c | 143009 | 8709 129507 394981 | 123966 111645 186 | 0.000 % |
193.78/195.54 c | 144167 | 8709 129507 394981 | 123966 112803 186 | 0.000 % |
196.38/198.13 c | 145441 | 8709 129507 394981 | 123966 114077 186 | 0.000 % |
198.68/200.44 c | 146841 | 8709 129507 394981 | 123966 115477 187 | 0.000 % |
201.38/203.11 c | 148381 | 8709 129507 394981 | 123966 117017 188 | 0.000 % |
201.48/203.28 c | 148481 | 8709 129507 394981 | 123966 117117 188 | 0.000 % |
201.88/203.61 c | 148591 | 8709 129507 394981 | 123966 117227 188 | 0.000 % |
202.18/203.99 c | 148712 | 8709 129507 394981 | 123966 117348 188 | 0.000 % |
202.58/204.33 c | 148845 | 8709 129507 394981 | 123966 117481 188 | 0.000 % |
202.88/204.70 c | 148991 | 8709 129507 394981 | 123966 117627 188 | 0.000 % |
203.28/205.01 c | 149151 | 8709 129507 394981 | 123966 117787 188 | 0.000 % |
203.78/205.54 c | 149327 | 8709 129507 394981 | 123966 117963 188 | 0.000 % |
204.08/205.86 c | 149520 | 8709 129507 394981 | 123966 118156 188 | 0.000 % |
204.38/206.15 c | 149732 | 8709 129507 394981 | 123966 118368 188 | 0.000 % |
204.78/206.52 c | 149967 | 8709 129507 394981 | 123966 118603 188 | 0.000 % |
205.18/206.97 c | 150224 | 8709 129507 394981 | 118636 118860 188 | 0.000 % |
205.78/207.58 c | 150506 | 8709 129507 394981 | 118636 106543 185 | 0.000 % |
206.48/208.21 c | 150816 | 8709 129507 394981 | 118636 106853 185 | 0.000 % |
206.78/208.54 c | 151155 | 8709 129507 394981 | 118636 107192 186 | 0.000 % |
207.48/209.20 c | 151529 | 8709 129507 394981 | 118636 107566 185 | 0.000 % |
208.08/209.83 c | 151939 | 8709 129507 394981 | 118636 107976 186 | 0.000 % |
208.98/210.71 c | 152388 | 8709 129507 394981 | 118636 108425 186 | 0.000 % |
209.78/211.53 c | 152881 | 8709 129507 394981 | 118636 108918 186 | 0.000 % |
210.68/212.45 c | 153423 | 8709 129507 394981 | 118636 109460 186 | 0.000 % |
211.78/213.52 c | 154019 | 8709 129507 394981 | 118636 110056 186 | 0.000 % |
212.97/214.79 c | 154675 | 8709 129507 394981 | 118636 110712 186 | 0.000 % |
214.27/216.01 c | 155395 | 8709 129507 394981 | 118636 111432 187 | 0.000 % |
215.97/217.74 c | 156187 | 8709 129507 394981 | 118636 112224 187 | 0.000 % |
217.47/219.26 c | 157059 | 8709 129507 394981 | 118636 113096 187 | 0.000 % |
219.37/221.15 c | 158017 | 8709 129507 394981 | 118636 114054 187 | 0.000 % |
221.17/222.93 c | 159071 | 8709 129507 394981 | 118636 115108 188 | 0.000 % |
223.27/225.02 c | 160229 | 8709 129507 394981 | 116038 116266 188 | 0.000 % |
225.36/227.12 c | 161504 | 8709 129507 394981 | 116038 104640 182 | 0.000 % |
227.67/229.49 c | 162904 | 8709 129507 394981 | 116038 106040 182 | 0.000 % |
230.26/232.01 c | 164444 | 8709 129507 394981 | 116038 107580 184 | 0.000 % |
233.36/235.14 c | 166139 | 8709 129507 394981 | 116038 109275 184 | 0.000 % |
233.56/235.32 c | 166239 | 8709 129507 394981 | 116038 109375 184 | 0.000 % |
233.86/235.61 c | 166349 | 8709 129507 394981 | 116038 109485 184 | 0.000 % |
234.06/235.83 c | 166471 | 8709 129507 394981 | 116038 109607 184 | 0.000 % |
234.26/236.00 c | 166605 | 8709 129507 394981 | 116038 109741 184 | 0.000 % |
234.56/236.30 c | 166751 | 8709 129507 394981 | 116038 109887 184 | 0.000 % |
234.87/236.65 c | 166912 | 8709 129507 394981 | 116038 110048 184 | 0.000 % |
235.26/237.07 c | 167088 | 8709 129507 394981 | 116038 110224 184 | 0.000 % |
235.66/237.43 c | 167281 | 8709 129507 394981 | 116038 110417 184 | 0.000 % |
236.06/237.82 c | 167493 | 8709 129507 394981 | 116038 110629 184 | 0.000 % |
236.56/238.31 c | 167728 | 8709 129507 394981 | 116038 110864 184 | 0.000 % |
236.96/238.76 c | 167985 | 8709 129507 394981 | 116038 111121 184 | 0.000 % |
237.36/239.11 c | 168266 | 8709 129507 394981 | 116038 111402 185 | 0.000 % |
237.76/239.52 c | 168577 | 8709 129507 394981 | 116038 111713 185 | 0.000 % |
238.46/240.21 c | 168916 | 8709 129507 394981 | 116038 112052 185 | 0.000 % |
238.86/240.65 c | 169288 | 8709 129507 394981 | 116038 112424 186 | 0.000 % |
239.66/241.46 c | 169698 | 8709 129507 394981 | 116038 112834 186 | 0.000 % |
240.56/242.36 c | 170147 | 8709 129507 394981 | 113138 113283 186 | 0.000 % |
241.66/243.41 c | 170641 | 8709 129507 394981 | 113138 101402 180 | 0.000 % |
242.66/244.48 c | 171183 | 8709 129507 394981 | 113138 101944 180 | 0.000 % |
243.85/245.60 c | 171780 | 8709 129507 394981 | 113138 102541 180 | 0.000 % |
244.95/246.72 c | 172435 | 8709 129507 394981 | 113138 103196 180 | 0.000 % |
246.05/247.88 c | 173155 | 8709 129507 394981 | 113138 103916 181 | 0.000 % |
247.35/249.13 c | 173947 | 8709 129507 394981 | 113138 104708 181 | 0.000 % |
249.15/250.94 c | 174820 | 8709 129507 394981 | 113138 105581 181 | 0.000 % |
250.35/252.19 c | 175778 | 8709 129507 394981 | 113138 106539 182 | 0.000 % |
252.35/254.20 c | 176832 | 8709 129507 394981 | 113138 107593 182 | 0.000 % |
254.45/256.28 c | 177990 | 8709 129507 394981 | 113138 108751 183 | 0.000 % |
256.75/258.57 c | 179264 | 8709 129507 394981 | 113138 110025 183 | 0.000 % |
259.05/260.83 c | 180664 | 8709 129507 394981 | 110761 111425 184 | 0.000 % |
261.45/263.23 c | 182204 | 8709 129507 394981 | 110761 101167 179 | 0.000 % |
263.45/265.22 c | 183898 | 8709 129507 394981 | 110761 102861 181 | 0.000 % |
266.75/268.58 c | 185764 | 8709 129507 394981 | 110761 104727 182 | 0.000 % |
266.94/268.79 c | 185864 | 8709 129507 394981 | 110761 104827 182 | 0.000 % |
267.24/269.08 c | 185974 | 8709 129507 394981 | 110761 104937 182 | 0.000 % |
267.44/269.29 c | 186095 | 8709 129507 394981 | 110761 105058 182 | 0.000 % |
267.75/269.54 c | 186230 | 8709 129507 394981 | 110761 105193 182 | 0.000 % |
268.04/269.81 c | 186376 | 8709 129507 394981 | 110761 105339 182 | 0.000 % |
268.34/270.13 c | 186537 | 8709 129507 394981 | 110761 105500 182 | 0.000 % |
268.64/270.46 c | 186715 | 8709 129507 394981 | 110761 105678 182 | 0.000 % |
268.95/270.79 c | 186909 | 8709 129507 394981 | 110761 105872 182 | 0.000 % |
269.44/271.27 c | 187122 | 8709 129507 394981 | 110761 106085 182 | 0.000 % |
269.84/271.70 c | 187355 | 8709 129507 394981 | 110761 106318 182 | 0.000 % |
270.34/272.17 c | 187611 | 8709 129507 394981 | 110761 106574 182 | 0.000 % |
270.74/272.55 c | 187892 | 8709 129507 394981 | 110761 106855 182 | 0.000 % |
271.44/273.22 c | 188203 | 8709 129507 394981 | 110761 107166 182 | 0.000 % |
272.24/274.02 c | 188545 | 8709 129507 394981 | 110761 107508 182 | 0.000 % |
273.14/274.99 c | 188918 | 8709 129507 394981 | 110761 107881 182 | 0.000 % |
273.94/275.71 c | 189327 | 8709 129507 394981 | 110761 108290 182 | 0.000 % |
274.64/276.48 c | 189779 | 8709 129507 394981 | 110761 108742 183 | 0.000 % |
275.34/277.18 c | 190272 | 8709 129507 394981 | 2147483647 109235 183 | 0.000 % |
276.34/278.19 c | 190815 | 8709 129507 394981 | 2147483647 109778 183 | 0.000 % |
277.14/278.92 c | 191411 | 8709 129507 394981 | 2147483647 110374 184 | 0.000 % |
278.54/280.35 c | 192066 | 8709 129507 394981 | 2147483647 111029 184 | 0.000 % |
279.74/281.51 c | 192786 | 8709 129507 394981 | 2147483647 111749 185 | 0.000 % |
280.94/282.74 c | 193578 | 8709 129507 394981 | 2147483647 112541 185 | 0.000 % |
282.63/284.41 c | 194449 | 8709 129507 394981 | 2147483647 113412 185 | 0.000 % |
284.03/285.84 c | 195407 | 8709 129507 394981 | 2147483647 114370 186 | 0.000 % |
286.03/287.83 c | 196460 | 8709 129507 394981 | 2147483647 115423 186 | 0.000 % |
288.03/289.81 c | 197618 | 8709 129507 394981 | 2147483647 116581 186 | 0.000 % |
290.53/292.30 c | 198891 | 8709 129507 394981 | 2147483647 117854 187 | 0.000 % |
293.04/294.84 c | 200291 | 8709 129507 394981 | 118963 119254 187 | 0.000 % |
295.63/297.45 c | 201832 | 8709 129507 394981 | 118963 107559 182 | 0.000 % |
298.33/300.19 c | 203526 | 8709 129507 394981 | 118963 109253 183 | 0.000 % |
301.83/303.63 c | 205389 | 8709 129507 394981 | 118963 111116 184 | 0.000 % |
305.84/307.63 c | 207438 | 8709 129507 394981 | 118963 113165 185 | 0.000 % |
306.04/307.85 c | 207538 | 8709 129507 394981 | 118963 113265 185 | 0.000 % |
306.34/308.16 c | 207648 | 8709 129507 394981 | 118963 113375 185 | 0.000 % |
306.54/308.35 c | 207769 | 8709 129507 394981 | 118963 113496 185 | 0.000 % |
306.84/308.68 c | 207902 | 8709 129507 394981 | 118963 113629 185 | 0.000 % |
307.03/308.88 c | 208048 | 8709 129507 394981 | 118963 113775 185 | 0.000 % |
307.53/309.30 c | 208208 | 8709 129507 394981 | 118963 113935 185 | 0.000 % |
307.93/309.70 c | 208385 | 8709 129507 394981 | 118963 114112 185 | 0.000 % |
308.23/310.06 c | 208580 | 8709 129507 394981 | 118963 114307 185 | 0.000 % |
308.73/310.51 c | 208792 | 8709 129507 394981 | 118963 114519 185 | 0.000 % |
309.23/311.06 c | 209025 | 8709 129507 394981 | 118963 114752 185 | 0.000 % |
309.92/311.73 c | 209282 | 8709 129507 394981 | 118963 115009 185 | 0.000 % |
310.52/312.39 c | 209563 | 8709 129507 394981 | 118963 115290 186 | 0.000 % |
311.12/312.91 c | 209872 | 8709 129507 394981 | 118963 115599 186 | 0.000 % |
311.62/313.49 c | 210211 | 8709 129507 394981 | 115727 115938 186 | 0.000 % |
312.31/314.14 c | 210586 | 8709 129507 394981 | 115727 102144 180 | 0.000 % |
313.11/314.96 c | 210996 | 8709 129507 394981 | 115727 102554 180 | 0.000 % |
313.92/315.80 c | 211445 | 8709 129507 394981 | 115727 103003 180 | 0.000 % |
314.81/316.60 c | 211938 | 8709 129507 394981 | 115727 103496 180 | 0.000 % |
315.71/317.57 c | 212480 | 8709 129507 394981 | 115727 104038 180 | 0.000 % |
316.51/318.36 c | 213076 | 8709 129507 394981 | 115727 104634 181 | 0.000 % |
317.61/319.45 c | 213731 | 8709 129507 394981 | 115727 105289 181 | 0.000 % |
318.61/320.47 c | 214451 | 8709 129507 394981 | 115727 106009 182 | 0.000 % |
320.21/322.03 c | 215243 | 8709 129507 394981 | 115727 106801 182 | 0.000 % |
321.81/323.63 c | 216115 | 8709 129507 394981 | 115727 107673 182 | 0.000 % |
323.51/325.36 c | 217073 | 8709 129507 394981 | 115727 108631 182 | 0.000 % |
325.31/327.15 c | 218127 | 8709 129507 394981 | 115727 109685 183 | 0.000 % |
327.51/329.36 c | 219288 | 8709 129507 394981 | 115727 110846 183 | 0.000 % |
329.81/331.63 c | 220563 | 8709 129507 394981 | 111558 112121 184 | 0.000 % |
332.41/334.20 c | 221963 | 8709 129507 394981 | 111558 101761 179 | 0.000 % |
334.71/336.53 c | 223503 | 8709 129507 394981 | 111558 103301 181 | 0.000 % |
337.11/338.94 c | 225197 | 8709 129507 394981 | 111558 104995 182 | 0.000 % |
339.71/341.58 c | 227060 | 8709 129507 394981 | 111558 106858 184 | 0.000 % |
343.71/345.58 c | 229109 | 8709 129507 394981 | 111558 108907 185 | 0.000 % |
347.40/349.23 c | 231362 | 8709 129507 394981 | 109799 99119 181 | 0.000 % |
347.60/349.41 c | 231466 | 8709 129507 394981 | 109799 99223 181 | 0.000 % |
347.70/349.55 c | 231576 | 8709 129507 394981 | 109799 99333 181 | 0.000 % |
347.90/349.75 c | 231697 | 8709 129507 394981 | 109799 99454 181 | 0.000 % |
348.11/349.95 c | 231830 | 8709 129507 394981 | 109799 99587 181 | 0.000 % |
348.40/350.28 c | 231976 | 8709 129507 394981 | 109799 99733 181 | 0.000 % |
348.90/350.73 c | 232136 | 8709 129507 394981 | 109799 99893 181 | 0.000 % |
349.21/351.09 c | 232313 | 8709 129507 394981 | 109799 100070 181 | 0.000 % |
349.60/351.41 c | 232506 | 8709 129507 394981 | 109799 100263 181 | 0.000 % |
350.20/352.01 c | 232718 | 8709 129507 394981 | 109799 100475 181 | 0.000 % |
350.50/352.37 c | 232951 | 8709 129507 394981 | 109799 100708 181 | 0.000 % |
351.10/352.98 c | 233207 | 8709 129507 394981 | 109799 100964 181 | 0.000 % |
351.60/353.47 c | 233490 | 8709 129507 394981 | 109799 101247 181 | 0.000 % |
352.20/354.06 c | 233799 | 8709 129507 394981 | 109799 101556 182 | 0.000 % |
353.00/354.84 c | 234138 | 8709 129507 394981 | 109799 101895 182 | 0.000 % |
353.69/355.56 c | 234511 | 8709 129507 394981 | 109799 102268 182 | 0.000 % |
354.49/356.38 c | 234921 | 8709 129507 394981 | 109799 102678 182 | 0.000 % |
355.39/357.27 c | 235370 | 8709 129507 394981 | 109799 103127 182 | 0.000 % |
356.19/358.05 c | 235863 | 8709 129507 394981 | 109799 103620 182 | 0.000 % |
356.99/358.87 c | 236405 | 8709 129507 394981 | 109799 104162 182 | 0.000 % |
358.00/359.82 c | 237001 | 8709 129507 394981 | 109799 104758 182 | 0.000 % |
359.09/360.93 c | 237657 | 8709 129507 394981 | 109799 105414 183 | 0.000 % |
360.39/362.27 c | 238377 | 8709 129507 394981 | 109799 106134 184 | 0.000 % |
361.79/363.62 c | 239169 | 8709 129507 394981 | 109799 106926 184 | 0.000 % |
363.39/365.21 c | 240040 | 8709 129507 394981 | 2147483647 107797 185 | 0.000 % |
365.09/366.94 c | 240998 | 8709 129507 394981 | 2147483647 108755 185 | 0.000 % |
366.69/368.57 c | 242051 | 8709 129507 394981 | 2147483647 109808 186 | 0.000 % |
368.59/370.43 c | 243209 | 8709 129507 394981 | 2147483647 110966 186 | 0.000 % |
370.59/372.47 c | 244482 | 8709 129507 394981 | 2147483647 112239 187 | 0.000 % |
373.49/375.31 c | 245882 | 8709 129507 394981 | 2147483647 113639 187 | 0.000 % |
376.08/377.98 c | 247422 | 8709 129507 394981 | 2147483647 115179 188 | 0.000 % |
378.98/380.83 c | 249116 | 8709 129507 394981 | 2147483647 116873 189 | 0.000 % |
382.48/384.32 c | 250980 | 8709 129507 394981 | 117757 105449 183 | 0.000 % |
386.49/388.37 c | 253029 | 8709 129507 394981 | 117757 107498 183 | 0.000 % |
390.08/391.98 c | 255282 | 8709 129507 394981 | 117757 109751 184 | 0.000 % |
394.58/396.40 c | 257761 | 8709 129507 394981 | 117757 112230 185 | 0.000 % |
394.78/396.63 c | 257861 | 8709 129507 394981 | 117757 112330 185 | 0.000 % |
394.98/396.83 c | 257971 | 8709 129507 394981 | 117757 112440 185 | 0.000 % |
395.18/397.03 c | 258092 | 8709 129507 394981 | 117757 112561 185 | 0.000 % |
395.38/397.26 c | 258226 | 8709 129507 394981 | 117757 112695 186 | 0.000 % |
395.68/397.51 c | 258372 | 8709 129507 394981 | 117757 112841 186 | 0.000 % |
395.88/397.73 c | 258532 | 8709 129507 394981 | 117757 113001 186 | 0.000 % |
396.28/398.18 c | 258708 | 8709 129507 394981 | 117757 113177 186 | 0.000 % |
396.68/398.53 c | 258902 | 8709 129507 394981 | 117757 113371 186 | 0.000 % |
397.08/398.95 c | 259114 | 8709 129507 394981 | 117757 113583 186 | 0.000 % |
397.58/399.42 c | 259347 | 8709 129507 394981 | 117757 113816 186 | 0.000 % |
398.08/399.95 c | 259603 | 8709 129507 394981 | 117757 114072 186 | 0.000 % |
398.68/400.54 c | 259884 | 8709 129507 394981 | 117757 114353 186 | 0.000 % |
399.17/401.06 c | 260193 | 8709 129507 394981 | 114473 114662 186 | 0.000 % |
399.68/401.57 c | 260532 | 8709 129507 394981 | 114473 101679 179 | 0.000 % |
400.17/402.09 c | 260905 | 8709 129507 394981 | 114473 102052 180 | 0.000 % |
400.77/402.65 c | 261314 | 8709 129507 394981 | 114473 102461 180 | 0.000 % |
401.57/403.40 c | 261763 | 8709 129507 394981 | 114473 102910 181 | 0.000 % |
402.37/404.29 c | 262257 | 8709 129507 394981 | 114473 103404 181 | 0.000 % |
403.27/405.16 c | 262799 | 8709 129507 394981 | 114473 103946 181 | 0.000 % |
404.37/406.24 c | 263395 | 8709 129507 394981 | 114473 104542 181 | 0.000 % |
405.57/407.45 c | 264051 | 8709 129507 394981 | 114473 105198 182 | 0.000 % |
406.97/408.85 c | 264773 | 8709 129507 394981 | 114473 105920 182 | 0.000 % |
408.27/410.19 c | 265565 | 8709 129507 394981 | 114473 106712 183 | 0.000 % |
409.87/411.72 c | 266436 | 8709 129507 394981 | 114473 107583 183 | 0.000 % |
411.57/413.42 c | 267394 | 8709 129507 394981 | 114473 108541 183 | 0.000 % |
413.37/415.26 c | 268447 | 8709 129507 394981 | 114473 109594 184 | 0.000 % |
415.47/417.33 c | 269606 | 8709 129507 394981 | 114473 110753 184 | 0.000 % |
418.06/419.99 c | 270879 | 8709 129507 394981 | 2147483647 112026 184 | 0.000 % |
420.67/422.53 c | 272280 | 8709 129507 394981 | 2147483647 113427 184 | 0.000 % |
423.56/425.47 c | 273823 | 8709 129507 394981 | 2147483647 114970 184 | 0.000 % |
426.16/428.03 c | 275518 | 8709 129507 394981 | 2147483647 116665 186 | 0.000 % |
429.56/431.41 c | 277382 | 8709 129507 394981 | 2147483647 118529 188 | 0.000 % |
432.66/434.59 c | 279431 | 8709 129507 394981 | 2147483647 120578 189 | 0.000 % |
436.95/438.83 c | 281684 | 8709 129507 394981 | 121147 107797 183 | 0.000 % |
441.05/442.90 c | 284162 | 8709 129507 394981 | 121147 110275 186 | 0.000 % |
445.85/447.78 c | 286887 | 8709 129507 394981 | 121147 113000 186 | 0.000 % |
446.05/447.97 c | 286988 | 8709 129507 394981 | 121147 113101 186 | 0.000 % |
446.35/448.28 c | 287098 | 8709 129507 394981 | 121147 113211 186 | 0.000 % |
446.55/448.49 c | 287219 | 8709 129507 394981 | 121147 113332 186 | 0.000 % |
446.75/448.67 c | 287355 | 8709 129507 394981 | 121147 113468 187 | 0.000 % |
446.95/448.90 c | 287501 | 8709 129507 394981 | 121147 113614 187 | 0.000 % |
447.35/449.28 c | 287661 | 8709 129507 394981 | 121147 113774 187 | 0.000 % |
447.85/449.71 c | 287837 | 8709 129507 394981 | 121147 113950 187 | 0.000 % |
448.15/450.06 c | 288030 | 8709 129507 394981 | 121147 114143 187 | 0.000 % |
448.65/450.56 c | 288243 | 8709 129507 394981 | 121147 114356 187 | 0.000 % |
448.95/450.87 c | 288476 | 8709 129507 394981 | 121147 114589 187 | 0.000 % |
449.45/451.35 c | 288732 | 8709 129507 394981 | 121147 114845 187 | 0.000 % |
449.95/451.85 c | 289013 | 8709 129507 394981 | 121147 115126 187 | 0.000 % |
450.55/452.49 c | 289322 | 8709 129507 394981 | 121147 115435 187 | 0.000 % |
451.35/453.22 c | 289661 | 8709 129507 394981 | 121147 115774 187 | 0.000 % |
452.14/454.04 c | 290033 | 8709 129507 394981 | 116113 116146 187 | 0.000 % |
453.04/454.95 c | 290442 | 8709 129507 394981 | 116113 103584 182 | 0.000 % |
453.74/455.68 c | 290892 | 8709 129507 394981 | 116113 104034 182 | 0.000 % |
454.65/456.53 c | 291385 | 8709 129507 394981 | 116113 104527 182 | 0.000 % |
455.64/457.53 c | 291927 | 8709 129507 394981 | 116113 105069 182 | 0.000 % |
456.64/458.58 c | 292524 | 8709 129507 394981 | 116113 105666 182 | 0.000 % |
457.54/459.46 c | 293179 | 8709 129507 394981 | 116113 106321 184 | 0.000 % |
458.64/460.58 c | 293899 | 8709 129507 394981 | 116113 107041 185 | 0.000 % |
459.74/461.67 c | 294691 | 8709 129507 394981 | 116113 107833 186 | 0.000 % |
460.84/462.76 c | 295566 | 8709 129507 394981 | 116113 108708 187 | 0.000 % |
462.54/464.41 c | 296524 | 8709 129507 394981 | 116113 109666 188 | 0.000 % |
464.54/466.49 c | 297577 | 8709 129507 394981 | 116113 110719 188 | 0.000 % |
466.14/468.04 c | 298736 | 8709 129507 394981 | 116113 111878 189 | 0.000 % |
468.13/470.00 c | 300009 | 8709 129507 394981 | 113142 113151 191 | 0.000 % |
470.53/472.46 c | 301409 | 8709 129507 394981 | 113142 102569 184 | 0.000 % |
472.93/474.85 c | 302949 | 8709 129507 394981 | 113142 104109 185 | 0.000 % |
475.43/477.38 c | 304643 | 8709 129507 394981 | 113142 105803 186 | 0.000 % |
478.63/480.58 c | 306506 | 8709 129507 394981 | 113142 107666 188 | 0.000 % |
482.03/484.00 c | 308555 | 8709 129507 394981 | 113142 109715 189 | 0.000 % |
486.43/488.30 c | 310808 | 8709 129507 394981 | 111161 111968 190 | 0.000 % |
490.92/492.87 c | 313286 | 8709 129507 394981 | 111161 103250 185 | 0.000 % |
494.92/496.82 c | 316011 | 8709 129507 394981 | 111161 105975 187 | 0.000 % |
500.72/502.65 c | 319008 | 8709 129507 394981 | 111161 108972 188 | 0.000 % |
501.02/502.91 c | 319108 | 8709 129507 394981 | 111161 109072 188 | 0.000 % |
501.22/503.18 c | 319219 | 8709 129507 394981 | 111161 109183 188 | 0.000 % |
501.42/503.39 c | 319340 | 8709 129507 394981 | 111161 109304 188 | 0.000 % |
501.82/503.73 c | 319473 | 8709 129507 394981 | 111161 109437 188 | 0.000 % |
502.02/503.96 c | 319619 | 8709 129507 394981 | 111161 109583 188 | 0.000 % |
502.32/504.27 c | 319779 | 8709 129507 394981 | 111161 109743 188 | 0.000 % |
502.62/504.56 c | 319956 | 8709 129507 394981 | 111161 109920 188 | 0.000 % |
503.12/505.07 c | 320149 | 8709 129507 394981 | 2147483647 110113 188 | 0.000 % |
503.52/505.45 c | 320361 | 8709 129507 394981 | 2147483647 110325 188 | 0.000 % |
504.02/505.91 c | 320594 | 8709 129507 394981 | 2147483647 110558 188 | 0.000 % |
504.72/506.61 c | 320850 | 8709 129507 394981 | 2147483647 110814 188 | 0.000 % |
505.32/507.23 c | 321133 | 8709 129507 394981 | 2147483647 111097 188 | 0.000 % |
505.71/507.62 c | 321443 | 8709 129507 394981 | 2147483647 111407 189 | 0.000 % |
506.21/508.13 c | 321782 | 8709 129507 394981 | 2147483647 111746 189 | 0.000 % |
506.81/508.70 c | 322154 | 8709 129507 394981 | 2147483647 112118 189 | 0.000 % |
507.52/509.41 c | 322563 | 8709 129507 394981 | 2147483647 112527 190 | 0.000 % |
508.31/510.23 c | 323013 | 8709 129507 394981 | 2147483647 112977 190 | 0.000 % |
509.21/511.11 c | 323506 | 8709 129507 394981 | 2147483647 113470 190 | 0.000 % |
510.31/512.26 c | 324048 | 8709 129507 394981 | 2147483647 114012 191 | 0.000 % |
511.51/513.45 c | 324645 | 8709 129507 394981 | 2147483647 114609 191 | 0.000 % |
512.51/514.41 c | 325302 | 8709 129507 394981 | 2147483647 115266 191 | 0.000 % |
513.61/515.55 c | 326022 | 8709 129507 394981 | 2147483647 115986 191 | 0.000 % |
515.12/517.01 c | 326814 | 8709 129507 394981 | 2147483647 116778 192 | 0.000 % |
516.51/518.50 c | 327685 | 8709 129507 394981 | 2147483647 117649 192 | 0.000 % |
518.21/520.11 c | 328643 | 8709 129507 394981 | 2147483647 118607 193 | 0.000 % |
520.11/522.09 c | 329697 | 8709 129507 394981 | 2147483647 119661 193 | 0.000 % |
522.01/523.92 c | 330855 | 8709 129507 394981 | 119966 120819 194 | 0.000 % |
524.51/526.41 c | 332129 | 8709 129507 394981 | 119966 106176 187 | 0.000 % |
526.71/528.62 c | 333530 | 8709 129507 394981 | 119966 107577 189 | 0.000 % |
529.51/531.45 c | 335072 | 8709 129507 394981 | 119966 109119 189 | 0.000 % |
532.60/534.55 c | 336766 | 8709 129507 394981 | 119966 110813 190 | 0.000 % |
535.60/537.58 c | 338629 | 8709 129507 394981 | 119966 112676 191 | 0.000 % |
539.20/541.15 c | 340679 | 8709 129507 394981 | 114047 114726 191 | 0.000 % |
542.60/544.51 c | 342932 | 8709 129507 394981 | 114047 104353 188 | 0.000 % |
546.59/548.51 c | 345410 | 8709 129507 394981 | 114047 106831 189 | 0.000 % |
551.09/553.06 c | 348136 | 8709 129507 394981 | 114047 109557 190 | 0.000 % |
556.79/558.74 c | 351135 | 8709 129507 394981 | 111422 99751 183 | 0.000 % |
561.79/563.79 c | 354431 | 8709 129507 394981 | 111422 103047 186 | 0.000 % |
561.99/563.91 c | 354531 | 8709 129507 394981 | 111422 103147 186 | 0.000 % |
562.19/564.11 c | 354642 | 8709 129507 394981 | 111422 103258 186 | 0.000 % |
562.39/564.37 c | 354763 | 8709 129507 394981 | 111422 103379 186 | 0.000 % |
562.69/564.66 c | 354896 | 8709 129507 394981 | 111422 103512 186 | 0.000 % |
562.89/564.88 c | 355044 | 8709 129507 394981 | 111422 103660 186 | 0.000 % |
563.29/565.28 c | 355204 | 8709 129507 394981 | 111422 103820 186 | 0.000 % |
563.69/565.62 c | 355381 | 8709 129507 394981 | 111422 103997 186 | 0.000 % |
563.79/565.78 c | 355576 | 8709 129507 394981 | 111422 104192 187 | 0.000 % |
564.19/566.11 c | 355788 | 8709 129507 394981 | 111422 104404 187 | 0.000 % |
564.59/566.52 c | 356021 | 8709 129507 394981 | 111422 104637 187 | 0.000 % |
564.99/566.91 c | 356278 | 8709 129507 394981 | 111422 104894 187 | 0.000 % |
565.49/567.45 c | 356560 | 8709 129507 394981 | 111422 105176 187 | 0.000 % |
566.09/568.09 c | 356869 | 8709 129507 394981 | 111422 105485 187 | 0.000 % |
566.89/568.82 c | 357208 | 8709 129507 394981 | 111422 105824 187 | 0.000 % |
567.48/569.48 c | 357580 | 8709 129507 394981 | 111422 106196 188 | 0.000 % |
568.08/570.09 c | 357989 | 8709 129507 394981 | 111422 106605 188 | 0.000 % |
568.99/570.91 c | 358439 | 8709 129507 394981 | 111422 107055 188 | 0.000 % |
570.09/572.04 c | 358932 | 8709 129507 394981 | 111422 107548 188 | 0.000 % |
571.19/573.10 c | 359474 | 8709 129507 394981 | 111422 108090 188 | 0.000 % |
572.18/574.17 c | 360070 | 8709 129507 394981 | 108616 108686 189 | 0.000 % |
573.39/575.34 c | 360725 | 8709 129507 394981 | 108616 98473 183 | 0.000 % |
574.78/576.79 c | 361446 | 8709 129507 394981 | 108616 99194 183 | 0.000 % |
576.08/578.00 c | 362239 | 8709 129507 394981 | 108616 99987 184 | 0.000 % |
577.58/579.58 c | 363110 | 8709 129507 394981 | 108616 100858 184 | 0.000 % |
578.98/580.99 c | 364069 | 8709 129507 394981 | 108616 101817 185 | 0.000 % |
580.88/582.83 c | 365122 | 8709 129507 394981 | 108616 102870 186 | 0.000 % |
582.78/584.70 c | 366280 | 8709 129507 394981 | 108616 104028 187 | 0.000 % |
584.87/586.89 c | 367553 | 8709 129507 394981 | 108616 105301 188 | 0.000 % |
587.47/589.44 c | 368953 | 8709 129507 394981 | 108616 106701 188 | 0.000 % |
590.17/592.18 c | 370493 | 8709 129507 394981 | 2147483647 108241 189 | 0.000 % |
592.97/594.96 c | 372187 | 8709 129507 394981 | 2147483647 109935 190 | 0.000 % |
596.08/598.01 c | 374050 | 8709 129507 394981 | 2147483647 111798 191 | 0.000 % |
599.48/601.43 c | 376099 | 8709 129507 394981 | 2147483647 113847 191 | 0.000 % |
602.78/604.78 c | 378353 | 8709 129507 394981 | 2147483647 116101 194 | 0.000 % |
607.77/609.70 c | 380831 | 8709 129507 394981 | 117748 118579 194 | 0.000 % |
611.67/613.68 c | 383556 | 8709 129507 394981 | 117748 107248 187 | 0.000 % |
617.27/619.28 c | 386553 | 8709 129507 394981 | 117748 110245 189 | 0.000 % |
622.97/624.93 c | 389849 | 8709 129507 394981 | 117748 113541 190 | 0.000 % |
629.36/631.30 c | 393474 | 8709 129507 394981 | 113692 104099 185 | 0.000 % |
629.47/631.49 c | 393574 | 8709 129507 394981 | 113692 104199 185 | 0.000 % |
629.76/631.70 c | 393684 | 8709 129507 394981 | 113692 104309 185 | 0.000 % |
629.96/631.90 c | 393806 | 8709 129507 394981 | 113692 104431 185 | 0.000 % |
630.16/632.15 c | 393939 | 8709 129507 394981 | 113692 104564 185 | 0.000 % |
630.36/632.37 c | 394085 | 8709 129507 394981 | 113692 104710 185 | 0.000 % |
630.67/632.70 c | 394246 | 8709 129507 394981 | 113692 104871 185 | 0.000 % |
631.06/633.08 c | 394424 | 8709 129507 394981 | 113692 105049 185 | 0.000 % |
631.46/633.45 c | 394617 | 8709 129507 394981 | 113692 105242 185 | 0.000 % |
631.96/633.95 c | 394829 | 8709 129507 394981 | 113692 105454 185 | 0.000 % |
632.26/634.29 c | 395063 | 8709 129507 394981 | 113692 105688 186 | 0.000 % |
632.66/634.68 c | 395320 | 8709 129507 394981 | 113692 105945 186 | 0.000 % |
633.06/635.06 c | 395603 | 8709 129507 394981 | 113692 106228 186 | 0.000 % |
633.56/635.58 c | 395914 | 8709 129507 394981 | 113692 106539 186 | 0.000 % |
634.26/636.24 c | 396253 | 8709 129507 394981 | 113692 106878 186 | 0.000 % |
634.86/636.86 c | 396625 | 8709 129507 394981 | 113692 107250 187 | 0.000 % |
635.46/637.41 c | 397034 | 8709 129507 394981 | 113692 107659 187 | 0.000 % |
636.16/638.18 c | 397485 | 8709 129507 394981 | 113692 108110 188 | 0.000 % |
636.86/638.88 c | 397978 | 8709 129507 394981 | 113692 108603 188 | 0.000 % |
638.16/640.14 c | 398521 | 8709 129507 394981 | 113692 109146 188 | 0.000 % |
639.46/641.41 c | 399118 | 8709 129507 394981 | 113692 109743 188 | 0.000 % |
640.46/642.42 c | 399773 | 8709 129507 394981 | 113692 110398 188 | 0.000 % |
641.66/643.67 c | 400494 | 8709 129507 394981 | 110625 111119 189 | 0.000 % |
643.05/645.08 c | 401286 | 8709 129507 394981 | 110625 100490 182 | 0.000 % |
644.65/646.68 c | 402157 | 8709 129507 394981 | 110625 101361 182 | 0.000 % |
646.06/648.08 c | 403115 | 8709 129507 394981 | 110625 102319 183 | 0.000 % |
648.05/650.01 c | 404168 | 8709 129507 394981 | 110625 103372 184 | 0.000 % |
649.55/651.51 c | 405326 | 8709 129507 394981 | 110625 104530 185 | 0.000 % |
651.45/653.40 c | 406599 | 8709 129507 394981 | 110625 105803 186 | 0.000 % |
654.25/656.22 c | 407999 | 8709 129507 394981 | 110625 107203 186 | 0.000 % |
656.75/658.78 c | 409539 | 8709 129507 394981 | 110625 108743 187 | 0.000 % |
659.45/661.49 c | 411233 | 8709 129507 394981 | 2147483647 110437 188 | 0.000 % |
662.75/664.75 c | 413097 | 8709 129507 394981 | 2147483647 112301 189 | 0.000 % |
666.44/668.40 c | 415149 | 8709 129507 394981 | 2147483647 114353 191 | 0.000 % |
670.54/672.58 c | 417404 | 8709 129507 394981 | 2147483647 116608 192 | 0.000 % |
675.44/677.48 c | 419882 | 8709 129507 394981 | 2147483647 119086 193 | 0.000 % |
680.23/682.22 c | 422607 | 8709 129507 394981 | 119204 106403 186 | 0.000 % |
685.73/687.72 c | 425604 | 8709 129507 394981 | 119204 109400 186 | 0.000 % |
691.43/693.44 c | 428900 | 8709 129507 394981 | 119204 112696 188 | 0.000 % |
697.63/699.62 c | 432525 | 8709 129507 394981 | 113796 103247 184 | 0.000 % |
704.23/706.22 c | 436513 | 8709 129507 394981 | 113796 107235 185 | 0.000 % |
704.53/706.51 c | 436613 | 8709 129507 394981 | 113796 107335 185 | 0.000 % |
704.73/706.70 c | 436723 | 8709 129507 394981 | 113796 107445 185 | 0.000 % |
704.83/706.90 c | 436844 | 8709 129507 394981 | 113796 107566 185 | 0.000 % |
705.13/707.15 c | 436977 | 8709 129507 394981 | 113796 107699 185 | 0.000 % |
705.53/707.53 c | 437123 | 8709 129507 394981 | 113796 107845 185 | 0.000 % |
705.83/707.81 c | 437283 | 8709 129507 394981 | 113796 108005 185 | 0.000 % |
706.03/708.06 c | 437459 | 8709 129507 394981 | 113796 108181 185 | 0.000 % |
706.43/708.49 c | 437652 | 8709 129507 394981 | 113796 108374 186 | 0.000 % |
706.73/708.79 c | 437864 | 8709 129507 394981 | 113796 108586 186 | 0.000 % |
707.23/709.21 c | 438097 | 8709 129507 394981 | 113796 108819 186 | 0.000 % |
707.63/709.63 c | 438353 | 8709 129507 394981 | 113796 109075 186 | 0.000 % |
708.23/710.22 c | 438635 | 8709 129507 394981 | 113796 109357 186 | 0.000 % |
708.63/710.63 c | 438944 | 8709 129507 394981 | 113796 109666 186 | 0.000 % |
709.23/711.28 c | 439283 | 8709 129507 394981 | 113796 110005 186 | 0.000 % |
710.03/712.03 c | 439656 | 8709 129507 394981 | 113796 110378 186 | 0.000 % |
710.33/712.38 c | 440067 | 8709 129507 394981 | 2147483647 110789 187 | 0.000 % |
711.13/713.17 c | 440516 | 8709 129507 394981 | 2147483647 111238 187 | 0.000 % |
712.03/714.05 c | 441009 | 8709 129507 394981 | 2147483647 111731 188 | 0.000 % |
712.82/714.81 c | 441551 | 8709 129507 394981 | 2147483647 112273 188 | 0.000 % |
713.92/715.91 c | 442148 | 8709 129507 394981 | 2147483647 112870 188 | 0.000 % |
714.72/716.79 c | 442803 | 8709 129507 394981 | 2147483647 113525 189 | 0.000 % |
715.82/717.88 c | 443523 | 8709 129507 394981 | 2147483647 114245 189 | 0.000 % |
717.22/719.29 c | 444315 | 8709 129507 394981 | 2147483647 115037 190 | 0.000 % |
718.72/720.79 c | 445186 | 8709 129507 394981 | 2147483647 115908 190 | 0.000 % |
720.62/722.65 c | 446146 | 8709 129507 394981 | 2147483647 116868 190 | 0.000 % |
722.12/724.16 c | 447201 | 8709 129507 394981 | 2147483647 117923 191 | 0.000 % |
724.62/726.61 c | 448359 | 8709 129507 394981 | 2147483647 119081 191 | 0.000 % |
727.42/729.47 c | 449632 | 8709 129507 394981 | 2147483647 120354 191 | 0.000 % |
729.41/731.49 c | 451032 | 8709 129507 394981 | 120722 121754 194 | 0.000 % |
732.61/734.69 c | 452572 | 8709 129507 394981 | 120722 108068 185 | 0.000 % |
736.01/738.09 c | 454266 | 8709 129507 394981 | 120722 109762 185 | 0.000 % |
739.11/741.13 c | 456129 | 8709 129507 394981 | 120722 111625 186 | 0.000 % |
742.21/744.28 c | 458178 | 8709 129507 394981 | 120722 113674 187 | 0.000 % |
746.11/748.18 c | 460433 | 8709 129507 394981 | 115497 102485 179 | 0.000 % |
750.31/752.30 c | 462911 | 8709 129507 394981 | 115497 104963 180 | 0.000 % |
754.61/756.61 c | 465639 | 8709 129507 394981 | 115497 107691 182 | 0.000 % |
759.90/761.96 c | 468636 | 8709 129507 394981 | 115497 110688 184 | 0.000 % |
765.39/767.49 c | 471932 | 8709 129507 394981 | 112052 101701 180 | 0.000 % |
771.49/773.51 c | 475559 | 8709 129507 394981 | 112052 105328 182 | 0.000 % |
777.69/779.73 c | 479547 | 8709 129507 394981 | 112052 109316 184 | 0.000 % |
784.69/786.76 c | 483934 | 8709 129507 394981 | 2147483647 113703 187 | 0.000 % |
784.89/786.97 c | 484034 | 8709 129507 394981 | 2147483647 113803 187 | 0.000 % |
785.19/787.20 c | 484144 | 8709 129507 394981 | 2147483647 113913 187 | 0.000 % |
785.39/787.49 c | 484265 | 8709 129507 394981 | 2147483647 114034 187 | 0.000 % |
785.59/787.70 c | 484401 | 8709 129507 394981 | 2147483647 114170 187 | 0.000 % |
786.09/788.11 c | 484547 | 8709 129507 394981 | 2147483647 114316 187 | 0.000 % |
786.49/788.52 c | 484709 | 8709 129507 394981 | 2147483647 114478 187 | 0.000 % |
786.79/788.87 c | 484885 | 8709 129507 394981 | 2147483647 114654 187 | 0.000 % |
787.29/789.37 c | 485078 | 8709 129507 394981 | 2147483647 114847 187 | 0.000 % |
787.79/789.82 c | 485290 | 8709 129507 394981 | 2147483647 115059 187 | 0.000 % |
788.09/790.16 c | 485523 | 8709 129507 394981 | 2147483647 115292 187 | 0.000 % |
788.59/790.68 c | 485779 | 8709 129507 394981 | 2147483647 115548 187 | 0.000 % |
788.99/791.07 c | 486060 | 8709 129507 394981 | 2147483647 115829 188 | 0.000 % |
789.49/791.55 c | 486370 | 8709 129507 394981 | 2147483647 116139 188 | 0.000 % |
790.39/792.41 c | 486709 | 8709 129507 394981 | 2147483647 116478 188 | 0.000 % |
791.19/793.27 c | 487081 | 8709 129507 394981 | 2147483647 116850 188 | 0.000 % |
791.78/793.82 c | 487490 | 8709 129507 394981 | 2147483647 117259 189 | 0.000 % |
792.68/794.77 c | 487939 | 8709 129507 394981 | 2147483647 117708 189 | 0.000 % |
793.58/795.68 c | 488432 | 8709 129507 394981 | 2147483647 118201 190 | 0.000 % |
794.78/796.87 c | 488974 | 8709 129507 394981 | 2147483647 118743 189 | 0.000 % |
795.68/797.73 c | 489570 | 8709 129507 394981 | 2147483647 119339 190 | 0.000 % |
796.69/798.72 c | 490225 | 8709 129507 394981 | 119769 119994 192 | 0.000 % |
798.28/800.31 c | 490945 | 8709 129507 394981 | 119769 106474 183 | 0.000 % |
799.18/801.24 c | 491737 | 8709 129507 394981 | 119769 107266 185 | 0.000 % |
800.48/802.58 c | 492609 | 8709 129507 394981 | 119769 108138 186 | 0.000 % |
801.98/804.00 c | 493567 | 8709 129507 394981 | 119769 109096 188 | 0.000 % |
803.78/805.89 c | 494620 | 8709 129507 394981 | 119769 110149 188 | 0.000 % |
805.87/807.95 c | 495778 | 8709 129507 394981 | 119769 111307 188 | 0.000 % |
807.87/809.96 c | 497051 | 8709 129507 394981 | 119769 112580 189 | 0.000 % |
810.27/812.31 c | 498451 | 8709 129507 394981 | 119769 113980 190 | 0.000 % |
813.07/815.11 c | 499991 | 8709 129507 394981 | 119769 115520 190 | 0.000 % |
816.07/818.12 c | 501685 | 8709 129507 394981 | 115530 103619 186 | 0.000 % |
819.27/821.39 c | 503548 | 8709 129507 394981 | 115530 105482 186 | 0.000 % |
822.17/824.27 c | 505597 | 8709 129507 394981 | 115530 107531 188 | 0.000 % |
826.27/828.32 c | 507850 | 8709 129507 394981 | 115530 109784 189 | 0.000 % |
829.87/831.91 c | 510328 | 8709 129507 394981 | 111934 112262 191 | 0.000 % |
834.56/836.66 c | 513053 | 8709 129507 394981 | 111934 103276 187 | 0.000 % |
839.36/841.41 c | 516050 | 8709 129507 394981 | 111934 106273 189 | 0.000 % |
845.06/847.18 c | 519346 | 8709 129507 394981 | 111934 109569 191 | 0.000 % |
851.55/853.64 c | 522974 | 8709 129507 394981 | 2147483647 113197 193 | 0.000 % |
858.95/861.07 c | 526964 | 8709 129507 394981 | 2147483647 117187 194 | 0.000 % |
867.35/869.43 c | 531349 | 8709 129507 394981 | 120223 105544 187 | 0.000 % |
874.65/876.73 c | 536172 | 8709 129507 394981 | 120223 110367 191 | 0.000 % |
874.85/876.90 c | 536272 | 8709 129507 394981 | 120223 110467 191 | 0.000 % |
875.04/877.15 c | 536383 | 8709 129507 394981 | 120223 110578 191 | 0.000 % |
875.34/877.42 c | 536504 | 8709 129507 394981 | 120223 110699 191 | 0.000 % |
875.64/877.76 c | 536637 | 8709 129507 394981 | 120223 110832 191 | 0.000 % |
875.94/878.03 c | 536783 | 8709 129507 394981 | 120223 110978 191 | 0.000 % |
876.24/878.31 c | 536943 | 8709 129507 394981 | 120223 111138 191 | 0.000 % |
876.54/878.64 c | 537119 | 8709 129507 394981 | 120223 111314 191 | 0.000 % |
876.74/878.87 c | 537313 | 8709 129507 394981 | 120223 111508 192 | 0.000 % |
877.04/879.13 c | 537525 | 8709 129507 394981 | 120223 111720 192 | 0.000 % |
877.54/879.61 c | 537758 | 8709 129507 394981 | 120223 111953 192 | 0.000 % |
877.95/880.06 c | 538015 | 8709 129507 394981 | 120223 112210 192 | 0.000 % |
878.44/880.53 c | 538296 | 8709 129507 394981 | 120223 112491 192 | 0.000 % |
878.84/880.99 c | 538605 | 8709 129507 394981 | 120223 112800 192 | 0.000 % |
879.24/881.37 c | 538944 | 8709 129507 394981 | 120223 113139 193 | 0.000 % |
879.94/882.07 c | 539316 | 8709 129507 394981 | 120223 113511 193 | 0.000 % |
880.84/882.90 c | 539725 | 8709 129507 394981 | 120223 113920 193 | 0.000 % |
881.64/883.72 c | 540174 | 8709 129507 394981 | 114195 114369 193 | 0.000 % |
882.64/884.72 c | 540667 | 8709 129507 394981 | 114195 101391 186 | 0.000 % |
883.64/885.78 c | 541209 | 8709 129507 394981 | 114195 101933 186 | 0.000 % |
884.54/886.69 c | 541807 | 8709 129507 394981 | 114195 102531 187 | 0.000 % |
885.64/887.72 c | 542462 | 8709 129507 394981 | 114195 103186 187 | 0.000 % |
886.64/888.74 c | 543182 | 8709 129507 394981 | 114195 103906 187 | 0.000 % |
887.74/889.85 c | 543974 | 8709 129507 394981 | 114195 104698 188 | 0.000 % |
889.24/891.33 c | 544845 | 8709 129507 394981 | 114195 105569 189 | 0.000 % |
890.64/892.72 c | 545805 | 8709 129507 394981 | 114195 106529 189 | 0.000 % |
892.34/894.46 c | 546859 | 8709 129507 394981 | 114195 107583 190 | 0.000 % |
893.93/896.09 c | 548017 | 8709 129507 394981 | 114195 108741 191 | 0.000 % |
896.13/898.22 c | 549290 | 8709 129507 394981 | 114195 110014 191 | 0.000 % |
898.73/900.88 c | 550690 | 8709 129507 394981 | 110724 111414 191 | 0.000 % |
900.93/903.01 c | 552230 | 8709 129507 394981 | 110724 100838 187 | 0.000 % |
903.93/906.00 c | 553925 | 8709 129507 394981 | 110724 102533 187 | 0.000 % |
907.13/909.21 c | 555788 | 8709 129507 394981 | 110724 104396 188 | 0.000 % |
910.83/913.00 c | 557837 | 8709 129507 394981 | 110724 106445 189 | 0.000 % |
914.62/916.72 c | 560090 | 8709 129507 394981 | 108608 108698 190 | 0.000 % |
918.92/921.03 c | 562570 | 8709 129507 394981 | 108608 100058 180 | 0.000 % |
923.52/925.65 c | 565295 | 8709 129507 394981 | 108608 102783 181 | 0.000 % |
928.12/930.28 c | 568292 | 8709 129507 394981 | 108608 105780 183 | 0.000 % |
933.92/936.03 c | 571588 | 8709 129507 394981 | 2147483647 109076 184 | 0.000 % |
940.31/942.47 c | 575215 | 8709 129507 394981 | 2147483647 112703 185 | 0.000 % |
946.51/948.65 c | 579202 | 8709 129507 394981 | 2147483647 116690 188 | 0.000 % |
954.21/956.37 c | 583588 | 8709 129507 394981 | 117489 106764 182 | 0.000 % |
962.30/964.47 c | 588411 | 8709 129507 394981 | 117489 111587 185 | 0.000 % |
970.60/972.72 c | 593716 | 8709 129507 394981 | 113176 103702 180 | 0.000 % |
970.80/972.95 c | 593816 | 8709 129507 394981 | 113176 103802 180 | 0.000 % |
971.00/973.17 c | 593926 | 8709 129507 394981 | 113176 103912 180 | 0.000 % |
971.30/973.42 c | 594047 | 8709 129507 394981 | 113176 104033 180 | 0.000 % |
971.50/973.64 c | 594183 | 8709 129507 394981 | 113176 104169 180 | 0.000 % |
971.70/973.89 c | 594329 | 8709 129507 394981 | 113176 104315 180 | 0.000 % |
972.00/974.16 c | 594491 | 8709 129507 394981 | 113176 104477 180 | 0.000 % |
972.40/974.56 c | 594667 | 8709 129507 394981 | 113176 104653 180 | 0.000 % |
972.70/974.82 c | 594860 | 8709 129507 394981 | 113176 104846 180 | 0.000 % |
973.10/975.26 c | 595072 | 8709 129507 394981 | 113176 105058 180 | 0.000 % |
973.50/975.70 c | 595305 | 8709 129507 394981 | 113176 105291 180 | 0.000 % |
973.90/976.09 c | 595561 | 8709 129507 394981 | 113176 105547 180 | 0.000 % |
974.40/976.55 c | 595842 | 8709 129507 394981 | 113176 105828 180 | 0.000 % |
975.00/977.12 c | 596153 | 8709 129507 394981 | 113176 106139 181 | 0.000 % |
975.60/977.73 c | 596492 | 8709 129507 394981 | 113176 106478 181 | 0.000 % |
976.40/978.57 c | 596864 | 8709 129507 394981 | 113176 106850 181 | 0.000 % |
977.30/979.43 c | 597273 | 8709 129507 394981 | 113176 107259 181 | 0.000 % |
978.00/980.13 c | 597723 | 8709 129507 394981 | 113176 107709 181 | 0.000 % |
978.70/980.85 c | 598216 | 8709 129507 394981 | 113176 108202 181 | 0.000 % |
979.90/982.04 c | 598760 | 8709 129507 394981 | 113176 108746 181 | 0.000 % |
980.70/982.86 c | 599359 | 8709 129507 394981 | 113176 109345 182 | 0.000 % |
981.70/983.84 c | 600014 | 8709 129507 394981 | 109986 110000 182 | 0.000 % |
982.89/985.07 c | 600736 | 8709 129507 394981 | 109986 99343 177 | 0.000 % |
984.09/986.25 c | 601528 | 8709 129507 394981 | 109986 100135 177 | 0.000 % |
985.59/987.72 c | 602399 | 8709 129507 394981 | 109986 101006 178 | 0.000 % |
987.19/989.36 c | 603357 | 8709 129507 394981 | 109986 101964 178 | 0.000 % |
988.69/990.84 c | 604412 | 8709 129507 394981 | 109986 103019 179 | 0.000 % |
990.09/992.28 c | 605571 | 8709 129507 394981 | 109986 104178 181 | 0.000 % |
992.68/994.81 c | 606844 | 8709 129507 394981 | 109986 105451 181 | 0.000 % |
994.98/997.14 c | 608245 | 8709 129507 394981 | 109986 106852 182 | 0.000 % |
997.48/999.65 c | 609785 | 8709 129507 394981 | 109986 108392 183 | 0.000 % |
1000.68/1002.84 c | 611480 | 8709 129507 394981 | 108607 98293 175 | 0.000 % |
1003.68/1005.81 c | 613343 | 8709 129507 394981 | 108607 100156 177 | 0.000 % |
1006.78/1008.93 c | 615393 | 8709 129507 394981 | 108607 102206 179 | 0.000 % |
1010.58/1012.70 c | 617646 | 8709 129507 394981 | 108607 104459 180 | 0.000 % |
1014.48/1016.68 c | 620124 | 8709 129507 394981 | 2147483647 106937 182 | 0.000 % |
1018.78/1020.99 c | 622851 | 8709 129507 394981 | 2147483647 109664 184 | 0.000 % |
1023.68/1025.90 c | 625848 | 8709 129507 394981 | 2147483647 112661 186 | 0.000 % |
1029.67/1031.85 c | 629144 | 8709 129507 394981 | 2147483647 115957 188 | 0.000 % |
1035.67/1037.85 c | 632770 | 8709 129507 394981 | 116813 105140 182 | 0.000 % |
1042.06/1044.27 c | 636757 | 8709 129507 394981 | 116813 109127 184 | 0.000 % |
1049.47/1051.60 c | 641143 | 8709 129507 394981 | 112370 100757 182 | 0.000 % |
1056.66/1058.87 c | 645966 | 8709 129507 394981 | 112370 105580 185 | 0.000 % |
1064.96/1067.11 c | 651273 | 8709 129507 394981 | 109614 110887 188 | 0.000 % |
1073.55/1075.73 c | 657110 | 8709 129507 394981 | 109614 104621 184 | 0.000 % |
1073.75/1075.93 c | 657210 | 8709 129507 394981 | 109614 104721 185 | 0.000 % |
1073.95/1076.20 c | 657321 | 8709 129507 394981 | 109614 104832 184 | 0.000 % |
1074.25/1076.46 c | 657442 | 8709 129507 394981 | 109614 104953 184 | 0.000 % |
1074.55/1076.75 c | 657575 | 8709 129507 394981 | 109614 105086 184 | 0.000 % |
1074.95/1077.15 c | 657721 | 8709 129507 394981 | 109614 105232 184 | 0.000 % |
1075.25/1077.40 c | 657881 | 8709 129507 394981 | 109614 105392 185 | 0.000 % |
1075.45/1077.62 c | 658057 | 8709 129507 394981 | 109614 105568 185 | 0.000 % |
1075.75/1077.94 c | 658250 | 8709 129507 394981 | 109614 105761 185 | 0.000 % |
1076.15/1078.36 c | 658462 | 8709 129507 394981 | 109614 105973 185 | 0.000 % |
1076.85/1079.08 c | 658697 | 8709 129507 394981 | 109614 106208 185 | 0.000 % |
1077.35/1079.50 c | 658955 | 8709 129507 394981 | 109614 106466 185 | 0.000 % |
1077.75/1079.94 c | 659237 | 8709 129507 394981 | 109614 106748 185 | 0.000 % |
1078.25/1080.40 c | 659546 | 8709 129507 394981 | 109614 107057 185 | 0.000 % |
1078.95/1081.11 c | 659885 | 8709 129507 394981 | 109614 107396 185 | 0.000 % |
1079.35/1081.51 c | 660257 | 8709 129507 394981 | 2147483647 107768 186 | 0.000 % |
1080.05/1082.22 c | 660666 | 8709 129507 394981 | 2147483647 108177 187 | 0.000 % |
1081.04/1083.25 c | 661115 | 8709 129507 394981 | 2147483647 108626 186 | 0.000 % |
1082.04/1084.21 c | 661608 | 8709 129507 394981 | 2147483647 109119 187 | 0.000 % |
1083.15/1085.37 c | 662150 | 8709 129507 394981 | 2147483647 109661 187 | 0.000 % |
1084.24/1086.49 c | 662746 | 8709 129507 394981 | 2147483647 110257 187 | 0.000 % |
1085.14/1087.39 c | 663401 | 8709 129507 394981 | 2147483647 110912 187 | 0.000 % |
1086.44/1088.69 c | 664121 | 8709 129507 394981 | 2147483647 111632 188 | 0.000 % |
1087.74/1089.91 c | 664914 | 8709 129507 394981 | 2147483647 112425 188 | 0.000 % |
1088.84/1091.07 c | 665785 | 8709 129507 394981 | 2147483647 113296 189 | 0.000 % |
1090.64/1092.85 c | 666743 | 8709 129507 394981 | 2147483647 114254 190 | 0.000 % |
1092.45/1094.65 c | 667796 | 8709 129507 394981 | 2147483647 115307 190 | 0.000 % |
1094.44/1096.70 c | 668955 | 8709 129507 394981 | 2147483647 116466 191 | 0.000 % |
1096.84/1099.05 c | 670229 | 8709 129507 394981 | 117511 117740 191 | 0.000 % |
1099.14/1101.32 c | 671631 | 8709 129507 394981 | 117511 105405 184 | 0.000 % |
1101.24/1103.40 c | 673172 | 8709 129507 394981 | 117511 106946 186 | 0.000 % |
1104.04/1106.20 c | 674866 | 8709 129507 394981 | 117511 108640 186 | 0.000 % |
1106.94/1109.16 c | 676729 | 8709 129507 394981 | 117511 110503 188 | 0.000 % |
1110.64/1112.84 c | 678778 | 8709 129507 394981 | 117511 112552 189 | 0.000 % |
1114.73/1116.92 c | 681036 | 8709 129507 394981 | 113776 101679 183 | 0.000 % |
1118.63/1120.84 c | 683514 | 8709 129507 394981 | 113776 104157 184 | 0.000 % |
1123.23/1125.49 c | 686239 | 8709 129507 394981 | 113776 106882 186 | 0.000 % |
1128.52/1130.71 c | 689237 | 8709 129507 394981 | 113776 109880 187 | 0.000 % |
1133.92/1136.13 c | 692533 | 8709 129507 394981 | 2147483647 113176 189 | 0.000 % |
1139.52/1141.72 c | 696158 | 8709 129507 394981 | 2147483647 116801 192 | 0.000 % |
1146.32/1148.52 c | 700147 | 8709 129507 394981 | 120643 120790 195 | 0.000 % |
1154.22/1156.40 c | 704533 | 8709 129507 394981 | 120643 111179 189 | 0.000 % |
1161.91/1164.12 c | 709356 | 8709 129507 394981 | 120643 116002 193 | 0.000 % |
1171.61/1173.82 c | 714661 | 8709 129507 394981 | 116646 106696 187 | 0.000 % |
1181.20/1183.50 c | 720496 | 8709 129507 394981 | 112035 112531 190 | 0.000 % |
1192.10/1194.30 c | 726914 | 8709 129507 394981 | 112035 106495 185 | 0.000 % |
1192.20/1194.47 c | 727014 | 8709 129507 394981 | 112035 106595 185 | 0.000 % |
1192.40/1194.69 c | 727124 | 8709 129507 394981 | 112035 106705 185 | 0.000 % |
1192.60/1194.89 c | 727245 | 8709 129507 394981 | 112035 106826 185 | 0.000 % |
1192.90/1195.18 c | 727378 | 8709 129507 394981 | 112035 106959 185 | 0.000 % |
1193.10/1195.38 c | 727525 | 8709 129507 394981 | 112035 107106 185 | 0.000 % |
1193.30/1195.59 c | 727688 | 8709 129507 394981 | 112035 107269 185 | 0.000 % |
1193.70/1195.99 c | 727865 | 8709 129507 394981 | 112035 107446 185 | 0.000 % |
1194.00/1196.22 c | 728058 | 8709 129507 394981 | 112035 107639 185 | 0.000 % |
1194.40/1196.62 c | 728271 | 8709 129507 394981 | 112035 107852 185 | 0.000 % |
1194.60/1196.89 c | 728504 | 8709 129507 394981 | 112035 108085 186 | 0.000 % |
1195.10/1197.34 c | 728760 | 8709 129507 394981 | 112035 108341 186 | 0.000 % |
1195.50/1197.78 c | 729042 | 8709 129507 394981 | 112035 108623 186 | 0.000 % |
1196.30/1198.56 c | 729351 | 8709 129507 394981 | 112035 108932 186 | 0.000 % |
1196.80/1199.02 c | 729690 | 8709 129507 394981 | 112035 109271 186 | 0.000 % |
1197.20/1199.47 c | 730062 | 8709 129507 394981 | 2147483647 109643 187 | 0.000 % |
1197.90/1200.18 c | 730471 | 8709 129507 394981 | 2147483647 110052 187 | 0.000 % |
1198.59/1200.89 c | 730920 | 8709 129507 394981 | 2147483647 110501 187 | 0.000 % |
1199.69/1201.96 c | 731413 | 8709 129507 394981 | 2147483647 110994 187 | 0.000 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1833793-1242825233/watcher-1833793-1242825233 -o /tmp/evaluation-result-1833793-1242825233/solver-1833793-1242825233 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1833793-1242825233.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.17 1.13 1.09 3/64 29975
/proc/meminfo: memFree=1897196/2055920 swapFree=4160960/4192956
[pid=29975] ppid=29973 vsize=5356 CPUtime=0
/proc/29975/stat : 29975 (SatELiteGTI) S 29973 29975 29743 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 310552399 5484544 235 1992294400 4194304 4889804 548682068832 18446744073709551615 256365002834 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/29975/statm: 1339 235 195 169 0 50 0
[pid=29976] ppid=29975 vsize=5356 CPUtime=0
/proc/29976/stat : 29976 (SatELiteGTI) R 29975 29975 29743 0 -1 4194368 58 188 0 0 0 0 0 0 20 0 1 0 310552399 5484544 238 1992294400 4194304 4889804 548682068832 18446744073709551615 256362197807 0 0 4096 65538 0 0 0 17 0 0 0
/proc/29976/statm: 0 0 0 0 0 0 0
[startup+0.014738 s]
/proc/loadavg: 1.17 1.13 1.09 3/64 29975
/proc/meminfo: memFree=1897196/2055920 swapFree=4160960/4192956
[pid=29975] ppid=29973 vsize=5356 CPUtime=0
/proc/29975/stat : 29975 (SatELiteGTI) S 29973 29975 29743 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310552399 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/29975/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.102745 s]
/proc/loadavg: 1.17 1.13 1.09 3/64 29975
/proc/meminfo: memFree=1897196/2055920 swapFree=4160960/4192956
[pid=29975] ppid=29973 vsize=5356 CPUtime=0
/proc/29975/stat : 29975 (SatELiteGTI) S 29973 29975 29743 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310552399 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/29975/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.302764 s]
/proc/loadavg: 1.17 1.13 1.09 3/64 29975
/proc/meminfo: memFree=1897196/2055920 swapFree=4160960/4192956
[pid=29975] ppid=29973 vsize=5356 CPUtime=0
/proc/29975/stat : 29975 (SatELiteGTI) S 29973 29975 29743 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310552399 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/29975/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.701815 s]
/proc/loadavg: 1.17 1.13 1.09 3/64 29975
/proc/meminfo: memFree=1897196/2055920 swapFree=4160960/4192956
[pid=29975] ppid=29973 vsize=5356 CPUtime=0
/proc/29975/stat : 29975 (SatELiteGTI) S 29973 29975 29743 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310552399 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/29975/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+1.50189 s]
/proc/loadavg: 1.17 1.13 1.09 2/66 29981
/proc/meminfo: memFree=1886812/2055920 swapFree=4160960/4192956
[pid=29975] ppid=29973 vsize=5356 CPUtime=0.82
/proc/29975/stat : 29975 (SatELiteGTI) S 29973 29975 29743 0 -1 4194304 336 2714 0 0 0 0 80 2 16 0 1 0 310552399 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/29975/statm: 1339 239 197 169 0 50 0
[pid=29981] ppid=29975 vsize=8320 CPUtime=0.65
/proc/29981/stat : 29981 (minisat_static) R 29975 29975 29743 0 -1 4194304 1961 0 0 0 65 0 0 0 23 0 1 0 310552483 8519680 1947 1992294400 134512640 135215339 4294956240 18446744073709551615 134527218 0 0 4096 3 0 0 0 17 1 0 0
/proc/29981/statm: 2080 1947 77 171 0 1907 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 13676
[startup+3.10105 s]
/proc/loadavg: 1.32 1.16 1.10 2/66 29981
/proc/meminfo: memFree=1885084/2055920 swapFree=4160960/4192956
[pid=29975] ppid=29973 vsize=5356 CPUtime=0.82
/proc/29975/stat : 29975 (SatELiteGTI) S 29973 29975 29743 0 -1 4194304 336 2714 0 0 0 0 80 2 16 0 1 0 310552399 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/29975/statm: 1339 239 197 169 0 50 0
[pid=29981] ppid=29975 vsize=12292 CPUtime=2.09
/proc/29981/stat : 29981 (minisat_static) S 29975 29975 29743 0 -1 4194304 2940 0 0 0 208 1 0 0 25 0 1 0 310552483 12587008 2926 1992294400 134512640 135215339 4294956240 18446744073709551615 134743406 0 0 4096 3 18446744071563648864 0 0 17 1 0 0
/proc/29981/statm: 3073 2926 77 171 0 2900 0
Current children cumulated CPU time (s) 2.91
Current children cumulated vsize (KiB) 17648
[startup+6.30153 s]
/proc/loadavg: 1.32 1.16 1.10 2/66 29981
/proc/meminfo: memFree=1881372/2055920 swapFree=4160960/4192956
[pid=29975] ppid=29973 vsize=5356 CPUtime=0.82
/proc/29975/stat : 29975 (SatELiteGTI) S 29973 29975 29743 0 -1 4194304 336 2714 0 0 0 0 80 2 16 0 1 0 310552399 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/29975/statm: 1339 239 197 169 0 50 0
[pid=29981] ppid=29975 vsize=14576 CPUtime=3.89
/proc/29981/stat : 29981 (minisat_static) R 29975 29975 29743 0 -1 4194304 3514 0 0 0 387 2 0 0 25 0 1 0 310552483 14925824 3500 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/29981/statm: 3644 3500 77 171 0 3471 0
Current children cumulated CPU time (s) 4.71
Current children cumulated vsize (KiB) 19932
heavy processes:
[startup+12.7012 s]
/proc/loadavg: 1.50 1.20 1.12 2/66 29981
/proc/meminfo: memFree=1873444/2055920 swapFree=4160960/4192956
[pid=29975] ppid=29973 vsize=5356 CPUtime=0.82
/proc/29975/stat : 29975 (SatELiteGTI) S 29973 29975 29743 0 -1 4194304 336 2714 0 0 0 0 80 2 16 0 1 0 310552399 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/29975/statm: 1339 239 197 169 0 50 0
[pid=29981] ppid=29975 vsize=21908 CPUtime=10.27
/proc/29981/stat : 29981 (minisat_static) R 29975 29975 29743 0 -1 4194304 5362 0 0 0 1024 3 0 0 25 0 1 0 310552483 22433792 5348 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/29981/statm: 5477 5348 77 171 0 5304 0
Current children cumulated CPU time (s) 11.09
Current children cumulated vsize (KiB) 27264
[startup+25.5015 s]
/proc/loadavg: 1.42 1.20 1.11 2/66 29981
/proc/meminfo: memFree=1861284/2055920 swapFree=4160960/4192956
[pid=29975] ppid=29973 vsize=5356 CPUtime=0.82
/proc/29975/stat : 29975 (SatELiteGTI) S 29973 29975 29743 0 -1 4194304 336 2714 0 0 0 0 80 2 16 0 1 0 310552399 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/29975/statm: 1339 239 197 169 0 50 0
[pid=29981] ppid=29975 vsize=33956 CPUtime=23.06
/proc/29981/stat : 29981 (minisat_static) R 29975 29975 29743 0 -1 4194304 8360 0 0 0 2301 5 0 0 25 0 1 0 310552483 34770944 8346 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/29981/statm: 8489 8346 77 171 0 8316 0
Current children cumulated CPU time (s) 23.88
Current children cumulated vsize (KiB) 39312
[startup+51.1011 s]
/proc/loadavg: 1.28 1.18 1.11 2/66 29981
/proc/meminfo: memFree=1842468/2055920 swapFree=4160960/4192956
[pid=29975] ppid=29973 vsize=5356 CPUtime=0.82
/proc/29975/stat : 29975 (SatELiteGTI) S 29973 29975 29743 0 -1 4194304 336 2714 0 0 0 0 80 2 16 0 1 0 310552399 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/29975/statm: 1339 239 197 169 0 50 0
[pid=29981] ppid=29975 vsize=52796 CPUtime=48.64
/proc/29981/stat : 29981 (minisat_static) R 29975 29975 29743 0 -1 4194304 13076 0 0 0 4854 10 0 0 25 0 1 0 310552483 54063104 13062 1992294400 134512640 135215339 4294956240 18446744073709551615 134528627 0 0 4096 3 0 0 0 17 0 0 0
/proc/29981/statm: 13199 13062 77 171 0 13026 0
Current children cumulated CPU time (s) 49.46
Current children cumulated vsize (KiB) 58152
[startup+102.301 s]
/proc/loadavg: 1.11 1.15 1.10 2/66 29981
/proc/meminfo: memFree=1807524/2055920 swapFree=4160960/4192956
[pid=29975] ppid=29973 vsize=5356 CPUtime=0.82
/proc/29975/stat : 29975 (SatELiteGTI) S 29973 29975 29743 0 -1 4194304 336 2714 0 0 0 0 80 2 16 0 1 0 310552399 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/29975/statm: 1339 239 197 169 0 50 0
[pid=29981] ppid=29975 vsize=87320 CPUtime=99.81
/proc/29981/stat : 29981 (minisat_static) R 29975 29975 29743 0 -1 4194304 21672 0 0 0 9964 17 0 0 25 0 1 0 310552483 89415680 21658 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 0 0 0
/proc/29981/statm: 21830 21658 77 171 0 21657 0
Current children cumulated CPU time (s) 100.63
Current children cumulated vsize (KiB) 92676
[startup+162.302 s]
/proc/loadavg: 1.04 1.12 1.09 2/66 29981
/proc/meminfo: memFree=1775076/2055920 swapFree=4160960/4192956
[pid=29975] ppid=29973 vsize=5356 CPUtime=0.82
/proc/29975/stat : 29975 (SatELiteGTI) S 29973 29975 29743 0 -1 4194304 336 2714 0 0 0 0 80 2 16 0 1 0 310552399 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/29975/statm: 1339 239 197 169 0 50 0
[pid=29981] ppid=29975 vsize=119812 CPUtime=159.77
/proc/29981/stat : 29981 (minisat_static) R 29975 29975 29743 0 -1 4194304 29817 0 0 0 15953 24 0 0 25 0 1 0 310552483 122687488 29803 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 0 0 0
/proc/29981/statm: 29953 29803 77 171 0 29780 0
Current children cumulated CPU time (s) 160.59
Current children cumulated vsize (KiB) 125168
[startup+222.306 s]
/proc/loadavg: 1.01 1.09 1.08 2/66 29981
/proc/meminfo: memFree=1771940/2055920 swapFree=4160960/4192956
[pid=29975] ppid=29973 vsize=5356 CPUtime=0.82
/proc/29975/stat : 29975 (SatELiteGTI) S 29973 29975 29743 0 -1 4194304 336 2714 0 0 0 0 80 2 16 0 1 0 310552399 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/29975/statm: 1339 239 197 169 0 50 0
[pid=29981] ppid=29975 vsize=122584 CPUtime=219.75
/proc/29981/stat : 29981 (minisat_static) R 29975 29975 29743 0 -1 4194304 30508 0 0 0 21950 25 0 0 25 0 1 0 310552483 125526016 30494 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/29981/statm: 30646 30494 77 171 0 30473 0
Current children cumulated CPU time (s) 220.57
Current children cumulated vsize (KiB) 127940
[startup+282.302 s]
/proc/loadavg: 1.00 1.07 1.08 2/66 29981
/proc/meminfo: memFree=1771876/2055920 swapFree=4160960/4192956
[pid=29975] ppid=29973 vsize=5356 CPUtime=0.82
/proc/29975/stat : 29975 (SatELiteGTI) S 29973 29975 29743 0 -1 4194304 336 2714 0 0 0 0 80 2 16 0 1 0 310552399 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/29975/statm: 1339 239 197 169 0 50 0
[pid=29981] ppid=29975 vsize=122584 CPUtime=279.72
/proc/29981/stat : 29981 (minisat_static) R 29975 29975 29743 0 -1 4194304 30508 0 0 0 27947 25 0 0 25 0 1 0 310552483 125526016 30494 1992294400 134512640 135215339 4294956240 18446744073709551615 134528728 0 0 4096 3 0 0 0 17 0 0 0
/proc/29981/statm: 30646 30494 77 171 0 30473 0
Current children cumulated CPU time (s) 280.54
Current children cumulated vsize (KiB) 127940
[startup+342.301 s]
/proc/loadavg: 1.00 1.06 1.07 2/66 29981
/proc/meminfo: memFree=1771748/2055920 swapFree=4160960/4192956
[pid=29975] ppid=29973 vsize=5356 CPUtime=0.82
/proc/29975/stat : 29975 (SatELiteGTI) S 29973 29975 29743 0 -1 4194304 336 2714 0 0 0 0 80 2 16 0 1 0 310552399 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/29975/statm: 1339 239 197 169 0 50 0
[pid=29981] ppid=29975 vsize=122584 CPUtime=339.68
/proc/29981/stat : 29981 (minisat_static) R 29975 29975 29743 0 -1 4194304 30508 0 0 0 33942 26 0 0 25 0 1 0 310552483 125526016 30494 1992294400 134512640 135215339 4294956240 18446744073709551615 134528624 0 0 4096 3 0 0 0 17 0 0 0
/proc/29981/statm: 30646 30494 77 171 0 30473 0
Current children cumulated CPU time (s) 340.5
Current children cumulated vsize (KiB) 127940
[startup+402.301 s]
/proc/loadavg: 1.00 1.05 1.06 2/66 29981
/proc/meminfo: memFree=1771620/2055920 swapFree=4160960/4192956
[pid=29975] ppid=29973 vsize=5356 CPUtime=0.82
/proc/29975/stat : 29975 (SatELiteGTI) S 29973 29975 29743 0 -1 4194304 336 2714 0 0 0 0 80 2 16 0 1 0 310552399 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/29975/statm: 1339 239 197 169 0 50 0
[pid=29981] ppid=29975 vsize=122584 CPUtime=399.65
/proc/29981/stat : 29981 (minisat_static) R 29975 29975 29743 0 -1 4194304 30508 0 0 0 39939 26 0 0 25 0 1 0 310552483 125526016 30494 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 0 0 0
/proc/29981/statm: 30646 30494 77 171 0 30473 0
################
# More data... #
################
/proc/29981/statm: 30646 30494 77 171 0 30473 0
Current children cumulated CPU time (s) 520.41
Current children cumulated vsize (KiB) 127940
[startup+582.302 s]
/proc/loadavg: 1.00 1.02 1.05 2/66 29981
/proc/meminfo: memFree=1771428/2055920 swapFree=4160960/4192956
[pid=29975] ppid=29973 vsize=5356 CPUtime=0.82
/proc/29975/stat : 29975 (SatELiteGTI) S 29973 29975 29743 0 -1 4194304 336 2714 0 0 0 0 80 2 16 0 1 0 310552399 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/29975/statm: 1339 239 197 169 0 50 0
[pid=29981] ppid=29975 vsize=122584 CPUtime=579.56
/proc/29981/stat : 29981 (minisat_static) R 29975 29975 29743 0 -1 4194304 30508 0 0 0 57930 26 0 0 25 0 1 0 310552483 125526016 30494 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 0 0 0
/proc/29981/statm: 30646 30494 77 171 0 30473 0
Current children cumulated CPU time (s) 580.38
Current children cumulated vsize (KiB) 127940
[startup+642.302 s]
/proc/loadavg: 1.00 1.01 1.04 2/66 29981
/proc/meminfo: memFree=1771300/2055920 swapFree=4160960/4192956
[pid=29975] ppid=29973 vsize=5356 CPUtime=0.82
/proc/29975/stat : 29975 (SatELiteGTI) S 29973 29975 29743 0 -1 4194304 336 2714 0 0 0 0 80 2 16 0 1 0 310552399 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/29975/statm: 1339 239 197 169 0 50 0
[pid=29981] ppid=29975 vsize=122584 CPUtime=639.53
/proc/29981/stat : 29981 (minisat_static) R 29975 29975 29743 0 -1 4194304 30508 0 0 0 63926 27 0 0 25 0 1 0 310552483 125526016 30494 1992294400 134512640 135215339 4294956240 18446744073709551615 134538574 0 0 4096 3 0 0 0 17 0 0 0
/proc/29981/statm: 30646 30494 77 171 0 30473 0
Current children cumulated CPU time (s) 640.35
Current children cumulated vsize (KiB) 127940
[startup+702.301 s]
/proc/loadavg: 1.00 1.01 1.04 2/66 29981
/proc/meminfo: memFree=1771108/2055920 swapFree=4160960/4192956
[pid=29975] ppid=29973 vsize=5356 CPUtime=0.82
/proc/29975/stat : 29975 (SatELiteGTI) S 29973 29975 29743 0 -1 4194304 336 2714 0 0 0 0 80 2 16 0 1 0 310552399 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/29975/statm: 1339 239 197 169 0 50 0
[pid=29981] ppid=29975 vsize=122584 CPUtime=699.51
/proc/29981/stat : 29981 (minisat_static) R 29975 29975 29743 0 -1 4194304 30508 0 0 0 69924 27 0 0 25 0 1 0 310552483 125526016 30494 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 0 0 0
/proc/29981/statm: 30646 30494 77 171 0 30473 0
Current children cumulated CPU time (s) 700.33
Current children cumulated vsize (KiB) 127940
[startup+762.301 s]
/proc/loadavg: 1.05 1.02 1.04 2/66 29981
/proc/meminfo: memFree=1771044/2055920 swapFree=4160960/4192956
[pid=29975] ppid=29973 vsize=5356 CPUtime=0.82
/proc/29975/stat : 29975 (SatELiteGTI) S 29973 29975 29743 0 -1 4194304 336 2714 0 0 0 0 80 2 16 0 1 0 310552399 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/29975/statm: 1339 239 197 169 0 50 0
[pid=29981] ppid=29975 vsize=122584 CPUtime=759.48
/proc/29981/stat : 29981 (minisat_static) R 29975 29975 29743 0 -1 4194304 30508 0 0 0 75921 27 0 0 25 0 1 0 310552483 125526016 30494 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/29981/statm: 30646 30494 77 171 0 30473 0
Current children cumulated CPU time (s) 760.3
Current children cumulated vsize (KiB) 127940
[startup+822.301 s]
/proc/loadavg: 1.02 1.01 1.03 2/66 29981
/proc/meminfo: memFree=1771044/2055920 swapFree=4160960/4192956
[pid=29975] ppid=29973 vsize=5356 CPUtime=0.82
/proc/29975/stat : 29975 (SatELiteGTI) S 29973 29975 29743 0 -1 4194304 336 2714 0 0 0 0 80 2 16 0 1 0 310552399 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/29975/statm: 1339 239 197 169 0 50 0
[pid=29981] ppid=29975 vsize=122584 CPUtime=819.45
/proc/29981/stat : 29981 (minisat_static) R 29975 29975 29743 0 -1 4194304 30508 0 0 0 81918 27 0 0 25 0 1 0 310552483 125526016 30494 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/29981/statm: 30646 30494 77 171 0 30473 0
Current children cumulated CPU time (s) 820.27
Current children cumulated vsize (KiB) 127940
[startup+882.306 s]
/proc/loadavg: 1.00 1.01 1.02 2/66 29981
/proc/meminfo: memFree=1770980/2055920 swapFree=4160960/4192956
[pid=29975] ppid=29973 vsize=5356 CPUtime=0.82
/proc/29975/stat : 29975 (SatELiteGTI) S 29973 29975 29743 0 -1 4194304 336 2714 0 0 0 0 80 2 16 0 1 0 310552399 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/29975/statm: 1339 239 197 169 0 50 0
[pid=29981] ppid=29975 vsize=122584 CPUtime=879.42
/proc/29981/stat : 29981 (minisat_static) R 29975 29975 29743 0 -1 4194304 30508 0 0 0 87915 27 0 0 25 0 1 0 310552483 125526016 30494 1992294400 134512640 135215339 4294956240 18446744073709551615 134528688 0 0 4096 3 0 0 0 17 0 0 0
/proc/29981/statm: 30646 30494 77 171 0 30473 0
Current children cumulated CPU time (s) 880.24
Current children cumulated vsize (KiB) 127940
[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.02 2/66 29981
/proc/meminfo: memFree=1770852/2055920 swapFree=4160960/4192956
[pid=29975] ppid=29973 vsize=5356 CPUtime=0.82
/proc/29975/stat : 29975 (SatELiteGTI) S 29973 29975 29743 0 -1 4194304 336 2714 0 0 0 0 80 2 16 0 1 0 310552399 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/29975/statm: 1339 239 197 169 0 50 0
[pid=29981] ppid=29975 vsize=122584 CPUtime=939.39
/proc/29981/stat : 29981 (minisat_static) R 29975 29975 29743 0 -1 4194304 30508 0 0 0 93912 27 0 0 25 0 1 0 310552483 125526016 30494 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/29981/statm: 30646 30494 77 171 0 30473 0
Current children cumulated CPU time (s) 940.21
Current children cumulated vsize (KiB) 127940
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.01 2/66 29981
/proc/meminfo: memFree=1770724/2055920 swapFree=4160960/4192956
[pid=29975] ppid=29973 vsize=5356 CPUtime=0.82
/proc/29975/stat : 29975 (SatELiteGTI) S 29973 29975 29743 0 -1 4194304 336 2714 0 0 0 0 80 2 16 0 1 0 310552399 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/29975/statm: 1339 239 197 169 0 50 0
[pid=29981] ppid=29975 vsize=122584 CPUtime=999.36
/proc/29981/stat : 29981 (minisat_static) R 29975 29975 29743 0 -1 4194304 30508 0 0 0 99909 27 0 0 25 0 1 0 310552483 125526016 30494 1992294400 134512640 135215339 4294956240 18446744073709551615 134528881 0 0 4096 3 0 0 0 17 0 0 0
/proc/29981/statm: 30646 30494 77 171 0 30473 0
Current children cumulated CPU time (s) 1000.18
Current children cumulated vsize (KiB) 127940
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.01 2/66 29981
/proc/meminfo: memFree=1770724/2055920 swapFree=4160960/4192956
[pid=29975] ppid=29973 vsize=5356 CPUtime=0.82
/proc/29975/stat : 29975 (SatELiteGTI) S 29973 29975 29743 0 -1 4194304 336 2714 0 0 0 0 80 2 16 0 1 0 310552399 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/29975/statm: 1339 239 197 169 0 50 0
[pid=29981] ppid=29975 vsize=122584 CPUtime=1059.34
/proc/29981/stat : 29981 (minisat_static) R 29975 29975 29743 0 -1 4194304 30508 0 0 0 105907 27 0 0 25 0 1 0 310552483 125526016 30494 1992294400 134512640 135215339 4294956240 18446744073709551615 134528814 0 0 4096 3 0 0 0 17 0 0 0
/proc/29981/statm: 30646 30494 77 171 0 30473 0
Current children cumulated CPU time (s) 1060.16
Current children cumulated vsize (KiB) 127940
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 29981
/proc/meminfo: memFree=1770660/2055920 swapFree=4160960/4192956
[pid=29975] ppid=29973 vsize=5356 CPUtime=0.82
/proc/29975/stat : 29975 (SatELiteGTI) S 29973 29975 29743 0 -1 4194304 336 2714 0 0 0 0 80 2 16 0 1 0 310552399 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/29975/statm: 1339 239 197 169 0 50 0
[pid=29981] ppid=29975 vsize=122584 CPUtime=1119.31
/proc/29981/stat : 29981 (minisat_static) R 29975 29975 29743 0 -1 4194304 30508 0 0 0 111904 27 0 0 25 0 1 0 310552483 125526016 30494 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/29981/statm: 30646 30494 77 171 0 30473 0
Current children cumulated CPU time (s) 1120.13
Current children cumulated vsize (KiB) 127940
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 29981
/proc/meminfo: memFree=1770468/2055920 swapFree=4160960/4192956
[pid=29975] ppid=29973 vsize=5356 CPUtime=0.82
/proc/29975/stat : 29975 (SatELiteGTI) S 29973 29975 29743 0 -1 4194304 336 2714 0 0 0 0 80 2 16 0 1 0 310552399 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/29975/statm: 1339 239 197 169 0 50 0
[pid=29981] ppid=29975 vsize=122584 CPUtime=1179.28
/proc/29981/stat : 29981 (minisat_static) R 29975 29975 29743 0 -1 4194304 30508 0 0 0 117901 27 0 0 25 0 1 0 310552483 125526016 30494 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/29981/statm: 30646 30494 77 171 0 30473 0
Current children cumulated CPU time (s) 1180.1
Current children cumulated vsize (KiB) 127940
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1202.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 29981
/proc/meminfo: memFree=1770468/2055920 swapFree=4160960/4192956
[pid=29975] ppid=29973 vsize=5356 CPUtime=0.82
/proc/29975/stat : 29975 (SatELiteGTI) S 29973 29975 29743 0 -1 4194304 336 2714 0 0 0 0 80 2 16 0 1 0 310552399 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/29975/statm: 1339 239 197 169 0 50 0
[pid=29981] ppid=29975 vsize=122584 CPUtime=1199.28
/proc/29981/stat : 29981 (minisat_static) R 29975 29975 29743 0 -1 4194304 30508 0 0 0 119901 27 0 0 25 0 1 0 310552483 125526016 30494 1992294400 134512640 135215339 4294956240 18446744073709551615 134527396 0 0 4096 3 0 0 0 17 0 0 0
/proc/29981/statm: 30646 30494 77 171 0 30473 0
Current children cumulated CPU time (s) 1200.1
Current children cumulated vsize (KiB) 127940
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 29975 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=808877
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=25996
# CPU time returned by wait4() is 0.834873
# while last known CPU time is 1200.1
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1202.32
CPU time (s): 1200.1
CPU user time (s): 1199.81
CPU system time (s): 0.29
CPU usage (%): 99.8156
Max. virtual memory (cumulated for all children) (KiB): 127940
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.808877
system time used= 0.025996
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3050
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= 9
runsolver used 1.3188 second user time and 3.38549 second system time
The end
Begin job on node90 at 2009-05-20 15:13:53
IDJOB=1833793
IDBENCH=70937
IDSOLVER=671
FILE ID=node90/1833793-1242825233
PBS_JOBID= 9322474
Free space on /tmp= 66256 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/CRAFTED/edgematching/fbcolors/em_11_3_4_fbc.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1833793-1242825233/watcher-1833793-1242825233 -o /tmp/evaluation-result-1833793-1242825233/solver-1833793-1242825233 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1833793-1242825233.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 3f38c028c252f031e9505f68e48a880b
RANDOM SEED=1434472696
node90.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.238
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.238
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5996.54
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1897676 kB
Buffers: 17620 kB
Cached: 84740 kB
SwapCached: 26432 kB
Active: 37724 kB
Inactive: 93168 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1897676 kB
SwapTotal: 4192956 kB
SwapFree: 4160960 kB
Dirty: 3964 kB
Writeback: 0 kB
Mapped: 15940 kB
Slab: 13400 kB
Committed_AS: 909848 kB
PageTables: 1436 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66252 MiB
End job on node90 at 2009-05-20 15:33:58