| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| glucose 2 | ? (TO) | 1300.02 | 1300.01 |
| Name | application/leberre/ 2dimensionalstrippacking/korf-18.cnf |
| MD5SUM | 47bea79e2bf12e18e409c2c4bd6fac03 |
| Bench Category | APPLICATION (applications instances) |
| Best result obtained on this benchmark | UNSAT |
| Best CPU time to get the best result obtained on this benchmark | 671.532 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 7794 |
| Number of clauses | 186934 |
| Sum of the clauses size | 1289969 |
| Maximum clause length | 55 |
| Minimum clause length | 1 |
| Number of clauses of size 1 | 6 |
| Number of clauses of size 2 | 20093 |
| Number of clauses of size 3 | 16000 |
| Number of clauses of size 4 | 5706 |
| Number of clauses of size 5 | 6282 |
| Number of clauses of size over 5 | 138847 |
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.11 c ============================================================================== 0.00/0.11 c | | ORIGINAL | LEARNT | | 0.00/0.11 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress | 0.00/0.11 c ============================================================================== 0.00/0.11 c | 0 | 186820 1289741 | 56045 0 0 nan | 0.000 % | 0.00/0.38 c | 0 | 185107 1299581 | -- 0 -- -- | -- | -1252/16030 0.00/0.38 c ============================================================================== 0.00/0.38 c Result : #vars: 6866 #clauses: 185107 #literals: 1299581 0.00/0.38 c CPU time: 0.368943 s 0.00/0.38 c ============================================================================== 0.00/0.57 c 0.00/0.57 c Starting glucose 0.00/0.57 c 7.68/7.80 c This is glucose 2.0 -- based on MiniSAT (Many thanks to MiniSAT team) 7.68/7.80 c WARNING: for repeatability, setting FPU to use double precision 7.68/7.80 c ============================[ Problem Statistics ]============================= 7.68/7.80 c | | 7.68/7.80 c | Number of variables: 6866 | 7.68/7.80 c | Number of clauses: 185107 | 7.68/7.80 c | Parse time: 0.06 s | 7.68/7.80 c | | 7.68/7.80 c ============================[ Search Statistics ]============================== 7.68/7.80 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.68/7.80 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | | 7.68/7.80 c =============================================================================== 7.68/7.80 c | 2209 | 6866 185107 1299581 | 1 2209 61 | 0.000 % | 7.68/7.80 c | 7598 | 6866 185107 1299581 | 1 5603 59 | 0.000 % | 7.68/7.80 c | 8394 | 6866 185107 1299581 | 1 6399 57 | 0.000 % | 7.68/7.80 c | 9742 | 6866 185107 1299581 | 1 7747 55 | 0.000 % | 7.68/7.80 c | 12437 | 6866 185107 1299581 | 1 6144 36 | 0.000 % | 7.68/7.80 c | 13550 | 6866 185107 1299581 | 1 7257 37 | 0.000 % | 7.68/7.80 c | 13804 | 6866 185107 1299581 | 1 7511 37 | 0.000 % | 7.68/7.80 c | 14437 | 6866 185107 1299581 | 1 8144 38 | 0.000 % | 7.68/7.80 c | 14539 | 6866 185107 1299581 | 1 8246 38 | 0.000 % | 7.68/7.80 c | 14710 | 6866 185107 1299581 | 1 8417 38 | 0.000 % | 7.68/7.80 c | 17722 | 6866 185107 1299581 | 1 11429 47 | 0.000 % | 7.68/7.80 c | 17822 | 6866 185107 1299581 | 1 11529 47 | 0.000 % | 7.68/7.80 c | 81738 | 6866 185107 1299581 | 1 33184 58 | 0.000 % | 7.68/7.80 c | 82047 | 6866 185107 1299581 | 1 33493 58 | 0.000 % | 7.68/7.80 c | 82755 | 6866 185107 1299581 | 1 17183 34 | 0.000 % | 7.68/7.80 c | 83037 | 6866 185107 1299581 | 1 17465 35 | 0.000 % | 7.68/7.80 c | 88105 | 6866 185107 1299581 | 1 22533 38 | 0.000 % | 7.68/7.80 c | 88460 | 6866 185107 1299581 | 1 22888 38 | 0.000 % | 7.68/7.80 c | 89366 | 6866 185107 1299581 | 1 23794 39 | 0.000 % | 7.68/7.80 c | 89540 | 6866 185107 1299581 | 1 23968 39 | 0.000 % | 7.68/7.80 c | 90067 | 6866 185107 1299581 | 1 24495 40 | 0.000 % | 7.68/7.80 c | 91321 | 6866 185107 1299581 | 1 25749 40 | 0.000 % | 7.68/7.80 c | 95653 | 6866 185107 1299581 | 1 30081 42 | 0.000 % | 7.68/7.80 c | 97843 | 6866 185107 1299581 | 1 32271 42 | 0.000 % | 7.68/7.80 c | 98495 | 6866 185107 1299581 | 1 32923 43 | 0.000 % | 7.68/7.80 c | 98707 | 6866 185107 1299581 | 1 33135 43 | 0.000 % | 7.68/7.80 c | 98889 | 6866 185107 1299581 | 1 33317 43 | 0.000 % | 7.68/7.80 c | 99002 | 6866 185107 1299581 | 1 33430 43 | 0.000 % | 7.68/7.80 c | 99376 | 6866 185107 1299581 | 1 33804 43 | 0.000 % | 7.68/7.80 c | 99733 | 6866 185107 1299581 | 1 34161 43 | 0.000 % | 7.68/7.80 c | 100825 | 6866 185107 1299581 | 1 35253 43 | 0.000 % | 7.68/7.80 c | 101014 | 6866 185107 1299581 | 1 35442 44 | 0.000 % | 7.68/7.80 c | 101115 | 6866 185107 1299581 | 1 35543 44 | 0.000 % | 7.68/7.80 c | 101729 | 6866 185107 1299581 | 1 36157 44 | 0.000 % | 7.68/7.80 c | 105022 | 6866 185107 1299581 | 1 19843 24 | 0.000 % | 7.68/7.80 c | 106973 | 6866 185107 1299581 | 1 21794 27 | 0.000 % | 7.68/7.80 c | 109003 | 6866 185107 1299581 | 1 23824 29 | 0.000 % | 7.68/7.80 c | 109106 | 6866 185107 1299581 | 1 23927 30 | 0.000 % | 7.68/7.80 c | 109206 | 6866 185107 1299581 | 1 24027 30 | 0.000 % | 11.57/11.69 c | 112139 | 6866 185107 1299581 | 1 26960 31 | 0.000 % | 11.57/11.69 c | 113030 | 6866 185107 1299581 | 1 27851 33 | 0.000 % | 11.57/11.69 c | 113133 | 6866 185107 1299581 | 1 27954 33 | 0.000 % | 11.57/11.69 c | 113681 | 6866 185107 1299581 | 1 28502 33 | 0.000 % | 11.57/11.69 c | 117450 | 6866 185107 1299581 | 1 32271 37 | 0.000 % | 11.57/11.69 c | 118712 | 6866 185107 1299581 | 1 33533 37 | 0.000 % | 11.57/11.69 c | 120496 | 6866 185107 1299581 | 1 35317 38 | 0.000 % | 11.57/11.69 c | 121299 | 6866 185107 1299581 | 1 36120 38 | 0.000 % | 11.57/11.69 c | 121751 | 6866 185107 1299581 | 1 36572 38 | 0.000 % | 11.57/11.69 c | 122552 | 6866 185107 1299581 | 1 37373 39 | 0.000 % | 11.57/11.69 c | 123646 | 6866 185107 1299581 | 1 38467 40 | 0.000 % | 11.57/11.69 c | 123747 | 6866 185107 1299581 | 1 38568 40 | 0.000 % | 11.57/11.69 c | 124577 | 6866 185107 1299581 | 1 39398 40 | 0.000 % | 11.57/11.69 c | 127548 | 6866 185107 1299581 | 1 42369 42 | 0.000 % | 11.57/11.69 c | 128366 | 6866 185107 1299581 | 1 43187 42 | 0.000 % | 11.57/11.69 c | 130682 | 6866 185107 1299581 | 1 23314 26 | 0.000 % | 11.57/11.69 c | 132160 | 6866 185107 1299581 | 1 24792 27 | 0.000 % | 11.57/11.69 c | 132942 | 6866 185107 1299581 | 1 25574 28 | 0.000 % | 11.57/11.69 c | 133729 | 6866 185107 1299581 | 1 26361 29 | 0.000 % | 11.57/11.69 c | 134794 | 6866 185107 1299581 | 1 27426 29 | 0.000 % | 11.57/11.69 c | 135582 | 6866 185107 1299581 | 1 28214 30 | 0.000 % | 11.57/11.69 c | 135750 | 6866 185107 1299581 | 1 28382 30 | 0.000 % | 11.57/11.69 c | 136314 | 6866 185107 1299581 | 1 28946 31 | 0.000 % | 11.57/11.69 c | 136414 | 6866 185107 1299581 | 1 29046 31 | 0.000 % | 11.57/11.69 c | 136515 | 6866 185107 1299581 | 1 29147 31 | 0.000 % | 11.57/11.69 c | 137648 | 6866 185107 1299581 | 1 30280 32 | 0.000 % | 11.57/11.69 c | 137920 | 6866 185107 1299581 | 1 30552 32 | 0.000 % | 11.57/11.69 c | 139303 | 6866 185107 1299581 | 1 31935 33 | 0.000 % | 11.57/11.69 c | 139594 | 6866 185107 1299581 | 1 32226 33 | 0.000 % | 11.57/11.69 c | 140158 | 6866 185107 1299581 | 1 32790 33 | 0.000 % | 11.57/11.69 c | 140812 | 6866 185107 1299581 | 1 33444 34 | 0.000 % | 11.57/11.69 c | 140932 | 6866 185107 1299581 | 1 33564 34 | 0.000 % | 11.57/11.69 c | 141702 | 6866 185107 1299581 | 1 34334 34 | 0.000 % | 11.57/11.69 c | 145697 | 6866 185107 1299581 | 1 38329 37 | 0.000 % | 11.57/11.69 c | 147267 | 6866 185107 1299581 | 1 39899 38 | 0.000 % | 11.57/11.69 c | 148506 | 6866 185107 1299581 | 1 41138 39 | 0.000 % | 11.57/11.69 c | 149764 | 6866 185107 1299581 | 1 42396 39 | 0.000 % | 11.57/11.69 c | 150885 | 6866 185107 1299581 | 1 43517 39 | 0.000 % | 11.57/11.69 c | 157323 | 6866 185107 1299581 | 1 25151 23 | 0.000 % | 11.57/11.69 c | 158733 | 6866 185107 1299581 | 1 26561 25 | 0.000 % | 11.57/11.69 c | 158842 | 6866 185107 1299581 | 1 26670 25 | 0.000 % | 11.57/11.69 c | 160582 | 6866 185107 1299581 | 1 28410 27 | 0.000 % | 11.57/11.69 c | 160874 | 6866 185107 1299581 | 1 28702 27 | 0.000 % | 11.57/11.69 c | 161623 | 6866 185107 1299581 | 1 29451 28 | 0.000 % | 11.57/11.69 c | 163073 | 6866 185107 1299581 | 1 30901 29 | 0.000 % | 11.57/11.69 c | 165446 | 6866 185107 1299581 | 1 33274 33 | 0.000 % | 11.57/11.69 c | 165727 | 6866 185107 1299581 | 1 33555 33 | 0.000 % | 11.57/11.69 c | 165990 | 6866 185107 1299581 | 1 33818 33 | 0.000 % | 11.57/11.69 c | 168382 | 6866 185107 1299581 | 1 36210 35 | 0.000 % | 11.57/11.69 c | 168569 | 6866 185107 1299581 | 1 36397 35 | 0.000 % | 19.67/19.75 c | 168747 | 6866 185107 1299581 | 1 36575 35 | 0.000 % | 19.67/19.75 c | 170473 | 6866 185107 1299581 | 1 38301 36 | 0.000 % | 19.67/19.75 c | 170799 | 6866 185107 1299581 | 1 38627 36 | 0.000 % | 19.67/19.75 c | 171024 | 6866 185107 1299581 | 1 38852 36 | 0.000 % | 19.67/19.75 c | 173330 | 6866 185107 1299581 | 1 41158 37 | 0.000 % | 19.67/19.75 c | 173461 | 6866 185107 1299581 | 1 41289 37 | 0.000 % | 19.67/19.75 c | 173669 | 6866 185107 1299581 | 1 41497 37 | 0.000 % | 19.67/19.75 c | 186496 | 6866 185107 1299581 | 1 54324 42 | 0.000 % | 19.67/19.75 c | 186596 | 6866 185107 1299581 | 1 54424 42 | 0.000 % | 19.67/19.75 c | 188359 | 6866 185107 1299581 | 1 28772 26 | 0.000 % | 19.67/19.75 c | 191969 | 6866 185107 1299581 | 1 32382 28 | 0.000 % | 19.67/19.75 c | 192372 | 6866 185107 1299581 | 1 32785 28 | 0.000 % | 19.67/19.75 c | 192473 | 6866 185107 1299581 | 1 32886 28 | 0.000 % | 19.67/19.75 c | 192966 | 6866 185107 1299581 | 1 33379 29 | 0.000 % | 19.67/19.75 c | 193820 | 6866 185107 1299581 | 1 34233 29 | 0.000 % | 19.67/19.75 c | 195837 | 6866 185107 1299581 | 1 36250 31 | 0.000 % | 19.67/19.75 c | 196498 | 6866 185107 1299581 | 1 36911 31 | 0.000 % | 19.67/19.75 c | 196598 | 6866 185107 1299581 | 1 37011 31 | 0.000 % | 19.67/19.75 c | 196843 | 6866 185107 1299581 | 1 37256 32 | 0.000 % | 19.67/19.75 c | 196944 | 6866 185107 1299581 | 1 37357 32 | 0.000 % | 19.67/19.75 c | 197253 | 6866 185107 1299581 | 1 37666 32 | 0.000 % | 19.67/19.75 c | 198387 | 6866 185107 1299581 | 1 38800 32 | 0.000 % | 19.67/19.75 c | 198724 | 6866 185107 1299581 | 1 39137 32 | 0.000 % | 19.67/19.75 c | 198835 | 6866 185107 1299581 | 1 39248 33 | 0.000 % | 19.67/19.75 c | 200203 | 6866 185107 1299581 | 1 40616 34 | 0.000 % | 19.67/19.75 c | 200466 | 6866 185107 1299581 | 1 40879 34 | 0.000 % | 19.67/19.75 c | 201401 | 6866 185107 1299581 | 1 41814 34 | 0.000 % | 19.67/19.75 c | 209493 | 6866 185107 1299581 | 1 49906 37 | 0.000 % | 19.67/19.75 c | 209613 | 6866 185107 1299581 | 1 50026 37 | 0.000 % | 19.67/19.75 c | 210171 | 6866 185107 1299581 | 1 50584 37 | 0.000 % | 19.67/19.75 c | 210271 | 6866 185107 1299581 | 1 50684 37 | 0.000 % | 19.67/19.75 c | 215594 | 6866 185107 1299581 | 1 56007 39 | 0.000 % | 19.67/19.75 c | 216695 | 6866 185107 1299581 | 1 57108 39 | 0.000 % | 19.67/19.75 c | 216795 | 6866 185107 1299581 | 1 57208 39 | 0.000 % | 19.67/19.75 c | 221776 | 6866 185107 1299581 | 1 32196 24 | 0.000 % | 19.67/19.75 c | 227567 | 6866 185107 1299581 | 1 37987 29 | 0.000 % | 19.67/19.75 c | 227668 | 6866 185107 1299581 | 1 38088 29 | 0.000 % | 19.67/19.75 c | 227836 | 6866 185107 1299581 | 1 38256 29 | 0.000 % | 19.67/19.75 c | 228616 | 6866 185107 1299581 | 1 39036 30 | 0.000 % | 19.67/19.75 c | 229209 | 6866 185107 1299581 | 1 39629 30 | 0.000 % | 19.67/19.75 c | 229312 | 6866 185107 1299581 | 1 39732 30 | 0.000 % | 19.67/19.75 c | 247484 | 6866 185107 1299581 | 1 57904 38 | 0.000 % | 19.67/19.75 c | 249321 | 6866 185107 1299581 | 1 59741 39 | 0.000 % | 19.67/19.75 c | 250659 | 6866 185107 1299581 | 1 61079 39 | 0.000 % | 19.67/19.75 c | 251114 | 6866 185107 1299581 | 1 61534 39 | 0.000 % | 19.67/19.75 c | 261913 | 6866 185107 1299581 | 1 39736 30 | 0.000 % | 19.67/19.75 c | 263857 | 6866 185107 1299581 | 1 41680 31 | 0.000 % | 19.67/19.75 c | 265381 | 6866 185107 1299581 | 1 43204 32 | 0.000 % | 19.67/19.75 c | 268192 | 6866 185107 1299581 | 1 46015 33 | 0.000 % | 19.67/19.75 c | 268399 | 6866 185107 1299581 | 1 46222 33 | 0.000 % | 32.18/32.22 c | 268830 | 6866 185107 1299581 | 1 46653 34 | 0.000 % | 32.18/32.22 c | 269868 | 6866 185107 1299581 | 1 47691 34 | 0.000 % | 32.18/32.22 c | 271581 | 6866 185107 1299581 | 1 49404 35 | 0.000 % | 32.18/32.22 c | 272095 | 6866 185107 1299581 | 1 49918 35 | 0.000 % | 32.18/32.22 c | 319200 | 6866 185107 1299581 | 1 61823 32 | 0.000 % | 32.18/32.22 c | 319580 | 6866 185107 1299581 | 1 62203 32 | 0.000 % | 32.18/32.22 c | 320624 | 6866 185107 1299581 | 1 63247 32 | 0.000 % | 32.18/32.22 c | 320840 | 6866 185107 1299581 | 1 63463 32 | 0.000 % | 32.18/32.22 c | 323167 | 6866 185107 1299581 | 1 65790 33 | 0.000 % | 32.18/32.22 c | 325107 | 6866 185107 1299581 | 1 67730 34 | 0.000 % | 32.18/32.22 c | 326183 | 6866 185107 1299581 | 1 68806 34 | 0.000 % | 32.18/32.22 c | 326322 | 6866 185107 1299581 | 1 68945 34 | 0.000 % | 32.18/32.22 c | 326496 | 6866 185107 1299581 | 1 69119 34 | 0.000 % | 32.18/32.22 c | 326653 | 6866 185107 1299581 | 1 69276 34 | 0.000 % | 32.18/32.22 c | 330322 | 6866 185107 1299581 | 1 72945 37 | 0.000 % | 32.18/32.22 c | 330748 | 6866 185107 1299581 | 1 73371 37 | 0.000 % | 32.18/32.22 c | 331115 | 6866 185107 1299581 | 1 73738 37 | 0.000 % | 32.18/32.22 c | 331244 | 6866 185107 1299581 | 1 73867 37 | 0.000 % | 32.18/32.22 c | 332417 | 6866 185107 1299581 | 1 75040 38 | 0.000 % | 32.18/32.22 c | 335585 | 6866 185107 1299581 | 1 40406 25 | 0.000 % | 32.18/32.22 c | 337889 | 6866 185107 1299581 | 1 42710 26 | 0.000 % | 32.18/32.22 c | 342541 | 6866 185107 1299581 | 1 47362 28 | 0.000 % | 32.18/32.22 c | 345823 | 6866 185107 1299581 | 1 50644 30 | 0.000 % | 32.18/32.22 c | 346079 | 6866 185107 1299581 | 1 50900 30 | 0.000 % | 32.18/32.22 c | 347986 | 6866 185107 1299581 | 1 52807 31 | 0.000 % | 32.18/32.22 c | 348086 | 6866 185107 1299581 | 1 52907 31 | 0.000 % | 32.18/32.22 c | 348495 | 6866 185107 1299581 | 1 53316 31 | 0.000 % | 32.18/32.22 c | 349902 | 6866 185107 1299581 | 1 54723 32 | 0.000 % | 32.18/32.22 c | 351027 | 6866 185107 1299581 | 1 55848 33 | 0.000 % | 32.18/32.22 c | 351213 | 6866 185107 1299581 | 1 56034 33 | 0.000 % | 32.18/32.22 c | 358642 | 6866 185107 1299581 | 1 63463 37 | 0.000 % | 32.18/32.22 c | 358753 | 6866 185107 1299581 | 1 63574 37 | 0.000 % | 32.18/32.22 c | 359135 | 6866 185107 1299581 | 1 63956 37 | 0.000 % | 32.18/32.22 c | 360580 | 6866 185107 1299581 | 1 65401 37 | 0.000 % | 32.18/32.22 c | 362015 | 6866 185107 1299581 | 1 66836 38 | 0.000 % | 32.18/32.22 c | 379043 | 6866 185107 1299581 | 1 43466 26 | 0.000 % | 32.18/32.22 c | 379169 | 6866 185107 1299581 | 1 43592 26 | 0.000 % | 32.18/32.22 c | 379505 | 6866 185107 1299581 | 1 43928 26 | 0.000 % | 32.18/32.22 c | 379605 | 6866 185107 1299581 | 1 44028 27 | 0.000 % | 32.18/32.22 c | 382948 | 6866 185107 1299581 | 1 47371 29 | 0.000 % | 32.18/32.22 c | 383242 | 6866 185107 1299581 | 1 47665 29 | 0.000 % | 32.18/32.22 c | 383343 | 6866 185107 1299581 | 1 47766 29 | 0.000 % | 32.18/32.22 c | 383445 | 6866 185107 1299581 | 1 47868 29 | 0.000 % | 32.18/32.22 c | 384788 | 6866 185107 1299581 | 1 49211 30 | 0.000 % | 32.18/32.22 c | 385345 | 6866 185107 1299581 | 1 49768 30 | 0.000 % | 32.18/32.22 c | 387615 | 6866 185107 1299581 | 1 52038 31 | 0.000 % | 32.18/32.22 c | 388654 | 6866 185107 1299581 | 1 53077 32 | 0.000 % | 32.18/32.22 c | 388792 | 6866 185107 1299581 | 1 53215 32 | 0.000 % | 32.18/32.22 c | 388962 | 6866 185107 1299581 | 1 53385 32 | 0.000 % | 32.18/32.22 c | 396293 | 6866 185107 1299581 | 1 60716 33 | 0.000 % | 42.88/42.94 c | 399776 | 6866 185107 1299581 | 1 64199 35 | 0.000 % | 42.88/42.94 c | 400305 | 6866 185107 1299581 | 1 64728 35 | 0.000 % | 42.88/42.94 c | 403289 | 6866 185107 1299581 | 1 67712 36 | 0.000 % | 42.88/42.94 c | 403389 | 6866 185107 1299581 | 1 67812 36 | 0.000 % | 42.88/42.94 c | 403489 | 6866 185107 1299581 | 1 67912 36 | 0.000 % | 42.88/42.94 c | 403905 | 6866 185107 1299581 | 1 68328 36 | 0.000 % | 42.88/42.94 c | 404579 | 6866 185107 1299581 | 1 69002 37 | 0.000 % | 42.88/42.94 c | 404745 | 6866 185107 1299581 | 1 69168 37 | 0.000 % | 42.88/42.94 c | 407487 | 6866 185107 1299581 | 1 71910 37 | 0.000 % | 42.88/42.94 c | 426350 | 6866 185107 1299581 | 1 47779 27 | 0.000 % | 42.88/42.94 c | 428022 | 6866 185107 1299581 | 1 49451 27 | 0.000 % | 42.88/42.94 c | 432380 | 6866 185107 1299581 | 1 53809 29 | 0.000 % | 42.88/42.94 c | 432901 | 6866 185107 1299581 | 1 54330 30 | 0.000 % | 42.88/42.94 c | 433002 | 6866 185107 1299581 | 1 54431 30 | 0.000 % | 42.88/42.94 c | 433102 | 6866 185107 1299581 | 1 54531 30 | 0.000 % | 42.88/42.94 c | 443203 | 6866 185107 1299581 | 1 64632 34 | 0.000 % | 42.88/42.94 c | 443306 | 6866 185107 1299581 | 1 64735 34 | 0.000 % | 42.88/42.94 c | 444061 | 6866 185107 1299581 | 1 65490 34 | 0.000 % | 42.88/42.94 c | 444690 | 6866 185107 1299581 | 1 66119 34 | 0.000 % | 42.88/42.94 c | 446659 | 6866 185107 1299581 | 1 68088 35 | 0.000 % | 42.88/42.94 c | 446842 | 6866 185107 1299581 | 1 68271 35 | 0.000 % | 42.88/42.94 c | 446942 | 6866 185107 1299581 | 1 68371 35 | 0.000 % | 42.88/42.94 c | 447475 | 6866 185107 1299581 | 1 68904 35 | 0.000 % | 42.88/42.94 c | 447751 | 6866 185107 1299581 | 1 69180 35 | 0.000 % | 42.88/42.94 c | 448918 | 6866 185107 1299581 | 1 70347 36 | 0.000 % | 42.88/42.94 c | 449701 | 6866 185107 1299581 | 1 71130 36 | 0.000 % | 42.88/42.94 c | 450402 | 6866 185107 1299581 | 1 71831 37 | 0.000 % | 42.88/42.94 c | 450502 | 6866 185107 1299581 | 1 71931 37 | 0.000 % | 42.88/42.94 c | 450745 | 6866 185107 1299581 | 1 72174 37 | 0.000 % | 42.88/42.94 c | 450845 | 6866 185107 1299581 | 1 72274 37 | 0.000 % | 42.88/42.94 c | 451351 | 6866 185107 1299581 | 1 72780 37 | 0.000 % | 42.88/42.94 c | 451453 | 6866 185107 1299581 | 1 72882 37 | 0.000 % | 42.88/42.94 c | 451554 | 6866 185107 1299581 | 1 72983 37 | 0.000 % | 42.88/42.94 c | 451733 | 6866 185107 1299581 | 1 73162 37 | 0.000 % | 42.88/42.94 c | 451856 | 6866 185107 1299581 | 1 73285 37 | 0.000 % | 42.88/42.94 c | 474181 | 6866 185107 1299581 | 1 50010 28 | 0.000 % | 42.88/42.94 c | 474281 | 6866 185107 1299581 | 1 50110 28 | 0.000 % | 42.88/42.94 c | 474596 | 6866 185107 1299581 | 1 50425 28 | 0.000 % | 42.88/42.94 c | 474830 | 6866 185107 1299581 | 1 50659 28 | 0.000 % | 42.88/42.94 c | 475879 | 6866 185107 1299581 | 1 51708 29 | 0.000 % | 42.88/42.94 c | 476216 | 6866 185107 1299581 | 1 52045 29 | 0.000 % | 42.88/42.94 c | 479393 | 6866 185107 1299581 | 1 55222 30 | 0.000 % | 42.88/42.94 c | 480066 | 6866 185107 1299581 | 1 55895 31 | 0.000 % | 42.88/42.94 c | 489837 | 6866 185107 1299581 | 1 65666 34 | 0.000 % | 42.88/42.94 c | 490166 | 6866 185107 1299581 | 1 65995 34 | 0.000 % | 42.88/42.94 c | 491307 | 6866 185107 1299581 | 1 67136 34 | 0.000 % | 42.88/42.94 c | 503332 | 6866 185107 1299581 | 1 79161 36 | 0.000 % | 42.88/42.94 c | 503976 | 6866 185107 1299581 | 1 79805 37 | 0.000 % | 42.88/42.94 c | 505053 | 6866 185107 1299581 | 1 80882 37 | 0.000 % | 42.88/42.94 c | 506678 | 6866 185107 1299581 | 1 82507 38 | 0.000 % | 60.88/60.97 c | 507036 | 6866 185107 1299581 | 1 82865 38 | 0.000 % | 60.88/60.97 c | 507137 | 6866 185107 1299581 | 1 82966 38 | 0.000 % | 60.88/60.97 c | 509683 | 6866 185107 1299581 | 1 85512 38 | 0.000 % | 60.88/60.97 c | 509786 | 6866 185107 1299581 | 1 85615 38 | 0.000 % | 60.88/60.97 c | 510049 | 6866 185107 1299581 | 1 85878 38 | 0.000 % | 60.88/60.97 c | 510573 | 6866 185107 1299581 | 1 86402 39 | 0.000 % | 60.88/60.97 c | 510747 | 6866 185107 1299581 | 1 86576 39 | 0.000 % | 60.88/60.97 c | 514445 | 6866 185107 1299581 | 1 90274 40 | 0.000 % | 60.88/60.97 c | 514840 | 6866 185107 1299581 | 1 90669 40 | 0.000 % | 60.88/60.97 c | 516091 | 6866 185107 1299581 | 1 91920 40 | 0.000 % | 60.88/60.97 c | 516239 | 6866 185107 1299581 | 1 92068 40 | 0.000 % | 60.88/60.97 c | 518008 | 6866 185107 1299581 | 1 93837 40 | 0.000 % | 60.88/60.97 c | 518110 | 6866 185107 1299581 | 1 93939 40 | 0.000 % | 60.88/60.97 c | 534372 | 6866 185107 1299581 | 1 61996 29 | 0.000 % | 60.88/60.97 c | 535339 | 6866 185107 1299581 | 1 62963 29 | 0.000 % | 60.88/60.97 c | 535671 | 6866 185107 1299581 | 1 63295 29 | 0.000 % | 60.88/60.97 c | 542155 | 6866 185107 1299581 | 1 69779 32 | 0.000 % | 60.88/60.97 c | 550462 | 6866 185107 1299581 | 1 78086 35 | 0.000 % | 60.88/60.97 c | 550597 | 6866 185107 1299581 | 1 78221 35 | 0.000 % | 60.88/60.97 c | 551428 | 6866 185107 1299581 | 1 79052 35 | 0.000 % | 60.88/60.97 c | 551718 | 6866 185107 1299581 | 1 79342 35 | 0.000 % | 60.88/60.97 c | 552352 | 6866 185107 1299581 | 1 79976 35 | 0.000 % | 60.88/60.97 c | 553333 | 6866 185107 1299581 | 1 80957 36 | 0.000 % | 60.88/60.97 c | 555862 | 6866 185107 1299581 | 1 83486 37 | 0.000 % | 60.88/60.97 c | 556018 | 6866 185107 1299581 | 1 83642 37 | 0.000 % | 60.88/60.97 c | 559742 | 6866 185107 1299581 | 1 87366 37 | 0.000 % | 60.88/60.97 c | 559990 | 6866 185107 1299581 | 1 87614 37 | 0.000 % | 60.88/60.97 c | 561195 | 6866 185107 1299581 | 1 88819 38 | 0.000 % | 60.88/60.97 c | 566391 | 6866 185107 1299581 | 1 94015 38 | 0.000 % | 60.88/60.97 c | 567626 | 6866 185107 1299581 | 1 95250 39 | 0.000 % | 60.88/60.97 c | 568281 | 6866 185107 1299581 | 1 95905 39 | 0.000 % | 60.88/60.97 c | 568455 | 6866 185107 1299581 | 1 96079 39 | 0.000 % | 60.88/60.97 c | 568555 | 6866 185107 1299581 | 1 96179 39 | 0.000 % | 60.88/60.97 c | 568912 | 6866 185107 1299581 | 1 96536 39 | 0.000 % | 60.88/60.97 c | 573368 | 6866 185107 1299581 | 1 100992 40 | 0.000 % | 60.88/60.97 c | 573563 | 6866 185107 1299581 | 1 101187 40 | 0.000 % | 60.88/60.97 c | 573898 | 6866 185107 1299581 | 1 101522 40 | 0.000 % | 60.88/60.97 c | 574274 | 6866 185107 1299581 | 1 51090 23 | 0.000 % | 60.88/60.97 c | 575728 | 6866 185107 1299581 | 1 52544 24 | 0.000 % | 60.88/60.97 c | 576342 | 6866 185107 1299581 | 1 53158 25 | 0.000 % | 60.88/60.97 c | 576575 | 6866 185107 1299581 | 1 53391 25 | 0.000 % | 60.88/60.97 c | 577349 | 6866 185107 1299581 | 1 54165 26 | 0.000 % | 60.88/60.97 c | 577451 | 6866 185107 1299581 | 1 54267 26 | 0.000 % | 60.88/60.97 c | 579414 | 6866 185107 1299581 | 1 56230 26 | 0.000 % | 60.88/60.97 c | 579614 | 6866 185107 1299581 | 1 56430 26 | 0.000 % | 60.88/60.97 c | 604743 | 6866 185107 1299581 | 1 81559 39 | 0.000 % | 60.88/60.97 c | 608858 | 6866 185107 1299581 | 1 85674 39 | 0.000 % | 60.88/60.97 c | 609211 | 6866 185107 1299581 | 1 86027 40 | 0.000 % | 60.88/60.97 c | 661714 | 6866 185107 1299581 | 1 85133 39 | 0.000 % | 60.88/60.97 c | 664586 | 6866 185107 1299581 | 1 88005 39 | 0.000 % | 80.18/80.22 c | 669205 | 6866 185107 1299581 | 1 92624 39 | 0.000 % | 80.18/80.22 c | 669514 | 6866 185107 1299581 | 1 92933 40 | 0.000 % | 80.18/80.22 c | 670439 | 6866 185107 1299581 | 1 93858 40 | 0.000 % | 80.18/80.22 c | 670669 | 6866 185107 1299581 | 1 94088 40 | 0.000 % | 80.18/80.22 c | 671722 | 6866 185107 1299581 | 1 95141 40 | 0.000 % | 80.18/80.22 c | 672957 | 6866 185107 1299581 | 1 96376 40 | 0.000 % | 80.18/80.22 c | 675824 | 6866 185107 1299581 | 1 99243 41 | 0.000 % | 80.18/80.22 c | 676025 | 6866 185107 1299581 | 1 99444 41 | 0.000 % | 80.18/80.22 c | 676653 | 6866 185107 1299581 | 1 100072 41 | 0.000 % | 80.18/80.22 c | 676958 | 6866 185107 1299581 | 1 100377 41 | 0.000 % | 80.18/80.22 c | 677218 | 6866 185107 1299581 | 1 100637 41 | 0.000 % | 80.18/80.22 c | 678026 | 6866 185107 1299581 | 1 101445 41 | 0.000 % | 80.18/80.22 c | 678127 | 6866 185107 1299581 | 1 101546 41 | 0.000 % | 80.18/80.22 c | 692853 | 6866 185107 1299581 | 1 60269 28 | 0.000 % | 80.18/80.22 c | 694505 | 6866 185107 1299581 | 1 61921 28 | 0.000 % | 80.18/80.22 c | 700706 | 6866 185107 1299581 | 1 68122 31 | 0.000 % | 80.18/80.22 c | 732420 | 6866 185107 1299581 | 1 99836 37 | 0.000 % | 80.18/80.22 c | 733539 | 6866 185107 1299581 | 1 100955 38 | 0.000 % | 80.18/80.22 c | 734981 | 6866 185107 1299581 | 1 102397 38 | 0.000 % | 80.18/80.22 c | 735514 | 6866 185107 1299581 | 1 102930 38 | 0.000 % | 80.18/80.22 c | 735742 | 6866 185107 1299581 | 1 103158 38 | 0.000 % | 80.18/80.22 c | 737985 | 6866 185107 1299581 | 1 105401 39 | 0.000 % | 80.18/80.22 c | 738373 | 6866 185107 1299581 | 1 105789 39 | 0.000 % | 80.18/80.22 c | 738618 | 6866 185107 1299581 | 1 106034 39 | 0.000 % | 80.18/80.22 c | 738718 | 6866 185107 1299581 | 1 106134 39 | 0.000 % | 80.18/80.22 c | 738819 | 6866 185107 1299581 | 1 106235 39 | 0.000 % | 80.18/80.22 c | 738919 | 6866 185107 1299581 | 1 106335 39 | 0.000 % | 80.18/80.22 c | 764710 | 6866 185107 1299581 | 1 73534 37 | 0.000 % | 80.18/80.22 c | 765403 | 6866 185107 1299581 | 1 74227 38 | 0.000 % | 80.18/80.22 c | 765950 | 6866 185107 1299581 | 1 74774 38 | 0.000 % | 80.18/80.22 c | 766414 | 6866 185107 1299581 | 1 75238 38 | 0.000 % | 80.18/80.22 c | 767618 | 6866 185107 1299581 | 1 76442 38 | 0.000 % | 80.18/80.22 c | 767915 | 6866 185107 1299581 | 1 76739 38 | 0.000 % | 80.18/80.22 c | 768715 | 6866 185107 1299581 | 1 77539 39 | 0.000 % | 80.18/80.22 c | 771967 | 6866 185107 1299581 | 1 80791 40 | 0.000 % | 80.18/80.22 c | 772068 | 6866 185107 1299581 | 1 80892 40 | 0.000 % | 80.18/80.22 c | 775427 | 6866 185107 1299581 | 1 84251 42 | 0.000 % | 80.18/80.22 c | 775527 | 6866 185107 1299581 | 1 84351 42 | 0.000 % | 80.18/80.22 c | 778000 | 6866 185107 1299581 | 1 86824 42 | 0.000 % | 80.18/80.22 c | 782472 | 6866 185107 1299581 | 1 91296 43 | 0.000 % | 80.18/80.22 c | 782945 | 6866 185107 1299581 | 1 91769 43 | 0.000 % | 80.18/80.22 c | 786205 | 6866 185107 1299581 | 1 95029 43 | 0.000 % | 80.18/80.22 c | 806283 | 6866 185107 1299581 | 1 115107 45 | 0.000 % | 80.18/80.22 c | 806383 | 6866 185107 1299581 | 1 115207 45 | 0.000 % | 80.18/80.22 c | 806512 | 6866 185107 1299581 | 1 115336 45 | 0.000 % | 80.18/80.22 c | 806615 | 6866 185107 1299581 | 1 115439 45 | 0.000 % | 80.18/80.22 c | 808048 | 6866 185107 1299581 | 1 116872 45 | 0.000 % | 80.18/80.22 c | 808676 | 6866 185107 1299581 | 1 117500 45 | 0.000 % | 80.18/80.22 c | 820180 | 6866 185107 1299581 | 1 67799 28 | 0.000 % | 107.89/107.96 c | 820366 | 6866 185107 1299581 | 1 67985 28 | 0.000 % | 107.89/107.96 c | 820468 | 6866 185107 1299581 | 1 68087 28 | 0.000 % | 107.89/107.96 c | 821494 | 6866 185107 1299581 | 1 69113 29 | 0.000 % | 107.89/107.96 c | 856322 | 6866 185107 1299581 | 1 103941 34 | 0.000 % | 107.89/107.96 c | 856424 | 6866 185107 1299581 | 1 104043 34 | 0.000 % | 107.89/107.96 c | 857460 | 6866 185107 1299581 | 1 105079 35 | 0.000 % | 107.89/107.96 c | 857856 | 6866 185107 1299581 | 1 105475 35 | 0.000 % | 107.89/107.96 c | 873482 | 6866 185107 1299581 | 1 121101 37 | 0.000 % | 107.89/107.96 c | 873582 | 6866 185107 1299581 | 1 121201 37 | 0.000 % | 107.89/107.96 c | 889370 | 6866 185107 1299581 | 1 73208 26 | 0.000 % | 107.89/107.96 c | 893020 | 6866 185107 1299581 | 1 76858 28 | 0.000 % | 107.89/107.96 c | 893904 | 6866 185107 1299581 | 1 77742 28 | 0.000 % | 107.89/107.96 c | 894395 | 6866 185107 1299581 | 1 78233 28 | 0.000 % | 107.89/107.96 c | 895758 | 6866 185107 1299581 | 1 79596 29 | 0.000 % | 107.89/107.96 c | 895935 | 6866 185107 1299581 | 1 79773 29 | 0.000 % | 107.89/107.96 c | 912082 | 6866 185107 1299581 | 1 95920 33 | 0.000 % | 107.89/107.96 c | 912769 | 6866 185107 1299581 | 1 96607 33 | 0.000 % | 107.89/107.96 c | 929647 | 6866 185107 1299581 | 1 113485 37 | 0.000 % | 107.89/107.96 c | 931929 | 6866 185107 1299581 | 1 115767 37 | 0.000 % | 107.89/107.96 c | 932033 | 6866 185107 1299581 | 1 115871 37 | 0.000 % | 107.89/107.96 c | 932522 | 6866 185107 1299581 | 1 116360 37 | 0.000 % | 107.89/107.96 c | 940487 | 6866 185107 1299581 | 1 124325 39 | 0.000 % | 107.89/107.96 c | 954458 | 6866 185107 1299581 | 1 71895 27 | 0.000 % | 107.89/107.96 c | 955821 | 6866 185107 1299581 | 1 73258 27 | 0.000 % | 107.89/107.96 c | 958111 | 6866 185107 1299581 | 1 75548 28 | 0.000 % | 107.89/107.96 c | 958211 | 6866 185107 1299581 | 1 75648 28 | 0.000 % | 107.89/107.96 c | 962483 | 6866 185107 1299581 | 1 79920 30 | 0.000 % | 107.89/107.96 c | 965269 | 6866 185107 1299581 | 1 82706 31 | 0.000 % | 107.89/107.96 c | 966205 | 6866 185107 1299581 | 1 83642 31 | 0.000 % | 107.89/107.96 c | 966656 | 6866 185107 1299581 | 1 84093 31 | 0.000 % | 107.89/107.96 c | 967788 | 6866 185107 1299581 | 1 85225 32 | 0.000 % | 107.89/107.96 c | 972543 | 6866 185107 1299581 | 1 89980 33 | 0.000 % | 107.89/107.96 c | 975078 | 6866 185107 1299581 | 1 92515 34 | 0.000 % | 107.89/107.96 c | 978550 | 6866 185107 1299581 | 1 95987 35 | 0.000 % | 107.89/107.96 c | 980747 | 6866 185107 1299581 | 1 98184 36 | 0.000 % | 107.89/107.96 c | 985729 | 6866 185107 1299581 | 1 103166 36 | 0.000 % | 107.89/107.96 c | 985829 | 6866 185107 1299581 | 1 103266 36 | 0.000 % | 107.89/107.96 c | 985960 | 6866 185107 1299581 | 1 103397 36 | 0.000 % | 107.89/107.96 c | 986572 | 6866 185107 1299581 | 1 104009 36 | 0.000 % | 107.89/107.96 c | 987057 | 6866 185107 1299581 | 1 104494 37 | 0.000 % | 107.89/107.96 c | 987159 | 6866 185107 1299581 | 1 104596 37 | 0.000 % | 107.89/107.96 c | 987259 | 6866 185107 1299581 | 1 104696 37 | 0.000 % | 107.89/107.96 c | 1007445 | 6866 185107 1299581 | 1 124882 38 | 0.000 % | 107.89/107.96 c | 1007946 | 6866 185107 1299581 | 1 125383 38 | 0.000 % | 107.89/107.96 c | 1008145 | 6866 185107 1299581 | 1 125582 38 | 0.000 % | 107.89/107.96 c | 1009553 | 6866 185107 1299581 | 1 126990 38 | 0.000 % | 107.89/107.96 c | 1012063 | 6866 185107 1299581 | 1 129500 39 | 0.000 % | 107.89/107.96 c | 1042151 | 6866 185107 1299581 | 1 90576 29 | 0.000 % | 107.89/107.96 c | 1042284 | 6866 185107 1299581 | 1 90709 29 | 0.000 % | 107.89/107.96 c | 1042429 | 6866 185107 1299581 | 1 90854 29 | 0.000 % | 126.68/126.77 c | 1046231 | 6866 185107 1299581 | 1 94656 30 | 0.000 % | 126.68/126.77 c | 1046455 | 6866 185107 1299581 | 1 94880 30 | 0.000 % | 126.68/126.77 c | 1046735 | 6866 185107 1299581 | 1 95160 30 | 0.000 % | 126.68/126.77 c | 1046835 | 6866 185107 1299581 | 1 95260 30 | 0.000 % | 126.68/126.77 c | 1047228 | 6866 185107 1299581 | 1 95653 30 | 0.000 % | 126.68/126.77 c | 1047334 | 6866 185107 1299581 | 1 95759 30 | 0.000 % | 126.68/126.77 c | 1051536 | 6866 185107 1299581 | 1 99961 31 | 0.000 % | 126.68/126.77 c | 1054257 | 6866 185107 1299581 | 1 102682 32 | 0.000 % | 126.68/126.77 c | 1065424 | 6866 185107 1299581 | 1 113849 34 | 0.000 % | 126.68/126.77 c | 1082925 | 6866 185107 1299581 | 1 131350 36 | 0.000 % | 126.68/126.77 c | 1083035 | 6866 185107 1299581 | 1 131460 36 | 0.000 % | 126.68/126.77 c | 1084735 | 6866 185107 1299581 | 1 133160 36 | 0.000 % | 126.68/126.77 c | 1092768 | 6866 185107 1299581 | 1 141193 37 | 0.000 % | 126.68/126.77 c | 1095077 | 6866 185107 1299581 | 1 71914 23 | 0.000 % | 126.68/126.77 c | 1102411 | 6866 185107 1299581 | 1 79248 27 | 0.000 % | 126.68/126.77 c | 1103114 | 6866 185107 1299581 | 1 79951 27 | 0.000 % | 126.68/126.77 c | 1104203 | 6866 185107 1299581 | 1 81040 27 | 0.000 % | 126.68/126.77 c | 1111134 | 6866 185107 1299581 | 1 87971 30 | 0.000 % | 126.68/126.77 c | 1119800 | 6866 185107 1299581 | 1 96637 34 | 0.000 % | 126.68/126.77 c | 1119926 | 6866 185107 1299581 | 1 96763 34 | 0.000 % | 126.68/126.77 c | 1135449 | 6866 185107 1299581 | 1 112286 36 | 0.000 % | 126.68/126.77 c | 1135881 | 6866 185107 1299581 | 1 112718 36 | 0.000 % | 126.68/126.77 c | 1135987 | 6866 185107 1299581 | 1 112824 37 | 0.000 % | 126.68/126.77 c | 1137879 | 6866 185107 1299581 | 1 114716 37 | 0.000 % | 126.68/126.77 c | 1145607 | 6866 185107 1299581 | 1 122444 38 | 0.000 % | 126.68/126.77 c | 1145925 | 6866 185107 1299581 | 1 122762 38 | 0.000 % | 126.68/126.77 c | 1155544 | 6866 185107 1299581 | 1 132381 41 | 0.000 % | 126.68/126.77 c | 1155647 | 6866 185107 1299581 | 1 132484 41 | 0.000 % | 126.68/126.77 c | 1156186 | 6866 185107 1299581 | 1 133023 41 | 0.000 % | 126.68/126.77 c | 1158074 | 6866 185107 1299581 | 1 134911 42 | 0.000 % | 126.68/126.77 c | 1163151 | 6866 185107 1299581 | 1 139988 43 | 0.000 % | 126.68/126.77 c | 1163751 | 6866 185107 1299581 | 1 140588 43 | 0.000 % | 126.68/126.77 c | 1166721 | 6866 185107 1299581 | 1 143558 43 | 0.000 % | 126.68/126.77 c | 1166821 | 6866 185107 1299581 | 1 143658 43 | 0.000 % | 126.68/126.77 c | 1169709 | 6866 185107 1299581 | 1 146546 44 | 0.000 % | 126.68/126.77 c | 1169813 | 6866 185107 1299581 | 1 146650 44 | 0.000 % | 126.68/126.77 c | 1171176 | 6866 185107 1299581 | 1 148013 44 | 0.000 % | 126.68/126.77 c | 1174580 | 6866 185107 1299581 | 1 77203 26 | 0.000 % | 126.68/126.77 c | 1175082 | 6866 185107 1299581 | 1 77705 26 | 0.000 % | 126.68/126.77 c | 1175267 | 6866 185107 1299581 | 1 77890 26 | 0.000 % | 126.68/126.77 c | 1175371 | 6866 185107 1299581 | 1 77994 26 | 0.000 % | 126.68/126.77 c | 1175471 | 6866 185107 1299581 | 1 78094 26 | 0.000 % | 126.68/126.77 c | 1176818 | 6866 185107 1299581 | 1 79441 27 | 0.000 % | 126.68/126.77 c | 1180205 | 6866 185107 1299581 | 1 82828 28 | 0.000 % | 126.68/126.77 c | 1180333 | 6866 185107 1299581 | 1 82956 28 | 0.000 % | 126.68/126.77 c | 1181088 | 6866 185107 1299581 | 1 83711 29 | 0.000 % | 126.68/126.77 c | 1181311 | 6866 185107 1299581 | 1 83934 29 | 0.000 % | 126.68/126.77 c | 1185918 | 6866 185107 1299581 | 1 88541 30 | 0.000 % | 126.68/126.77 c | 1187051 | 6866 185107 1299581 | 1 89674 31 | 0.000 % | 126.68/126.77 c | 1187504 | 6866 185107 1299581 | 1 90127 31 | 0.000 % | 170.28/170.31 c | 1187958 | 6866 185107 1299581 | 1 90581 31 | 0.000 % | 170.28/170.31 c | 1188271 | 6866 185107 1299581 | 1 90894 31 | 0.000 % | 170.28/170.31 c | 1189113 | 6866 185107 1299581 | 1 91736 31 | 0.000 % | 170.28/170.31 c | 1190845 | 6866 185107 1299581 | 1 93468 32 | 0.000 % | 170.28/170.31 c | 1190945 | 6866 185107 1299581 | 1 93568 32 | 0.000 % | 170.28/170.31 c | 1191045 | 6866 185107 1299581 | 1 93668 32 | 0.000 % | 170.28/170.31 c | 1191145 | 6866 185107 1299581 | 1 93768 33 | 0.000 % | 170.28/170.31 c | 1216815 | 6866 185107 1299581 | 1 119438 36 | 0.000 % | 170.28/170.31 c | 1218372 | 6866 185107 1299581 | 1 120995 36 | 0.000 % | 170.28/170.31 c | 1218473 | 6866 185107 1299581 | 1 121096 36 | 0.000 % | 170.28/170.31 c | 1218751 | 6866 185107 1299581 | 1 121374 36 | 0.000 % | 170.28/170.31 c | 1218922 | 6866 185107 1299581 | 1 121545 36 | 0.000 % | 170.28/170.31 c | 1234349 | 6866 185107 1299581 | 1 136972 38 | 0.000 % | 170.28/170.31 c | 1234449 | 6866 185107 1299581 | 1 137072 38 | 0.000 % | 170.28/170.31 c | 1235374 | 6866 185107 1299581 | 1 137997 39 | 0.000 % | 170.28/170.31 c | 1240076 | 6866 185107 1299581 | 1 142699 39 | 0.000 % | 170.28/170.31 c | 1254154 | 6866 185107 1299581 | 1 79971 25 | 0.000 % | 170.28/170.31 c | 1254310 | 6866 185107 1299581 | 1 80127 25 | 0.000 % | 170.28/170.31 c | 1262207 | 6866 185107 1299581 | 1 88024 28 | 0.000 % | 170.28/170.31 c | 1262908 | 6866 185107 1299581 | 1 88725 28 | 0.000 % | 170.28/170.31 c | 1263773 | 6866 185107 1299581 | 1 89590 28 | 0.000 % | 170.28/170.31 c | 1266845 | 6866 185107 1299581 | 1 92662 30 | 0.000 % | 170.28/170.31 c | 1266945 | 6866 185107 1299581 | 1 92762 30 | 0.000 % | 170.28/170.31 c | 1274562 | 6866 185107 1299581 | 1 100379 31 | 0.000 % | 170.28/170.31 c | 1274662 | 6866 185107 1299581 | 1 100479 31 | 0.000 % | 170.28/170.31 c | 1274856 | 6866 185107 1299581 | 1 100673 31 | 0.000 % | 170.28/170.31 c | 1275459 | 6866 185107 1299581 | 1 101276 31 | 0.000 % | 170.28/170.31 c | 1275907 | 6866 185107 1299581 | 1 101724 31 | 0.000 % | 170.28/170.31 c | 1279298 | 6866 185107 1299581 | 1 105115 32 | 0.000 % | 170.28/170.31 c | 1279904 | 6866 185107 1299581 | 1 105721 33 | 0.000 % | 170.28/170.31 c | 1280030 | 6866 185107 1299581 | 1 105847 33 | 0.000 % | 170.28/170.31 c | 1280134 | 6866 185107 1299581 | 1 105951 33 | 0.000 % | 170.28/170.31 c | 1280277 | 6866 185107 1299581 | 1 106094 33 | 0.000 % | 170.28/170.31 c | 1284879 | 6866 185107 1299581 | 1 110696 35 | 0.000 % | 170.28/170.31 c | 1285031 | 6866 185107 1299581 | 1 110848 35 | 0.000 % | 170.28/170.31 c | 1286548 | 6866 185107 1299581 | 1 112365 35 | 0.000 % | 170.28/170.31 c | 1287758 | 6866 185107 1299581 | 1 113575 35 | 0.000 % | 170.28/170.31 c | 1298725 | 6866 185107 1299581 | 1 124542 38 | 0.000 % | 170.28/170.31 c | 1298901 | 6866 185107 1299581 | 1 124718 38 | 0.000 % | 170.28/170.31 c | 1324779 | 6866 185107 1299581 | 1 150596 40 | 0.000 % | 170.28/170.31 c | 1422003 | 6866 185107 1299581 | 1 86435 25 | 0.000 % | 170.28/170.31 c | 1424841 | 6866 185107 1299581 | 1 89273 26 | 0.000 % | 170.28/170.31 c | 1425967 | 6866 185107 1299581 | 1 90399 26 | 0.000 % | 170.28/170.31 c | 1426565 | 6866 185107 1299581 | 1 90997 27 | 0.000 % | 170.28/170.31 c | 1434236 | 6866 185107 1299581 | 1 98668 29 | 0.000 % | 170.28/170.31 c | 1436589 | 6866 185107 1299581 | 1 101021 30 | 0.000 % | 170.28/170.31 c | 1437212 | 6866 185107 1299581 | 1 101644 30 | 0.000 % | 170.28/170.31 c | 1446905 | 6866 185107 1299581 | 1 111337 32 | 0.000 % | 170.28/170.31 c | 1447405 | 6866 185107 1299581 | 1 111837 32 | 0.000 % | 170.28/170.31 c | 1459044 | 6866 185107 1299581 | 1 123476 33 | 0.000 % | 198.68/198.77 c | 1460281 | 6866 185107 1299581 | 1 124713 34 | 0.000 % | 198.68/198.77 c | 1460678 | 6866 185107 1299581 | 1 125110 34 | 0.000 % | 198.68/198.77 c | 1462865 | 6866 185107 1299581 | 1 127297 34 | 0.000 % | 198.68/198.77 c | 1465084 | 6866 185107 1299581 | 1 129516 35 | 0.000 % | 198.68/198.77 c | 1465290 | 6866 185107 1299581 | 1 129722 35 | 0.000 % | 198.68/198.77 c | 1465588 | 6866 185107 1299581 | 1 130020 35 | 0.000 % | 198.68/198.77 c | 1465758 | 6866 185107 1299581 | 1 130190 35 | 0.000 % | 198.68/198.77 c | 1465858 | 6866 185107 1299581 | 1 130290 35 | 0.000 % | 198.68/198.77 c | 1466003 | 6866 185107 1299581 | 1 130435 35 | 0.000 % | 198.68/198.77 c | 1467371 | 6866 185107 1299581 | 1 131803 36 | 0.000 % | 198.68/198.77 c | 1467473 | 6866 185107 1299581 | 1 131905 36 | 0.000 % | 198.68/198.77 c | 1467712 | 6866 185107 1299581 | 1 132144 36 | 0.000 % | 198.68/198.77 c | 1468529 | 6866 185107 1299581 | 1 132961 36 | 0.000 % | 198.68/198.77 c | 1468691 | 6866 185107 1299581 | 1 133123 36 | 0.000 % | 198.68/198.77 c | 1469464 | 6866 185107 1299581 | 1 133896 36 | 0.000 % | 198.68/198.77 c | 1473471 | 6866 185107 1299581 | 1 137903 37 | 0.000 % | 198.68/198.77 c | 1473576 | 6866 185107 1299581 | 1 138008 37 | 0.000 % | 198.68/198.77 c | 1476514 | 6866 185107 1299581 | 1 140946 37 | 0.000 % | 198.68/198.77 c | 1478289 | 6866 185107 1299581 | 1 142721 38 | 0.000 % | 198.68/198.77 c | 1494027 | 6866 185107 1299581 | 1 158459 39 | 0.000 % | 198.68/198.77 c | 1495013 | 6866 185107 1299581 | 1 159445 39 | 0.000 % | 198.68/198.77 c | 1495136 | 6866 185107 1299581 | 1 159568 39 | 0.000 % | 198.68/198.77 c | 1495537 | 6866 185107 1299581 | 1 159969 39 | 0.000 % | 198.68/198.77 c | 1495725 | 6866 185107 1299581 | 1 160157 39 | 0.000 % | 198.68/198.77 c | 1497124 | 6866 185107 1299581 | 1 161556 39 | 0.000 % | 198.68/198.77 c | 1497447 | 6866 185107 1299581 | 1 161879 39 | 0.000 % | 198.68/198.77 c | 1497901 | 6866 185107 1299581 | 1 162333 39 | 0.000 % | 198.68/198.77 c | 1498131 | 6866 185107 1299581 | 1 162563 39 | 0.000 % | 198.68/198.77 c | 1500648 | 6866 185107 1299581 | 1 165080 39 | 0.000 % | 198.68/198.77 c | 1500750 | 6866 185107 1299581 | 1 165182 39 | 0.000 % | 198.68/198.77 c | 1501051 | 6866 185107 1299581 | 1 165483 40 | 0.000 % | 198.68/198.77 c | 1501695 | 6866 185107 1299581 | 1 166127 40 | 0.000 % | 198.68/198.77 c | 1505473 | 6866 185107 1299581 | 1 85298 24 | 0.000 % | 198.68/198.77 c | 1507844 | 6866 185107 1299581 | 1 87669 24 | 0.000 % | 198.68/198.77 c | 1508388 | 6866 185107 1299581 | 1 88213 24 | 0.000 % | 198.68/198.77 c | 1508659 | 6866 185107 1299581 | 1 88484 25 | 0.000 % | 198.68/198.77 c | 1522395 | 6866 185107 1299581 | 1 102220 28 | 0.000 % | 198.68/198.77 c | 1543947 | 6866 185107 1299581 | 1 123772 32 | 0.000 % | 198.68/198.77 c | 1544047 | 6866 185107 1299581 | 1 123872 32 | 0.000 % | 198.68/198.77 c | 1546874 | 6866 185107 1299581 | 1 126699 33 | 0.000 % | 198.68/198.77 c | 1547166 | 6866 185107 1299581 | 1 126991 33 | 0.000 % | 198.68/198.77 c | 1568741 | 6866 185107 1299581 | 1 148566 36 | 0.000 % | 198.68/198.77 c | 1579788 | 6866 185107 1299581 | 1 159613 38 | 0.000 % | 198.68/198.77 c | 1579900 | 6866 185107 1299581 | 1 159725 38 | 0.000 % | 198.68/198.77 c | 1584538 | 6866 185107 1299581 | 1 164363 39 | 0.000 % | 198.68/198.77 c | 1584638 | 6866 185107 1299581 | 1 164463 39 | 0.000 % | 198.68/198.77 c | 1592402 | 6866 185107 1299581 | 1 172227 40 | 0.000 % | 198.68/198.77 c | 1593558 | 6866 185107 1299581 | 1 173383 41 | 0.000 % | 198.68/198.77 c | 1616947 | 6866 185107 1299581 | 1 109574 30 | 0.000 % | 198.68/198.77 c | 1643656 | 6866 185107 1299581 | 1 136283 34 | 0.000 % | 222.18/222.27 c | 1643843 | 6866 185107 1299581 | 1 136470 34 | 0.000 % | 222.18/222.27 c | 1643943 | 6866 185107 1299581 | 1 136570 34 | 0.000 % | 222.18/222.27 c | 1644355 | 6866 185107 1299581 | 1 136982 34 | 0.000 % | 222.18/222.27 c | 1644738 | 6866 185107 1299581 | 1 137365 34 | 0.000 % | 222.18/222.27 c | 1645072 | 6866 185107 1299581 | 1 137699 35 | 0.000 % | 222.18/222.27 c | 1650196 | 6866 185107 1299581 | 1 142823 36 | 0.000 % | 222.18/222.27 c | 1650297 | 6866 185107 1299581 | 1 142924 36 | 0.000 % | 222.18/222.27 c | 1650432 | 6866 185107 1299581 | 1 143059 36 | 0.000 % | 222.18/222.27 c | 1654359 | 6866 185107 1299581 | 1 146986 36 | 0.000 % | 222.18/222.27 c | 1672761 | 6866 185107 1299581 | 1 165388 38 | 0.000 % | 222.18/222.27 c | 1672861 | 6866 185107 1299581 | 1 165488 38 | 0.000 % | 222.18/222.27 c | 1672976 | 6866 185107 1299581 | 1 165603 38 | 0.000 % | 222.18/222.27 c | 1673140 | 6866 185107 1299581 | 1 165767 38 | 0.000 % | 222.18/222.27 c | 1673457 | 6866 185107 1299581 | 1 166084 38 | 0.000 % | 222.18/222.27 c | 1677471 | 6866 185107 1299581 | 1 170098 38 | 0.000 % | 222.18/222.27 c | 1679373 | 6866 185107 1299581 | 1 172000 39 | 0.000 % | 222.18/222.27 c | 1679475 | 6866 185107 1299581 | 1 172102 39 | 0.000 % | 222.18/222.27 c | 1679687 | 6866 185107 1299581 | 1 172314 39 | 0.000 % | 222.18/222.27 c | 1679788 | 6866 185107 1299581 | 1 172415 39 | 0.000 % | 222.18/222.27 c | 1680035 | 6866 185107 1299581 | 1 172662 39 | 0.000 % | 222.18/222.27 c | 1685137 | 6866 185107 1299581 | 1 177764 39 | 0.000 % | 222.18/222.27 c | 1685238 | 6866 185107 1299581 | 1 177865 39 | 0.000 % | 222.18/222.27 c | 1687296 | 6866 185107 1299581 | 1 90126 25 | 0.000 % | 222.18/222.27 c | 1687396 | 6866 185107 1299581 | 1 90226 25 | 0.000 % | 222.18/222.27 c | 1688853 | 6866 185107 1299581 | 1 91683 26 | 0.000 % | 222.18/222.27 c | 1688953 | 6866 185107 1299581 | 1 91783 26 | 0.000 % | 222.18/222.27 c | 1689055 | 6866 185107 1299581 | 1 91885 26 | 0.000 % | 222.18/222.27 c | 1689476 | 6866 185107 1299581 | 1 92306 26 | 0.000 % | 222.18/222.27 c | 1689603 | 6866 185107 1299581 | 1 92433 26 | 0.000 % | 222.18/222.27 c | 1692453 | 6866 185107 1299581 | 1 95283 27 | 0.000 % | 222.18/222.27 c | 1693034 | 6866 185107 1299581 | 1 95864 27 | 0.000 % | 222.18/222.27 c | 1715084 | 6866 185107 1299581 | 1 117914 33 | 0.000 % | 222.18/222.27 c | 1715549 | 6866 185107 1299581 | 1 118379 33 | 0.000 % | 222.18/222.27 c | 1719718 | 6866 185107 1299581 | 1 122548 34 | 0.000 % | 222.18/222.27 c | 1743629 | 6866 185107 1299581 | 1 146459 38 | 0.000 % | 222.18/222.27 c | 1743729 | 6866 185107 1299581 | 1 146559 38 | 0.000 % | 222.18/222.27 c | 1756593 | 6866 185107 1299581 | 1 159423 40 | 0.000 % | 222.18/222.27 c | 1756719 | 6866 185107 1299581 | 1 159549 40 | 0.000 % | 222.18/222.27 c | 1764452 | 6866 185107 1299581 | 1 167282 40 | 0.000 % | 222.18/222.27 c | 1764754 | 6866 185107 1299581 | 1 167584 40 | 0.000 % | 222.18/222.27 c | 1767074 | 6866 185107 1299581 | 1 169904 40 | 0.000 % | 222.18/222.27 c | 1768649 | 6866 185107 1299581 | 1 171479 41 | 0.000 % | 222.18/222.27 c | 1771852 | 6866 185107 1299581 | 1 174682 41 | 0.000 % | 222.18/222.27 c | 1774860 | 6866 185107 1299581 | 1 177690 41 | 0.000 % | 222.18/222.27 c | 1778761 | 6866 185107 1299581 | 1 181591 42 | 0.000 % | 222.18/222.27 c | 1778954 | 6866 185107 1299581 | 1 181784 42 | 0.000 % | 222.18/222.27 c | 1779081 | 6866 185107 1299581 | 1 181911 42 | 0.000 % | 222.18/222.27 c | 1779898 | 6866 185107 1299581 | 1 182728 42 | 0.000 % | 222.18/222.27 c | 1781306 | 6866 185107 1299581 | 1 184136 42 | 0.000 % | 222.18/222.27 c | 1783783 | 6866 185107 1299581 | 1 94203 26 | 0.000 % | 252.49/252.52 c | 1783883 | 6866 185107 1299581 | 1 94303 26 | 0.000 % | 252.49/252.52 c | 1790507 | 6866 185107 1299581 | 1 100927 27 | 0.000 % | 252.49/252.52 c | 1829082 | 6866 185107 1299581 | 1 139502 34 | 0.000 % | 252.49/252.52 c | 1829330 | 6866 185107 1299581 | 1 139750 34 | 0.000 % | 252.49/252.52 c | 1832188 | 6866 185107 1299581 | 1 142608 35 | 0.000 % | 252.49/252.52 c | 1832290 | 6866 185107 1299581 | 1 142710 35 | 0.000 % | 252.49/252.52 c | 1832394 | 6866 185107 1299581 | 1 142814 35 | 0.000 % | 252.49/252.52 c | 1832512 | 6866 185107 1299581 | 1 142932 35 | 0.000 % | 252.49/252.52 c | 1837982 | 6866 185107 1299581 | 1 148402 36 | 0.000 % | 252.49/252.52 c | 1840548 | 6866 185107 1299581 | 1 150968 36 | 0.000 % | 252.49/252.52 c | 1863092 | 6866 185107 1299581 | 1 173512 38 | 0.000 % | 252.49/252.52 c | 1865217 | 6866 185107 1299581 | 1 175637 39 | 0.000 % | 252.49/252.52 c | 1865487 | 6866 185107 1299581 | 1 175907 39 | 0.000 % | 252.49/252.52 c | 1867874 | 6866 185107 1299581 | 1 178294 39 | 0.000 % | 252.49/252.52 c | 1868411 | 6866 185107 1299581 | 1 178831 39 | 0.000 % | 252.49/252.52 c | 1869059 | 6866 185107 1299581 | 1 179479 39 | 0.000 % | 252.49/252.52 c | 1870420 | 6866 185107 1299581 | 1 180840 39 | 0.000 % | 252.49/252.52 c | 1875288 | 6866 185107 1299581 | 1 185708 40 | 0.000 % | 252.49/252.52 c | 1876152 | 6866 185107 1299581 | 1 186572 40 | 0.000 % | 252.49/252.52 c | 1876314 | 6866 185107 1299581 | 1 186734 40 | 0.000 % | 252.49/252.52 c | 1876414 | 6866 185107 1299581 | 1 186834 40 | 0.000 % | 252.49/252.52 c | 1889899 | 6866 185107 1299581 | 1 105327 26 | 0.000 % | 252.49/252.52 c | 1891560 | 6866 185107 1299581 | 1 106988 27 | 0.000 % | 252.49/252.52 c | 1907990 | 6866 185107 1299581 | 1 123418 30 | 0.000 % | 252.49/252.52 c | 1909381 | 6866 185107 1299581 | 1 124809 31 | 0.000 % | 252.49/252.52 c | 1909481 | 6866 185107 1299581 | 1 124909 31 | 0.000 % | 252.49/252.52 c | 1918760 | 6866 185107 1299581 | 1 134188 32 | 0.000 % | 252.49/252.52 c | 1918861 | 6866 185107 1299581 | 1 134289 32 | 0.000 % | 252.49/252.52 c | 1919151 | 6866 185107 1299581 | 1 134579 32 | 0.000 % | 252.49/252.52 c | 1919263 | 6866 185107 1299581 | 1 134691 32 | 0.000 % | 252.49/252.52 c | 1919663 | 6866 185107 1299581 | 1 135091 32 | 0.000 % | 252.49/252.52 c | 1931398 | 6866 185107 1299581 | 1 146826 35 | 0.000 % | 252.49/252.52 c | 1932195 | 6866 185107 1299581 | 1 147623 35 | 0.000 % | 252.49/252.52 c | 1933141 | 6866 185107 1299581 | 1 148569 35 | 0.000 % | 252.49/252.52 c | 1933891 | 6866 185107 1299581 | 1 149319 35 | 0.000 % | 252.49/252.52 c | 1936120 | 6866 185107 1299581 | 1 151548 35 | 0.000 % | 252.49/252.52 c | 1943330 | 6866 185107 1299581 | 1 158758 36 | 0.000 % | 252.49/252.52 c | 1946587 | 6866 185107 1299581 | 1 162015 37 | 0.000 % | 252.49/252.52 c | 1946695 | 6866 185107 1299581 | 1 162123 37 | 0.000 % | 252.49/252.52 c | 1947211 | 6866 185107 1299581 | 1 162639 37 | 0.000 % | 252.49/252.52 c | 1948818 | 6866 185107 1299581 | 1 164246 37 | 0.000 % | 252.49/252.52 c | 1950086 | 6866 185107 1299581 | 1 165514 37 | 0.000 % | 252.49/252.52 c | 1950265 | 6866 185107 1299581 | 1 165693 38 | 0.000 % | 252.49/252.52 c | 1950745 | 6866 185107 1299581 | 1 166173 38 | 0.000 % | 252.49/252.52 c | 1950848 | 6866 185107 1299581 | 1 166276 38 | 0.000 % | 252.49/252.52 c | 1951626 | 6866 185107 1299581 | 1 167054 38 | 0.000 % | 252.49/252.52 c | 1951733 | 6866 185107 1299581 | 1 167161 38 | 0.000 % | 252.49/252.52 c | 1951866 | 6866 185107 1299581 | 1 167294 38 | 0.000 % | 252.49/252.52 c | 1951966 | 6866 185107 1299581 | 1 167394 38 | 0.000 % | 252.49/252.52 c | 1952097 | 6866 185107 1299581 | 1 167525 38 | 0.000 % | 301.59/301.67 c | 1952199 | 6866 185107 1299581 | 1 167627 38 | 0.000 % | 301.59/301.67 c | 1961682 | 6866 185107 1299581 | 1 177110 39 | 0.000 % | 301.59/301.67 c | 1993102 | 6866 185107 1299581 | 1 110933 27 | 0.000 % | 301.59/301.67 c | 1995725 | 6866 185107 1299581 | 1 113556 28 | 0.000 % | 301.59/301.67 c | 1996591 | 6866 185107 1299581 | 1 114422 28 | 0.000 % | 301.59/301.67 c | 2004150 | 6866 185107 1299581 | 1 121981 30 | 0.000 % | 301.59/301.67 c | 2004609 | 6866 185107 1299581 | 1 122440 30 | 0.000 % | 301.59/301.67 c | 2004722 | 6866 185107 1299581 | 1 122553 30 | 0.000 % | 301.59/301.67 c | 2006238 | 6866 185107 1299581 | 1 124069 30 | 0.000 % | 301.59/301.67 c | 2006339 | 6866 185107 1299581 | 1 124170 31 | 0.000 % | 301.59/301.67 c | 2034025 | 6866 185107 1299581 | 1 151856 34 | 0.000 % | 301.59/301.67 c | 2034843 | 6866 185107 1299581 | 1 152674 34 | 0.000 % | 301.59/301.67 c | 2037948 | 6866 185107 1299581 | 1 155779 35 | 0.000 % | 301.59/301.67 c | 2039224 | 6866 185107 1299581 | 1 157055 35 | 0.000 % | 301.59/301.67 c | 2039343 | 6866 185107 1299581 | 1 157174 35 | 0.000 % | 301.59/301.67 c | 2057619 | 6866 185107 1299581 | 1 175450 37 | 0.000 % | 301.59/301.67 c | 2060571 | 6866 185107 1299581 | 1 178402 38 | 0.000 % | 301.59/301.67 c | 2060744 | 6866 185107 1299581 | 1 178575 38 | 0.000 % | 301.59/301.67 c | 2060970 | 6866 185107 1299581 | 1 178801 38 | 0.000 % | 301.59/301.67 c | 2079484 | 6866 185107 1299581 | 1 197315 39 | 0.000 % | 301.59/301.67 c | 2079592 | 6866 185107 1299581 | 1 197423 39 | 0.000 % | 301.59/301.67 c | 2085173 | 6866 185107 1299581 | 1 102796 25 | 0.000 % | 301.59/301.67 c | 2104562 | 6866 185107 1299581 | 1 122185 30 | 0.000 % | 301.59/301.67 c | 2106102 | 6866 185107 1299581 | 1 123725 30 | 0.000 % | 301.59/301.67 c | 2106556 | 6866 185107 1299581 | 1 124179 30 | 0.000 % | 301.59/301.67 c | 2106658 | 6866 185107 1299581 | 1 124281 30 | 0.000 % | 301.59/301.67 c | 2107112 | 6866 185107 1299581 | 1 124735 30 | 0.000 % | 301.59/301.67 c | 2113750 | 6866 185107 1299581 | 1 131373 32 | 0.000 % | 301.59/301.67 c | 2120710 | 6866 185107 1299581 | 1 138333 35 | 0.000 % | 301.59/301.67 c | 2120813 | 6866 185107 1299581 | 1 138436 35 | 0.000 % | 301.59/301.67 c | 2122232 | 6866 185107 1299581 | 1 139855 35 | 0.000 % | 301.59/301.67 c | 2122421 | 6866 185107 1299581 | 1 140044 35 | 0.000 % | 301.59/301.67 c | 2191743 | 6866 185107 1299581 | 1 106559 25 | 0.000 % | 301.59/301.67 c | 2192204 | 6866 185107 1299581 | 1 107020 26 | 0.000 % | 301.59/301.67 c | 2192305 | 6866 185107 1299581 | 1 107121 26 | 0.000 % | 301.59/301.67 c | 2192410 | 6866 185107 1299581 | 1 107226 26 | 0.000 % | 301.59/301.67 c | 2192512 | 6866 185107 1299581 | 1 107328 26 | 0.000 % | 301.59/301.67 c | 2193043 | 6866 185107 1299581 | 1 107859 26 | 0.000 % | 301.59/301.67 c | 2194080 | 6866 185107 1299581 | 1 108896 26 | 0.000 % | 301.59/301.67 c | 2195614 | 6866 185107 1299581 | 1 110430 27 | 0.000 % | 301.59/301.67 c | 2196681 | 6866 185107 1299581 | 1 111497 27 | 0.000 % | 301.59/301.67 c | 2197346 | 6866 185107 1299581 | 1 112162 27 | 0.000 % | 301.59/301.67 c | 2197560 | 6866 185107 1299581 | 1 112376 28 | 0.000 % | 301.59/301.67 c | 2202086 | 6866 185107 1299581 | 1 116902 31 | 0.000 % | 301.59/301.67 c | 2202186 | 6866 185107 1299581 | 1 117002 31 | 0.000 % | 301.59/301.67 c | 2202736 | 6866 185107 1299581 | 1 117552 31 | 0.000 % | 301.59/301.67 c | 2203796 | 6866 185107 1299581 | 1 118612 32 | 0.000 % | 301.59/301.67 c | 2204253 | 6866 185107 1299581 | 1 119069 32 | 0.000 % | 301.59/301.67 c | 2216235 | 6866 185107 1299581 | 1 131051 35 | 0.000 % | 301.59/301.67 c | 2216575 | 6866 185107 1299581 | 1 131391 35 | 0.000 % | 348.39/348.44 c | 2216678 | 6866 185107 1299581 | 1 131494 35 | 0.000 % | 348.39/348.44 c | 2216819 | 6866 185107 1299581 | 1 131635 35 | 0.000 % | 348.39/348.44 c | 2217026 | 6866 185107 1299581 | 1 131842 35 | 0.000 % | 348.39/348.44 c | 2217154 | 6866 185107 1299581 | 1 131970 35 | 0.000 % | 348.39/348.44 c | 2221457 | 6866 185107 1299581 | 1 136273 36 | 0.000 % | 348.39/348.44 c | 2225765 | 6866 185107 1299581 | 1 140581 36 | 0.000 % | 348.39/348.44 c | 2229188 | 6866 185107 1299581 | 1 144004 38 | 0.000 % | 348.39/348.44 c | 2235576 | 6866 185107 1299581 | 1 150392 39 | 0.000 % | 348.39/348.44 c | 2235819 | 6866 185107 1299581 | 1 150635 39 | 0.000 % | 348.39/348.44 c | 2238994 | 6866 185107 1299581 | 1 153810 40 | 0.000 % | 348.39/348.44 c | 2239643 | 6866 185107 1299581 | 1 154459 40 | 0.000 % | 348.39/348.44 c | 2239743 | 6866 185107 1299581 | 1 154559 40 | 0.000 % | 348.39/348.44 c | 2243245 | 6866 185107 1299581 | 1 158061 40 | 0.000 % | 348.39/348.44 c | 2279013 | 6866 185107 1299581 | 1 193829 42 | 0.000 % | 348.39/348.44 c | 2284656 | 6866 185107 1299581 | 1 199472 43 | 0.000 % | 348.39/348.44 c | 2285977 | 6866 185107 1299581 | 1 200793 43 | 0.000 % | 348.39/348.44 c | 2292618 | 6866 185107 1299581 | 1 207434 43 | 0.000 % | 348.39/348.44 c | 2293020 | 6866 185107 1299581 | 1 207836 43 | 0.000 % | 348.39/348.44 c | 2295018 | 6866 185107 1299581 | 1 209834 44 | 0.000 % | 348.39/348.44 c | 2299178 | 6866 185107 1299581 | 1 108591 27 | 0.000 % | 348.39/348.44 c | 2301528 | 6866 185107 1299581 | 1 110941 28 | 0.000 % | 348.39/348.44 c | 2302738 | 6866 185107 1299581 | 1 112151 28 | 0.000 % | 348.39/348.44 c | 2303306 | 6866 185107 1299581 | 1 112719 28 | 0.000 % | 348.39/348.44 c | 2304310 | 6866 185107 1299581 | 1 113723 29 | 0.000 % | 348.39/348.44 c | 2304990 | 6866 185107 1299581 | 1 114403 29 | 0.000 % | 348.39/348.44 c | 2311667 | 6866 185107 1299581 | 1 121080 30 | 0.000 % | 348.39/348.44 c | 2311856 | 6866 185107 1299581 | 1 121269 30 | 0.000 % | 348.39/348.44 c | 2311957 | 6866 185107 1299581 | 1 121370 30 | 0.000 % | 348.39/348.44 c | 2312089 | 6866 185107 1299581 | 1 121502 30 | 0.000 % | 348.39/348.44 c | 2356428 | 6866 185107 1299581 | 1 165841 35 | 0.000 % | 348.39/348.44 c | 2363420 | 6866 185107 1299581 | 1 172833 35 | 0.000 % | 348.39/348.44 c | 2414680 | 6866 185107 1299581 | 1 116099 27 | 0.000 % | 348.39/348.44 c | 2415414 | 6866 185107 1299581 | 1 116833 27 | 0.000 % | 348.39/348.44 c | 2416147 | 6866 185107 1299581 | 1 117566 27 | 0.000 % | 348.39/348.44 c | 2418653 | 6866 185107 1299581 | 1 120072 28 | 0.000 % | 348.39/348.44 c | 2419200 | 6866 185107 1299581 | 1 120619 28 | 0.000 % | 348.39/348.44 c | 2419303 | 6866 185107 1299581 | 1 120722 29 | 0.000 % | 348.39/348.44 c | 2419804 | 6866 185107 1299581 | 1 121223 29 | 0.000 % | 348.39/348.44 c | 2419917 | 6866 185107 1299581 | 1 121336 29 | 0.000 % | 348.39/348.44 c | 2422670 | 6866 185107 1299581 | 1 124089 29 | 0.000 % | 348.39/348.44 c | 2433255 | 6866 185107 1299581 | 1 134674 32 | 0.000 % | 348.39/348.44 c | 2433355 | 6866 185107 1299581 | 1 134774 32 | 0.000 % | 348.39/348.44 c | 2434631 | 6866 185107 1299581 | 1 136050 32 | 0.000 % | 348.39/348.44 c | 2435472 | 6866 185107 1299581 | 1 136891 32 | 0.000 % | 348.39/348.44 c | 2435598 | 6866 185107 1299581 | 1 137017 32 | 0.000 % | 348.39/348.44 c | 2449865 | 6866 185107 1299581 | 1 151284 35 | 0.000 % | 348.39/348.44 c | 2450212 | 6866 185107 1299581 | 1 151631 35 | 0.000 % | 348.39/348.44 c | 2451360 | 6866 185107 1299581 | 1 152779 35 | 0.000 % | 348.39/348.44 c | 2451461 | 6866 185107 1299581 | 1 152880 35 | 0.000 % | 348.39/348.44 c | 2451563 | 6866 185107 1299581 | 1 152982 35 | 0.000 % | 409.68/409.78 c | 2451761 | 6866 185107 1299581 | 1 153180 35 | 0.000 % | 409.68/409.78 c | 2453560 | 6866 185107 1299581 | 1 154979 36 | 0.000 % | 409.68/409.78 c | 2453660 | 6866 185107 1299581 | 1 155079 36 | 0.000 % | 409.68/409.78 c | 2453762 | 6866 185107 1299581 | 1 155181 36 | 0.000 % | 409.68/409.78 c | 2470488 | 6866 185107 1299581 | 1 171907 37 | 0.000 % | 409.68/409.78 c | 2483759 | 6866 185107 1299581 | 1 185178 39 | 0.000 % | 409.68/409.78 c | 2483859 | 6866 185107 1299581 | 1 185278 39 | 0.000 % | 409.68/409.78 c | 2483959 | 6866 185107 1299581 | 1 185378 39 | 0.000 % | 409.68/409.78 c | 2484060 | 6866 185107 1299581 | 1 185479 39 | 0.000 % | 409.68/409.78 c | 2515494 | 6866 185107 1299581 | 1 216913 42 | 0.000 % | 409.68/409.78 c | 2517990 | 6866 185107 1299581 | 1 219409 42 | 0.000 % | 409.68/409.78 c | 2518119 | 6866 185107 1299581 | 1 219538 42 | 0.000 % | 409.68/409.78 c | 2602643 | 6866 185107 1299581 | 1 193460 34 | 0.000 % | 409.68/409.78 c | 2604140 | 6866 185107 1299581 | 1 194957 34 | 0.000 % | 409.68/409.78 c | 2604240 | 6866 185107 1299581 | 1 195057 34 | 0.000 % | 409.68/409.78 c | 2604340 | 6866 185107 1299581 | 1 195157 34 | 0.000 % | 409.68/409.78 c | 2604533 | 6866 185107 1299581 | 1 195350 34 | 0.000 % | 409.68/409.78 c | 2604790 | 6866 185107 1299581 | 1 195607 34 | 0.000 % | 409.68/409.78 c | 2606611 | 6866 185107 1299581 | 1 197428 34 | 0.000 % | 409.68/409.78 c | 2607114 | 6866 185107 1299581 | 1 197931 34 | 0.000 % | 409.68/409.78 c | 2607474 | 6866 185107 1299581 | 1 198291 34 | 0.000 % | 409.68/409.78 c | 2631778 | 6866 185107 1299581 | 1 222595 37 | 0.000 % | 409.68/409.78 c | 2631878 | 6866 185107 1299581 | 1 222695 37 | 0.000 % | 409.68/409.78 c | 2632114 | 6866 185107 1299581 | 1 222931 37 | 0.000 % | 409.68/409.78 c | 2659208 | 6866 185107 1299581 | 1 136824 30 | 0.000 % | 409.68/409.78 c | 2659308 | 6866 185107 1299581 | 1 136924 30 | 0.000 % | 409.68/409.78 c | 2660566 | 6866 185107 1299581 | 1 138182 30 | 0.000 % | 409.68/409.78 c | 2660762 | 6866 185107 1299581 | 1 138378 30 | 0.000 % | 409.68/409.78 c | 2662619 | 6866 185107 1299581 | 1 140235 31 | 0.000 % | 409.68/409.78 c | 2665383 | 6866 185107 1299581 | 1 142999 32 | 0.000 % | 409.68/409.78 c | 2665484 | 6866 185107 1299581 | 1 143100 32 | 0.000 % | 409.68/409.78 c | 2673208 | 6866 185107 1299581 | 1 150824 33 | 0.000 % | 409.68/409.78 c | 2706537 | 6866 185107 1299581 | 1 184153 36 | 0.000 % | 409.68/409.78 c | 2709628 | 6866 185107 1299581 | 1 187244 36 | 0.000 % | 409.68/409.78 c | 2719597 | 6866 185107 1299581 | 1 197213 37 | 0.000 % | 409.68/409.78 c | 2720097 | 6866 185107 1299581 | 1 197713 37 | 0.000 % | 409.68/409.78 c | 2720200 | 6866 185107 1299581 | 1 197816 37 | 0.000 % | 409.68/409.78 c | 2722847 | 6866 185107 1299581 | 1 200463 37 | 0.000 % | 409.68/409.78 c | 2722948 | 6866 185107 1299581 | 1 200564 37 | 0.000 % | 409.68/409.78 c | 2723792 | 6866 185107 1299581 | 1 201408 37 | 0.000 % | 409.68/409.78 c | 2724226 | 6866 185107 1299581 | 1 201842 37 | 0.000 % | 409.68/409.78 c | 2726674 | 6866 185107 1299581 | 1 204290 38 | 0.000 % | 409.68/409.78 c | 2726774 | 6866 185107 1299581 | 1 204390 38 | 0.000 % | 409.68/409.78 c | 2726883 | 6866 185107 1299581 | 1 204499 38 | 0.000 % | 409.68/409.78 c | 2736186 | 6866 185107 1299581 | 1 213802 39 | 0.000 % | 409.68/409.78 c | 2736866 | 6866 185107 1299581 | 1 214482 39 | 0.000 % | 409.68/409.78 c | 2737471 | 6866 185107 1299581 | 1 215087 39 | 0.000 % | 409.68/409.78 c | 2737573 | 6866 185107 1299581 | 1 215189 39 | 0.000 % | 409.68/409.78 c | 2737673 | 6866 185107 1299581 | 1 215289 39 | 0.000 % | 409.68/409.78 c | 2740202 | 6866 185107 1299581 | 1 217818 39 | 0.000 % | 472.69/472.70 c | 2740302 | 6866 185107 1299581 | 1 217918 39 | 0.000 % | 472.69/472.70 c | 2741561 | 6866 185107 1299581 | 1 219177 39 | 0.000 % | 472.69/472.70 c | 2741661 | 6866 185107 1299581 | 1 219277 39 | 0.000 % | 472.69/472.70 c | 2748024 | 6866 185107 1299581 | 1 225640 40 | 0.000 % | 472.69/472.70 c | 2748483 | 6866 185107 1299581 | 1 226099 40 | 0.000 % | 472.69/472.70 c | 2752424 | 6866 185107 1299581 | 1 230040 40 | 0.000 % | 472.69/472.70 c | 2752524 | 6866 185107 1299581 | 1 230140 40 | 0.000 % | 472.69/472.70 c | 2752806 | 6866 185107 1299581 | 1 230422 40 | 0.000 % | 472.69/472.70 c | 2755207 | 6866 185107 1299581 | 1 117027 25 | 0.000 % | 472.69/472.70 c | 2757078 | 6866 185107 1299581 | 1 118898 26 | 0.000 % | 472.69/472.70 c | 2758436 | 6866 185107 1299581 | 1 120256 26 | 0.000 % | 472.69/472.70 c | 2758536 | 6866 185107 1299581 | 1 120356 26 | 0.000 % | 472.69/472.70 c | 2758636 | 6866 185107 1299581 | 1 120456 26 | 0.000 % | 472.69/472.70 c | 2764215 | 6866 185107 1299581 | 1 126035 29 | 0.000 % | 472.69/472.70 c | 2764315 | 6866 185107 1299581 | 1 126135 29 | 0.000 % | 472.69/472.70 c | 2764541 | 6866 185107 1299581 | 1 126361 29 | 0.000 % | 472.69/472.70 c | 2766245 | 6866 185107 1299581 | 1 128065 29 | 0.000 % | 472.69/472.70 c | 2766612 | 6866 185107 1299581 | 1 128432 29 | 0.000 % | 472.69/472.70 c | 2766969 | 6866 185107 1299581 | 1 128789 29 | 0.000 % | 472.69/472.70 c | 2768437 | 6866 185107 1299581 | 1 130257 29 | 0.000 % | 472.69/472.70 c | 2818731 | 6866 185107 1299581 | 1 180551 35 | 0.000 % | 472.69/472.70 c | 2939040 | 6866 185107 1299581 | 1 182459 33 | 0.000 % | 472.69/472.70 c | 2939140 | 6866 185107 1299581 | 1 182559 33 | 0.000 % | 472.69/472.70 c | 2939320 | 6866 185107 1299581 | 1 182739 33 | 0.000 % | 472.69/472.70 c | 2939456 | 6866 185107 1299581 | 1 182875 33 | 0.000 % | 472.69/472.70 c | 2943830 | 6866 185107 1299581 | 1 187249 33 | 0.000 % | 472.69/472.70 c | 2943932 | 6866 185107 1299581 | 1 187351 34 | 0.000 % | 472.69/472.70 c | 2961504 | 6866 185107 1299581 | 1 204923 35 | 0.000 % | 472.69/472.70 c | 2985200 | 6866 185107 1299581 | 1 228619 36 | 0.000 % | 472.69/472.70 c | 2985303 | 6866 185107 1299581 | 1 228722 36 | 0.000 % | 472.69/472.70 c | 2987901 | 6866 185107 1299581 | 1 231320 36 | 0.000 % | 472.69/472.70 c | 2997705 | 6866 185107 1299581 | 1 241124 37 | 0.000 % | 472.69/472.70 c | 2997837 | 6866 185107 1299581 | 1 241256 37 | 0.000 % | 472.69/472.70 c | 2997950 | 6866 185107 1299581 | 1 241369 37 | 0.000 % | 472.69/472.70 c | 2998890 | 6866 185107 1299581 | 1 121301 24 | 0.000 % | 472.69/472.70 c | 3003168 | 6866 185107 1299581 | 1 125579 26 | 0.000 % | 472.69/472.70 c | 3003389 | 6866 185107 1299581 | 1 125800 26 | 0.000 % | 472.69/472.71 c | 3004692 | 6866 185107 1299581 | 1 127103 26 | 0.000 % | 472.69/472.71 c | 3005954 | 6866 185107 1299581 | 1 128365 27 | 0.000 % | 472.69/472.71 c | 3006288 | 6866 185107 1299581 | 1 128699 27 | 0.000 % | 472.69/472.71 c | 3006431 | 6866 185107 1299581 | 1 128842 27 | 0.000 % | 472.69/472.71 c | 3011175 | 6866 185107 1299581 | 1 133586 27 | 0.000 % | 472.69/472.71 c | 3032761 | 6866 185107 1299581 | 1 155172 31 | 0.000 % | 472.69/472.71 c | 3039336 | 6866 185107 1299581 | 1 161747 32 | 0.000 % | 472.69/472.71 c | 3039767 | 6866 185107 1299581 | 1 162178 33 | 0.000 % | 472.69/472.71 c | 3039869 | 6866 185107 1299581 | 1 162280 33 | 0.000 % | 472.69/472.71 c | 3042172 | 6866 185107 1299581 | 1 164583 33 | 0.000 % | 472.69/472.71 c | 3044826 | 6866 185107 1299581 | 1 167237 33 | 0.000 % | 472.69/472.71 c | 3046471 | 6866 185107 1299581 | 1 168882 34 | 0.000 % | 472.69/472.71 c | 3046662 | 6866 185107 1299581 | 1 169073 34 | 0.000 % | 542.59/542.65 c | 3046957 | 6866 185107 1299581 | 1 169368 34 | 0.000 % | 542.59/542.65 c | 3056693 | 6866 185107 1299581 | 1 179104 35 | 0.000 % | 542.59/542.65 c | 3081102 | 6866 185107 1299581 | 1 203513 37 | 0.000 % | 542.59/542.65 c | 3103305 | 6866 185107 1299581 | 1 225716 39 | 0.000 % | 542.59/542.65 c | 3108816 | 6866 185107 1299581 | 1 231227 39 | 0.000 % | 542.59/542.65 c | 3152405 | 6866 185107 1299581 | 1 151220 28 | 0.000 % | 542.59/542.65 c | 3153042 | 6866 185107 1299581 | 1 151857 28 | 0.000 % | 542.59/542.65 c | 3155535 | 6866 185107 1299581 | 1 154350 29 | 0.000 % | 542.59/542.65 c | 3157909 | 6866 185107 1299581 | 1 156724 29 | 0.000 % | 542.59/542.65 c | 3158010 | 6866 185107 1299581 | 1 156825 29 | 0.000 % | 542.59/542.65 c | 3158157 | 6866 185107 1299581 | 1 156972 29 | 0.000 % | 542.59/542.65 c | 3163734 | 6866 185107 1299581 | 1 162549 30 | 0.000 % | 542.59/542.65 c | 3164130 | 6866 185107 1299581 | 1 162945 30 | 0.000 % | 542.59/542.65 c | 3170150 | 6866 185107 1299581 | 1 168965 31 | 0.000 % | 542.59/542.65 c | 3193940 | 6866 185107 1299581 | 1 192755 33 | 0.000 % | 542.59/542.65 c | 3194042 | 6866 185107 1299581 | 1 192857 33 | 0.000 % | 542.59/542.65 c | 3196624 | 6866 185107 1299581 | 1 195439 34 | 0.000 % | 542.59/542.65 c | 3197655 | 6866 185107 1299581 | 1 196470 34 | 0.000 % | 542.59/542.65 c | 3198000 | 6866 185107 1299581 | 1 196815 34 | 0.000 % | 542.59/542.65 c | 3200594 | 6866 185107 1299581 | 1 199409 34 | 0.000 % | 542.59/542.65 c | 3200796 | 6866 185107 1299581 | 1 199611 34 | 0.000 % | 542.59/542.65 c | 3201656 | 6866 185107 1299581 | 1 200471 34 | 0.000 % | 542.59/542.65 c | 3207629 | 6866 185107 1299581 | 1 206444 34 | 0.000 % | 542.59/542.65 c | 3237236 | 6866 185107 1299581 | 1 236051 36 | 0.000 % | 542.59/542.65 c | 3238136 | 6866 185107 1299581 | 1 236951 37 | 0.000 % | 542.59/542.65 c | 3238276 | 6866 185107 1299581 | 1 237091 37 | 0.000 % | 542.59/542.65 c | 3238719 | 6866 185107 1299581 | 1 237534 37 | 0.000 % | 542.59/542.65 c | 3240114 | 6866 185107 1299581 | 1 238929 37 | 0.000 % | 542.59/542.65 c | 3241136 | 6866 185107 1299581 | 1 239951 37 | 0.000 % | 542.59/542.65 c | 3244670 | 6866 185107 1299581 | 1 243485 37 | 0.000 % | 542.59/542.65 c | 3244770 | 6866 185107 1299581 | 1 243585 37 | 0.000 % | 542.59/542.65 c | 3249243 | 6866 185107 1299581 | 1 248058 39 | 0.000 % | 542.59/542.65 c | 3249344 | 6866 185107 1299581 | 1 248159 39 | 0.000 % | 542.59/542.65 c | 3249444 | 6866 185107 1299581 | 1 248259 39 | 0.000 % | 542.59/542.65 c | 3249558 | 6866 185107 1299581 | 1 248373 39 | 0.000 % | 542.59/542.65 c | 3249801 | 6866 185107 1299581 | 1 248616 39 | 0.000 % | 542.59/542.65 c | 3250916 | 6866 185107 1299581 | 1 249731 39 | 0.000 % | 542.59/542.65 c | 3267785 | 6866 185107 1299581 | 1 140403 27 | 0.000 % | 542.59/542.65 c | 3271203 | 6866 185107 1299581 | 1 143821 27 | 0.000 % | 542.59/542.65 c | 3272191 | 6866 185107 1299581 | 1 144809 28 | 0.000 % | 542.59/542.65 c | 3272986 | 6866 185107 1299581 | 1 145604 28 | 0.000 % | 542.59/542.65 c | 3273478 | 6866 185107 1299581 | 1 146096 28 | 0.000 % | 542.59/542.65 c | 3281759 | 6866 185107 1299581 | 1 154377 29 | 0.000 % | 542.59/542.65 c | 3289993 | 6866 185107 1299581 | 1 162611 30 | 0.000 % | 542.59/542.65 c | 3290238 | 6866 185107 1299581 | 1 162856 30 | 0.000 % | 542.59/542.65 c | 3304618 | 6866 185107 1299581 | 1 177236 32 | 0.000 % | 542.59/542.65 c | 3304720 | 6866 185107 1299581 | 1 177338 32 | 0.000 % | 542.59/542.65 c | 3337014 | 6866 185107 1299581 | 1 209632 34 | 0.000 % | 542.59/542.65 c | 3339526 | 6866 185107 1299581 | 1 212144 34 | 0.000 % | 542.59/542.65 c | 3361094 | 6866 185107 1299581 | 1 233712 38 | 0.000 % | 595.29/595.30 c | 3364421 | 6866 185107 1299581 | 1 237039 39 | 0.000 % | 595.29/595.30 c | 3367288 | 6866 185107 1299581 | 1 239906 39 | 0.000 % | 595.29/595.30 c | 3381807 | 6866 185107 1299581 | 1 254425 40 | 0.000 % | 595.29/595.30 c | 3382100 | 6866 185107 1299581 | 1 254718 40 | 0.000 % | 595.29/595.30 c | 3388848 | 6866 185107 1299581 | 1 132670 26 | 0.000 % | 595.29/595.30 c | 3389711 | 6866 185107 1299581 | 1 133533 26 | 0.000 % | 595.29/595.30 c | 3399209 | 6866 185107 1299581 | 1 143031 27 | 0.000 % | 595.29/595.30 c | 3399715 | 6866 185107 1299581 | 1 143537 27 | 0.000 % | 595.29/595.30 c | 3408966 | 6866 185107 1299581 | 1 152788 31 | 0.000 % | 595.29/595.30 c | 3410112 | 6866 185107 1299581 | 1 153934 31 | 0.000 % | 595.29/595.30 c | 3418556 | 6866 185107 1299581 | 1 162378 33 | 0.000 % | 595.29/595.30 c | 3423751 | 6866 185107 1299581 | 1 167573 34 | 0.000 % | 595.29/595.30 c | 3426783 | 6866 185107 1299581 | 1 170605 34 | 0.000 % | 595.29/595.30 c | 3427301 | 6866 185107 1299581 | 1 171123 34 | 0.000 % | 595.29/595.30 c | 3427643 | 6866 185107 1299581 | 1 171465 34 | 0.000 % | 595.29/595.30 c | 3427743 | 6866 185107 1299581 | 1 171565 34 | 0.000 % | 595.29/595.30 c | 3428755 | 6866 185107 1299581 | 1 172577 34 | 0.000 % | 595.29/595.30 c | 3430172 | 6866 185107 1299581 | 1 173994 35 | 0.000 % | 595.29/595.30 c | 3430325 | 6866 185107 1299581 | 1 174147 35 | 0.000 % | 595.29/595.30 c | 3430428 | 6866 185107 1299581 | 1 174250 35 | 0.000 % | 595.29/595.30 c | 3457220 | 6866 185107 1299581 | 1 201042 40 | 0.000 % | 595.29/595.30 c | 3459376 | 6866 185107 1299581 | 1 203198 40 | 0.000 % | 595.29/595.30 c | 3459476 | 6866 185107 1299581 | 1 203298 40 | 0.000 % | 595.29/595.30 c | 3459576 | 6866 185107 1299581 | 1 203398 40 | 0.000 % | 595.29/595.30 c | 3466856 | 6866 185107 1299581 | 1 210678 40 | 0.000 % | 595.29/595.30 c | 3467097 | 6866 185107 1299581 | 1 210919 40 | 0.000 % | 595.29/595.30 c | 3483471 | 6866 185107 1299581 | 1 227293 42 | 0.000 % | 595.29/595.30 c | 3483573 | 6866 185107 1299581 | 1 227395 42 | 0.000 % | 595.29/595.30 c | 3483717 | 6866 185107 1299581 | 1 227539 42 | 0.000 % | 595.29/595.30 c | 3483817 | 6866 185107 1299581 | 1 227639 42 | 0.000 % | 595.29/595.30 c | 3483939 | 6866 185107 1299581 | 1 227761 42 | 0.000 % | 595.29/595.30 c | 3484140 | 6866 185107 1299581 | 1 227962 42 | 0.000 % | 595.29/595.30 c | 3484392 | 6866 185107 1299581 | 1 228214 43 | 0.000 % | 595.29/595.30 c | 3484492 | 6866 185107 1299581 | 1 228314 43 | 0.000 % | 595.29/595.30 c | 3484662 | 6866 185107 1299581 | 1 228484 43 | 0.000 % | 595.29/595.30 c | 3516812 | 6866 185107 1299581 | 1 260634 45 | 0.000 % | 595.29/595.30 c | 3516913 | 6866 185107 1299581 | 1 260735 45 | 0.000 % | 595.29/595.30 c | 3517014 | 6866 185107 1299581 | 1 260836 45 | 0.000 % | 595.29/595.30 c | 3517114 | 6866 185107 1299581 | 1 260936 45 | 0.000 % | 595.29/595.30 c | 3519105 | 6866 185107 1299581 | 1 131525 27 | 0.000 % | 595.29/595.30 c | 3519231 | 6866 185107 1299581 | 1 131651 27 | 0.000 % | 595.29/595.30 c | 3519654 | 6866 185107 1299581 | 1 132074 27 | 0.000 % | 595.29/595.30 c | 3520351 | 6866 185107 1299581 | 1 132771 27 | 0.000 % | 595.29/595.30 c | 3521504 | 6866 185107 1299581 | 1 133924 27 | 0.000 % | 595.29/595.30 c | 3521737 | 6866 185107 1299581 | 1 134157 27 | 0.000 % | 595.29/595.30 c | 3521974 | 6866 185107 1299581 | 1 134394 27 | 0.000 % | 595.29/595.30 c | 3523358 | 6866 185107 1299581 | 1 135778 28 | 0.000 % | 595.29/595.30 c | 3538763 | 6866 185107 1299581 | 1 151183 30 | 0.000 % | 595.29/595.30 c | 3588991 | 6866 185107 1299581 | 1 201411 35 | 0.000 % | 595.29/595.30 c | 3592985 | 6866 185107 1299581 | 1 205405 36 | 0.000 % | 622.99/623.00 c | 3619045 | 6866 185107 1299581 | 1 231465 37 | 0.000 % | 622.99/623.00 c | 3619220 | 6866 185107 1299581 | 1 231640 37 | 0.000 % | 622.99/623.00 c | 3619420 | 6866 185107 1299581 | 1 231840 37 | 0.000 % | 622.99/623.00 c | 3619724 | 6866 185107 1299581 | 1 232144 38 | 0.000 % | 622.99/623.00 c | 3619825 | 6866 185107 1299581 | 1 232245 38 | 0.000 % | 622.99/623.00 c | 3633832 | 6866 185107 1299581 | 1 246252 39 | 0.000 % | 622.99/623.00 c | 3634609 | 6866 185107 1299581 | 1 247029 39 | 0.000 % | 622.99/623.00 c | 3634973 | 6866 185107 1299581 | 1 247393 39 | 0.000 % | 622.99/623.00 c | 3653070 | 6866 185107 1299581 | 1 265490 39 | 0.000 % | 622.99/623.00 c | 3658898 | 6866 185107 1299581 | 1 137323 24 | 0.000 % | 622.99/623.00 c | 3663337 | 6866 185107 1299581 | 1 141762 25 | 0.000 % | 622.99/623.00 c | 3664503 | 6866 185107 1299581 | 1 142928 25 | 0.000 % | 622.99/623.00 c | 3664619 | 6866 185107 1299581 | 1 143044 25 | 0.000 % | 622.99/623.00 c | 3668469 | 6866 185107 1299581 | 1 146894 27 | 0.000 % | 622.99/623.00 c | 3668571 | 6866 185107 1299581 | 1 146996 27 | 0.000 % | 622.99/623.00 c | 3668675 | 6866 185107 1299581 | 1 147100 27 | 0.000 % | 622.99/623.00 c | 3670120 | 6866 185107 1299581 | 1 148545 27 | 0.000 % | 622.99/623.00 c | 3670223 | 6866 185107 1299581 | 1 148648 27 | 0.000 % | 622.99/623.00 c | 3670325 | 6866 185107 1299581 | 1 148750 27 | 0.000 % | 622.99/623.00 c | 3670426 | 6866 185107 1299581 | 1 148851 27 | 0.000 % | 622.99/623.00 c | 3670675 | 6866 185107 1299581 | 1 149100 27 | 0.000 % | 622.99/623.00 c | 3672091 | 6866 185107 1299581 | 1 150516 28 | 0.000 % | 622.99/623.00 c | 3672191 | 6866 185107 1299581 | 1 150616 28 | 0.000 % | 622.99/623.00 c | 3674892 | 6866 185107 1299581 | 1 153317 28 | 0.000 % | 622.99/623.00 c | 3674992 | 6866 185107 1299581 | 1 153417 28 | 0.000 % | 622.99/623.00 c | 3675107 | 6866 185107 1299581 | 1 153532 28 | 0.000 % | 622.99/623.00 c | 3677162 | 6866 185107 1299581 | 1 155587 29 | 0.000 % | 622.99/623.00 c | 3677757 | 6866 185107 1299581 | 1 156182 29 | 0.000 % | 622.99/623.00 c | 3678362 | 6866 185107 1299581 | 1 156787 29 | 0.000 % | 622.99/623.00 c | 3681222 | 6866 185107 1299581 | 1 159647 29 | 0.000 % | 622.99/623.00 c | 3683451 | 6866 185107 1299581 | 1 161876 30 | 0.000 % | 622.99/623.00 c | 3683552 | 6866 185107 1299581 | 1 161977 30 | 0.000 % | 622.99/623.00 c | 3683668 | 6866 185107 1299581 | 1 162093 30 | 0.000 % | 622.99/623.00 c | 3688282 | 6866 185107 1299581 | 1 166707 30 | 0.000 % | 622.99/623.00 c | 3688383 | 6866 185107 1299581 | 1 166808 30 | 0.000 % | 622.99/623.00 c | 3688508 | 6866 185107 1299581 | 1 166933 30 | 0.000 % | 622.99/623.00 c | 3688638 | 6866 185107 1299581 | 1 167063 31 | 0.000 % | 622.99/623.00 c | 3688764 | 6866 185107 1299581 | 1 167189 31 | 0.000 % | 622.99/623.00 c | 3691023 | 6866 185107 1299581 | 1 169448 31 | 0.000 % | 622.99/623.00 c | 3691337 | 6866 185107 1299581 | 1 169762 31 | 0.000 % | 622.99/623.00 c | 3691862 | 6866 185107 1299581 | 1 170287 31 | 0.000 % | 622.99/623.00 c | 3693063 | 6866 185107 1299581 | 1 171488 32 | 0.000 % | 622.99/623.00 c | 3700404 | 6866 185107 1299581 | 1 178829 33 | 0.000 % | 622.99/623.00 c | 3700540 | 6866 185107 1299581 | 1 178965 33 | 0.000 % | 622.99/623.00 c | 3700673 | 6866 185107 1299581 | 1 179098 33 | 0.000 % | 622.99/623.00 c | 3701137 | 6866 185107 1299581 | 1 179562 33 | 0.000 % | 622.99/623.00 c | 3702384 | 6866 185107 1299581 | 1 180809 33 | 0.000 % | 622.99/623.00 c | 3703287 | 6866 185107 1299581 | 1 181712 33 | 0.000 % | 622.99/623.00 c | 3714417 | 6866 185107 1299581 | 1 192842 34 | 0.000 % | 622.99/623.00 c | 3714519 | 6866 185107 1299581 | 1 192944 34 | 0.000 % | 699.99/700.03 c | 3716092 | 6866 185107 1299581 | 1 194517 34 | 0.000 % | 699.99/700.03 c | 3721874 | 6866 185107 1299581 | 1 200299 35 | 0.000 % | 699.99/700.03 c | 3723656 | 6866 185107 1299581 | 1 202081 35 | 0.000 % | 699.99/700.03 c | 3723758 | 6866 185107 1299581 | 1 202183 35 | 0.000 % | 699.99/700.03 c | 3725656 | 6866 185107 1299581 | 1 204081 35 | 0.000 % | 699.99/700.03 c | 3726352 | 6866 185107 1299581 | 1 204777 35 | 0.000 % | 699.99/700.03 c | 3728393 | 6866 185107 1299581 | 1 206818 35 | 0.000 % | 699.99/700.03 c | 3742926 | 6866 185107 1299581 | 1 221351 37 | 0.000 % | 699.99/700.03 c | 3743026 | 6866 185107 1299581 | 1 221451 37 | 0.000 % | 699.99/700.03 c | 3749163 | 6866 185107 1299581 | 1 227588 37 | 0.000 % | 699.99/700.03 c | 3773913 | 6866 185107 1299581 | 1 252338 38 | 0.000 % | 699.99/700.03 c | 3806889 | 6866 185107 1299581 | 1 148735 25 | 0.000 % | 699.99/700.03 c | 3809132 | 6866 185107 1299581 | 1 150978 26 | 0.000 % | 699.99/700.03 c | 3809232 | 6866 185107 1299581 | 1 151078 26 | 0.000 % | 699.99/700.03 c | 3809333 | 6866 185107 1299581 | 1 151179 26 | 0.000 % | 699.99/700.03 c | 3812045 | 6866 185107 1299581 | 1 153891 27 | 0.000 % | 699.99/700.03 c | 3812246 | 6866 185107 1299581 | 1 154092 27 | 0.000 % | 699.99/700.03 c | 3813279 | 6866 185107 1299581 | 1 155125 27 | 0.000 % | 699.99/700.03 c | 3843055 | 6866 185107 1299581 | 1 184901 31 | 0.000 % | 699.99/700.03 c | 3843693 | 6866 185107 1299581 | 1 185539 31 | 0.000 % | 699.99/700.03 c | 3845021 | 6866 185107 1299581 | 1 186867 31 | 0.000 % | 699.99/700.03 c | 3863973 | 6866 185107 1299581 | 1 205819 33 | 0.000 % | 699.99/700.03 c | 3886898 | 6866 185107 1299581 | 1 228744 35 | 0.000 % | 699.99/700.03 c | 3887818 | 6866 185107 1299581 | 1 229664 35 | 0.000 % | 699.99/700.03 c | 3906428 | 6866 185107 1299581 | 1 248274 36 | 0.000 % | 699.99/700.03 c | 3906528 | 6866 185107 1299581 | 1 248374 36 | 0.000 % | 699.99/700.03 c | 3931584 | 6866 185107 1299581 | 1 273430 37 | 0.000 % | 699.99/700.03 c | 3937489 | 6866 185107 1299581 | 1 140118 24 | 0.000 % | 699.99/700.03 c | 3950828 | 6866 185107 1299581 | 1 153457 27 | 0.000 % | 699.99/700.03 c | 3951901 | 6866 185107 1299581 | 1 154530 27 | 0.000 % | 699.99/700.03 c | 3963044 | 6866 185107 1299581 | 1 165673 29 | 0.000 % | 699.99/700.03 c | 3963883 | 6866 185107 1299581 | 1 166512 29 | 0.000 % | 699.99/700.03 c | 3964235 | 6866 185107 1299581 | 1 166864 29 | 0.000 % | 699.99/700.03 c | 3964381 | 6866 185107 1299581 | 1 167010 30 | 0.000 % | 699.99/700.03 c | 3985515 | 6866 185107 1299581 | 1 188144 32 | 0.000 % | 699.99/700.03 c | 3985813 | 6866 185107 1299581 | 1 188442 32 | 0.000 % | 699.99/700.03 c | 3985917 | 6866 185107 1299581 | 1 188546 32 | 0.000 % | 699.99/700.03 c | 3991464 | 6866 185107 1299581 | 1 194093 32 | 0.000 % | 699.99/700.03 c | 3992464 | 6866 185107 1299581 | 1 195093 33 | 0.000 % | 699.99/700.03 c | 3992566 | 6866 185107 1299581 | 1 195195 33 | 0.000 % | 699.99/700.03 c | 3995512 | 6866 185107 1299581 | 1 198141 33 | 0.000 % | 699.99/700.03 c | 3996038 | 6866 185107 1299581 | 1 198667 33 | 0.000 % | 699.99/700.03 c | 3998224 | 6866 185107 1299581 | 1 200853 34 | 0.000 % | 699.99/700.03 c | 3998364 | 6866 185107 1299581 | 1 200993 34 | 0.000 % | 699.99/700.03 c | 3998532 | 6866 185107 1299581 | 1 201161 34 | 0.000 % | 699.99/700.03 c | 4021329 | 6866 185107 1299581 | 1 223958 36 | 0.000 % | 699.99/700.03 c | 4021481 | 6866 185107 1299581 | 1 224110 36 | 0.000 % | 699.99/700.03 c | 4024603 | 6866 185107 1299581 | 1 227232 36 | 0.000 % | 699.99/700.03 c | 4025921 | 6866 185107 1299581 | 1 228550 36 | 0.000 % | 699.99/700.03 c | 4026477 | 6866 185107 1299581 | 1 229106 36 | 0.000 % | 790.29/790.37 c | 4026828 | 6866 185107 1299581 | 1 229457 36 | 0.000 % | 790.29/790.37 c | 4034805 | 6866 185107 1299581 | 1 237434 37 | 0.000 % | 790.29/790.37 c | 4034906 | 6866 185107 1299581 | 1 237535 37 | 0.000 % | 790.29/790.37 c | 4035181 | 6866 185107 1299581 | 1 237810 37 | 0.000 % | 790.29/790.37 c | 4044442 | 6866 185107 1299581 | 1 247071 38 | 0.000 % | 790.29/790.37 c | 4129539 | 6866 185107 1299581 | 1 190372 30 | 0.000 % | 790.29/790.37 c | 4129639 | 6866 185107 1299581 | 1 190472 30 | 0.000 % | 790.29/790.37 c | 4141151 | 6866 185107 1299581 | 1 201984 31 | 0.000 % | 790.29/790.37 c | 4141251 | 6866 185107 1299581 | 1 202084 31 | 0.000 % | 790.29/790.37 c | 4141487 | 6866 185107 1299581 | 1 202320 31 | 0.000 % | 790.29/790.37 c | 4141590 | 6866 185107 1299581 | 1 202423 31 | 0.000 % | 790.29/790.37 c | 4146033 | 6866 185107 1299581 | 1 206866 32 | 0.000 % | 790.29/790.37 c | 4152579 | 6866 185107 1299581 | 1 213412 32 | 0.000 % | 790.29/790.37 c | 4152817 | 6866 185107 1299581 | 1 213650 32 | 0.000 % | 790.29/790.37 c | 4154225 | 6866 185107 1299581 | 1 215058 32 | 0.000 % | 790.29/790.37 c | 4165414 | 6866 185107 1299581 | 1 226247 33 | 0.000 % | 790.29/790.37 c | 4169318 | 6866 185107 1299581 | 1 230151 34 | 0.000 % | 790.29/790.37 c | 4169892 | 6866 185107 1299581 | 1 230725 34 | 0.000 % | 790.29/790.37 c | 4178562 | 6866 185107 1299581 | 1 239395 34 | 0.000 % | 790.29/790.37 c | 4203247 | 6866 185107 1299581 | 1 264080 36 | 0.000 % | 790.29/790.37 c | 4215969 | 6866 185107 1299581 | 1 276802 37 | 0.000 % | 790.29/790.37 c | 4216123 | 6866 185107 1299581 | 1 276956 37 | 0.000 % | 790.29/790.37 c | 4235856 | 6866 185107 1299581 | 1 152281 25 | 0.000 % | 790.29/790.37 c | 4236057 | 6866 185107 1299581 | 1 152482 25 | 0.000 % | 790.29/790.37 c | 4236610 | 6866 185107 1299581 | 1 153035 25 | 0.000 % | 790.29/790.37 c | 4237351 | 6866 185107 1299581 | 1 153776 25 | 0.000 % | 790.29/790.37 c | 4270342 | 6866 185107 1299581 | 1 186767 29 | 0.000 % | 790.29/790.37 c | 4271527 | 6866 185107 1299581 | 1 187952 29 | 0.000 % | 790.29/790.37 c | 4289288 | 6866 185107 1299581 | 1 205713 31 | 0.000 % | 790.29/790.37 c | 4311655 | 6866 185107 1299581 | 1 228080 33 | 0.000 % | 790.29/790.37 c | 4312399 | 6866 185107 1299581 | 1 228824 33 | 0.000 % | 790.29/790.37 c | 4317479 | 6866 185107 1299581 | 1 233904 33 | 0.000 % | 790.29/790.37 c | 4327956 | 6866 185107 1299581 | 1 244381 34 | 0.000 % | 790.29/790.37 c | 4329628 | 6866 185107 1299581 | 1 246053 34 | 0.000 % | 790.29/790.37 c | 4333767 | 6866 185107 1299581 | 1 250192 35 | 0.000 % | 790.29/790.37 c | 4377310 | 6866 185107 1299581 | 1 293735 37 | 0.000 % | 790.29/790.37 c | 4377431 | 6866 185107 1299581 | 1 293856 37 | 0.000 % | 790.29/790.37 c | 4380251 | 6866 185107 1299581 | 1 149668 24 | 0.000 % | 790.29/790.37 c | 4380368 | 6866 185107 1299581 | 1 149785 24 | 0.000 % | 790.29/790.37 c | 4386418 | 6866 185107 1299581 | 1 155835 28 | 0.000 % | 790.29/790.37 c | 4386555 | 6866 185107 1299581 | 1 155972 28 | 0.000 % | 790.29/790.37 c | 4386670 | 6866 185107 1299581 | 1 156087 28 | 0.000 % | 790.29/790.37 c | 4386938 | 6866 185107 1299581 | 1 156355 28 | 0.000 % | 790.29/790.37 c | 4388445 | 6866 185107 1299581 | 1 157862 28 | 0.000 % | 790.29/790.37 c | 4388742 | 6866 185107 1299581 | 1 158159 28 | 0.000 % | 790.29/790.37 c | 4389134 | 6866 185107 1299581 | 1 158551 28 | 0.000 % | 790.29/790.37 c | 4389713 | 6866 185107 1299581 | 1 159130 29 | 0.000 % | 790.29/790.37 c | 4389920 | 6866 185107 1299581 | 1 159337 29 | 0.000 % | 790.29/790.37 c | 4390020 | 6866 185107 1299581 | 1 159437 29 | 0.000 % | 790.29/790.37 c | 4390143 | 6866 185107 1299581 | 1 159560 29 | 0.000 % | 864.60/864.64 c | 4390489 | 6866 185107 1299581 | 1 159906 29 | 0.000 % | 864.60/864.64 c | 4434992 | 6866 185107 1299581 | 1 204409 34 | 0.000 % | 864.60/864.64 c | 4435092 | 6866 185107 1299581 | 1 204509 34 | 0.000 % | 864.60/864.64 c | 4435722 | 6866 185107 1299581 | 1 205139 34 | 0.000 % | 864.60/864.64 c | 4444002 | 6866 185107 1299581 | 1 213419 35 | 0.000 % | 864.60/864.64 c | 4444286 | 6866 185107 1299581 | 1 213703 35 | 0.000 % | 864.60/864.64 c | 4447879 | 6866 185107 1299581 | 1 217296 35 | 0.000 % | 864.60/864.64 c | 4448102 | 6866 185107 1299581 | 1 217519 35 | 0.000 % | 864.60/864.64 c | 4455926 | 6866 185107 1299581 | 1 225343 36 | 0.000 % | 864.60/864.64 c | 4456811 | 6866 185107 1299581 | 1 226228 36 | 0.000 % | 864.60/864.64 c | 4458573 | 6866 185107 1299581 | 1 227990 37 | 0.000 % | 864.60/864.64 c | 4484552 | 6866 185107 1299581 | 1 253969 39 | 0.000 % | 864.60/864.64 c | 4517669 | 6866 185107 1299581 | 1 287086 40 | 0.000 % | 864.60/864.64 c | 4517868 | 6866 185107 1299581 | 1 287285 40 | 0.000 % | 864.60/864.64 c | 4518749 | 6866 185107 1299581 | 1 288166 41 | 0.000 % | 864.60/864.64 c | 4518849 | 6866 185107 1299581 | 1 288266 41 | 0.000 % | 864.60/864.64 c | 4518974 | 6866 185107 1299581 | 1 288391 41 | 0.000 % | 864.60/864.64 c | 4525894 | 6866 185107 1299581 | 1 295311 41 | 0.000 % | 864.60/864.64 c | 4529420 | 6866 185107 1299581 | 1 298837 41 | 0.000 % | 864.60/864.64 c | 4529520 | 6866 185107 1299581 | 1 298937 41 | 0.000 % | 864.60/864.64 c | 4530104 | 6866 185107 1299581 | 1 149931 25 | 0.000 % | 864.60/864.64 c | 4530205 | 6866 185107 1299581 | 1 150032 25 | 0.000 % | 864.60/864.64 c | 4530557 | 6866 185107 1299581 | 1 150384 25 | 0.000 % | 864.60/864.64 c | 4533952 | 6866 185107 1299581 | 1 153779 26 | 0.000 % | 864.60/864.64 c | 4534052 | 6866 185107 1299581 | 1 153879 26 | 0.000 % | 864.60/864.64 c | 4534215 | 6866 185107 1299581 | 1 154042 26 | 0.000 % | 864.60/864.64 c | 4534625 | 6866 185107 1299581 | 1 154452 26 | 0.000 % | 864.60/864.64 c | 4539681 | 6866 185107 1299581 | 1 159508 27 | 0.000 % | 864.60/864.64 c | 4541565 | 6866 185107 1299581 | 1 161392 28 | 0.000 % | 864.60/864.64 c | 4545175 | 6866 185107 1299581 | 1 165002 29 | 0.000 % | 864.60/864.64 c | 4545279 | 6866 185107 1299581 | 1 165106 29 | 0.000 % | 864.60/864.64 c | 4545528 | 6866 185107 1299581 | 1 165355 29 | 0.000 % | 864.60/864.64 c | 4546635 | 6866 185107 1299581 | 1 166462 29 | 0.000 % | 864.60/864.64 c | 4548539 | 6866 185107 1299581 | 1 168366 29 | 0.000 % | 864.60/864.64 c | 4550080 | 6866 185107 1299581 | 1 169907 30 | 0.000 % | 864.60/864.64 c | 4550180 | 6866 185107 1299581 | 1 170007 30 | 0.000 % | 864.60/864.64 c | 4551984 | 6866 185107 1299581 | 1 171811 30 | 0.000 % | 864.60/864.64 c | 4557084 | 6866 185107 1299581 | 1 176911 31 | 0.000 % | 864.60/864.64 c | 4557255 | 6866 185107 1299581 | 1 177082 31 | 0.000 % | 864.60/864.64 c | 4558810 | 6866 185107 1299581 | 1 178637 31 | 0.000 % | 864.60/864.64 c | 4562876 | 6866 185107 1299581 | 1 182703 31 | 0.000 % | 864.60/864.64 c | 4563386 | 6866 185107 1299581 | 1 183213 32 | 0.000 % | 864.60/864.64 c | 4563487 | 6866 185107 1299581 | 1 183314 32 | 0.000 % | 864.60/864.64 c | 4564810 | 6866 185107 1299581 | 1 184637 32 | 0.000 % | 864.60/864.64 c | 4565074 | 6866 185107 1299581 | 1 184901 32 | 0.000 % | 864.60/864.64 c | 4565776 | 6866 185107 1299581 | 1 185603 32 | 0.000 % | 864.60/864.64 c | 4580114 | 6866 185107 1299581 | 1 199941 33 | 0.000 % | 864.60/864.64 c | 4664237 | 6866 185107 1299581 | 1 284064 39 | 0.000 % | 864.60/864.64 c | 4687896 | 6866 185107 1299581 | 1 155528 25 | 0.000 % | 864.60/864.64 c | 4689812 | 6866 185107 1299581 | 1 157444 26 | 0.000 % | 924.60/924.65 c | 4689912 | 6866 185107 1299581 | 1 157544 26 | 0.000 % | 924.60/924.65 c | 4690290 | 6866 185107 1299581 | 1 157922 26 | 0.000 % | 924.60/924.65 c | 4690390 | 6866 185107 1299581 | 1 158022 26 | 0.000 % | 924.60/924.65 c | 4690832 | 6866 185107 1299581 | 1 158464 26 | 0.000 % | 924.60/924.65 c | 4690933 | 6866 185107 1299581 | 1 158565 26 | 0.000 % | 924.60/924.65 c | 4692046 | 6866 185107 1299581 | 1 159678 27 | 0.000 % | 924.60/924.65 c | 4692148 | 6866 185107 1299581 | 1 159780 27 | 0.000 % | 924.60/924.65 c | 4693035 | 6866 185107 1299581 | 1 160667 27 | 0.000 % | 924.60/924.65 c | 4693359 | 6866 185107 1299581 | 1 160991 27 | 0.000 % | 924.60/924.65 c | 4694112 | 6866 185107 1299581 | 1 161744 27 | 0.000 % | 924.60/924.65 c | 4694394 | 6866 185107 1299581 | 1 162026 27 | 0.000 % | 924.60/924.65 c | 4712812 | 6866 185107 1299581 | 1 180444 30 | 0.000 % | 924.60/924.65 c | 4727304 | 6866 185107 1299581 | 1 194936 32 | 0.000 % | 924.60/924.65 c | 4727412 | 6866 185107 1299581 | 1 195044 32 | 0.000 % | 924.60/924.65 c | 4727775 | 6866 185107 1299581 | 1 195407 32 | 0.000 % | 924.60/924.65 c | 4727875 | 6866 185107 1299581 | 1 195507 32 | 0.000 % | 924.60/924.65 c | 4727975 | 6866 185107 1299581 | 1 195607 32 | 0.000 % | 924.60/924.65 c | 4728175 | 6866 185107 1299581 | 1 195807 32 | 0.000 % | 924.60/924.65 c | 4728275 | 6866 185107 1299581 | 1 195907 32 | 0.000 % | 924.60/924.65 c | 4731994 | 6866 185107 1299581 | 1 199626 33 | 0.000 % | 924.60/924.65 c | 4732094 | 6866 185107 1299581 | 1 199726 33 | 0.000 % | 924.60/924.65 c | 4732203 | 6866 185107 1299581 | 1 199835 33 | 0.000 % | 924.60/924.65 c | 4732588 | 6866 185107 1299581 | 1 200220 33 | 0.000 % | 924.60/924.65 c | 4733144 | 6866 185107 1299581 | 1 200776 33 | 0.000 % | 924.60/924.65 c | 4733312 | 6866 185107 1299581 | 1 200944 33 | 0.000 % | 924.60/924.65 c | 4733635 | 6866 185107 1299581 | 1 201267 33 | 0.000 % | 924.60/924.65 c | 4746712 | 6866 185107 1299581 | 1 214344 34 | 0.000 % | 924.60/924.65 c | 4746813 | 6866 185107 1299581 | 1 214445 34 | 0.000 % | 924.60/924.65 c | 4747064 | 6866 185107 1299581 | 1 214696 34 | 0.000 % | 924.60/924.65 c | 4755959 | 6866 185107 1299581 | 1 223591 35 | 0.000 % | 924.60/924.65 c | 4758416 | 6866 185107 1299581 | 1 226048 35 | 0.000 % | 924.60/924.65 c | 4773876 | 6866 185107 1299581 | 1 241508 36 | 0.000 % | 924.60/924.65 c | 4775896 | 6866 185107 1299581 | 1 243528 36 | 0.000 % | 924.60/924.65 c | 4776057 | 6866 185107 1299581 | 1 243689 36 | 0.000 % | 924.60/924.65 c | 4809174 | 6866 185107 1299581 | 1 276806 38 | 0.000 % | 924.60/924.65 c | 4809274 | 6866 185107 1299581 | 1 276906 38 | 0.000 % | 924.60/924.65 c | 4809854 | 6866 185107 1299581 | 1 277486 38 | 0.000 % | 924.60/924.65 c | 4809954 | 6866 185107 1299581 | 1 277586 38 | 0.000 % | 924.60/924.65 c | 4854016 | 6866 185107 1299581 | 1 166838 26 | 0.000 % | 924.60/924.65 c | 4869335 | 6866 185107 1299581 | 1 182157 28 | 0.000 % | 924.60/924.65 c | 4869436 | 6866 185107 1299581 | 1 182258 28 | 0.000 % | 924.60/924.65 c | 4869613 | 6866 185107 1299581 | 1 182435 28 | 0.000 % | 924.60/924.65 c | 4871472 | 6866 185107 1299581 | 1 184294 29 | 0.000 % | 924.60/924.65 c | 4875553 | 6866 185107 1299581 | 1 188375 29 | 0.000 % | 924.60/924.65 c | 4876039 | 6866 185107 1299581 | 1 188861 29 | 0.000 % | 924.60/924.65 c | 4876586 | 6866 185107 1299581 | 1 189408 30 | 0.000 % | 924.60/924.65 c | 4880918 | 6866 185107 1299581 | 1 193740 30 | 0.000 % | 924.60/924.65 c | 4899569 | 6866 185107 1299581 | 1 212391 32 | 0.000 % | 924.60/924.65 c | 4905530 | 6866 185107 1299581 | 1 218352 33 | 0.000 % | 924.60/924.65 c | 4916169 | 6866 185107 1299581 | 1 228991 34 | 0.000 % | 1079.30/1079.31 c | 4918841 | 6866 185107 1299581 | 1 231663 34 | 0.000 % | 1079.30/1079.31 c | 4924746 | 6866 185107 1299581 | 1 237568 34 | 0.000 % | 1079.30/1079.31 c | 4925528 | 6866 185107 1299581 | 1 238350 34 | 0.000 % | 1079.30/1079.31 c | 4926778 | 6866 185107 1299581 | 1 239600 35 | 0.000 % | 1079.30/1079.31 c | 4929345 | 6866 185107 1299581 | 1 242167 35 | 0.000 % | 1079.30/1079.31 c | 4944631 | 6866 185107 1299581 | 1 257453 36 | 0.000 % | 1079.30/1079.31 c | 5001202 | 6866 185107 1299581 | 1 314024 39 | 0.000 % | 1079.30/1079.31 c | 5047460 | 6866 185107 1299581 | 1 202881 29 | 0.000 % | 1079.30/1079.31 c | 5070087 | 6866 185107 1299581 | 1 225508 32 | 0.000 % | 1079.30/1079.31 c | 5070942 | 6866 185107 1299581 | 1 226363 33 | 0.000 % | 1079.30/1079.31 c | 5085141 | 6866 185107 1299581 | 1 240562 34 | 0.000 % | 1079.30/1079.31 c | 5085241 | 6866 185107 1299581 | 1 240662 34 | 0.000 % | 1079.30/1079.31 c | 5085391 | 6866 185107 1299581 | 1 240812 34 | 0.000 % | 1079.30/1079.31 c | 5085550 | 6866 185107 1299581 | 1 240971 34 | 0.000 % | 1079.30/1079.31 c | 5085734 | 6866 185107 1299581 | 1 241155 34 | 0.000 % | 1079.30/1079.31 c | 5086067 | 6866 185107 1299581 | 1 241488 34 | 0.000 % | 1079.30/1079.31 c | 5086867 | 6866 185107 1299581 | 1 242288 34 | 0.000 % | 1079.30/1079.31 c | 5109572 | 6866 185107 1299581 | 1 264993 36 | 0.000 % | 1079.30/1079.31 c | 5127171 | 6866 185107 1299581 | 1 282592 37 | 0.000 % | 1079.30/1079.31 c | 5128617 | 6866 185107 1299581 | 1 284038 37 | 0.000 % | 1079.30/1079.31 c | 5139054 | 6866 185107 1299581 | 1 294475 38 | 0.000 % | 1079.30/1079.31 c | 5139154 | 6866 185107 1299581 | 1 294575 38 | 0.000 % | 1079.30/1079.31 c | 5139254 | 6866 185107 1299581 | 1 294675 38 | 0.000 % | 1079.30/1079.31 c | 5142434 | 6866 185107 1299581 | 1 297855 38 | 0.000 % | 1079.30/1079.31 c | 5293043 | 6866 185107 1299581 | 1 288469 33 | 0.000 % | 1079.30/1079.31 c | 5294033 | 6866 185107 1299581 | 1 289459 33 | 0.000 % | 1079.30/1079.31 c | 5313408 | 6866 185107 1299581 | 1 308834 34 | 0.000 % | 1079.30/1079.31 c | 5324433 | 6866 185107 1299581 | 1 319859 34 | 0.000 % | 1079.30/1079.31 c | 5324533 | 6866 185107 1299581 | 1 319959 34 | 0.000 % | 1079.30/1079.31 c | 5324634 | 6866 185107 1299581 | 1 320060 34 | 0.000 % | 1079.30/1079.31 c | 5324827 | 6866 185107 1299581 | 1 320253 34 | 0.000 % | 1079.30/1079.31 c | 5350967 | 6866 185107 1299581 | 1 183790 25 | 0.000 % | 1079.30/1079.31 c | 5353437 | 6866 185107 1299581 | 1 186260 26 | 0.000 % | 1079.30/1079.31 c | 5353826 | 6866 185107 1299581 | 1 186649 26 | 0.000 % | 1079.30/1079.31 c | 5385759 | 6866 185107 1299581 | 1 218582 29 | 0.000 % | 1079.30/1079.31 c | 5385861 | 6866 185107 1299581 | 1 218684 29 | 0.000 % | 1079.30/1079.31 c | 5406779 | 6866 185107 1299581 | 1 239602 31 | 0.000 % | 1079.30/1079.31 c | 5420255 | 6866 185107 1299581 | 1 253078 32 | 0.000 % | 1079.30/1079.31 c | 5421395 | 6866 185107 1299581 | 1 254218 33 | 0.000 % | 1079.30/1079.31 c | 5421497 | 6866 185107 1299581 | 1 254320 33 | 0.000 % | 1079.30/1079.31 c | 5446322 | 6866 185107 1299581 | 1 279145 34 | 0.000 % | 1079.30/1079.31 c | 5447873 | 6866 185107 1299581 | 1 280696 34 | 0.000 % | 1079.30/1079.31 c | 5448119 | 6866 185107 1299581 | 1 280942 34 | 0.000 % | 1079.30/1079.31 c | 5453449 | 6866 185107 1299581 | 1 286272 35 | 0.000 % | 1079.30/1079.31 c | 5454016 | 6866 185107 1299581 | 1 286839 35 | 0.000 % | 1079.30/1079.31 c | 5454169 | 6866 185107 1299581 | 1 286992 35 | 0.000 % | 1079.30/1079.31 c | 5454761 | 6866 185107 1299581 | 1 287584 35 | 0.000 % | 1079.30/1079.31 c | 5458279 | 6866 185107 1299581 | 1 291102 35 | 0.000 % | 1079.30/1079.31 c | 5459236 | 6866 185107 1299581 | 1 292059 35 | 0.000 % | 1079.30/1079.31 c | 5470470 | 6866 185107 1299581 | 1 303293 36 | 0.000 % | 1291.31/1291.39 c | 5470680 | 6866 185107 1299581 | 1 303503 36 | 0.000 % | 1291.31/1291.39 c | 5477165 | 6866 185107 1299581 | 1 309988 36 | 0.000 % | 1291.31/1291.39 c | 5480507 | 6866 185107 1299581 | 1 313330 36 | 0.000 % | 1291.31/1291.39 c | 5481171 | 6866 185107 1299581 | 1 313994 36 | 0.000 % | 1291.31/1291.39 c | 5482421 | 6866 185107 1299581 | 1 315244 36 | 0.000 % | 1291.31/1291.39 c | 5482526 | 6866 185107 1299581 | 1 315349 36 | 0.000 % | 1291.31/1291.39 c | 5483653 | 6866 185107 1299581 | 1 316476 37 | 0.000 % | 1291.31/1291.39 c | 5486172 | 6866 185107 1299581 | 1 318995 37 | 0.000 % | 1291.31/1291.39 c | 5488329 | 6866 185107 1299581 | 1 321152 37 | 0.000 % | 1291.31/1291.39 c | 5488977 | 6866 185107 1299581 | 1 321800 37 | 0.000 % | 1291.31/1291.39 c | 5489426 | 6866 185107 1299581 | 1 322249 37 | 0.000 % | 1291.31/1291.39 c | 5489573 | 6866 185107 1299581 | 1 322396 37 | 0.000 % | 1291.31/1291.39 c | 5490294 | 6866 185107 1299581 | 1 323117 37 | 0.000 % | 1291.31/1291.39 c | 5490850 | 6866 185107 1299581 | 1 323673 37 | 0.000 % | 1291.31/1291.39 c | 5501081 | 6866 185107 1299581 | 1 168703 24 | 0.000 % | 1291.31/1291.39 c | 5510018 | 6866 185107 1299581 | 1 177640 25 | 0.000 % | 1291.31/1291.39 c | 5510121 | 6866 185107 1299581 | 1 177743 25 | 0.000 % | 1291.31/1291.39 c | 5511360 | 6866 185107 1299581 | 1 178982 25 | 0.000 % | 1291.31/1291.39 c | 5511460 | 6866 185107 1299581 | 1 179082 25 | 0.000 % | 1291.31/1291.39 c | 5590385 | 6866 185107 1299581 | 1 258007 33 | 0.000 % | 1291.31/1291.39 c | 5590486 | 6866 185107 1299581 | 1 258108 33 | 0.000 % | 1291.31/1291.39 c | 5619668 | 6866 185107 1299581 | 1 287290 35 | 0.000 % | 1291.31/1291.39 c | 5650949 | 6866 185107 1299581 | 1 318571 39 | 0.000 % | 1291.31/1291.39 c | 5869590 | 6866 185107 1299581 | 1 199005 29 | 0.000 % | 1291.31/1291.39 c | 5869690 | 6866 185107 1299581 | 1 199105 29 | 0.000 % | 1291.31/1291.39 c | 5870267 | 6866 185107 1299581 | 1 199682 29 | 0.000 % | 1291.31/1291.39 c | 5892729 | 6866 185107 1299581 | 1 222144 31 | 0.000 % | 1291.31/1291.39 c | 6008537 | 6866 185107 1299581 | 1 337952 36 | 0.000 % | 1291.31/1291.39 c | 6008908 | 6866 185107 1299581 | 1 338323 36 | 0.000 % | 1291.31/1291.39 c | 6009009 | 6866 185107 1299581 | 1 338424 36 | 0.000 % | 1291.31/1291.39 c | 6009269 | 6866 185107 1299581 | 1 338684 36 | 0.000 % | 1291.31/1291.39 c | 6009374 | 6866 185107 1299581 | 1 338789 36 | 0.000 % | 1291.31/1291.39 c | 6009644 | 6866 185107 1299581 | 1 339059 36 | 0.000 % | 1291.31/1291.39 c | 6009895 | 6866 185107 1299581 | 1 339310 36 | 0.000 % | 1291.31/1291.39 c | 6010180 | 6866 185107 1299581 | 1 339595 36 | 0.000 % | 1291.31/1291.39 c | 6010535 | 6866 185107 1299581 | 1 339950 36 | 0.000 % | 1291.31/1291.39 c | 6010638 | 6866 185107 1299581 | 1 340053 36 | 0.000 % | 1291.31/1291.39 c | 6010739 | 6866 185107 1299581 | 1 340154 36 | 0.000 % | 1291.31/1291.39 c | 6066170 | 6866 185107 1299581 | 1 222587 30 | 0.000 % | 1291.31/1291.39 c | 6085542 | 6866 185107 1299581 | 1 241959 32 | 0.000 % | 1291.31/1291.39 c | 6090227 | 6866 185107 1299581 | 1 246644 32 | 0.000 % | 1291.31/1291.39 c | 6091309 | 6866 185107 1299581 | 1 247726 32 | 0.000 % | 1291.31/1291.39 c | 6093925 | 6866 185107 1299581 | 1 250342 32 | 0.000 % | 1291.31/1291.39 c | 6094028 | 6866 185107 1299581 | 1 250445 32 | 0.000 % | 1291.31/1291.39 c | 6094715 | 6866 185107 1299581 | 1 251132 32 | 0.000 % | 1291.31/1291.39 c | 6108457 | 6866 185107 1299581 | 1 264874 33 | 0.000 % | 1291.31/1291.39 c | 6238138 | 6866 185107 1299581 | 1 218960 29 | 0.000 % | 1291.31/1291.39 c | 6238244 | 6866 185107 1299581 | 1 219066 29 | 0.000 % | 1291.31/1291.39 c | 6238344 | 6866 185107 1299581 | 1 219166 29 | 0.000 % | 1291.31/1291.39 c |
ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected) Got answer: <no 's ' line found>
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.0 (svn: 935) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3290736-1303776044/watcher-3290736-1303776044 -o /tmp/evaluation-result-3290736-1303776044/solver-3290736-1303776044 -C 2400 -W 1300 -M 7680 glucose.sh HOME/instance-3290736-1303776044.cnf running on 2 cores: 5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 3.53 3.83 3.39 4/192 31031 /proc/meminfo: memFree=14940868/32951124 swapFree=67111528/67111528 [pid=31031] ppid=31029 vsize=8704 CPUtime=0 cores=5,7 /proc/31031/stat : 31031 (glucose.sh) S 31029 31031 30717 0 -1 4202496 333 0 0 0 0 0 0 0 21 0 1 0 489202401 8912896 253 33554432000 4194304 4922060 140734040754512 18446744073709551615 228122532997 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/31031/statm: 2176 253 211 178 0 69 0 [startup+0.106592 s] /proc/loadavg: 3.53 3.83 3.39 4/192 31031 /proc/meminfo: memFree=14940868/32951124 swapFree=67111528/67111528 [pid=31031] ppid=31029 vsize=8704 CPUtime=0 cores=5,7 /proc/31031/stat : 31031 (glucose.sh) S 31029 31031 30717 0 -1 4202496 333 0 0 0 0 0 0 0 21 0 1 0 489202401 8912896 253 33554432000 4194304 4922060 140734040754512 18446744073709551615 228122532997 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/31031/statm: 2176 253 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+0.200581 s] /proc/loadavg: 3.53 3.83 3.39 4/192 31031 /proc/meminfo: memFree=14940868/32951124 swapFree=67111528/67111528 [pid=31031] ppid=31029 vsize=8704 CPUtime=0 cores=5,7 /proc/31031/stat : 31031 (glucose.sh) S 31029 31031 30717 0 -1 4202496 333 0 0 0 0 0 0 0 21 0 1 0 489202401 8912896 253 33554432000 4194304 4922060 140734040754512 18446744073709551615 228122532997 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/31031/statm: 2176 253 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+0.300553 s] /proc/loadavg: 3.53 3.83 3.39 4/192 31031 /proc/meminfo: memFree=14940868/32951124 swapFree=67111528/67111528 [pid=31031] ppid=31029 vsize=8704 CPUtime=0 cores=5,7 /proc/31031/stat : 31031 (glucose.sh) S 31029 31031 30717 0 -1 4202496 333 0 0 0 0 0 0 0 21 0 1 0 489202401 8912896 253 33554432000 4194304 4922060 140734040754512 18446744073709551615 228122532997 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/31031/statm: 2176 253 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+0.700446 s] /proc/loadavg: 3.53 3.83 3.39 4/192 31031 /proc/meminfo: memFree=14940868/32951124 swapFree=67111528/67111528 [pid=31031] ppid=31029 vsize=8704 CPUtime=0.56 cores=5,7 /proc/31031/stat : 31031 (glucose.sh) S 31029 31031 30717 0 -1 4202496 359 5413 0 0 0 0 55 1 16 0 1 0 489202401 8912896 255 33554432000 4194304 4922060 140734040754512 18446744073709551615 228122532997 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/31031/statm: 2176 255 211 178 0 69 0 Current children cumulated CPU time (s) 0.56 Current children cumulated vsize (KiB) 8704 [startup+1.50034 s] /proc/loadavg: 3.53 3.83 3.39 4/184 31058 /proc/meminfo: memFree=15043348/32951124 swapFree=67111528/67111528 [pid=31031] ppid=31029 vsize=8704 CPUtime=0.56 cores=5,7 /proc/31031/stat : 31031 (glucose.sh) S 31029 31031 30717 0 -1 4202496 359 5413 0 0 0 0 55 1 16 0 1 0 489202401 8912896 255 33554432000 4194304 4922060 140734040754512 18446744073709551615 228122532997 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/31031/statm: 2176 255 211 178 0 69 0 [pid=31058] ppid=31031 vsize=33276 CPUtime=0.92 cores=5,7 /proc/31058/stat : 31058 (glucose_static) R 31031 31031 30717 0 -1 4202496 9289 0 0 0 91 1 0 0 19 0 1 0 489202458 34074624 4116 33554432000 4194304 4260849 140735328415696 18446744073709551615 4209287 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/31058/statm: 8319 4116 249 17 0 4960 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 41980 [startup+3.10105 s] /proc/loadavg: 3.41 3.80 3.39 3/182 31072 /proc/meminfo: memFree=15045216/32951124 swapFree=67111528/67111528 [pid=31031] ppid=31029 vsize=8704 CPUtime=0.56 cores=5,7 /proc/31031/stat : 31031 (glucose.sh) S 31029 31031 30717 0 -1 4202496 359 5413 0 0 0 0 55 1 16 0 1 0 489202401 8912896 255 33554432000 4194304 4922060 140734040754512 18446744073709551615 228122532997 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/31031/statm: 2176 255 211 178 0 69 0 [pid=31058] ppid=31031 vsize=63892 CPUtime=2.52 cores=5,7 /proc/31058/stat : 31058 (glucose_static) R 31031 31031 30717 0 -1 4202496 16589 0 0 0 250 2 0 0 22 0 1 0 489202458 65425408 11214 33554432000 4194304 4260849 140735328415696 18446744073709551615 4226836 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/31058/statm: 15973 11214 249 17 0 12614 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 72596 [startup+6.30047 s] /proc/loadavg: 3.41 3.80 3.39 4/184 31076 /proc/meminfo: memFree=14969572/32951124 swapFree=67111528/67111528 [pid=31031] ppid=31029 vsize=8704 CPUtime=0.56 cores=5,7 /proc/31031/stat : 31031 (glucose.sh) S 31029 31031 30717 0 -1 4202496 359 5413 0 0 0 0 55 1 16 0 1 0 489202401 8912896 255 33554432000 4194304 4922060 140734040754512 18446744073709551615 228122532997 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/31031/statm: 2176 255 211 178 0 69 0 [pid=31058] ppid=31031 vsize=63892 CPUtime=5.71 cores=5,7 /proc/31058/stat : 31058 (glucose_static) R 31031 31031 30717 0 -1 4202496 20722 0 0 0 569 2 0 0 25 0 1 0 489202458 65425408 11694 33554432000 4194304 4260849 140735328415696 18446744073709551615 4224495 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/31058/statm: 15973 11694 250 17 0 12614 0 Current children cumulated CPU time (s) 6.27 Current children cumulated vsize (KiB) 72596 [startup+12.7003 s] /proc/loadavg: 3.43 3.79 3.39 5/194 31124 /proc/meminfo: memFree=14745480/32951124 swapFree=67111528/67111528 [pid=31031] ppid=31029 vsize=8704 CPUtime=0.56 cores=5,7 /proc/31031/stat : 31031 (glucose.sh) S 31029 31031 30717 0 -1 4202496 359 5413 0 0 0 0 55 1 16 0 1 0 489202401 8912896 255 33554432000 4194304 4922060 140734040754512 18446744073709551615 228122532997 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/31031/statm: 2176 255 211 178 0 69 0 [pid=31058] ppid=31031 vsize=63892 CPUtime=12.11 cores=5,7 /proc/31058/stat : 31058 (glucose_static) R 31031 31031 30717 0 -1 4202496 20795 0 0 0 1209 2 0 0 25 0 1 0 489202458 65425408 11767 33554432000 4194304 4260849 140735328415696 18446744073709551615 4238067 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/31058/statm: 15973 11767 252 17 0 12614 0 Current children cumulated CPU time (s) 12.67 Current children cumulated vsize (KiB) 72596 [startup+25.501 s] /proc/loadavg: 3.52 3.80 3.39 5/195 31126 /proc/meminfo: memFree=14681260/32951124 swapFree=67111528/67111528 [pid=31031] ppid=31029 vsize=8704 CPUtime=0.56 cores=5,7 /proc/31031/stat : 31031 (glucose.sh) S 31029 31031 30717 0 -1 4202496 359 5413 0 0 0 0 55 1 16 0 1 0 489202401 8912896 255 33554432000 4194304 4922060 140734040754512 18446744073709551615 228122532997 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/31031/statm: 2176 255 211 178 0 69 0 [pid=31058] ppid=31031 vsize=63892 CPUtime=24.91 cores=5,7 /proc/31058/stat : 31058 (glucose_static) R 31031 31031 30717 0 -1 4202496 21618 0 0 0 2489 2 0 0 25 0 1 0 489202458 65425408 12577 33554432000 4194304 4260849 140735328415696 18446744073709551615 4224867 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/31058/statm: 15973 12577 252 17 0 12614 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 72596 [startup+51.1004 s] /proc/loadavg: 3.60 3.80 3.40 5/194 31167 /proc/meminfo: memFree=14716684/32951124 swapFree=67111528/67111528 [pid=31031] ppid=31029 vsize=8704 CPUtime=0.56 cores=5,7 /proc/31031/stat : 31031 (glucose.sh) S 31029 31031 30717 0 -1 4202496 359 5413 0 0 0 0 55 1 16 0 1 0 489202401 8912896 255 33554432000 4194304 4922060 140734040754512 18446744073709551615 228122532997 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/31031/statm: 2176 255 211 178 0 69 0 [pid=31058] ppid=31031 vsize=82748 CPUtime=50.52 cores=5,7 /proc/31058/stat : 31058 (glucose_static) R 31031 31031 30717 0 -1 4202496 31797 0 0 0 5048 4 0 0 25 0 1 0 489202458 84733952 17351 33554432000 4194304 4260849 140735328415696 18446744073709551615 4209287 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/31058/statm: 20687 17351 252 17 0 17328 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 91452 [startup+102.301 s] /proc/loadavg: 3.71 3.79 3.42 5/194 31227 /proc/meminfo: memFree=14281640/32951124 swapFree=67111528/67111528 [pid=31031] ppid=31029 vsize=8704 CPUtime=0.56 cores=5,7 /proc/31031/stat : 31031 (glucose.sh) S 31029 31031 30717 0 -1 4202496 359 5413 0 0 0 0 55 1 16 0 1 0 489202401 8912896 255 33554432000 4194304 4922060 140734040754512 18446744073709551615 228122532997 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/31031/statm: 2176 255 211 178 0 69 0 [pid=31058] ppid=31031 vsize=82748 CPUtime=101.72 cores=5,7 /proc/31058/stat : 31058 (glucose_static) R 31031 31031 30717 0 -1 4202496 31797 0 0 0 10168 4 0 0 25 0 1 0 489202458 84733952 17351 33554432000 4194304 4260849 140735328415696 18446744073709551615 4224665 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/31058/statm: 20687 17351 252 17 0 17328 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 91452 [startup+162.301 s] /proc/loadavg: 3.87 3.82 3.45 5/194 31260 /proc/meminfo: memFree=14153160/32951124 swapFree=67111528/67111528 [pid=31031] ppid=31029 vsize=8704 CPUtime=0.56 cores=5,7 /proc/31031/stat : 31031 (glucose.sh) S 31029 31031 30717 0 -1 4202496 359 5413 0 0 0 0 55 1 16 0 1 0 489202401 8912896 255 33554432000 4194304 4922060 140734040754512 18446744073709551615 228122532997 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/31031/statm: 2176 255 211 178 0 69 0 [pid=31058] ppid=31031 vsize=95024 CPUtime=161.72 cores=5,7 /proc/31058/stat : 31058 (glucose_static) R 31031 31031 30717 0 -1 4202496 60039 0 0 0 16163 9 0 0 25 0 1 0 489202458 97304576 20498 33554432000 4194304 4260849 140735328415696 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/31058/statm: 23756 20498 252 17 0 20397 0 Current children cumulated CPU time (s) 162.28 Current children cumulated vsize (KiB) 103728 [startup+222.307 s] /proc/loadavg: 3.95 3.85 3.48 5/194 31266 /proc/meminfo: memFree=14090676/32951124 swapFree=67111528/67111528 [pid=31031] ppid=31029 vsize=8704 CPUtime=0.56 cores=5,7 /proc/31031/stat : 31031 (glucose.sh) S 31029 31031 30717 0 -1 4202496 359 5413 0 0 0 0 55 1 16 0 1 0 489202401 8912896 255 33554432000 4194304 4922060 140734040754512 18446744073709551615 228122532997 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/31031/statm: 2176 255 211 178 0 69 0 [pid=31058] ppid=31031 vsize=95024 CPUtime=221.73 cores=5,7 /proc/31058/stat : 31058 (glucose_static) R 31031 31031 30717 0 -1 4202496 104819 0 0 0 22156 17 0 0 25 0 1 0 489202458 97304576 20510 33554432000 4194304 4260849 140735328415696 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/31058/statm: 23756 20510 252 17 0 20397 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 103728 [startup+282.3 s] /proc/loadavg: 3.98 3.87 3.51 5/194 31267 /proc/meminfo: memFree=14053096/32951124 swapFree=67111528/67111528 [pid=31031] ppid=31029 vsize=8704 CPUtime=0.56 cores=5,7 /proc/31031/stat : 31031 (glucose.sh) S 31029 31031 30717 0 -1 4202496 359 5413 0 0 0 0 55 1 16 0 1 0 489202401 8912896 255 33554432000 4194304 4922060 140734040754512 18446744073709551615 228122532997 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/31031/statm: 2176 255 211 178 0 69 0 [pid=31058] ppid=31031 vsize=95024 CPUtime=281.73 cores=5,7 /proc/31058/stat : 31058 (glucose_static) R 31031 31031 30717 0 -1 4202496 134441 0 0 0 28150 23 0 0 25 0 1 0 489202458 97304576 20510 33554432000 4194304 4260849 140735328415696 18446744073709551615 4209227 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/31058/statm: 23756 20510 252 17 0 20397 0 Current children cumulated CPU time (s) 282.29 Current children cumulated vsize (KiB) 103728 [startup+342.301 s] /proc/loadavg: 3.99 3.89 3.54 5/194 31269 /proc/meminfo: memFree=14054636/32951124 swapFree=67111528/67111528 [pid=31031] ppid=31029 vsize=8704 CPUtime=0.56 cores=5,7 /proc/31031/stat : 31031 (glucose.sh) S 31029 31031 30717 0 -1 4202496 359 5413 0 0 0 0 55 1 16 0 1 0 489202401 8912896 255 33554432000 4194304 4922060 140734040754512 18446744073709551615 228122532997 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/31031/statm: 2176 255 211 178 0 69 0 [pid=31058] ppid=31031 vsize=95024 CPUtime=341.73 cores=5,7 /proc/31058/stat : 31058 (glucose_static) R 31031 31031 30717 0 -1 4202496 166243 0 0 0 34143 30 0 0 25 0 1 0 489202458 97304576 20526 33554432000 4194304 4260849 140735328415696 18446744073709551615 4225124 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/31058/statm: 23756 20526 252 17 0 20397 0 Current children cumulated CPU time (s) 342.29 Current children cumulated vsize (KiB) 103728 [startup+402.301 s] /proc/loadavg: 3.99 3.91 3.57 5/194 31270 /proc/meminfo: memFree=14007276/32951124 swapFree=67111528/67111528 [pid=31031] ppid=31029 vsize=8704 CPUtime=0.56 cores=5,7 ################ # More data... # ################ /proc/31058/statm: 36086 32757 252 17 0 32727 0 Current children cumulated CPU time (s) 642.29 Current children cumulated vsize (KiB) 153048 [startup+702.3 s] /proc/loadavg: 4.00 3.96 3.68 5/194 31278 /proc/meminfo: memFree=13960932/32951124 swapFree=67111528/67111528 [pid=31031] ppid=31029 vsize=8704 CPUtime=0.56 cores=5,7 /proc/31031/stat : 31031 (glucose.sh) S 31029 31031 30717 0 -1 4202496 359 5413 0 0 0 0 55 1 16 0 1 0 489202401 8912896 255 33554432000 4194304 4922060 140734040754512 18446744073709551615 228122532997 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/31031/statm: 2176 255 211 178 0 69 0 [pid=31058] ppid=31031 vsize=144344 CPUtime=701.73 cores=5,7 /proc/31058/stat : 31058 (glucose_static) R 31031 31031 30717 0 -1 4202496 322573 0 0 0 70107 66 0 0 25 0 1 0 489202458 147808256 31544 33554432000 4194304 4260849 140735328415696 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/31058/statm: 36086 31544 252 17 0 32727 0 Current children cumulated CPU time (s) 702.29 Current children cumulated vsize (KiB) 153048 [startup+762.3 s] /proc/loadavg: 4.00 3.97 3.69 5/194 31280 /proc/meminfo: memFree=13954464/32951124 swapFree=67111528/67111528 [pid=31031] ppid=31029 vsize=8704 CPUtime=0.56 cores=5,7 /proc/31031/stat : 31031 (glucose.sh) S 31029 31031 30717 0 -1 4202496 359 5413 0 0 0 0 55 1 16 0 1 0 489202401 8912896 255 33554432000 4194304 4922060 140734040754512 18446744073709551615 228122532997 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/31031/statm: 2176 255 211 178 0 69 0 [pid=31058] ppid=31031 vsize=144344 CPUtime=761.75 cores=5,7 /proc/31058/stat : 31058 (glucose_static) R 31031 31031 30717 0 -1 4202496 346554 0 0 0 76102 73 0 0 25 0 1 0 489202458 147808256 29021 33554432000 4194304 4260849 140735328415696 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/31058/statm: 36086 29021 252 17 0 32727 0 Current children cumulated CPU time (s) 762.31 Current children cumulated vsize (KiB) 153048 [startup+822.301 s] /proc/loadavg: 4.00 3.97 3.71 5/194 31282 /proc/meminfo: memFree=13892824/32951124 swapFree=67111528/67111528 [pid=31031] ppid=31029 vsize=8704 CPUtime=0.56 cores=5,7 /proc/31031/stat : 31031 (glucose.sh) S 31029 31031 30717 0 -1 4202496 359 5413 0 0 0 0 55 1 16 0 1 0 489202401 8912896 255 33554432000 4194304 4922060 140734040754512 18446744073709551615 228122532997 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/31031/statm: 2176 255 211 178 0 69 0 [pid=31058] ppid=31031 vsize=175164 CPUtime=821.73 cores=5,7 /proc/31058/stat : 31058 (glucose_static) R 31031 31031 30717 0 -1 4202496 365379 0 0 0 82095 78 0 0 25 0 1 0 489202458 179367936 34533 33554432000 4194304 4260849 140735328415696 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/31058/statm: 43791 34533 252 17 0 40432 0 Current children cumulated CPU time (s) 822.29 Current children cumulated vsize (KiB) 183868 [startup+882.307 s] /proc/loadavg: 4.00 3.97 3.73 5/194 31283 /proc/meminfo: memFree=13957160/32951124 swapFree=67111528/67111528 [pid=31031] ppid=31029 vsize=8704 CPUtime=0.56 cores=5,7 /proc/31031/stat : 31031 (glucose.sh) S 31029 31031 30717 0 -1 4202496 359 5413 0 0 0 0 55 1 16 0 1 0 489202401 8912896 255 33554432000 4194304 4922060 140734040754512 18446744073709551615 228122532997 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/31031/statm: 2176 255 211 178 0 69 0 [pid=31058] ppid=31031 vsize=144344 CPUtime=881.75 cores=5,7 /proc/31058/stat : 31058 (glucose_static) R 31031 31031 30717 0 -1 4202496 390918 0 0 0 88090 85 0 0 25 0 1 0 489202458 147808256 30888 33554432000 4194304 4260849 140735328415696 18446744073709551615 4225129 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/31058/statm: 36086 30888 252 17 0 32727 0 Current children cumulated CPU time (s) 882.31 Current children cumulated vsize (KiB) 153048 [startup+942.301 s] /proc/loadavg: 4.05 3.99 3.75 5/194 31285 /proc/meminfo: memFree=13922664/32951124 swapFree=67111528/67111528 [pid=31031] ppid=31029 vsize=8704 CPUtime=0.56 cores=5,7 /proc/31031/stat : 31031 (glucose.sh) S 31029 31031 30717 0 -1 4202496 359 5413 0 0 0 0 55 1 16 0 1 0 489202401 8912896 255 33554432000 4194304 4922060 140734040754512 18446744073709551615 228122532997 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/31031/statm: 2176 255 211 178 0 69 0 [pid=31058] ppid=31031 vsize=175164 CPUtime=941.74 cores=5,7 /proc/31058/stat : 31058 (glucose_static) R 31031 31031 30717 0 -1 4202496 408316 0 0 0 94086 88 0 0 25 0 1 0 489202458 179367936 33550 33554432000 4194304 4260849 140735328415696 18446744073709551615 4226306 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/31058/statm: 43791 33550 252 17 0 40432 0 Current children cumulated CPU time (s) 942.3 Current children cumulated vsize (KiB) 183868 [startup+1002.3 s] /proc/loadavg: 4.10 4.00 3.76 5/194 31286 /proc/meminfo: memFree=13952900/32951124 swapFree=67111528/67111528 [pid=31031] ppid=31029 vsize=8704 CPUtime=0.56 cores=5,7 /proc/31031/stat : 31031 (glucose.sh) S 31029 31031 30717 0 -1 4202496 359 5413 0 0 0 0 55 1 16 0 1 0 489202401 8912896 255 33554432000 4194304 4922060 140734040754512 18446744073709551615 228122532997 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/31031/statm: 2176 255 211 178 0 69 0 [pid=31058] ppid=31031 vsize=95024 CPUtime=1001.74 cores=5,7 /proc/31058/stat : 31058 (glucose_static) R 31031 31031 30717 0 -1 4202496 424746 0 0 0 100081 93 0 0 25 0 1 0 489202458 97304576 20526 33554432000 4194304 4260849 140735328415696 18446744073709551615 4224583 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/31058/statm: 23756 20526 252 17 0 20397 0 Current children cumulated CPU time (s) 1002.3 Current children cumulated vsize (KiB) 103728 [startup+1062.3 s] /proc/loadavg: 4.03 4.00 3.77 5/194 31288 /proc/meminfo: memFree=13916668/32951124 swapFree=67111528/67111528 [pid=31031] ppid=31029 vsize=8704 CPUtime=0.56 cores=5,7 /proc/31031/stat : 31031 (glucose.sh) S 31029 31031 30717 0 -1 4202496 359 5413 0 0 0 0 55 1 16 0 1 0 489202401 8912896 255 33554432000 4194304 4922060 140734040754512 18446744073709551615 228122532997 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/31031/statm: 2176 255 211 178 0 69 0 [pid=31058] ppid=31031 vsize=144344 CPUtime=1061.75 cores=5,7 /proc/31058/stat : 31058 (glucose_static) R 31031 31031 30717 0 -1 4202496 448610 0 0 0 106075 100 0 0 25 0 1 0 489202458 147808256 30653 33554432000 4194304 4260849 140735328415696 18446744073709551615 4224674 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/31058/statm: 36086 30653 252 17 0 32727 0 Current children cumulated CPU time (s) 1062.31 Current children cumulated vsize (KiB) 153048 [startup+1122.3 s] /proc/loadavg: 4.01 4.00 3.79 5/194 31290 /proc/meminfo: memFree=13856884/32951124 swapFree=67111528/67111528 [pid=31031] ppid=31029 vsize=8704 CPUtime=0.56 cores=5,7 /proc/31031/stat : 31031 (glucose.sh) S 31029 31031 30717 0 -1 4202496 359 5413 0 0 0 0 55 1 16 0 1 0 489202401 8912896 255 33554432000 4194304 4922060 140734040754512 18446744073709551615 228122532997 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/31031/statm: 2176 255 211 178 0 69 0 [pid=31058] ppid=31031 vsize=175164 CPUtime=1121.75 cores=5,7 /proc/31058/stat : 31058 (glucose_static) R 31031 31031 30717 0 -1 4202496 466047 0 0 0 112070 105 0 0 25 0 1 0 489202458 179367936 33287 33554432000 4194304 4260849 140735328415696 18446744073709551615 4224885 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/31058/statm: 43791 33287 252 17 0 40432 0 Current children cumulated CPU time (s) 1122.31 Current children cumulated vsize (KiB) 183868 [startup+1182.3 s] /proc/loadavg: 3.72 3.93 3.78 4/187 31309 /proc/meminfo: memFree=13967396/32951124 swapFree=67111528/67111528 [pid=31031] ppid=31029 vsize=8704 CPUtime=0.56 cores=5,7 /proc/31031/stat : 31031 (glucose.sh) S 31029 31031 30717 0 -1 4202496 359 5413 0 0 0 0 55 1 16 0 1 0 489202401 8912896 255 33554432000 4194304 4922060 140734040754512 18446744073709551615 228122532997 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/31031/statm: 2176 255 211 178 0 69 0 [pid=31058] ppid=31031 vsize=175164 CPUtime=1181.75 cores=5,7 /proc/31058/stat : 31058 (glucose_static) R 31031 31031 30717 0 -1 4202496 484366 0 0 0 118063 112 0 0 25 0 1 0 489202458 179367936 35824 33554432000 4194304 4260849 140735328415696 18446744073709551615 4226259 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/31058/statm: 43791 35824 252 17 0 40432 0 Current children cumulated CPU time (s) 1182.31 Current children cumulated vsize (KiB) 183868 [startup+1242.3 s] /proc/loadavg: 3.26 3.76 3.72 4/187 31311 /proc/meminfo: memFree=14063960/32951124 swapFree=67111528/67111528 [pid=31031] ppid=31029 vsize=8704 CPUtime=0.56 cores=5,7 /proc/31031/stat : 31031 (glucose.sh) S 31029 31031 30717 0 -1 4202496 359 5413 0 0 0 0 55 1 16 0 1 0 489202401 8912896 255 33554432000 4194304 4922060 140734040754512 18446744073709551615 228122532997 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/31031/statm: 2176 255 211 178 0 69 0 [pid=31058] ppid=31031 vsize=144344 CPUtime=1241.74 cores=5,7 /proc/31058/stat : 31058 (glucose_static) R 31031 31031 30717 0 -1 4202496 507808 0 0 0 124057 117 0 0 25 0 1 0 489202458 147808256 28153 33554432000 4194304 4260849 140735328415696 18446744073709551615 4226832 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/31058/statm: 36086 28153 252 17 0 32727 0 Current children cumulated CPU time (s) 1242.3 Current children cumulated vsize (KiB) 153048 Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+1300 s] /proc/loadavg: 3.10 3.63 3.68 4/187 31312 /proc/meminfo: memFree=14014212/32951124 swapFree=67111528/67111528 [pid=31031] ppid=31029 vsize=8704 CPUtime=0.56 cores=5,7 /proc/31031/stat : 31031 (glucose.sh) S 31029 31031 30717 0 -1 4202496 359 5413 0 0 0 0 55 1 16 0 1 0 489202401 8912896 255 33554432000 4194304 4922060 140734040754512 18446744073709551615 228122532997 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/31031/statm: 2176 255 211 178 0 69 0 [pid=31058] ppid=31031 vsize=144344 CPUtime=1299.46 cores=5,7 /proc/31058/stat : 31058 (glucose_static) R 31031 31031 30717 0 -1 4202496 526244 0 0 0 129822 124 0 0 25 0 1 0 489202458 147808256 30755 33554432000 4194304 4260849 140735328415696 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/31058/statm: 36086 30755 252 17 0 32727 0 Current children cumulated CPU time (s) 1300.02 Current children cumulated vsize (KiB) 153048 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1300 s] /proc/loadavg: 3.10 3.63 3.68 4/187 31312 /proc/meminfo: memFree=14014212/32951124 swapFree=67111528/67111528 [pid=31031] ppid=31029 vsize=8704 CPUtime=0.56 cores=5,7 /proc/31031/stat : 31031 (glucose.sh) S 31029 31031 30717 0 -1 4202496 359 5413 0 0 0 0 55 1 16 0 1 0 489202401 8912896 255 33554432000 4194304 4922060 140734040754512 18446744073709551615 228122532997 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/31031/statm: 2176 255 211 178 0 69 0 [pid=31058] ppid=31031 vsize=144344 CPUtime=1299.46 cores=5,7 /proc/31058/stat : 31058 (glucose_static) R 31031 31031 30717 0 -1 4202496 526244 0 0 0 129822 124 0 0 25 0 1 0 489202458 147808256 30755 33554432000 4194304 4260849 140735328415696 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/31058/statm: 36086 30755 252 17 0 32727 0 Current children cumulated CPU time (s) 1300.02 Current children cumulated vsize (KiB) 153048 Child ended because it received signal 15 (SIGTERM) # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 31031 and gives # childrusage.ru_utime.tv_sec=0 # childrusage.ru_utime.tv_usec=552915 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=16997 # CPU time returned by wait4() is 0.569912 # while last known CPU time is 1300.02 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 1300.01 CPU time (s): 1300.02 CPU user time (s): 1298.77 CPU system time (s): 1.25 CPU usage (%): 100.001 Max. virtual memory (cumulated for all children) (KiB): 183868 getrusage(RUSAGE_CHILDREN,...) data: user time used= 0.552915 system time used= 0.016997 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 5772 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 8 involuntary context switches= 15 runsolver used 2.03869 second user time and 5.06423 second system time The end
Begin job on node138 at 2011-04-26 02:00:44 IDJOB=3290736 IDBENCH=83446 IDSOLVER=1651 FILE ID=node138/3290736-1303776044 RUNJOBID= node138-1303774706-30738 PBS_JOBID= 13157192 Free space on /tmp= 71956 MiB SOLVER NAME= glucose 2 BENCH NAME= SAT11/application/leberre/2dimensionalstrippacking/korf-18.cnf COMMAND LINE= glucose.sh BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3290736-1303776044/watcher-3290736-1303776044 -o /tmp/evaluation-result-3290736-1303776044/solver-3290736-1303776044 -C 2400 -W 1300 -M 7680 glucose.sh HOME/instance-3290736-1303776044.cnf TIME LIMIT= 2400 seconds MEMORY LIMIT= 7680 MiB NBCORE= 2 MD5SUM BENCH= 47bea79e2bf12e18e409c2c4bd6fac03 RANDOM SEED=2009735737 node138.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.854 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.70 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.854 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.854 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.82 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.854 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.75 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.854 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.80 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.854 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.854 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.82 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.854 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 14941024 kB Buffers: 2067612 kB Cached: 15194892 kB SwapCached: 0 kB Active: 10101032 kB Inactive: 7349796 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 14941024 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 51744 kB Writeback: 0 kB AnonPages: 187488 kB Mapped: 15436 kB Slab: 495888 kB PageTables: 5956 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 381632 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= 71572 MiB End job on node138 at 2011-04-26 02:22:26