0.00/0.00 c Parsing...
0.00/0.00 c ==============================================================================
0.00/0.00 c | | ORIGINAL | LEARNT | |
0.00/0.00 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.00 c ==============================================================================
0.00/0.00 c | 0 | 336 840 | 100 0 0 nan | 0.000 % |
0.00/0.00 c ==============================================================================
0.00/0.00 c Result : #vars: 140 #clauses: 336 #literals: 840
0.00/0.00 c CPU time: 0 s
0.00/0.00 c ==============================================================================
0.00/0.00 c This is MiniSat 2.0 beta
0.00/0.00 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00 c ============================[ Problem Statistics ]=============================
0.00/0.00 c | |
0.00/0.00 c | Number of variables: 140 |
0.00/0.00 c | Number of clauses: 336 |
0.00/0.00 c | Parsing time: 0.00 s |
0.00/0.00 c ============================[ Search Statistics ]==============================
0.00/0.00 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.00/0.00 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.00/0.00 c ===============================================================================
0.00/0.00 c | 0 | 140 336 840 | 112 0 nan | 0.000 % |
0.00/0.01 c | 104 | 140 336 840 | 112 104 26 | 0.005 % |
0.00/0.01 c | 205 | 140 336 840 | 112 139 23 | 0.026 % |
0.00/0.01 c | 305 | 140 336 840 | 112 139 20 | 0.005 % |
0.00/0.01 c | 417 | 140 336 840 | 112 142 19 | 0.005 % |
0.00/0.01 c | 518 | 140 336 840 | 112 165 20 | 0.005 % |
0.00/0.02 c | 628 | 140 336 840 | 112 154 20 | 0.005 % |
0.00/0.02 c | 749 | 140 336 840 | 112 154 19 | 0.005 % |
0.00/0.02 c | 850 | 140 336 840 | 112 149 18 | 0.005 % |
0.00/0.02 c | 962 | 140 336 840 | 112 178 20 | 0.005 % |
0.00/0.03 c | 1083 | 140 336 840 | 112 149 17 | 0.005 % |
0.00/0.03 c | 1217 | 140 336 840 | 112 156 16 | 0.005 % |
0.00/0.03 c | 1322 | 140 336 840 | 112 163 18 | 0.005 % |
0.00/0.03 c | 1432 | 140 336 840 | 112 158 17 | 0.005 % |
0.00/0.03 c | 1553 | 140 336 840 | 112 169 17 | 0.005 % |
0.00/0.04 c | 1687 | 140 336 840 | 112 157 15 | 0.005 % |
0.00/0.04 c | 1833 | 140 336 840 | 112 139 14 | 0.005 % |
0.00/0.04 c | 1933 | 140 336 840 | 112 148 17 | 0.005 % |
0.00/0.04 c | 2043 | 140 336 840 | 112 146 14 | 0.026 % |
0.00/0.05 c | 2164 | 140 336 840 | 112 169 17 | 0.005 % |
0.00/0.05 c | 2298 | 140 336 840 | 112 170 16 | 0.005 % |
0.00/0.05 c | 2447 | 140 336 840 | 112 158 14 | 0.005 % |
0.00/0.06 c | 2607 | 140 336 840 | 112 152 14 | 0.005 % |
0.00/0.06 c | 2707 | 140 336 840 | 112 159 14 | 0.005 % |
0.00/0.06 c | 2817 | 140 336 840 | 112 156 14 | 0.005 % |
0.00/0.06 c | 2939 | 140 336 840 | 112 171 16 | 0.005 % |
0.00/0.07 c | 3076 | 140 336 840 | 112 156 14 | 0.005 % |
0.00/0.07 c | 3223 | 140 336 840 | 112 168 16 | 0.005 % |
0.00/0.07 c | 3384 | 140 336 840 | 112 154 14 | 0.005 % |
0.00/0.07 c | 3561 | 140 336 840 | 112 171 14 | 0.005 % |
0.00/0.08 c | 3664 | 140 336 840 | 112 162 13 | 0.005 % |
0.00/0.08 c | 3775 | 140 336 840 | 112 148 12 | 0.005 % |
0.00/0.08 c | 3897 | 140 336 840 | 112 158 13 | 0.005 % |
0.00/0.08 c | 4030 | 140 336 840 | 112 165 14 | 0.005 % |
0.00/0.09 c | 4176 | 140 336 840 | 112 165 13 | 0.005 % |
0.00/0.09 c | 4336 | 140 336 840 | 112 159 13 | 0.005 % |
0.00/0.09 c | 4512 | 140 336 840 | 112 169 14 | 0.005 % |
0.00/0.10 c | 4707 | 140 336 840 | 112 150 12 | 0.005 % |
0.00/0.10 c | 4807 | 140 336 840 | 112 179 15 | 0.005 % |
0.00/0.10 c | 4917 | 140 336 840 | 112 159 14 | 0.005 % |
0.00/0.10 c | 5040 | 140 336 840 | 112 170 15 | 0.005 % |
0.00/0.11 c | 5176 | 140 336 840 | 112 165 13 | 0.005 % |
0.00/0.11 c | 5322 | 140 336 840 | 112 160 14 | 0.026 % |
0.00/0.11 c | 5482 | 140 336 840 | 112 174 16 | 0.005 % |
0.00/0.12 c | 5660 | 140 336 840 | 112 162 14 | 0.005 % |
0.00/0.12 c | 5854 | 140 336 840 | 112 171 14 | 0.005 % |
0.00/0.12 c | 6066 | 140 336 840 | 112 178 14 | 0.005 % |
0.00/0.13 c | 6168 | 140 336 840 | 112 167 15 | 0.005 % |
0.00/0.13 c | 6279 | 140 336 840 | 112 151 13 | 0.005 % |
0.00/0.13 c | 6402 | 140 336 840 | 112 161 13 | 0.005 % |
0.00/0.13 c | 6535 | 140 336 840 | 112 158 14 | 0.005 % |
0.00/0.14 c | 6681 | 140 336 840 | 112 180 15 | 0.005 % |
0.00/0.14 c | 6841 | 140 336 840 | 112 167 15 | 0.005 % |
0.00/0.14 c | 7017 | 140 336 840 | 112 148 13 | 0.005 % |
0.00/0.15 c | 7211 | 140 336 840 | 112 166 13 | 0.005 % |
0.00/0.15 c | 7425 | 140 336 840 | 112 173 14 | 0.005 % |
0.00/0.15 c | 7658 | 140 336 840 | 112 166 13 | 0.005 % |
0.00/0.16 c | 7760 | 140 336 840 | 112 146 14 | 0.005 % |
0.00/0.16 c | 7871 | 140 336 840 | 112 146 13 | 0.005 % |
0.00/0.16 c | 7992 | 140 336 840 | 112 158 15 | 0.005 % |
0.00/0.16 c | 8126 | 140 336 840 | 112 167 15 | 0.005 % |
0.00/0.17 c | 8273 | 140 336 840 | 112 162 13 | 0.005 % |
0.00/0.17 c | 8433 | 140 336 840 | 112 133 10 | 0.005 % |
0.00/0.17 c | 8611 | 140 336 840 | 112 171 14 | 0.005 % |
0.00/0.18 c | 8804 | 140 336 840 | 112 151 12 | 0.005 % |
0.00/0.18 c | 9018 | 140 336 840 | 112 174 12 | 0.005 % |
0.00/0.19 c | 9253 | 140 336 840 | 112 153 12 | 0.005 % |
0.00/0.19 c | 9509 | 140 336 840 | 112 159 12 | 0.005 % |
0.00/0.19 c | 9609 | 140 336 840 | 112 151 13 | 0.005 % |
0.00/0.20 c | 9720 | 140 336 840 | 112 155 13 | 0.005 % |
0.00/0.20 c | 9844 | 140 336 840 | 112 173 13 | 0.005 % |
0.00/0.20 c | 9979 | 140 336 840 | 112 171 13 | 0.005 % |
0.00/0.20 c | 10125 | 140 336 840 | 2147483647 260 18 | 0.005 % |
0.00/0.21 c | 10285 | 140 336 840 | 2147483647 420 22 | 0.005 % |
0.00/0.21 c | 10461 | 140 336 840 | 2147483647 596 23 | 0.005 % |
0.00/0.22 c | 10654 | 140 336 840 | 2147483647 789 23 | 0.005 % |
0.00/0.22 c | 10867 | 140 336 840 | 2147483647 1002 23 | 0.005 % |
0.00/0.23 c | 11100 | 140 336 840 | 2147483647 1235 24 | 0.005 % |
0.00/0.24 c | 11356 | 140 336 840 | 2147483647 1491 25 | 0.005 % |
0.00/0.25 c | 11638 | 140 336 840 | 2147483647 1773 25 | 0.005 % |
0.00/0.26 c | 11740 | 140 336 840 | 2147483647 1875 25 | 0.005 % |
0.00/0.26 c | 11850 | 140 336 840 | 2147483647 1985 25 | 0.005 % |
0.00/0.27 c | 11971 | 140 336 840 | 2147483647 2106 25 | 0.005 % |
0.00/0.27 c | 12106 | 140 336 840 | 2147483647 2241 25 | 0.005 % |
0.00/0.28 c | 12253 | 140 336 840 | 2147483647 2388 25 | 0.005 % |
0.00/0.29 c | 12413 | 140 336 840 | 2147483647 2548 25 | 0.005 % |
0.00/0.30 c | 12592 | 140 336 840 | 2147483647 2727 25 | 0.005 % |
0.00/0.31 c | 12787 | 140 336 840 | 2147483647 2922 25 | 0.005 % |
0.00/0.32 c | 13001 | 140 336 840 | 2147483647 3136 25 | 0.005 % |
0.00/0.34 c | 13235 | 140 336 840 | 2147483647 3370 25 | 0.005 % |
0.00/0.36 c | 13492 | 140 336 840 | 2147483647 3627 25 | 0.026 % |
0.00/0.38 c | 13773 | 140 336 840 | 2147483647 3908 26 | 0.005 % |
0.00/0.40 c | 14085 | 140 336 840 | 2147483647 4220 26 | 0.005 % |
0.00/0.41 c | 14185 | 140 336 840 | 2147483647 4320 26 | 0.005 % |
0.00/0.42 c | 14295 | 140 336 840 | 2147483647 4430 26 | 0.005 % |
0.00/0.42 c | 14416 | 140 336 840 | 2147483647 4551 26 | 0.005 % |
0.00/0.44 c | 14553 | 140 336 840 | 2147483647 4688 26 | 0.005 % |
0.00/0.45 c | 14699 | 140 336 840 | 2147483647 4834 26 | 0.005 % |
0.00/0.46 c | 14859 | 140 336 840 | 2147483647 4994 26 | 0.005 % |
0.00/0.48 c | 15036 | 140 336 840 | 2147483647 5171 26 | 0.005 % |
0.00/0.50 c | 15233 | 140 336 840 | 2147483647 5368 26 | 0.005 % |
0.00/0.52 c | 15447 | 140 336 840 | 2147483647 5582 26 | 0.005 % |
0.00/0.54 c | 15680 | 140 336 840 | 2147483647 5815 26 | 0.005 % |
0.00/0.57 c | 15936 | 140 336 840 | 2147483647 6071 26 | 0.005 % |
0.00/0.60 c | 16217 | 140 336 840 | 2147483647 6352 26 | 0.005 % |
0.00/0.63 c | 16528 | 140 336 840 | 2147483647 6663 26 | 0.005 % |
0.00/0.67 c | 16868 | 140 336 840 | 2147483647 7003 26 | 0.005 % |
0.00/0.68 c | 16969 | 140 336 840 | 2147483647 7104 26 | 0.005 % |
0.00/0.70 c | 17082 | 140 336 840 | 2147483647 7217 26 | 0.005 % |
0.00/0.72 c | 17204 | 140 336 840 | 2147483647 7339 26 | 0.005 % |
0.00/0.73 c | 17339 | 140 336 840 | 2147483647 7474 26 | 0.005 % |
0.00/0.75 c | 17486 | 140 336 840 | 2147483647 7621 26 | 0.005 % |
0.00/0.78 c | 17647 | 140 336 840 | 2147483647 7782 26 | 0.005 % |
0.00/0.80 c | 17823 | 140 336 840 | 2147483647 7958 27 | 0.005 % |
0.00/0.83 c | 18016 | 140 336 840 | 2147483647 8151 27 | 0.005 % |
0.00/0.86 c | 18229 | 140 336 840 | 2147483647 8364 27 | 0.005 % |
0.00/0.89 c | 18465 | 140 336 840 | 2147483647 8600 27 | 0.005 % |
0.00/0.93 c | 18722 | 140 336 840 | 2147483647 8857 27 | 0.005 % |
0.00/0.97 c | 19003 | 140 336 840 | 2147483647 9138 27 | 0.005 % |
0.99/1.02 c | 19315 | 140 336 840 | 2147483647 9450 27 | 0.005 % |
0.99/1.07 c | 19655 | 140 336 840 | 2147483647 9790 27 | 0.005 % |
1.09/1.13 c | 20028 | 140 336 840 | 10135 10163 27 | 0.005 % |
1.09/1.15 c | 20132 | 140 336 840 | 10135 7754 26 | 0.005 % |
1.09/1.17 c | 20242 | 140 336 840 | 10135 7864 26 | 0.005 % |
1.09/1.19 c | 20364 | 140 336 840 | 10135 7986 26 | 0.005 % |
1.19/1.20 c | 20497 | 140 336 840 | 10135 8119 26 | 0.005 % |
1.19/1.22 c | 20644 | 140 336 840 | 10135 8266 27 | 0.005 % |
1.19/1.24 c | 20804 | 140 336 840 | 10135 8426 26 | 0.005 % |
1.19/1.26 c | 20981 | 140 336 840 | 10135 8603 26 | 0.005 % |
1.19/1.29 c | 21174 | 140 336 840 | 10135 8796 26 | 0.005 % |
1.28/1.32 c | 21386 | 140 336 840 | 10135 9008 26 | 0.005 % |
1.28/1.35 c | 21620 | 140 336 840 | 10135 9242 26 | 0.005 % |
1.28/1.39 c | 21876 | 140 336 840 | 10135 9498 26 | 0.005 % |
1.38/1.44 c | 22157 | 140 336 840 | 10135 9779 26 | 0.005 % |
1.38/1.49 c | 22468 | 140 336 840 | 10135 10090 27 | 0.005 % |
1.49/1.54 c | 22808 | 140 336 840 | 10135 6791 26 | 0.005 % |
1.49/1.58 c | 23181 | 140 336 840 | 10135 7164 26 | 0.005 % |
1.59/1.62 c | 23590 | 140 336 840 | 10135 7573 26 | 0.005 % |
1.59/1.64 c | 23690 | 140 336 840 | 10135 7673 26 | 0.005 % |
1.59/1.65 c | 23800 | 140 336 840 | 10135 7783 26 | 0.005 % |
1.59/1.67 c | 23921 | 140 336 840 | 10135 7904 26 | 0.005 % |
1.59/1.68 c | 24054 | 140 336 840 | 10135 8037 26 | 0.005 % |
1.69/1.70 c | 24200 | 140 336 840 | 10135 8183 26 | 0.005 % |
1.69/1.72 c | 24361 | 140 336 840 | 10135 8344 26 | 0.005 % |
1.69/1.74 c | 24537 | 140 336 840 | 10135 8520 26 | 0.005 % |
1.69/1.77 c | 24731 | 140 336 840 | 10135 8714 26 | 0.005 % |
1.69/1.80 c | 24943 | 140 336 840 | 10135 8926 26 | 0.026 % |
1.79/1.82 c | 25176 | 140 336 840 | 10135 9159 26 | 0.005 % |
1.79/1.85 c | 25432 | 140 336 840 | 10135 9415 26 | 0.005 % |
1.89/1.90 c | 25713 | 140 336 840 | 10135 9696 26 | 0.005 % |
1.89/1.95 c | 26022 | 140 336 840 | 10135 10005 26 | 0.005 % |
1.99/2.00 c | 26362 | 140 336 840 | 10135 6502 25 | 0.005 % |
1.99/2.05 c | 26735 | 140 336 840 | 10135 6875 25 | 0.005 % |
1.99/2.10 c | 27146 | 140 336 840 | 10135 7286 25 | 0.005 % |
2.09/2.15 c | 27595 | 140 336 840 | 10135 7735 26 | 0.005 % |
2.09/2.16 c | 27697 | 140 336 840 | 10135 7837 26 | 0.005 % |
2.09/2.18 c | 27808 | 140 336 840 | 10135 7948 26 | 0.005 % |
2.09/2.20 c | 27930 | 140 336 840 | 10135 8070 26 | 0.005 % |
2.19/2.22 c | 28064 | 140 336 840 | 10135 8204 26 | 0.026 % |
2.19/2.24 c | 28210 | 140 336 840 | 10135 8350 26 | 0.005 % |
2.19/2.26 c | 28370 | 140 336 840 | 10135 8510 26 | 0.005 % |
2.19/2.28 c | 28547 | 140 336 840 | 10135 8687 26 | 0.005 % |
2.29/2.31 c | 28741 | 140 336 840 | 10135 8881 26 | 0.005 % |
2.29/2.34 c | 28953 | 140 336 840 | 10135 9093 26 | 0.005 % |
2.29/2.37 c | 29186 | 140 336 840 | 10135 9326 26 | 0.005 % |
2.39/2.42 c | 29442 | 140 336 840 | 10135 9582 26 | 0.005 % |
2.39/2.45 c | 29723 | 140 336 840 | 10135 9863 26 | 0.005 % |
2.39/2.49 c | 30032 | 140 336 840 | 10142 10172 26 | 0.005 % |
2.49/2.54 c | 30372 | 140 336 840 | 10142 6599 24 | 0.005 % |
2.49/2.58 c | 30744 | 140 336 840 | 10142 6971 25 | 0.005 % |
2.58/2.63 c | 31155 | 140 336 840 | 10142 7382 25 | 0.005 % |
2.58/2.68 c | 31605 | 140 336 840 | 10142 7832 25 | 0.005 % |
2.68/2.74 c | 32099 | 140 336 840 | 10142 8326 25 | 0.005 % |
2.68/2.76 c | 32199 | 140 336 840 | 10142 8426 25 | 0.005 % |
2.68/2.77 c | 32310 | 140 336 840 | 10142 8537 25 | 0.005 % |
2.68/2.79 c | 32434 | 140 336 840 | 10142 8661 25 | 0.005 % |
2.78/2.82 c | 32567 | 140 336 840 | 10142 8794 25 | 0.005 % |
2.78/2.84 c | 32713 | 140 336 840 | 10142 8940 25 | 0.005 % |
2.78/2.86 c | 32873 | 140 336 840 | 10142 9100 25 | 0.005 % |
2.78/2.89 c | 33050 | 140 336 840 | 10142 9277 25 | 0.005 % |
2.88/2.92 c | 33244 | 140 336 840 | 10142 9471 25 | 0.005 % |
2.88/2.95 c | 33456 | 140 336 840 | 10142 9683 25 | 0.005 % |
2.88/2.99 c | 33689 | 140 336 840 | 10142 9916 25 | 0.005 % |
2.98/3.02 c | 33948 | 140 336 840 | 10142 10175 25 | 0.005 % |
2.98/3.06 c | 34230 | 140 336 840 | 10142 6421 24 | 0.005 % |
2.98/3.09 c | 34539 | 140 336 840 | 10142 6730 25 | 0.005 % |
3.08/3.12 c | 34879 | 140 336 840 | 10142 7070 25 | 0.005 % |
3.08/3.16 c | 35251 | 140 336 840 | 10142 7442 25 | 0.005 % |
3.19/3.22 c | 35661 | 140 336 840 | 10142 7852 25 | 0.005 % |
3.19/3.27 c | 36113 | 140 336 840 | 10142 8304 25 | 0.005 % |
3.29/3.34 c | 36606 | 140 336 840 | 10142 8797 25 | 0.005 % |
3.38/3.42 c | 37152 | 140 336 840 | 10142 9343 25 | 0.005 % |
3.38/3.43 c | 37252 | 140 336 840 | 10142 9443 25 | 0.005 % |
3.38/3.45 c | 37363 | 140 336 840 | 10142 9554 25 | 0.005 % |
3.38/3.46 c | 37484 | 140 336 840 | 10142 9675 25 | 0.005 % |
3.38/3.49 c | 37619 | 140 336 840 | 10142 9810 25 | 0.005 % |
3.48/3.51 c | 37767 | 140 336 840 | 10142 9958 25 | 0.005 % |
3.48/3.53 c | 37928 | 140 336 840 | 10142 10119 25 | 0.005 % |
3.48/3.57 c | 38106 | 140 336 840 | 10142 6228 24 | 0.005 % |
3.48/3.59 c | 38300 | 140 336 840 | 10142 6422 24 | 0.005 % |
3.58/3.61 c | 38513 | 140 336 840 | 10142 6635 24 | 0.005 % |
3.58/3.64 c | 38747 | 140 336 840 | 10142 6869 24 | 0.005 % |
3.58/3.66 c | 39005 | 140 336 840 | 10142 7127 25 | 0.005 % |
3.58/3.69 c | 39286 | 140 336 840 | 10142 7408 25 | 0.005 % |
3.68/3.73 c | 39598 | 140 336 840 | 10142 7720 25 | 0.005 % |
3.68/3.77 c | 39937 | 140 336 840 | 10142 8059 25 | 0.005 % |
3.78/3.81 c | 40309 | 140 336 840 | 8122 5209 24 | 0.005 % |
3.78/3.84 c | 40721 | 140 336 840 | 8122 5621 24 | 0.005 % |
3.78/3.88 c | 41170 | 140 336 840 | 8122 6070 24 | 0.005 % |
3.88/3.93 c | 41664 | 140 336 840 | 8122 6564 24 | 0.005 % |
3.88/3.99 c | 42210 | 140 336 840 | 8122 7110 24 | 0.005 % |
3.98/4.07 c | 42807 | 140 336 840 | 8122 7707 25 | 0.005 % |
3.98/4.08 c | 42907 | 140 336 840 | 8122 7807 25 | 0.005 % |
3.98/4.09 c | 43018 | 140 336 840 | 8122 7918 25 | 0.005 % |
4.08/4.11 c | 43139 | 140 336 840 | 8122 8039 25 | 0.005 % |
4.08/4.13 c | 43275 | 140 336 840 | 8122 5099 23 | 0.005 % |
4.08/4.15 c | 43424 | 140 336 840 | 8122 5248 23 | 0.005 % |
4.08/4.16 c | 43590 | 140 336 840 | 8122 5414 23 | 0.005 % |
4.08/4.18 c | 43769 | 140 336 840 | 8122 5593 23 | 0.005 % |
4.08/4.20 c | 43964 | 140 336 840 | 8122 5788 24 | 0.005 % |
4.18/4.22 c | 44176 | 140 336 840 | 8122 6000 24 | 0.005 % |
4.18/4.24 c | 44410 | 140 336 840 | 8122 6234 24 | 0.005 % |
4.18/4.27 c | 44668 | 140 336 840 | 8122 6492 24 | 0.005 % |
4.18/4.29 c | 44950 | 140 336 840 | 8122 6774 24 | 0.005 % |
4.29/4.33 c | 45259 | 140 336 840 | 8122 7083 24 | 0.005 % |
4.29/4.36 c | 45598 | 140 336 840 | 8122 7422 24 | 0.005 % |
4.39/4.41 c | 45972 | 140 336 840 | 8122 7796 24 | 0.005 % |
4.39/4.45 c | 46384 | 140 336 840 | 8122 5198 23 | 0.005 % |
4.39/4.49 c | 46834 | 140 336 840 | 8122 5648 24 | 0.005 % |
4.48/4.53 c | 47328 | 140 336 840 | 8122 6142 24 | 0.005 % |
4.48/4.58 c | 47870 | 140 336 840 | 8122 6684 24 | 0.005 % |
4.58/4.65 c | 48467 | 140 336 840 | 8122 7281 24 | 0.005 % |
4.68/4.72 c | 49122 | 140 336 840 | 8122 7936 24 | 0.026 % |
4.68/4.73 c | 49222 | 140 336 840 | 8122 8036 24 | 0.005 % |
4.68/4.75 c | 49332 | 140 336 840 | 8122 8146 24 | 0.005 % |
4.68/4.76 c | 49454 | 140 336 840 | 8122 5314 24 | 0.005 % |
4.68/4.78 c | 49588 | 140 336 840 | 8122 5448 24 | 0.005 % |
4.68/4.79 c | 49736 | 140 336 840 | 8122 5596 24 | 0.005 % |
4.78/4.81 c | 49896 | 140 336 840 | 8122 5756 24 | 0.005 % |
4.78/4.82 c | 50073 | 140 336 840 | 5860 3811 23 | 0.005 % |
4.78/4.84 c | 50268 | 140 336 840 | 5860 4006 23 | 0.005 % |
4.78/4.86 c | 50480 | 140 336 840 | 5860 4218 23 | 0.005 % |
4.78/4.87 c | 50713 | 140 336 840 | 5860 4451 23 | 0.005 % |
4.78/4.90 c | 50969 | 140 336 840 | 5860 4707 23 | 0.005 % |
4.88/4.92 c | 51250 | 140 336 840 | 5860 4988 24 | 0.005 % |
4.88/4.95 c | 51560 | 140 336 840 | 5860 5298 24 | 0.005 % |
4.88/4.98 c | 51900 | 140 336 840 | 5860 5638 24 | 0.005 % |
4.98/5.01 c | 52273 | 140 336 840 | 5860 4054 23 | 0.005 % |
4.98/5.04 c | 52683 | 140 336 840 | 5860 4464 23 | 0.005 % |
4.98/5.08 c | 53135 | 140 336 840 | 5860 4916 24 | 0.005 % |
5.08/5.12 c | 53629 | 140 336 840 | 5860 5410 24 | 0.005 % |
5.08/5.16 c | 54171 | 140 336 840 | 5860 4087 23 | 0.005 % |
5.18/5.20 c | 54768 | 140 336 840 | 5860 4684 23 | 0.005 % |
5.18/5.26 c | 55423 | 140 336 840 | 5860 5339 24 | 0.005 % |
5.28/5.33 c | 56144 | 140 336 840 | 5860 4236 24 | 0.005 % |
5.28/5.33 c | 56244 | 140 336 840 | 5860 4336 24 | 0.005 % |
5.28/5.34 c | 56354 | 140 336 840 | 5860 4446 24 | 0.005 % |
5.28/5.35 c | 56475 | 140 336 840 | 5860 4567 24 | 0.005 % |
5.28/5.36 c | 56608 | 140 336 840 | 5860 4700 24 | 0.005 % |
5.28/5.38 c | 56755 | 140 336 840 | 5860 4847 24 | 0.005 % |
5.28/5.39 c | 56915 | 140 336 840 | 5860 5007 24 | 0.005 % |
5.38/5.41 c | 57091 | 140 336 840 | 5860 5183 25 | 0.005 % |
5.38/5.43 c | 57284 | 140 336 840 | 5860 5376 25 | 0.005 % |
5.38/5.45 c | 57496 | 140 336 840 | 5860 5588 25 | 0.005 % |
5.38/5.47 c | 57729 | 140 336 840 | 5860 5821 25 | 0.005 % |
5.38/5.49 c | 57987 | 140 336 840 | 5860 4275 24 | 0.005 % |
5.48/5.52 c | 58270 | 140 336 840 | 5860 4558 24 | 0.005 % |
5.48/5.54 c | 58579 | 140 336 840 | 5860 4867 25 | 0.005 % |
5.48/5.57 c | 58919 | 140 336 840 | 5860 5207 25 | 0.005 % |
5.58/5.60 c | 59291 | 140 336 840 | 5860 5579 25 | 0.005 % |
5.58/5.65 c | 59702 | 140 336 840 | 5860 4219 24 | 0.005 % |
5.58/5.68 c | 60151 | 140 336 840 | 4518 3312 23 | 0.005 % |
5.68/5.71 c | 60644 | 140 336 840 | 4518 3805 23 | 0.005 % |
5.68/5.75 c | 61188 | 140 336 840 | 4518 4349 24 | 0.005 % |
5.68/5.79 c | 61784 | 140 336 840 | 4518 3707 24 | 0.005 % |
5.78/5.84 c | 62441 | 140 336 840 | 4518 4364 24 | 0.005 % |
5.78/5.89 c | 63162 | 140 336 840 | 4518 3917 24 | 0.005 % |
5.88/5.95 c | 63954 | 140 336 840 | 4518 3584 24 | 0.005 % |
5.88/5.95 c | 64057 | 140 336 840 | 4518 3687 24 | 0.005 % |
5.88/5.96 c | 64167 | 140 336 840 | 4518 3797 24 | 0.005 % |
5.88/5.97 c | 64289 | 140 336 840 | 4518 3919 24 | 0.005 % |
5.88/5.98 c | 64422 | 140 336 840 | 4518 4052 24 | 0.005 % |
5.88/5.99 c | 64568 | 140 336 840 | 4518 4198 24 | 0.005 % |
5.98/6.01 c | 64730 | 140 336 840 | 4518 4360 24 | 0.005 % |
5.98/6.02 c | 64907 | 140 336 840 | 4518 4537 24 | 0.005 % |
5.98/6.04 c | 65101 | 140 336 840 | 4518 3619 24 | 0.026 % |
5.98/6.05 c | 65313 | 140 336 840 | 4518 3831 24 | 0.005 % |
5.98/6.07 c | 65548 | 140 336 840 | 4518 4066 24 | 0.005 % |
5.98/6.09 c | 65806 | 140 336 840 | 4518 4324 24 | 0.005 % |
6.08/6.11 c | 66088 | 140 336 840 | 4518 3507 23 | 0.005 % |
6.08/6.14 c | 66398 | 140 336 840 | 4518 3817 23 | 0.005 % |
6.08/6.16 c | 66737 | 140 336 840 | 4518 4156 24 | 0.005 % |
6.08/6.19 c | 67109 | 140 336 840 | 4518 4528 24 | 0.005 % |
6.18/6.22 c | 67518 | 140 336 840 | 4518 3856 24 | 0.005 % |
6.18/6.25 c | 67967 | 140 336 840 | 4518 4305 24 | 0.005 % |
6.18/6.29 c | 68460 | 140 336 840 | 4518 3723 24 | 0.005 % |
6.28/6.32 c | 69002 | 140 336 840 | 4518 4265 24 | 0.005 % |
6.28/6.36 c | 69598 | 140 336 840 | 4518 3802 24 | 0.005 % |
6.38/6.41 c | 70253 | 140 336 840 | 4204 3482 24 | 0.005 % |
6.38/6.46 c | 70977 | 140 336 840 | 4204 4206 24 | 0.005 % |
6.48/6.52 c | 71769 | 140 336 840 | 4204 4054 25 | 0.005 % |
6.48/6.59 c | 72640 | 140 336 840 | 4204 3991 25 | 0.005 % |
6.48/6.59 c | 72745 | 140 336 840 | 4204 4096 25 | 0.005 % |
6.48/6.60 c | 72855 | 140 336 840 | 4204 4206 25 | 0.005 % |
6.58/6.61 c | 72977 | 140 336 840 | 4204 3407 24 | 0.005 % |
6.58/6.62 c | 73112 | 140 336 840 | 4204 3542 25 | 0.005 % |
6.58/6.63 c | 73258 | 140 336 840 | 4204 3688 25 | 0.005 % |
6.58/6.64 c | 73419 | 140 336 840 | 4204 3849 25 | 0.005 % |
6.58/6.65 c | 73597 | 140 336 840 | 4204 4027 25 | 0.005 % |
6.58/6.67 c | 73791 | 140 336 840 | 4204 4221 25 | 0.005 % |
6.58/6.68 c | 74004 | 140 336 840 | 4204 3530 25 | 0.005 % |
6.68/6.70 c | 74238 | 140 336 840 | 4204 3764 26 | 0.005 % |
6.68/6.72 c | 74496 | 140 336 840 | 4204 4022 26 | 0.005 % |
6.68/6.74 c | 74778 | 140 336 840 | 4204 3396 25 | 0.005 % |
6.68/6.76 c | 75088 | 140 336 840 | 4204 3706 25 | 0.005 % |
6.68/6.79 c | 75427 | 140 336 840 | 4204 4045 26 | 0.005 % |
6.78/6.82 c | 75800 | 140 336 840 | 4204 3513 25 | 0.026 % |
6.78/6.85 c | 76210 | 140 336 840 | 4204 3923 25 | 0.005 % |
6.78/6.88 c | 76659 | 140 336 840 | 4204 3469 25 | 0.005 % |
6.88/6.91 c | 77152 | 140 336 840 | 4204 3962 25 | 0.005 % |
6.88/6.95 c | 77694 | 140 336 840 | 4204 3614 24 | 0.005 % |
6.98/7.00 c | 78290 | 140 336 840 | 4204 4210 24 | 0.005 % |
6.98/7.04 c | 78945 | 140 336 840 | 4204 3977 24 | 0.005 % |
6.98/7.09 c | 79666 | 140 336 840 | 4204 3808 24 | 0.005 % |
7.08/7.15 c | 80460 | 140 336 840 | 4144 3730 24 | 0.005 % |
7.18/7.21 c | 81332 | 140 336 840 | 4144 3750 24 | 0.005 % |
7.18/7.27 c | 82290 | 140 336 840 | 4144 3862 24 | 0.026 % |
7.18/7.28 c | 82392 | 140 336 840 | 4144 3964 24 | 0.005 % |
7.18/7.29 c | 82503 | 140 336 840 | 4144 4075 24 | 0.005 % |
7.28/7.30 c | 82624 | 140 336 840 | 4144 3371 23 | 0.005 % |
7.28/7.31 c | 82757 | 140 336 840 | 4144 3504 23 | 0.005 % |
7.28/7.32 c | 82906 | 140 336 840 | 4144 3653 23 | 0.005 % |
7.28/7.33 c | 83066 | 140 336 840 | 4144 3813 23 | 0.005 % |
7.28/7.34 c | 83242 | 140 336 840 | 4144 3989 24 | 0.005 % |
7.28/7.36 c | 83435 | 140 336 840 | 4144 4182 24 | 0.005 % |
7.28/7.37 c | 83647 | 140 336 840 | 4144 3567 24 | 0.005 % |
7.28/7.39 c | 83882 | 140 336 840 | 4144 3802 24 | 0.005 % |
7.38/7.40 c | 84139 | 140 336 840 | 4144 4059 24 | 0.005 % |
7.38/7.42 c | 84421 | 140 336 840 | 4144 3518 23 | 0.005 % |
7.38/7.44 c | 84730 | 140 336 840 | 4144 3827 23 | 0.005 % |
7.38/7.47 c | 85070 | 140 336 840 | 4144 4167 23 | 0.005 % |
7.48/7.50 c | 85442 | 140 336 840 | 4144 3722 23 | 0.005 % |
7.48/7.53 c | 85854 | 140 336 840 | 4144 4134 23 | 0.005 % |
7.48/7.56 c | 86304 | 140 336 840 | 4144 3754 23 | 0.005 % |
7.48/7.60 c | 86798 | 140 336 840 | 4144 3422 23 | 0.005 % |
7.58/7.62 c | 87340 | 140 336 840 | 4144 3964 23 | 0.005 % |
7.58/7.66 c | 87939 | 140 336 840 | 4144 3753 23 | 0.005 % |
7.68/7.71 c | 88595 | 140 336 840 | 4144 3616 23 | 0.005 % |
7.68/7.76 c | 89315 | 140 336 840 | 4144 3548 23 | 0.005 % |
7.78/7.81 c | 90107 | 140 336 840 | 3455 2910 23 | 0.005 % |
7.78/7.86 c | 90978 | 140 336 840 | 3455 3172 24 | 0.005 % |
7.88/7.92 c | 91938 | 140 336 840 | 3455 2970 24 | 0.005 % |
7.88/7.98 c | 92993 | 140 336 840 | 3455 3493 24 | 0.005 % |
7.88/7.99 c | 93093 | 140 336 840 | 3455 3079 24 | 0.005 % |
7.98/8.00 c | 93203 | 140 336 840 | 3455 3189 24 | 0.005 % |
7.98/8.01 c | 93325 | 140 336 840 | 3455 3311 24 | 0.005 % |
7.98/8.02 c | 93459 | 140 336 840 | 3455 3445 24 | 0.005 % |
7.98/8.03 c | 93606 | 140 336 840 | 3455 3074 24 | 0.005 % |
7.98/8.04 c | 93766 | 140 336 840 | 3455 3234 24 | 0.005 % |
7.98/8.05 c | 93943 | 140 336 840 | 3455 3411 24 | 0.005 % |
7.98/8.06 c | 94137 | 140 336 840 | 3455 3083 24 | 0.005 % |
7.98/8.08 c | 94349 | 140 336 840 | 3455 3295 24 | 0.005 % |
7.98/8.09 c | 94582 | 140 336 840 | 3455 3010 24 | 0.005 % |
8.08/8.11 c | 94841 | 140 336 840 | 3455 3269 24 | 0.005 % |
8.08/8.13 c | 95124 | 140 336 840 | 3455 3035 23 | 0.005 % |
8.08/8.14 c | 95433 | 140 336 840 | 3455 3344 24 | 0.005 % |
8.08/8.17 c | 95772 | 140 336 840 | 3455 3163 24 | 0.005 % |
8.08/8.19 c | 96145 | 140 336 840 | 3455 3011 24 | 0.005 % |
8.18/8.22 c | 96555 | 140 336 840 | 3455 3421 24 | 0.005 % |
8.18/8.24 c | 97004 | 140 336 840 | 3455 3365 24 | 0.005 % |
8.18/8.28 c | 97498 | 140 336 840 | 3455 3356 25 | 0.005 % |
8.28/8.31 c | 98043 | 140 336 840 | 3455 3394 25 | 0.005 % |
8.28/8.35 c | 98639 | 140 336 840 | 3455 3480 25 | 0.005 % |
8.28/8.39 c | 99297 | 140 336 840 | 3455 3106 24 | 0.005 % |
8.38/8.44 c | 100018 | 140 336 840 | 3290 3308 24 | 0.005 % |
8.38/8.49 c | 100811 | 140 336 840 | 3290 3156 24 | 0.005 % |
8.48/8.53 c | 101682 | 140 336 840 | 3290 3166 25 | 0.005 % |
8.48/8.60 c | 102640 | 140 336 840 | 3290 3311 25 | 0.005 % |
8.58/8.67 c | 103695 | 140 336 840 | 3290 3133 26 | 0.005 % |
8.68/8.74 c | 104853 | 140 336 840 | 3290 3065 26 | 0.005 % |
8.68/8.75 c | 104954 | 140 336 840 | 3290 3166 26 | 0.005 % |
8.68/8.76 c | 105065 | 140 336 840 | 3290 3277 26 | 0.005 % |
8.68/8.77 c | 105187 | 140 336 840 | 3290 2983 26 | 0.005 % |
8.68/8.78 c | 105320 | 140 336 840 | 3290 3116 26 | 0.005 % |
8.68/8.79 c | 105469 | 140 336 840 | 3290 3265 26 | 0.005 % |
8.68/8.80 c | 105630 | 140 336 840 | 3290 2999 25 | 0.005 % |
8.78/8.81 c | 105806 | 140 336 840 | 3290 3175 25 | 0.005 % |
8.78/8.82 c | 105999 | 140 336 840 | 3290 2940 25 | 0.005 % |
8.78/8.84 c | 106212 | 140 336 840 | 3290 3153 25 | 0.005 % |
8.78/8.86 c | 106445 | 140 336 840 | 3290 2941 25 | 0.005 % |
8.78/8.87 c | 106701 | 140 336 840 | 3290 3197 25 | 0.005 % |
8.78/8.89 c | 106984 | 140 336 840 | 3290 3036 25 | 0.005 % |
8.88/8.91 c | 107293 | 140 336 840 | 3290 3345 25 | 0.005 % |
8.88/8.93 c | 107632 | 140 336 840 | 3290 3237 24 | 0.005 % |
8.88/8.96 c | 108007 | 140 336 840 | 3290 3165 24 | 0.005 % |
8.88/8.98 c | 108416 | 140 336 840 | 3290 3134 24 | 0.005 % |
8.98/9.01 c | 108867 | 140 336 840 | 3290 3150 24 | 0.005 % |
8.98/9.04 c | 109361 | 140 336 840 | 3290 3212 23 | 0.005 % |
8.98/9.08 c | 109904 | 140 336 840 | 3290 3320 23 | 0.005 % |
9.08/9.12 c | 110500 | 140 336 840 | 2985 2707 23 | 0.005 % |
9.08/9.15 c | 111155 | 140 336 840 | 2985 3003 24 | 0.005 % |
9.08/9.19 c | 111877 | 140 336 840 | 2985 2738 24 | 0.005 % |
9.18/9.23 c | 112671 | 140 336 840 | 2985 2926 25 | 0.005 % |
9.18/9.29 c | 113544 | 140 336 840 | 2985 2890 25 | 0.005 % |
9.28/9.35 c | 114503 | 140 336 840 | 2985 2939 25 | 0.005 % |
9.38/9.41 c | 115558 | 140 336 840 | 2985 2779 24 | 0.005 % |
9.38/9.49 c | 116717 | 140 336 840 | 2985 3016 25 | 0.005 % |
9.48/9.57 c | 117991 | 140 336 840 | 2985 3008 26 | 0.005 % |
9.48/9.58 c | 118091 | 140 336 840 | 2985 2783 26 | 0.005 % |
9.48/9.58 c | 118201 | 140 336 840 | 2985 2893 26 | 0.005 % |
9.48/9.59 c | 118325 | 140 336 840 | 2985 3017 26 | 0.005 % |
9.58/9.60 c | 118458 | 140 336 840 | 2985 2827 26 | 0.005 % |
9.58/9.61 c | 118604 | 140 336 840 | 2985 2973 26 | 0.005 % |
9.58/9.62 c | 118764 | 140 336 840 | 2985 2803 25 | 0.005 % |
9.58/9.63 c | 118940 | 140 336 840 | 2985 2979 25 | 0.005 % |
9.58/9.65 c | 119133 | 140 336 840 | 2985 2846 25 | 0.005 % |
9.58/9.66 c | 119348 | 140 336 840 | 2985 2739 25 | 0.005 % |
9.58/9.67 c | 119581 | 140 336 840 | 2985 2972 25 | 0.005 % |
9.58/9.69 c | 119837 | 140 336 840 | 2985 2908 24 | 0.005 % |
9.68/9.71 c | 120118 | 140 336 840 | 2751 2574 23 | 0.005 % |
9.68/9.73 c | 120428 | 140 336 840 | 2751 2597 24 | 0.005 % |
9.68/9.75 c | 120767 | 140 336 840 | 2751 2658 24 | 0.005 % |
9.68/9.77 c | 121139 | 140 336 840 | 2751 2750 24 | 0.005 % |
9.68/9.79 c | 121548 | 140 336 840 | 2751 2598 24 | 0.005 % |
9.78/9.82 c | 121999 | 140 336 840 | 2751 2770 24 | 0.005 % |
9.78/9.84 c | 122493 | 140 336 840 | 2751 2707 24 | 0.005 % |
9.78/9.88 c | 123035 | 140 336 840 | 2751 2690 24 | 0.005 % |
9.88/9.91 c | 123631 | 140 336 840 | 2751 2727 24 | 0.005 % |
9.88/9.96 c | 124291 | 140 336 840 | 2751 2549 25 | 0.005 % |
9.98/10.00 c | 125011 | 140 336 840 | 2751 2708 25 | 0.005 % |
9.98/10.05 c | 125803 | 140 336 840 | 2751 2660 25 | 0.005 % |
10.08/10.10 c | 126674 | 140 336 840 | 2751 2691 25 | 0.005 % |
10.08/10.15 c | 127633 | 140 336 840 | 2751 2533 25 | 0.005 % |
10.18/10.20 c | 128686 | 140 336 840 | 2751 2748 25 | 0.005 % |
10.18/10.26 c | 129845 | 140 336 840 | 2751 2787 24 | 0.005 % |
10.28/10.34 c | 131118 | 140 336 840 | 2147483647 3782 25 | 0.005 % |
10.38/10.45 c | 132519 | 140 336 840 | 2147483647 5183 26 | 0.005 % |
10.38/10.46 c | 132619 | 140 336 840 | 2147483647 5283 26 | 0.005 % |
10.38/10.47 c | 132730 | 140 336 840 | 2147483647 5394 26 | 0.005 % |
10.38/10.48 c | 132852 | 140 336 840 | 2147483647 5516 26 | 0.005 % |
10.38/10.49 c | 132986 | 140 336 840 | 2147483647 5650 26 | 0.005 % |
10.48/10.51 c | 133132 | 140 336 840 | 2147483647 5796 26 | 0.005 % |
10.48/10.53 c | 133292 | 140 336 840 | 2147483647 5956 26 | 0.005 % |
10.48/10.54 c | 133469 | 140 336 840 | 2147483647 6133 26 | 0.005 % |
10.48/10.56 c | 133663 | 140 336 840 | 2147483647 6327 26 | 0.005 % |
10.48/10.58 c | 133876 | 140 336 840 | 2147483647 6540 26 | 0.005 % |
10.58/10.61 c | 134110 | 140 336 840 | 2147483647 6774 26 | 0.005 % |
10.58/10.64 c | 134367 | 140 336 840 | 2147483647 7031 26 | 0.005 % |
10.58/10.68 c | 134650 | 140 336 840 | 2147483647 7314 26 | 0.005 % |
10.68/10.71 c | 134960 | 140 336 840 | 2147483647 7624 26 | 0.005 % |
10.68/10.75 c | 135301 | 140 336 840 | 2147483647 7965 26 | 0.005 % |
10.78/10.80 c | 135673 | 140 336 840 | 2147483647 8337 26 | 0.005 % |
10.78/10.85 c | 136084 | 140 336 840 | 2147483647 8748 26 | 0.005 % |
10.88/10.92 c | 136536 | 140 336 840 | 2147483647 9200 26 | 0.005 % |
10.88/10.99 c | 137029 | 140 336 840 | 2147483647 9693 26 | 0.005 % |
10.98/11.08 c | 137571 | 140 336 840 | 2147483647 10235 26 | 0.005 % |
11.08/11.19 c | 138168 | 140 336 840 | 2147483647 10832 27 | 0.005 % |
11.28/11.31 c | 138824 | 140 336 840 | 2147483647 11488 27 | 0.005 % |
11.38/11.44 c | 139544 | 140 336 840 | 2147483647 12208 27 | 0.005 % |
11.48/11.57 c | 140337 | 140 336 840 | 12665 8551 26 | 0.005 % |
11.68/11.70 c | 141210 | 140 336 840 | 12665 9424 26 | 0.005 % |
11.78/11.84 c | 142168 | 140 336 840 | 12665 10382 26 | 0.005 % |
11.98/12.01 c | 143221 | 140 336 840 | 12665 11435 26 | 0.005 % |
12.18/12.21 c | 144381 | 140 336 840 | 12665 12595 26 | 0.026 % |
12.38/12.40 c | 145655 | 140 336 840 | 12665 8731 26 | 0.005 % |
12.58/12.61 c | 147055 | 140 336 840 | 12665 10131 27 | 0.005 % |
12.78/12.89 c | 148595 | 140 336 840 | 12665 11671 27 | 0.005 % |
12.88/12.91 c | 148696 | 140 336 840 | 12665 11772 27 | 0.005 % |
12.88/12.94 c | 148806 | 140 336 840 | 12665 11882 27 | 0.005 % |
12.88/12.97 c | 148927 | 140 336 840 | 12665 12003 27 | 0.005 % |
12.98/13.00 c | 149062 | 140 336 840 | 12665 12138 27 | 0.005 % |
12.98/13.04 c | 149208 | 140 336 840 | 12665 12284 27 | 0.005 % |
12.98/13.08 c | 149368 | 140 336 840 | 12665 12444 27 | 0.005 % |
13.08/13.12 c | 149545 | 140 336 840 | 12665 12621 27 | 0.005 % |
13.08/13.17 c | 149739 | 140 336 840 | 12665 7454 27 | 0.005 % |
13.08/13.20 c | 149952 | 140 336 840 | 12665 7667 27 | 0.005 % |
13.18/13.23 c | 150186 | 140 336 840 | 7716 4634 26 | 0.005 % |
13.18/13.25 c | 150444 | 140 336 840 | 7716 4892 26 | 0.005 % |
13.18/13.28 c | 150725 | 140 336 840 | 7716 5173 26 | 0.005 % |
13.28/13.31 c | 151035 | 140 336 840 | 7716 5483 26 | 0.005 % |
13.28/13.35 c | 151374 | 140 336 840 | 7716 5822 27 | 0.005 % |
13.28/13.39 c | 151746 | 140 336 840 | 7716 6194 27 | 0.005 % |
13.38/13.43 c | 152155 | 140 336 840 | 7716 6603 27 | 0.005 % |
13.38/13.49 c | 152604 | 140 336 840 | 7716 7052 27 | 0.005 % |
13.48/13.54 c | 153097 | 140 336 840 | 7716 7545 27 | 0.005 % |
13.58/13.61 c | 153639 | 140 336 840 | 7716 5049 25 | 0.005 % |
13.58/13.65 c | 154236 | 140 336 840 | 7716 5646 25 | 0.005 % |
13.68/13.71 c | 154891 | 140 336 840 | 7716 6301 25 | 0.005 % |
13.68/13.78 c | 155611 | 140 336 840 | 7716 7021 26 | 0.005 % |
13.78/13.87 c | 156403 | 140 336 840 | 7716 4901 24 | 0.005 % |
13.88/13.95 c | 157277 | 140 336 840 | 7716 5775 24 | 0.005 % |
13.98/14.05 c | 158235 | 140 336 840 | 7716 6733 25 | 0.005 % |
14.08/14.16 c | 159290 | 140 336 840 | 7716 4933 24 | 0.005 % |
14.18/14.26 c | 160449 | 140 336 840 | 5644 4020 24 | 0.005 % |
14.28/14.35 c | 161726 | 140 336 840 | 5644 5297 25 | 0.005 % |
14.38/14.47 c | 163127 | 140 336 840 | 5644 4829 25 | 0.005 % |
14.58/14.60 c | 164667 | 140 336 840 | 5644 4568 25 | 0.005 % |
14.68/14.73 c | 166361 | 140 336 840 | 5644 4522 25 | 0.005 % |
14.68/14.73 c | 166461 | 140 336 840 | 5644 4622 25 | 0.005 % |
14.68/14.74 c | 166571 | 140 336 840 | 5644 4732 25 | 0.005 % |
14.68/14.75 c | 166692 | 140 336 840 | 5644 4853 25 | 0.005 % |
14.68/14.77 c | 166828 | 140 336 840 | 5644 4989 25 | 0.005 % |
14.68/14.78 c | 166978 | 140 336 840 | 5644 5139 25 | 0.005 % |
14.68/14.80 c | 167138 | 140 336 840 | 5644 5299 25 | 0.005 % |
14.78/14.81 c | 167314 | 140 336 840 | 5644 5475 25 | 0.005 % |
14.78/14.83 c | 167508 | 140 336 840 | 5644 5669 25 | 0.005 % |
14.78/14.85 c | 167720 | 140 336 840 | 5644 4192 25 | 0.005 % |
14.78/14.86 c | 167955 | 140 336 840 | 5644 4427 25 | 0.005 % |
14.78/14.89 c | 168211 | 140 336 840 | 5644 4683 25 | 0.005 % |
14.88/14.91 c | 168493 | 140 336 840 | 5644 4965 25 | 0.005 % |
14.88/14.94 c | 168804 | 140 336 840 | 5644 5276 25 | 0.005 % |
14.88/14.97 c | 169144 | 140 336 840 | 5644 5616 25 | 0.005 % |
14.98/15.00 c | 169517 | 140 336 840 | 5644 4311 25 | 0.005 % |
14.98/15.03 c | 169926 | 140 336 840 | 5644 4720 25 | 0.005 % |
14.98/15.07 c | 170378 | 140 336 840 | 4795 3748 24 | 0.005 % |
15.08/15.10 c | 170872 | 140 336 840 | 4795 4242 25 | 0.005 % |
15.08/15.15 c | 171414 | 140 336 840 | 4795 4784 25 | 0.005 % |
15.08/15.19 c | 172010 | 140 336 840 | 4795 4035 25 | 0.005 % |
15.18/15.24 c | 172665 | 140 336 840 | 4795 4690 25 | 0.005 % |
15.28/15.30 c | 173386 | 140 336 840 | 4795 4126 25 | 0.005 % |
15.28/15.36 c | 174178 | 140 336 840 | 4795 3665 24 | 0.005 % |
15.38/15.42 c | 175049 | 140 336 840 | 4795 4536 24 | 0.005 % |
15.38/15.49 c | 176010 | 140 336 840 | 4795 4274 23 | 0.005 % |
15.48/15.56 c | 177064 | 140 336 840 | 4795 4155 23 | 0.005 % |
15.58/15.64 c | 178223 | 140 336 840 | 4795 4170 23 | 0.005 % |
15.68/15.74 c | 179496 | 140 336 840 | 4795 4295 24 | 0.005 % |
15.78/15.84 c | 180896 | 140 336 840 | 4801 4552 25 | 0.005 % |
15.88/15.96 c | 182438 | 140 336 840 | 4801 3844 25 | 0.005 % |
15.98/16.08 c | 184135 | 140 336 840 | 4801 4406 27 | 0.005 % |
16.18/16.23 c | 185998 | 140 336 840 | 4801 4012 28 | 0.005 % |
16.18/16.24 c | 186099 | 140 336 840 | 4801 4113 28 | 0.005 % |
16.18/16.25 c | 186209 | 140 336 840 | 4801 4223 28 | 0.005 % |
16.18/16.26 c | 186330 | 140 336 840 | 4801 4344 28 | 0.005 % |
16.18/16.27 c | 186463 | 140 336 840 | 4801 4477 28 | 0.005 % |
16.18/16.29 c | 186612 | 140 336 840 | 4801 4626 28 | 0.005 % |
16.27/16.30 c | 186772 | 140 336 840 | 4801 4786 28 | 0.005 % |
16.27/16.31 c | 186948 | 140 336 840 | 4801 3816 27 | 0.005 % |
16.27/16.33 c | 187143 | 140 336 840 | 4801 4011 27 | 0.005 % |
16.27/16.35 c | 187355 | 140 336 840 | 4801 4223 27 | 0.005 % |
16.27/16.36 c | 187588 | 140 336 840 | 4801 4456 27 | 0.005 % |
16.27/16.39 c | 187844 | 140 336 840 | 4801 4712 27 | 0.005 % |
16.38/16.41 c | 188125 | 140 336 840 | 4801 3827 26 | 0.005 % |
16.38/16.44 c | 188435 | 140 336 840 | 4801 4137 26 | 0.005 % |
16.38/16.46 c | 188774 | 140 336 840 | 4801 4476 26 | 0.005 % |
16.38/16.50 c | 189146 | 140 336 840 | 4801 3689 25 | 0.005 % |
16.48/16.53 c | 189560 | 140 336 840 | 4801 4103 25 | 0.005 % |
16.48/16.56 c | 190011 | 140 336 840 | 4543 4554 25 | 0.005 % |
16.57/16.60 c | 190505 | 140 336 840 | 4543 3956 25 | 0.005 % |
16.57/16.64 c | 191049 | 140 336 840 | 4543 4500 25 | 0.005 % |
16.57/16.69 c | 191645 | 140 336 840 | 4543 4049 25 | 0.005 % |
16.67/16.74 c | 192302 | 140 336 840 | 4543 3664 25 | 0.005 % |
16.67/16.79 c | 193022 | 140 336 840 | 4543 4384 25 | 0.005 % |
16.77/16.85 c | 193815 | 140 336 840 | 4543 4128 25 | 0.005 % |
16.87/16.93 c | 194687 | 140 336 840 | 4543 3961 25 | 0.005 % |
16.97/17.00 c | 195647 | 140 336 840 | 4543 3896 25 | 0.005 % |
16.97/17.08 c | 196700 | 140 336 840 | 4543 3901 25 | 0.005 % |
17.07/17.16 c | 197858 | 140 336 840 | 4543 4017 26 | 0.005 % |
17.17/17.26 c | 199131 | 140 336 840 | 4543 4273 26 | 0.005 % |
17.27/17.36 c | 200531 | 140 336 840 | 4128 3728 25 | 0.005 % |
17.37/17.47 c | 202071 | 140 336 840 | 4128 3569 25 | 0.005 % |
17.48/17.59 c | 203765 | 140 336 840 | 4128 3663 25 | 0.005 % |
17.67/17.71 c | 205628 | 140 336 840 | 4128 3963 26 | 0.005 % |
17.77/17.84 c | 207678 | 140 336 840 | 4128 3713 25 | 0.005 % |
17.77/17.85 c | 207779 | 140 336 840 | 4128 3814 25 | 0.005 % |
17.77/17.86 c | 207891 | 140 336 840 | 4128 3926 25 | 0.005 % |
17.77/17.87 c | 208012 | 140 336 840 | 4128 4047 25 | 0.005 % |
17.77/17.88 c | 208145 | 140 336 840 | 4128 3426 24 | 0.005 % |
17.77/17.89 c | 208291 | 140 336 840 | 4128 3572 24 | 0.005 % |
17.87/17.90 c | 208451 | 140 336 840 | 4128 3732 24 | 0.005 % |
17.87/17.92 c | 208629 | 140 336 840 | 4128 3910 25 | 0.005 % |
17.87/17.93 c | 208823 | 140 336 840 | 4128 4104 25 | 0.005 % |
17.87/17.95 c | 209035 | 140 336 840 | 4128 3558 24 | 0.005 % |
17.87/17.96 c | 209271 | 140 336 840 | 4128 3794 24 | 0.005 % |
17.87/17.98 c | 209527 | 140 336 840 | 4128 4050 24 | 0.005 % |
17.97/18.00 c | 209810 | 140 336 840 | 4128 3578 24 | 0.005 % |
17.97/18.03 c | 210120 | 140 336 840 | 3769 3197 24 | 0.005 % |
17.97/18.05 c | 210461 | 140 336 840 | 3769 3538 24 | 0.005 % |
17.97/18.07 c | 210833 | 140 336 840 | 3769 3216 24 | 0.005 % |
18.07/18.10 c | 211242 | 140 336 840 | 3769 3625 24 | 0.005 % |
18.07/18.13 c | 211691 | 140 336 840 | 3769 3388 24 | 0.005 % |
18.07/18.16 c | 212185 | 140 336 840 | 3769 3218 24 | 0.005 % |
18.07/18.19 c | 212727 | 140 336 840 | 3769 3760 25 | 0.005 % |
18.17/18.23 c | 213323 | 140 336 840 | 3769 3724 25 | 0.005 % |
18.17/18.28 c | 213980 | 140 336 840 | 3769 3759 25 | 0.005 % |
18.27/18.33 c | 214701 | 140 336 840 | 3769 3251 24 | 0.005 % |
18.27/18.38 c | 215493 | 140 336 840 | 3769 3439 25 | 0.005 % |
18.37/18.44 c | 216364 | 140 336 840 | 3769 3713 25 | 0.005 % |
18.47/18.51 c | 217322 | 140 336 840 | 3769 3487 25 | 0.005 % |
18.47/18.58 c | 218375 | 140 336 840 | 3769 3338 24 | 0.005 % |
18.58/18.65 c | 219533 | 140 336 840 | 3769 3292 25 | 0.005 % |
18.68/18.74 c | 220808 | 140 336 840 | 3760 3363 25 | 0.005 % |
18.78/18.83 c | 222208 | 140 336 840 | 3760 3546 25 | 0.005 % |
18.88/18.93 c | 223748 | 140 336 840 | 3760 3230 25 | 0.005 % |
18.98/19.03 c | 225442 | 140 336 840 | 3760 3691 24 | 0.005 % |
19.08/19.15 c | 227306 | 140 336 840 | 3760 3760 24 | 0.005 % |
19.18/19.26 c | 229356 | 140 336 840 | 3760 3578 23 | 0.005 % |
19.38/19.40 c | 231611 | 140 336 840 | 3675 3662 25 | 0.005 % |
19.38/19.41 c | 231712 | 140 336 840 | 3675 3220 25 | 0.005 % |
19.38/19.42 c | 231822 | 140 336 840 | 3675 3330 25 | 0.005 % |
19.38/19.43 c | 231943 | 140 336 840 | 3675 3451 25 | 0.005 % |
19.38/19.44 c | 232077 | 140 336 840 | 3675 3585 25 | 0.026 % |
19.38/19.45 c | 232223 | 140 336 840 | 3675 3170 25 | 0.005 % |
19.38/19.46 c | 232384 | 140 336 840 | 3675 3331 25 | 0.005 % |
19.38/19.46 c | 232560 | 140 336 840 | 3675 3507 25 | 0.005 % |
19.38/19.48 c | 232753 | 140 336 840 | 3675 3700 25 | 0.005 % |
19.38/19.49 c | 232966 | 140 336 840 | 3675 3371 25 | 0.005 % |
19.48/19.51 c | 233200 | 140 336 840 | 3675 3605 25 | 0.005 % |
19.48/19.52 c | 233456 | 140 336 840 | 3675 3318 24 | 0.005 % |
19.48/19.54 c | 233740 | 140 336 840 | 3675 3602 25 | 0.005 % |
19.48/19.56 c | 234049 | 140 336 840 | 3675 3372 24 | 0.005 % |
19.48/19.58 c | 234389 | 140 336 840 | 3675 3712 25 | 0.005 % |
19.58/19.61 c | 234761 | 140 336 840 | 3675 3543 24 | 0.026 % |
19.58/19.64 c | 235171 | 140 336 840 | 3675 3401 25 | 0.005 % |
19.58/19.67 c | 235620 | 140 336 840 | 3675 3291 25 | 0.005 % |
19.68/19.71 c | 236114 | 140 336 840 | 3675 3225 24 | 0.005 % |
19.68/19.74 c | 236657 | 140 336 840 | 3675 3201 24 | 0.005 % |
19.68/19.78 c | 237254 | 140 336 840 | 3675 3242 24 | 0.005 % |
19.78/19.83 c | 237911 | 140 336 840 | 3675 3335 25 | 0.005 % |
19.78/19.88 c | 238631 | 140 336 840 | 3675 3485 25 | 0.005 % |
19.87/19.93 c | 239424 | 140 336 840 | 3675 3714 25 | 0.005 % |
19.87/19.99 c | 240297 | 140 336 840 | 3725 3456 25 | 0.005 % |
19.98/20.06 c | 241256 | 140 336 840 | 3725 3209 24 | 0.005 % |
20.08/20.12 c | 242309 | 140 336 840 | 3725 3651 25 | 0.005 % |
20.08/20.19 c | 243468 | 140 336 840 | 3725 3645 25 | 0.005 % |
20.18/20.27 c | 244741 | 140 336 840 | 3725 3281 25 | 0.005 % |
20.28/20.36 c | 246141 | 140 336 840 | 3725 3565 25 | 0.005 % |
20.38/20.45 c | 247682 | 140 336 840 | 3725 3435 25 | 0.005 % |
20.48/20.56 c | 249377 | 140 336 840 | 3725 3510 24 | 0.005 % |
20.58/20.68 c | 251240 | 140 336 840 | 3607 3305 25 | 0.005 % |
20.79/20.81 c | 253290 | 140 336 840 | 3607 3288 25 | 0.005 % |
20.89/20.95 c | 255544 | 140 336 840 | 3607 3514 25 | 0.005 % |
21.08/21.10 c | 258022 | 140 336 840 | 3607 3474 25 | 0.005 % |
21.08/21.11 c | 258122 | 140 336 840 | 3607 3574 25 | 0.005 % |
21.08/21.12 c | 258234 | 140 336 840 | 3607 3184 25 | 0.005 % |
21.08/21.13 c | 258356 | 140 336 840 | 3607 3306 25 | 0.005 % |
21.08/21.14 c | 258491 | 140 336 840 | 3607 3441 25 | 0.005 % |
21.08/21.15 c | 258637 | 140 336 840 | 3607 3587 25 | 0.005 % |
21.08/21.16 c | 258797 | 140 336 840 | 3607 3235 24 | 0.005 % |
21.08/21.17 c | 258973 | 140 336 840 | 3607 3411 24 | 0.005 % |
21.08/21.18 c | 259168 | 140 336 840 | 3607 3606 25 | 0.005 % |
21.08/21.19 c | 259380 | 140 336 840 | 3607 3303 24 | 0.005 % |
21.18/21.21 c | 259613 | 140 336 840 | 3607 3536 24 | 0.005 % |
21.18/21.23 c | 259870 | 140 336 840 | 3607 3274 24 | 0.005 % |
21.18/21.25 c | 260152 | 140 336 840 | 3404 3058 24 | 0.005 % |
21.18/21.27 c | 260462 | 140 336 840 | 3404 3368 24 | 0.005 % |
21.18/21.29 c | 260801 | 140 336 840 | 3404 3208 24 | 0.005 % |
21.28/21.31 c | 261176 | 140 336 840 | 3404 3092 24 | 0.005 % |
21.28/21.34 c | 261586 | 140 336 840 | 3404 3019 24 | 0.005 % |
21.28/21.37 c | 262037 | 140 336 840 | 3404 2988 24 | 0.005 % |
21.38/21.40 c | 262530 | 140 336 840 | 3404 3004 24 | 0.005 % |
21.38/21.43 c | 263074 | 140 336 840 | 3404 3068 24 | 0.005 % |
21.38/21.47 c | 263673 | 140 336 840 | 3404 3186 24 | 0.005 % |
21.48/21.52 c | 264328 | 140 336 840 | 3404 3361 25 | 0.005 % |
21.48/21.56 c | 265048 | 140 336 840 | 3404 3141 25 | 0.005 % |
21.58/21.61 c | 265841 | 140 336 840 | 3404 3048 25 | 0.005 % |
21.58/21.67 c | 266715 | 140 336 840 | 3404 3049 24 | 0.005 % |
21.68/21.72 c | 267675 | 140 336 840 | 3404 3142 25 | 0.005 % |
21.68/21.78 c | 268729 | 140 336 840 | 3404 3331 25 | 0.005 % |
21.78/21.86 c | 269887 | 140 336 840 | 3404 3179 25 | 0.005 % |
21.89/21.93 c | 271160 | 140 336 840 | 3293 3235 25 | 0.005 % |
21.99/22.01 c | 272561 | 140 336 840 | 3293 3106 25 | 0.005 % |
22.08/22.11 c | 274101 | 140 336 840 | 3293 3069 25 | 0.005 % |
22.18/22.22 c | 275796 | 140 336 840 | 3293 3168 25 | 0.005 % |
22.28/22.33 c | 277659 | 140 336 840 | 3293 3078 26 | 0.005 % |
22.38/22.46 c | 279711 | 140 336 840 | 3293 3075 25 | 0.005 % |
22.48/22.59 c | 281964 | 140 336 840 | 2940 2902 25 | 0.005 % |
22.68/22.72 c | 284444 | 140 336 840 | 2940 2994 24 | 0.005 % |
22.78/22.87 c | 287170 | 140 336 840 | 2940 2730 25 | 0.005 % |
22.78/22.88 c | 287272 | 140 336 840 | 2940 2832 25 | 0.005 % |
22.78/22.89 c | 287382 | 140 336 840 | 2940 2942 25 | 0.005 % |
22.78/22.89 c | 287507 | 140 336 840 | 2940 2773 25 | 0.005 % |
22.88/22.90 c | 287641 | 140 336 840 | 2940 2907 25 | 0.005 % |
22.88/22.91 c | 287789 | 140 336 840 | 2940 2756 25 | 0.005 % |
22.88/22.92 c | 287950 | 140 336 840 | 2940 2917 25 | 0.005 % |
22.88/22.93 c | 288127 | 140 336 840 | 2940 2796 25 | 0.005 % |
22.88/22.94 c | 288321 | 140 336 840 | 2940 2990 25 | 0.005 % |
22.88/22.96 c | 288535 | 140 336 840 | 2940 2905 25 | 0.005 % |
22.88/22.97 c | 288769 | 140 336 840 | 2940 2840 25 | 0.005 % |
22.88/22.99 c | 289028 | 140 336 840 | 2940 2800 24 | 0.005 % |
22.99/23.01 c | 289309 | 140 336 840 | 2940 2783 24 | 0.005 % |
22.99/23.02 c | 289619 | 140 336 840 | 2940 2795 24 | 0.005 % |
22.99/23.04 c | 289958 | 140 336 840 | 2940 2837 24 | 0.005 % |
22.99/23.07 c | 290330 | 140 336 840 | 2147483647 3209 24 | 0.005 % |
22.99/23.09 c | 290741 | 140 336 840 | 2147483647 3620 25 | 0.005 % |
23.09/23.12 c | 291191 | 140 336 840 | 2147483647 4070 25 | 0.005 % |
23.09/23.16 c | 291686 | 140 336 840 | 2147483647 4565 25 | 0.005 % |
23.18/23.20 c | 292228 | 140 336 840 | 2147483647 5107 26 | 0.005 % |
23.18/23.25 c | 292824 | 140 336 840 | 2147483647 5703 26 | 0.005 % |
23.28/23.32 c | 293480 | 140 336 840 | 2147483647 6359 26 | 0.005 % |
23.28/23.39 c | 294201 | 140 336 840 | 2147483647 7080 26 | 0.005 % |
23.38/23.48 c | 294995 | 140 336 840 | 2147483647 7874 26 | 0.005 % |
23.48/23.59 c | 295866 | 140 336 840 | 2147483647 8745 26 | 0.005 % |
23.68/23.72 c | 296829 | 140 336 840 | 2147483647 9708 26 | 0.005 % |
23.78/23.85 c | 297883 | 140 336 840 | 2147483647 10762 26 | 0.005 % |
23.98/24.05 c | 299041 | 140 336 840 | 2147483647 11920 26 | 0.005 % |
24.19/24.28 c | 300316 | 140 336 840 | 12880 8611 25 | 0.005 % |
24.38/24.46 c | 301717 | 140 336 840 | 12880 10012 26 | 0.005 % |
24.58/24.69 c | 303257 | 140 336 840 | 12880 11552 26 | 0.005 % |
24.88/24.98 c | 304951 | 140 336 840 | 12880 7960 26 | 0.005 % |
25.19/25.22 c | 306816 | 140 336 840 | 12880 9825 26 | 0.005 % |
25.48/25.51 c | 308865 | 140 336 840 | 12880 11874 27 | 0.005 % |
25.78/25.82 c | 311119 | 140 336 840 | 7607 5532 26 | 0.005 % |
25.98/26.06 c | 313598 | 140 336 840 | 7607 5163 25 | 0.005 % |
26.29/26.31 c | 316324 | 140 336 840 | 7607 5150 25 | 0.005 % |
26.48/26.55 c | 319321 | 140 336 840 | 7607 5555 25 | 0.005 % |
26.48/26.56 c | 319423 | 140 336 840 | 7607 5657 25 | 0.005 % |
26.48/26.57 c | 319533 | 140 336 840 | 7607 5767 25 | 0.005 % |
26.48/26.58 c | 319656 | 140 336 840 | 7607 5890 25 | 0.005 % |
26.48/26.59 c | 319789 | 140 336 840 | 7607 6023 25 | 0.005 % |
26.58/26.61 c | 319936 | 140 336 840 | 7607 6170 25 | 0.005 % |
26.58/26.63 c | 320099 | 140 336 840 | 6235 4223 24 | 0.005 % |
26.58/26.65 c | 320275 | 140 336 840 | 6235 4399 24 | 0.005 % |
26.58/26.66 c | 320468 | 140 336 840 | 6235 4592 24 | 0.005 % |
26.58/26.68 c | 320680 | 140 336 840 | 6235 4804 24 | 0.005 % |
26.68/26.71 c | 320913 | 140 336 840 | 6235 5037 24 | 0.005 % |
26.68/26.73 c | 321170 | 140 336 840 | 6235 5294 25 | 0.005 % |
26.68/26.75 c | 321451 | 140 336 840 | 6235 5575 25 | 0.005 % |
26.68/26.78 c | 321760 | 140 336 840 | 6235 5884 25 | 0.005 % |
26.78/26.82 c | 322100 | 140 336 840 | 6235 6224 25 | 0.005 % |
26.78/26.85 c | 322473 | 140 336 840 | 6235 4528 24 | 0.005 % |
26.78/26.89 c | 322882 | 140 336 840 | 6235 4937 24 | 0.005 % |
26.88/26.93 c | 323331 | 140 336 840 | 6235 5386 24 | 0.005 % |
26.88/26.97 c | 323826 | 140 336 840 | 6235 5881 25 | 0.005 % |
26.98/27.03 c | 324370 | 140 336 840 | 6235 4412 24 | 0.005 % |
26.98/27.08 c | 324967 | 140 336 840 | 6235 5009 25 | 0.005 % |
27.08/27.13 c | 325622 | 140 336 840 | 6235 5664 25 | 0.005 % |
27.18/27.21 c | 326342 | 140 336 840 | 6235 4392 25 | 0.005 % |
27.18/27.26 c | 327136 | 140 336 840 | 6235 5186 25 | 0.005 % |
27.28/27.34 c | 328009 | 140 336 840 | 6235 6059 25 | 0.005 % |
27.39/27.42 c | 328967 | 140 336 840 | 6235 5064 25 | 0.005 % |
27.48/27.52 c | 330020 | 140 336 840 | 6099 6117 25 | 0.005 % |
27.58/27.61 c | 331179 | 140 336 840 | 6099 5397 25 | 0.005 % |
27.68/27.74 c | 332453 | 140 336 840 | 6099 4842 25 | 0.005 % |
27.78/27.87 c | 333855 | 140 336 840 | 6099 4400 25 | 0.005 % |
27.88/28.00 c | 335396 | 140 336 840 | 6099 5941 26 | 0.005 % |
28.08/28.13 c | 337091 | 140 336 840 | 6099 5817 26 | 0.005 % |
28.18/28.29 c | 338954 | 140 336 840 | 6099 5889 26 | 0.005 % |
28.38/28.44 c | 341003 | 140 336 840 | 5152 4656 25 | 0.005 % |
28.58/28.63 c | 343256 | 140 336 840 | 5152 4072 25 | 0.005 % |
28.78/28.82 c | 345734 | 140 336 840 | 5152 5154 26 | 0.005 % |
28.98/29.03 c | 348460 | 140 336 840 | 5152 5200 26 | 0.005 % |
29.18/29.26 c | 351457 | 140 336 840 | 4130 3563 25 | 0.005 % |
29.38/29.49 c | 354754 | 140 336 840 | 4130 4108 26 | 0.005 % |
29.48/29.50 c | 354855 | 140 336 840 | 4130 3342 25 | 0.005 % |
29.48/29.51 c | 354965 | 140 336 840 | 4130 3452 25 | 0.005 % |
29.48/29.52 c | 355090 | 140 336 840 | 4130 3577 25 | 0.005 % |
29.48/29.53 c | 355223 | 140 336 840 | 4130 3710 25 | 0.005 % |
29.48/29.54 c | 355370 | 140 336 840 | 4130 3857 25 | 0.005 % |
29.48/29.55 c | 355531 | 140 336 840 | 4130 4018 25 | 0.005 % |
29.48/29.56 c | 355709 | 140 336 840 | 4130 3349 24 | 0.005 % |
29.48/29.57 c | 355903 | 140 336 840 | 4130 3543 24 | 0.005 % |
29.48/29.59 c | 356116 | 140 336 840 | 4130 3756 25 | 0.005 % |
29.58/29.61 c | 356350 | 140 336 840 | 4130 3990 25 | 0.005 % |
29.58/29.63 c | 356606 | 140 336 840 | 4130 3399 24 | 0.005 % |
29.58/29.64 c | 356889 | 140 336 840 | 4130 3682 24 | 0.005 % |
29.58/29.67 c | 357198 | 140 336 840 | 4130 3991 24 | 0.026 % |
29.58/29.69 c | 357537 | 140 336 840 | 4130 3488 24 | 0.005 % |
29.68/29.72 c | 357909 | 140 336 840 | 4130 3860 24 | 0.005 % |
29.68/29.75 c | 358318 | 140 336 840 | 4130 3424 24 | 0.005 % |
29.68/29.78 c | 358768 | 140 336 840 | 4130 3874 25 | 0.005 % |
29.78/29.82 c | 359265 | 140 336 840 | 4130 3530 25 | 0.005 % |
29.78/29.86 c | 359807 | 140 336 840 | 4130 4072 25 | 0.005 % |
29.88/29.90 c | 360404 | 140 336 840 | 3425 3135 25 | 0.005 % |
29.88/29.94 c | 361059 | 140 336 840 | 3425 3132 25 | 0.005 % |
29.88/29.99 c | 361779 | 140 336 840 | 3425 3230 25 | 0.005 % |
29.98/30.04 c | 362571 | 140 336 840 | 3425 3436 25 | 0.005 % |
30.08/30.10 c | 363443 | 140 336 840 | 3425 3180 25 | 0.005 % |
30.08/30.16 c | 364401 | 140 336 840 | 3425 3052 25 | 0.005 % |
30.18/30.22 c | 365455 | 140 336 840 | 3425 3074 24 | 0.005 % |
30.28/30.30 c | 366613 | 140 336 840 | 3425 3247 24 | 0.005 % |
30.28/30.37 c | 367887 | 140 336 840 | 3425 3109 25 | 0.005 % |
30.38/30.47 c | 369287 | 140 336 840 | 3425 3116 25 | 0.005 % |
30.48/30.57 c | 370827 | 140 336 840 | 3365 3271 25 | 0.005 % |
30.58/30.67 c | 372522 | 140 336 840 | 3365 3229 26 | 0.005 % |
30.68/30.78 c | 374386 | 140 336 840 | 3365 3086 25 | 0.005 % |
30.88/30.91 c | 376437 | 140 336 840 | 3365 3163 25 | 0.005 % |
30.98/31.05 c | 378691 | 140 336 840 | 3365 3378 26 | 0.005 % |
31.08/31.18 c | 381172 | 140 336 840 | 3063 2899 26 | 0.005 % |
31.28/31.33 c | 383898 | 140 336 840 | 3063 2823 27 | 0.005 % |
31.38/31.49 c | 386895 | 140 336 840 | 3063 3022 26 | 0.005 % |
31.58/31.68 c | 390192 | 140 336 840 | 2147483647 3210 26 | 0.005 % |
31.88/31.97 c | 393817 | 140 336 840 | 2147483647 6835 27 | 0.005 % |
31.88/31.98 c | 393917 | 140 336 840 | 2147483647 6935 27 | 0.005 % |
31.88/32.00 c | 394030 | 140 336 840 | 2147483647 7048 27 | 0.005 % |
31.98/32.01 c | 394151 | 140 336 840 | 2147483647 7169 27 | 0.005 % |
31.98/32.03 c | 394284 | 140 336 840 | 2147483647 7302 27 | 0.005 % |
31.98/32.05 c | 394430 | 140 336 840 | 2147483647 7448 27 | 0.005 % |
31.98/32.07 c | 394594 | 140 336 840 | 2147483647 7612 27 | 0.005 % |
31.98/32.10 c | 394770 | 140 336 840 | 2147483647 7788 27 | 0.005 % |
32.08/32.12 c | 394964 | 140 336 840 | 2147483647 7982 27 | 0.005 % |
32.08/32.15 c | 395176 | 140 336 840 | 2147483647 8194 28 | 0.005 % |
32.08/32.18 c | 395409 | 140 336 840 | 2147483647 8427 28 | 0.005 % |
32.18/32.21 c | 395666 | 140 336 840 | 2147483647 8684 28 | 0.005 % |
32.18/32.24 c | 395947 | 140 336 840 | 2147483647 8965 28 | 0.005 % |
32.18/32.28 c | 396256 | 140 336 840 | 2147483647 9274 28 | 0.005 % |
32.28/32.32 c | 396596 | 140 336 840 | 2147483647 9614 27 | 0.005 % |
32.28/32.39 c | 396968 | 140 336 840 | 2147483647 9986 27 | 0.005 % |
32.38/32.46 c | 397378 | 140 336 840 | 2147483647 10396 27 | 0.005 % |
32.48/32.55 c | 397829 | 140 336 840 | 2147483647 10847 27 | 0.005 % |
32.58/32.63 c | 398325 | 140 336 840 | 2147483647 11343 27 | 0.005 % |
32.68/32.73 c | 398867 | 140 336 840 | 2147483647 11885 27 | 0.005 % |
32.78/32.85 c | 399463 | 140 336 840 | 2147483647 12481 27 | 0.005 % |
32.88/32.99 c | 400118 | 140 336 840 | 13020 8414 26 | 0.005 % |
33.08/33.10 c | 400838 | 140 336 840 | 13020 9134 26 | 0.005 % |
33.18/33.22 c | 401630 | 140 336 840 | 13020 9926 27 | 0.005 % |
33.28/33.35 c | 402503 | 140 336 840 | 13020 10799 27 | 0.005 % |
33.48/33.51 c | 403463 | 140 336 840 | 13020 11759 27 | 0.005 % |
33.58/33.69 c | 404519 | 140 336 840 | 13020 12815 27 | 0.005 % |
33.78/33.88 c | 405678 | 140 336 840 | 13020 8490 26 | 0.005 % |
33.98/34.06 c | 406952 | 140 336 840 | 13020 9764 27 | 0.005 % |
34.28/34.31 c | 408352 | 140 336 840 | 13020 11164 27 | 0.005 % |
34.58/34.60 c | 409892 | 140 336 840 | 13020 12704 27 | 0.005 % |
34.78/34.82 c | 411586 | 140 336 840 | 12812 8907 26 | 0.005 % |
34.98/35.09 c | 413449 | 140 336 840 | 12812 10770 26 | 0.005 % |
35.38/35.47 c | 415498 | 140 336 840 | 12812 12819 26 | 0.005 % |
35.68/35.73 c | 417754 | 140 336 840 | 12812 9702 26 | 0.005 % |
35.98/36.10 c | 420232 | 140 336 840 | 11948 7215 25 | 0.005 % |
36.38/36.43 c | 422957 | 140 336 840 | 11948 9940 26 | 0.005 % |
36.78/36.88 c | 425954 | 140 336 840 | 11948 8097 26 | 0.005 % |
37.28/37.33 c | 429250 | 140 336 840 | 11948 11393 27 | 0.005 % |
37.68/37.73 c | 432875 | 140 336 840 | 7232 7130 26 | 0.005 % |
38.08/38.10 c | 436862 | 140 336 840 | 7232 5873 25 | 0.005 % |
38.08/38.11 c | 436963 | 140 336 840 | 7232 5974 25 | 0.005 % |
38.08/38.13 c | 437074 | 140 336 840 | 7232 6085 25 | 0.005 % |
38.08/38.14 c | 437196 | 140 336 840 | 7232 6207 25 | 0.005 % |
38.08/38.16 c | 437329 | 140 336 840 | 7232 6340 25 | 0.005 % |
38.08/38.17 c | 437475 | 140 336 840 | 7232 6486 25 | 0.005 % |
38.08/38.19 c | 437636 | 140 336 840 | 7232 6647 25 | 0.005 % |
38.18/38.21 c | 437812 | 140 336 840 | 7232 6823 25 | 0.005 % |
38.18/38.23 c | 438005 | 140 336 840 | 7232 7016 25 | 0.005 % |
38.18/38.25 c | 438217 | 140 336 840 | 7232 7228 25 | 0.005 % |
38.18/38.28 c | 438451 | 140 336 840 | 7232 4930 24 | 0.005 % |
38.18/38.29 c | 438707 | 140 336 840 | 7232 5186 24 | 0.005 % |
38.28/38.32 c | 438989 | 140 336 840 | 7232 5468 24 | 0.005 % |
38.28/38.35 c | 439301 | 140 336 840 | 7232 5780 24 | 0.005 % |
38.28/38.38 c | 439640 | 140 336 840 | 7232 6119 24 | 0.005 % |
38.38/38.42 c | 440013 | 140 336 840 | 6480 6492 25 | 0.005 % |
38.38/38.46 c | 440423 | 140 336 840 | 6480 4680 24 | 0.005 % |
38.48/38.51 c | 440872 | 140 336 840 | 6480 5129 24 | 0.005 % |
38.48/38.56 c | 441367 | 140 336 840 | 6480 5624 24 | 0.005 % |
38.58/38.61 c | 441909 | 140 336 840 | 6480 6166 25 | 0.005 % |
38.58/38.67 c | 442505 | 140 336 840 | 6480 4634 24 | 0.005 % |
38.68/38.73 c | 443163 | 140 336 840 | 6480 5292 25 | 0.005 % |
38.78/38.81 c | 443884 | 140 336 840 | 6480 6013 25 | 0.005 % |
38.78/38.89 c | 444677 | 140 336 840 | 6480 4670 25 | 0.005 % |
38.88/38.97 c | 445550 | 140 336 840 | 6480 5543 25 | 0.005 % |
38.98/39.08 c | 446508 | 140 336 840 | 6480 6501 25 | 0.005 % |
39.08/39.15 c | 447561 | 140 336 840 | 6480 5454 25 | 0.005 % |
39.18/39.26 c | 448720 | 140 336 840 | 6480 4577 25 | 0.005 % |
39.28/39.36 c | 449996 | 140 336 840 | 6480 5853 25 | 0.005 % |
39.38/39.46 c | 451396 | 140 336 840 | 5858 5437 26 | 0.005 % |
39.58/39.61 c | 452936 | 140 336 840 | 5858 5231 26 | 0.005 % |
39.68/39.75 c | 454630 | 140 336 840 | 5858 5167 26 | 0.005 % |
39.88/39.91 c | 456494 | 140 336 840 | 5858 5320 26 | 0.005 % |
40.08/40.10 c | 458543 | 140 336 840 | 5858 5666 27 | 0.005 % |
40.18/40.29 c | 460796 | 140 336 840 | 5417 4639 26 | 0.005 % |
40.38/40.49 c | 463274 | 140 336 840 | 5417 4164 25 | 0.005 % |
40.68/40.70 c | 465999 | 140 336 840 | 5417 5460 25 | 0.005 % |
40.87/40.94 c | 468997 | 140 336 840 | 5417 4191 27 | 0.005 % |
41.17/41.20 c | 472293 | 140 336 840 | 5195 4782 26 | 0.005 % |
41.37/41.46 c | 475918 | 140 336 840 | 5195 4524 24 | 0.005 % |
41.68/41.74 c | 479908 | 140 336 840 | 5195 4839 25 | 0.005 % |
41.97/42.06 c | 484294 | 140 336 840 | 4931 4543 24 | 0.005 % |
41.97/42.07 c | 484394 | 140 336 840 | 4931 4643 24 | 0.005 % |
41.97/42.07 c | 484506 | 140 336 840 | 4931 4755 24 | 0.005 % |
41.97/42.09 c | 484628 | 140 336 840 | 4931 4877 24 | 0.005 % |
42.07/42.10 c | 484761 | 140 336 840 | 4931 3870 23 | 0.005 % |
42.07/42.11 c | 484907 | 140 336 840 | 4931 4016 23 | 0.005 % |
42.07/42.12 c | 485068 | 140 336 840 | 4931 4177 23 | 0.005 % |
42.07/42.14 c | 485244 | 140 336 840 | 4931 4353 23 | 0.005 % |
42.07/42.15 c | 485437 | 140 336 840 | 4931 4546 23 | 0.005 % |
42.07/42.17 c | 485649 | 140 336 840 | 4931 4758 23 | 0.005 % |
42.07/42.19 c | 485882 | 140 336 840 | 4931 3822 23 | 0.005 % |
42.17/42.21 c | 486140 | 140 336 840 | 4931 4080 23 | 0.005 % |
42.17/42.23 c | 486422 | 140 336 840 | 4931 4362 24 | 0.005 % |
42.17/42.26 c | 486734 | 140 336 840 | 4931 4674 24 | 0.005 % |
42.17/42.29 c | 487073 | 140 336 840 | 4931 3827 24 | 0.005 % |
42.27/42.32 c | 487447 | 140 336 840 | 4931 4201 24 | 0.005 % |
42.27/42.36 c | 487859 | 140 336 840 | 4931 4613 25 | 0.005 % |
42.37/42.41 c | 488308 | 140 336 840 | 4931 3845 25 | 0.005 % |
42.37/42.45 c | 488801 | 140 336 840 | 4931 4338 25 | 0.005 % |
42.37/42.49 c | 489343 | 140 336 840 | 4931 4880 25 | 0.005 % |
42.47/42.55 c | 489941 | 140 336 840 | 4931 4253 24 | 0.005 % |
42.57/42.60 c | 490598 | 140 336 840 | 4312 3829 24 | 0.005 % |
42.57/42.65 c | 491319 | 140 336 840 | 4312 3457 23 | 0.005 % |
42.67/42.70 c | 492113 | 140 336 840 | 4312 4251 24 | 0.005 % |
42.67/42.77 c | 492986 | 140 336 840 | 4312 4081 24 | 0.005 % |
42.78/42.84 c | 493944 | 140 336 840 | 4312 4006 25 | 0.005 % |
42.88/42.91 c | 494997 | 140 336 840 | 4312 4046 25 | 0.005 % |
42.88/42.98 c | 496155 | 140 336 840 | 4312 4260 26 | 0.005 % |
42.97/43.08 c | 497429 | 140 336 840 | 4312 3705 25 | 0.005 % |
43.07/43.17 c | 498831 | 140 336 840 | 4312 4218 25 | 0.005 % |
43.17/43.26 c | 500371 | 140 336 840 | 3686 3340 25 | 0.005 % |
43.27/43.37 c | 502068 | 140 336 840 | 3686 3723 26 | 0.005 % |
43.37/43.49 c | 503933 | 140 336 840 | 3686 3722 27 | 0.005 % |
43.57/43.61 c | 505982 | 140 336 840 | 3686 3375 27 | 0.005 % |
43.67/43.76 c | 508236 | 140 336 840 | 3686 3309 26 | 0.005 % |
43.88/43.92 c | 510714 | 140 336 840 | 3411 3126 26 | 0.005 % |
43.88/43.94 c ===============================================================================
43.88/43.94 c restarts : 898
43.88/43.94 c conflicts : 511043 (11638 /sec)
43.88/43.94 c decisions : 624569 (1.54 % random) (14223 /sec)
43.88/43.94 c propagations : 16477857 (375253 /sec)
43.88/43.94 c conflict literals : 14001309 (11.03 % deleted)
43.88/43.94 c Memory used : 4.85 MB
43.88/43.94 c CPU time : 43.9113 s
43.88/43.94 c
43.88/43.94 s SATISFIABLE
43.88/43.94 s SATISFIABLE
43.88/43.94 v -1 -2 3 -4 -5 6 -7 -8 -9 -10 -11 12 -13 -14 -15 -16 -17 18 -19 -20 -21 -22 23 -24 -25 -26 27 -28 -29 -30 -31 32 -33 -34 -35 36 -37 -38 -39 -40 41 -42 -43 -44 -45 -46 -47 -48 49 -50 51 -52 -53 -54 -55 -56 -57 -58 59 -60 61 -62 -63 -64 -65 -66 -67 68 -69 -70 71 -72 -73 -74 -75 -76 -77 78 -79 -80 -81 -82 -83 84 -85 -86 87 -88 -89 -90 -91 -92 -93 94 -95 -96 -97 -98 99 -100 -101 -102 -103 104 -105 -106 107 -108 -109 -110 -111 -112 113 -114 -115 116 -117 -118 -119 -120 -121 -122 -123 124 -125 -126 -127 128 -129 -130 -131 -132 133 -134 -135 136 -137 -138 -139 -140 0
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1833993-1242827061/watcher-1833993-1242827061 -o /tmp/evaluation-result-1833993-1242827061/solver-1833993-1242827061 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1833993-1242827061.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 16138
/proc/meminfo: memFree=1935016/2055920 swapFree=4180728/4192956
[pid=16138] ppid=16136 vsize=5356 CPUtime=0
/proc/16138/stat : 16138 (SatELiteGTI) R 16136 16138 15925 0 -1 4194304 292 249 0 0 0 0 0 0 18 0 1 0 310733553 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 273653754527 0 65538 4100 65536 0 0 0 17 0 0 0
/proc/16138/statm: 1339 237 197 169 0 50 0
[startup+0.0373431 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 16138
/proc/meminfo: memFree=1935016/2055920 swapFree=4180728/4192956
[pid=16138] ppid=16136 vsize=5356 CPUtime=0
/proc/16138/stat : 16138 (SatELiteGTI) S 16136 16138 15925 0 -1 4194304 336 365 0 0 0 0 0 0 18 0 1 0 310733553 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16138/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.101498 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 16138
/proc/meminfo: memFree=1935016/2055920 swapFree=4180728/4192956
[pid=16138] ppid=16136 vsize=5356 CPUtime=0
/proc/16138/stat : 16138 (SatELiteGTI) S 16136 16138 15925 0 -1 4194304 336 365 0 0 0 0 0 0 18 0 1 0 310733553 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16138/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301511 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 16138
/proc/meminfo: memFree=1935016/2055920 swapFree=4180728/4192956
[pid=16138] ppid=16136 vsize=5356 CPUtime=0
/proc/16138/stat : 16138 (SatELiteGTI) S 16136 16138 15925 0 -1 4194304 336 365 0 0 0 0 0 0 18 0 1 0 310733553 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16138/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.701538 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 16138
/proc/meminfo: memFree=1935016/2055920 swapFree=4180728/4192956
[pid=16138] ppid=16136 vsize=5356 CPUtime=0
/proc/16138/stat : 16138 (SatELiteGTI) S 16136 16138 15925 0 -1 4194304 336 365 0 0 0 0 0 0 18 0 1 0 310733553 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16138/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+1.50259 s]
/proc/loadavg: 0.92 0.98 0.99 2/66 16144
/proc/meminfo: memFree=1933144/2055920 swapFree=4180728/4192956
[pid=16138] ppid=16136 vsize=5356 CPUtime=0
/proc/16138/stat : 16138 (SatELiteGTI) S 16136 16138 15925 0 -1 4194304 336 365 0 0 0 0 0 0 18 0 1 0 310733553 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16138/statm: 1339 239 197 169 0 50 0
[pid=16144] ppid=16138 vsize=3504 CPUtime=1.49
/proc/16144/stat : 16144 (minisat_static) R 16138 16138 15925 0 -1 4194304 521 0 0 0 149 0 0 0 25 0 1 0 310733554 3588096 507 1992294400 134512640 135215339 4294956240 18446744073709551615 134538089 0 0 4096 3 0 0 0 17 1 0 0
/proc/16144/statm: 876 507 76 171 0 703 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 8860
[startup+3.1017 s]
/proc/loadavg: 0.92 0.98 0.99 2/66 16144
/proc/meminfo: memFree=1932824/2055920 swapFree=4180728/4192956
[pid=16138] ppid=16136 vsize=5356 CPUtime=0
/proc/16138/stat : 16138 (SatELiteGTI) S 16136 16138 15925 0 -1 4194304 336 365 0 0 0 0 0 0 18 0 1 0 310733553 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16138/statm: 1339 239 197 169 0 50 0
[pid=16144] ppid=16138 vsize=3636 CPUtime=3.08
/proc/16144/stat : 16144 (minisat_static) R 16138 16138 15925 0 -1 4194304 549 0 0 0 308 0 0 0 25 0 1 0 310733554 3723264 535 1992294400 134512640 135215339 4294956240 18446744073709551615 134529088 0 0 4096 3 0 0 0 17 1 0 0
/proc/16144/statm: 909 535 76 171 0 736 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 8992
[startup+6.30191 s]
/proc/loadavg: 0.93 0.98 0.99 2/66 16144
/proc/meminfo: memFree=1932632/2055920 swapFree=4180728/4192956
[pid=16138] ppid=16136 vsize=5356 CPUtime=0
/proc/16138/stat : 16138 (SatELiteGTI) S 16136 16138 15925 0 -1 4194304 336 365 0 0 0 0 0 0 18 0 1 0 310733553 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16138/statm: 1339 239 197 169 0 50 0
[pid=16144] ppid=16138 vsize=3636 CPUtime=6.28
/proc/16144/stat : 16144 (minisat_static) R 16138 16138 15925 0 -1 4194304 557 0 0 0 628 0 0 0 25 0 1 0 310733554 3723264 543 1992294400 134512640 135215339 4294956240 18446744073709551615 134529099 0 0 4096 3 0 0 0 17 1 0 0
/proc/16144/statm: 909 543 76 171 0 736 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 8992
[startup+12.7013 s]
/proc/loadavg: 0.93 0.98 0.99 2/66 16144
/proc/meminfo: memFree=1932056/2055920 swapFree=4180728/4192956
[pid=16138] ppid=16136 vsize=5356 CPUtime=0
/proc/16138/stat : 16138 (SatELiteGTI) S 16136 16138 15925 0 -1 4194304 336 365 0 0 0 0 0 0 18 0 1 0 310733553 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16138/statm: 1339 239 197 169 0 50 0
[pid=16144] ppid=16138 vsize=4164 CPUtime=12.68
/proc/16144/stat : 16144 (minisat_static) R 16138 16138 15925 0 -1 4194304 694 0 0 0 1268 0 0 0 25 0 1 0 310733554 4263936 680 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 1 0 0
/proc/16144/statm: 1041 680 76 171 0 868 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 9520
[startup+25.5012 s]
/proc/loadavg: 0.95 0.98 0.99 2/66 16144
/proc/meminfo: memFree=1931800/2055920 swapFree=4180728/4192956
[pid=16138] ppid=16136 vsize=5356 CPUtime=0
/proc/16138/stat : 16138 (SatELiteGTI) S 16136 16138 15925 0 -1 4194304 336 365 0 0 0 0 0 0 18 0 1 0 310733553 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16138/statm: 1339 239 197 169 0 50 0
[pid=16144] ppid=16138 vsize=4428 CPUtime=25.48
/proc/16144/stat : 16144 (minisat_static) R 16138 16138 15925 0 -1 4194304 746 0 0 0 2547 1 0 0 25 0 1 0 310733554 4534272 732 1992294400 134512640 135215339 4294956240 18446744073709551615 134528691 0 0 4096 3 0 0 0 17 1 0 0
/proc/16144/statm: 1107 732 76 171 0 934 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 9784
Solver just ended. Dumping a history of the last processes samples
[startup+31.9056 s]
/proc/loadavg: 0.95 0.98 0.99 2/66 16144
/proc/meminfo: memFree=1931800/2055920 swapFree=4180728/4192956
[pid=16138] ppid=16136 vsize=5356 CPUtime=0
/proc/16138/stat : 16138 (SatELiteGTI) S 16136 16138 15925 0 -1 4194304 336 365 0 0 0 0 0 0 18 0 1 0 310733553 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16138/statm: 1339 239 197 169 0 50 0
[pid=16144] ppid=16138 vsize=4428 CPUtime=31.88
/proc/16144/stat : 16144 (minisat_static) R 16138 16138 15925 0 -1 4194304 755 0 0 0 3187 1 0 0 25 0 1 0 310733554 4534272 741 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/16144/statm: 1107 741 76 171 0 934 0
Current children cumulated CPU time (s) 31.88
Current children cumulated vsize (KiB) 9784
[startup+38.3011 s]
/proc/loadavg: 0.95 0.98 0.99 2/66 16144
/proc/meminfo: memFree=1931352/2055920 swapFree=4180728/4192956
[pid=16138] ppid=16136 vsize=5356 CPUtime=0
/proc/16138/stat : 16138 (SatELiteGTI) S 16136 16138 15925 0 -1 4194304 336 365 0 0 0 0 0 0 18 0 1 0 310733553 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16138/statm: 1339 239 197 169 0 50 0
[pid=16144] ppid=16138 vsize=4960 CPUtime=38.28
/proc/16144/stat : 16144 (minisat_static) R 16138 16138 15925 0 -1 4194304 867 0 0 0 3827 1 0 0 25 0 1 0 310733554 5079040 853 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 1 0 0
/proc/16144/statm: 1240 853 76 171 0 1067 0
Current children cumulated CPU time (s) 38.28
Current children cumulated vsize (KiB) 10316
[startup+41.5013 s]
/proc/loadavg: 0.96 0.98 0.99 2/66 16144
/proc/meminfo: memFree=1931352/2055920 swapFree=4180728/4192956
[pid=16138] ppid=16136 vsize=5356 CPUtime=0
/proc/16138/stat : 16138 (SatELiteGTI) S 16136 16138 15925 0 -1 4194304 336 365 0 0 0 0 0 0 18 0 1 0 310733553 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16138/statm: 1339 239 197 169 0 50 0
[pid=16144] ppid=16138 vsize=4960 CPUtime=41.47
/proc/16144/stat : 16144 (minisat_static) R 16138 16138 15925 0 -1 4194304 867 0 0 0 4146 1 0 0 25 0 1 0 310733554 5079040 853 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 1 0 0
/proc/16144/statm: 1240 853 76 171 0 1067 0
Current children cumulated CPU time (s) 41.47
Current children cumulated vsize (KiB) 10316
[startup+43.1014 s]
/proc/loadavg: 0.96 0.98 0.99 2/66 16144
/proc/meminfo: memFree=1931352/2055920 swapFree=4180728/4192956
[pid=16138] ppid=16136 vsize=5356 CPUtime=0
/proc/16138/stat : 16138 (SatELiteGTI) S 16136 16138 15925 0 -1 4194304 336 365 0 0 0 0 0 0 18 0 1 0 310733553 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16138/statm: 1339 239 197 169 0 50 0
[pid=16144] ppid=16138 vsize=4960 CPUtime=43.07
/proc/16144/stat : 16144 (minisat_static) R 16138 16138 15925 0 -1 4194304 867 0 0 0 4306 1 0 0 25 0 1 0 310733554 5079040 853 1992294400 134512640 135215339 4294956240 18446744073709551615 134528691 0 0 4096 3 0 0 0 17 1 0 0
/proc/16144/statm: 1240 853 76 171 0 1067 0
Current children cumulated CPU time (s) 43.07
Current children cumulated vsize (KiB) 10316
[startup+43.5014 s]
/proc/loadavg: 0.96 0.98 0.99 2/66 16144
/proc/meminfo: memFree=1931352/2055920 swapFree=4180728/4192956
[pid=16138] ppid=16136 vsize=5356 CPUtime=0
/proc/16138/stat : 16138 (SatELiteGTI) S 16136 16138 15925 0 -1 4194304 336 365 0 0 0 0 0 0 18 0 1 0 310733553 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16138/statm: 1339 239 197 169 0 50 0
[pid=16144] ppid=16138 vsize=4960 CPUtime=43.47
/proc/16144/stat : 16144 (minisat_static) R 16138 16138 15925 0 -1 4194304 867 0 0 0 4346 1 0 0 25 0 1 0 310733554 5079040 853 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/16144/statm: 1240 853 76 171 0 1067 0
Current children cumulated CPU time (s) 43.47
Current children cumulated vsize (KiB) 10316
[startup+43.9014 s]
/proc/loadavg: 0.96 0.98 0.99 2/66 16144
/proc/meminfo: memFree=1931352/2055920 swapFree=4180728/4192956
[pid=16138] ppid=16136 vsize=5356 CPUtime=0
/proc/16138/stat : 16138 (SatELiteGTI) S 16136 16138 15925 0 -1 4194304 336 365 0 0 0 0 0 0 18 0 1 0 310733553 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16138/statm: 1339 239 197 169 0 50 0
[pid=16144] ppid=16138 vsize=4960 CPUtime=43.88
/proc/16144/stat : 16144 (minisat_static) R 16138 16138 15925 0 -1 4194304 867 0 0 0 4387 1 0 0 25 0 1 0 310733554 5079040 853 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/16144/statm: 1240 853 76 171 0 1067 0
Current children cumulated CPU time (s) 43.88
Current children cumulated vsize (KiB) 10316
Child status: 10
Real time (s): 43.9482
CPU time (s): 43.9383
CPU user time (s): 43.9143
CPU system time (s): 0.023996
CPU usage (%): 99.9776
Max. virtual memory (cumulated for all children) (KiB): 10316
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 43.9143
system time used= 0.023996
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1853
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= 20
involuntary context switches= 87
runsolver used 0.065989 second user time and 0.148977 second system time
The end
Begin job on node52 at 2009-05-20 15:44:21
IDJOB=1833993
IDBENCH=71116
IDSOLVER=671
FILE ID=node52/1833993-1242827061
PBS_JOBID= 9322531
Free space on /tmp= 66104 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/CRAFTED/sgen/sat/sgen1-sat-140-100.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1833993-1242827061/watcher-1833993-1242827061 -o /tmp/evaluation-result-1833993-1242827061/solver-1833993-1242827061 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1833993-1242827061.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 07b17839a612470dd109e37b3b09aec5
RANDOM SEED=449104874
node52.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.214
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.214
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: 1935560 kB
Buffers: 16784 kB
Cached: 66856 kB
SwapCached: 6732 kB
Active: 48344 kB
Inactive: 43928 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1935560 kB
SwapTotal: 4192956 kB
SwapFree: 4180728 kB
Dirty: 1632 kB
Writeback: 0 kB
Mapped: 13444 kB
Slab: 14112 kB
Committed_AS: 1160296 kB
PageTables: 1480 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66104 MiB
End job on node52 at 2009-05-20 15:45:05