| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| glucose 2 | ? (TO) | 5000.1 | 5000.03 |
| Name | SAT05/crafted/sorge05/QG7a/ gensys-ukn004.shuffled-as.sat05-3844.cnf |
| MD5SUM | 7d96ba103689bec761c9e7df7b158323 |
| Bench Category | CRAFTED (crafted instances) |
| Best result obtained on this benchmark | UNSAT |
| Best CPU time to get the best result obtained on this benchmark | 1407.09 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 2731 |
| Number of clauses | 17983 |
| Sum of the clauses size | 126997 |
| Maximum clause length | 13 |
| Minimum clause length | 1 |
| Number of clauses of size 1 | 42 |
| Number of clauses of size 2 | 442 |
| Number of clauses of size 3 | 2370 |
| Number of clauses of size 4 | 477 |
| Number of clauses of size 5 | 642 |
| Number of clauses of size over 5 | 14010 |
0.00/0.00 c 0.00/0.00 c Starting SatElite Preprocessing 0.00/0.00 c 0.00/0.00 c Parsing... 0.00/0.01 c ============================================================================== 0.00/0.01 c | | ORIGINAL | LEARNT | | 0.00/0.01 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress | 0.00/0.01 c ============================================================================== 0.00/0.01 c | 0 | 17637 125175 | 5291 0 0 nan | 0.000 % | 0.00/0.04 c | 0 | 16118 115684 | -- 0 -- -- | -- | -365/-4257 0.00/0.04 c ============================================================================== 0.00/0.04 c Result : #vars: 2646 #clauses: 16118 #literals: 115684 0.00/0.04 c CPU time: 0.036994 s 0.00/0.04 c ============================================================================== 0.00/0.06 c 0.00/0.06 c Starting glucose 0.00/0.06 c 0.05/0.38 c This is glucose 2.0 -- based on MiniSAT (Many thanks to MiniSAT team) 0.05/0.38 c WARNING: for repeatability, setting FPU to use double precision 0.05/0.38 c ============================[ Problem Statistics ]============================= 0.05/0.38 c | | 0.05/0.38 c | Number of variables: 2646 | 0.05/0.38 c | Number of clauses: 16118 | 0.05/0.38 c | Parse time: 0.01 s | 0.05/0.38 c | | 0.05/0.38 c ============================[ Search Statistics ]============================== 0.05/0.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.05/0.38 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | | 0.05/0.38 c =============================================================================== 0.05/0.38 c | 451 | 2646 16118 115684 | 1 451 17 | 0.000 % | 0.05/0.38 c | 701 | 2646 16118 115684 | 1 701 18 | 0.000 % | 0.05/0.38 c | 1194 | 2646 16118 115684 | 1 1194 19 | 0.000 % | 0.05/0.38 c | 2059 | 2646 16118 115684 | 1 2059 20 | 0.000 % | 0.05/0.38 c | 2328 | 2646 16118 115684 | 1 2328 20 | 0.000 % | 0.05/0.38 c | 2588 | 2646 16118 115684 | 1 2588 20 | 0.000 % | 0.05/0.38 c | 3233 | 2646 16118 115684 | 1 3233 21 | 0.000 % | 0.05/0.38 c | 3699 | 2646 16118 115684 | 1 3699 21 | 0.000 % | 0.05/0.38 c | 3998 | 2646 16118 115684 | 1 3998 21 | 0.000 % | 0.05/0.38 c | 4115 | 2646 16118 115684 | 1 2117 16 | 0.000 % | 0.05/0.38 c | 4676 | 2646 16118 115684 | 1 2678 17 | 0.000 % | 0.05/0.38 c | 4855 | 2646 16118 115684 | 1 2857 17 | 0.000 % | 0.05/0.38 c | 4955 | 2646 16118 115684 | 1 2957 18 | 0.000 % | 0.05/0.38 c | 5116 | 2646 16118 115684 | 1 3118 18 | 0.000 % | 0.05/0.38 c | 5216 | 2646 16118 115684 | 1 3218 19 | 0.000 % | 0.05/0.38 c | 5598 | 2646 16118 115684 | 1 3600 20 | 0.000 % | 0.05/0.38 c | 5803 | 2646 16118 115684 | 1 3805 20 | 0.000 % | 0.05/0.38 c | 5932 | 2646 16118 115684 | 1 3934 20 | 0.000 % | 0.05/0.38 c | 7717 | 2646 16118 115684 | 1 5719 20 | 0.000 % | 0.05/0.38 c | 7817 | 2646 16118 115684 | 1 5819 20 | 0.000 % | 0.05/0.38 c | 8083 | 2646 16118 115684 | 1 6085 20 | 0.000 % | 0.05/0.38 c | 8256 | 2646 16118 115684 | 1 6258 20 | 0.000 % | 0.05/0.38 c | 10652 | 2646 16118 115684 | 1 4361 14 | 0.000 % | 0.05/0.38 c | 11330 | 2646 16118 115684 | 1 5039 15 | 0.000 % | 0.05/0.38 c | 11779 | 2646 16118 115684 | 1 5488 16 | 0.000 % | 0.05/0.38 c | 12440 | 2646 16118 115684 | 1 6149 17 | 0.000 % | 0.05/0.38 c | 12637 | 2646 16118 115684 | 1 6346 18 | 0.000 % | 0.05/0.38 c | 13341 | 2646 16118 115684 | 1 7050 18 | 0.000 % | 0.05/0.38 c | 13846 | 2646 16118 115684 | 1 7555 18 | 0.000 % | 0.05/0.38 c | 14299 | 2646 16118 115684 | 1 8008 18 | 0.000 % | 0.05/0.38 c | 14403 | 2646 16118 115684 | 1 8112 19 | 0.000 % | 0.05/0.38 c | 15783 | 2646 16118 115684 | 1 9492 19 | 0.000 % | 0.05/0.38 c | 16106 | 2646 16118 115684 | 1 9815 19 | 0.000 % | 0.05/0.38 c | 16370 | 2646 16118 115684 | 1 10079 19 | 0.000 % | 0.05/0.38 c | 16617 | 2646 16118 115684 | 1 10326 19 | 0.000 % | 0.05/0.38 c | 18372 | 2646 16118 115684 | 1 12081 20 | 0.000 % | 0.05/0.38 c | 18767 | 2646 16118 115684 | 1 12476 20 | 0.000 % | 0.05/0.38 c | 19435 | 2646 16118 115684 | 1 13144 20 | 0.000 % | 0.05/0.38 c | 19847 | 2646 16118 115684 | 1 6830 14 | 0.000 % | 1.28/1.30 c | 20148 | 2646 16118 115684 | 1 7131 15 | 0.000 % | 1.28/1.30 c | 21994 | 2646 16118 115684 | 1 8977 18 | 0.000 % | 1.28/1.30 c | 22206 | 2646 16118 115684 | 1 9189 18 | 0.000 % | 1.28/1.30 c | 23572 | 2646 16118 115684 | 1 10555 18 | 0.000 % | 1.28/1.30 c | 23940 | 2646 16118 115684 | 1 10923 19 | 0.000 % | 1.28/1.30 c | 24204 | 2646 16118 115684 | 1 11187 19 | 0.000 % | 1.28/1.30 c | 24905 | 2646 16118 115684 | 1 11888 19 | 0.000 % | 1.28/1.30 c | 26643 | 2646 16118 115684 | 1 13626 20 | 0.000 % | 1.28/1.30 c | 27150 | 2646 16118 115684 | 1 14133 20 | 0.000 % | 1.28/1.30 c | 27751 | 2646 16118 115684 | 1 14734 20 | 0.000 % | 1.28/1.30 c | 28087 | 2646 16118 115684 | 1 15070 20 | 0.000 % | 1.28/1.30 c | 28189 | 2646 16118 115684 | 1 15172 20 | 0.000 % | 1.28/1.30 c | 28423 | 2646 16118 115684 | 1 15406 20 | 0.000 % | 1.28/1.30 c | 29288 | 2646 16118 115684 | 1 16271 21 | 0.000 % | 1.28/1.30 c | 29539 | 2646 16118 115684 | 1 16522 21 | 0.000 % | 1.28/1.30 c | 29958 | 2646 16118 115684 | 1 16941 21 | 0.000 % | 1.28/1.30 c | 30294 | 2646 16118 115684 | 1 17277 21 | 0.000 % | 1.28/1.30 c | 30811 | 2646 16118 115684 | 1 17794 21 | 0.000 % | 1.28/1.30 c | 31989 | 2646 16118 115684 | 1 9690 15 | 0.000 % | 1.28/1.30 c | 32649 | 2646 16118 115684 | 1 10350 15 | 0.000 % | 1.28/1.30 c | 33685 | 2646 16118 115684 | 1 11386 16 | 0.000 % | 1.28/1.30 c | 34441 | 2646 16118 115684 | 1 12142 16 | 0.000 % | 1.28/1.30 c | 35219 | 2646 16118 115684 | 1 12920 17 | 0.000 % | 1.28/1.30 c | 35435 | 2646 16118 115684 | 1 13136 17 | 0.000 % | 1.28/1.30 c | 35689 | 2646 16118 115684 | 1 13390 17 | 0.000 % | 1.28/1.30 c | 36084 | 2646 16118 115684 | 1 13785 17 | 0.000 % | 1.28/1.30 c | 36369 | 2646 16118 115684 | 1 14070 18 | 0.000 % | 1.28/1.30 c | 37584 | 2646 16118 115684 | 1 15285 18 | 0.000 % | 1.28/1.30 c | 37859 | 2646 16118 115684 | 1 15560 19 | 0.000 % | 1.28/1.30 c | 39250 | 2646 16118 115684 | 1 16951 19 | 0.000 % | 1.28/1.30 c | 39621 | 2646 16118 115684 | 1 17322 19 | 0.000 % | 1.28/1.30 c | 40729 | 2646 16118 115684 | 1 18430 20 | 0.000 % | 1.28/1.30 c | 40893 | 2646 16118 115684 | 1 18594 20 | 0.000 % | 1.28/1.30 c | 42936 | 2646 16118 115684 | 1 20637 20 | 0.000 % | 1.28/1.30 c | 43118 | 2646 16118 115684 | 1 20819 21 | 0.000 % | 1.28/1.30 c | 43384 | 2646 16118 115684 | 1 21085 21 | 0.000 % | 1.28/1.30 c | 43732 | 2646 16118 115684 | 1 21433 21 | 0.000 % | 1.28/1.30 c | 43860 | 2646 16118 115684 | 1 21561 21 | 0.000 % | 1.28/1.30 c | 46779 | 2646 16118 115684 | 1 12653 15 | 0.000 % | 1.28/1.30 c | 47240 | 2646 16118 115684 | 1 13114 15 | 0.000 % | 1.28/1.30 c | 48331 | 2646 16118 115684 | 1 14205 16 | 0.000 % | 1.28/1.30 c | 48905 | 2646 16118 115684 | 1 14779 17 | 0.000 % | 1.28/1.30 c | 49743 | 2646 16118 115684 | 1 15617 17 | 0.000 % | 1.28/1.30 c | 50067 | 2646 16118 115684 | 1 15941 17 | 0.000 % | 1.28/1.30 c | 51786 | 2646 16118 115684 | 1 17660 18 | 0.000 % | 1.28/1.30 c | 51886 | 2646 16118 115684 | 1 17760 18 | 0.000 % | 1.28/1.30 c | 53047 | 2646 16118 115684 | 1 18921 19 | 0.000 % | 1.28/1.30 c | 53529 | 2646 16118 115684 | 1 19403 19 | 0.000 % | 1.28/1.30 c | 53910 | 2646 16118 115684 | 1 19784 19 | 0.000 % | 1.28/1.30 c | 55166 | 2646 16118 115684 | 1 21040 19 | 0.000 % | 3.77/3.81 c | 57100 | 2646 16118 115684 | 1 22974 20 | 0.000 % | 3.77/3.81 c | 57514 | 2646 16118 115684 | 1 23388 20 | 0.000 % | 3.77/3.81 c | 57615 | 2646 16118 115684 | 1 23489 20 | 0.000 % | 3.77/3.81 c | 58027 | 2646 16118 115684 | 1 23901 20 | 0.000 % | 3.77/3.81 c | 58326 | 2646 16118 115684 | 1 24200 20 | 0.000 % | 3.77/3.81 c | 61569 | 2646 16118 115684 | 1 27443 21 | 0.000 % | 3.77/3.81 c | 61776 | 2646 16118 115684 | 1 27650 21 | 0.000 % | 3.77/3.81 c | 62236 | 2646 16118 115684 | 1 28110 21 | 0.000 % | 3.77/3.81 c | 62893 | 2646 16118 115684 | 1 28767 21 | 0.000 % | 3.77/3.81 c | 63436 | 2646 16118 115684 | 1 14893 14 | 0.000 % | 3.77/3.81 c | 63779 | 2646 16118 115684 | 1 15236 15 | 0.000 % | 3.77/3.81 c | 65037 | 2646 16118 115684 | 1 16494 16 | 0.000 % | 3.77/3.81 c | 66141 | 2646 16118 115684 | 1 17598 16 | 0.000 % | 3.77/3.81 c | 68880 | 2646 16118 115684 | 1 20337 18 | 0.000 % | 3.77/3.81 c | 71062 | 2646 16118 115684 | 1 22519 19 | 0.000 % | 3.77/3.81 c | 71357 | 2646 16118 115684 | 1 22814 19 | 0.000 % | 3.77/3.81 c | 71663 | 2646 16118 115684 | 1 23120 19 | 0.000 % | 3.77/3.81 c | 71763 | 2646 16118 115684 | 1 23220 19 | 0.000 % | 3.77/3.81 c | 71887 | 2646 16118 115684 | 1 23344 19 | 0.000 % | 3.77/3.81 c | 72492 | 2646 16118 115684 | 1 23949 19 | 0.000 % | 3.77/3.81 c | 73063 | 2646 16118 115684 | 1 24520 20 | 0.000 % | 3.77/3.81 c | 73532 | 2646 16118 115684 | 1 24989 20 | 0.000 % | 3.77/3.81 c | 74250 | 2646 16118 115684 | 1 25707 20 | 0.000 % | 3.77/3.81 c | 74491 | 2646 16118 115684 | 1 25948 20 | 0.000 % | 3.77/3.81 c | 75549 | 2646 16118 115684 | 1 27006 20 | 0.000 % | 3.77/3.81 c | 75745 | 2646 16118 115684 | 1 27202 20 | 0.000 % | 3.77/3.81 c | 76447 | 2646 16118 115684 | 1 27904 21 | 0.000 % | 3.77/3.81 c | 76975 | 2646 16118 115684 | 1 28432 21 | 0.000 % | 3.77/3.81 c | 79282 | 2646 16118 115684 | 1 30739 21 | 0.000 % | 3.77/3.81 c | 87015 | 2646 16118 115684 | 1 21456 18 | 0.000 % | 3.77/3.81 c | 88333 | 2646 16118 115684 | 1 22774 19 | 0.000 % | 3.77/3.81 c | 90052 | 2646 16118 115684 | 1 24493 20 | 0.000 % | 3.77/3.81 c | 91546 | 2646 16118 115684 | 1 25987 20 | 0.000 % | 3.77/3.81 c | 91870 | 2646 16118 115684 | 1 26311 20 | 0.000 % | 3.77/3.81 c | 92297 | 2646 16118 115684 | 1 26738 20 | 0.000 % | 3.77/3.81 c | 93266 | 2646 16118 115684 | 1 27707 20 | 0.000 % | 3.77/3.81 c | 95691 | 2646 16118 115684 | 1 30132 21 | 0.000 % | 3.77/3.81 c | 100563 | 2646 16118 115684 | 1 35004 22 | 0.000 % | 3.77/3.81 c | 106507 | 2646 16118 115684 | 1 21347 16 | 0.000 % | 3.77/3.81 c | 106721 | 2646 16118 115684 | 1 21561 16 | 0.000 % | 3.77/3.81 c | 107184 | 2646 16118 115684 | 1 22024 16 | 0.000 % | 3.77/3.81 c | 107307 | 2646 16118 115684 | 1 22147 17 | 0.000 % | 3.77/3.81 c | 107575 | 2646 16118 115684 | 1 22415 17 | 0.000 % | 3.77/3.81 c | 107782 | 2646 16118 115684 | 1 22622 17 | 0.000 % | 3.77/3.81 c | 108469 | 2646 16118 115684 | 1 23309 17 | 0.000 % | 3.77/3.81 c | 109942 | 2646 16118 115684 | 1 24782 18 | 0.000 % | 3.77/3.81 c | 110182 | 2646 16118 115684 | 1 25022 18 | 0.000 % | 3.77/3.81 c | 110313 | 2646 16118 115684 | 1 25153 18 | 0.000 % | 3.77/3.81 c | 113005 | 2646 16118 115684 | 1 27845 19 | 0.000 % | 3.77/3.81 c | 117392 | 2646 16118 115684 | 1 32232 20 | 0.000 % | 5.17/5.23 c | 118326 | 2646 16118 115684 | 1 33166 21 | 0.000 % | 5.17/5.23 c | 118588 | 2646 16118 115684 | 1 33428 21 | 0.000 % | 5.17/5.23 c | 119846 | 2646 16118 115684 | 1 34686 21 | 0.000 % | 5.17/5.23 c | 120520 | 2646 16118 115684 | 1 35360 21 | 0.000 % | 5.17/5.23 c | 121075 | 2646 16118 115684 | 1 35915 21 | 0.000 % | 5.17/5.23 c | 121188 | 2646 16118 115684 | 1 36028 21 | 0.000 % | 5.17/5.23 c | 121359 | 2646 16118 115684 | 1 36199 21 | 0.000 % | 5.17/5.23 c | 122142 | 2646 16118 115684 | 1 36982 21 | 0.000 % | 5.17/5.23 c | 123416 | 2646 16118 115684 | 1 38256 22 | 0.000 % | 5.17/5.23 c | 124541 | 2646 16118 115684 | 1 39381 22 | 0.000 % | 5.17/5.23 c | 124796 | 2646 16118 115684 | 1 39636 22 | 0.000 % | 5.17/5.23 c | 127729 | 2646 16118 115684 | 1 42569 22 | 0.000 % | 5.17/5.23 c | 128154 | 2646 16118 115684 | 1 42994 22 | 0.000 % | 5.17/5.23 c | 128396 | 2646 16118 115684 | 1 43236 22 | 0.000 % | 5.17/5.23 c | 128545 | 2646 16118 115684 | 1 43385 22 | 0.000 % | 5.17/5.23 c | 129450 | 2646 16118 115684 | 1 44290 23 | 0.000 % | 5.17/5.23 c | 129944 | 2646 16118 115684 | 1 22584 15 | 0.000 % | 5.17/5.23 c | 130903 | 2646 16118 115684 | 1 23543 15 | 0.000 % | 5.17/5.23 c | 131632 | 2646 16118 115684 | 1 24272 15 | 0.000 % | 5.17/5.23 c | 132565 | 2646 16118 115684 | 1 25205 16 | 0.000 % | 5.17/5.23 c | 132840 | 2646 16118 115684 | 1 25480 16 | 0.000 % | 5.17/5.23 c | 133747 | 2646 16118 115684 | 1 26387 16 | 0.000 % | 5.17/5.23 c | 133955 | 2646 16118 115684 | 1 26595 17 | 0.000 % | 5.17/5.23 c | 134105 | 2646 16118 115684 | 1 26745 17 | 0.000 % | 5.17/5.23 c | 134268 | 2646 16118 115684 | 1 26908 17 | 0.000 % | 5.17/5.23 c | 135196 | 2646 16118 115684 | 1 27836 17 | 0.000 % | 5.17/5.23 c | 136440 | 2646 16118 115684 | 1 29080 18 | 0.000 % | 5.17/5.23 c | 136813 | 2646 16118 115684 | 1 29453 18 | 0.000 % | 5.17/5.23 c | 137229 | 2646 16118 115684 | 1 29869 18 | 0.000 % | 5.17/5.23 c | 138285 | 2646 16118 115684 | 1 30925 19 | 0.000 % | 5.17/5.23 c | 138893 | 2646 16118 115684 | 1 31533 19 | 0.000 % | 5.17/5.23 c | 139035 | 2646 16118 115684 | 1 31675 19 | 0.000 % | 5.17/5.23 c | 139517 | 2646 16118 115684 | 1 32157 19 | 0.000 % | 5.17/5.23 c | 139832 | 2646 16118 115684 | 1 32472 19 | 0.000 % | 5.17/5.23 c | 139932 | 2646 16118 115684 | 1 32572 19 | 0.000 % | 5.17/5.23 c | 140041 | 2646 16118 115684 | 1 32681 19 | 0.000 % | 5.17/5.23 c | 140477 | 2646 16118 115684 | 1 33117 19 | 0.000 % | 5.17/5.23 c | 141878 | 2646 16118 115684 | 1 34518 20 | 0.000 % | 5.17/5.23 c | 141980 | 2646 16118 115684 | 1 34620 20 | 0.000 % | 5.17/5.23 c | 142080 | 2646 16118 115684 | 1 34720 20 | 0.000 % | 5.17/5.23 c | 142186 | 2646 16118 115684 | 1 34826 20 | 0.000 % | 5.17/5.23 c | 142353 | 2646 16118 115684 | 1 34993 20 | 0.000 % | 5.17/5.23 c | 142453 | 2646 16118 115684 | 1 35093 20 | 0.000 % | 5.17/5.23 c | 143400 | 2646 16118 115684 | 1 36040 20 | 0.000 % | 5.17/5.23 c | 143503 | 2646 16118 115684 | 1 36143 20 | 0.000 % | 5.17/5.23 c | 143617 | 2646 16118 115684 | 1 36257 20 | 0.000 % | 5.17/5.23 c | 143983 | 2646 16118 115684 | 1 36623 20 | 0.000 % | 5.17/5.23 c | 144231 | 2646 16118 115684 | 1 36871 21 | 0.000 % | 5.17/5.23 c | 144408 | 2646 16118 115684 | 1 37048 21 | 0.000 % | 5.17/5.23 c | 145771 | 2646 16118 115684 | 1 38411 21 | 0.000 % | 12.68/12.70 c | 146510 | 2646 16118 115684 | 1 39150 21 | 0.000 % | 12.68/12.70 c | 147536 | 2646 16118 115684 | 1 40176 21 | 0.000 % | 12.68/12.70 c | 150175 | 2646 16118 115684 | 1 42815 22 | 0.000 % | 12.68/12.70 c | 150276 | 2646 16118 115684 | 1 42916 22 | 0.000 % | 12.68/12.70 c | 150511 | 2646 16118 115684 | 1 43151 22 | 0.000 % | 12.68/12.70 c | 151142 | 2646 16118 115684 | 1 43782 22 | 0.000 % | 12.68/12.70 c | 151242 | 2646 16118 115684 | 1 43882 22 | 0.000 % | 12.68/12.70 c | 151342 | 2646 16118 115684 | 1 43982 22 | 0.000 % | 12.68/12.70 c | 162777 | 2646 16118 115684 | 1 30617 17 | 0.000 % | 12.68/12.70 c | 162962 | 2646 16118 115684 | 1 30802 17 | 0.000 % | 12.68/12.70 c | 163256 | 2646 16118 115684 | 1 31096 18 | 0.000 % | 12.68/12.70 c | 163767 | 2646 16118 115684 | 1 31607 18 | 0.000 % | 12.68/12.70 c | 167714 | 2646 16118 115684 | 1 35554 19 | 0.000 % | 12.68/12.70 c | 170196 | 2646 16118 115684 | 1 38036 20 | 0.000 % | 12.68/12.70 c | 170850 | 2646 16118 115684 | 1 38690 20 | 0.000 % | 12.68/12.70 c | 171856 | 2646 16118 115684 | 1 39696 20 | 0.000 % | 12.68/12.70 c | 172877 | 2646 16118 115684 | 1 40717 20 | 0.000 % | 12.68/12.70 c | 174225 | 2646 16118 115684 | 1 42065 21 | 0.000 % | 12.68/12.70 c | 176855 | 2646 16118 115684 | 1 44695 21 | 0.000 % | 12.68/12.70 c | 179057 | 2646 16118 115684 | 1 46897 22 | 0.000 % | 12.68/12.70 c | 179637 | 2646 16118 115684 | 1 47477 22 | 0.000 % | 12.68/12.70 c | 183960 | 2646 16118 115684 | 1 51800 23 | 0.000 % | 12.68/12.70 c | 188966 | 2646 16118 115684 | 1 29393 16 | 0.000 % | 12.68/12.70 c | 196027 | 2646 16118 115684 | 1 36454 19 | 0.000 % | 12.68/12.70 c | 197323 | 2646 16118 115684 | 1 37750 19 | 0.000 % | 12.68/12.70 c | 202007 | 2646 16118 115684 | 1 42434 20 | 0.000 % | 12.68/12.70 c | 202685 | 2646 16118 115684 | 1 43112 21 | 0.000 % | 12.68/12.70 c | 204428 | 2646 16118 115684 | 1 44855 21 | 0.000 % | 12.68/12.70 c | 204538 | 2646 16118 115684 | 1 44965 21 | 0.000 % | 12.68/12.70 c | 204864 | 2646 16118 115684 | 1 45291 21 | 0.000 % | 12.68/12.70 c | 214651 | 2646 16118 115684 | 1 55078 23 | 0.000 % | 12.68/12.70 c | 228283 | 2646 16118 115684 | 1 38710 19 | 0.000 % | 12.68/12.70 c | 230475 | 2646 16118 115684 | 1 40902 19 | 0.000 % | 12.68/12.70 c | 230796 | 2646 16118 115684 | 1 41223 19 | 0.000 % | 12.68/12.70 c | 232953 | 2646 16118 115684 | 1 43380 20 | 0.000 % | 12.68/12.70 c | 233414 | 2646 16118 115684 | 1 43841 20 | 0.000 % | 12.68/12.70 c | 233534 | 2646 16118 115684 | 1 43961 20 | 0.000 % | 12.68/12.70 c | 244722 | 2646 16118 115684 | 1 55149 22 | 0.000 % | 12.68/12.70 c | 249719 | 2646 16118 115684 | 1 60146 23 | 0.000 % | 12.68/12.70 c | 250202 | 2646 16118 115684 | 1 60629 23 | 0.000 % | 12.68/12.70 c | 252924 | 2646 16118 115684 | 1 63351 24 | 0.000 % | 12.68/12.70 c | 257000 | 2646 16118 115684 | 1 34829 16 | 0.000 % | 12.68/12.70 c | 257579 | 2646 16118 115684 | 1 35408 16 | 0.000 % | 12.68/12.70 c | 257686 | 2646 16118 115684 | 1 35515 16 | 0.000 % | 12.68/12.70 c | 262542 | 2646 16118 115684 | 1 40371 18 | 0.000 % | 12.68/12.70 c | 262748 | 2646 16118 115684 | 1 40577 18 | 0.000 % | 12.68/12.70 c | 266547 | 2646 16118 115684 | 1 44376 19 | 0.000 % | 12.68/12.70 c | 269072 | 2646 16118 115684 | 1 46901 20 | 0.000 % | 12.68/12.70 c | 269823 | 2646 16118 115684 | 1 47652 20 | 0.000 % | 12.68/12.70 c | 270589 | 2646 16118 115684 | 1 48418 21 | 0.000 % | 28.87/28.95 c | 270689 | 2646 16118 115684 | 1 48518 21 | 0.000 % | 28.87/28.95 c | 270789 | 2646 16118 115684 | 1 48618 21 | 0.000 % | 28.87/28.95 c | 271104 | 2646 16118 115684 | 1 48933 21 | 0.000 % | 28.87/28.95 c | 271755 | 2646 16118 115684 | 1 49584 21 | 0.000 % | 28.87/28.95 c | 271888 | 2646 16118 115684 | 1 49717 21 | 0.000 % | 28.87/28.95 c | 273488 | 2646 16118 115684 | 1 51317 21 | 0.000 % | 28.87/28.95 c | 285967 | 2646 16118 115684 | 1 63796 23 | 0.000 % | 28.87/28.95 c | 287118 | 2646 16118 115684 | 1 64947 23 | 0.000 % | 28.87/28.95 c | 290490 | 2646 16118 115684 | 1 68319 24 | 0.000 % | 28.87/28.95 c | 290593 | 2646 16118 115684 | 1 68422 24 | 0.000 % | 28.87/28.95 c | 290892 | 2646 16118 115684 | 1 68721 24 | 0.000 % | 28.87/28.95 c | 291056 | 2646 16118 115684 | 1 68885 24 | 0.000 % | 28.87/28.95 c | 292071 | 2646 16118 115684 | 1 69900 24 | 0.000 % | 28.87/28.95 c | 293213 | 2646 16118 115684 | 1 35834 15 | 0.000 % | 28.87/28.95 c | 293442 | 2646 16118 115684 | 1 36063 15 | 0.000 % | 28.87/28.95 c | 293976 | 2646 16118 115684 | 1 36597 15 | 0.000 % | 28.87/28.95 c | 297260 | 2646 16118 115684 | 1 39881 17 | 0.000 % | 28.87/28.95 c | 297978 | 2646 16118 115684 | 1 40599 17 | 0.000 % | 28.87/28.95 c | 308265 | 2646 16118 115684 | 1 50886 20 | 0.000 % | 28.87/28.95 c | 309034 | 2646 16118 115684 | 1 51655 20 | 0.000 % | 28.87/28.95 c | 309185 | 2646 16118 115684 | 1 51806 20 | 0.000 % | 28.87/28.95 c | 309293 | 2646 16118 115684 | 1 51914 20 | 0.000 % | 28.87/28.95 c | 310311 | 2646 16118 115684 | 1 52932 20 | 0.000 % | 28.87/28.95 c | 310508 | 2646 16118 115684 | 1 53129 20 | 0.000 % | 28.87/28.95 c | 313687 | 2646 16118 115684 | 1 56308 21 | 0.000 % | 28.87/28.95 c | 334280 | 2646 16118 115684 | 1 39123 16 | 0.000 % | 28.87/28.95 c | 338444 | 2646 16118 115684 | 1 43287 18 | 0.000 % | 28.87/28.95 c | 351194 | 2646 16118 115684 | 1 56037 21 | 0.000 % | 28.87/28.95 c | 351488 | 2646 16118 115684 | 1 56331 22 | 0.000 % | 28.87/28.95 c | 354929 | 2646 16118 115684 | 1 59772 22 | 0.000 % | 28.87/28.95 c | 367139 | 2646 16118 115684 | 1 71982 24 | 0.000 % | 28.87/28.95 c | 367623 | 2646 16118 115684 | 1 72466 24 | 0.000 % | 28.87/28.95 c | 367986 | 2646 16118 115684 | 1 72829 24 | 0.000 % | 28.87/28.95 c | 369434 | 2646 16118 115684 | 1 74277 24 | 0.000 % | 28.87/28.95 c | 369900 | 2646 16118 115684 | 1 74743 24 | 0.000 % | 28.87/28.95 c | 371259 | 2646 16118 115684 | 1 76102 25 | 0.000 % | 28.87/28.95 c | 378945 | 2646 16118 115684 | 1 43385 16 | 0.000 % | 28.87/28.95 c | 419152 | 2646 16118 115684 | 1 83592 23 | 0.000 % | 28.87/28.95 c | 421182 | 2646 16118 115684 | 1 85622 24 | 0.000 % | 28.87/28.95 c | 422368 | 2646 16118 115684 | 1 43797 15 | 0.000 % | 28.87/28.95 c | 422498 | 2646 16118 115684 | 1 43927 15 | 0.000 % | 28.87/28.95 c | 438817 | 2646 16118 115684 | 1 60246 20 | 0.000 % | 28.87/28.95 c | 440122 | 2646 16118 115684 | 1 61551 20 | 0.000 % | 28.87/28.95 c | 440828 | 2646 16118 115684 | 1 62257 20 | 0.000 % | 28.87/28.95 c | 450402 | 2646 16118 115684 | 1 71831 22 | 0.000 % | 28.87/28.95 c | 452312 | 2646 16118 115684 | 1 73741 22 | 0.000 % | 28.87/28.95 c | 454216 | 2646 16118 115684 | 1 75645 23 | 0.000 % | 28.87/28.95 c | 455391 | 2646 16118 115684 | 1 76820 23 | 0.000 % | 28.87/28.95 c | 456419 | 2646 16118 115684 | 1 77848 23 | 0.000 % | 28.87/28.95 c | 458030 | 2646 16118 115684 | 1 79459 23 | 0.000 % | 143.08/143.11 c | 458131 | 2646 16118 115684 | 1 79560 23 | 0.000 % | 143.08/143.11 c | 459407 | 2646 16118 115684 | 1 80836 23 | 0.000 % | 143.08/143.11 c | 460961 | 2646 16118 115684 | 1 82390 23 | 0.000 % | 143.08/143.11 c | 496590 | 2646 16118 115684 | 1 72411 22 | 0.000 % | 143.08/143.11 c | 497161 | 2646 16118 115684 | 1 72982 22 | 0.000 % | 143.08/143.11 c | 505400 | 2646 16118 115684 | 1 81221 23 | 0.000 % | 143.08/143.11 c | 505626 | 2646 16118 115684 | 1 81447 23 | 0.000 % | 143.08/143.11 c | 512075 | 2646 16118 115684 | 1 87896 24 | 0.000 % | 143.08/143.11 c | 536689 | 2646 16118 115684 | 1 64314 20 | 0.000 % | 143.08/143.11 c | 539454 | 2646 16118 115684 | 1 67079 21 | 0.000 % | 143.08/143.11 c | 548403 | 2646 16118 115684 | 1 76028 22 | 0.000 % | 143.08/143.11 c | 550724 | 2646 16118 115684 | 1 78349 23 | 0.000 % | 143.08/143.11 c | 553626 | 2646 16118 115684 | 1 81251 23 | 0.000 % | 143.08/143.11 c | 553865 | 2646 16118 115684 | 1 81490 23 | 0.000 % | 143.08/143.11 c | 557784 | 2646 16118 115684 | 1 85409 24 | 0.000 % | 143.08/143.11 c | 588468 | 2646 16118 115684 | 1 65295 19 | 0.000 % | 143.08/143.11 c | 589709 | 2646 16118 115684 | 1 66536 20 | 0.000 % | 143.08/143.11 c | 589900 | 2646 16118 115684 | 1 66727 20 | 0.000 % | 143.08/143.11 c | 591208 | 2646 16118 115684 | 1 68035 20 | 0.000 % | 143.08/143.11 c | 593702 | 2646 16118 115684 | 1 70529 20 | 0.000 % | 143.08/143.11 c | 608713 | 2646 16118 115684 | 1 85540 23 | 0.000 % | 143.08/143.11 c | 611541 | 2646 16118 115684 | 1 88368 24 | 0.000 % | 143.08/143.11 c | 616664 | 2646 16118 115684 | 1 93491 24 | 0.000 % | 143.08/143.11 c | 617053 | 2646 16118 115684 | 1 93880 25 | 0.000 % | 143.08/143.11 c | 641449 | 2646 16118 115684 | 1 64876 18 | 0.000 % | 143.08/143.11 c | 641677 | 2646 16118 115684 | 1 65104 18 | 0.000 % | 143.08/143.11 c | 641785 | 2646 16118 115684 | 1 65212 18 | 0.000 % | 143.08/143.11 c | 650075 | 2646 16118 115684 | 1 73502 20 | 0.000 % | 143.08/143.11 c | 650233 | 2646 16118 115684 | 1 73660 20 | 0.000 % | 143.08/143.11 c | 653569 | 2646 16118 115684 | 1 76996 21 | 0.000 % | 143.08/143.11 c | 701515 | 2646 16118 115684 | 1 68944 19 | 0.000 % | 143.08/143.11 c | 912592 | 2646 16118 115684 | 1 96424 21 | 0.000 % | 143.08/143.11 c | 920260 | 2646 16118 115684 | 1 104092 22 | 0.000 % | 143.08/143.11 c | 1002214 | 2646 16118 115684 | 1 119640 22 | 0.000 % | 143.08/143.11 c | 1002475 | 2646 16118 115684 | 1 119901 22 | 0.000 % | 143.08/143.11 c | 1006600 | 2646 16118 115684 | 1 124026 23 | 0.000 % | 143.08/143.11 c | 1010666 | 2646 16118 115684 | 1 128092 23 | 0.000 % | 143.08/143.11 c | 1010774 | 2646 16118 115684 | 1 128200 23 | 0.000 % | 143.08/143.11 c | 1039316 | 2646 16118 115684 | 1 87732 18 | 0.000 % | 143.08/143.11 c | 1097658 | 2646 16118 115684 | 1 74481 15 | 0.000 % | 143.08/143.11 c | 1098066 | 2646 16118 115684 | 1 74889 15 | 0.000 % | 143.08/143.11 c | 1098344 | 2646 16118 115684 | 1 75167 15 | 0.000 % | 143.08/143.11 c | 1187464 | 2646 16118 115684 | 1 90082 18 | 0.000 % | 143.08/143.11 c | 1191408 | 2646 16118 115684 | 1 94026 18 | 0.000 % | 143.08/143.11 c | 1191832 | 2646 16118 115684 | 1 94450 18 | 0.000 % | 143.08/143.11 c | 1192324 | 2646 16118 115684 | 1 94942 19 | 0.000 % | 143.08/143.11 c | 1194309 | 2646 16118 115684 | 1 96927 19 | 0.000 % | 143.08/143.11 c | 1194438 | 2646 16118 115684 | 1 97056 19 | 0.000 % | 143.08/143.11 c | 1223681 | 2646 16118 115684 | 1 126299 22 | 0.000 % | 384.79/384.90 c | 1224610 | 2646 16118 115684 | 1 127228 22 | 0.000 % | 384.79/384.90 c | 1225683 | 2646 16118 115684 | 1 128301 23 | 0.000 % | 384.79/384.90 c | 1318326 | 2646 16118 115684 | 1 144140 22 | 0.000 % | 384.79/384.90 c | 1552836 | 2646 16118 115684 | 1 132656 21 | 0.000 % | 384.79/384.90 c | 1553425 | 2646 16118 115684 | 1 133245 21 | 0.000 % | 384.79/384.90 c | 1553571 | 2646 16118 115684 | 1 133391 21 | 0.000 % | 384.79/384.90 c | 1589473 | 2646 16118 115684 | 1 169293 24 | 0.000 % | 384.79/384.90 c | 1589573 | 2646 16118 115684 | 1 169393 24 | 0.000 % | 384.79/384.90 c | 1589901 | 2646 16118 115684 | 1 169721 24 | 0.000 % | 384.79/384.90 c | 1721179 | 2646 16118 115684 | 1 123996 20 | 0.000 % | 384.79/384.90 c | 1737512 | 2646 16118 115684 | 1 140329 22 | 0.000 % | 384.79/384.90 c | 1753098 | 2646 16118 115684 | 1 155915 23 | 0.000 % | 384.79/384.90 c | 1753201 | 2646 16118 115684 | 1 156018 23 | 0.000 % | 384.79/384.90 c | 1764428 | 2646 16118 115684 | 1 167245 24 | 0.000 % | 384.79/384.90 c | 1769192 | 2646 16118 115684 | 1 172009 24 | 0.000 % | 384.79/384.90 c | 1769915 | 2646 16118 115684 | 1 172732 24 | 0.000 % | 384.79/384.90 c | 1770015 | 2646 16118 115684 | 1 172832 24 | 0.000 % | 384.79/384.90 c | 1770117 | 2646 16118 115684 | 1 172934 24 | 0.000 % | 384.79/384.90 c | 1784393 | 2646 16118 115684 | 1 94816 15 | 0.000 % | 384.79/384.90 c | 1870632 | 2646 16118 115684 | 1 181055 23 | 0.000 % | 384.79/384.90 c | 1919375 | 2646 16118 115684 | 1 134793 20 | 0.000 % | 384.79/384.90 c | 1968423 | 2646 16118 115684 | 1 183841 24 | 0.000 % | 384.79/384.90 c | 1977685 | 2646 16118 115684 | 1 193103 25 | 0.000 % | 384.79/384.90 c | 1978050 | 2646 16118 115684 | 1 193468 25 | 0.000 % | 384.79/384.90 c | 1979686 | 2646 16118 115684 | 1 195104 25 | 0.000 % | 384.79/384.90 c | 1988448 | 2646 16118 115684 | 1 106262 16 | 0.000 % | 384.79/384.90 c | 1993914 | 2646 16118 115684 | 1 111728 17 | 0.000 % | 384.79/384.90 c | 1995415 | 2646 16118 115684 | 1 113229 17 | 0.000 % | 384.79/384.90 c | 2074833 | 2646 16118 115684 | 1 192647 23 | 0.000 % | 384.79/384.90 c | 2095532 | 2646 16118 115684 | 1 113152 17 | 0.000 % | 384.79/384.90 c | 2148217 | 2646 16118 115684 | 1 165837 22 | 0.000 % | 384.79/384.90 c | 2148575 | 2646 16118 115684 | 1 166195 22 | 0.000 % | 384.79/384.90 c | 2148903 | 2646 16118 115684 | 1 166523 22 | 0.000 % | 384.79/384.90 c | 2149003 | 2646 16118 115684 | 1 166623 22 | 0.000 % | 384.79/384.90 c | 2161781 | 2646 16118 115684 | 1 179401 23 | 0.000 % | 384.79/384.90 c | 2161881 | 2646 16118 115684 | 1 179501 23 | 0.000 % | 384.79/384.90 c | 2166617 | 2646 16118 115684 | 1 184237 23 | 0.000 % | 384.79/384.90 c | 2235225 | 2646 16118 115684 | 1 150041 20 | 0.000 % | 384.79/384.90 c | 2238448 | 2646 16118 115684 | 1 153264 20 | 0.000 % | 384.79/384.90 c | 2247281 | 2646 16118 115684 | 1 162097 21 | 0.000 % | 384.79/384.90 c | 2247382 | 2646 16118 115684 | 1 162198 21 | 0.000 % | 384.79/384.90 c | 2247483 | 2646 16118 115684 | 1 162299 21 | 0.000 % | 384.79/384.90 c | 2247584 | 2646 16118 115684 | 1 162400 21 | 0.000 % | 384.79/384.90 c | 2248916 | 2646 16118 115684 | 1 163732 21 | 0.000 % | 384.79/384.90 c | 2250495 | 2646 16118 115684 | 1 165311 22 | 0.000 % | 384.79/384.90 c | 2251270 | 2646 16118 115684 | 1 166086 22 | 0.000 % | 384.79/384.90 c | 2251372 | 2646 16118 115684 | 1 166188 22 | 0.000 % | 384.79/384.90 c | 2254671 | 2646 16118 115684 | 1 169487 22 | 0.000 % | 384.79/384.90 c | 2262767 | 2646 16118 115684 | 1 177583 23 | 0.000 % | 384.79/384.90 c | 2278873 | 2646 16118 115684 | 1 193689 24 | 0.000 % | 532.49/532.54 c | 2282723 | 2646 16118 115684 | 1 197539 24 | 0.000 % | 532.49/532.54 c | 2284051 | 2646 16118 115684 | 1 198867 24 | 0.000 % | 532.49/532.54 c | 2287092 | 2646 16118 115684 | 1 201908 25 | 0.000 % | 532.49/532.54 c | 2287192 | 2646 16118 115684 | 1 202008 25 | 0.000 % | 532.49/532.54 c | 2290870 | 2646 16118 115684 | 1 205686 25 | 0.000 % | 532.49/532.54 c | 2290972 | 2646 16118 115684 | 1 205788 25 | 0.000 % | 532.49/532.54 c | 2305729 | 2646 16118 115684 | 1 115147 15 | 0.000 % | 532.49/532.54 c | 2305829 | 2646 16118 115684 | 1 115247 15 | 0.000 % | 532.49/532.54 c | 2312818 | 2646 16118 115684 | 1 122236 17 | 0.000 % | 532.49/532.54 c | 2312919 | 2646 16118 115684 | 1 122337 17 | 0.000 % | 532.49/532.54 c | 2323484 | 2646 16118 115684 | 1 132902 18 | 0.000 % | 532.49/532.54 c | 2368023 | 2646 16118 115684 | 1 177441 22 | 0.000 % | 532.49/532.54 c | 2386238 | 2646 16118 115684 | 1 195656 24 | 0.000 % | 532.49/532.54 c | 2388999 | 2646 16118 115684 | 1 198417 24 | 0.000 % | 532.49/532.54 c | 2391311 | 2646 16118 115684 | 1 200729 24 | 0.000 % | 532.49/532.54 c | 2487359 | 2646 16118 115684 | 1 188775 23 | 0.000 % | 532.49/532.54 c | 2487465 | 2646 16118 115684 | 1 188881 23 | 0.000 % | 532.49/532.54 c | 2487565 | 2646 16118 115684 | 1 188981 23 | 0.000 % | 532.49/532.54 c | 2490733 | 2646 16118 115684 | 1 192149 23 | 0.000 % | 532.49/532.54 c | 2490918 | 2646 16118 115684 | 1 192334 23 | 0.000 % | 532.49/532.54 c | 2497844 | 2646 16118 115684 | 1 199260 23 | 0.000 % | 532.49/532.54 c | 2498591 | 2646 16118 115684 | 1 200007 23 | 0.000 % | 532.49/532.54 c | 2498693 | 2646 16118 115684 | 1 200109 23 | 0.000 % | 532.49/532.54 c | 2498878 | 2646 16118 115684 | 1 200294 24 | 0.000 % | 532.49/532.54 c | 2538536 | 2646 16118 115684 | 1 129356 17 | 0.000 % | 532.49/532.54 c | 2558482 | 2646 16118 115684 | 1 149302 20 | 0.000 % | 532.49/532.54 c | 2559718 | 2646 16118 115684 | 1 150538 20 | 0.000 % | 532.49/532.54 c | 2575289 | 2646 16118 115684 | 1 166109 21 | 0.000 % | 532.49/532.54 c | 2575389 | 2646 16118 115684 | 1 166209 21 | 0.000 % | 532.49/532.54 c | 2586823 | 2646 16118 115684 | 1 177643 22 | 0.000 % | 532.49/532.54 c | 2706903 | 2646 16118 115684 | 1 184523 22 | 0.000 % | 532.49/532.54 c | 2718129 | 2646 16118 115684 | 1 195749 23 | 0.000 % | 532.49/532.54 c | 2722962 | 2646 16118 115684 | 1 200582 23 | 0.000 % | 532.49/532.54 c | 2725455 | 2646 16118 115684 | 1 203075 23 | 0.000 % | 532.49/532.54 c | 2727885 | 2646 16118 115684 | 1 205505 24 | 0.000 % | 532.49/532.54 c | 2727985 | 2646 16118 115684 | 1 205605 24 | 0.000 % | 532.49/532.54 c | 2728085 | 2646 16118 115684 | 1 205705 24 | 0.000 % | 532.49/532.54 c | 2728185 | 2646 16118 115684 | 1 205805 24 | 0.000 % | 532.49/532.54 c | 2730510 | 2646 16118 115684 | 1 208130 24 | 0.000 % | 532.49/532.54 c | 2730814 | 2646 16118 115684 | 1 208434 24 | 0.000 % | 532.49/532.54 c | 2730915 | 2646 16118 115684 | 1 208535 24 | 0.000 % | 532.49/532.54 c | 2771554 | 2646 16118 115684 | 1 133371 17 | 0.000 % | 532.49/532.54 c | 2771904 | 2646 16118 115684 | 1 133721 17 | 0.000 % | 532.49/532.54 c | 2772144 | 2646 16118 115684 | 1 133961 17 | 0.000 % | 532.49/532.54 c | 2772246 | 2646 16118 115684 | 1 134063 17 | 0.000 % | 532.49/532.54 c | 2772347 | 2646 16118 115684 | 1 134164 17 | 0.000 % | 532.49/532.54 c | 2824322 | 2646 16118 115684 | 1 186139 22 | 0.000 % | 532.49/532.54 c | 2832798 | 2646 16118 115684 | 1 194615 22 | 0.000 % | 532.49/532.54 c | 2832997 | 2646 16118 115684 | 1 194814 22 | 0.000 % | 532.49/532.54 c | 2833139 | 2646 16118 115684 | 1 194956 23 | 0.000 % | 691.19/691.30 c | 2848180 | 2646 16118 115684 | 1 209997 24 | 0.000 % | 691.19/691.30 c | 2848837 | 2646 16118 115684 | 1 210654 24 | 0.000 % | 691.19/691.30 c | 2925627 | 2646 16118 115684 | 1 169043 20 | 0.000 % | 691.19/691.30 c | 2968103 | 2646 16118 115684 | 1 211519 23 | 0.000 % | 691.19/691.30 c | 2991638 | 2646 16118 115684 | 1 235054 24 | 0.000 % | 691.19/691.30 c | 2997249 | 2646 16118 115684 | 1 240665 25 | 0.000 % | 691.19/691.30 c | 3023343 | 2646 16118 115684 | 1 145759 18 | 0.000 % | 691.19/691.30 c | 3025185 | 2646 16118 115684 | 1 147601 18 | 0.000 % | 691.19/691.30 c | 3030491 | 2646 16118 115684 | 1 152907 19 | 0.000 % | 691.19/691.30 c | 3032584 | 2646 16118 115684 | 1 155000 19 | 0.000 % | 691.19/691.30 c | 3033680 | 2646 16118 115684 | 1 156096 19 | 0.000 % | 691.19/691.30 c | 3041179 | 2646 16118 115684 | 1 163595 20 | 0.000 % | 691.19/691.30 c | 3042063 | 2646 16118 115684 | 1 164479 20 | 0.000 % | 691.19/691.30 c | 3043541 | 2646 16118 115684 | 1 165957 20 | 0.000 % | 691.19/691.30 c | 3050443 | 2646 16118 115684 | 1 172859 21 | 0.000 % | 691.19/691.30 c | 3132133 | 2646 16118 115684 | 1 130951 15 | 0.000 % | 691.19/691.30 c | 3132234 | 2646 16118 115684 | 1 131052 15 | 0.000 % | 691.19/691.30 c | 3132338 | 2646 16118 115684 | 1 131156 15 | 0.000 % | 691.19/691.30 c | 3155044 | 2646 16118 115684 | 1 153862 18 | 0.000 % | 691.19/691.30 c | 3162866 | 2646 16118 115684 | 1 161684 19 | 0.000 % | 691.19/691.30 c | 3163980 | 2646 16118 115684 | 1 162798 19 | 0.000 % | 691.19/691.30 c | 3191062 | 2646 16118 115684 | 1 189880 21 | 0.000 % | 691.19/691.30 c | 3193492 | 2646 16118 115684 | 1 192310 21 | 0.000 % | 691.19/691.30 c | 3193595 | 2646 16118 115684 | 1 192413 21 | 0.000 % | 691.19/691.30 c | 3195300 | 2646 16118 115684 | 1 194118 22 | 0.000 % | 691.19/691.30 c | 3195429 | 2646 16118 115684 | 1 194247 22 | 0.000 % | 691.19/691.30 c | 3196440 | 2646 16118 115684 | 1 195258 22 | 0.000 % | 691.19/691.30 c | 3196540 | 2646 16118 115684 | 1 195358 22 | 0.000 % | 691.19/691.30 c | 3199138 | 2646 16118 115684 | 1 197956 22 | 0.000 % | 691.19/691.30 c | 3199238 | 2646 16118 115684 | 1 198056 22 | 0.000 % | 691.19/691.30 c | 3199340 | 2646 16118 115684 | 1 198158 22 | 0.000 % | 691.19/691.30 c | 3199440 | 2646 16118 115684 | 1 198258 22 | 0.000 % | 691.19/691.30 c | 3199542 | 2646 16118 115684 | 1 198360 22 | 0.000 % | 691.19/691.30 c | 3199680 | 2646 16118 115684 | 1 198498 22 | 0.000 % | 691.19/691.30 c | 3203167 | 2646 16118 115684 | 1 201985 22 | 0.000 % | 691.19/691.30 c | 3206369 | 2646 16118 115684 | 1 205187 23 | 0.000 % | 691.19/691.30 c | 3214317 | 2646 16118 115684 | 1 213135 23 | 0.000 % | 691.19/691.30 c | 3215816 | 2646 16118 115684 | 1 214634 23 | 0.000 % | 691.19/691.30 c | 3237246 | 2646 16118 115684 | 1 236064 24 | 0.000 % | 691.19/691.30 c | 3265778 | 2646 16118 115684 | 1 138398 16 | 0.000 % | 691.19/691.30 c | 3272693 | 2646 16118 115684 | 1 145313 17 | 0.000 % | 691.19/691.30 c | 3274096 | 2646 16118 115684 | 1 146716 17 | 0.000 % | 691.19/691.30 c | 3292041 | 2646 16118 115684 | 1 164661 19 | 0.000 % | 691.19/691.30 c | 3293150 | 2646 16118 115684 | 1 165770 19 | 0.000 % | 691.19/691.30 c | 3293250 | 2646 16118 115684 | 1 165870 19 | 0.000 % | 691.19/691.30 c | 3325535 | 2646 16118 115684 | 1 198155 21 | 0.000 % | 691.19/691.30 c | 3338537 | 2646 16118 115684 | 1 211157 23 | 0.000 % | 691.19/691.30 c | 3344681 | 2646 16118 115684 | 1 217301 23 | 0.000 % | 691.19/691.30 c | 3363824 | 2646 16118 115684 | 1 236444 24 | 0.000 % | 691.19/691.30 c | 3364114 | 2646 16118 115684 | 1 236734 24 | 0.000 % | 793.50/793.52 c | 3364580 | 2646 16118 115684 | 1 237200 24 | 0.000 % | 793.50/793.52 c | 3365473 | 2646 16118 115684 | 1 238093 24 | 0.000 % | 793.50/793.52 c | 3376162 | 2646 16118 115684 | 1 248782 25 | 0.000 % | 793.50/793.52 c | 3378767 | 2646 16118 115684 | 1 251387 25 | 0.000 % | 793.50/793.52 c | 3380952 | 2646 16118 115684 | 1 253572 25 | 0.000 % | 793.50/793.52 c | 3384080 | 2646 16118 115684 | 1 256700 25 | 0.000 % | 793.50/793.52 c | 3441045 | 2646 16118 115684 | 1 184864 20 | 0.000 % | 793.50/793.52 c | 3441145 | 2646 16118 115684 | 1 184964 20 | 0.000 % | 793.50/793.52 c | 3442412 | 2646 16118 115684 | 1 186231 20 | 0.000 % | 793.50/793.52 c | 3443885 | 2646 16118 115684 | 1 187704 20 | 0.000 % | 793.50/793.52 c | 3443985 | 2646 16118 115684 | 1 187804 20 | 0.000 % | 793.50/793.52 c | 3444224 | 2646 16118 115684 | 1 188043 20 | 0.000 % | 793.50/793.52 c | 3444369 | 2646 16118 115684 | 1 188188 20 | 0.000 % | 793.50/793.52 c | 3450231 | 2646 16118 115684 | 1 194050 21 | 0.000 % | 793.50/793.52 c | 3450331 | 2646 16118 115684 | 1 194150 21 | 0.000 % | 793.50/793.52 c | 3450432 | 2646 16118 115684 | 1 194251 21 | 0.000 % | 793.50/793.52 c | 3451045 | 2646 16118 115684 | 1 194864 21 | 0.000 % | 793.50/793.52 c | 3451145 | 2646 16118 115684 | 1 194964 21 | 0.000 % | 793.50/793.52 c | 3452825 | 2646 16118 115684 | 1 196644 21 | 0.000 % | 793.50/793.52 c | 3459963 | 2646 16118 115684 | 1 203782 22 | 0.000 % | 793.50/793.52 c | 3460119 | 2646 16118 115684 | 1 203938 22 | 0.000 % | 793.50/793.52 c | 3460220 | 2646 16118 115684 | 1 204039 22 | 0.000 % | 793.50/793.52 c | 3494799 | 2646 16118 115684 | 1 238618 24 | 0.000 % | 793.50/793.52 c | 3531529 | 2646 16118 115684 | 1 143945 16 | 0.000 % | 793.50/793.52 c | 3533130 | 2646 16118 115684 | 1 145546 16 | 0.000 % | 793.50/793.52 c | 3533231 | 2646 16118 115684 | 1 145647 16 | 0.000 % | 793.50/793.52 c | 3541711 | 2646 16118 115684 | 1 154127 17 | 0.000 % | 793.50/793.52 c | 3546100 | 2646 16118 115684 | 1 158516 18 | 0.000 % | 793.50/793.52 c | 3546547 | 2646 16118 115684 | 1 158963 18 | 0.000 % | 793.50/793.52 c | 3547909 | 2646 16118 115684 | 1 160325 18 | 0.000 % | 793.50/793.52 c | 3548076 | 2646 16118 115684 | 1 160492 18 | 0.000 % | 793.50/793.52 c | 3549755 | 2646 16118 115684 | 1 162171 18 | 0.000 % | 793.50/793.52 c | 3549856 | 2646 16118 115684 | 1 162272 18 | 0.000 % | 793.50/793.52 c | 3551336 | 2646 16118 115684 | 1 163752 18 | 0.000 % | 793.50/793.52 c | 3584878 | 2646 16118 115684 | 1 197294 22 | 0.000 % | 793.50/793.52 c | 3590467 | 2646 16118 115684 | 1 202883 22 | 0.000 % | 793.50/793.52 c | 3609077 | 2646 16118 115684 | 1 221493 23 | 0.000 % | 793.50/793.52 c | 3614297 | 2646 16118 115684 | 1 226713 24 | 0.000 % | 793.50/793.52 c | 3614397 | 2646 16118 115684 | 1 226813 24 | 0.000 % | 793.50/793.52 c | 3614787 | 2646 16118 115684 | 1 227203 24 | 0.000 % | 793.50/793.52 c | 3624581 | 2646 16118 115684 | 1 236997 24 | 0.000 % | 793.50/793.52 c | 3629347 | 2646 16118 115684 | 1 241763 25 | 0.000 % | 793.50/793.52 c | 3645407 | 2646 16118 115684 | 1 257823 26 | 0.000 % | 793.50/793.52 c | 3655383 | 2646 16118 115684 | 1 267799 26 | 0.000 % | 793.50/793.52 c | 3658008 | 2646 16118 115684 | 1 136422 15 | 0.000 % | 793.50/793.52 c | 3658210 | 2646 16118 115684 | 1 136624 15 | 0.000 % | 793.50/793.52 c | 3665887 | 2646 16118 115684 | 1 144301 16 | 0.000 % | 793.50/793.52 c | 3671094 | 2646 16118 115684 | 1 149508 17 | 0.000 % | 793.50/793.52 c | 3688082 | 2646 16118 115684 | 1 166496 19 | 0.000 % | 793.50/793.52 c | 3690010 | 2646 16118 115684 | 1 168424 19 | 0.000 % | 1079.71/1079.73 c | 3695404 | 2646 16118 115684 | 1 173818 19 | 0.000 % | 1079.71/1079.73 c | 3695778 | 2646 16118 115684 | 1 174192 19 | 0.000 % | 1079.71/1079.73 c | 3700155 | 2646 16118 115684 | 1 178569 20 | 0.000 % | 1079.71/1079.73 c | 3706224 | 2646 16118 115684 | 1 184638 21 | 0.000 % | 1079.71/1079.73 c | 3706823 | 2646 16118 115684 | 1 185237 21 | 0.000 % | 1079.71/1079.73 c | 3708730 | 2646 16118 115684 | 1 187144 21 | 0.000 % | 1079.71/1079.73 c | 3714296 | 2646 16118 115684 | 1 192710 21 | 0.000 % | 1079.71/1079.73 c | 3714478 | 2646 16118 115684 | 1 192892 21 | 0.000 % | 1079.71/1079.73 c | 3733713 | 2646 16118 115684 | 1 212127 23 | 0.000 % | 1079.71/1079.73 c | 3754974 | 2646 16118 115684 | 1 233388 24 | 0.000 % | 1079.71/1079.73 c | 3761382 | 2646 16118 115684 | 1 239796 24 | 0.000 % | 1079.71/1079.73 c | 3761672 | 2646 16118 115684 | 1 240086 24 | 0.000 % | 1079.71/1079.73 c | 3764485 | 2646 16118 115684 | 1 242899 25 | 0.000 % | 1079.71/1079.74 c | 3765517 | 2646 16118 115684 | 1 243931 25 | 0.000 % | 1079.71/1079.74 c | 3781533 | 2646 16118 115684 | 1 259947 25 | 0.000 % | 1079.71/1079.74 c | 3781633 | 2646 16118 115684 | 1 260047 25 | 0.000 % | 1079.71/1079.74 c | 3804484 | 2646 16118 115684 | 1 146300 15 | 0.000 % | 1079.71/1079.74 c | 3804898 | 2646 16118 115684 | 1 146714 15 | 0.000 % | 1079.71/1079.74 c | 3847721 | 2646 16118 115684 | 1 189537 19 | 0.000 % | 1079.71/1079.74 c | 3848190 | 2646 16118 115684 | 1 190006 19 | 0.000 % | 1079.71/1079.74 c | 3849005 | 2646 16118 115684 | 1 190821 19 | 0.000 % | 1079.71/1079.74 c | 3849166 | 2646 16118 115684 | 1 190982 19 | 0.000 % | 1079.71/1079.74 c | 3931200 | 2646 16118 115684 | 1 273016 25 | 0.000 % | 1079.71/1079.74 c | 3934420 | 2646 16118 115684 | 1 276236 26 | 0.000 % | 1079.71/1079.74 c | 3934681 | 2646 16118 115684 | 1 276497 26 | 0.000 % | 1079.71/1079.74 c | 3938168 | 2646 16118 115684 | 1 140781 14 | 0.000 % | 1079.71/1079.74 c | 3961743 | 2646 16118 115684 | 1 164356 18 | 0.000 % | 1079.71/1079.74 c | 3965059 | 2646 16118 115684 | 1 167672 18 | 0.000 % | 1079.71/1079.74 c | 3977915 | 2646 16118 115684 | 1 180528 20 | 0.000 % | 1079.71/1079.74 c | 3980004 | 2646 16118 115684 | 1 182617 20 | 0.000 % | 1079.71/1079.74 c | 4001016 | 2646 16118 115684 | 1 203629 22 | 0.000 % | 1079.71/1079.74 c | 4004309 | 2646 16118 115684 | 1 206922 22 | 0.000 % | 1079.71/1079.74 c | 4006345 | 2646 16118 115684 | 1 208958 22 | 0.000 % | 1079.71/1079.74 c | 4020087 | 2646 16118 115684 | 1 222700 23 | 0.000 % | 1079.71/1079.74 c | 4032151 | 2646 16118 115684 | 1 234764 24 | 0.000 % | 1079.71/1079.74 c | 4089214 | 2646 16118 115684 | 1 150029 15 | 0.000 % | 1079.71/1079.74 c | 4171882 | 2646 16118 115684 | 1 232697 22 | 0.000 % | 1079.71/1079.74 c | 4171984 | 2646 16118 115684 | 1 232799 22 | 0.000 % | 1079.71/1079.74 c | 4172284 | 2646 16118 115684 | 1 233099 22 | 0.000 % | 1079.71/1079.74 c | 4192072 | 2646 16118 115684 | 1 252887 24 | 0.000 % | 1079.71/1079.74 c | 4194458 | 2646 16118 115684 | 1 255273 24 | 0.000 % | 1079.71/1079.74 c | 4306695 | 2646 16118 115684 | 1 223114 21 | 0.000 % | 1079.71/1079.74 c | 4306800 | 2646 16118 115684 | 1 223219 21 | 0.000 % | 1079.71/1079.74 c | 4357033 | 2646 16118 115684 | 1 273452 24 | 0.000 % | 1079.71/1079.74 c | 4424683 | 2646 16118 115684 | 1 194107 19 | 0.000 % | 1079.71/1079.74 c | 4436191 | 2646 16118 115684 | 1 205615 20 | 0.000 % | 1079.71/1079.74 c | 4439758 | 2646 16118 115684 | 1 209182 20 | 0.000 % | 1079.71/1079.74 c | 4462941 | 2646 16118 115684 | 1 232365 22 | 0.000 % | 1079.71/1079.74 c | 4499029 | 2646 16118 115684 | 1 268453 24 | 0.000 % | 1079.71/1079.74 c | 4499235 | 2646 16118 115684 | 1 268659 24 | 0.000 % | 1378.34/1378.36 c | 4510475 | 2646 16118 115684 | 1 279899 24 | 0.000 % | 1378.34/1378.36 c | 4515888 | 2646 16118 115684 | 1 285312 24 | 0.000 % | 1378.34/1378.36 c | 4552803 | 2646 16118 115684 | 1 172620 17 | 0.000 % | 1378.34/1378.36 c | 4583168 | 2646 16118 115684 | 1 202985 20 | 0.000 % | 1378.34/1378.36 c | 4583422 | 2646 16118 115684 | 1 203239 20 | 0.000 % | 1378.34/1378.36 c | 4598008 | 2646 16118 115684 | 1 217825 21 | 0.000 % | 1378.34/1378.36 c | 4638915 | 2646 16118 115684 | 1 258732 23 | 0.000 % | 1378.34/1378.36 c | 4658602 | 2646 16118 115684 | 1 278419 24 | 0.000 % | 1378.34/1378.36 c | 4664717 | 2646 16118 115684 | 1 284534 24 | 0.000 % | 1378.34/1378.36 c | 4681668 | 2646 16118 115684 | 1 301485 25 | 0.000 % | 1378.34/1378.36 c | 4681769 | 2646 16118 115684 | 1 301586 25 | 0.000 % | 1378.34/1378.36 c | 4711682 | 2646 16118 115684 | 1 179295 17 | 0.000 % | 1378.34/1378.36 c | 4711930 | 2646 16118 115684 | 1 179543 17 | 0.000 % | 1378.34/1378.36 c | 4713117 | 2646 16118 115684 | 1 180730 17 | 0.000 % | 1378.34/1378.36 c | 4714625 | 2646 16118 115684 | 1 182238 18 | 0.000 % | 1378.34/1378.36 c | 4714767 | 2646 16118 115684 | 1 182380 18 | 0.000 % | 1378.34/1378.36 c | 4855898 | 2646 16118 115684 | 1 168707 15 | 0.000 % | 1378.34/1378.36 c | 4860099 | 2646 16118 115684 | 1 172908 16 | 0.000 % | 1378.34/1378.36 c | 4875019 | 2646 16118 115684 | 1 187828 18 | 0.000 % | 1378.34/1378.36 c | 4875234 | 2646 16118 115684 | 1 188043 18 | 0.000 % | 1378.34/1378.36 c | 4917591 | 2646 16118 115684 | 1 230400 21 | 0.000 % | 1378.34/1378.36 c | 4922621 | 2646 16118 115684 | 1 235430 21 | 0.000 % | 1378.34/1378.36 c | 4926750 | 2646 16118 115684 | 1 239559 22 | 0.000 % | 1378.34/1378.36 c | 4926850 | 2646 16118 115684 | 1 239659 22 | 0.000 % | 1378.34/1378.36 c | 4926952 | 2646 16118 115684 | 1 239761 22 | 0.000 % | 1378.34/1378.36 c | 4927171 | 2646 16118 115684 | 1 239980 22 | 0.000 % | 1378.34/1378.36 c | 4927271 | 2646 16118 115684 | 1 240080 22 | 0.000 % | 1378.34/1378.36 c | 4948855 | 2646 16118 115684 | 1 261664 23 | 0.000 % | 1378.34/1378.36 c | 4949441 | 2646 16118 115684 | 1 262250 23 | 0.000 % | 1378.34/1378.36 c | 4950643 | 2646 16118 115684 | 1 263452 23 | 0.000 % | 1378.34/1378.36 c | 4962847 | 2646 16118 115684 | 1 275656 24 | 0.000 % | 1378.34/1378.36 c | 4965178 | 2646 16118 115684 | 1 277987 24 | 0.000 % | 1378.34/1378.36 c | 4992494 | 2646 16118 115684 | 1 305303 25 | 0.000 % | 1378.34/1378.36 c | 5004880 | 2646 16118 115684 | 1 160294 14 | 0.000 % | 1378.34/1378.36 c | 5076565 | 2646 16118 115684 | 1 231979 21 | 0.000 % | 1378.34/1378.36 c | 5076665 | 2646 16118 115684 | 1 232079 21 | 0.000 % | 1378.34/1378.36 c | 5100263 | 2646 16118 115684 | 1 255677 22 | 0.000 % | 1378.34/1378.36 c | 5100365 | 2646 16118 115684 | 1 255779 22 | 0.000 % | 1378.34/1378.36 c | 5100465 | 2646 16118 115684 | 1 255879 22 | 0.000 % | 1378.34/1378.36 c | 5107021 | 2646 16118 115684 | 1 262435 23 | 0.000 % | 1378.34/1378.36 c | 5128723 | 2646 16118 115684 | 1 284137 24 | 0.000 % | 1378.34/1378.36 c | 5133013 | 2646 16118 115684 | 1 288427 24 | 0.000 % | 1378.34/1378.36 c | 5146811 | 2646 16118 115684 | 1 302225 25 | 0.000 % | 1378.34/1378.36 c | 5147474 | 2646 16118 115684 | 1 302888 25 | 0.000 % | 1378.34/1378.36 c | 5150164 | 2646 16118 115684 | 1 305578 25 | 0.000 % | 1378.34/1378.36 c | 5177935 | 2646 16118 115684 | 1 173348 15 | 0.000 % | 1378.34/1378.36 c | 5209147 | 2646 16118 115684 | 1 204560 19 | 0.000 % | 1378.34/1378.36 c | 5217155 | 2646 16118 115684 | 1 212568 20 | 0.000 % | 1378.34/1378.36 c | 5261648 | 2646 16118 115684 | 1 257061 22 | 0.000 % | 1378.34/1378.36 c | 5270687 | 2646 16118 115684 | 1 266100 23 | 0.000 % | 1787.32/1787.36 c | 5305952 | 2646 16118 115684 | 1 301365 24 | 0.000 % | 1787.32/1787.36 c | 5306662 | 2646 16118 115684 | 1 302075 24 | 0.000 % | 1787.32/1787.36 c | 5346218 | 2646 16118 115684 | 1 179035 16 | 0.000 % | 1787.32/1787.36 c | 5359541 | 2646 16118 115684 | 1 192358 17 | 0.000 % | 1787.32/1787.36 c | 5427781 | 2646 16118 115684 | 1 260598 22 | 0.000 % | 1787.32/1787.36 c | 5429506 | 2646 16118 115684 | 1 262323 22 | 0.000 % | 1787.32/1787.36 c | 5430235 | 2646 16118 115684 | 1 263052 22 | 0.000 % | 1787.32/1787.36 c | 5452204 | 2646 16118 115684 | 1 285021 23 | 0.000 % | 1787.32/1787.36 c | 5452347 | 2646 16118 115684 | 1 285164 23 | 0.000 % | 1787.32/1787.36 c | 5489233 | 2646 16118 115684 | 1 322050 24 | 0.000 % | 1787.32/1787.36 c | 5491750 | 2646 16118 115684 | 1 324567 24 | 0.000 % | 1787.32/1787.36 c | 5502084 | 2646 16118 115684 | 1 169702 14 | 0.000 % | 1787.32/1787.36 c | 5531496 | 2646 16118 115684 | 1 199114 17 | 0.000 % | 1787.32/1787.36 c | 5536967 | 2646 16118 115684 | 1 204585 18 | 0.000 % | 1787.32/1787.36 c | 5546792 | 2646 16118 115684 | 1 214410 19 | 0.000 % | 1787.32/1787.36 c | 5588742 | 2646 16118 115684 | 1 256360 21 | 0.000 % | 1787.32/1787.36 c | 5639630 | 2646 16118 115684 | 1 307248 23 | 0.000 % | 1787.32/1787.36 c | 5639736 | 2646 16118 115684 | 1 307354 23 | 0.000 % | 1787.32/1787.36 c | 5643210 | 2646 16118 115684 | 1 310828 23 | 0.000 % | 1787.32/1787.36 c | 5648200 | 2646 16118 115684 | 1 315818 24 | 0.000 % | 1787.32/1787.36 c | 5729675 | 2646 16118 115684 | 1 229494 19 | 0.000 % | 1787.32/1787.36 c | 5782664 | 2646 16118 115684 | 1 282483 23 | 0.000 % | 1787.32/1787.36 c | 5788167 | 2646 16118 115684 | 1 287986 23 | 0.000 % | 1787.32/1787.36 c | 5840277 | 2646 16118 115684 | 1 340096 25 | 0.000 % | 1787.32/1787.36 c | 5842057 | 2646 16118 115684 | 1 171471 14 | 0.000 % | 1787.32/1787.36 c | 5842237 | 2646 16118 115684 | 1 171651 14 | 0.000 % | 1787.32/1787.36 c | 5845219 | 2646 16118 115684 | 1 174633 14 | 0.000 % | 1787.32/1787.36 c | 5845323 | 2646 16118 115684 | 1 174737 15 | 0.000 % | 1787.32/1787.36 c | 5845423 | 2646 16118 115684 | 1 174837 15 | 0.000 % | 1787.32/1787.36 c | 5846471 | 2646 16118 115684 | 1 175885 15 | 0.000 % | 1787.32/1787.36 c | 5849542 | 2646 16118 115684 | 1 178956 15 | 0.000 % | 1787.32/1787.36 c | 5870209 | 2646 16118 115684 | 1 199623 17 | 0.000 % | 1787.32/1787.36 c | 5873648 | 2646 16118 115684 | 1 203062 18 | 0.000 % | 1787.32/1787.36 c | 5877908 | 2646 16118 115684 | 1 207322 18 | 0.000 % | 1787.32/1787.36 c | 5878304 | 2646 16118 115684 | 1 207718 18 | 0.000 % | 1787.32/1787.36 c | 5878407 | 2646 16118 115684 | 1 207821 18 | 0.000 % | 1787.32/1787.36 c | 5878508 | 2646 16118 115684 | 1 207922 18 | 0.000 % | 1787.32/1787.36 c | 5889106 | 2646 16118 115684 | 1 218520 20 | 0.000 % | 1787.32/1787.36 c | 5930341 | 2646 16118 115684 | 1 259755 22 | 0.000 % | 1787.32/1787.36 c | 5930447 | 2646 16118 115684 | 1 259861 22 | 0.000 % | 1787.32/1787.36 c | 6000574 | 2646 16118 115684 | 1 329988 25 | 0.000 % | 1787.32/1787.36 c | 6044874 | 2646 16118 115684 | 1 201291 17 | 0.000 % | 1787.32/1787.36 c | 6052806 | 2646 16118 115684 | 1 209223 18 | 0.000 % | 1787.32/1787.36 c | 6057358 | 2646 16118 115684 | 1 213775 18 | 0.000 % | 1787.32/1787.36 c | 6067624 | 2646 16118 115684 | 1 224041 19 | 0.000 % | 1787.32/1787.36 c | 6097268 | 2646 16118 115684 | 1 253685 21 | 0.000 % | 1787.32/1787.36 c | 6104651 | 2646 16118 115684 | 1 261068 22 | 0.000 % | 1787.32/1787.36 c | 6132932 | 2646 16118 115684 | 1 289349 23 | 0.000 % | 1787.32/1787.36 c | 6249972 | 2646 16118 115684 | 1 230796 19 | 0.000 % | 1787.32/1787.36 c | 6250074 | 2646 16118 115684 | 1 230898 19 | 0.000 % | 2101.12/2101.15 c | 6250612 | 2646 16118 115684 | 1 231436 19 | 0.000 % | 2101.12/2101.15 c | 6259547 | 2646 16118 115684 | 1 240371 19 | 0.000 % | 2101.12/2101.15 c | 6260703 | 2646 16118 115684 | 1 241527 19 | 0.000 % | 2101.12/2101.15 c | 6260806 | 2646 16118 115684 | 1 241630 19 | 0.000 % | 2101.12/2101.15 c | 6261008 | 2646 16118 115684 | 1 241832 19 | 0.000 % | 2101.12/2101.15 c | 6264204 | 2646 16118 115684 | 1 245028 20 | 0.000 % | 2101.12/2101.15 c | 6266043 | 2646 16118 115684 | 1 246867 20 | 0.000 % | 2101.12/2101.15 c | 6321039 | 2646 16118 115684 | 1 301863 23 | 0.000 % | 2101.12/2101.15 c | 6336611 | 2646 16118 115684 | 1 317435 23 | 0.000 % | 2101.12/2101.15 c | 6336866 | 2646 16118 115684 | 1 317690 23 | 0.000 % | 2101.12/2101.15 c | 6338553 | 2646 16118 115684 | 1 319377 23 | 0.000 % | 2101.12/2101.15 c | 6338654 | 2646 16118 115684 | 1 319478 23 | 0.000 % | 2101.12/2101.15 c | 6436475 | 2646 16118 115684 | 1 239091 19 | 0.000 % | 2101.12/2101.15 c | 6437875 | 2646 16118 115684 | 1 240491 19 | 0.000 % | 2101.12/2101.15 c | 6457180 | 2646 16118 115684 | 1 259796 20 | 0.000 % | 2101.12/2101.15 c | 6464560 | 2646 16118 115684 | 1 267176 20 | 0.000 % | 2101.12/2101.15 c | 6466698 | 2646 16118 115684 | 1 269314 20 | 0.000 % | 2101.12/2101.15 c | 6466798 | 2646 16118 115684 | 1 269414 20 | 0.000 % | 2101.12/2101.15 c | 6493696 | 2646 16118 115684 | 1 296312 22 | 0.000 % | 2101.12/2101.15 c | 6546069 | 2646 16118 115684 | 1 348685 24 | 0.000 % | 2101.12/2101.15 c | 6546948 | 2646 16118 115684 | 1 349564 24 | 0.000 % | 2101.12/2101.15 c | 6547818 | 2646 16118 115684 | 1 350434 24 | 0.000 % | 2101.12/2101.15 c | 6550165 | 2646 16118 115684 | 1 352781 24 | 0.000 % | 2101.12/2101.15 c | 6591802 | 2646 16118 115684 | 1 213615 17 | 0.000 % | 2101.12/2101.15 c | 6613641 | 2646 16118 115684 | 1 235454 19 | 0.000 % | 2101.12/2101.15 c | 6638334 | 2646 16118 115684 | 1 260147 20 | 0.000 % | 2101.12/2101.15 c | 6638441 | 2646 16118 115684 | 1 260254 20 | 0.000 % | 2101.12/2101.15 c | 6638615 | 2646 16118 115684 | 1 260428 20 | 0.000 % | 2101.12/2101.15 c | 6640284 | 2646 16118 115684 | 1 262097 20 | 0.000 % | 2101.12/2101.15 c | 6644161 | 2646 16118 115684 | 1 265974 21 | 0.000 % | 2101.12/2101.15 c | 6648377 | 2646 16118 115684 | 1 270190 21 | 0.000 % | 2101.12/2101.15 c | 6648725 | 2646 16118 115684 | 1 270538 21 | 0.000 % | 2101.12/2101.15 c | 6665697 | 2646 16118 115684 | 1 287510 22 | 0.000 % | 2101.12/2101.15 c | 6712475 | 2646 16118 115684 | 1 334288 23 | 0.000 % | 2101.12/2101.15 c | 6721863 | 2646 16118 115684 | 1 343676 24 | 0.000 % | 2101.12/2101.15 c | 6722120 | 2646 16118 115684 | 1 343933 24 | 0.000 % | 2101.12/2101.15 c | 6722220 | 2646 16118 115684 | 1 344033 24 | 0.000 % | 2101.12/2101.15 c | 6722355 | 2646 16118 115684 | 1 344168 24 | 0.000 % | 2101.12/2101.15 c | 6725232 | 2646 16118 115684 | 1 347045 24 | 0.000 % | 2101.12/2101.15 c | 6725627 | 2646 16118 115684 | 1 347440 24 | 0.000 % | 2101.12/2101.15 c | 6726156 | 2646 16118 115684 | 1 347969 24 | 0.000 % | 2101.12/2101.15 c | 6753705 | 2646 16118 115684 | 1 192117 15 | 0.000 % | 2101.12/2101.15 c | 6753833 | 2646 16118 115684 | 1 192245 15 | 0.000 % | 2101.12/2101.15 c | 6763263 | 2646 16118 115684 | 1 201675 16 | 0.000 % | 2101.12/2101.15 c | 6765846 | 2646 16118 115684 | 1 204258 16 | 0.000 % | 2101.12/2101.15 c | 6882162 | 2646 16118 115684 | 1 320574 22 | 0.000 % | 2101.12/2101.15 c | 6887579 | 2646 16118 115684 | 1 325991 22 | 0.000 % | 2101.12/2101.15 c | 6939540 | 2646 16118 115684 | 1 191955 14 | 0.000 % | 2101.12/2101.15 c | 6939814 | 2646 16118 115684 | 1 192229 14 | 0.000 % | 2101.12/2101.15 c | 6939916 | 2646 16118 115684 | 1 192331 14 | 0.000 % | 2372.76/2372.77 c | 6950454 | 2646 16118 115684 | 1 202869 16 | 0.000 % | 2372.76/2372.77 c | 6954915 | 2646 16118 115684 | 1 207330 16 | 0.000 % | 2372.76/2372.77 c | 6999167 | 2646 16118 115684 | 1 251582 19 | 0.000 % | 2372.76/2372.77 c | 7001662 | 2646 16118 115684 | 1 254077 19 | 0.000 % | 2372.76/2372.77 c | 7003155 | 2646 16118 115684 | 1 255570 19 | 0.000 % | 2372.76/2372.77 c | 7018489 | 2646 16118 115684 | 1 270904 20 | 0.000 % | 2372.76/2372.77 c | 7022190 | 2646 16118 115684 | 1 274605 21 | 0.000 % | 2372.76/2372.77 c | 7022291 | 2646 16118 115684 | 1 274706 21 | 0.000 % | 2372.76/2372.77 c | 7035543 | 2646 16118 115684 | 1 287958 21 | 0.000 % | 2372.76/2372.77 c | 7046280 | 2646 16118 115684 | 1 298695 22 | 0.000 % | 2372.76/2372.77 c | 7053854 | 2646 16118 115684 | 1 306269 22 | 0.000 % | 2372.76/2372.77 c | 7091097 | 2646 16118 115684 | 1 343512 24 | 0.000 % | 2372.76/2372.77 c | 7091351 | 2646 16118 115684 | 1 343766 24 | 0.000 % | 2372.76/2372.77 c | 7099916 | 2646 16118 115684 | 1 352331 24 | 0.000 % | 2372.76/2372.77 c | 7101678 | 2646 16118 115684 | 1 354093 24 | 0.000 % | 2372.76/2372.77 c | 7101780 | 2646 16118 115684 | 1 354195 24 | 0.000 % | 2372.76/2372.77 c | 7101895 | 2646 16118 115684 | 1 354310 24 | 0.000 % | 2372.76/2372.77 c | 7104166 | 2646 16118 115684 | 1 356581 24 | 0.000 % | 2372.76/2372.77 c | 7130418 | 2646 16118 115684 | 1 194228 14 | 0.000 % | 2372.76/2372.77 c | 7144046 | 2646 16118 115684 | 1 207856 16 | 0.000 % | 2372.76/2372.77 c | 7161897 | 2646 16118 115684 | 1 225707 18 | 0.000 % | 2372.76/2372.77 c | 7162034 | 2646 16118 115684 | 1 225844 18 | 0.000 % | 2372.76/2372.77 c | 7181410 | 2646 16118 115684 | 1 245220 20 | 0.000 % | 2372.76/2372.77 c | 7183646 | 2646 16118 115684 | 1 247456 20 | 0.000 % | 2372.76/2372.77 c | 7193803 | 2646 16118 115684 | 1 257613 20 | 0.000 % | 2372.76/2372.77 c | 7218907 | 2646 16118 115684 | 1 282717 22 | 0.000 % | 2372.76/2372.77 c | 7229917 | 2646 16118 115684 | 1 293727 22 | 0.000 % | 2372.76/2372.77 c | 7231006 | 2646 16118 115684 | 1 294816 23 | 0.000 % | 2372.76/2372.77 c | 7237301 | 2646 16118 115684 | 1 301111 23 | 0.000 % | 2372.76/2372.77 c | 7238021 | 2646 16118 115684 | 1 301831 23 | 0.000 % | 2372.76/2372.77 c | 7291974 | 2646 16118 115684 | 1 355784 25 | 0.000 % | 2372.76/2372.77 c | 7292649 | 2646 16118 115684 | 1 356459 25 | 0.000 % | 2372.76/2372.77 c | 7300717 | 2646 16118 115684 | 1 364527 25 | 0.000 % | 2372.76/2372.77 c | 7308247 | 2646 16118 115684 | 1 372057 25 | 0.000 % | 2372.76/2372.77 c | 7345226 | 2646 16118 115684 | 1 217836 16 | 0.000 % | 2372.76/2372.77 c | 7385243 | 2646 16118 115684 | 1 257853 19 | 0.000 % | 2372.76/2372.77 c | 7403789 | 2646 16118 115684 | 1 276399 20 | 0.000 % | 2372.76/2372.77 c | 7403924 | 2646 16118 115684 | 1 276534 20 | 0.000 % | 2372.76/2372.77 c | 7404097 | 2646 16118 115684 | 1 276707 20 | 0.000 % | 2372.76/2372.77 c | 7416797 | 2646 16118 115684 | 1 289407 21 | 0.000 % | 2372.76/2372.77 c | 7425954 | 2646 16118 115684 | 1 298564 22 | 0.000 % | 2372.76/2372.77 c | 7426055 | 2646 16118 115684 | 1 298665 22 | 0.000 % | 2372.76/2372.77 c | 7437310 | 2646 16118 115684 | 1 309920 22 | 0.000 % | 2372.76/2372.77 c | 7437412 | 2646 16118 115684 | 1 310022 22 | 0.000 % | 2372.76/2372.77 c | 7457261 | 2646 16118 115684 | 1 329871 23 | 0.000 % | 2372.76/2372.77 c | 7467161 | 2646 16118 115684 | 1 339771 23 | 0.000 % | 2372.76/2372.77 c | 7521908 | 2646 16118 115684 | 1 200721 15 | 0.000 % | 2372.76/2372.77 c | 7522009 | 2646 16118 115684 | 1 200822 15 | 0.000 % | 2372.76/2372.77 c | 7522109 | 2646 16118 115684 | 1 200922 15 | 0.000 % | 2372.76/2372.77 c | 7522427 | 2646 16118 115684 | 1 201240 15 | 0.000 % | 2622.84/2622.81 c | 7523116 | 2646 16118 115684 | 1 201929 15 | 0.000 % | 2622.84/2622.81 c | 7523216 | 2646 16118 115684 | 1 202029 15 | 0.000 % | 2622.84/2622.81 c | 7523326 | 2646 16118 115684 | 1 202139 15 | 0.000 % | 2622.84/2622.81 c | 7526087 | 2646 16118 115684 | 1 204900 15 | 0.000 % | 2622.84/2622.81 c | 7579210 | 2646 16118 115684 | 1 258023 19 | 0.000 % | 2622.84/2622.81 c | 7579917 | 2646 16118 115684 | 1 258730 19 | 0.000 % | 2622.84/2622.81 c | 7580167 | 2646 16118 115684 | 1 258980 19 | 0.000 % | 2622.84/2622.81 c | 7580483 | 2646 16118 115684 | 1 259296 19 | 0.000 % | 2622.84/2622.81 c | 7611602 | 2646 16118 115684 | 1 290415 21 | 0.000 % | 2622.84/2622.81 c | 7634904 | 2646 16118 115684 | 1 313717 23 | 0.000 % | 2622.84/2622.81 c | 7635005 | 2646 16118 115684 | 1 313818 23 | 0.000 % | 2622.84/2622.81 c | 7672587 | 2646 16118 115684 | 1 351400 24 | 0.000 % | 2622.84/2622.81 c | 7693229 | 2646 16118 115684 | 1 372042 24 | 0.000 % | 2622.84/2622.81 c | 7695264 | 2646 16118 115684 | 1 374077 25 | 0.000 % | 2622.84/2622.81 c | 7705709 | 2646 16118 115684 | 1 384522 25 | 0.000 % | 2622.84/2622.81 c | 7706194 | 2646 16118 115684 | 1 385007 25 | 0.000 % | 2622.84/2622.81 c | 7743680 | 2646 16118 115684 | 1 226092 16 | 0.000 % | 2622.84/2622.81 c | 7752924 | 2646 16118 115684 | 1 235336 17 | 0.000 % | 2622.84/2622.81 c | 7762911 | 2646 16118 115684 | 1 245323 18 | 0.000 % | 2622.84/2622.81 c | 7767990 | 2646 16118 115684 | 1 250402 18 | 0.000 % | 2622.84/2622.81 c | 7768301 | 2646 16118 115684 | 1 250713 18 | 0.000 % | 2622.84/2622.81 c | 7775966 | 2646 16118 115684 | 1 258378 19 | 0.000 % | 2622.84/2622.81 c | 7776150 | 2646 16118 115684 | 1 258562 19 | 0.000 % | 2622.84/2622.81 c | 7787218 | 2646 16118 115684 | 1 269630 20 | 0.000 % | 2622.84/2622.81 c | 7788354 | 2646 16118 115684 | 1 270766 20 | 0.000 % | 2622.84/2622.81 c | 7788634 | 2646 16118 115684 | 1 271046 20 | 0.000 % | 2622.84/2622.81 c | 7788960 | 2646 16118 115684 | 1 271372 20 | 0.000 % | 2622.84/2622.81 c | 7789124 | 2646 16118 115684 | 1 271536 20 | 0.000 % | 2622.84/2622.81 c | 7842185 | 2646 16118 115684 | 1 324597 22 | 0.000 % | 2622.84/2622.81 c | 7845444 | 2646 16118 115684 | 1 327856 22 | 0.000 % | 2622.84/2622.81 c | 7885015 | 2646 16118 115684 | 1 367427 24 | 0.000 % | 2622.84/2622.81 c | 7885115 | 2646 16118 115684 | 1 367527 24 | 0.000 % | 2622.84/2622.81 c | 7885883 | 2646 16118 115684 | 1 368295 24 | 0.000 % | 2622.84/2622.81 c | 7886351 | 2646 16118 115684 | 1 368763 24 | 0.000 % | 2622.84/2622.81 c | 7893249 | 2646 16118 115684 | 1 375661 24 | 0.000 % | 2622.84/2622.81 c | 7893606 | 2646 16118 115684 | 1 376018 24 | 0.000 % | 2622.84/2622.81 c | 7894602 | 2646 16118 115684 | 1 377014 24 | 0.000 % | 2622.84/2622.81 c | 7953694 | 2646 16118 115684 | 1 237113 17 | 0.000 % | 2622.84/2622.81 c | 7957247 | 2646 16118 115684 | 1 240666 17 | 0.000 % | 2622.84/2622.81 c | 7957349 | 2646 16118 115684 | 1 240768 17 | 0.000 % | 2622.84/2622.81 c | 7960958 | 2646 16118 115684 | 1 244377 18 | 0.000 % | 2622.84/2622.81 c | 7961059 | 2646 16118 115684 | 1 244478 18 | 0.000 % | 2622.84/2622.81 c | 7961751 | 2646 16118 115684 | 1 245170 18 | 0.000 % | 2622.84/2622.81 c | 7973278 | 2646 16118 115684 | 1 256697 19 | 0.000 % | 2622.84/2622.81 c | 7986300 | 2646 16118 115684 | 1 269719 19 | 0.000 % | 2622.84/2622.81 c | 7986400 | 2646 16118 115684 | 1 269819 19 | 0.000 % | 2622.84/2622.81 c | 7986572 | 2646 16118 115684 | 1 269991 19 | 0.000 % | 2622.84/2622.81 c | 7998014 | 2646 16118 115684 | 1 281433 20 | 0.000 % | 2622.84/2622.81 c | 8022686 | 2646 16118 115684 | 1 306105 21 | 0.000 % | 2622.84/2622.81 c | 8041217 | 2646 16118 115684 | 1 324636 22 | 0.000 % | 2929.25/2929.30 c | 8044085 | 2646 16118 115684 | 1 327504 22 | 0.000 % | 2929.25/2929.30 c | 8060985 | 2646 16118 115684 | 1 344404 23 | 0.000 % | 2929.25/2929.30 c | 8062923 | 2646 16118 115684 | 1 346342 23 | 0.000 % | 2929.25/2929.30 c | 8064769 | 2646 16118 115684 | 1 348188 23 | 0.000 % | 2929.25/2929.30 c | 8097205 | 2646 16118 115684 | 1 380624 24 | 0.000 % | 2929.25/2929.30 c | 8122470 | 2646 16118 115684 | 1 204289 14 | 0.000 % | 2929.25/2929.30 c | 8127029 | 2646 16118 115684 | 1 208848 15 | 0.000 % | 2929.25/2929.30 c | 8130393 | 2646 16118 115684 | 1 212212 15 | 0.000 % | 2929.25/2929.30 c | 8130564 | 2646 16118 115684 | 1 212383 15 | 0.000 % | 2929.25/2929.30 c | 8149248 | 2646 16118 115684 | 1 231067 17 | 0.000 % | 2929.25/2929.30 c | 8149349 | 2646 16118 115684 | 1 231168 17 | 0.000 % | 2929.25/2929.30 c | 8152421 | 2646 16118 115684 | 1 234240 17 | 0.000 % | 2929.25/2929.30 c | 8163159 | 2646 16118 115684 | 1 244978 18 | 0.000 % | 2929.25/2929.30 c | 8200224 | 2646 16118 115684 | 1 282043 20 | 0.000 % | 2929.25/2929.30 c | 8238340 | 2646 16118 115684 | 1 320159 22 | 0.000 % | 2929.25/2929.30 c | 8240264 | 2646 16118 115684 | 1 322083 22 | 0.000 % | 2929.25/2929.30 c | 8241185 | 2646 16118 115684 | 1 323004 22 | 0.000 % | 2929.25/2929.30 c | 8241722 | 2646 16118 115684 | 1 323541 22 | 0.000 % | 2929.25/2929.30 c | 8241882 | 2646 16118 115684 | 1 323701 22 | 0.000 % | 2929.25/2929.30 c | 8243852 | 2646 16118 115684 | 1 325671 22 | 0.000 % | 2929.25/2929.30 c | 8246370 | 2646 16118 115684 | 1 328189 22 | 0.000 % | 2929.25/2929.30 c | 8298643 | 2646 16118 115684 | 1 380462 24 | 0.000 % | 2929.25/2929.30 c | 8298743 | 2646 16118 115684 | 1 380562 24 | 0.000 % | 2929.25/2929.30 c | 8298893 | 2646 16118 115684 | 1 380712 24 | 0.000 % | 2929.25/2929.30 c | 8298994 | 2646 16118 115684 | 1 380813 24 | 0.000 % | 2929.25/2929.30 c | 8302074 | 2646 16118 115684 | 1 383893 24 | 0.000 % | 2929.25/2929.30 c | 8302256 | 2646 16118 115684 | 1 384075 24 | 0.000 % | 2929.25/2929.30 c | 8307639 | 2646 16118 115684 | 1 389458 24 | 0.000 % | 2929.25/2929.30 c | 8308250 | 2646 16118 115684 | 1 390069 24 | 0.000 % | 2929.25/2929.30 c | 8308350 | 2646 16118 115684 | 1 390169 24 | 0.000 % | 2929.25/2929.30 c | 8354998 | 2646 16118 115684 | 1 232620 16 | 0.000 % | 2929.25/2929.30 c | 8355584 | 2646 16118 115684 | 1 233206 16 | 0.000 % | 2929.25/2929.30 c | 8356625 | 2646 16118 115684 | 1 234247 16 | 0.000 % | 2929.25/2929.30 c | 8357082 | 2646 16118 115684 | 1 234704 16 | 0.000 % | 2929.25/2929.30 c | 8488469 | 2646 16118 115684 | 1 366091 24 | 0.000 % | 2929.25/2929.30 c | 8491025 | 2646 16118 115684 | 1 368647 24 | 0.000 % | 2929.25/2929.30 c | 8491970 | 2646 16118 115684 | 1 369592 24 | 0.000 % | 2929.25/2929.30 c | 8494270 | 2646 16118 115684 | 1 371892 24 | 0.000 % | 2929.25/2929.30 c | 8508578 | 2646 16118 115684 | 1 386200 25 | 0.000 % | 2929.25/2929.30 c | 8528373 | 2646 16118 115684 | 1 405995 25 | 0.000 % | 2929.25/2929.30 c | 8563299 | 2646 16118 115684 | 1 234123 16 | 0.000 % | 2929.25/2929.30 c | 8568932 | 2646 16118 115684 | 1 239756 17 | 0.000 % | 2929.25/2929.30 c | 8569718 | 2646 16118 115684 | 1 240542 17 | 0.000 % | 2929.25/2929.30 c | 8569866 | 2646 16118 115684 | 1 240690 17 | 0.000 % | 2929.25/2929.30 c | 8569966 | 2646 16118 115684 | 1 240790 17 | 0.000 % | 2929.25/2929.30 c | 8573038 | 2646 16118 115684 | 1 243862 17 | 0.000 % | 2929.25/2929.30 c | 8600681 | 2646 16118 115684 | 1 271505 19 | 0.000 % | 2929.25/2929.30 c | 8600785 | 2646 16118 115684 | 1 271609 19 | 0.000 % | 2929.25/2929.30 c | 8619998 | 2646 16118 115684 | 1 290822 20 | 0.000 % | 2929.25/2929.30 c | 8620098 | 2646 16118 115684 | 1 290922 20 | 0.000 % | 3200.15/3200.17 c | 8644223 | 2646 16118 115684 | 1 315047 21 | 0.000 % | 3200.15/3200.17 c | 8649942 | 2646 16118 115684 | 1 320766 21 | 0.000 % | 3200.15/3200.17 c | 8667180 | 2646 16118 115684 | 1 338004 22 | 0.000 % | 3200.15/3200.17 c | 8667293 | 2646 16118 115684 | 1 338117 22 | 0.000 % | 3200.15/3200.17 c | 8672144 | 2646 16118 115684 | 1 342968 22 | 0.000 % | 3200.15/3200.17 c | 8673705 | 2646 16118 115684 | 1 344529 22 | 0.000 % | 3200.15/3200.17 c | 8673997 | 2646 16118 115684 | 1 344821 23 | 0.000 % | 3200.15/3200.17 c | 8675041 | 2646 16118 115684 | 1 345865 23 | 0.000 % | 3200.15/3200.17 c | 8675219 | 2646 16118 115684 | 1 346043 23 | 0.000 % | 3200.15/3200.17 c | 8675401 | 2646 16118 115684 | 1 346225 23 | 0.000 % | 3200.15/3200.17 c | 8680544 | 2646 16118 115684 | 1 351368 23 | 0.000 % | 3200.15/3200.17 c | 8680645 | 2646 16118 115684 | 1 351469 23 | 0.000 % | 3200.15/3200.17 c | 8695217 | 2646 16118 115684 | 1 366041 23 | 0.000 % | 3200.15/3200.17 c | 8695817 | 2646 16118 115684 | 1 366641 23 | 0.000 % | 3200.15/3200.17 c | 8713098 | 2646 16118 115684 | 1 383922 24 | 0.000 % | 3200.15/3200.17 c | 8744982 | 2646 16118 115684 | 1 415806 25 | 0.000 % | 3200.15/3200.17 c | 8748865 | 2646 16118 115684 | 1 210280 14 | 0.000 % | 3200.15/3200.17 c | 8749511 | 2646 16118 115684 | 1 210926 14 | 0.000 % | 3200.15/3200.17 c | 8749613 | 2646 16118 115684 | 1 211028 14 | 0.000 % | 3200.15/3200.17 c | 8750901 | 2646 16118 115684 | 1 212316 14 | 0.000 % | 3200.15/3200.17 c | 8752053 | 2646 16118 115684 | 1 213468 14 | 0.000 % | 3200.15/3200.17 c | 8754092 | 2646 16118 115684 | 1 215507 15 | 0.000 % | 3200.15/3200.17 c | 8754217 | 2646 16118 115684 | 1 215632 15 | 0.000 % | 3200.15/3200.17 c | 8767552 | 2646 16118 115684 | 1 228967 16 | 0.000 % | 3200.15/3200.17 c | 8768011 | 2646 16118 115684 | 1 229426 16 | 0.000 % | 3200.15/3200.17 c | 8768432 | 2646 16118 115684 | 1 229847 16 | 0.000 % | 3200.15/3200.17 c | 8768532 | 2646 16118 115684 | 1 229947 16 | 0.000 % | 3200.15/3200.17 c | 8768645 | 2646 16118 115684 | 1 230060 16 | 0.000 % | 3200.15/3200.17 c | 8827761 | 2646 16118 115684 | 1 289176 20 | 0.000 % | 3200.15/3200.17 c | 8828675 | 2646 16118 115684 | 1 290090 20 | 0.000 % | 3200.15/3200.17 c | 8832915 | 2646 16118 115684 | 1 294330 20 | 0.000 % | 3200.15/3200.17 c | 8858625 | 2646 16118 115684 | 1 320040 22 | 0.000 % | 3200.15/3200.17 c | 8904548 | 2646 16118 115684 | 1 365963 23 | 0.000 % | 3200.15/3200.17 c | 8980556 | 2646 16118 115684 | 1 229972 15 | 0.000 % | 3200.15/3200.17 c | 8983605 | 2646 16118 115684 | 1 233021 15 | 0.000 % | 3200.15/3200.17 c | 9003149 | 2646 16118 115684 | 1 252565 17 | 0.000 % | 3200.15/3200.17 c | 9009975 | 2646 16118 115684 | 1 259391 18 | 0.000 % | 3200.15/3200.17 c | 9027799 | 2646 16118 115684 | 1 277215 19 | 0.000 % | 3200.15/3200.17 c | 9036544 | 2646 16118 115684 | 1 285960 20 | 0.000 % | 3200.15/3200.17 c | 9036917 | 2646 16118 115684 | 1 286333 20 | 0.000 % | 3200.15/3200.17 c | 9037339 | 2646 16118 115684 | 1 286755 20 | 0.000 % | 3200.15/3200.17 c | 9039515 | 2646 16118 115684 | 1 288931 20 | 0.000 % | 3200.15/3200.17 c | 9060469 | 2646 16118 115684 | 1 309885 21 | 0.000 % | 3200.15/3200.17 c | 9068811 | 2646 16118 115684 | 1 318227 21 | 0.000 % | 3200.15/3200.17 c | 9092110 | 2646 16118 115684 | 1 341526 23 | 0.000 % | 3200.15/3200.17 c | 9095045 | 2646 16118 115684 | 1 344461 23 | 0.000 % | 3200.15/3200.17 c | 9096657 | 2646 16118 115684 | 1 346073 23 | 0.000 % | 3200.15/3200.17 c | 9101971 | 2646 16118 115684 | 1 351387 23 | 0.000 % | 3200.15/3200.17 c | 9102072 | 2646 16118 115684 | 1 351488 23 | 0.000 % | 3200.15/3200.17 c | 9102992 | 2646 16118 115684 | 1 352408 23 | 0.000 % | 3463.56/3463.59 c | 9106014 | 2646 16118 115684 | 1 355430 23 | 0.000 % | 3463.56/3463.59 c | 9106173 | 2646 16118 115684 | 1 355589 23 | 0.000 % | 3463.56/3463.59 c | 9106847 | 2646 16118 115684 | 1 356263 23 | 0.000 % | 3463.56/3463.59 c | 9112247 | 2646 16118 115684 | 1 361663 23 | 0.000 % | 3463.56/3463.59 c | 9112765 | 2646 16118 115684 | 1 362181 23 | 0.000 % | 3463.56/3463.59 c | 9118709 | 2646 16118 115684 | 1 368125 24 | 0.000 % | 3463.56/3463.59 c | 9133900 | 2646 16118 115684 | 1 383316 24 | 0.000 % | 3463.56/3463.59 c | 9156793 | 2646 16118 115684 | 1 406209 25 | 0.000 % | 3463.56/3463.59 c | 9160015 | 2646 16118 115684 | 1 409431 25 | 0.000 % | 3463.56/3463.59 c | 9174469 | 2646 16118 115684 | 1 423885 25 | 0.000 % | 3463.56/3463.59 c | 9175221 | 2646 16118 115684 | 1 424637 25 | 0.000 % | 3463.56/3463.59 c | 9181887 | 2646 16118 115684 | 1 216706 14 | 0.000 % | 3463.56/3463.59 c | 9183937 | 2646 16118 115684 | 1 218756 14 | 0.000 % | 3463.56/3463.59 c | 9184321 | 2646 16118 115684 | 1 219140 14 | 0.000 % | 3463.56/3463.59 c | 9186142 | 2646 16118 115684 | 1 220961 15 | 0.000 % | 3463.56/3463.59 c | 9186242 | 2646 16118 115684 | 1 221061 15 | 0.000 % | 3463.56/3463.59 c | 9191803 | 2646 16118 115684 | 1 226622 15 | 0.000 % | 3463.56/3463.59 c | 9197080 | 2646 16118 115684 | 1 231899 16 | 0.000 % | 3463.56/3463.59 c | 9199054 | 2646 16118 115684 | 1 233873 16 | 0.000 % | 3463.56/3463.59 c | 9259269 | 2646 16118 115684 | 1 294088 19 | 0.000 % | 3463.56/3463.59 c | 9285826 | 2646 16118 115684 | 1 320645 20 | 0.000 % | 3463.56/3463.59 c | 9286155 | 2646 16118 115684 | 1 320974 20 | 0.000 % | 3463.56/3463.59 c | 9299362 | 2646 16118 115684 | 1 334181 21 | 0.000 % | 3463.56/3463.59 c | 9310863 | 2646 16118 115684 | 1 345682 21 | 0.000 % | 3463.56/3463.59 c | 9310967 | 2646 16118 115684 | 1 345786 21 | 0.000 % | 3463.56/3463.59 c | 9311067 | 2646 16118 115684 | 1 345886 21 | 0.000 % | 3463.56/3463.59 c | 9316350 | 2646 16118 115684 | 1 351169 22 | 0.000 % | 3463.56/3463.59 c | 9326807 | 2646 16118 115684 | 1 361626 22 | 0.000 % | 3463.56/3463.59 c | 9338377 | 2646 16118 115684 | 1 373196 22 | 0.000 % | 3463.56/3463.59 c | 9338478 | 2646 16118 115684 | 1 373297 22 | 0.000 % | 3463.56/3463.59 c | 9339010 | 2646 16118 115684 | 1 373829 22 | 0.000 % | 3463.56/3463.59 c | 9354274 | 2646 16118 115684 | 1 389093 23 | 0.000 % | 3463.56/3463.59 c | 9371809 | 2646 16118 115684 | 1 406628 24 | 0.000 % | 3463.56/3463.59 c | 9371910 | 2646 16118 115684 | 1 406729 24 | 0.000 % | 3463.56/3463.59 c | 9372792 | 2646 16118 115684 | 1 407611 24 | 0.000 % | 3463.56/3463.59 c | 9374302 | 2646 16118 115684 | 1 409121 24 | 0.000 % | 3463.56/3463.59 c | 9374402 | 2646 16118 115684 | 1 409221 24 | 0.000 % | 3463.56/3463.59 c | 9374504 | 2646 16118 115684 | 1 409323 24 | 0.000 % | 3463.56/3463.59 c | 9377144 | 2646 16118 115684 | 1 411963 24 | 0.000 % | 3463.56/3463.59 c | 9379150 | 2646 16118 115684 | 1 413969 24 | 0.000 % | 3463.56/3463.59 c | 9390636 | 2646 16118 115684 | 1 425455 24 | 0.000 % | 3463.56/3463.59 c | 9390941 | 2646 16118 115684 | 1 425760 24 | 0.000 % | 3463.56/3463.59 c | 9394927 | 2646 16118 115684 | 1 429746 24 | 0.000 % | 3463.56/3463.59 c | 9395952 | 2646 16118 115684 | 1 430771 24 | 0.000 % | 3463.56/3463.59 c | 9396101 | 2646 16118 115684 | 1 430920 24 | 0.000 % | 3463.56/3463.59 c | 9526527 | 2646 16118 115684 | 1 344142 22 | 0.000 % | 3463.56/3463.59 c | 9542971 | 2646 16118 115684 | 1 360586 22 | 0.000 % | 3463.56/3463.59 c | 9550414 | 2646 16118 115684 | 1 368029 23 | 0.000 % | 3463.56/3463.59 c | 9566259 | 2646 16118 115684 | 1 383874 23 | 0.000 % | 3463.56/3463.59 c | 9566360 | 2646 16118 115684 | 1 383975 23 | 0.000 % | 4009.59/4009.54 c | 9566759 | 2646 16118 115684 | 1 384374 23 | 0.000 % | 4009.59/4009.54 c | 9566860 | 2646 16118 115684 | 1 384475 23 | 0.000 % | 4009.59/4009.54 c | 9571005 | 2646 16118 115684 | 1 388620 23 | 0.000 % | 4009.59/4009.54 c | 9571106 | 2646 16118 115684 | 1 388721 23 | 0.000 % | 4009.59/4009.54 c | 9583001 | 2646 16118 115684 | 1 400616 24 | 0.000 % | 4009.59/4009.54 c | 9618308 | 2646 16118 115684 | 1 435923 25 | 0.000 % | 4009.59/4009.54 c | 9618411 | 2646 16118 115684 | 1 436026 25 | 0.000 % | 4009.59/4009.54 c | 9618513 | 2646 16118 115684 | 1 436128 25 | 0.000 % | 4009.59/4009.54 c | 9619584 | 2646 16118 115684 | 1 437199 25 | 0.000 % | 4009.59/4009.54 c | 9655298 | 2646 16118 115684 | 1 253114 17 | 0.000 % | 4009.59/4009.54 c | 9655702 | 2646 16118 115684 | 1 253518 17 | 0.000 % | 4009.59/4009.54 c | 9655802 | 2646 16118 115684 | 1 253618 17 | 0.000 % | 4009.59/4009.54 c | 9853180 | 2646 16118 115684 | 1 228593 14 | 0.000 % | 4009.59/4009.54 c | 9858930 | 2646 16118 115684 | 1 234343 15 | 0.000 % | 4009.59/4009.54 c | 9860335 | 2646 16118 115684 | 1 235748 15 | 0.000 % | 4009.59/4009.54 c | 9861124 | 2646 16118 115684 | 1 236537 15 | 0.000 % | 4009.59/4009.54 c | 9896218 | 2646 16118 115684 | 1 271631 17 | 0.000 % | 4009.59/4009.54 c | 9908219 | 2646 16118 115684 | 1 283632 18 | 0.000 % | 4009.59/4009.54 c | 9935393 | 2646 16118 115684 | 1 310806 20 | 0.000 % | 4009.59/4009.54 c | 9935901 | 2646 16118 115684 | 1 311314 20 | 0.000 % | 4009.59/4009.54 c | 9984527 | 2646 16118 115684 | 1 359940 21 | 0.000 % | 4009.59/4009.54 c | 10048023 | 2646 16118 115684 | 1 423436 23 | 0.000 % | 4009.59/4009.54 c | 10095775 | 2646 16118 115684 | 1 246194 15 | 0.000 % | 4009.59/4009.54 c | 10098834 | 2646 16118 115684 | 1 249253 16 | 0.000 % | 4009.59/4009.54 c | 10131420 | 2646 16118 115684 | 1 281839 17 | 0.000 % | 4009.59/4009.54 c | 10142740 | 2646 16118 115684 | 1 293159 18 | 0.000 % | 4009.59/4009.54 c | 10160662 | 2646 16118 115684 | 1 311081 19 | 0.000 % | 4009.59/4009.54 c | 10160762 | 2646 16118 115684 | 1 311181 19 | 0.000 % | 4009.59/4009.54 c | 10161862 | 2646 16118 115684 | 1 312281 19 | 0.000 % | 4009.59/4009.54 c | 10162999 | 2646 16118 115684 | 1 313418 19 | 0.000 % | 4009.59/4009.54 c | 10183153 | 2646 16118 115684 | 1 333572 20 | 0.000 % | 4009.59/4009.54 c | 10207542 | 2646 16118 115684 | 1 357961 21 | 0.000 % | 4009.59/4009.54 c | 10237384 | 2646 16118 115684 | 1 387803 22 | 0.000 % | 4009.59/4009.54 c | 10262864 | 2646 16118 115684 | 1 413283 23 | 0.000 % | 4009.59/4009.54 c | 10312440 | 2646 16118 115684 | 1 235256 14 | 0.000 % | 4009.59/4009.54 c | 10312870 | 2646 16118 115684 | 1 235686 14 | 0.000 % | 4009.59/4009.54 c | 10312971 | 2646 16118 115684 | 1 235787 14 | 0.000 % | 4009.59/4009.54 c | 10313071 | 2646 16118 115684 | 1 235887 14 | 0.000 % | 4009.59/4009.54 c | 10314489 | 2646 16118 115684 | 1 237305 15 | 0.000 % | 4009.59/4009.54 c | 10325563 | 2646 16118 115684 | 1 248379 16 | 0.000 % | 4009.59/4009.54 c | 10378983 | 2646 16118 115684 | 1 301799 19 | 0.000 % | 4009.59/4009.54 c | 10379870 | 2646 16118 115684 | 1 302686 19 | 0.000 % | 4009.59/4009.54 c | 10398926 | 2646 16118 115684 | 1 321742 20 | 0.000 % | 4009.59/4009.54 c | 10427171 | 2646 16118 115684 | 1 349987 21 | 0.000 % | 4009.59/4009.54 c | 10430859 | 2646 16118 115684 | 1 353675 21 | 0.000 % | 4009.59/4009.54 c | 10463254 | 2646 16118 115684 | 1 386070 22 | 0.000 % | 4009.59/4009.54 c | 10467121 | 2646 16118 115684 | 1 389937 22 | 0.000 % | 4009.59/4009.54 c | 10486094 | 2646 16118 115684 | 1 408910 23 | 0.000 % | 4009.59/4009.54 c | 10486441 | 2646 16118 115684 | 1 409257 23 | 0.000 % | 4009.59/4009.54 c | 10489725 | 2646 16118 115684 | 1 412541 23 | 0.000 % | 4566.78/4566.70 c | 10489898 | 2646 16118 115684 | 1 412714 23 | 0.000 % | 4566.78/4566.70 c | 10490375 | 2646 16118 115684 | 1 413191 23 | 0.000 % | 4566.78/4566.70 c | 10490556 | 2646 16118 115684 | 1 413372 23 | 0.000 % | 4566.78/4566.70 c | 10503699 | 2646 16118 115684 | 1 426515 24 | 0.000 % | 4566.78/4566.70 c | 10505482 | 2646 16118 115684 | 1 428298 24 | 0.000 % | 4566.78/4566.70 c | 10505582 | 2646 16118 115684 | 1 428398 24 | 0.000 % | 4566.78/4566.70 c | 10524336 | 2646 16118 115684 | 1 447152 24 | 0.000 % | 4566.78/4566.70 c | 10534325 | 2646 16118 115684 | 1 457141 25 | 0.000 % | 4566.78/4566.70 c | 10538642 | 2646 16118 115684 | 1 231257 14 | 0.000 % | 4566.78/4566.70 c | 10595677 | 2646 16118 115684 | 1 288292 18 | 0.000 % | 4566.78/4566.70 c | 10611449 | 2646 16118 115684 | 1 304064 19 | 0.000 % | 4566.78/4566.70 c | 10614428 | 2646 16118 115684 | 1 307043 19 | 0.000 % | 4566.78/4566.70 c | 10648235 | 2646 16118 115684 | 1 340850 21 | 0.000 % | 4566.78/4566.70 c | 10648335 | 2646 16118 115684 | 1 340950 21 | 0.000 % | 4566.78/4566.70 c | 10648435 | 2646 16118 115684 | 1 341050 21 | 0.000 % | 4566.78/4566.70 c | 10771987 | 2646 16118 115684 | 1 464602 24 | 0.000 % | 4566.78/4566.70 c | 10811122 | 2646 16118 115684 | 1 270936 16 | 0.000 % | 4566.78/4566.70 c | 10814932 | 2646 16118 115684 | 1 274746 17 | 0.000 % | 4566.78/4566.70 c | 10815033 | 2646 16118 115684 | 1 274847 17 | 0.000 % | 4566.78/4566.70 c | 10815135 | 2646 16118 115684 | 1 274949 17 | 0.000 % | 4566.78/4566.70 c | 10815236 | 2646 16118 115684 | 1 275050 17 | 0.000 % | 4566.78/4566.70 c | 10821815 | 2646 16118 115684 | 1 281629 17 | 0.000 % | 4566.78/4566.70 c | 10822312 | 2646 16118 115684 | 1 282126 17 | 0.000 % | 4566.78/4566.70 c | 10833505 | 2646 16118 115684 | 1 293319 18 | 0.000 % | 4566.78/4566.70 c | 10834177 | 2646 16118 115684 | 1 293991 18 | 0.000 % | 4566.78/4566.70 c | 10834312 | 2646 16118 115684 | 1 294126 18 | 0.000 % | 4566.78/4566.70 c | 10868122 | 2646 16118 115684 | 1 327936 19 | 0.000 % | 4566.78/4566.70 c | 10912445 | 2646 16118 115684 | 1 372259 21 | 0.000 % | 4566.78/4566.70 c | 10913160 | 2646 16118 115684 | 1 372974 21 | 0.000 % | 4566.78/4566.70 c | 10913260 | 2646 16118 115684 | 1 373074 22 | 0.000 % | 4566.78/4566.70 c | 10913683 | 2646 16118 115684 | 1 373497 22 | 0.000 % | 4566.78/4566.70 c | 10915598 | 2646 16118 115684 | 1 375412 22 | 0.000 % | 4566.78/4566.70 c | 10915744 | 2646 16118 115684 | 1 375558 22 | 0.000 % | 4566.78/4566.70 c | 10921180 | 2646 16118 115684 | 1 380994 22 | 0.000 % | 4566.78/4566.70 c | 10993854 | 2646 16118 115684 | 1 453668 24 | 0.000 % | 4566.78/4566.70 c | 11040309 | 2646 16118 115684 | 1 264726 16 | 0.000 % | 4566.78/4566.70 c | 11051833 | 2646 16118 115684 | 1 276250 17 | 0.000 % | 4566.78/4566.70 c | 11059212 | 2646 16118 115684 | 1 283629 17 | 0.000 % | 4566.78/4566.70 c | 11085088 | 2646 16118 115684 | 1 309505 19 | 0.000 % | 4566.78/4566.70 c | 11124894 | 2646 16118 115684 | 1 349311 21 | 0.000 % | 4566.78/4566.70 c | 11148117 | 2646 16118 115684 | 1 372534 22 | 0.000 % | 4566.78/4566.70 c | 11152009 | 2646 16118 115684 | 1 376426 22 | 0.000 % | 4566.78/4566.70 c | 11200594 | 2646 16118 115684 | 1 425011 24 | 0.000 % | 4566.78/4566.70 c | 11210616 | 2646 16118 115684 | 1 435033 24 | 0.000 % | 4566.78/4566.70 c | 11219070 | 2646 16118 115684 | 1 443487 24 | 0.000 % | 4566.78/4566.70 c | 11220577 | 2646 16118 115684 | 1 444994 24 | 0.000 % | 4566.78/4566.70 c | 11269606 | 2646 16118 115684 | 1 256025 16 | 0.000 % | 4566.78/4566.70 c | 11273755 | 2646 16118 115684 | 1 260174 16 | 0.000 % | 4566.78/4566.70 c | 11289185 | 2646 16118 115684 | 1 275604 17 | 0.000 % | 4566.78/4566.70 c | 11357240 |
ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected) Got answer: <no 's ' line found>
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.0 (svn: 977) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3303576-1306950036/watcher-3303576-1306950036 -o /tmp/evaluation-result-3303576-1306950036/solver-3303576-1306950036 -C 5000 -W 5100 -M 15500 glucose.sh HOME/instance-3303576-1306950036.cnf running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 5000 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 5030 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.72 1.95 1.98 2/569 7402 /proc/meminfo: memFree=32329620/32950928 swapFree=43925848/67111528 [pid=7402] ppid=7399 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/7402/stat : 7402 (glucose.sh) S 7399 7402 6614 0 -1 4202496 335 0 0 0 0 0 0 0 21 0 1 0 806602407 8912896 253 33554432000 4194304 4922060 140734694151536 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/7402/statm: 2176 253 211 178 0 69 0 [startup+0.0804709 s] /proc/loadavg: 1.72 1.95 1.98 2/569 7402 /proc/meminfo: memFree=32329620/32950928 swapFree=43925848/67111528 [pid=7402] ppid=7399 vsize=8704 CPUtime=0.05 cores=0,2,4,6 /proc/7402/stat : 7402 (glucose.sh) S 7399 7402 6614 0 -1 4202496 360 732 0 0 0 0 5 0 21 0 1 0 806602407 8912896 255 33554432000 4194304 4922060 140734694151536 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/7402/statm: 2176 255 211 178 0 69 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 8704 [startup+0.100491 s] /proc/loadavg: 1.72 1.95 1.98 2/569 7402 /proc/meminfo: memFree=32329620/32950928 swapFree=43925848/67111528 [pid=7402] ppid=7399 vsize=8704 CPUtime=0.05 cores=0,2,4,6 /proc/7402/stat : 7402 (glucose.sh) S 7399 7402 6614 0 -1 4202496 360 732 0 0 0 0 5 0 21 0 1 0 806602407 8912896 255 33554432000 4194304 4922060 140734694151536 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/7402/statm: 2176 255 211 178 0 69 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 8704 [startup+0.300501 s] /proc/loadavg: 1.72 1.95 1.98 2/569 7402 /proc/meminfo: memFree=32329620/32950928 swapFree=43925848/67111528 [pid=7402] ppid=7399 vsize=8704 CPUtime=0.05 cores=0,2,4,6 /proc/7402/stat : 7402 (glucose.sh) S 7399 7402 6614 0 -1 4202496 360 732 0 0 0 0 5 0 21 0 1 0 806602407 8912896 255 33554432000 4194304 4922060 140734694151536 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/7402/statm: 2176 255 211 178 0 69 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 8704 [startup+0.700473 s] /proc/loadavg: 1.72 1.95 1.98 2/569 7402 /proc/meminfo: memFree=32329620/32950928 swapFree=43925848/67111528 [pid=7402] ppid=7399 vsize=8704 CPUtime=0.05 cores=0,2,4,6 /proc/7402/stat : 7402 (glucose.sh) S 7399 7402 6614 0 -1 4202496 360 732 0 0 0 0 5 0 21 0 1 0 806602407 8912896 255 33554432000 4194304 4922060 140734694151536 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/7402/statm: 2176 255 211 178 0 69 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 8704 [startup+1.50033 s] /proc/loadavg: 1.72 1.95 1.98 3/575 7411 /proc/meminfo: memFree=32309492/32950928 swapFree=43925848/67111528 [pid=7402] ppid=7399 vsize=8704 CPUtime=0.05 cores=0,2,4,6 /proc/7402/stat : 7402 (glucose.sh) S 7399 7402 6614 0 -1 4202496 360 732 0 0 0 0 5 0 21 0 1 0 806602407 8912896 255 33554432000 4194304 4922060 140734694151536 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/7402/statm: 2176 255 211 178 0 69 0 [pid=7409] ppid=7402 vsize=24400 CPUtime=1.43 cores=0,2,4,6 /proc/7409/stat : 7409 (glucose_static) R 7402 7402 6614 0 -1 4202496 3262 0 0 0 143 0 0 0 25 0 1 0 806602413 24985600 2520 33554432000 4194304 4260849 140736594817488 18446744073709551615 4224885 0 0 4096 0 0 0 0 17 2 0 0 0 /proc/7409/statm: 6100 2520 251 17 0 2741 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 33104 [startup+3.10098 s] /proc/loadavg: 1.74 1.95 1.98 3/575 7411 /proc/meminfo: memFree=32303168/32950928 swapFree=43925848/67111528 [pid=7402] ppid=7399 vsize=8704 CPUtime=0.05 cores=0,2,4,6 /proc/7402/stat : 7402 (glucose.sh) S 7399 7402 6614 0 -1 4202496 360 732 0 0 0 0 5 0 21 0 1 0 806602407 8912896 255 33554432000 4194304 4922060 140734694151536 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/7402/statm: 2176 255 211 178 0 69 0 [pid=7409] ppid=7402 vsize=27080 CPUtime=3.03 cores=0,2,4,6 /proc/7409/stat : 7409 (glucose_static) R 7402 7402 6614 0 -1 4202496 4221 0 0 0 303 0 0 0 25 0 1 0 806602413 27729920 3436 33554432000 4194304 4260849 140736594817488 18446744073709551615 4224658 0 0 4096 0 0 0 0 17 2 0 0 0 /proc/7409/statm: 6770 3436 251 17 0 3411 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 35784 [startup+6.30047 s] /proc/loadavg: 1.74 1.95 1.98 3/575 7411 /proc/meminfo: memFree=32292668/32950928 swapFree=43925848/67111528 [pid=7402] ppid=7399 vsize=8704 CPUtime=0.05 cores=0,2,4,6 /proc/7402/stat : 7402 (glucose.sh) S 7399 7402 6614 0 -1 4202496 360 732 0 0 0 0 5 0 21 0 1 0 806602407 8912896 255 33554432000 4194304 4922060 140734694151536 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/7402/statm: 2176 255 211 178 0 69 0 [pid=7409] ppid=7402 vsize=29800 CPUtime=6.22 cores=0,2,4,6 /proc/7409/stat : 7409 (glucose_static) R 7402 7402 6614 0 -1 4202496 5021 0 0 0 622 0 0 0 25 0 1 0 806602413 30515200 4190 33554432000 4194304 4260849 140736594817488 18446744073709551615 4224682 0 0 4096 0 0 0 0 17 2 0 0 0 /proc/7409/statm: 7450 4190 251 17 0 4091 0 Current children cumulated CPU time (s) 6.27 Current children cumulated vsize (KiB) 38504 [startup+12.7003 s] /proc/loadavg: 1.78 1.96 1.98 3/575 7411 /proc/meminfo: memFree=32284808/32950928 swapFree=43925848/67111528 [pid=7402] ppid=7399 vsize=8704 CPUtime=0.05 cores=0,2,4,6 /proc/7402/stat : 7402 (glucose.sh) S 7399 7402 6614 0 -1 4202496 360 732 0 0 0 0 5 0 21 0 1 0 806602407 8912896 255 33554432000 4194304 4922060 140734694151536 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/7402/statm: 2176 255 211 178 0 69 0 [pid=7409] ppid=7402 vsize=34244 CPUtime=12.63 cores=0,2,4,6 /proc/7409/stat : 7409 (glucose_static) R 7402 7402 6614 0 -1 4202496 7514 0 0 0 1262 1 0 0 25 0 1 0 806602413 35065856 4791 33554432000 4194304 4260849 140736594817488 18446744073709551615 4238067 0 0 4096 0 0 0 0 17 2 0 0 0 /proc/7409/statm: 8561 4791 251 17 0 5202 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 42948 [startup+25.5011 s] /proc/loadavg: 1.81 1.96 1.98 4/575 7411 /proc/meminfo: memFree=32275752/32950928 swapFree=43925848/67111528 [pid=7402] ppid=7399 vsize=8704 CPUtime=0.05 cores=0,2,4,6 /proc/7402/stat : 7402 (glucose.sh) S 7399 7402 6614 0 -1 4202496 360 732 0 0 0 0 5 0 21 0 1 0 806602407 8912896 255 33554432000 4194304 4922060 140734694151536 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/7402/statm: 2176 255 211 178 0 69 0 [pid=7409] ppid=7402 vsize=45736 CPUtime=25.43 cores=0,2,4,6 /proc/7409/stat : 7409 (glucose_static) R 7402 7402 6614 0 -1 4202496 8644 0 0 0 2542 1 0 0 25 0 1 0 806602413 46833664 5889 33554432000 4194304 4260849 140736594817488 18446744073709551615 4225114 0 0 4096 0 0 0 0 17 2 0 0 0 /proc/7409/statm: 11434 5889 251 17 0 8075 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 54440 [startup+51.1005 s] /proc/loadavg: 1.87 1.96 1.98 4/575 7412 /proc/meminfo: memFree=32252972/32950928 swapFree=43925848/67111528 [pid=7402] ppid=7399 vsize=8704 CPUtime=0.05 cores=0,2,4,6 /proc/7402/stat : 7402 (glucose.sh) S 7399 7402 6614 0 -1 4202496 360 732 0 0 0 0 5 0 21 0 1 0 806602407 8912896 255 33554432000 4194304 4922060 140734694151536 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/7402/statm: 2176 255 211 178 0 69 0 [pid=7409] ppid=7402 vsize=50200 CPUtime=51.02 cores=0,2,4,6 /proc/7409/stat : 7409 (glucose_static) R 7402 7402 6614 0 -1 4202496 12196 0 0 0 5101 1 0 0 25 0 1 0 806602413 51404800 9277 33554432000 4194304 4260849 140736594817488 18446744073709551615 4225124 0 0 4096 0 0 0 0 17 2 0 0 0 /proc/7409/statm: 12550 9277 251 17 0 9191 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 58904 [startup+102.323 s] /proc/loadavg: 1.95 1.96 1.98 4/575 7413 /proc/meminfo: memFree=32233832/32950928 swapFree=43925848/67111528 [pid=7402] ppid=7399 vsize=8704 CPUtime=0.05 cores=0,2,4,6 /proc/7402/stat : 7402 (glucose.sh) S 7399 7402 6614 0 -1 4202496 360 732 0 0 0 0 5 0 21 0 1 0 806602407 8912896 255 33554432000 4194304 4922060 140734694151536 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/7402/statm: 2176 255 211 178 0 69 0 [pid=7409] ppid=7402 vsize=54196 CPUtime=102.25 cores=0,2,4,6 /proc/7409/stat : 7409 (glucose_static) R 7402 7402 6614 0 -1 4202496 16927 0 0 0 10223 2 0 0 25 0 1 0 806602413 55496704 10276 33554432000 4194304 4260849 140736594817488 18446744073709551615 4224875 0 0 4096 0 0 0 0 17 2 0 0 0 /proc/7409/statm: 13549 10276 251 17 0 10190 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 62900 [startup+162.301 s] /proc/loadavg: 1.98 1.97 1.98 4/575 7415 /proc/meminfo: memFree=32218904/32950928 swapFree=43925848/67111528 [pid=7402] ppid=7399 vsize=8704 CPUtime=0.05 cores=0,2,4,6 /proc/7402/stat : 7402 (glucose.sh) S 7399 7402 6614 0 -1 4202496 360 732 0 0 0 0 5 0 21 0 1 0 806602407 8912896 255 33554432000 4194304 4922060 140734694151536 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/7402/statm: 2176 255 211 178 0 69 0 [pid=7409] ppid=7402 vsize=65800 CPUtime=162.23 cores=0,2,4,6 /proc/7409/stat : 7409 (glucose_static) R 7402 7402 6614 0 -1 4202496 19451 0 0 0 16220 3 0 0 25 0 1 0 806602413 67379200 12758 33554432000 4194304 4260849 140736594817488 18446744073709551615 4224632 0 0 4096 0 0 0 0 17 2 0 0 0 /proc/7409/statm: 16450 12758 251 17 0 13091 0 Current children cumulated CPU time (s) 162.28 Current children cumulated vsize (KiB) 74504 [startup+222.301 s] /proc/loadavg: 2.12 2.00 1.99 4/575 7416 /proc/meminfo: memFree=32190604/32950928 swapFree=43925848/67111528 [pid=7402] ppid=7399 vsize=8704 CPUtime=0.05 cores=0,2,4,6 /proc/7402/stat : 7402 (glucose.sh) S 7399 7402 6614 0 -1 4202496 360 732 0 0 0 0 5 0 21 0 1 0 806602407 8912896 255 33554432000 4194304 4922060 140734694151536 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/7402/statm: 2176 255 211 178 0 69 0 [pid=7409] ppid=7402 vsize=96152 CPUtime=222.23 cores=0,2,4,6 /proc/7409/stat : 7409 (glucose_static) R 7402 7402 6614 0 -1 4202496 24746 0 0 0 22220 3 0 0 25 0 1 0 806602413 98459648 18036 33554432000 4194304 4260849 140736594817488 18446744073709551615 4224674 0 0 4096 0 0 0 0 17 2 0 0 0 /proc/7409/statm: 24038 18036 251 17 0 20679 0 Current children cumulated CPU time (s) 222.28 Current children cumulated vsize (KiB) 104856 [startup+282.301 s] /proc/loadavg: 2.17 2.03 2.00 3/575 7418 /proc/meminfo: memFree=32207172/32950928 swapFree=43925848/67111528 [pid=7402] ppid=7399 vsize=8704 CPUtime=0.05 cores=0,2,4,6 /proc/7402/stat : 7402 (glucose.sh) S 7399 7402 6614 0 -1 4202496 360 732 0 0 0 0 5 0 21 0 1 0 806602407 8912896 255 33554432000 4194304 4922060 140734694151536 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/7402/statm: 2176 255 211 178 0 69 0 [pid=7409] ppid=7402 vsize=96148 CPUtime=282.23 cores=0,2,4,6 /proc/7409/stat : 7409 (glucose_static) R 7402 7402 6614 0 -1 4202496 25319 0 0 0 28220 3 0 0 25 0 1 0 806602413 98455552 13713 33554432000 4194304 4260849 140736594817488 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 2 0 0 0 /proc/7409/statm: 24037 13713 251 17 0 20678 0 Current children cumulated CPU time (s) 282.28 Current children cumulated vsize (KiB) 104852 [startup+342.301 s] /proc/loadavg: 2.06 2.02 2.00 4/575 7420 /proc/meminfo: memFree=32188280/32950928 swapFree=43925848/67111528 [pid=7402] ppid=7399 vsize=8704 CPUtime=0.05 cores=0,2,4,6 /proc/7402/stat : 7402 (glucose.sh) S 7399 7402 6614 0 -1 4202496 360 732 0 0 0 0 5 0 21 0 1 0 806602407 8912896 255 33554432000 4194304 4922060 140734694151536 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/7402/statm: 2176 255 211 178 0 69 0 [pid=7409] ppid=7402 vsize=96148 CPUtime=342.24 cores=0,2,4,6 /proc/7409/stat : 7409 (glucose_static) R 7402 7402 6614 0 -1 4202496 30229 0 0 0 34219 5 0 0 25 0 1 0 806602413 98455552 18435 33554432000 4194304 4260849 140736594817488 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 2 0 0 0 /proc/7409/statm: 24037 18435 251 17 0 20678 0 Current children cumulated CPU time (s) 342.29 Current children cumulated vsize (KiB) 104852 [startup+402.301 s] /proc/loadavg: 2.02 2.02 2.00 4/575 7421 /proc/meminfo: memFree=32168144/32950928 swapFree=43925848/67111528 [pid=7402] ppid=7399 vsize=8704 CPUtime=0.05 cores=0,2,4,6 ################ # More data... # ################ /proc/7409/statm: 39294 33713 251 17 0 35935 0 Current children cumulated CPU time (s) 4302.37 Current children cumulated vsize (KiB) 165880 [startup+4362.3 s] /proc/loadavg: 2.01 2.04 2.01 4/575 7539 /proc/meminfo: memFree=32084072/32950928 swapFree=43925848/67111528 [pid=7402] ppid=7399 vsize=8704 CPUtime=0.05 cores=0,2,4,6 /proc/7402/stat : 7402 (glucose.sh) S 7399 7402 6614 0 -1 4202496 360 732 0 0 0 0 5 0 21 0 1 0 806602407 8912896 255 33554432000 4194304 4922060 140734694151536 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/7402/statm: 2176 255 211 178 0 69 0 [pid=7409] ppid=7402 vsize=107856 CPUtime=4362.33 cores=0,2,4,6 /proc/7409/stat : 7409 (glucose_static) R 7402 7402 6614 0 -1 4202496 444204 0 0 0 436146 87 0 0 25 0 1 0 806602413 110444544 23713 33554432000 4194304 4260849 140736594817488 18446744073709551615 4224658 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/7409/statm: 26964 23713 251 17 0 23605 0 Current children cumulated CPU time (s) 4362.38 Current children cumulated vsize (KiB) 116560 [startup+4422.3 s] /proc/loadavg: 2.00 2.03 2.00 4/575 7540 /proc/meminfo: memFree=32097168/32950928 swapFree=43925848/67111528 [pid=7402] ppid=7399 vsize=8704 CPUtime=0.05 cores=0,2,4,6 /proc/7402/stat : 7402 (glucose.sh) S 7399 7402 6614 0 -1 4202496 360 732 0 0 0 0 5 0 21 0 1 0 806602407 8912896 255 33554432000 4194304 4922060 140734694151536 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/7402/statm: 2176 255 211 178 0 69 0 [pid=7409] ppid=7402 vsize=157176 CPUtime=4422.33 cores=0,2,4,6 /proc/7409/stat : 7409 (glucose_static) R 7402 7402 6614 0 -1 4202496 452720 0 0 0 442144 89 0 0 25 0 1 0 806602413 160948224 32210 33554432000 4194304 4260849 140736594817488 18446744073709551615 4224647 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/7409/statm: 39294 32210 251 17 0 35935 0 Current children cumulated CPU time (s) 4422.38 Current children cumulated vsize (KiB) 165880 [startup+4482.3 s] /proc/loadavg: 2.00 2.02 2.00 4/575 7542 /proc/meminfo: memFree=32042920/32950928 swapFree=43925848/67111528 [pid=7402] ppid=7399 vsize=8704 CPUtime=0.05 cores=0,2,4,6 /proc/7402/stat : 7402 (glucose.sh) S 7399 7402 6614 0 -1 4202496 360 732 0 0 0 0 5 0 21 0 1 0 806602407 8912896 255 33554432000 4194304 4922060 140734694151536 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/7402/statm: 2176 255 211 178 0 69 0 [pid=7409] ppid=7402 vsize=157176 CPUtime=4482.32 cores=0,2,4,6 /proc/7409/stat : 7409 (glucose_static) R 7402 7402 6614 0 -1 4202496 456107 0 0 0 448142 90 0 0 25 0 1 0 806602413 160948224 35513 33554432000 4194304 4260849 140736594817488 18446744073709551615 4225091 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/7409/statm: 39294 35513 251 17 0 35935 0 Current children cumulated CPU time (s) 4482.37 Current children cumulated vsize (KiB) 165880 [startup+4542.3 s] /proc/loadavg: 2.00 2.02 2.00 4/575 7544 /proc/meminfo: memFree=32130672/32950928 swapFree=43925848/67111528 [pid=7402] ppid=7399 vsize=8704 CPUtime=0.05 cores=0,2,4,6 /proc/7402/stat : 7402 (glucose.sh) S 7399 7402 6614 0 -1 4202496 360 732 0 0 0 0 5 0 21 0 1 0 806602407 8912896 255 33554432000 4194304 4922060 140734694151536 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/7402/statm: 2176 255 211 178 0 69 0 [pid=7409] ppid=7402 vsize=107856 CPUtime=4542.32 cores=0,2,4,6 /proc/7409/stat : 7409 (glucose_static) R 7402 7402 6614 0 -1 4202496 457762 0 0 0 454141 91 0 0 25 0 1 0 806602413 110444544 23713 33554432000 4194304 4260849 140736594817488 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/7409/statm: 26964 23713 251 17 0 23605 0 Current children cumulated CPU time (s) 4542.37 Current children cumulated vsize (KiB) 116560 [startup+4602.3 s] /proc/loadavg: 2.00 2.01 2.00 4/575 7545 /proc/meminfo: memFree=32056356/32950928 swapFree=43925848/67111528 [pid=7402] ppid=7399 vsize=8704 CPUtime=0.05 cores=0,2,4,6 /proc/7402/stat : 7402 (glucose.sh) S 7399 7402 6614 0 -1 4202496 360 732 0 0 0 0 5 0 21 0 1 0 806602407 8912896 255 33554432000 4194304 4922060 140734694151536 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/7402/statm: 2176 255 211 178 0 69 0 [pid=7409] ppid=7402 vsize=157176 CPUtime=4602.35 cores=0,2,4,6 /proc/7409/stat : 7409 (glucose_static) R 7402 7402 6614 0 -1 4202496 467944 0 0 0 460142 93 0 0 25 0 1 0 806602413 160948224 33822 33554432000 4194304 4260849 140736594817488 18446744073709551615 4224665 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/7409/statm: 39294 33822 251 17 0 35935 0 Current children cumulated CPU time (s) 4602.4 Current children cumulated vsize (KiB) 165880 [startup+4662.3 s] /proc/loadavg: 2.00 2.01 2.00 3/575 7547 /proc/meminfo: memFree=32032376/32950928 swapFree=43925848/67111528 [pid=7402] ppid=7399 vsize=8704 CPUtime=0.05 cores=0,2,4,6 /proc/7402/stat : 7402 (glucose.sh) S 7399 7402 6614 0 -1 4202496 360 732 0 0 0 0 5 0 21 0 1 0 806602407 8912896 255 33554432000 4194304 4922060 140734694151536 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/7402/statm: 2176 255 211 178 0 69 0 [pid=7409] ppid=7402 vsize=187996 CPUtime=4662.33 cores=0,2,4,6 /proc/7409/stat : 7409 (glucose_static) R 7402 7402 6614 0 -1 4202496 470888 0 0 0 466139 94 0 0 25 0 1 0 806602413 192507904 36688 33554432000 4194304 4260849 140736594817488 18446744073709551615 4226301 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/7409/statm: 46999 36688 251 17 0 43640 0 Current children cumulated CPU time (s) 4662.38 Current children cumulated vsize (KiB) 196700 [startup+4722.32 s] /proc/loadavg: 2.18 2.06 2.02 3/575 7548 /proc/meminfo: memFree=32097928/32950928 swapFree=43925848/67111528 [pid=7402] ppid=7399 vsize=8704 CPUtime=0.05 cores=0,2,4,6 /proc/7402/stat : 7402 (glucose.sh) S 7399 7402 6614 0 -1 4202496 360 732 0 0 0 0 5 0 21 0 1 0 806602407 8912896 255 33554432000 4194304 4922060 140734694151536 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/7402/statm: 2176 255 211 178 0 69 0 [pid=7409] ppid=7402 vsize=157176 CPUtime=4722.35 cores=0,2,4,6 /proc/7409/stat : 7409 (glucose_static) R 7402 7402 6614 0 -1 4202496 478802 0 0 0 472140 95 0 0 25 0 1 0 806602413 160948224 31450 33554432000 4194304 4260849 140736594817488 18446744073709551615 4225146 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/7409/statm: 39294 31450 251 17 0 35935 0 Current children cumulated CPU time (s) 4722.4 Current children cumulated vsize (KiB) 165880 [startup+4782.3 s] /proc/loadavg: 2.15 2.08 2.02 4/575 7550 /proc/meminfo: memFree=32044896/32950928 swapFree=43925848/67111528 [pid=7402] ppid=7399 vsize=8704 CPUtime=0.05 cores=0,2,4,6 /proc/7402/stat : 7402 (glucose.sh) S 7399 7402 6614 0 -1 4202496 360 732 0 0 0 0 5 0 21 0 1 0 806602407 8912896 255 33554432000 4194304 4922060 140734694151536 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/7402/statm: 2176 255 211 178 0 69 0 [pid=7409] ppid=7402 vsize=157176 CPUtime=4782.34 cores=0,2,4,6 /proc/7409/stat : 7409 (glucose_static) R 7402 7402 6614 0 -1 4202496 482545 0 0 0 478137 97 0 0 25 0 1 0 806602413 160948224 35087 33554432000 4194304 4260849 140736594817488 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/7409/statm: 39294 35087 251 17 0 35935 0 Current children cumulated CPU time (s) 4782.39 Current children cumulated vsize (KiB) 165880 [startup+4842.3 s] /proc/loadavg: 2.05 2.06 2.02 3/575 7561 /proc/meminfo: memFree=32076032/32950928 swapFree=43925848/67111528 [pid=7402] ppid=7399 vsize=8704 CPUtime=0.05 cores=0,2,4,6 /proc/7402/stat : 7402 (glucose.sh) S 7399 7402 6614 0 -1 4202496 360 732 0 0 0 0 5 0 21 0 1 0 806602407 8912896 255 33554432000 4194304 4922060 140734694151536 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/7402/statm: 2176 255 211 178 0 69 0 [pid=7409] ppid=7402 vsize=107856 CPUtime=4842.34 cores=0,2,4,6 /proc/7409/stat : 7409 (glucose_static) R 7402 7402 6614 0 -1 4202496 484290 0 0 0 484136 98 0 0 25 0 1 0 806602413 110444544 23713 33554432000 4194304 4260849 140736594817488 18446744073709551615 4225104 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/7409/statm: 26964 23713 251 17 0 23605 0 Current children cumulated CPU time (s) 4842.39 Current children cumulated vsize (KiB) 116560 [startup+4902.3 s] /proc/loadavg: 2.02 2.05 2.01 4/575 7562 /proc/meminfo: memFree=32090596/32950928 swapFree=43925848/67111528 [pid=7402] ppid=7399 vsize=8704 CPUtime=0.05 cores=0,2,4,6 /proc/7402/stat : 7402 (glucose.sh) S 7399 7402 6614 0 -1 4202496 360 732 0 0 0 0 5 0 21 0 1 0 806602407 8912896 255 33554432000 4194304 4922060 140734694151536 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/7402/statm: 2176 255 211 178 0 69 0 [pid=7409] ppid=7402 vsize=157176 CPUtime=4902.34 cores=0,2,4,6 /proc/7409/stat : 7409 (glucose_static) R 7402 7402 6614 0 -1 4202496 493452 0 0 0 490134 100 0 0 25 0 1 0 806602413 160948224 32846 33554432000 4194304 4260849 140736594817488 18446744073709551615 4224822 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/7409/statm: 39294 32846 251 17 0 35935 0 Current children cumulated CPU time (s) 4902.39 Current children cumulated vsize (KiB) 165880 [startup+4962.3 s] /proc/loadavg: 2.00 2.04 2.01 4/575 7564 /proc/meminfo: memFree=32036364/32950928 swapFree=43925848/67111528 [pid=7402] ppid=7399 vsize=8704 CPUtime=0.05 cores=0,2,4,6 /proc/7402/stat : 7402 (glucose.sh) S 7399 7402 6614 0 -1 4202496 360 732 0 0 0 0 5 0 21 0 1 0 806602407 8912896 255 33554432000 4194304 4922060 140734694151536 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/7402/statm: 2176 255 211 178 0 69 0 [pid=7409] ppid=7402 vsize=187996 CPUtime=4962.34 cores=0,2,4,6 /proc/7409/stat : 7409 (glucose_static) R 7402 7402 6614 0 -1 4202496 496769 0 0 0 496133 101 0 0 25 0 1 0 806602413 192507904 36092 33554432000 4194304 4260849 140736594817488 18446744073709551615 4224658 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/7409/statm: 46999 36092 251 17 0 43640 0 Current children cumulated CPU time (s) 4962.39 Current children cumulated vsize (KiB) 196700 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+5000 s] /proc/loadavg: 2.00 2.03 2.00 4/575 7565 /proc/meminfo: memFree=32077624/32950928 swapFree=43925848/67111528 [pid=7402] ppid=7399 vsize=8704 CPUtime=0.05 cores=0,2,4,6 /proc/7402/stat : 7402 (glucose.sh) S 7399 7402 6614 0 -1 4202496 360 732 0 0 0 0 5 0 21 0 1 0 806602407 8912896 255 33554432000 4194304 4922060 140734694151536 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/7402/statm: 2176 255 211 178 0 69 0 [pid=7409] ppid=7402 vsize=127520 CPUtime=5000.05 cores=0,2,4,6 /proc/7409/stat : 7409 (glucose_static) R 7402 7402 6614 0 -1 4202496 497602 0 0 0 499903 102 0 0 25 0 1 0 806602413 130580480 23715 33554432000 4194304 4260849 140736594817488 18446744073709551615 4224667 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/7409/statm: 31880 23715 251 17 0 28521 0 Current children cumulated CPU time (s) 5000.1 Current children cumulated vsize (KiB) 136224 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 7402 and gives # childrusage.ru_utime.tv_sec=0 # childrusage.ru_utime.tv_usec=57991 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=6998 # CPU time returned by wait4() is 0.064989 # while last known CPU time is 5000.1 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 5000.03 CPU time (s): 5000.1 CPU user time (s): 4999.08 CPU system time (s): 1.02 CPU usage (%): 100.001 Max. virtual memory (cumulated for all children) (KiB): 196700 getrusage(RUSAGE_CHILDREN,...) data: user time used= 0.057991 system time used= 0.006998 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1092 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 14 involuntary context switches= 4 runsolver used 30.2274 second user time and 69.4564 second system time The end
Begin job on node122 at 2011-06-01 19:40:36 IDJOB=3303576 IDBENCH=85805 IDSOLVER=1687 FILE ID=node122/3303576-1306950036 RUNJOBID= node122-1306950036-7385 PBS_JOBID= 13488598 Free space on /tmp= 73664 MiB SOLVER NAME= glucose 2 BENCH NAME= SAT05/crafted/sorge05/QG7a/gensys-ukn004.shuffled-as.sat05-3844.cnf COMMAND LINE= glucose.sh BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3303576-1306950036/watcher-3303576-1306950036 -o /tmp/evaluation-result-3303576-1306950036/solver-3303576-1306950036 -C 5000 -W 5100 -M 15500 glucose.sh HOME/instance-3303576-1306950036.cnf TIME LIMIT= 5000 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 7d96ba103689bec761c9e7df7b158323 RANDOM SEED=1951365944 node122.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.820 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.64 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.820 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.820 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.820 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.820 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.820 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.820 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.820 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.97 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 32330280 kB Buffers: 178120 kB Cached: 124700 kB SwapCached: 16804 kB Active: 154628 kB Inactive: 169160 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 32330280 kB SwapTotal: 67111528 kB SwapFree: 43925848 kB Dirty: 4000 kB Writeback: 0 kB AnonPages: 18556 kB Mapped: 8864 kB Slab: 133420 kB PageTables: 93072 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 180714360 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 73660 MiB End job on node122 at 2011-06-01 21:03:58