0.00/0.00 c Parsing...
0.00/0.02 c ==============================================================================
0.00/0.02 c | | ORIGINAL | LEARNT | |
0.00/0.02 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.02 c ==============================================================================
0.00/0.02 c | 0 | 25200 75600 | 7559 0 0 nan | 0.000 % |
0.00/0.08 c | 0 | 24996 75903 | -- 0 -- -- | -- | -204/303
0.00/0.08 c ==============================================================================
0.00/0.08 c Result : #vars: 5848 #clauses: 24996 #literals: 75903
0.00/0.08 c CPU time: 0.076988 s
0.00/0.08 c ==============================================================================
0.00/0.11 c This is MiniSat 2.0 beta
0.00/0.11 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.11 c ============================[ Problem Statistics ]=============================
0.00/0.11 c | |
0.00/0.11 c | Number of variables: 5848 |
0.00/0.11 c | Number of clauses: 24996 |
0.00/0.13 c | Parsing time: 0.01 s |
0.00/0.13 c ============================[ Search Statistics ]==============================
0.00/0.13 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.00/0.13 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.00/0.13 c ===============================================================================
0.00/0.13 c | 0 | 5848 24996 75903 | 8332 0 nan | 0.000 % |
0.00/0.14 c | 101 | 5848 24996 75903 | 8332 101 95 | 0.000 % |
0.00/0.16 c | 202 | 5848 24996 75903 | 8332 202 110 | 0.000 % |
0.00/0.18 c | 304 | 5848 24996 75903 | 8332 304 111 | 0.000 % |
0.10/0.20 c | 414 | 5848 24996 75903 | 8332 414 108 | 0.000 % |
0.10/0.21 c | 516 | 5848 24996 75903 | 8332 516 108 | 0.000 % |
0.10/0.23 c | 628 | 5848 24996 75903 | 8332 628 113 | 0.000 % |
0.10/0.25 c | 749 | 5848 24996 75903 | 8332 749 115 | 0.000 % |
0.10/0.27 c | 849 | 5848 24996 75903 | 8332 849 118 | 0.000 % |
0.10/0.29 c | 959 | 5848 24996 75903 | 8332 959 115 | 0.000 % |
0.10/0.31 c | 1082 | 5848 24996 75903 | 8332 1082 114 | 0.000 % |
0.10/0.33 c | 1216 | 5848 24996 75903 | 8332 1216 112 | 0.000 % |
0.10/0.34 c | 1316 | 5848 24996 75903 | 8332 1316 112 | 0.000 % |
0.10/0.36 c | 1426 | 5848 24996 75903 | 8332 1426 110 | 0.000 % |
0.10/0.38 c | 1547 | 5848 24996 75903 | 8332 1547 109 | 0.000 % |
0.10/0.41 c | 1680 | 5848 24996 75903 | 8332 1680 111 | 0.000 % |
0.10/0.43 c | 1828 | 5848 24996 75903 | 8332 1828 111 | 0.000 % |
0.10/0.45 c | 1928 | 5848 24996 75903 | 8332 1928 111 | 0.000 % |
0.10/0.47 c | 2038 | 5848 24996 75903 | 8332 2038 112 | 0.000 % |
0.10/0.49 c | 2159 | 5848 24996 75903 | 8332 2159 110 | 0.000 % |
0.10/0.51 c | 2294 | 5848 24996 75903 | 8332 2294 110 | 0.000 % |
0.10/0.54 c | 2441 | 5848 24996 75903 | 8332 2441 111 | 0.000 % |
0.10/0.56 c | 2601 | 5848 24996 75903 | 8332 2601 110 | 0.000 % |
0.10/0.58 c | 2701 | 5848 24996 75903 | 8332 2701 110 | 0.000 % |
0.10/0.60 c | 2811 | 5848 24996 75903 | 8332 2811 110 | 0.000 % |
0.10/0.62 c | 2932 | 5848 24996 75903 | 8332 2932 111 | 0.000 % |
0.10/0.65 c | 3068 | 5848 24996 75903 | 8332 3068 111 | 0.000 % |
0.10/0.67 c | 3217 | 5848 24996 75903 | 8332 3217 110 | 0.000 % |
0.10/0.70 c | 3377 | 5848 24996 75903 | 8332 3377 110 | 0.000 % |
0.10/0.73 c | 3554 | 5848 24996 75903 | 8332 3554 110 | 0.000 % |
0.10/0.75 c | 3654 | 5848 24996 75903 | 8332 3654 110 | 0.000 % |
0.10/0.77 c | 3764 | 5848 24996 75903 | 8332 3764 110 | 0.000 % |
0.10/0.79 c | 3886 | 5848 24996 75903 | 8332 3886 110 | 0.000 % |
0.10/0.82 c | 4019 | 5848 24996 75903 | 8332 4019 110 | 0.000 % |
0.10/0.85 c | 4165 | 5848 24996 75903 | 8332 4165 112 | 0.000 % |
0.10/0.88 c | 4327 | 5848 24996 75903 | 8332 4327 112 | 0.000 % |
0.10/0.91 c | 4504 | 5848 24996 75903 | 8332 4504 112 | 0.000 % |
0.10/0.94 c | 4697 | 5848 24996 75903 | 8332 4697 112 | 0.000 % |
0.10/0.96 c | 4799 | 5848 24996 75903 | 8332 4799 112 | 0.000 % |
0.10/0.98 c | 4909 | 5848 24996 75903 | 8332 4909 113 | 0.000 % |
0.97/1.01 c | 5031 | 5848 24996 75903 | 8332 5031 113 | 0.000 % |
0.97/1.04 c | 5167 | 5848 24996 75903 | 8332 5167 113 | 0.000 % |
0.97/1.07 c | 5314 | 5848 24996 75903 | 8332 5314 113 | 0.000 % |
1.08/1.10 c | 5475 | 5848 24996 75903 | 8332 5475 113 | 0.000 % |
1.08/1.14 c | 5651 | 5848 24996 75903 | 8332 5651 113 | 0.000 % |
1.08/1.18 c | 5847 | 5848 24996 75903 | 8332 5847 114 | 0.000 % |
1.18/1.23 c | 6059 | 5848 24996 75903 | 8332 6059 114 | 0.000 % |
1.18/1.25 c | 6161 | 5848 24996 75903 | 8332 6161 114 | 0.000 % |
1.18/1.27 c | 6272 | 5848 24996 75903 | 8332 6272 114 | 0.000 % |
1.28/1.30 c | 6394 | 5848 24996 75903 | 8332 6394 114 | 0.000 % |
1.28/1.33 c | 6527 | 5848 24996 75903 | 8332 6527 114 | 0.000 % |
1.28/1.36 c | 6674 | 5848 24996 75903 | 8332 6674 114 | 0.000 % |
1.28/1.39 c | 6835 | 5848 24996 75903 | 8332 6835 114 | 0.000 % |
1.38/1.43 c | 7011 | 5848 24996 75903 | 8332 7011 114 | 0.000 % |
1.38/1.47 c | 7204 | 5848 24996 75903 | 8332 7204 114 | 0.000 % |
1.48/1.52 c | 7418 | 5848 24996 75903 | 8332 7418 114 | 0.000 % |
1.48/1.57 c | 7653 | 5848 24996 75903 | 8332 7653 114 | 0.000 % |
1.48/1.59 c | 7755 | 5848 24996 75903 | 8332 7755 114 | 0.000 % |
1.57/1.62 c | 7866 | 5848 24996 75903 | 8332 7866 114 | 0.000 % |
1.57/1.65 c | 7987 | 5848 24996 75903 | 8332 7987 114 | 0.000 % |
1.57/1.68 c | 8123 | 5848 24996 75903 | 8332 8123 114 | 0.000 % |
1.67/1.71 c | 8269 | 5848 24996 75903 | 8332 8269 115 | 0.000 % |
1.67/1.74 c | 8429 | 5848 24996 75903 | 8332 8429 114 | 0.000 % |
1.67/1.78 c | 8606 | 5848 24996 75903 | 8332 7764 113 | 0.000 % |
1.77/1.83 c | 8800 | 5848 24996 75903 | 8332 7958 113 | 0.000 % |
1.77/1.87 c | 9014 | 5848 24996 75903 | 8332 8172 113 | 0.000 % |
1.87/1.92 c | 9247 | 5848 24996 75903 | 8332 8405 113 | 0.000 % |
1.87/1.98 c | 9503 | 5848 24996 75903 | 8332 7821 114 | 0.000 % |
1.97/2.01 c | 9604 | 5848 24996 75903 | 8332 7922 114 | 0.000 % |
1.97/2.03 c | 9715 | 5848 24996 75903 | 8332 8033 114 | 0.000 % |
1.97/2.06 c | 9837 | 5848 24996 75903 | 8332 8155 114 | 0.000 % |
1.97/2.09 c | 9974 | 5848 24996 75903 | 8332 8292 114 | 0.000 % |
2.08/2.12 c | 10120 | 5848 24996 75903 | 2147483647 8438 114 | 0.000 % |
2.08/2.16 c | 10280 | 5848 24996 75903 | 2147483647 8598 114 | 0.000 % |
2.18/2.20 c | 10456 | 5848 24996 75903 | 2147483647 8774 115 | 0.000 % |
2.18/2.25 c | 10649 | 5848 24996 75903 | 2147483647 8967 116 | 0.000 % |
2.18/2.30 c | 10862 | 5848 24996 75903 | 2147483647 9180 116 | 0.000 % |
2.27/2.36 c | 11095 | 5848 24996 75903 | 2147483647 9413 117 | 0.000 % |
2.37/2.41 c | 11351 | 5848 24996 75903 | 2147483647 9669 117 | 0.000 % |
2.37/2.48 c | 11632 | 5848 24996 75903 | 2147483647 9950 117 | 0.000 % |
2.47/2.50 c | 11732 | 5848 24996 75903 | 2147483647 10050 117 | 0.000 % |
2.47/2.53 c | 11844 | 5848 24996 75903 | 2147483647 10162 117 | 0.000 % |
2.47/2.56 c | 11966 | 5848 24996 75903 | 2147483647 10284 117 | 0.000 % |
2.47/2.59 c | 12099 | 5848 24996 75903 | 2147483647 10417 116 | 0.000 % |
2.57/2.62 c | 12245 | 5848 24996 75903 | 2147483647 10563 116 | 0.000 % |
2.57/2.67 c | 12405 | 5848 24996 75903 | 2147483647 10723 116 | 0.000 % |
2.67/2.71 c | 12582 | 5848 24996 75903 | 2147483647 10900 116 | 0.000 % |
2.67/2.76 c | 12778 | 5848 24996 75903 | 2147483647 11096 116 | 0.000 % |
2.77/2.81 c | 12990 | 5848 24996 75903 | 2147483647 11308 117 | 0.000 % |
2.77/2.86 c | 13224 | 5848 24996 75903 | 2147483647 11542 116 | 0.000 % |
2.87/2.93 c | 13481 | 5848 24996 75903 | 2147483647 11799 117 | 0.000 % |
2.97/3.00 c | 13763 | 5848 24996 75903 | 2147483647 12081 117 | 0.000 % |
2.97/3.08 c | 14072 | 5848 24996 75903 | 2147483647 12390 117 | 0.000 % |
3.07/3.11 c | 14173 | 5848 24996 75903 | 2147483647 12491 117 | 0.000 % |
3.07/3.14 c | 14283 | 5848 24996 75903 | 2147483647 12601 117 | 0.000 % |
3.07/3.17 c | 14404 | 5848 24996 75903 | 2147483647 12722 117 | 0.000 % |
3.17/3.20 c | 14537 | 5848 24996 75903 | 2147483647 12855 117 | 0.000 % |
3.17/3.24 c | 14685 | 5848 24996 75903 | 2147483647 13003 117 | 0.000 % |
3.17/3.28 c | 14848 | 5848 24996 75903 | 2147483647 13166 117 | 0.000 % |
3.27/3.33 c | 15025 | 5848 24996 75903 | 2147483647 13343 117 | 0.000 % |
3.27/3.38 c | 15219 | 5848 24996 75903 | 2147483647 13537 117 | 0.000 % |
3.37/3.44 c | 15431 | 5848 24996 75903 | 2147483647 13749 117 | 0.000 % |
3.47/3.50 c | 15665 | 5848 24996 75903 | 2147483647 13983 116 | 0.000 % |
3.47/3.57 c | 15922 | 5848 24996 75903 | 2147483647 14240 117 | 0.000 % |
3.58/3.64 c | 16203 | 5848 24996 75903 | 2147483647 14521 117 | 0.000 % |
3.68/3.73 c | 16512 | 5848 24996 75903 | 2147483647 14830 117 | 0.000 % |
3.77/3.82 c | 16854 | 5848 24996 75903 | 2147483647 15172 117 | 0.000 % |
3.77/3.85 c | 16954 | 5848 24996 75903 | 2147483647 15272 117 | 0.000 % |
3.77/3.88 c | 17064 | 5848 24996 75903 | 2147483647 15382 117 | 0.000 % |
3.87/3.91 c | 17187 | 5848 24996 75903 | 2147483647 15505 117 | 0.000 % |
3.87/3.95 c | 17322 | 5848 24996 75903 | 2147483647 15640 117 | 0.000 % |
3.87/3.99 c | 17468 | 5848 24996 75903 | 2147483647 15786 117 | 0.000 % |
3.97/4.03 c | 17629 | 5848 24996 75903 | 2147483647 15947 117 | 0.000 % |
3.97/4.08 c | 17805 | 5848 24996 75903 | 2147483647 16123 117 | 0.000 % |
4.07/4.13 c | 17999 | 5848 24996 75903 | 2147483647 16317 117 | 0.000 % |
4.07/4.19 c | 18211 | 5848 24996 75903 | 2147483647 16529 117 | 0.000 % |
4.17/4.26 c | 18445 | 5848 24996 75903 | 2147483647 16763 117 | 0.000 % |
4.28/4.34 c | 18702 | 5848 24996 75903 | 2147483647 17020 117 | 0.000 % |
4.37/4.42 c | 18988 | 5848 24996 75903 | 2147483647 17306 117 | 0.000 % |
4.47/4.50 c | 19297 | 5848 24996 75903 | 2147483647 17615 117 | 0.000 % |
4.57/4.61 c | 19636 | 5848 24996 75903 | 2147483647 17954 118 | 0.000 % |
4.68/4.72 c | 20008 | 5848 24996 75903 | 2147483647 18326 118 | 0.000 % |
4.68/4.75 c | 20109 | 5848 24996 75903 | 2147483647 18427 118 | 0.000 % |
4.68/4.79 c | 20219 | 5848 24996 75903 | 2147483647 18537 118 | 0.000 % |
4.78/4.83 c | 20344 | 5848 24996 75903 | 2147483647 18662 119 | 0.000 % |
4.78/4.86 c | 20477 | 5848 24996 75903 | 2147483647 18795 119 | 0.000 % |
4.88/4.90 c | 20623 | 5848 24996 75903 | 2147483647 18941 119 | 0.000 % |
4.88/4.95 c | 20783 | 5848 24996 75903 | 2147483647 19101 119 | 0.000 % |
4.97/5.01 c | 20959 | 5848 24996 75903 | 2147483647 19277 119 | 0.000 % |
4.97/5.07 c | 21154 | 5848 24996 75903 | 2147483647 19472 119 | 0.000 % |
5.07/5.13 c | 21366 | 5848 24996 75903 | 2147483647 19684 119 | 0.000 % |
5.17/5.20 c | 21599 | 5848 24996 75903 | 2147483647 19917 119 | 0.000 % |
5.17/5.29 c | 21855 | 5848 24996 75903 | 2147483647 20173 119 | 0.000 % |
5.27/5.37 c | 22136 | 5848 24996 75903 | 2147483647 20454 119 | 0.000 % |
5.38/5.46 c | 22445 | 5848 24996 75903 | 2147483647 20763 119 | 0.000 % |
5.48/5.58 c | 22784 | 5848 24996 75903 | 2147483647 21102 120 | 0.000 % |
5.57/5.69 c | 23157 | 5848 24996 75903 | 2147483647 21475 120 | 0.000 % |
5.77/5.81 c | 23566 | 5848 24996 75903 | 2147483647 21884 120 | 0.000 % |
5.77/5.85 c | 23666 | 5848 24996 75903 | 2147483647 21984 120 | 0.000 % |
5.77/5.89 c | 23778 | 5848 24996 75903 | 2147483647 22096 120 | 0.000 % |
5.87/5.93 c | 23899 | 5848 24996 75903 | 2147483647 22217 120 | 0.000 % |
5.87/5.97 c | 24032 | 5848 24996 75903 | 2147483647 22350 120 | 0.000 % |
5.97/6.02 c | 24179 | 5848 24996 75903 | 2147483647 22497 120 | 0.000 % |
5.97/6.08 c | 24339 | 5848 24996 75903 | 2147483647 22657 120 | 0.000 % |
6.07/6.13 c | 24516 | 5848 24996 75903 | 2147483647 22834 120 | 0.000 % |
6.17/6.20 c | 24709 | 5848 24996 75903 | 2147483647 23027 120 | 0.000 % |
6.17/6.28 c | 24921 | 5848 24996 75903 | 2147483647 23239 120 | 0.000 % |
6.27/6.35 c | 25157 | 5848 24996 75903 | 2147483647 23475 120 | 0.000 % |
6.37/6.44 c | 25414 | 5848 24996 75903 | 2147483647 23732 120 | 0.000 % |
6.48/6.54 c | 25695 | 5848 24996 75903 | 2147483647 24013 121 | 0.000 % |
6.57/6.64 c | 26006 | 5848 24996 75903 | 2147483647 24324 121 | 0.000 % |
6.67/6.76 c | 26349 | 5848 24996 75903 | 2147483647 24667 121 | 0.000 % |
6.77/6.87 c | 26722 | 5848 24996 75903 | 2147483647 25040 121 | 0.000 % |
6.97/7.01 c | 27132 | 5848 24996 75903 | 2147483647 25450 121 | 0.000 % |
7.07/7.17 c | 27582 | 5848 24996 75903 | 2147483647 25900 122 | 0.000 % |
7.17/7.20 c | 27683 | 5848 24996 75903 | 2147483647 26001 122 | 0.000 % |
7.17/7.24 c | 27793 | 5848 24996 75903 | 2147483647 26111 122 | 0.000 % |
7.17/7.29 c | 27915 | 5848 24996 75903 | 2147483647 26233 122 | 0.000 % |
7.27/7.34 c | 28048 | 5848 24996 75903 | 2147483647 26366 122 | 0.000 % |
7.27/7.40 c | 28196 | 5848 24996 75903 | 2147483647 26514 122 | 0.000 % |
7.37/7.46 c | 28359 | 5848 24996 75903 | 2147483647 26677 122 | 0.000 % |
7.47/7.53 c | 28535 | 5848 24996 75903 | 2147483647 26853 122 | 0.000 % |
7.57/7.60 c | 28728 | 5848 24996 75903 | 2147483647 27046 122 | 0.000 % |
7.57/7.68 c | 28940 | 5848 24996 75903 | 2147483647 27258 122 | 0.000 % |
7.68/7.76 c | 29174 | 5848 24996 75903 | 2147483647 27492 122 | 0.000 % |
7.77/7.86 c | 29435 | 5848 24996 75903 | 2147483647 27753 123 | 0.000 % |
7.87/7.96 c | 29716 | 5848 24996 75903 | 2147483647 28034 123 | 0.000 % |
7.97/8.06 c | 30025 | 5848 24996 75903 | 2147483647 28343 122 | 0.000 % |
8.07/8.18 c | 30366 | 5848 24996 75903 | 2147483647 28684 123 | 0.000 % |
8.27/8.31 c | 30739 | 5848 24996 75903 | 2147483647 29057 123 | 0.000 % |
8.37/8.47 c | 31148 | 5848 24996 75903 | 2147483647 29466 123 | 0.000 % |
8.57/8.63 c | 31598 | 5848 24996 75903 | 2147483647 29916 123 | 0.000 % |
8.78/8.82 c | 32091 | 5848 24996 75903 | 2147483647 30409 123 | 0.000 % |
8.78/8.86 c | 32193 | 5848 24996 75903 | 2147483647 30511 123 | 0.000 % |
8.87/8.91 c | 32306 | 5848 24996 75903 | 2147483647 30624 123 | 0.000 % |
8.87/8.95 c | 32427 | 5848 24996 75903 | 2147483647 30745 123 | 0.000 % |
8.97/9.01 c | 32560 | 5848 24996 75903 | 2147483647 30878 123 | 0.000 % |
8.97/9.07 c | 32706 | 5848 24996 75903 | 2147483647 31024 123 | 0.000 % |
9.07/9.13 c | 32866 | 5848 24996 75903 | 2147483647 31184 123 | 0.000 % |
9.17/9.20 c | 33043 | 5848 24996 75903 | 2147483647 31361 123 | 0.000 % |
9.17/9.29 c | 33236 | 5848 24996 75903 | 2147483647 31554 123 | 0.000 % |
9.27/9.37 c | 33448 | 5848 24996 75903 | 2147483647 31766 123 | 0.000 % |
9.37/9.46 c | 33682 | 5848 24996 75903 | 2147483647 32000 123 | 0.000 % |
9.47/9.56 c | 33939 | 5848 24996 75903 | 2147483647 32257 123 | 0.000 % |
9.57/9.66 c | 34220 | 5848 24996 75903 | 2147483647 32538 123 | 0.000 % |
9.67/9.78 c | 34529 | 5848 24996 75903 | 2147483647 32847 123 | 0.000 % |
9.87/9.91 c | 34869 | 5848 24996 75903 | 2147483647 33187 124 | 0.000 % |
9.97/10.05 c | 35241 | 5848 24996 75903 | 2147483647 33559 124 | 0.000 % |
10.17/10.20 c | 35650 | 5848 24996 75903 | 2147483647 33968 124 | 0.000 % |
10.27/10.37 c | 36099 | 5848 24996 75903 | 2147483647 34417 124 | 0.000 % |
10.47/10.57 c | 36592 | 5848 24996 75903 | 2147483647 34910 124 | 0.000 % |
10.67/10.79 c | 37134 | 5848 24996 75903 | 2147483647 35452 124 | 0.000 % |
10.77/10.83 c | 37234 | 5848 24996 75903 | 2147483647 35552 124 | 0.000 % |
10.77/10.88 c | 37344 | 5848 24996 75903 | 2147483647 35662 124 | 0.000 % |
10.87/10.94 c | 37466 | 5848 24996 75903 | 2147483647 35784 124 | 0.000 % |
10.87/10.99 c | 37599 | 5848 24996 75903 | 2147483647 35917 124 | 0.000 % |
10.97/11.05 c | 37745 | 5848 24996 75903 | 2147483647 36063 124 | 0.000 % |
11.06/11.12 c | 37906 | 5848 24996 75903 | 2147483647 36224 124 | 0.000 % |
11.06/11.19 c | 38082 | 5848 24996 75903 | 2147483647 36400 124 | 0.000 % |
11.16/11.27 c | 38275 | 5848 24996 75903 | 2147483647 36593 124 | 0.000 % |
11.27/11.37 c | 38488 | 5848 24996 75903 | 2147483647 36806 124 | 0.000 % |
11.37/11.47 c | 38723 | 5848 24996 75903 | 2147483647 37041 124 | 0.000 % |
11.47/11.57 c | 38980 | 5848 24996 75903 | 2147483647 37298 124 | 0.000 % |
11.57/11.68 c | 39263 | 5848 24996 75903 | 2147483647 37581 124 | 0.000 % |
11.77/11.81 c | 39572 | 5848 24996 75903 | 2147483647 37890 124 | 0.000 % |
11.87/11.95 c | 39912 | 5848 24996 75903 | 2147483647 38230 125 | 0.000 % |
12.07/12.11 c | 40284 | 5848 24996 75903 | 2147483647 38602 125 | 0.000 % |
12.17/12.28 c | 40693 | 5848 24996 75903 | 2147483647 39011 125 | 0.000 % |
12.37/12.48 c | 41144 | 5848 24996 75903 | 2147483647 39462 125 | 0.000 % |
12.67/12.70 c | 41639 | 5848 24996 75903 | 2147483647 39957 126 | 0.000 % |
12.87/12.92 c | 42182 | 5848 24996 75903 | 2147483647 40500 126 | 0.000 % |
13.07/13.20 c | 42778 | 5848 24996 75903 | 2147483647 41096 126 | 0.000 % |
13.17/13.25 c | 42879 | 5848 24996 75903 | 2147483647 41197 126 | 0.000 % |
13.27/13.30 c | 42989 | 5848 24996 75903 | 2147483647 41307 126 | 0.000 % |
13.27/13.36 c | 43110 | 5848 24996 75903 | 2147483647 41428 126 | 0.000 % |
13.36/13.43 c | 43243 | 5848 24996 75903 | 2147483647 41561 126 | 0.000 % |
13.46/13.50 c | 43390 | 5848 24996 75903 | 2147483647 41708 126 | 0.000 % |
13.46/13.57 c | 43550 | 5848 24996 75903 | 2147483647 41868 126 | 0.000 % |
13.56/13.65 c | 43726 | 5848 24996 75903 | 2147483647 42044 126 | 0.000 % |
13.66/13.74 c | 43919 | 5848 24996 75903 | 2147483647 42237 126 | 0.000 % |
13.76/13.85 c | 44133 | 5848 24996 75903 | 2147483647 42451 126 | 0.000 % |
13.86/13.96 c | 44366 | 5848 24996 75903 | 2147483647 42684 126 | 0.000 % |
13.97/14.07 c | 44622 | 5848 24996 75903 | 2147483647 42940 126 | 0.000 % |
14.07/14.19 c | 44903 | 5848 24996 75903 | 2147483647 43221 126 | 0.000 % |
14.28/14.33 c | 45213 | 5848 24996 75903 | 2147483647 43531 126 | 0.000 % |
14.37/14.49 c | 45553 | 5848 24996 75903 | 2147483647 43871 126 | 0.000 % |
14.57/14.67 c | 45925 | 5848 24996 75903 | 2147483647 44243 126 | 0.000 % |
14.77/14.84 c | 46334 | 5848 24996 75903 | 2147483647 44652 127 | 0.000 % |
14.97/15.04 c | 46785 | 5848 24996 75903 | 2147483647 45103 127 | 0.000 % |
15.17/15.26 c | 47280 | 5848 24996 75903 | 2147483647 45598 127 | 0.000 % |
15.47/15.52 c | 47823 | 5848 24996 75903 | 2147483647 46141 127 | 0.000 % |
15.77/15.80 c | 48420 | 5848 24996 75903 | 2147483647 46738 127 | 0.000 % |
16.06/16.12 c | 49076 | 5848 24996 75903 | 2147483647 47394 127 | 0.000 % |
16.06/16.17 c | 49178 | 5848 24996 75903 | 2147483647 47496 127 | 0.000 % |
16.16/16.22 c | 49288 | 5848 24996 75903 | 2147483647 47606 127 | 0.000 % |
16.16/16.29 c | 49411 | 5848 24996 75903 | 2147483647 47729 127 | 0.000 % |
16.26/16.36 c | 49544 | 5848 24996 75903 | 2147483647 47862 127 | 0.000 % |
16.37/16.44 c | 49691 | 5848 24996 75903 | 2147483647 48009 127 | 0.000 % |
16.47/16.52 c | 49851 | 5848 24996 75903 | 2147483647 48169 127 | 0.000 % |
16.56/16.60 c | 50028 | 5848 24996 75903 | 2147483647 48346 127 | 0.000 % |
16.66/16.72 c | 50221 | 5848 24996 75903 | 2147483647 48539 127 | 0.000 % |
16.76/16.83 c | 50433 | 5848 24996 75903 | 2147483647 48751 127 | 0.000 % |
16.86/16.94 c | 50666 | 5848 24996 75903 | 2147483647 48984 127 | 0.000 % |
16.96/17.06 c | 50924 | 5848 24996 75903 | 2147483647 49242 127 | 0.000 % |
17.16/17.21 c | 51205 | 5848 24996 75903 | 2147483647 49523 127 | 0.000 % |
17.26/17.37 c | 51515 | 5848 24996 75903 | 2147483647 49833 127 | 0.000 % |
17.47/17.55 c | 51854 | 5848 24996 75903 | 2147483647 50172 127 | 0.000 % |
17.66/17.74 c | 52226 | 5848 24996 75903 | 2147483647 50544 127 | 0.000 % |
17.86/17.94 c | 52635 | 5848 24996 75903 | 2147483647 50953 127 | 0.000 % |
18.07/18.15 c | 53086 | 5848 24996 75903 | 2147483647 51404 127 | 0.000 % |
18.27/18.40 c | 53579 | 5848 24996 75903 | 2147483647 51897 128 | 0.000 % |
18.57/18.66 c | 54121 | 5848 24996 75903 | 2147483647 52439 128 | 0.000 % |
18.87/18.95 c | 54717 | 5848 24996 75903 | 2147483647 53035 128 | 0.000 % |
19.16/19.27 c | 55372 | 5848 24996 75903 | 2147483647 53690 128 | 0.000 % |
19.57/19.64 c | 56093 | 5848 24996 75903 | 2147483647 54411 128 | 0.000 % |
19.67/19.71 c | 56194 | 5848 24996 75903 | 2147483647 54512 128 | 0.000 % |
19.67/19.77 c | 56304 | 5848 24996 75903 | 2147483647 54622 128 | 0.000 % |
19.77/19.85 c | 56425 | 5848 24996 75903 | 2147483647 54743 128 | 0.000 % |
19.87/19.93 c | 56559 | 5848 24996 75903 | 2147483647 54877 128 | 0.000 % |
19.97/20.01 c | 56705 | 5848 24996 75903 | 2147483647 55023 128 | 0.000 % |
20.07/20.10 c | 56868 | 5848 24996 75903 | 2147483647 55186 128 | 0.000 % |
20.17/20.20 c | 57044 | 5848 24996 75903 | 2147483647 55362 128 | 0.000 % |
20.27/20.32 c | 57237 | 5848 24996 75903 | 2147483647 55555 128 | 0.000 % |
20.37/20.43 c | 57449 | 5848 24996 75903 | 2147483647 55767 128 | 0.000 % |
20.47/20.55 c | 57682 | 5848 24996 75903 | 2147483647 56000 128 | 0.000 % |
20.57/20.69 c | 57940 | 5848 24996 75903 | 2147483647 56258 128 | 0.000 % |
20.77/20.85 c | 58223 | 5848 24996 75903 | 2147483647 56541 128 | 0.000 % |
20.97/21.02 c | 58532 | 5848 24996 75903 | 2147483647 56850 128 | 0.000 % |
21.17/21.22 c | 58871 | 5848 24996 75903 | 2147483647 57189 128 | 0.000 % |
21.37/21.46 c | 59245 | 5848 24996 75903 | 2147483647 57563 128 | 0.000 % |
21.56/21.69 c | 59654 | 5848 24996 75903 | 2147483647 57972 128 | 0.000 % |
21.87/21.93 c | 60103 | 5848 24996 75903 | 2147483647 58421 128 | 0.000 % |
22.06/22.20 c | 60598 | 5848 24996 75903 | 2147483647 58916 129 | 0.000 % |
22.46/22.50 c | 61142 | 5848 24996 75903 | 2147483647 59460 128 | 0.000 % |
22.76/22.82 c | 61738 | 5848 24996 75903 | 2147483647 60056 129 | 0.000 % |
23.07/23.18 c | 62393 | 5848 24996 75903 | 2147483647 60711 129 | 0.000 % |
23.47/23.57 c | 63114 | 5848 24996 75903 | 2147483647 61432 129 | 0.000 % |
23.87/23.99 c | 63907 | 5848 24996 75903 | 2147483647 62225 129 | 0.000 % |
23.96/24.06 c | 64007 | 5848 24996 75903 | 2147483647 62325 129 | 0.000 % |
24.07/24.14 c | 64119 | 5848 24996 75903 | 2147483647 62437 129 | 0.000 % |
24.17/24.22 c | 64240 | 5848 24996 75903 | 2147483647 62558 129 | 0.000 % |
24.27/24.30 c | 64374 | 5848 24996 75903 | 2147483647 62692 129 | 0.000 % |
24.36/24.40 c | 64520 | 5848 24996 75903 | 2147483647 62838 129 | 0.000 % |
24.46/24.51 c | 64680 | 5848 24996 75903 | 2147483647 62998 129 | 0.000 % |
24.56/24.62 c | 64857 | 5848 24996 75903 | 2147483647 63175 129 | 0.000 % |
24.66/24.75 c | 65051 | 5848 24996 75903 | 2147483647 63369 129 | 0.000 % |
24.76/24.89 c | 65263 | 5848 24996 75903 | 2147483647 63581 129 | 0.000 % |
24.96/25.03 c | 65500 | 5848 24996 75903 | 2147483647 63818 129 | 0.000 % |
25.06/25.19 c | 65757 | 5848 24996 75903 | 2147483647 64075 129 | 0.000 % |
25.26/25.34 c | 66040 | 5848 24996 75903 | 2147483647 64358 129 | 0.000 % |
25.46/25.53 c | 66349 | 5848 24996 75903 | 2147483647 64667 129 | 0.000 % |
25.66/25.72 c | 66688 | 5848 24996 75903 | 2147483647 65006 129 | 0.000 % |
25.86/25.93 c | 67060 | 5848 24996 75903 | 2147483647 65378 129 | 0.000 % |
26.16/26.20 c | 67469 | 5848 24996 75903 | 2147483647 65787 129 | 0.000 % |
26.36/26.47 c | 67918 | 5848 24996 75903 | 2147483647 66236 129 | 0.000 % |
26.67/26.76 c | 68412 | 5848 24996 75903 | 2147483647 66730 129 | 0.000 % |
26.97/27.05 c | 68954 | 5848 24996 75903 | 2147483647 67272 129 | 0.000 % |
27.26/27.40 c | 69550 | 5848 24996 75903 | 2147483647 67868 129 | 0.000 % |
27.76/27.80 c | 70205 | 5848 24996 75903 | 2147483647 68523 129 | 0.000 % |
28.16/28.23 c | 70925 | 5848 24996 75903 | 2147483647 69243 129 | 0.000 % |
28.66/28.70 c | 71717 | 5848 24996 75903 | 2147483647 70035 129 | 0.000 % |
29.16/29.22 c | 72589 | 5848 24996 75903 | 2147483647 70907 130 | 0.000 % |
29.16/29.29 c | 72689 | 5848 24996 75903 | 2147483647 71007 130 | 0.000 % |
29.26/29.37 c | 72799 | 5848 24996 75903 | 2147483647 71117 129 | 0.000 % |
29.36/29.45 c | 72920 | 5848 24996 75903 | 2147483647 71238 130 | 0.000 % |
29.46/29.54 c | 73053 | 5848 24996 75903 | 2147483647 71371 129 | 0.000 % |
29.57/29.64 c | 73199 | 5848 24996 75903 | 2147483647 71517 130 | 0.000 % |
29.67/29.76 c | 73359 | 5848 24996 75903 | 2147483647 71677 129 | 0.000 % |
29.77/29.88 c | 73535 | 5848 24996 75903 | 2147483647 71853 129 | 0.000 % |
29.97/30.01 c | 73728 | 5848 24996 75903 | 2147483647 72046 129 | 0.000 % |
30.07/30.15 c | 73940 | 5848 24996 75903 | 2147483647 72258 129 | 0.000 % |
30.27/30.31 c | 74175 | 5848 24996 75903 | 2147483647 72493 129 | 0.000 % |
30.37/30.46 c | 74431 | 5848 24996 75903 | 2147483647 72749 130 | 0.000 % |
30.57/30.66 c | 74712 | 5848 24996 75903 | 2147483647 73030 129 | 0.000 % |
30.77/30.87 c | 75021 | 5848 24996 75903 | 2147483647 73339 129 | 0.000 % |
30.97/31.08 c | 75362 | 5848 24996 75903 | 2147483647 73680 129 | 0.000 % |
31.27/31.34 c | 75734 | 5848 24996 75903 | 2147483647 74052 130 | 0.000 % |
31.47/31.59 c | 76144 | 5848 24996 75903 | 2147483647 74462 130 | 0.000 % |
31.77/31.88 c | 76594 | 5848 24996 75903 | 2147483647 74912 130 | 0.000 % |
32.06/32.18 c | 77088 | 5848 24996 75903 | 2147483647 75406 130 | 0.000 % |
32.46/32.54 c | 77630 | 5848 24996 75903 | 2147483647 75948 130 | 0.000 % |
32.87/32.93 c | 78228 | 5848 24996 75903 | 2147483647 76546 130 | 0.000 % |
33.26/33.33 c | 78883 | 5848 24996 75903 | 2147483647 77201 130 | 0.000 % |
33.76/33.82 c | 79603 | 5848 24996 75903 | 2147483647 77921 130 | 0.000 % |
34.26/34.36 c | 80396 | 5848 24996 75903 | 2147483647 78714 130 | 0.000 % |
34.86/34.96 c | 81267 | 5848 24996 75903 | 2147483647 79585 130 | 0.000 % |
35.46/35.56 c | 82225 | 5848 24996 75903 | 2147483647 80543 130 | 0.000 % |
35.56/35.64 c | 82325 | 5848 24996 75903 | 2147483647 80643 130 | 0.000 % |
35.66/35.71 c | 82435 | 5848 24996 75903 | 2147483647 80753 130 | 0.000 % |
35.66/35.80 c | 82559 | 5848 24996 75903 | 2147483647 80877 130 | 0.000 % |
35.86/35.91 c | 82693 | 5848 24996 75903 | 2147483647 81011 130 | 0.000 % |
35.96/36.02 c | 82839 | 5848 24996 75903 | 2147483647 81157 130 | 0.000 % |
36.06/36.14 c | 82999 | 5848 24996 75903 | 2147483647 81317 130 | 0.000 % |
36.17/36.28 c | 83175 | 5848 24996 75903 | 2147483647 81493 130 | 0.000 % |
36.36/36.42 c | 83368 | 5848 24996 75903 | 2147483647 81686 130 | 0.000 % |
36.46/36.58 c | 83581 | 5848 24996 75903 | 2147483647 81899 130 | 0.000 % |
36.66/36.76 c | 83814 | 5848 24996 75903 | 2147483647 82132 130 | 0.000 % |
36.86/36.95 c | 84071 | 5848 24996 75903 | 2147483647 82389 130 | 0.000 % |
37.06/37.15 c | 84352 | 5848 24996 75903 | 2147483647 82670 130 | 0.000 % |
37.26/37.38 c | 84661 | 5848 24996 75903 | 2147483647 82979 130 | 0.000 % |
37.56/37.61 c | 85000 | 5848 24996 75903 | 2147483647 83318 130 | 0.000 % |
37.86/37.90 c | 85372 | 5848 24996 75903 | 2147483647 83690 130 | 0.000 % |
38.06/38.19 c | 85781 | 5848 24996 75903 | 2147483647 84099 130 | 0.000 % |
38.36/38.49 c | 86232 | 5848 24996 75903 | 2147483647 84550 130 | 0.000 % |
38.76/38.83 c | 86725 | 5848 24996 75903 | 2147483647 85043 130 | 0.000 % |
39.16/39.23 c | 87267 | 5848 24996 75903 | 2147483647 85585 130 | 0.000 % |
39.57/39.65 c | 87864 | 5848 24996 75903 | 2147483647 86182 131 | 0.000 % |
40.06/40.12 c | 88521 | 5848 24996 75903 | 2147483647 86839 131 | 0.000 % |
40.56/40.67 c | 89242 | 5848 24996 75903 | 2147483647 87560 131 | 0.000 % |
41.16/41.24 c | 90034 | 5848 24996 75903 | 2147483647 88352 131 | 0.000 % |
41.76/41.87 c | 90907 | 5848 24996 75903 | 2147483647 89225 131 | 0.000 % |
42.46/42.55 c | 91866 | 5848 24996 75903 | 2147483647 90184 131 | 0.000 % |
43.26/43.33 c | 92919 | 5848 24996 75903 | 2147483647 91237 132 | 0.000 % |
43.36/43.41 c | 93020 | 5848 24996 75903 | 2147483647 91338 132 | 0.000 % |
43.46/43.53 c | 93130 | 5848 24996 75903 | 2147483647 91448 132 | 0.000 % |
43.56/43.64 c | 93251 | 5848 24996 75903 | 2147483647 91569 131 | 0.000 % |
43.66/43.75 c | 93384 | 5848 24996 75903 | 2147483647 91702 131 | 0.000 % |
43.76/43.86 c | 93530 | 5848 24996 75903 | 2147483647 91848 131 | 0.000 % |
43.86/44.00 c | 93691 | 5848 24996 75903 | 2147483647 92009 131 | 0.000 % |
44.06/44.14 c | 93867 | 5848 24996 75903 | 2147483647 92185 131 | 0.000 % |
44.16/44.29 c | 94060 | 5848 24996 75903 | 2147483647 92378 131 | 0.000 % |
44.36/44.49 c | 94272 | 5848 24996 75903 | 2147483647 92590 131 | 0.000 % |
44.55/44.66 c | 94505 | 5848 24996 75903 | 2147483647 92823 131 | 0.000 % |
44.85/44.90 c | 94761 | 5848 24996 75903 | 2147483647 93079 131 | 0.000 % |
45.06/45.13 c | 95045 | 5848 24996 75903 | 2147483647 93363 131 | 0.000 % |
45.25/45.39 c | 95355 | 5848 24996 75903 | 2147483647 93673 131 | 0.000 % |
45.55/45.65 c | 95694 | 5848 24996 75903 | 2147483647 94012 131 | 0.000 % |
45.85/45.93 c | 96067 | 5848 24996 75903 | 2147483647 94385 131 | 0.000 % |
46.16/46.29 c | 96477 | 5848 24996 75903 | 2147483647 94795 132 | 0.000 % |
46.56/46.64 c | 96926 | 5848 24996 75903 | 2147483647 95244 132 | 0.000 % |
46.96/47.01 c | 97420 | 5848 24996 75903 | 2147483647 95738 132 | 0.000 % |
47.36/47.43 c | 97962 | 5848 24996 75903 | 2147483647 96280 132 | 0.000 % |
47.86/47.90 c | 98558 | 5848 24996 75903 | 2147483647 96876 132 | 0.000 % |
48.36/48.43 c | 99213 | 5848 24996 75903 | 2147483647 97531 132 | 0.000 % |
48.85/48.98 c | 99934 | 5848 24996 75903 | 2147483647 98252 132 | 0.000 % |
49.46/49.55 c | 100726 | 5848 24996 75903 | 2147483647 99044 132 | 0.000 % |
50.06/50.18 c | 101598 | 5848 24996 75903 | 2147483647 99916 132 | 0.000 % |
50.85/50.96 c | 102557 | 5848 24996 75903 | 2147483647 100875 132 | 0.000 % |
51.66/51.79 c | 103612 | 5848 24996 75903 | 2147483647 101930 132 | 0.000 % |
52.55/52.69 c | 104772 | 5848 24996 75903 | 2147483647 103090 132 | 0.000 % |
52.65/52.77 c | 104872 | 5848 24996 75903 | 2147483647 103190 132 | 0.000 % |
52.75/52.87 c | 104984 | 5848 24996 75903 | 2147483647 103302 132 | 0.000 % |
52.85/52.98 c | 105105 | 5848 24996 75903 | 2147483647 103423 132 | 0.000 % |
53.05/53.10 c | 105239 | 5848 24996 75903 | 2147483647 103557 132 | 0.000 % |
53.15/53.23 c | 105385 | 5848 24996 75903 | 2147483647 103703 132 | 0.000 % |
53.25/53.37 c | 105546 | 5848 24996 75903 | 2147483647 103864 132 | 0.000 % |
53.45/53.54 c | 105722 | 5848 24996 75903 | 2147483647 104040 132 | 0.000 % |
53.66/53.71 c | 105915 | 5848 24996 75903 | 2147483647 104233 132 | 0.000 % |
53.86/53.90 c | 106127 | 5848 24996 75903 | 2147483647 104445 132 | 0.000 % |
54.06/54.10 c | 106361 | 5848 24996 75903 | 2147483647 104679 132 | 0.000 % |
54.26/54.34 c | 106617 | 5848 24996 75903 | 2147483647 104935 132 | 0.000 % |
54.46/54.57 c | 106900 | 5848 24996 75903 | 2147483647 105218 132 | 0.000 % |
54.76/54.85 c | 107209 | 5848 24996 75903 | 2147483647 105527 132 | 0.000 % |
55.06/55.15 c | 107548 | 5848 24996 75903 | 2147483647 105866 132 | 0.000 % |
55.36/55.49 c | 107920 | 5848 24996 75903 | 2147483647 106238 132 | 0.000 % |
55.76/55.85 c | 108333 | 5848 24996 75903 | 2147483647 106651 132 | 0.000 % |
56.16/56.20 c | 108783 | 5848 24996 75903 | 2147483647 107101 132 | 0.000 % |
56.56/56.63 c | 109277 | 5848 24996 75903 | 2147483647 107595 132 | 0.000 % |
57.06/57.11 c | 109819 | 5848 24996 75903 | 2147483647 108137 132 | 0.000 % |
57.46/57.60 c | 110415 | 5848 24996 75903 | 2147483647 108733 132 | 0.000 % |
58.05/58.10 c | 111072 | 5848 24996 75903 | 2147483647 109390 132 | 0.000 % |
58.65/58.75 c | 111795 | 5848 24996 75903 | 2147483647 110113 132 | 0.000 % |
59.36/59.44 c | 112587 | 5848 24996 75903 | 2147483647 110905 132 | 0.000 % |
60.05/60.16 c | 113458 | 5848 24996 75903 | 2147483647 111776 132 | 0.000 % |
60.95/61.02 c | 114417 | 5848 24996 75903 | 2147483647 112735 132 | 0.000 % |
61.75/61.86 c | 115472 | 5848 24996 75903 | 2147483647 113790 132 | 0.000 % |
62.75/62.88 c | 116631 | 5848 24996 75903 | 2147483647 114949 133 | 0.000 % |
63.85/63.95 c | 117904 | 5848 24996 75903 | 2147483647 116222 133 | 0.000 % |
63.95/64.06 c | 118004 | 5848 24996 75903 | 2147483647 116322 133 | 0.000 % |
64.15/64.21 c | 118114 | 5848 24996 75903 | 2147483647 116432 133 | 0.000 % |
64.25/64.34 c | 118236 | 5848 24996 75903 | 2147483647 116554 133 | 0.000 % |
64.35/64.46 c | 118369 | 5848 24996 75903 | 2147483647 116687 133 | 0.000 % |
64.55/64.61 c | 118515 | 5848 24996 75903 | 2147483647 116833 133 | 0.000 % |
64.65/64.77 c | 118675 | 5848 24996 75903 | 2147483647 116993 133 | 0.000 % |
64.86/64.95 c | 118851 | 5848 24996 75903 | 2147483647 117169 133 | 0.000 % |
65.05/65.15 c | 119045 | 5848 24996 75903 | 2147483647 117363 133 | 0.000 % |
65.25/65.36 c | 119257 | 5848 24996 75903 | 2147483647 117575 133 | 0.000 % |
65.55/65.60 c | 119490 | 5848 24996 75903 | 2147483647 117808 133 | 0.000 % |
65.75/65.86 c | 119749 | 5848 24996 75903 | 2147483647 118067 133 | 0.000 % |
66.05/66.12 c | 120030 | 5848 24996 75903 | 2147483647 118348 133 | 0.000 % |
66.35/66.43 c | 120339 | 5848 24996 75903 | 2147483647 118657 133 | 0.000 % |
66.65/66.76 c | 120678 | 5848 24996 75903 | 2147483647 118996 133 | 0.000 % |
67.05/67.11 c | 121051 | 5848 24996 75903 | 2147483647 119369 133 | 0.000 % |
67.45/67.51 c | 121460 | 5848 24996 75903 | 2147483647 119778 133 | 0.000 % |
67.85/67.97 c | 121914 | 5848 24996 75903 | 2147483647 120232 133 | 0.000 % |
68.25/68.39 c | 122408 | 5848 24996 75903 | 2147483647 120726 133 | 0.000 % |
68.75/68.86 c | 122951 | 5848 24996 75903 | 2147483647 121269 133 | 0.000 % |
69.34/69.41 c | 123550 | 5848 24996 75903 | 2147483647 121868 133 | 0.000 % |
69.84/69.98 c | 124206 | 5848 24996 75903 | 2147483647 122524 133 | 0.000 % |
70.54/70.62 c | 124926 | 5848 24996 75903 | 2147483647 123244 133 | 0.000 % |
71.24/71.37 c | 125721 | 5848 24996 75903 | 2147483647 124039 133 | 0.000 % |
72.05/72.14 c | 126593 | 5848 24996 75903 | 2147483647 124911 133 | 0.000 % |
72.95/73.01 c | 127551 | 5848 24996 75903 | 2147483647 125869 133 | 0.000 % |
73.95/74.05 c | 128605 | 5848 24996 75903 | 2147483647 126923 133 | 0.000 % |
75.04/75.13 c | 129763 | 5848 24996 75903 | 2147483647 128081 133 | 0.000 % |
76.25/76.34 c | 131037 | 5848 24996 75903 | 2147483647 129355 133 | 0.000 % |
77.55/77.67 c | 132437 | 5848 24996 75903 | 2147483647 130755 134 | 0.000 % |
77.65/77.77 c | 132538 | 5848 24996 75903 | 2147483647 130856 133 | 0.000 % |
77.85/77.92 c | 132649 | 5848 24996 75903 | 2147483647 130967 133 | 0.000 % |
77.95/78.06 c | 132770 | 5848 24996 75903 | 2147483647 131088 133 | 0.000 % |
78.15/78.20 c | 132903 | 5848 24996 75903 | 2147483647 131221 133 | 0.000 % |
78.25/78.35 c | 133050 | 5848 24996 75903 | 2147483647 131368 133 | 0.000 % |
78.45/78.53 c | 133210 | 5848 24996 75903 | 2147483647 131528 133 | 0.000 % |
78.65/78.73 c | 133388 | 5848 24996 75903 | 2147483647 131706 133 | 0.000 % |
78.85/78.94 c | 133584 | 5848 24996 75903 | 2147483647 131902 133 | 0.000 % |
79.05/79.17 c | 133796 | 5848 24996 75903 | 2147483647 132114 133 | 0.000 % |
79.34/79.44 c | 134029 | 5848 24996 75903 | 2147483647 132347 133 | 0.000 % |
79.64/79.72 c | 134285 | 5848 24996 75903 | 2147483647 132603 133 | 0.000 % |
79.94/80.01 c | 134566 | 5848 24996 75903 | 2147483647 132884 133 | 0.000 % |
80.24/80.34 c | 134878 | 5848 24996 75903 | 2147483647 133196 133 | 0.000 % |
80.64/80.72 c | 135220 | 5848 24996 75903 | 2147483647 133538 133 | 0.000 % |
81.04/81.12 c | 135594 | 5848 24996 75903 | 2147483647 133912 133 | 0.000 % |
81.45/81.56 c | 136004 | 5848 24996 75903 | 2147483647 134322 133 | 0.000 % |
81.94/82.08 c | 136453 | 5848 24996 75903 | 2147483647 134771 133 | 0.000 % |
82.45/82.55 c | 136946 | 5848 24996 75903 | 2147483647 135264 133 | 0.000 % |
82.94/83.08 c | 137488 | 5848 24996 75903 | 2147483647 135806 133 | 0.000 % |
83.55/83.69 c | 138084 | 5848 24996 75903 | 2147483647 136402 133 | 0.000 % |
84.34/84.40 c | 138739 | 5848 24996 75903 | 2147483647 137057 133 | 0.000 % |
85.04/85.12 c | 139461 | 5848 24996 75903 | 2147483647 137779 133 | 0.000 % |
85.74/85.89 c | 140255 | 5848 24996 75903 | 2147483647 138573 133 | 0.000 % |
86.54/86.67 c | 141126 | 5848 24996 75903 | 2147483647 139444 133 | 0.000 % |
87.54/87.67 c | 142085 | 5848 24996 75903 | 2147483647 140403 133 | 0.000 % |
88.74/88.81 c | 143140 | 5848 24996 75903 | 2147483647 141458 134 | 0.000 % |
89.84/89.97 c | 144298 | 5848 24996 75903 | 2147483647 142616 134 | 0.000 % |
91.15/91.29 c | 145571 | 5848 24996 75903 | 2147483647 143889 134 | 0.000 % |
92.64/92.70 c | 146972 | 5848 24996 75903 | 2147483647 145290 134 | 0.000 % |
94.04/94.19 c | 148514 | 5848 24996 75903 | 2147483647 146832 134 | 0.000 % |
94.24/94.35 c | 148615 | 5848 24996 75903 | 2147483647 146933 134 | 0.000 % |
94.34/94.49 c | 148725 | 5848 24996 75903 | 2147483647 147043 134 | 0.000 % |
94.54/94.62 c | 148846 | 5848 24996 75903 | 2147483647 147164 134 | 0.000 % |
94.64/94.76 c | 148979 | 5848 24996 75903 | 2147483647 147297 134 | 0.000 % |
94.84/94.92 c | 149126 | 5848 24996 75903 | 2147483647 147444 134 | 0.000 % |
95.04/95.11 c | 149289 | 5848 24996 75903 | 2147483647 147607 134 | 0.000 % |
95.24/95.31 c | 149468 | 5848 24996 75903 | 2147483647 147786 134 | 0.000 % |
95.44/95.55 c | 149663 | 5848 24996 75903 | 2147483647 147981 134 | 0.000 % |
95.74/95.81 c | 149875 | 5848 24996 75903 | 2147483647 148193 134 | 0.000 % |
95.94/96.08 c | 150108 | 5848 24996 75903 | 2147483647 148426 134 | 0.000 % |
96.24/96.35 c | 150364 | 5848 24996 75903 | 2147483647 148682 134 | 0.000 % |
96.53/96.69 c | 150646 | 5848 24996 75903 | 2147483647 148964 134 | 0.000 % |
96.93/97.03 c | 150955 | 5848 24996 75903 | 2147483647 149273 134 | 0.000 % |
97.34/97.46 c | 151294 | 5848 24996 75903 | 2147483647 149612 134 | 0.000 % |
97.75/97.89 c | 151668 | 5848 24996 75903 | 2147483647 149986 134 | 0.000 % |
98.24/98.35 c | 152079 | 5848 24996 75903 | 2147483647 150397 134 | 0.000 % |
98.74/98.84 c | 152529 | 5848 24996 75903 | 2147483647 150847 134 | 0.000 % |
99.34/99.42 c | 153022 | 5848 24996 75903 | 2147483647 151340 134 | 0.000 % |
99.94/100.05 c | 153564 | 5848 24996 75903 | 2147483647 151882 134 | 0.000 % |
100.64/100.78 c | 154160 | 5848 24996 75903 | 2147483647 152478 134 | 0.000 % |
101.43/101.58 c | 154815 | 5848 24996 75903 | 2147483647 153133 134 | 0.000 % |
102.24/102.38 c | 155535 | 5848 24996 75903 | 2147483647 153853 134 | 0.000 % |
103.24/103.30 c | 156327 | 5848 24996 75903 | 2147483647 154645 134 | 0.000 % |
104.14/104.21 c | 157198 | 5848 24996 75903 | 2147483647 155516 134 | 0.000 % |
105.14/105.25 c | 158158 | 5848 24996 75903 | 2147483647 156476 134 | 0.000 % |
106.24/106.35 c | 159214 | 5848 24996 75903 | 2147483647 157532 134 | 0.000 % |
107.43/107.58 c | 160373 | 5848 24996 75903 | 2147483647 158691 134 | 0.000 % |
108.84/108.90 c | 161652 | 5848 24996 75903 | 2147483647 159970 135 | 0.000 % |
110.43/110.51 c | 163052 | 5848 24996 75903 | 2147483647 161370 135 | 0.000 % |
112.13/112.27 c | 164593 | 5848 24996 75903 | 2147483647 162911 135 | 0.000 % |
114.13/114.28 c | 166287 | 5848 24996 75903 | 2147483647 164605 135 | 0.000 % |
114.34/114.42 c | 166387 | 5848 24996 75903 | 2147483647 164705 135 | 0.000 % |
114.43/114.59 c | 166497 | 5848 24996 75903 | 2147483647 164815 135 | 0.000 % |
114.63/114.77 c | 166618 | 5848 24996 75903 | 2147483647 164936 135 | 0.000 % |
114.83/114.96 c | 166752 | 5848 24996 75903 | 2147483647 165070 135 | 0.000 % |
115.03/115.14 c | 166898 | 5848 24996 75903 | 2147483647 165216 135 | 0.000 % |
115.23/115.35 c | 167058 | 5848 24996 75903 | 2147483647 165376 135 | 0.000 % |
115.53/115.61 c | 167234 | 5848 24996 75903 | 2147483647 165552 135 | 0.000 % |
115.73/115.87 c | 167428 | 5848 24996 75903 | 2147483647 165746 135 | 0.000 % |
116.03/116.15 c | 167641 | 5848 24996 75903 | 2147483647 165959 135 | 0.000 % |
116.33/116.42 c | 167875 | 5848 24996 75903 | 2147483647 166193 135 | 0.000 % |
116.63/116.76 c | 168131 | 5848 24996 75903 | 2147483647 166449 135 | 0.000 % |
117.03/117.11 c | 168412 | 5848 24996 75903 | 2147483647 166730 135 | 0.000 % |
117.33/117.46 c | 168721 | 5848 24996 75903 | 2147483647 167039 135 | 0.000 % |
117.73/117.88 c | 169060 | 5848 24996 75903 | 2147483647 167378 135 | 0.000 % |
118.23/118.39 c | 169433 | 5848 24996 75903 | 2147483647 167751 135 | 0.000 % |
118.83/118.92 c | 169843 | 5848 24996 75903 | 2147483647 168161 135 | 0.000 % |
119.32/119.44 c | 170293 | 5848 24996 75903 | 2147483647 168611 135 | 0.000 % |
119.92/120.02 c | 170788 | 5848 24996 75903 | 2147483647 169106 135 | 0.000 % |
120.52/120.68 c | 171330 | 5848 24996 75903 | 2147483647 169648 135 | 0.000 % |
121.33/121.41 c | 171926 | 5848 24996 75903 | 2147483647 170244 135 | 0.000 % |
122.13/122.24 c | 172581 | 5848 24996 75903 | 2147483647 170899 135 | 0.000 % |
123.03/123.15 c | 173301 | 5848 24996 75903 | 2147483647 171619 135 | 0.000 % |
124.03/124.14 c | 174095 | 5848 24996 75903 | 2147483647 172413 135 | 0.000 % |
125.13/125.22 c | 174966 | 5848 24996 75903 | 2147483647 173284 135 | 0.000 % |
126.23/126.40 c | 175924 | 5848 24996 75903 | 2147483647 174242 135 | 0.000 % |
127.53/127.68 c | 176978 | 5848 24996 75903 | 2147483647 175296 135 | 0.000 % |
128.93/129.08 c | 178136 | 5848 24996 75903 | 2147483647 176454 135 | 0.000 % |
130.43/130.52 c | 179410 | 5848 24996 75903 | 2147483647 177728 135 | 0.000 % |
132.22/132.31 c | 180810 | 5848 24996 75903 | 2147483647 179128 135 | 0.000 % |
134.03/134.12 c | 182351 | 5848 24996 75903 | 2147483647 180669 135 | 0.000 % |
135.92/136.03 c | 184046 | 5848 24996 75903 | 2147483647 182364 135 | 0.000 % |
138.22/138.38 c | 185911 | 5848 24996 75903 | 2147483647 184229 135 | 0.000 % |
138.42/138.55 c | 186011 | 5848 24996 75903 | 2147483647 184329 135 | 0.000 % |
138.63/138.75 c | 186123 | 5848 24996 75903 | 2147483647 184441 135 | 0.000 % |
138.83/138.96 c | 186244 | 5848 24996 75903 | 2147483647 184562 135 | 0.000 % |
139.02/139.14 c | 186378 | 5848 24996 75903 | 2147483647 184696 135 | 0.000 % |
139.22/139.34 c | 186526 | 5848 24996 75903 | 2147483647 184844 135 | 0.000 % |
139.53/139.62 c | 186686 | 5848 24996 75903 | 2147483647 185004 135 | 0.000 % |
139.72/139.89 c | 186864 | 5848 24996 75903 | 2147483647 185182 135 | 0.000 % |
140.02/140.16 c | 187057 | 5848 24996 75903 | 2147483647 185375 135 | 0.000 % |
140.32/140.50 c | 187269 | 5848 24996 75903 | 2147483647 185587 135 | 0.000 % |
140.72/140.84 c | 187502 | 5848 24996 75903 | 2147483647 185820 135 | 0.000 % |
141.12/141.23 c | 187758 | 5848 24996 75903 | 2147483647 186076 135 | 0.000 % |
141.42/141.59 c | 188039 | 5848 24996 75903 | 2147483647 186357 135 | 0.000 % |
141.92/142.05 c | 188348 | 5848 24996 75903 | 2147483647 186666 135 | 0.000 % |
142.42/142.53 c | 188687 | 5848 24996 75903 | 2147483647 187005 135 | 0.000 % |
142.93/143.05 c | 189059 | 5848 24996 75903 | 2147483647 187377 135 | 0.000 % |
143.52/143.63 c | 189468 | 5848 24996 75903 | 2147483647 187786 135 | 0.000 % |
144.12/144.22 c | 189917 | 5848 24996 75903 | 2147483647 188235 135 | 0.000 % |
144.72/144.89 c | 190412 | 5848 24996 75903 | 2147483647 188730 135 | 0.000 % |
145.52/145.62 c | 190954 | 5848 24996 75903 | 2147483647 189272 135 | 0.000 % |
146.32/146.48 c | 191550 | 5848 24996 75903 | 2147483647 189868 135 | 0.000 % |
147.22/147.38 c | 192206 | 5848 24996 75903 | 2147483647 190524 135 | 0.000 % |
148.12/148.28 c | 192928 | 5848 24996 75903 | 2147483647 191246 135 | 0.000 % |
149.21/149.34 c | 193721 | 5848 24996 75903 | 2147483647 192039 135 | 0.000 % |
150.31/150.41 c | 194592 | 5848 24996 75903 | 2147483647 192910 135 | 0.000 % |
151.62/151.78 c | 195551 | 5848 24996 75903 | 2147483647 193869 135 | 0.000 % |
153.12/153.26 c | 196604 | 5848 24996 75903 | 2147483647 194922 135 | 0.000 % |
154.71/154.83 c | 197762 | 5848 24996 75903 | 2147483647 196080 136 | 0.000 % |
156.41/156.56 c | 199036 | 5848 24996 75903 | 2147483647 197354 136 | 0.000 % |
158.41/158.52 c | 200436 | 5848 24996 75903 | 2147483647 198754 136 | 0.000 % |
160.42/160.52 c | 201976 | 5848 24996 75903 | 2147483647 200294 136 | 0.000 % |
162.72/162.81 c | 203673 | 5848 24996 75903 | 2147483647 201991 136 | 0.000 % |
165.11/165.25 c | 205536 | 5848 24996 75903 | 2147483647 203854 136 | 0.000 % |
167.90/168.06 c | 207586 | 5848 24996 75903 | 2147483647 205904 136 | 0.000 % |
168.11/168.25 c | 207687 | 5848 24996 75903 | 2147483647 206005 136 | 0.000 % |
168.31/168.47 c | 207801 | 5848 24996 75903 | 2147483647 206119 136 | 0.000 % |
168.51/168.64 c | 207922 | 5848 24996 75903 | 2147483647 206240 136 | 0.000 % |
168.71/168.85 c | 208055 | 5848 24996 75903 | 2147483647 206373 136 | 0.000 % |
169.01/169.11 c | 208201 | 5848 24996 75903 | 2147483647 206519 136 | 0.000 % |
169.21/169.36 c | 208361 | 5848 24996 75903 | 2147483647 206679 136 | 0.000 % |
169.51/169.65 c | 208537 | 5848 24996 75903 | 2147483647 206855 136 | 0.000 % |
169.81/169.97 c | 208730 | 5848 24996 75903 | 2147483647 207048 136 | 0.000 % |
170.11/170.27 c | 208942 | 5848 24996 75903 | 2147483647 207260 136 | 0.000 % |
170.51/170.66 c | 209177 | 5848 24996 75903 | 2147483647 207495 136 | 0.000 % |
170.91/171.07 c | 209433 | 5848 24996 75903 | 2147483647 207751 136 | 0.000 % |
171.41/171.51 c | 209718 | 5848 24996 75903 | 2147483647 208036 136 | 0.000 % |
171.81/171.96 c | 210027 | 5848 24996 75903 | 2147483647 208345 136 | 0.000 % |
172.41/172.51 c | 210367 | 5848 24996 75903 | 2147483647 208685 136 | 0.000 % |
172.81/172.98 c | 210740 | 5848 24996 75903 | 2147483647 209058 136 | 0.000 % |
173.51/173.60 c | 211149 | 5848 24996 75903 | 2147483647 209467 136 | 0.000 % |
174.21/174.30 c | 211599 | 5848 24996 75903 | 2147483647 209917 136 | 0.000 % |
174.90/175.05 c | 212092 | 5848 24996 75903 | 2147483647 210410 136 | 0.000 % |
175.70/175.85 c | 212634 | 5848 24996 75903 | 2147483647 210952 136 | 0.000 % |
176.50/176.69 c | 213232 | 5848 24996 75903 | 2147483647 211550 136 | 0.000 % |
177.40/177.52 c | 213888 | 5848 24996 75903 | 2147483647 212206 136 | 0.000 % |
178.40/178.53 c | 214608 | 5848 24996 75903 | 2147483647 212926 136 | 0.000 % |
179.60/179.72 c | 215401 | 5848 24996 75903 | 2147483647 213719 136 | 0.000 % |
180.81/180.97 c | 216272 | 5848 24996 75903 | 2147483647 214590 136 | 0.000 % |
182.31/182.44 c | 217230 | 5848 24996 75903 | 2147483647 215548 136 | 0.000 % |
183.90/184.05 c | 218284 | 5848 24996 75903 | 2147483647 216602 136 | 0.000 % |
185.60/185.76 c | 219442 | 5848 24996 75903 | 2147483647 217760 136 | 0.000 % |
187.30/187.46 c | 220715 | 5848 24996 75903 | 2147483647 219033 136 | 0.000 % |
189.20/189.39 c | 222115 | 5848 24996 75903 | 2147483647 220433 136 | 0.000 % |
191.59/191.72 c | 223655 | 5848 24996 75903 | 2147483647 221973 136 | 0.000 % |
194.09/194.23 c | 225350 | 5848 24996 75903 | 2147483647 223668 136 | 0.000 % |
196.60/196.80 c | 227213 | 5848 24996 75903 | 2147483647 225531 136 | 0.000 % |
199.60/199.74 c | 229262 | 5848 24996 75903 | 2147483647 227580 136 | 0.000 % |
202.79/202.95 c | 231515 | 5848 24996 75903 | 2147483647 229833 136 | 0.000 % |
202.99/203.15 c | 231615 | 5848 24996 75903 | 2147483647 229933 136 | 0.000 % |
203.19/203.38 c | 231726 | 5848 24996 75903 | 2147483647 230044 136 | 0.000 % |
203.49/203.63 c | 231847 | 5848 24996 75903 | 2147483647 230165 136 | 0.000 % |
203.69/203.87 c | 231981 | 5848 24996 75903 | 2147483647 230299 136 | 0.000 % |
203.99/204.15 c | 232127 | 5848 24996 75903 | 2147483647 230445 136 | 0.000 % |
204.29/204.43 c | 232290 | 5848 24996 75903 | 2147483647 230608 136 | 0.000 % |
204.59/204.73 c | 232470 | 5848 24996 75903 | 2147483647 230788 136 | 0.000 % |
204.89/205.06 c | 232664 | 5848 24996 75903 | 2147483647 230982 136 | 0.000 % |
205.29/205.43 c | 232877 | 5848 24996 75903 | 2147483647 231195 136 | 0.000 % |
205.70/205.88 c | 233111 | 5848 24996 75903 | 2147483647 231429 136 | 0.000 % |
206.20/206.30 c | 233367 | 5848 24996 75903 | 2147483647 231685 136 | 0.000 % |
206.60/206.78 c | 233648 | 5848 24996 75903 | 2147483647 231966 136 | 0.000 % |
207.09/207.28 c | 233957 | 5848 24996 75903 | 2147483647 232275 136 | 0.000 % |
207.69/207.80 c | 234297 | 5848 24996 75903 | 2147483647 232615 136 | 0.000 % |
208.19/208.37 c | 234671 | 5848 24996 75903 | 2147483647 232989 136 | 0.000 % |
208.89/209.06 c | 235081 | 5848 24996 75903 | 2147483647 233399 136 | 0.000 % |
209.69/209.87 c | 235531 | 5848 24996 75903 | 2147483647 233849 136 | 0.000 % |
210.59/210.71 c | 236024 | 5848 24996 75903 | 2147483647 234342 136 | 0.000 % |
211.39/211.58 c | 236568 | 5848 24996 75903 | 2147483647 234886 136 | 0.000 % |
212.29/212.47 c | 237165 | 5848 24996 75903 | 2147483647 235483 136 | 0.000 % |
213.29/213.46 c | 237820 | 5848 24996 75903 | 2147483647 236138 136 | 0.000 % |
214.39/214.59 c | 238542 | 5848 24996 75903 | 2147483647 236860 136 | 0.000 % |
215.79/215.90 c | 239337 | 5848 24996 75903 | 2147483647 237655 136 | 0.000 % |
217.19/217.33 c | 240208 | 5848 24996 75903 | 2147483647 238526 136 | 0.000 % |
218.69/218.84 c | 241166 | 5848 24996 75903 | 2147483647 239484 136 | 0.000 % |
220.28/220.41 c | 242219 | 5848 24996 75903 | 2147483647 240537 136 | 0.000 % |
221.88/222.09 c | 243377 | 5848 24996 75903 | 2147483647 241695 136 | 0.000 % |
223.98/224.14 c | 244651 | 5848 24996 75903 | 2147483647 242969 136 | 0.000 % |
226.08/226.27 c | 246051 | 5848 24996 75903 | 2147483647 244369 136 | 0.000 % |
228.68/228.88 c | 247591 | 5848 24996 75903 | 2147483647 245909 137 | 0.000 % |
231.38/231.56 c | 249285 | 5848 24996 75903 | 2147483647 247603 137 | 0.000 % |
234.18/234.39 c | 251148 | 5848 24996 75903 | 2147483647 249466 137 | 0.000 % |
237.38/237.57 c | 253197 | 5848 24996 75903 | 2147483647 251515 137 | 0.000 % |
240.98/241.14 c | 255452 | 5848 24996 75903 | 2147483647 253770 137 | 0.000 % |
244.77/244.99 c | 257933 | 5848 24996 75903 | 2147483647 256251 137 | 0.000 % |
244.97/245.19 c | 258033 | 5848 24996 75903 | 2147483647 256351 137 | 0.000 % |
245.27/245.47 c | 258144 | 5848 24996 75903 | 2147483647 256462 137 | 0.000 % |
245.57/245.72 c | 258265 | 5848 24996 75903 | 2147483647 256583 137 | 0.000 % |
245.87/246.05 c | 258398 | 5848 24996 75903 | 2147483647 256716 137 | 0.000 % |
246.18/246.33 c | 258545 | 5848 24996 75903 | 2147483647 256863 137 | 0.000 % |
246.47/246.69 c | 258705 | 5848 24996 75903 | 2147483647 257023 137 | 0.000 % |
246.87/247.06 c | 258882 | 5848 24996 75903 | 2147483647 257200 137 | 0.000 % |
247.27/247.43 c | 259075 | 5848 24996 75903 | 2147483647 257393 137 | 0.000 % |
247.77/247.91 c | 259287 | 5848 24996 75903 | 2147483647 257605 137 | 0.000 % |
248.17/248.37 c | 259520 | 5848 24996 75903 | 2147483647 257838 137 | 0.000 % |
248.78/248.92 c | 259779 | 5848 24996 75903 | 2147483647 258097 137 | 0.000 % |
249.27/249.42 c | 260062 | 5848 24996 75903 | 2147483647 258380 137 | 0.000 % |
249.87/250.05 c | 260371 | 5848 24996 75903 | 2147483647 258689 137 | 0.000 % |
250.47/250.67 c | 260710 | 5848 24996 75903 | 2147483647 259028 137 | 0.000 % |
251.17/251.34 c | 261082 | 5848 24996 75903 | 2147483647 259400 137 | 0.000 % |
251.87/252.01 c | 261495 | 5848 24996 75903 | 2147483647 259813 137 | 0.000 % |
252.67/252.84 c | 261944 | 5848 24996 75903 | 2147483647 260262 137 | 0.000 % |
253.47/253.65 c | 262437 | 5848 24996 75903 | 2147483647 260755 137 | 0.000 % |
254.47/254.67 c | 262980 | 5848 24996 75903 | 2147483647 261298 137 | 0.000 % |
255.67/255.82 c | 263576 | 5848 24996 75903 | 2147483647 261894 137 | 0.000 % |
256.77/256.96 c | 264231 | 5848 24996 75903 | 2147483647 262549 137 | 0.000 % |
258.07/258.28 c | 264953 | 5848 24996 75903 | 2147483647 263271 137 | 0.000 % |
259.56/259.70 c | 265745 | 5848 24996 75903 | 2147483647 264063 137 | 0.000 % |
261.06/261.22 c | 266617 | 5848 24996 75903 | 2147483647 264935 137 | 0.000 % |
262.67/262.87 c | 267577 | 5848 24996 75903 | 2147483647 265895 137 | 0.000 % |
264.57/264.74 c | 268630 | 5848 24996 75903 | 2147483647 266948 137 | 0.000 % |
266.57/266.70 c | 269788 | 5848 24996 75903 | 2147483647 268106 137 | 0.000 % |
268.66/268.86 c | 271061 | 5848 24996 75903 | 2147483647 269379 137 | 0.000 % |
271.06/271.29 c | 272461 | 5848 24996 75903 | 2147483647 270779 137 | 0.000 % |
273.57/273.80 c | 274001 | 5848 24996 75903 | 2147483647 272319 137 | 0.000 % |
276.66/276.83 c | 275696 | 5848 24996 75903 | 2147483647 274014 137 | 0.000 % |
279.76/279.95 c | 277560 | 5848 24996 75903 | 2147483647 275878 137 | 0.000 % |
283.26/283.41 c | 279611 | 5848 24996 75903 | 2147483647 277929 137 | 0.000 % |
287.36/287.50 c | 281864 | 5848 24996 75903 | 2147483647 280182 137 | 0.000 % |
291.66/291.86 c | 284342 | 5848 24996 75903 | 2147483647 282660 138 | 0.000 % |
296.55/296.70 c | 287067 | 5848 24996 75903 | 2147483647 285385 138 | 0.000 % |
296.75/296.98 c | 287167 | 5848 24996 75903 | 2147483647 285485 138 | 0.000 % |
297.05/297.21 c | 287277 | 5848 24996 75903 | 2147483647 285595 138 | 0.000 % |
297.25/297.46 c | 287398 | 5848 24996 75903 | 2147483647 285716 138 | 0.000 % |
297.55/297.78 c | 287531 | 5848 24996 75903 | 2147483647 285849 138 | 0.000 % |
297.95/298.10 c | 287677 | 5848 24996 75903 | 2147483647 285995 138 | 0.000 % |
298.35/298.50 c | 287838 | 5848 24996 75903 | 2147483647 286156 138 | 0.000 % |
298.65/298.88 c | 288015 | 5848 24996 75903 | 2147483647 286333 138 | 0.000 % |
299.15/299.30 c | 288208 | 5848 24996 75903 | 2147483647 286526 138 | 0.000 % |
299.65/299.81 c | 288422 | 5848 24996 75903 | 2147483647 286740 138 | 0.000 % |
300.15/300.34 c | 288656 | 5848 24996 75903 | 2147483647 286974 138 | 0.000 % |
300.65/300.84 c | 288912 | 5848 24996 75903 | 2147483647 287230 138 | 0.000 % |
301.16/301.36 c | 289193 | 5848 24996 75903 | 2147483647 287511 138 | 0.000 % |
301.75/301.95 c | 289502 | 5848 24996 75903 | 2147483647 287820 138 | 0.000 % |
302.55/302.76 c | 289843 | 5848 24996 75903 | 2147483647 288161 138 | 0.000 % |
303.35/303.52 c | 290215 | 5848 24996 75903 | 2147483647 288533 138 | 0.000 % |
304.15/304.37 c | 290624 | 5848 24996 75903 | 2147483647 288942 137 | 0.000 % |
305.15/305.32 c | 291073 | 5848 24996 75903 | 2147483647 289391 137 | 0.000 % |
306.15/306.32 c | 291566 | 5848 24996 75903 | 2147483647 289884 137 | 0.000 % |
307.25/307.43 c | 292110 | 5848 24996 75903 | 2147483647 290428 137 | 0.000 % |
308.45/308.63 c | 292708 | 5848 24996 75903 | 2147483647 291026 137 | 0.000 % |
309.65/309.89 c | 293363 | 5848 24996 75903 | 2147483647 291681 137 | 0.000 % |
311.15/311.33 c | 294083 | 5848 24996 75903 | 2147483647 292401 137 | 0.000 % |
312.74/312.94 c | 294876 | 5848 24996 75903 | 2147483647 293194 137 | 0.000 % |
314.54/314.70 c | 295749 | 5848 24996 75903 | 2147483647 294067 137 | 0.000 % |
316.35/316.55 c | 296709 | 5848 24996 75903 | 2147483647 295027 138 | 0.000 % |
318.15/318.30 c | 297762 | 5848 24996 75903 | 2147483647 296080 138 | 0.000 % |
320.14/320.33 c | 298921 | 5848 24996 75903 | 2147483647 297239 138 | 0.000 % |
322.54/322.77 c | 300195 | 5848 24996 75903 | 2147483647 298513 138 | 0.000 % |
324.94/325.12 c | 301596 | 5848 24996 75903 | 2147483647 299914 138 | 0.000 % |
327.84/328.00 c | 303138 | 5848 24996 75903 | 2147483647 301456 138 | 0.000 % |
330.94/331.12 c | 304832 | 5848 24996 75903 | 2147483647 303150 138 | 0.000 % |
334.43/334.69 c | 306696 | 5848 24996 75903 | 2147483647 305014 138 | 0.000 % |
338.13/338.33 c | 308745 | 5848 24996 75903 | 2147483647 307063 138 | 0.000 % |
342.53/342.77 c | 310998 | 5848 24996 75903 | 2147483647 309316 138 | 0.000 % |
347.34/347.56 c | 313477 | 5848 24996 75903 | 2147483647 311795 138 | 0.000 % |
352.42/352.67 c | 316202 | 5848 24996 75903 | 2147483647 314520 138 | 0.000 % |
358.22/358.41 c | 319203 | 5848 24996 75903 | 2147483647 317521 138 | 0.000 % |
358.43/358.65 c | 319303 | 5848 24996 75903 | 2147483647 317621 138 | 0.000 % |
358.72/358.90 c | 319413 | 5848 24996 75903 | 2147483647 317731 138 | 0.000 % |
359.02/359.22 c | 319535 | 5848 24996 75903 | 2147483647 317853 138 | 0.000 % |
359.32/359.60 c | 319669 | 5848 24996 75903 | 2147483647 317987 138 | 0.000 % |
359.72/359.95 c | 319815 | 5848 24996 75903 | 2147483647 318133 138 | 0.000 % |
360.13/360.31 c | 319977 | 5848 24996 75903 | 2147483647 318295 138 | 0.000 % |
360.53/360.78 c | 320153 | 5848 24996 75903 | 2147483647 318471 138 | 0.000 % |
361.03/361.21 c | 320348 | 5848 24996 75903 | 2147483647 318666 138 | 0.000 % |
361.53/361.75 c | 320561 | 5848 24996 75903 | 2147483647 318879 138 | 0.000 % |
362.12/362.30 c | 320794 | 5848 24996 75903 | 2147483647 319112 138 | 0.000 % |
362.73/362.93 c | 321050 | 5848 24996 75903 | 2147483647 319368 138 | 0.000 % |
363.42/363.65 c | 321334 | 5848 24996 75903 | 2147483647 319652 138 | 0.000 % |
364.12/364.38 c | 321644 | 5848 24996 75903 | 2147483647 319962 138 | 0.000 % |
364.93/365.19 c | 321984 | 5848 24996 75903 | 2147483647 320302 138 | 0.000 % |
365.72/365.97 c | 322356 | 5848 24996 75903 | 2147483647 320674 138 | 0.000 % |
366.61/366.87 c | 322766 | 5848 24996 75903 | 2147483647 321084 138 | 0.000 % |
367.61/367.82 c | 323215 | 5848 24996 75903 | 2147483647 321533 138 | 0.000 % |
368.51/368.79 c | 323712 | 5848 24996 75903 | 2147483647 322030 138 | 0.000 % |
369.72/369.94 c | 324254 | 5848 24996 75903 | 2147483647 322572 138 | 0.000 % |
370.92/371.18 c | 324852 | 5848 24996 75903 | 2147483647 323170 138 | 0.000 % |
372.42/372.61 c | 325507 | 5848 24996 75903 | 2147483647 323825 138 | 0.000 % |
374.01/374.23 c | 326227 | 5848 24996 75903 | 2147483647 324545 138 | 0.000 % |
375.21/375.48 c | 327019 | 5848 24996 75903 | 2147483647 325337 138 | 0.000 % |
377.11/377.32 c | 327890 | 5848 24996 75903 | 2147483647 326208 138 | 0.000 % |
379.21/379.41 c | 328848 | 5848 24996 75903 | 2147483647 327166 138 | 0.000 % |
381.52/381.73 c | 329903 | 5848 24996 75903 | 2147483647 328221 138 | 0.000 % |
384.21/384.44 c | 331061 | 5848 24996 75903 | 328318 289493 138 | 0.000 % |
386.81/387.02 c | 332335 | 5848 24996 75903 | 328318 290767 138 | 0.000 % |
389.41/389.61 c | 333735 | 5848 24996 75903 | 328318 292167 138 | 0.000 % |
392.41/392.61 c | 335275 | 5848 24996 75903 | 328318 293707 138 | 0.000 % |
395.41/395.68 c | 336969 | 5848 24996 75903 | 328318 295401 138 | 0.000 % |
398.81/399.06 c | 338834 | 5848 24996 75903 | 328318 297266 138 | 0.000 % |
402.70/402.97 c | 340885 | 5848 24996 75903 | 2147483647 299317 138 | 0.000 % |
406.71/406.93 c | 343139 | 5848 24996 75903 | 2147483647 301571 139 | 0.000 % |
411.11/411.38 c | 345618 | 5848 24996 75903 | 2147483647 304050 139 | 0.000 % |
416.10/416.35 c | 348343 | 5848 24996 75903 | 2147483647 306775 139 | 0.000 % |
421.50/421.71 c | 351340 | 5848 24996 75903 | 2147483647 309772 139 | 0.000 % |
427.70/427.91 c | 354636 | 5848 24996 75903 | 2147483647 313068 139 | 0.000 % |
427.90/428.16 c | 354739 | 5848 24996 75903 | 2147483647 313171 139 | 0.000 % |
428.20/428.41 c | 354849 | 5848 24996 75903 | 2147483647 313281 139 | 0.000 % |
428.49/428.72 c | 354970 | 5848 24996 75903 | 2147483647 313402 139 | 0.000 % |
428.80/429.08 c | 355105 | 5848 24996 75903 | 2147483647 313537 139 | 0.000 % |
429.19/429.44 c | 355251 | 5848 24996 75903 | 2147483647 313683 139 | 0.000 % |
429.59/429.81 c | 355411 | 5848 24996 75903 | 2147483647 313843 139 | 0.000 % |
429.99/430.20 c | 355590 | 5848 24996 75903 | 2147483647 314022 139 | 0.000 % |
430.39/430.66 c | 355783 | 5848 24996 75903 | 2147483647 314215 139 | 0.000 % |
430.90/431.19 c | 355998 | 5848 24996 75903 | 2147483647 314430 139 | 0.000 % |
431.49/431.73 c | 356231 | 5848 24996 75903 | 2147483647 314663 139 | 0.000 % |
432.00/432.27 c | 356488 | 5848 24996 75903 | 2147483647 314920 139 | 0.000 % |
432.69/432.91 c | 356771 | 5848 24996 75903 | 2147483647 315203 139 | 0.000 % |
433.29/433.58 c | 357083 | 5848 24996 75903 | 2147483647 315515 139 | 0.000 % |
434.09/434.38 c | 357422 | 5848 24996 75903 | 2147483647 315854 139 | 0.000 % |
434.99/435.26 c | 357795 | 5848 24996 75903 | 2147483647 316227 139 | 0.000 % |
435.89/436.19 c | 358206 | 5848 24996 75903 | 2147483647 316638 139 | 0.000 % |
436.89/437.10 c | 358655 | 5848 24996 75903 | 2147483647 317087 139 | 0.000 % |
437.99/438.20 c | 359148 | 5848 24996 75903 | 2147483647 317580 139 | 0.000 % |
439.09/439.33 c | 359690 | 5848 24996 75903 | 2147483647 318122 139 | 0.000 % |
440.49/440.72 c | 360287 | 5848 24996 75903 | 318432 318719 139 | 0.000 % |
442.08/442.36 c | 360943 | 5848 24996 75903 | 318432 285613 140 | 0.000 % |
443.48/443.72 c | 361663 | 5848 24996 75903 | 318432 286333 140 | 0.000 % |
444.88/445.13 c | 362456 | 5848 24996 75903 | 318432 287126 140 | 0.000 % |
446.29/446.56 c | 363330 | 5848 24996 75903 | 318432 288000 140 | 0.000 % |
448.28/448.58 c | 364288 | 5848 24996 75903 | 318432 288958 140 | 0.000 % |
450.38/450.66 c | 365341 | 5848 24996 75903 | 318432 290011 140 | 0.000 % |
452.58/452.81 c | 366499 | 5848 24996 75903 | 318432 291169 140 | 0.000 % |
454.98/455.27 c | 367773 | 5848 24996 75903 | 318432 292443 140 | 0.000 % |
457.38/457.69 c | 369174 | 5848 24996 75903 | 318432 293844 140 | 0.000 % |
460.18/460.43 c | 370717 | 5848 24996 75903 | 2147483647 295387 140 | 0.000 % |
463.27/463.53 c | 372411 | 5848 24996 75903 | 2147483647 297081 140 | 0.000 % |
466.47/466.70 c | 374274 | 5848 24996 75903 | 2147483647 298944 140 | 0.000 % |
470.37/470.60 c | 376323 | 5848 24996 75903 | 2147483647 300993 140 | 0.000 % |
474.47/474.72 c | 378576 | 5848 24996 75903 | 2147483647 303246 141 | 0.000 % |
479.27/479.50 c | 381056 | 5848 24996 75903 | 2147483647 305726 141 | 0.000 % |
484.47/484.70 c | 383782 | 5848 24996 75903 | 2147483647 308452 141 | 0.000 % |
489.87/490.15 c | 386782 | 5848 24996 75903 | 2147483647 311452 141 | 0.000 % |
496.27/496.54 c | 390078 | 5848 24996 75903 | 2147483647 314748 141 | 0.000 % |
503.26/503.57 c | 393704 | 5848 24996 75903 | 2147483647 318374 141 | 0.000 % |
503.47/503.78 c | 393805 | 5848 24996 75903 | 2147483647 318475 141 | 0.000 % |
503.76/504.06 c | 393918 | 5848 24996 75903 | 2147483647 318588 141 | 0.000 % |
504.06/504.39 c | 394040 | 5848 24996 75903 | 2147483647 318710 141 | 0.000 % |
504.57/504.80 c | 394175 | 5848 24996 75903 | 2147483647 318845 141 | 0.000 % |
504.86/505.17 c | 394321 | 5848 24996 75903 | 2147483647 318991 141 | 0.000 % |
505.26/505.53 c | 394481 | 5848 24996 75903 | 2147483647 319151 141 | 0.000 % |
505.77/506.01 c | 394661 | 5848 24996 75903 | 2147483647 319331 141 | 0.000 % |
506.16/506.47 c | 394854 | 5848 24996 75903 | 2147483647 319524 141 | 0.000 % |
506.66/506.98 c | 395066 | 5848 24996 75903 | 2147483647 319736 141 | 0.000 % |
507.26/507.51 c | 395300 | 5848 24996 75903 | 2147483647 319970 141 | 0.000 % |
507.87/508.11 c | 395556 | 5848 24996 75903 | 2147483647 320226 141 | 0.000 % |
508.46/508.77 c | 395837 | 5848 24996 75903 | 2147483647 320507 141 | 0.000 % |
509.16/509.49 c | 396146 | 5848 24996 75903 | 2147483647 320816 141 | 0.000 % |
509.96/510.20 c | 396487 | 5848 24996 75903 | 2147483647 321157 141 | 0.000 % |
510.76/511.04 c | 396859 | 5848 24996 75903 | 2147483647 321529 141 | 0.000 % |
511.66/511.93 c | 397268 | 5848 24996 75903 | 2147483647 321938 141 | 0.000 % |
512.76/513.00 c | 397717 | 5848 24996 75903 | 2147483647 322387 141 | 0.000 % |
513.76/514.02 c | 398210 | 5848 24996 75903 | 2147483647 322880 141 | 0.000 % |
514.86/515.16 c | 398752 | 5848 24996 75903 | 2147483647 323422 141 | 0.000 % |
516.06/516.36 c | 399348 | 5848 24996 75903 | 2147483647 324018 141 | 0.000 % |
517.35/517.67 c | 400005 | 5848 24996 75903 | 324670 324675 141 | 0.000 % |
519.25/519.51 c | 400725 | 5848 24996 75903 | 324670 286728 141 | 0.000 % |
520.65/521.00 c | 401519 | 5848 24996 75903 | 324670 287522 141 | 0.000 % |
522.45/522.74 c | 402394 | 5848 24996 75903 | 324670 288397 141 | 0.000 % |
524.25/524.58 c | 403352 | 5848 24996 75903 | 324670 289355 141 | 0.000 % |
526.35/526.62 c | 404405 | 5848 24996 75903 | 324670 290408 141 | 0.000 % |
528.65/528.90 c | 405566 | 5848 24996 75903 | 324670 291569 141 | 0.000 % |
531.15/531.42 c | 406839 | 5848 24996 75903 | 324670 292842 141 | 0.000 % |
533.85/534.10 c | 408240 | 5848 24996 75903 | 324670 294243 141 | 0.000 % |
536.64/536.95 c | 409782 | 5848 24996 75903 | 324670 295785 141 | 0.000 % |
539.85/540.13 c | 411478 | 5848 24996 75903 | 2147483647 297481 141 | 0.000 % |
543.15/543.43 c | 413341 | 5848 24996 75903 | 2147483647 299344 141 | 0.000 % |
546.94/547.25 c | 415392 | 5848 24996 75903 | 2147483647 301395 141 | 0.000 % |
551.14/551.49 c | 417648 | 5848 24996 75903 | 2147483647 303651 141 | 0.000 % |
555.74/556.02 c | 420126 | 5848 24996 75903 | 2147483647 306129 142 | 0.000 % |
560.84/561.15 c | 422851 | 5848 24996 75903 | 2147483647 308854 142 | 0.000 % |
566.63/566.99 c | 425849 | 5848 24996 75903 | 2147483647 311852 142 | 0.000 % |
572.84/573.18 c | 429145 | 5848 24996 75903 | 2147483647 315148 142 | 0.000 % |
580.13/580.47 c | 432770 | 5848 24996 75903 | 2147483647 318773 142 | 0.000 % |
587.82/588.14 c | 436757 | 5848 24996 75903 | 2147483647 322760 142 | 0.000 % |
588.02/588.37 c | 436858 | 5848 24996 75903 | 2147483647 322861 142 | 0.000 % |
588.32/588.66 c | 436971 | 5848 24996 75903 | 2147483647 322974 142 | 0.000 % |
588.62/588.95 c | 437093 | 5848 24996 75903 | 2147483647 323096 142 | 0.000 % |
589.02/589.37 c | 437229 | 5848 24996 75903 | 2147483647 323232 142 | 0.000 % |
589.33/589.70 c | 437376 | 5848 24996 75903 | 2147483647 323379 142 | 0.000 % |
589.73/590.07 c | 437536 | 5848 24996 75903 | 2147483647 323539 142 | 0.000 % |
590.23/590.56 c | 437712 | 5848 24996 75903 | 2147483647 323715 142 | 0.000 % |
590.73/591.03 c | 437906 | 5848 24996 75903 | 2147483647 323909 142 | 0.000 % |
591.23/591.59 c | 438119 | 5848 24996 75903 | 2147483647 324122 142 | 0.000 % |
591.83/592.13 c | 438354 | 5848 24996 75903 | 2147483647 324357 142 | 0.000 % |
592.43/592.70 c | 438612 | 5848 24996 75903 | 2147483647 324615 142 | 0.000 % |
593.03/593.33 c | 438894 | 5848 24996 75903 | 2147483647 324897 142 | 0.000 % |
593.73/594.03 c | 439203 | 5848 24996 75903 | 2147483647 325206 142 | 0.000 % |
594.52/594.83 c | 439543 | 5848 24996 75903 | 2147483647 325546 142 | 0.000 % |
595.42/595.77 c | 439915 | 5848 24996 75903 | 2147483647 325918 142 | 0.000 % |
596.32/596.63 c | 440325 | 5848 24996 75903 | 326005 326328 142 | 0.000 % |
597.62/597.95 c | 440775 | 5848 24996 75903 | 326005 291338 143 | 0.000 % |
598.62/598.91 c | 441268 | 5848 24996 75903 | 326005 291831 143 | 0.000 % |
599.62/599.93 c | 441810 | 5848 24996 75903 | 326005 292373 143 | 0.000 % |
600.82/601.11 c | 442407 | 5848 24996 75903 | 326005 292970 143 | 0.000 % |
602.02/602.30 c | 443063 | 5848 24996 75903 | 326005 293626 143 | 0.000 % |
603.42/603.72 c | 443783 | 5848 24996 75903 | 326005 294346 143 | 0.000 % |
604.92/605.28 c | 444576 | 5848 24996 75903 | 326005 295139 143 | 0.000 % |
606.82/607.11 c | 445448 | 5848 24996 75903 | 326005 296011 143 | 0.000 % |
608.62/608.94 c | 446406 | 5848 24996 75903 | 326005 296969 143 | 0.000 % |
610.61/610.92 c | 447459 | 5848 24996 75903 | 326005 298022 143 | 0.000 % |
612.91/613.20 c | 448618 | 5848 24996 75903 | 326005 299181 143 | 0.000 % |
615.21/615.57 c | 449891 | 5848 24996 75903 | 326005 300454 143 | 0.000 % |
617.81/618.17 c | 451293 | 5848 24996 75903 | 2147483647 301856 143 | 0.000 % |
620.91/621.21 c | 452834 | 5848 24996 75903 | 2147483647 303397 143 | 0.000 % |
624.11/624.43 c | 454528 | 5848 24996 75903 | 2147483647 305091 143 | 0.000 % |
627.91/628.26 c | 456392 | 5848 24996 75903 | 2147483647 306955 143 | 0.000 % |
632.00/632.33 c | 458441 | 5848 24996 75903 | 2147483647 309004 143 | 0.000 % |
636.20/636.54 c | 460694 | 5848 24996 75903 | 2147483647 311257 143 | 0.000 % |
640.90/641.30 c | 463174 | 5848 24996 75903 | 2147483647 313737 143 | 0.000 % |
645.90/646.22 c | 465900 | 5848 24996 75903 | 2147483647 316463 143 | 0.000 % |
651.49/651.89 c | 468899 | 5848 24996 75903 | 2147483647 319462 143 | 0.000 % |
657.70/658.07 c | 472199 | 5848 24996 75903 | 2147483647 322762 144 | 0.000 % |
664.90/665.20 c | 475824 | 5848 24996 75903 | 2147483647 326387 144 | 0.000 % |
672.49/672.81 c | 479812 | 5848 24996 75903 | 2147483647 330375 144 | 0.000 % |
681.18/681.53 c | 484197 | 5848 24996 75903 | 2147483647 334760 144 | 0.000 % |
681.38/681.77 c | 484297 | 5848 24996 75903 | 2147483647 334860 144 | 0.000 % |
681.78/682.11 c | 484407 | 5848 24996 75903 | 2147483647 334970 144 | 0.000 % |
682.08/682.43 c | 484529 | 5848 24996 75903 | 2147483647 335092 144 | 0.000 % |
682.48/682.83 c | 484662 | 5848 24996 75903 | 2147483647 335225 144 | 0.000 % |
682.88/683.25 c | 484808 | 5848 24996 75903 | 2147483647 335371 144 | 0.000 % |
683.28/683.63 c | 484968 | 5848 24996 75903 | 2147483647 335531 144 | 0.000 % |
683.78/684.10 c | 485146 | 5848 24996 75903 | 2147483647 335709 144 | 0.000 % |
684.19/684.55 c | 485339 | 5848 24996 75903 | 2147483647 335902 144 | 0.000 % |
684.69/685.03 c | 485551 | 5848 24996 75903 | 2147483647 336114 144 | 0.000 % |
685.28/685.65 c | 485784 | 5848 24996 75903 | 2147483647 336347 144 | 0.000 % |
685.88/686.30 c | 486042 | 5848 24996 75903 | 2147483647 336605 144 | 0.000 % |
686.68/687.04 c | 486325 | 5848 24996 75903 | 2147483647 336888 144 | 0.000 % |
687.38/687.78 c | 486636 | 5848 24996 75903 | 2147483647 337199 144 | 0.000 % |
688.28/688.65 c | 486975 | 5848 24996 75903 | 2147483647 337538 144 | 0.000 % |
689.18/689.57 c | 487347 | 5848 24996 75903 | 2147483647 337910 144 | 0.000 % |
690.17/690.59 c | 487758 | 5848 24996 75903 | 2147483647 338321 144 | 0.000 % |
691.28/691.61 c | 488208 | 5848 24996 75903 | 2147483647 338771 144 | 0.000 % |
692.28/692.69 c | 488702 | 5848 24996 75903 | 2147483647 339265 144 | 0.000 % |
693.68/694.00 c | 489244 | 5848 24996 75903 | 2147483647 339807 144 | 0.000 % |
694.88/695.25 c | 489840 | 5848 24996 75903 | 2147483647 340403 144 | 0.000 % |
696.27/696.62 c | 490495 | 5848 24996 75903 | 340563 341058 144 | 0.000 % |
698.18/698.50 c | 491215 | 5848 24996 75903 | 340563 298291 145 | 0.000 % |
699.67/700.09 c | 492008 | 5848 24996 75903 | 340563 299084 145 | 0.000 % |
701.57/701.93 c | 492879 | 5848 24996 75903 | 340563 299955 145 | 0.000 % |
703.37/703.78 c | 493837 | 5848 24996 75903 | 340563 300913 145 | 0.000 % |
705.47/705.88 c | 494890 | 5848 24996 75903 | 340563 301966 145 | 0.000 % |
707.77/708.17 c | 496050 | 5848 24996 75903 | 340563 303126 145 | 0.000 % |
710.27/710.68 c | 497323 | 5848 24996 75903 | 340563 304399 145 | 0.000 % |
713.07/713.41 c | 498724 | 5848 24996 75903 | 340563 305800 145 | 0.000 % |
715.96/716.35 c | 500264 | 5848 24996 75903 | 307076 307340 145 | 0.000 % |
719.26/719.62 c | 501959 | 5848 24996 75903 | 307076 276433 146 | 0.000 % |
722.27/722.66 c | 503823 | 5848 24996 75903 | 307076 278297 146 | 0.000 % |
725.86/726.22 c | 505872 | 5848 24996 75903 | 307076 280346 146 | 0.000 % |
729.96/730.36 c | 508126 | 5848 24996 75903 | 307076 282600 146 | 0.000 % |
734.36/734.79 c | 510605 | 5848 24996 75903 | 2147483647 285079 146 | 0.000 % |
739.25/739.65 c | 513330 | 5848 24996 75903 | 2147483647 287804 146 | 0.000 % |
744.65/745.00 c | 516328 | 5848 24996 75903 | 2147483647 290802 146 | 0.000 % |
750.75/751.14 c | 519626 | 5848 24996 75903 | 2147483647 294100 146 | 0.000 % |
757.25/757.61 c | 523251 | 5848 24996 75903 | 2147483647 297725 146 | 0.000 % |
764.64/765.04 c | 527238 | 5848 24996 75903 | 2147483647 301712 147 | 0.000 % |
772.64/773.06 c | 531624 | 5848 24996 75903 | 2147483647 306098 147 | 0.000 % |
781.15/781.58 c | 536448 | 5848 24996 75903 | 2147483647 310922 147 | 0.000 % |
781.45/781.81 c | 536549 | 5848 24996 75903 | 2147483647 311023 147 | 0.000 % |
781.75/782.12 c | 536659 | 5848 24996 75903 | 2147483647 311133 147 | 0.000 % |
782.05/782.42 c | 536780 | 5848 24996 75903 | 2147483647 311254 147 | 0.000 % |
782.35/782.73 c | 536913 | 5848 24996 75903 | 2147483647 311387 147 | 0.000 % |
782.65/783.10 c | 537060 | 5848 24996 75903 | 2147483647 311534 147 | 0.000 % |
783.15/783.54 c | 537220 | 5848 24996 75903 | 2147483647 311694 147 | 0.000 % |
783.54/783.96 c | 537398 | 5848 24996 75903 | 2147483647 311872 147 | 0.000 % |
784.04/784.45 c | 537592 | 5848 24996 75903 | 2147483647 312066 147 | 0.000 % |
784.64/785.02 c | 537804 | 5848 24996 75903 | 2147483647 312278 147 | 0.000 % |
785.14/785.50 c | 538038 | 5848 24996 75903 | 2147483647 312512 147 | 0.000 % |
785.64/786.05 c | 538295 | 5848 24996 75903 | 2147483647 312769 147 | 0.000 % |
786.34/786.75 c | 538577 | 5848 24996 75903 | 2147483647 313051 147 | 0.000 % |
787.04/787.49 c | 538886 | 5848 24996 75903 | 2147483647 313360 147 | 0.000 % |
787.84/788.23 c | 539226 | 5848 24996 75903 | 2147483647 313700 147 | 0.000 % |
788.64/789.02 c | 539598 | 5848 24996 75903 | 2147483647 314072 147 | 0.000 % |
789.64/790.03 c | 540007 | 5848 24996 75903 | 2147483647 314481 147 | 0.000 % |
790.64/791.02 c | 540459 | 5848 24996 75903 | 2147483647 314933 147 | 0.000 % |
791.74/792.11 c | 540955 | 5848 24996 75903 | 2147483647 315429 147 | 0.000 % |
792.84/793.24 c | 541497 | 5848 24996 75903 | 2147483647 315971 147 | 0.000 % |
794.14/794.59 c | 542093 | 5848 24996 75903 | 2147483647 316567 147 | 0.000 % |
795.74/796.13 c | 542748 | 5848 24996 75903 | 2147483647 317222 147 | 0.000 % |
797.34/797.74 c | 543468 | 5848 24996 75903 | 2147483647 317942 147 | 0.000 % |
799.04/799.44 c | 544260 | 5848 24996 75903 | 2147483647 318734 147 | 0.000 % |
800.84/801.21 c | 545132 | 5848 24996 75903 | 2147483647 319606 147 | 0.000 % |
802.74/803.12 c | 546090 | 5848 24996 75903 | 2147483647 320564 147 | 0.000 % |
805.03/805.41 c | 547143 | 5848 24996 75903 | 2147483647 321617 147 | 0.000 % |
807.33/807.78 c | 548302 | 5848 24996 75903 | 2147483647 322776 147 | 0.000 % |
809.93/810.30 c | 549575 | 5848 24996 75903 | 2147483647 324049 147 | 0.000 % |
813.23/813.69 c | 550975 | 5848 24996 75903 | 324475 288269 146 | 0.000 % |
816.13/816.54 c | 552516 | 5848 24996 75903 | 324475 289810 146 | 0.000 % |
819.33/819.72 c | 554213 | 5848 24996 75903 | 324475 291507 146 | 0.000 % |
822.73/823.18 c | 556076 | 5848 24996 75903 | 324475 293370 146 | 0.000 % |
826.63/827.09 c | 558125 | 5848 24996 75903 | 324475 295419 146 | 0.000 % |
830.72/831.17 c | 560379 | 5848 24996 75903 | 2147483647 297673 146 | 0.000 % |
835.42/835.89 c | 562857 | 5848 24996 75903 | 2147483647 300151 146 | 0.000 % |
840.72/841.10 c | 565582 | 5848 24996 75903 | 2147483647 302876 146 | 0.000 % |
846.42/846.84 c | 568580 | 5848 24996 75903 | 2147483647 305874 146 | 0.000 % |
852.61/853.02 c | 571876 | 5848 24996 75903 | 2147483647 309170 147 | 0.000 % |
859.11/859.51 c | 575501 | 5848 24996 75903 | 2147483647 312795 147 | 0.000 % |
867.01/867.40 c | 579488 | 5848 24996 75903 | 2147483647 316782 147 | 0.000 % |
875.21/875.66 c | 583873 | 5848 24996 75903 | 2147483647 321167 147 | 0.000 % |
885.01/885.48 c | 588696 | 5848 24996 75903 | 2147483647 325990 148 | 0.000 % |
895.40/895.87 c | 594002 | 5848 24996 75903 | 2147483647 331296 148 | 0.000 % |
895.70/896.18 c | 594103 | 5848 24996 75903 | 2147483647 331397 148 | 0.000 % |
896.10/896.53 c | 594215 | 5848 24996 75903 | 2147483647 331509 148 | 0.000 % |
896.40/896.90 c | 594339 | 5848 24996 75903 | 2147483647 331633 148 | 0.000 % |
896.80/897.23 c | 594472 | 5848 24996 75903 | 2147483647 331766 148 | 0.000 % |
897.20/897.64 c | 594618 | 5848 24996 75903 | 2147483647 331912 148 | 0.000 % |
897.60/898.02 c | 594778 | 5848 24996 75903 | 2147483647 332072 148 | 0.000 % |
898.00/898.45 c | 594955 | 5848 24996 75903 | 2147483647 332249 148 | 0.000 % |
898.50/898.90 c | 595150 | 5848 24996 75903 | 2147483647 332444 148 | 0.000 % |
899.00/899.41 c | 595363 | 5848 24996 75903 | 2147483647 332657 148 | 0.000 % |
899.60/900.04 c | 595596 | 5848 24996 75903 | 2147483647 332890 148 | 0.000 % |
900.19/900.67 c | 595854 | 5848 24996 75903 | 2147483647 333148 148 | 0.000 % |
900.99/901.44 c | 596137 | 5848 24996 75903 | 2147483647 333431 148 | 0.000 % |
901.69/902.19 c | 596446 | 5848 24996 75903 | 2147483647 333740 148 | 0.000 % |
902.49/903.00 c | 596785 | 5848 24996 75903 | 2147483647 334079 147 | 0.000 % |
903.49/903.95 c | 597158 | 5848 24996 75903 | 2147483647 334452 147 | 0.000 % |
904.49/904.90 c | 597568 | 5848 24996 75903 | 2147483647 334862 147 | 0.000 % |
905.49/905.98 c | 598019 | 5848 24996 75903 | 2147483647 335313 147 | 0.000 % |
906.59/907.00 c | 598513 | 5848 24996 75903 | 2147483647 335807 147 | 0.000 % |
907.80/908.23 c | 599055 | 5848 24996 75903 | 2147483647 336349 147 | 0.000 % |
909.20/909.66 c | 599651 | 5848 24996 75903 | 2147483647 336945 147 | 0.000 % |
910.69/911.13 c | 600306 | 5848 24996 75903 | 337297 337600 147 | 0.000 % |
912.50/912.94 c | 601026 | 5848 24996 75903 | 337297 293484 148 | 0.000 % |
914.19/914.63 c | 601820 | 5848 24996 75903 | 337297 294278 147 | 0.000 % |
915.69/916.16 c | 602691 | 5848 24996 75903 | 337297 295149 148 | 0.000 % |
917.59/918.00 c | 603650 | 5848 24996 75903 | 337297 296108 148 | 0.000 % |
919.69/920.10 c | 604704 | 5848 24996 75903 | 337297 297162 147 | 0.000 % |
921.89/922.38 c | 605863 | 5848 24996 75903 | 337297 298321 147 | 0.000 % |
924.19/924.69 c | 607136 | 5848 24996 75903 | 337297 299594 148 | 0.000 % |
926.98/927.45 c | 608536 | 5848 24996 75903 | 337297 300994 148 | 0.000 % |
930.19/930.61 c | 610077 | 5848 24996 75903 | 2147483647 302535 148 | 0.000 % |
933.58/934.03 c | 611771 | 5848 24996 75903 | 2147483647 304229 148 | 0.000 % |
937.28/937.71 c | 613635 | 5848 24996 75903 | 2147483647 306093 148 | 0.000 % |
941.18/941.63 c | 615685 | 5848 24996 75903 | 2147483647 308143 148 | 0.000 % |
945.48/945.97 c | 617938 | 5848 24996 75903 | 2147483647 310396 148 | 0.000 % |
950.18/950.63 c | 620418 | 5848 24996 75903 | 2147483647 312876 148 | 0.000 % |
955.07/955.54 c | 623143 | 5848 24996 75903 | 2147483647 315601 148 | 0.000 % |
960.88/961.36 c | 626140 | 5848 24996 75903 | 2147483647 318598 148 | 0.000 % |
967.37/967.82 c | 629436 | 5848 24996 75903 | 2147483647 321894 148 | 0.000 % |
974.07/974.58 c | 633061 | 5848 24996 75903 | 2147483647 325519 148 | 0.000 % |
982.16/982.64 c | 637049 | 5848 24996 75903 | 2147483647 329507 148 | 0.000 % |
991.46/991.94 c | 641434 | 5848 24996 75903 | 332459 298389 148 | 0.000 % |
1000.75/1001.24 c | 646258 | 5848 24996 75903 | 332459 303213 149 | 0.000 % |
1011.05/1011.51 c | 651563 | 5848 24996 75903 | 2147483647 308518 150 | 0.000 % |
1022.05/1022.51 c | 657398 | 5848 24996 75903 | 2147483647 314353 150 | 0.000 % |
1022.25/1022.76 c | 657499 | 5848 24996 75903 | 2147483647 314454 150 | 0.000 % |
1022.55/1023.05 c | 657609 | 5848 24996 75903 | 2147483647 314564 150 | 0.000 % |
1022.95/1023.40 c | 657730 | 5848 24996 75903 | 2147483647 314685 150 | 0.000 % |
1023.24/1023.74 c | 657865 | 5848 24996 75903 | 2147483647 314820 150 | 0.000 % |
1023.55/1024.10 c | 658011 | 5848 24996 75903 | 2147483647 314966 150 | 0.000 % |
1024.04/1024.59 c | 658171 | 5848 24996 75903 | 2147483647 315126 150 | 0.000 % |
1024.54/1025.03 c | 658349 | 5848 24996 75903 | 2147483647 315304 150 | 0.000 % |
1024.95/1025.43 c | 658544 | 5848 24996 75903 | 2147483647 315499 150 | 0.000 % |
1025.54/1026.00 c | 658757 | 5848 24996 75903 | 2147483647 315712 149 | 0.000 % |
1026.04/1026.53 c | 658990 | 5848 24996 75903 | 2147483647 315945 150 | 0.000 % |
1026.64/1027.14 c | 659249 | 5848 24996 75903 | 2147483647 316204 149 | 0.000 % |
1027.34/1027.80 c | 659532 | 5848 24996 75903 | 2147483647 316487 149 | 0.000 % |
1028.14/1028.64 c | 659845 | 5848 24996 75903 | 2147483647 316800 149 | 0.000 % |
1028.94/1029.48 c | 660184 | 5848 24996 75903 | 316957 317139 149 | 0.000 % |
1030.15/1030.62 c | 660560 | 5848 24996 75903 | 316957 280717 150 | 0.000 % |
1030.94/1031.46 c | 660970 | 5848 24996 75903 | 316957 281127 150 | 0.000 % |
1031.84/1032.35 c | 661419 | 5848 24996 75903 | 316957 281576 150 | 0.000 % |
1032.84/1033.34 c | 661914 | 5848 24996 75903 | 316957 282071 150 | 0.000 % |
1033.84/1034.33 c | 662457 | 5848 24996 75903 | 316957 282614 150 | 0.000 % |
1035.04/1035.50 c | 663054 | 5848 24996 75903 | 316957 283211 150 | 0.000 % |
1036.34/1036.89 c | 663710 | 5848 24996 75903 | 316957 283867 149 | 0.000 % |
1037.74/1038.29 c | 664430 | 5848 24996 75903 | 316957 284587 149 | 0.000 % |
1039.34/1039.87 c | 665222 | 5848 24996 75903 | 316957 285379 149 | 0.000 % |
1041.04/1041.57 c | 666093 | 5848 24996 75903 | 316957 286250 149 | 0.000 % |
1043.04/1043.51 c | 667051 | 5848 24996 75903 | 316957 287208 149 | 0.000 % |
1045.04/1045.57 c | 668105 | 5848 24996 75903 | 316957 288262 149 | 0.000 % |
1047.33/1047.81 c | 669266 | 5848 24996 75903 | 316957 289423 149 | 0.000 % |
1049.94/1050.46 c | 670540 | 5848 24996 75903 | 2147483647 290697 149 | 0.000 % |
1052.63/1053.17 c | 671940 | 5848 24996 75903 | 2147483647 292097 149 | 0.000 % |
1055.54/1056.07 c | 673480 | 5848 24996 75903 | 2147483647 293637 149 | 0.000 % |
1058.63/1059.16 c | 675174 | 5848 24996 75903 | 2147483647 295331 149 | 0.000 % |
1062.03/1062.58 c | 677038 | 5848 24996 75903 | 2147483647 297195 149 | 0.000 % |
1066.03/1066.51 c | 679088 | 5848 24996 75903 | 2147483647 299245 149 | 0.000 % |
1070.63/1071.18 c | 681342 | 5848 24996 75903 | 2147483647 301499 149 | 0.000 % |
1075.33/1075.88 c | 683822 | 5848 24996 75903 | 2147483647 303979 149 | 0.000 % |
1080.52/1081.06 c | 686547 | 5848 24996 75903 | 2147483647 306704 149 | 0.000 % |
1086.22/1086.78 c | 689544 | 5848 24996 75903 | 2147483647 309701 150 | 0.000 % |
1093.01/1093.59 c | 692842 | 5848 24996 75903 | 2147483647 312999 149 | 0.000 % |
1100.01/1100.52 c | 696470 | 5848 24996 75903 | 2147483647 316627 150 | 0.000 % |
1107.81/1108.31 c | 700458 | 5848 24996 75903 | 2147483647 320615 150 | 0.000 % |
1116.12/1116.69 c | 704843 | 5848 24996 75903 | 2147483647 325000 150 | 0.000 % |
1125.51/1126.09 c | 709666 | 5848 24996 75903 | 2147483647 329823 150 | 0.000 % |
1136.00/1136.58 c | 714972 | 5848 24996 75903 | 2147483647 335129 150 | 0.000 % |
1148.10/1148.61 c | 720808 | 5848 24996 75903 | 2147483647 340965 150 | 0.000 % |
1160.89/1161.45 c | 727228 | 5848 24996 75903 | 2147483647 347385 151 | 0.000 % |
1161.19/1161.73 c | 727328 | 5848 24996 75903 | 2147483647 347485 151 | 0.000 % |
1161.49/1162.06 c | 727438 | 5848 24996 75903 | 2147483647 347595 151 | 0.000 % |
1161.89/1162.43 c | 727559 | 5848 24996 75903 | 2147483647 347716 151 | 0.000 % |
1162.29/1162.83 c | 727692 | 5848 24996 75903 | 2147483647 347849 151 | 0.000 % |
1162.69/1163.22 c | 727838 | 5848 24996 75903 | 2147483647 347995 151 | 0.000 % |
1163.09/1163.64 c | 727999 | 5848 24996 75903 | 2147483647 348156 151 | 0.000 % |
1163.59/1164.15 c | 728176 | 5848 24996 75903 | 2147483647 348333 151 | 0.000 % |
1164.08/1164.63 c | 728372 | 5848 24996 75903 | 2147483647 348529 151 | 0.000 % |
1164.69/1165.23 c | 728586 | 5848 24996 75903 | 2147483647 348743 151 | 0.000 % |
1165.29/1165.85 c | 728820 | 5848 24996 75903 | 2147483647 348977 151 | 0.000 % |
1165.99/1166.50 c | 729076 | 5848 24996 75903 | 2147483647 349233 151 | 0.000 % |
1166.69/1167.22 c | 729358 | 5848 24996 75903 | 2147483647 349515 151 | 0.000 % |
1167.49/1168.02 c | 729671 | 5848 24996 75903 | 2147483647 349828 151 | 0.000 % |
1168.29/1168.87 c | 730011 | 5848 24996 75903 | 350160 350168 150 | 0.000 % |
1169.69/1170.20 c | 730385 | 5848 24996 75903 | 350160 307972 151 | 0.000 % |
1170.49/1171.07 c | 730795 | 5848 24996 75903 | 350160 308382 151 | 0.000 % |
1171.49/1172.07 c | 731244 | 5848 24996 75903 | 350160 308831 151 | 0.000 % |
1172.59/1173.19 c | 731737 | 5848 24996 75903 | 350160 309324 151 | 0.000 % |
1173.88/1174.42 c | 732279 | 5848 24996 75903 | 350160 309866 151 | 0.000 % |
1175.18/1175.70 c | 732875 | 5848 24996 75903 | 350160 310462 151 | 0.000 % |
1176.49/1177.09 c | 733530 | 5848 24996 75903 | 350160 311117 151 | 0.000 % |
1178.08/1178.68 c | 734250 | 5848 24996 75903 | 350160 311837 151 | 0.000 % |
1179.88/1180.42 c | 735046 | 5848 24996 75903 | 350160 312633 151 | 0.000 % |
1181.68/1182.29 c | 735917 | 5848 24996 75903 | 350160 313504 151 | 0.000 % |
1183.78/1184.33 c | 736875 | 5848 24996 75903 | 350160 314462 151 | 0.000 % |
1185.88/1186.43 c | 737930 | 5848 24996 75903 | 350160 315517 151 | 0.000 % |
1188.08/1188.65 c | 739088 | 5848 24996 75903 | 350160 316675 151 | 0.000 % |
1190.88/1191.46 c | 740362 | 5848 24996 75903 | 317588 317949 151 | 0.000 % |
1193.98/1194.59 c | 741763 | 5848 24996 75903 | 317588 281459 152 | 0.000 % |
1196.87/1197.40 c | 743303 | 5848 24996 75903 | 317588 282999 152 | 0.000 % |
1199.67/1200.23 c | 744997 | 5848 24996 75903 | 317588 284693 151 | 0.000 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1832717-1242786745/watcher-1832717-1242786745 -o /tmp/evaluation-result-1832717-1242786745/solver-1832717-1242786745 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832717-1242786745.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 11387
/proc/meminfo: memFree=1882688/2055920 swapFree=4153476/4192956
[pid=11387] ppid=11385 vsize=5356 CPUtime=0
/proc/11387/stat : 11387 (SatELiteGTI) S 11385 11387 10762 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 306703127 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11387/statm: 1339 237 197 169 0 50 0
[startup+0.0921279 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 11387
/proc/meminfo: memFree=1882688/2055920 swapFree=4153476/4192956
[pid=11387] ppid=11385 vsize=5356 CPUtime=0
/proc/11387/stat : 11387 (SatELiteGTI) S 11385 11387 10762 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 306703127 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11387/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.10113 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 11387
/proc/meminfo: memFree=1882688/2055920 swapFree=4153476/4192956
[pid=11387] ppid=11385 vsize=5356 CPUtime=0
/proc/11387/stat : 11387 (SatELiteGTI) S 11385 11387 10762 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 306703127 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11387/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301172 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 11387
/proc/meminfo: memFree=1882688/2055920 swapFree=4153476/4192956
[pid=11387] ppid=11385 vsize=5356 CPUtime=0.1
/proc/11387/stat : 11387 (SatELiteGTI) S 11385 11387 10762 0 -1 4194304 336 1102 0 0 0 0 10 0 16 0 1 0 306703127 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11387/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 5356
[startup+0.701251 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 11387
/proc/meminfo: memFree=1882688/2055920 swapFree=4153476/4192956
[pid=11387] ppid=11385 vsize=5356 CPUtime=0.1
/proc/11387/stat : 11387 (SatELiteGTI) S 11385 11387 10762 0 -1 4194304 336 1102 0 0 0 0 10 0 16 0 1 0 306703127 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11387/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 5356
[startup+1.50139 s]
/proc/loadavg: 0.92 0.98 0.99 2/66 11393
/proc/meminfo: memFree=1877360/2055920 swapFree=4153476/4192956
[pid=11387] ppid=11385 vsize=5356 CPUtime=0.1
/proc/11387/stat : 11387 (SatELiteGTI) S 11385 11387 10762 0 -1 4194304 336 1102 0 0 0 0 10 0 16 0 1 0 306703127 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11387/statm: 1339 239 197 169 0 50 0
[pid=11393] ppid=11387 vsize=7008 CPUtime=1.38
/proc/11393/stat : 11393 (minisat_static) R 11387 11387 10762 0 -1 4194304 1515 0 0 0 137 1 0 0 25 0 1 0 306703138 7176192 1501 1992294400 134512640 135215339 4294956240 18446744073709551615 134539483 0 0 4096 3 0 0 0 17 1 0 0
/proc/11393/statm: 1752 1501 77 171 0 1579 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 12364
[startup+3.10169 s]
/proc/loadavg: 0.92 0.98 0.99 2/66 11393
/proc/meminfo: memFree=1875568/2055920 swapFree=4153476/4192956
[pid=11387] ppid=11385 vsize=5356 CPUtime=0.1
/proc/11387/stat : 11387 (SatELiteGTI) S 11385 11387 10762 0 -1 4194304 336 1102 0 0 0 0 10 0 16 0 1 0 306703127 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11387/statm: 1339 239 197 169 0 50 0
[pid=11393] ppid=11387 vsize=9676 CPUtime=2.97
/proc/11393/stat : 11393 (minisat_static) R 11387 11387 10762 0 -1 4194304 2181 0 0 0 296 1 0 0 25 0 1 0 306703138 9908224 2167 1992294400 134512640 135215339 4294956240 18446744073709551615 134933086 0 0 4096 3 0 0 0 17 1 0 0
/proc/11393/statm: 2452 2168 77 171 0 2279 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 15032
[startup+6.3013 s]
/proc/loadavg: 0.93 0.98 0.99 2/66 11393
/proc/meminfo: memFree=1869112/2055920 swapFree=4153476/4192956
[pid=11387] ppid=11385 vsize=5356 CPUtime=0.1
/proc/11387/stat : 11387 (SatELiteGTI) S 11385 11387 10762 0 -1 4194304 336 1102 0 0 0 0 10 0 16 0 1 0 306703127 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11387/statm: 1339 239 197 169 0 50 0
[pid=11393] ppid=11387 vsize=15448 CPUtime=6.17
/proc/11393/stat : 11393 (minisat_static) R 11387 11387 10762 0 -1 4194304 3601 0 0 0 614 3 0 0 25 0 1 0 306703138 15818752 3587 1992294400 134512640 135215339 4294956240 18446744073709551615 134528809 0 0 4096 3 0 0 0 17 1 0 0
/proc/11393/statm: 3862 3587 77 171 0 3689 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 20804
[startup+12.7015 s]
/proc/loadavg: 0.93 0.98 0.99 2/66 11393
/proc/meminfo: memFree=1859128/2055920 swapFree=4153476/4192956
[pid=11387] ppid=11385 vsize=5356 CPUtime=0.1
/proc/11387/stat : 11387 (SatELiteGTI) S 11385 11387 10762 0 -1 4194304 336 1102 0 0 0 0 10 0 16 0 1 0 306703127 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11387/statm: 1339 239 197 169 0 50 0
[pid=11393] ppid=11387 vsize=24720 CPUtime=12.57
/proc/11393/stat : 11393 (minisat_static) R 11387 11387 10762 0 -1 4194304 5931 0 0 0 1252 5 0 0 25 0 1 0 306703138 25313280 5917 1992294400 134512640 135215339 4294956240 18446744073709551615 134528779 0 0 4096 3 0 0 0 17 1 0 0
/proc/11393/statm: 6180 5917 77 171 0 6007 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 30076
[startup+25.5019 s]
/proc/loadavg: 0.95 0.98 0.99 2/66 11393
/proc/meminfo: memFree=1844536/2055920 swapFree=4153476/4192956
[pid=11387] ppid=11385 vsize=5356 CPUtime=0.1
/proc/11387/stat : 11387 (SatELiteGTI) S 11385 11387 10762 0 -1 4194304 336 1102 0 0 0 0 10 0 16 0 1 0 306703127 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11387/statm: 1339 239 197 169 0 50 0
[pid=11393] ppid=11387 vsize=38780 CPUtime=25.36
/proc/11393/stat : 11393 (minisat_static) R 11387 11387 10762 0 -1 4194304 9418 0 0 0 2527 9 0 0 25 0 1 0 306703138 39710720 9404 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/11393/statm: 9695 9404 77 171 0 9522 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 44136
[startup+51.1018 s]
/proc/loadavg: 0.96 0.98 0.99 2/66 11393
/proc/meminfo: memFree=1823736/2055920 swapFree=4153476/4192956
[pid=11387] ppid=11385 vsize=5356 CPUtime=0.1
/proc/11387/stat : 11387 (SatELiteGTI) S 11385 11387 10762 0 -1 4194304 336 1102 0 0 0 0 10 0 16 0 1 0 306703127 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11387/statm: 1339 239 197 169 0 50 0
[pid=11393] ppid=11387 vsize=59684 CPUtime=50.95
/proc/11393/stat : 11393 (minisat_static) R 11387 11387 10762 0 -1 4194304 14637 0 0 0 5079 16 0 0 25 0 1 0 306703138 61116416 14623 1992294400 134512640 135215339 4294956240 18446744073709551615 134528899 0 0 4096 3 0 0 0 17 1 0 0
/proc/11393/statm: 14921 14623 77 171 0 14748 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 65040
[startup+102.305 s]
/proc/loadavg: 0.98 0.98 0.99 2/66 11393
/proc/meminfo: memFree=1792632/2055920 swapFree=4153476/4192956
[pid=11387] ppid=11385 vsize=5356 CPUtime=0.1
/proc/11387/stat : 11387 (SatELiteGTI) S 11385 11387 10762 0 -1 4194304 336 1102 0 0 0 0 10 0 16 0 1 0 306703127 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11387/statm: 1339 239 197 169 0 50 0
[pid=11393] ppid=11387 vsize=90312 CPUtime=102.14
/proc/11393/stat : 11393 (minisat_static) R 11387 11387 10762 0 -1 4194304 22290 0 0 0 10190 24 0 0 25 0 1 0 306703138 92479488 22276 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 1 0 0
/proc/11393/statm: 22578 22276 77 171 0 22405 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 95668
[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 11393
/proc/meminfo: memFree=1764408/2055920 swapFree=4153476/4192956
[pid=11387] ppid=11385 vsize=5356 CPUtime=0.1
/proc/11387/stat : 11387 (SatELiteGTI) S 11385 11387 10762 0 -1 4194304 336 1102 0 0 0 0 10 0 16 0 1 0 306703127 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11387/statm: 1339 239 197 169 0 50 0
[pid=11393] ppid=11387 vsize=118428 CPUtime=162.11
/proc/11393/stat : 11393 (minisat_static) R 11387 11387 10762 0 -1 4194304 29361 0 0 0 16177 34 0 0 25 0 1 0 306703138 121270272 29347 1992294400 134512640 135215339 4294956240 18446744073709551615 134527417 0 0 4096 3 0 0 0 17 1 0 0
/proc/11393/statm: 29607 29347 77 171 0 29434 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 123784
[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 11393
/proc/meminfo: memFree=1740472/2055920 swapFree=4153476/4192956
[pid=11387] ppid=11385 vsize=5356 CPUtime=0.1
/proc/11387/stat : 11387 (SatELiteGTI) S 11385 11387 10762 0 -1 4194304 336 1102 0 0 0 0 10 0 16 0 1 0 306703127 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11387/statm: 1339 239 197 169 0 50 0
[pid=11393] ppid=11387 vsize=142328 CPUtime=222.08
/proc/11393/stat : 11393 (minisat_static) R 11387 11387 10762 0 -1 4194304 35252 0 0 0 22168 40 0 0 25 0 1 0 306703138 145743872 35238 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/11393/statm: 35582 35238 77 171 0 35409 0
Current children cumulated CPU time (s) 222.18
Current children cumulated vsize (KiB) 147684
[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 11393
/proc/meminfo: memFree=1719416/2055920 swapFree=4153476/4192956
[pid=11387] ppid=11385 vsize=5356 CPUtime=0.1
/proc/11387/stat : 11387 (SatELiteGTI) S 11385 11387 10762 0 -1 4194304 336 1102 0 0 0 0 10 0 16 0 1 0 306703127 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11387/statm: 1339 239 197 169 0 50 0
[pid=11393] ppid=11387 vsize=163448 CPUtime=282.06
/proc/11393/stat : 11393 (minisat_static) R 11387 11387 10762 0 -1 4194304 40579 0 0 0 28158 48 0 0 25 0 1 0 306703138 167370752 40565 1992294400 134512640 135215339 4294956240 18446744073709551615 134726492 0 0 4096 3 0 0 0 17 1 0 0
/proc/11393/statm: 40862 40565 77 171 0 40689 0
Current children cumulated CPU time (s) 282.16
Current children cumulated vsize (KiB) 168804
[startup+342.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 11393
/proc/meminfo: memFree=1699384/2055920 swapFree=4153476/4192956
[pid=11387] ppid=11385 vsize=5356 CPUtime=0.1
/proc/11387/stat : 11387 (SatELiteGTI) S 11385 11387 10762 0 -1 4194304 336 1102 0 0 0 0 10 0 16 0 1 0 306703127 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11387/statm: 1339 239 197 169 0 50 0
[pid=11393] ppid=11387 vsize=182852 CPUtime=342.03
/proc/11393/stat : 11393 (minisat_static) R 11387 11387 10762 0 -1 4194304 45468 0 0 0 34150 53 0 0 25 0 1 0 306703138 187240448 45454 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/11393/statm: 45713 45454 77 171 0 45540 0
Current children cumulated CPU time (s) 342.13
Current children cumulated vsize (KiB) 188208
[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 11393
/proc/meminfo: memFree=1687032/2055920 swapFree=4153476/4192956
[pid=11387] ppid=11385 vsize=5356 CPUtime=0.1
/proc/11387/stat : 11387 (SatELiteGTI) S 11385 11387 10762 0 -1 4194304 336 1102 0 0 0 0 10 0 16 0 1 0 306703127 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11387/statm: 1339 239 197 169 0 50 0
[pid=11393] ppid=11387 vsize=195472 CPUtime=402
/proc/11393/stat : 11393 (minisat_static) R 11387 11387 10762 0 -1 4194304 48494 0 0 0 40142 58 0 0 25 0 1 0 306703138 200163328 48480 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/11393/statm: 48868 48480 77 171 0 48695 0
Current children cumulated CPU time (s) 402.1
Current children cumulated vsize (KiB) 200828
[startup+462.301 s]
################
# More data... #
################
/proc/11393/statm: 49198 48796 77 171 0 49025 0
Current children cumulated CPU time (s) 522.05
Current children cumulated vsize (KiB) 202148
[startup+582.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 11393
/proc/meminfo: memFree=1685496/2055920 swapFree=4153476/4192956
[pid=11387] ppid=11385 vsize=5356 CPUtime=0.1
/proc/11387/stat : 11387 (SatELiteGTI) S 11385 11387 10762 0 -1 4194304 336 1102 0 0 0 0 10 0 16 0 1 0 306703127 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11387/statm: 1339 239 197 169 0 50 0
[pid=11393] ppid=11387 vsize=196792 CPUtime=581.93
/proc/11393/stat : 11393 (minisat_static) R 11387 11387 10762 0 -1 4194304 48810 0 0 0 58134 59 0 0 25 0 1 0 306703138 201515008 48796 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/11393/statm: 49198 48796 77 171 0 49025 0
Current children cumulated CPU time (s) 582.03
Current children cumulated vsize (KiB) 202148
[startup+642.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 11393
/proc/meminfo: memFree=1682424/2055920 swapFree=4153476/4192956
[pid=11387] ppid=11385 vsize=5356 CPUtime=0.1
/proc/11387/stat : 11387 (SatELiteGTI) S 11385 11387 10762 0 -1 4194304 336 1102 0 0 0 0 10 0 16 0 1 0 306703127 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11387/statm: 1339 239 197 169 0 50 0
[pid=11393] ppid=11387 vsize=199696 CPUtime=641.9
/proc/11393/stat : 11393 (minisat_static) R 11387 11387 10762 0 -1 4194304 49538 0 0 0 64130 60 0 0 25 0 1 0 306703138 204488704 49524 1992294400 134512640 135215339 4294956240 18446744073709551615 134528802 0 0 4096 3 0 0 0 17 1 0 0
/proc/11393/statm: 49924 49524 77 171 0 49751 0
Current children cumulated CPU time (s) 642
Current children cumulated vsize (KiB) 205052
[startup+702.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 11395
/proc/meminfo: memFree=1671544/2055920 swapFree=4153476/4192956
[pid=11387] ppid=11385 vsize=5356 CPUtime=0.1
/proc/11387/stat : 11387 (SatELiteGTI) S 11385 11387 10762 0 -1 4194304 336 1102 0 0 0 0 10 0 16 0 1 0 306703127 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11387/statm: 1339 239 197 169 0 50 0
[pid=11393] ppid=11387 vsize=210388 CPUtime=701.87
/proc/11393/stat : 11393 (minisat_static) R 11387 11387 10762 0 -1 4194304 52242 0 0 0 70123 64 0 0 25 0 1 0 306703138 215437312 52228 1992294400 134512640 135215339 4294956240 18446744073709551615 134528814 0 0 4096 3 0 0 0 17 1 0 0
/proc/11393/statm: 52597 52228 77 171 0 52424 0
Current children cumulated CPU time (s) 701.97
Current children cumulated vsize (KiB) 215744
[startup+762.306 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 11395
/proc/meminfo: memFree=1671416/2055920 swapFree=4153476/4192956
[pid=11387] ppid=11385 vsize=5356 CPUtime=0.1
/proc/11387/stat : 11387 (SatELiteGTI) S 11385 11387 10762 0 -1 4194304 336 1102 0 0 0 0 10 0 16 0 1 0 306703127 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11387/statm: 1339 239 197 169 0 50 0
[pid=11393] ppid=11387 vsize=210388 CPUtime=761.85
/proc/11393/stat : 11393 (minisat_static) R 11387 11387 10762 0 -1 4194304 52242 0 0 0 76121 64 0 0 25 0 1 0 306703138 215437312 52228 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/11393/statm: 52597 52228 77 171 0 52424 0
Current children cumulated CPU time (s) 761.95
Current children cumulated vsize (KiB) 215744
[startup+822.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 11395
/proc/meminfo: memFree=1671288/2055920 swapFree=4153476/4192956
[pid=11387] ppid=11385 vsize=5356 CPUtime=0.1
/proc/11387/stat : 11387 (SatELiteGTI) S 11385 11387 10762 0 -1 4194304 336 1102 0 0 0 0 10 0 16 0 1 0 306703127 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11387/statm: 1339 239 197 169 0 50 0
[pid=11393] ppid=11387 vsize=210388 CPUtime=821.83
/proc/11393/stat : 11393 (minisat_static) R 11387 11387 10762 0 -1 4194304 52242 0 0 0 82118 65 0 0 25 0 1 0 306703138 215437312 52228 1992294400 134512640 135215339 4294956240 18446744073709551615 134528899 0 0 4096 3 0 0 0 17 1 0 0
/proc/11393/statm: 52597 52228 77 171 0 52424 0
Current children cumulated CPU time (s) 821.93
Current children cumulated vsize (KiB) 215744
[startup+882.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 11395
/proc/meminfo: memFree=1671288/2055920 swapFree=4153476/4192956
[pid=11387] ppid=11385 vsize=5356 CPUtime=0.1
/proc/11387/stat : 11387 (SatELiteGTI) S 11385 11387 10762 0 -1 4194304 336 1102 0 0 0 0 10 0 16 0 1 0 306703127 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11387/statm: 1339 239 197 169 0 50 0
[pid=11393] ppid=11387 vsize=210388 CPUtime=881.8
/proc/11393/stat : 11393 (minisat_static) R 11387 11387 10762 0 -1 4194304 52242 0 0 0 88115 65 0 0 25 0 1 0 306703138 215437312 52228 1992294400 134512640 135215339 4294956240 18446744073709551615 134538089 0 0 4096 3 0 0 0 17 1 0 0
/proc/11393/statm: 52597 52228 77 171 0 52424 0
Current children cumulated CPU time (s) 881.9
Current children cumulated vsize (KiB) 215744
[startup+942.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 11395
/proc/meminfo: memFree=1667768/2055920 swapFree=4153476/4192956
[pid=11387] ppid=11385 vsize=5356 CPUtime=0.1
/proc/11387/stat : 11387 (SatELiteGTI) S 11385 11387 10762 0 -1 4194304 336 1102 0 0 0 0 10 0 16 0 1 0 306703127 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11387/statm: 1339 239 197 169 0 50 0
[pid=11393] ppid=11387 vsize=213820 CPUtime=941.78
/proc/11393/stat : 11393 (minisat_static) R 11387 11387 10762 0 -1 4194304 53092 0 0 0 94112 66 0 0 25 0 1 0 306703138 218951680 53078 1992294400 134512640 135215339 4294956240 18446744073709551615 134528806 0 0 4096 3 0 0 0 17 1 0 0
/proc/11393/statm: 53455 53078 77 171 0 53282 0
Current children cumulated CPU time (s) 941.88
Current children cumulated vsize (KiB) 219176
[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 11395
/proc/meminfo: memFree=1667704/2055920 swapFree=4153476/4192956
[pid=11387] ppid=11385 vsize=5356 CPUtime=0.1
/proc/11387/stat : 11387 (SatELiteGTI) S 11385 11387 10762 0 -1 4194304 336 1102 0 0 0 0 10 0 16 0 1 0 306703127 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11387/statm: 1339 239 197 169 0 50 0
[pid=11393] ppid=11387 vsize=213820 CPUtime=1001.75
/proc/11393/stat : 11393 (minisat_static) R 11387 11387 10762 0 -1 4194304 53092 0 0 0 100109 66 0 0 25 0 1 0 306703138 218951680 53078 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/11393/statm: 53455 53078 77 171 0 53282 0
Current children cumulated CPU time (s) 1001.85
Current children cumulated vsize (KiB) 219176
[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 11395
/proc/meminfo: memFree=1667640/2055920 swapFree=4153476/4192956
[pid=11387] ppid=11385 vsize=5356 CPUtime=0.1
/proc/11387/stat : 11387 (SatELiteGTI) S 11385 11387 10762 0 -1 4194304 336 1102 0 0 0 0 10 0 16 0 1 0 306703127 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11387/statm: 1339 239 197 169 0 50 0
[pid=11393] ppid=11387 vsize=213820 CPUtime=1061.73
/proc/11393/stat : 11393 (minisat_static) R 11387 11387 10762 0 -1 4194304 53092 0 0 0 106107 66 0 0 25 0 1 0 306703138 218951680 53078 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/11393/statm: 53455 53078 77 171 0 53282 0
Current children cumulated CPU time (s) 1061.83
Current children cumulated vsize (KiB) 219176
[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 11395
/proc/meminfo: memFree=1667576/2055920 swapFree=4153476/4192956
[pid=11387] ppid=11385 vsize=5356 CPUtime=0.1
/proc/11387/stat : 11387 (SatELiteGTI) S 11385 11387 10762 0 -1 4194304 336 1102 0 0 0 0 10 0 16 0 1 0 306703127 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11387/statm: 1339 239 197 169 0 50 0
[pid=11393] ppid=11387 vsize=213820 CPUtime=1121.71
/proc/11393/stat : 11393 (minisat_static) R 11387 11387 10762 0 -1 4194304 53092 0 0 0 112104 67 0 0 25 0 1 0 306703138 218951680 53078 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/11393/statm: 53455 53078 77 171 0 53282 0
Current children cumulated CPU time (s) 1121.81
Current children cumulated vsize (KiB) 219176
[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 11395
/proc/meminfo: memFree=1655032/2055920 swapFree=4153476/4192956
[pid=11387] ppid=11385 vsize=5356 CPUtime=0.1
/proc/11387/stat : 11387 (SatELiteGTI) S 11385 11387 10762 0 -1 4194304 336 1102 0 0 0 0 10 0 16 0 1 0 306703127 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11387/statm: 1339 239 197 169 0 50 0
[pid=11393] ppid=11387 vsize=226228 CPUtime=1181.68
/proc/11393/stat : 11393 (minisat_static) R 11387 11387 10762 0 -1 4194304 56183 0 0 0 118098 70 0 0 25 0 1 0 306703138 231657472 56169 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/11393/statm: 56557 56169 77 171 0 56384 0
Current children cumulated CPU time (s) 1181.78
Current children cumulated vsize (KiB) 231584
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.6 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 11395
/proc/meminfo: memFree=1655032/2055920 swapFree=4153476/4192956
[pid=11387] ppid=11385 vsize=5356 CPUtime=0.1
/proc/11387/stat : 11387 (SatELiteGTI) S 11385 11387 10762 0 -1 4194304 336 1102 0 0 0 0 10 0 16 0 1 0 306703127 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11387/statm: 1339 239 197 169 0 50 0
[pid=11393] ppid=11387 vsize=226228 CPUtime=1199.97
/proc/11393/stat : 11393 (minisat_static) R 11387 11387 10762 0 -1 4194304 56183 0 0 0 119927 70 0 0 25 0 1 0 306703138 231657472 56169 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/11393/statm: 56557 56169 77 171 0 56384 0
Current children cumulated CPU time (s) 1200.07
Current children cumulated vsize (KiB) 231584
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 11387 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=102984
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=9998
# CPU time returned by wait4() is 0.112982
# while last known CPU time is 1200.07
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1200.61
CPU time (s): 1200.07
CPU user time (s): 1199.37
CPU system time (s): 0.7
CPU usage (%): 99.9549
Max. virtual memory (cumulated for all children) (KiB): 231584
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.102984
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= 1438
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= 15
involuntary context switches= 7
runsolver used 1.46578 second user time and 3.00454 second system time
The end
Begin job on node37 at 2009-05-20 04:32:26
IDJOB=1832717
IDBENCH=70322
IDSOLVER=671
FILE ID=node37/1832717-1242786745
PBS_JOBID= 9322374
Free space on /tmp= 66452 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/RANDOM/LARGE/3SAT/UNKNOWN/6000/unif-k3-r4.2-v6000-c25200-S595075179-058.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832717-1242786745/watcher-1832717-1242786745 -o /tmp/evaluation-result-1832717-1242786745/solver-1832717-1242786745 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832717-1242786745.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 4f302a0a96331733d31d4d68d88fd415
RANDOM SEED=2075165198
node37.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.259
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.259
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: 1883232 kB
Buffers: 23732 kB
Cached: 70472 kB
SwapCached: 34248 kB
Active: 58540 kB
Inactive: 71624 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1883232 kB
SwapTotal: 4192956 kB
SwapFree: 4153476 kB
Dirty: 2028 kB
Writeback: 0 kB
Mapped: 14068 kB
Slab: 28680 kB
Committed_AS: 1108192 kB
PageTables: 1376 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= 66448 MiB
End job on node37 at 2009-05-20 04:52:28