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.015997 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.06 c ============================[ Search Statistics ]==============================
0.00/0.06 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.00/0.06 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.00/0.06 c ===============================================================================
0.00/0.06 c | 0 | 160 13600 95200 | 4533 0 nan | 0.000 % |
0.00/0.07 c | 100 | 160 13600 95200 | 4533 100 48 | 0.004 % |
0.04/0.08 c | 200 | 160 13600 95200 | 4533 200 49 | 0.004 % |
0.04/0.09 c | 300 | 160 13600 95200 | 4533 300 48 | 0.004 % |
0.04/0.10 c | 411 | 160 13600 95200 | 4533 411 48 | 0.004 % |
0.04/0.10 c | 511 | 160 13600 95200 | 4533 511 47 | 0.004 % |
0.04/0.11 c | 621 | 160 13600 95200 | 4533 621 48 | 0.004 % |
0.04/0.12 c | 743 | 160 13600 95200 | 4533 743 47 | 0.004 % |
0.04/0.13 c | 845 | 160 13600 95200 | 4533 845 48 | 0.004 % |
0.04/0.14 c | 955 | 160 13600 95200 | 4533 955 48 | 0.004 % |
0.04/0.15 c | 1078 | 160 13600 95200 | 4533 1078 48 | 0.004 % |
0.04/0.16 c | 1212 | 160 13600 95200 | 4533 1212 48 | 0.004 % |
0.04/0.16 c | 1313 | 160 13600 95200 | 4533 1313 48 | 0.004 % |
0.04/0.17 c | 1424 | 160 13600 95200 | 4533 1424 48 | 0.004 % |
0.04/0.18 c | 1545 | 160 13600 95200 | 4533 1545 47 | 0.004 % |
0.04/0.19 c | 1679 | 160 13600 95200 | 4533 1679 47 | 0.004 % |
0.04/0.21 c | 1826 | 160 13600 95200 | 4533 1826 47 | 0.004 % |
0.04/0.21 c | 1928 | 160 13600 95200 | 4533 1928 47 | 0.004 % |
0.04/0.22 c | 2038 | 160 13600 95200 | 4533 2038 47 | 0.004 % |
0.04/0.23 c | 2162 | 160 13600 95200 | 4533 2162 47 | 0.004 % |
0.04/0.24 c | 2296 | 160 13600 95200 | 4533 2296 47 | 0.004 % |
0.04/0.26 c | 2443 | 160 13600 95200 | 4533 2443 47 | 0.004 % |
0.04/0.27 c | 2604 | 160 13600 95200 | 4533 2604 47 | 0.004 % |
0.04/0.28 c | 2704 | 160 13600 95200 | 4533 2704 47 | 0.004 % |
0.04/0.29 c | 2816 | 160 13600 95200 | 4533 2816 48 | 0.004 % |
0.04/0.30 c | 2940 | 160 13600 95200 | 4533 2940 48 | 0.004 % |
0.04/0.31 c | 3073 | 160 13600 95200 | 4533 3073 48 | 0.004 % |
0.04/0.32 c | 3220 | 160 13600 95200 | 4533 3220 48 | 0.004 % |
0.04/0.34 c | 3380 | 160 13600 95200 | 4533 3380 48 | 0.004 % |
0.04/0.35 c | 3557 | 160 13600 95200 | 4533 3557 48 | 0.004 % |
0.04/0.36 c | 3658 | 160 13600 95200 | 4533 3658 48 | 0.004 % |
0.04/0.37 c | 3770 | 160 13600 95200 | 4533 3770 48 | 0.004 % |
0.04/0.39 c | 3892 | 160 13600 95200 | 4533 3892 48 | 0.004 % |
0.04/0.40 c | 4025 | 160 13600 95200 | 4533 4025 48 | 0.004 % |
0.04/0.41 c | 4171 | 160 13600 95200 | 4533 4171 48 | 0.004 % |
0.04/0.43 c | 4333 | 160 13600 95200 | 4533 4333 48 | 0.004 % |
0.04/0.44 c | 4509 | 160 13600 95200 | 4533 4509 48 | 0.004 % |
0.04/0.46 c | 4702 | 160 13600 95200 | 4533 4241 47 | 0.004 % |
0.04/0.47 c | 4804 | 160 13600 95200 | 4533 4343 47 | 0.004 % |
0.04/0.48 c | 4914 | 160 13600 95200 | 4533 4453 47 | 0.004 % |
0.04/0.49 c | 5035 | 160 13600 95200 | 4533 4574 47 | 0.004 % |
0.04/0.51 c | 5168 | 160 13600 95200 | 4533 4250 47 | 0.004 % |
0.04/0.52 c | 5315 | 160 13600 95200 | 4533 4397 47 | 0.004 % |
0.04/0.53 c | 5475 | 160 13600 95200 | 4533 4557 47 | 0.004 % |
0.04/0.55 c | 5653 | 160 13600 95200 | 4533 4280 47 | 0.004 % |
0.04/0.57 c | 5846 | 160 13600 95200 | 4533 4473 47 | 0.004 % |
0.04/0.59 c | 6060 | 160 13600 95200 | 4533 4226 47 | 0.004 % |
0.04/0.60 c | 6161 | 160 13600 95200 | 4533 4327 47 | 0.004 % |
0.04/0.61 c | 6271 | 160 13600 95200 | 4533 4437 47 | 0.004 % |
0.04/0.62 c | 6395 | 160 13600 95200 | 4533 4561 47 | 0.004 % |
0.04/0.64 c | 6529 | 160 13600 95200 | 4533 4239 47 | 0.004 % |
0.04/0.65 c | 6677 | 160 13600 95200 | 4533 4387 47 | 0.004 % |
0.04/0.67 c | 6838 | 160 13600 95200 | 4533 4548 47 | 0.004 % |
0.04/0.69 c | 7014 | 160 13600 95200 | 4533 4270 47 | 0.004 % |
0.04/0.71 c | 7210 | 160 13600 95200 | 4533 4466 47 | 0.004 % |
0.04/0.73 c | 7423 | 160 13600 95200 | 4533 4219 47 | 0.004 % |
0.04/0.75 c | 7656 | 160 13600 95200 | 4533 4452 47 | 0.004 % |
0.04/0.76 c | 7756 | 160 13600 95200 | 4533 4552 47 | 0.004 % |
0.04/0.77 c | 7868 | 160 13600 95200 | 4533 4209 47 | 0.004 % |
0.04/0.78 c | 7989 | 160 13600 95200 | 4533 4330 47 | 0.004 % |
0.04/0.80 c | 8122 | 160 13600 95200 | 4533 4463 47 | 0.004 % |
0.04/0.81 c | 8269 | 160 13600 95200 | 4533 4150 47 | 0.004 % |
0.04/0.83 c | 8429 | 160 13600 95200 | 4533 4310 47 | 0.004 % |
0.04/0.84 c | 8605 | 160 13600 95200 | 4533 4486 47 | 0.004 % |
0.04/0.86 c | 8799 | 160 13600 95200 | 4533 4220 47 | 0.004 % |
0.04/0.88 c | 9011 | 160 13600 95200 | 4533 4432 47 | 0.004 % |
0.04/0.91 c | 9244 | 160 13600 95200 | 4533 4205 47 | 0.004 % |
0.04/0.93 c | 9501 | 160 13600 95200 | 4533 4462 47 | 0.004 % |
0.04/0.94 c | 9602 | 160 13600 95200 | 4533 4563 47 | 0.004 % |
0.04/0.95 c | 9714 | 160 13600 95200 | 4533 4219 47 | 0.004 % |
0.04/0.96 c | 9835 | 160 13600 95200 | 4533 4340 47 | 0.004 % |
0.04/0.97 c | 9970 | 160 13600 95200 | 4533 4475 47 | 0.004 % |
0.04/0.99 c | 10116 | 160 13600 95200 | 2147483647 4621 47 | 0.004 % |
0.98/1.01 c | 10276 | 160 13600 95200 | 2147483647 4781 47 | 0.004 % |
0.98/1.02 c | 10454 | 160 13600 95200 | 2147483647 4959 47 | 0.004 % |
0.98/1.04 c | 10649 | 160 13600 95200 | 2147483647 5154 47 | 0.004 % |
0.98/1.07 c | 10861 | 160 13600 95200 | 2147483647 5366 47 | 0.004 % |
0.98/1.09 c | 11094 | 160 13600 95200 | 2147483647 5599 47 | 0.004 % |
1.08/1.12 c | 11351 | 160 13600 95200 | 2147483647 5856 47 | 0.004 % |
1.08/1.14 c | 11633 | 160 13600 95200 | 2147483647 6138 47 | 0.004 % |
1.08/1.15 c | 11733 | 160 13600 95200 | 2147483647 6238 47 | 0.004 % |
1.08/1.17 c | 11844 | 160 13600 95200 | 2147483647 6349 47 | 0.004 % |
1.08/1.18 c | 11968 | 160 13600 95200 | 2147483647 6473 48 | 0.004 % |
1.08/1.19 c | 12101 | 160 13600 95200 | 2147483647 6606 48 | 0.004 % |
1.17/1.21 c | 12248 | 160 13600 95200 | 2147483647 6753 48 | 0.004 % |
1.17/1.22 c | 12409 | 160 13600 95200 | 2147483647 6914 48 | 0.004 % |
1.17/1.24 c | 12587 | 160 13600 95200 | 2147483647 7092 48 | 0.004 % |
1.17/1.27 c | 12780 | 160 13600 95200 | 2147483647 7285 48 | 0.004 % |
1.17/1.29 c | 12992 | 160 13600 95200 | 2147483647 7497 48 | 0.004 % |
1.27/1.32 c | 13225 | 160 13600 95200 | 2147483647 7730 48 | 0.004 % |
1.27/1.34 c | 13481 | 160 13600 95200 | 2147483647 7986 48 | 0.004 % |
1.27/1.38 c | 13763 | 160 13600 95200 | 2147483647 8268 48 | 0.004 % |
1.37/1.41 c | 14073 | 160 13600 95200 | 2147483647 8578 48 | 0.004 % |
1.37/1.43 c | 14173 | 160 13600 95200 | 2147483647 8678 48 | 0.004 % |
1.37/1.44 c | 14284 | 160 13600 95200 | 2147483647 8789 48 | 0.004 % |
1.37/1.46 c | 14407 | 160 13600 95200 | 2147483647 8912 48 | 0.004 % |
1.37/1.47 c | 14541 | 160 13600 95200 | 2147483647 9046 48 | 0.004 % |
1.37/1.49 c | 14687 | 160 13600 95200 | 2147483647 9192 48 | 0.004 % |
1.47/1.51 c | 14847 | 160 13600 95200 | 2147483647 9352 48 | 0.004 % |
1.47/1.54 c | 15023 | 160 13600 95200 | 2147483647 9528 48 | 0.004 % |
1.47/1.56 c | 15216 | 160 13600 95200 | 2147483647 9721 48 | 0.004 % |
1.47/1.59 c | 15428 | 160 13600 95200 | 2147483647 9933 48 | 0.004 % |
1.57/1.62 c | 15662 | 160 13600 95200 | 2147483647 10167 48 | 0.004 % |
1.57/1.66 c | 15920 | 160 13600 95200 | 2147483647 10425 48 | 0.004 % |
1.67/1.70 c | 16201 | 160 13600 95200 | 2147483647 10706 48 | 0.004 % |
1.67/1.74 c | 16511 | 160 13600 95200 | 2147483647 11016 48 | 0.004 % |
1.67/1.80 c | 16850 | 160 13600 95200 | 2147483647 11355 48 | 0.004 % |
1.77/1.81 c | 16950 | 160 13600 95200 | 2147483647 11455 48 | 0.004 % |
1.77/1.83 c | 17061 | 160 13600 95200 | 2147483647 11566 48 | 0.004 % |
1.77/1.86 c | 17184 | 160 13600 95200 | 2147483647 11689 48 | 0.004 % |
1.77/1.88 c | 17318 | 160 13600 95200 | 2147483647 11823 48 | 0.004 % |
1.87/1.90 c | 17464 | 160 13600 95200 | 2147483647 11969 48 | 0.004 % |
1.87/1.93 c | 17625 | 160 13600 95200 | 2147483647 12130 48 | 0.004 % |
1.87/1.96 c | 17802 | 160 13600 95200 | 2147483647 12307 48 | 0.004 % |
1.87/1.99 c | 17996 | 160 13600 95200 | 2147483647 12501 48 | 0.004 % |
1.97/2.03 c | 18209 | 160 13600 95200 | 2147483647 12714 48 | 0.004 % |
1.97/2.06 c | 18442 | 160 13600 95200 | 2147483647 12947 48 | 0.004 % |
2.07/2.11 c | 18699 | 160 13600 95200 | 2147483647 13204 48 | 0.004 % |
2.07/2.16 c | 18980 | 160 13600 95200 | 2147483647 13485 48 | 0.004 % |
2.16/2.21 c | 19290 | 160 13600 95200 | 2147483647 13795 48 | 0.004 % |
2.16/2.27 c | 19630 | 160 13600 95200 | 2147483647 14135 48 | 0.004 % |
2.26/2.33 c | 20003 | 160 13600 95200 | 2147483647 14508 48 | 0.004 % |
2.26/2.35 c | 20104 | 160 13600 95200 | 2147483647 14609 48 | 0.004 % |
2.26/2.37 c | 20217 | 160 13600 95200 | 2147483647 14722 48 | 0.004 % |
2.26/2.40 c | 20338 | 160 13600 95200 | 2147483647 14843 48 | 0.004 % |
2.36/2.42 c | 20471 | 160 13600 95200 | 2147483647 14976 48 | 0.004 % |
2.36/2.45 c | 20617 | 160 13600 95200 | 2147483647 15122 48 | 0.004 % |
2.36/2.48 c | 20777 | 160 13600 95200 | 2147483647 15282 48 | 0.004 % |
2.46/2.51 c | 20954 | 160 13600 95200 | 2147483647 15459 48 | 0.004 % |
2.46/2.55 c | 21147 | 160 13600 95200 | 2147483647 15652 48 | 0.004 % |
2.46/2.59 c | 21361 | 160 13600 95200 | 2147483647 15866 48 | 0.004 % |
2.56/2.63 c | 21594 | 160 13600 95200 | 2147483647 16099 48 | 0.004 % |
2.56/2.69 c | 21851 | 160 13600 95200 | 2147483647 16356 48 | 0.004 % |
2.67/2.75 c | 22135 | 160 13600 95200 | 2147483647 16640 48 | 0.004 % |
2.77/2.81 c | 22446 | 160 13600 95200 | 2147483647 16951 48 | 0.004 % |
2.77/2.88 c | 22785 | 160 13600 95200 | 2147483647 17290 48 | 0.004 % |
2.87/2.96 c | 23158 | 160 13600 95200 | 2147483647 17663 48 | 0.004 % |
2.97/3.04 c | 23569 | 160 13600 95200 | 2147483647 18074 48 | 0.004 % |
2.97/3.07 c | 23670 | 160 13600 95200 | 2147483647 18175 48 | 0.004 % |
2.97/3.10 c | 23782 | 160 13600 95200 | 2147483647 18287 48 | 0.004 % |
3.07/3.13 c | 23905 | 160 13600 95200 | 2147483647 18410 48 | 0.004 % |
3.07/3.15 c | 24039 | 160 13600 95200 | 2147483647 18544 48 | 0.004 % |
3.07/3.20 c | 24186 | 160 13600 95200 | 2147483647 18691 48 | 0.004 % |
3.17/3.23 c | 24347 | 160 13600 95200 | 2147483647 18852 48 | 0.004 % |
3.17/3.27 c | 24523 | 160 13600 95200 | 2147483647 19028 48 | 0.004 % |
3.27/3.32 c | 24717 | 160 13600 95200 | 2147483647 19222 48 | 0.004 % |
3.27/3.37 c | 24931 | 160 13600 95200 | 2147483647 19436 48 | 0.004 % |
3.37/3.42 c | 25164 | 160 13600 95200 | 2147483647 19669 48 | 0.004 % |
3.37/3.48 c | 25421 | 160 13600 95200 | 2147483647 19926 48 | 0.004 % |
3.47/3.55 c | 25702 | 160 13600 95200 | 2147483647 20207 48 | 0.004 % |
3.57/3.62 c | 26012 | 160 13600 95200 | 2147483647 20517 48 | 0.004 % |
3.67/3.71 c | 26351 | 160 13600 95200 | 2147483647 20856 48 | 0.004 % |
3.77/3.80 c | 26725 | 160 13600 95200 | 2147483647 21230 48 | 0.004 % |
3.77/3.89 c | 27134 | 160 13600 95200 | 2147483647 21639 48 | 0.004 % |
3.97/4.00 c | 27584 | 160 13600 95200 | 2147483647 22089 48 | 0.004 % |
3.97/4.04 c | 27684 | 160 13600 95200 | 2147483647 22189 48 | 0.004 % |
3.97/4.06 c | 27795 | 160 13600 95200 | 2147483647 22300 48 | 0.004 % |
4.07/4.10 c | 27917 | 160 13600 95200 | 2147483647 22422 48 | 0.004 % |
4.07/4.13 c | 28050 | 160 13600 95200 | 2147483647 22555 48 | 0.004 % |
4.07/4.18 c | 28196 | 160 13600 95200 | 2147483647 22701 48 | 0.004 % |
4.17/4.22 c | 28358 | 160 13600 95200 | 2147483647 22863 48 | 0.004 % |
4.17/4.27 c | 28535 | 160 13600 95200 | 2147483647 23040 48 | 0.004 % |
4.27/4.33 c | 28728 | 160 13600 95200 | 2147483647 23233 48 | 0.004 % |
4.27/4.38 c | 28942 | 160 13600 95200 | 2147483647 23447 48 | 0.004 % |
4.37/4.45 c | 29175 | 160 13600 95200 | 2147483647 23680 48 | 0.004 % |
4.47/4.51 c | 29431 | 160 13600 95200 | 2147483647 23936 48 | 0.004 % |
4.47/4.59 c | 29712 | 160 13600 95200 | 2147483647 24217 48 | 0.004 % |
4.57/4.66 c | 30021 | 160 13600 95200 | 2147483647 24526 48 | 0.004 % |
4.67/4.77 c | 30360 | 160 13600 95200 | 2147483647 24865 48 | 0.004 % |
4.77/4.88 c | 30732 | 160 13600 95200 | 2147483647 25237 48 | 0.004 % |
4.97/5.01 c | 31141 | 160 13600 95200 | 2147483647 25646 48 | 0.004 % |
5.07/5.15 c | 31592 | 160 13600 95200 | 2147483647 26097 48 | 0.004 % |
5.17/5.29 c | 32086 | 160 13600 95200 | 2147483647 26591 48 | 0.004 % |
5.27/5.32 c | 32188 | 160 13600 95200 | 2147483647 26693 48 | 0.004 % |
5.27/5.35 c | 32299 | 160 13600 95200 | 2147483647 26804 48 | 0.004 % |
5.27/5.39 c | 32420 | 160 13600 95200 | 2147483647 26925 48 | 0.004 % |
5.37/5.43 c | 32553 | 160 13600 95200 | 2147483647 27058 48 | 0.004 % |
5.37/5.48 c | 32701 | 160 13600 95200 | 2147483647 27206 48 | 0.004 % |
5.47/5.54 c | 32861 | 160 13600 95200 | 2147483647 27366 48 | 0.004 % |
5.47/5.59 c | 33038 | 160 13600 95200 | 2147483647 27543 48 | 0.004 % |
5.57/5.66 c | 33232 | 160 13600 95200 | 2147483647 27737 48 | 0.004 % |
5.67/5.73 c | 33444 | 160 13600 95200 | 2147483647 27949 48 | 0.004 % |
5.77/5.80 c | 33679 | 160 13600 95200 | 2147483647 28184 48 | 0.004 % |
5.77/5.89 c | 33937 | 160 13600 95200 | 2147483647 28442 48 | 0.004 % |
5.87/5.98 c | 34218 | 160 13600 95200 | 2147483647 28723 48 | 0.004 % |
5.97/6.07 c | 34528 | 160 13600 95200 | 2147483647 29033 48 | 0.004 % |
6.07/6.19 c | 34867 | 160 13600 95200 | 2147483647 29372 48 | 0.004 % |
6.26/6.32 c | 35242 | 160 13600 95200 | 2147483647 29747 48 | 0.004 % |
6.36/6.45 c | 35651 | 160 13600 95200 | 2147483647 30156 48 | 0.004 % |
6.57/6.61 c | 36101 | 160 13600 95200 | 2147483647 30606 48 | 0.004 % |
6.66/6.78 c | 36594 | 160 13600 95200 | 2147483647 31099 48 | 0.004 % |
6.86/6.99 c | 37136 | 160 13600 95200 | 2147483647 31641 48 | 0.004 % |
6.96/7.03 c | 37236 | 160 13600 95200 | 2147483647 31741 48 | 0.004 % |
6.96/7.07 c | 37346 | 160 13600 95200 | 2147483647 31851 48 | 0.004 % |
7.06/7.11 c | 37467 | 160 13600 95200 | 2147483647 31972 48 | 0.004 % |
7.06/7.17 c | 37600 | 160 13600 95200 | 2147483647 32105 48 | 0.004 % |
7.16/7.23 c | 37747 | 160 13600 95200 | 2147483647 32252 48 | 0.004 % |
7.16/7.29 c | 37907 | 160 13600 95200 | 2147483647 32412 48 | 0.004 % |
7.26/7.35 c | 38084 | 160 13600 95200 | 2147483647 32589 48 | 0.004 % |
7.36/7.44 c | 38278 | 160 13600 95200 | 2147483647 32783 48 | 0.004 % |
7.46/7.52 c | 38491 | 160 13600 95200 | 2147483647 32996 48 | 0.004 % |
7.57/7.61 c | 38725 | 160 13600 95200 | 2147483647 33230 48 | 0.004 % |
7.67/7.70 c | 38981 | 160 13600 95200 | 2147483647 33486 48 | 0.004 % |
7.76/7.81 c | 39262 | 160 13600 95200 | 2147483647 33767 48 | 0.004 % |
7.86/7.91 c | 39572 | 160 13600 95200 | 2147483647 34077 48 | 0.004 % |
7.96/8.08 c | 39913 | 160 13600 95200 | 2147483647 34418 48 | 0.004 % |
8.16/8.23 c | 40285 | 160 13600 95200 | 2147483647 34790 48 | 0.004 % |
8.26/8.39 c | 40694 | 160 13600 95200 | 2147483647 35199 48 | 0.004 % |
8.46/8.57 c | 41144 | 160 13600 95200 | 2147483647 35649 48 | 0.004 % |
8.67/8.77 c | 41637 | 160 13600 95200 | 2147483647 36142 48 | 0.004 % |
8.96/9.00 c | 42179 | 160 13600 95200 | 2147483647 36684 48 | 0.004 % |
9.16/9.23 c | 42775 | 160 13600 95200 | 2147483647 37280 48 | 0.004 % |
9.16/9.28 c | 42876 | 160 13600 95200 | 2147483647 37381 48 | 0.004 % |
9.26/9.32 c | 42987 | 160 13600 95200 | 2147483647 37492 48 | 0.004 % |
9.26/9.38 c | 43111 | 160 13600 95200 | 2147483647 37616 48 | 0.004 % |
9.36/9.45 c | 43245 | 160 13600 95200 | 2147483647 37750 48 | 0.004 % |
9.46/9.51 c | 43393 | 160 13600 95200 | 2147483647 37898 48 | 0.004 % |
9.46/9.59 c | 43554 | 160 13600 95200 | 2147483647 38059 48 | 0.004 % |
9.56/9.69 c | 43730 | 160 13600 95200 | 2147483647 38235 48 | 0.004 % |
9.66/9.80 c | 43923 | 160 13600 95200 | 2147483647 38428 48 | 0.004 % |
9.76/9.89 c | 44137 | 160 13600 95200 | 2147483647 38642 48 | 0.004 % |
9.96/10.02 c | 44370 | 160 13600 95200 | 2147483647 38875 48 | 0.004 % |
10.06/10.14 c | 44626 | 160 13600 95200 | 2147483647 39131 48 | 0.004 % |
10.16/10.26 c | 44907 | 160 13600 95200 | 2147483647 39412 48 | 0.004 % |
10.26/10.38 c | 45216 | 160 13600 95200 | 2147483647 39721 48 | 0.004 % |
10.46/10.52 c | 45557 | 160 13600 95200 | 2147483647 40062 48 | 0.004 % |
10.66/10.72 c | 45929 | 160 13600 95200 | 2147483647 40434 48 | 0.004 % |
10.86/10.94 c | 46340 | 160 13600 95200 | 2147483647 40845 48 | 0.004 % |
11.06/11.14 c | 46789 | 160 13600 95200 | 2147483647 41294 48 | 0.004 % |
11.27/11.37 c | 47284 | 160 13600 95200 | 2147483647 41789 48 | 0.004 % |
11.57/11.66 c | 47826 | 160 13600 95200 | 2147483647 42331 48 | 0.004 % |
11.86/11.97 c | 48422 | 160 13600 95200 | 2147483647 42927 48 | 0.004 % |
12.16/12.26 c | 49079 | 160 13600 95200 | 2147483647 43584 48 | 0.004 % |
12.26/12.32 c | 49179 | 160 13600 95200 | 2147483647 43684 48 | 0.004 % |
12.26/12.38 c | 49290 | 160 13600 95200 | 2147483647 43795 48 | 0.004 % |
12.36/12.45 c | 49412 | 160 13600 95200 | 2147483647 43917 48 | 0.004 % |
12.46/12.52 c | 49545 | 160 13600 95200 | 2147483647 44050 48 | 0.004 % |
12.56/12.62 c | 49691 | 160 13600 95200 | 2147483647 44196 48 | 0.004 % |
12.66/12.71 c | 49851 | 160 13600 95200 | 2147483647 44356 48 | 0.004 % |
12.76/12.81 c | 50027 | 160 13600 95200 | 2147483647 44532 48 | 0.004 % |
12.86/12.93 c | 50220 | 160 13600 95200 | 2147483647 44725 48 | 0.004 % |
12.96/13.04 c | 50434 | 160 13600 95200 | 2147483647 44939 48 | 0.004 % |
13.07/13.16 c | 50667 | 160 13600 95200 | 2147483647 45172 48 | 0.004 % |
13.17/13.29 c | 50923 | 160 13600 95200 | 2147483647 45428 48 | 0.004 % |
13.36/13.44 c | 51205 | 160 13600 95200 | 2147483647 45710 48 | 0.004 % |
13.46/13.60 c | 51516 | 160 13600 95200 | 2147483647 46021 48 | 0.004 % |
13.76/13.82 c | 51856 | 160 13600 95200 | 2147483647 46361 48 | 0.004 % |
13.96/14.03 c | 52229 | 160 13600 95200 | 2147483647 46734 48 | 0.004 % |
14.16/14.24 c | 52640 | 160 13600 95200 | 2147483647 47145 48 | 0.004 % |
14.36/14.48 c | 53089 | 160 13600 95200 | 2147483647 47594 48 | 0.004 % |
14.66/14.77 c | 53582 | 160 13600 95200 | 2147483647 48087 48 | 0.004 % |
14.96/15.09 c | 54130 | 160 13600 95200 | 2147483647 48635 48 | 0.004 % |
15.36/15.41 c | 54729 | 160 13600 95200 | 2147483647 49234 48 | 0.004 % |
15.66/15.76 c | 55384 | 160 13600 95200 | 2147483647 49889 48 | 0.004 % |
16.06/16.14 c | 56105 | 160 13600 95200 | 2147483647 50610 48 | 0.004 % |
16.06/16.19 c | 56206 | 160 13600 95200 | 2147483647 50711 48 | 0.004 % |
16.16/16.26 c | 56316 | 160 13600 95200 | 2147483647 50821 48 | 0.004 % |
16.26/16.34 c | 56437 | 160 13600 95200 | 2147483647 50942 48 | 0.004 % |
16.37/16.42 c | 56570 | 160 13600 95200 | 2147483647 51075 48 | 0.004 % |
16.47/16.52 c | 56716 | 160 13600 95200 | 2147483647 51221 48 | 0.004 % |
16.56/16.63 c | 56876 | 160 13600 95200 | 2147483647 51381 48 | 0.004 % |
16.66/16.75 c | 57052 | 160 13600 95200 | 2147483647 51557 48 | 0.004 % |
16.76/16.88 c | 57247 | 160 13600 95200 | 2147483647 51752 48 | 0.004 % |
16.96/17.03 c | 57461 | 160 13600 95200 | 2147483647 51966 48 | 0.004 % |
17.06/17.17 c | 57695 | 160 13600 95200 | 2147483647 52200 48 | 0.004 % |
17.26/17.31 c | 57951 | 160 13600 95200 | 2147483647 52456 48 | 0.004 % |
17.36/17.48 c | 58233 | 160 13600 95200 | 2147483647 52738 48 | 0.004 % |
17.57/17.65 c | 58542 | 160 13600 95200 | 2147483647 53047 48 | 0.004 % |
17.86/17.90 c | 58882 | 160 13600 95200 | 2147483647 53387 48 | 0.004 % |
18.06/18.15 c | 59255 | 160 13600 95200 | 2147483647 53760 48 | 0.004 % |
18.36/18.42 c | 59666 | 160 13600 95200 | 2147483647 54171 48 | 0.004 % |
18.57/18.67 c | 60115 | 160 13600 95200 | 2147483647 54620 48 | 0.004 % |
18.86/18.95 c | 60608 | 160 13600 95200 | 2147483647 55113 48 | 0.004 % |
19.16/19.27 c | 61150 | 160 13600 95200 | 2147483647 55655 48 | 0.004 % |
19.56/19.60 c | 61746 | 160 13600 95200 | 2147483647 56251 48 | 0.004 % |
19.86/19.97 c | 62401 | 160 13600 95200 | 2147483647 56906 48 | 0.004 % |
20.26/20.37 c | 63121 | 160 13600 95200 | 2147483647 57626 48 | 0.004 % |
20.76/20.82 c | 63913 | 160 13600 95200 | 2147483647 58418 48 | 0.004 % |
20.76/20.88 c | 64013 | 160 13600 95200 | 2147483647 58518 48 | 0.004 % |
20.86/20.99 c | 64125 | 160 13600 95200 | 2147483647 58630 48 | 0.004 % |
20.96/21.09 c | 64248 | 160 13600 95200 | 2147483647 58753 48 | 0.004 % |
21.06/21.18 c | 64384 | 160 13600 95200 | 2147483647 58889 48 | 0.004 % |
21.16/21.28 c | 64530 | 160 13600 95200 | 2147483647 59035 48 | 0.004 % |
21.36/21.42 c | 64690 | 160 13600 95200 | 2147483647 59195 48 | 0.004 % |
21.46/21.55 c | 64866 | 160 13600 95200 | 2147483647 59371 48 | 0.004 % |
21.66/21.70 c | 65059 | 160 13600 95200 | 2147483647 59564 48 | 0.004 % |
21.76/21.86 c | 65276 | 160 13600 95200 | 2147483647 59781 48 | 0.004 % |
21.96/22.02 c | 65509 | 160 13600 95200 | 2147483647 60014 48 | 0.004 % |
22.16/22.25 c | 65765 | 160 13600 95200 | 2147483647 60270 48 | 0.004 % |
22.36/22.47 c | 66047 | 160 13600 95200 | 2147483647 60552 48 | 0.004 % |
22.56/22.69 c | 66356 | 160 13600 95200 | 2147483647 60861 48 | 0.004 % |
22.86/22.96 c | 66695 | 160 13600 95200 | 2147483647 61200 48 | 0.004 % |
23.15/23.21 c | 67067 | 160 13600 95200 | 2147483647 61572 48 | 0.004 % |
23.45/23.55 c | 67476 | 160 13600 95200 | 2147483647 61981 48 | 0.004 % |
23.75/23.86 c | 67925 | 160 13600 95200 | 2147483647 62430 48 | 0.004 % |
24.16/24.20 c | 68418 | 160 13600 95200 | 2147483647 62923 48 | 0.004 % |
24.46/24.59 c | 68960 | 160 13600 95200 | 2147483647 63465 48 | 0.004 % |
24.86/24.99 c | 69557 | 160 13600 95200 | 2147483647 64062 48 | 0.004 % |
25.46/25.60 c | 70212 | 160 13600 95200 | 64507 57211 48 | 0.004 % |
25.96/26.10 c | 70932 | 160 13600 95200 | 64507 57931 48 | 0.004 % |
26.46/26.58 c | 71724 | 160 13600 95200 | 64507 58723 48 | 0.004 % |
27.06/27.12 c | 72595 | 160 13600 95200 | 64507 59594 48 | 0.004 % |
27.16/27.20 c | 72695 | 160 13600 95200 | 64507 59694 48 | 0.004 % |
27.16/27.29 c | 72806 | 160 13600 95200 | 64507 59805 48 | 0.004 % |
27.26/27.37 c | 72928 | 160 13600 95200 | 64507 59927 48 | 0.004 % |
27.36/27.49 c | 73061 | 160 13600 95200 | 64507 60060 48 | 0.004 % |
27.56/27.60 c | 73207 | 160 13600 95200 | 64507 60206 48 | 0.004 % |
27.66/27.73 c | 73367 | 160 13600 95200 | 64507 60366 48 | 0.004 % |
27.76/27.85 c | 73544 | 160 13600 95200 | 64507 60543 48 | 0.004 % |
27.86/27.99 c | 73737 | 160 13600 95200 | 64507 60736 48 | 0.004 % |
28.06/28.15 c | 73949 | 160 13600 95200 | 64507 60948 48 | 0.004 % |
28.26/28.32 c | 74183 | 160 13600 95200 | 64507 61182 48 | 0.004 % |
28.46/28.51 c | 74442 | 160 13600 95200 | 64507 61441 48 | 0.004 % |
28.66/28.70 c | 74724 | 160 13600 95200 | 64507 61723 48 | 0.004 % |
28.86/28.95 c | 75037 | 160 13600 95200 | 64507 62036 48 | 0.004 % |
29.16/29.23 c | 75376 | 160 13600 95200 | 64507 62375 48 | 0.004 % |
29.46/29.51 c | 75748 | 160 13600 95200 | 64507 62747 48 | 0.004 % |
29.76/29.81 c | 76159 | 160 13600 95200 | 64507 63158 48 | 0.004 % |
30.06/30.16 c | 76609 | 160 13600 95200 | 64507 63608 48 | 0.004 % |
30.46/30.51 c | 77104 | 160 13600 95200 | 64507 64103 48 | 0.004 % |
30.86/30.93 c | 77646 | 160 13600 95200 | 64507 55781 48 | 0.004 % |
31.16/31.25 c | 78246 | 160 13600 95200 | 64507 56381 48 | 0.004 % |
31.56/31.60 c | 78902 | 160 13600 95200 | 64507 57037 48 | 0.004 % |
31.96/32.03 c | 79623 | 160 13600 95200 | 64507 57758 48 | 0.004 % |
32.46/32.56 c | 80415 | 160 13600 95200 | 58135 51005 48 | 0.004 % |
32.96/33.02 c | 81286 | 160 13600 95200 | 58135 51876 48 | 0.004 % |
33.46/33.53 c | 82245 | 160 13600 95200 | 58135 52835 48 | 0.004 % |
33.56/33.60 c | 82346 | 160 13600 95200 | 58135 52936 48 | 0.004 % |
33.56/33.66 c | 82457 | 160 13600 95200 | 58135 53047 48 | 0.004 % |
33.66/33.74 c | 82578 | 160 13600 95200 | 58135 53168 48 | 0.004 % |
33.76/33.85 c | 82714 | 160 13600 95200 | 58135 53304 48 | 0.004 % |
33.86/33.96 c | 82861 | 160 13600 95200 | 58135 53451 48 | 0.004 % |
33.96/34.06 c | 83021 | 160 13600 95200 | 58135 53611 48 | 0.004 % |
34.16/34.20 c | 83198 | 160 13600 95200 | 58135 53788 48 | 0.004 % |
34.26/34.33 c | 83391 | 160 13600 95200 | 58135 53981 48 | 0.004 % |
34.36/34.47 c | 83603 | 160 13600 95200 | 58135 54193 48 | 0.004 % |
34.56/34.63 c | 83836 | 160 13600 95200 | 58135 54426 48 | 0.004 % |
34.66/34.79 c | 84093 | 160 13600 95200 | 58135 54683 48 | 0.004 % |
34.86/34.99 c | 84375 | 160 13600 95200 | 58135 54965 48 | 0.004 % |
35.16/35.21 c | 84684 | 160 13600 95200 | 58135 55274 48 | 0.004 % |
35.36/35.44 c | 85023 | 160 13600 95200 | 58135 55613 48 | 0.004 % |
35.66/35.70 c | 85396 | 160 13600 95200 | 58135 55986 48 | 0.004 % |
35.86/35.97 c | 85805 | 160 13600 95200 | 58135 56395 48 | 0.004 % |
36.16/36.24 c | 86256 | 160 13600 95200 | 58135 56846 48 | 0.004 % |
36.46/36.56 c | 86751 | 160 13600 95200 | 58135 57341 48 | 0.004 % |
36.76/36.88 c | 87293 | 160 13600 95200 | 58135 57883 48 | 0.004 % |
37.16/37.26 c | 87889 | 160 13600 95200 | 58135 52187 48 | 0.004 % |
37.46/37.58 c | 88546 | 160 13600 95200 | 58135 52844 48 | 0.004 % |
37.96/38.06 c | 89268 | 160 13600 95200 | 58135 53566 48 | 0.004 % |
38.46/38.55 c | 90061 | 160 13600 95200 | 54298 54359 48 | 0.004 % |
38.96/39.05 c | 90933 | 160 13600 95200 | 54298 49672 48 | 0.004 % |
39.46/39.56 c | 91891 | 160 13600 95200 | 54298 50630 48 | 0.004 % |
40.06/40.14 c | 92944 | 160 13600 95200 | 54298 51683 48 | 0.004 % |
40.06/40.19 c | 93044 | 160 13600 95200 | 54298 51783 48 | 0.004 % |
40.16/40.28 c | 93154 | 160 13600 95200 | 54298 51893 48 | 0.004 % |
40.26/40.36 c | 93275 | 160 13600 95200 | 54298 52014 48 | 0.004 % |
40.36/40.45 c | 93410 | 160 13600 95200 | 54298 52149 48 | 0.004 % |
40.46/40.54 c | 93560 | 160 13600 95200 | 54298 52299 48 | 0.004 % |
40.56/40.65 c | 93724 | 160 13600 95200 | 54298 52463 48 | 0.004 % |
40.66/40.77 c | 93901 | 160 13600 95200 | 54298 52640 48 | 0.004 % |
40.76/40.88 c | 94094 | 160 13600 95200 | 54298 52833 48 | 0.004 % |
40.96/41.03 c | 94306 | 160 13600 95200 | 54298 53045 48 | 0.004 % |
41.06/41.17 c | 94539 | 160 13600 95200 | 54298 53278 48 | 0.004 % |
41.26/41.33 c | 94795 | 160 13600 95200 | 54298 53534 48 | 0.004 % |
41.46/41.50 c | 95079 | 160 13600 95200 | 54298 53818 48 | 0.004 % |
41.66/41.73 c | 95389 | 160 13600 95200 | 54298 54128 48 | 0.004 % |
41.86/41.98 c | 95728 | 160 13600 95200 | 54298 49029 48 | 0.004 % |
42.06/42.18 c | 96101 | 160 13600 95200 | 54298 49402 48 | 0.004 % |
42.36/42.40 c | 96510 | 160 13600 95200 | 54298 49811 48 | 0.004 % |
42.56/42.64 c | 96959 | 160 13600 95200 | 54298 50260 48 | 0.004 % |
42.86/42.92 c | 97453 | 160 13600 95200 | 54298 50754 48 | 0.004 % |
43.16/43.23 c | 97995 | 160 13600 95200 | 54298 51296 48 | 0.004 % |
43.46/43.56 c | 98592 | 160 13600 95200 | 54298 51893 48 | 0.004 % |
43.86/43.98 c | 99247 | 160 13600 95200 | 54298 52548 48 | 0.004 % |
44.36/44.42 c | 99969 | 160 13600 95200 | 54298 53270 48 | 0.004 % |
44.75/44.85 c | 100764 | 160 13600 95200 | 2147483647 54065 48 | 0.004 % |
45.25/45.35 c | 101635 | 160 13600 95200 | 2147483647 54936 48 | 0.004 % |
45.75/45.88 c | 102594 | 160 13600 95200 | 2147483647 55895 48 | 0.004 % |
46.45/46.60 c | 103647 | 160 13600 95200 | 2147483647 56948 48 | 0.004 % |
47.15/47.26 c | 104805 | 160 13600 95200 | 2147483647 58106 48 | 0.004 % |
47.25/47.32 c | 104906 | 160 13600 95200 | 2147483647 58207 48 | 0.004 % |
47.25/47.39 c | 105016 | 160 13600 95200 | 2147483647 58317 48 | 0.004 % |
47.45/47.50 c | 105139 | 160 13600 95200 | 2147483647 58440 48 | 0.004 % |
47.45/47.59 c | 105272 | 160 13600 95200 | 2147483647 58573 48 | 0.004 % |
47.55/47.69 c | 105418 | 160 13600 95200 | 2147483647 58719 48 | 0.004 % |
47.75/47.80 c | 105578 | 160 13600 95200 | 2147483647 58879 48 | 0.004 % |
47.85/47.94 c | 105754 | 160 13600 95200 | 2147483647 59055 48 | 0.004 % |
47.95/48.07 c | 105948 | 160 13600 95200 | 2147483647 59249 48 | 0.004 % |
48.15/48.23 c | 106163 | 160 13600 95200 | 2147483647 59464 48 | 0.004 % |
48.25/48.38 c | 106397 | 160 13600 95200 | 2147483647 59698 48 | 0.004 % |
48.45/48.57 c | 106653 | 160 13600 95200 | 2147483647 59954 48 | 0.004 % |
48.65/48.77 c | 106939 | 160 13600 95200 | 2147483647 60240 48 | 0.004 % |
48.85/48.97 c | 107250 | 160 13600 95200 | 2147483647 60551 48 | 0.004 % |
49.05/49.18 c | 107590 | 160 13600 95200 | 2147483647 60891 48 | 0.004 % |
49.35/49.48 c | 107963 | 160 13600 95200 | 2147483647 61264 48 | 0.004 % |
49.65/49.79 c | 108373 | 160 13600 95200 | 2147483647 61674 48 | 0.004 % |
49.95/50.08 c | 108822 | 160 13600 95200 | 2147483647 62123 48 | 0.004 % |
50.35/50.41 c | 109317 | 160 13600 95200 | 2147483647 62618 48 | 0.004 % |
50.75/50.80 c | 109859 | 160 13600 95200 | 2147483647 63160 48 | 0.004 % |
51.15/51.22 c | 110455 | 160 13600 95200 | 63301 56944 48 | 0.004 % |
51.55/51.63 c | 111111 | 160 13600 95200 | 63301 57600 48 | 0.004 % |
51.95/52.05 c | 111831 | 160 13600 95200 | 63301 58320 48 | 0.004 % |
52.45/52.57 c | 112623 | 160 13600 95200 | 63301 59112 48 | 0.004 % |
53.05/53.13 c | 113494 | 160 13600 95200 | 63301 59983 48 | 0.004 % |
53.55/53.68 c | 114452 | 160 13600 95200 | 63301 60941 48 | 0.004 % |
54.25/54.40 c | 115506 | 160 13600 95200 | 63301 61995 48 | 0.004 % |
55.25/55.30 c | 116665 | 160 13600 95200 | 63301 63154 48 | 0.004 % |
56.05/56.15 c | 117938 | 160 13600 95200 | 63301 57018 48 | 0.004 % |
56.15/56.22 c | 118040 | 160 13600 95200 | 63301 57120 48 | 0.004 % |
56.25/56.31 c | 118150 | 160 13600 95200 | 63301 57230 48 | 0.004 % |
56.35/56.41 c | 118273 | 160 13600 95200 | 63301 57353 48 | 0.004 % |
56.45/56.50 c | 118407 | 160 13600 95200 | 63301 57487 48 | 0.004 % |
56.55/56.60 c | 118553 | 160 13600 95200 | 63301 57633 48 | 0.004 % |
56.65/56.74 c | 118714 | 160 13600 95200 | 63301 57794 48 | 0.004 % |
56.75/56.87 c | 118890 | 160 13600 95200 | 63301 57970 48 | 0.004 % |
56.95/57.01 c | 119083 | 160 13600 95200 | 63301 58163 48 | 0.004 % |
57.05/57.17 c | 119297 | 160 13600 95200 | 63301 58377 48 | 0.004 % |
57.25/57.34 c | 119530 | 160 13600 95200 | 63301 58610 48 | 0.004 % |
57.45/57.54 c | 119787 | 160 13600 95200 | 63301 58867 48 | 0.004 % |
57.65/57.74 c | 120069 | 160 13600 95200 | 59080 59149 48 | 0.004 % |
57.85/57.99 c | 120378 | 160 13600 95200 | 59080 52315 48 | 0.004 % |
58.15/58.21 c | 120717 | 160 13600 95200 | 59080 52654 48 | 0.004 % |
58.35/58.41 c | 121089 | 160 13600 95200 | 59080 53026 48 | 0.004 % |
58.65/58.72 c | 121498 | 160 13600 95200 | 59080 53435 48 | 0.004 % |
58.95/59.01 c | 121949 | 160 13600 95200 | 59080 53886 48 | 0.004 % |
59.15/59.29 c | 122442 | 160 13600 95200 | 59080 54379 48 | 0.004 % |
59.55/59.63 c | 122986 | 160 13600 95200 | 59080 54923 48 | 0.004 % |
59.85/59.99 c | 123582 | 160 13600 95200 | 59080 55519 48 | 0.004 % |
60.35/60.45 c | 124237 | 160 13600 95200 | 59080 56174 48 | 0.004 % |
60.84/60.90 c | 124958 | 160 13600 95200 | 59080 56895 48 | 0.004 % |
61.24/61.38 c | 125750 | 160 13600 95200 | 59080 57687 48 | 0.004 % |
61.84/61.90 c | 126622 | 160 13600 95200 | 59080 58559 48 | 0.004 % |
62.44/62.51 c | 127581 | 160 13600 95200 | 59080 53060 48 | 0.004 % |
63.14/63.21 c | 128635 | 160 13600 95200 | 59080 54114 48 | 0.004 % |
63.84/63.94 c | 129793 | 160 13600 95200 | 59080 55272 48 | 0.004 % |
64.54/64.65 c | 131066 | 160 13600 95200 | 55482 50536 48 | 0.004 % |
65.44/65.52 c | 132467 | 160 13600 95200 | 55482 51937 48 | 0.004 % |
65.54/65.60 c | 132568 | 160 13600 95200 | 55482 52038 48 | 0.004 % |
65.54/65.67 c | 132678 | 160 13600 95200 | 55482 52148 48 | 0.004 % |
65.64/65.74 c | 132800 | 160 13600 95200 | 55482 52270 48 | 0.004 % |
65.74/65.82 c | 132933 | 160 13600 95200 | 55482 52403 48 | 0.004 % |
65.85/65.91 c | 133079 | 160 13600 95200 | 55482 52549 48 | 0.004 % |
65.95/66.04 c | 133240 | 160 13600 95200 | 55482 52710 48 | 0.004 % |
66.04/66.16 c | 133417 | 160 13600 95200 | 55482 52887 48 | 0.004 % |
66.14/66.28 c | 133611 | 160 13600 95200 | 55482 53081 48 | 0.004 % |
66.34/66.41 c | 133828 | 160 13600 95200 | 55482 53298 48 | 0.004 % |
66.44/66.55 c | 134062 | 160 13600 95200 | 55482 53532 48 | 0.004 % |
66.64/66.74 c | 134318 | 160 13600 95200 | 55482 53788 48 | 0.004 % |
66.84/66.92 c | 134599 | 160 13600 95200 | 55482 54069 48 | 0.004 % |
67.05/67.18 c | 134910 | 160 13600 95200 | 55482 54380 48 | 0.004 % |
67.34/67.40 c | 135252 | 160 13600 95200 | 55482 54722 48 | 0.004 % |
67.54/67.61 c | 135625 | 160 13600 95200 | 55482 55095 48 | 0.004 % |
67.74/67.82 c | 136034 | 160 13600 95200 | 55482 55504 48 | 0.004 % |
68.05/68.12 c | 136484 | 160 13600 95200 | 55482 50404 48 | 0.004 % |
68.34/68.40 c | 136977 | 160 13600 95200 | 55482 50897 48 | 0.004 % |
68.54/68.69 c | 137520 | 160 13600 95200 | 55482 51440 48 | 0.004 % |
68.94/69.07 c | 138116 | 160 13600 95200 | 55482 52036 48 | 0.004 % |
69.34/69.44 c | 138771 | 160 13600 95200 | 55482 52691 48 | 0.004 % |
69.74/69.89 c | 139491 | 160 13600 95200 | 55482 53411 48 | 0.004 % |
70.25/70.30 c | 140283 | 160 13600 95200 | 2147483647 54203 48 | 0.004 % |
70.64/70.79 c | 141154 | 160 13600 95200 | 2147483647 55074 48 | 0.004 % |
71.24/71.31 c | 142112 | 160 13600 95200 | 2147483647 56032 48 | 0.004 % |
71.84/71.93 c | 143166 | 160 13600 95200 | 2147483647 57086 48 | 0.004 % |
72.44/72.57 c | 144324 | 160 13600 95200 | 2147483647 58244 48 | 0.004 % |
73.24/73.30 c | 145598 | 160 13600 95200 | 2147483647 59518 48 | 0.004 % |
74.24/74.32 c | 146998 | 160 13600 95200 | 2147483647 60918 48 | 0.004 % |
75.14/75.29 c | 148538 | 160 13600 95200 | 2147483647 62458 48 | 0.004 % |
75.24/75.40 c | 148638 | 160 13600 95200 | 2147483647 62558 48 | 0.004 % |
75.34/75.49 c | 148748 | 160 13600 95200 | 2147483647 62668 48 | 0.004 % |
75.44/75.59 c | 148872 | 160 13600 95200 | 2147483647 62792 48 | 0.004 % |
75.54/75.69 c | 149005 | 160 13600 95200 | 2147483647 62925 48 | 0.004 % |
75.74/75.82 c | 149152 | 160 13600 95200 | 2147483647 63072 48 | 0.004 % |
75.84/75.94 c | 149312 | 160 13600 95200 | 2147483647 63232 48 | 0.004 % |
75.94/76.05 c | 149489 | 160 13600 95200 | 2147483647 63409 48 | 0.004 % |
76.04/76.18 c | 149683 | 160 13600 95200 | 2147483647 63603 48 | 0.004 % |
76.24/76.34 c | 149896 | 160 13600 95200 | 2147483647 63816 48 | 0.004 % |
76.44/76.55 c | 150130 | 160 13600 95200 | 63921 56885 48 | 0.004 % |
76.64/76.70 c | 150387 | 160 13600 95200 | 63921 57142 48 | 0.004 % |
76.74/76.87 c | 150669 | 160 13600 95200 | 63921 57424 48 | 0.004 % |
76.95/77.08 c | 150980 | 160 13600 95200 | 63921 57735 48 | 0.004 % |
77.24/77.31 c | 151320 | 160 13600 95200 | 63921 58075 48 | 0.004 % |
77.44/77.54 c | 151693 | 160 13600 95200 | 63921 58448 48 | 0.004 % |
77.64/77.78 c | 152102 | 160 13600 95200 | 63921 58857 48 | 0.004 % |
77.94/78.05 c | 152552 | 160 13600 95200 | 63921 59307 48 | 0.004 % |
78.34/78.41 c | 153047 | 160 13600 95200 | 63921 59802 48 | 0.004 % |
78.74/78.83 c | 153590 | 160 13600 95200 | 63921 60345 48 | 0.004 % |
79.14/79.25 c | 154189 | 160 13600 95200 | 63921 60944 48 | 0.004 % |
79.54/79.69 c | 154845 | 160 13600 95200 | 63921 61600 48 | 0.004 % |
80.04/80.16 c | 155565 | 160 13600 95200 | 63921 62320 48 | 0.004 % |
80.64/80.79 c | 156358 | 160 13600 95200 | 63921 63113 48 | 0.004 % |
81.24/81.40 c | 157230 | 160 13600 95200 | 63921 63985 48 | 0.004 % |
81.94/82.05 c | 158189 | 160 13600 95200 | 63921 56644 48 | 0.004 % |
82.64/82.72 c | 159243 | 160 13600 95200 | 63921 57698 48 | 0.004 % |
83.44/83.56 c | 160401 | 160 13600 95200 | 58458 51444 48 | 0.004 % |
84.14/84.23 c | 161676 | 160 13600 95200 | 58458 52719 48 | 0.004 % |
84.94/85.03 c | 163077 | 160 13600 95200 | 58458 54120 48 | 0.004 % |
85.94/86.06 c | 164620 | 160 13600 95200 | 58458 55663 49 | 0.004 % |
87.04/87.12 c | 166314 | 160 13600 95200 | 58458 57357 49 | 0.004 % |
87.04/87.19 c | 166415 | 160 13600 95200 | 58458 57458 48 | 0.004 % |
87.14/87.27 c | 166525 | 160 13600 95200 | 58458 57568 48 | 0.004 % |
87.24/87.38 c | 166646 | 160 13600 95200 | 58458 57689 48 | 0.004 % |
87.34/87.48 c | 166780 | 160 13600 95200 | 58458 57823 48 | 0.004 % |
87.44/87.59 c | 166932 | 160 13600 95200 | 58458 57975 48 | 0.004 % |
87.54/87.68 c | 167094 | 160 13600 95200 | 58458 58137 48 | 0.004 % |
87.74/87.84 c | 167272 | 160 13600 95200 | 58458 58315 48 | 0.004 % |
87.84/87.97 c | 167467 | 160 13600 95200 | 58458 58510 48 | 0.004 % |
88.04/88.13 c | 167680 | 160 13600 95200 | 58458 52307 49 | 0.004 % |
88.14/88.26 c | 167915 | 160 13600 95200 | 58458 52542 49 | 0.004 % |
88.34/88.40 c | 168172 | 160 13600 95200 | 58458 52799 49 | 0.004 % |
88.44/88.55 c | 168455 | 160 13600 95200 | 58458 53082 49 | 0.004 % |
88.64/88.74 c | 168764 | 160 13600 95200 | 58458 53391 49 | 0.004 % |
88.84/88.93 c | 169107 | 160 13600 95200 | 58458 53734 49 | 0.004 % |
89.04/89.18 c | 169479 | 160 13600 95200 | 58458 54106 49 | 0.004 % |
89.34/89.44 c | 169888 | 160 13600 95200 | 58458 54515 49 | 0.004 % |
89.63/89.74 c | 170337 | 160 13600 95200 | 54630 49223 49 | 0.004 % |
89.83/89.98 c | 170830 | 160 13600 95200 | 54630 49716 49 | 0.004 % |
90.13/90.26 c | 171372 | 160 13600 95200 | 54630 50258 49 | 0.004 % |
90.43/90.57 c | 171968 | 160 13600 95200 | 54630 50854 49 | 0.004 % |
90.83/90.91 c | 172623 | 160 13600 95200 | 54630 51509 49 | 0.004 % |
91.23/91.31 c | 173344 | 160 13600 95200 | 54630 52230 49 | 0.004 % |
91.63/91.75 c | 174136 | 160 13600 95200 | 54630 53022 48 | 0.004 % |
92.13/92.26 c | 175010 | 160 13600 95200 | 54630 53896 49 | 0.004 % |
92.83/92.98 c | 175969 | 160 13600 95200 | 54630 49385 48 | 0.004 % |
93.43/93.59 c | 177023 | 160 13600 95200 | 54630 50439 48 | 0.004 % |
94.13/94.27 c | 178182 | 160 13600 95200 | 54630 51598 48 | 0.004 % |
94.93/95.02 c | 179455 | 160 13600 95200 | 54630 52871 48 | 0.004 % |
95.63/95.79 c | 180855 | 160 13600 95200 | 2147483647 54271 48 | 0.004 % |
96.53/96.68 c | 182395 | 160 13600 95200 | 2147483647 55811 48 | 0.004 % |
97.63/97.70 c | 184090 | 160 13600 95200 | 2147483647 57506 48 | 0.004 % |
98.83/98.95 c | 185953 | 160 13600 95200 | 2147483647 59369 48 | 0.004 % |
98.93/99.03 c | 186053 | 160 13600 95200 | 2147483647 59469 48 | 0.004 % |
99.03/99.11 c | 186164 | 160 13600 95200 | 2147483647 59580 48 | 0.004 % |
99.13/99.20 c | 186285 | 160 13600 95200 | 2147483647 59701 48 | 0.004 % |
99.23/99.30 c | 186418 | 160 13600 95200 | 2147483647 59834 48 | 0.004 % |
99.33/99.42 c | 186566 | 160 13600 95200 | 2147483647 59982 48 | 0.004 % |
99.43/99.56 c | 186727 | 160 13600 95200 | 2147483647 60143 48 | 0.004 % |
99.53/99.68 c | 186904 | 160 13600 95200 | 2147483647 60320 48 | 0.004 % |
99.73/99.80 c | 187097 | 160 13600 95200 | 2147483647 60513 48 | 0.004 % |
99.83/99.97 c | 187309 | 160 13600 95200 | 2147483647 60725 48 | 0.004 % |
100.03/100.14 c | 187544 | 160 13600 95200 | 2147483647 60960 48 | 0.004 % |
100.23/100.35 c | 187800 | 160 13600 95200 | 2147483647 61216 48 | 0.004 % |
100.43/100.56 c | 188081 | 160 13600 95200 | 2147483647 61497 48 | 0.004 % |
100.73/100.82 c | 188391 | 160 13600 95200 | 2147483647 61807 48 | 0.004 % |
100.93/101.10 c | 188730 | 160 13600 95200 | 2147483647 62146 48 | 0.004 % |
101.23/101.39 c | 189104 | 160 13600 95200 | 2147483647 62520 48 | 0.004 % |
101.63/101.70 c | 189513 | 160 13600 95200 | 2147483647 62929 48 | 0.004 % |
101.93/102.07 c | 189963 | 160 13600 95200 | 2147483647 63379 48 | 0.004 % |
102.33/102.44 c | 190456 | 160 13600 95200 | 63416 56527 48 | 0.004 % |
102.73/102.80 c | 190998 | 160 13600 95200 | 63416 57069 48 | 0.004 % |
103.03/103.15 c | 191594 | 160 13600 95200 | 63416 57665 48 | 0.004 % |
103.43/103.58 c | 192250 | 160 13600 95200 | 63416 58321 48 | 0.004 % |
103.93/104.06 c | 192971 | 160 13600 95200 | 63416 59042 48 | 0.004 % |
104.43/104.55 c | 193763 | 160 13600 95200 | 63416 59834 48 | 0.004 % |
104.93/105.05 c | 194635 | 160 13600 95200 | 63416 60706 48 | 0.004 % |
105.53/105.64 c | 195594 | 160 13600 95200 | 63416 61665 48 | 0.004 % |
106.32/106.45 c | 196648 | 160 13600 95200 | 63416 62719 48 | 0.004 % |
107.12/107.24 c | 197806 | 160 13600 95200 | 63416 55995 48 | 0.004 % |
107.82/107.94 c | 199080 | 160 13600 95200 | 63416 57269 48 | 0.004 % |
108.73/108.88 c | 200480 | 160 13600 95200 | 58190 51624 48 | 0.004 % |
109.62/109.78 c | 202022 | 160 13600 95200 | 58190 53166 48 | 0.004 % |
110.62/110.79 c | 203716 | 160 13600 95200 | 58190 54860 49 | 0.004 % |
111.82/111.94 c | 205580 | 160 13600 95200 | 58190 56724 48 | 0.004 % |
113.23/113.36 c | 207632 | 160 13600 95200 | 58190 52622 49 | 0.004 % |
113.32/113.43 c | 207732 | 160 13600 95200 | 58190 52722 49 | 0.004 % |
113.32/113.49 c | 207842 | 160 13600 95200 | 58190 52832 49 | 0.004 % |
113.42/113.56 c | 207963 | 160 13600 95200 | 58190 52953 49 | 0.004 % |
113.52/113.63 c | 208096 | 160 13600 95200 | 58190 53086 49 | 0.004 % |
113.62/113.74 c | 208242 | 160 13600 95200 | 58190 53232 49 | 0.004 % |
113.72/113.86 c | 208404 | 160 13600 95200 | 58190 53394 49 | 0.004 % |
113.82/113.99 c | 208580 | 160 13600 95200 | 58190 53570 49 | 0.004 % |
114.02/114.13 c | 208774 | 160 13600 95200 | 58190 53764 49 | 0.004 % |
114.12/114.26 c | 208986 | 160 13600 95200 | 58190 53976 49 | 0.004 % |
114.32/114.41 c | 209219 | 160 13600 95200 | 58190 54209 49 | 0.004 % |
114.42/114.56 c | 209475 | 160 13600 95200 | 58190 54465 49 | 0.004 % |
114.62/114.73 c | 209756 | 160 13600 95200 | 58190 54746 49 | 0.004 % |
114.82/114.92 c | 210065 | 160 13600 95200 | 54990 55055 49 | 0.004 % |
115.02/115.18 c | 210404 | 160 13600 95200 | 54990 49584 48 | 0.004 % |
115.22/115.40 c | 210777 | 160 13600 95200 | 54990 49957 48 | 0.004 % |
115.52/115.66 c | 211186 | 160 13600 95200 | 54990 50366 48 | 0.004 % |
115.82/115.91 c | 211637 | 160 13600 95200 | 54990 50817 48 | 0.004 % |
116.02/116.19 c | 212130 | 160 13600 95200 | 54990 51310 48 | 0.004 % |
116.32/116.49 c | 212673 | 160 13600 95200 | 54990 51853 48 | 0.004 % |
116.72/116.84 c | 213270 | 160 13600 95200 | 54990 52450 48 | 0.004 % |
117.12/117.21 c | 213925 | 160 13600 95200 | 54990 53105 48 | 0.004 % |
117.52/117.62 c | 214645 | 160 13600 95200 | 54990 53825 48 | 0.004 % |
117.92/118.03 c | 215438 | 160 13600 95200 | 54990 54618 48 | 0.004 % |
118.42/118.51 c | 216309 | 160 13600 95200 | 54990 49984 48 | 0.004 % |
118.82/119.00 c | 217267 | 160 13600 95200 | 54990 50942 48 | 0.004 % |
119.42/119.55 c | 218320 | 160 13600 95200 | 54990 51995 48 | 0.004 % |
120.02/120.11 c | 219478 | 160 13600 95200 | 54990 53153 48 | 0.004 % |
120.61/120.76 c | 220752 | 160 13600 95200 | 2147483647 54427 48 | 0.004 % |
121.41/121.53 c | 222152 | 160 13600 95200 | 2147483647 55827 48 | 0.004 % |
122.31/122.43 c | 223693 | 160 13600 95200 | 2147483647 57368 49 | 0.004 % |
123.31/123.43 c | 225388 | 160 13600 95200 | 2147483647 59063 49 | 0.004 % |
124.41/124.51 c | 227254 | 160 13600 95200 | 2147483647 60929 49 | 0.004 % |
125.61/125.71 c | 229303 | 160 13600 95200 | 2147483647 62978 49 | 0.004 % |
126.91/127.04 c | 231557 | 160 13600 95200 | 2147483647 65232 49 | 0.004 % |
127.01/127.15 c | 231657 | 160 13600 95200 | 2147483647 65332 49 | 0.004 % |
127.11/127.25 c | 231767 | 160 13600 95200 | 2147483647 65442 49 | 0.004 % |
127.21/127.35 c | 231888 | 160 13600 95200 | 2147483647 65563 49 | 0.004 % |
127.31/127.47 c | 232022 | 160 13600 95200 | 2147483647 65697 49 | 0.004 % |
127.51/127.60 c | 232168 | 160 13600 95200 | 2147483647 65843 49 | 0.004 % |
127.61/127.74 c | 232328 | 160 13600 95200 | 2147483647 66003 49 | 0.004 % |
127.71/127.89 c | 232504 | 160 13600 95200 | 2147483647 66179 49 | 0.004 % |
127.91/128.07 c | 232700 | 160 13600 95200 | 2147483647 66375 49 | 0.004 % |
128.11/128.22 c | 232912 | 160 13600 95200 | 2147483647 66587 49 | 0.004 % |
128.31/128.41 c | 233145 | 160 13600 95200 | 2147483647 66820 49 | 0.004 % |
128.51/128.62 c | 233401 | 160 13600 95200 | 2147483647 67076 49 | 0.004 % |
128.71/128.82 c | 233684 | 160 13600 95200 | 2147483647 67359 49 | 0.004 % |
128.91/129.05 c | 233993 | 160 13600 95200 | 2147483647 67668 49 | 0.004 % |
129.11/129.29 c | 234332 | 160 13600 95200 | 2147483647 68007 48 | 0.004 % |
129.41/129.56 c | 234704 | 160 13600 95200 | 2147483647 68379 48 | 0.004 % |
129.71/129.84 c | 235114 | 160 13600 95200 | 2147483647 68789 48 | 0.004 % |
130.00/130.17 c | 235565 | 160 13600 95200 | 2147483647 69240 49 | 0.004 % |
130.50/130.63 c | 236058 | 160 13600 95200 | 2147483647 69733 49 | 0.004 % |
130.90/131.09 c | 236601 | 160 13600 95200 | 2147483647 70276 49 | 0.004 % |
131.40/131.57 c | 237199 | 160 13600 95200 | 2147483647 70874 49 | 0.004 % |
131.90/132.09 c | 237854 | 160 13600 95200 | 2147483647 71529 48 | 0.004 % |
132.50/132.64 c | 238574 | 160 13600 95200 | 2147483647 72249 49 | 0.004 % |
133.20/133.35 c | 239368 | 160 13600 95200 | 2147483647 73043 49 | 0.004 % |
134.10/134.21 c | 240239 | 160 13600 95200 | 73677 61901 49 | 0.004 % |
134.70/134.87 c | 241197 | 160 13600 95200 | 73677 62859 49 | 0.004 % |
135.40/135.56 c | 242250 | 160 13600 95200 | 73677 63912 49 | 0.004 % |
136.20/136.30 c | 243410 | 160 13600 95200 | 73677 65072 49 | 0.004 % |
137.00/137.14 c | 244684 | 160 13600 95200 | 73677 66346 49 | 0.004 % |
137.90/138.06 c | 246084 | 160 13600 95200 | 73677 67746 49 | 0.004 % |
139.10/139.27 c | 247625 | 160 13600 95200 | 73677 69287 49 | 0.004 % |
140.60/140.70 c | 249319 | 160 13600 95200 | 73677 70981 49 | 0.004 % |
141.80/142.00 c | 251182 | 160 13600 95200 | 71665 61248 49 | 0.004 % |
143.09/143.23 c | 253232 | 160 13600 95200 | 71665 63298 49 | 0.004 % |
144.59/144.71 c | 255485 | 160 13600 95200 | 71665 65551 49 | 0.004 % |
146.20/146.35 c | 257963 | 160 13600 95200 | 71665 68029 49 | 0.004 % |
146.29/146.41 c | 258064 | 160 13600 95200 | 71665 68130 49 | 0.004 % |
146.39/146.52 c | 258175 | 160 13600 95200 | 71665 68241 49 | 0.004 % |
146.49/146.62 c | 258296 | 160 13600 95200 | 71665 68362 49 | 0.004 % |
146.59/146.74 c | 258431 | 160 13600 95200 | 71665 68497 49 | 0.004 % |
146.69/146.87 c | 258577 | 160 13600 95200 | 71665 68643 49 | 0.004 % |
146.89/147.00 c | 258737 | 160 13600 95200 | 71665 68803 49 | 0.004 % |
146.99/147.16 c | 258913 | 160 13600 95200 | 71665 68979 49 | 0.004 % |
147.19/147.31 c | 259107 | 160 13600 95200 | 71665 69173 49 | 0.004 % |
147.29/147.48 c | 259319 | 160 13600 95200 | 71665 69385 49 | 0.004 % |
147.49/147.67 c | 259552 | 160 13600 95200 | 71665 69618 49 | 0.004 % |
147.79/147.92 c | 259808 | 160 13600 95200 | 71665 69874 49 | 0.004 % |
148.09/148.21 c | 260089 | 160 13600 95200 | 70066 59217 49 | 0.004 % |
148.29/148.46 c | 260399 | 160 13600 95200 | 70066 59527 49 | 0.004 % |
148.59/148.70 c | 260738 | 160 13600 95200 | 70066 59866 49 | 0.004 % |
148.79/148.98 c | 261111 | 160 13600 95200 | 70066 60239 49 | 0.004 % |
149.09/149.24 c | 261520 | 160 13600 95200 | 70066 60648 49 | 0.004 % |
149.39/149.57 c | 261970 | 160 13600 95200 | 70066 61098 49 | 0.004 % |
149.69/149.89 c | 262463 | 160 13600 95200 | 70066 61591 49 | 0.004 % |
150.09/150.23 c | 263006 | 160 13600 95200 | 70066 62134 49 | 0.004 % |
150.49/150.68 c | 263602 | 160 13600 95200 | 70066 62730 49 | 0.004 % |
150.99/151.12 c | 264258 | 160 13600 95200 | 70066 63386 49 | 0.004 % |
151.49/151.62 c | 264978 | 160 13600 95200 | 70066 64106 49 | 0.004 % |
151.99/152.15 c | 265770 | 160 13600 95200 | 70066 64898 49 | 0.004 % |
152.59/152.79 c | 266641 | 160 13600 95200 | 70066 65769 49 | 0.004 % |
153.29/153.48 c | 267600 | 160 13600 95200 | 70066 66728 49 | 0.004 % |
154.09/154.24 c | 268656 | 160 13600 95200 | 70066 67784 49 | 0.004 % |
154.89/155.08 c | 269815 | 160 13600 95200 | 70066 68943 49 | 0.004 % |
155.79/155.95 c | 271089 | 160 13600 95200 | 69128 59561 49 | 0.004 % |
156.79/156.95 c | 272489 | 160 13600 95200 | 69128 60961 49 | 0.004 % |
157.79/157.97 c | 274029 | 160 13600 95200 | 69128 62501 49 | 0.004 % |
158.89/159.05 c | 275724 | 160 13600 95200 | 69128 64196 49 | 0.004 % |
160.09/160.27 c | 277587 | 160 13600 95200 | 69128 66059 49 | 0.004 % |
161.49/161.67 c | 279636 | 160 13600 95200 | 69128 68108 49 | 0.004 % |
162.99/163.12 c | 281890 | 160 13600 95200 | 68472 60268 49 | 0.004 % |
164.48/164.67 c | 284368 | 160 13600 95200 | 68472 62746 49 | 0.004 % |
166.28/166.40 c | 287094 | 160 13600 95200 | 68472 65472 49 | 0.004 % |
166.38/166.50 c | 287195 | 160 13600 95200 | 68472 65573 49 | 0.004 % |
166.38/166.59 c | 287305 | 160 13600 95200 | 68472 65683 49 | 0.004 % |
166.48/166.67 c | 287427 | 160 13600 95200 | 68472 65805 49 | 0.004 % |
166.58/166.76 c | 287560 | 160 13600 95200 | 68472 65938 49 | 0.004 % |
166.78/166.90 c | 287707 | 160 13600 95200 | 68472 66085 49 | 0.004 % |
166.88/167.02 c | 287869 | 160 13600 95200 | 68472 66247 49 | 0.004 % |
166.99/167.16 c | 288045 | 160 13600 95200 | 68472 66423 49 | 0.004 % |
167.18/167.34 c | 288238 | 160 13600 95200 | 68472 66616 49 | 0.004 % |
167.38/167.50 c | 288451 | 160 13600 95200 | 68472 66829 49 | 0.004 % |
167.48/167.68 c | 288687 | 160 13600 95200 | 68472 67065 49 | 0.004 % |
167.68/167.86 c | 288943 | 160 13600 95200 | 68472 67321 49 | 0.004 % |
167.88/168.06 c | 289225 | 160 13600 95200 | 68472 67603 49 | 0.004 % |
168.09/168.29 c | 289535 | 160 13600 95200 | 68472 67913 49 | 0.004 % |
168.38/168.57 c | 289875 | 160 13600 95200 | 68472 68253 49 | 0.004 % |
168.78/168.94 c | 290247 | 160 13600 95200 | 68378 58777 49 | 0.004 % |
169.08/169.21 c | 290658 | 160 13600 95200 | 68378 59188 49 | 0.004 % |
169.29/169.50 c | 291107 | 160 13600 95200 | 68378 59637 49 | 0.004 % |
169.58/169.79 c | 291600 | 160 13600 95200 | 68378 60130 49 | 0.004 % |
169.98/170.12 c | 292142 | 160 13600 95200 | 68378 60672 49 | 0.004 % |
170.29/170.49 c | 292738 | 160 13600 95200 | 68378 61268 49 | 0.004 % |
170.78/170.91 c | 293393 | 160 13600 95200 | 68378 61923 49 | 0.004 % |
171.18/171.35 c | 294113 | 160 13600 95200 | 68378 62643 49 | 0.004 % |
171.68/171.86 c | 294907 | 160 13600 95200 | 68378 63437 49 | 0.004 % |
172.28/172.42 c | 295778 | 160 13600 95200 | 68378 64308 49 | 0.004 % |
172.78/172.96 c | 296737 | 160 13600 95200 | 68378 65267 49 | 0.004 % |
173.48/173.62 c | 297790 | 160 13600 95200 | 68378 66320 49 | 0.004 % |
174.18/174.35 c | 298948 | 160 13600 95200 | 68378 67478 49 | 0.004 % |
175.08/175.24 c | 300221 | 160 13600 95200 | 59508 51901 49 | 0.004 % |
175.88/176.03 c | 301621 | 160 13600 95200 | 59508 53301 49 | 0.004 % |
176.68/176.86 c | 303162 | 160 13600 95200 | 59508 54842 49 | 0.004 % |
177.78/177.90 c | 304857 | 160 13600 95200 | 59508 56537 49 | 0.004 % |
178.88/179.04 c | 306721 | 160 13600 95200 | 59508 58401 49 | 0.004 % |
180.08/180.21 c | 308771 | 160 13600 95200 | 59508 54383 48 | 0.004 % |
181.38/181.57 c | 311024 | 160 13600 95200 | 2147483647 56636 49 | 0.004 % |
182.98/183.12 c | 313502 | 160 13600 95200 | 2147483647 59114 49 | 0.004 % |
184.58/184.79 c | 316229 | 160 13600 95200 | 2147483647 61841 49 | 0.004 % |
186.47/186.62 c | 319227 | 160 13600 95200 | 2147483647 64839 49 | 0.004 % |
186.57/186.70 c | 319331 | 160 13600 95200 | 2147483647 64943 49 | 0.004 % |
186.57/186.76 c | 319442 | 160 13600 95200 | 2147483647 65054 49 | 0.004 % |
186.67/186.85 c | 319563 | 160 13600 95200 | 2147483647 65175 49 | 0.004 % |
186.78/186.98 c | 319698 | 160 13600 95200 | 2147483647 65310 49 | 0.004 % |
186.97/187.11 c | 319847 | 160 13600 95200 | 2147483647 65459 49 | 0.004 % |
187.07/187.26 c | 320007 | 160 13600 95200 | 65614 65619 49 | 0.004 % |
187.27/187.46 c | 320184 | 160 13600 95200 | 65614 57911 49 | 0.004 % |
187.47/187.60 c | 320377 | 160 13600 95200 | 65614 58104 49 | 0.004 % |
187.57/187.75 c | 320592 | 160 13600 95200 | 65614 58319 49 | 0.004 % |
187.77/187.93 c | 320825 | 160 13600 95200 | 65614 58552 49 | 0.004 % |
187.88/188.09 c | 321081 | 160 13600 95200 | 65614 58808 49 | 0.004 % |
188.07/188.30 c | 321362 | 160 13600 95200 | 65614 59089 49 | 0.004 % |
188.37/188.51 c | 321671 | 160 13600 95200 | 65614 59398 49 | 0.004 % |
188.57/188.75 c | 322011 | 160 13600 95200 | 65614 59738 49 | 0.004 % |
188.87/189.02 c | 322384 | 160 13600 95200 | 65614 60111 49 | 0.004 % |
189.17/189.30 c | 322793 | 160 13600 95200 | 65614 60520 49 | 0.004 % |
189.47/189.60 c | 323242 | 160 13600 95200 | 65614 60969 49 | 0.004 % |
189.77/189.94 c | 323735 | 160 13600 95200 | 65614 61462 49 | 0.004 % |
190.17/190.32 c | 324277 | 160 13600 95200 | 65614 62004 49 | 0.004 % |
190.47/190.68 c | 324873 | 160 13600 95200 | 65614 62600 49 | 0.004 % |
190.97/191.18 c | 325529 | 160 13600 95200 | 65614 63256 49 | 0.004 % |
191.57/191.74 c | 326251 | 160 13600 95200 | 65614 63978 49 | 0.004 % |
192.17/192.30 c | 327043 | 160 13600 95200 | 65614 64770 49 | 0.004 % |
192.77/192.96 c | 327914 | 160 13600 95200 | 65614 65641 49 | 0.004 % |
193.47/193.62 c | 328872 | 160 13600 95200 | 65614 57181 49 | 0.004 % |
194.06/194.26 c | 329925 | 160 13600 95200 | 65614 58234 49 | 0.004 % |
194.76/194.94 c | 331083 | 160 13600 95200 | 58312 51378 49 | 0.004 % |
195.46/195.64 c | 332357 | 160 13600 95200 | 58312 52652 49 | 0.004 % |
196.26/196.45 c | 333758 | 160 13600 95200 | 58312 54053 49 | 0.004 % |
197.06/197.27 c | 335299 | 160 13600 95200 | 58312 55594 49 | 0.004 % |
198.06/198.23 c | 336993 | 160 13600 95200 | 58312 57288 49 | 0.004 % |
199.16/199.33 c | 338858 | 160 13600 95200 | 58312 53314 49 | 0.004 % |
200.16/200.33 c | 340907 | 160 13600 95200 | 2147483647 55363 49 | 0.004 % |
201.36/201.54 c | 343161 | 160 13600 95200 | 2147483647 57617 49 | 0.004 % |
202.86/203.01 c | 345641 | 160 13600 95200 | 2147483647 60097 49 | 0.004 % |
204.56/204.72 c | 348367 | 160 13600 95200 | 2147483647 62823 49 | 0.004 % |
206.46/206.64 c | 351366 | 160 13600 95200 | 64458 59081 49 | 0.004 % |
208.56/208.71 c | 354662 | 160 13600 95200 | 64458 62377 49 | 0.004 % |
208.56/208.79 c | 354764 | 160 13600 95200 | 64458 62479 49 | 0.004 % |
208.66/208.88 c | 354875 | 160 13600 95200 | 64458 62590 49 | 0.004 % |
208.76/208.96 c | 354996 | 160 13600 95200 | 64458 62711 49 | 0.004 % |
208.86/209.06 c | 355129 | 160 13600 95200 | 64458 62844 49 | 0.004 % |
208.96/209.16 c | 355276 | 160 13600 95200 | 64458 62991 49 | 0.004 % |
209.06/209.28 c | 355437 | 160 13600 95200 | 64458 63152 49 | 0.004 % |
209.26/209.40 c | 355613 | 160 13600 95200 | 64458 63328 49 | 0.004 % |
209.36/209.55 c | 355806 | 160 13600 95200 | 64458 63521 49 | 0.004 % |
209.46/209.69 c | 356018 | 160 13600 95200 | 64458 63733 49 | 0.004 % |
209.76/209.93 c | 356252 | 160 13600 95200 | 64458 63967 49 | 0.004 % |
209.96/210.12 c | 356508 | 160 13600 95200 | 64458 64223 49 | 0.004 % |
210.16/210.33 c | 356792 | 160 13600 95200 | 64458 64507 49 | 0.004 % |
210.46/210.60 c | 357101 | 160 13600 95200 | 64458 56823 49 | 0.004 % |
210.66/210.81 c | 357440 | 160 13600 95200 | 64458 57162 49 | 0.004 % |
210.86/211.07 c | 357813 | 160 13600 95200 | 64458 57535 49 | 0.004 % |
211.16/211.32 c | 358222 | 160 13600 95200 | 64458 57944 49 | 0.004 % |
211.46/211.64 c | 358673 | 160 13600 95200 | 64458 58395 49 | 0.004 % |
211.76/211.95 c | 359166 | 160 13600 95200 | 64458 58888 49 | 0.004 % |
212.06/212.28 c | 359708 | 160 13600 95200 | 64458 59430 49 | 0.004 % |
212.56/212.70 c | 360305 | 160 13600 95200 | 59722 52742 49 | 0.004 % |
212.86/213.03 c | 360960 | 160 13600 95200 | 59722 53397 49 | 0.004 % |
213.16/213.39 c | 361681 | 160 13600 95200 | 59722 54118 49 | 0.004 % |
213.66/213.82 c | 362473 | 160 13600 95200 | 59722 54910 49 | 0.004 % |
214.16/214.31 c | 363346 | 160 13600 95200 | 59722 55783 49 | 0.004 % |
214.66/214.86 c | 364304 | 160 13600 95200 | 59722 56741 49 | 0.004 % |
215.26/215.48 c | 365357 | 160 13600 95200 | 59722 57794 49 | 0.004 % |
216.06/216.21 c | 366516 | 160 13600 95200 | 59722 58953 49 | 0.004 % |
216.96/217.14 c | 367791 | 160 13600 95200 | 59722 54131 49 | 0.004 % |
217.75/217.93 c | 369192 | 160 13600 95200 | 59722 55532 49 | 0.004 % |
218.66/218.83 c | 370732 | 160 13600 95200 | 56342 51431 49 | 0.004 % |
219.45/219.61 c | 372427 | 160 13600 95200 | 56342 53126 49 | 0.004 % |
220.45/220.62 c | 374291 | 160 13600 95200 | 56342 54990 49 | 0.004 % |
221.65/221.82 c | 376341 | 160 13600 95200 | 56342 51398 49 | 0.004 % |
222.85/223.09 c | 378596 | 160 13600 95200 | 56342 53653 49 | 0.004 % |
224.35/224.58 c | 381075 | 160 13600 95200 | 2147483647 56132 49 | 0.004 % |
226.04/226.28 c | 383800 | 160 13600 95200 | 2147483647 58857 49 | 0.004 % |
227.94/228.12 c | 386800 | 160 13600 95200 | 2147483647 61857 49 | 0.004 % |
230.14/230.38 c | 390097 | 160 13600 95200 | 65057 57892 49 | 0.004 % |
232.54/232.77 c | 393723 | 160 13600 95200 | 65057 61518 49 | 0.004 % |
232.64/232.84 c | 393823 | 160 13600 95200 | 65057 61618 49 | 0.004 % |
232.74/232.92 c | 393933 | 160 13600 95200 | 65057 61728 49 | 0.004 % |
232.84/233.01 c | 394056 | 160 13600 95200 | 65057 61851 49 | 0.004 % |
232.95/233.12 c | 394190 | 160 13600 95200 | 65057 61985 49 | 0.004 % |
233.05/233.22 c | 394336 | 160 13600 95200 | 65057 62131 49 | 0.004 % |
233.14/233.34 c | 394497 | 160 13600 95200 | 65057 62292 49 | 0.004 % |
233.24/233.45 c | 394675 | 160 13600 95200 | 65057 62470 49 | 0.004 % |
233.34/233.58 c | 394869 | 160 13600 95200 | 65057 62664 49 | 0.004 % |
233.54/233.73 c | 395082 | 160 13600 95200 | 65057 62877 49 | 0.004 % |
233.74/233.91 c | 395315 | 160 13600 95200 | 65057 63110 49 | 0.004 % |
233.84/234.09 c | 395573 | 160 13600 95200 | 65057 63368 49 | 0.004 % |
234.15/234.31 c | 395856 | 160 13600 95200 | 65057 63651 49 | 0.004 % |
234.34/234.55 c | 396167 | 160 13600 95200 | 65057 63962 49 | 0.004 % |
234.54/234.77 c | 396506 | 160 13600 95200 | 65057 64301 49 | 0.004 % |
234.84/235.05 c | 396880 | 160 13600 95200 | 65057 64675 49 | 0.004 % |
235.14/235.34 c | 397289 | 160 13600 95200 | 65057 65084 49 | 0.004 % |
235.44/235.68 c | 397740 | 160 13600 95200 | 65057 57004 49 | 0.004 % |
235.84/236.00 c | 398234 | 160 13600 95200 | 65057 57498 49 | 0.004 % |
236.14/236.35 c | 398778 | 160 13600 95200 | 65057 58042 49 | 0.004 % |
236.54/236.71 c | 399376 | 160 13600 95200 | 65057 58640 49 | 0.004 % |
236.94/237.12 c | 400031 | 160 13600 95200 | 59264 59295 49 | 0.004 % |
237.44/237.62 c | 400752 | 160 13600 95200 | 59264 52592 49 | 0.004 % |
237.94/238.10 c | 401544 | 160 13600 95200 | 59264 53384 49 | 0.004 % |
238.44/238.65 c | 402416 | 160 13600 95200 | 59264 54256 49 | 0.004 % |
239.04/239.21 c | 403375 | 160 13600 95200 | 59264 55215 49 | 0.004 % |
239.54/239.79 c | 404431 | 160 13600 95200 | 59264 56271 49 | 0.004 % |
240.24/240.46 c | 405590 | 160 13600 95200 | 59264 57430 49 | 0.004 % |
241.24/241.41 c | 406863 | 160 13600 95200 | 59264 58703 49 | 0.004 % |
242.14/242.39 c | 408263 | 160 13600 95200 | 59264 53516 49 | 0.004 % |
243.04/243.29 c | 409804 | 160 13600 95200 | 59264 55057 49 | 0.004 % |
244.04/244.29 c | 411499 | 160 13600 95200 | 55253 50790 49 | 0.004 % |
245.04/245.26 c | 413363 | 160 13600 95200 | 55253 52654 49 | 0.004 % |
246.24/246.42 c | 415413 | 160 13600 95200 | 55253 54704 49 | 0.004 % |
247.43/247.65 c | 417666 | 160 13600 95200 | 55253 51424 49 | 0.004 % |
248.83/249.00 c | 420146 | 160 13600 95200 | 2147483647 53904 49 | 0.004 % |
250.33/250.53 c | 422871 | 160 13600 95200 | 2147483647 56629 49 | 0.004 % |
252.13/252.36 c | 425869 | 160 13600 95200 | 2147483647 59627 49 | 0.004 % |
254.23/254.45 c | 429166 | 160 13600 95200 | 2147483647 62924 49 | 0.004 % |
256.83/257.05 c | 432793 | 160 13600 95200 | 2147483647 66551 49 | 0.004 % |
259.53/259.77 c | 436781 | 160 13600 95200 | 2147483647 70539 49 | 0.004 % |
259.63/259.85 c | 436882 | 160 13600 95200 | 2147483647 70640 49 | 0.004 % |
259.73/259.93 c | 436992 | 160 13600 95200 | 2147483647 70750 49 | 0.004 % |
259.83/260.03 c | 437114 | 160 13600 95200 | 2147483647 70872 49 | 0.004 % |
259.93/260.15 c | 437250 | 160 13600 95200 | 2147483647 71008 49 | 0.004 % |
260.03/260.29 c | 437396 | 160 13600 95200 | 2147483647 71154 49 | 0.004 % |
260.23/260.43 c | 437557 | 160 13600 95200 | 2147483647 71315 49 | 0.004 % |
260.43/260.64 c | 437734 | 160 13600 95200 | 2147483647 71492 49 | 0.004 % |
260.64/260.80 c | 437929 | 160 13600 95200 | 2147483647 71687 49 | 0.004 % |
260.74/260.99 c | 438141 | 160 13600 95200 | 2147483647 71899 49 | 0.004 % |
260.94/261.19 c | 438374 | 160 13600 95200 | 2147483647 72132 49 | 0.004 % |
261.14/261.39 c | 438630 | 160 13600 95200 | 2147483647 72388 49 | 0.004 % |
261.44/261.60 c | 438913 | 160 13600 95200 | 2147483647 72671 49 | 0.004 % |
261.64/261.83 c | 439224 | 160 13600 95200 | 2147483647 72982 49 | 0.004 % |
261.84/262.06 c | 439563 | 160 13600 95200 | 2147483647 73321 49 | 0.004 % |
262.24/262.40 c | 439937 | 160 13600 95200 | 2147483647 73695 49 | 0.004 % |
262.54/262.78 c | 440347 | 160 13600 95200 | 73758 62351 49 | 0.004 % |
262.94/263.13 c | 440796 | 160 13600 95200 | 73758 62800 49 | 0.004 % |
263.34/263.50 c | 441289 | 160 13600 95200 | 73758 63293 49 | 0.004 % |
263.64/263.87 c | 441831 | 160 13600 95200 | 73758 63835 49 | 0.004 % |
264.04/264.29 c | 442430 | 160 13600 95200 | 73758 64434 49 | 0.004 % |
264.54/264.77 c | 443085 | 160 13600 95200 | 73758 65089 49 | 0.004 % |
265.14/265.35 c | 443805 | 160 13600 95200 | 73758 65809 49 | 0.004 % |
265.73/265.98 c | 444597 | 160 13600 95200 | 73758 66601 49 | 0.004 % |
266.53/266.72 c | 445471 | 160 13600 95200 | 73758 67475 49 | 0.004 % |
267.23/267.44 c | 446430 | 160 13600 95200 | 73758 68434 49 | 0.004 % |
267.93/268.20 c | 447484 | 160 13600 95200 | 73758 69488 49 | 0.004 % |
268.83/269.05 c | 448642 | 160 13600 95200 | 73758 70646 49 | 0.004 % |
269.73/269.96 c | 449916 | 160 13600 95200 | 73758 71920 49 | 0.004 % |
270.73/270.95 c | 451316 | 160 13600 95200 | 72005 61122 49 | 0.004 % |
271.73/271.98 c | 452858 | 160 13600 95200 | 72005 62664 49 | 0.004 % |
272.83/273.01 c | 454552 | 160 13600 95200 | 72005 64358 49 | 0.004 % |
274.13/274.35 c | 456415 | 160 13600 95200 | 72005 66221 49 | 0.004 % |
275.43/275.67 c | 458464 | 160 13600 95200 | 72005 68270 49 | 0.004 % |
276.93/277.12 c | 460719 | 160 13600 95200 | 69806 59851 49 | 0.004 % |
278.32/278.53 c | 463200 | 160 13600 95200 | 69806 62332 49 | 0.004 % |
280.02/280.22 c | 465926 | 160 13600 95200 | 69806 65058 49 | 0.004 % |
281.92/282.16 c | 468925 | 160 13600 95200 | 69806 68057 49 | 0.004 % |
284.12/284.33 c | 472223 | 160 13600 95200 | 69132 61929 49 | 0.004 % |
286.42/286.63 c | 475848 | 160 13600 95200 | 69132 65554 49 | 0.004 % |
289.32/289.50 c | 479836 | 160 13600 95200 | 69132 60025 49 | 0.004 % |
291.92/292.16 c | 484221 | 160 13600 95200 | 60192 56163 49 | 0.004 % |
292.02/292.23 c | 484322 | 160 13600 95200 | 60192 56264 49 | 0.004 % |
292.12/292.30 c | 484433 | 160 13600 95200 | 60192 56375 49 | 0.004 % |
292.12/292.38 c | 484554 | 160 13600 95200 | 60192 56496 49 | 0.004 % |
292.22/292.48 c | 484688 | 160 13600 95200 | 60192 56630 49 | 0.004 % |
292.32/292.58 c | 484834 | 160 13600 95200 | 60192 56776 49 | 0.004 % |
292.42/292.68 c | 484995 | 160 13600 95200 | 60192 56937 49 | 0.004 % |
292.52/292.79 c | 485173 | 160 13600 95200 | 60192 57115 49 | 0.004 % |
292.72/292.92 c | 485368 | 160 13600 95200 | 60192 57310 49 | 0.004 % |
292.82/293.07 c | 485580 | 160 13600 95200 | 60192 57522 49 | 0.004 % |
293.02/293.24 c | 485813 | 160 13600 95200 | 60192 57755 49 | 0.004 % |
293.22/293.41 c | 486069 | 160 13600 95200 | 60192 58011 49 | 0.004 % |
293.42/293.63 c | 486351 | 160 13600 95200 | 60192 58293 49 | 0.004 % |
293.62/293.83 c | 486660 | 160 13600 95200 | 60192 58602 49 | 0.004 % |
293.82/294.07 c | 487000 | 160 13600 95200 | 60192 58942 49 | 0.004 % |
294.12/294.33 c | 487374 | 160 13600 95200 | 60192 59316 49 | 0.004 % |
294.42/294.62 c | 487783 | 160 13600 95200 | 60192 59725 49 | 0.004 % |
294.72/294.90 c | 488232 | 160 13600 95200 | 60192 60174 49 | 0.004 % |
295.02/295.21 c | 488725 | 160 13600 95200 | 60192 53761 49 | 0.004 % |
295.32/295.54 c | 489268 | 160 13600 95200 | 60192 54304 49 | 0.004 % |
295.72/295.90 c | 489864 | 160 13600 95200 | 60192 54900 49 | 0.004 % |
296.12/296.30 c | 490519 | 160 13600 95200 | 55036 49434 49 | 0.004 % |
296.42/296.68 c | 491240 | 160 13600 95200 | 55036 50155 49 | 0.004 % |
296.92/297.10 c | 492033 | 160 13600 95200 | 55036 50948 49 | 0.004 % |
297.32/297.60 c | 492904 | 160 13600 95200 | 55036 51819 49 | 0.004 % |
297.92/298.10 c | 493862 | 160 13600 95200 | 55036 52777 49 | 0.004 % |
298.42/298.67 c | 494915 | 160 13600 95200 | 55036 53830 49 | 0.004 % |
299.12/299.36 c | 496076 | 160 13600 95200 | 55036 54991 49 | 0.004 % |
299.82/300.04 c | 497351 | 160 13600 95200 | 55036 50756 49 | 0.004 % |
300.51/300.76 c | 498752 | 160 13600 95200 | 55036 52157 49 | 0.004 % |
301.31/301.55 c | 500292 | 160 13600 95200 | 2147483647 53697 49 | 0.004 % |
302.22/302.45 c | 501987 | 160 13600 95200 | 2147483647 55392 49 | 0.004 % |
303.21/303.42 c | 503852 | 160 13600 95200 | 2147483647 57257 49 | 0.004 % |
304.31/304.54 c | 505901 | 160 13600 95200 | 2147483647 59306 49 | 0.004 % |
305.71/305.94 c | 508154 | 160 13600 95200 | 2147483647 61559 49 | 0.004 % |
307.31/307.53 c | 510633 | 160 13600 95200 | 2147483647 64038 49 | 0.004 % |
309.01/309.25 c | 513358 | 160 13600 95200 | 2147483647 66763 49 | 0.004 % |
311.02/311.24 c | 516356 | 160 13600 95200 | 2147483647 69761 49 | 0.004 % |
313.21/313.49 c | 519652 | 160 13600 95200 | 2147483647 73057 49 | 0.004 % |
315.61/315.80 c | 523277 | 160 13600 95200 | 73405 66303 49 | 0.004 % |
318.11/318.39 c | 527265 | 160 13600 95200 | 73405 70291 49 | 0.004 % |
321.21/321.47 c | 531652 | 160 13600 95200 | 73028 63890 49 | 0.004 % |
324.21/324.44 c | 536475 | 160 13600 95200 | 73028 68713 49 | 0.004 % |
324.31/324.52 c | 536578 | 160 13600 95200 | 73028 68816 49 | 0.004 % |
324.40/324.63 c | 536688 | 160 13600 95200 | 73028 68926 49 | 0.004 % |
324.50/324.74 c | 536809 | 160 13600 95200 | 73028 69047 49 | 0.004 % |
324.60/324.83 c | 536942 | 160 13600 95200 | 73028 69180 49 | 0.004 % |
324.70/324.94 c | 537089 | 160 13600 95200 | 73028 69327 49 | 0.004 % |
324.80/325.06 c | 537249 | 160 13600 95200 | 73028 69487 49 | 0.004 % |
324.90/325.20 c | 537425 | 160 13600 95200 | 73028 69663 49 | 0.004 % |
325.10/325.36 c | 537619 | 160 13600 95200 | 73028 69857 49 | 0.004 % |
325.31/325.52 c | 537831 | 160 13600 95200 | 73028 70069 49 | 0.004 % |
325.41/325.68 c | 538064 | 160 13600 95200 | 73028 70302 49 | 0.004 % |
325.60/325.85 c | 538320 | 160 13600 95200 | 73028 70558 49 | 0.004 % |
325.80/326.05 c | 538601 | 160 13600 95200 | 73028 70839 49 | 0.004 % |
326.00/326.29 c | 538910 | 160 13600 95200 | 73028 71148 49 | 0.004 % |
326.30/326.54 c | 539249 | 160 13600 95200 | 73028 71487 49 | 0.004 % |
326.60/326.83 c | 539622 | 160 13600 95200 | 73028 71860 49 | 0.004 % |
326.90/327.14 c | 540031 | 160 13600 95200 | 72238 72269 49 | 0.004 % |
327.30/327.55 c | 540481 | 160 13600 95200 | 72238 61802 49 | 0.004 % |
327.70/327.93 c | 540974 | 160 13600 95200 | 72238 62295 49 | 0.004 % |
328.10/328.34 c | 541517 | 160 13600 95200 | 72238 62838 49 | 0.004 % |
328.50/328.79 c | 542116 | 160 13600 95200 | 72238 63437 49 | 0.004 % |
329.00/329.27 c | 542771 | 160 13600 95200 | 72238 64092 49 | 0.004 % |
329.50/329.76 c | 543492 | 160 13600 95200 | 72238 64813 49 | 0.004 % |
330.10/330.34 c | 544284 | 160 13600 95200 | 72238 65605 49 | 0.004 % |
330.70/330.96 c | 545155 | 160 13600 95200 | 72238 66476 49 | 0.004 % |
331.40/331.62 c | 546117 | 160 13600 95200 | 72238 67438 49 | 0.004 % |
332.10/332.38 c | 547170 | 160 13600 95200 | 72238 68491 49 | 0.004 % |
333.00/333.20 c | 548330 | 160 13600 95200 | 72238 69651 49 | 0.004 % |
333.90/334.11 c | 549604 | 160 13600 95200 | 72238 70925 49 | 0.004 % |
334.90/335.13 c | 551004 | 160 13600 95200 | 71321 60989 49 | 0.004 % |
335.90/336.19 c | 552546 | 160 13600 95200 | 71321 62531 49 | 0.004 % |
337.10/337.39 c | 554242 | 160 13600 95200 | 71321 64227 49 | 0.004 % |
338.40/338.66 c | 556105 | 160 13600 95200 | 71321 66090 49 | 0.004 % |
339.80/340.04 c | 558155 | 160 13600 95200 | 71321 68140 49 | 0.004 % |
341.30/341.50 c | 560409 | 160 13600 95200 | 69986 60018 49 | 0.004 % |
342.69/342.92 c | 562887 | 160 13600 95200 | 69986 62496 49 | 0.004 % |
344.39/344.63 c | 565613 | 160 13600 95200 | 69986 65222 49 | 0.004 % |
346.39/346.63 c | 568610 | 160 13600 95200 | 69986 68219 49 | 0.004 % |
348.69/348.96 c | 571907 | 160 13600 95200 | 69609 62265 49 | 0.004 % |
351.19/351.45 c | 575534 | 160 13600 95200 | 69609 65892 49 | 0.004 % |
353.99/354.24 c | 579521 | 160 13600 95200 | 69609 59518 49 | 0.004 % |
356.39/356.69 c | 583907 | 160 13600 95200 | 59998 54998 49 | 0.004 % |
359.29/359.55 c | 588731 | 160 13600 95200 | 59998 59822 49 | 0.004 % |
362.08/362.31 c | 594037 | 160 13600 95200 | 54485 52695 49 | 0.004 % |
362.08/362.38 c | 594137 | 160 13600 95200 | 54485 52795 49 | 0.004 % |
362.18/362.45 c | 594248 | 160 13600 95200 | 54485 52906 49 | 0.004 % |
362.28/362.51 c | 594369 | 160 13600 95200 | 54485 53027 49 | 0.004 % |
362.38/362.60 c | 594503 | 160 13600 95200 | 54485 53161 49 | 0.004 % |
362.48/362.72 c | 594649 | 160 13600 95200 | 54485 53307 49 | 0.004 % |
362.58/362.83 c | 594809 | 160 13600 95200 | 54485 53467 49 | 0.004 % |
362.69/362.96 c | 594986 | 160 13600 95200 | 54485 53644 49 | 0.004 % |
362.79/363.09 c | 595180 | 160 13600 95200 | 54485 53838 49 | 0.004 % |
362.98/363.23 c | 595392 | 160 13600 95200 | 54485 54050 49 | 0.004 % |
363.08/363.37 c | 595626 | 160 13600 95200 | 54485 54284 49 | 0.004 % |
363.28/363.52 c | 595884 | 160 13600 95200 | 54485 54542 49 | 0.004 % |
363.48/363.70 c | 596165 | 160 13600 95200 | 54485 49369 49 | 0.004 % |
363.58/363.86 c | 596474 | 160 13600 95200 | 54485 49678 49 | 0.004 % |
363.79/364.05 c | 596816 | 160 13600 95200 | 54485 50020 49 | 0.004 % |
363.98/364.27 c | 597190 | 160 13600 95200 | 54485 50394 49 | 0.004 % |
364.18/364.48 c | 597599 | 160 13600 95200 | 54485 50803 49 | 0.004 % |
364.48/364.79 c | 598048 | 160 13600 95200 | 54485 51252 49 | 0.004 % |
364.89/365.11 c | 598542 | 160 13600 95200 | 54485 51746 49 | 0.004 % |
365.18/365.44 c | 599084 | 160 13600 95200 | 54485 52288 49 | 0.004 % |
365.58/365.82 c | 599680 | 160 13600 95200 | 54485 52884 49 | 0.004 % |
365.88/366.19 c | 600336 | 160 13600 95200 | 2147483647 53540 49 | 0.004 % |
366.28/366.58 c | 601058 | 160 13600 95200 | 2147483647 54262 49 | 0.004 % |
366.88/367.12 c | 601850 | 160 13600 95200 | 2147483647 55054 49 | 0.004 % |
367.38/367.64 c | 602721 | 160 13600 95200 | 2147483647 55925 49 | 0.004 % |
367.98/368.29 c | 603680 | 160 13600 95200 | 2147483647 56884 49 | 0.004 % |
368.78/369.00 c | 604733 | 160 13600 95200 | 2147483647 57937 49 | 0.004 % |
369.48/369.74 c | 605891 | 160 13600 95200 | 2147483647 59095 49 | 0.004 % |
370.28/370.58 c | 607164 | 160 13600 95200 | 2147483647 60368 49 | 0.004 % |
371.18/371.41 c | 608564 | 160 13600 95200 | 2147483647 61768 49 | 0.004 % |
372.28/372.55 c | 610105 | 160 13600 95200 | 63204 56663 49 | 0.004 % |
373.48/373.70 c | 611799 | 160 13600 95200 | 63204 58357 49 | 0.004 % |
374.58/374.88 c | 613662 | 160 13600 95200 | 63204 60220 49 | 0.004 % |
375.88/376.15 c | 615712 | 160 13600 95200 | 63204 62270 49 | 0.004 % |
377.18/377.48 c | 617967 | 160 13600 95200 | 63204 57209 49 | 0.004 % |
378.68/378.97 c | 620448 | 160 13600 95200 | 59242 53195 49 | 0.004 % |
380.18/380.47 c | 623173 | 160 13600 95200 | 59242 55920 49 | 0.004 % |
381.98/382.28 c | 626170 | 160 13600 95200 | 59242 58917 49 | 0.004 % |
384.07/384.33 c | 629467 | 160 13600 95200 | 59242 56283 49 | 0.004 % |
386.27/386.52 c | 633093 | 160 13600 95200 | 2147483647 59909 49 | 0.004 % |
388.97/389.30 c | 637080 | 160 13600 95200 | 2147483647 63896 49 | 0.004 % |
392.17/392.46 c | 641466 | 160 13600 95200 | 66818 59936 49 | 0.004 % |
395.57/395.81 c | 646289 | 160 13600 95200 | 66818 64759 49 | 0.004 % |
398.77/399.06 c | 651594 | 160 13600 95200 | 58898 52280 49 | 0.004 % |
402.27/402.56 c | 657429 | 160 13600 95200 | 58898 58115 49 | 0.004 % |
402.37/402.62 c | 657529 | 160 13600 95200 | 58898 58215 49 | 0.004 % |
402.47/402.71 c | 657640 | 160 13600 95200 | 58898 58326 49 | 0.004 % |
402.47/402.79 c | 657761 | 160 13600 95200 | 58898 58447 49 | 0.004 % |
402.57/402.88 c | 657894 | 160 13600 95200 | 58898 58580 49 | 0.004 % |
402.67/402.98 c | 658040 | 160 13600 95200 | 58898 58726 49 | 0.004 % |
402.87/403.10 c | 658200 | 160 13600 95200 | 58898 58886 49 | 0.004 % |
402.97/403.26 c | 658376 | 160 13600 95200 | 58898 52319 49 | 0.004 % |
403.17/403.40 c | 658569 | 160 13600 95200 | 58898 52512 49 | 0.004 % |
403.27/403.55 c | 658781 | 160 13600 95200 | 58898 52724 49 | 0.004 % |
403.37/403.69 c | 659015 | 160 13600 95200 | 58898 52958 49 | 0.004 % |
403.57/403.89 c | 659271 | 160 13600 95200 | 58898 53214 49 | 0.004 % |
403.77/404.08 c | 659553 | 160 13600 95200 | 58898 53496 49 | 0.004 % |
404.07/404.31 c | 659862 | 160 13600 95200 | 58898 53805 49 | 0.004 % |
404.27/404.56 c | 660201 | 160 13600 95200 | 53943 47896 49 | 0.004 % |
404.57/404.80 c | 660574 | 160 13600 95200 | 53943 48269 49 | 0.004 % |
404.76/405.08 c | 660983 | 160 13600 95200 | 53943 48678 49 | 0.004 % |
405.06/405.36 c | 661432 | 160 13600 95200 | 53943 49127 49 | 0.004 % |
405.36/405.62 c | 661926 | 160 13600 95200 | 53943 49621 49 | 0.004 % |
405.57/405.88 c | 662468 | 160 13600 95200 | 53943 50163 49 | 0.004 % |
405.96/406.21 c | 663064 | 160 13600 95200 | 53943 50759 49 | 0.004 % |
406.36/406.67 c | 663719 | 160 13600 95200 | 53943 51414 49 | 0.004 % |
406.86/407.14 c | 664440 | 160 13600 95200 | 53943 52135 49 | 0.004 % |
407.26/407.57 c | 665233 | 160 13600 95200 | 53943 52928 49 | 0.004 % |
407.77/408.04 c | 666106 | 160 13600 95200 | 53943 53801 49 | 0.004 % |
408.26/408.58 c | 667065 | 160 13600 95200 | 53943 49359 49 | 0.004 % |
409.06/409.31 c | 668119 | 160 13600 95200 | 53943 50413 49 | 0.004 % |
409.76/410.03 c | 669277 | 160 13600 95200 | 53943 51571 49 | 0.004 % |
410.46/410.71 c | 670551 | 160 13600 95200 | 2147483647 52845 49 | 0.004 % |
411.36/411.61 c | 671951 | 160 13600 95200 | 2147483647 54245 49 | 0.004 % |
412.26/412.55 c | 673492 | 160 13600 95200 | 2147483647 55786 49 | 0.004 % |
413.26/413.56 c | 675187 | 160 13600 95200 | 2147483647 57481 49 | 0.004 % |
414.46/414.75 c | 677050 | 160 13600 95200 | 2147483647 59344 49 | 0.004 % |
415.86/416.15 c | 679100 | 160 13600 95200 | 2147483647 61394 49 | 0.004 % |
417.26/417.55 c | 681354 | 160 13600 95200 | 62296 56542 49 | 0.004 % |
418.76/419.01 c | 683832 | 160 13600 95200 | 62296 59020 49 | 0.004 % |
420.56/420.83 c | 686557 | 160 13600 95200 | 62296 61745 49 | 0.004 % |
422.66/422.95 c | 689554 | 160 13600 95200 | 62296 57426 49 | 0.004 % |
424.75/425.09 c | 692850 | 160 13600 95200 | 57872 53898 49 | 0.004 % |
427.16/427.46 c | 696475 | 160 13600 95200 | 57872 57523 49 | 0.004 % |
429.65/429.91 c | 700462 | 160 13600 95200 | 54950 49881 49 | 0.004 % |
432.06/432.33 c | 704847 | 160 13600 95200 | 54950 54266 49 | 0.004 % |
434.75/435.01 c | 709672 | 160 13600 95200 | 54950 53590 49 | 0.004 % |
437.56/437.81 c | 714979 | 160 13600 95200 | 2147483647 58897 49 | 0.004 % |
440.85/441.18 c | 720814 | 160 13600 95200 | 2147483647 64732 49 | 0.004 % |
445.05/445.34 c | 727232 | 160 13600 95200 | 2147483647 71150 49 | 0.004 % |
445.16/445.41 c | 727334 | 160 13600 95200 | 2147483647 71252 49 | 0.004 % |
445.16/445.50 c | 727444 | 160 13600 95200 | 2147483647 71362 49 | 0.004 % |
445.36/445.60 c | 727565 | 160 13600 95200 | 2147483647 71483 49 | 0.004 % |
445.46/445.73 c | 727699 | 160 13600 95200 | 2147483647 71617 49 | 0.004 % |
445.56/445.86 c | 727849 | 160 13600 95200 | 2147483647 71767 49 | 0.004 % |
445.66/446.00 c | 728011 | 160 13600 95200 | 2147483647 71929 49 | 0.004 % |
445.86/446.18 c | 728189 | 160 13600 95200 | 2147483647 72107 49 | 0.004 % |
446.06/446.35 c | 728382 | 160 13600 95200 | 2147483647 72300 49 | 0.004 % |
446.26/446.54 c | 728594 | 160 13600 95200 | 2147483647 72512 49 | 0.004 % |
446.45/446.76 c | 728828 | 160 13600 95200 | 2147483647 72746 49 | 0.004 % |
446.65/446.99 c | 729084 | 160 13600 95200 | 2147483647 73002 49 | 0.004 % |
446.95/447.24 c | 729365 | 160 13600 95200 | 2147483647 73283 49 | 0.004 % |
447.15/447.50 c | 729674 | 160 13600 95200 | 2147483647 73592 49 | 0.004 % |
447.46/447.76 c | 730013 | 160 13600 95200 | 73918 73931 49 | 0.004 % |
447.85/448.11 c | 730386 | 160 13600 95200 | 73918 63381 49 | 0.004 % |
448.15/448.42 c | 730796 | 160 13600 95200 | 73918 63791 49 | 0.004 % |
448.46/448.75 c | 731246 | 160 13600 95200 | 73918 64241 49 | 0.004 % |
448.75/449.09 c | 731740 | 160 13600 95200 | 73918 64735 49 | 0.004 % |
449.15/449.45 c | 732282 | 160 13600 95200 | 73918 65277 49 | 0.004 % |
449.55/449.89 c | 732879 | 160 13600 95200 | 73918 65874 49 | 0.004 % |
450.05/450.35 c | 733537 | 160 13600 95200 | 73918 66532 49 | 0.004 % |
450.55/450.90 c | 734257 | 160 13600 95200 | 73918 67252 49 | 0.004 % |
451.25/451.55 c | 735051 | 160 13600 95200 | 73918 68046 49 | 0.004 % |
451.95/452.28 c | 735922 | 160 13600 95200 | 73918 68917 49 | 0.004 % |
452.75/453.05 c | 736881 | 160 13600 95200 | 73918 69876 49 | 0.004 % |
453.55/453.81 c | 737935 | 160 13600 95200 | 73918 70930 49 | 0.004 % |
454.35/454.68 c | 739094 | 160 13600 95200 | 73918 72089 49 | 0.004 % |
455.45/455.79 c | 740367 | 160 13600 95200 | 72996 60946 49 | 0.004 % |
456.35/456.66 c | 741767 | 160 13600 95200 | 72996 62346 49 | 0.004 % |
457.35/457.62 c | 743307 | 160 13600 95200 | 72996 63886 49 | 0.004 % |
458.45/458.74 c | 745001 | 160 13600 95200 | 72996 65580 49 | 0.004 % |
459.74/460.02 c | 746864 | 160 13600 95200 | 72996 67443 49 | 0.004 % |
461.14/461.43 c | 748913 | 160 13600 95200 | 72996 69492 49 | 0.004 % |
462.54/462.84 c | 751172 | 160 13600 95200 | 70579 60604 49 | 0.004 % |
463.95/464.29 c | 753650 | 160 13600 95200 | 70579 63082 49 | 0.004 % |
465.64/465.92 c | 756377 | 160 13600 95200 | 70579 65809 49 | 0.004 % |
467.74/468.04 c | 759375 | 160 13600 95200 | 70579 68807 49 | 0.004 % |
469.84/470.18 c | 762671 | 160 13600 95200 | 69432 62580 49 | 0.004 % |
472.24/472.57 c | 766297 | 160 13600 95200 | 69432 66206 49 | 0.004 % |
475.04/475.36 c | 770284 | 160 13600 95200 | 60250 52248 49 | 0.004 % |
477.34/477.68 c | 774670 | 160 13600 95200 | 60250 56634 49 | 0.004 % |
480.24/480.54 c | 779493 | 160 13600 95200 | 60250 55043 48 | 0.004 % |
483.23/483.54 c | 784799 | 160 13600 95200 | 55550 54634 49 | 0.004 % |
486.43/486.72 c | 790634 | 160 13600 95200 | 2147483647 54907 49 | 0.004 % |
490.53/490.85 c | 797052 | 160 13600 95200 | 2147483647 61325 49 | 0.004 % |
494.83/495.14 c | 804111 | 160 13600 95200 | 64274 61712 49 | 0.004 % |
494.93/495.20 c | 804211 | 160 13600 95200 | 64274 61812 49 | 0.004 % |
494.93/495.27 c | 804322 | 160 13600 95200 | 64274 61923 49 | 0.004 % |
495.03/495.35 c | 804444 | 160 13600 95200 | 64274 62045 49 | 0.004 % |
495.13/495.43 c | 804577 | 160 13600 95200 | 64274 62178 49 | 0.004 % |
495.23/495.55 c | 804723 | 160 13600 95200 | 64274 62324 49 | 0.004 % |
495.33/495.65 c | 804884 | 160 13600 95200 | 64274 62485 49 | 0.004 % |
495.43/495.78 c | 805064 | 160 13600 95200 | 64274 62665 49 | 0.004 % |
495.63/495.92 c | 805258 | 160 13600 95200 | 64274 62859 49 | 0.004 % |
495.73/496.07 c | 805470 | 160 13600 95200 | 64274 63071 49 | 0.004 % |
495.93/496.24 c | 805703 | 160 13600 95200 | 64274 63304 49 | 0.004 % |
496.13/496.41 c | 805961 | 160 13600 95200 | 64274 63562 49 | 0.004 % |
496.23/496.59 c | 806243 | 160 13600 95200 | 64274 63844 49 | 0.004 % |
496.43/496.79 c | 806556 | 160 13600 95200 | 64274 64157 49 | 0.004 % |
496.83/497.10 c | 806897 | 160 13600 95200 | 64274 56223 49 | 0.004 % |
497.03/497.35 c | 807272 | 160 13600 95200 | 64274 56598 49 | 0.004 % |
497.33/497.62 c | 807683 | 160 13600 95200 | 64274 57009 49 | 0.004 % |
497.63/497.91 c | 808132 | 160 13600 95200 | 64274 57458 49 | 0.004 % |
497.93/498.26 c | 808625 | 160 13600 95200 | 64274 57951 49 | 0.004 % |
498.33/498.62 c | 809167 | 160 13600 95200 | 64274 58493 49 | 0.004 % |
498.63/498.96 c | 809764 | 160 13600 95200 | 64274 59090 49 | 0.004 % |
499.03/499.38 c | 810419 | 160 13600 95200 | 59327 52355 49 | 0.004 % |
499.43/499.78 c | 811139 | 160 13600 95200 | 59327 53075 49 | 0.004 % |
499.83/500.19 c | 811931 | 160 13600 95200 | 59327 53867 49 | 0.004 % |
500.32/500.63 c | 812802 | 160 13600 95200 | 59327 54738 49 | 0.004 % |
500.72/501.09 c | 813760 | 160 13600 95200 | 59327 55696 49 | 0.004 % |
501.33/501.64 c | 814813 | 160 13600 95200 | 59327 56749 49 | 0.004 % |
501.92/502.25 c | 815975 | 160 13600 95200 | 59327 57911 49 | 0.004 % |
502.62/502.98 c | 817248 | 160 13600 95200 | 59327 59184 49 | 0.004 % |
503.43/503.79 c | 818649 | 160 13600 95200 | 59327 54646 49 | 0.004 % |
504.22/504.55 c | 820190 | 160 13600 95200 | 2147483647 56187 49 | 0.004 % |
505.12/505.43 c | 821885 | 160 13600 95200 | 2147483647 57882 49 | 0.004 % |
506.02/506.37 c | 823748 | 160 13600 95200 | 2147483647 59745 49 | 0.004 % |
507.12/507.45 c | 825797 | 160 13600 95200 | 2147483647 61794 49 | 0.004 % |
508.52/508.88 c | 828051 | 160 13600 95200 | 2147483647 64048 49 | 0.004 % |
510.32/510.60 c | 830529 | 160 13600 95200 | 2147483647 66526 49 | 0.004 % |
512.12/512.43 c | 833254 | 160 13600 95200 | 2147483647 69251 49 | 0.004 % |
514.12/514.46 c | 836251 | 160 13600 95200 | 2147483647 72248 49 | 0.004 % |
516.62/516.96 c | 839548 | 160 13600 95200 | 2147483647 75545 49 | 0.004 % |
519.12/519.41 c | 843173 | 160 13600 95200 | 76000 67112 49 | 0.004 % |
522.22/522.51 c | 847160 | 160 13600 95200 | 76000 71099 49 | 0.004 % |
525.52/525.84 c | 851547 | 160 13600 95200 | 73942 62745 49 | 0.004 % |
528.82/529.14 c | 856370 | 160 13600 95200 | 73942 67568 49 | 0.004 % |
532.21/532.56 c | 861675 | 160 13600 95200 | 71198 61261 49 | 0.004 % |
535.81/536.19 c | 867511 | 160 13600 95200 | 71198 67097 49 | 0.004 % |
540.21/540.53 c | 873929 | 160 13600 95200 | 69586 63130 49 | 0.004 % |
544.80/545.11 c | 880990 | 160 13600 95200 | 69202 60213 50 | 0.004 % |
549.90/550.22 c | 888754 | 160 13600 95200 | 69202 67977 50 | 0.004 % |
550.00/550.31 c | 888855 | 160 13600 95200 | 69202 68078 50 | 0.004 % |
550.10/550.41 c | 888967 | 160 13600 95200 | 69202 68190 50 | 0.004 % |
550.20/550.51 c | 889088 | 160 13600 95200 | 69202 68311 50 | 0.004 % |
550.30/550.64 c | 889221 | 160 13600 95200 | 69202 68444 50 | 0.004 % |
550.40/550.77 c | 889368 | 160 13600 95200 | 69202 68591 50 | 0.004 % |
550.60/550.94 c | 889528 | 160 13600 95200 | 69202 68751 50 | 0.004 % |
550.81/551.14 c | 889704 | 160 13600 95200 | 69202 68927 50 | 0.004 % |
551.00/551.30 c | 889900 | 160 13600 95200 | 69202 69123 50 | 0.004 % |
551.20/551.55 c | 890112 | 160 13600 95200 | 69223 59317 50 | 0.004 % |
551.40/551.71 c | 890345 | 160 13600 95200 | 69223 59550 50 | 0.004 % |
551.60/551.90 c | 890603 | 160 13600 95200 | 69223 59808 50 | 0.004 % |
551.70/552.09 c | 890884 | 160 13600 95200 | 69223 60089 50 | 0.004 % |
552.00/552.30 c | 891196 | 160 13600 95200 | 69223 60401 50 | 0.004 % |
552.20/552.57 c | 891535 | 160 13600 95200 | 69223 60740 50 | 0.004 % |
552.50/552.87 c | 891907 | 160 13600 95200 | 69223 61112 50 | 0.004 % |
552.80/553.19 c | 892317 | 160 13600 95200 | 69223 61522 50 | 0.004 % |
553.10/553.48 c | 892766 | 160 13600 95200 | 69223 61971 50 | 0.004 % |
553.40/553.79 c | 893260 | 160 13600 95200 | 69223 62465 50 | 0.004 % |
553.80/554.16 c | 893802 | 160 13600 95200 | 69223 63007 50 | 0.004 % |
554.20/554.55 c | 894399 | 160 13600 95200 | 69223 63604 50 | 0.004 % |
554.60/554.98 c | 895054 | 160 13600 95200 | 69223 64259 50 | 0.004 % |
555.30/555.63 c | 895774 | 160 13600 95200 | 69223 64979 50 | 0.004 % |
555.90/556.23 c | 896568 | 160 13600 95200 | 69223 65773 50 | 0.004 % |
556.80/557.12 c | 897439 | 160 13600 95200 | 69223 66644 50 | 0.004 % |
557.50/557.86 c | 898398 | 160 13600 95200 | 69223 67603 50 | 0.004 % |
558.30/558.67 c | 899452 | 160 13600 95200 | 69223 68657 50 | 0.004 % |
559.20/559.53 c | 900611 | 160 13600 95200 | 69205 58228 50 | 0.004 % |
560.00/560.31 c | 901884 | 160 13600 95200 | 69205 59501 50 | 0.004 % |
560.80/561.18 c | 903286 | 160 13600 95200 | 69205 60903 50 | 0.004 % |
561.80/562.17 c | 904826 | 160 13600 95200 | 69205 62443 50 | 0.004 % |
563.00/563.33 c | 906520 | 160 13600 95200 | 69205 64137 50 | 0.004 % |
564.30/564.61 c | 908384 | 160 13600 95200 | 69205 66001 50 | 0.004 % |
565.70/566.07 c | 910434 | 160 13600 95200 | 67618 58132 50 | 0.004 % |
567.00/567.40 c | 912691 | 160 13600 95200 | 67618 60389 50 | 0.004 % |
568.40/568.79 c | 915170 | 160 13600 95200 | 67618 62868 49 | 0.004 % |
570.10/570.48 c | 917895 | 160 13600 95200 | 67618 65593 49 | 0.004 % |
572.00/572.39 c | 920892 | 160 13600 95200 | 59012 52368 49 | 0.004 % |
573.90/574.27 c | 924189 | 160 13600 95200 | 59012 55665 49 | 0.004 % |
576.10/576.47 c | 927814 | 160 13600 95200 | 59012 53381 49 | 0.004 % |
578.39/578.78 c | 931801 | 160 13600 95200 | 2147483647 57368 49 | 0.004 % |
580.89/581.24 c | 936186 | 160 13600 95200 | 2147483647 61753 49 | 0.004 % |
583.99/584.38 c | 941009 | 160 13600 95200 | 65567 59228 49 | 0.004 % |
587.27/587.60 c | 946314 | 160 13600 95200 | 65567 64533 49 | 0.004 % |
590.58/590.95 c | 952150 | 160 13600 95200 | 59365 53977 49 | 0.004 % |
593.87/594.30 c | 958568 | 160 13600 95200 | 59365 54452 49 | 0.004 % |
597.87/598.22 c | 965628 | 160 13600 95200 | 2147483647 61512 49 | 0.004 % |
602.38/602.76 c | 973392 | 160 13600 95200 | 65884 62484 49 | 0.004 % |
607.37/607.72 c | 981932 | 160 13600 95200 | 62255 57675 49 | 0.004 % |
607.37/607.78 c | 982034 | 160 13600 95200 | 62255 57777 49 | 0.004 % |
607.47/607.87 c | 982147 | 160 13600 95200 | 62255 57890 49 | 0.004 % |
607.57/607.96 c | 982270 | 160 13600 95200 | 62255 58013 49 | 0.004 % |
607.67/608.06 c | 982404 | 160 13600 95200 | 62255 58147 49 | 0.004 % |
607.77/608.16 c | 982550 | 160 13600 95200 | 62255 58293 49 | 0.004 % |
607.87/608.27 c | 982710 | 160 13600 95200 | 62255 58453 49 | 0.004 % |
607.97/608.38 c | 982887 | 160 13600 95200 | 62255 58630 49 | 0.004 % |
608.17/608.51 c | 983080 | 160 13600 95200 | 62255 58823 49 | 0.004 % |
608.27/608.68 c | 983292 | 160 13600 95200 | 62255 59035 49 | 0.004 % |
608.47/608.83 c | 983525 | 160 13600 95200 | 62255 59268 49 | 0.004 % |
608.67/609.02 c | 983782 | 160 13600 95200 | 62255 59525 49 | 0.004 % |
608.77/609.19 c | 984063 | 160 13600 95200 | 62255 59806 49 | 0.004 % |
609.07/609.41 c | 984372 | 160 13600 95200 | 62255 60115 49 | 0.004 % |
609.27/609.61 c | 984712 | 160 13600 95200 | 62255 60455 49 | 0.004 % |
609.47/609.88 c | 985086 | 160 13600 95200 | 62255 60829 49 | 0.004 % |
609.77/610.16 c | 985497 | 160 13600 95200 | 62255 61240 49 | 0.004 % |
610.07/610.43 c | 985946 | 160 13600 95200 | 62255 61689 49 | 0.004 % |
610.37/610.75 c | 986439 | 160 13600 95200 | 62255 62182 49 | 0.004 % |
610.77/611.17 c | 986982 | 160 13600 95200 | 62255 55479 49 | 0.004 % |
611.17/611.51 c | 987581 | 160 13600 95200 | 62255 56078 49 | 0.004 % |
611.67/612.00 c | 988236 | 160 13600 95200 | 62255 56733 49 | 0.004 % |
612.07/612.44 c | 988958 | 160 13600 95200 | 62255 57455 49 | 0.004 % |
612.57/612.90 c | 989750 | 160 13600 95200 | 62255 58247 49 | 0.004 % |
613.07/613.44 c | 990621 | 160 13600 95200 | 58498 52304 49 | 0.004 % |
613.57/613.95 c | 991580 | 160 13600 95200 | 58498 53263 49 | 0.004 % |
614.27/614.61 c | 992633 | 160 13600 95200 | 58498 54316 49 | 0.004 % |
614.87/615.25 c | 993791 | 160 13600 95200 | 58498 55474 49 | 0.004 % |
615.57/615.99 c | 995064 | 160 13600 95200 | 58498 56747 49 | 0.004 % |
616.47/616.86 c | 996465 | 160 13600 95200 | 58498 58148 49 | 0.004 % |
617.47/617.80 c | 998005 | 160 13600 95200 | 58498 53629 49 | 0.004 % |
618.27/618.70 c | 999700 | 160 13600 95200 | 58498 55324 49 | 0.004 % |
619.26/619.63 c | 1001564 | 160 13600 95200 | 2147483647 57188 49 | 0.004 % |
620.76/621.11 c | 1003613 | 160 13600 95200 | 2147483647 59237 49 | 0.004 % |
622.17/622.60 c | 1005866 | 160 13600 95200 | 2147483647 61490 49 | 0.004 % |
624.06/624.44 c | 1008344 | 160 13600 95200 | 2147483647 63968 49 | 0.004 % |
625.96/626.39 c | 1011069 | 160 13600 95200 | 65624 58510 48 | 0.004 % |
627.96/628.34 c | 1014068 | 160 13600 95200 | 65624 61509 49 | 0.004 % |
630.25/630.60 c | 1017364 | 160 13600 95200 | 65624 64805 49 | 0.004 % |
632.65/633.09 c | 1020989 | 160 13600 95200 | 58604 51860 48 | 0.004 % |
634.85/635.21 c | 1024977 | 160 13600 95200 | 58604 55848 48 | 0.004 % |
637.45/637.82 c | 1029365 | 160 13600 95200 | 58604 54368 48 | 0.004 % |
640.35/640.74 c | 1034189 | 160 13600 95200 | 2147483647 59192 48 | 0.004 % |
643.75/644.12 c | 1039494 | 160 13600 95200 | 2147483647 64497 49 | 0.004 % |
647.55/647.92 c | 1045330 | 160 13600 95200 | 65003 63131 49 | 0.004 % |
651.25/651.70 c | 1051748 | 160 13600 95200 | 60238 55242 49 | 0.004 % |
655.75/656.11 c | 1058808 | 160 13600 95200 | 60238 56272 49 | 0.004 % |
660.15/660.57 c | 1066572 | 160 13600 95200 | 2147483647 64036 49 | 0.004 % |
665.24/665.67 c | 1075112 | 160 13600 95200 | 67465 64465 49 | 0.004 % |
670.55/670.99 c | 1084506 | 160 13600 95200 | 60689 57644 50 | 0.004 % |
670.65/671.08 c | 1084606 | 160 13600 95200 | 60689 57744 50 | 0.004 % |
670.74/671.15 c | 1084717 | 160 13600 95200 | 60689 57855 50 | 0.004 % |
670.84/671.24 c | 1084839 | 160 13600 95200 | 60689 57977 50 | 0.004 % |
670.94/671.33 c | 1084973 | 160 13600 95200 | 60689 58111 50 | 0.004 % |
671.04/671.41 c | 1085119 | 160 13600 95200 | 60689 58257 50 | 0.004 % |
671.14/671.52 c | 1085279 | 160 13600 95200 | 60689 58417 50 | 0.004 % |
671.24/671.62 c | 1085457 | 160 13600 95200 | 60689 58595 50 | 0.004 % |
671.34/671.76 c | 1085650 | 160 13600 95200 | 60689 58788 50 | 0.004 % |
671.44/671.89 c | 1085862 | 160 13600 95200 | 60689 59000 50 | 0.004 % |
671.64/672.04 c | 1086096 | 160 13600 95200 | 60689 59234 49 | 0.004 % |
671.84/672.24 c | 1086352 | 160 13600 95200 | 60689 59490 49 | 0.004 % |
672.04/672.45 c | 1086634 | 160 13600 95200 | 60689 59772 49 | 0.004 % |
672.24/672.67 c | 1086945 | 160 13600 95200 | 60689 60083 49 | 0.004 % |
672.44/672.88 c | 1087285 | 160 13600 95200 | 60689 60423 49 | 0.004 % |
672.74/673.17 c | 1087657 | 160 13600 95200 | 60689 54147 50 | 0.004 % |
673.04/673.42 c | 1088066 | 160 13600 95200 | 60689 54556 50 | 0.004 % |
673.34/673.75 c | 1088515 | 160 13600 95200 | 60689 55005 50 | 0.004 % |
673.64/674.07 c | 1089009 | 160 13600 95200 | 60689 55499 50 | 0.004 % |
674.04/674.41 c | 1089551 | 160 13600 95200 | 60689 56041 50 | 0.004 % |
674.44/674.88 c | 1090147 | 160 13600 95200 | 56490 50392 49 | 0.004 % |
674.84/675.28 c | 1090804 | 160 13600 95200 | 56490 51049 49 | 0.004 % |
675.33/675.72 c | 1091524 | 160 13600 95200 | 56490 51769 49 | 0.004 % |
675.73/676.18 c | 1092317 | 160 13600 95200 | 56490 52562 49 | 0.004 % |
676.33/676.72 c | 1093190 | 160 13600 95200 | 56490 53435 49 | 0.004 % |
676.93/677.34 c | 1094148 | 160 13600 95200 | 56490 54393 49 | 0.004 % |
677.52/677.97 c | 1095201 | 160 13600 95200 | 56490 55446 49 | 0.004 % |
678.33/678.74 c | 1096361 | 160 13600 95200 | 56490 50949 49 | 0.004 % |
679.02/679.41 c | 1097636 | 160 13600 95200 | 56490 52224 49 | 0.004 % |
679.62/680.08 c | 1099037 | 160 13600 95200 | 56490 53625 49 | 0.004 % |
680.62/681.05 c | 1100577 | 160 13600 95200 | 2147483647 55165 49 | 0.004 % |
681.63/682.10 c | 1102271 | 160 13600 95200 | 2147483647 56859 49 | 0.004 % |
682.73/683.13 c | 1104134 | 160 13600 95200 | 2147483647 58722 49 | 0.004 % |
683.92/684.36 c | 1106184 | 160 13600 95200 | 2147483647 60772 49 | 0.004 % |
685.32/685.74 c | 1108437 | 160 13600 95200 | 2147483647 63025 49 | 0.004 % |
686.82/687.29 c | 1110916 | 160 13600 95200 | 64588 58329 49 | 0.004 % |
688.42/688.87 c | 1113642 | 160 13600 95200 | 64588 61055 49 | 0.004 % |
690.32/690.74 c | 1116639 | 160 13600 95200 | 64588 64052 49 | 0.004 % |
692.32/692.70 c | 1119935 | 160 13600 95200 | 64588 60035 49 | 0.004 % |
694.32/694.74 c | 1123560 | 160 13600 95200 | 60100 57091 49 | 0.004 % |
697.02/697.46 c | 1127547 | 160 13600 95200 | 60100 54339 49 | 0.004 % |
699.82/700.21 c | 1131933 | 160 13600 95200 | 56792 52326 49 | 0.004 % |
702.52/702.93 c | 1136756 | 160 13600 95200 | 56792 51462 49 | 0.004 % |
705.51/705.98 c | 1142062 | 160 13600 95200 | 2147483647 56768 49 | 0.004 % |
709.31/709.79 c | 1147898 | 160 13600 95200 | 2147483647 62604 49 | 0.004 % |
713.61/714.00 c | 1154316 | 160 13600 95200 | 64710 61375 49 | 0.004 % |
717.91/718.31 c | 1161376 | 160 13600 95200 | 59042 53257 50 | 0.004 % |
722.41/722.88 c | 1169142 | 160 13600 95200 | 59042 55112 50 | 0.004 % |
727.41/727.88 c | 1177683 | 160 13600 95200 | 2147483647 63653 50 | 0.004 % |
733.00/733.49 c | 1187077 | 160 13600 95200 | 65971 59260 50 | 0.004 % |
739.30/739.71 c | 1197413 | 160 13600 95200 | 62186 55479 50 | 0.004 % |
739.30/739.77 c | 1197514 | 160 13600 95200 | 62186 55580 50 | 0.004 % |
739.40/739.85 c | 1197624 | 160 13600 95200 | 62186 55690 50 | 0.004 % |
739.50/739.94 c | 1197745 | 160 13600 95200 | 62186 55811 50 | 0.004 % |
739.60/740.02 c | 1197878 | 160 13600 95200 | 62186 55944 50 | 0.004 % |
739.70/740.11 c | 1198025 | 160 13600 95200 | 62186 56091 50 | 0.004 % |
739.80/740.25 c | 1198186 | 160 13600 95200 | 62186 56252 50 | 0.004 % |
739.90/740.39 c | 1198362 | 160 13600 95200 | 62186 56428 50 | 0.004 % |
740.10/740.52 c | 1198557 | 160 13600 95200 | 62186 56623 50 | 0.004 % |
740.20/740.69 c | 1198769 | 160 13600 95200 | 62186 56835 50 | 0.004 % |
740.41/740.85 c | 1199004 | 160 13600 95200 | 62186 57070 50 | 0.004 % |
740.61/741.05 c | 1199262 | 160 13600 95200 | 62186 57328 50 | 0.004 % |
740.81/741.24 c | 1199543 | 160 13600 95200 | 62186 57609 50 | 0.004 % |
741.01/741.46 c | 1199852 | 160 13600 95200 | 62186 57918 50 | 0.004 % |
741.31/741.73 c | 1200192 | 160 13600 95200 | 58066 51353 50 | 0.004 % |
741.51/741.96 c | 1200566 | 160 13600 95200 | 58066 51727 50 | 0.004 % |
741.81/742.25 c | 1200976 | 160 13600 95200 | 58066 52137 50 | 0.004 % |
742.11/742.52 c | 1201425 | 160 13600 95200 | 58066 52586 50 | 0.004 % |
742.31/742.79 c | 1201920 | 160 13600 95200 | 58066 53081 50 | 0.004 % |
742.71/743.12 c | 1202462 | 160 13600 95200 | 58066 53623 50 | 0.004 % |
743.01/743.45 c | 1203059 | 160 13600 95200 | 58066 54220 50 | 0.004 % |
743.41/743.88 c | 1203714 | 160 13600 95200 | 58066 54875 50 | 0.004 % |
743.91/744.34 c | 1204434 | 160 13600 95200 | 58066 55595 50 | 0.004 % |
744.41/744.81 c | 1205227 | 160 13600 95200 | 58066 56388 50 | 0.004 % |
744.91/745.36 c | 1206098 | 160 13600 95200 | 58066 57259 50 | 0.004 % |
745.61/746.08 c | 1207056 | 160 13600 95200 | 58066 52034 50 | 0.004 % |
746.31/746.77 c | 1208112 | 160 13600 95200 | 58066 53090 50 | 0.004 % |
747.01/747.40 c | 1209272 | 160 13600 95200 | 58066 54250 50 | 0.004 % |
747.61/748.06 c | 1210545 | 160 13600 95200 | 54978 49960 49 | 0.004 % |
748.51/748.92 c | 1211947 | 160 13600 95200 | 54978 51362 49 | 0.004 % |
749.30/749.78 c | 1213489 | 160 13600 95200 | 54978 52904 49 | 0.004 % |
750.30/750.72 c | 1215183 | 160 13600 95200 | 54978 54598 49 | 0.004 % |
751.40/751.83 c | 1217046 | 160 13600 95200 | 54978 50956 49 | 0.004 % |
752.60/753.00 c | 1219095 | 160 13600 95200 | 54978 53005 49 | 0.004 % |
753.90/754.34 c | 1221350 | 160 13600 95200 | 2147483647 55260 49 | 0.004 % |
755.31/755.72 c | 1223830 | 160 13600 95200 | 2147483647 57740 49 | 0.004 % |
756.90/757.38 c | 1226555 | 160 13600 95200 | 2147483647 60465 49 | 0.004 % |
759.10/759.51 c | 1229553 | 160 13600 95200 | 2147483647 63463 49 | 0.004 % |
761.30/761.78 c | 1232849 | 160 13600 95200 | 63911 59871 49 | 0.004 % |
763.30/763.79 c | 1236474 | 160 13600 95200 | 63911 63496 49 | 0.004 % |
765.79/766.28 c | 1240463 | 160 13600 95200 | 59987 53976 49 | 0.004 % |
768.29/768.71 c | 1244851 | 160 13600 95200 | 59987 58364 49 | 0.004 % |
771.09/771.51 c | 1249674 | 160 13600 95200 | 59987 57181 49 | 0.004 % |
774.49/774.97 c | 1254979 | 160 13600 95200 | 2147483647 62486 49 | 0.004 % |
778.49/778.99 c | 1260816 | 160 13600 95200 | 67508 59737 49 | 0.004 % |
782.48/782.93 c | 1267236 | 160 13600 95200 | 67508 66157 49 | 0.004 % |
786.68/787.10 c | 1274297 | 160 13600 95200 | 60184 56775 49 | 0.004 % |
791.68/792.11 c | 1282061 | 160 13600 95200 | 2147483647 58502 49 | 0.004 % |
796.48/796.94 c | 1290602 | 160 13600 95200 | 66443 58696 49 | 0.004 % |
801.98/802.44 c | 1299996 | 160 13600 95200 | 66443 59776 49 | 0.004 % |
807.38/807.88 c | 1310332 | 160 13600 95200 | 2147483647 56657 49 | 0.004 % |
813.97/814.49 c | 1321699 | 160 13600 95200 | 2147483647 68024 50 | 0.004 % |
814.07/814.57 c | 1321800 | 160 13600 95200 | 2147483647 68125 50 | 0.004 % |
814.17/814.64 c | 1321912 | 160 13600 95200 | 2147483647 68237 50 | 0.004 % |
814.27/814.72 c | 1322033 | 160 13600 95200 | 2147483647 68358 50 | 0.004 % |
814.37/814.85 c | 1322166 | 160 13600 95200 | 2147483647 68491 50 | 0.004 % |
814.47/814.97 c | 1322312 | 160 13600 95200 | 2147483647 68637 50 | 0.004 % |
814.57/815.08 c | 1322473 | 160 13600 95200 | 2147483647 68798 50 | 0.004 % |
814.77/815.24 c | 1322650 | 160 13600 95200 | 2147483647 68975 50 | 0.004 % |
814.97/815.40 c | 1322844 | 160 13600 95200 | 2147483647 69169 50 | 0.004 % |
815.07/815.55 c | 1323058 | 160 13600 95200 | 2147483647 69383 49 | 0.004 % |
815.27/815.76 c | 1323291 | 160 13600 95200 | 2147483647 69616 49 | 0.004 % |
815.47/815.98 c | 1323547 | 160 13600 95200 | 2147483647 69872 49 | 0.004 % |
815.77/816.22 c | 1323828 | 160 13600 95200 | 2147483647 70153 49 | 0.004 % |
815.97/816.49 c | 1324140 | 160 13600 95200 | 2147483647 70465 49 | 0.004 % |
816.27/816.75 c | 1324480 | 160 13600 95200 | 2147483647 70805 49 | 0.004 % |
816.57/817.02 c | 1324852 | 160 13600 95200 | 2147483647 71177 49 | 0.004 % |
816.87/817.31 c | 1325261 | 160 13600 95200 | 2147483647 71586 49 | 0.004 % |
817.17/817.68 c | 1325711 | 160 13600 95200 | 2147483647 72036 49 | 0.004 % |
817.57/818.05 c | 1326206 | 160 13600 95200 | 2147483647 72531 49 | 0.004 % |
817.97/818.47 c | 1326749 | 160 13600 95200 | 2147483647 73074 49 | 0.004 % |
818.47/818.93 c | 1327346 | 160 13600 95200 | 2147483647 73671 49 | 0.004 % |
818.97/819.46 c | 1328001 | 160 13600 95200 | 2147483647 74326 49 | 0.004 % |
819.57/820.10 c | 1328721 | 160 13600 95200 | 2147483647 75046 49 | 0.004 % |
820.27/820.79 c | 1329515 | 160 13600 95200 | 2147483647 75840 49 | 0.004 % |
821.17/821.68 c | 1330387 | 160 13600 95200 | 76325 63335 50 | 0.004 % |
821.87/822.35 c | 1331345 | 160 13600 95200 | 76325 64293 50 | 0.004 % |
822.67/823.13 c | 1332401 | 160 13600 95200 | 76325 65349 50 | 0.004 % |
823.37/823.85 c | 1333559 | 160 13600 95200 | 76325 66507 50 | 0.004 % |
824.36/824.82 c | 1334833 | 160 13600 95200 | 76325 67781 50 | 0.004 % |
825.36/825.83 c | 1336233 | 160 13600 95200 | 76325 69181 50 | 0.004 % |
826.36/826.86 c | 1337774 | 160 13600 95200 | 76325 70722 49 | 0.004 % |
827.56/828.01 c | 1339468 | 160 13600 95200 | 76325 72416 49 | 0.004 % |
828.76/829.25 c | 1341332 | 160 13600 95200 | 72950 61849 49 | 0.004 % |
829.97/830.46 c | 1343382 | 160 13600 95200 | 72950 63899 49 | 0.004 % |
831.36/831.85 c | 1345637 | 160 13600 95200 | 72950 66154 49 | 0.004 % |
832.96/833.45 c | 1348116 | 160 13600 95200 | 72950 68633 49 | 0.004 % |
834.86/835.36 c | 1350843 | 160 13600 95200 | 70517 60974 49 | 0.004 % |
836.76/837.29 c | 1353841 | 160 13600 95200 | 70517 63972 49 | 0.004 % |
838.86/839.31 c | 1357137 | 160 13600 95200 | 70517 67268 50 | 0.004 % |
841.26/841.70 c | 1360764 | 160 13600 95200 | 70131 61100 49 | 0.004 % |
843.76/844.21 c | 1364753 | 160 13600 95200 | 70131 65089 49 | 0.004 % |
846.76/847.23 c | 1369138 | 160 13600 95200 | 70131 69474 50 | 0.004 % |
849.55/850.09 c | 1373961 | 160 13600 95200 | 60758 56503 49 | 0.004 % |
852.85/853.38 c | 1379267 | 160 13600 95200 | 60758 55726 49 | 0.004 % |
856.55/857.03 c | 1385102 | 160 13600 95200 | 2147483647 61561 49 | 0.004 % |
860.95/861.46 c | 1391520 | 160 13600 95200 | 66460 60983 49 | 0.004 % |
864.94/865.41 c | 1398579 | 160 13600 95200 | 66460 59775 49 | 0.004 % |
868.84/869.38 c | 1406343 | 160 13600 95200 | 61196 60275 49 | 0.004 % |
874.04/874.51 c | 1414885 | 160 13600 95200 | 2147483647 62689 49 | 0.004 % |
879.64/880.15 c | 1424280 | 160 13600 95200 | 67804 64018 49 | 0.004 % |
885.84/886.37 c | 1434613 | 160 13600 95200 | 61391 58576 49 | 0.004 % |
892.94/893.40 c | 1445979 | 160 13600 95200 | 57699 52058 49 | 0.004 % |
900.23/900.77 c | 1458483 | 160 13600 95200 | 2147483647 64562 49 | 0.004 % |
900.33/900.85 c | 1458584 | 160 13600 95200 | 2147483647 64663 49 | 0.004 % |
900.43/900.95 c | 1458695 | 160 13600 95200 | 2147483647 64774 49 | 0.004 % |
900.53/901.05 c | 1458816 | 160 13600 95200 | 2147483647 64895 49 | 0.004 % |
900.63/901.13 c | 1458949 | 160 13600 95200 | 2147483647 65028 49 | 0.004 % |
900.73/901.25 c | 1459095 | 160 13600 95200 | 2147483647 65174 49 | 0.004 % |
900.93/901.41 c | 1459257 | 160 13600 95200 | 2147483647 65336 49 | 0.004 % |
901.03/901.56 c | 1459433 | 160 13600 95200 | 2147483647 65512 49 | 0.004 % |
901.23/901.74 c | 1459626 | 160 13600 95200 | 2147483647 65705 49 | 0.004 % |
901.43/901.93 c | 1459838 | 160 13600 95200 | 2147483647 65917 49 | 0.004 % |
901.63/902.15 c | 1460071 | 160 13600 95200 | 66079 58733 49 | 0.004 % |
901.82/902.37 c | 1460328 | 160 13600 95200 | 66079 58990 49 | 0.004 % |
902.02/902.56 c | 1460610 | 160 13600 95200 | 66079 59272 49 | 0.004 % |
902.22/902.76 c | 1460919 | 160 13600 95200 | 66079 59581 49 | 0.004 % |
902.42/902.96 c | 1461258 | 160 13600 95200 | 66079 59920 49 | 0.004 % |
902.72/903.22 c | 1461632 | 160 13600 95200 | 66079 60294 49 | 0.004 % |
902.92/903.47 c | 1462041 | 160 13600 95200 | 66079 60703 49 | 0.004 % |
903.22/903.79 c | 1462490 | 160 13600 95200 | 66079 61152 49 | 0.004 % |
903.63/904.17 c | 1462984 | 160 13600 95200 | 66079 61646 49 | 0.004 % |
904.02/904.55 c | 1463527 | 160 13600 95200 | 66079 62189 49 | 0.004 % |
904.42/905.00 c | 1464124 | 160 13600 95200 | 66079 62786 49 | 0.004 % |
904.92/905.46 c | 1464780 | 160 13600 95200 | 66079 63442 49 | 0.004 % |
905.42/905.90 c | 1465502 | 160 13600 95200 | 66079 64164 49 | 0.004 % |
905.92/906.46 c | 1466295 | 160 13600 95200 | 66079 64957 49 | 0.004 % |
906.62/907.12 c | 1467167 | 160 13600 95200 | 66079 65829 49 | 0.004 % |
907.32/907.84 c | 1468125 | 160 13600 95200 | 66079 57803 49 | 0.004 % |
908.02/908.55 c | 1469178 | 160 13600 95200 | 66079 58856 49 | 0.004 % |
908.82/909.34 c | 1470336 | 160 13600 95200 | 59679 52106 49 | 0.004 % |
909.52/910.07 c | 1471610 | 160 13600 95200 | 59679 53380 49 | 0.004 % |
910.32/910.82 c | 1473010 | 160 13600 95200 | 59679 54780 49 | 0.004 % |
911.22/911.76 c | 1474551 | 160 13600 95200 | 59679 56321 49 | 0.004 % |
912.32/912.86 c | 1476246 | 160 13600 95200 | 59679 58016 49 | 0.004 % |
913.52/914.01 c | 1478111 | 160 13600 95200 | 59679 53811 49 | 0.004 % |
914.52/915.06 c | 1480161 | 160 13600 95200 | 2147483647 55861 49 | 0.004 % |
915.82/916.31 c | 1482415 | 160 13600 95200 | 2147483647 58115 49 | 0.004 % |
917.22/917.77 c | 1484893 | 160 13600 95200 | 2147483647 60593 49 | 0.004 % |
919.02/919.60 c | 1487619 | 160 13600 95200 | 2147483647 63319 49 | 0.004 % |
921.12/921.70 c | 1490616 | 160 13600 95200 | 65701 58683 49 | 0.004 % |
922.92/923.48 c | 1493914 | 160 13600 95200 | 65701 61981 49 | 0.004 % |
925.02/925.56 c | 1497539 | 160 13600 95200 | 65701 65606 49 | 0.004 % |
927.61/928.19 c | 1501528 | 160 13600 95200 | 60833 55355 49 | 0.004 % |
930.51/931.00 c | 1505913 | 160 13600 95200 | 60833 59740 49 | 0.004 % |
933.61/934.10 c | 1510736 | 160 13600 95200 | 56964 51545 49 | 0.004 % |
936.62/937.17 c | 1516041 | 160 13600 95200 | 56964 56850 49 | 0.004 % |
939.91/940.47 c | 1521877 | 160 13600 95200 | 2147483647 56983 49 | 0.004 % |
943.61/944.18 c | 1528297 | 160 13600 95200 | 2147483647 63403 49 | 0.004 % |
947.71/948.26 c | 1535357 | 160 13600 95200 | 65107 63823 49 | 0.004 % |
951.90/952.44 c | 1543122 | 160 13600 95200 | 61615 58474 49 | 0.004 % |
956.70/957.24 c | 1551665 | 160 13600 95200 | 2147483647 60850 49 | 0.004 % |
963.00/963.52 c | 1561059 | 160 13600 95200 | 69186 61764 49 | 0.004 % |
969.10/969.60 c | 1571392 | 160 13600 95200 | 60907 53830 49 | 0.004 % |
975.30/975.88 c | 1582758 | 160 13600 95200 | 55550 52158 49 | 0.004 % |
981.89/982.44 c | 1595260 | 160 13600 95200 | 2147483647 59097 49 | 0.004 % |
991.08/991.64 c | 1609013 | 160 13600 95200 | 2147483647 72850 49 | 0.004 % |
991.18/991.76 c | 1609113 | 160 13600 95200 | 2147483647 72950 49 | 0.004 % |
991.28/991.86 c | 1609223 | 160 13600 95200 | 2147483647 73060 49 | 0.004 % |
991.38/991.95 c | 1609344 | 160 13600 95200 | 2147483647 73181 49 | 0.004 % |
991.48/992.04 c | 1609477 | 160 13600 95200 | 2147483647 73314 49 | 0.004 % |
991.59/992.17 c | 1609623 | 160 13600 95200 | 2147483647 73460 49 | 0.004 % |
991.78/992.31 c | 1609784 | 160 13600 95200 | 2147483647 73621 49 | 0.004 % |
991.88/992.48 c | 1609961 | 160 13600 95200 | 2147483647 73798 49 | 0.004 % |
992.18/992.73 c | 1610154 | 160 13600 95200 | 73837 63118 49 | 0.004 % |
992.28/992.88 c | 1610366 | 160 13600 95200 | 73837 63330 49 | 0.004 % |
992.48/993.04 c | 1610600 | 160 13600 95200 | 73837 63564 49 | 0.004 % |
992.68/993.21 c | 1610856 | 160 13600 95200 | 73837 63820 49 | 0.004 % |
992.88/993.43 c | 1611137 | 160 13600 95200 | 73837 64101 49 | 0.004 % |
993.08/993.65 c | 1611446 | 160 13600 95200 | 73837 64410 49 | 0.004 % |
993.38/993.92 c | 1611786 | 160 13600 95200 | 73837 64750 49 | 0.004 % |
993.58/994.18 c | 1612158 | 160 13600 95200 | 73837 65122 49 | 0.004 % |
993.88/994.48 c | 1612567 | 160 13600 95200 | 73837 65531 49 | 0.004 % |
994.28/994.85 c | 1613018 | 160 13600 95200 | 73837 65982 49 | 0.004 % |
994.58/995.16 c | 1613511 | 160 13600 95200 | 73837 66475 49 | 0.004 % |
994.98/995.58 c | 1614053 | 160 13600 95200 | 73837 67017 49 | 0.004 % |
995.48/996.01 c | 1614650 | 160 13600 95200 | 73837 67614 49 | 0.004 % |
995.88/996.46 c | 1615306 | 160 13600 95200 | 73837 68270 49 | 0.004 % |
996.38/996.95 c | 1616028 | 160 13600 95200 | 73837 68992 49 | 0.004 % |
996.98/997.54 c | 1616821 | 160 13600 95200 | 73837 69785 49 | 0.004 % |
997.68/998.24 c | 1617693 | 160 13600 95200 | 73837 70657 49 | 0.004 % |
998.38/998.95 c | 1618651 | 160 13600 95200 | 73837 71615 49 | 0.004 % |
999.08/999.66 c | 1619704 | 160 13600 95200 | 73837 72668 49 | 0.004 % |
999.88/1000.50 c | 1620862 | 160 13600 95200 | 72965 61378 49 | 0.004 % |
1000.68/1001.27 c | 1622135 | 160 13600 95200 | 72965 62651 49 | 0.004 % |
1001.58/1002.12 c | 1623536 | 160 13600 95200 | 72965 64052 49 | 0.004 % |
1002.68/1003.29 c | 1625076 | 160 13600 95200 | 72965 65592 49 | 0.004 % |
1003.97/1004.51 c | 1626770 | 160 13600 95200 | 72965 67286 49 | 0.004 % |
1005.17/1005.75 c | 1628634 | 160 13600 95200 | 72965 69150 49 | 0.004 % |
1006.67/1007.28 c | 1630684 | 160 13600 95200 | 70516 60095 49 | 0.004 % |
1008.27/1008.85 c | 1632939 | 160 13600 95200 | 70516 62350 49 | 0.004 % |
1009.97/1010.50 c | 1635417 | 160 13600 95200 | 70516 64828 49 | 0.004 % |
1011.77/1012.38 c | 1638142 | 160 13600 95200 | 70516 67553 49 | 0.004 % |
1013.77/1014.36 c | 1641139 | 160 13600 95200 | 69412 60994 49 | 0.004 % |
1015.67/1016.30 c | 1644435 | 160 13600 95200 | 69412 64290 49 | 0.004 % |
1017.98/1018.60 c | 1648060 | 160 13600 95200 | 69412 67915 49 | 0.004 % |
1020.77/1021.33 c | 1652047 | 160 13600 95200 | 60372 54164 49 | 0.004 % |
1023.37/1023.98 c | 1656432 | 160 13600 95200 | 60372 58549 49 | 0.004 % |
1025.97/1026.57 c | 1661255 | 160 13600 95200 | 55003 50071 49 | 0.004 % |
1028.97/1029.53 c | 1666562 | 160 13600 95200 | 55003 49871 49 | 0.004 % |
1032.17/1032.80 c | 1672397 | 160 13600 95200 | 2147483647 55706 49 | 0.004 % |
1036.16/1036.72 c | 1678815 | 160 13600 95200 | 2147483647 62124 49 | 0.004 % |
1040.46/1041.05 c | 1685876 | 160 13600 95200 | 2147483647 69185 49 | 0.004 % |
1046.16/1046.70 c | 1693641 | 160 13600 95200 | 73309 66927 49 | 0.004 % |
1052.16/1052.71 c | 1702182 | 160 13600 95200 | 73288 64290 49 | 0.004 % |
1058.96/1059.54 c | 1711576 | 160 13600 95200 | 72111 62681 49 | 0.004 % |
1065.85/1066.42 c | 1721909 | 160 13600 95200 | 71106 61218 49 | 0.004 % |
1073.25/1073.82 c | 1733278 | 160 13600 95200 | 69309 62635 49 | 0.004 % |
1081.14/1081.70 c | 1745780 | 160 13600 95200 | 69359 65503 49 | 0.004 % |
1090.52/1091.14 c | 1759534 | 160 13600 95200 | 60535 54911 49 | 0.004 % |
1097.82/1098.43 c | 1774662 | 160 13600 95200 | 2147483647 58157 50 | 0.004 % |
1097.82/1098.50 c | 1774763 | 160 13600 95200 | 2147483647 58258 50 | 0.004 % |
1097.92/1098.56 c | 1774874 | 160 13600 95200 | 2147483647 58369 50 | 0.004 % |
1098.02/1098.65 c | 1774996 | 160 13600 95200 | 2147483647 58491 50 | 0.004 % |
1098.12/1098.75 c | 1775129 | 160 13600 95200 | 2147483647 58624 50 | 0.004 % |
1098.22/1098.87 c | 1775275 | 160 13600 95200 | 2147483647 58770 50 | 0.004 % |
1098.32/1098.98 c | 1775438 | 160 13600 95200 | 2147483647 58933 50 | 0.004 % |
1098.42/1099.09 c | 1775614 | 160 13600 95200 | 2147483647 59109 50 | 0.004 % |
1098.62/1099.21 c | 1775807 | 160 13600 95200 | 2147483647 59302 50 | 0.004 % |
1098.71/1099.34 c | 1776019 | 160 13600 95200 | 2147483647 59514 50 | 0.004 % |
1098.91/1099.56 c | 1776252 | 160 13600 95200 | 2147483647 59747 50 | 0.004 % |
1099.11/1099.75 c | 1776509 | 160 13600 95200 | 2147483647 60004 50 | 0.004 % |
1099.32/1099.99 c | 1776792 | 160 13600 95200 | 2147483647 60287 50 | 0.004 % |
1099.51/1100.19 c | 1777101 | 160 13600 95200 | 2147483647 60596 50 | 0.004 % |
1099.81/1100.42 c | 1777445 | 160 13600 95200 | 2147483647 60940 50 | 0.004 % |
1100.01/1100.68 c | 1777818 | 160 13600 95200 | 2147483647 61313 50 | 0.004 % |
1100.31/1100.90 c | 1778229 | 160 13600 95200 | 2147483647 61724 50 | 0.004 % |
1100.52/1101.17 c | 1778678 | 160 13600 95200 | 2147483647 62173 50 | 0.004 % |
1100.81/1101.46 c | 1779172 | 160 13600 95200 | 2147483647 62667 50 | 0.004 % |
1101.11/1101.77 c | 1779715 | 160 13600 95200 | 2147483647 63210 50 | 0.004 % |
1101.62/1102.23 c | 1780312 | 160 13600 95200 | 63495 57040 50 | 0.004 % |
1102.01/1102.65 c | 1780967 | 160 13600 95200 | 63495 57695 50 | 0.004 % |
1102.51/1103.12 c | 1781687 | 160 13600 95200 | 63495 58415 50 | 0.004 % |
1102.91/1103.59 c | 1782481 | 160 13600 95200 | 63495 59209 50 | 0.004 % |
1103.51/1104.11 c | 1783354 | 160 13600 95200 | 63495 60082 50 | 0.004 % |
1104.11/1104.76 c | 1784313 | 160 13600 95200 | 63495 61041 50 | 0.004 % |
1104.82/1105.40 c | 1785366 | 160 13600 95200 | 63495 62094 50 | 0.004 % |
1105.51/1106.12 c | 1786524 | 160 13600 95200 | 63495 63252 50 | 0.004 % |
1106.41/1107.08 c | 1787798 | 160 13600 95200 | 63495 57020 50 | 0.004 % |
1107.21/1107.88 c | 1789200 | 160 13600 95200 | 63495 58422 50 | 0.004 % |
1108.21/1108.86 c | 1790741 | 160 13600 95200 | 59222 53036 50 | 0.004 % |
1109.21/1109.84 c | 1792435 | 160 13600 95200 | 59222 54730 50 | 0.004 % |
1110.22/1110.84 c | 1794299 | 160 13600 95200 | 59222 56594 50 | 0.004 % |
1111.42/1112.02 c | 1796349 | 160 13600 95200 | 59222 58644 50 | 0.004 % |
1112.62/1113.26 c | 1798603 | 160 13600 95200 | 59222 54969 49 | 0.004 % |
1114.01/1114.61 c | 1801083 | 160 13600 95200 | 2147483647 57449 49 | 0.004 % |
1115.82/1116.47 c | 1803809 | 160 13600 95200 | 2147483647 60175 50 | 0.004 % |
1117.81/1118.45 c | 1806806 | 160 13600 95200 | 2147483647 63172 50 | 0.004 % |
1120.11/1120.77 c | 1810102 | 160 13600 95200 | 66367 58320 50 | 0.004 % |
1122.31/1122.91 c | 1813729 | 160 13600 95200 | 66367 61947 50 | 0.004 % |
1124.80/1125.46 c | 1817716 | 160 13600 95200 | 66367 65934 49 | 0.004 % |
1127.40/1128.07 c | 1822102 | 160 13600 95200 | 60281 55404 49 | 0.004 % |
1130.30/1130.98 c | 1826925 | 160 13600 95200 | 60281 60227 49 | 0.004 % |
1133.30/1133.96 c | 1832230 | 160 13600 95200 | 2147483647 59497 49 | 0.004 % |
1136.71/1137.30 c | 1838065 | 160 13600 95200 | 2147483647 65332 49 | 0.004 % |
1140.70/1141.38 c | 1844483 | 160 13600 95200 | 67270 64241 49 | 0.004 % |
1144.80/1145.47 c | 1851543 | 160 13600 95200 | 60840 54766 49 | 0.004 % |
1149.10/1149.74 c | 1859307 | 160 13600 95200 | 60840 56439 49 | 0.004 % |
1154.10/1154.70 c | 1867847 | 160 13600 95200 | 2147483647 64979 49 | 0.004 % |
1160.09/1160.70 c | 1877243 | 160 13600 95200 | 67134 66970 49 | 0.004 % |
1166.09/1166.71 c | 1887576 | 160 13600 95200 | 61302 55359 50 | 0.004 % |
1172.38/1173.08 c | 1898942 | 160 13600 95200 | 57784 55019 50 | 0.004 % |
1180.48/1181.13 c | 1911444 | 160 13600 95200 | 66079 59351 50 | 0.004 % |
1188.68/1189.32 c | 1925196 | 160 13600 95200 | 59689 57587 50 | 0.004 % |
1198.68/1199.38 c | 1940323 | 160 13600 95200 | 66415 58377 50 | 0.004 % |
1200.08/1200.71 HOME/SatELiteGTI: line 36: 5561 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-1832605-1242785057/watcher-1832605-1242785057 -o /tmp/evaluation-result-1832605-1242785057/solver-1832605-1242785057 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832605-1242785057.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.93 1.00 0.99 3/65 5555
/proc/meminfo: memFree=1846512/2055920 swapFree=4178972/4192956
[pid=5555] ppid=5553 vsize=5356 CPUtime=0
/proc/5555/stat : 5555 (SatELiteGTI) R 5553 5555 4990 0 -1 4194304 292 249 0 0 0 0 0 0 18 0 1 0 306539404 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 228706544287 0 65538 4100 65536 0 0 0 17 0 0 0
/proc/5555/statm: 1339 237 197 169 0 50 0
[pid=5559] ppid=5555 vsize=872 CPUtime=0
/proc/5559/stat : 5559 (SatELite_releas) R 5555 5555 4990 0 -1 4194304 85 0 0 0 0 0 0 0 18 0 1 0 306539405 892928 71 1992294400 134512640 135223648 4294956128 18446744073709551615 134737310 0 0 4096 3 0 0 0 17 0 0 0
/proc/5559/statm: 218 72 49 173 0 43 0
[startup+0.0776999 s]
/proc/loadavg: 0.93 1.00 0.99 3/65 5555
/proc/meminfo: memFree=1846512/2055920 swapFree=4178972/4192956
[pid=5555] ppid=5553 vsize=5356 CPUtime=0.04
/proc/5555/stat : 5555 (SatELiteGTI) S 5553 5555 4990 0 -1 4194304 336 668 0 0 0 0 4 0 17 0 1 0 306539404 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5555/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 5356
[startup+0.102702 s]
/proc/loadavg: 0.93 1.00 0.99 3/65 5555
/proc/meminfo: memFree=1846512/2055920 swapFree=4178972/4192956
[pid=5555] ppid=5553 vsize=5356 CPUtime=0.04
/proc/5555/stat : 5555 (SatELiteGTI) S 5553 5555 4990 0 -1 4194304 336 668 0 0 0 0 4 0 17 0 1 0 306539404 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5555/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 5356
[startup+0.302721 s]
/proc/loadavg: 0.93 1.00 0.99 3/65 5555
/proc/meminfo: memFree=1846512/2055920 swapFree=4178972/4192956
[pid=5555] ppid=5553 vsize=5356 CPUtime=0.04
/proc/5555/stat : 5555 (SatELiteGTI) S 5553 5555 4990 0 -1 4194304 336 668 0 0 0 0 4 0 17 0 1 0 306539404 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5555/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 5356
[startup+0.701761 s]
/proc/loadavg: 0.93 1.00 0.99 3/65 5555
/proc/meminfo: memFree=1846512/2055920 swapFree=4178972/4192956
[pid=5555] ppid=5553 vsize=5356 CPUtime=0.04
/proc/5555/stat : 5555 (SatELiteGTI) S 5553 5555 4990 0 -1 4194304 336 668 0 0 0 0 4 0 17 0 1 0 306539404 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5555/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 5356
[startup+1.50184 s]
/proc/loadavg: 0.93 1.00 0.99 2/67 5561
/proc/meminfo: memFree=1843360/2055920 swapFree=4178972/4192956
[pid=5555] ppid=5553 vsize=5356 CPUtime=0.04
/proc/5555/stat : 5555 (SatELiteGTI) S 5553 5555 4990 0 -1 4194304 336 668 0 0 0 0 4 0 17 0 1 0 306539404 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5555/statm: 1339 239 197 169 0 50 0
[pid=5561] ppid=5555 vsize=4832 CPUtime=1.43
/proc/5561/stat : 5561 (minisat_static) R 5555 5555 4990 0 -1 4194304 948 0 0 0 143 0 0 0 25 0 1 0 306539410 4947968 934 1992294400 134512640 135215339 4294956256 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/5561/statm: 1208 934 76 171 0 1035 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 10188
[startup+3.10198 s]
/proc/loadavg: 0.93 1.00 0.99 2/67 5561
/proc/meminfo: memFree=1841312/2055920 swapFree=4178972/4192956
[pid=5555] ppid=5553 vsize=5356 CPUtime=0.04
/proc/5555/stat : 5555 (SatELiteGTI) S 5553 5555 4990 0 -1 4194304 336 668 0 0 0 0 4 0 17 0 1 0 306539404 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5555/statm: 1339 239 197 169 0 50 0
[pid=5561] ppid=5555 vsize=6956 CPUtime=3.03
/proc/5561/stat : 5561 (minisat_static) R 5555 5555 4990 0 -1 4194304 1480 0 0 0 302 1 0 0 25 0 1 0 306539410 7122944 1466 1992294400 134512640 135215339 4294956256 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 0 0 0
/proc/5561/statm: 1739 1466 76 171 0 1566 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 12312
[startup+6.30128 s]
/proc/loadavg: 0.94 1.00 0.99 2/67 5561
/proc/meminfo: memFree=1838048/2055920 swapFree=4178972/4192956
[pid=5555] ppid=5553 vsize=5356 CPUtime=0.04
/proc/5555/stat : 5555 (SatELiteGTI) S 5553 5555 4990 0 -1 4194304 336 668 0 0 0 0 4 0 17 0 1 0 306539404 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5555/statm: 1339 239 197 169 0 50 0
[pid=5561] ppid=5555 vsize=9628 CPUtime=6.22
/proc/5561/stat : 5561 (minisat_static) R 5555 5555 4990 0 -1 4194304 2121 0 0 0 621 1 0 0 25 0 1 0 306539410 9859072 2107 1992294400 134512640 135215339 4294956256 18446744073709551615 134528809 0 0 4096 3 0 0 0 17 0 0 0
/proc/5561/statm: 2407 2107 76 171 0 2234 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 14984
[startup+12.7019 s]
/proc/loadavg: 0.94 1.00 0.99 2/67 5561
/proc/meminfo: memFree=1834272/2055920 swapFree=4178972/4192956
[pid=5555] ppid=5553 vsize=5356 CPUtime=0.04
/proc/5555/stat : 5555 (SatELiteGTI) S 5553 5555 4990 0 -1 4194304 336 668 0 0 0 0 4 0 17 0 1 0 306539404 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5555/statm: 1339 239 197 169 0 50 0
[pid=5561] ppid=5555 vsize=13016 CPUtime=12.62
/proc/5561/stat : 5561 (minisat_static) R 5555 5555 4990 0 -1 4194304 2978 0 0 0 1260 2 0 0 25 0 1 0 306539410 13328384 2964 1992294400 134512640 135215339 4294956256 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/5561/statm: 3254 2964 76 171 0 3081 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 18372
[startup+25.5021 s]
/proc/loadavg: 0.96 1.00 0.99 2/67 5561
/proc/meminfo: memFree=1829344/2055920 swapFree=4178972/4192956
[pid=5555] ppid=5553 vsize=5356 CPUtime=0.04
/proc/5555/stat : 5555 (SatELiteGTI) S 5553 5555 4990 0 -1 4194304 336 668 0 0 0 0 4 0 17 0 1 0 306539404 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5555/statm: 1339 239 197 169 0 50 0
[pid=5561] ppid=5555 vsize=17892 CPUtime=25.42
/proc/5561/stat : 5561 (minisat_static) R 5555 5555 4990 0 -1 4194304 4169 0 0 0 2538 4 0 0 25 0 1 0 306539410 18321408 4155 1992294400 134512640 135215339 4294956256 18446744073709551615 134534500 0 0 4096 3 0 0 0 17 0 0 0
/proc/5561/statm: 4473 4155 76 171 0 4300 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 23248
[startup+51.1025 s]
/proc/loadavg: 0.97 1.00 0.99 2/67 5561
/proc/meminfo: memFree=1829152/2055920 swapFree=4178972/4192956
[pid=5555] ppid=5553 vsize=5356 CPUtime=0.04
/proc/5555/stat : 5555 (SatELiteGTI) S 5553 5555 4990 0 -1 4194304 336 668 0 0 0 0 4 0 17 0 1 0 306539404 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5555/statm: 1339 239 197 169 0 50 0
[pid=5561] ppid=5555 vsize=17892 CPUtime=51.01
/proc/5561/stat : 5561 (minisat_static) R 5555 5555 4990 0 -1 4194304 4193 0 0 0 5097 4 0 0 25 0 1 0 306539410 18321408 4179 1992294400 134512640 135215339 4294956256 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/5561/statm: 4473 4179 76 171 0 4300 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 23248
[startup+102.305 s]
/proc/loadavg: 0.98 1.00 0.99 2/67 5561
/proc/meminfo: memFree=1828704/2055920 swapFree=4178972/4192956
[pid=5555] ppid=5553 vsize=5356 CPUtime=0.04
/proc/5555/stat : 5555 (SatELiteGTI) S 5553 5555 4990 0 -1 4194304 336 668 0 0 0 0 4 0 17 0 1 0 306539404 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5555/statm: 1339 239 197 169 0 50 0
[pid=5561] ppid=5555 vsize=18156 CPUtime=102.19
/proc/5561/stat : 5561 (minisat_static) R 5555 5555 4990 0 -1 4194304 4259 0 0 0 10215 4 0 0 25 0 1 0 306539410 18591744 4245 1992294400 134512640 135215339 4294956256 18446744073709551615 134528809 0 0 4096 3 0 0 0 17 0 0 0
/proc/5561/statm: 4539 4245 76 171 0 4366 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 23512
[startup+162.303 s]
/proc/loadavg: 0.99 1.00 0.99 2/67 5561
/proc/meminfo: memFree=1826272/2055920 swapFree=4178972/4192956
[pid=5555] ppid=5553 vsize=5356 CPUtime=0.04
/proc/5555/stat : 5555 (SatELiteGTI) S 5553 5555 4990 0 -1 4194304 336 668 0 0 0 0 4 0 17 0 1 0 306539404 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5555/statm: 1339 239 197 169 0 50 0
[pid=5561] ppid=5555 vsize=20408 CPUtime=162.15
/proc/5561/stat : 5561 (minisat_static) R 5555 5555 4990 0 -1 4194304 4826 0 0 0 16211 4 0 0 25 0 1 0 306539410 20897792 4812 1992294400 134512640 135215339 4294956256 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 0 0 0
/proc/5561/statm: 5102 4812 76 171 0 4929 0
Current children cumulated CPU time (s) 162.19
Current children cumulated vsize (KiB) 25764
[startup+222.303 s]
/proc/loadavg: 0.99 1.00 0.99 2/67 5561
/proc/meminfo: memFree=1826216/2055920 swapFree=4178972/4192956
[pid=5555] ppid=5553 vsize=5356 CPUtime=0.04
/proc/5555/stat : 5555 (SatELiteGTI) S 5553 5555 4990 0 -1 4194304 336 668 0 0 0 0 4 0 17 0 1 0 306539404 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5555/statm: 1339 239 197 169 0 50 0
[pid=5561] ppid=5555 vsize=20408 CPUtime=222.11
/proc/5561/stat : 5561 (minisat_static) R 5555 5555 4990 0 -1 4194304 4826 0 0 0 22207 4 0 0 25 0 1 0 306539410 20897792 4812 1992294400 134512640 135215339 4294956256 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/5561/statm: 5102 4812 76 171 0 4929 0
Current children cumulated CPU time (s) 222.15
Current children cumulated vsize (KiB) 25764
[startup+282.302 s]
/proc/loadavg: 0.99 1.00 0.99 2/67 5561
/proc/meminfo: memFree=1825448/2055920 swapFree=4178972/4192956
[pid=5555] ppid=5553 vsize=5356 CPUtime=0.04
/proc/5555/stat : 5555 (SatELiteGTI) S 5553 5555 4990 0 -1 4194304 336 668 0 0 0 0 4 0 17 0 1 0 306539404 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5555/statm: 1339 239 197 169 0 50 0
[pid=5561] ppid=5555 vsize=21212 CPUtime=282.08
/proc/5561/stat : 5561 (minisat_static) R 5555 5555 4990 0 -1 4194304 5017 0 0 0 28203 5 0 0 25 0 1 0 306539410 21721088 5003 1992294400 134512640 135215339 4294956256 18446744073709551615 134528872 0 0 4096 3 0 0 0 17 0 0 0
/proc/5561/statm: 5303 5003 76 171 0 5130 0
Current children cumulated CPU time (s) 282.12
Current children cumulated vsize (KiB) 26568
[startup+342.303 s]
/proc/loadavg: 0.99 1.00 0.99 2/67 5561
/proc/meminfo: memFree=1825064/2055920 swapFree=4178972/4192956
[pid=5555] ppid=5553 vsize=5356 CPUtime=0.04
/proc/5555/stat : 5555 (SatELiteGTI) S 5553 5555 4990 0 -1 4194304 336 668 0 0 0 0 4 0 17 0 1 0 306539404 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5555/statm: 1339 239 197 169 0 50 0
[pid=5561] ppid=5555 vsize=21488 CPUtime=342.06
/proc/5561/stat : 5561 (minisat_static) R 5555 5555 4990 0 -1 4194304 5081 0 0 0 34201 5 0 0 25 0 1 0 306539410 22003712 5067 1992294400 134512640 135215339 4294956256 18446744073709551615 134528708 0 0 4096 3 0 0 0 17 0 0 0
/proc/5561/statm: 5372 5067 76 171 0 5199 0
Current children cumulated CPU time (s) 342.1
Current children cumulated vsize (KiB) 26844
[startup+402.303 s]
/proc/loadavg: 0.99 1.00 0.99 2/67 5561
/proc/meminfo: memFree=1825000/2055920 swapFree=4178972/4192956
[pid=5555] ppid=5553 vsize=5356 CPUtime=0.04
/proc/5555/stat : 5555 (SatELiteGTI) S 5553 5555 4990 0 -1 4194304 336 668 0 0 0 0 4 0 17 0 1 0 306539404 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5555/statm: 1339 239 197 169 0 50 0
[pid=5561] ppid=5555 vsize=21488 CPUtime=402.03
/proc/5561/stat : 5561 (minisat_static) R 5555 5555 4990 0 -1 4194304 5081 0 0 0 40198 5 0 0 25 0 1 0 306539410 22003712 5067 1992294400 134512640 135215339 4294956256 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/5561/statm: 5372 5067 76 171 0 5199 0
Current children cumulated CPU time (s) 402.07
################
# More data... #
################
[pid=5561] ppid=5555 vsize=22424 CPUtime=521.98
/proc/5561/stat : 5561 (minisat_static) R 5555 5555 4990 0 -1 4194304 5309 0 0 0 52192 6 0 0 25 0 1 0 306539410 22962176 5295 1992294400 134512640 135215339 4294956256 18446744073709551615 134528673 0 0 4096 3 0 0 0 17 0 0 0
/proc/5561/statm: 5606 5295 76 171 0 5433 0
Current children cumulated CPU time (s) 522.02
Current children cumulated vsize (KiB) 27780
[startup+582.303 s]
/proc/loadavg: 0.99 1.00 0.99 2/67 5561
/proc/meminfo: memFree=1823720/2055920 swapFree=4178972/4192956
[pid=5555] ppid=5553 vsize=5356 CPUtime=0.04
/proc/5555/stat : 5555 (SatELiteGTI) S 5553 5555 4990 0 -1 4194304 336 668 0 0 0 0 4 0 17 0 1 0 306539404 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5555/statm: 1339 239 197 169 0 50 0
[pid=5561] ppid=5555 vsize=22424 CPUtime=581.95
/proc/5561/stat : 5561 (minisat_static) R 5555 5555 4990 0 -1 4194304 5314 0 0 0 58189 6 0 0 25 0 1 0 306539410 22962176 5300 1992294400 134512640 135215339 4294956256 18446744073709551615 134538050 0 0 4096 3 0 0 0 17 0 0 0
/proc/5561/statm: 5606 5300 76 171 0 5433 0
Current children cumulated CPU time (s) 581.99
Current children cumulated vsize (KiB) 27780
[startup+642.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/67 5561
/proc/meminfo: memFree=1823592/2055920 swapFree=4178972/4192956
[pid=5555] ppid=5553 vsize=5356 CPUtime=0.04
/proc/5555/stat : 5555 (SatELiteGTI) S 5553 5555 4990 0 -1 4194304 336 668 0 0 0 0 4 0 17 0 1 0 306539404 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5555/statm: 1339 239 197 169 0 50 0
[pid=5561] ppid=5555 vsize=22424 CPUtime=641.91
/proc/5561/stat : 5561 (minisat_static) R 5555 5555 4990 0 -1 4194304 5314 0 0 0 64185 6 0 0 25 0 1 0 306539410 22962176 5300 1992294400 134512640 135215339 4294956256 18446744073709551615 134528728 0 0 4096 3 0 0 0 17 0 0 0
/proc/5561/statm: 5606 5300 76 171 0 5433 0
Current children cumulated CPU time (s) 641.95
Current children cumulated vsize (KiB) 27780
[startup+702.302 s]
/proc/loadavg: 0.99 1.00 0.99 2/67 5561
/proc/meminfo: memFree=1823464/2055920 swapFree=4178972/4192956
[pid=5555] ppid=5553 vsize=5356 CPUtime=0.04
/proc/5555/stat : 5555 (SatELiteGTI) S 5553 5555 4990 0 -1 4194304 336 668 0 0 0 0 4 0 17 0 1 0 306539404 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5555/statm: 1339 239 197 169 0 50 0
[pid=5561] ppid=5555 vsize=22424 CPUtime=701.88
/proc/5561/stat : 5561 (minisat_static) R 5555 5555 4990 0 -1 4194304 5314 0 0 0 70182 6 0 0 25 0 1 0 306539410 22962176 5300 1992294400 134512640 135215339 4294956256 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/5561/statm: 5606 5300 76 171 0 5433 0
Current children cumulated CPU time (s) 701.92
Current children cumulated vsize (KiB) 27780
[startup+762.305 s]
/proc/loadavg: 0.99 1.00 0.99 2/67 5561
/proc/meminfo: memFree=1823400/2055920 swapFree=4178972/4192956
[pid=5555] ppid=5553 vsize=5356 CPUtime=0.04
/proc/5555/stat : 5555 (SatELiteGTI) S 5553 5555 4990 0 -1 4194304 336 668 0 0 0 0 4 0 17 0 1 0 306539404 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5555/statm: 1339 239 197 169 0 50 0
[pid=5561] ppid=5555 vsize=22424 CPUtime=761.86
/proc/5561/stat : 5561 (minisat_static) R 5555 5555 4990 0 -1 4194304 5314 0 0 0 76179 7 0 0 25 0 1 0 306539410 22962176 5300 1992294400 134512640 135215339 4294956256 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/5561/statm: 5606 5300 76 171 0 5433 0
Current children cumulated CPU time (s) 761.9
Current children cumulated vsize (KiB) 27780
[startup+822.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/67 5561
/proc/meminfo: memFree=1822632/2055920 swapFree=4178972/4192956
[pid=5555] ppid=5553 vsize=5356 CPUtime=0.04
/proc/5555/stat : 5555 (SatELiteGTI) S 5553 5555 4990 0 -1 4194304 336 668 0 0 0 0 4 0 17 0 1 0 306539404 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5555/statm: 1339 239 197 169 0 50 0
[pid=5561] ppid=5555 vsize=23084 CPUtime=821.83
/proc/5561/stat : 5561 (minisat_static) R 5555 5555 4990 0 -1 4194304 5484 0 0 0 82176 7 0 0 25 0 1 0 306539410 23638016 5470 1992294400 134512640 135215339 4294956256 18446744073709551615 134528852 0 0 4096 3 0 0 0 17 0 0 0
/proc/5561/statm: 5771 5470 76 171 0 5598 0
Current children cumulated CPU time (s) 821.87
Current children cumulated vsize (KiB) 28440
[startup+882.302 s]
/proc/loadavg: 0.99 1.00 0.99 2/67 5561
/proc/meminfo: memFree=1822568/2055920 swapFree=4178972/4192956
[pid=5555] ppid=5553 vsize=5356 CPUtime=0.04
/proc/5555/stat : 5555 (SatELiteGTI) S 5553 5555 4990 0 -1 4194304 336 668 0 0 0 0 4 0 17 0 1 0 306539404 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5555/statm: 1339 239 197 169 0 50 0
[pid=5561] ppid=5555 vsize=23084 CPUtime=881.8
/proc/5561/stat : 5561 (minisat_static) R 5555 5555 4990 0 -1 4194304 5489 0 0 0 88173 7 0 0 25 0 1 0 306539410 23638016 5475 1992294400 134512640 135215339 4294956256 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/5561/statm: 5771 5475 76 171 0 5598 0
Current children cumulated CPU time (s) 881.84
Current children cumulated vsize (KiB) 28440
[startup+942.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/67 5561
/proc/meminfo: memFree=1822440/2055920 swapFree=4178972/4192956
[pid=5555] ppid=5553 vsize=5356 CPUtime=0.04
/proc/5555/stat : 5555 (SatELiteGTI) S 5553 5555 4990 0 -1 4194304 336 668 0 0 0 0 4 0 17 0 1 0 306539404 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5555/statm: 1339 239 197 169 0 50 0
[pid=5561] ppid=5555 vsize=23084 CPUtime=941.77
/proc/5561/stat : 5561 (minisat_static) R 5555 5555 4990 0 -1 4194304 5489 0 0 0 94170 7 0 0 25 0 1 0 306539410 23638016 5475 1992294400 134512640 135215339 4294956256 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/5561/statm: 5771 5475 76 171 0 5598 0
Current children cumulated CPU time (s) 941.81
Current children cumulated vsize (KiB) 28440
[startup+1002.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/67 5561
/proc/meminfo: memFree=1822312/2055920 swapFree=4178972/4192956
[pid=5555] ppid=5553 vsize=5356 CPUtime=0.04
/proc/5555/stat : 5555 (SatELiteGTI) S 5553 5555 4990 0 -1 4194304 336 668 0 0 0 0 4 0 17 0 1 0 306539404 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5555/statm: 1339 239 197 169 0 50 0
[pid=5561] ppid=5555 vsize=23084 CPUtime=1001.73
/proc/5561/stat : 5561 (minisat_static) R 5555 5555 4990 0 -1 4194304 5490 0 0 0 100166 7 0 0 25 0 1 0 306539410 23638016 5476 1992294400 134512640 135215339 4294956256 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/5561/statm: 5771 5476 76 171 0 5598 0
Current children cumulated CPU time (s) 1001.77
Current children cumulated vsize (KiB) 28440
[startup+1062.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/67 5561
/proc/meminfo: memFree=1822248/2055920 swapFree=4178972/4192956
[pid=5555] ppid=5553 vsize=5356 CPUtime=0.04
/proc/5555/stat : 5555 (SatELiteGTI) S 5553 5555 4990 0 -1 4194304 336 668 0 0 0 0 4 0 17 0 1 0 306539404 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5555/statm: 1339 239 197 169 0 50 0
[pid=5561] ppid=5555 vsize=23084 CPUtime=1061.72
/proc/5561/stat : 5561 (minisat_static) R 5555 5555 4990 0 -1 4194304 5490 0 0 0 106165 7 0 0 25 0 1 0 306539410 23638016 5476 1992294400 134512640 135215339 4294956256 18446744073709551615 134529088 0 0 4096 3 0 0 0 17 0 0 0
/proc/5561/statm: 5771 5476 76 171 0 5598 0
Current children cumulated CPU time (s) 1061.76
Current children cumulated vsize (KiB) 28440
[startup+1122.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/67 5561
/proc/meminfo: memFree=1822184/2055920 swapFree=4178972/4192956
[pid=5555] ppid=5553 vsize=5356 CPUtime=0.04
/proc/5555/stat : 5555 (SatELiteGTI) S 5553 5555 4990 0 -1 4194304 336 668 0 0 0 0 4 0 17 0 1 0 306539404 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5555/statm: 1339 239 197 169 0 50 0
[pid=5561] ppid=5555 vsize=23084 CPUtime=1121.67
/proc/5561/stat : 5561 (minisat_static) R 5555 5555 4990 0 -1 4194304 5490 0 0 0 112159 8 0 0 25 0 1 0 306539410 23638016 5476 1992294400 134512640 135215339 4294956256 18446744073709551615 134528852 0 0 4096 3 0 0 0 17 0 0 0
/proc/5561/statm: 5771 5476 76 171 0 5598 0
Current children cumulated CPU time (s) 1121.71
Current children cumulated vsize (KiB) 28440
[startup+1182.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/67 5561
/proc/meminfo: memFree=1821992/2055920 swapFree=4178972/4192956
[pid=5555] ppid=5553 vsize=5356 CPUtime=0.04
/proc/5555/stat : 5555 (SatELiteGTI) S 5553 5555 4990 0 -1 4194304 336 668 0 0 0 0 4 0 17 0 1 0 306539404 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5555/statm: 1339 239 197 169 0 50 0
[pid=5561] ppid=5555 vsize=23084 CPUtime=1181.64
/proc/5561/stat : 5561 (minisat_static) R 5555 5555 4990 0 -1 4194304 5490 0 0 0 118156 8 0 0 25 0 1 0 306539410 23638016 5476 1992294400 134512640 135215339 4294956256 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/5561/statm: 5771 5476 76 171 0 5598 0
Current children cumulated CPU time (s) 1181.68
Current children cumulated vsize (KiB) 28440
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.7 s]
/proc/loadavg: 0.99 1.00 0.99 2/67 5561
/proc/meminfo: memFree=1821992/2055920 swapFree=4178972/4192956
[pid=5555] ppid=5553 vsize=5356 CPUtime=0.04
/proc/5555/stat : 5555 (SatELiteGTI) S 5553 5555 4990 0 -1 4194304 336 668 0 0 0 0 4 0 17 0 1 0 306539404 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5555/statm: 1339 239 197 169 0 50 0
[pid=5561] ppid=5555 vsize=23084 CPUtime=1200.04
/proc/5561/stat : 5561 (minisat_static) R 5555 5555 4990 0 -1 4194304 5490 0 0 0 119996 8 0 0 25 0 1 0 306539410 23638016 5476 1992294400 134512640 135215339 4294956256 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/5561/statm: 5771 5476 76 171 0 5598 0
Current children cumulated CPU time (s) 1200.08
Current children cumulated vsize (KiB) 28440
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1200.7 s]
/proc/loadavg: 0.99 1.00 0.99 2/67 5561
/proc/meminfo: memFree=1821992/2055920 swapFree=4178972/4192956
[pid=5555] ppid=5553 vsize=5356 CPUtime=0.04
/proc/5555/stat : 5555 (SatELiteGTI) S 5553 5555 4990 0 -1 4194304 336 668 0 0 0 0 4 0 17 0 1 0 306539404 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5555/statm: 1339 239 197 169 0 50 0
[pid=5561] ppid=5555 vsize=23084 CPUtime=1200.04
/proc/5561/stat : 5561 (minisat_static) R 5555 5555 4990 0 -1 4194304 5490 0 0 0 119996 8 0 0 25 0 1 0 306539410 23638016 5476 1992294400 134512640 135215339 4294956256 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/5561/statm: 5771 5476 76 171 0 5598 0
Current children cumulated CPU time (s) 1200.08
Current children cumulated vsize (KiB) 28440
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.71
CPU time (s): 1200.11
CPU user time (s): 1200.01
CPU system time (s): 0.099984
CPU usage (%): 99.9495
Max. virtual memory (cumulated for all children) (KiB): 28440
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1200.01
system time used= 0.099984
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6503
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= 5620
runsolver used 1.14383 second user time and 3.34449 second system time
The end
Begin job on node8 at 2009-05-20 04:04:17
IDJOB=1832605
IDBENCH=70266
IDSOLVER=671
FILE ID=node8/1832605-1242785057
PBS_JOBID= 9322351
Free space on /tmp= 66244 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/RANDOM/LARGE/7SAT/UNKNOWN/160/unif-k7-r85-v160-c13600-S1178729443-051.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832605-1242785057/watcher-1832605-1242785057 -o /tmp/evaluation-result-1832605-1242785057/solver-1832605-1242785057 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832605-1242785057.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= f5bbeff2cbd29506603dd9467e477360
RANDOM SEED=561425448
node8.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.238
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.238
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 : 5996.54
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1847056 kB
Buffers: 23948 kB
Cached: 138504 kB
SwapCached: 7548 kB
Active: 34164 kB
Inactive: 137484 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1847056 kB
SwapTotal: 4192956 kB
SwapFree: 4178972 kB
Dirty: 1960 kB
Writeback: 0 kB
Mapped: 14292 kB
Slab: 23092 kB
Committed_AS: 1099244 kB
PageTables: 1376 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264960 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66244 MiB
End job on node8 at 2009-05-20 04:24:20