| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| glucose 2 | ? (TO) | 1300.01 | 1300.01 |
| Name | SAT04/industrial/vangelder/cnf-color/ myciel6-tr.used-as.sat04-320.cnf |
| MD5SUM | 5ba57e5cfd40b4a93356dbea5162016d |
| Bench Category | APPLICATION (applications instances) |
| Best result obtained on this benchmark | UNSAT |
| Best CPU time to get the best result obtained on this benchmark | 384.789 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 570 |
| Number of clauses | 4625 |
| Sum of the clauses size | 9615 |
| Maximum clause length | 6 |
| Minimum clause length | 1 |
| Number of clauses of size 1 | 1 |
| Number of clauses of size 2 | 4531 |
| Number of clauses of size 3 | 1 |
| Number of clauses of size 4 | 1 |
| Number of clauses of size 5 | 1 |
| Number of clauses of size over 5 | 90 |
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.00 c ============================================================================== 0.00/0.00 c | | ORIGINAL | LEARNT | | 0.00/0.00 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress | 0.00/0.00 c ============================================================================== 0.00/0.00 c | 0 | 4577 9520 | 1373 0 0 nan | 0.000 % | 0.00/0.01 c | 0 | 3634 9851 | -- 0 -- -- | -- | -93/2100 0.00/0.01 c ============================================================================== 0.00/0.01 c Result : #vars: 404 #clauses: 3634 #literals: 9851 0.00/0.01 c CPU time: 0.005999 s 0.00/0.01 c ============================================================================== 0.00/0.01 c 0.00/0.01 c Starting glucose 0.00/0.01 c 2.08/2.17 c This is glucose 2.0 -- based on MiniSAT (Many thanks to MiniSAT team) 2.08/2.17 c WARNING: for repeatability, setting FPU to use double precision 2.08/2.17 c ============================[ Problem Statistics ]============================= 2.08/2.17 c | | 2.08/2.17 c | Number of variables: 404 | 2.08/2.17 c | Number of clauses: 3634 | 2.08/2.17 c | Parse time: 0.00 s | 2.08/2.17 c | | 2.08/2.17 c ============================[ Search Statistics ]============================== 2.08/2.17 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.08/2.17 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | | 2.08/2.17 c =============================================================================== 2.08/2.17 c | 31712 | 404 3634 9851 | 1 9396 29 | 0.000 % | 2.08/2.17 c | 31812 | 404 3634 9851 | 1 9496 29 | 0.000 % | 2.08/2.17 c | 32192 | 404 3634 9851 | 1 9876 30 | 0.000 % | 2.08/2.17 c | 32294 | 404 3634 9851 | 1 9978 30 | 0.000 % | 2.08/2.17 c | 32839 | 404 3634 9851 | 1 10523 30 | 0.000 % | 2.08/2.17 c | 32940 | 404 3634 9851 | 1 10624 30 | 0.000 % | 2.08/2.17 c | 33040 | 404 3634 9851 | 1 10724 30 | 0.000 % | 2.08/2.17 c | 33141 | 404 3634 9851 | 1 10825 31 | 0.000 % | 2.08/2.17 c | 33312 | 404 3634 9851 | 1 10996 31 | 0.000 % | 2.08/2.17 c | 33412 | 404 3634 9851 | 1 11096 31 | 0.000 % | 2.08/2.17 c | 33513 | 404 3634 9851 | 1 11197 31 | 0.000 % | 2.08/2.17 c | 33614 | 404 3634 9851 | 1 11298 31 | 0.000 % | 2.08/2.17 c | 34613 | 404 3634 9851 | 1 12297 32 | 0.000 % | 2.08/2.17 c | 34713 | 404 3634 9851 | 1 12397 32 | 0.000 % | 2.08/2.17 c | 34813 | 404 3634 9851 | 1 12497 32 | 0.000 % | 2.08/2.17 c | 34931 | 404 3634 9851 | 1 12615 32 | 0.000 % | 2.08/2.17 c | 35912 | 404 3634 9851 | 1 13596 32 | 0.000 % | 2.08/2.17 c | 36014 | 404 3634 9851 | 1 13698 32 | 0.000 % | 2.08/2.17 c | 36115 | 404 3634 9851 | 1 13799 32 | 0.000 % | 2.08/2.17 c | 36217 | 404 3634 9851 | 1 13901 33 | 0.000 % | 2.08/2.17 c | 36360 | 404 3634 9851 | 1 14044 33 | 0.000 % | 2.08/2.17 c | 36461 | 404 3634 9851 | 1 14145 33 | 0.000 % | 2.08/2.17 c | 36561 | 404 3634 9851 | 1 14245 33 | 0.000 % | 2.08/2.17 c | 36662 | 404 3634 9851 | 1 14346 33 | 0.000 % | 2.08/2.17 c | 36762 | 404 3634 9851 | 1 14446 33 | 0.000 % | 2.08/2.17 c | 36869 | 404 3634 9851 | 1 14553 33 | 0.000 % | 2.08/2.17 c | 36983 | 404 3634 9851 | 1 14667 33 | 0.000 % | 2.08/2.17 c | 37084 | 404 3634 9851 | 1 14768 33 | 0.000 % | 2.08/2.17 c | 37258 | 404 3634 9851 | 1 14942 33 | 0.000 % | 2.08/2.17 c | 38511 | 404 3634 9851 | 1 16195 34 | 0.000 % | 2.08/2.17 c | 38611 | 404 3634 9851 | 1 16295 34 | 0.000 % | 2.08/2.17 c | 38748 | 404 3634 9851 | 1 16432 34 | 0.000 % | 2.08/2.17 c | 38848 | 404 3634 9851 | 1 16532 34 | 0.000 % | 2.08/2.17 c | 38948 | 404 3634 9851 | 1 16632 34 | 0.000 % | 2.08/2.17 c | 39049 | 404 3634 9851 | 1 16733 34 | 0.000 % | 2.08/2.17 c | 39275 | 404 3634 9851 | 1 16959 34 | 0.000 % | 2.08/2.17 c | 39989 | 404 3634 9851 | 1 17673 34 | 0.000 % | 2.08/2.17 c | 40089 | 404 3634 9851 | 1 17773 34 | 0.000 % | 2.08/2.17 c | 40293 | 404 3634 9851 | 1 17977 34 | 0.000 % | 470.39/470.41 c | 40393 | 404 3634 9851 | 1 18077 34 | 0.000 % | 470.39/470.41 c | 40493 | 404 3634 9851 | 1 18177 34 | 0.000 % | 470.39/470.41 c | 40684 | 404 3634 9851 | 1 18368 34 | 0.000 % | 470.39/470.41 c | 41872 | 404 3634 9851 | 1 19556 35 | 0.000 % | 470.39/470.41 c | 41981 | 404 3634 9851 | 1 19665 35 | 0.000 % | 470.39/470.41 c | 69638 | 404 3634 9851 | 1 21071 31 | 0.000 % | 470.39/470.41 c | 69837 | 404 3634 9851 | 1 21270 31 | 0.000 % | 470.39/470.41 c | 75160 | 404 3634 9851 | 1 26593 32 | 0.000 % | 470.39/470.41 c | 118560 | 404 3634 9851 | 1 33373 31 | 0.000 % | 470.39/470.41 c | 118660 | 404 3634 9851 | 1 33473 31 | 0.000 % | 470.39/470.41 c | 197306 | 404 3634 9851 | 1 37720 30 | 0.000 % | 470.39/470.41 c | 267541 | 404 3634 9851 | 1 45364 29 | 0.000 % | 470.39/470.41 c | 268079 | 404 3634 9851 | 1 45902 29 | 0.000 % | 470.39/470.41 c | 676215 | 404 3634 9851 | 1 99633 30 | 0.000 % | 470.39/470.41 c | 1093586 | 404 3634 9851 | 1 142003 25 | 0.000 % | 470.39/470.41 c | 1093687 | 404 3634 9851 | 1 142104 25 | 0.000 % | 470.39/470.41 c | 1097242 | 404 3634 9851 | 1 74053 22 | 0.000 % | 470.39/470.41 c | 2274896 | 404 3634 9851 | 1 189702 31 | 0.000 % | 470.39/470.41 c | 2321326 | 404 3634 9851 | 1 130737 26 | 0.000 % | 470.39/470.41 c | 2321426 | 404 3634 9851 | 1 130837 26 | 0.000 % | 470.39/470.41 c | 2321527 | 404 3634 9851 | 1 130938 26 | 0.000 % | 470.39/470.41 c | 2321714 | 404 3634 9851 | 1 131125 26 | 0.000 % | 470.39/470.41 c | 2321816 | 404 3634 9851 | 1 131227 26 | 0.000 % | 470.39/470.41 c | 2321918 | 404 3634 9851 | 1 131329 26 | 0.000 % | 470.39/470.41 c | 2322020 | 404 3634 9851 | 1 131431 26 | 0.000 % | 470.39/470.41 c | 2322120 | 404 3634 9851 | 1 131531 26 | 0.000 % | 470.39/470.41 c | 2322220 | 404 3634 9851 | 1 131631 26 | 0.000 % | 470.39/470.41 c | 2322320 | 404 3634 9851 | 1 131731 26 | 0.000 % | 470.39/470.41 c | 2322421 | 404 3634 9851 | 1 131832 26 | 0.000 % | 470.39/470.41 c | 2322522 | 404 3634 9851 | 1 131933 26 | 0.000 % | 470.39/470.41 c | 2324235 | 404 3634 9851 | 1 133646 26 | 0.000 % | 470.39/470.41 c | 2328014 | 404 3634 9851 | 1 137425 26 | 0.000 % | 470.39/470.41 c | 2328161 | 404 3634 9851 | 1 137572 26 | 0.000 % | 470.39/470.41 c | 2332206 | 404 3634 9851 | 1 141617 26 | 0.000 % | 470.39/470.41 c | 2332306 | 404 3634 9851 | 1 141717 26 | 0.000 % | 470.39/470.41 c | 2343013 | 404 3634 9851 | 1 152424 27 | 0.000 % | 470.39/470.41 c | 2343398 | 404 3634 9851 | 1 152809 27 | 0.000 % | 470.39/470.41 c | 2343499 | 404 3634 9851 | 1 152910 27 | 0.000 % | 470.39/470.41 c | 2343608 | 404 3634 9851 | 1 153019 27 | 0.000 % | 470.39/470.41 c | 2343708 | 404 3634 9851 | 1 153119 27 | 0.000 % | 470.39/470.41 c | 2343808 | 404 3634 9851 | 1 153219 27 | 0.000 % | 470.39/470.41 c | 2345946 | 404 3634 9851 | 1 155357 27 | 0.000 % | 470.39/470.41 c | 2346047 | 404 3634 9851 | 1 155458 27 | 0.000 % | 470.39/470.41 c | 2347300 | 404 3634 9851 | 1 156711 27 | 0.000 % | 470.39/470.41 c | 2347865 | 404 3634 9851 | 1 157276 27 | 0.000 % | 470.39/470.41 c | 2347965 | 404 3634 9851 | 1 157376 27 | 0.000 % | 470.39/470.41 c | 2348065 | 404 3634 9851 | 1 157476 27 | 0.000 % | 470.39/470.41 c | 2348165 | 404 3634 9851 | 1 157576 27 | 0.000 % | 470.39/470.41 c | 2348266 | 404 3634 9851 | 1 157677 27 | 0.000 % | 470.39/470.41 c | 2349788 | 404 3634 9851 | 1 159199 27 | 0.000 % | 526.99/527.00 c | 2398163 | 404 3634 9851 | 1 207574 27 | 0.000 % | 526.99/527.00 c | 2406876 | 404 3634 9851 | 1 108298 22 | 0.000 % | 526.99/527.00 c | 2407556 | 404 3634 9851 | 1 108978 22 | 0.000 % | 526.99/527.00 c | 2477069 | 404 3634 9851 | 1 178491 25 | 0.000 % | 526.99/527.00 c | 2477259 | 404 3634 9851 | 1 178681 25 | 0.000 % | 526.99/527.00 c | 2477663 | 404 3634 9851 | 1 179085 25 | 0.000 % | 526.99/527.00 c | 2477763 | 404 3634 9851 | 1 179185 25 | 0.000 % | 526.99/527.00 c | 2478126 | 404 3634 9851 | 1 179548 25 | 0.000 % | 526.99/527.00 c | 2478228 | 404 3634 9851 | 1 179650 25 | 0.000 % | 526.99/527.00 c | 2478332 | 404 3634 9851 | 1 179754 25 | 0.000 % | 526.99/527.00 c | 2478432 | 404 3634 9851 | 1 179854 25 | 0.000 % | 526.99/527.00 c | 2478538 | 404 3634 9851 | 1 179960 25 | 0.000 % | 526.99/527.00 c | 2479020 | 404 3634 9851 | 1 180442 25 | 0.000 % | 526.99/527.00 c | 2479120 | 404 3634 9851 | 1 180542 25 | 0.000 % | 526.99/527.00 c | 2479220 | 404 3634 9851 | 1 180642 25 | 0.000 % | 526.99/527.00 c | 2479455 | 404 3634 9851 | 1 180877 25 | 0.000 % | 526.99/527.00 c | 2479555 | 404 3634 9851 | 1 180977 25 | 0.000 % | 526.99/527.00 c | 2479655 | 404 3634 9851 | 1 181077 25 | 0.000 % | 526.99/527.00 c | 2483241 | 404 3634 9851 | 1 184663 25 | 0.000 % | 526.99/527.00 c | 2489822 | 404 3634 9851 | 1 191244 26 | 0.000 % | 526.99/527.00 c | 2489922 | 404 3634 9851 | 1 191344 26 | 0.000 % | 526.99/527.00 c | 2490025 | 404 3634 9851 | 1 191447 26 | 0.000 % | 526.99/527.00 c | 2490126 | 404 3634 9851 | 1 191548 26 | 0.000 % | 526.99/527.00 c | 2491462 | 404 3634 9851 | 1 192884 26 | 0.000 % | 526.99/527.00 c | 2491588 | 404 3634 9851 | 1 193010 26 | 0.000 % | 526.99/527.00 c | 2491690 | 404 3634 9851 | 1 193112 26 | 0.000 % | 526.99/527.00 c | 2491792 | 404 3634 9851 | 1 193214 26 | 0.000 % | 526.99/527.00 c | 2492230 | 404 3634 9851 | 1 193652 26 | 0.000 % | 526.99/527.00 c | 2492330 | 404 3634 9851 | 1 193752 26 | 0.000 % | 526.99/527.00 c | 2492432 | 404 3634 9851 | 1 193854 26 | 0.000 % | 526.99/527.00 c | 2492548 | 404 3634 9851 | 1 193970 26 | 0.000 % | 526.99/527.00 c | 2492936 | 404 3634 9851 | 1 194358 26 | 0.000 % | 526.99/527.00 c | 2493037 | 404 3634 9851 | 1 194459 26 | 0.000 % | 526.99/527.00 c | 2495371 | 404 3634 9851 | 1 196793 26 | 0.000 % | 526.99/527.00 c | 2495471 | 404 3634 9851 | 1 196893 26 | 0.000 % | 526.99/527.00 c | 2495571 | 404 3634 9851 | 1 196993 26 | 0.000 % | 526.99/527.00 c | 2495714 | 404 3634 9851 | 1 197136 26 | 0.000 % | 526.99/527.00 c | 2495814 | 404 3634 9851 | 1 197236 26 | 0.000 % | 526.99/527.00 c | 2495914 | 404 3634 9851 | 1 197336 26 | 0.000 % | 526.99/527.00 c | 2496106 | 404 3634 9851 | 1 197528 26 | 0.000 % | 526.99/527.00 c | 2496929 | 404 3634 9851 | 1 198351 26 | 0.000 % | 526.99/527.00 c | 2497030 | 404 3634 9851 | 1 198452 26 | 0.000 % | 526.99/527.00 c | 2505295 | 404 3634 9851 | 1 206717 26 | 0.000 % | 526.99/527.00 c | 2509380 | 404 3634 9851 | 1 210802 26 | 0.000 % | 526.99/527.00 c | 2509485 | 404 3634 9851 | 1 210907 26 | 0.000 % | 526.99/527.00 c | 2509587 | 404 3634 9851 | 1 211009 26 | 0.000 % | 526.99/527.00 c | 2509687 | 404 3634 9851 | 1 211109 26 | 0.000 % | 526.99/527.00 c | 2510062 | 404 3634 9851 | 1 211484 26 | 0.000 % | 526.99/527.00 c | 2511252 | 404 3634 9851 | 1 212674 26 | 0.000 % | 526.99/527.00 c | 2511353 | 404 3634 9851 | 1 212775 26 | 0.000 % | 532.09/532.12 c | 2511717 | 404 3634 9851 | 1 213139 26 | 0.000 % | 532.09/532.12 c | 2511817 | 404 3634 9851 | 1 213239 26 | 0.000 % | 532.09/532.12 c | 2511918 | 404 3634 9851 | 1 213340 26 | 0.000 % | 532.09/532.12 c | 2512020 | 404 3634 9851 | 1 213442 26 | 0.000 % | 532.09/532.12 c | 2512121 | 404 3634 9851 | 1 213543 26 | 0.000 % | 532.09/532.12 c | 2513365 | 404 3634 9851 | 1 214787 26 | 0.000 % | 532.09/532.12 c | 2513467 | 404 3634 9851 | 1 214889 26 | 0.000 % | 532.09/532.12 c | 2513735 | 404 3634 9851 | 1 215157 26 | 0.000 % | 532.09/532.12 c | 2513836 | 404 3634 9851 | 1 215258 26 | 0.000 % | 532.09/532.12 c | 2514108 | 404 3634 9851 | 1 215530 26 | 0.000 % | 532.09/532.12 c | 2514210 | 404 3634 9851 | 1 215632 26 | 0.000 % | 532.09/532.12 c | 2514312 | 404 3634 9851 | 1 215734 27 | 0.000 % | 532.09/532.12 c | 2514412 | 404 3634 9851 | 1 215834 27 | 0.000 % | 532.09/532.12 c | 2514516 | 404 3634 9851 | 1 215938 27 | 0.000 % | 532.09/532.12 c | 2514616 | 404 3634 9851 | 1 216038 27 | 0.000 % | 532.09/532.12 c | 2514717 | 404 3634 9851 | 1 216139 27 | 0.000 % | 532.09/532.12 c | 2514819 | 404 3634 9851 | 1 216241 27 | 0.000 % | 532.09/532.12 c | 2515098 | 404 3634 9851 | 1 216520 27 | 0.000 % | 532.09/532.12 c | 2515199 | 404 3634 9851 | 1 216621 27 | 0.000 % | 532.09/532.12 c | 2515303 | 404 3634 9851 | 1 216725 27 | 0.000 % | 532.09/532.12 c | 2515403 | 404 3634 9851 | 1 216825 27 | 0.000 % | 532.09/532.12 c | 2515689 | 404 3634 9851 | 1 217111 27 | 0.000 % | 532.09/532.12 c | 2515789 | 404 3634 9851 | 1 217211 27 | 0.000 % | 532.09/532.12 c | 2515890 | 404 3634 9851 | 1 217312 27 | 0.000 % | 532.09/532.12 c | 2515991 | 404 3634 9851 | 1 217413 27 | 0.000 % | 532.09/532.12 c | 2516092 | 404 3634 9851 | 1 217514 27 | 0.000 % | 532.09/532.12 c | 2516193 | 404 3634 9851 | 1 217615 27 | 0.000 % | 532.09/532.12 c | 2516432 | 404 3634 9851 | 1 217854 27 | 0.000 % | 532.09/532.12 c | 2516535 | 404 3634 9851 | 1 217957 27 | 0.000 % | 532.09/532.12 c | 2516638 | 404 3634 9851 | 1 218060 27 | 0.000 % | 532.09/532.12 c | 2516741 | 404 3634 9851 | 1 218163 27 | 0.000 % | 532.09/532.12 c | 2516842 | 404 3634 9851 | 1 218264 27 | 0.000 % | 532.09/532.12 c | 2516942 | 404 3634 9851 | 1 218364 27 | 0.000 % | 532.09/532.12 c | 2517042 | 404 3634 9851 | 1 218464 27 | 0.000 % | 532.09/532.12 c | 2517143 | 404 3634 9851 | 1 218565 27 | 0.000 % | 532.09/532.12 c | 2517243 | 404 3634 9851 | 1 218665 27 | 0.000 % | 532.09/532.12 c | 2517343 | 404 3634 9851 | 1 218765 27 | 0.000 % | 532.09/532.12 c | 2518152 | 404 3634 9851 | 1 219574 27 | 0.000 % | 532.09/532.12 c | 2518425 | 404 3634 9851 | 1 219847 27 | 0.000 % | 532.09/532.12 c | 2518526 | 404 3634 9851 | 1 219948 27 | 0.000 % | 532.09/532.12 c | 2518627 | 404 3634 9851 | 1 220049 27 | 0.000 % | 532.09/532.12 c | 2518728 | 404 3634 9851 | 1 220150 27 | 0.000 % | 532.09/532.12 c | 2518828 | 404 3634 9851 | 1 220250 27 | 0.000 % | 532.09/532.12 c | 2518931 | 404 3634 9851 | 1 220353 27 | 0.000 % | 532.09/532.12 c | 2519032 | 404 3634 9851 | 1 220454 27 | 0.000 % | 532.09/532.12 c | 2519239 | 404 3634 9851 | 1 220661 27 | 0.000 % | 532.09/532.12 c | 2519436 | 404 3634 9851 | 1 220858 27 | 0.000 % | 532.09/532.12 c | 2519536 | 404 3634 9851 | 1 220958 27 | 0.000 % | 532.09/532.12 c | 2519636 | 404 3634 9851 | 1 221058 27 | 0.000 % | 532.09/532.12 c | 2519739 | 404 3634 9851 | 1 221161 27 | 0.000 % | 534.99/535.00 c | 2519839 | 404 3634 9851 | 1 110652 22 | 0.000 % | 534.99/535.00 c | 2519939 | 404 3634 9851 | 1 110752 22 | 0.000 % | 534.99/535.00 c | 2520040 | 404 3634 9851 | 1 110853 22 | 0.000 % | 534.99/535.00 c | 2520142 | 404 3634 9851 | 1 110955 22 | 0.000 % | 534.99/535.00 c | 2520242 | 404 3634 9851 | 1 111055 22 | 0.000 % | 534.99/535.00 c | 2520344 | 404 3634 9851 | 1 111157 22 | 0.000 % | 534.99/535.00 c | 2520444 | 404 3634 9851 | 1 111257 22 | 0.000 % | 534.99/535.00 c | 2520546 | 404 3634 9851 | 1 111359 22 | 0.000 % | 534.99/535.00 c | 2520647 | 404 3634 9851 | 1 111460 22 | 0.000 % | 534.99/535.00 c | 2520747 | 404 3634 9851 | 1 111560 22 | 0.000 % | 534.99/535.00 c | 2520847 | 404 3634 9851 | 1 111660 22 | 0.000 % | 534.99/535.00 c | 2522016 | 404 3634 9851 | 1 112829 22 | 0.000 % | 534.99/535.00 c | 2522116 | 404 3634 9851 | 1 112929 22 | 0.000 % | 534.99/535.00 c | 2522533 | 404 3634 9851 | 1 113346 22 | 0.000 % | 534.99/535.00 c | 2522633 | 404 3634 9851 | 1 113446 22 | 0.000 % | 534.99/535.00 c | 2522735 | 404 3634 9851 | 1 113548 22 | 0.000 % | 534.99/535.00 c | 2522835 | 404 3634 9851 | 1 113648 22 | 0.000 % | 534.99/535.00 c | 2522936 | 404 3634 9851 | 1 113749 22 | 0.000 % | 534.99/535.00 c | 2523037 | 404 3634 9851 | 1 113850 22 | 0.000 % | 534.99/535.00 c | 2523139 | 404 3634 9851 | 1 113952 22 | 0.000 % | 534.99/535.00 c | 2523239 | 404 3634 9851 | 1 114052 22 | 0.000 % | 534.99/535.00 c | 2523339 | 404 3634 9851 | 1 114152 22 | 0.000 % | 534.99/535.00 c | 2523439 | 404 3634 9851 | 1 114252 22 | 0.000 % | 534.99/535.00 c | 2523541 | 404 3634 9851 | 1 114354 22 | 0.000 % | 534.99/535.00 c | 2523641 | 404 3634 9851 | 1 114454 22 | 0.000 % | 534.99/535.00 c | 2523742 | 404 3634 9851 | 1 114555 22 | 0.000 % | 534.99/535.00 c | 2524177 | 404 3634 9851 | 1 114990 22 | 0.000 % | 534.99/535.00 c | 2524279 | 404 3634 9851 | 1 115092 22 | 0.000 % | 534.99/535.00 c | 2524555 | 404 3634 9851 | 1 115368 22 | 0.000 % | 534.99/535.00 c | 2524657 | 404 3634 9851 | 1 115470 22 | 0.000 % | 534.99/535.00 c | 2524757 | 404 3634 9851 | 1 115570 22 | 0.000 % | 534.99/535.00 c | 2524857 | 404 3634 9851 | 1 115670 22 | 0.000 % | 534.99/535.00 c | 2524961 | 404 3634 9851 | 1 115774 22 | 0.000 % | 534.99/535.00 c | 2525062 | 404 3634 9851 | 1 115875 22 | 0.000 % | 534.99/535.00 c | 2525164 | 404 3634 9851 | 1 115977 22 | 0.000 % | 534.99/535.00 c | 2525266 | 404 3634 9851 | 1 116079 22 | 0.000 % | 534.99/535.00 c | 2525366 | 404 3634 9851 | 1 116179 22 | 0.000 % | 534.99/535.00 c | 2525466 | 404 3634 9851 | 1 116279 22 | 0.000 % | 534.99/535.00 c | 2525568 | 404 3634 9851 | 1 116381 22 | 0.000 % | 534.99/535.00 c | 2525669 | 404 3634 9851 | 1 116482 23 | 0.000 % | 534.99/535.00 c | 2525769 | 404 3634 9851 | 1 116582 23 | 0.000 % | 534.99/535.00 c | 2525872 | 404 3634 9851 | 1 116685 23 | 0.000 % | 534.99/535.00 c | 2525973 | 404 3634 9851 | 1 116786 23 | 0.000 % | 534.99/535.00 c | 2526073 | 404 3634 9851 | 1 116886 23 | 0.000 % | 534.99/535.00 c | 2527559 | 404 3634 9851 | 1 118372 23 | 0.000 % | 534.99/535.00 c | 2529164 | 404 3634 9851 | 1 119977 23 | 0.000 % | 534.99/535.00 c | 2529264 | 404 3634 9851 | 1 120077 23 | 0.000 % | 534.99/535.00 c | 2529364 | 404 3634 9851 | 1 120177 23 | 0.000 % | 534.99/535.00 c | 2529466 | 404 3634 9851 | 1 120279 23 | 0.000 % | 534.99/535.00 c | 2529566 | 404 3634 9851 | 1 120379 23 | 0.000 % | 541.79/541.85 c | 2529667 | 404 3634 9851 | 1 120480 23 | 0.000 % | 541.79/541.85 c | 2529767 | 404 3634 9851 | 1 120580 23 | 0.000 % | 541.79/541.85 c | 2529868 | 404 3634 9851 | 1 120681 23 | 0.000 % | 541.79/541.85 c | 2534066 | 404 3634 9851 | 1 124879 23 | 0.000 % | 541.79/541.85 c | 2534167 | 404 3634 9851 | 1 124980 23 | 0.000 % | 541.79/541.85 c | 2536177 | 404 3634 9851 | 1 126990 23 | 0.000 % | 541.79/541.85 c | 2536277 | 404 3634 9851 | 1 127090 23 | 0.000 % | 541.79/541.85 c | 2536400 | 404 3634 9851 | 1 127213 23 | 0.000 % | 541.79/541.85 c | 2536500 | 404 3634 9851 | 1 127313 23 | 0.000 % | 541.79/541.85 c | 2536602 | 404 3634 9851 | 1 127415 23 | 0.000 % | 541.79/541.85 c | 2537783 | 404 3634 9851 | 1 128596 23 | 0.000 % | 541.79/541.85 c | 2547524 | 404 3634 9851 | 1 138337 24 | 0.000 % | 541.79/541.85 c | 2547625 | 404 3634 9851 | 1 138438 24 | 0.000 % | 541.79/541.85 c | 2547727 | 404 3634 9851 | 1 138540 24 | 0.000 % | 541.79/541.85 c | 2548494 | 404 3634 9851 | 1 139307 24 | 0.000 % | 541.79/541.85 c | 2548595 | 404 3634 9851 | 1 139408 24 | 0.000 % | 541.79/541.85 c | 2548918 | 404 3634 9851 | 1 139731 24 | 0.000 % | 541.79/541.85 c | 2549018 | 404 3634 9851 | 1 139831 24 | 0.000 % | 541.79/541.85 c | 2549119 | 404 3634 9851 | 1 139932 24 | 0.000 % | 541.79/541.85 c | 2549219 | 404 3634 9851 | 1 140032 24 | 0.000 % | 541.79/541.85 c | 2549319 | 404 3634 9851 | 1 140132 24 | 0.000 % | 541.79/541.85 c | 2549420 | 404 3634 9851 | 1 140233 24 | 0.000 % | 541.79/541.85 c | 2549520 | 404 3634 9851 | 1 140333 24 | 0.000 % | 541.79/541.85 c | 2549623 | 404 3634 9851 | 1 140436 25 | 0.000 % | 541.79/541.85 c | 2549742 | 404 3634 9851 | 1 140555 25 | 0.000 % | 541.79/541.85 c | 2549842 | 404 3634 9851 | 1 140655 25 | 0.000 % | 541.79/541.85 c | 2549943 | 404 3634 9851 | 1 140756 25 | 0.000 % | 541.79/541.85 c | 2550045 | 404 3634 9851 | 1 140858 25 | 0.000 % | 541.79/541.85 c | 2550145 | 404 3634 9851 | 1 140958 25 | 0.000 % | 541.79/541.85 c | 2550246 | 404 3634 9851 | 1 141059 25 | 0.000 % | 541.79/541.85 c | 2550346 | 404 3634 9851 | 1 141159 25 | 0.000 % | 541.79/541.85 c | 2550446 | 404 3634 9851 | 1 141259 25 | 0.000 % | 541.79/541.85 c | 2550546 | 404 3634 9851 | 1 141359 25 | 0.000 % | 541.79/541.85 c | 2550646 | 404 3634 9851 | 1 141459 25 | 0.000 % | 541.79/541.85 c | 2550747 | 404 3634 9851 | 1 141560 25 | 0.000 % | 541.79/541.85 c | 2550847 | 404 3634 9851 | 1 141660 25 | 0.000 % | 541.79/541.85 c | 2550947 | 404 3634 9851 | 1 141760 25 | 0.000 % | 541.79/541.85 c | 2551074 | 404 3634 9851 | 1 141887 25 | 0.000 % | 541.79/541.85 c | 2551742 | 404 3634 9851 | 1 142555 25 | 0.000 % | 541.79/541.85 c | 2551843 | 404 3634 9851 | 1 142656 25 | 0.000 % | 541.79/541.85 c | 2551944 | 404 3634 9851 | 1 142757 25 | 0.000 % | 541.79/541.85 c | 2552091 | 404 3634 9851 | 1 142904 25 | 0.000 % | 541.79/541.85 c | 2552191 | 404 3634 9851 | 1 143004 25 | 0.000 % | 541.79/541.85 c | 2552291 | 404 3634 9851 | 1 143104 25 | 0.000 % | 541.79/541.85 c | 2552393 | 404 3634 9851 | 1 143206 25 | 0.000 % | 541.79/541.85 c | 2552493 | 404 3634 9851 | 1 143306 25 | 0.000 % | 541.79/541.85 c | 2552594 | 404 3634 9851 | 1 143407 25 | 0.000 % | 541.79/541.85 c | 2552694 | 404 3634 9851 | 1 143507 25 | 0.000 % | 541.79/541.85 c | 2553254 | 404 3634 9851 | 1 144067 25 | 0.000 % | 541.79/541.85 c | 2553354 | 404 3634 9851 | 1 144167 25 | 0.000 % | 638.89/638.91 c | 2553486 | 404 3634 9851 | 1 144299 25 | 0.000 % | 638.89/638.91 c | 2553588 | 404 3634 9851 | 1 144401 25 | 0.000 % | 638.89/638.91 c | 2553688 | 404 3634 9851 | 1 144501 25 | 0.000 % | 638.89/638.91 c | 2553788 | 404 3634 9851 | 1 144601 25 | 0.000 % | 638.89/638.91 c | 2553926 | 404 3634 9851 | 1 144739 25 | 0.000 % | 638.89/638.91 c | 2554028 | 404 3634 9851 | 1 144841 25 | 0.000 % | 638.89/638.91 c | 2554128 | 404 3634 9851 | 1 144941 25 | 0.000 % | 638.89/638.91 c | 2554228 | 404 3634 9851 | 1 145041 25 | 0.000 % | 638.89/638.91 c | 2554329 | 404 3634 9851 | 1 145142 25 | 0.000 % | 638.89/638.91 c | 2554429 | 404 3634 9851 | 1 145242 25 | 0.000 % | 638.89/638.91 c | 2554529 | 404 3634 9851 | 1 145342 25 | 0.000 % | 638.89/638.91 c | 2554629 | 404 3634 9851 | 1 145442 25 | 0.000 % | 638.89/638.91 c | 2554729 | 404 3634 9851 | 1 145542 25 | 0.000 % | 638.89/638.91 c | 2554829 | 404 3634 9851 | 1 145642 25 | 0.000 % | 638.89/638.91 c | 2554930 | 404 3634 9851 | 1 145743 25 | 0.000 % | 638.89/638.91 c | 2555031 | 404 3634 9851 | 1 145844 25 | 0.000 % | 638.89/638.91 c | 2555511 | 404 3634 9851 | 1 146324 25 | 0.000 % | 638.89/638.91 c | 2555613 | 404 3634 9851 | 1 146426 25 | 0.000 % | 638.89/638.91 c | 2555714 | 404 3634 9851 | 1 146527 25 | 0.000 % | 638.89/638.91 c | 2555814 | 404 3634 9851 | 1 146627 25 | 0.000 % | 638.89/638.91 c | 2555919 | 404 3634 9851 | 1 146732 25 | 0.000 % | 638.89/638.91 c | 2556021 | 404 3634 9851 | 1 146834 25 | 0.000 % | 638.89/638.91 c | 2556551 | 404 3634 9851 | 1 147364 25 | 0.000 % | 638.89/638.91 c | 2556651 | 404 3634 9851 | 1 147464 25 | 0.000 % | 638.89/638.91 c | 2556900 | 404 3634 9851 | 1 147713 25 | 0.000 % | 638.89/638.91 c | 2557000 | 404 3634 9851 | 1 147813 25 | 0.000 % | 638.89/638.91 c | 2557101 | 404 3634 9851 | 1 147914 25 | 0.000 % | 638.89/638.91 c | 2557203 | 404 3634 9851 | 1 148016 25 | 0.000 % | 638.89/638.91 c | 2568940 | 404 3634 9851 | 1 159753 25 | 0.000 % | 638.89/638.91 c | 2569040 | 404 3634 9851 | 1 159853 26 | 0.000 % | 638.89/638.91 c | 2569304 | 404 3634 9851 | 1 160117 26 | 0.000 % | 638.89/638.91 c | 2569497 | 404 3634 9851 | 1 160310 26 | 0.000 % | 638.89/638.91 c | 2569597 | 404 3634 9851 | 1 160410 26 | 0.000 % | 638.89/638.91 c | 2569780 | 404 3634 9851 | 1 160593 26 | 0.000 % | 638.89/638.91 c | 2569904 | 404 3634 9851 | 1 160717 26 | 0.000 % | 638.89/638.91 c | 2570005 | 404 3634 9851 | 1 160818 26 | 0.000 % | 638.89/638.91 c | 2822281 | 404 3634 9851 | 1 184095 23 | 0.000 % | 638.89/638.91 c | 2841279 | 404 3634 9851 | 1 203093 24 | 0.000 % | 638.89/638.91 c | 2841891 | 404 3634 9851 | 1 203705 24 | 0.000 % | 638.89/638.91 c | 2841991 | 404 3634 9851 | 1 203805 24 | 0.000 % | 638.89/638.91 c | 2842091 | 404 3634 9851 | 1 203905 24 | 0.000 % | 638.89/638.91 c | 2842191 | 404 3634 9851 | 1 204005 24 | 0.000 % | 638.89/638.91 c | 2872511 | 404 3634 9851 | 1 234325 25 | 0.000 % | 638.89/638.91 c | 2872613 | 404 3634 9851 | 1 234427 25 | 0.000 % | 638.89/638.91 c | 2882562 | 404 3634 9851 | 1 125976 21 | 0.000 % | 638.89/638.91 c | 2886086 | 404 3634 9851 | 1 129500 22 | 0.000 % | 638.89/638.91 c | 2886391 | 404 3634 9851 | 1 129805 22 | 0.000 % | 638.89/638.91 c | 2886493 | 404 3634 9851 | 1 129907 22 | 0.000 % | 638.89/638.91 c | 2886593 | 404 3634 9851 | 1 130007 22 | 0.000 % | 666.50/666.60 c | 2886693 | 404 3634 9851 | 1 130107 22 | 0.000 % | 666.50/666.60 c | 2886793 | 404 3634 9851 | 1 130207 22 | 0.000 % | 666.50/666.60 c | 2888527 | 404 3634 9851 | 1 131941 22 | 0.000 % | 666.50/666.60 c | 2888629 | 404 3634 9851 | 1 132043 22 | 0.000 % | 666.50/666.60 c | 2888729 | 404 3634 9851 | 1 132143 22 | 0.000 % | 666.50/666.60 c | 2890786 | 404 3634 9851 | 1 134200 22 | 0.000 % | 666.50/666.60 c | 2890894 | 404 3634 9851 | 1 134308 22 | 0.000 % | 666.50/666.60 c | 2891163 | 404 3634 9851 | 1 134577 22 | 0.000 % | 666.50/666.60 c | 2891265 | 404 3634 9851 | 1 134679 22 | 0.000 % | 666.50/666.60 c | 2915393 | 404 3634 9851 | 1 158807 23 | 0.000 % | 666.50/666.60 c | 2915497 | 404 3634 9851 | 1 158911 23 | 0.000 % | 666.50/666.60 c | 2916620 | 404 3634 9851 | 1 160034 23 | 0.000 % | 666.50/666.60 c | 2917182 | 404 3634 9851 | 1 160596 23 | 0.000 % | 666.50/666.60 c | 2923965 | 404 3634 9851 | 1 167379 24 | 0.000 % | 666.50/666.60 c | 2924068 | 404 3634 9851 | 1 167482 24 | 0.000 % | 666.50/666.60 c | 2924168 | 404 3634 9851 | 1 167582 24 | 0.000 % | 666.50/666.60 c | 2924268 | 404 3634 9851 | 1 167682 24 | 0.000 % | 666.50/666.60 c | 2924368 | 404 3634 9851 | 1 167782 24 | 0.000 % | 666.50/666.60 c | 2924470 | 404 3634 9851 | 1 167884 24 | 0.000 % | 666.50/666.60 c | 2924571 | 404 3634 9851 | 1 167985 24 | 0.000 % | 666.50/666.60 c | 2925122 | 404 3634 9851 | 1 168536 24 | 0.000 % | 666.50/666.60 c | 2926166 | 404 3634 9851 | 1 169580 24 | 0.000 % | 666.50/666.60 c | 2928869 | 404 3634 9851 | 1 172283 24 | 0.000 % | 666.50/666.60 c | 2928970 | 404 3634 9851 | 1 172384 24 | 0.000 % | 666.50/666.60 c | 2929235 | 404 3634 9851 | 1 172649 24 | 0.000 % | 666.50/666.60 c | 2929336 | 404 3634 9851 | 1 172750 24 | 0.000 % | 666.50/666.60 c | 2929436 | 404 3634 9851 | 1 172850 24 | 0.000 % | 666.50/666.60 c | 2929537 | 404 3634 9851 | 1 172951 24 | 0.000 % | 666.50/666.60 c | 2929637 | 404 3634 9851 | 1 173051 24 | 0.000 % | 666.50/666.60 c | 2929737 | 404 3634 9851 | 1 173151 24 | 0.000 % | 666.50/666.60 c | 2929838 | 404 3634 9851 | 1 173252 24 | 0.000 % | 666.50/666.60 c | 2929939 | 404 3634 9851 | 1 173353 24 | 0.000 % | 666.50/666.60 c | 2939389 | 404 3634 9851 | 1 182803 25 | 0.000 % | 666.50/666.60 c | 2939492 | 404 3634 9851 | 1 182906 25 | 0.000 % | 666.50/666.60 c | 2939592 | 404 3634 9851 | 1 183006 25 | 0.000 % | 666.50/666.60 c | 2939800 | 404 3634 9851 | 1 183214 25 | 0.000 % | 666.50/666.60 c | 2940164 | 404 3634 9851 | 1 183578 25 | 0.000 % | 666.50/666.60 c | 2940264 | 404 3634 9851 | 1 183678 25 | 0.000 % | 666.50/666.60 c | 2940608 | 404 3634 9851 | 1 184022 25 | 0.000 % | 666.50/666.60 c | 2941946 | 404 3634 9851 | 1 185360 25 | 0.000 % | 666.50/666.60 c | 2942048 | 404 3634 9851 | 1 185462 25 | 0.000 % | 666.50/666.60 c | 2947026 | 404 3634 9851 | 1 190440 25 | 0.000 % | 666.50/666.60 c | 2947150 | 404 3634 9851 | 1 190564 25 | 0.000 % | 666.50/666.60 c | 2947327 | 404 3634 9851 | 1 190741 25 | 0.000 % | 666.50/666.60 c | 2954853 | 404 3634 9851 | 1 198267 25 | 0.000 % | 666.50/666.60 c | 2954959 | 404 3634 9851 | 1 198373 25 | 0.000 % | 666.50/666.60 c | 2955059 | 404 3634 9851 | 1 198473 25 | 0.000 % | 666.50/666.60 c | 2955414 | 404 3634 9851 | 1 198828 25 | 0.000 % | 666.50/666.60 c | 2955515 | 404 3634 9851 | 1 198929 25 | 0.000 % | 666.50/666.60 c | 2955615 | 404 3634 9851 | 1 199029 25 | 0.000 % | 834.80/834.84 c | 2956620 | 404 3634 9851 | 1 200034 25 | 0.000 % | 834.80/834.84 c | 2956721 | 404 3634 9851 | 1 200135 25 | 0.000 % | 834.80/834.84 c | 2956870 | 404 3634 9851 | 1 200284 25 | 0.000 % | 834.80/834.84 c | 2956971 | 404 3634 9851 | 1 200385 25 | 0.000 % | 834.80/834.84 c | 2957071 | 404 3634 9851 | 1 200485 25 | 0.000 % | 834.80/834.84 c | 2957171 | 404 3634 9851 | 1 200585 25 | 0.000 % | 834.80/834.84 c | 2957274 | 404 3634 9851 | 1 200688 25 | 0.000 % | 834.80/834.84 c | 2957377 | 404 3634 9851 | 1 200791 25 | 0.000 % | 834.80/834.84 c | 2957578 | 404 3634 9851 | 1 200992 25 | 0.000 % | 834.80/834.84 c | 2957678 | 404 3634 9851 | 1 201092 25 | 0.000 % | 834.80/834.84 c | 2957778 | 404 3634 9851 | 1 201192 25 | 0.000 % | 834.80/834.84 c | 2957879 | 404 3634 9851 | 1 201293 25 | 0.000 % | 834.80/834.84 c | 2958028 | 404 3634 9851 | 1 201442 25 | 0.000 % | 834.80/834.84 c | 2958427 | 404 3634 9851 | 1 201841 25 | 0.000 % | 834.80/834.84 c | 3345589 | 404 3634 9851 | 1 218208 23 | 0.000 % | 834.80/834.84 c | 3345691 | 404 3634 9851 | 1 218310 23 | 0.000 % | 834.80/834.84 c | 3483214 | 404 3634 9851 | 1 227033 25 | 0.000 % | 834.80/834.84 c | 3486389 | 404 3634 9851 | 1 230208 25 | 0.000 % | 834.80/834.84 c | 3486489 | 404 3634 9851 | 1 230308 25 | 0.000 % | 834.80/834.84 c | 3486591 | 404 3634 9851 | 1 230410 25 | 0.000 % | 834.80/834.84 c | 3486691 | 404 3634 9851 | 1 230510 25 | 0.000 % | 834.80/834.84 c | 3486791 | 404 3634 9851 | 1 230610 25 | 0.000 % | 834.80/834.84 c | 3486892 | 404 3634 9851 | 1 230711 25 | 0.000 % | 834.80/834.84 c | 3486995 | 404 3634 9851 | 1 230814 25 | 0.000 % | 834.80/834.84 c | 3487095 | 404 3634 9851 | 1 230914 25 | 0.000 % | 834.80/834.84 c | 3487965 | 404 3634 9851 | 1 231784 25 | 0.000 % | 834.80/834.84 c | 3488066 | 404 3634 9851 | 1 231885 25 | 0.000 % | 834.80/834.84 c | 3488166 | 404 3634 9851 | 1 231985 25 | 0.000 % | 834.80/834.84 c | 3488267 | 404 3634 9851 | 1 232086 25 | 0.000 % | 834.80/834.84 c | 3488748 | 404 3634 9851 | 1 232567 25 | 0.000 % | 834.80/834.84 c | 3488849 | 404 3634 9851 | 1 232668 25 | 0.000 % | 834.80/834.84 c | 3488949 | 404 3634 9851 | 1 232768 25 | 0.000 % | 834.80/834.84 c | 3489049 | 404 3634 9851 | 1 232868 25 | 0.000 % | 834.80/834.84 c | 3489375 | 404 3634 9851 | 1 233194 25 | 0.000 % | 834.80/834.84 c | 3489476 | 404 3634 9851 | 1 233295 25 | 0.000 % | 834.80/834.84 c | 3489576 | 404 3634 9851 | 1 233395 25 | 0.000 % | 834.80/834.84 c | 3489677 | 404 3634 9851 | 1 233496 25 | 0.000 % | 834.80/834.84 c | 3489777 | 404 3634 9851 | 1 233596 25 | 0.000 % | 834.80/834.84 c | 3489882 | 404 3634 9851 | 1 233701 25 | 0.000 % | 834.80/834.84 c | 3489982 | 404 3634 9851 | 1 233801 25 | 0.000 % | 834.80/834.84 c | 3490083 | 404 3634 9851 | 1 233902 25 | 0.000 % | 834.80/834.84 c | 3490183 | 404 3634 9851 | 1 234002 25 | 0.000 % | 834.80/834.84 c | 3490285 | 404 3634 9851 | 1 234104 25 | 0.000 % | 834.80/834.84 c | 3490385 | 404 3634 9851 | 1 234204 25 | 0.000 % | 834.80/834.84 c | 3490485 | 404 3634 9851 | 1 234304 25 | 0.000 % | 834.80/834.84 c | 3490586 | 404 3634 9851 | 1 234405 25 | 0.000 % | 834.80/834.84 c | 3490689 | 404 3634 9851 | 1 234508 25 | 0.000 % | 834.80/834.84 c | 3490789 | 404 3634 9851 | 1 234608 25 | 0.000 % | 834.80/834.84 c | 3490889 | 404 3634 9851 | 1 234708 25 | 0.000 % | 834.80/834.84 c | 3490991 | 404 3634 9851 | 1 234810 25 | 0.000 % | 843.80/843.85 c | 3491093 | 404 3634 9851 | 1 234912 25 | 0.000 % | 843.80/843.85 c | 3491198 | 404 3634 9851 | 1 235017 25 | 0.000 % | 843.80/843.85 c | 3491298 | 404 3634 9851 | 1 235117 25 | 0.000 % | 843.80/843.85 c | 3491398 | 404 3634 9851 | 1 235217 25 | 0.000 % | 843.80/843.85 c | 3491512 | 404 3634 9851 | 1 235331 25 | 0.000 % | 843.80/843.85 c | 3491887 | 404 3634 9851 | 1 235706 25 | 0.000 % | 843.80/843.85 c | 3491987 | 404 3634 9851 | 1 235806 25 | 0.000 % | 843.80/843.85 c | 3492159 | 404 3634 9851 | 1 235978 25 | 0.000 % | 843.80/843.85 c | 3492374 | 404 3634 9851 | 1 236193 25 | 0.000 % | 843.80/843.85 c | 3492474 | 404 3634 9851 | 1 236293 25 | 0.000 % | 843.80/843.85 c | 3492574 | 404 3634 9851 | 1 236393 25 | 0.000 % | 843.80/843.85 c | 3492838 | 404 3634 9851 | 1 236657 25 | 0.000 % | 843.80/843.85 c | 3495268 | 404 3634 9851 | 1 239087 25 | 0.000 % | 843.80/843.85 c | 3495370 | 404 3634 9851 | 1 239189 25 | 0.000 % | 843.80/843.85 c | 3495472 | 404 3634 9851 | 1 239291 25 | 0.000 % | 843.80/843.85 c | 3495591 | 404 3634 9851 | 1 239410 25 | 0.000 % | 843.80/843.85 c | 3495694 | 404 3634 9851 | 1 239513 25 | 0.000 % | 843.80/843.85 c | 3495795 | 404 3634 9851 | 1 239614 25 | 0.000 % | 843.80/843.85 c | 3495896 | 404 3634 9851 | 1 239715 25 | 0.000 % | 843.80/843.85 c | 3497295 | 404 3634 9851 | 1 241114 26 | 0.000 % | 843.80/843.85 c | 3497395 | 404 3634 9851 | 1 241214 26 | 0.000 % | 843.80/843.85 c | 3497496 | 404 3634 9851 | 1 241315 26 | 0.000 % | 843.80/843.85 c | 3497596 | 404 3634 9851 | 1 241415 26 | 0.000 % | 843.80/843.85 c | 3497696 | 404 3634 9851 | 1 241515 26 | 0.000 % | 843.80/843.85 c | 3497976 | 404 3634 9851 | 1 241795 26 | 0.000 % | 843.80/843.85 c | 3498076 | 404 3634 9851 | 1 241895 26 | 0.000 % | 843.80/843.85 c | 3498370 | 404 3634 9851 | 1 242189 26 | 0.000 % | 843.80/843.85 c | 3498470 | 404 3634 9851 | 1 242289 26 | 0.000 % | 843.80/843.85 c | 3498570 | 404 3634 9851 | 1 242389 26 | 0.000 % | 843.80/843.85 c | 3498672 | 404 3634 9851 | 1 242491 26 | 0.000 % | 843.80/843.85 c | 3498773 | 404 3634 9851 | 1 242592 26 | 0.000 % | 843.80/843.85 c | 3498873 | 404 3634 9851 | 1 242692 26 | 0.000 % | 843.80/843.85 c | 3498974 | 404 3634 9851 | 1 242793 26 | 0.000 % | 843.80/843.85 c | 3499074 | 404 3634 9851 | 1 242893 26 | 0.000 % | 843.80/843.85 c | 3499177 | 404 3634 9851 | 1 242996 26 | 0.000 % | 843.80/843.85 c | 3499362 | 404 3634 9851 | 1 243181 26 | 0.000 % | 843.80/843.85 c | 3499509 | 404 3634 9851 | 1 243328 26 | 0.000 % | 843.80/843.85 c | 3499610 | 404 3634 9851 | 1 243429 26 | 0.000 % | 843.80/843.85 c | 3499710 | 404 3634 9851 | 1 243529 26 | 0.000 % | 843.80/843.85 c | 3499811 | 404 3634 9851 | 1 243630 26 | 0.000 % | 843.80/843.85 c | 3505362 | 404 3634 9851 | 1 249181 26 | 0.000 % | 843.80/843.85 c | 3506983 | 404 3634 9851 | 1 250802 26 | 0.000 % | 843.80/843.85 c | 3507084 | 404 3634 9851 | 1 250903 26 | 0.000 % | 843.80/843.85 c | 3507186 | 404 3634 9851 | 1 251005 26 | 0.000 % | 843.80/843.85 c | 3507838 | 404 3634 9851 | 1 251657 26 | 0.000 % | 843.80/843.85 c | 3507941 | 404 3634 9851 | 1 251760 26 | 0.000 % | 843.80/843.85 c | 3508086 | 404 3634 9851 | 1 251905 26 | 0.000 % | 843.80/843.85 c | 3508192 | 404 3634 9851 | 1 252011 26 | 0.000 % | 843.80/843.85 c | 3508293 | 404 3634 9851 | 1 252112 26 | 0.000 % | 843.80/843.85 c | 3508394 | 404 3634 9851 | 1 252213 26 | 0.000 % | 852.70/852.71 c | 3508496 | 404 3634 9851 | 1 252315 26 | 0.000 % | 852.70/852.71 c | 3509043 | 404 3634 9851 | 1 252862 26 | 0.000 % | 852.70/852.71 c | 3509145 | 404 3634 9851 | 1 252964 26 | 0.000 % | 852.70/852.71 c | 3509629 | 404 3634 9851 | 1 253448 26 | 0.000 % | 852.70/852.71 c | 3509729 | 404 3634 9851 | 1 253548 26 | 0.000 % | 852.70/852.71 c | 3510132 | 404 3634 9851 | 1 253951 26 | 0.000 % | 852.70/852.71 c | 3510642 | 404 3634 9851 | 1 254461 26 | 0.000 % | 852.70/852.71 c | 3510993 | 404 3634 9851 | 1 254812 26 | 0.000 % | 852.70/852.71 c | 3511096 | 404 3634 9851 | 1 254915 26 | 0.000 % | 852.70/852.71 c | 3511196 | 404 3634 9851 | 1 255015 26 | 0.000 % | 852.70/852.71 c | 3511297 | 404 3634 9851 | 1 255116 26 | 0.000 % | 852.70/852.71 c | 3511397 | 404 3634 9851 | 1 255216 26 | 0.000 % | 852.70/852.71 c | 3511498 | 404 3634 9851 | 1 255317 26 | 0.000 % | 852.70/852.71 c | 3511771 | 404 3634 9851 | 1 255590 26 | 0.000 % | 852.70/852.71 c | 3512646 | 404 3634 9851 | 1 256465 26 | 0.000 % | 852.70/852.71 c | 3516719 | 404 3634 9851 | 1 260538 26 | 0.000 % | 852.70/852.71 c | 3518827 | 404 3634 9851 | 1 262646 26 | 0.000 % | 852.70/852.71 c | 3521630 | 404 3634 9851 | 1 134049 21 | 0.000 % | 852.70/852.71 c | 3521730 | 404 3634 9851 | 1 134149 21 | 0.000 % | 852.70/852.71 c | 3522444 | 404 3634 9851 | 1 134863 21 | 0.000 % | 852.70/852.71 c | 3522545 | 404 3634 9851 | 1 134964 21 | 0.000 % | 852.70/852.71 c | 3522932 | 404 3634 9851 | 1 135351 21 | 0.000 % | 852.70/852.71 c | 3523033 | 404 3634 9851 | 1 135452 21 | 0.000 % | 852.70/852.71 c | 3523218 | 404 3634 9851 | 1 135637 21 | 0.000 % | 852.70/852.71 c | 3523319 | 404 3634 9851 | 1 135738 21 | 0.000 % | 852.70/852.71 c | 3523420 | 404 3634 9851 | 1 135839 21 | 0.000 % | 852.70/852.71 c | 3523730 | 404 3634 9851 | 1 136149 21 | 0.000 % | 852.70/852.71 c | 3523831 | 404 3634 9851 | 1 136250 21 | 0.000 % | 852.70/852.71 c | 3523934 | 404 3634 9851 | 1 136353 21 | 0.000 % | 852.70/852.71 c | 3524037 | 404 3634 9851 | 1 136456 21 | 0.000 % | 852.70/852.71 c | 3524671 | 404 3634 9851 | 1 137090 21 | 0.000 % | 852.70/852.71 c | 3524773 | 404 3634 9851 | 1 137192 21 | 0.000 % | 852.70/852.71 c | 3524873 | 404 3634 9851 | 1 137292 21 | 0.000 % | 852.70/852.71 c | 3524977 | 404 3634 9851 | 1 137396 21 | 0.000 % | 852.70/852.71 c | 3525181 | 404 3634 9851 | 1 137600 21 | 0.000 % | 852.70/852.71 c | 3525281 | 404 3634 9851 | 1 137700 21 | 0.000 % | 852.70/852.71 c | 3525593 | 404 3634 9851 | 1 138012 21 | 0.000 % | 852.70/852.71 c | 3525693 | 404 3634 9851 | 1 138112 21 | 0.000 % | 852.70/852.71 c | 3525794 | 404 3634 9851 | 1 138213 21 | 0.000 % | 852.70/852.71 c | 3526126 | 404 3634 9851 | 1 138545 21 | 0.000 % | 852.70/852.71 c | 3526226 | 404 3634 9851 | 1 138645 21 | 0.000 % | 852.70/852.71 c | 3526326 | 404 3634 9851 | 1 138745 21 | 0.000 % | 852.70/852.71 c | 3526428 | 404 3634 9851 | 1 138847 21 | 0.000 % | 852.70/852.71 c | 3526531 | 404 3634 9851 | 1 138950 21 | 0.000 % | 852.70/852.71 c | 3526633 | 404 3634 9851 | 1 139052 22 | 0.000 % | 852.70/852.71 c | 3526734 | 404 3634 9851 | 1 139153 22 | 0.000 % | 852.70/852.71 c | 3526835 | 404 3634 9851 | 1 139254 22 | 0.000 % | 852.70/852.71 c | 3527597 | 404 3634 9851 | 1 140016 22 | 0.000 % | 852.70/852.71 c | 3527697 | 404 3634 9851 | 1 140116 22 | 0.000 % | 852.70/852.71 c | 3527797 | 404 3634 9851 | 1 140216 22 | 0.000 % | 880.70/880.76 c | 3536852 | 404 3634 9851 | 1 149271 22 | 0.000 % | 880.70/880.76 c | 3539463 | 404 3634 9851 | 1 151882 22 | 0.000 % | 880.70/880.76 c | 3539563 | 404 3634 9851 | 1 151982 22 | 0.000 % | 880.70/880.76 c | 3539668 | 404 3634 9851 | 1 152087 22 | 0.000 % | 880.70/880.76 c | 3543007 | 404 3634 9851 | 1 155426 23 | 0.000 % | 880.70/880.76 c | 3543107 | 404 3634 9851 | 1 155526 23 | 0.000 % | 880.70/880.76 c | 3543881 | 404 3634 9851 | 1 156300 23 | 0.000 % | 880.70/880.76 c | 3543981 | 404 3634 9851 | 1 156400 23 | 0.000 % | 880.70/880.76 c | 3544140 | 404 3634 9851 | 1 156559 23 | 0.000 % | 880.70/880.76 c | 3544253 | 404 3634 9851 | 1 156672 23 | 0.000 % | 880.70/880.76 c | 3544356 | 404 3634 9851 | 1 156775 23 | 0.000 % | 880.70/880.76 c | 3549770 | 404 3634 9851 | 1 162189 23 | 0.000 % | 880.70/880.76 c | 3549880 | 404 3634 9851 | 1 162299 23 | 0.000 % | 880.70/880.76 c | 3549981 | 404 3634 9851 | 1 162400 23 | 0.000 % | 880.70/880.76 c | 3550082 | 404 3634 9851 | 1 162501 23 | 0.000 % | 880.70/880.76 c | 3550183 | 404 3634 9851 | 1 162602 23 | 0.000 % | 880.70/880.76 c | 3550286 | 404 3634 9851 | 1 162705 23 | 0.000 % | 880.70/880.76 c | 3550386 | 404 3634 9851 | 1 162805 23 | 0.000 % | 880.70/880.76 c | 3551012 | 404 3634 9851 | 1 163431 23 | 0.000 % | 880.70/880.76 c | 3554570 | 404 3634 9851 | 1 166989 23 | 0.000 % | 880.70/880.76 c | 3554670 | 404 3634 9851 | 1 167089 23 | 0.000 % | 880.70/880.76 c | 3554770 | 404 3634 9851 | 1 167189 23 | 0.000 % | 880.70/880.76 c | 3559788 | 404 3634 9851 | 1 172207 23 | 0.000 % | 880.70/880.76 c | 3559890 | 404 3634 9851 | 1 172309 23 | 0.000 % | 880.70/880.76 c | 3559990 | 404 3634 9851 | 1 172409 23 | 0.000 % | 880.70/880.76 c | 3560091 | 404 3634 9851 | 1 172510 24 | 0.000 % | 880.70/880.76 c | 3560191 | 404 3634 9851 | 1 172610 24 | 0.000 % | 880.70/880.76 c | 3560292 | 404 3634 9851 | 1 172711 24 | 0.000 % | 880.70/880.76 c | 3560392 | 404 3634 9851 | 1 172811 24 | 0.000 % | 880.70/880.76 c | 3560492 | 404 3634 9851 | 1 172911 24 | 0.000 % | 880.70/880.76 c | 3560699 | 404 3634 9851 | 1 173118 24 | 0.000 % | 880.70/880.76 c | 3560799 | 404 3634 9851 | 1 173218 24 | 0.000 % | 880.70/880.76 c | 3570101 | 404 3634 9851 | 1 182520 24 | 0.000 % | 880.70/880.76 c | 3570202 | 404 3634 9851 | 1 182621 24 | 0.000 % | 880.70/880.76 c | 3570302 | 404 3634 9851 | 1 182721 24 | 0.000 % | 880.70/880.76 c | 3570402 | 404 3634 9851 | 1 182821 24 | 0.000 % | 880.70/880.76 c | 3570504 | 404 3634 9851 | 1 182923 24 | 0.000 % | 880.70/880.76 c | 3574984 | 404 3634 9851 | 1 187403 24 | 0.000 % | 880.70/880.76 c | 3576553 | 404 3634 9851 | 1 188972 24 | 0.000 % | 880.70/880.76 c | 3577886 | 404 3634 9851 | 1 190305 24 | 0.000 % | 880.70/880.76 c | 3578254 | 404 3634 9851 | 1 190673 24 | 0.000 % | 880.70/880.76 c | 3587224 | 404 3634 9851 | 1 199643 25 | 0.000 % | 880.70/880.76 c | 3589596 | 404 3634 9851 | 1 202015 25 | 0.000 % | 880.70/880.76 c | 3589696 | 404 3634 9851 | 1 202115 25 | 0.000 % | 880.70/880.76 c | 3589796 | 404 3634 9851 | 1 202215 25 | 0.000 % | 880.70/880.76 c | 3589897 | 404 3634 9851 | 1 202316 25 | 0.000 % | 880.70/880.76 c | 3590449 | 404 3634 9851 | 1 202868 25 | 0.000 % | 880.70/880.76 c | 3590549 | 404 3634 9851 | 1 202968 25 | 0.000 % | 880.70/880.76 c | 3590860 | 404 3634 9851 | 1 203279 25 | 0.000 % | 880.70/880.76 c | 3590962 | 404 3634 9851 | 1 203381 25 | 0.000 % | 944.91/944.93 c | 3591493 | 404 3634 9851 | 1 203912 25 | 0.000 % | 944.91/944.93 c | 3591595 | 404 3634 9851 | 1 204014 25 | 0.000 % | 944.91/944.93 c | 3591696 | 404 3634 9851 | 1 204115 25 | 0.000 % | 944.91/944.93 c | 3591797 | 404 3634 9851 | 1 204216 25 | 0.000 % | 944.91/944.93 c | 3591899 | 404 3634 9851 | 1 204318 25 | 0.000 % | 944.91/944.93 c | 3592075 | 404 3634 9851 | 1 204494 25 | 0.000 % | 944.91/944.93 c | 3592176 | 404 3634 9851 | 1 204595 25 | 0.000 % | 944.91/944.93 c | 3592800 | 404 3634 9851 | 1 205219 25 | 0.000 % | 944.91/944.93 c | 3592900 | 404 3634 9851 | 1 205319 25 | 0.000 % | 944.91/944.93 c | 3593003 | 404 3634 9851 | 1 205422 25 | 0.000 % | 944.91/944.93 c | 3614824 | 404 3634 9851 | 1 227243 25 | 0.000 % | 944.91/944.93 c | 3614926 | 404 3634 9851 | 1 227345 25 | 0.000 % | 944.91/944.93 c | 3616437 | 404 3634 9851 | 1 228856 25 | 0.000 % | 944.91/944.93 c | 3616540 | 404 3634 9851 | 1 228959 25 | 0.000 % | 944.91/944.93 c | 3637271 | 404 3634 9851 | 1 249690 26 | 0.000 % | 944.91/944.93 c | 3639743 | 404 3634 9851 | 1 252162 26 | 0.000 % | 944.91/944.93 c | 3639844 | 404 3634 9851 | 1 252263 26 | 0.000 % | 944.91/944.93 c | 3639945 | 404 3634 9851 | 1 252364 26 | 0.000 % | 944.91/944.93 c | 3640045 | 404 3634 9851 | 1 252464 26 | 0.000 % | 944.91/944.93 c | 3640769 | 404 3634 9851 | 1 253188 26 | 0.000 % | 944.91/944.93 c | 3640869 | 404 3634 9851 | 1 253288 26 | 0.000 % | 944.91/944.93 c | 3652559 | 404 3634 9851 | 1 264978 26 | 0.000 % | 944.91/944.93 c | 3652660 | 404 3634 9851 | 1 265079 26 | 0.000 % | 944.91/944.93 c | 3652762 | 404 3634 9851 | 1 265181 26 | 0.000 % | 944.91/944.93 c | 3652863 | 404 3634 9851 | 1 265282 26 | 0.000 % | 944.91/944.93 c | 3652964 | 404 3634 9851 | 1 265383 26 | 0.000 % | 944.91/944.93 c | 3653165 | 404 3634 9851 | 1 265584 26 | 0.000 % | 944.91/944.93 c | 3653405 | 404 3634 9851 | 1 265824 26 | 0.000 % | 944.91/944.93 c | 3653543 | 404 3634 9851 | 1 265962 26 | 0.000 % | 944.91/944.93 c | 3653644 | 404 3634 9851 | 1 266063 26 | 0.000 % | 944.91/944.93 c | 3653744 | 404 3634 9851 | 1 266163 26 | 0.000 % | 944.91/944.93 c | 3653886 | 404 3634 9851 | 1 266305 26 | 0.000 % | 944.91/944.93 c | 3654060 | 404 3634 9851 | 1 266479 26 | 0.000 % | 944.91/944.93 c | 3654170 | 404 3634 9851 | 1 266589 26 | 0.000 % | 944.91/944.93 c | 3654950 | 404 3634 9851 | 1 267369 26 | 0.000 % | 944.91/944.93 c | 3655050 | 404 3634 9851 | 1 267469 26 | 0.000 % | 944.91/944.93 c | 3655151 | 404 3634 9851 | 1 267570 26 | 0.000 % | 944.91/944.93 c | 3655251 | 404 3634 9851 | 1 267670 26 | 0.000 % | 944.91/944.93 c | 3655553 | 404 3634 9851 | 1 267972 26 | 0.000 % | 944.91/944.93 c | 3655655 | 404 3634 9851 | 1 134069 21 | 0.000 % | 944.91/944.93 c | 3655756 | 404 3634 9851 | 1 134170 21 | 0.000 % | 944.91/944.93 c | 3656602 | 404 3634 9851 | 1 135016 21 | 0.000 % | 944.91/944.93 c | 3656714 | 404 3634 9851 | 1 135128 21 | 0.000 % | 944.91/944.93 c | 3693546 | 404 3634 9851 | 1 171960 22 | 0.000 % | 944.91/944.93 c | 3693647 | 404 3634 9851 | 1 172061 22 | 0.000 % | 944.91/944.93 c | 3729302 | 404 3634 9851 | 1 207716 24 | 0.000 % | 944.91/944.93 c | 3729402 | 404 3634 9851 | 1 207816 24 | 0.000 % | 944.91/944.93 c | 3729502 | 404 3634 9851 | 1 207916 24 | 0.000 % | 944.91/944.93 c | 3729602 | 404 3634 9851 | 1 208016 24 | 0.000 % | 944.91/944.93 c | 3729704 | 404 3634 9851 | 1 208118 24 | 0.000 % | 1050.80/1050.80 c | 3729884 | 404 3634 9851 | 1 208298 24 | 0.000 % | 1050.80/1050.80 c | 3729985 | 404 3634 9851 | 1 208399 24 | 0.000 % | 1050.80/1050.80 c | 3730085 | 404 3634 9851 | 1 208499 24 | 0.000 % | 1050.80/1050.80 c | 3730988 | 404 3634 9851 | 1 209402 24 | 0.000 % | 1050.80/1050.80 c | 3731090 | 404 3634 9851 | 1 209504 24 | 0.000 % | 1050.80/1050.80 c | 3794713 | 404 3634 9851 | 1 273127 26 | 0.000 % | 1050.80/1050.80 c | 3842404 | 404 3634 9851 | 1 184217 23 | 0.000 % | 1050.80/1050.80 c | 3845393 | 404 3634 9851 | 1 187206 23 | 0.000 % | 1050.80/1050.80 c | 3860324 | 404 3634 9851 | 1 202137 24 | 0.000 % | 1050.80/1050.80 c | 3860424 | 404 3634 9851 | 1 202237 24 | 0.000 % | 1050.80/1050.80 c | 3860525 | 404 3634 9851 | 1 202338 24 | 0.000 % | 1050.80/1050.80 c | 3860625 | 404 3634 9851 | 1 202438 24 | 0.000 % | 1050.80/1050.80 c | 3860726 | 404 3634 9851 | 1 202539 24 | 0.000 % | 1050.80/1050.80 c | 3860826 | 404 3634 9851 | 1 202639 24 | 0.000 % | 1050.80/1050.80 c | 3860926 | 404 3634 9851 | 1 202739 24 | 0.000 % | 1050.80/1050.80 c | 4016815 | 404 3634 9851 | 1 219432 23 | 0.000 % | 1050.80/1050.80 c | 4018260 | 404 3634 9851 | 1 220877 23 | 0.000 % | 1050.80/1050.80 c | 4018424 | 404 3634 9851 | 1 221041 23 | 0.000 % | 1050.80/1050.80 c | 4025183 | 404 3634 9851 | 1 227800 23 | 0.000 % | 1050.80/1050.80 c | 4025283 | 404 3634 9851 | 1 227900 23 | 0.000 % | 1050.80/1050.80 c | 4025386 | 404 3634 9851 | 1 228003 23 | 0.000 % | 1050.80/1050.80 c | 4025486 | 404 3634 9851 | 1 228103 23 | 0.000 % | 1050.80/1050.80 c | 4025711 | 404 3634 9851 | 1 228328 23 | 0.000 % | 1050.80/1050.80 c | 4026212 | 404 3634 9851 | 1 228829 23 | 0.000 % | 1050.80/1050.80 c | 4026312 | 404 3634 9851 | 1 228929 23 | 0.000 % | 1050.80/1050.80 c | 4026412 | 404 3634 9851 | 1 229029 23 | 0.000 % | 1050.80/1050.80 c | 4026513 | 404 3634 9851 | 1 229130 23 | 0.000 % | 1050.80/1050.80 c | 4026614 | 404 3634 9851 | 1 229231 23 | 0.000 % | 1050.80/1050.80 c | 4026714 | 404 3634 9851 | 1 229331 23 | 0.000 % | 1050.80/1050.80 c | 4026911 | 404 3634 9851 | 1 229528 23 | 0.000 % | 1050.80/1050.80 c | 4027011 | 404 3634 9851 | 1 229628 23 | 0.000 % | 1050.80/1050.80 c | 4027111 | 404 3634 9851 | 1 229728 23 | 0.000 % | 1050.80/1050.80 c | 4027211 | 404 3634 9851 | 1 229828 23 | 0.000 % | 1050.80/1050.80 c | 4027312 | 404 3634 9851 | 1 229929 23 | 0.000 % | 1050.80/1050.80 c | 4027414 | 404 3634 9851 | 1 230031 23 | 0.000 % | 1050.80/1050.80 c | 4027514 | 404 3634 9851 | 1 230131 23 | 0.000 % | 1050.80/1050.80 c | 4027614 | 404 3634 9851 | 1 230231 23 | 0.000 % | 1050.80/1050.80 c | 4032613 | 404 3634 9851 | 1 235230 23 | 0.000 % | 1050.80/1050.80 c | 4032715 | 404 3634 9851 | 1 235332 23 | 0.000 % | 1050.80/1050.80 c | 4032815 | 404 3634 9851 | 1 235432 23 | 0.000 % | 1050.80/1050.80 c | 4032916 | 404 3634 9851 | 1 235533 23 | 0.000 % | 1050.80/1050.80 c | 4033017 | 404 3634 9851 | 1 235634 23 | 0.000 % | 1050.80/1050.80 c | 4033118 | 404 3634 9851 | 1 235735 23 | 0.000 % | 1050.80/1050.80 c | 4033218 | 404 3634 9851 | 1 235835 23 | 0.000 % | 1050.80/1050.80 c | 4033318 | 404 3634 9851 | 1 235935 23 | 0.000 % | 1050.80/1050.80 c | 4033670 | 404 3634 9851 | 1 236287 23 | 0.000 % | 1050.80/1050.80 c | 4033770 | 404 3634 9851 | 1 236387 23 | 0.000 % | 1050.80/1050.80 c | 4034987 | 404 3634 9851 | 1 237604 23 | 0.000 % | 1050.80/1050.80 c | 4035088 | 404 3634 9851 | 1 237705 23 | 0.000 % | 1050.80/1050.80 c | 4035549 | 404 3634 9851 | 1 238166 23 | 0.000 % | 1130.30/1130.34 c | 4035767 | 404 3634 9851 | 1 238384 23 | 0.000 % | 1130.30/1130.34 c | 4046181 | 404 3634 9851 | 1 248798 24 | 0.000 % | 1130.30/1130.34 c | 4046729 | 404 3634 9851 | 1 249346 24 | 0.000 % | 1130.30/1130.34 c | 4061993 | 404 3634 9851 | 1 264610 24 | 0.000 % | 1130.30/1130.34 c | 4062681 | 404 3634 9851 | 1 265298 24 | 0.000 % | 1130.30/1130.34 c | 4140033 | 404 3634 9851 | 1 200853 22 | 0.000 % | 1130.30/1130.34 c | 4151909 | 404 3634 9851 | 1 212729 23 | 0.000 % | 1130.30/1130.34 c | 4152072 | 404 3634 9851 | 1 212892 23 | 0.000 % | 1130.30/1130.34 c | 4152331 | 404 3634 9851 | 1 213151 23 | 0.000 % | 1130.30/1130.34 c | 4152446 | 404 3634 9851 | 1 213266 23 | 0.000 % | 1130.30/1130.34 c | 4152546 | 404 3634 9851 | 1 213366 23 | 0.000 % | 1130.30/1130.34 c | 4152777 | 404 3634 9851 | 1 213597 23 | 0.000 % | 1130.30/1130.34 c | 4153030 | 404 3634 9851 | 1 213850 23 | 0.000 % | 1130.30/1130.34 c | 4161067 | 404 3634 9851 | 1 221887 23 | 0.000 % | 1130.30/1130.34 c | 4166212 | 404 3634 9851 | 1 227032 24 | 0.000 % | 1130.30/1130.34 c | 4167207 | 404 3634 9851 | 1 228027 24 | 0.000 % | 1130.30/1130.34 c | 4167311 | 404 3634 9851 | 1 228131 24 | 0.000 % | 1130.30/1130.34 c | 4167720 | 404 3634 9851 | 1 228540 24 | 0.000 % | 1130.30/1130.34 c | 4167896 | 404 3634 9851 | 1 228716 24 | 0.000 % | 1130.30/1130.34 c | 4167998 | 404 3634 9851 | 1 228818 24 | 0.000 % | 1130.30/1130.34 c | 4169218 | 404 3634 9851 | 1 230038 24 | 0.000 % | 1130.30/1130.34 c | 4169338 | 404 3634 9851 | 1 230158 24 | 0.000 % | 1130.30/1130.34 c | 4169438 | 404 3634 9851 | 1 230258 24 | 0.000 % | 1130.30/1130.34 c | 4173179 | 404 3634 9851 | 1 233999 24 | 0.000 % | 1130.30/1130.34 c | 4173280 | 404 3634 9851 | 1 234100 24 | 0.000 % | 1130.30/1130.34 c | 4173381 | 404 3634 9851 | 1 234201 24 | 0.000 % | 1130.30/1130.34 c | 4176843 | 404 3634 9851 | 1 237663 24 | 0.000 % | 1130.30/1130.34 c | 4176943 | 404 3634 9851 | 1 237763 24 | 0.000 % | 1130.30/1130.34 c | 4177043 | 404 3634 9851 | 1 237863 24 | 0.000 % | 1130.30/1130.34 c | 4177143 | 404 3634 9851 | 1 237963 24 | 0.000 % | 1130.30/1130.34 c | 4177246 | 404 3634 9851 | 1 238066 24 | 0.000 % | 1130.30/1130.34 c | 4177346 | 404 3634 9851 | 1 238166 24 | 0.000 % | 1130.30/1130.34 c | 4186178 | 404 3634 9851 | 1 246998 24 | 0.000 % | 1130.30/1130.34 c | 4187415 | 404 3634 9851 | 1 248235 24 | 0.000 % | 1130.30/1130.34 c | 4187516 | 404 3634 9851 | 1 248336 24 | 0.000 % | 1130.30/1130.34 c | 4187896 | 404 3634 9851 | 1 248716 24 | 0.000 % | 1130.30/1130.34 c | 4189056 | 404 3634 9851 | 1 249876 24 | 0.000 % | 1130.30/1130.34 c | 4189255 | 404 3634 9851 | 1 250075 24 | 0.000 % | 1130.30/1130.34 c | 4189357 | 404 3634 9851 | 1 250177 24 | 0.000 % | 1130.30/1130.34 c | 4189457 | 404 3634 9851 | 1 250277 24 | 0.000 % | 1130.30/1130.34 c | 4189936 | 404 3634 9851 | 1 250756 24 | 0.000 % | 1130.30/1130.34 c | 4204632 | 404 3634 9851 | 1 265452 25 | 0.000 % | 1130.30/1130.34 c | 4204733 | 404 3634 9851 | 1 265553 25 | 0.000 % | 1130.30/1130.34 c | 4204834 | 404 3634 9851 | 1 265654 25 | 0.000 % | 1130.30/1130.34 c | 4204938 | 404 3634 9851 | 1 265758 25 | 0.000 % | 1130.30/1130.34 c | 4208120 | 404 3634 9851 | 1 268940 25 | 0.000 % | 1130.30/1130.34 c | 4213268 | 404 3634 9851 | 1 274088 25 | 0.000 % | 1130.30/1130.34 c | 4213368 | 404 3634 9851 | 1 274188 25 | 0.000 % | 1130.30/1130.34 c | 4213468 | 404 3634 9851 | 1 274288 25 | 0.000 % | 1130.30/1130.34 c | 4213571 | 404 3634 9851 | 1 274391 25 | 0.000 % | 1220.00/1220.09 c | 4213671 | 404 3634 9851 | 1 274491 25 | 0.000 % | 1220.00/1220.09 c | 4213771 | 404 3634 9851 | 1 274591 25 | 0.000 % | 1220.00/1220.09 c | 4213872 | 404 3634 9851 | 1 274692 25 | 0.000 % | 1220.00/1220.09 c | 4213974 | 404 3634 9851 | 1 274794 25 | 0.000 % | 1220.00/1220.09 c | 4214075 | 404 3634 9851 | 1 274895 25 | 0.000 % | 1220.00/1220.09 c | 4232006 | 404 3634 9851 | 1 148424 20 | 0.000 % | 1220.00/1220.09 c | 4234592 | 404 3634 9851 | 1 151010 21 | 0.000 % | 1220.00/1220.09 c | 4234695 | 404 3634 9851 | 1 151113 21 | 0.000 % | 1220.00/1220.09 c | 4237988 | 404 3634 9851 | 1 154406 21 | 0.000 % | 1220.00/1220.09 c | 4244669 | 404 3634 9851 | 1 161087 21 | 0.000 % | 1220.00/1220.09 c | 4244771 | 404 3634 9851 | 1 161189 21 | 0.000 % | 1220.00/1220.09 c | 4252664 | 404 3634 9851 | 1 169082 22 | 0.000 % | 1220.00/1220.09 c | 4252764 | 404 3634 9851 | 1 169182 22 | 0.000 % | 1220.00/1220.09 c | 4281213 | 404 3634 9851 | 1 197631 23 | 0.000 % | 1220.00/1220.09 c | 4281313 | 404 3634 9851 | 1 197731 23 | 0.000 % | 1220.00/1220.09 c | 4281413 | 404 3634 9851 | 1 197831 23 | 0.000 % | 1220.00/1220.09 c | 4281514 | 404 3634 9851 | 1 197932 23 | 0.000 % | 1220.00/1220.09 c | 4281615 | 404 3634 9851 | 1 198033 23 | 0.000 % | 1220.00/1220.09 c | 4297719 | 404 3634 9851 | 1 214137 24 | 0.000 % | 1220.00/1220.09 c | 4298238 | 404 3634 9851 | 1 214656 24 | 0.000 % | 1220.00/1220.09 c | 4298904 | 404 3634 9851 | 1 215322 24 | 0.000 % | 1220.00/1220.09 c | 4301152 | 404 3634 9851 | 1 217570 24 | 0.000 % | 1220.00/1220.09 c | 4301252 | 404 3634 9851 | 1 217670 24 | 0.000 % | 1220.00/1220.09 c | 4302579 | 404 3634 9851 | 1 218997 24 | 0.000 % | 1220.00/1220.09 c | 4355186 | 404 3634 9851 | 1 271604 25 | 0.000 % | 1220.00/1220.09 c | 4374109 | 404 3634 9851 | 1 290527 25 | 0.000 % | 1220.00/1220.09 c | 4374645 | 404 3634 9851 | 1 291063 25 | 0.000 % | 1220.00/1220.09 c | 4374745 | 404 3634 9851 | 1 291163 25 | 0.000 % | 1220.00/1220.09 c | 4374846 | 404 3634 9851 | 1 291264 25 | 0.000 % | 1220.00/1220.09 c | 4374946 | 404 3634 9851 | 1 291364 25 | 0.000 % | 1220.00/1220.09 c | 4375768 | 404 3634 9851 | 1 292186 25 | 0.000 % | 1220.00/1220.09 c | 4376769 | 404 3634 9851 | 1 293187 25 | 0.000 % | 1220.00/1220.09 c | 4377409 | 404 3634 9851 | 1 293827 25 | 0.000 % | 1220.00/1220.09 c | 4384839 | 404 3634 9851 | 1 154253 20 | 0.000 % | 1220.00/1220.09 c | 4420201 | 404 3634 9851 | 1 189615 22 | 0.000 % | 1220.00/1220.09 c | 4420759 | 404 3634 9851 | 1 190173 22 | 0.000 % | 1220.00/1220.09 c | 4420859 | 404 3634 9851 | 1 190273 22 | 0.000 % | 1220.00/1220.09 c | 4420960 | 404 3634 9851 | 1 190374 22 | 0.000 % | 1220.00/1220.09 c | 4421060 | 404 3634 9851 | 1 190474 22 | 0.000 % | 1220.00/1220.09 c | 4421161 | 404 3634 9851 | 1 190575 22 | 0.000 % | 1220.00/1220.09 c | 4421263 | 404 3634 9851 | 1 190677 22 | 0.000 % | 1220.00/1220.09 c | 4427673 | 404 3634 9851 | 1 197087 23 | 0.000 % | 1220.00/1220.09 c | 4427774 | 404 3634 9851 | 1 197188 23 | 0.000 % | 1220.00/1220.09 c | 4427878 | 404 3634 9851 | 1 197292 23 | 0.000 % | 1220.00/1220.09 c | 4427978 | 404 3634 9851 | 1 197392 23 | 0.000 % | 1220.00/1220.09 c | 4428079 | 404 3634 9851 | 1 197493 23 | 0.000 % | 1220.00/1220.09 c | 4428910 | 404 3634 9851 | 1 198324 23 | 0.000 % | 1220.00/1220.09 c | 4429012 | 404 3634 9851 | 1 198426 23 | 0.000 % | 1220.00/1220.09 c | 4429113 | 404 3634 9851 | 1 198527 23 | 0.000 % | 1220.00/1220.09 c | 4429216 | 404 3634 9851 |
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-3291840-1303778667/watcher-3291840-1303778667 -o /tmp/evaluation-result-3291840-1303778667/solver-3291840-1303778667 -C 2400 -W 1300 -M 7680 glucose.sh HOME/instance-3291840-1303778667.cnf running on 2 cores: 4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 3.35 3.85 3.68 4/180 8769 /proc/meminfo: memFree=15117268/32951124 swapFree=67111528/67111528 [pid=8769] ppid=8767 vsize=8704 CPUtime=0 cores=4,6 /proc/8769/stat : 8769 (glucose.sh) S 8767 8769 7574 0 -1 4202496 333 0 0 0 0 0 0 0 20 0 1 0 470282199 8912896 252 33554432000 4194304 4922060 140733945266096 18446744073709551615 228095270021 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/8769/statm: 2176 252 211 178 0 69 0 [startup+0.0266539 s] /proc/loadavg: 3.35 3.85 3.68 4/180 8769 /proc/meminfo: memFree=15117268/32951124 swapFree=67111528/67111528 [pid=8769] ppid=8767 vsize=8704 CPUtime=0 cores=4,6 /proc/8769/stat : 8769 (glucose.sh) S 8767 8769 7574 0 -1 4202496 360 260 0 0 0 0 0 0 20 0 1 0 470282199 8912896 254 33554432000 4194304 4922060 140733945266096 18446744073709551615 228095270021 0 65536 4100 65538 18446744071562232103 0 0 17 6 0 0 0 /proc/8769/statm: 2176 254 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+0.100644 s] /proc/loadavg: 3.35 3.85 3.68 4/180 8769 /proc/meminfo: memFree=15117268/32951124 swapFree=67111528/67111528 [pid=8769] ppid=8767 vsize=8704 CPUtime=0 cores=4,6 /proc/8769/stat : 8769 (glucose.sh) S 8767 8769 7574 0 -1 4202496 360 260 0 0 0 0 0 0 20 0 1 0 470282199 8912896 254 33554432000 4194304 4922060 140733945266096 18446744073709551615 228095270021 0 65536 4100 65538 18446744071562232103 0 0 17 6 0 0 0 /proc/8769/statm: 2176 254 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+0.300578 s] /proc/loadavg: 3.35 3.85 3.68 4/180 8769 /proc/meminfo: memFree=15117268/32951124 swapFree=67111528/67111528 [pid=8769] ppid=8767 vsize=8704 CPUtime=0 cores=4,6 /proc/8769/stat : 8769 (glucose.sh) S 8767 8769 7574 0 -1 4202496 360 260 0 0 0 0 0 0 20 0 1 0 470282199 8912896 254 33554432000 4194304 4922060 140733945266096 18446744073709551615 228095270021 0 65536 4100 65538 18446744071562232103 0 0 17 6 0 0 0 /proc/8769/statm: 2176 254 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+0.700485 s] /proc/loadavg: 3.35 3.85 3.68 4/180 8769 /proc/meminfo: memFree=15117268/32951124 swapFree=67111528/67111528 [pid=8769] ppid=8767 vsize=8704 CPUtime=0 cores=4,6 /proc/8769/stat : 8769 (glucose.sh) S 8767 8769 7574 0 -1 4202496 360 260 0 0 0 0 0 0 20 0 1 0 470282199 8912896 254 33554432000 4194304 4922060 140733945266096 18446744073709551615 228095270021 0 65536 4100 65538 18446744071562232103 0 0 17 6 0 0 0 /proc/8769/statm: 2176 254 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+1.50036 s] /proc/loadavg: 3.35 3.85 3.68 7/194 8793 /proc/meminfo: memFree=14954896/32951124 swapFree=67111528/67111528 [pid=8769] ppid=8767 vsize=8704 CPUtime=0 cores=4,6 /proc/8769/stat : 8769 (glucose.sh) S 8767 8769 7574 0 -1 4202496 360 260 0 0 0 0 0 0 20 0 1 0 470282199 8912896 254 33554432000 4194304 4922060 140733945266096 18446744073709551615 228095270021 0 65536 4100 65538 18446744071562232103 0 0 17 6 0 0 0 /proc/8769/statm: 2176 254 211 178 0 69 0 [pid=8772] ppid=8769 vsize=20848 CPUtime=1.47 cores=4,6 /proc/8772/stat : 8772 (glucose_static) R 8769 8769 7574 0 -1 4202496 2539 0 0 0 146 1 0 0 25 0 1 0 470282200 21348352 1819 33554432000 4194304 4260849 140736093126448 18446744073709551615 4225060 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/8772/statm: 5212 1819 240 17 0 1853 0 Current children cumulated CPU time (s) 1.47 Current children cumulated vsize (KiB) 29552 [startup+3.10109 s] /proc/loadavg: 3.35 3.85 3.68 5/194 8795 /proc/meminfo: memFree=14849992/32951124 swapFree=67111528/67111528 [pid=8769] ppid=8767 vsize=8704 CPUtime=0 cores=4,6 /proc/8769/stat : 8769 (glucose.sh) S 8767 8769 7574 0 -1 4202496 360 260 0 0 0 0 0 0 20 0 1 0 470282199 8912896 254 33554432000 4194304 4922060 140733945266096 18446744073709551615 228095270021 0 65536 4100 65538 18446744071562232103 0 0 17 6 0 0 0 /proc/8769/statm: 2176 254 211 178 0 69 0 [pid=8772] ppid=8769 vsize=23720 CPUtime=3.07 cores=4,6 /proc/8772/stat : 8772 (glucose_static) R 8769 8769 7574 0 -1 4202496 3076 0 0 0 306 1 0 0 25 0 1 0 470282200 24289280 2345 33554432000 4194304 4260849 140736093126448 18446744073709551615 4225080 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/8772/statm: 5930 2345 251 17 0 2571 0 Current children cumulated CPU time (s) 3.07 Current children cumulated vsize (KiB) 32424 [startup+6.30048 s] /proc/loadavg: 3.40 3.85 3.68 5/194 8795 /proc/meminfo: memFree=14811608/32951124 swapFree=67111528/67111528 [pid=8769] ppid=8767 vsize=8704 CPUtime=0 cores=4,6 /proc/8769/stat : 8769 (glucose.sh) S 8767 8769 7574 0 -1 4202496 360 260 0 0 0 0 0 0 20 0 1 0 470282199 8912896 254 33554432000 4194304 4922060 140733945266096 18446744073709551615 228095270021 0 65536 4100 65538 18446744071562232103 0 0 17 6 0 0 0 /proc/8769/statm: 2176 254 211 178 0 69 0 [pid=8772] ppid=8769 vsize=29116 CPUtime=6.28 cores=4,6 /proc/8772/stat : 8772 (glucose_static) R 8769 8769 7574 0 -1 4202496 4667 0 0 0 626 2 0 0 25 0 1 0 470282200 29814784 3886 33554432000 4194304 4260849 140736093126448 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/8772/statm: 7279 3886 251 17 0 3920 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 37820 [startup+12.7003 s] /proc/loadavg: 3.45 3.86 3.69 5/194 8796 /proc/meminfo: memFree=14796448/32951124 swapFree=67111528/67111528 [pid=8769] ppid=8767 vsize=8704 CPUtime=0 cores=4,6 /proc/8769/stat : 8769 (glucose.sh) S 8767 8769 7574 0 -1 4202496 360 260 0 0 0 0 0 0 20 0 1 0 470282199 8912896 254 33554432000 4194304 4922060 140733945266096 18446744073709551615 228095270021 0 65536 4100 65538 18446744071562232103 0 0 17 6 0 0 0 /proc/8769/statm: 2176 254 211 178 0 69 0 [pid=8772] ppid=8769 vsize=29116 CPUtime=12.68 cores=4,6 /proc/8772/stat : 8772 (glucose_static) R 8769 8769 7574 0 -1 4202496 4667 0 0 0 1266 2 0 0 25 0 1 0 470282200 29814784 3886 33554432000 4194304 4260849 140736093126448 18446744073709551615 4225146 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/8772/statm: 7279 3886 251 17 0 3920 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 37820 [startup+25.501 s] /proc/loadavg: 3.57 3.86 3.69 5/194 8796 /proc/meminfo: memFree=14772768/32951124 swapFree=67111528/67111528 [pid=8769] ppid=8767 vsize=8704 CPUtime=0 cores=4,6 /proc/8769/stat : 8769 (glucose.sh) S 8767 8769 7574 0 -1 4202496 360 260 0 0 0 0 0 0 20 0 1 0 470282199 8912896 254 33554432000 4194304 4922060 140733945266096 18446744073709551615 228095270021 0 65536 4100 65538 18446744071562232103 0 0 17 6 0 0 0 /proc/8769/statm: 2176 254 211 178 0 69 0 [pid=8772] ppid=8769 vsize=45160 CPUtime=25.48 cores=4,6 /proc/8772/stat : 8772 (glucose_static) R 8769 8769 7574 0 -1 4202496 8027 0 0 0 2545 3 0 0 25 0 1 0 470282200 46243840 5296 33554432000 4194304 4260849 140736093126448 18446744073709551615 4226333 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/8772/statm: 11290 5296 251 17 0 7931 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 53864 [startup+51.1003 s] /proc/loadavg: 3.72 3.87 3.70 5/194 8797 /proc/meminfo: memFree=14710304/32951124 swapFree=67111528/67111528 [pid=8769] ppid=8767 vsize=8704 CPUtime=0 cores=4,6 /proc/8769/stat : 8769 (glucose.sh) S 8767 8769 7574 0 -1 4202496 360 260 0 0 0 0 0 0 20 0 1 0 470282199 8912896 254 33554432000 4194304 4922060 140733945266096 18446744073709551615 228095270021 0 65536 4100 65538 18446744071562232103 0 0 17 6 0 0 0 /proc/8769/statm: 2176 254 211 178 0 69 0 [pid=8772] ppid=8769 vsize=45160 CPUtime=51.08 cores=4,6 /proc/8772/stat : 8772 (glucose_static) R 8769 8769 7574 0 -1 4202496 10525 0 0 0 5104 4 0 0 25 0 1 0 470282200 46243840 7717 33554432000 4194304 4260849 140736093126448 18446744073709551615 4225124 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/8772/statm: 11290 7717 251 17 0 7931 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 53864 [startup+102.307 s] /proc/loadavg: 3.88 3.89 3.71 5/194 8798 /proc/meminfo: memFree=14676668/32951124 swapFree=67111528/67111528 [pid=8769] ppid=8767 vsize=8704 CPUtime=0 cores=4,6 /proc/8769/stat : 8769 (glucose.sh) S 8767 8769 7574 0 -1 4202496 360 260 0 0 0 0 0 0 20 0 1 0 470282199 8912896 254 33554432000 4194304 4922060 140733945266096 18446744073709551615 228095270021 0 65536 4100 65538 18446744071562232103 0 0 17 6 0 0 0 /proc/8769/statm: 2176 254 211 178 0 69 0 [pid=8772] ppid=8769 vsize=68384 CPUtime=102.29 cores=4,6 /proc/8772/stat : 8772 (glucose_static) R 8769 8769 7574 0 -1 4202496 16216 0 0 0 10224 5 0 0 25 0 1 0 470282200 70025216 9830 33554432000 4194304 4260849 140736093126448 18446744073709551615 4224658 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/8772/statm: 17096 9830 251 17 0 13737 0 Current children cumulated CPU time (s) 102.29 Current children cumulated vsize (KiB) 77088 [startup+162.301 s] /proc/loadavg: 3.95 3.91 3.73 5/194 8800 /proc/meminfo: memFree=14608864/32951124 swapFree=67111528/67111528 [pid=8769] ppid=8767 vsize=8704 CPUtime=0 cores=4,6 /proc/8769/stat : 8769 (glucose.sh) S 8767 8769 7574 0 -1 4202496 360 260 0 0 0 0 0 0 20 0 1 0 470282199 8912896 254 33554432000 4194304 4922060 140733945266096 18446744073709551615 228095270021 0 65536 4100 65538 18446744071562232103 0 0 17 6 0 0 0 /proc/8769/statm: 2176 254 211 178 0 69 0 [pid=8772] ppid=8769 vsize=68384 CPUtime=162.28 cores=4,6 /proc/8772/stat : 8772 (glucose_static) R 8769 8769 7574 0 -1 4202496 19486 0 0 0 16222 6 0 0 25 0 1 0 470282200 70025216 12987 33554432000 4194304 4260849 140736093126448 18446744073709551615 4224895 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/8772/statm: 17096 12987 251 17 0 13737 0 Current children cumulated CPU time (s) 162.28 Current children cumulated vsize (KiB) 77088 [startup+222.301 s] /proc/loadavg: 3.98 3.92 3.74 5/194 8802 /proc/meminfo: memFree=14597268/32951124 swapFree=67111528/67111528 [pid=8769] ppid=8767 vsize=8704 CPUtime=0 cores=4,6 /proc/8769/stat : 8769 (glucose.sh) S 8767 8769 7574 0 -1 4202496 360 260 0 0 0 0 0 0 20 0 1 0 470282199 8912896 254 33554432000 4194304 4922060 140733945266096 18446744073709551615 228095270021 0 65536 4100 65538 18446744071562232103 0 0 17 6 0 0 0 /proc/8769/statm: 2176 254 211 178 0 69 0 [pid=8772] ppid=8769 vsize=87240 CPUtime=222.29 cores=4,6 /proc/8772/stat : 8772 (glucose_static) R 8769 8769 7574 0 -1 4202496 29819 0 0 0 22221 8 0 0 25 0 1 0 470282200 89333760 18381 33554432000 4194304 4260849 140736093126448 18446744073709551615 4224812 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/8772/statm: 21810 18381 251 17 0 18451 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 95944 [startup+282.301 s] /proc/loadavg: 4.09 3.96 3.76 5/194 8803 /proc/meminfo: memFree=14556944/32951124 swapFree=67111528/67111528 [pid=8769] ppid=8767 vsize=8704 CPUtime=0 cores=4,6 /proc/8769/stat : 8769 (glucose.sh) S 8767 8769 7574 0 -1 4202496 360 260 0 0 0 0 0 0 20 0 1 0 470282199 8912896 254 33554432000 4194304 4922060 140733945266096 18446744073709551615 228095270021 0 65536 4100 65538 18446744071562232103 0 0 17 6 0 0 0 /proc/8769/statm: 2176 254 211 178 0 69 0 [pid=8772] ppid=8769 vsize=99496 CPUtime=282.28 cores=4,6 /proc/8772/stat : 8772 (glucose_static) R 8769 8769 7574 0 -1 4202496 38476 0 0 0 28219 9 0 0 25 0 1 0 470282200 101883904 17422 33554432000 4194304 4260849 140736093126448 18446744073709551615 4224845 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/8772/statm: 24874 17422 252 17 0 21515 0 Current children cumulated CPU time (s) 282.28 Current children cumulated vsize (KiB) 108200 [startup+342.301 s] /proc/loadavg: 4.03 3.97 3.77 5/194 8805 /proc/meminfo: memFree=14527156/32951124 swapFree=67111528/67111528 [pid=8769] ppid=8767 vsize=8704 CPUtime=0 cores=4,6 /proc/8769/stat : 8769 (glucose.sh) S 8767 8769 7574 0 -1 4202496 360 260 0 0 0 0 0 0 20 0 1 0 470282199 8912896 254 33554432000 4194304 4922060 140733945266096 18446744073709551615 228095270021 0 65536 4100 65538 18446744071562232103 0 0 17 6 0 0 0 /proc/8769/statm: 2176 254 211 178 0 69 0 [pid=8772] ppid=8769 vsize=99496 CPUtime=342.29 cores=4,6 /proc/8772/stat : 8772 (glucose_static) R 8769 8769 7574 0 -1 4202496 40818 0 0 0 34218 11 0 0 25 0 1 0 470282200 101883904 19690 33554432000 4194304 4260849 140736093126448 18446744073709551615 4225087 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/8772/statm: 24874 19690 252 17 0 21515 0 Current children cumulated CPU time (s) 342.29 Current children cumulated vsize (KiB) 108200 [startup+402.301 s] /proc/loadavg: 4.01 3.97 3.79 5/194 8806 /proc/meminfo: memFree=14524884/32951124 swapFree=67111528/67111528 [pid=8769] ppid=8767 vsize=8704 CPUtime=0 cores=4,6 ################ # More data... # ################ /proc/8772/statm: 24874 20992 252 17 0 21515 0 Current children cumulated CPU time (s) 582.29 Current children cumulated vsize (KiB) 108200 [startup+642.301 s] /proc/loadavg: 4.00 3.97 3.83 5/194 8813 /proc/meminfo: memFree=14502232/32951124 swapFree=67111528/67111528 [pid=8769] ppid=8767 vsize=8704 CPUtime=0 cores=4,6 /proc/8769/stat : 8769 (glucose.sh) S 8767 8769 7574 0 -1 4202496 360 260 0 0 0 0 0 0 20 0 1 0 470282199 8912896 254 33554432000 4194304 4922060 140733945266096 18446744073709551615 228095270021 0 65536 4100 65538 18446744071562232103 0 0 17 6 0 0 0 /proc/8769/statm: 2176 254 211 178 0 69 0 [pid=8772] ppid=8769 vsize=99496 CPUtime=642.3 cores=4,6 /proc/8772/stat : 8772 (glucose_static) R 8769 8769 7574 0 -1 4202496 42145 0 0 0 64219 11 0 0 25 0 1 0 470282200 101883904 20992 33554432000 4194304 4260849 140736093126448 18446744073709551615 4224665 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/8772/statm: 24874 20992 252 17 0 21515 0 Current children cumulated CPU time (s) 642.3 Current children cumulated vsize (KiB) 108200 [startup+702.301 s] /proc/loadavg: 4.00 3.97 3.83 5/194 8814 /proc/meminfo: memFree=14454332/32951124 swapFree=67111528/67111528 [pid=8769] ppid=8767 vsize=8704 CPUtime=0 cores=4,6 /proc/8769/stat : 8769 (glucose.sh) S 8767 8769 7574 0 -1 4202496 360 260 0 0 0 0 0 0 20 0 1 0 470282199 8912896 254 33554432000 4194304 4922060 140733945266096 18446744073709551615 228095270021 0 65536 4100 65538 18446744071562232103 0 0 17 6 0 0 0 /proc/8769/statm: 2176 254 211 178 0 69 0 [pid=8772] ppid=8769 vsize=99496 CPUtime=702.29 cores=4,6 /proc/8772/stat : 8772 (glucose_static) R 8769 8769 7574 0 -1 4202496 42145 0 0 0 70218 11 0 0 25 0 1 0 470282200 101883904 20992 33554432000 4194304 4260849 140736093126448 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/8772/statm: 24874 20992 252 17 0 21515 0 Current children cumulated CPU time (s) 702.29 Current children cumulated vsize (KiB) 108200 [startup+762.307 s] /proc/loadavg: 4.00 3.97 3.84 5/194 8816 /proc/meminfo: memFree=14433596/32951124 swapFree=67111528/67111528 [pid=8769] ppid=8767 vsize=8704 CPUtime=0 cores=4,6 /proc/8769/stat : 8769 (glucose.sh) S 8767 8769 7574 0 -1 4202496 360 260 0 0 0 0 0 0 20 0 1 0 470282199 8912896 254 33554432000 4194304 4922060 140733945266096 18446744073709551615 228095270021 0 65536 4100 65538 18446744071562232103 0 0 17 6 0 0 0 /proc/8769/statm: 2176 254 211 178 0 69 0 [pid=8772] ppid=8769 vsize=112220 CPUtime=762.3 cores=4,6 /proc/8772/stat : 8772 (glucose_static) R 8769 8769 7574 0 -1 4202496 44218 0 0 0 76218 12 0 0 25 0 1 0 470282200 114913280 23000 33554432000 4194304 4260849 140736093126448 18446744073709551615 4225080 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/8772/statm: 28055 23000 252 17 0 24696 0 Current children cumulated CPU time (s) 762.3 Current children cumulated vsize (KiB) 120924 [startup+822.301 s] /proc/loadavg: 4.00 3.97 3.84 5/194 8818 /proc/meminfo: memFree=14485384/32951124 swapFree=67111528/67111528 [pid=8769] ppid=8767 vsize=8704 CPUtime=0 cores=4,6 /proc/8769/stat : 8769 (glucose.sh) S 8767 8769 7574 0 -1 4202496 360 260 0 0 0 0 0 0 20 0 1 0 470282199 8912896 254 33554432000 4194304 4922060 140733945266096 18446744073709551615 228095270021 0 65536 4100 65538 18446744071562232103 0 0 17 6 0 0 0 /proc/8769/statm: 2176 254 211 178 0 69 0 [pid=8772] ppid=8769 vsize=112220 CPUtime=822.3 cores=4,6 /proc/8772/stat : 8772 (glucose_static) R 8769 8769 7574 0 -1 4202496 44830 0 0 0 82218 12 0 0 25 0 1 0 470282200 114913280 23595 33554432000 4194304 4260849 140736093126448 18446744073709551615 4225146 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/8772/statm: 28055 23595 252 17 0 24696 0 Current children cumulated CPU time (s) 822.3 Current children cumulated vsize (KiB) 120924 [startup+882.301 s] /proc/loadavg: 4.00 3.97 3.85 5/194 8819 /proc/meminfo: memFree=14475304/32951124 swapFree=67111528/67111528 [pid=8769] ppid=8767 vsize=8704 CPUtime=0 cores=4,6 /proc/8769/stat : 8769 (glucose.sh) S 8767 8769 7574 0 -1 4202496 360 260 0 0 0 0 0 0 20 0 1 0 470282199 8912896 254 33554432000 4194304 4922060 140733945266096 18446744073709551615 228095270021 0 65536 4100 65538 18446744071562232103 0 0 17 6 0 0 0 /proc/8769/statm: 2176 254 211 178 0 69 0 [pid=8772] ppid=8769 vsize=112220 CPUtime=882.3 cores=4,6 /proc/8772/stat : 8772 (glucose_static) R 8769 8769 7574 0 -1 4202496 45326 0 0 0 88218 12 0 0 25 0 1 0 470282200 114913280 24075 33554432000 4194304 4260849 140736093126448 18446744073709551615 4224647 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/8772/statm: 28055 24075 252 17 0 24696 0 Current children cumulated CPU time (s) 882.3 Current children cumulated vsize (KiB) 120924 [startup+942.301 s] /proc/loadavg: 4.00 3.97 3.86 5/194 8821 /proc/meminfo: memFree=14488548/32951124 swapFree=67111528/67111528 [pid=8769] ppid=8767 vsize=8704 CPUtime=0 cores=4,6 /proc/8769/stat : 8769 (glucose.sh) S 8767 8769 7574 0 -1 4202496 360 260 0 0 0 0 0 0 20 0 1 0 470282199 8912896 254 33554432000 4194304 4922060 140733945266096 18446744073709551615 228095270021 0 65536 4100 65538 18446744071562232103 0 0 17 6 0 0 0 /proc/8769/statm: 2176 254 211 178 0 69 0 [pid=8772] ppid=8769 vsize=112220 CPUtime=942.3 cores=4,6 /proc/8772/stat : 8772 (glucose_static) R 8769 8769 7574 0 -1 4202496 53041 0 0 0 94217 13 0 0 25 0 1 0 470282200 114913280 24173 33554432000 4194304 4260849 140736093126448 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/8772/statm: 28055 24173 252 17 0 24696 0 Current children cumulated CPU time (s) 942.3 Current children cumulated vsize (KiB) 120924 [startup+1002.3 s] /proc/loadavg: 4.00 3.97 3.86 5/194 8831 /proc/meminfo: memFree=14442256/32951124 swapFree=67111528/67111528 [pid=8769] ppid=8767 vsize=8704 CPUtime=0 cores=4,6 /proc/8769/stat : 8769 (glucose.sh) S 8767 8769 7574 0 -1 4202496 360 260 0 0 0 0 0 0 20 0 1 0 470282199 8912896 254 33554432000 4194304 4922060 140733945266096 18446744073709551615 228095270021 0 65536 4100 65538 18446744071562232103 0 0 17 6 0 0 0 /proc/8769/statm: 2176 254 211 178 0 69 0 [pid=8772] ppid=8769 vsize=112220 CPUtime=1002.3 cores=4,6 /proc/8772/stat : 8772 (glucose_static) R 8769 8769 7574 0 -1 4202496 60672 0 0 0 100216 14 0 0 25 0 1 0 470282200 114913280 24173 33554432000 4194304 4260849 140736093126448 18446744073709551615 4224885 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/8772/statm: 28055 24173 252 17 0 24696 0 Current children cumulated CPU time (s) 1002.3 Current children cumulated vsize (KiB) 120924 [startup+1062.3 s] /proc/loadavg: 4.09 4.00 3.88 5/194 8833 /proc/meminfo: memFree=14389408/32951124 swapFree=67111528/67111528 [pid=8769] ppid=8767 vsize=8704 CPUtime=0 cores=4,6 /proc/8769/stat : 8769 (glucose.sh) S 8767 8769 7574 0 -1 4202496 360 260 0 0 0 0 0 0 20 0 1 0 470282199 8912896 254 33554432000 4194304 4922060 140733945266096 18446744073709551615 228095270021 0 65536 4100 65538 18446744071562232103 0 0 17 6 0 0 0 /proc/8769/statm: 2176 254 211 178 0 69 0 [pid=8772] ppid=8769 vsize=112220 CPUtime=1062.3 cores=4,6 /proc/8772/stat : 8772 (glucose_static) R 8769 8769 7574 0 -1 4202496 68393 0 0 0 106215 15 0 0 25 0 1 0 470282200 114913280 24173 33554432000 4194304 4260849 140736093126448 18446744073709551615 4225080 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/8772/statm: 28055 24173 252 17 0 24696 0 Current children cumulated CPU time (s) 1062.3 Current children cumulated vsize (KiB) 120924 [startup+1122.3 s] /proc/loadavg: 4.03 4.00 3.88 5/194 8835 /proc/meminfo: memFree=14431172/32951124 swapFree=67111528/67111528 [pid=8769] ppid=8767 vsize=8704 CPUtime=0 cores=4,6 /proc/8769/stat : 8769 (glucose.sh) S 8767 8769 7574 0 -1 4202496 360 260 0 0 0 0 0 0 20 0 1 0 470282199 8912896 254 33554432000 4194304 4922060 140733945266096 18446744073709551615 228095270021 0 65536 4100 65538 18446744071562232103 0 0 17 6 0 0 0 /proc/8769/statm: 2176 254 211 178 0 69 0 [pid=8772] ppid=8769 vsize=112220 CPUtime=1122.3 cores=4,6 /proc/8772/stat : 8772 (glucose_static) R 8769 8769 7574 0 -1 4202496 68393 0 0 0 112215 15 0 0 25 0 1 0 470282200 114913280 24173 33554432000 4194304 4260849 140736093126448 18446744073709551615 4224352 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/8772/statm: 28055 24173 252 17 0 24696 0 Current children cumulated CPU time (s) 1122.3 Current children cumulated vsize (KiB) 120924 [startup+1182.3 s] /proc/loadavg: 4.01 4.00 3.89 5/194 8836 /proc/meminfo: memFree=14424444/32951124 swapFree=67111528/67111528 [pid=8769] ppid=8767 vsize=8704 CPUtime=0 cores=4,6 /proc/8769/stat : 8769 (glucose.sh) S 8767 8769 7574 0 -1 4202496 360 260 0 0 0 0 0 0 20 0 1 0 470282199 8912896 254 33554432000 4194304 4922060 140733945266096 18446744073709551615 228095270021 0 65536 4100 65538 18446744071562232103 0 0 17 6 0 0 0 /proc/8769/statm: 2176 254 211 178 0 69 0 [pid=8772] ppid=8769 vsize=112220 CPUtime=1182.3 cores=4,6 /proc/8772/stat : 8772 (glucose_static) R 8769 8769 7574 0 -1 4202496 76433 0 0 0 118214 16 0 0 25 0 1 0 470282200 114913280 24173 33554432000 4194304 4260849 140736093126448 18446744073709551615 4224302 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/8772/statm: 28055 24173 252 17 0 24696 0 Current children cumulated CPU time (s) 1182.3 Current children cumulated vsize (KiB) 120924 [startup+1242.3 s] /proc/loadavg: 4.00 4.00 3.90 5/194 8838 /proc/meminfo: memFree=14407048/32951124 swapFree=67111528/67111528 [pid=8769] ppid=8767 vsize=8704 CPUtime=0 cores=4,6 /proc/8769/stat : 8769 (glucose.sh) S 8767 8769 7574 0 -1 4202496 360 260 0 0 0 0 0 0 20 0 1 0 470282199 8912896 254 33554432000 4194304 4922060 140733945266096 18446744073709551615 228095270021 0 65536 4100 65538 18446744071562232103 0 0 17 6 0 0 0 /proc/8769/statm: 2176 254 211 178 0 69 0 [pid=8772] ppid=8769 vsize=112220 CPUtime=1242.3 cores=4,6 /proc/8772/stat : 8772 (glucose_static) R 8769 8769 7574 0 -1 4202496 84565 0 0 0 124213 17 0 0 25 0 1 0 470282200 114913280 24175 33554432000 4194304 4260849 140736093126448 18446744073709551615 4225082 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/8772/statm: 28055 24175 252 17 0 24696 0 Current children cumulated CPU time (s) 1242.3 Current children cumulated vsize (KiB) 120924 Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+1300 s] /proc/loadavg: 3.61 3.90 3.87 4/187 8858 /proc/meminfo: memFree=14530404/32951124 swapFree=67111528/67111528 [pid=8769] ppid=8767 vsize=8704 CPUtime=0 cores=4,6 /proc/8769/stat : 8769 (glucose.sh) S 8767 8769 7574 0 -1 4202496 360 260 0 0 0 0 0 0 20 0 1 0 470282199 8912896 254 33554432000 4194304 4922060 140733945266096 18446744073709551615 228095270021 0 65536 4100 65538 18446744071562232103 0 0 17 6 0 0 0 /proc/8769/statm: 2176 254 211 178 0 69 0 [pid=8772] ppid=8769 vsize=112220 CPUtime=1300.01 cores=4,6 /proc/8772/stat : 8772 (glucose_static) R 8769 8769 7574 0 -1 4202496 92906 0 0 0 129982 19 0 0 25 0 1 0 470282200 114913280 24175 33554432000 4194304 4260849 140736093126448 18446744073709551615 4225121 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/8772/statm: 28055 24175 252 17 0 24696 0 Current children cumulated CPU time (s) 1300.01 Current children cumulated vsize (KiB) 120924 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 8769 and gives # childrusage.ru_utime.tv_sec=0 # childrusage.ru_utime.tv_usec=7998 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=999 # CPU time returned by wait4() is 0.008997 # while last known CPU time is 1300.01 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 1300.01 CPU time (s): 1300.01 CPU user time (s): 1299.82 CPU system time (s): 0.19 CPU usage (%): 99.9998 Max. virtual memory (cumulated for all children) (KiB): 170244 getrusage(RUSAGE_CHILDREN,...) data: user time used= 0.007998 system time used= 0.000999 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 620 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= 7 involuntary context switches= 4 runsolver used 2.25066 second user time and 4.86126 second system time The end
Begin job on node142 at 2011-04-26 02:44:27 IDJOB=3291840 IDBENCH=84808 IDSOLVER=1651 FILE ID=node142/3291840-1303778667 RUNJOBID= node142-1303778667-8746 PBS_JOBID= 13157183 Free space on /tmp= 71164 MiB SOLVER NAME= glucose 2 BENCH NAME= SAT04/industrial/vangelder/cnf-color/myciel6-tr.used-as.sat04-320.cnf COMMAND LINE= glucose.sh BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3291840-1303778667/watcher-3291840-1303778667 -o /tmp/evaluation-result-3291840-1303778667/solver-3291840-1303778667 -C 2400 -W 1300 -M 7680 glucose.sh HOME/instance-3291840-1303778667.cnf TIME LIMIT= 2400 seconds MEMORY LIMIT= 7680 MiB NBCORE= 2 MD5SUM BENCH= 5ba57e5cfd40b4a93356dbea5162016d RANDOM SEED=1288883669 node142.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.846 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.69 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.846 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5131.95 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.846 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.846 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.67 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.846 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.81 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.846 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.846 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.846 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 15117952 kB Buffers: 2080548 kB Cached: 15107520 kB SwapCached: 0 kB Active: 7231152 kB Inactive: 10029620 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 15117952 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2192 kB Writeback: 0 kB AnonPages: 71532 kB Mapped: 14480 kB Slab: 507840 kB PageTables: 4728 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 196968 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= 71076 MiB End job on node142 at 2011-04-26 03:06:09