0.00/0.00 c Parsing...
0.00/0.03 c ==============================================================================
0.00/0.03 c | | ORIGINAL | LEARNT | |
0.00/0.03 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.03 c ==============================================================================
0.00/0.03 c | 0 | 33600 100800 | 10079 0 0 nan | 0.000 % |
0.00/0.10 c | 0 | 33414 101461 | -- 0 -- -- | -- | -186/661
0.00/0.10 c ==============================================================================
0.00/0.10 c Result : #vars: 7813 #clauses: 33414 #literals: 101461
0.00/0.10 c CPU time: 0.097985 s
0.00/0.10 c ==============================================================================
0.00/0.14 c This is MiniSat 2.0 beta
0.00/0.14 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.14 c ============================[ Problem Statistics ]=============================
0.00/0.14 c | |
0.00/0.14 c | Number of variables: 7813 |
0.00/0.14 c | Number of clauses: 33414 |
0.00/0.16 c | Parsing time: 0.02 s |
0.00/0.16 c ============================[ Search Statistics ]==============================
0.00/0.16 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.00/0.16 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.00/0.16 c ===============================================================================
0.00/0.16 c | 0 | 7813 33414 101461 | 11138 0 nan | 0.000 % |
0.00/0.19 c | 100 | 7813 33414 101461 | 11138 100 139 | 0.000 % |
0.12/0.21 c | 200 | 7813 33414 101461 | 11138 200 120 | 0.000 % |
0.12/0.23 c | 303 | 7813 33414 101461 | 11138 303 132 | 0.000 % |
0.12/0.26 c | 414 | 7813 33414 101461 | 11138 414 134 | 0.000 % |
0.12/0.28 c | 514 | 7813 33414 101461 | 11138 514 131 | 0.000 % |
0.12/0.31 c | 624 | 7813 33414 101461 | 11138 624 130 | 0.000 % |
0.12/0.34 c | 745 | 7813 33414 101461 | 11138 745 127 | 0.000 % |
0.12/0.36 c | 845 | 7813 33414 101461 | 11138 845 129 | 0.000 % |
0.12/0.39 c | 955 | 7813 33414 101461 | 11138 955 130 | 0.000 % |
0.12/0.41 c | 1076 | 7813 33414 101461 | 11138 1076 129 | 0.000 % |
0.12/0.45 c | 1209 | 7813 33414 101461 | 11138 1209 136 | 0.000 % |
0.12/0.47 c | 1309 | 7813 33414 101461 | 11138 1309 134 | 0.000 % |
0.12/0.49 c | 1419 | 7813 33414 101461 | 11138 1419 132 | 0.000 % |
0.12/0.52 c | 1540 | 7813 33414 101461 | 11138 1540 131 | 0.000 % |
0.12/0.55 c | 1678 | 7813 33414 101461 | 11138 1678 135 | 0.000 % |
0.12/0.59 c | 1824 | 7813 33414 101461 | 11138 1824 135 | 0.000 % |
0.12/0.61 c | 1924 | 7813 33414 101461 | 11138 1924 134 | 0.000 % |
0.12/0.64 c | 2035 | 7813 33414 101461 | 11138 2035 133 | 0.000 % |
0.12/0.67 c | 2156 | 7813 33414 101461 | 11138 2156 134 | 0.000 % |
0.12/0.70 c | 2289 | 7813 33414 101461 | 11138 2289 134 | 0.000 % |
0.12/0.73 c | 2435 | 7813 33414 101461 | 11138 2435 134 | 0.000 % |
0.12/0.77 c | 2595 | 7813 33414 101461 | 11138 2595 132 | 0.000 % |
0.12/0.80 c | 2695 | 7813 33414 101461 | 11138 2695 132 | 0.000 % |
0.12/0.82 c | 2805 | 7813 33414 101461 | 11138 2805 133 | 0.000 % |
0.12/0.85 c | 2926 | 7813 33414 101461 | 11138 2926 132 | 0.000 % |
0.12/0.89 c | 3059 | 7813 33414 101461 | 11138 3059 132 | 0.000 % |
0.12/0.92 c | 3205 | 7813 33414 101461 | 11138 3205 132 | 0.000 % |
0.12/0.96 c | 3365 | 7813 33414 101461 | 11138 3365 134 | 0.000 % |
0.97/1.00 c | 3541 | 7813 33414 101461 | 11138 3541 134 | 0.000 % |
0.97/1.02 c | 3641 | 7813 33414 101461 | 11138 3641 135 | 0.000 % |
0.97/1.05 c | 3752 | 7813 33414 101461 | 11138 3752 135 | 0.000 % |
0.97/1.08 c | 3873 | 7813 33414 101461 | 11138 3873 135 | 0.000 % |
1.07/1.12 c | 4006 | 7813 33414 101461 | 11138 4006 135 | 0.000 % |
1.07/1.15 c | 4152 | 7813 33414 101461 | 11138 4152 134 | 0.000 % |
1.07/1.19 c | 4313 | 7813 33414 101461 | 11138 4313 134 | 0.000 % |
1.16/1.23 c | 4489 | 7813 33414 101461 | 11138 4489 134 | 0.000 % |
1.16/1.28 c | 4683 | 7813 33414 101461 | 11138 4683 134 | 0.000 % |
1.26/1.31 c | 4784 | 7813 33414 101461 | 11138 4784 134 | 0.000 % |
1.26/1.33 c | 4894 | 7813 33414 101461 | 11138 4894 133 | 0.000 % |
1.26/1.37 c | 5015 | 7813 33414 101461 | 11138 5015 132 | 0.000 % |
1.36/1.40 c | 5149 | 7813 33414 101461 | 11138 5149 132 | 0.000 % |
1.36/1.44 c | 5295 | 7813 33414 101461 | 11138 5295 132 | 0.000 % |
1.36/1.48 c | 5457 | 7813 33414 101461 | 11138 5457 132 | 0.000 % |
1.47/1.53 c | 5637 | 7813 33414 101461 | 11138 5637 133 | 0.000 % |
1.47/1.59 c | 5830 | 7813 33414 101461 | 11138 5830 133 | 0.000 % |
1.57/1.64 c | 6042 | 7813 33414 101461 | 11138 6042 134 | 0.000 % |
1.57/1.67 c | 6142 | 7813 33414 101461 | 11138 6142 134 | 0.000 % |
1.67/1.70 c | 6254 | 7813 33414 101461 | 11138 6254 134 | 0.000 % |
1.67/1.73 c | 6377 | 7813 33414 101461 | 11138 6377 134 | 0.000 % |
1.67/1.77 c | 6510 | 7813 33414 101461 | 11138 6510 134 | 0.000 % |
1.77/1.81 c | 6656 | 7813 33414 101461 | 11138 6656 133 | 0.000 % |
1.77/1.86 c | 6816 | 7813 33414 101461 | 11138 6816 134 | 0.000 % |
1.87/1.90 c | 6992 | 7813 33414 101461 | 11138 6992 134 | 0.000 % |
1.87/1.96 c | 7185 | 7813 33414 101461 | 11138 7185 134 | 0.000 % |
1.97/2.01 c | 7397 | 7813 33414 101461 | 11138 7397 134 | 0.000 % |
1.97/2.08 c | 7634 | 7813 33414 101461 | 11138 7634 134 | 0.000 % |
2.07/2.11 c | 7734 | 7813 33414 101461 | 11138 7734 134 | 0.000 % |
2.07/2.14 c | 7845 | 7813 33414 101461 | 11138 7845 134 | 0.000 % |
2.07/2.17 c | 7966 | 7813 33414 101461 | 11138 7966 134 | 0.000 % |
2.17/2.22 c | 8100 | 7813 33414 101461 | 11138 8100 134 | 0.000 % |
2.17/2.26 c | 8247 | 7813 33414 101461 | 11138 8247 135 | 0.000 % |
2.27/2.30 c | 8407 | 7813 33414 101461 | 11138 8407 134 | 0.000 % |
2.27/2.35 c | 8584 | 7813 33414 101461 | 11138 8584 134 | 0.000 % |
2.37/2.40 c | 8777 | 7813 33414 101461 | 11138 8777 134 | 0.000 % |
2.37/2.46 c | 8989 | 7813 33414 101461 | 11138 8989 134 | 0.000 % |
2.47/2.53 c | 9222 | 7813 33414 101461 | 11138 9222 135 | 0.000 % |
2.57/2.60 c | 9478 | 7813 33414 101461 | 11138 9478 135 | 0.000 % |
2.57/2.63 c | 9578 | 7813 33414 101461 | 11138 9578 135 | 0.000 % |
2.57/2.66 c | 9689 | 7813 33414 101461 | 11138 9689 135 | 0.000 % |
2.57/2.69 c | 9812 | 7813 33414 101461 | 11138 9812 135 | 0.000 % |
2.67/2.73 c | 9945 | 7813 33414 101461 | 11138 9945 135 | 0.000 % |
2.67/2.78 c | 10093 | 7813 33414 101461 | 2147483647 10093 135 | 0.000 % |
2.77/2.82 c | 10254 | 7813 33414 101461 | 2147483647 10254 135 | 0.000 % |
2.77/2.87 c | 10430 | 7813 33414 101461 | 2147483647 10430 136 | 0.000 % |
2.87/2.93 c | 10623 | 7813 33414 101461 | 2147483647 10623 135 | 0.000 % |
2.87/3.00 c | 10835 | 7813 33414 101461 | 2147483647 10835 136 | 0.000 % |
2.97/3.06 c | 11068 | 7813 33414 101461 | 2147483647 11068 136 | 0.000 % |
3.07/3.13 c | 11324 | 7813 33414 101461 | 2147483647 11324 136 | 0.000 % |
3.17/3.22 c | 11605 | 7813 33414 101461 | 2147483647 11605 136 | 0.000 % |
3.17/3.25 c | 11706 | 7813 33414 101461 | 2147483647 11706 136 | 0.000 % |
3.17/3.29 c | 11820 | 7813 33414 101461 | 2147483647 11820 136 | 0.000 % |
3.27/3.32 c | 11943 | 7813 33414 101461 | 2147483647 11943 136 | 0.000 % |
3.27/3.37 c | 12076 | 7813 33414 101461 | 2147483647 12076 136 | 0.000 % |
3.37/3.42 c | 12223 | 7813 33414 101461 | 2147483647 12223 136 | 0.000 % |
3.37/3.46 c | 12383 | 7813 33414 101461 | 2147483647 12383 136 | 0.000 % |
3.47/3.52 c | 12561 | 7813 33414 101461 | 2147483647 12561 136 | 0.000 % |
3.47/3.59 c | 12754 | 7813 33414 101461 | 2147483647 12754 135 | 0.000 % |
3.57/3.65 c | 12967 | 7813 33414 101461 | 2147483647 12967 136 | 0.000 % |
3.67/3.73 c | 13203 | 7813 33414 101461 | 2147483647 13203 136 | 0.000 % |
3.77/3.81 c | 13460 | 7813 33414 101461 | 2147483647 13460 137 | 0.000 % |
3.87/3.90 c | 13742 | 7813 33414 101461 | 2147483647 13742 138 | 0.000 % |
3.87/3.99 c | 14052 | 7813 33414 101461 | 2147483647 14052 139 | 0.000 % |
3.96/4.03 c | 14153 | 7813 33414 101461 | 2147483647 14153 139 | 0.000 % |
3.96/4.07 c | 14263 | 7813 33414 101461 | 2147483647 14263 139 | 0.000 % |
4.06/4.11 c | 14384 | 7813 33414 101461 | 2147483647 14384 139 | 0.000 % |
4.06/4.15 c | 14517 | 7813 33414 101461 | 2147483647 14517 139 | 0.000 % |
4.16/4.21 c | 14665 | 7813 33414 101461 | 2147483647 14665 139 | 0.000 % |
4.16/4.26 c | 14826 | 7813 33414 101461 | 2147483647 14826 139 | 0.000 % |
4.27/4.32 c | 15002 | 7813 33414 101461 | 2147483647 15002 139 | 0.000 % |
4.27/4.38 c | 15197 | 7813 33414 101461 | 2147483647 15197 139 | 0.000 % |
4.37/4.46 c | 15411 | 7813 33414 101461 | 2147483647 15411 139 | 0.000 % |
4.47/4.53 c | 15644 | 7813 33414 101461 | 2147483647 15644 139 | 0.000 % |
4.57/4.62 c | 15901 | 7813 33414 101461 | 2147483647 15901 139 | 0.000 % |
4.67/4.71 c | 16182 | 7813 33414 101461 | 2147483647 16182 139 | 0.000 % |
4.77/4.83 c | 16491 | 7813 33414 101461 | 2147483647 16491 140 | 0.000 % |
4.87/4.94 c | 16830 | 7813 33414 101461 | 2147483647 16830 140 | 0.000 % |
4.87/4.97 c | 16932 | 7813 33414 101461 | 2147483647 16932 140 | 0.000 % |
4.97/5.01 c | 17043 | 7813 33414 101461 | 2147483647 17043 140 | 0.000 % |
4.97/5.05 c | 17164 | 7813 33414 101461 | 2147483647 17164 139 | 0.000 % |
5.06/5.10 c | 17302 | 7813 33414 101461 | 2147483647 17302 139 | 0.000 % |
5.06/5.15 c | 17448 | 7813 33414 101461 | 2147483647 17448 139 | 0.000 % |
5.16/5.20 c | 17608 | 7813 33414 101461 | 2147483647 17608 139 | 0.000 % |
5.16/5.26 c | 17784 | 7813 33414 101461 | 2147483647 17784 140 | 0.000 % |
5.26/5.33 c | 17977 | 7813 33414 101461 | 2147483647 17977 140 | 0.000 % |
5.26/5.40 c | 18189 | 7813 33414 101461 | 2147483647 18189 140 | 0.000 % |
5.37/5.49 c | 18422 | 7813 33414 101461 | 2147483647 18422 139 | 0.000 % |
5.47/5.57 c | 18680 | 7813 33414 101461 | 2147483647 18680 140 | 0.000 % |
5.56/5.67 c | 18961 | 7813 33414 101461 | 2147483647 18961 140 | 0.000 % |
5.66/5.77 c | 19271 | 7813 33414 101461 | 2147483647 19271 140 | 0.000 % |
5.77/5.89 c | 19611 | 7813 33414 101461 | 2147483647 19611 140 | 0.000 % |
5.97/6.02 c | 19983 | 7813 33414 101461 | 2147483647 19983 140 | 0.000 % |
5.97/6.06 c | 20083 | 7813 33414 101461 | 2147483647 20083 140 | 0.000 % |
6.07/6.10 c | 20193 | 7813 33414 101461 | 2147483647 20193 140 | 0.000 % |
6.07/6.15 c | 20314 | 7813 33414 101461 | 2147483647 20314 140 | 0.000 % |
6.17/6.20 c | 20447 | 7813 33414 101461 | 2147483647 20447 140 | 0.000 % |
6.17/6.26 c | 20596 | 7813 33414 101461 | 2147483647 20596 140 | 0.000 % |
6.27/6.33 c | 20757 | 7813 33414 101461 | 2147483647 20757 140 | 0.000 % |
6.27/6.39 c | 20933 | 7813 33414 101461 | 2147483647 20933 139 | 0.000 % |
6.37/6.46 c | 21126 | 7813 33414 101461 | 2147483647 21126 139 | 0.000 % |
6.47/6.55 c | 21338 | 7813 33414 101461 | 2147483647 21338 139 | 0.000 % |
6.57/6.64 c | 21571 | 7813 33414 101461 | 2147483647 21571 139 | 0.000 % |
6.67/6.73 c | 21831 | 7813 33414 101461 | 2147483647 21831 139 | 0.000 % |
6.76/6.84 c | 22113 | 7813 33414 101461 | 2147483647 22113 139 | 0.000 % |
6.86/6.95 c | 22422 | 7813 33414 101461 | 2147483647 22422 139 | 0.000 % |
6.96/7.09 c | 22762 | 7813 33414 101461 | 2147483647 22762 139 | 0.000 % |
7.16/7.22 c | 23134 | 7813 33414 101461 | 2147483647 23134 139 | 0.000 % |
7.26/7.37 c | 23543 | 7813 33414 101461 | 2147483647 23543 139 | 0.000 % |
7.36/7.42 c | 23644 | 7813 33414 101461 | 2147483647 23644 139 | 0.000 % |
7.36/7.46 c | 23754 | 7813 33414 101461 | 2147483647 23754 139 | 0.000 % |
7.46/7.51 c | 23879 | 7813 33414 101461 | 2147483647 23879 139 | 0.000 % |
7.46/7.57 c | 24014 | 7813 33414 101461 | 2147483647 24014 139 | 0.000 % |
7.56/7.63 c | 24161 | 7813 33414 101461 | 2147483647 24161 139 | 0.000 % |
7.56/7.70 c | 24321 | 7813 33414 101461 | 2147483647 24321 139 | 0.000 % |
7.66/7.77 c | 24497 | 7813 33414 101461 | 2147483647 24497 139 | 0.000 % |
7.76/7.84 c | 24690 | 7813 33414 101461 | 2147483647 24690 139 | 0.000 % |
7.86/7.92 c | 24903 | 7813 33414 101461 | 2147483647 24903 139 | 0.000 % |
7.96/8.01 c | 25140 | 7813 33414 101461 | 2147483647 25140 139 | 0.000 % |
8.07/8.11 c | 25398 | 7813 33414 101461 | 2147483647 25398 139 | 0.000 % |
8.17/8.23 c | 25681 | 7813 33414 101461 | 2147483647 25681 139 | 0.000 % |
8.27/8.34 c | 25990 | 7813 33414 101461 | 2147483647 25990 139 | 0.000 % |
8.37/8.47 c | 26329 | 7813 33414 101461 | 2147483647 26329 139 | 0.000 % |
8.57/8.62 c | 26701 | 7813 33414 101461 | 2147483647 26701 140 | 0.000 % |
8.67/8.77 c | 27110 | 7813 33414 101461 | 2147483647 27110 140 | 0.000 % |
8.87/8.96 c | 27560 | 7813 33414 101461 | 2147483647 27560 141 | 0.000 % |
8.97/9.01 c | 27660 | 7813 33414 101461 | 2147483647 27660 141 | 0.000 % |
8.97/9.05 c | 27771 | 7813 33414 101461 | 2147483647 27771 140 | 0.000 % |
8.97/9.10 c | 27893 | 7813 33414 101461 | 2147483647 27893 140 | 0.000 % |
9.07/9.16 c | 28026 | 7813 33414 101461 | 2147483647 28026 140 | 0.000 % |
9.17/9.22 c | 28173 | 7813 33414 101461 | 2147483647 28173 140 | 0.000 % |
9.17/9.29 c | 28333 | 7813 33414 101461 | 2147483647 28333 140 | 0.000 % |
9.27/9.36 c | 28509 | 7813 33414 101461 | 2147483647 28509 140 | 0.000 % |
9.37/9.45 c | 28702 | 7813 33414 101461 | 2147483647 28702 140 | 0.000 % |
9.47/9.54 c | 28916 | 7813 33414 101461 | 2147483647 28916 140 | 0.000 % |
9.57/9.63 c | 29149 | 7813 33414 101461 | 2147483647 29149 140 | 0.000 % |
9.67/9.75 c | 29405 | 7813 33414 101461 | 2147483647 29405 141 | 0.000 % |
9.77/9.87 c | 29686 | 7813 33414 101461 | 2147483647 29686 141 | 0.000 % |
9.87/9.99 c | 29996 | 7813 33414 101461 | 2147483647 29996 141 | 0.000 % |
10.06/10.14 c | 30337 | 7813 33414 101461 | 2147483647 30337 140 | 0.000 % |
10.16/10.28 c | 30711 | 7813 33414 101461 | 2147483647 30711 141 | 0.000 % |
10.36/10.45 c | 31122 | 7813 33414 101461 | 2147483647 31122 141 | 0.000 % |
10.56/10.65 c | 31571 | 7813 33414 101461 | 2147483647 31571 141 | 0.000 % |
10.76/10.87 c | 32064 | 7813 33414 101461 | 2147483647 32064 142 | 0.000 % |
10.86/10.92 c | 32164 | 7813 33414 101461 | 2147483647 32164 142 | 0.000 % |
10.86/10.98 c | 32274 | 7813 33414 101461 | 2147483647 32274 142 | 0.000 % |
10.96/11.04 c | 32397 | 7813 33414 101461 | 2147483647 32397 142 | 0.000 % |
11.06/11.10 c | 32532 | 7813 33414 101461 | 2147483647 32532 141 | 0.000 % |
11.06/11.17 c | 32678 | 7813 33414 101461 | 2147483647 32678 141 | 0.000 % |
11.16/11.24 c | 32842 | 7813 33414 101461 | 2147483647 32842 141 | 0.000 % |
11.26/11.32 c | 33018 | 7813 33414 101461 | 2147483647 33018 141 | 0.000 % |
11.36/11.41 c | 33213 | 7813 33414 101461 | 2147483647 33213 142 | 0.000 % |
11.46/11.51 c | 33427 | 7813 33414 101461 | 2147483647 33427 141 | 0.000 % |
11.56/11.62 c | 33660 | 7813 33414 101461 | 2147483647 33660 141 | 0.000 % |
11.66/11.73 c | 33919 | 7813 33414 101461 | 2147483647 33919 141 | 0.000 % |
11.77/11.86 c | 34200 | 7813 33414 101461 | 2147483647 34200 142 | 0.000 % |
11.87/11.99 c | 34512 | 7813 33414 101461 | 2147483647 34512 142 | 0.000 % |
12.06/12.15 c | 34853 | 7813 33414 101461 | 2147483647 34853 142 | 0.000 % |
12.26/12.32 c | 35227 | 7813 33414 101461 | 2147483647 35227 143 | 0.000 % |
12.46/12.50 c | 35638 | 7813 33414 101461 | 2147483647 35638 143 | 0.000 % |
12.56/12.70 c | 36087 | 7813 33414 101461 | 2147483647 36087 143 | 0.000 % |
12.86/12.92 c | 36582 | 7813 33414 101461 | 2147483647 36582 143 | 0.000 % |
13.06/13.16 c | 37126 | 7813 33414 101461 | 2147483647 37126 143 | 0.000 % |
13.16/13.22 c | 37226 | 7813 33414 101461 | 2147483647 37226 143 | 0.000 % |
13.16/13.27 c | 37338 | 7813 33414 101461 | 2147483647 37338 143 | 0.000 % |
13.25/13.33 c | 37461 | 7813 33414 101461 | 2147483647 37461 143 | 0.000 % |
13.25/13.39 c | 37594 | 7813 33414 101461 | 2147483647 37594 143 | 0.000 % |
13.35/13.46 c | 37740 | 7813 33414 101461 | 2147483647 37740 143 | 0.000 % |
13.45/13.54 c | 37903 | 7813 33414 101461 | 2147483647 37903 143 | 0.000 % |
13.55/13.63 c | 38079 | 7813 33414 101461 | 2147483647 38079 143 | 0.000 % |
13.65/13.72 c | 38275 | 7813 33414 101461 | 2147483647 38275 143 | 0.000 % |
13.75/13.83 c | 38488 | 7813 33414 101461 | 2147483647 38488 143 | 0.000 % |
13.85/13.94 c | 38721 | 7813 33414 101461 | 2147483647 38721 143 | 0.000 % |
13.95/14.05 c | 38979 | 7813 33414 101461 | 2147483647 38979 143 | 0.000 % |
14.06/14.19 c | 39260 | 7813 33414 101461 | 2147483647 39260 143 | 0.000 % |
14.26/14.34 c | 39571 | 7813 33414 101461 | 2147483647 39571 144 | 0.000 % |
14.46/14.50 c | 39910 | 7813 33414 101461 | 2147483647 39910 143 | 0.000 % |
14.56/14.68 c | 40282 | 7813 33414 101461 | 2147483647 40282 143 | 0.000 % |
14.76/14.87 c | 40692 | 7813 33414 101461 | 2147483647 40692 144 | 0.000 % |
14.96/15.07 c | 41141 | 7813 33414 101461 | 2147483647 41141 144 | 0.000 % |
15.26/15.31 c | 41636 | 7813 33414 101461 | 2147483647 41636 144 | 0.000 % |
15.45/15.55 c | 42179 | 7813 33414 101461 | 2147483647 42179 144 | 0.000 % |
15.75/15.84 c | 42777 | 7813 33414 101461 | 2147483647 42777 145 | 0.000 % |
15.75/15.89 c | 42878 | 7813 33414 101461 | 2147483647 42878 145 | 0.000 % |
15.85/15.94 c | 42988 | 7813 33414 101461 | 2147483647 42988 145 | 0.000 % |
15.95/16.01 c | 43109 | 7813 33414 101461 | 2147483647 43109 145 | 0.000 % |
15.95/16.07 c | 43243 | 7813 33414 101461 | 2147483647 43243 145 | 0.000 % |
16.05/16.14 c | 43389 | 7813 33414 101461 | 2147483647 43389 145 | 0.000 % |
16.15/16.22 c | 43549 | 7813 33414 101461 | 2147483647 43549 145 | 0.000 % |
16.25/16.32 c | 43726 | 7813 33414 101461 | 2147483647 43726 145 | 0.000 % |
16.35/16.42 c | 43919 | 7813 33414 101461 | 2147483647 43919 145 | 0.000 % |
16.45/16.53 c | 44132 | 7813 33414 101461 | 2147483647 44132 145 | 0.000 % |
16.55/16.65 c | 44365 | 7813 33414 101461 | 2147483647 44365 145 | 0.000 % |
16.65/16.77 c | 44621 | 7813 33414 101461 | 2147483647 44621 145 | 0.000 % |
16.85/16.92 c | 44902 | 7813 33414 101461 | 2147483647 44902 145 | 0.000 % |
16.96/17.09 c | 45212 | 7813 33414 101461 | 2147483647 45212 145 | 0.000 % |
17.16/17.25 c | 45551 | 7813 33414 101461 | 2147483647 45551 145 | 0.000 % |
17.36/17.45 c | 45924 | 7813 33414 101461 | 2147483647 45924 145 | 0.000 % |
17.56/17.67 c | 46333 | 7813 33414 101461 | 2147483647 46333 145 | 0.000 % |
17.76/17.90 c | 46784 | 7813 33414 101461 | 2147483647 46784 145 | 0.000 % |
18.05/18.14 c | 47278 | 7813 33414 101461 | 2147483647 47278 145 | 0.000 % |
18.35/18.43 c | 47820 | 7813 33414 101461 | 2147483647 47820 146 | 0.000 % |
18.66/18.72 c | 48417 | 7813 33414 101461 | 2147483647 48417 146 | 0.000 % |
18.95/19.06 c | 49072 | 7813 33414 101461 | 2147483647 49072 146 | 0.000 % |
19.05/19.12 c | 49173 | 7813 33414 101461 | 2147483647 49173 146 | 0.000 % |
19.05/19.19 c | 49283 | 7813 33414 101461 | 2147483647 49283 146 | 0.000 % |
19.15/19.26 c | 49404 | 7813 33414 101461 | 2147483647 49404 146 | 0.000 % |
19.25/19.33 c | 49537 | 7813 33414 101461 | 2147483647 49537 146 | 0.000 % |
19.35/19.43 c | 49683 | 7813 33414 101461 | 2147483647 49683 146 | 0.000 % |
19.45/19.52 c | 49844 | 7813 33414 101461 | 2147483647 49844 146 | 0.000 % |
19.55/19.62 c | 50020 | 7813 33414 101461 | 2147483647 50020 146 | 0.000 % |
19.65/19.73 c | 50214 | 7813 33414 101461 | 2147483647 50214 146 | 0.000 % |
19.75/19.85 c | 50427 | 7813 33414 101461 | 2147483647 50427 146 | 0.000 % |
19.85/19.97 c | 50660 | 7813 33414 101461 | 2147483647 50660 146 | 0.000 % |
20.05/20.11 c | 50917 | 7813 33414 101461 | 2147483647 50917 146 | 0.000 % |
20.15/20.27 c | 51199 | 7813 33414 101461 | 2147483647 51199 146 | 0.000 % |
20.35/20.44 c | 51508 | 7813 33414 101461 | 2147483647 51508 146 | 0.000 % |
20.56/20.64 c | 51848 | 7813 33414 101461 | 2147483647 51848 146 | 0.000 % |
20.76/20.84 c | 52221 | 7813 33414 101461 | 2147483647 52221 146 | 0.000 % |
20.95/21.07 c | 52631 | 7813 33414 101461 | 2147483647 52631 146 | 0.000 % |
21.25/21.32 c | 53082 | 7813 33414 101461 | 2147483647 53082 147 | 0.000 % |
21.55/21.61 c | 53575 | 7813 33414 101461 | 2147483647 53575 147 | 0.000 % |
21.75/21.88 c | 54117 | 7813 33414 101461 | 2147483647 54117 147 | 0.000 % |
22.15/22.21 c | 54714 | 7813 33414 101461 | 2147483647 54714 147 | 0.000 % |
22.45/22.57 c | 55370 | 7813 33414 101461 | 2147483647 55370 148 | 0.000 % |
22.85/22.99 c | 56090 | 7813 33414 101461 | 2147483647 56090 149 | 0.000 % |
22.95/23.06 c | 56192 | 7813 33414 101461 | 2147483647 56192 149 | 0.000 % |
23.05/23.13 c | 56303 | 7813 33414 101461 | 2147483647 56303 148 | 0.000 % |
23.14/23.21 c | 56425 | 7813 33414 101461 | 2147483647 56425 148 | 0.000 % |
23.24/23.30 c | 56558 | 7813 33414 101461 | 2147483647 56558 148 | 0.000 % |
23.24/23.39 c | 56707 | 7813 33414 101461 | 2147483647 56707 148 | 0.000 % |
23.34/23.49 c | 56867 | 7813 33414 101461 | 2147483647 56867 148 | 0.000 % |
23.54/23.60 c | 57043 | 7813 33414 101461 | 2147483647 57043 148 | 0.000 % |
23.64/23.74 c | 57236 | 7813 33414 101461 | 2147483647 57236 148 | 0.000 % |
23.74/23.86 c | 57449 | 7813 33414 101461 | 2147483647 57449 148 | 0.000 % |
23.94/24.00 c | 57682 | 7813 33414 101461 | 2147483647 57682 148 | 0.000 % |
24.06/24.15 c | 57939 | 7813 33414 101461 | 2147483647 57939 148 | 0.000 % |
24.25/24.33 c | 58220 | 7813 33414 101461 | 2147483647 58220 148 | 0.000 % |
24.45/24.52 c | 58531 | 7813 33414 101461 | 2147483647 58531 148 | 0.000 % |
24.65/24.72 c | 58870 | 7813 33414 101461 | 2147483647 58870 148 | 0.000 % |
24.85/24.94 c | 59242 | 7813 33414 101461 | 2147483647 59242 148 | 0.000 % |
25.05/25.14 c | 59651 | 7813 33414 101461 | 2147483647 59651 149 | 0.000 % |
25.34/25.41 c | 60101 | 7813 33414 101461 | 2147483647 60101 149 | 0.000 % |
25.64/25.71 c | 60594 | 7813 33414 101461 | 2147483647 60594 149 | 0.000 % |
25.95/26.06 c | 61137 | 7813 33414 101461 | 2147483647 61137 149 | 0.000 % |
26.36/26.42 c | 61734 | 7813 33414 101461 | 2147483647 61734 149 | 0.000 % |
26.75/26.82 c | 62389 | 7813 33414 101461 | 2147483647 62389 149 | 0.000 % |
27.15/27.26 c | 63110 | 7813 33414 101461 | 2147483647 63110 150 | 0.000 % |
27.65/27.76 c | 63902 | 7813 33414 101461 | 2147483647 63902 150 | 0.000 % |
27.75/27.84 c | 64002 | 7813 33414 101461 | 2147483647 64002 150 | 0.000 % |
27.85/27.93 c | 64112 | 7813 33414 101461 | 2147483647 64112 150 | 0.000 % |
27.95/28.01 c | 64234 | 7813 33414 101461 | 2147483647 64234 150 | 0.000 % |
28.05/28.10 c | 64367 | 7813 33414 101461 | 2147483647 64367 150 | 0.000 % |
28.05/28.19 c | 64514 | 7813 33414 101461 | 2147483647 64514 150 | 0.000 % |
28.25/28.31 c | 64674 | 7813 33414 101461 | 2147483647 64674 150 | 0.000 % |
28.35/28.41 c | 64850 | 7813 33414 101461 | 2147483647 64850 150 | 0.000 % |
28.45/28.54 c | 65043 | 7813 33414 101461 | 2147483647 65043 150 | 0.000 % |
28.55/28.69 c | 65255 | 7813 33414 101461 | 2147483647 65255 150 | 0.000 % |
28.74/28.85 c | 65488 | 7813 33414 101461 | 2147483647 65488 150 | 0.000 % |
28.94/29.01 c | 65745 | 7813 33414 101461 | 2147483647 65745 150 | 0.000 % |
29.04/29.19 c | 66026 | 7813 33414 101461 | 2147483647 66026 150 | 0.000 % |
29.34/29.41 c | 66338 | 7813 33414 101461 | 2147483647 66338 150 | 0.000 % |
29.55/29.63 c | 66677 | 7813 33414 101461 | 2147483647 66677 150 | 0.000 % |
29.75/29.87 c | 67049 | 7813 33414 101461 | 2147483647 67049 150 | 0.000 % |
30.05/30.13 c | 67458 | 7813 33414 101461 | 2147483647 67458 150 | 0.000 % |
30.35/30.41 c | 67908 | 7813 33414 101461 | 2147483647 67908 150 | 0.000 % |
30.65/30.74 c | 68401 | 7813 33414 101461 | 2147483647 68401 150 | 0.000 % |
30.94/31.09 c | 68943 | 7813 33414 101461 | 2147483647 68943 150 | 0.000 % |
31.34/31.48 c | 69539 | 7813 33414 101461 | 2147483647 69539 150 | 0.000 % |
31.74/31.90 c | 70194 | 7813 33414 101461 | 2147483647 70194 150 | 0.000 % |
32.24/32.36 c | 70914 | 7813 33414 101461 | 2147483647 70914 150 | 0.000 % |
32.74/32.84 c | 71706 | 7813 33414 101461 | 2147483647 71706 151 | 0.000 % |
33.24/33.39 c | 72578 | 7813 33414 101461 | 2147483647 72578 150 | 0.000 % |
33.34/33.47 c | 72678 | 7813 33414 101461 | 2147483647 72678 150 | 0.000 % |
33.44/33.55 c | 72788 | 7813 33414 101461 | 2147483647 72788 150 | 0.000 % |
33.54/33.65 c | 72910 | 7813 33414 101461 | 2147483647 72910 150 | 0.000 % |
33.64/33.75 c | 73043 | 7813 33414 101461 | 2147483647 73043 150 | 0.000 % |
33.74/33.86 c | 73189 | 7813 33414 101461 | 2147483647 73189 150 | 0.000 % |
33.84/33.97 c | 73349 | 7813 33414 101461 | 2147483647 73349 150 | 0.000 % |
34.04/34.10 c | 73527 | 7813 33414 101461 | 2147483647 73527 150 | 0.000 % |
34.14/34.26 c | 73723 | 7813 33414 101461 | 2147483647 73723 150 | 0.000 % |
34.34/34.42 c | 73938 | 7813 33414 101461 | 2147483647 73938 150 | 0.000 % |
34.44/34.57 c | 74171 | 7813 33414 101461 | 2147483647 74171 150 | 0.000 % |
34.64/34.74 c | 74427 | 7813 33414 101461 | 2147483647 74427 150 | 0.000 % |
34.84/34.94 c | 74708 | 7813 33414 101461 | 2147483647 74708 150 | 0.000 % |
35.05/35.14 c | 75018 | 7813 33414 101461 | 2147483647 75018 150 | 0.000 % |
35.24/35.38 c | 75358 | 7813 33414 101461 | 2147483647 75358 150 | 0.000 % |
35.54/35.64 c | 75732 | 7813 33414 101461 | 2147483647 75732 150 | 0.000 % |
35.84/35.93 c | 76144 | 7813 33414 101461 | 2147483647 76144 151 | 0.000 % |
36.15/36.25 c | 76593 | 7813 33414 101461 | 2147483647 76593 151 | 0.000 % |
36.54/36.60 c | 77087 | 7813 33414 101461 | 2147483647 77087 151 | 0.000 % |
36.84/36.97 c | 77629 | 7813 33414 101461 | 2147483647 77629 151 | 0.000 % |
37.24/37.38 c | 78225 | 7813 33414 101461 | 2147483647 78225 151 | 0.000 % |
37.74/37.83 c | 78882 | 7813 33414 101461 | 2147483647 78882 151 | 0.000 % |
38.24/38.32 c | 79602 | 7813 33414 101461 | 2147483647 79602 151 | 0.000 % |
38.74/38.85 c | 80396 | 7813 33414 101461 | 2147483647 80396 151 | 0.000 % |
39.34/39.43 c | 81268 | 7813 33414 101461 | 2147483647 81268 152 | 0.000 % |
40.04/40.10 c | 82227 | 7813 33414 101461 | 2147483647 82227 152 | 0.000 % |
40.04/40.18 c | 82330 | 7813 33414 101461 | 2147483647 82330 152 | 0.000 % |
40.14/40.28 c | 82440 | 7813 33414 101461 | 2147483647 82440 152 | 0.000 % |
40.24/40.38 c | 82561 | 7813 33414 101461 | 2147483647 82561 152 | 0.000 % |
40.43/40.50 c | 82698 | 7813 33414 101461 | 2147483647 82698 152 | 0.000 % |
40.54/40.61 c | 82844 | 7813 33414 101461 | 2147483647 82844 152 | 0.000 % |
40.64/40.73 c | 83004 | 7813 33414 101461 | 2147483647 83004 152 | 0.000 % |
40.73/40.88 c | 83181 | 7813 33414 101461 | 2147483647 83181 152 | 0.000 % |
40.93/41.02 c | 83375 | 7813 33414 101461 | 2147483647 83375 152 | 0.000 % |
41.03/41.19 c | 83588 | 7813 33414 101461 | 2147483647 83588 152 | 0.000 % |
41.23/41.36 c | 83826 | 7813 33414 101461 | 2147483647 83826 152 | 0.000 % |
41.44/41.56 c | 84083 | 7813 33414 101461 | 2147483647 84083 152 | 0.000 % |
41.64/41.77 c | 84365 | 7813 33414 101461 | 2147483647 84365 152 | 0.000 % |
41.94/42.01 c | 84675 | 7813 33414 101461 | 2147483647 84675 152 | 0.000 % |
42.14/42.29 c | 85014 | 7813 33414 101461 | 2147483647 85014 152 | 0.000 % |
42.44/42.56 c | 85386 | 7813 33414 101461 | 2147483647 85386 152 | 0.000 % |
42.74/42.87 c | 85795 | 7813 33414 101461 | 2147483647 85795 152 | 0.000 % |
43.14/43.20 c | 86245 | 7813 33414 101461 | 2147483647 86245 152 | 0.000 % |
43.44/43.57 c | 86742 | 7813 33414 101461 | 2147483647 86742 152 | 0.000 % |
43.94/44.00 c | 87286 | 7813 33414 101461 | 2147483647 87286 152 | 0.000 % |
44.33/44.43 c | 87882 | 7813 33414 101461 | 2147483647 87882 152 | 0.000 % |
44.83/44.93 c | 88539 | 7813 33414 101461 | 2147483647 88539 152 | 0.000 % |
45.33/45.49 c | 89260 | 7813 33414 101461 | 2147483647 89260 152 | 0.000 % |
45.93/46.09 c | 90052 | 7813 33414 101461 | 2147483647 90052 152 | 0.000 % |
46.63/46.75 c | 90924 | 7813 33414 101461 | 2147483647 90924 153 | 0.000 % |
47.33/47.46 c | 91883 | 7813 33414 101461 | 2147483647 91883 153 | 0.000 % |
48.13/48.22 c | 92937 | 7813 33414 101461 | 2147483647 92937 153 | 0.000 % |
48.23/48.30 c | 93038 | 7813 33414 101461 | 2147483647 93038 153 | 0.000 % |
48.33/48.41 c | 93148 | 7813 33414 101461 | 2147483647 93148 153 | 0.000 % |
48.43/48.52 c | 93271 | 7813 33414 101461 | 2147483647 93271 153 | 0.000 % |
48.53/48.64 c | 93404 | 7813 33414 101461 | 2147483647 93404 153 | 0.000 % |
48.63/48.77 c | 93550 | 7813 33414 101461 | 2147483647 93550 153 | 0.000 % |
48.83/48.94 c | 93711 | 7813 33414 101461 | 2147483647 93711 153 | 0.000 % |
49.03/49.10 c | 93889 | 7813 33414 101461 | 2147483647 93889 153 | 0.000 % |
49.13/49.27 c | 94082 | 7813 33414 101461 | 2147483647 94082 153 | 0.000 % |
49.33/49.46 c | 94295 | 7813 33414 101461 | 2147483647 94295 153 | 0.000 % |
49.53/49.65 c | 94528 | 7813 33414 101461 | 2147483647 94528 153 | 0.000 % |
49.73/49.86 c | 94785 | 7813 33414 101461 | 2147483647 94785 153 | 0.000 % |
49.93/50.07 c | 95069 | 7813 33414 101461 | 2147483647 95069 153 | 0.000 % |
50.23/50.33 c | 95380 | 7813 33414 101461 | 2147483647 95380 153 | 0.000 % |
50.43/50.59 c | 95724 | 7813 33414 101461 | 2147483647 95724 153 | 0.000 % |
50.73/50.88 c | 96096 | 7813 33414 101461 | 2147483647 96096 153 | 0.000 % |
51.14/51.20 c | 96509 | 7813 33414 101461 | 2147483647 96509 153 | 0.000 % |
51.44/51.55 c | 96959 | 7813 33414 101461 | 2147483647 96959 153 | 0.000 % |
51.83/51.95 c | 97455 | 7813 33414 101461 | 2147483647 97455 153 | 0.000 % |
52.23/52.34 c | 97998 | 7813 33414 101461 | 2147483647 97998 153 | 0.000 % |
52.73/52.83 c | 98597 | 7813 33414 101461 | 2147483647 98597 153 | 0.000 % |
53.23/53.33 c | 99252 | 7813 33414 101461 | 2147483647 99252 153 | 0.000 % |
53.74/53.88 c | 99972 | 7813 33414 101461 | 2147483647 99972 153 | 0.000 % |
54.43/54.52 c | 100765 | 7813 33414 101461 | 2147483647 100765 153 | 0.000 % |
55.13/55.22 c | 101637 | 7813 33414 101461 | 2147483647 101637 154 | 0.000 % |
55.83/55.97 c | 102596 | 7813 33414 101461 | 2147483647 102596 154 | 0.000 % |
56.73/56.81 c | 103649 | 7813 33414 101461 | 2147483647 103649 154 | 0.000 % |
57.73/57.81 c | 104807 | 7813 33414 101461 | 2147483647 104807 154 | 0.000 % |
57.83/57.92 c | 104907 | 7813 33414 101461 | 2147483647 104907 154 | 0.000 % |
57.93/58.03 c | 105017 | 7813 33414 101461 | 2147483647 105017 154 | 0.000 % |
58.02/58.15 c | 105138 | 7813 33414 101461 | 2147483647 105138 154 | 0.000 % |
58.13/58.28 c | 105272 | 7813 33414 101461 | 2147483647 105272 154 | 0.000 % |
58.32/58.42 c | 105420 | 7813 33414 101461 | 2147483647 105420 154 | 0.000 % |
58.42/58.55 c | 105580 | 7813 33414 101461 | 2147483647 105580 154 | 0.000 % |
58.62/58.71 c | 105756 | 7813 33414 101461 | 2147483647 105756 154 | 0.000 % |
58.72/58.87 c | 105950 | 7813 33414 101461 | 2147483647 105950 154 | 0.000 % |
58.92/59.07 c | 106165 | 7813 33414 101461 | 2147483647 106165 154 | 0.000 % |
59.12/59.27 c | 106399 | 7813 33414 101461 | 2147483647 106399 154 | 0.000 % |
59.33/59.48 c | 106655 | 7813 33414 101461 | 2147483647 106655 154 | 0.000 % |
59.62/59.74 c | 106937 | 7813 33414 101461 | 2147483647 106937 154 | 0.000 % |
59.92/60.02 c | 107249 | 7813 33414 101461 | 2147483647 107249 154 | 0.000 % |
60.22/60.31 c | 107588 | 7813 33414 101461 | 2147483647 107588 154 | 0.000 % |
60.52/60.67 c | 107961 | 7813 33414 101461 | 2147483647 107961 154 | 0.000 % |
60.92/61.02 c | 108371 | 7813 33414 101461 | 2147483647 108371 154 | 0.000 % |
61.32/61.40 c | 108821 | 7813 33414 101461 | 2147483647 108821 154 | 0.000 % |
61.72/61.84 c | 109314 | 7813 33414 101461 | 2147483647 109314 154 | 0.000 % |
62.21/62.33 c | 109856 | 7813 33414 101461 | 2147483647 109856 154 | 0.000 % |
62.72/62.82 c | 110452 | 7813 33414 101461 | 2147483647 110452 154 | 0.000 % |
63.32/63.44 c | 111108 | 7813 33414 101461 | 2147483647 111108 154 | 0.000 % |
63.92/64.08 c | 111828 | 7813 33414 101461 | 2147483647 111828 154 | 0.000 % |
64.62/64.72 c | 112623 | 7813 33414 101461 | 2147483647 112623 155 | 0.000 % |
65.32/65.46 c | 113494 | 7813 33414 101461 | 2147483647 113494 155 | 0.000 % |
66.11/66.28 c | 114453 | 7813 33414 101461 | 2147483647 114453 155 | 0.000 % |
67.12/67.22 c | 115507 | 7813 33414 101461 | 2147483647 115507 155 | 0.000 % |
68.12/68.23 c | 116666 | 7813 33414 101461 | 2147483647 116666 155 | 0.000 % |
69.32/69.40 c | 117940 | 7813 33414 101461 | 2147483647 117940 155 | 0.000 % |
69.41/69.51 c | 118041 | 7813 33414 101461 | 2147483647 118041 155 | 0.000 % |
69.51/69.62 c | 118152 | 7813 33414 101461 | 2147483647 118152 155 | 0.000 % |
69.61/69.75 c | 118273 | 7813 33414 101461 | 2147483647 118273 155 | 0.000 % |
69.71/69.89 c | 118406 | 7813 33414 101461 | 2147483647 118406 155 | 0.000 % |
69.91/70.03 c | 118552 | 7813 33414 101461 | 2147483647 118552 155 | 0.000 % |
70.11/70.22 c | 118712 | 7813 33414 101461 | 2147483647 118712 155 | 0.000 % |
70.32/70.42 c | 118889 | 7813 33414 101461 | 2147483647 118889 155 | 0.000 % |
70.51/70.63 c | 119083 | 7813 33414 101461 | 2147483647 119083 155 | 0.000 % |
70.71/70.86 c | 119295 | 7813 33414 101461 | 2147483647 119295 155 | 0.000 % |
70.92/71.08 c | 119528 | 7813 33414 101461 | 2147483647 119528 155 | 0.000 % |
71.22/71.34 c | 119784 | 7813 33414 101461 | 2147483647 119784 155 | 0.000 % |
71.52/71.62 c | 120066 | 7813 33414 101461 | 2147483647 120066 155 | 0.000 % |
71.82/71.93 c | 120376 | 7813 33414 101461 | 2147483647 120376 155 | 0.000 % |
72.12/72.23 c | 120717 | 7813 33414 101461 | 2147483647 120717 155 | 0.000 % |
72.42/72.54 c | 121091 | 7813 33414 101461 | 2147483647 121091 155 | 0.000 % |
72.82/72.93 c | 121502 | 7813 33414 101461 | 2147483647 121502 155 | 0.000 % |
73.22/73.35 c | 121951 | 7813 33414 101461 | 2147483647 121951 155 | 0.000 % |
73.72/73.82 c | 122446 | 7813 33414 101461 | 2147483647 122446 155 | 0.000 % |
74.12/74.29 c | 122990 | 7813 33414 101461 | 2147483647 122990 155 | 0.000 % |
74.72/74.83 c | 123586 | 7813 33414 101461 | 2147483647 123586 155 | 0.000 % |
75.41/75.50 c | 124241 | 7813 33414 101461 | 2147483647 124241 155 | 0.000 % |
76.01/76.15 c | 124963 | 7813 33414 101461 | 2147483647 124963 155 | 0.000 % |
76.81/76.90 c | 125755 | 7813 33414 101461 | 2147483647 125755 155 | 0.000 % |
77.61/77.74 c | 126629 | 7813 33414 101461 | 2147483647 126629 155 | 0.000 % |
78.51/78.65 c | 127588 | 7813 33414 101461 | 2147483647 127588 155 | 0.000 % |
79.51/79.65 c | 128645 | 7813 33414 101461 | 2147483647 128645 155 | 0.000 % |
80.61/80.73 c | 129803 | 7813 33414 101461 | 2147483647 129803 155 | 0.000 % |
81.72/81.90 c | 131076 | 7813 33414 101461 | 2147483647 131076 156 | 0.000 % |
83.11/83.26 c | 132476 | 7813 33414 101461 | 2147483647 132476 156 | 0.000 % |
83.21/83.38 c | 132578 | 7813 33414 101461 | 2147483647 132578 156 | 0.000 % |
83.41/83.53 c | 132688 | 7813 33414 101461 | 2147483647 132688 156 | 0.000 % |
83.51/83.66 c | 132810 | 7813 33414 101461 | 2147483647 132810 156 | 0.000 % |
83.71/83.82 c | 132943 | 7813 33414 101461 | 2147483647 132943 156 | 0.000 % |
83.81/83.97 c | 133089 | 7813 33414 101461 | 2147483647 133089 156 | 0.000 % |
84.01/84.18 c | 133251 | 7813 33414 101461 | 2147483647 133251 156 | 0.000 % |
84.21/84.37 c | 133427 | 7813 33414 101461 | 2147483647 133427 156 | 0.000 % |
84.41/84.60 c | 133621 | 7813 33414 101461 | 2147483647 133621 156 | 0.000 % |
84.71/84.81 c | 133833 | 7813 33414 101461 | 2147483647 133833 156 | 0.000 % |
84.91/85.06 c | 134067 | 7813 33414 101461 | 2147483647 134067 156 | 0.000 % |
85.21/85.34 c | 134324 | 7813 33414 101461 | 2147483647 134324 156 | 0.000 % |
85.52/85.66 c | 134607 | 7813 33414 101461 | 2147483647 134607 156 | 0.000 % |
85.81/85.99 c | 134916 | 7813 33414 101461 | 2147483647 134916 156 | 0.000 % |
86.21/86.36 c | 135255 | 7813 33414 101461 | 2147483647 135255 156 | 0.000 % |
86.61/86.75 c | 135627 | 7813 33414 101461 | 2147483647 135627 156 | 0.000 % |
87.01/87.16 c | 136036 | 7813 33414 101461 | 2147483647 136036 156 | 0.000 % |
87.51/87.65 c | 136485 | 7813 33414 101461 | 2147483647 136485 156 | 0.000 % |
88.01/88.18 c | 136979 | 7813 33414 101461 | 2147483647 136979 156 | 0.000 % |
88.61/88.76 c | 137521 | 7813 33414 101461 | 2147483647 137521 156 | 0.000 % |
89.30/89.42 c | 138117 | 7813 33414 101461 | 2147483647 138117 156 | 0.000 % |
89.91/90.06 c | 138773 | 7813 33414 101461 | 2147483647 138773 156 | 0.000 % |
90.61/90.74 c | 139493 | 7813 33414 101461 | 2147483647 139493 156 | 0.000 % |
91.40/91.58 c | 140288 | 7813 33414 101461 | 2147483647 140288 156 | 0.000 % |
92.31/92.46 c | 141159 | 7813 33414 101461 | 2147483647 141159 156 | 0.000 % |
93.31/93.46 c | 142117 | 7813 33414 101461 | 2147483647 142117 156 | 0.000 % |
94.41/94.52 c | 143171 | 7813 33414 101461 | 2147483647 143171 156 | 0.000 % |
95.51/95.68 c | 144333 | 7813 33414 101461 | 2147483647 144333 157 | 0.000 % |
96.81/96.97 c | 145607 | 7813 33414 101461 | 2147483647 145607 157 | 0.000 % |
98.10/98.29 c | 147008 | 7813 33414 101461 | 2147483647 147008 157 | 0.000 % |
99.80/99.91 c | 148549 | 7813 33414 101461 | 2147483647 148549 157 | 0.000 % |
99.90/100.05 c | 148649 | 7813 33414 101461 | 2147483647 148649 157 | 0.000 % |
100.01/100.18 c | 148760 | 7813 33414 101461 | 2147483647 148760 157 | 0.000 % |
100.21/100.34 c | 148883 | 7813 33414 101461 | 2147483647 148883 157 | 0.000 % |
100.31/100.49 c | 149016 | 7813 33414 101461 | 2147483647 149016 157 | 0.000 % |
100.51/100.69 c | 149162 | 7813 33414 101461 | 2147483647 149162 157 | 0.000 % |
100.70/100.86 c | 149323 | 7813 33414 101461 | 2147483647 149323 157 | 0.000 % |
100.90/101.07 c | 149499 | 7813 33414 101461 | 2147483647 149499 157 | 0.000 % |
101.20/101.30 c | 149692 | 7813 33414 101461 | 2147483647 149692 157 | 0.000 % |
101.40/101.55 c | 149904 | 7813 33414 101461 | 2147483647 149904 157 | 0.000 % |
101.70/101.82 c | 150137 | 7813 33414 101461 | 2147483647 150137 157 | 0.000 % |
102.00/102.11 c | 150393 | 7813 33414 101461 | 2147483647 150393 157 | 0.000 % |
102.30/102.43 c | 150675 | 7813 33414 101461 | 2147483647 150675 157 | 0.000 % |
102.70/102.80 c | 150984 | 7813 33414 101461 | 2147483647 150984 157 | 0.000 % |
103.00/103.19 c | 151323 | 7813 33414 101461 | 2147483647 151323 157 | 0.000 % |
103.50/103.61 c | 151697 | 7813 33414 101461 | 2147483647 151697 157 | 0.000 % |
103.90/104.07 c | 152106 | 7813 33414 101461 | 2147483647 152106 157 | 0.000 % |
104.40/104.57 c | 152556 | 7813 33414 101461 | 2147483647 152556 157 | 0.000 % |
104.99/105.11 c | 153052 | 7813 33414 101461 | 2147483647 153052 157 | 0.000 % |
105.60/105.77 c | 153594 | 7813 33414 101461 | 2147483647 153594 157 | 0.000 % |
106.29/106.47 c | 154190 | 7813 33414 101461 | 2147483647 154190 157 | 0.000 % |
106.99/107.19 c | 154845 | 7813 33414 101461 | 2147483647 154845 157 | 0.000 % |
107.79/107.98 c | 155565 | 7813 33414 101461 | 2147483647 155565 157 | 0.000 % |
108.69/108.85 c | 156359 | 7813 33414 101461 | 2147483647 156359 157 | 0.000 % |
109.69/109.88 c | 157233 | 7813 33414 101461 | 2147483647 157233 157 | 0.000 % |
110.79/110.92 c | 158192 | 7813 33414 101461 | 2147483647 158192 157 | 0.000 % |
111.89/112.09 c | 159246 | 7813 33414 101461 | 2147483647 159246 157 | 0.000 % |
113.29/113.45 c | 160405 | 7813 33414 101461 | 2147483647 160405 158 | 0.000 % |
114.69/114.83 c | 161678 | 7813 33414 101461 | 2147483647 161678 158 | 0.000 % |
116.19/116.36 c | 163079 | 7813 33414 101461 | 2147483647 163079 158 | 0.000 % |
117.99/118.12 c | 164619 | 7813 33414 101461 | 2147483647 164619 159 | 0.000 % |
119.88/120.05 c | 166314 | 7813 33414 101461 | 2147483647 166314 159 | 0.000 % |
120.08/120.20 c | 166415 | 7813 33414 101461 | 2147483647 166415 159 | 0.000 % |
120.18/120.35 c | 166528 | 7813 33414 101461 | 2147483647 166528 159 | 0.000 % |
120.38/120.54 c | 166650 | 7813 33414 101461 | 2147483647 166650 159 | 0.000 % |
120.58/120.74 c | 166784 | 7813 33414 101461 | 2147483647 166784 159 | 0.000 % |
120.78/120.92 c | 166931 | 7813 33414 101461 | 2147483647 166931 159 | 0.000 % |
120.98/121.14 c | 167091 | 7813 33414 101461 | 2147483647 167091 159 | 0.000 % |
121.29/121.40 c | 167267 | 7813 33414 101461 | 2147483647 167267 159 | 0.000 % |
121.49/121.65 c | 167460 | 7813 33414 101461 | 2147483647 167460 159 | 0.000 % |
121.79/121.92 c | 167672 | 7813 33414 101461 | 2147483647 167672 159 | 0.000 % |
122.09/122.24 c | 167905 | 7813 33414 101461 | 2147483647 167905 159 | 0.000 % |
122.39/122.55 c | 168161 | 7813 33414 101461 | 2147483647 168161 159 | 0.000 % |
122.69/122.88 c | 168442 | 7813 33414 101461 | 2147483647 168442 159 | 0.000 % |
123.19/123.30 c | 168753 | 7813 33414 101461 | 2147483647 168753 159 | 0.000 % |
123.59/123.71 c | 169094 | 7813 33414 101461 | 2147483647 169094 159 | 0.000 % |
123.98/124.18 c | 169467 | 7813 33414 101461 | 2147483647 169467 159 | 0.000 % |
124.48/124.66 c | 169877 | 7813 33414 101461 | 2147483647 169877 159 | 0.000 % |
124.98/125.19 c | 170327 | 7813 33414 101461 | 2147483647 170327 159 | 0.000 % |
125.58/125.79 c | 170820 | 7813 33414 101461 | 2147483647 170820 159 | 0.000 % |
126.28/126.49 c | 171363 | 7813 33414 101461 | 2147483647 171363 159 | 0.000 % |
127.08/127.21 c | 171959 | 7813 33414 101461 | 2147483647 171959 159 | 0.000 % |
127.88/128.00 c | 172614 | 7813 33414 101461 | 2147483647 172614 159 | 0.000 % |
128.78/128.93 c | 173335 | 7813 33414 101461 | 2147483647 173335 159 | 0.000 % |
129.69/129.86 c | 174128 | 7813 33414 101461 | 2147483647 174128 159 | 0.000 % |
130.68/130.89 c | 174999 | 7813 33414 101461 | 2147483647 174999 159 | 0.000 % |
131.89/132.08 c | 175960 | 7813 33414 101461 | 2147483647 175960 159 | 0.000 % |
133.18/133.37 c | 177013 | 7813 33414 101461 | 2147483647 177013 159 | 0.000 % |
134.68/134.83 c | 178171 | 7813 33414 101461 | 2147483647 178171 159 | 0.000 % |
136.19/136.38 c | 179444 | 7813 33414 101461 | 2147483647 179444 159 | 0.000 % |
137.98/138.11 c | 180847 | 7813 33414 101461 | 2147483647 180847 159 | 0.000 % |
139.78/139.98 c | 182389 | 7813 33414 101461 | 2147483647 182389 159 | 0.000 % |
141.78/141.96 c | 184083 | 7813 33414 101461 | 2147483647 184083 160 | 0.000 % |
144.18/144.32 c | 185947 | 7813 33414 101461 | 2147483647 185947 160 | 0.000 % |
144.28/144.44 c | 186048 | 7813 33414 101461 | 2147483647 186048 160 | 0.000 % |
144.48/144.62 c | 186158 | 7813 33414 101461 | 2147483647 186158 160 | 0.000 % |
144.68/144.83 c | 186280 | 7813 33414 101461 | 2147483647 186280 160 | 0.000 % |
144.88/145.02 c | 186413 | 7813 33414 101461 | 2147483647 186413 160 | 0.000 % |
145.08/145.23 c | 186559 | 7813 33414 101461 | 2147483647 186559 160 | 0.000 % |
145.38/145.51 c | 186720 | 7813 33414 101461 | 2147483647 186720 160 | 0.000 % |
145.58/145.77 c | 186899 | 7813 33414 101461 | 2147483647 186899 160 | 0.000 % |
145.88/146.03 c | 187092 | 7813 33414 101461 | 2147483647 187092 160 | 0.000 % |
146.18/146.36 c | 187304 | 7813 33414 101461 | 2147483647 187304 160 | 0.000 % |
146.47/146.66 c | 187538 | 7813 33414 101461 | 2147483647 187538 160 | 0.000 % |
146.97/147.10 c | 187794 | 7813 33414 101461 | 2147483647 187794 160 | 0.000 % |
147.37/147.50 c | 188076 | 7813 33414 101461 | 2147483647 188076 160 | 0.000 % |
147.77/147.91 c | 188385 | 7813 33414 101461 | 2147483647 188385 160 | 0.000 % |
148.27/148.41 c | 188726 | 7813 33414 101461 | 2147483647 188726 160 | 0.000 % |
148.67/148.84 c | 189101 | 7813 33414 101461 | 2147483647 189101 160 | 0.000 % |
149.17/149.36 c | 189511 | 7813 33414 101461 | 2147483647 189511 160 | 0.000 % |
149.87/150.01 c | 189960 | 7813 33414 101461 | 2147483647 189960 160 | 0.000 % |
150.48/150.67 c | 190453 | 7813 33414 101461 | 2147483647 190453 160 | 0.000 % |
151.17/151.36 c | 190996 | 7813 33414 101461 | 2147483647 190996 160 | 0.000 % |
151.97/152.14 c | 191593 | 7813 33414 101461 | 2147483647 191593 160 | 0.000 % |
152.77/152.97 c | 192249 | 7813 33414 101461 | 2147483647 192249 160 | 0.000 % |
153.67/153.88 c | 192970 | 7813 33414 101461 | 2147483647 192970 160 | 0.000 % |
154.77/154.97 c | 193762 | 7813 33414 101461 | 2147483647 193762 160 | 0.000 % |
155.98/156.16 c | 194637 | 7813 33414 101461 | 2147483647 194637 160 | 0.000 % |
157.27/157.48 c | 195595 | 7813 33414 101461 | 2147483647 195595 160 | 0.000 % |
158.77/158.90 c | 196649 | 7813 33414 101461 | 2147483647 196649 160 | 0.000 % |
160.27/160.45 c | 197807 | 7813 33414 101461 | 2147483647 197807 160 | 0.000 % |
161.87/162.06 c | 199081 | 7813 33414 101461 | 2147483647 199081 160 | 0.000 % |
163.66/163.82 c | 200481 | 7813 33414 101461 | 2147483647 200481 160 | 0.000 % |
165.57/165.77 c | 202024 | 7813 33414 101461 | 2147483647 202024 160 | 0.000 % |
167.96/168.11 c | 203718 | 7813 33414 101461 | 2147483647 203718 161 | 0.000 % |
170.46/170.60 c | 205582 | 7813 33414 101461 | 2147483647 205582 161 | 0.000 % |
173.16/173.38 c | 207632 | 7813 33414 101461 | 2147483647 207632 161 | 0.000 % |
173.36/173.55 c | 207732 | 7813 33414 101461 | 2147483647 207732 161 | 0.000 % |
173.56/173.76 c | 207842 | 7813 33414 101461 | 2147483647 207842 161 | 0.000 % |
173.76/173.97 c | 207963 | 7813 33414 101461 | 2147483647 207963 161 | 0.000 % |
174.06/174.24 c | 208097 | 7813 33414 101461 | 2147483647 208097 161 | 0.000 % |
174.26/174.48 c | 208243 | 7813 33414 101461 | 2147483647 208243 161 | 0.000 % |
174.56/174.75 c | 208403 | 7813 33414 101461 | 2147483647 208403 161 | 0.000 % |
174.86/175.05 c | 208580 | 7813 33414 101461 | 2147483647 208580 161 | 0.000 % |
175.16/175.35 c | 208773 | 7813 33414 101461 | 2147483647 208773 161 | 0.000 % |
175.46/175.65 c | 208985 | 7813 33414 101461 | 2147483647 208985 161 | 0.000 % |
175.77/175.98 c | 209219 | 7813 33414 101461 | 2147483647 209219 161 | 0.000 % |
176.16/176.38 c | 209475 | 7813 33414 101461 | 2147483647 209475 161 | 0.000 % |
176.66/176.82 c | 209756 | 7813 33414 101461 | 2147483647 209756 161 | 0.000 % |
177.06/177.24 c | 210066 | 7813 33414 101461 | 2147483647 210066 161 | 0.000 % |
177.56/177.78 c | 210405 | 7813 33414 101461 | 2147483647 210405 161 | 0.000 % |
178.06/178.29 c | 210778 | 7813 33414 101461 | 2147483647 210778 161 | 0.000 % |
178.76/178.90 c | 211189 | 7813 33414 101461 | 2147483647 211189 161 | 0.000 % |
179.36/179.52 c | 211638 | 7813 33414 101461 | 2147483647 211638 161 | 0.000 % |
180.05/180.23 c | 212132 | 7813 33414 101461 | 2147483647 212132 161 | 0.000 % |
180.76/180.99 c | 212674 | 7813 33414 101461 | 2147483647 212674 161 | 0.000 % |
181.66/181.85 c | 213271 | 7813 33414 101461 | 2147483647 213271 161 | 0.000 % |
182.46/182.70 c | 213926 | 7813 33414 101461 | 2147483647 213926 161 | 0.000 % |
183.46/183.67 c | 214646 | 7813 33414 101461 | 2147483647 214646 161 | 0.000 % |
184.56/184.77 c | 215439 | 7813 33414 101461 | 2147483647 215439 161 | 0.000 % |
185.85/186.01 c | 216311 | 7813 33414 101461 | 2147483647 216311 161 | 0.000 % |
187.26/187.42 c | 217271 | 7813 33414 101461 | 2147483647 217271 161 | 0.000 % |
188.85/189.01 c | 218328 | 7813 33414 101461 | 2147483647 218328 161 | 0.000 % |
190.46/190.65 c | 219486 | 7813 33414 101461 | 2147483647 219486 161 | 0.000 % |
192.26/192.42 c | 220760 | 7813 33414 101461 | 2147483647 220760 162 | 0.000 % |
194.25/194.40 c | 222161 | 7813 33414 101461 | 2147483647 222161 162 | 0.000 % |
196.25/196.46 c | 223702 | 7813 33414 101461 | 2147483647 223702 162 | 0.000 % |
198.64/198.80 c | 225398 | 7813 33414 101461 | 2147483647 225398 163 | 0.000 % |
201.35/201.51 c | 227261 | 7813 33414 101461 | 2147483647 227261 163 | 0.000 % |
204.25/204.41 c | 229313 | 7813 33414 101461 | 2147483647 229313 163 | 0.000 % |
207.45/207.67 c | 231566 | 7813 33414 101461 | 2147483647 231566 163 | 0.000 % |
207.65/207.87 c | 231669 | 7813 33414 101461 | 2147483647 231669 163 | 0.000 % |
207.85/208.07 c | 231781 | 7813 33414 101461 | 2147483647 231781 163 | 0.000 % |
208.15/208.30 c | 231902 | 7813 33414 101461 | 2147483647 231902 163 | 0.000 % |
208.35/208.54 c | 232035 | 7813 33414 101461 | 2147483647 232035 163 | 0.000 % |
208.64/208.82 c | 232181 | 7813 33414 101461 | 2147483647 232181 163 | 0.000 % |
208.85/209.09 c | 232343 | 7813 33414 101461 | 2147483647 232343 163 | 0.000 % |
209.24/209.42 c | 232519 | 7813 33414 101461 | 2147483647 232519 163 | 0.000 % |
209.64/209.81 c | 232712 | 7813 33414 101461 | 2147483647 232712 163 | 0.000 % |
209.95/210.17 c | 232924 | 7813 33414 101461 | 2147483647 232924 163 | 0.000 % |
210.34/210.57 c | 233157 | 7813 33414 101461 | 2147483647 233157 163 | 0.000 % |
210.74/210.96 c | 233413 | 7813 33414 101461 | 2147483647 233413 163 | 0.000 % |
211.34/211.52 c | 233694 | 7813 33414 101461 | 2147483647 233694 163 | 0.000 % |
211.85/212.04 c | 234003 | 7813 33414 101461 | 2147483647 234003 163 | 0.000 % |
212.45/212.60 c | 234342 | 7813 33414 101461 | 2147483647 234342 163 | 0.000 % |
212.95/213.17 c | 234714 | 7813 33414 101461 | 2147483647 234714 163 | 0.000 % |
213.54/213.78 c | 235123 | 7813 33414 101461 | 2147483647 235123 163 | 0.000 % |
214.25/214.49 c | 235572 | 7813 33414 101461 | 2147483647 235572 163 | 0.000 % |
215.14/215.39 c | 236065 | 7813 33414 101461 | 2147483647 236065 163 | 0.000 % |
216.14/216.31 c | 236607 | 7813 33414 101461 | 2147483647 236607 163 | 0.000 % |
216.95/217.19 c | 237204 | 7813 33414 101461 | 2147483647 237204 163 | 0.000 % |
217.94/218.19 c | 237859 | 7813 33414 101461 | 2147483647 237859 163 | 0.000 % |
219.14/219.31 c | 238579 | 7813 33414 101461 | 2147483647 238579 164 | 0.000 % |
220.34/220.56 c | 239371 | 7813 33414 101461 | 2147483647 239371 164 | 0.000 % |
221.74/221.91 c | 240243 | 7813 33414 101461 | 2147483647 240243 164 | 0.000 % |
223.24/223.43 c | 241202 | 7813 33414 101461 | 2147483647 241202 164 | 0.000 % |
224.84/225.00 c | 242255 | 7813 33414 101461 | 2147483647 242255 163 | 0.000 % |
226.64/226.82 c | 243413 | 7813 33414 101461 | 2147483647 243413 164 | 0.000 % |
228.44/228.69 c | 244689 | 7813 33414 101461 | 2147483647 244689 163 | 0.000 % |
230.74/230.93 c | 246091 | 7813 33414 101461 | 2147483647 246091 164 | 0.000 % |
233.23/233.46 c | 247632 | 7813 33414 101461 | 2147483647 247632 164 | 0.000 % |
235.83/236.07 c | 249326 | 7813 33414 101461 | 2147483647 249326 164 | 0.000 % |
238.72/238.90 c | 251190 | 7813 33414 101461 | 2147483647 251190 164 | 0.000 % |
241.72/241.95 c | 253239 | 7813 33414 101461 | 2147483647 253239 164 | 0.000 % |
245.11/245.30 c | 255492 | 7813 33414 101461 | 2147483647 255492 164 | 0.000 % |
249.01/249.22 c | 257971 | 7813 33414 101461 | 2147483647 257971 164 | 0.000 % |
249.21/249.41 c | 258072 | 7813 33414 101461 | 2147483647 258072 164 | 0.000 % |
249.42/249.69 c | 258183 | 7813 33414 101461 | 2147483647 258183 164 | 0.000 % |
249.71/249.92 c | 258304 | 7813 33414 101461 | 2147483647 258304 164 | 0.000 % |
250.01/250.21 c | 258437 | 7813 33414 101461 | 2147483647 258437 164 | 0.000 % |
250.21/250.48 c | 258583 | 7813 33414 101461 | 2147483647 258583 164 | 0.000 % |
250.62/250.86 c | 258743 | 7813 33414 101461 | 2147483647 258743 164 | 0.000 % |
251.01/251.22 c | 258921 | 7813 33414 101461 | 2147483647 258921 164 | 0.000 % |
251.31/251.54 c | 259114 | 7813 33414 101461 | 2147483647 259114 164 | 0.000 % |
251.71/251.91 c | 259327 | 7813 33414 101461 | 2147483647 259327 164 | 0.000 % |
252.11/252.32 c | 259560 | 7813 33414 101461 | 2147483647 259560 164 | 0.000 % |
252.61/252.84 c | 259816 | 7813 33414 101461 | 2147483647 259816 164 | 0.000 % |
253.01/253.29 c | 260097 | 7813 33414 101461 | 2147483647 260097 164 | 0.000 % |
253.61/253.89 c | 260406 | 7813 33414 101461 | 2147483647 260406 164 | 0.000 % |
254.31/254.52 c | 260746 | 7813 33414 101461 | 2147483647 260746 164 | 0.000 % |
254.91/255.18 c | 261119 | 7813 33414 101461 | 2147483647 261119 164 | 0.000 % |
255.60/255.89 c | 261531 | 7813 33414 101461 | 2147483647 261531 164 | 0.000 % |
256.50/256.70 c | 261980 | 7813 33414 101461 | 2147483647 261980 164 | 0.000 % |
257.30/257.58 c | 262473 | 7813 33414 101461 | 2147483647 262473 164 | 0.000 % |
258.31/258.55 c | 263015 | 7813 33414 101461 | 2147483647 263015 164 | 0.000 % |
259.31/259.56 c | 263611 | 7813 33414 101461 | 2147483647 263611 164 | 0.000 % |
260.31/260.53 c | 264266 | 7813 33414 101461 | 2147483647 264266 164 | 0.000 % |
261.40/261.62 c | 264987 | 7813 33414 101461 | 2147483647 264987 164 | 0.000 % |
262.80/263.00 c | 265779 | 7813 33414 101461 | 2147483647 265779 164 | 0.000 % |
264.30/264.52 c | 266650 | 7813 33414 101461 | 2147483647 266650 164 | 0.000 % |
265.80/266.10 c | 267609 | 7813 33414 101461 | 2147483647 267609 164 | 0.000 % |
267.60/267.82 c | 268662 | 7813 33414 101461 | 2147483647 268662 164 | 0.000 % |
269.40/269.68 c | 269823 | 7813 33414 101461 | 2147483647 269823 164 | 0.000 % |
271.59/271.84 c | 271096 | 7813 33414 101461 | 2147483647 271096 165 | 0.000 % |
273.99/274.21 c | 272496 | 7813 33414 101461 | 2147483647 272496 165 | 0.000 % |
276.49/276.73 c | 274039 | 7813 33414 101461 | 2147483647 274039 165 | 0.000 % |
279.29/279.55 c | 275736 | 7813 33414 101461 | 2147483647 275736 165 | 0.000 % |
282.38/282.66 c | 277601 | 7813 33414 101461 | 2147483647 277601 165 | 0.000 % |
285.79/286.02 c | 279650 | 7813 33414 101461 | 2147483647 279650 165 | 0.000 % |
289.78/290.01 c | 281903 | 7813 33414 101461 | 2147483647 281903 165 | 0.000 % |
293.98/294.20 c | 284382 | 7813 33414 101461 | 2147483647 284382 165 | 0.000 % |
298.18/298.42 c | 287108 | 7813 33414 101461 | 2147483647 287108 165 | 0.000 % |
298.38/298.63 c | 287208 | 7813 33414 101461 | 2147483647 287208 165 | 0.000 % |
298.57/298.88 c | 287318 | 7813 33414 101461 | 2147483647 287318 165 | 0.000 % |
298.88/299.13 c | 287439 | 7813 33414 101461 | 2147483647 287439 165 | 0.000 % |
299.17/299.44 c | 287573 | 7813 33414 101461 | 2147483647 287573 165 | 0.000 % |
299.57/299.83 c | 287719 | 7813 33414 101461 | 2147483647 287719 165 | 0.000 % |
299.87/300.17 c | 287880 | 7813 33414 101461 | 2147483647 287880 165 | 0.000 % |
300.27/300.55 c | 288056 | 7813 33414 101461 | 2147483647 288056 165 | 0.000 % |
300.77/301.02 c | 288252 | 7813 33414 101461 | 2147483647 288252 165 | 0.000 % |
301.17/301.47 c | 288465 | 7813 33414 101461 | 2147483647 288465 165 | 0.000 % |
301.67/301.90 c | 288700 | 7813 33414 101461 | 2147483647 288700 165 | 0.000 % |
302.07/302.37 c | 288956 | 7813 33414 101461 | 2147483647 288956 165 | 0.000 % |
302.67/302.98 c | 289237 | 7813 33414 101461 | 2147483647 289237 165 | 0.000 % |
303.37/303.61 c | 289547 | 7813 33414 101461 | 2147483647 289547 165 | 0.000 % |
304.17/304.40 c | 289886 | 7813 33414 101461 | 2147483647 289886 165 | 0.000 % |
304.87/305.18 c | 290259 | 7813 33414 101461 | 2147483647 290259 165 | 0.000 % |
305.77/306.03 c | 290668 | 7813 33414 101461 | 2147483647 290668 165 | 0.000 % |
306.67/306.91 c | 291120 | 7813 33414 101461 | 2147483647 291120 165 | 0.000 % |
307.57/307.81 c | 291615 | 7813 33414 101461 | 2147483647 291615 165 | 0.000 % |
308.57/308.87 c | 292158 | 7813 33414 101461 | 2147483647 292158 165 | 0.000 % |
309.67/309.94 c | 292755 | 7813 33414 101461 | 2147483647 292755 165 | 0.000 % |
310.97/311.25 c | 293410 | 7813 33414 101461 | 2147483647 293410 165 | 0.000 % |
312.37/312.63 c | 294131 | 7813 33414 101461 | 2147483647 294131 165 | 0.000 % |
313.77/314.09 c | 294924 | 7813 33414 101461 | 2147483647 294924 165 | 0.000 % |
315.37/315.67 c | 295796 | 7813 33414 101461 | 2147483647 295796 165 | 0.000 % |
317.06/317.40 c | 296754 | 7813 33414 101461 | 2147483647 296754 165 | 0.000 % |
318.96/319.25 c | 297809 | 7813 33414 101461 | 2147483647 297809 165 | 0.000 % |
321.07/321.31 c | 298969 | 7813 33414 101461 | 2147483647 298969 165 | 0.000 % |
323.36/323.62 c | 300243 | 7813 33414 101461 | 2147483647 300243 165 | 0.000 % |
325.77/326.04 c | 301646 | 7813 33414 101461 | 2147483647 301646 165 | 0.000 % |
328.56/328.83 c | 303186 | 7813 33414 101461 | 2147483647 303186 165 | 0.000 % |
331.75/332.02 c | 304880 | 7813 33414 101461 | 2147483647 304880 165 | 0.000 % |
335.06/335.31 c | 306743 | 7813 33414 101461 | 2147483647 306743 165 | 0.000 % |
338.55/338.86 c | 308793 | 7813 33414 101461 | 2147483647 308793 165 | 0.000 % |
342.65/342.96 c | 311046 | 7813 33414 101461 | 2147483647 311046 166 | 0.000 % |
347.26/347.52 c | 313524 | 7813 33414 101461 | 2147483647 313524 166 | 0.000 % |
352.25/352.58 c | 316249 | 7813 33414 101461 | 2147483647 316249 166 | 0.000 % |
357.84/358.20 c | 319247 | 7813 33414 101461 | 2147483647 319247 166 | 0.000 % |
358.15/358.40 c | 319347 | 7813 33414 101461 | 2147483647 319347 166 | 0.000 % |
358.35/358.68 c | 319457 | 7813 33414 101461 | 2147483647 319457 166 | 0.000 % |
358.65/358.96 c | 319579 | 7813 33414 101461 | 2147483647 319579 166 | 0.000 % |
359.05/359.34 c | 319716 | 7813 33414 101461 | 2147483647 319716 166 | 0.000 % |
359.35/359.67 c | 319863 | 7813 33414 101461 | 2147483647 319863 166 | 0.000 % |
359.75/360.09 c | 320025 | 7813 33414 101461 | 2147483647 320025 166 | 0.000 % |
360.35/360.61 c | 320202 | 7813 33414 101461 | 2147483647 320202 166 | 0.000 % |
360.75/361.03 c | 320397 | 7813 33414 101461 | 2147483647 320397 166 | 0.000 % |
361.14/361.49 c | 320609 | 7813 33414 101461 | 2147483647 320609 166 | 0.000 % |
361.74/362.02 c | 320846 | 7813 33414 101461 | 2147483647 320846 166 | 0.000 % |
362.24/362.59 c | 321102 | 7813 33414 101461 | 2147483647 321102 166 | 0.000 % |
362.84/363.18 c | 321384 | 7813 33414 101461 | 2147483647 321384 166 | 0.000 % |
363.44/363.80 c | 321695 | 7813 33414 101461 | 2147483647 321695 166 | 0.000 % |
364.24/364.57 c | 322034 | 7813 33414 101461 | 2147483647 322034 166 | 0.000 % |
365.04/365.39 c | 322410 | 7813 33414 101461 | 2147483647 322410 166 | 0.000 % |
365.95/366.29 c | 322819 | 7813 33414 101461 | 2147483647 322819 166 | 0.000 % |
366.94/367.30 c | 323268 | 7813 33414 101461 | 2147483647 323268 166 | 0.000 % |
367.94/368.26 c | 323763 | 7813 33414 101461 | 2147483647 323763 166 | 0.000 % |
369.04/369.35 c | 324305 | 7813 33414 101461 | 2147483647 324305 166 | 0.000 % |
370.24/370.59 c | 324902 | 7813 33414 101461 | 2147483647 324902 166 | 0.000 % |
371.53/371.90 c | 325557 | 7813 33414 101461 | 2147483647 325557 166 | 0.000 % |
373.13/373.46 c | 326277 | 7813 33414 101461 | 2147483647 326277 166 | 0.000 % |
374.83/375.14 c | 327071 | 7813 33414 101461 | 2147483647 327071 166 | 0.000 % |
376.62/376.91 c | 327942 | 7813 33414 101461 | 2147483647 327942 166 | 0.000 % |
378.52/378.83 c | 328901 | 7813 33414 101461 | 2147483647 328901 166 | 0.000 % |
380.72/381.06 c | 329954 | 7813 33414 101461 | 2147483647 329954 166 | 0.000 % |
383.02/383.33 c | 331112 | 7813 33414 101461 | 2147483647 331112 166 | 0.000 % |
385.73/386.05 c | 332386 | 7813 33414 101461 | 2147483647 332386 166 | 0.000 % |
388.22/388.58 c | 333787 | 7813 33414 101461 | 2147483647 333787 166 | 0.000 % |
391.22/391.53 c | 335327 | 7813 33414 101461 | 2147483647 335327 167 | 0.000 % |
394.42/394.80 c | 337022 | 7813 33414 101461 | 2147483647 337022 167 | 0.000 % |
398.32/398.60 c | 338886 | 7813 33414 101461 | 2147483647 338886 167 | 0.000 % |
402.32/402.64 c | 340936 | 7813 33414 101461 | 2147483647 340936 167 | 0.000 % |
406.82/407.12 c | 343191 | 7813 33414 101461 | 2147483647 343191 167 | 0.000 % |
411.72/412.10 c | 345669 | 7813 33414 101461 | 2147483647 345669 167 | 0.000 % |
417.11/417.48 c | 348395 | 7813 33414 101461 | 2147483647 348395 167 | 0.000 % |
422.71/423.09 c | 351394 | 7813 33414 101461 | 2147483647 351394 167 | 0.000 % |
429.10/429.48 c | 354696 | 7813 33414 101461 | 2147483647 354696 167 | 0.000 % |
429.40/429.76 c | 354797 | 7813 33414 101461 | 2147483647 354797 167 | 0.000 % |
429.71/430.07 c | 354907 | 7813 33414 101461 | 2147483647 354907 167 | 0.000 % |
430.10/430.42 c | 355028 | 7813 33414 101461 | 2147483647 355028 167 | 0.000 % |
430.50/430.80 c | 355161 | 7813 33414 101461 | 2147483647 355161 167 | 0.000 % |
430.81/431.20 c | 355308 | 7813 33414 101461 | 2147483647 355308 167 | 0.000 % |
431.30/431.63 c | 355470 | 7813 33414 101461 | 2147483647 355470 167 | 0.000 % |
431.80/432.10 c | 355646 | 7813 33414 101461 | 2147483647 355646 167 | 0.000 % |
432.20/432.60 c | 355839 | 7813 33414 101461 | 2147483647 355839 167 | 0.000 % |
432.80/433.15 c | 356051 | 7813 33414 101461 | 2147483647 356051 167 | 0.000 % |
433.40/433.78 c | 356285 | 7813 33414 101461 | 2147483647 356285 167 | 0.000 % |
434.10/434.42 c | 356541 | 7813 33414 101461 | 2147483647 356541 167 | 0.000 % |
434.80/435.19 c | 356822 | 7813 33414 101461 | 2147483647 356822 167 | 0.000 % |
435.60/435.90 c | 357133 | 7813 33414 101461 | 2147483647 357133 167 | 0.000 % |
436.40/436.76 c | 357472 | 7813 33414 101461 | 2147483647 357472 167 | 0.000 % |
437.30/437.61 c | 357844 | 7813 33414 101461 | 2147483647 357844 167 | 0.000 % |
438.20/438.53 c | 358254 | 7813 33414 101461 | 2147483647 358254 167 | 0.000 % |
439.30/439.69 c | 358706 | 7813 33414 101461 | 2147483647 358706 167 | 0.000 % |
440.50/440.85 c | 359200 | 7813 33414 101461 | 2147483647 359200 167 | 0.000 % |
441.70/442.02 c | 359743 | 7813 33414 101461 | 2147483647 359743 167 | 0.000 % |
443.00/443.39 c | 360340 | 7813 33414 101461 | 2147483647 360340 167 | 0.000 % |
444.50/444.83 c | 360996 | 7813 33414 101461 | 2147483647 360996 167 | 0.000 % |
446.21/446.53 c | 361717 | 7813 33414 101461 | 2147483647 361717 167 | 0.000 % |
447.80/448.15 c | 362510 | 7813 33414 101461 | 2147483647 362510 167 | 0.000 % |
449.80/450.16 c | 363383 | 7813 33414 101461 | 2147483647 363383 167 | 0.000 % |
451.70/452.01 c | 364341 | 7813 33414 101461 | 2147483647 364341 167 | 0.000 % |
454.00/454.33 c | 365396 | 7813 33414 101461 | 2147483647 365396 167 | 0.000 % |
456.50/456.89 c | 366555 | 7813 33414 101461 | 2147483647 366555 167 | 0.000 % |
459.40/459.74 c | 367829 | 7813 33414 101461 | 2147483647 367829 167 | 0.000 % |
462.29/462.60 c | 369231 | 7813 33414 101461 | 2147483647 369231 167 | 0.000 % |
465.39/465.74 c | 370772 | 7813 33414 101461 | 2147483647 370772 167 | 0.000 % |
468.88/469.26 c | 372466 | 7813 33414 101461 | 2147483647 372466 167 | 0.000 % |
472.79/473.10 c | 374331 | 7813 33414 101461 | 2147483647 374331 168 | 0.000 % |
477.09/477.42 c | 376381 | 7813 33414 101461 | 2147483647 376381 168 | 0.000 % |
482.09/482.44 c | 378636 | 7813 33414 101461 | 2147483647 378636 168 | 0.000 % |
487.58/487.93 c | 381116 | 7813 33414 101461 | 2147483647 381116 168 | 0.000 % |
493.28/493.67 c | 383841 | 7813 33414 101461 | 2147483647 383841 168 | 0.000 % |
499.98/500.40 c | 386839 | 7813 33414 101461 | 2147483647 386839 168 | 0.000 % |
507.57/507.97 c | 390138 | 7813 33414 101461 | 2147483647 390138 168 | 0.000 % |
515.27/515.68 c | 393763 | 7813 33414 101461 | 2147483647 393763 169 | 0.000 % |
515.57/515.95 c | 393863 | 7813 33414 101461 | 2147483647 393863 169 | 0.000 % |
515.87/516.28 c | 393973 | 7813 33414 101461 | 2147483647 393973 169 | 0.000 % |
516.27/516.65 c | 394094 | 7813 33414 101461 | 2147483647 394094 169 | 0.000 % |
516.76/517.10 c | 394227 | 7813 33414 101461 | 2147483647 394227 169 | 0.000 % |
517.16/517.52 c | 394374 | 7813 33414 101461 | 2147483647 394374 169 | 0.000 % |
517.67/518.03 c | 394534 | 7813 33414 101461 | 2147483647 394534 169 | 0.000 % |
518.16/518.58 c | 394710 | 7813 33414 101461 | 2147483647 394710 169 | 0.000 % |
518.66/519.08 c | 394903 | 7813 33414 101461 | 2147483647 394903 169 | 0.000 % |
519.36/519.72 c | 395115 | 7813 33414 101461 | 2147483647 395115 169 | 0.000 % |
519.96/520.38 c | 395348 | 7813 33414 101461 | 2147483647 395348 169 | 0.000 % |
520.66/521.03 c | 395607 | 7813 33414 101461 | 2147483647 395607 169 | 0.000 % |
521.46/521.83 c | 395890 | 7813 33414 101461 | 2147483647 395890 169 | 0.000 % |
522.25/522.67 c | 396199 | 7813 33414 101461 | 2147483647 396199 169 | 0.000 % |
523.16/523.58 c | 396538 | 7813 33414 101461 | 2147483647 396538 169 | 0.000 % |
524.26/524.69 c | 396912 | 7813 33414 101461 | 2147483647 396912 169 | 0.000 % |
525.37/525.76 c | 397321 | 7813 33414 101461 | 2147483647 397321 169 | 0.000 % |
526.47/526.84 c | 397770 | 7813 33414 101461 | 2147483647 397770 169 | 0.000 % |
527.76/528.16 c | 398264 | 7813 33414 101461 | 2147483647 398264 169 | 0.000 % |
529.16/529.56 c | 398807 | 7813 33414 101461 | 2147483647 398807 169 | 0.000 % |
530.66/531.04 c | 399403 | 7813 33414 101461 | 2147483647 399403 169 | 0.000 % |
532.36/532.70 c | 400058 | 7813 33414 101461 | 2147483647 400058 169 | 0.000 % |
534.16/534.51 c | 400778 | 7813 33414 101461 | 2147483647 400778 169 | 0.000 % |
536.06/536.42 c | 401571 | 7813 33414 101461 | 2147483647 401571 169 | 0.000 % |
538.26/538.65 c | 402444 | 7813 33414 101461 | 2147483647 402444 169 | 0.000 % |
540.65/541.03 c | 403402 | 7813 33414 101461 | 2147483647 403402 169 | 0.000 % |
543.35/543.71 c | 404455 | 7813 33414 101461 | 2147483647 404455 169 | 0.000 % |
546.16/546.56 c | 405614 | 7813 33414 101461 | 2147483647 405614 169 | 0.000 % |
549.05/549.49 c | 406887 | 7813 33414 101461 | 2147483647 406887 169 | 0.000 % |
552.44/552.89 c | 408287 | 7813 33414 101461 | 2147483647 408287 169 | 0.000 % |
556.04/556.46 c | 409827 | 7813 33414 101461 | 2147483647 409827 169 | 0.000 % |
560.04/560.49 c | 411521 | 7813 33414 101461 | 2147483647 411521 169 | 0.000 % |
564.64/565.08 c | 413385 | 7813 33414 101461 | 2147483647 413385 169 | 0.000 % |
569.54/569.99 c | 415434 | 7813 33414 101461 | 2147483647 415434 169 | 0.000 % |
574.63/575.02 c | 417688 | 7813 33414 101461 | 2147483647 417688 169 | 0.000 % |
580.24/580.65 c | 420169 | 7813 33414 101461 | 2147483647 420169 169 | 0.000 % |
586.63/587.03 c | 422894 | 7813 33414 101461 | 2147483647 422894 170 | 0.000 % |
593.64/594.01 c | 425892 | 7813 33414 101461 | 2147483647 425892 170 | 0.000 % |
601.62/602.06 c | 429188 | 7813 33414 101461 | 2147483647 429188 170 | 0.000 % |
610.13/610.52 c | 432813 | 7813 33414 101461 | 2147483647 432813 170 | 0.000 % |
619.82/620.27 c | 436802 | 7813 33414 101461 | 2147483647 436802 170 | 0.000 % |
620.12/620.58 c | 436903 | 7813 33414 101461 | 2147483647 436903 170 | 0.000 % |
620.52/620.92 c | 437013 | 7813 33414 101461 | 2147483647 437013 170 | 0.000 % |
621.02/621.45 c | 437135 | 7813 33414 101461 | 2147483647 437135 170 | 0.000 % |
621.42/621.88 c | 437268 | 7813 33414 101461 | 2147483647 437268 170 | 0.000 % |
621.92/622.33 c | 437416 | 7813 33414 101461 | 2147483647 437416 170 | 0.000 % |
622.42/622.86 c | 437578 | 7813 33414 101461 | 2147483647 437578 170 | 0.000 % |
623.02/623.41 c | 437755 | 7813 33414 101461 | 2147483647 437755 170 | 0.000 % |
623.61/624.02 c | 437948 | 7813 33414 101461 | 2147483647 437948 170 | 0.000 % |
624.21/624.63 c | 438160 | 7813 33414 101461 | 2147483647 438160 170 | 0.000 % |
624.91/625.31 c | 438396 | 7813 33414 101461 | 2147483647 438396 170 | 0.000 % |
625.61/626.06 c | 438653 | 7813 33414 101461 | 2147483647 438653 170 | 0.000 % |
626.41/626.84 c | 438934 | 7813 33414 101461 | 2147483647 438934 170 | 0.000 % |
627.11/627.59 c | 439243 | 7813 33414 101461 | 2147483647 439243 170 | 0.000 % |
628.11/628.53 c | 439582 | 7813 33414 101461 | 2147483647 439582 170 | 0.000 % |
629.21/629.69 c | 439954 | 7813 33414 101461 | 2147483647 439954 170 | 0.000 % |
630.51/630.99 c | 440365 | 7813 33414 101461 | 2147483647 440365 170 | 0.000 % |
631.91/632.31 c | 440815 | 7813 33414 101461 | 2147483647 440815 170 | 0.000 % |
633.31/633.73 c | 441308 | 7813 33414 101461 | 2147483647 441308 170 | 0.000 % |
634.71/635.14 c | 441852 | 7813 33414 101461 | 2147483647 441852 170 | 0.000 % |
636.31/636.80 c | 442451 | 7813 33414 101461 | 2147483647 442451 170 | 0.000 % |
638.10/638.55 c | 443106 | 7813 33414 101461 | 2147483647 443106 170 | 0.000 % |
640.00/640.48 c | 443829 | 7813 33414 101461 | 2147483647 443829 170 | 0.000 % |
642.29/642.70 c | 444625 | 7813 33414 101461 | 2147483647 444625 170 | 0.000 % |
644.69/645.13 c | 445497 | 7813 33414 101461 | 2147483647 445497 170 | 0.000 % |
647.30/647.70 c | 446455 | 7813 33414 101461 | 2147483647 446455 170 | 0.000 % |
650.00/650.43 c | 447508 | 7813 33414 101461 | 2147483647 447508 170 | 0.000 % |
653.29/653.72 c | 448666 | 7813 33414 101461 | 2147483647 448666 170 | 0.000 % |
656.59/657.07 c | 449941 | 7813 33414 101461 | 2147483647 449941 170 | 0.000 % |
660.29/660.77 c | 451342 | 7813 33414 101461 | 450000 451342 170 | 0.000 % |
664.49/664.91 c | 452882 | 7813 33414 101461 | 450000 401037 169 | 0.000 % |
668.29/668.79 c | 454576 | 7813 33414 101461 | 450000 402731 169 | 0.000 % |
673.08/673.58 c | 456441 | 7813 33414 101461 | 450000 404596 169 | 0.000 % |
677.88/678.33 c | 458490 | 7813 33414 101461 | 450000 406645 169 | 0.000 % |
683.08/683.54 c | 460744 | 7813 33414 101461 | 2147483647 408899 169 | 0.000 % |
688.67/689.15 c | 463222 | 7813 33414 101461 | 2147483647 411377 170 | 0.000 % |
695.07/695.58 c | 465947 | 7813 33414 101461 | 2147483647 414102 170 | 0.000 % |
702.07/702.56 c | 468945 | 7813 33414 101461 | 2147483647 417100 170 | 0.000 % |
709.57/710.04 c | 472245 | 7813 33414 101461 | 2147483647 420400 170 | 0.000 % |
717.77/718.28 c | 475871 | 7813 33414 101461 | 2147483647 424026 170 | 0.000 % |
727.16/727.62 c | 479859 | 7813 33414 101461 | 2147483647 428014 170 | 0.000 % |
737.36/737.87 c | 484244 | 7813 33414 101461 | 2147483647 432399 171 | 0.000 % |
737.66/738.17 c | 484347 | 7813 33414 101461 | 2147483647 432502 171 | 0.000 % |
738.05/738.53 c | 484457 | 7813 33414 101461 | 2147483647 432612 171 | 0.000 % |
738.46/738.98 c | 484579 | 7813 33414 101461 | 2147483647 432734 171 | 0.000 % |
739.06/739.52 c | 484712 | 7813 33414 101461 | 2147483647 432867 171 | 0.000 % |
739.45/739.92 c | 484858 | 7813 33414 101461 | 2147483647 433013 171 | 0.000 % |
739.95/740.49 c | 485018 | 7813 33414 101461 | 2147483647 433173 171 | 0.000 % |
740.65/741.11 c | 485194 | 7813 33414 101461 | 2147483647 433349 171 | 0.000 % |
741.25/741.73 c | 485390 | 7813 33414 101461 | 2147483647 433545 171 | 0.000 % |
741.85/742.37 c | 485602 | 7813 33414 101461 | 2147483647 433757 171 | 0.000 % |
742.55/743.09 c | 485835 | 7813 33414 101461 | 2147483647 433990 171 | 0.000 % |
743.35/743.83 c | 486091 | 7813 33414 101461 | 2147483647 434246 171 | 0.000 % |
744.26/744.73 c | 486373 | 7813 33414 101461 | 2147483647 434528 171 | 0.000 % |
745.15/745.60 c | 486684 | 7813 33414 101461 | 2147483647 434839 170 | 0.000 % |
746.15/746.61 c | 487024 | 7813 33414 101461 | 2147483647 435179 170 | 0.000 % |
747.25/747.70 c | 487398 | 7813 33414 101461 | 2147483647 435553 170 | 0.000 % |
748.45/748.91 c | 487810 | 7813 33414 101461 | 2147483647 435965 170 | 0.000 % |
749.65/750.18 c | 488260 | 7813 33414 101461 | 2147483647 436415 170 | 0.000 % |
751.15/751.60 c | 488753 | 7813 33414 101461 | 2147483647 436908 170 | 0.000 % |
752.55/753.05 c | 489297 | 7813 33414 101461 | 2147483647 437452 171 | 0.000 % |
754.15/754.67 c | 489894 | 7813 33414 101461 | 2147483647 438049 170 | 0.000 % |
755.95/756.42 c | 490549 | 7813 33414 101461 | 2147483647 438704 170 | 0.000 % |
758.15/758.60 c | 491271 | 7813 33414 101461 | 2147483647 439426 170 | 0.000 % |
760.15/760.62 c | 492064 | 7813 33414 101461 | 2147483647 440219 170 | 0.000 % |
762.55/763.06 c | 492936 | 7813 33414 101461 | 2147483647 441091 170 | 0.000 % |
765.25/765.73 c | 493894 | 7813 33414 101461 | 2147483647 442049 170 | 0.000 % |
767.94/768.46 c | 494947 | 7813 33414 101461 | 2147483647 443102 170 | 0.000 % |
770.84/771.37 c | 496105 | 7813 33414 101461 | 2147483647 444260 170 | 0.000 % |
774.14/774.67 c | 497378 | 7813 33414 101461 | 2147483647 445533 170 | 0.000 % |
777.73/778.29 c | 498778 | 7813 33414 101461 | 2147483647 446933 170 | 0.000 % |
781.33/781.89 c | 500319 | 7813 33414 101461 | 2147483647 448474 170 | 0.000 % |
785.73/786.21 c | 502013 | 7813 33414 101461 | 2147483647 450168 170 | 0.000 % |
790.93/791.44 c | 503876 | 7813 33414 101461 | 2147483647 452031 171 | 0.000 % |
796.33/796.83 c | 505927 | 7813 33414 101461 | 2147483647 454082 171 | 0.000 % |
802.12/802.61 c | 508180 | 7813 33414 101461 | 2147483647 456335 170 | 0.000 % |
808.53/809.02 c | 510658 | 7813 33414 101461 | 458156 458813 171 | 0.000 % |
815.03/815.55 c | 513383 | 7813 33414 101461 | 458156 413120 171 | 0.000 % |
821.72/822.24 c | 516380 | 7813 33414 101461 | 458156 416117 171 | 0.000 % |
829.42/829.92 c | 519678 | 7813 33414 101461 | 458156 419415 171 | 0.000 % |
838.01/838.51 c | 523304 | 7813 33414 101461 | 2147483647 423041 171 | 0.000 % |
847.31/847.87 c | 527294 | 7813 33414 101461 | 2147483647 427031 171 | 0.000 % |
857.41/857.92 c | 531679 | 7813 33414 101461 | 2147483647 431416 171 | 0.000 % |
868.89/869.45 c | 536502 | 7813 33414 101461 | 2147483647 436239 172 | 0.000 % |
869.29/869.81 c | 536603 | 7813 33414 101461 | 2147483647 436340 172 | 0.000 % |
869.59/870.19 c | 536714 | 7813 33414 101461 | 2147483647 436451 172 | 0.000 % |
870.09/870.60 c | 536836 | 7813 33414 101461 | 2147483647 436573 172 | 0.000 % |
870.49/871.07 c | 536970 | 7813 33414 101461 | 2147483647 436707 172 | 0.000 % |
870.99/871.55 c | 537116 | 7813 33414 101461 | 2147483647 436853 172 | 0.000 % |
871.49/872.06 c | 537276 | 7813 33414 101461 | 2147483647 437013 172 | 0.000 % |
871.99/872.58 c | 537452 | 7813 33414 101461 | 2147483647 437189 172 | 0.000 % |
872.59/873.18 c | 537645 | 7813 33414 101461 | 2147483647 437382 172 | 0.000 % |
873.29/873.87 c | 537859 | 7813 33414 101461 | 2147483647 437596 172 | 0.000 % |
873.89/874.49 c | 538096 | 7813 33414 101461 | 2147483647 437833 172 | 0.000 % |
874.69/875.24 c | 538354 | 7813 33414 101461 | 2147483647 438091 172 | 0.000 % |
875.59/876.10 c | 538635 | 7813 33414 101461 | 2147483647 438372 172 | 0.000 % |
876.39/876.99 c | 538945 | 7813 33414 101461 | 2147483647 438682 172 | 0.000 % |
877.39/877.99 c | 539285 | 7813 33414 101461 | 2147483647 439022 172 | 0.000 % |
878.39/878.99 c | 539657 | 7813 33414 101461 | 2147483647 439394 172 | 0.000 % |
879.59/880.12 c | 540067 | 7813 33414 101461 | 2147483647 439804 172 | 0.000 % |
880.89/881.42 c | 540517 | 7813 33414 101461 | 2147483647 440254 172 | 0.000 % |
882.19/882.77 c | 541010 | 7813 33414 101461 | 2147483647 440747 172 | 0.000 % |
883.79/884.31 c | 541552 | 7813 33414 101461 | 2147483647 441289 172 | 0.000 % |
885.38/885.92 c | 542150 | 7813 33414 101461 | 2147483647 441887 172 | 0.000 % |
887.09/887.68 c | 542806 | 7813 33414 101461 | 2147483647 442543 172 | 0.000 % |
888.98/889.57 c | 543526 | 7813 33414 101461 | 2147483647 443263 172 | 0.000 % |
891.18/891.75 c | 544318 | 7813 33414 101461 | 2147483647 444055 172 | 0.000 % |
893.58/894.18 c | 545190 | 7813 33414 101461 | 2147483647 444927 172 | 0.000 % |
896.18/896.78 c | 546148 | 7813 33414 101461 | 2147483647 445885 172 | 0.000 % |
898.78/899.39 c | 547203 | 7813 33414 101461 | 2147483647 446940 172 | 0.000 % |
901.98/902.54 c | 548362 | 7813 33414 101461 | 2147483647 448099 172 | 0.000 % |
905.18/905.77 c | 549636 | 7813 33414 101461 | 2147483647 449373 172 | 0.000 % |
908.78/909.37 c | 551036 | 7813 33414 101461 | 449738 450773 172 | 0.000 % |
912.87/913.45 c | 552576 | 7813 33414 101461 | 449738 404486 174 | 0.000 % |
916.87/917.45 c | 554270 | 7813 33414 101461 | 449738 406180 174 | 0.000 % |
921.17/921.78 c | 556136 | 7813 33414 101461 | 449738 408046 174 | 0.000 % |
926.07/926.64 c | 558185 | 7813 33414 101461 | 449738 410095 174 | 0.000 % |
931.26/931.86 c | 560440 | 7813 33414 101461 | 2147483647 412350 174 | 0.000 % |
936.96/937.58 c | 562919 | 7813 33414 101461 | 2147483647 414829 174 | 0.000 % |
943.36/943.98 c | 565645 | 7813 33414 101461 | 2147483647 417555 175 | 0.000 % |
950.36/950.95 c | 568642 | 7813 33414 101461 | 2147483647 420552 175 | 0.000 % |
958.15/958.75 c | 571938 | 7813 33414 101461 | 2147483647 423848 175 | 0.000 % |
966.74/967.35 c | 575563 | 7813 33414 101461 | 2147483647 427473 175 | 0.000 % |
976.04/976.63 c | 579551 | 7813 33414 101461 | 2147483647 431461 176 | 0.000 % |
987.24/987.86 c | 583937 | 7813 33414 101461 | 2147483647 435847 176 | 0.000 % |
998.53/999.12 c | 588760 | 7813 33414 101461 | 2147483647 440670 176 | 0.000 % |
1010.83/1011.44 c | 594065 | 7813 33414 101461 | 2147483647 445975 177 | 0.000 % |
1011.13/1011.79 c | 594166 | 7813 33414 101461 | 2147483647 446076 177 | 0.000 % |
1011.53/1012.11 c | 594276 | 7813 33414 101461 | 2147483647 446186 177 | 0.000 % |
1011.93/1012.57 c | 594399 | 7813 33414 101461 | 2147483647 446309 177 | 0.000 % |
1012.33/1013.00 c | 594533 | 7813 33414 101461 | 2147483647 446443 177 | 0.000 % |
1012.93/1013.54 c | 594680 | 7813 33414 101461 | 2147483647 446590 177 | 0.000 % |
1013.43/1014.05 c | 594840 | 7813 33414 101461 | 2147483647 446750 177 | 0.000 % |
1013.92/1014.60 c | 595017 | 7813 33414 101461 | 2147483647 446927 177 | 0.000 % |
1014.73/1015.31 c | 595210 | 7813 33414 101461 | 2147483647 447120 177 | 0.000 % |
1015.42/1016.07 c | 595422 | 7813 33414 101461 | 2147483647 447332 177 | 0.000 % |
1016.12/1016.77 c | 595655 | 7813 33414 101461 | 2147483647 447565 177 | 0.000 % |
1016.93/1017.57 c | 595913 | 7813 33414 101461 | 2147483647 447823 177 | 0.000 % |
1017.82/1018.46 c | 596195 | 7813 33414 101461 | 2147483647 448105 177 | 0.000 % |
1018.72/1019.32 c | 596504 | 7813 33414 101461 | 2147483647 448414 177 | 0.000 % |
1019.82/1020.41 c | 596844 | 7813 33414 101461 | 2147483647 448754 176 | 0.000 % |
1020.93/1021.51 c | 597216 | 7813 33414 101461 | 2147483647 449126 176 | 0.000 % |
1022.13/1022.71 c | 597627 | 7813 33414 101461 | 2147483647 449537 176 | 0.000 % |
1023.43/1024.00 c | 598079 | 7813 33414 101461 | 2147483647 449989 176 | 0.000 % |
1024.92/1025.54 c | 598573 | 7813 33414 101461 | 2147483647 450483 176 | 0.000 % |
1026.73/1027.30 c | 599117 | 7813 33414 101461 | 2147483647 451027 176 | 0.000 % |
1028.42/1029.08 c | 599713 | 7813 33414 101461 | 2147483647 451623 176 | 0.000 % |
1030.22/1030.85 c | 600369 | 7813 33414 101461 | 451910 452279 176 | 0.000 % |
1032.62/1033.24 c | 601089 | 7813 33414 101461 | 451910 404631 177 | 0.000 % |
1034.82/1035.45 c | 601882 | 7813 33414 101461 | 451910 405424 177 | 0.000 % |
1037.02/1037.61 c | 602754 | 7813 33414 101461 | 451910 406296 177 | 0.000 % |
1039.42/1040.08 c | 603712 | 7813 33414 101461 | 451910 407254 177 | 0.000 % |
1042.12/1042.75 c | 604765 | 7813 33414 101461 | 451910 408307 177 | 0.000 % |
1045.02/1045.62 c | 605923 | 7813 33414 101461 | 451910 409465 177 | 0.000 % |
1048.21/1048.87 c | 607196 | 7813 33414 101461 | 451910 410738 177 | 0.000 % |
1051.41/1052.06 c | 608596 | 7813 33414 101461 | 451910 412138 177 | 0.000 % |
1055.31/1055.99 c | 610137 | 7813 33414 101461 | 2147483647 413679 177 | 0.000 % |
1059.31/1059.97 c | 611831 | 7813 33414 101461 | 2147483647 415373 177 | 0.000 % |
1063.80/1064.41 c | 613694 | 7813 33414 101461 | 2147483647 417236 177 | 0.000 % |
1068.70/1069.32 c | 615743 | 7813 33414 101461 | 2147483647 419285 177 | 0.000 % |
1074.00/1074.64 c | 617996 | 7813 33414 101461 | 2147483647 421538 178 | 0.000 % |
1079.69/1080.34 c | 620475 | 7813 33414 101461 | 2147483647 424017 178 | 0.000 % |
1086.10/1086.73 c | 623202 | 7813 33414 101461 | 2147483647 426744 178 | 0.000 % |
1093.38/1094.03 c | 626199 | 7813 33414 101461 | 2147483647 429741 178 | 0.000 % |
1101.68/1102.38 c | 629497 | 7813 33414 101461 | 2147483647 433039 178 | 0.000 % |
1110.28/1110.94 c | 633125 | 7813 33414 101461 | 2147483647 436667 178 | 0.000 % |
1120.07/1120.79 c | 637112 | 7813 33414 101461 | 2147483647 440654 178 | 0.000 % |
1131.27/1131.93 c | 641498 | 7813 33414 101461 | 2147483647 445040 178 | 0.000 % |
1143.26/1143.99 c | 646321 | 7813 33414 101461 | 2147483647 449863 178 | 0.000 % |
1157.06/1157.70 c | 651626 | 7813 33414 101461 | 2147483647 455168 179 | 0.000 % |
1171.86/1172.54 c | 657463 | 7813 33414 101461 | 2147483647 461005 179 | 0.000 % |
1172.15/1172.86 c | 657564 | 7813 33414 101461 | 2147483647 461106 179 | 0.000 % |
1172.65/1173.30 c | 657677 | 7813 33414 101461 | 2147483647 461219 179 | 0.000 % |
1173.05/1173.71 c | 657800 | 7813 33414 101461 | 2147483647 461342 179 | 0.000 % |
1173.45/1174.15 c | 657934 | 7813 33414 101461 | 2147483647 461476 179 | 0.000 % |
1173.95/1174.70 c | 658082 | 7813 33414 101461 | 2147483647 461624 179 | 0.000 % |
1174.55/1175.23 c | 658242 | 7813 33414 101461 | 2147483647 461784 179 | 0.000 % |
1175.15/1175.83 c | 658418 | 7813 33414 101461 | 2147483647 461960 179 | 0.000 % |
1175.85/1176.52 c | 658611 | 7813 33414 101461 | 2147483647 462153 179 | 0.000 % |
1176.55/1177.24 c | 658823 | 7813 33414 101461 | 2147483647 462365 179 | 0.000 % |
1177.35/1178.03 c | 659057 | 7813 33414 101461 | 2147483647 462599 179 | 0.000 % |
1178.25/1178.98 c | 659314 | 7813 33414 101461 | 2147483647 462856 179 | 0.000 % |
1179.14/1179.89 c | 659595 | 7813 33414 101461 | 2147483647 463137 179 | 0.000 % |
1180.25/1180.97 c | 659904 | 7813 33414 101461 | 2147483647 463446 179 | 0.000 % |
1181.25/1181.95 c | 660244 | 7813 33414 101461 | 463542 463786 178 | 0.000 % |
1182.84/1183.54 c | 660616 | 7813 33414 101461 | 463542 407532 178 | 0.000 % |
1183.84/1184.58 c | 661025 | 7813 33414 101461 | 463542 407941 178 | 0.000 % |
1185.14/1185.89 c | 661474 | 7813 33414 101461 | 463542 408390 178 | 0.000 % |
1186.54/1187.26 c | 661968 | 7813 33414 101461 | 463542 408884 178 | 0.000 % |
1188.04/1188.70 c | 662510 | 7813 33414 101461 | 463542 409426 178 | 0.000 % |
1189.74/1190.43 c | 663106 | 7813 33414 101461 | 463542 410022 178 | 0.000 % |
1191.34/1192.08 c | 663762 | 7813 33414 101461 | 463542 410678 178 | 0.000 % |
1193.34/1194.07 c | 664484 | 7813 33414 101461 | 463542 411400 178 | 0.000 % |
1195.34/1196.06 c | 665276 | 7813 33414 101461 | 463542 412192 178 | 0.000 % |
1197.53/1198.26 c | 666148 | 7813 33414 101461 | 463542 413064 178 | 0.000 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1832685-1242786260/watcher-1832685-1242786260 -o /tmp/evaluation-result-1832685-1242786260/solver-1832685-1242786260 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832685-1242786260.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.99 1.00 0.99 3/65 5588
/proc/meminfo: memFree=1843704/2055920 swapFree=4178972/4192956
[pid=5588] ppid=5586 vsize=5356 CPUtime=0
/proc/5588/stat : 5588 (SatELiteGTI) S 5586 5588 4990 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 306659714 5484544 235 1992294400 4194304 4889804 548682068832 18446744073709551615 228706713682 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/5588/statm: 1339 235 195 169 0 50 0
[pid=5589] ppid=5588 vsize=5356 CPUtime=0
/proc/5589/stat : 5589 (SatELiteGTI) S 5588 5588 4990 0 -1 4194368 51 25 0 0 0 0 0 0 18 0 1 0 306659715 5484544 238 1992294400 4194304 4889804 548682068832 18446744073709551615 228706542404 0 65536 4096 65538 18446744071563356171 0 0 17 0 0 0
/proc/5589/statm: 1339 238 198 169 0 50 0
[pid=5591] ppid=5589 vsize=192 CPUtime=0
/proc/5591/stat : 5591 (sed) R 5589 5588 4990 0 -1 4194304 42 0 0 0 0 0 0 0 21 0 1 0 306659715 196608 23 1992294400 4194304 4240196 548682069056 18446744073709551615 228703925525 0 0 4096 0 0 0 0 17 0 0 0
/proc/5591/statm: 48 23 16 11 0 11 0
[startup+0.076969 s]
/proc/loadavg: 0.99 1.00 0.99 3/65 5588
/proc/meminfo: memFree=1843704/2055920 swapFree=4178972/4192956
[pid=5588] ppid=5586 vsize=5356 CPUtime=0
/proc/5588/stat : 5588 (SatELiteGTI) S 5586 5588 4990 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 306659714 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5588/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.101968 s]
/proc/loadavg: 0.99 1.00 0.99 3/65 5588
/proc/meminfo: memFree=1843704/2055920 swapFree=4178972/4192956
[pid=5588] ppid=5586 vsize=5356 CPUtime=0
/proc/5588/stat : 5588 (SatELiteGTI) S 5586 5588 4990 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 306659714 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5588/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301981 s]
/proc/loadavg: 0.99 1.00 0.99 3/65 5588
/proc/meminfo: memFree=1843704/2055920 swapFree=4178972/4192956
[pid=5588] ppid=5586 vsize=5356 CPUtime=0.12
/proc/5588/stat : 5588 (SatELiteGTI) S 5586 5588 4990 0 -1 4194304 336 1324 0 0 0 0 12 0 15 0 1 0 306659714 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5588/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 5356
[startup+0.702019 s]
/proc/loadavg: 0.99 1.00 0.99 3/65 5588
/proc/meminfo: memFree=1843704/2055920 swapFree=4178972/4192956
[pid=5588] ppid=5586 vsize=5356 CPUtime=0.12
/proc/5588/stat : 5588 (SatELiteGTI) S 5586 5588 4990 0 -1 4194304 336 1324 0 0 0 0 12 0 15 0 1 0 306659714 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5588/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 5356
[startup+1.50109 s]
/proc/loadavg: 0.99 1.00 0.99 2/67 5594
/proc/meminfo: memFree=1837992/2055920 swapFree=4178972/4192956
[pid=5588] ppid=5586 vsize=5356 CPUtime=0.12
/proc/5588/stat : 5588 (SatELiteGTI) S 5586 5588 4990 0 -1 4194304 336 1324 0 0 0 0 12 0 15 0 1 0 306659714 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5588/statm: 1339 239 197 169 0 50 0
[pid=5594] ppid=5588 vsize=6992 CPUtime=1.35
/proc/5594/stat : 5594 (minisat_static) R 5588 5588 4990 0 -1 4194304 1541 0 0 0 134 1 0 0 25 0 1 0 306659729 7159808 1527 1992294400 134512640 135215339 4294956256 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 0 0 0
/proc/5594/statm: 1748 1527 77 171 0 1575 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 12348
[startup+3.10224 s]
/proc/loadavg: 0.99 1.00 0.99 2/67 5594
/proc/meminfo: memFree=1835496/2055920 swapFree=4178972/4192956
[pid=5588] ppid=5586 vsize=5356 CPUtime=0.12
/proc/5588/stat : 5588 (SatELiteGTI) S 5586 5588 4990 0 -1 4194304 336 1324 0 0 0 0 12 0 15 0 1 0 306659714 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5588/statm: 1339 239 197 169 0 50 0
[pid=5594] ppid=5588 vsize=10424 CPUtime=2.95
/proc/5594/stat : 5594 (minisat_static) R 5588 5588 4990 0 -1 4194304 2383 0 0 0 294 1 0 0 25 0 1 0 306659729 10674176 2369 1992294400 134512640 135215339 4294956256 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/5594/statm: 2606 2369 77 171 0 2433 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 15780
[startup+6.30154 s]
/proc/loadavg: 0.99 1.00 0.99 2/67 5594
/proc/meminfo: memFree=1828976/2055920 swapFree=4178972/4192956
[pid=5588] ppid=5586 vsize=5356 CPUtime=0.12
/proc/5588/stat : 5588 (SatELiteGTI) S 5586 5588 4990 0 -1 4194304 336 1324 0 0 0 0 12 0 15 0 1 0 306659714 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5588/statm: 1339 239 197 169 0 50 0
[pid=5594] ppid=5588 vsize=16188 CPUtime=6.15
/proc/5594/stat : 5594 (minisat_static) R 5588 5588 4990 0 -1 4194304 3821 0 0 0 612 3 0 0 25 0 1 0 306659729 16576512 3807 1992294400 134512640 135215339 4294956256 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/5594/statm: 4047 3807 77 171 0 3874 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 21544
[startup+12.7011 s]
/proc/loadavg: 0.99 1.00 0.99 2/67 5594
/proc/meminfo: memFree=1818992/2055920 swapFree=4178972/4192956
[pid=5588] ppid=5586 vsize=5356 CPUtime=0.12
/proc/5588/stat : 5588 (SatELiteGTI) S 5586 5588 4990 0 -1 4194304 336 1324 0 0 0 0 12 0 15 0 1 0 306659714 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5588/statm: 1339 239 197 169 0 50 0
[pid=5594] ppid=5588 vsize=25592 CPUtime=12.54
/proc/5594/stat : 5594 (minisat_static) R 5588 5588 4990 0 -1 4194304 6188 0 0 0 1249 5 0 0 25 0 1 0 306659729 26206208 6174 1992294400 134512640 135215339 4294956256 18446744073709551615 134543258 0 0 4096 3 0 0 0 17 0 0 0
/proc/5594/statm: 6398 6174 77 171 0 6225 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 30948
[startup+25.5013 s]
/proc/loadavg: 0.99 1.00 0.99 2/67 5594
/proc/meminfo: memFree=1802608/2055920 swapFree=4178972/4192956
[pid=5588] ppid=5586 vsize=5356 CPUtime=0.12
/proc/5588/stat : 5588 (SatELiteGTI) S 5586 5588 4990 0 -1 4194304 336 1324 0 0 0 0 12 0 15 0 1 0 306659714 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5588/statm: 1339 239 197 169 0 50 0
[pid=5594] ppid=5588 vsize=41516 CPUtime=25.32
/proc/5594/stat : 5594 (minisat_static) R 5588 5588 4990 0 -1 4194304 10150 0 0 0 2523 9 0 0 25 0 1 0 306659729 42512384 10136 1992294400 134512640 135215339 4294956256 18446744073709551615 134528776 0 0 4096 3 0 0 0 17 0 0 0
/proc/5594/statm: 10379 10136 77 171 0 10206 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 46872
[startup+51.1018 s]
/proc/loadavg: 0.99 1.00 0.99 2/67 5594
/proc/meminfo: memFree=1778608/2055920 swapFree=4178972/4192956
[pid=5588] ppid=5586 vsize=5356 CPUtime=0.12
/proc/5588/stat : 5588 (SatELiteGTI) S 5586 5588 4990 0 -1 4194304 336 1324 0 0 0 0 12 0 15 0 1 0 306659714 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5588/statm: 1339 239 197 169 0 50 0
[pid=5594] ppid=5588 vsize=65708 CPUtime=50.91
/proc/5594/stat : 5594 (minisat_static) R 5588 5588 4990 0 -1 4194304 16178 0 0 0 5075 16 0 0 25 0 1 0 306659729 67284992 16164 1992294400 134512640 135215339 4294956256 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 0 0 0
/proc/5594/statm: 16427 16164 77 171 0 16254 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 71064
[startup+102.306 s]
/proc/loadavg: 0.99 1.00 0.99 2/67 5594
/proc/meminfo: memFree=1741168/2055920 swapFree=4178972/4192956
[pid=5588] ppid=5586 vsize=5356 CPUtime=0.12
/proc/5588/stat : 5588 (SatELiteGTI) S 5586 5588 4990 0 -1 4194304 336 1324 0 0 0 0 12 0 15 0 1 0 306659714 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5588/statm: 1339 239 197 169 0 50 0
[pid=5594] ppid=5588 vsize=102536 CPUtime=102.08
/proc/5594/stat : 5594 (minisat_static) R 5588 5588 4990 0 -1 4194304 25365 0 0 0 10180 28 0 0 25 0 1 0 306659729 104996864 25351 1992294400 134512640 135215339 4294956256 18446744073709551615 134528899 0 0 4096 3 0 0 0 17 0 0 0
/proc/5594/statm: 25634 25351 77 171 0 25461 0
Current children cumulated CPU time (s) 102.2
Current children cumulated vsize (KiB) 107892
[startup+162.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/67 5594
/proc/meminfo: memFree=1706864/2055920 swapFree=4178972/4192956
[pid=5588] ppid=5586 vsize=5356 CPUtime=0.12
/proc/5588/stat : 5588 (SatELiteGTI) S 5586 5588 4990 0 -1 4194304 336 1324 0 0 0 0 12 0 15 0 1 0 306659714 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5588/statm: 1339 239 197 169 0 50 0
[pid=5594] ppid=5588 vsize=136856 CPUtime=162.05
/proc/5594/stat : 5594 (minisat_static) R 5588 5588 4990 0 -1 4194304 33972 0 0 0 16167 38 0 0 25 0 1 0 306659729 140140544 33958 1992294400 134512640 135215339 4294956256 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/5594/statm: 34214 33958 77 171 0 34041 0
Current children cumulated CPU time (s) 162.17
Current children cumulated vsize (KiB) 142212
[startup+222.302 s]
/proc/loadavg: 0.99 1.00 0.99 2/67 5594
/proc/meminfo: memFree=1675824/2055920 swapFree=4178972/4192956
[pid=5588] ppid=5586 vsize=5356 CPUtime=0.12
/proc/5588/stat : 5588 (SatELiteGTI) S 5586 5588 4990 0 -1 4194304 336 1324 0 0 0 0 12 0 15 0 1 0 306659714 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5588/statm: 1339 239 197 169 0 50 0
[pid=5594] ppid=5588 vsize=167620 CPUtime=222.02
/proc/5594/stat : 5594 (minisat_static) R 5588 5588 4990 0 -1 4194304 41616 0 0 0 22152 50 0 0 25 0 1 0 306659729 171642880 41602 1992294400 134512640 135215339 4294956256 18446744073709551615 134529148 0 0 4096 3 0 0 0 17 0 0 0
/proc/5594/statm: 41905 41602 77 171 0 41732 0
Current children cumulated CPU time (s) 222.14
Current children cumulated vsize (KiB) 172976
[startup+282.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/67 5594
/proc/meminfo: memFree=1649392/2055920 swapFree=4178972/4192956
[pid=5588] ppid=5586 vsize=5356 CPUtime=0.12
/proc/5588/stat : 5588 (SatELiteGTI) S 5586 5588 4990 0 -1 4194304 336 1324 0 0 0 0 12 0 15 0 1 0 306659714 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5588/statm: 1339 239 197 169 0 50 0
[pid=5594] ppid=5588 vsize=194024 CPUtime=281.96
/proc/5594/stat : 5594 (minisat_static) R 5588 5588 4990 0 -1 4194304 48262 0 0 0 28138 58 0 0 25 0 1 0 306659729 198680576 48248 1992294400 134512640 135215339 4294956256 18446744073709551615 134528852 0 0 4096 3 0 0 0 17 1 0 0
/proc/5594/statm: 48506 48248 77 171 0 48333 0
Current children cumulated CPU time (s) 282.08
Current children cumulated vsize (KiB) 199380
[startup+342.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/67 5594
/proc/meminfo: memFree=1625520/2055920 swapFree=4178972/4192956
[pid=5588] ppid=5586 vsize=5356 CPUtime=0.12
/proc/5588/stat : 5588 (SatELiteGTI) S 5586 5588 4990 0 -1 4194304 336 1324 0 0 0 0 12 0 15 0 1 0 306659714 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5588/statm: 1339 239 197 169 0 50 0
[pid=5594] ppid=5588 vsize=217520 CPUtime=341.93
/proc/5594/stat : 5594 (minisat_static) R 5588 5588 4990 0 -1 4194304 54143 0 0 0 34127 66 0 0 25 0 1 0 306659729 222740480 54129 1992294400 134512640 135215339 4294956256 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/5594/statm: 54380 54129 77 171 0 54207 0
Current children cumulated CPU time (s) 342.05
Current children cumulated vsize (KiB) 222876
[startup+402.302 s]
/proc/loadavg: 0.99 1.00 0.99 2/67 5594
/proc/meminfo: memFree=1603376/2055920 swapFree=4178972/4192956
[pid=5588] ppid=5586 vsize=5356 CPUtime=0.12
/proc/5588/stat : 5588 (SatELiteGTI) S 5586 5588 4990 0 -1 4194304 336 1324 0 0 0 0 12 0 15 0 1 0 306659714 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5588/statm: 1339 239 197 169 0 50 0
[pid=5594] ppid=5588 vsize=240040 CPUtime=401.9
################
# More data... #
################
/proc/5594/statm: 74926 74653 77 171 0 74753 0
Current children cumulated CPU time (s) 581.94
Current children cumulated vsize (KiB) 305060
[startup+642.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/67 5594
/proc/meminfo: memFree=1524784/2055920 swapFree=4178972/4192956
[pid=5588] ppid=5586 vsize=5356 CPUtime=0.12
/proc/5588/stat : 5588 (SatELiteGTI) S 5586 5588 4990 0 -1 4194304 336 1324 0 0 0 0 12 0 15 0 1 0 306659714 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5588/statm: 1339 239 197 169 0 50 0
[pid=5594] ppid=5588 vsize=317392 CPUtime=641.78
/proc/5594/stat : 5594 (minisat_static) R 5588 5588 4990 0 -1 4194304 79098 0 0 0 64080 98 0 0 25 0 1 0 306659729 325009408 79084 1992294400 134512640 135215339 4294956256 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/5594/statm: 79348 79084 77 171 0 79175 0
Current children cumulated CPU time (s) 641.9
Current children cumulated vsize (KiB) 322748
[startup+702.302 s]
/proc/loadavg: 0.99 1.00 0.99 2/67 5594
/proc/meminfo: memFree=1519728/2055920 swapFree=4178972/4192956
[pid=5588] ppid=5586 vsize=5356 CPUtime=0.12
/proc/5588/stat : 5588 (SatELiteGTI) S 5586 5588 4990 0 -1 4194304 336 1324 0 0 0 0 12 0 15 0 1 0 306659714 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5588/statm: 1339 239 197 169 0 50 0
[pid=5594] ppid=5588 vsize=322276 CPUtime=701.75
/proc/5594/stat : 5594 (minisat_static) R 5588 5588 4990 0 -1 4194304 80325 0 0 0 70075 100 0 0 25 0 1 0 306659729 330010624 80311 1992294400 134512640 135215339 4294956256 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 0 0 0
/proc/5594/statm: 80569 80311 77 171 0 80396 0
Current children cumulated CPU time (s) 701.87
Current children cumulated vsize (KiB) 327632
[startup+762.306 s]
/proc/loadavg: 0.99 1.00 0.99 2/67 5594
/proc/meminfo: memFree=1519728/2055920 swapFree=4178972/4192956
[pid=5588] ppid=5586 vsize=5356 CPUtime=0.12
/proc/5588/stat : 5588 (SatELiteGTI) S 5586 5588 4990 0 -1 4194304 336 1324 0 0 0 0 12 0 15 0 1 0 306659714 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5588/statm: 1339 239 197 169 0 50 0
[pid=5594] ppid=5588 vsize=322276 CPUtime=761.73
/proc/5594/stat : 5594 (minisat_static) R 5588 5588 4990 0 -1 4194304 80325 0 0 0 76073 100 0 0 25 0 1 0 306659729 330010624 80311 1992294400 134512640 135215339 4294956256 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 0 0 0
/proc/5594/statm: 80569 80311 77 171 0 80396 0
Current children cumulated CPU time (s) 761.85
Current children cumulated vsize (KiB) 327632
[startup+822.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/67 5594
/proc/meminfo: memFree=1512944/2055920 swapFree=4178972/4192956
[pid=5588] ppid=5586 vsize=5356 CPUtime=0.12
/proc/5588/stat : 5588 (SatELiteGTI) S 5586 5588 4990 0 -1 4194304 336 1324 0 0 0 0 12 0 15 0 1 0 306659714 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5588/statm: 1339 239 197 169 0 50 0
[pid=5594] ppid=5588 vsize=328876 CPUtime=821.7
/proc/5594/stat : 5594 (minisat_static) R 5588 5588 4990 0 -1 4194304 81991 0 0 0 82068 102 0 0 25 0 1 0 306659729 336769024 81977 1992294400 134512640 135215339 4294956256 18446744073709551615 134528691 0 0 4096 3 0 0 0 17 0 0 0
/proc/5594/statm: 82219 81977 77 171 0 82046 0
Current children cumulated CPU time (s) 821.82
Current children cumulated vsize (KiB) 334232
[startup+882.302 s]
/proc/loadavg: 0.99 1.00 0.99 2/67 5594
/proc/meminfo: memFree=1512944/2055920 swapFree=4178972/4192956
[pid=5588] ppid=5586 vsize=5356 CPUtime=0.12
/proc/5588/stat : 5588 (SatELiteGTI) S 5586 5588 4990 0 -1 4194304 336 1324 0 0 0 0 12 0 15 0 1 0 306659714 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5588/statm: 1339 239 197 169 0 50 0
[pid=5594] ppid=5588 vsize=328876 CPUtime=881.67
/proc/5594/stat : 5594 (minisat_static) R 5588 5588 4990 0 -1 4194304 81991 0 0 0 88065 102 0 0 25 0 1 0 306659729 336769024 81977 1992294400 134512640 135215339 4294956256 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/5594/statm: 82219 81977 77 171 0 82046 0
Current children cumulated CPU time (s) 881.79
Current children cumulated vsize (KiB) 334232
[startup+942.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/67 5594
/proc/meminfo: memFree=1512816/2055920 swapFree=4178972/4192956
[pid=5588] ppid=5586 vsize=5356 CPUtime=0.12
/proc/5588/stat : 5588 (SatELiteGTI) S 5586 5588 4990 0 -1 4194304 336 1324 0 0 0 0 12 0 15 0 1 0 306659714 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5588/statm: 1339 239 197 169 0 50 0
[pid=5594] ppid=5588 vsize=328876 CPUtime=941.64
/proc/5594/stat : 5594 (minisat_static) R 5588 5588 4990 0 -1 4194304 81991 0 0 0 94062 102 0 0 25 0 1 0 306659729 336769024 81977 1992294400 134512640 135215339 4294956256 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/5594/statm: 82219 81977 77 171 0 82046 0
Current children cumulated CPU time (s) 941.76
Current children cumulated vsize (KiB) 334232
[startup+1002.3 s]
/proc/loadavg: 0.99 1.00 0.99 3/67 5594
/proc/meminfo: memFree=1512752/2055920 swapFree=4178972/4192956
[pid=5588] ppid=5586 vsize=5356 CPUtime=0.12
/proc/5588/stat : 5588 (SatELiteGTI) S 5586 5588 4990 0 -1 4194304 336 1324 0 0 0 0 12 0 15 0 1 0 306659714 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5588/statm: 1339 239 197 169 0 50 0
[pid=5594] ppid=5588 vsize=328876 CPUtime=1001.61
/proc/5594/stat : 5594 (minisat_static) R 5588 5588 4990 0 -1 4194304 81991 0 0 0 100059 102 0 0 25 0 1 0 306659729 336769024 81977 1992294400 134512640 135215339 4294956256 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/5594/statm: 82219 81977 77 171 0 82046 0
Current children cumulated CPU time (s) 1001.73
Current children cumulated vsize (KiB) 334232
[startup+1062.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/67 5594
/proc/meminfo: memFree=1506160/2055920 swapFree=4178972/4192956
[pid=5588] ppid=5586 vsize=5356 CPUtime=0.12
/proc/5588/stat : 5588 (SatELiteGTI) S 5586 5588 4990 0 -1 4194304 336 1324 0 0 0 0 12 0 15 0 1 0 306659714 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5588/statm: 1339 239 197 169 0 50 0
[pid=5594] ppid=5588 vsize=335476 CPUtime=1061.58
/proc/5594/stat : 5594 (minisat_static) R 5588 5588 4990 0 -1 4194304 83629 0 0 0 106054 104 0 0 25 0 1 0 306659729 343527424 83615 1992294400 134512640 135215339 4294956256 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 0 0 0
/proc/5594/statm: 83869 83615 77 171 0 83696 0
Current children cumulated CPU time (s) 1061.7
Current children cumulated vsize (KiB) 340832
[startup+1122.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/67 5596
/proc/meminfo: memFree=1505904/2055920 swapFree=4178972/4192956
[pid=5588] ppid=5586 vsize=5356 CPUtime=0.12
/proc/5588/stat : 5588 (SatELiteGTI) S 5586 5588 4990 0 -1 4194304 336 1324 0 0 0 0 12 0 15 0 1 0 306659714 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5588/statm: 1339 239 197 169 0 50 0
[pid=5594] ppid=5588 vsize=335476 CPUtime=1121.55
/proc/5594/stat : 5594 (minisat_static) R 5588 5588 4990 0 -1 4194304 83629 0 0 0 112051 104 0 0 25 0 1 0 306659729 343527424 83615 1992294400 134512640 135215339 4294956256 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/5594/statm: 83869 83615 77 171 0 83696 0
Current children cumulated CPU time (s) 1121.67
Current children cumulated vsize (KiB) 340832
[startup+1182.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/67 5596
/proc/meminfo: memFree=1493744/2055920 swapFree=4178972/4192956
[pid=5588] ppid=5586 vsize=5356 CPUtime=0.12
/proc/5588/stat : 5588 (SatELiteGTI) S 5586 5588 4990 0 -1 4194304 336 1324 0 0 0 0 12 0 15 0 1 0 306659714 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5588/statm: 1339 239 197 169 0 50 0
[pid=5594] ppid=5588 vsize=347752 CPUtime=1181.53
/proc/5594/stat : 5594 (minisat_static) R 5588 5588 4990 0 -1 4194304 86722 0 0 0 118045 108 0 0 25 0 1 0 306659729 356098048 86708 1992294400 134512640 135215339 4294956256 18446744073709551615 134545661 0 0 4096 3 0 0 0 17 1 0 0
/proc/5594/statm: 86938 86708 77 171 0 86765 0
Current children cumulated CPU time (s) 1181.65
Current children cumulated vsize (KiB) 353108
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.7 s]
/proc/loadavg: 0.99 1.00 0.99 2/67 5596
/proc/meminfo: memFree=1493552/2055920 swapFree=4178972/4192956
[pid=5588] ppid=5586 vsize=5356 CPUtime=0.12
/proc/5588/stat : 5588 (SatELiteGTI) S 5586 5588 4990 0 -1 4194304 336 1324 0 0 0 0 12 0 15 0 1 0 306659714 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5588/statm: 1339 239 197 169 0 50 0
[pid=5594] ppid=5588 vsize=347752 CPUtime=1199.92
/proc/5594/stat : 5594 (minisat_static) R 5588 5588 4990 0 -1 4194304 86722 0 0 0 119884 108 0 0 25 0 1 0 306659729 356098048 86708 1992294400 134512640 135215339 4294956256 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/5594/statm: 86938 86708 77 171 0 86765 0
Current children cumulated CPU time (s) 1200.04
Current children cumulated vsize (KiB) 353108
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1200.7 s]
/proc/loadavg: 0.99 1.00 0.99 2/67 5596
/proc/meminfo: memFree=1493552/2055920 swapFree=4178972/4192956
[pid=5588] ppid=5586 vsize=5356 CPUtime=0.12
/proc/5588/stat : 5588 (SatELiteGTI) S 5586 5588 4990 0 -1 4194304 336 1324 0 0 0 0 12 0 15 0 1 0 306659714 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5588/statm: 1339 239 197 169 0 50 0
[pid=5594] ppid=5588 vsize=347752 CPUtime=1199.92
/proc/5594/stat : 5594 (minisat_static) R 5588 5588 4990 0 -1 4194304 86722 0 0 0 119884 108 0 0 25 0 1 0 306659729 356098048 86708 1992294400 134512640 135215339 4294956256 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/5594/statm: 86938 86708 77 171 0 86765 0
Current children cumulated CPU time (s) 1200.04
Current children cumulated vsize (KiB) 353108
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 5588 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=129980
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=10998
# CPU time returned by wait4() is 0.140978
# while last known CPU time is 1200.04
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1200.71
CPU time (s): 1200.04
CPU user time (s): 1198.96
CPU system time (s): 1.08
CPU usage (%): 99.9439
Max. virtual memory (cumulated for all children) (KiB): 353108
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.12998
system time used= 0.010998
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1660
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= 21
runsolver used 1.12483 second user time and 3.33549 second system time
The end
Begin job on node8 at 2009-05-20 04:24:20
IDJOB=1832685
IDBENCH=70306
IDSOLVER=671
FILE ID=node8/1832685-1242786260
PBS_JOBID= 9322351
Free space on /tmp= 66244 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/RANDOM/LARGE/3SAT/UNKNOWN/8000/unif-k3-r4.2-v8000-c33600-S839302453-094.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832685-1242786260/watcher-1832685-1242786260 -o /tmp/evaluation-result-1832685-1242786260/solver-1832685-1242786260 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832685-1242786260.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 5a4a01076ef9554c4c4991324b6100b4
RANDOM SEED=511709518
node8.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: 1844184 kB
Buffers: 25948 kB
Cached: 139360 kB
SwapCached: 7548 kB
Active: 34800 kB
Inactive: 139684 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1844184 kB
SwapTotal: 4192956 kB
SwapFree: 4178972 kB
Dirty: 2180 kB
Writeback: 0 kB
Mapped: 14292 kB
Slab: 23108 kB
Committed_AS: 1100300 kB
PageTables: 1376 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264960 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66240 MiB
End job on node8 at 2009-05-20 04:44:23