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 | 13600 95200 | 4079 0 0 nan | 0.000 % |
0.00/0.02 c ==============================================================================
0.00/0.02 c Result : #vars: 160 #clauses: 13600 #literals: 95200
0.00/0.02 c CPU time: 0.016997 s
0.00/0.02 c ==============================================================================
0.00/0.05 c This is MiniSat 2.0 beta
0.00/0.05 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.05 c ============================[ Problem Statistics ]=============================
0.00/0.05 c | |
0.00/0.05 c | Number of variables: 160 |
0.00/0.05 c | Number of clauses: 13600 |
0.00/0.06 c | Parsing time: 0.01 s |
0.00/0.07 c ============================[ Search Statistics ]==============================
0.00/0.07 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.00/0.07 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.00/0.07 c ===============================================================================
0.00/0.07 c | 0 | 160 13600 95200 | 4533 0 nan | 0.000 % |
0.00/0.08 c | 100 | 160 13600 95200 | 4533 100 52 | 0.004 % |
0.00/0.08 c | 202 | 160 13600 95200 | 4533 202 49 | 0.004 % |
0.00/0.09 c | 304 | 160 13600 95200 | 4533 304 49 | 0.004 % |
0.04/0.10 c | 414 | 160 13600 95200 | 4533 414 49 | 0.004 % |
0.04/0.11 c | 515 | 160 13600 95200 | 4533 515 49 | 0.004 % |
0.04/0.12 c | 626 | 160 13600 95200 | 4533 626 48 | 0.004 % |
0.04/0.13 c | 747 | 160 13600 95200 | 4533 747 48 | 0.004 % |
0.04/0.13 c | 848 | 160 13600 95200 | 4533 848 48 | 0.004 % |
0.04/0.14 c | 958 | 160 13600 95200 | 4533 958 48 | 0.004 % |
0.04/0.15 c | 1079 | 160 13600 95200 | 4533 1079 48 | 0.004 % |
0.04/0.16 c | 1212 | 160 13600 95200 | 4533 1212 48 | 0.004 % |
0.04/0.17 c | 1312 | 160 13600 95200 | 4533 1312 48 | 0.004 % |
0.04/0.17 c | 1423 | 160 13600 95200 | 4533 1423 48 | 0.004 % |
0.04/0.18 c | 1544 | 160 13600 95200 | 4533 1544 48 | 0.004 % |
0.04/0.19 c | 1677 | 160 13600 95200 | 4533 1677 48 | 0.004 % |
0.04/0.21 c | 1824 | 160 13600 95200 | 4533 1824 48 | 0.004 % |
0.04/0.21 c | 1928 | 160 13600 95200 | 4533 1928 48 | 0.004 % |
0.04/0.22 c | 2041 | 160 13600 95200 | 4533 2041 48 | 0.004 % |
0.04/0.23 c | 2162 | 160 13600 95200 | 4533 2162 48 | 0.004 % |
0.04/0.24 c | 2297 | 160 13600 95200 | 4533 2297 48 | 0.004 % |
0.04/0.26 c | 2443 | 160 13600 95200 | 4533 2443 48 | 0.004 % |
0.04/0.27 c | 2603 | 160 13600 95200 | 4533 2603 48 | 0.004 % |
0.04/0.28 c | 2704 | 160 13600 95200 | 4533 2704 48 | 0.004 % |
0.04/0.29 c | 2814 | 160 13600 95200 | 4533 2814 48 | 0.004 % |
0.04/0.30 c | 2938 | 160 13600 95200 | 4533 2938 48 | 0.004 % |
0.04/0.31 c | 3071 | 160 13600 95200 | 4533 3071 48 | 0.004 % |
0.04/0.32 c | 3217 | 160 13600 95200 | 4533 3217 48 | 0.004 % |
0.04/0.33 c | 3377 | 160 13600 95200 | 4533 3377 48 | 0.004 % |
0.04/0.35 c | 3554 | 160 13600 95200 | 4533 3554 48 | 0.004 % |
0.04/0.36 c | 3654 | 160 13600 95200 | 4533 3654 48 | 0.004 % |
0.04/0.37 c | 3764 | 160 13600 95200 | 4533 3764 48 | 0.004 % |
0.04/0.38 c | 3887 | 160 13600 95200 | 4533 3887 48 | 0.004 % |
0.04/0.39 c | 4021 | 160 13600 95200 | 4533 4021 48 | 0.004 % |
0.04/0.40 c | 4169 | 160 13600 95200 | 4533 4169 48 | 0.004 % |
0.04/0.42 c | 4329 | 160 13600 95200 | 4533 4329 48 | 0.004 % |
0.04/0.43 c | 4506 | 160 13600 95200 | 4533 4506 48 | 0.004 % |
0.04/0.45 c | 4700 | 160 13600 95200 | 4533 4240 48 | 0.004 % |
0.04/0.46 c | 4800 | 160 13600 95200 | 4533 4340 48 | 0.004 % |
0.04/0.47 c | 4910 | 160 13600 95200 | 4533 4450 48 | 0.004 % |
0.04/0.48 c | 5032 | 160 13600 95200 | 4533 4572 48 | 0.004 % |
0.04/0.50 c | 5165 | 160 13600 95200 | 4533 4248 48 | 0.004 % |
0.04/0.51 c | 5311 | 160 13600 95200 | 4533 4394 48 | 0.004 % |
0.04/0.52 c | 5471 | 160 13600 95200 | 4533 4554 48 | 0.004 % |
0.04/0.54 c | 5649 | 160 13600 95200 | 4533 4277 47 | 0.004 % |
0.04/0.56 c | 5844 | 160 13600 95200 | 4533 4472 48 | 0.004 % |
0.04/0.58 c | 6056 | 160 13600 95200 | 4533 4224 47 | 0.004 % |
0.04/0.59 c | 6157 | 160 13600 95200 | 4533 4325 47 | 0.004 % |
0.04/0.60 c | 6267 | 160 13600 95200 | 4533 4435 47 | 0.004 % |
0.04/0.61 c | 6388 | 160 13600 95200 | 4533 4556 47 | 0.004 % |
0.04/0.62 c | 6523 | 160 13600 95200 | 4533 4236 47 | 0.004 % |
0.04/0.64 c | 6669 | 160 13600 95200 | 4533 4382 47 | 0.004 % |
0.04/0.65 c | 6829 | 160 13600 95200 | 4533 4542 47 | 0.004 % |
0.04/0.67 c | 7005 | 160 13600 95200 | 4533 4264 47 | 0.004 % |
0.04/0.68 c | 7198 | 160 13600 95200 | 4533 4457 47 | 0.004 % |
0.04/0.70 c | 7410 | 160 13600 95200 | 4533 4208 48 | 0.004 % |
0.04/0.72 c | 7643 | 160 13600 95200 | 4533 4441 48 | 0.004 % |
0.04/0.73 c | 7744 | 160 13600 95200 | 4533 4542 48 | 0.004 % |
0.04/0.74 c | 7855 | 160 13600 95200 | 4533 4199 48 | 0.004 % |
0.04/0.75 c | 7977 | 160 13600 95200 | 4533 4321 48 | 0.004 % |
0.04/0.77 c | 8110 | 160 13600 95200 | 4533 4454 48 | 0.004 % |
0.04/0.78 c | 8256 | 160 13600 95200 | 4533 4600 48 | 0.004 % |
0.04/0.80 c | 8418 | 160 13600 95200 | 4533 4302 47 | 0.004 % |
0.04/0.81 c | 8594 | 160 13600 95200 | 4533 4478 47 | 0.004 % |
0.04/0.83 c | 8789 | 160 13600 95200 | 4533 4213 47 | 0.004 % |
0.04/0.85 c | 9003 | 160 13600 95200 | 4533 4427 47 | 0.004 % |
0.04/0.88 c | 9236 | 160 13600 95200 | 4533 4199 47 | 0.004 % |
0.04/0.90 c | 9492 | 160 13600 95200 | 4533 4455 47 | 0.004 % |
0.04/0.91 c | 9592 | 160 13600 95200 | 4533 4555 47 | 0.004 % |
0.04/0.92 c | 9704 | 160 13600 95200 | 4533 4212 47 | 0.004 % |
0.04/0.93 c | 9827 | 160 13600 95200 | 4533 4335 47 | 0.004 % |
0.04/0.94 c | 9960 | 160 13600 95200 | 4533 4468 47 | 0.004 % |
0.04/0.96 c | 10107 | 160 13600 95200 | 2147483647 4615 47 | 0.004 % |
0.04/0.97 c | 10268 | 160 13600 95200 | 2147483647 4776 47 | 0.004 % |
0.04/0.99 c | 10445 | 160 13600 95200 | 2147483647 4953 47 | 0.004 % |
0.97/1.01 c | 10638 | 160 13600 95200 | 2147483647 5146 47 | 0.004 % |
0.97/1.04 c | 10852 | 160 13600 95200 | 2147483647 5360 47 | 0.004 % |
0.97/1.06 c | 11085 | 160 13600 95200 | 2147483647 5593 47 | 0.004 % |
0.97/1.09 c | 11345 | 160 13600 95200 | 2147483647 5853 47 | 0.004 % |
1.07/1.12 c | 11629 | 160 13600 95200 | 2147483647 6137 47 | 0.004 % |
1.07/1.13 c | 11729 | 160 13600 95200 | 2147483647 6237 47 | 0.004 % |
1.07/1.14 c | 11840 | 160 13600 95200 | 2147483647 6348 47 | 0.004 % |
1.07/1.16 c | 11961 | 160 13600 95200 | 2147483647 6469 48 | 0.004 % |
1.07/1.17 c | 12094 | 160 13600 95200 | 2147483647 6602 47 | 0.004 % |
1.07/1.19 c | 12242 | 160 13600 95200 | 2147483647 6750 48 | 0.004 % |
1.17/1.21 c | 12402 | 160 13600 95200 | 2147483647 6910 48 | 0.004 % |
1.17/1.23 c | 12580 | 160 13600 95200 | 2147483647 7088 48 | 0.004 % |
1.17/1.26 c | 12775 | 160 13600 95200 | 2147483647 7283 48 | 0.004 % |
1.17/1.28 c | 12987 | 160 13600 95200 | 2147483647 7495 48 | 0.004 % |
1.27/1.31 c | 13220 | 160 13600 95200 | 2147483647 7728 48 | 0.004 % |
1.27/1.34 c | 13477 | 160 13600 95200 | 2147483647 7985 48 | 0.004 % |
1.27/1.37 c | 13758 | 160 13600 95200 | 2147483647 8266 48 | 0.004 % |
1.37/1.41 c | 14067 | 160 13600 95200 | 2147483647 8575 48 | 0.004 % |
1.37/1.42 c | 14167 | 160 13600 95200 | 2147483647 8675 48 | 0.004 % |
1.37/1.44 c | 14277 | 160 13600 95200 | 2147483647 8785 48 | 0.004 % |
1.37/1.45 c | 14398 | 160 13600 95200 | 2147483647 8906 48 | 0.004 % |
1.37/1.47 c | 14531 | 160 13600 95200 | 2147483647 9039 48 | 0.004 % |
1.37/1.49 c | 14678 | 160 13600 95200 | 2147483647 9186 48 | 0.004 % |
1.47/1.52 c | 14838 | 160 13600 95200 | 2147483647 9346 48 | 0.004 % |
1.47/1.54 c | 15014 | 160 13600 95200 | 2147483647 9522 48 | 0.004 % |
1.47/1.57 c | 15208 | 160 13600 95200 | 2147483647 9716 48 | 0.004 % |
1.57/1.60 c | 15420 | 160 13600 95200 | 2147483647 9928 48 | 0.004 % |
1.57/1.64 c | 15654 | 160 13600 95200 | 2147483647 10162 48 | 0.004 % |
1.57/1.67 c | 15910 | 160 13600 95200 | 2147483647 10418 48 | 0.004 % |
1.67/1.71 c | 16191 | 160 13600 95200 | 2147483647 10699 48 | 0.004 % |
1.67/1.75 c | 16500 | 160 13600 95200 | 2147483647 11008 48 | 0.004 % |
1.77/1.81 c | 16841 | 160 13600 95200 | 2147483647 11349 48 | 0.004 % |
1.77/1.82 c | 16941 | 160 13600 95200 | 2147483647 11449 48 | 0.004 % |
1.77/1.84 c | 17052 | 160 13600 95200 | 2147483647 11560 48 | 0.004 % |
1.77/1.86 c | 17173 | 160 13600 95200 | 2147483647 11681 48 | 0.004 % |
1.77/1.89 c | 17306 | 160 13600 95200 | 2147483647 11814 48 | 0.004 % |
1.87/1.91 c | 17452 | 160 13600 95200 | 2147483647 11960 48 | 0.004 % |
1.87/1.93 c | 17612 | 160 13600 95200 | 2147483647 12120 48 | 0.004 % |
1.87/1.96 c | 17790 | 160 13600 95200 | 2147483647 12298 48 | 0.004 % |
1.87/1.99 c | 17984 | 160 13600 95200 | 2147483647 12492 48 | 0.004 % |
1.97/2.02 c | 18197 | 160 13600 95200 | 2147483647 12705 48 | 0.004 % |
1.97/2.06 c | 18432 | 160 13600 95200 | 2147483647 12940 48 | 0.004 % |
2.07/2.10 c | 18689 | 160 13600 95200 | 2147483647 13197 48 | 0.004 % |
2.07/2.15 c | 18970 | 160 13600 95200 | 2147483647 13478 48 | 0.004 % |
2.17/2.20 c | 19281 | 160 13600 95200 | 2147483647 13789 48 | 0.004 % |
2.17/2.26 c | 19620 | 160 13600 95200 | 2147483647 14128 48 | 0.004 % |
2.27/2.32 c | 19992 | 160 13600 95200 | 2147483647 14500 48 | 0.004 % |
2.27/2.34 c | 20094 | 160 13600 95200 | 2147483647 14602 48 | 0.004 % |
2.27/2.37 c | 20204 | 160 13600 95200 | 2147483647 14712 48 | 0.004 % |
2.27/2.39 c | 20325 | 160 13600 95200 | 2147483647 14833 48 | 0.004 % |
2.37/2.42 c | 20460 | 160 13600 95200 | 2147483647 14968 48 | 0.004 % |
2.37/2.45 c | 20609 | 160 13600 95200 | 2147483647 15117 48 | 0.004 % |
2.37/2.48 c | 20769 | 160 13600 95200 | 2147483647 15277 48 | 0.004 % |
2.47/2.52 c | 20946 | 160 13600 95200 | 2147483647 15454 48 | 0.004 % |
2.47/2.56 c | 21140 | 160 13600 95200 | 2147483647 15648 48 | 0.004 % |
2.47/2.59 c | 21352 | 160 13600 95200 | 2147483647 15860 48 | 0.004 % |
2.57/2.64 c | 21587 | 160 13600 95200 | 2147483647 16095 48 | 0.004 % |
2.67/2.70 c | 21845 | 160 13600 95200 | 2147483647 16353 48 | 0.004 % |
2.67/2.76 c | 22127 | 160 13600 95200 | 2147483647 16635 48 | 0.004 % |
2.77/2.82 c | 22436 | 160 13600 95200 | 2147483647 16944 48 | 0.004 % |
2.77/2.89 c | 22776 | 160 13600 95200 | 2147483647 17284 48 | 0.004 % |
2.87/2.97 c | 23150 | 160 13600 95200 | 2147483647 17658 48 | 0.004 % |
2.97/3.06 c | 23559 | 160 13600 95200 | 2147483647 18067 48 | 0.004 % |
2.97/3.09 c | 23659 | 160 13600 95200 | 2147483647 18167 48 | 0.004 % |
3.07/3.11 c | 23770 | 160 13600 95200 | 2147483647 18278 48 | 0.004 % |
3.07/3.14 c | 23892 | 160 13600 95200 | 2147483647 18400 48 | 0.004 % |
3.07/3.17 c | 24028 | 160 13600 95200 | 2147483647 18536 48 | 0.004 % |
3.18/3.21 c | 24176 | 160 13600 95200 | 2147483647 18684 48 | 0.004 % |
3.18/3.25 c | 24336 | 160 13600 95200 | 2147483647 18844 48 | 0.004 % |
3.18/3.29 c | 24513 | 160 13600 95200 | 2147483647 19021 48 | 0.004 % |
3.28/3.34 c | 24706 | 160 13600 95200 | 2147483647 19214 48 | 0.004 % |
3.28/3.38 c | 24919 | 160 13600 95200 | 2147483647 19427 48 | 0.004 % |
3.37/3.44 c | 25153 | 160 13600 95200 | 2147483647 19661 48 | 0.004 % |
3.37/3.50 c | 25410 | 160 13600 95200 | 2147483647 19918 48 | 0.004 % |
3.47/3.57 c | 25691 | 160 13600 95200 | 2147483647 20199 48 | 0.004 % |
3.57/3.64 c | 26002 | 160 13600 95200 | 2147483647 20510 48 | 0.004 % |
3.67/3.73 c | 26341 | 160 13600 95200 | 2147483647 20849 48 | 0.004 % |
3.77/3.82 c | 26714 | 160 13600 95200 | 2147483647 21222 48 | 0.004 % |
3.87/3.92 c | 27126 | 160 13600 95200 | 2147483647 21634 48 | 0.004 % |
3.97/4.04 c | 27576 | 160 13600 95200 | 2147483647 22084 48 | 0.004 % |
3.97/4.07 c | 27676 | 160 13600 95200 | 2147483647 22184 48 | 0.004 % |
4.07/4.10 c | 27788 | 160 13600 95200 | 2147483647 22296 48 | 0.004 % |
4.07/4.14 c | 27911 | 160 13600 95200 | 2147483647 22419 48 | 0.004 % |
4.07/4.17 c | 28044 | 160 13600 95200 | 2147483647 22552 48 | 0.004 % |
4.17/4.22 c | 28193 | 160 13600 95200 | 2147483647 22701 48 | 0.004 % |
4.17/4.27 c | 28353 | 160 13600 95200 | 2147483647 22861 48 | 0.004 % |
4.27/4.32 c | 28529 | 160 13600 95200 | 2147483647 23037 48 | 0.004 % |
4.27/4.38 c | 28723 | 160 13600 95200 | 2147483647 23231 48 | 0.004 % |
4.37/4.44 c | 28935 | 160 13600 95200 | 2147483647 23443 48 | 0.004 % |
4.47/4.51 c | 29169 | 160 13600 95200 | 2147483647 23677 48 | 0.004 % |
4.47/4.58 c | 29426 | 160 13600 95200 | 2147483647 23934 48 | 0.004 % |
4.57/4.65 c | 29707 | 160 13600 95200 | 2147483647 24215 48 | 0.004 % |
4.67/4.75 c | 30017 | 160 13600 95200 | 2147483647 24525 48 | 0.004 % |
4.76/4.86 c | 30356 | 160 13600 95200 | 2147483647 24864 48 | 0.004 % |
4.86/4.97 c | 30729 | 160 13600 95200 | 2147483647 25237 48 | 0.004 % |
5.07/5.10 c | 31140 | 160 13600 95200 | 2147483647 25648 48 | 0.004 % |
5.17/5.23 c | 31591 | 160 13600 95200 | 2147483647 26099 48 | 0.004 % |
5.38/5.41 c | 32085 | 160 13600 95200 | 2147483647 26593 48 | 0.004 % |
5.38/5.45 c | 32185 | 160 13600 95200 | 2147483647 26693 48 | 0.004 % |
5.38/5.49 c | 32296 | 160 13600 95200 | 2147483647 26804 48 | 0.004 % |
5.48/5.52 c | 32418 | 160 13600 95200 | 2147483647 26926 48 | 0.004 % |
5.48/5.56 c | 32552 | 160 13600 95200 | 2147483647 27060 48 | 0.004 % |
5.57/5.63 c | 32701 | 160 13600 95200 | 2147483647 27209 48 | 0.004 % |
5.57/5.69 c | 32863 | 160 13600 95200 | 2147483647 27371 48 | 0.004 % |
5.67/5.75 c | 33039 | 160 13600 95200 | 2147483647 27547 48 | 0.004 % |
5.77/5.82 c | 33232 | 160 13600 95200 | 2147483647 27740 48 | 0.004 % |
5.77/5.89 c | 33445 | 160 13600 95200 | 2147483647 27953 48 | 0.004 % |
5.87/5.98 c | 33678 | 160 13600 95200 | 2147483647 28186 48 | 0.004 % |
5.97/6.07 c | 33935 | 160 13600 95200 | 2147483647 28443 48 | 0.004 % |
6.07/6.16 c | 34216 | 160 13600 95200 | 2147483647 28724 48 | 0.004 % |
6.17/6.25 c | 34525 | 160 13600 95200 | 2147483647 29033 48 | 0.004 % |
6.27/6.39 c | 34864 | 160 13600 95200 | 2147483647 29372 48 | 0.004 % |
6.47/6.53 c | 35236 | 160 13600 95200 | 2147483647 29744 48 | 0.004 % |
6.57/6.67 c | 35645 | 160 13600 95200 | 2147483647 30153 48 | 0.004 % |
6.77/6.82 c | 36095 | 160 13600 95200 | 2147483647 30603 48 | 0.004 % |
6.97/7.02 c | 36588 | 160 13600 95200 | 2147483647 31096 48 | 0.004 % |
7.17/7.23 c | 37130 | 160 13600 95200 | 2147483647 31638 48 | 0.004 % |
7.17/7.27 c | 37230 | 160 13600 95200 | 2147483647 31738 48 | 0.004 % |
7.27/7.33 c | 37341 | 160 13600 95200 | 2147483647 31849 48 | 0.004 % |
7.27/7.38 c | 37464 | 160 13600 95200 | 2147483647 31972 48 | 0.004 % |
7.37/7.44 c | 37600 | 160 13600 95200 | 2147483647 32108 48 | 0.004 % |
7.37/7.49 c | 37747 | 160 13600 95200 | 2147483647 32255 48 | 0.004 % |
7.47/7.54 c | 37908 | 160 13600 95200 | 2147483647 32416 48 | 0.004 % |
7.57/7.62 c | 38084 | 160 13600 95200 | 2147483647 32592 48 | 0.004 % |
7.67/7.71 c | 38277 | 160 13600 95200 | 2147483647 32785 48 | 0.004 % |
7.77/7.80 c | 38492 | 160 13600 95200 | 2147483647 33000 48 | 0.004 % |
7.87/7.90 c | 38725 | 160 13600 95200 | 2147483647 33233 48 | 0.004 % |
7.87/7.99 c | 38981 | 160 13600 95200 | 2147483647 33489 48 | 0.004 % |
8.06/8.10 c | 39262 | 160 13600 95200 | 2147483647 33770 48 | 0.004 % |
8.16/8.23 c | 39571 | 160 13600 95200 | 2147483647 34079 48 | 0.004 % |
8.26/8.40 c | 39911 | 160 13600 95200 | 2147483647 34419 48 | 0.004 % |
8.46/8.55 c | 40285 | 160 13600 95200 | 2147483647 34793 48 | 0.004 % |
8.67/8.74 c | 40698 | 160 13600 95200 | 2147483647 35206 48 | 0.004 % |
8.86/8.92 c | 41151 | 160 13600 95200 | 2147483647 35659 48 | 0.004 % |
9.06/9.10 c | 41644 | 160 13600 95200 | 2147483647 36152 48 | 0.004 % |
9.26/9.30 c | 42187 | 160 13600 95200 | 2147483647 36695 48 | 0.004 % |
9.46/9.55 c | 42784 | 160 13600 95200 | 2147483647 37292 48 | 0.004 % |
9.56/9.60 c | 42884 | 160 13600 95200 | 2147483647 37392 48 | 0.004 % |
9.56/9.65 c | 42995 | 160 13600 95200 | 2147483647 37503 48 | 0.004 % |
9.66/9.71 c | 43117 | 160 13600 95200 | 2147483647 37625 48 | 0.004 % |
9.66/9.77 c | 43251 | 160 13600 95200 | 2147483647 37759 48 | 0.004 % |
9.77/9.84 c | 43398 | 160 13600 95200 | 2147483647 37906 48 | 0.004 % |
9.87/9.92 c | 43559 | 160 13600 95200 | 2147483647 38067 48 | 0.004 % |
9.96/10.03 c | 43736 | 160 13600 95200 | 2147483647 38244 48 | 0.004 % |
10.06/10.12 c | 43929 | 160 13600 95200 | 2147483647 38437 48 | 0.004 % |
10.17/10.23 c | 44141 | 160 13600 95200 | 2147483647 38649 48 | 0.004 % |
10.27/10.33 c | 44375 | 160 13600 95200 | 2147483647 38883 48 | 0.004 % |
10.37/10.45 c | 44632 | 160 13600 95200 | 2147483647 39140 48 | 0.004 % |
10.47/10.58 c | 44914 | 160 13600 95200 | 2147483647 39422 48 | 0.004 % |
10.57/10.69 c | 45225 | 160 13600 95200 | 2147483647 39733 48 | 0.004 % |
10.77/10.86 c | 45565 | 160 13600 95200 | 2147483647 40073 48 | 0.004 % |
10.98/11.06 c | 45938 | 160 13600 95200 | 2147483647 40446 48 | 0.004 % |
11.17/11.26 c | 46347 | 160 13600 95200 | 2147483647 40855 48 | 0.004 % |
11.37/11.49 c | 46796 | 160 13600 95200 | 2147483647 41304 48 | 0.004 % |
11.67/11.72 c | 47290 | 160 13600 95200 | 2147483647 41798 48 | 0.004 % |
11.87/12.00 c | 47833 | 160 13600 95200 | 2147483647 42341 48 | 0.004 % |
12.17/12.28 c | 48429 | 160 13600 95200 | 2147483647 42937 48 | 0.004 % |
12.47/12.58 c | 49084 | 160 13600 95200 | 2147483647 43592 48 | 0.004 % |
12.57/12.64 c | 49184 | 160 13600 95200 | 2147483647 43692 48 | 0.004 % |
12.67/12.70 c | 49294 | 160 13600 95200 | 2147483647 43802 48 | 0.004 % |
12.67/12.77 c | 49415 | 160 13600 95200 | 2147483647 43923 48 | 0.004 % |
12.77/12.86 c | 49548 | 160 13600 95200 | 2147483647 44056 48 | 0.004 % |
12.87/12.96 c | 49696 | 160 13600 95200 | 2147483647 44204 48 | 0.004 % |
12.97/13.06 c | 49856 | 160 13600 95200 | 2147483647 44364 48 | 0.004 % |
13.07/13.17 c | 50033 | 160 13600 95200 | 2147483647 44541 48 | 0.004 % |
13.27/13.30 c | 50228 | 160 13600 95200 | 2147483647 44736 48 | 0.004 % |
13.37/13.42 c | 50440 | 160 13600 95200 | 2147483647 44948 48 | 0.004 % |
13.47/13.56 c | 50674 | 160 13600 95200 | 2147483647 45182 48 | 0.004 % |
13.67/13.70 c | 50930 | 160 13600 95200 | 2147483647 45438 48 | 0.004 % |
13.77/13.85 c | 51211 | 160 13600 95200 | 2147483647 45719 48 | 0.004 % |
13.97/14.02 c | 51520 | 160 13600 95200 | 2147483647 46028 48 | 0.004 % |
14.17/14.22 c | 51861 | 160 13600 95200 | 2147483647 46369 48 | 0.004 % |
14.37/14.43 c | 52235 | 160 13600 95200 | 2147483647 46743 48 | 0.004 % |
14.57/14.65 c | 52644 | 160 13600 95200 | 2147483647 47152 48 | 0.004 % |
14.87/14.90 c | 53093 | 160 13600 95200 | 2147483647 47601 48 | 0.004 % |
15.16/15.22 c | 53586 | 160 13600 95200 | 2147483647 48094 48 | 0.004 % |
15.47/15.52 c | 54130 | 160 13600 95200 | 2147483647 48638 48 | 0.004 % |
15.77/15.82 c | 54726 | 160 13600 95200 | 2147483647 49234 48 | 0.004 % |
16.07/16.17 c | 55381 | 160 13600 95200 | 2147483647 49889 48 | 0.004 % |
16.47/16.56 c | 56101 | 160 13600 95200 | 2147483647 50609 48 | 0.004 % |
16.56/16.62 c | 56201 | 160 13600 95200 | 2147483647 50709 48 | 0.004 % |
16.56/16.68 c | 56311 | 160 13600 95200 | 2147483647 50819 48 | 0.004 % |
16.66/16.74 c | 56433 | 160 13600 95200 | 2147483647 50941 48 | 0.004 % |
16.76/16.81 c | 56566 | 160 13600 95200 | 2147483647 51074 48 | 0.004 % |
16.86/16.93 c | 56713 | 160 13600 95200 | 2147483647 51221 48 | 0.004 % |
16.96/17.03 c | 56874 | 160 13600 95200 | 2147483647 51382 48 | 0.004 % |
17.06/17.14 c | 57052 | 160 13600 95200 | 2147483647 51560 48 | 0.004 % |
17.16/17.29 c | 57245 | 160 13600 95200 | 2147483647 51753 48 | 0.004 % |
17.36/17.43 c | 57458 | 160 13600 95200 | 2147483647 51966 48 | 0.004 % |
17.47/17.57 c | 57691 | 160 13600 95200 | 2147483647 52199 48 | 0.004 % |
17.66/17.74 c | 57947 | 160 13600 95200 | 2147483647 52455 48 | 0.004 % |
17.86/17.92 c | 58229 | 160 13600 95200 | 2147483647 52737 48 | 0.004 % |
18.06/18.11 c | 58538 | 160 13600 95200 | 2147483647 53046 48 | 0.004 % |
18.26/18.36 c | 58877 | 160 13600 95200 | 2147483647 53385 48 | 0.004 % |
18.46/18.60 c | 59251 | 160 13600 95200 | 2147483647 53759 48 | 0.004 % |
18.76/18.87 c | 59661 | 160 13600 95200 | 2147483647 54169 48 | 0.004 % |
19.06/19.14 c | 60110 | 160 13600 95200 | 2147483647 54618 48 | 0.004 % |
19.37/19.45 c | 60603 | 160 13600 95200 | 2147483647 55111 48 | 0.004 % |
19.67/19.75 c | 61146 | 160 13600 95200 | 2147483647 55654 48 | 0.004 % |
20.07/20.12 c | 61742 | 160 13600 95200 | 2147483647 56250 48 | 0.004 % |
20.47/20.55 c | 62397 | 160 13600 95200 | 2147483647 56905 48 | 0.004 % |
20.96/21.00 c | 63117 | 160 13600 95200 | 2147483647 57625 48 | 0.004 % |
21.36/21.47 c | 63911 | 160 13600 95200 | 2147483647 58419 48 | 0.004 % |
21.46/21.53 c | 64011 | 160 13600 95200 | 2147483647 58519 48 | 0.004 % |
21.56/21.66 c | 64121 | 160 13600 95200 | 2147483647 58629 48 | 0.004 % |
21.66/21.74 c | 64242 | 160 13600 95200 | 2147483647 58750 48 | 0.004 % |
21.76/21.84 c | 64376 | 160 13600 95200 | 2147483647 58884 48 | 0.004 % |
21.86/21.96 c | 64524 | 160 13600 95200 | 2147483647 59032 48 | 0.004 % |
22.06/22.10 c | 64685 | 160 13600 95200 | 2147483647 59193 48 | 0.004 % |
22.16/22.22 c | 64862 | 160 13600 95200 | 2147483647 59370 48 | 0.004 % |
22.26/22.36 c | 65056 | 160 13600 95200 | 2147483647 59564 48 | 0.004 % |
22.46/22.54 c | 65268 | 160 13600 95200 | 2147483647 59776 48 | 0.004 % |
22.66/22.72 c | 65501 | 160 13600 95200 | 2147483647 60009 48 | 0.004 % |
22.86/22.91 c | 65757 | 160 13600 95200 | 2147483647 60265 48 | 0.004 % |
23.06/23.11 c | 66040 | 160 13600 95200 | 2147483647 60548 48 | 0.004 % |
23.26/23.35 c | 66349 | 160 13600 95200 | 2147483647 60857 48 | 0.004 % |
23.56/23.61 c | 66689 | 160 13600 95200 | 2147483647 61197 48 | 0.004 % |
23.76/23.86 c | 67061 | 160 13600 95200 | 2147483647 61569 48 | 0.004 % |
24.06/24.16 c | 67471 | 160 13600 95200 | 2147483647 61979 48 | 0.004 % |
24.36/24.48 c | 67922 | 160 13600 95200 | 2147483647 62430 48 | 0.004 % |
24.76/24.82 c | 68415 | 160 13600 95200 | 2147483647 62923 48 | 0.004 % |
25.07/25.19 c | 68958 | 160 13600 95200 | 2147483647 63466 48 | 0.004 % |
25.57/25.61 c | 69556 | 160 13600 95200 | 2147483647 64064 48 | 0.004 % |
26.07/26.19 c | 70212 | 160 13600 95200 | 64509 57666 48 | 0.004 % |
26.67/26.71 c | 70932 | 160 13600 95200 | 64509 58386 48 | 0.004 % |
27.17/27.25 c | 71725 | 160 13600 95200 | 64509 59179 48 | 0.004 % |
27.77/27.86 c | 72596 | 160 13600 95200 | 64509 60050 48 | 0.004 % |
27.87/27.95 c | 72697 | 160 13600 95200 | 64509 60151 48 | 0.004 % |
27.96/28.04 c | 72807 | 160 13600 95200 | 64509 60261 48 | 0.004 % |
28.06/28.13 c | 72929 | 160 13600 95200 | 64509 60383 48 | 0.004 % |
28.16/28.23 c | 73062 | 160 13600 95200 | 64509 60516 48 | 0.004 % |
28.26/28.34 c | 73209 | 160 13600 95200 | 64509 60663 48 | 0.004 % |
28.36/28.47 c | 73369 | 160 13600 95200 | 64509 60823 48 | 0.004 % |
28.57/28.60 c | 73545 | 160 13600 95200 | 64509 60999 48 | 0.004 % |
28.66/28.78 c | 73739 | 160 13600 95200 | 64509 61193 48 | 0.004 % |
28.86/28.93 c | 73952 | 160 13600 95200 | 64509 61406 48 | 0.004 % |
29.06/29.11 c | 74185 | 160 13600 95200 | 64509 61639 48 | 0.004 % |
29.26/29.31 c | 74442 | 160 13600 95200 | 64509 61896 48 | 0.004 % |
29.46/29.52 c | 74723 | 160 13600 95200 | 64509 62177 48 | 0.004 % |
29.67/29.73 c | 75032 | 160 13600 95200 | 64509 62486 48 | 0.004 % |
29.96/30.01 c | 75372 | 160 13600 95200 | 64509 62826 48 | 0.004 % |
30.26/30.32 c | 75745 | 160 13600 95200 | 64509 63199 48 | 0.004 % |
30.56/30.61 c | 76154 | 160 13600 95200 | 64509 63608 48 | 0.004 % |
30.86/30.93 c | 76604 | 160 13600 95200 | 64509 64058 48 | 0.004 % |
31.16/31.27 c | 77097 | 160 13600 95200 | 64509 64551 48 | 0.004 % |
31.66/31.70 c | 77639 | 160 13600 95200 | 64509 56405 48 | 0.004 % |
31.96/32.10 c | 78235 | 160 13600 95200 | 64509 57001 48 | 0.004 % |
32.46/32.52 c | 78890 | 160 13600 95200 | 64509 57656 48 | 0.004 % |
32.87/32.98 c | 79612 | 160 13600 95200 | 64509 58378 48 | 0.004 % |
33.36/33.47 c | 80405 | 160 13600 95200 | 58766 51625 48 | 0.004 % |
33.86/33.97 c | 81276 | 160 13600 95200 | 58766 52496 48 | 0.004 % |
34.46/34.53 c | 82235 | 160 13600 95200 | 58766 53455 48 | 0.004 % |
34.46/34.59 c | 82336 | 160 13600 95200 | 58766 53556 48 | 0.004 % |
34.56/34.66 c | 82448 | 160 13600 95200 | 58766 53668 48 | 0.004 % |
34.66/34.73 c | 82569 | 160 13600 95200 | 58766 53789 48 | 0.004 % |
34.76/34.86 c | 82704 | 160 13600 95200 | 58766 53924 48 | 0.004 % |
34.86/34.96 c | 82850 | 160 13600 95200 | 58766 54070 48 | 0.004 % |
34.96/35.06 c | 83010 | 160 13600 95200 | 58766 54230 48 | 0.004 % |
35.17/35.21 c | 83186 | 160 13600 95200 | 58766 54406 48 | 0.004 % |
35.26/35.35 c | 83380 | 160 13600 95200 | 58766 54600 48 | 0.004 % |
35.36/35.49 c | 83594 | 160 13600 95200 | 58766 54814 48 | 0.004 % |
35.56/35.68 c | 83827 | 160 13600 95200 | 58766 55047 48 | 0.004 % |
35.76/35.86 c | 84086 | 160 13600 95200 | 58766 55306 48 | 0.004 % |
35.96/36.06 c | 84367 | 160 13600 95200 | 58766 55587 48 | 0.004 % |
36.17/36.29 c | 84679 | 160 13600 95200 | 58766 55899 48 | 0.004 % |
36.46/36.53 c | 85020 | 160 13600 95200 | 58766 56240 48 | 0.004 % |
36.76/36.81 c | 85395 | 160 13600 95200 | 58766 56615 48 | 0.004 % |
36.96/37.08 c | 85805 | 160 13600 95200 | 58766 57025 48 | 0.004 % |
37.27/37.40 c | 86255 | 160 13600 95200 | 58766 57475 48 | 0.004 % |
37.66/37.75 c | 86748 | 160 13600 95200 | 58766 57968 48 | 0.004 % |
38.06/38.12 c | 87291 | 160 13600 95200 | 58766 58511 48 | 0.004 % |
38.47/38.57 c | 87889 | 160 13600 95200 | 58766 52464 48 | 0.004 % |
38.86/38.96 c | 88544 | 160 13600 95200 | 58766 53119 48 | 0.004 % |
39.36/39.42 c | 89265 | 160 13600 95200 | 58766 53840 48 | 0.004 % |
39.86/39.91 c | 90059 | 160 13600 95200 | 54575 54634 48 | 0.004 % |
40.36/40.45 c | 90931 | 160 13600 95200 | 54575 49644 48 | 0.004 % |
40.86/40.98 c | 91889 | 160 13600 95200 | 54575 50602 48 | 0.004 % |
41.46/41.56 c | 92942 | 160 13600 95200 | 54575 51655 48 | 0.004 % |
41.56/41.62 c | 93045 | 160 13600 95200 | 54575 51758 48 | 0.004 % |
41.66/41.71 c | 93156 | 160 13600 95200 | 54575 51869 48 | 0.004 % |
41.66/41.79 c | 93277 | 160 13600 95200 | 54575 51990 48 | 0.004 % |
41.76/41.89 c | 93410 | 160 13600 95200 | 54575 52123 48 | 0.004 % |
41.86/41.99 c | 93556 | 160 13600 95200 | 54575 52269 48 | 0.004 % |
42.06/42.11 c | 93716 | 160 13600 95200 | 54575 52429 48 | 0.004 % |
42.16/42.24 c | 93893 | 160 13600 95200 | 54575 52606 48 | 0.004 % |
42.26/42.37 c | 94087 | 160 13600 95200 | 54575 52800 48 | 0.004 % |
42.46/42.51 c | 94299 | 160 13600 95200 | 54575 53012 48 | 0.004 % |
42.56/42.65 c | 94532 | 160 13600 95200 | 54575 53245 48 | 0.004 % |
42.76/42.85 c | 94788 | 160 13600 95200 | 54575 53501 48 | 0.004 % |
42.96/43.07 c | 95069 | 160 13600 95200 | 54575 53782 48 | 0.004 % |
43.26/43.31 c | 95379 | 160 13600 95200 | 54575 54092 48 | 0.004 % |
43.46/43.52 c | 95718 | 160 13600 95200 | 54575 54431 48 | 0.004 % |
43.66/43.80 c | 96090 | 160 13600 95200 | 54575 49339 48 | 0.004 % |
43.96/44.07 c | 96499 | 160 13600 95200 | 54575 49748 48 | 0.004 % |
44.26/44.33 c | 96948 | 160 13600 95200 | 54575 50197 48 | 0.004 % |
44.56/44.61 c | 97443 | 160 13600 95200 | 54575 50692 48 | 0.004 % |
44.86/44.93 c | 97986 | 160 13600 95200 | 54575 51235 48 | 0.004 % |
45.16/45.25 c | 98583 | 160 13600 95200 | 54575 51832 48 | 0.004 % |
45.66/45.70 c | 99240 | 160 13600 95200 | 54575 52489 48 | 0.004 % |
46.06/46.13 c | 99963 | 160 13600 95200 | 54575 53212 48 | 0.004 % |
46.56/46.63 c | 100756 | 160 13600 95200 | 2147483647 54005 48 | 0.004 % |
47.06/47.16 c | 101631 | 160 13600 95200 | 2147483647 54880 48 | 0.004 % |
47.66/47.73 c | 102593 | 160 13600 95200 | 2147483647 55842 48 | 0.004 % |
48.26/48.40 c | 103648 | 160 13600 95200 | 2147483647 56897 48 | 0.004 % |
49.06/49.10 c | 104806 | 160 13600 95200 | 2147483647 58055 48 | 0.004 % |
49.06/49.18 c | 104908 | 160 13600 95200 | 2147483647 58157 48 | 0.004 % |
49.16/49.26 c | 105018 | 160 13600 95200 | 2147483647 58267 48 | 0.004 % |
49.26/49.36 c | 105139 | 160 13600 95200 | 2147483647 58388 48 | 0.004 % |
49.36/49.47 c | 105273 | 160 13600 95200 | 2147483647 58522 48 | 0.004 % |
49.46/49.59 c | 105422 | 160 13600 95200 | 2147483647 58671 48 | 0.004 % |
49.66/49.71 c | 105582 | 160 13600 95200 | 2147483647 58831 48 | 0.004 % |
49.76/49.85 c | 105758 | 160 13600 95200 | 2147483647 59007 48 | 0.004 % |
49.86/49.98 c | 105951 | 160 13600 95200 | 2147483647 59200 48 | 0.004 % |
50.06/50.14 c | 106163 | 160 13600 95200 | 2147483647 59412 48 | 0.004 % |
50.26/50.30 c | 106397 | 160 13600 95200 | 2147483647 59646 48 | 0.004 % |
50.36/50.49 c | 106653 | 160 13600 95200 | 2147483647 59902 48 | 0.004 % |
50.66/50.70 c | 106937 | 160 13600 95200 | 2147483647 60186 48 | 0.004 % |
50.86/50.92 c | 107247 | 160 13600 95200 | 2147483647 60496 48 | 0.004 % |
51.06/51.17 c | 107586 | 160 13600 95200 | 2147483647 60835 48 | 0.004 % |
51.36/51.49 c | 107958 | 160 13600 95200 | 2147483647 61207 48 | 0.004 % |
51.76/51.82 c | 108367 | 160 13600 95200 | 2147483647 61616 48 | 0.004 % |
52.06/52.15 c | 108816 | 160 13600 95200 | 2147483647 62065 48 | 0.004 % |
52.46/52.52 c | 109310 | 160 13600 95200 | 2147483647 62559 48 | 0.004 % |
52.86/52.90 c | 109852 | 160 13600 95200 | 2147483647 63101 48 | 0.004 % |
53.26/53.37 c | 110450 | 160 13600 95200 | 63250 56222 48 | 0.004 % |
53.76/53.83 c | 111105 | 160 13600 95200 | 63250 56877 48 | 0.004 % |
54.25/54.33 c | 111830 | 160 13600 95200 | 63250 57602 48 | 0.004 % |
54.75/54.82 c | 112627 | 160 13600 95200 | 63250 58399 48 | 0.004 % |
55.35/55.41 c | 113498 | 160 13600 95200 | 63250 59270 48 | 0.004 % |
55.96/56.06 c | 114456 | 160 13600 95200 | 63250 60228 48 | 0.004 % |
56.55/56.69 c | 115510 | 160 13600 95200 | 63250 61282 48 | 0.004 % |
57.45/57.55 c | 116668 | 160 13600 95200 | 63250 62440 48 | 0.004 % |
58.45/58.53 c | 117941 | 160 13600 95200 | 63250 56361 48 | 0.004 % |
58.55/58.60 c | 118041 | 160 13600 95200 | 63250 56461 48 | 0.004 % |
58.55/58.69 c | 118151 | 160 13600 95200 | 63250 56571 48 | 0.004 % |
58.65/58.78 c | 118273 | 160 13600 95200 | 63250 56693 48 | 0.004 % |
58.75/58.89 c | 118406 | 160 13600 95200 | 63250 56826 48 | 0.004 % |
58.85/59.00 c | 118552 | 160 13600 95200 | 63250 56972 48 | 0.004 % |
59.05/59.14 c | 118712 | 160 13600 95200 | 63250 57132 48 | 0.004 % |
59.15/59.26 c | 118890 | 160 13600 95200 | 63250 57310 48 | 0.004 % |
59.36/59.41 c | 119083 | 160 13600 95200 | 63250 57503 48 | 0.004 % |
59.45/59.58 c | 119295 | 160 13600 95200 | 63250 57715 48 | 0.004 % |
59.65/59.76 c | 119528 | 160 13600 95200 | 63250 57948 48 | 0.004 % |
59.85/59.97 c | 119786 | 160 13600 95200 | 63250 58206 48 | 0.004 % |
60.15/60.20 c | 120068 | 160 13600 95200 | 58420 58488 48 | 0.004 % |
60.36/60.46 c | 120377 | 160 13600 95200 | 58420 51722 48 | 0.004 % |
60.55/60.69 c | 120719 | 160 13600 95200 | 58420 52064 48 | 0.004 % |
60.85/60.90 c | 121091 | 160 13600 95200 | 58420 52436 48 | 0.004 % |
61.05/61.16 c | 121502 | 160 13600 95200 | 58420 52847 48 | 0.004 % |
61.35/61.44 c | 121953 | 160 13600 95200 | 58420 53298 48 | 0.004 % |
61.65/61.73 c | 122448 | 160 13600 95200 | 58420 53793 48 | 0.004 % |
61.95/62.04 c | 122991 | 160 13600 95200 | 58420 54336 48 | 0.004 % |
62.25/62.38 c | 123587 | 160 13600 95200 | 58420 54932 48 | 0.004 % |
62.75/62.85 c | 124243 | 160 13600 95200 | 58420 55588 48 | 0.004 % |
63.15/63.29 c | 124965 | 160 13600 95200 | 58420 56310 48 | 0.004 % |
63.66/63.78 c | 125757 | 160 13600 95200 | 58420 57102 48 | 0.004 % |
64.25/64.31 c | 126630 | 160 13600 95200 | 58420 57975 48 | 0.004 % |
64.86/64.95 c | 127588 | 160 13600 95200 | 58420 52985 48 | 0.004 % |
65.55/65.66 c | 128641 | 160 13600 95200 | 58420 54038 48 | 0.004 % |
66.25/66.34 c | 129800 | 160 13600 95200 | 58420 55197 48 | 0.004 % |
66.96/67.07 c | 131073 | 160 13600 95200 | 55401 50923 48 | 0.004 % |
67.95/68.00 c | 132473 | 160 13600 95200 | 55401 52323 48 | 0.004 % |
67.95/68.07 c | 132574 | 160 13600 95200 | 55401 52424 49 | 0.004 % |
68.05/68.16 c | 132686 | 160 13600 95200 | 55401 52536 49 | 0.004 % |
68.15/68.24 c | 132807 | 160 13600 95200 | 55401 52657 48 | 0.004 % |
68.25/68.32 c | 132940 | 160 13600 95200 | 55401 52790 48 | 0.004 % |
68.35/68.42 c | 133086 | 160 13600 95200 | 55401 52936 48 | 0.004 % |
68.45/68.53 c | 133246 | 160 13600 95200 | 55401 53096 48 | 0.004 % |
68.55/68.64 c | 133422 | 160 13600 95200 | 55401 53272 48 | 0.004 % |
68.65/68.78 c | 133617 | 160 13600 95200 | 55401 53467 48 | 0.004 % |
68.85/68.91 c | 133830 | 160 13600 95200 | 55401 53680 48 | 0.004 % |
68.95/69.07 c | 134063 | 160 13600 95200 | 55401 53913 48 | 0.004 % |
69.15/69.29 c | 134320 | 160 13600 95200 | 55401 54170 49 | 0.004 % |
69.35/69.48 c | 134601 | 160 13600 95200 | 55401 54451 49 | 0.004 % |
69.55/69.67 c | 134911 | 160 13600 95200 | 55401 54761 49 | 0.004 % |
69.75/69.87 c | 135252 | 160 13600 95200 | 55401 55102 49 | 0.004 % |
70.05/70.11 c | 135625 | 160 13600 95200 | 55401 55475 49 | 0.004 % |
70.25/70.39 c | 136036 | 160 13600 95200 | 55401 50339 49 | 0.004 % |
70.65/70.72 c | 136485 | 160 13600 95200 | 55401 50788 49 | 0.004 % |
70.95/71.04 c | 136978 | 160 13600 95200 | 55401 51281 49 | 0.004 % |
71.25/71.35 c | 137520 | 160 13600 95200 | 55401 51823 48 | 0.004 % |
71.75/71.80 c | 138117 | 160 13600 95200 | 55401 52420 48 | 0.004 % |
72.15/72.21 c | 138773 | 160 13600 95200 | 55401 53076 49 | 0.004 % |
72.55/72.67 c | 139493 | 160 13600 95200 | 55401 53796 49 | 0.004 % |
73.05/73.18 c | 140289 | 160 13600 95200 | 2147483647 54592 49 | 0.004 % |
73.65/73.70 c | 141160 | 160 13600 95200 | 2147483647 55463 49 | 0.004 % |
74.25/74.33 c | 142118 | 160 13600 95200 | 2147483647 56421 49 | 0.004 % |
74.85/74.98 c | 143172 | 160 13600 95200 | 2147483647 57475 49 | 0.004 % |
75.65/75.73 c | 144330 | 160 13600 95200 | 2147483647 58633 49 | 0.004 % |
76.35/76.49 c | 145603 | 160 13600 95200 | 2147483647 59906 49 | 0.004 % |
77.35/77.41 c | 147004 | 160 13600 95200 | 2147483647 61307 49 | 0.004 % |
78.55/78.65 c | 148544 | 160 13600 95200 | 2147483647 62847 49 | 0.004 % |
78.65/78.74 c | 148644 | 160 13600 95200 | 2147483647 62947 49 | 0.004 % |
78.75/78.84 c | 148758 | 160 13600 95200 | 2147483647 63061 49 | 0.004 % |
78.85/78.95 c | 148880 | 160 13600 95200 | 2147483647 63183 49 | 0.004 % |
78.95/79.06 c | 149015 | 160 13600 95200 | 2147483647 63318 49 | 0.004 % |
79.15/79.20 c | 149161 | 160 13600 95200 | 2147483647 63464 49 | 0.004 % |
79.25/79.34 c | 149321 | 160 13600 95200 | 2147483647 63624 49 | 0.004 % |
79.45/79.50 c | 149497 | 160 13600 95200 | 2147483647 63800 49 | 0.004 % |
79.55/79.68 c | 149691 | 160 13600 95200 | 2147483647 63994 49 | 0.004 % |
79.75/79.84 c | 149904 | 160 13600 95200 | 2147483647 64207 49 | 0.004 % |
79.95/80.09 c | 150137 | 160 13600 95200 | 64306 56544 49 | 0.004 % |
80.16/80.26 c | 150395 | 160 13600 95200 | 64306 56802 49 | 0.004 % |
80.35/80.44 c | 150677 | 160 13600 95200 | 64306 57084 49 | 0.004 % |
80.55/80.64 c | 150986 | 160 13600 95200 | 64306 57393 49 | 0.004 % |
80.75/80.86 c | 151326 | 160 13600 95200 | 64306 57733 49 | 0.004 % |
80.95/81.08 c | 151699 | 160 13600 95200 | 64306 58106 49 | 0.004 % |
81.26/81.35 c | 152108 | 160 13600 95200 | 64306 58515 49 | 0.004 % |
81.55/81.65 c | 152558 | 160 13600 95200 | 64306 58965 49 | 0.004 % |
81.95/82.05 c | 153051 | 160 13600 95200 | 64306 59458 49 | 0.004 % |
82.36/82.47 c | 153593 | 160 13600 95200 | 64306 60000 49 | 0.004 % |
82.85/82.93 c | 154191 | 160 13600 95200 | 64306 60598 49 | 0.004 % |
83.25/83.39 c | 154847 | 160 13600 95200 | 64306 61254 49 | 0.004 % |
83.85/83.91 c | 155567 | 160 13600 95200 | 64306 61974 49 | 0.004 % |
84.56/84.62 c | 156359 | 160 13600 95200 | 64306 62766 49 | 0.004 % |
85.15/85.27 c | 157230 | 160 13600 95200 | 64306 63637 49 | 0.004 % |
85.85/85.99 c | 158189 | 160 13600 95200 | 64306 55977 49 | 0.004 % |
86.55/86.63 c | 159244 | 160 13600 95200 | 64306 57032 49 | 0.004 % |
87.35/87.41 c | 160402 | 160 13600 95200 | 57788 50843 49 | 0.004 % |
88.05/88.15 c | 161676 | 160 13600 95200 | 57788 52117 49 | 0.004 % |
88.85/88.95 c | 163077 | 160 13600 95200 | 57788 53518 49 | 0.004 % |
89.85/89.92 c | 164617 | 160 13600 95200 | 57788 55058 49 | 0.004 % |
90.85/90.96 c | 166311 | 160 13600 95200 | 57788 56752 49 | 0.004 % |
90.95/91.02 c | 166411 | 160 13600 95200 | 57788 56852 49 | 0.004 % |
90.95/91.10 c | 166522 | 160 13600 95200 | 57788 56963 49 | 0.004 % |
91.15/91.23 c | 166644 | 160 13600 95200 | 57788 57085 49 | 0.004 % |
91.25/91.33 c | 166777 | 160 13600 95200 | 57788 57218 49 | 0.004 % |
91.35/91.46 c | 166924 | 160 13600 95200 | 57788 57365 49 | 0.004 % |
91.45/91.57 c | 167084 | 160 13600 95200 | 57788 57525 49 | 0.004 % |
91.65/91.75 c | 167260 | 160 13600 95200 | 57788 57701 49 | 0.004 % |
91.85/91.93 c | 167455 | 160 13600 95200 | 57788 52024 49 | 0.004 % |
91.95/92.07 c | 167668 | 160 13600 95200 | 57788 52237 49 | 0.004 % |
92.15/92.21 c | 167902 | 160 13600 95200 | 57788 52471 49 | 0.004 % |
92.25/92.37 c | 168158 | 160 13600 95200 | 57788 52727 49 | 0.004 % |
92.45/92.54 c | 168439 | 160 13600 95200 | 57788 53008 49 | 0.004 % |
92.65/92.71 c | 168751 | 160 13600 95200 | 57788 53320 49 | 0.004 % |
92.85/92.93 c | 169090 | 160 13600 95200 | 57788 53659 49 | 0.004 % |
93.15/93.20 c | 169462 | 160 13600 95200 | 57788 54031 49 | 0.004 % |
93.35/93.48 c | 169873 | 160 13600 95200 | 57788 54442 49 | 0.004 % |
93.65/93.75 c | 170322 | 160 13600 95200 | 54569 49426 49 | 0.004 % |
93.95/94.02 c | 170816 | 160 13600 95200 | 54569 49920 49 | 0.004 % |
94.25/94.31 c | 171359 | 160 13600 95200 | 54569 50463 49 | 0.004 % |
94.55/94.63 c | 171956 | 160 13600 95200 | 54569 51060 49 | 0.004 % |
94.95/95.04 c | 172612 | 160 13600 95200 | 54569 51716 49 | 0.004 % |
95.35/95.44 c | 173333 | 160 13600 95200 | 54569 52437 49 | 0.004 % |
95.85/95.90 c | 174126 | 160 13600 95200 | 54569 53230 49 | 0.004 % |
96.25/96.38 c | 174998 | 160 13600 95200 | 54569 54102 49 | 0.004 % |
96.85/96.97 c | 175956 | 160 13600 95200 | 54569 49597 49 | 0.004 % |
97.45/97.50 c | 177009 | 160 13600 95200 | 54569 50650 49 | 0.004 % |
98.15/98.26 c | 178168 | 160 13600 95200 | 54569 51809 49 | 0.004 % |
98.85/98.99 c | 179441 | 160 13600 95200 | 54569 53082 49 | 0.004 % |
99.75/99.80 c | 180842 | 160 13600 95200 | 2147483647 54483 49 | 0.004 % |
100.65/100.78 c | 182382 | 160 13600 95200 | 2147483647 56023 49 | 0.004 % |
101.75/101.80 c | 184076 | 160 13600 95200 | 2147483647 57717 49 | 0.004 % |
103.05/103.14 c | 185939 | 160 13600 95200 | 2147483647 59580 49 | 0.004 % |
103.15/103.21 c | 186039 | 160 13600 95200 | 2147483647 59680 49 | 0.004 % |
103.15/103.29 c | 186149 | 160 13600 95200 | 2147483647 59790 49 | 0.004 % |
103.25/103.38 c | 186271 | 160 13600 95200 | 2147483647 59912 49 | 0.004 % |
103.35/103.49 c | 186404 | 160 13600 95200 | 2147483647 60045 49 | 0.004 % |
103.45/103.60 c | 186550 | 160 13600 95200 | 2147483647 60191 49 | 0.004 % |
103.65/103.74 c | 186710 | 160 13600 95200 | 2147483647 60351 49 | 0.004 % |
103.75/103.88 c | 186888 | 160 13600 95200 | 2147483647 60529 49 | 0.004 % |
103.95/104.03 c | 187082 | 160 13600 95200 | 2147483647 60723 49 | 0.004 % |
104.15/104.20 c | 187295 | 160 13600 95200 | 2147483647 60936 49 | 0.004 % |
104.25/104.39 c | 187528 | 160 13600 95200 | 2147483647 61169 49 | 0.004 % |
104.55/104.62 c | 187784 | 160 13600 95200 | 2147483647 61425 49 | 0.004 % |
104.75/104.82 c | 188066 | 160 13600 95200 | 2147483647 61707 49 | 0.004 % |
104.95/105.06 c | 188375 | 160 13600 95200 | 2147483647 62016 49 | 0.004 % |
105.25/105.31 c | 188717 | 160 13600 95200 | 2147483647 62358 49 | 0.004 % |
105.45/105.57 c | 189090 | 160 13600 95200 | 2147483647 62731 49 | 0.004 % |
105.85/105.91 c | 189500 | 160 13600 95200 | 2147483647 63141 49 | 0.004 % |
106.15/106.28 c | 189949 | 160 13600 95200 | 2147483647 63590 49 | 0.004 % |
106.55/106.69 c | 190442 | 160 13600 95200 | 63642 56819 49 | 0.004 % |
106.94/107.02 c | 190984 | 160 13600 95200 | 63642 57361 49 | 0.004 % |
107.34/107.41 c | 191580 | 160 13600 95200 | 63642 57957 49 | 0.004 % |
107.84/107.91 c | 192236 | 160 13600 95200 | 63642 58613 49 | 0.004 % |
108.34/108.41 c | 192957 | 160 13600 95200 | 63642 59334 49 | 0.004 % |
108.85/108.97 c | 193749 | 160 13600 95200 | 63642 60126 49 | 0.004 % |
109.44/109.56 c | 194621 | 160 13600 95200 | 63642 60998 49 | 0.004 % |
110.15/110.21 c | 195581 | 160 13600 95200 | 63642 61958 49 | 0.004 % |
110.95/111.07 c | 196635 | 160 13600 95200 | 63642 63012 49 | 0.004 % |
111.74/111.89 c | 197794 | 160 13600 95200 | 63642 56240 49 | 0.004 % |
112.54/112.67 c | 199067 | 160 13600 95200 | 63642 57513 49 | 0.004 % |
113.54/113.65 c | 200467 | 160 13600 95200 | 58449 51829 48 | 0.004 % |
114.44/114.56 c | 202009 | 160 13600 95200 | 58449 53371 48 | 0.004 % |
115.54/115.65 c | 203703 | 160 13600 95200 | 58449 55065 48 | 0.004 % |
116.74/116.83 c | 205566 | 160 13600 95200 | 58449 56928 48 | 0.004 % |
118.04/118.20 c | 207615 | 160 13600 95200 | 58449 52913 48 | 0.004 % |
118.14/118.26 c | 207716 | 160 13600 95200 | 58449 53014 48 | 0.004 % |
118.24/118.33 c | 207827 | 160 13600 95200 | 58449 53125 48 | 0.004 % |
118.24/118.39 c | 207948 | 160 13600 95200 | 58449 53246 48 | 0.004 % |
118.34/118.48 c | 208081 | 160 13600 95200 | 58449 53379 48 | 0.004 % |
118.54/118.60 c | 208228 | 160 13600 95200 | 58449 53526 48 | 0.004 % |
118.65/118.73 c | 208388 | 160 13600 95200 | 58449 53686 48 | 0.004 % |
118.75/118.86 c | 208564 | 160 13600 95200 | 58449 53862 48 | 0.004 % |
118.84/118.99 c | 208757 | 160 13600 95200 | 58449 54055 48 | 0.004 % |
119.04/119.14 c | 208969 | 160 13600 95200 | 58449 54267 48 | 0.004 % |
119.24/119.30 c | 209203 | 160 13600 95200 | 58449 54501 48 | 0.004 % |
119.34/119.47 c | 209459 | 160 13600 95200 | 58449 54757 48 | 0.004 % |
119.54/119.64 c | 209740 | 160 13600 95200 | 58449 55038 48 | 0.004 % |
119.74/119.83 c | 210051 | 160 13600 95200 | 55299 55349 48 | 0.004 % |
120.04/120.11 c | 210391 | 160 13600 95200 | 55299 50065 48 | 0.004 % |
120.24/120.34 c | 210766 | 160 13600 95200 | 55299 50440 49 | 0.004 % |
120.44/120.58 c | 211175 | 160 13600 95200 | 55299 50849 49 | 0.004 % |
120.74/120.86 c | 211625 | 160 13600 95200 | 55299 51299 49 | 0.004 % |
121.04/121.12 c | 212120 | 160 13600 95200 | 55299 51794 49 | 0.004 % |
121.34/121.44 c | 212664 | 160 13600 95200 | 55299 52338 49 | 0.004 % |
121.64/121.79 c | 213260 | 160 13600 95200 | 55299 52934 49 | 0.004 % |
122.04/122.17 c | 213916 | 160 13600 95200 | 55299 53590 49 | 0.004 % |
122.44/122.57 c | 214636 | 160 13600 95200 | 55299 54310 49 | 0.004 % |
122.94/123.01 c | 215430 | 160 13600 95200 | 55299 55104 49 | 0.004 % |
123.54/123.60 c | 216301 | 160 13600 95200 | 55299 50439 48 | 0.004 % |
124.04/124.12 c | 217260 | 160 13600 95200 | 55299 51398 48 | 0.004 % |
124.64/124.76 c | 218314 | 160 13600 95200 | 55299 52452 48 | 0.004 % |
125.34/125.44 c | 219472 | 160 13600 95200 | 55299 53610 48 | 0.004 % |
126.14/126.21 c | 220746 | 160 13600 95200 | 2147483647 54884 49 | 0.004 % |
127.04/127.10 c | 222146 | 160 13600 95200 | 2147483647 56284 49 | 0.004 % |
127.84/127.98 c | 223688 | 160 13600 95200 | 2147483647 57826 48 | 0.004 % |
128.84/128.98 c | 225383 | 160 13600 95200 | 2147483647 59521 49 | 0.004 % |
130.04/130.12 c | 227246 | 160 13600 95200 | 2147483647 61384 49 | 0.004 % |
131.24/131.39 c | 229296 | 160 13600 95200 | 2147483647 63434 49 | 0.004 % |
132.73/132.87 c | 231549 | 160 13600 95200 | 2147483647 65687 49 | 0.004 % |
132.83/132.98 c | 231649 | 160 13600 95200 | 2147483647 65787 49 | 0.004 % |
132.94/133.07 c | 231759 | 160 13600 95200 | 2147483647 65897 49 | 0.004 % |
133.04/133.16 c | 231881 | 160 13600 95200 | 2147483647 66019 49 | 0.004 % |
133.13/133.26 c | 232014 | 160 13600 95200 | 2147483647 66152 49 | 0.004 % |
133.33/133.43 c | 232161 | 160 13600 95200 | 2147483647 66299 49 | 0.004 % |
133.43/133.57 c | 232321 | 160 13600 95200 | 2147483647 66459 49 | 0.004 % |
133.63/133.73 c | 232497 | 160 13600 95200 | 2147483647 66635 49 | 0.004 % |
133.73/133.87 c | 232693 | 160 13600 95200 | 2147483647 66831 49 | 0.004 % |
133.94/134.03 c | 232905 | 160 13600 95200 | 2147483647 67043 49 | 0.004 % |
134.05/134.19 c | 233138 | 160 13600 95200 | 2147483647 67276 49 | 0.004 % |
134.24/134.39 c | 233395 | 160 13600 95200 | 2147483647 67533 49 | 0.004 % |
134.44/134.59 c | 233677 | 160 13600 95200 | 2147483647 67815 49 | 0.004 % |
134.74/134.80 c | 233988 | 160 13600 95200 | 2147483647 68126 49 | 0.004 % |
134.94/135.02 c | 234328 | 160 13600 95200 | 2147483647 68466 49 | 0.004 % |
135.14/135.28 c | 234702 | 160 13600 95200 | 2147483647 68840 49 | 0.004 % |
135.44/135.57 c | 235112 | 160 13600 95200 | 2147483647 69250 49 | 0.004 % |
135.74/135.87 c | 235561 | 160 13600 95200 | 2147483647 69699 49 | 0.004 % |
136.24/136.31 c | 236054 | 160 13600 95200 | 2147483647 70192 49 | 0.004 % |
136.74/136.81 c | 236598 | 160 13600 95200 | 2147483647 70736 49 | 0.004 % |
137.24/137.38 c | 237195 | 160 13600 95200 | 2147483647 71333 49 | 0.004 % |
137.84/137.92 c | 237850 | 160 13600 95200 | 2147483647 71988 49 | 0.004 % |
138.34/138.48 c | 238571 | 160 13600 95200 | 2147483647 72709 49 | 0.004 % |
139.04/139.17 c | 239364 | 160 13600 95200 | 2147483647 73502 49 | 0.004 % |
139.83/139.96 c | 240238 | 160 13600 95200 | 74138 62065 49 | 0.004 % |
140.53/140.63 c | 241196 | 160 13600 95200 | 74138 63023 49 | 0.004 % |
141.33/141.40 c | 242250 | 160 13600 95200 | 74138 64077 49 | 0.004 % |
142.03/142.17 c | 243408 | 160 13600 95200 | 74138 65235 48 | 0.004 % |
142.84/142.93 c | 244681 | 160 13600 95200 | 74138 66508 49 | 0.004 % |
143.73/143.86 c | 246081 | 160 13600 95200 | 74138 67908 49 | 0.004 % |
145.04/145.18 c | 247622 | 160 13600 95200 | 74138 69449 49 | 0.004 % |
146.33/146.44 c | 249316 | 160 13600 95200 | 74138 71143 49 | 0.004 % |
147.63/147.74 c | 251179 | 160 13600 95200 | 71828 61311 49 | 0.004 % |
148.93/149.04 c | 253229 | 160 13600 95200 | 71828 63361 49 | 0.004 % |
150.53/150.61 c | 255482 | 160 13600 95200 | 71828 65614 49 | 0.004 % |
152.13/152.25 c | 257961 | 160 13600 95200 | 71828 68093 49 | 0.004 % |
152.23/152.32 c | 258062 | 160 13600 95200 | 71828 68194 49 | 0.004 % |
152.33/152.44 c | 258172 | 160 13600 95200 | 71828 68304 49 | 0.004 % |
152.43/152.54 c | 258293 | 160 13600 95200 | 71828 68425 49 | 0.004 % |
152.53/152.64 c | 258427 | 160 13600 95200 | 71828 68559 49 | 0.004 % |
152.63/152.75 c | 258574 | 160 13600 95200 | 71828 68706 49 | 0.004 % |
152.83/152.93 c | 258734 | 160 13600 95200 | 71828 68866 49 | 0.004 % |
152.93/153.07 c | 258910 | 160 13600 95200 | 71828 69042 49 | 0.004 % |
153.13/153.25 c | 259103 | 160 13600 95200 | 71828 69235 49 | 0.004 % |
153.33/153.43 c | 259315 | 160 13600 95200 | 71828 69447 49 | 0.004 % |
153.53/153.63 c | 259548 | 160 13600 95200 | 71828 69680 49 | 0.004 % |
153.73/153.90 c | 259805 | 160 13600 95200 | 71828 69937 49 | 0.004 % |
154.13/154.21 c | 260086 | 160 13600 95200 | 70132 59412 49 | 0.004 % |
154.33/154.41 c | 260396 | 160 13600 95200 | 70132 59722 49 | 0.004 % |
154.53/154.68 c | 260735 | 160 13600 95200 | 70132 60061 49 | 0.004 % |
154.83/154.93 c | 261108 | 160 13600 95200 | 70132 60434 49 | 0.004 % |
155.13/155.20 c | 261517 | 160 13600 95200 | 70132 60843 49 | 0.004 % |
155.43/155.55 c | 261967 | 160 13600 95200 | 70132 61293 49 | 0.004 % |
155.73/155.89 c | 262461 | 160 13600 95200 | 70132 61787 49 | 0.004 % |
156.13/156.25 c | 263003 | 160 13600 95200 | 70132 62329 49 | 0.004 % |
156.63/156.73 c | 263601 | 160 13600 95200 | 70132 62927 49 | 0.004 % |
157.13/157.24 c | 264257 | 160 13600 95200 | 70132 63583 49 | 0.004 % |
157.63/157.71 c | 264977 | 160 13600 95200 | 70132 64303 49 | 0.004 % |
158.13/158.27 c | 265772 | 160 13600 95200 | 70132 65098 49 | 0.004 % |
158.83/158.92 c | 266643 | 160 13600 95200 | 70132 65969 49 | 0.004 % |
159.43/159.55 c | 267601 | 160 13600 95200 | 70132 66927 49 | 0.004 % |
160.23/160.36 c | 268654 | 160 13600 95200 | 70132 67980 49 | 0.004 % |
161.13/161.23 c | 269812 | 160 13600 95200 | 70132 69138 49 | 0.004 % |
162.03/162.16 c | 271086 | 160 13600 95200 | 69326 59788 48 | 0.004 % |
163.03/163.19 c | 272486 | 160 13600 95200 | 69326 61188 48 | 0.004 % |
164.13/164.23 c | 274028 | 160 13600 95200 | 69326 62730 48 | 0.004 % |
165.22/165.40 c | 275723 | 160 13600 95200 | 69326 64425 49 | 0.004 % |
166.62/166.72 c | 277586 | 160 13600 95200 | 69326 66288 49 | 0.004 % |
168.02/168.10 c | 279636 | 160 13600 95200 | 69326 68338 49 | 0.004 % |
169.42/169.58 c | 281889 | 160 13600 95200 | 68702 60323 49 | 0.004 % |
171.02/171.13 c | 284367 | 160 13600 95200 | 68702 62801 49 | 0.004 % |
172.72/172.88 c | 287093 | 160 13600 95200 | 68702 65527 49 | 0.004 % |
172.82/172.98 c | 287194 | 160 13600 95200 | 68702 65628 49 | 0.004 % |
172.92/173.07 c | 287304 | 160 13600 95200 | 68702 65738 49 | 0.004 % |
173.02/173.16 c | 287426 | 160 13600 95200 | 68702 65860 49 | 0.004 % |
173.12/173.27 c | 287561 | 160 13600 95200 | 68702 65995 49 | 0.004 % |
173.32/173.42 c | 287707 | 160 13600 95200 | 68702 66141 49 | 0.004 % |
173.42/173.55 c | 287869 | 160 13600 95200 | 68702 66303 49 | 0.004 % |
173.63/173.71 c | 288047 | 160 13600 95200 | 68702 66481 49 | 0.004 % |
173.82/173.90 c | 288241 | 160 13600 95200 | 68702 66675 49 | 0.004 % |
173.92/174.08 c | 288456 | 160 13600 95200 | 68702 66890 49 | 0.004 % |
174.22/174.30 c | 288695 | 160 13600 95200 | 68702 67129 49 | 0.004 % |
174.42/174.51 c | 288951 | 160 13600 95200 | 68702 67385 49 | 0.004 % |
174.62/174.73 c | 289233 | 160 13600 95200 | 68702 67667 49 | 0.004 % |
174.83/174.95 c | 289543 | 160 13600 95200 | 68702 67977 49 | 0.004 % |
175.12/175.26 c | 289882 | 160 13600 95200 | 68702 68316 49 | 0.004 % |
175.52/175.64 c | 290256 | 160 13600 95200 | 68435 58705 49 | 0.004 % |
175.83/175.90 c | 290665 | 160 13600 95200 | 68435 59114 49 | 0.004 % |
176.12/176.22 c | 291114 | 160 13600 95200 | 68435 59563 49 | 0.004 % |
176.52/176.60 c | 291608 | 160 13600 95200 | 68435 60057 49 | 0.004 % |
176.82/176.98 c | 292150 | 160 13600 95200 | 68435 60599 49 | 0.004 % |
177.22/177.39 c | 292747 | 160 13600 95200 | 68435 61196 49 | 0.004 % |
177.72/177.81 c | 293402 | 160 13600 95200 | 68435 61851 49 | 0.004 % |
178.12/178.27 c | 294123 | 160 13600 95200 | 68435 62572 49 | 0.004 % |
178.62/178.78 c | 294916 | 160 13600 95200 | 68435 63365 49 | 0.004 % |
179.22/179.31 c | 295788 | 160 13600 95200 | 68435 64237 49 | 0.004 % |
179.82/179.98 c | 296748 | 160 13600 95200 | 68435 65197 49 | 0.004 % |
180.52/180.68 c | 297802 | 160 13600 95200 | 68435 66251 49 | 0.004 % |
181.32/181.42 c | 298961 | 160 13600 95200 | 68435 67410 49 | 0.004 % |
182.32/182.41 c | 300236 | 160 13600 95200 | 68449 59310 49 | 0.004 % |
183.12/183.24 c | 301640 | 160 13600 95200 | 68449 60714 49 | 0.004 % |
184.12/184.22 c | 303181 | 160 13600 95200 | 68449 62255 49 | 0.004 % |
185.32/185.41 c | 304875 | 160 13600 95200 | 68449 63949 49 | 0.004 % |
186.52/186.66 c | 306738 | 160 13600 95200 | 68449 65812 49 | 0.004 % |
187.92/188.07 c | 308787 | 160 13600 95200 | 68449 67861 49 | 0.004 % |
189.32/189.48 c | 311041 | 160 13600 95200 | 59803 52911 49 | 0.004 % |
190.92/191.03 c | 313520 | 160 13600 95200 | 59803 55390 49 | 0.004 % |
192.72/192.85 c | 316246 | 160 13600 95200 | 59803 58116 49 | 0.004 % |
194.63/194.74 c | 319245 | 160 13600 95200 | 59803 54302 49 | 0.004 % |
194.72/194.80 c | 319345 | 160 13600 95200 | 59803 54402 49 | 0.004 % |
194.72/194.87 c | 319455 | 160 13600 95200 | 59803 54512 49 | 0.004 % |
194.82/194.95 c | 319577 | 160 13600 95200 | 59803 54634 49 | 0.004 % |
194.92/195.05 c | 319712 | 160 13600 95200 | 59803 54769 49 | 0.004 % |
195.02/195.16 c | 319859 | 160 13600 95200 | 59803 54916 49 | 0.004 % |
195.12/195.29 c | 320019 | 160 13600 95200 | 55060 55076 49 | 0.004 % |
195.32/195.47 c | 320196 | 160 13600 95200 | 55060 49205 49 | 0.004 % |
195.42/195.58 c | 320389 | 160 13600 95200 | 55060 49398 49 | 0.004 % |
195.63/195.71 c | 320602 | 160 13600 95200 | 55060 49611 49 | 0.004 % |
195.72/195.84 c | 320836 | 160 13600 95200 | 55060 49845 49 | 0.004 % |
195.82/195.99 c | 321094 | 160 13600 95200 | 55060 50103 49 | 0.004 % |
196.02/196.18 c | 321375 | 160 13600 95200 | 55060 50384 49 | 0.004 % |
196.22/196.38 c | 321685 | 160 13600 95200 | 55060 50694 49 | 0.004 % |
196.52/196.60 c | 322024 | 160 13600 95200 | 55060 51033 49 | 0.004 % |
196.72/196.88 c | 322398 | 160 13600 95200 | 55060 51407 49 | 0.004 % |
197.02/197.15 c | 322807 | 160 13600 95200 | 55060 51816 49 | 0.004 % |
197.22/197.39 c | 323257 | 160 13600 95200 | 55060 52266 49 | 0.004 % |
197.52/197.67 c | 323750 | 160 13600 95200 | 55060 52759 49 | 0.004 % |
197.82/197.98 c | 324293 | 160 13600 95200 | 55060 53302 49 | 0.004 % |
198.22/198.34 c | 324891 | 160 13600 95200 | 55060 53900 49 | 0.004 % |
198.62/198.76 c | 325547 | 160 13600 95200 | 55060 54556 49 | 0.004 % |
199.12/199.29 c | 326267 | 160 13600 95200 | 55060 49763 49 | 0.004 % |
199.62/199.72 c | 327061 | 160 13600 95200 | 55060 50557 49 | 0.004 % |
200.12/200.27 c | 327933 | 160 13600 95200 | 55060 51429 49 | 0.004 % |
200.72/200.84 c | 328891 | 160 13600 95200 | 55060 52387 49 | 0.004 % |
201.32/201.45 c | 329944 | 160 13600 95200 | 55060 53440 49 | 0.004 % |
202.02/202.11 c | 331105 | 160 13600 95200 | 2147483647 54601 49 | 0.004 % |
202.72/202.87 c | 332378 | 160 13600 95200 | 2147483647 55874 49 | 0.004 % |
203.62/203.76 c | 333779 | 160 13600 95200 | 2147483647 57275 49 | 0.004 % |
204.62/204.74 c | 335319 | 160 13600 95200 | 2147483647 58815 49 | 0.004 % |
205.82/205.94 c | 337013 | 160 13600 95200 | 2147483647 60509 48 | 0.004 % |
207.22/207.30 c | 338878 | 160 13600 95200 | 2147483647 62374 48 | 0.004 % |
208.52/208.68 c | 340929 | 160 13600 95200 | 63497 57473 48 | 0.004 % |
209.92/210.09 c | 343185 | 160 13600 95200 | 63497 59729 48 | 0.004 % |
211.62/211.78 c | 345664 | 160 13600 95200 | 63497 62208 48 | 0.004 % |
213.52/213.62 c | 348392 | 160 13600 95200 | 63497 57627 48 | 0.004 % |
215.42/215.50 c | 351389 | 160 13600 95200 | 59238 54020 48 | 0.004 % |
217.41/217.51 c | 354687 | 160 13600 95200 | 59238 57318 48 | 0.004 % |
217.41/217.58 c | 354789 | 160 13600 95200 | 59238 57420 48 | 0.004 % |
217.51/217.66 c | 354899 | 160 13600 95200 | 59238 57530 48 | 0.004 % |
217.62/217.74 c | 355020 | 160 13600 95200 | 59238 57651 48 | 0.004 % |
217.72/217.87 c | 355156 | 160 13600 95200 | 59238 57787 48 | 0.004 % |
217.81/217.99 c | 355302 | 160 13600 95200 | 59238 57933 48 | 0.004 % |
218.01/218.11 c | 355462 | 160 13600 95200 | 59238 58093 48 | 0.004 % |
218.11/218.26 c | 355638 | 160 13600 95200 | 59238 58269 48 | 0.004 % |
218.21/218.39 c | 355832 | 160 13600 95200 | 59238 58463 48 | 0.004 % |
218.41/218.54 c | 356044 | 160 13600 95200 | 59238 58675 48 | 0.004 % |
218.61/218.72 c | 356278 | 160 13600 95200 | 59238 58909 48 | 0.004 % |
218.82/218.93 c | 356534 | 160 13600 95200 | 59238 59165 48 | 0.004 % |
219.01/219.17 c | 356816 | 160 13600 95200 | 59238 53133 48 | 0.004 % |
219.21/219.36 c | 357127 | 160 13600 95200 | 59238 53444 48 | 0.004 % |
219.41/219.58 c | 357466 | 160 13600 95200 | 59238 53783 48 | 0.004 % |
219.61/219.79 c | 357838 | 160 13600 95200 | 59238 54155 48 | 0.004 % |
219.91/220.04 c | 358248 | 160 13600 95200 | 59238 54565 48 | 0.004 % |
220.21/220.32 c | 358697 | 160 13600 95200 | 59238 55014 48 | 0.004 % |
220.51/220.60 c | 359192 | 160 13600 95200 | 59238 55509 48 | 0.004 % |
220.81/220.94 c | 359735 | 160 13600 95200 | 59238 56052 48 | 0.004 % |
221.21/221.33 c | 360331 | 160 13600 95200 | 56318 50899 48 | 0.004 % |
221.51/221.67 c | 360986 | 160 13600 95200 | 56318 51554 48 | 0.004 % |
221.91/222.10 c | 361707 | 160 13600 95200 | 56318 52275 48 | 0.004 % |
222.41/222.54 c | 362500 | 160 13600 95200 | 56318 53068 48 | 0.004 % |
222.91/223.09 c | 363373 | 160 13600 95200 | 56318 53941 48 | 0.004 % |
223.51/223.66 c | 364331 | 160 13600 95200 | 56318 54899 48 | 0.004 % |
224.11/224.23 c | 365385 | 160 13600 95200 | 56318 55953 48 | 0.004 % |
224.81/224.91 c | 366544 | 160 13600 95200 | 56318 51474 48 | 0.004 % |
225.51/225.69 c | 367818 | 160 13600 95200 | 56318 52748 48 | 0.004 % |
226.41/226.53 c | 369218 | 160 13600 95200 | 56318 54148 48 | 0.004 % |
227.31/227.41 c | 370758 | 160 13600 95200 | 2147483647 55688 48 | 0.004 % |
228.21/228.34 c | 372452 | 160 13600 95200 | 2147483647 57382 48 | 0.004 % |
229.20/229.37 c | 374315 | 160 13600 95200 | 2147483647 59245 48 | 0.004 % |
230.60/230.79 c | 376364 | 160 13600 95200 | 2147483647 61294 48 | 0.004 % |
232.20/232.36 c | 378617 | 160 13600 95200 | 2147483647 63547 48 | 0.004 % |
233.90/234.04 c | 381098 | 160 13600 95200 | 2147483647 66028 48 | 0.004 % |
236.10/236.21 c | 383823 | 160 13600 95200 | 2147483647 68753 48 | 0.004 % |
238.51/238.64 c | 386823 | 160 13600 95200 | 2147483647 71753 48 | 0.004 % |
241.10/241.25 c | 390120 | 160 13600 95200 | 74932 62540 49 | 0.004 % |
243.50/243.67 c | 393747 | 160 13600 95200 | 74932 66167 49 | 0.004 % |
243.60/243.75 c | 393850 | 160 13600 95200 | 74932 66270 49 | 0.004 % |
243.70/243.85 c | 393961 | 160 13600 95200 | 74932 66381 49 | 0.004 % |
243.80/243.95 c | 394085 | 160 13600 95200 | 74932 66505 49 | 0.004 % |
243.90/244.08 c | 394218 | 160 13600 95200 | 74932 66638 49 | 0.004 % |
244.10/244.21 c | 394365 | 160 13600 95200 | 74932 66785 49 | 0.004 % |
244.20/244.35 c | 394527 | 160 13600 95200 | 74932 66947 49 | 0.004 % |
244.40/244.52 c | 394705 | 160 13600 95200 | 74932 67125 49 | 0.004 % |
244.50/244.67 c | 394898 | 160 13600 95200 | 74932 67318 49 | 0.004 % |
244.70/244.85 c | 395113 | 160 13600 95200 | 74932 67533 49 | 0.004 % |
244.90/245.05 c | 395350 | 160 13600 95200 | 74932 67770 48 | 0.004 % |
245.10/245.26 c | 395606 | 160 13600 95200 | 74932 68026 48 | 0.004 % |
245.40/245.50 c | 395888 | 160 13600 95200 | 74932 68308 48 | 0.004 % |
245.60/245.75 c | 396197 | 160 13600 95200 | 74932 68617 48 | 0.004 % |
245.90/246.03 c | 396540 | 160 13600 95200 | 74932 68960 48 | 0.004 % |
246.20/246.37 c | 396912 | 160 13600 95200 | 74932 69332 48 | 0.004 % |
246.60/246.72 c | 397321 | 160 13600 95200 | 74932 69741 48 | 0.004 % |
246.90/247.05 c | 397772 | 160 13600 95200 | 74932 70192 48 | 0.004 % |
247.30/247.44 c | 398265 | 160 13600 95200 | 74932 70685 48 | 0.004 % |
247.80/247.90 c | 398810 | 160 13600 95200 | 74932 71230 48 | 0.004 % |
248.20/248.31 c | 399406 | 160 13600 95200 | 74932 71826 48 | 0.004 % |
248.70/248.84 c | 400062 | 160 13600 95200 | 72421 72482 48 | 0.004 % |
249.30/249.49 c | 400782 | 160 13600 95200 | 72421 61290 48 | 0.004 % |
249.80/249.98 c | 401575 | 160 13600 95200 | 72421 62083 48 | 0.004 % |
250.49/250.62 c | 402448 | 160 13600 95200 | 72421 62956 49 | 0.004 % |
251.19/251.32 c | 403406 | 160 13600 95200 | 72421 63914 49 | 0.004 % |
251.89/252.02 c | 404461 | 160 13600 95200 | 72421 64969 48 | 0.004 % |
252.59/252.79 c | 405619 | 160 13600 95200 | 72421 66127 49 | 0.004 % |
253.49/253.69 c | 406893 | 160 13600 95200 | 72421 67401 49 | 0.004 % |
254.49/254.69 c | 408293 | 160 13600 95200 | 72421 68801 49 | 0.004 % |
255.59/255.80 c | 409833 | 160 13600 95200 | 72421 70341 49 | 0.004 % |
256.79/256.96 c | 411527 | 160 13600 95200 | 70508 61236 48 | 0.004 % |
258.19/258.37 c | 413390 | 160 13600 95200 | 70508 63099 49 | 0.004 % |
259.59/259.79 c | 415441 | 160 13600 95200 | 70508 65150 49 | 0.004 % |
261.19/261.33 c | 417694 | 160 13600 95200 | 70508 67403 49 | 0.004 % |
263.19/263.32 c | 420175 | 160 13600 95200 | 69709 58976 49 | 0.004 % |
264.89/265.03 c | 422901 | 160 13600 95200 | 69709 61702 49 | 0.004 % |
266.79/266.94 c | 425898 | 160 13600 95200 | 69709 64699 49 | 0.004 % |
268.89/269.09 c | 429194 | 160 13600 95200 | 69709 67995 49 | 0.004 % |
271.19/271.39 c | 432820 | 160 13600 95200 | 68801 62228 49 | 0.004 % |
273.79/273.91 c | 436807 | 160 13600 95200 | 68801 66215 49 | 0.004 % |
273.79/273.99 c | 436908 | 160 13600 95200 | 68801 66316 49 | 0.004 % |
273.88/274.08 c | 437018 | 160 13600 95200 | 68801 66426 49 | 0.004 % |
274.08/274.21 c | 437140 | 160 13600 95200 | 68801 66548 49 | 0.004 % |
274.18/274.33 c | 437275 | 160 13600 95200 | 68801 66683 49 | 0.004 % |
274.28/274.47 c | 437421 | 160 13600 95200 | 68801 66829 49 | 0.004 % |
274.48/274.61 c | 437582 | 160 13600 95200 | 68801 66990 49 | 0.004 % |
274.58/274.79 c | 437761 | 160 13600 95200 | 68801 67169 49 | 0.004 % |
274.79/274.98 c | 437954 | 160 13600 95200 | 68801 67362 49 | 0.004 % |
274.98/275.17 c | 438166 | 160 13600 95200 | 68801 67574 49 | 0.004 % |
275.18/275.34 c | 438399 | 160 13600 95200 | 68801 67807 49 | 0.004 % |
275.38/275.56 c | 438656 | 160 13600 95200 | 68801 68064 49 | 0.004 % |
275.68/275.80 c | 438937 | 160 13600 95200 | 68801 68345 49 | 0.004 % |
275.89/276.06 c | 439247 | 160 13600 95200 | 68801 68655 49 | 0.004 % |
276.18/276.39 c | 439587 | 160 13600 95200 | 68801 59158 49 | 0.004 % |
276.48/276.68 c | 439961 | 160 13600 95200 | 68801 59532 49 | 0.004 % |
276.78/276.98 c | 440370 | 160 13600 95200 | 59572 51365 49 | 0.004 % |
277.09/277.27 c | 440819 | 160 13600 95200 | 59572 51814 49 | 0.004 % |
277.38/277.57 c | 441312 | 160 13600 95200 | 59572 52307 49 | 0.004 % |
277.68/277.88 c | 441856 | 160 13600 95200 | 59572 52851 49 | 0.004 % |
278.09/278.22 c | 442452 | 160 13600 95200 | 59572 53447 49 | 0.004 % |
278.38/278.57 c | 443107 | 160 13600 95200 | 59572 54102 49 | 0.004 % |
278.78/278.96 c | 443829 | 160 13600 95200 | 59572 54824 49 | 0.004 % |
279.28/279.42 c | 444621 | 160 13600 95200 | 59572 55616 49 | 0.004 % |
279.78/279.97 c | 445495 | 160 13600 95200 | 59572 56490 49 | 0.004 % |
280.38/280.54 c | 446454 | 160 13600 95200 | 59572 57449 49 | 0.004 % |
280.98/281.20 c | 447508 | 160 13600 95200 | 59572 58503 49 | 0.004 % |
281.88/282.04 c | 448668 | 160 13600 95200 | 59572 53360 49 | 0.004 % |
282.68/282.86 c | 449941 | 160 13600 95200 | 59572 54633 49 | 0.004 % |
283.58/283.70 c | 451341 | 160 13600 95200 | 54693 50318 49 | 0.004 % |
284.48/284.61 c | 452882 | 160 13600 95200 | 54693 51859 49 | 0.004 % |
285.38/285.59 c | 454576 | 160 13600 95200 | 54693 53553 49 | 0.004 % |
286.48/286.62 c | 456440 | 160 13600 95200 | 54693 49941 49 | 0.004 % |
287.58/287.76 c | 458489 | 160 13600 95200 | 54693 51990 49 | 0.004 % |
288.88/289.01 c | 460743 | 160 13600 95200 | 2147483647 54244 49 | 0.004 % |
290.18/290.34 c | 463221 | 160 13600 95200 | 2147483647 56722 49 | 0.004 % |
291.78/291.91 c | 465947 | 160 13600 95200 | 2147483647 59448 49 | 0.004 % |
293.78/293.94 c | 468945 | 160 13600 95200 | 2147483647 62446 49 | 0.004 % |
296.08/296.21 c | 472241 | 160 13600 95200 | 2147483647 65742 49 | 0.004 % |
298.57/298.74 c | 475866 | 160 13600 95200 | 2147483647 69367 49 | 0.004 % |
301.57/301.71 c | 479854 | 160 13600 95200 | 2147483647 73355 49 | 0.004 % |
304.67/304.87 c | 484239 | 160 13600 95200 | 73501 67014 49 | 0.004 % |
304.77/304.95 c | 484340 | 160 13600 95200 | 73501 67115 49 | 0.004 % |
304.87/305.02 c | 484450 | 160 13600 95200 | 73501 67225 49 | 0.004 % |
304.97/305.11 c | 484571 | 160 13600 95200 | 73501 67346 49 | 0.004 % |
305.07/305.22 c | 484704 | 160 13600 95200 | 73501 67479 49 | 0.004 % |
305.17/305.36 c | 484850 | 160 13600 95200 | 73501 67625 49 | 0.004 % |
305.37/305.51 c | 485010 | 160 13600 95200 | 73501 67785 49 | 0.004 % |
305.47/305.66 c | 485186 | 160 13600 95200 | 73501 67961 49 | 0.004 % |
305.67/305.82 c | 485379 | 160 13600 95200 | 73501 68154 49 | 0.004 % |
305.77/305.99 c | 485593 | 160 13600 95200 | 73501 68368 49 | 0.004 % |
306.07/306.22 c | 485826 | 160 13600 95200 | 73501 68601 49 | 0.004 % |
306.27/306.44 c | 486082 | 160 13600 95200 | 73501 68857 49 | 0.004 % |
306.57/306.70 c | 486364 | 160 13600 95200 | 73501 69139 49 | 0.004 % |
306.77/306.99 c | 486675 | 160 13600 95200 | 73501 69450 49 | 0.004 % |
307.07/307.24 c | 487014 | 160 13600 95200 | 73501 69789 49 | 0.004 % |
307.37/307.55 c | 487387 | 160 13600 95200 | 73501 70162 49 | 0.004 % |
307.67/307.90 c | 487797 | 160 13600 95200 | 73501 70572 49 | 0.004 % |
308.07/308.27 c | 488248 | 160 13600 95200 | 73501 71023 49 | 0.004 % |
308.47/308.69 c | 488743 | 160 13600 95200 | 73501 71518 49 | 0.004 % |
308.97/309.13 c | 489285 | 160 13600 95200 | 73501 72060 49 | 0.004 % |
309.37/309.56 c | 489881 | 160 13600 95200 | 73501 72656 49 | 0.004 % |
309.87/310.08 c | 490536 | 160 13600 95200 | 72775 60965 49 | 0.004 % |
310.47/310.63 c | 491257 | 160 13600 95200 | 72775 61686 49 | 0.004 % |
310.97/311.17 c | 492050 | 160 13600 95200 | 72775 62479 49 | 0.004 % |
311.57/311.79 c | 492921 | 160 13600 95200 | 72775 63350 49 | 0.004 % |
312.27/312.47 c | 493880 | 160 13600 95200 | 72775 64309 49 | 0.004 % |
312.96/313.18 c | 494933 | 160 13600 95200 | 72775 65362 49 | 0.004 % |
313.76/313.97 c | 496092 | 160 13600 95200 | 72775 66521 49 | 0.004 % |
314.76/314.97 c | 497366 | 160 13600 95200 | 72775 67795 49 | 0.004 % |
315.76/315.99 c | 498766 | 160 13600 95200 | 72775 69195 49 | 0.004 % |
316.96/317.16 c | 500312 | 160 13600 95200 | 70430 59483 49 | 0.004 % |
318.06/318.28 c | 502006 | 160 13600 95200 | 70430 61177 49 | 0.004 % |
319.56/319.71 c | 503869 | 160 13600 95200 | 70430 63040 49 | 0.004 % |
320.86/321.10 c | 505918 | 160 13600 95200 | 70430 65089 49 | 0.004 % |
322.46/322.62 c | 508173 | 160 13600 95200 | 70430 67344 49 | 0.004 % |
324.16/324.30 c | 510651 | 160 13600 95200 | 69171 60122 49 | 0.004 % |
325.76/325.96 c | 513376 | 160 13600 95200 | 69171 62847 49 | 0.004 % |
327.76/327.90 c | 516374 | 160 13600 95200 | 69171 65845 49 | 0.004 % |
329.96/330.10 c | 519670 | 160 13600 95200 | 69171 69141 49 | 0.004 % |
332.17/332.32 c | 523298 | 160 13600 95200 | 60095 55273 49 | 0.004 % |
334.57/334.70 c | 527285 | 160 13600 95200 | 60095 59260 49 | 0.004 % |
337.17/337.30 c | 531672 | 160 13600 95200 | 2147483647 57631 49 | 0.004 % |
339.96/340.14 c | 536495 | 160 13600 95200 | 2147483647 62454 49 | 0.004 % |
340.06/340.21 c | 536595 | 160 13600 95200 | 2147483647 62554 49 | 0.004 % |
340.16/340.33 c | 536707 | 160 13600 95200 | 2147483647 62666 49 | 0.004 % |
340.26/340.43 c | 536829 | 160 13600 95200 | 2147483647 62788 49 | 0.004 % |
340.36/340.55 c | 536963 | 160 13600 95200 | 2147483647 62922 49 | 0.004 % |
340.46/340.67 c | 537112 | 160 13600 95200 | 2147483647 63071 49 | 0.004 % |
340.56/340.79 c | 537272 | 160 13600 95200 | 2147483647 63231 49 | 0.004 % |
340.77/340.92 c | 537448 | 160 13600 95200 | 2147483647 63407 49 | 0.004 % |
340.87/341.07 c | 537642 | 160 13600 95200 | 2147483647 63601 49 | 0.004 % |
341.06/341.25 c | 537854 | 160 13600 95200 | 2147483647 63813 49 | 0.004 % |
341.26/341.43 c | 538087 | 160 13600 95200 | 2147483647 64046 49 | 0.004 % |
341.46/341.66 c | 538344 | 160 13600 95200 | 2147483647 64303 49 | 0.004 % |
341.66/341.86 c | 538627 | 160 13600 95200 | 2147483647 64586 49 | 0.004 % |
341.86/342.05 c | 538937 | 160 13600 95200 | 2147483647 64896 49 | 0.004 % |
342.06/342.25 c | 539276 | 160 13600 95200 | 2147483647 65235 49 | 0.004 % |
342.26/342.50 c | 539649 | 160 13600 95200 | 2147483647 65608 49 | 0.004 % |
342.56/342.78 c | 540059 | 160 13600 95200 | 65960 66018 49 | 0.004 % |
342.96/343.18 c | 540509 | 160 13600 95200 | 65960 59431 49 | 0.004 % |
343.36/343.50 c | 541004 | 160 13600 95200 | 65960 59926 49 | 0.004 % |
343.76/343.92 c | 541547 | 160 13600 95200 | 65960 60469 49 | 0.004 % |
344.16/344.33 c | 542143 | 160 13600 95200 | 65960 61065 49 | 0.004 % |
344.66/344.80 c | 542799 | 160 13600 95200 | 65960 61721 49 | 0.004 % |
345.16/345.36 c | 543519 | 160 13600 95200 | 65960 62441 49 | 0.004 % |
345.76/345.96 c | 544311 | 160 13600 95200 | 65960 63233 49 | 0.004 % |
346.36/346.52 c | 545182 | 160 13600 95200 | 65960 64104 49 | 0.004 % |
346.96/347.17 c | 546141 | 160 13600 95200 | 65960 65063 49 | 0.004 % |
347.76/347.94 c | 547195 | 160 13600 95200 | 65960 57700 49 | 0.004 % |
348.46/348.68 c | 548355 | 160 13600 95200 | 65960 58860 49 | 0.004 % |
349.26/349.46 c | 549628 | 160 13600 95200 | 65960 60133 49 | 0.004 % |
350.16/350.35 c | 551029 | 160 13600 95200 | 60507 54126 49 | 0.004 % |
351.26/351.42 c | 552570 | 160 13600 95200 | 60507 55667 49 | 0.004 % |
352.26/352.48 c | 554264 | 160 13600 95200 | 60507 57361 49 | 0.004 % |
353.36/353.59 c | 556128 | 160 13600 95200 | 60507 59225 49 | 0.004 % |
354.76/354.90 c | 558177 | 160 13600 95200 | 60507 54794 49 | 0.004 % |
356.05/356.28 c | 560430 | 160 13600 95200 | 56618 51378 49 | 0.004 % |
357.46/357.62 c | 562908 | 160 13600 95200 | 56618 53856 49 | 0.004 % |
359.05/359.21 c | 565634 | 160 13600 95200 | 56618 56582 49 | 0.004 % |
360.75/360.93 c | 568631 | 160 13600 95200 | 56618 53910 49 | 0.004 % |
362.86/363.03 c | 571927 | 160 13600 95200 | 2147483647 57206 49 | 0.004 % |
365.15/365.34 c | 575552 | 160 13600 95200 | 2147483647 60831 49 | 0.004 % |
367.75/367.99 c | 579539 | 160 13600 95200 | 2147483647 64818 49 | 0.004 % |
370.55/370.71 c | 583925 | 160 13600 95200 | 65279 61949 49 | 0.004 % |
373.75/373.91 c | 588748 | 160 13600 95200 | 65279 58665 49 | 0.004 % |
376.85/377.00 c | 594053 | 160 13600 95200 | 59917 56765 49 | 0.004 % |
376.85/377.08 c | 594153 | 160 13600 95200 | 59917 56865 49 | 0.004 % |
376.95/377.16 c | 594265 | 160 13600 95200 | 59917 56977 49 | 0.004 % |
377.05/377.23 c | 594387 | 160 13600 95200 | 59917 57099 49 | 0.004 % |
377.15/377.33 c | 594523 | 160 13600 95200 | 59917 57235 49 | 0.004 % |
377.25/377.45 c | 594669 | 160 13600 95200 | 59917 57381 49 | 0.004 % |
377.35/377.57 c | 594829 | 160 13600 95200 | 59917 57541 49 | 0.004 % |
377.45/377.69 c | 595005 | 160 13600 95200 | 59917 57717 49 | 0.004 % |
377.65/377.86 c | 595199 | 160 13600 95200 | 59917 57911 49 | 0.004 % |
377.85/378.05 c | 595411 | 160 13600 95200 | 59917 58123 49 | 0.004 % |
378.05/378.23 c | 595645 | 160 13600 95200 | 59917 58357 49 | 0.004 % |
378.25/378.41 c | 595902 | 160 13600 95200 | 59917 58614 49 | 0.004 % |
378.45/378.60 c | 596183 | 160 13600 95200 | 59917 58895 49 | 0.004 % |
378.65/378.83 c | 596493 | 160 13600 95200 | 59917 59205 49 | 0.004 % |
378.85/379.09 c | 596832 | 160 13600 95200 | 59917 59544 49 | 0.004 % |
379.15/379.34 c | 597204 | 160 13600 95200 | 59917 59916 49 | 0.004 % |
379.45/379.62 c | 597614 | 160 13600 95200 | 59917 53951 49 | 0.004 % |
379.75/379.91 c | 598063 | 160 13600 95200 | 59917 54400 49 | 0.004 % |
380.05/380.27 c | 598556 | 160 13600 95200 | 59917 54893 49 | 0.004 % |
380.45/380.67 c | 599099 | 160 13600 95200 | 59917 55436 49 | 0.004 % |
380.95/381.14 c | 599696 | 160 13600 95200 | 59917 56033 49 | 0.004 % |
381.45/381.63 c | 600352 | 160 13600 95200 | 56338 50506 49 | 0.004 % |
381.84/382.07 c | 601072 | 160 13600 95200 | 56338 51226 49 | 0.004 % |
382.34/382.58 c | 601868 | 160 13600 95200 | 56338 52022 49 | 0.004 % |
382.94/383.13 c | 602739 | 160 13600 95200 | 56338 52893 49 | 0.004 % |
383.54/383.72 c | 603698 | 160 13600 95200 | 56338 53852 49 | 0.004 % |
384.14/384.39 c | 604751 | 160 13600 95200 | 56338 54905 49 | 0.004 % |
384.94/385.12 c | 605911 | 160 13600 95200 | 56338 56065 49 | 0.004 % |
385.64/385.89 c | 607184 | 160 13600 95200 | 56338 51697 49 | 0.004 % |
386.54/386.73 c | 608584 | 160 13600 95200 | 56338 53097 49 | 0.004 % |
387.44/387.66 c | 610124 | 160 13600 95200 | 2147483647 54637 49 | 0.004 % |
388.64/388.81 c | 611818 | 160 13600 95200 | 2147483647 56331 49 | 0.004 % |
389.74/389.93 c | 613681 | 160 13600 95200 | 2147483647 58194 49 | 0.004 % |
390.94/391.14 c | 615730 | 160 13600 95200 | 2147483647 60243 49 | 0.004 % |
392.24/392.49 c | 617983 | 160 13600 95200 | 2147483647 62496 49 | 0.004 % |
393.84/394.01 c | 620461 | 160 13600 95200 | 64515 58351 49 | 0.004 % |
395.64/395.82 c | 623186 | 160 13600 95200 | 64515 61076 49 | 0.004 % |
397.54/397.78 c | 626185 | 160 13600 95200 | 64515 64075 49 | 0.004 % |
399.54/399.75 c | 629483 | 160 13600 95200 | 64515 60315 49 | 0.004 % |
401.54/401.73 c | 633110 | 160 13600 95200 | 60833 57528 49 | 0.004 % |
403.94/404.13 c | 637098 | 160 13600 95200 | 60833 55426 49 | 0.004 % |
406.74/406.90 c | 641484 | 160 13600 95200 | 2147483647 59812 49 | 0.004 % |
409.84/410.09 c | 646307 | 160 13600 95200 | 2147483647 64635 49 | 0.004 % |
413.74/413.96 c | 651613 | 160 13600 95200 | 68329 60993 49 | 0.004 % |
417.93/418.18 c | 657448 | 160 13600 95200 | 68329 66828 49 | 0.004 % |
418.03/418.27 c | 657549 | 160 13600 95200 | 68329 66929 49 | 0.004 % |
418.13/418.38 c | 657659 | 160 13600 95200 | 68329 67039 49 | 0.004 % |
418.23/418.49 c | 657781 | 160 13600 95200 | 68329 67161 49 | 0.004 % |
418.43/418.62 c | 657914 | 160 13600 95200 | 68329 67294 49 | 0.004 % |
418.53/418.74 c | 658060 | 160 13600 95200 | 68329 67440 49 | 0.004 % |
418.63/418.88 c | 658220 | 160 13600 95200 | 68329 67600 49 | 0.004 % |
418.84/419.02 c | 658399 | 160 13600 95200 | 68329 67779 49 | 0.004 % |
418.94/419.18 c | 658592 | 160 13600 95200 | 68329 67972 49 | 0.004 % |
419.13/419.37 c | 658805 | 160 13600 95200 | 68329 68185 49 | 0.004 % |
419.43/419.62 c | 659038 | 160 13600 95200 | 68329 58630 49 | 0.004 % |
419.63/419.83 c | 659294 | 160 13600 95200 | 68329 58886 49 | 0.004 % |
419.83/420.04 c | 659576 | 160 13600 95200 | 68329 59168 49 | 0.004 % |
420.04/420.29 c | 659885 | 160 13600 95200 | 68329 59477 49 | 0.004 % |
420.33/420.57 c | 660225 | 160 13600 95200 | 59592 51209 49 | 0.004 % |
420.63/420.81 c | 660597 | 160 13600 95200 | 59592 51581 49 | 0.004 % |
420.83/421.05 c | 661006 | 160 13600 95200 | 59592 51990 49 | 0.004 % |
421.14/421.33 c | 661455 | 160 13600 95200 | 59592 52439 49 | 0.004 % |
421.43/421.64 c | 661950 | 160 13600 95200 | 59592 52934 49 | 0.004 % |
421.73/421.97 c | 662494 | 160 13600 95200 | 59592 53478 49 | 0.004 % |
422.13/422.33 c | 663090 | 160 13600 95200 | 59592 54074 49 | 0.004 % |
422.53/422.74 c | 663746 | 160 13600 95200 | 59592 54730 49 | 0.004 % |
422.93/423.16 c | 664469 | 160 13600 95200 | 59592 55453 49 | 0.004 % |
423.43/423.63 c | 665262 | 160 13600 95200 | 59592 56246 49 | 0.004 % |
423.93/424.17 c | 666133 | 160 13600 95200 | 59592 57117 49 | 0.004 % |
424.63/424.81 c | 667091 | 160 13600 95200 | 59592 58075 49 | 0.004 % |
425.43/425.64 c | 668145 | 160 13600 95200 | 59592 59129 49 | 0.004 % |
426.23/426.45 c | 669303 | 160 13600 95200 | 59592 53441 49 | 0.004 % |
427.03/427.21 c | 670578 | 160 13600 95200 | 54138 48707 49 | 0.004 % |
427.83/428.03 c | 671978 | 160 13600 95200 | 54138 50107 49 | 0.004 % |
428.73/428.90 c | 673518 | 160 13600 95200 | 54138 51647 49 | 0.004 % |
429.73/429.94 c | 675215 | 160 13600 95200 | 54138 53344 49 | 0.004 % |
430.83/431.00 c | 677078 | 160 13600 95200 | 54138 49787 49 | 0.004 % |
432.13/432.30 c | 679127 | 160 13600 95200 | 54138 51836 49 | 0.004 % |
433.53/433.75 c | 681381 | 160 13600 95200 | 2147483647 54090 49 | 0.004 % |
434.93/435.12 c | 683860 | 160 13600 95200 | 2147483647 56569 49 | 0.004 % |
436.63/436.83 c | 686586 | 160 13600 95200 | 2147483647 59295 49 | 0.004 % |
438.83/439.05 c | 689583 | 160 13600 95200 | 2147483647 62292 49 | 0.004 % |
441.12/441.37 c | 692879 | 160 13600 95200 | 2147483647 65588 49 | 0.004 % |
444.02/444.21 c | 696506 | 160 13600 95200 | 2147483647 69215 49 | 0.004 % |
447.32/447.56 c | 700495 | 160 13600 95200 | 72711 61954 49 | 0.004 % |
450.22/450.45 c | 704881 | 160 13600 95200 | 72711 66340 49 | 0.004 % |
453.62/453.85 c | 709704 | 160 13600 95200 | 72711 71163 49 | 0.004 % |
457.42/457.67 c | 715009 | 160 13600 95200 | 71461 65660 49 | 0.004 % |
462.02/462.28 c | 720844 | 160 13600 95200 | 70652 60675 49 | 0.004 % |
466.62/466.87 c | 727265 | 160 13600 95200 | 70652 67096 49 | 0.004 % |
466.72/466.95 c | 727366 | 160 13600 95200 | 70652 67197 49 | 0.004 % |
466.82/467.04 c | 727478 | 160 13600 95200 | 70652 67309 49 | 0.004 % |
466.92/467.14 c | 727599 | 160 13600 95200 | 70652 67430 49 | 0.004 % |
467.12/467.31 c | 727735 | 160 13600 95200 | 70652 67566 49 | 0.004 % |
467.22/467.45 c | 727881 | 160 13600 95200 | 70652 67712 49 | 0.004 % |
467.32/467.58 c | 728044 | 160 13600 95200 | 70652 67875 49 | 0.004 % |
467.52/467.78 c | 728221 | 160 13600 95200 | 70652 68052 49 | 0.004 % |
467.72/467.97 c | 728414 | 160 13600 95200 | 70652 68245 49 | 0.004 % |
467.91/468.15 c | 728626 | 160 13600 95200 | 70652 68457 49 | 0.004 % |
468.11/468.35 c | 728859 | 160 13600 95200 | 70652 68690 49 | 0.004 % |
468.32/468.59 c | 729115 | 160 13600 95200 | 70652 68946 49 | 0.004 % |
468.61/468.80 c | 729396 | 160 13600 95200 | 70652 69227 49 | 0.004 % |
468.82/469.04 c | 729705 | 160 13600 95200 | 70652 69536 49 | 0.004 % |
469.12/469.31 c | 730046 | 160 13600 95200 | 69832 69877 49 | 0.004 % |
469.52/469.72 c | 730419 | 160 13600 95200 | 69832 58967 49 | 0.004 % |
469.81/470.06 c | 730829 | 160 13600 95200 | 69832 59377 49 | 0.004 % |
470.11/470.36 c | 731278 | 160 13600 95200 | 69832 59826 49 | 0.004 % |
470.41/470.69 c | 731773 | 160 13600 95200 | 69832 60321 49 | 0.004 % |
470.81/471.08 c | 732316 | 160 13600 95200 | 69832 60864 49 | 0.004 % |
471.21/471.43 c | 732916 | 160 13600 95200 | 69832 61464 49 | 0.004 % |
471.51/471.79 c | 733572 | 160 13600 95200 | 69832 62120 49 | 0.004 % |
472.11/472.36 c | 734294 | 160 13600 95200 | 69832 62842 49 | 0.004 % |
472.61/472.90 c | 735086 | 160 13600 95200 | 69832 63634 49 | 0.004 % |
473.41/473.64 c | 735957 | 160 13600 95200 | 69832 64505 49 | 0.004 % |
474.21/474.45 c | 736917 | 160 13600 95200 | 69832 65465 49 | 0.004 % |
475.11/475.34 c | 737970 | 160 13600 95200 | 69832 66518 49 | 0.004 % |
476.02/476.22 c | 739130 | 160 13600 95200 | 69832 67678 49 | 0.004 % |
476.91/477.16 c | 740403 | 160 13600 95200 | 68548 57930 49 | 0.004 % |
477.71/477.99 c | 741803 | 160 13600 95200 | 68548 59330 49 | 0.004 % |
478.61/478.82 c | 743346 | 160 13600 95200 | 68548 60873 49 | 0.004 % |
479.51/479.78 c | 745040 | 160 13600 95200 | 68548 62567 49 | 0.004 % |
480.91/481.13 c | 746903 | 160 13600 95200 | 68548 64430 49 | 0.004 % |
482.31/482.58 c | 748952 | 160 13600 95200 | 68548 66479 49 | 0.004 % |
483.91/484.16 c | 751209 | 160 13600 95200 | 67527 59304 49 | 0.004 % |
485.41/485.64 c | 753688 | 160 13600 95200 | 67527 61783 49 | 0.004 % |
487.21/487.42 c | 756413 | 160 13600 95200 | 67527 64508 49 | 0.004 % |
489.21/489.44 c | 759411 | 160 13600 95200 | 67527 67506 49 | 0.004 % |
491.21/491.45 c | 762709 | 160 13600 95200 | 59144 54096 49 | 0.004 % |
493.41/493.62 c | 766335 | 160 13600 95200 | 59144 57722 49 | 0.004 % |
495.71/495.95 c | 770322 | 160 13600 95200 | 2147483647 55788 49 | 0.004 % |
498.41/498.62 c | 774707 | 160 13600 95200 | 2147483647 60173 49 | 0.004 % |
501.20/501.46 c | 779530 | 160 13600 95200 | 2147483647 64996 49 | 0.004 % |
505.10/505.32 c | 784836 | 160 13600 95200 | 2147483647 70302 49 | 0.004 % |
509.51/509.71 c | 790671 | 160 13600 95200 | 75466 63735 49 | 0.004 % |
513.81/514.01 c | 797090 | 160 13600 95200 | 75466 70154 49 | 0.004 % |
518.81/519.08 c | 804150 | 160 13600 95200 | 73065 65169 49 | 0.004 % |
518.91/519.15 c | 804251 | 160 13600 95200 | 73065 65270 49 | 0.004 % |
519.01/519.22 c | 804361 | 160 13600 95200 | 73065 65380 49 | 0.004 % |
519.11/519.31 c | 804483 | 160 13600 95200 | 73065 65502 49 | 0.004 % |
519.21/519.42 c | 804617 | 160 13600 95200 | 73065 65636 49 | 0.004 % |
519.31/519.53 c | 804764 | 160 13600 95200 | 73065 65783 49 | 0.004 % |
519.41/519.65 c | 804924 | 160 13600 95200 | 73065 65943 49 | 0.004 % |
519.51/519.78 c | 805101 | 160 13600 95200 | 73065 66120 49 | 0.004 % |
519.71/519.94 c | 805294 | 160 13600 95200 | 73065 66313 49 | 0.004 % |
519.91/520.10 c | 805507 | 160 13600 95200 | 73065 66526 49 | 0.004 % |
520.11/520.33 c | 805741 | 160 13600 95200 | 73065 66760 49 | 0.004 % |
520.31/520.55 c | 805997 | 160 13600 95200 | 73065 67016 49 | 0.004 % |
520.51/520.79 c | 806279 | 160 13600 95200 | 73065 67298 49 | 0.004 % |
520.81/521.06 c | 806588 | 160 13600 95200 | 73065 67607 49 | 0.004 % |
521.11/521.38 c | 806928 | 160 13600 95200 | 73065 67947 49 | 0.004 % |
521.41/521.69 c | 807300 | 160 13600 95200 | 73065 68319 49 | 0.004 % |
521.81/522.03 c | 807710 | 160 13600 95200 | 73065 68729 49 | 0.004 % |
522.21/522.43 c | 808159 | 160 13600 95200 | 73065 69178 49 | 0.004 % |
522.61/522.84 c | 808652 | 160 13600 95200 | 73065 69671 49 | 0.004 % |
523.01/523.26 c | 809195 | 160 13600 95200 | 73065 70214 49 | 0.004 % |
523.51/523.70 c | 809791 | 160 13600 95200 | 73065 70810 49 | 0.004 % |
523.91/524.19 c | 810447 | 160 13600 95200 | 71019 59829 49 | 0.004 % |
524.41/524.62 c | 811170 | 160 13600 95200 | 71019 60552 49 | 0.004 % |
524.91/525.11 c | 811965 | 160 13600 95200 | 71019 61347 49 | 0.004 % |
525.41/525.66 c | 812837 | 160 13600 95200 | 71019 62219 49 | 0.004 % |
526.11/526.32 c | 813795 | 160 13600 95200 | 71019 63177 49 | 0.004 % |
526.80/527.07 c | 814848 | 160 13600 95200 | 71019 64230 49 | 0.004 % |
527.60/527.83 c | 816006 | 160 13600 95200 | 71019 65388 49 | 0.004 % |
528.50/528.73 c | 817279 | 160 13600 95200 | 71019 66661 49 | 0.004 % |
529.40/529.65 c | 818679 | 160 13600 95200 | 71019 68061 49 | 0.004 % |
530.50/530.78 c | 820219 | 160 13600 95200 | 69383 59334 49 | 0.004 % |
531.50/531.79 c | 821913 | 160 13600 95200 | 69383 61028 49 | 0.004 % |
532.70/532.97 c | 823776 | 160 13600 95200 | 69383 62891 49 | 0.004 % |
534.10/534.31 c | 825826 | 160 13600 95200 | 69383 64941 49 | 0.004 % |
535.60/535.83 c | 828079 | 160 13600 95200 | 69383 67194 49 | 0.004 % |
537.61/537.88 c | 830559 | 160 13600 95200 | 69116 60093 49 | 0.004 % |
539.70/539.90 c | 833284 | 160 13600 95200 | 69116 62818 49 | 0.004 % |
541.60/541.88 c | 836281 | 160 13600 95200 | 69116 65815 49 | 0.004 % |
543.90/544.13 c | 839581 | 160 13600 95200 | 69116 69115 49 | 0.004 % |
546.40/546.64 c | 843210 | 160 13600 95200 | 59904 54700 49 | 0.004 % |
548.90/549.18 c | 847197 | 160 13600 95200 | 59904 58687 49 | 0.004 % |
551.69/551.97 c | 851583 | 160 13600 95200 | 54787 50597 49 | 0.004 % |
554.69/554.92 c | 856406 | 160 13600 95200 | 54787 49934 49 | 0.004 % |
557.89/558.17 c | 861711 | 160 13600 95200 | 2147483647 55239 49 | 0.004 % |
561.59/561.82 c | 867548 | 160 13600 95200 | 2147483647 61076 49 | 0.004 % |
565.89/566.10 c | 873967 | 160 13600 95200 | 2147483647 67495 49 | 0.004 % |
571.20/571.46 c | 881026 | 160 13600 95200 | 73528 63107 49 | 0.004 % |
576.80/577.04 c | 888792 | 160 13600 95200 | 73528 70873 49 | 0.004 % |
576.90/577.12 c | 888892 | 160 13600 95200 | 73528 70973 49 | 0.004 % |
577.00/577.22 c | 889003 | 160 13600 95200 | 73528 71084 49 | 0.004 % |
577.10/577.36 c | 889124 | 160 13600 95200 | 73528 71205 49 | 0.004 % |
577.20/577.48 c | 889258 | 160 13600 95200 | 73528 71339 49 | 0.004 % |
577.40/577.61 c | 889404 | 160 13600 95200 | 73528 71485 49 | 0.004 % |
577.50/577.76 c | 889566 | 160 13600 95200 | 73528 71647 49 | 0.004 % |
577.70/577.97 c | 889745 | 160 13600 95200 | 73528 71826 49 | 0.004 % |
577.90/578.14 c | 889938 | 160 13600 95200 | 73528 72019 49 | 0.004 % |
578.10/578.40 c | 890150 | 160 13600 95200 | 72081 60211 49 | 0.004 % |
578.30/578.58 c | 890384 | 160 13600 95200 | 72081 60445 49 | 0.004 % |
578.50/578.75 c | 890641 | 160 13600 95200 | 72081 60702 49 | 0.004 % |
578.70/578.94 c | 890922 | 160 13600 95200 | 72081 60983 49 | 0.004 % |
578.90/579.16 c | 891233 | 160 13600 95200 | 72081 61294 49 | 0.004 % |
579.19/579.40 c | 891574 | 160 13600 95200 | 72081 61635 49 | 0.004 % |
579.50/579.74 c | 891948 | 160 13600 95200 | 72081 62009 49 | 0.004 % |
579.89/580.10 c | 892358 | 160 13600 95200 | 72081 62419 49 | 0.004 % |
580.20/580.41 c | 892809 | 160 13600 95200 | 72081 62870 49 | 0.004 % |
580.50/580.73 c | 893305 | 160 13600 95200 | 72081 63366 49 | 0.004 % |
580.90/581.12 c | 893847 | 160 13600 95200 | 72081 63908 49 | 0.004 % |
581.29/581.52 c | 894445 | 160 13600 95200 | 72081 64506 49 | 0.004 % |
581.70/581.93 c | 895100 | 160 13600 95200 | 72081 65161 49 | 0.004 % |
582.09/582.35 c | 895823 | 160 13600 95200 | 72081 65884 49 | 0.004 % |
582.70/582.92 c | 896617 | 160 13600 95200 | 72081 66678 49 | 0.004 % |
583.29/583.56 c | 897488 | 160 13600 95200 | 72081 67549 49 | 0.004 % |
583.99/584.23 c | 898446 | 160 13600 95200 | 72081 68507 49 | 0.004 % |
584.79/585.01 c | 899500 | 160 13600 95200 | 72081 69561 49 | 0.004 % |
585.79/586.03 c | 900659 | 160 13600 95200 | 70062 59738 49 | 0.004 % |
586.59/586.85 c | 901932 | 160 13600 95200 | 70062 61011 49 | 0.004 % |
587.49/587.71 c | 903332 | 160 13600 95200 | 70062 62411 49 | 0.004 % |
588.49/588.70 c | 904873 | 160 13600 95200 | 70062 63952 49 | 0.004 % |
589.49/589.73 c | 906567 | 160 13600 95200 | 70062 65646 49 | 0.004 % |
590.89/591.12 c | 908430 | 160 13600 95200 | 70062 67509 49 | 0.004 % |
592.39/592.68 c | 910479 | 160 13600 95200 | 69080 59754 49 | 0.004 % |
593.69/593.95 c | 912733 | 160 13600 95200 | 69080 62008 49 | 0.004 % |
595.29/595.53 c | 915213 | 160 13600 95200 | 69080 64488 49 | 0.004 % |
597.09/597.31 c | 917942 | 160 13600 95200 | 69080 67217 49 | 0.004 % |
599.09/599.38 c | 920939 | 160 13600 95200 | 60419 53660 49 | 0.004 % |
601.09/601.37 c | 924237 | 160 13600 95200 | 60419 56958 49 | 0.004 % |
603.29/603.51 c | 927862 | 160 13600 95200 | 60419 54534 49 | 0.004 % |
605.48/605.73 c | 931849 | 160 13600 95200 | 2147483647 58521 49 | 0.004 % |
608.38/608.64 c | 936234 | 160 13600 95200 | 2147483647 62906 49 | 0.004 % |
611.78/612.00 c | 941058 | 160 13600 95200 | 66673 60301 49 | 0.004 % |
615.18/615.48 c | 946363 | 160 13600 95200 | 66673 65606 49 | 0.004 % |
618.58/618.80 c | 952198 | 160 13600 95200 | 60055 54431 49 | 0.004 % |
622.08/622.38 c | 958617 | 160 13600 95200 | 60055 54838 49 | 0.004 % |
626.18/626.46 c | 965677 | 160 13600 95200 | 2147483647 61898 49 | 0.004 % |
631.18/631.43 c | 973443 | 160 13600 95200 | 66221 62709 49 | 0.004 % |
636.58/636.87 c | 981984 | 160 13600 95200 | 61324 56159 49 | 0.004 % |
636.68/636.94 c | 982084 | 160 13600 95200 | 61324 56259 49 | 0.004 % |
636.78/637.04 c | 982196 | 160 13600 95200 | 61324 56371 49 | 0.004 % |
636.88/637.13 c | 982317 | 160 13600 95200 | 61324 56492 49 | 0.004 % |
636.98/637.23 c | 982450 | 160 13600 95200 | 61324 56625 49 | 0.004 % |
637.08/637.33 c | 982599 | 160 13600 95200 | 61324 56774 49 | 0.004 % |
637.18/637.46 c | 982760 | 160 13600 95200 | 61324 56935 49 | 0.004 % |
637.28/637.56 c | 982936 | 160 13600 95200 | 61324 57111 49 | 0.004 % |
637.48/637.70 c | 983130 | 160 13600 95200 | 61324 57305 49 | 0.004 % |
637.58/637.84 c | 983343 | 160 13600 95200 | 61324 57518 49 | 0.004 % |
637.78/638.00 c | 983577 | 160 13600 95200 | 61324 57752 49 | 0.004 % |
637.98/638.22 c | 983833 | 160 13600 95200 | 61324 58008 49 | 0.004 % |
638.18/638.43 c | 984116 | 160 13600 95200 | 61324 58291 49 | 0.004 % |
638.37/638.63 c | 984425 | 160 13600 95200 | 61324 58600 49 | 0.004 % |
638.57/638.87 c | 984764 | 160 13600 95200 | 61324 58939 49 | 0.004 % |
638.88/639.12 c | 985137 | 160 13600 95200 | 61324 59312 49 | 0.004 % |
639.07/639.36 c | 985546 | 160 13600 95200 | 61324 59721 49 | 0.004 % |
639.47/639.72 c | 985996 | 160 13600 95200 | 61324 60171 49 | 0.004 % |
639.77/640.10 c | 986490 | 160 13600 95200 | 61324 60665 49 | 0.004 % |
640.18/640.46 c | 987032 | 160 13600 95200 | 61324 61207 49 | 0.004 % |
640.68/640.95 c | 987628 | 160 13600 95200 | 61324 54307 49 | 0.004 % |
641.08/641.37 c | 988283 | 160 13600 95200 | 61324 54962 49 | 0.004 % |
641.47/641.78 c | 989003 | 160 13600 95200 | 61324 55682 49 | 0.004 % |
642.08/642.33 c | 989797 | 160 13600 95200 | 61324 56476 49 | 0.004 % |
642.67/642.97 c | 990670 | 160 13600 95200 | 56679 50588 49 | 0.004 % |
643.28/643.55 c | 991628 | 160 13600 95200 | 56679 51546 49 | 0.004 % |
643.97/644.24 c | 992683 | 160 13600 95200 | 56679 52601 49 | 0.004 % |
644.67/644.90 c | 993843 | 160 13600 95200 | 56679 53761 49 | 0.004 % |
645.38/645.60 c | 995116 | 160 13600 95200 | 56679 55034 49 | 0.004 % |
646.07/646.36 c | 996517 | 160 13600 95200 | 56679 56435 49 | 0.004 % |
646.97/647.29 c | 998059 | 160 13600 95200 | 56679 52302 49 | 0.004 % |
648.07/648.33 c | 999754 | 160 13600 95200 | 56679 53997 49 | 0.004 % |
649.27/649.54 c | 1001620 | 160 13600 95200 | 2147483647 55863 49 | 0.004 % |
650.57/650.87 c | 1003669 | 160 13600 95200 | 2147483647 57912 49 | 0.004 % |
652.07/652.33 c | 1005924 | 160 13600 95200 | 2147483647 60167 49 | 0.004 % |
653.57/653.89 c | 1008402 | 160 13600 95200 | 2147483647 62645 49 | 0.004 % |
655.27/655.56 c | 1011127 | 160 13600 95200 | 64243 58404 49 | 0.004 % |
656.98/657.22 c | 1014125 | 160 13600 95200 | 64243 61402 50 | 0.004 % |
659.08/659.37 c | 1017421 | 160 13600 95200 | 64243 57860 49 | 0.004 % |
661.58/661.87 c | 1021047 | 160 13600 95200 | 60440 54738 49 | 0.004 % |
663.98/664.26 c | 1025034 | 160 13600 95200 | 60440 58725 49 | 0.004 % |
666.77/667.07 c | 1029421 | 160 13600 95200 | 60440 55954 50 | 0.004 % |
669.58/669.84 c | 1034244 | 160 13600 95200 | 56533 54353 50 | 0.004 % |
672.57/672.88 c | 1039550 | 160 13600 95200 | 56533 54000 50 | 0.004 % |
675.97/676.26 c | 1045386 | 160 13600 95200 | 2147483647 59836 50 | 0.004 % |
680.07/680.31 c | 1051805 | 160 13600 95200 | 64450 59387 50 | 0.004 % |
684.37/684.62 c | 1058865 | 160 13600 95200 | 64450 59549 50 | 0.004 % |
688.77/689.08 c | 1066630 | 160 13600 95200 | 60688 54877 50 | 0.004 % |
693.87/694.14 c | 1075171 | 160 13600 95200 | 2147483647 63418 50 | 0.004 % |
700.66/700.95 c | 1084566 | 160 13600 95200 | 68247 64583 50 | 0.004 % |
700.76/701.05 c | 1084666 | 160 13600 95200 | 68247 64683 50 | 0.004 % |
700.86/701.14 c | 1084777 | 160 13600 95200 | 68247 64794 50 | 0.004 % |
700.96/701.24 c | 1084898 | 160 13600 95200 | 68247 64915 50 | 0.004 % |
701.06/701.37 c | 1085031 | 160 13600 95200 | 68247 65048 50 | 0.004 % |
701.26/701.50 c | 1085177 | 160 13600 95200 | 68247 65194 50 | 0.004 % |
701.36/701.63 c | 1085338 | 160 13600 95200 | 68247 65355 50 | 0.004 % |
701.46/701.77 c | 1085515 | 160 13600 95200 | 68247 65532 50 | 0.004 % |
701.66/701.95 c | 1085708 | 160 13600 95200 | 68247 65725 50 | 0.004 % |
701.86/702.12 c | 1085920 | 160 13600 95200 | 68247 65937 50 | 0.004 % |
702.06/702.30 c | 1086153 | 160 13600 95200 | 68247 66170 50 | 0.004 % |
702.26/702.52 c | 1086411 | 160 13600 95200 | 68247 66428 50 | 0.004 % |
702.46/702.75 c | 1086694 | 160 13600 95200 | 68247 66711 50 | 0.004 % |
702.66/702.99 c | 1087003 | 160 13600 95200 | 68247 67020 50 | 0.004 % |
703.06/703.32 c | 1087342 | 160 13600 95200 | 68247 67359 50 | 0.004 % |
703.36/703.65 c | 1087715 | 160 13600 95200 | 68247 67732 50 | 0.004 % |
703.66/703.97 c | 1088124 | 160 13600 95200 | 68247 68141 50 | 0.004 % |
704.06/704.36 c | 1088573 | 160 13600 95200 | 68247 58772 49 | 0.004 % |
704.46/704.75 c | 1089066 | 160 13600 95200 | 68247 59265 49 | 0.004 % |
704.86/705.19 c | 1089608 | 160 13600 95200 | 68247 59807 49 | 0.004 % |
705.36/705.63 c | 1090206 | 160 13600 95200 | 60199 51736 49 | 0.004 % |
705.66/705.98 c | 1090861 | 160 13600 95200 | 60199 52391 49 | 0.004 % |
706.16/706.41 c | 1091581 | 160 13600 95200 | 60199 53111 49 | 0.004 % |
706.66/706.93 c | 1092373 | 160 13600 95200 | 60199 53903 49 | 0.004 % |
707.16/707.47 c | 1093245 | 160 13600 95200 | 60199 54775 49 | 0.004 % |
707.66/707.99 c | 1094205 | 160 13600 95200 | 60199 55735 49 | 0.004 % |
708.26/708.59 c | 1095260 | 160 13600 95200 | 60199 56790 49 | 0.004 % |
708.96/709.21 c | 1096418 | 160 13600 95200 | 60199 57948 49 | 0.004 % |
709.66/709.95 c | 1097693 | 160 13600 95200 | 60199 59223 49 | 0.004 % |
710.46/710.72 c | 1099093 | 160 13600 95200 | 60199 54596 49 | 0.004 % |
711.37/711.63 c | 1100633 | 160 13600 95200 | 2147483647 56136 49 | 0.004 % |
712.36/712.66 c | 1102329 | 160 13600 95200 | 2147483647 57832 49 | 0.004 % |
713.57/713.80 c | 1104192 | 160 13600 95200 | 2147483647 59695 49 | 0.004 % |
714.77/715.07 c | 1106241 | 160 13600 95200 | 2147483647 61744 49 | 0.004 % |
716.36/716.64 c | 1108494 | 160 13600 95200 | 2147483647 63997 49 | 0.004 % |
718.16/718.42 c | 1110972 | 160 13600 95200 | 65506 59065 49 | 0.004 % |
720.06/720.31 c | 1113697 | 160 13600 95200 | 65506 61790 49 | 0.004 % |
722.16/722.40 c | 1116694 | 160 13600 95200 | 65506 64787 49 | 0.004 % |
724.26/724.56 c | 1119992 | 160 13600 95200 | 65506 59887 49 | 0.004 % |
726.36/726.65 c | 1123617 | 160 13600 95200 | 59895 56357 49 | 0.004 % |
728.66/728.93 c | 1127604 | 160 13600 95200 | 59895 54348 49 | 0.004 % |
731.16/731.45 c | 1131990 | 160 13600 95200 | 2147483647 58734 49 | 0.004 % |
734.06/734.39 c | 1136813 | 160 13600 95200 | 2147483647 63557 49 | 0.004 % |
737.66/737.95 c | 1142118 | 160 13600 95200 | 2147483647 68862 49 | 0.004 % |
741.75/742.03 c | 1147955 | 160 13600 95200 | 2147483647 74699 49 | 0.004 % |
746.35/746.64 c | 1154374 | 160 13600 95200 | 76744 69569 49 | 0.004 % |
751.55/751.85 c | 1161433 | 160 13600 95200 | 75195 64479 49 | 0.004 % |
756.85/757.10 c | 1169197 | 160 13600 95200 | 75195 72243 49 | 0.004 % |
762.75/763.08 c | 1177737 | 160 13600 95200 | 73046 69465 49 | 0.004 % |
768.85/769.16 c | 1187131 | 160 13600 95200 | 71729 68132 49 | 0.004 % |
775.34/775.65 c | 1197465 | 160 13600 95200 | 71001 68756 49 | 0.004 % |
775.44/775.72 c | 1197565 | 160 13600 95200 | 71001 68856 49 | 0.004 % |
775.54/775.81 c | 1197675 | 160 13600 95200 | 71001 68966 49 | 0.004 % |
775.64/775.91 c | 1197796 | 160 13600 95200 | 71001 69087 49 | 0.004 % |
775.74/776.03 c | 1197929 | 160 13600 95200 | 71001 69220 49 | 0.004 % |
775.84/776.14 c | 1198075 | 160 13600 95200 | 71001 69366 49 | 0.004 % |
775.94/776.28 c | 1198235 | 160 13600 95200 | 71001 69526 49 | 0.004 % |
776.14/776.41 c | 1198412 | 160 13600 95200 | 71001 69703 49 | 0.004 % |
776.25/776.56 c | 1198607 | 160 13600 95200 | 71001 69898 49 | 0.004 % |
776.44/776.75 c | 1198819 | 160 13600 95200 | 71001 70110 49 | 0.004 % |
776.64/776.97 c | 1199054 | 160 13600 95200 | 71001 70345 49 | 0.004 % |
776.84/777.16 c | 1199310 | 160 13600 95200 | 71001 70601 49 | 0.004 % |
777.14/777.41 c | 1199592 | 160 13600 95200 | 71001 70883 49 | 0.004 % |
777.45/777.76 c | 1199902 | 160 13600 95200 | 71001 61686 49 | 0.004 % |
777.74/778.01 c | 1200241 | 160 13600 95200 | 61784 53740 49 | 0.004 % |
777.94/778.22 c | 1200613 | 160 13600 95200 | 61784 54112 49 | 0.004 % |
778.14/778.45 c | 1201022 | 160 13600 95200 | 61784 54521 49 | 0.004 % |
778.34/778.68 c | 1201471 | 160 13600 95200 | 61784 54970 49 | 0.004 % |
778.64/778.96 c | 1201964 | 160 13600 95200 | 61784 55463 49 | 0.004 % |
778.94/779.29 c | 1202506 | 160 13600 95200 | 61784 56005 49 | 0.004 % |
779.34/779.60 c | 1203105 | 160 13600 95200 | 61784 56604 49 | 0.004 % |
779.65/779.93 c | 1203760 | 160 13600 95200 | 61784 57259 49 | 0.004 % |
779.94/780.26 c | 1204480 | 160 13600 95200 | 61784 57979 49 | 0.004 % |
780.34/780.65 c | 1205273 | 160 13600 95200 | 61784 58772 49 | 0.004 % |
780.84/781.15 c | 1206147 | 160 13600 95200 | 61784 59646 49 | 0.004 % |
781.44/781.74 c | 1207106 | 160 13600 95200 | 61784 60605 49 | 0.004 % |
782.04/782.36 c | 1208160 | 160 13600 95200 | 61784 61659 49 | 0.004 % |
782.94/783.20 c | 1209319 | 160 13600 95200 | 61784 56633 49 | 0.004 % |
783.64/783.97 c | 1210592 | 160 13600 95200 | 2147483647 57906 49 | 0.004 % |
784.54/784.89 c | 1211994 | 160 13600 95200 | 2147483647 59308 49 | 0.004 % |
785.54/785.83 c | 1213535 | 160 13600 95200 | 2147483647 60849 49 | 0.004 % |
786.54/786.84 c | 1215229 | 160 13600 95200 | 2147483647 62543 49 | 0.004 % |
787.74/788.02 c | 1217092 | 160 13600 95200 | 2147483647 64406 49 | 0.004 % |
789.04/789.35 c | 1219141 | 160 13600 95200 | 2147483647 66455 49 | 0.004 % |
790.64/790.94 c | 1221397 | 160 13600 95200 | 67315 60032 49 | 0.004 % |
792.25/792.52 c | 1223875 | 160 13600 95200 | 67315 62510 49 | 0.004 % |
794.15/794.42 c | 1226601 | 160 13600 95200 | 67315 65236 49 | 0.004 % |
796.05/796.39 c | 1229598 | 160 13600 95200 | 67315 59628 49 | 0.004 % |
798.14/798.42 c | 1232894 | 160 13600 95200 | 60030 55278 49 | 0.004 % |
800.34/800.61 c | 1236519 | 160 13600 95200 | 60030 58903 49 | 0.004 % |
802.84/803.13 c | 1240508 | 160 13600 95200 | 56008 50763 49 | 0.004 % |
805.44/805.71 c | 1244893 | 160 13600 95200 | 56008 55148 49 | 0.004 % |
807.94/808.25 c | 1249716 | 160 13600 95200 | 56008 54363 49 | 0.004 % |
810.94/811.26 c | 1255021 | 160 13600 95200 | 2147483647 59668 49 | 0.004 % |
814.64/814.91 c | 1260856 | 160 13600 95200 | 2147483647 65503 49 | 0.004 % |
819.24/819.55 c | 1267275 | 160 13600 95200 | 2147483647 71922 49 | 0.004 % |
824.24/824.54 c | 1274334 | 160 13600 95200 | 74647 67531 49 | 0.004 % |
829.73/830.02 c | 1282099 | 160 13600 95200 | 73197 64036 49 | 0.004 % |
835.74/836.08 c | 1290639 | 160 13600 95200 | 71937 61479 49 | 0.004 % |
842.33/842.61 c | 1300034 | 160 13600 95200 | 70841 70874 49 | 0.004 % |
849.83/850.16 c | 1310370 | 160 13600 95200 | 69643 59166 49 | 0.004 % |
856.63/856.95 c | 1321737 | 160 13600 95200 | 68796 62216 49 | 0.004 % |
856.73/857.03 c | 1321837 | 160 13600 95200 | 68796 62316 49 | 0.004 % |
856.83/857.12 c | 1321947 | 160 13600 95200 | 68796 62426 49 | 0.004 % |
856.93/857.20 c | 1322070 | 160 13600 95200 | 68796 62549 49 | 0.004 % |
857.03/857.33 c | 1322205 | 160 13600 95200 | 68796 62684 49 | 0.004 % |
857.13/857.45 c | 1322351 | 160 13600 95200 | 68796 62830 49 | 0.004 % |
857.23/857.58 c | 1322511 | 160 13600 95200 | 68796 62990 49 | 0.004 % |
857.43/857.76 c | 1322689 | 160 13600 95200 | 68796 63168 49 | 0.004 % |
857.63/857.93 c | 1322882 | 160 13600 95200 | 68796 63361 49 | 0.004 % |
857.83/858.11 c | 1323094 | 160 13600 95200 | 68796 63573 49 | 0.004 % |
858.03/858.33 c | 1323329 | 160 13600 95200 | 68796 63808 49 | 0.004 % |
858.23/858.52 c | 1323588 | 160 13600 95200 | 68796 64067 49 | 0.004 % |
858.43/858.77 c | 1323870 | 160 13600 95200 | 68796 64349 49 | 0.004 % |
858.73/859.05 c | 1324180 | 160 13600 95200 | 68796 64659 49 | 0.004 % |
859.02/859.31 c | 1324520 | 160 13600 95200 | 68796 64999 49 | 0.004 % |
859.32/859.67 c | 1324892 | 160 13600 95200 | 68796 65371 49 | 0.004 % |
859.62/859.99 c | 1325302 | 160 13600 95200 | 68796 65781 49 | 0.004 % |
860.02/860.31 c | 1325751 | 160 13600 95200 | 68796 66230 49 | 0.004 % |
860.32/860.63 c | 1326244 | 160 13600 95200 | 68796 66723 49 | 0.004 % |
860.72/861.07 c | 1326787 | 160 13600 95200 | 68796 67266 49 | 0.004 % |
861.22/861.59 c | 1327385 | 160 13600 95200 | 68796 67864 49 | 0.004 % |
861.82/862.12 c | 1328040 | 160 13600 95200 | 68796 68519 49 | 0.004 % |
862.52/862.83 c | 1328762 | 160 13600 95200 | 68796 58706 49 | 0.004 % |
863.02/863.30 c | 1329555 | 160 13600 95200 | 68796 59499 49 | 0.004 % |
863.72/864.08 c | 1330427 | 160 13600 95200 | 59945 51316 49 | 0.004 % |
864.42/864.74 c | 1331385 | 160 13600 95200 | 59945 52274 49 | 0.004 % |
865.02/865.36 c | 1332438 | 160 13600 95200 | 59945 53327 49 | 0.004 % |
865.72/866.09 c | 1333598 | 160 13600 95200 | 59945 54487 49 | 0.004 % |
866.72/867.03 c | 1334872 | 160 13600 95200 | 59945 55761 49 | 0.004 % |
867.72/868.02 c | 1336274 | 160 13600 95200 | 59945 57163 49 | 0.004 % |
868.52/868.90 c | 1337814 | 160 13600 95200 | 59945 58703 49 | 0.004 % |
869.62/869.90 c | 1339510 | 160 13600 95200 | 59945 52991 49 | 0.004 % |
870.83/871.14 c | 1341373 | 160 13600 95200 | 53481 48345 49 | 0.004 % |
871.92/872.25 c | 1343423 | 160 13600 95200 | 53481 50395 49 | 0.004 % |
873.22/873.53 c | 1345677 | 160 13600 95200 | 53481 52649 49 | 0.004 % |
874.72/875.02 c | 1348155 | 160 13600 95200 | 53481 49772 49 | 0.004 % |
876.22/876.51 c | 1350881 | 160 13600 95200 | 2147483647 52498 49 | 0.004 % |
877.92/878.20 c | 1353879 | 160 13600 95200 | 2147483647 55496 49 | 0.004 % |
879.92/880.26 c | 1357175 | 160 13600 95200 | 2147483647 58792 49 | 0.004 % |
882.22/882.54 c | 1360800 | 160 13600 95200 | 2147483647 62417 49 | 0.004 % |
884.92/885.28 c | 1364790 | 160 13600 95200 | 2147483647 66407 49 | 0.004 % |
888.02/888.39 c | 1369175 | 160 13600 95200 | 2147483647 70792 49 | 0.004 % |
891.41/891.73 c | 1373999 | 160 13600 95200 | 71617 65667 49 | 0.004 % |
895.31/895.62 c | 1379304 | 160 13600 95200 | 71617 70972 49 | 0.004 % |
899.21/899.51 c | 1385139 | 160 13600 95200 | 71668 66352 49 | 0.004 % |
903.51/903.89 c | 1391559 | 160 13600 95200 | 71213 63079 49 | 0.004 % |
908.31/908.69 c | 1398618 | 160 13600 95200 | 71213 70138 50 | 0.004 % |
912.72/913.05 c | 1406382 | 160 13600 95200 | 60278 57199 49 | 0.004 % |
917.12/917.46 c | 1414924 | 160 13600 95200 | 2147483647 59706 50 | 0.004 % |
922.81/923.18 c | 1424320 | 160 13600 95200 | 2147483647 69102 50 | 0.004 % |
930.11/930.47 c | 1434655 | 160 13600 95200 | 74785 69322 50 | 0.004 % |
937.81/938.20 c | 1446021 | 160 13600 95200 | 74668 69697 50 | 0.004 % |
946.41/946.75 c | 1458525 | 160 13600 95200 | 73676 71105 50 | 0.004 % |
946.51/946.85 c | 1458626 | 160 13600 95200 | 73676 71206 50 | 0.004 % |
946.61/946.94 c | 1458736 | 160 13600 95200 | 73676 71316 50 | 0.004 % |
946.71/947.07 c | 1458859 | 160 13600 95200 | 73676 71439 50 | 0.004 % |
946.81/947.18 c | 1458992 | 160 13600 95200 | 73676 71572 50 | 0.004 % |
947.01/947.30 c | 1459138 | 160 13600 95200 | 73676 71718 50 | 0.004 % |
947.11/947.46 c | 1459300 | 160 13600 95200 | 73676 71880 50 | 0.004 % |
947.31/947.63 c | 1459476 | 160 13600 95200 | 73676 72056 50 | 0.004 % |
947.50/947.81 c | 1459670 | 160 13600 95200 | 73676 72250 50 | 0.004 % |
947.60/947.99 c | 1459883 | 160 13600 95200 | 73676 72463 50 | 0.004 % |
947.91/948.28 c | 1460117 | 160 13600 95200 | 72580 60812 50 | 0.004 % |
948.11/948.45 c | 1460373 | 160 13600 95200 | 72580 61068 50 | 0.004 % |
948.31/948.64 c | 1460655 | 160 13600 95200 | 72580 61350 50 | 0.004 % |
948.50/948.85 c | 1460965 | 160 13600 95200 | 72580 61660 50 | 0.004 % |
948.80/949.11 c | 1461305 | 160 13600 95200 | 72580 62000 50 | 0.004 % |
949.01/949.36 c | 1461677 | 160 13600 95200 | 72580 62372 50 | 0.004 % |
949.30/949.63 c | 1462087 | 160 13600 95200 | 72580 62782 50 | 0.004 % |
949.70/950.01 c | 1462536 | 160 13600 95200 | 72580 63231 50 | 0.004 % |
950.01/950.38 c | 1463029 | 160 13600 95200 | 72580 63724 50 | 0.004 % |
950.40/950.76 c | 1463572 | 160 13600 95200 | 72580 64267 50 | 0.004 % |
950.80/951.18 c | 1464168 | 160 13600 95200 | 72580 64863 50 | 0.004 % |
951.30/951.67 c | 1464824 | 160 13600 95200 | 72580 65519 50 | 0.004 % |
951.90/952.24 c | 1465546 | 160 13600 95200 | 72580 66241 50 | 0.004 % |
952.60/952.92 c | 1466340 | 160 13600 95200 | 72580 67035 50 | 0.004 % |
953.20/953.56 c | 1467212 | 160 13600 95200 | 72580 67907 50 | 0.004 % |
953.90/954.25 c | 1468170 | 160 13600 95200 | 72580 68865 50 | 0.004 % |
954.70/955.07 c | 1469224 | 160 13600 95200 | 72580 69919 50 | 0.004 % |
955.60/955.97 c | 1470385 | 160 13600 95200 | 70696 59361 49 | 0.004 % |
956.50/956.85 c | 1471658 | 160 13600 95200 | 70696 60634 49 | 0.004 % |
957.40/957.79 c | 1473058 | 160 13600 95200 | 70696 62034 49 | 0.004 % |
958.50/958.87 c | 1474599 | 160 13600 95200 | 70696 63575 49 | 0.004 % |
959.80/960.16 c | 1476293 | 160 13600 95200 | 70696 65269 49 | 0.004 % |
961.20/961.52 c | 1478158 | 160 13600 95200 | 70696 67134 49 | 0.004 % |
962.79/963.11 c | 1480207 | 160 13600 95200 | 68976 58719 49 | 0.004 % |
964.09/964.41 c | 1482460 | 160 13600 95200 | 68976 60972 49 | 0.004 % |
965.79/966.10 c | 1484940 | 160 13600 95200 | 68976 63452 49 | 0.004 % |
967.60/967.91 c | 1487666 | 160 13600 95200 | 68976 66178 49 | 0.004 % |
969.49/969.87 c | 1490663 | 160 13600 95200 | 68512 60370 49 | 0.004 % |
971.49/971.80 c | 1493959 | 160 13600 95200 | 68512 63666 49 | 0.004 % |
973.79/974.12 c | 1497585 | 160 13600 95200 | 68512 67292 49 | 0.004 % |
976.89/977.27 c | 1501574 | 160 13600 95200 | 60547 53786 49 | 0.004 % |
979.49/979.87 c | 1505959 | 160 13600 95200 | 60547 58171 49 | 0.004 % |
982.89/983.21 c | 1510782 | 160 13600 95200 | 55286 49964 49 | 0.004 % |
985.79/986.20 c | 1516088 | 160 13600 95200 | 55286 55270 49 | 0.004 % |
989.09/989.42 c | 1521923 | 160 13600 95200 | 2147483647 55569 49 | 0.004 % |
992.89/993.20 c | 1528342 | 160 13600 95200 | 2147483647 61988 49 | 0.004 % |
997.39/997.79 c | 1535402 | 160 13600 95200 | 2147483647 69048 49 | 0.004 % |
1002.98/1003.36 c | 1543166 | 160 13600 95200 | 73651 66773 49 | 0.004 % |
1008.98/1009.35 c | 1551708 | 160 13600 95200 | 73608 64797 49 | 0.004 % |
1015.48/1015.85 c | 1561102 | 160 13600 95200 | 73089 63824 49 | 0.004 % |
1023.08/1023.48 c | 1571435 | 160 13600 95200 | 72722 63213 49 | 0.004 % |
1031.67/1032.08 c | 1582801 | 160 13600 95200 | 71782 63500 49 | 0.004 % |
1040.67/1041.04 c | 1595303 | 160 13600 95200 | 70701 66133 49 | 0.004 % |
1049.37/1049.74 c | 1609057 | 160 13600 95200 | 61115 55484 48 | 0.004 % |
1049.47/1049.81 c | 1609158 | 160 13600 95200 | 61115 55585 48 | 0.004 % |
1049.47/1049.88 c | 1609269 | 160 13600 95200 | 61115 55696 48 | 0.004 % |
1049.57/1049.97 c | 1609390 | 160 13600 95200 | 61115 55817 48 | 0.004 % |
1049.67/1050.06 c | 1609526 | 160 13600 95200 | 61115 55953 48 | 0.004 % |
1049.77/1050.16 c | 1609672 | 160 13600 95200 | 61115 56099 48 | 0.004 % |
1049.87/1050.27 c | 1609833 | 160 13600 95200 | 61115 56260 48 | 0.004 % |
1049.97/1050.39 c | 1610009 | 160 13600 95200 | 56427 56436 48 | 0.004 % |
1050.17/1050.58 c | 1610204 | 160 13600 95200 | 56427 50771 48 | 0.004 % |
1050.27/1050.68 c | 1610417 | 160 13600 95200 | 56427 50984 48 | 0.004 % |
1050.47/1050.81 c | 1610651 | 160 13600 95200 | 56427 51218 48 | 0.004 % |
1050.57/1050.96 c | 1610908 | 160 13600 95200 | 56427 51475 48 | 0.004 % |
1050.77/1051.13 c | 1611190 | 160 13600 95200 | 56427 51757 48 | 0.004 % |
1050.97/1051.31 c | 1611499 | 160 13600 95200 | 56427 52066 48 | 0.004 % |
1051.07/1051.49 c | 1611838 | 160 13600 95200 | 56427 52405 48 | 0.004 % |
1051.37/1051.70 c | 1612210 | 160 13600 95200 | 56427 52777 48 | 0.004 % |
1051.57/1051.92 c | 1612619 | 160 13600 95200 | 56427 53186 48 | 0.004 % |
1051.77/1052.14 c | 1613069 | 160 13600 95200 | 56427 53636 48 | 0.004 % |
1052.07/1052.46 c | 1613563 | 160 13600 95200 | 56427 54130 48 | 0.004 % |
1052.47/1052.82 c | 1614105 | 160 13600 95200 | 56427 54672 48 | 0.004 % |
1052.77/1053.18 c | 1614701 | 160 13600 95200 | 56427 55268 48 | 0.004 % |
1053.16/1053.58 c | 1615356 | 160 13600 95200 | 56427 55923 48 | 0.004 % |
1053.66/1054.05 c | 1616077 | 160 13600 95200 | 56427 50994 48 | 0.004 % |
1054.06/1054.42 c | 1616870 | 160 13600 95200 | 56427 51787 48 | 0.004 % |
1054.47/1054.84 c | 1617742 | 160 13600 95200 | 56427 52659 48 | 0.004 % |
1055.06/1055.41 c | 1618700 | 160 13600 95200 | 56427 53617 48 | 0.004 % |
1055.67/1056.03 c | 1619754 | 160 13600 95200 | 56427 54671 48 | 0.004 % |
1056.26/1056.68 c | 1620912 | 160 13600 95200 | 2147483647 55829 48 | 0.004 % |
1057.16/1057.55 c | 1622187 | 160 13600 95200 | 2147483647 57104 48 | 0.004 % |
1057.96/1058.40 c | 1623588 | 160 13600 95200 | 2147483647 58505 48 | 0.004 % |
1059.06/1059.42 c | 1625128 | 160 13600 95200 | 2147483647 60045 48 | 0.004 % |
1060.16/1060.55 c | 1626822 | 160 13600 95200 | 2147483647 61739 48 | 0.004 % |
1061.26/1061.66 c | 1628687 | 160 13600 95200 | 2147483647 63604 48 | 0.004 % |
1062.46/1062.88 c | 1630737 | 160 13600 95200 | 64917 59021 48 | 0.004 % |
1063.96/1064.31 c | 1632992 | 160 13600 95200 | 64917 61276 48 | 0.004 % |
1065.47/1065.81 c | 1635473 | 160 13600 95200 | 64917 63757 48 | 0.004 % |
1066.96/1067.38 c | 1638200 | 160 13600 95200 | 64917 59834 48 | 0.004 % |
1068.86/1069.20 c | 1641197 | 160 13600 95200 | 61635 56570 48 | 0.004 % |
1070.96/1071.35 c | 1644493 | 160 13600 95200 | 61635 59866 48 | 0.004 % |
1073.26/1073.66 c | 1648118 | 160 13600 95200 | 61635 57322 48 | 0.004 % |
1075.76/1076.17 c | 1652105 | 160 13600 95200 | 2147483647 61309 48 | 0.004 % |
1078.66/1079.09 c | 1656494 | 160 13600 95200 | 2147483647 65698 48 | 0.004 % |
1082.26/1082.66 c | 1661318 | 160 13600 95200 | 69204 62019 49 | 0.004 % |
1085.85/1086.23 c | 1666623 | 160 13600 95200 | 69204 67324 49 | 0.004 % |
1089.45/1089.89 c | 1672459 | 160 13600 95200 | 61232 55478 49 | 0.004 % |
1093.56/1093.91 c | 1678877 | 160 13600 95200 | 61232 55150 49 | 0.004 % |
1097.37/1097.74 c | 1685936 | 160 13600 95200 | 56273 56240 49 | 0.004 % |
1101.77/1102.12 c | 1693701 | 160 13600 95200 | 2147483647 58371 49 | 0.004 % |
1107.16/1107.59 c | 1702242 | 160 13600 95200 | 2147483647 66912 49 | 0.004 % |
1114.16/1114.52 c | 1711638 | 160 13600 95200 | 74671 65231 49 | 0.004 % |
1121.66/1122.10 c | 1721971 | 160 13600 95200 | 73594 64274 50 | 0.004 % |
1129.65/1130.04 c | 1733338 | 160 13600 95200 | 72304 64730 50 | 0.004 % |
1138.95/1139.31 c | 1745842 | 160 13600 95200 | 71393 66511 50 | 0.004 % |
1149.05/1149.43 c | 1759595 | 160 13600 95200 | 70670 69616 50 | 0.004 % |
1157.95/1158.31 c | 1774722 | 160 13600 95200 | 69606 64262 50 | 0.004 % |
1157.95/1158.40 c | 1774822 | 160 13600 95200 | 69606 64362 50 | 0.004 % |
1158.04/1158.47 c | 1774932 | 160 13600 95200 | 69606 64472 50 | 0.004 % |
1158.14/1158.56 c | 1775053 | 160 13600 95200 | 69606 64593 50 | 0.004 % |
1158.24/1158.67 c | 1775188 | 160 13600 95200 | 69606 64728 50 | 0.004 % |
1158.34/1158.79 c | 1775336 | 160 13600 95200 | 69606 64876 50 | 0.004 % |
1158.54/1158.91 c | 1775497 | 160 13600 95200 | 69606 65037 50 | 0.004 % |
1158.64/1159.04 c | 1775677 | 160 13600 95200 | 69606 65217 50 | 0.004 % |
1158.74/1159.17 c | 1775871 | 160 13600 95200 | 69606 65411 50 | 0.004 % |
1158.95/1159.31 c | 1776083 | 160 13600 95200 | 69606 65623 50 | 0.004 % |
1159.05/1159.48 c | 1776316 | 160 13600 95200 | 69606 65856 50 | 0.004 % |
1159.24/1159.67 c | 1776572 | 160 13600 95200 | 69606 66112 50 | 0.004 % |
1159.44/1159.89 c | 1776854 | 160 13600 95200 | 69606 66394 50 | 0.004 % |
1159.74/1160.12 c | 1777163 | 160 13600 95200 | 69606 66703 50 | 0.004 % |
1159.94/1160.39 c | 1777502 | 160 13600 95200 | 69606 67042 50 | 0.004 % |
1160.24/1160.69 c | 1777875 | 160 13600 95200 | 69606 67415 50 | 0.004 % |
1160.64/1161.00 c | 1778284 | 160 13600 95200 | 69606 67824 50 | 0.004 % |
1160.94/1161.38 c | 1778734 | 160 13600 95200 | 69606 68274 50 | 0.004 % |
1161.34/1161.77 c | 1779227 | 160 13600 95200 | 69606 68767 50 | 0.004 % |
1161.84/1162.21 c | 1779770 | 160 13600 95200 | 69606 69310 50 | 0.004 % |
1162.35/1162.77 c | 1780367 | 160 13600 95200 | 69541 59134 50 | 0.004 % |
1162.84/1163.27 c | 1781022 | 160 13600 95200 | 69541 59789 50 | 0.004 % |
1163.44/1163.83 c | 1781742 | 160 13600 95200 | 69541 60509 50 | 0.004 % |
1164.04/1164.41 c | 1782535 | 160 13600 95200 | 69541 61302 50 | 0.004 % |
1164.64/1165.07 c | 1783406 | 160 13600 95200 | 69541 62173 50 | 0.004 % |
1165.24/1165.68 c | 1784364 | 160 13600 95200 | 69541 63131 50 | 0.004 % |
1165.94/1166.38 c | 1785421 | 160 13600 95200 | 69541 64188 50 | 0.004 % |
1166.74/1167.12 c | 1786580 | 160 13600 95200 | 69541 65347 50 | 0.004 % |
1167.74/1168.16 c | 1787853 | 160 13600 95200 | 69541 66620 50 | 0.004 % |
1168.74/1169.20 c | 1789253 | 160 13600 95200 | 69541 68020 50 | 0.004 % |
1169.94/1170.33 c | 1790795 | 160 13600 95200 | 68768 58739 50 | 0.004 % |
1171.04/1171.42 c | 1792490 | 160 13600 95200 | 68768 60434 50 | 0.004 % |
1172.14/1172.59 c | 1794354 | 160 13600 95200 | 68768 62298 50 | 0.004 % |
1173.43/1173.89 c | 1796403 | 160 13600 95200 | 68768 64347 49 | 0.004 % |
1175.13/1175.54 c | 1798658 | 160 13600 95200 | 68768 66602 50 | 0.004 % |
1176.83/1177.26 c | 1801136 | 160 13600 95200 | 67946 59553 50 | 0.004 % |
1178.84/1179.21 c | 1803862 | 160 13600 95200 | 67946 62279 50 | 0.004 % |
1181.04/1181.43 c | 1806860 | 160 13600 95200 | 67946 65277 49 | 0.004 % |
1183.43/1183.89 c | 1810156 | 160 13600 95200 | 59269 51515 49 | 0.004 % |
1185.33/1185.74 c | 1813783 | 160 13600 95200 | 59269 55142 49 | 0.004 % |
1187.73/1188.11 c | 1817770 | 160 13600 95200 | 59269 59129 49 | 0.004 % |
1190.23/1190.65 c | 1822155 | 160 13600 95200 | 2147483647 57581 49 | 0.004 % |
1193.13/1193.52 c | 1826978 | 160 13600 95200 | 2147483647 62404 49 | 0.004 % |
1196.43/1196.87 c | 1832283 | 160 13600 95200 | 2147483647 67709 49 | 0.004 % |
1200.03/1200.41 HOME/SatELiteGTI: line 36: 2295 Terminated $MS $TMP.cnf $TMP.result
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1832613-1242785159/watcher-1832613-1242785159 -o /tmp/evaluation-result-1832613-1242785159/solver-1832613-1242785159 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832613-1242785159.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: 1.00 1.02 1.00 3/64 2289
/proc/meminfo: memFree=1613872/2055920 swapFree=4180384/4192956
[pid=2289] ppid=2287 vsize=5356 CPUtime=0
/proc/2289/stat : 2289 (SatELiteGTI) S 2287 2289 1691 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 306541916 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 237947642692 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/2289/statm: 1339 237 197 169 0 50 0
[startup+0.027715 s]
/proc/loadavg: 1.00 1.02 1.00 3/64 2289
/proc/meminfo: memFree=1613872/2055920 swapFree=4180384/4192956
[pid=2289] ppid=2287 vsize=5356 CPUtime=0
/proc/2289/stat : 2289 (SatELiteGTI) S 2287 2289 1691 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 306541916 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 237947642692 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/2289/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.101724 s]
/proc/loadavg: 1.00 1.02 1.00 3/64 2289
/proc/meminfo: memFree=1613872/2055920 swapFree=4180384/4192956
[pid=2289] ppid=2287 vsize=5356 CPUtime=0.04
/proc/2289/stat : 2289 (SatELiteGTI) S 2287 2289 1691 0 -1 4194304 336 668 0 0 0 0 4 0 16 0 1 0 306541916 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237947642692 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2289/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 5356
[startup+0.301739 s]
/proc/loadavg: 1.00 1.02 1.00 3/64 2289
/proc/meminfo: memFree=1613872/2055920 swapFree=4180384/4192956
[pid=2289] ppid=2287 vsize=5356 CPUtime=0.04
/proc/2289/stat : 2289 (SatELiteGTI) S 2287 2289 1691 0 -1 4194304 336 668 0 0 0 0 4 0 16 0 1 0 306541916 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237947642692 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2289/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 5356
[startup+0.701774 s]
/proc/loadavg: 1.00 1.02 1.00 3/64 2289
/proc/meminfo: memFree=1613872/2055920 swapFree=4180384/4192956
[pid=2289] ppid=2287 vsize=5356 CPUtime=0.04
/proc/2289/stat : 2289 (SatELiteGTI) S 2287 2289 1691 0 -1 4194304 336 668 0 0 0 0 4 0 16 0 1 0 306541916 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237947642692 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2289/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 5356
[startup+1.50183 s]
/proc/loadavg: 1.00 1.02 1.00 2/66 2295
/proc/meminfo: memFree=1610592/2055920 swapFree=4180384/4192956
[pid=2289] ppid=2287 vsize=5356 CPUtime=0.04
/proc/2289/stat : 2289 (SatELiteGTI) S 2287 2289 1691 0 -1 4194304 336 668 0 0 0 0 4 0 16 0 1 0 306541916 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237947642692 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2289/statm: 1339 239 197 169 0 50 0
[pid=2295] ppid=2289 vsize=4824 CPUtime=1.43
/proc/2295/stat : 2295 (minisat_static) R 2289 2289 1691 0 -1 4194304 945 0 0 0 143 0 0 0 25 0 1 0 306541921 4939776 931 1992294400 134512640 135215339 4294956240 18446744073709551615 134528691 0 0 4096 3 0 0 0 17 1 0 0
/proc/2295/statm: 1206 931 76 171 0 1033 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 10180
[startup+3.10196 s]
/proc/loadavg: 1.00 1.02 1.00 2/66 2295
/proc/meminfo: memFree=1608608/2055920 swapFree=4180384/4192956
[pid=2289] ppid=2287 vsize=5356 CPUtime=0.04
/proc/2289/stat : 2289 (SatELiteGTI) S 2287 2289 1691 0 -1 4194304 336 668 0 0 0 0 4 0 16 0 1 0 306541916 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237947642692 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2289/statm: 1339 239 197 169 0 50 0
[pid=2295] ppid=2289 vsize=7064 CPUtime=3.03
/proc/2295/stat : 2295 (minisat_static) R 2289 2289 1691 0 -1 4194304 1478 0 0 0 302 1 0 0 25 0 1 0 306541921 7233536 1464 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/2295/statm: 1766 1464 76 171 0 1593 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 12420
[startup+6.30122 s]
/proc/loadavg: 1.00 1.02 1.00 2/66 2295
/proc/meminfo: memFree=1605472/2055920 swapFree=4180384/4192956
[pid=2289] ppid=2287 vsize=5356 CPUtime=0.04
/proc/2289/stat : 2289 (SatELiteGTI) S 2287 2289 1691 0 -1 4194304 336 668 0 0 0 0 4 0 16 0 1 0 306541916 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237947642692 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2289/statm: 1339 239 197 169 0 50 0
[pid=2295] ppid=2289 vsize=9472 CPUtime=6.23
/proc/2295/stat : 2295 (minisat_static) R 2289 2289 1691 0 -1 4194304 2092 0 0 0 621 2 0 0 25 0 1 0 306541921 9699328 2078 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/2295/statm: 2368 2078 76 171 0 2195 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 14828
[startup+12.7017 s]
/proc/loadavg: 1.00 1.02 1.00 2/66 2295
/proc/meminfo: memFree=1601640/2055920 swapFree=4180384/4192956
[pid=2289] ppid=2287 vsize=5356 CPUtime=0.04
/proc/2289/stat : 2289 (SatELiteGTI) S 2287 2289 1691 0 -1 4194304 336 668 0 0 0 0 4 0 16 0 1 0 306541916 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237947642692 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2289/statm: 1339 239 197 169 0 50 0
[pid=2295] ppid=2289 vsize=12864 CPUtime=12.63
/proc/2295/stat : 2295 (minisat_static) R 2289 2289 1691 0 -1 4194304 2945 0 0 0 1260 3 0 0 25 0 1 0 306541921 13172736 2931 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/2295/statm: 3216 2931 76 171 0 3043 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 18220
[startup+25.5018 s]
/proc/loadavg: 1.00 1.02 1.00 2/66 2295
/proc/meminfo: memFree=1596776/2055920 swapFree=4180384/4192956
[pid=2289] ppid=2287 vsize=5356 CPUtime=0.04
/proc/2289/stat : 2289 (SatELiteGTI) S 2287 2289 1691 0 -1 4194304 336 668 0 0 0 0 4 0 16 0 1 0 306541916 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237947642692 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2289/statm: 1339 239 197 169 0 50 0
[pid=2295] ppid=2289 vsize=17620 CPUtime=25.43
/proc/2295/stat : 2295 (minisat_static) R 2289 2289 1691 0 -1 4194304 4124 0 0 0 2538 5 0 0 25 0 1 0 306541921 18042880 4110 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/2295/statm: 4405 4110 76 171 0 4232 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 22976
[startup+51.1018 s]
/proc/loadavg: 1.00 1.02 1.00 2/66 2295
/proc/meminfo: memFree=1596328/2055920 swapFree=4180384/4192956
[pid=2289] ppid=2287 vsize=5356 CPUtime=0.04
/proc/2289/stat : 2289 (SatELiteGTI) S 2287 2289 1691 0 -1 4194304 336 668 0 0 0 0 4 0 16 0 1 0 306541916 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237947642692 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2289/statm: 1339 239 197 169 0 50 0
[pid=2295] ppid=2289 vsize=17896 CPUtime=51.02
/proc/2295/stat : 2295 (minisat_static) R 2289 2289 1691 0 -1 4194304 4195 0 0 0 5097 5 0 0 25 0 1 0 306541921 18325504 4181 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/2295/statm: 4474 4181 76 171 0 4301 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 23252
[startup+102.306 s]
/proc/loadavg: 1.00 1.01 1.00 2/66 2295
/proc/meminfo: memFree=1595816/2055920 swapFree=4180384/4192956
[pid=2289] ppid=2287 vsize=5356 CPUtime=0.04
/proc/2289/stat : 2289 (SatELiteGTI) S 2287 2289 1691 0 -1 4194304 336 668 0 0 0 0 4 0 16 0 1 0 306541916 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237947642692 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2289/statm: 1339 239 197 169 0 50 0
[pid=2295] ppid=2289 vsize=18292 CPUtime=102.21
/proc/2295/stat : 2295 (minisat_static) R 2289 2289 1691 0 -1 4194304 4298 0 0 0 10215 6 0 0 25 0 1 0 306541921 18731008 4284 1992294400 134512640 135215339 4294956240 18446744073709551615 134528779 0 0 4096 3 0 0 0 17 1 0 0
/proc/2295/statm: 4573 4284 76 171 0 4400 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 23648
[startup+162.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/66 2295
/proc/meminfo: memFree=1593256/2055920 swapFree=4180384/4192956
[pid=2289] ppid=2287 vsize=5356 CPUtime=0.04
/proc/2289/stat : 2289 (SatELiteGTI) S 2287 2289 1691 0 -1 4194304 336 668 0 0 0 0 4 0 16 0 1 0 306541916 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237947642692 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2289/statm: 1339 239 197 169 0 50 0
[pid=2295] ppid=2289 vsize=20692 CPUtime=162.19
/proc/2295/stat : 2295 (minisat_static) R 2289 2289 1691 0 -1 4194304 4876 0 0 0 16212 7 0 0 25 0 1 0 306541921 21188608 4862 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/2295/statm: 5173 4862 76 171 0 5000 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 26048
[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2295
/proc/meminfo: memFree=1593192/2055920 swapFree=4180384/4192956
[pid=2289] ppid=2287 vsize=5356 CPUtime=0.04
/proc/2289/stat : 2289 (SatELiteGTI) S 2287 2289 1691 0 -1 4194304 336 668 0 0 0 0 4 0 16 0 1 0 306541916 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237947642692 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2289/statm: 1339 239 197 169 0 50 0
[pid=2295] ppid=2289 vsize=20688 CPUtime=222.17
/proc/2295/stat : 2295 (minisat_static) R 2289 2289 1691 0 -1 4194304 4876 0 0 0 22209 8 0 0 25 0 1 0 306541921 21184512 4862 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/2295/statm: 5172 4862 76 171 0 4999 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 26044
[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2295
/proc/meminfo: memFree=1592488/2055920 swapFree=4180384/4192956
[pid=2289] ppid=2287 vsize=5356 CPUtime=0.04
/proc/2289/stat : 2289 (SatELiteGTI) S 2287 2289 1691 0 -1 4194304 336 668 0 0 0 0 4 0 16 0 1 0 306541916 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237947642692 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2289/statm: 1339 239 197 169 0 50 0
[pid=2295] ppid=2289 vsize=21216 CPUtime=282.14
/proc/2295/stat : 2295 (minisat_static) R 2289 2289 1691 0 -1 4194304 5034 0 0 0 28206 8 0 0 25 0 1 0 306541921 21725184 5020 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/2295/statm: 5304 5020 76 171 0 5131 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 26572
[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2295
/proc/meminfo: memFree=1592240/2055920 swapFree=4180384/4192956
[pid=2289] ppid=2287 vsize=5356 CPUtime=0.04
/proc/2289/stat : 2289 (SatELiteGTI) S 2287 2289 1691 0 -1 4194304 336 668 0 0 0 0 4 0 16 0 1 0 306541916 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237947642692 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2289/statm: 1339 239 197 169 0 50 0
[pid=2295] ppid=2289 vsize=21508 CPUtime=342.12
/proc/2295/stat : 2295 (minisat_static) R 2289 2289 1691 0 -1 4194304 5087 0 0 0 34203 9 0 0 25 0 1 0 306541921 22024192 5073 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/2295/statm: 5377 5073 76 171 0 5204 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 26864
[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2295
/proc/meminfo: memFree=1592048/2055920 swapFree=4180384/4192956
[pid=2289] ppid=2287 vsize=5356 CPUtime=0.04
/proc/2289/stat : 2289 (SatELiteGTI) S 2287 2289 1691 0 -1 4194304 336 668 0 0 0 0 4 0 16 0 1 0 306541916 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237947642692 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2289/statm: 1339 239 197 169 0 50 0
[pid=2295] ppid=2289 vsize=21508 CPUtime=402.1
/proc/2295/stat : 2295 (minisat_static) R 2289 2289 1691 0 -1 4194304 5087 0 0 0 40201 9 0 0 25 0 1 0 306541921 22024192 5073 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/2295/statm: 5377 5073 76 171 0 5204 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 26864
[startup+462.302 s]
################
# More data... #
################
[pid=2295] ppid=2289 vsize=21508 CPUtime=462.08
/proc/2295/stat : 2295 (minisat_static) R 2289 2289 1691 0 -1 4194304 5087 0 0 0 46199 9 0 0 25 0 1 0 306541921 22024192 5073 1992294400 134512640 135215339 4294956240 18446744073709551615 134528782 0 0 4096 3 0 0 0 17 1 0 0
/proc/2295/statm: 5377 5073 76 171 0 5204 0
Current children cumulated CPU time (s) 462.12
Current children cumulated vsize (KiB) 26864
[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2295
/proc/meminfo: memFree=1591088/2055920 swapFree=4180384/4192956
[pid=2289] ppid=2287 vsize=5356 CPUtime=0.04
/proc/2289/stat : 2289 (SatELiteGTI) S 2287 2289 1691 0 -1 4194304 336 668 0 0 0 0 4 0 16 0 1 0 306541916 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237947642692 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2289/statm: 1339 239 197 169 0 50 0
[pid=2295] ppid=2289 vsize=22304 CPUtime=522.07
/proc/2295/stat : 2295 (minisat_static) R 2289 2289 1691 0 -1 4194304 5277 0 0 0 52197 10 0 0 25 0 1 0 306541921 22839296 5263 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 1 0 0
/proc/2295/statm: 5576 5263 76 171 0 5403 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 27660
[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2295
/proc/meminfo: memFree=1590960/2055920 swapFree=4180384/4192956
[pid=2289] ppid=2287 vsize=5356 CPUtime=0.04
/proc/2289/stat : 2289 (SatELiteGTI) S 2287 2289 1691 0 -1 4194304 336 668 0 0 0 0 4 0 16 0 1 0 306541916 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237947642692 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2289/statm: 1339 239 197 169 0 50 0
[pid=2295] ppid=2289 vsize=22304 CPUtime=582.05
/proc/2295/stat : 2295 (minisat_static) R 2289 2289 1691 0 -1 4194304 5292 0 0 0 58194 11 0 0 25 0 1 0 306541921 22839296 5278 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/2295/statm: 5576 5278 76 171 0 5403 0
Current children cumulated CPU time (s) 582.09
Current children cumulated vsize (KiB) 27660
[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2295
/proc/meminfo: memFree=1590832/2055920 swapFree=4180384/4192956
[pid=2289] ppid=2287 vsize=5356 CPUtime=0.04
/proc/2289/stat : 2289 (SatELiteGTI) S 2287 2289 1691 0 -1 4194304 336 668 0 0 0 0 4 0 16 0 1 0 306541916 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237947642692 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2289/statm: 1339 239 197 169 0 50 0
[pid=2295] ppid=2289 vsize=22304 CPUtime=642.04
/proc/2295/stat : 2295 (minisat_static) R 2289 2289 1691 0 -1 4194304 5292 0 0 0 64193 11 0 0 25 0 1 0 306541921 22839296 5278 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/2295/statm: 5576 5278 76 171 0 5403 0
Current children cumulated CPU time (s) 642.08
Current children cumulated vsize (KiB) 27660
[startup+702.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2295
/proc/meminfo: memFree=1590704/2055920 swapFree=4180384/4192956
[pid=2289] ppid=2287 vsize=5356 CPUtime=0.04
/proc/2289/stat : 2289 (SatELiteGTI) S 2287 2289 1691 0 -1 4194304 336 668 0 0 0 0 4 0 16 0 1 0 306541916 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237947642692 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2289/statm: 1339 239 197 169 0 50 0
[pid=2295] ppid=2289 vsize=22304 CPUtime=702.02
/proc/2295/stat : 2295 (minisat_static) R 2289 2289 1691 0 -1 4194304 5292 0 0 0 70190 12 0 0 25 0 1 0 306541921 22839296 5278 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/2295/statm: 5576 5278 76 171 0 5403 0
Current children cumulated CPU time (s) 702.06
Current children cumulated vsize (KiB) 27660
[startup+762.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2295
/proc/meminfo: memFree=1590064/2055920 swapFree=4180384/4192956
[pid=2289] ppid=2287 vsize=5356 CPUtime=0.04
/proc/2289/stat : 2289 (SatELiteGTI) S 2287 2289 1691 0 -1 4194304 336 668 0 0 0 0 4 0 16 0 1 0 306541916 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237947642692 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2289/statm: 1339 239 197 169 0 50 0
[pid=2295] ppid=2289 vsize=22832 CPUtime=762.01
/proc/2295/stat : 2295 (minisat_static) R 2289 2289 1691 0 -1 4194304 5423 0 0 0 76188 13 0 0 25 0 1 0 306541921 23379968 5409 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/2295/statm: 5708 5409 76 171 0 5535 0
Current children cumulated CPU time (s) 762.05
Current children cumulated vsize (KiB) 28188
[startup+822.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2295
/proc/meminfo: memFree=1589936/2055920 swapFree=4180384/4192956
[pid=2289] ppid=2287 vsize=5356 CPUtime=0.04
/proc/2289/stat : 2289 (SatELiteGTI) S 2287 2289 1691 0 -1 4194304 336 668 0 0 0 0 4 0 16 0 1 0 306541916 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237947642692 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2289/statm: 1339 239 197 169 0 50 0
[pid=2295] ppid=2289 vsize=22968 CPUtime=822
/proc/2295/stat : 2295 (minisat_static) R 2289 2289 1691 0 -1 4194304 5444 0 0 0 82186 14 0 0 25 0 1 0 306541921 23519232 5430 1992294400 134512640 135215339 4294956240 18446744073709551615 134528784 0 0 4096 3 0 0 0 17 1 0 0
/proc/2295/statm: 5742 5430 76 171 0 5569 0
Current children cumulated CPU time (s) 822.04
Current children cumulated vsize (KiB) 28324
[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2295
/proc/meminfo: memFree=1589872/2055920 swapFree=4180384/4192956
[pid=2289] ppid=2287 vsize=5356 CPUtime=0.04
/proc/2289/stat : 2289 (SatELiteGTI) S 2287 2289 1691 0 -1 4194304 336 668 0 0 0 0 4 0 16 0 1 0 306541916 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237947642692 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2289/statm: 1339 239 197 169 0 50 0
[pid=2295] ppid=2289 vsize=22968 CPUtime=881.98
/proc/2295/stat : 2295 (minisat_static) R 2289 2289 1691 0 -1 4194304 5444 0 0 0 88184 14 0 0 25 0 1 0 306541921 23519232 5430 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/2295/statm: 5742 5430 76 171 0 5569 0
Current children cumulated CPU time (s) 882.02
Current children cumulated vsize (KiB) 28324
[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2295
/proc/meminfo: memFree=1589616/2055920 swapFree=4180384/4192956
[pid=2289] ppid=2287 vsize=5356 CPUtime=0.04
/proc/2289/stat : 2289 (SatELiteGTI) S 2287 2289 1691 0 -1 4194304 336 668 0 0 0 0 4 0 16 0 1 0 306541916 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237947642692 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2289/statm: 1339 239 197 169 0 50 0
[pid=2295] ppid=2289 vsize=23104 CPUtime=941.97
/proc/2295/stat : 2295 (minisat_static) R 2289 2289 1691 0 -1 4194304 5494 0 0 0 94182 15 0 0 25 0 1 0 306541921 23658496 5480 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/2295/statm: 5776 5480 76 171 0 5603 0
Current children cumulated CPU time (s) 942.01
Current children cumulated vsize (KiB) 28460
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2295
/proc/meminfo: memFree=1589296/2055920 swapFree=4180384/4192956
[pid=2289] ppid=2287 vsize=5356 CPUtime=0.04
/proc/2289/stat : 2289 (SatELiteGTI) S 2287 2289 1691 0 -1 4194304 336 668 0 0 0 0 4 0 16 0 1 0 306541916 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237947642692 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2289/statm: 1339 239 197 169 0 50 0
[pid=2295] ppid=2289 vsize=23248 CPUtime=1001.94
/proc/2295/stat : 2295 (minisat_static) R 2289 2289 1691 0 -1 4194304 5528 0 0 0 100179 15 0 0 25 0 1 0 306541921 23805952 5514 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/2295/statm: 5812 5514 76 171 0 5639 0
Current children cumulated CPU time (s) 1001.98
Current children cumulated vsize (KiB) 28604
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2295
/proc/meminfo: memFree=1589232/2055920 swapFree=4180384/4192956
[pid=2289] ppid=2287 vsize=5356 CPUtime=0.04
/proc/2289/stat : 2289 (SatELiteGTI) S 2287 2289 1691 0 -1 4194304 336 668 0 0 0 0 4 0 16 0 1 0 306541916 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237947642692 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2289/statm: 1339 239 197 169 0 50 0
[pid=2295] ppid=2289 vsize=23248 CPUtime=1061.92
/proc/2295/stat : 2295 (minisat_static) R 2289 2289 1691 0 -1 4194304 5528 0 0 0 106177 15 0 0 25 0 1 0 306541921 23805952 5514 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/2295/statm: 5812 5514 76 171 0 5639 0
Current children cumulated CPU time (s) 1061.96
Current children cumulated vsize (KiB) 28604
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2295
/proc/meminfo: memFree=1589168/2055920 swapFree=4180384/4192956
[pid=2289] ppid=2287 vsize=5356 CPUtime=0.04
/proc/2289/stat : 2289 (SatELiteGTI) S 2287 2289 1691 0 -1 4194304 336 668 0 0 0 0 4 0 16 0 1 0 306541916 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237947642692 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2289/statm: 1339 239 197 169 0 50 0
[pid=2295] ppid=2289 vsize=23248 CPUtime=1121.91
/proc/2295/stat : 2295 (minisat_static) R 2289 2289 1691 0 -1 4194304 5528 0 0 0 112175 16 0 0 25 0 1 0 306541921 23805952 5514 1992294400 134512640 135215339 4294956240 18446744073709551615 134528691 0 0 4096 3 0 0 0 17 1 0 0
/proc/2295/statm: 5812 5514 76 171 0 5639 0
Current children cumulated CPU time (s) 1121.95
Current children cumulated vsize (KiB) 28604
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2295
/proc/meminfo: memFree=1589040/2055920 swapFree=4180384/4192956
[pid=2289] ppid=2287 vsize=5356 CPUtime=0.04
/proc/2289/stat : 2289 (SatELiteGTI) S 2287 2289 1691 0 -1 4194304 336 668 0 0 0 0 4 0 16 0 1 0 306541916 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237947642692 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2289/statm: 1339 239 197 169 0 50 0
[pid=2295] ppid=2289 vsize=23392 CPUtime=1181.89
/proc/2295/stat : 2295 (minisat_static) R 2289 2289 1691 0 -1 4194304 5544 0 0 0 118173 16 0 0 25 0 1 0 306541921 23953408 5530 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/2295/statm: 5848 5530 76 171 0 5675 0
Current children cumulated CPU time (s) 1181.93
Current children cumulated vsize (KiB) 28748
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2295
/proc/meminfo: memFree=1588976/2055920 swapFree=4180384/4192956
[pid=2289] ppid=2287 vsize=5356 CPUtime=0.04
/proc/2289/stat : 2289 (SatELiteGTI) S 2287 2289 1691 0 -1 4194304 336 668 0 0 0 0 4 0 16 0 1 0 306541916 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237947642692 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2289/statm: 1339 239 197 169 0 50 0
[pid=2295] ppid=2289 vsize=23392 CPUtime=1199.99
/proc/2295/stat : 2295 (minisat_static) R 2289 2289 1691 0 -1 4194304 5544 0 0 0 119983 16 0 0 25 0 1 0 306541921 23953408 5530 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/2295/statm: 5848 5530 76 171 0 5675 0
Current children cumulated CPU time (s) 1200.03
Current children cumulated vsize (KiB) 28748
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)
Real time (s): 1200.41
CPU time (s): 1200.06
CPU user time (s): 1199.88
CPU system time (s): 0.179972
CPU usage (%): 99.9708
Max. virtual memory (cumulated for all children) (KiB): 28748
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.88
system time used= 0.179972
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6557
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= 25
involuntary context switches= 4481
runsolver used 1.43278 second user time and 3.03754 second system time
The end
Begin job on node69 at 2009-05-20 04:05:59
IDJOB=1832613
IDBENCH=70270
IDSOLVER=671
FILE ID=node69/1832613-1242785159
PBS_JOBID= 9322368
Free space on /tmp= 66140 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/RANDOM/LARGE/7SAT/UNKNOWN/160/unif-k7-r85-v160-c13600-S1849057034-020.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832613-1242785159/watcher-1832613-1242785159 -o /tmp/evaluation-result-1832613-1242785159/solver-1832613-1242785159 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832613-1242785159.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 33aa10492d14e1883d707891a0a1cdfc
RANDOM SEED=1029815745
node69.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.231
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.231
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: 1614360 kB
Buffers: 24252 kB
Cached: 364732 kB
SwapCached: 6844 kB
Active: 69924 kB
Inactive: 327988 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1614360 kB
SwapTotal: 4192956 kB
SwapFree: 4180384 kB
Dirty: 1960 kB
Writeback: 0 kB
Mapped: 14080 kB
Slab: 29680 kB
Committed_AS: 937548 kB
PageTables: 1468 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= 66140 MiB
End job on node69 at 2009-05-20 04:26:01