| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| glucose 2 | ? (TO) | 5000.01 | 4999.91 |
| Name | CRAFTED/rbsat/random/ forced/rbsat-v2400c266431gyes7.cnf |
| MD5SUM | 92e61742efd2e322c59b4442206bebf1 |
| 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 | 263300 885589 | -- 0 -- -- | -- | -3131/350477 0.00/0.85 c ============================================================================== 0.00/0.85 c Result : #vars: 2325 #clauses: 263300 #literals: 885589 0.00/0.85 c CPU time: 0.847871 s 0.00/0.85 c ============================================================================== 0.00/0.99 c 0.00/0.99 c Starting glucose 0.00/0.99 c 284.58/284.63 c This is glucose 2.0 -- based on MiniSAT (Many thanks to MiniSAT team) 284.58/284.63 c WARNING: for repeatability, setting FPU to use double precision 284.58/284.63 c ============================[ Problem Statistics ]============================= 284.58/284.63 c | | 284.58/284.63 c | Number of variables: 2325 | 284.58/284.63 c | Number of clauses: 263300 | 284.58/284.63 c | Parse time: 0.05 s | 284.58/284.63 c | | 284.58/284.63 c ============================[ Search Statistics ]============================== 284.58/284.63 c | Conflicts | ORIGINAL | LEARNT | Progress | 284.58/284.63 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | | 284.58/284.63 c =============================================================================== 284.58/284.63 c | 1187 | 2325 263300 885589 | 1 1187 191 | 0.000 % | 284.58/284.63 c | 1628 | 2325 263300 885589 | 1 1628 175 | 0.000 % | 284.58/284.63 c | 10189 | 2325 263300 885589 | 1 8195 107 | 0.000 % | 284.58/284.63 c | 60848 | 2325 263300 885589 | 1 26703 91 | 0.000 % | 284.58/284.63 c | 69080 | 2325 263300 885589 | 1 20526 76 | 0.000 % | 284.58/284.63 c | 126241 | 2325 263300 885589 | 1 41087 77 | 0.000 % | 284.58/284.63 c | 431937 | 2325 263300 885589 | 1 53364 56 | 0.000 % | 284.58/284.63 c | 448565 | 2325 263300 885589 | 1 69992 62 | 0.000 % | 284.58/284.63 c | 487827 | 2325 263300 885589 | 1 63649 55 | 0.000 % | 284.58/284.63 c | 505896 | 2325 263300 885589 | 1 81718 63 | 0.000 % | 284.58/284.63 c | 506309 | 2325 263300 885589 | 1 82131 64 | 0.000 % | 284.58/284.63 c | 506411 | 2325 263300 885589 | 1 82233 64 | 0.000 % | 284.58/284.63 c | 506512 | 2325 263300 885589 | 1 82334 64 | 0.000 % | 284.58/284.63 c | 506626 | 2325 263300 885589 | 1 82448 64 | 0.000 % | 284.58/284.63 c | 548197 | 2325 263300 885589 | 1 75814 60 | 0.000 % | 284.58/284.63 c | 564803 | 2325 263300 885589 | 1 92420 65 | 0.000 % | 284.58/284.63 c | 701085 | 2325 263300 885589 | 1 68507 56 | 0.000 % | 284.58/284.63 c | 708018 | 2325 263300 885589 | 1 75440 59 | 0.000 % | 284.58/284.63 c | 712285 | 2325 263300 885589 | 1 79707 61 | 0.000 % | 284.58/284.63 c | 725985 | 2325 263300 885589 | 1 93407 65 | 0.000 % | 284.58/284.63 c | 728866 | 2325 263300 885589 | 1 96288 67 | 0.000 % | 284.58/284.63 c | 756796 | 2325 263300 885589 | 1 65625 50 | 0.000 % | 284.58/284.63 c | 816398 | 2325 263300 885589 | 1 64025 50 | 0.000 % | 284.58/284.63 c | 868914 | 2325 263300 885589 | 1 116541 73 | 0.000 % | 284.58/284.63 c | 880310 | 2325 263300 885589 | 1 64137 48 | 0.000 % | 284.58/284.63 c | 1032872 | 2325 263300 885589 | 1 81312 56 | 0.000 % | 284.58/284.63 c | 1065744 | 2325 263300 885589 | 1 114184 67 | 0.000 % | 284.58/284.63 c | 1120262 | 2325 263300 885589 | 1 97099 58 | 0.000 % | 284.58/284.63 c | 1180590 | 2325 263300 885589 | 1 83227 52 | 0.000 % | 284.58/284.63 c | 1229390 | 2325 263300 885589 | 1 132027 69 | 0.000 % | 284.58/284.63 c | 1257147 | 2325 263300 885589 | 1 82990 49 | 0.000 % | 284.58/284.63 c | 1297152 | 2325 263300 885589 | 1 122995 59 | 0.000 % | 284.58/284.63 c | 1357078 | 2325 263300 885589 | 1 103526 51 | 0.000 % | 284.58/284.63 c | 1391421 | 2325 263300 885589 | 1 137869 60 | 0.000 % | 284.58/284.63 c | 1399970 | 2325 263300 885589 | 1 146418 62 | 0.000 % | 284.58/284.63 c | 1403953 | 2325 263300 885589 | 1 150401 63 | 0.000 % | 284.58/284.63 c | 1449690 | 2325 263300 885589 | 1 114127 54 | 0.000 % | 284.58/284.63 c | 1487866 | 2325 263300 885589 | 1 152303 67 | 0.000 % | 284.58/284.63 c | 1488131 | 2325 263300 885589 | 1 152568 67 | 0.000 % | 602.39/602.46 c | 1692551 | 2325 263300 885589 | 1 95388 48 | 0.000 % | 602.39/602.46 c | 1733122 | 2325 263300 885589 | 1 135959 58 | 0.000 % | 602.39/602.46 c | 1845578 | 2325 263300 885589 | 1 156011 62 | 0.000 % | 602.39/602.46 c | 1845896 | 2325 263300 885589 | 1 156329 62 | 0.000 % | 602.39/602.46 c | 1855903 | 2325 263300 885589 | 1 166336 63 | 0.000 % | 602.39/602.46 c | 1924271 | 2325 263300 885589 | 1 139706 52 | 0.000 % | 602.39/602.46 c | 1942250 | 2325 263300 885589 | 1 157685 56 | 0.000 % | 602.39/602.46 c | 1946387 | 2325 263300 885589 | 1 161822 56 | 0.000 % | 602.39/602.46 c | 1982111 | 2325 263300 885589 | 1 99943 41 | 0.000 % | 602.39/602.46 c | 2041030 | 2325 263300 885589 | 1 158862 54 | 0.000 % | 602.39/602.46 c | 2177644 | 2325 263300 885589 | 1 195264 52 | 0.000 % | 602.39/602.46 c | 2201316 | 2325 263300 885589 | 1 116143 42 | 0.000 % | 602.39/602.46 c | 2203493 | 2325 263300 885589 | 1 118320 43 | 0.000 % | 602.39/602.46 c | 2208619 | 2325 263300 885589 | 1 123446 44 | 0.000 % | 602.39/602.46 c | 2249895 | 2325 263300 885589 | 1 164722 55 | 0.000 % | 602.39/602.46 c | 2252607 | 2325 263300 885589 | 1 167434 56 | 0.000 % | 602.39/602.46 c | 2252707 | 2325 263300 885589 | 1 167534 56 | 0.000 % | 602.39/602.46 c | 2252876 | 2325 263300 885589 | 1 167703 56 | 0.000 % | 602.39/602.46 c | 2254296 | 2325 263300 885589 | 1 169123 56 | 0.000 % | 602.39/602.46 c | 2254398 | 2325 263300 885589 | 1 169225 56 | 0.000 % | 602.39/602.46 c | 2274209 | 2325 263300 885589 | 1 189036 59 | 0.000 % | 602.39/602.46 c | 2321215 | 2325 263300 885589 | 1 130641 49 | 0.000 % | 602.39/602.46 c | 2332065 | 2325 263300 885589 | 1 141491 52 | 0.000 % | 602.39/602.46 c | 2349985 | 2325 263300 885589 | 1 159411 55 | 0.000 % | 602.39/602.46 c | 2350086 | 2325 263300 885589 | 1 159512 55 | 0.000 % | 602.39/602.46 c | 2353011 | 2325 263300 885589 | 1 162437 56 | 0.000 % | 602.39/602.46 c | 2356568 | 2325 263300 885589 | 1 165994 56 | 0.000 % | 602.39/602.46 c | 2359715 | 2325 263300 885589 | 1 169141 57 | 0.000 % | 602.39/602.46 c | 2367576 | 2325 263300 885589 | 1 177002 59 | 0.000 % | 602.39/602.46 c | 2428903 | 2325 263300 885589 | 1 130336 48 | 0.000 % | 602.39/602.46 c | 2430082 | 2325 263300 885589 | 1 131515 48 | 0.000 % | 602.39/602.46 c | 2454766 | 2325 263300 885589 | 1 156199 55 | 0.000 % | 602.39/602.46 c | 2455140 | 2325 263300 885589 | 1 156573 56 | 0.000 % | 602.39/602.46 c | 2456848 | 2325 263300 885589 | 1 158281 56 | 0.000 % | 602.39/602.46 c | 2578204 | 2325 263300 885589 | 1 169047 55 | 0.000 % | 602.39/602.46 c | 2625077 | 2325 263300 885589 | 1 215920 60 | 0.000 % | 602.39/602.46 c | 2632935 | 2325 263300 885589 | 1 223778 61 | 0.000 % | 602.39/602.46 c | 2633464 | 2325 263300 885589 | 1 224307 61 | 0.000 % | 602.39/602.46 c | 2643055 | 2325 263300 885589 | 1 120695 43 | 0.000 % | 602.39/602.46 c | 2670269 | 2325 263300 885589 | 1 147909 52 | 0.000 % | 602.39/602.46 c | 2672680 | 2325 263300 885589 | 1 150320 53 | 0.000 % | 602.39/602.46 c | 2692657 | 2325 263300 885589 | 1 170297 57 | 0.000 % | 602.39/602.46 c | 2712727 | 2325 263300 885589 | 1 190367 60 | 0.000 % | 602.39/602.46 c | 2713355 | 2325 263300 885589 | 1 190995 60 | 0.000 % | 602.39/602.46 c | 2725784 | 2325 263300 885589 | 1 203424 62 | 0.000 % | 602.39/602.46 c | 2726586 | 2325 263300 885589 | 1 204226 62 | 0.000 % | 602.39/602.46 c | 2727068 | 2325 263300 885589 | 1 204708 62 | 0.000 % | 602.39/602.46 c | 2774194 | 2325 263300 885589 | 1 136026 48 | 0.000 % | 602.39/602.46 c | 2786036 | 2325 263300 885589 | 1 147868 52 | 0.000 % | 602.39/602.46 c | 2786138 | 2325 263300 885589 | 1 147970 52 | 0.000 % | 882.00/882.05 c | 2793456 | 2325 263300 885589 | 1 155288 53 | 0.000 % | 882.00/882.05 c | 2794601 | 2325 263300 885589 | 1 156433 53 | 0.000 % | 882.00/882.05 c | 2801920 | 2325 263300 885589 | 1 163752 55 | 0.000 % | 882.00/882.05 c | 2807210 | 2325 263300 885589 | 1 169042 56 | 0.000 % | 882.00/882.05 c | 2809141 | 2325 263300 885589 | 1 170973 56 | 0.000 % | 882.00/882.05 c | 2870521 | 2325 263300 885589 | 1 232353 60 | 0.000 % | 882.00/882.05 c | 2885717 | 2325 263300 885589 | 1 129153 42 | 0.000 % | 882.00/882.05 c | 2909762 | 2325 263300 885589 | 1 153198 50 | 0.000 % | 882.00/882.05 c | 2922341 | 2325 263300 885589 | 1 165777 54 | 0.000 % | 882.00/882.05 c | 2964986 | 2325 263300 885589 | 1 208422 62 | 0.000 % | 882.00/882.05 c | 2970357 | 2325 263300 885589 | 1 213793 62 | 0.000 % | 882.00/882.05 c | 3063289 | 2325 263300 885589 | 1 185735 58 | 0.000 % | 882.00/882.05 c | 3073385 | 2325 263300 885589 | 1 195831 59 | 0.000 % | 882.00/882.05 c | 3081464 | 2325 263300 885589 | 1 203910 60 | 0.000 % | 882.00/882.05 c | 3138060 | 2325 263300 885589 | 1 136911 45 | 0.000 % | 882.00/882.05 c | 3177533 | 2325 263300 885589 | 1 176384 52 | 0.000 % | 882.00/882.05 c | 3178914 | 2325 263300 885589 | 1 177765 52 | 0.000 % | 882.00/882.05 c | 3356783 | 2325 263300 885589 | 1 229429 55 | 0.000 % | 882.00/882.05 c | 3413413 | 2325 263300 885589 | 1 157260 45 | 0.000 % | 882.00/882.05 c | 3442922 | 2325 263300 885589 | 1 186769 53 | 0.000 % | 882.00/882.05 c | 3452596 | 2325 263300 885589 | 1 196443 55 | 0.000 % | 882.00/882.05 c | 3464475 | 2325 263300 885589 | 1 208322 58 | 0.000 % | 882.00/882.05 c | 3465104 | 2325 263300 885589 | 1 208951 58 | 0.000 % | 882.00/882.05 c | 3490242 | 2325 263300 885589 | 1 234089 62 | 0.000 % | 882.00/882.05 c | 3491529 | 2325 263300 885589 | 1 235376 62 | 0.000 % | 882.00/882.05 c | 3492841 | 2325 263300 885589 | 1 236688 62 | 0.000 % | 882.00/882.05 c | 3547246 | 2325 263300 885589 | 1 159680 48 | 0.000 % | 882.00/882.05 c | 3561303 | 2325 263300 885589 | 1 173737 51 | 0.000 % | 882.00/882.05 c | 3599752 | 2325 263300 885589 | 1 212186 57 | 0.000 % | 882.00/882.05 c | 3650042 | 2325 263300 885589 | 1 262476 64 | 0.000 % | 882.00/882.05 c | 3650153 | 2325 263300 885589 | 1 262587 64 | 0.000 % | 882.00/882.05 c | 3651019 | 2325 263300 885589 | 1 263453 64 | 0.000 % | 882.00/882.05 c | 3651515 | 2325 263300 885589 | 1 263949 64 | 0.000 % | 882.00/882.05 c | 3671713 | 2325 263300 885589 | 1 150141 46 | 0.000 % | 882.00/882.05 c | 3728477 | 2325 263300 885589 | 1 206905 55 | 0.000 % | 882.00/882.05 c | 3731169 | 2325 263300 885589 | 1 209597 56 | 0.000 % | 882.00/882.05 c | 3732070 | 2325 263300 885589 | 1 210498 56 | 0.000 % | 882.00/882.05 c | 3761965 | 2325 263300 885589 | 1 240393 60 | 0.000 % | 882.00/882.05 c | 3838056 | 2325 263300 885589 | 1 179882 54 | 0.000 % | 882.00/882.05 c | 3866256 | 2325 263300 885589 | 1 208082 59 | 0.000 % | 882.00/882.05 c | 3877375 | 2325 263300 885589 | 1 219201 60 | 0.000 % | 882.00/882.05 c | 3877658 | 2325 263300 885589 | 1 219484 60 | 0.000 % | 882.00/882.05 c | 3877758 | 2325 263300 885589 | 1 219584 60 | 0.000 % | 882.00/882.05 c | 3877859 | 2325 263300 885589 | 1 219685 60 | 0.000 % | 882.00/882.05 c | 3905746 | 2325 263300 885589 | 1 247572 64 | 0.000 % | 882.00/882.05 c | 3919850 | 2325 263300 885589 | 1 261676 66 | 0.000 % | 882.00/882.05 c | 3945300 | 2325 263300 885589 | 1 147929 45 | 0.000 % | 882.00/882.05 c | 3948082 | 2325 263300 885589 | 1 150711 45 | 0.000 % | 882.00/882.05 c | 3948848 | 2325 263300 885589 | 1 151477 46 | 0.000 % | 882.00/882.05 c | 3950629 | 2325 263300 885589 | 1 153258 47 | 0.000 % | 1099.30/1099.39 c | 3950815 | 2325 263300 885589 | 1 153444 47 | 0.000 % | 1099.30/1099.39 c | 3978497 | 2325 263300 885589 | 1 181126 53 | 0.000 % | 1099.30/1099.39 c | 4037058 | 2325 263300 885589 | 1 239687 62 | 0.000 % | 1099.30/1099.39 c | 4091767 | 2325 263300 885589 | 1 152604 44 | 0.000 % | 1099.30/1099.39 c | 4092231 | 2325 263300 885589 | 1 153068 44 | 0.000 % | 1099.30/1099.39 c | 4123004 | 2325 263300 885589 | 1 183841 53 | 0.000 % | 1099.30/1099.39 c | 4142187 | 2325 263300 885589 | 1 203024 56 | 0.000 % | 1099.30/1099.39 c | 4148790 | 2325 263300 885589 | 1 209627 57 | 0.000 % | 1099.30/1099.39 c | 4156447 | 2325 263300 885589 | 1 217284 58 | 0.000 % | 1099.30/1099.39 c | 4157375 | 2325 263300 885589 | 1 218212 58 | 0.000 % | 1099.30/1099.39 c | 4157865 | 2325 263300 885589 | 1 218702 58 | 0.000 % | 1099.30/1099.39 c | 4161693 | 2325 263300 885589 | 1 222530 59 | 0.000 % | 1099.30/1099.39 c | 4162839 | 2325 263300 885589 | 1 223676 59 | 0.000 % | 1099.30/1099.39 c | 4220683 | 2325 263300 885589 | 1 281520 65 | 0.000 % | 1099.30/1099.39 c | 4242524 | 2325 263300 885589 | 1 158958 45 | 0.000 % | 1099.30/1099.39 c | 4251289 | 2325 263300 885589 | 1 167723 49 | 0.000 % | 1099.30/1099.39 c | 4268415 | 2325 263300 885589 | 1 184849 52 | 0.000 % | 1099.30/1099.39 c | 4288419 | 2325 263300 885589 | 1 204853 56 | 0.000 % | 1099.30/1099.39 c | 4305206 | 2325 263300 885589 | 1 221640 58 | 0.000 % | 1099.30/1099.39 c | 4313461 | 2325 263300 885589 | 1 229895 59 | 0.000 % | 1099.30/1099.39 c | 4337336 | 2325 263300 885589 | 1 253770 62 | 0.000 % | 1099.30/1099.39 c | 4419350 | 2325 263300 885589 | 1 188779 48 | 0.000 % | 1099.30/1099.39 c | 4466354 | 2325 263300 885589 | 1 235783 53 | 0.000 % | 1099.30/1099.39 c | 4477343 | 2325 263300 885589 | 1 246772 55 | 0.000 % | 1099.30/1099.39 c | 4488763 | 2325 263300 885589 | 1 258192 56 | 0.000 % | 1099.30/1099.39 c | 4490076 | 2325 263300 885589 | 1 259505 57 | 0.000 % | 1099.30/1099.39 c | 4505785 | 2325 263300 885589 | 1 275214 58 | 0.000 % | 1099.30/1099.39 c | 4505885 | 2325 263300 885589 | 1 275314 58 | 0.000 % | 1099.30/1099.39 c | 4511871 | 2325 263300 885589 | 1 281300 59 | 0.000 % | 1099.30/1099.39 c | 4523292 | 2325 263300 885589 | 1 292721 59 | 0.000 % | 1099.30/1099.39 c | 4525042 | 2325 263300 885589 | 1 294471 60 | 0.000 % | 1099.30/1099.39 c | 4525221 | 2325 263300 885589 | 1 294650 60 | 0.000 % | 1099.30/1099.39 c | 4557359 | 2325 263300 885589 | 1 177184 44 | 0.000 % | 1099.30/1099.39 c | 4572542 | 2325 263300 885589 | 1 192367 48 | 0.000 % | 1099.30/1099.39 c | 4606353 | 2325 263300 885589 | 1 226178 54 | 0.000 % | 1099.30/1099.39 c | 4612601 | 2325 263300 885589 | 1 232426 55 | 0.000 % | 1099.30/1099.39 c | 4631683 | 2325 263300 885589 | 1 251508 57 | 0.000 % | 1099.30/1099.39 c | 4632075 | 2325 263300 885589 | 1 251900 57 | 0.000 % | 1099.30/1099.39 c | 4634436 | 2325 263300 885589 | 1 254261 57 | 0.000 % | 1099.30/1099.39 c | 4690499 | 2325 263300 885589 | 1 158129 42 | 0.000 % | 1099.30/1099.39 c | 4706751 | 2325 263300 885589 | 1 174381 46 | 0.000 % | 1099.30/1099.39 c | 4710540 | 2325 263300 885589 | 1 178170 47 | 0.000 % | 1099.30/1099.39 c | 4726620 | 2325 263300 885589 | 1 194250 50 | 0.000 % | 1099.30/1099.39 c | 4726726 | 2325 263300 885589 | 1 194356 50 | 0.000 % | 1099.30/1099.39 c | 4794600 | 2325 263300 885589 | 1 262230 61 | 0.000 % | 1099.30/1099.39 c | 4803904 | 2325 263300 885589 | 1 271534 62 | 0.000 % | 1099.30/1099.39 c | 4805190 | 2325 263300 885589 | 1 272820 63 | 0.000 % | 1099.30/1099.39 c | 4805315 | 2325 263300 885589 | 1 272945 63 | 0.000 % | 1099.30/1099.39 c | 4810735 | 2325 263300 885589 | 1 278365 63 | 0.000 % | 1099.30/1099.39 c | 4835578 | 2325 263300 885589 | 1 303208 65 | 0.000 % | 1375.31/1375.33 c | 4846838 | 2325 263300 885589 | 1 159659 42 | 0.000 % | 1375.31/1375.33 c | 4846938 | 2325 263300 885589 | 1 159759 42 | 0.000 % | 1375.31/1375.33 c | 5060387 | 2325 263300 885589 | 1 215821 48 | 0.000 % | 1375.31/1375.33 c | 5114953 | 2325 263300 885589 | 1 270387 54 | 0.000 % | 1375.31/1375.33 c | 5116473 | 2325 263300 885589 | 1 271907 54 | 0.000 % | 1375.31/1375.33 c | 5186492 | 2325 263300 885589 | 1 181940 43 | 0.000 % | 1375.31/1375.33 c | 5189431 | 2325 263300 885589 | 1 184879 44 | 0.000 % | 1375.31/1375.33 c | 5216532 | 2325 263300 885589 | 1 211980 47 | 0.000 % | 1375.31/1375.33 c | 5221205 | 2325 263300 885589 | 1 216653 48 | 0.000 % | 1375.31/1375.33 c | 5242306 | 2325 263300 885589 | 1 237754 50 | 0.000 % | 1375.31/1375.33 c | 5248424 | 2325 263300 885589 | 1 243872 51 | 0.000 % | 1375.31/1375.33 c | 5250676 | 2325 263300 885589 | 1 246124 51 | 0.000 % | 1375.31/1375.33 c | 5252767 | 2325 263300 885589 | 1 248215 52 | 0.000 % | 1375.31/1375.33 c | 5256717 | 2325 263300 885589 | 1 252165 53 | 0.000 % | 1375.31/1375.33 c | 5265740 | 2325 263300 885589 | 1 261188 54 | 0.000 % | 1375.31/1375.33 c | 5266124 | 2325 263300 885589 | 1 261572 54 | 0.000 % | 1375.31/1375.33 c | 5267546 | 2325 263300 885589 | 1 262994 54 | 0.000 % | 1375.31/1375.33 c | 5267646 | 2325 263300 885589 | 1 263094 54 | 0.000 % | 1375.31/1375.33 c | 5281422 | 2325 263300 885589 | 1 276870 56 | 0.000 % | 1375.31/1375.33 c | 5298858 | 2325 263300 885589 | 1 294306 57 | 0.000 % | 1375.31/1375.33 c | 5303265 | 2325 263300 885589 | 1 298713 57 | 0.000 % | 1375.31/1375.33 c | 5325452 | 2325 263300 885589 | 1 320900 59 | 0.000 % | 1375.31/1375.33 c | 5337026 | 2325 263300 885589 | 1 169868 41 | 0.000 % | 1375.31/1375.33 c | 5338104 | 2325 263300 885589 | 1 170946 41 | 0.000 % | 1375.31/1375.33 c | 5338791 | 2325 263300 885589 | 1 171633 41 | 0.000 % | 1375.31/1375.33 c | 5390432 | 2325 263300 885589 | 1 223274 52 | 0.000 % | 1375.31/1375.33 c | 5405414 | 2325 263300 885589 | 1 238256 54 | 0.000 % | 1375.31/1375.33 c | 5416222 | 2325 263300 885589 | 1 249064 56 | 0.000 % | 1375.31/1375.33 c | 5418130 | 2325 263300 885589 | 1 250972 57 | 0.000 % | 1375.31/1375.33 c | 5447223 | 2325 263300 885589 | 1 280065 59 | 0.000 % | 1375.31/1375.33 c | 5468935 | 2325 263300 885589 | 1 301777 61 | 0.000 % | 1375.31/1375.33 c | 5471045 | 2325 263300 885589 | 1 303887 61 | 0.000 % | 1375.31/1375.33 c | 5473114 | 2325 263300 885589 | 1 305956 62 | 0.000 % | 1375.31/1375.33 c | 5479640 | 2325 263300 885589 | 1 312482 62 | 0.000 % | 1375.31/1375.33 c | 5490736 | 2325 263300 885589 | 1 323578 62 | 0.000 % | 1375.31/1375.33 c | 5569520 | 2325 263300 885589 | 1 237150 50 | 0.000 % | 1375.31/1375.33 c | 5579409 | 2325 263300 885589 | 1 247039 52 | 0.000 % | 1375.31/1375.33 c | 5581419 | 2325 263300 885589 | 1 249049 52 | 0.000 % | 1375.31/1375.33 c | 5606693 | 2325 263300 885589 | 1 274323 56 | 0.000 % | 1375.31/1375.33 c | 5606793 | 2325 263300 885589 | 1 274423 56 | 0.000 % | 1375.31/1375.33 c | 5616734 | 2325 263300 885589 | 1 284364 57 | 0.000 % | 1375.31/1375.33 c | 5630307 | 2325 263300 885589 | 1 297937 59 | 0.000 % | 1375.31/1375.33 c | 5655013 | 2325 263300 885589 | 1 322643 61 | 0.000 % | 1375.31/1375.33 c | 5658285 | 2325 263300 885589 | 1 325915 62 | 0.000 % | 1375.31/1375.33 c | 5660104 | 2325 263300 885589 | 1 327734 62 | 0.000 % | 1375.31/1375.33 c | 5666957 | 2325 263300 885589 | 1 334587 62 | 0.000 % | 1375.31/1375.33 c | 5725446 | 2325 263300 885589 | 1 225273 50 | 0.000 % | 1375.31/1375.33 c | 5765337 | 2325 263300 885589 | 1 265164 56 | 0.000 % | 1375.31/1375.33 c | 5773167 | 2325 263300 885589 | 1 272994 57 | 0.000 % | 1375.31/1375.33 c | 5805740 | 2325 263300 885589 | 1 305567 60 | 0.000 % | 1514.31/1514.38 c | 5808735 | 2325 263300 885589 | 1 308562 60 | 0.000 % | 1514.31/1514.38 c | 5812945 | 2325 263300 885589 | 1 312772 61 | 0.000 % | 1514.31/1514.38 c | 5813047 | 2325 263300 885589 | 1 312874 61 | 0.000 % | 1514.31/1514.38 c | 5813552 | 2325 263300 885589 | 1 313379 61 | 0.000 % | 1514.31/1514.38 c | 5818522 | 2325 263300 885589 | 1 318349 61 | 0.000 % | 1514.31/1514.38 c | 5819247 | 2325 263300 885589 | 1 319074 61 | 0.000 % | 1514.31/1514.38 c | 5819736 | 2325 263300 885589 | 1 319563 61 | 0.000 % | 1514.31/1514.38 c | 5820334 | 2325 263300 885589 | 1 320161 61 | 0.000 % | 1514.31/1514.38 c | 5829735 | 2325 263300 885589 | 1 329562 62 | 0.000 % | 1514.31/1514.38 c | 5879692 | 2325 263300 885589 | 1 209126 48 | 0.000 % | 1514.31/1514.38 c | 5880684 | 2325 263300 885589 | 1 210118 49 | 0.000 % | 1514.31/1514.38 c | 5893663 | 2325 263300 885589 | 1 223097 52 | 0.000 % | 1514.31/1514.38 c | 5905549 | 2325 263300 885589 | 1 234983 53 | 0.000 % | 1514.31/1514.38 c | 5905852 | 2325 263300 885589 | 1 235286 53 | 0.000 % | 1514.31/1514.38 c | 5913501 | 2325 263300 885589 | 1 242935 55 | 0.000 % | 1514.31/1514.38 c | 5913834 | 2325 263300 885589 | 1 243268 55 | 0.000 % | 1514.31/1514.38 c | 5914452 | 2325 263300 885589 | 1 243886 55 | 0.000 % | 1514.31/1514.38 c | 5916660 | 2325 263300 885589 | 1 246094 55 | 0.000 % | 1514.31/1514.38 c | 5923174 | 2325 263300 885589 | 1 252608 56 | 0.000 % | 1514.31/1514.38 c | 5926096 | 2325 263300 885589 | 1 255530 57 | 0.000 % | 1514.31/1514.38 c | 5928563 | 2325 263300 885589 | 1 257997 57 | 0.000 % | 1514.31/1514.38 c | 5932446 | 2325 263300 885589 | 1 261880 58 | 0.000 % | 1514.31/1514.38 c | 5935098 | 2325 263300 885589 | 1 264532 58 | 0.000 % | 1514.31/1514.38 c | 5935285 | 2325 263300 885589 | 1 264719 58 | 0.000 % | 1514.31/1514.38 c | 5942643 | 2325 263300 885589 | 1 272077 59 | 0.000 % | 1514.31/1514.38 c | 5946387 | 2325 263300 885589 | 1 275821 60 | 0.000 % | 1514.31/1514.38 c | 5947744 | 2325 263300 885589 | 1 277178 60 | 0.000 % | 1514.31/1514.38 c | 5952661 | 2325 263300 885589 | 1 282095 61 | 0.000 % | 1514.31/1514.38 c | 5958022 | 2325 263300 885589 | 1 287456 62 | 0.000 % | 1514.31/1514.38 c | 5958226 | 2325 263300 885589 | 1 287660 62 | 0.000 % | 1514.31/1514.38 c | 5968115 | 2325 263300 885589 | 1 297549 63 | 0.000 % | 1514.31/1514.38 c | 5970168 | 2325 263300 885589 | 1 299602 63 | 0.000 % | 1514.31/1514.38 c | 6033331 | 2325 263300 885589 | 1 189774 45 | 0.000 % | 1514.31/1514.38 c | 6065548 | 2325 263300 885589 | 1 221991 51 | 0.000 % | 1514.31/1514.38 c | 6082096 | 2325 263300 885589 | 1 238539 53 | 0.000 % | 1514.31/1514.38 c | 6139799 | 2325 263300 885589 | 1 296242 59 | 0.000 % | 1514.31/1514.38 c | 6146983 | 2325 263300 885589 | 1 303426 60 | 0.000 % | 1514.31/1514.38 c | 6153427 | 2325 263300 885589 | 1 309870 61 | 0.000 % | 1514.31/1514.38 c | 6176135 | 2325 263300 885589 | 1 332578 62 | 0.000 % | 1514.31/1514.38 c | 6176235 | 2325 263300 885589 | 1 332678 62 | 0.000 % | 1514.31/1514.38 c | 6176816 | 2325 263300 885589 | 1 333259 62 | 0.000 % | 1514.31/1514.38 c | 6178963 | 2325 263300 885589 | 1 335406 63 | 0.000 % | 1514.31/1514.38 c | 6216715 | 2325 263300 885589 | 1 197554 49 | 0.000 % | 1514.31/1514.38 c | 6217562 | 2325 263300 885589 | 1 198401 49 | 0.000 % | 1514.31/1514.38 c | 6228526 | 2325 263300 885589 | 1 209365 51 | 0.000 % | 1514.31/1514.38 c | 6228661 | 2325 263300 885589 | 1 209500 51 | 0.000 % | 1514.31/1514.38 c | 6228774 | 2325 263300 885589 | 1 209613 51 | 0.000 % | 1514.31/1514.38 c | 6228916 | 2325 263300 885589 | 1 209755 51 | 0.000 % | 1514.31/1514.38 c | 6303555 | 2325 263300 885589 | 1 284394 61 | 0.000 % | 1514.31/1514.38 c | 6307301 | 2325 263300 885589 | 1 288140 61 | 0.000 % | 1693.32/1693.36 c | 6316699 | 2325 263300 885589 | 1 297538 63 | 0.000 % | 1693.32/1693.36 c | 6324912 | 2325 263300 885589 | 1 305751 64 | 0.000 % | 1693.32/1693.36 c | 6325013 | 2325 263300 885589 | 1 305852 64 | 0.000 % | 1693.32/1693.36 c | 6326215 | 2325 263300 885589 | 1 307054 64 | 0.000 % | 1693.32/1693.36 c | 6342246 | 2325 263300 885589 | 1 323085 65 | 0.000 % | 1693.32/1693.36 c | 6344955 | 2325 263300 885589 | 1 325794 66 | 0.000 % | 1693.32/1693.36 c | 6363098 | 2325 263300 885589 | 1 343937 67 | 0.000 % | 1693.32/1693.36 c | 6369042 | 2325 263300 885589 | 1 349881 68 | 0.000 % | 1693.32/1693.36 c | 6413345 | 2325 263300 885589 | 1 215979 50 | 0.000 % | 1693.32/1693.36 c | 6434461 | 2325 263300 885589 | 1 237095 54 | 0.000 % | 1693.32/1693.36 c | 6436778 | 2325 263300 885589 | 1 239412 54 | 0.000 % | 1693.32/1693.36 c | 6438303 | 2325 263300 885589 | 1 240937 55 | 0.000 % | 1693.32/1693.36 c | 6443514 | 2325 263300 885589 | 1 246148 55 | 0.000 % | 1693.32/1693.36 c | 6449551 | 2325 263300 885589 | 1 252185 56 | 0.000 % | 1693.32/1693.36 c | 6450868 | 2325 263300 885589 | 1 253502 57 | 0.000 % | 1693.32/1693.36 c | 6451925 | 2325 263300 885589 | 1 254559 57 | 0.000 % | 1693.32/1693.36 c | 6482026 | 2325 263300 885589 | 1 284660 61 | 0.000 % | 1693.32/1693.36 c | 6483579 | 2325 263300 885589 | 1 286213 61 | 0.000 % | 1693.32/1693.36 c | 6497492 | 2325 263300 885589 | 1 300126 62 | 0.000 % | 1693.32/1693.36 c | 6511540 | 2325 263300 885589 | 1 314174 63 | 0.000 % | 1693.32/1693.36 c | 6530674 | 2325 263300 885589 | 1 333308 65 | 0.000 % | 1693.32/1693.36 c | 6566461 | 2325 263300 885589 | 1 188292 43 | 0.000 % | 1693.32/1693.36 c | 6570985 | 2325 263300 885589 | 1 192816 44 | 0.000 % | 1693.32/1693.36 c | 6572276 | 2325 263300 885589 | 1 194107 45 | 0.000 % | 1693.32/1693.36 c | 6574795 | 2325 263300 885589 | 1 196626 45 | 0.000 % | 1693.32/1693.36 c | 6576299 | 2325 263300 885589 | 1 198130 46 | 0.000 % | 1693.32/1693.36 c | 6595138 | 2325 263300 885589 | 1 216969 49 | 0.000 % | 1693.32/1693.36 c | 6612815 | 2325 263300 885589 | 1 234646 52 | 0.000 % | 1693.32/1693.36 c | 6670243 | 2325 263300 885589 | 1 292074 58 | 0.000 % | 1693.32/1693.36 c | 6679207 | 2325 263300 885589 | 1 301038 59 | 0.000 % | 1693.32/1693.36 c | 6681636 | 2325 263300 885589 | 1 303467 60 | 0.000 % | 1693.32/1693.36 c | 6682351 | 2325 263300 885589 | 1 304182 60 | 0.000 % | 1693.32/1693.36 c | 6704243 | 2325 263300 885589 | 1 326074 61 | 0.000 % | 1693.32/1693.36 c | 6705379 | 2325 263300 885589 | 1 327210 62 | 0.000 % | 1693.32/1693.36 c | 6722019 | 2325 263300 885589 | 1 343850 63 | 0.000 % | 1693.32/1693.36 c | 6727584 | 2325 263300 885589 | 1 349415 63 | 0.000 % | 1693.32/1693.36 c | 6736218 | 2325 263300 885589 | 1 358049 64 | 0.000 % | 1693.32/1693.36 c | 6795422 | 2325 263300 885589 | 1 233849 52 | 0.000 % | 1693.32/1693.36 c | 6795524 | 2325 263300 885589 | 1 233951 52 | 0.000 % | 1693.32/1693.36 c | 6880097 | 2325 263300 885589 | 1 318524 64 | 0.000 % | 1693.32/1693.36 c | 6884264 | 2325 263300 885589 | 1 322691 65 | 0.000 % | 1693.32/1693.36 c | 6885120 | 2325 263300 885589 | 1 323547 65 | 0.000 % | 1693.32/1693.36 c | 6914528 | 2325 263300 885589 | 1 352955 67 | 0.000 % | 1693.32/1693.36 c | 6924294 | 2325 263300 885589 | 1 362721 68 | 0.000 % | 1693.32/1693.36 c | 6941600 | 2325 263300 885589 | 1 194026 45 | 0.000 % | 1693.32/1693.36 c | 6956565 | 2325 263300 885589 | 1 208991 48 | 0.000 % | 1693.32/1693.36 c | 6957665 | 2325 263300 885589 | 1 210091 48 | 0.000 % | 1693.32/1693.36 c | 6959501 | 2325 263300 885589 | 1 211927 48 | 0.000 % | 1693.32/1693.36 c | 6963198 | 2325 263300 885589 | 1 215624 49 | 0.000 % | 2037.03/2037.04 c | 6965821 | 2325 263300 885589 | 1 218247 50 | 0.000 % | 2037.03/2037.04 c | 6965930 | 2325 263300 885589 | 1 218356 50 | 0.000 % | 2037.03/2037.04 c | 6976469 | 2325 263300 885589 | 1 228895 51 | 0.000 % | 2037.03/2037.04 c | 7062375 | 2325 263300 885589 | 1 314801 59 | 0.000 % | 2037.03/2037.04 c | 7063727 | 2325 263300 885589 | 1 316153 59 | 0.000 % | 2037.03/2037.04 c | 7068627 | 2325 263300 885589 | 1 321053 59 | 0.000 % | 2037.03/2037.04 c | 7145478 | 2325 263300 885589 | 1 209303 45 | 0.000 % | 2037.03/2037.04 c | 7146032 | 2325 263300 885589 | 1 209857 45 | 0.000 % | 2037.03/2037.04 c | 7148883 | 2325 263300 885589 | 1 212708 46 | 0.000 % | 2037.03/2037.04 c | 7168467 | 2325 263300 885589 | 1 232292 50 | 0.000 % | 2037.03/2037.04 c | 7169015 | 2325 263300 885589 | 1 232840 50 | 0.000 % | 2037.03/2037.04 c | 7180265 | 2325 263300 885589 | 1 244090 53 | 0.000 % | 2037.03/2037.04 c | 7280727 | 2325 263300 885589 | 1 344552 61 | 0.000 % | 2037.03/2037.04 c | 7340741 | 2325 263300 885589 | 1 213366 44 | 0.000 % | 2037.03/2037.04 c | 7364407 | 2325 263300 885589 | 1 237032 48 | 0.000 % | 2037.03/2037.04 c | 7432658 | 2325 263300 885589 | 1 305283 55 | 0.000 % | 2037.03/2037.04 c | 7445419 | 2325 263300 885589 | 1 318044 57 | 0.000 % | 2037.03/2037.04 c | 7488214 | 2325 263300 885589 | 1 360839 60 | 0.000 % | 2037.03/2037.04 c | 7510662 | 2325 263300 885589 | 1 383287 62 | 0.000 % | 2037.03/2037.04 c | 7540595 | 2325 263300 885589 | 1 219424 46 | 0.000 % | 2037.03/2037.04 c | 7618108 | 2325 263300 885589 | 1 296937 59 | 0.000 % | 2037.03/2037.04 c | 7647722 | 2325 263300 885589 | 1 326551 61 | 0.000 % | 2037.03/2037.04 c | 7662101 | 2325 263300 885589 | 1 340930 62 | 0.000 % | 2037.03/2037.04 c | 7672979 | 2325 263300 885589 | 1 351808 63 | 0.000 % | 2037.03/2037.04 c | 7675180 | 2325 263300 885589 | 1 354009 63 | 0.000 % | 2037.03/2037.04 c | 7676401 | 2325 263300 885589 | 1 355230 64 | 0.000 % | 2037.03/2037.04 c | 7711608 | 2325 263300 885589 | 1 390437 66 | 0.000 % | 2037.03/2037.04 c | 7808285 | 2325 263300 885589 | 1 290710 55 | 0.000 % | 2037.03/2037.04 c | 7825115 | 2325 263300 885589 | 1 307540 57 | 0.000 % | 2037.03/2037.04 c | 7831859 | 2325 263300 885589 | 1 314284 58 | 0.000 % | 2037.03/2037.04 c | 7859917 | 2325 263300 885589 | 1 342342 60 | 0.000 % | 2037.03/2037.04 c | 7875358 | 2325 263300 885589 | 1 357783 61 | 0.000 % | 2037.03/2037.04 c | 7877731 | 2325 263300 885589 | 1 360156 61 | 0.000 % | 2037.03/2037.04 c | 7878152 | 2325 263300 885589 | 1 360577 61 | 0.000 % | 2037.03/2037.04 c | 7892028 | 2325 263300 885589 | 1 374453 62 | 0.000 % | 2037.03/2037.04 c | 7905158 | 2325 263300 885589 | 1 387583 64 | 0.000 % | 2037.03/2037.04 c | 7907652 | 2325 263300 885589 | 1 390077 64 | 0.000 % | 2037.03/2037.04 c | 7907765 | 2325 263300 885589 | 1 390190 64 | 0.000 % | 2037.03/2037.04 c | 7940317 | 2325 263300 885589 | 1 223755 47 | 0.000 % | 2037.03/2037.04 c | 7950439 | 2325 263300 885589 | 1 233877 49 | 0.000 % | 2037.03/2037.04 c | 7952016 | 2325 263300 885589 | 1 235454 49 | 0.000 % | 2037.03/2037.04 c | 7952268 | 2325 263300 885589 | 1 235706 50 | 0.000 % | 2037.03/2037.04 c | 7991271 | 2325 263300 885589 | 1 274709 55 | 0.000 % | 2037.03/2037.04 c | 7992093 | 2325 263300 885589 | 1 275531 55 | 0.000 % | 2037.03/2037.04 c | 8005905 | 2325 263300 885589 | 1 289343 56 | 0.000 % | 2037.03/2037.04 c | 8007370 | 2325 263300 885589 | 1 290808 56 | 0.000 % | 2037.03/2037.04 c | 8007471 | 2325 263300 885589 | 1 290909 56 | 0.000 % | 2037.03/2037.04 c | 8016492 | 2325 263300 885589 | 1 299930 57 | 0.000 % | 2037.03/2037.04 c | 8016872 | 2325 263300 885589 | 1 300310 58 | 0.000 % | 2037.03/2037.04 c | 8031989 | 2325 263300 885589 | 1 315427 59 | 0.000 % | 2311.43/2311.44 c | 8034336 | 2325 263300 885589 | 1 317774 59 | 0.000 % | 2311.43/2311.44 c | 8056405 | 2325 263300 885589 | 1 339843 61 | 0.000 % | 2311.43/2311.44 c | 8076030 | 2325 263300 885589 | 1 359468 62 | 0.000 % | 2311.43/2311.44 c | 8079966 | 2325 263300 885589 | 1 363404 62 | 0.000 % | 2311.43/2311.44 c | 8091423 | 2325 263300 885589 | 1 374861 63 | 0.000 % | 2311.43/2311.44 c | 8102295 | 2325 263300 885589 | 1 385733 64 | 0.000 % | 2311.43/2311.44 c | 8103260 | 2325 263300 885589 | 1 386698 64 | 0.000 % | 2311.43/2311.44 c | 8103813 | 2325 263300 885589 | 1 387251 64 | 0.000 % | 2311.43/2311.44 c | 8103927 | 2325 263300 885589 | 1 387365 64 | 0.000 % | 2311.43/2311.44 c | 8121283 | 2325 263300 885589 | 1 203118 40 | 0.000 % | 2311.43/2311.44 c | 8198141 | 2325 263300 885589 | 1 279976 56 | 0.000 % | 2311.43/2311.44 c | 8250698 | 2325 263300 885589 | 1 332533 63 | 0.000 % | 2311.43/2311.44 c | 8264196 | 2325 263300 885589 | 1 346031 64 | 0.000 % | 2311.43/2311.44 c | 8264573 | 2325 263300 885589 | 1 346408 64 | 0.000 % | 2311.43/2311.44 c | 8264776 | 2325 263300 885589 | 1 346611 64 | 0.000 % | 2311.43/2311.44 c | 8264876 | 2325 263300 885589 | 1 346711 64 | 0.000 % | 2311.43/2311.44 c | 8309396 | 2325 263300 885589 | 1 391231 66 | 0.000 % | 2311.43/2311.44 c | 8310317 | 2325 263300 885589 | 1 392152 66 | 0.000 % | 2311.43/2311.44 c | 8310529 | 2325 263300 885589 | 1 392364 66 | 0.000 % | 2311.43/2311.44 c | 8315023 | 2325 263300 885589 | 1 396858 66 | 0.000 % | 2311.43/2311.44 c | 8344983 | 2325 263300 885589 | 1 222617 45 | 0.000 % | 2311.43/2311.44 c | 8347796 | 2325 263300 885589 | 1 225430 46 | 0.000 % | 2311.43/2311.44 c | 8357821 | 2325 263300 885589 | 1 235455 47 | 0.000 % | 2311.43/2311.44 c | 8375146 | 2325 263300 885589 | 1 252780 50 | 0.000 % | 2311.43/2311.44 c | 8400677 | 2325 263300 885589 | 1 278311 52 | 0.000 % | 2311.43/2311.44 c | 8448242 | 2325 263300 885589 | 1 325876 57 | 0.000 % | 2311.43/2311.44 c | 8448459 | 2325 263300 885589 | 1 326093 57 | 0.000 % | 2311.43/2311.44 c | 8449292 | 2325 263300 885589 | 1 326926 57 | 0.000 % | 2311.43/2311.44 c | 8449393 | 2325 263300 885589 | 1 327027 57 | 0.000 % | 2311.43/2311.44 c | 8449625 | 2325 263300 885589 | 1 327259 57 | 0.000 % | 2311.43/2311.44 c | 8449725 | 2325 263300 885589 | 1 327359 57 | 0.000 % | 2311.43/2311.44 c | 8472766 | 2325 263300 885589 | 1 350400 59 | 0.000 % | 2311.43/2311.44 c | 8473118 | 2325 263300 885589 | 1 350752 59 | 0.000 % | 2311.43/2311.44 c | 8519186 | 2325 263300 885589 | 1 396820 62 | 0.000 % | 2311.43/2311.44 c | 8560724 | 2325 263300 885589 | 1 231554 43 | 0.000 % | 2311.43/2311.44 c | 8562831 | 2325 263300 885589 | 1 233661 44 | 0.000 % | 2311.43/2311.44 c | 8563753 | 2325 263300 885589 | 1 234583 44 | 0.000 % | 2311.43/2311.44 c | 8587140 | 2325 263300 885589 | 1 257970 47 | 0.000 % | 2311.43/2311.44 c | 8616688 | 2325 263300 885589 | 1 287518 50 | 0.000 % | 2311.43/2311.44 c | 8692184 | 2325 263300 885589 | 1 363014 56 | 0.000 % | 2311.43/2311.44 c | 8702242 | 2325 263300 885589 | 1 373072 57 | 0.000 % | 2311.43/2311.44 c | 8718619 | 2325 263300 885589 | 1 389449 58 | 0.000 % | 2311.43/2311.44 c | 8728583 | 2325 263300 885589 | 1 399413 58 | 0.000 % | 2311.43/2311.44 c | 8738405 | 2325 263300 885589 | 1 409235 59 | 0.000 % | 2311.43/2311.44 c | 8738903 | 2325 263300 885589 | 1 409733 59 | 0.000 % | 2311.43/2311.44 c | 8739280 | 2325 263300 885589 | 1 410110 59 | 0.000 % | 2311.43/2311.44 c | 8739380 | 2325 263300 885589 | 1 410210 59 | 0.000 % | 2311.43/2311.44 c | 8746140 | 2325 263300 885589 | 1 416970 59 | 0.000 % | 2311.43/2311.44 c | 8751987 | 2325 263300 885589 | 1 213406 39 | 0.000 % | 2311.43/2311.44 c | 8767184 | 2325 263300 885589 | 1 228603 43 | 0.000 % | 2551.85/2551.86 c | 8795575 | 2325 263300 885589 | 1 256994 49 | 0.000 % | 2551.85/2551.86 c | 8795962 | 2325 263300 885589 | 1 257381 49 | 0.000 % | 2551.85/2551.86 c | 8796062 | 2325 263300 885589 | 1 257481 49 | 0.000 % | 2551.85/2551.86 c | 8804200 | 2325 263300 885589 | 1 265619 50 | 0.000 % | 2551.85/2551.86 c | 8811707 | 2325 263300 885589 | 1 273126 51 | 0.000 % | 2551.85/2551.86 c | 8879705 | 2325 263300 885589 | 1 341124 57 | 0.000 % | 2551.85/2551.86 c | 8883010 | 2325 263300 885589 | 1 344429 58 | 0.000 % | 2551.85/2551.86 c | 8893272 | 2325 263300 885589 | 1 354691 58 | 0.000 % | 2551.85/2551.86 c | 8893882 | 2325 263300 885589 | 1 355301 58 | 0.000 % | 2551.85/2551.86 c | 8945416 | 2325 263300 885589 | 1 406835 62 | 0.000 % | 2551.85/2551.86 c | 8946086 | 2325 263300 885589 | 1 407505 62 | 0.000 % | 2551.85/2551.86 c | 8952511 | 2325 263300 885589 | 1 413930 62 | 0.000 % | 2551.85/2551.86 c | 8957509 | 2325 263300 885589 | 1 418928 63 | 0.000 % | 2551.85/2551.86 c | 8958933 | 2325 263300 885589 | 1 420352 63 | 0.000 % | 2551.85/2551.86 c | 8976800 | 2325 263300 885589 | 1 226222 43 | 0.000 % | 2551.85/2551.86 c | 9030811 | 2325 263300 885589 | 1 280233 49 | 0.000 % | 2551.85/2551.86 c | 9037743 | 2325 263300 885589 | 1 287165 50 | 0.000 % | 2551.85/2551.86 c | 9048033 | 2325 263300 885589 | 1 297455 51 | 0.000 % | 2551.85/2551.86 c | 9125643 | 2325 263300 885589 | 1 375065 58 | 0.000 % | 2551.85/2551.86 c | 9159917 | 2325 263300 885589 | 1 409339 61 | 0.000 % | 2551.85/2551.86 c | 9160018 | 2325 263300 885589 | 1 409440 61 | 0.000 % | 2551.85/2551.86 c | 9167495 | 2325 263300 885589 | 1 416917 61 | 0.000 % | 2551.85/2551.86 c | 9172929 | 2325 263300 885589 | 1 422351 61 | 0.000 % | 2551.85/2551.86 c | 9187267 | 2325 263300 885589 | 1 222086 41 | 0.000 % | 2551.85/2551.86 c | 9187657 | 2325 263300 885589 | 1 222476 41 | 0.000 % | 2551.85/2551.86 c | 9187791 | 2325 263300 885589 | 1 222610 41 | 0.000 % | 2551.85/2551.86 c | 9197877 | 2325 263300 885589 | 1 232696 43 | 0.000 % | 2551.85/2551.86 c | 9198341 | 2325 263300 885589 | 1 233160 43 | 0.000 % | 2551.85/2551.86 c | 9198662 | 2325 263300 885589 | 1 233481 43 | 0.000 % | 2551.85/2551.86 c | 9200085 | 2325 263300 885589 | 1 234904 44 | 0.000 % | 2551.85/2551.86 c | 9212424 | 2325 263300 885589 | 1 247243 46 | 0.000 % | 2551.85/2551.86 c | 9251463 | 2325 263300 885589 | 1 286282 51 | 0.000 % | 2551.85/2551.86 c | 9285606 | 2325 263300 885589 | 1 320425 55 | 0.000 % | 2551.85/2551.86 c | 9308625 | 2325 263300 885589 | 1 343444 57 | 0.000 % | 2551.85/2551.86 c | 9319085 | 2325 263300 885589 | 1 353904 58 | 0.000 % | 2551.85/2551.86 c | 9320971 | 2325 263300 885589 | 1 355790 59 | 0.000 % | 2551.85/2551.86 c | 9328598 | 2325 263300 885589 | 1 363417 60 | 0.000 % | 2551.85/2551.86 c | 9328699 | 2325 263300 885589 | 1 363518 60 | 0.000 % | 2551.85/2551.86 c | 9328800 | 2325 263300 885589 | 1 363619 60 | 0.000 % | 2551.85/2551.86 c | 9328943 | 2325 263300 885589 | 1 363762 60 | 0.000 % | 2551.85/2551.86 c | 9340052 | 2325 263300 885589 | 1 374871 61 | 0.000 % | 2551.85/2551.86 c | 9344946 | 2325 263300 885589 | 1 379765 61 | 0.000 % | 2551.85/2551.86 c | 9359401 | 2325 263300 885589 | 1 394220 62 | 0.000 % | 2551.85/2551.86 c | 9379400 | 2325 263300 885589 | 1 414219 63 | 0.000 % | 2551.85/2551.86 c | 9379501 | 2325 263300 885589 | 1 414320 63 | 0.000 % | 2551.85/2551.86 c | 9387067 | 2325 263300 885589 | 1 421886 64 | 0.000 % | 2551.85/2551.86 c | 9402916 | 2325 263300 885589 | 1 220536 41 | 0.000 % | 2551.85/2551.86 c | 9498129 | 2325 263300 885589 | 1 315749 52 | 0.000 % | 2551.85/2551.86 c | 9548338 | 2325 263300 885589 | 1 365958 58 | 0.000 % | 2551.85/2551.86 c | 9548957 | 2325 263300 885589 | 1 366577 58 | 0.000 % | 2772.65/2772.69 c | 9550544 | 2325 263300 885589 | 1 368164 58 | 0.000 % | 2772.65/2772.69 c | 9556187 | 2325 263300 885589 | 1 373807 59 | 0.000 % | 2772.65/2772.69 c | 9566217 | 2325 263300 885589 | 1 383837 60 | 0.000 % | 2772.65/2772.69 c | 9575579 | 2325 263300 885589 | 1 393199 60 | 0.000 % | 2772.65/2772.69 c | 9596287 | 2325 263300 885589 | 1 413907 62 | 0.000 % | 2772.65/2772.69 c | 9601636 | 2325 263300 885589 | 1 419256 62 | 0.000 % | 2772.65/2772.69 c | 9602841 | 2325 263300 885589 | 1 420461 62 | 0.000 % | 2772.65/2772.69 c | 9622213 | 2325 263300 885589 | 1 220030 39 | 0.000 % | 2772.65/2772.69 c | 9631942 | 2325 263300 885589 | 1 229759 41 | 0.000 % | 2772.65/2772.69 c | 9640887 | 2325 263300 885589 | 1 238704 43 | 0.000 % | 2772.65/2772.69 c | 9680222 | 2325 263300 885589 | 1 278039 50 | 0.000 % | 2772.65/2772.69 c | 9708653 | 2325 263300 885589 | 1 306470 53 | 0.000 % | 2772.65/2772.69 c | 9722245 | 2325 263300 885589 | 1 320062 54 | 0.000 % | 2772.65/2772.69 c | 9724701 | 2325 263300 885589 | 1 322518 55 | 0.000 % | 2772.65/2772.69 c | 9730319 | 2325 263300 885589 | 1 328136 55 | 0.000 % | 2772.65/2772.69 c | 9730784 | 2325 263300 885589 | 1 328601 55 | 0.000 % | 2772.65/2772.69 c | 9731226 | 2325 263300 885589 | 1 329043 55 | 0.000 % | 2772.65/2772.69 c | 9732191 | 2325 263300 885589 | 1 330008 56 | 0.000 % | 2772.65/2772.69 c | 9734208 | 2325 263300 885589 | 1 332025 56 | 0.000 % | 2772.65/2772.69 c | 9736439 | 2325 263300 885589 | 1 334256 56 | 0.000 % | 2772.65/2772.69 c | 9737101 | 2325 263300 885589 | 1 334918 56 | 0.000 % | 2772.65/2772.69 c | 9737959 | 2325 263300 885589 | 1 335776 56 | 0.000 % | 2772.65/2772.69 c | 9764109 | 2325 263300 885589 | 1 361926 58 | 0.000 % | 2772.65/2772.69 c | 9778561 | 2325 263300 885589 | 1 376378 59 | 0.000 % | 2772.65/2772.69 c | 9778706 | 2325 263300 885589 | 1 376523 59 | 0.000 % | 2772.65/2772.69 c | 9788522 | 2325 263300 885589 | 1 386339 60 | 0.000 % | 2772.65/2772.69 c | 9792438 | 2325 263300 885589 | 1 390255 60 | 0.000 % | 2772.65/2772.69 c | 9811852 | 2325 263300 885589 | 1 409669 62 | 0.000 % | 2772.65/2772.69 c | 9812550 | 2325 263300 885589 | 1 410367 62 | 0.000 % | 2772.65/2772.69 c | 9816641 | 2325 263300 885589 | 1 414458 62 | 0.000 % | 2772.65/2772.69 c | 9828418 | 2325 263300 885589 | 1 426235 62 | 0.000 % | 2772.65/2772.69 c | 9961328 | 2325 263300 885589 | 1 336754 52 | 0.000 % | 2772.65/2772.69 c | 9978910 | 2325 263300 885589 | 1 354336 53 | 0.000 % | 2772.65/2772.69 c | 10017713 | 2325 263300 885589 | 1 393139 55 | 0.000 % | 2772.65/2772.69 c | 10019230 | 2325 263300 885589 | 1 394656 55 | 0.000 % | 2772.65/2772.69 c | 10021641 | 2325 263300 885589 | 1 397067 56 | 0.000 % | 2772.65/2772.69 c | 10021920 | 2325 263300 885589 | 1 397346 56 | 0.000 % | 2772.65/2772.69 c | 10022056 | 2325 263300 885589 | 1 397482 56 | 0.000 % | 2772.65/2772.69 c | 10029673 | 2325 263300 885589 | 1 405099 56 | 0.000 % | 2772.65/2772.69 c | 10061880 | 2325 263300 885589 | 1 437306 58 | 0.000 % | 2772.65/2772.69 c | 10061981 | 2325 263300 885589 | 1 437407 58 | 0.000 % | 2772.65/2772.69 c | 10078394 | 2325 263300 885589 | 1 228823 39 | 0.000 % | 2772.65/2772.69 c | 10115106 | 2325 263300 885589 | 1 265535 46 | 0.000 % | 2772.65/2772.69 c | 10115206 | 2325 263300 885589 | 1 265635 46 | 0.000 % | 2772.65/2772.69 c | 10129360 | 2325 263300 885589 | 1 279789 48 | 0.000 % | 2772.65/2772.69 c | 10138132 | 2325 263300 885589 | 1 288561 49 | 0.000 % | 2772.65/2772.69 c | 10140119 | 2325 263300 885589 | 1 290548 50 | 0.000 % | 2772.65/2772.69 c | 10140428 | 2325 263300 885589 | 1 290857 50 | 0.000 % | 2772.65/2772.69 c | 10145742 | 2325 263300 885589 | 1 296171 50 | 0.000 % | 2772.65/2772.69 c | 10146866 | 2325 263300 885589 | 1 297295 50 | 0.000 % | 2974.26/2974.24 c | 10151866 | 2325 263300 885589 | 1 302295 51 | 0.000 % | 2974.26/2974.24 c | 10171417 | 2325 263300 885589 | 1 321846 53 | 0.000 % | 2974.26/2974.24 c | 10180664 | 2325 263300 885589 | 1 331093 53 | 0.000 % | 2974.26/2974.24 c | 10192638 | 2325 263300 885589 | 1 343067 55 | 0.000 % | 2974.26/2974.24 c | 10193560 | 2325 263300 885589 | 1 343989 55 | 0.000 % | 2974.26/2974.24 c | 10248084 | 2325 263300 885589 | 1 398513 58 | 0.000 % | 2974.26/2974.24 c | 10268890 | 2325 263300 885589 | 1 419319 59 | 0.000 % | 2974.26/2974.24 c | 10341508 | 2325 263300 885589 | 1 264342 43 | 0.000 % | 2974.26/2974.24 c | 10341909 | 2325 263300 885589 | 1 264743 43 | 0.000 % | 2974.26/2974.24 c | 10345861 | 2325 263300 885589 | 1 268695 44 | 0.000 % | 2974.26/2974.24 c | 10360622 | 2325 263300 885589 | 1 283456 45 | 0.000 % | 2974.26/2974.24 c | 10361204 | 2325 263300 885589 | 1 284038 45 | 0.000 % | 2974.26/2974.24 c | 10361938 | 2325 263300 885589 | 1 284772 45 | 0.000 % | 2974.26/2974.24 c | 10369008 | 2325 263300 885589 | 1 291842 46 | 0.000 % | 2974.26/2974.24 c | 10383298 | 2325 263300 885589 | 1 306132 48 | 0.000 % | 2974.26/2974.24 c | 10400504 | 2325 263300 885589 | 1 323338 49 | 0.000 % | 2974.26/2974.24 c | 10401206 | 2325 263300 885589 | 1 324040 49 | 0.000 % | 2974.26/2974.24 c | 10403154 | 2325 263300 885589 | 1 325988 49 | 0.000 % | 2974.26/2974.24 c | 10404451 | 2325 263300 885589 | 1 327285 49 | 0.000 % | 2974.26/2974.24 c | 10427787 | 2325 263300 885589 | 1 350621 52 | 0.000 % | 2974.26/2974.24 c | 10446372 | 2325 263300 885589 | 1 369206 53 | 0.000 % | 2974.26/2974.24 c | 10449322 | 2325 263300 885589 | 1 372156 53 | 0.000 % | 2974.26/2974.24 c | 10449422 | 2325 263300 885589 | 1 372256 53 | 0.000 % | 2974.26/2974.24 c | 10494231 | 2325 263300 885589 | 1 417065 59 | 0.000 % | 2974.26/2974.24 c | 10494336 | 2325 263300 885589 | 1 417170 59 | 0.000 % | 2974.26/2974.24 c | 10495722 | 2325 263300 885589 | 1 418556 59 | 0.000 % | 2974.26/2974.24 c | 10498745 | 2325 263300 885589 | 1 421579 60 | 0.000 % | 2974.26/2974.24 c | 10502989 | 2325 263300 885589 | 1 425823 60 | 0.000 % | 2974.26/2974.24 c | 10507370 | 2325 263300 885589 | 1 430204 60 | 0.000 % | 2974.26/2974.24 c | 10511385 | 2325 263300 885589 | 1 434219 61 | 0.000 % | 2974.26/2974.24 c | 10538029 | 2325 263300 885589 | 1 230669 38 | 0.000 % | 2974.26/2974.24 c | 10601405 | 2325 263300 885589 | 1 294045 46 | 0.000 % | 2974.26/2974.24 c | 10601661 | 2325 263300 885589 | 1 294301 46 | 0.000 % | 2974.26/2974.24 c | 10603706 | 2325 263300 885589 | 1 296346 46 | 0.000 % | 2974.26/2974.24 c | 10603976 | 2325 263300 885589 | 1 296616 46 | 0.000 % | 2974.26/2974.24 c | 10604293 | 2325 263300 885589 | 1 296933 46 | 0.000 % | 2974.26/2974.24 c | 10605014 | 2325 263300 885589 | 1 297654 47 | 0.000 % | 2974.26/2974.24 c | 10624867 | 2325 263300 885589 | 1 317507 50 | 0.000 % | 2974.26/2974.24 c | 10628343 | 2325 263300 885589 | 1 320983 50 | 0.000 % | 2974.26/2974.24 c | 10629062 | 2325 263300 885589 | 1 321702 50 | 0.000 % | 2974.26/2974.24 c | 10629403 | 2325 263300 885589 | 1 322043 51 | 0.000 % | 2974.26/2974.24 c | 10660657 | 2325 263300 885589 | 1 353297 53 | 0.000 % | 2974.26/2974.24 c | 10660757 | 2325 263300 885589 | 1 353397 53 | 0.000 % | 2974.26/2974.24 c | 10663510 | 2325 263300 885589 | 1 356150 53 | 0.000 % | 2974.26/2974.24 c | 10666082 | 2325 263300 885589 | 1 358722 53 | 0.000 % | 2974.26/2974.24 c | 10670429 | 2325 263300 885589 | 1 363069 54 | 0.000 % | 2974.26/2974.24 c | 10671142 | 2325 263300 885589 | 1 363782 54 | 0.000 % | 2974.26/2974.24 c | 10672492 | 2325 263300 885589 | 1 365132 54 | 0.000 % | 2974.26/2974.24 c | 10674302 | 2325 263300 885589 | 1 366942 54 | 0.000 % | 2974.26/2974.24 c | 10674439 | 2325 263300 885589 | 1 367079 54 | 0.000 % | 3210.16/3210.18 c | 10674633 | 2325 263300 885589 | 1 367273 54 | 0.000 % | 3210.16/3210.18 c | 10688363 | 2325 263300 885589 | 1 381003 56 | 0.000 % | 3210.16/3210.18 c | 10696610 | 2325 263300 885589 | 1 389250 56 | 0.000 % | 3210.16/3210.18 c | 10696749 | 2325 263300 885589 | 1 389389 56 | 0.000 % | 3210.16/3210.18 c | 10696915 | 2325 263300 885589 | 1 389555 57 | 0.000 % | 3210.16/3210.18 c | 10698531 | 2325 263300 885589 | 1 391171 57 | 0.000 % | 3210.16/3210.18 c | 10698818 | 2325 263300 885589 | 1 391458 57 | 0.000 % | 3210.16/3210.18 c | 10739342 | 2325 263300 885589 | 1 431982 59 | 0.000 % | 3210.16/3210.18 c | 10846061 | 2325 263300 885589 | 1 305907 48 | 0.000 % | 3210.16/3210.18 c | 10865543 | 2325 263300 885589 | 1 325389 50 | 0.000 % | 3210.16/3210.18 c | 10865672 | 2325 263300 885589 | 1 325518 50 | 0.000 % | 3210.16/3210.18 c | 10916855 | 2325 263300 885589 | 1 376701 56 | 0.000 % | 3210.16/3210.18 c | 10926527 | 2325 263300 885589 | 1 386373 57 | 0.000 % | 3210.16/3210.18 c | 10929082 | 2325 263300 885589 | 1 388928 57 | 0.000 % | 3210.16/3210.18 c | 10954648 | 2325 263300 885589 | 1 414494 58 | 0.000 % | 3210.16/3210.18 c | 10955829 | 2325 263300 885589 | 1 415675 59 | 0.000 % | 3210.16/3210.18 c | 10957958 | 2325 263300 885589 | 1 417804 59 | 0.000 % | 3210.16/3210.18 c | 10958249 | 2325 263300 885589 | 1 418095 59 | 0.000 % | 3210.16/3210.18 c | 10967721 | 2325 263300 885589 | 1 427567 60 | 0.000 % | 3210.16/3210.18 c | 11038187 | 2325 263300 885589 | 1 262633 46 | 0.000 % | 3210.16/3210.18 c | 11077322 | 2325 263300 885589 | 1 301768 50 | 0.000 % | 3210.16/3210.18 c | 11081477 | 2325 263300 885589 | 1 305923 51 | 0.000 % | 3210.16/3210.18 c | 11084585 | 2325 263300 885589 | 1 309031 52 | 0.000 % | 3210.16/3210.18 c | 11113503 | 2325 263300 885589 | 1 337949 55 | 0.000 % | 3210.16/3210.18 c | 11119152 | 2325 263300 885589 | 1 343598 55 | 0.000 % | 3210.16/3210.18 c | 11136521 | 2325 263300 885589 | 1 360967 56 | 0.000 % | 3210.16/3210.18 c | 11137121 | 2325 263300 885589 | 1 361567 56 | 0.000 % | 3210.16/3210.18 c | 11138174 | 2325 263300 885589 | 1 362620 57 | 0.000 % | 3210.16/3210.18 c | 11144005 | 2325 263300 885589 | 1 368451 57 | 0.000 % | 3210.16/3210.18 c | 11146046 | 2325 263300 885589 | 1 370492 57 | 0.000 % | 3210.16/3210.18 c | 11146928 | 2325 263300 885589 | 1 371374 57 | 0.000 % | 3210.16/3210.18 c | 11173537 | 2325 263300 885589 | 1 397983 60 | 0.000 % | 3210.16/3210.18 c | 11174937 | 2325 263300 885589 | 1 399383 60 | 0.000 % | 3210.16/3210.18 c | 11181518 | 2325 263300 885589 | 1 405964 61 | 0.000 % | 3210.16/3210.18 c | 11183889 | 2325 263300 885589 | 1 408335 61 | 0.000 % | 3210.16/3210.18 c | 11212260 | 2325 263300 885589 | 1 436706 62 | 0.000 % | 3210.16/3210.18 c | 11231569 | 2325 263300 885589 | 1 456015 63 | 0.000 % | 3210.16/3210.18 c | 11233273 | 2325 263300 885589 | 1 457719 63 | 0.000 % | 3210.16/3210.18 c | 11234120 | 2325 263300 885589 | 1 458566 63 | 0.000 % | 3210.16/3210.18 c | 11236574 | 2325 263300 885589 | 1 461020 63 | 0.000 % | 3210.16/3210.18 c | 11267436 | 2325 263300 885589 | 1 253872 41 | 0.000 % | 3210.16/3210.18 c | 11322137 | 2325 263300 885589 | 1 308573 49 | 0.000 % | 3210.16/3210.18 c | 11322790 | 2325 263300 885589 | 1 309226 49 | 0.000 % | 3210.16/3210.18 c | 11348997 | 2325 263300 885589 | 1 335433 52 | 0.000 % | 3210.16/3210.18 c | 11350895 | 2325 263300 885589 | 1 337331 52 | 0.000 % | 3210.16/3210.18 c | 11356327 | 2325 263300 885589 | 1 342763 53 | 0.000 % | 3210.16/3210.18 c | 11365418 | 2325 263300 885589 | 1 351854 54 | 0.000 % | 3210.16/3210.18 c | 11393125 | 2325 263300 885589 | 1 379561 56 | 0.000 % | 3210.16/3210.18 c | 11422968 | 2325 263300 885589 | 1 409404 58 | 0.000 % | 3210.16/3210.18 c | 11438529 | 2325 263300 885589 | 1 424965 60 | 0.000 % | 3521.47/3521.42 c | 11607169 | 2325 263300 885589 | 1 353006 61 | 0.000 % | 3521.47/3521.42 c | 11607683 | 2325 263300 885589 | 1 353520 61 | 0.000 % | 3521.47/3521.42 c | 11607783 | 2325 263300 885589 | 1 353620 61 | 0.000 % | 3521.47/3521.42 c | 11608054 | 2325 263300 885589 | 1 353891 61 | 0.000 % | 3521.47/3521.42 c | 11609539 | 2325 263300 885589 | 1 355376 62 | 0.000 % | 3521.47/3521.42 c | 11614847 | 2325 263300 885589 | 1 360684 62 | 0.000 % | 3521.47/3521.42 c | 11622073 | 2325 263300 885589 | 1 367910 63 | 0.000 % | 3521.47/3521.42 c | 11627947 | 2325 263300 885589 | 1 373784 63 | 0.000 % | 3521.47/3521.42 c | 11639169 | 2325 263300 885589 | 1 385006 64 | 0.000 % | 3521.47/3521.42 c | 11647442 | 2325 263300 885589 | 1 393279 65 | 0.000 % | 3521.47/3521.42 c | 11647818 | 2325 263300 885589 | 1 393655 65 | 0.000 % | 3521.47/3521.42 c | 11649053 | 2325 263300 885589 | 1 394890 65 | 0.000 % | 3521.47/3521.42 c | 11651120 | 2325 263300 885589 | 1 396957 65 | 0.000 % | 3521.47/3521.42 c | 11673748 | 2325 263300 885589 | 1 419585 67 | 0.000 % | 3521.47/3521.42 c | 11690505 | 2325 263300 885589 | 1 436342 68 | 0.000 % | 3521.47/3521.42 c | 11721693 | 2325 263300 885589 | 1 467530 69 | 0.000 % | 3521.47/3521.42 c | 11726690 | 2325 263300 885589 | 1 472527 69 | 0.000 % | 3521.47/3521.42 c | 11739393 | 2325 263300 885589 | 1 485230 70 | 0.000 % | 3521.47/3521.42 c | 11743015 | 2325 263300 885589 | 1 245645 42 | 0.000 % | 3521.47/3521.42 c | 11772634 | 2325 263300 885589 | 1 275264 46 | 0.000 % | 3521.47/3521.42 c | 11775786 | 2325 263300 885589 | 1 278416 46 | 0.000 % | 3521.47/3521.42 c | 11778853 | 2325 263300 885589 | 1 281483 46 | 0.000 % | 3521.47/3521.42 c | 11834421 | 2325 263300 885589 | 1 337051 50 | 0.000 % | 3521.47/3521.42 c | 11835996 | 2325 263300 885589 | 1 338626 50 | 0.000 % | 3521.47/3521.42 c | 11851794 | 2325 263300 885589 | 1 354424 51 | 0.000 % | 3521.47/3521.42 c | 11851998 | 2325 263300 885589 | 1 354628 51 | 0.000 % | 3521.47/3521.42 c | 11852929 | 2325 263300 885589 | 1 355559 51 | 0.000 % | 3521.47/3521.42 c | 11855280 | 2325 263300 885589 | 1 357910 52 | 0.000 % | 3521.47/3521.42 c | 11883900 | 2325 263300 885589 | 1 386530 54 | 0.000 % | 3521.47/3521.42 c | 11897889 | 2325 263300 885589 | 1 400519 56 | 0.000 % | 3521.47/3521.42 c | 11898562 | 2325 263300 885589 | 1 401192 56 | 0.000 % | 3521.47/3521.42 c | 11899860 | 2325 263300 885589 | 1 402490 56 | 0.000 % | 3521.47/3521.42 c | 12016137 | 2325 263300 885589 | 1 272968 44 | 0.000 % | 3521.47/3521.42 c | 12028701 | 2325 263300 885589 | 1 285532 47 | 0.000 % | 3521.47/3521.42 c | 12035736 | 2325 263300 885589 | 1 292567 48 | 0.000 % | 3521.47/3521.42 c | 12036058 | 2325 263300 885589 | 1 292889 48 | 0.000 % | 3521.47/3521.42 c | 12039247 | 2325 263300 885589 | 1 296078 49 | 0.000 % | 3521.47/3521.42 c | 12045043 | 2325 263300 885589 | 1 301874 50 | 0.000 % | 3521.47/3521.42 c | 12045156 | 2325 263300 885589 | 1 301987 50 | 0.000 % | 3521.47/3521.42 c | 12071863 | 2325 263300 885589 | 1 328694 54 | 0.000 % | 3521.47/3521.42 c | 12084287 | 2325 263300 885589 | 1 341118 56 | 0.000 % | 3521.47/3521.42 c | 12252010 | 2325 263300 885589 | 1 260443 42 | 0.000 % | 3521.47/3521.42 c | 12257001 | 2325 263300 885589 | 1 265434 43 | 0.000 % | 3521.47/3521.42 c | 12260744 | 2325 263300 885589 | 1 269177 43 | 0.000 % | 3521.47/3521.42 c | 12271954 | 2325 263300 885589 | 1 280387 46 | 0.000 % | 3521.47/3521.42 c | 12272553 | 2325 263300 885589 | 1 280986 46 | 0.000 % | 3521.47/3521.42 c | 12272710 | 2325 263300 885589 | 1 281143 46 | 0.000 % | 3521.47/3521.42 c | 12307533 | 2325 263300 885589 | 1 315966 50 | 0.000 % | 3521.47/3521.42 c | 12318691 | 2325 263300 885589 | 1 327124 51 | 0.000 % | 3521.47/3521.42 c | 12319005 | 2325 263300 885589 | 1 327438 51 | 0.000 % | 3815.67/3815.65 c | 12319885 | 2325 263300 885589 | 1 328318 52 | 0.000 % | 3815.67/3815.65 c | 12331444 | 2325 263300 885589 | 1 339877 52 | 0.000 % | 3815.67/3815.65 c | 12336593 | 2325 263300 885589 | 1 345026 53 | 0.000 % | 3815.67/3815.65 c | 12342053 | 2325 263300 885589 | 1 350486 54 | 0.000 % | 3815.67/3815.65 c | 12342153 | 2325 263300 885589 | 1 350586 54 | 0.000 % | 3815.67/3815.65 c | 12342271 | 2325 263300 885589 | 1 350704 54 | 0.000 % | 3815.67/3815.65 c | 12343046 | 2325 263300 885589 | 1 351479 54 | 0.000 % | 3815.67/3815.65 c | 12344052 | 2325 263300 885589 | 1 352485 54 | 0.000 % | 3815.67/3815.65 c | 12344445 | 2325 263300 885589 | 1 352878 54 | 0.000 % | 3815.67/3815.65 c | 12346996 | 2325 263300 885589 | 1 355429 54 | 0.000 % | 3815.67/3815.65 c | 12430518 | 2325 263300 885589 | 1 438951 58 | 0.000 % | 3815.67/3815.65 c | 12453647 | 2325 263300 885589 | 1 462080 59 | 0.000 % | 3815.67/3815.65 c | 12470279 | 2325 263300 885589 | 1 478712 60 | 0.000 % | 3815.67/3815.65 c | 12586406 | 2325 263300 885589 | 1 343832 44 | 0.000 % | 3815.67/3815.65 c | 12601552 | 2325 263300 885589 | 1 358978 45 | 0.000 % | 3815.67/3815.65 c | 12627873 | 2325 263300 885589 | 1 385299 47 | 0.000 % | 3815.67/3815.65 c | 12632963 | 2325 263300 885589 | 1 390389 47 | 0.000 % | 3815.67/3815.65 c | 12725683 | 2325 263300 885589 | 1 483109 51 | 0.000 % | 3815.67/3815.65 c | 12733404 | 2325 263300 885589 | 1 490830 51 | 0.000 % | 3815.67/3815.65 c | 12748611 | 2325 263300 885589 | 1 506037 53 | 0.000 % | 3815.67/3815.65 c | 12748712 | 2325 263300 885589 | 1 506138 53 | 0.000 % | 3815.67/3815.65 c | 12760892 | 2325 263300 885589 | 1 264713 37 | 0.000 % | 3815.67/3815.65 c | 12762388 | 2325 263300 885589 | 1 266209 37 | 0.000 % | 3815.67/3815.65 c | 12785945 | 2325 263300 885589 | 1 289766 40 | 0.000 % | 3815.67/3815.65 c | 12801969 | 2325 263300 885589 | 1 305790 41 | 0.000 % | 3815.67/3815.65 c | 12831438 | 2325 263300 885589 | 1 335259 44 | 0.000 % | 3815.67/3815.65 c | 12831737 | 2325 263300 885589 | 1 335558 44 | 0.000 % | 3815.67/3815.65 c | 12832179 | 2325 263300 885589 | 1 336000 44 | 0.000 % | 3815.67/3815.65 c | 12839930 | 2325 263300 885589 | 1 343751 45 | 0.000 % | 3815.67/3815.65 c | 12873547 | 2325 263300 885589 | 1 377368 48 | 0.000 % | 3815.67/3815.65 c | 12877687 | 2325 263300 885589 | 1 381508 48 | 0.000 % | 3815.67/3815.65 c | 12878360 | 2325 263300 885589 | 1 382181 48 | 0.000 % | 3815.67/3815.65 c | 12880684 | 2325 263300 885589 | 1 384505 49 | 0.000 % | 3815.67/3815.65 c | 12889741 | 2325 263300 885589 | 1 393562 50 | 0.000 % | 3815.67/3815.65 c | 12905661 | 2325 263300 885589 | 1 409482 51 | 0.000 % | 3815.67/3815.65 c | 12907572 | 2325 263300 885589 | 1 411393 51 | 0.000 % | 3815.67/3815.65 c | 12907949 | 2325 263300 885589 | 1 411770 51 | 0.000 % | 3815.67/3815.65 c | 12908066 | 2325 263300 885589 | 1 411887 51 | 0.000 % | 3815.67/3815.65 c | 12919696 | 2325 263300 885589 | 1 423517 52 | 0.000 % | 3815.67/3815.65 c | 12926923 | 2325 263300 885589 | 1 430744 52 | 0.000 % | 3815.67/3815.65 c | 12950189 | 2325 263300 885589 | 1 454010 54 | 0.000 % | 3815.67/3815.65 c | 12950783 | 2325 263300 885589 | 1 454604 54 | 0.000 % | 3815.67/3815.65 c | 12950913 | 2325 263300 885589 | 1 454734 54 | 0.000 % | 3815.67/3815.65 c | 12951015 | 2325 263300 885589 | 1 454836 54 | 0.000 % | 3815.67/3815.65 c | 12951544 | 2325 263300 885589 | 1 455365 54 | 0.000 % | 3815.67/3815.65 c | 12954687 | 2325 263300 885589 | 1 458508 54 | 0.000 % | 3815.67/3815.65 c | 12973046 | 2325 263300 885589 | 1 476867 56 | 0.000 % | 3815.67/3815.65 c | 12974578 | 2325 263300 885589 | 1 478399 56 | 0.000 % | 3815.67/3815.65 c | 12983808 | 2325 263300 885589 | 1 487629 57 | 0.000 % | 3815.67/3815.65 c | 12996330 | 2325 263300 885589 | 1 500151 58 | 0.000 % | 3998.88/3998.88 c | 12997262 | 2325 263300 885589 | 1 501083 58 | 0.000 % | 3998.88/3998.88 c | 12998097 | 2325 263300 885589 | 1 501918 58 | 0.000 % | 3998.88/3998.88 c | 12998277 | 2325 263300 885589 | 1 502098 58 | 0.000 % | 3998.88/3998.88 c | 12998714 | 2325 263300 885589 | 1 502535 58 | 0.000 % | 3998.88/3998.88 c | 13004929 | 2325 263300 885589 | 1 508750 59 | 0.000 % | 3998.88/3998.88 c | 13005863 | 2325 263300 885589 | 1 509684 59 | 0.000 % | 3998.88/3998.88 c | 13043882 | 2325 263300 885589 | 1 291501 43 | 0.000 % | 3998.88/3998.88 c | 13061714 | 2325 263300 885589 | 1 309333 46 | 0.000 % | 3998.88/3998.88 c | 13079245 | 2325 263300 885589 | 1 326864 49 | 0.000 % | 3998.88/3998.88 c | 13080802 | 2325 263300 885589 | 1 328421 49 | 0.000 % | 3998.88/3998.88 c | 13081229 | 2325 263300 885589 | 1 328848 49 | 0.000 % | 3998.88/3998.88 c | 13087908 | 2325 263300 885589 | 1 335527 50 | 0.000 % | 3998.88/3998.88 c | 13092176 | 2325 263300 885589 | 1 339795 50 | 0.000 % | 3998.88/3998.88 c | 13092342 | 2325 263300 885589 | 1 339961 50 | 0.000 % | 3998.88/3998.88 c | 13109739 | 2325 263300 885589 | 1 357358 52 | 0.000 % | 3998.88/3998.88 c | 13112270 | 2325 263300 885589 | 1 359889 52 | 0.000 % | 3998.88/3998.88 c | 13135122 | 2325 263300 885589 | 1 382741 54 | 0.000 % | 3998.88/3998.88 c | 13172117 | 2325 263300 885589 | 1 419736 56 | 0.000 % | 3998.88/3998.88 c | 13243517 | 2325 263300 885589 | 1 491136 61 | 0.000 % | 3998.88/3998.88 c | 13245600 | 2325 263300 885589 | 1 493219 61 | 0.000 % | 3998.88/3998.88 c | 13287170 | 2325 263300 885589 | 1 276002 41 | 0.000 % | 3998.88/3998.88 c | 13305920 | 2325 263300 885589 | 1 294752 43 | 0.000 % | 3998.88/3998.88 c | 13337771 | 2325 263300 885589 | 1 326603 48 | 0.000 % | 3998.88/3998.88 c | 13337906 | 2325 263300 885589 | 1 326738 48 | 0.000 % | 3998.88/3998.88 c | 13338391 | 2325 263300 885589 | 1 327223 48 | 0.000 % | 3998.88/3998.88 c | 13347913 | 2325 263300 885589 | 1 336745 49 | 0.000 % | 3998.88/3998.88 c | 13361232 | 2325 263300 885589 | 1 350064 50 | 0.000 % | 3998.88/3998.88 c | 13399258 | 2325 263300 885589 | 1 388090 53 | 0.000 % | 3998.88/3998.88 c | 13405734 | 2325 263300 885589 | 1 394566 54 | 0.000 % | 3998.88/3998.88 c | 13406391 | 2325 263300 885589 | 1 395223 54 | 0.000 % | 3998.88/3998.88 c | 13414163 | 2325 263300 885589 | 1 402995 55 | 0.000 % | 3998.88/3998.88 c | 13414263 | 2325 263300 885589 | 1 403095 55 | 0.000 % | 3998.88/3998.88 c | 13415368 | 2325 263300 885589 | 1 404200 55 | 0.000 % | 3998.88/3998.88 c | 13418653 | 2325 263300 885589 | 1 407485 55 | 0.000 % | 3998.88/3998.88 c | 13423078 | 2325 263300 885589 | 1 411910 56 | 0.000 % | 3998.88/3998.88 c | 13437426 | 2325 263300 885589 | 1 426258 57 | 0.000 % | 3998.88/3998.88 c | 13447789 | 2325 263300 885589 | 1 436621 58 | 0.000 % | 3998.88/3998.88 c | 13454899 | 2325 263300 885589 | 1 443731 58 | 0.000 % | 3998.88/3998.88 c | 13454999 | 2325 263300 885589 | 1 443831 58 | 0.000 % | 3998.88/3998.88 c | 13455488 | 2325 263300 885589 | 1 444320 58 | 0.000 % | 3998.88/3998.88 c | 13493038 | 2325 263300 885589 | 1 481870 61 | 0.000 % | 3998.88/3998.88 c | 13501020 | 2325 263300 885589 | 1 489852 62 | 0.000 % | 3998.88/3998.88 c | 13525434 | 2325 263300 885589 | 1 514266 64 | 0.000 % | 3998.88/3998.88 c | 13526188 | 2325 263300 885589 | 1 515020 64 | 0.000 % | 3998.88/3998.88 c | 13528896 | 2325 263300 885589 | 1 517728 64 | 0.000 % | 3998.88/3998.88 c | 13559549 | 2325 263300 885589 | 1 286982 44 | 0.000 % | 3998.88/3998.88 c | 13560614 | 2325 263300 885589 | 1 288047 44 | 0.000 % | 3998.88/3998.88 c | 13562815 | 2325 263300 885589 | 1 290248 45 | 0.000 % | 3998.88/3998.88 c | 13583393 | 2325 263300 885589 | 1 310826 48 | 0.000 % | 3998.88/3998.88 c | 13584269 | 2325 263300 885589 | 1 311702 48 | 0.000 % | 4162.18/4162.12 c | 13589108 | 2325 263300 885589 | 1 316541 49 | 0.000 % | 4162.18/4162.12 c | 13589420 | 2325 263300 885589 | 1 316853 49 | 0.000 % | 4162.18/4162.12 c | 13594626 | 2325 263300 885589 | 1 322059 50 | 0.000 % | 4162.18/4162.12 c | 13599080 | 2325 263300 885589 | 1 326513 51 | 0.000 % | 4162.18/4162.12 c | 13599850 | 2325 263300 885589 | 1 327283 51 | 0.000 % | 4162.18/4162.12 c | 13613840 | 2325 263300 885589 | 1 341273 52 | 0.000 % | 4162.18/4162.12 c | 13622152 | 2325 263300 885589 | 1 349585 53 | 0.000 % | 4162.18/4162.12 c | 13626894 | 2325 263300 885589 | 1 354327 54 | 0.000 % | 4162.18/4162.12 c | 13644230 | 2325 263300 885589 | 1 371663 56 | 0.000 % | 4162.18/4162.12 c | 13695626 | 2325 263300 885589 | 1 423059 59 | 0.000 % | 4162.18/4162.12 c | 13698006 | 2325 263300 885589 | 1 425439 59 | 0.000 % | 4162.18/4162.12 c | 13776434 | 2325 263300 885589 | 1 503867 64 | 0.000 % | 4162.18/4162.12 c | 13786351 | 2325 263300 885589 | 1 513784 65 | 0.000 % | 4162.18/4162.12 c | 13805673 | 2325 263300 885589 | 1 269102 40 | 0.000 % | 4162.18/4162.12 c | 13845652 | 2325 263300 885589 | 1 309081 47 | 0.000 % | 4162.18/4162.12 c | 13846266 | 2325 263300 885589 | 1 309695 47 | 0.000 % | 4162.18/4162.12 c | 13853812 | 2325 263300 885589 | 1 317241 48 | 0.000 % | 4162.18/4162.12 c | 13863155 | 2325 263300 885589 | 1 326584 50 | 0.000 % | 4162.18/4162.12 c | 13867155 | 2325 263300 885589 | 1 330584 50 | 0.000 % | 4162.18/4162.12 c | 13867491 | 2325 263300 885589 | 1 330920 50 | 0.000 % | 4162.18/4162.12 c | 13885504 | 2325 263300 885589 | 1 348933 53 | 0.000 % | 4162.18/4162.12 c | 13890169 | 2325 263300 885589 | 1 353598 53 | 0.000 % | 4162.18/4162.12 c | 13897058 | 2325 263300 885589 | 1 360487 54 | 0.000 % | 4162.18/4162.12 c | 13898064 | 2325 263300 885589 | 1 361493 54 | 0.000 % | 4162.18/4162.12 c | 13898660 | 2325 263300 885589 | 1 362089 54 | 0.000 % | 4162.18/4162.12 c | 13905376 | 2325 263300 885589 | 1 368805 55 | 0.000 % | 4162.18/4162.12 c | 13910882 | 2325 263300 885589 | 1 374311 55 | 0.000 % | 4162.18/4162.12 c | 13925088 | 2325 263300 885589 | 1 388517 56 | 0.000 % | 4162.18/4162.12 c | 13925189 | 2325 263300 885589 | 1 388618 56 | 0.000 % | 4162.18/4162.12 c | 13925865 | 2325 263300 885589 | 1 389294 56 | 0.000 % | 4162.18/4162.12 c | 13932177 | 2325 263300 885589 | 1 395606 56 | 0.000 % | 4162.18/4162.12 c | 13939898 | 2325 263300 885589 | 1 403327 57 | 0.000 % | 4162.18/4162.12 c | 13974557 | 2325 263300 885589 | 1 437986 59 | 0.000 % | 4162.18/4162.12 c | 13979391 | 2325 263300 885589 | 1 442820 60 | 0.000 % | 4162.18/4162.12 c | 13981077 | 2325 263300 885589 | 1 444506 60 | 0.000 % | 4162.18/4162.12 c | 13981472 | 2325 263300 885589 | 1 444901 60 | 0.000 % | 4162.18/4162.12 c | 13988619 | 2325 263300 885589 | 1 452048 60 | 0.000 % | 4162.18/4162.12 c | 13988924 | 2325 263300 885589 | 1 452353 60 | 0.000 % | 4162.18/4162.12 c | 13989207 | 2325 263300 885589 | 1 452636 60 | 0.000 % | 4162.18/4162.12 c | 13989502 | 2325 263300 885589 | 1 452931 60 | 0.000 % | 4162.18/4162.12 c | 14005892 | 2325 263300 885589 | 1 469321 61 | 0.000 % | 4162.18/4162.12 c | 14025987 | 2325 263300 885589 | 1 489416 63 | 0.000 % | 4162.18/4162.12 c | 14058818 | 2325 263300 885589 | 1 522247 64 | 0.000 % | 4162.18/4162.12 c | 14059412 | 2325 263300 885589 | 1 522841 64 | 0.000 % | 4162.18/4162.12 c | 14072297 | 2325 263300 885589 | 1 269123 40 | 0.000 % | 4162.18/4162.12 c | 14074192 | 2325 263300 885589 | 1 271018 40 | 0.000 % | 4162.18/4162.12 c | 14075803 | 2325 263300 885589 | 1 272629 40 | 0.000 % | 4162.18/4162.12 c | 14075904 | 2325 263300 885589 | 1 272730 40 | 0.000 % | 4162.18/4162.12 c | 14078789 | 2325 263300 885589 | 1 275615 41 | 0.000 % | 4162.18/4162.12 c | 14081110 | 2325 263300 885589 | 1 277936 41 | 0.000 % | 4472.70/4472.62 c | 14081210 | 2325 263300 885589 | 1 278036 41 | 0.000 % | 4472.70/4472.62 c | 14098854 | 2325 263300 885589 | 1 295680 45 | 0.000 % | 4472.70/4472.62 c | 14100501 | 2325 263300 885589 | 1 297327 45 | 0.000 % | 4472.70/4472.62 c | 14104253 | 2325 263300 885589 | 1 301079 46 | 0.000 % | 4472.70/4472.62 c | 14106813 | 2325 263300 885589 | 1 303639 47 | 0.000 % | 4472.70/4472.62 c | 14107217 | 2325 263300 885589 | 1 304043 47 | 0.000 % | 4472.70/4472.62 c | 14107416 | 2325 263300 885589 | 1 304242 47 | 0.000 % | 4472.70/4472.62 c | 14107974 | 2325 263300 885589 | 1 304800 47 | 0.000 % | 4472.70/4472.62 c | 14113832 | 2325 263300 885589 | 1 310658 48 | 0.000 % | 4472.70/4472.62 c | 14116005 | 2325 263300 885589 | 1 312831 49 | 0.000 % | 4472.70/4472.62 c | 14139013 | 2325 263300 885589 | 1 335839 51 | 0.000 % | 4472.70/4472.62 c | 14146202 | 2325 263300 885589 | 1 343028 51 | 0.000 % | 4472.70/4472.62 c | 14158192 | 2325 263300 885589 | 1 355018 52 | 0.000 % | 4472.70/4472.62 c | 14164736 | 2325 263300 885589 | 1 361562 53 | 0.000 % | 4472.70/4472.62 c | 14165120 | 2325 263300 885589 | 1 361946 53 | 0.000 % | 4472.70/4472.62 c | 14167008 | 2325 263300 885589 | 1 363834 53 | 0.000 % | 4472.70/4472.62 c | 14193974 | 2325 263300 885589 | 1 390800 56 | 0.000 % | 4472.70/4472.62 c | 14205871 | 2325 263300 885589 | 1 402697 57 | 0.000 % | 4472.70/4472.62 c | 14206853 | 2325 263300 885589 | 1 403679 57 | 0.000 % | 4472.70/4472.62 c | 14213990 | 2325 263300 885589 | 1 410816 57 | 0.000 % | 4472.70/4472.62 c | 14350048 | 2325 263300 885589 | 1 277673 39 | 0.000 % | 4472.70/4472.62 c | 14358225 | 2325 263300 885589 | 1 285850 40 | 0.000 % | 4472.70/4472.62 c | 14378953 | 2325 263300 885589 | 1 306578 44 | 0.000 % | 4472.70/4472.62 c | 14380250 | 2325 263300 885589 | 1 307875 44 | 0.000 % | 4472.70/4472.62 c | 14388571 | 2325 263300 885589 | 1 316196 45 | 0.000 % | 4472.70/4472.62 c | 14393589 | 2325 263300 885589 | 1 321214 46 | 0.000 % | 4472.70/4472.62 c | 14410871 | 2325 263300 885589 | 1 338496 48 | 0.000 % | 4472.70/4472.62 c | 14412700 | 2325 263300 885589 | 1 340325 48 | 0.000 % | 4472.70/4472.62 c | 14427221 | 2325 263300 885589 | 1 354846 50 | 0.000 % | 4472.70/4472.62 c | 14460500 | 2325 263300 885589 | 1 388125 52 | 0.000 % | 4472.70/4472.62 c | 14460600 | 2325 263300 885589 | 1 388225 52 | 0.000 % | 4472.70/4472.62 c | 14460884 | 2325 263300 885589 | 1 388509 52 | 0.000 % | 4472.70/4472.62 c | 14461717 | 2325 263300 885589 | 1 389342 52 | 0.000 % | 4472.70/4472.62 c | 14461834 | 2325 263300 885589 | 1 389459 52 | 0.000 % | 4472.70/4472.62 c | 14463197 | 2325 263300 885589 | 1 390822 52 | 0.000 % | 4472.70/4472.62 c | 14488303 | 2325 263300 885589 | 1 415928 54 | 0.000 % | 4472.70/4472.62 c | 14499657 | 2325 263300 885589 | 1 427282 54 | 0.000 % | 4472.70/4472.62 c | 14560886 | 2325 263300 885589 | 1 488511 56 | 0.000 % | 4472.70/4472.62 c | 14577780 | 2325 263300 885589 | 1 505405 57 | 0.000 % | 4472.70/4472.62 c | 14586653 | 2325 263300 885589 | 1 514278 57 | 0.000 % | 4472.70/4472.62 c | 14589579 | 2325 263300 885589 | 1 517204 57 | 0.000 % | 4472.70/4472.62 c | 14618180 | 2325 263300 885589 | 1 274009 36 | 0.000 % | 4472.70/4472.62 c | 14627180 | 2325 263300 885589 | 1 283009 38 | 0.000 % | 4472.70/4472.62 c | 14628612 | 2325 263300 885589 | 1 284441 38 | 0.000 % | 4472.70/4472.62 c | 14812540 | 2325 263300 885589 | 1 468369 54 | 0.000 % | 4472.70/4472.62 c | 14812641 | 2325 263300 885589 | 1 468470 54 | 0.000 % | 4472.70/4472.62 c | 14832105 | 2325 263300 885589 | 1 487934 55 | 0.000 % | 4472.70/4472.62 c | 14835460 | 2325 263300 885589 | 1 491289 55 | 0.000 % | 4472.70/4472.62 c | 14860400 | 2325 263300 885589 | 1 516229 57 | 0.000 % | 4472.70/4472.62 c | 14864175 | 2325 263300 885589 | 1 520004 57 | 0.000 % | 4610.99/4610.92 c | 14867532 | 2325 263300 885589 | 1 523361 58 | 0.000 % | 4610.99/4610.92 c | 14870651 | 2325 263300 885589 | 1 526480 58 | 0.000 % | 4610.99/4610.92 c | 14886073 | 2325 263300 885589 | 1 541902 59 | 0.000 % | 4610.99/4610.92 c | 14923963 | 2325 263300 885589 | 1 305387 41 | 0.000 % | 4610.99/4610.92 c | 14938442 | 2325 263300 885589 | 1 319866 43 | 0.000 % | 4610.99/4610.92 c | 14941594 | 2325 263300 885589 | 1 323018 43 | 0.000 % | 4610.99/4610.92 c | 14950271 | 2325 263300 885589 | 1 331695 45 | 0.000 % | 4610.99/4610.92 c | 14954367 | 2325 263300 885589 | 1 335791 46 | 0.000 % | 4610.99/4610.92 c | 15010953 | 2325 263300 885589 | 1 392377 52 | 0.000 % | 4610.99/4610.92 c | 15011227 | 2325 263300 885589 | 1 392651 52 | 0.000 % | 4610.99/4610.92 c | 15014062 | 2325 263300 885589 | 1 395486 52 | 0.000 % | 4610.99/4610.92 c | 15021839 | 2325 263300 885589 | 1 403263 53 | 0.000 % | 4610.99/4610.92 c | 15031470 | 2325 263300 885589 | 1 412894 54 | 0.000 % | 4610.99/4610.92 c | 15084700 | 2325 263300 885589 | 1 466124 57 | 0.000 % | 4610.99/4610.92 c | 15091904 | 2325 263300 885589 | 1 473328 57 | 0.000 % | 4610.99/4610.92 c | 15092130 | 2325 263300 885589 | 1 473554 57 | 0.000 % | 4610.99/4610.92 c | 15094561 | 2325 263300 885589 | 1 475985 58 | 0.000 % | 4610.99/4610.92 c | 15097275 | 2325 263300 885589 | 1 478699 58 | 0.000 % | 4610.99/4610.92 c | 15097427 | 2325 263300 885589 | 1 478851 58 | 0.000 % | 4610.99/4610.92 c | 15097637 | 2325 263300 885589 | 1 479061 58 | 0.000 % | 4610.99/4610.92 c | 15097867 | 2325 263300 885589 | 1 479291 58 | 0.000 % | 4610.99/4610.92 c | 15116578 | 2325 263300 885589 | 1 498002 59 | 0.000 % | 4610.99/4610.92 c | 15147629 | 2325 263300 885589 | 1 529053 61 | 0.000 % | 4610.99/4610.92 c | 15149277 | 2325 263300 885589 | 1 530701 61 | 0.000 % | 4610.99/4610.92 c | 15151544 | 2325 263300 885589 | 1 532968 61 | 0.000 % | 4610.99/4610.92 c | 15151645 | 2325 263300 885589 | 1 533069 61 | 0.000 % | 4610.99/4610.92 c | 15158398 | 2325 263300 885589 | 1 539822 62 | 0.000 % | 4610.99/4610.92 c | 15161963 | 2325 263300 885589 | 1 543387 62 | 0.000 % | 4610.99/4610.92 c | 15168260 | 2325 263300 885589 | 1 549684 62 | 0.000 % | 4610.99/4610.92 c | 15168401 | 2325 263300 885589 | 1 549825 62 | 0.000 % | 4610.99/4610.92 c | 15169937 | 2325 263300 885589 | 1 551361 62 | 0.000 % | 4610.99/4610.92 c | 15171118 | 2325 263300 885589 | 1 552542 62 | 0.000 % | 4610.99/4610.92 c | 15172066 | 2325 263300 885589 | 1 553490 62 | 0.000 % | 4610.99/4610.92 c | 15172168 | 2325 263300 885589 | 1 553592 62 | 0.000 % | 4610.99/4610.92 c | 15175851 | 2325 263300 885589 | 1 280277 39 | 0.000 % | 4610.99/4610.92 c | 15175951 | 2325 263300 885589 | 1 280377 39 | 0.000 % | 4610.99/4610.92 c | 15176192 | 2325 263300 885589 | 1 280618 39 | 0.000 % | 4610.99/4610.92 c | 15176472 | 2325 263300 885589 | 1 280898 39 | 0.000 % | 4610.99/4610.92 c | 15177238 | 2325 263300 885589 | 1 281664 39 | 0.000 % | 4610.99/4610.92 c | 15178201 | 2325 263300 885589 | 1 282627 39 | 0.000 % | 4610.99/4610.92 c | 15184816 | 2325 263300 885589 | 1 289242 41 | 0.000 % | 4610.99/4610.92 c | 15184953 | 2325 263300 885589 | 1 289379 41 | 0.000 % | 4610.99/4610.92 c | 15186327 | 2325 263300 885589 | 1 290753 41 | 0.000 % | 4610.99/4610.92 c | 15232398 | 2325 263300 885589 | 1 336824 48 | 0.000 % | 4610.99/4610.92 c | 15235559 | 2325 263300 885589 | 1 339985 49 | 0.000 % | 4610.99/4610.92 c | 15240030 | 2325 263300 885589 | 1 344456 49 | 0.000 % | 4610.99/4610.92 c | 15240247 | 2325 263300 885589 | 1 344673 49 | 0.000 % | 4610.99/4610.92 c | 15242341 | 2325 263300 885589 | 1 346767 50 | 0.000 % | 4610.99/4610.92 c | 15254748 | 2325 263300 885589 | 1 359174 51 | 0.000 % | 4610.99/4610.92 c | 15259199 | 2325 263300 885589 | 1 363625 52 | 0.000 % | 4776.70/4776.66 c | 15259431 | 2325 263300 885589 | 1 363857 52 | 0.000 % | 4776.70/4776.66 c | 15259548 | 2325 263300 885589 | 1 363974 52 | 0.000 % | 4776.70/4776.66 c | 15262825 | 2325 263300 885589 | 1 367251 52 | 0.000 % | 4776.70/4776.66 c | 15275454 | 2325 263300 885589 | 1 379880 53 | 0.000 % | 4776.70/4776.66 c | 15275656 | 2325 263300 885589 | 1 380082 53 | 0.000 % | 4776.70/4776.66 c | 15288305 | 2325 263300 885589 | 1 392731 55 | 0.000 % | 4776.70/4776.66 c | 15288694 | 2325 263300 885589 | 1 393120 55 | 0.000 % | 4776.70/4776.66 c | 15293159 | 2325 263300 885589 | 1 397585 56 | 0.000 % | 4776.70/4776.66 c | 15300113 | 2325 263300 885589 | 1 404539 56 | 0.000 % | 4776.70/4776.66 c | 15300362 | 2325 263300 885589 | 1 404788 56 | 0.000 % | 4776.70/4776.66 c | 15318814 | 2325 263300 885589 | 1 423240 58 | 0.000 % | 4776.70/4776.66 c | 15337516 | 2325 263300 885589 | 1 441942 60 | 0.000 % | 4776.70/4776.66 c | 15337616 | 2325 263300 885589 | 1 442042 60 | 0.000 % | 4776.70/4776.66 c | 15344706 | 2325 263300 885589 | 1 449132 60 | 0.000 % | 4776.70/4776.66 c | 15372142 | 2325 263300 885589 | 1 476568 62 | 0.000 % | 4776.70/4776.66 c | 15384009 | 2325 263300 885589 | 1 488435 63 | 0.000 % | 4776.70/4776.66 c | 15397727 | 2325 263300 885589 | 1 502153 64 | 0.000 % | 4776.70/4776.66 c | 15399501 | 2325 263300 885589 | 1 503927 64 | 0.000 % | 4776.70/4776.66 c | 15400901 | 2325 263300 885589 | 1 505327 64 | 0.000 % | 4776.70/4776.66 c | 15417785 | 2325 263300 885589 | 1 522211 65 | 0.000 % | 4776.70/4776.66 c | 15419059 | 2325 263300 885589 | 1 523485 65 | 0.000 % | 4776.70/4776.66 c | 15420192 | 2325 263300 885589 | 1 524618 65 | 0.000 % | 4776.70/4776.66 c | 15445564 | 2325 263300 885589 | 1 549990 66 | 0.000 % | 4776.70/4776.66 c | 15484774 | 2325 263300 885589 | 1 309603 44 | 0.000 % | 4776.70/4776.66 c | 15495504 | 2325 263300 885589 | 1 320333 45 | 0.000 % | 4776.70/4776.66 c | 15496129 | 2325 263300 885589 | 1 320958 45 | 0.000 % | 4776.70/4776.66 c | 15526162 | 2325 263300 885589 | 1 350991 48 | 0.000 % | 4776.70/4776.66 c | 15551789 | 2325 263300 885589 | 1 376618 51 | 0.000 % | 4776.70/4776.66 c | 15552249 | 2325 263300 885589 | 1 377078 51 | 0.000 % | 4776.70/4776.66 c | 15566060 | 2325 263300 885589 | 1 390889 52 | 0.000 % | 4776.70/4776.66 c | 15566162 | 2325 263300 885589 | 1 390991 52 | 0.000 % | 4776.70/4776.66 c | 15567130 | 2325 263300 885589 | 1 391959 52 | 0.000 % | 4776.70/4776.66 c | 15568492 | 2325 263300 885589 | 1 393321 52 | 0.000 % | 4776.70/4776.66 c | 15568595 | 2325 263300 885589 | 1 393424 52 | 0.000 % | 4776.70/4776.66 c | 15568753 | 2325 263300 885589 | 1 393582 52 | 0.000 % | 4776.70/4776.66 c | 15569927 | 2325 263300 885589 | 1 394756 53 | 0.000 % | 4776.70/4776.66 c | 15582527 | 2325 263300 885589 | 1 407356 54 | 0.000 % | 4776.70/4776.66 c | 15595459 | 2325 263300 885589 | 1 420288 55 | 0.000 % | 4776.70/4776.66 c | 15614862 | 2325 263300 885589 | 1 439691 57 | 0.000 % | 4776.70/4776.66 c | 15618222 | 2325 263300 885589 | 1 443051 57 | 0.000 % | 4776.70/4776.66 c | 15618908 | 2325 263300 885589 | 1 443737 57 | 0.000 % | 4776.70/4776.66 c | 15619085 | 2325 263300 885589 | 1 443914 57 | 0.000 % | 4776.70/4776.66 c | 15637773 | 2325 263300 885589 | 1 462602 59 | 0.000 % | 4776.70/4776.66 c | 15641361 | 2325 263300 885589 | 1 466190 59 | 0.000 % | 4776.70/4776.66 c | 15643147 | 2325 263300 885589 | 1 467976 60 | 0.000 % | 4776.70/4776.66 c | 15646314 | 2325 263300 885589 | 1 471143 60 | 0.000 % | 4776.70/4776.66 c | 15667018 | 2325 263300 885589 | 1 491847 61 | 0.000 % | 4776.70/4776.66 c | 15735769 | 2325 263300 885589 | 1 560598 65 | 0.000 % | 4776.70/4776.66 c | 15735915 | 2325 263300 885589 | 1 560744 65 | 0.000 % | 4776.70/4776.66 c | 15738381 | 2325 2
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-3303350-1303899331/watcher-3303350-1303899331 -o /tmp/evaluation-result-3303350-1303899331/solver-3303350-1303899331 -C 5000 -W 5100 -M 15500 glucose.sh HOME/instance-3303350-1303899331.cnf running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 5000 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 5030 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.15 0.06 0.02 3/182 10388 /proc/meminfo: memFree=25613444/32951124 swapFree=67111524/67111528 [pid=10388] ppid=10386 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/10388/stat : 10388 (glucose.sh) S 10386 10388 10349 0 -1 4202496 333 0 0 0 0 0 0 0 21 0 1 0 501531329 8912896 252 33554432000 4194304 4922060 140734715106016 18446744073709551615 232335711365 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/10388/statm: 2176 252 211 178 0 69 0 [startup+0.010527 s] /proc/loadavg: 0.15 0.06 0.02 3/182 10388 /proc/meminfo: memFree=25613444/32951124 swapFree=67111524/67111528 [pid=10388] ppid=10386 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/10388/stat : 10388 (glucose.sh) S 10386 10388 10349 0 -1 4202496 333 0 0 0 0 0 0 0 21 0 1 0 501531329 8912896 252 33554432000 4194304 4922060 140734715106016 18446744073709551615 232335711365 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/10388/statm: 2176 252 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+0.100544 s] /proc/loadavg: 0.15 0.06 0.02 3/182 10388 /proc/meminfo: memFree=25613444/32951124 swapFree=67111524/67111528 [pid=10388] ppid=10386 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/10388/stat : 10388 (glucose.sh) S 10386 10388 10349 0 -1 4202496 333 0 0 0 0 0 0 0 21 0 1 0 501531329 8912896 252 33554432000 4194304 4922060 140734715106016 18446744073709551615 232335711365 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/10388/statm: 2176 252 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+0.300505 s] /proc/loadavg: 0.15 0.06 0.02 3/182 10388 /proc/meminfo: memFree=25613444/32951124 swapFree=67111524/67111528 [pid=10388] ppid=10386 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/10388/stat : 10388 (glucose.sh) S 10386 10388 10349 0 -1 4202496 333 0 0 0 0 0 0 0 21 0 1 0 501531329 8912896 252 33554432000 4194304 4922060 140734715106016 18446744073709551615 232335711365 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/10388/statm: 2176 252 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+0.700459 s] /proc/loadavg: 0.15 0.06 0.02 3/182 10388 /proc/meminfo: memFree=25613444/32951124 swapFree=67111524/67111528 [pid=10388] ppid=10386 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/10388/stat : 10388 (glucose.sh) S 10386 10388 10349 0 -1 4202496 333 0 0 0 0 0 0 0 21 0 1 0 501531329 8912896 252 33554432000 4194304 4922060 140734715106016 18446744073709551615 232335711365 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/10388/statm: 2176 252 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+1.50032 s] /proc/loadavg: 0.15 0.06 0.02 3/184 10392 /proc/meminfo: memFree=25596324/32951124 swapFree=67111524/67111528 [pid=10388] ppid=10386 vsize=8704 CPUtime=0.98 cores=0,2,4,6 /proc/10388/stat : 10388 (glucose.sh) S 10386 10388 10349 0 -1 4202496 360 5472 0 0 0 0 97 1 18 0 1 0 501531329 8912896 254 33554432000 4194304 4922060 140734715106016 18446744073709551615 232335711365 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/10388/statm: 2176 254 211 178 0 69 0 [pid=10392] ppid=10388 vsize=29740 CPUtime=0.5 cores=0,2,4,6 /proc/10392/stat : 10392 (glucose_static) R 10388 10388 10349 0 -1 4202496 6854 0 0 0 49 1 0 0 20 0 1 0 501531429 30453760 4239 33554432000 4194304 4260849 140734607340544 18446744073709551615 4224867 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/10392/statm: 7435 4239 250 17 0 4076 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 38444 [startup+3.10103 s] /proc/loadavg: 0.15 0.06 0.02 3/184 10392 /proc/meminfo: memFree=25568052/32951124 swapFree=67111524/67111528 [pid=10388] ppid=10386 vsize=8704 CPUtime=0.98 cores=0,2,4,6 /proc/10388/stat : 10388 (glucose.sh) S 10386 10388 10349 0 -1 4202496 360 5472 0 0 0 0 97 1 18 0 1 0 501531329 8912896 254 33554432000 4194304 4922060 140734715106016 18446744073709551615 232335711365 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/10388/statm: 2176 254 211 178 0 69 0 [pid=10392] ppid=10388 vsize=52980 CPUtime=2.1 cores=0,2,4,6 /proc/10392/stat : 10392 (glucose_static) R 10388 10388 10349 0 -1 4202496 14702 0 0 0 208 2 0 0 25 0 1 0 501531429 54251520 9203 33554432000 4194304 4260849 140734607340544 18446744073709551615 4238067 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/10392/statm: 13245 9203 250 17 0 9886 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 61684 [startup+6.30044 s] /proc/loadavg: 0.38 0.11 0.03 3/184 10392 /proc/meminfo: memFree=25560976/32951124 swapFree=67111524/67111528 [pid=10388] ppid=10386 vsize=8704 CPUtime=0.98 cores=0,2,4,6 /proc/10388/stat : 10388 (glucose.sh) S 10386 10388 10349 0 -1 4202496 360 5472 0 0 0 0 97 1 18 0 1 0 501531329 8912896 254 33554432000 4194304 4922060 140734715106016 18446744073709551615 232335711365 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/10388/statm: 2176 254 211 178 0 69 0 [pid=10392] ppid=10388 vsize=60164 CPUtime=5.3 cores=0,2,4,6 /proc/10392/stat : 10392 (glucose_static) R 10388 10388 10349 0 -1 4202496 25117 0 0 0 526 4 0 0 25 0 1 0 501531429 61607936 10403 33554432000 4194304 4260849 140734607340544 18446744073709551615 4224682 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/10392/statm: 15041 10403 251 17 0 11682 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 68868 [startup+12.7003 s] /proc/loadavg: 0.51 0.14 0.04 3/184 10392 /proc/meminfo: memFree=25539756/32951124 swapFree=67111524/67111528 [pid=10388] ppid=10386 vsize=8704 CPUtime=0.98 cores=0,2,4,6 /proc/10388/stat : 10388 (glucose.sh) S 10386 10388 10349 0 -1 4202496 360 5472 0 0 0 0 97 1 18 0 1 0 501531329 8912896 254 33554432000 4194304 4922060 140734715106016 18446744073709551615 232335711365 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/10388/statm: 2176 254 211 178 0 69 0 [pid=10392] ppid=10388 vsize=60164 CPUtime=11.7 cores=0,2,4,6 /proc/10392/stat : 10392 (glucose_static) R 10388 10388 10349 0 -1 4202496 26392 0 0 0 1166 4 0 0 25 0 1 0 501531429 61607936 11667 33554432000 4194304 4260849 140734607340544 18446744073709551615 4224451 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/10392/statm: 15041 11667 251 17 0 11682 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 68868 [startup+25.501 s] /proc/loadavg: 0.84 0.23 0.07 3/184 10393 /proc/meminfo: memFree=25510884/32951124 swapFree=67111524/67111528 [pid=10388] ppid=10386 vsize=8704 CPUtime=0.98 cores=0,2,4,6 /proc/10388/stat : 10388 (glucose.sh) S 10386 10388 10349 0 -1 4202496 360 5472 0 0 0 0 97 1 18 0 1 0 501531329 8912896 254 33554432000 4194304 4922060 140734715106016 18446744073709551615 232335711365 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/10388/statm: 2176 254 211 178 0 69 0 [pid=10392] ppid=10388 vsize=79020 CPUtime=24.5 cores=0,2,4,6 /proc/10392/stat : 10392 (glucose_static) R 10388 10388 10349 0 -1 4202496 36488 0 0 0 2445 5 0 0 25 0 1 0 501531429 80916480 16557 33554432000 4194304 4260849 140734607340544 18446744073709551615 4227272 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/10392/statm: 19755 16557 251 17 0 16396 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 87724 [startup+51.1005 s] /proc/loadavg: 1.36 0.41 0.13 3/184 10393 /proc/meminfo: memFree=25495428/32951124 swapFree=67111524/67111528 [pid=10388] ppid=10386 vsize=8704 CPUtime=0.98 cores=0,2,4,6 /proc/10388/stat : 10388 (glucose.sh) S 10386 10388 10349 0 -1 4202496 360 5472 0 0 0 0 97 1 18 0 1 0 501531329 8912896 254 33554432000 4194304 4922060 140734715106016 18446744073709551615 232335711365 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/10388/statm: 2176 254 211 178 0 69 0 [pid=10392] ppid=10388 vsize=109628 CPUtime=50.1 cores=0,2,4,6 /proc/10392/stat : 10392 (glucose_static) R 10388 10388 10349 0 -1 4202496 38471 0 0 0 5004 6 0 0 25 0 1 0 501531429 112259072 18517 33554432000 4194304 4260849 140734607340544 18446744073709551615 4224885 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/10392/statm: 27407 18517 251 17 0 24048 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 118332 [startup+102.306 s] /proc/loadavg: 1.72 0.65 0.23 3/184 10395 /proc/meminfo: memFree=25475204/32951124 swapFree=67111524/67111528 [pid=10388] ppid=10386 vsize=8704 CPUtime=0.98 cores=0,2,4,6 /proc/10388/stat : 10388 (glucose.sh) S 10386 10388 10349 0 -1 4202496 360 5472 0 0 0 0 97 1 18 0 1 0 501531329 8912896 254 33554432000 4194304 4922060 140734715106016 18446744073709551615 232335711365 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/10388/statm: 2176 254 211 178 0 69 0 [pid=10392] ppid=10388 vsize=109628 CPUtime=101.3 cores=0,2,4,6 /proc/10392/stat : 10392 (glucose_static) R 10388 10388 10349 0 -1 4202496 55935 0 0 0 10123 7 0 0 25 0 1 0 501531429 112259072 19542 33554432000 4194304 4260849 140734607340544 18446744073709551615 4224632 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/10392/statm: 27407 19542 252 17 0 24048 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 118332 [startup+162.301 s] /proc/loadavg: 1.89 0.89 0.34 3/184 10396 /proc/meminfo: memFree=25435348/32951124 swapFree=67111524/67111528 [pid=10388] ppid=10386 vsize=8704 CPUtime=0.98 cores=0,2,4,6 /proc/10388/stat : 10388 (glucose.sh) S 10386 10388 10349 0 -1 4202496 360 5472 0 0 0 0 97 1 18 0 1 0 501531329 8912896 254 33554432000 4194304 4922060 140734715106016 18446744073709551615 232335711365 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/10388/statm: 2176 254 211 178 0 69 0 [pid=10392] ppid=10388 vsize=158948 CPUtime=161.3 cores=0,2,4,6 /proc/10392/stat : 10392 (glucose_static) R 10388 10388 10349 0 -1 4202496 114254 0 0 0 16116 14 0 0 25 0 1 0 501531429 162762752 28782 33554432000 4194304 4260849 140734607340544 18446744073709551615 4209295 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/10392/statm: 39737 28782 252 17 0 36378 0 Current children cumulated CPU time (s) 162.28 Current children cumulated vsize (KiB) 167652 [startup+222.301 s] /proc/loadavg: 1.96 1.09 0.44 3/184 10398 /proc/meminfo: memFree=25407916/32951124 swapFree=67111524/67111528 [pid=10388] ppid=10386 vsize=8704 CPUtime=0.98 cores=0,2,4,6 /proc/10388/stat : 10388 (glucose.sh) S 10386 10388 10349 0 -1 4202496 360 5472 0 0 0 0 97 1 18 0 1 0 501531329 8912896 254 33554432000 4194304 4922060 140734715106016 18446744073709551615 232335711365 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/10388/statm: 2176 254 211 178 0 69 0 [pid=10392] ppid=10388 vsize=158948 CPUtime=221.3 cores=0,2,4,6 /proc/10392/stat : 10392 (glucose_static) R 10388 10388 10349 0 -1 4202496 151337 0 0 0 22110 20 0 0 25 0 1 0 501531429 162762752 30778 33554432000 4194304 4260849 140734607340544 18446744073709551615 4225146 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/10392/statm: 39737 30778 252 17 0 36378 0 Current children cumulated CPU time (s) 222.28 Current children cumulated vsize (KiB) 167652 [startup+282.3 s] /proc/loadavg: 1.98 1.25 0.53 3/184 10400 /proc/meminfo: memFree=25408748/32951124 swapFree=67111524/67111528 [pid=10388] ppid=10386 vsize=8704 CPUtime=0.98 cores=0,2,4,6 /proc/10388/stat : 10388 (glucose.sh) S 10386 10388 10349 0 -1 4202496 360 5472 0 0 0 0 97 1 18 0 1 0 501531329 8912896 254 33554432000 4194304 4922060 140734715106016 18446744073709551615 232335711365 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/10388/statm: 2176 254 211 178 0 69 0 [pid=10392] ppid=10388 vsize=158948 CPUtime=281.31 cores=0,2,4,6 /proc/10392/stat : 10392 (glucose_static) R 10388 10388 10349 0 -1 4202496 199073 0 0 0 28102 29 0 0 25 0 1 0 501531429 162762752 29965 33554432000 4194304 4260849 140734607340544 18446744073709551615 4224674 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/10392/statm: 39737 29965 252 17 0 36378 0 Current children cumulated CPU time (s) 282.29 Current children cumulated vsize (KiB) 167652 [startup+342.301 s] /proc/loadavg: 1.99 1.39 0.62 3/184 10401 /proc/meminfo: memFree=25413276/32951124 swapFree=67111524/67111528 [pid=10388] ppid=10386 vsize=8704 CPUtime=0.98 cores=0,2,4,6 /proc/10388/stat : 10388 (glucose.sh) S 10386 10388 10349 0 -1 4202496 360 5472 0 0 0 0 97 1 18 0 1 0 501531329 8912896 254 33554432000 4194304 4922060 140734715106016 18446744073709551615 232335711365 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/10388/statm: 2176 254 211 178 0 69 0 [pid=10392] ppid=10388 vsize=158948 CPUtime=341.31 cores=0,2,4,6 /proc/10392/stat : 10392 (glucose_static) R 10388 10388 10349 0 -1 4202496 238036 0 0 0 34096 35 0 0 25 0 1 0 501531429 162762752 28256 33554432000 4194304 4260849 140734607340544 18446744073709551615 4224643 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/10392/statm: 39737 28256 252 17 0 36378 0 Current children cumulated CPU time (s) 342.29 Current children cumulated vsize (KiB) 167652 [startup+402.301 s] /proc/loadavg: 1.99 1.50 0.70 3/184 10403 /proc/meminfo: memFree=25365012/32951124 swapFree=67111524/67111528 [pid=10388] ppid=10386 vsize=8704 CPUtime=0.98 cores=0,2,4,6 ################ # More data... # ################ /proc/10392/statm: 89848 65595 252 17 0 86489 0 Current children cumulated CPU time (s) 4362.39 Current children cumulated vsize (KiB) 368096 [startup+4422.3 s] /proc/loadavg: 2.01 2.03 1.98 3/184 10675 /proc/meminfo: memFree=25288040/32951124 swapFree=67111524/67111528 [pid=10388] ppid=10386 vsize=8704 CPUtime=0.98 cores=0,2,4,6 /proc/10388/stat : 10388 (glucose.sh) S 10386 10388 10349 0 -1 4202496 360 5472 0 0 0 0 97 1 18 0 1 0 501531329 8912896 254 33554432000 4194304 4922060 140734715106016 18446744073709551615 232335711365 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/10388/statm: 2176 254 211 178 0 69 0 [pid=10392] ppid=10388 vsize=278880 CPUtime=4421.41 cores=0,2,4,6 /proc/10392/stat : 10392 (glucose_static) R 10388 10388 10349 0 -1 4202496 2037379 0 0 0 441721 420 0 0 25 0 1 0 501531429 285573120 55086 33554432000 4194304 4260849 140734607340544 18446744073709551615 4226513 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/10392/statm: 69720 55086 252 17 0 66361 0 Current children cumulated CPU time (s) 4422.39 Current children cumulated vsize (KiB) 287584 [startup+4482.3 s] /proc/loadavg: 2.05 2.04 1.99 3/184 10677 /proc/meminfo: memFree=25200684/32951124 swapFree=67111524/67111528 [pid=10388] ppid=10386 vsize=8704 CPUtime=0.98 cores=0,2,4,6 /proc/10388/stat : 10388 (glucose.sh) S 10386 10388 10349 0 -1 4202496 360 5472 0 0 0 0 97 1 18 0 1 0 501531329 8912896 254 33554432000 4194304 4922060 140734715106016 18446744073709551615 232335711365 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/10388/statm: 2176 254 211 178 0 69 0 [pid=10392] ppid=10388 vsize=362136 CPUtime=4481.41 cores=0,2,4,6 /proc/10392/stat : 10392 (glucose_static) R 10388 10388 10349 0 -1 4202496 2050313 0 0 0 447718 423 0 0 25 0 1 0 501531429 370827264 67881 33554432000 4194304 4260849 140734607340544 18446744073709551615 4224696 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/10392/statm: 90534 67881 252 17 0 87175 0 Current children cumulated CPU time (s) 4482.39 Current children cumulated vsize (KiB) 370840 [startup+4542.3 s] /proc/loadavg: 2.02 2.03 1.99 3/184 10678 /proc/meminfo: memFree=25269476/32951124 swapFree=67111524/67111528 [pid=10388] ppid=10386 vsize=8704 CPUtime=0.98 cores=0,2,4,6 /proc/10388/stat : 10388 (glucose.sh) S 10386 10388 10349 0 -1 4202496 360 5472 0 0 0 0 97 1 18 0 1 0 501531329 8912896 254 33554432000 4194304 4922060 140734715106016 18446744073709551615 232335711365 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/10388/statm: 2176 254 211 178 0 69 0 [pid=10392] ppid=10388 vsize=280748 CPUtime=4541.41 cores=0,2,4,6 /proc/10392/stat : 10392 (glucose_static) R 10388 10388 10349 0 -1 4202496 2077403 0 0 0 453712 429 0 0 25 0 1 0 501531429 287485952 59711 33554432000 4194304 4260849 140734607340544 18446744073709551615 4224864 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/10392/statm: 70187 59711 252 17 0 66828 0 Current children cumulated CPU time (s) 4542.39 Current children cumulated vsize (KiB) 289452 [startup+4602.3 s] /proc/loadavg: 2.00 2.02 1.99 3/184 10680 /proc/meminfo: memFree=25289772/32951124 swapFree=67111524/67111528 [pid=10388] ppid=10386 vsize=8704 CPUtime=0.98 cores=0,2,4,6 /proc/10388/stat : 10388 (glucose.sh) S 10386 10388 10349 0 -1 4202496 360 5472 0 0 0 0 97 1 18 0 1 0 501531329 8912896 254 33554432000 4194304 4922060 140734715106016 18446744073709551615 232335711365 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/10388/statm: 2176 254 211 178 0 69 0 [pid=10392] ppid=10388 vsize=230844 CPUtime=4601.42 cores=0,2,4,6 /proc/10392/stat : 10392 (glucose_static) R 10388 10388 10349 0 -1 4202496 2106946 0 0 0 459707 435 0 0 25 0 1 0 501531429 236384256 51733 33554432000 4194304 4260849 140734607340544 18446744073709551615 4225080 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/10392/statm: 57711 51733 252 17 0 54352 0 Current children cumulated CPU time (s) 4602.4 Current children cumulated vsize (KiB) 239548 [startup+4662.3 s] /proc/loadavg: 2.00 2.02 1.99 3/184 10681 /proc/meminfo: memFree=25185572/32951124 swapFree=67111524/67111528 [pid=10388] ppid=10386 vsize=8704 CPUtime=0.98 cores=0,2,4,6 /proc/10388/stat : 10388 (glucose.sh) S 10386 10388 10349 0 -1 4202496 360 5472 0 0 0 0 97 1 18 0 1 0 501531329 8912896 254 33554432000 4194304 4922060 140734715106016 18446744073709551615 232335711365 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/10388/statm: 2176 254 211 178 0 69 0 [pid=10392] ppid=10388 vsize=362740 CPUtime=4661.42 cores=0,2,4,6 /proc/10392/stat : 10392 (glucose_static) R 10388 10388 10349 0 -1 4202496 2124787 0 0 0 465703 439 0 0 25 0 1 0 501531429 371445760 69390 33554432000 4194304 4260849 140734607340544 18446744073709551615 4224632 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/10392/statm: 90685 69390 252 17 0 87326 0 Current children cumulated CPU time (s) 4662.4 Current children cumulated vsize (KiB) 371444 [startup+4722.31 s] /proc/loadavg: 2.00 2.01 1.99 3/184 10683 /proc/meminfo: memFree=25217536/32951124 swapFree=67111524/67111528 [pid=10388] ppid=10386 vsize=8704 CPUtime=0.98 cores=0,2,4,6 /proc/10388/stat : 10388 (glucose.sh) S 10386 10388 10349 0 -1 4202496 360 5472 0 0 0 0 97 1 18 0 1 0 501531329 8912896 254 33554432000 4194304 4922060 140734715106016 18446744073709551615 232335711365 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/10388/statm: 2176 254 211 178 0 69 0 [pid=10392] ppid=10388 vsize=281352 CPUtime=4721.42 cores=0,2,4,6 /proc/10392/stat : 10392 (glucose_static) R 10388 10388 10349 0 -1 4202496 2153959 0 0 0 471697 445 0 0 25 0 1 0 501531429 288104448 58537 33554432000 4194304 4260849 140734607340544 18446744073709551615 4224867 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/10392/statm: 70338 58537 252 17 0 66979 0 Current children cumulated CPU time (s) 4722.4 Current children cumulated vsize (KiB) 290056 [startup+4782.3 s] /proc/loadavg: 2.00 2.00 1.99 3/184 10685 /proc/meminfo: memFree=25253816/32951124 swapFree=67111524/67111528 [pid=10388] ppid=10386 vsize=8704 CPUtime=0.98 cores=0,2,4,6 /proc/10388/stat : 10388 (glucose.sh) S 10386 10388 10349 0 -1 4202496 360 5472 0 0 0 0 97 1 18 0 1 0 501531329 8912896 254 33554432000 4194304 4922060 140734715106016 18446744073709551615 232335711365 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/10388/statm: 2176 254 211 178 0 69 0 [pid=10392] ppid=10388 vsize=231764 CPUtime=4781.42 cores=0,2,4,6 /proc/10392/stat : 10392 (glucose_static) R 10388 10388 10349 0 -1 4202496 2183647 0 0 0 477691 451 0 0 25 0 1 0 501531429 237326336 48537 33554432000 4194304 4260849 140734607340544 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/10392/statm: 57941 48537 252 17 0 54582 0 Current children cumulated CPU time (s) 4782.4 Current children cumulated vsize (KiB) 240468 [startup+4842.3 s] /proc/loadavg: 2.00 2.00 1.99 3/184 10686 /proc/meminfo: memFree=25191164/32951124 swapFree=67111524/67111528 [pid=10388] ppid=10386 vsize=8704 CPUtime=0.98 cores=0,2,4,6 /proc/10388/stat : 10388 (glucose.sh) S 10386 10388 10349 0 -1 4202496 360 5472 0 0 0 0 97 1 18 0 1 0 501531329 8912896 254 33554432000 4194304 4922060 140734715106016 18446744073709551615 232335711365 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/10388/statm: 2176 254 211 178 0 69 0 [pid=10392] ppid=10388 vsize=282320 CPUtime=4841.43 cores=0,2,4,6 /proc/10392/stat : 10392 (glucose_static) R 10388 10388 10349 0 -1 4202496 2199021 0 0 0 483687 456 0 0 25 0 1 0 501531429 289095680 63726 33554432000 4194304 4260849 140734607340544 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/10392/statm: 70580 63726 252 17 0 67221 0 Current children cumulated CPU time (s) 4842.41 Current children cumulated vsize (KiB) 291024 [startup+4902.3 s] /proc/loadavg: 2.03 2.01 2.00 3/184 10688 /proc/meminfo: memFree=25232672/32951124 swapFree=67111524/67111528 [pid=10388] ppid=10386 vsize=8704 CPUtime=0.98 cores=0,2,4,6 /proc/10388/stat : 10388 (glucose.sh) S 10386 10388 10349 0 -1 4202496 360 5472 0 0 0 0 97 1 18 0 1 0 501531329 8912896 254 33554432000 4194304 4922060 140734715106016 18446744073709551615 232335711365 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/10388/statm: 2176 254 211 178 0 69 0 [pid=10392] ppid=10388 vsize=232724 CPUtime=4901.43 cores=0,2,4,6 /proc/10392/stat : 10392 (glucose_static) R 10388 10388 10349 0 -1 4202496 2228240 0 0 0 489681 462 0 0 25 0 1 0 501531429 238309376 53669 33554432000 4194304 4260849 140734607340544 18446744073709551615 4225087 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/10392/statm: 58181 53669 252 17 0 54822 0 Current children cumulated CPU time (s) 4902.41 Current children cumulated vsize (KiB) 241428 [startup+4962.3 s] /proc/loadavg: 2.01 2.01 2.00 3/184 10689 /proc/meminfo: memFree=25174004/32951124 swapFree=67111524/67111528 [pid=10388] ppid=10386 vsize=8704 CPUtime=0.98 cores=0,2,4,6 /proc/10388/stat : 10388 (glucose.sh) S 10386 10388 10349 0 -1 4202496 360 5472 0 0 0 0 97 1 18 0 1 0 501531329 8912896 254 33554432000 4194304 4922060 140734715106016 18446744073709551615 232335711365 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/10388/statm: 2176 254 211 178 0 69 0 [pid=10392] ppid=10388 vsize=364872 CPUtime=4961.42 cores=0,2,4,6 /proc/10392/stat : 10392 (glucose_static) R 10388 10388 10349 0 -1 4202496 2242431 0 0 0 495677 465 0 0 25 0 1 0 501531429 373628928 67705 33554432000 4194304 4260849 140734607340544 18446744073709551615 4225129 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/10392/statm: 91218 67705 252 17 0 87859 0 Current children cumulated CPU time (s) 4962.4 Current children cumulated vsize (KiB) 373576 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+4999.9 s] /proc/loadavg: 2.00 2.00 2.00 3/184 10690 /proc/meminfo: memFree=25249624/32951124 swapFree=67111524/67111528 [pid=10388] ppid=10386 vsize=8704 CPUtime=0.98 cores=0,2,4,6 /proc/10388/stat : 10388 (glucose.sh) S 10386 10388 10349 0 -1 4202496 360 5472 0 0 0 0 97 1 18 0 1 0 501531329 8912896 254 33554432000 4194304 4922060 140734715106016 18446744073709551615 232335711365 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/10388/statm: 2176 254 211 178 0 69 0 [pid=10392] ppid=10388 vsize=233776 CPUtime=4999.03 cores=0,2,4,6 /proc/10392/stat : 10392 (glucose_static) R 10388 10388 10349 0 -1 4202496 2264966 0 0 0 499433 470 0 0 25 0 1 0 501531429 239386624 51601 33554432000 4194304 4260849 140734607340544 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/10392/statm: 58444 51601 252 17 0 55085 0 Current children cumulated CPU time (s) 5000.01 Current children cumulated vsize (KiB) 242480 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+4999.9 s] /proc/loadavg: 2.00 2.00 2.00 3/184 10690 /proc/meminfo: memFree=25249624/32951124 swapFree=67111524/67111528 [pid=10388] ppid=10386 vsize=8704 CPUtime=0.98 cores=0,2,4,6 /proc/10388/stat : 10388 (glucose.sh) S 10386 10388 10349 0 -1 4202496 360 5472 0 0 0 0 97 1 18 0 1 0 501531329 8912896 254 33554432000 4194304 4922060 140734715106016 18446744073709551615 232335711365 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/10388/statm: 2176 254 211 178 0 69 0 [pid=10392] ppid=10388 vsize=233776 CPUtime=4999.03 cores=0,2,4,6 /proc/10392/stat : 10392 (glucose_static) R 10388 10388 10349 0 -1 4202496 2264966 0 0 0 499433 470 0 0 25 0 1 0 501531429 239386624 51601 33554432000 4194304 4260849 140734607340544 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/10392/statm: 58444 51601 252 17 0 55085 0 Current children cumulated CPU time (s) 5000.01 Current children cumulated vsize (KiB) 242480 Child ended because it received signal 15 (SIGTERM) # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 10388 and gives # childrusage.ru_utime.tv_sec=0 # childrusage.ru_utime.tv_usec=972852 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=16997 # CPU time returned by wait4() is 0.989849 # while last known CPU time is 5000.01 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 4999.91 CPU time (s): 5000.01 CPU user time (s): 4995.3 CPU system time (s): 4.71 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 454096 getrusage(RUSAGE_CHILDREN,...) data: user time used= 0.972852 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= 5832 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= 26 runsolver used 8.68868 second user time and 18.5922 second system time The end
Begin job on node132 at 2011-04-27 12:15:32 IDJOB=3303350 IDBENCH=71353 IDSOLVER=1687 FILE ID=node132/3303350-1303899331 RUNJOBID= node132-1303899331-10367 PBS_JOBID= 13164516 Free space on /tmp= 71888 MiB SOLVER NAME= glucose 2 BENCH NAME= SAT09/CRAFTED/rbsat/random/forced/rbsat-v2400c266431gyes7.cnf COMMAND LINE= glucose.sh BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3303350-1303899331/watcher-3303350-1303899331 -o /tmp/evaluation-result-3303350-1303899331/solver-3303350-1303899331 -C 5000 -W 5100 -M 15500 glucose.sh HOME/instance-3303350-1303899331.cnf TIME LIMIT= 5000 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 92e61742efd2e322c59b4442206bebf1 RANDOM SEED=278539786 node132.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.833 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.66 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.833 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.833 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.76 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.833 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.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.833 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.77 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.833 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.67 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.833 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.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.833 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 25614228 kB Buffers: 717636 kB Cached: 6063040 kB SwapCached: 4 kB Active: 1375824 kB Inactive: 5471184 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 25614228 kB SwapTotal: 67111528 kB SwapFree: 67111524 kB Dirty: 6608 kB Writeback: 0 kB AnonPages: 66556 kB Mapped: 15120 kB Slab: 425016 kB PageTables: 5148 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 211256 kB VmallocTotal: 34359738367 kB VmallocUsed: 33868 kB VmallocChunk: 34359703231 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 71872 MiB End job on node132 at 2011-04-27 13:38:54