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 | 14000 70000 | 4199 0 0 nan | 0.000 % |
0.00/0.02 c ==============================================================================
0.00/0.02 c Result : #vars: 700 #clauses: 14000 #literals: 70000
0.00/0.02 c CPU time: 0.014997 s
0.00/0.02 c ==============================================================================
0.00/0.04 c This is MiniSat 2.0 beta
0.00/0.04 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.04 c ============================[ Problem Statistics ]=============================
0.00/0.04 c | |
0.00/0.04 c | Number of variables: 700 |
0.00/0.04 c | Number of clauses: 14000 |
0.00/0.05 c | Parsing time: 0.01 s |
0.00/0.05 c ============================[ Search Statistics ]==============================
0.00/0.05 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.00/0.05 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.00/0.05 c ===============================================================================
0.00/0.05 c | 0 | 700 14000 70000 | 4666 0 nan | 0.000 % |
0.00/0.06 c | 100 | 700 14000 70000 | 4666 100 82 | 0.000 % |
0.00/0.07 c | 200 | 700 14000 70000 | 4666 200 87 | 0.000 % |
0.00/0.08 c | 301 | 700 14000 70000 | 4666 301 89 | 0.000 % |
0.00/0.09 c | 412 | 700 14000 70000 | 4666 412 92 | 0.000 % |
0.00/0.10 c | 513 | 700 14000 70000 | 4666 513 92 | 0.000 % |
0.03/0.11 c | 624 | 700 14000 70000 | 4666 624 93 | 0.000 % |
0.03/0.12 c | 746 | 700 14000 70000 | 4666 746 93 | 0.000 % |
0.03/0.13 c | 847 | 700 14000 70000 | 4666 847 93 | 0.000 % |
0.03/0.14 c | 958 | 700 14000 70000 | 4666 958 94 | 0.000 % |
0.03/0.15 c | 1080 | 700 14000 70000 | 4666 1080 94 | 0.000 % |
0.03/0.16 c | 1213 | 700 14000 70000 | 4666 1213 93 | 0.000 % |
0.03/0.17 c | 1313 | 700 14000 70000 | 4666 1313 93 | 0.000 % |
0.03/0.18 c | 1423 | 700 14000 70000 | 4666 1423 92 | 0.000 % |
0.03/0.19 c | 1545 | 700 14000 70000 | 4666 1545 92 | 0.000 % |
0.03/0.20 c | 1678 | 700 14000 70000 | 4666 1678 92 | 0.000 % |
0.03/0.21 c | 1826 | 700 14000 70000 | 4666 1826 92 | 0.000 % |
0.03/0.22 c | 1926 | 700 14000 70000 | 4666 1926 93 | 0.000 % |
0.03/0.23 c | 2036 | 700 14000 70000 | 4666 2036 93 | 0.000 % |
0.03/0.24 c | 2159 | 700 14000 70000 | 4666 2159 93 | 0.000 % |
0.03/0.25 c | 2293 | 700 14000 70000 | 4666 2293 94 | 0.000 % |
0.03/0.27 c | 2440 | 700 14000 70000 | 4666 2440 94 | 0.000 % |
0.03/0.28 c | 2600 | 700 14000 70000 | 4666 2600 94 | 0.000 % |
0.03/0.29 c | 2701 | 700 14000 70000 | 4666 2701 94 | 0.000 % |
0.03/0.30 c | 2811 | 700 14000 70000 | 4666 2811 94 | 0.000 % |
0.03/0.31 c | 2932 | 700 14000 70000 | 4666 2932 94 | 0.000 % |
0.03/0.33 c | 3065 | 700 14000 70000 | 4666 3065 94 | 0.000 % |
0.03/0.34 c | 3211 | 700 14000 70000 | 4666 3211 94 | 0.000 % |
0.03/0.36 c | 3373 | 700 14000 70000 | 4666 3373 94 | 0.000 % |
0.03/0.37 c | 3549 | 700 14000 70000 | 4666 3549 94 | 0.000 % |
0.03/0.38 c | 3649 | 700 14000 70000 | 4666 3649 94 | 0.000 % |
0.03/0.39 c | 3763 | 700 14000 70000 | 4666 3763 94 | 0.000 % |
0.03/0.41 c | 3885 | 700 14000 70000 | 4666 3885 94 | 0.000 % |
0.03/0.42 c | 4020 | 700 14000 70000 | 4666 4020 94 | 0.000 % |
0.03/0.44 c | 4166 | 700 14000 70000 | 4666 4166 94 | 0.000 % |
0.03/0.45 c | 4327 | 700 14000 70000 | 4666 4327 94 | 0.000 % |
0.03/0.47 c | 4504 | 700 14000 70000 | 4666 4504 94 | 0.000 % |
0.03/0.49 c | 4697 | 700 14000 70000 | 4666 4697 94 | 0.000 % |
0.03/0.50 c | 4797 | 700 14000 70000 | 4666 4328 93 | 0.000 % |
0.03/0.51 c | 4907 | 700 14000 70000 | 4666 4438 93 | 0.000 % |
0.03/0.52 c | 5028 | 700 14000 70000 | 4666 4559 93 | 0.000 % |
0.03/0.54 c | 5161 | 700 14000 70000 | 4666 4692 93 | 0.000 % |
0.03/0.55 c | 5307 | 700 14000 70000 | 4666 4369 93 | 0.000 % |
0.03/0.57 c | 5467 | 700 14000 70000 | 4666 4529 93 | 0.000 % |
0.03/0.59 c | 5643 | 700 14000 70000 | 4666 4705 93 | 0.000 % |
0.03/0.61 c | 5838 | 700 14000 70000 | 4666 4430 94 | 0.000 % |
0.03/0.63 c | 6050 | 700 14000 70000 | 4666 4642 93 | 0.000 % |
0.03/0.64 c | 6151 | 700 14000 70000 | 4666 4743 93 | 0.000 % |
0.03/0.66 c | 6263 | 700 14000 70000 | 4666 4381 93 | 0.000 % |
0.03/0.67 c | 6384 | 700 14000 70000 | 4666 4502 93 | 0.000 % |
0.03/0.68 c | 6517 | 700 14000 70000 | 4666 4635 93 | 0.000 % |
0.03/0.70 c | 6664 | 700 14000 70000 | 4666 4782 93 | 0.000 % |
0.03/0.72 c | 6825 | 700 14000 70000 | 4666 4465 93 | 0.000 % |
0.03/0.74 c | 7002 | 700 14000 70000 | 4666 4642 93 | 0.000 % |
0.03/0.76 c | 7195 | 700 14000 70000 | 4666 4835 93 | 0.000 % |
0.03/0.78 c | 7409 | 700 14000 70000 | 4666 4566 93 | 0.000 % |
0.03/0.80 c | 7643 | 700 14000 70000 | 4666 4800 92 | 0.000 % |
0.03/0.81 c | 7744 | 700 14000 70000 | 4666 4421 92 | 0.000 % |
0.03/0.82 c | 7856 | 700 14000 70000 | 4666 4533 91 | 0.000 % |
0.03/0.84 c | 7977 | 700 14000 70000 | 4666 4654 91 | 0.000 % |
0.03/0.85 c | 8111 | 700 14000 70000 | 4666 4788 92 | 0.000 % |
0.03/0.87 c | 8258 | 700 14000 70000 | 4666 4457 92 | 0.000 % |
0.03/0.89 c | 8418 | 700 14000 70000 | 4666 4617 92 | 0.000 % |
0.03/0.91 c | 8595 | 700 14000 70000 | 4666 4794 93 | 0.000 % |
0.03/0.93 c | 8788 | 700 14000 70000 | 4666 4508 92 | 0.000 % |
0.03/0.95 c | 9001 | 700 14000 70000 | 4666 4721 92 | 0.000 % |
0.03/0.97 c | 9234 | 700 14000 70000 | 4666 4482 93 | 0.000 % |
0.03/1.00 c | 9491 | 700 14000 70000 | 4666 4739 93 | 0.000 % |
0.03/1.01 c | 9591 | 700 14000 70000 | 4666 4366 92 | 0.000 % |
0.03/1.02 c | 9701 | 700 14000 70000 | 4666 4476 93 | 0.000 % |
0.03/1.03 c | 9823 | 700 14000 70000 | 4666 4598 92 | 0.000 % |
0.03/1.05 c | 9956 | 700 14000 70000 | 4666 4731 93 | 0.000 % |
0.03/1.06 c | 10102 | 700 14000 70000 | 2147483647 4404 92 | 0.000 % |
0.03/1.08 c | 10263 | 700 14000 70000 | 2147483647 4565 92 | 0.000 % |
0.03/1.10 c | 10439 | 700 14000 70000 | 2147483647 4741 92 | 0.000 % |
1.07/1.12 c | 10632 | 700 14000 70000 | 2147483647 4934 92 | 0.000 % |
1.07/1.15 c | 10845 | 700 14000 70000 | 2147483647 5147 93 | 0.000 % |
1.07/1.17 c | 11078 | 700 14000 70000 | 2147483647 5380 93 | 0.000 % |
1.17/1.20 c | 11336 | 700 14000 70000 | 2147483647 5638 93 | 0.000 % |
1.17/1.23 c | 11618 | 700 14000 70000 | 2147483647 5920 94 | 0.000 % |
1.17/1.24 c | 11720 | 700 14000 70000 | 2147483647 6022 94 | 0.000 % |
1.17/1.26 c | 11831 | 700 14000 70000 | 2147483647 6133 94 | 0.000 % |
1.17/1.27 c | 11952 | 700 14000 70000 | 2147483647 6254 94 | 0.000 % |
1.17/1.29 c | 12086 | 700 14000 70000 | 2147483647 6388 94 | 0.000 % |
1.26/1.31 c | 12233 | 700 14000 70000 | 2147483647 6535 94 | 0.000 % |
1.26/1.33 c | 12393 | 700 14000 70000 | 2147483647 6695 94 | 0.000 % |
1.26/1.35 c | 12569 | 700 14000 70000 | 2147483647 6871 94 | 0.000 % |
1.26/1.38 c | 12763 | 700 14000 70000 | 2147483647 7065 94 | 0.000 % |
1.36/1.40 c | 12975 | 700 14000 70000 | 2147483647 7277 95 | 0.000 % |
1.36/1.43 c | 13208 | 700 14000 70000 | 2147483647 7510 95 | 0.000 % |
1.36/1.46 c | 13465 | 700 14000 70000 | 2147483647 7767 95 | 0.000 % |
1.46/1.50 c | 13746 | 700 14000 70000 | 2147483647 8048 95 | 0.000 % |
1.46/1.54 c | 14058 | 700 14000 70000 | 2147483647 8360 95 | 0.000 % |
1.46/1.55 c | 14158 | 700 14000 70000 | 2147483647 8460 95 | 0.000 % |
1.46/1.57 c | 14268 | 700 14000 70000 | 2147483647 8570 95 | 0.000 % |
1.46/1.59 c | 14390 | 700 14000 70000 | 2147483647 8692 95 | 0.000 % |
1.57/1.60 c | 14523 | 700 14000 70000 | 2147483647 8825 95 | 0.000 % |
1.57/1.63 c | 14669 | 700 14000 70000 | 2147483647 8971 95 | 0.000 % |
1.57/1.65 c | 14829 | 700 14000 70000 | 2147483647 9131 95 | 0.000 % |
1.57/1.67 c | 15005 | 700 14000 70000 | 2147483647 9307 95 | 0.000 % |
1.67/1.70 c | 15198 | 700 14000 70000 | 2147483647 9500 95 | 0.000 % |
1.67/1.73 c | 15411 | 700 14000 70000 | 2147483647 9713 95 | 0.000 % |
1.67/1.77 c | 15645 | 700 14000 70000 | 2147483647 9947 95 | 0.000 % |
1.77/1.80 c | 15903 | 700 14000 70000 | 2147483647 10205 95 | 0.000 % |
1.77/1.84 c | 16184 | 700 14000 70000 | 2147483647 10486 95 | 0.000 % |
1.77/1.89 c | 16493 | 700 14000 70000 | 2147483647 10795 95 | 0.000 % |
1.87/1.94 c | 16833 | 700 14000 70000 | 2147483647 11135 95 | 0.000 % |
1.87/1.95 c | 16933 | 700 14000 70000 | 2147483647 11235 95 | 0.000 % |
1.87/1.97 c | 17045 | 700 14000 70000 | 2147483647 11347 95 | 0.000 % |
1.87/1.99 c | 17167 | 700 14000 70000 | 2147483647 11469 95 | 0.000 % |
1.97/2.01 c | 17301 | 700 14000 70000 | 2147483647 11603 95 | 0.000 % |
1.97/2.04 c | 17449 | 700 14000 70000 | 2147483647 11751 95 | 0.000 % |
1.97/2.06 c | 17609 | 700 14000 70000 | 2147483647 11911 95 | 0.000 % |
1.97/2.09 c | 17785 | 700 14000 70000 | 2147483647 12087 95 | 0.000 % |
2.07/2.12 c | 17978 | 700 14000 70000 | 2147483647 12280 95 | 0.000 % |
2.07/2.15 c | 18191 | 700 14000 70000 | 2147483647 12493 95 | 0.000 % |
2.07/2.19 c | 18425 | 700 14000 70000 | 2147483647 12727 95 | 0.000 % |
2.17/2.23 c | 18684 | 700 14000 70000 | 2147483647 12986 95 | 0.000 % |
2.17/2.28 c | 18969 | 700 14000 70000 | 2147483647 13271 95 | 0.000 % |
2.27/2.33 c | 19279 | 700 14000 70000 | 2147483647 13581 95 | 0.000 % |
2.27/2.38 c | 19618 | 700 14000 70000 | 2147483647 13920 96 | 0.000 % |
2.37/2.44 c | 19990 | 700 14000 70000 | 2147483647 14292 96 | 0.000 % |
2.37/2.46 c | 20092 | 700 14000 70000 | 2147483647 14394 96 | 0.000 % |
2.37/2.49 c | 20202 | 700 14000 70000 | 2147483647 14504 96 | 0.000 % |
2.47/2.51 c | 20324 | 700 14000 70000 | 2147483647 14626 96 | 0.000 % |
2.47/2.53 c | 20458 | 700 14000 70000 | 2147483647 14760 96 | 0.000 % |
2.47/2.56 c | 20604 | 700 14000 70000 | 2147483647 14906 96 | 0.000 % |
2.47/2.59 c | 20764 | 700 14000 70000 | 2147483647 15066 96 | 0.000 % |
2.57/2.63 c | 20940 | 700 14000 70000 | 2147483647 15242 96 | 0.000 % |
2.57/2.66 c | 21134 | 700 14000 70000 | 2147483647 15436 96 | 0.000 % |
2.67/2.70 c | 21346 | 700 14000 70000 | 2147483647 15648 96 | 0.000 % |
2.67/2.74 c | 21580 | 700 14000 70000 | 2147483647 15882 96 | 0.000 % |
2.67/2.80 c | 21836 | 700 14000 70000 | 2147483647 16138 96 | 0.000 % |
2.76/2.85 c | 22119 | 700 14000 70000 | 2147483647 16421 96 | 0.000 % |
2.86/2.92 c | 22429 | 700 14000 70000 | 2147483647 16731 96 | 0.000 % |
2.86/2.98 c | 22768 | 700 14000 70000 | 2147483647 17070 96 | 0.000 % |
2.96/3.05 c | 23140 | 700 14000 70000 | 2147483647 17442 96 | 0.000 % |
3.06/3.13 c | 23549 | 700 14000 70000 | 2147483647 17851 96 | 0.000 % |
3.06/3.15 c | 23650 | 700 14000 70000 | 2147483647 17952 96 | 0.000 % |
3.06/3.18 c | 23760 | 700 14000 70000 | 2147483647 18062 97 | 0.000 % |
3.16/3.20 c | 23881 | 700 14000 70000 | 2147483647 18183 96 | 0.000 % |
3.16/3.23 c | 24015 | 700 14000 70000 | 2147483647 18317 96 | 0.000 % |
3.16/3.26 c | 24162 | 700 14000 70000 | 2147483647 18464 96 | 0.000 % |
3.16/3.30 c | 24323 | 700 14000 70000 | 2147483647 18625 96 | 0.000 % |
3.26/3.34 c | 24500 | 700 14000 70000 | 2147483647 18802 96 | 0.000 % |
3.26/3.38 c | 24693 | 700 14000 70000 | 2147483647 18995 96 | 0.000 % |
3.36/3.43 c | 24908 | 700 14000 70000 | 2147483647 19210 96 | 0.000 % |
3.36/3.48 c | 25142 | 700 14000 70000 | 2147483647 19444 96 | 0.000 % |
3.46/3.54 c | 25401 | 700 14000 70000 | 2147483647 19703 96 | 0.000 % |
3.56/3.60 c | 25682 | 700 14000 70000 | 2147483647 19984 96 | 0.000 % |
3.56/3.66 c | 25992 | 700 14000 70000 | 2147483647 20294 96 | 0.000 % |
3.66/3.74 c | 26331 | 700 14000 70000 | 2147483647 20633 96 | 0.000 % |
3.76/3.82 c | 26704 | 700 14000 70000 | 2147483647 21006 96 | 0.000 % |
3.87/3.91 c | 27113 | 700 14000 70000 | 2147483647 21415 96 | 0.000 % |
3.97/4.01 c | 27563 | 700 14000 70000 | 2147483647 21865 96 | 0.000 % |
3.97/4.04 c | 27664 | 700 14000 70000 | 2147483647 21966 96 | 0.000 % |
3.97/4.07 c | 27774 | 700 14000 70000 | 2147483647 22076 96 | 0.000 % |
4.07/4.10 c | 27898 | 700 14000 70000 | 2147483647 22200 96 | 0.000 % |
4.07/4.13 c | 28031 | 700 14000 70000 | 2147483647 22333 96 | 0.000 % |
4.07/4.17 c | 28177 | 700 14000 70000 | 2147483647 22479 96 | 0.000 % |
4.17/4.21 c | 28337 | 700 14000 70000 | 2147483647 22639 96 | 0.000 % |
4.17/4.25 c | 28513 | 700 14000 70000 | 2147483647 22815 96 | 0.000 % |
4.27/4.30 c | 28706 | 700 14000 70000 | 2147483647 23008 96 | 0.000 % |
4.27/4.35 c | 28920 | 700 14000 70000 | 2147483647 23222 96 | 0.000 % |
4.37/4.41 c | 29154 | 700 14000 70000 | 2147483647 23456 96 | 0.000 % |
4.37/4.48 c | 29411 | 700 14000 70000 | 2147483647 23713 96 | 0.000 % |
4.47/4.54 c | 29695 | 700 14000 70000 | 2147483647 23997 96 | 0.000 % |
4.57/4.62 c | 30004 | 700 14000 70000 | 2147483647 24306 96 | 0.000 % |
4.67/4.71 c | 30343 | 700 14000 70000 | 2147483647 24645 96 | 0.000 % |
4.76/4.81 c | 30716 | 700 14000 70000 | 2147483647 25018 96 | 0.000 % |
4.86/4.90 c | 31125 | 700 14000 70000 | 2147483647 25427 96 | 0.000 % |
4.96/5.01 c | 31575 | 700 14000 70000 | 2147483647 25877 96 | 0.000 % |
5.06/5.16 c | 32068 | 700 14000 70000 | 2147483647 26370 96 | 0.000 % |
5.06/5.19 c | 32170 | 700 14000 70000 | 2147483647 26472 96 | 0.000 % |
5.16/5.22 c | 32281 | 700 14000 70000 | 2147483647 26583 96 | 0.000 % |
5.16/5.26 c | 32402 | 700 14000 70000 | 2147483647 26704 96 | 0.000 % |
5.16/5.30 c | 32535 | 700 14000 70000 | 2147483647 26837 96 | 0.000 % |
5.26/5.35 c | 32681 | 700 14000 70000 | 2147483647 26983 96 | 0.000 % |
5.26/5.39 c | 32841 | 700 14000 70000 | 2147483647 27143 96 | 0.000 % |
5.36/5.45 c | 33020 | 700 14000 70000 | 2147483647 27322 96 | 0.000 % |
5.46/5.51 c | 33214 | 700 14000 70000 | 2147483647 27516 96 | 0.000 % |
5.46/5.57 c | 33427 | 700 14000 70000 | 2147483647 27729 96 | 0.000 % |
5.56/5.64 c | 33660 | 700 14000 70000 | 2147483647 27962 96 | 0.000 % |
5.66/5.71 c | 33918 | 700 14000 70000 | 2147483647 28220 97 | 0.000 % |
5.66/5.80 c | 34199 | 700 14000 70000 | 2147483647 28501 96 | 0.000 % |
5.76/5.88 c | 34510 | 700 14000 70000 | 2147483647 28812 96 | 0.000 % |
5.86/5.99 c | 34850 | 700 14000 70000 | 2147483647 29152 97 | 0.000 % |
5.96/6.09 c | 35222 | 700 14000 70000 | 2147483647 29524 97 | 0.000 % |
6.16/6.22 c | 35633 | 700 14000 70000 | 2147483647 29935 97 | 0.000 % |
6.26/6.35 c | 36084 | 700 14000 70000 | 2147483647 30386 97 | 0.000 % |
6.47/6.50 c | 36577 | 700 14000 70000 | 2147483647 30879 97 | 0.000 % |
6.57/6.67 c | 37121 | 700 14000 70000 | 2147483647 31423 97 | 0.000 % |
6.67/6.70 c | 37221 | 700 14000 70000 | 2147483647 31523 97 | 0.000 % |
6.67/6.74 c | 37334 | 700 14000 70000 | 2147483647 31636 96 | 0.000 % |
6.67/6.78 c | 37456 | 700 14000 70000 | 2147483647 31758 96 | 0.000 % |
6.76/6.82 c | 37589 | 700 14000 70000 | 2147483647 31891 96 | 0.000 % |
6.76/6.87 c | 37737 | 700 14000 70000 | 2147483647 32039 96 | 0.000 % |
6.86/6.93 c | 37899 | 700 14000 70000 | 2147483647 32201 97 | 0.000 % |
6.86/6.98 c | 38075 | 700 14000 70000 | 2147483647 32377 96 | 0.000 % |
6.96/7.05 c | 38268 | 700 14000 70000 | 2147483647 32570 97 | 0.000 % |
7.06/7.13 c | 38481 | 700 14000 70000 | 2147483647 32783 97 | 0.000 % |
7.16/7.20 c | 38714 | 700 14000 70000 | 2147483647 33016 97 | 0.000 % |
7.16/7.28 c | 38972 | 700 14000 70000 | 2147483647 33274 97 | 0.000 % |
7.26/7.37 c | 39253 | 700 14000 70000 | 2147483647 33555 97 | 0.000 % |
7.36/7.48 c | 39564 | 700 14000 70000 | 2147483647 33866 97 | 0.000 % |
7.46/7.60 c | 39903 | 700 14000 70000 | 2147483647 34205 97 | 0.000 % |
7.66/7.71 c | 40276 | 700 14000 70000 | 2147483647 34578 97 | 0.000 % |
7.76/7.85 c | 40685 | 700 14000 70000 | 2147483647 34987 97 | 0.000 % |
7.96/8.02 c | 41134 | 700 14000 70000 | 2147483647 35436 97 | 0.000 % |
8.06/8.18 c | 41629 | 700 14000 70000 | 2147483647 35931 97 | 0.000 % |
8.26/8.37 c | 42171 | 700 14000 70000 | 2147483647 36473 97 | 0.000 % |
8.46/8.59 c | 42767 | 700 14000 70000 | 2147483647 37069 97 | 0.000 % |
8.56/8.63 c | 42868 | 700 14000 70000 | 2147483647 37170 97 | 0.000 % |
8.56/8.67 c | 42978 | 700 14000 70000 | 2147483647 37280 97 | 0.000 % |
8.66/8.71 c | 43099 | 700 14000 70000 | 2147483647 37401 97 | 0.000 % |
8.66/8.78 c | 43233 | 700 14000 70000 | 2147483647 37535 97 | 0.000 % |
8.76/8.83 c | 43379 | 700 14000 70000 | 2147483647 37681 97 | 0.000 % |
8.76/8.89 c | 43540 | 700 14000 70000 | 2147483647 37842 97 | 0.000 % |
8.86/8.97 c | 43718 | 700 14000 70000 | 2147483647 38020 97 | 0.000 % |
8.96/9.04 c | 43912 | 700 14000 70000 | 2147483647 38214 97 | 0.000 % |
9.06/9.12 c | 44124 | 700 14000 70000 | 2147483647 38426 97 | 0.000 % |
9.16/9.21 c | 44358 | 700 14000 70000 | 2147483647 38660 97 | 0.000 % |
9.26/9.31 c | 44614 | 700 14000 70000 | 2147483647 38916 97 | 0.000 % |
9.36/9.42 c | 44896 | 700 14000 70000 | 2147483647 39198 97 | 0.000 % |
9.46/9.53 c | 45205 | 700 14000 70000 | 2147483647 39507 97 | 0.000 % |
9.56/9.66 c | 45545 | 700 14000 70000 | 2147483647 39847 97 | 0.000 % |
9.75/9.82 c | 45917 | 700 14000 70000 | 2147483647 40219 97 | 0.000 % |
9.86/9.98 c | 46326 | 700 14000 70000 | 2147483647 40628 97 | 0.000 % |
10.06/10.16 c | 46776 | 700 14000 70000 | 2147483647 41078 97 | 0.000 % |
10.26/10.34 c | 47270 | 700 14000 70000 | 2147483647 41572 97 | 0.000 % |
10.46/10.56 c | 47812 | 700 14000 70000 | 2147483647 42114 97 | 0.000 % |
10.76/10.83 c | 48408 | 700 14000 70000 | 2147483647 42710 97 | 0.000 % |
11.06/11.10 c | 49063 | 700 14000 70000 | 2147483647 43365 97 | 0.000 % |
11.06/11.15 c | 49163 | 700 14000 70000 | 2147483647 43465 97 | 0.000 % |
11.16/11.20 c | 49275 | 700 14000 70000 | 2147483647 43577 97 | 0.000 % |
11.16/11.26 c | 49397 | 700 14000 70000 | 2147483647 43699 97 | 0.000 % |
11.26/11.31 c | 49530 | 700 14000 70000 | 2147483647 43832 97 | 0.000 % |
11.26/11.38 c | 49677 | 700 14000 70000 | 2147483647 43979 97 | 0.000 % |
11.36/11.46 c | 49838 | 700 14000 70000 | 2147483647 44140 97 | 0.000 % |
11.46/11.53 c | 50015 | 700 14000 70000 | 2147483647 44317 97 | 0.000 % |
11.56/11.63 c | 50208 | 700 14000 70000 | 2147483647 44510 97 | 0.000 % |
11.66/11.71 c | 50420 | 700 14000 70000 | 2147483647 44722 97 | 0.000 % |
11.76/11.82 c | 50655 | 700 14000 70000 | 2147483647 44957 97 | 0.000 % |
11.86/11.93 c | 50911 | 700 14000 70000 | 2147483647 45213 97 | 0.000 % |
11.96/12.06 c | 51192 | 700 14000 70000 | 2147483647 45494 97 | 0.000 % |
12.06/12.20 c | 51501 | 700 14000 70000 | 2147483647 45803 97 | 0.000 % |
12.26/12.38 c | 51840 | 700 14000 70000 | 2147483647 46142 97 | 0.000 % |
12.46/12.55 c | 52213 | 700 14000 70000 | 2147483647 46515 97 | 0.000 % |
12.66/12.71 c | 52623 | 700 14000 70000 | 2147483647 46925 97 | 0.000 % |
12.86/12.90 c | 53074 | 700 14000 70000 | 2147483647 47376 97 | 0.000 % |
13.06/13.14 c | 53568 | 700 14000 70000 | 2147483647 47870 97 | 0.000 % |
13.35/13.40 c | 54113 | 700 14000 70000 | 2147483647 48415 97 | 0.000 % |
13.55/13.68 c | 54710 | 700 14000 70000 | 2147483647 49012 97 | 0.000 % |
13.85/13.96 c | 55365 | 700 14000 70000 | 2147483647 49667 97 | 0.000 % |
14.15/14.29 c | 56085 | 700 14000 70000 | 2147483647 50387 97 | 0.000 % |
14.26/14.34 c | 56187 | 700 14000 70000 | 2147483647 50489 97 | 0.000 % |
14.36/14.40 c | 56297 | 700 14000 70000 | 2147483647 50599 97 | 0.000 % |
14.36/14.46 c | 56418 | 700 14000 70000 | 2147483647 50720 97 | 0.000 % |
14.45/14.53 c | 56551 | 700 14000 70000 | 2147483647 50853 97 | 0.000 % |
14.55/14.61 c | 56697 | 700 14000 70000 | 2147483647 50999 97 | 0.000 % |
14.55/14.70 c | 56858 | 700 14000 70000 | 2147483647 51160 97 | 0.000 % |
14.65/14.78 c | 57034 | 700 14000 70000 | 2147483647 51336 97 | 0.000 % |
14.75/14.89 c | 57228 | 700 14000 70000 | 2147483647 51530 97 | 0.000 % |
14.85/15.00 c | 57440 | 700 14000 70000 | 2147483647 51742 97 | 0.000 % |
15.05/15.12 c | 57674 | 700 14000 70000 | 2147483647 51976 97 | 0.000 % |
15.15/15.25 c | 57933 | 700 14000 70000 | 2147483647 52235 97 | 0.000 % |
15.25/15.39 c | 58214 | 700 14000 70000 | 2147483647 52516 97 | 0.000 % |
15.45/15.53 c | 58524 | 700 14000 70000 | 2147483647 52826 97 | 0.000 % |
15.65/15.71 c | 58864 | 700 14000 70000 | 2147483647 53166 97 | 0.000 % |
15.85/15.90 c | 59237 | 700 14000 70000 | 2147483647 53539 97 | 0.000 % |
16.05/16.11 c | 59646 | 700 14000 70000 | 2147483647 53948 97 | 0.000 % |
16.26/16.34 c | 60095 | 700 14000 70000 | 2147483647 54397 97 | 0.000 % |
16.46/16.60 c | 60590 | 700 14000 70000 | 2147483647 54892 97 | 0.000 % |
16.75/16.89 c | 61132 | 700 14000 70000 | 2147483647 55434 97 | 0.000 % |
17.15/17.22 c | 61729 | 700 14000 70000 | 2147483647 56031 97 | 0.000 % |
17.46/17.55 c | 62385 | 700 14000 70000 | 2147483647 56687 98 | 0.000 % |
17.85/17.94 c | 63105 | 700 14000 70000 | 2147483647 57407 98 | 0.000 % |
18.25/18.33 c | 63897 | 700 14000 70000 | 2147483647 58199 98 | 0.000 % |
18.25/18.38 c | 63997 | 700 14000 70000 | 2147483647 58299 98 | 0.000 % |
18.35/18.45 c | 64110 | 700 14000 70000 | 2147483647 58412 98 | 0.000 % |
18.45/18.52 c | 64232 | 700 14000 70000 | 2147483647 58534 98 | 0.000 % |
18.45/18.60 c | 64365 | 700 14000 70000 | 2147483647 58667 98 | 0.000 % |
18.55/18.67 c | 64512 | 700 14000 70000 | 2147483647 58814 98 | 0.000 % |
18.65/18.80 c | 64673 | 700 14000 70000 | 2147483647 58975 98 | 0.000 % |
18.85/18.91 c | 64851 | 700 14000 70000 | 2147483647 59153 98 | 0.000 % |
18.95/19.01 c | 65044 | 700 14000 70000 | 2147483647 59346 98 | 0.000 % |
19.05/19.16 c | 65258 | 700 14000 70000 | 2147483647 59560 98 | 0.000 % |
19.15/19.29 c | 65492 | 700 14000 70000 | 2147483647 59794 98 | 0.000 % |
19.35/19.45 c | 65748 | 700 14000 70000 | 2147483647 60050 98 | 0.000 % |
19.55/19.60 c | 66029 | 700 14000 70000 | 2147483647 60331 98 | 0.000 % |
19.65/19.80 c | 66340 | 700 14000 70000 | 2147483647 60642 98 | 0.000 % |
19.95/20.00 c | 66681 | 700 14000 70000 | 2147483647 60983 98 | 0.000 % |
20.14/20.20 c | 67053 | 700 14000 70000 | 2147483647 61355 98 | 0.000 % |
20.34/20.46 c | 67462 | 700 14000 70000 | 2147483647 61764 98 | 0.000 % |
20.64/20.76 c | 67911 | 700 14000 70000 | 2147483647 62213 98 | 0.000 % |
20.95/21.06 c | 68405 | 700 14000 70000 | 2147483647 62707 98 | 0.000 % |
21.24/21.39 c | 68949 | 700 14000 70000 | 2147483647 63251 98 | 0.000 % |
21.64/21.74 c | 69545 | 700 14000 70000 | 2147483647 63847 98 | 0.000 % |
22.05/22.16 c | 70201 | 700 14000 70000 | 2147483647 64503 98 | 0.000 % |
22.55/22.61 c | 70921 | 700 14000 70000 | 2147483647 65223 98 | 0.000 % |
22.95/23.06 c | 71714 | 700 14000 70000 | 2147483647 66016 98 | 0.000 % |
23.45/23.58 c | 72585 | 700 14000 70000 | 2147483647 66887 98 | 0.000 % |
23.55/23.67 c | 72685 | 700 14000 70000 | 2147483647 66987 98 | 0.000 % |
23.64/23.74 c | 72797 | 700 14000 70000 | 2147483647 67099 98 | 0.000 % |
23.74/23.82 c | 72919 | 700 14000 70000 | 2147483647 67221 98 | 0.000 % |
23.84/23.91 c | 73055 | 700 14000 70000 | 2147483647 67357 98 | 0.000 % |
23.94/24.01 c | 73201 | 700 14000 70000 | 2147483647 67503 98 | 0.000 % |
24.04/24.12 c | 73361 | 700 14000 70000 | 2147483647 67663 98 | 0.000 % |
24.15/24.22 c | 73537 | 700 14000 70000 | 2147483647 67839 98 | 0.000 % |
24.25/24.36 c | 73732 | 700 14000 70000 | 2147483647 68034 98 | 0.000 % |
24.44/24.51 c | 73945 | 700 14000 70000 | 2147483647 68247 98 | 0.000 % |
24.54/24.66 c | 74180 | 700 14000 70000 | 2147483647 68482 98 | 0.000 % |
24.74/24.82 c | 74436 | 700 14000 70000 | 2147483647 68738 98 | 0.000 % |
24.84/24.99 c | 74717 | 700 14000 70000 | 2147483647 69019 98 | 0.000 % |
25.04/25.19 c | 75026 | 700 14000 70000 | 2147483647 69328 98 | 0.000 % |
25.35/25.46 c | 75365 | 700 14000 70000 | 2147483647 69667 98 | 0.000 % |
25.54/25.69 c | 75740 | 700 14000 70000 | 2147483647 70042 98 | 0.000 % |
25.84/25.94 c | 76149 | 700 14000 70000 | 2147483647 70451 98 | 0.000 % |
26.14/26.24 c | 76598 | 700 14000 70000 | 2147483647 70900 98 | 0.000 % |
26.44/26.59 c | 77091 | 700 14000 70000 | 2147483647 71393 98 | 0.000 % |
26.85/26.99 c | 77635 | 700 14000 70000 | 2147483647 71937 98 | 0.000 % |
27.35/27.40 c | 78231 | 700 14000 70000 | 2147483647 72533 98 | 0.000 % |
27.75/27.85 c | 78886 | 700 14000 70000 | 2147483647 73188 98 | 0.000 % |
28.24/28.33 c | 79607 | 700 14000 70000 | 2147483647 73909 98 | 0.000 % |
28.84/28.91 c | 80399 | 700 14000 70000 | 74302 63633 99 | 0.000 % |
29.34/29.41 c | 81270 | 700 14000 70000 | 74302 64504 99 | 0.000 % |
29.84/29.95 c | 82228 | 700 14000 70000 | 74302 65462 99 | 0.000 % |
29.94/30.01 c | 82332 | 700 14000 70000 | 74302 65566 99 | 0.000 % |
29.94/30.09 c | 82442 | 700 14000 70000 | 74302 65676 99 | 0.000 % |
30.04/30.18 c | 82563 | 700 14000 70000 | 74302 65797 99 | 0.000 % |
30.14/30.29 c | 82697 | 700 14000 70000 | 74302 65931 99 | 0.000 % |
30.24/30.39 c | 82844 | 700 14000 70000 | 74302 66078 99 | 0.000 % |
30.44/30.50 c | 83006 | 700 14000 70000 | 74302 66240 99 | 0.000 % |
30.54/30.63 c | 83182 | 700 14000 70000 | 74302 66416 99 | 0.000 % |
30.64/30.75 c | 83376 | 700 14000 70000 | 74302 66610 99 | 0.000 % |
30.74/30.89 c | 83589 | 700 14000 70000 | 74302 66823 99 | 0.000 % |
30.94/31.06 c | 83822 | 700 14000 70000 | 74302 67056 99 | 0.000 % |
31.14/31.23 c | 84079 | 700 14000 70000 | 74302 67313 99 | 0.000 % |
31.34/31.41 c | 84360 | 700 14000 70000 | 74302 67594 99 | 0.000 % |
31.54/31.61 c | 84669 | 700 14000 70000 | 74302 67903 99 | 0.000 % |
31.74/31.81 c | 85009 | 700 14000 70000 | 74302 68243 99 | 0.000 % |
31.94/32.07 c | 85381 | 700 14000 70000 | 74302 68615 99 | 0.000 % |
32.24/32.34 c | 85791 | 700 14000 70000 | 74302 69025 99 | 0.000 % |
32.54/32.62 c | 86240 | 700 14000 70000 | 74302 69474 99 | 0.000 % |
32.84/32.94 c | 86733 | 700 14000 70000 | 74302 69967 99 | 0.000 % |
33.14/33.26 c | 87275 | 700 14000 70000 | 74302 70509 99 | 0.000 % |
33.54/33.65 c | 87871 | 700 14000 70000 | 74302 71105 99 | 0.000 % |
33.94/34.04 c | 88527 | 700 14000 70000 | 74302 71761 99 | 0.000 % |
34.44/34.52 c | 89249 | 700 14000 70000 | 74302 72483 99 | 0.000 % |
34.94/35.05 c | 90041 | 700 14000 70000 | 73235 73275 99 | 0.000 % |
35.54/35.62 c | 90912 | 700 14000 70000 | 73235 63131 99 | 0.000 % |
36.04/36.16 c | 91871 | 700 14000 70000 | 73235 64090 99 | 0.000 % |
36.64/36.77 c | 92924 | 700 14000 70000 | 73235 65143 99 | 0.000 % |
36.74/36.84 c | 93025 | 700 14000 70000 | 73235 65244 99 | 0.000 % |
36.84/36.94 c | 93135 | 700 14000 70000 | 73235 65354 99 | 0.000 % |
36.94/37.02 c | 93257 | 700 14000 70000 | 73235 65476 99 | 0.000 % |
37.04/37.10 c | 93390 | 700 14000 70000 | 73235 65609 99 | 0.000 % |
37.04/37.19 c | 93536 | 700 14000 70000 | 73235 65755 99 | 0.000 % |
37.24/37.32 c | 93696 | 700 14000 70000 | 73235 65915 99 | 0.000 % |
37.34/37.43 c | 93873 | 700 14000 70000 | 73235 66092 99 | 0.000 % |
37.44/37.56 c | 94066 | 700 14000 70000 | 73235 66285 99 | 0.000 % |
37.64/37.72 c | 94279 | 700 14000 70000 | 73235 66498 99 | 0.000 % |
37.74/37.87 c | 94512 | 700 14000 70000 | 73235 66731 99 | 0.000 % |
37.94/38.03 c | 94770 | 700 14000 70000 | 73235 66989 99 | 0.000 % |
38.14/38.22 c | 95051 | 700 14000 70000 | 73235 67270 99 | 0.000 % |
38.34/38.45 c | 95362 | 700 14000 70000 | 73235 67581 99 | 0.000 % |
38.54/38.68 c | 95702 | 700 14000 70000 | 73235 67921 99 | 0.000 % |
38.84/38.91 c | 96075 | 700 14000 70000 | 73235 68294 99 | 0.000 % |
39.04/39.18 c | 96485 | 700 14000 70000 | 73235 68704 99 | 0.000 % |
39.34/39.48 c | 96938 | 700 14000 70000 | 73235 69157 99 | 0.000 % |
39.64/39.80 c | 97432 | 700 14000 70000 | 73235 69651 99 | 0.000 % |
40.03/40.12 c | 97974 | 700 14000 70000 | 73235 70193 99 | 0.000 % |
40.43/40.52 c | 98571 | 700 14000 70000 | 73235 70790 99 | 0.000 % |
40.93/41.01 c | 99227 | 700 14000 70000 | 73235 71446 99 | 0.000 % |
41.33/41.50 c | 99950 | 700 14000 70000 | 73235 72169 99 | 0.000 % |
41.93/42.00 c | 100742 | 700 14000 70000 | 72220 61850 99 | 0.000 % |
42.33/42.49 c | 101613 | 700 14000 70000 | 72220 62721 99 | 0.000 % |
42.93/43.02 c | 102574 | 700 14000 70000 | 72220 63682 99 | 0.000 % |
43.53/43.68 c | 103632 | 700 14000 70000 | 72220 64740 99 | 0.000 % |
44.23/44.36 c | 104792 | 700 14000 70000 | 72220 65900 99 | 0.000 % |
44.33/44.41 c | 104892 | 700 14000 70000 | 72220 66000 99 | 0.000 % |
44.33/44.47 c | 105002 | 700 14000 70000 | 72220 66110 99 | 0.000 % |
44.43/44.57 c | 105123 | 700 14000 70000 | 72220 66231 99 | 0.000 % |
44.53/44.66 c | 105257 | 700 14000 70000 | 72220 66365 99 | 0.000 % |
44.63/44.76 c | 105403 | 700 14000 70000 | 72220 66511 99 | 0.000 % |
44.73/44.88 c | 105566 | 700 14000 70000 | 72220 66674 99 | 0.000 % |
44.93/45.00 c | 105743 | 700 14000 70000 | 72220 66851 99 | 0.000 % |
45.03/45.12 c | 105938 | 700 14000 70000 | 72220 67046 99 | 0.000 % |
45.13/45.26 c | 106150 | 700 14000 70000 | 72220 67258 99 | 0.000 % |
45.33/45.41 c | 106383 | 700 14000 70000 | 72220 67491 99 | 0.000 % |
45.43/45.55 c | 106639 | 700 14000 70000 | 72220 67747 99 | 0.000 % |
45.63/45.71 c | 106920 | 700 14000 70000 | 72220 68028 99 | 0.000 % |
45.73/45.90 c | 107231 | 700 14000 70000 | 72220 68339 99 | 0.000 % |
46.03/46.10 c | 107571 | 700 14000 70000 | 72220 68679 99 | 0.000 % |
46.23/46.36 c | 107943 | 700 14000 70000 | 72220 69051 99 | 0.000 % |
46.53/46.62 c | 108352 | 700 14000 70000 | 72220 69460 99 | 0.000 % |
46.83/46.92 c | 108801 | 700 14000 70000 | 72220 69909 99 | 0.000 % |
47.13/47.21 c | 109295 | 700 14000 70000 | 72220 70403 99 | 0.000 % |
47.43/47.56 c | 109837 | 700 14000 70000 | 72220 70945 99 | 0.000 % |
47.83/47.96 c | 110434 | 700 14000 70000 | 71108 61441 99 | 0.000 % |
48.23/48.32 c | 111089 | 700 14000 70000 | 71108 62096 99 | 0.000 % |
48.73/48.80 c | 111811 | 700 14000 70000 | 71108 62818 99 | 0.000 % |
49.13/49.26 c | 112603 | 700 14000 70000 | 71108 63610 99 | 0.000 % |
49.62/49.78 c | 113475 | 700 14000 70000 | 71108 64482 99 | 0.000 % |
50.22/50.33 c | 114434 | 700 14000 70000 | 71108 65441 100 | 0.000 % |
50.82/50.95 c | 115489 | 700 14000 70000 | 71108 66496 100 | 0.000 % |
51.42/51.59 c | 116649 | 700 14000 70000 | 71108 67656 100 | 0.000 % |
52.22/52.31 c | 117923 | 700 14000 70000 | 71108 68930 100 | 0.000 % |
52.22/52.37 c | 118023 | 700 14000 70000 | 71108 69030 100 | 0.000 % |
52.32/52.47 c | 118134 | 700 14000 70000 | 71108 69141 100 | 0.000 % |
52.42/52.55 c | 118255 | 700 14000 70000 | 71108 69262 100 | 0.000 % |
52.52/52.64 c | 118390 | 700 14000 70000 | 71108 69397 100 | 0.000 % |
52.62/52.76 c | 118537 | 700 14000 70000 | 71108 69544 100 | 0.000 % |
52.73/52.89 c | 118697 | 700 14000 70000 | 71108 69704 100 | 0.000 % |
52.92/53.00 c | 118873 | 700 14000 70000 | 71108 69880 100 | 0.000 % |
53.02/53.15 c | 119067 | 700 14000 70000 | 71108 70074 100 | 0.000 % |
53.22/53.33 c | 119279 | 700 14000 70000 | 71108 70286 100 | 0.000 % |
53.32/53.48 c | 119512 | 700 14000 70000 | 71108 70519 100 | 0.000 % |
53.52/53.67 c | 119768 | 700 14000 70000 | 71108 70775 100 | 0.000 % |
53.72/53.87 c | 120050 | 700 14000 70000 | 71007 71057 100 | 0.000 % |
54.02/54.11 c | 120359 | 700 14000 70000 | 71007 61864 100 | 0.000 % |
54.22/54.34 c | 120698 | 700 14000 70000 | 71007 62203 100 | 0.000 % |
54.42/54.58 c | 121070 | 700 14000 70000 | 71007 62575 100 | 0.000 % |
54.72/54.84 c | 121479 | 700 14000 70000 | 71007 62984 100 | 0.000 % |
55.02/55.10 c | 121930 | 700 14000 70000 | 71007 63435 100 | 0.000 % |
55.22/55.37 c | 122423 | 700 14000 70000 | 71007 63928 100 | 0.000 % |
55.52/55.66 c | 122965 | 700 14000 70000 | 71007 64470 100 | 0.000 % |
55.82/55.99 c | 123561 | 700 14000 70000 | 71007 65066 100 | 0.000 % |
56.22/56.40 c | 124216 | 700 14000 70000 | 71007 65721 100 | 0.000 % |
56.72/56.83 c | 124936 | 700 14000 70000 | 71007 66441 100 | 0.000 % |
57.22/57.35 c | 125730 | 700 14000 70000 | 71007 67235 100 | 0.000 % |
57.72/57.88 c | 126602 | 700 14000 70000 | 71007 68107 100 | 0.000 % |
58.32/58.48 c | 127562 | 700 14000 70000 | 71007 69067 100 | 0.000 % |
59.02/59.15 c | 128615 | 700 14000 70000 | 71007 70120 100 | 0.000 % |
59.82/59.93 c | 129773 | 700 14000 70000 | 71007 61530 101 | 0.000 % |
60.52/60.66 c | 131048 | 700 14000 70000 | 61757 54407 101 | 0.000 % |
61.22/61.37 c | 132450 | 700 14000 70000 | 61757 55809 101 | 0.000 % |
61.32/61.43 c | 132551 | 700 14000 70000 | 61757 55910 101 | 0.000 % |
61.32/61.49 c | 132661 | 700 14000 70000 | 61757 56020 101 | 0.000 % |
61.42/61.57 c | 132783 | 700 14000 70000 | 61757 56142 101 | 0.000 % |
61.52/61.65 c | 132916 | 700 14000 70000 | 61757 56275 101 | 0.000 % |
61.62/61.74 c | 133063 | 700 14000 70000 | 61757 56422 101 | 0.000 % |
61.71/61.84 c | 133223 | 700 14000 70000 | 61757 56582 101 | 0.000 % |
61.81/61.93 c | 133399 | 700 14000 70000 | 61757 56758 101 | 0.000 % |
61.91/62.04 c | 133592 | 700 14000 70000 | 61757 56951 101 | 0.000 % |
62.01/62.18 c | 133805 | 700 14000 70000 | 61757 57164 101 | 0.000 % |
62.21/62.30 c | 134038 | 700 14000 70000 | 61757 57397 101 | 0.000 % |
62.31/62.46 c | 134297 | 700 14000 70000 | 61757 57656 101 | 0.000 % |
62.51/62.62 c | 134578 | 700 14000 70000 | 61757 57937 101 | 0.000 % |
62.72/62.80 c | 134889 | 700 14000 70000 | 61757 58248 101 | 0.000 % |
62.91/63.00 c | 135230 | 700 14000 70000 | 61757 58589 101 | 0.000 % |
63.01/63.19 c | 135602 | 700 14000 70000 | 61757 58961 100 | 0.000 % |
63.31/63.41 c | 136011 | 700 14000 70000 | 61757 59370 101 | 0.000 % |
63.51/63.67 c | 136460 | 700 14000 70000 | 61757 59819 100 | 0.000 % |
63.82/63.96 c | 136953 | 700 14000 70000 | 61757 60312 100 | 0.000 % |
64.11/64.26 c | 137495 | 700 14000 70000 | 61757 60854 100 | 0.000 % |
64.51/64.61 c | 138092 | 700 14000 70000 | 61757 61451 100 | 0.000 % |
64.82/65.00 c | 138748 | 700 14000 70000 | 61757 55359 100 | 0.000 % |
65.21/65.35 c | 139468 | 700 14000 70000 | 61757 56079 100 | 0.000 % |
65.61/65.74 c | 140260 | 700 14000 70000 | 56611 51101 101 | 0.000 % |
66.02/66.12 c | 141131 | 700 14000 70000 | 56611 51972 101 | 0.000 % |
66.41/66.58 c | 142089 | 700 14000 70000 | 56611 52930 100 | 0.000 % |
67.02/67.14 c | 143142 | 700 14000 70000 | 56611 53983 100 | 0.000 % |
67.51/67.69 c | 144300 | 700 14000 70000 | 56611 55141 101 | 0.000 % |
68.22/68.34 c | 145575 | 700 14000 70000 | 56611 56416 101 | 0.000 % |
68.91/69.09 c | 146976 | 700 14000 70000 | 56611 52133 101 | 0.000 % |
69.71/69.83 c | 148517 | 700 14000 70000 | 56611 53674 101 | 0.000 % |
69.81/69.90 c | 148617 | 700 14000 70000 | 56611 53774 101 | 0.000 % |
69.81/69.96 c | 148727 | 700 14000 70000 | 56611 53884 101 | 0.000 % |
69.91/70.03 c | 148849 | 700 14000 70000 | 56611 54006 101 | 0.000 % |
70.01/70.11 c | 148983 | 700 14000 70000 | 56611 54140 101 | 0.000 % |
70.01/70.18 c | 149129 | 700 14000 70000 | 56611 54286 101 | 0.000 % |
70.11/70.26 c | 149290 | 700 14000 70000 | 56611 54447 101 | 0.000 % |
70.21/70.35 c | 149466 | 700 14000 70000 | 56611 54623 101 | 0.000 % |
70.31/70.45 c | 149659 | 700 14000 70000 | 56611 54816 101 | 0.000 % |
70.41/70.57 c | 149872 | 700 14000 70000 | 56611 55029 101 | 0.000 % |
70.61/70.70 c | 150106 | 700 14000 70000 | 2147483647 55263 101 | 0.000 % |
70.71/70.84 c | 150362 | 700 14000 70000 | 2147483647 55519 101 | 0.000 % |
70.81/70.98 c | 150645 | 700 14000 70000 | 2147483647 55802 101 | 0.000 % |
71.01/71.14 c | 150955 | 700 14000 70000 | 2147483647 56112 101 | 0.000 % |
71.21/71.31 c | 151295 | 700 14000 70000 | 2147483647 56452 101 | 0.000 % |
71.31/71.49 c | 151667 | 700 14000 70000 | 2147483647 56824 101 | 0.000 % |
71.61/71.71 c | 152076 | 700 14000 70000 | 2147483647 57233 101 | 0.000 % |
71.81/71.98 c | 152525 | 700 14000 70000 | 2147483647 57682 101 | 0.000 % |
72.11/72.27 c | 153018 | 700 14000 70000 | 2147483647 58175 101 | 0.000 % |
72.41/72.60 c | 153561 | 700 14000 70000 | 2147483647 58718 101 | 0.000 % |
72.81/72.94 c | 154159 | 700 14000 70000 | 2147483647 59316 101 | 0.000 % |
73.21/73.32 c | 154814 | 700 14000 70000 | 2147483647 59971 101 | 0.000 % |
73.61/73.72 c | 155536 | 700 14000 70000 | 2147483647 60693 101 | 0.000 % |
74.11/74.21 c | 156330 | 700 14000 70000 | 2147483647 61487 101 | 0.000 % |
74.61/74.72 c | 157204 | 700 14000 70000 | 2147483647 62361 101 | 0.000 % |
75.11/75.26 c | 158163 | 700 14000 70000 | 2147483647 63320 101 | 0.000 % |
75.71/75.88 c | 159218 | 700 14000 70000 | 2147483647 64375 101 | 0.000 % |
76.41/76.55 c | 160376 | 700 14000 70000 | 2147483647 65533 101 | 0.000 % |
77.11/77.24 c | 161649 | 700 14000 70000 | 2147483647 66806 101 | 0.000 % |
77.91/78.06 c | 163050 | 700 14000 70000 | 2147483647 68207 101 | 0.000 % |
78.91/79.08 c | 164590 | 700 14000 70000 | 2147483647 69747 101 | 0.000 % |
80.11/80.24 c | 166286 | 700 14000 70000 | 2147483647 71443 102 | 0.000 % |
80.21/80.30 c | 166387 | 700 14000 70000 | 2147483647 71544 102 | 0.000 % |
80.21/80.39 c | 166499 | 700 14000 70000 | 2147483647 71656 101 | 0.000 % |
80.31/80.48 c | 166620 | 700 14000 70000 | 2147483647 71777 101 | 0.000 % |
80.40/80.57 c | 166754 | 700 14000 70000 | 2147483647 71911 101 | 0.000 % |
80.50/80.68 c | 166901 | 700 14000 70000 | 2147483647 72058 101 | 0.000 % |
80.71/80.80 c | 167061 | 700 14000 70000 | 2147483647 72218 101 | 0.000 % |
80.81/80.95 c | 167237 | 700 14000 70000 | 2147483647 72394 101 | 0.000 % |
81.01/81.11 c | 167432 | 700 14000 70000 | 2147483647 72589 101 | 0.000 % |
81.11/81.27 c | 167647 | 700 14000 70000 | 2147483647 72804 101 | 0.000 % |
81.31/81.46 c | 167880 | 700 14000 70000 | 2147483647 73037 101 | 0.000 % |
81.51/81.63 c | 168140 | 700 14000 70000 | 2147483647 73297 101 | 0.000 % |
81.71/81.81 c | 168421 | 700 14000 70000 | 2147483647 73578 101 | 0.000 % |
81.91/82.03 c | 168731 | 700 14000 70000 | 2147483647 73888 101 | 0.000 % |
82.11/82.27 c | 169070 | 700 14000 70000 | 2147483647 74227 101 | 0.000 % |
82.41/82.56 c | 169442 | 700 14000 70000 | 2147483647 74599 101 | 0.000 % |
82.71/82.87 c | 169851 | 700 14000 70000 | 2147483647 75008 101 | 0.000 % |
83.11/83.26 c | 170301 | 700 14000 70000 | 75160 64043 101 | 0.000 % |
83.41/83.54 c | 170794 | 700 14000 70000 | 75160 64536 101 | 0.000 % |
83.71/83.89 c | 171339 | 700 14000 70000 | 75160 65081 101 | 0.000 % |
84.11/84.25 c | 171935 | 700 14000 70000 | 75160 65677 101 | 0.000 % |
84.51/84.64 c | 172590 | 700 14000 70000 | 75160 66332 101 | 0.000 % |
85.01/85.13 c | 173310 | 700 14000 70000 | 75160 67052 101 | 0.000 % |
85.51/85.63 c | 174103 | 700 14000 70000 | 75160 67845 101 | 0.000 % |
86.01/86.14 c | 174977 | 700 14000 70000 | 75160 68719 101 | 0.000 % |
86.51/86.68 c | 175936 | 700 14000 70000 | 75160 69678 102 | 0.000 % |
87.20/87.32 c | 176990 | 700 14000 70000 | 75160 70732 102 | 0.000 % |
87.80/87.96 c | 178148 | 700 14000 70000 | 75160 71890 102 | 0.000 % |
88.60/88.75 c | 179422 | 700 14000 70000 | 75160 73164 102 | 0.000 % |
89.50/89.61 c | 180822 | 700 14000 70000 | 73743 63930 101 | 0.000 % |
90.40/90.52 c | 182363 | 700 14000 70000 | 73743 65471 101 | 0.000 % |
91.40/91.54 c | 184057 | 700 14000 70000 | 73743 67165 101 | 0.000 % |
92.60/92.74 c | 185920 | 700 14000 70000 | 73743 69028 101 | 0.000 % |
92.70/92.81 c | 186020 | 700 14000 70000 | 73743 69128 101 | 0.000 % |
92.80/92.90 c | 186131 | 700 14000 70000 | 73743 69239 101 | 0.000 % |
92.80/92.99 c | 186254 | 700 14000 70000 | 73743 69362 101 | 0.000 % |
92.90/93.08 c | 186387 | 700 14000 70000 | 73743 69495 101 | 0.000 % |
93.00/93.18 c | 186535 | 700 14000 70000 | 73743 69643 101 | 0.000 % |
93.20/93.31 c | 186696 | 700 14000 70000 | 73743 69804 101 | 0.000 % |
93.30/93.44 c | 186874 | 700 14000 70000 | 73743 69982 101 | 0.000 % |
93.40/93.58 c | 187068 | 700 14000 70000 | 73743 70176 101 | 0.000 % |
93.60/93.75 c | 187283 | 700 14000 70000 | 73743 70391 101 | 0.000 % |
93.80/93.92 c | 187517 | 700 14000 70000 | 73743 70625 101 | 0.000 % |
94.00/94.10 c | 187773 | 700 14000 70000 | 73743 70881 101 | 0.000 % |
94.20/94.30 c | 188056 | 700 14000 70000 | 73743 71164 101 | 0.000 % |
94.40/94.53 c | 188365 | 700 14000 70000 | 73743 71473 101 | 0.000 % |
94.60/94.74 c | 188704 | 700 14000 70000 | 73743 71812 101 | 0.000 % |
94.80/94.98 c | 189079 | 700 14000 70000 | 73743 72187 101 | 0.000 % |
95.10/95.30 c | 189488 | 700 14000 70000 | 73743 72596 101 | 0.000 % |
95.50/95.62 c | 189937 | 700 14000 70000 | 73743 73045 101 | 0.000 % |
95.80/95.98 c | 190431 | 700 14000 70000 | 73108 62245 101 | 0.000 % |
96.20/96.30 c | 190974 | 700 14000 70000 | 73108 62788 101 | 0.000 % |
96.50/96.66 c | 191571 | 700 14000 70000 | 73108 63385 101 | 0.000 % |
96.90/97.09 c | 192227 | 700 14000 70000 | 73108 64041 101 | 0.000 % |
97.40/97.52 c | 192948 | 700 14000 70000 | 73108 64762 101 | 0.000 % |
97.90/98.00 c | 193745 | 700 14000 70000 | 73108 65559 101 | 0.000 % |
98.30/98.49 c | 194616 | 700 14000 70000 | 73108 66430 101 | 0.000 % |
98.90/99.02 c | 195577 | 700 14000 70000 | 73108 67391 101 | 0.000 % |
99.49/99.68 c | 196630 | 700 14000 70000 | 73108 68444 101 | 0.000 % |
100.29/100.40 c | 197788 | 700 14000 70000 | 73108 69602 101 | 0.000 % |
100.99/101.19 c | 199061 | 700 14000 70000 | 73108 70875 101 | 0.000 % |
101.89/102.09 c | 200462 | 700 14000 70000 | 71814 61886 101 | 0.000 % |
102.79/102.97 c | 202002 | 700 14000 70000 | 71814 63426 102 | 0.000 % |
103.79/103.98 c | 203697 | 700 14000 70000 | 71814 65121 102 | 0.000 % |
104.89/105.04 c | 205560 | 700 14000 70000 | 71814 66984 102 | 0.000 % |
106.09/106.27 c | 207609 | 700 14000 70000 | 71814 69033 102 | 0.000 % |
106.19/106.34 c | 207711 | 700 14000 70000 | 71814 69135 102 | 0.000 % |
106.29/106.41 c | 207822 | 700 14000 70000 | 71814 69246 102 | 0.000 % |
106.39/106.50 c | 207943 | 700 14000 70000 | 71814 69367 102 | 0.000 % |
106.39/106.59 c | 208076 | 700 14000 70000 | 71814 69500 102 | 0.000 % |
106.60/106.72 c | 208223 | 700 14000 70000 | 71814 69647 102 | 0.000 % |
106.70/106.82 c | 208383 | 700 14000 70000 | 71814 69807 102 | 0.000 % |
106.79/106.93 c | 208559 | 700 14000 70000 | 71814 69983 102 | 0.000 % |
106.89/107.07 c | 208752 | 700 14000 70000 | 71814 70176 102 | 0.000 % |
107.09/107.21 c | 208966 | 700 14000 70000 | 71814 70390 102 | 0.000 % |
107.19/107.35 c | 209199 | 700 14000 70000 | 71814 70623 102 | 0.000 % |
107.39/107.52 c | 209456 | 700 14000 70000 | 71814 70880 102 | 0.000 % |
107.49/107.68 c | 209737 | 700 14000 70000 | 71814 71161 102 | 0.000 % |
107.69/107.87 c | 210049 | 700 14000 70000 | 71425 71473 102 | 0.000 % |
107.99/108.15 c | 210391 | 700 14000 70000 | 71425 61817 101 | 0.000 % |
108.19/108.38 c | 210763 | 700 14000 70000 | 71425 62189 101 | 0.000 % |
108.49/108.62 c | 211175 | 700 14000 70000 | 71425 62601 101 | 0.000 % |
108.69/108.88 c | 211625 | 700 14000 70000 | 71425 63051 101 | 0.000 % |
108.99/109.16 c | 212120 | 700 14000 70000 | 71425 63546 101 | 0.000 % |
109.29/109.48 c | 212662 | 700 14000 70000 | 71425 64088 101 | 0.000 % |
109.69/109.81 c | 213259 | 700 14000 70000 | 71425 64685 101 | 0.000 % |
109.99/110.19 c | 213916 | 700 14000 70000 | 71425 65342 101 | 0.000 % |
110.49/110.61 c | 214638 | 700 14000 70000 | 71425 66064 101 | 0.000 % |
110.89/111.09 c | 215432 | 700 14000 70000 | 71425 66858 101 | 0.000 % |
111.39/111.60 c | 216306 | 700 14000 70000 | 71425 67732 101 | 0.000 % |
111.99/112.12 c | 217265 | 700 14000 70000 | 71425 68691 101 | 0.000 % |
112.59/112.78 c | 218318 | 700 14000 70000 | 71425 69744 101 | 0.000 % |
113.29/113.44 c | 219476 | 700 14000 70000 | 71425 70902 101 | 0.000 % |
114.09/114.23 c | 220749 | 700 14000 70000 | 71427 63078 102 | 0.000 % |
114.79/114.98 c | 222153 | 700 14000 70000 | 71427 64482 102 | 0.000 % |
115.69/115.82 c | 223693 | 700 14000 70000 | 71427 66022 102 | 0.000 % |
116.59/116.79 c | 225387 | 700 14000 70000 | 71427 67716 102 | 0.000 % |
117.78/117.93 c | 227250 | 700 14000 70000 | 71427 69579 102 | 0.000 % |
118.98/119.19 c | 229304 | 700 14000 70000 | 71427 71633 102 | 0.000 % |
120.28/120.40 c | 231558 | 700 14000 70000 | 63508 57415 102 | 0.000 % |
120.28/120.47 c | 231659 | 700 14000 70000 | 63508 57516 102 | 0.000 % |
120.38/120.54 c | 231769 | 700 14000 70000 | 63508 57626 102 | 0.000 % |
120.48/120.60 c | 231890 | 700 14000 70000 | 63508 57747 102 | 0.000 % |
120.48/120.67 c | 232023 | 700 14000 70000 | 63508 57880 102 | 0.000 % |
120.58/120.78 c | 232170 | 700 14000 70000 | 63508 58027 102 | 0.000 % |
120.68/120.86 c | 232330 | 700 14000 70000 | 63508 58187 102 | 0.000 % |
120.78/120.95 c | 232506 | 700 14000 70000 | 63508 58363 102 | 0.000 % |
120.89/121.07 c | 232701 | 700 14000 70000 | 63508 58558 102 | 0.000 % |
120.99/121.19 c | 232913 | 700 14000 70000 | 63508 58770 102 | 0.000 % |
121.18/121.32 c | 233146 | 700 14000 70000 | 63508 59003 102 | 0.000 % |
121.28/121.45 c | 233402 | 700 14000 70000 | 63508 59259 102 | 0.000 % |
121.48/121.65 c | 233685 | 700 14000 70000 | 63508 59542 102 | 0.000 % |
121.68/121.83 c | 233995 | 700 14000 70000 | 63508 59852 102 | 0.000 % |
121.88/122.03 c | 234335 | 700 14000 70000 | 63508 60192 102 | 0.000 % |
122.08/122.25 c | 234709 | 700 14000 70000 | 63508 60566 102 | 0.000 % |
122.38/122.50 c | 235118 | 700 14000 70000 | 63508 60975 102 | 0.000 % |
122.58/122.75 c | 235567 | 700 14000 70000 | 63508 61424 102 | 0.000 % |
122.88/123.05 c | 236062 | 700 14000 70000 | 63508 61919 102 | 0.000 % |
123.18/123.39 c | 236604 | 700 14000 70000 | 63508 62461 102 | 0.000 % |
123.58/123.73 c | 237201 | 700 14000 70000 | 63508 63058 102 | 0.000 % |
123.98/124.12 c | 237857 | 700 14000 70000 | 63508 63714 102 | 0.000 % |
124.38/124.55 c | 238577 | 700 14000 70000 | 63508 57554 102 | 0.000 % |
124.78/124.98 c | 239369 | 700 14000 70000 | 63508 58346 102 | 0.000 % |
125.38/125.51 c | 240243 | 700 14000 70000 | 58977 52980 101 | 0.000 % |
125.78/125.97 c | 241201 | 700 14000 70000 | 58977 53938 101 | 0.000 % |
126.28/126.48 c | 242256 | 700 14000 70000 | 58977 54993 101 | 0.000 % |
126.98/127.10 c | 243414 | 700 14000 70000 | 58977 56151 101 | 0.000 % |
127.58/127.73 c | 244687 | 700 14000 70000 | 58977 57424 101 | 0.000 % |
128.28/128.45 c | 246088 | 700 14000 70000 | 58977 58825 101 | 0.000 % |
129.08/129.26 c | 247628 | 700 14000 70000 | 58977 54443 102 | 0.000 % |
129.98/130.10 c | 249324 | 700 14000 70000 | 58977 56139 102 | 0.000 % |
130.88/131.04 c | 251189 | 700 14000 70000 | 2147483647 58004 102 | 0.000 % |
131.98/132.13 c | 253240 | 700 14000 70000 | 2147483647 60055 102 | 0.000 % |
133.08/133.23 c | 255495 | 700 14000 70000 | 2147483647 62310 102 | 0.000 % |
134.47/134.62 c | 257973 | 700 14000 70000 | 2147483647 64788 102 | 0.000 % |
134.47/134.68 c | 258074 | 700 14000 70000 | 2147483647 64889 102 | 0.000 % |
134.57/134.76 c | 258184 | 700 14000 70000 | 2147483647 64999 102 | 0.000 % |
134.67/134.85 c | 258305 | 700 14000 70000 | 2147483647 65120 102 | 0.000 % |
134.77/134.94 c | 258439 | 700 14000 70000 | 2147483647 65254 102 | 0.000 % |
134.87/135.04 c | 258586 | 700 14000 70000 | 2147483647 65401 102 | 0.000 % |
134.97/135.15 c | 258746 | 700 14000 70000 | 2147483647 65561 102 | 0.000 % |
135.07/135.26 c | 258922 | 700 14000 70000 | 2147483647 65737 102 | 0.000 % |
135.18/135.39 c | 259116 | 700 14000 70000 | 2147483647 65931 102 | 0.000 % |
135.37/135.52 c | 259328 | 700 14000 70000 | 2147483647 66143 102 | 0.000 % |
135.47/135.66 c | 259561 | 700 14000 70000 | 2147483647 66376 102 | 0.000 % |
135.67/135.85 c | 259817 | 700 14000 70000 | 2147483647 66632 102 | 0.000 % |
135.87/136.01 c | 260098 | 700 14000 70000 | 2147483647 66913 102 | 0.000 % |
136.07/136.23 c | 260407 | 700 14000 70000 | 2147483647 67222 102 | 0.000 % |
136.28/136.46 c | 260746 | 700 14000 70000 | 2147483647 67561 102 | 0.000 % |
136.47/136.69 c | 261118 | 700 14000 70000 | 2147483647 67933 102 | 0.000 % |
136.77/136.95 c | 261527 | 700 14000 70000 | 2147483647 68342 102 | 0.000 % |
137.07/137.24 c | 261976 | 700 14000 70000 | 2147483647 68791 102 | 0.000 % |
137.38/137.59 c | 262470 | 700 14000 70000 | 2147483647 69285 102 | 0.000 % |
137.77/137.92 c | 263012 | 700 14000 70000 | 2147483647 69827 102 | 0.000 % |
138.17/138.32 c | 263608 | 700 14000 70000 | 2147483647 70423 102 | 0.000 % |
138.58/138.74 c | 264263 | 700 14000 70000 | 2147483647 71078 102 | 0.000 % |
138.97/139.16 c | 264984 | 700 14000 70000 | 2147483647 71799 102 | 0.000 % |
139.47/139.67 c | 265779 | 700 14000 70000 | 2147483647 72594 102 | 0.000 % |
140.07/140.20 c | 266650 | 700 14000 70000 | 2147483647 73465 102 | 0.000 % |
140.68/140.81 c | 267608 | 700 14000 70000 | 2147483647 74423 102 | 0.000 % |
141.37/141.50 c | 268661 | 700 14000 70000 | 2147483647 75476 102 | 0.000 % |
142.08/142.23 c | 269821 | 700 14000 70000 | 2147483647 76636 102 | 0.000 % |
142.88/143.04 c | 271094 | 700 14000 70000 | 76817 66447 102 | 0.000 % |
143.68/143.83 c | 272497 | 700 14000 70000 | 76817 67850 102 | 0.000 % |
144.58/144.71 c | 274039 | 700 14000 70000 | 76817 69392 102 | 0.000 % |
145.58/145.74 c | 275735 | 700 14000 70000 | 76817 71088 102 | 0.000 % |
146.88/147.04 c | 277598 | 700 14000 70000 | 76817 72951 102 | 0.000 % |
148.18/148.39 c | 279648 | 700 14000 70000 | 76817 75001 102 | 0.000 % |
149.58/149.72 c | 281903 | 700 14000 70000 | 75353 65434 103 | 0.000 % |
151.08/151.20 c | 284381 | 700 14000 70000 | 75353 67912 103 | 0.000 % |
152.67/152.81 c | 287106 | 700 14000 70000 | 75353 70637 103 | 0.000 % |
152.67/152.87 c | 287206 | 700 14000 70000 | 75353 70737 103 | 0.000 % |
152.78/152.94 c | 287320 | 700 14000 70000 | 75353 70851 103 | 0.000 % |
152.88/153.02 c | 287442 | 700 14000 70000 | 75353 70973 103 | 0.000 % |
152.97/153.11 c | 287575 | 700 14000 70000 | 75353 71106 103 | 0.000 % |
153.07/153.24 c | 287721 | 700 14000 70000 | 75353 71252 103 | 0.000 % |
153.17/153.36 c | 287881 | 700 14000 70000 | 75353 71412 103 | 0.000 % |
153.27/153.50 c | 288057 | 700 14000 70000 | 75353 71588 103 | 0.000 % |
153.47/153.66 c | 288251 | 700 14000 70000 | 75353 71782 103 | 0.000 % |
153.57/153.79 c | 288463 | 700 14000 70000 | 75353 71994 103 | 0.000 % |
153.77/153.96 c | 288696 | 700 14000 70000 | 75353 72227 103 | 0.000 % |
153.98/154.12 c | 288953 | 700 14000 70000 | 75353 72484 103 | 0.000 % |
154.17/154.31 c | 289234 | 700 14000 70000 | 75353 72765 103 | 0.000 % |
154.37/154.50 c | 289543 | 700 14000 70000 | 75353 73074 103 | 0.000 % |
154.57/154.76 c | 289882 | 700 14000 70000 | 75353 73413 103 | 0.000 % |
154.87/155.05 c | 290254 | 700 14000 70000 | 73531 62726 103 | 0.000 % |
155.08/155.26 c | 290663 | 700 14000 70000 | 73531 63135 103 | 0.000 % |
155.37/155.50 c | 291113 | 700 14000 70000 | 73531 63585 103 | 0.000 % |
155.57/155.79 c | 291607 | 700 14000 70000 | 73531 64079 103 | 0.000 % |
155.97/156.12 c | 292149 | 700 14000 70000 | 73531 64621 103 | 0.000 % |
156.27/156.47 c | 292745 | 700 14000 70000 | 73531 65217 103 | 0.000 % |
156.67/156.85 c | 293400 | 700 14000 70000 | 73531 65872 103 | 0.000 % |
157.07/157.27 c | 294120 | 700 14000 70000 | 73531 66592 103 | 0.000 % |
157.57/157.74 c | 294913 | 700 14000 70000 | 73531 67385 103 | 0.000 % |
158.07/158.24 c | 295786 | 700 14000 70000 | 73531 68258 103 | 0.000 % |
158.67/158.82 c | 296745 | 700 14000 70000 | 73531 69217 103 | 0.000 % |
159.27/159.43 c | 297798 | 700 14000 70000 | 73531 70270 103 | 0.000 % |
159.97/160.11 c | 298959 | 700 14000 70000 | 73531 71431 103 | 0.000 % |
160.67/160.85 c | 300234 | 700 14000 70000 | 72472 72706 103 | 0.000 % |
161.47/161.67 c | 301634 | 700 14000 70000 | 72472 64297 103 | 0.000 % |
162.37/162.54 c | 303175 | 700 14000 70000 | 72472 65838 103 | 0.000 % |
163.27/163.48 c | 304870 | 700 14000 70000 | 72472 67533 103 | 0.000 % |
164.47/164.62 c | 306736 | 700 14000 70000 | 72472 69399 103 | 0.000 % |
165.67/165.87 c | 308785 | 700 14000 70000 | 72472 71448 103 | 0.000 % |
167.07/167.22 c | 311038 | 700 14000 70000 | 72663 63958 103 | 0.000 % |
168.57/168.71 c | 313518 | 700 14000 70000 | 72663 66438 104 | 0.000 % |
170.27/170.42 c | 316243 | 700 14000 70000 | 72663 69163 104 | 0.000 % |
172.07/172.27 c | 319240 | 700 14000 70000 | 72663 72160 104 | 0.000 % |
172.17/172.33 c | 319340 | 700 14000 70000 | 72663 72260 104 | 0.000 % |
172.27/172.40 c | 319450 | 700 14000 70000 | 72663 72370 104 | 0.000 % |
172.27/172.49 c | 319571 | 700 14000 70000 | 72663 72491 104 | 0.000 % |
172.47/172.60 c | 319705 | 700 14000 70000 | 72663 72625 104 | 0.000 % |
172.57/172.71 c | 319851 | 700 14000 70000 | 72663 72771 104 | 0.000 % |
172.67/172.85 c | 320012 | 700 14000 70000 | 62440 62452 104 | 0.000 % |
172.86/173.00 c | 320189 | 700 14000 70000 | 62440 53656 104 | 0.000 % |
172.96/173.11 c | 320384 | 700 14000 70000 | 62440 53851 104 | 0.000 % |
173.06/173.22 c | 320597 | 700 14000 70000 | 62440 54064 104 | 0.000 % |
173.16/173.37 c | 320831 | 700 14000 70000 | 62440 54298 104 | 0.000 % |
173.36/173.52 c | 321090 | 700 14000 70000 | 62440 54557 104 | 0.000 % |
173.46/173.68 c | 321371 | 700 14000 70000 | 62440 54838 104 | 0.000 % |
173.67/173.87 c | 321680 | 700 14000 70000 | 62440 55147 104 | 0.000 % |
173.86/174.04 c | 322019 | 700 14000 70000 | 62440 55486 104 | 0.000 % |
174.06/174.27 c | 322391 | 700 14000 70000 | 62440 55858 104 | 0.000 % |
174.36/174.50 c | 322800 | 700 14000 70000 | 62440 56267 104 | 0.000 % |
174.56/174.76 c | 323249 | 700 14000 70000 | 62440 56716 104 | 0.000 % |
174.87/175.02 c | 323742 | 700 14000 70000 | 62440 57209 104 | 0.000 % |
175.16/175.32 c | 324286 | 700 14000 70000 | 62440 57753 104 | 0.000 % |
175.46/175.63 c | 324885 | 700 14000 70000 | 62440 58352 104 | 0.000 % |
175.76/175.97 c | 325542 | 700 14000 70000 | 62440 59009 104 | 0.000 % |
176.16/176.38 c | 326266 | 700 14000 70000 | 62440 59733 104 | 0.000 % |
176.66/176.82 c | 327059 | 700 14000 70000 | 62440 60526 104 | 0.000 % |
177.16/177.32 c | 327931 | 700 14000 70000 | 62440 61398 104 | 0.000 % |
177.66/177.89 c | 328889 | 700 14000 70000 | 62440 62356 104 | 0.000 % |
178.36/178.50 c | 329944 | 700 14000 70000 | 62440 56666 103 | 0.000 % |
178.86/179.07 c | 331104 | 700 14000 70000 | 56722 51989 103 | 0.000 % |
179.46/179.68 c | 332378 | 700 14000 70000 | 56722 53263 103 | 0.000 % |
180.16/180.39 c | 333780 | 700 14000 70000 | 56722 54665 103 | 0.000 % |
180.96/181.12 c | 335320 | 700 14000 70000 | 56722 56205 103 | 0.000 % |
181.76/181.95 c | 337014 | 700 14000 70000 | 56722 52202 103 | 0.000 % |
182.66/182.86 c | 338877 | 700 14000 70000 | 56722 54065 103 | 0.000 % |
183.66/183.85 c | 340926 | 700 14000 70000 | 2147483647 56114 103 | 0.000 % |
184.86/185.00 c | 343180 | 700 14000 70000 | 2147483647 58368 103 | 0.000 % |
186.06/186.22 c | 345661 | 700 14000 70000 | 2147483647 60849 103 | 0.000 % |
187.46/187.65 c | 348387 | 700 14000 70000 | 2147483647 63575 103 | 0.000 % |
189.16/189.31 c | 351386 | 700 14000 70000 | 2147483647 66574 103 | 0.000 % |
190.95/191.17 c | 354683 | 700 14000 70000 | 2147483647 69871 104 | 0.000 % |
191.05/191.23 c | 354783 | 700 14000 70000 | 2147483647 69971 104 | 0.000 % |
191.05/191.29 c | 354895 | 700 14000 70000 | 2147483647 70083 104 | 0.000 % |
191.15/191.37 c | 355016 | 700 14000 70000 | 2147483647 70204 104 | 0.000 % |
191.26/191.49 c | 355150 | 700 14000 70000 | 2147483647 70338 103 | 0.000 % |
191.45/191.60 c | 355296 | 700 14000 70000 | 2147483647 70484 103 | 0.000 % |
191.55/191.72 c | 355458 | 700 14000 70000 | 2147483647 70646 103 | 0.000 % |
191.65/191.84 c | 355635 | 700 14000 70000 | 2147483647 70823 103 | 0.000 % |
191.75/191.97 c | 355829 | 700 14000 70000 | 2147483647 71017 103 | 0.000 % |
191.95/192.12 c | 356043 | 700 14000 70000 | 2147483647 71231 103 | 0.000 % |
192.15/192.30 c | 356276 | 700 14000 70000 | 2147483647 71464 103 | 0.000 % |
192.25/192.48 c | 356532 | 700 14000 70000 | 2147483647 71720 103 | 0.000 % |
192.46/192.69 c | 356815 | 700 14000 70000 | 2147483647 72003 103 | 0.000 % |
192.75/192.91 c | 357124 | 700 14000 70000 | 2147483647 72312 103 | 0.000 % |
192.95/193.13 c | 357463 | 700 14000 70000 | 2147483647 72651 103 | 0.000 % |
193.15/193.37 c | 357839 | 700 14000 70000 | 2147483647 73027 103 | 0.000 % |
193.46/193.65 c | 358250 | 700 14000 70000 | 2147483647 73438 103 | 0.000 % |
193.75/193.95 c | 358699 | 700 14000 70000 | 2147483647 73887 103 | 0.000 % |
194.05/194.29 c | 359192 | 700 14000 70000 | 2147483647 74380 103 | 0.000 % |
194.45/194.66 c | 359735 | 700 14000 70000 | 2147483647 74923 103 | 0.000 % |
194.85/195.07 c | 360331 | 700 14000 70000 | 75190 65012 103 | 0.000 % |
195.25/195.45 c | 360987 | 700 14000 70000 | 75190 65668 103 | 0.000 % |
195.66/195.88 c | 361707 | 700 14000 70000 | 75190 66388 103 | 0.000 % |
196.15/196.33 c | 362500 | 700 14000 70000 | 75190 67181 103 | 0.000 % |
196.75/196.91 c | 363372 | 700 14000 70000 | 75190 68053 103 | 0.000 % |
197.25/197.47 c | 364330 | 700 14000 70000 | 75190 69011 103 | 0.000 % |
197.95/198.12 c | 365383 | 700 14000 70000 | 75190 70064 103 | 0.000 % |
198.75/198.90 c | 366541 | 700 14000 70000 | 75190 71222 103 | 0.000 % |
199.55/199.79 c | 367814 | 700 14000 70000 | 75190 72495 104 | 0.000 % |
200.45/200.66 c | 369215 | 700 14000 70000 | 75190 73896 104 | 0.000 % |
201.55/201.70 c | 370757 | 700 14000 70000 | 74681 64227 104 | 0.000 % |
202.45/202.61 c | 372451 | 700 14000 70000 | 74681 65921 104 | 0.000 % |
203.45/203.69 c | 374316 | 700 14000 70000 | 74681 67786 104 | 0.000 % |
204.64/204.86 c | 376365 | 700 14000 70000 | 74681 69835 104 | 0.000 % |
205.95/206.12 c | 378618 | 700 14000 70000 | 74681 72088 104 | 0.000 % |
207.34/207.60 c | 381097 | 700 14000 70000 | 73470 64395 103 | 0.000 % |
209.04/209.21 c | 383822 | 700 14000 70000 | 73470 67120 103 | 0.000 % |
210.74/210.92 c | 386820 | 700 14000 70000 | 73470 70118 104 | 0.000 % |
212.74/212.99 c | 390116 | 700 14000 70000 | 73298 73414 103 | 0.000 % |
214.84/215.06 c | 393742 | 700 14000 70000 | 73298 66495 104 | 0.000 % |
214.94/215.13 c | 393844 | 700 14000 70000 | 73298 66597 104 | 0.000 % |
215.04/215.20 c | 393954 | 700 14000 70000 | 73298 66707 104 | 0.000 % |
215.14/215.30 c | 394075 | 700 14000 70000 | 73298 66828 104 | 0.000 % |
215.24/215.41 c | 394210 | 700 14000 70000 | 73298 66963 104 | 0.000 % |
215.34/215.51 c | 394356 | 700 14000 70000 | 73298 67109 104 | 0.000 % |
215.45/215.62 c | 394519 | 700 14000 70000 | 73298 67272 104 | 0.000 % |
215.55/215.75 c | 394695 | 700 14000 70000 | 73298 67448 104 | 0.000 % |
215.64/215.88 c | 394889 | 700 14000 70000 | 73298 67642 104 | 0.000 % |
215.84/216.03 c | 395101 | 700 14000 70000 | 73298 67854 104 | 0.000 % |
215.94/216.17 c | 395334 | 700 14000 70000 | 73298 68087 104 | 0.000 % |
216.14/216.34 c | 395592 | 700 14000 70000 | 73298 68345 104 | 0.000 % |
216.34/216.54 c | 395875 | 700 14000 70000 | 73298 68628 104 | 0.000 % |
216.55/216.75 c | 396185 | 700 14000 70000 | 73298 68938 104 | 0.000 % |
216.74/216.97 c | 396527 | 700 14000 70000 | 73298 69280 104 | 0.000 % |
217.04/217.24 c | 396899 | 700 14000 70000 | 73298 69652 104 | 0.000 % |
217.34/217.51 c | 397310 | 700 14000 70000 | 73298 70063 104 | 0.000 % |
217.54/217.78 c | 397759 | 700 14000 70000 | 73298 70512 104 | 0.000 % |
217.94/218.11 c | 398256 | 700 14000 70000 | 73298 71009 104 | 0.000 % |
218.24/218.48 c | 398798 | 700 14000 70000 | 73298 71551 104 | 0.000 % |
218.64/218.88 c | 399394 | 700 14000 70000 | 73298 72147 104 | 0.000 % |
219.04/219.28 c | 400049 | 700 14000 70000 | 72753 72802 104 | 0.000 % |
219.54/219.72 c | 400769 | 700 14000 70000 | 72753 63286 104 | 0.000 % |
219.94/220.18 c | 401562 | 700 14000 70000 | 72753 64079 104 | 0.000 % |
220.44/220.65 c | 402434 | 700 14000 70000 | 72753 64951 104 | 0.000 % |
221.04/221.25 c | 403392 | 700 14000 70000 | 72753 65909 104 | 0.000 % |
221.74/221.91 c | 404450 | 700 14000 70000 | 72753 66967 104 | 0.000 % |
222.34/222.58 c | 405608 | 700 14000 70000 | 72753 68125 104 | 0.000 % |
223.14/223.31 c | 406881 | 700 14000 70000 | 72753 69398 104 | 0.000 % |
223.93/224.11 c | 408282 | 700 14000 70000 | 72753 70799 103 | 0.000 % |
224.73/224.99 c | 409822 | 700 14000 70000 | 72753 72339 104 | 0.000 % |
225.73/226.00 c | 411516 | 700 14000 70000 | 72518 63924 103 | 0.000 % |
226.93/227.10 c | 413379 | 700 14000 70000 | 72518 65787 103 | 0.000 % |
228.03/228.28 c | 415429 | 700 14000 70000 | 72518 67837 103 | 0.000 % |
229.23/229.48 c | 417682 | 700 14000 70000 | 72518 70090 103 | 0.000 % |
230.84/231.01 c | 420162 | 700 14000 70000 | 72409 72570 103 | 0.000 % |
232.43/232.62 c | 422890 | 700 14000 70000 | 72409 65348 104 | 0.000 % |
234.14/234.32 c | 425888 | 700 14000 70000 | 72409 68346 104 | 0.000 % |
236.13/236.38 c | 429184 | 700 14000 70000 | 72409 71642 104 | 0.000 % |
238.33/238.54 c | 432810 | 700 14000 70000 | 72459 65461 104 | 0.000 % |
240.63/240.89 c | 436798 | 700 14000 70000 | 72459 69449 104 | 0.000 % |
240.73/240.96 c | 436898 | 700 14000 70000 | 72459 69549 104 | 0.000 % |
240.83/241.03 c | 437008 | 700 14000 70000 | 72459 69659 104 | 0.000 % |
240.93/241.14 c | 437129 | 700 14000 70000 | 72459 69780 104 | 0.000 % |
241.03/241.23 c | 437264 | 700 14000 70000 | 72459 69915 104 | 0.000 % |
241.13/241.32 c | 437410 | 700 14000 70000 | 72459 70061 104 | 0.000 % |
241.23/241.43 c | 437571 | 700 14000 70000 | 72459 70222 103 | 0.000 % |
241.43/241.60 c | 437747 | 700 14000 70000 | 72459 70398 103 | 0.000 % |
241.53/241.75 c | 437941 | 700 14000 70000 | 72459 70592 103 | 0.000 % |
241.73/241.90 c | 438153 | 700 14000 70000 | 72459 70804 103 | 0.000 % |
241.83/242.05 c | 438388 | 700 14000 70000 | 72459 71039 103 | 0.000 % |
242.03/242.22 c | 438645 | 700 14000 70000 | 72459 71296 103 | 0.000 % |
242.23/242.41 c | 438927 | 700 14000 70000 | 72459 71578 103 | 0.000 % |
242.43/242.62 c | 439237 | 700 14000 70000 | 72459 71888 103 | 0.000 % |
242.63/242.83 c | 439577 | 700 14000 70000 | 72459 72228 103 | 0.000 % |
242.83/243.09 c | 439950 | 700 14000 70000 | 72459 72601 103 | 0.000 % |
243.13/243.40 c | 440360 | 700 14000 70000 | 62857 54887 103 | 0.000 % |
243.43/243.63 c | 440810 | 700 14000 70000 | 62857 55337 103 | 0.000 % |
243.63/243.88 c | 441303 | 700 14000 70000 | 62857 55830 103 | 0.000 % |
243.93/244.18 c | 441845 | 700 14000 70000 | 62857 56372 103 | 0.000 % |
244.33/244.50 c | 442441 | 700 14000 70000 | 62857 56968 103 | 0.000 % |
244.63/244.85 c | 443096 | 700 14000 70000 | 62857 57623 103 | 0.000 % |
245.03/245.28 c | 443817 | 700 14000 70000 | 62857 58344 103 | 0.000 % |
245.43/245.68 c | 444610 | 700 14000 70000 | 62857 59137 103 | 0.000 % |
245.93/246.15 c | 445481 | 700 14000 70000 | 62857 60008 103 | 0.000 % |
246.43/246.64 c | 446440 | 700 14000 70000 | 62857 60967 103 | 0.000 % |
247.03/247.24 c | 447495 | 700 14000 70000 | 62857 62022 103 | 0.000 % |
247.73/247.91 c | 448654 | 700 14000 70000 | 62857 56872 103 | 0.000 % |
248.33/248.58 c | 449928 | 700 14000 70000 | 62857 58146 103 | 0.000 % |
249.03/249.26 c | 451329 | 700 14000 70000 | 2147483647 59547 103 | 0.000 % |
249.93/250.10 c | 452869 | 700 14000 70000 | 2147483647 61087 103 | 0.000 % |
250.82/251.05 c | 454563 | 700 14000 70000 | 2147483647 62781 103 | 0.000 % |
251.92/252.14 c | 456426 | 700 14000 70000 | 2147483647 64644 103 | 0.000 % |
253.12/253.33 c | 458475 | 700 14000 70000 | 2147483647 66693 103 | 0.000 % |
254.42/254.67 c | 460728 | 700 14000 70000 | 68219 61645 104 | 0.000 % |
255.82/256.07 c | 463207 | 700 14000 70000 | 68219 64124 104 | 0.000 % |
257.33/257.56 c | 465932 | 700 14000 70000 | 68219 66849 104 | 0.000 % |
259.02/259.23 c | 468929 | 700 14000 70000 | 68219 62294 104 | 0.000 % |
260.72/260.96 c | 472226 | 700 14000 70000 | 63368 58669 104 | 0.000 % |
262.73/262.90 c | 475853 | 700 14000 70000 | 63368 62296 104 | 0.000 % |
264.82/265.04 c | 479842 | 700 14000 70000 | 63368 59925 104 | 0.000 % |
267.23/267.45 c | 484228 | 700 14000 70000 | 2147483647 64311 104 | 0.000 % |
267.32/267.51 c | 484329 | 700 14000 70000 | 2147483647 64412 104 | 0.000 % |
267.32/267.58 c | 484440 | 700 14000 70000 | 2147483647 64523 104 | 0.000 % |
267.42/267.66 c | 484561 | 700 14000 70000 | 2147483647 64644 104 | 0.000 % |
267.52/267.75 c | 484695 | 700 14000 70000 | 2147483647 64778 104 | 0.000 % |
267.62/267.83 c | 484845 | 700 14000 70000 | 2147483647 64928 104 | 0.000 % |
267.72/267.93 c | 485005 | 700 14000 70000 | 2147483647 65088 104 | 0.000 % |
267.82/268.07 c | 485182 | 700 14000 70000 | 2147483647 65265 104 | 0.000 % |
268.02/268.20 c | 485375 | 700 14000 70000 | 2147483647 65458 104 | 0.000 % |
268.12/268.32 c | 485588 | 700 14000 70000 | 2147483647 65671 104 | 0.000 % |
268.22/268.47 c | 485821 | 700 14000 70000 | 2147483647 65904 104 | 0.000 % |
268.42/268.62 c | 486077 | 700 14000 70000 | 2147483647 66160 104 | 0.000 % |
268.62/268.82 c | 486358 | 700 14000 70000 | 2147483647 66441 104 | 0.000 % |
268.82/269.00 c | 486668 | 700 14000 70000 | 2147483647 66751 104 | 0.000 % |
269.02/269.21 c | 487007 | 700 14000 70000 | 2147483647 67090 104 | 0.000 % |
269.22/269.45 c | 487381 | 700 14000 70000 | 2147483647 67464 104 | 0.000 % |
269.42/269.68 c | 487791 | 700 14000 70000 | 2147483647 67874 104 | 0.000 % |
269.72/269.94 c | 488240 | 700 14000 70000 | 2147483647 68323 104 | 0.000 % |
270.02/270.25 c | 488735 | 700 14000 70000 | 2147483647 68818 104 | 0.000 % |
270.32/270.58 c | 489277 | 700 14000 70000 | 2147483647 69360 104 | 0.000 % |
270.72/270.96 c | 489873 | 700 14000 70000 | 2147483647 69956 104 | 0.000 % |
271.22/271.41 c | 490528 | 700 14000 70000 | 70083 62160 103 | 0.000 % |
271.62/271.82 c | 491249 | 700 14000 70000 | 70083 62881 103 | 0.000 % |
272.02/272.27 c | 492041 | 700 14000 70000 | 70083 63673 103 | 0.000 % |
272.52/272.78 c | 492913 | 700 14000 70000 | 70083 64545 103 | 0.000 % |
273.12/273.32 c | 493871 | 700 14000 70000 | 70083 65503 103 | 0.000 % |
273.72/273.91 c | 494924 | 700 14000 70000 | 70083 66556 103 | 0.000 % |
274.32/274.55 c | 496082 | 700 14000 70000 | 70083 67714 103 | 0.000 % |
275.12/275.35 c | 497356 | 700 14000 70000 | 70083 68988 103 | 0.000 % |
276.02/276.27 c | 498756 | 700 14000 70000 | 70083 61440 104 | 0.000 % |
276.92/277.15 c | 500296 | 700 14000 70000 | 62686 55282 104 | 0.000 % |
277.82/278.02 c | 501992 | 700 14000 70000 | 62686 56978 104 | 0.000 % |
278.72/278.93 c | 503855 | 700 14000 70000 | 62686 58841 104 | 0.000 % |
279.72/279.99 c | 505904 | 700 14000 70000 | 62686 60890 104 | 0.000 % |
281.01/281.20 c | 508159 | 700 14000 70000 | 62686 56852 104 | 0.000 % |
282.22/282.49 c | 510637 | 700 14000 70000 | 2147483647 59330 104 | 0.000 % |
283.81/284.01 c | 513365 | 700 14000 70000 | 2147483647 62058 104 | 0.000 % |
285.61/285.88 c | 516362 | 700 14000 70000 | 2147483647 65055 104 | 0.000 % |
287.71/287.95 c | 519658 | 700 14000 70000 | 2147483647 68351 104 | 0.000 % |
289.81/290.00 c | 523283 | 700 14000 70000 | 68693 64642 104 | 0.000 % |
292.01/292.29 c | 527272 | 700 14000 70000 | 68693 68631 104 | 0.000 % |
294.61/294.86 c | 531657 | 700 14000 70000 | 63851 58832 104 | 0.000 % |
297.71/297.91 c | 536485 | 700 14000 70000 | 63851 63660 105 | 0.000 % |
297.71/297.97 c | 536585 | 700 14000 70000 | 63851 63760 105 | 0.000 % |
297.81/298.04 c | 536695 | 700 14000 70000 | 63851 63870 105 | 0.000 % |
297.91/298.16 c | 536817 | 700 14000 70000 | 63851 57605 105 | 0.000 % |
298.01/298.24 c | 536951 | 700 14000 70000 | 63851 57739 105 | 0.000 % |
298.11/298.32 c | 537098 | 700 14000 70000 | 63851 57886 105 | 0.000 % |
298.21/298.43 c | 537258 | 700 14000 70000 | 63851 58046 105 | 0.000 % |
298.31/298.55 c | 537437 | 700 14000 70000 | 63851 58225 105 | 0.000 % |
298.41/298.66 c | 537630 | 700 14000 70000 | 63851 58418 105 | 0.000 % |
298.51/298.78 c | 537842 | 700 14000 70000 | 63851 58630 105 | 0.000 % |
298.71/298.90 c | 538076 | 700 14000 70000 | 63851 58864 105 | 0.000 % |
298.81/299.06 c | 538335 | 700 14000 70000 | 63851 59123 105 | 0.000 % |
299.01/299.24 c | 538620 | 700 14000 70000 | 63851 59408 105 | 0.000 % |
299.21/299.43 c | 538932 | 700 14000 70000 | 63851 59720 105 | 0.000 % |
299.41/299.64 c | 539271 | 700 14000 70000 | 63851 60059 105 | 0.000 % |
299.61/299.84 c | 539644 | 700 14000 70000 | 63851 60432 105 | 0.000 % |
299.81/300.06 c | 540053 | 700 14000 70000 | 2147483647 60841 105 | 0.000 % |
300.11/300.32 c | 540504 | 700 14000 70000 | 2147483647 61292 105 | 0.000 % |
300.31/300.60 c | 540998 | 700 14000 70000 | 2147483647 61786 105 | 0.000 % |
300.71/300.93 c | 541541 | 700 14000 70000 | 2147483647 62329 105 | 0.000 % |
301.11/301.32 c | 542140 | 700 14000 70000 | 2147483647 62928 105 | 0.000 % |
301.51/301.70 c | 542796 | 700 14000 70000 | 2147483647 63584 105 | 0.000 % |
301.81/302.10 c | 543517 | 700 14000 70000 | 2147483647 64305 105 | 0.000 % |
302.31/302.58 c | 544310 | 700 14000 70000 | 2147483647 65098 105 | 0.000 % |
302.91/303.14 c | 545182 | 700 14000 70000 | 2147483647 65970 104 | 0.000 % |
303.41/303.67 c | 546140 | 700 14000 70000 | 2147483647 66928 104 | 0.000 % |
304.10/304.32 c | 547196 | 700 14000 70000 | 2147483647 67984 105 | 0.000 % |
304.80/305.02 c | 548355 | 700 14000 70000 | 2147483647 69143 104 | 0.000 % |
305.50/305.79 c | 549629 | 700 14000 70000 | 2147483647 70417 104 | 0.000 % |
306.40/306.64 c | 551030 | 700 14000 70000 | 70791 63126 105 | 0.000 % |
307.30/307.52 c | 552571 | 700 14000 70000 | 70791 64667 105 | 0.000 % |
308.30/308.52 c | 554266 | 700 14000 70000 | 70791 66362 105 | 0.000 % |
309.40/309.65 c | 556130 | 700 14000 70000 | 70791 68226 105 | 0.000 % |
310.60/310.87 c | 558180 | 700 14000 70000 | 70791 70276 105 | 0.000 % |
312.00/312.21 c | 560434 | 700 14000 70000 | 62679 55120 105 | 0.000 % |
313.20/313.47 c | 562914 | 700 14000 70000 | 62679 57600 105 | 0.000 % |
314.70/314.96 c | 565640 | 700 14000 70000 | 62679 60326 105 | 0.000 % |
316.40/316.66 c | 568638 | 700 14000 70000 | 62679 57031 105 | 0.000 % |
318.21/318.47 c | 571935 | 700 14000 70000 | 2147483647 60328 105 | 0.000 % |
320.31/320.55 c | 575560 | 700 14000 70000 | 2147483647 63953 105 | 0.000 % |
322.61/322.84 c | 579547 | 700 14000 70000 | 2147483647 67940 105 | 0.000 % |
325.11/325.36 c | 583932 | 700 14000 70000 | 68398 64707 105 | 0.000 % |
327.91/328.12 c | 588755 | 700 14000 70000 | 68398 61867 105 | 0.000 % |
330.80/331.03 c | 594060 | 700 14000 70000 | 63112 60467 105 | 0.000 % |
330.80/331.09 c | 594160 | 700 14000 70000 | 63112 60567 105 | 0.000 % |
330.91/331.16 c | 594272 | 700 14000 70000 | 63112 60679 105 | 0.000 % |
331.01/331.23 c | 594394 | 700 14000 70000 | 63112 60801 105 | 0.000 % |
331.10/331.32 c | 594528 | 700 14000 70000 | 63112 60935 105 | 0.000 % |
331.20/331.42 c | 594674 | 700 14000 70000 | 63112 61081 104 | 0.000 % |
331.30/331.52 c | 594837 | 700 14000 70000 | 63112 61244 104 | 0.000 % |
331.40/331.63 c | 595015 | 700 14000 70000 | 63112 61422 104 | 0.000 % |
331.50/331.77 c | 595208 | 700 14000 70000 | 63112 61615 104 | 0.000 % |
331.70/331.91 c | 595420 | 700 14000 70000 | 63112 61827 104 | 0.000 % |
331.80/332.05 c | 595653 | 700 14000 70000 | 63112 62060 104 | 0.000 % |
332.01/332.21 c | 595912 | 700 14000 70000 | 63112 62319 104 | 0.000 % |
332.11/332.39 c | 596193 | 700 14000 70000 | 63112 62600 104 | 0.000 % |
332.30/332.57 c | 596502 | 700 14000 70000 | 63112 62909 104 | 0.000 % |
332.50/332.79 c | 596841 | 700 14000 70000 | 63112 63248 104 | 0.000 % |
332.80/333.07 c | 597214 | 700 14000 70000 | 63112 57192 105 | 0.000 % |
333.00/333.30 c | 597623 | 700 14000 70000 | 63112 57601 104 | 0.000 % |
333.30/333.52 c | 598072 | 700 14000 70000 | 63112 58050 104 | 0.000 % |
333.60/333.81 c | 598565 | 700 14000 70000 | 63112 58543 104 | 0.000 % |
333.90/334.14 c | 599108 | 700 14000 70000 | 63112 59086 104 | 0.000 % |
334.21/334.47 c | 599705 | 700 14000 70000 | 63112 59683 104 | 0.000 % |
334.60/334.85 c | 600360 | 700 14000 70000 | 2147483647 60338 104 | 0.000 % |
335.00/335.26 c | 601080 | 700 14000 70000 | 2147483647 61058 104 | 0.000 % |
335.41/335.69 c | 601872 | 700 14000 70000 | 2147483647 61850 104 | 0.000 % |
336.00/336.24 c | 602743 | 700 14000 70000 | 2147483647 62721 104 | 0.000 % |
336.51/336.77 c | 603701 | 700 14000 70000 | 2147483647 63679 104 | 0.000 % |
337.10/337.31 c | 604755 | 700 14000 70000 | 2147483647 64733 104 | 0.000 % |
337.70/337.95 c | 605914 | 700 14000 70000 | 2147483647 65892 104 | 0.000 % |
338.50/338.73 c | 607188 | 700 14000 70000 | 2147483647 67166 104 | 0.000 % |
339.40/339.60 c | 608588 | 700 14000 70000 | 2147483647 68566 104 | 0.000 % |
340.40/340.61 c | 610130 | 700 14000 70000 | 69979 70108 104 | 0.000 % |
341.40/341.61 c | 611824 | 700 14000 70000 | 69979 63666 104 | 0.000 % |
342.40/342.66 c | 613687 | 700 14000 70000 | 69979 65529 104 | 0.000 % |
343.60/343.84 c | 615737 | 700 14000 70000 | 69979 67579 104 | 0.000 % |
344.90/345.18 c | 617990 | 700 14000 70000 | 69979 69832 104 | 0.000 % |
346.40/346.62 c | 620470 | 700 14000 70000 | 63083 55902 104 | 0.000 % |
347.70/347.99 c | 623196 | 700 14000 70000 | 63083 58628 105 | 0.000 % |
349.30/349.57 c | 626193 | 700 14000 70000 | 63083 61625 105 | 0.000 % |
351.10/351.36 c | 629492 | 700 14000 70000 | 63083 58591 105 | 0.000 % |
353.10/353.34 c | 633117 | 700 14000 70000 | 2147483647 62216 105 | 0.000 % |
355.39/355.60 c | 637104 | 700 14000 70000 | 2147483647 66203 105 | 0.000 % |
358.09/358.37 c | 641492 | 700 14000 70000 | 69099 62720 105 | 0.000 % |
360.99/361.23 c | 646316 | 700 14000 70000 | 69099 67544 105 | 0.000 % |
364.00/364.29 c | 651621 | 700 14000 70000 | 63181 57451 105 | 0.000 % |
367.30/367.58 c | 657459 | 700 14000 70000 | 63181 63289 105 | 0.000 % |
367.39/367.68 c | 657559 | 700 14000 70000 | 63181 57061 106 | 0.000 % |
367.49/367.75 c | 657669 | 700 14000 70000 | 63181 57171 106 | 0.000 % |
367.59/367.82 c | 657790 | 700 14000 70000 | 63181 57292 106 | 0.000 % |
367.59/367.88 c | 657923 | 700 14000 70000 | 63181 57425 106 | 0.000 % |
367.69/367.96 c | 658069 | 700 14000 70000 | 63181 57571 106 | 0.000 % |
367.79/368.06 c | 658231 | 700 14000 70000 | 63181 57733 106 | 0.000 % |
367.89/368.15 c | 658407 | 700 14000 70000 | 63181 57909 106 | 0.000 % |
367.99/368.26 c | 658601 | 700 14000 70000 | 63181 58103 106 | 0.000 % |
368.09/368.39 c | 658813 | 700 14000 70000 | 63181 58315 106 | 0.000 % |
368.30/368.51 c | 659046 | 700 14000 70000 | 63181 58548 106 | 0.000 % |
368.40/368.65 c | 659303 | 700 14000 70000 | 63181 58805 106 | 0.000 % |
368.59/368.82 c | 659586 | 700 14000 70000 | 63181 59088 106 | 0.000 % |
368.69/368.99 c | 659895 | 700 14000 70000 | 63181 59397 106 | 0.000 % |
368.89/369.18 c | 660234 | 700 14000 70000 | 2147483647 59736 106 | 0.000 % |
369.09/369.38 c | 660608 | 700 14000 70000 | 2147483647 60110 106 | 0.000 % |
369.39/369.61 c | 661018 | 700 14000 70000 | 2147483647 60520 106 | 0.000 % |
369.59/369.86 c | 661468 | 700 14000 70000 | 2147483647 60970 106 | 0.000 % |
369.89/370.16 c | 661963 | 700 14000 70000 | 2147483647 61465 106 | 0.000 % |
370.19/370.46 c | 662505 | 700 14000 70000 | 2147483647 62007 106 | 0.000 % |
370.59/370.80 c | 663101 | 700 14000 70000 | 2147483647 62603 106 | 0.000 % |
370.89/371.15 c | 663758 | 700 14000 70000 | 2147483647 63260 106 | 0.000 % |
371.29/371.55 c | 664478 | 700 14000 70000 | 2147483647 63980 106 | 0.000 % |
371.69/372.00 c | 665270 | 700 14000 70000 | 2147483647 64772 105 | 0.000 % |
372.19/372.49 c | 666141 | 700 14000 70000 | 2147483647 65643 105 | 0.000 % |
372.79/373.02 c | 667102 | 700 14000 70000 | 2147483647 66604 105 | 0.000 % |
373.39/373.61 c | 668155 | 700 14000 70000 | 2147483647 67657 105 | 0.000 % |
373.99/374.26 c | 669314 | 700 14000 70000 | 2147483647 68816 105 | 0.000 % |
374.79/375.06 c | 670588 | 700 14000 70000 | 69503 62487 106 | 0.000 % |
375.59/375.87 c | 671989 | 700 14000 70000 | 69503 63888 106 | 0.000 % |
376.49/376.76 c | 673530 | 700 14000 70000 | 69503 65429 106 | 0.000 % |
377.49/377.78 c | 675226 | 700 14000 70000 | 69503 67125 105 | 0.000 % |
378.69/378.92 c | 677091 | 700 14000 70000 | 69503 68990 105 | 0.000 % |
379.79/380.06 c | 679140 | 700 14000 70000 | 69503 62655 105 | 0.000 % |
380.99/381.25 c | 681394 | 700 14000 70000 | 63515 57631 105 | 0.000 % |
382.19/382.46 c | 683874 | 700 14000 70000 | 63515 60111 105 | 0.000 % |
383.69/383.90 c | 686600 | 700 14000 70000 | 63515 62837 105 | 0.000 % |
385.29/385.56 c | 689598 | 700 14000 70000 | 63515 59458 105 | 0.000 % |
386.88/387.16 c | 692894 | 700 14000 70000 | 2147483647 62754 105 | 0.000 % |
388.78/389.06 c | 696519 | 700 14000 70000 | 2147483647 66379 105 | 0.000 % |
391.08/391.31 c | 700506 | 700 14000 70000 | 69861 62575 105 | 0.000 % |
393.38/393.65 c | 704891 | 700 14000 70000 | 69861 66960 105 | 0.000 % |
396.18/396.49 c | 709715 | 700 14000 70000 | 69861 63082 104 | 0.000 % |
399.08/399.33 c | 715022 | 700 14000 70000 | 63370 60522 103 | 0.000 % |
402.18/402.47 c | 720857 | 700 14000 70000 | 2147483647 59905 104 | 0.000 % |
405.88/406.10 c | 727278 | 700 14000 70000 | 2147483647 66326 104 | 0.000 % |
405.88/406.16 c | 727378 | 700 14000 70000 | 2147483647 66426 104 | 0.000 % |
405.98/406.24 c | 727489 | 700 14000 70000 | 2147483647 66537 104 | 0.000 % |
406.08/406.31 c | 727613 | 700 14000 70000 | 2147483647 66661 104 | 0.000 % |
406.08/406.39 c | 727748 | 700 14000 70000 | 2147483647 66796 104 | 0.000 % |
406.18/406.49 c | 727894 | 700 14000 70000 | 2147483647 66942 104 | 0.000 % |
406.28/406.59 c | 728055 | 700 14000 70000 | 2147483647 67103 104 | 0.000 % |
406.47/406.74 c | 728232 | 700 14000 70000 | 2147483647 67280 104 | 0.000 % |
406.57/406.88 c | 728425 | 700 14000 70000 | 2147483647 67473 104 | 0.000 % |
406.78/407.02 c | 728638 | 700 14000 70000 | 2147483647 67686 104 | 0.000 % |
406.88/407.16 c | 728872 | 700 14000 70000 | 2147483647 67920 104 | 0.000 % |
407.07/407.32 c | 729129 | 700 14000 70000 | 2147483647 68177 104 | 0.000 % |
407.27/407.50 c | 729410 | 700 14000 70000 | 2147483647 68458 104 | 0.000 % |
407.47/407.71 c | 729719 | 700 14000 70000 | 2147483647 68767 104 | 0.000 % |
407.67/407.94 c | 730058 | 700 14000 70000 | 69048 69106 104 | 0.000 % |
407.98/408.22 c | 730430 | 700 14000 70000 | 69048 61260 104 | 0.000 % |
408.17/408.48 c | 730841 | 700 14000 70000 | 69048 61671 104 | 0.000 % |
408.47/408.75 c | 731292 | 700 14000 70000 | 69048 62122 104 | 0.000 % |
408.77/409.02 c | 731788 | 700 14000 70000 | 69048 62618 104 | 0.000 % |
409.07/409.35 c | 732330 | 700 14000 70000 | 69048 63160 104 | 0.000 % |
409.37/409.68 c | 732926 | 700 14000 70000 | 69048 63756 104 | 0.000 % |
409.77/410.08 c | 733583 | 700 14000 70000 | 69048 64413 104 | 0.000 % |
410.27/410.56 c | 734303 | 700 14000 70000 | 69048 65133 104 | 0.000 % |
410.77/411.05 c | 735095 | 700 14000 70000 | 69048 65925 104 | 0.000 % |
411.37/411.61 c | 735968 | 700 14000 70000 | 69048 66798 104 | 0.000 % |
411.87/412.18 c | 736928 | 700 14000 70000 | 69048 67758 104 | 0.000 % |
412.57/412.80 c | 737981 | 700 14000 70000 | 69048 68811 104 | 0.000 % |
413.27/413.52 c | 739139 | 700 14000 70000 | 69048 61260 104 | 0.000 % |
413.97/414.27 c | 740413 | 700 14000 70000 | 62122 54827 104 | 0.000 % |
414.67/414.95 c | 741813 | 700 14000 70000 | 62122 56227 104 | 0.000 % |
415.47/415.74 c | 743353 | 700 14000 70000 | 62122 57767 104 | 0.000 % |
416.37/416.62 c | 745047 | 700 14000 70000 | 62122 59461 104 | 0.000 % |
417.47/417.70 c | 746910 | 700 14000 70000 | 62122 61324 104 | 0.000 % |
418.57/418.82 c | 748960 | 700 14000 70000 | 62122 57135 104 | 0.000 % |
419.77/420.02 c | 751213 | 700 14000 70000 | 2147483647 59388 104 | 0.000 % |
421.17/421.42 c | 753691 | 700 14000 70000 | 2147483647 61866 104 | 0.000 % |
422.67/422.91 c | 756416 | 700 14000 70000 | 2147483647 64591 104 | 0.000 % |
424.37/424.68 c | 759413 | 700 14000 70000 | 2147483647 67588 105 | 0.000 % |
426.27/426.53 c | 762709 | 700 14000 70000 | 68176 63880 105 | 0.000 % |
428.38/428.69 c | 766334 | 700 14000 70000 | 68176 67505 105 | 0.000 % |
430.77/431.06 c | 770322 | 700 14000 70000 | 63511 56850 104 | 0.000 % |
433.18/433.49 c | 774707 | 700 14000 70000 | 63511 61235 104 | 0.000 % |
435.97/436.25 c | 779530 | 700 14000 70000 | 63511 59688 104 | 0.000 % |
438.78/439.06 c | 784835 | 700 14000 70000 | 2147483647 64993 105 | 0.000 % |
442.27/442.52 c | 790671 | 700 14000 70000 | 70162 61732 105 | 0.000 % |
445.97/446.21 c | 797090 | 700 14000 70000 | 70162 68151 106 | 0.000 % |
449.77/450.06 c | 804149 | 700 14000 70000 | 61753 57772 107 | 0.000 % |
449.87/450.11 c | 804250 | 700 14000 70000 | 61753 57873 107 | 0.000 % |
449.87/450.18 c | 804361 | 700 14000 70000 | 61753 57984 107 | 0.000 % |
449.97/450.25 c | 804482 | 700 14000 70000 | 61753 58105 107 | 0.000 % |
450.07/450.33 c | 804616 | 700 14000 70000 | 61753 58239 107 | 0.000 % |
450.17/450.41 c | 804762 | 700 14000 70000 | 61753 58385 107 | 0.000 % |
450.27/450.51 c | 804924 | 700 14000 70000 | 61753 58547 107 | 0.000 % |
450.37/450.61 c | 805101 | 700 14000 70000 | 61753 58724 107 | 0.000 % |
450.47/450.72 c | 805294 | 700 14000 70000 | 61753 58917 107 | 0.000 % |
450.57/450.83 c | 805506 | 700 14000 70000 | 61753 59129 107 | 0.000 % |
450.67/451.00 c | 805739 | 700 14000 70000 | 61753 59362 107 | 0.000 % |
450.87/451.14 c | 805998 | 700 14000 70000 | 61753 59621 107 | 0.000 % |
450.97/451.29 c | 806280 | 700 14000 70000 | 61753 59903 107 | 0.000 % |
451.17/451.47 c | 806590 | 700 14000 70000 | 61753 60213 107 | 0.000 % |
451.37/451.67 c | 806929 | 700 14000 70000 | 61753 60552 107 | 0.000 % |
451.57/451.88 c | 807303 | 700 14000 70000 | 61753 60926 107 | 0.000 % |
451.87/452.12 c | 807713 | 700 14000 70000 | 61753 61336 107 | 0.000 % |
452.07/452.39 c | 808165 | 700 14000 70000 | 61753 61788 107 | 0.000 % |
452.36/452.69 c | 808660 | 700 14000 70000 | 61753 55822 107 | 0.000 % |
452.66/452.96 c | 809203 | 700 14000 70000 | 61753 56365 106 | 0.000 % |
452.97/453.26 c | 809799 | 700 14000 70000 | 61753 56961 106 | 0.000 % |
453.26/453.58 c | 810454 | 700 14000 70000 | 2147483647 57616 107 | 0.000 % |
453.66/453.95 c | 811176 | 700 14000 70000 | 2147483647 58338 106 | 0.000 % |
454.07/454.37 c | 811968 | 700 14000 70000 | 2147483647 59130 106 | 0.000 % |
454.56/454.88 c | 812839 | 700 14000 70000 | 2147483647 60001 106 | 0.000 % |
455.17/455.42 c | 813797 | 700 14000 70000 | 2147483647 60959 106 | 0.000 % |
455.76/456.01 c | 814850 | 700 14000 70000 | 2147483647 62012 106 | 0.000 % |
456.37/456.68 c | 816009 | 700 14000 70000 | 2147483647 63171 106 | 0.000 % |
457.26/457.51 c | 817285 | 700 14000 70000 | 2147483647 64447 106 | 0.000 % |
458.06/458.33 c | 818685 | 700 14000 70000 | 2147483647 65847 106 | 0.000 % |
458.86/459.19 c | 820225 | 700 14000 70000 | 67163 67387 106 | 0.000 % |
459.86/460.13 c | 821919 | 700 14000 70000 | 67163 61780 106 | 0.000 % |
460.86/461.14 c | 823782 | 700 14000 70000 | 67163 63643 105 | 0.000 % |
461.96/462.22 c | 825831 | 700 14000 70000 | 67163 65692 105 | 0.000 % |
463.26/463.52 c | 828084 | 700 14000 70000 | 67163 60616 106 | 0.000 % |
464.66/464.92 c | 830562 | 700 14000 70000 | 62533 56140 106 | 0.000 % |
466.06/466.33 c | 833287 | 700 14000 70000 | 62533 58865 106 | 0.000 % |
467.66/467.93 c | 836284 | 700 14000 70000 | 62533 61862 106 | 0.000 % |
469.36/469.62 c | 839580 | 700 14000 70000 | 62533 58879 106 | 0.000 % |
471.26/471.56 c | 843205 | 700 14000 70000 | 2147483647 62504 106 | 0.000 % |
473.66/473.98 c | 847193 | 700 14000 70000 | 2147483647 66492 106 | 0.000 % |
476.35/476.67 c | 851578 | 700 14000 70000 | 69303 62713 106 | 0.000 % |
479.15/479.44 c | 856402 | 700 14000 70000 | 69303 67537 105 | 0.000 % |
482.25/482.50 c | 861708 | 700 14000 70000 | 62282 56246 105 | 0.000 % |
485.45/485.79 c | 867543 | 700 14000 70000 | 62282 62081 105 | 0.000 % |
488.75/489.02 c | 873961 | 700 14000 70000 | 57779 55939 107 | 0.000 % |
492.35/492.64 c | 881020 | 700 14000 70000 | 2147483647 57195 107 | 0.000 % |
496.85/497.17 c | 888785 | 700 14000 70000 | 2147483647 64960 107 | 0.000 % |
496.95/497.24 c | 888885 | 700 14000 70000 | 2147483647 65060 107 | 0.000 % |
497.05/497.31 c | 888995 | 700 14000 70000 | 2147483647 65170 107 | 0.000 % |
497.05/497.38 c | 889116 | 700 14000 70000 | 2147483647 65291 107 | 0.000 % |
497.15/497.47 c | 889251 | 700 14000 70000 | 2147483647 65426 107 | 0.000 % |
497.25/497.56 c | 889397 | 700 14000 70000 | 2147483647 65572 107 | 0.000 % |
497.35/497.66 c | 889560 | 700 14000 70000 | 2147483647 65735 107 | 0.000 % |
497.55/497.82 c | 889738 | 700 14000 70000 | 2147483647 65913 107 | 0.000 % |
497.65/497.95 c | 889931 | 700 14000 70000 | 2147483647 66106 107 | 0.000 % |
497.85/498.11 c | 890146 | 700 14000 70000 | 66177 66321 107 | 0.000 % |
497.95/498.29 c | 890379 | 700 14000 70000 | 66177 58541 107 | 0.000 % |
498.15/498.44 c | 890637 | 700 14000 70000 | 66177 58799 107 | 0.000 % |
498.34/498.60 c | 890918 | 700 14000 70000 | 66177 59080 107 | 0.000 % |
498.44/498.77 c | 891227 | 700 14000 70000 | 66177 59389 107 | 0.000 % |
498.64/498.98 c | 891569 | 700 14000 70000 | 66177 59731 107 | 0.000 % |
498.94/499.24 c | 891942 | 700 14000 70000 | 66177 60104 107 | 0.000 % |
499.15/499.46 c | 892351 | 700 14000 70000 | 66177 60513 107 | 0.000 % |
499.44/499.72 c | 892800 | 700 14000 70000 | 66177 60962 107 | 0.000 % |
499.74/500.00 c | 893293 | 700 14000 70000 | 66177 61455 107 | 0.000 % |
500.04/500.30 c | 893835 | 700 14000 70000 | 66177 61997 107 | 0.000 % |
500.35/500.62 c | 894432 | 700 14000 70000 | 66177 62594 107 | 0.000 % |
500.64/500.97 c | 895088 | 700 14000 70000 | 66177 63250 107 | 0.000 % |
501.14/501.41 c | 895809 | 700 14000 70000 | 66177 63971 107 | 0.000 % |
501.54/501.89 c | 896601 | 700 14000 70000 | 66177 64763 107 | 0.000 % |
502.14/502.41 c | 897472 | 700 14000 70000 | 66177 65634 107 | 0.000 % |
502.74/503.01 c | 898430 | 700 14000 70000 | 66177 58871 107 | 0.000 % |
503.24/503.60 c | 899484 | 700 14000 70000 | 66177 59925 107 | 0.000 % |
503.94/504.24 c | 900643 | 700 14000 70000 | 60441 54159 106 | 0.000 % |
504.54/504.89 c | 901916 | 700 14000 70000 | 60441 55432 106 | 0.000 % |
505.34/505.60 c | 903316 | 700 14000 70000 | 60441 56832 106 | 0.000 % |
506.14/506.41 c | 904856 | 700 14000 70000 | 60441 58372 106 | 0.000 % |
506.95/507.23 c | 906551 | 700 14000 70000 | 60441 60067 106 | 0.000 % |
508.05/508.34 c | 908415 | 700 14000 70000 | 60441 55862 106 | 0.000 % |
509.15/509.46 c | 910464 | 700 14000 70000 | 2147483647 57911 106 | 0.000 % |
510.34/510.61 c | 912719 | 700 14000 70000 | 2147483647 60166 106 | 0.000 % |
511.64/511.90 c | 915197 | 700 14000 70000 | 2147483647 62644 106 | 0.000 % |
513.14/513.45 c | 917922 | 700 14000 70000 | 2147483647 65369 106 | 0.000 % |
514.94/515.25 c | 920919 | 700 14000 70000 | 2147483647 68366 106 | 0.000 % |
517.14/517.43 c | 924215 | 700 14000 70000 | 2147483647 71662 106 | 0.000 % |
519.54/519.87 c | 927842 | 700 14000 70000 | 2147483647 75289 106 | 0.000 % |
522.24/522.54 c | 931832 | 700 14000 70000 | 77447 67917 106 | 0.000 % |
524.84/525.18 c | 936220 | 700 14000 70000 | 77447 72305 106 | 0.000 % |
528.03/528.37 c | 941043 | 700 14000 70000 | 76086 65861 106 | 0.000 % |
531.04/531.33 c | 946349 | 700 14000 70000 | 76086 71167 106 | 0.000 % |
534.53/534.81 c | 952184 | 700 14000 70000 | 74819 65515 105 | 0.000 % |
538.33/538.66 c | 958602 | 700 14000 70000 | 74819 71933 106 | 0.000 % |
542.63/542.95 c | 965661 | 700 14000 70000 | 73331 68065 106 | 0.000 % |
547.53/547.89 c | 973427 | 700 14000 70000 | 72404 65380 108 | 0.000 % |
553.13/553.45 c | 981967 | 700 14000 70000 | 71953 63677 108 | 0.000 % |
553.23/553.51 c | 982068 | 700 14000 70000 | 71953 63778 108 | 0.000 % |
553.23/553.58 c | 982179 | 700 14000 70000 | 71953 63889 108 | 0.000 % |
553.33/553.66 c | 982300 | 700 14000 70000 | 71953 64010 108 | 0.000 % |
553.43/553.73 c | 982433 | 700 14000 70000 | 71953 64143 108 | 0.000 % |
553.53/553.83 c | 982581 | 700 14000 70000 | 71953 64291 108 | 0.000 % |
553.63/553.94 c | 982744 | 700 14000 70000 | 71953 64454 108 | 0.000 % |
553.73/554.02 c | 982920 | 700 14000 70000 | 71953 64630 108 | 0.000 % |
553.83/554.15 c | 983115 | 700 14000 70000 | 71953 64825 108 | 0.000 % |
553.93/554.27 c | 983327 | 700 14000 70000 | 71953 65037 108 | 0.000 % |
554.13/554.41 c | 983560 | 700 14000 70000 | 71953 65270 108 | 0.000 % |
554.23/554.58 c | 983818 | 700 14000 70000 | 71953 65528 108 | 0.000 % |
554.43/554.80 c | 984101 | 700 14000 70000 | 71953 65811 108 | 0.000 % |
554.63/555.00 c | 984412 | 700 14000 70000 | 71953 66122 108 | 0.000 % |
554.93/555.21 c | 984751 | 700 14000 70000 | 71953 66461 108 | 0.000 % |
555.12/555.42 c | 985125 | 700 14000 70000 | 71953 66835 108 | 0.000 % |
555.33/555.67 c | 985534 | 700 14000 70000 | 71953 67244 108 | 0.000 % |
555.62/555.97 c | 985984 | 700 14000 70000 | 71953 67694 108 | 0.000 % |
556.02/556.30 c | 986477 | 700 14000 70000 | 71953 68187 108 | 0.000 % |
556.33/556.65 c | 987020 | 700 14000 70000 | 71953 68730 108 | 0.000 % |
556.72/557.04 c | 987617 | 700 14000 70000 | 71953 69327 107 | 0.000 % |
557.12/557.47 c | 988273 | 700 14000 70000 | 71953 69983 107 | 0.000 % |
557.62/557.92 c | 988993 | 700 14000 70000 | 71953 70703 107 | 0.000 % |
558.02/558.39 c | 989786 | 700 14000 70000 | 71953 71496 107 | 0.000 % |
558.63/558.93 c | 990658 | 700 14000 70000 | 71710 61889 107 | 0.000 % |
559.12/559.46 c | 991616 | 700 14000 70000 | 71710 62847 107 | 0.000 % |
559.73/560.02 c | 992671 | 700 14000 70000 | 71710 63902 107 | 0.000 % |
560.32/560.69 c | 993829 | 700 14000 70000 | 71710 65060 107 | 0.000 % |
561.02/561.38 c | 995104 | 700 14000 70000 | 71710 66335 107 | 0.000 % |
562.02/562.30 c | 996505 | 700 14000 70000 | 71710 67736 107 | 0.000 % |
562.92/563.24 c | 998047 | 700 14000 70000 | 71710 69278 107 | 0.000 % |
563.92/564.27 c | 999742 | 700 14000 70000 | 71710 70973 107 | 0.000 % |
565.02/565.39 c | 1001605 | 700 14000 70000 | 71231 62992 106 | 0.000 % |
566.12/566.47 c | 1003655 | 700 14000 70000 | 71231 65042 106 | 0.000 % |
567.42/567.77 c | 1005908 | 700 14000 70000 | 71231 67295 106 | 0.000 % |
568.82/569.15 c | 1008387 | 700 14000 70000 | 71231 69774 106 | 0.000 % |
570.42/570.75 c | 1011117 | 700 14000 70000 | 71387 64095 106 | 0.000 % |
572.02/572.39 c | 1014114 | 700 14000 70000 | 71387 67092 106 | 0.000 % |
573.82/574.20 c | 1017411 | 700 14000 70000 | 71387 70389 106 | 0.000 % |
576.02/576.38 c | 1021038 | 700 14000 70000 | 64697 58419 106 | 0.000 % |
578.12/578.48 c | 1025025 | 700 14000 70000 | 64697 62406 106 | 0.000 % |
580.62/580.94 c | 1029410 | 700 14000 70000 | 64697 59356 105 | 0.000 % |
583.12/583.46 c | 1034233 | 700 14000 70000 | 59948 57642 104 | 0.000 % |
585.91/586.28 c | 1039538 | 700 14000 70000 | 59948 56926 104 | 0.000 % |
588.91/589.29 c | 1045373 | 700 14000 70000 | 2147483647 62761 105 | 0.000 % |
592.52/592.83 c | 1051791 | 700 14000 70000 | 67388 62040 107 | 0.000 % |
596.62/596.99 c | 1058852 | 700 14000 70000 | 67388 61289 107 | 0.000 % |
601.22/601.59 c | 1066617 | 700 14000 70000 | 62437 61909 108 | 0.000 % |
606.32/606.61 c | 1075159 | 700 14000 70000 | 59000 58174 109 | 0.000 % |
611.92/612.28 c | 1084556 | 700 14000 70000 | 2147483647 61648 109 | 0.000 % |
612.02/612.35 c | 1084656 | 700 14000 70000 | 2147483647 61748 109 | 0.000 % |
612.11/612.42 c | 1084766 | 700 14000 70000 | 2147483647 61858 109 | 0.000 % |
612.11/612.48 c | 1084887 | 700 14000 70000 | 2147483647 61979 109 | 0.000 % |
612.21/612.57 c | 1085020 | 700 14000 70000 | 2147483647 62112 109 | 0.000 % |
612.31/612.67 c | 1085167 | 700 14000 70000 | 2147483647 62259 109 | 0.000 % |
612.42/612.77 c | 1085327 | 700 14000 70000 | 2147483647 62419 109 | 0.000 % |
612.52/612.88 c | 1085503 | 700 14000 70000 | 2147483647 62595 109 | 0.000 % |
612.71/613.00 c | 1085697 | 700 14000 70000 | 2147483647 62789 109 | 0.000 % |
612.81/613.13 c | 1085910 | 700 14000 70000 | 2147483647 63002 109 | 0.000 % |
612.91/613.27 c | 1086143 | 700 14000 70000 | 2147483647 63235 109 | 0.000 % |
613.11/613.40 c | 1086399 | 700 14000 70000 | 2147483647 63491 109 | 0.000 % |
613.21/613.59 c | 1086680 | 700 14000 70000 | 2147483647 63772 109 | 0.000 % |
613.41/613.78 c | 1086990 | 700 14000 70000 | 2147483647 64082 109 | 0.000 % |
613.71/614.02 c | 1087329 | 700 14000 70000 | 2147483647 64421 109 | 0.000 % |
613.91/614.23 c | 1087701 | 700 14000 70000 | 2147483647 64793 109 | 0.000 % |
614.11/614.48 c | 1088110 | 700 14000 70000 | 2147483647 65202 109 | 0.000 % |
614.41/614.77 c | 1088559 | 700 14000 70000 | 2147483647 65651 109 | 0.000 % |
614.81/615.12 c | 1089052 | 700 14000 70000 | 2147483647 66144 109 | 0.000 % |
615.11/615.48 c | 1089594 | 700 14000 70000 | 2147483647 66686 109 | 0.000 % |
615.51/615.85 c | 1090191 | 700 14000 70000 | 67093 67283 108 | 0.000 % |
615.91/616.23 c | 1090846 | 700 14000 70000 | 67093 59545 109 | 0.000 % |
616.21/616.60 c | 1091568 | 700 14000 70000 | 67093 60267 109 | 0.000 % |
616.71/617.07 c | 1092360 | 700 14000 70000 | 67093 61059 109 | 0.000 % |
617.21/617.55 c | 1093231 | 700 14000 70000 | 67093 61930 108 | 0.000 % |
617.71/618.06 c | 1094189 | 700 14000 70000 | 67093 62888 108 | 0.000 % |
618.31/618.67 c | 1095244 | 700 14000 70000 | 67093 63943 108 | 0.000 % |
619.11/619.42 c | 1096403 | 700 14000 70000 | 67093 65102 108 | 0.000 % |
619.91/620.21 c | 1097676 | 700 14000 70000 | 67093 66375 108 | 0.000 % |
620.71/621.02 c | 1099076 | 700 14000 70000 | 67093 59866 108 | 0.000 % |
621.51/621.84 c | 1100616 | 700 14000 70000 | 60790 54483 107 | 0.000 % |
622.31/622.64 c | 1102311 | 700 14000 70000 | 60790 56178 107 | 0.000 % |
623.20/623.56 c | 1104176 | 700 14000 70000 | 60790 58043 107 | 0.000 % |
624.30/624.60 c | 1106226 | 700 14000 70000 | 60790 60093 107 | 0.000 % |
625.50/625.90 c | 1108479 | 700 14000 70000 | 60790 56241 107 | 0.000 % |
626.81/627.10 c | 1110957 | 700 14000 70000 | 2147483647 58719 107 | 0.000 % |
628.20/628.50 c | 1113682 | 700 14000 70000 | 2147483647 61444 106 | 0.000 % |
629.90/630.21 c | 1116682 | 700 14000 70000 | 2147483647 64444 106 | 0.000 % |
631.80/632.13 c | 1119982 | 700 14000 70000 | 2147483647 67744 106 | 0.000 % |
634.00/634.37 c | 1123608 | 700 14000 70000 | 2147483647 71370 106 | 0.000 % |
636.70/637.08 c | 1127595 | 700 14000 70000 | 2147483647 75357 106 | 0.000 % |
639.60/639.93 c | 1131981 | 700 14000 70000 | 77763 67690 105 | 0.000 % |
642.40/642.78 c | 1136804 | 700 14000 70000 | 77763 72513 105 | 0.000 % |
645.70/646.08 c | 1142110 | 700 14000 70000 | 75710 65771 105 | 0.000 % |
649.39/649.76 c | 1147945 | 700 14000 70000 | 75710 71606 105 | 0.000 % |
653.39/653.73 c | 1154365 | 700 14000 70000 | 73661 67018 105 | 0.000 % |
657.99/658.33 c | 1161425 | 700 14000 70000 | 72654 63715 107 | 0.000 % |
663.09/663.40 c | 1169192 | 700 14000 70000 | 72654 71482 107 | 0.000 % |
668.39/668.76 c | 1177732 | 700 14000 70000 | 72290 70169 107 | 0.000 % |
673.99/674.39 c | 1187126 | 700 14000 70000 | 72438 69262 107 | 0.000 % |
680.48/680.89 c | 1197459 | 700 14000 70000 | 72137 69905 108 | 0.000 % |
680.59/680.96 c | 1197559 | 700 14000 70000 | 72137 70005 108 | 0.000 % |
680.69/681.04 c | 1197669 | 700 14000 70000 | 72137 70115 108 | 0.000 % |
680.78/681.11 c | 1197790 | 700 14000 70000 | 72137 70236 108 | 0.000 % |
680.88/681.21 c | 1197923 | 700 14000 70000 | 72137 70369 108 | 0.000 % |
680.98/681.31 c | 1198070 | 700 14000 70000 | 72137 70516 108 | 0.000 % |
681.08/681.44 c | 1198230 | 700 14000 70000 | 72137 70676 108 | 0.000 % |
681.18/681.57 c | 1198406 | 700 14000 70000 | 72137 70852 108 | 0.000 % |
681.38/681.73 c | 1198599 | 700 14000 70000 | 72137 71045 108 | 0.000 % |
681.58/681.91 c | 1198811 | 700 14000 70000 | 72137 71257 108 | 0.000 % |
681.69/682.06 c | 1199045 | 700 14000 70000 | 72137 71491 108 | 0.000 % |
681.88/682.26 c | 1199303 | 700 14000 70000 | 72137 71749 108 | 0.000 % |
682.08/682.47 c | 1199586 | 700 14000 70000 | 72137 72032 108 | 0.000 % |
682.28/682.69 c | 1199897 | 700 14000 70000 | 72137 72343 107 | 0.000 % |
682.58/682.93 c | 1200237 | 700 14000 70000 | 62311 62547 108 | 0.000 % |
682.79/683.15 c | 1200612 | 700 14000 70000 | 62311 54368 107 | 0.000 % |
682.98/683.36 c | 1201021 | 700 14000 70000 | 62311 54777 107 | 0.000 % |
683.18/683.58 c | 1201470 | 700 14000 70000 | 62311 55226 107 | 0.000 % |
683.48/683.81 c | 1201963 | 700 14000 70000 | 62311 55719 107 | 0.000 % |
683.68/684.08 c | 1202507 | 700 14000 70000 | 62311 56263 107 | 0.000 % |
683.99/684.39 c | 1203103 | 700 14000 70000 | 62311 56859 107 | 0.000 % |
684.38/684.74 c | 1203758 | 700 14000 70000 | 62311 57514 107 | 0.000 % |
684.78/685.12 c | 1204478 | 700 14000 70000 | 62311 58234 107 | 0.000 % |
685.18/685.51 c | 1205271 | 700 14000 70000 | 62311 59027 107 | 0.000 % |
685.58/685.95 c | 1206142 | 700 14000 70000 | 62311 59898 107 | 0.000 % |
686.08/686.47 c | 1207100 | 700 14000 70000 | 62311 60856 107 | 0.000 % |
686.58/686.99 c | 1208153 | 700 14000 70000 | 62311 61909 107 | 0.000 % |
687.28/687.65 c | 1209312 | 700 14000 70000 | 62311 56816 107 | 0.000 % |
687.98/688.31 c | 1210586 | 700 14000 70000 | 2147483647 58090 106 | 0.000 % |
688.68/689.03 c | 1211987 | 700 14000 70000 | 2147483647 59491 106 | 0.000 % |
689.48/689.83 c | 1213530 | 700 14000 70000 | 2147483647 61034 106 | 0.000 % |
690.38/690.76 c | 1215226 | 700 14000 70000 | 2147483647 62730 106 | 0.000 % |
691.38/691.76 c | 1217089 | 700 14000 70000 | 2147483647 64593 106 | 0.000 % |
692.57/692.93 c | 1219139 | 700 14000 70000 | 2147483647 66643 106 | 0.000 % |
693.78/694.18 c | 1221394 | 700 14000 70000 | 67504 61697 105 | 0.000 % |
695.17/695.53 c | 1223874 | 700 14000 70000 | 67504 64177 106 | 0.000 % |
696.77/697.13 c | 1226600 | 700 14000 70000 | 67504 66903 105 | 0.000 % |
698.47/698.89 c | 1229597 | 700 14000 70000 | 67504 62697 105 | 0.000 % |
700.38/700.71 c | 1232894 | 700 14000 70000 | 63101 59194 105 | 0.000 % |
702.37/702.78 c | 1236519 | 700 14000 70000 | 63101 62819 105 | 0.000 % |
704.47/704.86 c | 1240506 | 700 14000 70000 | 2147483647 60226 104 | 0.000 % |
706.87/707.24 c | 1244892 | 700 14000 70000 | 2147483647 64612 105 | 0.000 % |
709.77/710.19 c | 1249715 | 700 14000 70000 | 2147483647 69435 105 | 0.000 % |
712.87/713.29 c | 1255021 | 700 14000 70000 | 69722 66865 105 | 0.000 % |
716.57/716.96 c | 1260857 | 700 14000 70000 | 62909 55644 105 | 0.000 % |
720.07/720.44 c | 1267275 | 700 14000 70000 | 62909 62062 106 | 0.000 % |
724.06/724.44 c | 1274336 | 700 14000 70000 | 2147483647 62806 106 | 0.000 % |
729.26/729.62 c | 1282101 | 700 14000 70000 | 68472 62403 106 | 0.000 % |
734.76/735.16 c | 1290641 | 700 14000 70000 | 61386 54035 107 | 0.000 % |
739.96/740.32 c | 1300035 | 700 14000 70000 | 2147483647 57266 107 | 0.000 % |
745.67/746.05 c | 1310368 | 700 14000 70000 | 67231 58725 107 | 0.000 % |
752.17/752.57 c | 1321736 | 700 14000 70000 | 60219 54657 108 | 0.000 % |
752.27/752.63 c | 1321836 | 700 14000 70000 | 60219 54757 108 | 0.000 % |
752.27/752.69 c | 1321947 | 700 14000 70000 | 60219 54868 108 | 0.000 % |
752.37/752.76 c | 1322070 | 700 14000 70000 | 60219 54991 108 | 0.000 % |
752.46/752.84 c | 1322203 | 700 14000 70000 | 60219 55124 108 | 0.000 % |
752.56/752.92 c | 1322349 | 700 14000 70000 | 60219 55270 108 | 0.000 % |
752.66/753.00 c | 1322509 | 700 14000 70000 | 60219 55430 108 | 0.000 % |
752.76/753.11 c | 1322685 | 700 14000 70000 | 60219 55606 108 | 0.000 % |
752.86/753.23 c | 1322879 | 700 14000 70000 | 60219 55800 108 | 0.000 % |
752.96/753.35 c | 1323091 | 700 14000 70000 | 60219 56012 108 | 0.000 % |
753.06/753.49 c | 1323325 | 700 14000 70000 | 60219 56246 108 | 0.000 % |
753.27/753.64 c | 1323581 | 700 14000 70000 | 60219 56502 108 | 0.000 % |
753.46/753.83 c | 1323862 | 700 14000 70000 | 60219 56783 108 | 0.000 % |
753.56/753.99 c | 1324173 | 700 14000 70000 | 60219 57094 108 | 0.000 % |
753.76/754.19 c | 1324512 | 700 14000 70000 | 60219 57433 108 | 0.000 % |
754.06/754.41 c | 1324885 | 700 14000 70000 | 60219 57806 108 | 0.000 % |
754.27/754.63 c | 1325295 | 700 14000 70000 | 60219 58216 108 | 0.000 % |
754.56/754.90 c | 1325745 | 700 14000 70000 | 60219 58666 108 | 0.000 % |
754.76/755.17 c | 1326238 | 700 14000 70000 | 60219 59159 108 | 0.000 % |
755.06/755.45 c | 1326782 | 700 14000 70000 | 60219 59703 108 | 0.000 % |
755.37/755.76 c | 1327379 | 700 14000 70000 | 60219 60300 108 | 0.000 % |
755.76/756.13 c | 1328035 | 700 14000 70000 | 60219 54926 108 | 0.000 % |
756.16/756.59 c | 1328755 | 700 14000 70000 | 60219 55646 108 | 0.000 % |
756.66/757.01 c | 1329547 | 700 14000 70000 | 60219 56438 108 | 0.000 % |
757.06/757.47 c | 1330419 | 700 14000 70000 | 2147483647 57310 108 | 0.000 % |
757.66/758.02 c | 1331377 | 700 14000 70000 | 2147483647 58268 108 | 0.000 % |
758.16/758.57 c | 1332430 | 700 14000 70000 | 2147483647 59321 107 | 0.000 % |
758.76/759.19 c | 1333588 | 700 14000 70000 | 2147483647 60479 107 | 0.000 % |
759.56/759.90 c | 1334861 | 700 14000 70000 | 2147483647 61752 107 | 0.000 % |
760.26/760.69 c | 1336265 | 700 14000 70000 | 2147483647 63156 107 | 0.000 % |
761.16/761.57 c | 1337805 | 700 14000 70000 | 2147483647 64696 107 | 0.000 % |
762.16/762.53 c | 1339501 | 700 14000 70000 | 2147483647 66392 107 | 0.000 % |
763.26/763.66 c | 1341364 | 700 14000 70000 | 66893 60995 107 | 0.000 % |
764.35/764.73 c | 1343414 | 700 14000 70000 | 66893 63045 107 | 0.000 % |
765.65/766.03 c | 1345667 | 700 14000 70000 | 66893 65298 107 | 0.000 % |
767.05/767.45 c | 1348145 | 700 14000 70000 | 66893 60368 106 | 0.000 % |
768.45/768.83 c | 1350870 | 700 14000 70000 | 62223 56665 107 | 0.000 % |
770.05/770.42 c | 1353868 | 700 14000 70000 | 62223 59663 107 | 0.000 % |
771.86/772.23 c | 1357166 | 700 14000 70000 | 62223 56716 107 | 0.000 % |
773.85/774.20 c | 1360791 | 700 14000 70000 | 2147483647 60341 107 | 0.000 % |
776.05/776.45 c | 1364780 | 700 14000 70000 | 2147483647 64330 108 | 0.000 % |
778.55/778.99 c | 1369167 | 700 14000 70000 | 2147483647 68717 108 | 0.000 % |
781.55/781.94 c | 1373992 | 700 14000 70000 | 69550 65933 107 | 0.000 % |
784.85/785.24 c | 1379297 | 700 14000 70000 | 69550 62596 106 | 0.000 % |
788.05/788.45 c | 1385134 | 700 14000 70000 | 63300 60856 107 | 0.000 % |
791.65/792.05 c | 1391555 | 700 14000 70000 | 2147483647 60923 107 | 0.000 % |
795.54/795.96 c | 1398615 | 700 14000 70000 | 2147483647 67983 107 | 0.000 % |
799.74/800.18 c | 1406379 | 700 14000 70000 | 69368 66781 109 | 0.000 % |
804.64/805.09 c | 1414921 | 700 14000 70000 | 61375 58422 110 | 0.000 % |
809.94/810.31 c | 1424316 | 700 14000 70000 | 2147483647 61481 109 | 0.000 % |
816.74/817.14 c | 1434651 | 700 14000 70000 | 67166 64231 111 | 0.000 % |
823.93/824.36 c | 1446017 | 700 14000 70000 | 61174 59652 112 | 0.000 % |
830.03/830.46 c | 1458520 | 700 14000 70000 | 56643 53555 111 | 0.000 % |
830.13/830.51 c | 1458621 | 700 14000 70000 | 56643 53656 111 | 0.000 % |
830.13/830.56 c | 1458731 | 700 14000 70000 | 56643 53766 111 | 0.000 % |
830.23/830.62 c | 1458852 | 700 14000 70000 | 56643 53887 111 | 0.000 % |
830.23/830.69 c | 1458987 | 700 14000 70000 | 56643 54022 111 | 0.000 % |
830.33/830.78 c | 1459133 | 700 14000 70000 | 56643 54168 111 | 0.000 % |
830.43/830.88 c | 1459293 | 700 14000 70000 | 56643 54328 111 | 0.000 % |
830.53/830.98 c | 1459470 | 700 14000 70000 | 56643 54505 111 | 0.000 % |
830.73/831.10 c | 1459666 | 700 14000 70000 | 56643 54701 111 | 0.000 % |
830.83/831.22 c | 1459878 | 700 14000 70000 | 56643 54913 111 | 0.000 % |
830.93/831.35 c | 1460111 | 700 14000 70000 | 2147483647 55146 111 | 0.000 % |
831.03/831.47 c | 1460368 | 700 14000 70000 | 2147483647 55403 111 | 0.000 % |
831.23/831.62 c | 1460649 | 700 14000 70000 | 2147483647 55684 111 | 0.000 % |
831.42/831.80 c | 1460960 | 700 14000 70000 | 2147483647 55995 111 | 0.000 % |
831.52/831.97 c | 1461301 | 700 14000 70000 | 2147483647 56336 111 | 0.000 % |
831.72/832.18 c | 1461675 | 700 14000 70000 | 2147483647 56710 110 | 0.000 % |
831.92/832.38 c | 1462085 | 700 14000 70000 | 2147483647 57120 110 | 0.000 % |
832.22/832.64 c | 1462535 | 700 14000 70000 | 2147483647 57570 110 | 0.000 % |
832.52/832.93 c | 1463028 | 700 14000 70000 | 2147483647 58063 110 | 0.000 % |
832.82/833.25 c | 1463570 | 700 14000 70000 | 2147483647 58605 110 | 0.000 % |
833.22/833.60 c | 1464167 | 700 14000 70000 | 2147483647 59202 110 | 0.000 % |
833.53/833.99 c | 1464822 | 700 14000 70000 | 2147483647 59857 110 | 0.000 % |
833.92/834.37 c | 1465542 | 700 14000 70000 | 2147483647 60577 110 | 0.000 % |
834.42/834.84 c | 1466335 | 700 14000 70000 | 2147483647 61370 110 | 0.000 % |
834.92/835.35 c | 1467206 | 700 14000 70000 | 2147483647 62241 110 | 0.000 % |
835.42/835.89 c | 1468164 | 700 14000 70000 | 2147483647 63199 110 | 0.000 % |
836.12/836.51 c | 1469218 | 700 14000 70000 | 2147483647 64253 110 | 0.000 % |
836.73/837.15 c | 1470376 | 700 14000 70000 | 2147483647 65411 109 | 0.000 % |
837.42/837.87 c | 1471650 | 700 14000 70000 | 2147483647 66685 109 | 0.000 % |
838.32/838.71 c | 1473051 | 700 14000 70000 | 2147483647 68086 109 | 0.000 % |
839.32/839.75 c | 1474592 | 700 14000 70000 | 2147483647 69627 109 | 0.000 % |
840.42/840.83 c | 1476289 | 700 14000 70000 | 2147483647 71324 109 | 0.000 % |
841.62/842.01 c | 1478152 | 700 14000 70000 | 2147483647 73187 109 | 0.000 % |
842.93/843.32 c | 1480201 | 700 14000 70000 | 75035 75236 109 | 0.000 % |
844.13/844.60 c | 1482455 | 700 14000 70000 | 75035 66607 108 | 0.000 % |
845.63/846.06 c | 1484934 | 700 14000 70000 | 75035 69086 108 | 0.000 % |
847.33/847.75 c | 1487660 | 700 14000 70000 | 75035 71812 108 | 0.000 % |
849.23/849.66 c | 1490657 | 700 14000 70000 | 74152 64313 107 | 0.000 % |
851.13/851.53 c | 1493954 | 700 14000 70000 | 74152 67610 107 | 0.000 % |
853.33/853.73 c | 1497579 | 700 14000 70000 | 74152 71235 107 | 0.000 % |
855.72/856.18 c | 1501567 | 700 14000 70000 | 73656 64487 105 | 0.000 % |
858.52/858.90 c | 1505952 | 700 14000 70000 | 73656 68872 105 | 0.000 % |
861.72/862.11 c | 1510777 | 700 14000 70000 | 72920 62721 104 | 0.000 % |
864.72/865.17 c | 1516083 | 700 14000 70000 | 72920 68027 105 | 0.000 % |
868.52/868.95 c | 1521918 | 700 14000 70000 | 71945 63508 104 | 0.000 % |
872.52/872.92 c | 1528336 | 700 14000 70000 | 71945 69926 104 | 0.000 % |
877.02/877.46 c | 1535396 | 700 14000 70000 | 71591 66718 105 | 0.000 % |
881.92/882.39 c | 1543160 | 700 14000 70000 | 71322 64609 106 | 0.000 % |
888.01/888.44 c | 1551701 | 700 14000 70000 | 71452 62975 106 | 0.000 % |
893.81/894.25 c | 1561095 | 700 14000 70000 | 71275 62236 106 | 0.000 % |
899.91/900.33 c | 1571428 | 700 14000 70000 | 71141 62381 107 | 0.000 % |
906.81/907.23 c | 1582794 | 700 14000 70000 | 70954 63266 107 | 0.000 % |
914.71/915.18 c | 1595298 | 700 14000 70000 | 70473 65819 107 | 0.000 % |
924.20/924.65 c | 1609050 | 700 14000 70000 | 70521 69432 107 | 0.000 % |
924.30/924.73 c | 1609151 | 700 14000 70000 | 70521 69533 107 | 0.000 % |
924.40/924.80 c | 1609262 | 700 14000 70000 | 70521 69644 107 | 0.000 % |
924.40/924.89 c | 1609384 | 700 14000 70000 | 70521 69766 107 | 0.000 % |
924.50/924.98 c | 1609518 | 700 14000 70000 | 70521 69900 107 | 0.000 % |
924.60/925.10 c | 1609666 | 700 14000 70000 | 70521 70048 107 | 0.000 % |
924.81/925.20 c | 1609826 | 700 14000 70000 | 70521 70208 107 | 0.000 % |
924.90/925.32 c | 1610002 | 700 14000 70000 | 70383 70384 107 | 0.000 % |
925.10/925.51 c | 1610195 | 700 14000 70000 | 70383 59502 107 | 0.000 % |
925.20/925.63 c | 1610407 | 700 14000 70000 | 70383 59714 107 | 0.000 % |
925.30/925.77 c | 1610640 | 700 14000 70000 | 70383 59947 106 | 0.000 % |
925.50/925.92 c | 1610898 | 700 14000 70000 | 70383 60205 106 | 0.000 % |
925.60/926.08 c | 1611181 | 700 14000 70000 | 70383 60488 106 | 0.000 % |
925.80/926.24 c | 1611490 | 700 14000 70000 | 70383 60797 106 | 0.000 % |
926.00/926.42 c | 1611834 | 700 14000 70000 | 70383 61141 106 | 0.000 % |
926.20/926.63 c | 1612208 | 700 14000 70000 | 70383 61515 106 | 0.000 % |
926.40/926.86 c | 1612617 | 700 14000 70000 | 70383 61924 106 | 0.000 % |
926.70/927.11 c | 1613069 | 700 14000 70000 | 70383 62376 106 | 0.000 % |
927.00/927.46 c | 1613562 | 700 14000 70000 | 70383 62869 106 | 0.000 % |
927.40/927.83 c | 1614106 | 700 14000 70000 | 70383 63413 106 | 0.000 % |
927.70/928.19 c | 1614702 | 700 14000 70000 | 70383 64009 106 | 0.000 % |
928.10/928.57 c | 1615357 | 700 14000 70000 | 70383 64664 106 | 0.000 % |
928.60/929.01 c | 1616077 | 700 14000 70000 | 70383 65384 106 | 0.000 % |
929.10/929.54 c | 1616869 | 700 14000 70000 | 70383 66176 106 | 0.000 % |
929.60/930.08 c | 1617740 | 700 14000 70000 | 70383 67047 106 | 0.000 % |
930.20/930.64 c | 1618699 | 700 14000 70000 | 70383 68006 106 | 0.000 % |
930.90/931.33 c | 1619752 | 700 14000 70000 | 70383 69059 106 | 0.000 % |
931.60/932.05 c | 1620910 | 700 14000 70000 | 69308 60577 106 | 0.000 % |
932.30/932.76 c | 1622184 | 700 14000 70000 | 69308 61851 106 | 0.000 % |
933.20/933.62 c | 1623586 | 700 14000 70000 | 69308 63253 106 | 0.000 % |
934.20/934.61 c | 1625130 | 700 14000 70000 | 69308 64797 106 | 0.000 % |
935.10/935.58 c | 1626824 | 700 14000 70000 | 69308 66491 106 | 0.000 % |
936.20/936.66 c | 1628687 | 700 14000 70000 | 69308 68354 106 | 0.000 % |
937.49/937.92 c | 1630737 | 700 14000 70000 | 60828 53913 106 | 0.000 % |
938.59/939.00 c | 1632992 | 700 14000 70000 | 60828 56168 106 | 0.000 % |
939.79/940.24 c | 1635470 | 700 14000 70000 | 60828 58646 106 | 0.000 % |
941.20/941.68 c | 1638196 | 700 14000 70000 | 60828 55264 105 | 0.000 % |
942.79/943.26 c | 1641193 | 700 14000 70000 | 2147483647 58261 105 | 0.000 % |
944.69/945.11 c | 1644490 | 700 14000 70000 | 2147483647 61558 105 | 0.000 % |
946.80/947.27 c | 1648115 | 700 14000 70000 | 2147483647 65183 105 | 0.000 % |
948.99/949.49 c | 1652102 | 700 14000 70000 | 67070 62089 105 | 0.000 % |
951.59/952.04 c | 1656487 | 700 14000 70000 | 67070 66474 105 | 0.000 % |
954.19/954.66 c | 1661310 | 700 14000 70000 | 62719 57565 104 | 0.000 % |
957.19/957.62 c | 1666616 | 700 14000 70000 | 62719 62871 105 | 0.000 % |
960.59/961.01 c | 1672451 | 700 14000 70000 | 2147483647 62419 105 | 0.000 % |
964.49/964.94 c | 1678869 | 700 14000 70000 | 2147483647 68837 106 | 0.000 % |
969.18/969.61 c | 1685930 | 700 14000 70000 | 69968 66930 107 | 0.000 % |
973.68/974.11 c | 1693696 | 700 14000 70000 | 61333 56781 108 | 0.000 % |
978.48/979.00 c | 1702237 | 700 14000 70000 | 2147483647 59165 108 | 0.000 % |
984.38/984.81 c | 1711631 | 700 14000 70000 | 2147483647 68559 108 | 0.000 % |
991.59/992.02 c | 1721965 | 700 14000 70000 | 76929 67790 108 | 0.000 % |
999.88/1000.32 c | 1733331 | 700 14000 70000 | 75825 66849 108 | 0.000 % |
1009.18/1009.67 c | 1745833 | 700 14000 70000 | 73519 67152 107 | 0.000 % |
1019.28/1019.74 c | 1759585 | 700 14000 70000 | 71319 69325 107 | 0.000 % |
1026.68/1027.16 c | 1774714 | 700 14000 70000 | 69062 64145 108 | 0.000 % |
1026.77/1027.21 c | 1774816 | 700 14000 70000 | 69062 64247 108 | 0.000 % |
1026.77/1027.28 c | 1774927 | 700 14000 70000 | 69062 64358 108 | 0.000 % |
1026.87/1027.35 c | 1775048 | 700 14000 70000 | 69062 64479 108 | 0.000 % |
1026.98/1027.43 c | 1775181 | 700 14000 70000 | 69062 64612 108 | 0.000 % |
1027.08/1027.52 c | 1775329 | 700 14000 70000 | 69062 64760 108 | 0.000 % |
1027.17/1027.61 c | 1775490 | 700 14000 70000 | 69062 64921 108 | 0.000 % |
1027.27/1027.73 c | 1775666 | 700 14000 70000 | 69062 65097 108 | 0.000 % |
1027.37/1027.88 c | 1775860 | 700 14000 70000 | 69062 65291 108 | 0.000 % |
1027.57/1028.01 c | 1776072 | 700 14000 70000 | 69062 65503 108 | 0.000 % |
1027.67/1028.17 c | 1776306 | 700 14000 70000 | 69062 65737 108 | 0.000 % |
1027.87/1028.33 c | 1776562 | 700 14000 70000 | 69062 65993 108 | 0.000 % |
1028.08/1028.52 c | 1776845 | 700 14000 70000 | 69062 66276 108 | 0.000 % |
1028.27/1028.71 c | 1777155 | 700 14000 70000 | 69062 66586 108 | 0.000 % |
1028.47/1028.93 c | 1777495 | 700 14000 70000 | 69062 66926 108 | 0.000 % |
1028.67/1029.17 c | 1777868 | 700 14000 70000 | 69062 67299 108 | 0.000 % |
1028.97/1029.41 c | 1778278 | 700 14000 70000 | 69062 67709 108 | 0.000 % |
1029.18/1029.68 c | 1778729 | 700 14000 70000 | 69062 68160 108 | 0.000 % |
1029.47/1029.98 c | 1779222 | 700 14000 70000 | 69062 68653 108 | 0.000 % |
1029.87/1030.33 c | 1779765 | 700 14000 70000 | 69062 69196 107 | 0.000 % |
1030.28/1030.75 c | 1780361 | 700 14000 70000 | 59672 51834 108 | 0.000 % |
1030.57/1031.06 c | 1781016 | 700 14000 70000 | 59672 52489 108 | 0.000 % |
1030.97/1031.44 c | 1781736 | 700 14000 70000 | 59672 53209 108 | 0.000 % |
1031.38/1031.85 c | 1782530 | 700 14000 70000 | 59672 54003 108 | 0.000 % |
1031.77/1032.30 c | 1783401 | 700 14000 70000 | 59672 54874 108 | 0.000 % |
1032.37/1032.84 c | 1784361 | 700 14000 70000 | 59672 55834 107 | 0.000 % |
1032.97/1033.43 c | 1785416 | 700 14000 70000 | 59672 56889 107 | 0.000 % |
1033.57/1034.03 c | 1786574 | 700 14000 70000 | 59672 58047 108 | 0.000 % |
1034.27/1034.73 c | 1787848 | 700 14000 70000 | 59672 59321 108 | 0.000 % |
1034.97/1035.45 c | 1789250 | 700 14000 70000 | 59672 54734 107 | 0.000 % |
1035.67/1036.19 c | 1790790 | 700 14000 70000 | 2147483647 56274 107 | 0.000 % |
1036.57/1037.07 c | 1792487 | 700 14000 70000 | 2147483647 57971 107 | 0.000 % |
1037.67/1038.10 c | 1794350 | 700 14000 70000 | 2147483647 59834 107 | 0.000 % |
1038.67/1039.16 c | 1796399 | 700 14000 70000 | 2147483647 61883 107 | 0.000 % |
1039.97/1040.49 c | 1798653 | 700 14000 70000 | 2147483647 64137 107 | 0.000 % |
1041.57/1042.00 c | 1801132 | 700 14000 70000 | 2147483647 66616 107 | 0.000 % |
1043.07/1043.52 c | 1803857 | 700 14000 70000 | 2147483647 69341 107 | 0.000 % |
1044.87/1045.32 c | 1806854 | 700 14000 70000 | 2147483647 72338 107 | 0.000 % |
1046.77/1047.23 c | 1810152 | 700 14000 70000 | 75485 75636 107 | 0.000 % |
1048.86/1049.40 c | 1813777 | 700 14000 70000 | 75485 68972 107 | 0.000 % |
1051.36/1051.81 c | 1817766 | 700 14000 70000 | 75485 72961 107 | 0.000 % |
1054.26/1054.71 c | 1822151 | 700 14000 70000 | 75195 66542 107 | 0.000 % |
1057.16/1057.68 c | 1826974 | 700 14000 70000 | 75195 71365 107 | 0.000 % |
1060.46/1060.92 c | 1832279 | 700 14000 70000 | 74393 65980 107 | 0.000 % |
1064.36/1064.87 c | 1838116 | 700 14000 70000 | 74393 71817 107 | 0.000 % |
1068.46/1068.95 c | 1844534 | 700 14000 70000 | 73701 67553 108 | 0.000 % |
1072.56/1073.01 c | 1851593 | 700 14000 70000 | 73019 63698 109 | 0.000 % |
1076.96/1077.48 c | 1859357 | 700 14000 70000 | 73019 71462 109 | 0.000 % |
1081.75/1082.29 c | 1867897 | 700 14000 70000 | 72107 69629 109 | 0.000 % |
1087.75/1088.23 c | 1877291 | 700 14000 70000 | 71733 69570 110 | 0.000 % |
1093.65/1094.15 c | 1887628 | 700 14000 70000 | 62034 61043 110 | 0.000 % |
1100.55/1101.04 c | 1898994 | 700 14000 70000 | 2147483647 66144 109 | 0.000 % |
1108.25/1108.75 c | 1911497 | 700 14000 70000 | 60548 54012 109 | 0.000 % |
1116.64/1117.17 c | 1925249 | 700 14000 70000 | 55839 55088 110 | 0.000 % |
1125.95/1126.46 c | 1940376 | 700 14000 70000 | 64230 57344 111 | 0.000 % |
1136.94/1137.46 c | 1957017 | 700 14000 70000 | 58888 58545 111 | 0.000 % |
1137.04/1137.52 c | 1957118 | 700 14000 70000 | 58888 58646 111 | 0.000 % |
1137.04/1137.58 c | 1957228 | 700 14000 70000 | 58888 58756 111 | 0.000 % |
1137.13/1137.65 c | 1957350 | 700 14000 70000 | 58888 58878 111 | 0.000 % |
1137.23/1137.75 c | 1957484 | 700 14000 70000 | 58888 59012 111 | 0.000 % |
1137.33/1137.87 c | 1957630 | 700 14000 70000 | 58888 51885 111 | 0.000 % |
1137.43/1137.94 c | 1957790 | 700 14000 70000 | 58888 52045 111 | 0.000 % |
1137.53/1138.03 c | 1957967 | 700 14000 70000 | 58888 52222 111 | 0.000 % |
1137.63/1138.13 c | 1958160 | 700 14000 70000 | 58888 52415 111 | 0.000 % |
1137.73/1138.25 c | 1958375 | 700 14000 70000 | 58888 52630 111 | 0.000 % |
1137.83/1138.36 c | 1958609 | 700 14000 70000 | 58888 52864 111 | 0.000 % |
1137.93/1138.49 c | 1958865 | 700 14000 70000 | 58888 53120 111 | 0.000 % |
1138.14/1138.62 c | 1959146 | 700 14000 70000 | 58888 53401 110 | 0.000 % |
1138.23/1138.79 c | 1959455 | 700 14000 70000 | 58888 53710 110 | 0.000 % |
1138.43/1138.99 c | 1959797 | 700 14000 70000 | 58888 54052 110 | 0.000 % |
1138.63/1139.19 c | 1960169 | 700 14000 70000 | 54255 54424 110 | 0.000 % |
1138.93/1139.45 c | 1960579 | 700 14000 70000 | 54255 48916 110 | 0.000 % |
1139.13/1139.66 c | 1961028 | 700 14000 70000 | 54255 49365 110 | 0.000 % |
1139.33/1139.88 c | 1961521 | 700 14000 70000 | 54255 49858 110 | 0.000 % |
1139.63/1140.14 c | 1962065 | 700 14000 70000 | 54255 50402 110 | 0.000 % |
1139.93/1140.42 c | 1962662 | 700 14000 70000 | 54255 50999 110 | 0.000 % |
1140.13/1140.69 c | 1963317 | 700 14000 70000 | 54255 51654 110 | 0.000 % |
1140.53/1141.05 c | 1964038 | 700 14000 70000 | 54255 52375 109 | 0.000 % |
1140.93/1141.44 c | 1964831 | 700 14000 70000 | 54255 53168 109 | 0.000 % |
1141.33/1141.86 c | 1965702 | 700 14000 70000 | 54255 54039 109 | 0.000 % |
1141.83/1142.36 c | 1966661 | 700 14000 70000 | 54255 49552 109 | 0.000 % |
1142.33/1142.87 c | 1967720 | 700 14000 70000 | 54255 50611 108 | 0.000 % |
1142.93/1143.48 c | 1968879 | 700 14000 70000 | 54255 51770 108 | 0.000 % |
1143.53/1144.10 c | 1970153 | 700 14000 70000 | 2147483647 53044 108 | 0.000 % |
1144.33/1144.88 c | 1971555 | 700 14000 70000 | 2147483647 54446 108 | 0.000 % |
1145.13/1145.69 c | 1973096 | 700 14000 70000 | 2147483647 55987 108 | 0.000 % |
1146.03/1146.55 c | 1974791 | 700 14000 70000 | 2147483647 57682 108 | 0.000 % |
1146.93/1147.48 c | 1976654 | 700 14000 70000 | 2147483647 59545 108 | 0.000 % |
1148.03/1148.58 c | 1978704 | 700 14000 70000 | 2147483647 61595 108 | 0.000 % |
1149.32/1149.84 c | 1980957 | 700 14000 70000 | 2147483647 63848 108 | 0.000 % |
1150.72/1151.26 c | 1983435 | 700 14000 70000 | 2147483647 66326 108 | 0.000 % |
1152.43/1152.97 c | 1986160 | 700 14000 70000 | 2147483647 69051 108 | 0.000 % |
1154.53/1155.01 c | 1989157 | 700 14000 70000 | 2147483647 72048 108 | 0.000 % |
1156.42/1156.98 c | 1992453 | 700 14000 70000 | 72891 67132 108 | 0.000 % |
1158.72/1159.25 c | 1996081 | 700 14000 70000 | 72891 70760 107 | 0.000 % |
1161.22/1161.72 c | 2000069 | 700 14000 70000 | 65086 65155 106 | 0.000 % |
1163.52/1164.00 c | 2004454 | 700 14000 70000 | 65086 60886 105 | 0.000 % |
1166.12/1166.61 c | 2009278 | 700 14000 70000 | 65086 58869 105 | 0.000 % |
1169.02/1169.55 c | 2014583 | 700 14000 70000 | 59591 57994 105 | 0.000 % |
1172.02/1172.57 c | 2020419 | 700 14000 70000 | 2147483647 57844 106 | 0.000 % |
1175.72/1176.25 c | 2026839 | 700 14000 70000 | 2147483647 64264 106 | 0.000 % |
1180.12/1180.60 c | 2033899 | 700 14000 70000 | 2147483647 71324 106 | 0.000 % |
1185.01/1185.50 c | 2041665 | 700 14000 70000 | 77425 68062 107 | 0.000 % |
1190.71/1191.28 c | 2050206 | 700 14000 70000 | 76397 76603 107 | 0.000 % |
1197.11/1197.69 c | 2059601 | 700 14000 70000 | 76397 73416 108 | 0.000 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1832527-1242781389/watcher-1832527-1242781389 -o /tmp/evaluation-result-1832527-1242781389/solver-1832527-1242781389 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832527-1242781389.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 17496
/proc/meminfo: memFree=1871648/2055920 swapFree=4179480/4192956
[pid=17496] ppid=17494 vsize=5356 CPUtime=0
/proc/17496/stat : 17496 (SatELiteGTI) R 17494 17496 17328 0 -1 4194304 292 249 0 0 0 0 0 0 18 0 1 0 306166155 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 226238196383 0 65538 4100 65536 0 0 0 17 0 0 0
/proc/17496/statm: 1339 237 197 169 0 50 0
[startup+0.11045 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 17496
/proc/meminfo: memFree=1871648/2055920 swapFree=4179480/4192956
[pid=17496] ppid=17494 vsize=5356 CPUtime=0.03
/proc/17496/stat : 17496 (SatELiteGTI) S 17494 17496 17328 0 -1 4194304 336 650 0 0 0 0 3 0 16 0 1 0 306166155 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17496/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5356
[startup+0.20246 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 17496
/proc/meminfo: memFree=1871648/2055920 swapFree=4179480/4192956
[pid=17496] ppid=17494 vsize=5356 CPUtime=0.03
/proc/17496/stat : 17496 (SatELiteGTI) S 17494 17496 17328 0 -1 4194304 336 650 0 0 0 0 3 0 16 0 1 0 306166155 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17496/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5356
[startup+0.302468 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 17496
/proc/meminfo: memFree=1871648/2055920 swapFree=4179480/4192956
[pid=17496] ppid=17494 vsize=5356 CPUtime=0.03
/proc/17496/stat : 17496 (SatELiteGTI) S 17494 17496 17328 0 -1 4194304 336 650 0 0 0 0 3 0 16 0 1 0 306166155 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17496/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5356
[startup+0.702504 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 17496
/proc/meminfo: memFree=1871648/2055920 swapFree=4179480/4192956
[pid=17496] ppid=17494 vsize=5356 CPUtime=0.03
/proc/17496/stat : 17496 (SatELiteGTI) S 17494 17496 17328 0 -1 4194304 336 650 0 0 0 0 3 0 16 0 1 0 306166155 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17496/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5356
[startup+1.50157 s]
/proc/loadavg: 0.92 0.98 0.99 2/66 17502
/proc/meminfo: memFree=1867792/2055920 swapFree=4179480/4192956
[pid=17496] ppid=17494 vsize=5356 CPUtime=0.03
/proc/17496/stat : 17496 (SatELiteGTI) S 17494 17496 17328 0 -1 4194304 336 650 0 0 0 0 3 0 16 0 1 0 306166155 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17496/statm: 1339 239 197 169 0 50 0
[pid=17502] ppid=17496 vsize=6036 CPUtime=1.43
/proc/17502/stat : 17502 (minisat_static) R 17496 17496 17328 0 -1 4194304 1224 0 0 0 143 0 0 0 25 0 1 0 306166159 6180864 1210 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/17502/statm: 1509 1210 77 171 0 1336 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 11392
[startup+3.10171 s]
/proc/loadavg: 0.92 0.98 0.99 2/66 17502
/proc/meminfo: memFree=1864400/2055920 swapFree=4179480/4192956
[pid=17496] ppid=17494 vsize=5356 CPUtime=0.03
/proc/17496/stat : 17496 (SatELiteGTI) S 17494 17496 17328 0 -1 4194304 336 650 0 0 0 0 3 0 16 0 1 0 306166155 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17496/statm: 1339 239 197 169 0 50 0
[pid=17502] ppid=17496 vsize=10060 CPUtime=3.03
/proc/17502/stat : 17502 (minisat_static) R 17496 17496 17328 0 -1 4194304 2230 0 0 0 302 1 0 0 25 0 1 0 306166159 10301440 2216 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17502/statm: 2515 2216 77 171 0 2342 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 15416
[startup+6.30199 s]
/proc/loadavg: 0.93 0.98 0.99 2/66 17502
/proc/meminfo: memFree=1858000/2055920 swapFree=4179480/4192956
[pid=17496] ppid=17494 vsize=5356 CPUtime=0.03
/proc/17496/stat : 17496 (SatELiteGTI) S 17494 17496 17328 0 -1 4194304 336 650 0 0 0 0 3 0 16 0 1 0 306166155 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17496/statm: 1339 239 197 169 0 50 0
[pid=17502] ppid=17496 vsize=15372 CPUtime=6.23
/proc/17502/stat : 17502 (minisat_static) R 17496 17496 17328 0 -1 4194304 3548 0 0 0 621 2 0 0 25 0 1 0 306166159 15740928 3534 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17502/statm: 3843 3534 77 171 0 3670 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 20728
[startup+12.7015 s]
/proc/loadavg: 0.93 0.98 0.99 2/66 17502
/proc/meminfo: memFree=1850192/2055920 swapFree=4179480/4192956
[pid=17496] ppid=17494 vsize=5356 CPUtime=0.03
/proc/17496/stat : 17496 (SatELiteGTI) S 17494 17496 17328 0 -1 4194304 336 650 0 0 0 0 3 0 16 0 1 0 306166155 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17496/statm: 1339 239 197 169 0 50 0
[pid=17502] ppid=17496 vsize=22448 CPUtime=12.63
/proc/17502/stat : 17502 (minisat_static) R 17496 17496 17328 0 -1 4194304 5328 0 0 0 1259 4 0 0 25 0 1 0 306166159 22986752 5314 1992294400 134512640 135215339 4294956240 18446744073709551615 134528779 0 0 4096 3 0 0 0 17 1 0 0
/proc/17502/statm: 5612 5314 77 171 0 5439 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 27804
[startup+25.5017 s]
/proc/loadavg: 0.95 0.98 0.99 2/66 17502
/proc/meminfo: memFree=1839888/2055920 swapFree=4179480/4192956
[pid=17496] ppid=17494 vsize=5356 CPUtime=0.03
/proc/17496/stat : 17496 (SatELiteGTI) S 17494 17496 17328 0 -1 4194304 336 650 0 0 0 0 3 0 16 0 1 0 306166155 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17496/statm: 1339 239 197 169 0 50 0
[pid=17502] ppid=17496 vsize=32336 CPUtime=25.41
/proc/17502/stat : 17502 (minisat_static) R 17496 17496 17328 0 -1 4194304 7797 0 0 0 2535 6 0 0 25 0 1 0 306166159 33112064 7783 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/17502/statm: 8084 7783 77 171 0 7911 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 37692
[startup+51.1019 s]
/proc/loadavg: 0.96 0.98 0.99 2/66 17502
/proc/meminfo: memFree=1837648/2055920 swapFree=4179480/4192956
[pid=17496] ppid=17494 vsize=5356 CPUtime=0.03
/proc/17496/stat : 17496 (SatELiteGTI) S 17494 17496 17328 0 -1 4194304 336 650 0 0 0 0 3 0 16 0 1 0 306166155 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17496/statm: 1339 239 197 169 0 50 0
[pid=17502] ppid=17496 vsize=34448 CPUtime=50.99
/proc/17502/stat : 17502 (minisat_static) R 17496 17496 17328 0 -1 4194304 8320 0 0 0 5092 7 0 0 25 0 1 0 306166159 35274752 8306 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17502/statm: 8612 8306 77 171 0 8439 0
Current children cumulated CPU time (s) 51.02
Current children cumulated vsize (KiB) 39804
[startup+102.301 s]
/proc/loadavg: 0.98 0.98 0.99 2/66 17502
/proc/meminfo: memFree=1835856/2055920 swapFree=4179480/4192956
[pid=17496] ppid=17494 vsize=5356 CPUtime=0.03
/proc/17496/stat : 17496 (SatELiteGTI) S 17494 17496 17328 0 -1 4194304 336 650 0 0 0 0 3 0 16 0 1 0 306166155 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17496/statm: 1339 239 197 169 0 50 0
[pid=17502] ppid=17496 vsize=36164 CPUtime=102.17
/proc/17502/stat : 17502 (minisat_static) R 17496 17496 17328 0 -1 4194304 8745 0 0 0 10209 8 0 0 25 0 1 0 306166159 37031936 8731 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/17502/statm: 9041 8731 77 171 0 8868 0
Current children cumulated CPU time (s) 102.2
Current children cumulated vsize (KiB) 41520
[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 17502
/proc/meminfo: memFree=1834448/2055920 swapFree=4179480/4192956
[pid=17496] ppid=17494 vsize=5356 CPUtime=0.03
/proc/17496/stat : 17496 (SatELiteGTI) S 17494 17496 17328 0 -1 4194304 336 650 0 0 0 0 3 0 16 0 1 0 306166155 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17496/statm: 1339 239 197 169 0 50 0
[pid=17502] ppid=17496 vsize=37484 CPUtime=162.14
/proc/17502/stat : 17502 (minisat_static) R 17496 17496 17328 0 -1 4194304 9073 0 0 0 16205 9 0 0 25 0 1 0 306166159 38383616 9059 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/17502/statm: 9371 9059 77 171 0 9198 0
Current children cumulated CPU time (s) 162.17
Current children cumulated vsize (KiB) 42840
[startup+222.306 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 17502
/proc/meminfo: memFree=1834384/2055920 swapFree=4179480/4192956
[pid=17496] ppid=17494 vsize=5356 CPUtime=0.03
/proc/17496/stat : 17496 (SatELiteGTI) S 17494 17496 17328 0 -1 4194304 336 650 0 0 0 0 3 0 16 0 1 0 306166155 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17496/statm: 1339 239 197 169 0 50 0
[pid=17502] ppid=17496 vsize=37360 CPUtime=222.11
/proc/17502/stat : 17502 (minisat_static) R 17496 17496 17328 0 -1 4194304 9073 0 0 0 22202 9 0 0 25 0 1 0 306166159 38256640 9050 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17502/statm: 9340 9050 77 171 0 9167 0
Current children cumulated CPU time (s) 222.14
Current children cumulated vsize (KiB) 42716
[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 17502
/proc/meminfo: memFree=1834320/2055920 swapFree=4179480/4192956
[pid=17496] ppid=17494 vsize=5356 CPUtime=0.03
/proc/17496/stat : 17496 (SatELiteGTI) S 17494 17496 17328 0 -1 4194304 336 650 0 0 0 0 3 0 16 0 1 0 306166155 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17496/statm: 1339 239 197 169 0 50 0
[pid=17502] ppid=17496 vsize=37352 CPUtime=282.08
/proc/17502/stat : 17502 (minisat_static) R 17496 17496 17328 0 -1 4194304 9073 0 0 0 28199 9 0 0 25 0 1 0 306166159 38248448 9048 1992294400 134512640 135215339 4294956240 18446744073709551615 134528673 0 0 4096 3 0 0 0 17 1 0 0
/proc/17502/statm: 9338 9048 77 171 0 9165 0
Current children cumulated CPU time (s) 282.11
Current children cumulated vsize (KiB) 42708
[startup+342.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 17502
/proc/meminfo: memFree=1834192/2055920 swapFree=4179480/4192956
[pid=17496] ppid=17494 vsize=5356 CPUtime=0.03
/proc/17496/stat : 17496 (SatELiteGTI) S 17494 17496 17328 0 -1 4194304 336 650 0 0 0 0 3 0 16 0 1 0 306166155 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17496/statm: 1339 239 197 169 0 50 0
[pid=17502] ppid=17496 vsize=37352 CPUtime=342.07
/proc/17502/stat : 17502 (minisat_static) R 17496 17496 17328 0 -1 4194304 9073 0 0 0 34197 10 0 0 25 0 1 0 306166159 38248448 9048 1992294400 134512640 135215339 4294956240 18446744073709551615 134528728 0 0 4096 3 0 0 0 17 1 0 0
/proc/17502/statm: 9338 9048 77 171 0 9165 0
Current children cumulated CPU time (s) 342.1
Current children cumulated vsize (KiB) 42708
[startup+402.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 17502
/proc/meminfo: memFree=1834128/2055920 swapFree=4179480/4192956
[pid=17496] ppid=17494 vsize=5356 CPUtime=0.03
/proc/17496/stat : 17496 (SatELiteGTI) S 17494 17496 17328 0 -1 4194304 336 650 0 0 0 0 3 0 16 0 1 0 306166155 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17496/statm: 1339 239 197 169 0 50 0
[pid=17502] ppid=17496 vsize=37348 CPUtime=402.05
/proc/17502/stat : 17502 (minisat_static) R 17496 17496 17328 0 -1 4194304 9073 0 0 0 40195 10 0 0 25 0 1 0 306166159 38244352 9047 1992294400 134512640 135215339 4294956240 18446744073709551615 134528809 0 0 4096 3 0 0 0 17 1 0 0
/proc/17502/statm: 9337 9047 77 171 0 9164 0
Current children cumulated CPU time (s) 402.08
Current children cumulated vsize (KiB) 42704
[startup+462.303 s]
################
# More data... #
################
/proc/17502/statm: 10092 9773 77 171 0 9919 0
Current children cumulated CPU time (s) 522.04
Current children cumulated vsize (KiB) 45724
[startup+582.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 17502
/proc/meminfo: memFree=1830864/2055920 swapFree=4179480/4192956
[pid=17496] ppid=17494 vsize=5356 CPUtime=0.03
/proc/17496/stat : 17496 (SatELiteGTI) S 17494 17496 17328 0 -1 4194304 336 650 0 0 0 0 3 0 16 0 1 0 306166155 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17496/statm: 1339 239 197 169 0 50 0
[pid=17502] ppid=17496 vsize=40284 CPUtime=581.99
/proc/17502/stat : 17502 (minisat_static) R 17496 17496 17328 0 -1 4194304 9803 0 0 0 58187 12 0 0 25 0 1 0 306166159 41250816 9773 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17502/statm: 10071 9773 77 171 0 9898 0
Current children cumulated CPU time (s) 582.02
Current children cumulated vsize (KiB) 45640
[startup+642.303 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 17502
/proc/meminfo: memFree=1830160/2055920 swapFree=4179480/4192956
[pid=17496] ppid=17494 vsize=5356 CPUtime=0.03
/proc/17496/stat : 17496 (SatELiteGTI) S 17494 17496 17328 0 -1 4194304 336 650 0 0 0 0 3 0 16 0 1 0 306166155 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17496/statm: 1339 239 197 169 0 50 0
[pid=17502] ppid=17496 vsize=41020 CPUtime=641.97
/proc/17502/stat : 17502 (minisat_static) R 17496 17496 17328 0 -1 4194304 9975 0 0 0 64184 13 0 0 25 0 1 0 306166159 42004480 9939 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 1 0 0
/proc/17502/statm: 10255 9939 77 171 0 10082 0
Current children cumulated CPU time (s) 642
Current children cumulated vsize (KiB) 46376
[startup+702.303 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 17502
/proc/meminfo: memFree=1829968/2055920 swapFree=4179480/4192956
[pid=17496] ppid=17494 vsize=5356 CPUtime=0.03
/proc/17496/stat : 17496 (SatELiteGTI) S 17494 17496 17328 0 -1 4194304 336 650 0 0 0 0 3 0 16 0 1 0 306166155 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17496/statm: 1339 239 197 169 0 50 0
[pid=17502] ppid=17496 vsize=40948 CPUtime=701.94
/proc/17502/stat : 17502 (minisat_static) R 17496 17496 17328 0 -1 4194304 9975 0 0 0 70181 13 0 0 25 0 1 0 306166159 41930752 9939 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17502/statm: 10237 9939 77 171 0 10064 0
Current children cumulated CPU time (s) 701.97
Current children cumulated vsize (KiB) 46304
[startup+762.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 17502
/proc/meminfo: memFree=1829904/2055920 swapFree=4179480/4192956
[pid=17496] ppid=17494 vsize=5356 CPUtime=0.03
/proc/17496/stat : 17496 (SatELiteGTI) S 17494 17496 17328 0 -1 4194304 336 650 0 0 0 0 3 0 16 0 1 0 306166155 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17496/statm: 1339 239 197 169 0 50 0
[pid=17502] ppid=17496 vsize=40948 CPUtime=761.93
/proc/17502/stat : 17502 (minisat_static) R 17496 17496 17328 0 -1 4194304 9975 0 0 0 76179 14 0 0 25 0 1 0 306166159 41930752 9939 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 1 0 0
/proc/17502/statm: 10237 9939 77 171 0 10064 0
Current children cumulated CPU time (s) 761.96
Current children cumulated vsize (KiB) 46304
[startup+822.302 s]
/proc/loadavg: 1.07 1.00 1.00 2/66 17502
/proc/meminfo: memFree=1829776/2055920 swapFree=4179480/4192956
[pid=17496] ppid=17494 vsize=5356 CPUtime=0.03
/proc/17496/stat : 17496 (SatELiteGTI) S 17494 17496 17328 0 -1 4194304 336 650 0 0 0 0 3 0 16 0 1 0 306166155 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17496/statm: 1339 239 197 169 0 50 0
[pid=17502] ppid=17496 vsize=40948 CPUtime=821.91
/proc/17502/stat : 17502 (minisat_static) R 17496 17496 17328 0 -1 4194304 9975 0 0 0 82177 14 0 0 25 0 1 0 306166159 41930752 9939 1992294400 134512640 135215339 4294956240 18446744073709551615 134529148 0 0 4096 3 0 0 0 17 1 0 0
/proc/17502/statm: 10237 9939 77 171 0 10064 0
Current children cumulated CPU time (s) 821.94
Current children cumulated vsize (KiB) 46304
[startup+882.307 s]
/proc/loadavg: 1.10 1.02 1.00 2/66 17502
/proc/meminfo: memFree=1829456/2055920 swapFree=4179480/4192956
[pid=17496] ppid=17494 vsize=5356 CPUtime=0.03
/proc/17496/stat : 17496 (SatELiteGTI) S 17494 17496 17328 0 -1 4194304 336 650 0 0 0 0 3 0 16 0 1 0 306166155 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17496/statm: 1339 239 197 169 0 50 0
[pid=17502] ppid=17496 vsize=41212 CPUtime=881.89
/proc/17502/stat : 17502 (minisat_static) R 17496 17496 17328 0 -1 4194304 10038 0 0 0 88174 15 0 0 25 0 1 0 306166159 42201088 10002 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17502/statm: 10303 10002 77 171 0 10130 0
Current children cumulated CPU time (s) 881.92
Current children cumulated vsize (KiB) 46568
[startup+942.303 s]
/proc/loadavg: 1.03 1.01 1.00 2/66 17502
/proc/meminfo: memFree=1829328/2055920 swapFree=4179480/4192956
[pid=17496] ppid=17494 vsize=5356 CPUtime=0.03
/proc/17496/stat : 17496 (SatELiteGTI) S 17494 17496 17328 0 -1 4194304 336 650 0 0 0 0 3 0 16 0 1 0 306166155 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17496/statm: 1339 239 197 169 0 50 0
[pid=17502] ppid=17496 vsize=41040 CPUtime=941.86
/proc/17502/stat : 17502 (minisat_static) R 17496 17496 17328 0 -1 4194304 10038 0 0 0 94171 15 0 0 25 0 1 0 306166159 42024960 9971 1992294400 134512640 135215339 4294956240 18446744073709551615 134528728 0 0 4096 3 0 0 0 17 1 0 0
/proc/17502/statm: 10260 9971 77 171 0 10087 0
Current children cumulated CPU time (s) 941.89
Current children cumulated vsize (KiB) 46396
[startup+1002.3 s]
/proc/loadavg: 1.01 1.00 1.00 2/66 17502
/proc/meminfo: memFree=1828368/2055920 swapFree=4179480/4192956
[pid=17496] ppid=17494 vsize=5356 CPUtime=0.03
/proc/17496/stat : 17496 (SatELiteGTI) S 17494 17496 17328 0 -1 4194304 336 650 0 0 0 0 3 0 16 0 1 0 306166155 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17496/statm: 1339 239 197 169 0 50 0
[pid=17502] ppid=17496 vsize=42220 CPUtime=1001.85
/proc/17502/stat : 17502 (minisat_static) R 17496 17496 17328 0 -1 4194304 10307 0 0 0 100169 16 0 0 25 0 1 0 306166159 43233280 10238 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/17502/statm: 10555 10238 77 171 0 10382 0
Current children cumulated CPU time (s) 1001.88
Current children cumulated vsize (KiB) 47576
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17502
/proc/meminfo: memFree=1828240/2055920 swapFree=4179480/4192956
[pid=17496] ppid=17494 vsize=5356 CPUtime=0.03
/proc/17496/stat : 17496 (SatELiteGTI) S 17494 17496 17328 0 -1 4194304 336 650 0 0 0 0 3 0 16 0 1 0 306166155 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17496/statm: 1339 239 197 169 0 50 0
[pid=17502] ppid=17496 vsize=42220 CPUtime=1061.83
/proc/17502/stat : 17502 (minisat_static) R 17496 17496 17328 0 -1 4194304 10310 0 0 0 106167 16 0 0 25 0 1 0 306166159 43233280 10241 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17502/statm: 10555 10241 77 171 0 10382 0
Current children cumulated CPU time (s) 1061.86
Current children cumulated vsize (KiB) 47576
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17502
/proc/meminfo: memFree=1828176/2055920 swapFree=4179480/4192956
[pid=17496] ppid=17494 vsize=5356 CPUtime=0.03
/proc/17496/stat : 17496 (SatELiteGTI) S 17494 17496 17328 0 -1 4194304 336 650 0 0 0 0 3 0 16 0 1 0 306166155 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17496/statm: 1339 239 197 169 0 50 0
[pid=17502] ppid=17496 vsize=42220 CPUtime=1121.81
/proc/17502/stat : 17502 (minisat_static) R 17496 17496 17328 0 -1 4194304 10310 0 0 0 112165 16 0 0 25 0 1 0 306166159 43233280 10241 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17502/statm: 10555 10241 77 171 0 10382 0
Current children cumulated CPU time (s) 1121.84
Current children cumulated vsize (KiB) 47576
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17502
/proc/meminfo: memFree=1828112/2055920 swapFree=4179480/4192956
[pid=17496] ppid=17494 vsize=5356 CPUtime=0.03
/proc/17496/stat : 17496 (SatELiteGTI) S 17494 17496 17328 0 -1 4194304 336 650 0 0 0 0 3 0 16 0 1 0 306166155 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17496/statm: 1339 239 197 169 0 50 0
[pid=17502] ppid=17496 vsize=42220 CPUtime=1181.79
/proc/17502/stat : 17502 (minisat_static) R 17496 17496 17328 0 -1 4194304 10310 0 0 0 118163 16 0 0 25 0 1 0 306166159 43233280 10241 1992294400 134512640 135215339 4294956240 18446744073709551615 134528791 0 0 4096 3 0 0 0 17 1 0 0
/proc/17502/statm: 10555 10241 77 171 0 10382 0
Current children cumulated CPU time (s) 1181.82
Current children cumulated vsize (KiB) 47576
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17502
/proc/meminfo: memFree=1827664/2055920 swapFree=4179480/4192956
[pid=17496] ppid=17494 vsize=5356 CPUtime=0.03
/proc/17496/stat : 17496 (SatELiteGTI) S 17494 17496 17328 0 -1 4194304 336 650 0 0 0 0 3 0 16 0 1 0 306166155 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17496/statm: 1339 239 197 169 0 50 0
[pid=17502] ppid=17496 vsize=42484 CPUtime=1199.98
/proc/17502/stat : 17502 (minisat_static) R 17496 17496 17328 0 -1 4194304 10396 0 0 0 119982 16 0 0 25 0 1 0 306166159 43503616 10327 1992294400 134512640 135215339 4294956240 18446744073709551615 134528742 0 0 4096 3 0 0 0 17 1 0 0
/proc/17502/statm: 10621 10327 77 171 0 10448 0
Current children cumulated CPU time (s) 1200.01
Current children cumulated vsize (KiB) 47840
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 17496 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=37994
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=6998
# CPU time returned by wait4() is 0.044992
# 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.85
CPU system time (s): 0.16
CPU usage (%): 99.9582
Max. virtual memory (cumulated for all children) (KiB): 47840
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.037994
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= 986
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= 12
involuntary context switches= 7
runsolver used 1.42078 second user time and 3.12552 second system time
The end
Begin job on node58 at 2009-05-20 03:03:09
IDJOB=1832527
IDBENCH=70227
IDSOLVER=671
FILE ID=node58/1832527-1242781389
PBS_JOBID= 9322326
Free space on /tmp= 66076 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/RANDOM/LARGE/5SAT/UNKNOWN/700/unif-k5-r20-v700-c14000-S685953260-065.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832527-1242781389/watcher-1832527-1242781389 -o /tmp/evaluation-result-1832527-1242781389/solver-1832527-1242781389 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832527-1242781389.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 3c731c817594d5a699b72cfb7a1ff2af
RANDOM SEED=847314913
node58.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.233
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.233
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: 1872192 kB
Buffers: 13092 kB
Cached: 128360 kB
SwapCached: 7536 kB
Active: 25300 kB
Inactive: 125448 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1872192 kB
SwapTotal: 4192956 kB
SwapFree: 4179480 kB
Dirty: 1912 kB
Writeback: 0 kB
Mapped: 14488 kB
Slab: 19148 kB
Committed_AS: 984872 kB
PageTables: 1364 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= 66072 MiB
End job on node58 at 2009-05-20 03:23:12