0.00/0.00 c Parsing...
0.00/0.02 c ==============================================================================
0.00/0.02 c | | ORIGINAL | LEARNT | |
0.00/0.02 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.02 c ==============================================================================
0.00/0.02 c | 0 | 16000 80000 | 4799 0 0 nan | 0.000 % |
0.00/0.02 c ==============================================================================
0.00/0.02 c Result : #vars: 800 #clauses: 16000 #literals: 80000
0.00/0.02 c CPU time: 0.016997 s
0.00/0.02 c ==============================================================================
0.00/0.05 c This is MiniSat 2.0 beta
0.00/0.05 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.05 c ============================[ Problem Statistics ]=============================
0.00/0.05 c | |
0.00/0.05 c | Number of variables: 800 |
0.00/0.05 c | Number of clauses: 16000 |
0.00/0.06 c | Parsing time: 0.01 s |
0.00/0.06 c ============================[ Search Statistics ]==============================
0.00/0.06 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.00/0.06 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.00/0.06 c ===============================================================================
0.00/0.06 c | 0 | 800 16000 80000 | 5333 0 nan | 0.000 % |
0.00/0.07 c | 100 | 800 16000 80000 | 5333 100 93 | 0.000 % |
0.00/0.08 c | 203 | 800 16000 80000 | 5333 203 102 | 0.000 % |
0.00/0.09 c | 304 | 800 16000 80000 | 5333 304 104 | 0.000 % |
0.04/0.10 c | 414 | 800 16000 80000 | 5333 414 101 | 0.000 % |
0.04/0.11 c | 514 | 800 16000 80000 | 5333 514 98 | 0.000 % |
0.04/0.12 c | 626 | 800 16000 80000 | 5333 626 100 | 0.000 % |
0.04/0.13 c | 747 | 800 16000 80000 | 5333 747 101 | 0.000 % |
0.04/0.14 c | 848 | 800 16000 80000 | 5333 848 101 | 0.000 % |
0.04/0.15 c | 958 | 800 16000 80000 | 5333 958 102 | 0.000 % |
0.04/0.16 c | 1079 | 800 16000 80000 | 5333 1079 104 | 0.000 % |
0.04/0.18 c | 1213 | 800 16000 80000 | 5333 1213 105 | 0.000 % |
0.04/0.19 c | 1314 | 800 16000 80000 | 5333 1314 103 | 0.000 % |
0.04/0.20 c | 1425 | 800 16000 80000 | 5333 1425 102 | 0.000 % |
0.04/0.21 c | 1546 | 800 16000 80000 | 5333 1546 103 | 0.000 % |
0.04/0.22 c | 1679 | 800 16000 80000 | 5333 1679 103 | 0.000 % |
0.04/0.24 c | 1826 | 800 16000 80000 | 5333 1826 103 | 0.000 % |
0.04/0.25 c | 1926 | 800 16000 80000 | 5333 1926 103 | 0.000 % |
0.04/0.26 c | 2036 | 800 16000 80000 | 5333 2036 103 | 0.000 % |
0.04/0.27 c | 2157 | 800 16000 80000 | 5333 2157 103 | 0.000 % |
0.04/0.29 c | 2292 | 800 16000 80000 | 5333 2292 104 | 0.000 % |
0.04/0.30 c | 2439 | 800 16000 80000 | 5333 2439 103 | 0.000 % |
0.04/0.32 c | 2600 | 800 16000 80000 | 5333 2600 103 | 0.000 % |
0.04/0.33 c | 2700 | 800 16000 80000 | 5333 2700 103 | 0.000 % |
0.04/0.34 c | 2810 | 800 16000 80000 | 5333 2810 103 | 0.000 % |
0.04/0.35 c | 2931 | 800 16000 80000 | 5333 2931 102 | 0.000 % |
0.04/0.37 c | 3065 | 800 16000 80000 | 5333 3065 102 | 0.000 % |
0.04/0.38 c | 3213 | 800 16000 80000 | 5333 3213 101 | 0.000 % |
0.04/0.40 c | 3373 | 800 16000 80000 | 5333 3373 101 | 0.000 % |
0.04/0.41 c | 3551 | 800 16000 80000 | 5333 3551 101 | 0.000 % |
0.04/0.43 c | 3651 | 800 16000 80000 | 5333 3651 101 | 0.000 % |
0.04/0.44 c | 3761 | 800 16000 80000 | 5333 3761 101 | 0.000 % |
0.04/0.45 c | 3883 | 800 16000 80000 | 5333 3883 101 | 0.000 % |
0.04/0.47 c | 4019 | 800 16000 80000 | 5333 4019 101 | 0.000 % |
0.04/0.48 c | 4165 | 800 16000 80000 | 5333 4165 101 | 0.000 % |
0.04/0.50 c | 4325 | 800 16000 80000 | 5333 4325 102 | 0.000 % |
0.04/0.52 c | 4503 | 800 16000 80000 | 5333 4503 102 | 0.000 % |
0.04/0.54 c | 4696 | 800 16000 80000 | 5333 4696 103 | 0.000 % |
0.04/0.55 c | 4797 | 800 16000 80000 | 5333 4797 103 | 0.000 % |
0.04/0.56 c | 4907 | 800 16000 80000 | 5333 4907 103 | 0.000 % |
0.04/0.57 c | 5028 | 800 16000 80000 | 5333 5028 103 | 0.000 % |
0.04/0.59 c | 5161 | 800 16000 80000 | 5333 5161 103 | 0.000 % |
0.04/0.61 c | 5307 | 800 16000 80000 | 5333 5307 103 | 0.000 % |
0.04/0.63 c | 5468 | 800 16000 80000 | 5333 5468 103 | 0.000 % |
0.04/0.65 c | 5646 | 800 16000 80000 | 5333 5100 102 | 0.000 % |
0.04/0.67 c | 5839 | 800 16000 80000 | 5333 5293 103 | 0.000 % |
0.04/0.70 c | 6051 | 800 16000 80000 | 5333 5505 103 | 0.000 % |
0.04/0.71 c | 6151 | 800 16000 80000 | 5333 5055 101 | 0.000 % |
0.04/0.73 c | 6264 | 800 16000 80000 | 5333 5168 102 | 0.000 % |
0.04/0.74 c | 6386 | 800 16000 80000 | 5333 5290 102 | 0.000 % |
0.04/0.76 c | 6521 | 800 16000 80000 | 5333 5425 103 | 0.000 % |
0.04/0.78 c | 6669 | 800 16000 80000 | 5333 5031 103 | 0.000 % |
0.04/0.80 c | 6829 | 800 16000 80000 | 5333 5191 103 | 0.000 % |
0.04/0.82 c | 7005 | 800 16000 80000 | 5333 5367 103 | 0.000 % |
0.04/0.84 c | 7200 | 800 16000 80000 | 5333 5026 102 | 0.000 % |
0.04/0.86 c | 7412 | 800 16000 80000 | 5333 5238 102 | 0.000 % |
0.04/0.89 c | 7647 | 800 16000 80000 | 5333 5473 103 | 0.000 % |
0.04/0.90 c | 7748 | 800 16000 80000 | 5333 5027 103 | 0.000 % |
0.04/0.92 c | 7860 | 800 16000 80000 | 5333 5139 103 | 0.000 % |
0.04/0.93 c | 7982 | 800 16000 80000 | 5333 5261 103 | 0.000 % |
0.04/0.95 c | 8115 | 800 16000 80000 | 5333 5394 103 | 0.000 % |
0.04/0.96 c | 8264 | 800 16000 80000 | 5333 5004 103 | 0.000 % |
0.04/0.98 c | 8425 | 800 16000 80000 | 5333 5165 103 | 0.000 % |
0.04/1.00 c | 8602 | 800 16000 80000 | 5333 5342 103 | 0.000 % |
0.04/1.03 c | 8797 | 800 16000 80000 | 5333 5003 104 | 0.000 % |
0.04/1.05 c | 9009 | 800 16000 80000 | 5333 5215 104 | 0.000 % |
0.04/1.08 c | 9244 | 800 16000 80000 | 5333 5450 104 | 0.000 % |
1.08/1.11 c | 9500 | 800 16000 80000 | 5333 5161 103 | 0.000 % |
1.08/1.13 c | 9600 | 800 16000 80000 | 5333 5261 103 | 0.000 % |
1.08/1.14 c | 9712 | 800 16000 80000 | 5333 5373 103 | 0.000 % |
1.08/1.16 c | 9833 | 800 16000 80000 | 5333 4957 102 | 0.000 % |
1.08/1.17 c | 9968 | 800 16000 80000 | 5333 5092 102 | 0.000 % |
1.08/1.19 c | 10114 | 800 16000 80000 | 2147483647 5238 102 | 0.000 % |
1.18/1.21 c | 10274 | 800 16000 80000 | 2147483647 5398 103 | 0.000 % |
1.18/1.24 c | 10450 | 800 16000 80000 | 2147483647 5574 103 | 0.000 % |
1.18/1.26 c | 10644 | 800 16000 80000 | 2147483647 5768 103 | 0.000 % |
1.18/1.29 c | 10858 | 800 16000 80000 | 2147483647 5982 103 | 0.000 % |
1.27/1.32 c | 11091 | 800 16000 80000 | 2147483647 6215 104 | 0.000 % |
1.27/1.36 c | 11349 | 800 16000 80000 | 2147483647 6473 104 | 0.000 % |
1.27/1.40 c | 11632 | 800 16000 80000 | 2147483647 6756 104 | 0.000 % |
1.37/1.41 c | 11732 | 800 16000 80000 | 2147483647 6856 104 | 0.000 % |
1.37/1.42 c | 11843 | 800 16000 80000 | 2147483647 6967 104 | 0.000 % |
1.37/1.44 c | 11964 | 800 16000 80000 | 2147483647 7088 104 | 0.000 % |
1.37/1.46 c | 12097 | 800 16000 80000 | 2147483647 7221 104 | 0.000 % |
1.37/1.48 c | 12243 | 800 16000 80000 | 2147483647 7367 104 | 0.000 % |
1.47/1.50 c | 12405 | 800 16000 80000 | 2147483647 7529 104 | 0.000 % |
1.47/1.53 c | 12583 | 800 16000 80000 | 2147483647 7707 104 | 0.000 % |
1.47/1.55 c | 12776 | 800 16000 80000 | 2147483647 7900 104 | 0.000 % |
1.47/1.58 c | 12990 | 800 16000 80000 | 2147483647 8114 104 | 0.000 % |
1.57/1.61 c | 13223 | 800 16000 80000 | 2147483647 8347 104 | 0.000 % |
1.57/1.65 c | 13480 | 800 16000 80000 | 2147483647 8604 104 | 0.000 % |
1.57/1.69 c | 13764 | 800 16000 80000 | 2147483647 8888 103 | 0.000 % |
1.67/1.74 c | 14074 | 800 16000 80000 | 2147483647 9198 103 | 0.000 % |
1.67/1.75 c | 14174 | 800 16000 80000 | 2147483647 9298 103 | 0.000 % |
1.67/1.77 c | 14284 | 800 16000 80000 | 2147483647 9408 103 | 0.000 % |
1.67/1.79 c | 14405 | 800 16000 80000 | 2147483647 9529 103 | 0.000 % |
1.77/1.81 c | 14541 | 800 16000 80000 | 2147483647 9665 103 | 0.000 % |
1.77/1.83 c | 14688 | 800 16000 80000 | 2147483647 9812 103 | 0.000 % |
1.77/1.86 c | 14850 | 800 16000 80000 | 2147483647 9974 103 | 0.000 % |
1.77/1.89 c | 15026 | 800 16000 80000 | 2147483647 10150 103 | 0.000 % |
1.87/1.92 c | 15219 | 800 16000 80000 | 2147483647 10343 103 | 0.000 % |
1.87/1.95 c | 15431 | 800 16000 80000 | 2147483647 10555 103 | 0.000 % |
1.87/1.99 c | 15664 | 800 16000 80000 | 2147483647 10788 103 | 0.000 % |
1.97/2.03 c | 15920 | 800 16000 80000 | 2147483647 11044 103 | 0.000 % |
1.97/2.08 c | 16202 | 800 16000 80000 | 2147483647 11326 103 | 0.000 % |
2.07/2.13 c | 16514 | 800 16000 80000 | 2147483647 11638 104 | 0.000 % |
2.07/2.18 c | 16855 | 800 16000 80000 | 2147483647 11979 104 | 0.000 % |
2.07/2.20 c | 16955 | 800 16000 80000 | 2147483647 12079 104 | 0.000 % |
2.18/2.22 c | 17067 | 800 16000 80000 | 2147483647 12191 104 | 0.000 % |
2.18/2.24 c | 17188 | 800 16000 80000 | 2147483647 12312 104 | 0.000 % |
2.18/2.27 c | 17323 | 800 16000 80000 | 2147483647 12447 104 | 0.000 % |
2.18/2.30 c | 17469 | 800 16000 80000 | 2147483647 12593 104 | 0.000 % |
2.28/2.32 c | 17632 | 800 16000 80000 | 2147483647 12756 104 | 0.000 % |
2.28/2.36 c | 17809 | 800 16000 80000 | 2147483647 12933 104 | 0.000 % |
2.28/2.39 c | 18002 | 800 16000 80000 | 2147483647 13126 104 | 0.000 % |
2.38/2.43 c | 18215 | 800 16000 80000 | 2147483647 13339 104 | 0.000 % |
2.38/2.47 c | 18450 | 800 16000 80000 | 2147483647 13574 104 | 0.000 % |
2.48/2.52 c | 18708 | 800 16000 80000 | 2147483647 13832 104 | 0.000 % |
2.48/2.57 c | 18989 | 800 16000 80000 | 2147483647 14113 104 | 0.000 % |
2.58/2.64 c | 19300 | 800 16000 80000 | 2147483647 14424 104 | 0.000 % |
2.68/2.70 c | 19640 | 800 16000 80000 | 2147483647 14764 104 | 0.000 % |
2.68/2.78 c | 20013 | 800 16000 80000 | 2147483647 15137 104 | 0.000 % |
2.78/2.80 c | 20113 | 800 16000 80000 | 2147483647 15237 104 | 0.000 % |
2.78/2.82 c | 20223 | 800 16000 80000 | 2147483647 15347 104 | 0.000 % |
2.78/2.84 c | 20344 | 800 16000 80000 | 2147483647 15468 104 | 0.000 % |
2.78/2.87 c | 20477 | 800 16000 80000 | 2147483647 15601 104 | 0.000 % |
2.88/2.90 c | 20630 | 800 16000 80000 | 2147483647 15754 104 | 0.000 % |
2.88/2.93 c | 20791 | 800 16000 80000 | 2147483647 15915 104 | 0.000 % |
2.88/2.97 c | 20967 | 800 16000 80000 | 2147483647 16091 104 | 0.000 % |
2.98/3.00 c | 21160 | 800 16000 80000 | 2147483647 16284 104 | 0.000 % |
2.98/3.05 c | 21374 | 800 16000 80000 | 2147483647 16498 104 | 0.000 % |
2.98/3.09 c | 21608 | 800 16000 80000 | 2147483647 16732 104 | 0.000 % |
3.08/3.15 c | 21864 | 800 16000 80000 | 2147483647 16988 104 | 0.000 % |
3.18/3.20 c | 22146 | 800 16000 80000 | 2147483647 17270 104 | 0.000 % |
3.18/3.27 c | 22456 | 800 16000 80000 | 2147483647 17580 104 | 0.000 % |
3.28/3.33 c | 22795 | 800 16000 80000 | 2147483647 17919 105 | 0.000 % |
3.38/3.42 c | 23167 | 800 16000 80000 | 2147483647 18291 105 | 0.000 % |
3.47/3.51 c | 23576 | 800 16000 80000 | 2147483647 18700 105 | 0.000 % |
3.47/3.54 c | 23676 | 800 16000 80000 | 2147483647 18800 105 | 0.000 % |
3.47/3.57 c | 23788 | 800 16000 80000 | 2147483647 18912 105 | 0.000 % |
3.47/3.60 c | 23910 | 800 16000 80000 | 2147483647 19034 105 | 0.000 % |
3.57/3.63 c | 24043 | 800 16000 80000 | 2147483647 19167 105 | 0.000 % |
3.57/3.67 c | 24192 | 800 16000 80000 | 2147483647 19316 105 | 0.000 % |
3.67/3.70 c | 24353 | 800 16000 80000 | 2147483647 19477 105 | 0.000 % |
3.67/3.74 c | 24529 | 800 16000 80000 | 2147483647 19653 105 | 0.000 % |
3.67/3.79 c | 24723 | 800 16000 80000 | 2147483647 19847 105 | 0.000 % |
3.77/3.84 c | 24937 | 800 16000 80000 | 2147483647 20061 105 | 0.000 % |
3.77/3.90 c | 25173 | 800 16000 80000 | 2147483647 20297 105 | 0.000 % |
3.87/3.96 c | 25429 | 800 16000 80000 | 2147483647 20553 105 | 0.000 % |
3.97/4.02 c | 25711 | 800 16000 80000 | 2147483647 20835 105 | 0.000 % |
3.97/4.10 c | 26023 | 800 16000 80000 | 2147483647 21147 105 | 0.000 % |
4.07/4.18 c | 26363 | 800 16000 80000 | 2147483647 21487 105 | 0.000 % |
4.17/4.26 c | 26735 | 800 16000 80000 | 2147483647 21859 105 | 0.000 % |
4.27/4.35 c | 27144 | 800 16000 80000 | 2147483647 22268 105 | 0.000 % |
4.37/4.45 c | 27593 | 800 16000 80000 | 2147483647 22717 105 | 0.000 % |
4.37/4.48 c | 27693 | 800 16000 80000 | 2147483647 22817 105 | 0.000 % |
4.47/4.51 c | 27803 | 800 16000 80000 | 2147483647 22927 105 | 0.000 % |
4.47/4.55 c | 27924 | 800 16000 80000 | 2147483647 23048 105 | 0.000 % |
4.47/4.59 c | 28057 | 800 16000 80000 | 2147483647 23181 105 | 0.000 % |
4.57/4.63 c | 28203 | 800 16000 80000 | 2147483647 23327 105 | 0.000 % |
4.57/4.67 c | 28363 | 800 16000 80000 | 2147483647 23487 105 | 0.000 % |
4.67/4.72 c | 28539 | 800 16000 80000 | 2147483647 23663 105 | 0.000 % |
4.67/4.77 c | 28732 | 800 16000 80000 | 2147483647 23856 105 | 0.000 % |
4.77/4.84 c | 28944 | 800 16000 80000 | 2147483647 24068 105 | 0.000 % |
4.87/4.90 c | 29178 | 800 16000 80000 | 2147483647 24302 105 | 0.000 % |
4.87/4.96 c | 29436 | 800 16000 80000 | 2147483647 24560 105 | 0.000 % |
4.97/5.04 c | 29717 | 800 16000 80000 | 2147483647 24841 105 | 0.000 % |
5.06/5.12 c | 30027 | 800 16000 80000 | 2147483647 25151 105 | 0.000 % |
5.16/5.22 c | 30366 | 800 16000 80000 | 2147483647 25490 105 | 0.000 % |
5.26/5.33 c | 30743 | 800 16000 80000 | 2147483647 25867 105 | 0.000 % |
5.36/5.44 c | 31154 | 800 16000 80000 | 2147483647 26278 105 | 0.000 % |
5.47/5.56 c | 31603 | 800 16000 80000 | 2147483647 26727 105 | 0.000 % |
5.66/5.70 c | 32096 | 800 16000 80000 | 2147483647 27220 105 | 0.000 % |
5.66/5.74 c | 32198 | 800 16000 80000 | 2147483647 27322 105 | 0.000 % |
5.66/5.76 c | 32308 | 800 16000 80000 | 2147483647 27432 105 | 0.000 % |
5.77/5.80 c | 32430 | 800 16000 80000 | 2147483647 27554 105 | 0.000 % |
5.77/5.85 c | 32563 | 800 16000 80000 | 2147483647 27687 105 | 0.000 % |
5.77/5.90 c | 32711 | 800 16000 80000 | 2147483647 27835 105 | 0.000 % |
5.87/5.94 c | 32871 | 800 16000 80000 | 2147483647 27995 105 | 0.000 % |
5.87/6.00 c | 33047 | 800 16000 80000 | 2147483647 28171 105 | 0.000 % |
5.97/6.06 c | 33240 | 800 16000 80000 | 2147483647 28364 105 | 0.000 % |
6.07/6.12 c | 33452 | 800 16000 80000 | 2147483647 28576 105 | 0.000 % |
6.07/6.19 c | 33687 | 800 16000 80000 | 2147483647 28811 106 | 0.000 % |
6.17/6.28 c | 33943 | 800 16000 80000 | 2147483647 29067 106 | 0.000 % |
6.27/6.37 c | 34225 | 800 16000 80000 | 2147483647 29349 106 | 0.000 % |
6.37/6.47 c | 34536 | 800 16000 80000 | 2147483647 29660 106 | 0.000 % |
6.47/6.58 c | 34876 | 800 16000 80000 | 2147483647 30000 106 | 0.000 % |
6.57/6.70 c | 35248 | 800 16000 80000 | 2147483647 30372 106 | 0.000 % |
6.76/6.82 c | 35659 | 800 16000 80000 | 2147483647 30783 106 | 0.000 % |
6.86/6.96 c | 36108 | 800 16000 80000 | 2147483647 31232 106 | 0.000 % |
7.06/7.11 c | 36602 | 800 16000 80000 | 2147483647 31726 106 | 0.000 % |
7.17/7.29 c | 37148 | 800 16000 80000 | 2147483647 32272 106 | 0.000 % |
7.27/7.32 c | 37248 | 800 16000 80000 | 2147483647 32372 106 | 0.000 % |
7.27/7.36 c | 37358 | 800 16000 80000 | 2147483647 32482 106 | 0.000 % |
7.27/7.39 c | 37480 | 800 16000 80000 | 2147483647 32604 106 | 0.000 % |
7.37/7.44 c | 37613 | 800 16000 80000 | 2147483647 32737 106 | 0.000 % |
7.37/7.49 c | 37760 | 800 16000 80000 | 2147483647 32884 106 | 0.000 % |
7.47/7.55 c | 37922 | 800 16000 80000 | 2147483647 33046 106 | 0.000 % |
7.57/7.61 c | 38099 | 800 16000 80000 | 2147483647 33223 106 | 0.000 % |
7.57/7.68 c | 38294 | 800 16000 80000 | 2147483647 33418 106 | 0.000 % |
7.67/7.76 c | 38506 | 800 16000 80000 | 2147483647 33630 106 | 0.000 % |
7.77/7.86 c | 38739 | 800 16000 80000 | 2147483647 33863 106 | 0.000 % |
7.86/7.94 c | 38997 | 800 16000 80000 | 2147483647 34121 106 | 0.000 % |
7.96/8.04 c | 39281 | 800 16000 80000 | 2147483647 34405 106 | 0.000 % |
8.06/8.14 c | 39590 | 800 16000 80000 | 2147483647 34714 106 | 0.000 % |
8.16/8.27 c | 39930 | 800 16000 80000 | 2147483647 35054 106 | 0.000 % |
8.36/8.41 c | 40303 | 800 16000 80000 | 2147483647 35427 106 | 0.000 % |
8.46/8.55 c | 40712 | 800 16000 80000 | 2147483647 35836 106 | 0.000 % |
8.66/8.70 c | 41161 | 800 16000 80000 | 2147483647 36285 106 | 0.000 % |
8.76/8.87 c | 41655 | 800 16000 80000 | 2147483647 36779 106 | 0.000 % |
8.96/9.07 c | 42199 | 800 16000 80000 | 2147483647 37323 106 | 0.000 % |
9.16/9.28 c | 42796 | 800 16000 80000 | 2147483647 37920 106 | 0.000 % |
9.26/9.32 c | 42896 | 800 16000 80000 | 2147483647 38020 106 | 0.000 % |
9.26/9.37 c | 43006 | 800 16000 80000 | 2147483647 38130 106 | 0.000 % |
9.36/9.43 c | 43128 | 800 16000 80000 | 2147483647 38252 106 | 0.000 % |
9.36/9.48 c | 43261 | 800 16000 80000 | 2147483647 38385 106 | 0.000 % |
9.46/9.54 c | 43409 | 800 16000 80000 | 2147483647 38533 106 | 0.000 % |
9.56/9.60 c | 43569 | 800 16000 80000 | 2147483647 38693 106 | 0.000 % |
9.56/9.67 c | 43747 | 800 16000 80000 | 2147483647 38871 106 | 0.000 % |
9.66/9.75 c | 43940 | 800 16000 80000 | 2147483647 39064 106 | 0.000 % |
9.76/9.84 c | 44152 | 800 16000 80000 | 2147483647 39276 106 | 0.000 % |
9.86/9.93 c | 44387 | 800 16000 80000 | 2147483647 39511 106 | 0.000 % |
9.97/10.02 c | 44644 | 800 16000 80000 | 2147483647 39768 106 | 0.000 % |
10.06/10.13 c | 44926 | 800 16000 80000 | 2147483647 40050 106 | 0.000 % |
10.16/10.24 c | 45238 | 800 16000 80000 | 2147483647 40362 106 | 0.000 % |
10.26/10.37 c | 45577 | 800 16000 80000 | 2147483647 40701 106 | 0.000 % |
10.46/10.52 c | 45949 | 800 16000 80000 | 2147483647 41073 106 | 0.000 % |
10.56/10.69 c | 46358 | 800 16000 80000 | 2147483647 41482 106 | 0.000 % |
10.76/10.86 c | 46807 | 800 16000 80000 | 2147483647 41931 106 | 0.000 % |
10.97/11.06 c | 47300 | 800 16000 80000 | 2147483647 42424 106 | 0.000 % |
11.16/11.28 c | 47843 | 800 16000 80000 | 2147483647 42967 106 | 0.000 % |
11.46/11.51 c | 48440 | 800 16000 80000 | 2147483647 43564 106 | 0.000 % |
11.66/11.76 c | 49096 | 800 16000 80000 | 2147483647 44220 106 | 0.000 % |
11.76/11.82 c | 49197 | 800 16000 80000 | 2147483647 44321 106 | 0.000 % |
11.76/11.86 c | 49307 | 800 16000 80000 | 2147483647 44431 106 | 0.000 % |
11.86/11.91 c | 49428 | 800 16000 80000 | 2147483647 44552 106 | 0.000 % |
11.86/11.98 c | 49561 | 800 16000 80000 | 2147483647 44685 106 | 0.000 % |
11.96/12.05 c | 49708 | 800 16000 80000 | 2147483647 44832 106 | 0.000 % |
12.06/12.13 c | 49870 | 800 16000 80000 | 2147483647 44994 106 | 0.000 % |
12.16/12.21 c | 50046 | 800 16000 80000 | 2147483647 45170 106 | 0.000 % |
12.26/12.31 c | 50239 | 800 16000 80000 | 2147483647 45363 106 | 0.000 % |
12.35/12.41 c | 50454 | 800 16000 80000 | 2147483647 45578 106 | 0.000 % |
12.45/12.51 c | 50690 | 800 16000 80000 | 2147483647 45814 106 | 0.000 % |
12.55/12.62 c | 50949 | 800 16000 80000 | 2147483647 46073 106 | 0.000 % |
12.65/12.73 c | 51230 | 800 16000 80000 | 2147483647 46354 106 | 0.000 % |
12.75/12.87 c | 51539 | 800 16000 80000 | 2147483647 46663 106 | 0.000 % |
12.96/13.04 c | 51878 | 800 16000 80000 | 2147483647 47002 106 | 0.000 % |
13.16/13.22 c | 52251 | 800 16000 80000 | 2147483647 47375 106 | 0.000 % |
13.36/13.40 c | 52660 | 800 16000 80000 | 2147483647 47784 107 | 0.000 % |
13.56/13.61 c | 53112 | 800 16000 80000 | 2147483647 48236 107 | 0.000 % |
13.76/13.83 c | 53605 | 800 16000 80000 | 2147483647 48729 107 | 0.000 % |
13.96/14.05 c | 54147 | 800 16000 80000 | 2147483647 49271 107 | 0.000 % |
14.26/14.33 c | 54743 | 800 16000 80000 | 2147483647 49867 107 | 0.000 % |
14.56/14.61 c | 55398 | 800 16000 80000 | 2147483647 50522 107 | 0.000 % |
14.86/14.97 c | 56118 | 800 16000 80000 | 2147483647 51242 107 | 0.000 % |
14.95/15.02 c | 56218 | 800 16000 80000 | 2147483647 51342 107 | 0.000 % |
14.95/15.07 c | 56328 | 800 16000 80000 | 2147483647 51452 107 | 0.000 % |
15.05/15.13 c | 56449 | 800 16000 80000 | 2147483647 51573 107 | 0.000 % |
15.15/15.21 c | 56582 | 800 16000 80000 | 2147483647 51706 107 | 0.000 % |
15.25/15.30 c | 56728 | 800 16000 80000 | 2147483647 51852 107 | 0.000 % |
15.25/15.39 c | 56889 | 800 16000 80000 | 2147483647 52013 107 | 0.000 % |
15.36/15.47 c | 57065 | 800 16000 80000 | 2147483647 52189 107 | 0.000 % |
15.46/15.59 c | 57258 | 800 16000 80000 | 2147483647 52382 107 | 0.000 % |
15.65/15.70 c | 57471 | 800 16000 80000 | 2147483647 52595 107 | 0.000 % |
15.75/15.82 c | 57704 | 800 16000 80000 | 2147483647 52828 107 | 0.000 % |
15.85/15.96 c | 57961 | 800 16000 80000 | 2147483647 53085 107 | 0.000 % |
16.05/16.10 c | 58242 | 800 16000 80000 | 2147483647 53366 107 | 0.000 % |
16.15/16.25 c | 58551 | 800 16000 80000 | 2147483647 53675 107 | 0.000 % |
16.35/16.44 c | 58890 | 800 16000 80000 | 2147483647 54014 107 | 0.000 % |
16.55/16.63 c | 59262 | 800 16000 80000 | 2147483647 54386 107 | 0.000 % |
16.75/16.83 c | 59672 | 800 16000 80000 | 2147483647 54796 107 | 0.000 % |
16.95/17.05 c | 60121 | 800 16000 80000 | 2147483647 55245 107 | 0.000 % |
17.15/17.29 c | 60617 | 800 16000 80000 | 2147483647 55741 107 | 0.000 % |
17.45/17.58 c | 61159 | 800 16000 80000 | 2147483647 56283 107 | 0.000 % |
17.75/17.87 c | 61756 | 800 16000 80000 | 2147483647 56880 107 | 0.000 % |
18.05/18.18 c | 62412 | 800 16000 80000 | 2147483647 57536 107 | 0.000 % |
18.45/18.56 c | 63133 | 800 16000 80000 | 2147483647 58257 107 | 0.000 % |
18.85/18.97 c | 63925 | 800 16000 80000 | 2147483647 59049 107 | 0.000 % |
18.95/19.03 c | 64025 | 800 16000 80000 | 2147483647 59149 107 | 0.000 % |
19.04/19.10 c | 64135 | 800 16000 80000 | 2147483647 59259 107 | 0.000 % |
19.04/19.18 c | 64257 | 800 16000 80000 | 2147483647 59381 107 | 0.000 % |
19.14/19.25 c | 64391 | 800 16000 80000 | 2147483647 59515 107 | 0.000 % |
19.25/19.34 c | 64539 | 800 16000 80000 | 2147483647 59663 107 | 0.000 % |
19.35/19.45 c | 64700 | 800 16000 80000 | 2147483647 59824 107 | 0.000 % |
19.45/19.56 c | 64878 | 800 16000 80000 | 2147483647 60002 107 | 0.000 % |
19.55/19.67 c | 65073 | 800 16000 80000 | 2147483647 60197 107 | 0.000 % |
19.75/19.81 c | 65285 | 800 16000 80000 | 2147483647 60409 107 | 0.000 % |
19.85/19.95 c | 65518 | 800 16000 80000 | 2147483647 60642 107 | 0.000 % |
20.04/20.11 c | 65774 | 800 16000 80000 | 2147483647 60898 107 | 0.000 % |
20.14/20.29 c | 66055 | 800 16000 80000 | 2147483647 61179 107 | 0.000 % |
20.34/20.49 c | 66365 | 800 16000 80000 | 2147483647 61489 107 | 0.000 % |
20.54/20.69 c | 66704 | 800 16000 80000 | 2147483647 61828 107 | 0.000 % |
20.84/20.90 c | 67077 | 800 16000 80000 | 2147483647 62201 107 | 0.000 % |
21.05/21.15 c | 67486 | 800 16000 80000 | 2147483647 62610 107 | 0.000 % |
21.35/21.42 c | 67935 | 800 16000 80000 | 2147483647 63059 107 | 0.000 % |
21.55/21.68 c | 68430 | 800 16000 80000 | 2147483647 63554 107 | 0.000 % |
21.85/22.00 c | 68972 | 800 16000 80000 | 2147483647 64096 107 | 0.000 % |
22.25/22.34 c | 69568 | 800 16000 80000 | 2147483647 64692 107 | 0.000 % |
22.65/22.73 c | 70223 | 800 16000 80000 | 2147483647 65347 107 | 0.000 % |
23.05/23.16 c | 70943 | 800 16000 80000 | 2147483647 66067 107 | 0.000 % |
23.55/23.61 c | 71735 | 800 16000 80000 | 2147483647 66859 107 | 0.000 % |
24.05/24.13 c | 72612 | 800 16000 80000 | 2147483647 67736 107 | 0.000 % |
24.05/24.19 c | 72712 | 800 16000 80000 | 2147483647 67836 107 | 0.000 % |
24.15/24.26 c | 72822 | 800 16000 80000 | 2147483647 67946 107 | 0.000 % |
24.25/24.34 c | 72946 | 800 16000 80000 | 2147483647 68070 107 | 0.000 % |
24.35/24.43 c | 73079 | 800 16000 80000 | 2147483647 68203 107 | 0.000 % |
24.44/24.53 c | 73226 | 800 16000 80000 | 2147483647 68350 107 | 0.000 % |
24.54/24.64 c | 73387 | 800 16000 80000 | 2147483647 68511 107 | 0.000 % |
24.64/24.75 c | 73563 | 800 16000 80000 | 2147483647 68687 107 | 0.000 % |
24.84/24.90 c | 73758 | 800 16000 80000 | 2147483647 68882 107 | 0.000 % |
24.94/25.05 c | 73971 | 800 16000 80000 | 2147483647 69095 107 | 0.000 % |
25.14/25.20 c | 74204 | 800 16000 80000 | 2147483647 69328 107 | 0.000 % |
25.25/25.37 c | 74460 | 800 16000 80000 | 2147483647 69584 107 | 0.000 % |
25.44/25.56 c | 74742 | 800 16000 80000 | 2147483647 69866 107 | 0.000 % |
25.64/25.77 c | 75052 | 800 16000 80000 | 2147483647 70176 107 | 0.000 % |
25.94/26.02 c | 75392 | 800 16000 80000 | 2147483647 70516 107 | 0.000 % |
26.14/26.25 c | 75767 | 800 16000 80000 | 2147483647 70891 107 | 0.000 % |
26.44/26.51 c | 76176 | 800 16000 80000 | 2147483647 71300 107 | 0.000 % |
26.64/26.77 c | 76626 | 800 16000 80000 | 2147483647 71750 107 | 0.000 % |
26.94/27.07 c | 77119 | 800 16000 80000 | 2147483647 72243 107 | 0.000 % |
27.34/27.41 c | 77662 | 800 16000 80000 | 2147483647 72786 107 | 0.000 % |
27.64/27.79 c | 78258 | 800 16000 80000 | 2147483647 73382 107 | 0.000 % |
28.14/28.23 c | 78914 | 800 16000 80000 | 2147483647 74038 107 | 0.000 % |
28.54/28.68 c | 79635 | 800 16000 80000 | 2147483647 74759 107 | 0.000 % |
29.14/29.21 c | 80427 | 800 16000 80000 | 2147483647 75551 107 | 0.000 % |
29.65/29.75 c | 81299 | 800 16000 80000 | 2147483647 76423 107 | 0.000 % |
30.24/30.35 c | 82257 | 800 16000 80000 | 2147483647 77381 107 | 0.000 % |
30.34/30.42 c | 82357 | 800 16000 80000 | 2147483647 77481 107 | 0.000 % |
30.34/30.49 c | 82467 | 800 16000 80000 | 2147483647 77591 107 | 0.000 % |
30.44/30.58 c | 82588 | 800 16000 80000 | 2147483647 77712 107 | 0.000 % |
30.64/30.70 c | 82721 | 800 16000 80000 | 2147483647 77845 107 | 0.000 % |
30.74/30.82 c | 82867 | 800 16000 80000 | 2147483647 77991 107 | 0.000 % |
30.84/30.95 c | 83027 | 800 16000 80000 | 2147483647 78151 107 | 0.000 % |
30.94/31.10 c | 83205 | 800 16000 80000 | 2147483647 78329 107 | 0.000 % |
31.14/31.24 c | 83401 | 800 16000 80000 | 2147483647 78525 107 | 0.000 % |
31.24/31.40 c | 83615 | 800 16000 80000 | 2147483647 78739 107 | 0.000 % |
31.44/31.55 c | 83851 | 800 16000 80000 | 2147483647 78975 107 | 0.000 % |
31.63/31.74 c | 84108 | 800 16000 80000 | 2147483647 79232 107 | 0.000 % |
31.84/31.92 c | 84389 | 800 16000 80000 | 2147483647 79513 108 | 0.000 % |
32.03/32.14 c | 84699 | 800 16000 80000 | 2147483647 79823 107 | 0.000 % |
32.23/32.37 c | 85039 | 800 16000 80000 | 2147483647 80163 107 | 0.000 % |
32.53/32.69 c | 85413 | 800 16000 80000 | 2147483647 80537 107 | 0.000 % |
32.83/32.98 c | 85822 | 800 16000 80000 | 2147483647 80946 107 | 0.000 % |
33.23/33.30 c | 86273 | 800 16000 80000 | 2147483647 81397 107 | 0.000 % |
33.53/33.67 c | 86768 | 800 16000 80000 | 2147483647 81892 107 | 0.000 % |
33.93/34.05 c | 87310 | 800 16000 80000 | 2147483647 82434 107 | 0.000 % |
34.44/34.51 c | 87906 | 800 16000 80000 | 2147483647 83030 108 | 0.000 % |
34.84/35.00 c | 88561 | 800 16000 80000 | 2147483647 83685 108 | 0.000 % |
35.44/35.55 c | 89282 | 800 16000 80000 | 2147483647 84406 108 | 0.000 % |
36.04/36.13 c | 90075 | 800 16000 80000 | 85124 85199 108 | 0.000 % |
36.64/36.78 c | 90947 | 800 16000 80000 | 85124 73195 108 | 0.000 % |
37.34/37.42 c | 91905 | 800 16000 80000 | 85124 74153 108 | 0.000 % |
37.93/38.08 c | 92959 | 800 16000 80000 | 85124 75207 108 | 0.000 % |
38.03/38.15 c | 93061 | 800 16000 80000 | 85124 75309 108 | 0.000 % |
38.13/38.25 c | 93172 | 800 16000 80000 | 85124 75420 108 | 0.000 % |
38.23/38.34 c | 93293 | 800 16000 80000 | 85124 75541 108 | 0.000 % |
38.33/38.43 c | 93426 | 800 16000 80000 | 85124 75674 108 | 0.000 % |
38.44/38.54 c | 93573 | 800 16000 80000 | 85124 75821 108 | 0.000 % |
38.54/38.67 c | 93734 | 800 16000 80000 | 85124 75982 108 | 0.000 % |
38.73/38.81 c | 93913 | 800 16000 80000 | 85124 76161 108 | 0.000 % |
38.83/38.96 c | 94109 | 800 16000 80000 | 85124 76357 108 | 0.000 % |
39.03/39.10 c | 94321 | 800 16000 80000 | 85124 76569 108 | 0.000 % |
39.13/39.26 c | 94554 | 800 16000 80000 | 85124 76802 108 | 0.000 % |
39.33/39.46 c | 94811 | 800 16000 80000 | 85124 77059 108 | 0.000 % |
39.54/39.69 c | 95092 | 800 16000 80000 | 85124 77340 108 | 0.000 % |
39.83/39.93 c | 95402 | 800 16000 80000 | 85124 77650 108 | 0.000 % |
40.03/40.19 c | 95741 | 800 16000 80000 | 85124 77989 108 | 0.000 % |
40.33/40.45 c | 96113 | 800 16000 80000 | 85124 78361 108 | 0.000 % |
40.63/40.73 c | 96523 | 800 16000 80000 | 85124 78771 108 | 0.000 % |
40.93/41.08 c | 96972 | 800 16000 80000 | 85124 79220 108 | 0.000 % |
41.33/41.42 c | 97466 | 800 16000 80000 | 85124 79714 108 | 0.000 % |
41.73/41.83 c | 98008 | 800 16000 80000 | 85124 80256 108 | 0.000 % |
42.13/42.30 c | 98604 | 800 16000 80000 | 85124 80852 108 | 0.000 % |
42.73/42.81 c | 99259 | 800 16000 80000 | 85124 81507 108 | 0.000 % |
43.23/43.33 c | 99982 | 800 16000 80000 | 85124 82230 108 | 0.000 % |
43.83/43.91 c | 100775 | 800 16000 80000 | 82248 70201 108 | 0.000 % |
44.33/44.47 c | 101646 | 800 16000 80000 | 82248 71072 108 | 0.000 % |
44.93/45.05 c | 102604 | 800 16000 80000 | 82248 72030 109 | 0.000 % |
45.63/45.73 c | 103659 | 800 16000 80000 | 82248 73085 109 | 0.000 % |
46.33/46.45 c | 104817 | 800 16000 80000 | 82248 74243 109 | 0.000 % |
46.43/46.52 c | 104917 | 800 16000 80000 | 82248 74343 109 | 0.000 % |
46.53/46.61 c | 105027 | 800 16000 80000 | 82248 74453 109 | 0.000 % |
46.63/46.73 c | 105149 | 800 16000 80000 | 82248 74575 109 | 0.000 % |
46.73/46.83 c | 105282 | 800 16000 80000 | 82248 74708 109 | 0.000 % |
46.83/46.94 c | 105428 | 800 16000 80000 | 82248 74854 109 | 0.000 % |
46.93/47.06 c | 105588 | 800 16000 80000 | 82248 75014 109 | 0.000 % |
47.13/47.21 c | 105764 | 800 16000 80000 | 82248 75190 109 | 0.000 % |
47.23/47.37 c | 105960 | 800 16000 80000 | 82248 75386 109 | 0.000 % |
47.43/47.53 c | 106172 | 800 16000 80000 | 82248 75598 109 | 0.000 % |
47.63/47.70 c | 106408 | 800 16000 80000 | 82248 75834 109 | 0.000 % |
47.73/47.89 c | 106664 | 800 16000 80000 | 82248 76090 109 | 0.000 % |
48.03/48.10 c | 106948 | 800 16000 80000 | 82248 76374 109 | 0.000 % |
48.23/48.33 c | 107257 | 800 16000 80000 | 82248 76683 109 | 0.000 % |
48.43/48.58 c | 107596 | 800 16000 80000 | 82248 77022 109 | 0.000 % |
48.73/48.85 c | 107971 | 800 16000 80000 | 82248 77397 109 | 0.000 % |
49.03/49.16 c | 108380 | 800 16000 80000 | 82248 77806 109 | 0.000 % |
49.33/49.49 c | 108829 | 800 16000 80000 | 82248 78255 109 | 0.000 % |
49.73/49.88 c | 109324 | 800 16000 80000 | 82248 78750 109 | 0.000 % |
50.13/50.27 c | 109869 | 800 16000 80000 | 82248 79295 109 | 0.000 % |
50.63/50.73 c | 110465 | 800 16000 80000 | 79426 68365 109 | 0.000 % |
51.03/51.14 c | 111120 | 800 16000 80000 | 79426 69020 109 | 0.000 % |
51.53/51.60 c | 111842 | 800 16000 80000 | 79426 69742 109 | 0.000 % |
51.93/52.04 c | 112636 | 800 16000 80000 | 79426 70536 109 | 0.000 % |
52.43/52.55 c | 113508 | 800 16000 80000 | 79426 71408 109 | 0.000 % |
53.12/53.20 c | 114466 | 800 16000 80000 | 79426 72366 109 | 0.000 % |
53.83/53.92 c | 115519 | 800 16000 80000 | 79426 73419 109 | 0.000 % |
54.62/54.71 c | 116679 | 800 16000 80000 | 79426 74579 109 | 0.000 % |
55.42/55.51 c | 117952 | 800 16000 80000 | 79426 75852 109 | 0.000 % |
55.42/55.59 c | 118053 | 800 16000 80000 | 79426 75953 109 | 0.000 % |
55.52/55.68 c | 118165 | 800 16000 80000 | 79426 76065 109 | 0.000 % |
55.62/55.78 c | 118286 | 800 16000 80000 | 79426 76186 109 | 0.000 % |
55.72/55.88 c | 118419 | 800 16000 80000 | 79426 76319 109 | 0.000 % |
55.82/55.99 c | 118565 | 800 16000 80000 | 79426 76465 109 | 0.000 % |
56.03/56.12 c | 118727 | 800 16000 80000 | 79426 76627 109 | 0.000 % |
56.13/56.25 c | 118903 | 800 16000 80000 | 79426 76803 109 | 0.000 % |
56.22/56.39 c | 119097 | 800 16000 80000 | 79426 76997 109 | 0.000 % |
56.42/56.56 c | 119312 | 800 16000 80000 | 79426 77212 109 | 0.000 % |
56.62/56.73 c | 119546 | 800 16000 80000 | 79426 77446 109 | 0.000 % |
56.82/56.92 c | 119803 | 800 16000 80000 | 79426 77703 109 | 0.000 % |
57.02/57.12 c | 120084 | 800 16000 80000 | 77900 77984 109 | 0.000 % |
57.23/57.38 c | 120393 | 800 16000 80000 | 77900 67463 109 | 0.000 % |
57.42/57.58 c | 120732 | 800 16000 80000 | 77900 67802 109 | 0.000 % |
57.72/57.81 c | 121104 | 800 16000 80000 | 77900 68174 109 | 0.000 % |
57.92/58.05 c | 121515 | 800 16000 80000 | 77900 68585 109 | 0.000 % |
58.22/58.33 c | 121964 | 800 16000 80000 | 77900 69034 109 | 0.000 % |
58.52/58.64 c | 122459 | 800 16000 80000 | 77900 69529 109 | 0.000 % |
58.82/58.94 c | 123002 | 800 16000 80000 | 77900 70072 109 | 0.000 % |
59.22/59.33 c | 123599 | 800 16000 80000 | 77900 70669 109 | 0.000 % |
59.62/59.76 c | 124254 | 800 16000 80000 | 77900 71324 109 | 0.000 % |
60.12/60.22 c | 124975 | 800 16000 80000 | 77900 72045 109 | 0.000 % |
60.62/60.73 c | 125769 | 800 16000 80000 | 77900 72839 109 | 0.000 % |
61.12/61.25 c | 126641 | 800 16000 80000 | 77900 73711 109 | 0.000 % |
61.72/61.86 c | 127599 | 800 16000 80000 | 77900 74669 109 | 0.000 % |
62.52/62.60 c | 128652 | 800 16000 80000 | 77900 75722 109 | 0.000 % |
63.32/63.41 c | 129811 | 800 16000 80000 | 77900 76881 110 | 0.000 % |
64.11/64.28 c | 131084 | 800 16000 80000 | 77070 67983 109 | 0.000 % |
65.01/65.12 c | 132484 | 800 16000 80000 | 77070 69383 110 | 0.000 % |
65.11/65.20 c | 132584 | 800 16000 80000 | 77070 69483 110 | 0.000 % |
65.11/65.29 c | 132694 | 800 16000 80000 | 77070 69593 110 | 0.000 % |
65.21/65.38 c | 132815 | 800 16000 80000 | 77070 69714 110 | 0.000 % |
65.31/65.47 c | 132948 | 800 16000 80000 | 77070 69847 110 | 0.000 % |
65.41/65.58 c | 133094 | 800 16000 80000 | 77070 69993 110 | 0.000 % |
65.51/65.69 c | 133256 | 800 16000 80000 | 77070 70155 110 | 0.000 % |
65.71/65.82 c | 133432 | 800 16000 80000 | 77070 70331 110 | 0.000 % |
65.81/65.96 c | 133625 | 800 16000 80000 | 77070 70524 110 | 0.000 % |
66.02/66.10 c | 133837 | 800 16000 80000 | 77070 70736 110 | 0.000 % |
66.11/66.25 c | 134071 | 800 16000 80000 | 77070 70970 110 | 0.000 % |
66.31/66.43 c | 134328 | 800 16000 80000 | 77070 71227 110 | 0.000 % |
66.51/66.64 c | 134611 | 800 16000 80000 | 77070 71510 110 | 0.000 % |
66.71/66.85 c | 134921 | 800 16000 80000 | 77070 71820 110 | 0.000 % |
66.91/67.08 c | 135260 | 800 16000 80000 | 77070 72159 110 | 0.000 % |
67.21/67.32 c | 135633 | 800 16000 80000 | 77070 72532 110 | 0.000 % |
67.51/67.60 c | 136042 | 800 16000 80000 | 77070 72941 110 | 0.000 % |
67.81/67.93 c | 136491 | 800 16000 80000 | 77070 73390 110 | 0.000 % |
68.11/68.27 c | 136986 | 800 16000 80000 | 77070 73885 110 | 0.000 % |
68.51/68.63 c | 137529 | 800 16000 80000 | 77070 74428 110 | 0.000 % |
68.91/69.04 c | 138126 | 800 16000 80000 | 77070 75025 110 | 0.000 % |
69.31/69.49 c | 138782 | 800 16000 80000 | 77070 75681 110 | 0.000 % |
69.81/69.99 c | 139502 | 800 16000 80000 | 77070 76401 110 | 0.000 % |
70.41/70.55 c | 140295 | 800 16000 80000 | 76899 66906 110 | 0.000 % |
70.91/71.05 c | 141167 | 800 16000 80000 | 76899 67778 110 | 0.000 % |
71.51/71.63 c | 142125 | 800 16000 80000 | 76899 68736 110 | 0.000 % |
72.11/72.28 c | 143179 | 800 16000 80000 | 76899 69790 110 | 0.000 % |
72.81/72.98 c | 144338 | 800 16000 80000 | 76899 70949 110 | 0.000 % |
73.61/73.78 c | 145614 | 800 16000 80000 | 76899 72225 110 | 0.000 % |
74.51/74.63 c | 147015 | 800 16000 80000 | 76899 73626 111 | 0.000 % |
75.51/75.68 c | 148555 | 800 16000 80000 | 76899 75166 111 | 0.000 % |
75.61/75.76 c | 148655 | 800 16000 80000 | 76899 75266 111 | 0.000 % |
75.71/75.85 c | 148766 | 800 16000 80000 | 76899 75377 111 | 0.000 % |
75.81/75.94 c | 148889 | 800 16000 80000 | 76899 75500 111 | 0.000 % |
75.91/76.05 c | 149025 | 800 16000 80000 | 76899 75636 111 | 0.000 % |
76.01/76.16 c | 149171 | 800 16000 80000 | 76899 75782 111 | 0.000 % |
76.11/76.28 c | 149331 | 800 16000 80000 | 76899 75942 111 | 0.000 % |
76.31/76.41 c | 149507 | 800 16000 80000 | 76899 76118 111 | 0.000 % |
76.41/76.56 c | 149700 | 800 16000 80000 | 76899 76311 111 | 0.000 % |
76.61/76.70 c | 149913 | 800 16000 80000 | 76899 76524 111 | 0.000 % |
76.71/76.89 c | 150148 | 800 16000 80000 | 76612 76759 111 | 0.000 % |
76.91/77.08 c | 150404 | 800 16000 80000 | 76612 67350 111 | 0.000 % |
77.11/77.26 c | 150686 | 800 16000 80000 | 76612 67632 111 | 0.000 % |
77.31/77.47 c | 150997 | 800 16000 80000 | 76612 67943 111 | 0.000 % |
77.51/77.68 c | 151336 | 800 16000 80000 | 76612 68282 111 | 0.000 % |
77.81/77.91 c | 151710 | 800 16000 80000 | 76612 68656 110 | 0.000 % |
78.01/78.18 c | 152119 | 800 16000 80000 | 76612 69065 111 | 0.000 % |
78.31/78.46 c | 152569 | 800 16000 80000 | 76612 69515 111 | 0.000 % |
78.71/78.81 c | 153063 | 800 16000 80000 | 76612 70009 110 | 0.000 % |
79.01/79.16 c | 153605 | 800 16000 80000 | 76612 70551 110 | 0.000 % |
79.41/79.52 c | 154201 | 800 16000 80000 | 76612 71147 110 | 0.000 % |
79.81/79.96 c | 154857 | 800 16000 80000 | 76612 71803 111 | 0.000 % |
80.31/80.42 c | 155578 | 800 16000 80000 | 76612 72524 111 | 0.000 % |
80.80/80.94 c | 156370 | 800 16000 80000 | 76612 73316 111 | 0.000 % |
81.41/81.54 c | 157242 | 800 16000 80000 | 76612 74188 111 | 0.000 % |
82.00/82.19 c | 158203 | 800 16000 80000 | 76612 75149 111 | 0.000 % |
82.80/82.93 c | 159259 | 800 16000 80000 | 76612 76205 111 | 0.000 % |
83.61/83.78 c | 160419 | 800 16000 80000 | 66996 58978 111 | 0.000 % |
84.30/84.46 c | 161693 | 800 16000 80000 | 66996 60252 111 | 0.000 % |
85.10/85.26 c | 163093 | 800 16000 80000 | 66996 61652 111 | 0.000 % |
86.10/86.21 c | 164634 | 800 16000 80000 | 66996 63193 111 | 0.000 % |
87.10/87.23 c | 166330 | 800 16000 80000 | 66996 64889 112 | 0.000 % |
87.10/87.30 c | 166431 | 800 16000 80000 | 66996 64990 112 | 0.000 % |
87.20/87.37 c | 166541 | 800 16000 80000 | 66996 65100 112 | 0.000 % |
87.30/87.47 c | 166662 | 800 16000 80000 | 66996 65221 112 | 0.000 % |
87.40/87.55 c | 166795 | 800 16000 80000 | 66996 65354 112 | 0.000 % |
87.50/87.65 c | 166942 | 800 16000 80000 | 66996 65501 111 | 0.000 % |
87.60/87.74 c | 167103 | 800 16000 80000 | 66996 65662 111 | 0.000 % |
87.70/87.86 c | 167280 | 800 16000 80000 | 66996 65839 111 | 0.000 % |
87.80/87.98 c | 167474 | 800 16000 80000 | 66996 66033 111 | 0.000 % |
88.01/88.12 c | 167687 | 800 16000 80000 | 66996 66246 111 | 0.000 % |
88.10/88.26 c | 167920 | 800 16000 80000 | 66996 66479 111 | 0.000 % |
88.30/88.41 c | 168177 | 800 16000 80000 | 66996 66736 111 | 0.000 % |
88.40/88.59 c | 168458 | 800 16000 80000 | 66996 67017 111 | 0.000 % |
88.70/88.80 c | 168767 | 800 16000 80000 | 66996 60625 111 | 0.000 % |
88.90/89.00 c | 169109 | 800 16000 80000 | 66996 60967 111 | 0.000 % |
89.01/89.19 c | 169481 | 800 16000 80000 | 66996 61339 111 | 0.000 % |
89.30/89.42 c | 169892 | 800 16000 80000 | 66996 61750 111 | 0.000 % |
89.50/89.66 c | 170342 | 800 16000 80000 | 2147483647 62200 111 | 0.000 % |
89.80/89.92 c | 170835 | 800 16000 80000 | 2147483647 62693 111 | 0.000 % |
90.10/90.22 c | 171379 | 800 16000 80000 | 2147483647 63237 111 | 0.000 % |
90.40/90.59 c | 171975 | 800 16000 80000 | 2147483647 63833 111 | 0.000 % |
90.80/90.96 c | 172634 | 800 16000 80000 | 2147483647 64492 112 | 0.000 % |
91.20/91.36 c | 173354 | 800 16000 80000 | 2147483647 65212 112 | 0.000 % |
91.70/91.80 c | 174146 | 800 16000 80000 | 2147483647 66004 112 | 0.000 % |
92.10/92.26 c | 175017 | 800 16000 80000 | 2147483647 66875 112 | 0.000 % |
92.80/92.93 c | 175975 | 800 16000 80000 | 2147483647 67833 112 | 0.000 % |
93.40/93.60 c | 177028 | 800 16000 80000 | 2147483647 68886 112 | 0.000 % |
94.20/94.37 c | 178187 | 800 16000 80000 | 2147483647 70045 112 | 0.000 % |
95.00/95.14 c | 179461 | 800 16000 80000 | 2147483647 71319 112 | 0.000 % |
95.90/96.03 c | 180861 | 800 16000 80000 | 2147483647 72719 112 | 0.000 % |
96.90/97.00 c | 182403 | 800 16000 80000 | 2147483647 74261 112 | 0.000 % |
97.90/98.02 c | 184097 | 800 16000 80000 | 2147483647 75955 112 | 0.000 % |
99.10/99.23 c | 185960 | 800 16000 80000 | 2147483647 77818 112 | 0.000 % |
99.20/99.31 c | 186060 | 800 16000 80000 | 2147483647 77918 112 | 0.000 % |
99.30/99.41 c | 186173 | 800 16000 80000 | 2147483647 78031 112 | 0.000 % |
99.40/99.50 c | 186295 | 800 16000 80000 | 2147483647 78153 112 | 0.000 % |
99.50/99.61 c | 186428 | 800 16000 80000 | 2147483647 78286 112 | 0.000 % |
99.60/99.72 c | 186576 | 800 16000 80000 | 2147483647 78434 112 | 0.000 % |
99.70/99.87 c | 186736 | 800 16000 80000 | 2147483647 78594 112 | 0.000 % |
99.90/100.01 c | 186912 | 800 16000 80000 | 2147483647 78770 112 | 0.000 % |
100.00/100.17 c | 187105 | 800 16000 80000 | 2147483647 78963 112 | 0.000 % |
100.20/100.32 c | 187317 | 800 16000 80000 | 2147483647 79175 112 | 0.000 % |
100.30/100.49 c | 187550 | 800 16000 80000 | 2147483647 79408 112 | 0.000 % |
100.60/100.72 c | 187806 | 800 16000 80000 | 2147483647 79664 112 | 0.000 % |
100.79/100.95 c | 188089 | 800 16000 80000 | 2147483647 79947 112 | 0.000 % |
101.10/101.21 c | 188398 | 800 16000 80000 | 2147483647 80256 112 | 0.000 % |
101.29/101.49 c | 188737 | 800 16000 80000 | 2147483647 80595 112 | 0.000 % |
101.59/101.74 c | 189109 | 800 16000 80000 | 2147483647 80967 112 | 0.000 % |
101.89/102.05 c | 189519 | 800 16000 80000 | 2147483647 81377 112 | 0.000 % |
102.20/102.38 c | 189969 | 800 16000 80000 | 2147483647 81827 112 | 0.000 % |
102.59/102.77 c | 190462 | 800 16000 80000 | 81858 70968 112 | 0.000 % |
102.99/103.10 c | 191005 | 800 16000 80000 | 81858 71511 112 | 0.000 % |
103.40/103.52 c | 191601 | 800 16000 80000 | 81858 72107 112 | 0.000 % |
103.79/103.94 c | 192256 | 800 16000 80000 | 81858 72762 112 | 0.000 % |
104.29/104.42 c | 192976 | 800 16000 80000 | 81858 73482 112 | 0.000 % |
104.79/104.93 c | 193768 | 800 16000 80000 | 81858 74274 112 | 0.000 % |
105.39/105.51 c | 194644 | 800 16000 80000 | 81858 75150 112 | 0.000 % |
105.99/106.18 c | 195603 | 800 16000 80000 | 81858 76109 112 | 0.000 % |
106.70/106.89 c | 196658 | 800 16000 80000 | 81858 77164 112 | 0.000 % |
107.49/107.67 c | 197823 | 800 16000 80000 | 81858 78329 112 | 0.000 % |
108.39/108.57 c | 199096 | 800 16000 80000 | 81858 79602 112 | 0.000 % |
109.49/109.62 c | 200497 | 800 16000 80000 | 80507 69640 112 | 0.000 % |
110.39/110.58 c | 202039 | 800 16000 80000 | 80507 71182 112 | 0.000 % |
111.49/111.67 c | 203735 | 800 16000 80000 | 80507 72878 112 | 0.000 % |
112.69/112.82 c | 205598 | 800 16000 80000 | 80507 74741 112 | 0.000 % |
114.09/114.23 c | 207648 | 800 16000 80000 | 80507 76791 112 | 0.000 % |
114.19/114.30 c | 207748 | 800 16000 80000 | 80507 76891 112 | 0.000 % |
114.19/114.39 c | 207860 | 800 16000 80000 | 80507 77003 112 | 0.000 % |
114.29/114.49 c | 207981 | 800 16000 80000 | 80507 77124 112 | 0.000 % |
114.39/114.59 c | 208118 | 800 16000 80000 | 80507 77261 112 | 0.000 % |
114.49/114.69 c | 208266 | 800 16000 80000 | 80507 77409 112 | 0.000 % |
114.69/114.81 c | 208426 | 800 16000 80000 | 80507 77569 112 | 0.000 % |
114.79/114.95 c | 208602 | 800 16000 80000 | 80507 77745 112 | 0.000 % |
114.89/115.09 c | 208797 | 800 16000 80000 | 80507 77940 112 | 0.000 % |
115.09/115.25 c | 209009 | 800 16000 80000 | 80507 78152 112 | 0.000 % |
115.29/115.47 c | 209242 | 800 16000 80000 | 80507 78385 112 | 0.000 % |
115.49/115.67 c | 209498 | 800 16000 80000 | 80507 78641 112 | 0.000 % |
115.69/115.89 c | 209780 | 800 16000 80000 | 80507 78923 112 | 0.000 % |
115.99/116.11 c | 210089 | 800 16000 80000 | 79143 79232 112 | 0.000 % |
116.29/116.41 c | 210428 | 800 16000 80000 | 79143 68745 112 | 0.000 % |
116.49/116.67 c | 210802 | 800 16000 80000 | 79143 69119 112 | 0.000 % |
116.79/116.94 c | 211212 | 800 16000 80000 | 79143 69529 112 | 0.000 % |
117.09/117.23 c | 211661 | 800 16000 80000 | 79143 69978 112 | 0.000 % |
117.38/117.54 c | 212155 | 800 16000 80000 | 79143 70472 112 | 0.000 % |
117.69/117.86 c | 212697 | 800 16000 80000 | 79143 71014 112 | 0.000 % |
118.08/118.24 c | 213293 | 800 16000 80000 | 79143 71610 112 | 0.000 % |
118.48/118.68 c | 213950 | 800 16000 80000 | 79143 72267 112 | 0.000 % |
118.98/119.14 c | 214670 | 800 16000 80000 | 79143 72987 112 | 0.000 % |
119.48/119.61 c | 215462 | 800 16000 80000 | 79143 73779 112 | 0.000 % |
119.98/120.16 c | 216333 | 800 16000 80000 | 79143 74650 112 | 0.000 % |
120.58/120.79 c | 217292 | 800 16000 80000 | 79143 75609 112 | 0.000 % |
121.28/121.49 c | 218347 | 800 16000 80000 | 79143 76664 112 | 0.000 % |
121.99/122.19 c | 219506 | 800 16000 80000 | 79143 77823 112 | 0.000 % |
122.98/123.15 c | 220780 | 800 16000 80000 | 78317 68867 112 | 0.000 % |
123.88/124.01 c | 222180 | 800 16000 80000 | 78317 70267 112 | 0.000 % |
124.78/124.98 c | 223721 | 800 16000 80000 | 78317 71808 112 | 0.000 % |
125.88/126.04 c | 225416 | 800 16000 80000 | 78317 73503 112 | 0.000 % |
127.08/127.25 c | 227279 | 800 16000 80000 | 78317 75366 112 | 0.000 % |
128.48/128.61 c | 229328 | 800 16000 80000 | 78317 77415 112 | 0.000 % |
129.88/130.10 c | 231581 | 800 16000 80000 | 78087 69836 113 | 0.000 % |
129.98/130.18 c | 231682 | 800 16000 80000 | 78087 69937 113 | 0.000 % |
130.08/130.27 c | 231792 | 800 16000 80000 | 78087 70047 113 | 0.000 % |
130.18/130.35 c | 231914 | 800 16000 80000 | 78087 70169 113 | 0.000 % |
130.28/130.45 c | 232048 | 800 16000 80000 | 78087 70303 113 | 0.000 % |
130.38/130.55 c | 232195 | 800 16000 80000 | 78087 70450 113 | 0.000 % |
130.48/130.66 c | 232358 | 800 16000 80000 | 78087 70613 113 | 0.000 % |
130.58/130.77 c | 232535 | 800 16000 80000 | 78087 70790 113 | 0.000 % |
130.79/130.92 c | 232728 | 800 16000 80000 | 78087 70983 113 | 0.000 % |
130.88/131.06 c | 232940 | 800 16000 80000 | 78087 71195 112 | 0.000 % |
131.08/131.23 c | 233173 | 800 16000 80000 | 78087 71428 113 | 0.000 % |
131.18/131.39 c | 233429 | 800 16000 80000 | 78087 71684 113 | 0.000 % |
131.38/131.58 c | 233710 | 800 16000 80000 | 78087 71965 113 | 0.000 % |
131.58/131.77 c | 234019 | 800 16000 80000 | 78087 72274 113 | 0.000 % |
131.88/132.01 c | 234359 | 800 16000 80000 | 78087 72614 113 | 0.000 % |
132.08/132.27 c | 234733 | 800 16000 80000 | 78087 72988 113 | 0.000 % |
132.38/132.55 c | 235144 | 800 16000 80000 | 78087 73399 113 | 0.000 % |
132.68/132.86 c | 235593 | 800 16000 80000 | 78087 73848 113 | 0.000 % |
133.08/133.21 c | 236088 | 800 16000 80000 | 78087 74343 112 | 0.000 % |
133.48/133.60 c | 236631 | 800 16000 80000 | 78087 74886 112 | 0.000 % |
133.88/134.04 c | 237230 | 800 16000 80000 | 78087 75485 112 | 0.000 % |
134.28/134.46 c | 237885 | 800 16000 80000 | 78087 76140 112 | 0.000 % |
134.78/134.96 c | 238606 | 800 16000 80000 | 78087 76861 112 | 0.000 % |
135.28/135.48 c | 239398 | 800 16000 80000 | 78087 77653 113 | 0.000 % |
135.88/136.08 c | 240270 | 800 16000 80000 | 78256 78525 113 | 0.000 % |
136.48/136.69 c | 241229 | 800 16000 80000 | 78256 69257 112 | 0.000 % |
137.18/137.35 c | 242282 | 800 16000 80000 | 78256 70310 112 | 0.000 % |
137.88/138.10 c | 243440 | 800 16000 80000 | 78256 71468 112 | 0.000 % |
138.67/138.89 c | 244713 | 800 16000 80000 | 78256 72741 112 | 0.000 % |
139.58/139.79 c | 246113 | 800 16000 80000 | 78256 74141 112 | 0.000 % |
140.57/140.80 c | 247653 | 800 16000 80000 | 78256 75681 112 | 0.000 % |
141.67/141.82 c | 249347 | 800 16000 80000 | 78256 77375 112 | 0.000 % |
142.98/143.10 c | 251212 | 800 16000 80000 | 78029 69814 112 | 0.000 % |
144.17/144.35 c | 253262 | 800 16000 80000 | 78029 71864 112 | 0.000 % |
145.57/145.74 c | 255515 | 800 16000 80000 | 78029 74117 112 | 0.000 % |
147.28/147.41 c | 257994 | 800 16000 80000 | 78029 76596 112 | 0.000 % |
147.28/147.48 c | 258094 | 800 16000 80000 | 78029 76696 112 | 0.000 % |
147.37/147.58 c | 258204 | 800 16000 80000 | 78029 76806 112 | 0.000 % |
147.47/147.67 c | 258325 | 800 16000 80000 | 78029 76927 112 | 0.000 % |
147.57/147.77 c | 258459 | 800 16000 80000 | 78029 77061 112 | 0.000 % |
147.67/147.88 c | 258606 | 800 16000 80000 | 78029 77208 112 | 0.000 % |
147.87/148.00 c | 258767 | 800 16000 80000 | 78029 77369 112 | 0.000 % |
147.97/148.13 c | 258944 | 800 16000 80000 | 78029 77546 112 | 0.000 % |
148.07/148.27 c | 259140 | 800 16000 80000 | 78029 77742 112 | 0.000 % |
148.27/148.41 c | 259353 | 800 16000 80000 | 78029 77955 112 | 0.000 % |
148.37/148.57 c | 259586 | 800 16000 80000 | 78029 78188 112 | 0.000 % |
148.67/148.82 c | 259843 | 800 16000 80000 | 78029 68625 112 | 0.000 % |
148.87/149.02 c | 260125 | 800 16000 80000 | 68784 68907 112 | 0.000 % |
149.07/149.24 c | 260435 | 800 16000 80000 | 68784 60487 112 | 0.000 % |
149.27/149.44 c | 260774 | 800 16000 80000 | 68784 60826 112 | 0.000 % |
149.47/149.66 c | 261147 | 800 16000 80000 | 68784 61199 112 | 0.000 % |
149.67/149.89 c | 261556 | 800 16000 80000 | 68784 61608 112 | 0.000 % |
149.97/150.15 c | 262005 | 800 16000 80000 | 68784 62057 112 | 0.000 % |
150.27/150.46 c | 262499 | 800 16000 80000 | 68784 62551 112 | 0.000 % |
150.57/150.75 c | 263041 | 800 16000 80000 | 68784 63093 112 | 0.000 % |
150.87/151.09 c | 263638 | 800 16000 80000 | 68784 63690 112 | 0.000 % |
151.27/151.45 c | 264293 | 800 16000 80000 | 68784 64345 112 | 0.000 % |
151.67/151.83 c | 265013 | 800 16000 80000 | 68784 65065 112 | 0.000 % |
152.17/152.31 c | 265806 | 800 16000 80000 | 68784 65858 112 | 0.000 % |
152.67/152.85 c | 266677 | 800 16000 80000 | 68784 66729 112 | 0.000 % |
153.27/153.41 c | 267635 | 800 16000 80000 | 68784 67687 112 | 0.000 % |
153.87/154.06 c | 268688 | 800 16000 80000 | 68784 68740 112 | 0.000 % |
154.67/154.81 c | 269847 | 800 16000 80000 | 68784 62996 112 | 0.000 % |
155.37/155.52 c | 271120 | 800 16000 80000 | 2147483647 64269 112 | 0.000 % |
156.17/156.32 c | 272520 | 800 16000 80000 | 2147483647 65669 112 | 0.000 % |
157.07/157.22 c | 274060 | 800 16000 80000 | 2147483647 67209 112 | 0.000 % |
158.06/158.28 c | 275756 | 800 16000 80000 | 2147483647 68905 112 | 0.000 % |
159.26/159.46 c | 277619 | 800 16000 80000 | 2147483647 70768 112 | 0.000 % |
160.57/160.73 c | 279668 | 800 16000 80000 | 2147483647 72817 112 | 0.000 % |
161.97/162.10 c | 281921 | 800 16000 80000 | 2147483647 75070 113 | 0.000 % |
163.57/163.73 c | 284402 | 800 16000 80000 | 2147483647 77551 113 | 0.000 % |
165.27/165.48 c | 287128 | 800 16000 80000 | 2147483647 80277 113 | 0.000 % |
165.37/165.55 c | 287231 | 800 16000 80000 | 2147483647 80380 113 | 0.000 % |
165.47/165.63 c | 287343 | 800 16000 80000 | 2147483647 80492 113 | 0.000 % |
165.57/165.72 c | 287466 | 800 16000 80000 | 2147483647 80615 113 | 0.000 % |
165.67/165.83 c | 287599 | 800 16000 80000 | 2147483647 80748 113 | 0.000 % |
165.77/165.96 c | 287745 | 800 16000 80000 | 2147483647 80894 113 | 0.000 % |
165.87/166.10 c | 287905 | 800 16000 80000 | 2147483647 81054 113 | 0.000 % |
166.07/166.24 c | 288081 | 800 16000 80000 | 2147483647 81230 113 | 0.000 % |
166.27/166.42 c | 288275 | 800 16000 80000 | 2147483647 81424 113 | 0.000 % |
166.37/166.59 c | 288487 | 800 16000 80000 | 2147483647 81636 113 | 0.000 % |
166.57/166.77 c | 288721 | 800 16000 80000 | 2147483647 81870 113 | 0.000 % |
166.77/166.98 c | 288977 | 800 16000 80000 | 2147483647 82126 113 | 0.000 % |
166.97/167.20 c | 289261 | 800 16000 80000 | 2147483647 82410 113 | 0.000 % |
167.26/167.46 c | 289570 | 800 16000 80000 | 2147483647 82719 113 | 0.000 % |
167.56/167.75 c | 289912 | 800 16000 80000 | 2147483647 83061 113 | 0.000 % |
167.96/168.11 c | 290285 | 800 16000 80000 | 83149 71696 114 | 0.000 % |
168.17/168.38 c | 290695 | 800 16000 80000 | 83149 72106 114 | 0.000 % |
168.46/168.69 c | 291145 | 800 16000 80000 | 83149 72556 113 | 0.000 % |
168.86/169.03 c | 291639 | 800 16000 80000 | 83149 73050 113 | 0.000 % |
169.16/169.39 c | 292183 | 800 16000 80000 | 83149 73594 113 | 0.000 % |
169.56/169.78 c | 292779 | 800 16000 80000 | 83149 74190 113 | 0.000 % |
170.06/170.24 c | 293434 | 800 16000 80000 | 83149 74845 113 | 0.000 % |
170.56/170.74 c | 294155 | 800 16000 80000 | 83149 75566 113 | 0.000 % |
171.06/171.28 c | 294949 | 800 16000 80000 | 83149 76360 113 | 0.000 % |
171.66/171.83 c | 295820 | 800 16000 80000 | 83149 77231 113 | 0.000 % |
172.26/172.45 c | 296778 | 800 16000 80000 | 83149 78189 113 | 0.000 % |
172.96/173.15 c | 297832 | 800 16000 80000 | 83149 79243 113 | 0.000 % |
173.77/173.92 c | 298991 | 800 16000 80000 | 83149 80402 113 | 0.000 % |
174.56/174.78 c | 300264 | 800 16000 80000 | 81413 81675 113 | 0.000 % |
175.56/175.71 c | 301665 | 800 16000 80000 | 81413 71785 113 | 0.000 % |
176.56/176.70 c | 303205 | 800 16000 80000 | 81413 73325 113 | 0.000 % |
177.56/177.76 c | 304901 | 800 16000 80000 | 81413 75021 113 | 0.000 % |
178.76/178.96 c | 306765 | 800 16000 80000 | 81413 76885 113 | 0.000 % |
180.16/180.30 c | 308814 | 800 16000 80000 | 81413 78934 113 | 0.000 % |
181.66/181.82 c | 311067 | 800 16000 80000 | 80121 70666 113 | 0.000 % |
183.16/183.36 c | 313546 | 800 16000 80000 | 80121 73145 113 | 0.000 % |
184.96/185.10 c | 316271 | 800 16000 80000 | 80121 75870 113 | 0.000 % |
186.86/187.07 c | 319268 | 800 16000 80000 | 80121 78867 113 | 0.000 % |
186.96/187.13 c | 319370 | 800 16000 80000 | 80121 78969 113 | 0.000 % |
187.05/187.21 c | 319481 | 800 16000 80000 | 80121 79080 113 | 0.000 % |
187.15/187.32 c | 319602 | 800 16000 80000 | 80121 79201 113 | 0.000 % |
187.25/187.41 c | 319735 | 800 16000 80000 | 80121 79334 113 | 0.000 % |
187.35/187.53 c | 319881 | 800 16000 80000 | 80121 79480 113 | 0.000 % |
187.45/187.66 c | 320042 | 800 16000 80000 | 79601 79641 113 | 0.000 % |
187.65/187.86 c | 320218 | 800 16000 80000 | 79601 69069 113 | 0.000 % |
187.85/188.00 c | 320411 | 800 16000 80000 | 79601 69262 113 | 0.000 % |
187.96/188.15 c | 320623 | 800 16000 80000 | 79601 69474 113 | 0.000 % |
188.15/188.31 c | 320857 | 800 16000 80000 | 79601 69708 113 | 0.000 % |
188.25/188.48 c | 321114 | 800 16000 80000 | 79601 69965 113 | 0.000 % |
188.45/188.68 c | 321395 | 800 16000 80000 | 79601 70246 113 | 0.000 % |
188.65/188.87 c | 321704 | 800 16000 80000 | 79601 70555 113 | 0.000 % |
188.95/189.10 c | 322044 | 800 16000 80000 | 79601 70895 113 | 0.000 % |
189.16/189.38 c | 322416 | 800 16000 80000 | 79601 71267 113 | 0.000 % |
189.45/189.67 c | 322825 | 800 16000 80000 | 79601 71676 113 | 0.000 % |
189.75/189.99 c | 323275 | 800 16000 80000 | 79601 72126 113 | 0.000 % |
190.16/190.33 c | 323769 | 800 16000 80000 | 79601 72620 113 | 0.000 % |
190.45/190.69 c | 324311 | 800 16000 80000 | 79601 73162 113 | 0.000 % |
190.85/191.07 c | 324908 | 800 16000 80000 | 79601 73759 113 | 0.000 % |
191.36/191.51 c | 325566 | 800 16000 80000 | 79601 74417 113 | 0.000 % |
191.85/192.03 c | 326287 | 800 16000 80000 | 79601 75138 113 | 0.000 % |
192.36/192.58 c | 327079 | 800 16000 80000 | 79601 75930 113 | 0.000 % |
193.05/193.22 c | 327950 | 800 16000 80000 | 79601 76801 113 | 0.000 % |
193.65/193.89 c | 328908 | 800 16000 80000 | 79601 77759 113 | 0.000 % |
194.35/194.58 c | 329961 | 800 16000 80000 | 79601 78812 113 | 0.000 % |
195.15/195.33 c | 331123 | 800 16000 80000 | 78852 68886 113 | 0.000 % |
195.95/196.13 c | 332396 | 800 16000 80000 | 78852 70159 113 | 0.000 % |
196.75/196.96 c | 333796 | 800 16000 80000 | 78852 71559 113 | 0.000 % |
197.75/197.91 c | 335337 | 800 16000 80000 | 78852 73100 113 | 0.000 % |
198.75/198.98 c | 337031 | 800 16000 80000 | 78852 74794 113 | 0.000 % |
200.05/200.25 c | 338894 | 800 16000 80000 | 78852 76657 113 | 0.000 % |
201.35/201.59 c | 340945 | 800 16000 80000 | 77764 68303 114 | 0.000 % |
202.75/202.99 c | 343200 | 800 16000 80000 | 77764 70558 113 | 0.000 % |
204.45/204.61 c | 345678 | 800 16000 80000 | 77764 73036 114 | 0.000 % |
206.25/206.44 c | 348404 | 800 16000 80000 | 77764 75762 114 | 0.000 % |
208.25/208.40 c | 351402 | 800 16000 80000 | 77359 69590 114 | 0.000 % |
210.24/210.46 c | 354698 | 800 16000 80000 | 77359 72886 114 | 0.000 % |
210.34/210.54 c | 354801 | 800 16000 80000 | 77359 72989 114 | 0.000 % |
210.44/210.61 c | 354911 | 800 16000 80000 | 77359 73099 114 | 0.000 % |
210.54/210.71 c | 355035 | 800 16000 80000 | 77359 73223 114 | 0.000 % |
210.64/210.82 c | 355168 | 800 16000 80000 | 77359 73356 114 | 0.000 % |
210.74/210.91 c | 355314 | 800 16000 80000 | 77359 73502 114 | 0.000 % |
210.84/211.02 c | 355474 | 800 16000 80000 | 77359 73662 114 | 0.000 % |
210.94/211.15 c | 355652 | 800 16000 80000 | 77359 73840 114 | 0.000 % |
211.15/211.31 c | 355845 | 800 16000 80000 | 77359 74033 114 | 0.000 % |
211.24/211.46 c | 356058 | 800 16000 80000 | 77359 74246 114 | 0.000 % |
211.44/211.65 c | 356292 | 800 16000 80000 | 77359 74480 114 | 0.000 % |
211.64/211.87 c | 356548 | 800 16000 80000 | 77359 74736 114 | 0.000 % |
211.84/212.07 c | 356830 | 800 16000 80000 | 77359 75018 114 | 0.000 % |
212.04/212.29 c | 357142 | 800 16000 80000 | 77359 75330 114 | 0.000 % |
212.34/212.52 c | 357481 | 800 16000 80000 | 77359 75669 114 | 0.000 % |
212.54/212.79 c | 357853 | 800 16000 80000 | 77359 76041 114 | 0.000 % |
212.84/213.08 c | 358262 | 800 16000 80000 | 77359 76450 114 | 0.000 % |
213.14/213.40 c | 358712 | 800 16000 80000 | 77359 76900 114 | 0.000 % |
213.44/213.69 c | 359206 | 800 16000 80000 | 77359 77394 114 | 0.000 % |
213.84/214.08 c | 359750 | 800 16000 80000 | 77359 68758 114 | 0.000 % |
214.24/214.49 c | 360346 | 800 16000 80000 | 69009 61391 114 | 0.000 % |
214.64/214.84 c | 361002 | 800 16000 80000 | 69009 62047 114 | 0.000 % |
215.04/215.28 c | 361722 | 800 16000 80000 | 69009 62767 114 | 0.000 % |
215.54/215.74 c | 362515 | 800 16000 80000 | 69009 63560 114 | 0.000 % |
216.04/216.21 c | 363387 | 800 16000 80000 | 69009 64432 114 | 0.000 % |
216.54/216.72 c | 364349 | 800 16000 80000 | 69009 65394 114 | 0.000 % |
217.04/217.29 c | 365402 | 800 16000 80000 | 69009 66447 114 | 0.000 % |
217.74/217.98 c | 366560 | 800 16000 80000 | 69009 67605 114 | 0.000 % |
218.64/218.83 c | 367835 | 800 16000 80000 | 69009 68880 114 | 0.000 % |
219.44/219.69 c | 369235 | 800 16000 80000 | 69009 63354 114 | 0.000 % |
220.34/220.57 c | 370775 | 800 16000 80000 | 2147483647 64894 114 | 0.000 % |
221.34/221.55 c | 372470 | 800 16000 80000 | 2147483647 66589 114 | 0.000 % |
222.44/222.66 c | 374334 | 800 16000 80000 | 2147483647 68453 114 | 0.000 % |
223.74/223.92 c | 376383 | 800 16000 80000 | 2147483647 70502 114 | 0.000 % |
225.14/225.34 c | 378637 | 800 16000 80000 | 2147483647 72756 114 | 0.000 % |
226.64/226.87 c | 381115 | 800 16000 80000 | 2147483647 75234 114 | 0.000 % |
228.44/228.60 c | 383842 | 800 16000 80000 | 2147483647 77961 114 | 0.000 % |
230.24/230.48 c | 386840 | 800 16000 80000 | 2147483647 80959 115 | 0.000 % |
232.64/232.88 c | 390136 | 800 16000 80000 | 84119 84255 115 | 0.000 % |
235.04/235.26 c | 393763 | 800 16000 80000 | 84119 76893 115 | 0.000 % |
235.14/235.33 c | 393863 | 800 16000 80000 | 84119 76993 115 | 0.000 % |
235.24/235.41 c | 393973 | 800 16000 80000 | 84119 77103 115 | 0.000 % |
235.34/235.51 c | 394094 | 800 16000 80000 | 84119 77224 115 | 0.000 % |
235.44/235.64 c | 394227 | 800 16000 80000 | 84119 77357 115 | 0.000 % |
235.54/235.75 c | 394373 | 800 16000 80000 | 84119 77503 115 | 0.000 % |
235.64/235.86 c | 394534 | 800 16000 80000 | 84119 77664 115 | 0.000 % |
235.74/236.00 c | 394710 | 800 16000 80000 | 84119 77840 115 | 0.000 % |
235.94/236.14 c | 394904 | 800 16000 80000 | 84119 78034 115 | 0.000 % |
236.04/236.29 c | 395116 | 800 16000 80000 | 84119 78246 115 | 0.000 % |
236.24/236.45 c | 395352 | 800 16000 80000 | 84119 78482 115 | 0.000 % |
236.44/236.65 c | 395608 | 800 16000 80000 | 84119 78738 115 | 0.000 % |
236.64/236.86 c | 395891 | 800 16000 80000 | 84119 79021 115 | 0.000 % |
236.94/237.11 c | 396200 | 800 16000 80000 | 84119 79330 115 | 0.000 % |
237.13/237.36 c | 396540 | 800 16000 80000 | 84119 79670 115 | 0.000 % |
237.44/237.67 c | 396915 | 800 16000 80000 | 84119 80045 115 | 0.000 % |
237.83/238.00 c | 397325 | 800 16000 80000 | 84119 80455 115 | 0.000 % |
238.13/238.34 c | 397776 | 800 16000 80000 | 84119 80906 115 | 0.000 % |
238.43/238.69 c | 398269 | 800 16000 80000 | 84119 81399 115 | 0.000 % |
238.83/239.08 c | 398816 | 800 16000 80000 | 84119 81946 115 | 0.000 % |
239.33/239.55 c | 399412 | 800 16000 80000 | 84119 82542 115 | 0.000 % |
239.83/240.01 c | 400067 | 800 16000 80000 | 83130 83197 115 | 0.000 % |
240.33/240.54 c | 400787 | 800 16000 80000 | 83130 71445 115 | 0.000 % |
240.84/241.05 c | 401580 | 800 16000 80000 | 83130 72238 115 | 0.000 % |
241.33/241.57 c | 402451 | 800 16000 80000 | 83130 73109 115 | 0.000 % |
241.94/242.18 c | 403410 | 800 16000 80000 | 83130 74068 115 | 0.000 % |
242.63/242.85 c | 404463 | 800 16000 80000 | 83130 75121 115 | 0.000 % |
243.43/243.60 c | 405621 | 800 16000 80000 | 83130 76279 115 | 0.000 % |
244.23/244.46 c | 406894 | 800 16000 80000 | 83130 77552 115 | 0.000 % |
245.23/245.42 c | 408294 | 800 16000 80000 | 83130 78952 115 | 0.000 % |
246.23/246.49 c | 409834 | 800 16000 80000 | 83130 80492 115 | 0.000 % |
247.43/247.63 c | 411528 | 800 16000 80000 | 80660 71021 115 | 0.000 % |
248.63/248.81 c | 413392 | 800 16000 80000 | 80660 72885 115 | 0.000 % |
249.93/250.17 c | 415441 | 800 16000 80000 | 80660 74934 115 | 0.000 % |
251.43/251.64 c | 417695 | 800 16000 80000 | 80660 77188 115 | 0.000 % |
253.13/253.37 c | 420175 | 800 16000 80000 | 79495 79668 115 | 0.000 % |
254.83/255.10 c | 422901 | 800 16000 80000 | 79495 71563 114 | 0.000 % |
256.83/257.00 c | 425898 | 800 16000 80000 | 79495 74560 114 | 0.000 % |
258.93/259.13 c | 429194 | 800 16000 80000 | 79495 77856 115 | 0.000 % |
261.32/261.58 c | 432819 | 800 16000 80000 | 78662 72071 115 | 0.000 % |
264.02/264.20 c | 436806 | 800 16000 80000 | 78662 76058 115 | 0.000 % |
264.02/264.28 c | 436907 | 800 16000 80000 | 78662 76159 115 | 0.000 % |
264.12/264.37 c | 437019 | 800 16000 80000 | 78662 76271 115 | 0.000 % |
264.22/264.50 c | 437140 | 800 16000 80000 | 78662 76392 115 | 0.000 % |
264.32/264.59 c | 437273 | 800 16000 80000 | 78662 76525 115 | 0.000 % |
264.52/264.71 c | 437419 | 800 16000 80000 | 78662 76671 115 | 0.000 % |
264.62/264.83 c | 437580 | 800 16000 80000 | 78662 76832 115 | 0.000 % |
264.72/264.97 c | 437756 | 800 16000 80000 | 78662 77008 115 | 0.000 % |
264.93/265.13 c | 437949 | 800 16000 80000 | 78662 77201 115 | 0.000 % |
265.12/265.30 c | 438161 | 800 16000 80000 | 78662 77413 115 | 0.000 % |
265.22/265.48 c | 438395 | 800 16000 80000 | 78662 77647 115 | 0.000 % |
265.42/265.68 c | 438651 | 800 16000 80000 | 78662 77903 115 | 0.000 % |
265.62/265.88 c | 438933 | 800 16000 80000 | 78662 78185 115 | 0.000 % |
265.92/266.10 c | 439242 | 800 16000 80000 | 78662 78494 115 | 0.000 % |
266.13/266.34 c | 439582 | 800 16000 80000 | 78662 78834 115 | 0.000 % |
266.42/266.66 c | 439954 | 800 16000 80000 | 78662 69090 115 | 0.000 % |
266.72/266.96 c | 440363 | 800 16000 80000 | 69137 60508 115 | 0.000 % |
267.02/267.21 c | 440815 | 800 16000 80000 | 69137 60960 115 | 0.000 % |
267.23/267.48 c | 441311 | 800 16000 80000 | 69137 61456 115 | 0.000 % |
267.52/267.80 c | 441854 | 800 16000 80000 | 69137 61999 115 | 0.000 % |
267.92/268.12 c | 442451 | 800 16000 80000 | 69137 62596 115 | 0.000 % |
268.23/268.45 c | 443106 | 800 16000 80000 | 69137 63251 114 | 0.000 % |
268.62/268.87 c | 443826 | 800 16000 80000 | 69137 63971 114 | 0.000 % |
269.02/269.28 c | 444618 | 800 16000 80000 | 69137 64763 114 | 0.000 % |
269.52/269.76 c | 445490 | 800 16000 80000 | 69137 65635 114 | 0.000 % |
270.02/270.29 c | 446448 | 800 16000 80000 | 69137 66593 114 | 0.000 % |
270.72/270.93 c | 447501 | 800 16000 80000 | 69137 67646 114 | 0.000 % |
271.42/271.63 c | 448659 | 800 16000 80000 | 69137 68804 114 | 0.000 % |
272.22/272.41 c | 449932 | 800 16000 80000 | 69137 63150 114 | 0.000 % |
272.92/273.16 c | 451333 | 800 16000 80000 | 2147483647 64551 114 | 0.000 % |
273.83/274.01 c | 452873 | 800 16000 80000 | 2147483647 66091 114 | 0.000 % |
274.82/275.02 c | 454567 | 800 16000 80000 | 2147483647 67785 114 | 0.000 % |
275.93/276.16 c | 456430 | 800 16000 80000 | 2147483647 69648 114 | 0.000 % |
277.22/277.41 c | 458479 | 800 16000 80000 | 2147483647 71697 114 | 0.000 % |
278.52/278.78 c | 460732 | 800 16000 80000 | 2147483647 73950 114 | 0.000 % |
280.12/280.33 c | 463210 | 800 16000 80000 | 2147483647 76428 115 | 0.000 % |
281.82/282.08 c | 465935 | 800 16000 80000 | 2147483647 79153 115 | 0.000 % |
283.92/284.13 c | 468932 | 800 16000 80000 | 2147483647 82150 115 | 0.000 % |
286.12/286.31 c | 472228 | 800 16000 80000 | 83219 75338 115 | 0.000 % |
288.41/288.69 c | 475853 | 800 16000 80000 | 83219 78963 115 | 0.000 % |
291.21/291.46 c | 479840 | 800 16000 80000 | 83219 82950 115 | 0.000 % |
294.31/294.55 c | 484226 | 800 16000 80000 | 83110 76150 116 | 0.000 % |
294.41/294.62 c | 484326 | 800 16000 80000 | 83110 76250 116 | 0.000 % |
294.41/294.69 c | 484436 | 800 16000 80000 | 83110 76360 116 | 0.000 % |
294.51/294.77 c | 484557 | 800 16000 80000 | 83110 76481 116 | 0.000 % |
294.62/294.89 c | 484690 | 800 16000 80000 | 83110 76614 116 | 0.000 % |
294.81/295.01 c | 484837 | 800 16000 80000 | 83110 76761 116 | 0.000 % |
294.91/295.13 c | 484997 | 800 16000 80000 | 83110 76921 116 | 0.000 % |
295.01/295.26 c | 485174 | 800 16000 80000 | 83110 77098 116 | 0.000 % |
295.21/295.41 c | 485367 | 800 16000 80000 | 83110 77291 116 | 0.000 % |
295.31/295.57 c | 485579 | 800 16000 80000 | 83110 77503 116 | 0.000 % |
295.51/295.76 c | 485813 | 800 16000 80000 | 83110 77737 116 | 0.000 % |
295.71/295.95 c | 486069 | 800 16000 80000 | 83110 77993 116 | 0.000 % |
295.91/296.15 c | 486352 | 800 16000 80000 | 83110 78276 116 | 0.000 % |
296.11/296.38 c | 486662 | 800 16000 80000 | 83110 78586 116 | 0.000 % |
296.41/296.63 c | 487001 | 800 16000 80000 | 83110 78925 116 | 0.000 % |
296.71/296.92 c | 487373 | 800 16000 80000 | 83110 79297 116 | 0.000 % |
297.01/297.21 c | 487783 | 800 16000 80000 | 83110 79707 116 | 0.000 % |
297.31/297.54 c | 488232 | 800 16000 80000 | 83110 80156 115 | 0.000 % |
297.71/297.92 c | 488727 | 800 16000 80000 | 83110 80651 116 | 0.000 % |
298.01/298.29 c | 489269 | 800 16000 80000 | 83110 81193 115 | 0.000 % |
298.41/298.69 c | 489866 | 800 16000 80000 | 83110 81790 115 | 0.000 % |
299.01/299.24 c | 490522 | 800 16000 80000 | 81925 70123 115 | 0.000 % |
299.50/299.70 c | 491244 | 800 16000 80000 | 81925 70845 115 | 0.000 % |
300.00/300.21 c | 492036 | 800 16000 80000 | 81925 71637 115 | 0.000 % |
300.50/300.77 c | 492907 | 800 16000 80000 | 81925 72508 115 | 0.000 % |
301.21/301.42 c | 493865 | 800 16000 80000 | 81925 73466 115 | 0.000 % |
301.80/302.10 c | 494918 | 800 16000 80000 | 81925 74519 115 | 0.000 % |
302.60/302.86 c | 496077 | 800 16000 80000 | 81925 75678 115 | 0.000 % |
303.51/303.73 c | 497351 | 800 16000 80000 | 81925 76952 116 | 0.000 % |
304.51/304.71 c | 498752 | 800 16000 80000 | 81925 78353 115 | 0.000 % |
305.50/305.78 c | 500293 | 800 16000 80000 | 79601 69082 115 | 0.000 % |
306.60/306.82 c | 501988 | 800 16000 80000 | 79601 70777 115 | 0.000 % |
307.70/307.99 c | 503855 | 800 16000 80000 | 79601 72644 115 | 0.000 % |
309.00/309.29 c | 505905 | 800 16000 80000 | 79601 74694 115 | 0.000 % |
310.50/310.71 c | 508160 | 800 16000 80000 | 79601 76949 115 | 0.000 % |
312.20/312.42 c | 510638 | 800 16000 80000 | 78790 69540 116 | 0.000 % |
313.90/314.12 c | 513363 | 800 16000 80000 | 78790 72265 116 | 0.000 % |
315.80/316.05 c | 516361 | 800 16000 80000 | 78790 75263 116 | 0.000 % |
317.90/318.12 c | 519658 | 800 16000 80000 | 78790 78560 116 | 0.000 % |
320.30/320.53 c | 523288 | 800 16000 80000 | 78903 72179 116 | 0.000 % |
322.90/323.14 c | 527276 | 800 16000 80000 | 78903 76167 117 | 0.000 % |
325.79/326.09 c | 531664 | 800 16000 80000 | 78894 70931 117 | 0.000 % |
328.89/329.19 c | 536487 | 800 16000 80000 | 78894 75754 117 | 0.000 % |
328.99/329.27 c | 536587 | 800 16000 80000 | 78894 75854 117 | 0.000 % |
329.09/329.37 c | 536697 | 800 16000 80000 | 78894 75964 117 | 0.000 % |
329.19/329.45 c | 536818 | 800 16000 80000 | 78894 76085 117 | 0.000 % |
329.29/329.54 c | 536951 | 800 16000 80000 | 78894 76218 117 | 0.000 % |
329.39/329.65 c | 537097 | 800 16000 80000 | 78894 76364 117 | 0.000 % |
329.49/329.77 c | 537257 | 800 16000 80000 | 78894 76524 117 | 0.000 % |
329.69/329.91 c | 537433 | 800 16000 80000 | 78894 76700 117 | 0.000 % |
329.80/330.05 c | 537626 | 800 16000 80000 | 78894 76893 117 | 0.000 % |
329.99/330.22 c | 537839 | 800 16000 80000 | 78894 77106 116 | 0.000 % |
330.09/330.40 c | 538072 | 800 16000 80000 | 78894 77339 116 | 0.000 % |
330.29/330.58 c | 538328 | 800 16000 80000 | 78894 77595 116 | 0.000 % |
330.59/330.81 c | 538609 | 800 16000 80000 | 78894 77876 116 | 0.000 % |
330.79/331.02 c | 538919 | 800 16000 80000 | 78894 78186 116 | 0.000 % |
331.00/331.26 c | 539258 | 800 16000 80000 | 78894 78525 116 | 0.000 % |
331.29/331.52 c | 539630 | 800 16000 80000 | 78894 78897 116 | 0.000 % |
331.59/331.81 c | 540040 | 800 16000 80000 | 69451 69489 116 | 0.000 % |
331.89/332.14 c | 540491 | 800 16000 80000 | 69451 61363 115 | 0.000 % |
332.19/332.44 c | 540985 | 800 16000 80000 | 69451 61857 116 | 0.000 % |
332.49/332.74 c | 541528 | 800 16000 80000 | 69451 62400 116 | 0.000 % |
332.79/333.07 c | 542125 | 800 16000 80000 | 69451 62997 116 | 0.000 % |
333.19/333.44 c | 542780 | 800 16000 80000 | 69451 63652 116 | 0.000 % |
333.59/333.84 c | 543500 | 800 16000 80000 | 69451 64372 115 | 0.000 % |
334.09/334.32 c | 544292 | 800 16000 80000 | 69451 65164 115 | 0.000 % |
334.59/334.81 c | 545163 | 800 16000 80000 | 69451 66035 115 | 0.000 % |
335.19/335.40 c | 546123 | 800 16000 80000 | 69451 66995 115 | 0.000 % |
335.79/336.00 c | 547176 | 800 16000 80000 | 69451 68048 115 | 0.000 % |
336.39/336.66 c | 548337 | 800 16000 80000 | 69451 69209 115 | 0.000 % |
337.28/337.50 c | 549610 | 800 16000 80000 | 69451 63513 115 | 0.000 % |
338.08/338.34 c | 551012 | 800 16000 80000 | 2147483647 64915 115 | 0.000 % |
338.98/339.25 c | 552553 | 800 16000 80000 | 2147483647 66456 115 | 0.000 % |
339.98/340.21 c | 554247 | 800 16000 80000 | 2147483647 68150 115 | 0.000 % |
341.08/341.30 c | 556111 | 800 16000 80000 | 2147483647 70014 115 | 0.000 % |
342.28/342.55 c | 558160 | 800 16000 80000 | 2147483647 72063 115 | 0.000 % |
343.78/344.03 c | 560414 | 800 16000 80000 | 2147483647 74317 115 | 0.000 % |
345.38/345.64 c | 562893 | 800 16000 80000 | 2147483647 76796 115 | 0.000 % |
347.08/347.38 c | 565618 | 800 16000 80000 | 2147483647 79521 115 | 0.000 % |
349.08/349.36 c | 568617 | 800 16000 80000 | 2147483647 82520 115 | 0.000 % |
351.39/351.60 c | 571913 | 800 16000 80000 | 83903 74994 115 | 0.000 % |
353.89/354.14 c | 575539 | 800 16000 80000 | 83903 78620 115 | 0.000 % |
356.69/356.91 c | 579529 | 800 16000 80000 | 83903 82610 116 | 0.000 % |
359.69/359.92 c | 583915 | 800 16000 80000 | 83081 74535 116 | 0.000 % |
362.79/363.08 c | 588739 | 800 16000 80000 | 83081 79359 116 | 0.000 % |
366.38/366.61 c | 594044 | 800 16000 80000 | 80621 73307 116 | 0.000 % |
366.38/366.70 c | 594144 | 800 16000 80000 | 80621 73407 116 | 0.000 % |
366.48/366.77 c | 594255 | 800 16000 80000 | 80621 73518 116 | 0.000 % |
366.58/366.85 c | 594376 | 800 16000 80000 | 80621 73639 116 | 0.000 % |
366.68/366.94 c | 594511 | 800 16000 80000 | 80621 73774 116 | 0.000 % |
366.78/367.07 c | 594657 | 800 16000 80000 | 80621 73920 116 | 0.000 % |
366.88/367.20 c | 594818 | 800 16000 80000 | 80621 74081 116 | 0.000 % |
367.08/367.33 c | 594994 | 800 16000 80000 | 80621 74257 116 | 0.000 % |
367.19/367.47 c | 595187 | 800 16000 80000 | 80621 74450 116 | 0.000 % |
367.38/367.63 c | 595399 | 800 16000 80000 | 80621 74662 116 | 0.000 % |
367.48/367.79 c | 595632 | 800 16000 80000 | 80621 74895 116 | 0.000 % |
367.68/367.98 c | 595888 | 800 16000 80000 | 80621 75151 116 | 0.000 % |
367.88/368.17 c | 596169 | 800 16000 80000 | 80621 75432 116 | 0.000 % |
368.08/368.37 c | 596478 | 800 16000 80000 | 80621 75741 116 | 0.000 % |
368.29/368.58 c | 596817 | 800 16000 80000 | 80621 76080 116 | 0.000 % |
368.58/368.82 c | 597189 | 800 16000 80000 | 80621 76452 116 | 0.000 % |
368.78/369.08 c | 597599 | 800 16000 80000 | 80621 76862 116 | 0.000 % |
369.18/369.42 c | 598048 | 800 16000 80000 | 80621 77311 116 | 0.000 % |
369.49/369.80 c | 598543 | 800 16000 80000 | 80621 77806 116 | 0.000 % |
369.98/370.21 c | 599085 | 800 16000 80000 | 80621 78348 116 | 0.000 % |
370.38/370.63 c | 599681 | 800 16000 80000 | 80621 78944 116 | 0.000 % |
370.88/371.15 c | 600336 | 800 16000 80000 | 79263 68379 115 | 0.000 % |
371.28/371.57 c | 601056 | 800 16000 80000 | 79263 69099 115 | 0.000 % |
371.88/372.11 c | 601850 | 800 16000 80000 | 79263 69893 115 | 0.000 % |
372.38/372.67 c | 602722 | 800 16000 80000 | 79263 70765 115 | 0.000 % |
373.08/373.31 c | 603680 | 800 16000 80000 | 79263 71723 115 | 0.000 % |
373.78/374.00 c | 604733 | 800 16000 80000 | 79263 72776 115 | 0.000 % |
374.48/374.78 c | 605893 | 800 16000 80000 | 79263 73936 115 | 0.000 % |
375.37/375.60 c | 607167 | 800 16000 80000 | 79263 75210 114 | 0.000 % |
376.27/376.51 c | 608567 | 800 16000 80000 | 79263 76610 114 | 0.000 % |
377.27/377.59 c | 610108 | 800 16000 80000 | 78043 78151 115 | 0.000 % |
378.48/378.72 c | 611802 | 800 16000 80000 | 78043 69592 115 | 0.000 % |
379.67/379.92 c | 613667 | 800 16000 80000 | 78043 71457 115 | 0.000 % |
380.97/381.21 c | 615717 | 800 16000 80000 | 78043 73507 115 | 0.000 % |
382.27/382.56 c | 617971 | 800 16000 80000 | 78043 75761 115 | 0.000 % |
383.87/384.18 c | 620449 | 800 16000 80000 | 77792 68882 115 | 0.000 % |
385.57/385.86 c | 623174 | 800 16000 80000 | 77792 71607 116 | 0.000 % |
387.57/387.83 c | 626171 | 800 16000 80000 | 77792 74604 116 | 0.000 % |
389.77/390.09 c | 629469 | 800 16000 80000 | 77792 77902 116 | 0.000 % |
392.07/392.37 c | 633094 | 800 16000 80000 | 69780 65196 116 | 0.000 % |
394.37/394.63 c | 637083 | 800 16000 80000 | 69780 69185 116 | 0.000 % |
396.77/397.03 c | 641469 | 800 16000 80000 | 2147483647 66559 116 | 0.000 % |
399.67/399.99 c | 646294 | 800 16000 80000 | 2147483647 71384 117 | 0.000 % |
403.06/403.33 c | 651599 | 800 16000 80000 | 75091 68912 117 | 0.000 % |
406.56/406.81 c | 657434 | 800 16000 80000 | 75091 74747 117 | 0.000 % |
406.56/406.88 c | 657535 | 800 16000 80000 | 75091 74848 117 | 0.000 % |
406.66/406.96 c | 657645 | 800 16000 80000 | 75091 74958 117 | 0.000 % |
406.77/407.07 c | 657767 | 800 16000 80000 | 75091 75080 117 | 0.000 % |
406.87/407.17 c | 657901 | 800 16000 80000 | 75091 75214 117 | 0.000 % |
407.06/407.31 c | 658048 | 800 16000 80000 | 75091 66040 116 | 0.000 % |
407.16/407.43 c | 658208 | 800 16000 80000 | 75091 66200 116 | 0.000 % |
407.26/407.56 c | 658384 | 800 16000 80000 | 75091 66376 116 | 0.000 % |
407.36/407.68 c | 658577 | 800 16000 80000 | 75091 66569 116 | 0.000 % |
407.56/407.82 c | 658789 | 800 16000 80000 | 75091 66781 116 | 0.000 % |
407.66/407.98 c | 659022 | 800 16000 80000 | 75091 67014 116 | 0.000 % |
407.87/408.16 c | 659279 | 800 16000 80000 | 75091 67271 116 | 0.000 % |
408.06/408.36 c | 659563 | 800 16000 80000 | 75091 67555 116 | 0.000 % |
408.26/408.56 c | 659872 | 800 16000 80000 | 75091 67864 116 | 0.000 % |
408.46/408.79 c | 660211 | 800 16000 80000 | 67993 68203 116 | 0.000 % |
408.76/409.05 c | 660583 | 800 16000 80000 | 67993 60224 117 | 0.000 % |
409.06/409.33 c | 660992 | 800 16000 80000 | 67993 60633 117 | 0.000 % |
409.26/409.59 c | 661443 | 800 16000 80000 | 67993 61084 117 | 0.000 % |
409.56/409.86 c | 661936 | 800 16000 80000 | 67993 61577 117 | 0.000 % |
409.86/410.20 c | 662479 | 800 16000 80000 | 67993 62120 117 | 0.000 % |
410.26/410.51 c | 663075 | 800 16000 80000 | 67993 62716 117 | 0.000 % |
410.66/410.92 c | 663734 | 800 16000 80000 | 67993 63375 117 | 0.000 % |
411.06/411.37 c | 664454 | 800 16000 80000 | 67993 64095 117 | 0.000 % |
411.56/411.85 c | 665246 | 800 16000 80000 | 67993 64887 117 | 0.000 % |
412.06/412.35 c | 666117 | 800 16000 80000 | 67993 65758 117 | 0.000 % |
412.56/412.85 c | 667075 | 800 16000 80000 | 67993 66716 117 | 0.000 % |
413.26/413.53 c | 668128 | 800 16000 80000 | 67993 67769 117 | 0.000 % |
413.96/414.28 c | 669287 | 800 16000 80000 | 67993 62101 117 | 0.000 % |
414.66/414.98 c | 670561 | 800 16000 80000 | 2147483647 63375 117 | 0.000 % |
415.46/415.79 c | 671961 | 800 16000 80000 | 2147483647 64775 117 | 0.000 % |
416.36/416.66 c | 673502 | 800 16000 80000 | 2147483647 66316 117 | 0.000 % |
417.45/417.72 c | 675196 | 800 16000 80000 | 2147483647 68010 117 | 0.000 % |
418.55/418.86 c | 677060 | 800 16000 80000 | 2147483647 69874 117 | 0.000 % |
419.85/420.16 c | 679113 | 800 16000 80000 | 2147483647 71927 117 | 0.000 % |
421.35/421.62 c | 681367 | 800 16000 80000 | 2147483647 74181 117 | 0.000 % |
423.05/423.35 c | 683845 | 800 16000 80000 | 2147483647 76659 117 | 0.000 % |
424.95/425.24 c | 686570 | 800 16000 80000 | 2147483647 79384 117 | 0.000 % |
427.15/427.48 c | 689568 | 800 16000 80000 | 2147483647 82382 117 | 0.000 % |
429.45/429.75 c | 692864 | 800 16000 80000 | 82814 74151 117 | 0.000 % |
431.95/432.24 c | 696489 | 800 16000 80000 | 82814 77776 117 | 0.000 % |
434.85/435.13 c | 700476 | 800 16000 80000 | 81287 69877 117 | 0.000 % |
437.65/437.96 c | 704861 | 800 16000 80000 | 81287 74262 117 | 0.000 % |
440.95/441.23 c | 709684 | 800 16000 80000 | 81287 79085 117 | 0.000 % |
444.45/444.77 c | 714990 | 800 16000 80000 | 79402 74031 117 | 0.000 % |
448.65/448.94 c | 720826 | 800 16000 80000 | 79042 69658 116 | 0.000 % |
453.14/453.40 c | 727244 | 800 16000 80000 | 79042 76076 116 | 0.000 % |
453.14/453.47 c | 727344 | 800 16000 80000 | 79042 76176 116 | 0.000 % |
453.24/453.57 c | 727455 | 800 16000 80000 | 79042 76287 116 | 0.000 % |
453.34/453.67 c | 727578 | 800 16000 80000 | 79042 76410 116 | 0.000 % |
453.44/453.79 c | 727712 | 800 16000 80000 | 79042 76544 116 | 0.000 % |
453.64/453.92 c | 727859 | 800 16000 80000 | 79042 76691 116 | 0.000 % |
453.74/454.04 c | 728020 | 800 16000 80000 | 79042 76852 116 | 0.000 % |
453.84/454.19 c | 728198 | 800 16000 80000 | 79042 77030 116 | 0.000 % |
454.05/454.33 c | 728392 | 800 16000 80000 | 79042 77224 116 | 0.000 % |
454.24/454.50 c | 728604 | 800 16000 80000 | 79042 77436 116 | 0.000 % |
454.34/454.66 c | 728838 | 800 16000 80000 | 79042 77670 116 | 0.000 % |
454.54/454.84 c | 729097 | 800 16000 80000 | 79042 77929 116 | 0.000 % |
454.74/455.07 c | 729379 | 800 16000 80000 | 79042 78211 116 | 0.000 % |
455.04/455.32 c | 729688 | 800 16000 80000 | 79042 78520 116 | 0.000 % |
455.25/455.53 c | 730028 | 800 16000 80000 | 78832 78860 116 | 0.000 % |
455.54/455.84 c | 730400 | 800 16000 80000 | 78832 68637 116 | 0.000 % |
455.74/456.09 c | 730809 | 800 16000 80000 | 78832 69046 116 | 0.000 % |
456.04/456.39 c | 731258 | 800 16000 80000 | 78832 69495 116 | 0.000 % |
456.35/456.67 c | 731752 | 800 16000 80000 | 78832 69989 116 | 0.000 % |
456.74/457.02 c | 732297 | 800 16000 80000 | 78832 70534 116 | 0.000 % |
457.14/457.41 c | 732893 | 800 16000 80000 | 78832 71130 116 | 0.000 % |
457.54/457.84 c | 733548 | 800 16000 80000 | 78832 71785 116 | 0.000 % |
458.04/458.33 c | 734268 | 800 16000 80000 | 78832 72505 116 | 0.000 % |
458.54/458.83 c | 735062 | 800 16000 80000 | 78832 73299 116 | 0.000 % |
459.14/459.47 c | 735934 | 800 16000 80000 | 78832 74171 116 | 0.000 % |
459.84/460.12 c | 736892 | 800 16000 80000 | 78832 75129 116 | 0.000 % |
460.44/460.79 c | 737945 | 800 16000 80000 | 78832 76182 116 | 0.000 % |
461.24/461.59 c | 739104 | 800 16000 80000 | 78832 77341 116 | 0.000 % |
462.14/462.47 c | 740379 | 800 16000 80000 | 78237 68749 117 | 0.000 % |
463.04/463.39 c | 741779 | 800 16000 80000 | 78237 70149 117 | 0.000 % |
464.04/464.36 c | 743320 | 800 16000 80000 | 78237 71690 117 | 0.000 % |
465.04/465.39 c | 745017 | 800 16000 80000 | 78237 73387 116 | 0.000 % |
466.34/466.68 c | 746880 | 800 16000 80000 | 78237 75250 116 | 0.000 % |
467.73/468.00 c | 748930 | 800 16000 80000 | 78237 77300 116 | 0.000 % |
469.03/469.38 c | 751183 | 800 16000 80000 | 78371 69625 116 | 0.000 % |
470.54/470.83 c | 753661 | 800 16000 80000 | 78371 72103 116 | 0.000 % |
472.13/472.47 c | 756388 | 800 16000 80000 | 78371 74830 116 | 0.000 % |
474.13/474.45 c | 759385 | 800 16000 80000 | 78371 77827 117 | 0.000 % |
476.33/476.68 c | 762683 | 800 16000 80000 | 78443 71768 117 | 0.000 % |
478.73/479.05 c | 766309 | 800 16000 80000 | 78443 75394 117 | 0.000 % |
481.54/481.87 c | 770296 | 800 16000 80000 | 69772 62004 117 | 0.000 % |
484.23/484.58 c | 774681 | 800 16000 80000 | 69772 66389 117 | 0.000 % |
487.43/487.78 c | 779505 | 800 16000 80000 | 69772 64209 117 | 0.000 % |
490.43/490.75 c | 784812 | 800 16000 80000 | 2147483647 69516 117 | 0.000 % |
494.03/494.33 c | 790648 | 800 16000 80000 | 74704 67288 118 | 0.000 % |
498.13/498.44 c | 797066 | 800 16000 80000 | 74704 73706 118 | 0.000 % |
502.22/502.57 c | 804126 | 800 16000 80000 | 67714 64040 119 | 0.000 % |
502.33/502.64 c | 804227 | 800 16000 80000 | 67714 64141 119 | 0.000 % |
502.44/502.70 c | 804338 | 800 16000 80000 | 67714 64252 119 | 0.000 % |
502.44/502.77 c | 804459 | 800 16000 80000 | 67714 64373 118 | 0.000 % |
502.54/502.86 c | 804593 | 800 16000 80000 | 67714 64507 118 | 0.000 % |
502.63/502.97 c | 804740 | 800 16000 80000 | 67714 64654 118 | 0.000 % |
502.73/503.07 c | 804900 | 800 16000 80000 | 67714 64814 118 | 0.000 % |
502.83/503.18 c | 805076 | 800 16000 80000 | 67714 64990 118 | 0.000 % |
503.03/503.32 c | 805271 | 800 16000 80000 | 67714 65185 118 | 0.000 % |
503.13/503.46 c | 805483 | 800 16000 80000 | 67714 65397 118 | 0.000 % |
503.33/503.62 c | 805717 | 800 16000 80000 | 67714 65631 118 | 0.000 % |
503.43/503.77 c | 805973 | 800 16000 80000 | 67714 65887 118 | 0.000 % |
503.64/503.95 c | 806255 | 800 16000 80000 | 67714 66169 118 | 0.000 % |
503.83/504.15 c | 806564 | 800 16000 80000 | 67714 66478 118 | 0.000 % |
504.03/504.38 c | 806903 | 800 16000 80000 | 67714 66817 118 | 0.000 % |
504.33/504.61 c | 807275 | 800 16000 80000 | 67714 67189 118 | 0.000 % |
504.53/504.87 c | 807684 | 800 16000 80000 | 67714 67598 118 | 0.000 % |
504.83/505.18 c | 808133 | 800 16000 80000 | 67714 61252 119 | 0.000 % |
505.13/505.47 c | 808626 | 800 16000 80000 | 67714 61745 119 | 0.000 % |
505.43/505.77 c | 809170 | 800 16000 80000 | 67714 62289 118 | 0.000 % |
505.84/506.13 c | 809766 | 800 16000 80000 | 67714 62885 118 | 0.000 % |
506.23/506.50 c | 810422 | 800 16000 80000 | 2147483647 63541 118 | 0.000 % |
506.63/506.95 c | 811142 | 800 16000 80000 | 2147483647 64261 118 | 0.000 % |
507.13/507.40 c | 811934 | 800 16000 80000 | 2147483647 65053 118 | 0.000 % |
507.63/507.93 c | 812805 | 800 16000 80000 | 2147483647 65924 118 | 0.000 % |
508.13/508.49 c | 813765 | 800 16000 80000 | 2147483647 66884 118 | 0.000 % |
508.83/509.14 c | 814820 | 800 16000 80000 | 2147483647 67939 118 | 0.000 % |
509.63/509.90 c | 815980 | 800 16000 80000 | 2147483647 69099 118 | 0.000 % |
510.43/510.71 c | 817254 | 800 16000 80000 | 2147483647 70373 118 | 0.000 % |
511.23/511.59 c | 818657 | 800 16000 80000 | 2147483647 71776 118 | 0.000 % |
512.23/512.58 c | 820200 | 800 16000 80000 | 2147483647 73319 117 | 0.000 % |
513.33/513.68 c | 821894 | 800 16000 80000 | 2147483647 75013 117 | 0.000 % |
514.63/514.91 c | 823758 | 800 16000 80000 | 2147483647 76877 117 | 0.000 % |
515.93/516.24 c | 825809 | 800 16000 80000 | 2147483647 78928 118 | 0.000 % |
517.43/517.77 c | 828062 | 800 16000 80000 | 2147483647 81181 118 | 0.000 % |
519.22/519.54 c | 830541 | 800 16000 80000 | 83121 72359 118 | 0.000 % |
520.92/521.24 c | 833267 | 800 16000 80000 | 83121 75085 118 | 0.000 % |
522.82/523.19 c | 836264 | 800 16000 80000 | 83121 78082 118 | 0.000 % |
525.02/525.33 c | 839560 | 800 16000 80000 | 83121 81378 118 | 0.000 % |
527.42/527.74 c | 843185 | 800 16000 80000 | 81819 73277 117 | 0.000 % |
530.12/530.45 c | 847173 | 800 16000 80000 | 81819 77265 118 | 0.000 % |
533.02/533.40 c | 851558 | 800 16000 80000 | 80092 70864 118 | 0.000 % |
536.12/536.42 c | 856381 | 800 16000 80000 | 80092 75687 118 | 0.000 % |
539.31/539.68 c | 861686 | 800 16000 80000 | 79306 70297 116 | 0.000 % |
543.01/543.36 c | 867521 | 800 16000 80000 | 79306 76132 117 | 0.000 % |
547.21/547.52 c | 873941 | 800 16000 80000 | 78612 72237 117 | 0.000 % |
551.92/552.24 c | 881000 | 800 16000 80000 | 78297 69052 119 | 0.000 % |
556.81/557.14 c | 888764 | 800 16000 80000 | 78297 76816 119 | 0.000 % |
556.91/557.20 c | 888864 | 800 16000 80000 | 78297 76916 119 | 0.000 % |
556.91/557.28 c | 888976 | 800 16000 80000 | 78297 77028 119 | 0.000 % |
557.01/557.38 c | 889097 | 800 16000 80000 | 78297 77149 119 | 0.000 % |
557.11/557.49 c | 889232 | 800 16000 80000 | 78297 77284 119 | 0.000 % |
557.31/557.61 c | 889378 | 800 16000 80000 | 78297 77430 119 | 0.000 % |
557.41/557.73 c | 889541 | 800 16000 80000 | 78297 77593 119 | 0.000 % |
557.51/557.87 c | 889717 | 800 16000 80000 | 78297 77769 119 | 0.000 % |
557.71/558.01 c | 889912 | 800 16000 80000 | 78297 77964 119 | 0.000 % |
557.81/558.18 c | 890126 | 800 16000 80000 | 78052 78178 119 | 0.000 % |
558.01/558.38 c | 890361 | 800 16000 80000 | 78052 67685 120 | 0.000 % |
558.21/558.56 c | 890617 | 800 16000 80000 | 78052 67941 120 | 0.000 % |
558.41/558.76 c | 890899 | 800 16000 80000 | 78052 68223 119 | 0.000 % |
558.61/558.98 c | 891208 | 800 16000 80000 | 78052 68532 119 | 0.000 % |
558.81/559.18 c | 891548 | 800 16000 80000 | 78052 68872 119 | 0.000 % |
559.11/559.47 c | 891921 | 800 16000 80000 | 78052 69245 119 | 0.000 % |
559.40/559.76 c | 892330 | 800 16000 80000 | 78052 69654 119 | 0.000 % |
559.71/560.05 c | 892780 | 800 16000 80000 | 78052 70104 119 | 0.000 % |
560.10/560.41 c | 893274 | 800 16000 80000 | 78052 70598 119 | 0.000 % |
560.40/560.75 c | 893816 | 800 16000 80000 | 78052 71140 119 | 0.000 % |
560.81/561.12 c | 894412 | 800 16000 80000 | 78052 71736 119 | 0.000 % |
561.20/561.55 c | 895070 | 800 16000 80000 | 78052 72394 119 | 0.000 % |
561.70/562.06 c | 895790 | 800 16000 80000 | 78052 73114 119 | 0.000 % |
562.30/562.62 c | 896582 | 800 16000 80000 | 78052 73906 119 | 0.000 % |
563.01/563.31 c | 897455 | 800 16000 80000 | 78052 74779 119 | 0.000 % |
563.70/564.04 c | 898413 | 800 16000 80000 | 78052 75737 119 | 0.000 % |
564.40/564.75 c | 899467 | 800 16000 80000 | 78052 76791 119 | 0.000 % |
565.21/565.57 c | 900626 | 800 16000 80000 | 77324 67055 118 | 0.000 % |
566.00/566.31 c | 901900 | 800 16000 80000 | 77324 68329 118 | 0.000 % |
566.80/567.15 c | 903301 | 800 16000 80000 | 77324 69730 118 | 0.000 % |
567.70/568.08 c | 904841 | 800 16000 80000 | 77324 71270 118 | 0.000 % |
568.80/569.19 c | 906535 | 800 16000 80000 | 77324 72964 118 | 0.000 % |
570.20/570.58 c | 908398 | 800 16000 80000 | 77324 74827 117 | 0.000 % |
571.60/572.00 c | 910447 | 800 16000 80000 | 76430 67291 118 | 0.000 % |
573.00/573.34 c | 912700 | 800 16000 80000 | 76430 69544 118 | 0.000 % |
574.50/574.89 c | 915179 | 800 16000 80000 | 76430 72023 117 | 0.000 % |
576.40/576.72 c | 917905 | 800 16000 80000 | 76430 74749 118 | 0.000 % |
578.40/578.71 c | 920905 | 800 16000 80000 | 68026 61148 117 | 0.000 % |
580.29/580.60 c | 924201 | 800 16000 80000 | 68026 64444 117 | 0.000 % |
582.39/582.73 c | 927826 | 800 16000 80000 | 68026 68069 118 | 0.000 % |
584.70/585.04 c | 931813 | 800 16000 80000 | 2147483647 65250 118 | 0.000 % |
587.49/587.80 c | 936198 | 800 16000 80000 | 2147483647 69635 118 | 0.000 % |
590.59/590.96 c | 941022 | 800 16000 80000 | 2147483647 74459 118 | 0.000 % |
594.39/594.71 c | 946328 | 800 16000 80000 | 2147483647 79765 118 | 0.000 % |
598.49/598.80 c | 952164 | 800 16000 80000 | 83440 72973 117 | 0.000 % |
602.89/603.21 c | 958582 | 800 16000 80000 | 83440 79391 118 | 0.000 % |
607.29/607.68 c | 965643 | 800 16000 80000 | 80809 74239 118 | 0.000 % |
612.19/612.58 c | 973407 | 800 16000 80000 | 78597 70984 120 | 0.000 % |
618.19/618.50 c | 981947 | 800 16000 80000 | 77579 69084 121 | 0.000 % |
618.19/618.58 c | 982047 | 800 16000 80000 | 77579 69184 121 | 0.000 % |
618.29/618.66 c | 982158 | 800 16000 80000 | 77579 69295 121 | 0.000 % |
618.39/618.76 c | 982280 | 800 16000 80000 | 77579 69417 121 | 0.000 % |
618.49/618.85 c | 982414 | 800 16000 80000 | 77579 69551 121 | 0.000 % |
618.59/618.95 c | 982561 | 800 16000 80000 | 77579 69698 121 | 0.000 % |
618.69/619.08 c | 982722 | 800 16000 80000 | 77579 69859 121 | 0.000 % |
618.89/619.20 c | 982899 | 800 16000 80000 | 77579 70036 120 | 0.000 % |
618.99/619.35 c | 983092 | 800 16000 80000 | 77579 70229 120 | 0.000 % |
619.18/619.52 c | 983307 | 800 16000 80000 | 77579 70444 120 | 0.000 % |
619.28/619.69 c | 983540 | 800 16000 80000 | 77579 70677 120 | 0.000 % |
619.48/619.88 c | 983796 | 800 16000 80000 | 77579 70933 120 | 0.000 % |
619.68/620.09 c | 984077 | 800 16000 80000 | 77579 71214 120 | 0.000 % |
619.88/620.29 c | 984387 | 800 16000 80000 | 77579 71524 120 | 0.000 % |
620.19/620.54 c | 984726 | 800 16000 80000 | 77579 71863 120 | 0.000 % |
620.48/620.80 c | 985100 | 800 16000 80000 | 77579 72237 120 | 0.000 % |
620.68/621.07 c | 985511 | 800 16000 80000 | 77579 72648 120 | 0.000 % |
621.08/621.41 c | 985960 | 800 16000 80000 | 77579 73097 120 | 0.000 % |
621.38/621.76 c | 986453 | 800 16000 80000 | 77579 73590 120 | 0.000 % |
621.78/622.14 c | 986995 | 800 16000 80000 | 77579 74132 120 | 0.000 % |
622.18/622.56 c | 987593 | 800 16000 80000 | 77579 74730 120 | 0.000 % |
622.68/623.04 c | 988248 | 800 16000 80000 | 77579 75385 120 | 0.000 % |
623.18/623.51 c | 988969 | 800 16000 80000 | 77579 76106 120 | 0.000 % |
623.68/624.05 c | 989761 | 800 16000 80000 | 77579 76898 120 | 0.000 % |
624.28/624.68 c | 990632 | 800 16000 80000 | 77137 66902 120 | 0.000 % |
624.88/625.28 c | 991590 | 800 16000 80000 | 77137 67860 120 | 0.000 % |
625.59/625.97 c | 992646 | 800 16000 80000 | 77137 68916 120 | 0.000 % |
626.38/626.72 c | 993804 | 800 16000 80000 | 77137 70074 120 | 0.000 % |
627.18/627.59 c | 995077 | 800 16000 80000 | 77137 71347 120 | 0.000 % |
628.18/628.55 c | 996478 | 800 16000 80000 | 77137 72748 119 | 0.000 % |
629.18/629.55 c | 998018 | 800 16000 80000 | 77137 74288 120 | 0.000 % |
630.38/630.71 c | 999712 | 800 16000 80000 | 77137 75982 120 | 0.000 % |
631.48/631.88 c | 1001575 | 800 16000 80000 | 76271 67857 118 | 0.000 % |
632.78/633.20 c | 1003625 | 800 16000 80000 | 76271 69907 118 | 0.000 % |
634.18/634.55 c | 1005878 | 800 16000 80000 | 76271 72160 118 | 0.000 % |
635.78/636.18 c | 1008356 | 800 16000 80000 | 76271 74638 118 | 0.000 % |
637.79/638.10 c | 1011082 | 800 16000 80000 | 76282 68085 118 | 0.000 % |
639.59/639.97 c | 1014079 | 800 16000 80000 | 76282 71082 118 | 0.000 % |
641.69/642.04 c | 1017375 | 800 16000 80000 | 76282 74378 118 | 0.000 % |
643.99/644.34 c | 1021000 | 800 16000 80000 | 67527 60304 116 | 0.000 % |
646.38/646.71 c | 1024988 | 800 16000 80000 | 67527 64292 117 | 0.000 % |
649.08/649.40 c | 1029373 | 800 16000 80000 | 67527 61896 116 | 0.000 % |
651.99/652.37 c | 1034198 | 800 16000 80000 | 2147483647 66721 116 | 0.000 % |
655.39/655.72 c | 1039503 | 800 16000 80000 | 2147483647 72026 117 | 0.000 % |
659.08/659.45 c | 1045339 | 800 16000 80000 | 72524 70042 116 | 0.000 % |
663.18/663.60 c | 1051757 | 800 16000 80000 | 66259 60377 117 | 0.000 % |
667.58/667.92 c | 1058816 | 800 16000 80000 | 66259 60783 117 | 0.000 % |
672.38/672.72 c | 1066580 | 800 16000 80000 | 2147483647 68547 117 | 0.000 % |
677.98/678.33 c | 1075121 | 800 16000 80000 | 2147483647 77088 117 | 0.000 % |
684.17/684.53 c | 1084518 | 800 16000 80000 | 81967 74560 118 | 0.000 % |
684.27/684.63 c | 1084619 | 800 16000 80000 | 81967 74661 118 | 0.000 % |
684.37/684.72 c | 1084730 | 800 16000 80000 | 81967 74772 118 | 0.000 % |
684.47/684.80 c | 1084852 | 800 16000 80000 | 81967 74894 118 | 0.000 % |
684.57/684.91 c | 1084985 | 800 16000 80000 | 81967 75027 118 | 0.000 % |
684.67/685.03 c | 1085132 | 800 16000 80000 | 81967 75174 118 | 0.000 % |
684.77/685.14 c | 1085294 | 800 16000 80000 | 81967 75336 118 | 0.000 % |
684.87/685.27 c | 1085470 | 800 16000 80000 | 81967 75512 118 | 0.000 % |
685.07/685.41 c | 1085665 | 800 16000 80000 | 81967 75707 118 | 0.000 % |
685.17/685.54 c | 1085877 | 800 16000 80000 | 81967 75919 118 | 0.000 % |
685.37/685.71 c | 1086110 | 800 16000 80000 | 81967 76152 118 | 0.000 % |
685.47/685.88 c | 1086367 | 800 16000 80000 | 81967 76409 118 | 0.000 % |
685.77/686.11 c | 1086652 | 800 16000 80000 | 81967 76694 118 | 0.000 % |
685.97/686.34 c | 1086965 | 800 16000 80000 | 81967 77007 118 | 0.000 % |
686.27/686.60 c | 1087304 | 800 16000 80000 | 81967 77346 118 | 0.000 % |
686.47/686.87 c | 1087676 | 800 16000 80000 | 81967 77718 118 | 0.000 % |
686.77/687.15 c | 1088085 | 800 16000 80000 | 81967 78127 118 | 0.000 % |
687.18/687.53 c | 1088534 | 800 16000 80000 | 81967 78576 118 | 0.000 % |
687.57/687.93 c | 1089027 | 800 16000 80000 | 81967 79069 118 | 0.000 % |
687.97/688.37 c | 1089571 | 800 16000 80000 | 81967 79613 118 | 0.000 % |
688.47/688.86 c | 1090167 | 800 16000 80000 | 80042 80209 118 | 0.000 % |
688.97/689.38 c | 1090824 | 800 16000 80000 | 80042 68609 118 | 0.000 % |
689.47/689.85 c | 1091545 | 800 16000 80000 | 80042 69330 118 | 0.000 % |
690.07/690.41 c | 1092337 | 800 16000 80000 | 80042 70122 118 | 0.000 % |
690.67/691.02 c | 1093209 | 800 16000 80000 | 80042 70994 118 | 0.000 % |
691.27/691.64 c | 1094169 | 800 16000 80000 | 80042 71954 118 | 0.000 % |
691.97/692.32 c | 1095222 | 800 16000 80000 | 80042 73007 117 | 0.000 % |
692.67/693.04 c | 1096380 | 800 16000 80000 | 80042 74165 117 | 0.000 % |
693.47/693.84 c | 1097654 | 800 16000 80000 | 80042 75439 117 | 0.000 % |
694.37/694.74 c | 1099056 | 800 16000 80000 | 80042 76841 117 | 0.000 % |
695.47/695.86 c | 1100596 | 800 16000 80000 | 77786 67769 117 | 0.000 % |
696.57/696.93 c | 1102290 | 800 16000 80000 | 77786 69463 117 | 0.000 % |
697.86/698.27 c | 1104155 | 800 16000 80000 | 77786 71328 117 | 0.000 % |
699.16/699.58 c | 1106204 | 800 16000 80000 | 77786 73377 117 | 0.000 % |
700.76/701.12 c | 1108457 | 800 16000 80000 | 77786 75630 117 | 0.000 % |
702.46/702.87 c | 1110935 | 800 16000 80000 | 77173 68220 117 | 0.000 % |
704.26/704.62 c | 1113660 | 800 16000 80000 | 77173 70945 117 | 0.000 % |
706.16/706.52 c | 1116657 | 800 16000 80000 | 77173 73942 117 | 0.000 % |
708.36/708.73 c | 1119953 | 800 16000 80000 | 77173 77238 117 | 0.000 % |
710.46/710.87 c | 1123578 | 800 16000 80000 | 68098 63607 116 | 0.000 % |
712.76/713.18 c | 1127566 | 800 16000 80000 | 68098 67595 117 | 0.000 % |
715.36/715.78 c | 1131951 | 800 16000 80000 | 2147483647 65140 117 | 0.000 % |
718.25/718.67 c | 1136775 | 800 16000 80000 | 2147483647 69964 117 | 0.000 % |
721.75/722.10 c | 1142080 | 800 16000 80000 | 73190 67079 117 | 0.000 % |
725.25/725.69 c | 1147915 | 800 16000 80000 | 73190 72914 117 | 0.000 % |
728.85/729.29 c | 1154333 | 800 16000 80000 | 66558 63359 117 | 0.000 % |
732.95/733.36 c | 1161392 | 800 16000 80000 | 2147483647 63732 119 | 0.000 % |
737.75/738.15 c | 1169158 | 800 16000 80000 | 2147483647 71498 120 | 0.000 % |
743.65/744.04 c | 1177698 | 800 16000 80000 | 2147483647 80038 120 | 0.000 % |
750.45/750.87 c | 1187092 | 800 16000 80000 | 82340 78070 120 | 0.000 % |
757.04/757.44 c | 1197425 | 800 16000 80000 | 80978 76456 122 | 0.000 % |
757.14/757.51 c | 1197525 | 800 16000 80000 | 80978 76556 122 | 0.000 % |
757.24/757.61 c | 1197636 | 800 16000 80000 | 80978 76667 122 | 0.000 % |
757.34/757.71 c | 1197757 | 800 16000 80000 | 80978 76788 122 | 0.000 % |
757.44/757.82 c | 1197890 | 800 16000 80000 | 80978 76921 122 | 0.000 % |
757.55/757.94 c | 1198038 | 800 16000 80000 | 80978 77069 122 | 0.000 % |
757.65/758.08 c | 1198200 | 800 16000 80000 | 80978 77231 122 | 0.000 % |
757.84/758.22 c | 1198376 | 800 16000 80000 | 80978 77407 122 | 0.000 % |
757.94/758.37 c | 1198569 | 800 16000 80000 | 80978 77600 122 | 0.000 % |
758.14/758.57 c | 1198781 | 800 16000 80000 | 80978 77812 122 | 0.000 % |
758.34/758.75 c | 1199015 | 800 16000 80000 | 80978 78046 122 | 0.000 % |
758.54/758.96 c | 1199272 | 800 16000 80000 | 80978 78303 122 | 0.000 % |
758.75/759.18 c | 1199553 | 800 16000 80000 | 80978 78584 121 | 0.000 % |
759.04/759.42 c | 1199865 | 800 16000 80000 | 80978 78896 121 | 0.000 % |
759.24/759.68 c | 1200204 | 800 16000 80000 | 79032 79235 121 | 0.000 % |
759.54/759.95 c | 1200576 | 800 16000 80000 | 79032 67417 122 | 0.000 % |
759.85/760.21 c | 1200985 | 800 16000 80000 | 79032 67826 122 | 0.000 % |
760.14/760.51 c | 1201434 | 800 16000 80000 | 79032 68275 121 | 0.000 % |
760.44/760.80 c | 1201929 | 800 16000 80000 | 79032 68770 121 | 0.000 % |
760.74/761.15 c | 1202471 | 800 16000 80000 | 79032 69312 121 | 0.000 % |
761.14/761.54 c | 1203067 | 800 16000 80000 | 79032 69908 121 | 0.000 % |
761.64/762.01 c | 1203722 | 800 16000 80000 | 79032 70563 121 | 0.000 % |
762.14/762.54 c | 1204443 | 800 16000 80000 | 79032 71284 121 | 0.000 % |
762.64/763.09 c | 1205238 | 800 16000 80000 | 79032 72079 121 | 0.000 % |
763.24/763.68 c | 1206110 | 800 16000 80000 | 79032 72951 121 | 0.000 % |
763.94/764.36 c | 1207069 | 800 16000 80000 | 79032 73910 121 | 0.000 % |
764.64/765.07 c | 1208122 | 800 16000 80000 | 79032 74963 121 | 0.000 % |
765.44/765.89 c | 1209280 | 800 16000 80000 | 79032 76121 121 | 0.000 % |
766.34/766.80 c | 1210554 | 800 16000 80000 | 76842 67041 120 | 0.000 % |
767.24/767.67 c | 1211955 | 800 16000 80000 | 76842 68442 120 | 0.000 % |
768.24/768.64 c | 1213495 | 800 16000 80000 | 76842 69982 120 | 0.000 % |
769.24/769.64 c | 1215190 | 800 16000 80000 | 76842 71677 120 | 0.000 % |
770.34/770.73 c | 1217053 | 800 16000 80000 | 76842 73540 120 | 0.000 % |
771.63/772.09 c | 1219104 | 800 16000 80000 | 76842 75591 120 | 0.000 % |
773.23/773.63 c | 1221358 | 800 16000 80000 | 76487 68516 120 | 0.000 % |
774.73/775.19 c | 1223836 | 800 16000 80000 | 76487 70994 120 | 0.000 % |
776.43/776.87 c | 1226561 | 800 16000 80000 | 76487 73719 120 | 0.000 % |
778.44/778.88 c | 1229558 | 800 16000 80000 | 76487 76716 120 | 0.000 % |
780.43/780.89 c | 1232854 | 800 16000 80000 | 67854 62566 118 | 0.000 % |
782.53/782.94 c | 1236479 | 800 16000 80000 | 67854 66191 118 | 0.000 % |
784.93/785.37 c | 1240466 | 800 16000 80000 | 2147483647 63362 117 | 0.000 % |
787.53/787.98 c | 1244851 | 800 16000 80000 | 2147483647 67747 117 | 0.000 % |
790.73/791.19 c | 1249675 | 800 16000 80000 | 2147483647 72571 118 | 0.000 % |
794.33/794.77 c | 1254981 | 800 16000 80000 | 2147483647 77877 118 | 0.000 % |
798.63/799.04 c | 1260818 | 800 16000 80000 | 82896 72261 117 | 0.000 % |
803.22/803.63 c | 1267236 | 800 16000 80000 | 82896 78679 117 | 0.000 % |
808.42/808.85 c | 1274295 | 800 16000 80000 | 81444 74108 117 | 0.000 % |
813.82/814.29 c | 1282059 | 800 16000 80000 | 79813 70713 117 | 0.000 % |
819.22/819.64 c | 1290600 | 800 16000 80000 | 78654 68612 118 | 0.000 % |
825.32/825.77 c | 1299998 | 800 16000 80000 | 78654 78010 119 | 0.000 % |
832.61/833.02 c | 1310331 | 800 16000 80000 | 77972 68276 121 | 0.000 % |
840.31/840.78 c | 1321697 | 800 16000 80000 | 77947 70458 122 | 0.000 % |
840.41/840.85 c | 1321797 | 800 16000 80000 | 77947 70558 122 | 0.000 % |
840.51/840.93 c | 1321907 | 800 16000 80000 | 77947 70668 122 | 0.000 % |
840.61/841.01 c | 1322028 | 800 16000 80000 | 77947 70789 122 | 0.000 % |
840.71/841.13 c | 1322161 | 800 16000 80000 | 77947 70922 122 | 0.000 % |
840.81/841.23 c | 1322308 | 800 16000 80000 | 77947 71069 122 | 0.000 % |
840.91/841.32 c | 1322468 | 800 16000 80000 | 77947 71229 122 | 0.000 % |
841.01/841.44 c | 1322644 | 800 16000 80000 | 77947 71405 122 | 0.000 % |
841.12/841.57 c | 1322837 | 800 16000 80000 | 77947 71598 122 | 0.000 % |
841.31/841.71 c | 1323049 | 800 16000 80000 | 77947 71810 122 | 0.000 % |
841.41/841.89 c | 1323282 | 800 16000 80000 | 77947 72043 122 | 0.000 % |
841.61/842.08 c | 1323541 | 800 16000 80000 | 77947 72302 122 | 0.000 % |
841.91/842.31 c | 1323826 | 800 16000 80000 | 77947 72587 122 | 0.000 % |
842.11/842.54 c | 1324138 | 800 16000 80000 | 77947 72899 122 | 0.000 % |
842.31/842.77 c | 1324477 | 800 16000 80000 | 77947 73238 122 | 0.000 % |
842.61/843.04 c | 1324849 | 800 16000 80000 | 77947 73610 122 | 0.000 % |
842.91/843.31 c | 1325261 | 800 16000 80000 | 77947 74022 122 | 0.000 % |
843.21/843.65 c | 1325710 | 800 16000 80000 | 77947 74471 121 | 0.000 % |
843.61/844.00 c | 1326204 | 800 16000 80000 | 77947 74965 121 | 0.000 % |
843.91/844.38 c | 1326746 | 800 16000 80000 | 77947 75507 121 | 0.000 % |
844.31/844.78 c | 1327345 | 800 16000 80000 | 77947 76106 121 | 0.000 % |
844.81/845.26 c | 1328000 | 800 16000 80000 | 77947 76761 121 | 0.000 % |
845.41/845.81 c | 1328721 | 800 16000 80000 | 77947 77482 121 | 0.000 % |
846.01/846.42 c | 1329514 | 800 16000 80000 | 77947 67891 122 | 0.000 % |
846.61/847.01 c | 1330386 | 800 16000 80000 | 68379 59847 122 | 0.000 % |
847.11/847.57 c | 1331345 | 800 16000 80000 | 68379 60806 122 | 0.000 % |
847.81/848.22 c | 1332398 | 800 16000 80000 | 68379 61859 122 | 0.000 % |
848.41/848.89 c | 1333556 | 800 16000 80000 | 68379 63017 122 | 0.000 % |
849.21/849.60 c | 1334830 | 800 16000 80000 | 68379 64291 122 | 0.000 % |
850.01/850.44 c | 1336232 | 800 16000 80000 | 68379 65693 122 | 0.000 % |
850.91/851.33 c | 1337773 | 800 16000 80000 | 68379 67234 122 | 0.000 % |
851.91/852.34 c | 1339467 | 800 16000 80000 | 68379 62063 122 | 0.000 % |
852.91/853.36 c | 1341330 | 800 16000 80000 | 2147483647 63926 121 | 0.000 % |
854.11/854.50 c | 1343380 | 800 16000 80000 | 2147483647 65976 121 | 0.000 % |
855.41/855.83 c | 1345633 | 800 16000 80000 | 2147483647 68229 121 | 0.000 % |
856.90/857.36 c | 1348113 | 800 16000 80000 | 2147483647 70709 121 | 0.000 % |
858.60/859.06 c | 1350839 | 800 16000 80000 | 2147483647 73435 121 | 0.000 % |
860.60/861.00 c | 1353837 | 800 16000 80000 | 2147483647 76433 120 | 0.000 % |
862.90/863.33 c | 1357133 | 800 16000 80000 | 2147483647 79729 120 | 0.000 % |
865.31/865.80 c | 1360758 | 800 16000 80000 | 82598 73027 120 | 0.000 % |
867.90/868.34 c | 1364748 | 800 16000 80000 | 82598 77017 120 | 0.000 % |
870.90/871.38 c | 1369133 | 800 16000 80000 | 82598 81402 120 | 0.000 % |
874.40/874.84 c | 1373956 | 800 16000 80000 | 82269 75515 119 | 0.000 % |
878.00/878.43 c | 1379263 | 800 16000 80000 | 82269 80822 118 | 0.000 % |
882.09/882.58 c | 1385098 | 800 16000 80000 | 81560 75920 117 | 0.000 % |
886.39/886.83 c | 1391516 | 800 16000 80000 | 80823 70636 116 | 0.000 % |
890.79/891.20 c | 1398575 | 800 16000 80000 | 80823 77695 116 | 0.000 % |
895.39/895.90 c | 1406340 | 800 16000 80000 | 79122 74727 118 | 0.000 % |
901.09/901.55 c | 1414880 | 800 16000 80000 | 78387 73209 118 | 0.000 % |
907.29/907.74 c | 1424274 | 800 16000 80000 | 78329 72977 118 | 0.000 % |
914.79/915.24 c | 1434607 | 800 16000 80000 | 69291 65475 119 | 0.000 % |
923.48/923.93 c | 1445973 | 800 16000 80000 | 2147483647 69771 120 | 0.000 % |
932.28/932.70 c | 1458475 | 800 16000 80000 | 73799 73785 121 | 0.000 % |
932.28/932.78 c | 1458575 | 800 16000 80000 | 73799 73885 121 | 0.000 % |
932.48/932.93 c | 1458685 | 800 16000 80000 | 73799 64934 121 | 0.000 % |
932.58/933.01 c | 1458806 | 800 16000 80000 | 73799 65055 121 | 0.000 % |
932.58/933.09 c | 1458939 | 800 16000 80000 | 73799 65188 121 | 0.000 % |
932.68/933.19 c | 1459085 | 800 16000 80000 | 73799 65334 121 | 0.000 % |
932.88/933.30 c | 1459245 | 800 16000 80000 | 73799 65494 121 | 0.000 % |
932.98/933.41 c | 1459422 | 800 16000 80000 | 73799 65671 121 | 0.000 % |
933.08/933.53 c | 1459617 | 800 16000 80000 | 73799 65866 121 | 0.000 % |
933.18/933.65 c | 1459829 | 800 16000 80000 | 73799 66078 121 | 0.000 % |
933.28/933.79 c | 1460062 | 800 16000 80000 | 66250 66311 121 | 0.000 % |
933.48/933.98 c | 1460319 | 800 16000 80000 | 66250 58604 120 | 0.000 % |
933.68/934.14 c | 1460603 | 800 16000 80000 | 66250 58888 120 | 0.000 % |
933.88/934.31 c | 1460912 | 800 16000 80000 | 66250 59197 120 | 0.000 % |
934.08/934.51 c | 1461251 | 800 16000 80000 | 66250 59536 120 | 0.000 % |
934.28/934.73 c | 1461624 | 800 16000 80000 | 66250 59909 120 | 0.000 % |
934.48/934.95 c | 1462033 | 800 16000 80000 | 66250 60318 120 | 0.000 % |
934.78/935.21 c | 1462482 | 800 16000 80000 | 66250 60767 120 | 0.000 % |
934.98/935.47 c | 1462975 | 800 16000 80000 | 66250 61260 120 | 0.000 % |
935.28/935.77 c | 1463517 | 800 16000 80000 | 66250 61802 120 | 0.000 % |
935.68/936.14 c | 1464114 | 800 16000 80000 | 66250 62399 120 | 0.000 % |
936.08/936.51 c | 1464769 | 800 16000 80000 | 66250 63054 119 | 0.000 % |
936.38/936.89 c | 1465489 | 800 16000 80000 | 66250 63774 119 | 0.000 % |
936.88/937.36 c | 1466282 | 800 16000 80000 | 66250 64567 119 | 0.000 % |
937.38/937.82 c | 1467154 | 800 16000 80000 | 66250 65439 119 | 0.000 % |
937.88/938.34 c | 1468114 | 800 16000 80000 | 66250 66399 119 | 0.000 % |
938.48/938.97 c | 1469167 | 800 16000 80000 | 66250 60813 119 | 0.000 % |
939.08/939.56 c | 1470326 | 800 16000 80000 | 2147483647 61972 119 | 0.000 % |
939.69/940.19 c | 1471600 | 800 16000 80000 | 2147483647 63246 119 | 0.000 % |
940.49/940.92 c | 1473000 | 800 16000 80000 | 2147483647 64646 119 | 0.000 % |
941.38/941.82 c | 1474540 | 800 16000 80000 | 2147483647 66186 119 | 0.000 % |
942.39/942.86 c | 1476234 | 800 16000 80000 | 2147483647 67880 119 | 0.000 % |
943.49/943.91 c | 1478097 | 800 16000 80000 | 2147483647 69743 119 | 0.000 % |
944.68/945.18 c | 1480149 | 800 16000 80000 | 2147483647 71795 119 | 0.000 % |
946.18/946.61 c | 1482403 | 800 16000 80000 | 2147483647 74049 119 | 0.000 % |
947.79/948.27 c | 1484882 | 800 16000 80000 | 2147483647 76528 119 | 0.000 % |
949.58/950.08 c | 1487608 | 800 16000 80000 | 2147483647 79254 119 | 0.000 % |
951.68/952.19 c | 1490607 | 800 16000 80000 | 81646 71694 119 | 0.000 % |
953.78/954.26 c | 1493903 | 800 16000 80000 | 81646 74990 119 | 0.000 % |
956.28/956.76 c | 1497529 | 800 16000 80000 | 81646 78616 119 | 0.000 % |
958.98/959.42 c | 1501516 | 800 16000 80000 | 81089 71159 119 | 0.000 % |
961.58/962.01 c | 1505901 | 800 16000 80000 | 81089 75544 119 | 0.000 % |
964.78/965.25 c | 1510725 | 800 16000 80000 | 79645 69478 118 | 0.000 % |
968.18/968.66 c | 1516030 | 800 16000 80000 | 79645 74783 118 | 0.000 % |
972.08/972.56 c | 1521868 | 800 16000 80000 | 78753 70123 118 | 0.000 % |
976.17/976.63 c | 1528286 | 800 16000 80000 | 78753 76541 117 | 0.000 % |
980.97/981.45 c | 1535346 | 800 16000 80000 | 78255 73679 118 | 0.000 % |
986.77/987.22 c | 1543111 | 800 16000 80000 | 78333 70582 118 | 0.000 % |
992.77/993.22 c | 1551651 | 800 16000 80000 | 77471 68535 118 | 0.000 % |
999.17/999.61 c | 1561045 | 800 16000 80000 | 76884 67885 118 | 0.000 % |
1005.86/1006.33 c | 1571379 | 800 16000 80000 | 76840 67472 119 | 0.000 % |
1013.16/1013.63 c | 1582745 | 800 16000 80000 | 76094 69097 120 | 0.000 % |
1021.36/1021.83 c | 1595247 | 800 16000 80000 | 76354 72494 122 | 0.000 % |
1030.36/1030.85 c | 1609002 | 800 16000 80000 | 67906 60913 124 | 0.000 % |
1030.46/1030.92 c | 1609103 | 800 16000 80000 | 67906 61014 124 | 0.000 % |
1030.46/1030.99 c | 1609214 | 800 16000 80000 | 67906 61125 124 | 0.000 % |
1030.56/1031.07 c | 1609335 | 800 16000 80000 | 67906 61246 124 | 0.000 % |
1030.66/1031.15 c | 1609469 | 800 16000 80000 | 67906 61380 124 | 0.000 % |
1030.76/1031.24 c | 1609615 | 800 16000 80000 | 67906 61526 124 | 0.000 % |
1030.86/1031.34 c | 1609775 | 800 16000 80000 | 67906 61686 124 | 0.000 % |
1030.96/1031.44 c | 1609951 | 800 16000 80000 | 67906 61862 124 | 0.000 % |
1031.06/1031.55 c | 1610146 | 800 16000 80000 | 61912 62057 124 | 0.000 % |
1031.16/1031.68 c | 1610359 | 800 16000 80000 | 61912 55536 124 | 0.000 % |
1031.36/1031.81 c | 1610592 | 800 16000 80000 | 61912 55769 124 | 0.000 % |
1031.46/1031.97 c | 1610849 | 800 16000 80000 | 61912 56026 124 | 0.000 % |
1031.66/1032.14 c | 1611130 | 800 16000 80000 | 61912 56307 124 | 0.000 % |
1031.86/1032.30 c | 1611442 | 800 16000 80000 | 61912 56619 124 | 0.000 % |
1031.96/1032.48 c | 1611783 | 800 16000 80000 | 61912 56960 124 | 0.000 % |
1032.16/1032.67 c | 1612156 | 800 16000 80000 | 61912 57333 124 | 0.000 % |
1032.46/1032.90 c | 1612567 | 800 16000 80000 | 61912 57744 124 | 0.000 % |
1032.65/1033.17 c | 1613018 | 800 16000 80000 | 61912 58195 124 | 0.000 % |
1032.95/1033.46 c | 1613512 | 800 16000 80000 | 61912 58689 123 | 0.000 % |
1033.35/1033.81 c | 1614054 | 800 16000 80000 | 61912 59231 123 | 0.000 % |
1033.75/1034.21 c | 1614652 | 800 16000 80000 | 61912 59829 123 | 0.000 % |
1034.15/1034.63 c | 1615307 | 800 16000 80000 | 61912 60484 123 | 0.000 % |
1034.55/1035.04 c | 1616027 | 800 16000 80000 | 61912 61204 123 | 0.000 % |
1035.05/1035.56 c | 1616819 | 800 16000 80000 | 61912 61996 123 | 0.000 % |
1035.65/1036.13 c | 1617690 | 800 16000 80000 | 61912 56668 123 | 0.000 % |
1036.15/1036.65 c | 1618648 | 800 16000 80000 | 61912 57626 122 | 0.000 % |
1036.75/1037.24 c | 1619701 | 800 16000 80000 | 61912 58679 122 | 0.000 % |
1037.35/1037.81 c | 1620861 | 800 16000 80000 | 2147483647 59839 122 | 0.000 % |
1038.06/1038.51 c | 1622135 | 800 16000 80000 | 2147483647 61113 122 | 0.000 % |
1038.75/1039.27 c | 1623535 | 800 16000 80000 | 2147483647 62513 122 | 0.000 % |
1039.75/1040.20 c | 1625076 | 800 16000 80000 | 2147483647 64054 121 | 0.000 % |
1040.75/1041.23 c | 1626770 | 800 16000 80000 | 2147483647 65748 121 | 0.000 % |
1041.85/1042.35 c | 1628634 | 800 16000 80000 | 2147483647 67612 121 | 0.000 % |
1043.05/1043.54 c | 1630684 | 800 16000 80000 | 2147483647 69662 121 | 0.000 % |
1044.35/1044.81 c | 1632937 | 800 16000 80000 | 2147483647 71915 121 | 0.000 % |
1045.85/1046.35 c | 1635417 | 800 16000 80000 | 2147483647 74395 121 | 0.000 % |
1047.55/1048.09 c | 1638142 | 800 16000 80000 | 2147483647 77120 121 | 0.000 % |
1049.55/1050.03 c | 1641141 | 800 16000 80000 | 78982 71848 121 | 0.000 % |
1051.65/1052.20 c | 1644437 | 800 16000 80000 | 78982 75144 121 | 0.000 % |
1054.15/1054.61 c | 1648062 | 800 16000 80000 | 78982 78769 121 | 0.000 % |
1056.65/1057.19 c | 1652049 | 800 16000 80000 | 71979 66011 119 | 0.000 % |
1059.34/1059.88 c | 1656435 | 800 16000 80000 | 71979 70397 119 | 0.000 % |
1062.44/1062.90 c | 1661259 | 800 16000 80000 | 65666 59665 117 | 0.000 % |
1065.74/1066.25 c | 1666566 | 800 16000 80000 | 65666 64972 117 | 0.000 % |
1068.94/1069.44 c | 1672402 | 800 16000 80000 | 2147483647 64214 117 | 0.000 % |
1072.74/1073.21 c | 1678820 | 800 16000 80000 | 2147483647 70632 118 | 0.000 % |
1077.44/1077.95 c | 1685879 | 800 16000 80000 | 2147483647 77691 118 | 0.000 % |
1082.73/1083.21 c | 1693645 | 800 16000 80000 | 81812 74934 120 | 0.000 % |
1088.54/1089.02 c | 1702185 | 800 16000 80000 | 81293 71917 121 | 0.000 % |
1095.33/1095.85 c | 1711582 | 800 16000 80000 | 79732 70527 121 | 0.000 % |
1101.93/1102.47 c | 1721915 | 800 16000 80000 | 78948 69288 122 | 0.000 % |
1109.33/1109.85 c | 1733281 | 800 16000 80000 | 77373 69482 122 | 0.000 % |
1118.02/1118.52 c | 1745784 | 800 16000 80000 | 76202 71981 123 | 0.000 % |
1128.62/1129.18 c | 1759536 | 800 16000 80000 | 76197 75555 123 | 0.000 % |
1138.23/1138.73 c | 1774663 | 800 16000 80000 | 75292 69833 124 | 0.000 % |
1138.33/1138.80 c | 1774763 | 800 16000 80000 | 75292 69933 124 | 0.000 % |
1138.33/1138.89 c | 1774875 | 800 16000 80000 | 75292 70045 124 | 0.000 % |
1138.43/1138.97 c | 1774999 | 800 16000 80000 | 75292 70169 124 | 0.000 % |
1138.53/1139.07 c | 1775133 | 800 16000 80000 | 75292 70303 123 | 0.000 % |
1138.63/1139.19 c | 1775279 | 800 16000 80000 | 75292 70449 123 | 0.000 % |
1138.73/1139.28 c | 1775439 | 800 16000 80000 | 75292 70609 123 | 0.000 % |
1138.83/1139.40 c | 1775615 | 800 16000 80000 | 75292 70785 123 | 0.000 % |
1139.02/1139.53 c | 1775809 | 800 16000 80000 | 75292 70979 123 | 0.000 % |
1139.23/1139.70 c | 1776021 | 800 16000 80000 | 75292 71191 123 | 0.000 % |
1139.32/1139.88 c | 1776255 | 800 16000 80000 | 75292 71425 123 | 0.000 % |
1139.52/1140.06 c | 1776511 | 800 16000 80000 | 75292 71681 123 | 0.000 % |
1139.72/1140.28 c | 1776793 | 800 16000 80000 | 75292 71963 123 | 0.000 % |
1139.92/1140.48 c | 1777102 | 800 16000 80000 | 75292 72272 123 | 0.000 % |
1140.23/1140.72 c | 1777441 | 800 16000 80000 | 75292 72611 123 | 0.000 % |
1140.42/1141.00 c | 1777813 | 800 16000 80000 | 75292 72983 123 | 0.000 % |
1140.82/1141.30 c | 1778224 | 800 16000 80000 | 75292 73394 123 | 0.000 % |
1141.12/1141.60 c | 1778674 | 800 16000 80000 | 75292 73844 123 | 0.000 % |
1141.43/1141.97 c | 1779167 | 800 16000 80000 | 75292 74337 123 | 0.000 % |
1141.82/1142.32 c | 1779710 | 800 16000 80000 | 75292 74880 123 | 0.000 % |
1142.22/1142.78 c | 1780307 | 800 16000 80000 | 75172 65035 122 | 0.000 % |
1142.62/1143.19 c | 1780963 | 800 16000 80000 | 75172 65691 122 | 0.000 % |
1143.02/1143.60 c | 1781683 | 800 16000 80000 | 75172 66411 122 | 0.000 % |
1143.63/1144.12 c | 1782476 | 800 16000 80000 | 75172 67204 122 | 0.000 % |
1144.12/1144.67 c | 1783347 | 800 16000 80000 | 75172 68075 122 | 0.000 % |
1144.72/1145.28 c | 1784307 | 800 16000 80000 | 75172 69035 122 | 0.000 % |
1145.32/1145.89 c | 1785361 | 800 16000 80000 | 75172 70089 122 | 0.000 % |
1146.12/1146.64 c | 1786519 | 800 16000 80000 | 75172 71247 122 | 0.000 % |
1147.02/1147.50 c | 1787792 | 800 16000 80000 | 75172 72520 121 | 0.000 % |
1147.92/1148.46 c | 1789192 | 800 16000 80000 | 75172 73920 121 | 0.000 % |
1148.92/1149.49 c | 1790732 | 800 16000 80000 | 74729 66146 122 | 0.000 % |
1150.02/1150.51 c | 1792426 | 800 16000 80000 | 74729 67840 121 | 0.000 % |
1151.12/1151.61 c | 1794289 | 800 16000 80000 | 74729 69703 121 | 0.000 % |
1152.42/1152.95 c | 1796342 | 800 16000 80000 | 74729 71756 121 | 0.000 % |
1154.02/1154.51 c | 1798596 | 800 16000 80000 | 74729 74010 121 | 0.000 % |
1155.62/1156.18 c | 1801075 | 800 16000 80000 | 66434 59696 119 | 0.000 % |
1157.12/1157.67 c | 1803800 | 800 16000 80000 | 66434 62421 119 | 0.000 % |
1158.92/1159.43 c | 1806798 | 800 16000 80000 | 66434 65419 119 | 0.000 % |
1160.81/1161.33 c | 1810096 | 800 16000 80000 | 2147483647 62046 119 | 0.000 % |
1163.01/1163.52 c | 1813723 | 800 16000 80000 | 2147483647 65673 119 | 0.000 % |
1165.31/1165.85 c | 1817710 | 800 16000 80000 | 2147483647 69660 119 | 0.000 % |
1168.31/1168.82 c | 1822097 | 800 16000 80000 | 2147483647 74047 118 | 0.000 % |
1171.71/1172.27 c | 1826920 | 800 16000 80000 | 2147483647 78870 118 | 0.000 % |
1175.51/1176.02 c | 1832226 | 800 16000 80000 | 81954 72907 117 | 0.000 % |
1179.51/1180.07 c | 1838063 | 800 16000 80000 | 81954 78744 117 | 0.000 % |
1183.81/1184.37 c | 1844481 | 800 16000 80000 | 80681 73694 115 | 0.000 % |
1188.61/1189.20 c | 1851540 | 800 16000 80000 | 79213 69591 116 | 0.000 % |
1193.60/1194.14 c | 1859304 | 800 16000 80000 | 79213 77355 116 | 0.000 % |
1199.40/1199.91 c | 1867846 | 800 16000 80000 | 78052 75157 117 | 0.000 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1832475-1242773824/watcher-1832475-1242773824 -o /tmp/evaluation-result-1832475-1242773824/solver-1832475-1242773824 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832475-1242773824.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.91 0.97 0.91 3/64 8345
/proc/meminfo: memFree=1967112/2055920 swapFree=4180160/4192956
[pid=8345] ppid=8343 vsize=5356 CPUtime=0
/proc/8345/stat : 8345 (SatELiteGTI) S 8343 8345 8088 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 305415683 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8345/statm: 1339 237 197 169 0 50 0
[startup+0.104215 s]
/proc/loadavg: 0.91 0.97 0.91 3/64 8345
/proc/meminfo: memFree=1967112/2055920 swapFree=4180160/4192956
[pid=8345] ppid=8343 vsize=5356 CPUtime=0.04
/proc/8345/stat : 8345 (SatELiteGTI) S 8343 8345 8088 0 -1 4194304 336 690 0 0 0 0 4 0 16 0 1 0 305415683 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8345/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 5356
[startup+0.201224 s]
/proc/loadavg: 0.91 0.97 0.91 3/64 8345
/proc/meminfo: memFree=1967112/2055920 swapFree=4180160/4192956
[pid=8345] ppid=8343 vsize=5356 CPUtime=0.04
/proc/8345/stat : 8345 (SatELiteGTI) S 8343 8345 8088 0 -1 4194304 336 690 0 0 0 0 4 0 16 0 1 0 305415683 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8345/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 5356
[startup+0.301236 s]
/proc/loadavg: 0.91 0.97 0.91 3/64 8345
/proc/meminfo: memFree=1967112/2055920 swapFree=4180160/4192956
[pid=8345] ppid=8343 vsize=5356 CPUtime=0.04
/proc/8345/stat : 8345 (SatELiteGTI) S 8343 8345 8088 0 -1 4194304 336 690 0 0 0 0 4 0 16 0 1 0 305415683 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8345/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 5356
[startup+0.701283 s]
/proc/loadavg: 0.91 0.97 0.91 3/64 8345
/proc/meminfo: memFree=1967112/2055920 swapFree=4180160/4192956
[pid=8345] ppid=8343 vsize=5356 CPUtime=0.04
/proc/8345/stat : 8345 (SatELiteGTI) S 8343 8345 8088 0 -1 4194304 336 690 0 0 0 0 4 0 16 0 1 0 305415683 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8345/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 5356
[startup+1.50136 s]
/proc/loadavg: 0.91 0.97 0.91 2/66 8351
/proc/meminfo: memFree=1962560/2055920 swapFree=4180160/4192956
[pid=8345] ppid=8343 vsize=5356 CPUtime=0.04
/proc/8345/stat : 8345 (SatELiteGTI) S 8343 8345 8088 0 -1 4194304 336 690 0 0 0 0 4 0 16 0 1 0 305415683 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8345/statm: 1339 239 197 169 0 50 0
[pid=8351] ppid=8345 vsize=6220 CPUtime=1.43
/proc/8351/stat : 8351 (minisat_static) R 8345 8345 8088 0 -1 4194304 1286 0 0 0 143 0 0 0 25 0 1 0 305415688 6369280 1272 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/8351/statm: 1555 1272 77 171 0 1382 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 11576
[startup+3.10253 s]
/proc/loadavg: 0.91 0.97 0.91 2/66 8351
/proc/meminfo: memFree=1959552/2055920 swapFree=4180160/4192956
[pid=8345] ppid=8343 vsize=5356 CPUtime=0.04
/proc/8345/stat : 8345 (SatELiteGTI) S 8343 8345 8088 0 -1 4194304 336 690 0 0 0 0 4 0 16 0 1 0 305415683 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8345/statm: 1339 239 197 169 0 50 0
[pid=8351] ppid=8345 vsize=10336 CPUtime=3.04
/proc/8351/stat : 8351 (minisat_static) R 8345 8345 8088 0 -1 4194304 2312 0 0 0 303 1 0 0 25 0 1 0 305415688 10584064 2298 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/8351/statm: 2584 2298 77 171 0 2411 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 15692
[startup+6.30188 s]
/proc/loadavg: 0.92 0.97 0.91 2/66 8351
/proc/meminfo: memFree=1952832/2055920 swapFree=4180160/4192956
[pid=8345] ppid=8343 vsize=5356 CPUtime=0.04
/proc/8345/stat : 8345 (SatELiteGTI) S 8343 8345 8088 0 -1 4194304 336 690 0 0 0 0 4 0 16 0 1 0 305415683 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8345/statm: 1339 239 197 169 0 50 0
[pid=8351] ppid=8345 vsize=16060 CPUtime=6.23
/proc/8351/stat : 8351 (minisat_static) R 8345 8345 8088 0 -1 4194304 3737 0 0 0 621 2 0 0 25 0 1 0 305415688 16445440 3723 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/8351/statm: 4015 3723 77 171 0 3842 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 21416
[startup+12.7016 s]
/proc/loadavg: 0.93 0.97 0.91 2/66 8351
/proc/meminfo: memFree=1944128/2055920 swapFree=4180160/4192956
[pid=8345] ppid=8343 vsize=5356 CPUtime=0.04
/proc/8345/stat : 8345 (SatELiteGTI) S 8343 8345 8088 0 -1 4194304 336 690 0 0 0 0 4 0 16 0 1 0 305415683 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8345/statm: 1339 239 197 169 0 50 0
[pid=8351] ppid=8345 vsize=23928 CPUtime=12.61
/proc/8351/stat : 8351 (minisat_static) R 8345 8345 8088 0 -1 4194304 5718 0 0 0 1257 4 0 0 25 0 1 0 305415688 24502272 5704 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/8351/statm: 5982 5704 77 171 0 5809 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 29284
[startup+25.5019 s]
/proc/loadavg: 0.94 0.97 0.91 2/66 8351
/proc/meminfo: memFree=1932672/2055920 swapFree=4180160/4192956
[pid=8345] ppid=8343 vsize=5356 CPUtime=0.04
/proc/8345/stat : 8345 (SatELiteGTI) S 8343 8345 8088 0 -1 4194304 336 690 0 0 0 0 4 0 16 0 1 0 305415683 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8345/statm: 1339 239 197 169 0 50 0
[pid=8351] ppid=8345 vsize=35004 CPUtime=25.4
/proc/8351/stat : 8351 (minisat_static) R 8345 8345 8088 0 -1 4194304 8463 0 0 0 2533 7 0 0 25 0 1 0 305415688 35844096 8449 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/8351/statm: 8751 8449 77 171 0 8578 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 40360
[startup+51.1017 s]
/proc/loadavg: 0.96 0.97 0.91 2/66 8351
/proc/meminfo: memFree=1925248/2055920 swapFree=4180160/4192956
[pid=8345] ppid=8343 vsize=5356 CPUtime=0.04
/proc/8345/stat : 8345 (SatELiteGTI) S 8343 8345 8088 0 -1 4194304 336 690 0 0 0 0 4 0 16 0 1 0 305415683 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8345/statm: 1339 239 197 169 0 50 0
[pid=8351] ppid=8345 vsize=42132 CPUtime=50.99
/proc/8351/stat : 8351 (minisat_static) R 8345 8345 8088 0 -1 4194304 10271 0 0 0 5089 10 0 0 25 0 1 0 305415688 43143168 10257 1992294400 134512640 135215339 4294956240 18446744073709551615 134541008 0 0 4096 3 0 0 0 17 1 0 0
/proc/8351/statm: 10533 10257 77 171 0 10360 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 47488
[startup+102.301 s]
/proc/loadavg: 0.98 0.97 0.91 2/66 8351
/proc/meminfo: memFree=1924736/2055920 swapFree=4180160/4192956
[pid=8345] ppid=8343 vsize=5356 CPUtime=0.04
/proc/8345/stat : 8345 (SatELiteGTI) S 8343 8345 8088 0 -1 4194304 336 690 0 0 0 0 4 0 16 0 1 0 305415683 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8345/statm: 1339 239 197 169 0 50 0
[pid=8351] ppid=8345 vsize=42660 CPUtime=102.16
/proc/8351/stat : 8351 (minisat_static) R 8345 8345 8088 0 -1 4194304 10382 0 0 0 10206 10 0 0 25 0 1 0 305415688 43683840 10368 1992294400 134512640 135215339 4294956240 18446744073709551615 134528809 0 0 4096 3 0 0 0 17 1 0 0
/proc/8351/statm: 10665 10368 77 171 0 10492 0
Current children cumulated CPU time (s) 102.2
Current children cumulated vsize (KiB) 48016
[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 8351
/proc/meminfo: memFree=1924416/2055920 swapFree=4180160/4192956
[pid=8345] ppid=8343 vsize=5356 CPUtime=0.04
/proc/8345/stat : 8345 (SatELiteGTI) S 8343 8345 8088 0 -1 4194304 336 690 0 0 0 0 4 0 16 0 1 0 305415683 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8345/statm: 1339 239 197 169 0 50 0
[pid=8351] ppid=8345 vsize=42792 CPUtime=162.13
/proc/8351/stat : 8351 (minisat_static) R 8345 8345 8088 0 -1 4194304 10429 0 0 0 16202 11 0 0 25 0 1 0 305415688 43819008 10415 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/8351/statm: 10698 10415 77 171 0 10525 0
Current children cumulated CPU time (s) 162.17
Current children cumulated vsize (KiB) 48148
[startup+222.305 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 8351
/proc/meminfo: memFree=1923136/2055920 swapFree=4180160/4192956
[pid=8345] ppid=8343 vsize=5356 CPUtime=0.04
/proc/8345/stat : 8345 (SatELiteGTI) S 8343 8345 8088 0 -1 4194304 336 690 0 0 0 0 4 0 16 0 1 0 305415683 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8345/statm: 1339 239 197 169 0 50 0
[pid=8351] ppid=8345 vsize=43972 CPUtime=222.1
/proc/8351/stat : 8351 (minisat_static) R 8345 8345 8088 0 -1 4194304 10726 0 0 0 22199 11 0 0 25 0 1 0 305415688 45027328 10712 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/8351/statm: 10993 10712 77 171 0 10820 0
Current children cumulated CPU time (s) 222.14
Current children cumulated vsize (KiB) 49328
[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 8357
/proc/meminfo: memFree=1921536/2055920 swapFree=4180160/4192956
[pid=8345] ppid=8343 vsize=5356 CPUtime=0.04
/proc/8345/stat : 8345 (SatELiteGTI) S 8343 8345 8088 0 -1 4194304 336 690 0 0 0 0 4 0 16 0 1 0 305415683 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8345/statm: 1339 239 197 169 0 50 0
[pid=8351] ppid=8345 vsize=45292 CPUtime=282.08
/proc/8351/stat : 8351 (minisat_static) R 8345 8345 8088 0 -1 4194304 11054 0 0 0 28196 12 0 0 25 0 1 0 305415688 46379008 11040 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/8351/statm: 11323 11040 77 171 0 11150 0
Current children cumulated CPU time (s) 282.12
Current children cumulated vsize (KiB) 50648
[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 8357
/proc/meminfo: memFree=1921536/2055920 swapFree=4180160/4192956
[pid=8345] ppid=8343 vsize=5356 CPUtime=0.04
/proc/8345/stat : 8345 (SatELiteGTI) S 8343 8345 8088 0 -1 4194304 336 690 0 0 0 0 4 0 16 0 1 0 305415683 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8345/statm: 1339 239 197 169 0 50 0
[pid=8351] ppid=8345 vsize=45280 CPUtime=342.04
/proc/8351/stat : 8351 (minisat_static) R 8345 8345 8088 0 -1 4194304 11054 0 0 0 34192 12 0 0 25 0 1 0 305415688 46366720 11040 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/8351/statm: 11320 11040 77 171 0 11147 0
Current children cumulated CPU time (s) 342.08
Current children cumulated vsize (KiB) 50636
[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 8357
/proc/meminfo: memFree=1921024/2055920 swapFree=4180160/4192956
[pid=8345] ppid=8343 vsize=5356 CPUtime=0.04
/proc/8345/stat : 8345 (SatELiteGTI) S 8343 8345 8088 0 -1 4194304 336 690 0 0 0 0 4 0 16 0 1 0 305415683 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8345/statm: 1339 239 197 169 0 50 0
[pid=8351] ppid=8345 vsize=45704 CPUtime=402.02
/proc/8351/stat : 8351 (minisat_static) R 8345 8345 8088 0 -1 4194304 11183 0 0 0 40189 13 0 0 25 0 1 0 305415688 46800896 11159 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/8351/statm: 11426 11159 77 171 0 11253 0
Current children cumulated CPU time (s) 402.06
Current children cumulated vsize (KiB) 51060
[startup+462.302 s]
################
# More data... #
################
/proc/8351/statm: 11726 11441 77 171 0 11553 0
Current children cumulated CPU time (s) 522.02
Current children cumulated vsize (KiB) 52260
[startup+582.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 8357
/proc/meminfo: memFree=1920000/2055920 swapFree=4180160/4192956
[pid=8345] ppid=8343 vsize=5356 CPUtime=0.04
/proc/8345/stat : 8345 (SatELiteGTI) S 8343 8345 8088 0 -1 4194304 336 690 0 0 0 0 4 0 16 0 1 0 305415683 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8345/statm: 1339 239 197 169 0 50 0
[pid=8351] ppid=8345 vsize=46232 CPUtime=581.95
/proc/8351/stat : 8351 (minisat_static) R 8345 8345 8088 0 -1 4194304 11495 0 0 0 58181 14 0 0 25 0 1 0 305415688 47341568 11291 1992294400 134512640 135215339 4294956240 18446744073709551615 134528673 0 0 4096 3 0 0 0 17 1 0 0
/proc/8351/statm: 11558 11291 77 171 0 11385 0
Current children cumulated CPU time (s) 581.99
Current children cumulated vsize (KiB) 51588
[startup+642.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 8357
/proc/meminfo: memFree=1918976/2055920 swapFree=4180160/4192956
[pid=8345] ppid=8343 vsize=5356 CPUtime=0.04
/proc/8345/stat : 8345 (SatELiteGTI) S 8343 8345 8088 0 -1 4194304 336 690 0 0 0 0 4 0 16 0 1 0 305415683 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8345/statm: 1339 239 197 169 0 50 0
[pid=8351] ppid=8345 vsize=47420 CPUtime=641.95
/proc/8351/stat : 8351 (minisat_static) R 8345 8345 8088 0 -1 4194304 11772 0 0 0 64180 15 0 0 25 0 1 0 305415688 48558080 11568 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/8351/statm: 11855 11568 77 171 0 11682 0
Current children cumulated CPU time (s) 641.99
Current children cumulated vsize (KiB) 52776
[startup+702.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 8357
/proc/meminfo: memFree=1919424/2055920 swapFree=4180160/4192956
[pid=8345] ppid=8343 vsize=5356 CPUtime=0.04
/proc/8345/stat : 8345 (SatELiteGTI) S 8343 8345 8088 0 -1 4194304 336 690 0 0 0 0 4 0 16 0 1 0 305415683 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8345/statm: 1339 239 197 169 0 50 0
[pid=8351] ppid=8345 vsize=46836 CPUtime=701.92
/proc/8351/stat : 8351 (minisat_static) R 8345 8345 8088 0 -1 4194304 11815 0 0 0 70177 15 0 0 25 0 1 0 305415688 47960064 11419 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/8351/statm: 11709 11419 77 171 0 11536 0
Current children cumulated CPU time (s) 701.96
Current children cumulated vsize (KiB) 52192
[startup+762.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 8357
/proc/meminfo: memFree=1918336/2055920 swapFree=4180160/4192956
[pid=8345] ppid=8343 vsize=5356 CPUtime=0.04
/proc/8345/stat : 8345 (SatELiteGTI) S 8343 8345 8088 0 -1 4194304 336 690 0 0 0 0 4 0 16 0 1 0 305415683 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8345/statm: 1339 239 197 169 0 50 0
[pid=8351] ppid=8345 vsize=47892 CPUtime=761.91
/proc/8351/stat : 8351 (minisat_static) R 8345 8345 8088 0 -1 4194304 12120 0 0 0 76175 16 0 0 25 0 1 0 305415688 49041408 11681 1992294400 134512640 135215339 4294956240 18446744073709551615 134528884 0 0 4096 3 0 0 0 17 1 0 0
/proc/8351/statm: 11973 11681 77 171 0 11800 0
Current children cumulated CPU time (s) 761.95
Current children cumulated vsize (KiB) 53248
[startup+822.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 8357
/proc/meminfo: memFree=1918208/2055920 swapFree=4180160/4192956
[pid=8345] ppid=8343 vsize=5356 CPUtime=0.04
/proc/8345/stat : 8345 (SatELiteGTI) S 8343 8345 8088 0 -1 4194304 336 690 0 0 0 0 4 0 16 0 1 0 305415683 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8345/statm: 1339 239 197 169 0 50 0
[pid=8351] ppid=8345 vsize=47832 CPUtime=821.88
/proc/8351/stat : 8351 (minisat_static) R 8345 8345 8088 0 -1 4194304 12120 0 0 0 82172 16 0 0 25 0 1 0 305415688 48979968 11681 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/8351/statm: 11958 11681 77 171 0 11785 0
Current children cumulated CPU time (s) 821.92
Current children cumulated vsize (KiB) 53188
[startup+882.306 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 8357
/proc/meminfo: memFree=1917504/2055920 swapFree=4180160/4192956
[pid=8345] ppid=8343 vsize=5356 CPUtime=0.04
/proc/8345/stat : 8345 (SatELiteGTI) S 8343 8345 8088 0 -1 4194304 336 690 0 0 0 0 4 0 16 0 1 0 305415683 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8345/statm: 1339 239 197 169 0 50 0
[pid=8351] ppid=8345 vsize=48480 CPUtime=881.86
/proc/8351/stat : 8351 (minisat_static) R 8345 8345 8088 0 -1 4194304 12285 0 0 0 88170 16 0 0 25 0 1 0 305415688 49643520 11846 1992294400 134512640 135215339 4294956240 18446744073709551615 134528830 0 0 4096 3 0 0 0 17 1 0 0
/proc/8351/statm: 12120 11846 77 171 0 11947 0
Current children cumulated CPU time (s) 881.9
Current children cumulated vsize (KiB) 53836
[startup+942.301 s]
/proc/loadavg: 1.10 1.00 0.92 2/66 8357
/proc/meminfo: memFree=1917376/2055920 swapFree=4180160/4192956
[pid=8345] ppid=8343 vsize=5356 CPUtime=0.04
/proc/8345/stat : 8345 (SatELiteGTI) S 8343 8345 8088 0 -1 4194304 336 690 0 0 0 0 4 0 16 0 1 0 305415683 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8345/statm: 1339 239 197 169 0 50 0
[pid=8351] ppid=8345 vsize=48304 CPUtime=941.84
/proc/8351/stat : 8351 (minisat_static) R 8345 8345 8088 0 -1 4194304 12285 0 0 0 94167 17 0 0 25 0 1 0 305415688 49463296 11809 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/8351/statm: 12076 11809 77 171 0 11903 0
Current children cumulated CPU time (s) 941.88
Current children cumulated vsize (KiB) 53660
[startup+1002.3 s]
/proc/loadavg: 1.10 1.02 0.93 2/66 8357
/proc/meminfo: memFree=1917312/2055920 swapFree=4180160/4192956
[pid=8345] ppid=8343 vsize=5356 CPUtime=0.04
/proc/8345/stat : 8345 (SatELiteGTI) S 8343 8345 8088 0 -1 4194304 336 690 0 0 0 0 4 0 16 0 1 0 305415683 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8345/statm: 1339 239 197 169 0 50 0
[pid=8351] ppid=8345 vsize=48304 CPUtime=1001.83
/proc/8351/stat : 8351 (minisat_static) R 8345 8345 8088 0 -1 4194304 12285 0 0 0 100166 17 0 0 25 0 1 0 305415688 49463296 11809 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/8351/statm: 12076 11809 77 171 0 11903 0
Current children cumulated CPU time (s) 1001.87
Current children cumulated vsize (KiB) 53660
[startup+1062.3 s]
/proc/loadavg: 1.09 1.03 0.93 2/66 8357
/proc/meminfo: memFree=1917696/2055920 swapFree=4180160/4192956
[pid=8345] ppid=8343 vsize=5356 CPUtime=0.04
/proc/8345/stat : 8345 (SatELiteGTI) S 8343 8345 8088 0 -1 4194304 336 690 0 0 0 0 4 0 16 0 1 0 305415683 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8345/statm: 1339 239 197 169 0 50 0
[pid=8351] ppid=8345 vsize=47820 CPUtime=1061.8
/proc/8351/stat : 8351 (minisat_static) R 8345 8345 8088 0 -1 4194304 12285 0 0 0 106163 17 0 0 25 0 1 0 305415688 48967680 11688 1992294400 134512640 135215339 4294956240 18446744073709551615 134545666 0 0 4096 3 0 0 0 17 1 0 0
/proc/8351/statm: 11955 11688 77 171 0 11782 0
Current children cumulated CPU time (s) 1061.84
Current children cumulated vsize (KiB) 53176
[startup+1122.3 s]
/proc/loadavg: 1.08 1.03 0.94 2/66 8357
/proc/meminfo: memFree=1917056/2055920 swapFree=4180160/4192956
[pid=8345] ppid=8343 vsize=5356 CPUtime=0.04
/proc/8345/stat : 8345 (SatELiteGTI) S 8343 8345 8088 0 -1 4194304 336 690 0 0 0 0 4 0 16 0 1 0 305415683 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8345/statm: 1339 239 197 169 0 50 0
[pid=8351] ppid=8345 vsize=48612 CPUtime=1121.78
/proc/8351/stat : 8351 (minisat_static) R 8345 8345 8088 0 -1 4194304 12469 0 0 0 112161 17 0 0 25 0 1 0 305415688 49778688 11872 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/8351/statm: 12153 11872 77 171 0 11980 0
Current children cumulated CPU time (s) 1121.82
Current children cumulated vsize (KiB) 53968
[startup+1182.3 s]
/proc/loadavg: 1.08 1.04 0.94 2/66 8357
/proc/meminfo: memFree=1916864/2055920 swapFree=4180160/4192956
[pid=8345] ppid=8343 vsize=5356 CPUtime=0.04
/proc/8345/stat : 8345 (SatELiteGTI) S 8343 8345 8088 0 -1 4194304 336 690 0 0 0 0 4 0 16 0 1 0 305415683 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8345/statm: 1339 239 197 169 0 50 0
[pid=8351] ppid=8345 vsize=48612 CPUtime=1181.77
/proc/8351/stat : 8351 (minisat_static) R 8345 8345 8088 0 -1 4194304 12469 0 0 0 118159 18 0 0 25 0 1 0 305415688 49778688 11872 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/8351/statm: 12153 11872 77 171 0 11980 0
Current children cumulated CPU time (s) 1181.81
Current children cumulated vsize (KiB) 53968
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.5 s]
/proc/loadavg: 1.06 1.04 0.94 2/66 8357
/proc/meminfo: memFree=1916864/2055920 swapFree=4180160/4192956
[pid=8345] ppid=8343 vsize=5356 CPUtime=0.04
/proc/8345/stat : 8345 (SatELiteGTI) S 8343 8345 8088 0 -1 4194304 336 690 0 0 0 0 4 0 16 0 1 0 305415683 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8345/statm: 1339 239 197 169 0 50 0
[pid=8351] ppid=8345 vsize=48612 CPUtime=1199.97
/proc/8351/stat : 8351 (minisat_static) R 8345 8345 8088 0 -1 4194304 12469 0 0 0 119979 18 0 0 25 0 1 0 305415688 49778688 11872 1992294400 134512640 135215339 4294956240 18446744073709551615 134528673 0 0 4096 3 0 0 0 17 1 0 0
/proc/8351/statm: 12153 11872 77 171 0 11980 0
Current children cumulated CPU time (s) 1200.01
Current children cumulated vsize (KiB) 53968
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 8345 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=42993
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=6998
# CPU time returned by wait4() is 0.049991
# while last known CPU time is 1200.01
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1200.51
CPU time (s): 1200.01
CPU user time (s): 1199.83
CPU system time (s): 0.18
CPU usage (%): 99.958
Max. virtual memory (cumulated for all children) (KiB): 53968
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.042993
system time used= 0.006998
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1026
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= 7
runsolver used 1.48277 second user time and 3.03054 second system time
The end
Begin job on node19 at 2009-05-20 00:57:04
IDJOB=1832475
IDBENCH=70201
IDSOLVER=671
FILE ID=node19/1832475-1242773824
PBS_JOBID= 9322279
Free space on /tmp= 66272 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/RANDOM/LARGE/5SAT/UNKNOWN/800/unif-k5-r20-v800-c16000-S315403000-060.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832475-1242773824/watcher-1832475-1242773824 -o /tmp/evaluation-result-1832475-1242773824/solver-1832475-1242773824 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832475-1242773824.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 5bdd8d21d4edc82016dc7031e101a675
RANDOM SEED=417235577
node19.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.236
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.236
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: 1967656 kB
Buffers: 13024 kB
Cached: 40348 kB
SwapCached: 7012 kB
Active: 31528 kB
Inactive: 30196 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1967656 kB
SwapTotal: 4192956 kB
SwapFree: 4180160 kB
Dirty: 1956 kB
Writeback: 0 kB
Mapped: 13420 kB
Slab: 12552 kB
Committed_AS: 1033928 kB
PageTables: 1456 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= 66268 MiB
End job on node19 at 2009-05-20 01:17:07