| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| glucose 2 | ? (TO) | 5000.02 | 4999.81 |
| Name | CRAFTED/rbsat/random/unforced/ rbsat-v2400c266431g10.cnf |
| MD5SUM | 885d1d8595262b8f0aa94d123211b47c |
| Bench Category | CRAFTED (crafted instances) |
| Best result obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 2400 |
| Number of clauses | 266431 |
| Sum of the clauses size | 535112 |
| Maximum clause length | 32 |
| Minimum clause length | 2 |
| Number of clauses of size 1 | 0 |
| Number of clauses of size 2 | 266356 |
| Number of clauses of size 3 | 0 |
| Number of clauses of size 4 | 0 |
| Number of clauses of size 5 | 0 |
| Number of clauses of size over 5 | 75 |
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.06 c ============================================================================== 0.00/0.06 c | | ORIGINAL | LEARNT | | 0.00/0.06 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress | 0.00/0.06 c ============================================================================== 0.00/0.06 c | 0 | 266431 535112 | 79929 0 0 nan | 0.000 % | 0.00/0.85 c | 0 | 263357 886976 | -- 0 -- -- | -- | -3074/351864 0.00/0.85 c ============================================================================== 0.00/0.85 c Result : #vars: 2325 #clauses: 263357 #literals: 886976 0.00/0.85 c CPU time: 0.838872 s 0.00/0.85 c ============================================================================== 0.00/0.98 c 0.00/0.98 c Starting glucose 0.00/0.98 c 739.51/739.55 c This is glucose 2.0 -- based on MiniSAT (Many thanks to MiniSAT team) 739.51/739.55 c WARNING: for repeatability, setting FPU to use double precision 739.51/739.55 c ============================[ Problem Statistics ]============================= 739.51/739.55 c | | 739.51/739.55 c | Number of variables: 2325 | 739.51/739.55 c | Number of clauses: 263357 | 739.51/739.55 c | Parse time: 0.05 s | 739.51/739.55 c | | 739.51/739.55 c ============================[ Search Statistics ]============================== 739.51/739.55 c | Conflicts | ORIGINAL | LEARNT | Progress | 739.51/739.55 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | | 739.51/739.55 c =============================================================================== 739.51/739.55 c | 6123 | 2325 263357 886976 | 1 4134 153 | 0.000 % | 739.51/739.55 c | 111450 | 2325 263357 886976 | 1 26278 89 | 0.000 % | 739.51/739.55 c | 210321 | 2325 263357 886976 | 1 50740 81 | 0.000 % | 739.51/739.55 c | 746526 | 2325 263357 886976 | 1 113969 73 | 0.000 % | 739.51/739.55 c | 1031406 | 2325 263357 886976 | 1 79831 56 | 0.000 % | 739.51/739.55 c | 1031594 | 2325 263357 886976 | 1 80019 56 | 0.000 % | 739.51/739.55 c | 1088974 | 2325 263357 886976 | 1 137399 74 | 0.000 % | 739.51/739.55 c | 1135243 | 2325 263357 886976 | 1 112061 62 | 0.000 % | 739.51/739.55 c | 1144860 | 2325 263357 886976 | 1 121678 64 | 0.000 % | 739.51/739.55 c | 1494765 | 2325 263357 886976 | 1 159198 63 | 0.000 % | 739.51/739.55 c | 1891521 | 2325 263357 886976 | 1 106947 50 | 0.000 % | 739.51/739.55 c | 2137781 | 2325 263357 886976 | 1 155410 66 | 0.000 % | 739.51/739.55 c | 2167151 | 2325 263357 886976 | 1 184780 70 | 0.000 % | 739.51/739.55 c | 2223291 | 2325 263357 886976 | 1 138111 59 | 0.000 % | 739.51/739.55 c | 2251361 | 2325 263357 886976 | 1 166181 67 | 0.000 % | 739.51/739.55 c | 2353363 | 2325 263357 886976 | 1 162785 59 | 0.000 % | 739.51/739.55 c | 2353465 | 2325 263357 886976 | 1 162887 59 | 0.000 % | 739.51/739.55 c | 2364997 | 2325 263357 886976 | 1 174419 61 | 0.000 % | 739.51/739.55 c | 2366856 | 2325 263357 886976 | 1 176278 61 | 0.000 % | 739.51/739.55 c | 2373336 | 2325 263357 886976 | 1 182758 63 | 0.000 % | 739.51/739.55 c | 2394593 | 2325 263357 886976 | 1 204015 67 | 0.000 % | 739.51/739.55 c | 2436726 | 2325 263357 886976 | 1 138161 56 | 0.000 % | 739.51/739.55 c | 2453559 | 2325 263357 886976 | 1 154994 59 | 0.000 % | 739.51/739.55 c | 2478401 | 2325 263357 886976 | 1 179836 65 | 0.000 % | 739.51/739.55 c | 2527618 | 2325 263357 886976 | 1 118465 48 | 0.000 % | 739.51/739.55 c | 2530031 | 2325 263357 886976 | 1 120878 49 | 0.000 % | 739.51/739.55 c | 2538803 | 2325 263357 886976 | 1 129650 51 | 0.000 % | 739.51/739.55 c | 2739182 | 2325 263357 886976 | 1 216813 64 | 0.000 % | 739.51/739.55 c | 2819862 | 2325 263357 886976 | 1 181692 57 | 0.000 % | 739.51/739.55 c | 2820056 | 2325 263357 886976 | 1 181886 57 | 0.000 % | 739.51/739.55 c | 2820331 | 2325 263357 886976 | 1 182161 57 | 0.000 % | 739.51/739.55 c | 2836496 | 2325 263357 886976 | 1 198326 61 | 0.000 % | 739.51/739.55 c | 2911140 | 2325 263357 886976 | 1 154561 51 | 0.000 % | 739.51/739.55 c | 2928671 | 2325 263357 886976 | 1 172092 53 | 0.000 % | 739.51/739.55 c | 2963610 | 2325 263357 886976 | 1 207031 60 | 0.000 % | 739.51/739.55 c | 2970065 | 2325 263357 886976 | 1 213486 60 | 0.000 % | 739.51/739.55 c | 2970167 | 2325 263357 886976 | 1 213588 60 | 0.000 % | 739.51/739.55 c | 2971018 | 2325 263357 886976 | 1 214439 61 | 0.000 % | 739.51/739.55 c | 3036868 | 2325 263357 886976 | 1 159283 55 | 0.000 % | 1167.04/1167.10 c | 3096821 | 2325 263357 886976 | 1 219236 61 | 0.000 % | 1167.04/1167.10 c | 3112329 | 2325 263357 886976 | 1 234744 63 | 0.000 % | 1167.04/1167.10 c | 3172747 | 2325 263357 886976 | 1 171560 51 | 0.000 % | 1167.04/1167.10 c | 3177174 | 2325 263357 886976 | 1 175987 52 | 0.000 % | 1167.04/1167.10 c | 3178281 | 2325 263357 886976 | 1 177094 53 | 0.000 % | 1167.04/1167.10 c | 3179916 | 2325 263357 886976 | 1 178729 53 | 0.000 % | 1167.04/1167.10 c | 3180406 | 2325 263357 886976 | 1 179219 53 | 0.000 % | 1167.04/1167.10 c | 3210942 | 2325 263357 886976 | 1 209755 58 | 0.000 % | 1167.04/1167.10 c | 3211684 | 2325 263357 886976 | 1 210497 58 | 0.000 % | 1167.04/1167.10 c | 3228348 | 2325 263357 886976 | 1 227161 61 | 0.000 % | 1167.04/1167.10 c | 3231762 | 2325 263357 886976 | 1 230575 62 | 0.000 % | 1167.04/1167.10 c | 3251071 | 2325 263357 886976 | 1 249884 63 | 0.000 % | 1167.04/1167.10 c | 3274508 | 2325 263357 886976 | 1 147119 47 | 0.000 % | 1167.04/1167.10 c | 3291426 | 2325 263357 886976 | 1 164037 52 | 0.000 % | 1167.04/1167.10 c | 3291526 | 2325 263357 886976 | 1 164137 52 | 0.000 % | 1167.04/1167.10 c | 3462459 | 2325 263357 886976 | 1 206272 60 | 0.000 % | 1167.04/1167.10 c | 3738112 | 2325 263357 886976 | 1 216534 55 | 0.000 % | 1167.04/1167.10 c | 3742701 | 2325 263357 886976 | 1 221123 55 | 0.000 % | 1167.04/1167.10 c | 3743537 | 2325 263357 886976 | 1 221959 55 | 0.000 % | 1167.04/1167.10 c | 3767322 | 2325 263357 886976 | 1 245744 58 | 0.000 % | 1167.04/1167.10 c | 3847898 | 2325 263357 886976 | 1 189726 52 | 0.000 % | 1167.04/1167.10 c | 3848066 | 2325 263357 886976 | 1 189894 52 | 0.000 % | 1167.04/1167.10 c | 3927653 | 2325 263357 886976 | 1 269481 59 | 0.000 % | 1167.04/1167.10 c | 4013064 | 2325 263357 886976 | 1 215692 54 | 0.000 % | 1167.04/1167.10 c | 4013594 | 2325 263357 886976 | 1 216222 54 | 0.000 % | 1167.04/1167.10 c | 4108837 | 2325 263357 886976 | 1 169668 51 | 0.000 % | 1167.04/1167.10 c | 4217288 | 2325 263357 886976 | 1 278119 65 | 0.000 % | 1167.04/1167.10 c | 4218569 | 2325 263357 886976 | 1 279400 66 | 0.000 % | 1167.04/1167.10 c | 4309457 | 2325 263357 886976 | 1 225886 53 | 0.000 % | 1167.04/1167.10 c | 4312208 | 2325 263357 886976 | 1 228637 54 | 0.000 % | 1167.04/1167.10 c | 4364046 | 2325 263357 886976 | 1 280475 58 | 0.000 % | 1167.04/1167.10 c | 4364384 | 2325 263357 886976 | 1 280813 58 | 0.000 % | 1167.04/1167.10 c | 4370110 | 2325 263357 886976 | 1 286539 59 | 0.000 % | 1167.04/1167.10 c | 4416320 | 2325 263357 886976 | 1 185745 51 | 0.000 % | 1167.04/1167.10 c | 4417273 | 2325 263357 886976 | 1 186698 51 | 0.000 % | 1167.04/1167.10 c | 4431325 | 2325 263357 886976 | 1 200750 54 | 0.000 % | 1167.04/1167.10 c | 4434155 | 2325 263357 886976 | 1 203580 55 | 0.000 % | 1167.04/1167.10 c | 4435279 | 2325 263357 886976 | 1 204704 55 | 0.000 % | 1167.04/1167.10 c | 4438057 | 2325 263357 886976 | 1 207482 56 | 0.000 % | 1167.04/1167.10 c | 4440743 | 2325 263357 886976 | 1 210168 56 | 0.000 % | 1167.04/1167.10 c | 4478476 | 2325 263357 886976 | 1 247901 63 | 0.000 % | 1167.04/1167.10 c | 4490552 | 2325 263357 886976 | 1 259977 65 | 0.000 % | 1167.04/1167.10 c | 4526110 | 2325 263357 886976 | 1 295535 67 | 0.000 % | 1167.04/1167.10 c | 4559525 | 2325 263357 886976 | 1 179347 51 | 0.000 % | 1167.04/1167.10 c | 4589135 | 2325 263357 886976 | 1 208957 55 | 0.000 % | 1167.04/1167.10 c | 4637965 | 2325 263357 886976 | 1 257787 59 | 0.000 % | 1167.04/1167.10 c | 4638863 | 2325 263357 886976 | 1 258685 59 | 0.000 % | 1167.04/1167.10 c | 4649860 | 2325 263357 886976 | 1 269682 60 | 0.000 % | 1167.04/1167.10 c | 4653902 | 2325 263357 886976 | 1 273724 60 | 0.000 % | 1167.04/1167.10 c | 4659070 | 2325 263357 886976 | 1 278892 61 | 0.000 % | 1595.46/1595.46 c | 4668233 | 2325 263357 886976 | 1 288055 63 | 0.000 % | 1595.46/1595.46 c | 4725061 | 2325 263357 886976 | 1 192684 54 | 0.000 % | 1595.46/1595.46 c | 4725333 | 2325 263357 886976 | 1 192956 54 | 0.000 % | 1595.46/1595.46 c | 4745741 | 2325 263357 886976 | 1 213364 57 | 0.000 % | 1595.46/1595.46 c | 4753456 | 2325 263357 886976 | 1 221079 58 | 0.000 % | 1595.46/1595.46 c | 4758336 | 2325 263357 886976 | 1 225959 59 | 0.000 % | 1595.46/1595.46 c | 4794968 | 2325 263357 886976 | 1 262591 62 | 0.000 % | 1595.46/1595.46 c | 4809366 | 2325 263357 886976 | 1 276989 63 | 0.000 % | 1595.46/1595.46 c | 4827330 | 2325 263357 886976 | 1 294953 65 | 0.000 % | 1595.46/1595.46 c | 4836659 | 2325 263357 886976 | 1 304282 66 | 0.000 % | 1595.46/1595.46 c | 4946839 | 2325 263357 886976 | 1 259675 56 | 0.000 % | 1595.46/1595.46 c | 4948193 | 2325 263357 886976 | 1 261029 57 | 0.000 % | 1595.46/1595.46 c | 4952882 | 2325 263357 886976 | 1 265718 57 | 0.000 % | 1595.46/1595.46 c | 4955161 | 2325 263357 886976 | 1 267997 57 | 0.000 % | 1595.46/1595.46 c | 4955770 | 2325 263357 886976 | 1 268606 57 | 0.000 % | 1595.46/1595.46 c | 5001462 | 2325 263357 886976 | 1 314298 64 | 0.000 % | 1595.46/1595.46 c | 5025852 | 2325 263357 886976 | 1 181283 49 | 0.000 % | 1595.46/1595.46 c | 5171230 | 2325 263357 886976 | 1 166663 42 | 0.000 % | 1595.46/1595.46 c | 5181081 | 2325 263357 886976 | 1 176514 44 | 0.000 % | 1595.46/1595.46 c | 5181182 | 2325 263357 886976 | 1 176615 44 | 0.000 % | 1595.46/1595.46 c | 5189434 | 2325 263357 886976 | 1 184867 47 | 0.000 % | 1595.46/1595.46 c | 5382067 | 2325 263357 886976 | 1 214897 50 | 0.000 % | 1595.46/1595.46 c | 5633951 | 2325 263357 886976 | 1 301583 60 | 0.000 % | 1595.46/1595.46 c | 5646542 | 2325 263357 886976 | 1 314174 61 | 0.000 % | 1595.46/1595.46 c | 5646643 | 2325 263357 886976 | 1 314275 61 | 0.000 % | 1595.46/1595.46 c | 5688049 | 2325 263357 886976 | 1 187870 46 | 0.000 % | 1595.46/1595.46 c | 5697974 | 2325 263357 886976 | 1 197795 48 | 0.000 % | 1595.46/1595.46 c | 5715039 | 2325 263357 886976 | 1 214860 51 | 0.000 % | 1595.46/1595.46 c | 5717836 | 2325 263357 886976 | 1 217657 52 | 0.000 % | 1595.46/1595.46 c | 5718000 | 2325 263357 886976 | 1 217821 52 | 0.000 % | 1595.46/1595.46 c | 5718162 | 2325 263357 886976 | 1 217983 52 | 0.000 % | 1595.46/1595.46 c | 5733000 | 2325 263357 886976 | 1 232821 56 | 0.000 % | 1595.46/1595.46 c | 5733529 | 2325 263357 886976 | 1 233350 56 | 0.000 % | 1595.46/1595.46 c | 5733742 | 2325 263357 886976 | 1 233563 56 | 0.000 % | 1595.46/1595.46 c | 5780457 | 2325 263357 886976 | 1 280278 61 | 0.000 % | 1595.46/1595.46 c | 5786232 | 2325 263357 886976 | 1 286053 61 | 0.000 % | 1595.46/1595.46 c | 5787213 | 2325 263357 886976 | 1 287034 61 | 0.000 % | 1595.46/1595.46 c | 5805239 | 2325 263357 886976 | 1 305060 62 | 0.000 % | 1595.46/1595.46 c | 5906357 | 2325 263357 886976 | 1 235780 54 | 0.000 % | 1595.46/1595.46 c | 5919208 | 2325 263357 886976 | 1 248631 55 | 0.000 % | 1595.46/1595.46 c | 5964173 | 2325 263357 886976 | 1 293596 59 | 0.000 % | 1595.46/1595.46 c | 6023549 | 2325 263357 886976 | 1 179977 42 | 0.000 % | 1595.46/1595.46 c | 6023785 | 2325 263357 886976 | 1 180213 42 | 0.000 % | 1595.46/1595.46 c | 6063613 | 2325 263357 886976 | 1 220041 51 | 0.000 % | 1595.46/1595.46 c | 6063741 | 2325 263357 886976 | 1 220169 51 | 0.000 % | 1595.46/1595.46 c | 6064057 | 2325 263357 886976 | 1 220485 51 | 0.000 % | 1595.46/1595.46 c | 6065833 | 2325 263357 886976 | 1 222261 51 | 0.000 % | 1595.46/1595.46 c | 6165507 | 2325 263357 886976 | 1 321935 58 | 0.000 % | 1595.46/1595.46 c | 6166023 | 2325 263357 886976 | 1 322451 58 | 0.000 % | 1595.46/1595.46 c | 6205318 | 2325 263357 886976 | 1 186142 41 | 0.000 % | 1936.07/1936.03 c | 6220623 | 2325 263357 886976 | 1 201447 43 | 0.000 % | 1936.07/1936.03 c | 6227825 | 2325 263357 886976 | 1 208649 45 | 0.000 % | 1936.07/1936.03 c | 6296027 | 2325 263357 886976 | 1 276851 54 | 0.000 % | 1936.07/1936.03 c | 6298066 | 2325 263357 886976 | 1 278890 54 | 0.000 % | 1936.07/1936.03 c | 6299738 | 2325 263357 886976 | 1 280562 54 | 0.000 % | 1936.07/1936.03 c | 6301506 | 2325 263357 886976 | 1 282330 55 | 0.000 % | 1936.07/1936.03 c | 6319482 | 2325 263357 886976 | 1 300306 56 | 0.000 % | 1936.07/1936.03 c | 6319747 | 2325 263357 886976 | 1 300571 56 | 0.000 % | 1936.07/1936.03 c | 6340612 | 2325 263357 886976 | 1 321436 58 | 0.000 % | 1936.07/1936.03 c | 6358510 | 2325 263357 886976 | 1 339334 59 | 0.000 % | 1936.07/1936.03 c | 6388024 | 2325 263357 886976 | 1 190653 42 | 0.000 % | 1936.07/1936.03 c | 6446721 | 2325 263357 886976 | 1 249350 51 | 0.000 % | 1936.07/1936.03 c | 6565521 | 2325 263357 886976 | 1 187357 42 | 0.000 % | 1936.07/1936.03 c | 6581778 | 2325 263357 886976 | 1 203614 45 | 0.000 % | 1936.07/1936.03 c | 6650971 | 2325 263357 886976 | 1 272807 53 | 0.000 % | 1936.07/1936.03 c | 6659364 | 2325 263357 886976 | 1 281200 54 | 0.000 % | 1936.07/1936.03 c | 6667077 | 2325 263357 886976 | 1 288913 55 | 0.000 % | 1936.07/1936.03 c | 6669854 | 2325 263357 886976 | 1 291690 55 | 0.000 % | 1936.07/1936.03 c | 6672382 | 2325 263357 886976 | 1 294218 56 | 0.000 % | 1936.07/1936.03 c | 6835041 | 2325 263357 886976 | 1 273473 52 | 0.000 % | 1936.07/1936.03 c | 6870447 | 2325 263357 886976 | 1 308879 55 | 0.000 % | 1936.07/1936.03 c | 6912426 | 2325 263357 886976 | 1 350858 58 | 0.000 % | 1936.07/1936.03 c | 6938094 | 2325 263357 886976 | 1 190526 40 | 0.000 % | 1936.07/1936.03 c | 6940116 | 2325 263357 886976 | 1 192548 40 | 0.000 % | 1936.07/1936.03 c | 6940422 | 2325 263357 886976 | 1 192854 40 | 0.000 % | 1936.07/1936.03 c | 7004513 | 2325 263357 886976 | 1 256945 49 | 0.000 % | 1936.07/1936.03 c | 7046940 | 2325 263357 886976 | 1 299372 53 | 0.000 % | 1936.07/1936.03 c | 7105855 | 2325 263357 886976 | 1 358287 56 | 0.000 % | 1936.07/1936.03 c | 7120623 | 2325 263357 886976 | 1 373055 57 | 0.000 % | 1936.07/1936.03 c | 7122979 | 2325 263357 886976 | 1 375411 57 | 0.000 % | 1936.07/1936.03 c | 7124906 | 2325 263357 886976 | 1 188743 38 | 0.000 % | 1936.07/1936.03 c | 7127755 | 2325 263357 886976 | 1 191592 39 | 0.000 % | 1936.07/1936.03 c | 7131024 | 2325 263357 886976 | 1 194861 40 | 0.000 % | 1936.07/1936.03 c | 7139329 | 2325 263357 886976 | 1 203166 41 | 0.000 % | 1936.07/1936.03 c | 7140282 | 2325 263357 886976 | 1 204119 41 | 0.000 % | 1936.07/1936.03 c | 7143460 | 2325 263357 886976 | 1 207297 42 | 0.000 % | 1936.07/1936.03 c | 7177777 | 2325 263357 886976 | 1 241614 47 | 0.000 % | 1936.07/1936.03 c | 7192602 | 2325 263357 886976 | 1 256439 48 | 0.000 % | 1936.07/1936.03 c | 7198893 | 2325 263357 886976 | 1 262730 49 | 0.000 % | 1936.07/1936.03 c | 7216619 | 2325 263357 886976 | 1 280456 51 | 0.000 % | 1936.07/1936.03 c | 7251827 | 2325 263357 886976 | 1 315664 54 | 0.000 % | 1936.07/1936.03 c | 7256799 | 2325 263357 886976 | 1 320636 54 | 0.000 % | 1936.07/1936.03 c | 7256982 | 2325 263357 886976 | 1 320819 54 | 0.000 % | 1936.07/1936.03 c | 7262317 | 2325 263357 886976 | 1 326154 55 | 0.000 % | 1936.07/1936.03 c | 7269653 | 2325 263357 886976 | 1 333490 55 | 0.000 % | 1936.07/1936.03 c | 7331946 | 2325 263357 886976 | 1 204594 42 | 0.000 % | 1936.07/1936.03 c | 7362304 | 2325 263357 886976 | 1 234952 48 | 0.000 % | 1936.07/1936.03 c | 7363165 | 2325 263357 886976 | 1 235813 48 | 0.000 % | 1936.07/1936.03 c | 7363647 | 2325 263357 886976 | 1 236295 48 | 0.000 % | 1936.07/1936.03 c | 7371368 | 2325 263357 886976 | 1 244016 49 | 0.000 % | 2205.78/2205.79 c | 7372670 | 2325 263357 886976 | 1 245318 50 | 0.000 % | 2205.78/2205.79 c | 7372999 | 2325 263357 886976 | 1 245647 50 | 0.000 % | 2205.78/2205.79 c | 7373146 | 2325 263357 886976 | 1 245794 50 | 0.000 % | 2205.78/2205.79 c | 7390954 | 2325 263357 886976 | 1 263602 52 | 0.000 % | 2205.78/2205.79 c | 7415752 | 2325 263357 886976 | 1 288400 55 | 0.000 % | 2205.78/2205.79 c | 7421591 | 2325 263357 886976 | 1 294239 55 | 0.000 % | 2205.78/2205.79 c | 7569936 | 2325 263357 886976 | 1 248780 48 | 0.000 % | 2205.78/2205.79 c | 7581124 | 2325 263357 886976 | 1 259968 49 | 0.000 % | 2205.78/2205.79 c | 7582545 | 2325 263357 886976 | 1 261389 49 | 0.000 % | 2205.78/2205.79 c | 7600433 | 2325 263357 886976 | 1 279277 51 | 0.000 % | 2205.78/2205.79 c | 7600536 | 2325 263357 886976 | 1 279380 51 | 0.000 % | 2205.78/2205.79 c | 7609941 | 2325 263357 886976 | 1 288785 52 | 0.000 % | 2205.78/2205.79 c | 7612999 | 2325 263357 886976 | 1 291843 53 | 0.000 % | 2205.78/2205.79 c | 7652416 | 2325 263357 886976 | 1 331260 59 | 0.000 % | 2205.78/2205.79 c | 7656849 | 2325 263357 886976 | 1 335693 59 | 0.000 % | 2205.78/2205.79 c | 7657116 | 2325 263357 886976 | 1 335960 59 | 0.000 % | 2205.78/2205.79 c | 7659771 | 2325 263357 886976 | 1 338615 60 | 0.000 % | 2205.78/2205.79 c | 7665563 | 2325 263357 886976 | 1 344407 60 | 0.000 % | 2205.78/2205.79 c | 7672712 | 2325 263357 886976 | 1 351556 61 | 0.000 % | 2205.78/2205.79 c | 7675915 | 2325 263357 886976 | 1 354759 61 | 0.000 % | 2205.78/2205.79 c | 7691957 | 2325 263357 886976 | 1 370801 63 | 0.000 % | 2205.78/2205.79 c | 7693045 | 2325 263357 886976 | 1 371889 63 | 0.000 % | 2205.78/2205.79 c | 7694834 | 2325 263357 886976 | 1 373678 63 | 0.000 % | 2205.78/2205.79 c | 7701578 | 2325 263357 886976 | 1 380422 63 | 0.000 % | 2205.78/2205.79 c | 7726644 | 2325 263357 886976 | 1 209076 43 | 0.000 % | 2205.78/2205.79 c | 7743323 | 2325 263357 886976 | 1 225755 46 | 0.000 % | 2205.78/2205.79 c | 7774632 | 2325 263357 886976 | 1 257064 50 | 0.000 % | 2205.78/2205.79 c | 7821695 | 2325 263357 886976 | 1 304127 54 | 0.000 % | 2205.78/2205.79 c | 7830800 | 2325 263357 886976 | 1 313232 54 | 0.000 % | 2205.78/2205.79 c | 7830959 | 2325 263357 886976 | 1 313391 54 | 0.000 % | 2205.78/2205.79 c | 7866184 | 2325 263357 886976 | 1 348616 57 | 0.000 % | 2205.78/2205.79 c | 7870008 | 2325 263357 886976 | 1 352440 57 | 0.000 % | 2205.78/2205.79 c | 7894426 | 2325 263357 886976 | 1 376858 59 | 0.000 % | 2205.78/2205.79 c | 7912766 | 2325 263357 886976 | 1 395198 60 | 0.000 % | 2205.78/2205.79 c | 7912981 | 2325 263357 886976 | 1 395413 60 | 0.000 % | 2205.78/2205.79 c | 7918401 | 2325 263357 886976 | 1 201832 40 | 0.000 % | 2205.78/2205.79 c | 7918737 | 2325 263357 886976 | 1 202168 40 | 0.000 % | 2205.78/2205.79 c | 7923567 | 2325 263357 886976 | 1 206998 41 | 0.000 % | 2205.78/2205.79 c | 7927285 | 2325 263357 886976 | 1 210716 42 | 0.000 % | 2205.78/2205.79 c | 7943743 | 2325 263357 886976 | 1 227174 45 | 0.000 % | 2205.78/2205.79 c | 8053690 | 2325 263357 886976 | 1 337121 59 | 0.000 % | 2205.78/2205.79 c | 8066916 | 2325 263357 886976 | 1 350347 60 | 0.000 % | 2205.78/2205.79 c | 8068301 | 2325 263357 886976 | 1 351732 60 | 0.000 % | 2205.78/2205.79 c | 8102109 | 2325 263357 886976 | 1 385540 63 | 0.000 % | 2205.78/2205.79 c | 8126593 | 2325 263357 886976 | 1 208423 42 | 0.000 % | 2205.78/2205.79 c | 8274133 | 2325 263357 886976 | 1 355963 56 | 0.000 % | 2205.78/2205.79 c | 8279906 | 2325 263357 886976 | 1 361736 57 | 0.000 % | 2205.78/2205.79 c | 8280973 | 2325 263357 886976 | 1 362803 57 | 0.000 % | 2205.78/2205.79 c | 8282220 | 2325 263357 886976 | 1 364050 57 | 0.000 % | 2205.78/2205.79 c | 8282909 | 2325 263357 886976 | 1 364739 57 | 0.000 % | 2501.60/2501.50 c | 8306482 | 2325 263357 886976 | 1 388312 59 | 0.000 % | 2501.60/2501.50 c | 8338658 | 2325 263357 886976 | 1 216288 40 | 0.000 % | 2501.60/2501.50 c | 8338759 | 2325 263357 886976 | 1 216389 40 | 0.000 % | 2501.60/2501.50 c | 8401471 | 2325 263357 886976 | 1 279101 47 | 0.000 % | 2501.60/2501.50 c | 8451559 | 2325 263357 886976 | 1 329189 53 | 0.000 % | 2501.60/2501.50 c | 8459254 | 2325 263357 886976 | 1 336884 53 | 0.000 % | 2501.60/2501.50 c | 8490664 | 2325 263357 886976 | 1 368294 56 | 0.000 % | 2501.60/2501.50 c | 8522734 | 2325 263357 886976 | 1 400364 59 | 0.000 % | 2501.60/2501.50 c | 8522893 | 2325 263357 886976 | 1 400523 59 | 0.000 % | 2501.60/2501.50 c | 8540300 | 2325 263357 886976 | 1 211134 40 | 0.000 % | 2501.60/2501.50 c | 8546281 | 2325 263357 886976 | 1 217115 42 | 0.000 % | 2501.60/2501.50 c | 8546382 | 2325 263357 886976 | 1 217216 42 | 0.000 % | 2501.60/2501.50 c | 8578566 | 2325 263357 886976 | 1 249400 48 | 0.000 % | 2501.60/2501.50 c | 8579052 | 2325 263357 886976 | 1 249886 48 | 0.000 % | 2501.60/2501.50 c | 8623312 | 2325 263357 886976 | 1 294146 54 | 0.000 % | 2501.60/2501.50 c | 8641097 | 2325 263357 886976 | 1 311931 56 | 0.000 % | 2501.60/2501.50 c | 8647019 | 2325 263357 886976 | 1 317853 57 | 0.000 % | 2501.60/2501.50 c | 8702033 | 2325 263357 886976 | 1 372867 60 | 0.000 % | 2501.60/2501.50 c | 8730299 | 2325 263357 886976 | 1 401133 62 | 0.000 % | 2501.60/2501.50 c | 8731194 | 2325 263357 886976 | 1 402028 62 | 0.000 % | 2501.60/2501.50 c | 8731294 | 2325 263357 886976 | 1 402128 62 | 0.000 % | 2501.60/2501.50 c | 8731898 | 2325 263357 886976 | 1 402732 62 | 0.000 % | 2501.60/2501.50 c | 8767727 | 2325 263357 886976 | 1 229157 43 | 0.000 % | 2501.60/2501.50 c | 8779759 | 2325 263357 886976 | 1 241189 45 | 0.000 % | 2501.60/2501.50 c | 8781511 | 2325 263357 886976 | 1 242941 46 | 0.000 % | 2501.60/2501.50 c | 8781616 | 2325 263357 886976 | 1 243046 46 | 0.000 % | 2501.60/2501.50 c | 8814356 | 2325 263357 886976 | 1 275786 50 | 0.000 % | 2501.60/2501.50 c | 8855949 | 2325 263357 886976 | 1 317379 54 | 0.000 % | 2501.60/2501.50 c | 8856050 | 2325 263357 886976 | 1 317480 54 | 0.000 % | 2501.60/2501.50 c | 8880898 | 2325 263357 886976 | 1 342328 56 | 0.000 % | 2501.60/2501.50 c | 8903573 | 2325 263357 886976 | 1 365003 57 | 0.000 % | 2501.60/2501.50 c | 8907240 | 2325 263357 886976 | 1 368670 57 | 0.000 % | 2501.60/2501.50 c | 8919223 | 2325 263357 886976 | 1 380653 58 | 0.000 % | 2501.60/2501.50 c | 8951295 | 2325 263357 886976 | 1 412725 59 | 0.000 % | 2501.60/2501.50 c | 8951398 | 2325 263357 886976 | 1 412828 59 | 0.000 % | 2501.60/2501.50 c | 8957483 | 2325 263357 886976 | 1 418913 59 | 0.000 % | 2501.60/2501.50 c | 8994711 | 2325 263357 886976 | 1 244142 43 | 0.000 % | 2501.60/2501.50 c | 8996272 | 2325 263357 886976 | 1 245703 43 | 0.000 % | 2501.60/2501.50 c | 8997281 | 2325 263357 886976 | 1 246712 44 | 0.000 % | 2501.60/2501.50 c | 8997443 | 2325 263357 886976 | 1 246874 44 | 0.000 % | 2501.60/2501.50 c | 9105382 | 2325 263357 886976 | 1 354813 55 | 0.000 % | 2501.60/2501.50 c | 9143277 | 2325 263357 886976 | 1 392708 57 | 0.000 % | 2501.60/2501.50 c | 9163558 | 2325 263357 886976 | 1 412989 59 | 0.000 % | 2501.60/2501.50 c | 9163734 | 2325 263357 886976 | 1 413165 59 | 0.000 % | 2501.60/2501.50 c | 9182306 | 2325 263357 886976 | 1 217135 39 | 0.000 % | 2501.60/2501.50 c | 9211562 | 2325 263357 886976 | 1 246391 44 | 0.000 % | 2501.60/2501.50 c | 9229952 | 2325 263357 886976 | 1 264781 48 | 0.000 % | 2501.60/2501.50 c | 9240649 | 2325 263357 886976 | 1 275478 49 | 0.000 % | 2501.60/2501.50 c | 9241722 | 2325 263357 886976 | 1 276551 49 | 0.000 % | 2501.60/2501.50 c | 9260310 | 2325 263357 886976 | 1 295139 51 | 0.000 % | 2686.91/2686.88 c | 9261712 | 2325 263357 886976 | 1 296541 52 | 0.000 % | 2686.91/2686.88 c | 9291089 | 2325 263357 886976 | 1 325918 55 | 0.000 % | 2686.91/2686.88 c | 9321535 | 2325 263357 886976 | 1 356364 56 | 0.000 % | 2686.91/2686.88 c | 9324681 | 2325 263357 886976 | 1 359510 56 | 0.000 % | 2686.91/2686.88 c | 9324790 | 2325 263357 886976 | 1 359619 56 | 0.000 % | 2686.91/2686.88 c | 9349544 | 2325 263357 886976 | 1 384373 58 | 0.000 % | 2686.91/2686.88 c | 9351232 | 2325 263357 886976 | 1 386061 58 | 0.000 % | 2686.91/2686.88 c | 9376345 | 2325 263357 886976 | 1 411174 60 | 0.000 % | 2686.91/2686.88 c | 9377159 | 2325 263357 886976 | 1 411988 60 | 0.000 % | 2686.91/2686.88 c | 9394650 | 2325 263357 886976 | 1 429479 61 | 0.000 % | 2686.91/2686.88 c | 9394784 | 2325 263357 886976 | 1 429613 61 | 0.000 % | 2686.91/2686.88 c | 9394887 | 2325 263357 886976 | 1 429716 61 | 0.000 % | 2686.91/2686.88 c | 9394987 | 2325 263357 886976 | 1 429816 61 | 0.000 % | 2686.91/2686.88 c | 9399490 | 2325 263357 886976 | 1 434319 62 | 0.000 % | 2686.91/2686.88 c | 9401796 | 2325 263357 886976 | 1 219417 39 | 0.000 % | 2686.91/2686.88 c | 9402032 | 2325 263357 886976 | 1 219653 39 | 0.000 % | 2686.91/2686.88 c | 9426985 | 2325 263357 886976 | 1 244606 44 | 0.000 % | 2686.91/2686.88 c | 9427497 | 2325 263357 886976 | 1 245118 44 | 0.000 % | 2686.91/2686.88 c | 9444161 | 2325 263357 886976 | 1 261782 46 | 0.000 % | 2686.91/2686.88 c | 9450052 | 2325 263357 886976 | 1 267673 47 | 0.000 % | 2686.91/2686.88 c | 9467030 | 2325 263357 886976 | 1 284651 50 | 0.000 % | 2686.91/2686.88 c | 9469347 | 2325 263357 886976 | 1 286968 50 | 0.000 % | 2686.91/2686.88 c | 9490928 | 2325 263357 886976 | 1 308549 53 | 0.000 % | 2686.91/2686.88 c | 9495283 | 2325 263357 886976 | 1 312904 54 | 0.000 % | 2686.91/2686.88 c | 9502697 | 2325 263357 886976 | 1 320318 55 | 0.000 % | 2686.91/2686.88 c | 9511952 | 2325 263357 886976 | 1 329573 56 | 0.000 % | 2686.91/2686.88 c | 9515253 | 2325 263357 886976 | 1 332874 57 | 0.000 % | 2686.91/2686.88 c | 9515360 | 2325 263357 886976 | 1 332981 57 | 0.000 % | 2686.91/2686.88 c | 9607125 | 2325 263357 886976 | 1 424746 62 | 0.000 % | 2686.91/2686.88 c | 9609095 | 2325 263357 886976 | 1 426716 62 | 0.000 % | 2686.91/2686.88 c | 9613899 | 2325 263357 886976 | 1 431520 63 | 0.000 % | 2686.91/2686.88 c | 9614374 | 2325 263357 886976 | 1 431995 63 | 0.000 % | 2686.91/2686.88 c | 9649864 | 2325 263357 886976 | 1 247686 47 | 0.000 % | 2686.91/2686.88 c | 9650408 | 2325 263357 886976 | 1 248230 47 | 0.000 % | 2686.91/2686.88 c | 9677895 | 2325 263357 886976 | 1 275717 51 | 0.000 % | 2686.91/2686.88 c | 9682079 | 2325 263357 886976 | 1 279901 52 | 0.000 % | 2686.91/2686.88 c | 9692867 | 2325 263357 886976 | 1 290689 53 | 0.000 % | 2686.91/2686.88 c | 9706612 | 2325 263357 886976 | 1 304434 55 | 0.000 % | 2686.91/2686.88 c | 9719046 | 2325 263357 886976 | 1 316868 56 | 0.000 % | 2686.91/2686.88 c | 9740843 | 2325 263357 886976 | 1 338665 57 | 0.000 % | 2686.91/2686.88 c | 9740944 | 2325 263357 886976 | 1 338766 57 | 0.000 % | 2686.91/2686.88 c | 9741044 | 2325 263357 886976 | 1 338866 58 | 0.000 % | 2686.91/2686.88 c | 9743989 | 2325 263357 886976 | 1 341811 58 | 0.000 % | 2686.91/2686.88 c | 9813820 | 2325 263357 886976 | 1 411642 62 | 0.000 % | 2686.91/2686.88 c | 9822006 | 2325 263357 886976 | 1 419828 63 | 0.000 % | 2686.91/2686.88 c | 9826536 | 2325 263357 886976 | 1 424358 63 | 0.000 % | 2686.91/2686.88 c | 9827706 | 2325 263357 886976 | 1 425528 63 | 0.000 % | 2686.91/2686.88 c | 9840799 | 2325 263357 886976 | 1 438621 63 | 0.000 % | 2686.91/2686.88 c | 9866076 | 2325 263357 886976 | 1 241492 43 | 0.000 % | 2906.51/2906.47 c | 9877537 | 2325 263357 886976 | 1 252953 44 | 0.000 % | 2906.51/2906.47 c | 9884242 | 2325 263357 886976 | 1 259658 45 | 0.000 % | 2906.51/2906.47 c | 9922662 | 2325 263357 886976 | 1 298078 51 | 0.000 % | 2906.51/2906.47 c | 9925088 | 2325 263357 886976 | 1 300504 51 | 0.000 % | 2906.51/2906.47 c | 9945926 | 2325 263357 886976 | 1 321342 54 | 0.000 % | 2906.51/2906.47 c | 9966228 | 2325 263357 886976 | 1 341644 56 | 0.000 % | 2906.51/2906.47 c | 9966328 | 2325 263357 886976 | 1 341744 56 | 0.000 % | 2906.51/2906.47 c | 9994675 | 2325 263357 886976 | 1 370091 58 | 0.000 % | 2906.51/2906.47 c | 10017570 | 2325 263357 886976 | 1 392986 59 | 0.000 % | 2906.51/2906.47 c | 10028031 | 2325 263357 886976 | 1 403447 60 | 0.000 % | 2906.51/2906.47 c | 10030683 | 2325 263357 886976 | 1 406099 60 | 0.000 % | 2906.51/2906.47 c | 10048989 | 2325 263357 886976 | 1 424405 62 | 0.000 % | 2906.51/2906.47 c | 10057818 | 2325 263357 886976 | 1 433234 62 | 0.000 % | 2906.51/2906.47 c | 10068483 | 2325 263357 886976 | 1 443899 63 | 0.000 % | 2906.51/2906.47 c | 10069820 | 2325 263357 886976 | 1 445236 63 | 0.000 % | 2906.51/2906.47 c | 10077454 | 2325 263357 886976 | 1 227888 40 | 0.000 % | 2906.51/2906.47 c | 10078140 | 2325 263357 886976 | 1 228574 40 | 0.000 % | 2906.51/2906.47 c | 10083547 | 2325 263357 886976 | 1 233981 41 | 0.000 % | 2906.51/2906.47 c | 10083648 | 2325 263357 886976 | 1 234082 41 | 0.000 % | 2906.51/2906.47 c | 10134200 | 2325 263357 886976 | 1 284634 52 | 0.000 % | 2906.51/2906.47 c | 10173244 | 2325 263357 886976 | 1 323678 57 | 0.000 % | 2906.51/2906.47 c | 10208591 | 2325 263357 886976 | 1 359025 59 | 0.000 % | 2906.51/2906.47 c | 10231984 | 2325 263357 886976 | 1 382418 60 | 0.000 % | 2906.51/2906.47 c | 10265868 | 2325 263357 886976 | 1 416302 62 | 0.000 % | 2906.51/2906.47 c | 10269206 | 2325 263357 886976 | 1 419640 62 | 0.000 % | 2906.51/2906.47 c | 10271366 | 2325 263357 886976 | 1 421800 63 | 0.000 % | 2906.51/2906.47 c | 10283962 | 2325 263357 886976 | 1 434396 63 | 0.000 % | 2906.51/2906.47 c | 10288633 | 2325 263357 886976 | 1 439067 64 | 0.000 % | 2906.51/2906.47 c | 10322072 | 2325 263357 886976 | 1 244895 44 | 0.000 % | 2906.51/2906.47 c | 10329911 | 2325 263357 886976 | 1 252734 46 | 0.000 % | 2906.51/2906.47 c | 10341023 | 2325 263357 886976 | 1 263846 48 | 0.000 % | 2906.51/2906.47 c | 10342065 | 2325 263357 886976 | 1 264888 48 | 0.000 % | 2906.51/2906.47 c | 10346352 | 2325 263357 886976 | 1 269175 49 | 0.000 % | 2906.51/2906.47 c | 10353981 | 2325 263357 886976 | 1 276804 50 | 0.000 % | 2906.51/2906.47 c | 10356851 | 2325 263357 886976 | 1 279674 51 | 0.000 % | 2906.51/2906.47 c | 10362332 | 2325 263357 886976 | 1 285155 52 | 0.000 % | 2906.51/2906.47 c | 10428431 | 2325 263357 886976 | 1 351254 57 | 0.000 % | 2906.51/2906.47 c | 10428531 | 2325 263357 886976 | 1 351354 57 | 0.000 % | 2906.51/2906.47 c | 10433992 | 2325 263357 886976 | 1 356815 58 | 0.000 % | 2906.51/2906.47 c | 10452528 | 2325 263357 886976 | 1 375351 60 | 0.000 % | 2906.51/2906.47 c | 10460084 | 2325 263357 886976 | 1 382907 61 | 0.000 % | 2906.51/2906.47 c | 10460920 | 2325 263357 886976 | 1 383743 61 | 0.000 % | 2906.51/2906.47 c | 10502439 | 2325 263357 886976 | 1 425262 64 | 0.000 % | 2906.51/2906.47 c | 10508261 | 2325 263357 886976 | 1 431084 65 | 0.000 % | 2906.51/2906.47 c | 10512105 | 2325 263357 886976 | 1 434928 65 | 0.000 % | 2906.51/2906.47 c | 10536222 | 2325 263357 886976 | 1 459045 66 | 0.000 % | 2906.51/2906.47 c | 10544480 | 2325 263357 886976 | 1 237101 42 | 0.000 % | 2906.51/2906.47 c | 10574557 | 2325 263357 886976 | 1 267178 46 | 0.000 % | 2906.51/2906.47 c | 10589291 | 2325 263357 886976 | 1 281912 48 | 0.000 % | 2906.51/2906.47 c | 10589391 | 2325 263357 886976 | 1 282012 48 | 0.000 % | 3145.32/3145.23 c | 10591193 | 2325 263357 886976 | 1 283814 49 | 0.000 % | 3145.32/3145.23 c | 10595622 | 2325 263357 886976 | 1 288243 49 | 0.000 % | 3145.32/3145.23 c | 10608107 | 2325 263357 886976 | 1 300728 51 | 0.000 % | 3145.32/3145.23 c | 10621646 | 2325 263357 886976 | 1 314267 53 | 0.000 % | 3145.32/3145.23 c | 10621917 | 2325 263357 886976 | 1 314538 53 | 0.000 % | 3145.32/3145.23 c | 10622311 | 2325 263357 886976 | 1 314932 53 | 0.000 % | 3145.32/3145.23 c | 10623602 | 2325 263357 886976 | 1 316223 54 | 0.000 % | 3145.32/3145.23 c | 10624277 | 2325 263357 886976 | 1 316898 54 | 0.000 % | 3145.32/3145.23 c | 10628851 | 2325 263357 886976 | 1 321472 54 | 0.000 % | 3145.32/3145.23 c | 10648050 | 2325 263357 886976 | 1 340671 56 | 0.000 % | 3145.32/3145.23 c | 10677185 | 2325 263357 886976 | 1 369806 58 | 0.000 % | 3145.32/3145.23 c | 10714513 | 2325 263357 886976 | 1 407134 60 | 0.000 % | 3145.32/3145.23 c | 10725974 | 2325 263357 886976 | 1 418595 61 | 0.000 % | 3145.32/3145.23 c | 10726082 | 2325 263357 886976 | 1 418703 61 | 0.000 % | 3145.32/3145.23 c | 10726674 | 2325 263357 886976 | 1 419295 61 | 0.000 % | 3145.32/3145.23 c | 10766476 | 2325 263357 886976 | 1 459097 64 | 0.000 % | 3145.32/3145.23 c | 10770613 | 2325 263357 886976 | 1 463234 65 | 0.000 % | 3145.32/3145.23 c | 10785727 | 2325 263357 886976 | 1 245551 42 | 0.000 % | 3145.32/3145.23 c | 10790161 | 2325 263357 886976 | 1 249985 43 | 0.000 % | 3145.32/3145.23 c | 10790544 | 2325 263357 886976 | 1 250368 43 | 0.000 % | 3145.32/3145.23 c | 10820510 | 2325 263357 886976 | 1 280334 49 | 0.000 % | 3145.32/3145.23 c | 10834569 | 2325 263357 886976 | 1 294393 50 | 0.000 % | 3145.32/3145.23 c | 10841949 | 2325 263357 886976 | 1 301773 51 | 0.000 % | 3145.32/3145.23 c | 10843508 | 2325 263357 886976 | 1 303332 51 | 0.000 % | 3145.32/3145.23 c | 10863458 | 2325 263357 886976 | 1 323282 53 | 0.000 % | 3145.32/3145.23 c | 10868472 | 2325 263357 886976 | 1 328296 54 | 0.000 % | 3145.32/3145.23 c | 10880814 | 2325 263357 886976 | 1 340638 55 | 0.000 % | 3145.32/3145.23 c | 10898314 | 2325 263357 886976 | 1 358138 57 | 0.000 % | 3145.32/3145.23 c | 10920144 | 2325 263357 886976 | 1 379968 59 | 0.000 % | 3145.32/3145.23 c | 10922925 | 2325 263357 886976 | 1 382749 59 | 0.000 % | 3145.32/3145.23 c | 10945530 | 2325 263357 886976 | 1 405354 60 | 0.000 % | 3145.32/3145.23 c | 10979741 | 2325 263357 886976 | 1 439565 62 | 0.000 % | 3145.32/3145.23 c | 10989310 | 2325 263357 886976 | 1 449134 62 | 0.000 % | 3145.32/3145.23 c | 10994126 | 2325 263357 886976 | 1 453950 63 | 0.000 % | 3145.32/3145.23 c | 11008203 | 2325 263357 886976 | 1 468027 63 | 0.000 % | 3145.32/3145.23 c | 11050261 | 2325 263357 886976 | 1 274684 47 | 0.000 % | 3145.32/3145.23 c | 11075198 | 2325 263357 886976 | 1 299621 50 | 0.000 % | 3145.32/3145.23 c | 11075387 | 2325 263357 886976 | 1 299810 50 | 0.000 % | 3145.32/3145.23 c | 11094725 | 2325 263357 886976 | 1 319148 53 | 0.000 % | 3145.32/3145.23 c | 11095989 | 2325 263357 886976 | 1 320412 54 | 0.000 % | 3145.32/3145.23 c | 11103460 | 2325 263357 886976 | 1 327883 55 | 0.000 % | 3145.32/3145.23 c | 11107457 | 2325 263357 886976 | 1 331880 55 | 0.000 % | 3145.32/3145.23 c | 11145385 | 2325 263357 886976 | 1 369808 59 | 0.000 % | 3145.32/3145.23 c | 11171620 | 2325 263357 886976 | 1 396043 61 | 0.000 % | 3145.32/3145.23 c | 11177178 | 2325 263357 886976 | 1 401601 62 | 0.000 % | 3145.32/3145.23 c | 11229580 | 2325 263357 886976 | 1 454003 66 | 0.000 % | 3145.32/3145.23 c | 11230796 | 2325 263357 886976 | 1 455219 66 | 0.000 % | 3145.32/3145.23 c | 11244307 | 2325 263357 886976 | 1 468730 67 | 0.000 % | 3145.32/3145.23 c | 11299203 | 2325 263357 886976 | 1 285624 47 | 0.000 % | 3145.32/3145.23 c | 11363186 | 2325 263357 886976 | 1 349607 56 | 0.000 % | 3509.34/3509.28 c | 11456631 | 2325 263357 886976 | 1 443052 63 | 0.000 % | 3509.34/3509.28 c | 11554390 | 2325 263357 886976 | 1 300216 48 | 0.000 % | 3509.34/3509.28 c | 11562129 | 2325 263357 886976 | 1 307955 49 | 0.000 % | 3509.34/3509.28 c | 11584801 | 2325 263357 886976 | 1 330627 52 | 0.000 % | 3509.34/3509.28 c | 11726765 | 2325 263357 886976 | 1 472591 62 | 0.000 % | 3509.34/3509.28 c | 11767200 | 2325 263357 886976 | 1 269827 45 | 0.000 % | 3509.34/3509.28 c | 11773750 | 2325 263357 886976 | 1 276377 46 | 0.000 % | 3509.34/3509.28 c | 11780609 | 2325 263357 886976 | 1 283236 46 | 0.000 % | 3509.34/3509.28 c | 11795798 | 2325 263357 886976 | 1 298425 48 | 0.000 % | 3509.34/3509.28 c | 11817447 | 2325 263357 886976 | 1 320074 50 | 0.000 % | 3509.34/3509.28 c | 11827831 | 2325 263357 886976 | 1 330458 52 | 0.000 % | 3509.34/3509.28 c | 11878289 | 2325 263357 886976 | 1 380916 55 | 0.000 % | 3509.34/3509.28 c | 11878806 | 2325 263357 886976 | 1 381433 55 | 0.000 % | 3509.34/3509.28 c | 11880148 | 2325 263357 886976 | 1 382775 56 | 0.000 % | 3509.34/3509.28 c | 11880248 | 2325 263357 886976 | 1 382875 56 | 0.000 % | 3509.34/3509.28 c | 11880355 | 2325 263357 886976 | 1 382982 56 | 0.000 % | 3509.34/3509.28 c | 11881108 | 2325 263357 886976 | 1 383735 56 | 0.000 % | 3509.34/3509.28 c | 11881208 | 2325 263357 886976 | 1 383835 56 | 0.000 % | 3509.34/3509.28 c | 11896728 | 2325 263357 886976 | 1 399355 58 | 0.000 % | 3509.34/3509.28 c | 11904260 | 2325 263357 886976 | 1 406887 58 | 0.000 % | 3509.34/3509.28 c | 11995684 | 2325 263357 886976 | 1 252506 41 | 0.000 % | 3509.34/3509.28 c | 11998913 | 2325 263357 886976 | 1 255735 41 | 0.000 % | 3509.34/3509.28 c | 12041322 | 2325 263357 886976 | 1 298144 48 | 0.000 % | 3509.34/3509.28 c | 12052194 | 2325 263357 886976 | 1 309016 50 | 0.000 % | 3509.34/3509.28 c | 12053785 | 2325 263357 886976 | 1 310607 50 | 0.000 % | 3509.34/3509.28 c | 12055071 | 2325 263357 886976 | 1 311893 50 | 0.000 % | 3509.34/3509.28 c | 12056642 | 2325 263357 886976 | 1 313464 51 | 0.000 % | 3509.34/3509.28 c | 12062514 | 2325 263357 886976 | 1 319336 51 | 0.000 % | 3509.34/3509.28 c | 12090314 | 2325 263357 886976 | 1 347136 54 | 0.000 % | 3509.34/3509.28 c | 12096034 | 2325 263357 886976 | 1 352856 55 | 0.000 % | 3509.34/3509.28 c | 12107353 | 2325 263357 886976 | 1 364175 56 | 0.000 % | 3509.34/3509.28 c | 12108190 | 2325 263357 886976 | 1 365012 56 | 0.000 % | 3509.34/3509.28 c | 12121310 | 2325 263357 886976 | 1 378132 57 | 0.000 % | 3509.34/3509.28 c | 12139401 | 2325 263357 886976 | 1 396223 59 | 0.000 % | 3509.34/3509.28 c | 12156869 | 2325 263357 886976 | 1 413691 60 | 0.000 % | 3509.34/3509.28 c | 12163273 | 2325 263357 886976 | 1 420095 60 | 0.000 % | 3509.34/3509.28 c | 12173319 | 2325 263357 886976 | 1 430141 61 | 0.000 % | 3509.34/3509.28 c | 12181306 | 2325 263357 886976 | 1 438128 62 | 0.000 % | 3509.34/3509.28 c | 12181407 | 2325 263357 886976 | 1 438229 62 | 0.000 % | 3509.34/3509.28 c | 12181847 | 2325 263357 886976 | 1 438669 62 | 0.000 % | 3509.34/3509.28 c | 12182142 | 2325 263357 886976 | 1 438964 62 | 0.000 % | 3509.34/3509.28 c | 12182700 | 2325 263357 886976 | 1 439522 62 | 0.000 % | 3509.34/3509.28 c | 12190384 | 2325 263357 886976 | 1 447206 63 | 0.000 % | 3509.34/3509.28 c | 12193687 | 2325 263357 886976 | 1 450509 63 | 0.000 % | 3509.34/3509.28 c | 12193918 | 2325 263357 886976 | 1 450740 63 | 0.000 % | 3509.34/3509.28 c | 12295869 | 2325 263357 886976 | 1 304298 49 | 0.000 % | 3509.34/3509.28 c | 12357949 | 2325 263357 886976 | 1 366378 56 | 0.000 % | 3509.34/3509.28 c | 12387143 | 2325 263357 886976 | 1 395572 58 | 0.000 % | 3509.34/3509.28 c | 12387358 | 2325 263357 886976 | 1 395787 58 | 0.000 % | 3509.34/3509.28 c | 12426550 | 2325 263357 886976 | 1 434979 61 | 0.000 % | 3752.75/3752.66 c | 12427933 | 2325 263357 886976 | 1 436362 61 | 0.000 % | 3752.75/3752.66 c | 12481415 | 2325 263357 886976 | 1 489844 65 | 0.000 % | 3752.75/3752.66 c | 12483776 | 2325 263357 886976 | 1 492205 65 | 0.000 % | 3752.75/3752.66 c | 12483877 | 2325 263357 886976 | 1 492306 65 | 0.000 % | 3752.75/3752.66 c | 12491828 | 2325 263357 886976 | 1 500257 65 | 0.000 % | 3752.75/3752.66 c | 12501647 | 2325 263357 886976 | 1 259069 42 | 0.000 % | 3752.75/3752.66 c | 12503536 | 2325 263357 886976 | 1 260958 42 | 0.000 % | 3752.75/3752.66 c | 12521772 | 2325 263357 886976 | 1 279194 46 | 0.000 % | 3752.75/3752.66 c | 12526100 | 2325 263357 886976 | 1 283522 47 | 0.000 % | 3752.75/3752.66 c | 12526201 | 2325 263357 886976 | 1 283623 47 | 0.000 % | 3752.75/3752.66 c | 12624732 | 2325 263357 886976 | 1 382154 56 | 0.000 % | 3752.75/3752.66 c | 12638112 | 2325 263357 886976 | 1 395534 57 | 0.000 % | 3752.75/3752.66 c | 12762212 | 2325 263357 886976 | 1 266041 41 | 0.000 % | 3752.75/3752.66 c | 12776889 | 2325 263357 886976 | 1 280718 44 | 0.000 % | 3752.75/3752.66 c | 12810211 | 2325 263357 886976 | 1 314040 48 | 0.000 % | 3752.75/3752.66 c | 12810311 | 2325 263357 886976 | 1 314140 48 | 0.000 % | 3752.75/3752.66 c | 12829707 | 2325 263357 886976 | 1 333536 50 | 0.000 % | 3752.75/3752.66 c | 12835629 | 2325 263357 886976 | 1 339458 51 | 0.000 % | 3752.75/3752.66 c | 12836257 | 2325 263357 886976 | 1 340086 51 | 0.000 % | 3752.75/3752.66 c | 12878815 | 2325 263357 886976 | 1 382644 55 | 0.000 % | 3752.75/3752.66 c | 12878915 | 2325 263357 886976 | 1 382744 55 | 0.000 % | 3752.75/3752.66 c | 12879026 | 2325 263357 886976 | 1 382855 55 | 0.000 % | 3752.75/3752.66 c | 12895165 | 2325 263357 886976 | 1 398994 57 | 0.000 % | 3752.75/3752.66 c | 12906463 | 2325 263357 886976 | 1 410292 57 | 0.000 % | 3752.75/3752.66 c | 12908119 | 2325 263357 886976 | 1 411948 57 | 0.000 % | 3752.75/3752.66 c | 12908219 | 2325 263357 886976 | 1 412048 58 | 0.000 % | 3752.75/3752.66 c | 12909656 | 2325 263357 886976 | 1 413485 58 | 0.000 % | 3752.75/3752.66 c | 12920411 | 2325 263357 886976 | 1 424240 58 | 0.000 % | 3752.75/3752.66 c | 12922338 | 2325 263357 886976 | 1 426167 58 | 0.000 % | 3752.75/3752.66 c | 12922527 | 2325 263357 886976 | 1 426356 58 | 0.000 % | 3752.75/3752.66 c | 12966168 | 2325 263357 886976 | 1 469997 60 | 0.000 % | 3752.75/3752.66 c | 12969123 | 2325 263357 886976 | 1 472952 60 | 0.000 % | 3752.75/3752.66 c | 12969697 | 2325 263357 886976 | 1 473526 60 | 0.000 % | 3752.75/3752.66 c | 13050734 | 2325 263357 886976 | 1 298369 45 | 0.000 % | 3752.75/3752.66 c | 13063140 | 2325 263357 886976 | 1 310775 46 | 0.000 % | 3752.75/3752.66 c | 13063252 | 2325 263357 886976 | 1 310887 46 | 0.000 % | 3752.75/3752.66 c | 13064766 | 2325 263357 886976 | 1 312401 47 | 0.000 % | 3752.75/3752.66 c | 13065333 | 2325 263357 886976 | 1 312968 47 | 0.000 % | 3752.75/3752.66 c | 13078473 | 2325 263357 886976 | 1 326108 49 | 0.000 % | 3752.75/3752.66 c | 13085882 | 2325 263357 886976 | 1 333517 50 | 0.000 % | 3752.75/3752.66 c | 13095122 | 2325 263357 886976 | 1 342757 51 | 0.000 % | 3752.75/3752.66 c | 13098520 | 2325 263357 886976 | 1 346155 52 | 0.000 % | 3752.75/3752.66 c | 13099253 | 2325 263357 886976 | 1 346888 52 | 0.000 % | 3752.75/3752.66 c | 13102225 | 2325 263357 886976 | 1 349860 52 | 0.000 % | 3752.75/3752.66 c | 13108372 | 2325 263357 886976 | 1 356007 53 | 0.000 % | 3752.75/3752.66 c | 13112542 | 2325 263357 886976 | 1 360177 53 | 0.000 % | 3752.75/3752.66 c | 13112889 | 2325 263357 886976 | 1 360524 53 | 0.000 % | 3752.75/3752.66 c | 13113671 | 2325 263357 886976 | 1 361306 53 | 0.000 % | 3752.75/3752.66 c | 13129624 | 2325 263357 886976 | 1 377259 55 | 0.000 % | 3752.75/3752.66 c | 13131624 | 2325 263357 886976 | 1 379259 55 | 0.000 % | 3931.26/3931.19 c | 13133804 | 2325 263357 886976 | 1 381439 56 | 0.000 % | 3931.26/3931.19 c | 13134030 | 2325 263357 886976 | 1 381665 56 | 0.000 % | 3931.26/3931.19 c | 13134132 | 2325 263357 886976 | 1 381767 56 | 0.000 % | 3931.26/3931.19 c | 13134985 | 2325 263357 886976 | 1 382620 56 | 0.000 % | 3931.26/3931.19 c | 13155566 | 2325 263357 886976 | 1 403201 58 | 0.000 % | 3931.26/3931.19 c | 13155667 | 2325 263357 886976 | 1 403302 58 | 0.000 % | 3931.26/3931.19 c | 13155786 | 2325 263357 886976 | 1 403421 58 | 0.000 % | 3931.26/3931.19 c | 13158160 | 2325 263357 886976 | 1 405795 59 | 0.000 % | 3931.26/3931.19 c | 13159965 | 2325 263357 886976 | 1 407600 59 | 0.000 % | 3931.26/3931.19 c | 13175029 | 2325 263357 886976 | 1 422664 60 | 0.000 % | 3931.26/3931.19 c | 13176436 | 2325 263357 886976 | 1 424071 60 | 0.000 % | 3931.26/3931.19 c | 13179134 | 2325 263357 886976 | 1 426769 60 | 0.000 % | 3931.26/3931.19 c | 13197918 | 2325 263357 886976 | 1 445553 62 | 0.000 % | 3931.26/3931.19 c | 13202253 | 2325 263357 886976 | 1 449888 62 | 0.000 % | 3931.26/3931.19 c | 13211532 | 2325 263357 886976 | 1 459167 63 | 0.000 % | 3931.26/3931.19 c | 13211632 | 2325 263357 886976 | 1 459267 63 | 0.000 % | 3931.26/3931.19 c | 13212141 | 2325 263357 886976 | 1 459776 63 | 0.000 % | 3931.26/3931.19 c | 13215859 | 2325 263357 886976 | 1 463494 63 | 0.000 % | 3931.26/3931.19 c | 13220851 | 2325 263357 886976 | 1 468486 64 | 0.000 % | 3931.26/3931.19 c | 13242898 | 2325 263357 886976 | 1 490533 65 | 0.000 % | 3931.26/3931.19 c | 13246990 | 2325 263357 886976 | 1 494625 65 | 0.000 % | 3931.26/3931.19 c | 13247090 | 2325 263357 886976 | 1 494725 65 | 0.000 % | 3931.26/3931.19 c | 13255681 | 2325 263357 886976 | 1 503316 66 | 0.000 % | 3931.26/3931.19 c | 13278761 | 2325 263357 886976 | 1 267587 41 | 0.000 % | 3931.26/3931.19 c | 13322329 | 2325 263357 886976 | 1 311155 47 | 0.000 % | 3931.26/3931.19 c | 13352289 | 2325 263357 886976 | 1 341115 51 | 0.000 % | 3931.26/3931.19 c | 13417188 | 2325 263357 886976 | 1 406014 56 | 0.000 % | 3931.26/3931.19 c | 13422911 | 2325 263357 886976 | 1 411737 56 | 0.000 % | 3931.26/3931.19 c | 13469705 | 2325 263357 886976 | 1 458531 59 | 0.000 % | 3931.26/3931.19 c | 13474175 | 2325 263357 886976 | 1 463001 59 | 0.000 % | 3931.26/3931.19 c | 13487555 | 2325 263357 886976 | 1 476381 60 | 0.000 % | 3931.26/3931.19 c | 13501376 | 2325 263357 886976 | 1 490202 61 | 0.000 % | 3931.26/3931.19 c | 13503329 | 2325 263357 886976 | 1 492155 61 | 0.000 % | 3931.26/3931.19 c | 13504320 | 2325 263357 886976 | 1 493146 61 | 0.000 % | 3931.26/3931.19 c | 13504681 | 2325 263357 886976 | 1 493507 61 | 0.000 % | 3931.26/3931.19 c | 13505807 | 2325 263357 886976 | 1 494633 61 | 0.000 % | 3931.26/3931.19 c | 13506995 | 2325 263357 886976 | 1 495821 61 | 0.000 % | 3931.26/3931.19 c | 13525821 | 2325 263357 886976 | 1 514647 62 | 0.000 % | 3931.26/3931.19 c | 13537571 | 2325 263357 886976 | 1 264990 39 | 0.000 % | 3931.26/3931.19 c | 13588437 | 2325 263357 886976 | 1 315856 48 | 0.000 % | 3931.26/3931.19 c | 13592513 | 2325 263357 886976 | 1 319932 49 | 0.000 % | 3931.26/3931.19 c | 13602988 | 2325 263357 886976 | 1 330407 50 | 0.000 % | 3931.26/3931.19 c | 13629002 | 2325 263357 886976 | 1 356421 53 | 0.000 % | 3931.26/3931.19 c | 13634900 | 2325 263357 886976 | 1 362319 54 | 0.000 % | 3931.26/3931.19 c | 13635000 | 2325 263357 886976 | 1 362419 54 | 0.000 % | 3931.26/3931.19 c | 13660913 | 2325 263357 886976 | 1 388332 56 | 0.000 % | 3931.26/3931.19 c | 13661275 | 2325 263357 886976 | 1 388694 56 | 0.000 % | 3931.26/3931.19 c | 13661729 | 2325 263357 886976 | 1 389148 56 | 0.000 % | 3931.26/3931.19 c | 13665433 | 2325 263357 886976 | 1 392852 56 | 0.000 % | 3931.26/3931.19 c | 13668689 | 2325 263357 886976 | 1 396108 57 | 0.000 % | 4237.18/4237.09 c | 13795477 | 2325 263357 886976 | 1 522896 63 | 0.000 % | 4237.18/4237.09 c | 13821678 | 2325 263357 886976 | 1 285101 43 | 0.000 % | 4237.18/4237.09 c | 13837639 | 2325 263357 886976 | 1 301062 47 | 0.000 % | 4237.18/4237.09 c | 13865848 | 2325 263357 886976 | 1 329271 52 | 0.000 % | 4237.18/4237.09 c | 13924232 | 2325 263357 886976 | 1 387655 57 | 0.000 % | 4237.18/4237.09 c | 13976482 | 2325 263357 886976 | 1 439905 60 | 0.000 % | 4237.18/4237.09 c | 13990103 | 2325 263357 886976 | 1 453526 61 | 0.000 % | 4237.18/4237.09 c | 13996325 | 2325 263357 886976 | 1 459748 61 | 0.000 % | 4237.18/4237.09 c | 13998556 | 2325 263357 886976 | 1 461979 62 | 0.000 % | 4237.18/4237.09 c | 14008897 | 2325 263357 886976 | 1 472320 62 | 0.000 % | 4237.18/4237.09 c | 14013586 | 2325 263357 886976 | 1 477009 63 | 0.000 % | 4237.18/4237.09 c | 14014559 | 2325 263357 886976 | 1 477982 63 | 0.000 % | 4237.18/4237.09 c | 14122504 | 2325 263357 886976 | 1 319343 46 | 0.000 % | 4237.18/4237.09 c | 14167652 | 2325 263357 886976 | 1 364491 50 | 0.000 % | 4237.18/4237.09 c | 14182148 | 2325 263357 886976 | 1 378987 52 | 0.000 % | 4237.18/4237.09 c | 14199404 | 2325 263357 886976 | 1 396243 53 | 0.000 % | 4237.18/4237.09 c | 14229067 | 2325 263357 886976 | 1 425906 55 | 0.000 % | 4237.18/4237.09 c | 14229178 | 2325 263357 886976 | 1 426017 55 | 0.000 % | 4237.18/4237.09 c | 14229492 | 2325 263357 886976 | 1 426331 55 | 0.000 % | 4237.18/4237.09 c | 14267522 | 2325 263357 886976 | 1 464361 60 | 0.000 % | 4237.18/4237.09 c | 14267625 | 2325 263357 886976 | 1 464464 60 | 0.000 % | 4237.18/4237.09 c | 14274651 | 2325 263357 886976 | 1 471490 60 | 0.000 % | 4237.18/4237.09 c | 14284513 | 2325 263357 886976 | 1 481352 61 | 0.000 % | 4237.18/4237.09 c | 14286431 | 2325 263357 886976 | 1 483270 61 | 0.000 % | 4237.18/4237.09 c | 14348037 | 2325 263357 886976 | 1 275673 41 | 0.000 % | 4237.18/4237.09 c | 14400564 | 2325 263357 886976 | 1 328200 48 | 0.000 % | 4237.18/4237.09 c | 14460247 | 2325 263357 886976 | 1 387883 53 | 0.000 % | 4237.18/4237.09 c | 14470354 | 2325 263357 886976 | 1 397990 55 | 0.000 % | 4237.18/4237.09 c | 14479335 | 2325 263357 886976 | 1 406971 56 | 0.000 % | 4237.18/4237.09 c | 14482936 | 2325 263357 886976 | 1 410572 56 | 0.000 % | 4237.18/4237.09 c | 14500484 | 2325 263357 886976 | 1 428120 57 | 0.000 % | 4237.18/4237.09 c | 14504639 | 2325 263357 886976 | 1 432275 58 | 0.000 % | 4237.18/4237.09 c | 14504780 | 2325 263357 886976 | 1 432416 58 | 0.000 % | 4237.18/4237.09 c | 14505592 | 2325 263357 886976 | 1 433228 58 | 0.000 % | 4237.18/4237.09 c | 14505709 | 2325 263357 886976 | 1 433345 58 | 0.000 % | 4237.18/4237.09 c | 14505809 | 2325 263357 886976 | 1 433445 58 | 0.000 % | 4237.18/4237.09 c | 14506149 | 2325 263357 886976 | 1 433785 58 | 0.000 % | 4237.18/4237.09 c | 14512352 | 2325 263357 886976 | 1 439988 58 | 0.000 % | 4237.18/4237.09 c | 14532743 | 2325 263357 886976 | 1 460379 59 | 0.000 % | 4237.18/4237.09 c | 14540956 | 2325 263357 886976 | 1 468592 60 | 0.000 % | 4237.18/4237.09 c | 14545523 | 2325 263357 886976 | 1 473159 61 | 0.000 % | 4237.18/4237.09 c | 14549000 | 2325 263357 886976 | 1 476636 61 | 0.000 % | 4237.18/4237.09 c | 14594018 | 2325 263357 886976 | 1 521654 64 | 0.000 % | 4237.18/4237.09 c | 14596199 | 2325 263357 886976 | 1 523835 64 | 0.000 % | 4237.18/4237.09 c | 14596299 | 2325 263357 886976 | 1 523935 64 | 0.000 % | 4237.18/4237.09 c | 14604914 | 2325 263357 886976 | 1 532550 64 | 0.000 % | 4237.18/4237.09 c | 14606113 | 2325 263357 886976 | 1 533749 64 | 0.000 % | 4237.18/4237.09 c | 14614895 | 2325 263357 886976 | 1 542531 64 | 0.000 % | 4237.18/4237.09 c | 14650882 | 2325 263357 886976 | 1 306705 43 | 0.000 % | 4237.18/4237.09 c | 14667919 | 2325 263357 886976 | 1 323742 46 | 0.000 % | 4591.39/4591.20 c | 14685477 | 2325 263357 886976 | 1 341300 48 | 0.000 % | 4591.39/4591.20 c | 14730057 | 2325 263357 886976 | 1 385880 53 | 0.000 % | 4591.39/4591.20 c | 14731913 | 2325 263357 886976 | 1 387736 53 | 0.000 % | 4591.39/4591.20 c | 14768556 | 2325 263357 886976 | 1 424379 56 | 0.000 % | 4591.39/4591.20 c | 14774946 | 2325 263357 886976 | 1 430769 56 | 0.000 % | 4591.39/4591.20 c | 14775651 | 2325 263357 886976 | 1 431474 56 | 0.000 % | 4591.39/4591.20 c | 14842958 | 2325 263357 886976 | 1 498781 61 | 0.000 % | 4591.39/4591.20 c | 14870905 | 2325 263357 886976 | 1 526728 63 | 0.000 % | 4591.39/4591.20 c | 14871119 | 2325 263357 886976 | 1 526942 63 | 0.000 % | 4591.39/4591.20 c | 14911925 | 2325 263357 886976 | 1 293361 43 | 0.000 % | 4591.39/4591.20 c | 14914711 | 2325 263357 886976 | 1 296147 43 | 0.000 % | 4591.39/4591.20 c | 14914872 | 2325 263357 886976 | 1 296308 43 | 0.000 % | 4591.39/4591.20 c | 14940187 | 2325 263357 886976 | 1 321623 47 | 0.000 % | 4591.39/4591.20 c | 14946865 | 2325 263357 886976 | 1 328301 47 | 0.000 % | 4591.39/4591.20 c | 14964220 | 2325 263357 886976 | 1 345656 49 | 0.000 % | 4591.39/4591.20 c | 15055571 | 2325 263357 886976 | 1 437007 57 | 0.000 % | 4591.39/4591.20 c | 15074799 | 2325 263357 886976 | 1 456235 58 | 0.000 % | 4591.39/4591.20 c | 15124903 | 2325 263357 886976 | 1 506339 61 | 0.000 % | 4591.39/4591.20 c | 15139292 | 2325 263357 886976 | 1 520728 61 | 0.000 % | 4591.39/4591.20 c | 15139665 | 2325 263357 886976 | 1 521101 61 | 0.000 % | 4591.39/4591.20 c | 15211034 | 2325 263357 886976 | 1 315469 45 | 0.000 % | 4591.39/4591.20 c | 15247105 | 2325 263357 886976 | 1 351540 48 | 0.000 % | 4591.39/4591.20 c | 15247516 | 2325 263357 886976 | 1 351951 48 | 0.000 % | 4591.39/4591.20 c | 15265739 | 2325 263357 886976 | 1 370174 50 | 0.000 % | 4591.39/4591.20 c | 15267765 | 2325 263357 886976 | 1 372200 50 | 0.000 % | 4591.39/4591.20 c | 15280363 | 2325 263357 886976 | 1 384798 52 | 0.000 % | 4591.39/4591.20 c | 15302220 | 2325 263357 886976 | 1 406655 54 | 0.000 % | 4591.39/4591.20 c | 15302702 | 2325 263357 886976 | 1 407137 54 | 0.000 % | 4591.39/4591.20 c | 15372784 | 2325 263357 886976 | 1 477219 60 | 0.000 % | 4591.39/4591.20 c | 15460701 | 2325 263357 886976 | 1 285538 41 | 0.000 % | 4591.39/4591.20 c | 15472118 | 2325 263357 886976 | 1 296955 43 | 0.000 % | 4591.39/4591.20 c | 15472836 | 2325 263357 886976 | 1 297673 43 | 0.000 % | 4591.39/4591.20 c | 15493238 | 2325 263357 886976 | 1 318075 46 | 0.000 % | 4591.39/4591.20 c | 15493823 | 2325 263357 886976 | 1 318660 46 | 0.000 % | 4591.39/4591.20 c | 15533156 | 2325 263357 886976 | 1 357993 52 | 0.000 % | 4591.39/4591.20 c | 15533267 | 2325 263357 886976 | 1 358104 52 | 0.000 % | 4591.39/4591.20 c | 15533410 | 2325 263357 886976 | 1 358247 52 | 0.000 % | 4591.39/4591.20 c | 15534076 | 2325 263357 886976 | 1 358913 52 | 0.000 % | 4591.39/4591.20 c | 15534933 | 2325 263357 886976 | 1 359770 53 | 0.000 % | 4591.39/4591.20 c | 15539525 | 2325 263357 886976 | 1 364362 53 | 0.000 % | 4591.39/4591.20 c | 15588748 | 2325 263357 886976 | 1 413585 60 | 0.000 % | 4591.39/4591.20 c | 15602463 | 2325 263357 886976 | 1 427300 61 | 0.000 % | 4591.39/4591.20 c | 15666749 | 2325 263357 886976 | 1 491586 65 | 0.000 % | 4591.39/4591.20 c | 15666985 | 2325 263357 886976 | 1 491822 65 | 0.000 % | 4591.39/4591.20 c | 15689739 | 2325 263357 886976 | 1 514576 66 | 0.000 % | 4591.39/4591.20 c | 15766722 | 2325 263357 886976 | 1 309353 46 | 0.000 % | 4591.39/4591.20 c | 15798092 | 2325 263357 886976 | 1 340723 51 | 0.000 % | 4591.39/4591.20 c | 15798546 | 2325 263357 886976 | 1 341177 51 | 0.000 % | 4591.39/4591.20 c | 15830141 | 2325 263357 886976 | 1 372772 55 | 0.000 % | 4591.39/4591.20 c | 15873771 | 2325 263357 886976 | 1 416402 58 | 0.000 % | 4882.61/4882.41 c | 15943676 | 2325 263357 886976 | 1 486307 64 | 0.000 % | 4882.61/4882.41 c | 15944207 | 2325 263357 886976 | 1 486838 64 | 0.000 % | 4882.61/4882.41 c | 15944973 | 2325 263357 886976 | 1 487604 64 | 0.000 % | 4882.61/4882.41 c | 15961924 | 2325 263357 886976 | 1 504555 65 | 0.000 % | 4882.61/4882.41 c | 15975291 | 2325 263357 886976 | 1 517922 65 | 0.000 % | 4882.61/4882.41 c | 15977609 | 2325 263357 886976 | 1 520240 65 | 0.000 % | 4882.61/4882.41 c | 15986530 | 2325 263357 886976 | 1 529161 66 | 0.000 % | 4882.61/4882.41 c | 16051880 | 2325 263357 886976 | 1 309714 44 | 0.000 % | 4882.61/4882.41 c | 16073123 | 2325 263357 886976 | 1 330957 46 | 0.000 % | 4882.61/4882.41 c | 16075922 | 2325 263357 886976 | 1 333756 46 | 0.000 % | 4882.61/4882.41 c | 16147129 | 2325 263357 886976 | 1 404963 52 | 0.000 % | 4882.61/4882.41 c | 16157064 | 2325 263357 886976 | 1 414898 52 | 0.000 % | 4882.61/4882.41 c | 16160976 | 2325 263357 886976 | 1 418810 53 | 0.000 % | 4882.61/4882.41 c | 16167247 | 2325 263357 886976 | 1 425081 53 | 0.000 % | 4882.61/4882.41 c | 16194905 | 2325 263357 886976 | 1 452739 55 | 0.000 % | 4882.61/4882.41 c | 16246558 | 2325 263357 886976 | 1 504392 57 | 0.000 % | 4882.61/4882.41 c | 16255321 | 2325 263357 886976 | 1 513155 57 | 0.000 % | 4882.61/4882.41 c | 16271471 | 2325 263357 886976 | 1 529305 58 | 0.000 % | 4882.61/4882.41 c | 16305180 | 2325 263357 886976 | 1 563014 60 | 0.000 % | 4882.61/4882.41 c | 16305352 | 2325 263357 886976 | 1 563186 60 | 0.000 % | 4882.61/4882.41 c | 16333799 | 2325 263357 886976 | 1 304233 40 | 0.000 % | 4882.61/4882.41 c | 16333899 | 2325 263357 886976 | 1 304333 41 | 0.000 % | 4882.61/4882.41 c | 16334453 | 2325 263357 886976 | 1 304887 41 | 0.000 % | 4882.61/4882.41 c | 16341004 | 2325 263357 886976 | 1 311438 42 | 0.000 % | 4882.61/4882.41 c | 16345181 | 2325 263357 886976 | 1 315615 42 | 0.000 % | 4882.61/4882.41 c | 16349650 | 2325 263357 886976 | 1 320084 43 | 0.000 % | 4882.61/4882.41 c | 16360865 | 2325 263357 886976 | 1 331299 44 | 0.000 % | 4882.61/4882.41 c | 16364969 | 2325 263357 886976 | 1 335403 45 | 0.000 % | 4882.61/4882.41 c | 16365835 | 2325 263357 886976 | 1 336269 45 | 0.000 % | 4882.61/4882.41 c | 16377348 | 2325 263357 886976 | 1 347782 46 | 0.000 % | 4882.61/4882.41 c | 16377584 | 2325 263357 886976 | 1 348018 46 | 0.000 % | 4882.61/4882.41 c | 16409879 | 2325 263357 886976 | 1 380313 49 | 0.000 % | 4882.61/4882.41 c | 16475375 | 2325 263357 886976 | 1 445809 55 | 0.000 % | 4882.61/4882.41 c | 16505731 | 2325 263357 886976 | 1 476165 57 | 0.000 % | 4882.61/4882.41 c | 16517247 | 2325 263357 886976 | 1 487681 58 | 0.000 % | 4882.61/4882.41 c | 16521128 | 2325 263357 886976 | 1 491562 58 | 0.000 % | 4882.61/4882.41 c | 16528721 | 2325 263357 886976 | 1 499155 59 | 0.000 % | 4882.61/4882.41 c | 16540222 | 2325 263357 886976 | 1 510656 59 | 0.000 % | 4882.61/4882.41 c | 16548835 | 2325 263357 886976 | 1 519269 60 | 0.000 % | 4882.61/4882.41 c | 16552186 | 2325 263357 886976 | 1 522620 60 | 0.000 % | 4882.61/4882.41 c | 16562221 | 2325 263357 886976 | 1 532655 60 | 0.000 % | 4882.61/4882.41 c | 16564357 | 2325 263357 886976 | 1 534791 61 | 0.000 % | 4882.61/4882.41 c | 16571401 | 2325 263357 886976 | 1 541835 61 | 0.000 % | 4882.61/4882.41 c | 16632823 | 2325 263357 886976 | 1 313254 41 | 0.000 % | 4882.61/4882.41 c | 16640108 | 2325 263357 886976 | 1 320539 42 | 0.000 % | 4882.61/4882.41 c | 16640587 | 2325 263357 886976 | 1 321018 42 | 0.000 % | 4882.61/4882.41 c | 16665930 | 2325 263357 886976 | 1 346361 44 | 0.000 % | 4882.61/4882.41 c | 16682763 | 2325 263357 886976 | 1 363194 46 | 0.000 % | 4882.61/4882.41 c | 16764485 | 2325 263357 886976 | 1 444916 54 | 0.000 % | 4882.61/4882.41 c | 16764683 | 2325 263357 886976 |
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-3303336-1303899330/watcher-3303336-1303899330 -o /tmp/evaluation-result-3303336-1303899330/solver-3303336-1303899330 -C 5000 -W 5100 -M 15500 glucose.sh HOME/instance-3303336-1303899330.cnf running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 5000 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 5030 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.00 0.00 0.00 1/172 27138 /proc/meminfo: memFree=14353124/32951124 swapFree=67111528/67111528 [pid=27138] ppid=27136 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/27138/stat : 27138 (glucose.sh) S 27136 27138 27079 0 -1 4202496 334 0 0 0 0 0 0 0 21 0 1 0 482348671 8912896 253 33554432000 4194304 4922060 140734020007872 18446744073709551615 270338202757 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/27138/statm: 2176 253 211 178 0 69 0 [startup+0.08863 s] /proc/loadavg: 0.00 0.00 0.00 1/172 27138 /proc/meminfo: memFree=14353124/32951124 swapFree=67111528/67111528 [pid=27138] ppid=27136 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/27138/stat : 27138 (glucose.sh) S 27136 27138 27079 0 -1 4202496 334 0 0 0 0 0 0 0 21 0 1 0 482348671 8912896 253 33554432000 4194304 4922060 140734020007872 18446744073709551615 270338202757 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/27138/statm: 2176 253 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+0.100638 s] /proc/loadavg: 0.00 0.00 0.00 1/172 27138 /proc/meminfo: memFree=14353124/32951124 swapFree=67111528/67111528 [pid=27138] ppid=27136 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/27138/stat : 27138 (glucose.sh) S 27136 27138 27079 0 -1 4202496 334 0 0 0 0 0 0 0 21 0 1 0 482348671 8912896 253 33554432000 4194304 4922060 140734020007872 18446744073709551615 270338202757 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/27138/statm: 2176 253 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+0.300586 s] /proc/loadavg: 0.00 0.00 0.00 1/172 27138 /proc/meminfo: memFree=14353124/32951124 swapFree=67111528/67111528 [pid=27138] ppid=27136 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/27138/stat : 27138 (glucose.sh) S 27136 27138 27079 0 -1 4202496 334 0 0 0 0 0 0 0 21 0 1 0 482348671 8912896 253 33554432000 4194304 4922060 140734020007872 18446744073709551615 270338202757 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/27138/statm: 2176 253 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+0.700503 s] /proc/loadavg: 0.00 0.00 0.00 1/172 27138 /proc/meminfo: memFree=14353124/32951124 swapFree=67111528/67111528 [pid=27138] ppid=27136 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/27138/stat : 27138 (glucose.sh) S 27136 27138 27079 0 -1 4202496 334 0 0 0 0 0 0 0 21 0 1 0 482348671 8912896 253 33554432000 4194304 4922060 140734020007872 18446744073709551615 270338202757 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/27138/statm: 2176 253 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+1.50035 s] /proc/loadavg: 0.08 0.02 0.01 2/174 27141 /proc/meminfo: memFree=14343700/32951124 swapFree=67111528/67111528 [pid=27138] ppid=27136 vsize=8704 CPUtime=0.98 cores=1,3,5,7 /proc/27138/stat : 27138 (glucose.sh) S 27136 27138 27079 0 -1 4202496 360 5466 0 0 0 0 96 2 18 0 1 0 482348671 8912896 255 33554432000 4194304 4922060 140734020007872 18446744073709551615 270338202757 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/27138/statm: 2176 255 211 178 0 69 0 [pid=27141] ppid=27138 vsize=29632 CPUtime=0.5 cores=1,3,5,7 /proc/27141/stat : 27141 (glucose_static) R 27138 27138 27079 0 -1 4202496 6870 0 0 0 50 0 0 0 20 0 1 0 482348770 30343168 4134 33554432000 4194304 4260849 140736268300336 18446744073709551615 4225082 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/27141/statm: 7408 4134 241 17 0 4049 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 38336 [startup+3.10103 s] /proc/loadavg: 0.08 0.02 0.01 3/174 27141 /proc/meminfo: memFree=14330432/32951124 swapFree=67111528/67111528 [pid=27138] ppid=27136 vsize=8704 CPUtime=0.98 cores=1,3,5,7 /proc/27138/stat : 27138 (glucose.sh) S 27136 27138 27079 0 -1 4202496 360 5466 0 0 0 0 96 2 18 0 1 0 482348671 8912896 255 33554432000 4194304 4922060 140734020007872 18446744073709551615 270338202757 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/27138/statm: 2176 255 211 178 0 69 0 [pid=27141] ppid=27138 vsize=46180 CPUtime=2.1 cores=1,3,5,7 /proc/27141/stat : 27141 (glucose_static) R 27138 27138 27079 0 -1 4202496 13329 0 0 0 209 1 0 0 25 0 1 0 482348770 47288320 7471 33554432000 4194304 4260849 140736268300336 18446744073709551615 4238067 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/27141/statm: 11545 7471 251 17 0 8186 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 54884 [startup+6.30039 s] /proc/loadavg: 0.23 0.05 0.02 3/180 27153 /proc/meminfo: memFree=14293680/32951124 swapFree=67111528/67111528 [pid=27138] ppid=27136 vsize=8704 CPUtime=0.98 cores=1,3,5,7 /proc/27138/stat : 27138 (glucose.sh) S 27136 27138 27079 0 -1 4202496 360 5466 0 0 0 0 96 2 18 0 1 0 482348671 8912896 255 33554432000 4194304 4922060 140734020007872 18446744073709551615 270338202757 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/27138/statm: 2176 255 211 178 0 69 0 [pid=27141] ppid=27138 vsize=64856 CPUtime=5.3 cores=1,3,5,7 /proc/27141/stat : 27141 (glucose_static) R 27138 27138 27079 0 -1 4202496 18872 0 0 0 528 2 0 0 25 0 1 0 482348770 66412544 9351 33554432000 4194304 4260849 140736268300336 18446744073709551615 4238067 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/27141/statm: 16214 9351 251 17 0 12855 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 73560 [startup+12.7011 s] /proc/loadavg: 0.37 0.08 0.03 3/180 27153 /proc/meminfo: memFree=14262652/32951124 swapFree=67111528/67111528 [pid=27138] ppid=27136 vsize=8704 CPUtime=0.98 cores=1,3,5,7 /proc/27138/stat : 27138 (glucose.sh) S 27136 27138 27079 0 -1 4202496 360 5466 0 0 0 0 96 2 18 0 1 0 482348671 8912896 255 33554432000 4194304 4922060 140734020007872 18446744073709551615 270338202757 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/27138/statm: 2176 255 211 178 0 69 0 [pid=27141] ppid=27138 vsize=64856 CPUtime=11.7 cores=1,3,5,7 /proc/27141/stat : 27141 (glucose_static) R 27138 27138 27079 0 -1 4202496 28031 0 0 0 1167 3 0 0 25 0 1 0 482348770 66412544 13023 33554432000 4194304 4260849 140736268300336 18446744073709551615 4225124 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/27141/statm: 16214 13023 251 17 0 12855 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 73560 [startup+25.5006 s] /proc/loadavg: 0.62 0.14 0.05 3/180 27153 /proc/meminfo: memFree=14237444/32951124 swapFree=67111528/67111528 [pid=27138] ppid=27136 vsize=8704 CPUtime=0.98 cores=1,3,5,7 /proc/27138/stat : 27138 (glucose.sh) S 27136 27138 27079 0 -1 4202496 360 5466 0 0 0 0 96 2 18 0 1 0 482348671 8912896 255 33554432000 4194304 4922060 140734020007872 18446744073709551615 270338202757 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/27138/statm: 2176 255 211 178 0 69 0 [pid=27141] ppid=27138 vsize=83708 CPUtime=24.5 cores=1,3,5,7 /proc/27141/stat : 27141 (glucose_static) R 27138 27138 27079 0 -1 4202496 32983 0 0 0 2446 4 0 0 25 0 1 0 482348770 85716992 17692 33554432000 4194304 4260849 140736268300336 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/27141/statm: 20927 17692 251 17 0 17568 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 92412 [startup+51.1005 s] /proc/loadavg: 1.16 0.32 0.11 3/180 27154 /proc/meminfo: memFree=14227084/32951124 swapFree=67111528/67111528 [pid=27138] ppid=27136 vsize=8704 CPUtime=0.98 cores=1,3,5,7 /proc/27138/stat : 27138 (glucose.sh) S 27136 27138 27079 0 -1 4202496 360 5466 0 0 0 0 96 2 18 0 1 0 482348671 8912896 255 33554432000 4194304 4922060 140734020007872 18446744073709551615 270338202757 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/27138/statm: 2176 255 211 178 0 69 0 [pid=27141] ppid=27138 vsize=83708 CPUtime=50.1 cores=1,3,5,7 /proc/27141/stat : 27141 (glucose_static) R 27138 27138 27079 0 -1 4202496 32983 0 0 0 5006 4 0 0 25 0 1 0 482348770 85716992 17692 33554432000 4194304 4260849 140736268300336 18446744073709551615 4225146 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/27141/statm: 20927 17692 251 17 0 17568 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 92412 [startup+102.306 s] /proc/loadavg: 1.72 0.59 0.21 3/180 27156 /proc/meminfo: memFree=14217400/32951124 swapFree=67111528/67111528 [pid=27138] ppid=27136 vsize=8704 CPUtime=0.98 cores=1,3,5,7 /proc/27138/stat : 27138 (glucose.sh) S 27136 27138 27079 0 -1 4202496 360 5466 0 0 0 0 96 2 18 0 1 0 482348671 8912896 255 33554432000 4194304 4922060 140734020007872 18446744073709551615 270338202757 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/27138/statm: 2176 255 211 178 0 69 0 [pid=27141] ppid=27138 vsize=83708 CPUtime=101.31 cores=1,3,5,7 /proc/27141/stat : 27141 (glucose_static) R 27138 27138 27079 0 -1 4202496 57690 0 0 0 10124 7 0 0 25 0 1 0 482348770 85716992 17736 33554432000 4194304 4260849 140736268300336 18446744073709551615 4225149 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/27141/statm: 20927 17736 251 17 0 17568 0 Current children cumulated CPU time (s) 102.29 Current children cumulated vsize (KiB) 92412 [startup+162.3 s] /proc/loadavg: 1.89 0.85 0.32 3/180 27157 /proc/meminfo: memFree=14181432/32951124 swapFree=67111528/67111528 [pid=27138] ppid=27136 vsize=8704 CPUtime=0.98 cores=1,3,5,7 /proc/27138/stat : 27138 (glucose.sh) S 27136 27138 27079 0 -1 4202496 360 5466 0 0 0 0 96 2 18 0 1 0 482348671 8912896 255 33554432000 4194304 4922060 140734020007872 18446744073709551615 270338202757 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/27138/statm: 2176 255 211 178 0 69 0 [pid=27141] ppid=27138 vsize=95588 CPUtime=161.31 cores=1,3,5,7 /proc/27141/stat : 27141 (glucose_static) R 27138 27138 27079 0 -1 4202496 99338 0 0 0 16119 12 0 0 25 0 1 0 482348770 97882112 20741 33554432000 4194304 4260849 140736268300336 18446744073709551615 4224864 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/27141/statm: 23897 20741 251 17 0 20538 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 104292 [startup+222.3 s] /proc/loadavg: 1.96 1.05 0.42 3/180 27159 /proc/meminfo: memFree=14107636/32951124 swapFree=67111528/67111528 [pid=27138] ppid=27136 vsize=8704 CPUtime=0.98 cores=1,3,5,7 /proc/27138/stat : 27138 (glucose.sh) S 27136 27138 27079 0 -1 4202496 360 5466 0 0 0 0 96 2 18 0 1 0 482348671 8912896 255 33554432000 4194304 4922060 140734020007872 18446744073709551615 270338202757 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/27138/statm: 2176 255 211 178 0 69 0 [pid=27141] ppid=27138 vsize=144908 CPUtime=221.31 cores=1,3,5,7 /proc/27141/stat : 27141 (glucose_static) R 27138 27138 27079 0 -1 4202496 141004 0 0 0 22112 19 0 0 25 0 1 0 482348770 148385792 30953 33554432000 4194304 4260849 140736268300336 18446744073709551615 4224885 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/27141/statm: 36227 30953 251 17 0 32868 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 153612 [startup+282.301 s] /proc/loadavg: 1.98 1.22 0.52 3/180 27160 /proc/meminfo: memFree=14179428/32951124 swapFree=67111528/67111528 [pid=27138] ppid=27136 vsize=8704 CPUtime=0.98 cores=1,3,5,7 /proc/27138/stat : 27138 (glucose.sh) S 27136 27138 27079 0 -1 4202496 360 5466 0 0 0 0 96 2 18 0 1 0 482348671 8912896 255 33554432000 4194304 4922060 140734020007872 18446744073709551615 270338202757 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/27138/statm: 2176 255 211 178 0 69 0 [pid=27141] ppid=27138 vsize=95588 CPUtime=281.31 cores=1,3,5,7 /proc/27141/stat : 27141 (glucose_static) R 27138 27138 27079 0 -1 4202496 177902 0 0 0 28106 25 0 0 25 0 1 0 482348770 97882112 20741 33554432000 4194304 4260849 140736268300336 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/27141/statm: 23897 20741 251 17 0 20538 0 Current children cumulated CPU time (s) 282.29 Current children cumulated vsize (KiB) 104292 [startup+342.301 s] /proc/loadavg: 1.99 1.36 0.61 3/180 27162 /proc/meminfo: memFree=14139864/32951124 swapFree=67111528/67111528 [pid=27138] ppid=27136 vsize=8704 CPUtime=0.98 cores=1,3,5,7 /proc/27138/stat : 27138 (glucose.sh) S 27136 27138 27079 0 -1 4202496 360 5466 0 0 0 0 96 2 18 0 1 0 482348671 8912896 255 33554432000 4194304 4922060 140734020007872 18446744073709551615 270338202757 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/27138/statm: 2176 255 211 178 0 69 0 [pid=27141] ppid=27138 vsize=144908 CPUtime=341.32 cores=1,3,5,7 /proc/27141/stat : 27141 (glucose_static) R 27138 27138 27079 0 -1 4202496 211888 0 0 0 34102 30 0 0 25 0 1 0 482348770 148385792 30729 33554432000 4194304 4260849 140736268300336 18446744073709551615 4225500 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/27141/statm: 36227 30729 251 17 0 32868 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 153612 [startup+402.301 s] /proc/loadavg: 1.99 1.48 0.69 3/180 27164 /proc/meminfo: memFree=14167384/32951124 swapFree=67111528/67111528 [pid=27138] ppid=27136 vsize=8704 CPUtime=0.98 cores=1,3,5,7 ################ # More data... # ################ /proc/27141/statm: 90566 68728 252 17 0 87207 0 Current children cumulated CPU time (s) 4302.48 Current children cumulated vsize (KiB) 370968 [startup+4362.3 s] /proc/loadavg: 2.00 2.00 1.92 3/180 27284 /proc/meminfo: memFree=13947768/32951124 swapFree=67111528/67111528 [pid=27138] ppid=27136 vsize=8704 CPUtime=0.98 cores=1,3,5,7 /proc/27138/stat : 27138 (glucose.sh) S 27136 27138 27079 0 -1 4202496 360 5466 0 0 0 0 96 2 18 0 1 0 482348671 8912896 255 33554432000 4194304 4922060 140734020007872 18446744073709551615 270338202757 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/27138/statm: 2176 255 211 178 0 69 0 [pid=27141] ppid=27138 vsize=281256 CPUtime=4361.5 cores=1,3,5,7 /proc/27141/stat : 27141 (glucose_static) R 27138 27138 27079 0 -1 4202496 2103455 0 0 0 435729 421 0 0 25 0 1 0 482348770 288006144 61252 33554432000 4194304 4260849 140736268300336 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/27141/statm: 70314 61252 252 17 0 66955 0 Current children cumulated CPU time (s) 4362.48 Current children cumulated vsize (KiB) 289960 [startup+4422.3 s] /proc/loadavg: 2.00 2.00 1.92 3/180 27286 /proc/meminfo: memFree=13941932/32951124 swapFree=67111528/67111528 [pid=27138] ppid=27136 vsize=8704 CPUtime=0.98 cores=1,3,5,7 /proc/27138/stat : 27138 (glucose.sh) S 27136 27138 27079 0 -1 4202496 360 5466 0 0 0 0 96 2 18 0 1 0 482348671 8912896 255 33554432000 4194304 4922060 140734020007872 18446744073709551615 270338202757 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/27138/statm: 2176 255 211 178 0 69 0 [pid=27141] ppid=27138 vsize=232072 CPUtime=4421.51 cores=1,3,5,7 /proc/27141/stat : 27141 (glucose_static) R 27138 27138 27079 0 -1 4202496 2132296 0 0 0 441724 427 0 0 25 0 1 0 482348770 237641728 52514 33554432000 4194304 4260849 140736268300336 18446744073709551615 4210966 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/27141/statm: 58018 52514 252 17 0 54659 0 Current children cumulated CPU time (s) 4422.49 Current children cumulated vsize (KiB) 240776 [startup+4482.3 s] /proc/loadavg: 2.00 2.00 1.92 3/180 27287 /proc/meminfo: memFree=13892072/32951124 swapFree=67111528/67111528 [pid=27138] ppid=27136 vsize=8704 CPUtime=0.98 cores=1,3,5,7 /proc/27138/stat : 27138 (glucose.sh) S 27136 27138 27079 0 -1 4202496 360 5466 0 0 0 0 96 2 18 0 1 0 482348671 8912896 255 33554432000 4194304 4922060 140734020007872 18446744073709551615 270338202757 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/27138/statm: 2176 255 211 178 0 69 0 [pid=27141] ppid=27138 vsize=444228 CPUtime=4481.51 cores=1,3,5,7 /proc/27141/stat : 27141 (glucose_static) R 27138 27138 27079 0 -1 4202496 2157369 0 0 0 447720 431 0 0 25 0 1 0 482348770 454889472 77193 33554432000 4194304 4260849 140736268300336 18446744073709551615 4220705 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/27141/statm: 111057 77197 252 17 0 107698 0 Current children cumulated CPU time (s) 4482.49 Current children cumulated vsize (KiB) 452932 [startup+4542.3 s] /proc/loadavg: 2.04 2.01 1.93 3/180 27289 /proc/meminfo: memFree=13862064/32951124 swapFree=67111528/67111528 [pid=27138] ppid=27136 vsize=8704 CPUtime=0.98 cores=1,3,5,7 /proc/27138/stat : 27138 (glucose.sh) S 27136 27138 27079 0 -1 4202496 360 5466 0 0 0 0 96 2 18 0 1 0 482348671 8912896 255 33554432000 4194304 4922060 140734020007872 18446744073709551615 270338202757 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/27138/statm: 2176 255 211 178 0 69 0 [pid=27141] ppid=27138 vsize=364948 CPUtime=4541.51 cores=1,3,5,7 /proc/27141/stat : 27141 (glucose_static) R 27138 27138 27079 0 -1 4202496 2189292 0 0 0 453714 437 0 0 25 0 1 0 482348770 373706752 70235 33554432000 4194304 4260849 140736268300336 18446744073709551615 4225146 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/27141/statm: 91237 70235 252 17 0 87878 0 Current children cumulated CPU time (s) 4542.49 Current children cumulated vsize (KiB) 373652 [startup+4602.3 s] /proc/loadavg: 2.01 2.01 1.93 3/180 27291 /proc/meminfo: memFree=13909652/32951124 swapFree=67111528/67111528 [pid=27138] ppid=27136 vsize=8704 CPUtime=0.98 cores=1,3,5,7 /proc/27138/stat : 27138 (glucose.sh) S 27136 27138 27079 0 -1 4202496 360 5466 0 0 0 0 96 2 18 0 1 0 482348671 8912896 255 33554432000 4194304 4922060 140734020007872 18446744073709551615 270338202757 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/27138/statm: 2176 255 211 178 0 69 0 [pid=27141] ppid=27138 vsize=284464 CPUtime=4601.52 cores=1,3,5,7 /proc/27141/stat : 27141 (glucose_static) R 27138 27138 27079 0 -1 4202496 2225073 0 0 0 459709 443 0 0 25 0 1 0 482348770 291291136 64499 33554432000 4194304 4260849 140736268300336 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/27141/statm: 71116 64499 252 17 0 67757 0 Current children cumulated CPU time (s) 4602.5 Current children cumulated vsize (KiB) 293168 [startup+4662.3 s] /proc/loadavg: 2.00 2.00 1.93 3/180 27292 /proc/meminfo: memFree=13989616/32951124 swapFree=67111528/67111528 [pid=27138] ppid=27136 vsize=8704 CPUtime=0.98 cores=1,3,5,7 /proc/27138/stat : 27138 (glucose.sh) S 27136 27138 27079 0 -1 4202496 360 5466 0 0 0 0 96 2 18 0 1 0 482348671 8912896 255 33554432000 4194304 4922060 140734020007872 18446744073709551615 270338202757 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/27138/statm: 2176 255 211 178 0 69 0 [pid=27141] ppid=27138 vsize=234728 CPUtime=4661.52 cores=1,3,5,7 /proc/27141/stat : 27141 (glucose_static) R 27138 27138 27079 0 -1 4202496 2254759 0 0 0 465702 450 0 0 25 0 1 0 482348770 240361472 53570 33554432000 4194304 4260849 140736268300336 18446744073709551615 4225121 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/27141/statm: 58682 53570 252 17 0 55323 0 Current children cumulated CPU time (s) 4662.5 Current children cumulated vsize (KiB) 243432 [startup+4722.31 s] /proc/loadavg: 2.00 2.00 1.93 3/180 27294 /proc/meminfo: memFree=13891272/32951124 swapFree=67111528/67111528 [pid=27138] ppid=27136 vsize=8704 CPUtime=0.98 cores=1,3,5,7 /proc/27138/stat : 27138 (glucose.sh) S 27136 27138 27079 0 -1 4202496 360 5466 0 0 0 0 96 2 18 0 1 0 482348671 8912896 255 33554432000 4194304 4922060 140734020007872 18446744073709551615 270338202757 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/27138/statm: 2176 255 211 178 0 69 0 [pid=27141] ppid=27138 vsize=285744 CPUtime=4721.52 cores=1,3,5,7 /proc/27141/stat : 27141 (glucose_static) R 27138 27138 27079 0 -1 4202496 2268489 0 0 0 471698 454 0 0 25 0 1 0 482348770 292601856 67138 33554432000 4194304 4260849 140736268300336 18446744073709551615 4238067 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/27141/statm: 71436 67138 252 17 0 68077 0 Current children cumulated CPU time (s) 4722.5 Current children cumulated vsize (KiB) 294448 [startup+4782.3 s] /proc/loadavg: 2.00 2.00 1.93 3/180 27295 /proc/meminfo: memFree=13948036/32951124 swapFree=67111528/67111528 [pid=27138] ppid=27136 vsize=8704 CPUtime=0.98 cores=1,3,5,7 /proc/27138/stat : 27138 (glucose.sh) S 27136 27138 27079 0 -1 4202496 360 5466 0 0 0 0 96 2 18 0 1 0 482348671 8912896 255 33554432000 4194304 4922060 140734020007872 18446744073709551615 270338202757 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/27138/statm: 2176 255 211 178 0 69 0 [pid=27141] ppid=27138 vsize=286596 CPUtime=4781.52 cores=1,3,5,7 /proc/27141/stat : 27141 (glucose_static) R 27138 27138 27079 0 -1 4202496 2300287 0 0 0 477691 461 0 0 25 0 1 0 482348770 293474304 61286 33554432000 4194304 4260849 140736268300336 18446744073709551615 4209649 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/27141/statm: 71649 61286 252 17 0 68290 0 Current children cumulated CPU time (s) 4782.5 Current children cumulated vsize (KiB) 295300 [startup+4842.3 s] /proc/loadavg: 2.00 2.00 1.93 3/180 27297 /proc/meminfo: memFree=13942328/32951124 swapFree=67111528/67111528 [pid=27138] ppid=27136 vsize=8704 CPUtime=0.98 cores=1,3,5,7 /proc/27138/stat : 27138 (glucose.sh) S 27136 27138 27079 0 -1 4202496 360 5466 0 0 0 0 96 2 18 0 1 0 482348671 8912896 255 33554432000 4194304 4922060 140734020007872 18446744073709551615 270338202757 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/27138/statm: 2176 255 211 178 0 69 0 [pid=27141] ppid=27138 vsize=236860 CPUtime=4841.53 cores=1,3,5,7 /proc/27141/stat : 27141 (glucose_static) R 27138 27138 27079 0 -1 4202496 2330367 0 0 0 483685 468 0 0 25 0 1 0 482348770 242544640 52498 33554432000 4194304 4260849 140736268300336 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/27141/statm: 59215 52498 252 17 0 55856 0 Current children cumulated CPU time (s) 4842.51 Current children cumulated vsize (KiB) 245564 [startup+4902.3 s] /proc/loadavg: 2.00 2.00 1.93 3/180 27299 /proc/meminfo: memFree=13918884/32951124 swapFree=67111528/67111528 [pid=27138] ppid=27136 vsize=8704 CPUtime=0.98 cores=1,3,5,7 /proc/27138/stat : 27138 (glucose.sh) S 27136 27138 27079 0 -1 4202496 360 5466 0 0 0 0 96 2 18 0 1 0 482348671 8912896 255 33554432000 4194304 4922060 140734020007872 18446744073709551615 270338202757 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/27138/statm: 2176 255 211 178 0 69 0 [pid=27141] ppid=27138 vsize=288600 CPUtime=4901.53 cores=1,3,5,7 /proc/27141/stat : 27141 (glucose_static) R 27138 27138 27079 0 -1 4202496 2344070 0 0 0 489681 472 0 0 25 0 1 0 482348770 295526400 66055 33554432000 4194304 4260849 140736268300336 18446744073709551615 4224812 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/27141/statm: 72150 66055 252 17 0 68791 0 Current children cumulated CPU time (s) 4902.51 Current children cumulated vsize (KiB) 297304 [startup+4962.3 s] /proc/loadavg: 2.00 2.00 1.93 3/180 27300 /proc/meminfo: memFree=13911792/32951124 swapFree=67111528/67111528 [pid=27138] ppid=27136 vsize=8704 CPUtime=0.98 cores=1,3,5,7 /proc/27138/stat : 27138 (glucose.sh) S 27136 27138 27079 0 -1 4202496 360 5466 0 0 0 0 96 2 18 0 1 0 482348671 8912896 255 33554432000 4194304 4922060 140734020007872 18446744073709551615 270338202757 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/27138/statm: 2176 255 211 178 0 69 0 [pid=27141] ppid=27138 vsize=289084 CPUtime=4961.53 cores=1,3,5,7 /proc/27141/stat : 27141 (glucose_static) R 27138 27138 27079 0 -1 4202496 2374828 0 0 0 495676 477 0 0 25 0 1 0 482348770 296022016 57416 33554432000 4194304 4260849 140736268300336 18446744073709551615 4224674 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/27141/statm: 72271 57416 252 17 0 68912 0 Current children cumulated CPU time (s) 4962.51 Current children cumulated vsize (KiB) 297788 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+4999.8 s] /proc/loadavg: 2.08 2.02 1.93 3/180 27301 /proc/meminfo: memFree=13913520/32951124 swapFree=67111528/67111528 [pid=27138] ppid=27136 vsize=8704 CPUtime=0.98 cores=1,3,5,7 /proc/27138/stat : 27138 (glucose.sh) S 27136 27138 27079 0 -1 4202496 360 5466 0 0 0 0 96 2 18 0 1 0 482348671 8912896 255 33554432000 4194304 4922060 140734020007872 18446744073709551615 270338202757 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/27138/statm: 2176 255 211 178 0 69 0 [pid=27141] ppid=27138 vsize=370716 CPUtime=4999.04 cores=1,3,5,7 /proc/27141/stat : 27141 (glucose_static) R 27138 27138 27079 0 -1 4202496 2386716 0 0 0 499423 481 0 0 25 0 1 0 482348770 379613184 69184 33554432000 4194304 4260849 140736268300336 18446744073709551615 4225124 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/27141/statm: 92679 69184 252 17 0 89320 0 Current children cumulated CPU time (s) 5000.02 Current children cumulated vsize (KiB) 379420 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 27138 and gives # childrusage.ru_utime.tv_sec=0 # childrusage.ru_utime.tv_usec=965853 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=22996 # CPU time returned by wait4() is 0.988849 # while last known CPU time is 5000.02 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 4999.81 CPU time (s): 5000.02 CPU user time (s): 4995.19 CPU system time (s): 4.83 CPU usage (%): 100.004 Max. virtual memory (cumulated for all children) (KiB): 459316 getrusage(RUSAGE_CHILDREN,...) data: user time used= 0.965853 system time used= 0.022996 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 5826 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= 9 involuntary context switches= 5 runsolver used 7.81481 second user time and 17.8583 second system time The end
Begin job on node143 at 2011-04-27 12:15:31 IDJOB=3303336 IDBENCH=71270 IDSOLVER=1687 FILE ID=node143/3303336-1303899330 RUNJOBID= node143-1303899330-27098 PBS_JOBID= 13164505 Free space on /tmp= 72928 MiB SOLVER NAME= glucose 2 BENCH NAME= SAT09/CRAFTED/rbsat/random/unforced/rbsat-v2400c266431g10.cnf COMMAND LINE= glucose.sh BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3303336-1303899330/watcher-3303336-1303899330 -o /tmp/evaluation-result-3303336-1303899330/solver-3303336-1303899330 -C 5000 -W 5100 -M 15500 glucose.sh HOME/instance-3303336-1303899330.cnf TIME LIMIT= 5000 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 885d1d8595262b8f0aa94d123211b47c RANDOM SEED=580329049 node143.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.846 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.69 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.846 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5226.15 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.846 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.74 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.846 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.846 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.846 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.83 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.846 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.74 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.846 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.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 14353396 kB Buffers: 2288208 kB Cached: 15683560 kB SwapCached: 0 kB Active: 6827516 kB Inactive: 11208452 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 14353396 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 4700 kB Writeback: 20 kB AnonPages: 64068 kB Mapped: 14636 kB Slab: 495652 kB PageTables: 4784 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 184540 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= 72920 MiB End job on node143 at 2011-04-27 13:38:52