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.11 c | 0 | 33388 101305 | -- 0 -- -- | -- | -212/505
0.00/0.11 c ==============================================================================
0.00/0.11 c Result : #vars: 7815 #clauses: 33388 #literals: 101305
0.00/0.11 c CPU time: 0.104984 s
0.00/0.11 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.15 c | Number of variables: 7815 |
0.00/0.15 c | Number of clauses: 33388 |
0.00/0.17 c | Parsing time: 0.02 s |
0.00/0.17 c ============================[ Search Statistics ]==============================
0.00/0.17 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.00/0.17 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.00/0.17 c ===============================================================================
0.00/0.17 c | 0 | 7815 33388 101305 | 11129 0 nan | 0.000 % |
0.00/0.19 c | 100 | 7815 33388 101305 | 11129 100 92 | 0.000 % |
0.13/0.21 c | 201 | 7815 33388 101305 | 11129 201 107 | 0.000 % |
0.13/0.24 c | 301 | 7815 33388 101305 | 11129 301 115 | 0.000 % |
0.13/0.26 c | 413 | 7815 33388 101305 | 11129 413 117 | 0.000 % |
0.13/0.28 c | 513 | 7815 33388 101305 | 11129 513 115 | 0.000 % |
0.13/0.31 c | 623 | 7815 33388 101305 | 11129 623 116 | 0.000 % |
0.13/0.34 c | 744 | 7815 33388 101305 | 11129 744 120 | 0.000 % |
0.13/0.36 c | 845 | 7815 33388 101305 | 11129 845 121 | 0.000 % |
0.13/0.38 c | 956 | 7815 33388 101305 | 11129 956 120 | 0.000 % |
0.13/0.41 c | 1078 | 7815 33388 101305 | 11129 1078 120 | 0.000 % |
0.13/0.44 c | 1211 | 7815 33388 101305 | 11129 1211 120 | 0.000 % |
0.13/0.47 c | 1311 | 7815 33388 101305 | 11129 1311 122 | 0.000 % |
0.13/0.49 c | 1421 | 7815 33388 101305 | 11129 1421 122 | 0.000 % |
0.13/0.52 c | 1543 | 7815 33388 101305 | 11129 1543 126 | 0.000 % |
0.13/0.55 c | 1679 | 7815 33388 101305 | 11129 1679 125 | 0.000 % |
0.13/0.58 c | 1825 | 7815 33388 101305 | 11129 1825 127 | 0.000 % |
0.13/0.61 c | 1925 | 7815 33388 101305 | 11129 1925 128 | 0.000 % |
0.13/0.64 c | 2035 | 7815 33388 101305 | 11129 2035 128 | 0.000 % |
0.13/0.66 c | 2157 | 7815 33388 101305 | 11129 2157 129 | 0.000 % |
0.13/0.69 c | 2291 | 7815 33388 101305 | 11129 2291 127 | 0.000 % |
0.13/0.73 c | 2437 | 7815 33388 101305 | 11129 2437 131 | 0.000 % |
0.13/0.77 c | 2597 | 7815 33388 101305 | 11129 2597 132 | 0.000 % |
0.13/0.79 c | 2697 | 7815 33388 101305 | 11129 2697 131 | 0.000 % |
0.13/0.82 c | 2809 | 7815 33388 101305 | 11129 2809 132 | 0.000 % |
0.13/0.86 c | 2930 | 7815 33388 101305 | 11129 2930 132 | 0.000 % |
0.13/0.89 c | 3063 | 7815 33388 101305 | 11129 3063 133 | 0.000 % |
0.13/0.92 c | 3209 | 7815 33388 101305 | 11129 3209 134 | 0.000 % |
0.13/0.97 c | 3369 | 7815 33388 101305 | 11129 3369 135 | 0.000 % |
0.97/1.01 c | 3545 | 7815 33388 101305 | 11129 3545 135 | 0.000 % |
0.97/1.04 c | 3645 | 7815 33388 101305 | 11129 3645 135 | 0.000 % |
0.97/1.07 c | 3760 | 7815 33388 101305 | 11129 3760 135 | 0.000 % |
0.97/1.10 c | 3882 | 7815 33388 101305 | 11129 3882 135 | 0.000 % |
1.07/1.13 c | 4016 | 7815 33388 101305 | 11129 4016 134 | 0.000 % |
1.07/1.17 c | 4163 | 7815 33388 101305 | 11129 4163 135 | 0.000 % |
1.17/1.21 c | 4325 | 7815 33388 101305 | 11129 4325 135 | 0.000 % |
1.17/1.26 c | 4501 | 7815 33388 101305 | 11129 4501 135 | 0.000 % |
1.27/1.31 c | 4694 | 7815 33388 101305 | 11129 4694 135 | 0.000 % |
1.27/1.34 c | 4795 | 7815 33388 101305 | 11129 4795 134 | 0.000 % |
1.27/1.37 c | 4905 | 7815 33388 101305 | 11129 4905 134 | 0.000 % |
1.36/1.40 c | 5026 | 7815 33388 101305 | 11129 5026 134 | 0.000 % |
1.36/1.44 c | 5161 | 7815 33388 101305 | 11129 5161 133 | 0.000 % |
1.36/1.48 c | 5307 | 7815 33388 101305 | 11129 5307 132 | 0.000 % |
1.46/1.52 c | 5468 | 7815 33388 101305 | 11129 5468 132 | 0.000 % |
1.46/1.57 c | 5646 | 7815 33388 101305 | 11129 5646 132 | 0.000 % |
1.57/1.62 c | 5839 | 7815 33388 101305 | 11129 5839 133 | 0.000 % |
1.57/1.67 c | 6051 | 7815 33388 101305 | 11129 6051 133 | 0.000 % |
1.66/1.70 c | 6153 | 7815 33388 101305 | 11129 6153 133 | 0.000 % |
1.66/1.73 c | 6263 | 7815 33388 101305 | 11129 6263 133 | 0.000 % |
1.66/1.77 c | 6384 | 7815 33388 101305 | 11129 6384 134 | 0.000 % |
1.77/1.81 c | 6518 | 7815 33388 101305 | 11129 6518 133 | 0.000 % |
1.77/1.85 c | 6664 | 7815 33388 101305 | 11129 6664 134 | 0.000 % |
1.77/1.90 c | 6825 | 7815 33388 101305 | 11129 6825 134 | 0.000 % |
1.87/1.95 c | 7002 | 7815 33388 101305 | 11129 7002 135 | 0.000 % |
1.97/2.00 c | 7195 | 7815 33388 101305 | 11129 7195 134 | 0.000 % |
1.97/2.07 c | 7408 | 7815 33388 101305 | 11129 7408 135 | 0.000 % |
2.08/2.13 c | 7642 | 7815 33388 101305 | 11129 7642 135 | 0.000 % |
2.08/2.16 c | 7742 | 7815 33388 101305 | 11129 7742 135 | 0.000 % |
2.08/2.19 c | 7852 | 7815 33388 101305 | 11129 7852 135 | 0.000 % |
2.18/2.23 c | 7975 | 7815 33388 101305 | 11129 7975 135 | 0.000 % |
2.18/2.27 c | 8108 | 7815 33388 101305 | 11129 8108 135 | 0.000 % |
2.27/2.31 c | 8256 | 7815 33388 101305 | 11129 8256 136 | 0.000 % |
2.27/2.36 c | 8417 | 7815 33388 101305 | 11129 8417 136 | 0.000 % |
2.37/2.42 c | 8593 | 7815 33388 101305 | 11129 8593 137 | 0.000 % |
2.37/2.47 c | 8786 | 7815 33388 101305 | 11129 8786 138 | 0.000 % |
2.47/2.53 c | 8998 | 7815 33388 101305 | 11129 8998 138 | 0.000 % |
2.57/2.60 c | 9231 | 7815 33388 101305 | 11129 9231 137 | 0.000 % |
2.57/2.68 c | 9487 | 7815 33388 101305 | 11129 9487 137 | 0.000 % |
2.67/2.72 c | 9587 | 7815 33388 101305 | 11129 9587 137 | 0.000 % |
2.67/2.75 c | 9698 | 7815 33388 101305 | 11129 9698 138 | 0.000 % |
2.67/2.79 c | 9819 | 7815 33388 101305 | 11129 9819 138 | 0.000 % |
2.77/2.83 c | 9954 | 7815 33388 101305 | 11129 9954 138 | 0.000 % |
2.77/2.87 c | 10100 | 7815 33388 101305 | 2147483647 10100 138 | 0.000 % |
2.87/2.92 c | 10260 | 7815 33388 101305 | 2147483647 10260 138 | 0.000 % |
2.87/2.98 c | 10436 | 7815 33388 101305 | 2147483647 10436 138 | 0.000 % |
2.97/3.04 c | 10630 | 7815 33388 101305 | 2147483647 10630 139 | 0.000 % |
3.07/3.11 c | 10842 | 7815 33388 101305 | 2147483647 10842 138 | 0.000 % |
3.07/3.18 c | 11075 | 7815 33388 101305 | 2147483647 11075 138 | 0.000 % |
3.17/3.26 c | 11333 | 7815 33388 101305 | 2147483647 11333 138 | 0.000 % |
3.27/3.35 c | 11616 | 7815 33388 101305 | 2147483647 11616 139 | 0.000 % |
3.27/3.38 c | 11718 | 7815 33388 101305 | 2147483647 11718 139 | 0.000 % |
3.37/3.41 c | 11829 | 7815 33388 101305 | 2147483647 11829 138 | 0.000 % |
3.37/3.45 c | 11951 | 7815 33388 101305 | 2147483647 11951 138 | 0.000 % |
3.47/3.50 c | 12084 | 7815 33388 101305 | 2147483647 12084 138 | 0.000 % |
3.47/3.55 c | 12230 | 7815 33388 101305 | 2147483647 12230 138 | 0.000 % |
3.57/3.60 c | 12390 | 7815 33388 101305 | 2147483647 12390 139 | 0.000 % |
3.57/3.66 c | 12566 | 7815 33388 101305 | 2147483647 12566 138 | 0.000 % |
3.67/3.72 c | 12762 | 7815 33388 101305 | 2147483647 12762 138 | 0.000 % |
3.67/3.79 c | 12974 | 7815 33388 101305 | 2147483647 12974 139 | 0.000 % |
3.77/3.87 c | 13208 | 7815 33388 101305 | 2147483647 13208 138 | 0.000 % |
3.87/3.95 c | 13464 | 7815 33388 101305 | 2147483647 13464 139 | 0.000 % |
3.97/4.04 c | 13745 | 7815 33388 101305 | 2147483647 13745 139 | 0.000 % |
4.07/4.14 c | 14054 | 7815 33388 101305 | 2147483647 14054 140 | 0.000 % |
4.07/4.18 c | 14156 | 7815 33388 101305 | 2147483647 14156 140 | 0.000 % |
4.17/4.22 c | 14266 | 7815 33388 101305 | 2147483647 14266 140 | 0.000 % |
4.17/4.26 c | 14387 | 7815 33388 101305 | 2147483647 14387 140 | 0.000 % |
4.27/4.31 c | 14522 | 7815 33388 101305 | 2147483647 14522 140 | 0.000 % |
4.27/4.36 c | 14668 | 7815 33388 101305 | 2147483647 14668 140 | 0.000 % |
4.37/4.42 c | 14830 | 7815 33388 101305 | 2147483647 14830 140 | 0.000 % |
4.37/4.48 c | 15007 | 7815 33388 101305 | 2147483647 15007 140 | 0.000 % |
4.46/4.54 c | 15200 | 7815 33388 101305 | 2147483647 15200 140 | 0.000 % |
4.56/4.62 c | 15412 | 7815 33388 101305 | 2147483647 15412 140 | 0.000 % |
4.66/4.70 c | 15646 | 7815 33388 101305 | 2147483647 15646 140 | 0.000 % |
4.66/4.78 c | 15903 | 7815 33388 101305 | 2147483647 15903 140 | 0.000 % |
4.76/4.87 c | 16184 | 7815 33388 101305 | 2147483647 16184 141 | 0.000 % |
4.86/4.98 c | 16494 | 7815 33388 101305 | 2147483647 16494 141 | 0.000 % |
5.06/5.10 c | 16834 | 7815 33388 101305 | 2147483647 16834 141 | 0.000 % |
5.06/5.14 c | 16935 | 7815 33388 101305 | 2147483647 16935 141 | 0.000 % |
5.06/5.18 c | 17047 | 7815 33388 101305 | 2147483647 17047 141 | 0.000 % |
5.17/5.23 c | 17168 | 7815 33388 101305 | 2147483647 17168 141 | 0.000 % |
5.17/5.28 c | 17301 | 7815 33388 101305 | 2147483647 17301 141 | 0.000 % |
5.27/5.34 c | 17448 | 7815 33388 101305 | 2147483647 17448 141 | 0.000 % |
5.27/5.39 c | 17608 | 7815 33388 101305 | 2147483647 17608 140 | 0.000 % |
5.37/5.46 c | 17784 | 7815 33388 101305 | 2147483647 17784 140 | 0.000 % |
5.47/5.53 c | 17978 | 7815 33388 101305 | 2147483647 17978 140 | 0.000 % |
5.57/5.60 c | 18191 | 7815 33388 101305 | 2147483647 18191 140 | 0.000 % |
5.57/5.69 c | 18424 | 7815 33388 101305 | 2147483647 18424 140 | 0.000 % |
5.67/5.79 c | 18680 | 7815 33388 101305 | 2147483647 18680 141 | 0.000 % |
5.77/5.89 c | 18962 | 7815 33388 101305 | 2147483647 18962 140 | 0.000 % |
5.97/6.00 c | 19271 | 7815 33388 101305 | 2147483647 19271 141 | 0.000 % |
6.07/6.14 c | 19610 | 7815 33388 101305 | 2147483647 19610 141 | 0.000 % |
6.17/6.27 c | 19983 | 7815 33388 101305 | 2147483647 19983 142 | 0.000 % |
6.27/6.31 c | 20083 | 7815 33388 101305 | 2147483647 20083 141 | 0.000 % |
6.27/6.36 c | 20193 | 7815 33388 101305 | 2147483647 20193 141 | 0.000 % |
6.37/6.41 c | 20314 | 7815 33388 101305 | 2147483647 20314 141 | 0.000 % |
6.37/6.46 c | 20448 | 7815 33388 101305 | 2147483647 20448 141 | 0.000 % |
6.47/6.52 c | 20594 | 7815 33388 101305 | 2147483647 20594 141 | 0.000 % |
6.47/6.58 c | 20754 | 7815 33388 101305 | 2147483647 20754 141 | 0.000 % |
6.57/6.65 c | 20930 | 7815 33388 101305 | 2147483647 20930 141 | 0.000 % |
6.66/6.72 c | 21127 | 7815 33388 101305 | 2147483647 21127 141 | 0.000 % |
6.76/6.81 c | 21341 | 7815 33388 101305 | 2147483647 21341 141 | 0.000 % |
6.86/6.91 c | 21575 | 7815 33388 101305 | 2147483647 21575 141 | 0.000 % |
6.96/7.01 c | 21831 | 7815 33388 101305 | 2147483647 21831 141 | 0.000 % |
7.06/7.11 c | 22112 | 7815 33388 101305 | 2147483647 22112 141 | 0.000 % |
7.16/7.24 c | 22422 | 7815 33388 101305 | 2147483647 22422 141 | 0.000 % |
7.26/7.37 c | 22761 | 7815 33388 101305 | 2147483647 22761 141 | 0.000 % |
7.47/7.52 c | 23133 | 7815 33388 101305 | 2147483647 23133 142 | 0.000 % |
7.57/7.69 c | 23543 | 7815 33388 101305 | 2147483647 23543 142 | 0.000 % |
7.67/7.74 c | 23644 | 7815 33388 101305 | 2147483647 23644 142 | 0.000 % |
7.67/7.78 c | 23754 | 7815 33388 101305 | 2147483647 23754 142 | 0.000 % |
7.77/7.84 c | 23876 | 7815 33388 101305 | 2147483647 23876 142 | 0.000 % |
7.77/7.89 c | 24009 | 7815 33388 101305 | 2147483647 24009 142 | 0.000 % |
7.87/7.95 c | 24155 | 7815 33388 101305 | 2147483647 24155 142 | 0.000 % |
7.97/8.02 c | 24316 | 7815 33388 101305 | 2147483647 24316 142 | 0.000 % |
7.97/8.09 c | 24493 | 7815 33388 101305 | 2147483647 24493 142 | 0.000 % |
8.07/8.17 c | 24687 | 7815 33388 101305 | 2147483647 24687 142 | 0.000 % |
8.17/8.25 c | 24900 | 7815 33388 101305 | 2147483647 24900 142 | 0.000 % |
8.27/8.34 c | 25134 | 7815 33388 101305 | 2147483647 25134 142 | 0.000 % |
8.37/8.44 c | 25391 | 7815 33388 101305 | 2147483647 25391 142 | 0.000 % |
8.47/8.55 c | 25672 | 7815 33388 101305 | 2147483647 25672 142 | 0.000 % |
8.57/8.69 c | 25982 | 7815 33388 101305 | 2147483647 25982 143 | 0.000 % |
8.77/8.82 c | 26321 | 7815 33388 101305 | 2147483647 26321 143 | 0.000 % |
8.86/8.97 c | 26695 | 7815 33388 101305 | 2147483647 26695 143 | 0.000 % |
9.06/9.12 c | 27106 | 7815 33388 101305 | 2147483647 27106 143 | 0.000 % |
9.16/9.29 c | 27556 | 7815 33388 101305 | 2147483647 27556 143 | 0.000 % |
9.26/9.34 c | 27657 | 7815 33388 101305 | 2147483647 27657 143 | 0.000 % |
9.26/9.39 c | 27770 | 7815 33388 101305 | 2147483647 27770 142 | 0.000 % |
9.36/9.44 c | 27892 | 7815 33388 101305 | 2147483647 27892 143 | 0.000 % |
9.46/9.50 c | 28025 | 7815 33388 101305 | 2147483647 28025 143 | 0.000 % |
9.46/9.57 c | 28171 | 7815 33388 101305 | 2147483647 28171 143 | 0.000 % |
9.56/9.64 c | 28331 | 7815 33388 101305 | 2147483647 28331 142 | 0.000 % |
9.66/9.72 c | 28507 | 7815 33388 101305 | 2147483647 28507 142 | 0.000 % |
9.77/9.81 c | 28700 | 7815 33388 101305 | 2147483647 28700 142 | 0.000 % |
9.77/9.90 c | 28912 | 7815 33388 101305 | 2147483647 28912 142 | 0.000 % |
9.87/9.99 c | 29149 | 7815 33388 101305 | 2147483647 29149 142 | 0.000 % |
10.07/10.11 c | 29407 | 7815 33388 101305 | 2147483647 29407 142 | 0.000 % |
10.17/10.23 c | 29690 | 7815 33388 101305 | 2147483647 29690 142 | 0.000 % |
10.27/10.36 c | 30002 | 7815 33388 101305 | 2147483647 30002 142 | 0.000 % |
10.47/10.52 c | 30341 | 7815 33388 101305 | 2147483647 30341 142 | 0.000 % |
10.57/10.70 c | 30715 | 7815 33388 101305 | 2147483647 30715 143 | 0.000 % |
10.77/10.88 c | 31125 | 7815 33388 101305 | 2147483647 31125 143 | 0.000 % |
10.97/11.08 c | 31574 | 7815 33388 101305 | 2147483647 31574 143 | 0.000 % |
11.27/11.30 c | 32067 | 7815 33388 101305 | 2147483647 32067 143 | 0.000 % |
11.27/11.36 c | 32168 | 7815 33388 101305 | 2147483647 32168 143 | 0.000 % |
11.37/11.41 c | 32282 | 7815 33388 101305 | 2147483647 32282 143 | 0.000 % |
11.37/11.48 c | 32404 | 7815 33388 101305 | 2147483647 32404 143 | 0.000 % |
11.47/11.54 c | 32537 | 7815 33388 101305 | 2147483647 32537 143 | 0.000 % |
11.57/11.61 c | 32685 | 7815 33388 101305 | 2147483647 32685 143 | 0.000 % |
11.57/11.69 c | 32845 | 7815 33388 101305 | 2147483647 32845 143 | 0.000 % |
11.66/11.78 c | 33021 | 7815 33388 101305 | 2147483647 33021 143 | 0.000 % |
11.76/11.87 c | 33214 | 7815 33388 101305 | 2147483647 33214 143 | 0.000 % |
11.86/11.98 c | 33428 | 7815 33388 101305 | 2147483647 33428 143 | 0.000 % |
11.97/12.09 c | 33661 | 7815 33388 101305 | 2147483647 33661 143 | 0.000 % |
12.16/12.22 c | 33917 | 7815 33388 101305 | 2147483647 33917 143 | 0.000 % |
12.26/12.35 c | 34199 | 7815 33388 101305 | 2147483647 34199 143 | 0.000 % |
12.36/12.49 c | 34509 | 7815 33388 101305 | 2147483647 34509 143 | 0.000 % |
12.57/12.66 c | 34848 | 7815 33388 101305 | 2147483647 34848 143 | 0.000 % |
12.77/12.82 c | 35222 | 7815 33388 101305 | 2147483647 35222 143 | 0.000 % |
12.97/13.02 c | 35631 | 7815 33388 101305 | 2147483647 35631 143 | 0.000 % |
13.17/13.23 c | 36080 | 7815 33388 101305 | 2147483647 36080 143 | 0.000 % |
13.37/13.46 c | 36574 | 7815 33388 101305 | 2147483647 36574 143 | 0.000 % |
13.67/13.72 c | 37118 | 7815 33388 101305 | 2147483647 37118 144 | 0.000 % |
13.67/13.78 c | 37218 | 7815 33388 101305 | 2147483647 37218 144 | 0.000 % |
13.77/13.84 c | 37331 | 7815 33388 101305 | 2147483647 37331 144 | 0.000 % |
13.87/13.91 c | 37452 | 7815 33388 101305 | 2147483647 37452 144 | 0.000 % |
13.87/13.97 c | 37587 | 7815 33388 101305 | 2147483647 37587 144 | 0.000 % |
13.97/14.05 c | 37733 | 7815 33388 101305 | 2147483647 37733 144 | 0.000 % |
14.07/14.13 c | 37893 | 7815 33388 101305 | 2147483647 37893 144 | 0.000 % |
14.17/14.22 c | 38071 | 7815 33388 101305 | 2147483647 38071 144 | 0.000 % |
14.27/14.33 c | 38264 | 7815 33388 101305 | 2147483647 38264 144 | 0.000 % |
14.36/14.43 c | 38476 | 7815 33388 101305 | 2147483647 38476 144 | 0.000 % |
14.46/14.55 c | 38710 | 7815 33388 101305 | 2147483647 38710 144 | 0.000 % |
14.56/14.67 c | 38966 | 7815 33388 101305 | 2147483647 38966 144 | 0.000 % |
14.76/14.81 c | 39247 | 7815 33388 101305 | 2147483647 39247 144 | 0.000 % |
14.86/14.97 c | 39558 | 7815 33388 101305 | 2147483647 39558 144 | 0.000 % |
15.06/15.13 c | 39900 | 7815 33388 101305 | 2147483647 39900 144 | 0.000 % |
15.27/15.30 c | 40273 | 7815 33388 101305 | 2147483647 40273 144 | 0.000 % |
15.46/15.51 c | 40685 | 7815 33388 101305 | 2147483647 40685 144 | 0.000 % |
15.66/15.72 c | 41136 | 7815 33388 101305 | 2147483647 41136 144 | 0.000 % |
15.86/15.95 c | 41632 | 7815 33388 101305 | 2147483647 41632 144 | 0.000 % |
16.16/16.23 c | 42175 | 7815 33388 101305 | 2147483647 42175 144 | 0.000 % |
16.46/16.52 c | 42772 | 7815 33388 101305 | 2147483647 42772 144 | 0.000 % |
16.46/16.58 c | 42872 | 7815 33388 101305 | 2147483647 42872 144 | 0.000 % |
16.56/16.64 c | 42983 | 7815 33388 101305 | 2147483647 42983 144 | 0.000 % |
16.67/16.71 c | 43104 | 7815 33388 101305 | 2147483647 43104 144 | 0.000 % |
16.67/16.78 c | 43237 | 7815 33388 101305 | 2147483647 43237 144 | 0.000 % |
16.77/16.86 c | 43383 | 7815 33388 101305 | 2147483647 43383 144 | 0.000 % |
16.87/16.94 c | 43543 | 7815 33388 101305 | 2147483647 43543 144 | 0.000 % |
16.97/17.06 c | 43719 | 7815 33388 101305 | 2147483647 43719 144 | 0.000 % |
17.07/17.16 c | 43912 | 7815 33388 101305 | 2147483647 43912 144 | 0.000 % |
17.17/17.27 c | 44124 | 7815 33388 101305 | 2147483647 44124 145 | 0.000 % |
17.27/17.39 c | 44358 | 7815 33388 101305 | 2147483647 44358 144 | 0.000 % |
17.47/17.54 c | 44614 | 7815 33388 101305 | 2147483647 44614 144 | 0.000 % |
17.67/17.70 c | 44895 | 7815 33388 101305 | 2147483647 44895 144 | 0.000 % |
17.77/17.85 c | 45204 | 7815 33388 101305 | 2147483647 45204 144 | 0.000 % |
17.97/18.02 c | 45543 | 7815 33388 101305 | 2147483647 45543 145 | 0.000 % |
18.17/18.23 c | 45916 | 7815 33388 101305 | 2147483647 45916 145 | 0.000 % |
18.37/18.43 c | 46326 | 7815 33388 101305 | 2147483647 46326 145 | 0.000 % |
18.57/18.67 c | 46777 | 7815 33388 101305 | 2147483647 46777 145 | 0.000 % |
18.86/18.95 c | 47271 | 7815 33388 101305 | 2147483647 47271 145 | 0.000 % |
19.16/19.23 c | 47813 | 7815 33388 101305 | 2147483647 47813 145 | 0.000 % |
19.46/19.55 c | 48409 | 7815 33388 101305 | 2147483647 48409 145 | 0.000 % |
19.86/19.92 c | 49064 | 7815 33388 101305 | 2147483647 49064 146 | 0.000 % |
19.86/19.99 c | 49168 | 7815 33388 101305 | 2147483647 49168 146 | 0.000 % |
19.96/20.05 c | 49278 | 7815 33388 101305 | 2147483647 49278 146 | 0.000 % |
20.06/20.13 c | 49399 | 7815 33388 101305 | 2147483647 49399 146 | 0.000 % |
20.16/20.20 c | 49532 | 7815 33388 101305 | 2147483647 49532 146 | 0.000 % |
20.16/20.29 c | 49678 | 7815 33388 101305 | 2147483647 49678 146 | 0.000 % |
20.26/20.39 c | 49841 | 7815 33388 101305 | 2147483647 49841 146 | 0.000 % |
20.46/20.50 c | 50017 | 7815 33388 101305 | 2147483647 50017 146 | 0.000 % |
20.56/20.61 c | 50210 | 7815 33388 101305 | 2147483647 50210 146 | 0.000 % |
20.66/20.73 c | 50423 | 7815 33388 101305 | 2147483647 50423 146 | 0.000 % |
20.76/20.86 c | 50657 | 7815 33388 101305 | 2147483647 50657 146 | 0.000 % |
20.97/21.01 c | 50913 | 7815 33388 101305 | 2147483647 50913 146 | 0.000 % |
21.07/21.16 c | 51195 | 7815 33388 101305 | 2147483647 51195 146 | 0.000 % |
21.27/21.35 c | 51506 | 7815 33388 101305 | 2147483647 51506 146 | 0.000 % |
21.46/21.55 c | 51845 | 7815 33388 101305 | 2147483647 51845 146 | 0.000 % |
21.66/21.75 c | 52217 | 7815 33388 101305 | 2147483647 52217 146 | 0.000 % |
21.87/21.98 c | 52626 | 7815 33388 101305 | 2147483647 52626 146 | 0.000 % |
22.16/22.24 c | 53075 | 7815 33388 101305 | 2147483647 53075 146 | 0.000 % |
22.46/22.53 c | 53569 | 7815 33388 101305 | 2147483647 53569 147 | 0.000 % |
22.76/22.83 c | 54114 | 7815 33388 101305 | 2147483647 54114 147 | 0.000 % |
23.06/23.17 c | 54712 | 7815 33388 101305 | 2147483647 54712 147 | 0.000 % |
23.46/23.55 c | 55367 | 7815 33388 101305 | 2147483647 55367 147 | 0.000 % |
23.86/23.96 c | 56088 | 7815 33388 101305 | 2147483647 56088 147 | 0.000 % |
23.96/24.04 c | 56189 | 7815 33388 101305 | 2147483647 56189 147 | 0.000 % |
24.06/24.11 c | 56301 | 7815 33388 101305 | 2147483647 56301 147 | 0.000 % |
24.06/24.18 c | 56422 | 7815 33388 101305 | 2147483647 56422 147 | 0.000 % |
24.16/24.27 c | 56555 | 7815 33388 101305 | 2147483647 56555 147 | 0.000 % |
24.26/24.36 c | 56701 | 7815 33388 101305 | 2147483647 56701 147 | 0.000 % |
24.36/24.46 c | 56863 | 7815 33388 101305 | 2147483647 56863 147 | 0.000 % |
24.47/24.58 c | 57040 | 7815 33388 101305 | 2147483647 57040 147 | 0.000 % |
24.67/24.71 c | 57233 | 7815 33388 101305 | 2147483647 57233 147 | 0.000 % |
24.77/24.84 c | 57446 | 7815 33388 101305 | 2147483647 57446 147 | 0.000 % |
24.87/24.97 c | 57679 | 7815 33388 101305 | 2147483647 57679 147 | 0.000 % |
25.07/25.14 c | 57936 | 7815 33388 101305 | 2147483647 57936 147 | 0.000 % |
25.27/25.32 c | 58218 | 7815 33388 101305 | 2147483647 58218 147 | 0.000 % |
25.46/25.52 c | 58527 | 7815 33388 101305 | 2147483647 58527 147 | 0.000 % |
25.66/25.73 c | 58867 | 7815 33388 101305 | 2147483647 58867 147 | 0.000 % |
25.86/25.95 c | 59239 | 7815 33388 101305 | 2147483647 59239 148 | 0.000 % |
26.16/26.20 c | 59651 | 7815 33388 101305 | 2147483647 59651 148 | 0.000 % |
26.37/26.47 c | 60100 | 7815 33388 101305 | 2147483647 60100 148 | 0.000 % |
26.66/26.76 c | 60593 | 7815 33388 101305 | 2147483647 60593 148 | 0.000 % |
27.06/27.11 c | 61135 | 7815 33388 101305 | 2147483647 61135 148 | 0.000 % |
27.36/27.48 c | 61731 | 7815 33388 101305 | 2147483647 61731 148 | 0.000 % |
27.76/27.88 c | 62386 | 7815 33388 101305 | 2147483647 62386 148 | 0.000 % |
28.27/28.33 c | 63108 | 7815 33388 101305 | 2147483647 63108 148 | 0.000 % |
28.76/28.80 c | 63901 | 7815 33388 101305 | 2147483647 63901 149 | 0.000 % |
28.76/28.88 c | 64002 | 7815 33388 101305 | 2147483647 64002 148 | 0.000 % |
28.86/28.97 c | 64113 | 7815 33388 101305 | 2147483647 64113 148 | 0.000 % |
28.96/29.06 c | 64234 | 7815 33388 101305 | 2147483647 64234 148 | 0.000 % |
29.06/29.16 c | 64367 | 7815 33388 101305 | 2147483647 64367 148 | 0.000 % |
29.16/29.27 c | 64513 | 7815 33388 101305 | 2147483647 64513 148 | 0.000 % |
29.26/29.39 c | 64676 | 7815 33388 101305 | 2147483647 64676 148 | 0.000 % |
29.46/29.51 c | 64854 | 7815 33388 101305 | 2147483647 64854 148 | 0.000 % |
29.56/29.64 c | 65049 | 7815 33388 101305 | 2147483647 65049 148 | 0.000 % |
29.76/29.81 c | 65262 | 7815 33388 101305 | 2147483647 65262 148 | 0.000 % |
29.86/29.96 c | 65495 | 7815 33388 101305 | 2147483647 65495 148 | 0.000 % |
30.05/30.14 c | 65752 | 7815 33388 101305 | 2147483647 65752 148 | 0.000 % |
30.26/30.32 c | 66033 | 7815 33388 101305 | 2147483647 66033 148 | 0.000 % |
30.46/30.54 c | 66343 | 7815 33388 101305 | 2147483647 66343 148 | 0.000 % |
30.67/30.76 c | 66686 | 7815 33388 101305 | 2147483647 66686 148 | 0.000 % |
30.96/31.01 c | 67058 | 7815 33388 101305 | 2147483647 67058 149 | 0.000 % |
31.26/31.30 c | 67468 | 7815 33388 101305 | 2147483647 67468 148 | 0.000 % |
31.46/31.59 c | 67917 | 7815 33388 101305 | 2147483647 67917 148 | 0.000 % |
31.86/31.94 c | 68410 | 7815 33388 101305 | 2147483647 68410 149 | 0.000 % |
32.16/32.28 c | 68953 | 7815 33388 101305 | 2147483647 68953 149 | 0.000 % |
32.56/32.67 c | 69549 | 7815 33388 101305 | 2147483647 69549 149 | 0.000 % |
33.06/33.14 c | 70206 | 7815 33388 101305 | 2147483647 70206 149 | 0.000 % |
33.55/33.62 c | 70926 | 7815 33388 101305 | 2147483647 70926 149 | 0.000 % |
34.07/34.16 c | 71718 | 7815 33388 101305 | 2147483647 71718 149 | 0.000 % |
34.66/34.77 c | 72589 | 7815 33388 101305 | 2147483647 72589 150 | 0.000 % |
34.76/34.86 c | 72690 | 7815 33388 101305 | 2147483647 72690 150 | 0.000 % |
34.86/34.94 c | 72801 | 7815 33388 101305 | 2147483647 72801 150 | 0.000 % |
34.96/35.03 c | 72922 | 7815 33388 101305 | 2147483647 72922 150 | 0.000 % |
35.07/35.14 c | 73055 | 7815 33388 101305 | 2147483647 73055 150 | 0.000 % |
35.17/35.26 c | 73201 | 7815 33388 101305 | 2147483647 73201 150 | 0.000 % |
35.26/35.38 c | 73361 | 7815 33388 101305 | 2147483647 73361 150 | 0.000 % |
35.46/35.53 c | 73537 | 7815 33388 101305 | 2147483647 73537 150 | 0.000 % |
35.56/35.69 c | 73730 | 7815 33388 101305 | 2147483647 73730 150 | 0.000 % |
35.76/35.84 c | 73942 | 7815 33388 101305 | 2147483647 73942 149 | 0.000 % |
35.96/36.03 c | 74175 | 7815 33388 101305 | 2147483647 74175 149 | 0.000 % |
36.17/36.22 c | 74432 | 7815 33388 101305 | 2147483647 74432 149 | 0.000 % |
36.36/36.41 c | 74714 | 7815 33388 101305 | 2147483647 74714 150 | 0.000 % |
36.56/36.61 c | 75023 | 7815 33388 101305 | 2147483647 75023 150 | 0.000 % |
36.76/36.85 c | 75362 | 7815 33388 101305 | 2147483647 75362 150 | 0.000 % |
37.06/37.12 c | 75734 | 7815 33388 101305 | 2147483647 75734 150 | 0.000 % |
37.36/37.42 c | 76145 | 7815 33388 101305 | 2147483647 76145 150 | 0.000 % |
37.66/37.75 c | 76594 | 7815 33388 101305 | 2147483647 76594 150 | 0.000 % |
38.05/38.11 c | 77089 | 7815 33388 101305 | 2147483647 77089 150 | 0.000 % |
38.46/38.52 c | 77635 | 7815 33388 101305 | 2147483647 77635 150 | 0.000 % |
38.86/38.94 c | 78231 | 7815 33388 101305 | 2147483647 78231 150 | 0.000 % |
39.36/39.43 c | 78888 | 7815 33388 101305 | 2147483647 78888 150 | 0.000 % |
39.86/39.93 c | 79609 | 7815 33388 101305 | 2147483647 79609 150 | 0.000 % |
40.45/40.51 c | 80401 | 7815 33388 101305 | 2147483647 80401 150 | 0.000 % |
41.05/41.16 c | 81272 | 7815 33388 101305 | 2147483647 81272 150 | 0.000 % |
41.76/41.82 c | 82230 | 7815 33388 101305 | 2147483647 82230 150 | 0.000 % |
41.85/41.91 c | 82330 | 7815 33388 101305 | 2147483647 82330 150 | 0.000 % |
41.85/41.99 c | 82443 | 7815 33388 101305 | 2147483647 82443 150 | 0.000 % |
42.06/42.10 c | 82564 | 7815 33388 101305 | 2147483647 82564 150 | 0.000 % |
42.16/42.22 c | 82700 | 7815 33388 101305 | 2147483647 82700 150 | 0.000 % |
42.26/42.35 c | 82848 | 7815 33388 101305 | 2147483647 82848 150 | 0.000 % |
42.36/42.48 c | 83008 | 7815 33388 101305 | 2147483647 83008 150 | 0.000 % |
42.56/42.64 c | 83186 | 7815 33388 101305 | 2147483647 83186 150 | 0.000 % |
42.76/42.80 c | 83381 | 7815 33388 101305 | 2147483647 83381 150 | 0.000 % |
42.86/42.97 c | 83593 | 7815 33388 101305 | 2147483647 83593 150 | 0.000 % |
43.06/43.19 c | 83826 | 7815 33388 101305 | 2147483647 83826 150 | 0.000 % |
43.26/43.39 c | 84083 | 7815 33388 101305 | 2147483647 84083 150 | 0.000 % |
43.56/43.61 c | 84364 | 7815 33388 101305 | 2147483647 84364 150 | 0.000 % |
43.75/43.84 c | 84674 | 7815 33388 101305 | 2147483647 84674 150 | 0.000 % |
43.96/44.09 c | 85015 | 7815 33388 101305 | 2147483647 85015 150 | 0.000 % |
44.25/44.39 c | 85388 | 7815 33388 101305 | 2147483647 85388 150 | 0.000 % |
44.65/44.72 c | 85800 | 7815 33388 101305 | 2147483647 85800 150 | 0.000 % |
44.96/45.06 c | 86249 | 7815 33388 101305 | 2147483647 86249 150 | 0.000 % |
45.36/45.43 c | 86742 | 7815 33388 101305 | 2147483647 86742 150 | 0.000 % |
45.76/45.80 c | 87285 | 7815 33388 101305 | 2147483647 87285 150 | 0.000 % |
46.16/46.23 c | 87881 | 7815 33388 101305 | 2147483647 87881 150 | 0.000 % |
46.65/46.76 c | 88537 | 7815 33388 101305 | 2147483647 88537 151 | 0.000 % |
47.26/47.32 c | 89259 | 7815 33388 101305 | 2147483647 89259 150 | 0.000 % |
47.85/47.92 c | 90051 | 7815 33388 101305 | 2147483647 90051 151 | 0.000 % |
48.56/48.62 c | 90922 | 7815 33388 101305 | 2147483647 90922 151 | 0.000 % |
49.36/49.42 c | 91880 | 7815 33388 101305 | 2147483647 91880 151 | 0.000 % |
50.15/50.25 c | 92936 | 7815 33388 101305 | 2147483647 92936 151 | 0.000 % |
50.25/50.34 c | 93036 | 7815 33388 101305 | 2147483647 93036 151 | 0.000 % |
50.35/50.45 c | 93147 | 7815 33388 101305 | 2147483647 93147 151 | 0.000 % |
50.46/50.58 c | 93269 | 7815 33388 101305 | 2147483647 93269 151 | 0.000 % |
50.65/50.70 c | 93403 | 7815 33388 101305 | 2147483647 93403 151 | 0.000 % |
50.75/50.84 c | 93550 | 7815 33388 101305 | 2147483647 93550 151 | 0.000 % |
50.95/51.00 c | 93710 | 7815 33388 101305 | 2147483647 93710 151 | 0.000 % |
51.05/51.15 c | 93886 | 7815 33388 101305 | 2147483647 93886 151 | 0.000 % |
51.25/51.35 c | 94079 | 7815 33388 101305 | 2147483647 94079 151 | 0.000 % |
51.45/51.54 c | 94292 | 7815 33388 101305 | 2147483647 94292 151 | 0.000 % |
51.65/51.74 c | 94527 | 7815 33388 101305 | 2147483647 94527 151 | 0.000 % |
51.85/51.96 c | 94783 | 7815 33388 101305 | 2147483647 94783 151 | 0.000 % |
52.15/52.22 c | 95067 | 7815 33388 101305 | 2147483647 95067 151 | 0.000 % |
52.45/52.51 c | 95376 | 7815 33388 101305 | 2147483647 95376 151 | 0.000 % |
52.75/52.80 c | 95715 | 7815 33388 101305 | 2147483647 95715 151 | 0.000 % |
53.06/53.11 c | 96087 | 7815 33388 101305 | 2147483647 96087 151 | 0.000 % |
53.36/53.47 c | 96496 | 7815 33388 101305 | 2147483647 96496 151 | 0.000 % |
53.76/53.83 c | 96946 | 7815 33388 101305 | 2147483647 96946 151 | 0.000 % |
54.15/54.25 c | 97441 | 7815 33388 101305 | 2147483647 97441 151 | 0.000 % |
54.55/54.66 c | 97983 | 7815 33388 101305 | 2147483647 97983 151 | 0.000 % |
55.05/55.16 c | 98580 | 7815 33388 101305 | 2147483647 98580 151 | 0.000 % |
55.65/55.72 c | 99235 | 7815 33388 101305 | 2147483647 99235 151 | 0.000 % |
56.26/56.35 c | 99956 | 7815 33388 101305 | 2147483647 99956 151 | 0.000 % |
56.85/56.99 c | 100748 | 7815 33388 101305 | 2147483647 100748 152 | 0.000 % |
57.65/57.72 c | 101619 | 7815 33388 101305 | 2147483647 101619 152 | 0.000 % |
58.35/58.49 c | 102578 | 7815 33388 101305 | 2147483647 102578 152 | 0.000 % |
59.26/59.39 c | 103631 | 7815 33388 101305 | 2147483647 103631 152 | 0.000 % |
60.36/60.41 c | 104794 | 7815 33388 101305 | 2147483647 104794 152 | 0.000 % |
60.46/60.51 c | 104894 | 7815 33388 101305 | 2147483647 104894 152 | 0.000 % |
60.55/60.61 c | 105004 | 7815 33388 101305 | 2147483647 105004 152 | 0.000 % |
60.65/60.73 c | 105125 | 7815 33388 101305 | 2147483647 105125 152 | 0.000 % |
60.75/60.86 c | 105258 | 7815 33388 101305 | 2147483647 105258 152 | 0.000 % |
60.95/61.01 c | 105404 | 7815 33388 101305 | 2147483647 105404 152 | 0.000 % |
61.05/61.17 c | 105564 | 7815 33388 101305 | 2147483647 105564 152 | 0.000 % |
61.25/61.34 c | 105741 | 7815 33388 101305 | 2147483647 105741 152 | 0.000 % |
61.45/61.53 c | 105935 | 7815 33388 101305 | 2147483647 105935 152 | 0.000 % |
61.65/61.75 c | 106147 | 7815 33388 101305 | 2147483647 106147 152 | 0.000 % |
61.85/61.96 c | 106384 | 7815 33388 101305 | 2147483647 106384 152 | 0.000 % |
62.05/62.20 c | 106642 | 7815 33388 101305 | 2147483647 106642 152 | 0.000 % |
62.35/62.46 c | 106923 | 7815 33388 101305 | 2147483647 106923 152 | 0.000 % |
62.65/62.75 c | 107235 | 7815 33388 101305 | 2147483647 107235 152 | 0.000 % |
62.95/63.05 c | 107574 | 7815 33388 101305 | 2147483647 107574 152 | 0.000 % |
63.35/63.41 c | 107947 | 7815 33388 101305 | 2147483647 107947 152 | 0.000 % |
63.66/63.75 c | 108356 | 7815 33388 101305 | 2147483647 108356 152 | 0.000 % |
64.05/64.14 c | 108805 | 7815 33388 101305 | 2147483647 108805 152 | 0.000 % |
64.45/64.59 c | 109298 | 7815 33388 101305 | 2147483647 109298 153 | 0.000 % |
64.95/65.08 c | 109840 | 7815 33388 101305 | 2147483647 109840 153 | 0.000 % |
65.55/65.60 c | 110436 | 7815 33388 101305 | 2147483647 110436 153 | 0.000 % |
66.15/66.21 c | 111091 | 7815 33388 101305 | 2147483647 111091 153 | 0.000 % |
66.85/66.94 c | 111812 | 7815 33388 101305 | 2147483647 111812 153 | 0.000 % |
67.55/67.65 c | 112605 | 7815 33388 101305 | 2147483647 112605 153 | 0.000 % |
68.35/68.45 c | 113476 | 7815 33388 101305 | 2147483647 113476 153 | 0.000 % |
69.15/69.29 c | 114437 | 7815 33388 101305 | 2147483647 114437 153 | 0.000 % |
70.15/70.21 c | 115490 | 7815 33388 101305 | 2147483647 115490 153 | 0.000 % |
71.15/71.22 c | 116648 | 7815 33388 101305 | 2147483647 116648 154 | 0.000 % |
72.25/72.39 c | 117921 | 7815 33388 101305 | 2147483647 117921 154 | 0.000 % |
72.45/72.51 c | 118021 | 7815 33388 101305 | 2147483647 118021 154 | 0.000 % |
72.55/72.65 c | 118135 | 7815 33388 101305 | 2147483647 118135 154 | 0.000 % |
72.65/72.78 c | 118257 | 7815 33388 101305 | 2147483647 118257 154 | 0.000 % |
72.84/72.93 c | 118392 | 7815 33388 101305 | 2147483647 118392 154 | 0.000 % |
72.94/73.09 c | 118538 | 7815 33388 101305 | 2147483647 118538 154 | 0.000 % |
73.14/73.27 c | 118699 | 7815 33388 101305 | 2147483647 118699 154 | 0.000 % |
73.34/73.46 c | 118875 | 7815 33388 101305 | 2147483647 118875 154 | 0.000 % |
73.55/73.66 c | 119068 | 7815 33388 101305 | 2147483647 119068 154 | 0.000 % |
73.74/73.89 c | 119281 | 7815 33388 101305 | 2147483647 119281 154 | 0.000 % |
74.05/74.13 c | 119514 | 7815 33388 101305 | 2147483647 119514 154 | 0.000 % |
74.25/74.39 c | 119770 | 7815 33388 101305 | 2147483647 119770 154 | 0.000 % |
74.55/74.63 c | 120052 | 7815 33388 101305 | 2147483647 120052 154 | 0.000 % |
74.85/74.96 c | 120361 | 7815 33388 101305 | 2147483647 120361 154 | 0.000 % |
75.25/75.30 c | 120700 | 7815 33388 101305 | 2147483647 120700 154 | 0.000 % |
75.55/75.69 c | 121072 | 7815 33388 101305 | 2147483647 121072 154 | 0.000 % |
75.95/76.10 c | 121482 | 7815 33388 101305 | 2147483647 121482 154 | 0.000 % |
76.45/76.53 c | 121931 | 7815 33388 101305 | 2147483647 121931 154 | 0.000 % |
76.95/77.01 c | 122424 | 7815 33388 101305 | 2147483647 122424 154 | 0.000 % |
77.44/77.57 c | 122966 | 7815 33388 101305 | 2147483647 122966 154 | 0.000 % |
78.05/78.13 c | 123562 | 7815 33388 101305 | 2147483647 123562 154 | 0.000 % |
78.74/78.84 c | 124217 | 7815 33388 101305 | 2147483647 124217 154 | 0.000 % |
79.45/79.54 c | 124937 | 7815 33388 101305 | 2147483647 124937 154 | 0.000 % |
80.15/80.28 c | 125729 | 7815 33388 101305 | 2147483647 125729 154 | 0.000 % |
81.05/81.12 c | 126602 | 7815 33388 101305 | 2147483647 126602 155 | 0.000 % |
81.95/82.09 c | 127560 | 7815 33388 101305 | 2147483647 127560 155 | 0.000 % |
83.04/83.16 c | 128613 | 7815 33388 101305 | 2147483647 128613 155 | 0.000 % |
84.14/84.29 c | 129772 | 7815 33388 101305 | 2147483647 129772 155 | 0.000 % |
85.44/85.57 c | 131045 | 7815 33388 101305 | 2147483647 131045 155 | 0.000 % |
86.85/86.97 c | 132446 | 7815 33388 101305 | 2147483647 132446 155 | 0.000 % |
86.95/87.08 c | 132547 | 7815 33388 101305 | 2147483647 132547 155 | 0.000 % |
87.15/87.24 c | 132657 | 7815 33388 101305 | 2147483647 132657 155 | 0.000 % |
87.25/87.39 c | 132780 | 7815 33388 101305 | 2147483647 132780 155 | 0.000 % |
87.45/87.55 c | 132913 | 7815 33388 101305 | 2147483647 132913 155 | 0.000 % |
87.65/87.73 c | 133059 | 7815 33388 101305 | 2147483647 133059 155 | 0.000 % |
87.85/87.94 c | 133220 | 7815 33388 101305 | 2147483647 133220 155 | 0.000 % |
88.05/88.15 c | 133397 | 7815 33388 101305 | 2147483647 133397 155 | 0.000 % |
88.25/88.39 c | 133592 | 7815 33388 101305 | 2147483647 133592 155 | 0.000 % |
88.55/88.64 c | 133805 | 7815 33388 101305 | 2147483647 133805 155 | 0.000 % |
88.75/88.87 c | 134039 | 7815 33388 101305 | 2147483647 134039 155 | 0.000 % |
89.05/89.18 c | 134295 | 7815 33388 101305 | 2147483647 134295 155 | 0.000 % |
89.34/89.50 c | 134576 | 7815 33388 101305 | 2147483647 134576 155 | 0.000 % |
89.74/89.86 c | 134885 | 7815 33388 101305 | 2147483647 134885 155 | 0.000 % |
90.15/90.22 c | 135224 | 7815 33388 101305 | 2147483647 135224 155 | 0.000 % |
90.54/90.62 c | 135597 | 7815 33388 101305 | 2147483647 135597 155 | 0.000 % |
90.94/91.04 c | 136008 | 7815 33388 101305 | 2147483647 136008 155 | 0.000 % |
91.44/91.50 c | 136457 | 7815 33388 101305 | 2147483647 136457 155 | 0.000 % |
91.95/92.02 c | 136951 | 7815 33388 101305 | 2147483647 136951 155 | 0.000 % |
92.45/92.58 c | 137494 | 7815 33388 101305 | 2147483647 137494 155 | 0.000 % |
93.14/93.21 c | 138090 | 7815 33388 101305 | 2147483647 138090 155 | 0.000 % |
93.74/93.85 c | 138745 | 7815 33388 101305 | 2147483647 138745 155 | 0.000 % |
94.45/94.56 c | 139467 | 7815 33388 101305 | 2147483647 139467 155 | 0.000 % |
95.24/95.39 c | 140259 | 7815 33388 101305 | 2147483647 140259 155 | 0.000 % |
96.24/96.36 c | 141131 | 7815 33388 101305 | 2147483647 141131 155 | 0.000 % |
97.24/97.33 c | 142089 | 7815 33388 101305 | 2147483647 142089 155 | 0.000 % |
98.35/98.47 c | 143142 | 7815 33388 101305 | 2147483647 143142 155 | 0.000 % |
99.54/99.65 c | 144300 | 7815 33388 101305 | 2147483647 144300 155 | 0.000 % |
100.84/100.96 c | 145576 | 7815 33388 101305 | 2147483647 145576 156 | 0.000 % |
102.34/102.49 c | 146976 | 7815 33388 101305 | 2147483647 146976 156 | 0.000 % |
104.14/104.24 c | 148517 | 7815 33388 101305 | 2147483647 148517 156 | 0.000 % |
104.24/104.38 c | 148617 | 7815 33388 101305 | 2147483647 148617 156 | 0.000 % |
104.44/104.54 c | 148727 | 7815 33388 101305 | 2147483647 148727 156 | 0.000 % |
104.64/104.72 c | 148848 | 7815 33388 101305 | 2147483647 148848 156 | 0.000 % |
104.84/104.91 c | 148982 | 7815 33388 101305 | 2147483647 148982 156 | 0.000 % |
104.94/105.10 c | 149128 | 7815 33388 101305 | 2147483647 149128 156 | 0.000 % |
105.24/105.31 c | 149288 | 7815 33388 101305 | 2147483647 149288 156 | 0.000 % |
105.44/105.53 c | 149466 | 7815 33388 101305 | 2147483647 149466 156 | 0.000 % |
105.64/105.79 c | 149659 | 7815 33388 101305 | 2147483647 149659 156 | 0.000 % |
105.94/106.06 c | 149871 | 7815 33388 101305 | 2147483647 149871 156 | 0.000 % |
106.24/106.34 c | 150105 | 7815 33388 101305 | 2147483647 150105 156 | 0.000 % |
106.55/106.64 c | 150362 | 7815 33388 101305 | 2147483647 150362 156 | 0.000 % |
106.84/106.99 c | 150644 | 7815 33388 101305 | 2147483647 150644 156 | 0.000 % |
107.24/107.36 c | 150953 | 7815 33388 101305 | 2147483647 150953 156 | 0.000 % |
107.64/107.74 c | 151292 | 7815 33388 101305 | 2147483647 151292 156 | 0.000 % |
108.04/108.16 c | 151666 | 7815 33388 101305 | 2147483647 151666 156 | 0.000 % |
108.54/108.66 c | 152076 | 7815 33388 101305 | 2147483647 152076 156 | 0.000 % |
109.13/109.21 c | 152525 | 7815 33388 101305 | 2147483647 152525 156 | 0.000 % |
109.74/109.80 c | 153018 | 7815 33388 101305 | 2147483647 153018 156 | 0.000 % |
110.34/110.42 c | 153562 | 7815 33388 101305 | 2147483647 153562 156 | 0.000 % |
111.04/111.13 c | 154159 | 7815 33388 101305 | 2147483647 154159 156 | 0.000 % |
111.74/111.88 c | 154815 | 7815 33388 101305 | 2147483647 154815 156 | 0.000 % |
112.64/112.71 c | 155538 | 7815 33388 101305 | 2147483647 155538 156 | 0.000 % |
113.53/113.64 c | 156331 | 7815 33388 101305 | 2147483647 156331 156 | 0.000 % |
114.54/114.69 c | 157202 | 7815 33388 101305 | 2147483647 157202 156 | 0.000 % |
115.64/115.78 c | 158160 | 7815 33388 101305 | 2147483647 158160 156 | 0.000 % |
116.94/117.02 c | 159213 | 7815 33388 101305 | 2147483647 159213 156 | 0.000 % |
118.33/118.40 c | 160372 | 7815 33388 101305 | 2147483647 160372 157 | 0.000 % |
119.74/119.83 c | 161645 | 7815 33388 101305 | 2147483647 161645 157 | 0.000 % |
121.34/121.43 c | 163046 | 7815 33388 101305 | 2147483647 163046 157 | 0.000 % |
123.23/123.32 c | 164588 | 7815 33388 101305 | 2147483647 164588 157 | 0.000 % |
125.14/125.29 c | 166282 | 7815 33388 101305 | 2147483647 166282 157 | 0.000 % |
125.34/125.41 c | 166382 | 7815 33388 101305 | 2147483647 166382 157 | 0.000 % |
125.44/125.57 c | 166493 | 7815 33388 101305 | 2147483647 166493 157 | 0.000 % |
125.64/125.75 c | 166614 | 7815 33388 101305 | 2147483647 166614 157 | 0.000 % |
125.84/125.94 c | 166748 | 7815 33388 101305 | 2147483647 166748 157 | 0.000 % |
126.04/126.17 c | 166894 | 7815 33388 101305 | 2147483647 166894 157 | 0.000 % |
126.24/126.39 c | 167055 | 7815 33388 101305 | 2147483647 167055 157 | 0.000 % |
126.54/126.66 c | 167232 | 7815 33388 101305 | 2147483647 167232 157 | 0.000 % |
126.84/126.91 c | 167425 | 7815 33388 101305 | 2147483647 167425 157 | 0.000 % |
127.14/127.20 c | 167637 | 7815 33388 101305 | 2147483647 167637 157 | 0.000 % |
127.34/127.49 c | 167870 | 7815 33388 101305 | 2147483647 167870 157 | 0.000 % |
127.74/127.84 c | 168127 | 7815 33388 101305 | 2147483647 168127 157 | 0.000 % |
128.04/128.19 c | 168408 | 7815 33388 101305 | 2147483647 168408 157 | 0.000 % |
128.54/128.61 c | 168717 | 7815 33388 101305 | 2147483647 168717 157 | 0.000 % |
128.93/129.08 c | 169056 | 7815 33388 101305 | 2147483647 169056 157 | 0.000 % |
129.53/129.61 c | 169430 | 7815 33388 101305 | 2147483647 169430 157 | 0.000 % |
130.03/130.12 c | 169839 | 7815 33388 101305 | 2147483647 169839 157 | 0.000 % |
130.64/130.70 c | 170289 | 7815 33388 101305 | 2147483647 170289 157 | 0.000 % |
131.14/131.30 c | 170782 | 7815 33388 101305 | 2147483647 170782 157 | 0.000 % |
131.94/132.01 c | 171326 | 7815 33388 101305 | 2147483647 171326 157 | 0.000 % |
132.63/132.77 c | 171925 | 7815 33388 101305 | 2147483647 171925 157 | 0.000 % |
133.43/133.55 c | 172580 | 7815 33388 101305 | 2147483647 172580 157 | 0.000 % |
134.33/134.44 c | 173300 | 7815 33388 101305 | 2147483647 173300 158 | 0.000 % |
135.33/135.41 c | 174092 | 7815 33388 101305 | 2147483647 174092 158 | 0.000 % |
136.34/136.45 c | 174964 | 7815 33388 101305 | 2147483647 174964 158 | 0.000 % |
137.53/137.65 c | 175923 | 7815 33388 101305 | 2147483647 175923 158 | 0.000 % |
138.83/138.95 c | 176977 | 7815 33388 101305 | 2147483647 176977 158 | 0.000 % |
140.23/140.34 c | 178136 | 7815 33388 101305 | 2147483647 178136 158 | 0.000 % |
141.74/141.89 c | 179409 | 7815 33388 101305 | 2147483647 179409 158 | 0.000 % |
143.53/143.67 c | 180810 | 7815 33388 101305 | 2147483647 180810 158 | 0.000 % |
145.53/145.63 c | 182351 | 7815 33388 101305 | 2147483647 182351 159 | 0.000 % |
147.63/147.77 c | 184047 | 7815 33388 101305 | 2147483647 184047 159 | 0.000 % |
150.03/150.11 c | 185911 | 7815 33388 101305 | 2147483647 185911 159 | 0.000 % |
150.13/150.27 c | 186013 | 7815 33388 101305 | 2147483647 186013 159 | 0.000 % |
150.33/150.47 c | 186124 | 7815 33388 101305 | 2147483647 186124 159 | 0.000 % |
150.53/150.67 c | 186246 | 7815 33388 101305 | 2147483647 186246 159 | 0.000 % |
150.73/150.87 c | 186381 | 7815 33388 101305 | 2147483647 186381 159 | 0.000 % |
150.93/151.09 c | 186527 | 7815 33388 101305 | 2147483647 186527 159 | 0.000 % |
151.23/151.36 c | 186687 | 7815 33388 101305 | 2147483647 186687 159 | 0.000 % |
151.53/151.63 c | 186867 | 7815 33388 101305 | 2147483647 186867 159 | 0.000 % |
151.82/151.96 c | 187061 | 7815 33388 101305 | 2147483647 187061 159 | 0.000 % |
152.22/152.31 c | 187273 | 7815 33388 101305 | 2147483647 187273 159 | 0.000 % |
152.52/152.62 c | 187506 | 7815 33388 101305 | 2147483647 187506 159 | 0.000 % |
152.92/153.02 c | 187762 | 7815 33388 101305 | 2147483647 187762 159 | 0.000 % |
153.32/153.44 c | 188044 | 7815 33388 101305 | 2147483647 188044 159 | 0.000 % |
153.83/153.95 c | 188353 | 7815 33388 101305 | 2147483647 188353 159 | 0.000 % |
154.32/154.43 c | 188694 | 7815 33388 101305 | 2147483647 188694 159 | 0.000 % |
154.82/154.96 c | 189066 | 7815 33388 101305 | 2147483647 189066 159 | 0.000 % |
155.42/155.55 c | 189475 | 7815 33388 101305 | 2147483647 189475 159 | 0.000 % |
156.03/156.16 c | 189924 | 7815 33388 101305 | 2147483647 189924 159 | 0.000 % |
156.73/156.86 c | 190418 | 7815 33388 101305 | 2147483647 190418 159 | 0.000 % |
157.43/157.57 c | 190960 | 7815 33388 101305 | 2147483647 190960 159 | 0.000 % |
158.23/158.37 c | 191556 | 7815 33388 101305 | 2147483647 191556 159 | 0.000 % |
159.13/159.28 c | 192212 | 7815 33388 101305 | 2147483647 192212 159 | 0.000 % |
160.12/160.24 c | 192934 | 7815 33388 101305 | 2147483647 192934 159 | 0.000 % |
161.12/161.27 c | 193726 | 7815 33388 101305 | 2147483647 193726 159 | 0.000 % |
162.32/162.42 c | 194597 | 7815 33388 101305 | 2147483647 194597 159 | 0.000 % |
163.63/163.74 c | 195555 | 7815 33388 101305 | 2147483647 195555 159 | 0.000 % |
165.02/165.14 c | 196608 | 7815 33388 101305 | 2147483647 196608 159 | 0.000 % |
166.52/166.64 c | 197767 | 7815 33388 101305 | 2147483647 197767 159 | 0.000 % |
168.22/168.32 c | 199041 | 7815 33388 101305 | 2147483647 199041 159 | 0.000 % |
170.12/170.24 c | 200443 | 7815 33388 101305 | 2147483647 200443 160 | 0.000 % |
172.22/172.31 c | 201984 | 7815 33388 101305 | 2147483647 201984 160 | 0.000 % |
174.52/174.67 c | 203679 | 7815 33388 101305 | 2147483647 203679 160 | 0.000 % |
177.02/177.12 c | 205543 | 7815 33388 101305 | 2147483647 205543 160 | 0.000 % |
180.02/180.16 c | 207594 | 7815 33388 101305 | 2147483647 207594 160 | 0.000 % |
180.22/180.38 c | 207694 | 7815 33388 101305 | 2147483647 207694 160 | 0.000 % |
180.42/180.58 c | 207804 | 7815 33388 101305 | 2147483647 207804 160 | 0.000 % |
180.62/180.76 c | 207925 | 7815 33388 101305 | 2147483647 207925 160 | 0.000 % |
180.82/180.99 c | 208058 | 7815 33388 101305 | 2147483647 208058 160 | 0.000 % |
181.12/181.26 c | 208204 | 7815 33388 101305 | 2147483647 208204 160 | 0.000 % |
181.42/181.54 c | 208365 | 7815 33388 101305 | 2147483647 208365 160 | 0.000 % |
181.72/181.81 c | 208541 | 7815 33388 101305 | 2147483647 208541 160 | 0.000 % |
182.02/182.14 c | 208735 | 7815 33388 101305 | 2147483647 208735 160 | 0.000 % |
182.32/182.48 c | 208947 | 7815 33388 101305 | 2147483647 208947 160 | 0.000 % |
182.71/182.86 c | 209180 | 7815 33388 101305 | 2147483647 209180 160 | 0.000 % |
183.12/183.26 c | 209436 | 7815 33388 101305 | 2147483647 209436 160 | 0.000 % |
183.63/183.71 c | 209721 | 7815 33388 101305 | 2147483647 209721 160 | 0.000 % |
184.02/184.15 c | 210030 | 7815 33388 101305 | 2147483647 210030 160 | 0.000 % |
184.63/184.72 c | 210369 | 7815 33388 101305 | 2147483647 210369 160 | 0.000 % |
185.22/185.31 c | 210743 | 7815 33388 101305 | 2147483647 210743 160 | 0.000 % |
185.82/185.90 c | 211152 | 7815 33388 101305 | 2147483647 211152 160 | 0.000 % |
186.52/186.63 c | 211601 | 7815 33388 101305 | 2147483647 211601 160 | 0.000 % |
187.22/187.33 c | 212095 | 7815 33388 101305 | 2147483647 212095 160 | 0.000 % |
188.12/188.20 c | 212638 | 7815 33388 101305 | 2147483647 212638 160 | 0.000 % |
189.02/189.11 c | 213234 | 7815 33388 101305 | 2147483647 213234 160 | 0.000 % |
189.91/190.06 c | 213892 | 7815 33388 101305 | 2147483647 213892 160 | 0.000 % |
190.91/191.05 c | 214613 | 7815 33388 101305 | 2147483647 214613 160 | 0.000 % |
192.12/192.22 c | 215405 | 7815 33388 101305 | 2147483647 215405 160 | 0.000 % |
193.32/193.44 c | 216277 | 7815 33388 101305 | 2147483647 216277 160 | 0.000 % |
194.62/194.72 c | 217236 | 7815 33388 101305 | 2147483647 217236 160 | 0.000 % |
196.11/196.22 c | 218290 | 7815 33388 101305 | 2147483647 218290 160 | 0.000 % |
197.72/197.80 c | 219450 | 7815 33388 101305 | 2147483647 219450 160 | 0.000 % |
199.52/199.62 c | 220724 | 7815 33388 101305 | 2147483647 220724 161 | 0.000 % |
201.41/201.57 c | 222127 | 7815 33388 101305 | 2147483647 222127 161 | 0.000 % |
203.51/203.69 c | 223671 | 7815 33388 101305 | 2147483647 223671 161 | 0.000 % |
206.02/206.19 c | 225366 | 7815 33388 101305 | 2147483647 225366 161 | 0.000 % |
208.92/209.04 c | 227229 | 7815 33388 101305 | 2147483647 227229 161 | 0.000 % |
212.01/212.17 c | 229279 | 7815 33388 101305 | 2147483647 229279 161 | 0.000 % |
215.31/215.42 c | 231534 | 7815 33388 101305 | 2147483647 231534 161 | 0.000 % |
215.51/215.65 c | 231635 | 7815 33388 101305 | 2147483647 231635 161 | 0.000 % |
215.71/215.87 c | 231746 | 7815 33388 101305 | 2147483647 231746 161 | 0.000 % |
216.01/216.11 c | 231867 | 7815 33388 101305 | 2147483647 231867 161 | 0.000 % |
216.21/216.35 c | 232001 | 7815 33388 101305 | 2147483647 232001 161 | 0.000 % |
216.51/216.65 c | 232148 | 7815 33388 101305 | 2147483647 232148 161 | 0.000 % |
216.81/216.95 c | 232308 | 7815 33388 101305 | 2147483647 232308 161 | 0.000 % |
217.11/217.26 c | 232484 | 7815 33388 101305 | 2147483647 232484 161 | 0.000 % |
217.51/217.65 c | 232679 | 7815 33388 101305 | 2147483647 232679 161 | 0.000 % |
217.91/218.01 c | 232892 | 7815 33388 101305 | 2147483647 232892 161 | 0.000 % |
218.21/218.38 c | 233126 | 7815 33388 101305 | 2147483647 233126 161 | 0.000 % |
218.61/218.80 c | 233382 | 7815 33388 101305 | 2147483647 233382 161 | 0.000 % |
219.11/219.21 c | 233663 | 7815 33388 101305 | 2147483647 233663 161 | 0.000 % |
219.61/219.77 c | 233972 | 7815 33388 101305 | 2147483647 233972 161 | 0.000 % |
220.20/220.38 c | 234311 | 7815 33388 101305 | 2147483647 234311 161 | 0.000 % |
220.81/221.00 c | 234684 | 7815 33388 101305 | 2147483647 234684 161 | 0.000 % |
221.51/221.64 c | 235094 | 7815 33388 101305 | 2147483647 235094 161 | 0.000 % |
222.21/222.37 c | 235543 | 7815 33388 101305 | 2147483647 235543 161 | 0.000 % |
223.01/223.19 c | 236037 | 7815 33388 101305 | 2147483647 236037 161 | 0.000 % |
224.01/224.14 c | 236579 | 7815 33388 101305 | 2147483647 236579 161 | 0.000 % |
225.00/225.16 c | 237175 | 7815 33388 101305 | 2147483647 237175 161 | 0.000 % |
226.11/226.25 c | 237830 | 7815 33388 101305 | 2147483647 237830 161 | 0.000 % |
227.21/227.36 c | 238551 | 7815 33388 101305 | 2147483647 238551 161 | 0.000 % |
228.50/228.66 c | 239343 | 7815 33388 101305 | 2147483647 239343 161 | 0.000 % |
229.90/230.04 c | 240214 | 7815 33388 101305 | 2147483647 240214 161 | 0.000 % |
231.41/231.57 c | 241172 | 7815 33388 101305 | 2147483647 241172 161 | 0.000 % |
233.11/233.25 c | 242225 | 7815 33388 101305 | 2147483647 242225 161 | 0.000 % |
235.00/235.15 c | 243383 | 7815 33388 101305 | 2147483647 243383 161 | 0.000 % |
237.00/237.13 c | 244660 | 7815 33388 101305 | 2147483647 244660 161 | 0.000 % |
239.20/239.31 c | 246060 | 7815 33388 101305 | 2147483647 246060 161 | 0.000 % |
241.70/241.87 c | 247600 | 7815 33388 101305 | 2147483647 247600 161 | 0.000 % |
244.39/244.56 c | 249295 | 7815 33388 101305 | 2147483647 249295 162 | 0.000 % |
247.40/247.51 c | 251158 | 7815 33388 101305 | 2147483647 251158 162 | 0.000 % |
250.50/250.67 c | 253207 | 7815 33388 101305 | 2147483647 253207 162 | 0.000 % |
253.90/254.04 c | 255461 | 7815 33388 101305 | 2147483647 255461 162 | 0.000 % |
257.79/257.98 c | 257939 | 7815 33388 101305 | 2147483647 257939 162 | 0.000 % |
258.00/258.19 c | 258040 | 7815 33388 101305 | 2147483647 258040 162 | 0.000 % |
258.30/258.44 c | 258150 | 7815 33388 101305 | 2147483647 258150 162 | 0.000 % |
258.50/258.68 c | 258275 | 7815 33388 101305 | 2147483647 258275 162 | 0.000 % |
258.80/258.97 c | 258408 | 7815 33388 101305 | 2147483647 258408 162 | 0.000 % |
259.20/259.31 c | 258555 | 7815 33388 101305 | 2147483647 258555 162 | 0.000 % |
259.50/259.64 c | 258716 | 7815 33388 101305 | 2147483647 258716 162 | 0.000 % |
259.80/259.94 c | 258893 | 7815 33388 101305 | 2147483647 258893 162 | 0.000 % |
260.10/260.29 c | 259087 | 7815 33388 101305 | 2147483647 259087 162 | 0.000 % |
260.50/260.69 c | 259299 | 7815 33388 101305 | 2147483647 259299 162 | 0.000 % |
260.99/261.13 c | 259533 | 7815 33388 101305 | 2147483647 259533 162 | 0.000 % |
261.49/261.63 c | 259789 | 7815 33388 101305 | 2147483647 259789 162 | 0.000 % |
261.99/262.17 c | 260071 | 7815 33388 101305 | 2147483647 260071 162 | 0.000 % |
262.70/262.87 c | 260380 | 7815 33388 101305 | 2147483647 260380 162 | 0.000 % |
263.29/263.49 c | 260719 | 7815 33388 101305 | 2147483647 260719 162 | 0.000 % |
263.99/264.13 c | 261092 | 7815 33388 101305 | 2147483647 261092 162 | 0.000 % |
264.79/264.99 c | 261503 | 7815 33388 101305 | 2147483647 261503 162 | 0.000 % |
265.69/265.82 c | 261952 | 7815 33388 101305 | 2147483647 261952 162 | 0.000 % |
266.49/266.68 c | 262445 | 7815 33388 101305 | 2147483647 262445 162 | 0.000 % |
267.49/267.68 c | 262987 | 7815 33388 101305 | 2147483647 262987 162 | 0.000 % |
268.60/268.75 c | 263583 | 7815 33388 101305 | 2147483647 263583 162 | 0.000 % |
269.79/269.93 c | 264238 | 7815 33388 101305 | 2147483647 264238 162 | 0.000 % |
270.99/271.18 c | 264961 | 7815 33388 101305 | 2147483647 264961 162 | 0.000 % |
272.49/272.60 c | 265753 | 7815 33388 101305 | 2147483647 265753 162 | 0.000 % |
273.89/274.07 c | 266626 | 7815 33388 101305 | 2147483647 266626 162 | 0.000 % |
275.59/275.72 c | 267584 | 7815 33388 101305 | 2147483647 267584 162 | 0.000 % |
277.29/277.43 c | 268637 | 7815 33388 101305 | 2147483647 268637 162 | 0.000 % |
279.19/279.31 c | 269796 | 7815 33388 101305 | 2147483647 269796 162 | 0.000 % |
281.19/281.39 c | 271071 | 7815 33388 101305 | 2147483647 271071 162 | 0.000 % |
283.79/283.93 c | 272471 | 7815 33388 101305 | 2147483647 272471 162 | 0.000 % |
286.49/286.61 c | 274011 | 7815 33388 101305 | 2147483647 274011 162 | 0.000 % |
289.38/289.51 c | 275708 | 7815 33388 101305 | 2147483647 275708 162 | 0.000 % |
292.58/292.72 c | 277571 | 7815 33388 101305 | 2147483647 277571 163 | 0.000 % |
296.19/296.36 c | 279623 | 7815 33388 101305 | 2147483647 279623 163 | 0.000 % |
299.88/300.01 c | 281876 | 7815 33388 101305 | 2147483647 281876 163 | 0.000 % |
304.18/304.39 c | 284355 | 7815 33388 101305 | 2147483647 284355 164 | 0.000 % |
308.68/308.80 c | 287082 | 7815 33388 101305 | 2147483647 287082 164 | 0.000 % |
308.88/309.09 c | 287182 | 7815 33388 101305 | 2147483647 287182 164 | 0.000 % |
309.18/309.31 c | 287293 | 7815 33388 101305 | 2147483647 287293 164 | 0.000 % |
309.48/309.61 c | 287418 | 7815 33388 101305 | 2147483647 287418 164 | 0.000 % |
309.78/309.91 c | 287553 | 7815 33388 101305 | 2147483647 287553 164 | 0.000 % |
310.08/310.26 c | 287700 | 7815 33388 101305 | 2147483647 287700 164 | 0.000 % |
310.48/310.65 c | 287861 | 7815 33388 101305 | 2147483647 287861 164 | 0.000 % |
310.88/311.04 c | 288037 | 7815 33388 101305 | 2147483647 288037 164 | 0.000 % |
311.38/311.50 c | 288230 | 7815 33388 101305 | 2147483647 288230 164 | 0.000 % |
311.78/312.00 c | 288442 | 7815 33388 101305 | 2147483647 288442 164 | 0.000 % |
312.28/312.48 c | 288675 | 7815 33388 101305 | 2147483647 288675 164 | 0.000 % |
312.87/313.05 c | 288931 | 7815 33388 101305 | 2147483647 288931 164 | 0.000 % |
313.48/313.63 c | 289213 | 7815 33388 101305 | 2147483647 289213 164 | 0.000 % |
314.08/314.28 c | 289522 | 7815 33388 101305 | 2147483647 289522 164 | 0.000 % |
314.88/315.00 c | 289861 | 7815 33388 101305 | 2147483647 289861 164 | 0.000 % |
315.58/315.76 c | 290234 | 7815 33388 101305 | 2147483647 290234 164 | 0.000 % |
316.38/316.53 c | 290644 | 7815 33388 101305 | 2147483647 290644 164 | 0.000 % |
317.28/317.46 c | 291093 | 7815 33388 101305 | 2147483647 291093 164 | 0.000 % |
318.27/318.49 c | 291588 | 7815 33388 101305 | 2147483647 291588 164 | 0.000 % |
319.37/319.58 c | 292130 | 7815 33388 101305 | 2147483647 292130 164 | 0.000 % |
320.57/320.74 c | 292726 | 7815 33388 101305 | 2147483647 292726 164 | 0.000 % |
321.88/322.08 c | 293382 | 7815 33388 101305 | 2147483647 293382 164 | 0.000 % |
323.18/323.35 c | 294105 | 7815 33388 101305 | 2147483647 294105 164 | 0.000 % |
324.77/324.96 c | 294898 | 7815 33388 101305 | 2147483647 294898 164 | 0.000 % |
326.48/326.64 c | 295769 | 7815 33388 101305 | 2147483647 295769 164 | 0.000 % |
328.27/328.47 c | 296727 | 7815 33388 101305 | 2147483647 296727 164 | 0.000 % |
330.37/330.56 c | 297780 | 7815 33388 101305 | 2147483647 297780 164 | 0.000 % |
332.57/332.78 c | 298939 | 7815 33388 101305 | 2147483647 298939 164 | 0.000 % |
334.97/335.17 c | 300213 | 7815 33388 101305 | 2147483647 300213 164 | 0.000 % |
337.47/337.68 c | 301613 | 7815 33388 101305 | 2147483647 301613 164 | 0.000 % |
340.37/340.50 c | 303155 | 7815 33388 101305 | 2147483647 303155 165 | 0.000 % |
343.37/343.58 c | 304849 | 7815 33388 101305 | 2147483647 304849 165 | 0.000 % |
346.87/347.08 c | 306714 | 7815 33388 101305 | 2147483647 306714 165 | 0.000 % |
350.56/350.70 c | 308763 | 7815 33388 101305 | 2147483647 308763 165 | 0.000 % |
354.66/354.88 c | 311016 | 7815 33388 101305 | 2147483647 311016 165 | 0.000 % |
359.36/359.59 c | 313494 | 7815 33388 101305 | 2147483647 313494 165 | 0.000 % |
364.76/364.92 c | 316221 | 7815 33388 101305 | 2147483647 316221 165 | 0.000 % |
370.36/370.59 c | 319218 | 7815 33388 101305 | 2147483647 319218 165 | 0.000 % |
370.66/370.81 c | 319318 | 7815 33388 101305 | 2147483647 319318 165 | 0.000 % |
370.86/371.08 c | 319429 | 7815 33388 101305 | 2147483647 319429 165 | 0.000 % |
371.16/371.38 c | 319551 | 7815 33388 101305 | 2147483647 319551 165 | 0.000 % |
371.56/371.77 c | 319684 | 7815 33388 101305 | 2147483647 319684 165 | 0.000 % |
371.96/372.11 c | 319830 | 7815 33388 101305 | 2147483647 319830 165 | 0.000 % |
372.26/372.50 c | 319992 | 7815 33388 101305 | 2147483647 319992 165 | 0.000 % |
372.76/372.97 c | 320168 | 7815 33388 101305 | 2147483647 320168 165 | 0.000 % |
373.26/373.40 c | 320362 | 7815 33388 101305 | 2147483647 320362 165 | 0.000 % |
373.76/373.90 c | 320574 | 7815 33388 101305 | 2147483647 320574 165 | 0.000 % |
374.26/374.49 c | 320807 | 7815 33388 101305 | 2147483647 320807 165 | 0.000 % |
374.86/375.08 c | 321063 | 7815 33388 101305 | 2147483647 321063 165 | 0.000 % |
375.56/375.72 c | 321344 | 7815 33388 101305 | 2147483647 321344 165 | 0.000 % |
376.26/376.41 c | 321654 | 7815 33388 101305 | 2147483647 321654 165 | 0.000 % |
376.96/377.15 c | 321994 | 7815 33388 101305 | 2147483647 321994 165 | 0.000 % |
377.76/377.99 c | 322367 | 7815 33388 101305 | 2147483647 322367 165 | 0.000 % |
378.76/378.92 c | 322776 | 7815 33388 101305 | 2147483647 322776 165 | 0.000 % |
379.65/379.87 c | 323228 | 7815 33388 101305 | 2147483647 323228 165 | 0.000 % |
380.75/380.94 c | 323726 | 7815 33388 101305 | 2147483647 323726 165 | 0.000 % |
381.85/382.07 c | 324269 | 7815 33388 101305 | 2147483647 324269 165 | 0.000 % |
383.15/383.32 c | 324865 | 7815 33388 101305 | 2147483647 324865 165 | 0.000 % |
384.35/384.52 c | 325520 | 7815 33388 101305 | 2147483647 325520 165 | 0.000 % |
385.86/386.08 c | 326240 | 7815 33388 101305 | 2147483647 326240 165 | 0.000 % |
387.45/387.67 c | 327033 | 7815 33388 101305 | 2147483647 327033 165 | 0.000 % |
389.45/389.66 c | 327906 | 7815 33388 101305 | 2147483647 327906 165 | 0.000 % |
391.35/391.59 c | 328865 | 7815 33388 101305 | 2147483647 328865 165 | 0.000 % |
393.65/393.84 c | 329920 | 7815 33388 101305 | 2147483647 329920 165 | 0.000 % |
396.15/396.35 c | 331078 | 7815 33388 101305 | 2147483647 331078 165 | 0.000 % |
398.95/399.11 c | 332352 | 7815 33388 101305 | 2147483647 332352 165 | 0.000 % |
401.65/401.84 c | 333752 | 7815 33388 101305 | 2147483647 333752 166 | 0.000 % |
404.84/405.05 c | 335292 | 7815 33388 101305 | 2147483647 335292 166 | 0.000 % |
408.05/408.29 c | 336986 | 7815 33388 101305 | 2147483647 336986 166 | 0.000 % |
411.94/412.19 c | 338849 | 7815 33388 101305 | 2147483647 338849 166 | 0.000 % |
416.24/416.44 c | 340899 | 7815 33388 101305 | 2147483647 340899 166 | 0.000 % |
420.74/420.99 c | 343153 | 7815 33388 101305 | 2147483647 343153 166 | 0.000 % |
425.64/425.87 c | 345631 | 7815 33388 101305 | 2147483647 345631 166 | 0.000 % |
431.34/431.57 c | 348356 | 7815 33388 101305 | 2147483647 348356 166 | 0.000 % |
437.64/437.81 c | 351353 | 7815 33388 101305 | 2147483647 351353 167 | 0.000 % |
444.43/444.66 c | 354650 | 7815 33388 101305 | 2147483647 354650 167 | 0.000 % |
444.73/444.92 c | 354750 | 7815 33388 101305 | 2147483647 354750 167 | 0.000 % |
445.03/445.25 c | 354862 | 7815 33388 101305 | 2147483647 354862 167 | 0.000 % |
445.43/445.60 c | 354983 | 7815 33388 101305 | 2147483647 354983 167 | 0.000 % |
445.83/446.02 c | 355117 | 7815 33388 101305 | 2147483647 355117 167 | 0.000 % |
446.13/446.40 c | 355263 | 7815 33388 101305 | 2147483647 355263 167 | 0.000 % |
446.53/446.79 c | 355425 | 7815 33388 101305 | 2147483647 355425 167 | 0.000 % |
447.03/447.26 c | 355601 | 7815 33388 101305 | 2147483647 355601 167 | 0.000 % |
447.53/447.75 c | 355798 | 7815 33388 101305 | 2147483647 355798 167 | 0.000 % |
448.13/448.30 c | 356010 | 7815 33388 101305 | 2147483647 356010 167 | 0.000 % |
448.63/448.89 c | 356243 | 7815 33388 101305 | 2147483647 356243 167 | 0.000 % |
449.33/449.57 c | 356501 | 7815 33388 101305 | 2147483647 356501 167 | 0.000 % |
450.14/450.34 c | 356782 | 7815 33388 101305 | 2147483647 356782 167 | 0.000 % |
450.94/451.12 c | 357092 | 7815 33388 101305 | 2147483647 357092 167 | 0.000 % |
451.84/452.05 c | 357433 | 7815 33388 101305 | 2147483647 357433 167 | 0.000 % |
452.73/452.99 c | 357807 | 7815 33388 101305 | 2147483647 357807 167 | 0.000 % |
453.73/453.92 c | 358216 | 7815 33388 101305 | 2147483647 358216 167 | 0.000 % |
454.73/454.98 c | 358666 | 7815 33388 101305 | 2147483647 358666 167 | 0.000 % |
456.03/456.23 c | 359159 | 7815 33388 101305 | 2147483647 359159 167 | 0.000 % |
457.33/457.53 c | 359703 | 7815 33388 101305 | 2147483647 359703 167 | 0.000 % |
458.63/458.84 c | 360300 | 7815 33388 101305 | 2147483647 360300 167 | 0.000 % |
460.13/460.30 c | 360955 | 7815 33388 101305 | 2147483647 360955 167 | 0.000 % |
461.74/461.95 c | 361675 | 7815 33388 101305 | 2147483647 361675 167 | 0.000 % |
463.63/463.85 c | 362470 | 7815 33388 101305 | 2147483647 362470 167 | 0.000 % |
465.73/465.95 c | 363345 | 7815 33388 101305 | 2147483647 363345 167 | 0.000 % |
467.93/468.18 c | 364306 | 7815 33388 101305 | 2147483647 364306 167 | 0.000 % |
470.23/470.49 c | 365361 | 7815 33388 101305 | 2147483647 365361 167 | 0.000 % |
473.03/473.22 c | 366519 | 7815 33388 101305 | 2147483647 366519 167 | 0.000 % |
476.03/476.22 c | 367792 | 7815 33388 101305 | 2147483647 367792 167 | 0.000 % |
479.22/479.42 c | 369195 | 7815 33388 101305 | 2147483647 369195 167 | 0.000 % |
482.63/482.81 c | 370735 | 7815 33388 101305 | 2147483647 370735 167 | 0.000 % |
486.52/486.73 c | 372432 | 7815 33388 101305 | 2147483647 372432 167 | 0.000 % |
490.32/490.55 c | 374295 | 7815 33388 101305 | 2147483647 374295 167 | 0.000 % |
494.83/495.09 c | 376345 | 7815 33388 101305 | 2147483647 376345 167 | 0.000 % |
499.42/499.67 c | 378599 | 7815 33388 101305 | 2147483647 378599 168 | 0.000 % |
505.01/505.29 c | 381078 | 7815 33388 101305 | 2147483647 381078 168 | 0.000 % |
511.02/511.23 c | 383804 | 7815 33388 101305 | 2147483647 383804 168 | 0.000 % |
517.62/517.81 c | 386801 | 7815 33388 101305 | 2147483647 386801 168 | 0.000 % |
524.82/525.09 c | 390098 | 7815 33388 101305 | 2147483647 390098 168 | 0.000 % |
533.51/533.79 c | 393723 | 7815 33388 101305 | 2147483647 393723 168 | 0.000 % |
533.81/534.02 c | 393824 | 7815 33388 101305 | 2147483647 393824 168 | 0.000 % |
534.11/534.32 c | 393935 | 7815 33388 101305 | 2147483647 393935 168 | 0.000 % |
534.41/534.69 c | 394057 | 7815 33388 101305 | 2147483647 394057 168 | 0.000 % |
534.91/535.14 c | 394190 | 7815 33388 101305 | 2147483647 394190 168 | 0.000 % |
535.42/535.63 c | 394336 | 7815 33388 101305 | 2147483647 394336 168 | 0.000 % |
535.81/536.09 c | 394497 | 7815 33388 101305 | 2147483647 394497 168 | 0.000 % |
536.31/536.60 c | 394673 | 7815 33388 101305 | 2147483647 394673 168 | 0.000 % |
536.91/537.12 c | 394866 | 7815 33388 101305 | 2147483647 394866 168 | 0.000 % |
537.62/537.83 c | 395079 | 7815 33388 101305 | 2147483647 395079 168 | 0.000 % |
538.31/538.55 c | 395313 | 7815 33388 101305 | 2147483647 395313 168 | 0.000 % |
539.01/539.23 c | 395571 | 7815 33388 101305 | 2147483647 395571 168 | 0.000 % |
539.81/540.04 c | 395852 | 7815 33388 101305 | 2147483647 395852 168 | 0.000 % |
540.61/540.86 c | 396161 | 7815 33388 101305 | 2147483647 396161 168 | 0.000 % |
541.61/541.80 c | 396500 | 7815 33388 101305 | 2147483647 396500 168 | 0.000 % |
542.50/542.79 c | 396872 | 7815 33388 101305 | 2147483647 396872 168 | 0.000 % |
543.60/543.85 c | 397282 | 7815 33388 101305 | 2147483647 397282 168 | 0.000 % |
544.71/544.96 c | 397731 | 7815 33388 101305 | 2147483647 397731 168 | 0.000 % |
546.01/546.24 c | 398224 | 7815 33388 101305 | 2147483647 398224 168 | 0.000 % |
547.31/547.59 c | 398767 | 7815 33388 101305 | 2147483647 398767 168 | 0.000 % |
548.81/549.05 c | 399363 | 7815 33388 101305 | 2147483647 399363 168 | 0.000 % |
550.51/550.70 c | 400018 | 7815 33388 101305 | 2147483647 400018 168 | 0.000 % |
552.50/552.73 c | 400739 | 7815 33388 101305 | 2147483647 400739 168 | 0.000 % |
554.30/554.58 c | 401531 | 7815 33388 101305 | 2147483647 401531 168 | 0.000 % |
556.60/556.84 c | 402402 | 7815 33388 101305 | 2147483647 402402 168 | 0.000 % |
559.10/559.33 c | 403360 | 7815 33388 101305 | 2147483647 403360 168 | 0.000 % |
561.71/561.90 c | 404413 | 7815 33388 101305 | 2147483647 404413 168 | 0.000 % |
564.30/564.58 c | 405572 | 7815 33388 101305 | 2147483647 405572 168 | 0.000 % |
567.70/567.94 c | 406845 | 7815 33388 101305 | 2147483647 406845 168 | 0.000 % |
571.10/571.36 c | 408248 | 7815 33388 101305 | 2147483647 408248 168 | 0.000 % |
574.89/575.11 c | 409788 | 7815 33388 101305 | 2147483647 409788 168 | 0.000 % |
579.00/579.26 c | 411482 | 7815 33388 101305 | 2147483647 411482 168 | 0.000 % |
583.69/583.90 c | 413345 | 7815 33388 101305 | 2147483647 413345 168 | 0.000 % |
588.30/588.55 c | 415396 | 7815 33388 101305 | 2147483647 415396 168 | 0.000 % |
593.69/593.98 c | 417651 | 7815 33388 101305 | 2147483647 417651 168 | 0.000 % |
599.59/599.88 c | 420129 | 7815 33388 101305 | 2147483647 420129 169 | 0.000 % |
605.89/606.14 c | 422856 | 7815 33388 101305 | 2147483647 422856 169 | 0.000 % |
613.29/613.57 c | 425853 | 7815 33388 101305 | 2147483647 425853 169 | 0.000 % |
621.29/621.54 c | 429150 | 7815 33388 101305 | 2147483647 429150 169 | 0.000 % |
629.99/630.29 c | 432776 | 7815 33388 101305 | 2147483647 432776 169 | 0.000 % |
638.68/638.97 c | 436763 | 7815 33388 101305 | 2147483647 436763 170 | 0.000 % |
638.98/639.23 c | 436864 | 7815 33388 101305 | 2147483647 436864 170 | 0.000 % |
639.38/639.60 c | 436976 | 7815 33388 101305 | 2147483647 436976 170 | 0.000 % |
639.78/640.04 c | 437097 | 7815 33388 101305 | 2147483647 437097 170 | 0.000 % |
640.28/640.53 c | 437230 | 7815 33388 101305 | 2147483647 437230 170 | 0.000 % |
640.78/641.02 c | 437379 | 7815 33388 101305 | 2147483647 437379 170 | 0.000 % |
641.28/641.52 c | 437540 | 7815 33388 101305 | 2147483647 437540 170 | 0.000 % |
641.88/642.14 c | 437716 | 7815 33388 101305 | 2147483647 437716 170 | 0.000 % |
642.48/642.79 c | 437909 | 7815 33388 101305 | 2147483647 437909 170 | 0.000 % |
643.18/643.48 c | 438124 | 7815 33388 101305 | 2147483647 438124 170 | 0.000 % |
643.98/644.26 c | 438358 | 7815 33388 101305 | 2147483647 438358 170 | 0.000 % |
644.67/644.98 c | 438615 | 7815 33388 101305 | 2147483647 438615 170 | 0.000 % |
645.49/645.74 c | 438897 | 7815 33388 101305 | 2147483647 438897 170 | 0.000 % |
646.38/646.65 c | 439206 | 7815 33388 101305 | 2147483647 439206 170 | 0.000 % |
647.38/647.64 c | 439545 | 7815 33388 101305 | 2147483647 439545 170 | 0.000 % |
648.68/648.94 c | 439917 | 7815 33388 101305 | 2147483647 439917 170 | 0.000 % |
649.98/650.23 c | 440327 | 7815 33388 101305 | 2147483647 440327 170 | 0.000 % |
651.17/651.45 c | 440778 | 7815 33388 101305 | 2147483647 440778 170 | 0.000 % |
652.57/652.80 c | 441272 | 7815 33388 101305 | 2147483647 441272 170 | 0.000 % |
653.97/654.22 c | 441815 | 7815 33388 101305 | 2147483647 441815 170 | 0.000 % |
655.67/655.98 c | 442411 | 7815 33388 101305 | 2147483647 442411 170 | 0.000 % |
657.58/657.84 c | 443066 | 7815 33388 101305 | 2147483647 443066 170 | 0.000 % |
659.78/660.07 c | 443788 | 7815 33388 101305 | 2147483647 443788 170 | 0.000 % |
661.97/662.26 c | 444582 | 7815 33388 101305 | 2147483647 444582 170 | 0.000 % |
664.57/664.85 c | 445453 | 7815 33388 101305 | 2147483647 445453 170 | 0.000 % |
667.17/667.43 c | 446412 | 7815 33388 101305 | 2147483647 446412 170 | 0.000 % |
670.07/670.35 c | 447466 | 7815 33388 101305 | 2147483647 447466 170 | 0.000 % |
673.37/673.66 c | 448624 | 7815 33388 101305 | 2147483647 448624 170 | 0.000 % |
676.87/677.13 c | 449897 | 7815 33388 101305 | 2147483647 449897 170 | 0.000 % |
681.06/681.37 c | 451297 | 7815 33388 101305 | 450000 403620 170 | 0.000 % |
684.87/685.14 c | 452837 | 7815 33388 101305 | 450000 405160 170 | 0.000 % |
689.07/689.36 c | 454531 | 7815 33388 101305 | 450000 406854 170 | 0.000 % |
694.07/694.30 c | 456394 | 7815 33388 101305 | 450000 408717 170 | 0.000 % |
698.96/699.24 c | 458444 | 7815 33388 101305 | 450000 410767 170 | 0.000 % |
704.06/704.37 c | 460697 | 7815 33388 101305 | 2147483647 413020 170 | 0.000 % |
710.06/710.39 c | 463176 | 7815 33388 101305 | 2147483647 415499 170 | 0.000 % |
716.66/716.99 c | 465902 | 7815 33388 101305 | 2147483647 418225 170 | 0.000 % |
723.85/724.15 c | 468899 | 7815 33388 101305 | 2147483647 421222 171 | 0.000 % |
731.85/732.15 c | 472195 | 7815 33388 101305 | 2147483647 424518 171 | 0.000 % |
741.15/741.44 c | 475821 | 7815 33388 101305 | 2147483647 428144 171 | 0.000 % |
750.75/751.03 c | 479810 | 7815 33388 101305 | 2147483647 432133 171 | 0.000 % |
761.74/762.04 c | 484195 | 7815 33388 101305 | 2147483647 436518 171 | 0.000 % |
762.05/762.38 c | 484297 | 7815 33388 101305 | 2147483647 436620 171 | 0.000 % |
762.44/762.77 c | 484408 | 7815 33388 101305 | 2147483647 436731 171 | 0.000 % |
762.84/763.19 c | 484529 | 7815 33388 101305 | 2147483647 436852 171 | 0.000 % |
763.34/763.68 c | 484664 | 7815 33388 101305 | 2147483647 436987 171 | 0.000 % |
763.84/764.16 c | 484811 | 7815 33388 101305 | 2147483647 437134 171 | 0.000 % |
764.44/764.70 c | 484971 | 7815 33388 101305 | 2147483647 437294 171 | 0.000 % |
765.04/765.31 c | 485148 | 7815 33388 101305 | 2147483647 437471 171 | 0.000 % |
765.64/765.93 c | 485342 | 7815 33388 101305 | 2147483647 437665 171 | 0.000 % |
766.24/766.59 c | 485554 | 7815 33388 101305 | 2147483647 437877 171 | 0.000 % |
767.04/767.36 c | 485789 | 7815 33388 101305 | 2147483647 438112 171 | 0.000 % |
767.94/768.22 c | 486045 | 7815 33388 101305 | 2147483647 438368 171 | 0.000 % |
768.94/769.23 c | 486327 | 7815 33388 101305 | 2147483647 438650 171 | 0.000 % |
769.94/770.24 c | 486637 | 7815 33388 101305 | 2147483647 438960 171 | 0.000 % |
770.94/771.23 c | 486976 | 7815 33388 101305 | 2147483647 439299 171 | 0.000 % |
772.04/772.30 c | 487348 | 7815 33388 101305 | 2147483647 439671 171 | 0.000 % |
773.24/773.52 c | 487757 | 7815 33388 101305 | 2147483647 440080 171 | 0.000 % |
774.44/774.72 c | 488206 | 7815 33388 101305 | 2147483647 440529 171 | 0.000 % |
775.64/775.99 c | 488699 | 7815 33388 101305 | 2147483647 441022 171 | 0.000 % |
777.34/777.64 c | 489241 | 7815 33388 101305 | 2147483647 441564 171 | 0.000 % |
778.93/779.24 c | 489839 | 7815 33388 101305 | 2147483647 442162 171 | 0.000 % |
780.74/781.04 c | 490494 | 7815 33388 101305 | 442325 442817 171 | 0.000 % |
783.03/783.32 c | 491215 | 7815 33388 101305 | 442325 396468 172 | 0.000 % |
784.93/785.20 c | 492008 | 7815 33388 101305 | 442325 397261 172 | 0.000 % |
787.13/787.47 c | 492880 | 7815 33388 101305 | 442325 398133 172 | 0.000 % |
789.73/790.05 c | 493839 | 7815 33388 101305 | 442325 399092 172 | 0.000 % |
792.33/792.65 c | 494892 | 7815 33388 101305 | 442325 400145 172 | 0.000 % |
795.23/795.52 c | 496052 | 7815 33388 101305 | 442325 401305 172 | 0.000 % |
798.63/798.96 c | 497325 | 7815 33388 101305 | 442325 402578 172 | 0.000 % |
801.83/802.16 c | 498726 | 7815 33388 101305 | 442325 403979 172 | 0.000 % |
805.62/805.91 c | 500267 | 7815 33388 101305 | 2147483647 405520 172 | 0.000 % |
809.62/809.95 c | 501961 | 7815 33388 101305 | 2147483647 407214 172 | 0.000 % |
814.12/814.47 c | 503825 | 7815 33388 101305 | 2147483647 409078 172 | 0.000 % |
819.02/819.32 c | 505875 | 7815 33388 101305 | 2147483647 411128 172 | 0.000 % |
824.32/824.60 c | 508129 | 7815 33388 101305 | 2147483647 413382 172 | 0.000 % |
830.42/830.76 c | 510607 | 7815 33388 101305 | 2147483647 415860 172 | 0.000 % |
837.11/837.43 c | 513332 | 7815 33388 101305 | 2147483647 418585 172 | 0.000 % |
844.11/844.46 c | 516330 | 7815 33388 101305 | 2147483647 421583 173 | 0.000 % |
852.01/852.39 c | 519626 | 7815 33388 101305 | 2147483647 424879 173 | 0.000 % |
860.61/860.91 c | 523252 | 7815 33388 101305 | 2147483647 428505 173 | 0.000 % |
870.41/870.74 c | 527239 | 7815 33388 101305 | 2147483647 432492 173 | 0.000 % |
881.00/881.37 c | 531624 | 7815 33388 101305 | 2147483647 436877 174 | 0.000 % |
892.80/893.12 c | 536450 | 7815 33388 101305 | 2147483647 441703 174 | 0.000 % |
893.10/893.46 c | 536550 | 7815 33388 101305 | 2147483647 441803 174 | 0.000 % |
893.60/893.95 c | 536661 | 7815 33388 101305 | 2147483647 441914 174 | 0.000 % |
894.00/894.35 c | 536782 | 7815 33388 101305 | 2147483647 442035 174 | 0.000 % |
894.51/894.87 c | 536915 | 7815 33388 101305 | 2147483647 442168 174 | 0.000 % |
895.01/895.35 c | 537063 | 7815 33388 101305 | 2147483647 442316 174 | 0.000 % |
895.60/895.91 c | 537223 | 7815 33388 101305 | 2147483647 442476 174 | 0.000 % |
896.11/896.48 c | 537401 | 7815 33388 101305 | 2147483647 442654 174 | 0.000 % |
896.80/897.16 c | 537594 | 7815 33388 101305 | 2147483647 442847 174 | 0.000 % |
897.50/897.89 c | 537808 | 7815 33388 101305 | 2147483647 443061 174 | 0.000 % |
898.30/898.68 c | 538042 | 7815 33388 101305 | 2147483647 443295 174 | 0.000 % |
899.20/899.50 c | 538299 | 7815 33388 101305 | 2147483647 443552 174 | 0.000 % |
900.10/900.42 c | 538582 | 7815 33388 101305 | 2147483647 443835 174 | 0.000 % |
901.10/901.46 c | 538892 | 7815 33388 101305 | 2147483647 444145 174 | 0.000 % |
902.10/902.49 c | 539233 | 7815 33388 101305 | 2147483647 444486 174 | 0.000 % |
903.30/903.62 c | 539605 | 7815 33388 101305 | 2147483647 444858 174 | 0.000 % |
904.49/904.88 c | 540015 | 7815 33388 101305 | 2147483647 445268 174 | 0.000 % |
906.10/906.48 c | 540464 | 7815 33388 101305 | 2147483647 445717 173 | 0.000 % |
907.59/907.96 c | 540957 | 7815 33388 101305 | 2147483647 446210 173 | 0.000 % |
909.20/909.55 c | 541499 | 7815 33388 101305 | 2147483647 446752 173 | 0.000 % |
910.90/911.28 c | 542095 | 7815 33388 101305 | 2147483647 447348 173 | 0.000 % |
912.90/913.23 c | 542751 | 7815 33388 101305 | 2147483647 448004 173 | 0.000 % |
915.00/915.34 c | 543472 | 7815 33388 101305 | 2147483647 448725 173 | 0.000 % |
917.49/917.87 c | 544266 | 7815 33388 101305 | 2147483647 449519 173 | 0.000 % |
919.99/920.33 c | 545138 | 7815 33388 101305 | 2147483647 450391 173 | 0.000 % |
922.59/922.97 c | 546097 | 7815 33388 101305 | 2147483647 451350 173 | 0.000 % |
925.69/926.03 c | 547152 | 7815 33388 101305 | 2147483647 452405 173 | 0.000 % |
928.89/929.26 c | 548310 | 7815 33388 101305 | 2147483647 453563 173 | 0.000 % |
932.49/932.84 c | 549584 | 7815 33388 101305 | 2147483647 454837 173 | 0.000 % |
936.39/936.73 c | 550986 | 7815 33388 101305 | 455253 456239 173 | 0.000 % |
940.59/940.94 c | 552526 | 7815 33388 101305 | 455253 401320 175 | 0.000 % |
944.69/945.05 c | 554220 | 7815 33388 101305 | 455253 403014 175 | 0.000 % |
949.39/949.74 c | 556083 | 7815 33388 101305 | 455253 404877 175 | 0.000 % |
954.69/955.00 c | 558132 | 7815 33388 101305 | 455253 406926 175 | 0.000 % |
960.29/960.67 c | 560385 | 7815 33388 101305 | 2147483647 409179 175 | 0.000 % |
966.49/966.84 c | 562863 | 7815 33388 101305 | 2147483647 411657 175 | 0.000 % |
973.09/973.44 c | 565588 | 7815 33388 101305 | 2147483647 414382 175 | 0.000 % |
980.98/981.34 c | 568585 | 7815 33388 101305 | 2147483647 417379 175 | 0.000 % |
988.98/989.30 c | 571882 | 7815 33388 101305 | 2147483647 420676 175 | 0.000 % |
997.77/998.15 c | 575507 | 7815 33388 101305 | 2147483647 424301 176 | 0.000 % |
1008.07/1008.40 c | 579495 | 7815 33388 101305 | 2147483647 428289 176 | 0.000 % |
1018.77/1019.18 c | 583880 | 7815 33388 101305 | 2147483647 432674 176 | 0.000 % |
1030.56/1030.97 c | 588704 | 7815 33388 101305 | 2147483647 437498 176 | 0.000 % |
1043.96/1044.39 c | 594010 | 7815 33388 101305 | 2147483647 442804 176 | 0.000 % |
1044.46/1044.82 c | 594111 | 7815 33388 101305 | 2147483647 442905 176 | 0.000 % |
1044.86/1045.25 c | 594221 | 7815 33388 101305 | 2147483647 443015 176 | 0.000 % |
1045.26/1045.67 c | 594342 | 7815 33388 101305 | 2147483647 443136 176 | 0.000 % |
1045.77/1046.10 c | 594475 | 7815 33388 101305 | 2147483647 443269 176 | 0.000 % |
1046.16/1046.58 c | 594623 | 7815 33388 101305 | 2147483647 443417 176 | 0.000 % |
1046.66/1047.08 c | 594784 | 7815 33388 101305 | 2147483647 443578 176 | 0.000 % |
1047.26/1047.70 c | 594960 | 7815 33388 101305 | 2147483647 443754 176 | 0.000 % |
1047.96/1048.32 c | 595156 | 7815 33388 101305 | 2147483647 443950 176 | 0.000 % |
1048.66/1049.07 c | 595371 | 7815 33388 101305 | 2147483647 444165 176 | 0.000 % |
1049.36/1049.80 c | 595606 | 7815 33388 101305 | 2147483647 444400 176 | 0.000 % |
1050.26/1050.61 c | 595862 | 7815 33388 101305 | 2147483647 444656 176 | 0.000 % |
1051.16/1051.55 c | 596143 | 7815 33388 101305 | 2147483647 444937 176 | 0.000 % |
1052.06/1052.50 c | 596458 | 7815 33388 101305 | 2147483647 445252 176 | 0.000 % |
1053.16/1053.54 c | 596797 | 7815 33388 101305 | 2147483647 445591 176 | 0.000 % |
1054.26/1054.67 c | 597169 | 7815 33388 101305 | 2147483647 445963 176 | 0.000 % |
1055.46/1055.85 c | 597578 | 7815 33388 101305 | 2147483647 446372 176 | 0.000 % |
1056.76/1057.19 c | 598028 | 7815 33388 101305 | 2147483647 446822 176 | 0.000 % |
1058.36/1058.75 c | 598522 | 7815 33388 101305 | 2147483647 447316 176 | 0.000 % |
1059.96/1060.31 c | 599064 | 7815 33388 101305 | 2147483647 447858 176 | 0.000 % |
1061.76/1062.17 c | 599662 | 7815 33388 101305 | 2147483647 448456 176 | 0.000 % |
1063.65/1064.05 c | 600317 | 7815 33388 101305 | 448795 449111 176 | 0.000 % |
1065.95/1066.33 c | 601037 | 7815 33388 101305 | 448795 401216 176 | 0.000 % |
1068.05/1068.48 c | 601830 | 7815 33388 101305 | 448795 402009 176 | 0.000 % |
1070.35/1070.79 c | 602701 | 7815 33388 101305 | 448795 402880 176 | 0.000 % |
1072.85/1073.21 c | 603659 | 7815 33388 101305 | 448795 403838 176 | 0.000 % |
1075.35/1075.79 c | 604713 | 7815 33388 101305 | 448795 404892 176 | 0.000 % |
1078.15/1078.59 c | 605871 | 7815 33388 101305 | 448795 406050 176 | 0.000 % |
1081.05/1081.47 c | 607144 | 7815 33388 101305 | 448795 407323 176 | 0.000 % |
1084.35/1084.74 c | 608546 | 7815 33388 101305 | 448795 408725 176 | 0.000 % |
1088.45/1088.88 c | 610086 | 7815 33388 101305 | 2147483647 410265 176 | 0.000 % |
1092.75/1093.11 c | 611780 | 7815 33388 101305 | 2147483647 411959 176 | 0.000 % |
1097.24/1097.67 c | 613643 | 7815 33388 101305 | 2147483647 413822 176 | 0.000 % |
1102.14/1102.51 c | 615694 | 7815 33388 101305 | 2147483647 415873 176 | 0.000 % |
1107.34/1107.75 c | 617949 | 7815 33388 101305 | 2147483647 418128 176 | 0.000 % |
1113.24/1113.69 c | 620427 | 7815 33388 101305 | 2147483647 420606 177 | 0.000 % |
1119.74/1120.10 c | 623154 | 7815 33388 101305 | 2147483647 423333 177 | 0.000 % |
1126.73/1127.11 c | 626153 | 7815 33388 101305 | 2147483647 426332 177 | 0.000 % |
1135.23/1135.60 c | 629450 | 7815 33388 101305 | 2147483647 429629 177 | 0.000 % |
1144.13/1144.58 c | 633079 | 7815 33388 101305 | 2147483647 433258 177 | 0.000 % |
1154.53/1154.98 c | 637067 | 7815 33388 101305 | 2147483647 437246 177 | 0.000 % |
1165.72/1166.13 c | 641452 | 7815 33388 101305 | 2147483647 441631 177 | 0.000 % |
1177.82/1178.26 c | 646276 | 7815 33388 101305 | 2147483647 446455 178 | 0.000 % |
1190.82/1191.21 c | 651582 | 7815 33388 101305 | 2147483647 451761 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-1832699-1242786366/watcher-1832699-1242786366 -o /tmp/evaluation-result-1832699-1242786366/solver-1832699-1242786366 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832699-1242786366.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.95 3/65 5317
/proc/meminfo: memFree=1777896/2055920 swapFree=4179252/4192956
[pid=5317] ppid=5315 vsize=5356 CPUtime=0
/proc/5317/stat : 5317 (SatELiteGTI) R 5315 5317 4692 0 -1 4194304 291 249 0 0 0 0 0 0 18 0 1 0 306669348 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 228774308339 0 0 4100 65536 0 0 0 17 0 0 0
/proc/5317/statm: 1339 237 197 169 0 50 0
[startup+0.0947251 s]
/proc/loadavg: 0.99 1.00 0.95 3/65 5317
/proc/meminfo: memFree=1777896/2055920 swapFree=4179252/4192956
[pid=5317] ppid=5315 vsize=5356 CPUtime=0
/proc/5317/stat : 5317 (SatELiteGTI) S 5315 5317 4692 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 306669348 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5317/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.101725 s]
/proc/loadavg: 0.99 1.00 0.95 3/65 5317
/proc/meminfo: memFree=1777896/2055920 swapFree=4179252/4192956
[pid=5317] ppid=5315 vsize=5356 CPUtime=0
/proc/5317/stat : 5317 (SatELiteGTI) S 5315 5317 4692 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 306669348 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5317/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301753 s]
/proc/loadavg: 0.99 1.00 0.95 3/65 5317
/proc/meminfo: memFree=1777896/2055920 swapFree=4179252/4192956
[pid=5317] ppid=5315 vsize=5356 CPUtime=0.13
/proc/5317/stat : 5317 (SatELiteGTI) S 5315 5317 4692 0 -1 4194304 336 1322 0 0 0 0 13 0 16 0 1 0 306669348 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5317/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 5356
[startup+0.701801 s]
/proc/loadavg: 0.99 1.00 0.95 3/65 5317
/proc/meminfo: memFree=1777896/2055920 swapFree=4179252/4192956
[pid=5317] ppid=5315 vsize=5356 CPUtime=0.13
/proc/5317/stat : 5317 (SatELiteGTI) S 5315 5317 4692 0 -1 4194304 336 1322 0 0 0 0 13 0 16 0 1 0 306669348 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5317/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 5356
[startup+1.50189 s]
/proc/loadavg: 0.99 1.00 0.95 2/67 5323
/proc/meminfo: memFree=1772184/2055920 swapFree=4179252/4192956
[pid=5317] ppid=5315 vsize=5356 CPUtime=0.13
/proc/5317/stat : 5317 (SatELiteGTI) S 5315 5317 4692 0 -1 4194304 336 1322 0 0 0 0 13 0 16 0 1 0 306669348 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5317/statm: 1339 239 197 169 0 50 0
[pid=5323] ppid=5317 vsize=6980 CPUtime=1.33
/proc/5323/stat : 5323 (minisat_static) R 5317 5317 4692 0 -1 4194304 1523 0 0 0 133 0 0 0 25 0 1 0 306669363 7147520 1509 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/5323/statm: 1745 1509 77 171 0 1572 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 12336
[startup+3.10107 s]
/proc/loadavg: 0.99 1.00 0.95 2/67 5323
/proc/meminfo: memFree=1769688/2055920 swapFree=4179252/4192956
[pid=5317] ppid=5315 vsize=5356 CPUtime=0.13
/proc/5317/stat : 5317 (SatELiteGTI) S 5315 5317 4692 0 -1 4194304 336 1322 0 0 0 0 13 0 16 0 1 0 306669348 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5317/statm: 1339 239 197 169 0 50 0
[pid=5323] ppid=5317 vsize=10296 CPUtime=2.94
/proc/5323/stat : 5323 (minisat_static) R 5317 5317 4692 0 -1 4194304 2353 0 0 0 293 1 0 0 25 0 1 0 306669363 10543104 2339 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/5323/statm: 2574 2339 77 171 0 2401 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 15652
[startup+6.30144 s]
/proc/loadavg: 0.99 1.00 0.95 2/67 5323
/proc/meminfo: memFree=1763416/2055920 swapFree=4179252/4192956
[pid=5317] ppid=5315 vsize=5356 CPUtime=0.13
/proc/5317/stat : 5317 (SatELiteGTI) S 5315 5317 4692 0 -1 4194304 336 1322 0 0 0 0 13 0 16 0 1 0 306669348 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5317/statm: 1339 239 197 169 0 50 0
[pid=5323] ppid=5317 vsize=15976 CPUtime=6.14
/proc/5323/stat : 5323 (minisat_static) R 5317 5317 4692 0 -1 4194304 3760 0 0 0 612 2 0 0 25 0 1 0 306669363 16359424 3746 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/5323/statm: 3994 3746 77 171 0 3821 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 21332
[startup+12.7012 s]
/proc/loadavg: 0.99 1.00 0.95 2/67 5323
/proc/meminfo: memFree=1753576/2055920 swapFree=4179252/4192956
[pid=5317] ppid=5315 vsize=5356 CPUtime=0.13
/proc/5317/stat : 5317 (SatELiteGTI) S 5315 5317 4692 0 -1 4194304 336 1322 0 0 0 0 13 0 16 0 1 0 306669348 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5317/statm: 1339 239 197 169 0 50 0
[pid=5323] ppid=5317 vsize=24984 CPUtime=12.54
/proc/5323/stat : 5323 (minisat_static) R 5317 5317 4692 0 -1 4194304 6027 0 0 0 1249 5 0 0 25 0 1 0 306669363 25583616 6013 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/5323/statm: 6246 6013 77 171 0 6073 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 30340
[startup+25.5017 s]
/proc/loadavg: 0.99 1.00 0.95 2/67 5323
/proc/meminfo: memFree=1737960/2055920 swapFree=4179252/4192956
[pid=5317] ppid=5315 vsize=5356 CPUtime=0.13
/proc/5317/stat : 5317 (SatELiteGTI) S 5315 5317 4692 0 -1 4194304 336 1322 0 0 0 0 13 0 16 0 1 0 306669348 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5317/statm: 1339 239 197 169 0 50 0
[pid=5323] ppid=5317 vsize=40112 CPUtime=25.33
/proc/5323/stat : 5323 (minisat_static) R 5317 5317 4692 0 -1 4194304 9798 0 0 0 2525 8 0 0 25 0 1 0 306669363 41074688 9784 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/5323/statm: 10028 9784 77 171 0 9855 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 45468
[startup+51.1016 s]
/proc/loadavg: 0.99 1.00 0.95 2/67 5323
/proc/meminfo: memFree=1714984/2055920 swapFree=4179252/4192956
[pid=5317] ppid=5315 vsize=5356 CPUtime=0.13
/proc/5317/stat : 5317 (SatELiteGTI) S 5315 5317 4692 0 -1 4194304 336 1322 0 0 0 0 13 0 16 0 1 0 306669348 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5317/statm: 1339 239 197 169 0 50 0
[pid=5323] ppid=5317 vsize=63248 CPUtime=50.92
/proc/5323/stat : 5323 (minisat_static) R 5317 5317 4692 0 -1 4194304 15552 0 0 0 5077 15 0 0 25 0 1 0 306669363 64765952 15538 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/5323/statm: 15812 15538 77 171 0 15639 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 68604
[startup+102.306 s]
/proc/loadavg: 0.99 1.00 0.95 2/67 5323
/proc/meminfo: memFree=1678312/2055920 swapFree=4179252/4192956
[pid=5317] ppid=5315 vsize=5356 CPUtime=0.13
/proc/5317/stat : 5317 (SatELiteGTI) S 5315 5317 4692 0 -1 4194304 336 1322 0 0 0 0 13 0 16 0 1 0 306669348 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5317/statm: 1339 239 197 169 0 50 0
[pid=5323] ppid=5317 vsize=99552 CPUtime=102.11
/proc/5323/stat : 5323 (minisat_static) R 5317 5317 4692 0 -1 4194304 24597 0 0 0 10185 26 0 0 25 0 1 0 306669363 101941248 24583 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/5323/statm: 24888 24583 77 171 0 24715 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 104908
[startup+162.301 s]
/proc/loadavg: 0.99 1.00 0.95 2/67 5323
/proc/meminfo: memFree=1644904/2055920 swapFree=4179252/4192956
[pid=5317] ppid=5315 vsize=5356 CPUtime=0.13
/proc/5317/stat : 5317 (SatELiteGTI) S 5315 5317 4692 0 -1 4194304 336 1322 0 0 0 0 13 0 16 0 1 0 306669348 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5317/statm: 1339 239 197 169 0 50 0
[pid=5323] ppid=5317 vsize=132948 CPUtime=162.09
/proc/5323/stat : 5323 (minisat_static) R 5317 5317 4692 0 -1 4194304 33001 0 0 0 16172 37 0 0 25 0 1 0 306669363 136138752 32987 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/5323/statm: 33237 32987 77 171 0 33064 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 138304
[startup+222.301 s]
/proc/loadavg: 0.99 1.00 0.95 2/67 5323
/proc/meminfo: memFree=1615656/2055920 swapFree=4179252/4192956
[pid=5317] ppid=5315 vsize=5356 CPUtime=0.13
/proc/5317/stat : 5317 (SatELiteGTI) S 5315 5317 4692 0 -1 4194304 336 1322 0 0 0 0 13 0 16 0 1 0 306669348 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5317/statm: 1339 239 197 169 0 50 0
[pid=5323] ppid=5317 vsize=161864 CPUtime=222.08
/proc/5323/stat : 5323 (minisat_static) R 5317 5317 4692 0 -1 4194304 40182 0 0 0 22162 46 0 0 25 0 1 0 306669363 165748736 40168 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/5323/statm: 40466 40168 77 171 0 40293 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 167220
[startup+282.301 s]
/proc/loadavg: 0.99 1.00 0.95 2/67 5323
/proc/meminfo: memFree=1590376/2055920 swapFree=4179252/4192956
[pid=5317] ppid=5315 vsize=5356 CPUtime=0.13
/proc/5317/stat : 5317 (SatELiteGTI) S 5315 5317 4692 0 -1 4194304 336 1322 0 0 0 0 13 0 16 0 1 0 306669348 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5317/statm: 1339 239 197 169 0 50 0
[pid=5323] ppid=5317 vsize=187076 CPUtime=282.06
/proc/5323/stat : 5323 (minisat_static) R 5317 5317 4692 0 -1 4194304 46511 0 0 0 28150 56 0 0 25 0 1 0 306669363 191565824 46497 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/5323/statm: 46769 46497 77 171 0 46596 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 192432
[startup+342.301 s]
/proc/loadavg: 0.99 1.00 0.95 2/67 5323
/proc/meminfo: memFree=1565232/2055920 swapFree=4179252/4192956
[pid=5317] ppid=5315 vsize=5356 CPUtime=0.13
/proc/5317/stat : 5317 (SatELiteGTI) S 5315 5317 4692 0 -1 4194304 336 1322 0 0 0 0 13 0 16 0 1 0 306669348 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5317/statm: 1339 239 197 169 0 50 0
[pid=5323] ppid=5317 vsize=211760 CPUtime=342.04
/proc/5323/stat : 5323 (minisat_static) R 5317 5317 4692 0 -1 4194304 52714 0 0 0 34140 64 0 0 25 0 1 0 306669363 216842240 52700 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/5323/statm: 52940 52700 77 171 0 52767 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 217116
[startup+402.301 s]
/proc/loadavg: 0.99 1.00 0.95 2/67 5323
/proc/meminfo: memFree=1543600/2055920 swapFree=4179252/4192956
[pid=5317] ppid=5315 vsize=5356 CPUtime=0.13
/proc/5317/stat : 5317 (SatELiteGTI) S 5315 5317 4692 0 -1 4194304 336 1322 0 0 0 0 13 0 16 0 1 0 306669348 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5317/statm: 1339 239 197 169 0 50 0
[pid=5323] ppid=5317 vsize=234016 CPUtime=402.01
/proc/5323/stat : 5323 (minisat_static) R 5317 5317 4692 0 -1 4194304 58156 0 0 0 40131 70 0 0 25 0 1 0 306669363 239632384 58142 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/5323/statm: 58504 58142 77 171 0 58331 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 239372
[startup+462.301 s]
################
# More data... #
################
/proc/5323/statm: 68833 68505 77 171 0 68660 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 280688
[startup+582.302 s]
/proc/loadavg: 0.99 1.00 0.95 2/67 5323
/proc/meminfo: memFree=1484592/2055920 swapFree=4179252/4192956
[pid=5317] ppid=5315 vsize=5356 CPUtime=0.13
/proc/5317/stat : 5317 (SatELiteGTI) S 5315 5317 4692 0 -1 4194304 336 1322 0 0 0 0 13 0 16 0 1 0 306669348 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5317/statm: 1339 239 197 169 0 50 0
[pid=5323] ppid=5317 vsize=292096 CPUtime=581.96
/proc/5323/stat : 5323 (minisat_static) R 5317 5317 4692 0 -1 4194304 72752 0 0 0 58106 90 0 0 25 0 1 0 306669363 299106304 72738 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/5323/statm: 73024 72738 77 171 0 72851 0
Current children cumulated CPU time (s) 582.09
Current children cumulated vsize (KiB) 297452
[startup+642.302 s]
/proc/loadavg: 0.99 1.00 0.95 2/67 5323
/proc/meminfo: memFree=1463856/2055920 swapFree=4179252/4192956
[pid=5317] ppid=5315 vsize=5356 CPUtime=0.13
/proc/5317/stat : 5317 (SatELiteGTI) S 5315 5317 4692 0 -1 4194304 336 1322 0 0 0 0 13 0 16 0 1 0 306669348 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5317/statm: 1339 239 197 169 0 50 0
[pid=5323] ppid=5317 vsize=312424 CPUtime=641.95
/proc/5323/stat : 5323 (minisat_static) R 5317 5317 4692 0 -1 4194304 77864 0 0 0 64099 96 0 0 25 0 1 0 306669363 319922176 77850 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/5323/statm: 78106 77850 77 171 0 77933 0
Current children cumulated CPU time (s) 642.08
Current children cumulated vsize (KiB) 317780
[startup+702.302 s]
/proc/loadavg: 0.99 1.00 0.95 2/67 5323
/proc/meminfo: memFree=1454192/2055920 swapFree=4179252/4192956
[pid=5317] ppid=5315 vsize=5356 CPUtime=0.13
/proc/5317/stat : 5317 (SatELiteGTI) S 5315 5317 4692 0 -1 4194304 336 1322 0 0 0 0 13 0 16 0 1 0 306669348 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5317/statm: 1339 239 197 169 0 50 0
[pid=5323] ppid=5317 vsize=321928 CPUtime=701.93
/proc/5323/stat : 5323 (minisat_static) R 5317 5317 4692 0 -1 4194304 80239 0 0 0 70093 100 0 0 25 0 1 0 306669363 329654272 80225 1992294400 134512640 135215339 4294956240 18446744073709551615 134538089 0 0 4096 3 0 0 0 17 1 0 0
/proc/5323/statm: 80482 80225 77 171 0 80309 0
Current children cumulated CPU time (s) 702.06
Current children cumulated vsize (KiB) 327284
[startup+762.306 s]
/proc/loadavg: 0.99 1.00 0.95 2/67 5323
/proc/meminfo: memFree=1454128/2055920 swapFree=4179252/4192956
[pid=5317] ppid=5315 vsize=5356 CPUtime=0.13
/proc/5317/stat : 5317 (SatELiteGTI) S 5315 5317 4692 0 -1 4194304 336 1322 0 0 0 0 13 0 16 0 1 0 306669348 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5317/statm: 1339 239 197 169 0 50 0
[pid=5323] ppid=5317 vsize=321928 CPUtime=761.92
/proc/5323/stat : 5323 (minisat_static) R 5317 5317 4692 0 -1 4194304 80239 0 0 0 76092 100 0 0 25 0 1 0 306669363 329654272 80225 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/5323/statm: 80482 80225 77 171 0 80309 0
Current children cumulated CPU time (s) 762.05
Current children cumulated vsize (KiB) 327284
[startup+822.302 s]
/proc/loadavg: 0.99 1.00 0.95 2/67 5323
/proc/meminfo: memFree=1454064/2055920 swapFree=4179252/4192956
[pid=5317] ppid=5315 vsize=5356 CPUtime=0.13
/proc/5317/stat : 5317 (SatELiteGTI) S 5315 5317 4692 0 -1 4194304 336 1322 0 0 0 0 13 0 16 0 1 0 306669348 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5317/statm: 1339 239 197 169 0 50 0
[pid=5323] ppid=5317 vsize=321928 CPUtime=821.89
/proc/5323/stat : 5323 (minisat_static) R 5317 5317 4692 0 -1 4194304 80239 0 0 0 82089 100 0 0 25 0 1 0 306669363 329654272 80225 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/5323/statm: 80482 80225 77 171 0 80309 0
Current children cumulated CPU time (s) 822.02
Current children cumulated vsize (KiB) 327284
[startup+882.301 s]
/proc/loadavg: 0.99 1.00 0.95 2/67 5323
/proc/meminfo: memFree=1454000/2055920 swapFree=4179252/4192956
[pid=5317] ppid=5315 vsize=5356 CPUtime=0.13
/proc/5317/stat : 5317 (SatELiteGTI) S 5315 5317 4692 0 -1 4194304 336 1322 0 0 0 0 13 0 16 0 1 0 306669348 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5317/statm: 1339 239 197 169 0 50 0
[pid=5323] ppid=5317 vsize=321928 CPUtime=881.87
/proc/5323/stat : 5323 (minisat_static) R 5317 5317 4692 0 -1 4194304 80239 0 0 0 88087 100 0 0 25 0 1 0 306669363 329654272 80225 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 1 0 0
/proc/5323/statm: 80482 80225 77 171 0 80309 0
Current children cumulated CPU time (s) 882
Current children cumulated vsize (KiB) 327284
[startup+942.301 s]
/proc/loadavg: 0.99 1.00 0.95 2/67 5323
/proc/meminfo: memFree=1443312/2055920 swapFree=4179252/4192956
[pid=5317] ppid=5315 vsize=5356 CPUtime=0.13
/proc/5317/stat : 5317 (SatELiteGTI) S 5315 5317 4692 0 -1 4194304 336 1322 0 0 0 0 13 0 16 0 1 0 306669348 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5317/statm: 1339 239 197 169 0 50 0
[pid=5323] ppid=5317 vsize=332488 CPUtime=941.86
/proc/5323/stat : 5323 (minisat_static) R 5317 5317 4692 0 -1 4194304 82874 0 0 0 94082 104 0 0 25 0 1 0 306669363 340467712 82860 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/5323/statm: 83122 82860 77 171 0 82949 0
Current children cumulated CPU time (s) 941.99
Current children cumulated vsize (KiB) 337844
[startup+1002.3 s]
/proc/loadavg: 0.99 1.00 0.95 2/67 5323
/proc/meminfo: memFree=1443248/2055920 swapFree=4179252/4192956
[pid=5317] ppid=5315 vsize=5356 CPUtime=0.13
/proc/5317/stat : 5317 (SatELiteGTI) S 5315 5317 4692 0 -1 4194304 336 1322 0 0 0 0 13 0 16 0 1 0 306669348 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5317/statm: 1339 239 197 169 0 50 0
[pid=5323] ppid=5317 vsize=332488 CPUtime=1001.84
/proc/5323/stat : 5323 (minisat_static) R 5317 5317 4692 0 -1 4194304 82874 0 0 0 100080 104 0 0 25 0 1 0 306669363 340467712 82860 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/5323/statm: 83122 82860 77 171 0 82949 0
Current children cumulated CPU time (s) 1001.97
Current children cumulated vsize (KiB) 337844
[startup+1062.3 s]
/proc/loadavg: 0.99 1.00 0.95 2/67 5325
/proc/meminfo: memFree=1442992/2055920 swapFree=4179252/4192956
[pid=5317] ppid=5315 vsize=5356 CPUtime=0.13
/proc/5317/stat : 5317 (SatELiteGTI) S 5315 5317 4692 0 -1 4194304 336 1322 0 0 0 0 13 0 16 0 1 0 306669348 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5317/statm: 1339 239 197 169 0 50 0
[pid=5323] ppid=5317 vsize=332488 CPUtime=1061.83
/proc/5323/stat : 5323 (minisat_static) R 5317 5317 4692 0 -1 4194304 82876 0 0 0 106079 104 0 0 25 0 1 0 306669363 340467712 82862 1992294400 134512640 135215339 4294956240 18446744073709551615 134538068 0 0 4096 3 0 0 0 17 1 0 0
/proc/5323/statm: 83122 82862 77 171 0 82949 0
Current children cumulated CPU time (s) 1061.96
Current children cumulated vsize (KiB) 337844
[startup+1122.3 s]
/proc/loadavg: 0.99 1.00 0.95 2/67 5325
/proc/meminfo: memFree=1442544/2055920 swapFree=4179252/4192956
[pid=5317] ppid=5315 vsize=5356 CPUtime=0.13
/proc/5317/stat : 5317 (SatELiteGTI) S 5315 5317 4692 0 -1 4194304 336 1322 0 0 0 0 13 0 16 0 1 0 306669348 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5317/statm: 1339 239 197 169 0 50 0
[pid=5323] ppid=5317 vsize=332884 CPUtime=1121.81
/proc/5323/stat : 5323 (minisat_static) R 5317 5317 4692 0 -1 4194304 82994 0 0 0 112077 104 0 0 25 0 1 0 306669363 340873216 82980 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/5323/statm: 83221 82980 77 171 0 83048 0
Current children cumulated CPU time (s) 1121.94
Current children cumulated vsize (KiB) 338240
[startup+1182.3 s]
/proc/loadavg: 0.99 1.00 0.95 2/67 5325
/proc/meminfo: memFree=1440496/2055920 swapFree=4179252/4192956
[pid=5317] ppid=5315 vsize=5356 CPUtime=0.13
/proc/5317/stat : 5317 (SatELiteGTI) S 5315 5317 4692 0 -1 4194304 336 1322 0 0 0 0 13 0 16 0 1 0 306669348 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5317/statm: 1339 239 197 169 0 50 0
[pid=5323] ppid=5317 vsize=335260 CPUtime=1181.79
/proc/5323/stat : 5323 (minisat_static) R 5317 5317 4692 0 -1 4194304 83572 0 0 0 118074 105 0 0 25 0 1 0 306669363 343306240 83558 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/5323/statm: 83815 83558 77 171 0 83642 0
Current children cumulated CPU time (s) 1181.92
Current children cumulated vsize (KiB) 340616
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.4 s]
/proc/loadavg: 0.99 1.00 0.95 2/67 5325
/proc/meminfo: memFree=1434480/2055920 swapFree=4179252/4192956
[pid=5317] ppid=5315 vsize=5356 CPUtime=0.13
/proc/5317/stat : 5317 (SatELiteGTI) S 5315 5317 4692 0 -1 4194304 336 1322 0 0 0 0 13 0 16 0 1 0 306669348 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5317/statm: 1339 239 197 169 0 50 0
[pid=5323] ppid=5317 vsize=340936 CPUtime=1199.88
/proc/5323/stat : 5323 (minisat_static) R 5317 5317 4692 0 -1 4194304 85000 0 0 0 119882 106 0 0 25 0 1 0 306669363 349118464 84986 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/5323/statm: 85234 84986 77 171 0 85061 0
Current children cumulated CPU time (s) 1200.01
Current children cumulated vsize (KiB) 346292
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 5317 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=137979
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=10998
# CPU time returned by wait4() is 0.148977
# while last known CPU time is 1200.01
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1200.41
CPU time (s): 1200.01
CPU user time (s): 1198.95
CPU system time (s): 1.06
CPU usage (%): 99.9664
Max. virtual memory (cumulated for all children) (KiB): 346292
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.137979
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= 1658
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= 12
involuntary context switches= 8
runsolver used 1.10983 second user time and 3.32549 second system time
The end
Begin job on node74 at 2009-05-20 04:26:07
IDJOB=1832699
IDBENCH=70313
IDSOLVER=671
FILE ID=node74/1832699-1242786366
PBS_JOBID= 9322365
Free space on /tmp= 102936 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/RANDOM/LARGE/3SAT/UNKNOWN/8000/unif-k3-r4.2-v8000-c33600-S274764005-003.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832699-1242786366/watcher-1832699-1242786366 -o /tmp/evaluation-result-1832699-1242786366/solver-1832699-1242786366 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832699-1242786366.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 6ee4600065a8b5657c5266726ecbe863
RANDOM SEED=1936278787
node74.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.233
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.233
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1778384 kB
Buffers: 31004 kB
Cached: 197932 kB
SwapCached: 7160 kB
Active: 35376 kB
Inactive: 203096 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1778384 kB
SwapTotal: 4192956 kB
SwapFree: 4179252 kB
Dirty: 2204 kB
Writeback: 0 kB
Mapped: 14816 kB
Slab: 24960 kB
Committed_AS: 1047568 kB
PageTables: 1448 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= 102932 MiB
End job on node74 at 2009-05-20 04:46:09