| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| glucose 2 | ? (TO) | 5000.02 | 4999.92 |
| Name | crafted/anton/SRHD-SGI/ srhd-sgi-m52-q918.75-n50-p15-s98191766.cnf |
| MD5SUM | 71638ad618721ad48c6bd2d48b828020 |
| Bench Category | CRAFTED (crafted instances) |
| Best result obtained on this benchmark | SAT |
| Best CPU time to get the best result obtained on this benchmark | 0.32195 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 2377 |
| Number of clauses | 566749 |
| Sum of the clauses size | 1135775 |
| Maximum clause length | 52 |
| Minimum clause length | 2 |
| Number of clauses of size 1 | 0 |
| Number of clauses of size 2 | 566699 |
| 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 | 50 |
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.14 c ============================================================================== 0.00/0.14 c | | ORIGINAL | LEARNT | | 0.00/0.14 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress | 0.00/0.14 c ============================================================================== 0.00/0.14 c | 0 | 566749 1135775 | 170024 0 0 nan | 0.000 % | 2.21/2.29 c | 0 | 564372 1685096 | -- 0 -- -- | -- | -2377/549321 2.21/2.29 c ============================================================================== 2.21/2.29 c Result : #vars: 2327 #clauses: 564372 #literals: 1685096 2.21/2.29 c CPU time: 2.26765 s 2.21/2.29 c ============================================================================== 2.49/2.55 c 2.49/2.55 c Starting glucose 2.49/2.55 c 120.99/121.07 c This is glucose 2.0 -- based on MiniSAT (Many thanks to MiniSAT team) 120.99/121.07 c WARNING: for repeatability, setting FPU to use double precision 120.99/121.07 c ============================[ Problem Statistics ]============================= 120.99/121.07 c | | 120.99/121.07 c | Number of variables: 2327 | 120.99/121.07 c | Number of clauses: 564372 | 120.99/121.07 c | Parse time: 0.10 s | 120.99/121.07 c | | 120.99/121.07 c ============================[ Search Statistics ]============================== 120.99/121.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 120.99/121.07 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | | 120.99/121.07 c =============================================================================== 120.99/121.07 c | 39962 | 2327 564372 1685096 | 1 17646 231 | 0.000 % | 120.99/121.07 c | 40063 | 2327 564372 1685096 | 1 17747 231 | 0.000 % | 120.99/121.07 c | 40164 | 2327 564372 1685096 | 1 17848 231 | 0.000 % | 120.99/121.07 c | 46357 | 2327 564372 1685096 | 1 12203 155 | 0.000 % | 120.99/121.07 c | 46457 | 2327 564372 1685096 | 1 12303 155 | 0.000 % | 120.99/121.07 c | 48173 | 2327 564372 1685096 | 1 14019 162 | 0.000 % | 120.99/121.07 c | 48297 | 2327 564372 1685096 | 1 14143 162 | 0.000 % | 120.99/121.07 c | 54836 | 2327 564372 1685096 | 1 20682 169 | 0.000 % | 120.99/121.07 c | 54936 | 2327 564372 1685096 | 1 20782 169 | 0.000 % | 120.99/121.07 c | 55246 | 2327 564372 1685096 | 1 21092 169 | 0.000 % | 120.99/121.07 c | 55346 | 2327 564372 1685096 | 1 21192 169 | 0.000 % | 120.99/121.07 c | 55465 | 2327 564372 1685096 | 1 21311 169 | 0.000 % | 120.99/121.07 c | 57843 | 2327 564372 1685096 | 1 23689 169 | 0.000 % | 120.99/121.07 c | 72986 | 2327 564372 1685096 | 1 24416 150 | 0.000 % | 120.99/121.07 c | 73087 | 2327 564372 1685096 | 1 24517 150 | 0.000 % | 120.99/121.07 c | 73187 | 2327 564372 1685096 | 1 24617 150 | 0.000 % | 120.99/121.07 c | 181541 | 2327 564372 1685096 | 1 49369 119 | 0.000 % | 120.99/121.07 c | 207956 | 2327 564372 1685096 | 1 48385 124 | 0.000 % | 120.99/121.07 c | 208147 | 2327 564372 1685096 | 1 48576 124 | 0.000 % | 120.99/121.07 c | 209420 | 2327 564372 1685096 | 1 49849 124 | 0.000 % | 120.99/121.07 c | 210793 | 2327 564372 1685096 | 1 51222 125 | 0.000 % | 120.99/121.07 c | 356229 | 2327 564372 1685096 | 1 61049 123 | 0.000 % | 120.99/121.07 c | 356895 | 2327 564372 1685096 | 1 61715 124 | 0.000 % | 120.99/121.07 c | 357953 | 2327 564372 1685096 | 1 62773 125 | 0.000 % | 120.99/121.07 c | 358118 | 2327 564372 1685096 | 1 62938 125 | 0.000 % | 120.99/121.07 c | 374636 | 2327 564372 1685096 | 1 79456 127 | 0.000 % | 120.99/121.07 c | 374737 | 2327 564372 1685096 | 1 79557 127 | 0.000 % | 120.99/121.07 c | 399881 | 2327 564372 1685096 | 1 64303 121 | 0.000 % | 120.99/121.07 c | 399987 | 2327 564372 1685096 | 1 64409 121 | 0.000 % | 120.99/121.07 c | 400650 | 2327 564372 1685096 | 1 65072 121 | 0.000 % | 120.99/121.07 c | 401316 | 2327 564372 1685096 | 1 65738 121 | 0.000 % | 120.99/121.07 c | 409140 | 2327 564372 1685096 | 1 73562 123 | 0.000 % | 120.99/121.07 c | 410958 | 2327 564372 1685096 | 1 75380 123 | 0.000 % | 120.99/121.07 c | 518998 | 2327 564372 1685096 | 1 94813 121 | 0.000 % | 120.99/121.07 c | 522938 | 2327 564372 1685096 | 1 50549 106 | 0.000 % | 120.99/121.07 c | 527303 | 2327 564372 1685096 | 1 54914 110 | 0.000 % | 120.99/121.07 c | 528161 | 2327 564372 1685096 | 1 55772 111 | 0.000 % | 120.99/121.07 c | 529163 | 2327 564372 1685096 | 1 56774 111 | 0.000 % | 120.99/121.07 c | 545617 | 2327 564372 1685096 | 1 73228 115 | 0.000 % | 940.20/940.27 c | 546269 | 2327 564372 1685096 | 1 73880 115 | 0.000 % | 940.20/940.27 c | 549882 | 2327 564372 1685096 | 1 77493 116 | 0.000 % | 940.20/940.27 c | 550784 | 2327 564372 1685096 | 1 78395 117 | 0.000 % | 940.20/940.27 c | 699748 | 2327 564372 1685096 | 1 67169 97 | 0.000 % | 940.20/940.27 c | 906711 | 2327 564372 1685096 | 1 90533 101 | 0.000 % | 940.20/940.27 c | 910465 | 2327 564372 1685096 | 1 94287 102 | 0.000 % | 940.20/940.27 c | 911418 | 2327 564372 1685096 | 1 95240 103 | 0.000 % | 940.20/940.27 c | 1252567 | 2327 564372 1685096 | 1 78388 80 | 0.000 % | 940.20/940.27 c | 1302003 | 2327 564372 1685096 | 1 127824 98 | 0.000 % | 940.20/940.27 c | 1379217 | 2327 564372 1685096 | 1 125649 87 | 0.000 % | 940.20/940.27 c | 1437269 | 2327 564372 1685096 | 1 101707 83 | 0.000 % | 940.20/940.27 c | 2364524 | 2327 564372 1685096 | 1 173950 117 | 0.000 % | 940.20/940.27 c | 2364651 | 2327 564372 1685096 | 1 174077 117 | 0.000 % | 940.20/940.27 c | 2364751 | 2327 564372 1685096 | 1 174177 117 | 0.000 % | 940.20/940.27 c | 2364852 | 2327 564372 1685096 | 1 174278 117 | 0.000 % | 940.20/940.27 c | 2365239 | 2327 564372 1685096 | 1 174665 118 | 0.000 % | 940.20/940.27 c | 2365371 | 2327 564372 1685096 | 1 174797 118 | 0.000 % | 940.20/940.27 c | 2365471 | 2327 564372 1685096 | 1 174897 118 | 0.000 % | 940.20/940.27 c | 2366113 | 2327 564372 1685096 | 1 175539 118 | 0.000 % | 940.20/940.27 c | 2366213 | 2327 564372 1685096 | 1 175639 118 | 0.000 % | 940.20/940.27 c | 2366313 | 2327 564372 1685096 | 1 175739 118 | 0.000 % | 940.20/940.27 c | 2366414 | 2327 564372 1685096 | 1 175840 118 | 0.000 % | 940.20/940.27 c | 2366515 | 2327 564372 1685096 | 1 175941 118 | 0.000 % | 940.20/940.27 c | 2366615 | 2327 564372 1685096 | 1 176041 118 | 0.000 % | 940.20/940.27 c | 2366716 | 2327 564372 1685096 | 1 176142 118 | 0.000 % | 940.20/940.27 c | 2366817 | 2327 564372 1685096 | 1 176243 118 | 0.000 % | 940.20/940.27 c | 2367589 | 2327 564372 1685096 | 1 177015 119 | 0.000 % | 940.20/940.27 c | 2367692 | 2327 564372 1685096 | 1 177118 119 | 0.000 % | 940.20/940.27 c | 2367792 | 2327 564372 1685096 | 1 177218 119 | 0.000 % | 940.20/940.27 c | 2368004 | 2327 564372 1685096 | 1 177430 119 | 0.000 % | 940.20/940.27 c | 2368162 | 2327 564372 1685096 | 1 177588 119 | 0.000 % | 940.20/940.27 c | 2808338 | 2327 564372 1685096 | 1 170146 109 | 0.000 % | 940.20/940.27 c | 2808440 | 2327 564372 1685096 | 1 170248 109 | 0.000 % | 940.20/940.27 c | 2808579 | 2327 564372 1685096 | 1 170387 109 | 0.000 % | 940.20/940.27 c | 3166903 | 2327 564372 1685096 | 1 165717 79 | 0.000 % | 940.20/940.27 c | 3168094 | 2327 564372 1685096 | 1 166908 79 | 0.000 % | 940.20/940.27 c | 3168225 | 2327 564372 1685096 | 1 167039 79 | 0.000 % | 940.20/940.27 c | 3185497 | 2327 564372 1685096 | 1 184311 82 | 0.000 % | 940.20/940.27 c | 3185987 | 2327 564372 1685096 | 1 184801 82 | 0.000 % | 940.20/940.27 c | 3186139 | 2327 564372 1685096 | 1 184953 82 | 0.000 % | 940.20/940.27 c | 3186241 | 2327 564372 1685096 | 1 185055 82 | 0.000 % | 940.20/940.27 c | 3186343 | 2327 564372 1685096 | 1 185157 82 | 0.000 % | 940.20/940.27 c | 3186443 | 2327 564372 1685096 | 1 185257 83 | 0.000 % | 940.20/940.27 c | 3186656 | 2327 564372 1685096 | 1 185470 83 | 0.000 % | 940.20/940.27 c | 3186960 | 2327 564372 1685096 | 1 185774 83 | 0.000 % | 940.20/940.27 c | 3187065 | 2327 564372 1685096 | 1 185879 83 | 0.000 % | 940.20/940.27 c | 3193868 | 2327 564372 1685096 | 1 192682 84 | 0.000 % | 940.20/940.27 c | 3193968 | 2327 564372 1685096 | 1 192782 84 | 0.000 % | 940.20/940.27 c | 3194070 | 2327 564372 1685096 | 1 192884 84 | 0.000 % | 940.20/940.27 c | 3194170 | 2327 564372 1685096 | 1 192984 84 | 0.000 % | 954.00/954.06 c | 3194273 | 2327 564372 1685096 | 1 193087 84 | 0.000 % | 954.00/954.06 c | 3194373 | 2327 564372 1685096 | 1 193187 84 | 0.000 % | 954.00/954.06 c | 3194473 | 2327 564372 1685096 | 1 193287 84 | 0.000 % | 954.00/954.06 c | 3194575 | 2327 564372 1685096 | 1 193389 84 | 0.000 % | 954.00/954.06 c | 3194676 | 2327 564372 1685096 | 1 193490 84 | 0.000 % | 954.00/954.06 c | 3194782 | 2327 564372 1685096 | 1 193596 84 | 0.000 % | 954.00/954.06 c | 3194883 | 2327 564372 1685096 | 1 193697 84 | 0.000 % | 954.00/954.06 c | 3194983 | 2327 564372 1685096 | 1 193797 84 | 0.000 % | 954.00/954.06 c | 3195086 | 2327 564372 1685096 | 1 193900 84 | 0.000 % | 954.00/954.06 c | 3195186 | 2327 564372 1685096 | 1 194000 84 | 0.000 % | 954.00/954.06 c | 3195289 | 2327 564372 1685096 | 1 194103 84 | 0.000 % | 954.00/954.06 c | 3222189 | 2327 564372 1685096 | 1 221003 88 | 0.000 % | 954.00/954.06 c | 3222289 | 2327 564372 1685096 | 1 221103 88 | 0.000 % | 954.00/954.06 c | 3222390 | 2327 564372 1685096 | 1 221204 88 | 0.000 % | 954.00/954.06 c | 3222492 | 2327 564372 1685096 | 1 221306 88 | 0.000 % | 954.00/954.06 c | 3222592 | 2327 564372 1685096 | 1 221406 88 | 0.000 % | 954.00/954.06 c | 3222694 | 2327 564372 1685096 | 1 221508 88 | 0.000 % | 954.00/954.06 c | 3222795 | 2327 564372 1685096 | 1 221609 88 | 0.000 % | 954.00/954.06 c | 3222895 | 2327 564372 1685096 | 1 221709 88 | 0.000 % | 954.00/954.06 c | 3223078 | 2327 564372 1685096 | 1 221892 88 | 0.000 % | 954.00/954.06 c | 3223180 | 2327 564372 1685096 | 1 221994 88 | 0.000 % | 954.00/954.06 c | 3223283 | 2327 564372 1685096 | 1 222097 88 | 0.000 % | 954.00/954.06 c | 3223384 | 2327 564372 1685096 | 1 222198 88 | 0.000 % | 954.00/954.06 c | 3223484 | 2327 564372 1685096 | 1 222298 88 | 0.000 % | 954.00/954.06 c | 3223584 | 2327 564372 1685096 | 1 222398 88 | 0.000 % | 954.00/954.06 c | 3223684 | 2327 564372 1685096 | 1 222498 88 | 0.000 % | 954.00/954.06 c | 3223785 | 2327 564372 1685096 | 1 222599 88 | 0.000 % | 954.00/954.06 c | 3223885 | 2327 564372 1685096 | 1 222699 88 | 0.000 % | 954.00/954.06 c | 3223987 | 2327 564372 1685096 | 1 222801 88 | 0.000 % | 954.00/954.06 c | 3224087 | 2327 564372 1685096 | 1 222901 88 | 0.000 % | 954.00/954.06 c | 3224187 | 2327 564372 1685096 | 1 223001 88 | 0.000 % | 954.00/954.06 c | 3224287 | 2327 564372 1685096 | 1 223101 88 | 0.000 % | 954.00/954.06 c | 3224391 | 2327 564372 1685096 | 1 223205 88 | 0.000 % | 954.00/954.06 c | 3224491 | 2327 564372 1685096 | 1 223305 88 | 0.000 % | 954.00/954.06 c | 3224594 | 2327 564372 1685096 | 1 223408 88 | 0.000 % | 954.00/954.06 c | 3224696 | 2327 564372 1685096 | 1 223510 88 | 0.000 % | 954.00/954.06 c | 3224796 | 2327 564372 1685096 | 1 223610 89 | 0.000 % | 954.00/954.06 c | 3224897 | 2327 564372 1685096 | 1 223711 89 | 0.000 % | 954.00/954.06 c | 3224998 | 2327 564372 1685096 | 1 223812 89 | 0.000 % | 954.00/954.06 c | 3225098 | 2327 564372 1685096 | 1 223912 89 | 0.000 % | 954.00/954.06 c | 3225200 | 2327 564372 1685096 | 1 224014 89 | 0.000 % | 954.00/954.06 c | 3225301 | 2327 564372 1685096 | 1 224115 89 | 0.000 % | 954.00/954.06 c | 3225404 | 2327 564372 1685096 | 1 224218 89 | 0.000 % | 954.00/954.06 c | 3225504 | 2327 564372 1685096 | 1 224318 89 | 0.000 % | 954.00/954.06 c | 3225605 | 2327 564372 1685096 | 1 224419 89 | 0.000 % | 954.00/954.06 c | 3225705 | 2327 564372 1685096 | 1 224519 89 | 0.000 % | 954.00/954.06 c | 3225805 | 2327 564372 1685096 | 1 224619 89 | 0.000 % | 954.00/954.06 c | 3225906 | 2327 564372 1685096 | 1 224720 89 | 0.000 % | 954.00/954.06 c | 3226006 | 2327 564372 1685096 | 1 224820 89 | 0.000 % | 954.00/954.06 c | 3226107 | 2327 564372 1685096 | 1 224921 89 | 0.000 % | 957.60/957.65 c | 3226208 | 2327 564372 1685096 | 1 225022 89 | 0.000 % | 957.60/957.65 c | 3226308 | 2327 564372 1685096 | 1 225122 89 | 0.000 % | 957.60/957.65 c | 3226409 | 2327 564372 1685096 | 1 225223 89 | 0.000 % | 957.60/957.65 c | 3226509 | 2327 564372 1685096 | 1 225323 89 | 0.000 % | 957.60/957.65 c | 3226612 | 2327 564372 1685096 | 1 225426 89 | 0.000 % | 957.60/957.65 c | 3226712 | 2327 564372 1685096 | 1 225526 89 | 0.000 % | 957.60/957.65 c | 3226812 | 2327 564372 1685096 | 1 225626 89 | 0.000 % | 957.60/957.65 c | 3226913 | 2327 564372 1685096 | 1 225727 89 | 0.000 % | 957.60/957.65 c | 3227013 | 2327 564372 1685096 | 1 225827 89 | 0.000 % | 957.60/957.65 c | 3227114 | 2327 564372 1685096 | 1 225928 89 | 0.000 % | 957.60/957.65 c | 3227218 | 2327 564372 1685096 | 1 226032 89 | 0.000 % | 957.60/957.65 c | 3227318 | 2327 564372 1685096 | 1 226132 89 | 0.000 % | 957.60/957.65 c | 3227421 | 2327 564372 1685096 | 1 226235 89 | 0.000 % | 957.60/957.65 c | 3227524 | 2327 564372 1685096 | 1 226338 89 | 0.000 % | 957.60/957.65 c | 3227625 | 2327 564372 1685096 | 1 226439 89 | 0.000 % | 957.60/957.65 c | 3227726 | 2327 564372 1685096 | 1 226540 89 | 0.000 % | 957.60/957.65 c | 3227828 | 2327 564372 1685096 | 1 226642 89 | 0.000 % | 957.60/957.65 c | 3227928 | 2327 564372 1685096 | 1 226742 89 | 0.000 % | 957.60/957.65 c | 3228028 | 2327 564372 1685096 | 1 226842 89 | 0.000 % | 957.60/957.65 c | 3228128 | 2327 564372 1685096 | 1 226942 89 | 0.000 % | 957.60/957.65 c | 3228229 | 2327 564372 1685096 | 1 227043 89 | 0.000 % | 957.60/957.65 c | 3228331 | 2327 564372 1685096 | 1 227145 89 | 0.000 % | 957.60/957.65 c | 3228432 | 2327 564372 1685096 | 1 227246 89 | 0.000 % | 957.60/957.65 c | 3228532 | 2327 564372 1685096 | 1 227346 89 | 0.000 % | 957.60/957.65 c | 3228633 | 2327 564372 1685096 | 1 227447 89 | 0.000 % | 957.60/957.65 c | 3228735 | 2327 564372 1685096 | 1 227549 89 | 0.000 % | 957.60/957.65 c | 3228835 | 2327 564372 1685096 | 1 227649 89 | 0.000 % | 957.60/957.65 c | 3228939 | 2327 564372 1685096 | 1 227753 89 | 0.000 % | 957.60/957.65 c | 3229039 | 2327 564372 1685096 | 1 227853 89 | 0.000 % | 957.60/957.65 c | 3229141 | 2327 564372 1685096 | 1 227955 89 | 0.000 % | 957.60/957.65 c | 3229246 | 2327 564372 1685096 | 1 228060 89 | 0.000 % | 957.60/957.65 c | 3229347 | 2327 564372 1685096 | 1 228161 89 | 0.000 % | 957.60/957.65 c | 3229449 | 2327 564372 1685096 | 1 228263 89 | 0.000 % | 957.60/957.65 c | 3229552 | 2327 564372 1685096 | 1 228366 89 | 0.000 % | 957.60/957.65 c | 3229653 | 2327 564372 1685096 | 1 228467 89 | 0.000 % | 957.60/957.65 c | 3229753 | 2327 564372 1685096 | 1 228567 89 | 0.000 % | 957.60/957.65 c | 3229855 | 2327 564372 1685096 | 1 228669 89 | 0.000 % | 957.60/957.65 c | 3230048 | 2327 564372 1685096 | 1 228862 89 | 0.000 % | 957.60/957.65 c | 3230149 | 2327 564372 1685096 | 1 228963 89 | 0.000 % | 957.60/957.65 c | 3230252 | 2327 564372 1685096 | 1 229066 89 | 0.000 % | 957.60/957.65 c | 3230352 | 2327 564372 1685096 | 1 229166 89 | 0.000 % | 957.60/957.65 c | 3230455 | 2327 564372 1685096 | 1 229269 89 | 0.000 % | 957.60/957.65 c | 3230557 | 2327 564372 1685096 | 1 229371 89 | 0.000 % | 957.60/957.65 c | 3230657 | 2327 564372 1685096 | 1 229471 89 | 0.000 % | 957.60/957.65 c | 3230757 | 2327 564372 1685096 | 1 229571 89 | 0.000 % | 957.60/957.65 c | 3230858 | 2327 564372 1685096 | 1 229672 89 | 0.000 % | 957.60/957.65 c | 3230958 | 2327 564372 1685096 | 1 229772 89 | 0.000 % | 957.60/957.65 c | 3231058 | 2327 564372 1685096 | 1 229872 89 | 0.000 % | 957.60/957.65 c | 3231159 | 2327 564372 1685096 | 1 229973 89 | 0.000 % | 957.60/957.65 c | 3231259 | 2327 564372 1685096 | 1 230073 89 | 0.000 % | 1028.10/1028.19 c | 3231360 | 2327 564372 1685096 | 1 230174 90 | 0.000 % | 1028.10/1028.19 c | 3231460 | 2327 564372 1685096 | 1 230274 90 | 0.000 % | 1028.10/1028.19 c | 3231563 | 2327 564372 1685096 | 1 230377 90 | 0.000 % | 1028.10/1028.19 c | 3231663 | 2327 564372 1685096 | 1 230477 90 | 0.000 % | 1028.10/1028.19 c | 3231763 | 2327 564372 1685096 | 1 230577 90 | 0.000 % | 1028.10/1028.19 c | 3231863 | 2327 564372 1685096 | 1 230677 90 | 0.000 % | 1028.10/1028.19 c | 3231963 | 2327 564372 1685096 | 1 230777 90 | 0.000 % | 1028.10/1028.19 c | 3232064 | 2327 564372 1685096 | 1 230878 90 | 0.000 % | 1028.10/1028.19 c | 3232164 | 2327 564372 1685096 | 1 230978 90 | 0.000 % | 1028.10/1028.19 c | 3232265 | 2327 564372 1685096 | 1 231079 90 | 0.000 % | 1028.10/1028.19 c | 3232365 | 2327 564372 1685096 | 1 231179 90 | 0.000 % | 1028.10/1028.19 c | 3232465 | 2327 564372 1685096 | 1 231279 90 | 0.000 % | 1028.10/1028.19 c | 3232565 | 2327 564372 1685096 | 1 231379 90 | 0.000 % | 1028.10/1028.19 c | 3232665 | 2327 564372 1685096 | 1 231479 90 | 0.000 % | 1028.10/1028.19 c | 3232766 | 2327 564372 1685096 | 1 231580 90 | 0.000 % | 1028.10/1028.19 c | 3232866 | 2327 564372 1685096 | 1 231680 90 | 0.000 % | 1028.10/1028.19 c | 3232968 | 2327 564372 1685096 | 1 231782 90 | 0.000 % | 1028.10/1028.19 c | 3233068 | 2327 564372 1685096 | 1 231882 90 | 0.000 % | 1028.10/1028.19 c | 3233168 | 2327 564372 1685096 | 1 231982 90 | 0.000 % | 1028.10/1028.19 c | 3233269 | 2327 564372 1685096 | 1 232083 90 | 0.000 % | 1028.10/1028.19 c | 3233422 | 2327 564372 1685096 | 1 232236 90 | 0.000 % | 1028.10/1028.19 c | 3233523 | 2327 564372 1685096 | 1 232337 90 | 0.000 % | 1028.10/1028.19 c | 3233623 | 2327 564372 1685096 | 1 232437 90 | 0.000 % | 1028.10/1028.19 c | 3233723 | 2327 564372 1685096 | 1 232537 90 | 0.000 % | 1028.10/1028.19 c | 3233823 | 2327 564372 1685096 | 1 232637 90 | 0.000 % | 1028.10/1028.19 c | 3233924 | 2327 564372 1685096 | 1 232738 90 | 0.000 % | 1028.10/1028.19 c | 3234027 | 2327 564372 1685096 | 1 232841 90 | 0.000 % | 1028.10/1028.19 c | 3234129 | 2327 564372 1685096 | 1 232943 90 | 0.000 % | 1028.10/1028.19 c | 3234230 | 2327 564372 1685096 | 1 233044 90 | 0.000 % | 1028.10/1028.19 c | 3236761 | 2327 564372 1685096 | 1 235575 90 | 0.000 % | 1028.10/1028.19 c | 3237469 | 2327 564372 1685096 | 1 236283 90 | 0.000 % | 1028.10/1028.19 c | 3237570 | 2327 564372 1685096 | 1 236384 91 | 0.000 % | 1028.10/1028.19 c | 3243505 | 2327 564372 1685096 | 1 242319 91 | 0.000 % | 1028.10/1028.19 c | 3354540 | 2327 564372 1685096 | 1 227151 93 | 0.000 % | 1028.10/1028.19 c | 3354640 | 2327 564372 1685096 | 1 227251 93 | 0.000 % | 1028.10/1028.19 c | 3354770 | 2327 564372 1685096 | 1 227381 93 | 0.000 % | 1028.10/1028.19 c | 3354872 | 2327 564372 1685096 | 1 227483 93 | 0.000 % | 1028.10/1028.19 c | 3355712 | 2327 564372 1685096 | 1 228323 93 | 0.000 % | 1028.10/1028.19 c | 3355813 | 2327 564372 1685096 | 1 228424 93 | 0.000 % | 1028.10/1028.19 c | 3355934 | 2327 564372 1685096 | 1 228545 93 | 0.000 % | 1028.10/1028.19 c | 3361386 | 2327 564372 1685096 | 1 233997 94 | 0.000 % | 1028.10/1028.19 c | 3361762 | 2327 564372 1685096 | 1 234373 94 | 0.000 % | 1028.10/1028.19 c | 3382059 | 2327 564372 1685096 | 1 254670 96 | 0.000 % | 1028.10/1028.19 c | 3403612 | 2327 564372 1685096 | 1 147427 76 | 0.000 % | 1028.10/1028.19 c | 3403712 | 2327 564372 1685096 | 1 147527 76 | 0.000 % | 1028.10/1028.19 c | 3403915 | 2327 564372 1685096 | 1 147730 76 | 0.000 % | 1028.10/1028.19 c | 3404718 | 2327 564372 1685096 | 1 148533 77 | 0.000 % | 1028.10/1028.19 c | 3415030 | 2327 564372 1685096 | 1 158845 78 | 0.000 % | 1028.10/1028.19 c | 3415131 | 2327 564372 1685096 | 1 158946 78 | 0.000 % | 1028.10/1028.19 c | 3415232 | 2327 564372 1685096 | 1 159047 78 | 0.000 % | 1333.91/1333.91 c | 3578470 | 2327 564372 1685096 | 1 190882 76 | 0.000 % | 1333.91/1333.91 c | 3661712 | 2327 564372 1685096 | 1 140122 73 | 0.000 % | 1333.91/1333.91 c | 3663039 | 2327 564372 1685096 | 1 141449 74 | 0.000 % | 1333.91/1333.91 c | 3663139 | 2327 564372 1685096 | 1 141549 74 | 0.000 % | 1333.91/1333.91 c | 3672089 | 2327 564372 1685096 | 1 150499 75 | 0.000 % | 1333.91/1333.91 c | 3713058 | 2327 564372 1685096 | 1 191468 85 | 0.000 % | 1333.91/1333.91 c | 3725248 | 2327 564372 1685096 | 1 203658 87 | 0.000 % | 1333.91/1333.91 c | 3725348 | 2327 564372 1685096 | 1 203758 87 | 0.000 % | 1333.91/1333.91 c | 3725449 | 2327 564372 1685096 | 1 203859 87 | 0.000 % | 1333.91/1333.91 c | 3813540 | 2327 564372 1685096 | 1 155353 77 | 0.000 % | 1333.91/1333.91 c | 3822944 | 2327 564372 1685096 | 1 164757 79 | 0.000 % | 1333.91/1333.91 c | 3823047 | 2327 564372 1685096 | 1 164860 79 | 0.000 % | 1333.91/1333.91 c | 3823153 | 2327 564372 1685096 | 1 164966 79 | 0.000 % | 1333.91/1333.91 c | 3823253 | 2327 564372 1685096 | 1 165066 79 | 0.000 % | 1333.91/1333.91 c | 3823353 | 2327 564372 1685096 | 1 165166 79 | 0.000 % | 1333.91/1333.91 c | 3823454 | 2327 564372 1685096 | 1 165267 79 | 0.000 % | 1333.91/1333.91 c | 3823554 | 2327 564372 1685096 | 1 165367 79 | 0.000 % | 1333.91/1333.91 c | 3823657 | 2327 564372 1685096 | 1 165470 79 | 0.000 % | 1333.91/1333.91 c | 3823814 | 2327 564372 1685096 | 1 165627 79 | 0.000 % | 1333.91/1333.91 c | 3823914 | 2327 564372 1685096 | 1 165727 79 | 0.000 % | 1333.91/1333.91 c | 3837526 | 2327 564372 1685096 | 1 179339 82 | 0.000 % | 1333.91/1333.91 c | 3839020 | 2327 564372 1685096 | 1 180833 82 | 0.000 % | 1333.91/1333.91 c | 3840340 | 2327 564372 1685096 | 1 182153 83 | 0.000 % | 1333.91/1333.91 c | 3840440 | 2327 564372 1685096 | 1 182253 83 | 0.000 % | 1333.91/1333.91 c | 3840541 | 2327 564372 1685096 | 1 182354 83 | 0.000 % | 1333.91/1333.91 c | 3840721 | 2327 564372 1685096 | 1 182534 83 | 0.000 % | 1333.91/1333.91 c | 3840822 | 2327 564372 1685096 | 1 182635 83 | 0.000 % | 1333.91/1333.91 c | 3842452 | 2327 564372 1685096 | 1 184265 84 | 0.000 % | 1333.91/1333.91 c | 3842552 | 2327 564372 1685096 | 1 184365 84 | 0.000 % | 1333.91/1333.91 c | 3842659 | 2327 564372 1685096 | 1 184472 84 | 0.000 % | 1333.91/1333.91 c | 3842786 | 2327 564372 1685096 | 1 184599 84 | 0.000 % | 1333.91/1333.91 c | 3842888 | 2327 564372 1685096 | 1 184701 84 | 0.000 % | 1333.91/1333.91 c | 3873830 | 2327 564372 1685096 | 1 215643 88 | 0.000 % | 1333.91/1333.91 c | 4003749 | 2327 564372 1685096 | 1 206367 77 | 0.000 % | 1333.91/1333.91 c | 4137046 | 2327 564372 1685096 | 1 197864 76 | 0.000 % | 1333.91/1333.91 c | 4138058 | 2327 564372 1685096 | 1 198876 76 | 0.000 % | 1333.91/1333.91 c | 4138158 | 2327 564372 1685096 | 1 198976 76 | 0.000 % | 1333.91/1333.91 c | 4138260 | 2327 564372 1685096 | 1 199078 76 | 0.000 % | 1333.91/1333.91 c | 4145668 | 2327 564372 1685096 | 1 206486 77 | 0.000 % | 1333.91/1333.91 c | 4145775 | 2327 564372 1685096 | 1 206593 77 | 0.000 % | 1333.91/1333.91 c | 4145875 | 2327 564372 1685096 | 1 206693 77 | 0.000 % | 1333.91/1333.91 c | 4145975 | 2327 564372 1685096 | 1 206793 77 | 0.000 % | 1333.91/1333.91 c | 4183137 | 2327 564372 1685096 | 1 243955 79 | 0.000 % | 1333.91/1333.91 c | 4185294 | 2327 564372 1685096 | 1 246112 79 | 0.000 % | 1333.91/1333.91 c | 4185396 | 2327 564372 1685096 | 1 246214 79 | 0.000 % | 1333.91/1333.91 c | 4185499 | 2327 564372 1685096 | 1 246317 80 | 0.000 % | 1333.91/1333.91 c | 4185601 | 2327 564372 1685096 | 1 246419 80 | 0.000 % | 1333.91/1333.91 c | 4185701 | 2327 564372 1685096 | 1 246519 80 | 0.000 % | 1333.91/1333.91 c | 4185853 | 2327 564372 1685096 | 1 246671 80 | 0.000 % | 1333.91/1333.91 c | 4185953 | 2327 564372 1685096 | 1 246771 80 | 0.000 % | 1668.22/1668.28 c | 4196257 | 2327 564372 1685096 | 1 257075 81 | 0.000 % | 1668.22/1668.28 c | 4197051 | 2327 564372 1685096 | 1 257869 81 | 0.000 % | 1668.22/1668.28 c | 4197155 | 2327 564372 1685096 | 1 257973 81 | 0.000 % | 1668.22/1668.28 c | 4227502 | 2327 564372 1685096 | 1 288320 81 | 0.000 % | 1668.22/1668.28 c | 4227603 | 2327 564372 1685096 | 1 288421 82 | 0.000 % | 1668.22/1668.28 c | 4241138 | 2327 564372 1685096 | 1 157553 72 | 0.000 % | 1668.22/1668.28 c | 4364583 | 2327 564372 1685096 | 1 280998 123 | 0.000 % | 1668.22/1668.28 c | 4364712 | 2327 564372 1685096 | 1 281127 123 | 0.000 % | 1668.22/1668.28 c | 4364830 | 2327 564372 1685096 | 1 281245 123 | 0.000 % | 1668.22/1668.28 c | 4364933 | 2327 564372 1685096 | 1 281348 123 | 0.000 % | 1668.22/1668.28 c | 4365033 | 2327 564372 1685096 | 1 281448 123 | 0.000 % | 1668.22/1668.28 c | 4365147 | 2327 564372 1685096 | 1 281562 123 | 0.000 % | 1668.22/1668.28 c | 4365318 | 2327 564372 1685096 | 1 281733 123 | 0.000 % | 1668.22/1668.28 c | 4365420 | 2327 564372 1685096 | 1 281835 123 | 0.000 % | 1668.22/1668.28 c | 4553141 | 2327 564372 1685096 | 1 172957 76 | 0.000 % | 1668.22/1668.28 c | 4676579 | 2327 564372 1685096 | 1 296395 91 | 0.000 % | 1668.22/1668.28 c | 4676681 | 2327 564372 1685096 | 1 296497 91 | 0.000 % | 1668.22/1668.28 c | 4679038 | 2327 564372 1685096 | 1 298854 91 | 0.000 % | 1668.22/1668.28 c | 4863644 | 2327 564372 1685096 | 1 176471 79 | 0.000 % | 1668.22/1668.28 c | 4864622 | 2327 564372 1685096 | 1 177449 79 | 0.000 % | 1668.22/1668.28 c | 4864724 | 2327 564372 1685096 | 1 177551 79 | 0.000 % | 1668.22/1668.28 c | 4907452 | 2327 564372 1685096 | 1 220279 82 | 0.000 % | 1668.22/1668.28 c | 4927687 | 2327 564372 1685096 | 1 240514 84 | 0.000 % | 1668.22/1668.28 c | 4929755 | 2327 564372 1685096 | 1 242582 84 | 0.000 % | 1668.22/1668.28 c | 4932222 | 2327 564372 1685096 | 1 245049 85 | 0.000 % | 1668.22/1668.28 c | 4932705 | 2327 564372 1685096 | 1 245532 85 | 0.000 % | 1668.22/1668.28 c | 4935905 | 2327 564372 1685096 | 1 248732 85 | 0.000 % | 1668.22/1668.28 c | 4988825 | 2327 564372 1685096 | 1 301652 85 | 0.000 % | 1668.22/1668.28 c | 5050042 | 2327 564372 1685096 | 1 205469 98 | 0.000 % | 1668.22/1668.28 c | 5050142 | 2327 564372 1685096 | 1 205569 98 | 0.000 % | 1668.22/1668.28 c | 5050243 | 2327 564372 1685096 | 1 205670 98 | 0.000 % | 1668.22/1668.28 c | 5050344 | 2327 564372 1685096 | 1 205771 99 | 0.000 % | 1668.22/1668.28 c | 5050444 | 2327 564372 1685096 | 1 205871 99 | 0.000 % | 1668.22/1668.28 c | 5050545 | 2327 564372 1685096 | 1 205972 99 | 0.000 % | 1668.22/1668.28 c | 5050646 | 2327 564372 1685096 | 1 206073 99 | 0.000 % | 1668.22/1668.28 c | 5050748 | 2327 564372 1685096 | 1 206175 99 | 0.000 % | 1668.22/1668.28 c | 5050848 | 2327 564372 1685096 | 1 206275 99 | 0.000 % | 1668.22/1668.28 c | 5050948 | 2327 564372 1685096 | 1 206375 99 | 0.000 % | 1668.22/1668.28 c | 5051048 | 2327 564372 1685096 | 1 206475 99 | 0.000 % | 1668.22/1668.28 c | 5051148 | 2327 564372 1685096 | 1 206575 99 | 0.000 % | 1668.22/1668.28 c | 5051248 | 2327 564372 1685096 | 1 206675 99 | 0.000 % | 1668.22/1668.28 c | 5051350 | 2327 564372 1685096 | 1 206777 99 | 0.000 % | 1668.22/1668.28 c | 5051450 | 2327 564372 1685096 | 1 206877 99 | 0.000 % | 1668.22/1668.28 c | 5051550 | 2327 564372 1685096 | 1 206977 99 | 0.000 % | 1668.22/1668.28 c | 5051650 | 2327 564372 1685096 | 1 207077 99 | 0.000 % | 1668.22/1668.28 c | 5051750 | 2327 564372 1685096 | 1 207177 99 | 0.000 % | 1668.22/1668.28 c | 5051850 | 2327 564372 1685096 | 1 207277 99 | 0.000 % | 1668.22/1668.28 c | 5051951 | 2327 564372 1685096 | 1 207378 99 | 0.000 % | 1668.22/1668.28 c | 5052054 | 2327 564372 1685096 | 1 207481 99 | 0.000 % | 2123.34/2123.31 c | 5052155 | 2327 564372 1685096 | 1 207582 99 | 0.000 % | 2123.34/2123.31 c | 5052282 | 2327 564372 1685096 | 1 207709 99 | 0.000 % | 2123.34/2123.31 c | 5209274 | 2327 564372 1685096 | 1 204693 81 | 0.000 % | 2123.34/2123.31 c | 5222325 | 2327 564372 1685096 | 1 217744 80 | 0.000 % | 2123.34/2123.31 c | 5222425 | 2327 564372 1685096 | 1 217844 80 | 0.000 % | 2123.34/2123.31 c | 5222526 | 2327 564372 1685096 | 1 217945 80 | 0.000 % | 2123.34/2123.31 c | 5222626 | 2327 564372 1685096 | 1 218045 80 | 0.000 % | 2123.34/2123.31 c | 5505603 | 2327 564372 1685096 | 1 173218 67 | 0.000 % | 2123.34/2123.31 c | 5505781 | 2327 564372 1685096 | 1 173396 67 | 0.000 % | 2123.34/2123.31 c | 5505884 | 2327 564372 1685096 | 1 173499 67 | 0.000 % | 2123.34/2123.31 c | 5517763 | 2327 564372 1685096 | 1 185378 68 | 0.000 % | 2123.34/2123.31 c | 5517884 | 2327 564372 1685096 | 1 185499 68 | 0.000 % | 2123.34/2123.31 c | 5518303 | 2327 564372 1685096 | 1 185918 69 | 0.000 % | 2123.34/2123.31 c | 5524568 | 2327 564372 1685096 | 1 192183 69 | 0.000 % | 2123.34/2123.31 c | 5525163 | 2327 564372 1685096 | 1 192778 69 | 0.000 % | 2123.34/2123.31 c | 5525265 | 2327 564372 1685096 | 1 192880 69 | 0.000 % | 2123.34/2123.31 c | 5593341 | 2327 564372 1685096 | 1 260956 75 | 0.000 % | 2123.34/2123.31 c | 5593500 | 2327 564372 1685096 | 1 261115 75 | 0.000 % | 2123.34/2123.31 c | 5601171 | 2327 564372 1685096 | 1 268786 77 | 0.000 % | 2123.34/2123.31 c | 5601276 | 2327 564372 1685096 | 1 268891 77 | 0.000 % | 2123.34/2123.31 c | 5771777 | 2327 564372 1685096 | 1 271591 75 | 0.000 % | 2123.34/2123.31 c | 5771878 | 2327 564372 1685096 | 1 271692 75 | 0.000 % | 2123.34/2123.31 c | 5771982 | 2327 564372 1685096 | 1 271796 75 | 0.000 % | 2123.34/2123.31 c | 5772083 | 2327 564372 1685096 | 1 271897 75 | 0.000 % | 2123.34/2123.31 c | 5772202 | 2327 564372 1685096 | 1 272016 75 | 0.000 % | 2123.34/2123.31 c | 5837140 | 2327 564372 1685096 | 1 336954 77 | 0.000 % | 2123.34/2123.31 c | 5837527 | 2327 564372 1685096 | 1 337341 77 | 0.000 % | 2123.34/2123.31 c | 5931982 | 2327 564372 1685096 | 1 261397 73 | 0.000 % | 2123.34/2123.31 c | 5951912 | 2327 564372 1685096 | 1 281327 74 | 0.000 % | 2123.34/2123.31 c | 5961647 | 2327 564372 1685096 | 1 291062 75 | 0.000 % | 2123.34/2123.31 c | 5961847 | 2327 564372 1685096 | 1 291262 75 | 0.000 % | 2123.34/2123.31 c | 5969128 | 2327 564372 1685096 | 1 298543 75 | 0.000 % | 2123.34/2123.31 c | 5969229 | 2327 564372 1685096 | 1 298644 75 | 0.000 % | 2123.34/2123.31 c | 6020347 | 2327 564372 1685096 | 1 176761 69 | 0.000 % | 2123.34/2123.31 c | 6020449 | 2327 564372 1685096 | 1 176863 69 | 0.000 % | 2123.34/2123.31 c | 6135337 | 2327 564372 1685096 | 1 291751 73 | 0.000 % | 2123.34/2123.31 c | 6135566 | 2327 564372 1685096 | 1 291980 73 | 0.000 % | 2123.34/2123.31 c | 6135942 | 2327 564372 1685096 | 1 292356 73 | 0.000 % | 2123.34/2123.31 c | 6136044 | 2327 564372 1685096 | 1 292458 73 | 0.000 % | 2123.34/2123.31 c | 6142253 | 2327 564372 1685096 | 1 298667 73 | 0.000 % | 2123.34/2123.31 c | 6145301 | 2327 564372 1685096 | 1 301715 73 | 0.000 % | 2123.34/2123.31 c | 6165022 | 2327 564372 1685096 | 1 321436 75 | 0.000 % | 2123.34/2123.31 c | 6165122 | 2327 564372 1685096 | 1 321536 75 | 0.000 % | 2123.34/2123.31 c | 6165224 | 2327 564372 1685096 | 1 321638 75 | 0.000 % | 2123.34/2123.31 c | 6165324 | 2327 564372 1685096 | 1 321738 75 | 0.000 % | 2123.34/2123.31 c | 6169325 | 2327 564372 1685096 | 1 325739 76 | 0.000 % | 2123.34/2123.31 c | 6169425 | 2327 564372 1685096 | 1 325839 76 | 0.000 % | 2123.34/2123.31 c | 6169889 | 2327 564372 1685096 | 1 326303 76 | 0.000 % | 2123.34/2123.31 c | 6169989 | 2327 564372 1685096 | 1 326403 76 | 0.000 % | 2123.34/2123.31 c | 6175566 | 2327 564372 1685096 | 1 331980 76 | 0.000 % | 2391.24/2391.26 c | 6177586 | 2327 564372 1685096 | 1 334000 76 | 0.000 % | 2391.24/2391.26 c | 6217710 | 2327 564372 1685096 | 1 198523 69 | 0.000 % | 2391.24/2391.26 c | 6267505 | 2327 564372 1685096 | 1 248318 74 | 0.000 % | 2391.24/2391.26 c | 6331495 | 2327 564372 1685096 | 1 312308 81 | 0.000 % | 2391.24/2391.26 c | 6339366 | 2327 564372 1685096 | 1 320179 81 | 0.000 % | 2391.24/2391.26 c | 6339467 | 2327 564372 1685096 | 1 320280 81 | 0.000 % | 2391.24/2391.26 c | 6401920 | 2327 564372 1685096 | 1 204540 75 | 0.000 % | 2391.24/2391.26 c | 6513892 | 2327 564372 1685096 | 1 316512 78 | 0.000 % | 2391.24/2391.26 c | 6513993 | 2327 564372 1685096 | 1 316613 78 | 0.000 % | 2391.24/2391.26 c | 6514095 | 2327 564372 1685096 | 1 316715 78 | 0.000 % | 2391.24/2391.26 c | 6530632 | 2327 564372 1685096 | 1 333252 79 | 0.000 % | 2391.24/2391.26 c | 6534852 | 2327 564372 1685096 | 1 337472 80 | 0.000 % | 2391.24/2391.26 c | 6534953 | 2327 564372 1685096 | 1 337573 80 | 0.000 % | 2391.24/2391.26 c | 6596854 | 2327 564372 1685096 | 1 218672 72 | 0.000 % | 2391.24/2391.26 c | 6597866 | 2327 564372 1685096 | 1 219684 72 | 0.000 % | 2391.24/2391.26 c | 6606748 | 2327 564372 1685096 | 1 228566 74 | 0.000 % | 2391.24/2391.26 c | 6650092 | 2327 564372 1685096 | 1 271910 79 | 0.000 % | 2391.24/2391.26 c | 6650192 | 2327 564372 1685096 | 1 272010 79 | 0.000 % | 2391.24/2391.26 c | 6650293 | 2327 564372 1685096 | 1 272111 79 | 0.000 % | 2391.24/2391.26 c | 6650393 | 2327 564372 1685096 | 1 272211 79 | 0.000 % | 2391.24/2391.26 c | 6650495 | 2327 564372 1685096 | 1 272313 79 | 0.000 % | 2391.24/2391.26 c | 6650595 | 2327 564372 1685096 | 1 272413 79 | 0.000 % | 2391.24/2391.26 c | 6650695 | 2327 564372 1685096 | 1 272513 79 | 0.000 % | 2391.24/2391.26 c | 6650797 | 2327 564372 1685096 | 1 272615 80 | 0.000 % | 2391.24/2391.26 c | 6650943 | 2327 564372 1685096 | 1 272761 80 | 0.000 % | 2391.24/2391.26 c | 6651986 | 2327 564372 1685096 | 1 273804 80 | 0.000 % | 2391.24/2391.26 c | 6733366 | 2327 564372 1685096 | 1 355184 80 | 0.000 % | 2391.24/2391.26 c | 6738530 | 2327 564372 1685096 | 1 360348 80 | 0.000 % | 2391.24/2391.26 c | 6750735 | 2327 564372 1685096 | 1 189155 67 | 0.000 % | 2391.24/2391.26 c | 6750837 | 2327 564372 1685096 | 1 189257 67 | 0.000 % | 2391.24/2391.26 c | 6750938 | 2327 564372 1685096 | 1 189358 67 | 0.000 % | 2391.24/2391.26 c | 6751039 | 2327 564372 1685096 | 1 189459 67 | 0.000 % | 2391.24/2391.26 c | 6751139 | 2327 564372 1685096 | 1 189559 67 | 0.000 % | 2391.24/2391.26 c | 6751240 | 2327 564372 1685096 | 1 189660 67 | 0.000 % | 2391.24/2391.26 c | 6754610 | 2327 564372 1685096 | 1 193030 68 | 0.000 % | 2391.24/2391.26 c | 6754711 | 2327 564372 1685096 | 1 193131 68 | 0.000 % | 2391.24/2391.26 c | 6754811 | 2327 564372 1685096 | 1 193231 68 | 0.000 % | 2391.24/2391.26 c | 6754911 | 2327 564372 1685096 | 1 193331 68 | 0.000 % | 2391.24/2391.26 c | 6755014 | 2327 564372 1685096 | 1 193434 68 | 0.000 % | 2391.24/2391.26 c | 6755116 | 2327 564372 1685096 | 1 193536 68 | 0.000 % | 2391.24/2391.26 c | 6755216 | 2327 564372 1685096 | 1 193636 68 | 0.000 % | 2391.24/2391.26 c | 6757047 | 2327 564372 1685096 | 1 195467 69 | 0.000 % | 2391.24/2391.26 c | 6757148 | 2327 564372 1685096 | 1 195568 69 | 0.000 % | 2391.24/2391.26 c | 6757249 | 2327 564372 1685096 | 1 195669 69 | 0.000 % | 2391.24/2391.26 c | 6757349 | 2327 564372 1685096 | 1 195769 69 | 0.000 % | 2391.24/2391.26 c | 6759325 | 2327 564372 1685096 | 1 197745 69 | 0.000 % | 2391.24/2391.26 c | 6759427 | 2327 564372 1685096 | 1 197847 69 | 0.000 % | 2391.24/2391.26 c | 6759529 | 2327 564372 1685096 | 1 197949 69 | 0.000 % | 2391.24/2391.26 c | 6759630 | 2327 564372 1685096 | 1 198050 69 | 0.000 % | 2391.24/2391.26 c | 6759731 | 2327 564372 1685096 | 1 198151 69 | 0.000 % | 2486.06/2486.05 c | 6762409 | 2327 564372 1685096 | 1 200829 69 | 0.000 % | 2486.06/2486.05 c | 6820089 | 2327 564372 1685096 | 1 258509 76 | 0.000 % | 2486.06/2486.05 c | 6820447 | 2327 564372 1685096 | 1 258867 76 | 0.000 % | 2486.06/2486.05 c | 6820548 | 2327 564372 1685096 | 1 258968 76 | 0.000 % | 2486.06/2486.05 c | 6820648 | 2327 564372 1685096 | 1 259068 76 | 0.000 % | 2486.06/2486.05 c | 6820748 | 2327 564372 1685096 | 1 259168 76 | 0.000 % | 2486.06/2486.05 c | 6820848 | 2327 564372 1685096 | 1 259268 76 | 0.000 % | 2486.06/2486.05 c | 6822355 | 2327 564372 1685096 | 1 260775 76 | 0.000 % | 2486.06/2486.05 c | 6834703 | 2327 564372 1685096 | 1 273123 77 | 0.000 % | 2486.06/2486.05 c | 6834803 | 2327 564372 1685096 | 1 273223 77 | 0.000 % | 2486.06/2486.05 c | 6834905 | 2327 564372 1685096 | 1 273325 77 | 0.000 % | 2486.06/2486.05 c | 6835534 | 2327 564372 1685096 | 1 273954 77 | 0.000 % | 2486.06/2486.05 c | 6835637 | 2327 564372 1685096 | 1 274057 77 | 0.000 % | 2486.06/2486.05 c | 6836120 | 2327 564372 1685096 | 1 274540 77 | 0.000 % | 2486.06/2486.05 c | 6836288 | 2327 564372 1685096 | 1 274708 77 | 0.000 % | 2486.06/2486.05 c | 6839997 | 2327 564372 1685096 | 1 278417 77 | 0.000 % | 2486.06/2486.05 c | 6840099 | 2327 564372 1685096 | 1 278519 77 | 0.000 % | 2486.06/2486.05 c | 6840200 | 2327 564372 1685096 | 1 278620 77 | 0.000 % | 2486.06/2486.05 c | 6849794 | 2327 564372 1685096 | 1 288214 78 | 0.000 % | 2486.06/2486.05 c | 6849894 | 2327 564372 1685096 | 1 288314 78 | 0.000 % | 2486.06/2486.05 c | 6850010 | 2327 564372 1685096 | 1 288430 78 | 0.000 % | 2486.06/2486.05 c | 6867763 | 2327 564372 1685096 | 1 306183 80 | 0.000 % | 2486.06/2486.05 c | 6884714 | 2327 564372 1685096 | 1 323134 80 | 0.000 % | 2486.06/2486.05 c | 6886597 | 2327 564372 1685096 | 1 325017 80 | 0.000 % | 2486.06/2486.05 c | 6886697 | 2327 564372 1685096 | 1 325117 80 | 0.000 % | 2486.06/2486.05 c | 6886798 | 2327 564372 1685096 | 1 325218 80 | 0.000 % | 2486.06/2486.05 c | 6887036 | 2327 564372 1685096 | 1 325456 80 | 0.000 % | 2486.06/2486.05 c | 6887137 | 2327 564372 1685096 | 1 325557 80 | 0.000 % | 2486.06/2486.05 c | 6887238 | 2327 564372 1685096 | 1 325658 80 | 0.000 % | 2486.06/2486.05 c | 6887338 | 2327 564372 1685096 | 1 325758 80 | 0.000 % | 2486.06/2486.05 c | 6887438 | 2327 564372 1685096 | 1 325858 80 | 0.000 % | 2486.06/2486.05 c | 6888622 | 2327 564372 1685096 | 1 327042 80 | 0.000 % | 2486.06/2486.05 c | 6888724 | 2327 564372 1685096 | 1 327144 80 | 0.000 % | 2486.06/2486.05 c | 6888955 | 2327 564372 1685096 | 1 327375 80 | 0.000 % | 2486.06/2486.05 c | 6889057 | 2327 564372 1685096 | 1 327477 80 | 0.000 % | 2486.06/2486.05 c | 6889157 | 2327 564372 1685096 | 1 327577 80 | 0.000 % | 2486.06/2486.05 c | 6889258 | 2327 564372 1685096 | 1 327678 80 | 0.000 % | 2486.06/2486.05 c | 6889361 | 2327 564372 1685096 | 1 327781 81 | 0.000 % | 2486.06/2486.05 c | 6889462 | 2327 564372 1685096 | 1 327882 81 | 0.000 % | 2486.06/2486.05 c | 6936172 | 2327 564372 1685096 | 1 188588 66 | 0.000 % | 2486.06/2486.05 c | 6936273 | 2327 564372 1685096 | 1 188689 66 | 0.000 % | 2486.06/2486.05 c | 6936462 | 2327 564372 1685096 | 1 188878 66 | 0.000 % | 2486.06/2486.05 c | 6936562 | 2327 564372 1685096 | 1 188978 66 | 0.000 % | 2486.06/2486.05 c | 6936665 | 2327 564372 1685096 | 1 189081 66 | 0.000 % | 2486.06/2486.05 c | 6948558 | 2327 564372 1685096 | 1 200974 69 | 0.000 % | 2486.06/2486.05 c | 6948659 | 2327 564372 1685096 | 1 201075 69 | 0.000 % | 2486.06/2486.05 c | 6958881 | 2327 564372 1685096 | 1 211297 70 | 0.000 % | 2486.06/2486.05 c | 6959216 | 2327 564372 1685096 | 1 211632 71 | 0.000 % | 2486.06/2486.05 c | 6959316 | 2327 564372 1685096 | 1 211732 71 | 0.000 % | 2486.06/2486.05 c | 6959416 | 2327 564372 1685096 | 1 211832 71 | 0.000 % | 2611.95/2611.99 c | 6959519 | 2327 564372 1685096 | 1 211935 71 | 0.000 % | 2611.95/2611.99 c | 6961614 | 2327 564372 1685096 | 1 214030 71 | 0.000 % | 2611.95/2611.99 c | 6961714 | 2327 564372 1685096 | 1 214130 71 | 0.000 % | 2611.95/2611.99 c | 6962176 | 2327 564372 1685096 | 1 214592 71 | 0.000 % | 2611.95/2611.99 c | 6962280 | 2327 564372 1685096 | 1 214696 71 | 0.000 % | 2611.95/2611.99 c | 6962380 | 2327 564372 1685096 | 1 214796 71 | 0.000 % | 2611.95/2611.99 c | 6969970 | 2327 564372 1685096 | 1 222386 73 | 0.000 % | 2611.95/2611.99 c | 6970070 | 2327 564372 1685096 | 1 222486 73 | 0.000 % | 2611.95/2611.99 c | 6975179 | 2327 564372 1685096 | 1 227595 73 | 0.000 % | 2611.95/2611.99 c | 6975281 | 2327 564372 1685096 | 1 227697 73 | 0.000 % | 2611.95/2611.99 c | 6975382 | 2327 564372 1685096 | 1 227798 73 | 0.000 % | 2611.95/2611.99 c | 6975482 | 2327 564372 1685096 | 1 227898 73 | 0.000 % | 2611.95/2611.99 c | 6975583 | 2327 564372 1685096 | 1 227999 73 | 0.000 % | 2611.95/2611.99 c | 6975683 | 2327 564372 1685096 | 1 228099 73 | 0.000 % | 2611.95/2611.99 c | 6975783 | 2327 564372 1685096 | 1 228199 73 | 0.000 % | 2611.95/2611.99 c | 6975885 | 2327 564372 1685096 | 1 228301 73 | 0.000 % | 2611.95/2611.99 c | 6975985 | 2327 564372 1685096 | 1 228401 73 | 0.000 % | 2611.95/2611.99 c | 6976089 | 2327 564372 1685096 | 1 228505 73 | 0.000 % | 2611.95/2611.99 c | 6976189 | 2327 564372 1685096 | 1 228605 73 | 0.000 % | 2611.95/2611.99 c | 6976292 | 2327 564372 1685096 | 1 228708 73 | 0.000 % | 2611.95/2611.99 c | 7040337 | 2327 564372 1685096 | 1 292753 77 | 0.000 % | 2611.95/2611.99 c | 7040440 | 2327 564372 1685096 | 1 292856 77 | 0.000 % | 2611.95/2611.99 c | 7042860 | 2327 564372 1685096 | 1 295276 77 | 0.000 % | 2611.95/2611.99 c | 7042962 | 2327 564372 1685096 | 1 295378 77 | 0.000 % | 2611.95/2611.99 c | 7043062 | 2327 564372 1685096 | 1 295478 77 | 0.000 % | 2611.95/2611.99 c | 7043540 | 2327 564372 1685096 | 1 295956 77 | 0.000 % | 2611.95/2611.99 c | 7043643 | 2327 564372 1685096 | 1 296059 77 | 0.000 % | 2611.95/2611.99 c | 7115526 | 2327 564372 1685096 | 1 367942 79 | 0.000 % | 2611.95/2611.99 c | 7121292 | 2327 564372 1685096 | 1 373708 79 | 0.000 % | 2611.95/2611.99 c | 7131811 | 2327 564372 1685096 | 1 195628 67 | 0.000 % | 2611.95/2611.99 c | 7133202 | 2327 564372 1685096 | 1 197019 67 | 0.000 % | 2611.95/2611.99 c | 7137165 | 2327 564372 1685096 | 1 200982 68 | 0.000 % | 2611.95/2611.99 c | 7137265 | 2327 564372 1685096 | 1 201082 68 | 0.000 % | 2611.95/2611.99 c | 7137365 | 2327 564372 1685096 | 1 201182 68 | 0.000 % | 2611.95/2611.99 c | 7137466 | 2327 564372 1685096 | 1 201283 68 | 0.000 % | 2611.95/2611.99 c | 7158800 | 2327 564372 1685096 | 1 222617 71 | 0.000 % | 2611.95/2611.99 c | 7158900 | 2327 564372 1685096 | 1 222717 71 | 0.000 % | 2611.95/2611.99 c | 7159000 | 2327 564372 1685096 | 1 222817 71 | 0.000 % | 2611.95/2611.99 c | 7159132 | 2327 564372 1685096 | 1 222949 71 | 0.000 % | 2611.95/2611.99 c | 7159234 | 2327 564372 1685096 | 1 223051 71 | 0.000 % | 2611.95/2611.99 c | 7159338 | 2327 564372 1685096 | 1 223155 71 | 0.000 % | 2611.95/2611.99 c | 7159440 | 2327 564372 1685096 | 1 223257 71 | 0.000 % | 2611.95/2611.99 c | 7159540 | 2327 564372 1685096 | 1 223357 71 | 0.000 % | 2611.95/2611.99 c | 7214969 | 2327 564372 1685096 | 1 278786 76 | 0.000 % | 2611.95/2611.99 c | 7215070 | 2327 564372 1685096 | 1 278887 76 | 0.000 % | 2611.95/2611.99 c | 7215176 | 2327 564372 1685096 | 1 278993 76 | 0.000 % | 2611.95/2611.99 c | 7215277 | 2327 564372 1685096 | 1 279094 76 | 0.000 % | 2611.95/2611.99 c | 7215378 | 2327 564372 1685096 | 1 279195 76 | 0.000 % | 2611.95/2611.99 c | 7215478 | 2327 564372 1685096 | 1 279295 76 | 0.000 % | 2611.95/2611.99 c | 7215578 | 2327 564372 1685096 | 1 279395 76 | 0.000 % | 2680.14/2680.16 c | 7216373 | 2327 564372 1685096 | 1 280190 76 | 0.000 % | 2680.14/2680.16 c | 7216473 | 2327 564372 1685096 | 1 280290 76 | 0.000 % | 2680.14/2680.16 c | 7227363 | 2327 564372 1685096 | 1 291180 78 | 0.000 % | 2680.14/2680.16 c | 7227463 | 2327 564372 1685096 | 1 291280 78 | 0.000 % | 2680.14/2680.16 c | 7227570 | 2327 564372 1685096 | 1 291387 78 | 0.000 % | 2680.14/2680.16 c | 7227671 | 2327 564372 1685096 | 1 291488 78 | 0.000 % | 2680.14/2680.16 c | 7227772 | 2327 564372 1685096 | 1 291589 78 | 0.000 % | 2680.14/2680.16 c | 7227875 | 2327 564372 1685096 | 1 291692 78 | 0.000 % | 2680.14/2680.16 c | 7227976 | 2327 564372 1685096 | 1 291793 78 | 0.000 % | 2680.14/2680.16 c | 7228078 | 2327 564372 1685096 | 1 291895 78 | 0.000 % | 2680.14/2680.16 c | 7228550 | 2327 564372 1685096 | 1 292367 78 | 0.000 % | 2680.14/2680.16 c | 7228652 | 2327 564372 1685096 | 1 292469 78 | 0.000 % | 2680.14/2680.16 c | 7228752 | 2327 564372 1685096 | 1 292569 78 | 0.000 % | 2680.14/2680.16 c | 7228852 | 2327 564372 1685096 | 1 292669 78 | 0.000 % | 2680.14/2680.16 c | 7228953 | 2327 564372 1685096 | 1 292770 78 | 0.000 % | 2680.14/2680.16 c | 7229056 | 2327 564372 1685096 | 1 292873 78 | 0.000 % | 2680.14/2680.16 c | 7229156 | 2327 564372 1685096 | 1 292973 78 | 0.000 % | 2680.14/2680.16 c | 7229257 | 2327 564372 1685096 | 1 293074 78 | 0.000 % | 2680.14/2680.16 c | 7229359 | 2327 564372 1685096 | 1 293176 78 | 0.000 % | 2680.14/2680.16 c | 7229459 | 2327 564372 1685096 | 1 293276 78 | 0.000 % | 2680.14/2680.16 c | 7229559 | 2327 564372 1685096 | 1 293376 78 | 0.000 % | 2680.14/2680.16 c | 7229665 | 2327 564372 1685096 | 1 293482 78 | 0.000 % | 2680.14/2680.16 c | 7229938 | 2327 564372 1685096 | 1 293755 78 | 0.000 % | 2680.14/2680.16 c | 7231147 | 2327 564372 1685096 | 1 294964 78 | 0.000 % | 2680.14/2680.16 c | 7255414 | 2327 564372 1685096 | 1 319231 79 | 0.000 % | 2680.14/2680.16 c | 7255515 | 2327 564372 1685096 | 1 319332 79 | 0.000 % | 2680.14/2680.16 c | 7272963 | 2327 564372 1685096 | 1 336780 80 | 0.000 % | 2680.14/2680.16 c | 7274768 | 2327 564372 1685096 | 1 338585 80 | 0.000 % | 2680.14/2680.16 c | 7274868 | 2327 564372 1685096 | 1 338685 80 | 0.000 % | 2680.14/2680.16 c | 7279566 | 2327 564372 1685096 | 1 343383 80 | 0.000 % | 2680.14/2680.16 c | 7292103 | 2327 564372 1685096 | 1 355920 80 | 0.000 % | 2680.14/2680.16 c | 7292203 | 2327 564372 1685096 | 1 356020 80 | 0.000 % | 2680.14/2680.16 c | 7292306 | 2327 564372 1685096 | 1 356123 80 | 0.000 % | 2680.14/2680.16 c | 7292407 | 2327 564372 1685096 | 1 356224 80 | 0.000 % | 2680.14/2680.16 c | 7292508 | 2327 564372 1685096 | 1 356325 80 | 0.000 % | 2680.14/2680.16 c | 7292609 | 2327 564372 1685096 | 1 356426 80 | 0.000 % | 2680.14/2680.16 c | 7293362 | 2327 564372 1685096 | 1 357179 81 | 0.000 % | 2680.14/2680.16 c | 7317323 | 2327 564372 1685096 | 1 381140 80 | 0.000 % | 2680.14/2680.16 c | 7317425 | 2327 564372 1685096 | 1 381242 80 | 0.000 % | 2680.14/2680.16 c | 7317526 | 2327 564372 1685096 | 1 381343 80 | 0.000 % | 2680.14/2680.16 c | 7317931 | 2327 564372 1685096 | 1 381748 80 | 0.000 % | 2680.14/2680.16 c | 7318032 | 2327 564372 1685096 | 1 381849 80 | 0.000 % | 2680.14/2680.16 c | 7318134 | 2327 564372 1685096 | 1 381951 80 | 0.000 % | 2680.14/2680.16 c | 7318234 | 2327 564372 1685096 | 1 382051 80 | 0.000 % | 2680.14/2680.16 c | 7318789 | 2327 564372 1685096 | 1 191404 65 | 0.000 % | 2680.14/2680.16 c | 7318890 | 2327 564372 1685096 | 1 191505 65 | 0.000 % | 2680.14/2680.16 c | 7318990 | 2327 564372 1685096 | 1 191605 65 | 0.000 % | 2680.14/2680.16 c | 7319091 | 2327 564372 1685096 | 1 191706 65 | 0.000 % | 2680.14/2680.16 c | 7319191 | 2327 564372 1685096 | 1 191806 65 | 0.000 % | 2680.14/2680.16 c | 7340120 | 2327 564372 1685096 | 1 212735 69 | 0.000 % | 2762.55/2762.57 c | 7340227 | 2327 564372 1685096 | 1 212842 69 | 0.000 % | 2762.55/2762.57 c | 7340327 | 2327 564372 1685096 | 1 212942 69 | 0.000 % | 2762.55/2762.57 c | 7344479 | 2327 564372 1685096 | 1 217094 69 | 0.000 % | 2762.55/2762.57 c | 7344579 | 2327 564372 1685096 | 1 217194 69 | 0.000 % | 2762.55/2762.57 c | 7344680 | 2327 564372 1685096 | 1 217295 69 | 0.000 % | 2762.55/2762.57 c | 7376906 | 2327 564372 1685096 | 1 249521 75 | 0.000 % | 2762.55/2762.57 c | 7423795 | 2327 564372 1685096 | 1 296410 76 | 0.000 % | 2762.55/2762.57 c | 7424839 | 2327 564372 1685096 | 1 297454 76 | 0.000 % | 2762.55/2762.57 c | 7424939 | 2327 564372 1685096 | 1 297554 76 | 0.000 % | 2762.55/2762.57 c | 7425040 | 2327 564372 1685096 | 1 297655 76 | 0.000 % | 2762.55/2762.57 c | 7428183 | 2327 564372 1685096 | 1 300798 77 | 0.000 % | 2762.55/2762.57 c | 7429021 | 2327 564372 1685096 | 1 301636 77 | 0.000 % | 2762.55/2762.57 c | 7429261 | 2327 564372 1685096 | 1 301876 77 | 0.000 % | 2762.55/2762.57 c | 7429395 | 2327 564372 1685096 | 1 302010 77 | 0.000 % | 2762.55/2762.57 c | 7429496 | 2327 564372 1685096 | 1 302111 77 | 0.000 % | 2762.55/2762.57 c | 7442226 | 2327 564372 1685096 | 1 314841 78 | 0.000 % | 2762.55/2762.57 c | 7444899 | 2327 564372 1685096 | 1 317514 78 | 0.000 % | 2762.55/2762.57 c | 7445000 | 2327 564372 1685096 | 1 317615 78 | 0.000 % | 2762.55/2762.57 c | 7445204 | 2327 564372 1685096 | 1 317819 78 | 0.000 % | 2762.55/2762.57 c | 7445307 | 2327 564372 1685096 | 1 317922 78 | 0.000 % | 2762.55/2762.57 c | 7445408 | 2327 564372 1685096 | 1 318023 78 | 0.000 % | 2762.55/2762.57 c | 7445564 | 2327 564372 1685096 | 1 318179 78 | 0.000 % | 2762.55/2762.57 c | 7450663 | 2327 564372 1685096 | 1 323278 79 | 0.000 % | 2762.55/2762.57 c | 7450764 | 2327 564372 1685096 | 1 323379 79 | 0.000 % | 2762.55/2762.57 c | 7451276 | 2327 564372 1685096 | 1 323891 79 | 0.000 % | 2762.55/2762.57 c | 7451710 | 2327 564372 1685096 | 1 324325 79 | 0.000 % | 2762.55/2762.57 c | 7451813 | 2327 564372 1685096 | 1 324428 79 | 0.000 % | 2762.55/2762.57 c | 7451916 | 2327 564372 1685096 | 1 324531 79 | 0.000 % | 2762.55/2762.57 c | 7458360 | 2327 564372 1685096 | 1 330975 79 | 0.000 % | 2762.55/2762.57 c | 7458462 | 2327 564372 1685096 | 1 331077 79 | 0.000 % | 2762.55/2762.57 c | 7458562 | 2327 564372 1685096 | 1 331177 79 | 0.000 % | 2762.55/2762.57 c | 7458664 | 2327 564372 1685096 | 1 331279 79 | 0.000 % | 2762.55/2762.57 c | 7479942 | 2327 564372 1685096 | 1 352557 81 | 0.000 % | 2762.55/2762.57 c | 7480231 | 2327 564372 1685096 | 1 352846 81 | 0.000 % | 2762.55/2762.57 c | 7480331 | 2327 564372 1685096 | 1 352946 81 | 0.000 % | 2762.55/2762.57 c | 7480431 | 2327 564372 1685096 | 1 353046 81 | 0.000 % | 2762.55/2762.57 c | 7480534 | 2327 564372 1685096 | 1 353149 81 | 0.000 % | 2762.55/2762.57 c | 7480635 | 2327 564372 1685096 | 1 353250 81 | 0.000 % | 2762.55/2762.57 c | 7480737 | 2327 564372 1685096 | 1 353352 81 | 0.000 % | 2762.55/2762.57 c | 7483734 | 2327 564372 1685096 | 1 356349 82 | 0.000 % | 2762.55/2762.57 c | 7483834 | 2327 564372 1685096 | 1 356449 82 | 0.000 % | 2762.55/2762.57 c | 7483938 | 2327 564372 1685096 | 1 356553 82 | 0.000 % | 2762.55/2762.57 c | 7484040 | 2327 564372 1685096 | 1 356655 82 | 0.000 % | 2762.55/2762.57 c | 7485623 | 2327 564372 1685096 | 1 358238 82 | 0.000 % | 2762.55/2762.57 c | 7485723 | 2327 564372 1685096 | 1 358338 82 | 0.000 % | 2762.55/2762.57 c | 7485824 | 2327 564372 1685096 | 1 358439 82 | 0.000 % | 2762.55/2762.57 c | 7496572 | 2327 564372 1685096 | 1 369187 82 | 0.000 % | 2762.55/2762.57 c | 7496673 | 2327 564372 1685096 | 1 369288 82 | 0.000 % | 2762.55/2762.57 c | 7497290 | 2327 564372 1685096 | 1 369905 82 | 0.000 % | 2762.55/2762.57 c | 7497392 | 2327 564372 1685096 | 1 370007 82 | 0.000 % | 2861.06/2861.09 c | 7497498 | 2327 564372 1685096 | 1 370113 82 | 0.000 % | 2861.06/2861.09 c | 7497598 | 2327 564372 1685096 | 1 370213 82 | 0.000 % | 2861.06/2861.09 c | 7497700 | 2327 564372 1685096 | 1 370315 82 | 0.000 % | 2861.06/2861.09 c | 7497802 | 2327 564372 1685096 | 1 370417 82 | 0.000 % | 2861.06/2861.09 c | 7498538 | 2327 564372 1685096 | 1 371153 82 | 0.000 % | 2861.06/2861.09 c | 7500990 | 2327 564372 1685096 | 1 373605 83 | 0.000 % | 2861.06/2861.09 c | 7501096 | 2327 564372 1685096 | 1 373711 83 | 0.000 % | 2861.06/2861.09 c | 7501196 | 2327 564372 1685096 | 1 373811 83 | 0.000 % | 2861.06/2861.09 c | 7501305 | 2327 564372 1685096 | 1 373920 83 | 0.000 % | 2861.06/2861.09 c | 7531522 | 2327 564372 1685096 | 1 210339 68 | 0.000 % | 2861.06/2861.09 c | 7550388 | 2327 564372 1685096 | 1 229205 71 | 0.000 % | 2861.06/2861.09 c | 7550488 | 2327 564372 1685096 | 1 229305 71 | 0.000 % | 2861.06/2861.09 c | 7575784 | 2327 564372 1685096 | 1 254601 73 | 0.000 % | 2861.06/2861.09 c | 7577355 | 2327 564372 1685096 | 1 256172 73 | 0.000 % | 2861.06/2861.09 c | 7577456 | 2327 564372 1685096 | 1 256273 73 | 0.000 % | 2861.06/2861.09 c | 7577557 | 2327 564372 1685096 | 1 256374 73 | 0.000 % | 2861.06/2861.09 c | 7577659 | 2327 564372 1685096 | 1 256476 73 | 0.000 % | 2861.06/2861.09 c | 7602067 | 2327 564372 1685096 | 1 280884 75 | 0.000 % | 2861.06/2861.09 c | 7611855 | 2327 564372 1685096 | 1 290672 75 | 0.000 % | 2861.06/2861.09 c | 7612205 | 2327 564372 1685096 | 1 291022 75 | 0.000 % | 2861.06/2861.09 c | 7619707 | 2327 564372 1685096 | 1 298524 76 | 0.000 % | 2861.06/2861.09 c | 7619807 | 2327 564372 1685096 | 1 298624 76 | 0.000 % | 2861.06/2861.09 c | 7619908 | 2327 564372 1685096 | 1 298725 76 | 0.000 % | 2861.06/2861.09 c | 7623261 | 2327 564372 1685096 | 1 302078 76 | 0.000 % | 2861.06/2861.09 c | 7632654 | 2327 564372 1685096 | 1 311471 77 | 0.000 % | 2861.06/2861.09 c | 7632757 | 2327 564372 1685096 | 1 311574 77 | 0.000 % | 2861.06/2861.09 c | 7632858 | 2327 564372 1685096 | 1 311675 77 | 0.000 % | 2861.06/2861.09 c | 7632959 | 2327 564372 1685096 | 1 311776 77 | 0.000 % | 2861.06/2861.09 c | 7633062 | 2327 564372 1685096 | 1 311879 77 | 0.000 % | 2861.06/2861.09 c | 7636130 | 2327 564372 1685096 | 1 314947 78 | 0.000 % | 2861.06/2861.09 c | 7636231 | 2327 564372 1685096 | 1 315048 78 | 0.000 % | 2861.06/2861.09 c | 7636332 | 2327 564372 1685096 | 1 315149 78 | 0.000 % | 2861.06/2861.09 c | 7644176 | 2327 564372 1685096 | 1 322993 78 | 0.000 % | 2861.06/2861.09 c | 7644276 | 2327 564372 1685096 | 1 323093 78 | 0.000 % | 2861.06/2861.09 c | 7644376 | 2327 564372 1685096 | 1 323193 78 | 0.000 % | 2861.06/2861.09 c | 7644829 | 2327 564372 1685096 | 1 323646 79 | 0.000 % | 2861.06/2861.09 c | 7644931 | 2327 564372 1685096 | 1 323748 79 | 0.000 % | 2861.06/2861.09 c | 7645034 | 2327 564372 1685096 | 1 323851 79 | 0.000 % | 2861.06/2861.09 c | 7645136 | 2327 564372 1685096 | 1 323953 79 | 0.000 % | 2861.06/2861.09 c | 7646011 | 2327 564372 1685096 | 1 324828 79 | 0.000 % | 2861.06/2861.09 c | 7646111 | 2327 564372 1685096 | 1 324928 79 | 0.000 % | 2861.06/2861.09 c | 7646213 | 2327 564372 1685096 | 1 325030 79 | 0.000 % | 2861.06/2861.09 c | 7668865 | 2327 564372 1685096 | 1 347682 80 | 0.000 % | 2861.06/2861.09 c | 7668967 | 2327 564372 1685096 | 1 347784 80 | 0.000 % | 2861.06/2861.09 c | 7669067 | 2327 564372 1685096 | 1 347884 80 | 0.000 % | 2861.06/2861.09 c | 7677848 | 2327 564372 1685096 | 1 356665 80 | 0.000 % | 2861.06/2861.09 c | 7677948 | 2327 564372 1685096 | 1 356765 80 | 0.000 % | 2861.06/2861.09 c | 7679133 | 2327 564372 1685096 | 1 357950 80 | 0.000 % | 2861.06/2861.09 c | 7679235 | 2327 564372 1685096 | 1 358052 80 | 0.000 % | 2861.06/2861.09 c | 7684095 | 2327 564372 1685096 | 1 362912 80 | 0.000 % | 2965.57/2965.53 c | 7684196 | 2327 564372 1685096 | 1 363013 80 | 0.000 % | 2965.57/2965.53 c | 7684298 | 2327 564372 1685096 | 1 363115 80 | 0.000 % | 2965.57/2965.53 c | 7684402 | 2327 564372 1685096 | 1 363219 80 | 0.000 % | 2965.57/2965.53 c | 7684504 | 2327 564372 1685096 | 1 363321 80 | 0.000 % | 2965.57/2965.53 c | 7700703 | 2327 564372 1685096 | 1 379520 82 | 0.000 % | 2965.57/2965.53 c | 7700804 | 2327 564372 1685096 | 1 379621 82 | 0.000 % | 2965.57/2965.53 c | 7700904 | 2327 564372 1685096 | 1 379721 82 | 0.000 % | 2965.57/2965.53 c | 7701004 | 2327 564372 1685096 | 1 379821 82 | 0.000 % | 2965.57/2965.53 c | 7733014 | 2327 564372 1685096 | 1 215430 66 | 0.000 % | 2965.57/2965.53 c | 7733115 | 2327 564372 1685096 | 1 215531 67 | 0.000 % | 2965.57/2965.53 c | 7734033 | 2327 564372 1685096 | 1 216449 67 | 0.000 % | 2965.57/2965.53 c | 7738315 | 2327 564372 1685096 | 1 220731 67 | 0.000 % | 2965.57/2965.53 c | 7738416 | 2327 564372 1685096 | 1 220832 67 | 0.000 % | 2965.57/2965.53 c | 7738519 | 2327 564372 1685096 | 1 220935 67 | 0.000 % | 2965.57/2965.53 c | 7738620 | 2327 564372 1685096 | 1 221036 67 | 0.000 % | 2965.57/2965.53 c | 7738722 | 2327 564372 1685096 | 1 221138 67 | 0.000 % | 2965.57/2965.53 c | 7738823 | 2327 564372 1685096 | 1 221239 68 | 0.000 % | 2965.57/2965.53 c | 7738923 | 2327 564372 1685096 | 1 221339 68 | 0.000 % | 2965.57/2965.53 c | 7739024 | 2327 564372 1685096 | 1 221440 68 | 0.000 % | 2965.57/2965.53 c | 7761649 | 2327 564372 1685096 | 1 244065 70 | 0.000 % | 2965.57/2965.53 c | 7761749 | 2327 564372 1685096 | 1 244165 70 | 0.000 % | 2965.57/2965.53 c | 7773970 | 2327 564372 1685096 | 1 256386 71 | 0.000 % | 2965.57/2965.53 c | 7774072 | 2327 564372 1685096 | 1 256488 71 | 0.000 % | 2965.57/2965.53 c | 7774184 | 2327 564372 1685096 | 1 256600 71 | 0.000 % | 2965.57/2965.53 c | 7814601 | 2327 564372 1685096 | 1 297017 75 | 0.000 % | 2965.57/2965.53 c | 7819707 | 2327 564372 1685096 | 1 302123 75 | 0.000 % | 2965.57/2965.53 c | 7820960 | 2327 564372 1685096 | 1 303376 75 | 0.000 % | 2965.57/2965.53 c | 7821064 | 2327 564372 1685096 | 1 303480 75 | 0.000 % | 2965.57/2965.53 c | 7821166 | 2327 564372 1685096 | 1 303582 75 | 0.000 % | 2965.57/2965.53 c | 7821266 | 2327 564372 1685096 | 1 303682 75 | 0.000 % | 2965.57/2965.53 c | 7821629 | 2327 564372 1685096 | 1 304045 75 | 0.000 % | 2965.57/2965.53 c | 7823371 | 2327 564372 1685096 | 1 305787 75 | 0.000 % | 2965.57/2965.53 c | 7823473 | 2327 564372 1685096 | 1 305889 75 | 0.000 % | 2965.57/2965.53 c | 7834329 | 2327 564372 1685096 | 1 316745 76 | 0.000 % | 2965.57/2965.53 c | 7837412 | 2327 564372 1685096 | 1 319828 76 | 0.000 % | 2965.57/2965.53 c | 7837907 | 2327 564372 1685096 | 1 320323 76 | 0.000 % | 2965.57/2965.53 c | 7838007 | 2327 564372 1685096 | 1 320423 76 | 0.000 % | 2965.57/2965.53 c | 7838108 | 2327 564372 1685096 | 1 320524 76 | 0.000 % | 2965.57/2965.53 c | 7838211 | 2327 564372 1685096 | 1 320627 76 | 0.000 % | 2965.57/2965.53 c | 7838313 | 2327 564372 1685096 | 1 320729 76 | 0.000 % | 2965.57/2965.53 c | 7844875 | 2327 564372 1685096 | 1 327291 76 | 0.000 % | 2965.57/2965.53 c | 7878132 | 2327 564372 1685096 | 1 360548 79 | 0.000 % | 2965.57/2965.53 c | 7878232 | 2327 564372 1685096 | 1 360648 79 | 0.000 % | 2965.57/2965.53 c | 7878334 | 2327 564372 1685096 | 1 360750 79 | 0.000 % | 2965.57/2965.53 c | 7878434 | 2327 564372 1685096 | 1 360850 79 | 0.000 % | 2965.57/2965.53 c | 7878534 | 2327 564372 1685096 | 1 360950 79 | 0.000 % | 2965.57/2965.53 c | 7878638 | 2327 564372 1685096 | 1 361054 79 | 0.000 % | 2965.57/2965.53 c | 7881117 | 2327 564372 1685096 | 1 363533 79 | 0.000 % | 2965.57/2965.53 c | 7881248 | 2327 564372 1685096 | 1 363664 79 | 0.000 % | 2965.57/2965.53 c | 7881348 | 2327 564372 1685096 | 1 363764 79 | 0.000 % | 3113.16/3113.14 c | 7881448 | 2327 564372 1685096 | 1 363864 79 | 0.000 % | 3113.16/3113.14 c | 7881549 | 2327 564372 1685096 | 1 363965 79 | 0.000 % | 3113.16/3113.14 c | 7881649 | 2327 564372 1685096 | 1 364065 79 | 0.000 % | 3113.16/3113.14 c | 7881749 | 2327 564372 1685096 | 1 364165 79 | 0.000 % | 3113.16/3113.14 c | 7882069 | 2327 564372 1685096 | 1 364485 79 | 0.000 % | 3113.16/3113.14 c | 7882170 | 2327 564372 1685096 | 1 364586 79 | 0.000 % | 3113.16/3113.14 c | 7882273 | 2327 564372 1685096 | 1 364689 79 | 0.000 % | 3113.16/3113.14 c | 7882373 | 2327 564372 1685096 | 1 364789 79 | 0.000 % | 3113.16/3113.14 c | 7915348 | 2327 564372 1685096 | 1 397764 80 | 0.000 % | 3113.16/3113.14 c | 7915504 | 2327 564372 1685096 | 1 397920 80 | 0.000 % | 3113.16/3113.14 c | 7931352 | 2327 564372 1685096 | 1 214762 68 | 0.000 % | 3113.16/3113.14 c | 7931454 | 2327 564372 1685096 | 1 214864 68 | 0.000 % | 3113.16/3113.14 c | 7931554 | 2327 564372 1685096 | 1 214964 68 | 0.000 % | 3113.16/3113.14 c | 7939323 | 2327 564372 1685096 | 1 222733 69 | 0.000 % | 3113.16/3113.14 c | 7939426 | 2327 564372 1685096 | 1 222836 69 | 0.000 % | 3113.16/3113.14 c | 7939526 | 2327 564372 1685096 | 1 222936 69 | 0.000 % | 3113.16/3113.14 c | 7958844 | 2327 564372 1685096 | 1 242254 72 | 0.000 % | 3113.16/3113.14 c | 7958947 | 2327 564372 1685096 | 1 242357 72 | 0.000 % | 3113.16/3113.14 c | 7964471 | 2327 564372 1685096 | 1 247881 73 | 0.000 % | 3113.16/3113.14 c | 7965300 | 2327 564372 1685096 | 1 248710 73 | 0.000 % | 3113.16/3113.14 c | 7976155 | 2327 564372 1685096 | 1 259565 74 | 0.000 % | 3113.16/3113.14 c | 7976255 | 2327 564372 1685096 | 1 259665 74 | 0.000 % | 3113.16/3113.14 c | 7976356 | 2327 564372 1685096 | 1 259766 74 | 0.000 % | 3113.16/3113.14 c | 7985337 | 2327 564372 1685096 | 1 268747 75 | 0.000 % | 3113.16/3113.14 c | 7985437 | 2327 564372 1685096 | 1 268847 75 | 0.000 % | 3113.16/3113.14 c | 7992264 | 2327 564372 1685096 | 1 275674 76 | 0.000 % | 3113.16/3113.14 c | 7992388 | 2327 564372 1685096 | 1 275798 76 | 0.000 % | 3113.16/3113.14 c | 7992493 | 2327 564372 1685096 | 1 275903 76 | 0.000 % | 3113.16/3113.14 c | 7992671 | 2327 564372 1685096 | 1 276081 76 | 0.000 % | 3113.16/3113.14 c | 8060352 | 2327 564372 1685096 | 1 343762 81 | 0.000 % | 3113.16/3113.14 c | 8060453 | 2327 564372 1685096 | 1 343863 81 | 0.000 % | 3113.16/3113.14 c | 8060553 | 2327 564372 1685096 | 1 343963 81 | 0.000 % | 3113.16/3113.14 c | 8062699 | 2327 564372 1685096 | 1 346109 82 | 0.000 % | 3113.16/3113.14 c | 8062799 | 2327 564372 1685096 | 1 346209 82 | 0.000 % | 3113.16/3113.14 c | 8062903 | 2327 564372 1685096 | 1 346313 82 | 0.000 % | 3113.16/3113.14 c | 8069773 | 2327 564372 1685096 | 1 353183 82 | 0.000 % | 3113.16/3113.14 c | 8124383 | 2327 564372 1685096 | 1 206197 66 | 0.000 % | 3113.16/3113.14 c | 8135405 | 2327 564372 1685096 | 1 217219 68 | 0.000 % | 3113.16/3113.14 c | 8136916 | 2327 564372 1685096 | 1 218730 68 | 0.000 % | 3113.16/3113.14 c | 8137016 | 2327 564372 1685096 | 1 218830 68 | 0.000 % | 3113.16/3113.14 c | 8137390 | 2327 564372 1685096 | 1 219204 69 | 0.000 % | 3113.16/3113.14 c | 8137490 | 2327 564372 1685096 | 1 219304 69 | 0.000 % | 3113.16/3113.14 c | 8137591 | 2327 564372 1685096 | 1 219405 69 | 0.000 % | 3113.16/3113.14 c | 8137693 | 2327 564372 1685096 | 1 219507 69 | 0.000 % | 3113.16/3113.14 c | 8137794 | 2327 564372 1685096 | 1 219608 69 | 0.000 % | 3113.16/3113.14 c | 8137895 | 2327 564372 1685096 | 1 219709 69 | 0.000 % | 3113.16/3113.14 c | 8137996 | 2327 564372 1685096 | 1 219810 69 | 0.000 % | 3113.16/3113.14 c | 8138149 | 2327 564372 1685096 | 1 219963 69 | 0.000 % | 3113.16/3113.14 c | 8138251 | 2327 564372 1685096 | 1 220065 69 | 0.000 % | 3113.16/3113.14 c | 8138356 | 2327 564372 1685096 | 1 220170 69 | 0.000 % | 3184.16/3184.19 c | 8146050 | 2327 564372 1685096 | 1 227864 70 | 0.000 % | 3184.16/3184.19 c | 8146157 | 2327 564372 1685096 | 1 227971 70 | 0.000 % | 3184.16/3184.19 c | 8146257 | 2327 564372 1685096 | 1 228071 70 | 0.000 % | 3184.16/3184.19 c | 8146360 | 2327 564372 1685096 | 1 228174 70 | 0.000 % | 3184.16/3184.19 c | 8146460 | 2327 564372 1685096 | 1 228274 70 | 0.000 % | 3184.16/3184.19 c | 8146560 | 2327 564372 1685096 | 1 228374 70 | 0.000 % | 3184.16/3184.19 c | 8146661 | 2327 564372 1685096 | 1 228475 70 | 0.000 % | 3184.16/3184.19 c | 8193658 | 2327 564372 1685096 | 1 275472 72 | 0.000 % | 3184.16/3184.19 c | 8193758 | 2327 564372 1685096 | 1 275572 72 | 0.000 % | 3184.16/3184.19 c | 8193858 | 2327 564372 1685096 | 1 275672 72 | 0.000 % | 3184.16/3184.19 c | 8193958 | 2327 564372 1685096 | 1 275772 72 | 0.000 % | 3184.16/3184.19 c | 8194060 | 2327 564372 1685096 | 1 275874 72 | 0.000 % | 3184.16/3184.19 c | 8194160 | 2327 564372 1685096 | 1 275974 72 | 0.000 % | 3184.16/3184.19 c | 8194261 | 2327 564372 1685096 | 1 276075 72 | 0.000 % | 3184.16/3184.19 c | 8197182 | 2327 564372 1685096 | 1 278996 72 | 0.000 % | 3184.16/3184.19 c | 8200528 | 2327 564372 1685096 | 1 282342 72 | 0.000 % | 3184.16/3184.19 c | 8200749 | 2327 564372 1685096 | 1 282563 72 | 0.000 % | 3184.16/3184.19 c | 8200946 | 2327 564372 1685096 | 1 282760 72 | 0.000 % | 3184.16/3184.19 c | 8201046 | 2327 564372 1685096 | 1 282860 72 | 0.000 % | 3184.16/3184.19 c | 8201146 | 2327 564372 1685096 | 1 282960 72 | 0.000 % | 3184.16/3184.19 c | 8205215 | 2327 564372 1685096 | 1 287029 73 | 0.000 % | 3184.16/3184.19 c | 8244937 | 2327 564372 1685096 | 1 326751 77 | 0.000 % | 3184.16/3184.19 c | 8245038 | 2327 564372 1685096 | 1 326852 77 | 0.000 % | 3184.16/3184.19 c | 8245289 | 2327 564372 1685096 | 1 327103 77 | 0.000 % | 3184.16/3184.19 c | 8245392 | 2327 564372 1685096 | 1 327206 77 | 0.000 % | 3184.16/3184.19 c | 8247653 | 2327 564372 1685096 | 1 329467 78 | 0.000 % | 3184.16/3184.19 c | 8247875 | 2327 564372 1685096 | 1 329689 78 | 0.000 % | 3184.16/3184.19 c | 8248037 | 2327 564372 1685096 | 1 329851 78 | 0.000 % | 3184.16/3184.19 c | 8258586 | 2327 564372 1685096 | 1 340400 79 | 0.000 % | 3184.16/3184.19 c | 8258687 | 2327 564372 1685096 | 1 340501 79 | 0.000 % | 3184.16/3184.19 c | 8258911 | 2327 564372 1685096 | 1 340725 79 | 0.000 % | 3184.16/3184.19 c | 8259013 | 2327 564372 1685096 | 1 340827 79 | 0.000 % | 3184.16/3184.19 c | 8259156 | 2327 564372 1685096 | 1 340970 79 | 0.000 % | 3184.16/3184.19 c | 8259269 | 2327 564372 1685096 | 1 341083 79 | 0.000 % | 3184.16/3184.19 c | 8262909 | 2327 564372 1685096 | 1 344723 79 | 0.000 % | 3184.16/3184.19 c | 8263010 | 2327 564372 1685096 | 1 344824 79 | 0.000 % | 3184.16/3184.19 c | 8263111 | 2327 564372 1685096 | 1 344925 79 | 0.000 % | 3184.16/3184.19 c | 8263212 | 2327 564372 1685096 | 1 345026 79 | 0.000 % | 3184.16/3184.19 c | 8263312 | 2327 564372 1685096 | 1 345126 79 | 0.000 % | 3184.16/3184.19 c | 8263577 | 2327 564372 1685096 | 1 345391 79 | 0.000 % | 3184.16/3184.19 c | 8263677 | 2327 564372 1685096 | 1 345491 79 | 0.000 % | 3184.16/3184.19 c | 8263777 | 2327 564372 1685096 | 1 345591 79 | 0.000 % | 3184.16/3184.19 c | 8264470 | 2327 564372 1685096 | 1 346284 79 | 0.000 % | 3184.16/3184.19 c | 8264570 | 2327 564372 1685096 | 1 346384 79 | 0.000 % | 3184.16/3184.19 c | 8264670 | 2327 564372 1685096 | 1 346484 79 | 0.000 % | 3184.16/3184.19 c | 8264773 | 2327 564372 1685096 | 1 346587 79 | 0.000 % | 3184.16/3184.19 c | 8264873 | 2327 564372 1685096 | 1 346687 79 | 0.000 % | 3184.16/3184.19 c | 8264989 | 2327 564372 1685096 | 1 346803 79 | 0.000 % | 3184.16/3184.19 c | 8265089 | 2327 564372 1685096 | 1 346903 79 | 0.000 % | 3184.16/3184.19 c | 8272689 | 2327 564372 1685096 | 1 354503 79 | 0.000 % | 3227.76/3227.70 c | 8272789 | 2327 564372 1685096 | 1 354603 79 | 0.000 % | 3227.76/3227.70 c | 8272892 | 2327 564372 1685096 | 1 354706 79 | 0.000 % | 3227.76/3227.70 c | 8272993 | 2327 564372 1685096 | 1 354807 79 | 0.000 % | 3227.76/3227.70 c | 8273094 | 2327 564372 1685096 | 1 354908 79 | 0.000 % | 3227.76/3227.70 c | 8273194 | 2327 564372 1685096 | 1 355008 79 | 0.000 % | 3227.76/3227.70 c | 8316935 | 2327 564372 1685096 | 1 398749 81 | 0.000 % | 3227.76/3227.70 c | 8317035 | 2327 564372 1685096 | 1 398849 81 | 0.000 % | 3227.76/3227.70 c | 8317138 | 2327 564372 1685096 | 1 398952 81 | 0.000 % | 3227.76/3227.70 c | 8317238 | 2327 564372 1685096 | 1 399052 81 | 0.000 % | 3227.76/3227.70 c | 8317340 | 2327 564372 1685096 | 1 399154 81 | 0.000 % | 3227.76/3227.70 c | 8317440 | 2327 564372 1685096 | 1 399254 81 | 0.000 % | 3227.76/3227.70 c | 8317542 | 2327 564372 1685096 | 1 399356 81 | 0.000 % | 3227.76/3227.70 c | 8317644 | 2327 564372 1685096 | 1 399458 81 | 0.000 % | 3227.76/3227.70 c | 8317744 | 2327 564372 1685096 | 1 399558 81 | 0.000 % | 3227.76/3227.70 c | 8317844 | 2327 564372 1685096 | 1 399658 81 | 0.000 % | 3227.76/3227.70 c | 8317945 | 2327 564372 1685096 | 1 399759 81 | 0.000 % | 3227.76/3227.70 c | 8318047 | 2327 564372 1685096 | 1 399861 81 | 0.000 % | 3227.76/3227.70 c | 8318149 | 2327 564372 1685096 | 1 399963 81 | 0.000 % | 3227.76/3227.70 c | 8318252 | 2327 564372 1685096 | 1 400066 81 | 0.000 % | 3227.76/3227.70 c | 8318458 | 2327 564372 1685096 | 1 400272 81 | 0.000 % | 3227.76/3227.70 c | 8318558 | 2327 564372 1685096 | 1 400372 81 | 0.000 % | 3227.76/3227.70 c | 8318661 | 2327 564372 1685096 | 1 400475 81 | 0.000 % | 3227.76/3227.70 c | 8318765 | 2327 564372 1685096 | 1 400579 81 | 0.000 % | 3227.76/3227.70 c | 8325410 | 2327 564372 1685096 | 1 407224 81 | 0.000 % | 3227.76/3227.70 c | 8328208 | 2327 564372 1685096 | 1 205820 65 | 0.000 % | 3227.76/3227.70 c | 8328309 | 2327 564372 1685096 | 1 205921 65 | 0.000 % | 3227.76/3227.70 c | 8349060 | 2327 564372 1685096 | 1 226672 69 | 0.000 % | 3227.76/3227.70 c | 8349161 | 2327 564372 1685096 | 1 226773 69 | 0.000 % | 3227.76/3227.70 c | 8349263 | 2327 564372 1685096 | 1 226875 69 | 0.000 % | 3227.76/3227.70 c | 8349363 | 2327 564372 1685096 | 1 226975 69 | 0.000 % | 3227.76/3227.70 c | 8349465 | 2327 564372 1685096 | 1 227077 69 | 0.000 % | 3227.76/3227.70 c | 8349567 | 2327 564372 1685096 | 1 227179 69 | 0.000 % | 3227.76/3227.70 c | 8349667 | 2327 564372 1685096 | 1 227279 69 | 0.000 % | 3227.76/3227.70 c | 8349768 | 2327 564372 1685096 | 1 227380 69 | 0.000 % | 3227.76/3227.70 c | 8349869 | 2327 564372 1685096 | 1 227481 69 | 0.000 % | 3227.76/3227.70 c | 8349972 | 2327 564372 1685096 | 1 227584 69 | 0.000 % | 3227.76/3227.70 c | 8350074 | 2327 564372 1685096 | 1 227686 69 | 0.000 % | 3227.76/3227.70 c | 8350177 | 2327 564372 1685096 | 1 227789 69 | 0.000 % | 3227.76/3227.70 c | 8350277 | 2327 564372 1685096 | 1 227889 69 | 0.000 % | 3227.76/3227.70 c | 8350377 | 2327 564372 1685096 | 1 227989 69 | 0.000 % | 3227.76/3227.70 c | 8351714 | 2327 564372 1685096 | 1 229326 69 | 0.000 % | 3227.76/3227.70 c | 8351892 | 2327 564372 1685096 | 1 229504 69 | 0.000 % | 3227.76/3227.70 c | 8351994 | 2327 564372 1685096 | 1 229606 69 | 0.000 % | 3227.76/3227.70 c | 8352095 | 2327 564372 1685096 | 1 229707 69 | 0.000 % | 3227.76/3227.70 c | 8352197 | 2327 564372 1685096 | 1 229809 69 | 0.000 % | 3227.76/3227.70 c | 8352297 | 2327 564372 1685096 | 1 229909 69 | 0.000 % | 3227.76/3227.70 c | 8352522 | 2327 564372 1685096 | 1 230134 69 | 0.000 % | 3227.76/3227.70 c | 8352622 | 2327 564372 1685096 | 1 230234 69 | 0.000 % | 3227.76/3227.70 c | 8352722 | 2327 564372 1685096 | 1 230334 69 | 0.000 % | 3227.76/3227.70 c | 8352823 | 2327 564372 1685096 | 1 230435 69 | 0.000 % | 3287.97/3287.96 c | 8354603 | 2327 564372 1685096 | 1 232215 70 | 0.000 % | 3287.97/3287.96 c | 8354707 | 2327 564372 1685096 | 1 232319 70 | 0.000 % | 3287.97/3287.96 c | 8358080 | 2327 564372 1685096 | 1 235692 70 | 0.000 % | 3287.97/3287.96 c | 8358181 | 2327 564372 1685096 | 1 235793 70 | 0.000 % | 3287.97/3287.96 c | 8358285 | 2327 564372 1685096 | 1 235897 70 | 0.000 % | 3287.97/3287.96 c | 8358456 | 2327 564372 1685096 | 1 236068 70 | 0.000 % | 3287.97/3287.96 c | 8358561 | 2327 564372 1685096 | 1 236173 70 | 0.000 % | 3287.97/3287.96 c | 8358665 | 2327 564372 1685096 | 1 236277 70 | 0.000 % | 3287.97/3287.96 c | 8358768 | 2327 564372 1685096 | 1 236380 70 | 0.000 % | 3287.97/3287.96 c | 8358868 | 2327 564372 1685096 | 1 236480 70 | 0.000 % | 3287.97/3287.96 c | 8358968 | 2327 564372 1685096 | 1 236580 70 | 0.000 % | 3287.97/3287.96 c | 8359069 | 2327 564372 1685096 | 1 236681 70 | 0.000 % | 3287.97/3287.96 c | 8359173 | 2327 564372 1685096 | 1 236785 70 | 0.000 % | 3287.97/3287.96 c | 8420736 | 2327 564372 1685096 | 1 298348 75 | 0.000 % | 3287.97/3287.96 c | 8420837 | 2327 564372 1685096 | 1 298449 75 | 0.000 % | 3287.97/3287.96 c | 8420939 | 2327 564372 1685096 | 1 298551 75 | 0.000 % | 3287.97/3287.96 c | 8421041 | 2327 564372 1685096 | 1 298653 75 | 0.000 % | 3287.97/3287.96 c | 8421141 | 2327 564372 1685096 | 1 298753 75 | 0.000 % | 3287.97/3287.96 c | 8421241 | 2327 564372 1685096 | 1 298853 75 | 0.000 % | 3287.97/3287.96 c | 8421344 | 2327 564372 1685096 | 1 298956 75 | 0.000 % | 3287.97/3287.96 c | 8421503 | 2327 564372 1685096 | 1 299115 75 | 0.000 % | 3287.97/3287.96 c | 8421604 | 2327 564372 1685096 | 1 299216 75 | 0.000 % | 3287.97/3287.96 c | 8421709 | 2327 564372 1685096 | 1 299321 75 | 0.000 % | 3287.97/3287.96 c | 8421809 | 2327 564372 1685096 | 1 299421 75 | 0.000 % | 3287.97/3287.96 c | 8421911 | 2327 564372 1685096 | 1 299523 75 | 0.000 % | 3287.97/3287.96 c | 8422014 | 2327 564372 1685096 | 1 299626 75 | 0.000 % | 3287.97/3287.96 c | 8422115 | 2327 564372 1685096 | 1 299727 75 | 0.000 % | 3287.97/3287.96 c | 8422217 | 2327 564372 1685096 | 1 299829 75 | 0.000 % | 3287.97/3287.96 c | 8446503 | 2327 564372 1685096 | 1 324115 77 | 0.000 % | 3287.97/3287.96 c | 8446604 | 2327 564372 1685096 | 1 324216 77 | 0.000 % | 3287.97/3287.96 c | 8446706 | 2327 564372 1685096 | 1 324318 77 | 0.000 % | 3287.97/3287.96 c | 8446807 | 2327 564372 1685096 | 1 324419 77 | 0.000 % | 3287.97/3287.96 c | 8446909 | 2327 564372 1685096 | 1 324521 77 | 0.000 % | 3287.97/3287.96 c | 8447422 | 2327 564372 1685096 | 1 325034 77 | 0.000 % | 3287.97/3287.96 c | 8447522 | 2327 564372 1685096 | 1 325134 77 | 0.000 % | 3287.97/3287.96 c | 8447623 | 2327 564372 1685096 | 1 325235 77 | 0.000 % | 3287.97/3287.96 c | 8447726 | 2327 564372 1685096 | 1 325338 77 | 0.000 % | 3287.97/3287.96 c | 8447827 | 2327 564372 1685096 | 1 325439 77 | 0.000 % | 3287.97/3287.96 c | 8447927 | 2327 564372 1685096 | 1 325539 77 | 0.000 % | 3287.97/3287.96 c | 8448027 | 2327 564372 1685096 | 1 325639 77 | 0.000 % | 3287.97/3287.96 c | 8448128 | 2327 564372 1685096 | 1 325740 77 | 0.000 % | 3287.97/3287.96 c | 8448228 | 2327 564372 1685096 | 1 325840 77 | 0.000 % | 3287.97/3287.96 c | 8448328 | 2327 564372 1685096 | 1 325940 77 | 0.000 % | 3287.97/3287.96 c | 8448431 | 2327 564372 1685096 | 1 326043 77 | 0.000 % | 3287.97/3287.96 c | 8470294 | 2327 564372 1685096 | 1 347906 79 | 0.000 % | 3287.97/3287.96 c | 8470395 | 2327 564372 1685096 | 1 348007 79 | 0.000 % | 3287.97/3287.96 c | 8470496 | 2327 564372 1685096 | 1 348108 79 | 0.000 % | 3287.97/3287.96 c | 8470596 | 2327 564372 1685096 | 1 348208 79 | 0.000 % | 3287.97/3287.96 c | 8470696 | 2327 564372 1685096 | 1 348308 79 | 0.000 % | 3287.97/3287.96 c | 8470800 | 2327 564372 1685096 | 1 348412 79 | 0.000 % | 3321.46/3321.44 c | 8470900 | 2327 564372 1685096 | 1 348512 79 | 0.000 % | 3321.46/3321.44 c | 8471005 | 2327 564372 1685096 | 1 348617 79 | 0.000 % | 3321.46/3321.44 c | 8497203 | 2327 564372 1685096 | 1 374815 79 | 0.000 % | 3321.46/3321.44 c | 8497303 | 2327 564372 1685096 | 1 374915 79 | 0.000 % | 3321.46/3321.44 c | 8497404 | 2327 564372 1685096 | 1 375016 79 | 0.000 % | 3321.46/3321.44 c | 8497505 | 2327 564372 1685096 | 1 375117 79 | 0.000 % | 3321.46/3321.44 c | 8497605 | 2327 564372 1685096 | 1 375217 79 | 0.000 % | 3321.46/3321.44 c | 8497707 | 2327 564372 1685096 | 1 375319 79 | 0.000 % | 3321.46/3321.44 c | 8497808 | 2327 564372 1685096 | 1 375420 79 | 0.000 % | 3321.46/3321.44 c | 8497912 | 2327 564372 1685096 | 1 375524 79 | 0.000 % | 3321.46/3321.44 c | 8498191 | 2327 564372 1685096 | 1 375803 79 | 0.000 % | 3321.46/3321.44 c | 8498292 | 2327 564372 1685096 | 1 375904 79 | 0.000 % | 3321.46/3321.44 c | 8502094 | 2327 564372 1685096 | 1 379706 79 | 0.000 % | 3321.46/3321.44 c | 8502195 | 2327 564372 1685096 | 1 379807 79 | 0.000 % | 3321.46/3321.44 c | 8502296 | 2327 564372 1685096 | 1 379908 79 | 0.000 % | 3321.46/3321.44 c | 8502396 | 2327 564372 1685096 | 1 380008 79 | 0.000 % | 3321.46/3321.44 c | 8502496 | 2327 564372 1685096 | 1 380108 79 | 0.000 % | 3321.46/3321.44 c | 8502927 | 2327 564372 1685096 | 1 380539 79 | 0.000 % | 3321.46/3321.44 c | 8503028 | 2327 564372 1685096 | 1 380640 79 | 0.000 % | 3321.46/3321.44 c | 8503128 | 2327 564372 1685096 | 1 380740 79 | 0.000 % | 3321.46/3321.44 c | 8503229 | 2327 564372 1685096 | 1 380841 79 | 0.000 % | 3321.46/3321.44 c | 8505678 | 2327 564372 1685096 | 1 383290 79 | 0.000 % | 3321.46/3321.44 c | 8505781 | 2327 564372 1685096 | 1 383393 79 | 0.000 % | 3321.46/3321.44 c | 8505882 | 2327 564372 1685096 | 1 383494 79 | 0.000 % | 3321.46/3321.44 c | 8505984 | 2327 564372 1685096 | 1 383596 79 | 0.000 % | 3321.46/3321.44 c | 8506084 | 2327 564372 1685096 | 1 383696 79 | 0.000 % | 3321.46/3321.44 c | 8506185 | 2327 564372 1685096 | 1 383797 79 | 0.000 % | 3321.46/3321.44 c | 8506285 | 2327 564372 1685096 | 1 383897 79 | 0.000 % | 3321.46/3321.44 c | 8506386 | 2327 564372 1685096 | 1 383998 79 | 0.000 % | 3321.46/3321.44 c | 8539462 | 2327 564372 1685096 | 1 210274 70 | 0.000 % | 3321.46/3321.44 c | 8539563 | 2327 564372 1685096 | 1 210375 70 | 0.000 % | 3321.46/3321.44 c | 8539663 | 2327 564372 1685096 | 1 210475 70 | 0.000 % | 3321.46/3321.44 c | 8539764 | 2327 564372 1685096 | 1 210576 70 | 0.000 % | 3321.46/3321.44 c | 8539865 | 2327 564372 1685096 | 1 210677 70 | 0.000 % | 3321.46/3321.44 c | 8539965 | 2327 564372 1685096 | 1 210777 70 | 0.000 % | 3321.46/3321.44 c | 8540065 | 2327 564372 1685096 | 1 210877 70 | 0.000 % | 3321.46/3321.44 c | 8540167 | 2327 564372 1685096 | 1 210979 70 | 0.000 % | 3321.46/3321.44 c | 8540267 | 2327 564372 1685096 | 1 211079 70 | 0.000 % | 3321.46/3321.44 c | 8540368 | 2327 564372 1685096 | 1 211180 70 | 0.000 % | 3321.46/3321.44 c | 8540469 | 2327 564372 1685096 | 1 211281 70 | 0.000 % | 3321.46/3321.44 c | 8540569 | 2327 564372 1685096 | 1 211381 70 | 0.000 % | 3321.46/3321.44 c | 8540669 | 2327 564372 1685096 | 1 211481 70 | 0.000 % | 3321.46/3321.44 c | 8540770 | 2327 564372 1685096 | 1 211582 71 | 0.000 % | 3321.46/3321.44 c | 8540871 | 2327 564372 1685096 | 1 211683 71 | 0.000 % | 3321.46/3321.44 c | 8540972 | 2327 564372 1685096 | 1 211784 71 | 0.000 % | 3321.46/3321.44 c | 8541072 | 2327 564372 1685096 | 1 211884 71 | 0.000 % | 3321.46/3321.44 c | 8541172 | 2327 564372 1685096 | 1 211984 71 | 0.000 % | 3321.46/3321.44 c | 8541272 | 2327 564372 1685096 | 1 212084 71 | 0.000 % | 3321.46/3321.44 c | 8541373 | 2327 564372 1685096 | 1 212185 71 | 0.000 % | 3321.46/3321.44 c | 8541473 | 2327 564372 1685096 | 1 212285 71 | 0.000 % | 3591.07/3591.02 c | 8541574 | 2327 564372 1685096 | 1 212386 71 | 0.000 % | 3591.07/3591.02 c | 8541674 | 2327 564372 1685096 | 1 212486 71 | 0.000 % | 3591.07/3591.02 c | 8541774 | 2327 564372 1685096 | 1 212586 71 | 0.000 % | 3591.07/3591.02 c | 8541876 | 2327 564372 1685096 | 1 212688 71 | 0.000 % | 3591.07/3591.02 c | 8541979 | 2327 564372 1685096 | 1 212791 71 | 0.000 % | 3591.07/3591.02 c | 8568952 | 2327 564372 1685096 | 1 239764 79 | 0.000 % | 3591.07/3591.02 c | 8569054 | 2327 564372 1685096 | 1 239866 79 | 0.000 % | 3591.07/3591.02 c | 8577706 | 2327 564372 1685096 | 1 248518 80 | 0.000 % | 3591.07/3591.02 c | 8577809 | 2327 564372 1685096 | 1 248621 80 | 0.000 % | 3591.07/3591.02 c | 8714688 | 2327 564372 1685096 | 1 385500 83 | 0.000 % | 3591.07/3591.02 c | 8714788 | 2327 564372 1685096 | 1 385600 83 | 0.000 % | 3591.07/3591.02 c | 8763466 | 2327 564372 1685096 | 1 224878 71 | 0.000 % | 3591.07/3591.02 c | 8766492 | 2327 564372 1685096 | 1 227904 71 | 0.000 % | 3591.07/3591.02 c | 8779368 | 2327 564372 1685096 | 1 240780 73 | 0.000 % | 3591.07/3591.02 c | 8779468 | 2327 564372 1685096 | 1 240880 73 | 0.000 % | 3591.07/3591.02 c | 8803366 | 2327 564372 1685096 | 1 264778 73 | 0.000 % | 3591.07/3591.02 c | 8803486 | 2327 564372 1685096 | 1 264898 73 | 0.000 % | 3591.07/3591.02 c | 8842374 | 2327 564372 1685096 | 1 303786 77 | 0.000 % | 3591.07/3591.02 c | 8855581 | 2327 564372 1685096 | 1 316993 78 | 0.000 % | 3591.07/3591.02 c | 8861027 | 2327 564372 1685096 | 1 322439 78 | 0.000 % | 3591.07/3591.02 c | 8861682 | 2327 564372 1685096 | 1 323094 78 | 0.000 % | 3591.07/3591.02 c | 8879711 | 2327 564372 1685096 | 1 341123 80 | 0.000 % | 3591.07/3591.02 c | 8880903 | 2327 564372 1685096 | 1 342315 80 | 0.000 % | 3591.07/3591.02 c | 8893501 | 2327 564372 1685096 | 1 354913 81 | 0.000 % | 3591.07/3591.02 c | 8894941 | 2327 564372 1685096 | 1 356353 81 | 0.000 % | 3591.07/3591.02 c | 8899269 | 2327 564372 1685096 | 1 360681 81 | 0.000 % | 3591.07/3591.02 c | 8903711 | 2327 564372 1685096 | 1 365123 81 | 0.000 % | 3591.07/3591.02 c | 8908382 | 2327 564372 1685096 | 1 369794 82 | 0.000 % | 3591.07/3591.02 c | 8908482 | 2327 564372 1685096 | 1 369894 82 | 0.000 % | 3591.07/3591.02 c | 9021399 | 2327 564372 1685096 | 1 270811 73 | 0.000 % | 3591.07/3591.02 c | 9021578 | 2327 564372 1685096 | 1 270990 73 | 0.000 % | 3591.07/3591.02 c | 9028176 | 2327 564372 1685096 | 1 277588 74 | 0.000 % | 3591.07/3591.02 c | 9028761 | 2327 564372 1685096 | 1 278173 74 | 0.000 % | 3591.07/3591.02 c | 9028862 | 2327 564372 1685096 | 1 278274 74 | 0.000 % | 3591.07/3591.02 c | 9071834 | 2327 564372 1685096 | 1 321246 77 | 0.000 % | 3591.07/3591.02 c | 9071934 | 2327 564372 1685096 | 1 321346 77 | 0.000 % | 3591.07/3591.02 c | 9072034 | 2327 564372 1685096 | 1 321446 77 | 0.000 % | 3591.07/3591.02 c | 9072134 | 2327 564372 1685096 | 1 321546 77 | 0.000 % | 3591.07/3591.02 c | 9072234 | 2327 564372 1685096 | 1 321646 77 | 0.000 % | 3591.07/3591.02 c | 9072336 | 2327 564372 1685096 | 1 321748 77 | 0.000 % | 3591.07/3591.02 c | 9095387 | 2327 564372 1685096 | 1 344799 78 | 0.000 % | 3591.07/3591.02 c | 9155199 | 2327 564372 1685096 | 1 404611 77 | 0.000 % | 3591.07/3591.02 c | 9155992 | 2327 564372 1685096 | 1 405404 77 | 0.000 % | 3591.07/3591.02 c | 9162462 | 2327 564372 1685096 | 1 411874 78 | 0.000 % | 3591.07/3591.02 c | 9178382 | 2327 564372 1685096 | 1 427794 79 | 0.000 % | 3591.07/3591.02 c | 9178486 | 2327 564372 1685096 | 1 427898 79 | 0.000 % | 3591.07/3591.02 c | 9181653 | 2327 564372 1685096 | 1 216467 66 | 0.000 % | 3591.07/3591.02 c | 9242136 | 2327 564372 1685096 | 1 276950 70 | 0.000 % | 3591.07/3591.02 c | 9242324 | 2327 564372 1685096 | 1 277138 70 | 0.000 % | 3591.07/3591.02 c | 9242500 | 2327 564372 1685096 | 1 277314 70 | 0.000 % | 3757.37/3757.35 c | 9244925 | 2327 564372 1685096 | 1 279739 71 | 0.000 % | 3757.37/3757.35 c | 9245027 | 2327 564372 1685096 | 1 279841 71 | 0.000 % | 3757.37/3757.35 c | 9279889 | 2327 564372 1685096 | 1 314703 76 | 0.000 % | 3757.37/3757.35 c | 9280469 | 2327 564372 1685096 | 1 315283 76 | 0.000 % | 3757.37/3757.35 c | 9280570 | 2327 564372 1685096 | 1 315384 76 | 0.000 % | 3757.37/3757.35 c | 9281936 | 2327 564372 1685096 | 1 316750 76 | 0.000 % | 3757.37/3757.35 c | 9282036 | 2327 564372 1685096 | 1 316850 76 | 0.000 % | 3757.37/3757.35 c | 9282544 | 2327 564372 1685096 | 1 317358 76 | 0.000 % | 3757.37/3757.35 c | 9290698 | 2327 564372 1685096 | 1 325512 77 | 0.000 % | 3757.37/3757.35 c | 9290800 | 2327 564372 1685096 | 1 325614 77 | 0.000 % | 3757.37/3757.35 c | 9293325 | 2327 564372 1685096 | 1 328139 77 | 0.000 % | 3757.37/3757.35 c | 9296518 | 2327 564372 1685096 | 1 331332 77 | 0.000 % | 3757.37/3757.35 c | 9296690 | 2327 564372 1685096 | 1 331504 78 | 0.000 % | 3757.37/3757.35 c | 9296790 | 2327 564372 1685096 | 1 331604 78 | 0.000 % | 3757.37/3757.35 c | 9297488 | 2327 564372 1685096 | 1 332302 78 | 0.000 % | 3757.37/3757.35 c | 9298729 | 2327 564372 1685096 | 1 333543 78 | 0.000 % | 3757.37/3757.35 c | 9299130 | 2327 564372 1685096 | 1 333944 78 | 0.000 % | 3757.37/3757.35 c | 9303449 | 2327 564372 1685096 | 1 338263 78 | 0.000 % | 3757.37/3757.35 c | 9303685 | 2327 564372 1685096 | 1 338499 78 | 0.000 % | 3757.37/3757.35 c | 9310365 | 2327 564372 1685096 | 1 345179 79 | 0.000 % | 3757.37/3757.35 c | 9310539 | 2327 564372 1685096 | 1 345353 79 | 0.000 % | 3757.37/3757.35 c | 9459717 | 2327 564372 1685096 | 1 277337 74 | 0.000 % | 3757.37/3757.35 c | 9460275 | 2327 564372 1685096 | 1 277895 74 | 0.000 % | 3757.37/3757.35 c | 9465734 | 2327 564372 1685096 | 1 283354 75 | 0.000 % | 3757.37/3757.35 c | 9465836 | 2327 564372 1685096 | 1 283456 75 | 0.000 % | 3757.37/3757.35 c | 9511826 | 2327 564372 1685096 | 1 329446 80 | 0.000 % | 3757.37/3757.35 c | 9513450 | 2327 564372 1685096 | 1 331070 80 | 0.000 % | 3757.37/3757.35 c | 9513550 | 2327 564372 1685096 | 1 331170 80 | 0.000 % | 3757.37/3757.35 c | 9513655 | 2327 564372 1685096 | 1 331275 80 | 0.000 % | 3757.37/3757.35 c | 9513756 | 2327 564372 1685096 | 1 331376 80 | 0.000 % | 3757.37/3757.35 c | 9569295 | 2327 564372 1685096 | 1 386915 84 | 0.000 % | 3757.37/3757.35 c | 9577161 | 2327 564372 1685096 | 1 394781 85 | 0.000 % | 3757.37/3757.35 c | 9577262 | 2327 564372 1685096 | 1 394882 85 | 0.000 % | 3757.37/3757.35 c | 9592010 | 2327 564372 1685096 | 1 409630 86 | 0.000 % | 3757.37/3757.35 c | 9592110 | 2327 564372 1685096 | 1 409730 86 | 0.000 % | 3757.37/3757.35 c | 9592211 | 2327 564372 1685096 | 1 409831 86 | 0.000 % | 3757.37/3757.35 c | 9592317 | 2327 564372 1685096 | 1 409937 87 | 0.000 % | 3757.37/3757.35 c | 9592420 | 2327 564372 1685096 | 1 410040 87 | 0.000 % | 3757.37/3757.35 c | 9592520 | 2327 564372 1685096 | 1 410140 87 | 0.000 % | 3757.37/3757.35 c | 9592620 | 2327 564372 1685096 | 1 410240 87 | 0.000 % | 3757.37/3757.35 c | 9615214 | 2327 564372 1685096 | 1 432834 87 | 0.000 % | 3757.37/3757.35 c | 9628703 | 2327 564372 1685096 | 1 226528 69 | 0.000 % | 3757.37/3757.35 c | 9628804 | 2327 564372 1685096 | 1 226629 69 | 0.000 % | 3757.37/3757.35 c | 9630610 | 2327 564372 1685096 | 1 228435 69 | 0.000 % | 3757.37/3757.35 c | 9630711 | 2327 564372 1685096 | 1 228536 69 | 0.000 % | 3757.37/3757.35 c | 9644708 | 2327 564372 1685096 | 1 242533 73 | 0.000 % | 3757.37/3757.35 c | 9647219 | 2327 564372 1685096 | 1 245044 74 | 0.000 % | 3757.37/3757.35 c | 9648385 | 2327 564372 1685096 | 1 246210 74 | 0.000 % | 3757.37/3757.35 c | 9670225 | 2327 564372 1685096 | 1 268050 77 | 0.000 % | 3757.37/3757.35 c | 9679158 | 2327 564372 1685096 | 1 276983 78 | 0.000 % | 3944.69/3944.69 c | 9702343 | 2327 564372 1685096 | 1 300168 81 | 0.000 % | 3944.69/3944.69 c | 9702443 | 2327 564372 1685096 | 1 300268 81 | 0.000 % | 3944.69/3944.69 c | 9750072 | 2327 564372 1685096 | 1 347897 84 | 0.000 % | 3944.69/3944.69 c | 9767783 | 2327 564372 1685096 | 1 365608 85 | 0.000 % | 3944.69/3944.69 c | 9771127 | 2327 564372 1685096 | 1 368952 85 | 0.000 % | 3944.69/3944.69 c | 9771227 | 2327 564372 1685096 | 1 369052 85 | 0.000 % | 3944.69/3944.69 c | 9774360 | 2327 564372 1685096 | 1 372185 86 | 0.000 % | 3944.69/3944.69 c | 9785258 | 2327 564372 1685096 | 1 383083 86 | 0.000 % | 3944.69/3944.69 c | 9785360 | 2327 564372 1685096 | 1 383185 87 | 0.000 % | 3944.69/3944.69 c | 9785460 | 2327 564372 1685096 | 1 383285 87 | 0.000 % | 3944.69/3944.69 c | 9818516 | 2327 564372 1685096 | 1 416341 87 | 0.000 % | 3944.69/3944.69 c | 9819098 | 2327 564372 1685096 | 1 416923 87 | 0.000 % | 3944.69/3944.69 c | 9819198 | 2327 564372 1685096 | 1 417023 87 | 0.000 % | 3944.69/3944.69 c | 9821101 | 2327 564372 1685096 | 1 418926 87 | 0.000 % | 3944.69/3944.69 c | 9821204 | 2327 564372 1685096 | 1 419029 87 | 0.000 % | 3944.69/3944.69 c | 9821309 | 2327 564372 1685096 | 1 419134 87 | 0.000 % | 3944.69/3944.69 c | 9821410 | 2327 564372 1685096 | 1 419235 87 | 0.000 % | 3944.69/3944.69 c | 9858665 | 2327 564372 1685096 | 1 234089 71 | 0.000 % | 3944.69/3944.69 c | 9877631 | 2327 564372 1685096 | 1 253055 72 | 0.000 % | 3944.69/3944.69 c | 9896031 | 2327 564372 1685096 | 1 271455 75 | 0.000 % | 3944.69/3944.69 c | 9898630 | 2327 564372 1685096 | 1 274054 75 | 0.000 % | 3944.69/3944.69 c | 9898730 | 2327 564372 1685096 | 1 274154 75 | 0.000 % | 3944.69/3944.69 c | 9898830 | 2327 564372 1685096 | 1 274254 75 | 0.000 % | 3944.69/3944.69 c | 9907798 | 2327 564372 1685096 | 1 283222 77 | 0.000 % | 3944.69/3944.69 c | 9924943 | 2327 564372 1685096 | 1 300367 78 | 0.000 % | 3944.69/3944.69 c | 9925045 | 2327 564372 1685096 | 1 300469 78 | 0.000 % | 3944.69/3944.69 c | 9967349 | 2327 564372 1685096 | 1 342773 82 | 0.000 % | 3944.69/3944.69 c | 9967449 | 2327 564372 1685096 | 1 342873 82 | 0.000 % | 3944.69/3944.69 c | 9967707 | 2327 564372 1685096 | 1 343131 82 | 0.000 % | 3944.69/3944.69 c | 10016158 | 2327 564372 1685096 | 1 391582 85 | 0.000 % | 3944.69/3944.69 c | 10016258 | 2327 564372 1685096 | 1 391682 85 | 0.000 % | 3944.69/3944.69 c | 10016874 | 2327 564372 1685096 | 1 392298 85 | 0.000 % | 3944.69/3944.69 c | 10018515 | 2327 564372 1685096 | 1 393939 85 | 0.000 % | 3944.69/3944.69 c | 10025838 | 2327 564372 1685096 | 1 401262 86 | 0.000 % | 3944.69/3944.69 c | 10025939 | 2327 564372 1685096 | 1 401363 86 | 0.000 % | 3944.69/3944.69 c | 10028400 | 2327 564372 1685096 | 1 403824 86 | 0.000 % | 3944.69/3944.69 c | 10037342 | 2327 564372 1685096 | 1 412766 86 | 0.000 % | 3944.69/3944.69 c | 10037443 | 2327 564372 1685096 | 1 412867 86 | 0.000 % | 3944.69/3944.69 c | 10037544 | 2327 564372 1685096 | 1 412968 86 | 0.000 % | 3944.69/3944.69 c | 10037644 | 2327 564372 1685096 | 1 413068 86 | 0.000 % | 3944.69/3944.69 c | 10057771 | 2327 564372 1685096 | 1 433195 88 | 0.000 % | 3944.69/3944.69 c | 10057871 | 2327 564372 1685096 | 1 433295 88 | 0.000 % | 3944.69/3944.69 c | 10059080 | 2327 564372 1685096 | 1 434504 88 | 0.000 % | 3944.69/3944.69 c | 10059181 | 2327 564372 1685096 | 1 434605 88 | 0.000 % | 3944.69/3944.69 c | 10059281 | 2327 564372 1685096 | 1 434705 88 | 0.000 % | 3944.69/3944.69 c | 10113957 | 2327 564372 1685096 | 1 264380 73 | 0.000 % | 3944.69/3944.69 c | 10114060 | 2327 564372 1685096 | 1 264483 73 | 0.000 % | 3944.69/3944.69 c | 10114160 | 2327 564372 1685096 | 1 264583 73 | 0.000 % | 3944.69/3944.69 c | 10114420 | 2327 564372 1685096 | 1 264843 73 | 0.000 % | 3944.69/3944.69 c | 10114520 | 2327 564372 1685096 | 1 264943 73 | 0.000 % | 4058.08/4058.03 c | 10114620 | 2327 564372 1685096 | 1 265043 73 | 0.000 % | 4058.08/4058.03 c | 10114848 | 2327 564372 1685096 | 1 265271 73 | 0.000 % | 4058.08/4058.03 c | 10143991 | 2327 564372 1685096 | 1 294414 76 | 0.000 % | 4058.08/4058.03 c | 10183095 | 2327 564372 1685096 | 1 333518 78 | 0.000 % | 4058.08/4058.03 c | 10183198 | 2327 564372 1685096 | 1 333621 79 | 0.000 % | 4058.08/4058.03 c | 10183416 | 2327 564372 1685096 | 1 333839 79 | 0.000 % | 4058.08/4058.03 c | 10183906 | 2327 564372 1685096 | 1 334329 79 | 0.000 % | 4058.08/4058.03 c | 10186265 | 2327 564372 1685096 | 1 336688 79 | 0.000 % | 4058.08/4058.03 c | 10210682 | 2327 564372 1685096 | 1 361105 81 | 0.000 % | 4058.08/4058.03 c | 10216463 | 2327 564372 1685096 | 1 366886 82 | 0.000 % | 4058.08/4058.03 c | 10216563 | 2327 564372 1685096 | 1 366986 82 | 0.000 % | 4058.08/4058.03 c | 10216664 | 2327 564372 1685096 | 1 367087 82 | 0.000 % | 4058.08/4058.03 c | 10219111 | 2327 564372 1685096 | 1 369534 82 | 0.000 % | 4058.08/4058.03 c | 10219212 | 2327 564372 1685096 | 1 369635 82 | 0.000 % | 4058.08/4058.03 c | 10219313 | 2327 564372 1685096 | 1 369736 82 | 0.000 % | 4058.08/4058.03 c | 10219472 | 2327 564372 1685096 | 1 369895 82 | 0.000 % | 4058.08/4058.03 c | 10219574 | 2327 564372 1685096 | 1 369997 82 | 0.000 % | 4058.08/4058.03 c | 10219675 | 2327 564372 1685096 | 1 370098 82 | 0.000 % | 4058.08/4058.03 c | 10219775 | 2327 564372 1685096 | 1 370198 82 | 0.000 % | 4058.08/4058.03 c | 10220021 | 2327 564372 1685096 | 1 370444 82 | 0.000 % | 4058.08/4058.03 c | 10227925 | 2327 564372 1685096 | 1 378348 83 | 0.000 % | 4058.08/4058.03 c | 10228185 | 2327 564372 1685096 | 1 378608 83 | 0.000 % | 4058.08/4058.03 c | 10229616 | 2327 564372 1685096 | 1 380039 83 | 0.000 % | 4058.08/4058.03 c | 10243213 | 2327 564372 1685096 | 1 393636 85 | 0.000 % | 4058.08/4058.03 c | 10244088 | 2327 564372 1685096 | 1 394511 85 | 0.000 % | 4058.08/4058.03 c | 10313108 | 2327 564372 1685096 | 1 235926 70 | 0.000 % | 4058.08/4058.03 c | 10343144 | 2327 564372 1685096 | 1 265962 74 | 0.000 % | 4058.08/4058.03 c | 10343244 | 2327 564372 1685096 | 1 266062 74 | 0.000 % | 4058.08/4058.03 c | 10346152 | 2327 564372 1685096 | 1 268970 75 | 0.000 % | 4058.08/4058.03 c | 10346254 | 2327 564372 1685096 | 1 269072 75 | 0.000 % | 4058.08/4058.03 c | 10346355 | 2327 564372 1685096 | 1 269173 75 | 0.000 % | 4058.08/4058.03 c | 10346478 | 2327 564372 1685096 | 1 269296 75 | 0.000 % | 4058.08/4058.03 c | 10346866 | 2327 564372 1685096 | 1 269684 75 | 0.000 % | 4058.08/4058.03 c | 10353462 | 2327 564372 1685096 | 1 276280 76 | 0.000 % | 4058.08/4058.03 c | 10353563 | 2327 564372 1685096 | 1 276381 76 | 0.000 % | 4058.08/4058.03 c | 10356151 | 2327 564372 1685096 | 1 278969 77 | 0.000 % | 4058.08/4058.03 c | 10358399 | 2327 564372 1685096 | 1 281217 77 | 0.000 % | 4058.08/4058.03 c | 10358499 | 2327 564372 1685096 | 1 281317 77 | 0.000 % | 4058.08/4058.03 c | 10358599 | 2327 564372 1685096 | 1 281417 77 | 0.000 % | 4058.08/4058.03 c | 10358701 | 2327 564372 1685096 | 1 281519 77 | 0.000 % | 4058.08/4058.03 c | 10358802 | 2327 564372 1685096 | 1 281620 77 | 0.000 % | 4058.08/4058.03 c | 10358902 | 2327 564372 1685096 | 1 281720 77 | 0.000 % | 4058.08/4058.03 c | 10359219 | 2327 564372 1685096 | 1 282037 77 | 0.000 % | 4058.08/4058.03 c | 10359336 | 2327 564372 1685096 | 1 282154 77 | 0.000 % | 4058.08/4058.03 c | 10362530 | 2327 564372 1685096 | 1 285348 77 | 0.000 % | 4058.08/4058.03 c | 10363169 | 2327 564372 1685096 | 1 285987 77 | 0.000 % | 4058.08/4058.03 c | 10363272 | 2327 564372 1685096 | 1 286090 77 | 0.000 % | 4058.08/4058.03 c | 10363375 | 2327 564372 1685096 | 1 286193 77 | 0.000 % | 4058.08/4058.03 c | 10370552 | 2327 564372 1685096 | 1 293370 78 | 0.000 % | 4058.08/4058.03 c | 10370663 | 2327 564372 1685096 | 1 293481 78 | 0.000 % | 4532.89/4532.87 c | 10386319 | 2327 564372 1685096 | 1 309137 79 | 0.000 % | 4532.89/4532.87 c | 10402605 | 2327 564372 1685096 | 1 325423 80 | 0.000 % | 4532.89/4532.87 c | 10402705 | 2327 564372 1685096 | 1 325523 80 | 0.000 % | 4532.89/4532.87 c | 10402807 | 2327 564372 1685096 | 1 325625 80 | 0.000 % | 4532.89/4532.87 c | 10402995 | 2327 564372 1685096 | 1 325813 80 | 0.000 % | 4532.89/4532.87 c | 10403097 | 2327 564372 1685096 | 1 325915 80 | 0.000 % | 4532.89/4532.87 c | 10443413 | 2327 564372 1685096 | 1 366231 83 | 0.000 % | 4532.89/4532.87 c | 10443514 | 2327 564372 1685096 | 1 366332 83 | 0.000 % | 4532.89/4532.87 c | 10446726 | 2327 564372 1685096 | 1 369544 83 | 0.000 % | 4532.89/4532.87 c | 10450010 | 2327 564372 1685096 | 1 372828 84 | 0.000 % | 4532.89/4532.87 c | 10462270 | 2327 564372 1685096 | 1 385088 85 | 0.000 % | 4532.89/4532.87 c | 10462370 | 2327 564372 1685096 | 1 385188 85 | 0.000 % | 4532.89/4532.87 c | 10480616 | 2327 564372 1685096 | 1 403434 86 | 0.000 % | 4532.89/4532.87 c | 10580083 | 2327 564372 1685096 | 1 272703 72 | 0.000 % | 4532.89/4532.87 c | 10580183 | 2327 564372 1685096 | 1 272803 72 | 0.000 % | 4532.89/4532.87 c | 10624946 | 2327 564372 1685096 | 1 317566 79 | 0.000 % | 4532.89/4532.87 c | 10702880 | 2327 564372 1685096 | 1 395500 93 | 0.000 % | 4532.89/4532.87 c | 10874043 | 2327 564372 1685096 | 1 333860 82 | 0.000 % | 4532.89/4532.87 c | 10874144 | 2327 564372 1685096 | 1 333961 82 | 0.000 % | 4532.89/4532.87 c | 10905170 | 2327 564372 1685096 | 1 364987 84 | 0.000 % | 4532.89/4532.87 c | 10905272 | 2327 564372 1685096 | 1 365089 84 | 0.000 % | 4532.89/4532.87 c | 10915046 | 2327 564372 1685096 | 1 374863 85 | 0.000 % | 4532.89/4532.87 c | 11007108 | 2327 564372 1685096 | 1 466925 90 | 0.000 % | 4532.89/4532.87 c | 11149203 | 2327 564372 1685096 | 1 373618 78 | 0.000 % | 4532.89/4532.87 c | 11239642 | 2327 564372 1685096 | 1 464057 79 | 0.000 % | 4532.89/4532.87 c | 11299160 | 2327 564372 1685096 | 1 285573 68 | 0.000 % | 4532.89/4532.87 c | 11302050 | 2327 564372 1685096 | 1 288463 68 | 0.000 % | 4532.89/4532.87 c | 11385738 | 2327 564372 1685096 | 1 372151 73 | 0.000 % | 4532.89/4532.87 c | 11385839 | 2327 564372 1685096 | 1 372252 73 | 0.000 % | 4532.89/4532.87 c | 11388707 | 2327 564372 1685096 | 1 375120 73 | 0.000 % | 4532.89/4532.87 c | 11388823 | 2327 564372 1685096 | 1 375236 73 | 0.000 % | 4532.89/4532.87 c | 11419975 | 2327 564372 1685096 | 1 406388 76 | 0.000 % | 4532.89/4532.87 c | 11420076 | 2327 564372 1685096 | 1 406489 76 | 0.000 % | 4532.89/4532.87 c | 11451175 | 2327 564372 1685096 | 1 437588 78 | 0.000 % | 4532.89/4532.87 c | 11451275 | 2327 564372 1685096 | 1 437688 78 | 0.000 % | 4532.89/4532.87 c | 11451529 | 2327 564372 1685096 | 1 437942 78 | 0.000 % | 4532.89/4532.87 c | 11451630 | 2327 564372 1685096 | 1 438043 78 | 0.000 % | 4532.89/4532.87 c | 11451730 | 2327 564372 1685096 | 1 438143 79 | 0.000 % | 4532.89/4532.87 c | 11451832 | 2327 564372 1685096 | 1 438245 79 | 0.000 % | 4532.89/4532.87 c | 11451932 | 2327 564372 1685096 | 1 438345 79 | 0.000 % | 4532.89/4532.87 c | 11452034 | 2327 564372 1685096 | 1 438447 79 | 0.000 % | 4532.89/4532.87 c | 11452134 | 2327 564372 1685096 | 1 438547 79 | 0.000 % | 4532.89/4532.87 c | 11452234 | 2327 564372 1685096 | 1 438647 79 | 0.000 % | 4532.89/4532.87 c | 11452336 | 2327 564372 1685096 | 1 438749 79 | 0.000 % | 4532.89/4532.87 c | 11452436 | 2327 564372 1685096 | 1 438849 79 | 0.000 % | 4532.89/4532.87 c | 11452538 | 2327 564372 1685096 | 1 438951 79 | 0.000 % | 4532.89/4532.87 c | 11452639 | 2327 564372 1685096 | 1 439052 79 | 0.000 % | 4532.89/4532.87 c | 11452739 | 2327 564372 1685096 | 1 439152 79 | 0.000 % | 4532.89/4532.87 c | 11452839 | 2327 564372 1685096 | 1 439252 79 | 0.000 % | 4532.89/4532.87 c | 11452943 | 2327 564372 1685096 | 1 439356 79 | 0.000 % | 4687.49/4687.49 c | 11453044 | 2327 564372 1685096 | 1 439457 79 | 0.000 % | 4687.49/4687.49 c | 11453458 | 2327 564372 1685096 | 1 439871 79 | 0.000 % | 4687.49/4687.49 c | 11453558 | 2327 564372 1685096 | 1 439971 79 | 0.000 % | 4687.49/4687.49 c | 11453659 | 2327 564372 1685096 | 1 440072 79 | 0.000 % | 4687.49/4687.49 c | 11454186 | 2327 564372 1685096 | 1 440599 79 | 0.000 % | 4687.49/4687.49 c | 11475313 | 2327 564372 1685096 | 1 461726 80 | 0.000 % | 4687.49/4687.49 c | 11476245 | 2327 564372 1685096 | 1 462658 80 | 0.000 % | 4687.49/4687.49 c | 11478154 | 2327 564372 1685096 | 1 464567 80 | 0.000 % | 4687.49/4687.49 c | 11479979 | 2327 564372 1685096 | 1 466392 80 | 0.000 % | 4687.49/4687.49 c | 11480086 | 2327 564372 1685096 | 1 466499 80 | 0.000 % | 4687.49/4687.49 c | 11497183 | 2327 564372 1685096 | 1 243005 67 | 0.000 % | 4687.49/4687.49 c | 11497283 | 2327 564372 1685096 | 1 243105 67 | 0.000 % | 4687.49/4687.49 c | 11519623 | 2327 564372 1685096 | 1 265445 69 | 0.000 % | 4687.49/4687.49 c | 11519727 | 2327 564372 1685096 | 1 265549 69 | 0.000 % | 4687.49/4687.49 c | 11520069 | 2327 564372 1685096 | 1 265891 69 | 0.000 % | 4687.49/4687.49 c | 11526041 | 2327 564372 1685096 | 1 271863 69 | 0.000 % | 4687.49/4687.49 c | 11528350 | 2327 564372 1685096 | 1 274172 69 | 0.000 % | 4687.49/4687.49 c | 11531600 | 2327 564372 1685096 | 1 277422 69 | 0.000 % | 4687.49/4687.49 c | 11531700 | 2327 564372 1685096 | 1 277522 69 | 0.000 % | 4687.49/4687.49 c | 11601303 | 2327 564372 1685096 | 1 347125 72 | 0.000 % | 4687.49/4687.49 c | 11602066 | 2327 564372 1685096 | 1 347888 72 | 0.000 % | 4687.49/4687.49 c | 11602166 | 2327 564372 1685096 | 1 347988 72 | 0.000 % | 4687.49/4687.49 c | 11602266 | 2327 564372 1685096 | 1 348088 72 | 0.000 % | 4687.49/4687.49 c | 11602366 | 2327 564372 1685096 | 1 348188 72 | 0.000 % | 4687.49/4687.49 c | 11603291 | 2327 564372 1685096 | 1 349113 72 | 0.000 % | 4687.49/4687.49 c | 11604664 | 2327 564372 1685096 | 1 350486 72 | 0.000 % | 4687.49/4687.49 c | 11616808 | 2327 564372 1685096 | 1 362630 73 | 0.000 % | 4687.49/4687.49 c | 11616933 | 2327 564372 1685096 | 1 362755 73 | 0.000 % | 4687.49/4687.49 c | 11617146 | 2327 564372 1685096 | 1 362968 73 | 0.000 % | 4687.49/4687.49 c | 11617442 | 2327 564372 1685096 | 1 363264 73 | 0.000 % | 4687.49/4687.49 c | 11617542 | 2327 564372 1685096 | 1 363364 73 | 0.000 % | 4687.49/4687.49 c | 11617644 | 2327 564372 1685096 | 1 363466 73 | 0.000 % | 4687.49/4687.49 c | 11617744 | 2327 564372 1685096 | 1 363566 73 | 0.000 % | 4687.49/4687.49 c | 11617848 | 2327 564372 1685096 | 1 363670 73 | 0.000 % | 4687.49/4687.49 c | 11617949 | 2327 564372 1685096 | 1 363771 74 | 0.000 % | 4687.49/4687.49 c | 11635420 | 2327 564372 1685096 | 1 381242 74 | 0.000 % | 4687.49/4687.49 c | 11635522 | 2327 564372 1685096 | 1 381344 74 | 0.000 % | 4687.49/4687.49 c | 11635622 | 2327 564372 1685096 | 1 381444 74 | 0.000 % | 4687.49/4687.49 c | 11635839 | 2327 564372 1685096 | 1 381661 74 | 0.000 % | 4687.49/4687.49 c | 11650339 | 2327 564372 1685096 | 1 396161 74 | 0.000 % | 4687.49/4687.49 c | 11650440 | 2327 564372 1685096 | 1 396262 74 | 0.000 % | 4687.49/4687.49 c | 11650540 | 2327 564372 1685096 | 1 396362 74 | 0.000 % | 4687.49/4687.49 c | 11650642 | 2327 564372 1685096 | 1 396464 74 | 0.000 % | 4687.49/4687.49 c | 11652599 | 2327 564372 1685096 | 1 398421 74 | 0.000 % | 4687.49/4687.49 c | 11677751 | 2327 564372 1685096 | 1 423573 77 | 0.000 % | 4687.49/4687.49 c | 11677851 | 2327 564372 1685096 | 1 423673 77 | 0.000 % | 4687.49/4687.49 c | 11679785 | 2327 564372 1685096 | 1 425607 78 | 0.000 % | 4687.49/4687.49 c | 11683903 | 2327 564372 1685096 | 1 429725 78 | 0.000 % | 4687.49/4687.49 c | 11684003 | 2327 564372 1685096 | 1 429825 78 | 0.000 % | 4687.49/4687.49 c | 11734455 | 2327 564372 1685096 | 1 480277 79 | 0.000 % | 4970.80/4970.72 c | 11809079 | 2327 564372 1685096 | 1 311697 68 | 0.000 % | 4970.80/4970.72 c | 11816720 | 2327 564372 1685096 | 1 319338 68 | 0.000 % | 4970.80/4970.72 c | 11818802 | 2327 564372 1685096 | 1 321420 69 | 0.000 % | 4970.80/4970.72 c | 11838533 | 2327 564372 1685096 | 1 341151 70 | 0.000 % | 4970.80/4970.72 c | 11838635 | 2327 564372 1685096 | 1 341253 70 | 0.000 % | 4970.80/4970.72 c | 11856263 | 2327 564372 1685096 | 1 358881 72 | 0.000 % | 4970.80/4970.72 c | 11883448 | 2327 564372 1685096 | 1 386066 74 | 0.000 % | 4970.80/4970.72 c | 11883760 | 2327 564372 1685096 | 1 386378 74 | 0.000 % | 4970.80/4970.72 c | 11883860 | 2327 564372 1685096 | 1 386478 74 | 0.000 % | 4970.80/4970.72 c | 11925308 | 2327 564372 1685096 | 1 427926 76 | 0.000 % | 4970.80/4970.72 c | 11968445 | 2327 564372 1685096 | 1 471063 77 | 0.000 % | 4970.80/4970.72 c | 11968585 | 2327 564372 1685096 | 1 471203 77 | 0.000 % | 4970.80/4970.73 c | 11968686 | 2327 564372 1685096 | 1 471304 77 | 0.000 % | 4970.80/4970.73 c | 11968786 | 2327 564372 1685096 | 1 471404 77 | 0.000 % | 4970.80/4970.73 c | 11969046 | 2327 564372 1685096 | 1 471664 77 | 0.000 % | 4970.80/4970.73 c | 11978592 | 2327 564372 1685096 | 1 481210 77 | 0.000 % | 4970.80/4970.73 c | 11994294 | 2327 564372 1685096 | 1 251110 66 | 0.000 % | 4970.80/4970.73 c | 11994396 | 2327 564372 1685096 | 1 251212 66 | 0.000 % | 4970.80/4970.73 c | 11998026 | 2327 564372 1685096 | 1 254842 67 | 0.000 % | 4970.80/4970.73 c | 12034580 | 2327 564372 1685096 | 1 291396 72 | 0.000 % | 4970.80/4970.73 c | 12034680 | 2327 564372 1685096 | 1 291496 72 | 0.000 % | 4970.80/4970.73 c | 12061446 | 2327 564372 1685096 | 1 318262 76 | 0.000 % | 4970.80/4970.73 c | 12061548 | 2327 564372 1685096 | 1 318364 76 | 0.000 % | 4970.80/4970.73 c | 12061689 | 2327 564372 1685096 | 1 318505 76 | 0.000 % | 4970.80/4970.73 c | 12061793 | 2327 564372 1685096 | 1 318609 76 | 0.000 % | 4970.80/4970.73 c | 12061895 | 2327 564372 1685096 | 1 318711 76 | 0.000 % | 4970.80/4970.73 c | 12061999 | 2327 564372 1685096 | 1 318815 76 | 0.000 % | 4970.80/4970.73 c | 12062099 | 2327 564372 1685096 | 1 318915 76 | 0.000 % | 4970.80/4970.73 c | 12062199 | 2327 564372 1685096 | 1 319015 76 | 0.000 % | 4970.80/4970.73 c | 12062682 | 2327 564372 1685096 | 1 319498 76 | 0.000 % | 4970.80/4970.73 c | 12062783 | 2327 564372 1685096 | 1 319599 76 | 0.000 % | 4970.80/4970.73 c | 12062884 | 2327 564372 1685096 | 1 319700 76 | 0.000 % | 4970.80/4970.73 c | 12089840 | 2327 564372 1685096 | 1 346656 78 | 0.000 % | 4970.80/4970.73 c | 12090654 | 2327 564372 1685096 | 1 347470 78 | 0.000 % | 4970.80/4970.73 c | 12090756 | 2327 564372 1685096 | 1 347572 78 | 0.000 % | 4970.80/4970.73 c | 12092282 | 2327 564372 1685096 | 1 349098 78 | 0.000 % | 4970.80/4970.73 c | 12115819 | 2327 564372 1685096 | 1 372635 79 | 0.000 % | 4970.80/4970.73 c | 12168636 | 2327 564372 1685096 | 1 425452 82 | 0.000 % | 4970.80/4970.73 c | 12202131 | 2327 564372 1685096 | 1 458947 85 | 0.000 % | 4970.80/4970.73 c | 12223721 | 2327 564372 1685096 | 1 480537 86 | 0.000 % | 4970.80/4970.73 c | 12223822 | 2327 564372 1685096 | 1 480638 86 | 0.000 % | 4970.80/4970.73 c | 12224430 | 2327 564372 1685096 | 1 481246 86 | 0.000 % | 4970.80/4970.73 c | 12224532 | 2327 564372 1685096 | 1 481348 86 | 0.000 % | 4970.80/4970.73 c | 12241573 | 2327 564372 1685096 | 1 249989 68 | 0.000 % | 4970.80/4970.73 c | 12241675 | 2327 564372 1685096 | 1 250091 68 | 0.000 % | 4970.80/4970.73 c | 12241776 | 2327 564372 1685096 | 1 250192 68 | 0.000 % | 4970.80/4970.73 c | 12243191 | 2327 564372 1685096 | 1 251607 68 | 0.000 % | 4970.80/4970.73 c | 12243292 | 2327 564372 1685096 | 1 251708 68 | 0.000 % | 4970.80/4970.73 c | 12243395 | 2327 564372 1685096 | 1 251811 68 | 0.000 % |
ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected) Got answer: <no 's ' line found>
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.0 (svn: 977) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3303622-1306951109/watcher-3303622-1306951109 -o /tmp/evaluation-result-3303622-1306951109/solver-3303622-1306951109 -C 5000 -W 5100 -M 15500 glucose.sh HOME/instance-3303622-1306951109.cnf running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 5000 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 5030 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 2/401 13370 /proc/meminfo: memFree=30394056/32950904 swapFree=56615552/67111528 [pid=13370] ppid=13368 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/13370/stat : 13370 (glucose.sh) S 13368 13370 12183 0 -1 4202496 333 0 0 0 0 0 0 0 21 0 1 0 806710634 8912896 252 33554432000 4194304 4922060 140733648093856 18446744073709551615 237278698629 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/13370/statm: 2176 252 211 178 0 69 0 [startup+0.061767 s] /proc/loadavg: 1.00 1.00 1.00 2/401 13370 /proc/meminfo: memFree=30394056/32950904 swapFree=56615552/67111528 [pid=13370] ppid=13368 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/13370/stat : 13370 (glucose.sh) S 13368 13370 12183 0 -1 4202496 333 0 0 0 0 0 0 0 21 0 1 0 806710634 8912896 252 33554432000 4194304 4922060 140733648093856 18446744073709551615 237278698629 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/13370/statm: 2176 252 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+0.10075 s] /proc/loadavg: 1.00 1.00 1.00 2/401 13370 /proc/meminfo: memFree=30394056/32950904 swapFree=56615552/67111528 [pid=13370] ppid=13368 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/13370/stat : 13370 (glucose.sh) S 13368 13370 12183 0 -1 4202496 333 0 0 0 0 0 0 0 21 0 1 0 806710634 8912896 252 33554432000 4194304 4922060 140733648093856 18446744073709551615 237278698629 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/13370/statm: 2176 252 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+0.300715 s] /proc/loadavg: 1.00 1.00 1.00 2/401 13370 /proc/meminfo: memFree=30394056/32950904 swapFree=56615552/67111528 [pid=13370] ppid=13368 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/13370/stat : 13370 (glucose.sh) S 13368 13370 12183 0 -1 4202496 333 0 0 0 0 0 0 0 21 0 1 0 806710634 8912896 252 33554432000 4194304 4922060 140733648093856 18446744073709551615 237278698629 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/13370/statm: 2176 252 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+0.700638 s] /proc/loadavg: 1.00 1.00 1.00 2/401 13370 /proc/meminfo: memFree=30394056/32950904 swapFree=56615552/67111528 [pid=13370] ppid=13368 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/13370/stat : 13370 (glucose.sh) S 13368 13370 12183 0 -1 4202496 333 0 0 0 0 0 0 0 21 0 1 0 806710634 8912896 252 33554432000 4194304 4922060 140733648093856 18446744073709551615 237278698629 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/13370/statm: 2176 252 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+1.50049 s] /proc/loadavg: 1.08 1.02 1.01 3/403 13373 /proc/meminfo: memFree=30341836/32950904 swapFree=56615552/67111528 [pid=13370] ppid=13368 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/13370/stat : 13370 (glucose.sh) S 13368 13370 12183 0 -1 4202496 333 0 0 0 0 0 0 0 21 0 1 0 806710634 8912896 252 33554432000 4194304 4922060 140733648093856 18446744073709551615 237278698629 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/13370/statm: 2176 252 211 178 0 69 0 [pid=13371] ppid=13370 vsize=53480 CPUtime=1.49 cores=1,3,5,7 /proc/13371/stat : 13371 (SatELite_releas) R 13370 13370 12183 0 -1 4202496 10815 0 0 0 147 2 0 0 25 0 1 0 806710634 54763520 10770 33554432000 134512640 135144242 4290303216 18446744073709551615 134588904 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/13371/statm: 13370 10770 77 155 0 13213 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 62184 [startup+3.1003 s] /proc/loadavg: 1.08 1.02 1.01 3/403 13373 /proc/meminfo: memFree=30330428/32950904 swapFree=56615552/67111528 [pid=13370] ppid=13368 vsize=8704 CPUtime=2.54 cores=1,3,5,7 /proc/13370/stat : 13370 (glucose.sh) S 13368 13370 12183 0 -1 4202496 360 10817 0 0 0 0 251 3 18 0 1 0 806710634 8912896 254 33554432000 4194304 4922060 140733648093856 18446744073709551615 237278698629 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/13370/statm: 2176 254 211 178 0 69 0 Current children cumulated CPU time (s) 2.54 Current children cumulated vsize (KiB) 8704 [startup+6.3007 s] /proc/loadavg: 1.08 1.02 1.01 3/403 13374 /proc/meminfo: memFree=30316184/32950904 swapFree=56615552/67111528 [pid=13370] ppid=13368 vsize=8704 CPUtime=2.54 cores=1,3,5,7 /proc/13370/stat : 13370 (glucose.sh) S 13368 13370 12183 0 -1 4202496 360 10817 0 0 0 0 251 3 18 0 1 0 806710634 8912896 254 33554432000 4194304 4922060 140733648093856 18446744073709551615 237278698629 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/13370/statm: 2176 254 211 178 0 69 0 [pid=13374] ppid=13370 vsize=61020 CPUtime=3.74 cores=1,3,5,7 /proc/13374/stat : 13374 (glucose_static) R 13370 13370 12183 0 -1 4202496 16464 0 0 0 372 2 0 0 25 0 1 0 806710889 62484480 9398 33554432000 4194304 4260849 140736039424176 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/13374/statm: 15255 9398 240 17 0 11896 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 69724 [startup+12.7006 s] /proc/loadavg: 1.22 1.05 1.02 3/403 13374 /proc/meminfo: memFree=30259428/32950904 swapFree=56615552/67111528 [pid=13370] ppid=13368 vsize=8704 CPUtime=2.54 cores=1,3,5,7 /proc/13370/stat : 13370 (glucose.sh) S 13368 13370 12183 0 -1 4202496 360 10817 0 0 0 0 251 3 18 0 1 0 806710634 8912896 254 33554432000 4194304 4922060 140733648093856 18446744073709551615 237278698629 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/13370/statm: 2176 254 211 178 0 69 0 [pid=13374] ppid=13370 vsize=98700 CPUtime=10.14 cores=1,3,5,7 /proc/13374/stat : 13374 (glucose_static) R 13370 13370 12183 0 -1 4202496 35591 0 0 0 1010 4 0 0 25 0 1 0 806710889 101068800 21337 33554432000 4194304 4260849 140736039424176 18446744073709551615 4209332 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/13374/statm: 24675 21337 250 17 0 21316 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 107404 [startup+25.5003 s] /proc/loadavg: 1.34 1.08 1.02 3/403 13374 /proc/meminfo: memFree=30257680/32950904 swapFree=56615552/67111528 [pid=13370] ppid=13368 vsize=8704 CPUtime=2.54 cores=1,3,5,7 /proc/13370/stat : 13370 (glucose.sh) S 13368 13370 12183 0 -1 4202496 360 10817 0 0 0 0 251 3 18 0 1 0 806710634 8912896 254 33554432000 4194304 4922060 140733648093856 18446744073709551615 237278698629 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/13370/statm: 2176 254 211 178 0 69 0 [pid=13374] ppid=13370 vsize=80024 CPUtime=22.93 cores=1,3,5,7 /proc/13374/stat : 13374 (glucose_static) R 13370 13370 12183 0 -1 4202496 70579 0 0 0 2285 8 0 0 25 0 1 0 806710889 81944576 16809 33554432000 4194304 4260849 140736039424176 18446744073709551615 4224885 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/13374/statm: 20006 16809 252 17 0 16647 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 88728 [startup+51.1007 s] /proc/loadavg: 1.64 1.17 1.05 3/403 13375 /proc/meminfo: memFree=30216188/32950904 swapFree=56615552/67111528 [pid=13370] ppid=13368 vsize=8704 CPUtime=2.54 cores=1,3,5,7 /proc/13370/stat : 13370 (glucose.sh) S 13368 13370 12183 0 -1 4202496 360 10817 0 0 0 0 251 3 18 0 1 0 806710634 8912896 254 33554432000 4194304 4922060 140733648093856 18446744073709551615 237278698629 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/13370/statm: 2176 254 211 178 0 69 0 [pid=13374] ppid=13370 vsize=129344 CPUtime=48.54 cores=1,3,5,7 /proc/13374/stat : 13374 (glucose_static) R 13370 13370 12183 0 -1 4202496 116170 0 0 0 4840 14 0 0 25 0 1 0 806710889 132448256 25251 33554432000 4194304 4260849 140736039424176 18446744073709551615 4238067 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/13374/statm: 32336 25251 252 17 0 28977 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 138048 [startup+102.316 s] /proc/loadavg: 1.95 1.33 1.12 3/403 13376 /proc/meminfo: memFree=30179720/32950904 swapFree=56615552/67111528 [pid=13370] ppid=13368 vsize=8704 CPUtime=2.54 cores=1,3,5,7 /proc/13370/stat : 13370 (glucose.sh) S 13368 13370 12183 0 -1 4202496 360 10817 0 0 0 0 251 3 18 0 1 0 806710634 8912896 254 33554432000 4194304 4922060 140733648093856 18446744073709551615 237278698629 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/13370/statm: 2176 254 211 178 0 69 0 [pid=13374] ppid=13370 vsize=160164 CPUtime=99.75 cores=1,3,5,7 /proc/13374/stat : 13374 (glucose_static) R 13370 13370 12183 0 -1 4202496 181667 0 0 0 9950 25 0 0 25 0 1 0 806710889 164007936 29154 33554432000 4194304 4260849 140736039424176 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/13374/statm: 40041 29154 252 17 0 36682 0 Current children cumulated CPU time (s) 102.29 Current children cumulated vsize (KiB) 168868 [startup+162.301 s] /proc/loadavg: 1.98 1.45 1.17 3/403 13387 /proc/meminfo: memFree=30132460/32950904 swapFree=56615552/67111528 [pid=13370] ppid=13368 vsize=8704 CPUtime=2.54 cores=1,3,5,7 /proc/13370/stat : 13370 (glucose.sh) S 13368 13370 12183 0 -1 4202496 360 10817 0 0 0 0 251 3 18 0 1 0 806710634 8912896 254 33554432000 4194304 4922060 140733648093856 18446744073709551615 237278698629 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/13370/statm: 2176 254 211 178 0 69 0 [pid=13374] ppid=13370 vsize=160164 CPUtime=159.74 cores=1,3,5,7 /proc/13374/stat : 13374 (glucose_static) R 13370 13370 12183 0 -1 4202496 257381 0 0 0 15936 38 0 0 25 0 1 0 806710889 164007936 31445 33554432000 4194304 4260849 140736039424176 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/13374/statm: 40041 31445 252 17 0 36682 0 Current children cumulated CPU time (s) 162.28 Current children cumulated vsize (KiB) 168868 [startup+222.301 s] /proc/loadavg: 1.99 1.55 1.22 3/403 13389 /proc/meminfo: memFree=30133436/32950904 swapFree=56615552/67111528 [pid=13370] ppid=13368 vsize=8704 CPUtime=2.54 cores=1,3,5,7 /proc/13370/stat : 13370 (glucose.sh) S 13368 13370 12183 0 -1 4202496 360 10817 0 0 0 0 251 3 18 0 1 0 806710634 8912896 254 33554432000 4194304 4922060 140733648093856 18446744073709551615 237278698629 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/13370/statm: 2176 254 211 178 0 69 0 [pid=13374] ppid=13370 vsize=160164 CPUtime=219.75 cores=1,3,5,7 /proc/13374/stat : 13374 (glucose_static) R 13370 13370 12183 0 -1 4202496 328704 0 0 0 21925 50 0 0 25 0 1 0 806710889 164007936 30397 33554432000 4194304 4260849 140736039424176 18446744073709551615 4224875 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/13374/statm: 40041 30397 252 17 0 36682 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 168868 [startup+282.301 s] /proc/loadavg: 1.99 1.63 1.26 3/403 13390 /proc/meminfo: memFree=30132664/32950904 swapFree=56615552/67111528 [pid=13370] ppid=13368 vsize=8704 CPUtime=2.54 cores=1,3,5,7 /proc/13370/stat : 13370 (glucose.sh) S 13368 13370 12183 0 -1 4202496 360 10817 0 0 0 0 251 3 18 0 1 0 806710634 8912896 254 33554432000 4194304 4922060 140733648093856 18446744073709551615 237278698629 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/13370/statm: 2176 254 211 178 0 69 0 [pid=13374] ppid=13370 vsize=129344 CPUtime=279.75 cores=1,3,5,7 /proc/13374/stat : 13374 (glucose_static) R 13370 13370 12183 0 -1 4202496 384408 0 0 0 27916 59 0 0 25 0 1 0 806710889 132448256 28741 33554432000 4194304 4260849 140736039424176 18446744073709551615 4224875 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/13374/statm: 32336 28741 252 17 0 28977 0 Current children cumulated CPU time (s) 282.29 Current children cumulated vsize (KiB) 138048 [startup+342.301 s] /proc/loadavg: 1.99 1.69 1.31 3/403 13395 /proc/meminfo: memFree=30133356/32950904 swapFree=56615552/67111528 [pid=13370] ppid=13368 vsize=8704 CPUtime=2.54 cores=1,3,5,7 /proc/13370/stat : 13370 (glucose.sh) S 13368 13370 12183 0 -1 4202496 360 10817 0 0 0 0 251 3 18 0 1 0 806710634 8912896 254 33554432000 4194304 4922060 140733648093856 18446744073709551615 237278698629 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/13370/statm: 2176 254 211 178 0 69 0 [pid=13374] ppid=13370 vsize=129344 CPUtime=339.75 cores=1,3,5,7 /proc/13374/stat : 13374 (glucose_static) R 13370 13370 12183 0 -1 4202496 441477 0 0 0 33905 70 0 0 25 0 1 0 806710889 132448256 27654 33554432000 4194304 4260849 140736039424176 18446744073709551615 4224445 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/13374/statm: 32336 27654 252 17 0 28977 0 Current children cumulated CPU time (s) 342.29 Current children cumulated vsize (KiB) 138048 [startup+402.301 s] /proc/loadavg: 1.99 1.75 1.35 3/403 13396 /proc/meminfo: memFree=30153256/32950904 swapFree=56615552/67111528 [pid=13370] ppid=13368 vsize=8704 CPUtime=2.54 cores=1,3,5,7 /proc/13370/stat : 13370 (glucose.sh) S 13368 13370 12183 0 -1 4202496 360 10817 0 0 0 0 251 3 18 0 1 0 806710634 8912896 254 33554432000 4194304 4922060 140733648093856 18446744073709551615 237278698629 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/13370/statm: 2176 254 211 178 0 69 0 [pid=13374] ppid=13370 vsize=160164 CPUtime=399.75 cores=1,3,5,7 ################ # More data... # ################ /proc/13374/statm: 87967 76697 252 17 0 84608 0 Current children cumulated CPU time (s) 4362.39 Current children cumulated vsize (KiB) 360572 [startup+4422.3 s] /proc/loadavg: 2.00 2.01 2.00 3/403 13516 /proc/meminfo: memFree=29807728/32950904 swapFree=56615552/67111528 [pid=13370] ppid=13368 vsize=8704 CPUtime=2.54 cores=1,3,5,7 /proc/13370/stat : 13370 (glucose.sh) S 13368 13370 12183 0 -1 4202496 360 10817 0 0 0 0 251 3 18 0 1 0 806710634 8912896 254 33554432000 4194304 4922060 140733648093856 18446744073709551615 237278698629 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/13370/statm: 2176 254 211 178 0 69 0 [pid=13374] ppid=13370 vsize=434876 CPUtime=4419.85 cores=1,3,5,7 /proc/13374/stat : 13374 (glucose_static) R 13370 13370 12183 0 -1 4202496 2411437 0 0 0 441504 481 0 0 25 0 1 0 806710889 445313024 86983 33554432000 4194304 4260849 140736039424176 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/13374/statm: 108719 86983 252 17 0 105360 0 Current children cumulated CPU time (s) 4422.39 Current children cumulated vsize (KiB) 443580 [startup+4482.3 s] /proc/loadavg: 2.07 2.02 2.00 3/403 13517 /proc/meminfo: memFree=29826156/32950904 swapFree=56615552/67111528 [pid=13370] ppid=13368 vsize=8704 CPUtime=2.54 cores=1,3,5,7 /proc/13370/stat : 13370 (glucose.sh) S 13368 13370 12183 0 -1 4202496 360 10817 0 0 0 0 251 3 18 0 1 0 806710634 8912896 254 33554432000 4194304 4922060 140733648093856 18446744073709551615 237278698629 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/13370/statm: 2176 254 211 178 0 69 0 [pid=13374] ppid=13370 vsize=354344 CPUtime=4479.85 cores=1,3,5,7 /proc/13374/stat : 13374 (glucose_static) R 13370 13370 12183 0 -1 4202496 2442720 0 0 0 447498 487 0 0 25 0 1 0 806710889 362848256 76664 33554432000 4194304 4260849 140736039424176 18446744073709551615 4224885 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/13374/statm: 88586 76664 252 17 0 85227 0 Current children cumulated CPU time (s) 4482.39 Current children cumulated vsize (KiB) 363048 [startup+4542.3 s] /proc/loadavg: 2.08 2.03 2.00 3/403 13519 /proc/meminfo: memFree=29818640/32950904 swapFree=56615552/67111528 [pid=13370] ppid=13368 vsize=8704 CPUtime=2.54 cores=1,3,5,7 /proc/13370/stat : 13370 (glucose.sh) S 13368 13370 12183 0 -1 4202496 360 10817 0 0 0 0 251 3 18 0 1 0 806710634 8912896 254 33554432000 4194304 4922060 140733648093856 18446744073709551615 237278698629 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/13370/statm: 2176 254 211 178 0 69 0 [pid=13374] ppid=13370 vsize=438144 CPUtime=4539.85 cores=1,3,5,7 /proc/13374/stat : 13374 (glucose_static) R 13370 13370 12183 0 -1 4202496 2454470 0 0 0 453494 491 0 0 25 0 1 0 806710889 448659456 88305 33554432000 4194304 4260849 140736039424176 18446744073709551615 4225142 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/13374/statm: 109536 88305 252 17 0 106177 0 Current children cumulated CPU time (s) 4542.39 Current children cumulated vsize (KiB) 446848 [startup+4602.3 s] /proc/loadavg: 2.14 2.05 2.01 3/403 13520 /proc/meminfo: memFree=29848948/32950904 swapFree=56615552/67111528 [pid=13370] ppid=13368 vsize=8704 CPUtime=2.54 cores=1,3,5,7 /proc/13370/stat : 13370 (glucose.sh) S 13368 13370 12183 0 -1 4202496 360 10817 0 0 0 0 251 3 18 0 1 0 806710634 8912896 254 33554432000 4194304 4922060 140733648093856 18446744073709551615 237278698629 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/13370/statm: 2176 254 211 178 0 69 0 [pid=13374] ppid=13370 vsize=357656 CPUtime=4599.86 cores=1,3,5,7 /proc/13374/stat : 13374 (glucose_static) R 13370 13370 12183 0 -1 4202496 2484311 0 0 0 459489 497 0 0 25 0 1 0 806710889 366239744 75051 33554432000 4194304 4260849 140736039424176 18446744073709551615 4238067 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/13374/statm: 89414 75051 252 17 0 86055 0 Current children cumulated CPU time (s) 4602.4 Current children cumulated vsize (KiB) 366360 [startup+4662.3 s] /proc/loadavg: 2.05 2.04 2.00 3/403 13522 /proc/meminfo: memFree=29784288/32950904 swapFree=56615552/67111528 [pid=13370] ppid=13368 vsize=8704 CPUtime=2.54 cores=1,3,5,7 /proc/13370/stat : 13370 (glucose.sh) S 13368 13370 12183 0 -1 4202496 360 10817 0 0 0 0 251 3 18 0 1 0 806710634 8912896 254 33554432000 4194304 4922060 140733648093856 18446744073709551615 237278698629 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/13370/statm: 2176 254 211 178 0 69 0 [pid=13374] ppid=13370 vsize=440916 CPUtime=4659.86 cores=1,3,5,7 /proc/13374/stat : 13374 (glucose_static) R 13370 13370 12183 0 -1 4202496 2496190 0 0 0 465485 501 0 0 25 0 1 0 806710889 451497984 86822 33554432000 4194304 4260849 140736039424176 18446744073709551615 4224864 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/13374/statm: 110229 86822 252 17 0 106870 0 Current children cumulated CPU time (s) 4662.4 Current children cumulated vsize (KiB) 449620 [startup+4722.31 s] /proc/loadavg: 2.02 2.03 2.00 3/403 13524 /proc/meminfo: memFree=29855888/32950904 swapFree=56615552/67111528 [pid=13370] ppid=13368 vsize=8704 CPUtime=2.54 cores=1,3,5,7 /proc/13370/stat : 13370 (glucose.sh) S 13368 13370 12183 0 -1 4202496 360 10817 0 0 0 0 251 3 18 0 1 0 806710634 8912896 254 33554432000 4194304 4922060 140733648093856 18446744073709551615 237278698629 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/13370/statm: 2176 254 211 178 0 69 0 [pid=13374] ppid=13370 vsize=359528 CPUtime=4719.87 cores=1,3,5,7 /proc/13374/stat : 13374 (glucose_static) R 13370 13370 12183 0 -1 4202496 2526035 0 0 0 471480 507 0 0 25 0 1 0 806710889 368156672 73886 33554432000 4194304 4260849 140736039424176 18446744073709551615 4225087 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/13374/statm: 89882 73886 252 17 0 86523 0 Current children cumulated CPU time (s) 4722.41 Current children cumulated vsize (KiB) 368232 [startup+4782.3 s] /proc/loadavg: 2.00 2.02 2.00 3/403 13525 /proc/meminfo: memFree=29825696/32950904 swapFree=56615552/67111528 [pid=13370] ppid=13368 vsize=8704 CPUtime=2.54 cores=1,3,5,7 /proc/13370/stat : 13370 (glucose.sh) S 13368 13370 12183 0 -1 4202496 360 10817 0 0 0 0 251 3 18 0 1 0 806710634 8912896 254 33554432000 4194304 4922060 140733648093856 18446744073709551615 237278698629 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/13370/statm: 2176 254 211 178 0 69 0 [pid=13374] ppid=13370 vsize=442388 CPUtime=4779.85 cores=1,3,5,7 /proc/13374/stat : 13374 (glucose_static) R 13370 13370 12183 0 -1 4202496 2537613 0 0 0 477474 511 0 0 25 0 1 0 806710889 453005312 85347 33554432000 4194304 4260849 140736039424176 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/13374/statm: 110597 85347 252 17 0 107238 0 Current children cumulated CPU time (s) 4782.39 Current children cumulated vsize (KiB) 451092 [startup+4842.3 s] /proc/loadavg: 2.00 2.02 2.00 3/403 13527 /proc/meminfo: memFree=29820924/32950904 swapFree=56615552/67111528 [pid=13370] ppid=13368 vsize=8704 CPUtime=2.54 cores=1,3,5,7 /proc/13370/stat : 13370 (glucose.sh) S 13368 13370 12183 0 -1 4202496 360 10817 0 0 0 0 251 3 18 0 1 0 806710634 8912896 254 33554432000 4194304 4922060 140733648093856 18446744073709551615 237278698629 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/13370/statm: 2176 254 211 178 0 69 0 [pid=13374] ppid=13370 vsize=362660 CPUtime=4839.86 cores=1,3,5,7 /proc/13374/stat : 13374 (glucose_static) R 13370 13370 12183 0 -1 4202496 2569597 0 0 0 483466 520 0 0 25 0 1 0 806710889 371363840 74837 33554432000 4194304 4260849 140736039424176 18446744073709551615 4225082 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/13374/statm: 90665 74837 252 17 0 87306 0 Current children cumulated CPU time (s) 4842.4 Current children cumulated vsize (KiB) 371364 [startup+4902.3 s] /proc/loadavg: 2.00 2.01 2.00 3/403 13528 /proc/meminfo: memFree=29803628/32950904 swapFree=56615552/67111528 [pid=13370] ppid=13368 vsize=8704 CPUtime=2.54 cores=1,3,5,7 /proc/13370/stat : 13370 (glucose.sh) S 13368 13370 12183 0 -1 4202496 360 10817 0 0 0 0 251 3 18 0 1 0 806710634 8912896 254 33554432000 4194304 4922060 140733648093856 18446744073709551615 237278698629 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/13370/statm: 2176 254 211 178 0 69 0 [pid=13374] ppid=13370 vsize=445028 CPUtime=4899.86 cores=1,3,5,7 /proc/13374/stat : 13374 (glucose_static) R 13370 13370 12183 0 -1 4202496 2580283 0 0 0 489462 524 0 0 25 0 1 0 806710889 455708672 85429 33554432000 4194304 4260849 140736039424176 18446744073709551615 4224885 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/13374/statm: 111257 85429 252 17 0 107898 0 Current children cumulated CPU time (s) 4902.4 Current children cumulated vsize (KiB) 453732 [startup+4962.3 s] /proc/loadavg: 2.00 2.01 2.00 3/403 13530 /proc/meminfo: memFree=29736244/32950904 swapFree=56615552/67111528 [pid=13370] ppid=13368 vsize=8704 CPUtime=2.54 cores=1,3,5,7 /proc/13370/stat : 13370 (glucose.sh) S 13368 13370 12183 0 -1 4202496 360 10817 0 0 0 0 251 3 18 0 1 0 806710634 8912896 254 33554432000 4194304 4922060 140733648093856 18446744073709551615 237278698629 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/13370/statm: 2176 254 211 178 0 69 0 [pid=13374] ppid=13370 vsize=447016 CPUtime=4959.86 cores=1,3,5,7 /proc/13374/stat : 13374 (glucose_static) R 13370 13370 12183 0 -1 4202496 2591082 0 0 0 495459 527 0 0 25 0 1 0 806710889 457744384 96143 33554432000 4194304 4260849 140736039424176 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/13374/statm: 111754 96143 252 17 0 108395 0 Current children cumulated CPU time (s) 4962.4 Current children cumulated vsize (KiB) 455720 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+4999.9 s] /proc/loadavg: 2.00 2.00 2.00 2/401 13532 /proc/meminfo: memFree=30070548/32950904 swapFree=56615552/67111528 [pid=13370] ppid=13368 vsize=8704 CPUtime=2.54 cores=1,3,5,7 /proc/13370/stat : 13370 (glucose.sh) S 13368 13370 12183 0 -1 4202496 360 10817 0 0 0 0 251 3 18 0 1 0 806710634 8912896 254 33554432000 4194304 4922060 140733648093856 18446744073709551615 237278698629 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/13370/statm: 2176 254 211 178 0 69 0 [pid=13374] ppid=13370 vsize=365884 CPUtime=4997.48 cores=1,3,5,7 /proc/13374/stat : 13374 (glucose_static) R 13370 13370 12183 0 -1 4202496 2620008 0 0 0 499214 534 0 0 25 0 1 0 806710889 374665216 77573 33554432000 4194304 4260849 140736039424176 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/13374/statm: 91471 77573 252 17 0 88112 0 Current children cumulated CPU time (s) 5000.02 Current children cumulated vsize (KiB) 374588 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.00 2.00 2.00 2/401 13532 /proc/meminfo: memFree=30070548/32950904 swapFree=56615552/67111528 [pid=13370] ppid=13368 vsize=8704 CPUtime=2.54 cores=1,3,5,7 /proc/13370/stat : 13370 (glucose.sh) S 13368 13370 12183 0 -1 4202496 360 10817 0 0 0 0 251 3 18 0 1 0 806710634 8912896 254 33554432000 4194304 4922060 140733648093856 18446744073709551615 237278698629 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/13370/statm: 2176 254 211 178 0 69 0 [pid=13374] ppid=13370 vsize=365884 CPUtime=4997.48 cores=1,3,5,7 /proc/13374/stat : 13374 (glucose_static) R 13370 13370 12183 0 -1 4202496 2620008 0 0 0 499214 534 0 0 25 0 1 0 806710889 374665216 77573 33554432000 4194304 4260849 140736039424176 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/13374/statm: 91471 77573 252 17 0 88112 0 Current children cumulated CPU time (s) 5000.02 Current children cumulated vsize (KiB) 374588 Child ended because it received signal 15 (SIGTERM) # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 13370 and gives # childrusage.ru_utime.tv_sec=2 # childrusage.ru_utime.tv_usec=513617 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=38994 # CPU time returned by wait4() is 2.55261 # while last known CPU time is 5000.02 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 4999.92 CPU time (s): 5000.02 CPU user time (s): 4994.65 CPU system time (s): 5.37 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 535860 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2.51362 system time used= 0.038994 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 11177 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= 6 involuntary context switches= 10 runsolver used 18.8911 second user time and 44.8502 second system time The end
Begin job on node121 at 2011-06-01 19:58:29 IDJOB=3303622 IDBENCH=88228 IDSOLVER=1687 FILE ID=node121/3303622-1306951109 RUNJOBID= node121-1306951109-13350 PBS_JOBID= 13488560 Free space on /tmp= 73836 MiB SOLVER NAME= glucose 2 BENCH NAME= SAT11/crafted/anton/SRHD-SGI/srhd-sgi-m52-q918.75-n50-p15-s98191766.cnf COMMAND LINE= glucose.sh BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3303622-1306951109/watcher-3303622-1306951109 -o /tmp/evaluation-result-3303622-1306951109/solver-3303622-1306951109 -C 5000 -W 5100 -M 15500 glucose.sh HOME/instance-3303622-1306951109.cnf TIME LIMIT= 5000 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 71638ad618721ad48c6bd2d48b828020 RANDOM SEED=2032909553 node121.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.817 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.63 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.817 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.07 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.817 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.84 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.817 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.817 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.82 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.817 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.817 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.817 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: 32950904 kB MemFree: 30394452 kB Buffers: 195704 kB Cached: 251156 kB SwapCached: 9896 kB Active: 2015292 kB Inactive: 282872 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950904 kB LowFree: 30394452 kB SwapTotal: 67111528 kB SwapFree: 56615552 kB Dirty: 11296 kB Writeback: 0 kB AnonPages: 1848624 kB Mapped: 13880 kB Slab: 139328 kB PageTables: 52384 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586980 kB Committed_AS: 83528612 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= 73820 MiB End job on node121 at 2011-06-01 21:21:51