| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| glucose 2 | ? (TO) | 5000.01 | 4999.91 |
| Name | CRAFTED/rbsat/random/unforced/ rbsat-v1375c111739g4.cnf |
| MD5SUM | b2f1edd9e4045a375bcfedb2d5e5bd0e |
| Bench Category | CRAFTED (crafted instances) |
| Best result obtained on this benchmark | SAT |
| Best CPU time to get the best result obtained on this benchmark | 76.6853 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 1375 |
| Number of clauses | 111739 |
| Sum of the clauses size | 224743 |
| Maximum clause length | 25 |
| Minimum clause length | 2 |
| Number of clauses of size 1 | 0 |
| Number of clauses of size 2 | 111684 |
| Number of clauses of size 3 | 0 |
| Number of clauses of size 4 | 0 |
| Number of clauses of size 5 | 0 |
| Number of clauses of size over 5 | 55 |
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.02 c ============================================================================== 0.00/0.02 c | | ORIGINAL | LEARNT | | 0.00/0.02 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress | 0.00/0.02 c ============================================================================== 0.00/0.02 c | 0 | 111739 224743 | 33521 0 0 nan | 0.000 % | 0.00/0.25 c | 0 | 109939 361138 | -- 0 -- -- | -- | -1800/136395 0.00/0.25 c ============================================================================== 0.00/0.25 c Result : #vars: 1320 #clauses: 109939 #literals: 361138 0.00/0.25 c CPU time: 0.248962 s 0.00/0.25 c ============================================================================== 0.00/0.31 c 0.00/0.31 c Starting glucose 0.00/0.31 c 403.39/403.49 c This is glucose 2.0 -- based on MiniSAT (Many thanks to MiniSAT team) 403.39/403.49 c WARNING: for repeatability, setting FPU to use double precision 403.39/403.49 c ============================[ Problem Statistics ]============================= 403.39/403.49 c | | 403.39/403.49 c | Number of variables: 1320 | 403.39/403.49 c | Number of clauses: 109939 | 403.39/403.49 c | Parse time: 0.02 s | 403.39/403.49 c | | 403.39/403.49 c ============================[ Search Statistics ]============================== 403.39/403.49 c | Conflicts | ORIGINAL | LEARNT | Progress | 403.39/403.49 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | | 403.39/403.49 c =============================================================================== 403.39/403.49 c | 485 | 1320 109939 361138 | 1 485 114 | 0.000 % | 403.39/403.49 c | 9128 | 1320 109939 361138 | 1 7138 91 | 0.000 % | 403.39/403.49 c | 123003 | 1320 109939 361138 | 1 37843 63 | 0.000 % | 403.39/403.49 c | 125320 | 1320 109939 361138 | 1 40160 64 | 0.000 % | 403.39/403.49 c | 128681 | 1320 109939 361138 | 1 43521 65 | 0.000 % | 403.39/403.49 c | 347614 | 1320 109939 361138 | 1 52445 48 | 0.000 % | 403.39/403.49 c | 642247 | 1320 109939 361138 | 1 65665 46 | 0.000 % | 403.39/403.49 c | 646154 | 1320 109939 361138 | 1 69572 47 | 0.000 % | 403.39/403.49 c | 766401 | 1320 109939 361138 | 1 75229 40 | 0.000 % | 403.39/403.49 c | 770935 | 1320 109939 361138 | 1 79763 41 | 0.000 % | 403.39/403.49 c | 793831 | 1320 109939 361138 | 1 102659 46 | 0.000 % | 403.39/403.49 c | 979283 | 1320 109939 361138 | 1 96706 39 | 0.000 % | 403.39/403.49 c | 1025543 | 1320 109939 361138 | 1 73964 34 | 0.000 % | 403.39/403.49 c | 1025672 | 1320 109939 361138 | 1 74093 34 | 0.000 % | 403.39/403.49 c | 1028111 | 1320 109939 361138 | 1 76532 35 | 0.000 % | 403.39/403.49 c | 1037462 | 1320 109939 361138 | 1 85883 38 | 0.000 % | 403.39/403.49 c | 1125129 | 1320 109939 361138 | 1 101948 38 | 0.000 % | 403.39/403.49 c | 1173848 | 1320 109939 361138 | 1 76470 33 | 0.000 % | 403.39/403.49 c | 1194503 | 1320 109939 361138 | 1 97125 39 | 0.000 % | 403.39/403.49 c | 1219654 | 1320 109939 361138 | 1 122276 45 | 0.000 % | 403.39/403.49 c | 1258802 | 1320 109939 361138 | 1 84640 37 | 0.000 % | 403.39/403.49 c | 1263044 | 1320 109939 361138 | 1 88882 38 | 0.000 % | 403.39/403.49 c | 1266357 | 1320 109939 361138 | 1 92195 39 | 0.000 % | 403.39/403.49 c | 1313417 | 1320 109939 361138 | 1 139255 47 | 0.000 % | 403.39/403.49 c | 1436910 | 1320 109939 361138 | 1 101338 38 | 0.000 % | 403.39/403.49 c | 1547508 | 1320 109939 361138 | 1 127340 42 | 0.000 % | 403.39/403.49 c | 1622854 | 1320 109939 361138 | 1 115489 38 | 0.000 % | 403.39/403.49 c | 1644609 | 1320 109939 361138 | 1 137244 42 | 0.000 % | 403.39/403.49 c | 1661009 | 1320 109939 361138 | 1 153644 44 | 0.000 % | 403.39/403.49 c | 1694101 | 1320 109939 361138 | 1 96934 34 | 0.000 % | 403.39/403.49 c | 1700143 | 1320 109939 361138 | 1 102976 36 | 0.000 % | 403.39/403.49 c | 1885552 | 1320 109939 361138 | 1 100990 35 | 0.000 % | 403.39/403.49 c | 2122969 | 1320 109939 361138 | 1 140600 42 | 0.000 % | 403.39/403.49 c | 2170886 | 1320 109939 361138 | 1 188517 47 | 0.000 % | 403.39/403.49 c | 2175920 | 1320 109939 361138 | 1 193551 48 | 0.000 % | 403.39/403.49 c | 2213005 | 1320 109939 361138 | 1 127838 38 | 0.000 % | 403.39/403.49 c | 2214384 | 1320 109939 361138 | 1 129217 38 | 0.000 % | 403.39/403.49 c | 2222806 | 1320 109939 361138 | 1 137639 41 | 0.000 % | 403.39/403.49 c | 2241463 | 1320 109939 361138 | 1 156296 44 | 0.000 % | 658.80/658.85 c | 2247989 | 1320 109939 361138 | 1 162822 45 | 0.000 % | 658.80/658.85 c | 2288445 | 1320 109939 361138 | 1 203278 49 | 0.000 % | 658.80/658.85 c | 2344999 | 1320 109939 361138 | 1 154425 45 | 0.000 % | 658.80/658.85 c | 2463510 | 1320 109939 361138 | 1 164940 47 | 0.000 % | 658.80/658.85 c | 2468212 | 1320 109939 361138 | 1 169642 48 | 0.000 % | 658.80/658.85 c | 2469376 | 1320 109939 361138 | 1 170806 48 | 0.000 % | 658.80/658.85 c | 2472365 | 1320 109939 361138 | 1 173795 48 | 0.000 % | 658.80/658.85 c | 2472640 | 1320 109939 361138 | 1 174070 49 | 0.000 % | 658.80/658.85 c | 2472741 | 1320 109939 361138 | 1 174171 49 | 0.000 % | 658.80/658.85 c | 2473516 | 1320 109939 361138 | 1 174946 49 | 0.000 % | 658.80/658.85 c | 2473648 | 1320 109939 361138 | 1 175078 49 | 0.000 % | 658.80/658.85 c | 2475377 | 1320 109939 361138 | 1 176807 49 | 0.000 % | 658.80/658.85 c | 2476227 | 1320 109939 361138 | 1 177657 49 | 0.000 % | 658.80/658.85 c | 2487329 | 1320 109939 361138 | 1 188759 50 | 0.000 % | 658.80/658.85 c | 2488899 | 1320 109939 361138 | 1 190329 50 | 0.000 % | 658.80/658.85 c | 2489212 | 1320 109939 361138 | 1 190642 50 | 0.000 % | 658.80/658.85 c | 2540408 | 1320 109939 361138 | 1 131234 37 | 0.000 % | 658.80/658.85 c | 2540901 | 1320 109939 361138 | 1 131727 37 | 0.000 % | 658.80/658.85 c | 2562619 | 1320 109939 361138 | 1 153445 44 | 0.000 % | 658.80/658.85 c | 2563730 | 1320 109939 361138 | 1 154556 44 | 0.000 % | 658.80/658.85 c | 2563830 | 1320 109939 361138 | 1 154656 44 | 0.000 % | 658.80/658.85 c | 2594811 | 1320 109939 361138 | 1 185637 49 | 0.000 % | 658.80/658.85 c | 2609065 | 1320 109939 361138 | 1 199891 51 | 0.000 % | 658.80/658.85 c | 2612330 | 1320 109939 361138 | 1 203156 52 | 0.000 % | 658.80/658.85 c | 2633228 | 1320 109939 361138 | 1 224054 53 | 0.000 % | 658.80/658.85 c | 2664987 | 1320 109939 361138 | 1 142607 42 | 0.000 % | 658.80/658.85 c | 2850315 | 1320 109939 361138 | 1 212140 50 | 0.000 % | 658.80/658.85 c | 2860991 | 1320 109939 361138 | 1 222816 51 | 0.000 % | 658.80/658.85 c | 2899596 | 1320 109939 361138 | 1 143023 39 | 0.000 % | 658.80/658.85 c | 2900535 | 1320 109939 361138 | 1 143962 39 | 0.000 % | 658.80/658.85 c | 2927359 | 1320 109939 361138 | 1 170786 44 | 0.000 % | 658.80/658.85 c | 2928238 | 1320 109939 361138 | 1 171665 44 | 0.000 % | 658.80/658.85 c | 2929648 | 1320 109939 361138 | 1 173075 44 | 0.000 % | 658.80/658.85 c | 2939497 | 1320 109939 361138 | 1 182924 45 | 0.000 % | 658.80/658.85 c | 2940472 | 1320 109939 361138 | 1 183899 46 | 0.000 % | 658.80/658.85 c | 2975098 | 1320 109939 361138 | 1 218525 47 | 0.000 % | 658.80/658.85 c | 3045281 | 1320 109939 361138 | 1 167716 40 | 0.000 % | 658.80/658.85 c | 3069764 | 1320 109939 361138 | 1 192199 43 | 0.000 % | 658.80/658.85 c | 3073707 | 1320 109939 361138 | 1 196142 43 | 0.000 % | 658.80/658.85 c | 3079423 | 1320 109939 361138 | 1 201858 44 | 0.000 % | 658.80/658.85 c | 3089407 | 1320 109939 361138 | 1 211842 45 | 0.000 % | 658.80/658.85 c | 3132868 | 1320 109939 361138 | 1 131699 34 | 0.000 % | 658.80/658.85 c | 3253907 | 1320 109939 361138 | 1 126529 33 | 0.000 % | 658.80/658.85 c | 3274972 | 1320 109939 361138 | 1 147594 39 | 0.000 % | 658.80/658.85 c | 3277282 | 1320 109939 361138 | 1 149904 40 | 0.000 % | 658.80/658.85 c | 3278035 | 1320 109939 361138 | 1 150657 40 | 0.000 % | 658.80/658.85 c | 3312853 | 1320 109939 361138 | 1 185475 46 | 0.000 % | 658.80/658.85 c | 3328796 | 1320 109939 361138 | 1 201418 48 | 0.000 % | 658.80/658.85 c | 3372431 | 1320 109939 361138 | 1 245053 51 | 0.000 % | 658.80/658.85 c | 3416333 | 1320 109939 361138 | 1 160152 37 | 0.000 % | 935.00/935.09 c | 3416720 | 1320 109939 361138 | 1 160539 37 | 0.000 % | 935.00/935.09 c | 3466276 | 1320 109939 361138 | 1 210095 43 | 0.000 % | 935.00/935.09 c | 3514653 | 1320 109939 361138 | 1 258472 48 | 0.000 % | 935.00/935.09 c | 3540954 | 1320 109939 361138 | 1 153373 36 | 0.000 % | 935.00/935.09 c | 3660361 | 1320 109939 361138 | 1 138781 31 | 0.000 % | 935.00/935.09 c | 3717335 | 1320 109939 361138 | 1 195755 38 | 0.000 % | 935.00/935.09 c | 3720354 | 1320 109939 361138 | 1 198774 39 | 0.000 % | 935.00/935.09 c | 3730216 | 1320 109939 361138 | 1 208636 40 | 0.000 % | 935.00/935.09 c | 3824848 | 1320 109939 361138 | 1 166679 36 | 0.000 % | 935.00/935.09 c | 3829241 | 1320 109939 361138 | 1 171072 37 | 0.000 % | 935.00/935.09 c | 3849925 | 1320 109939 361138 | 1 191756 40 | 0.000 % | 935.00/935.09 c | 3859023 | 1320 109939 361138 | 1 200854 43 | 0.000 % | 935.00/935.09 c | 3883880 | 1320 109939 361138 | 1 225711 45 | 0.000 % | 935.00/935.09 c | 3883980 | 1320 109939 361138 | 1 225811 45 | 0.000 % | 935.00/935.09 c | 3888045 | 1320 109939 361138 | 1 229876 45 | 0.000 % | 935.00/935.09 c | 3907967 | 1320 109939 361138 | 1 249798 47 | 0.000 % | 935.00/935.09 c | 3915209 | 1320 109939 361138 | 1 257040 48 | 0.000 % | 935.00/935.09 c | 3926668 | 1320 109939 361138 | 1 268499 49 | 0.000 % | 935.00/935.09 c | 3927051 | 1320 109939 361138 | 1 268882 49 | 0.000 % | 935.00/935.09 c | 4058470 | 1320 109939 361138 | 1 261089 47 | 0.000 % | 935.00/935.09 c | 4078377 | 1320 109939 361138 | 1 280996 48 | 0.000 % | 935.00/935.09 c | 4168816 | 1320 109939 361138 | 1 229638 42 | 0.000 % | 935.00/935.09 c | 4169919 | 1320 109939 361138 | 1 230741 42 | 0.000 % | 935.00/935.09 c | 4205843 | 1320 109939 361138 | 1 266665 45 | 0.000 % | 935.00/935.09 c | 4225459 | 1320 109939 361138 | 1 286281 47 | 0.000 % | 935.00/935.09 c | 4226000 | 1320 109939 361138 | 1 286822 47 | 0.000 % | 935.00/935.09 c | 4226101 | 1320 109939 361138 | 1 286923 47 | 0.000 % | 935.00/935.09 c | 4226532 | 1320 109939 361138 | 1 287354 47 | 0.000 % | 935.00/935.09 c | 4229018 | 1320 109939 361138 | 1 145443 30 | 0.000 % | 935.00/935.09 c | 4230190 | 1320 109939 361138 | 1 146615 31 | 0.000 % | 935.00/935.09 c | 4281546 | 1320 109939 361138 | 1 197971 38 | 0.000 % | 935.00/935.09 c | 4311514 | 1320 109939 361138 | 1 227939 41 | 0.000 % | 935.00/935.09 c | 4312308 | 1320 109939 361138 | 1 228733 41 | 0.000 % | 935.00/935.09 c | 4313663 | 1320 109939 361138 | 1 230088 42 | 0.000 % | 935.00/935.09 c | 4326796 | 1320 109939 361138 | 1 243221 43 | 0.000 % | 935.00/935.09 c | 4440625 | 1320 109939 361138 | 1 210053 39 | 0.000 % | 935.00/935.09 c | 4441120 | 1320 109939 361138 | 1 210548 39 | 0.000 % | 935.00/935.09 c | 4441224 | 1320 109939 361138 | 1 210652 39 | 0.000 % | 935.00/935.09 c | 4467763 | 1320 109939 361138 | 1 237191 42 | 0.000 % | 935.00/935.09 c | 4470740 | 1320 109939 361138 | 1 240168 42 | 0.000 % | 935.00/935.09 c | 4503811 | 1320 109939 361138 | 1 273239 44 | 0.000 % | 935.00/935.09 c | 4509455 | 1320 109939 361138 | 1 278883 45 | 0.000 % | 935.00/935.09 c | 4518767 | 1320 109939 361138 | 1 288195 45 | 0.000 % | 935.00/935.09 c | 4525509 | 1320 109939 361138 | 1 294937 46 | 0.000 % | 935.00/935.09 c | 4525613 | 1320 109939 361138 | 1 295041 46 | 0.000 % | 935.00/935.09 c | 4525713 | 1320 109939 361138 | 1 295141 46 | 0.000 % | 935.00/935.09 c | 4529193 | 1320 109939 361138 | 1 298621 46 | 0.000 % | 935.00/935.09 c | 4534364 | 1320 109939 361138 | 1 154187 32 | 0.000 % | 935.00/935.09 c | 4547657 | 1320 109939 361138 | 1 167480 35 | 0.000 % | 935.00/935.09 c | 4547761 | 1320 109939 361138 | 1 167584 35 | 0.000 % | 1133.51/1133.54 c | 4625676 | 1320 109939 361138 | 1 245499 42 | 0.000 % | 1133.51/1133.54 c | 4626064 | 1320 109939 361138 | 1 245887 42 | 0.000 % | 1133.51/1133.54 c | 4647513 | 1320 109939 361138 | 1 267336 44 | 0.000 % | 1133.51/1133.54 c | 4647727 | 1320 109939 361138 | 1 267550 44 | 0.000 % | 1133.51/1133.54 c | 4670254 | 1320 109939 361138 | 1 290077 46 | 0.000 % | 1133.51/1133.54 c | 4748911 | 1320 109939 361138 | 1 216539 39 | 0.000 % | 1133.51/1133.54 c | 4752460 | 1320 109939 361138 | 1 220088 40 | 0.000 % | 1133.51/1133.54 c | 4755969 | 1320 109939 361138 | 1 223597 40 | 0.000 % | 1133.51/1133.54 c | 4760913 | 1320 109939 361138 | 1 228541 41 | 0.000 % | 1133.51/1133.54 c | 4775458 | 1320 109939 361138 | 1 243086 42 | 0.000 % | 1133.51/1133.54 c | 4790947 | 1320 109939 361138 | 1 258575 44 | 0.000 % | 1133.51/1133.54 c | 4842967 | 1320 109939 361138 | 1 155799 31 | 0.000 % | 1133.51/1133.54 c | 4843488 | 1320 109939 361138 | 1 156320 31 | 0.000 % | 1133.51/1133.54 c | 4843715 | 1320 109939 361138 | 1 156547 31 | 0.000 % | 1133.51/1133.54 c | 4844231 | 1320 109939 361138 | 1 157063 31 | 0.000 % | 1133.51/1133.54 c | 4951566 | 1320 109939 361138 | 1 264398 50 | 0.000 % | 1133.51/1133.54 c | 4975305 | 1320 109939 361138 | 1 288137 52 | 0.000 % | 1133.51/1133.54 c | 4996674 | 1320 109939 361138 | 1 309506 52 | 0.000 % | 1133.51/1133.54 c | 5015672 | 1320 109939 361138 | 1 171105 37 | 0.000 % | 1133.51/1133.54 c | 5015772 | 1320 109939 361138 | 1 171205 37 | 0.000 % | 1133.51/1133.54 c | 5016730 | 1320 109939 361138 | 1 172163 37 | 0.000 % | 1133.51/1133.54 c | 5017383 | 1320 109939 361138 | 1 172816 37 | 0.000 % | 1133.51/1133.54 c | 5039277 | 1320 109939 361138 | 1 194710 41 | 0.000 % | 1133.51/1133.54 c | 5039816 | 1320 109939 361138 | 1 195249 41 | 0.000 % | 1133.51/1133.54 c | 5040142 | 1320 109939 361138 | 1 195575 41 | 0.000 % | 1133.51/1133.54 c | 5041222 | 1320 109939 361138 | 1 196655 41 | 0.000 % | 1133.51/1133.54 c | 5051345 | 1320 109939 361138 | 1 206778 43 | 0.000 % | 1133.51/1133.54 c | 5051445 | 1320 109939 361138 | 1 206878 43 | 0.000 % | 1133.51/1133.54 c | 5053664 | 1320 109939 361138 | 1 209097 44 | 0.000 % | 1133.51/1133.54 c | 5101470 | 1320 109939 361138 | 1 256903 48 | 0.000 % | 1133.51/1133.54 c | 5116680 | 1320 109939 361138 | 1 272113 49 | 0.000 % | 1133.51/1133.54 c | 5128310 | 1320 109939 361138 | 1 283743 50 | 0.000 % | 1133.51/1133.54 c | 5142649 | 1320 109939 361138 | 1 298082 50 | 0.000 % | 1133.51/1133.54 c | 5143369 | 1320 109939 361138 | 1 298802 51 | 0.000 % | 1133.51/1133.54 c | 5204644 | 1320 109939 361138 | 1 200080 39 | 0.000 % | 1133.51/1133.54 c | 5208713 | 1320 109939 361138 | 1 204149 40 | 0.000 % | 1133.51/1133.54 c | 5240309 | 1320 109939 361138 | 1 235745 44 | 0.000 % | 1133.51/1133.54 c | 5265909 | 1320 109939 361138 | 1 261345 46 | 0.000 % | 1133.51/1133.54 c | 5267925 | 1320 109939 361138 | 1 263361 46 | 0.000 % | 1133.51/1133.54 c | 5269829 | 1320 109939 361138 | 1 265265 46 | 0.000 % | 1133.51/1133.54 c | 5356858 | 1320 109939 361138 | 1 189688 36 | 0.000 % | 1133.51/1133.54 c | 5372033 | 1320 109939 361138 | 1 204863 38 | 0.000 % | 1133.51/1133.54 c | 5378018 | 1320 109939 361138 | 1 210848 39 | 0.000 % | 1133.51/1133.54 c | 5378118 | 1320 109939 361138 | 1 210948 39 | 0.000 % | 1133.51/1133.54 c | 5385491 | 1320 109939 361138 | 1 218321 41 | 0.000 % | 1133.51/1133.54 c | 5385592 | 1320 109939 361138 | 1 218422 41 | 0.000 % | 1133.51/1133.54 c | 5389642 | 1320 109939 361138 | 1 222472 41 | 0.000 % | 1133.51/1133.54 c | 5390189 | 1320 109939 361138 | 1 223019 42 | 0.000 % | 1133.51/1133.54 c | 5449607 | 1320 109939 361138 | 1 282437 48 | 0.000 % | 1133.51/1133.54 c | 5461721 | 1320 109939 361138 | 1 294551 49 | 0.000 % | 1354.51/1354.52 c | 5480647 | 1320 109939 361138 | 1 313477 51 | 0.000 % | 1354.51/1354.52 c | 5594799 | 1320 109939 361138 | 1 262441 45 | 0.000 % | 1354.51/1354.52 c | 5626963 | 1320 109939 361138 | 1 294605 48 | 0.000 % | 1354.51/1354.52 c | 5627063 | 1320 109939 361138 | 1 294705 48 | 0.000 % | 1354.51/1354.52 c | 5628326 | 1320 109939 361138 | 1 295968 48 | 0.000 % | 1354.51/1354.52 c | 5632755 | 1320 109939 361138 | 1 300397 48 | 0.000 % | 1354.51/1354.52 c | 5638346 | 1320 109939 361138 | 1 305988 49 | 0.000 % | 1354.51/1354.52 c | 5647956 | 1320 109939 361138 | 1 315598 49 | 0.000 % | 1354.51/1354.52 c | 5648056 | 1320 109939 361138 | 1 315698 49 | 0.000 % | 1354.51/1354.52 c | 5657841 | 1320 109939 361138 | 1 325483 50 | 0.000 % | 1354.51/1354.52 c | 5679957 | 1320 109939 361138 | 1 179795 35 | 0.000 % | 1354.51/1354.52 c | 5681938 | 1320 109939 361138 | 1 181776 36 | 0.000 % | 1354.51/1354.52 c | 5699723 | 1320 109939 361138 | 1 199561 39 | 0.000 % | 1354.51/1354.52 c | 5700217 | 1320 109939 361138 | 1 200055 39 | 0.000 % | 1354.51/1354.52 c | 5701854 | 1320 109939 361138 | 1 201692 40 | 0.000 % | 1354.51/1354.52 c | 5706242 | 1320 109939 361138 | 1 206080 40 | 0.000 % | 1354.51/1354.52 c | 5707627 | 1320 109939 361138 | 1 207465 41 | 0.000 % | 1354.51/1354.52 c | 5715713 | 1320 109939 361138 | 1 215551 42 | 0.000 % | 1354.51/1354.52 c | 5717799 | 1320 109939 361138 | 1 217637 42 | 0.000 % | 1354.51/1354.52 c | 5718012 | 1320 109939 361138 | 1 217850 42 | 0.000 % | 1354.51/1354.52 c | 5768718 | 1320 109939 361138 | 1 268556 48 | 0.000 % | 1354.51/1354.52 c | 5769273 | 1320 109939 361138 | 1 269111 48 | 0.000 % | 1354.51/1354.52 c | 5900608 | 1320 109939 361138 | 1 230039 38 | 0.000 % | 1354.51/1354.52 c | 5950925 | 1320 109939 361138 | 1 280356 42 | 0.000 % | 1354.51/1354.52 c | 5963901 | 1320 109939 361138 | 1 293332 43 | 0.000 % | 1354.51/1354.52 c | 6004207 | 1320 109939 361138 | 1 333638 45 | 0.000 % | 1354.51/1354.52 c | 6017906 | 1320 109939 361138 | 1 174332 30 | 0.000 % | 1354.51/1354.52 c | 6063504 | 1320 109939 361138 | 1 219930 35 | 0.000 % | 1354.51/1354.52 c | 6088600 | 1320 109939 361138 | 1 245026 38 | 0.000 % | 1354.51/1354.52 c | 6088750 | 1320 109939 361138 | 1 245176 38 | 0.000 % | 1354.51/1354.52 c | 6110441 | 1320 109939 361138 | 1 266867 40 | 0.000 % | 1354.51/1354.52 c | 6133268 | 1320 109939 361138 | 1 289694 42 | 0.000 % | 1354.51/1354.52 c | 6133585 | 1320 109939 361138 | 1 290011 42 | 0.000 % | 1354.51/1354.52 c | 6134262 | 1320 109939 361138 | 1 290688 42 | 0.000 % | 1354.51/1354.52 c | 6154143 | 1320 109939 361138 | 1 310569 44 | 0.000 % | 1354.51/1354.52 c | 6184384 | 1320 109939 361138 | 1 340810 46 | 0.000 % | 1354.51/1354.52 c | 6190128 | 1320 109939 361138 | 1 346554 46 | 0.000 % | 1354.51/1354.52 c | 6190230 | 1320 109939 361138 | 1 346656 46 | 0.000 % | 1354.51/1354.52 c | 6198274 | 1320 109939 361138 | 1 179090 31 | 0.000 % | 1354.51/1354.52 c | 6208387 | 1320 109939 361138 | 1 189203 33 | 0.000 % | 1354.51/1354.52 c | 6234886 | 1320 109939 361138 | 1 215702 37 | 0.000 % | 1354.51/1354.52 c | 6265713 | 1320 109939 361138 | 1 246529 40 | 0.000 % | 1354.51/1354.52 c | 6346499 | 1320 109939 361138 | 1 327315 46 | 0.000 % | 1354.51/1354.52 c | 6348821 | 1320 109939 361138 | 1 329637 47 | 0.000 % | 1354.51/1354.52 c | 6351354 | 1320 109939 361138 | 1 332170 47 | 0.000 % | 1354.51/1354.52 c | 6370801 | 1320 109939 361138 | 1 351617 48 | 0.000 % | 1354.51/1354.52 c | 6371750 | 1320 109939 361138 | 1 352566 48 | 0.000 % | 1354.51/1354.52 c | 6372605 | 1320 109939 361138 | 1 353421 48 | 0.000 % | 1354.51/1354.52 c | 6390456 | 1320 109939 361138 | 1 193067 34 | 0.000 % | 1354.51/1354.52 c | 6391694 | 1320 109939 361138 | 1 194305 34 | 0.000 % | 1518.31/1518.34 c | 6392634 | 1320 109939 361138 | 1 195245 34 | 0.000 % | 1518.31/1518.34 c | 6392735 | 1320 109939 361138 | 1 195346 34 | 0.000 % | 1518.31/1518.34 c | 6432290 | 1320 109939 361138 | 1 234901 41 | 0.000 % | 1518.31/1518.34 c | 6433366 | 1320 109939 361138 | 1 235977 41 | 0.000 % | 1518.31/1518.34 c | 6437639 | 1320 109939 361138 | 1 240250 41 | 0.000 % | 1518.31/1518.34 c | 6465064 | 1320 109939 361138 | 1 267675 43 | 0.000 % | 1518.31/1518.34 c | 6468396 | 1320 109939 361138 | 1 271007 43 | 0.000 % | 1518.31/1518.34 c | 6469431 | 1320 109939 361138 | 1 272042 43 | 0.000 % | 1518.31/1518.34 c | 6469610 | 1320 109939 361138 | 1 272221 43 | 0.000 % | 1518.31/1518.34 c | 6470005 | 1320 109939 361138 | 1 272616 43 | 0.000 % | 1518.31/1518.34 c | 6495545 | 1320 109939 361138 | 1 298156 44 | 0.000 % | 1518.31/1518.34 c | 6496635 | 1320 109939 361138 | 1 299246 44 | 0.000 % | 1518.31/1518.34 c | 6505292 | 1320 109939 361138 | 1 307903 45 | 0.000 % | 1518.31/1518.34 c | 6516150 | 1320 109939 361138 | 1 318761 46 | 0.000 % | 1518.31/1518.34 c | 6525017 | 1320 109939 361138 | 1 327628 46 | 0.000 % | 1518.31/1518.34 c | 6531794 | 1320 109939 361138 | 1 334405 46 | 0.000 % | 1518.31/1518.34 c | 6533704 | 1320 109939 361138 | 1 336315 46 | 0.000 % | 1518.31/1518.34 c | 6559804 | 1320 109939 361138 | 1 181628 30 | 0.000 % | 1518.31/1518.34 c | 6567161 | 1320 109939 361138 | 1 188985 32 | 0.000 % | 1518.31/1518.34 c | 6595140 | 1320 109939 361138 | 1 216964 36 | 0.000 % | 1518.31/1518.34 c | 6610042 | 1320 109939 361138 | 1 231866 38 | 0.000 % | 1518.31/1518.34 c | 6621627 | 1320 109939 361138 | 1 243451 39 | 0.000 % | 1518.31/1518.34 c | 6647534 | 1320 109939 361138 | 1 269358 41 | 0.000 % | 1518.31/1518.34 c | 6651701 | 1320 109939 361138 | 1 273525 42 | 0.000 % | 1518.31/1518.34 c | 6651802 | 1320 109939 361138 | 1 273626 42 | 0.000 % | 1518.31/1518.34 c | 6652152 | 1320 109939 361138 | 1 273976 42 | 0.000 % | 1518.31/1518.34 c | 6687646 | 1320 109939 361138 | 1 309470 45 | 0.000 % | 1518.31/1518.34 c | 6700640 | 1320 109939 361138 | 1 322464 46 | 0.000 % | 1518.31/1518.34 c | 6706972 | 1320 109939 361138 | 1 328796 46 | 0.000 % | 1518.31/1518.34 c | 6724383 | 1320 109939 361138 | 1 346207 47 | 0.000 % | 1518.31/1518.34 c | 6731498 | 1320 109939 361138 | 1 353322 48 | 0.000 % | 1518.31/1518.34 c | 6738680 | 1320 109939 361138 | 1 360504 48 | 0.000 % | 1518.31/1518.34 c | 6738842 | 1320 109939 361138 | 1 360666 48 | 0.000 % | 1518.31/1518.34 c | 6742390 | 1320 109939 361138 | 1 364214 48 | 0.000 % | 1518.31/1518.34 c | 6743040 | 1320 109939 361138 | 1 364864 48 | 0.000 % | 1518.31/1518.34 c | 6743588 | 1320 109939 361138 | 1 365412 48 | 0.000 % | 1518.31/1518.34 c | 6770954 | 1320 109939 361138 | 1 209370 35 | 0.000 % | 1518.31/1518.34 c | 6851330 | 1320 109939 361138 | 1 289746 42 | 0.000 % | 1518.31/1518.34 c | 6894776 | 1320 109939 361138 | 1 333192 44 | 0.000 % | 1518.31/1518.34 c | 6894876 | 1320 109939 361138 | 1 333292 44 | 0.000 % | 1518.31/1518.34 c | 6932163 | 1320 109939 361138 | 1 370579 46 | 0.000 % | 1518.31/1518.34 c | 6933328 | 1320 109939 361138 | 1 371744 46 | 0.000 % | 1518.31/1518.34 c | 6972001 | 1320 109939 361138 | 1 224416 36 | 0.000 % | 1518.31/1518.34 c | 6972103 | 1320 109939 361138 | 1 224518 36 | 0.000 % | 1518.31/1518.34 c | 6972400 | 1320 109939 361138 | 1 224815 36 | 0.000 % | 1518.31/1518.34 c | 6975656 | 1320 109939 361138 | 1 228071 36 | 0.000 % | 1518.31/1518.34 c | 6987637 | 1320 109939 361138 | 1 240052 38 | 0.000 % | 1518.31/1518.34 c | 7008355 | 1320 109939 361138 | 1 260770 40 | 0.000 % | 1518.31/1518.34 c | 7011321 | 1320 109939 361138 | 1 263736 41 | 0.000 % | 1518.31/1518.34 c | 7019024 | 1320 109939 361138 | 1 271439 41 | 0.000 % | 1689.63/1689.63 c | 7019224 | 1320 109939 361138 | 1 271639 41 | 0.000 % | 1689.63/1689.63 c | 7041394 | 1320 109939 361138 | 1 293809 43 | 0.000 % | 1689.63/1689.63 c | 7042072 | 1320 109939 361138 | 1 294487 43 | 0.000 % | 1689.63/1689.63 c | 7042655 | 1320 109939 361138 | 1 295070 43 | 0.000 % | 1689.63/1689.63 c | 7049881 | 1320 109939 361138 | 1 302296 44 | 0.000 % | 1689.63/1689.63 c | 7052841 | 1320 109939 361138 | 1 305256 44 | 0.000 % | 1689.63/1689.63 c | 7066864 | 1320 109939 361138 | 1 319279 44 | 0.000 % | 1689.63/1689.63 c | 7068152 | 1320 109939 361138 | 1 320567 45 | 0.000 % | 1689.63/1689.63 c | 7074458 | 1320 109939 361138 | 1 326873 45 | 0.000 % | 1689.63/1689.63 c | 7152066 | 1320 109939 361138 | 1 215885 33 | 0.000 % | 1689.63/1689.63 c | 7154099 | 1320 109939 361138 | 1 217918 34 | 0.000 % | 1689.63/1689.63 c | 7154232 | 1320 109939 361138 | 1 218051 34 | 0.000 % | 1689.63/1689.63 c | 7156775 | 1320 109939 361138 | 1 220594 35 | 0.000 % | 1689.63/1689.63 c | 7157134 | 1320 109939 361138 | 1 220953 35 | 0.000 % | 1689.63/1689.63 c | 7172767 | 1320 109939 361138 | 1 236586 38 | 0.000 % | 1689.63/1689.63 c | 7214390 | 1320 109939 361138 | 1 278209 41 | 0.000 % | 1689.63/1689.63 c | 7214750 | 1320 109939 361138 | 1 278569 41 | 0.000 % | 1689.63/1689.63 c | 7304529 | 1320 109939 361138 | 1 368348 46 | 0.000 % | 1689.63/1689.63 c | 7310234 | 1320 109939 361138 | 1 374053 47 | 0.000 % | 1689.63/1689.63 c | 7327938 | 1320 109939 361138 | 1 200563 32 | 0.000 % | 1689.63/1689.63 c | 7344920 | 1320 109939 361138 | 1 217545 35 | 0.000 % | 1689.63/1689.63 c | 7415764 | 1320 109939 361138 | 1 288389 41 | 0.000 % | 1689.63/1689.63 c | 7415864 | 1320 109939 361138 | 1 288489 41 | 0.000 % | 1689.63/1689.63 c | 7416043 | 1320 109939 361138 | 1 288668 41 | 0.000 % | 1689.63/1689.63 c | 7425528 | 1320 109939 361138 | 1 298153 42 | 0.000 % | 1689.63/1689.63 c | 7430991 | 1320 109939 361138 | 1 303616 42 | 0.000 % | 1689.63/1689.63 c | 7431094 | 1320 109939 361138 | 1 303719 42 | 0.000 % | 1689.63/1689.63 c | 7456835 | 1320 109939 361138 | 1 329460 43 | 0.000 % | 1689.63/1689.63 c | 7463971 | 1320 109939 361138 | 1 336596 44 | 0.000 % | 1689.63/1689.63 c | 7474040 | 1320 109939 361138 | 1 346665 44 | 0.000 % | 1689.63/1689.63 c | 7474353 | 1320 109939 361138 | 1 346978 44 | 0.000 % | 1689.63/1689.63 c | 7484868 | 1320 109939 361138 | 1 357493 45 | 0.000 % | 1689.63/1689.63 c | 7515978 | 1320 109939 361138 | 1 194801 30 | 0.000 % | 1689.63/1689.63 c | 7517689 | 1320 109939 361138 | 1 196512 31 | 0.000 % | 1689.63/1689.63 c | 7523363 | 1320 109939 361138 | 1 202186 32 | 0.000 % | 1689.63/1689.63 c | 7523659 | 1320 109939 361138 | 1 202482 32 | 0.000 % | 1689.63/1689.63 c | 7529365 | 1320 109939 361138 | 1 208188 33 | 0.000 % | 1689.63/1689.63 c | 7538251 | 1320 109939 361138 | 1 217074 34 | 0.000 % | 1689.63/1689.63 c | 7540211 | 1320 109939 361138 | 1 219034 35 | 0.000 % | 1689.63/1689.63 c | 7540312 | 1320 109939 361138 | 1 219135 35 | 0.000 % | 1689.63/1689.63 c | 7540560 | 1320 109939 361138 | 1 219383 35 | 0.000 % | 1689.63/1689.63 c | 7582915 | 1320 109939 361138 | 1 261738 39 | 0.000 % | 1689.63/1689.63 c | 7589011 | 1320 109939 361138 | 1 267834 40 | 0.000 % | 1689.63/1689.63 c | 7601996 | 1320 109939 361138 | 1 280819 41 | 0.000 % | 1689.63/1689.63 c | 7602965 | 1320 109939 361138 | 1 281788 41 | 0.000 % | 1689.63/1689.63 c | 7603585 | 1320 109939 361138 | 1 282408 41 | 0.000 % | 1689.63/1689.63 c | 7604067 | 1320 109939 361138 | 1 282890 41 | 0.000 % | 1689.63/1689.63 c | 7712257 | 1320 109939 361138 | 1 391080 46 | 0.000 % | 1689.63/1689.63 c | 7718433 | 1320 109939 361138 | 1 200858 30 | 0.000 % | 1832.42/1832.41 c | 7744926 | 1320 109939 361138 | 1 227351 34 | 0.000 % | 1832.42/1832.41 c | 7763127 | 1320 109939 361138 | 1 245552 36 | 0.000 % | 1832.42/1832.41 c | 7776359 | 1320 109939 361138 | 1 258784 37 | 0.000 % | 1832.42/1832.41 c | 7779199 | 1320 109939 361138 | 1 261624 37 | 0.000 % | 1832.42/1832.41 c | 7779445 | 1320 109939 361138 | 1 261870 37 | 0.000 % | 1832.42/1832.41 c | 7790140 | 1320 109939 361138 | 1 272565 38 | 0.000 % | 1832.42/1832.41 c | 7796830 | 1320 109939 361138 | 1 279255 39 | 0.000 % | 1832.42/1832.41 c | 7804267 | 1320 109939 361138 | 1 286692 40 | 0.000 % | 1832.42/1832.41 c | 7839618 | 1320 109939 361138 | 1 322043 42 | 0.000 % | 1832.42/1832.41 c | 7839770 | 1320 109939 361138 | 1 322195 43 | 0.000 % | 1832.42/1832.41 c | 7841449 | 1320 109939 361138 | 1 323874 43 | 0.000 % | 1832.42/1832.41 c | 7841727 | 1320 109939 361138 | 1 324152 43 | 0.000 % | 1832.42/1832.41 c | 7843567 | 1320 109939 361138 | 1 325992 43 | 0.000 % | 1832.42/1832.41 c | 7846557 | 1320 109939 361138 | 1 328982 43 | 0.000 % | 1832.42/1832.41 c | 7856053 | 1320 109939 361138 | 1 338478 43 | 0.000 % | 1832.42/1832.41 c | 7856153 | 1320 109939 361138 | 1 338578 43 | 0.000 % | 1832.42/1832.41 c | 7867171 | 1320 109939 361138 | 1 349596 44 | 0.000 % | 1832.42/1832.41 c | 7867272 | 1320 109939 361138 | 1 349697 44 | 0.000 % | 1832.42/1832.41 c | 7881937 | 1320 109939 361138 | 1 364362 45 | 0.000 % | 1832.42/1832.41 c | 7884857 | 1320 109939 361138 | 1 367282 45 | 0.000 % | 1832.42/1832.41 c | 7916124 | 1320 109939 361138 | 1 199550 30 | 0.000 % | 1832.42/1832.41 c | 7938526 | 1320 109939 361138 | 1 221952 33 | 0.000 % | 1832.42/1832.41 c | 7940838 | 1320 109939 361138 | 1 224264 33 | 0.000 % | 1832.42/1832.41 c | 7944020 | 1320 109939 361138 | 1 227446 34 | 0.000 % | 1832.42/1832.41 c | 7944121 | 1320 109939 361138 | 1 227547 34 | 0.000 % | 1832.42/1832.41 c | 7944244 | 1320 109939 361138 | 1 227670 34 | 0.000 % | 1832.42/1832.41 c | 7964888 | 1320 109939 361138 | 1 248314 37 | 0.000 % | 1832.42/1832.41 c | 7964989 | 1320 109939 361138 | 1 248415 37 | 0.000 % | 1832.42/1832.41 c | 7965354 | 1320 109939 361138 | 1 248780 37 | 0.000 % | 1832.42/1832.41 c | 7977509 | 1320 109939 361138 | 1 260935 38 | 0.000 % | 1832.42/1832.41 c | 7999367 | 1320 109939 361138 | 1 282793 40 | 0.000 % | 1832.42/1832.41 c | 8043194 | 1320 109939 361138 | 1 326620 42 | 0.000 % | 1832.42/1832.41 c | 8045284 | 1320 109939 361138 | 1 328710 42 | 0.000 % | 1832.42/1832.41 c | 8088342 | 1320 109939 361138 | 1 371768 44 | 0.000 % | 1832.42/1832.41 c | 8088442 | 1320 109939 361138 | 1 371868 44 | 0.000 % | 1832.42/1832.41 c | 8089180 | 1320 109939 361138 | 1 372606 44 | 0.000 % | 1832.42/1832.41 c | 8089341 | 1320 109939 361138 | 1 372767 44 | 0.000 % | 1832.42/1832.41 c | 8097607 | 1320 109939 361138 | 1 381033 44 | 0.000 % | 1832.42/1832.41 c | 8099571 | 1320 109939 361138 | 1 382997 44 | 0.000 % | 1832.42/1832.41 c | 8111020 | 1320 109939 361138 | 1 394446 45 | 0.000 % | 1832.42/1832.41 c | 8196128 | 1320 109939 361138 | 1 277945 39 | 0.000 % | 1832.42/1832.41 c | 8196954 | 1320 109939 361138 | 1 278771 39 | 0.000 % | 1832.42/1832.41 c | 8197268 | 1320 109939 361138 | 1 279085 39 | 0.000 % | 1832.42/1832.41 c | 8207455 | 1320 109939 361138 | 1 289272 39 | 0.000 % | 1832.42/1832.41 c | 8222112 | 1320 109939 361138 | 1 303929 41 | 0.000 % | 1832.42/1832.41 c | 8223819 | 1320 109939 361138 | 1 305636 41 | 0.000 % | 1832.42/1832.41 c | 8224553 | 1320 109939 361138 | 1 306370 41 | 0.000 % | 1832.42/1832.41 c | 8230350 | 1320 109939 361138 | 1 312167 42 | 0.000 % | 1832.42/1832.41 c | 8234865 | 1320 109939 361138 | 1 316682 42 | 0.000 % | 1832.42/1832.41 c | 8235030 | 1320 109939 361138 | 1 316847 42 | 0.000 % | 2018.33/2018.33 c | 8235131 | 1320 109939 361138 | 1 316948 42 | 0.000 % | 2018.33/2018.33 c | 8236366 | 1320 109939 361138 | 1 318183 42 | 0.000 % | 2018.33/2018.33 c | 8245174 | 1320 109939 361138 | 1 326991 43 | 0.000 % | 2018.33/2018.33 c | 8275635 | 1320 109939 361138 | 1 357452 44 | 0.000 % | 2018.33/2018.33 c | 8277347 | 1320 109939 361138 | 1 359164 44 | 0.000 % | 2018.33/2018.33 c | 8294203 | 1320 109939 361138 | 1 376020 45 | 0.000 % | 2018.33/2018.33 c | 8309875 | 1320 109939 361138 | 1 391692 46 | 0.000 % | 2018.33/2018.33 c | 8317555 | 1320 109939 361138 | 1 399372 46 | 0.000 % | 2018.33/2018.33 c | 8317655 | 1320 109939 361138 | 1 399472 46 | 0.000 % | 2018.33/2018.33 c | 8319158 | 1320 109939 361138 | 1 400975 47 | 0.000 % | 2018.33/2018.33 c | 8332710 | 1320 109939 361138 | 1 210326 30 | 0.000 % | 2018.33/2018.33 c | 8333037 | 1320 109939 361138 | 1 210653 31 | 0.000 % | 2018.33/2018.33 c | 8337283 | 1320 109939 361138 | 1 214899 31 | 0.000 % | 2018.33/2018.33 c | 8340182 | 1320 109939 361138 | 1 217798 32 | 0.000 % | 2018.33/2018.33 c | 8340735 | 1320 109939 361138 | 1 218351 32 | 0.000 % | 2018.33/2018.33 c | 8353711 | 1320 109939 361138 | 1 231327 34 | 0.000 % | 2018.33/2018.33 c | 8356799 | 1320 109939 361138 | 1 234415 34 | 0.000 % | 2018.33/2018.33 c | 8400570 | 1320 109939 361138 | 1 278186 40 | 0.000 % | 2018.33/2018.33 c | 8403366 | 1320 109939 361138 | 1 280982 40 | 0.000 % | 2018.33/2018.33 c | 8449692 | 1320 109939 361138 | 1 327308 44 | 0.000 % | 2018.33/2018.33 c | 8458799 | 1320 109939 361138 | 1 336415 45 | 0.000 % | 2018.33/2018.33 c | 8460055 | 1320 109939 361138 | 1 337671 45 | 0.000 % | 2018.33/2018.33 c | 8464692 | 1320 109939 361138 | 1 342308 46 | 0.000 % | 2018.33/2018.33 c | 8469676 | 1320 109939 361138 | 1 347292 46 | 0.000 % | 2018.33/2018.33 c | 8488831 | 1320 109939 361138 | 1 366447 46 | 0.000 % | 2018.33/2018.33 c | 8502084 | 1320 109939 361138 | 1 379700 47 | 0.000 % | 2018.33/2018.33 c | 8508351 | 1320 109939 361138 | 1 385967 48 | 0.000 % | 2018.33/2018.33 c | 8619007 | 1320 109939 361138 | 1 289822 41 | 0.000 % | 2018.33/2018.33 c | 8655442 | 1320 109939 361138 | 1 326257 43 | 0.000 % | 2018.33/2018.33 c | 8655563 | 1320 109939 361138 | 1 326378 43 | 0.000 % | 2018.33/2018.33 c | 8706506 | 1320 109939 361138 | 1 377321 45 | 0.000 % | 2018.33/2018.33 c | 8712674 | 1320 109939 361138 | 1 383489 46 | 0.000 % | 2018.33/2018.33 c | 8720211 | 1320 109939 361138 | 1 391026 46 | 0.000 % | 2018.33/2018.33 c | 8720311 | 1320 109939 361138 | 1 391126 46 | 0.000 % | 2018.33/2018.33 c | 8721091 | 1320 109939 361138 | 1 391906 46 | 0.000 % | 2018.33/2018.33 c | 8760808 | 1320 109939 361138 | 1 222227 32 | 0.000 % | 2018.33/2018.33 c | 8776115 | 1320 109939 361138 | 1 237534 34 | 0.000 % | 2018.33/2018.33 c | 8776216 | 1320 109939 361138 | 1 237635 34 | 0.000 % | 2018.33/2018.33 c | 8776666 | 1320 109939 361138 | 1 238085 34 | 0.000 % | 2018.33/2018.33 c | 8784599 | 1320 109939 361138 | 1 246018 36 | 0.000 % | 2018.33/2018.33 c | 8792433 | 1320 109939 361138 | 1 253852 36 | 0.000 % | 2018.33/2018.33 c | 8805847 | 1320 109939 361138 | 1 267266 38 | 0.000 % | 2018.33/2018.33 c | 8806010 | 1320 109939 361138 | 1 267429 38 | 0.000 % | 2018.33/2018.33 c | 8819406 | 1320 109939 361138 | 1 280825 39 | 0.000 % | 2018.33/2018.33 c | 8824804 | 1320 109939 361138 | 1 286223 40 | 0.000 % | 2018.33/2018.33 c | 8827508 | 1320 109939 361138 | 1 288927 40 | 0.000 % | 2018.33/2018.33 c | 8840399 | 1320 109939 361138 | 1 301818 41 | 0.000 % | 2018.33/2018.33 c | 8854986 | 1320 109939 361138 | 1 316405 43 | 0.000 % | 2018.33/2018.33 c | 8857543 | 1320 109939 361138 | 1 318962 43 | 0.000 % | 2018.33/2018.33 c | 8879010 | 1320 109939 361138 | 1 340429 44 | 0.000 % | 2250.03/2250.01 c | 8879349 | 1320 109939 361138 | 1 340768 44 | 0.000 % | 2250.03/2250.01 c | 8933498 | 1320 109939 361138 | 1 394917 48 | 0.000 % | 2250.03/2250.01 c | 8946386 | 1320 109939 361138 | 1 407805 48 | 0.000 % | 2250.03/2250.01 c | 8951467 | 1320 109939 361138 | 1 412886 49 | 0.000 % | 2250.03/2250.01 c | 8951568 | 1320 109939 361138 | 1 412987 49 | 0.000 % | 2250.03/2250.01 c | 8959874 | 1320 109939 361138 | 1 421293 49 | 0.000 % | 2250.03/2250.01 c | 8985363 | 1320 109939 361138 | 1 234782 33 | 0.000 % | 2250.03/2250.01 c | 9003339 | 1320 109939 361138 | 1 252758 36 | 0.000 % | 2250.03/2250.01 c | 9012071 | 1320 109939 361138 | 1 261490 37 | 0.000 % | 2250.03/2250.01 c | 9012462 | 1320 109939 361138 | 1 261881 37 | 0.000 % | 2250.03/2250.01 c | 9015484 | 1320 109939 361138 | 1 264903 37 | 0.000 % | 2250.03/2250.01 c | 9040277 | 1320 109939 361138 | 1 289696 39 | 0.000 % | 2250.03/2250.01 c | 9082378 | 1320 109939 361138 | 1 331797 43 | 0.000 % | 2250.03/2250.01 c | 9093538 | 1320 109939 361138 | 1 342957 44 | 0.000 % | 2250.03/2250.01 c | 9116621 | 1320 109939 361138 | 1 366040 45 | 0.000 % | 2250.03/2250.01 c | 9124139 | 1320 109939 361138 | 1 373558 46 | 0.000 % | 2250.03/2250.01 c | 9133381 | 1320 109939 361138 | 1 382800 47 | 0.000 % | 2250.03/2250.01 c | 9199274 | 1320 109939 361138 | 1 234097 33 | 0.000 % | 2250.03/2250.01 c | 9199374 | 1320 109939 361138 | 1 234197 33 | 0.000 % | 2250.03/2250.01 c | 9201733 | 1320 109939 361138 | 1 236556 33 | 0.000 % | 2250.03/2250.01 c | 9217083 | 1320 109939 361138 | 1 251906 35 | 0.000 % | 2250.03/2250.01 c | 9219527 | 1320 109939 361138 | 1 254350 35 | 0.000 % | 2250.03/2250.01 c | 9229122 | 1320 109939 361138 | 1 263945 37 | 0.000 % | 2250.03/2250.01 c | 9229299 | 1320 109939 361138 | 1 264122 37 | 0.000 % | 2250.03/2250.01 c | 9241640 | 1320 109939 361138 | 1 276463 38 | 0.000 % | 2250.03/2250.01 c | 9242316 | 1320 109939 361138 | 1 277139 38 | 0.000 % | 2250.03/2250.01 c | 9245672 | 1320 109939 361138 | 1 280495 39 | 0.000 % | 2250.03/2250.01 c | 9245792 | 1320 109939 361138 | 1 280615 39 | 0.000 % | 2250.03/2250.01 c | 9246223 | 1320 109939 361138 | 1 281046 39 | 0.000 % | 2250.03/2250.01 c | 9283191 | 1320 109939 361138 | 1 318014 42 | 0.000 % | 2250.03/2250.01 c | 9300886 | 1320 109939 361138 | 1 335709 43 | 0.000 % | 2250.03/2250.01 c | 9305190 | 1320 109939 361138 | 1 340013 44 | 0.000 % | 2250.03/2250.01 c | 9331215 | 1320 109939 361138 | 1 366038 45 | 0.000 % | 2250.03/2250.01 c | 9332070 | 1320 109939 361138 | 1 366893 45 | 0.000 % | 2250.03/2250.01 c | 9334788 | 1320 109939 361138 | 1 369611 45 | 0.000 % | 2250.03/2250.01 c | 9337773 | 1320 109939 361138 | 1 372596 46 | 0.000 % | 2250.03/2250.01 c | 9354199 | 1320 109939 361138 | 1 389022 47 | 0.000 % | 2250.03/2250.01 c | 9373862 | 1320 109939 361138 | 1 408685 47 | 0.000 % | 2250.03/2250.01 c | 9437464 | 1320 109939 361138 | 1 255088 37 | 0.000 % | 2250.03/2250.01 c | 9437564 | 1320 109939 361138 | 1 255188 37 | 0.000 % | 2250.03/2250.01 c | 9470720 | 1320 109939 361138 | 1 288344 40 | 0.000 % | 2250.03/2250.01 c | 9474153 | 1320 109939 361138 | 1 291777 40 | 0.000 % | 2250.03/2250.01 c | 9510190 | 1320 109939 361138 | 1 327814 42 | 0.000 % | 2250.03/2250.01 c | 9528384 | 1320 109939 361138 | 1 346008 43 | 0.000 % | 2250.03/2250.01 c | 9528675 | 1320 109939 361138 | 1 346299 43 | 0.000 % | 2250.03/2250.01 c | 9533209 | 1320 109939 361138 | 1 350833 44 | 0.000 % | 2250.03/2250.01 c | 9608015 | 1320 109939 361138 | 1 425639 47 | 0.000 % | 2250.03/2250.01 c | 9629589 | 1320 109939 361138 | 1 227414 30 | 0.000 % | 2250.03/2250.01 c | 9630278 | 1320 109939 361138 | 1 228103 30 | 0.000 % | 2250.03/2250.01 c | 9631546 | 1320 109939 361138 | 1 229371 31 | 0.000 % | 2472.34/2472.33 c | 9631646 | 1320 109939 361138 | 1 229471 31 | 0.000 % | 2472.34/2472.33 c | 9631746 | 1320 109939 361138 | 1 229571 31 | 0.000 % | 2472.34/2472.33 c | 9646198 | 1320 109939 361138 | 1 244023 32 | 0.000 % | 2472.34/2472.33 c | 9660613 | 1320 109939 361138 | 1 258438 33 | 0.000 % | 2472.34/2472.33 c | 9673340 | 1320 109939 361138 | 1 271165 34 | 0.000 % | 2472.34/2472.33 c | 9723883 | 1320 109939 361138 | 1 321708 39 | 0.000 % | 2472.34/2472.33 c | 9761910 | 1320 109939 361138 | 1 359735 42 | 0.000 % | 2472.34/2472.33 c | 9762736 | 1320 109939 361138 | 1 360561 42 | 0.000 % | 2472.34/2472.33 c | 9762838 | 1320 109939 361138 | 1 360663 42 | 0.000 % | 2472.34/2472.33 c | 9762938 | 1320 109939 361138 | 1 360763 42 | 0.000 % | 2472.34/2472.33 c | 9763038 | 1320 109939 361138 | 1 360863 42 | 0.000 % | 2472.34/2472.33 c | 9797333 | 1320 109939 361138 | 1 395158 44 | 0.000 % | 2472.34/2472.33 c | 9824603 | 1320 109939 361138 | 1 422428 45 | 0.000 % | 2472.34/2472.33 c | 9843673 | 1320 109939 361138 | 1 441498 46 | 0.000 % | 2472.34/2472.33 c | 9849870 | 1320 109939 361138 | 1 225293 29 | 0.000 % | 2472.34/2472.33 c | 9864711 | 1320 109939 361138 | 1 240134 31 | 0.000 % | 2472.34/2472.33 c | 9948699 | 1320 109939 361138 | 1 324122 42 | 0.000 % | 2472.34/2472.33 c | 9949509 | 1320 109939 361138 | 1 324932 42 | 0.000 % | 2472.34/2472.33 c | 9951268 | 1320 109939 361138 | 1 326691 42 | 0.000 % | 2472.34/2472.33 c | 10001783 | 1320 109939 361138 | 1 377206 46 | 0.000 % | 2472.34/2472.33 c | 10031239 | 1320 109939 361138 | 1 406662 47 | 0.000 % | 2472.34/2472.33 c | 10043412 | 1320 109939 361138 | 1 418835 48 | 0.000 % | 2472.34/2472.33 c | 10043581 | 1320 109939 361138 | 1 419004 48 | 0.000 % | 2472.34/2472.33 c | 10050107 | 1320 109939 361138 | 1 425530 48 | 0.000 % | 2472.34/2472.33 c | 10054384 | 1320 109939 361138 | 1 429807 49 | 0.000 % | 2472.34/2472.33 c | 10060751 | 1320 109939 361138 | 1 436174 49 | 0.000 % | 2472.34/2472.33 c | 10064496 | 1320 109939 361138 | 1 439919 49 | 0.000 % | 2472.34/2472.33 c | 10064679 | 1320 109939 361138 | 1 440102 49 | 0.000 % | 2472.34/2472.33 c | 10067900 | 1320 109939 361138 | 1 443323 50 | 0.000 % | 2472.34/2472.33 c | 10068000 | 1320 109939 361138 | 1 443423 50 | 0.000 % | 2472.34/2472.33 c | 10071152 | 1320 109939 361138 | 1 446575 50 | 0.000 % | 2472.34/2472.33 c | 10074472 | 1320 109939 361138 | 1 449895 50 | 0.000 % | 2472.34/2472.33 c | 10075001 | 1320 109939 361138 | 1 225419 31 | 0.000 % | 2472.34/2472.33 c | 10076061 | 1320 109939 361138 | 1 226479 31 | 0.000 % | 2472.34/2472.33 c | 10150181 | 1320 109939 361138 | 1 300599 40 | 0.000 % | 2472.34/2472.33 c | 10188356 | 1320 109939 361138 | 1 338774 43 | 0.000 % | 2472.34/2472.33 c | 10210728 | 1320 109939 361138 | 1 361146 45 | 0.000 % | 2472.34/2472.33 c | 10211076 | 1320 109939 361138 | 1 361494 45 | 0.000 % | 2472.34/2472.33 c | 10242968 | 1320 109939 361138 | 1 393386 46 | 0.000 % | 2472.34/2472.33 c | 10253673 | 1320 109939 361138 | 1 404091 47 | 0.000 % | 2472.34/2472.33 c | 10259476 | 1320 109939 361138 | 1 409894 47 | 0.000 % | 2472.34/2472.33 c | 10267744 | 1320 109939 361138 | 1 418162 48 | 0.000 % | 2472.34/2472.33 c | 10267844 | 1320 109939 361138 | 1 418262 48 | 0.000 % | 2472.34/2472.33 c | 10277370 | 1320 109939 361138 | 1 427788 48 | 0.000 % | 2472.34/2472.33 c | 10304313 | 1320 109939 361138 | 1 454731 49 | 0.000 % | 2472.34/2472.33 c | 10350949 | 1320 109939 361138 | 1 273772 35 | 0.000 % | 2472.34/2472.33 c | 10378001 | 1320 109939 361138 | 1 300824 38 | 0.000 % | 2472.34/2472.33 c | 10416372 | 1320 109939 361138 | 1 339195 41 | 0.000 % | 2472.34/2472.33 c | 10416473 | 1320 109939 361138 | 1 339296 41 | 0.000 % | 2472.34/2472.33 c | 10417010 | 1320 109939 361138 | 1 339833 41 | 0.000 % | 2620.05/2620.02 c | 10421955 | 1320 109939 361138 | 1 344778 41 | 0.000 % | 2620.05/2620.02 c | 10423373 | 1320 109939 361138 | 1 346196 41 | 0.000 % | 2620.05/2620.02 c | 10433176 | 1320 109939 361138 | 1 355999 42 | 0.000 % | 2620.05/2620.02 c | 10433439 | 1320 109939 361138 | 1 356262 42 | 0.000 % | 2620.05/2620.02 c | 10436168 | 1320 109939 361138 | 1 358991 42 | 0.000 % | 2620.05/2620.02 c | 10441522 | 1320 109939 361138 | 1 364345 43 | 0.000 % | 2620.05/2620.02 c | 10441622 | 1320 109939 361138 | 1 364445 43 | 0.000 % | 2620.05/2620.02 c | 10442368 | 1320 109939 361138 | 1 365191 43 | 0.000 % | 2620.05/2620.02 c | 10477886 | 1320 109939 361138 | 1 400709 45 | 0.000 % | 2620.05/2620.02 c | 10491596 | 1320 109939 361138 | 1 414419 46 | 0.000 % | 2620.05/2620.02 c | 10494064 | 1320 109939 361138 | 1 416887 46 | 0.000 % | 2620.05/2620.02 c | 10504164 | 1320 109939 361138 | 1 426987 47 | 0.000 % | 2620.05/2620.02 c | 10507389 | 1320 109939 361138 | 1 430212 47 | 0.000 % | 2620.05/2620.02 c | 10510541 | 1320 109939 361138 | 1 433364 47 | 0.000 % | 2620.05/2620.02 c | 10510643 | 1320 109939 361138 | 1 433466 47 | 0.000 % | 2620.05/2620.02 c | 10523117 | 1320 109939 361138 | 1 445940 48 | 0.000 % | 2620.05/2620.02 c | 10538187 | 1320 109939 361138 | 1 230810 30 | 0.000 % | 2620.05/2620.02 c | 10538289 | 1320 109939 361138 | 1 230912 30 | 0.000 % | 2620.05/2620.02 c | 10541283 | 1320 109939 361138 | 1 233906 31 | 0.000 % | 2620.05/2620.02 c | 10541463 | 1320 109939 361138 | 1 234086 31 | 0.000 % | 2620.05/2620.02 c | 10556560 | 1320 109939 361138 | 1 249183 32 | 0.000 % | 2620.05/2620.02 c | 10591161 | 1320 109939 361138 | 1 283784 35 | 0.000 % | 2620.05/2620.02 c | 10592350 | 1320 109939 361138 | 1 284973 35 | 0.000 % | 2620.05/2620.02 c | 10618564 | 1320 109939 361138 | 1 311187 37 | 0.000 % | 2620.05/2620.02 c | 10630342 | 1320 109939 361138 | 1 322965 38 | 0.000 % | 2620.05/2620.02 c | 10630444 | 1320 109939 361138 | 1 323067 38 | 0.000 % | 2620.05/2620.02 c | 10636844 | 1320 109939 361138 | 1 329467 39 | 0.000 % | 2620.05/2620.02 c | 10637422 | 1320 109939 361138 | 1 330045 39 | 0.000 % | 2620.05/2620.02 c | 10646187 | 1320 109939 361138 | 1 338810 39 | 0.000 % | 2620.05/2620.02 c | 10646287 | 1320 109939 361138 | 1 338910 39 | 0.000 % | 2620.05/2620.02 c | 10647906 | 1320 109939 361138 | 1 340529 39 | 0.000 % | 2620.05/2620.02 c | 10650345 | 1320 109939 361138 | 1 342968 40 | 0.000 % | 2620.05/2620.02 c | 10717041 | 1320 109939 361138 | 1 409664 42 | 0.000 % | 2620.05/2620.02 c | 10717141 | 1320 109939 361138 | 1 409764 42 | 0.000 % | 2620.05/2620.02 c | 10719368 | 1320 109939 361138 | 1 411991 43 | 0.000 % | 2620.05/2620.02 c | 10722268 | 1320 109939 361138 | 1 414891 43 | 0.000 % | 2620.05/2620.02 c | 10722369 | 1320 109939 361138 | 1 414992 43 | 0.000 % | 2620.05/2620.02 c | 10727310 | 1320 109939 361138 | 1 419933 43 | 0.000 % | 2620.05/2620.02 c | 10731619 | 1320 109939 361138 | 1 424242 43 | 0.000 % | 2620.05/2620.02 c | 10739808 | 1320 109939 361138 | 1 432431 44 | 0.000 % | 2620.05/2620.02 c | 10766306 | 1320 109939 361138 | 1 458929 45 | 0.000 % | 2620.05/2620.02 c | 10778461 | 1320 109939 361138 | 1 238283 29 | 0.000 % | 2620.05/2620.02 c | 10788502 | 1320 109939 361138 | 1 248324 31 | 0.000 % | 2620.05/2620.02 c | 10808393 | 1320 109939 361138 | 1 268215 33 | 0.000 % | 2620.05/2620.02 c | 10819603 | 1320 109939 361138 | 1 279425 35 | 0.000 % | 2620.05/2620.02 c | 10852614 | 1320 109939 361138 | 1 312436 38 | 0.000 % | 2620.05/2620.02 c | 10879624 | 1320 109939 361138 | 1 339446 40 | 0.000 % | 2620.05/2620.02 c | 10949478 | 1320 109939 361138 | 1 409300 43 | 0.000 % | 2620.05/2620.02 c | 10952384 | 1320 109939 361138 | 1 412206 43 | 0.000 % | 2620.05/2620.02 c | 10970707 | 1320 109939 361138 | 1 430529 45 | 0.000 % | 2764.25/2764.21 c | 10978504 | 1320 109939 361138 | 1 438326 45 | 0.000 % | 2764.25/2764.21 c | 10999542 | 1320 109939 361138 | 1 459364 46 | 0.000 % | 2764.25/2764.21 c | 11012002 | 1320 109939 361138 | 1 236424 30 | 0.000 % | 2764.25/2764.21 c | 11019776 | 1320 109939 361138 | 1 244198 31 | 0.000 % | 2764.25/2764.21 c | 11021632 | 1320 109939 361138 | 1 246054 31 | 0.000 % | 2764.25/2764.21 c | 11024219 | 1320 109939 361138 | 1 248641 32 | 0.000 % | 2764.25/2764.21 c | 11024704 | 1320 109939 361138 | 1 249126 32 | 0.000 % | 2764.25/2764.21 c | 11028593 | 1320 109939 361138 | 1 253015 32 | 0.000 % | 2764.25/2764.21 c | 11035285 | 1320 109939 361138 | 1 259707 33 | 0.000 % | 2764.25/2764.21 c | 11043964 | 1320 109939 361138 | 1 268386 35 | 0.000 % | 2764.25/2764.21 c | 11048803 | 1320 109939 361138 | 1 273225 35 | 0.000 % | 2764.25/2764.21 c | 11055968 | 1320 109939 361138 | 1 280390 36 | 0.000 % | 2764.25/2764.21 c | 11059119 | 1320 109939 361138 | 1 283541 37 | 0.000 % | 2764.25/2764.21 c | 11124045 | 1320 109939 361138 | 1 348467 41 | 0.000 % | 2764.25/2764.21 c | 11124559 | 1320 109939 361138 | 1 348981 41 | 0.000 % | 2764.25/2764.21 c | 11158770 | 1320 109939 361138 | 1 383192 43 | 0.000 % | 2764.25/2764.21 c | 11162249 | 1320 109939 361138 | 1 386671 43 | 0.000 % | 2764.25/2764.21 c | 11167033 | 1320 109939 361138 | 1 391455 44 | 0.000 % | 2764.25/2764.21 c | 11169575 | 1320 109939 361138 | 1 393997 44 | 0.000 % | 2764.25/2764.21 c | 11175992 | 1320 109939 361138 | 1 400414 44 | 0.000 % | 2764.25/2764.21 c | 11178639 | 1320 109939 361138 | 1 403061 44 | 0.000 % | 2764.25/2764.21 c | 11235523 | 1320 109939 361138 | 1 459945 47 | 0.000 % | 2764.25/2764.21 c | 11235744 | 1320 109939 361138 | 1 460166 47 | 0.000 % | 2764.25/2764.21 c | 11236002 | 1320 109939 361138 | 1 460424 47 | 0.000 % | 2764.25/2764.21 c | 11239235 | 1320 109939 361138 | 1 463657 47 | 0.000 % | 2764.25/2764.21 c | 11268173 | 1320 109939 361138 | 1 254596 31 | 0.000 % | 2764.25/2764.21 c | 11280995 | 1320 109939 361138 | 1 267418 33 | 0.000 % | 2764.25/2764.21 c | 11316184 | 1320 109939 361138 | 1 302607 37 | 0.000 % | 2764.25/2764.21 c | 11319151 | 1320 109939 361138 | 1 305574 37 | 0.000 % | 2764.25/2764.21 c | 11319919 | 1320 109939 361138 | 1 306342 37 | 0.000 % | 2764.25/2764.21 c | 11322592 | 1320 109939 361138 | 1 309015 37 | 0.000 % | 2764.25/2764.21 c | 11344803 | 1320 109939 361138 | 1 331226 39 | 0.000 % | 2764.25/2764.21 c | 11346114 | 1320 109939 361138 | 1 332537 39 | 0.000 % | 2764.25/2764.21 c | 11346704 | 1320 109939 361138 | 1 333127 39 | 0.000 % | 2764.25/2764.21 c | 11348990 | 1320 109939 361138 | 1 335413 39 | 0.000 % | 2764.25/2764.21 c | 11349091 | 1320 109939 361138 | 1 335514 39 | 0.000 % | 2764.25/2764.21 c | 11367179 | 1320 109939 361138 | 1 353602 40 | 0.000 % | 2764.25/2764.21 c | 11381978 | 1320 109939 361138 | 1 368401 41 | 0.000 % | 2764.25/2764.21 c | 11383320 | 1320 109939 361138 | 1 369743 41 | 0.000 % | 2764.25/2764.21 c | 11395332 | 1320 109939 361138 | 1 381755 42 | 0.000 % | 2764.25/2764.21 c | 11396248 | 1320 109939 361138 | 1 382671 42 | 0.000 % | 2764.25/2764.21 c | 11410436 | 1320 109939 361138 | 1 396859 43 | 0.000 % | 2764.25/2764.21 c | 11415041 | 1320 109939 361138 | 1 401464 43 | 0.000 % | 2764.25/2764.21 c | 11447972 | 1320 109939 361138 | 1 434395 44 | 0.000 % | 2764.25/2764.21 c | 11484303 | 1320 109939 361138 | 1 470726 46 | 0.000 % | 2764.25/2764.21 c | 11491713 | 1320 109939 361138 | 1 478136 47 | 0.000 % | 2764.25/2764.21 c | 11492872 | 1320 109939 361138 | 1 479295 47 | 0.000 % | 2764.25/2764.21 c | 11495132 | 1320 109939 361138 | 1 240960 29 | 0.000 % | 2764.25/2764.21 c | 11502195 | 1320 109939 361138 | 1 248023 30 | 0.000 % | 2764.25/2764.21 c | 11505011 | 1320 109939 361138 | 1 250839 30 | 0.000 % | 2943.45/2943.47 c | 11544854 | 1320 109939 361138 | 1 290682 35 | 0.000 % | 2943.45/2943.47 c | 11545955 | 1320 109939 361138 | 1 291783 35 | 0.000 % | 2943.45/2943.47 c | 11546355 | 1320 109939 361138 | 1 292183 35 | 0.000 % | 2943.45/2943.47 c | 11546673 | 1320 109939 361138 | 1 292501 36 | 0.000 % | 2943.45/2943.47 c | 11557901 | 1320 109939 361138 | 1 303729 37 | 0.000 % | 2943.45/2943.47 c | 11567322 | 1320 109939 361138 | 1 313150 38 | 0.000 % | 2943.45/2943.47 c | 11621230 | 1320 109939 361138 | 1 367058 43 | 0.000 % | 2943.45/2943.47 c | 11626618 | 1320 109939 361138 | 1 372446 43 | 0.000 % | 2943.45/2943.47 c | 11627412 | 1320 109939 361138 | 1 373240 43 | 0.000 % | 2943.45/2943.47 c | 11649339 | 1320 109939 361138 | 1 395167 44 | 0.000 % | 2943.45/2943.47 c | 11652177 | 1320 109939 361138 | 1 398005 44 | 0.000 % | 2943.45/2943.47 c | 11667852 | 1320 109939 361138 | 1 413680 46 | 0.000 % | 2943.45/2943.47 c | 11687421 | 1320 109939 361138 | 1 433249 47 | 0.000 % | 2943.45/2943.47 c | 11687610 | 1320 109939 361138 | 1 433438 47 | 0.000 % | 2943.45/2943.47 c | 11749832 | 1320 109939 361138 | 1 252458 32 | 0.000 % | 2943.45/2943.47 c | 11753292 | 1320 109939 361138 | 1 255918 32 | 0.000 % | 2943.45/2943.47 c | 11753553 | 1320 109939 361138 | 1 256179 33 | 0.000 % | 2943.45/2943.47 c | 11774609 | 1320 109939 361138 | 1 277235 36 | 0.000 % | 2943.45/2943.47 c | 11782292 | 1320 109939 361138 | 1 284918 37 | 0.000 % | 2943.45/2943.47 c | 11784042 | 1320 109939 361138 | 1 286668 37 | 0.000 % | 2943.45/2943.47 c | 11786536 | 1320 109939 361138 | 1 289162 38 | 0.000 % | 2943.45/2943.47 c | 11803692 | 1320 109939 361138 | 1 306318 39 | 0.000 % | 2943.45/2943.47 c | 11806105 | 1320 109939 361138 | 1 308731 40 | 0.000 % | 2943.45/2943.47 c | 11809834 | 1320 109939 361138 | 1 312460 40 | 0.000 % | 2943.45/2943.47 c | 11819381 | 1320 109939 361138 | 1 322007 41 | 0.000 % | 2943.45/2943.47 c | 11830634 | 1320 109939 361138 | 1 333260 42 | 0.000 % | 2943.45/2943.47 c | 11848146 | 1320 109939 361138 | 1 350772 43 | 0.000 % | 2943.45/2943.47 c | 11851383 | 1320 109939 361138 | 1 354009 43 | 0.000 % | 2943.45/2943.47 c | 11895151 | 1320 109939 361138 | 1 397777 46 | 0.000 % | 2943.45/2943.47 c | 11938869 | 1320 109939 361138 | 1 441495 48 | 0.000 % | 2943.45/2943.47 c | 11938970 | 1320 109939 361138 | 1 441596 48 | 0.000 % | 2943.45/2943.47 c | 11949654 | 1320 109939 361138 | 1 452280 48 | 0.000 % | 2943.45/2943.47 c | 11985262 | 1320 109939 361138 | 1 487888 49 | 0.000 % | 2943.45/2943.47 c | 11985396 | 1320 109939 361138 | 1 488022 49 | 0.000 % | 2943.45/2943.47 c | 11988815 | 1320 109939 361138 | 1 491441 50 | 0.000 % | 2943.45/2943.47 c | 11997861 | 1320 109939 361138 | 1 254676 31 | 0.000 % | 2943.45/2943.47 c | 12001646 | 1320 109939 361138 | 1 258461 32 | 0.000 % | 2943.45/2943.47 c | 12002412 | 1320 109939 361138 | 1 259227 32 | 0.000 % | 2943.45/2943.47 c | 12028268 | 1320 109939 361138 | 1 285083 36 | 0.000 % | 2943.45/2943.47 c | 12029321 | 1320 109939 361138 | 1 286136 36 | 0.000 % | 2943.45/2943.47 c | 12035587 | 1320 109939 361138 | 1 292402 37 | 0.000 % | 2943.45/2943.47 c | 12038278 | 1320 109939 361138 | 1 295093 37 | 0.000 % | 2943.45/2943.47 c | 12055857 | 1320 109939 361138 | 1 312672 38 | 0.000 % | 2943.45/2943.47 c | 12063414 | 1320 109939 361138 | 1 320229 39 | 0.000 % | 2943.45/2943.47 c | 12065187 | 1320 109939 361138 | 1 322002 39 | 0.000 % | 2943.45/2943.47 c | 12103879 | 1320 109939 361138 | 1 360694 43 | 0.000 % | 2943.45/2943.47 c | 12137845 | 1320 109939 361138 | 1 394660 46 | 0.000 % | 2943.45/2943.47 c | 12138421 | 1320 109939 361138 | 1 395236 46 | 0.000 % | 2943.45/2943.47 c | 12154450 | 1320 109939 361138 | 1 411265 47 | 0.000 % | 2943.45/2943.47 c | 12223332 | 1320 109939 361138 | 1 480147 49 | 0.000 % | 3113.35/3113.31 c | 12257572 | 1320 109939 361138 | 1 265995 32 | 0.000 % | 3113.35/3113.31 c | 12270035 | 1320 109939 361138 | 1 278458 33 | 0.000 % | 3113.35/3113.31 c | 12272827 | 1320 109939 361138 | 1 281250 33 | 0.000 % | 3113.35/3113.31 c | 12279618 | 1320 109939 361138 | 1 288041 34 | 0.000 % | 3113.35/3113.31 c | 12299175 | 1320 109939 361138 | 1 307598 36 | 0.000 % | 3113.35/3113.31 c | 12301380 | 1320 109939 361138 | 1 309803 36 | 0.000 % | 3113.35/3113.31 c | 12318710 | 1320 109939 361138 | 1 327133 37 | 0.000 % | 3113.35/3113.31 c | 12334325 | 1320 109939 361138 | 1 342748 38 | 0.000 % | 3113.35/3113.31 c | 12334429 | 1320 109939 361138 | 1 342852 38 | 0.000 % | 3113.35/3113.31 c | 12351246 | 1320 109939 361138 | 1 359669 40 | 0.000 % | 3113.35/3113.31 c | 12357948 | 1320 109939 361138 | 1 366371 40 | 0.000 % | 3113.35/3113.31 c | 12360074 | 1320 109939 361138 | 1 368497 40 | 0.000 % | 3113.35/3113.31 c | 12384501 | 1320 109939 361138 | 1 392924 42 | 0.000 % | 3113.35/3113.31 c | 12394408 | 1320 109939 361138 | 1 402831 43 | 0.000 % | 3113.35/3113.31 c | 12403364 | 1320 109939 361138 | 1 411787 43 | 0.000 % | 3113.35/3113.31 c | 12420693 | 1320 109939 361138 | 1 429116 44 | 0.000 % | 3113.35/3113.31 c | 12450124 | 1320 109939 361138 | 1 458547 45 | 0.000 % | 3113.35/3113.31 c | 12456830 | 1320 109939 361138 | 1 465253 45 | 0.000 % | 3113.35/3113.31 c | 12466882 | 1320 109939 361138 | 1 475305 46 | 0.000 % | 3113.35/3113.31 c | 12493659 | 1320 109939 361138 | 1 251093 30 | 0.000 % | 3113.35/3113.31 c | 12495733 | 1320 109939 361138 | 1 253167 30 | 0.000 % | 3113.35/3113.31 c | 12496877 | 1320 109939 361138 | 1 254311 30 | 0.000 % | 3113.35/3113.31 c | 12519573 | 1320 109939 361138 | 1 277007 34 | 0.000 % | 3113.35/3113.31 c | 12533063 | 1320 109939 361138 | 1 290497 36 | 0.000 % | 3113.35/3113.31 c | 12536588 | 1320 109939 361138 | 1 294022 36 | 0.000 % | 3113.35/3113.31 c | 12573840 | 1320 109939 361138 | 1 331274 39 | 0.000 % | 3113.35/3113.31 c | 12576510 | 1320 109939 361138 | 1 333944 39 | 0.000 % | 3113.35/3113.31 c | 12586839 | 1320 109939 361138 | 1 344273 40 | 0.000 % | 3113.35/3113.31 c | 12651927 | 1320 109939 361138 | 1 409361 45 | 0.000 % | 3113.35/3113.31 c | 12652129 | 1320 109939 361138 | 1 409563 45 | 0.000 % | 3113.35/3113.31 c | 12652604 | 1320 109939 361138 | 1 410038 46 | 0.000 % | 3113.35/3113.31 c | 12652705 | 1320 109939 361138 | 1 410139 46 | 0.000 % | 3113.35/3113.31 c | 12673393 | 1320 109939 361138 | 1 430827 46 | 0.000 % | 3113.35/3113.31 c | 12673494 | 1320 109939 361138 | 1 430928 46 | 0.000 % | 3113.35/3113.31 c | 12682776 | 1320 109939 361138 | 1 440210 47 | 0.000 % | 3113.35/3113.31 c | 12682887 | 1320 109939 361138 | 1 440321 47 | 0.000 % | 3113.35/3113.31 c | 12683554 | 1320 109939 361138 | 1 440988 47 | 0.000 % | 3113.35/3113.31 c | 12684149 | 1320 109939 361138 | 1 441583 47 | 0.000 % | 3113.35/3113.31 c | 12723218 | 1320 109939 361138 | 1 480652 49 | 0.000 % | 3113.35/3113.31 c | 12723498 | 1320 109939 361138 | 1 480932 49 | 0.000 % | 3113.35/3113.31 c | 12724086 | 1320 109939 361138 | 1 481520 49 | 0.000 % | 3113.35/3113.31 c | 12726522 | 1320 109939 361138 | 1 483956 49 | 0.000 % | 3113.35/3113.31 c | 12775217 | 1320 109939 361138 | 1 279047 34 | 0.000 % | 3113.35/3113.31 c | 12775320 | 1320 109939 361138 | 1 279150 34 | 0.000 % | 3113.35/3113.31 c | 12782905 | 1320 109939 361138 | 1 286735 36 | 0.000 % | 3113.35/3113.31 c | 12818226 | 1320 109939 361138 | 1 322056 39 | 0.000 % | 3113.35/3113.31 c | 12818326 | 1320 109939 361138 | 1 322156 39 | 0.000 % | 3113.35/3113.31 c | 12822022 | 1320 109939 361138 | 1 325852 39 | 0.000 % | 3113.35/3113.31 c | 12830738 | 1320 109939 361138 | 1 334568 40 | 0.000 % | 3113.35/3113.31 c | 12885472 | 1320 109939 361138 | 1 389302 43 | 0.000 % | 3257.76/3257.71 c | 12887740 | 1320 109939 361138 | 1 391570 43 | 0.000 % | 3257.76/3257.71 c | 12888814 | 1320 109939 361138 | 1 392644 44 | 0.000 % | 3257.76/3257.71 c | 12937785 | 1320 109939 361138 | 1 441615 45 | 0.000 % | 3257.76/3257.71 c | 12937885 | 1320 109939 361138 | 1 441715 45 | 0.000 % | 3257.76/3257.71 c | 12938663 | 1320 109939 361138 | 1 442493 45 | 0.000 % | 3257.76/3257.71 c | 12939432 | 1320 109939 361138 | 1 443262 45 | 0.000 % | 3257.76/3257.71 c | 12941093 | 1320 109939 361138 | 1 444923 45 | 0.000 % | 3257.76/3257.71 c | 12953515 | 1320 109939 361138 | 1 457345 46 | 0.000 % | 3257.76/3257.71 c | 12966361 | 1320 109939 361138 | 1 470191 46 | 0.000 % | 3257.76/3257.71 c | 12967943 | 1320 109939 361138 | 1 471773 46 | 0.000 % | 3257.76/3257.71 c | 12978319 | 1320 109939 361138 | 1 482149 47 | 0.000 % | 3257.76/3257.71 c | 13000964 | 1320 109939 361138 | 1 504794 47 | 0.000 % | 3257.76/3257.71 c | 13005710 | 1320 109939 361138 | 1 509540 48 | 0.000 % | 3257.76/3257.71 c | 13057970 | 1320 109939 361138 | 1 305590 36 | 0.000 % | 3257.76/3257.71 c | 13098009 | 1320 109939 361138 | 1 345629 40 | 0.000 % | 3257.76/3257.71 c | 13132673 | 1320 109939 361138 | 1 380293 42 | 0.000 % | 3257.76/3257.71 c | 13143704 | 1320 109939 361138 | 1 391324 42 | 0.000 % | 3257.76/3257.71 c | 13158881 | 1320 109939 361138 | 1 406501 43 | 0.000 % | 3257.76/3257.71 c | 13159714 | 1320 109939 361138 | 1 407334 43 | 0.000 % | 3257.76/3257.71 c | 13166344 | 1320 109939 361138 | 1 413964 43 | 0.000 % | 3257.76/3257.71 c | 13173015 | 1320 109939 361138 | 1 420635 44 | 0.000 % | 3257.76/3257.71 c | 13183395 | 1320 109939 361138 | 1 431015 44 | 0.000 % | 3257.76/3257.71 c | 13186467 | 1320 109939 361138 | 1 434087 44 | 0.000 % | 3257.76/3257.71 c | 13186697 | 1320 109939 361138 | 1 434317 44 | 0.000 % | 3257.76/3257.71 c | 13187003 | 1320 109939 361138 | 1 434623 44 | 0.000 % | 3257.76/3257.71 c | 13194050 | 1320 109939 361138 | 1 441670 45 | 0.000 % | 3257.76/3257.71 c | 13197930 | 1320 109939 361138 | 1 445550 45 | 0.000 % | 3257.76/3257.71 c | 13198139 | 1320 109939 361138 | 1 445759 45 | 0.000 % | 3257.76/3257.71 c | 13203515 | 1320 109939 361138 | 1 451135 46 | 0.000 % | 3257.76/3257.71 c | 13204071 | 1320 109939 361138 | 1 451691 46 | 0.000 % | 3257.76/3257.71 c | 13206654 | 1320 109939 361138 | 1 454274 46 | 0.000 % | 3257.76/3257.71 c | 13207075 | 1320 109939 361138 | 1 454695 46 | 0.000 % | 3257.76/3257.71 c | 13211293 | 1320 109939 361138 | 1 458913 46 | 0.000 % | 3257.76/3257.71 c | 13211825 | 1320 109939 361138 | 1 459445 46 | 0.000 % | 3257.76/3257.71 c | 13212538 | 1320 109939 361138 | 1 460158 46 | 0.000 % | 3257.76/3257.71 c | 13224435 | 1320 109939 361138 | 1 472055 47 | 0.000 % | 3257.76/3257.71 c | 13245578 | 1320 109939 361138 | 1 493198 48 | 0.000 % | 3257.76/3257.71 c | 13263811 | 1320 109939 361138 | 1 511431 48 | 0.000 % | 3257.76/3257.71 c | 13282496 | 1320 109939 361138 | 1 271323 32 | 0.000 % | 3257.76/3257.71 c | 13291800 | 1320 109939 361138 | 1 280627 33 | 0.000 % | 3257.76/3257.71 c | 13302992 | 1320 109939 361138 | 1 291819 34 | 0.000 % | 3257.76/3257.71 c | 13311561 | 1320 109939 361138 | 1 300388 35 | 0.000 % | 3257.76/3257.71 c | 13311758 | 1320 109939 361138 | 1 300585 35 | 0.000 % | 3257.76/3257.71 c | 13339120 | 1320 109939 361138 | 1 327947 37 | 0.000 % | 3257.76/3257.71 c | 13348165 | 1320 109939 361138 | 1 336992 38 | 0.000 % | 3257.76/3257.71 c | 13366420 | 1320 109939 361138 | 1 355247 39 | 0.000 % | 3257.76/3257.71 c | 13374964 | 1320 109939 361138 | 1 363791 40 | 0.000 % | 3257.76/3257.71 c | 13375065 | 1320 109939 361138 | 1 363892 40 | 0.000 % | 3257.76/3257.71 c | 13375548 | 1320 109939 361138 | 1 364375 40 | 0.000 % | 3257.76/3257.71 c | 13409257 | 1320 109939 361138 | 1 398084 43 | 0.000 % | 3482.17/3482.13 c | 13455949 | 1320 109939 361138 | 1 444776 45 | 0.000 % | 3482.17/3482.13 c | 13458774 | 1320 109939 361138 | 1 447601 45 | 0.000 % | 3482.17/3482.13 c | 13539976 | 1320 109939 361138 | 1 267400 31 | 0.000 % | 3482.17/3482.13 c | 13558846 | 1320 109939 361138 | 1 286270 33 | 0.000 % | 3482.17/3482.13 c | 13568415 | 1320 109939 361138 | 1 295839 34 | 0.000 % | 3482.17/3482.13 c | 13628831 | 1320 109939 361138 | 1 356255 39 | 0.000 % | 3482.17/3482.13 c | 13634584 | 1320 109939 361138 | 1 362008 40 | 0.000 % | 3482.17/3482.13 c | 13634684 | 1320 109939 361138 | 1 362108 40 | 0.000 % | 3482.17/3482.13 c | 13668503 | 1320 109939 361138 | 1 395927 42 | 0.000 % | 3482.17/3482.13 c | 13706789 | 1320 109939 361138 | 1 434213 43 | 0.000 % | 3482.17/3482.13 c | 13709763 | 1320 109939 361138 | 1 437187 44 | 0.000 % | 3482.17/3482.13 c | 13711092 | 1320 109939 361138 | 1 438516 44 | 0.000 % | 3482.17/3482.13 c | 13711718 | 1320 109939 361138 | 1 439142 44 | 0.000 % | 3482.17/3482.13 c | 13711895 | 1320 109939 361138 | 1 439319 44 | 0.000 % | 3482.17/3482.13 c | 13728986 | 1320 109939 361138 | 1 456410 44 | 0.000 % | 3482.17/3482.13 c | 13741510 | 1320 109939 361138 | 1 468934 45 | 0.000 % | 3482.17/3482.13 c | 13758073 | 1320 109939 361138 | 1 485497 46 | 0.000 % | 3482.17/3482.13 c | 13762272 | 1320 109939 361138 | 1 489696 46 | 0.000 % | 3482.17/3482.13 c | 13775902 | 1320 109939 361138 | 1 503326 47 | 0.000 % | 3482.17/3482.13 c | 13776573 | 1320 109939 361138 | 1 503997 47 | 0.000 % | 3482.17/3482.13 c | 13783061 | 1320 109939 361138 | 1 510485 47 | 0.000 % | 3482.17/3482.13 c | 13796590 | 1320 109939 361138 | 1 524014 48 | 0.000 % | 3482.17/3482.13 c | 13817348 | 1320 109939 361138 | 1 280771 31 | 0.000 % | 3482.17/3482.13 c | 13855892 | 1320 109939 361138 | 1 319315 35 | 0.000 % | 3482.17/3482.13 c | 13856494 | 1320 109939 361138 | 1 319917 35 | 0.000 % | 3482.17/3482.13 c | 13866479 | 1320 109939 361138 | 1 329902 36 | 0.000 % | 3482.17/3482.13 c | 13870967 | 1320 109939 361138 | 1 334390 36 | 0.000 % | 3482.17/3482.13 c | 13881380 | 1320 109939 361138 | 1 344803 37 | 0.000 % | 3482.17/3482.13 c | 13890465 | 1320 109939 361138 | 1 353888 38 | 0.000 % | 3482.17/3482.13 c | 13937737 | 1320 109939 361138 | 1 401160 41 | 0.000 % | 3482.17/3482.13 c | 13946718 | 1320 109939 361138 | 1 410141 42 | 0.000 % | 3482.17/3482.13 c | 13962755 | 1320 109939 361138 | 1 426178 43 | 0.000 % | 3482.17/3482.13 c | 13983479 | 1320 109939 361138 | 1 446902 44 | 0.000 % | 3482.17/3482.13 c | 13985422 | 1320 109939 361138 | 1 448845 44 | 0.000 % | 3482.17/3482.13 c | 14002874 | 1320 109939 361138 | 1 466297 45 | 0.000 % | 3482.17/3482.13 c | 14006530 | 1320 109939 361138 | 1 469953 45 | 0.000 % | 3482.17/3482.13 c | 14011668 | 1320 109939 361138 | 1 475091 45 | 0.000 % | 3482.17/3482.13 c | 14041304 | 1320 109939 361138 | 1 504727 46 | 0.000 % | 3482.17/3482.13 c | 14044005 | 1320 109939 361138 | 1 507428 46 | 0.000 % | 3482.17/3482.13 c | 14092085 | 1320 109939 361138 | 1 288901 31 | 0.000 % | 3482.17/3482.13 c | 14100157 | 1320 109939 361138 | 1 296973 32 | 0.000 % | 3482.17/3482.13 c | 14100258 | 1320 109939 361138 | 1 297074 32 | 0.000 % | 3482.17/3482.13 c | 14106557 | 1320 109939 361138 | 1 303373 33 | 0.000 % | 3482.17/3482.13 c | 14109919 | 1320 109939 361138 | 1 306735 33 | 0.000 % | 3482.17/3482.13 c | 14112305 | 1320 109939 361138 | 1 309121 33 | 0.000 % | 3482.17/3482.13 c | 14126453 | 1320 109939 361138 | 1 323269 35 | 0.000 % | 3482.17/3482.13 c | 14134044 | 1320 109939 361138 | 1 330860 36 | 0.000 % | 3482.17/3482.13 c | 14135124 | 1320 109939 361138 | 1 331940 36 | 0.000 % | 3482.17/3482.13 c | 14155481 | 1320 109939 361138 | 1 352297 39 | 0.000 % | 3482.17/3482.13 c | 14157322 | 1320 109939 361138 | 1 354138 39 | 0.000 % | 3682.87/3682.83 c | 14169241 | 1320 109939 361138 | 1 366057 40 | 0.000 % | 3682.87/3682.83 c | 14205619 | 1320 109939 361138 | 1 402435 42 | 0.000 % | 3682.87/3682.83 c | 14249245 | 1320 109939 361138 | 1 446061 44 | 0.000 % | 3682.87/3682.83 c | 14254180 | 1320 109939 361138 | 1 450996 44 | 0.000 % | 3682.87/3682.83 c | 14256391 | 1320 109939 361138 | 1 453207 44 | 0.000 % | 3682.87/3682.83 c | 14366957 | 1320 109939 361138 | 1 294575 32 | 0.000 % | 3682.87/3682.83 c | 14368497 | 1320 109939 361138 | 1 296115 32 | 0.000 % | 3682.87/3682.83 c | 14391091 | 1320 109939 361138 | 1 318709 34 | 0.000 % | 3682.87/3682.83 c | 14398621 | 1320 109939 361138 | 1 326239 35 | 0.000 % | 3682.87/3682.83 c | 14401463 | 1320 109939 361138 | 1 329081 35 | 0.000 % | 3682.87/3682.83 c | 14420932 | 1320 109939 361138 | 1 348550 37 | 0.000 % | 3682.87/3682.83 c | 14423426 | 1320 109939 361138 | 1 351044 37 | 0.000 % | 3682.87/3682.83 c | 14424569 | 1320 109939 361138 | 1 352187 37 | 0.000 % | 3682.87/3682.83 c | 14430444 | 1320 109939 361138 | 1 358062 38 | 0.000 % | 3682.87/3682.83 c | 14433878 | 1320 109939 361138 | 1 361496 38 | 0.000 % | 3682.87/3682.83 c | 14434821 | 1320 109939 361138 | 1 362439 38 | 0.000 % | 3682.87/3682.83 c | 14435154 | 1320 109939 361138 | 1 362772 38 | 0.000 % | 3682.87/3682.83 c | 14451117 | 1320 109939 361138 | 1 378735 39 | 0.000 % | 3682.87/3682.83 c | 14451534 | 1320 109939 361138 | 1 379152 39 | 0.000 % | 3682.87/3682.83 c | 14454495 | 1320 109939 361138 | 1 382113 39 | 0.000 % | 3682.87/3682.83 c | 14465993 | 1320 109939 361138 | 1 393611 40 | 0.000 % | 3682.87/3682.83 c | 14466104 | 1320 109939 361138 | 1 393722 40 | 0.000 % | 3682.87/3682.83 c | 14466968 | 1320 109939 361138 | 1 394586 40 | 0.000 % | 3682.87/3682.83 c | 14476114 | 1320 109939 361138 | 1 403732 41 | 0.000 % | 3682.87/3682.83 c | 14489488 | 1320 109939 361138 | 1 417106 42 | 0.000 % | 3682.87/3682.83 c | 14513460 | 1320 109939 361138 | 1 441078 44 | 0.000 % | 3682.87/3682.83 c | 14513670 | 1320 109939 361138 | 1 441288 44 | 0.000 % | 3682.87/3682.83 c | 14525790 | 1320 109939 361138 | 1 453408 45 | 0.000 % | 3682.87/3682.83 c | 14556095 | 1320 109939 361138 | 1 483713 46 | 0.000 % | 3682.87/3682.83 c | 14596898 | 1320 109939 361138 | 1 524516 47 | 0.000 % | 3682.87/3682.83 c | 14606675 | 1320 109939 361138 | 1 534293 47 | 0.000 % | 3682.87/3682.83 c | 14622603 | 1320 109939 361138 | 1 278424 30 | 0.000 % | 3682.87/3682.83 c | 14635048 | 1320 109939 361138 | 1 290869 32 | 0.000 % | 3682.87/3682.83 c | 14690525 | 1320 109939 361138 | 1 346346 37 | 0.000 % | 3682.87/3682.83 c | 14713194 | 1320 109939 361138 | 1 369015 39 | 0.000 % | 3682.87/3682.83 c | 14714099 | 1320 109939 361138 | 1 369920 39 | 0.000 % | 3682.87/3682.83 c | 14714249 | 1320 109939 361138 | 1 370070 39 | 0.000 % | 3682.87/3682.83 c | 14749845 | 1320 109939 361138 | 1 405666 40 | 0.000 % | 3682.87/3682.83 c | 14750625 | 1320 109939 361138 | 1 406446 40 | 0.000 % | 3682.87/3682.83 c | 14753510 | 1320 109939 361138 | 1 409331 41 | 0.000 % | 3682.87/3682.83 c | 14769161 | 1320 109939 361138 | 1 424982 42 | 0.000 % | 3682.87/3682.83 c | 14769509 | 1320 109939 361138 | 1 425330 42 | 0.000 % | 3682.87/3682.83 c | 14773777 | 1320 109939 361138 | 1 429598 42 | 0.000 % | 3682.87/3682.83 c | 14780892 | 1320 109939 361138 | 1 436713 42 | 0.000 % | 3682.87/3682.83 c | 14786642 | 1320 109939 361138 | 1 442463 43 | 0.000 % | 3682.87/3682.83 c | 14787629 | 1320 109939 361138 | 1 443450 43 | 0.000 % | 3682.87/3682.83 c | 14791079 | 1320 109939 361138 | 1 446900 43 | 0.000 % | 3682.87/3682.83 c | 14809465 | 1320 109939 361138 | 1 465286 44 | 0.000 % | 3682.87/3682.83 c | 14813911 | 1320 109939 361138 | 1 469732 44 | 0.000 % | 3682.87/3682.83 c | 14841789 | 1320 109939 361138 | 1 497610 45 | 0.000 % | 3944.37/3944.31 c | 14866785 | 1320 109939 361138 | 1 522606 46 | 0.000 % | 3944.37/3944.31 c | 14874727 | 1320 109939 361138 | 1 530548 46 | 0.000 % | 3944.37/3944.31 c | 14911923 | 1320 109939 361138 | 1 293341 32 | 0.000 % | 3944.37/3944.31 c | 14926884 | 1320 109939 361138 | 1 308302 34 | 0.000 % | 3944.37/3944.31 c | 14952463 | 1320 109939 361138 | 1 333881 37 | 0.000 % | 3944.37/3944.31 c | 14967849 | 1320 109939 361138 | 1 349267 39 | 0.000 % | 3944.37/3944.31 c | 14983302 | 1320 109939 361138 | 1 364720 40 | 0.000 % | 3944.37/3944.31 c | 15018886 | 1320 109939 361138 | 1 400304 42 | 0.000 % | 3944.37/3944.31 c | 15056926 | 1320 109939 361138 | 1 438344 43 | 0.000 % | 3944.37/3944.31 c | 15058544 | 1320 109939 361138 | 1 439962 43 | 0.000 % | 3944.37/3944.31 c | 15109920 | 1320 109939 361138 | 1 491338 44 | 0.000 % | 3944.37/3944.31 c | 15144288 | 1320 109939 361138 | 1 525706 46 | 0.000 % | 3944.37/3944.31 c | 15169845 | 1320 109939 361138 | 1 551263 46 | 0.000 % | 3944.37/3944.31 c | 15198681 | 1320 109939 361138 | 1 303098 32 | 0.000 % | 3944.37/3944.31 c | 15213034 | 1320 109939 361138 | 1 317451 34 | 0.000 % | 3944.37/3944.31 c | 15213590 | 1320 109939 361138 | 1 318007 34 | 0.000 % | 3944.37/3944.31 c | 15214040 | 1320 109939 361138 | 1 318457 34 | 0.000 % | 3944.37/3944.31 c | 15221437 | 1320 109939 361138 | 1 325854 35 | 0.000 % | 3944.37/3944.31 c | 15244951 | 1320 109939 361138 | 1 349368 36 | 0.000 % | 3944.37/3944.31 c | 15259795 | 1320 109939 361138 | 1 364212 38 | 0.000 % | 3944.37/3944.31 c | 15269825 | 1320 109939 361138 | 1 374242 39 | 0.000 % | 3944.37/3944.31 c | 15277424 | 1320 109939 361138 | 1 381841 39 | 0.000 % | 3944.37/3944.31 c | 15279371 | 1320 109939 361138 | 1 383788 39 | 0.000 % | 3944.37/3944.31 c | 15283402 | 1320 109939 361138 | 1 387819 39 | 0.000 % | 3944.37/3944.31 c | 15339145 | 1320 109939 361138 | 1 443562 42 | 0.000 % | 3944.37/3944.31 c | 15359831 | 1320 109939 361138 | 1 464248 42 | 0.000 % | 3944.37/3944.31 c | 15415164 | 1320 109939 361138 | 1 519581 45 | 0.000 % | 3944.37/3944.31 c | 15433856 | 1320 109939 361138 | 1 538273 45 | 0.000 % | 3944.37/3944.31 c | 15436869 | 1320 109939 361138 | 1 541286 45 | 0.000 % | 3944.37/3944.31 c | 15443626 | 1320 109939 361138 | 1 548043 46 | 0.000 % | 3944.37/3944.31 c | 15449074 | 1320 109939 361138 | 1 553491 46 | 0.000 % | 3944.37/3944.31 c | 15466817 | 1320 109939 361138 | 1 291634 30 | 0.000 % | 3944.37/3944.31 c | 15513764 | 1320 109939 361138 | 1 338581 33 | 0.000 % | 3944.37/3944.31 c | 15523175 | 1320 109939 361138 | 1 347992 34 | 0.000 % | 3944.37/3944.31 c | 15557889 | 1320 109939 361138 | 1 382706 36 | 0.000 % | 3944.37/3944.31 c | 15589740 | 1320 109939 361138 | 1 414557 38 | 0.000 % | 3944.37/3944.31 c | 15592085 | 1320 109939 361138 | 1 416902 38 | 0.000 % | 3944.37/3944.31 c | 15595327 | 1320 109939 361138 | 1 420144 38 | 0.000 % | 3944.37/3944.31 c | 15633335 | 1320 109939 361138 | 1 458152 40 | 0.000 % | 3944.37/3944.31 c | 15645302 | 1320 109939 361138 | 1 470119 40 | 0.000 % | 3944.37/3944.31 c | 15645924 | 1320 109939 361138 | 1 470741 40 | 0.000 % | 3944.37/3944.31 c | 15648125 | 1320 109939 361138 | 1 472942 40 | 0.000 % | 3944.37/3944.31 c | 15664845 | 1320 109939 361138 | 1 489662 41 | 0.000 % | 3944.37/3944.31 c | 15673029 | 1320 109939 361138 | 1 497846 41 | 0.000 % | 3944.37/3944.31 c | 15682530 | 1320 109939 361138 | 1 507347 42 | 0.000 % | 3944.37/3944.31 c | 15683704 | 1320 109939 361138 | 1 508521 42 | 0.000 % | 3944.37/3944.31 c | 15686195 | 1320 109939 361138 | 1 511012 42 | 0.000 % | 3944.37/3944.31 c | 15689757 | 1320 109939 361138 | 1 514574 42 | 0.000 % | 3944.37/3944.31 c | 15694103 | 1320 109939 361138 | 1 518920 42 | 0.000 % | 3944.37/3944.31 c | 15695233 | 1320 109939 361138 | 1 520050 42 | 0.000 % | 4096.88/4096.83 c | 15697427 | 1320 109939 361138 | 1 522244 42 | 0.000 % | 4096.88/4096.83 c | 15697528 | 1320 109939 361138 | 1 522345 42 | 0.000 % | 4096.88/4096.83 c | 15701505 | 1320 109939 361138 | 1 526322 42 | 0.000 % | 4096.88/4096.83 c | 15702597 | 1320 109939 361138 | 1 527414 42 | 0.000 % | 4096.88/4096.83 c | 15703901 | 1320 109939 361138 | 1 528718 43 | 0.000 % | 4096.88/4096.83 c | 15736234 | 1320 109939 361138 | 1 561051 43 | 0.000 % | 4096.88/4096.83 c | 15737264 | 1320 109939 361138 | 1 562081 44 | 0.000 % | 4096.88/4096.83 c | 15743401 | 1320 109939 361138 | 1 286018 28 | 0.000 % | 4096.88/4096.83 c | 15758961 | 1320 109939 361138 | 1 301578 30 | 0.000 % | 4096.88/4096.83 c | 15760013 | 1320 109939 361138 | 1 302630 30 | 0.000 % | 4096.88/4096.83 c | 15760383 | 1320 109939 361138 | 1 303000 30 | 0.000 % | 4096.88/4096.83 c | 15763654 | 1320 109939 361138 | 1 306271 30 | 0.000 % | 4096.88/4096.83 c | 15773621 | 1320 109939 361138 | 1 316238 31 | 0.000 % | 4096.88/4096.83 c | 15782696 | 1320 109939 361138 | 1 325313 32 | 0.000 % | 4096.88/4096.83 c | 15783005 | 1320 109939 361138 | 1 325622 32 | 0.000 % | 4096.88/4096.83 c | 15792852 | 1320 109939 361138 | 1 335469 33 | 0.000 % | 4096.88/4096.83 c | 15885548 | 1320 109939 361138 | 1 428165 39 | 0.000 % | 4096.88/4096.83 c | 15888299 | 1320 109939 361138 | 1 430916 39 | 0.000 % | 4096.88/4096.83 c | 15901166 | 1320 109939 361138 | 1 443783 40 | 0.000 % | 4096.88/4096.83 c | 15903209 | 1320 109939 361138 | 1 445826 40 | 0.000 % | 4096.88/4096.83 c | 15904063 | 1320 109939 361138 | 1 446680 40 | 0.000 % | 4096.88/4096.83 c | 15911945 | 1320 109939 361138 | 1 454562 40 | 0.000 % | 4096.88/4096.83 c | 15925380 | 1320 109939 361138 | 1 467997 41 | 0.000 % | 4096.88/4096.83 c | 15925482 | 1320 109939 361138 | 1 468099 41 | 0.000 % | 4096.88/4096.83 c | 15939926 | 1320 109939 361138 | 1 482543 41 | 0.000 % | 4096.88/4096.83 c | 15941336 | 1320 109939 361138 | 1 483953 41 | 0.000 % | 4096.88/4096.83 c | 15956790 | 1320 109939 361138 | 1 499407 42 | 0.000 % | 4096.88/4096.83 c | 15956890 | 1320 109939 361138 | 1 499507 42 | 0.000 % | 4096.88/4096.83 c | 15958603 | 1320 109939 361138 | 1 501220 42 | 0.000 % | 4096.88/4096.83 c | 15976963 | 1320 109939 361138 | 1 519580 42 | 0.000 % | 4096.88/4096.83 c | 15979139 | 1320 109939 361138 | 1 521756 43 | 0.000 % | 4096.88/4096.83 c | 15982960 | 1320 109939 361138 | 1 525577 43 | 0.000 % | 4096.88/4096.83 c | 15983575 | 1320 109939 361138 | 1 526192 43 | 0.000 % | 4096.88/4096.83 c | 15983757 | 1320 109939 361138 | 1 526374 43 | 0.000 % | 4096.88/4096.83 c | 15983861 | 1320 109939 361138 | 1 526478 43 | 0.000 % | 4096.88/4096.83 c | 16012060 | 1320 109939 361138 | 1 554677 44 | 0.000 % | 4096.88/4096.83 c | 16012725 | 1320 109939 361138 | 1 555342 44 | 0.000 % | 4096.88/4096.83 c | 16043818 | 1320 109939 361138 | 1 301633 29 | 0.000 % | 4096.88/4096.83 c | 16044279 | 1320 109939 361138 | 1 302094 29 | 0.000 % | 4096.88/4096.83 c | 16046599 | 1320 109939 361138 | 1 304414 29 | 0.000 % | 4096.88/4096.83 c | 16051126 | 1320 109939 361138 | 1 308941 30 | 0.000 % | 4096.88/4096.83 c | 16084464 | 1320 109939 361138 | 1 342279 33 | 0.000 % | 4096.88/4096.83 c | 16088060 | 1320 109939 361138 | 1 345875 33 | 0.000 % | 4096.88/4096.83 c | 16088160 | 1320 109939 361138 | 1 345975 33 | 0.000 % | 4096.88/4096.83 c | 16088260 | 1320 109939 361138 | 1 346075 33 | 0.000 % | 4096.88/4096.83 c | 16091690 | 1320 109939 361138 | 1 349505 34 | 0.000 % | 4096.88/4096.83 c | 16091791 | 1320 109939 361138 | 1 349606 34 | 0.000 % | 4096.88/4096.83 c | 16117288 | 1320 109939 361138 | 1 375103 36 | 0.000 % | 4096.88/4096.83 c | 16117389 | 1320 109939 361138 | 1 375204 36 | 0.000 % | 4096.88/4096.83 c | 16125740 | 1320 109939 361138 | 1 383555 36 | 0.000 % | 4207.28/4207.22 c | 16167349 | 1320 109939 361138 | 1 425164 39 | 0.000 % | 4207.28/4207.22 c | 16169760 | 1320 109939 361138 | 1 427575 39 | 0.000 % | 4207.28/4207.22 c | 16207554 | 1320 109939 361138 | 1 465369 42 | 0.000 % | 4207.28/4207.22 c | 16212802 | 1320 109939 361138 | 1 470617 42 | 0.000 % | 4207.28/4207.22 c | 16215500 | 1320 109939 361138 | 1 473315 42 | 0.000 % | 4207.28/4207.22 c | 16217781 | 1320 109939 361138 | 1 475596 42 | 0.000 % | 4207.28/4207.22 c | 16218154 | 1320 109939 361138 | 1 475969 42 | 0.000 % | 4207.28/4207.22 c | 16240496 | 1320 109939 361138 | 1 498311 43 | 0.000 % | 4207.28/4207.22 c | 16241774 | 1320 109939 361138 | 1 499589 43 | 0.000 % | 4207.28/4207.22 c | 16242131 | 1320 109939 361138 | 1 499946 43 | 0.000 % | 4207.28/4207.22 c | 16249267 | 1320 109939 361138 | 1 507082 44 | 0.000 % | 4207.28/4207.22 c | 16264312 | 1320 109939 361138 | 1 522127 44 | 0.000 % | 4207.28/4207.22 c | 16276870 | 1320 109939 361138 | 1 534685 45 | 0.000 % | 4207.28/4207.22 c | 16282353 | 1320 109939 361138 | 1 540168 45 | 0.000 % | 4207.28/4207.22 c | 16282728 | 1320 109939 361138 | 1 540543 45 | 0.000 % | 4207.28/4207.22 c | 16287243 | 1320 109939 361138 | 1 545058 46 | 0.000 % | 4207.28/4207.22 c | 16291777 | 1320 109939 361138 | 1 549592 46 | 0.000 % | 4207.28/4207.22 c | 16292435 | 1320 109939 361138 | 1 550250 46 | 0.000 % | 4207.28/4207.22 c | 16295689 | 1320 109939 361138 | 1 553504 46 | 0.000 % | 4207.28/4207.22 c | 16312499 | 1320 109939 361138 | 1 570314 47 | 0.000 % | 4207.28/4207.22 c | 16326776 | 1320 109939 361138 | 1 297193 30 | 0.000 % | 4207.28/4207.22 c | 16343135 | 1320 109939 361138 | 1 313552 32 | 0.000 % | 4207.28/4207.22 c | 16365555 | 1320 109939 361138 | 1 335972 35 | 0.000 % | 4207.28/4207.22 c | 16366207 | 1320 109939 361138 | 1 336624 35 | 0.000 % | 4207.28/4207.22 c | 16380855 | 1320 109939 361138 | 1 351272 37 | 0.000 % | 4207.28/4207.22 c | 16381186 | 1320 109939 361138 | 1 351603 37 | 0.000 % | 4207.28/4207.22 c | 16382848 | 1320 109939 361138 | 1 353265 37 | 0.000 % | 4207.28/4207.22 c | 16383079 | 1320 109939 361138 | 1 353496 37 | 0.000 % | 4207.28/4207.22 c | 16383264 | 1320 109939 361138 | 1 353681 37 | 0.000 % | 4207.28/4207.22 c | 16398861 | 1320 109939 361138 | 1 369278 38 | 0.000 % | 4207.28/4207.22 c | 16400268 | 1320 109939 361138 | 1 370685 38 | 0.000 % | 4207.28/4207.22 c | 16400369 | 1320 109939 361138 | 1 370786 38 | 0.000 % | 4207.28/4207.22 c | 16421758 | 1320 109939 361138 | 1 392175 40 | 0.000 % | 4207.28/4207.22 c | 16422631 | 1320 109939 361138 | 1 393048 40 | 0.000 % | 4207.28/4207.22 c | 16424317 | 1320 109939 361138 | 1 394734 40 | 0.000 % | 4207.28/4207.22 c | 16440434 | 1320 109939 361138 | 1 410851 41 | 0.000 % | 4207.28/4207.22 c | 16443351 | 1320 109939 361138 | 1 413768 41 | 0.000 % | 4207.28/4207.22 c | 16446119 | 1320 109939 361138 | 1 416536 42 | 0.000 % | 4207.28/4207.22 c | 16455930 | 1320 109939 361138 | 1 426347 42 | 0.000 % | 4207.28/4207.22 c | 16457221 | 1320 109939 361138 | 1 427638 42 | 0.000 % | 4207.28/4207.22 c | 16457325 | 1320 109939 361138 | 1 427742 42 | 0.000 % | 4207.28/4207.22 c | 16464834 | 1320 109939 361138 | 1 435251 43 | 0.000 % | 4207.28/4207.22 c | 16475095 | 1320 109939 361138 | 1 445512 43 | 0.000 % | 4207.28/4207.22 c | 16475242 | 1320 109939 361138 | 1 445659 43 | 0.000 % | 4207.28/4207.22 c | 16513096 | 1320 109939 361138 | 1 483513 46 | 0.000 % | 4207.28/4207.22 c | 16521550 | 1320 109939 361138 | 1 491967 47 | 0.000 % | 4207.28/4207.22 c | 16534257 | 1320 109939 361138 | 1 504674 47 | 0.000 % | 4207.28/4207.22 c | 16534358 | 1320 109939 361138 | 1 504775 47 | 0.000 % | 4207.28/4207.22 c | 16540518 | 1320 109939 361138 | 1 510935 47 | 0.000 % | 4207.28/4207.22 c | 16552415 | 1320 109939 361138 | 1 522832 48 | 0.000 % | 4312.39/4312.34 c | 16554148 | 1320 109939 361138 | 1 524565 48 | 0.000 % | 4312.39/4312.34 c | 16554821 | 1320 109939 361138 | 1 525238 48 | 0.000 % | 4312.39/4312.34 c | 16554922 | 1320 109939 361138 | 1 525339 48 | 0.000 % | 4312.39/4312.34 c | 16555623 | 1320 109939 361138 | 1 526040 48 | 0.000 % | 4312.39/4312.34 c | 16574739 | 1320 109939 361138 | 1 545156 48 | 0.000 % | 4312.39/4312.34 c | 16649431 | 1320 109939 361138 | 1 329860 34 | 0.000 % | 4312.39/4312.34 c | 16663092 | 1320 109939 361138 | 1 343521 35 | 0.000 % | 4312.39/4312.34 c | 16663972 | 1320 109939 361138 | 1 344401 35 | 0.000 % | 4312.39/4312.34 c | 16666788 | 1320 109939 361138 | 1 347217 35 | 0.000 % | 4312.39/4312.34 c | 16668624 | 1320 109939 361138 | 1 349053 36 | 0.000 % | 4312.39/4312.34 c | 16669337 | 1320 109939 361138 | 1 349766 36 | 0.000 % | 4312.39/4312.34 c | 16687272 | 1320 109939 361138 | 1 367701 38 | 0.000 % | 4312.39/4312.34 c | 16689691 | 1320 109939 361138 | 1 370120 38 | 0.000 % | 4312.39/4312.34 c | 16690075 | 1320 109939 361138 | 1 370504 38 | 0.000 % | 4312.39/4312.34 c | 16690599 | 1320 109939 361138 | 1 371028 38 | 0.000 % | 4312.39/4312.34 c | 16700951 | 1320 109939 361138 | 1 381380 39 | 0.000 % | 4312.39/4312.34 c | 16725007 | 1320 109939 361138 | 1 405436 41 | 0.000 % | 4312.39/4312.34 c | 16734226 | 1320 109939 361138 | 1 414655 42 | 0.000 % | 4312.39/4312.34 c | 16735848 | 1320 109939 361138 | 1 416277 42 | 0.000 % | 4312.39/4312.34 c | 16736128 | 1320 109939 361138 | 1 416557 42 | 0.000 % | 4312.39/4312.34 c | 16736347 | 1320 109939 361138 | 1 416776 42 | 0.000 % | 4312.39/4312.34 c | 16746264 | 1320 109939 361138 | 1 426693 43 | 0.000 % | 4312.39/4312.34 c | 16750453 | 1320 109939 361138 | 1 430882 43 | 0.000 % | 4312.39/4312.34 c | 16760229 | 1320 109939 361138 | 1 440658 44 | 0.000 % | 4312.39/4312.34 c | 16763633 | 1320 109939 361138 | 1 444062 44 | 0.000 % | 4312.39/4312.34 c | 16765489 | 1320 109939 361138 | 1 445918 44 | 0.000 % | 4312.39/4312.34 c | 16768643 | 1320 109939 361138 | 1 449072 44 | 0.000 % | 4312.39/4312.34 c | 16768875 | 1320 109939 361138 | 1 449304 44 | 0.000 % | 4312.39/4312.34 c | 16776215 | 1320 109939 361138 | 1 456644 45 | 0.000 % | 4312.39/4312.34 c | 16776315 | 1320 109939 361138 | 1 456744 45 | 0.000 % | 4312.39/4312.34 c | 16787412 | 1320 109939 361138 | 1 467841 46 | 0.000 % | 4312.39/4312.34 c | 16789546 | 1320 109939 361138 | 1 469975 46 | 0.000 % | 4312.39/4312.34 c | 16797449 | 1320 109939 361138 | 1 477878 46 | 0.000 % | 4312.39/4312.34 c | 16823453 | 1320 109939 361138 | 1 503882 47 | 0.000 % | 4312.39/4312.34 c | 16826811 | 1320 109939 361138 | 1 507240 47 | 0.000 % | 4312.39/4312.34 c | 16829298 | 1320 109939 361138 | 1 509727 47 | 0.000 % | 4312.39/4312.34 c | 16835786 | 1320 109939 361138 | 1 516215 47 | 0.000 % | 4312.39/4312.34 c | 16838303 | 1320 109939 361138 | 1 518732 47 | 0.000 % | 4312.39/4312.34 c | 16865276 | 1320 109939 361138 | 1 545705 48 | 0.000 % | 4312.39/4312.34 c | 16898301 | 1320 109939 361138 | 1 578730 49 | 0.000 % | 4312.39/4312.34 c | 16900169 | 1320 109939 361138 | 1 580598 49 | 0.000 % | 4312.39/4312.34 c | 16901027 | 1320 109939 361138 | 1 581456 49 | 0.000 % | 4312.39/4312.34 c | 16904798 | 1320 109939 361138 | 1 585227 49 | 0.000 % | 4312.39/4312.34 c | 16920828 | 1320 109939 361138 | 1 308645 32 | 0.000 % | 4312.39/4312.34 c | 16920929 | 1320 109939 361138 | 1 308746 32 | 0.000 % | 4312.39/4312.34 c | 16921029 | 1320 109939 361138 | 1 308846 32 | 0.000 % | 4312.39/4312.34 c | 16922161 | 1320 109939 361138 | 1 309978 32 | 0.000 % | 4312.39/4312.34 c | 16923087 | 1320 109939 361138 | 1 310904 32 | 0.000 % | 4312.39/4312.34 c | 16928332 | 1320 109939 361138 | 1 316149 33 | 0.000 % | 4312.39/4312.34 c | 16928434 | 1320 109939 361138 | 1 316251 33 | 0.000 % | 4459.59/4459.57 c | 16962753 | 1320 109939 361138 | 1 350570 37 | 0.000 % | 4459.59/4459.57 c | 16966458 | 1320 109939 361138 | 1 354275 37 | 0.000 % | 4459.59/4459.57 c | 16966560 | 1320 109939 361138 | 1 354377 37 | 0.000 % | 4459.59/4459.57 c | 16970954 | 1320 109939 361138 | 1 358771 38 | 0.000 % | 4459.59/4459.57 c | 16976370 | 1320 109939 361138 | 1 364187 38 | 0.000 % | 4459.59/4459.57 c | 16985292 | 1320 109939 361138 | 1 373109 38 | 0.000 % | 4459.59/4459.57 c | 17031110 | 1320 109939 361138 | 1 418927 41 | 0.000 % | 4459.59/4459.57 c | 17042233 | 1320 109939 361138 | 1 430050 42 | 0.000 % | 4459.59/4459.57 c | 17073975 | 1320 109939 361138 | 1 461792 43 | 0.000 % | 4459.59/4459.57 c | 17074505 | 1320 109939 361138 | 1 462322 43 | 0.000 % | 4459.59/4459.57 c | 17077237 | 1320 109939 361138 | 1 465054 43 | 0.000 % | 4459.59/4459.57 c | 17077491 | 1320 109939 361138 | 1 465308 43 | 0.000 % | 4459.59/4459.57 c | 17077683 | 1320 109939 361138 | 1 465500 43 | 0.000 % | 4459.59/4459.57 c | 17083349 | 1320 109939 361138 | 1 471166 44 | 0.000 % | 4459.59/4459.57 c | 17109259 | 1320 109939 361138 | 1 497076 45 | 0.000 % | 4459.59/4459.57 c | 17109985 | 1320 109939 361138 | 1 497802 45 | 0.000 % | 4459.59/4459.57 c | 17114365 | 1320 109939 361138 | 1 502182 45 | 0.000 % | 4459.59/4459.57 c | 17118831 | 1320 109939 361138 | 1 506648 45 | 0.000 % | 4459.59/4459.57 c | 17143859 | 1320 109939 361138 | 1 531676 46 | 0.000 % | 4459.59/4459.57 c | 17146640 | 1320 109939 361138 | 1 534457 46 | 0.000 % | 4459.59/4459.57 c | 17163746 | 1320 109939 361138 | 1 551563 46 | 0.000 % | 4459.59/4459.57 c | 17163849 | 1320 109939 361138 | 1 551666 46 | 0.000 % | 4459.59/4459.57 c | 17166494 | 1320 109939 361138 | 1 554311 46 | 0.000 % | 4459.59/4459.57 c | 17172317 | 1320 109939 361138 | 1 560134 46 | 0.000 % | 4459.59/4459.57 c | 17173792 | 1320 109939 361138 | 1 561609 46 | 0.000 % | 4459.59/4459.57 c | 17173976 | 1320 109939 361138 | 1 561793 46 | 0.000 % | 4459.59/4459.57 c | 17187657 | 1320 109939 361138 | 1 575474 47 | 0.000 % | 4459.59/4459.57 c | 17190841 | 1320 109939 361138 | 1 578658 47 | 0.000 % | 4459.59/4459.57 c | 17197756 | 1320 109939 361138 | 1 585573 47 | 0.000 % | 4459.59/4459.57 c | 17202036 | 1320 109939 361138 | 1 589853 47 | 0.000 % | 4459.59/4459.57 c | 17208424 | 1320 109939 361138 | 1 301039 29 | 0.000 % | 4459.59/4459.57 c | 17209083 | 1320 109939 361138 | 1 301698 29 | 0.000 % | 4459.59/4459.57 c | 17209184 | 1320 109939 361138 | 1 301799 29 | 0.000 % | 4459.59/4459.57 c | 17255176 | 1320 109939 361138 | 1 347791 33 | 0.000 % | 4459.59/4459.57 c | 17263451 | 1320 109939 361138 | 1 356066 34 | 0.000 % | 4459.59/4459.57 c | 17263551 | 1320 109939 361138 | 1 356166 34 | 0.000 % | 4459.59/4459.57 c | 17264254 | 1320 109939 361138 | 1 356869 34 | 0.000 % | 4459.59/4459.57 c | 17278386 | 1320 109939 361138 | 1 371001 35 | 0.000 % | 4459.59/4459.57 c | 17280284 | 1320 109939 361138 | 1 372899 35 | 0.000 % | 4459.59/4459.57 c | 17324464 | 1320 109939 361138 | 1 417079 39 | 0.000 % | 4459.59/4459.57 c | 17324704 | 1320 109939 361138 | 1 417319 39 | 0.000 % | 4459.59/4459.57 c | 17332780 | 1320 109939 361138 | 1 425395 40 | 0.000 % | 4459.59/4459.57 c | 17332882 | 1320 109939 361138 | 1 425497 40 | 0.000 % | 4459.59/4459.57 c | 17332994 | 1320 109939 361138 | 1 425609 40 | 0.000 % | 4459.59/4459.57 c | 17347916 | 1320 109939 361138 | 1 440531 41 | 0.000 % | 4459.59/4459.57 c | 17361616 | 1320 109939 361138 | 1 454231 42 | 0.000 % | 4459.59/4459.57 c | 17361716 | 1320 109939 361138 | 1 454331 42 | 0.000 % | 4459.59/4459.57 c | 17363928 | 1320 109939 361138 | 1 456543 42 | 0.000 % | 4459.59/4459.57 c | 17366682 | 1320 109939 361138 | 1 459297 42 | 0.000 % | 4459.59/4459.57 c | 17382684 | 1320 109939 361138 | 1 475299 43 | 0.000 % | 4610.29/4610.23 c | 17393308 | 1320 109939 361138 | 1 485923 44 | 0.000 % | 4610.29/4610.23 c | 17398322 | 1320 109939 361138 | 1 490937 44 | 0.000 % | 4610.29/4610.23 c | 17424464 | 1320 109939 361138 | 1 517079 45 | 0.000 % | 4610.29/4610.23 c | 17427527 | 1320 109939 361138 | 1 520142 45 | 0.000 % | 4610.29/4610.23 c | 17428372 | 1320 109939 361138 | 1 520987 45 | 0.000 % | 4610.29/4610.23 c | 17451450 | 1320 109939 361138 | 1 544065 46 | 0.000 % | 4610.29/4610.23 c | 17464710 | 1320 109939 361138 | 1 557325 47 | 0.000 % | 4610.29/4610.23 c | 17470213 | 1320 109939 361138 | 1 562828 47 | 0.000 % | 4610.29/4610.23 c | 17474291 | 1320 109939 361138 | 1 566906 47 | 0.000 % | 4610.29/4610.23 c | 17485096 | 1320 109939 361138 | 1 577711 48 | 0.000 % | 4610.29/4610.23 c | 17522897 | 1320 109939 361138 | 1 317712 31 | 0.000 % | 4610.29/4610.23 c | 17527697 | 1320 109939 361138 | 1 322512 31 | 0.000 % | 4610.29/4610.23 c | 17536111 | 1320 109939 361138 | 1 330926 32 | 0.000 % | 4610.29/4610.23 c | 17549845 | 1320 109939 361138 | 1 344660 34 | 0.000 % | 4610.29/4610.23 c | 17554458 | 1320 109939 361138 | 1 349273 34 | 0.000 % | 4610.29/4610.23 c | 17560241 | 1320 109939 361138 | 1 355056 34 | 0.000 % | 4610.29/4610.23 c | 17561309 | 1320 109939 361138 | 1 356124 34 | 0.000 % | 4610.29/4610.23 c | 17567910 | 1320 109939 361138 | 1 362725 35 | 0.000 % | 4610.29/4610.23 c | 17572411 | 1320 109939 361138 | 1 367226 35 | 0.000 % | 4610.29/4610.23 c | 17574416 | 1320 109939 361138 | 1 369231 35 | 0.000 % | 4610.29/4610.23 c | 17577492 | 1320 109939 361138 | 1 372307 36 | 0.000 % | 4610.29/4610.23 c | 17585346 | 1320 109939 361138 | 1 380161 36 | 0.000 % | 4610.29/4610.23 c | 17588882 | 1320 109939 361138 | 1 383697 37 | 0.000 % | 4610.29/4610.23 c | 17591769 | 1320 109939 361138 | 1 386584 37 | 0.000 % | 4610.29/4610.23 c | 17642761 | 1320 109939 361138 | 1 437576 39 | 0.000 % | 4610.29/4610.23 c | 17646170 | 1320 109939 361138 | 1 440985 40 | 0.000 % | 4610.29/4610.23 c | 17659094 | 1320 109939 361138 | 1 453909 41 | 0.000 % | 4610.29/4610.23 c | 17660076 | 1320 109939 361138 | 1 454891 41 | 0.000 % | 4610.29/4610.23 c | 17684044 | 1320 109939 361138 | 1 478859 42 | 0.000 % | 4610.29/4610.23 c | 17685552 | 1320 109939 361138 | 1 480367 42 | 0.000 % | 4610.29/4610.23 c | 17690670 | 1320 109939 361138 | 1 485485 42 | 0.000 % | 4610.29/4610.23 c | 17691687 | 1320 109939 361138 | 1 486502 42 | 0.000 % | 4610.29/4610.23 c | 17691932 | 1320 109939 361138 | 1 486747 42 | 0.000 % | 4610.29/4610.23 c | 17698577 | 1320 109939 361138 | 1 493392 43 | 0.000 % | 4610.29/4610.23 c | 17711226 | 1320 109939 361138 | 1 506041 43 | 0.000 % | 4610.29/4610.23 c | 17711326 | 1320 109939 361138 | 1 506141 43 | 0.000 % | 4610.29/4610.23 c | 17711426 | 1320 109939 361138 | 1 506241 43 | 0.000 % | 4610.29/4610.23 c | 17711526 | 1320 109939 361138 | 1 506341 43 | 0.000 % | 4610.29/4610.23 c | 17713009 | 1320 109939 361138 | 1 507824 43 | 0.000 % | 4610.29/4610.23 c | 17713279 | 1320 109939 361138 | 1 508094 43 | 0.000 % | 4610.29/4610.23 c | 17714408 | 1320 109939 361138 | 1 509223 43 | 0.000 % | 4610.29/4610.23 c | 17715449 | 1320 109939 361138 | 1 510264 44 | 0.000 % | 4610.29/4610.23 c | 17721972 | 1320 109939 361138 | 1 516787 44 | 0.000 % | 4610.29/4610.23 c | 17728917 | 1320 109939 361138 | 1 523732 44 | 0.000 % | 4610.29/4610.23 c | 17740449 | 1320 109939 361138 | 1 535264 44 | 0.000 % | 4610.29/4610.23 c | 17752831 | 1320 109939 361138 | 1 547646 45 | 0.000 % | 4610.29/4610.23 c | 17771148 | 1320 109939 361138 | 1 565963 46 | 0.000 % | 4610.29/4610.23 c | 17789705 | 1320 109939 361138 | 1 584520 46 | 0.000 % | 4610.29/4610.23 c | 17804358 | 1320 109939 361138 | 1 599173 47 | 0.000 % | 4610.29/4610.23 c | 17804588 | 1320 109939 361138 | 1 599403 47 | 0.000 % | 4813.40/4813.34 c | 17810334 | 1320 109939 361138 | 1 304753 29 | 0.000 % | 4813.40/4813.34 c | 17840141 | 1320 109939 361138 | 1 334560 32 | 0.000 % | 4813.40/4813.34 c | 17840358 | 1320 109939 361138 | 1 334777 32 | 0.000 % | 4813.40/4813.34 c | 17845902 | 1320 109939 361138 | 1 340321 33 | 0.000 % | 4813.40/4813.34 c | 17846003 | 1320 109939 361138 | 1 340422 33 | 0.000 % | 4813.40/4813.34 c | 17852348 | 1320 109939 361138 | 1 346767 34 | 0.000 % | 4813.40/4813.34 c | 17855544 | 1320 109939 361138 | 1 349963 34 | 0.000 % | 4813.40/4813.34 c | 17884301 | 1320 109939 361138 | 1 378720 36 | 0.000 % | 4813.40/4813.34 c | 17885905 | 1320 109939 361138 | 1 380324 36 | 0.000 % | 4813.40/4813.34 c | 17886474 | 1320 109939 361138 | 1 380893 36 | 0.000 % | 4813.40/4813.34 c | 17888679 | 1320 109939 361138 | 1 383098 37 | 0.000 % | 4813.40/4813.34 c | 17925912 | 1320 109939 361138 | 1 420331 39 | 0.000 % | 4813.40/4813.34 c | 17928613 | 1320 109939 361138 | 1 423032 39 | 0.000 % | 4813.40/4813.34 c | 17931769 | 1320 109939 361138 | 1 426188 40 | 0.000 % | 4813.40/4813.34 c | 17937127 | 1320 109939 361138 | 1 431546 40 | 0.000 % | 4813.40/4813.34 c | 17971085 | 1320 109939 361138 | 1 465504 42 | 0.000 % | 4813.40/4813.34 c | 17971188 | 1320 109939 361138 | 1 465607 42 | 0.000 % | 4813.40/4813.34 c | 17978733 | 1320 109939 361138 | 1 473152 42 | 0.000 % | 4813.40/4813.34 c | 17979055 | 1320 109939 361138 | 1 473474 42 | 0.000 % | 4813.40/4813.34 c | 17980472 | 1320 109939 361138 | 1 474891 42 | 0.000 % | 4813.40/4813.34 c | 18054619 | 1320 109939 361138 | 1 549038 44 | 0.000 % | 4813.40/4813.34 c | 18055594 | 1320 109939 361138 | 1 550013 44 | 0.000 % | 4813.40/4813.34 c | 18068703 | 1320 109939 361138 | 1 563122 44 | 0.000 % | 4813.40/4813.34 c | 18075584 | 1320 109939 361138 | 1 570003 44 | 0.000 % | 4813.40/4813.34 c | 18120079 | 1320 109939 361138 | 1 311501 29 | 0.000 % | 4813.40/4813.34 c | 18128742 | 1320 109939 361138 | 1 320164 30 | 0.000 % | 4813.40/4813.34 c | 18234207 | 1320 109939 361138 | 1 425629 37 | 0.000 % | 4813.40/4813.34 c | 18255164 | 1320 109939 361138 | 1 446586 39 | 0.000 % | 4813.40/4813.34 c | 18260032 | 1320 109939 361138 | 1 451454 39 | 0.000 % | 4813.40/4813.34 c | 18287175 | 1320 109939 361138 | 1 478597 40 | 0.000 % | 4813.40/4813.34 c | 18299268 | 1320 109939 361138 | 1 490690 41 | 0.000 % | 4813.40/4813.34 c | 18299368 | 1320 109939 361138 | 1 490790 41 | 0.000 % | 4813.40/4813.34 c | 18313707 | 1320 109939 361138 | 1 505129 42 | 0.000 % | 4813.40/4813.34 c | 18322451 | 1320 109939 361138 | 1 513873 42 | 0.000 % | 4813.40/4813.34 c | 18323057 | 1320 109939 361138 | 1 514479 42 | 0.000 % | 4813.40/4813.34 c | 18323244 | 1320 109939 361138 | 1 514666 42 | 0.000 % | 4813.40/4813.34 c | 18330450 | 1320 109939 361138 | 1 521872 42 | 0.000 % | 4813.40/4813.34 c | 18346521 | 1320 109939 361138 | 1 537943 43 | 0.000 % | 4813.40/4813.34 c | 18346621 | 1320 109939 361138 | 1 538043 43 | 0.000 % | 4813.40/4813.34 c | 18351361 | 1320 109939 361138 | 1 542783 43 | 0.000 % | 4813.40/4813.34 c | 18363671 | 1320 109939 361138 | 1 555093 44 | 0.000 % | 4813.40/4813.34 c | 18368322 | 1320 109939 361138 | 1 559744 44 | 0.000 % | 4813.40/4813.34 c | 18372249 | 1320 109939 361138 | 1 563671 44 | 0.000 % | 4813.40/4813.34 c | 18445071 | 1320 109939 361138 | 1 330897 30 | 0.000 % | 4813.40/4813.34 c | 18451456 | 1320 109939 361138 | 1 337282 31 | 0.000 % | 4813.40/4813.34 c | 18451824 | 1320 109939 361138 | 1 337650 31 | 0.000 % | 4813.40/4813.34 c | 18453207 | 1320 109939 361138 | 1 339033 31 | 0.000 % | 4813.40/4813.34 c | 18458575 | 1320 109939 361138 | 1 344401 32 | 0.000 % | 4813.40/4813.34 c | 18460326 | 1320 109939 361138 | 1 346152 32 | 0.000 % | 4813.40/4813.34 c | 18473936 | 1320 109939 361138 | 1 359762 33 | 0.000 % | 4972.20/4972.16 c | 18474200 | 1320 109939 361138 | 1 360026 33 | 0.000 % | 4972.20/4972.16 c | 18502158 | 1320 109939 361138 | 1 387984 36 | 0.000 % | 4972.20/4972.16 c | 18502304 | 1320 109939 361138 | 1 388130 36 | 0.000 % | 4972.20/4972.16 c | 18503942 | 1320 109939 361138 | 1 389768 36 | 0.000 % | 4972.20/4972.16 c | 18530538 | 1320 109939 361138 | 1 416364 37 | 0.000 % | 4972.20/4972.16 c | 18540739 | 1320 109939 361138 | 1 426565 38 | 0.000 % | 4972.20/4972.16 c | 18554115 | 1320 109939 361138 | 1 439941 39 | 0.000 % | 4972.20/4972.16 c | 18568772 | 1320 109939 361138 | 1 454598 40 | 0.000 % | 4972.20/4972.16 c | 18577076 | 1320 109939 361138 | 1 462902 40 | 0.000 % | 4972.20/4972.16 c | 18585438 | 1320 109939 361138 | 1 471264 41 | 0.000 % | 4972.20/4972.16 c | 18597349 | 1320 109939 361138 | 1 483175 41 | 0.000 % | 4972.20/4972.16 c | 18600810 | 1320 109939 361138 | 1 486636 42 | 0.000 % | 4972.20/4972.16 c | 18605363 | 1320 109939 361138 | 1 491189 42 | 0.000 % | 4972.20/4972.16 c | 18606644 | 1320 109939 361138 | 1 492470 42 | 0.000 % | 4972.20/4972.16 c | 18609228 | 1320 109939 361138 | 1 495054 42 | 0.000 % | 4972.20/4972.16 c | 18656128 | 1320 109939 361138 | 1 541954 45 | 0.000 % | 4972.20/4972.16 c | 18656526 | 1320 109939 361138 | 1 542352 45 | 0.000 % | 4972.20/4972.16 c | 18657263 | 1320 109939 361138 | 1 543089 45 | 0.000 % | 4972.20/4972.16 c | 18700926 | 1320 109939 361138 | 1 586752 47 | 0.000 % | 4972.20/4972.16 c | 18701027 | 1320 109939 361138 | 1 586853 47 | 0.000 % | 4972.20/4972.16 c | 18706805 | 1320 109939 361138 | 1 592631 47 | 0.000 % | 4972.20/4972.16 c | 18712828 | 1320 109939 361138 | 1 598654 47 | 0.000 % | 4972.20/4972.16 c | 18716734 | 1320 109939 361138 | 1 602560 47 | 0.000 % | 4972.20/4972.16 c | 18773298 | 1320 109939 361138 | 1 350923 34 | 0.000 % | 4972.20/4972.16 c | 18780230 | 1320 109939 361138 | 1 357855 35 | 0.000 % | 4972.20/4972.16 c | 18792380 | 1320 109939 361138 | 1 370005 36 | 0.000 % | 4972.20/4972.16 c | 18793893 | 1320 109939 361138 | 1 371518 36 | 0.000 % | 4972.20/4972.16 c | 18819367 | 1320 109939 361138 | 1 396992 37 | 0.000 % | 4972.20/4972.16 c | 18840434 | 1320 109939 361138 | 1 418059 38 | 0.000 % | 4972.20/4972.16 c | 18847563 | 1320 109939 361138 | 1 425188 39 | 0.000 % | 4972.20/4972.16 c | 18849483 | 1320 109939 361138 | 1 427108 39 | 0.000 % | 4972.20/4972.16 c | 18849584 | 1320 109939 361138 | 1 427209 39 | 0.000 % | 4972.20/4972.16 c | 18849763 | 1320 109939 361138 | 1 427388 39 | 0.000 % | 4972.20/4972.16 c | 18849972 | 1320 109939 361138 | 1 427597 39 | 0.000 % | 4972.20/4972.16 c | 18872187 | 1320 109939 361138 | 1 449812 41 | 0.000 % | 4972.20/4972.16 c | 18873271 | 1320 109939 361138 | 1 450896 41 | 0.000 % | 4972.20/4972.16 c | 18873373 | 1320 109939 361138 | 1 450998 41 | 0.000 % | 4972.20/4972.16 c | 18873474 | 1320 109939 361138 | 1 451099 41 | 0.000 % | 4972.20/4972.16 c | 18879288 | 1320 109939 361138 | 1 456913 41 | 0.000 % | 4972.20/4972.16 c | 18881643 | 1320 109939 361138 | 1 459268 41 | 0.000 % | 4972.20/4972.16 c | 18881972 | 1320 109939 361138 | 1 459597 41 | 0.000 % | 4972.20/4972.16 c | 18892209 | 1320 109939 361138 | 1 469834 42 | 0.000 % | 4972.20/4972.16 c | 18915307 | 1320 109939 361138 | 1 492932 42 | 0.000 % | 4972.20/4972.16 c | 18944313 | 1320 109939 361138 | 1 521938 43 | 0.000 % | 4972.20/4972.16 c | 18981821 | 1320 109939 361138 | 1 559446 44 | 0.000 % | 4972.20/4972.16 c | 18988612 | 1320 109939 361138 | 1 566237 45 | 0.000 % | 4972.20/4972.16 c | 18994285 | 1320 109939 361138 | 1 571910 45 | 0.000 % | 4972.20/4972.16 c | 18994391 | 1320 109939 361138 | 1 572016 45 | 0.000 % | 4972.20/4972.16 c | 19017311 | 1320 109939 361138 | 1 594936 46 | 0.000 % | 4972.20/4972.16 c |
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: 935) 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-3303347-1303899331/watcher-3303347-1303899331 -o /tmp/evaluation-result-3303347-1303899331/solver-3303347-1303899331 -C 5000 -W 5100 -M 15500 glucose.sh HOME/instance-3303347-1303899331.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: 0.00 0.00 0.00 2/174 27780 /proc/meminfo: memFree=22609268/32951124 swapFree=67111528/67111528 [pid=27780] ppid=27778 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/27780/stat : 27780 (glucose.sh) S 27778 27780 27748 0 -1 4202496 334 0 0 0 0 0 0 0 23 0 1 0 482348453 8912896 253 33554432000 4194304 4922060 140735175779696 18446744073709551615 254261435525 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/27780/statm: 2176 253 211 178 0 69 0 [startup+0.0363039 s] /proc/loadavg: 0.00 0.00 0.00 2/174 27780 /proc/meminfo: memFree=22609268/32951124 swapFree=67111528/67111528 [pid=27780] ppid=27778 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/27780/stat : 27780 (glucose.sh) S 27778 27780 27748 0 -1 4202496 334 0 0 0 0 0 0 0 23 0 1 0 482348453 8912896 253 33554432000 4194304 4922060 140735175779696 18446744073709551615 254261435525 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/27780/statm: 2176 253 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+0.100258 s] /proc/loadavg: 0.00 0.00 0.00 2/174 27780 /proc/meminfo: memFree=22609268/32951124 swapFree=67111528/67111528 [pid=27780] ppid=27778 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/27780/stat : 27780 (glucose.sh) S 27778 27780 27748 0 -1 4202496 334 0 0 0 0 0 0 0 23 0 1 0 482348453 8912896 253 33554432000 4194304 4922060 140735175779696 18446744073709551615 254261435525 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/27780/statm: 2176 253 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+0.300253 s] /proc/loadavg: 0.00 0.00 0.00 2/174 27780 /proc/meminfo: memFree=22609268/32951124 swapFree=67111528/67111528 [pid=27780] ppid=27778 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/27780/stat : 27780 (glucose.sh) S 27778 27780 27748 0 -1 4202496 334 0 0 0 0 0 0 0 23 0 1 0 482348453 8912896 253 33554432000 4194304 4922060 140735175779696 18446744073709551615 254261435525 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/27780/statm: 2176 253 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+0.701175 s] /proc/loadavg: 0.00 0.00 0.00 2/174 27780 /proc/meminfo: memFree=22609268/32951124 swapFree=67111528/67111528 [pid=27780] ppid=27778 vsize=8704 CPUtime=0.3 cores=0,2,4,6 /proc/27780/stat : 27780 (glucose.sh) S 27778 27780 27748 0 -1 4202496 359 2379 0 0 0 0 30 0 21 0 1 0 482348453 8912896 255 33554432000 4194304 4922060 140735175779696 18446744073709551615 254261435525 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/27780/statm: 2176 255 211 178 0 69 0 Current children cumulated CPU time (s) 0.3 Current children cumulated vsize (KiB) 8704 [startup+1.50102 s] /proc/loadavg: 0.00 0.00 0.00 3/180 27790 /proc/meminfo: memFree=22570668/32951124 swapFree=67111528/67111528 [pid=27780] ppid=27778 vsize=8704 CPUtime=0.3 cores=0,2,4,6 /proc/27780/stat : 27780 (glucose.sh) S 27778 27780 27748 0 -1 4202496 359 2379 0 0 0 0 30 0 21 0 1 0 482348453 8912896 255 33554432000 4194304 4922060 140735175779696 18446744073709551615 254261435525 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/27780/statm: 2176 255 211 178 0 69 0 [pid=27790] ppid=27780 vsize=30092 CPUtime=1.18 cores=0,2,4,6 /proc/27790/stat : 27790 (glucose_static) R 27780 27780 27748 0 -1 4202496 6772 0 0 0 118 0 0 0 25 0 1 0 482348484 30814208 4063 33554432000 4194304 4260849 140734156330176 18446744073709551615 4225146 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/27790/statm: 7523 4063 250 17 0 4164 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 38796 [startup+3.10076 s] /proc/loadavg: 0.00 0.00 0.00 3/180 27791 /proc/meminfo: memFree=22558888/32951124 swapFree=67111528/67111528 [pid=27780] ppid=27778 vsize=8704 CPUtime=0.3 cores=0,2,4,6 /proc/27780/stat : 27780 (glucose.sh) S 27778 27780 27748 0 -1 4202496 359 2379 0 0 0 0 30 0 21 0 1 0 482348453 8912896 255 33554432000 4194304 4922060 140735175779696 18446744073709551615 254261435525 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/27780/statm: 2176 255 211 178 0 69 0 [pid=27790] ppid=27780 vsize=38864 CPUtime=2.78 cores=0,2,4,6 /proc/27790/stat : 27790 (glucose_static) R 27780 27780 27748 0 -1 4202496 9475 0 0 0 278 0 0 0 25 0 1 0 482348484 39796736 6544 33554432000 4194304 4260849 140734156330176 18446744073709551615 4225082 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/27790/statm: 9716 6544 250 17 0 6357 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 47568 [startup+6.3012 s] /proc/loadavg: 0.16 0.03 0.01 3/180 27791 /proc/meminfo: memFree=22521896/32951124 swapFree=67111528/67111528 [pid=27780] ppid=27778 vsize=8704 CPUtime=0.3 cores=0,2,4,6 /proc/27780/stat : 27780 (glucose.sh) S 27778 27780 27748 0 -1 4202496 359 2379 0 0 0 0 30 0 21 0 1 0 482348453 8912896 255 33554432000 4194304 4922060 140735175779696 18446744073709551615 254261435525 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/27780/statm: 2176 255 211 178 0 69 0 [pid=27790] ppid=27780 vsize=41584 CPUtime=5.98 cores=0,2,4,6 /proc/27790/stat : 27790 (glucose_static) R 27780 27780 27748 0 -1 4202496 10171 0 0 0 598 0 0 0 25 0 1 0 482348484 42582016 7224 33554432000 4194304 4260849 140734156330176 18446744073709551615 4209206 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/27790/statm: 10396 7224 250 17 0 7037 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 50288 [startup+12.7011 s] /proc/loadavg: 0.31 0.07 0.02 3/180 27791 /proc/meminfo: memFree=22504940/32951124 swapFree=67111528/67111528 [pid=27780] ppid=27778 vsize=8704 CPUtime=0.3 cores=0,2,4,6 /proc/27780/stat : 27780 (glucose.sh) S 27778 27780 27748 0 -1 4202496 359 2379 0 0 0 0 30 0 21 0 1 0 482348453 8912896 255 33554432000 4194304 4922060 140735175779696 18446744073709551615 254261435525 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/27780/statm: 2176 255 211 178 0 69 0 [pid=27790] ppid=27780 vsize=53188 CPUtime=12.38 cores=0,2,4,6 /proc/27790/stat : 27790 (glucose_static) R 27780 27780 27748 0 -1 4202496 15763 0 0 0 1237 1 0 0 25 0 1 0 482348484 54464512 5904 33554432000 4194304 4260849 140734156330176 18446744073709551615 4224632 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/27790/statm: 13297 5904 250 17 0 9938 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 61892 [startup+25.5008 s] /proc/loadavg: 0.68 0.16 0.05 3/180 27792 /proc/meminfo: memFree=22493148/32951124 swapFree=67111528/67111528 [pid=27780] ppid=27778 vsize=8704 CPUtime=0.3 cores=0,2,4,6 /proc/27780/stat : 27780 (glucose.sh) S 27778 27780 27748 0 -1 4202496 359 2379 0 0 0 0 30 0 21 0 1 0 482348453 8912896 255 33554432000 4194304 4922060 140735175779696 18446744073709551615 254261435525 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/27780/statm: 2176 255 211 178 0 69 0 [pid=27790] ppid=27780 vsize=53752 CPUtime=25.18 cores=0,2,4,6 /proc/27790/stat : 27790 (glucose_static) R 27780 27780 27748 0 -1 4202496 24548 0 0 0 2516 2 0 0 25 0 1 0 482348484 55042048 9008 33554432000 4194304 4260849 140734156330176 18446744073709551615 4224875 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/27790/statm: 13438 9008 250 17 0 10079 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 62456 [startup+51.1003 s] /proc/loadavg: 1.13 0.31 0.10 3/180 27793 /proc/meminfo: memFree=22481708/32951124 swapFree=67111528/67111528 [pid=27780] ppid=27778 vsize=8704 CPUtime=0.3 cores=0,2,4,6 /proc/27780/stat : 27780 (glucose.sh) S 27778 27780 27748 0 -1 4202496 359 2379 0 0 0 0 30 0 21 0 1 0 482348453 8912896 255 33554432000 4194304 4922060 140735175779696 18446744073709551615 254261435525 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/27780/statm: 2176 255 211 178 0 69 0 [pid=27790] ppid=27780 vsize=91280 CPUtime=50.78 cores=0,2,4,6 /proc/27790/stat : 27790 (glucose_static) R 27780 27780 27748 0 -1 4202496 32278 0 0 0 5075 3 0 0 25 0 1 0 482348484 93470720 11670 33554432000 4194304 4260849 140734156330176 18446744073709551615 4225080 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/27790/statm: 22820 11670 250 17 0 19461 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 99984 [startup+102.306 s] /proc/loadavg: 1.62 0.56 0.20 3/180 27794 /proc/meminfo: memFree=22416228/32951124 swapFree=67111528/67111528 [pid=27780] ppid=27778 vsize=8704 CPUtime=0.3 cores=0,2,4,6 /proc/27780/stat : 27780 (glucose.sh) S 27778 27780 27748 0 -1 4202496 359 2379 0 0 0 0 30 0 21 0 1 0 482348453 8912896 255 33554432000 4194304 4922060 140735175779696 18446744073709551615 254261435525 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/27780/statm: 2176 255 211 178 0 69 0 [pid=27790] ppid=27780 vsize=91280 CPUtime=101.99 cores=0,2,4,6 /proc/27790/stat : 27790 (glucose_static) R 27780 27780 27748 0 -1 4202496 39378 0 0 0 10194 5 0 0 25 0 1 0 482348484 93470720 18575 33554432000 4194304 4260849 140734156330176 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/27790/statm: 22820 18575 250 17 0 19461 0 Current children cumulated CPU time (s) 102.29 Current children cumulated vsize (KiB) 99984 [startup+162.301 s] /proc/loadavg: 1.86 0.82 0.31 3/180 27795 /proc/meminfo: memFree=22407908/32951124 swapFree=67111528/67111528 [pid=27780] ppid=27778 vsize=8704 CPUtime=0.3 cores=0,2,4,6 /proc/27780/stat : 27780 (glucose.sh) S 27778 27780 27748 0 -1 4202496 359 2379 0 0 0 0 30 0 21 0 1 0 482348453 8912896 255 33554432000 4194304 4922060 140735175779696 18446744073709551615 254261435525 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/27780/statm: 2176 255 211 178 0 69 0 [pid=27790] ppid=27780 vsize=91280 CPUtime=161.98 cores=0,2,4,6 /proc/27790/stat : 27790 (glucose_static) R 27780 27780 27748 0 -1 4202496 39606 0 0 0 16193 5 0 0 25 0 1 0 482348484 93470720 18800 33554432000 4194304 4260849 140734156330176 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/27790/statm: 22820 18800 250 17 0 19461 0 Current children cumulated CPU time (s) 162.28 Current children cumulated vsize (KiB) 99984 [startup+222.301 s] /proc/loadavg: 1.95 1.04 0.41 3/180 27797 /proc/meminfo: memFree=22436164/32951124 swapFree=67111528/67111528 [pid=27780] ppid=27778 vsize=8704 CPUtime=0.3 cores=0,2,4,6 /proc/27780/stat : 27780 (glucose.sh) S 27778 27780 27748 0 -1 4202496 359 2379 0 0 0 0 30 0 21 0 1 0 482348453 8912896 255 33554432000 4194304 4922060 140735175779696 18446744073709551615 254261435525 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/27780/statm: 2176 255 211 178 0 69 0 [pid=27790] ppid=27780 vsize=91280 CPUtime=221.99 cores=0,2,4,6 /proc/27790/stat : 27790 (glucose_static) R 27780 27780 27748 0 -1 4202496 57697 0 0 0 22191 8 0 0 25 0 1 0 482348484 93470720 19611 33554432000 4194304 4260849 140734156330176 18446744073709551615 4224864 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/27790/statm: 22820 19611 251 17 0 19461 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 99984 [startup+282.3 s] /proc/loadavg: 1.98 1.21 0.51 3/180 27799 /proc/meminfo: memFree=22346248/32951124 swapFree=67111528/67111528 [pid=27780] ppid=27778 vsize=8704 CPUtime=0.3 cores=0,2,4,6 /proc/27780/stat : 27780 (glucose.sh) S 27778 27780 27748 0 -1 4202496 359 2379 0 0 0 0 30 0 21 0 1 0 482348453 8912896 255 33554432000 4194304 4922060 140735175779696 18446744073709551615 254261435525 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/27780/statm: 2176 255 211 178 0 69 0 [pid=27790] ppid=27780 vsize=152784 CPUtime=281.98 cores=0,2,4,6 /proc/27790/stat : 27790 (glucose_static) R 27780 27780 27748 0 -1 4202496 95741 0 0 0 28185 13 0 0 25 0 1 0 482348484 156450816 31083 33554432000 4194304 4260849 140734156330176 18446744073709551615 4224352 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/27790/statm: 38196 31083 251 17 0 34837 0 Current children cumulated CPU time (s) 282.28 Current children cumulated vsize (KiB) 161488 [startup+342.301 s] /proc/loadavg: 1.99 1.35 0.60 3/180 27800 /proc/meminfo: memFree=22344500/32951124 swapFree=67111528/67111528 [pid=27780] ppid=27778 vsize=8704 CPUtime=0.3 cores=0,2,4,6 /proc/27780/stat : 27780 (glucose.sh) S 27778 27780 27748 0 -1 4202496 359 2379 0 0 0 0 30 0 21 0 1 0 482348453 8912896 255 33554432000 4194304 4922060 140735175779696 18446744073709551615 254261435525 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/27780/statm: 2176 255 211 178 0 69 0 [pid=27790] ppid=27780 vsize=152784 CPUtime=341.98 cores=0,2,4,6 /proc/27790/stat : 27790 (glucose_static) R 27780 27780 27748 0 -1 4202496 126613 0 0 0 34180 18 0 0 25 0 1 0 482348484 156450816 31865 33554432000 4194304 4260849 140734156330176 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/27790/statm: 38196 31865 251 17 0 34837 0 Current children cumulated CPU time (s) 342.28 Current children cumulated vsize (KiB) 161488 [startup+402.3 s] /proc/loadavg: 1.99 1.47 0.68 3/180 27802 /proc/meminfo: memFree=22390988/32951124 swapFree=67111528/67111528 [pid=27780] ppid=27778 vsize=8704 CPUtime=0.3 cores=0,2,4,6 ################ # More data... # ################ /proc/27790/statm: 67498 53940 251 17 0 64139 0 Current children cumulated CPU time (s) 4362.38 Current children cumulated vsize (KiB) 278696 [startup+4422.3 s] /proc/loadavg: 2.07 2.02 1.94 3/180 27924 /proc/meminfo: memFree=22181680/32951124 swapFree=67111528/67111528 [pid=27780] ppid=27778 vsize=8704 CPUtime=0.3 cores=0,2,4,6 /proc/27780/stat : 27780 (glucose.sh) S 27778 27780 27748 0 -1 4202496 359 2379 0 0 0 0 30 0 21 0 1 0 482348453 8912896 255 33554432000 4194304 4922060 140735175779696 18446744073709551615 254261435525 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/27780/statm: 2176 255 211 178 0 69 0 [pid=27790] ppid=27780 vsize=219904 CPUtime=4422.09 cores=0,2,4,6 /proc/27790/stat : 27790 (glucose_static) R 27780 27780 27748 0 -1 4202496 1713127 0 0 0 441876 333 0 0 25 0 1 0 482348484 225181696 45235 33554432000 4194304 4260849 140734156330176 18446744073709551615 4225124 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/27790/statm: 54976 45235 251 17 0 51617 0 Current children cumulated CPU time (s) 4422.39 Current children cumulated vsize (KiB) 228608 [startup+4482.3 s] /proc/loadavg: 2.02 2.01 1.94 3/180 27926 /proc/meminfo: memFree=22079124/32951124 swapFree=67111528/67111528 [pid=27780] ppid=27778 vsize=8704 CPUtime=0.3 cores=0,2,4,6 /proc/27780/stat : 27780 (glucose.sh) S 27778 27780 27748 0 -1 4202496 359 2379 0 0 0 0 30 0 21 0 1 0 482348453 8912896 255 33554432000 4194304 4922060 140735175779696 18446744073709551615 254261435525 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/27780/statm: 2176 255 211 178 0 69 0 [pid=27790] ppid=27780 vsize=269992 CPUtime=4482.09 cores=0,2,4,6 /proc/27790/stat : 27790 (glucose_static) R 27780 27780 27748 0 -1 4202496 1725881 0 0 0 447872 337 0 0 25 0 1 0 482348484 276471808 57829 33554432000 4194304 4260849 140734156330176 18446744073709551615 4224665 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/27790/statm: 67498 57829 251 17 0 64139 0 Current children cumulated CPU time (s) 4482.39 Current children cumulated vsize (KiB) 278696 [startup+4542.3 s] /proc/loadavg: 2.01 2.00 1.94 3/180 27927 /proc/meminfo: memFree=22162800/32951124 swapFree=67111528/67111528 [pid=27780] ppid=27778 vsize=8704 CPUtime=0.3 cores=0,2,4,6 /proc/27780/stat : 27780 (glucose.sh) S 27778 27780 27748 0 -1 4202496 359 2379 0 0 0 0 30 0 21 0 1 0 482348453 8912896 255 33554432000 4194304 4922060 140735175779696 18446744073709551615 254261435525 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/27780/statm: 2176 255 211 178 0 69 0 [pid=27790] ppid=27780 vsize=219904 CPUtime=4542.09 cores=0,2,4,6 /proc/27790/stat : 27790 (glucose_static) R 27780 27780 27748 0 -1 4202496 1747591 0 0 0 453867 342 0 0 25 0 1 0 482348484 225181696 48794 33554432000 4194304 4260849 140734156330176 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/27790/statm: 54976 48794 251 17 0 51617 0 Current children cumulated CPU time (s) 4542.39 Current children cumulated vsize (KiB) 228608 [startup+4602.3 s] /proc/loadavg: 2.00 2.00 1.94 3/180 27929 /proc/meminfo: memFree=22038416/32951124 swapFree=67111528/67111528 [pid=27780] ppid=27778 vsize=8704 CPUtime=0.3 cores=0,2,4,6 /proc/27780/stat : 27780 (glucose.sh) S 27778 27780 27748 0 -1 4202496 359 2379 0 0 0 0 30 0 21 0 1 0 482348453 8912896 255 33554432000 4194304 4922060 140735175779696 18446744073709551615 254261435525 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/27780/statm: 2176 255 211 178 0 69 0 [pid=27790] ppid=27780 vsize=269992 CPUtime=4602.09 cores=0,2,4,6 /proc/27790/stat : 27790 (glucose_static) R 27780 27780 27748 0 -1 4202496 1758657 0 0 0 459864 345 0 0 25 0 1 0 482348484 276471808 59694 33554432000 4194304 4260849 140734156330176 18446744073709551615 4224632 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/27790/statm: 67498 59694 251 17 0 64139 0 Current children cumulated CPU time (s) 4602.39 Current children cumulated vsize (KiB) 278696 [startup+4662.3 s] /proc/loadavg: 2.00 2.00 1.94 3/180 27930 /proc/meminfo: memFree=22098052/32951124 swapFree=67111528/67111528 [pid=27780] ppid=27778 vsize=8704 CPUtime=0.3 cores=0,2,4,6 /proc/27780/stat : 27780 (glucose.sh) S 27778 27780 27748 0 -1 4202496 359 2379 0 0 0 0 30 0 21 0 1 0 482348453 8912896 255 33554432000 4194304 4922060 140735175779696 18446744073709551615 254261435525 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/27780/statm: 2176 255 211 178 0 69 0 [pid=27790] ppid=27780 vsize=269992 CPUtime=4662.09 cores=0,2,4,6 /proc/27790/stat : 27790 (glucose_static) R 27780 27780 27748 0 -1 4202496 1783661 0 0 0 465857 352 0 0 25 0 1 0 482348484 276471808 54397 33554432000 4194304 4260849 140734156330176 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/27790/statm: 67498 54397 251 17 0 64139 0 Current children cumulated CPU time (s) 4662.39 Current children cumulated vsize (KiB) 278696 [startup+4722.31 s] /proc/loadavg: 2.00 2.00 1.94 3/180 27932 /proc/meminfo: memFree=22189808/32951124 swapFree=67111528/67111528 [pid=27780] ppid=27778 vsize=8704 CPUtime=0.3 cores=0,2,4,6 /proc/27780/stat : 27780 (glucose.sh) S 27778 27780 27748 0 -1 4202496 359 2379 0 0 0 0 30 0 21 0 1 0 482348453 8912896 255 33554432000 4194304 4922060 140735175779696 18446744073709551615 254261435525 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/27780/statm: 2176 255 211 178 0 69 0 [pid=27790] ppid=27780 vsize=219904 CPUtime=4722.1 cores=0,2,4,6 /proc/27790/stat : 27790 (glucose_static) R 27780 27780 27748 0 -1 4202496 1805628 0 0 0 471853 357 0 0 25 0 1 0 482348484 225181696 46389 33554432000 4194304 4260849 140734156330176 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/27790/statm: 54976 46389 251 17 0 51617 0 Current children cumulated CPU time (s) 4722.4 Current children cumulated vsize (KiB) 228608 [startup+4782.3 s] /proc/loadavg: 2.00 2.00 1.94 3/180 27934 /proc/meminfo: memFree=22094688/32951124 swapFree=67111528/67111528 [pid=27780] ppid=27778 vsize=8704 CPUtime=0.3 cores=0,2,4,6 /proc/27780/stat : 27780 (glucose.sh) S 27778 27780 27748 0 -1 4202496 359 2379 0 0 0 0 30 0 21 0 1 0 482348453 8912896 255 33554432000 4194304 4922060 140735175779696 18446744073709551615 254261435525 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/27780/statm: 2176 255 211 178 0 69 0 [pid=27790] ppid=27780 vsize=269992 CPUtime=4782.1 cores=0,2,4,6 /proc/27790/stat : 27790 (glucose_static) R 27780 27780 27748 0 -1 4202496 1817992 0 0 0 477850 360 0 0 25 0 1 0 482348484 276471808 58561 33554432000 4194304 4260849 140734156330176 18446744073709551615 4225080 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/27790/statm: 67498 58561 251 17 0 64139 0 Current children cumulated CPU time (s) 4782.4 Current children cumulated vsize (KiB) 278696 [startup+4842.3 s] /proc/loadavg: 2.00 2.00 1.94 3/180 27935 /proc/meminfo: memFree=22159160/32951124 swapFree=67111528/67111528 [pid=27780] ppid=27778 vsize=8704 CPUtime=0.3 cores=0,2,4,6 /proc/27780/stat : 27780 (glucose.sh) S 27778 27780 27748 0 -1 4202496 359 2379 0 0 0 0 30 0 21 0 1 0 482348453 8912896 255 33554432000 4194304 4922060 140735175779696 18446744073709551615 254261435525 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/27780/statm: 2176 255 211 178 0 69 0 [pid=27790] ppid=27780 vsize=219904 CPUtime=4842.09 cores=0,2,4,6 /proc/27790/stat : 27790 (glucose_static) R 27780 27780 27748 0 -1 4202496 1840807 0 0 0 483846 363 0 0 25 0 1 0 482348484 225181696 51483 33554432000 4194304 4260849 140734156330176 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/27790/statm: 54976 51483 251 17 0 51617 0 Current children cumulated CPU time (s) 4842.39 Current children cumulated vsize (KiB) 228608 [startup+4902.3 s] /proc/loadavg: 2.00 2.00 1.94 3/180 27937 /proc/meminfo: memFree=22124432/32951124 swapFree=67111528/67111528 [pid=27780] ppid=27778 vsize=8704 CPUtime=0.3 cores=0,2,4,6 /proc/27780/stat : 27780 (glucose.sh) S 27778 27780 27748 0 -1 4202496 359 2379 0 0 0 0 30 0 21 0 1 0 482348453 8912896 255 33554432000 4194304 4922060 140735175779696 18446744073709551615 254261435525 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/27780/statm: 2176 255 211 178 0 69 0 [pid=27790] ppid=27780 vsize=219904 CPUtime=4902.09 cores=0,2,4,6 /proc/27790/stat : 27790 (glucose_static) R 27780 27780 27748 0 -1 4202496 1866699 0 0 0 489841 368 0 0 25 0 1 0 482348484 225181696 45533 33554432000 4194304 4260849 140734156330176 18446744073709551615 4209378 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/27790/statm: 54976 45533 251 17 0 51617 0 Current children cumulated CPU time (s) 4902.39 Current children cumulated vsize (KiB) 228608 [startup+4962.3 s] /proc/loadavg: 2.00 2.00 1.94 3/180 27938 /proc/meminfo: memFree=22111156/32951124 swapFree=67111528/67111528 [pid=27780] ppid=27778 vsize=8704 CPUtime=0.3 cores=0,2,4,6 /proc/27780/stat : 27780 (glucose.sh) S 27778 27780 27748 0 -1 4202496 359 2379 0 0 0 0 30 0 21 0 1 0 482348453 8912896 255 33554432000 4194304 4922060 140735175779696 18446744073709551615 254261435525 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/27780/statm: 2176 255 211 178 0 69 0 [pid=27790] ppid=27780 vsize=269992 CPUtime=4962.1 cores=0,2,4,6 /proc/27790/stat : 27790 (glucose_static) R 27780 27780 27748 0 -1 4202496 1879902 0 0 0 495838 372 0 0 25 0 1 0 482348484 276471808 58525 33554432000 4194304 4260849 140734156330176 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/27790/statm: 67498 58525 251 17 0 64139 0 Current children cumulated CPU time (s) 4962.4 Current children cumulated vsize (KiB) 278696 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+4999.9 s] /proc/loadavg: 2.05 2.01 1.94 3/180 27939 /proc/meminfo: memFree=22125284/32951124 swapFree=67111528/67111528 [pid=27780] ppid=27778 vsize=8704 CPUtime=0.3 cores=0,2,4,6 /proc/27780/stat : 27780 (glucose.sh) S 27778 27780 27748 0 -1 4202496 359 2379 0 0 0 0 30 0 21 0 1 0 482348453 8912896 255 33554432000 4194304 4922060 140735175779696 18446744073709551615 254261435525 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/27780/statm: 2176 255 211 178 0 69 0 [pid=27790] ppid=27780 vsize=219904 CPUtime=4999.71 cores=0,2,4,6 /proc/27790/stat : 27790 (glucose_static) R 27780 27780 27748 0 -1 4202496 1899495 0 0 0 499595 376 0 0 25 0 1 0 482348484 225181696 46958 33554432000 4194304 4260849 140734156330176 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/27790/statm: 54976 46958 251 17 0 51617 0 Current children cumulated CPU time (s) 5000.01 Current children cumulated vsize (KiB) 228608 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+4999.9 s] /proc/loadavg: 2.05 2.01 1.94 3/180 27939 /proc/meminfo: memFree=22125284/32951124 swapFree=67111528/67111528 [pid=27780] ppid=27778 vsize=8704 CPUtime=0.3 cores=0,2,4,6 /proc/27780/stat : 27780 (glucose.sh) S 27778 27780 27748 0 -1 4202496 359 2379 0 0 0 0 30 0 21 0 1 0 482348453 8912896 255 33554432000 4194304 4922060 140735175779696 18446744073709551615 254261435525 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/27780/statm: 2176 255 211 178 0 69 0 [pid=27790] ppid=27780 vsize=219904 CPUtime=4999.71 cores=0,2,4,6 /proc/27790/stat : 27790 (glucose_static) R 27780 27780 27748 0 -1 4202496 1899495 0 0 0 499595 376 0 0 25 0 1 0 482348484 225181696 46958 33554432000 4194304 4260849 140734156330176 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/27790/statm: 54976 46958 251 17 0 51617 0 Current children cumulated CPU time (s) 5000.01 Current children cumulated vsize (KiB) 228608 Child ended because it received signal 15 (SIGTERM) # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 27780 and gives # childrusage.ru_utime.tv_sec=0 # childrusage.ru_utime.tv_usec=303953 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=5999 # CPU time returned by wait4() is 0.309952 # while last known CPU time is 5000.01 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 4999.91 CPU time (s): 5000.01 CPU user time (s): 4996.25 CPU system time (s): 3.76 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 328016 getrusage(RUSAGE_CHILDREN,...) data: user time used= 0.303953 system time used= 0.005999 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2738 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= 8 involuntary context switches= 18 runsolver used 9.05062 second user time and 18.0633 second system time The end
Begin job on node140 at 2011-04-27 12:15:31 IDJOB=3303347 IDBENCH=71317 IDSOLVER=1687 FILE ID=node140/3303347-1303899331 RUNJOBID= node140-1303899331-27766 PBS_JOBID= 13164508 Free space on /tmp= 72756 MiB SOLVER NAME= glucose 2 BENCH NAME= SAT09/CRAFTED/rbsat/random/unforced/rbsat-v1375c111739g4.cnf COMMAND LINE= glucose.sh BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3303347-1303899331/watcher-3303347-1303899331 -o /tmp/evaluation-result-3303347-1303899331/solver-3303347-1303899331 -C 5000 -W 5100 -M 15500 glucose.sh HOME/instance-3303347-1303899331.cnf TIME LIMIT= 5000 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= b2f1edd9e4045a375bcfedb2d5e5bd0e RANDOM SEED=278539786 node140.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.833 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.66 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.833 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 : 5226.14 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.833 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.833 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.77 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.833 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.833 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.74 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.833 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.833 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.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 22609672 kB Buffers: 2272692 kB Cached: 7435296 kB SwapCached: 0 kB Active: 2302100 kB Inactive: 7472088 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 22609672 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 3556 kB Writeback: 0 kB AnonPages: 65680 kB Mapped: 14384 kB Slab: 503060 kB PageTables: 4564 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 188556 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= 72744 MiB End job on node140 at 2011-04-27 13:38:53