0.00/0.00 c Parsing...
0.00/0.04 c ==============================================================================
0.00/0.04 c | | ORIGINAL | LEARNT | |
0.00/0.04 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.04 c ==============================================================================
0.00/0.04 c | 0 | 33600 100800 | 10079 0 0 nan | 0.000 % |
0.00/0.11 c | 0 | 33384 101297 | -- 0 -- -- | -- | -216/497
0.00/0.11 c ==============================================================================
0.00/0.11 c Result : #vars: 7808 #clauses: 33384 #literals: 101297
0.00/0.11 c CPU time: 0.104984 s
0.00/0.11 c ==============================================================================
0.00/0.15 c This is MiniSat 2.0 beta
0.00/0.15 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.15 c ============================[ Problem Statistics ]=============================
0.00/0.15 c | |
0.00/0.15 c | Number of variables: 7808 |
0.00/0.15 c | Number of clauses: 33384 |
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 | 7808 33384 101297 | 11128 0 nan | 0.000 % |
0.00/0.20 c | 100 | 7808 33384 101297 | 11128 100 103 | 0.000 % |
0.13/0.22 c | 200 | 7808 33384 101297 | 11128 200 128 | 0.000 % |
0.13/0.24 c | 300 | 7808 33384 101297 | 11128 300 133 | 0.000 % |
0.13/0.27 c | 411 | 7808 33384 101297 | 11128 411 132 | 0.000 % |
0.13/0.29 c | 512 | 7808 33384 101297 | 11128 512 132 | 0.000 % |
0.13/0.32 c | 622 | 7808 33384 101297 | 11128 622 133 | 0.000 % |
0.13/0.34 c | 743 | 7808 33384 101297 | 11128 743 132 | 0.000 % |
0.13/0.37 c | 843 | 7808 33384 101297 | 11128 843 130 | 0.000 % |
0.13/0.39 c | 953 | 7808 33384 101297 | 11128 953 127 | 0.000 % |
0.13/0.42 c | 1076 | 7808 33384 101297 | 11128 1076 127 | 0.000 % |
0.13/0.45 c | 1210 | 7808 33384 101297 | 11128 1210 128 | 0.000 % |
0.13/0.47 c | 1311 | 7808 33384 101297 | 11128 1311 130 | 0.000 % |
0.13/0.50 c | 1422 | 7808 33384 101297 | 11128 1422 131 | 0.000 % |
0.13/0.52 c | 1543 | 7808 33384 101297 | 11128 1543 130 | 0.000 % |
0.13/0.55 c | 1677 | 7808 33384 101297 | 11128 1677 127 | 0.000 % |
0.13/0.59 c | 1826 | 7808 33384 101297 | 11128 1826 127 | 0.000 % |
0.13/0.61 c | 1927 | 7808 33384 101297 | 11128 1927 127 | 0.000 % |
0.13/0.64 c | 2037 | 7808 33384 101297 | 11128 2037 127 | 0.000 % |
0.13/0.67 c | 2161 | 7808 33384 101297 | 11128 2161 126 | 0.000 % |
0.13/0.70 c | 2296 | 7808 33384 101297 | 11128 2296 127 | 0.000 % |
0.13/0.73 c | 2444 | 7808 33384 101297 | 11128 2444 127 | 0.000 % |
0.13/0.77 c | 2604 | 7808 33384 101297 | 11128 2604 127 | 0.000 % |
0.13/0.80 c | 2704 | 7808 33384 101297 | 11128 2704 128 | 0.000 % |
0.13/0.83 c | 2816 | 7808 33384 101297 | 11128 2816 128 | 0.000 % |
0.13/0.86 c | 2938 | 7808 33384 101297 | 11128 2938 128 | 0.000 % |
0.13/0.89 c | 3071 | 7808 33384 101297 | 11128 3071 127 | 0.000 % |
0.13/0.92 c | 3217 | 7808 33384 101297 | 11128 3217 127 | 0.000 % |
0.13/0.97 c | 3377 | 7808 33384 101297 | 11128 3377 127 | 0.000 % |
0.96/1.01 c | 3554 | 7808 33384 101297 | 11128 3554 128 | 0.000 % |
0.96/1.04 c | 3654 | 7808 33384 101297 | 11128 3654 128 | 0.000 % |
0.96/1.07 c | 3764 | 7808 33384 101297 | 11128 3764 128 | 0.000 % |
1.06/1.10 c | 3885 | 7808 33384 101297 | 11128 3885 128 | 0.000 % |
1.06/1.14 c | 4020 | 7808 33384 101297 | 11128 4020 128 | 0.000 % |
1.06/1.17 c | 4167 | 7808 33384 101297 | 11128 4167 127 | 0.000 % |
1.16/1.21 c | 4328 | 7808 33384 101297 | 11128 4328 128 | 0.000 % |
1.16/1.26 c | 4510 | 7808 33384 101297 | 11128 4510 129 | 0.000 % |
1.26/1.32 c | 4706 | 7808 33384 101297 | 11128 4706 131 | 0.000 % |
1.26/1.35 c | 4807 | 7808 33384 101297 | 11128 4807 131 | 0.000 % |
1.26/1.38 c | 4918 | 7808 33384 101297 | 11128 4918 132 | 0.000 % |
1.36/1.41 c | 5040 | 7808 33384 101297 | 11128 5040 132 | 0.000 % |
1.36/1.45 c | 5173 | 7808 33384 101297 | 11128 5173 132 | 0.000 % |
1.36/1.49 c | 5320 | 7808 33384 101297 | 11128 5320 132 | 0.000 % |
1.46/1.53 c | 5483 | 7808 33384 101297 | 11128 5483 133 | 0.000 % |
1.46/1.58 c | 5659 | 7808 33384 101297 | 11128 5659 133 | 0.000 % |
1.56/1.63 c | 5853 | 7808 33384 101297 | 11128 5853 134 | 0.000 % |
1.56/1.69 c | 6066 | 7808 33384 101297 | 11128 6066 134 | 0.000 % |
1.66/1.72 c | 6167 | 7808 33384 101297 | 11128 6167 134 | 0.000 % |
1.66/1.75 c | 6277 | 7808 33384 101297 | 11128 6277 133 | 0.000 % |
1.66/1.78 c | 6398 | 7808 33384 101297 | 11128 6398 133 | 0.000 % |
1.76/1.82 c | 6532 | 7808 33384 101297 | 11128 6532 134 | 0.000 % |
1.76/1.86 c | 6679 | 7808 33384 101297 | 11128 6679 134 | 0.000 % |
1.86/1.90 c | 6840 | 7808 33384 101297 | 11128 6840 134 | 0.000 % |
1.86/1.95 c | 7016 | 7808 33384 101297 | 11128 7016 134 | 0.000 % |
1.96/2.00 c | 7212 | 7808 33384 101297 | 11128 7212 135 | 0.000 % |
1.96/2.06 c | 7425 | 7808 33384 101297 | 11128 7425 136 | 0.000 % |
2.07/2.13 c | 7658 | 7808 33384 101297 | 11128 7658 137 | 0.000 % |
2.07/2.16 c | 7758 | 7808 33384 101297 | 11128 7758 137 | 0.000 % |
2.07/2.19 c | 7871 | 7808 33384 101297 | 11128 7871 136 | 0.000 % |
2.17/2.23 c | 7992 | 7808 33384 101297 | 11128 7992 136 | 0.000 % |
2.17/2.27 c | 8125 | 7808 33384 101297 | 11128 8125 136 | 0.000 % |
2.26/2.32 c | 8271 | 7808 33384 101297 | 11128 8271 136 | 0.000 % |
2.26/2.36 c | 8431 | 7808 33384 101297 | 11128 8431 136 | 0.000 % |
2.36/2.41 c | 8607 | 7808 33384 101297 | 11128 8607 136 | 0.000 % |
2.36/2.47 c | 8800 | 7808 33384 101297 | 11128 8800 137 | 0.000 % |
2.46/2.53 c | 9012 | 7808 33384 101297 | 11128 9012 136 | 0.000 % |
2.56/2.60 c | 9246 | 7808 33384 101297 | 11128 9246 137 | 0.000 % |
2.56/2.68 c | 9502 | 7808 33384 101297 | 11128 9502 138 | 0.000 % |
2.66/2.71 c | 9604 | 7808 33384 101297 | 11128 9604 138 | 0.000 % |
2.66/2.75 c | 9715 | 7808 33384 101297 | 11128 9715 137 | 0.000 % |
2.66/2.78 c | 9837 | 7808 33384 101297 | 11128 9837 137 | 0.000 % |
2.76/2.82 c | 9972 | 7808 33384 101297 | 11128 9972 137 | 0.000 % |
2.76/2.86 c | 10118 | 7808 33384 101297 | 2147483647 10118 137 | 0.000 % |
2.86/2.92 c | 10278 | 7808 33384 101297 | 2147483647 10278 137 | 0.000 % |
2.86/2.97 c | 10454 | 7808 33384 101297 | 2147483647 10454 136 | 0.000 % |
2.96/3.03 c | 10648 | 7808 33384 101297 | 2147483647 10648 136 | 0.000 % |
2.96/3.09 c | 10862 | 7808 33384 101297 | 2147483647 10862 136 | 0.000 % |
3.05/3.16 c | 11095 | 7808 33384 101297 | 2147483647 11095 136 | 0.000 % |
3.16/3.24 c | 11351 | 7808 33384 101297 | 2147483647 11351 136 | 0.000 % |
3.26/3.33 c | 11640 | 7808 33384 101297 | 2147483647 11640 137 | 0.000 % |
3.26/3.36 c | 11740 | 7808 33384 101297 | 2147483647 11740 137 | 0.000 % |
3.35/3.40 c | 11850 | 7808 33384 101297 | 2147483647 11850 137 | 0.000 % |
3.35/3.44 c | 11972 | 7808 33384 101297 | 2147483647 11972 136 | 0.000 % |
3.35/3.49 c | 12105 | 7808 33384 101297 | 2147483647 12105 136 | 0.000 % |
3.45/3.53 c | 12251 | 7808 33384 101297 | 2147483647 12251 136 | 0.000 % |
3.45/3.59 c | 12411 | 7808 33384 101297 | 2147483647 12411 136 | 0.000 % |
3.55/3.64 c | 12587 | 7808 33384 101297 | 2147483647 12587 136 | 0.000 % |
3.66/3.70 c | 12782 | 7808 33384 101297 | 2147483647 12782 136 | 0.000 % |
3.66/3.77 c | 12995 | 7808 33384 101297 | 2147483647 12995 136 | 0.000 % |
3.76/3.84 c | 13231 | 7808 33384 101297 | 2147483647 13231 137 | 0.000 % |
3.86/3.93 c | 13487 | 7808 33384 101297 | 2147483647 13487 137 | 0.000 % |
3.96/4.02 c | 13768 | 7808 33384 101297 | 2147483647 13768 137 | 0.000 % |
4.06/4.12 c | 14080 | 7808 33384 101297 | 2147483647 14080 137 | 0.000 % |
4.06/4.16 c | 14181 | 7808 33384 101297 | 2147483647 14181 137 | 0.000 % |
4.16/4.20 c | 14291 | 7808 33384 101297 | 2147483647 14291 137 | 0.000 % |
4.16/4.25 c | 14414 | 7808 33384 101297 | 2147483647 14414 137 | 0.000 % |
4.16/4.29 c | 14547 | 7808 33384 101297 | 2147483647 14547 137 | 0.000 % |
4.26/4.35 c | 14693 | 7808 33384 101297 | 2147483647 14693 136 | 0.000 % |
4.36/4.40 c | 14854 | 7808 33384 101297 | 2147483647 14854 137 | 0.000 % |
4.36/4.46 c | 15030 | 7808 33384 101297 | 2147483647 15030 137 | 0.000 % |
4.46/4.53 c | 15224 | 7808 33384 101297 | 2147483647 15224 137 | 0.000 % |
4.56/4.61 c | 15437 | 7808 33384 101297 | 2147483647 15437 137 | 0.000 % |
4.66/4.70 c | 15671 | 7808 33384 101297 | 2147483647 15671 137 | 0.000 % |
4.66/4.79 c | 15927 | 7808 33384 101297 | 2147483647 15927 137 | 0.000 % |
4.76/4.88 c | 16209 | 7808 33384 101297 | 2147483647 16209 137 | 0.000 % |
4.96/5.00 c | 16519 | 7808 33384 101297 | 2147483647 16519 138 | 0.000 % |
5.06/5.13 c | 16860 | 7808 33384 101297 | 2147483647 16860 138 | 0.000 % |
5.06/5.16 c | 16960 | 7808 33384 101297 | 2147483647 16960 138 | 0.000 % |
5.16/5.20 c | 17070 | 7808 33384 101297 | 2147483647 17070 137 | 0.000 % |
5.16/5.25 c | 17192 | 7808 33384 101297 | 2147483647 17192 137 | 0.000 % |
5.26/5.30 c | 17326 | 7808 33384 101297 | 2147483647 17326 138 | 0.000 % |
5.26/5.36 c | 17477 | 7808 33384 101297 | 2147483647 17477 138 | 0.000 % |
5.36/5.43 c | 17637 | 7808 33384 101297 | 2147483647 17637 138 | 0.000 % |
5.36/5.49 c | 17813 | 7808 33384 101297 | 2147483647 17813 138 | 0.000 % |
5.46/5.56 c | 18007 | 7808 33384 101297 | 2147483647 18007 138 | 0.000 % |
5.56/5.64 c | 18219 | 7808 33384 101297 | 2147483647 18219 137 | 0.000 % |
5.66/5.72 c | 18452 | 7808 33384 101297 | 2147483647 18452 137 | 0.000 % |
5.76/5.83 c | 18708 | 7808 33384 101297 | 2147483647 18708 137 | 0.000 % |
5.86/5.93 c | 18991 | 7808 33384 101297 | 2147483647 18991 137 | 0.000 % |
5.96/6.04 c | 19300 | 7808 33384 101297 | 2147483647 19300 138 | 0.000 % |
6.06/6.17 c | 19641 | 7808 33384 101297 | 2147483647 19641 138 | 0.000 % |
6.26/6.31 c | 20013 | 7808 33384 101297 | 2147483647 20013 139 | 0.000 % |
6.26/6.35 c | 20114 | 7808 33384 101297 | 2147483647 20114 139 | 0.000 % |
6.26/6.39 c | 20224 | 7808 33384 101297 | 2147483647 20224 138 | 0.000 % |
6.36/6.44 c | 20345 | 7808 33384 101297 | 2147483647 20345 138 | 0.000 % |
6.36/6.49 c | 20479 | 7808 33384 101297 | 2147483647 20479 138 | 0.000 % |
6.46/6.55 c | 20625 | 7808 33384 101297 | 2147483647 20625 138 | 0.000 % |
6.56/6.61 c | 20785 | 7808 33384 101297 | 2147483647 20785 138 | 0.000 % |
6.56/6.68 c | 20961 | 7808 33384 101297 | 2147483647 20961 138 | 0.000 % |
6.66/6.76 c | 21156 | 7808 33384 101297 | 2147483647 21156 138 | 0.000 % |
6.75/6.84 c | 21368 | 7808 33384 101297 | 2147483647 21368 138 | 0.000 % |
6.85/6.93 c | 21601 | 7808 33384 101297 | 2147483647 21601 138 | 0.000 % |
6.95/7.03 c | 21857 | 7808 33384 101297 | 2147483647 21857 138 | 0.000 % |
7.05/7.14 c | 22138 | 7808 33384 101297 | 2147483647 22138 139 | 0.000 % |
7.16/7.25 c | 22450 | 7808 33384 101297 | 2147483647 22450 139 | 0.000 % |
7.26/7.39 c | 22790 | 7808 33384 101297 | 2147483647 22790 140 | 0.000 % |
7.46/7.54 c | 23163 | 7808 33384 101297 | 2147483647 23163 140 | 0.000 % |
7.66/7.70 c | 23572 | 7808 33384 101297 | 2147483647 23572 140 | 0.000 % |
7.66/7.74 c | 23672 | 7808 33384 101297 | 2147483647 23672 140 | 0.000 % |
7.66/7.79 c | 23783 | 7808 33384 101297 | 2147483647 23783 140 | 0.000 % |
7.76/7.85 c | 23907 | 7808 33384 101297 | 2147483647 23907 140 | 0.000 % |
7.86/7.91 c | 24040 | 7808 33384 101297 | 2147483647 24040 140 | 0.000 % |
7.86/7.97 c | 24189 | 7808 33384 101297 | 2147483647 24189 140 | 0.000 % |
7.96/8.04 c | 24349 | 7808 33384 101297 | 2147483647 24349 140 | 0.000 % |
8.06/8.11 c | 24528 | 7808 33384 101297 | 2147483647 24528 140 | 0.000 % |
8.06/8.19 c | 24721 | 7808 33384 101297 | 2147483647 24721 140 | 0.000 % |
8.16/8.28 c | 24933 | 7808 33384 101297 | 2147483647 24933 140 | 0.000 % |
8.26/8.38 c | 25170 | 7808 33384 101297 | 2147483647 25170 140 | 0.000 % |
8.36/8.49 c | 25427 | 7808 33384 101297 | 2147483647 25427 141 | 0.000 % |
8.56/8.60 c | 25708 | 7808 33384 101297 | 2147483647 25708 141 | 0.000 % |
8.66/8.72 c | 26017 | 7808 33384 101297 | 2147483647 26017 141 | 0.000 % |
8.76/8.85 c | 26356 | 7808 33384 101297 | 2147483647 26356 141 | 0.000 % |
8.96/9.00 c | 26728 | 7808 33384 101297 | 2147483647 26728 142 | 0.000 % |
9.05/9.18 c | 27138 | 7808 33384 101297 | 2147483647 27138 142 | 0.000 % |
9.25/9.37 c | 27589 | 7808 33384 101297 | 2147483647 27589 142 | 0.000 % |
9.35/9.41 c | 27690 | 7808 33384 101297 | 2147483647 27690 142 | 0.000 % |
9.35/9.46 c | 27800 | 7808 33384 101297 | 2147483647 27800 142 | 0.000 % |
9.45/9.52 c | 27922 | 7808 33384 101297 | 2147483647 27922 142 | 0.000 % |
9.45/9.58 c | 28055 | 7808 33384 101297 | 2147483647 28055 142 | 0.000 % |
9.56/9.65 c | 28201 | 7808 33384 101297 | 2147483647 28201 142 | 0.000 % |
9.66/9.73 c | 28361 | 7808 33384 101297 | 2147483647 28361 142 | 0.000 % |
9.77/9.81 c | 28537 | 7808 33384 101297 | 2147483647 28537 142 | 0.000 % |
9.86/9.90 c | 28730 | 7808 33384 101297 | 2147483647 28730 142 | 0.000 % |
9.86/9.99 c | 28943 | 7808 33384 101297 | 2147483647 28943 142 | 0.000 % |
10.06/10.10 c | 29179 | 7808 33384 101297 | 2147483647 29179 142 | 0.000 % |
10.16/10.20 c | 29435 | 7808 33384 101297 | 2147483647 29435 142 | 0.000 % |
10.26/10.32 c | 29716 | 7808 33384 101297 | 2147483647 29716 142 | 0.000 % |
10.36/10.45 c | 30025 | 7808 33384 101297 | 2147483647 30025 143 | 0.000 % |
10.56/10.60 c | 30365 | 7808 33384 101297 | 2147483647 30365 143 | 0.000 % |
10.65/10.75 c | 30737 | 7808 33384 101297 | 2147483647 30737 143 | 0.000 % |
10.86/10.93 c | 31146 | 7808 33384 101297 | 2147483647 31146 143 | 0.000 % |
11.05/11.13 c | 31595 | 7808 33384 101297 | 2147483647 31595 143 | 0.000 % |
11.25/11.36 c | 32088 | 7808 33384 101297 | 2147483647 32088 143 | 0.000 % |
11.35/11.41 c | 32189 | 7808 33384 101297 | 2147483647 32189 143 | 0.000 % |
11.35/11.46 c | 32300 | 7808 33384 101297 | 2147483647 32300 143 | 0.000 % |
11.45/11.52 c | 32421 | 7808 33384 101297 | 2147483647 32421 143 | 0.000 % |
11.45/11.58 c | 32554 | 7808 33384 101297 | 2147483647 32554 143 | 0.000 % |
11.56/11.64 c | 32700 | 7808 33384 101297 | 2147483647 32700 143 | 0.000 % |
11.66/11.72 c | 32863 | 7808 33384 101297 | 2147483647 32863 143 | 0.000 % |
11.76/11.80 c | 33039 | 7808 33384 101297 | 2147483647 33039 143 | 0.000 % |
11.86/11.90 c | 33233 | 7808 33384 101297 | 2147483647 33233 143 | 0.000 % |
11.86/11.99 c | 33447 | 7808 33384 101297 | 2147483647 33447 143 | 0.000 % |
12.06/12.11 c | 33683 | 7808 33384 101297 | 2147483647 33683 143 | 0.000 % |
12.16/12.23 c | 33942 | 7808 33384 101297 | 2147483647 33942 143 | 0.000 % |
12.26/12.35 c | 34224 | 7808 33384 101297 | 2147483647 34224 143 | 0.000 % |
12.46/12.50 c | 34534 | 7808 33384 101297 | 2147483647 34534 143 | 0.000 % |
12.56/12.67 c | 34873 | 7808 33384 101297 | 2147483647 34873 143 | 0.000 % |
12.76/12.85 c | 35247 | 7808 33384 101297 | 2147483647 35247 143 | 0.000 % |
12.96/13.06 c | 35661 | 7808 33384 101297 | 2147483647 35661 144 | 0.000 % |
13.16/13.27 c | 36110 | 7808 33384 101297 | 2147483647 36110 144 | 0.000 % |
13.36/13.50 c | 36604 | 7808 33384 101297 | 2147483647 36604 144 | 0.000 % |
13.66/13.74 c | 37146 | 7808 33384 101297 | 2147483647 37146 144 | 0.000 % |
13.66/13.79 c | 37247 | 7808 33384 101297 | 2147483647 37247 144 | 0.000 % |
13.76/13.86 c | 37357 | 7808 33384 101297 | 2147483647 37357 144 | 0.000 % |
13.86/13.91 c | 37478 | 7808 33384 101297 | 2147483647 37478 144 | 0.000 % |
13.86/13.98 c | 37615 | 7808 33384 101297 | 2147483647 37615 144 | 0.000 % |
13.96/14.06 c | 37761 | 7808 33384 101297 | 2147483647 37761 144 | 0.000 % |
14.06/14.14 c | 37922 | 7808 33384 101297 | 2147483647 37922 144 | 0.000 % |
14.16/14.23 c | 38099 | 7808 33384 101297 | 2147483647 38099 144 | 0.000 % |
14.26/14.33 c | 38292 | 7808 33384 101297 | 2147483647 38292 144 | 0.000 % |
14.35/14.42 c | 38504 | 7808 33384 101297 | 2147483647 38504 144 | 0.000 % |
14.45/14.54 c | 38737 | 7808 33384 101297 | 2147483647 38737 144 | 0.000 % |
14.55/14.67 c | 38993 | 7808 33384 101297 | 2147483647 38993 144 | 0.000 % |
14.65/14.79 c | 39275 | 7808 33384 101297 | 2147483647 39275 144 | 0.000 % |
14.85/14.94 c | 39585 | 7808 33384 101297 | 2147483647 39585 144 | 0.000 % |
15.05/15.11 c | 39924 | 7808 33384 101297 | 2147483647 39924 144 | 0.000 % |
15.15/15.29 c | 40297 | 7808 33384 101297 | 2147483647 40297 145 | 0.000 % |
15.35/15.48 c | 40706 | 7808 33384 101297 | 2147483647 40706 145 | 0.000 % |
15.66/15.70 c | 41155 | 7808 33384 101297 | 2147483647 41155 145 | 0.000 % |
15.86/15.95 c | 41648 | 7808 33384 101297 | 2147483647 41648 145 | 0.000 % |
16.16/16.22 c | 42191 | 7808 33384 101297 | 2147483647 42191 145 | 0.000 % |
16.46/16.51 c | 42787 | 7808 33384 101297 | 2147483647 42787 145 | 0.000 % |
16.46/16.58 c | 42889 | 7808 33384 101297 | 2147483647 42889 145 | 0.000 % |
16.56/16.65 c | 42999 | 7808 33384 101297 | 2147483647 42999 145 | 0.000 % |
16.66/16.72 c | 43120 | 7808 33384 101297 | 2147483647 43120 145 | 0.000 % |
16.66/16.79 c | 43254 | 7808 33384 101297 | 2147483647 43254 145 | 0.000 % |
16.76/16.87 c | 43400 | 7808 33384 101297 | 2147483647 43400 145 | 0.000 % |
16.86/16.95 c | 43561 | 7808 33384 101297 | 2147483647 43561 145 | 0.000 % |
16.96/17.06 c | 43738 | 7808 33384 101297 | 2147483647 43738 145 | 0.000 % |
17.06/17.17 c | 43931 | 7808 33384 101297 | 2147483647 43931 145 | 0.000 % |
17.16/17.29 c | 44144 | 7808 33384 101297 | 2147483647 44144 145 | 0.000 % |
17.36/17.41 c | 44377 | 7808 33384 101297 | 2147483647 44377 144 | 0.000 % |
17.46/17.55 c | 44633 | 7808 33384 101297 | 2147483647 44633 145 | 0.000 % |
17.56/17.69 c | 44915 | 7808 33384 101297 | 2147483647 44915 145 | 0.000 % |
17.75/17.85 c | 45226 | 7808 33384 101297 | 2147483647 45226 145 | 0.000 % |
17.95/18.03 c | 45565 | 7808 33384 101297 | 2147483647 45565 145 | 0.000 % |
18.15/18.24 c | 45937 | 7808 33384 101297 | 2147483647 45937 145 | 0.000 % |
18.35/18.46 c | 46351 | 7808 33384 101297 | 2147483647 46351 145 | 0.000 % |
18.65/18.71 c | 46801 | 7808 33384 101297 | 2147483647 46801 145 | 0.000 % |
18.85/18.97 c | 47295 | 7808 33384 101297 | 2147483647 47295 145 | 0.000 % |
19.15/19.24 c | 47837 | 7808 33384 101297 | 2147483647 47837 146 | 0.000 % |
19.46/19.55 c | 48433 | 7808 33384 101297 | 2147483647 48433 146 | 0.000 % |
19.76/19.89 c | 49090 | 7808 33384 101297 | 2147483647 49090 146 | 0.000 % |
19.86/19.95 c | 49190 | 7808 33384 101297 | 2147483647 49190 146 | 0.000 % |
19.95/20.02 c | 49300 | 7808 33384 101297 | 2147483647 49300 146 | 0.000 % |
19.95/20.09 c | 49422 | 7808 33384 101297 | 2147483647 49422 146 | 0.000 % |
20.05/20.17 c | 49555 | 7808 33384 101297 | 2147483647 49555 146 | 0.000 % |
20.15/20.27 c | 49701 | 7808 33384 101297 | 2147483647 49701 146 | 0.000 % |
20.25/20.36 c | 49862 | 7808 33384 101297 | 2147483647 49862 146 | 0.000 % |
20.35/20.45 c | 50039 | 7808 33384 101297 | 2147483647 50039 146 | 0.000 % |
20.45/20.57 c | 50232 | 7808 33384 101297 | 2147483647 50232 146 | 0.000 % |
20.65/20.70 c | 50444 | 7808 33384 101297 | 2147483647 50444 146 | 0.000 % |
20.75/20.83 c | 50679 | 7808 33384 101297 | 2147483647 50679 146 | 0.000 % |
20.85/20.97 c | 50935 | 7808 33384 101297 | 2147483647 50935 146 | 0.000 % |
21.06/21.14 c | 51217 | 7808 33384 101297 | 2147483647 51217 146 | 0.000 % |
21.26/21.31 c | 51526 | 7808 33384 101297 | 2147483647 51526 146 | 0.000 % |
21.46/21.51 c | 51865 | 7808 33384 101297 | 2147483647 51865 146 | 0.000 % |
21.66/21.72 c | 52237 | 7808 33384 101297 | 2147483647 52237 146 | 0.000 % |
21.86/21.96 c | 52646 | 7808 33384 101297 | 2147483647 52646 146 | 0.000 % |
22.16/22.22 c | 53095 | 7808 33384 101297 | 2147483647 53095 146 | 0.000 % |
22.35/22.50 c | 53590 | 7808 33384 101297 | 2147483647 53590 146 | 0.000 % |
22.75/22.82 c | 54132 | 7808 33384 101297 | 2147483647 54132 146 | 0.000 % |
23.06/23.16 c | 54731 | 7808 33384 101297 | 2147483647 54731 146 | 0.000 % |
23.46/23.54 c | 55386 | 7808 33384 101297 | 2147483647 55386 146 | 0.000 % |
23.86/23.94 c | 56106 | 7808 33384 101297 | 2147483647 56106 146 | 0.000 % |
23.95/24.01 c | 56208 | 7808 33384 101297 | 2147483647 56208 146 | 0.000 % |
23.95/24.08 c | 56318 | 7808 33384 101297 | 2147483647 56318 146 | 0.000 % |
24.06/24.16 c | 56440 | 7808 33384 101297 | 2147483647 56440 146 | 0.000 % |
24.16/24.25 c | 56574 | 7808 33384 101297 | 2147483647 56574 146 | 0.000 % |
24.25/24.34 c | 56722 | 7808 33384 101297 | 2147483647 56722 146 | 0.000 % |
24.35/24.45 c | 56882 | 7808 33384 101297 | 2147483647 56882 146 | 0.000 % |
24.45/24.57 c | 57059 | 7808 33384 101297 | 2147483647 57059 146 | 0.000 % |
24.65/24.70 c | 57252 | 7808 33384 101297 | 2147483647 57252 146 | 0.000 % |
24.75/24.84 c | 57465 | 7808 33384 101297 | 2147483647 57465 146 | 0.000 % |
24.85/24.97 c | 57700 | 7808 33384 101297 | 2147483647 57700 146 | 0.000 % |
25.06/25.13 c | 57957 | 7808 33384 101297 | 2147483647 57957 146 | 0.000 % |
25.16/25.29 c | 58239 | 7808 33384 101297 | 2147483647 58239 146 | 0.000 % |
25.46/25.50 c | 58548 | 7808 33384 101297 | 2147483647 58548 146 | 0.000 % |
25.66/25.72 c | 58888 | 7808 33384 101297 | 2147483647 58888 146 | 0.000 % |
25.86/25.96 c | 59262 | 7808 33384 101297 | 2147483647 59262 146 | 0.000 % |
26.16/26.23 c | 59672 | 7808 33384 101297 | 2147483647 59672 147 | 0.000 % |
26.46/26.50 c | 60121 | 7808 33384 101297 | 2147483647 60121 147 | 0.000 % |
26.75/26.80 c | 60616 | 7808 33384 101297 | 2147483647 60616 146 | 0.000 % |
27.05/27.12 c | 61158 | 7808 33384 101297 | 2147483647 61158 147 | 0.000 % |
27.36/27.48 c | 61755 | 7808 33384 101297 | 2147483647 61755 147 | 0.000 % |
27.75/27.86 c | 62410 | 7808 33384 101297 | 2147483647 62410 147 | 0.000 % |
28.25/28.31 c | 63131 | 7808 33384 101297 | 2147483647 63131 147 | 0.000 % |
28.75/28.80 c | 63923 | 7808 33384 101297 | 2147483647 63923 148 | 0.000 % |
28.75/28.87 c | 64023 | 7808 33384 101297 | 2147483647 64023 148 | 0.000 % |
28.85/28.96 c | 64135 | 7808 33384 101297 | 2147483647 64135 148 | 0.000 % |
28.95/29.06 c | 64256 | 7808 33384 101297 | 2147483647 64256 148 | 0.000 % |
29.05/29.16 c | 64390 | 7808 33384 101297 | 2147483647 64390 148 | 0.000 % |
29.15/29.27 c | 64536 | 7808 33384 101297 | 2147483647 64536 148 | 0.000 % |
29.25/29.39 c | 64698 | 7808 33384 101297 | 2147483647 64698 148 | 0.000 % |
29.45/29.51 c | 64877 | 7808 33384 101297 | 2147483647 64877 148 | 0.000 % |
29.55/29.64 c | 65070 | 7808 33384 101297 | 2147483647 65070 148 | 0.000 % |
29.65/29.80 c | 65282 | 7808 33384 101297 | 2147483647 65282 148 | 0.000 % |
29.85/29.93 c | 65515 | 7808 33384 101297 | 2147483647 65515 148 | 0.000 % |
30.05/30.12 c | 65771 | 7808 33384 101297 | 2147483647 65771 148 | 0.000 % |
30.25/30.31 c | 66053 | 7808 33384 101297 | 2147483647 66053 148 | 0.000 % |
30.45/30.51 c | 66363 | 7808 33384 101297 | 2147483647 66363 148 | 0.000 % |
30.66/30.72 c | 66702 | 7808 33384 101297 | 2147483647 66702 148 | 0.000 % |
30.85/30.97 c | 67076 | 7808 33384 101297 | 2147483647 67076 148 | 0.000 % |
31.15/31.25 c | 67486 | 7808 33384 101297 | 2147483647 67486 148 | 0.000 % |
31.45/31.56 c | 67936 | 7808 33384 101297 | 2147483647 67936 148 | 0.000 % |
31.76/31.87 c | 68429 | 7808 33384 101297 | 2147483647 68429 148 | 0.000 % |
32.15/32.24 c | 68972 | 7808 33384 101297 | 2147483647 68972 148 | 0.000 % |
32.55/32.66 c | 69568 | 7808 33384 101297 | 2147483647 69568 149 | 0.000 % |
32.95/33.09 c | 70224 | 7808 33384 101297 | 2147483647 70224 149 | 0.000 % |
33.45/33.57 c | 70946 | 7808 33384 101297 | 2147483647 70946 149 | 0.000 % |
34.05/34.10 c | 71738 | 7808 33384 101297 | 2147483647 71738 149 | 0.000 % |
34.55/34.70 c | 72611 | 7808 33384 101297 | 2147483647 72611 150 | 0.000 % |
34.65/34.78 c | 72712 | 7808 33384 101297 | 2147483647 72712 150 | 0.000 % |
34.75/34.86 c | 72825 | 7808 33384 101297 | 2147483647 72825 150 | 0.000 % |
34.85/34.95 c | 72946 | 7808 33384 101297 | 2147483647 72946 150 | 0.000 % |
34.95/35.05 c | 73079 | 7808 33384 101297 | 2147483647 73079 149 | 0.000 % |
35.05/35.16 c | 73226 | 7808 33384 101297 | 2147483647 73226 149 | 0.000 % |
35.16/35.28 c | 73387 | 7808 33384 101297 | 2147483647 73387 149 | 0.000 % |
35.35/35.41 c | 73565 | 7808 33384 101297 | 2147483647 73565 149 | 0.000 % |
35.45/35.54 c | 73760 | 7808 33384 101297 | 2147483647 73760 149 | 0.000 % |
35.55/35.69 c | 73972 | 7808 33384 101297 | 2147483647 73972 149 | 0.000 % |
35.75/35.86 c | 74207 | 7808 33384 101297 | 2147483647 74207 149 | 0.000 % |
35.95/36.04 c | 74463 | 7808 33384 101297 | 2147483647 74463 149 | 0.000 % |
36.15/36.23 c | 74744 | 7808 33384 101297 | 2147483647 74744 149 | 0.000 % |
36.35/36.45 c | 75053 | 7808 33384 101297 | 2147483647 75053 149 | 0.000 % |
36.65/36.70 c | 75394 | 7808 33384 101297 | 2147483647 75394 149 | 0.000 % |
36.85/36.99 c | 75767 | 7808 33384 101297 | 2147483647 75767 149 | 0.000 % |
37.15/37.28 c | 76176 | 7808 33384 101297 | 2147483647 76176 149 | 0.000 % |
37.55/37.60 c | 76627 | 7808 33384 101297 | 2147483647 76627 149 | 0.000 % |
37.85/37.94 c | 77120 | 7808 33384 101297 | 2147483647 77120 149 | 0.000 % |
38.25/38.32 c | 77662 | 7808 33384 101297 | 2147483647 77662 149 | 0.000 % |
38.64/38.74 c | 78259 | 7808 33384 101297 | 2147483647 78259 150 | 0.000 % |
39.15/39.21 c | 78914 | 7808 33384 101297 | 2147483647 78914 150 | 0.000 % |
39.65/39.76 c | 79636 | 7808 33384 101297 | 2147483647 79636 150 | 0.000 % |
40.25/40.34 c | 80428 | 7808 33384 101297 | 2147483647 80428 150 | 0.000 % |
40.85/40.97 c | 81299 | 7808 33384 101297 | 2147483647 81299 150 | 0.000 % |
41.55/41.69 c | 82257 | 7808 33384 101297 | 2147483647 82257 151 | 0.000 % |
41.65/41.77 c | 82357 | 7808 33384 101297 | 2147483647 82357 151 | 0.000 % |
41.75/41.86 c | 82470 | 7808 33384 101297 | 2147483647 82470 151 | 0.000 % |
41.85/41.97 c | 82591 | 7808 33384 101297 | 2147483647 82591 151 | 0.000 % |
42.05/42.10 c | 82725 | 7808 33384 101297 | 2147483647 82725 151 | 0.000 % |
42.15/42.22 c | 82872 | 7808 33384 101297 | 2147483647 82872 151 | 0.000 % |
42.25/42.34 c | 83033 | 7808 33384 101297 | 2147483647 83033 151 | 0.000 % |
42.34/42.48 c | 83210 | 7808 33384 101297 | 2147483647 83210 150 | 0.000 % |
42.55/42.64 c | 83403 | 7808 33384 101297 | 2147483647 83403 151 | 0.000 % |
42.75/42.83 c | 83616 | 7808 33384 101297 | 2147483647 83616 151 | 0.000 % |
42.94/43.00 c | 83850 | 7808 33384 101297 | 2147483647 83850 151 | 0.000 % |
43.14/43.20 c | 84107 | 7808 33384 101297 | 2147483647 84107 150 | 0.000 % |
43.34/43.44 c | 84391 | 7808 33384 101297 | 2147483647 84391 151 | 0.000 % |
43.54/43.68 c | 84700 | 7808 33384 101297 | 2147483647 84700 150 | 0.000 % |
43.85/43.95 c | 85039 | 7808 33384 101297 | 2147483647 85039 150 | 0.000 % |
44.15/44.27 c | 85411 | 7808 33384 101297 | 2147483647 85411 150 | 0.000 % |
44.55/44.60 c | 85820 | 7808 33384 101297 | 2147483647 85820 150 | 0.000 % |
44.85/44.95 c | 86271 | 7808 33384 101297 | 2147483647 86271 150 | 0.000 % |
45.25/45.34 c | 86767 | 7808 33384 101297 | 2147483647 86767 150 | 0.000 % |
45.65/45.75 c | 87310 | 7808 33384 101297 | 2147483647 87310 151 | 0.000 % |
46.05/46.20 c | 87906 | 7808 33384 101297 | 2147483647 87906 151 | 0.000 % |
46.64/46.72 c | 88562 | 7808 33384 101297 | 2147483647 88562 151 | 0.000 % |
47.15/47.29 c | 89283 | 7808 33384 101297 | 2147483647 89283 151 | 0.000 % |
47.84/47.90 c | 90077 | 7808 33384 101297 | 2147483647 90077 151 | 0.000 % |
48.44/48.59 c | 90948 | 7808 33384 101297 | 2147483647 90948 152 | 0.000 % |
49.14/49.29 c | 91906 | 7808 33384 101297 | 2147483647 91906 152 | 0.000 % |
49.94/50.09 c | 92959 | 7808 33384 101297 | 2147483647 92959 152 | 0.000 % |
50.05/50.18 c | 93059 | 7808 33384 101297 | 2147483647 93059 152 | 0.000 % |
50.15/50.29 c | 93169 | 7808 33384 101297 | 2147483647 93169 152 | 0.000 % |
50.25/50.39 c | 93291 | 7808 33384 101297 | 2147483647 93291 152 | 0.000 % |
50.45/50.51 c | 93425 | 7808 33384 101297 | 2147483647 93425 152 | 0.000 % |
50.55/50.65 c | 93571 | 7808 33384 101297 | 2147483647 93571 152 | 0.000 % |
50.74/50.82 c | 93733 | 7808 33384 101297 | 2147483647 93733 152 | 0.000 % |
50.84/50.99 c | 93909 | 7808 33384 101297 | 2147483647 93909 152 | 0.000 % |
51.04/51.17 c | 94103 | 7808 33384 101297 | 2147483647 94103 152 | 0.000 % |
51.24/51.36 c | 94317 | 7808 33384 101297 | 2147483647 94317 152 | 0.000 % |
51.44/51.58 c | 94550 | 7808 33384 101297 | 2147483647 94550 152 | 0.000 % |
51.74/51.84 c | 94806 | 7808 33384 101297 | 2147483647 94806 152 | 0.000 % |
51.94/52.09 c | 95088 | 7808 33384 101297 | 2147483647 95088 152 | 0.000 % |
52.24/52.37 c | 95400 | 7808 33384 101297 | 2147483647 95400 152 | 0.000 % |
52.54/52.64 c | 95739 | 7808 33384 101297 | 2147483647 95739 152 | 0.000 % |
52.85/52.93 c | 96111 | 7808 33384 101297 | 2147483647 96111 152 | 0.000 % |
53.15/53.25 c | 96520 | 7808 33384 101297 | 2147483647 96520 152 | 0.000 % |
53.55/53.65 c | 96970 | 7808 33384 101297 | 2147483647 96970 152 | 0.000 % |
53.95/54.04 c | 97463 | 7808 33384 101297 | 2147483647 97463 152 | 0.000 % |
54.35/54.49 c | 98007 | 7808 33384 101297 | 2147483647 98007 153 | 0.000 % |
54.85/54.99 c | 98603 | 7808 33384 101297 | 2147483647 98603 153 | 0.000 % |
55.44/55.52 c | 99260 | 7808 33384 101297 | 2147483647 99260 153 | 0.000 % |
56.04/56.12 c | 99981 | 7808 33384 101297 | 2147483647 99981 153 | 0.000 % |
56.65/56.77 c | 100775 | 7808 33384 101297 | 2147483647 100775 153 | 0.000 % |
57.45/57.52 c | 101647 | 7808 33384 101297 | 2147483647 101647 153 | 0.000 % |
58.15/58.27 c | 102606 | 7808 33384 101297 | 2147483647 102606 153 | 0.000 % |
59.04/59.17 c | 103661 | 7808 33384 101297 | 2147483647 103661 154 | 0.000 % |
59.94/60.06 c | 104819 | 7808 33384 101297 | 2147483647 104819 154 | 0.000 % |
60.04/60.15 c | 104919 | 7808 33384 101297 | 2147483647 104919 154 | 0.000 % |
60.14/60.26 c | 105030 | 7808 33384 101297 | 2147483647 105030 154 | 0.000 % |
60.35/60.40 c | 105151 | 7808 33384 101297 | 2147483647 105151 154 | 0.000 % |
60.45/60.54 c | 105284 | 7808 33384 101297 | 2147483647 105284 154 | 0.000 % |
60.54/60.69 c | 105432 | 7808 33384 101297 | 2147483647 105432 154 | 0.000 % |
60.74/60.83 c | 105592 | 7808 33384 101297 | 2147483647 105592 154 | 0.000 % |
60.94/61.02 c | 105769 | 7808 33384 101297 | 2147483647 105769 154 | 0.000 % |
61.14/61.20 c | 105963 | 7808 33384 101297 | 2147483647 105963 154 | 0.000 % |
61.34/61.41 c | 106177 | 7808 33384 101297 | 2147483647 106177 154 | 0.000 % |
61.54/61.60 c | 106411 | 7808 33384 101297 | 2147483647 106411 154 | 0.000 % |
61.74/61.82 c | 106667 | 7808 33384 101297 | 2147483647 106667 154 | 0.000 % |
61.94/62.08 c | 106948 | 7808 33384 101297 | 2147483647 106948 154 | 0.000 % |
62.25/62.36 c | 107260 | 7808 33384 101297 | 2147483647 107260 154 | 0.000 % |
62.55/62.66 c | 107599 | 7808 33384 101297 | 2147483647 107599 154 | 0.000 % |
62.94/63.01 c | 107972 | 7808 33384 101297 | 2147483647 107972 154 | 0.000 % |
63.34/63.40 c | 108381 | 7808 33384 101297 | 2147483647 108381 154 | 0.000 % |
63.64/63.78 c | 108830 | 7808 33384 101297 | 2147483647 108830 154 | 0.000 % |
64.15/64.21 c | 109323 | 7808 33384 101297 | 2147483647 109323 154 | 0.000 % |
64.65/64.70 c | 109865 | 7808 33384 101297 | 2147483647 109865 154 | 0.000 % |
65.14/65.23 c | 110461 | 7808 33384 101297 | 2147483647 110461 154 | 0.000 % |
65.64/65.79 c | 111116 | 7808 33384 101297 | 2147483647 111116 154 | 0.000 % |
66.34/66.42 c | 111837 | 7808 33384 101297 | 2147483647 111837 154 | 0.000 % |
67.05/67.11 c | 112633 | 7808 33384 101297 | 2147483647 112633 154 | 0.000 % |
67.74/67.89 c | 113505 | 7808 33384 101297 | 2147483647 113505 154 | 0.000 % |
68.74/68.81 c | 114463 | 7808 33384 101297 | 2147483647 114463 154 | 0.000 % |
69.74/69.80 c | 115517 | 7808 33384 101297 | 2147483647 115517 155 | 0.000 % |
70.74/70.88 c | 116675 | 7808 33384 101297 | 2147483647 116675 155 | 0.000 % |
71.94/72.03 c | 117948 | 7808 33384 101297 | 2147483647 117948 155 | 0.000 % |
72.04/72.14 c | 118048 | 7808 33384 101297 | 2147483647 118048 155 | 0.000 % |
72.14/72.28 c | 118160 | 7808 33384 101297 | 2147483647 118160 155 | 0.000 % |
72.34/72.40 c | 118282 | 7808 33384 101297 | 2147483647 118282 155 | 0.000 % |
72.44/72.55 c | 118415 | 7808 33384 101297 | 2147483647 118415 155 | 0.000 % |
72.54/72.69 c | 118562 | 7808 33384 101297 | 2147483647 118562 155 | 0.000 % |
72.74/72.86 c | 118722 | 7808 33384 101297 | 2147483647 118722 155 | 0.000 % |
72.94/73.06 c | 118899 | 7808 33384 101297 | 2147483647 118899 155 | 0.000 % |
73.14/73.26 c | 119092 | 7808 33384 101297 | 2147483647 119092 155 | 0.000 % |
73.44/73.50 c | 119304 | 7808 33384 101297 | 2147483647 119304 155 | 0.000 % |
73.64/73.72 c | 119538 | 7808 33384 101297 | 2147483647 119538 155 | 0.000 % |
73.84/73.98 c | 119796 | 7808 33384 101297 | 2147483647 119796 155 | 0.000 % |
74.14/74.26 c | 120077 | 7808 33384 101297 | 2147483647 120077 155 | 0.000 % |
74.54/74.61 c | 120388 | 7808 33384 101297 | 2147483647 120388 155 | 0.000 % |
74.84/74.97 c | 120727 | 7808 33384 101297 | 2147483647 120727 155 | 0.000 % |
75.23/75.35 c | 121101 | 7808 33384 101297 | 2147483647 121101 155 | 0.000 % |
75.63/75.73 c | 121511 | 7808 33384 101297 | 2147483647 121511 155 | 0.000 % |
76.03/76.15 c | 121963 | 7808 33384 101297 | 2147483647 121963 155 | 0.000 % |
76.54/76.63 c | 122457 | 7808 33384 101297 | 2147483647 122457 155 | 0.000 % |
77.04/77.17 c | 122999 | 7808 33384 101297 | 2147483647 122999 155 | 0.000 % |
77.64/77.74 c | 123598 | 7808 33384 101297 | 2147483647 123598 155 | 0.000 % |
78.34/78.41 c | 124255 | 7808 33384 101297 | 2147483647 124255 155 | 0.000 % |
79.04/79.13 c | 124976 | 7808 33384 101297 | 2147483647 124976 155 | 0.000 % |
79.73/79.87 c | 125768 | 7808 33384 101297 | 2147483647 125768 156 | 0.000 % |
80.53/80.69 c | 126639 | 7808 33384 101297 | 2147483647 126639 156 | 0.000 % |
81.54/81.63 c | 127597 | 7808 33384 101297 | 2147483647 127597 156 | 0.000 % |
82.54/82.68 c | 128650 | 7808 33384 101297 | 2147483647 128650 157 | 0.000 % |
83.73/83.84 c | 129808 | 7808 33384 101297 | 2147483647 129808 157 | 0.000 % |
85.04/85.12 c | 131082 | 7808 33384 101297 | 2147483647 131082 157 | 0.000 % |
86.44/86.54 c | 132484 | 7808 33384 101297 | 2147483647 132484 157 | 0.000 % |
86.54/86.67 c | 132586 | 7808 33384 101297 | 2147483647 132586 157 | 0.000 % |
86.74/86.81 c | 132697 | 7808 33384 101297 | 2147483647 132697 157 | 0.000 % |
86.84/86.94 c | 132819 | 7808 33384 101297 | 2147483647 132819 157 | 0.000 % |
87.04/87.11 c | 132953 | 7808 33384 101297 | 2147483647 132953 157 | 0.000 % |
87.14/87.29 c | 133102 | 7808 33384 101297 | 2147483647 133102 157 | 0.000 % |
87.34/87.47 c | 133263 | 7808 33384 101297 | 2147483647 133263 157 | 0.000 % |
87.54/87.65 c | 133439 | 7808 33384 101297 | 2147483647 133439 157 | 0.000 % |
87.74/87.87 c | 133634 | 7808 33384 101297 | 2147483647 133634 157 | 0.000 % |
87.94/88.09 c | 133846 | 7808 33384 101297 | 2147483647 133846 157 | 0.000 % |
88.14/88.29 c | 134081 | 7808 33384 101297 | 2147483647 134081 157 | 0.000 % |
88.54/88.60 c | 134337 | 7808 33384 101297 | 2147483647 134337 157 | 0.000 % |
88.83/88.90 c | 134618 | 7808 33384 101297 | 2147483647 134618 157 | 0.000 % |
89.13/89.27 c | 134929 | 7808 33384 101297 | 2147483647 134929 157 | 0.000 % |
89.53/89.66 c | 135268 | 7808 33384 101297 | 2147483647 135268 157 | 0.000 % |
89.93/90.05 c | 135642 | 7808 33384 101297 | 2147483647 135642 157 | 0.000 % |
90.43/90.50 c | 136052 | 7808 33384 101297 | 2147483647 136052 157 | 0.000 % |
90.93/91.02 c | 136501 | 7808 33384 101297 | 2147483647 136501 157 | 0.000 % |
91.53/91.61 c | 136996 | 7808 33384 101297 | 2147483647 136996 157 | 0.000 % |
92.03/92.19 c | 137538 | 7808 33384 101297 | 2147483647 137538 157 | 0.000 % |
92.73/92.82 c | 138135 | 7808 33384 101297 | 2147483647 138135 157 | 0.000 % |
93.34/93.43 c | 138791 | 7808 33384 101297 | 2147483647 138791 157 | 0.000 % |
94.14/94.20 c | 139511 | 7808 33384 101297 | 2147483647 139511 157 | 0.000 % |
94.93/95.06 c | 140303 | 7808 33384 101297 | 2147483647 140303 157 | 0.000 % |
95.93/96.00 c | 141176 | 7808 33384 101297 | 2147483647 141176 158 | 0.000 % |
96.83/96.98 c | 142135 | 7808 33384 101297 | 2147483647 142135 158 | 0.000 % |
98.03/98.11 c | 143188 | 7808 33384 101297 | 2147483647 143188 158 | 0.000 % |
99.23/99.37 c | 144346 | 7808 33384 101297 | 2147483647 144346 158 | 0.000 % |
100.53/100.63 c | 145622 | 7808 33384 101297 | 2147483647 145622 158 | 0.000 % |
101.93/102.06 c | 147022 | 7808 33384 101297 | 2147483647 147022 159 | 0.000 % |
103.63/103.78 c | 148563 | 7808 33384 101297 | 2147483647 148563 159 | 0.000 % |
103.83/103.94 c | 148665 | 7808 33384 101297 | 2147483647 148665 159 | 0.000 % |
103.93/104.08 c | 148775 | 7808 33384 101297 | 2147483647 148775 159 | 0.000 % |
104.13/104.26 c | 148896 | 7808 33384 101297 | 2147483647 148896 159 | 0.000 % |
104.34/104.44 c | 149029 | 7808 33384 101297 | 2147483647 149029 159 | 0.000 % |
104.54/104.63 c | 149175 | 7808 33384 101297 | 2147483647 149175 159 | 0.000 % |
104.74/104.85 c | 149335 | 7808 33384 101297 | 2147483647 149335 159 | 0.000 % |
104.94/105.06 c | 149512 | 7808 33384 101297 | 2147483647 149512 159 | 0.000 % |
105.23/105.31 c | 149706 | 7808 33384 101297 | 2147483647 149706 159 | 0.000 % |
105.44/105.58 c | 149919 | 7808 33384 101297 | 2147483647 149919 159 | 0.000 % |
105.73/105.87 c | 150152 | 7808 33384 101297 | 2147483647 150152 159 | 0.000 % |
106.03/106.19 c | 150408 | 7808 33384 101297 | 2147483647 150408 159 | 0.000 % |
106.43/106.55 c | 150690 | 7808 33384 101297 | 2147483647 150690 159 | 0.000 % |
106.83/106.91 c | 151000 | 7808 33384 101297 | 2147483647 151000 159 | 0.000 % |
107.23/107.34 c | 151341 | 7808 33384 101297 | 2147483647 151341 159 | 0.000 % |
107.64/107.78 c | 151715 | 7808 33384 101297 | 2147483647 151715 159 | 0.000 % |
108.13/108.25 c | 152126 | 7808 33384 101297 | 2147483647 152126 159 | 0.000 % |
108.63/108.73 c | 152576 | 7808 33384 101297 | 2147483647 152576 159 | 0.000 % |
109.13/109.27 c | 153069 | 7808 33384 101297 | 2147483647 153069 159 | 0.000 % |
109.83/109.94 c | 153613 | 7808 33384 101297 | 2147483647 153613 159 | 0.000 % |
110.53/110.61 c | 154209 | 7808 33384 101297 | 2147483647 154209 159 | 0.000 % |
111.23/111.35 c | 154864 | 7808 33384 101297 | 2147483647 154864 159 | 0.000 % |
111.93/112.09 c | 155585 | 7808 33384 101297 | 2147483647 155585 159 | 0.000 % |
112.93/113.03 c | 156377 | 7808 33384 101297 | 2147483647 156377 159 | 0.000 % |
113.93/114.01 c | 157249 | 7808 33384 101297 | 2147483647 157249 159 | 0.000 % |
115.03/115.11 c | 158212 | 7808 33384 101297 | 2147483647 158212 159 | 0.000 % |
116.13/116.26 c | 159266 | 7808 33384 101297 | 2147483647 159266 159 | 0.000 % |
117.43/117.57 c | 160424 | 7808 33384 101297 | 2147483647 160424 159 | 0.000 % |
118.83/118.99 c | 161697 | 7808 33384 101297 | 2147483647 161697 160 | 0.000 % |
120.43/120.52 c | 163098 | 7808 33384 101297 | 2147483647 163098 160 | 0.000 % |
122.12/122.27 c | 164638 | 7808 33384 101297 | 2147483647 164638 160 | 0.000 % |
124.13/124.27 c | 166332 | 7808 33384 101297 | 2147483647 166332 160 | 0.000 % |
124.23/124.38 c | 166433 | 7808 33384 101297 | 2147483647 166433 160 | 0.000 % |
124.42/124.54 c | 166544 | 7808 33384 101297 | 2147483647 166544 160 | 0.000 % |
124.62/124.72 c | 166667 | 7808 33384 101297 | 2147483647 166667 160 | 0.000 % |
124.82/124.92 c | 166801 | 7808 33384 101297 | 2147483647 166801 160 | 0.000 % |
125.02/125.11 c | 166947 | 7808 33384 101297 | 2147483647 166947 160 | 0.000 % |
125.23/125.35 c | 167107 | 7808 33384 101297 | 2147483647 167107 160 | 0.000 % |
125.52/125.60 c | 167284 | 7808 33384 101297 | 2147483647 167284 160 | 0.000 % |
125.72/125.83 c | 167479 | 7808 33384 101297 | 2147483647 167479 160 | 0.000 % |
126.02/126.12 c | 167694 | 7808 33384 101297 | 2147483647 167694 160 | 0.000 % |
126.33/126.41 c | 167927 | 7808 33384 101297 | 2147483647 167927 160 | 0.000 % |
126.63/126.74 c | 168184 | 7808 33384 101297 | 2147483647 168184 160 | 0.000 % |
127.03/127.12 c | 168468 | 7808 33384 101297 | 2147483647 168468 160 | 0.000 % |
127.43/127.57 c | 168778 | 7808 33384 101297 | 2147483647 168778 160 | 0.000 % |
127.92/128.02 c | 169117 | 7808 33384 101297 | 2147483647 169117 160 | 0.000 % |
128.32/128.47 c | 169489 | 7808 33384 101297 | 2147483647 169489 160 | 0.000 % |
128.82/128.97 c | 169898 | 7808 33384 101297 | 2147483647 169898 160 | 0.000 % |
129.42/129.51 c | 170349 | 7808 33384 101297 | 2147483647 170349 160 | 0.000 % |
130.02/130.15 c | 170843 | 7808 33384 101297 | 2147483647 170843 160 | 0.000 % |
130.72/130.83 c | 171386 | 7808 33384 101297 | 2147483647 171386 160 | 0.000 % |
131.33/131.49 c | 171986 | 7808 33384 101297 | 2147483647 171986 160 | 0.000 % |
132.13/132.27 c | 172641 | 7808 33384 101297 | 2147483647 172641 160 | 0.000 % |
133.03/133.15 c | 173362 | 7808 33384 101297 | 2147483647 173362 160 | 0.000 % |
133.92/134.04 c | 174155 | 7808 33384 101297 | 2147483647 174155 160 | 0.000 % |
135.02/135.14 c | 175026 | 7808 33384 101297 | 2147483647 175026 160 | 0.000 % |
136.13/136.29 c | 175984 | 7808 33384 101297 | 2147483647 175984 161 | 0.000 % |
137.43/137.52 c | 177037 | 7808 33384 101297 | 2147483647 177037 161 | 0.000 % |
138.92/139.02 c | 178195 | 7808 33384 101297 | 2147483647 178195 161 | 0.000 % |
140.32/140.48 c | 179468 | 7808 33384 101297 | 2147483647 179468 161 | 0.000 % |
142.02/142.17 c | 180868 | 7808 33384 101297 | 2147483647 180868 161 | 0.000 % |
143.93/144.05 c | 182409 | 7808 33384 101297 | 2147483647 182409 161 | 0.000 % |
146.12/146.21 c | 184105 | 7808 33384 101297 | 2147483647 184105 162 | 0.000 % |
148.32/148.43 c | 185968 | 7808 33384 101297 | 2147483647 185968 162 | 0.000 % |
148.52/148.60 c | 186070 | 7808 33384 101297 | 2147483647 186070 162 | 0.000 % |
148.62/148.79 c | 186181 | 7808 33384 101297 | 2147483647 186181 162 | 0.000 % |
148.92/149.00 c | 186303 | 7808 33384 101297 | 2147483647 186303 162 | 0.000 % |
149.12/149.21 c | 186436 | 7808 33384 101297 | 2147483647 186436 162 | 0.000 % |
149.32/149.45 c | 186582 | 7808 33384 101297 | 2147483647 186582 162 | 0.000 % |
149.62/149.70 c | 186742 | 7808 33384 101297 | 2147483647 186742 162 | 0.000 % |
149.82/149.98 c | 186918 | 7808 33384 101297 | 2147483647 186918 162 | 0.000 % |
150.12/150.28 c | 187111 | 7808 33384 101297 | 2147483647 187111 162 | 0.000 % |
150.52/150.62 c | 187325 | 7808 33384 101297 | 2147483647 187325 162 | 0.000 % |
150.82/150.98 c | 187558 | 7808 33384 101297 | 2147483647 187558 162 | 0.000 % |
151.31/151.41 c | 187817 | 7808 33384 101297 | 2147483647 187817 162 | 0.000 % |
151.72/151.83 c | 188098 | 7808 33384 101297 | 2147483647 188098 162 | 0.000 % |
152.21/152.31 c | 188409 | 7808 33384 101297 | 2147483647 188409 162 | 0.000 % |
152.72/152.81 c | 188748 | 7808 33384 101297 | 2147483647 188748 162 | 0.000 % |
153.22/153.31 c | 189120 | 7808 33384 101297 | 2147483647 189120 162 | 0.000 % |
153.72/153.86 c | 189531 | 7808 33384 101297 | 2147483647 189531 162 | 0.000 % |
154.32/154.49 c | 189980 | 7808 33384 101297 | 2147483647 189980 162 | 0.000 % |
155.02/155.17 c | 190473 | 7808 33384 101297 | 2147483647 190473 162 | 0.000 % |
155.72/155.89 c | 191016 | 7808 33384 101297 | 2147483647 191016 162 | 0.000 % |
156.62/156.75 c | 191612 | 7808 33384 101297 | 2147483647 191612 162 | 0.000 % |
157.52/157.68 c | 192268 | 7808 33384 101297 | 2147483647 192268 162 | 0.000 % |
158.51/158.64 c | 192988 | 7808 33384 101297 | 2147483647 192988 162 | 0.000 % |
159.52/159.65 c | 193782 | 7808 33384 101297 | 2147483647 193782 162 | 0.000 % |
160.62/160.79 c | 194656 | 7808 33384 101297 | 2147483647 194656 162 | 0.000 % |
161.91/162.05 c | 195614 | 7808 33384 101297 | 2147483647 195614 162 | 0.000 % |
163.32/163.49 c | 196667 | 7808 33384 101297 | 2147483647 196667 162 | 0.000 % |
164.82/164.94 c | 197826 | 7808 33384 101297 | 2147483647 197826 162 | 0.000 % |
166.51/166.61 c | 199099 | 7808 33384 101297 | 2147483647 199099 162 | 0.000 % |
168.31/168.40 c | 200499 | 7808 33384 101297 | 2147483647 200499 162 | 0.000 % |
170.21/170.40 c | 202040 | 7808 33384 101297 | 2147483647 202040 163 | 0.000 % |
172.51/172.68 c | 203734 | 7808 33384 101297 | 2147483647 203734 163 | 0.000 % |
175.01/175.12 c | 205600 | 7808 33384 101297 | 2147483647 205600 163 | 0.000 % |
177.81/177.96 c | 207649 | 7808 33384 101297 | 2147483647 207649 163 | 0.000 % |
178.02/178.15 c | 207749 | 7808 33384 101297 | 2147483647 207749 163 | 0.000 % |
178.21/178.33 c | 207860 | 7808 33384 101297 | 2147483647 207860 163 | 0.000 % |
178.41/178.55 c | 207981 | 7808 33384 101297 | 2147483647 207981 163 | 0.000 % |
178.61/178.77 c | 208116 | 7808 33384 101297 | 2147483647 208116 163 | 0.000 % |
178.81/178.99 c | 208262 | 7808 33384 101297 | 2147483647 208262 163 | 0.000 % |
179.11/179.26 c | 208423 | 7808 33384 101297 | 2147483647 208423 163 | 0.000 % |
179.41/179.52 c | 208599 | 7808 33384 101297 | 2147483647 208599 163 | 0.000 % |
179.71/179.85 c | 208795 | 7808 33384 101297 | 2147483647 208795 163 | 0.000 % |
180.01/180.15 c | 209007 | 7808 33384 101297 | 2147483647 209007 163 | 0.000 % |
180.41/180.55 c | 209240 | 7808 33384 101297 | 2147483647 209240 163 | 0.000 % |
180.81/180.92 c | 209498 | 7808 33384 101297 | 2147483647 209498 163 | 0.000 % |
181.32/181.41 c | 209780 | 7808 33384 101297 | 2147483647 209780 163 | 0.000 % |
181.81/181.90 c | 210089 | 7808 33384 101297 | 2147483647 210089 163 | 0.000 % |
182.31/182.41 c | 210429 | 7808 33384 101297 | 2147483647 210429 163 | 0.000 % |
182.81/182.99 c | 210802 | 7808 33384 101297 | 2147483647 210802 163 | 0.000 % |
183.41/183.59 c | 211213 | 7808 33384 101297 | 2147483647 211213 163 | 0.000 % |
184.11/184.26 c | 211664 | 7808 33384 101297 | 2147483647 211664 163 | 0.000 % |
184.81/184.96 c | 212157 | 7808 33384 101297 | 2147483647 212157 163 | 0.000 % |
185.60/185.74 c | 212699 | 7808 33384 101297 | 2147483647 212699 163 | 0.000 % |
186.50/186.61 c | 213296 | 7808 33384 101297 | 2147483647 213296 163 | 0.000 % |
187.41/187.55 c | 213952 | 7808 33384 101297 | 2147483647 213952 163 | 0.000 % |
188.51/188.64 c | 214672 | 7808 33384 101297 | 2147483647 214672 163 | 0.000 % |
189.61/189.76 c | 215465 | 7808 33384 101297 | 2147483647 215465 162 | 0.000 % |
190.81/190.97 c | 216336 | 7808 33384 101297 | 2147483647 216336 163 | 0.000 % |
192.31/192.49 c | 217294 | 7808 33384 101297 | 2147483647 217294 163 | 0.000 % |
193.80/193.94 c | 218349 | 7808 33384 101297 | 2147483647 218349 163 | 0.000 % |
195.40/195.55 c | 219507 | 7808 33384 101297 | 2147483647 219507 163 | 0.000 % |
197.41/197.53 c | 220780 | 7808 33384 101297 | 2147483647 220780 163 | 0.000 % |
199.50/199.62 c | 222181 | 7808 33384 101297 | 2147483647 222181 163 | 0.000 % |
201.70/201.82 c | 223721 | 7808 33384 101297 | 2147483647 223721 163 | 0.000 % |
204.20/204.35 c | 225417 | 7808 33384 101297 | 2147483647 225417 163 | 0.000 % |
207.00/207.10 c | 227280 | 7808 33384 101297 | 2147483647 227280 163 | 0.000 % |
209.90/210.07 c | 229331 | 7808 33384 101297 | 2147483647 229331 163 | 0.000 % |
213.10/213.29 c | 231586 | 7808 33384 101297 | 2147483647 231586 164 | 0.000 % |
213.40/213.52 c | 231687 | 7808 33384 101297 | 2147483647 231687 164 | 0.000 % |
213.60/213.72 c | 231797 | 7808 33384 101297 | 2147483647 231797 164 | 0.000 % |
213.80/213.94 c | 231919 | 7808 33384 101297 | 2147483647 231919 164 | 0.000 % |
214.10/214.20 c | 232054 | 7808 33384 101297 | 2147483647 232054 164 | 0.000 % |
214.40/214.52 c | 232201 | 7808 33384 101297 | 2147483647 232201 164 | 0.000 % |
214.70/214.81 c | 232361 | 7808 33384 101297 | 2147483647 232361 164 | 0.000 % |
215.00/215.18 c | 232539 | 7808 33384 101297 | 2147483647 232539 163 | 0.000 % |
215.40/215.56 c | 232732 | 7808 33384 101297 | 2147483647 232732 164 | 0.000 % |
215.80/215.96 c | 232944 | 7808 33384 101297 | 2147483647 232944 164 | 0.000 % |
216.20/216.35 c | 233177 | 7808 33384 101297 | 2147483647 233177 163 | 0.000 % |
216.60/216.76 c | 233435 | 7808 33384 101297 | 2147483647 233435 164 | 0.000 % |
217.10/217.25 c | 233717 | 7808 33384 101297 | 2147483647 233717 163 | 0.000 % |
217.60/217.78 c | 234027 | 7808 33384 101297 | 2147483647 234027 163 | 0.000 % |
218.29/218.40 c | 234366 | 7808 33384 101297 | 2147483647 234366 163 | 0.000 % |
218.99/219.12 c | 234741 | 7808 33384 101297 | 2147483647 234741 163 | 0.000 % |
219.69/219.83 c | 235151 | 7808 33384 101297 | 2147483647 235151 163 | 0.000 % |
220.39/220.55 c | 235600 | 7808 33384 101297 | 2147483647 235600 163 | 0.000 % |
221.19/221.36 c | 236093 | 7808 33384 101297 | 2147483647 236093 163 | 0.000 % |
222.19/222.33 c | 236637 | 7808 33384 101297 | 2147483647 236637 163 | 0.000 % |
223.10/223.30 c | 237233 | 7808 33384 101297 | 2147483647 237233 163 | 0.000 % |
224.10/224.26 c | 237888 | 7808 33384 101297 | 2147483647 237888 164 | 0.000 % |
225.19/225.35 c | 238608 | 7808 33384 101297 | 2147483647 238608 164 | 0.000 % |
226.40/226.57 c | 239402 | 7808 33384 101297 | 2147483647 239402 164 | 0.000 % |
227.79/227.98 c | 240276 | 7808 33384 101297 | 2147483647 240276 164 | 0.000 % |
229.30/229.47 c | 241235 | 7808 33384 101297 | 2147483647 241235 164 | 0.000 % |
231.09/231.21 c | 242288 | 7808 33384 101297 | 2147483647 242288 164 | 0.000 % |
232.89/233.06 c | 243447 | 7808 33384 101297 | 2147483647 243447 164 | 0.000 % |
234.89/235.02 c | 244721 | 7808 33384 101297 | 2147483647 244721 164 | 0.000 % |
237.09/237.29 c | 246122 | 7808 33384 101297 | 2147483647 246122 164 | 0.000 % |
239.49/239.63 c | 247662 | 7808 33384 101297 | 2147483647 247662 164 | 0.000 % |
241.99/242.18 c | 249357 | 7808 33384 101297 | 2147483647 249357 164 | 0.000 % |
244.99/245.18 c | 251220 | 7808 33384 101297 | 2147483647 251220 164 | 0.000 % |
248.29/248.45 c | 253269 | 7808 33384 101297 | 2147483647 253269 164 | 0.000 % |
251.68/251.82 c | 255522 | 7808 33384 101297 | 2147483647 255522 164 | 0.000 % |
255.68/255.86 c | 258000 | 7808 33384 101297 | 2147483647 258000 165 | 0.000 % |
255.88/256.09 c | 258103 | 7808 33384 101297 | 2147483647 258103 165 | 0.000 % |
256.19/256.34 c | 258213 | 7808 33384 101297 | 2147483647 258213 165 | 0.000 % |
256.38/256.59 c | 258334 | 7808 33384 101297 | 2147483647 258334 165 | 0.000 % |
256.69/256.86 c | 258467 | 7808 33384 101297 | 2147483647 258467 165 | 0.000 % |
256.99/257.17 c | 258615 | 7808 33384 101297 | 2147483647 258615 165 | 0.000 % |
257.29/257.49 c | 258775 | 7808 33384 101297 | 2147483647 258775 165 | 0.000 % |
257.69/257.83 c | 258953 | 7808 33384 101297 | 2147483647 258953 165 | 0.000 % |
257.98/258.18 c | 259148 | 7808 33384 101297 | 2147483647 259148 165 | 0.000 % |
258.48/258.61 c | 259360 | 7808 33384 101297 | 2147483647 259360 165 | 0.000 % |
258.88/259.05 c | 259593 | 7808 33384 101297 | 2147483647 259593 165 | 0.000 % |
259.49/259.62 c | 259852 | 7808 33384 101297 | 2147483647 259852 165 | 0.000 % |
259.98/260.15 c | 260133 | 7808 33384 101297 | 2147483647 260133 165 | 0.000 % |
260.59/260.71 c | 260442 | 7808 33384 101297 | 2147483647 260442 165 | 0.000 % |
261.18/261.33 c | 260782 | 7808 33384 101297 | 2147483647 260782 165 | 0.000 % |
261.88/262.07 c | 261155 | 7808 33384 101297 | 2147483647 261155 165 | 0.000 % |
262.68/262.81 c | 261564 | 7808 33384 101297 | 2147483647 261564 164 | 0.000 % |
263.58/263.70 c | 262013 | 7808 33384 101297 | 2147483647 262013 164 | 0.000 % |
264.48/264.62 c | 262506 | 7808 33384 101297 | 2147483647 262506 164 | 0.000 % |
265.48/265.66 c | 263048 | 7808 33384 101297 | 2147483647 263048 164 | 0.000 % |
266.58/266.76 c | 263645 | 7808 33384 101297 | 2147483647 263645 165 | 0.000 % |
267.58/267.79 c | 264302 | 7808 33384 101297 | 2147483647 264302 165 | 0.000 % |
268.88/269.05 c | 265022 | 7808 33384 101297 | 2147483647 265022 165 | 0.000 % |
270.28/270.45 c | 265815 | 7808 33384 101297 | 2147483647 265815 165 | 0.000 % |
271.88/272.02 c | 266687 | 7808 33384 101297 | 2147483647 266687 165 | 0.000 % |
273.58/273.77 c | 267647 | 7808 33384 101297 | 2147483647 267647 165 | 0.000 % |
275.38/275.52 c | 268701 | 7808 33384 101297 | 2147483647 268701 165 | 0.000 % |
277.28/277.49 c | 269860 | 7808 33384 101297 | 2147483647 269860 165 | 0.000 % |
279.48/279.66 c | 271136 | 7808 33384 101297 | 2147483647 271136 165 | 0.000 % |
281.98/282.12 c | 272538 | 7808 33384 101297 | 2147483647 272538 165 | 0.000 % |
284.78/284.97 c | 274081 | 7808 33384 101297 | 2147483647 274081 165 | 0.000 % |
287.67/287.87 c | 275776 | 7808 33384 101297 | 2147483647 275776 165 | 0.000 % |
290.78/290.97 c | 277642 | 7808 33384 101297 | 2147483647 277642 166 | 0.000 % |
294.27/294.43 c | 279691 | 7808 33384 101297 | 2147483647 279691 166 | 0.000 % |
297.98/298.15 c | 281944 | 7808 33384 101297 | 2147483647 281944 166 | 0.000 % |
302.38/302.57 c | 284422 | 7808 33384 101297 | 2147483647 284422 166 | 0.000 % |
307.07/307.22 c | 287148 | 7808 33384 101297 | 2147483647 287148 166 | 0.000 % |
307.27/307.44 c | 287248 | 7808 33384 101297 | 2147483647 287248 166 | 0.000 % |
307.56/307.72 c | 287358 | 7808 33384 101297 | 2147483647 287358 166 | 0.000 % |
307.77/308.00 c | 287479 | 7808 33384 101297 | 2147483647 287479 166 | 0.000 % |
308.17/308.34 c | 287614 | 7808 33384 101297 | 2147483647 287614 166 | 0.000 % |
308.47/308.65 c | 287761 | 7808 33384 101297 | 2147483647 287761 166 | 0.000 % |
308.77/309.00 c | 287921 | 7808 33384 101297 | 2147483647 287921 166 | 0.000 % |
309.16/309.39 c | 288097 | 7808 33384 101297 | 2147483647 288097 166 | 0.000 % |
309.66/309.86 c | 288291 | 7808 33384 101297 | 2147483647 288291 166 | 0.000 % |
310.16/310.37 c | 288504 | 7808 33384 101297 | 2147483647 288504 166 | 0.000 % |
310.66/310.85 c | 288737 | 7808 33384 101297 | 2147483647 288737 166 | 0.000 % |
311.16/311.39 c | 288994 | 7808 33384 101297 | 2147483647 288994 166 | 0.000 % |
311.77/311.97 c | 289275 | 7808 33384 101297 | 2147483647 289275 166 | 0.000 % |
312.37/312.59 c | 289584 | 7808 33384 101297 | 2147483647 289584 166 | 0.000 % |
313.17/313.30 c | 289925 | 7808 33384 101297 | 2147483647 289925 166 | 0.000 % |
313.96/314.10 c | 290297 | 7808 33384 101297 | 2147483647 290297 166 | 0.000 % |
314.76/314.90 c | 290706 | 7808 33384 101297 | 2147483647 290706 166 | 0.000 % |
315.66/315.86 c | 291156 | 7808 33384 101297 | 2147483647 291156 166 | 0.000 % |
316.56/316.75 c | 291649 | 7808 33384 101297 | 2147483647 291649 166 | 0.000 % |
317.56/317.76 c | 292192 | 7808 33384 101297 | 2147483647 292192 166 | 0.000 % |
318.76/318.95 c | 292788 | 7808 33384 101297 | 2147483647 292788 166 | 0.000 % |
319.97/320.18 c | 293443 | 7808 33384 101297 | 2147483647 293443 166 | 0.000 % |
321.46/321.60 c | 294163 | 7808 33384 101297 | 2147483647 294163 166 | 0.000 % |
322.76/322.98 c | 294957 | 7808 33384 101297 | 2147483647 294957 166 | 0.000 % |
324.46/324.66 c | 295828 | 7808 33384 101297 | 2147483647 295828 166 | 0.000 % |
326.26/326.43 c | 296786 | 7808 33384 101297 | 2147483647 296786 166 | 0.000 % |
328.16/328.37 c | 297839 | 7808 33384 101297 | 2147483647 297839 166 | 0.000 % |
330.35/330.54 c | 298997 | 7808 33384 101297 | 2147483647 298997 166 | 0.000 % |
332.76/332.94 c | 300270 | 7808 33384 101297 | 2147483647 300270 166 | 0.000 % |
335.06/335.27 c | 301671 | 7808 33384 101297 | 2147483647 301671 166 | 0.000 % |
337.85/338.07 c | 303211 | 7808 33384 101297 | 2147483647 303211 166 | 0.000 % |
341.05/341.21 c | 304907 | 7808 33384 101297 | 2147483647 304907 166 | 0.000 % |
344.45/344.65 c | 306770 | 7808 33384 101297 | 2147483647 306770 166 | 0.000 % |
348.05/348.29 c | 308821 | 7808 33384 101297 | 2147483647 308821 166 | 0.000 % |
352.35/352.58 c | 311076 | 7808 33384 101297 | 2147483647 311076 167 | 0.000 % |
357.15/357.33 c | 313554 | 7808 33384 101297 | 2147483647 313554 167 | 0.000 % |
362.54/362.71 c | 316281 | 7808 33384 101297 | 2147483647 316281 167 | 0.000 % |
368.15/368.35 c | 319279 | 7808 33384 101297 | 2147483647 319279 167 | 0.000 % |
368.35/368.57 c | 319379 | 7808 33384 101297 | 2147483647 319379 167 | 0.000 % |
368.65/368.85 c | 319489 | 7808 33384 101297 | 2147483647 319489 167 | 0.000 % |
368.95/369.19 c | 319612 | 7808 33384 101297 | 2147483647 319612 167 | 0.000 % |
369.24/369.50 c | 319746 | 7808 33384 101297 | 2147483647 319746 167 | 0.000 % |
369.64/369.81 c | 319892 | 7808 33384 101297 | 2147483647 319892 167 | 0.000 % |
369.94/370.19 c | 320052 | 7808 33384 101297 | 2147483647 320052 167 | 0.000 % |
370.44/370.66 c | 320229 | 7808 33384 101297 | 2147483647 320229 167 | 0.000 % |
370.94/371.16 c | 320423 | 7808 33384 101297 | 2147483647 320423 167 | 0.000 % |
371.45/371.68 c | 320636 | 7808 33384 101297 | 2147483647 320636 167 | 0.000 % |
372.05/372.24 c | 320869 | 7808 33384 101297 | 2147483647 320869 167 | 0.000 % |
372.55/372.74 c | 321125 | 7808 33384 101297 | 2147483647 321125 167 | 0.000 % |
373.15/373.37 c | 321407 | 7808 33384 101297 | 2147483647 321407 167 | 0.000 % |
373.85/374.09 c | 321716 | 7808 33384 101297 | 2147483647 321716 167 | 0.000 % |
374.65/374.80 c | 322057 | 7808 33384 101297 | 2147483647 322057 167 | 0.000 % |
375.45/375.60 c | 322429 | 7808 33384 101297 | 2147483647 322429 167 | 0.000 % |
376.34/376.56 c | 322840 | 7808 33384 101297 | 2147483647 322840 167 | 0.000 % |
377.34/377.59 c | 323289 | 7808 33384 101297 | 2147483647 323289 167 | 0.000 % |
378.44/378.62 c | 323783 | 7808 33384 101297 | 2147483647 323783 167 | 0.000 % |
379.64/379.83 c | 324325 | 7808 33384 101297 | 2147483647 324325 167 | 0.000 % |
380.94/381.10 c | 324921 | 7808 33384 101297 | 2147483647 324921 167 | 0.000 % |
382.34/382.52 c | 325577 | 7808 33384 101297 | 2147483647 325577 167 | 0.000 % |
383.94/384.14 c | 326300 | 7808 33384 101297 | 2147483647 326300 167 | 0.000 % |
385.44/385.69 c | 327093 | 7808 33384 101297 | 2147483647 327093 167 | 0.000 % |
387.44/387.62 c | 327965 | 7808 33384 101297 | 2147483647 327965 167 | 0.000 % |
389.53/389.72 c | 328925 | 7808 33384 101297 | 2147483647 328925 167 | 0.000 % |
391.84/392.02 c | 329981 | 7808 33384 101297 | 2147483647 329981 167 | 0.000 % |
394.04/394.24 c | 331139 | 7808 33384 101297 | 2147483647 331139 167 | 0.000 % |
396.53/396.75 c | 332412 | 7808 33384 101297 | 2147483647 332412 167 | 0.000 % |
399.54/399.80 c | 333814 | 7808 33384 101297 | 2147483647 333814 167 | 0.000 % |
402.84/403.00 c | 335354 | 7808 33384 101297 | 2147483647 335354 167 | 0.000 % |
406.54/406.71 c | 337049 | 7808 33384 101297 | 2147483647 337049 167 | 0.000 % |
410.63/410.86 c | 338912 | 7808 33384 101297 | 2147483647 338912 167 | 0.000 % |
415.03/415.21 c | 340963 | 7808 33384 101297 | 2147483647 340963 167 | 0.000 % |
419.43/419.66 c | 343219 | 7808 33384 101297 | 2147483647 343219 167 | 0.000 % |
424.43/424.61 c | 345700 | 7808 33384 101297 | 2147483647 345700 167 | 0.000 % |
429.84/430.06 c | 348426 | 7808 33384 101297 | 2147483647 348426 167 | 0.000 % |
436.23/436.49 c | 351425 | 7808 33384 101297 | 2147483647 351425 167 | 0.000 % |
443.03/443.22 c | 354721 | 7808 33384 101297 | 2147483647 354721 167 | 0.000 % |
443.22/443.49 c | 354821 | 7808 33384 101297 | 2147483647 354821 167 | 0.000 % |
443.62/443.85 c | 354932 | 7808 33384 101297 | 2147483647 354932 167 | 0.000 % |
443.92/444.20 c | 355055 | 7808 33384 101297 | 2147483647 355055 167 | 0.000 % |
444.42/444.60 c | 355188 | 7808 33384 101297 | 2147483647 355188 167 | 0.000 % |
444.82/445.03 c | 355335 | 7808 33384 101297 | 2147483647 355335 167 | 0.000 % |
445.23/445.50 c | 355495 | 7808 33384 101297 | 2147483647 355495 167 | 0.000 % |
445.72/445.97 c | 355672 | 7808 33384 101297 | 2147483647 355672 167 | 0.000 % |
446.22/446.44 c | 355865 | 7808 33384 101297 | 2147483647 355865 167 | 0.000 % |
446.72/446.98 c | 356077 | 7808 33384 101297 | 2147483647 356077 167 | 0.000 % |
447.52/447.70 c | 356310 | 7808 33384 101297 | 2147483647 356310 167 | 0.000 % |
448.11/448.39 c | 356566 | 7808 33384 101297 | 2147483647 356566 167 | 0.000 % |
449.01/449.23 c | 356848 | 7808 33384 101297 | 2147483647 356848 167 | 0.000 % |
449.72/449.98 c | 357159 | 7808 33384 101297 | 2147483647 357159 167 | 0.000 % |
450.61/450.80 c | 357498 | 7808 33384 101297 | 2147483647 357498 167 | 0.000 % |
451.51/451.75 c | 357871 | 7808 33384 101297 | 2147483647 357871 167 | 0.000 % |
452.62/452.84 c | 358281 | 7808 33384 101297 | 2147483647 358281 167 | 0.000 % |
453.62/453.87 c | 358730 | 7808 33384 101297 | 2147483647 358730 167 | 0.000 % |
454.92/455.16 c | 359223 | 7808 33384 101297 | 2147483647 359223 167 | 0.000 % |
456.22/456.41 c | 359767 | 7808 33384 101297 | 2147483647 359767 167 | 0.000 % |
457.61/457.81 c | 360366 | 7808 33384 101297 | 2147483647 360366 167 | 0.000 % |
459.11/459.32 c | 361022 | 7808 33384 101297 | 2147483647 361022 167 | 0.000 % |
460.92/461.16 c | 361745 | 7808 33384 101297 | 2147483647 361745 167 | 0.000 % |
462.71/462.97 c | 362538 | 7808 33384 101297 | 2147483647 362538 167 | 0.000 % |
464.81/465.02 c | 363410 | 7808 33384 101297 | 2147483647 363410 167 | 0.000 % |
467.01/467.20 c | 364368 | 7808 33384 101297 | 2147483647 364368 167 | 0.000 % |
469.41/469.69 c | 365421 | 7808 33384 101297 | 2147483647 365421 167 | 0.000 % |
472.00/472.25 c | 366579 | 7808 33384 101297 | 2147483647 366579 167 | 0.000 % |
474.91/475.12 c | 367852 | 7808 33384 101297 | 2147483647 367852 167 | 0.000 % |
478.11/478.37 c | 369252 | 7808 33384 101297 | 2147483647 369252 167 | 0.000 % |
481.71/481.96 c | 370793 | 7808 33384 101297 | 2147483647 370793 167 | 0.000 % |
485.41/485.62 c | 372488 | 7808 33384 101297 | 2147483647 372488 167 | 0.000 % |
489.51/489.76 c | 374351 | 7808 33384 101297 | 2147483647 374351 168 | 0.000 % |
494.00/494.28 c | 376401 | 7808 33384 101297 | 2147483647 376401 168 | 0.000 % |
498.50/498.77 c | 378654 | 7808 33384 101297 | 2147483647 378654 168 | 0.000 % |
503.90/504.11 c | 381135 | 7808 33384 101297 | 2147483647 381135 168 | 0.000 % |
509.80/510.09 c | 383860 | 7808 33384 101297 | 2147483647 383860 169 | 0.000 % |
516.50/516.77 c | 386857 | 7808 33384 101297 | 2147483647 386857 169 | 0.000 % |
523.99/524.26 c | 390154 | 7808 33384 101297 | 2147483647 390154 169 | 0.000 % |
532.19/532.46 c | 393780 | 7808 33384 101297 | 2147483647 393780 169 | 0.000 % |
532.49/532.76 c | 393881 | 7808 33384 101297 | 2147483647 393881 169 | 0.000 % |
532.79/533.09 c | 393992 | 7808 33384 101297 | 2147483647 393992 169 | 0.000 % |
533.19/533.46 c | 394114 | 7808 33384 101297 | 2147483647 394114 169 | 0.000 % |
533.59/533.89 c | 394247 | 7808 33384 101297 | 2147483647 394247 169 | 0.000 % |
534.09/534.33 c | 394394 | 7808 33384 101297 | 2147483647 394394 169 | 0.000 % |
534.49/534.78 c | 394554 | 7808 33384 101297 | 2147483647 394554 169 | 0.000 % |
535.09/535.37 c | 394731 | 7808 33384 101297 | 2147483647 394731 169 | 0.000 % |
535.69/535.90 c | 394924 | 7808 33384 101297 | 2147483647 394924 169 | 0.000 % |
536.29/536.51 c | 395138 | 7808 33384 101297 | 2147483647 395138 169 | 0.000 % |
536.89/537.10 c | 395373 | 7808 33384 101297 | 2147483647 395373 169 | 0.000 % |
537.49/537.75 c | 395630 | 7808 33384 101297 | 2147483647 395630 169 | 0.000 % |
538.29/538.55 c | 395911 | 7808 33384 101297 | 2147483647 395911 169 | 0.000 % |
539.19/539.41 c | 396220 | 7808 33384 101297 | 2147483647 396220 169 | 0.000 % |
540.09/540.31 c | 396559 | 7808 33384 101297 | 2147483647 396559 169 | 0.000 % |
541.09/541.31 c | 396933 | 7808 33384 101297 | 2147483647 396933 169 | 0.000 % |
541.99/542.28 c | 397342 | 7808 33384 101297 | 2147483647 397342 169 | 0.000 % |
543.29/543.50 c | 397791 | 7808 33384 101297 | 2147483647 397791 169 | 0.000 % |
544.49/544.75 c | 398284 | 7808 33384 101297 | 2147483647 398284 169 | 0.000 % |
545.68/545.99 c | 398826 | 7808 33384 101297 | 2147483647 398826 169 | 0.000 % |
547.19/547.50 c | 399422 | 7808 33384 101297 | 2147483647 399422 169 | 0.000 % |
548.89/549.15 c | 400077 | 7808 33384 101297 | 2147483647 400077 169 | 0.000 % |
550.79/551.04 c | 400797 | 7808 33384 101297 | 2147483647 400797 169 | 0.000 % |
552.79/553.02 c | 401589 | 7808 33384 101297 | 2147483647 401589 169 | 0.000 % |
554.88/555.18 c | 402461 | 7808 33384 101297 | 2147483647 402461 169 | 0.000 % |
557.29/557.52 c | 403421 | 7808 33384 101297 | 2147483647 403421 169 | 0.000 % |
559.78/560.06 c | 404474 | 7808 33384 101297 | 2147483647 404474 169 | 0.000 % |
562.48/562.77 c | 405632 | 7808 33384 101297 | 2147483647 405632 169 | 0.000 % |
565.98/566.23 c | 406907 | 7808 33384 101297 | 2147483647 406907 169 | 0.000 % |
569.38/569.69 c | 408307 | 7808 33384 101297 | 2147483647 408307 169 | 0.000 % |
573.07/573.39 c | 409847 | 7808 33384 101297 | 2147483647 409847 169 | 0.000 % |
576.98/577.27 c | 411543 | 7808 33384 101297 | 2147483647 411543 169 | 0.000 % |
581.98/582.21 c | 413407 | 7808 33384 101297 | 2147483647 413407 169 | 0.000 % |
586.97/587.26 c | 415457 | 7808 33384 101297 | 2147483647 415457 169 | 0.000 % |
592.48/592.75 c | 417710 | 7808 33384 101297 | 2147483647 417710 169 | 0.000 % |
598.38/598.66 c | 420188 | 7808 33384 101297 | 2147483647 420188 169 | 0.000 % |
604.97/605.27 c | 422913 | 7808 33384 101297 | 2147483647 422913 170 | 0.000 % |
612.27/612.59 c | 425910 | 7808 33384 101297 | 2147483647 425910 170 | 0.000 % |
619.96/620.22 c | 429206 | 7808 33384 101297 | 2147483647 429206 170 | 0.000 % |
629.06/629.33 c | 432831 | 7808 33384 101297 | 2147483647 432831 170 | 0.000 % |
638.76/639.05 c | 436819 | 7808 33384 101297 | 2147483647 436819 170 | 0.000 % |
639.06/639.33 c | 436919 | 7808 33384 101297 | 2147483647 436919 170 | 0.000 % |
639.46/639.71 c | 437033 | 7808 33384 101297 | 2147483647 437033 170 | 0.000 % |
639.86/640.17 c | 437155 | 7808 33384 101297 | 2147483647 437155 170 | 0.000 % |
640.35/640.65 c | 437290 | 7808 33384 101297 | 2147483647 437290 170 | 0.000 % |
640.75/641.09 c | 437436 | 7808 33384 101297 | 2147483647 437436 170 | 0.000 % |
641.35/641.68 c | 437598 | 7808 33384 101297 | 2147483647 437598 170 | 0.000 % |
642.06/642.32 c | 437774 | 7808 33384 101297 | 2147483647 437774 170 | 0.000 % |
642.65/642.90 c | 437969 | 7808 33384 101297 | 2147483647 437969 170 | 0.000 % |
643.35/643.64 c | 438182 | 7808 33384 101297 | 2147483647 438182 170 | 0.000 % |
644.05/644.31 c | 438416 | 7808 33384 101297 | 2147483647 438416 170 | 0.000 % |
644.75/645.06 c | 438672 | 7808 33384 101297 | 2147483647 438672 170 | 0.000 % |
645.65/645.96 c | 438953 | 7808 33384 101297 | 2147483647 438953 170 | 0.000 % |
646.56/646.88 c | 439264 | 7808 33384 101297 | 2147483647 439264 170 | 0.000 % |
647.56/647.90 c | 439603 | 7808 33384 101297 | 2147483647 439603 170 | 0.000 % |
648.86/649.10 c | 439975 | 7808 33384 101297 | 2147483647 439975 170 | 0.000 % |
650.06/650.37 c | 440388 | 7808 33384 101297 | 2147483647 440388 170 | 0.000 % |
651.45/651.71 c | 440839 | 7808 33384 101297 | 2147483647 440839 170 | 0.000 % |
652.95/653.21 c | 441332 | 7808 33384 101297 | 2147483647 441332 170 | 0.000 % |
654.45/654.73 c | 441875 | 7808 33384 101297 | 2147483647 441875 170 | 0.000 % |
656.05/656.39 c | 442471 | 7808 33384 101297 | 2147483647 442471 170 | 0.000 % |
657.95/658.20 c | 443127 | 7808 33384 101297 | 2147483647 443127 170 | 0.000 % |
659.94/660.29 c | 443847 | 7808 33384 101297 | 2147483647 443847 170 | 0.000 % |
661.95/662.29 c | 444640 | 7808 33384 101297 | 2147483647 444640 170 | 0.000 % |
664.35/664.62 c | 445512 | 7808 33384 101297 | 2147483647 445512 170 | 0.000 % |
667.25/667.55 c | 446470 | 7808 33384 101297 | 2147483647 446470 170 | 0.000 % |
670.25/670.51 c | 447526 | 7808 33384 101297 | 2147483647 447526 170 | 0.000 % |
673.64/673.95 c | 448687 | 7808 33384 101297 | 2147483647 448687 170 | 0.000 % |
676.94/677.27 c | 449962 | 7808 33384 101297 | 2147483647 449962 170 | 0.000 % |
680.65/680.99 c | 451362 | 7808 33384 101297 | 450000 451362 170 | 0.000 % |
684.85/685.17 c | 452903 | 7808 33384 101297 | 450000 400962 170 | 0.000 % |
689.04/689.35 c | 454598 | 7808 33384 101297 | 450000 402657 170 | 0.000 % |
693.85/694.15 c | 456463 | 7808 33384 101297 | 450000 404522 170 | 0.000 % |
698.94/699.25 c | 458512 | 7808 33384 101297 | 450000 406571 170 | 0.000 % |
704.44/704.71 c | 460766 | 7808 33384 101297 | 2147483647 408825 170 | 0.000 % |
710.04/710.36 c | 463244 | 7808 33384 101297 | 2147483647 411303 171 | 0.000 % |
716.44/716.75 c | 465972 | 7808 33384 101297 | 2147483647 414031 171 | 0.000 % |
723.83/724.11 c | 468969 | 7808 33384 101297 | 2147483647 417028 171 | 0.000 % |
731.53/731.88 c | 472268 | 7808 33384 101297 | 2147483647 420327 171 | 0.000 % |
739.93/740.29 c | 475893 | 7808 33384 101297 | 2147483647 423952 171 | 0.000 % |
749.73/750.00 c | 479880 | 7808 33384 101297 | 2147483647 427939 171 | 0.000 % |
760.72/761.00 c | 484265 | 7808 33384 101297 | 2147483647 432324 171 | 0.000 % |
760.93/761.29 c | 484365 | 7808 33384 101297 | 2147483647 432424 171 | 0.000 % |
761.32/761.67 c | 484477 | 7808 33384 101297 | 2147483647 432536 171 | 0.000 % |
761.72/762.06 c | 484599 | 7808 33384 101297 | 2147483647 432658 171 | 0.000 % |
762.22/762.59 c | 484732 | 7808 33384 101297 | 2147483647 432791 171 | 0.000 % |
762.72/763.09 c | 484881 | 7808 33384 101297 | 2147483647 432940 171 | 0.000 % |
763.32/763.62 c | 485044 | 7808 33384 101297 | 2147483647 433103 171 | 0.000 % |
763.92/764.24 c | 485221 | 7808 33384 101297 | 2147483647 433280 171 | 0.000 % |
764.52/764.84 c | 485415 | 7808 33384 101297 | 2147483647 433474 171 | 0.000 % |
765.12/765.45 c | 485628 | 7808 33384 101297 | 2147483647 433687 171 | 0.000 % |
765.82/766.18 c | 485863 | 7808 33384 101297 | 2147483647 433922 171 | 0.000 % |
766.62/766.98 c | 486120 | 7808 33384 101297 | 2147483647 434179 171 | 0.000 % |
767.52/767.82 c | 486402 | 7808 33384 101297 | 2147483647 434461 171 | 0.000 % |
768.42/768.80 c | 486712 | 7808 33384 101297 | 2147483647 434771 171 | 0.000 % |
769.62/769.90 c | 487052 | 7808 33384 101297 | 2147483647 435111 171 | 0.000 % |
770.72/771.08 c | 487424 | 7808 33384 101297 | 2147483647 435483 171 | 0.000 % |
771.92/772.28 c | 487834 | 7808 33384 101297 | 2147483647 435893 171 | 0.000 % |
773.32/773.61 c | 488283 | 7808 33384 101297 | 2147483647 436342 171 | 0.000 % |
774.72/775.04 c | 488779 | 7808 33384 101297 | 2147483647 436838 171 | 0.000 % |
776.12/776.48 c | 489321 | 7808 33384 101297 | 2147483647 437380 171 | 0.000 % |
777.81/778.14 c | 489917 | 7808 33384 101297 | 2147483647 437976 171 | 0.000 % |
779.81/780.12 c | 490572 | 7808 33384 101297 | 438059 438631 171 | 0.000 % |
782.21/782.54 c | 491293 | 7808 33384 101297 | 438059 391894 171 | 0.000 % |
784.21/784.56 c | 492086 | 7808 33384 101297 | 438059 392687 171 | 0.000 % |
786.51/786.85 c | 492959 | 7808 33384 101297 | 438059 393560 171 | 0.000 % |
789.01/789.36 c | 493917 | 7808 33384 101297 | 438059 394518 171 | 0.000 % |
791.81/792.17 c | 494970 | 7808 33384 101297 | 438059 395571 171 | 0.000 % |
794.71/795.05 c | 496131 | 7808 33384 101297 | 438059 396732 172 | 0.000 % |
797.71/798.07 c | 497404 | 7808 33384 101297 | 438059 398005 172 | 0.000 % |
800.91/801.27 c | 498804 | 7808 33384 101297 | 438059 399405 172 | 0.000 % |
804.71/805.01 c | 500345 | 7808 33384 101297 | 2147483647 400946 172 | 0.000 % |
808.91/809.29 c | 502042 | 7808 33384 101297 | 2147483647 402643 171 | 0.000 % |
814.10/814.42 c | 503905 | 7808 33384 101297 | 2147483647 404506 171 | 0.000 % |
818.70/819.08 c | 505955 | 7808 33384 101297 | 2147483647 406556 171 | 0.000 % |
824.10/824.49 c | 508210 | 7808 33384 101297 | 2147483647 408811 171 | 0.000 % |
830.00/830.36 c | 510688 | 7808 33384 101297 | 2147483647 411289 172 | 0.000 % |
836.60/836.98 c | 513415 | 7808 33384 101297 | 2147483647 414016 172 | 0.000 % |
844.19/844.57 c | 516412 | 7808 33384 101297 | 2147483647 417013 172 | 0.000 % |
851.99/852.34 c | 519708 | 7808 33384 101297 | 2147483647 420309 172 | 0.000 % |
860.59/860.92 c | 523333 | 7808 33384 101297 | 2147483647 423934 173 | 0.000 % |
870.19/870.58 c | 527320 | 7808 33384 101297 | 2147483647 427921 173 | 0.000 % |
880.39/880.78 c | 531705 | 7808 33384 101297 | 2147483647 432306 173 | 0.000 % |
891.38/891.73 c | 536528 | 7808 33384 101297 | 2147483647 437129 174 | 0.000 % |
891.79/892.13 c | 536628 | 7808 33384 101297 | 2147483647 437229 174 | 0.000 % |
892.08/892.49 c | 536739 | 7808 33384 101297 | 2147483647 437340 174 | 0.000 % |
892.58/892.91 c | 536860 | 7808 33384 101297 | 2147483647 437461 174 | 0.000 % |
892.98/893.36 c | 536994 | 7808 33384 101297 | 2147483647 437595 174 | 0.000 % |
893.58/893.90 c | 537140 | 7808 33384 101297 | 2147483647 437741 174 | 0.000 % |
893.98/894.39 c | 537300 | 7808 33384 101297 | 2147483647 437901 174 | 0.000 % |
894.58/894.96 c | 537477 | 7808 33384 101297 | 2147483647 438078 174 | 0.000 % |
895.28/895.60 c | 537672 | 7808 33384 101297 | 2147483647 438273 173 | 0.000 % |
895.98/896.31 c | 537886 | 7808 33384 101297 | 2147483647 438487 173 | 0.000 % |
896.68/897.10 c | 538119 | 7808 33384 101297 | 2147483647 438720 173 | 0.000 % |
897.48/897.87 c | 538376 | 7808 33384 101297 | 2147483647 438977 173 | 0.000 % |
898.28/898.70 c | 538657 | 7808 33384 101297 | 2147483647 439258 173 | 0.000 % |
899.18/899.55 c | 538968 | 7808 33384 101297 | 2147483647 439569 173 | 0.000 % |
900.28/900.68 c | 539307 | 7808 33384 101297 | 2147483647 439908 173 | 0.000 % |
901.48/901.86 c | 539680 | 7808 33384 101297 | 2147483647 440281 173 | 0.000 % |
902.68/903.07 c | 540090 | 7808 33384 101297 | 2147483647 440691 173 | 0.000 % |
904.08/904.48 c | 540539 | 7808 33384 101297 | 2147483647 441140 173 | 0.000 % |
905.68/906.01 c | 541033 | 7808 33384 101297 | 2147483647 441634 173 | 0.000 % |
907.18/907.58 c | 541575 | 7808 33384 101297 | 2147483647 442176 173 | 0.000 % |
909.07/909.41 c | 542171 | 7808 33384 101297 | 2147483647 442772 173 | 0.000 % |
910.77/911.15 c | 542826 | 7808 33384 101297 | 2147483647 443427 173 | 0.000 % |
912.88/913.26 c | 543546 | 7808 33384 101297 | 2147483647 444147 173 | 0.000 % |
915.38/915.74 c | 544338 | 7808 33384 101297 | 2147483647 444939 173 | 0.000 % |
917.88/918.25 c | 545209 | 7808 33384 101297 | 2147483647 445810 173 | 0.000 % |
920.67/921.01 c | 546167 | 7808 33384 101297 | 2147483647 446768 173 | 0.000 % |
923.58/923.93 c | 547223 | 7808 33384 101297 | 2147483647 447824 173 | 0.000 % |
926.57/926.98 c | 548383 | 7808 33384 101297 | 2147483647 448984 173 | 0.000 % |
930.17/930.53 c | 549657 | 7808 33384 101297 | 2147483647 450258 173 | 0.000 % |
933.58/933.94 c | 551058 | 7808 33384 101297 | 450601 451659 173 | 0.000 % |
937.88/938.27 c | 552598 | 7808 33384 101297 | 450601 407905 174 | 0.000 % |
942.07/942.46 c | 554292 | 7808 33384 101297 | 450601 409599 174 | 0.000 % |
946.77/947.11 c | 556156 | 7808 33384 101297 | 450601 411463 174 | 0.000 % |
951.67/952.02 c | 558205 | 7808 33384 101297 | 450601 413512 174 | 0.000 % |
957.07/957.48 c | 560461 | 7808 33384 101297 | 2147483647 415768 174 | 0.000 % |
962.96/963.36 c | 562941 | 7808 33384 101297 | 2147483647 418248 174 | 0.000 % |
969.56/969.97 c | 565666 | 7808 33384 101297 | 2147483647 420973 174 | 0.000 % |
976.96/977.38 c | 568663 | 7808 33384 101297 | 2147483647 423970 175 | 0.000 % |
984.86/985.22 c | 571959 | 7808 33384 101297 | 2147483647 427266 175 | 0.000 % |
993.76/994.12 c | 575587 | 7808 33384 101297 | 2147483647 430894 175 | 0.000 % |
1003.95/1004.38 c | 579574 | 7808 33384 101297 | 2147483647 434881 175 | 0.000 % |
1015.35/1015.76 c | 583961 | 7808 33384 101297 | 2147483647 439268 175 | 0.000 % |
1027.24/1027.66 c | 588784 | 7808 33384 101297 | 2147483647 444091 176 | 0.000 % |
1040.64/1041.09 c | 594092 | 7808 33384 101297 | 2147483647 449399 176 | 0.000 % |
1041.04/1041.49 c | 594192 | 7808 33384 101297 | 2147483647 449499 176 | 0.000 % |
1041.54/1041.90 c | 594303 | 7808 33384 101297 | 2147483647 449610 176 | 0.000 % |
1041.94/1042.32 c | 594425 | 7808 33384 101297 | 2147483647 449732 176 | 0.000 % |
1042.44/1042.82 c | 594558 | 7808 33384 101297 | 2147483647 449865 176 | 0.000 % |
1043.04/1043.43 c | 594704 | 7808 33384 101297 | 2147483647 450011 176 | 0.000 % |
1043.54/1043.99 c | 594864 | 7808 33384 101297 | 2147483647 450171 176 | 0.000 % |
1044.24/1044.64 c | 595041 | 7808 33384 101297 | 2147483647 450348 176 | 0.000 % |
1045.04/1045.41 c | 595234 | 7808 33384 101297 | 2147483647 450541 176 | 0.000 % |
1045.74/1046.15 c | 595447 | 7808 33384 101297 | 2147483647 450754 176 | 0.000 % |
1046.53/1046.91 c | 595680 | 7808 33384 101297 | 2147483647 450987 176 | 0.000 % |
1047.33/1047.76 c | 595937 | 7808 33384 101297 | 2147483647 451244 176 | 0.000 % |
1048.23/1048.67 c | 596221 | 7808 33384 101297 | 2147483647 451528 176 | 0.000 % |
1049.23/1049.68 c | 596531 | 7808 33384 101297 | 2147483647 451838 175 | 0.000 % |
1050.33/1050.77 c | 596870 | 7808 33384 101297 | 2147483647 452177 175 | 0.000 % |
1051.64/1052.00 c | 597244 | 7808 33384 101297 | 2147483647 452551 175 | 0.000 % |
1052.94/1053.32 c | 597653 | 7808 33384 101297 | 2147483647 452960 175 | 0.000 % |
1054.24/1054.67 c | 598102 | 7808 33384 101297 | 2147483647 453409 175 | 0.000 % |
1055.64/1056.06 c | 598597 | 7808 33384 101297 | 2147483647 453904 175 | 0.000 % |
1057.33/1057.74 c | 599139 | 7808 33384 101297 | 2147483647 454446 175 | 0.000 % |
1059.03/1059.46 c | 599736 | 7808 33384 101297 | 2147483647 455043 175 | 0.000 % |
1061.03/1061.44 c | 600392 | 7808 33384 101297 | 455308 455699 175 | 0.000 % |
1063.53/1063.93 c | 601112 | 7808 33384 101297 | 455308 399437 176 | 0.000 % |
1065.43/1065.89 c | 601904 | 7808 33384 101297 | 455308 400229 176 | 0.000 % |
1067.53/1067.93 c | 602778 | 7808 33384 101297 | 455308 401103 176 | 0.000 % |
1069.93/1070.31 c | 603737 | 7808 33384 101297 | 455308 402062 176 | 0.000 % |
1072.53/1072.97 c | 604793 | 7808 33384 101297 | 455308 403118 176 | 0.000 % |
1075.43/1075.83 c | 605952 | 7808 33384 101297 | 455308 404277 176 | 0.000 % |
1078.63/1079.06 c | 607225 | 7808 33384 101297 | 455308 405550 176 | 0.000 % |
1081.93/1082.36 c | 608626 | 7808 33384 101297 | 455308 406951 176 | 0.000 % |
1085.62/1086.00 c | 610168 | 7808 33384 101297 | 2147483647 408493 176 | 0.000 % |
1089.52/1089.99 c | 611865 | 7808 33384 101297 | 2147483647 410190 176 | 0.000 % |
1094.22/1094.61 c | 613728 | 7808 33384 101297 | 2147483647 412053 176 | 0.000 % |
1098.92/1099.35 c | 615778 | 7808 33384 101297 | 2147483647 414103 176 | 0.000 % |
1104.32/1104.73 c | 618031 | 7808 33384 101297 | 2147483647 416356 177 | 0.000 % |
1110.91/1111.30 c | 620509 | 7808 33384 101297 | 2147483647 418834 177 | 0.000 % |
1117.71/1118.17 c | 623236 | 7808 33384 101297 | 2147483647 421561 177 | 0.000 % |
1124.81/1125.28 c | 626236 | 7808 33384 101297 | 2147483647 424561 177 | 0.000 % |
1133.01/1133.48 c | 629534 | 7808 33384 101297 | 2147483647 427859 177 | 0.000 % |
1142.01/1142.42 c | 633160 | 7808 33384 101297 | 2147483647 431485 177 | 0.000 % |
1152.01/1152.42 c | 637149 | 7808 33384 101297 | 2147483647 435474 177 | 0.000 % |
1162.61/1163.02 c | 641534 | 7808 33384 101297 | 2147483647 439859 178 | 0.000 % |
1175.41/1175.87 c | 646357 | 7808 33384 101297 | 2147483647 444682 178 | 0.000 % |
1189.50/1189.92 c | 651667 | 7808 33384 101297 | 2147483647 449992 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-1832697-1242786366/watcher-1832697-1242786366 -o /tmp/evaluation-result-1832697-1242786366/solver-1832697-1242786366 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832697-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.92 0.98 0.99 3/64 6808
/proc/meminfo: memFree=1732464/2055920 swapFree=4180332/4192956
[pid=6808] ppid=6806 vsize=5356 CPUtime=0
/proc/6808/stat : 6808 (SatELiteGTI) S 6806 6808 6171 0 -1 4194304 276 0 0 0 0 0 0 0 16 0 1 0 306664632 5484544 235 1992294400 4194304 4889804 548682068832 18446744073709551615 240577642578 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/6808/statm: 1339 235 195 169 0 50 0
[pid=6809] ppid=6808 vsize=5356 CPUtime=0
/proc/6809/stat : 6809 (SatELiteGTI) R 6808 6808 6171 0 -1 4194368 51 25 0 0 0 0 0 0 20 0 1 0 306664633 5484544 238 1992294400 4194304 4889804 548682068832 18446744073709551615 240577471300 0 65536 4096 65538 0 0 0 17 0 0 0
/proc/6809/statm: 1339 238 198 169 0 50 0
[pid=6811] ppid=6809 vsize=0 CPUtime=0
/proc/6811/stat : 6811 (sed) Z 6809 6808 6171 0 -1 4194316 163 0 0 0 0 0 0 0 18 0 1 0 306664633 0 0 1992294400 0 0 0 0 0 0 0 4096 0 18446744071563351923 0 0 17 1 0 0
/proc/6811/statm: 0 0 0 0 0 0 0
[startup+0.034786 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 6808
/proc/meminfo: memFree=1732464/2055920 swapFree=4180332/4192956
[pid=6808] ppid=6806 vsize=5356 CPUtime=0
/proc/6808/stat : 6808 (SatELiteGTI) S 6806 6808 6171 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 306664632 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6808/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.10279 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 6808
/proc/meminfo: memFree=1732464/2055920 swapFree=4180332/4192956
[pid=6808] ppid=6806 vsize=5356 CPUtime=0
/proc/6808/stat : 6808 (SatELiteGTI) S 6806 6808 6171 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 306664632 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6808/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.302815 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 6808
/proc/meminfo: memFree=1732464/2055920 swapFree=4180332/4192956
[pid=6808] ppid=6806 vsize=5356 CPUtime=0.13
/proc/6808/stat : 6808 (SatELiteGTI) S 6806 6808 6171 0 -1 4194304 336 1323 0 0 0 0 13 0 16 0 1 0 306664632 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6808/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 5356
[startup+0.702846 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 6808
/proc/meminfo: memFree=1732464/2055920 swapFree=4180332/4192956
[pid=6808] ppid=6806 vsize=5356 CPUtime=0.13
/proc/6808/stat : 6808 (SatELiteGTI) S 6806 6808 6171 0 -1 4194304 336 1323 0 0 0 0 13 0 16 0 1 0 306664632 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6808/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 5356
[startup+1.50191 s]
/proc/loadavg: 0.92 0.98 0.99 2/66 6814
/proc/meminfo: memFree=1726880/2055920 swapFree=4180332/4192956
[pid=6808] ppid=6806 vsize=5356 CPUtime=0.13
/proc/6808/stat : 6808 (SatELiteGTI) S 6806 6808 6171 0 -1 4194304 336 1323 0 0 0 0 13 0 16 0 1 0 306664632 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6808/statm: 1339 239 197 169 0 50 0
[pid=6814] ppid=6808 vsize=6980 CPUtime=1.33
/proc/6814/stat : 6814 (minisat_static) R 6808 6808 6171 0 -1 4194304 1519 0 0 0 133 0 0 0 25 0 1 0 306664647 7147520 1505 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/6814/statm: 1745 1505 77 171 0 1572 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 12336
[startup+3.10105 s]
/proc/loadavg: 0.92 0.98 0.99 2/66 6814
/proc/meminfo: memFree=1724256/2055920 swapFree=4180332/4192956
[pid=6808] ppid=6806 vsize=5356 CPUtime=0.13
/proc/6808/stat : 6808 (SatELiteGTI) S 6806 6808 6171 0 -1 4194304 336 1323 0 0 0 0 13 0 16 0 1 0 306664632 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6808/statm: 1339 239 197 169 0 50 0
[pid=6814] ppid=6808 vsize=10280 CPUtime=2.92
/proc/6814/stat : 6814 (minisat_static) R 6808 6808 6171 0 -1 4194304 2343 0 0 0 291 1 0 0 25 0 1 0 306664647 10526720 2329 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/6814/statm: 2570 2329 77 171 0 2397 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 15636
[startup+6.30133 s]
/proc/loadavg: 0.93 0.98 0.99 2/66 6814
/proc/meminfo: memFree=1718304/2055920 swapFree=4180332/4192956
[pid=6808] ppid=6806 vsize=5356 CPUtime=0.13
/proc/6808/stat : 6808 (SatELiteGTI) S 6806 6808 6171 0 -1 4194304 336 1323 0 0 0 0 13 0 16 0 1 0 306664632 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6808/statm: 1339 239 197 169 0 50 0
[pid=6814] ppid=6808 vsize=15652 CPUtime=6.13
/proc/6814/stat : 6814 (minisat_static) R 6808 6808 6171 0 -1 4194304 3697 0 0 0 611 2 0 0 25 0 1 0 306664647 16027648 3683 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/6814/statm: 3913 3683 77 171 0 3740 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 21008
[startup+12.7019 s]
/proc/loadavg: 0.93 0.98 0.99 2/66 6814
/proc/meminfo: memFree=1708384/2055920 swapFree=4180332/4192956
[pid=6808] ppid=6806 vsize=5356 CPUtime=0.13
/proc/6808/stat : 6808 (SatELiteGTI) S 6806 6808 6171 0 -1 4194304 336 1323 0 0 0 0 13 0 16 0 1 0 306664632 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6808/statm: 1339 239 197 169 0 50 0
[pid=6814] ppid=6808 vsize=25056 CPUtime=12.53
/proc/6814/stat : 6814 (minisat_static) R 6808 6808 6171 0 -1 4194304 6028 0 0 0 1248 5 0 0 25 0 1 0 306664647 25657344 6014 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/6814/statm: 6264 6014 77 171 0 6091 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 30412
[startup+25.502 s]
/proc/loadavg: 0.95 0.98 0.99 2/66 6814
/proc/meminfo: memFree=1692832/2055920 swapFree=4180332/4192956
[pid=6808] ppid=6806 vsize=5356 CPUtime=0.13
/proc/6808/stat : 6808 (SatELiteGTI) S 6806 6808 6171 0 -1 4194304 336 1323 0 0 0 0 13 0 16 0 1 0 306664632 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6808/statm: 1339 239 197 169 0 50 0
[pid=6814] ppid=6808 vsize=39920 CPUtime=25.33
/proc/6814/stat : 6814 (minisat_static) R 6808 6808 6171 0 -1 4194304 9749 0 0 0 2523 10 0 0 25 0 1 0 306664647 40878080 9735 1992294400 134512640 135215339 4294956240 18446744073709551615 134539307 0 0 4096 3 0 0 0 17 1 0 0
/proc/6814/statm: 9980 9735 77 171 0 9807 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 45276
[startup+51.1013 s]
/proc/loadavg: 0.96 0.98 0.99 2/66 6814
/proc/meminfo: memFree=1668896/2055920 swapFree=4180332/4192956
[pid=6808] ppid=6806 vsize=5356 CPUtime=0.13
/proc/6808/stat : 6808 (SatELiteGTI) S 6806 6808 6171 0 -1 4194304 336 1323 0 0 0 0 13 0 16 0 1 0 306664632 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6808/statm: 1339 239 197 169 0 50 0
[pid=6814] ppid=6808 vsize=63980 CPUtime=50.91
/proc/6814/stat : 6814 (minisat_static) R 6808 6808 6171 0 -1 4194304 15720 0 0 0 5076 15 0 0 25 0 1 0 306664647 65515520 15706 1992294400 134512640 135215339 4294956240 18446744073709551615 134528630 0 0 4096 3 0 0 0 17 1 0 0
/proc/6814/statm: 15995 15706 77 171 0 15822 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 69336
[startup+102.306 s]
/proc/loadavg: 0.98 0.98 0.99 2/66 6814
/proc/meminfo: memFree=1631136/2055920 swapFree=4180332/4192956
[pid=6808] ppid=6806 vsize=5356 CPUtime=0.13
/proc/6808/stat : 6808 (SatELiteGTI) S 6806 6808 6171 0 -1 4194304 336 1323 0 0 0 0 13 0 16 0 1 0 306664632 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6808/statm: 1339 239 197 169 0 50 0
[pid=6814] ppid=6808 vsize=101340 CPUtime=102.1
/proc/6814/stat : 6814 (minisat_static) R 6808 6808 6171 0 -1 4194304 25069 0 0 0 10185 25 0 0 25 0 1 0 306664647 103772160 25055 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/6814/statm: 25335 25055 77 171 0 25162 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 106696
[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 6814
/proc/meminfo: memFree=1596832/2055920 swapFree=4180332/4192956
[pid=6808] ppid=6806 vsize=5356 CPUtime=0.13
/proc/6808/stat : 6808 (SatELiteGTI) S 6806 6808 6171 0 -1 4194304 336 1323 0 0 0 0 13 0 16 0 1 0 306664632 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6808/statm: 1339 239 197 169 0 50 0
[pid=6814] ppid=6808 vsize=135528 CPUtime=162.08
/proc/6814/stat : 6814 (minisat_static) R 6808 6808 6171 0 -1 4194304 33662 0 0 0 16173 35 0 0 25 0 1 0 306664647 138780672 33648 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/6814/statm: 33882 33648 77 171 0 33709 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 140884
[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 6814
/proc/meminfo: memFree=1567328/2055920 swapFree=4180332/4192956
[pid=6808] ppid=6806 vsize=5356 CPUtime=0.13
/proc/6808/stat : 6808 (SatELiteGTI) S 6806 6808 6171 0 -1 4194304 336 1323 0 0 0 0 13 0 16 0 1 0 306664632 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6808/statm: 1339 239 197 169 0 50 0
[pid=6814] ppid=6808 vsize=164972 CPUtime=222.06
/proc/6814/stat : 6814 (minisat_static) R 6808 6808 6171 0 -1 4194304 40945 0 0 0 22163 43 0 0 25 0 1 0 306664647 168931328 40931 1992294400 134512640 135215339 4294956240 18446744073709551615 134539494 0 0 4096 3 0 0 0 17 1 0 0
/proc/6814/statm: 41243 40931 77 171 0 41070 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 170328
[startup+282.303 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 6814
/proc/meminfo: memFree=1541152/2055920 swapFree=4180332/4192956
[pid=6808] ppid=6806 vsize=5356 CPUtime=0.13
/proc/6808/stat : 6808 (SatELiteGTI) S 6806 6808 6171 0 -1 4194304 336 1323 0 0 0 0 13 0 16 0 1 0 306664632 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6808/statm: 1339 239 197 169 0 50 0
[pid=6814] ppid=6808 vsize=190976 CPUtime=282.05
/proc/6814/stat : 6814 (minisat_static) R 6808 6808 6171 0 -1 4194304 47480 0 0 0 28152 53 0 0 25 0 1 0 306664647 195559424 47466 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/6814/statm: 47744 47466 77 171 0 47571 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 196332
[startup+342.303 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 6814
/proc/meminfo: memFree=1517472/2055920 swapFree=4180332/4192956
[pid=6808] ppid=6806 vsize=5356 CPUtime=0.13
/proc/6808/stat : 6808 (SatELiteGTI) S 6806 6808 6171 0 -1 4194304 336 1323 0 0 0 0 13 0 16 0 1 0 306664632 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6808/statm: 1339 239 197 169 0 50 0
[pid=6814] ppid=6808 vsize=214208 CPUtime=342.03
/proc/6814/stat : 6814 (minisat_static) R 6808 6808 6171 0 -1 4194304 53340 0 0 0 34142 61 0 0 25 0 1 0 306664647 219348992 53326 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/6814/statm: 53552 53326 77 171 0 53379 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 219564
[startup+402.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 6814
/proc/meminfo: memFree=1495840/2055920 swapFree=4180332/4192956
[pid=6808] ppid=6806 vsize=5356 CPUtime=0.13
/proc/6808/stat : 6808 (SatELiteGTI) S 6806 6808 6171 0 -1 4194304 336 1323 0 0 0 0 13 0 16 0 1 0 306664632 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6808/statm: 1339 239 197 169 0 50 0
[pid=6814] ppid=6808 vsize=236332 CPUtime=402.01
################
# More data... #
################
/proc/6814/statm: 69247 68922 77 171 0 69074 0
Current children cumulated CPU time (s) 522.09
Current children cumulated vsize (KiB) 282344
[startup+582.303 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 6814
/proc/meminfo: memFree=1437088/2055920 swapFree=4180332/4192956
[pid=6808] ppid=6806 vsize=5356 CPUtime=0.13
/proc/6808/stat : 6808 (SatELiteGTI) S 6806 6808 6171 0 -1 4194304 336 1323 0 0 0 0 13 0 16 0 1 0 306664632 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6808/statm: 1339 239 197 169 0 50 0
[pid=6814] ppid=6808 vsize=294284 CPUtime=581.95
/proc/6814/stat : 6814 (minisat_static) R 6808 6808 6171 0 -1 4194304 73312 0 0 0 58110 85 0 0 25 0 1 0 306664647 301346816 73298 1992294400 134512640 135215339 4294956240 18446744073709551615 134528742 0 0 4096 3 0 0 0 17 1 0 0
/proc/6814/statm: 73571 73298 77 171 0 73398 0
Current children cumulated CPU time (s) 582.08
Current children cumulated vsize (KiB) 299640
[startup+642.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 6814
/proc/meminfo: memFree=1417888/2055920 swapFree=4180332/4192956
[pid=6808] ppid=6806 vsize=5356 CPUtime=0.13
/proc/6808/stat : 6808 (SatELiteGTI) S 6806 6808 6171 0 -1 4194304 336 1323 0 0 0 0 13 0 16 0 1 0 306664632 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6808/statm: 1339 239 197 169 0 50 0
[pid=6814] ppid=6808 vsize=313292 CPUtime=641.93
/proc/6814/stat : 6814 (minisat_static) R 6808 6808 6171 0 -1 4194304 78069 0 0 0 64103 90 0 0 25 0 1 0 306664647 320811008 78055 1992294400 134512640 135215339 4294956240 18446744073709551615 134538128 0 0 4096 3 0 0 0 17 1 0 0
/proc/6814/statm: 78323 78055 77 171 0 78150 0
Current children cumulated CPU time (s) 642.06
Current children cumulated vsize (KiB) 318648
[startup+702.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 6814
/proc/meminfo: memFree=1407968/2055920 swapFree=4180332/4192956
[pid=6808] ppid=6806 vsize=5356 CPUtime=0.13
/proc/6808/stat : 6808 (SatELiteGTI) S 6806 6808 6171 0 -1 4194304 336 1323 0 0 0 0 13 0 16 0 1 0 306664632 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6808/statm: 1339 239 197 169 0 50 0
[pid=6814] ppid=6808 vsize=322928 CPUtime=701.91
/proc/6814/stat : 6814 (minisat_static) R 6808 6808 6171 0 -1 4194304 80486 0 0 0 70097 94 0 0 25 0 1 0 306664647 330678272 80472 1992294400 134512640 135215339 4294956240 18446744073709551615 134537869 0 0 4096 3 0 0 0 17 1 0 0
/proc/6814/statm: 80732 80472 77 171 0 80559 0
Current children cumulated CPU time (s) 702.04
Current children cumulated vsize (KiB) 328284
[startup+762.307 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 6814
/proc/meminfo: memFree=1407840/2055920 swapFree=4180332/4192956
[pid=6808] ppid=6806 vsize=5356 CPUtime=0.13
/proc/6808/stat : 6808 (SatELiteGTI) S 6806 6808 6171 0 -1 4194304 336 1323 0 0 0 0 13 0 16 0 1 0 306664632 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6808/statm: 1339 239 197 169 0 50 0
[pid=6814] ppid=6808 vsize=322928 CPUtime=761.9
/proc/6814/stat : 6814 (minisat_static) R 6808 6808 6171 0 -1 4194304 80486 0 0 0 76096 94 0 0 25 0 1 0 306664647 330678272 80472 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/6814/statm: 80732 80472 77 171 0 80559 0
Current children cumulated CPU time (s) 762.03
Current children cumulated vsize (KiB) 328284
[startup+822.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 6814
/proc/meminfo: memFree=1407776/2055920 swapFree=4180332/4192956
[pid=6808] ppid=6806 vsize=5356 CPUtime=0.13
/proc/6808/stat : 6808 (SatELiteGTI) S 6806 6808 6171 0 -1 4194304 336 1323 0 0 0 0 13 0 16 0 1 0 306664632 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6808/statm: 1339 239 197 169 0 50 0
[pid=6814] ppid=6808 vsize=322928 CPUtime=821.87
/proc/6814/stat : 6814 (minisat_static) R 6808 6808 6171 0 -1 4194304 80486 0 0 0 82093 94 0 0 25 0 1 0 306664647 330678272 80472 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/6814/statm: 80732 80472 77 171 0 80559 0
Current children cumulated CPU time (s) 822
Current children cumulated vsize (KiB) 328284
[startup+882.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 6814
/proc/meminfo: memFree=1407712/2055920 swapFree=4180332/4192956
[pid=6808] ppid=6806 vsize=5356 CPUtime=0.13
/proc/6808/stat : 6808 (SatELiteGTI) S 6806 6808 6171 0 -1 4194304 336 1323 0 0 0 0 13 0 16 0 1 0 306664632 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6808/statm: 1339 239 197 169 0 50 0
[pid=6814] ppid=6808 vsize=322928 CPUtime=881.86
/proc/6814/stat : 6814 (minisat_static) R 6808 6808 6171 0 -1 4194304 80486 0 0 0 88092 94 0 0 25 0 1 0 306664647 330678272 80472 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/6814/statm: 80732 80472 77 171 0 80559 0
Current children cumulated CPU time (s) 881.99
Current children cumulated vsize (KiB) 328284
[startup+942.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 6814
/proc/meminfo: memFree=1401440/2055920 swapFree=4180332/4192956
[pid=6808] ppid=6806 vsize=5356 CPUtime=0.13
/proc/6808/stat : 6808 (SatELiteGTI) S 6806 6808 6171 0 -1 4194304 336 1323 0 0 0 0 13 0 16 0 1 0 306664632 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6808/statm: 1339 239 197 169 0 50 0
[pid=6814] ppid=6808 vsize=329000 CPUtime=941.84
/proc/6814/stat : 6814 (minisat_static) R 6808 6808 6171 0 -1 4194304 82021 0 0 0 94087 97 0 0 25 0 1 0 306664647 336896000 82007 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/6814/statm: 82250 82007 77 171 0 82077 0
Current children cumulated CPU time (s) 941.97
Current children cumulated vsize (KiB) 334356
[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 6816
/proc/meminfo: memFree=1401176/2055920 swapFree=4180332/4192956
[pid=6808] ppid=6806 vsize=5356 CPUtime=0.13
/proc/6808/stat : 6808 (SatELiteGTI) S 6806 6808 6171 0 -1 4194304 336 1323 0 0 0 0 13 0 16 0 1 0 306664632 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6808/statm: 1339 239 197 169 0 50 0
[pid=6814] ppid=6808 vsize=329000 CPUtime=1001.82
/proc/6814/stat : 6814 (minisat_static) R 6808 6808 6171 0 -1 4194304 82021 0 0 0 100085 97 0 0 25 0 1 0 306664647 336896000 82007 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/6814/statm: 82250 82007 77 171 0 82077 0
Current children cumulated CPU time (s) 1001.95
Current children cumulated vsize (KiB) 334356
[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 6816
/proc/meminfo: memFree=1394208/2055920 swapFree=4180332/4192956
[pid=6808] ppid=6806 vsize=5356 CPUtime=0.13
/proc/6808/stat : 6808 (SatELiteGTI) S 6806 6808 6171 0 -1 4194304 336 1323 0 0 0 0 13 0 16 0 1 0 306664632 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6808/statm: 1339 239 197 169 0 50 0
[pid=6814] ppid=6808 vsize=336128 CPUtime=1061.8
/proc/6814/stat : 6814 (minisat_static) R 6808 6808 6171 0 -1 4194304 83793 0 0 0 106081 99 0 0 25 0 1 0 306664647 344195072 83779 1992294400 134512640 135215339 4294956240 18446744073709551615 134528802 0 0 4096 3 0 0 0 17 1 0 0
/proc/6814/statm: 84032 83779 77 171 0 83859 0
Current children cumulated CPU time (s) 1061.93
Current children cumulated vsize (KiB) 341484
[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 6816
/proc/meminfo: memFree=1394144/2055920 swapFree=4180332/4192956
[pid=6808] ppid=6806 vsize=5356 CPUtime=0.13
/proc/6808/stat : 6808 (SatELiteGTI) S 6806 6808 6171 0 -1 4194304 336 1323 0 0 0 0 13 0 16 0 1 0 306664632 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6808/statm: 1339 239 197 169 0 50 0
[pid=6814] ppid=6808 vsize=336128 CPUtime=1121.78
/proc/6814/stat : 6814 (minisat_static) R 6808 6808 6171 0 -1 4194304 83793 0 0 0 112079 99 0 0 25 0 1 0 306664647 344195072 83779 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/6814/statm: 84032 83779 77 171 0 83859 0
Current children cumulated CPU time (s) 1121.91
Current children cumulated vsize (KiB) 341484
[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 6816
/proc/meminfo: memFree=1394144/2055920 swapFree=4180332/4192956
[pid=6808] ppid=6806 vsize=5356 CPUtime=0.13
/proc/6808/stat : 6808 (SatELiteGTI) S 6806 6808 6171 0 -1 4194304 336 1323 0 0 0 0 13 0 16 0 1 0 306664632 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6808/statm: 1339 239 197 169 0 50 0
[pid=6814] ppid=6808 vsize=336128 CPUtime=1181.77
/proc/6814/stat : 6814 (minisat_static) R 6808 6808 6171 0 -1 4194304 83793 0 0 0 118077 100 0 0 25 0 1 0 306664647 344195072 83779 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/6814/statm: 84032 83779 77 171 0 83859 0
Current children cumulated CPU time (s) 1181.9
Current children cumulated vsize (KiB) 341484
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.4 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 6816
/proc/meminfo: memFree=1390880/2055920 swapFree=4180332/4192956
[pid=6808] ppid=6806 vsize=5356 CPUtime=0.13
/proc/6808/stat : 6808 (SatELiteGTI) S 6806 6808 6171 0 -1 4194304 336 1323 0 0 0 0 13 0 16 0 1 0 306664632 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6808/statm: 1339 239 197 169 0 50 0
[pid=6814] ppid=6808 vsize=339296 CPUtime=1199.87
/proc/6814/stat : 6814 (minisat_static) R 6808 6808 6171 0 -1 4194304 84602 0 0 0 119886 101 0 0 25 0 1 0 306664647 347439104 84588 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/6814/statm: 84824 84588 77 171 0 84651 0
Current children cumulated CPU time (s) 1200
Current children cumulated vsize (KiB) 344652
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 6808 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=9998
# CPU time returned by wait4() is 0.147977
# while last known CPU time is 1200
#
# 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
CPU user time (s): 1198.99
CPU system time (s): 1.01
CPU usage (%): 99.9657
Max. virtual memory (cumulated for all children) (KiB): 344652
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.137979
system time used= 0.009998
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1659
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14
involuntary context switches= 6
runsolver used 1.44778 second user time and 2.99454 second system time
The end
Begin job on node50 at 2009-05-20 04:26:06
IDJOB=1832697
IDBENCH=70312
IDSOLVER=671
FILE ID=node50/1832697-1242786366
PBS_JOBID= 9322364
Free space on /tmp= 65920 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/RANDOM/LARGE/3SAT/UNKNOWN/8000/unif-k3-r4.2-v8000-c33600-S500426663-025.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832697-1242786366/watcher-1832697-1242786366 -o /tmp/evaluation-result-1832697-1242786366/solver-1832697-1242786366 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832697-1242786366.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 6bf66283a1f602e5557546993c52c1e8
RANDOM SEED=954608212
node50.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.216
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.216
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: 1733008 kB
Buffers: 34252 kB
Cached: 218832 kB
SwapCached: 6948 kB
Active: 46552 kB
Inactive: 215008 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1733008 kB
SwapTotal: 4192956 kB
SwapFree: 4180332 kB
Dirty: 2184 kB
Writeback: 0 kB
Mapped: 13556 kB
Slab: 47364 kB
Committed_AS: 983712 kB
PageTables: 1452 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 65920 MiB
End job on node50 at 2009-05-20 04:46:08