| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| glucose 2 | ? (TO) | 5000.05 | 5000.01 |
| Name | CRAFTED/rbsat/crafted/forced/ rbsat-v945c61409gyes10.cnf |
| MD5SUM | 601a386973128161e9173e2bdf583672 |
| Bench Category | CRAFTED (crafted instances) |
| Best result obtained on this benchmark | SAT |
| Best CPU time to get the best result obtained on this benchmark | 2.38564 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 945 |
| Number of clauses | 61409 |
| Sum of the clauses size | 123673 |
| Maximum clause length | 21 |
| Minimum clause length | 2 |
| Number of clauses of size 1 | 0 |
| Number of clauses of size 2 | 61364 |
| 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 | 45 |
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.01 c ============================================================================== 0.00/0.01 c | | ORIGINAL | LEARNT | | 0.00/0.01 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress | 0.00/0.01 c ============================================================================== 0.00/0.01 c | 0 | 61409 123673 | 18422 0 0 nan | 0.000 % | 0.00/0.12 c | 0 | 60464 200003 | -- 0 -- -- | -- | -945/76330 0.00/0.12 c ============================================================================== 0.00/0.12 c Result : #vars: 900 #clauses: 60464 #literals: 200003 0.00/0.12 c CPU time: 0.116982 s 0.00/0.12 c ============================================================================== 0.00/0.15 c 0.00/0.15 c Starting glucose 0.00/0.15 c 838.49/838.57 c This is glucose 2.0 -- based on MiniSAT (Many thanks to MiniSAT team) 838.49/838.57 c WARNING: for repeatability, setting FPU to use double precision 838.49/838.57 c ============================[ Problem Statistics ]============================= 838.49/838.57 c | | 838.49/838.57 c | Number of variables: 900 | 838.49/838.57 c | Number of clauses: 60464 | 838.49/838.57 c | Parse time: 0.01 s | 838.49/838.57 c | | 838.49/838.57 c ============================[ Search Statistics ]============================== 838.49/838.57 c | Conflicts | ORIGINAL | LEARNT | Progress | 838.49/838.57 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | | 838.49/838.57 c =============================================================================== 838.49/838.57 c | 30825 | 900 60464 200003 | 1 17791 96 | 0.000 % | 838.49/838.57 c | 106363 | 900 60464 200003 | 1 21193 48 | 0.000 % | 838.49/838.57 c | 118305 | 900 60464 200003 | 1 33135 62 | 0.000 % | 838.49/838.57 c | 403068 | 900 60464 200003 | 1 67505 53 | 0.000 % | 838.49/838.57 c | 1602691 | 900 60464 200003 | 1 95326 34 | 0.000 % | 838.49/838.57 c | 1865993 | 900 60464 200003 | 1 176421 46 | 0.000 % | 838.49/838.57 c | 1866831 | 900 60464 200003 | 1 177259 46 | 0.000 % | 838.49/838.57 c | 1974952 | 900 60464 200003 | 1 190373 46 | 0.000 % | 838.49/838.57 c | 2028855 | 900 60464 200003 | 1 146676 40 | 0.000 % | 838.49/838.57 c | 2135659 | 900 60464 200003 | 1 153278 37 | 0.000 % | 838.49/838.57 c | 2251361 | 900 60464 200003 | 1 166181 39 | 0.000 % | 838.49/838.57 c | 2484851 | 900 60464 200003 | 1 186274 39 | 0.000 % | 838.49/838.57 c | 2489604 | 900 60464 200003 | 1 191027 40 | 0.000 % | 838.49/838.57 c | 2489707 | 900 60464 200003 | 1 191130 40 | 0.000 % | 838.49/838.57 c | 2509130 | 900 60464 200003 | 1 210553 41 | 0.000 % | 838.49/838.57 c | 2663527 | 900 60464 200003 | 1 141157 34 | 0.000 % | 838.49/838.57 c | 2724103 | 900 60464 200003 | 1 201733 40 | 0.000 % | 838.49/838.57 c | 2918095 | 900 60464 200003 | 1 161531 35 | 0.000 % | 838.49/838.57 c | 3030241 | 900 60464 200003 | 1 152670 33 | 0.000 % | 838.49/838.57 c | 3240441 | 900 60464 200003 | 1 239265 40 | 0.000 % | 838.49/838.57 c | 3463720 | 900 60464 200003 | 1 207550 36 | 0.000 % | 838.49/838.57 c | 3497734 | 900 60464 200003 | 1 241564 39 | 0.000 % | 838.49/838.57 c | 3741690 | 900 60464 200003 | 1 220119 38 | 0.000 % | 838.49/838.57 c | 3754548 | 900 60464 200003 | 1 232977 39 | 0.000 % | 838.49/838.57 c | 3760346 | 900 60464 200003 | 1 238775 39 | 0.000 % | 838.49/838.57 c | 3764631 | 900 60464 200003 | 1 243060 40 | 0.000 % | 838.49/838.57 c | 3778263 | 900 60464 200003 | 1 256692 41 | 0.000 % | 838.49/838.57 c | 3778365 | 900 60464 200003 | 1 256794 41 | 0.000 % | 838.49/838.57 c | 3851888 | 900 60464 200003 | 1 193716 34 | 0.000 % | 838.49/838.57 c | 3876539 | 900 60464 200003 | 1 218367 36 | 0.000 % | 838.49/838.57 c | 3906666 | 900 60464 200003 | 1 248494 38 | 0.000 % | 838.49/838.57 c | 3919762 | 900 60464 200003 | 1 261590 38 | 0.000 % | 838.49/838.57 c | 4076837 | 900 60464 200003 | 1 279456 37 | 0.000 % | 838.49/838.57 c | 4206629 | 900 60464 200003 | 1 267448 38 | 0.000 % | 838.49/838.57 c | 4222900 | 900 60464 200003 | 1 283719 39 | 0.000 % | 838.49/838.57 c | 4235343 | 900 60464 200003 | 1 151757 30 | 0.000 % | 838.49/838.57 c | 4253740 | 900 60464 200003 | 1 170154 31 | 0.000 % | 838.49/838.57 c | 4372085 | 900 60464 200003 | 1 288499 40 | 0.000 % | 838.49/838.57 c | 4422178 | 900 60464 200003 | 1 191591 33 | 0.000 % | 1313.59/1313.65 c | 4422278 | 900 60464 200003 | 1 191691 33 | 0.000 % | 1313.59/1313.65 c | 4535493 | 900 60464 200003 | 1 155311 30 | 0.000 % | 1313.59/1313.65 c | 4564535 | 900 60464 200003 | 1 184353 33 | 0.000 % | 1313.59/1313.65 c | 4587456 | 900 60464 200003 | 1 207274 35 | 0.000 % | 1313.59/1313.65 c | 4590098 | 900 60464 200003 | 1 209916 36 | 0.000 % | 1313.59/1313.65 c | 4597944 | 900 60464 200003 | 1 217762 36 | 0.000 % | 1313.59/1313.65 c | 4670558 | 900 60464 200003 | 1 290376 40 | 0.000 % | 1313.59/1313.65 c | 4681359 | 900 60464 200003 | 1 301177 40 | 0.000 % | 1313.59/1313.65 c | 4692296 | 900 60464 200003 | 1 159915 30 | 0.000 % | 1313.59/1313.65 c | 4732526 | 900 60464 200003 | 1 200145 35 | 0.000 % | 1313.59/1313.65 c | 4846611 | 900 60464 200003 | 1 159446 29 | 0.000 % | 1313.59/1313.65 c | 4949025 | 900 60464 200003 | 1 261860 37 | 0.000 % | 1313.59/1313.65 c | 5010758 | 900 60464 200003 | 1 166193 29 | 0.000 % | 1313.59/1313.65 c | 5155548 | 900 60464 200003 | 1 310983 40 | 0.000 % | 1313.59/1313.65 c | 5159126 | 900 60464 200003 | 1 314561 40 | 0.000 % | 1313.59/1313.65 c | 5159662 | 900 60464 200003 | 1 315097 40 | 0.000 % | 1313.59/1313.65 c | 5371943 | 900 60464 200003 | 1 204770 34 | 0.000 % | 1313.59/1313.65 c | 5399371 | 900 60464 200003 | 1 232198 36 | 0.000 % | 1313.59/1313.65 c | 5406456 | 900 60464 200003 | 1 239283 37 | 0.000 % | 1313.59/1313.65 c | 5406557 | 900 60464 200003 | 1 239384 37 | 0.000 % | 1313.59/1313.65 c | 5410018 | 900 60464 200003 | 1 242845 37 | 0.000 % | 1313.59/1313.65 c | 5420448 | 900 60464 200003 | 1 253275 38 | 0.000 % | 1313.59/1313.65 c | 5420556 | 900 60464 200003 | 1 253383 38 | 0.000 % | 1313.59/1313.65 c | 5420659 | 900 60464 200003 | 1 253486 38 | 0.000 % | 1313.59/1313.65 c | 5420830 | 900 60464 200003 | 1 253657 38 | 0.000 % | 1313.59/1313.65 c | 5440781 | 900 60464 200003 | 1 273608 39 | 0.000 % | 1313.59/1313.65 c | 5447767 | 900 60464 200003 | 1 280594 40 | 0.000 % | 1313.59/1313.65 c | 5550861 | 900 60464 200003 | 1 218497 31 | 0.000 % | 1313.59/1313.65 c | 5619368 | 900 60464 200003 | 1 287004 35 | 0.000 % | 1313.59/1313.65 c | 5641221 | 900 60464 200003 | 1 308857 37 | 0.000 % | 1313.59/1313.65 c | 5694481 | 900 60464 200003 | 1 194312 29 | 0.000 % | 1313.59/1313.65 c | 5798690 | 900 60464 200003 | 1 298521 35 | 0.000 % | 1313.59/1313.65 c | 5854927 | 900 60464 200003 | 1 184353 28 | 0.000 % | 1313.59/1313.65 c | 5953041 | 900 60464 200003 | 1 282467 34 | 0.000 % | 1313.59/1313.65 c | 5968869 | 900 60464 200003 | 1 298295 35 | 0.000 % | 1313.59/1313.65 c | 6007054 | 900 60464 200003 | 1 336480 37 | 0.000 % | 1313.59/1313.65 c | 6100977 | 900 60464 200003 | 1 257401 34 | 0.000 % | 1313.59/1313.65 c | 6101079 | 900 60464 200003 | 1 257503 34 | 0.000 % | 1313.59/1313.65 c | 6137036 | 900 60464 200003 | 1 293460 36 | 0.000 % | 1313.59/1313.65 c | 6137199 | 900 60464 200003 | 1 293623 36 | 0.000 % | 1313.59/1313.65 c | 6193429 | 900 60464 200003 | 1 349853 39 | 0.000 % | 1313.59/1313.65 c | 6219863 | 900 60464 200003 | 1 200680 30 | 0.000 % | 1313.59/1313.65 c | 6284680 | 900 60464 200003 | 1 265497 34 | 0.000 % | 1313.59/1313.65 c | 6313532 | 900 60464 200003 | 1 294349 36 | 0.000 % | 1313.59/1313.65 c | 6316769 | 900 60464 200003 | 1 297586 36 | 0.000 % | 1313.59/1313.65 c | 6316984 | 900 60464 200003 | 1 297801 36 | 0.000 % | 1313.59/1313.65 c | 6356528 | 900 60464 200003 | 1 337345 38 | 0.000 % | 1313.59/1313.65 c | 6367274 | 900 60464 200003 | 1 348091 38 | 0.000 % | 1313.59/1313.65 c | 6382401 | 900 60464 200003 | 1 185011 28 | 0.000 % | 1313.59/1313.65 c | 6392307 | 900 60464 200003 | 1 194917 29 | 0.000 % | 1676.49/1676.52 c | 6422145 | 900 60464 200003 | 1 224755 31 | 0.000 % | 1676.49/1676.52 c | 6490072 | 900 60464 200003 | 1 292682 35 | 0.000 % | 1676.49/1676.52 c | 6490174 | 900 60464 200003 | 1 292784 35 | 0.000 % | 1676.49/1676.52 c | 6496161 | 900 60464 200003 | 1 298771 35 | 0.000 % | 1676.49/1676.52 c | 6577749 | 900 60464 200003 | 1 199565 30 | 0.000 % | 1676.49/1676.52 c | 6581672 | 900 60464 200003 | 1 203488 31 | 0.000 % | 1676.49/1676.52 c | 6636434 | 900 60464 200003 | 1 258250 35 | 0.000 % | 1676.49/1676.52 c | 6728586 | 900 60464 200003 | 1 350402 39 | 0.000 % | 1676.49/1676.52 c | 6732636 | 900 60464 200003 | 1 354452 40 | 0.000 % | 1676.49/1676.52 c | 6813298 | 900 60464 200003 | 1 251714 34 | 0.000 % | 1676.49/1676.52 c | 6847785 | 900 60464 200003 | 1 286201 36 | 0.000 % | 1676.49/1676.52 c | 6847886 | 900 60464 200003 | 1 286302 36 | 0.000 % | 1676.49/1676.52 c | 6850771 | 900 60464 200003 | 1 289187 36 | 0.000 % | 1676.49/1676.52 c | 6864858 | 900 60464 200003 | 1 303274 37 | 0.000 % | 1676.49/1676.52 c | 7019476 | 900 60464 200003 | 1 271898 34 | 0.000 % | 1676.49/1676.52 c | 7034603 | 900 60464 200003 | 1 287025 35 | 0.000 % | 1676.49/1676.52 c | 7055340 | 900 60464 200003 | 1 307762 36 | 0.000 % | 1676.49/1676.52 c | 7093416 | 900 60464 200003 | 1 345838 38 | 0.000 % | 1676.49/1676.52 c | 7093668 | 900 60464 200003 | 1 346090 38 | 0.000 % | 1676.49/1676.52 c | 7095593 | 900 60464 200003 | 1 348015 38 | 0.000 % | 1676.49/1676.52 c | 7107453 | 900 60464 200003 | 1 359875 38 | 0.000 % | 1676.49/1676.52 c | 7108066 | 900 60464 200003 | 1 360488 38 | 0.000 % | 1676.49/1676.52 c | 7132759 | 900 60464 200003 | 1 196580 28 | 0.000 % | 1676.49/1676.52 c | 7199405 | 900 60464 200003 | 1 263226 33 | 0.000 % | 1676.49/1676.52 c | 7200284 | 900 60464 200003 | 1 264105 33 | 0.000 % | 1676.49/1676.52 c | 7209536 | 900 60464 200003 | 1 273357 34 | 0.000 % | 1676.49/1676.52 c | 7215104 | 900 60464 200003 | 1 278925 34 | 0.000 % | 1676.49/1676.52 c | 7317400 | 900 60464 200003 | 1 381221 38 | 0.000 % | 1676.49/1676.52 c | 7325996 | 900 60464 200003 | 1 198623 28 | 0.000 % | 1676.49/1676.52 c | 7347433 | 900 60464 200003 | 1 220060 30 | 0.000 % | 1676.49/1676.52 c | 7354440 | 900 60464 200003 | 1 227067 30 | 0.000 % | 1676.49/1676.52 c | 7365601 | 900 60464 200003 | 1 238228 31 | 0.000 % | 1676.49/1676.52 c | 7366240 | 900 60464 200003 | 1 238867 31 | 0.000 % | 1676.49/1676.52 c | 7386256 | 900 60464 200003 | 1 258883 32 | 0.000 % | 1676.49/1676.52 c | 7389691 | 900 60464 200003 | 1 262318 33 | 0.000 % | 1676.49/1676.52 c | 7455937 | 900 60464 200003 | 1 328564 37 | 0.000 % | 1676.49/1676.52 c | 7473311 | 900 60464 200003 | 1 345938 37 | 0.000 % | 1676.49/1676.52 c | 7490279 | 900 60464 200003 | 1 362906 38 | 0.000 % | 1676.49/1676.52 c | 7490380 | 900 60464 200003 | 1 363007 38 | 0.000 % | 1676.49/1676.52 c | 7493465 | 900 60464 200003 | 1 366092 38 | 0.000 % | 1676.49/1676.52 c | 7553568 | 900 60464 200003 | 1 232394 31 | 0.000 % | 1676.49/1676.52 c | 7575483 | 900 60464 200003 | 1 254309 33 | 0.000 % | 1676.49/1676.52 c | 7595594 | 900 60464 200003 | 1 274420 35 | 0.000 % | 1676.49/1676.52 c | 7595734 | 900 60464 200003 | 1 274560 35 | 0.000 % | 1676.49/1676.52 c | 7597856 | 900 60464 200003 | 1 276682 35 | 0.000 % | 1676.49/1676.52 c | 7614842 | 900 60464 200003 | 1 293668 36 | 0.000 % | 1676.49/1676.52 c | 7634029 | 900 60464 200003 | 1 312855 37 | 0.000 % | 1676.49/1676.52 c | 7645540 | 900 60464 200003 | 1 324366 38 | 0.000 % | 1676.49/1676.52 c | 7645640 | 900 60464 200003 | 1 324466 38 | 0.000 % | 1676.49/1676.52 c | 7645881 | 900 60464 200003 | 1 324707 38 | 0.000 % | 1955.20/1955.22 c | 7645981 | 900 60464 200003 | 1 324807 38 | 0.000 % | 1955.20/1955.22 c | 7647340 | 900 60464 200003 | 1 326166 38 | 0.000 % | 1955.20/1955.22 c | 7670358 | 900 60464 200003 | 1 349184 39 | 0.000 % | 1955.20/1955.22 c | 7670459 | 900 60464 200003 | 1 349285 39 | 0.000 % | 1955.20/1955.22 c | 7678990 | 900 60464 200003 | 1 357816 40 | 0.000 % | 1955.20/1955.22 c | 7679090 | 900 60464 200003 | 1 357916 40 | 0.000 % | 1955.20/1955.22 c | 7679191 | 900 60464 200003 | 1 358017 40 | 0.000 % | 1955.20/1955.22 c | 7680888 | 900 60464 200003 | 1 359714 40 | 0.000 % | 1955.20/1955.22 c | 7824438 | 900 60464 200003 | 1 306860 34 | 0.000 % | 1955.20/1955.22 c | 7844138 | 900 60464 200003 | 1 326560 35 | 0.000 % | 1955.20/1955.22 c | 7886548 | 900 60464 200003 | 1 368970 38 | 0.000 % | 1955.20/1955.22 c | 7886648 | 900 60464 200003 | 1 369070 38 | 0.000 % | 1955.20/1955.22 c | 7886748 | 900 60464 200003 | 1 369170 38 | 0.000 % | 1955.20/1955.22 c | 7898974 | 900 60464 200003 | 1 381396 39 | 0.000 % | 1955.20/1955.22 c | 7933716 | 900 60464 200003 | 1 217141 29 | 0.000 % | 1955.20/1955.22 c | 7962632 | 900 60464 200003 | 1 246057 32 | 0.000 % | 1955.20/1955.22 c | 7963184 | 900 60464 200003 | 1 246609 32 | 0.000 % | 1955.20/1955.22 c | 7981361 | 900 60464 200003 | 1 264786 33 | 0.000 % | 1955.20/1955.22 c | 7982984 | 900 60464 200003 | 1 266409 33 | 0.000 % | 1955.20/1955.22 c | 7985624 | 900 60464 200003 | 1 269049 33 | 0.000 % | 1955.20/1955.22 c | 8033214 | 900 60464 200003 | 1 316639 36 | 0.000 % | 1955.20/1955.22 c | 8160879 | 900 60464 200003 | 1 242707 31 | 0.000 % | 1955.20/1955.22 c | 8161135 | 900 60464 200003 | 1 242963 31 | 0.000 % | 1955.20/1955.22 c | 8210677 | 900 60464 200003 | 1 292505 33 | 0.000 % | 1955.20/1955.22 c | 8230577 | 900 60464 200003 | 1 312405 35 | 0.000 % | 1955.20/1955.22 c | 8230677 | 900 60464 200003 | 1 312505 35 | 0.000 % | 1955.20/1955.22 c | 8266212 | 900 60464 200003 | 1 348040 37 | 0.000 % | 1955.20/1955.22 c | 8271142 | 900 60464 200003 | 1 352970 37 | 0.000 % | 1955.20/1955.22 c | 8298172 | 900 60464 200003 | 1 380000 38 | 0.000 % | 1955.20/1955.22 c | 8314293 | 900 60464 200003 | 1 396121 39 | 0.000 % | 1955.20/1955.22 c | 8343009 | 900 60464 200003 | 1 220632 28 | 0.000 % | 1955.20/1955.22 c | 8347022 | 900 60464 200003 | 1 224645 29 | 0.000 % | 1955.20/1955.22 c | 8360274 | 900 60464 200003 | 1 237897 30 | 0.000 % | 1955.20/1955.22 c | 8389757 | 900 60464 200003 | 1 267380 31 | 0.000 % | 1955.20/1955.22 c | 8389857 | 900 60464 200003 | 1 267480 31 | 0.000 % | 1955.20/1955.22 c | 8401373 | 900 60464 200003 | 1 278996 32 | 0.000 % | 1955.20/1955.22 c | 8401634 | 900 60464 200003 | 1 279257 32 | 0.000 % | 1955.20/1955.22 c | 8423800 | 900 60464 200003 | 1 301423 33 | 0.000 % | 1955.20/1955.22 c | 8428622 | 900 60464 200003 | 1 306245 33 | 0.000 % | 1955.20/1955.22 c | 8428944 | 900 60464 200003 | 1 306567 33 | 0.000 % | 1955.20/1955.22 c | 8432088 | 900 60464 200003 | 1 309711 34 | 0.000 % | 1955.20/1955.22 c | 8432570 | 900 60464 200003 | 1 310193 34 | 0.000 % | 1955.20/1955.22 c | 8442159 | 900 60464 200003 | 1 319782 34 | 0.000 % | 1955.20/1955.22 c | 8442296 | 900 60464 200003 | 1 319919 34 | 0.000 % | 1955.20/1955.22 c | 8443566 | 900 60464 200003 | 1 321189 34 | 0.000 % | 1955.20/1955.22 c | 8457150 | 900 60464 200003 | 1 334773 35 | 0.000 % | 1955.20/1955.22 c | 8529183 | 900 60464 200003 | 1 406806 38 | 0.000 % | 1955.20/1955.22 c | 8529374 | 900 60464 200003 | 1 406997 38 | 0.000 % | 1955.20/1955.22 c | 8529474 | 900 60464 200003 | 1 407097 38 | 0.000 % | 1955.20/1955.22 c | 8531030 | 900 60464 200003 | 1 408653 38 | 0.000 % | 2185.21/2185.26 c | 8536261 | 900 60464 200003 | 1 207087 26 | 0.000 % | 2185.21/2185.26 c | 8573078 | 900 60464 200003 | 1 243904 32 | 0.000 % | 2185.21/2185.26 c | 8573178 | 900 60464 200003 | 1 244004 32 | 0.000 % | 2185.21/2185.26 c | 8573278 | 900 60464 200003 | 1 244104 32 | 0.000 % | 2185.21/2185.26 c | 8585862 | 900 60464 200003 | 1 256688 33 | 0.000 % | 2185.21/2185.26 c | 8595880 | 900 60464 200003 | 1 266706 34 | 0.000 % | 2185.21/2185.26 c | 8603164 | 900 60464 200003 | 1 273990 35 | 0.000 % | 2185.21/2185.26 c | 8603299 | 900 60464 200003 | 1 274125 35 | 0.000 % | 2185.21/2185.26 c | 8604003 | 900 60464 200003 | 1 274829 35 | 0.000 % | 2185.21/2185.26 c | 8615686 | 900 60464 200003 | 1 286512 35 | 0.000 % | 2185.21/2185.26 c | 8640780 | 900 60464 200003 | 1 311606 37 | 0.000 % | 2185.21/2185.26 c | 8642880 | 900 60464 200003 | 1 313706 37 | 0.000 % | 2185.21/2185.26 c | 8664811 | 900 60464 200003 | 1 335637 37 | 0.000 % | 2185.21/2185.26 c | 8674979 | 900 60464 200003 | 1 345805 38 | 0.000 % | 2185.21/2185.26 c | 8748794 | 900 60464 200003 | 1 210216 27 | 0.000 % | 2185.21/2185.26 c | 8764750 | 900 60464 200003 | 1 226172 29 | 0.000 % | 2185.21/2185.26 c | 8777279 | 900 60464 200003 | 1 238701 30 | 0.000 % | 2185.21/2185.26 c | 8811168 | 900 60464 200003 | 1 272590 33 | 0.000 % | 2185.21/2185.26 c | 8826828 | 900 60464 200003 | 1 288250 34 | 0.000 % | 2185.21/2185.26 c | 8866736 | 900 60464 200003 | 1 328158 36 | 0.000 % | 2185.21/2185.26 c | 8899548 | 900 60464 200003 | 1 360970 37 | 0.000 % | 2185.21/2185.26 c | 8940110 | 900 60464 200003 | 1 401532 38 | 0.000 % | 2185.21/2185.26 c | 8944604 | 900 60464 200003 | 1 406026 38 | 0.000 % | 2185.21/2185.26 c | 9002539 | 900 60464 200003 | 1 251961 30 | 0.000 % | 2185.21/2185.26 c | 9027304 | 900 60464 200003 | 1 276726 31 | 0.000 % | 2185.21/2185.26 c | 9030196 | 900 60464 200003 | 1 279618 31 | 0.000 % | 2185.21/2185.26 c | 9030296 | 900 60464 200003 | 1 279718 31 | 0.000 % | 2185.21/2185.26 c | 9087565 | 900 60464 200003 | 1 336987 34 | 0.000 % | 2185.21/2185.26 c | 9088757 | 900 60464 200003 | 1 338179 34 | 0.000 % | 2185.21/2185.26 c | 9103392 | 900 60464 200003 | 1 352814 36 | 0.000 % | 2185.21/2185.26 c | 9103594 | 900 60464 200003 | 1 353016 36 | 0.000 % | 2185.21/2185.26 c | 9103819 | 900 60464 200003 | 1 353241 36 | 0.000 % | 2185.21/2185.26 c | 9115500 | 900 60464 200003 | 1 364922 36 | 0.000 % | 2185.21/2185.26 c | 9128755 | 900 60464 200003 | 1 378177 36 | 0.000 % | 2185.21/2185.26 c | 9163884 | 900 60464 200003 | 1 413306 38 | 0.000 % | 2185.21/2185.26 c | 9164882 | 900 60464 200003 | 1 414304 38 | 0.000 % | 2185.21/2185.26 c | 9164982 | 900 60464 200003 | 1 414404 38 | 0.000 % | 2185.21/2185.26 c | 9165084 | 900 60464 200003 | 1 414506 38 | 0.000 % | 2185.21/2185.26 c | 9169061 | 900 60464 200003 | 1 418483 38 | 0.000 % | 2185.21/2185.26 c | 9169460 | 900 60464 200003 | 1 418882 38 | 0.000 % | 2185.21/2185.26 c | 9170123 | 900 60464 200003 | 1 419545 38 | 0.000 % | 2185.21/2185.26 c | 9179018 | 900 60464 200003 | 1 428440 39 | 0.000 % | 2185.21/2185.26 c | 9179118 | 900 60464 200003 | 1 428540 39 | 0.000 % | 2185.21/2185.26 c | 9179218 | 900 60464 200003 | 1 428640 39 | 0.000 % | 2185.21/2185.26 c | 9181328 | 900 60464 200003 | 1 216145 27 | 0.000 % | 2185.21/2185.26 c | 9226936 | 900 60464 200003 | 1 261753 32 | 0.000 % | 2185.21/2185.26 c | 9238780 | 900 60464 200003 | 1 273597 33 | 0.000 % | 2185.21/2185.26 c | 9245566 | 900 60464 200003 | 1 280383 33 | 0.000 % | 2185.21/2185.26 c | 9245666 | 900 60464 200003 | 1 280483 33 | 0.000 % | 2185.21/2185.26 c | 9268939 | 900 60464 200003 | 1 303756 35 | 0.000 % | 2369.41/2369.45 c | 9269040 | 900 60464 200003 | 1 303857 35 | 0.000 % | 2369.41/2369.45 c | 9269141 | 900 60464 200003 | 1 303958 35 | 0.000 % | 2369.41/2369.45 c | 9297801 | 900 60464 200003 | 1 332618 36 | 0.000 % | 2369.41/2369.45 c | 9301289 | 900 60464 200003 | 1 336106 36 | 0.000 % | 2369.41/2369.45 c | 9301394 | 900 60464 200003 | 1 336211 36 | 0.000 % | 2369.41/2369.45 c | 9303244 | 900 60464 200003 | 1 338061 36 | 0.000 % | 2369.41/2369.45 c | 9303400 | 900 60464 200003 | 1 338217 36 | 0.000 % | 2369.41/2369.45 c | 9304549 | 900 60464 200003 | 1 339366 36 | 0.000 % | 2369.41/2369.45 c | 9304649 | 900 60464 200003 | 1 339466 36 | 0.000 % | 2369.41/2369.45 c | 9304750 | 900 60464 200003 | 1 339567 36 | 0.000 % | 2369.41/2369.45 c | 9322652 | 900 60464 200003 | 1 357469 37 | 0.000 % | 2369.41/2369.45 c | 9460831 | 900 60464 200003 | 1 278446 31 | 0.000 % | 2369.41/2369.45 c | 9461564 | 900 60464 200003 | 1 279179 32 | 0.000 % | 2369.41/2369.45 c | 9464848 | 900 60464 200003 | 1 282463 32 | 0.000 % | 2369.41/2369.45 c | 9465070 | 900 60464 200003 | 1 282685 32 | 0.000 % | 2369.41/2369.45 c | 9465171 | 900 60464 200003 | 1 282786 32 | 0.000 % | 2369.41/2369.45 c | 9465778 | 900 60464 200003 | 1 283393 32 | 0.000 % | 2369.41/2369.45 c | 9465878 | 900 60464 200003 | 1 283493 32 | 0.000 % | 2369.41/2369.45 c | 9483162 | 900 60464 200003 | 1 300777 33 | 0.000 % | 2369.41/2369.45 c | 9488496 | 900 60464 200003 | 1 306111 34 | 0.000 % | 2369.41/2369.45 c | 9488596 | 900 60464 200003 | 1 306211 34 | 0.000 % | 2369.41/2369.45 c | 9496108 | 900 60464 200003 | 1 313723 34 | 0.000 % | 2369.41/2369.45 c | 9497316 | 900 60464 200003 | 1 314931 34 | 0.000 % | 2369.41/2369.45 c | 9503475 | 900 60464 200003 | 1 321090 35 | 0.000 % | 2369.41/2369.45 c | 9515509 | 900 60464 200003 | 1 333124 35 | 0.000 % | 2369.41/2369.45 c | 9516699 | 900 60464 200003 | 1 334314 35 | 0.000 % | 2369.41/2369.45 c | 9530306 | 900 60464 200003 | 1 347921 36 | 0.000 % | 2369.41/2369.45 c | 9533690 | 900 60464 200003 | 1 351305 36 | 0.000 % | 2369.41/2369.45 c | 9539962 | 900 60464 200003 | 1 357577 36 | 0.000 % | 2369.41/2369.45 c | 9540832 | 900 60464 200003 | 1 358447 36 | 0.000 % | 2369.41/2369.45 c | 9548548 | 900 60464 200003 | 1 366163 37 | 0.000 % | 2369.41/2369.45 c | 9565295 | 900 60464 200003 | 1 382910 38 | 0.000 % | 2369.41/2369.45 c | 9566424 | 900 60464 200003 | 1 384039 38 | 0.000 % | 2369.41/2369.45 c | 9574562 | 900 60464 200003 | 1 392177 38 | 0.000 % | 2369.41/2369.45 c | 9581128 | 900 60464 200003 | 1 398743 38 | 0.000 % | 2369.41/2369.45 c | 9617532 | 900 60464 200003 | 1 435147 39 | 0.000 % | 2369.41/2369.45 c | 9617632 | 900 60464 200003 | 1 435247 39 | 0.000 % | 2369.41/2369.45 c | 9677443 | 900 60464 200003 | 1 275252 31 | 0.000 % | 2369.41/2369.45 c | 9678160 | 900 60464 200003 | 1 275969 31 | 0.000 % | 2369.41/2369.45 c | 9683536 | 900 60464 200003 | 1 281345 31 | 0.000 % | 2369.41/2369.45 c | 9709861 | 900 60464 200003 | 1 307670 33 | 0.000 % | 2369.41/2369.45 c | 9755508 | 900 60464 200003 | 1 353317 35 | 0.000 % | 2369.41/2369.45 c | 9773915 | 900 60464 200003 | 1 371724 36 | 0.000 % | 2369.41/2369.45 c | 9774016 | 900 60464 200003 | 1 371825 36 | 0.000 % | 2369.41/2369.45 c | 9774117 | 900 60464 200003 | 1 371926 36 | 0.000 % | 2369.41/2369.45 c | 9785118 | 900 60464 200003 | 1 382927 36 | 0.000 % | 2369.41/2369.45 c | 9785218 | 900 60464 200003 | 1 383027 36 | 0.000 % | 2369.41/2369.45 c | 9803712 | 900 60464 200003 | 1 401521 37 | 0.000 % | 2369.41/2369.45 c | 9804018 | 900 60464 200003 | 1 401827 37 | 0.000 % | 2369.41/2369.45 c | 9814132 | 900 60464 200003 | 1 411941 38 | 0.000 % | 2514.11/2514.15 c | 9821731 | 900 60464 200003 | 1 419540 38 | 0.000 % | 2514.11/2514.15 c | 9825454 | 900 60464 200003 | 1 423263 38 | 0.000 % | 2514.11/2514.15 c | 9827165 | 900 60464 200003 | 1 424974 38 | 0.000 % | 2514.11/2514.15 c | 9840581 | 900 60464 200003 | 1 438390 39 | 0.000 % | 2514.11/2514.15 c | 9852434 | 900 60464 200003 | 1 227844 27 | 0.000 % | 2514.11/2514.15 c | 9886826 | 900 60464 200003 | 1 262236 32 | 0.000 % | 2514.11/2514.15 c | 9886995 | 900 60464 200003 | 1 262405 32 | 0.000 % | 2514.11/2514.15 c | 9887861 | 900 60464 200003 | 1 263271 32 | 0.000 % | 2514.11/2514.15 c | 9888035 | 900 60464 200003 | 1 263445 32 | 0.000 % | 2514.11/2514.15 c | 9889701 | 900 60464 200003 | 1 265111 32 | 0.000 % | 2514.11/2514.15 c | 9889865 | 900 60464 200003 | 1 265275 32 | 0.000 % | 2514.11/2514.15 c | 9894658 | 900 60464 200003 | 1 270068 32 | 0.000 % | 2514.11/2514.15 c | 9901970 | 900 60464 200003 | 1 277380 33 | 0.000 % | 2514.11/2514.15 c | 9909678 | 900 60464 200003 | 1 285088 34 | 0.000 % | 2514.11/2514.15 c | 9912254 | 900 60464 200003 | 1 287664 34 | 0.000 % | 2514.11/2514.15 c | 9912356 | 900 60464 200003 | 1 287766 34 | 0.000 % | 2514.11/2514.15 c | 9928415 | 900 60464 200003 | 1 303825 35 | 0.000 % | 2514.11/2514.15 c | 9934066 | 900 60464 200003 | 1 309476 35 | 0.000 % | 2514.11/2514.15 c | 9963511 | 900 60464 200003 | 1 338921 37 | 0.000 % | 2514.11/2514.15 c | 9964005 | 900 60464 200003 | 1 339415 37 | 0.000 % | 2514.11/2514.15 c | 9991969 | 900 60464 200003 | 1 367379 38 | 0.000 % | 2514.11/2514.15 c | 10017456 | 900 60464 200003 | 1 392866 39 | 0.000 % | 2514.11/2514.15 c | 10020273 | 900 60464 200003 | 1 395683 39 | 0.000 % | 2514.11/2514.15 c | 10020374 | 900 60464 200003 | 1 395784 39 | 0.000 % | 2514.11/2514.15 c | 10031288 | 900 60464 200003 | 1 406698 40 | 0.000 % | 2514.11/2514.15 c | 10053825 | 900 60464 200003 | 1 429235 40 | 0.000 % | 2514.11/2514.15 c | 10073069 | 900 60464 200003 | 1 448479 41 | 0.000 % | 2514.11/2514.15 c | 10078630 | 900 60464 200003 | 1 229041 27 | 0.000 % | 2514.11/2514.15 c | 10080218 | 900 60464 200003 | 1 230629 28 | 0.000 % | 2514.11/2514.15 c | 10092768 | 900 60464 200003 | 1 243179 29 | 0.000 % | 2514.11/2514.15 c | 10098186 | 900 60464 200003 | 1 248597 29 | 0.000 % | 2514.11/2514.15 c | 10099662 | 900 60464 200003 | 1 250073 29 | 0.000 % | 2514.11/2514.15 c | 10112189 | 900 60464 200003 | 1 262600 30 | 0.000 % | 2514.11/2514.15 c | 10140228 | 900 60464 200003 | 1 290639 32 | 0.000 % | 2514.11/2514.15 c | 10146201 | 900 60464 200003 | 1 296612 32 | 0.000 % | 2514.11/2514.15 c | 10146301 | 900 60464 200003 | 1 296712 32 | 0.000 % | 2514.11/2514.15 c | 10151494 | 900 60464 200003 | 1 301905 32 | 0.000 % | 2514.11/2514.15 c | 10156737 | 900 60464 200003 | 1 307148 33 | 0.000 % | 2514.11/2514.15 c | 10159450 | 900 60464 200003 | 1 309861 33 | 0.000 % | 2514.11/2514.15 c | 10160243 | 900 60464 200003 | 1 310654 33 | 0.000 % | 2514.11/2514.15 c | 10160550 | 900 60464 200003 | 1 310961 33 | 0.000 % | 2514.11/2514.15 c | 10162092 | 900 60464 200003 | 1 312503 33 | 0.000 % | 2514.11/2514.15 c | 10163691 | 900 60464 200003 | 1 314102 33 | 0.000 % | 2514.11/2514.15 c | 10169074 | 900 60464 200003 | 1 319485 34 | 0.000 % | 2514.11/2514.15 c | 10171682 | 900 60464 200003 | 1 322093 34 | 0.000 % | 2514.11/2514.15 c | 10171807 | 900 60464 200003 | 1 322218 34 | 0.000 % | 2514.11/2514.15 c | 10172171 | 900 60464 200003 | 1 322582 34 | 0.000 % | 2514.11/2514.15 c | 10197355 | 900 60464 200003 | 1 347766 35 | 0.000 % | 2514.11/2514.15 c | 10236215 | 900 60464 200003 | 1 386626 36 | 0.000 % | 2917.32/2917.34 c | 10236343 | 900 60464 200003 | 1 386754 36 | 0.000 % | 2917.32/2917.34 c | 10246796 | 900 60464 200003 | 1 397207 37 | 0.000 % | 2917.32/2917.34 c | 10250874 | 900 60464 200003 | 1 401285 37 | 0.000 % | 2917.32/2917.34 c | 10264998 | 900 60464 200003 | 1 415409 37 | 0.000 % | 2917.32/2917.34 c | 10270074 | 900 60464 200003 | 1 420485 38 | 0.000 % | 2917.32/2917.34 c | 10288689 | 900 60464 200003 | 1 439100 38 | 0.000 % | 2917.32/2917.34 c | 10348921 | 900 60464 200003 | 1 271742 30 | 0.000 % | 2917.32/2917.34 c | 10349877 | 900 60464 200003 | 1 272698 30 | 0.000 % | 2917.32/2917.34 c | 10369142 | 900 60464 200003 | 1 291963 31 | 0.000 % | 2917.32/2917.34 c | 10376966 | 900 60464 200003 | 1 299787 32 | 0.000 % | 2917.32/2917.34 c | 10454579 | 900 60464 200003 | 1 377400 35 | 0.000 % | 2917.32/2917.34 c | 10478598 | 900 60464 200003 | 1 401419 35 | 0.000 % | 2917.32/2917.34 c | 10534875 | 900 60464 200003 | 1 457696 36 | 0.000 % | 2917.32/2917.34 c | 10621606 | 900 60464 200003 | 1 314224 31 | 0.000 % | 2917.32/2917.34 c | 10649799 | 900 60464 200003 | 1 342417 33 | 0.000 % | 2917.32/2917.34 c | 10653433 | 900 60464 200003 | 1 346051 33 | 0.000 % | 2917.32/2917.34 c | 10737058 | 900 60464 200003 | 1 429676 36 | 0.000 % | 2917.32/2917.34 c | 10857294 | 900 60464 200003 | 1 317121 32 | 0.000 % | 2917.32/2917.34 c | 10885166 | 900 60464 200003 | 1 344993 33 | 0.000 % | 2917.32/2917.34 c | 10904138 | 900 60464 200003 | 1 363965 34 | 0.000 % | 2917.32/2917.34 c | 11049685 | 900 60464 200003 | 1 274110 30 | 0.000 % | 2917.32/2917.34 c | 11090858 | 900 60464 200003 | 1 315283 33 | 0.000 % | 2917.32/2917.34 c | 11100654 | 900 60464 200003 | 1 325079 34 | 0.000 % | 2917.32/2917.34 c | 11136618 | 900 60464 200003 | 1 361043 35 | 0.000 % | 2917.32/2917.34 c | 11159432 | 900 60464 200003 | 1 383857 36 | 0.000 % | 2917.32/2917.34 c | 11187189 | 900 60464 200003 | 1 411614 37 | 0.000 % | 2917.32/2917.34 c | 11241572 | 900 60464 200003 | 1 465997 39 | 0.000 % | 2917.32/2917.34 c | 11311450 | 900 60464 200003 | 1 297875 32 | 0.000 % | 2917.32/2917.34 c | 11342775 | 900 60464 200003 | 1 329200 33 | 0.000 % | 2917.32/2917.34 c | 11342877 | 900 60464 200003 | 1 329302 33 | 0.000 % | 2917.32/2917.34 c | 11363433 | 900 60464 200003 | 1 349858 34 | 0.000 % | 2917.32/2917.34 c | 11394239 | 900 60464 200003 | 1 380664 35 | 0.000 % | 2917.32/2917.34 c | 11405858 | 900 60464 200003 | 1 392283 36 | 0.000 % | 2917.32/2917.34 c | 11407400 | 900 60464 200003 | 1 393825 36 | 0.000 % | 2917.32/2917.34 c | 11421442 | 900 60464 200003 | 1 407867 36 | 0.000 % | 2917.32/2917.34 c | 11435567 | 900 60464 200003 | 1 421992 36 | 0.000 % | 2917.32/2917.34 c | 11441094 | 900 60464 200003 | 1 427519 37 | 0.000 % | 2917.32/2917.34 c | 11448828 | 900 60464 200003 | 1 435253 37 | 0.000 % | 2917.32/2917.34 c | 11486889 | 900 60464 200003 | 1 473314 38 | 0.000 % | 2917.32/2917.34 c | 11533654 | 900 60464 200003 | 1 279473 31 | 0.000 % | 2917.32/2917.34 c | 11537482 | 900 60464 200003 | 1 283301 31 | 0.000 % | 2917.32/2917.34 c | 11537692 | 900 60464 200003 | 1 283511 31 | 0.000 % | 2917.32/2917.34 c | 11539885 | 900 60464 200003 | 1 285704 31 | 0.000 % | 2917.32/2917.34 c | 11539987 | 900 60464 200003 | 1 285806 31 | 0.000 % | 2917.32/2917.34 c | 11561264 | 900 60464 200003 | 1 307083 33 | 0.000 % | 2917.32/2917.34 c | 11627216 | 900 60464 200003 | 1 373035 36 | 0.000 % | 2917.32/2917.34 c | 11635456 | 900 60464 200003 | 1 381275 36 | 0.000 % | 2917.32/2917.34 c | 11636022 | 900 60464 200003 | 1 381841 36 | 0.000 % | 2917.32/2917.34 c | 11644215 | 900 60464 200003 | 1 390034 36 | 0.000 % | 2917.32/2917.34 c | 11721438 | 900 60464 200003 | 1 467257 39 | 0.000 % | 3306.83/3306.82 c | 11723810 | 900 60464 200003 | 1 469629 39 | 0.000 % | 3306.83/3306.82 c | 11773248 | 900 60464 200003 | 1 275864 29 | 0.000 % | 3306.83/3306.82 c | 11775488 | 900 60464 200003 | 1 278104 30 | 0.000 % | 3306.83/3306.82 c | 11804393 | 900 60464 200003 | 1 307009 31 | 0.000 % | 3306.83/3306.82 c | 11816946 | 900 60464 200003 | 1 319562 32 | 0.000 % | 3306.83/3306.82 c | 11817997 | 900 60464 200003 | 1 320613 32 | 0.000 % | 3306.83/3306.82 c | 11863681 | 900 60464 200003 | 1 366297 35 | 0.000 % | 3306.83/3306.82 c | 11953491 | 900 60464 200003 | 1 456107 38 | 0.000 % | 3306.83/3306.82 c | 11980344 | 900 60464 200003 | 1 482960 40 | 0.000 % | 3306.83/3306.82 c | 11980445 | 900 60464 200003 | 1 483061 40 | 0.000 % | 3306.83/3306.82 c | 11985990 | 900 60464 200003 | 1 488606 40 | 0.000 % | 3306.83/3306.82 c | 12006765 | 900 60464 200003 | 1 263583 28 | 0.000 % | 3306.83/3306.82 c | 12062169 | 900 60464 200003 | 1 318987 32 | 0.000 % | 3306.83/3306.82 c | 12062269 | 900 60464 200003 | 1 319087 32 | 0.000 % | 3306.83/3306.82 c | 12092976 | 900 60464 200003 | 1 349794 33 | 0.000 % | 3306.83/3306.82 c | 12116293 | 900 60464 200003 | 1 373111 34 | 0.000 % | 3306.83/3306.82 c | 12123204 | 900 60464 200003 | 1 380022 34 | 0.000 % | 3306.83/3306.82 c | 12165781 | 900 60464 200003 | 1 422599 36 | 0.000 % | 3306.83/3306.82 c | 12188600 | 900 60464 200003 | 1 445418 37 | 0.000 % | 3306.83/3306.82 c | 12207349 | 900 60464 200003 | 1 464167 37 | 0.000 % | 3306.83/3306.82 c | 12349994 | 900 60464 200003 | 1 358414 32 | 0.000 % | 3306.83/3306.82 c | 12446652 | 900 60464 200003 | 1 455072 35 | 0.000 % | 3306.83/3306.82 c | 12455474 | 900 60464 200003 | 1 463894 35 | 0.000 % | 3306.83/3306.82 c | 12476943 | 900 60464 200003 | 1 485363 36 | 0.000 % | 3306.83/3306.82 c | 12484240 | 900 60464 200003 | 1 492660 36 | 0.000 % | 3306.83/3306.82 c | 12491755 | 900 60464 200003 | 1 500175 36 | 0.000 % | 3306.83/3306.82 c | 12495097 | 900 60464 200003 | 1 252511 26 | 0.000 % | 3306.83/3306.82 c | 12559416 | 900 60464 200003 | 1 316830 30 | 0.000 % | 3306.83/3306.82 c | 12576628 | 900 60464 200003 | 1 334042 30 | 0.000 % | 3306.83/3306.82 c | 12685528 | 900 60464 200003 | 1 442942 34 | 0.000 % | 3306.83/3306.82 c | 12703707 | 900 60464 200003 | 1 461121 35 | 0.000 % | 3306.83/3306.82 c | 12727326 | 900 60464 200003 | 1 484740 35 | 0.000 % | 3306.83/3306.82 c | 12735888 | 900 60464 200003 | 1 493302 35 | 0.000 % | 3306.83/3306.82 c | 12762511 | 900 60464 200003 | 1 266332 27 | 0.000 % | 3306.83/3306.82 c | 12768567 | 900 60464 200003 | 1 272388 27 | 0.000 % | 3306.83/3306.82 c | 12798267 | 900 60464 200003 | 1 302088 29 | 0.000 % | 3306.83/3306.82 c | 12799613 | 900 60464 200003 | 1 303434 29 | 0.000 % | 3306.83/3306.82 c | 12802915 | 900 60464 200003 | 1 306736 29 | 0.000 % | 3306.83/3306.82 c | 12829857 | 900 60464 200003 | 1 333678 31 | 0.000 % | 3306.83/3306.82 c | 12873618 | 900 60464 200003 | 1 377439 34 | 0.000 % | 3306.83/3306.82 c | 12873889 | 900 60464 200003 | 1 377710 34 | 0.000 % | 3306.83/3306.82 c | 13009227 | 900 60464 200003 | 1 256847 26 | 0.000 % | 3306.83/3306.82 c | 13070730 | 900 60464 200003 | 1 318350 32 | 0.000 % | 3306.83/3306.82 c | 13089152 | 900 60464 200003 | 1 336772 33 | 0.000 % | 3306.83/3306.82 c | 13126367 | 900 60464 200003 | 1 373987 35 | 0.000 % | 3306.83/3306.82 c | 13142255 | 900 60464 200003 | 1 389875 36 | 0.000 % | 3306.83/3306.82 c | 13223898 | 900 60464 200003 | 1 471518 38 | 0.000 % | 3306.83/3306.82 c | 13244867 | 900 60464 200003 | 1 492487 39 | 0.000 % | 3306.83/3306.82 c | 13245651 | 900 60464 200003 | 1 493271 39 | 0.000 % | 3306.83/3306.82 c | 13256242 | 900 60464 200003 | 1 503862 39 | 0.000 % | 3577.33/3577.33 c | 13372474 | 900 60464 200003 | 1 361293 32 | 0.000 % | 3577.33/3577.33 c | 13402719 | 900 60464 200003 | 1 391538 34 | 0.000 % | 3577.33/3577.33 c | 13436438 | 900 60464 200003 | 1 425257 35 | 0.000 % | 3577.33/3577.33 c | 13451282 | 900 60464 200003 | 1 440101 35 | 0.000 % | 3577.33/3577.33 c | 13498563 | 900 60464 200003 | 1 487382 37 | 0.000 % | 3577.33/3577.33 c | 13512735 | 900 60464 200003 | 1 501554 37 | 0.000 % | 3577.33/3577.33 c | 13534900 | 900 60464 200003 | 1 262323 26 | 0.000 % | 3577.33/3577.33 c | 13540505 | 900 60464 200003 | 1 267928 26 | 0.000 % | 3577.33/3577.33 c | 13595893 | 900 60464 200003 | 1 323316 31 | 0.000 % | 3577.33/3577.33 c | 13612368 | 900 60464 200003 | 1 339791 31 | 0.000 % | 3577.33/3577.33 c | 13625300 | 900 60464 200003 | 1 352723 32 | 0.000 % | 3577.33/3577.33 c | 13625402 | 900 60464 200003 | 1 352825 32 | 0.000 % | 3577.33/3577.33 c | 13627802 | 900 60464 200003 | 1 355225 32 | 0.000 % | 3577.33/3577.33 c | 13650062 | 900 60464 200003 | 1 377485 33 | 0.000 % | 3577.33/3577.33 c | 13652106 | 900 60464 200003 | 1 379529 33 | 0.000 % | 3577.33/3577.33 c | 13736227 | 900 60464 200003 | 1 463650 35 | 0.000 % | 3577.33/3577.33 c | 13744388 | 900 60464 200003 | 1 471811 35 | 0.000 % | 3577.33/3577.33 c | 13759554 | 900 60464 200003 | 1 486977 36 | 0.000 % | 3577.33/3577.33 c | 13843656 | 900 60464 200003 | 1 307081 28 | 0.000 % | 3577.33/3577.33 c | 13848516 | 900 60464 200003 | 1 311941 29 | 0.000 % | 3577.33/3577.33 c | 13849461 | 900 60464 200003 | 1 312886 29 | 0.000 % | 3577.33/3577.33 c | 13862481 | 900 60464 200003 | 1 325906 30 | 0.000 % | 3577.33/3577.33 c | 13866706 | 900 60464 200003 | 1 330131 30 | 0.000 % | 3577.33/3577.33 c | 13880315 | 900 60464 200003 | 1 343740 31 | 0.000 % | 3577.33/3577.33 c | 13899342 | 900 60464 200003 | 1 362767 31 | 0.000 % | 3577.33/3577.33 c | 13958503 | 900 60464 200003 | 1 421928 35 | 0.000 % | 3577.33/3577.33 c | 13972947 | 900 60464 200003 | 1 436372 36 | 0.000 % | 3577.33/3577.33 c | 13973048 | 900 60464 200003 | 1 436473 36 | 0.000 % | 3577.33/3577.33 c | 14021666 | 900 60464 200003 | 1 485091 38 | 0.000 % | 3577.33/3577.33 c | 14021870 | 900 60464 200003 | 1 485295 38 | 0.000 % | 3577.33/3577.33 c | 14022661 | 900 60464 200003 | 1 486086 38 | 0.000 % | 3577.33/3577.33 c | 14043157 | 900 60464 200003 | 1 506582 39 | 0.000 % | 3577.33/3577.33 c | 14054410 | 900 60464 200003 | 1 517835 39 | 0.000 % | 3577.33/3577.33 c | 14076336 | 900 60464 200003 | 1 273159 27 | 0.000 % | 3577.33/3577.33 c | 14106284 | 900 60464 200003 | 1 303107 29 | 0.000 % | 3577.33/3577.33 c | 14106388 | 900 60464 200003 | 1 303211 29 | 0.000 % | 3577.33/3577.33 c | 14121670 | 900 60464 200003 | 1 318493 30 | 0.000 % | 3577.33/3577.33 c | 14128196 | 900 60464 200003 | 1 325019 30 | 0.000 % | 3577.33/3577.33 c | 14135765 | 900 60464 200003 | 1 332588 31 | 0.000 % | 3577.33/3577.33 c | 14161178 | 900 60464 200003 | 1 358001 33 | 0.000 % | 3577.33/3577.33 c | 14189144 | 900 60464 200003 | 1 385967 34 | 0.000 % | 3577.33/3577.33 c | 14216942 | 900 60464 200003 | 1 413765 36 | 0.000 % | 3577.33/3577.33 c | 14231909 | 900 60464 200003 | 1 428732 36 | 0.000 % | 3577.33/3577.33 c | 14234778 | 900 60464 200003 | 1 431601 36 | 0.000 % | 3577.33/3577.33 c | 14236308 | 900 60464 200003 | 1 433131 36 | 0.000 % | 3577.33/3577.33 c | 14272057 | 900 60464 200003 | 1 468880 37 | 0.000 % | 3577.33/3577.33 c | 14309015 | 900 60464 200003 | 1 505838 39 | 0.000 % | 3577.33/3577.33 c | 14316410 | 900 60464 200003 | 1 513233 39 | 0.000 % | 3577.33/3577.33 c | 14323582 | 900 60464 200003 | 1 520405 39 | 0.000 % | 3577.33/3577.33 c | 14359289 | 900 60464 200003 | 1 286917 29 | 0.000 % | 3760.53/3760.51 c | 14373253 | 900 60464 200003 | 1 300881 30 | 0.000 % | 3760.53/3760.51 c | 14379931 | 900 60464 200003 | 1 307559 30 | 0.000 % | 3760.53/3760.51 c | 14388740 | 900 60464 200003 | 1 316368 31 | 0.000 % | 3760.53/3760.51 c | 14390130 | 900 60464 200003 | 1 317758 31 | 0.000 % | 3760.53/3760.51 c | 14390283 | 900 60464 200003 | 1 317911 31 | 0.000 % | 3760.53/3760.51 c | 14405061 | 900 60464 200003 | 1 332689 32 | 0.000 % | 3760.53/3760.51 c | 14419944 | 900 60464 200003 | 1 347572 32 | 0.000 % | 3760.53/3760.51 c | 14426673 | 900 60464 200003 | 1 354301 33 | 0.000 % | 3760.53/3760.51 c | 14454845 | 900 60464 200003 | 1 382473 34 | 0.000 % | 3760.53/3760.51 c | 14462101 | 900 60464 200003 | 1 389729 34 | 0.000 % | 3760.53/3760.51 c | 14503581 | 900 60464 200003 | 1 431209 36 | 0.000 % | 3760.53/3760.51 c | 14528278 | 900 60464 200003 | 1 455906 37 | 0.000 % | 3760.53/3760.51 c | 14528737 | 900 60464 200003 | 1 456365 37 | 0.000 % | 3760.53/3760.51 c | 14538729 | 900 60464 200003 | 1 466357 37 | 0.000 % | 3760.53/3760.51 c | 14542329 | 900 60464 200003 | 1 469957 37 | 0.000 % | 3760.53/3760.51 c | 14592511 | 900 60464 200003 | 1 520139 37 | 0.000 % | 3760.53/3760.51 c | 14608540 | 900 60464 200003 | 1 536168 38 | 0.000 % | 3760.53/3760.51 c | 14619064 | 900 60464 200003 | 1 274889 26 | 0.000 % | 3760.53/3760.51 c | 14634378 | 900 60464 200003 | 1 290203 27 | 0.000 % | 3760.53/3760.51 c | 14681926 | 900 60464 200003 | 1 337751 31 | 0.000 % | 3760.53/3760.51 c | 14683689 | 900 60464 200003 | 1 339514 31 | 0.000 % | 3760.53/3760.51 c | 14707400 | 900 60464 200003 | 1 363225 32 | 0.000 % | 3760.53/3760.51 c | 14708345 | 900 60464 200003 | 1 364170 32 | 0.000 % | 3760.53/3760.51 c | 14710193 | 900 60464 200003 | 1 366018 32 | 0.000 % | 3760.53/3760.51 c | 14736862 | 900 60464 200003 | 1 392687 33 | 0.000 % | 3760.53/3760.51 c | 14747715 | 900 60464 200003 | 1 403540 34 | 0.000 % | 3760.53/3760.51 c | 14754747 | 900 60464 200003 | 1 410572 34 | 0.000 % | 3760.53/3760.51 c | 14761280 | 900 60464 200003 | 1 417105 34 | 0.000 % | 3760.53/3760.51 c | 14781483 | 900 60464 200003 | 1 437308 35 | 0.000 % | 3760.53/3760.51 c | 14791392 | 900 60464 200003 | 1 447217 35 | 0.000 % | 3760.53/3760.51 c | 14807397 | 900 60464 200003 | 1 463222 35 | 0.000 % | 3760.53/3760.51 c | 14809053 | 900 60464 200003 | 1 464878 35 | 0.000 % | 3760.53/3760.51 c | 14809155 | 900 60464 200003 | 1 464980 35 | 0.000 % | 3760.53/3760.51 c | 14815604 | 900 60464 200003 | 1 471429 36 | 0.000 % | 3760.53/3760.51 c | 14818618 | 900 60464 200003 | 1 474443 36 | 0.000 % | 3760.53/3760.51 c | 14831503 | 900 60464 200003 | 1 487328 36 | 0.000 % | 3760.53/3760.51 c | 14846101 | 900 60464 200003 | 1 501926 36 | 0.000 % | 3760.53/3760.51 c | 14849690 | 900 60464 200003 | 1 505515 36 | 0.000 % | 3760.53/3760.51 c | 14866463 | 900 60464 200003 | 1 522288 37 | 0.000 % | 3760.53/3760.51 c | 14869891 | 900 60464 200003 | 1 525716 37 | 0.000 % | 3760.53/3760.51 c | 14870519 | 900 60464 200003 | 1 526344 37 | 0.000 % | 3760.53/3760.51 c | 14871021 | 900 60464 200003 | 1 526846 37 | 0.000 % | 3760.53/3760.51 c | 14871977 | 900 60464 200003 | 1 527802 37 | 0.000 % | 3760.53/3760.51 c | 14921982 | 900 60464 200003 | 1 303403 28 | 0.000 % | 3760.53/3760.51 c | 14922105 | 900 60464 200003 | 1 303526 28 | 0.000 % | 3760.53/3760.51 c | 14941750 | 900 60464 200003 | 1 323171 29 | 0.000 % | 3760.53/3760.51 c | 14945674 | 900 60464 200003 | 1 327095 29 | 0.000 % | 3760.53/3760.51 c | 14945775 | 900 60464 200003 | 1 327196 29 | 0.000 % | 3760.53/3760.51 c | 14955603 | 900 60464 200003 | 1 337024 30 | 0.000 % | 3760.53/3760.51 c | 14972113 | 900 60464 200003 | 1 353534 31 | 0.000 % | 4029.04/4029.02 c | 14974736 | 900 60464 200003 | 1 356157 31 | 0.000 % | 4029.04/4029.02 c | 14981473 | 900 60464 200003 | 1 362894 31 | 0.000 % | 4029.04/4029.02 c | 14984913 | 900 60464 200003 | 1 366334 32 | 0.000 % | 4029.04/4029.02 c | 14987441 | 900 60464 200003 | 1 368862 32 | 0.000 % | 4029.04/4029.02 c | 15002725 | 900 60464 200003 | 1 384146 32 | 0.000 % | 4029.04/4029.02 c | 15023258 | 900 60464 200003 | 1 404679 33 | 0.000 % | 4029.04/4029.02 c | 15060214 | 900 60464 200003 | 1 441635 34 | 0.000 % | 4029.04/4029.02 c | 15065611 | 900 60464 200003 | 1 447032 34 | 0.000 % | 4029.04/4029.02 c | 15082989 | 900 60464 200003 | 1 464410 35 | 0.000 % | 4029.04/4029.02 c | 15093591 | 900 60464 200003 | 1 475012 35 | 0.000 % | 4029.04/4029.02 c | 15107591 | 900 60464 200003 | 1 489012 36 | 0.000 % | 4029.04/4029.02 c | 15146449 | 900 60464 200003 | 1 527870 36 | 0.000 % | 4029.04/4029.02 c | 15155930 | 900 60464 200003 | 1 537351 37 | 0.000 % | 4029.04/4029.02 c | 15162214 | 900 60464 200003 | 1 543635 37 | 0.000 % | 4029.04/4029.02 c | 15250974 | 900 60464 200003 | 1 355403 31 | 0.000 % | 4029.04/4029.02 c | 15254333 | 900 60464 200003 | 1 358762 31 | 0.000 % | 4029.04/4029.02 c | 15286024 | 900 60464 200003 | 1 390453 32 | 0.000 % | 4029.04/4029.02 c | 15286124 | 900 60464 200003 | 1 390553 32 | 0.000 % | 4029.04/4029.02 c | 15301747 | 900 60464 200003 | 1 406176 33 | 0.000 % | 4029.04/4029.02 c | 15355855 | 900 60464 200003 | 1 460284 35 | 0.000 % | 4029.04/4029.02 c | 15361683 | 900 60464 200003 | 1 466112 35 | 0.000 % | 4029.04/4029.02 c | 15389638 | 900 60464 200003 | 1 494067 36 | 0.000 % | 4029.04/4029.02 c | 15414134 | 900 60464 200003 | 1 518563 37 | 0.000 % | 4029.04/4029.02 c | 15433953 | 900 60464 200003 | 1 538382 37 | 0.000 % | 4029.04/4029.02 c | 15455948 | 900 60464 200003 | 1 280772 26 | 0.000 % | 4029.04/4029.02 c | 15489242 | 900 60464 200003 | 1 314066 29 | 0.000 % | 4029.04/4029.02 c | 15489342 | 900 60464 200003 | 1 314166 29 | 0.000 % | 4029.04/4029.02 c | 15512963 | 900 60464 200003 | 1 337787 30 | 0.000 % | 4029.04/4029.02 c | 15537210 | 900 60464 200003 | 1 362034 32 | 0.000 % | 4029.04/4029.02 c | 15540617 | 900 60464 200003 | 1 365441 32 | 0.000 % | 4029.04/4029.02 c | 15543102 | 900 60464 200003 | 1 367926 32 | 0.000 % | 4029.04/4029.02 c | 15599778 | 900 60464 200003 | 1 424602 35 | 0.000 % | 4029.04/4029.02 c | 15617294 | 900 60464 200003 | 1 442118 35 | 0.000 % | 4029.04/4029.02 c | 15617656 | 900 60464 200003 | 1 442480 35 | 0.000 % | 4029.04/4029.02 c | 15617784 | 900 60464 200003 | 1 442608 35 | 0.000 % | 4029.04/4029.02 c | 15627473 | 900 60464 200003 | 1 452297 36 | 0.000 % | 4029.04/4029.02 c | 15629720 | 900 60464 200003 | 1 454544 36 | 0.000 % | 4029.04/4029.02 c | 15637187 | 900 60464 200003 | 1 462011 36 | 0.000 % | 4029.04/4029.02 c | 15641585 | 900 60464 200003 | 1 466409 36 | 0.000 % | 4029.04/4029.02 c | 15663211 | 900 60464 200003 | 1 488035 37 | 0.000 % | 4029.04/4029.02 c | 15663886 | 900 60464 200003 | 1 488710 37 | 0.000 % | 4029.04/4029.02 c | 15664462 | 900 60464 200003 | 1 489286 37 | 0.000 % | 4029.04/4029.02 c | 15688316 | 900 60464 200003 | 1 513140 37 | 0.000 % | 4029.04/4029.02 c | 15691419 | 900 60464 200003 | 1 516243 37 | 0.000 % | 4029.04/4029.02 c | 15727279 | 900 60464 200003 | 1 552103 38 | 0.000 % | 4029.04/4029.02 c | 15742020 | 900 60464 200003 | 1 284633 26 | 0.000 % | 4029.04/4029.02 c | 15742124 | 900 60464 200003 | 1 284737 26 | 0.000 % | 4029.04/4029.02 c | 15743707 | 900 60464 200003 | 1 286320 26 | 0.000 % | 4029.04/4029.02 c | 15743863 | 900 60464 200003 | 1 286476 26 | 0.000 % | 4029.04/4029.02 c | 15752457 | 900 60464 200003 | 1 295070 27 | 0.000 % | 4311.04/4311.04 c | 15777079 | 900 60464 200003 | 1 319692 28 | 0.000 % | 4311.04/4311.04 c | 15800658 | 900 60464 200003 | 1 343271 30 | 0.000 % | 4311.04/4311.04 c | 15829054 | 900 60464 200003 | 1 371667 31 | 0.000 % | 4311.04/4311.04 c | 15837613 | 900 60464 200003 | 1 380226 31 | 0.000 % | 4311.04/4311.04 c | 15857650 | 900 60464 200003 | 1 400263 32 | 0.000 % | 4311.04/4311.04 c | 15915449 | 900 60464 200003 | 1 458062 34 | 0.000 % | 4311.04/4311.04 c | 15927661 | 900 60464 200003 | 1 470274 35 | 0.000 % | 4311.04/4311.04 c | 15953362 | 900 60464 200003 | 1 495975 36 | 0.000 % | 4311.04/4311.04 c | 15973286 | 900 60464 200003 | 1 515899 36 | 0.000 % | 4311.04/4311.04 c | 15991052 | 900 60464 200003 | 1 533665 37 | 0.000 % | 4311.04/4311.04 c | 16064391 | 900 60464 200003 | 1 322205 28 | 0.000 % | 4311.04/4311.04 c | 16065187 | 900 60464 200003 | 1 323001 28 | 0.000 % | 4311.04/4311.04 c | 16081320 | 900 60464 200003 | 1 339134 30 | 0.000 % | 4311.04/4311.04 c | 16098715 | 900 60464 200003 | 1 356529 31 | 0.000 % | 4311.04/4311.04 c | 16098815 | 900 60464 200003 | 1 356629 31 | 0.000 % | 4311.04/4311.04 c | 16113381 | 900 60464 200003 | 1 371195 31 | 0.000 % | 4311.04/4311.04 c | 16125797 | 900 60464 200003 | 1 383611 32 | 0.000 % | 4311.04/4311.04 c | 16136453 | 900 60464 200003 | 1 394267 33 | 0.000 % | 4311.04/4311.04 c | 16146514 | 900 60464 200003 | 1 404328 33 | 0.000 % | 4311.04/4311.04 c | 16149631 | 900 60464 200003 | 1 407445 33 | 0.000 % | 4311.04/4311.04 c | 16160899 | 900 60464 200003 | 1 418713 34 | 0.000 % | 4311.04/4311.04 c | 16175838 | 900 60464 200003 | 1 433652 35 | 0.000 % | 4311.04/4311.04 c | 16204661 | 900 60464 200003 | 1 462475 35 | 0.000 % | 4311.04/4311.04 c | 16204762 | 900 60464 200003 | 1 462576 35 | 0.000 % | 4311.04/4311.04 c | 16205405 | 900 60464 200003 | 1 463219 35 | 0.000 % | 4311.04/4311.04 c | 16206860 | 900 60464 200003 | 1 464674 35 | 0.000 % | 4311.04/4311.04 c | 16240571 | 900 60464 200003 | 1 498385 36 | 0.000 % | 4311.04/4311.04 c | 16241418 | 900 60464 200003 | 1 499232 36 | 0.000 % | 4311.04/4311.04 c | 16284742 | 900 60464 200003 | 1 542556 37 | 0.000 % | 4311.04/4311.04 c | 16285556 | 900 60464 200003 | 1 543370 37 | 0.000 % | 4311.04/4311.04 c | 16304191 | 900 60464 200003 | 1 562005 38 | 0.000 % | 4311.04/4311.04 c | 16325641 | 900 60464 200003 | 1 296057 26 | 0.000 % | 4311.04/4311.04 c | 16370837 | 900 60464 200003 | 1 341253 29 | 0.000 % | 4311.04/4311.04 c | 16435815 | 900 60464 200003 | 1 406231 31 | 0.000 % | 4311.04/4311.04 c | 16440752 | 900 60464 200003 | 1 411168 31 | 0.000 % | 4311.04/4311.04 c | 16454650 | 900 60464 200003 | 1 425066 32 | 0.000 % | 4311.04/4311.04 c | 16466371 | 900 60464 200003 | 1 436787 33 | 0.000 % | 4311.04/4311.04 c | 16571485 | 900 60464 200003 | 1 541901 36 | 0.000 % | 4311.04/4311.04 c | 16607217 | 900 60464 200003 | 1 577633 37 | 0.000 % | 4311.04/4311.04 c | 16607317 | 900 60464 200003 | 1 577733 37 | 0.000 % | 4311.04/4311.04 c | 16633598 | 900 60464 200003 | 1 314013 28 | 0.000 % | 4311.04/4311.04 c | 16634072 | 900 60464 200003 | 1 314487 28 | 0.000 % | 4311.04/4311.04 c | 16654940 | 900 60464 200003 | 1 335355 29 | 0.000 % | 4311.04/4311.04 c | 16669644 | 900 60464 200003 | 1 350059 30 | 0.000 % | 4311.04/4311.04 c | 16724407 | 900 60464 200003 | 1 404822 32 | 0.000 % | 4311.04/4311.04 c | 16792188 | 900 60464 200003 | 1 472603 35 | 0.000 % | 4311.04/4311.04 c | 16825795 | 900 60464 200003 | 1 506210 35 | 0.000 % | 4311.04/4311.04 c | 16846713 | 900 60464 200003 | 1 527128 35 | 0.000 % | 4311.04/4311.04 c | 16850274 | 900 60464 200003 | 1 530689 36 | 0.000 % | 4311.04/4311.04 c | 16850465 | 900 60464 200003 | 1 530880 36 | 0.000 % | 4517.75/4517.77 c | 16860352 | 900 60464 200003 | 1 540767 36 | 0.000 % | 4517.75/4517.77 c | 16867701 | 900 60464 200003 | 1 548116 36 | 0.000 % | 4517.75/4517.77 c | 16868343 | 900 60464 200003 | 1 548758 36 | 0.000 % | 4517.75/4517.77 c | 16869805 | 900 60464 200003 | 1 550220 36 | 0.000 % | 4517.75/4517.77 c | 16926484 | 900 60464 200003 | 1 314301 27 | 0.000 % | 4517.75/4517.77 c | 16947114 | 900 60464 200003 | 1 334931 28 | 0.000 % | 4517.75/4517.77 c | 16974786 | 900 60464 200003 | 1 362603 29 | 0.000 % | 4517.75/4517.77 c | 16980170 | 900 60464 200003 | 1 367987 29 | 0.000 % | 4517.75/4517.77 c | 16980483 | 900 60464 200003 | 1 368300 29 | 0.000 % | 4517.75/4517.77 c | 17000392 | 900 60464 200003 | 1 388209 30 | 0.000 % | 4517.75/4517.77 c | 17001824 | 900 60464 200003 | 1 389641 30 | 0.000 % | 4517.75/4517.77 c | 17060028 | 900 60464 200003 | 1 447845 31 | 0.000 % | 4517.75/4517.77 c | 17062243 | 900 60464 200003 | 1 450060 31 | 0.000 % | 4517.75/4517.77 c | 17067137 | 900 60464 200003 | 1 454954 31 | 0.000 % | 4517.75/4517.77 c | 17072396 | 900 60464 200003 | 1 460213 32 | 0.000 % | 4517.75/4517.77 c | 17080980 | 900 60464 200003 | 1 468797 32 | 0.000 % | 4517.75/4517.77 c | 17093808 | 900 60464 200003 | 1 481625 32 | 0.000 % | 4517.75/4517.77 c | 17096791 | 900 60464 200003 | 1 484608 32 | 0.000 % | 4517.75/4517.77 c | 17104858 | 900 60464 200003 | 1 492675 33 | 0.000 % | 4517.75/4517.77 c | 17107616 | 900 60464 200003 | 1 495433 33 | 0.000 % | 4517.75/4517.77 c | 17123722 | 900 60464 200003 | 1 511539 33 | 0.000 % | 4517.75/4517.77 c | 17140734 | 900 60464 200003 | 1 528551 33 | 0.000 % | 4517.75/4517.77 c | 17141383 | 900 60464 200003 | 1 529200 33 | 0.000 % | 4517.75/4517.77 c | 17189504 | 900 60464 200003 | 1 577321 34 | 0.000 % | 4517.75/4517.77 c | 17196659 | 900 60464 200003 | 1 584476 35 | 0.000 % | 4517.75/4517.77 c | 17198825 | 900 60464 200003 | 1 586642 35 | 0.000 % | 4517.75/4517.77 c | 17199279 | 900 60464 200003 | 1 587096 35 | 0.000 % | 4517.75/4517.77 c | 17235982 | 900 60464 200003 | 1 328603 26 | 0.000 % | 4517.75/4517.77 c | 17263547 | 900 60464 200003 | 1 356168 28 | 0.000 % | 4517.75/4517.77 c | 17274991 | 900 60464 200003 | 1 367612 29 | 0.000 % | 4517.75/4517.77 c | 17277791 | 900 60464 200003 | 1 370412 29 | 0.000 % | 4517.75/4517.77 c | 17341988 | 900 60464 200003 | 1 434609 31 | 0.000 % | 4517.75/4517.77 c | 17343046 | 900 60464 200003 | 1 435667 31 | 0.000 % | 4517.75/4517.77 c | 17353766 | 900 60464 200003 | 1 446387 31 | 0.000 % | 4517.75/4517.77 c | 17361549 | 900 60464 200003 | 1 454170 31 | 0.000 % | 4517.75/4517.77 c | 17361649 | 900 60464 200003 | 1 454270 31 | 0.000 % | 4517.75/4517.77 c | 17365169 | 900 60464 200003 | 1 457790 31 | 0.000 % | 4517.75/4517.77 c | 17373789 | 900 60464 200003 | 1 466410 31 | 0.000 % | 4517.75/4517.77 c | 17378953 | 900 60464 200003 | 1 471574 31 | 0.000 % | 4517.75/4517.77 c | 17382808 | 900 60464 200003 | 1 475429 31 | 0.000 % | 4517.75/4517.77 c | 17383146 | 900 60464 200003 | 1 475767 31 | 0.000 % | 4517.75/4517.77 c | 17383604 | 900 60464 200003 | 1 476225 31 | 0.000 % | 4517.75/4517.77 c | 17383707 | 900 60464 200003 | 1 476328 31 | 0.000 % | 4517.75/4517.77 c | 17391386 | 900 60464 200003 | 1 484007 32 | 0.000 % | 4517.75/4517.77 c | 17432469 | 900 60464 200003 | 1 525090 33 | 0.000 % | 4517.75/4517.77 c | 17432593 | 900 60464 200003 | 1 525214 33 | 0.000 % | 4517.75/4517.77 c | 17434010 | 900 60464 200003 | 1 526631 33 | 0.000 % | 4517.75/4517.77 c | 17436665 | 900 60464 200003 | 1 529286 33 | 0.000 % | 4517.75/4517.77 c | 17438535 | 900 60464 200003 | 1 531156 33 | 0.000 % | 4517.75/4517.77 c | 17442343 | 900 60464 200003 | 1 534964 33 | 0.000 % | 4679.05/4679.03 c | 17449034 | 900 60464 200003 | 1 541655 33 | 0.000 % | 4679.05/4679.03 c | 17459565 | 900 60464 200003 | 1 552186 33 | 0.000 % | 4679.05/4679.03 c | 17478373 | 900 60464 200003 | 1 570994 34 | 0.000 % | 4679.05/4679.03 c | 17506432 | 900 60464 200003 | 1 301252 25 | 0.000 % | 4679.05/4679.03 c | 17511704 | 900 60464 200003 | 1 306524 25 | 0.000 % | 4679.05/4679.03 c | 17512942 | 900 60464 200003 | 1 307762 26 | 0.000 % | 4679.05/4679.03 c | 17518977 | 900 60464 200003 | 1 313797 26 | 0.000 % | 4679.05/4679.03 c | 17523913 | 900 60464 200003 | 1 318733 26 | 0.000 % | 4679.05/4679.03 c | 17562231 | 900 60464 200003 | 1 357051 29 | 0.000 % | 4679.05/4679.03 c | 17562369 | 900 60464 200003 | 1 357189 29 | 0.000 % | 4679.05/4679.03 c | 17571413 | 900 60464 200003 | 1 366233 29 | 0.000 % | 4679.05/4679.03 c | 17572494 | 900 60464 200003 | 1 367314 30 | 0.000 % | 4679.05/4679.03 c | 17585054 | 900 60464 200003 | 1 379874 30 | 0.000 % | 4679.05/4679.03 c | 17586683 | 900 60464 200003 | 1 381503 30 | 0.000 % | 4679.05/4679.03 c | 17618223 | 900 60464 200003 | 1 413043 32 | 0.000 % | 4679.05/4679.03 c | 17618328 | 900 60464 200003 | 1 413148 32 | 0.000 % | 4679.05/4679.03 c | 17623552 | 900 60464 200003 | 1 418372 32 | 0.000 % | 4679.05/4679.03 c | 17630583 | 900 60464 200003 | 1 425403 32 | 0.000 % | 4679.05/4679.03 c | 17661556 | 900 60464 200003 | 1 456376 34 | 0.000 % | 4679.05/4679.03 c | 17670788 | 900 60464 200003 | 1 465608 34 | 0.000 % | 4679.05/4679.03 c | 17674190 | 900 60464 200003 | 1 469010 34 | 0.000 % | 4679.05/4679.03 c | 17674737 | 900 60464 200003 | 1 469557 34 | 0.000 % | 4679.05/4679.03 c | 17695079 | 900 60464 200003 | 1 489899 35 | 0.000 % | 4679.05/4679.03 c | 17704682 | 900 60464 200003 | 1 499502 35 | 0.000 % | 4679.05/4679.03 c | 17713156 | 900 60464 200003 | 1 507976 35 | 0.000 % | 4679.05/4679.03 c | 17723880 | 900 60464 200003 | 1 518700 36 | 0.000 % | 4679.05/4679.03 c | 17743857 | 900 60464 200003 | 1 538677 36 | 0.000 % | 4679.05/4679.03 c | 17759656 | 900 60464 200003 | 1 554476 36 | 0.000 % | 4679.05/4679.03 c | 17759757 | 900 60464 200003 | 1 554577 36 | 0.000 % | 4679.05/4679.03 c | 17764507 | 900 60464 200003 | 1 559327 37 | 0.000 % | 4679.05/4679.03 c | 17773651 | 900 60464 200003 | 1 568471 37 | 0.000 % | 4679.05/4679.03 c | 17773751 | 900 60464 200003 | 1 568571 37 | 0.000 % | 4679.05/4679.03 c | 17774141 | 900 60464 200003 | 1 568961 37 | 0.000 % | 4679.05/4679.03 c | 17791739 | 900 60464 200003 | 1 586559 37 | 0.000 % | 4679.05/4679.03 c | 17793335 | 900 60464 200003 | 1 588155 37 | 0.000 % | 4679.05/4679.03 c | 17794469 | 900 60464 200003 | 1 589289 37 | 0.000 % | 4679.05/4679.03 c | 17806332 | 900 60464 200003 | 1 300753 25 | 0.000 % | 4679.05/4679.03 c | 17838749 | 900 60464 200003 | 1 333170 28 | 0.000 % | 4679.05/4679.03 c | 17847120 | 900 60464 200003 | 1 341541 28 | 0.000 % | 4679.05/4679.03 c | 17855506 | 900 60464 200003 | 1 349927 29 | 0.000 % | 4679.05/4679.03 c | 17856653 | 900 60464 200003 | 1 351074 29 | 0.000 % | 4679.05/4679.03 c | 17863980 | 900 60464 200003 | 1 358401 29 | 0.000 % | 4679.05/4679.03 c | 17869902 | 900 60464 200003 | 1 364323 29 | 0.000 % | 4679.05/4679.03 c | 17878880 | 900 60464 200003 | 1 373301 30 | 0.000 % | 4679.05/4679.03 c | 17888738 | 900 60464 200003 | 1 383159 30 | 0.000 % | 4679.05/4679.03 c | 17906843 | 900 60464 200003 | 1 401264 31 | 0.000 % | 4679.05/4679.03 c | 17922644 | 900 60464 200003 | 1 417065 32 | 0.000 % | 4679.05/4679.03 c | 17922955 | 900 60464 200003 | 1 417376 32 | 0.000 % | 4679.05/4679.03 c | 17928892 | 900 60464 200003 | 1 423313 32 | 0.000 % | 4679.05/4679.03 c | 17933738 | 900 60464 200003 | 1 428159 32 | 0.000 % | 4884.45/4884.44 c | 17934849 | 900 60464 200003 | 1 429270 32 | 0.000 % | 4884.45/4884.44 c | 17950837 | 900 60464 200003 | 1 445258 32 | 0.000 % | 4884.45/4884.44 c | 17982723 | 900 60464 200003 | 1 477144 33 | 0.000 % | 4884.45/4884.44 c | 17986088 | 900 60464 200003 | 1 480509 33 | 0.000 % | 4884.45/4884.44 c | 17998720 | 900 60464 200003 | 1 493141 33 | 0.000 % | 4884.45/4884.44 c | 18024868 | 900 60464 200003 | 1 519289 34 | 0.000 % | 4884.45/4884.44 c | 18036653 | 900 60464 200003 | 1 531074 35 | 0.000 % | 4884.45/4884.44 c | 18037850 | 900 60464 200003 | 1 532271 35 | 0.000 % | 4884.45/4884.44 c | 18037951 | 900 60464 200003 | 1 532372 35 | 0.000 % | 4884.45/4884.44 c | 18087625 | 900 60464 200003 | 1 582046 35 | 0.000 % | 4884.45/4884.44 c | 18090148 | 900 60464 200003 | 1 584569 36 | 0.000 % | 4884.45/4884.44 c | 18093014 | 900 60464 200003 | 1 587435 36 | 0.000 % | 4884.45/4884.44 c | 18093114 | 900 60464 200003 | 1 587535 36 | 0.000 % | 4884.45/4884.44 c | 18093406 | 900 60464 200003 | 1 587827 36 | 0.000 % | 4884.45/4884.44 c | 18098033 | 900 60464 200003 | 1 592454 36 | 0.000 % | 4884.45/4884.44 c | 18099469 | 900 60464 200003 | 1 593890 36 | 0.000 % | 4884.45/4884.44 c | 18099569 | 900 60464 200003 | 1 593990 36 | 0.000 % | 4884.45/4884.44 c | 18101113 | 900 60464 200003 | 1 595534 36 | 0.000 % | 4884.45/4884.44 c | 18112906 | 900 60464 200003 | 1 304329 25 | 0.000 % | 4884.45/4884.44 c | 18137854 | 900 60464 200003 | 1 329277 26 | 0.000 % | 4884.45/4884.44 c | 18165218 | 900 60464 200003 | 1 356641 27 | 0.000 % | 4884.45/4884.44 c | 18197900 | 900 60464 200003 | 1 389323 29 | 0.000 % | 4884.45/4884.44 c | 18226591 | 900 60464 200003 | 1 418014 30 | 0.000 % | 4884.45/4884.44 c | 18242280 | 900 60464 200003 | 1 433703 30 | 0.000 % | 4884.45/4884.44 c | 18242380 | 900 60464 200003 | 1 433803 30 | 0.000 % | 4884.45/4884.44 c | 18244064 | 900 60464 200003 | 1 435487 30 | 0.000 % | 4884.45/4884.44 c | 18263236 | 900 60464 200003 | 1 454659 31 | 0.000 % | 4884.45/4884.44 c | 18279249 | 900 60464 200003 | 1 470672 32 | 0.000 % | 4884.45/4884.44 c | 18279490 | 900 60464 200003 | 1 470913 32 | 0.000 % | 4884.45/4884.44 c | 18279590 | 900 60464 200003 | 1 471013 32 | 0.000 % | 4884.45/4884.44 c | 18283815 | 900 60464 200003 | 1 475238 32 | 0.000 % | 4884.45/4884.44 c | 18286715 | 900 60464 200003 | 1 478138 32 | 0.000 % | 4884.45/4884.44 c | 18312576 | 900 60464 200003 | 1 503999 33 | 0.000 % | 4884.45/4884.44 c | 18316910 | 900 60464 200003 | 1 508333 33 | 0.000 % | 4884.45/4884.44 c | 18317356 | 900 60464 200003 | 1 508779 33 | 0.000 % | 4884.45/4884.44 c | 18329178 | 900 60464 200003 | 1 520601 34 | 0.000 % | 4884.45/4884.44 c | 18348549 | 900 60464 200003 | 1 539972 34 | 0.000 % | 4884.45/4884.44 c | 18358910 | 900 60464 200003 | 1 550333 34 | 0.000 % | 4884.45/4884.44 c | 18423241 | 900 60464 200003 | 1 309061 25 | 0.000 % | 4884.45/4884.44 c | 18483942 | 900 60464 200003 | 1 369762 28 | 0.000 % | 4884.45/4884.44 c | 18506892 | 900 60464 200003 | 1 392712 29 | 0.000 % | 4884.45/4884.44 c | 18513352 | 900 60464 200003 | 1 399172 30 | 0.000 % | 4884.45/4884.44 c | 18515137 | 900 60464 200003 | 1 400957 30 | 0.000 % | 4884.45/4884.44 c | 18515237 | 900 60464 200003 | 1 401057 30 | 0.000 % | 4884.45/4884.44 c | 18515440 | 900 60464 200003 | 1 401260 30 | 0.000 % | 4884.45/4884.44 c | 18515660 | 900 60464 200003 | 1 401480 30 | 0.000 % | 4884.45/4884.44 c | 18525758 | 900 60464 200003 | 1 411578 31 | 0.000 % | 4884.45/4884.44 c | 18536963 | 900 60464 200003 | 1 422783 31 | 0.000 % | 4884.45/4884.44 c | 18541941 | 900 60464 200003 | 1 427761 31 | 0.000 % | 4884.45/4884.44 c | 18550892 | 900 60464 200003 |
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-3303372-1303899343/watcher-3303372-1303899343 -o /tmp/evaluation-result-3303372-1303899343/solver-3303372-1303899343 -C 5000 -W 5100 -M 15500 glucose.sh HOME/instance-3303372-1303899343.cnf running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 5000 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 5030 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.00 0.00 0.00 2/178 21078 /proc/meminfo: memFree=16960392/32951124 swapFree=67111528/67111528 [pid=21078] ppid=21076 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/21078/stat : 21078 (glucose.sh) S 21076 21078 21038 0 -1 4202496 333 0 0 0 0 0 0 0 22 0 1 0 501532766 8912896 252 33554432000 4194304 4922060 140736658313680 18446744073709551615 210204466309 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/21078/statm: 2176 252 211 178 0 69 0 [startup+0.0763829 s] /proc/loadavg: 0.00 0.00 0.00 2/178 21078 /proc/meminfo: memFree=16960392/32951124 swapFree=67111528/67111528 [pid=21078] ppid=21076 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/21078/stat : 21078 (glucose.sh) S 21076 21078 21038 0 -1 4202496 333 0 0 0 0 0 0 0 22 0 1 0 501532766 8912896 252 33554432000 4194304 4922060 140736658313680 18446744073709551615 210204466309 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/21078/statm: 2176 252 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+0.100365 s] /proc/loadavg: 0.00 0.00 0.00 2/178 21078 /proc/meminfo: memFree=16960392/32951124 swapFree=67111528/67111528 [pid=21078] ppid=21076 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/21078/stat : 21078 (glucose.sh) S 21076 21078 21038 0 -1 4202496 333 0 0 0 0 0 0 0 22 0 1 0 501532766 8912896 252 33554432000 4194304 4922060 140736658313680 18446744073709551615 210204466309 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/21078/statm: 2176 252 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+0.300344 s] /proc/loadavg: 0.00 0.00 0.00 2/178 21078 /proc/meminfo: memFree=16960392/32951124 swapFree=67111528/67111528 [pid=21078] ppid=21076 vsize=8704 CPUtime=0.14 cores=1,3,5,7 /proc/21078/stat : 21078 (glucose.sh) S 21076 21078 21038 0 -1 4202496 359 1404 0 0 0 0 14 0 21 0 1 0 501532766 8912896 254 33554432000 4194304 4922060 140736658313680 18446744073709551615 210204466309 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/21078/statm: 2176 254 211 178 0 69 0 Current children cumulated CPU time (s) 0.14 Current children cumulated vsize (KiB) 8704 [startup+0.700276 s] /proc/loadavg: 0.00 0.00 0.00 2/178 21078 /proc/meminfo: memFree=16960392/32951124 swapFree=67111528/67111528 [pid=21078] ppid=21076 vsize=8704 CPUtime=0.14 cores=1,3,5,7 /proc/21078/stat : 21078 (glucose.sh) S 21076 21078 21038 0 -1 4202496 359 1404 0 0 0 0 14 0 21 0 1 0 501532766 8912896 254 33554432000 4194304 4922060 140736658313680 18446744073709551615 210204466309 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/21078/statm: 2176 254 211 178 0 69 0 Current children cumulated CPU time (s) 0.14 Current children cumulated vsize (KiB) 8704 [startup+1.50114 s] /proc/loadavg: 0.00 0.00 0.00 3/180 21081 /proc/meminfo: memFree=16938312/32951124 swapFree=67111528/67111528 [pid=21078] ppid=21076 vsize=8704 CPUtime=0.14 cores=1,3,5,7 /proc/21078/stat : 21078 (glucose.sh) S 21076 21078 21038 0 -1 4202496 359 1404 0 0 0 0 14 0 21 0 1 0 501532766 8912896 254 33554432000 4194304 4922060 140736658313680 18446744073709551615 210204466309 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/21078/statm: 2176 254 211 178 0 69 0 [pid=21081] ppid=21078 vsize=32960 CPUtime=1.33 cores=1,3,5,7 /proc/21081/stat : 21081 (glucose_static) R 21078 21078 21038 0 -1 4202496 7208 0 0 0 133 0 0 0 25 0 1 0 501532781 33751040 4741 33554432000 4194304 4260849 140734016665504 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/21081/statm: 8240 4741 241 17 0 4881 0 Current children cumulated CPU time (s) 1.47 Current children cumulated vsize (KiB) 41664 [startup+3.10087 s] /proc/loadavg: 0.00 0.00 0.00 3/180 21081 /proc/meminfo: memFree=16928516/32951124 swapFree=67111528/67111528 [pid=21078] ppid=21076 vsize=8704 CPUtime=0.14 cores=1,3,5,7 /proc/21078/stat : 21078 (glucose.sh) S 21076 21078 21038 0 -1 4202496 359 1404 0 0 0 0 14 0 21 0 1 0 501532766 8912896 254 33554432000 4194304 4922060 140736658313680 18446744073709551615 210204466309 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/21078/statm: 2176 254 211 178 0 69 0 [pid=21081] ppid=21078 vsize=37380 CPUtime=2.93 cores=1,3,5,7 /proc/21081/stat : 21081 (glucose_static) R 21078 21078 21038 0 -1 4202496 8696 0 0 0 293 0 0 0 25 0 1 0 501532781 38277120 6158 33554432000 4194304 4260849 140734016665504 18446744073709551615 4225424 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/21081/statm: 9345 6158 249 17 0 5986 0 Current children cumulated CPU time (s) 3.07 Current children cumulated vsize (KiB) 46084 [startup+6.30033 s] /proc/loadavg: 0.16 0.03 0.01 3/180 21081 /proc/meminfo: memFree=16915384/32951124 swapFree=67111528/67111528 [pid=21078] ppid=21076 vsize=8704 CPUtime=0.14 cores=1,3,5,7 /proc/21078/stat : 21078 (glucose.sh) S 21076 21078 21038 0 -1 4202496 359 1404 0 0 0 0 14 0 21 0 1 0 501532766 8912896 254 33554432000 4194304 4922060 140736658313680 18446744073709551615 210204466309 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/21078/statm: 2176 254 211 178 0 69 0 [pid=21081] ppid=21078 vsize=37380 CPUtime=6.13 cores=1,3,5,7 /proc/21081/stat : 21081 (glucose_static) R 21078 21078 21038 0 -1 4202496 8696 0 0 0 613 0 0 0 25 0 1 0 501532781 38277120 6158 33554432000 4194304 4260849 140734016665504 18446744073709551615 4224895 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/21081/statm: 9345 6158 249 17 0 5986 0 Current children cumulated CPU time (s) 6.27 Current children cumulated vsize (KiB) 46084 [startup+12.7003 s] /proc/loadavg: 0.31 0.07 0.02 3/180 21081 /proc/meminfo: memFree=16915172/32951124 swapFree=67111528/67111528 [pid=21078] ppid=21076 vsize=8704 CPUtime=0.14 cores=1,3,5,7 /proc/21078/stat : 21078 (glucose.sh) S 21076 21078 21038 0 -1 4202496 359 1404 0 0 0 0 14 0 21 0 1 0 501532766 8912896 254 33554432000 4194304 4922060 140736658313680 18446744073709551615 210204466309 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/21078/statm: 2176 254 211 178 0 69 0 [pid=21081] ppid=21078 vsize=33024 CPUtime=12.53 cores=1,3,5,7 /proc/21081/stat : 21081 (glucose_static) R 21078 21078 21038 0 -1 4202496 14619 0 0 0 1252 1 0 0 25 0 1 0 501532781 33816576 5116 33554432000 4194304 4260849 140734016665504 18446744073709551615 4209365 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/21081/statm: 8256 5116 249 17 0 4897 0 Current children cumulated CPU time (s) 12.67 Current children cumulated vsize (KiB) 41728 [startup+25.5011 s] /proc/loadavg: 0.68 0.16 0.05 3/180 21082 /proc/meminfo: memFree=16888624/32951124 swapFree=67111528/67111528 [pid=21078] ppid=21076 vsize=8704 CPUtime=0.14 cores=1,3,5,7 /proc/21078/stat : 21078 (glucose.sh) S 21076 21078 21038 0 -1 4202496 359 1404 0 0 0 0 14 0 21 0 1 0 501532766 8912896 254 33554432000 4194304 4922060 140736658313680 18446744073709551615 210204466309 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/21078/statm: 2176 254 211 178 0 69 0 [pid=21081] ppid=21078 vsize=59792 CPUtime=25.33 cores=1,3,5,7 /proc/21081/stat : 21081 (glucose_static) R 21078 21078 21038 0 -1 4202496 25297 0 0 0 2530 3 0 0 25 0 1 0 501532781 61227008 10447 33554432000 4194304 4260849 140734016665504 18446744073709551615 4225080 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/21081/statm: 14948 10447 249 17 0 11589 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 68496 [startup+51.1008 s] /proc/loadavg: 1.13 0.31 0.10 3/180 21083 /proc/meminfo: memFree=16856476/32951124 swapFree=67111528/67111528 [pid=21078] ppid=21076 vsize=8704 CPUtime=0.14 cores=1,3,5,7 /proc/21078/stat : 21078 (glucose.sh) S 21076 21078 21038 0 -1 4202496 359 1404 0 0 0 0 14 0 21 0 1 0 501532766 8912896 254 33554432000 4194304 4922060 140736658313680 18446744073709551615 210204466309 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/21078/statm: 2176 254 211 178 0 69 0 [pid=21081] ppid=21078 vsize=90140 CPUtime=50.94 cores=1,3,5,7 /proc/21081/stat : 21081 (glucose_static) R 21078 21078 21038 0 -1 4202496 34929 0 0 0 5089 5 0 0 25 0 1 0 501532781 92303360 15163 33554432000 4194304 4260849 140734016665504 18446744073709551615 4225104 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/21081/statm: 22535 15163 249 17 0 19176 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 98844 [startup+102.306 s] /proc/loadavg: 1.62 0.56 0.20 3/180 21084 /proc/meminfo: memFree=16852856/32951124 swapFree=67111528/67111528 [pid=21078] ppid=21076 vsize=8704 CPUtime=0.14 cores=1,3,5,7 /proc/21078/stat : 21078 (glucose.sh) S 21076 21078 21038 0 -1 4202496 359 1404 0 0 0 0 14 0 21 0 1 0 501532766 8912896 254 33554432000 4194304 4922060 140736658313680 18446744073709551615 210204466309 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/21078/statm: 2176 254 211 178 0 69 0 [pid=21081] ppid=21078 vsize=90140 CPUtime=102.14 cores=1,3,5,7 /proc/21081/stat : 21081 (glucose_static) R 21078 21078 21038 0 -1 4202496 37888 0 0 0 10209 5 0 0 25 0 1 0 501532781 92303360 18090 33554432000 4194304 4260849 140734016665504 18446744073709551615 4224658 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/21081/statm: 22535 18090 249 17 0 19176 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 98844 [startup+162.301 s] /proc/loadavg: 1.89 0.84 0.31 3/180 21085 /proc/meminfo: memFree=16821444/32951124 swapFree=67111528/67111528 [pid=21078] ppid=21076 vsize=8704 CPUtime=0.14 cores=1,3,5,7 /proc/21078/stat : 21078 (glucose.sh) S 21076 21078 21038 0 -1 4202496 359 1404 0 0 0 0 14 0 21 0 1 0 501532766 8912896 254 33554432000 4194304 4922060 140736658313680 18446744073709551615 210204466309 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/21078/statm: 2176 254 211 178 0 69 0 [pid=21081] ppid=21078 vsize=90140 CPUtime=162.14 cores=1,3,5,7 /proc/21081/stat : 21081 (glucose_static) R 21078 21078 21038 0 -1 4202496 38947 0 0 0 16208 6 0 0 25 0 1 0 501532781 92303360 19125 33554432000 4194304 4260849 140734016665504 18446744073709551615 4224845 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/21081/statm: 22535 19125 249 17 0 19176 0 Current children cumulated CPU time (s) 162.28 Current children cumulated vsize (KiB) 98844 [startup+222.301 s] /proc/loadavg: 1.96 1.05 0.42 3/180 21087 /proc/meminfo: memFree=16799712/32951124 swapFree=67111528/67111528 [pid=21078] ppid=21076 vsize=8704 CPUtime=0.14 cores=1,3,5,7 /proc/21078/stat : 21078 (glucose.sh) S 21076 21078 21038 0 -1 4202496 359 1404 0 0 0 0 14 0 21 0 1 0 501532766 8912896 254 33554432000 4194304 4922060 140736658313680 18446744073709551615 210204466309 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/21078/statm: 2176 254 211 178 0 69 0 [pid=21081] ppid=21078 vsize=90140 CPUtime=222.14 cores=1,3,5,7 /proc/21081/stat : 21081 (glucose_static) R 21078 21078 21038 0 -1 4202496 62854 0 0 0 22205 9 0 0 25 0 1 0 501532781 92303360 19310 33554432000 4194304 4260849 140734016665504 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/21081/statm: 22535 19310 249 17 0 19176 0 Current children cumulated CPU time (s) 222.28 Current children cumulated vsize (KiB) 98844 [startup+282.301 s] /proc/loadavg: 1.98 1.22 0.51 3/180 21089 /proc/meminfo: memFree=16752676/32951124 swapFree=67111528/67111528 [pid=21078] ppid=21076 vsize=8704 CPUtime=0.14 cores=1,3,5,7 /proc/21078/stat : 21078 (glucose.sh) S 21076 21078 21038 0 -1 4202496 359 1404 0 0 0 0 14 0 21 0 1 0 501532766 8912896 254 33554432000 4194304 4922060 140736658313680 18446744073709551615 210204466309 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/21078/statm: 2176 254 211 178 0 69 0 [pid=21081] ppid=21078 vsize=152184 CPUtime=282.13 cores=1,3,5,7 /proc/21081/stat : 21081 (glucose_static) R 21078 21078 21038 0 -1 4202496 99658 0 0 0 28201 12 0 0 25 0 1 0 501532781 155836416 30698 33554432000 4194304 4260849 140734016665504 18446744073709551615 4225080 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/21081/statm: 38046 30698 249 17 0 34687 0 Current children cumulated CPU time (s) 282.27 Current children cumulated vsize (KiB) 160888 [startup+342.301 s] /proc/loadavg: 1.99 1.36 0.60 3/180 21091 /proc/meminfo: memFree=16784248/32951124 swapFree=67111528/67111528 [pid=21078] ppid=21076 vsize=8704 CPUtime=0.14 cores=1,3,5,7 /proc/21078/stat : 21078 (glucose.sh) S 21076 21078 21038 0 -1 4202496 359 1404 0 0 0 0 14 0 21 0 1 0 501532766 8912896 254 33554432000 4194304 4922060 140736658313680 18446744073709551615 210204466309 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/21078/statm: 2176 254 211 178 0 69 0 [pid=21081] ppid=21078 vsize=102864 CPUtime=342.14 cores=1,3,5,7 /proc/21081/stat : 21081 (glucose_static) R 21078 21078 21038 0 -1 4202496 128723 0 0 0 34198 16 0 0 25 0 1 0 501532781 105332736 22495 33554432000 4194304 4260849 140734016665504 18446744073709551615 4225087 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/21081/statm: 25716 22495 249 17 0 22357 0 Current children cumulated CPU time (s) 342.28 Current children cumulated vsize (KiB) 111568 [startup+402.301 s] /proc/loadavg: 2.03 1.48 0.69 3/180 21092 /proc/meminfo: memFree=16784340/32951124 swapFree=67111528/67111528 [pid=21078] ppid=21076 vsize=8704 CPUtime=0.14 cores=1,3,5,7 ################ # More data... # ################ /proc/21081/statm: 56330 52263 250 17 0 52971 0 Current children cumulated CPU time (s) 4302.34 Current children cumulated vsize (KiB) 234024 [startup+4362.3 s] /proc/loadavg: 2.01 2.01 1.92 3/180 21209 /proc/meminfo: memFree=16590596/32951124 swapFree=67111528/67111528 [pid=21078] ppid=21076 vsize=8704 CPUtime=0.14 cores=1,3,5,7 /proc/21078/stat : 21078 (glucose.sh) S 21076 21078 21038 0 -1 4202496 359 1404 0 0 0 0 14 0 21 0 1 0 501532766 8912896 254 33554432000 4194304 4922060 140736658313680 18446744073709551615 210204466309 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/21078/statm: 2176 254 211 178 0 69 0 [pid=21081] ppid=21078 vsize=225320 CPUtime=4362.2 cores=1,3,5,7 /proc/21081/stat : 21081 (glucose_static) R 21078 21078 21038 0 -1 4202496 1382551 0 0 0 435957 263 0 0 25 0 1 0 501532781 230727680 46418 33554432000 4194304 4260849 140734016665504 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/21081/statm: 56330 46418 250 17 0 52971 0 Current children cumulated CPU time (s) 4362.34 Current children cumulated vsize (KiB) 234024 [startup+4422.3 s] /proc/loadavg: 2.00 2.00 1.92 3/180 21211 /proc/meminfo: memFree=16594404/32951124 swapFree=67111528/67111528 [pid=21078] ppid=21076 vsize=8704 CPUtime=0.14 cores=1,3,5,7 /proc/21078/stat : 21078 (glucose.sh) S 21076 21078 21038 0 -1 4202496 359 1404 0 0 0 0 14 0 21 0 1 0 501532766 8912896 254 33554432000 4194304 4922060 140736658313680 18446744073709551615 210204466309 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/21078/statm: 2176 254 211 178 0 69 0 [pid=21081] ppid=21078 vsize=275408 CPUtime=4422.2 cores=1,3,5,7 /proc/21081/stat : 21081 (glucose_static) R 21078 21078 21038 0 -1 4202496 1389641 0 0 0 441955 265 0 0 25 0 1 0 501532781 282017792 53358 33554432000 4194304 4260849 140734016665504 18446744073709551615 4224875 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/21081/statm: 68852 53358 250 17 0 65493 0 Current children cumulated CPU time (s) 4422.34 Current children cumulated vsize (KiB) 284112 [startup+4482.3 s] /proc/loadavg: 2.00 2.00 1.92 3/180 21213 /proc/meminfo: memFree=16582468/32951124 swapFree=67111528/67111528 [pid=21078] ppid=21076 vsize=8704 CPUtime=0.14 cores=1,3,5,7 /proc/21078/stat : 21078 (glucose.sh) S 21076 21078 21038 0 -1 4202496 359 1404 0 0 0 0 14 0 21 0 1 0 501532766 8912896 254 33554432000 4194304 4922060 140736658313680 18446744073709551615 210204466309 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/21078/statm: 2176 254 211 178 0 69 0 [pid=21081] ppid=21078 vsize=225320 CPUtime=4482.21 cores=1,3,5,7 /proc/21081/stat : 21081 (glucose_static) R 21078 21078 21038 0 -1 4202496 1406980 0 0 0 447952 269 0 0 25 0 1 0 501532781 230727680 48148 33554432000 4194304 4260849 140734016665504 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/21081/statm: 56330 48148 250 17 0 52971 0 Current children cumulated CPU time (s) 4482.35 Current children cumulated vsize (KiB) 234024 [startup+4542.3 s] /proc/loadavg: 2.03 2.01 1.93 3/180 21215 /proc/meminfo: memFree=16635484/32951124 swapFree=67111528/67111528 [pid=21078] ppid=21076 vsize=8704 CPUtime=0.14 cores=1,3,5,7 /proc/21078/stat : 21078 (glucose.sh) S 21076 21078 21038 0 -1 4202496 359 1404 0 0 0 0 14 0 21 0 1 0 501532766 8912896 254 33554432000 4194304 4922060 140736658313680 18446744073709551615 210204466309 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/21078/statm: 2176 254 211 178 0 69 0 [pid=21081] ppid=21078 vsize=194500 CPUtime=4542.21 cores=1,3,5,7 /proc/21081/stat : 21081 (glucose_static) R 21078 21078 21038 0 -1 4202496 1423741 0 0 0 453948 273 0 0 25 0 1 0 501532781 199168000 42125 33554432000 4194304 4260849 140734016665504 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/21081/statm: 48625 42125 250 17 0 45266 0 Current children cumulated CPU time (s) 4542.35 Current children cumulated vsize (KiB) 203204 [startup+4602.3 s] /proc/loadavg: 2.01 2.01 1.93 3/180 21216 /proc/meminfo: memFree=16563156/32951124 swapFree=67111528/67111528 [pid=21078] ppid=21076 vsize=8704 CPUtime=0.14 cores=1,3,5,7 /proc/21078/stat : 21078 (glucose.sh) S 21076 21078 21038 0 -1 4202496 359 1404 0 0 0 0 14 0 21 0 1 0 501532766 8912896 254 33554432000 4194304 4922060 140736658313680 18446744073709551615 210204466309 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/21078/statm: 2176 254 211 178 0 69 0 [pid=21081] ppid=21078 vsize=225320 CPUtime=4602.21 cores=1,3,5,7 /proc/21081/stat : 21081 (glucose_static) R 21078 21078 21038 0 -1 4202496 1433946 0 0 0 459946 275 0 0 25 0 1 0 501532781 230727680 52147 33554432000 4194304 4260849 140734016665504 18446744073709551615 4225091 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/21081/statm: 56330 52147 250 17 0 52971 0 Current children cumulated CPU time (s) 4602.35 Current children cumulated vsize (KiB) 234024 [startup+4662.3 s] /proc/loadavg: 2.00 2.00 1.93 3/180 21217 /proc/meminfo: memFree=16622636/32951124 swapFree=67111528/67111528 [pid=21078] ppid=21076 vsize=8704 CPUtime=0.14 cores=1,3,5,7 /proc/21078/stat : 21078 (glucose.sh) S 21076 21078 21038 0 -1 4202496 359 1404 0 0 0 0 14 0 21 0 1 0 501532766 8912896 254 33554432000 4194304 4922060 140736658313680 18446744073709551615 210204466309 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/21078/statm: 2176 254 211 178 0 69 0 [pid=21081] ppid=21078 vsize=225320 CPUtime=4662.21 cores=1,3,5,7 /proc/21081/stat : 21081 (glucose_static) R 21078 21078 21038 0 -1 4202496 1451909 0 0 0 465941 280 0 0 25 0 1 0 501532781 230727680 45624 33554432000 4194304 4260849 140734016665504 18446744073709551615 4224885 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/21081/statm: 56330 45624 250 17 0 52971 0 Current children cumulated CPU time (s) 4662.35 Current children cumulated vsize (KiB) 234024 [startup+4722.31 s] /proc/loadavg: 2.00 2.00 1.93 3/180 21219 /proc/meminfo: memFree=16560728/32951124 swapFree=67111528/67111528 [pid=21078] ppid=21076 vsize=8704 CPUtime=0.14 cores=1,3,5,7 /proc/21078/stat : 21078 (glucose.sh) S 21076 21078 21038 0 -1 4202496 359 1404 0 0 0 0 14 0 21 0 1 0 501532766 8912896 254 33554432000 4194304 4922060 140736658313680 18446744073709551615 210204466309 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/21078/statm: 2176 254 211 178 0 69 0 [pid=21081] ppid=21078 vsize=275408 CPUtime=4722.21 cores=1,3,5,7 /proc/21081/stat : 21081 (glucose_static) R 21078 21078 21038 0 -1 4202496 1459649 0 0 0 471939 282 0 0 25 0 1 0 501532781 282017792 53216 33554432000 4194304 4260849 140734016665504 18446744073709551615 4225104 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/21081/statm: 68852 53216 250 17 0 65493 0 Current children cumulated CPU time (s) 4722.35 Current children cumulated vsize (KiB) 284112 [startup+4782.3 s] /proc/loadavg: 2.00 2.00 1.93 3/180 21221 /proc/meminfo: memFree=16623428/32951124 swapFree=67111528/67111528 [pid=21078] ppid=21076 vsize=8704 CPUtime=0.14 cores=1,3,5,7 /proc/21078/stat : 21078 (glucose.sh) S 21076 21078 21038 0 -1 4202496 359 1404 0 0 0 0 14 0 21 0 1 0 501532766 8912896 254 33554432000 4194304 4922060 140736658313680 18446744073709551615 210204466309 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/21078/statm: 2176 254 211 178 0 69 0 [pid=21081] ppid=21078 vsize=225320 CPUtime=4782.21 cores=1,3,5,7 /proc/21081/stat : 21081 (glucose_static) R 21078 21078 21038 0 -1 4202496 1475992 0 0 0 477934 287 0 0 25 0 1 0 501532781 230727680 45708 33554432000 4194304 4260849 140734016665504 18446744073709551615 4224685 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/21081/statm: 56330 45708 250 17 0 52971 0 Current children cumulated CPU time (s) 4782.35 Current children cumulated vsize (KiB) 234024 [startup+4842.3 s] /proc/loadavg: 2.00 2.00 1.93 3/180 21223 /proc/meminfo: memFree=16554816/32951124 swapFree=67111528/67111528 [pid=21078] ppid=21076 vsize=8704 CPUtime=0.14 cores=1,3,5,7 /proc/21078/stat : 21078 (glucose.sh) S 21076 21078 21038 0 -1 4202496 359 1404 0 0 0 0 14 0 21 0 1 0 501532766 8912896 254 33554432000 4194304 4922060 140736658313680 18446744073709551615 210204466309 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/21078/statm: 2176 254 211 178 0 69 0 [pid=21081] ppid=21078 vsize=275408 CPUtime=4842.21 cores=1,3,5,7 /proc/21081/stat : 21081 (glucose_static) R 21078 21078 21038 0 -1 4202496 1485320 0 0 0 483931 290 0 0 25 0 1 0 501532781 282017792 54838 33554432000 4194304 4260849 140734016665504 18446744073709551615 4224845 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/21081/statm: 68852 54838 250 17 0 65493 0 Current children cumulated CPU time (s) 4842.35 Current children cumulated vsize (KiB) 284112 [startup+4902.3 s] /proc/loadavg: 2.04 2.01 1.93 3/180 21224 /proc/meminfo: memFree=16542756/32951124 swapFree=67111528/67111528 [pid=21078] ppid=21076 vsize=8704 CPUtime=0.14 cores=1,3,5,7 /proc/21078/stat : 21078 (glucose.sh) S 21076 21078 21038 0 -1 4202496 359 1404 0 0 0 0 14 0 21 0 1 0 501532766 8912896 254 33554432000 4194304 4922060 140736658313680 18446744073709551615 210204466309 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/21078/statm: 2176 254 211 178 0 69 0 [pid=21081] ppid=21078 vsize=225320 CPUtime=4902.21 cores=1,3,5,7 /proc/21081/stat : 21081 (glucose_static) R 21078 21078 21038 0 -1 4202496 1505792 0 0 0 489927 294 0 0 25 0 1 0 501532781 230727680 51777 33554432000 4194304 4260849 140734016665504 18446744073709551615 4225418 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/21081/statm: 56330 51777 250 17 0 52971 0 Current children cumulated CPU time (s) 4902.35 Current children cumulated vsize (KiB) 234024 [startup+4962.3 s] /proc/loadavg: 2.01 2.01 1.93 3/180 21225 /proc/meminfo: memFree=16582516/32951124 swapFree=67111528/67111528 [pid=21078] ppid=21076 vsize=8704 CPUtime=0.14 cores=1,3,5,7 /proc/21078/stat : 21078 (glucose.sh) S 21076 21078 21038 0 -1 4202496 359 1404 0 0 0 0 14 0 21 0 1 0 501532766 8912896 254 33554432000 4194304 4922060 140736658313680 18446744073709551615 210204466309 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/21078/statm: 2176 254 211 178 0 69 0 [pid=21081] ppid=21078 vsize=225320 CPUtime=4962.21 cores=1,3,5,7 /proc/21081/stat : 21081 (glucose_static) R 21078 21078 21038 0 -1 4202496 1528138 0 0 0 495923 298 0 0 25 0 1 0 501532781 230727680 49470 33554432000 4194304 4260849 140734016665504 18446744073709551615 4225146 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/21081/statm: 56330 49470 250 17 0 52971 0 Current children cumulated CPU time (s) 4962.35 Current children cumulated vsize (KiB) 234024 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+5000 s] /proc/loadavg: 2.00 2.00 1.93 2/177 21228 /proc/meminfo: memFree=16735648/32951124 swapFree=67111528/67111528 [pid=21078] ppid=21076 vsize=8704 CPUtime=0.14 cores=1,3,5,7 /proc/21078/stat : 21078 (glucose.sh) S 21076 21078 21038 0 -1 4202496 359 1404 0 0 0 0 14 0 21 0 1 0 501532766 8912896 254 33554432000 4194304 4922060 140736658313680 18446744073709551615 210204466309 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/21078/statm: 2176 254 211 178 0 69 0 [pid=21081] ppid=21078 vsize=275408 CPUtime=4999.91 cores=1,3,5,7 /proc/21081/stat : 21081 (glucose_static) R 21078 21078 21038 0 -1 4202496 1535082 0 0 0 499692 299 0 0 25 0 1 0 501532781 282017792 56291 33554432000 4194304 4260849 140734016665504 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/21081/statm: 68852 56291 250 17 0 65493 0 Current children cumulated CPU time (s) 5000.05 Current children cumulated vsize (KiB) 284112 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 21078 and gives # childrusage.ru_utime.tv_sec=0 # childrusage.ru_utime.tv_usec=145977 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=5999 # CPU time returned by wait4() is 0.151976 # while last known CPU time is 5000.05 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 5000.01 CPU time (s): 5000.05 CPU user time (s): 4997.06 CPU system time (s): 2.99 CPU usage (%): 100.001 Max. virtual memory (cumulated for all children) (KiB): 333432 getrusage(RUSAGE_CHILDREN,...) data: user time used= 0.145977 system time used= 0.005999 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1763 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 6 involuntary context switches= 4 runsolver used 8.02378 second user time and 18.4472 second system time The end
Begin job on node130 at 2011-04-27 12:15:43 IDJOB=3303372 IDBENCH=71570 IDSOLVER=1687 FILE ID=node130/3303372-1303899343 RUNJOBID= node130-1303899341-21057 PBS_JOBID= 13164518 Free space on /tmp= 72016 MiB SOLVER NAME= glucose 2 BENCH NAME= SAT09/CRAFTED/rbsat/crafted/forced/rbsat-v945c61409gyes10.cnf COMMAND LINE= glucose.sh BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3303372-1303899343/watcher-3303372-1303899343 -o /tmp/evaluation-result-3303372-1303899343/solver-3303372-1303899343 -C 5000 -W 5100 -M 15500 glucose.sh HOME/instance-3303372-1303899343.cnf TIME LIMIT= 5000 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 601a386973128161e9173e2bdf583672 RANDOM SEED=1223450421 node130.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.838 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.67 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.838 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.83 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.838 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.838 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.81 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.838 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.838 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.838 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.838 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.81 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 16961160 kB Buffers: 2122216 kB Cached: 13248668 kB SwapCached: 0 kB Active: 7162744 kB Inactive: 8274528 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 16961160 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 5072 kB Writeback: 0 kB AnonPages: 66020 kB Mapped: 15024 kB Slab: 488476 kB PageTables: 4440 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 212312 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 72016 MiB End job on node130 at 2011-04-27 13:39:05