0.00/0.00 c Parsing...
0.01/0.03 c ==============================================================================
0.01/0.03 c | | ORIGINAL | LEARNT | |
0.01/0.03 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.01/0.03 c ==============================================================================
0.01/0.03 c | 0 | 25200 75600 | 7559 0 0 nan | 0.000 % |
0.01/0.08 c | 0 | 25047 76007 | -- 0 -- -- | -- | -153/407
0.01/0.08 c ==============================================================================
0.01/0.08 c Result : #vars: 5861 #clauses: 25047 #literals: 76007
0.01/0.08 c CPU time: 0.071989 s
0.01/0.08 c ==============================================================================
0.09/0.11 c This is MiniSat 2.0 beta
0.09/0.11 c WARNING: for repeatability, setting FPU to use double precision
0.09/0.11 c ============================[ Problem Statistics ]=============================
0.09/0.11 c | |
0.09/0.11 c | Number of variables: 5861 |
0.09/0.11 c | Number of clauses: 25047 |
0.09/0.13 c | Parsing time: 0.02 s |
0.09/0.13 c ============================[ Search Statistics ]==============================
0.09/0.13 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.09/0.13 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.09/0.13 c ===============================================================================
0.09/0.13 c | 0 | 5861 25047 76007 | 8349 0 nan | 0.000 % |
0.09/0.15 c | 100 | 5861 25047 76007 | 8349 100 131 | 0.000 % |
0.09/0.17 c | 201 | 5861 25047 76007 | 8349 201 130 | 0.000 % |
0.09/0.18 c | 302 | 5861 25047 76007 | 8349 302 118 | 0.000 % |
0.10/0.20 c | 412 | 5861 25047 76007 | 8349 412 117 | 0.000 % |
0.10/0.22 c | 513 | 5861 25047 76007 | 8349 513 111 | 0.000 % |
0.10/0.24 c | 623 | 5861 25047 76007 | 8349 623 117 | 0.000 % |
0.10/0.26 c | 745 | 5861 25047 76007 | 8349 745 116 | 0.000 % |
0.10/0.28 c | 845 | 5861 25047 76007 | 8349 845 114 | 0.000 % |
0.10/0.30 c | 958 | 5861 25047 76007 | 8349 958 114 | 0.000 % |
0.10/0.32 c | 1079 | 5861 25047 76007 | 8349 1079 113 | 0.000 % |
0.10/0.35 c | 1212 | 5861 25047 76007 | 8349 1212 114 | 0.000 % |
0.10/0.37 c | 1313 | 5861 25047 76007 | 8349 1313 113 | 0.000 % |
0.10/0.39 c | 1423 | 5861 25047 76007 | 8349 1423 113 | 0.000 % |
0.10/0.41 c | 1544 | 5861 25047 76007 | 8349 1544 112 | 0.000 % |
0.10/0.44 c | 1678 | 5861 25047 76007 | 8349 1678 112 | 0.000 % |
0.10/0.46 c | 1826 | 5861 25047 76007 | 8349 1826 112 | 0.000 % |
0.10/0.48 c | 1927 | 5861 25047 76007 | 8349 1927 112 | 0.000 % |
0.10/0.51 c | 2037 | 5861 25047 76007 | 8349 2037 114 | 0.000 % |
0.10/0.53 c | 2158 | 5861 25047 76007 | 8349 2158 114 | 0.000 % |
0.10/0.56 c | 2292 | 5861 25047 76007 | 8349 2292 114 | 0.000 % |
0.10/0.59 c | 2438 | 5861 25047 76007 | 8349 2438 115 | 0.000 % |
0.10/0.62 c | 2599 | 5861 25047 76007 | 8349 2599 116 | 0.000 % |
0.10/0.64 c | 2700 | 5861 25047 76007 | 8349 2700 114 | 0.000 % |
0.10/0.66 c | 2812 | 5861 25047 76007 | 8349 2812 114 | 0.000 % |
0.10/0.68 c | 2933 | 5861 25047 76007 | 8349 2933 116 | 0.000 % |
0.10/0.71 c | 3066 | 5861 25047 76007 | 8349 3066 116 | 0.000 % |
0.10/0.74 c | 3212 | 5861 25047 76007 | 8349 3212 117 | 0.000 % |
0.10/0.77 c | 3372 | 5861 25047 76007 | 8349 3372 117 | 0.000 % |
0.10/0.80 c | 3548 | 5861 25047 76007 | 8349 3548 119 | 0.000 % |
0.10/0.83 c | 3649 | 5861 25047 76007 | 8349 3649 119 | 0.000 % |
0.10/0.85 c | 3759 | 5861 25047 76007 | 8349 3759 119 | 0.000 % |
0.10/0.87 c | 3881 | 5861 25047 76007 | 8349 3881 119 | 0.000 % |
0.10/0.90 c | 4016 | 5861 25047 76007 | 8349 4016 119 | 0.000 % |
0.10/0.93 c | 4162 | 5861 25047 76007 | 8349 4162 119 | 0.000 % |
0.10/0.96 c | 4322 | 5861 25047 76007 | 8349 4322 120 | 0.000 % |
0.10/0.99 c | 4499 | 5861 25047 76007 | 8349 4499 120 | 0.000 % |
0.98/1.04 c | 4694 | 5861 25047 76007 | 8349 4694 119 | 0.000 % |
0.98/1.06 c | 4796 | 5861 25047 76007 | 8349 4796 119 | 0.000 % |
0.98/1.08 c | 4907 | 5861 25047 76007 | 8349 4907 119 | 0.000 % |
1.08/1.11 c | 5028 | 5861 25047 76007 | 8349 5028 119 | 0.000 % |
1.08/1.14 c | 5162 | 5861 25047 76007 | 8349 5162 120 | 0.000 % |
1.08/1.17 c | 5308 | 5861 25047 76007 | 8349 5308 120 | 0.000 % |
1.17/1.20 c | 5469 | 5861 25047 76007 | 8349 5469 119 | 0.000 % |
1.17/1.24 c | 5648 | 5861 25047 76007 | 8349 5648 119 | 0.000 % |
1.17/1.28 c | 5841 | 5861 25047 76007 | 8349 5841 120 | 0.000 % |
1.27/1.32 c | 6053 | 5861 25047 76007 | 8349 6053 119 | 0.000 % |
1.27/1.35 c | 6153 | 5861 25047 76007 | 8349 6153 119 | 0.000 % |
1.27/1.37 c | 6264 | 5861 25047 76007 | 8349 6264 119 | 0.000 % |
1.27/1.39 c | 6385 | 5861 25047 76007 | 8349 6385 119 | 0.000 % |
1.37/1.42 c | 6520 | 5861 25047 76007 | 8349 6520 119 | 0.000 % |
1.37/1.46 c | 6666 | 5861 25047 76007 | 8349 6666 119 | 0.000 % |
1.37/1.49 c | 6826 | 5861 25047 76007 | 8349 6826 119 | 0.000 % |
1.47/1.53 c | 7005 | 5861 25047 76007 | 8349 7005 119 | 0.000 % |
1.47/1.57 c | 7201 | 5861 25047 76007 | 8349 7201 119 | 0.000 % |
1.58/1.63 c | 7413 | 5861 25047 76007 | 8349 7413 120 | 0.000 % |
1.58/1.68 c | 7648 | 5861 25047 76007 | 8349 7648 121 | 0.000 % |
1.68/1.71 c | 7749 | 5861 25047 76007 | 8349 7749 121 | 0.000 % |
1.68/1.73 c | 7861 | 5861 25047 76007 | 8349 7861 120 | 0.000 % |
1.68/1.76 c | 7984 | 5861 25047 76007 | 8349 7984 120 | 0.000 % |
1.68/1.79 c | 8118 | 5861 25047 76007 | 8349 8118 120 | 0.000 % |
1.78/1.82 c | 8264 | 5861 25047 76007 | 8349 8264 119 | 0.000 % |
1.78/1.86 c | 8424 | 5861 25047 76007 | 8349 8424 119 | 0.000 % |
1.88/1.90 c | 8602 | 5861 25047 76007 | 8349 7760 119 | 0.000 % |
1.88/1.94 c | 8795 | 5861 25047 76007 | 8349 7953 119 | 0.000 % |
1.88/1.99 c | 9007 | 5861 25047 76007 | 8349 8165 119 | 0.000 % |
1.98/2.05 c | 9240 | 5861 25047 76007 | 8349 8398 119 | 0.000 % |
2.08/2.11 c | 9496 | 5861 25047 76007 | 8349 7815 120 | 0.000 % |
2.08/2.14 c | 9597 | 5861 25047 76007 | 8349 7916 120 | 0.000 % |
2.08/2.16 c | 9707 | 5861 25047 76007 | 8349 8026 120 | 0.000 % |
2.08/2.19 c | 9828 | 5861 25047 76007 | 8349 8147 120 | 0.000 % |
2.18/2.22 c | 9964 | 5861 25047 76007 | 8349 8283 120 | 0.000 % |
2.18/2.26 c | 10110 | 5861 25047 76007 | 2147483647 8429 120 | 0.000 % |
2.18/2.29 c | 10271 | 5861 25047 76007 | 2147483647 8590 120 | 0.000 % |
2.28/2.33 c | 10447 | 5861 25047 76007 | 2147483647 8766 119 | 0.000 % |
2.28/2.37 c | 10640 | 5861 25047 76007 | 2147483647 8959 119 | 0.000 % |
2.38/2.42 c | 10854 | 5861 25047 76007 | 2147483647 9173 119 | 0.000 % |
2.38/2.48 c | 11087 | 5861 25047 76007 | 2147483647 9406 119 | 0.000 % |
2.48/2.53 c | 11344 | 5861 25047 76007 | 2147483647 9663 120 | 0.000 % |
2.58/2.60 c | 11626 | 5861 25047 76007 | 2147483647 9945 119 | 0.000 % |
2.58/2.63 c | 11726 | 5861 25047 76007 | 2147483647 10045 120 | 0.000 % |
2.58/2.66 c | 11840 | 5861 25047 76007 | 2147483647 10159 120 | 0.000 % |
2.58/2.69 c | 11963 | 5861 25047 76007 | 2147483647 10282 120 | 0.000 % |
2.68/2.72 c | 12096 | 5861 25047 76007 | 2147483647 10415 120 | 0.000 % |
2.68/2.76 c | 12242 | 5861 25047 76007 | 2147483647 10561 120 | 0.000 % |
2.78/2.80 c | 12404 | 5861 25047 76007 | 2147483647 10723 120 | 0.000 % |
2.78/2.85 c | 12584 | 5861 25047 76007 | 2147483647 10903 121 | 0.000 % |
2.87/2.90 c | 12778 | 5861 25047 76007 | 2147483647 11097 121 | 0.000 % |
2.87/2.95 c | 12990 | 5861 25047 76007 | 2147483647 11309 121 | 0.000 % |
2.97/3.01 c | 13225 | 5861 25047 76007 | 2147483647 11544 120 | 0.000 % |
2.97/3.07 c | 13481 | 5861 25047 76007 | 2147483647 11800 121 | 0.000 % |
3.07/3.14 c | 13763 | 5861 25047 76007 | 2147483647 12082 122 | 0.000 % |
3.18/3.22 c | 14073 | 5861 25047 76007 | 2147483647 12392 122 | 0.000 % |
3.18/3.25 c | 14176 | 5861 25047 76007 | 2147483647 12495 122 | 0.000 % |
3.18/3.28 c | 14286 | 5861 25047 76007 | 2147483647 12605 122 | 0.000 % |
3.28/3.31 c | 14408 | 5861 25047 76007 | 2147483647 12727 122 | 0.000 % |
3.28/3.35 c | 14541 | 5861 25047 76007 | 2147483647 12860 122 | 0.000 % |
3.28/3.39 c | 14687 | 5861 25047 76007 | 2147483647 13006 122 | 0.000 % |
3.37/3.43 c | 14848 | 5861 25047 76007 | 2147483647 13167 122 | 0.000 % |
3.37/3.48 c | 15026 | 5861 25047 76007 | 2147483647 13345 122 | 0.000 % |
3.47/3.53 c | 15219 | 5861 25047 76007 | 2147483647 13538 122 | 0.000 % |
3.47/3.59 c | 15432 | 5861 25047 76007 | 2147483647 13751 122 | 0.000 % |
3.57/3.65 c | 15665 | 5861 25047 76007 | 2147483647 13984 122 | 0.000 % |
3.67/3.72 c | 15921 | 5861 25047 76007 | 2147483647 14240 121 | 0.000 % |
3.67/3.80 c | 16203 | 5861 25047 76007 | 2147483647 14522 122 | 0.000 % |
3.77/3.87 c | 16513 | 5861 25047 76007 | 2147483647 14832 122 | 0.000 % |
3.87/3.96 c | 16852 | 5861 25047 76007 | 2147483647 15171 122 | 0.000 % |
3.97/4.00 c | 16952 | 5861 25047 76007 | 2147483647 15271 123 | 0.000 % |
3.97/4.03 c | 17062 | 5861 25047 76007 | 2147483647 15381 122 | 0.000 % |
3.97/4.06 c | 17185 | 5861 25047 76007 | 2147483647 15504 122 | 0.000 % |
4.07/4.10 c | 17318 | 5861 25047 76007 | 2147483647 15637 122 | 0.000 % |
4.07/4.14 c | 17464 | 5861 25047 76007 | 2147483647 15783 122 | 0.000 % |
4.07/4.19 c | 17624 | 5861 25047 76007 | 2147483647 15943 123 | 0.000 % |
4.17/4.24 c | 17800 | 5861 25047 76007 | 2147483647 16119 122 | 0.000 % |
4.17/4.29 c | 17993 | 5861 25047 76007 | 2147483647 16312 122 | 0.000 % |
4.28/4.36 c | 18205 | 5861 25047 76007 | 2147483647 16524 122 | 0.000 % |
4.38/4.42 c | 18440 | 5861 25047 76007 | 2147483647 16759 122 | 0.000 % |
4.47/4.50 c | 18698 | 5861 25047 76007 | 2147483647 17017 122 | 0.000 % |
4.47/4.58 c | 18979 | 5861 25047 76007 | 2147483647 17298 122 | 0.000 % |
4.57/4.66 c | 19289 | 5861 25047 76007 | 2147483647 17608 122 | 0.000 % |
4.68/4.77 c | 19629 | 5861 25047 76007 | 2147483647 17948 122 | 0.000 % |
4.78/4.88 c | 20002 | 5861 25047 76007 | 2147483647 18321 122 | 0.000 % |
4.88/4.92 c | 20104 | 5861 25047 76007 | 2147483647 18423 122 | 0.000 % |
4.88/4.95 c | 20216 | 5861 25047 76007 | 2147483647 18535 122 | 0.000 % |
4.88/4.99 c | 20337 | 5861 25047 76007 | 2147483647 18656 122 | 0.000 % |
4.98/5.03 c | 20470 | 5861 25047 76007 | 2147483647 18789 122 | 0.000 % |
4.98/5.08 c | 20616 | 5861 25047 76007 | 2147483647 18935 122 | 0.000 % |
5.08/5.13 c | 20777 | 5861 25047 76007 | 2147483647 19096 122 | 0.000 % |
5.08/5.18 c | 20953 | 5861 25047 76007 | 2147483647 19272 122 | 0.000 % |
5.18/5.24 c | 21148 | 5861 25047 76007 | 2147483647 19467 122 | 0.000 % |
5.28/5.30 c | 21360 | 5861 25047 76007 | 2147483647 19679 122 | 0.000 % |
5.28/5.37 c | 21593 | 5861 25047 76007 | 2147483647 19912 122 | 0.000 % |
5.38/5.45 c | 21851 | 5861 25047 76007 | 2147483647 20170 122 | 0.000 % |
5.48/5.54 c | 22133 | 5861 25047 76007 | 2147483647 20452 122 | 0.000 % |
5.58/5.64 c | 22442 | 5861 25047 76007 | 2147483647 20761 122 | 0.000 % |
5.67/5.74 c | 22781 | 5861 25047 76007 | 2147483647 21100 122 | 0.000 % |
5.77/5.84 c | 23153 | 5861 25047 76007 | 2147483647 21472 122 | 0.000 % |
5.87/5.96 c | 23562 | 5861 25047 76007 | 2147483647 21881 122 | 0.000 % |
5.97/6.00 c | 23662 | 5861 25047 76007 | 2147483647 21981 122 | 0.000 % |
5.97/6.04 c | 23772 | 5861 25047 76007 | 2147483647 22091 122 | 0.000 % |
5.97/6.08 c | 23893 | 5861 25047 76007 | 2147483647 22212 122 | 0.000 % |
6.07/6.12 c | 24026 | 5861 25047 76007 | 2147483647 22345 122 | 0.000 % |
6.07/6.17 c | 24172 | 5861 25047 76007 | 2147483647 22491 122 | 0.000 % |
6.17/6.22 c | 24332 | 5861 25047 76007 | 2147483647 22651 122 | 0.000 % |
6.17/6.28 c | 24508 | 5861 25047 76007 | 2147483647 22827 122 | 0.000 % |
6.27/6.34 c | 24701 | 5861 25047 76007 | 2147483647 23020 122 | 0.000 % |
6.37/6.41 c | 24915 | 5861 25047 76007 | 2147483647 23234 122 | 0.000 % |
6.37/6.49 c | 25151 | 5861 25047 76007 | 2147483647 23470 122 | 0.000 % |
6.48/6.57 c | 25407 | 5861 25047 76007 | 2147483647 23726 122 | 0.000 % |
6.58/6.67 c | 25688 | 5861 25047 76007 | 2147483647 24007 122 | 0.000 % |
6.67/6.76 c | 25997 | 5861 25047 76007 | 2147483647 24316 122 | 0.000 % |
6.77/6.87 c | 26336 | 5861 25047 76007 | 2147483647 24655 122 | 0.000 % |
6.97/7.00 c | 26709 | 5861 25047 76007 | 2147483647 25028 123 | 0.000 % |
7.07/7.14 c | 27119 | 5861 25047 76007 | 2147483647 25438 123 | 0.000 % |
7.17/7.28 c | 27570 | 5861 25047 76007 | 2147483647 25889 123 | 0.000 % |
7.28/7.31 c | 27670 | 5861 25047 76007 | 2147483647 25989 123 | 0.000 % |
7.28/7.36 c | 27780 | 5861 25047 76007 | 2147483647 26099 123 | 0.000 % |
7.38/7.40 c | 27901 | 5861 25047 76007 | 2147483647 26220 123 | 0.000 % |
7.38/7.45 c | 28034 | 5861 25047 76007 | 2147483647 26353 123 | 0.000 % |
7.48/7.51 c | 28180 | 5861 25047 76007 | 2147483647 26499 123 | 0.000 % |
7.48/7.57 c | 28343 | 5861 25047 76007 | 2147483647 26662 123 | 0.000 % |
7.58/7.63 c | 28519 | 5861 25047 76007 | 2147483647 26838 123 | 0.000 % |
7.68/7.71 c | 28714 | 5861 25047 76007 | 2147483647 27033 123 | 0.000 % |
7.68/7.77 c | 28926 | 5861 25047 76007 | 2147483647 27245 123 | 0.000 % |
7.77/7.85 c | 29159 | 5861 25047 76007 | 2147483647 27478 123 | 0.000 % |
7.87/7.95 c | 29415 | 5861 25047 76007 | 2147483647 27734 123 | 0.000 % |
7.97/8.05 c | 29698 | 5861 25047 76007 | 2147483647 28017 123 | 0.000 % |
8.07/8.16 c | 30008 | 5861 25047 76007 | 2147483647 28327 123 | 0.000 % |
8.17/8.28 c | 30348 | 5861 25047 76007 | 2147483647 28667 123 | 0.000 % |
8.37/8.42 c | 30720 | 5861 25047 76007 | 2147483647 29039 123 | 0.000 % |
8.47/8.55 c | 31129 | 5861 25047 76007 | 2147483647 29448 123 | 0.000 % |
8.68/8.72 c | 31579 | 5861 25047 76007 | 2147483647 29898 123 | 0.000 % |
8.87/8.90 c | 32073 | 5861 25047 76007 | 2147483647 30392 124 | 0.000 % |
8.87/8.94 c | 32173 | 5861 25047 76007 | 2147483647 30492 124 | 0.000 % |
8.87/8.98 c | 32285 | 5861 25047 76007 | 2147483647 30604 124 | 0.000 % |
8.97/9.03 c | 32410 | 5861 25047 76007 | 2147483647 30729 124 | 0.000 % |
8.97/9.08 c | 32545 | 5861 25047 76007 | 2147483647 30864 124 | 0.000 % |
9.07/9.15 c | 32692 | 5861 25047 76007 | 2147483647 31011 124 | 0.000 % |
9.17/9.21 c | 32853 | 5861 25047 76007 | 2147483647 31172 123 | 0.000 % |
9.17/9.27 c | 33029 | 5861 25047 76007 | 2147483647 31348 123 | 0.000 % |
9.27/9.34 c | 33223 | 5861 25047 76007 | 2147483647 31542 123 | 0.000 % |
9.37/9.42 c | 33435 | 5861 25047 76007 | 2147483647 31754 123 | 0.000 % |
9.47/9.52 c | 33669 | 5861 25047 76007 | 2147483647 31988 123 | 0.000 % |
9.57/9.62 c | 33926 | 5861 25047 76007 | 2147483647 32245 123 | 0.000 % |
9.67/9.72 c | 34209 | 5861 25047 76007 | 2147483647 32528 123 | 0.000 % |
9.77/9.84 c | 34519 | 5861 25047 76007 | 2147483647 32838 123 | 0.000 % |
9.88/9.98 c | 34858 | 5861 25047 76007 | 2147483647 33177 123 | 0.000 % |
10.08/10.14 c | 35233 | 5861 25047 76007 | 2147483647 33552 124 | 0.000 % |
10.18/10.28 c | 35644 | 5861 25047 76007 | 2147483647 33963 124 | 0.000 % |
10.38/10.46 c | 36094 | 5861 25047 76007 | 2147483647 34413 124 | 0.000 % |
10.58/10.66 c | 36589 | 5861 25047 76007 | 2147483647 34908 124 | 0.000 % |
10.77/10.88 c | 37131 | 5861 25047 76007 | 2147483647 35450 124 | 0.000 % |
10.88/10.92 c | 37231 | 5861 25047 76007 | 2147483647 35550 124 | 0.000 % |
10.88/10.97 c | 37343 | 5861 25047 76007 | 2147483647 35662 124 | 0.000 % |
10.98/11.03 c | 37464 | 5861 25047 76007 | 2147483647 35783 124 | 0.000 % |
10.98/11.08 c | 37598 | 5861 25047 76007 | 2147483647 35917 124 | 0.000 % |
11.07/11.16 c | 37744 | 5861 25047 76007 | 2147483647 36063 124 | 0.000 % |
11.17/11.23 c | 37904 | 5861 25047 76007 | 2147483647 36223 124 | 0.000 % |
11.27/11.30 c | 38080 | 5861 25047 76007 | 2147483647 36399 124 | 0.000 % |
11.27/11.39 c | 38275 | 5861 25047 76007 | 2147483647 36594 124 | 0.000 % |
11.37/11.47 c | 38487 | 5861 25047 76007 | 2147483647 36806 124 | 0.000 % |
11.47/11.56 c | 38720 | 5861 25047 76007 | 2147483647 37039 124 | 0.000 % |
11.57/11.67 c | 38976 | 5861 25047 76007 | 2147483647 37295 124 | 0.000 % |
11.77/11.80 c | 39258 | 5861 25047 76007 | 2147483647 37577 124 | 0.000 % |
11.87/11.93 c | 39567 | 5861 25047 76007 | 2147483647 37886 124 | 0.000 % |
11.97/12.08 c | 39908 | 5861 25047 76007 | 2147483647 38227 124 | 0.000 % |
12.17/12.25 c | 40281 | 5861 25047 76007 | 2147483647 38600 124 | 0.000 % |
12.37/12.43 c | 40692 | 5861 25047 76007 | 2147483647 39011 124 | 0.000 % |
12.57/12.62 c | 41141 | 5861 25047 76007 | 2147483647 39460 124 | 0.000 % |
12.77/12.82 c | 41634 | 5861 25047 76007 | 2147483647 39953 124 | 0.000 % |
12.97/13.06 c | 42176 | 5861 25047 76007 | 2147483647 40495 124 | 0.000 % |
13.27/13.32 c | 42773 | 5861 25047 76007 | 2147483647 41092 124 | 0.000 % |
13.27/13.37 c | 42873 | 5861 25047 76007 | 2147483647 41192 124 | 0.000 % |
13.37/13.42 c | 42983 | 5861 25047 76007 | 2147483647 41302 124 | 0.000 % |
13.37/13.48 c | 43104 | 5861 25047 76007 | 2147483647 41423 124 | 0.000 % |
13.48/13.54 c | 43237 | 5861 25047 76007 | 2147483647 41556 124 | 0.000 % |
13.58/13.61 c | 43383 | 5861 25047 76007 | 2147483647 41702 124 | 0.000 % |
13.68/13.70 c | 43543 | 5861 25047 76007 | 2147483647 41862 124 | 0.000 % |
13.68/13.79 c | 43719 | 5861 25047 76007 | 2147483647 42038 124 | 0.000 % |
13.77/13.88 c | 43915 | 5861 25047 76007 | 2147483647 42234 124 | 0.000 % |
13.87/13.98 c | 44127 | 5861 25047 76007 | 2147483647 42446 124 | 0.000 % |
14.07/14.10 c | 44361 | 5861 25047 76007 | 2147483647 42680 124 | 0.000 % |
14.18/14.21 c | 44618 | 5861 25047 76007 | 2147483647 42937 124 | 0.000 % |
14.28/14.36 c | 44900 | 5861 25047 76007 | 2147483647 43219 124 | 0.000 % |
14.47/14.50 c | 45209 | 5861 25047 76007 | 2147483647 43528 124 | 0.000 % |
14.57/14.66 c | 45548 | 5861 25047 76007 | 2147483647 43867 124 | 0.000 % |
14.77/14.84 c | 45920 | 5861 25047 76007 | 2147483647 44239 124 | 0.000 % |
14.97/15.02 c | 46330 | 5861 25047 76007 | 2147483647 44649 124 | 0.000 % |
15.17/15.23 c | 46780 | 5861 25047 76007 | 2147483647 45099 125 | 0.000 % |
15.38/15.45 c | 47273 | 5861 25047 76007 | 2147483647 45592 125 | 0.000 % |
15.67/15.71 c | 47815 | 5861 25047 76007 | 2147483647 46134 125 | 0.000 % |
15.97/16.00 c | 48411 | 5861 25047 76007 | 2147483647 46730 125 | 0.000 % |
16.17/16.29 c | 49067 | 5861 25047 76007 | 2147483647 47386 125 | 0.000 % |
16.27/16.34 c | 49167 | 5861 25047 76007 | 2147483647 47486 125 | 0.000 % |
16.27/16.40 c | 49277 | 5861 25047 76007 | 2147483647 47596 125 | 0.000 % |
16.37/16.46 c | 49400 | 5861 25047 76007 | 2147483647 47719 125 | 0.000 % |
16.48/16.52 c | 49535 | 5861 25047 76007 | 2147483647 47854 125 | 0.000 % |
16.58/16.61 c | 49684 | 5861 25047 76007 | 2147483647 48003 125 | 0.000 % |
16.58/16.69 c | 49846 | 5861 25047 76007 | 2147483647 48165 125 | 0.000 % |
16.67/16.77 c | 50022 | 5861 25047 76007 | 2147483647 48341 125 | 0.000 % |
16.77/16.88 c | 50216 | 5861 25047 76007 | 2147483647 48535 125 | 0.000 % |
16.87/16.99 c | 50428 | 5861 25047 76007 | 2147483647 48747 125 | 0.000 % |
17.07/17.11 c | 50661 | 5861 25047 76007 | 2147483647 48980 125 | 0.000 % |
17.17/17.23 c | 50917 | 5861 25047 76007 | 2147483647 49236 125 | 0.000 % |
17.27/17.37 c | 51201 | 5861 25047 76007 | 2147483647 49520 125 | 0.000 % |
17.48/17.51 c | 51511 | 5861 25047 76007 | 2147483647 49830 125 | 0.000 % |
17.58/17.68 c | 51850 | 5861 25047 76007 | 2147483647 50169 125 | 0.000 % |
17.77/17.88 c | 52224 | 5861 25047 76007 | 2147483647 50543 125 | 0.000 % |
17.97/18.07 c | 52633 | 5861 25047 76007 | 2147483647 50952 125 | 0.000 % |
18.27/18.30 c | 53082 | 5861 25047 76007 | 2147483647 51401 125 | 0.000 % |
18.47/18.56 c | 53575 | 5861 25047 76007 | 2147483647 51894 125 | 0.000 % |
18.77/18.82 c | 54117 | 5861 25047 76007 | 2147483647 52436 125 | 0.000 % |
19.07/19.12 c | 54715 | 5861 25047 76007 | 2147483647 53034 125 | 0.000 % |
19.37/19.45 c | 55371 | 5861 25047 76007 | 2147483647 53690 125 | 0.000 % |
19.78/19.81 c | 56091 | 5861 25047 76007 | 2147483647 54410 126 | 0.000 % |
19.78/19.87 c | 56191 | 5861 25047 76007 | 2147483647 54510 126 | 0.000 % |
19.87/19.94 c | 56301 | 5861 25047 76007 | 2147483647 54620 126 | 0.000 % |
19.97/20.01 c | 56425 | 5861 25047 76007 | 2147483647 54744 126 | 0.000 % |
19.97/20.09 c | 56560 | 5861 25047 76007 | 2147483647 54879 126 | 0.000 % |
20.07/20.17 c | 56706 | 5861 25047 76007 | 2147483647 55025 126 | 0.000 % |
20.17/20.24 c | 56866 | 5861 25047 76007 | 2147483647 55185 126 | 0.000 % |
20.27/20.35 c | 57043 | 5861 25047 76007 | 2147483647 55362 126 | 0.000 % |
20.37/20.46 c | 57236 | 5861 25047 76007 | 2147483647 55555 126 | 0.000 % |
20.47/20.58 c | 57450 | 5861 25047 76007 | 2147483647 55769 125 | 0.000 % |
20.67/20.72 c | 57685 | 5861 25047 76007 | 2147483647 56004 125 | 0.000 % |
20.77/20.86 c | 57942 | 5861 25047 76007 | 2147483647 56261 126 | 0.000 % |
20.96/21.02 c | 58223 | 5861 25047 76007 | 2147483647 56542 126 | 0.000 % |
21.06/21.17 c | 58532 | 5861 25047 76007 | 2147483647 56851 126 | 0.000 % |
21.26/21.37 c | 58871 | 5861 25047 76007 | 2147483647 57190 126 | 0.000 % |
21.46/21.56 c | 59244 | 5861 25047 76007 | 2147483647 57563 126 | 0.000 % |
21.66/21.78 c | 59654 | 5861 25047 76007 | 2147483647 57973 126 | 0.000 % |
21.97/22.03 c | 60103 | 5861 25047 76007 | 2147483647 58422 126 | 0.000 % |
22.27/22.31 c | 60596 | 5861 25047 76007 | 2147483647 58915 126 | 0.000 % |
22.57/22.61 c | 61138 | 5861 25047 76007 | 2147483647 59457 126 | 0.000 % |
22.87/22.96 c | 61734 | 5861 25047 76007 | 2147483647 60053 126 | 0.000 % |
23.27/23.31 c | 62389 | 5861 25047 76007 | 2147483647 60708 126 | 0.000 % |
23.66/23.73 c | 63110 | 5861 25047 76007 | 2147483647 61429 127 | 0.000 % |
24.07/24.15 c | 63902 | 5861 25047 76007 | 2147483647 62221 127 | 0.000 % |
24.17/24.21 c | 64002 | 5861 25047 76007 | 2147483647 62321 127 | 0.000 % |
24.17/24.28 c | 64112 | 5861 25047 76007 | 2147483647 62431 127 | 0.000 % |
24.27/24.36 c | 64233 | 5861 25047 76007 | 2147483647 62552 127 | 0.000 % |
24.37/24.44 c | 64366 | 5861 25047 76007 | 2147483647 62685 127 | 0.000 % |
24.47/24.53 c | 64513 | 5861 25047 76007 | 2147483647 62832 127 | 0.000 % |
24.57/24.64 c | 64674 | 5861 25047 76007 | 2147483647 62993 127 | 0.000 % |
24.67/24.74 c | 64850 | 5861 25047 76007 | 2147483647 63169 127 | 0.000 % |
24.77/24.86 c | 65043 | 5861 25047 76007 | 2147483647 63362 127 | 0.000 % |
24.87/24.99 c | 65255 | 5861 25047 76007 | 2147483647 63574 127 | 0.000 % |
25.07/25.12 c | 65488 | 5861 25047 76007 | 2147483647 63807 127 | 0.000 % |
25.17/25.28 c | 65745 | 5861 25047 76007 | 2147483647 64064 127 | 0.000 % |
25.37/25.45 c | 66027 | 5861 25047 76007 | 2147483647 64346 127 | 0.000 % |
25.57/25.65 c | 66339 | 5861 25047 76007 | 2147483647 64658 127 | 0.000 % |
25.77/25.86 c | 66679 | 5861 25047 76007 | 2147483647 64998 127 | 0.000 % |
25.97/26.07 c | 67052 | 5861 25047 76007 | 2147483647 65371 127 | 0.000 % |
26.27/26.32 c | 67461 | 5861 25047 76007 | 2147483647 65780 127 | 0.000 % |
26.46/26.58 c | 67910 | 5861 25047 76007 | 2147483647 66229 127 | 0.000 % |
26.76/26.87 c | 68404 | 5861 25047 76007 | 2147483647 66723 127 | 0.000 % |
27.16/27.21 c | 68946 | 5861 25047 76007 | 2147483647 67265 127 | 0.000 % |
27.47/27.57 c | 69542 | 5861 25047 76007 | 2147483647 67861 127 | 0.000 % |
27.86/27.95 c | 70198 | 5861 25047 76007 | 2147483647 68517 127 | 0.000 % |
28.26/28.35 c | 70918 | 5861 25047 76007 | 2147483647 69237 127 | 0.000 % |
28.76/28.83 c | 71710 | 5861 25047 76007 | 2147483647 70029 128 | 0.000 % |
29.26/29.35 c | 72582 | 5861 25047 76007 | 2147483647 70901 128 | 0.000 % |
29.36/29.43 c | 72683 | 5861 25047 76007 | 2147483647 71002 128 | 0.000 % |
29.46/29.50 c | 72794 | 5861 25047 76007 | 2147483647 71113 128 | 0.000 % |
29.46/29.58 c | 72916 | 5861 25047 76007 | 2147483647 71235 128 | 0.000 % |
29.56/29.68 c | 73051 | 5861 25047 76007 | 2147483647 71370 128 | 0.000 % |
29.66/29.79 c | 73197 | 5861 25047 76007 | 2147483647 71516 128 | 0.000 % |
29.76/29.90 c | 73362 | 5861 25047 76007 | 2147483647 71681 128 | 0.000 % |
29.96/30.00 c | 73538 | 5861 25047 76007 | 2147483647 71857 128 | 0.000 % |
30.06/30.14 c | 73731 | 5861 25047 76007 | 2147483647 72050 128 | 0.000 % |
30.16/30.28 c | 73943 | 5861 25047 76007 | 2147483647 72262 128 | 0.000 % |
30.37/30.44 c | 74176 | 5861 25047 76007 | 2147483647 72495 128 | 0.000 % |
30.47/30.59 c | 74432 | 5861 25047 76007 | 2147483647 72751 128 | 0.000 % |
30.67/30.78 c | 74714 | 5861 25047 76007 | 2147483647 73033 128 | 0.000 % |
30.86/30.97 c | 75024 | 5861 25047 76007 | 2147483647 73343 128 | 0.000 % |
31.16/31.21 c | 75364 | 5861 25047 76007 | 2147483647 73683 128 | 0.000 % |
31.36/31.45 c | 75736 | 5861 25047 76007 | 2147483647 74055 128 | 0.000 % |
31.66/31.70 c | 76145 | 5861 25047 76007 | 2147483647 74464 128 | 0.000 % |
31.87/31.96 c | 76596 | 5861 25047 76007 | 2147483647 74915 128 | 0.000 % |
32.16/32.27 c | 77091 | 5861 25047 76007 | 2147483647 75410 128 | 0.000 % |
32.56/32.62 c | 77635 | 5861 25047 76007 | 2147483647 75954 128 | 0.000 % |
32.87/33.00 c | 78231 | 5861 25047 76007 | 2147483647 76550 128 | 0.000 % |
33.36/33.42 c | 78886 | 5861 25047 76007 | 2147483647 77205 128 | 0.000 % |
33.76/33.87 c | 79608 | 5861 25047 76007 | 2147483647 77927 128 | 0.000 % |
34.25/34.36 c | 80400 | 5861 25047 76007 | 2147483647 78719 128 | 0.000 % |
34.86/34.93 c | 81271 | 5861 25047 76007 | 2147483647 79590 128 | 0.000 % |
35.46/35.52 c | 82230 | 5861 25047 76007 | 2147483647 80549 128 | 0.000 % |
35.46/35.59 c | 82330 | 5861 25047 76007 | 2147483647 80649 128 | 0.000 % |
35.56/35.68 c | 82440 | 5861 25047 76007 | 2147483647 80759 128 | 0.000 % |
35.66/35.77 c | 82561 | 5861 25047 76007 | 2147483647 80880 128 | 0.000 % |
35.76/35.88 c | 82695 | 5861 25047 76007 | 2147483647 81014 128 | 0.000 % |
35.86/35.99 c | 82841 | 5861 25047 76007 | 2147483647 81160 128 | 0.000 % |
36.06/36.12 c | 83001 | 5861 25047 76007 | 2147483647 81320 128 | 0.000 % |
36.17/36.27 c | 83178 | 5861 25047 76007 | 2147483647 81497 128 | 0.000 % |
36.36/36.41 c | 83374 | 5861 25047 76007 | 2147483647 81693 128 | 0.000 % |
36.46/36.56 c | 83586 | 5861 25047 76007 | 2147483647 81905 128 | 0.000 % |
36.66/36.73 c | 83820 | 5861 25047 76007 | 2147483647 82139 128 | 0.000 % |
36.86/36.92 c | 84077 | 5861 25047 76007 | 2147483647 82396 128 | 0.000 % |
37.06/37.12 c | 84358 | 5861 25047 76007 | 2147483647 82677 128 | 0.000 % |
37.26/37.32 c | 84667 | 5861 25047 76007 | 2147483647 82986 128 | 0.000 % |
37.46/37.56 c | 85006 | 5861 25047 76007 | 2147483647 83325 128 | 0.000 % |
37.76/37.86 c | 85380 | 5861 25047 76007 | 2147483647 83699 128 | 0.000 % |
38.06/38.15 c | 85791 | 5861 25047 76007 | 2147483647 84110 128 | 0.000 % |
38.36/38.48 c | 86240 | 5861 25047 76007 | 2147483647 84559 128 | 0.000 % |
38.76/38.83 c | 86737 | 5861 25047 76007 | 2147483647 85056 128 | 0.000 % |
39.06/39.19 c | 87279 | 5861 25047 76007 | 2147483647 85598 128 | 0.000 % |
39.47/39.60 c | 87875 | 5861 25047 76007 | 2147483647 86194 128 | 0.000 % |
39.96/40.03 c | 88533 | 5861 25047 76007 | 2147483647 86852 128 | 0.000 % |
40.46/40.56 c | 89254 | 5861 25047 76007 | 2147483647 87573 128 | 0.000 % |
41.06/41.14 c | 90046 | 5861 25047 76007 | 2147483647 88365 129 | 0.000 % |
41.66/41.79 c | 90919 | 5861 25047 76007 | 2147483647 89238 129 | 0.000 % |
42.35/42.48 c | 91877 | 5861 25047 76007 | 2147483647 90196 129 | 0.000 % |
43.16/43.20 c | 92930 | 5861 25047 76007 | 2147483647 91249 130 | 0.000 % |
43.16/43.29 c | 93032 | 5861 25047 76007 | 2147483647 91351 129 | 0.000 % |
43.36/43.40 c | 93144 | 5861 25047 76007 | 2147483647 91463 129 | 0.000 % |
43.46/43.50 c | 93266 | 5861 25047 76007 | 2147483647 91585 129 | 0.000 % |
43.56/43.61 c | 93399 | 5861 25047 76007 | 2147483647 91718 129 | 0.000 % |
43.66/43.74 c | 93546 | 5861 25047 76007 | 2147483647 91865 129 | 0.000 % |
43.76/43.88 c | 93708 | 5861 25047 76007 | 2147483647 92027 129 | 0.000 % |
43.96/44.02 c | 93885 | 5861 25047 76007 | 2147483647 92204 129 | 0.000 % |
44.06/44.18 c | 94079 | 5861 25047 76007 | 2147483647 92398 129 | 0.000 % |
44.26/44.36 c | 94291 | 5861 25047 76007 | 2147483647 92610 129 | 0.000 % |
44.46/44.55 c | 94524 | 5861 25047 76007 | 2147483647 92843 129 | 0.000 % |
44.66/44.77 c | 94780 | 5861 25047 76007 | 2147483647 93099 129 | 0.000 % |
44.86/44.99 c | 95062 | 5861 25047 76007 | 2147483647 93381 129 | 0.000 % |
45.15/45.23 c | 95371 | 5861 25047 76007 | 2147483647 93690 129 | 0.000 % |
45.45/45.51 c | 95710 | 5861 25047 76007 | 2147483647 94029 129 | 0.000 % |
45.65/45.79 c | 96083 | 5861 25047 76007 | 2147483647 94402 129 | 0.000 % |
46.06/46.13 c | 96493 | 5861 25047 76007 | 2147483647 94812 129 | 0.000 % |
46.35/46.49 c | 96943 | 5861 25047 76007 | 2147483647 95262 130 | 0.000 % |
46.75/46.86 c | 97436 | 5861 25047 76007 | 2147483647 95755 130 | 0.000 % |
47.16/47.27 c | 97978 | 5861 25047 76007 | 2147483647 96297 130 | 0.000 % |
47.66/47.73 c | 98575 | 5861 25047 76007 | 2147483647 96894 130 | 0.000 % |
48.16/48.24 c | 99230 | 5861 25047 76007 | 2147483647 97549 130 | 0.000 % |
48.65/48.79 c | 99951 | 5861 25047 76007 | 2147483647 98270 130 | 0.000 % |
49.25/49.36 c | 100744 | 5861 25047 76007 | 2147483647 99063 130 | 0.000 % |
49.95/50.04 c | 101615 | 5861 25047 76007 | 2147483647 99934 130 | 0.000 % |
50.65/50.77 c | 102573 | 5861 25047 76007 | 2147483647 100892 130 | 0.000 % |
51.45/51.57 c | 103628 | 5861 25047 76007 | 2147483647 101947 130 | 0.000 % |
52.35/52.47 c | 104786 | 5861 25047 76007 | 2147483647 103105 131 | 0.000 % |
52.45/52.57 c | 104888 | 5861 25047 76007 | 2147483647 103207 130 | 0.000 % |
52.55/52.67 c | 105002 | 5861 25047 76007 | 2147483647 103321 131 | 0.000 % |
52.65/52.80 c | 105123 | 5861 25047 76007 | 2147483647 103442 130 | 0.000 % |
52.85/52.93 c | 105259 | 5861 25047 76007 | 2147483647 103578 130 | 0.000 % |
52.94/53.05 c | 105405 | 5861 25047 76007 | 2147483647 103724 130 | 0.000 % |
53.14/53.21 c | 105566 | 5861 25047 76007 | 2147483647 103885 130 | 0.000 % |
53.24/53.38 c | 105746 | 5861 25047 76007 | 2147483647 104065 130 | 0.000 % |
53.44/53.57 c | 105940 | 5861 25047 76007 | 2147483647 104259 130 | 0.000 % |
53.65/53.74 c | 106152 | 5861 25047 76007 | 2147483647 104471 130 | 0.000 % |
53.86/53.96 c | 106385 | 5861 25047 76007 | 2147483647 104704 130 | 0.000 % |
54.05/54.18 c | 106644 | 5861 25047 76007 | 2147483647 104963 130 | 0.000 % |
54.35/54.44 c | 106925 | 5861 25047 76007 | 2147483647 105244 130 | 0.000 % |
54.65/54.71 c | 107236 | 5861 25047 76007 | 2147483647 105555 130 | 0.000 % |
54.95/55.02 c | 107575 | 5861 25047 76007 | 2147483647 105894 130 | 0.000 % |
55.25/55.36 c | 107947 | 5861 25047 76007 | 2147483647 106266 130 | 0.000 % |
55.65/55.72 c | 108357 | 5861 25047 76007 | 2147483647 106676 130 | 0.000 % |
55.95/56.10 c | 108806 | 5861 25047 76007 | 2147483647 107125 130 | 0.000 % |
56.34/56.47 c | 109300 | 5861 25047 76007 | 2147483647 107619 130 | 0.000 % |
56.84/56.93 c | 109843 | 5861 25047 76007 | 2147483647 108162 130 | 0.000 % |
57.25/57.40 c | 110439 | 5861 25047 76007 | 2147483647 108758 130 | 0.000 % |
57.85/57.97 c | 111094 | 5861 25047 76007 | 2147483647 109413 130 | 0.000 % |
58.45/58.58 c | 111814 | 5861 25047 76007 | 2147483647 110133 130 | 0.000 % |
59.15/59.29 c | 112607 | 5861 25047 76007 | 2147483647 110926 130 | 0.000 % |
59.95/60.02 c | 113483 | 5861 25047 76007 | 2147483647 111802 131 | 0.000 % |
60.75/60.85 c | 114443 | 5861 25047 76007 | 2147483647 112762 131 | 0.000 % |
61.64/61.71 c | 115497 | 5861 25047 76007 | 2147483647 113816 131 | 0.000 % |
62.55/62.65 c | 116655 | 5861 25047 76007 | 2147483647 114974 131 | 0.000 % |
63.54/63.67 c | 117931 | 5861 25047 76007 | 2147483647 116250 131 | 0.000 % |
63.64/63.77 c | 118031 | 5861 25047 76007 | 2147483647 116350 131 | 0.000 % |
63.74/63.90 c | 118143 | 5861 25047 76007 | 2147483647 116462 131 | 0.000 % |
63.94/64.02 c | 118264 | 5861 25047 76007 | 2147483647 116583 131 | 0.000 % |
64.04/64.16 c | 118399 | 5861 25047 76007 | 2147483647 116718 131 | 0.000 % |
64.24/64.31 c | 118545 | 5861 25047 76007 | 2147483647 116864 131 | 0.000 % |
64.34/64.47 c | 118706 | 5861 25047 76007 | 2147483647 117025 131 | 0.000 % |
64.54/64.67 c | 118882 | 5861 25047 76007 | 2147483647 117201 131 | 0.000 % |
64.74/64.86 c | 119075 | 5861 25047 76007 | 2147483647 117394 131 | 0.000 % |
64.95/65.09 c | 119287 | 5861 25047 76007 | 2147483647 117606 131 | 0.000 % |
65.25/65.31 c | 119523 | 5861 25047 76007 | 2147483647 117842 131 | 0.000 % |
65.45/65.58 c | 119781 | 5861 25047 76007 | 2147483647 118100 131 | 0.000 % |
65.74/65.86 c | 120062 | 5861 25047 76007 | 2147483647 118381 131 | 0.000 % |
66.04/66.15 c | 120371 | 5861 25047 76007 | 2147483647 118690 131 | 0.000 % |
66.34/66.45 c | 120710 | 5861 25047 76007 | 2147483647 119029 131 | 0.000 % |
66.74/66.80 c | 121084 | 5861 25047 76007 | 2147483647 119403 131 | 0.000 % |
67.04/67.17 c | 121494 | 5861 25047 76007 | 2147483647 119813 131 | 0.000 % |
67.44/67.59 c | 121943 | 5861 25047 76007 | 2147483647 120262 131 | 0.000 % |
67.94/68.02 c | 122439 | 5861 25047 76007 | 2147483647 120758 131 | 0.000 % |
68.44/68.52 c | 122986 | 5861 25047 76007 | 2147483647 121305 131 | 0.000 % |
68.94/69.08 c | 123583 | 5861 25047 76007 | 2147483647 121902 131 | 0.000 % |
69.64/69.71 c | 124238 | 5861 25047 76007 | 2147483647 122557 131 | 0.000 % |
70.25/70.34 c | 124958 | 5861 25047 76007 | 2147483647 123277 131 | 0.000 % |
70.94/71.10 c | 125750 | 5861 25047 76007 | 2147483647 124069 131 | 0.000 % |
71.74/71.90 c | 126624 | 5861 25047 76007 | 2147483647 124943 131 | 0.000 % |
72.73/72.81 c | 127583 | 5861 25047 76007 | 2147483647 125902 131 | 0.000 % |
73.83/73.90 c | 128637 | 5861 25047 76007 | 2147483647 126956 131 | 0.000 % |
74.84/74.97 c | 129795 | 5861 25047 76007 | 2147483647 128114 132 | 0.000 % |
76.14/76.20 c | 131068 | 5861 25047 76007 | 2147483647 129387 132 | 0.000 % |
77.44/77.54 c | 132468 | 5861 25047 76007 | 2147483647 130787 132 | 0.000 % |
77.54/77.66 c | 132568 | 5861 25047 76007 | 2147483647 130887 132 | 0.000 % |
77.64/77.78 c | 132679 | 5861 25047 76007 | 2147483647 130998 132 | 0.000 % |
77.84/77.93 c | 132800 | 5861 25047 76007 | 2147483647 131119 132 | 0.000 % |
77.94/78.08 c | 132933 | 5861 25047 76007 | 2147483647 131252 132 | 0.000 % |
78.13/78.26 c | 133080 | 5861 25047 76007 | 2147483647 131399 132 | 0.000 % |
78.33/78.46 c | 133240 | 5861 25047 76007 | 2147483647 131559 132 | 0.000 % |
78.53/78.67 c | 133416 | 5861 25047 76007 | 2147483647 131735 132 | 0.000 % |
78.73/78.88 c | 133612 | 5861 25047 76007 | 2147483647 131931 132 | 0.000 % |
79.04/79.10 c | 133826 | 5861 25047 76007 | 2147483647 132145 132 | 0.000 % |
79.23/79.35 c | 134060 | 5861 25047 76007 | 2147483647 132379 132 | 0.000 % |
79.53/79.63 c | 134316 | 5861 25047 76007 | 2147483647 132635 132 | 0.000 % |
79.83/79.93 c | 134599 | 5861 25047 76007 | 2147483647 132918 132 | 0.000 % |
80.13/80.28 c | 134908 | 5861 25047 76007 | 2147483647 133227 132 | 0.000 % |
80.53/80.67 c | 135251 | 5861 25047 76007 | 2147483647 133570 132 | 0.000 % |
80.94/81.04 c | 135623 | 5861 25047 76007 | 2147483647 133942 132 | 0.000 % |
81.34/81.45 c | 136034 | 5861 25047 76007 | 2147483647 134353 132 | 0.000 % |
81.84/81.94 c | 136483 | 5861 25047 76007 | 2147483647 134802 132 | 0.000 % |
82.34/82.41 c | 136977 | 5861 25047 76007 | 2147483647 135296 132 | 0.000 % |
82.83/82.98 c | 137519 | 5861 25047 76007 | 2147483647 135838 132 | 0.000 % |
83.44/83.59 c | 138116 | 5861 25047 76007 | 2147483647 136435 132 | 0.000 % |
84.13/84.25 c | 138773 | 5861 25047 76007 | 2147483647 137092 132 | 0.000 % |
84.84/84.95 c | 139493 | 5861 25047 76007 | 2147483647 137812 132 | 0.000 % |
85.64/85.75 c | 140286 | 5861 25047 76007 | 2147483647 138605 132 | 0.000 % |
86.43/86.60 c | 141159 | 5861 25047 76007 | 2147483647 139478 132 | 0.000 % |
87.43/87.53 c | 142117 | 5861 25047 76007 | 2147483647 140436 132 | 0.000 % |
88.33/88.49 c | 143170 | 5861 25047 76007 | 2147483647 141489 132 | 0.000 % |
89.53/89.60 c | 144331 | 5861 25047 76007 | 2147483647 142650 132 | 0.000 % |
90.73/90.81 c | 145605 | 5861 25047 76007 | 2147483647 143924 132 | 0.000 % |
92.13/92.23 c | 147005 | 5861 25047 76007 | 2147483647 145324 132 | 0.000 % |
93.63/93.76 c | 148545 | 5861 25047 76007 | 2147483647 146864 133 | 0.000 % |
93.83/93.91 c | 148646 | 5861 25047 76007 | 2147483647 146965 133 | 0.000 % |
93.93/94.05 c | 148756 | 5861 25047 76007 | 2147483647 147075 133 | 0.000 % |
94.03/94.19 c | 148877 | 5861 25047 76007 | 2147483647 147196 133 | 0.000 % |
94.23/94.36 c | 149012 | 5861 25047 76007 | 2147483647 147331 133 | 0.000 % |
94.43/94.56 c | 149159 | 5861 25047 76007 | 2147483647 147478 133 | 0.000 % |
94.63/94.77 c | 149319 | 5861 25047 76007 | 2147483647 147638 132 | 0.000 % |
94.82/94.99 c | 149498 | 5861 25047 76007 | 2147483647 147817 132 | 0.000 % |
95.12/95.23 c | 149691 | 5861 25047 76007 | 2147483647 148010 132 | 0.000 % |
95.32/95.49 c | 149903 | 5861 25047 76007 | 2147483647 148222 132 | 0.000 % |
95.63/95.77 c | 150136 | 5861 25047 76007 | 2147483647 148455 132 | 0.000 % |
95.92/96.03 c | 150393 | 5861 25047 76007 | 2147483647 148712 132 | 0.000 % |
96.23/96.35 c | 150676 | 5861 25047 76007 | 2147483647 148995 132 | 0.000 % |
96.53/96.68 c | 150986 | 5861 25047 76007 | 2147483647 149305 132 | 0.000 % |
96.93/97.04 c | 151325 | 5861 25047 76007 | 2147483647 149644 132 | 0.000 % |
97.33/97.40 c | 151697 | 5861 25047 76007 | 2147483647 150016 132 | 0.000 % |
97.73/97.87 c | 152107 | 5861 25047 76007 | 2147483647 150426 133 | 0.000 % |
98.23/98.34 c | 152556 | 5861 25047 76007 | 2147483647 150875 133 | 0.000 % |
98.83/98.91 c | 153050 | 5861 25047 76007 | 2147483647 151369 133 | 0.000 % |
99.42/99.53 c | 153593 | 5861 25047 76007 | 2147483647 151912 133 | 0.000 % |
100.03/100.18 c | 154190 | 5861 25047 76007 | 2147483647 152509 133 | 0.000 % |
100.73/100.90 c | 154845 | 5861 25047 76007 | 2147483647 153164 133 | 0.000 % |
101.63/101.72 c | 155565 | 5861 25047 76007 | 2147483647 153884 133 | 0.000 % |
102.42/102.59 c | 156358 | 5861 25047 76007 | 2147483647 154677 133 | 0.000 % |
103.42/103.52 c | 157230 | 5861 25047 76007 | 2147483647 155549 133 | 0.000 % |
104.43/104.51 c | 158190 | 5861 25047 76007 | 2147483647 156509 133 | 0.000 % |
105.52/105.65 c | 159243 | 5861 25047 76007 | 2147483647 157562 133 | 0.000 % |
106.72/106.87 c | 160403 | 5861 25047 76007 | 2147483647 158722 133 | 0.000 % |
108.13/108.25 c | 161677 | 5861 25047 76007 | 2147483647 159996 133 | 0.000 % |
109.73/109.85 c | 163078 | 5861 25047 76007 | 2147483647 161397 133 | 0.000 % |
111.42/111.56 c | 164622 | 5861 25047 76007 | 2147483647 162941 133 | 0.000 % |
113.32/113.49 c | 166318 | 5861 25047 76007 | 2147483647 164637 134 | 0.000 % |
113.52/113.61 c | 166419 | 5861 25047 76007 | 2147483647 164738 134 | 0.000 % |
113.62/113.76 c | 166530 | 5861 25047 76007 | 2147483647 164849 134 | 0.000 % |
113.82/113.94 c | 166652 | 5861 25047 76007 | 2147483647 164971 134 | 0.000 % |
114.02/114.13 c | 166788 | 5861 25047 76007 | 2147483647 165107 134 | 0.000 % |
114.22/114.31 c | 166935 | 5861 25047 76007 | 2147483647 165254 134 | 0.000 % |
114.42/114.51 c | 167095 | 5861 25047 76007 | 2147483647 165414 133 | 0.000 % |
114.62/114.75 c | 167271 | 5861 25047 76007 | 2147483647 165590 133 | 0.000 % |
114.92/115.00 c | 167465 | 5861 25047 76007 | 2147483647 165784 133 | 0.000 % |
115.22/115.31 c | 167677 | 5861 25047 76007 | 2147483647 165996 133 | 0.000 % |
115.52/115.60 c | 167911 | 5861 25047 76007 | 2147483647 166230 133 | 0.000 % |
115.82/115.95 c | 168167 | 5861 25047 76007 | 2147483647 166486 133 | 0.000 % |
116.21/116.31 c | 168448 | 5861 25047 76007 | 2147483647 166767 133 | 0.000 % |
116.52/116.69 c | 168758 | 5861 25047 76007 | 2147483647 167077 133 | 0.000 % |
117.01/117.12 c | 169097 | 5861 25047 76007 | 2147483647 167416 133 | 0.000 % |
117.52/117.65 c | 169473 | 5861 25047 76007 | 2147483647 167792 133 | 0.000 % |
118.12/118.20 c | 169882 | 5861 25047 76007 | 2147483647 168201 133 | 0.000 % |
118.62/118.72 c | 170332 | 5861 25047 76007 | 2147483647 168651 133 | 0.000 % |
119.21/119.32 c | 170827 | 5861 25047 76007 | 2147483647 169146 133 | 0.000 % |
119.82/119.97 c | 171370 | 5861 25047 76007 | 2147483647 169689 134 | 0.000 % |
120.62/120.72 c | 171966 | 5861 25047 76007 | 2147483647 170285 134 | 0.000 % |
121.42/121.57 c | 172624 | 5861 25047 76007 | 2147483647 170943 134 | 0.000 % |
122.32/122.41 c | 173344 | 5861 25047 76007 | 2147483647 171663 134 | 0.000 % |
123.22/123.38 c | 174137 | 5861 25047 76007 | 2147483647 172456 134 | 0.000 % |
124.32/124.41 c | 175010 | 5861 25047 76007 | 2147483647 173329 134 | 0.000 % |
125.42/125.57 c | 175970 | 5861 25047 76007 | 2147483647 174289 134 | 0.000 % |
126.71/126.85 c | 177023 | 5861 25047 76007 | 2147483647 175342 134 | 0.000 % |
128.21/128.30 c | 178182 | 5861 25047 76007 | 2147483647 176501 134 | 0.000 % |
129.72/129.88 c | 179458 | 5861 25047 76007 | 2147483647 177777 134 | 0.000 % |
131.32/131.47 c | 180859 | 5861 25047 76007 | 2147483647 179178 134 | 0.000 % |
133.11/133.21 c | 182400 | 5861 25047 76007 | 2147483647 180719 134 | 0.000 % |
135.01/135.16 c | 184094 | 5861 25047 76007 | 2147483647 182413 134 | 0.000 % |
137.32/137.48 c | 185957 | 5861 25047 76007 | 2147483647 184276 135 | 0.000 % |
137.52/137.63 c | 186059 | 5861 25047 76007 | 2147483647 184378 135 | 0.000 % |
137.72/137.83 c | 186169 | 5861 25047 76007 | 2147483647 184488 135 | 0.000 % |
137.82/137.99 c | 186291 | 5861 25047 76007 | 2147483647 184610 135 | 0.000 % |
138.02/138.19 c | 186424 | 5861 25047 76007 | 2147483647 184743 135 | 0.000 % |
138.32/138.41 c | 186571 | 5861 25047 76007 | 2147483647 184890 135 | 0.000 % |
138.52/138.66 c | 186731 | 5861 25047 76007 | 2147483647 185050 135 | 0.000 % |
138.81/138.92 c | 186907 | 5861 25047 76007 | 2147483647 185226 135 | 0.000 % |
139.11/139.21 c | 187102 | 5861 25047 76007 | 2147483647 185421 135 | 0.000 % |
139.41/139.51 c | 187315 | 5861 25047 76007 | 2147483647 185634 135 | 0.000 % |
139.71/139.82 c | 187549 | 5861 25047 76007 | 2147483647 185868 135 | 0.000 % |
140.11/140.22 c | 187805 | 5861 25047 76007 | 2147483647 186124 135 | 0.000 % |
140.41/140.59 c | 188089 | 5861 25047 76007 | 2147483647 186408 135 | 0.000 % |
140.91/141.05 c | 188398 | 5861 25047 76007 | 2147483647 186717 134 | 0.000 % |
141.41/141.51 c | 188737 | 5861 25047 76007 | 2147483647 187056 134 | 0.000 % |
141.91/142.02 c | 189109 | 5861 25047 76007 | 2147483647 187428 134 | 0.000 % |
142.41/142.54 c | 189519 | 5861 25047 76007 | 2147483647 187838 135 | 0.000 % |
143.01/143.17 c | 189970 | 5861 25047 76007 | 2147483647 188289 134 | 0.000 % |
143.61/143.80 c | 190463 | 5861 25047 76007 | 2147483647 188782 135 | 0.000 % |
144.41/144.50 c | 191006 | 5861 25047 76007 | 2147483647 189325 135 | 0.000 % |
145.11/145.23 c | 191603 | 5861 25047 76007 | 2147483647 189922 135 | 0.000 % |
146.00/146.15 c | 192258 | 5861 25047 76007 | 2147483647 190577 135 | 0.000 % |
146.91/147.02 c | 192983 | 5861 25047 76007 | 2147483647 191302 135 | 0.000 % |
147.91/148.00 c | 193776 | 5861 25047 76007 | 2147483647 192095 135 | 0.000 % |
149.01/149.17 c | 194648 | 5861 25047 76007 | 2147483647 192967 135 | 0.000 % |
150.31/150.41 c | 195606 | 5861 25047 76007 | 2147483647 193925 135 | 0.000 % |
151.61/151.80 c | 196659 | 5861 25047 76007 | 2147483647 194978 135 | 0.000 % |
153.21/153.30 c | 197819 | 5861 25047 76007 | 2147483647 196138 135 | 0.000 % |
154.80/154.96 c | 199092 | 5861 25047 76007 | 2147483647 197411 136 | 0.000 % |
156.70/156.82 c | 200492 | 5861 25047 76007 | 2147483647 198811 136 | 0.000 % |
158.70/158.89 c | 202032 | 5861 25047 76007 | 2147483647 200351 136 | 0.000 % |
161.00/161.19 c | 203727 | 5861 25047 76007 | 2147483647 202046 136 | 0.000 % |
163.60/163.75 c | 205590 | 5861 25047 76007 | 2147483647 203909 136 | 0.000 % |
166.40/166.50 c | 207641 | 5861 25047 76007 | 2147483647 205960 136 | 0.000 % |
166.50/166.67 c | 207743 | 5861 25047 76007 | 2147483647 206062 136 | 0.000 % |
166.70/166.86 c | 207853 | 5861 25047 76007 | 2147483647 206172 136 | 0.000 % |
166.90/167.05 c | 207975 | 5861 25047 76007 | 2147483647 206294 136 | 0.000 % |
167.20/167.30 c | 208110 | 5861 25047 76007 | 2147483647 206429 136 | 0.000 % |
167.40/167.53 c | 208258 | 5861 25047 76007 | 2147483647 206577 136 | 0.000 % |
167.60/167.77 c | 208418 | 5861 25047 76007 | 2147483647 206737 136 | 0.000 % |
167.80/167.99 c | 208595 | 5861 25047 76007 | 2147483647 206914 136 | 0.000 % |
168.20/168.31 c | 208788 | 5861 25047 76007 | 2147483647 207107 136 | 0.000 % |
168.50/168.63 c | 209000 | 5861 25047 76007 | 2147483647 207319 136 | 0.000 % |
168.90/169.02 c | 209234 | 5861 25047 76007 | 2147483647 207553 136 | 0.000 % |
169.30/169.46 c | 209492 | 5861 25047 76007 | 2147483647 207811 136 | 0.000 % |
169.70/169.85 c | 209773 | 5861 25047 76007 | 2147483647 208092 136 | 0.000 % |
170.20/170.37 c | 210083 | 5861 25047 76007 | 2147483647 208402 136 | 0.000 % |
170.80/170.94 c | 210422 | 5861 25047 76007 | 2147483647 208741 136 | 0.000 % |
171.40/171.51 c | 210797 | 5861 25047 76007 | 2147483647 209116 136 | 0.000 % |
171.99/172.11 c | 211206 | 5861 25047 76007 | 2147483647 209525 136 | 0.000 % |
172.60/172.76 c | 211655 | 5861 25047 76007 | 2147483647 209974 136 | 0.000 % |
173.29/173.48 c | 212149 | 5861 25047 76007 | 2147483647 210468 136 | 0.000 % |
174.09/174.21 c | 212691 | 5861 25047 76007 | 2147483647 211010 136 | 0.000 % |
175.00/175.10 c | 213287 | 5861 25047 76007 | 2147483647 211606 136 | 0.000 % |
175.80/175.94 c | 213942 | 5861 25047 76007 | 2147483647 212261 136 | 0.000 % |
176.90/177.02 c | 214664 | 5861 25047 76007 | 2147483647 212983 136 | 0.000 % |
178.01/178.19 c | 215456 | 5861 25047 76007 | 2147483647 213775 136 | 0.000 % |
179.30/179.46 c | 216327 | 5861 25047 76007 | 2147483647 214646 136 | 0.000 % |
180.70/180.81 c | 217288 | 5861 25047 76007 | 2147483647 215607 136 | 0.000 % |
182.00/182.19 c | 218341 | 5861 25047 76007 | 2147483647 216660 136 | 0.000 % |
183.60/183.79 c | 219499 | 5861 25047 76007 | 2147483647 217818 136 | 0.000 % |
185.40/185.59 c | 220773 | 5861 25047 76007 | 2147483647 219092 137 | 0.000 % |
187.40/187.56 c | 222174 | 5861 25047 76007 | 2147483647 220493 137 | 0.000 % |
189.49/189.69 c | 223714 | 5861 25047 76007 | 2147483647 222033 137 | 0.000 % |
191.79/191.93 c | 225409 | 5861 25047 76007 | 2147483647 223728 137 | 0.000 % |
194.39/194.57 c | 227275 | 5861 25047 76007 | 2147483647 225594 137 | 0.000 % |
197.29/197.49 c | 229325 | 5861 25047 76007 | 2147483647 227644 137 | 0.000 % |
200.59/200.75 c | 231578 | 5861 25047 76007 | 2147483647 229897 137 | 0.000 % |
200.79/200.97 c | 231678 | 5861 25047 76007 | 2147483647 229997 137 | 0.000 % |
200.99/201.19 c | 231789 | 5861 25047 76007 | 2147483647 230108 137 | 0.000 % |
201.29/201.40 c | 231910 | 5861 25047 76007 | 2147483647 230229 137 | 0.000 % |
201.49/201.69 c | 232043 | 5861 25047 76007 | 2147483647 230362 137 | 0.000 % |
201.89/202.02 c | 232190 | 5861 25047 76007 | 2147483647 230509 137 | 0.000 % |
202.20/202.34 c | 232352 | 5861 25047 76007 | 2147483647 230671 137 | 0.000 % |
202.49/202.67 c | 232529 | 5861 25047 76007 | 2147483647 230848 137 | 0.000 % |
202.89/203.03 c | 232724 | 5861 25047 76007 | 2147483647 231043 137 | 0.000 % |
203.30/203.43 c | 232936 | 5861 25047 76007 | 2147483647 231255 137 | 0.000 % |
203.69/203.87 c | 233171 | 5861 25047 76007 | 2147483647 231490 137 | 0.000 % |
204.19/204.34 c | 233429 | 5861 25047 76007 | 2147483647 231748 137 | 0.000 % |
204.69/204.84 c | 233710 | 5861 25047 76007 | 2147483647 232029 137 | 0.000 % |
205.19/205.39 c | 234019 | 5861 25047 76007 | 2147483647 232338 137 | 0.000 % |
205.89/206.03 c | 234358 | 5861 25047 76007 | 2147483647 232677 137 | 0.000 % |
206.49/206.65 c | 234731 | 5861 25047 76007 | 2147483647 233050 137 | 0.000 % |
207.08/207.28 c | 235140 | 5861 25047 76007 | 2147483647 233459 137 | 0.000 % |
207.89/208.01 c | 235589 | 5861 25047 76007 | 2147483647 233908 137 | 0.000 % |
208.69/208.87 c | 236083 | 5861 25047 76007 | 2147483647 234402 137 | 0.000 % |
209.49/209.70 c | 236626 | 5861 25047 76007 | 2147483647 234945 137 | 0.000 % |
210.49/210.69 c | 237222 | 5861 25047 76007 | 2147483647 235541 137 | 0.000 % |
211.58/211.73 c | 237878 | 5861 25047 76007 | 2147483647 236197 137 | 0.000 % |
212.68/212.82 c | 238599 | 5861 25047 76007 | 2147483647 236918 137 | 0.000 % |
213.98/214.14 c | 239392 | 5861 25047 76007 | 2147483647 237711 137 | 0.000 % |
215.39/215.51 c | 240263 | 5861 25047 76007 | 2147483647 238582 137 | 0.000 % |
216.89/217.05 c | 241221 | 5861 25047 76007 | 2147483647 239540 137 | 0.000 % |
218.48/218.68 c | 242274 | 5861 25047 76007 | 2147483647 240593 137 | 0.000 % |
220.28/220.45 c | 243432 | 5861 25047 76007 | 2147483647 241751 137 | 0.000 % |
222.08/222.26 c | 244706 | 5861 25047 76007 | 2147483647 243025 137 | 0.000 % |
224.29/224.40 c | 246107 | 5861 25047 76007 | 2147483647 244426 137 | 0.000 % |
226.68/226.83 c | 247647 | 5861 25047 76007 | 2147483647 245966 137 | 0.000 % |
229.28/229.42 c | 249341 | 5861 25047 76007 | 2147483647 247660 138 | 0.000 % |
232.18/232.32 c | 251206 | 5861 25047 76007 | 2147483647 249525 138 | 0.000 % |
235.38/235.57 c | 253255 | 5861 25047 76007 | 2147483647 251574 138 | 0.000 % |
238.97/239.12 c | 255508 | 5861 25047 76007 | 2147483647 253827 138 | 0.000 % |
243.08/243.20 c | 257987 | 5861 25047 76007 | 2147483647 256306 138 | 0.000 % |
243.28/243.42 c | 258087 | 5861 25047 76007 | 2147483647 256406 138 | 0.000 % |
243.48/243.67 c | 258197 | 5861 25047 76007 | 2147483647 256516 138 | 0.000 % |
243.78/243.92 c | 258318 | 5861 25047 76007 | 2147483647 256637 138 | 0.000 % |
243.98/244.20 c | 258451 | 5861 25047 76007 | 2147483647 256770 138 | 0.000 % |
244.28/244.48 c | 258597 | 5861 25047 76007 | 2147483647 256916 138 | 0.000 % |
244.67/244.81 c | 258757 | 5861 25047 76007 | 2147483647 257076 138 | 0.000 % |
244.97/245.16 c | 258933 | 5861 25047 76007 | 2147483647 257252 138 | 0.000 % |
245.37/245.52 c | 259126 | 5861 25047 76007 | 2147483647 257445 138 | 0.000 % |
245.77/245.96 c | 259338 | 5861 25047 76007 | 2147483647 257657 138 | 0.000 % |
246.28/246.40 c | 259574 | 5861 25047 76007 | 2147483647 257893 138 | 0.000 % |
246.77/246.92 c | 259830 | 5861 25047 76007 | 2147483647 258149 138 | 0.000 % |
247.28/247.44 c | 260111 | 5861 25047 76007 | 2147483647 258430 138 | 0.000 % |
247.87/248.04 c | 260420 | 5861 25047 76007 | 2147483647 258739 138 | 0.000 % |
248.47/248.64 c | 260759 | 5861 25047 76007 | 2147483647 259078 138 | 0.000 % |
249.07/249.29 c | 261133 | 5861 25047 76007 | 2147483647 259452 138 | 0.000 % |
249.88/250.04 c | 261542 | 5861 25047 76007 | 2147483647 259861 138 | 0.000 % |
250.68/250.86 c | 261992 | 5861 25047 76007 | 2147483647 260311 138 | 0.000 % |
251.57/251.76 c | 262486 | 5861 25047 76007 | 2147483647 260805 138 | 0.000 % |
252.47/252.68 c | 263028 | 5861 25047 76007 | 2147483647 261347 138 | 0.000 % |
253.67/253.82 c | 263625 | 5861 25047 76007 | 2147483647 261944 138 | 0.000 % |
254.67/254.88 c | 264280 | 5861 25047 76007 | 2147483647 262599 138 | 0.000 % |
255.88/256.08 c | 265000 | 5861 25047 76007 | 2147483647 263319 138 | 0.000 % |
257.28/257.47 c | 265793 | 5861 25047 76007 | 2147483647 264112 138 | 0.000 % |
258.77/258.95 c | 266664 | 5861 25047 76007 | 2147483647 264983 138 | 0.000 % |
260.37/260.54 c | 267622 | 5861 25047 76007 | 2147483647 265941 138 | 0.000 % |
262.07/262.29 c | 268675 | 5861 25047 76007 | 2147483647 266994 138 | 0.000 % |
263.97/264.10 c | 269833 | 5861 25047 76007 | 2147483647 268152 138 | 0.000 % |
265.97/266.18 c | 271109 | 5861 25047 76007 | 2147483647 269428 138 | 0.000 % |
268.37/268.59 c | 272511 | 5861 25047 76007 | 2147483647 270830 138 | 0.000 % |
271.07/271.22 c | 274051 | 5861 25047 76007 | 2147483647 272370 138 | 0.000 % |
273.96/274.14 c | 275747 | 5861 25047 76007 | 2147483647 274066 138 | 0.000 % |
277.17/277.35 c | 277611 | 5861 25047 76007 | 2147483647 275930 138 | 0.000 % |
280.56/280.76 c | 279660 | 5861 25047 76007 | 2147483647 277979 139 | 0.000 % |
284.46/284.61 c | 281914 | 5861 25047 76007 | 2147483647 280233 139 | 0.000 % |
288.66/288.82 c | 284392 | 5861 25047 76007 | 2147483647 282711 139 | 0.000 % |
293.16/293.36 c | 287117 | 5861 25047 76007 | 2147483647 285436 139 | 0.000 % |
293.36/293.59 c | 287217 | 5861 25047 76007 | 2147483647 285536 139 | 0.000 % |
293.65/293.84 c | 287328 | 5861 25047 76007 | 2147483647 285647 139 | 0.000 % |
293.95/294.10 c | 287450 | 5861 25047 76007 | 2147483647 285769 139 | 0.000 % |
294.15/294.39 c | 287583 | 5861 25047 76007 | 2147483647 285902 139 | 0.000 % |
294.57/294.75 c | 287729 | 5861 25047 76007 | 2147483647 286048 139 | 0.000 % |
294.96/295.13 c | 287892 | 5861 25047 76007 | 2147483647 286211 139 | 0.000 % |
295.36/295.55 c | 288068 | 5861 25047 76007 | 2147483647 286387 139 | 0.000 % |
295.77/295.99 c | 288263 | 5861 25047 76007 | 2147483647 286582 139 | 0.000 % |
296.26/296.43 c | 288475 | 5861 25047 76007 | 2147483647 286794 139 | 0.000 % |
296.77/296.94 c | 288710 | 5861 25047 76007 | 2147483647 287029 139 | 0.000 % |
297.26/297.45 c | 288967 | 5861 25047 76007 | 2147483647 287286 139 | 0.000 % |
297.76/298.00 c | 289248 | 5861 25047 76007 | 2147483647 287567 139 | 0.000 % |
298.46/298.67 c | 289558 | 5861 25047 76007 | 2147483647 287877 139 | 0.000 % |
299.26/299.43 c | 289899 | 5861 25047 76007 | 2147483647 288218 139 | 0.000 % |
300.06/300.23 c | 290271 | 5861 25047 76007 | 2147483647 288590 139 | 0.000 % |
300.86/301.05 c | 290681 | 5861 25047 76007 | 2147483647 289000 139 | 0.000 % |
301.76/301.94 c | 291132 | 5861 25047 76007 | 2147483647 289451 139 | 0.000 % |
302.76/302.91 c | 291625 | 5861 25047 76007 | 2147483647 289944 139 | 0.000 % |
303.65/303.84 c | 292169 | 5861 25047 76007 | 2147483647 290488 139 | 0.000 % |
304.66/304.88 c | 292765 | 5861 25047 76007 | 2147483647 291084 139 | 0.000 % |
305.86/306.03 c | 293420 | 5861 25047 76007 | 2147483647 291739 139 | 0.000 % |
307.16/307.33 c | 294140 | 5861 25047 76007 | 2147483647 292459 139 | 0.000 % |
308.55/308.73 c | 294933 | 5861 25047 76007 | 2147483647 293252 139 | 0.000 % |
310.26/310.40 c | 295804 | 5861 25047 76007 | 2147483647 294123 139 | 0.000 % |
312.05/312.20 c | 296763 | 5861 25047 76007 | 2147483647 295082 139 | 0.000 % |
313.85/314.07 c | 297816 | 5861 25047 76007 | 2147483647 296135 139 | 0.000 % |
316.05/316.28 c | 298974 | 5861 25047 76007 | 2147483647 297293 139 | 0.000 % |
318.25/318.40 c | 300247 | 5861 25047 76007 | 2147483647 298566 140 | 0.000 % |
320.65/320.88 c | 301649 | 5861 25047 76007 | 2147483647 299968 140 | 0.000 % |
323.45/323.61 c | 303189 | 5861 25047 76007 | 2147483647 301508 140 | 0.000 % |
326.65/326.87 c | 304884 | 5861 25047 76007 | 2147483647 303203 140 | 0.000 % |
330.14/330.35 c | 306749 | 5861 25047 76007 | 2147483647 305068 140 | 0.000 % |
333.95/334.19 c | 308800 | 5861 25047 76007 | 2147483647 307119 140 | 0.000 % |
338.25/338.44 c | 311053 | 5861 25047 76007 | 2147483647 309372 140 | 0.000 % |
343.05/343.29 c | 313531 | 5861 25047 76007 | 2147483647 311850 140 | 0.000 % |
348.55/348.73 c | 316256 | 5861 25047 76007 | 2147483647 314575 140 | 0.000 % |
353.95/354.16 c | 319253 | 5861 25047 76007 | 2147483647 317572 140 | 0.000 % |
354.24/354.42 c | 319354 | 5861 25047 76007 | 2147483647 317673 140 | 0.000 % |
354.54/354.70 c | 319464 | 5861 25047 76007 | 2147483647 317783 140 | 0.000 % |
354.84/355.03 c | 319585 | 5861 25047 76007 | 2147483647 317904 140 | 0.000 % |
355.15/355.39 c | 319718 | 5861 25047 76007 | 2147483647 318037 140 | 0.000 % |
355.54/355.74 c | 319865 | 5861 25047 76007 | 2147483647 318184 140 | 0.000 % |
355.94/356.14 c | 320026 | 5861 25047 76007 | 2147483647 318345 140 | 0.000 % |
356.44/356.67 c | 320205 | 5861 25047 76007 | 2147483647 318524 140 | 0.000 % |
356.94/357.19 c | 320398 | 5861 25047 76007 | 2147483647 318717 140 | 0.000 % |
357.54/357.70 c | 320610 | 5861 25047 76007 | 2147483647 318929 140 | 0.000 % |
358.04/358.24 c | 320843 | 5861 25047 76007 | 2147483647 319162 140 | 0.000 % |
358.64/358.82 c | 321100 | 5861 25047 76007 | 2147483647 319419 140 | 0.000 % |
359.24/359.40 c | 321383 | 5861 25047 76007 | 2147483647 319702 140 | 0.000 % |
359.93/360.14 c | 321692 | 5861 25047 76007 | 2147483647 320011 140 | 0.000 % |
360.74/360.93 c | 322031 | 5861 25047 76007 | 2147483647 320350 140 | 0.000 % |
361.54/361.76 c | 322403 | 5861 25047 76007 | 2147483647 320722 140 | 0.000 % |
362.44/362.70 c | 322813 | 5861 25047 76007 | 2147483647 321132 140 | 0.000 % |
363.44/363.66 c | 323262 | 5861 25047 76007 | 2147483647 321581 140 | 0.000 % |
364.54/364.75 c | 323758 | 5861 25047 76007 | 2147483647 322077 140 | 0.000 % |
365.54/365.78 c | 324304 | 5861 25047 76007 | 2147483647 322623 140 | 0.000 % |
366.83/367.02 c | 324902 | 5861 25047 76007 | 2147483647 323221 140 | 0.000 % |
368.25/368.44 c | 325559 | 5861 25047 76007 | 2147483647 323878 140 | 0.000 % |
369.74/369.98 c | 326280 | 5861 25047 76007 | 2147483647 324599 140 | 0.000 % |
371.44/371.62 c | 327075 | 5861 25047 76007 | 2147483647 325394 140 | 0.000 % |
373.34/373.59 c | 327947 | 5861 25047 76007 | 2147483647 326266 140 | 0.000 % |
375.43/375.64 c | 328905 | 5861 25047 76007 | 2147483647 327224 140 | 0.000 % |
377.53/377.79 c | 329958 | 5861 25047 76007 | 2147483647 328277 140 | 0.000 % |
380.44/380.61 c | 331117 | 5861 25047 76007 | 328321 291231 140 | 0.000 % |
382.74/382.93 c | 332390 | 5861 25047 76007 | 328321 292504 140 | 0.000 % |
385.24/385.47 c | 333790 | 5861 25047 76007 | 328321 293904 141 | 0.000 % |
388.04/388.21 c | 335331 | 5861 25047 76007 | 328321 295445 141 | 0.000 % |
390.83/391.03 c | 337028 | 5861 25047 76007 | 328321 297142 141 | 0.000 % |
394.23/394.40 c | 338894 | 5861 25047 76007 | 328321 299008 141 | 0.000 % |
397.83/398.05 c | 340943 | 5861 25047 76007 | 2147483647 301057 141 | 0.000 % |
401.83/402.08 c | 343202 | 5861 25047 76007 | 2147483647 303316 141 | 0.000 % |
406.13/406.35 c | 345680 | 5861 25047 76007 | 2147483647 305794 141 | 0.000 % |
411.13/411.31 c | 348405 | 5861 25047 76007 | 2147483647 308519 141 | 0.000 % |
416.23/416.43 c | 351405 | 5861 25047 76007 | 2147483647 311519 142 | 0.000 % |
422.23/422.48 c | 354703 | 5861 25047 76007 | 2147483647 314817 142 | 0.000 % |
422.52/422.72 c | 354803 | 5861 25047 76007 | 2147483647 314917 142 | 0.000 % |
422.72/422.98 c | 354915 | 5861 25047 76007 | 2147483647 315029 142 | 0.000 % |
423.02/423.29 c | 355036 | 5861 25047 76007 | 2147483647 315150 142 | 0.000 % |
423.42/423.64 c | 355169 | 5861 25047 76007 | 2147483647 315283 142 | 0.000 % |
423.82/424.02 c | 355318 | 5861 25047 76007 | 2147483647 315432 142 | 0.000 % |
424.22/424.42 c | 355480 | 5861 25047 76007 | 2147483647 315594 142 | 0.000 % |
424.62/424.85 c | 355656 | 5861 25047 76007 | 2147483647 315770 142 | 0.000 % |
425.02/425.29 c | 355851 | 5861 25047 76007 | 2147483647 315965 142 | 0.000 % |
425.53/425.72 c | 356064 | 5861 25047 76007 | 2147483647 316178 142 | 0.000 % |
426.12/426.38 c | 356297 | 5861 25047 76007 | 2147483647 316411 142 | 0.000 % |
426.72/426.90 c | 356555 | 5861 25047 76007 | 2147483647 316669 142 | 0.000 % |
427.32/427.56 c | 356836 | 5861 25047 76007 | 2147483647 316950 142 | 0.000 % |
428.02/428.20 c | 357146 | 5861 25047 76007 | 2147483647 317260 142 | 0.000 % |
428.62/428.89 c | 357485 | 5861 25047 76007 | 2147483647 317599 142 | 0.000 % |
429.62/429.82 c | 357857 | 5861 25047 76007 | 2147483647 317971 142 | 0.000 % |
430.52/430.71 c | 358268 | 5861 25047 76007 | 2147483647 318382 142 | 0.000 % |
431.42/431.68 c | 358720 | 5861 25047 76007 | 2147483647 318834 142 | 0.000 % |
432.52/432.73 c | 359213 | 5861 25047 76007 | 2147483647 319327 142 | 0.000 % |
433.62/433.83 c | 359755 | 5861 25047 76007 | 2147483647 319869 142 | 0.000 % |
434.82/435.02 c | 360352 | 5861 25047 76007 | 2147483647 320466 142 | 0.000 % |
436.12/436.34 c | 361010 | 5861 25047 76007 | 2147483647 321124 142 | 0.000 % |
437.71/437.90 c | 361730 | 5861 25047 76007 | 2147483647 321844 142 | 0.000 % |
439.21/439.46 c | 362522 | 5861 25047 76007 | 2147483647 322636 142 | 0.000 % |
441.21/441.40 c | 363393 | 5861 25047 76007 | 2147483647 323507 142 | 0.000 % |
443.12/443.33 c | 364351 | 5861 25047 76007 | 2147483647 324465 142 | 0.000 % |
445.22/445.47 c | 365407 | 5861 25047 76007 | 2147483647 325521 142 | 0.000 % |
447.51/447.78 c | 366566 | 5861 25047 76007 | 2147483647 326680 142 | 0.000 % |
450.31/450.52 c | 367839 | 5861 25047 76007 | 2147483647 327953 142 | 0.000 % |
453.11/453.33 c | 369241 | 5861 25047 76007 | 2147483647 329355 142 | 0.000 % |
456.32/456.51 c | 370783 | 5861 25047 76007 | 330115 330897 142 | 0.000 % |
459.71/459.97 c | 372480 | 5861 25047 76007 | 330115 296747 143 | 0.000 % |
463.21/463.43 c | 374344 | 5861 25047 76007 | 330115 298611 143 | 0.000 % |
466.81/467.04 c | 376396 | 5861 25047 76007 | 330115 300663 143 | 0.000 % |
470.61/470.86 c | 378649 | 5861 25047 76007 | 330115 302916 143 | 0.000 % |
475.21/475.41 c | 381127 | 5861 25047 76007 | 2147483647 305394 143 | 0.000 % |
480.01/480.27 c | 383854 | 5861 25047 76007 | 2147483647 308121 144 | 0.000 % |
485.40/485.66 c | 386851 | 5861 25047 76007 | 2147483647 311118 144 | 0.000 % |
491.60/491.81 c | 390148 | 5861 25047 76007 | 2147483647 314415 144 | 0.000 % |
498.10/498.31 c | 393774 | 5861 25047 76007 | 2147483647 318041 144 | 0.000 % |
498.30/498.52 c | 393876 | 5861 25047 76007 | 2147483647 318143 144 | 0.000 % |
498.50/498.78 c | 393987 | 5861 25047 76007 | 2147483647 318254 144 | 0.000 % |
498.80/499.09 c | 394108 | 5861 25047 76007 | 2147483647 318375 144 | 0.000 % |
499.20/499.44 c | 394241 | 5861 25047 76007 | 2147483647 318508 144 | 0.000 % |
499.50/499.78 c | 394387 | 5861 25047 76007 | 2147483647 318654 144 | 0.000 % |
499.90/500.18 c | 394547 | 5861 25047 76007 | 2147483647 318814 144 | 0.000 % |
500.40/500.63 c | 394726 | 5861 25047 76007 | 2147483647 318993 144 | 0.000 % |
500.80/501.09 c | 394921 | 5861 25047 76007 | 2147483647 319188 144 | 0.000 % |
501.40/501.62 c | 395135 | 5861 25047 76007 | 2147483647 319402 144 | 0.000 % |
501.90/502.13 c | 395368 | 5861 25047 76007 | 2147483647 319635 144 | 0.000 % |
502.40/502.68 c | 395624 | 5861 25047 76007 | 2147483647 319891 144 | 0.000 % |
503.00/503.29 c | 395906 | 5861 25047 76007 | 2147483647 320173 144 | 0.000 % |
503.70/503.94 c | 396216 | 5861 25047 76007 | 2147483647 320483 144 | 0.000 % |
504.40/504.64 c | 396556 | 5861 25047 76007 | 2147483647 320823 144 | 0.000 % |
505.30/505.53 c | 396928 | 5861 25047 76007 | 2147483647 321195 144 | 0.000 % |
506.10/506.40 c | 397339 | 5861 25047 76007 | 2147483647 321606 144 | 0.000 % |
507.10/507.32 c | 397789 | 5861 25047 76007 | 2147483647 322056 144 | 0.000 % |
508.19/508.43 c | 398282 | 5861 25047 76007 | 2147483647 322549 144 | 0.000 % |
509.39/509.61 c | 398825 | 5861 25047 76007 | 2147483647 323092 144 | 0.000 % |
510.59/510.84 c | 399421 | 5861 25047 76007 | 2147483647 323688 144 | 0.000 % |
511.99/512.25 c | 400076 | 5861 25047 76007 | 2147483647 324343 144 | 0.000 % |
513.50/513.73 c | 400796 | 5861 25047 76007 | 2147483647 325063 144 | 0.000 % |
515.19/515.50 c | 401588 | 5861 25047 76007 | 2147483647 325855 144 | 0.000 % |
517.09/517.32 c | 402459 | 5861 25047 76007 | 2147483647 326726 144 | 0.000 % |
519.09/519.31 c | 403417 | 5861 25047 76007 | 2147483647 327684 144 | 0.000 % |
521.28/521.53 c | 404471 | 5861 25047 76007 | 2147483647 328738 144 | 0.000 % |
523.58/523.88 c | 405629 | 5861 25047 76007 | 2147483647 329896 143 | 0.000 % |
526.08/526.36 c | 406902 | 5861 25047 76007 | 2147483647 331169 143 | 0.000 % |
528.89/529.11 c | 408304 | 5861 25047 76007 | 2147483647 332571 143 | 0.000 % |
532.08/532.34 c | 409847 | 5861 25047 76007 | 2147483647 334114 143 | 0.000 % |
535.78/536.04 c | 411545 | 5861 25047 76007 | 334268 299754 144 | 0.000 % |
539.28/539.60 c | 413408 | 5861 25047 76007 | 334268 301617 144 | 0.000 % |
543.19/543.43 c | 415458 | 5861 25047 76007 | 334268 303667 144 | 0.000 % |
547.28/547.58 c | 417713 | 5861 25047 76007 | 334268 305922 144 | 0.000 % |
551.68/551.97 c | 420192 | 5861 25047 76007 | 2147483647 308401 144 | 0.000 % |
557.07/557.38 c | 422917 | 5861 25047 76007 | 2147483647 311126 144 | 0.000 % |
562.57/562.84 c | 425915 | 5861 25047 76007 | 2147483647 314124 145 | 0.000 % |
568.57/568.85 c | 429211 | 5861 25047 76007 | 2147483647 317420 145 | 0.000 % |
575.27/575.55 c | 432837 | 5861 25047 76007 | 2147483647 321046 145 | 0.000 % |
582.87/583.15 c | 436824 | 5861 25047 76007 | 2147483647 325033 145 | 0.000 % |
583.17/583.41 c | 436924 | 5861 25047 76007 | 2147483647 325133 145 | 0.000 % |
583.37/583.69 c | 437034 | 5861 25047 76007 | 2147483647 325243 145 | 0.000 % |
583.67/584.00 c | 437155 | 5861 25047 76007 | 2147483647 325364 145 | 0.000 % |
584.07/584.31 c | 437291 | 5861 25047 76007 | 2147483647 325500 145 | 0.000 % |
584.37/584.65 c | 437439 | 5861 25047 76007 | 2147483647 325648 145 | 0.000 % |
584.77/585.03 c | 437600 | 5861 25047 76007 | 2147483647 325809 145 | 0.000 % |
585.17/585.43 c | 437776 | 5861 25047 76007 | 2147483647 325985 145 | 0.000 % |
585.67/585.94 c | 437969 | 5861 25047 76007 | 2147483647 326178 145 | 0.000 % |
586.16/586.41 c | 438182 | 5861 25047 76007 | 2147483647 326391 145 | 0.000 % |
586.76/587.00 c | 438416 | 5861 25047 76007 | 2147483647 326625 145 | 0.000 % |
587.26/587.60 c | 438672 | 5861 25047 76007 | 2147483647 326881 145 | 0.000 % |
587.97/588.21 c | 438954 | 5861 25047 76007 | 2147483647 327163 145 | 0.000 % |
588.57/588.88 c | 439263 | 5861 25047 76007 | 2147483647 327472 145 | 0.000 % |
589.37/589.66 c | 439602 | 5861 25047 76007 | 2147483647 327811 145 | 0.000 % |
590.16/590.48 c | 439974 | 5861 25047 76007 | 2147483647 328183 145 | 0.000 % |
591.16/591.44 c | 440383 | 5861 25047 76007 | 2147483647 328592 145 | 0.000 % |
592.16/592.44 c | 440834 | 5861 25047 76007 | 2147483647 329043 145 | 0.000 % |
593.26/593.55 c | 441327 | 5861 25047 76007 | 2147483647 329536 145 | 0.000 % |
594.36/594.67 c | 441869 | 5861 25047 76007 | 2147483647 330078 145 | 0.000 % |
595.76/596.00 c | 442466 | 5861 25047 76007 | 2147483647 330675 145 | 0.000 % |
597.16/597.41 c | 443121 | 5861 25047 76007 | 2147483647 331330 145 | 0.000 % |
598.76/599.01 c | 443842 | 5861 25047 76007 | 2147483647 332051 145 | 0.000 % |
600.36/600.61 c | 444634 | 5861 25047 76007 | 2147483647 332843 145 | 0.000 % |
602.16/602.46 c | 445507 | 5861 25047 76007 | 2147483647 333716 145 | 0.000 % |
604.36/604.64 c | 446465 | 5861 25047 76007 | 2147483647 334674 145 | 0.000 % |
606.56/606.86 c | 447518 | 5861 25047 76007 | 2147483647 335727 145 | 0.000 % |
609.06/609.39 c | 448677 | 5861 25047 76007 | 2147483647 336886 145 | 0.000 % |
611.65/611.97 c | 449950 | 5861 25047 76007 | 2147483647 338159 145 | 0.000 % |
614.85/615.16 c | 451350 | 5861 25047 76007 | 338209 300818 146 | 0.000 % |
617.86/618.10 c | 452890 | 5861 25047 76007 | 338209 302358 146 | 0.000 % |
621.05/621.30 c | 454584 | 5861 25047 76007 | 338209 304052 146 | 0.000 % |
624.65/624.93 c | 456448 | 5861 25047 76007 | 338209 305916 146 | 0.000 % |
628.55/628.88 c | 458497 | 5861 25047 76007 | 338209 307965 146 | 0.000 % |
632.65/632.95 c | 460753 | 5861 25047 76007 | 2147483647 310221 146 | 0.000 % |
637.14/637.48 c | 463231 | 5861 25047 76007 | 2147483647 312699 146 | 0.000 % |
642.54/642.81 c | 465956 | 5861 25047 76007 | 2147483647 315424 146 | 0.000 % |
648.24/648.52 c | 468955 | 5861 25047 76007 | 2147483647 318423 146 | 0.000 % |
654.24/654.55 c | 472251 | 5861 25047 76007 | 2147483647 321719 146 | 0.000 % |
661.34/661.64 c | 475877 | 5861 25047 76007 | 2147483647 325345 147 | 0.000 % |
668.94/669.26 c | 479864 | 5861 25047 76007 | 2147483647 329332 147 | 0.000 % |
677.54/677.86 c | 484250 | 5861 25047 76007 | 2147483647 333718 147 | 0.000 % |
677.74/678.08 c | 484350 | 5861 25047 76007 | 2147483647 333818 147 | 0.000 % |
678.04/678.37 c | 484462 | 5861 25047 76007 | 2147483647 333930 147 | 0.000 % |
678.34/678.68 c | 484583 | 5861 25047 76007 | 2147483647 334051 147 | 0.000 % |
678.74/679.07 c | 484716 | 5861 25047 76007 | 2147483647 334184 147 | 0.000 % |
679.14/679.45 c | 484862 | 5861 25047 76007 | 2147483647 334330 147 | 0.000 % |
679.54/679.84 c | 485022 | 5861 25047 76007 | 2147483647 334490 147 | 0.000 % |
680.04/680.35 c | 485199 | 5861 25047 76007 | 2147483647 334667 147 | 0.000 % |
680.54/680.83 c | 485392 | 5861 25047 76007 | 2147483647 334860 147 | 0.000 % |
681.04/681.31 c | 485605 | 5861 25047 76007 | 2147483647 335073 147 | 0.000 % |
681.54/681.85 c | 485838 | 5861 25047 76007 | 2147483647 335306 147 | 0.000 % |
682.14/682.47 c | 486095 | 5861 25047 76007 | 2147483647 335563 147 | 0.000 % |
682.94/683.21 c | 486378 | 5861 25047 76007 | 2147483647 335846 147 | 0.000 % |
683.64/683.96 c | 486687 | 5861 25047 76007 | 2147483647 336155 147 | 0.000 % |
684.43/684.76 c | 487026 | 5861 25047 76007 | 2147483647 336494 147 | 0.000 % |
685.43/685.70 c | 487398 | 5861 25047 76007 | 2147483647 336866 147 | 0.000 % |
686.23/686.57 c | 487807 | 5861 25047 76007 | 2147483647 337275 147 | 0.000 % |
687.23/687.59 c | 488256 | 5861 25047 76007 | 2147483647 337724 146 | 0.000 % |
688.33/688.69 c | 488749 | 5861 25047 76007 | 2147483647 338217 146 | 0.000 % |
689.53/689.89 c | 489291 | 5861 25047 76007 | 2147483647 338759 146 | 0.000 % |
690.83/691.19 c | 489887 | 5861 25047 76007 | 2147483647 339355 146 | 0.000 % |
692.23/692.55 c | 490543 | 5861 25047 76007 | 339468 340011 146 | 0.000 % |
694.13/694.48 c | 491263 | 5861 25047 76007 | 339468 299946 147 | 0.000 % |
695.63/695.98 c | 492055 | 5861 25047 76007 | 339468 300738 147 | 0.000 % |
697.53/697.82 c | 492926 | 5861 25047 76007 | 339468 301609 147 | 0.000 % |
699.43/699.73 c | 493885 | 5861 25047 76007 | 339468 302568 147 | 0.000 % |
701.43/701.77 c | 494939 | 5861 25047 76007 | 339468 303622 147 | 0.000 % |
703.73/704.04 c | 496097 | 5861 25047 76007 | 339468 304780 147 | 0.000 % |
706.32/706.66 c | 497370 | 5861 25047 76007 | 339468 306053 147 | 0.000 % |
709.02/709.39 c | 498770 | 5861 25047 76007 | 339468 307453 147 | 0.000 % |
712.12/712.49 c | 500310 | 5861 25047 76007 | 308683 308993 147 | 0.000 % |
715.62/715.95 c | 502006 | 5861 25047 76007 | 308683 279790 147 | 0.000 % |
718.92/719.24 c | 503870 | 5861 25047 76007 | 308683 281654 147 | 0.000 % |
722.52/722.80 c | 505919 | 5861 25047 76007 | 308683 283703 147 | 0.000 % |
726.32/726.68 c | 508172 | 5861 25047 76007 | 308683 285956 147 | 0.000 % |
730.72/731.00 c | 510650 | 5861 25047 76007 | 2147483647 288434 148 | 0.000 % |
735.52/735.89 c | 513375 | 5861 25047 76007 | 2147483647 291159 148 | 0.000 % |
740.91/741.26 c | 516372 | 5861 25047 76007 | 2147483647 294156 148 | 0.000 % |
747.02/747.31 c | 519670 | 5861 25047 76007 | 2147483647 297454 148 | 0.000 % |
753.22/753.58 c | 523296 | 5861 25047 76007 | 2147483647 301080 148 | 0.000 % |
760.82/761.10 c | 527284 | 5861 25047 76007 | 2147483647 305068 149 | 0.000 % |
768.62/768.95 c | 531669 | 5861 25047 76007 | 2147483647 309453 149 | 0.000 % |
777.61/777.96 c | 536493 | 5861 25047 76007 | 2147483647 314277 149 | 0.000 % |
777.91/778.22 c | 536595 | 5861 25047 76007 | 2147483647 314379 149 | 0.000 % |
778.21/778.51 c | 536707 | 5861 25047 76007 | 2147483647 314491 149 | 0.000 % |
778.42/778.77 c | 536828 | 5861 25047 76007 | 2147483647 314612 149 | 0.000 % |
778.81/779.12 c | 536961 | 5861 25047 76007 | 2147483647 314745 149 | 0.000 % |
779.21/779.50 c | 537107 | 5861 25047 76007 | 2147483647 314891 149 | 0.000 % |
779.51/779.87 c | 537270 | 5861 25047 76007 | 2147483647 315054 149 | 0.000 % |
779.91/780.29 c | 537447 | 5861 25047 76007 | 2147483647 315231 149 | 0.000 % |
780.41/780.75 c | 537640 | 5861 25047 76007 | 2147483647 315424 149 | 0.000 % |
780.91/781.23 c | 537852 | 5861 25047 76007 | 2147483647 315636 149 | 0.000 % |
781.41/781.76 c | 538085 | 5861 25047 76007 | 2147483647 315869 149 | 0.000 % |
782.01/782.38 c | 538341 | 5861 25047 76007 | 2147483647 316125 149 | 0.000 % |
782.61/782.96 c | 538622 | 5861 25047 76007 | 2147483647 316406 149 | 0.000 % |
783.31/783.63 c | 538931 | 5861 25047 76007 | 2147483647 316715 149 | 0.000 % |
784.01/784.31 c | 539271 | 5861 25047 76007 | 2147483647 317055 149 | 0.000 % |
784.71/785.03 c | 539644 | 5861 25047 76007 | 2147483647 317428 149 | 0.000 % |
785.61/785.94 c | 540055 | 5861 25047 76007 | 2147483647 317839 149 | 0.000 % |
786.71/787.05 c | 540504 | 5861 25047 76007 | 2147483647 318288 149 | 0.000 % |
787.91/788.26 c | 540998 | 5861 25047 76007 | 2147483647 318782 148 | 0.000 % |
789.01/789.33 c | 541541 | 5861 25047 76007 | 2147483647 319325 148 | 0.000 % |
790.41/790.73 c | 542137 | 5861 25047 76007 | 2147483647 319921 148 | 0.000 % |
791.81/792.17 c | 542795 | 5861 25047 76007 | 2147483647 320579 148 | 0.000 % |
793.31/793.62 c | 543515 | 5861 25047 76007 | 2147483647 321299 149 | 0.000 % |
795.10/795.42 c | 544309 | 5861 25047 76007 | 2147483647 322093 148 | 0.000 % |
796.80/797.18 c | 545181 | 5861 25047 76007 | 2147483647 322965 149 | 0.000 % |
798.80/799.15 c | 546142 | 5861 25047 76007 | 2147483647 323926 149 | 0.000 % |
800.90/801.26 c | 547195 | 5861 25047 76007 | 2147483647 324979 149 | 0.000 % |
803.20/803.55 c | 548353 | 5861 25047 76007 | 2147483647 326137 149 | 0.000 % |
805.60/805.99 c | 549627 | 5861 25047 76007 | 2147483647 327411 149 | 0.000 % |
808.70/809.02 c | 551027 | 5861 25047 76007 | 327785 295933 148 | 0.000 % |
811.70/812.09 c | 552567 | 5861 25047 76007 | 327785 297473 148 | 0.000 % |
815.10/815.43 c | 554261 | 5861 25047 76007 | 327785 299167 148 | 0.000 % |
818.80/819.12 c | 556124 | 5861 25047 76007 | 327785 301030 148 | 0.000 % |
822.40/822.78 c | 558173 | 5861 25047 76007 | 327785 303079 148 | 0.000 % |
826.29/826.67 c | 560426 | 5861 25047 76007 | 2147483647 305332 149 | 0.000 % |
830.89/831.20 c | 562904 | 5861 25047 76007 | 2147483647 307810 149 | 0.000 % |
835.89/836.25 c | 565633 | 5861 25047 76007 | 2147483647 310539 149 | 0.000 % |
841.69/842.05 c | 568630 | 5861 25047 76007 | 2147483647 313536 149 | 0.000 % |
847.69/848.09 c | 571926 | 5861 25047 76007 | 2147483647 316832 149 | 0.000 % |
854.39/854.70 c | 575551 | 5861 25047 76007 | 2147483647 320457 149 | 0.000 % |
861.99/862.38 c | 579539 | 5861 25047 76007 | 2147483647 324445 149 | 0.000 % |
870.48/870.83 c | 583927 | 5861 25047 76007 | 2147483647 328833 149 | 0.000 % |
880.07/880.41 c | 588751 | 5861 25047 76007 | 2147483647 333657 150 | 0.000 % |
890.17/890.58 c | 594056 | 5861 25047 76007 | 2147483647 338962 150 | 0.000 % |
890.47/890.90 c | 594157 | 5861 25047 76007 | 2147483647 339063 150 | 0.000 % |
890.87/891.21 c | 594267 | 5861 25047 76007 | 2147483647 339173 150 | 0.000 % |
891.17/891.55 c | 594388 | 5861 25047 76007 | 2147483647 339294 150 | 0.000 % |
891.57/891.96 c | 594522 | 5861 25047 76007 | 2147483647 339428 150 | 0.000 % |
891.97/892.39 c | 594668 | 5861 25047 76007 | 2147483647 339574 150 | 0.000 % |
892.47/892.82 c | 594829 | 5861 25047 76007 | 2147483647 339735 150 | 0.000 % |
892.87/893.25 c | 595006 | 5861 25047 76007 | 2147483647 339912 150 | 0.000 % |
893.37/893.80 c | 595199 | 5861 25047 76007 | 2147483647 340105 150 | 0.000 % |
893.97/894.31 c | 595411 | 5861 25047 76007 | 2147483647 340317 150 | 0.000 % |
894.47/894.86 c | 595644 | 5861 25047 76007 | 2147483647 340550 150 | 0.000 % |
895.17/895.50 c | 595900 | 5861 25047 76007 | 2147483647 340806 150 | 0.000 % |
895.87/896.21 c | 596181 | 5861 25047 76007 | 2147483647 341087 150 | 0.000 % |
896.57/897.00 c | 596490 | 5861 25047 76007 | 2147483647 341396 150 | 0.000 % |
897.47/897.82 c | 596829 | 5861 25047 76007 | 2147483647 341735 150 | 0.000 % |
898.38/898.71 c | 597201 | 5861 25047 76007 | 2147483647 342107 150 | 0.000 % |
899.27/899.70 c | 597610 | 5861 25047 76007 | 2147483647 342516 150 | 0.000 % |
900.48/900.82 c | 598060 | 5861 25047 76007 | 2147483647 342966 150 | 0.000 % |
901.77/902.13 c | 598554 | 5861 25047 76007 | 2147483647 343460 150 | 0.000 % |
903.07/903.45 c | 599096 | 5861 25047 76007 | 2147483647 344002 150 | 0.000 % |
904.37/904.75 c | 599693 | 5861 25047 76007 | 2147483647 344599 150 | 0.000 % |
905.77/906.18 c | 600348 | 5861 25047 76007 | 344907 345254 150 | 0.000 % |
907.67/908.01 c | 601068 | 5861 25047 76007 | 344907 300420 150 | 0.000 % |
909.27/909.65 c | 601860 | 5861 25047 76007 | 344907 301212 150 | 0.000 % |
911.06/911.49 c | 602733 | 5861 25047 76007 | 344907 302085 150 | 0.000 % |
913.16/913.56 c | 603691 | 5861 25047 76007 | 344907 303043 150 | 0.000 % |
915.36/915.74 c | 604746 | 5861 25047 76007 | 344907 304098 150 | 0.000 % |
917.46/917.89 c | 605904 | 5861 25047 76007 | 344907 305256 150 | 0.000 % |
919.96/920.33 c | 607177 | 5861 25047 76007 | 344907 306529 150 | 0.000 % |
922.56/922.97 c | 608577 | 5861 25047 76007 | 344907 307929 150 | 0.000 % |
925.56/925.91 c | 610118 | 5861 25047 76007 | 309352 309470 150 | 0.000 % |
928.96/929.40 c | 611814 | 5861 25047 76007 | 309352 279989 151 | 0.000 % |
931.96/932.37 c | 613677 | 5861 25047 76007 | 309352 281852 151 | 0.000 % |
935.55/935.99 c | 615728 | 5861 25047 76007 | 309352 283903 151 | 0.000 % |
939.66/940.00 c | 617981 | 5861 25047 76007 | 309352 286156 151 | 0.000 % |
944.15/944.59 c | 620462 | 5861 25047 76007 | 2147483647 288637 151 | 0.000 % |
949.35/949.70 c | 623187 | 5861 25047 76007 | 2147483647 291362 151 | 0.000 % |
954.65/955.09 c | 626185 | 5861 25047 76007 | 2147483647 294360 151 | 0.000 % |
960.15/960.59 c | 629482 | 5861 25047 76007 | 2147483647 297657 151 | 0.000 % |
966.65/967.05 c | 633107 | 5861 25047 76007 | 2147483647 301282 151 | 0.000 % |
974.15/974.51 c | 637096 | 5861 25047 76007 | 2147483647 305271 152 | 0.000 % |
982.04/982.47 c | 641481 | 5861 25047 76007 | 2147483647 309656 152 | 0.000 % |
991.24/991.68 c | 646306 | 5861 25047 76007 | 2147483647 314481 152 | 0.000 % |
1001.13/1001.58 c | 651611 | 5861 25047 76007 | 2147483647 319786 152 | 0.000 % |
1012.64/1013.10 c | 657446 | 5861 25047 76007 | 2147483647 325621 153 | 0.000 % |
1012.93/1013.33 c | 657546 | 5861 25047 76007 | 2147483647 325721 153 | 0.000 % |
1013.23/1013.67 c | 657657 | 5861 25047 76007 | 2147483647 325832 153 | 0.000 % |
1013.63/1014.01 c | 657778 | 5861 25047 76007 | 2147483647 325953 153 | 0.000 % |
1013.93/1014.31 c | 657913 | 5861 25047 76007 | 2147483647 326088 153 | 0.000 % |
1014.33/1014.73 c | 658061 | 5861 25047 76007 | 2147483647 326236 153 | 0.000 % |
1014.73/1015.18 c | 658223 | 5861 25047 76007 | 2147483647 326398 153 | 0.000 % |
1015.23/1015.63 c | 658401 | 5861 25047 76007 | 2147483647 326576 153 | 0.000 % |
1015.73/1016.13 c | 658594 | 5861 25047 76007 | 2147483647 326769 153 | 0.000 % |
1016.23/1016.68 c | 658808 | 5861 25047 76007 | 2147483647 326983 153 | 0.000 % |
1016.83/1017.25 c | 659041 | 5861 25047 76007 | 2147483647 327216 153 | 0.000 % |
1017.53/1017.91 c | 659299 | 5861 25047 76007 | 2147483647 327474 153 | 0.000 % |
1018.13/1018.58 c | 659580 | 5861 25047 76007 | 2147483647 327755 153 | 0.000 % |
1018.93/1019.34 c | 659889 | 5861 25047 76007 | 2147483647 328064 153 | 0.000 % |
1019.63/1020.08 c | 660228 | 5861 25047 76007 | 2147483647 328403 153 | 0.000 % |
1020.53/1020.96 c | 660602 | 5861 25047 76007 | 2147483647 328777 152 | 0.000 % |
1021.43/1021.86 c | 661012 | 5861 25047 76007 | 2147483647 329187 152 | 0.000 % |
1022.53/1022.93 c | 661462 | 5861 25047 76007 | 2147483647 329637 152 | 0.000 % |
1023.63/1024.06 c | 661956 | 5861 25047 76007 | 2147483647 330131 152 | 0.000 % |
1024.73/1025.14 c | 662498 | 5861 25047 76007 | 2147483647 330673 152 | 0.000 % |
1026.12/1026.50 c | 663094 | 5861 25047 76007 | 2147483647 331269 152 | 0.000 % |
1027.52/1027.96 c | 663749 | 5861 25047 76007 | 2147483647 331924 152 | 0.000 % |
1029.23/1029.65 c | 664469 | 5861 25047 76007 | 2147483647 332644 152 | 0.000 % |
1031.02/1031.41 c | 665261 | 5861 25047 76007 | 2147483647 333436 152 | 0.000 % |
1032.92/1033.31 c | 666133 | 5861 25047 76007 | 2147483647 334308 152 | 0.000 % |
1034.92/1035.35 c | 667091 | 5861 25047 76007 | 2147483647 335266 152 | 0.000 % |
1037.32/1037.72 c | 668146 | 5861 25047 76007 | 2147483647 336321 152 | 0.000 % |
1039.92/1040.38 c | 669305 | 5861 25047 76007 | 2147483647 337480 152 | 0.000 % |
1042.62/1043.08 c | 670578 | 5861 25047 76007 | 338176 338753 152 | 0.000 % |
1046.02/1046.43 c | 671979 | 5861 25047 76007 | 338176 297450 152 | 0.000 % |
1048.93/1049.38 c | 673519 | 5861 25047 76007 | 338176 298990 152 | 0.000 % |
1052.32/1052.71 c | 675215 | 5861 25047 76007 | 338176 300686 152 | 0.000 % |
1055.92/1056.32 c | 677078 | 5861 25047 76007 | 338176 302549 152 | 0.000 % |
1059.82/1060.29 c | 679128 | 5861 25047 76007 | 338176 304599 152 | 0.000 % |
1064.12/1064.56 c | 681383 | 5861 25047 76007 | 2147483647 306854 152 | 0.000 % |
1068.51/1068.99 c | 683863 | 5861 25047 76007 | 2147483647 309334 152 | 0.000 % |
1073.41/1073.81 c | 686590 | 5861 25047 76007 | 2147483647 312061 152 | 0.000 % |
1079.31/1079.72 c | 689587 | 5861 25047 76007 | 2147483647 315058 152 | 0.000 % |
1085.71/1086.15 c | 692883 | 5861 25047 76007 | 2147483647 318354 152 | 0.000 % |
1092.51/1092.93 c | 696508 | 5861 25047 76007 | 2147483647 321979 152 | 0.000 % |
1100.30/1100.73 c | 700498 | 5861 25047 76007 | 2147483647 325969 153 | 0.000 % |
1108.60/1109.06 c | 704883 | 5861 25047 76007 | 2147483647 330354 153 | 0.000 % |
1117.60/1118.07 c | 709706 | 5861 25047 76007 | 2147483647 335177 153 | 0.000 % |
1127.49/1127.91 c | 715012 | 5861 25047 76007 | 2147483647 340483 154 | 0.000 % |
1139.69/1140.17 c | 720847 | 5861 25047 76007 | 345473 346318 154 | 0.000 % |
1152.18/1152.63 c | 727265 | 5861 25047 76007 | 345473 316901 155 | 0.000 % |
1152.39/1152.83 c | 727368 | 5861 25047 76007 | 345473 317004 155 | 0.000 % |
1152.69/1153.12 c | 727479 | 5861 25047 76007 | 345473 317115 155 | 0.000 % |
1152.99/1153.46 c | 727601 | 5861 25047 76007 | 345473 317237 155 | 0.000 % |
1153.28/1153.79 c | 727734 | 5861 25047 76007 | 345473 317370 155 | 0.000 % |
1153.68/1154.17 c | 727880 | 5861 25047 76007 | 345473 317516 155 | 0.000 % |
1154.08/1154.59 c | 728041 | 5861 25047 76007 | 345473 317677 155 | 0.000 % |
1154.59/1155.03 c | 728218 | 5861 25047 76007 | 345473 317854 155 | 0.000 % |
1155.08/1155.52 c | 728412 | 5861 25047 76007 | 345473 318048 155 | 0.000 % |
1155.59/1156.06 c | 728624 | 5861 25047 76007 | 345473 318260 155 | 0.000 % |
1156.18/1156.63 c | 728858 | 5861 25047 76007 | 345473 318494 155 | 0.000 % |
1156.79/1157.23 c | 729114 | 5861 25047 76007 | 345473 318750 155 | 0.000 % |
1157.38/1157.85 c | 729398 | 5861 25047 76007 | 345473 319034 155 | 0.000 % |
1158.18/1158.60 c | 729707 | 5861 25047 76007 | 345473 319343 155 | 0.000 % |
1158.98/1159.42 c | 730046 | 5861 25047 76007 | 2147483647 319682 155 | 0.000 % |
1159.78/1160.27 c | 730418 | 5861 25047 76007 | 2147483647 320054 155 | 0.000 % |
1160.78/1161.21 c | 730827 | 5861 25047 76007 | 2147483647 320463 155 | 0.000 % |
1161.78/1162.23 c | 731277 | 5861 25047 76007 | 2147483647 320913 155 | 0.000 % |
1162.78/1163.29 c | 731771 | 5861 25047 76007 | 2147483647 321407 154 | 0.000 % |
1163.98/1164.47 c | 732313 | 5861 25047 76007 | 2147483647 321949 154 | 0.000 % |
1165.38/1165.86 c | 732911 | 5861 25047 76007 | 2147483647 322547 154 | 0.000 % |
1166.88/1167.31 c | 733566 | 5861 25047 76007 | 2147483647 323202 154 | 0.000 % |
1168.37/1168.87 c | 734286 | 5861 25047 76007 | 2147483647 323922 154 | 0.000 % |
1170.18/1170.64 c | 735078 | 5861 25047 76007 | 2147483647 324714 154 | 0.000 % |
1172.18/1172.62 c | 735949 | 5861 25047 76007 | 2147483647 325585 154 | 0.000 % |
1174.07/1174.57 c | 736908 | 5861 25047 76007 | 2147483647 326544 154 | 0.000 % |
1176.48/1176.96 c | 737961 | 5861 25047 76007 | 2147483647 327597 154 | 0.000 % |
1178.68/1179.19 c | 739119 | 5861 25047 76007 | 2147483647 328755 154 | 0.000 % |
1181.27/1181.70 c | 740392 | 5861 25047 76007 | 329637 330028 154 | 0.000 % |
1184.37/1184.81 c | 741793 | 5861 25047 76007 | 329637 294431 154 | 0.000 % |
1187.17/1187.63 c | 743333 | 5861 25047 76007 | 329637 295971 154 | 0.000 % |
1190.27/1190.79 c | 745027 | 5861 25047 76007 | 329637 297665 154 | 0.000 % |
1193.86/1194.30 c | 746892 | 5861 25047 76007 | 329637 299530 154 | 0.000 % |
1197.76/1198.27 c | 748941 | 5861 25047 76007 | 329637 301579 154 | 0.000 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1832711-1242786630/watcher-1832711-1242786630 -o /tmp/evaluation-result-1832711-1242786630/solver-1832711-1242786630 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832711-1242786630.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 14869
/proc/meminfo: memFree=1892112/2055920 swapFree=4179112/4192956
[pid=14869] ppid=14867 vsize=5356 CPUtime=0
/proc/14869/stat : 14869 (SatELiteGTI) S 14867 14869 14163 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 306695935 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14869/statm: 1339 237 197 169 0 50 0
[pid=14873] ppid=14869 vsize=1872 CPUtime=0
/proc/14873/stat : 14873 (SatELite_releas) R 14869 14869 14163 0 -1 4194304 293 0 0 0 0 0 0 0 18 0 1 0 306695936 1916928 279 1992294400 134512640 135223648 4294956128 18446744073709551615 134719062 0 0 4096 3 0 0 0 17 1 0 0
/proc/14873/statm: 468 280 49 173 0 293 0
[startup+0.024717 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 14869
/proc/meminfo: memFree=1892112/2055920 swapFree=4179112/4192956
[pid=14869] ppid=14867 vsize=5356 CPUtime=0
/proc/14869/stat : 14869 (SatELiteGTI) S 14867 14869 14163 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 306695935 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14869/statm: 1339 237 197 169 0 50 0
[pid=14873] ppid=14869 vsize=3128 CPUtime=0.01
/proc/14873/stat : 14873 (SatELite_releas) R 14869 14869 14163 0 -1 4194304 610 0 0 0 1 0 0 0 18 0 1 0 306695936 3203072 596 1992294400 134512640 135223648 4294956128 18446744073709551615 134737310 0 0 4096 3 0 0 0 17 1 0 0
/proc/14873/statm: 782 596 49 173 0 607 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 8484
[startup+0.101723 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 14869
/proc/meminfo: memFree=1892112/2055920 swapFree=4179112/4192956
[pid=14869] ppid=14867 vsize=5356 CPUtime=0
/proc/14869/stat : 14869 (SatELiteGTI) S 14867 14869 14163 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 306695935 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14869/statm: 1339 237 197 169 0 50 0
[pid=14873] ppid=14869 vsize=3916 CPUtime=0.09
/proc/14873/stat : 14873 (SatELite_releas) R 14869 14869 14163 0 -1 4194304 900 0 0 0 8 1 0 0 18 0 1 0 306695936 4009984 819 1992294400 134512640 135223648 4294956128 18446744073709551615 134737406 0 0 4096 3 0 0 0 17 1 0 0
/proc/14873/statm: 979 819 78 173 0 804 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9272
[startup+0.301752 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 14869
/proc/meminfo: memFree=1892112/2055920 swapFree=4179112/4192956
[pid=14869] ppid=14867 vsize=5356 CPUtime=0.1
/proc/14869/stat : 14869 (SatELiteGTI) S 14867 14869 14163 0 -1 4194304 336 1151 0 0 0 0 9 1 15 0 1 0 306695935 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14869/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 5356
[startup+0.701793 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 14869
/proc/meminfo: memFree=1892112/2055920 swapFree=4179112/4192956
[pid=14869] ppid=14867 vsize=5356 CPUtime=0.1
/proc/14869/stat : 14869 (SatELiteGTI) S 14867 14869 14163 0 -1 4194304 336 1151 0 0 0 0 9 1 15 0 1 0 306695935 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14869/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 5356
[startup+1.50187 s]
/proc/loadavg: 0.92 0.98 0.99 2/66 14875
/proc/meminfo: memFree=1886848/2055920 swapFree=4179112/4192956
[pid=14869] ppid=14867 vsize=5356 CPUtime=0.1
/proc/14869/stat : 14869 (SatELiteGTI) S 14867 14869 14163 0 -1 4194304 336 1151 0 0 0 0 9 1 15 0 1 0 306695935 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14869/statm: 1339 239 197 169 0 50 0
[pid=14875] ppid=14869 vsize=7000 CPUtime=1.37
/proc/14875/stat : 14875 (minisat_static) R 14869 14869 14163 0 -1 4194304 1489 0 0 0 137 0 0 0 25 0 1 0 306695947 7168000 1475 1992294400 134512640 135215339 4294956240 18446744073709551615 134528903 0 0 4096 3 0 0 0 17 1 0 0
/proc/14875/statm: 1750 1475 77 171 0 1577 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 12356
[startup+3.10103 s]
/proc/loadavg: 0.92 0.98 0.99 2/66 14875
/proc/meminfo: memFree=1884736/2055920 swapFree=4179112/4192956
[pid=14869] ppid=14867 vsize=5356 CPUtime=0.1
/proc/14869/stat : 14869 (SatELiteGTI) S 14867 14869 14163 0 -1 4194304 336 1151 0 0 0 0 9 1 15 0 1 0 306695935 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14869/statm: 1339 239 197 169 0 50 0
[pid=14875] ppid=14869 vsize=9640 CPUtime=2.97
/proc/14875/stat : 14875 (minisat_static) R 14869 14869 14163 0 -1 4194304 2159 0 0 0 296 1 0 0 25 0 1 0 306695947 9871360 2145 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 1 0 0
/proc/14875/statm: 2410 2145 77 171 0 2237 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 14996
[startup+6.30235 s]
/proc/loadavg: 0.93 0.98 0.99 2/66 14875
/proc/meminfo: memFree=1878528/2055920 swapFree=4179112/4192956
[pid=14869] ppid=14867 vsize=5356 CPUtime=0.1
/proc/14869/stat : 14869 (SatELiteGTI) S 14867 14869 14163 0 -1 4194304 336 1151 0 0 0 0 9 1 15 0 1 0 306695935 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14869/statm: 1339 239 197 169 0 50 0
[pid=14875] ppid=14869 vsize=15356 CPUtime=6.17
/proc/14875/stat : 14875 (minisat_static) R 14869 14869 14163 0 -1 4194304 3600 0 0 0 615 2 0 0 25 0 1 0 306695947 15724544 3586 1992294400 134512640 135215339 4294956240 18446744073709551615 134538130 0 0 4096 3 0 0 0 17 1 0 0
/proc/14875/statm: 3839 3586 77 171 0 3666 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 20712
[startup+12.702 s]
/proc/loadavg: 0.93 0.98 0.99 2/66 14875
/proc/meminfo: memFree=1868800/2055920 swapFree=4179112/4192956
[pid=14869] ppid=14867 vsize=5356 CPUtime=0.1
/proc/14869/stat : 14869 (SatELiteGTI) S 14867 14869 14163 0 -1 4194304 336 1151 0 0 0 0 9 1 15 0 1 0 306695935 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14869/statm: 1339 239 197 169 0 50 0
[pid=14875] ppid=14869 vsize=24364 CPUtime=12.57
/proc/14875/stat : 14875 (minisat_static) R 14869 14869 14163 0 -1 4194304 5825 0 0 0 1253 4 0 0 25 0 1 0 306695947 24948736 5811 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/14875/statm: 6091 5811 77 171 0 5918 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 29720
[startup+25.5013 s]
/proc/loadavg: 0.95 0.98 0.99 2/66 14875
/proc/meminfo: memFree=1854464/2055920 swapFree=4179112/4192956
[pid=14869] ppid=14867 vsize=5356 CPUtime=0.1
/proc/14869/stat : 14869 (SatELiteGTI) S 14867 14869 14163 0 -1 4194304 336 1151 0 0 0 0 9 1 15 0 1 0 306695935 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14869/statm: 1339 239 197 169 0 50 0
[pid=14875] ppid=14869 vsize=38160 CPUtime=25.37
/proc/14875/stat : 14875 (minisat_static) R 14869 14869 14163 0 -1 4194304 9265 0 0 0 2528 9 0 0 25 0 1 0 306695947 39075840 9251 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/14875/statm: 9540 9251 77 171 0 9367 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 43516
[startup+51.1019 s]
/proc/loadavg: 0.96 0.98 0.99 2/66 14875
/proc/meminfo: memFree=1833792/2055920 swapFree=4179112/4192956
[pid=14869] ppid=14867 vsize=5356 CPUtime=0.1
/proc/14869/stat : 14869 (SatELiteGTI) S 14867 14869 14163 0 -1 4194304 336 1151 0 0 0 0 9 1 15 0 1 0 306695935 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14869/statm: 1339 239 197 169 0 50 0
[pid=14875] ppid=14869 vsize=59064 CPUtime=50.95
/proc/14875/stat : 14875 (minisat_static) R 14869 14869 14163 0 -1 4194304 14488 0 0 0 5081 14 0 0 25 0 1 0 306695947 60481536 14474 1992294400 134512640 135215339 4294956240 18446744073709551615 134528806 0 0 4096 3 0 0 0 17 1 0 0
/proc/14875/statm: 14766 14474 77 171 0 14593 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 64420
[startup+102.305 s]
/proc/loadavg: 0.98 0.98 0.99 2/66 14875
/proc/meminfo: memFree=1802496/2055920 swapFree=4179112/4192956
[pid=14869] ppid=14867 vsize=5356 CPUtime=0.1
/proc/14869/stat : 14869 (SatELiteGTI) S 14867 14869 14163 0 -1 4194304 336 1151 0 0 0 0 9 1 15 0 1 0 306695935 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14869/statm: 1339 239 197 169 0 50 0
[pid=14875] ppid=14869 vsize=89956 CPUtime=102.13
/proc/14875/stat : 14875 (minisat_static) R 14869 14869 14163 0 -1 4194304 22185 0 0 0 10189 24 0 0 25 0 1 0 306695947 92114944 22171 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/14875/statm: 22489 22171 77 171 0 22316 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 95312
[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 14875
/proc/meminfo: memFree=1773056/2055920 swapFree=4179112/4192956
[pid=14869] ppid=14867 vsize=5356 CPUtime=0.1
/proc/14869/stat : 14869 (SatELiteGTI) S 14867 14869 14163 0 -1 4194304 336 1151 0 0 0 0 9 1 15 0 1 0 306695935 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14869/statm: 1339 239 197 169 0 50 0
[pid=14875] ppid=14869 vsize=119260 CPUtime=162.1
/proc/14875/stat : 14875 (minisat_static) R 14869 14869 14163 0 -1 4194304 29558 0 0 0 16179 31 0 0 25 0 1 0 306695947 122122240 29544 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/14875/statm: 29815 29544 77 171 0 29642 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 124616
[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 14875
/proc/meminfo: memFree=1748288/2055920 swapFree=4179112/4192956
[pid=14869] ppid=14867 vsize=5356 CPUtime=0.1
/proc/14869/stat : 14869 (SatELiteGTI) S 14867 14869 14163 0 -1 4194304 336 1151 0 0 0 0 9 1 15 0 1 0 306695935 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14869/statm: 1339 239 197 169 0 50 0
[pid=14875] ppid=14869 vsize=143952 CPUtime=222.08
/proc/14875/stat : 14875 (minisat_static) R 14869 14869 14163 0 -1 4194304 35674 0 0 0 22170 38 0 0 25 0 1 0 306695947 147406848 35660 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/14875/statm: 35988 35660 77 171 0 35815 0
Current children cumulated CPU time (s) 222.18
Current children cumulated vsize (KiB) 149308
[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 14875
/proc/meminfo: memFree=1726400/2055920 swapFree=4179112/4192956
[pid=14869] ppid=14867 vsize=5356 CPUtime=0.1
/proc/14869/stat : 14869 (SatELiteGTI) S 14867 14869 14163 0 -1 4194304 336 1151 0 0 0 0 9 1 15 0 1 0 306695935 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14869/statm: 1339 239 197 169 0 50 0
[pid=14875] ppid=14869 vsize=165732 CPUtime=282.06
/proc/14875/stat : 14875 (minisat_static) R 14869 14869 14163 0 -1 4194304 41156 0 0 0 28160 46 0 0 25 0 1 0 306695947 169709568 41142 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/14875/statm: 41433 41142 77 171 0 41260 0
Current children cumulated CPU time (s) 282.16
Current children cumulated vsize (KiB) 171088
[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 14875
/proc/meminfo: memFree=1705088/2055920 swapFree=4179112/4192956
[pid=14869] ppid=14867 vsize=5356 CPUtime=0.1
/proc/14869/stat : 14869 (SatELiteGTI) S 14867 14869 14163 0 -1 4194304 336 1151 0 0 0 0 9 1 15 0 1 0 306695935 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14869/statm: 1339 239 197 169 0 50 0
[pid=14875] ppid=14869 vsize=187196 CPUtime=342.04
/proc/14875/stat : 14875 (minisat_static) R 14869 14869 14163 0 -1 4194304 46384 0 0 0 34151 53 0 0 25 0 1 0 306695947 191688704 46370 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 1 0 0
/proc/14875/statm: 46799 46370 77 171 0 46626 0
Current children cumulated CPU time (s) 342.14
Current children cumulated vsize (KiB) 192552
[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 14875
/proc/meminfo: memFree=1694080/2055920 swapFree=4179112/4192956
[pid=14869] ppid=14867 vsize=5356 CPUtime=0.1
################
# More data... #
################
/proc/14875/statm: 51551 51156 77 171 0 51378 0
Current children cumulated CPU time (s) 582.07
Current children cumulated vsize (KiB) 211560
[startup+642.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 14875
/proc/meminfo: memFree=1681024/2055920 swapFree=4179112/4192956
[pid=14869] ppid=14867 vsize=5356 CPUtime=0.1
/proc/14869/stat : 14869 (SatELiteGTI) S 14867 14869 14163 0 -1 4194304 336 1151 0 0 0 0 9 1 15 0 1 0 306695935 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14869/statm: 1339 239 197 169 0 50 0
[pid=14875] ppid=14869 vsize=210560 CPUtime=641.95
/proc/14875/stat : 14875 (minisat_static) R 14869 14869 14163 0 -1 4194304 52271 0 0 0 64135 60 0 0 25 0 1 0 306695947 215613440 52257 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 1 0 0
/proc/14875/statm: 52640 52257 77 171 0 52467 0
Current children cumulated CPU time (s) 642.05
Current children cumulated vsize (KiB) 215916
[startup+702.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 14875
/proc/meminfo: memFree=1677888/2055920 swapFree=4179112/4192956
[pid=14869] ppid=14867 vsize=5356 CPUtime=0.1
/proc/14869/stat : 14869 (SatELiteGTI) S 14867 14869 14163 0 -1 4194304 336 1151 0 0 0 0 9 1 15 0 1 0 306695935 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14869/statm: 1339 239 197 169 0 50 0
[pid=14875] ppid=14869 vsize=213464 CPUtime=701.93
/proc/14875/stat : 14875 (minisat_static) R 14869 14869 14163 0 -1 4194304 53008 0 0 0 70132 61 0 0 25 0 1 0 306695947 218587136 52994 1992294400 134512640 135215339 4294956240 18446744073709551615 134527372 0 0 4096 3 0 0 0 17 1 0 0
/proc/14875/statm: 53366 52994 77 171 0 53193 0
Current children cumulated CPU time (s) 702.03
Current children cumulated vsize (KiB) 218820
[startup+762.306 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 14877
/proc/meminfo: memFree=1677824/2055920 swapFree=4179112/4192956
[pid=14869] ppid=14867 vsize=5356 CPUtime=0.1
/proc/14869/stat : 14869 (SatELiteGTI) S 14867 14869 14163 0 -1 4194304 336 1151 0 0 0 0 9 1 15 0 1 0 306695935 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14869/statm: 1339 239 197 169 0 50 0
[pid=14875] ppid=14869 vsize=213464 CPUtime=761.92
/proc/14875/stat : 14875 (minisat_static) R 14869 14869 14163 0 -1 4194304 53008 0 0 0 76130 62 0 0 25 0 1 0 306695947 218587136 52994 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/14875/statm: 53366 52994 77 171 0 53193 0
Current children cumulated CPU time (s) 762.02
Current children cumulated vsize (KiB) 218820
[startup+822.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 14877
/proc/meminfo: memFree=1677760/2055920 swapFree=4179112/4192956
[pid=14869] ppid=14867 vsize=5356 CPUtime=0.1
/proc/14869/stat : 14869 (SatELiteGTI) S 14867 14869 14163 0 -1 4194304 336 1151 0 0 0 0 9 1 15 0 1 0 306695935 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14869/statm: 1339 239 197 169 0 50 0
[pid=14875] ppid=14869 vsize=213464 CPUtime=821.89
/proc/14875/stat : 14875 (minisat_static) R 14869 14869 14163 0 -1 4194304 53008 0 0 0 82127 62 0 0 25 0 1 0 306695947 218587136 52994 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/14875/statm: 53366 52994 77 171 0 53193 0
Current children cumulated CPU time (s) 821.99
Current children cumulated vsize (KiB) 218820
[startup+882.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 14877
/proc/meminfo: memFree=1675904/2055920 swapFree=4179112/4192956
[pid=14869] ppid=14867 vsize=5356 CPUtime=0.1
/proc/14869/stat : 14869 (SatELiteGTI) S 14867 14869 14163 0 -1 4194304 336 1151 0 0 0 0 9 1 15 0 1 0 306695935 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14869/statm: 1339 239 197 169 0 50 0
[pid=14875] ppid=14869 vsize=215444 CPUtime=881.88
/proc/14875/stat : 14875 (minisat_static) R 14869 14869 14163 0 -1 4194304 53483 0 0 0 88125 63 0 0 25 0 1 0 306695947 220614656 53469 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/14875/statm: 53861 53469 77 171 0 53688 0
Current children cumulated CPU time (s) 881.98
Current children cumulated vsize (KiB) 220800
[startup+942.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 14877
/proc/meminfo: memFree=1669312/2055920 swapFree=4179112/4192956
[pid=14869] ppid=14867 vsize=5356 CPUtime=0.1
/proc/14869/stat : 14869 (SatELiteGTI) S 14867 14869 14163 0 -1 4194304 336 1151 0 0 0 0 9 1 15 0 1 0 306695935 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14869/statm: 1339 239 197 169 0 50 0
[pid=14875] ppid=14869 vsize=221780 CPUtime=941.85
/proc/14875/stat : 14875 (minisat_static) R 14869 14869 14163 0 -1 4194304 55090 0 0 0 94121 64 0 0 25 0 1 0 306695947 227102720 55076 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/14875/statm: 55445 55076 77 171 0 55272 0
Current children cumulated CPU time (s) 941.95
Current children cumulated vsize (KiB) 227136
[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 14877
/proc/meminfo: memFree=1669184/2055920 swapFree=4179112/4192956
[pid=14869] ppid=14867 vsize=5356 CPUtime=0.1
/proc/14869/stat : 14869 (SatELiteGTI) S 14867 14869 14163 0 -1 4194304 336 1151 0 0 0 0 9 1 15 0 1 0 306695935 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14869/statm: 1339 239 197 169 0 50 0
[pid=14875] ppid=14869 vsize=221780 CPUtime=1001.83
/proc/14875/stat : 14875 (minisat_static) R 14869 14869 14163 0 -1 4194304 55090 0 0 0 100119 64 0 0 25 0 1 0 306695947 227102720 55076 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/14875/statm: 55445 55076 77 171 0 55272 0
Current children cumulated CPU time (s) 1001.93
Current children cumulated vsize (KiB) 227136
[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 14877
/proc/meminfo: memFree=1669056/2055920 swapFree=4179112/4192956
[pid=14869] ppid=14867 vsize=5356 CPUtime=0.1
/proc/14869/stat : 14869 (SatELiteGTI) S 14867 14869 14163 0 -1 4194304 336 1151 0 0 0 0 9 1 15 0 1 0 306695935 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14869/statm: 1339 239 197 169 0 50 0
[pid=14875] ppid=14869 vsize=221780 CPUtime=1061.82
/proc/14875/stat : 14875 (minisat_static) R 14869 14869 14163 0 -1 4194304 55090 0 0 0 106117 65 0 0 25 0 1 0 306695947 227102720 55076 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/14875/statm: 55445 55076 77 171 0 55272 0
Current children cumulated CPU time (s) 1061.92
Current children cumulated vsize (KiB) 227136
[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 14877
/proc/meminfo: memFree=1668672/2055920 swapFree=4179112/4192956
[pid=14869] ppid=14867 vsize=5356 CPUtime=0.1
/proc/14869/stat : 14869 (SatELiteGTI) S 14867 14869 14163 0 -1 4194304 336 1151 0 0 0 0 9 1 15 0 1 0 306695935 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14869/statm: 1339 239 197 169 0 50 0
[pid=14875] ppid=14869 vsize=222176 CPUtime=1121.79
/proc/14875/stat : 14875 (minisat_static) R 14869 14869 14163 0 -1 4194304 55188 0 0 0 112114 65 0 0 25 0 1 0 306695947 227508224 55174 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/14875/statm: 55544 55174 77 171 0 55371 0
Current children cumulated CPU time (s) 1121.89
Current children cumulated vsize (KiB) 227532
[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 14877
/proc/meminfo: memFree=1662208/2055920 swapFree=4179112/4192956
[pid=14869] ppid=14867 vsize=5356 CPUtime=0.1
/proc/14869/stat : 14869 (SatELiteGTI) S 14867 14869 14163 0 -1 4194304 336 1151 0 0 0 0 9 1 15 0 1 0 306695935 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14869/statm: 1339 239 197 169 0 50 0
[pid=14875] ppid=14869 vsize=228512 CPUtime=1181.77
/proc/14875/stat : 14875 (minisat_static) R 14869 14869 14163 0 -1 4194304 56766 0 0 0 118110 67 0 0 25 0 1 0 306695947 233996288 56752 1992294400 134512640 135215339 4294956240 18446744073709551615 134528728 0 0 4096 3 0 0 0 17 1 0 0
/proc/14875/statm: 57128 56752 77 171 0 56955 0
Current children cumulated CPU time (s) 1181.87
Current children cumulated vsize (KiB) 233868
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.5 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 14877
/proc/meminfo: memFree=1662144/2055920 swapFree=4179112/4192956
[pid=14869] ppid=14867 vsize=5356 CPUtime=0.1
/proc/14869/stat : 14869 (SatELiteGTI) S 14867 14869 14163 0 -1 4194304 336 1151 0 0 0 0 9 1 15 0 1 0 306695935 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14869/statm: 1339 239 197 169 0 50 0
[pid=14875] ppid=14869 vsize=228512 CPUtime=1199.97
/proc/14875/stat : 14875 (minisat_static) R 14869 14869 14163 0 -1 4194304 56766 0 0 0 119930 67 0 0 25 0 1 0 306695947 233996288 56752 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/14875/statm: 57128 56752 77 171 0 56955 0
Current children cumulated CPU time (s) 1200.07
Current children cumulated vsize (KiB) 233868
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1200.5 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 14877
/proc/meminfo: memFree=1662144/2055920 swapFree=4179112/4192956
[pid=14869] ppid=14867 vsize=5356 CPUtime=0.1
/proc/14869/stat : 14869 (SatELiteGTI) S 14867 14869 14163 0 -1 4194304 336 1151 0 0 0 0 9 1 15 0 1 0 306695935 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14869/statm: 1339 239 197 169 0 50 0
[pid=14875] ppid=14869 vsize=228512 CPUtime=1199.97
/proc/14875/stat : 14875 (minisat_static) R 14869 14869 14163 0 -1 4194304 56766 0 0 0 119930 67 0 0 25 0 1 0 306695947 233996288 56752 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/14875/statm: 57128 56752 77 171 0 56955 0
Current children cumulated CPU time (s) 1200.07
Current children cumulated vsize (KiB) 233868
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 14869 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=97985
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=15997
# CPU time returned by wait4() is 0.113982
# 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.51
CPU time (s): 1200.07
CPU user time (s): 1199.39
CPU system time (s): 0.68
CPU usage (%): 99.9632
Max. virtual memory (cumulated for all children) (KiB): 233868
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.097985
system time used= 0.015997
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1487
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14
involuntary context switches= 6
runsolver used 1.03884 second user time and 3.42348 second system time
The end
Begin job on node27 at 2009-05-20 04:30:30
IDJOB=1832711
IDBENCH=70319
IDSOLVER=671
FILE ID=node27/1832711-1242786630
PBS_JOBID= 9322313
Free space on /tmp= 66360 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/RANDOM/LARGE/3SAT/UNKNOWN/6000/unif-k3-r4.2-v6000-c25200-S1119314619-090.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832711-1242786630/watcher-1832711-1242786630 -o /tmp/evaluation-result-1832711-1242786630/solver-1832711-1242786630 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832711-1242786630.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 682adf22440a1975a5efec3ca28f38cb
RANDOM SEED=808824807
node27.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 : 2800.234
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 : 5521.40
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 : 2800.234
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: 1892592 kB
Buffers: 24132 kB
Cached: 91172 kB
SwapCached: 7844 kB
Active: 59528 kB
Inactive: 65900 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1892592 kB
SwapTotal: 4192956 kB
SwapFree: 4179112 kB
Dirty: 2024 kB
Writeback: 0 kB
Mapped: 14768 kB
Slab: 23804 kB
Committed_AS: 1017380 kB
PageTables: 1380 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264948 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66360 MiB
End job on node27 at 2009-05-20 04:50:33